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 pp ) l|T ] HOLCF-Tutorial:threads=4elapsed=14.192cpu=18.484gc=0.240factor=1.307zXZִF! -]ŗXf1-qN0L%.u--W^3M,'_{W&|%h/+QvyvTojԡsT+ҥ Krp-/q_h ɡi^UK7^ &ة><#l:'mHKh6m5AIT75Nh1imiâ9[i V5="9fI+:N2<1?0)č' oz7rB5J͝/6$?+̩X250yD?ﶣ𖙇gYZ7zXZִF! x]ŗXiɟ>ӇW2t5pXD[/dzmV& $0_[i-Dc:t_?\Hg(/L<|| & [Gt{5З[)SbgYZ7zXZִF! fE"]ŗXi%B8_t { H)X7/[?\Kl1g.7 2u]'dT>T \e4”|5@QB h"lF l79ŋAumTux8TJA6H )[VkނP*6mk/WN^l%waX#=wԄr|f׏$w'I ܐ/سZ)rFz^*U_U MuT`C F~,Z-srd 7SvL&7ig{K(~$>ISWɜj:Ƣ5Tx'qmb +Pۘ(iSO߮U_Z<e /Nd`xH޺feNk8IFmT3\G_N\%(jj7R8W6S~фS=`ɑ R*';S@޴&lCa&$Ω&,-M<딮? " Wݨu4+TOҌr{҈(umyP; ! DU+ |M_]9%xs#^r - lBjƂ\$VeP%\QŧK+\al<cnNKu.(QM>(7"8̏ZdY#I,潋D3(MOh^ Bd"( Y}Fg&؟CU hWs*E<AWJ=]36N>&qY0xqZMHT*9{(ukN $T7 ˨uJfҋuNG@q.$1T4yae9KxF{acQVm5ï7+Uc+'rB{IL>>}fI?=fN]/cۡF_zJ,٠h)mHv3oW%[`77]y;nQz9li%YjN3TsPTgZ2nЌv|I=WT"^?z ,L:=c>CB;w oJ6b^  .Gov"2mQ\I8ɮQ4K)Jh}V 8,ɗFU#]^?-`J2 {p D)'xǐemX