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 {7 Ll ]]Abstract_Completeness:threads=2elapsed=7.733cpu=13.356gc=0.624factor=1.737zXZִF! f]]ŗXf1-/6vRZyغgЕgQ,n0 w{YK-L2l 7^+6IM\ܔ!yĉHF\hB0^dW}6 dl /Ř^wӭԌ#U&y ]g~Abj:omRJAh{%Zسnʓxo9٥-3]-c@.;T>I\Zo\neL|V؁+=Kb7L&[M??]&=&Umz(?M!DrtJ>ITv֩ISdQf%<ZJ^D֏5vy$I#gYZ7zXZִF! 3p]ŗXi%92K%4Έ sF !*)֝z=𗷩҅r%slʻ!M/M7o BZ-IZM{g (BֱH(j(/>E;œ1 D>?pbH.,<$13:YWX;{  0"Ѐ] |>ȜK*C0a 33$rg) >tH&یKf>~iL~d/ r!76+͜37Z@n~GՇ]QU[cUA>Q!"й,YBKrI?]/v'p&큋Oͅ[b^z鰱Ƿl(Bg2ly5s Z}`e #vRP W\͘"g[ gHgYZf2c6fc89978c5b96709dc3635287eb31e04d265c02339f27a0d9de61901914e2709fdac8350d3cd8 7fb9b098cdf9ef9042e54a79f154a8576f8ad951 e18eab774fca0e276fd5ccc2347f5041793d975ba2daec9d9d5b389c164a16e8274abde3c1467e87 7 Abstract_Completeness