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   l< ]/]ZF-Induct:threads=6elapsed=3.275cpu=11.160gc=0.400factor=3.417zXZִF! ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb NQA2͒j8s5F70|Ž m5mN>v@1ٷϙ(gp͊ JtoF ]f4Gs{iv$$ˍ4a^r!1NŁfYpa&aF&9%ۇ4"ʴa 9YIgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| 7@g')HIr,́ Ga=hIs G0ٗ^lZMDMqB(PhY1 ɩk(S&ͼ Q9{rGGlR;v W/8I~\3bԢv З }4ZB;6{:}?AM|Ӊcc ن?s$kyx( '=i>]>`> 1 XɱgYZ7zXZִF! A]ŗXi%;3\sIJDe