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 dd< ]]IOA:threads=2elapsed=14.837cpu=27.804gc=1.048factor=1.877zXZִF! ]ŗXf1-qN50^Xݾ V'褃)*%\i` ,;K ?|c +O3.q+B 3vgTviԇͷ_f**kV{}0== q!L@s[2eRM1lwt6 -7{aU*_[{ה1]k~SjݏYZRJQ}^xk+*da~2w mSJ\mm*#[(u#R(Ń+! bgw;b Y&-<;iXօ{.ONV ~POfaIE|aͮ7itcsv.6%6-`'W"~^$ S 3F!@GaÌ rezya˺o%CtP2(6 2ͳ$짘}tO;^8汳.geedJ|GfTFco߿ET-[Xc$,|KӂnAQ{Xٮtx]Qm f Qz9C9WTNk ZkB%X4kR=c%K. y+@jGT R 7^70V1y@Fª.{z]0K_W\bh%")Q\*őHNzj)uKdiCRF5)mpl}EI췚IϽ3 ߮!c6ւrR/TrU 0av,PǣG/S#92?2-4YdFA)7qG6MnJ z載nzݸmz0 21|h[,RVJdޏB̠p$~֞! _p?G(uAmȠc;x&)ߣ<FXPڜK~v@%D> =/$S)H?Ce8L2S9#o`p&h-_gYZ8791c4eaa709072893149060ddb6896180c63d21b6a06941c7f4d32a9ff0b780ae34fa263f209f1f 17c087a835d148ead0faf3b05e4801803be6efde e7487039f362c8706b20da1ff0ba6f1fd3bbaee672fc2ad66b818ff82cde98a89627410782423f37  IOA