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|t ] Cartan_FP:threads=2elapsed=2.350cpu=3.540gc=0.064factor=1.517zXZִF! ]ŗXf1-/6vRZy_Î:|7^qˋeUNY<(1z2{fsHΕ?{zYբXNIDE̯"S]5wL}M[md`kEA2Z.Q_,2\'ѱ2-zҲckc[Pàu05NVwzlĤgYZ7zXZִF! D>]ŗXiɟy<mYSPl[y\1E yNTIMGJ^ӯ}5ZEdf}YZ7zXZִF! 1]ŗXi%90øTd8E7հMrW 6giُ=d8' b)c`XiZ5O%~:^r8ԼbʱonRӂq*1.Է3J{˫~/z66^7OPBţ4q0B! /` &V.E/L_8+ׂ 3>nrh'9 7-®j <^PD0G'MF+1qOLV_®wQ;aʐփ*JhJ@¿f5+Iŀ e2 ؒʲId