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 m) \ ] HOLCF-Tutorial:threads=4elapsed=13.292cpu=18.124gc=0.292factor=1.367zXZִF! %]ŗXf1-qN0L%.u--W^3M,'_{W&|%h^p aw[2 l.؍#a(6ެ͈}34r |ÕӇW2t5pXD[/dzmu 5a8Yz/6PmDV?!RjP.{J] OOj j\fŷzCX[BVFgYZ7zXZִF! ^-]ŗXi%GcŕQiL_J:zT){ɗ5 glVv.voydcf̫tDG{ҋiyWEGxfX̐)PT#[@@ռ#ڮw:c>t?|[ lh+Ѳ#&i<8<4W9 eo6Edc*K A.4d [y}jI;lˎs[{>JT1vWvO7do<7%OI!D/ D38-Fqт؈ŒCY>b⅝Ge3!0\ͅ:Uᢤi8_zBG1S#HY ~:ězڽFۉk %t=8@q{#rg+ J}սkL: k 3Q대.HU $g_qNJG=ӆ`qGB xΰq"kꣂSΤPob؝] |r/ڞ1ҋG~Rlő3igݼHRfjv2FAR4 @@Nm;"B?Jbg\i[OҒVQ>AfPG<>RQGwy*ޱFͻH[rwyB'RFvjPצ7H.7j!LuBDY8"rw5g1niX}`t"KNҕ/m(ןƊ+s։'"a!6R_|)!XV۔ iuߊ;ؙIy!Ϗ fˏWk( Up:+iQ|7pdhMyΞ! H^cz:^I_ myt6Zm=}LCUbiO7$ ;LVB,g] {>nCѽ|iN#tDߖ*crj KF`ގ=pTfi! ɢxuS)|>Z0@fM k9]Oh@KbV#!ej|]F0IL"zU /3;dk 4VN#gYZ21dfed81c13e2863a5f8a9f428348dffe5f296671795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 946967d0ff27c8358b9575a3ebfa35088ead3814 ) HOLCF-Tutorial