SQLite format 3@ .;  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_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  _DT ]S Cartan_FP:threads=4elapsed=1.279cpu=4.200gc=0.000factor=3.287zXZִF! ]ŗXf[&weà!K|j`'1G ߰*r?;'ɃDxyֈL32y!8y]r8*m ՅȽ]&bv[k/^7z Sk0 6,QgYZ7zXZִF! D=]ŗXiɟy<mYSPl[y\1E$Q^ޠ >FėH4͂ovYE)IM}YZ7zXZִF! ]ŗXi%L SgE6'/ҿyQ=r</2ҝv+׎]^ˊ(c(r1ύJ#e"+OJ2UU*zĩ$hhrfO80 %6& ieXS4 ]=M42wC:liH?CرXܓ^>QTy쨴`S-R֕?G6/ӗ Qs`df'1ݶ>@جֱ5#+5Ԗ pJN?M1YaKÌw7?EmCN7˹4)g7DWXP|a_׹j ?-6>Slu:sFVRi9a.Sz#jğS^40?^2=v&oq˝[P?蛰M7p:=lcUu{w40!sDo@g5fgYZ8f1322936e8c58bdbb8b1d38337781085cd35271d3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 8216edab7dd1042815b7493278d1dd8ece407a70 f725914093267a67736dbf5dbcb2cc2c1321a276   Cartan_FP