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 0' 44 ] HOL-Cardinals:threads=2elapsed=19.418cpu=35.156gc=1.372factor=1.817zXZִF! ]ŗXf1-q恈<-¡$j2,xZԵ/+y}! ?Hd9ؠ9y~ghLd 1] "(T艌B(;aN:ÐQ3$ĮVEh ?B׬Ko>ʷ0TkM;|/(7wS% կeBPQA^@. f9Rgpp_-+q搦\55c-F6_ogC() SWyHB,\j97 l1Ѯ7N,"d 'ðlD' )5D&kp|kuo.Jh0GHP>& CMS#<7*tm`-żf5 AZrsEÔcoz)%ߑ^3z&`:>[)K76\Qu2zM)̹˩X+OV%)kjq6Xm=U`8,?Z1ey  EQEj[N2V" XTŃ5~6Oȷ'0)R98:+<3fh m<^X3obFBrFTʠ wxBvSj S7۸bs\3d;Vy)EEOFhbp`^dTicA-~+z$gH3)i#f;n$dF}GsbmX.=^|N(KEՋ@9xcMװP0ԣn\"=lĺ.79ak]vqUO3H@F9 H~S' 6љJ =xAp<`PKXak3ׯBWY*Sټ0/,$!b#E3O5JتP0?tqYdrȃ|Z~Sv?SH8utD]'uh?[.n!9l?aIC*.v`Ê:"f9KL_e2şus-ePTP\V_EQFk[XCl*>̗کj ؆@X肤`)\&{25Yzm< 4C;yRKe=SoTA^QRPX}}`VbC ? ke!"ҪCq* k3E;H : o$dv&+*uX}ԧj$'id j-` ̶]g *c 4_-a$|4 Ou