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  l ]/ Menger:threads=4elapsed=6.180cpu=20.328gc=0.704factor=3.297zXZִF! .]ŗXf[&LRH=>퇜=g n߫t (fԈwWff0h;3`GJ+$oi6 /W3l+1ȢuЭIn–0K{LS/9PP%DlI\t~y4JՔk LCt)eHHJ/` ܅\ G WA~[w9"{_@)"o?rY([}jX#[Iܶa|0zv2[pEv~}7Ы울y߈F'` 3[iE f:BM庖LrdF;=b,֎`>~s%OES ߄" ؅`.ZR=% I\쪩<5f-gogUi YubYSNs7+ʭk"Vaיq'Ɏx5|ᤤ9~{tsCoCXQIVJMioeѦbEތ'W݃$L\CI.:o1hIo/םj8<]|MMnZfmTs(Y߭tکO`6ZY*JK\h ¾p*b"󯝐#e/sXVnibĨSƺ`ʜ߶چUF Ŕ^_ђ~s`R;%R>z L 0(v*Te]S5<1uKlCCo BW6E+eb:zeq4o.խ7;i6%I}] ZM"ݎ{~zڻߊ}'5(*b)u۽cE~iU0 |R褾_2ە F?65|}ڵF, Z$g^LN _umLB ;gmǺff :Be~O(G ǛFvr !7lyIrٹ@m7B{zV4Lx{xR6ܧcm ۴\XP=,uӥkFsblv^R:S"*Wd"? " z(gYZf240b01f4f919ca7348246bd197de78ad4f0a7f7d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20   Menger