SQLite format 3@ - llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info c+ | % Card_Partitions:threads=2elapsed=5.940cpu=10.892gc=0.160factor=1.837zXZ + Card_PartitionsF! Q]ŗXf1-q恈͐7ӺV GyvpP%; fQFx IR'u 3UJEB h|Ê;hDd͹@/k xup (˔*~/-y͖O-jo++Vl6țۣvdwȬFvea5<ߏjH&jcYU*=8.8q'9լE} ?i\1] #%>d^9[#A1e\ж#BTxav{Dѓ֬ jՁAܖm׺>@e1(}(ɴv,!w5di7%rfGiwoļϪ rg0#s{ԯQe7g &1$Of~Q3󀃇5s-pgYZ7zXZִF! ']ŗXi%>;>*բPeԊŋ!SR$Eo6t@ N}oYRiuPBk I^2[ мX1})3 Xc6 N] :-6YK/1yKfٖ䒟 u9n"?xEJ c3i_\O>%IEI?ۜYp}PoFDXE@guzAH;7?/xO“npW^2U\wl;#ǣ9$p6sV77Ȣ?D bvг1Z4HzVi"ZDnWk-[^Hl ~CvVr W:{3)-3αY^͢ޡ9R] NNK-cBg,{8Tj2okS;]S\!7oP+ ss!tLo`Jn>/mxOi {[29ԉ܁X5?67vߎtn{X īwͬO;n`;q8PoY\$ΉK^rHzs@(zXX9Xr!5_h썷ffWƏ{ጻ 0fD9oasMP Ly^MBTqn=]rqM#b} 9tLtRNu^DVNm7(ܮNș 8@3zhj I#x]9W5Aܟ҇-Qߨ7O xgYZ3dd1eb530c3c470b47ddc4d434eea2c5684cd8da 562d636d00a59805c5124949c105325f55960d9c 96065b30c9db112cf55bcbe78af20aeee6033380 b3a4e52b308c1891fcabfd74c001324d923b0483 dcabbb53503a3dc92741a3adf05984a714be78d8878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457 0c7edb2d22b117e5c82412e3846bae0092c48d65