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  3 T|D ]/]Datatypes:threads=4elapsed=60.769cpu=99.832gc=6.908factor=1.647zXZִF! !g]ŗXf1-)&$c)zaBcFeN};0Hw;j/aHAE$'s Adj#]-2M zqDfE1*AyGznQ`o>]"!?W5$e${9,Z1BF(hbM&Aў!7#opmq%:a@RLj)_-F(u-)>tNL7$d|vgF%4XWPu^T5{ƴy[R&" Uahw؏ii*\, ȑBT$CQDOIҤ!< CUkjF k'pm[:nVu8y5PPPdaLƩm5S4f޺6,cSd꼎B}[6ZXEԜj9s3& }P:K'WoXka(-)_IԟL1)حJh+'[Wx*X[±lru- xg9 Sk\,Dų~ T<;{QtvGϨ2SoR1"!HxN۶D#A;| 1,^fW`D & btÇޜ3]Q.Pc'i"M*gYV۳&s~rƵlGtCL F+<}DH$%e4*FM}mM-;<O7e2y;~Bs2خxr@6P3Mmv$eJ$b.JbW"Ukoy4`d㣴Rhr,? 0ڜ} ܑn^788rsQ |?>wE,j{?75'JΈf/v:LH#L.g 3laK~5Z   Datatypes  ;زF t{B4;yln#^V_Ě:lqF%VïW3S^[ D=FmRޑ&LߠjC ӱhB!KtǺzb*s=!r]lN,۵C<++X4Cc*LwA`iϸܿ V"S21N D "Z`w?Bʣ|Ja$X [XbDޥEn 6Z[M#洐KdEDHj3f*]o-uCW AI~i>T(mCU6S1Ox7)__FkXp Z\LFSژUeCFu-܇jy_۝fKb'ut`eL~vҬ#zCmlށu"̕'(9 LGcQde%FW(ͷU),O,כϋ?4F[h+2Up,jZo֐C 9^b}񡧊]k%ĕ&0>&T;V-4>_ kf'ڹ4HS5smLo=DcuzmEE4a%!" `݅ɐ?nClu \ʝ藬N@*[tH!b*N&4DxY5O[R7qڌdo/9oq)dGy9)(n+dŷ( JQBiGʒ?fn4n^h)IOhI& "@F=NBiW4MO%$/[p:m3+ۮ # pr..IPI83[P,ܿF6$_+S%tOl<1 !@ K?MZ1Ä`|]4ѩ{b2W~ʚ] NMG-I:,r)Y1NVyGavz +LiJלs$MRD96t]x4Ƽ (U2taE XNkN:"׷6SP i(bsQf{zO":7E5LT,1IA=Dd;v UĚjAv>)lA :Di两=,Y (B^㐄Ŕ"D*7/IH`9YZ_H0_ɦYN]XpJ??tZ1m/Vy⁃ 7T3*cCԓ¨ި_JDk\`>BD1?!7+ߌ]_E!_*U2{8:ץT Yҽbj JY"//I_L/٦Cy]{ioi;tKs96t $ H]Ԋn ޘ(}:~(kKX=>UHk,ubS˔2 iO:ʆibz|0sD!"֩^PM --+@K_ e9m0[p|}#UDbsi ?Lq?<Ϡ]kh{7[&|UR9AڧAΊ@,F3Ufh*r&$;7q'+jN5@J%]Wr8KJViE.O洃]c-ӯkFCrb)X"XPg,"Bi~+dv"F DAgfz+/ &[T° v.)ifVN]X蔷T&SUC4گ}RkyX4$`+qs{JNmian Ƌ}l_=o0fyEc0[ɏXo҄UG3iOh}y NuuW^1_7{“(&Lr5o/Ij;R~NözCrjPylgPU&*jT.д8,>vpYdj ʍTM6 DOٓy6kZil~w/'zը|Du`DQ!NsMƱ8^j GMp/d=ݹ$")mVϕkɈn}QDRzkF`F$ȧx*4Y!(i|=/V=bmF!5H6p yݓZ# mDIA7Pt36ɸD5[/jF?K$by ׿ )NaӟK|/jY%,9B*c\o--۴gTÙ4;gYZ3b7b448e11e47d50ca8f85178ef7ab1cd3f42c88eb3269cfded2d933ce10fc9d26f2ba2f0f3e31e0 584f21f404c2863325b05768822512e8f27326d920f20d665079691440bb9fd42ec9726a7be23a91