SQLite format 3@ .0:  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 VV' D< ]/]HOLCF:threads=6elapsed=12.685cpu=40.832gc=2.696factor=3.227zXZִF! z]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0&u4 LnK` 8<O`{ΡvnWT3bė#~Roo %X>{.@|Kt/OV}2KZqY zT^(Ť`u.ԝb:aӇɇ9S2]k5UOiyUc (/UrfjVFr7M߆ĺTALvNּ&U`owYi^$}`äY^Rf)UKeSdl,aZuQ==sDL=,"*;R^b=׃\5gFwEbu^ǖ ޗ3edzJoѤJAn;07_XnSMXICvz<++IzJPAJ+,~}J+(KM!=D 5ʃ{R/㕷4[CʩAWkZJQo X~c"E9Z^6NKa.j"tEЈsm Ֆ6ClzߦxH RC3o!0`r74Ia;Qؕ5&p?6 > ~T^Jbi>fV%a0xkA#6I@k@GwjN!$;gYZ7zXZִF! H]ŗXi%G/h4{]S9/GuB`Rm"?*͖XVccїogbD!>ݼ ^xbSQ!\Y(Ziū$3&:ҳry1&~IT}r9np;ٵht\̇ HnK/Gä/XD7'D<50)%FHGFd:'(Bf+P-_Owjix}buE' 8[i '4. Ftfp}4Y1YExfEiͻS1v6)b@42+2EW6S5Dpi`kv_6}57 MQ'5FI$/7݌d5Z5DUט(|daM+JB[L_# gfgj4? 0٩__mQ0~xeA.:;11|*u]cE=@&Z*@FHˋDƄBl(ZAvk1M턇Ьo]Az8g^g$0NhE~Ag{(O\CX|o z%iG{q8%袀lLJ!+CFxZ w"-~Pq؊_QRt~g|+GvCbP۽Đğ9,V?Ec k呍y)7q^˓Z9_oŀ~AγpGe"iv( S8EdДmIoǭxp]'!N\D;::tK{]O T`\("C\~̓I^l-}Σ]i91?$T']-*:]^+D[!exȇ :Pk.,hV/FnqZ"½_AЋ-5 }"g3FX̮^G;BfrWKp-, ,w,A\i.+[%[1bmw#9KNZ.Ac|u'!f Ku>ig| ~jvSZ^p6+!1&&4" 4yV szEeV4?[guŵi&&Zϩd!t45JGw$ⰳ}'O-K9> >tuA dv; CubI ?.V£*>Sc\}Dbz N wM%>\l\3]9R0ӅVs堬tw1wR! 59j y0;@$mN)"q1y G~jO)4Elٶ\-~Uc~RcZؖHxENiFxbSyqqxY?%\Yp;I؍|B(\j? [[. a'mgYZ3b70fa879e966dec2e30870b08b3e0216519eea22e6928e36c7e4240e9657a660a95e55cbfe06e26 19f89c7230ec5e746f283c7664c0cde7761696118f1d5397dfb45bfe08830cf9e6f04b600e0e28af  HOLCF