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  XT S CofGroups:threads=2elapsed=0.970cpu=1.552gc=0.000factor=1.607zXZִF! ]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uLYnx9W`g-ܳm kbxyNkuvf 0Kcdf$Wߑ3 "}ɺ8LhIɐ?]L+lgYZ7zXZִF! ]ŗXi%s;R?%3g-JB,mb'qDsjU{ Ow/_lINM7Y[:8 *m-~mN Nz5uc(’ϐ_c {cދ$YwQ Fe-0R*Emb_\nׅڅƹ~cGR|pXt7}m{j{_8i:~ejNLI|ݫK,υ`50X0?#)&wړ?l=9uoRBҚYQ WÐ07hoRýwh dQ]#)9,HY )\aqF5v;QkeDDo?NT&{lT0i QGJ\Q6Jkhmpj?XzOfRz2gYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b d174eba2e2af1cc41893c051ef544ce05c6ab8c69711977f48cd7397b3b03ce4fb09271962469dfd 76cc7bc16bacff3c41d173310297a26a15be33c9 0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567   CofGroups