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 ^ lT ]]]ZF:threads=6elapsed=12.443cpu=45.932gc=2.836factor=3.697zXZִF! ?]ŗXf1-) enȈA XR„ɔeKҽgUX>VAc,<ÄM_u#ZX>S{m'Uܐ[$Eޞy]0Q8ܰ2Na&,Ggűshb[ [XTAJ[ %;'ОVcށs F|Zp/g!i ]°~TH3&Y@oOԜ1-$yA@кx!FFڃ p<0_$5!ܭ~d)j齇[ w1샛>h2kvDieIamؠK_a%tcIP6ia }hHNн O̱gYZ7zXZִF! /]ŗXiɟ 1FE`uTݟ{WSI1,Ic^F m!)OI4}aq 6,0C mt[iZ$4Ƃ#^9bs<[z-lDIB+m-b%-S{QLM"OK9J:3ڹ~INL 'V`GkiE gzc4gS2@&xsWCǠd*(ᘳ*0Yx*| z|z)\$_8c> + :<5DQ#9g ,LBDG܅,S.^y T*: Ji7)8UBӓ*M77_EY^N3^T| D;qG{#1A怹w#$_06OyDD oZy-S#3Yo-,D{""N@x\vn9c2# Rm&7XΘ"}^:H c NX(-gYZ7zXZִF! Fa]ŗXi%JwT-`aNғ wf|xL؀׫8>`Ү[U/AS K3_;2P4)-WApoToxVTa e=Cf]:D"}%pZk4 CUf6a",A}۠@6_Ĝ|.)eŝ %Ji=7 GqJ5u!ML6 ֿI[2NKnI!K(O$I@kFWH!>* !' 60D&|,Y-ڇ+.aGq^5ʡÀ"}+Ϭ-F8&i[O`?xXrya!}Uw.lIۗ7ÎJ>=Ǽ=n^v1 N̢/ЂNsEtQ>㑛JnE)eS& 6Ja 28پs ϴ^F?&-]eι%ue |zI,=J*Y&Mnv#(p{eޅ_-LB:MhӸ}aL}wt;8&OTD9 ۻܘ>AvkRlة:bu:g>QzRFg D|8 FcJƳUiUG/o o*d:l\=i^qYp .keE^ %g0q-,:G{hYHvzq+fIP/e*:ڈ$?f<[QO+|'N&NT Pv҂,ry)[ڴY-+2ʼ6`: 7w$܌ح8&,36.Ppv"%uWj4& X/LP}w!ѣѿBjG^/m2YuߌKuZP}=tE߷Ng)_QVh%.OiðW9^MbM jsSxs@|Ս(B3(WW-λdTu6^YI'ܹ>:Ex zoBr&{J=xm6.gэQoc|_:g;pRjR1B{1SYIHVDy^p^XI^+T}f0oӋDvqr2+c 9ü!!=&'ʏO ؗ:GB28ز6oퟵh|ݮb7^ɮuTaP1bVc]8!(k]> GsMxne'H1hJ"'ZCe*ކ16#[TG;L_&ekp) I^l'@ߙciyQc6Lt5/+ :":G#27w"գAl.LO?Ӳp;5ZsY? ?PK8U&Yr:q2Xwiqy=BAyZbKM4YWrm IgYZf887e043da390597a059bdd1a0f50d9e14ad051925ff2f0a6ec6649112bb7ba87e4694f74d8fcfd84600e319f24eb059dcf2d69f29371b03d970ad60  ZF