SQLite format 3@ .0:  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info  # $| ]% VectorSpace:threads=4elapsed=31.844cpu=90.472gc=3.756factor=2.847zXZִF! ;]ŗXf[&9ޗepz,>SvK9Ofh f:zƾy ]Y`:X-P?!lDXA2B-+Rkl/Vį9޲r2wV3=MdNRd(" S*/- 1Fg7H2(LHõ~Ů C! bN>]~:!,Op*/C#b?B`i@۩jx \jK{;(^v=O 4 ~ ]Ԉ%W)uGmM "Š 026p P{D pYYi~9Bv|ʼpCۼIgT_' `f df bdžAWmXQ9e.@|Wdya>=ce%֨ep1 _ͼn,|rn|Ÿ{ # VectorSpace  L*`v$8XV98MFvi]~oې4yۑ<4{_YwO {osҵ-\FjK? |h@}E g_uj+dX\rkQL8l 'D07B٬܉f B7L v }k^ 8L[MlҒhXû:!-30޸Ŝ@!ZZ4=)E& >Mk':h:ݥLǻ}dNݵݑ6[X)6 ?!#]$ wqOgYZ7zXZִF! ]ŗXiɟ@OeW" bB@k_({Vz79>}sVotڷ&K0ߧɑYy|%Ut\3xM^;H/N:Xm ޕ/#B̗GiHzлQCO ˷[Up`ѺdO̔mN!s<؛b)ą|%wűgYZ7zXZִF!  ]ŗXi%GfvA;P8A`!Whg< y$}krL j7=8Sf;{0|!IuE5YP]$t J1V8O;8$Ҙd95𼜜AAj{!hbk;[Ulrr=+6, \&: |r_Rb I GàYv=M^ŸjQu1UДox>\-?"zR#Ӆyg:.!z!j Ϯ]8)D}Su B0w%\Y8~B1$T˪l vέ` [u!%6KvGe-A(Cԩ"1wRT1ߥ R(4SvR?ňeaAUNmSy^A.ŴuzW_7ФJ`Eə>6viv+Pw1K)R$]wE?|T|B0 g\6zʗfsl0Tڼ{<"KZr7tB6pG 6e&@xxR.mY_*Z""l,&'k,K>ݏ bMTB :arzgCykc)l$fr5_@͝WOxtؼR≒tCoF=nWX>GTP{{#\M"bjj6ODv=8PWZP3]T $ `uhg7)Ȥ/26qG|iԄm642N,z$JİGPUM ?_롢ܧ\Wői-@ CpS9zR{Ef K'OYX>5hW2 -< 6q bا#';I[˺ygd.l,DrW=E,JdnM<%*˵ϺkT;vƶƪ!QrqJ?} B'^gr}H0ÖfyӠa|v;Y'W\^54&ıcNJ..?WP/7tgoQHVZQWbלhlN\Pnh2 gH..ΑAE-P ԧ18jg3֠,'bɬ{+z4Oq8y{s_Z{lJf*_& ) WMk/&~2@vrԖn?3Ӯ[pS" 04>g5I9uR D 33~9|DZCT Skp$ t_:5kfuh l[w4Oމ$v44'U&uX -zngO-_68!W8\ TdCKc t# dVkCoO7~^JBIAvXQ=ٌ&c\S">8OMw<Z1G(BZrf*nzb>c".$}7/3V:\تKsTV.ovIJbXOIP5}-' Oyb`$tw5d6<XYe9mTkWu~"!NeyVgO!UE=kQбgYZ7582f4685c8a7caaafc5ec4daacdb9a360943ad91795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 34b3143175cc0cafe9a5ed0bfc2c39b86220bc46 b94aeae032d25118b0ccd9683f806be94d108fae c7483b18145f75634c9f33c9550952b04fb136e2