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 ss  Lt< ]]IOA:threads=4elapsed=10.218cpu=35.368gc=1.156factor=3.467zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K2!eMߊO/:oP:1_҈ 1}T=L{`W6$ɰMIDhBjїeUJJLɫJh[d/戃hUIP L Mwp`uv@3/p,aB„_8Qc\( _s.`o,HYa7{yk%r@9O⺀:}Y287 6{yb $;"1R;!ɭ/# l{0‘\Iw^ y @4mfJrx~7tƏv!$쇟&lƖO~d',t  Ie)L%!% Q'7^Ֆ?1β@p#QZ$\ ^ۖhB ڵ\` x$fgV]T㾀KG` EgYZ7zXZִF! :c]ŗXi%B8]1#.i YXZ;B4Ҹ v59p&&x[|L]\%}Rq;`RKTT?d>"D0F x4}Nw:Y^Pw<X- x1*,ґ6$Wzb9>c1U/E]u*m~u5 uv15&>Mܿbő9:GJTeq}JK{umzۤDͻ )p!X%hk ^|aL0U!~ QG,)3MNy;?!JAvsNU˲ \mDu.U#lD~"?æpRCa[⬼Ї#핤i'8AF~1AM3T8(%RC176i 8-pBN. ̱F[mEWqT+'yoyOx=Xxp ʀz櫁 FEU5ƂrR=peex:@tP.bbX)}ʾ2;Ңy579m?lPa|#7vF#tDK!̎Ъwjr0 mzpȎW]Nܔњi7S%edwJ{|wp?S% AQ'2 8"׬ƫˈЇɯhS]tH0A 8&)S{mHN 4o tORgYZ9923fae8deffd7b2d4c3a45435261ebd624a2f14ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe d2e87123518da864e1214201ac7c02e3ec9b024feea7be4bab146f88fda7cd00ccb477322e877756  IOA