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 e) \ ] HOLCF-Tutorial:threads=4elapsed=13.625cpu=17.700gc=0.260factor=1.307zXZִF! ']ŗXf1-qN0L%.u--W^3M,'_{W&|%hON'`"8 ;GjtwzVB;x"`>9$AvR5k( muyq%߼?2-;vf+gTM²ZTՓ>vse{fbu8$ovj;ـ^k-ċi~(iKUQ ֺ7]SgOW*߀ m$ _Y41 |M ÖgYZ7zXZִF! z]ŗXiɟ>ӇW2t5pXD[/dzm4A?9=^`vq]UQD),"^ffg'I$W/$z0 " dpFX gYZ7zXZִF! ^]ŗXi%B:gM`s3⌓ړqܷ ʝK+y-f2Z>t%ޠ+Pñ| ݬT zFsQf7do8*pUQ¡m{]oyl*z{OD-Y9)3UY-PTPıf`vE<>,q8L,^?/~Vx#r[uY$k]v4)2 &3p8ZCӓYp9!Yq%>wppMYxS ֛NrpVU fî30*aPp ǟ`N#1x9Ŝ3Gɇ<{ yJk-q{5E߆{mo禌O[H{s1&wL%Oj=m<#͵';'6=+*v0Uľ$MVMwɫfNvre[е#:-gTb ߎ\Oˤ.=Xb+BŬ4rLӵh D;,sUh %8Q&n/'ͱ"%-:L Fx f#5BHw5/j`ODw 3 P ;elkY{|x -W6itHϠ8m7{kGVO#w8^ jWu=G4ǾY=Wur48sCw5ajٿDJF$.E6DR.r*mkv잞)@.,,+Z1&ִ>$1_%הBLW$͜}~TRuDV8oaV&` nYO^w7sB+DBydu7c $1yBbj_e͸NR.úFbN l49\T8CS7D~%cJ^?paC1 e]Ɂy%&]! fŃDc< =@zX~@x GZTZ:Ui fh#) ]Zo޽HfpgBlJǻƗpu]tS< 6ƿrt_ɱ8lQ@k;/̂ f H9< %z#D0+w|c sDgYZ8fdcb96cf99182a520f0874615de266d004c320013f786b8f4762c1203e3da5c15d634b6876ecf36 7ac514d3394501c5bf6707600eeac5a1d30a5454 de3076ed55ada3288214c584c94129a09f32b869 ) HOLCF-Tutorial