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  t, ]/]HOLCF:threads=6elapsed=12.837cpu=40.976gc=2.732factor=3.197zXZִF! ]ŗXf1-q恈͐7ӺV w;GOy:Cir8% NVCV&) Cg)9CS5ņaWQ(i$zeqAJLz˺w딒yX=@]p%[򸺬TCd}}}:1ߜdW/:28xqma[e! x(w5jmJUW3߇/Gݪ١A+s8TrO{@~0H z+suf/[ c6"%)ʷ Ivg܎cR0q$Zد!<#Ba=<'席H\ 9^}K1Z2YA;f3FWt!ޤ;w$' [Brl akMMm2Ǭ%݆ZM8Ƥx̴EV H¶$:x>YԓĜ 1ԓ=%՗ Ʋ"8o8Ͻe-*Ҙ_jo|@8$ E0+wL\+VsDȕ(kY_["@7W3 >IY;R[yjVUv+f.{e)gleiLR]bS4&Z(Jnx/-B!הz߱gYZ7zXZִF! H]ŗXiɟ>Ӈɇ9S2]wNg4ҶB;RYy[_6(zLܘ i2(ЅtgUB[PQAs /=KHO3Ӌ .钩!W[8H [spOuWoT<%֤J7ҝ()cRg-R<C٬ö nvN}@ DPBl]߰۸xյ P'4z]kORiMNV/zp_B*1L9@1Y5rg2Jxd Km9!# ~5!g>'LwCBdp߮awO,hG!u8p-?O2J99j7~?ɩ*Yia>x;~}K/:o-xm7tg=Ϙ"lKI3O4uR`h#lY-v2+~!{xa07ݍ l32P+r;4 h;ufe{^6 o{ xL;9c21H}j9 hxgI^8,杢pN'䣅 iCyVW_Rt5섵9s]0Qۋ|3r} Daހ[\]-\F:Srb;z^ӓ bÀzpQ.y^f!ɳwF;&DgݲN`Z@ 1 `Z&EJ`!W^+d),q6?*@;WNfXRߣ)ÀY]$3].f-Ww`dԃl\Ϲ%+_ rJgS<@n?%Bî^FDUcwS殙)ByV򺡍qyʖ}|ua$;@Ww%Ac~ܥ cmּokEe)hf[F_G*JB5YMqpaskG/ϰ?mh ƷDO &N!䥊 WѢn>~Bd'qkEZ } ő//ޱgYZ1b17ebde05b0ef72de3c31fda0cd74648633ef1ba8d2b2957cf6386ef71e6190a6c8f3ffdbb41229 d359bf5ca56e584aaaec05c2cf0421ec40e1dcd0d91bf3d1d10e9d16b0a093942f417e03334fb448  HOLCF