SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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 SD S CofGroups:threads=2elapsed=0.856cpu=1.404gc=0.000factor=1.647zXZִF!   CofGroups *]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uGa&0S }hdO{u329Pn PU̝ނvnP j֊$V !ipbtR݅gRS^ H;qBQ)c6י*lWd7var~$oS) Rɽged\|%eʴ+2gYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b d174eba2e2af1cc41893c051ef544ce05c6ab8c670d59207b10c0d3f1ae9713c01fe0490a95034f1 a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9 b5b2e3db2282b5d6e07a8827f7e467ee9b05ff91