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 UU()t\ $ ] HOLCF-Tutorial:threads=4elapsed=15.188cpu=20.740gc=0.3327zXZִF! S]ŗXiɟH)0%o(q'y>Yr jZx\)_"c-(b"VozfѪRT}NtȕsOeŜ`8]֚tۻh\EwǸd@Jp uzagyϾÐ~l^ }ufb2$Ep_d؊\ne-?@'(Ïh:?9M jI@ʍ)?苊K%@;;zVL.Lx4^Flj `WerV4 U&# K+q޹>`EĐ~B-} #xEđ)5cSsJ)X8 Q3\{wsPΌ l!>I։-z:M4Z zk?דn$)q?ܷ@n!K#3*a#K_]Q`QS$V؛wI8[AkDPe܂ "Vq*`ɛfJK@ގx ~m^^NF o5芆9ؖ_^f/}4!II¢٢Ss2\ԵΫ[ { ^C*Apnp1R*c=K6U3z_SbhUAk:1BmkH=aItL!iaXFsG>"3d5r3UgQ HBJ9Qg 9tb+!ڦ<䩝6 7 4=}A=>+CXZA-lێaQ2S/IĭAMa8s;8,S{z|'^V975#M:2<ĢƐyY[ik&dKʯ#Ҋxƥ7*_TKo1id̄4囦P; TȍvW7.@"عv'VnhX5ba\hFî'Æъ DΩgN6/ &2&߹g\jeAc1V!j/tI\lZS&\rB#[f,2u i.!b>TAm'Q{\rlT['m|X{qEy L!QhjGQIM&>Nɘ>`Z^\6GVBFFw/XkxWu5%tw'ejx~'s v)ԥ^?*K(R1jWك /Ho(Nq1|W;Jb[qJ6S)F M̞!ѿ%-$F5cm ( *@U!%,c ;=FW׆V-yQa C^5WGHNU2CYE'0M>b afo)}]8p.l }oG.OWSuپRMUaNlj7}($gYZ7zXZִF! ~]ŗXiɟ>ӇW2t5pXD[/dzm'$֪gfbqMrA_:==g%)uԓo'EZ :@bՆMK(@ V;{udcnu*&I2"JscMI^q۲Ұa XH|ϊK$KXj/,M,֩xA(_).qA ZrV F XDG-BuxdFXL,E@n tF$È3N Prbi~j6׼K7GuAO3F{hh U2? #R=M%rIߌFynZeȞ/'k@WirEޱ0Y²p[$"s?n$ B-+$[TX9oꉎ^`wPx9Iɶdp$iPl0~oQ> $lW\`v:qTNl^5.'x&˦ki4(x6K`Pcpw#|HQW6R,݅=n9Yiȭ SiS*@}y謅׻zAF#{0+m|pnBtnӒ(̥o^;YP\L.<>?ߛ舙VeLi6 $0(^%/fPY-kPl~4-JTˤV;D>>e'O`D C_i4=hK+X'`4d5=Pfj Xހ>|NiZvkhւω%'E)n7w1-ʻR=Py{WbrhQZ>2B@nڐ68Z tƚ_ rzͿl7>Ss\{ fZ:.k:9r?j1Ĩ>,ۯhAv$trC8>6j |ODxi$ب7_Oъx mX{\`9CҘw^r?7W2tBj_\)/awص* /&ϊNPE.zd;pqrf#4<]}t*+kh=b'< 0 ,ԧ_|`T}IN 朷 "E 8C-ڊ`dB{O,$ixf{-w\x(-HiԍǛG 3/#ScS ޯ*% t>]pYZd{"?5rL S]gYZ5368931e0339ef82a89ef6aec33159220948368e9aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 b5f516bae9a32d9b4b682d16bbb4a256ced641c4 ) HOLCF-Tutorial