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   { t,\ ]/ ZF-ex:threads=2elapsed=11.915cpu=17.596gc=0.752factor=1.487zXZִF! ]ŗXf1-W(TUK`NDdQم+%t;6(4;0B zOd!1 u]k*@jl~"&jmŮ+GWx3nnjF S]Jv?q#h*SB%iʲ?x=Ҕqؤ+'KlzU~Ƚ_yی< 1 &z\KK\Z7]Jm;gYZ7zXZִF! ]ŗXiɟ9)uysi>̭ fmW3!Bc)]|%MZЃ^#~K{[P@Y_"}K<aFO0h`"xRӖ*ҀLrUTnY[+L,r=QB~w SQ ߦfunU#"*gYZ7zXZִF! 8g]ŗXi%;UEJ\!SܣrAnj4_ |hf xn|Ζ[ qy hN\M#$x%HJ y [TuvP%bǕʼnfzn^cJI;z֧ ®eW`y~(̗K3\\V8 vԮTH=D w6 8<;<<ǻX} ԑK2 +$Ҩ{:37L^1fo0Et i#Qt0 UJYÛ`+|l2m{f-Fu2{Pn+Kʀ#9!>Td@޴8 aowCF`!$`t7)bWۖ\끳|L׿'.w7_J G9eBI LjeepVm=IrԍQiI}06,.ǒ55zMPw1oߖso510)h \":YVۏ9 Tlw]5:YA­NTa.rgVz3mUIsKv)i$ϯ1/r R` J1WH'[3pojgYZeace7da33ea278a72262cf3f88a9f961cee401acf82ad8bc3fa909b6cd7ee1a705f5df00eb58e71b 9da86041fe15e5ef579ab3f36bd7883ad17342af  ZF-ex