SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ZZ#1 TT ]% Stream_Fusion_Code:threads=2elapsed=18.186cpu=32.820gc=1.660factor=1.807zXZִF! $S!]ŗXf1-/6vR[]`^O㍌GσCU,,#DFmTD("4{'}NyCSt7qڨ,\5\O78 pw{d80B; scyX;YY E͒=?MB`Ҭ6$n1u22cf-MftO._h?˼ލqJgm؁hإ7瀩 Q# ʽ 7JXObâ4)вńI${̙ 3Qӧ-j@)Q*:%wFT<`Z7)OWB[s]ݲg6˳g Y+oM*Wkԟ AJ ?*r`ez)A2Ui9Gdԭew4;Z*+don96+sy?[l+#DWȴX ~d ڶ:ԠKhѰJ{2v I?Ycw$T&[YS͆J&8(^xPyyLjgK>xR#m5Tչ若С@Z.(͢6-'5/Q?H`=gYZ7zXZִF! h]ŗXiɟ ~7m`X$";7GI֑dt,+x8ڲawl5b :%zOT|: v)V%En}0Ud7Jq+ݾLBiFIɞk'gYZ7zXZִF! g]ŗXi%>g JFu,lm+YŀĴT c^c()}he[׭ĥ2#͈RѢd:-*iͥbj mO͟a;䆛~i\tc-F%HE(@=qqA ?kJ>A~ SV Bi5V'lY햭$ SWH'b%FjЌorqCBl+*-C2|gbx$(5olAp4OOAMLLe1nlJٲoWL*.i>niQpъ%#ʍK~Hs)/q@YÂ1|^fܘYO;fD*Pg̘ZaSF;[cJ gP\NIW{3^ЗX{S: i4*]ל܎[`05~sl2÷?(wf8K~ ~`q{i&S_b jOh]>Rϖ\5Ѫ}Lfr*}A$m1S+ iH;Y궑Á]PKe\M:$!)uvߢs9Ue靳WgFkQk鈕=}.ڟTlBA9=@ I^}h3E>oI?Mlב.Ȉ`~ !^U_joov>%[d+%E^~8i u!yzD^.uH CP`3xu8e+QCe ]P$q5ZĞPɱSJTm^DAICvs(EfBs[$KF^a4.g|O5[OӈR^t'( Bjr-O Iu!݂@2 KH#BG-s 3{MĿ;z#LͨGV*T os %a˘~``9ۍMzҖE!䨩4b8m7MquN`$ IQtv- rsaR[=\e{\-6!4zS^S)9dIAbպsd45Pe zmc5v