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  ; ;B 44L ]/]ZF-Induct:threads=6elapsed=3.265cpu=11.092gc=0.420factor=3.407zXZִF!  ]ŗXf1-W_X'g+غB?Z`OyyɻVS[Ϻbhjzb Nj(%@|z܎=lO詂 j-& 2\ 9SsX .VAm!1 `Ĝmd>M>+qTfCrU@ ;KΝw9b~|%a`lJ[ñgYZ7zXZִF! ]ŗXiɟ9\'BFd2KIە| HOx``ehCH %<|>k9LވG#vDꡐGGǸ /<r7jSfLɈ!3b)z>ĬqPo5#]biL;J=G> K T˩o?d2@840L>m@v+%R9F#-nU.891$7'C9l0xN2j.0t;9gYZ7zXZִF! } ]ŗXi%;pwN愙f]sюЮ3(2AMh==].‡m0wcPɛ_bW3q + פ?q 6UE