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  0dl ]/ ZF-Resid:threads=2elapsed=1.669cpu=2.680gc=0.000factor=1.617zXZִF! k]ŗXf1-W[l0[}^&c<P7{}'_Sj$ErG3*H:ƨ|ׂ6vgFFk6 b[JޱgYZ7zXZִF! b]ŗXiɟ9⿺Y mXzuQ[Rڥ8&3!fτK?BZTYG:(j /FUAYid{5 )I8I4dhО +u}HcgYZ7zXZִF! w]ŗXi%96BV$g@[w-)Qޚa]0Z!Uཤ^k _=k-;vG@U֟k 3רa紗)AVDYau]i0şncSsŽד|-Rqb!A:3Gv|ʒ]Yz8)yx roȯO*teLØX)ӟ!e"T^v_ǔ߷.t2s Mؿ8ԋSpLV'.C;~vdC|Q9C7c!G~:fY- s5>p|9GHgYZ666859048a65abfd13074e8c9ff7360aac638b8231bf4bac648c51f49408130bf9489829be3fa993 cc76f8cd61bd2ccd679a3a19f19d8ab2a0e029c4   ZF-Resid