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  $< ] IOA:threads=6elapsed=6.813cpu=30.492gc=1.228factor=4.487zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;KQՅfҩe՚)׬eҮ1FH+%9b0F C'{AeFCuxKGrD }l0l~șaVdO^v%1\)rFo(ֈ4kknrzER]B,\2:0hށ}p `EɏXVJj;YYib[zlpv  %̦].n8 hTG':t(l9_]ȨW 2 Q$YM:4GQ]cMm_to'Y.!VƝ́чEJ rH#C\- nԑbLz47gYZ7zXZִF! `z]ŗXiɟdN'LvH۹մQ2Ǣj+9UkыNN){ 4~ w9˧1D eD.ܬryEG&S+~tTuݼ1HBkbe|!cL3?|G'@P-|pK2JRftVDjUy]zuB0v M)uu@k-p#12ԒF]Q#[[%y53PQ/q#9Pycז;pnZ>>tLKzK!?N *HFs/#⪈N"ܚcUX!/ R}c΅,Q-o"%N(9p](?nQdk_f埆Fz*\"x8!?Fe=[5C40,Q?]햅c*VWLMt!@uQ[oK)vF Gyt(}^i,6CNc5u8Y譜nsp9'N?ДX$9&N\@~HJ$ =٢q8}.p&]/lLݛqҥ#M/OfK $/qN$ua}?zK1__jFMe/#EW'|3檷 es +pUb%er5\i0W~s"2+⍸-f^!څAp4:j0@Bf]\YzDA5Z`r t =Y0sko\ :l:p5F^Ne<