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 NN/ $\ ]/]HOLCF:threads=6elapsed=12.668cpu=40.584gc=2.696factor=3.207zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0֓ƒJ-+q*HbкJ#[n%o#sŀ@rsx3CU:!^WPoW4.oVc6Ù+o9J"IF0^lXE_^t d{iͭRZnKb&pD~qmX?-:C"Қ`ӄMZ9OXS]* 72A?5BL3,ǿIy+^/i];t/PKo:Ʀμ&sȦ:0 _XAMUȦMF }2"4?6Rťʊx#rh;fw",R8oz&LCI{39dM'h |$.2IPɔ.u9Mb.oQ=oKv2fU+[7 "LwIxN62 OW!F9C%]hxV>h7d WkݦcF< $:c Y&7=HV6Cc`x)ǤFVW65A`qPkgYZ7zXZִF! K]ŗXiɟ>Ӈɇ9S2]h'&BQWQiRYzv 2`۞hiݏȷEUOE ߀Eg/bQ:Xn|jGA\r|Δu_8fp(~LH{UPY6`݃hFbz3d{몚<(MyхƄ^S*mOݳ:,j'{jw UvPWI\ի-35yֽX&wo]dI.\ǟ"I!]V1Ixvc8Ln%@cc,u{;_{NZ6&S[zSдGN۲?&D{Њ2A?*>)1Ep<5uL^D>\rrhoG6Sa9@ `mJqwG<.E=Q)lGt5+ t /˸W"IgYZ7zXZִF! H&]ŗXi%GPgFmp%J C%¼O)wO={KjPTh E 0/g(İU43D-qIl+./$-fp4q+R.XoяvzsnWIw[}M= fPy8pB8HYBY\e;Ṉ+ TC{!)wS&]6\z;b(|rQh+56]gdM~eI,Eץ,biT^+VRS^X؊08}# KBߡi [^]}&7e&׃ctWTwSt f,HgP^dO|Zh@.sr_Psu(FZm \a$\v7`L9k39pRdRyi-2uy辬T-th 1Zьq8'́54~y~4]K]bT/@|2D+  7ar [Q^*"g [>IJΗ-PFQ<A BZ! Ӏ6˶1Jq(#cIâPX e/kkپ0nu8 =[؈1N|ՕgqSz T|l+'ȨJysc$CD躿s!,Ŭž]w>+)X^0Ú;8{E@,a'>R1A'9d[j '-;9܁E/C݅x[ G#)gƔ-%E+Ytٍ:f ZR"5 CLW6ꡳ7WGĮ~ G