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   b3 <, I MonoBoolTranAlgebra:threads=2elapsed=8.184cpu=12.720gc=0.416factor=1.557zXZִF! ]ŗXf1-/6vR[;hcjlq[}'Qbxǐ&87a1lBfNV<tEJc 8>~(]n7,pqA'WH%ucqp#e 8Pf|mG ¡/YQy1N<Nge; LJ"*C㓾,q_4H)A9 ZUHo!Cݽ ^T1F׎Ț:)Q![T1?*+#=:ג[gYZ7zXZִF! 1O]ŗXi%6xs#Ua(]BM1!MH'+< d *~ [d';?qԨ9 u3C0ۦ^N_ (rׄRفs_Sܣ(|ꂃZ4#ܜe|b",e_+/j%),RR' IIN^)VI'h$2uS7>5pR_skI-`)P8RA}O ggj L#[&5)JR\NB.[0E+UOn6ƍ n!S0jm@yCWa2Wp-DCUS@5N;Cml_s OPJբ؂\P6K~Urt3$ΆO~.ףLNXvw?ƽP.blmK'ɻ3g|DԸԶ篽 yokS>A~eUY&AMT @a!E4uŃ*qzK:y^"A3i!F~OaA/FyL*L}TjH9WB/vIHJy1rVu=X7Ϯ:3PUf& 6aƹ/9[ bq^njL҂!KU[J@ب0r6q /iG*[2׮8R)~gk͒HП Iyű͂xY6t-}`)>xװ&#m.s8}++i+ /psy,–l>Zb)gYZ042fecc5c9e40618c8538c5dc0a2d8c3dddd38d8 11684b37621ca381595214a6421fd33c6fbca574 72e9d2c102586c27517df7fa6558aa91fb3a1df9 af4aac2755d20e3b96287a0c09947ca8ebfd5e0d d059e620aa6ac9520de49e5c8cc45d50a113721b f4d333d5486320d9645066cfd4becbb8fac84a73 fb8433826f1694718a1755d0eff1ea067836d684554fc66833c1e501a5e5c7ff24471873df0a1f56 d155c2ed07829a15fa84f92865e4197c8a5f1ee1 d40160a65485aa1b6c8afe4033139578633bf99f 3 MonoBoolTranAlgebra