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  C C: D ]]HOL-SPARK:threads=2elapsed=2.167cpu=2.932gc=0.144factor=1.357zXZִF! ]ŗXf1-q恈׍ T fPf.Vܴvl.c@"'[ۖ*ӳV3FZjԠliVDlL>Gі``z_TjAulU"װ@gxCԠw %|g z7i:Kwi2L,ԕ`>1JEq來r[{-V)J9QNN{q7r.hZf.)m T,Gݸw\7R^Q`{Ee`2Zo-%{ Ŀ h8e?^]Rw"LJ*iL)h YDE$^jZkd3>w]lëgYZa615b96653837881aa58d01cb26e1337adb321577a91b7d56a3ebf5fb97cdd7322b4b23e24fb0c8d c778faa6bf8be5df05c2dfef635e886ae01138d5 aba78d33bfc5a996ba90892c61ed35483540b5e3349fcf1008cbc0c201c4a8be5a5ac3741b5eb5ed   HOL-SPARK