SQLite format 3@ .;  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 u) D|L ] HOLCF-Tutorial:threads=4elapsed=14.584cpu=19.468gc=0.368factor=1.337zXZִF! Us]ŗXiɟd)&]hS.J}+%%Zeλk=0BR5J,A!4(zN09nT9!C˸̨~N;W}q)r{54'!l#uTrkI|yM[;6*aO-}jP?2S.>+ş8szA9 '3Ԏd-n_&R"EOߍRU>+jP"Y$- 5Qn|n-S m]@k.=usfr=6E%JGڤ)e]6!7Ζp+% yd!Z}ZC!iKMji.)Y%+;׌;L _ְף 1.mֵhu`(vy礼 ޅѧQ_p}HQ*1`MڴPn.Nm):D"E7v힭뿫y1~M%fV#Ԏl)H\w\50JgV=?ofl}_!lL\b 1U;F1w|%ض$TaabMj8O:Udכc'QljB-% 6||,C6blN!2)Hx\NuHe֪`}'4"a8<"X2 +&eͦ1J%Q5:v+ipc/< ]Sbk.b7)N9 0jӜ ln鉷-ln)=_0A :qT4 U)on+̽jiSɂ(G' T) v5o>(``ٵfY~B!OY5q;]Il-W`%`F:E~Ztqr/<%6xٶdܟ<@b :<\Jlm#@VTpQŠ vDJ4ۣq-_*M_vh:RwrDmޮv, 8ĤD?O"Pq.ّ8 [tMߟn5GJF˔7i;]onBB7%;bMW8f>ו\ӓSo8, d12@rHO2yׅT(~W,7 1d;+'^]ԵƠI[hƤZ")Pn(70Or. x-vH(` %wMv(e^ј{a]#&oDMSCWEzņ6Wd.JU"eWF:𡅔ĒG"儥X?:+Jb3>e* ۻrY(!ޙV~4"a>). /F|}DGǪh,_~ oZT;d(BǰP@eLkQ]*S꣦, 4뾙cX# /l+$~Z;/lf,(k*el7Rjg}j]l*5qdG&^&C=<\# %Y^o?ZM™/9/ZE,_]扚fNM o~q!bz-#Qm+X\k7R"Lf;r#-:X_/hP]yH>в60jy_҃uH!rO&b# *W>Tm0 -(+ɱ3>ڜjJթ2&0ZƛOz(PwMZ;j3__aE~S+5IȬx"cȇaM2~r|'n"ˮ᣼t|+`e M(P5)3cn(Eσ*ɹ^RX.f/pTMR&I E#}ӑfkN_2+b!cINT,Qa-%RxCvgYZ7zXZִF! x]ŗXiɟ>ӇW2t5pXD[/dzmf Y>=5n~'A@eRӊ]왎a E/]g$r1zC4SbgYZ7zXZִF! c^]ŗXi%L!l0 Pq+"~}yܣ ]FL15<@=H\+'x>j`{eRz$)9!ϪtDٍZ]m0 뇮pS>:f.sXC;^eSg2)!s&$0sS3`^V2/kQX 4 l9~{x>D$9-ྩ׬R2r :;4X(S"t\{LXiƶ&,+a84V5~_lP!HEiٷy:R ڹUcXa˪<.Pg+\U$PH^#ǦFjIn!oW, ?`Bh/K7B- 9<I"=xtA CM 5r`ƌ瘺 iqp0:ǻֳ)Yv@O suC;+>rˑ_?C}Dqg<k<2ҽa9|x-Yxt[FOݪPmѸ(:Z{h/}o?` }MŰ?+OBh%++6Z%(g# _S<<*ŗM'JeW@l;+S:&e=cĭG.KT koHr 6LMCZzݱ/kE1x"s8_pG١%l<}_y!Y kHFăoJRO&RwsѢg.eX[ mz蕥VvYɱ{ kq4Fi]o1@j)å!"fVH!E5s= \6||.kœ* Sp$~ ?GAc4G̰c1 F%|0v"F[%"+SMf }95/lx[xdNd!wn25 R B/W<ʉ!(:)|Nıi4=#zpW;B,/БH0e˜?Q#eިr:tvM[VרS 4s ;HqiG[ 9a[)Ed6s{$98 CgYZb47a708f161bbc273c3f481a34467db1ea8955588215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61 9917c2bc07c4d4ecbb979dab9a399298f5853246 ) HOLCF-Tutorial