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 CC:! 4, ]% SumSquares:threads=4elapsed=5.278cpu=15.896gc=0.160factor=3.017zXZִF! ]ŗXf[&S PJI"G1I ~Lp{Դra?` DP[l1<Ϳ]8!?q,R֚'/^gVh϶cz:RLk\/2n4? @|%wi0M7Ñqфȩ8ٓfUՠ\/,4o1C' QJ^V9@|h{RNX2Q/r!\!0Q_%W ?~gYZ7zXZִF! T]ŗXiɟyim_K3vo?iM8ҴZX)D_Sq?'0!S֯OfP~?$7ep-igYZ7zXZִF! 4N]ŗXi%B)`&a<Րkfd~u5%Mm#i,fC.Pc:  Xv &'Q'I-BI'4vDwB<'*f [%2~Nbb|FXiB7<@1늜To˔EQ[؉ Xo[(VRTy~ISJ}fKvTD ưDR1YӵKLb"k+<īmѢCFaJ8&( H !3mӮHo)cb%NκCLȜ恄ڣy ~͉ex_NlɊD+ⶰI >.U[c,m'2F"W ~l\&Gc׾& I(S#ê!\e+\>C-4xgR@;$ғ7=  :PNPN݅8!Jv A``I ?hxl̘vuW <ZRω7e|(%b3]{A9R+5rxX*&EgG*}jMmyУ}(\ՖKꙉ8 ԙKzɧ67޳6/BBl1yXnpi@x7)@9#s]'6 އ/e ~@x_W\ Wâ6["_O L)_\2,_pk F?X'j@H} 2:;(p\PŠmڮ YC|Z,*6Ϳn]qgVZKİ'%dM}Lc=-t >t^/{Za' v4lmH gEu'vx2[dGn\WBя ]g[,Ar#N+0̇1YQkEiݽ@6C\Іh@H+X u-V:~sOHܐrYK U<:L$"futΧ K÷2(^yJnaIB