SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_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   DT, ] HOLCF-IMP:threads=4elapsed=6.320cpu=13.604gc=0.460factor=2.157zXZִF! Z]ŗXf1-q恈N|5` 6Hc( zE"Z<ϰJHSuI%߷Jz彩<~)KU6J\VdIقqۤk (]_]hUĥ)OD.8\7!+S&L|]+YqM8Oa9֞v.w̌'oΕmAw(rufJrt{8\S+eXuz{1$?o"\8~T ;3FG糮C90pCO1s.n `gYZ7zXZִF! ]ŗXiɟ1,plnQBmjs{<a CJE637.S1k=z7Ge`=]Qa^ݮg$D#Hr DhNʰ CTA~q3wYÆy,0L-st;W =&zGgYZ7zXZִF! 4N]ŗXi%Bj<ژs=jcuإܑ=A$05cnƒ8Z+=Nw, BAH'&ibcRhn}u;B2W{&(LOcd4ee،[>_t7"/K5$ QV (O/jO<#G0GƄ!vGۛߣpq>q>zeWdX_e\0á4SXي<\oϳvA&__%Y5k J-m‚U7 7A}!1R4E!]>>qiZyj$$kj{=  EA;圞h_>gӫƢ&xV9n1pE1lj4G̿nk 2ř]˶6PUuq4JQILr2 p#jU+tUW{.k!}6kef!QB fDŽ7%3J Jn ŞF CrKvWF[*01W¸GMF1;SZ?"c,,͹?x9GGl{ .J Ep"vc)9 Pņ xŧN{/0wX<z9'M xʹm+WYWy@RRxӝ43.$ _ܙIf XQ<"tU-: g8׻ &]LQ5ǾYT5bGPcCfkW\;GJؽ3xVlTӃ, ϲBzN_YW A7ǖ'C5[]Nݤ5/K`aan̚ qѐ捑8Ǘ؞MHWcE\2D#S2%:*7]3 C$ M!yCse