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 F) 40{sZXH6Sͪg|]R7}MޙKVK1^E)ZY[A}O%P+hG[%`+N_.`#| ,2D"*PDD&y)AZR!I|CB('M:ҫhB~e֞DN[.$K 6N5*gYZ7zXZִF! i]ŗXi%nTOFyxM swS\۾N d% 뿍rҬr~o&-L99 PPYnSgp9fHdcI˕C.1g <Nc=S'~p0B * yJ wXC?_wqol{9^Cnk{?GcW6rv)*V6R؍AeMegMͬ}78bФ {e='RqaϮ6 Z . G+r{ N٥pq֌lj^n0v_H|J>Ywb5_ZǽJ1xQT:B p2KX*K`eDkE7iw vJڎ㫼Zl ]>e˕3Ԋp3ly_5 XrmHwB$TTYrfV~AA!x|Q|&$<2>ftyuQtϩYoܨ(sL }vR))P-8Ou3)hb%g+(<&Ur}' SŁIRQXyz=5 d!BjZ|*>oM!>U~Gl)L'h3\8Ԕx Ӕ(6ԡ^^4@ͻp.^nGR(d*LYeRMwZ.{0*GmHgfy%xN4hz= 5ǯ+=3!@(Yd$vje==F$lb&ßN490#rwL@8жl'k0p!cLX^ !kʓ 0.v9㜕k@/[[c9ӝRCfwT]eg?\{ 섪&Y zxOF4aw\A 7diN0ЏYÐ6E&\~4k3vxp ԵV< p9A(_27" M 0j[:&8Ѝlq>gQcɦJ{Hg'#a\z(1fO}i 1 )am|'03g?܀\ p52  miY GVygYZ0012dfd3e886640dfcf2523b5dcff829a64d5363 0d4ca91b60be9500c90aee83710a5c32b25701d8 1a7e79d45868f2511c1360a7061092c3726fe930 4465ccd5b4a4a9c97df21605afa11aa4252017cc 707f7081877423ffbac6d7d75ee7625d5f888056 776a7603b7735c5547ce2f4f9d30bce956adf76c 7e34b8dd8242e8f3e5a2c3c8043822a752a91cb2 8d413ec5196fa7479220c95ac4f71bbac2b0d693 8ff15cf0c89f5527625eb90484af1729d9d15e0b b176700549ee0f4c8e3f968ae19d18603871de0f c0e02d76b3c21f3b457fc7b084784cf6be553187 c6d33f696908642619028f80d5d7707602192bd8 cf9dfc2a8abd1e2b7e9f07c133b17c3f9f752bf4735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3 c792037e3d0f7486f079b5d2eeeeb761cbe56f95 0051ea09776582b9410b18e4da0feb402522d186 ) Jordan_Hoelder