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 ZZ# ,4 ] Tycon:threads=4elapsed=6.761cpu=20.376gc=0.876factor=3.017zXZִF! X]ŗXf[&~=BV ) a¾!H/8R_~djA- % }\Ӱa[@2ib\WGAbP)IE/jBe-/)z@'8_3.z EڜTD>?%ktc7uSflГv~jGl; ({LZaA\h"v! θr6BntߖNz]#U~LQ:&DƘR/K[nWhJZK9jP҇of"(#ۑ|߹ _e1.B4 "-TlϦ)ū1vcוd"< NNmC$w tn/i'͙q}(eu8|;|E+a46|z< $+ޓf_[wAuhTA9t,hec)+_ s3^!V4~}i^/hYm 8N|S)!gYZ7zXZִF! O]ŗXiɟyڳεĬYpaǍ4iNp;ц,gbO(:puIVTYE*F[ fhO`9)ɚZ@ֿٖ[7}R9=ϭ1K3,.TBsZB1|+!J{2T<==Y3w(:_Нn>#>ؘH-_prZ/:k2ɀ1zTi[-~]Y㢸4?=qI%N<5Gq6_q]g-'NzImC^t[VQ챺ux5ުt5i Ki$/6Y>0;s .e\t5N/")/ ㍩BmHS첋)WNMVFRH\Qf~(bZ wP(:XF$۫9Fe6aecm<5YG_eDx}[ևEຂ/ X:vD貂Sv-hg;~wkJ`ԥ蛶J|DM'r3=