SQLite format 3@ . YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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 _1 L ] Separation_Algebra:threads=2elapsed=19.452cpu=32.988gc=1.580factor=1.707zXZִF! ]]ŗXf1-/6vR[]]uRlindBkTi 3A \A~z[UqtV$ֹ:v Fq6 X U{Ju̢ $g.j[B#L8ZTo'NwE7b/\)\eǙ25sdECuC< l lrMal!(B/QM9}|dp ®,3.4\U@"U(JaK0yz8DRְ5`Jsݐlcc@fms\˭xvHriGTi s?\qv,=_ i桖"_u»30RzֿK>ϰeU3볤y٭#J1.̿M|AmulaKI"w2HhN FW 5={¦d_hPkHUZ=>YkȻmM1iwBPtNBƋF BID3ih,T^=#<9 "0ΛUۊB%gYZ7zXZִF! g]|]ŗXi%6q7 EpN&A %Yx,q%pRb2ypIj5[_b}9\>@747nqfr0cц>r4PW5&<îhW0& ޜJ G# \mfnBэu:6 ~4]ثr:KbhuOeZ` Q<7l]nD&?tl Yw7k2墽z61']nNȡ\1хli YBnaŮ,H)/ݱeVbK^L:f̔JȊ/V   Edct#z.+_ax10d )YZ8ݦmAa% wA}Tuwu.+2;.uEEl۷uMj`Ƅ'VطqqjYwxs.rR]/7S1z@:Y ]3X;+a_ڹlc_o:Q 0aU.J}腜ypkc]G8oR N #T[N7;=q) ̑1|w$Tw0\F&eho bxD j=\js}SoZ0/5^v(͒oHûݯ6 q%I1ab ha5dr4Q}^>rQn #]8_ZٲN'f]pU"z`r"cF)4A) y%|Ioq!яpp%k-L鯇t>8v9zUZ‰+B~w%MTaqi>k^c>H V%kp<#vJKvVUQ '(0F|N1I0~[I7O`VH6MM8dԙ@N46=pY Wjq-Ѳ 'ſ$"G w6~[ƏF.?˅a-L/$O9gݼ0 cAܤ2Ϲ#%^EGeKP2ImK@k^툧<{ fh\aA604o@R6ʬ6.QF&wc[2E9{}'#FPdyJsvSYC~0?C1 ԫi-3 C5gYZ699c308a1aa7c0d853bd9b41c5a4f948e4dc73251e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 b9823c63ec65db558a030907f9cc1960ca53839e 1 Separation_Algebra