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 || t, ] IOA:threads=6elapsed=7.266cpu=31.820gc=1.200factor=4.387zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q)dx;״gSe֧4oOwR BEnR>Bl1G'¸䅡!wL# RS̨ ?XD6^?ŒfjqqV|:=byŜMoWmAζ!,*^xf~K G7C@@jqw[meqZлg>s2 ~FܰTR:])ck0V:5%i29Ą V WKgm67?xrABTof$"GY3S<db .xñgYZ7zXZִF! )O]ŗXi%Gŵ;T[4h-룁M B hvX'P;m!l`+euV\5b\xp{vI Ŕ=^ TG1 ]"#Q M"Lq!P=XL-Y"kΟX+4OJW"X3BlNQby1Ͼ8K R|Bi TFg%?|lûΌ.Pj\"G=({bfW!DZfk~2R(~b_q.ZvǞ ww>zx> I1@.iM\3@T:(V@qy8*zМ }Б2v$M YV5rQO$/ B8{ x< v:Stk1N^0OLiRRHb\n_ģ`ů[ [&뎇#UL^`tdj1E>wwI{O89͙AxTJMLPo%=mDkk2,& ^RrF`mS5  l ׋E \BIxȰԳyCKJTh`0 J'h\ޗI+$rrXTD84R "(aO5%^$ qMalvG@*x-Leh:|c!?>׉]MέQͰN$EՍ^Ocnr W ȫA(X$cc8<~Mb+3<(3/N|BҶt^+vb%7ʾ_$M,.b z].>Mt6tl+зHj*⛊0)]ލWmzCה<~)*5) % h9ɸGҭ79# óz&.Y >4>&[ !hj.+oBb3\,L u?U i .f ٬t}Oّ OJò\-N#SrDgYZa8671cf4515a257e73186d9f57aeec40c2ab927700ea09bdec95d2f60a2d5101a53b5d2bb8a9550e 2794e690bc7c789dbf80ec81181bde6bcca20a2b 8323acb13b0022692e965cd5fa0d74231327213b  IOA