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  u u)t ]/ ClockSynchInst:threads=2elapsed=3.772cpu=7.300gc=0.084factor=1.947zXZִF! j]ŗXf1-/6vRZysB N^WG!mQ^|k ;GZ<&Z0QΠ ~am.+O\ h{;ϣ-n<`+4!CPH#;BnNX&t|I8h{5Lv-gd +<8[gYZ7zXZִF! }]ŗXi%6qDX:E^h˨c|P"fgZ b6!Pd"$їG ֔O _pE2]yЁ'4*#uP{p&rez(볠#a^Ƨ!y|4I V\>g ]ūY 4fj:X۪KA ZR>x1CÔ#! {߀FO_y/3[=3y*A54u{P;mH hO_4a"rXS@Q4Lr/Py+Jw|"cVl"ϜgoӋd(O]0O1ur|$9KD*NWwqM -n?l+Mw&#Eў'Qbr/zݷK 1:ur̕r^Vοr4 yEEI=\LQ%CCpu1d L?@WC!2njRLѬ\j*gߞ\BM)|bc;>9*uÿ}3 FuC#r>[-i%jq0 ƙz~8Y?exR_W LXYO&㤆M݉ d`7gYZ77e1684c75dffb6e02f4266faaf703163f7a71d41e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 ) ClockSynchInst