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 U ll ] IOA:threads=6elapsed=6.893cpu=31.104gc=1.240factor=4.517zXZִF! S]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K Q{rqr>[ng^U'Ȭ7zhK>+]Ȳ"߼`B-O%o& RCfŻfGWDѨ iFs>|1Bx5τP-.[4,ۇmKvPZXK_MjcFpPS!1鵧WeM3!.i[pco!],:y+GVb 5poVb#Y%:/8w8Rj_"*t7Ye*@o5k4+$'Gm,`h^z5s:Co%4KɃ_ȕԹy\0@17OQ>L(W+QWCnxy0Al Є.,7+<(vڵ<\3W4,PCEXs?CZU+bnL9F1ڥVx)k"4GlgtRS\}GŒCB<M \IG=>2]oA0\O az {Ey[%D pi(G8FjX[X oRbד5n LBQ5V; %ӎgYZ7zXZִF! )0]ŗXi%GX7W]Ə^`DښP"V%Q%A0`8Ży]҆@L46 ̑` sT=^{z˽ V[؞sҌA-udebn]?m& k;0Rl6U'$<&ahI61&~l5EM{_j^0JQ@D!}M@Q^ o\度b86nI˻JMQG)>߅؟p.sz6 T˱U0fhgvHœ:%<2ꔊ<{CY5϶5zͷ` eӦ)}99W-EFK:UI_[Ie4+gY6=Sy^c& Ɂ_oC[~C]Avmiruo^۲Oz*]6FĐPwמ,b6eHxIZNȞ,ϓ0{Tb%V *ۋ.D>"BCğ~ ? 1 S4No$UFbzT6]Hx9)u,6BhKc3YxRݖ7`w?*0xx!jXޏt-6?cdt >Gs{8ؔy)𛋖.P{R:Kq_64Ҭ$ (Z6|ȟ02MJ"ezy&3tbH[Cz6lR?=J2U6=-FNp%;kX߭*NEU9$Q)7;W!|d}f^1]t-ku'Ij 13L2šqx_ UB>@rm_>){5` QJ[d=7ZRyZx#}^v6Пw F M;HG9~s\&\S~bzJL:m\`1e~SҐ gYZ18d6f4d795f14765d9b1e42870427ae7649d3d896ccf3784ca06017dd464fef9ca771f74833a3d84 f48c6e7ed3e3e7c579806006e532e60580ca3e78 18e819d256fb296a7e7f42d2f8ed927f5d49c717  IOA