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 n 4$ ]]]ZF:threads=6elapsed=12.888cpu=39.284gc=2.144factor=3.057zXZִF! ]ŗXf1-) enȈA XR„A,V -tnnKSE)q@Wd;}&H߿gYZ7zXZִF! C]ŗXiɟ 1FE`穵~ib7 d jC@R9*L!a7&MM(v¸r /p7g̲kY$aC#&{MTن D~("Aq,y,P$;(gz81?oh/-6%sѧI/g+S]ʳAϛ(@Fݔ$ `pq6Z0PtgjI0za^C}`e`=^~ xpy*@3$t(R8^>64O%!@h C4.epQ[㍆n.nsҏX-# C4yQ{s\LG'$@ȺNy|%\M~(+fU n?:z $L׫[#ˣ S*FKuʄ8SJ=iKbJh)) 9I^$ `7A0Y`9JAH 5KlBk}K#RAUFOXFcE>0;rC)Mk*'@mƟp|^SJ '@H伽"W)ߐ {*̙0B9$* y(do{=58&iBSI-IbȯHkLt`/4ej{\84BY"28 0&?)ڈATo`NC!{m8Oq[dv^?m!) zKʃ 'CßBDbNHo nk7·J_ "( B˓(Ea* 02q%`H$#73:=ezDCx?|6i: OBĵP't6[ < zw8V!109E8pjUT*P@J 'B&MϔhqB&}4|\/ޛ[La;.!XpR0eK6B^vEêɗ9u