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 ^ tT$ ] ZF-UNITY:threads=6elapsed=6.240cpu=32.540gc=1.264factor=5.217zXZִF! y]ŗXf1-WHIk0p䋎dh֨/+aGb+45w"g/jb8C~Ão g?(F_RkU'nԛRnnaޘ(@K'1Q7N\[ h>}jt6]K[=-f7kf-鹇^#PǺC^v.N'zr~F؆K`R*]5MyH|i{׶9-DnyndzV &ꑯɢJif2a Mj\cTTѓFoq5czbHSY3AIېOwLG|$-@{:;*/x1`j +0:N}қ^0^SZHq7v0o9h}JЂT 2k,YXҔS*:NJ ?Ӕ9 ik[0ٽH'b5z+]F_8?ѥ,eTx 2x+:P&t9rz}`Sp F/B&2=>tһI\󝑏Ƶsv@G'1tb "A/=-0&1Sk{:>RrQokA P82~e+yT,` $D/^?(gYZ7zXZִF! hd]ŗXiɟ9 i:4V;}A<<ګMP7j9t2&8/XŒQ9L.g2QNƊkPp 49Ű˝S_`& A:#޿T.-qƖ ԹlLb*ӣvX7GG$yb\n7)+V1 KoK쀇xN[oFfyy;*+g^ꅗtYe b׮]sOkݼ n 11#CL5:VV nFTɠdX&?2xPH~\"nE\RpLAfJ 5]k6l]D5yI#)wo[nc/fAoJEؕ~MNsohzBE{ꀠ+,'MCk }1&kCL iF:^e]NϖGr,HT: t^ }YjluGV(7mցxKy c7S +ɊH&.jOz3\|JzBB/S*B+yqm,ۉ&Kh@h^W1h2.̝!䰽]kgr 3iquޝVQ"ZYfIWa7bgZBHsyMxĞ=ñy{p7"n=,6BJg/2T/ \07}z)-E {Az)sY)RDPgfYٖ߸% 8iO[Cl{ j":0B H0=b`'+t{%HgYZc2d716518094b7b115d393a8d71a0d4df1cbc0fdbae43dd2951a6b8e1263e49c814c4a696de4b0ad bc5dc0fb74f3a8c2bbe46d11e1dd3cc14544c035 8359754d894feab586fb8f1066aa51e638af7bd0   ZF-UNITY