SQLite format 3@ .;  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 VV' ,D ]/]HOLCF:threads=6elapsed=12.530cpu=39.984gc=2.680factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֖;P=p&9h4UdeN69骰3of$@ D rcUଣVXnhhx2Mo<$y #y mfpm/RBQN6x 1ldO"h-yI/K׊> ;O9|Qq/(2{5⚾`T,ILA|}͎A m>$x@}ޅa0^..vh\zɓ_w¥V  r[~]G~(QrzxQ+Ju֤aэ]5ya%0ol]#F`G6oKA|[!fXO vU/Ee Z[0NJ_kDsr)@hz]aUb豷9սBKJ0Ih:sj۬;Z4D:Jy`;Φ~p"^WޯK-g&BƳ9]zq.j"%tJ JZG#ǒj-4gYZ7zXZִF! O]ŗXiɟ>Ӈɇ9S2]k1{ai`A='1R`Y1'!|Ki[wL>Gf xY[ /qh[SRPi &Z[8`.Aד!PX]h9т `ТmIGh=GBuΈZzM _MpH7l[m@fԨ֬gm@(E:TtS:'y"> 9l3ko'vfK pV$U>Qv(8ٰ#),ytg'3t d]3e#Zy0h&4(ld+I ajo6CTz 2b4,^A`~mCfa p0)l?WR43E@c@vK#RfA{H6NɁ)Cv懦2,R݉P‹N:ZmVmi ^ni[)bLsR >@ #BG+A!A1\ IԢb:FLtREfόKf_!%4+;b Q>{'6R)w>gYZ7zXZִF! H]ŗXi%GR|{|)~)M$8_u !`S-%YÒ5LNi x#݂2\;1nlUI[i[N|SgP\,pf"2{VpT3Og*(y۠Zqxֱ{#!dYokܴTr~f|0 7ijVKh6G@C3VPjmElU3*fA\ `w1RWXqN]qp3'籑/w@}:3P#_vSq()f4[q5 1~c X9zVhXu 1԰`Q`KtԄSeC $T^;걬ڋw TTL$ LgHST%^h(ϙa>@Q8mdO$FvR, d9N' v۾teItSx 0RuzUIXli :3M)c?RGME-ek`@x@@(6O t7͓[0o,0s \dF"(:]C&Ԝ/gdDs>*WKySs` l`N_;U3G{hS zxnOVg4ۓyHRYԔC@c|.m4Eo?2J{)N'ea$,B,(^g*P{WBٜ_82ʘY`d[Y߶>Eo2d>fԑ-M:-8б8䔚ˉe;E:TycB[%ϑ6pC#Œ8O6BG.v}*" 88靵Ggɡg O!~DՐij/Zֽ?)Z%[{(Hs6%urA06*d`޷gN1aǒ]ƈonEi'j%9iu>C[M\Ua2ms\GryUw 'Prs d䜞6Gc蜧t7jh ˁA$N~DSYMQ;[}nI6;bC]"* MZxcK6W"e5t5avmk.gFKZ`|7=v)<@;=e5ii_pƂC=\ӱKaX ɿoދy:fsrœ $:Jk 4}&  ֤freaK{? P>хEɫUb7 TPE28_TU>5Kt!9&ط\1dL@