SQLite format 3@ . BBh77otableisabelle_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 a $ L ] IOA:threads=6elapsed=7.134cpu=28.400gc=1.048factor=3.987zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K ?|c +tЕJK PVVݣṁ$ ; aֵ`F65wl7«`)s(1tzǂW{ϻ"aEnդ,.[$ L+љdTcj $]R & ;_Tnf?Q)?PNV!UtT13vc[e+_98}~琕4/+Z/dв~\ZSAiO})v'F&YX4%}g_5X6Od,e!rPС- w{ :sU ǣ(V=Ur^[[F{R_vNpTh3. aSgYZ7zXZִF! `]ŗXiɟdN'LvH۹$H@ xkR ޶:[='?,`oE5d)9ŁdѮ=jNX}!Ӻ#^R>AIl&_oқ |U.6PM -:*]S?߲9avD =M3mcunFPdBVB.becT̢_8DpOMiѲGmS挛Gё2ofȐѕIK ={$ /zThGT˄2A{c>t. U:Po`7i%&˃osk> ^YVIp5] gYZ7zXZִF! #__]ŗXi%92|(<6ڮ[ajMdIgbK{G;o7Ռ0\۳(ĄORHb 8(}P q/j~f^7l"dV!;)9A?_Z)נ`.m<})4! CE].X>؜A:ũ*ᡓzLa KMjޣVض}"f oxdƼa䣁Y)̖g$"!XKB{,5@u2lTշyy0Gy߇ղ>ڬlь!%{h#n#y鏹 Wr9H<;6Ǻe]>)7s/|Uaɳ-EW\|#=1.t9Ne[EY]\о}иAXEKa/xKk(͊~?4ؒbb-JvMw4Vm1DG-ZуI]R-no"bWaS_ qxI}e bsi Nu>! y %˦I]D`_pU*!SA]!- 0Mim`cPjcϘL$Ai)`(j%! 9OcDqtFx(gYZ2100717b714ccb67308e48285d07d255a46c1e34b690dd9b4995811857c4fb640c8853723b58ff28 2f035b4a19bddcb32b1e2a5fd47e81076fa7fb4f 181fa2e2ea5bd462ec0a427c4e523eab1e78f62f  IOA