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  d4 ]/]HOLCF:threads=6elapsed=12.520cpu=40.376gc=2.476factor=3.227zXZִF! ]ŗXf1-q恈͐7ӺV ༂Mb0v9?cGb 5Z;e3.i@0E(5D?WR#^ՈW6m2wD0A?>iSs&ݹqxƕO.KG^3 -蓵~Q *}SBPQ_^EUr%aױ3 O@$gM:PO-@q;xtysvO=`} O]xc ?o,dV뷯oX Psԟ7&}e;[ˣ[m@wa&X2<.J=1I.+; ![vtU |q1?RpZp "ey`0*o1<#EoO, ߷.yqRoCHu= ƃmCFW"uJ6[>CI !!egYZ7zXZִF! S]ŗXiɟ>Ӈɇ9S2]hПGʍQPdƦ.Q~$B}0fgRSrIkbiί>s-%t jff;h_)`xgDrW1&$km mշ!vsw#4!7DhN 4[-iG|p8wo+zl~oѹz5⪟|f(8 sdӡPDjrZ80zXw5JWՔ=@ ծK /\eYkLzHٷ~65)1r ѣL–c'/_ُm^5B݅V+d3{U[ev=!艶2tSs$/BrlЋ.)rZ;卵2 iRѧB9Vz&6]}_-CtptO% $vmLˎ!Mw(+^͔Bzl q,dvRa׋؏\ZK{(U̱M@km[={6޴MFgQi#RHLc{?/%ZLJqO]r_D[`\M#&wyϊCn~V>; "r_bhcJtmm|v%Gu݊h3<|67uH?9v-dߨ)Y-~庉pAUׯ){@ 94Z3槢b[k7|U(OV֝% bvi9ݝRi`*'LK2(H IUy-g3`X`;F)s]FI /il}..ry?&iMv%s<־Uťp1][ȚSrF=J gYZd45a6f7fc9eb4c8fd0f9a618ff0dbd0433dcc9c8033aeb80bf9e42a1e7357299354530b3714c24e4 64e4772cec7906cda71bcd7c2893a1bf904a976d58ec7c0d5e23e01e60a5f01d747cad425a7978a2  HOLCF