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 ++R d< ]]]ZF:threads=6elapsed=11.254cpu=36.472gc=1.992factor=3.247zXZִF! ]ŗXf1-)9\l ݺn= bŚ&3(/.G_Tw(N!gPa`l]D{qPCrZ9)LbmN}&|aˌAZgYZ7zXZִF! 6FV]ŗXi%9*_Vj:y`ħkrLŊZ A+t@9 &dSD ЏvHiȦ &9cD]X֊\@myxOj<;:8[#p_iz:tKZupQ.Ѵ$b.gCcb=vx!ݞtm_?[>jQŠd!$Tۯ`j!n.$q,2V5eivn8BYǘ'QboĈ25Z6/fnX|:mQfɭn|]2EfX43@k91p))Ñ++n۲W( >cu p\+Wg\ZoyQMJ,%!#> !;=YAҒͲos3? EަpNO*,My[Ϸw TȖgԃ i'~/HHItО7]"ë.j.ҡAO Viь1GL]SAm>.l1p|zV,'=uV ,X 0xFSZRMUl(gYZ613869a64c820cc1d65bd3eb320f271f5a1c4383e7fc28fdd000a6a43da8beffa0fdf0252dd408c493241f9c59f5de2d16d3041aa3584223c2ab802d  ZF