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 II4 ,L s/]HOL-Word:threads=2elapsed=22.484cpu=43.216gc=2.076factor=1.927zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNA'EU`5 %α; <z'2}uBڞxXb@ԾKgŠ)Ya)OSwPsq.('hsZRZ`ۃ/rϐj4\mߛiMN7}_<(F%@fF"Kʰ F$S^ړwf"U_zϬ *Ɛލ ?h#Y%fYLYMG]7DŽSMir?A(*-;뻐QGSCM+ghA $Dq4*cL2A:6 N< i!ݑ_JhUk+ {]ո .f^iFy;4+?<4ɷ6o&T;s_1g CoX^qlxy:&. t ~%njx)G[7o[./яY ;$f. iIF!i;Sps1(l0F>LB4oճOJg*3|ӭQ4'֫q1>PSRƂpJ$o] ܦ~1"pP"VÑ}T?Yld r5h9'u|V)gI?qE 3O7l#&i A]-m]d\Wd@P C@ ndUX[nf >"eUAfiyϛ5E6d(O7 ZPbO'@sT ~kK=:w$m&g`u)RA&Cqe5rz%ǣ,0 Ow𘖯cp@ ݭi'>FG{k޴D+y(GJk䝻(RA5XMv5O 3},`f P}EE/(TYӼr֯v.uYІMIz@қlZ$;t۠-b/+~b;[-v!97+2ڶ241f2'A2]m/B#S%,6e2YHN6i$`W^q`«#$DJ0_7//`BhZl">\jr% Jِ6S8>I(%%}x [obqWU?4nǓ$>{AHVpfdRg#8Pcȧ6d֘wKp 1#+@?\8 PT kv~W۽תYұ2CXzlRaūkJ)蹮j\r0<@ksk±+æ]o6l ~u5߼s:O_ZqL z>PDb[X0Сz-ABwL g$fΥє3ʋ(]AOw6^L6FX E6 ~W:[Uqqw  gYZ0bd5fca3e2a3cfd19d556a3f51c937d34f3464a1 139a3bc21788cf355fad3f6f2baa96ef139efef0 2b78c98510a8ccab9b37ec93f256b14aa15c6336 34d5357a1614100e4522bb9f8371a889135c0e1a 3fa0150ed58e22b0591fec277459309fbbcba97c 4cee7a4a8ff3a6a412156b24cb39563781feeea5 50973dbc7872bfcbe0e1d5d694168f55d2a8de1d 54bc02edd20109ec5df1f897881ac82269c23e46 59c7294f047184e24f3bfd7c63c979390d04aa33 6d48416bf9d246d3092fbb069560cf5f9ea020a4 73312d1f5683eed2f4e164177e17eae847b56d58 81f0c577e8c493e332fb1f21610088ca535dd807 8ebd2a5a70614ce4e9229427fb522b89f8c795be 98e56112c94ef1e4b2b588c91ee96072cbda4b3d a47109356e1f0d349f2a2777a5a6f25f3d257dd8 da16c92bb01abe57fbde29836cfa54e95db0bd06 db4f6314dd91199e1c763a85a44c260d29235bb4 dd12fbcc31a0b736edb5bdb2a77f705421a3f9b9 e1017a35dbe3ac17604b11f56a6cc9a3d1a8a5f0 fde422d1a14a558aa55d7291242cc3465fce467e735820fbde580c794b275d3f360e30a6d8376dcb f7c5cec25e7da1e133019a5ddbca98ad9c7924aadedb1fb2ce17009850c27ae6db421c37e92db7ea   HOL-Word