SQLite format 3@ .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ff TCSYg8qS9':egZFW+l1P&; ,~=$''?Եc9`=qK?0{t Ά#qR?cgLhŌd(oXAFRi< i.0M,̍.BMO hϸ*! qF.$"^:gYZ7zXZִF! V]ŗXiɟ>Ӈɇ9S2]AqX4yQ~^\RG.Sge xa=A oY݃. aY]ŗXi%@Zz3 \o EN&|/ m|E'?zPY`T>MߣH/hr(a +66ا QaJD`\Apf©9a0ݘ5z}]f|Q51s%^`Օ3.s1nȉ̦h\j[5Y//mUrvP4&9޽ڜ<:o ๕ԟѬ#=?C H 9$QuV%%뷏yhեӻbvqzP[OHB8*htNw vJ$ʼn,J(6wl"qT{>rT N` yw}^@ -TZγsXߊ(Ř@T㑁w1FK95\5jw9Rn';͢kY íd,gq'/16[:۝? :GCO0Kʟô3_'Y GYَu~Ĩ|Dttֈg jz6x[E.&9i`zk>iOI" cEֲ.Չ%*ó5@_b(h^R內r4k@`Š]ga>}:1v}!P==I'pY@X̜J4ܕ Q,4ǔ^cxJLIѴq%GR Efc6n_1p@qA_8`M*DL5!8r;, =U9#4y0YfĘ4;3C.f 8|žZOH2?_[K z=kQ`$Aw]U ln/Vq.ə1Dx~&O<*,G-Zsk諘~2[JL(q .#E%B乵G&`A!hWC#fB7Hy>ۊJ }y}gYZ2d6147067a67ab823d3a5e8c0b80edf94673edf7e216e8eaf6a375ec18ca24b2ce78310b303039d8 9fe695dd2fac74756be62bf1a9c01ff965a54e63f0b65e4aa4539dc4d45668ba3d8fb818a5c99ce3  HOLCF