SQLite format 3@ .  YYQ77Atableisabelle_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, "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,\ S CofGroups:threads=2elapsed=0.905cpu=1.460gc=0.000factor=1.617zXZִF! [R]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uL`06bH}4X:n\%}YZ7zXZִF! ]ŗXi%6˻hPwN KV3~L!*x`u|;،PRWG +P:4!0Ѧ7Ob\Lk빸{}ET :Ot&~ЗP[6͈;< (0L|/S3BXDY=1C?~MdBOp0:DVWNw9H0\Gwʉ;xvО&@fKTOWpC'`;2;Yo+ V)&~hlnyv{g|iq76 ݜjG/֌}e0/i1WQ]FHICD^ 85 !5M*ߺ0v^DcaƉ^5>L ;vg_(N~'I E4 0bPy4gYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b d174eba2e2af1cc41893c051ef544ce05c6ab8c6554fc66833c1e501a5e5c7ff24471873df0a1f56 609027c0b5e2d5a13a9424abded96d9da8b41772 9af8b800f666541cbe138b0c73c675da401c3f67   CofGroups