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   d,L S CofGroups:threads=2elapsed=0.844cpu=1.396gc=0.000factor=1.657zXZִF! [R]ŗXf1-/6vRZyѝ6lAZF=/Ob~#;?\=~AUןLgLõz*uLaC\<n\%}YZ7zXZִF! ]ŗXi%q7ݴfwU7]8d}dwv䌛 mg%j B>ӟ$2݇z`zW q4 t׾ d&;Ië"hO֥wT%s ?;/#W\;[>BAA/I!g Z  $k|t 2Sa1 *9bٲΈg c%_wDdFE%O }欷 u;p"P^g }2ueYZT6U~:ɿtĉV> nw1xJv9/wę! `*('8&@U?Kװ&=Ix2#2 jww,k&&i*w~xݻw2tj(gYZ98298820f5c32140f876fe6637eb6fde891df183 b7d5e280188405bf11e0698ab849c52149c7ee84 cbba3f6a3270e6da397b9fa1f9d8f5ed732b249b d174eba2e2af1cc41893c051ef544ce05c6ab8c6735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aa 182507163e45bbf725735e35871a5ba3be6c75e3   CofGroups