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-|| ]/ BinarySearchTree:threads=2elapsed=3.488cpu=6.344gc=0.312factor=1.827zXZִF! T]ŗXf1-/6vRZkc-X{8)aI_tTʅ>!diP;m?Fv9_V+4z"w`zIְ>_pB9$G~K!pO{M_ -ۖf:fg:Y|dջVVD/4ǭ| c?fZgYZ7zXZִF! u]ŗXiɟԣʰi|ݏ|)V%bZ<4|R"a8%ÛUt"^ kiMDE`rS1G ҊR+,˸<7iSnzerb v9PBvQ=dTC\ŀlnGYPȕ7NqTLa'ypy3xE] 6!lJ=+m6qD