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 PP-% t %/ FOL_Harrison:threads=2elapsed=11.943cpu=19.236gc=0.680factor=1.617zXZִF! }]ŗXf1-q恈͐7ӺV #`91knTyڧ?"}ËSU{0(7 -'GNk;qG᎟]cA>r `z JY+\#*;xd%忰V]f"![ fK/φ&=cԇ#ܼZ1P1l..L6B0M  ף'}>b0>c :=vu8u=VkucERqڡ8h Hг4W Hߘ LijsW66^yExw}yOx\"K)2ηM';~ %̈́#RGJ~ܣ%\^"v8eD8BӴ'P 5S~-gYZ7zXZִF! A1]ŗXi%6dA>k>~˜*)asРU<7;4G"6DO[ )I4)x{r-WU%;zZgdPX }6l3oBGa1 2 1究bٹ~~uB{]kGrXP sS.>71`o΋)֘i[2c>5Lc)Tcٓ"%?JaweXpE?WDZUki(mV$ȋƝ9#!"#fб 36!Uڬ$\FjX6+dG^葑dCBp4X3$S3YˆI+IҘ¾NYB]EWElKIy)^yjD.0)9crݏ,`\p%űf7(e"" %sr"-7 du鎡"xqQuGp&`uC "S}UKƂرðbєv˘wuHSo:sz K0!EO94k[Mג"16Vի9_%~$^^𷠰f _L~t&RFV.f63^Ůa yRоP?+9hmƕRJwR) \~Hy3]yV#miޱ##+m.kwd>&YGTuz&WFGUҲR xc2&2^;w =V΢BǨEBE}ǃB,H^<{|(bB[-ɍ5Yer .bfKwk;"˖`uSR "s