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  M M0pL$d ]] Haskell:threads=4elapsed=6.078cpu=0.200gc=0.0007zXZִF! fb]ŗXiɟ fd(LPW\ Q~D Hk:R73EagϨ?2Ao009GA(4~gB}YZ7zXZִF! K]ŗXiɟ:rny"(pV Yў,ÖBw|w!  =t[&&$ggYZ7zXZִF! #*]ŗXi%D1D LW~-gMf/+,ڧW(567[wj[QyeAyɴiI#n""|o~J`D﵁|؝%S?v<?܂oJveI1/6v\+;Yl> HVΝ0TarNtg BE`(!"dr`"D4(e -?-rP"pmDܢft46w퉧MQ{&yI> l_=[e V‡x|%dۅ-zXiV[-- Ef<_ zc϶CwD%_WQRS7ѭX?t+?0=~v3Z<(F6؈G&ߴ>=rX墷N~*?ǁnIOV=v)s׼a摝4LhY+Dm)g=hғU 灂ANt+20k!yedox:*XdE#-#ы;}NCJҌ_@q%\ q63yYKZGx2'!@Oxe4NJ[Z`<2RE%:v?j쭖/jD&Fry"gYZ87a3154d95f3c39a7be0fcd30a86da35a5209c1cc3d726d89c950dda47a94cd6c59e05975f526e9c   HaskellT+9 LHaskellHaskell.HaskellIsabelle/Properties.hs7zXZִF! ]=@njAM k2 m a" Xg/A)ǚbpHN "dM6̻jB.QO'f.A+KdԔ{PO,mS`g+,Q[&~\t]F:1J$6cCM<>fa\ػ_K½2n j}Ԋ} =|4M6UI%ҡLPh:^Tue:ְ"ZS{Mߞ]1/e-W)ΣNX\'URP qdž?L]Nbb1sVS)L6eZy|BqUūVrTܦo{*Eds>z% O{ ؟3BWG+rZ1ACJXrA ®0N 0g4O&hkgYZ,+1 HaskellHaskell.HaskellIsabelle/Buffer.hs7zXZִF! <]=@njAM k2 m a" Xg/A):MS%wE[7#=`w霂 9KQ67Zg(G$o:'`p]N5fyT=|KBZɾ۴fw;*.F%Q sse]?כI$Ļ(Zp[=[9RpoVH, "3 [;i ƺnU]0VǙyX hF'_Wq &;cҡP9[S~x(n֜UJio>봱gYZ+/ dHaskellHaskell.HaskellIsabelle/Value.hs7zXZִF! j,]=@njAM k2 m a" Xg/Aӹp`#T`+qc1"5@%6tb#FN*N?F5K8јA+$ȇ:3+X=l˝jT8­pk paX\k> ƵW1;m<@^a%Aq0y AG3ܤ 'ZuY#Ҟ 77|ל\e)?ŕk1mfC| )6 8mxX+ Ug$;.; {BFtQ:mR}-N%t>ؤFh! `MNÝxtr]d(nBƫXWSrwR 0rMKĠ% VMT{=O]rkxY&lx?>|EZ1GRGKMz M⊪:1a־Gi) r6A A$)[^Ҟ;XArOEyıgYZA+3 ,HaskellHaskell.HaskellIsabelle/Library.hs7zXZִF! O]=@njAM k2 m a" Xg/A)c=W 78A߂A 4\ܞ`ZmUIfr4т9YΎ<z{Yn)tAo*w$3-1eZUL3 {F)7Ǥ/eԇ@-QT!Z_4B>*J_ pT Jȣ #']kP\3ѱ{>45Ũ/_AGuK~5{tڄ,MĮ;3 A04ag ңР8}a{jޕŽ[@ȑ5,풝WdM߳eK)v+փ{,ag9 Bi(j.^H[fqdY3*K01"a8aINx^QuqI, 'Ѭ2gl-k)-98?xd Pa؍%Oͽ8dgQf'"JRiYRg<8풨RqO׹-ߧȶ̾>C+P 42 37 ?R`x;'-)*ǧG+l r[ImSwv>eM*%s!]':|ܵr%y߰8_[{9|Ρ0Fob#PT/-^O,iڪBe4_Okj6n Gҹb,75?J:̪1coKbǽ5'ixSBQ4Hr%_-'AS?͝6 +3x -ReG2ؿī8 CY\IJV$R[/ % ޡx (1"*V3F!2n&/8S֜) /pv-ѳ (cfa\ػ_K½2n j}Ԋ} =|4M6UI%ҡLPh:^Tue:ְ"ZS{Mߞ]1/e-W)ΣNX\'URP qdž?L]Nbb1sVS)L6eZy|BqUūVrTܦo{*Eds>z% O{ ؟3BWG+rZ1ACJXrA ®0N 0g4O&hkgYZ,+1 HaskellHaskell.HaskellIsabelle/Buffer.hs7zXZִF! <]=@njAM k2 m a" Xg/A):MS%wE[7#=`w霂 9KQ67Zg(G$o:'`p]N5fyT=|KBZɾ۴fw;*.F%Q sse]?כI$Ļ(Zp[=[9RpoVH, "3 [;i ƺnU]0VǙyX hF'_Wq &;cҡP9[S~x(n֜UJio>봱gYZ+/ dHaskellHaskell.HaskellIsabelle/Value.hs7zXZִF! j,]=@njAM k2 m a" Xg/Aӹp`#T`+qc1"5@%6tb#FN*N?F5K8јA+$ȇ:3+X=l˝jT8­pk paX\k> ƵW1;m<@^a%Aq0y AG3ܤ 'ZuY#Ҟ 77|ל\e)?ŕk1mfC| )6 8mxX+ Ug$;.; {BFtQ:mR}-N%t>ؤFh! `MNÝxtr]d(nBƫXWSrwR 0rMKĠ% VMT{=O]rkxY&lx?>|EZ1GRGKMz M⊪:1a־Gi) r6A A$)[^Ҟ;XArOEyıgYZA+3 ,HaskellHaskell.HaskellIsabelle/Library.hs7zXZִF! O]=@njAM k2 m a" Xg/A)c=W 78A߂A 4\ܞ`ZmUIfr4т9YΎ<z{Yn)tAo*w$3-1eZUL3 {F)7Ǥ/eԇ@-QT!Z_4B>*J_ pT Jȣ #']kP\3ѱ{>45Ũ/_AGuK~5{tڄ,MĮ;3 A04ag ңР8}a{jޕŽ[@ȑ5,풝WdM߳eK)v+փ{,ag9 Bi(j.^H[fqdY3*K01"a8aINx^QuqI, 'Ѭ2gl-k)-98?xd Pa؍%Oͽ8dgQf'"JRiYRg<8풨RqO׹-ߧȶ̾>C+P 42 37 ?R`x;'-)*ǧG+l r[ImSwv>eM*%s!]':|ܵr%y߰8_[{9|Ρ0Fob#PT/-^O,iڪBe4_Okj6n Gҹb,75?J:̪1coKbǽ5'ixSBQ4Hr%_-'AS?͝6 +3x -ReG2ؿī8 CY\IJV$R[/ % ޡx (1"*V3F!2n&/8S֜) /pv-ѳ (c#IOLZ 9(y|zҺJh \bDr߹0ڥVƑd{0 = N_S2hwvZ|g2T4٬cS}))Sy+EVG`Uy`^(s:hI }m?rUB3,v "uc9qNcS\Mn^{[Jl`oQy'Xh7WAz)AL {dѰ"Ӽ7sԬy1+16*!R}\Ɠz&I@&YqpJձ2_K C~WNS8?D+3#}\C%goȓUpe]kvLm'N6ݜl7Fm T.aq_ *F)&Wp&(ݢY0x ^@>!K.@_r#Y V}wo Q`EVI, -M&.M+Vk}a(;1Ԩ"AfjsM S ,dEv4iӋ*F,dKCcv%[[kȀژA_NWw)U#](kr7R Icew 7U"; j[gYZx+1 HaskellHaskell.HaskellIsabelle/Markup.hs7zXZִF! $ ]=@njAM k2 m a" Xg/Aӹp`#TN,9`h'g.'ݟsZq9 5'[^?^~"?.^H7svzpStl(Kj~3Vw:$)-$w~֨T/Mwǔ̚,/j˭0&8զEK@턔_V} "XG/&yy1q>FL=3Çlt㚲I](C2Qَ$~ٵ:τO@Z:.q>*+Cd[LsV3;7|QK&:kצPe3Kc EN^Xn)x&dqJQ;uh{qMt ?V6]cZJ*\IuMh&1^VBs˄Rt;OH\i1R@RL¼LPbAʧQ[ҞRA&IJ߈=ODŽz%6P@>&HB&W10>g!YV/]:\BcucQ'$2Cb})z ,?tl]WK½F=ӗe)9z5Cm:]=Ɣ Uҹ)}2'$()pt}{:qmf95*> Mho~^XN@r|g|DUr +*P`X:cXَ#)'7 .A<6ܝ49A2A&@u?=:1ˉʱ7vt|ƦSj~#}*Ga@ԇ`l:Kk<@nXbVIA, ~ }};rR'^Mf2.R*ͱ = ԝ.As>QaQW/]i"y 2~e,Xs9xD+9]IeACD,A/?v^MP$}2,Ǧ+Z֊"D Ƥr%eg1R<u}/1 Emڮ`2b90讀<[ʁ[Hx™\T&ƕz|d"6*PJр4p=-6oP'X#+e:0nWVT56Q ÄW.JdIEg5\\RRPűѷA0b@9n#KsɡGζnύB~ȫJ\T 5 Ĉ.}g]twѩ*z{OجC"xF v\5:'=CRضLp{MM [O7# |?F>YtsyIMc%0 Y>5gN7h>i^%"\y/qDˬRp&fACUpjknCRUYz\T!d8aIMgYZ  \ +9 \HaskellHaskell.HaskellIsabelle/XML/Decode.hs7zXZִF! ]=@njAM k2 m a" Xg/A)?F5o[2۸YF'ĻsAb:T}fYWއT NfǨZN Bдu]`)ԮܯsP++ *`$F- q<B/$7c{:3X'ǜMY xY8&߃3}k,A%ޥH{@CJ$u^-i 4Ѭ{OKd؁.A@Ҟi 5B$4E\oE(/ހ]eYC :IR i' ܷtx#it;᪑*b7lvˉ&=.se\%T\igejq} ,\9~VgO %I[bc !}sLl/IWA[ .4|^d2YM>FQ8F>F;ۖNdu)@%M{ =+ēIhn]*.go[+'NZ2*HаwmvKzbE"kach [j℠ z u:hbbUL&z%f %E$ uB6 ?(MڭzF~AN'Qڪvwp%p5jFHɀUw詅G%`xM>-6u.>Ȏ^^P& k%(a>hG5WU96Kg xMw e\SYk\y‹^ߗbmF- ȯm+y&(ڿB; N3+Bv1u%6:<-q"38«{P.WoH^KPS0{1;ghsb{mϿSYUc$_H*U"r/ #1[BUǍY.<T&q?u-Ph0'=c1FgSVkbt 8Ƒ抇ˢ nB]:FaH{w&to`('tHf)`m hlY(LU;RiL5p3cQ؆˧ ؜ 9ÂeL .T6{\i9_ م0apyָ#rR8y3Gwc9ߘ)F@,U]n_ŘNM " 9G,g, ҤovLW#VlI/e5+PYò[!K0'6G&_)bJ'Q {hgC jc4vAȻF%Mw٫Ѷ}s2gYZF+- =f S_Ic\C,%ږgc#R08v9Y0}&԰փ{kVF,G"3”W1+kLKCuy'1^wk>ve!ym!i/ 43WX?{'TsHVZ2Nah=>GQNIƇj,=4ΖO9݃O:˷kf0sdSE]exW%l0^"ðvvx|p%vВZvY!.<-=6\[ v\oc_щлOv>vՋ ףlRe}(\ʼnC0p J0.C|Wv+SoX+g E{D\d6啦ŏwY،0g7 +~͘aHk3eӺ+p}>UNxI4$φx!ssf|'}ֶS&[,|Pm5w>'@o`1*X|xI<ԏiU@ʪ,cɽs~,ޙW1+˫>MPΗ! _[Υ#u'v0A'sz{ʉs%SuTC<"*K1{!Bcf3Q`^%3%<Ƈyzf e./|Xs Vqeƒ'‹5gt:We ңCkb{{{V6\|q'H~.Yln$z?> .Z3޳Te,`t43 3}], i%wTo F\;ϧ!6]|unyc.d*R8?nPH V<~Ybq+Ȫ4glE"4EPwQ2xLjAR| e-J`oSM_e[lbb80;J:3y>b`eIe)y K2KW[ɖ&U[  mO^R bsM=q-i??҂*6bbk7ސMGgb:WHoC ڸhIu~(! %<0qJ%TiꍴpIO:NKg;6w:CH;wn_K5SQfgR/2G,Pm=Cy;! M}i HieRX[`?۽9̊ Y:v,Y\ }ȱeýU6[!+ 71 -,LhdEk:v^/ t(CU3$9ܸT'v?@:GYPD,ev$SL< )&b#ҡ8}Qb<ϒCy:vGۆE FL0;F\^J圧3OY|HMljTT1ͅ&'|SzehM+Ձ SSc> dWkLM^]iH#>+ۇR1-zϼE}r3ŕK{|NԃYUT4@B6f2ܪˡ#3mO =-u&}hj!48lH|( ݾ.io_G;fR㢿nQhv| )1lúe-`X)w)u!͈ _^WyT(cO.ߜ ~k7Y@C *Z3ۄ2{ߦO ԱgYZ  < s:+= HaskellHaskell.HaskellIsabelle/Byte_Message.hs7zXZִF! D]=@njAM k2 m a" Xg/A)RmbւivQ"W) iOOx%8 tOERߓ4\/]|ʐ/\T-Rs`!C/QqDa`Mp[A).q`mQճ4jN*nh_a҈rY&NUR+'TT}[PЖUf-̽I[`^mb ʫ.Wc`Xnb=񮃄ړ?ֻ1,xn x)PIADs"JrV[_Kvg:Cub{78~)zt?kVs(H!S#x;*s?ޏ͂P$NXdo—3EJ,8kZGR&'oMҹOOom/aƐj`]"Yuq#j@h Aj1Wzۗ4rB`5!كT;.酱bW*z791%21 =*!H v:nlIJ c Q8.} ]BWPY1:eG5Ж4ăT+00^;Pl 4"g /SHq{V[GZ&c o}`hw֪p 1}$|p$WuO#Q.^UZ`BG¹>%-"3Cq.#vӏ4.rt53+}L@g,XaEEx/`]#;XB٦!A)'E߸K݆?6ͫ]x~'3`/뢀Pxm z[FL_JT 0͐D|]̘z߯) x:֝}k9θ4\W h~UUI 0ŀ8~-1R=Dg chT]qzGcŒf4FẉhthPfQRUZ{$ͬd3NDwA8 zD򠠮6#xF<@E߀#4KVtƻzR_頭rO2NUA.«LMՁ69YEϦK/a׳R}"٥|"tP U1h`ſ9Igp!dnSq*dv"*ߗoPΒ\, r)Ledޥf4^ű]O*b娵$PP<,f6䌄 Y;q•6+_=Ki VC^ `)|k|{K4zK j Tn#-fKI^44:8"2qd %_ϱgYZ.+- HaskellHaskell.HaskellIsabelle/UUID.hs7zXZִF! ]=@njAM k2 m a" Xg/A)us<*鿸[9nvs!:}t`ro|r:qP?MXQ_Y1[:_rGJg85VR˺F~ JnzA՘#Ϣ"i⺉yDS0 ÎoMz~8H}^vMz׵,YbҺ831,PBJQ# L}E`;"+~Q z*ONA6K_돺~;0ϳr{{I^8Jsj &Vw)QI@DZ1Xfc)!N[ϝ1?47^uL A/֊͋R@\LXw+1GiG-{"O"-*Tk`gYZ+C DHaskellHaskell.HaskellIsabelle/Term_XML/Decode.hs7zXZִF! "]=@njAM k2 m a" Xg/A)OtFO T|5˴lM et rnN8dBLThkuRa-Qr/gmO j-? #2و,+YbNђp{z\Y-u w|C*a]t]Y4R1ƾUlhq:1@LDH=z#E^7$UKpv[ v2t7ok4t;5Ϥ[J5Zp,p(\t \!Se u%ڗ  IDKL)_p46WEz}`0nD} ~"-gY |eJP$P|%A ZLI~ /﫨PWI: .x {ʹ^ f4(Qq_ivゃ迥'G:LÒ9?DTۙW,M /MZsD~$zXV&egYZA+C HaskellHaskell.HaskellIsabelle/Term_XML/Encode.hs7zXZִF! 1F]=@njAM k2 m a" Xg/A)OtFO}"2T4C ЧѶBGQ૙K.!ˁ(GNéyʹQ-Z{p[(-Oۗ X&yETdtNy*1]?5AŚoOK&= !Iu(rD=¶tq&r3Ci.m/W4\6w0}>GBX&~ocQ}U<) ] P<1=X91>F F7O8RA^d!m θ2G~ NcW}8ˤ(7XD֌WER&DOϋ+s7\YC@O)i5$T=%b1?L8=v@n"!F3_HAXno8[+mC\g e@gg_eޘuC{b)B-%Za NC>c2˞ x%Ы(ڠL [n͔fij )TMaC(ch% P Q;+\^LJՄ@ӭ )HTSG3$bC+2=D$i ~K'km޺VFDg!T8^]9~<Nvt]n=!qP KbaRK c`eÉB%uMc 0 6t]*!8p}=}O o=:xgLrAe*V-4 cdI \oDIiOEXE6绸E΍D{1 e aI>waE'SbjnS'8P rp֣κ-m~?5\v"|D4\H#,f6{Zv;T6Ǽ}YvA2w-XeiWbM@0c|wW@yS98Fu^5]ڂmH|1ZӏY*?Џ`D{ݪ.tEXCu v;5Q4.n(EG50',òjxe(CI.I %mGF*g $)Df謕'ñgYZ+C THaskellHaskell.HaskellIsabelle/Isabelle_Thread.hs7zXZִF! !]=@njAM k2 m a" Xg/A* @t|'SAPmŪZ&3?$f7YabkHyݞ_sL{KVٙLClyp,eU;-FPO:6o iXݝO=?Ӑ}c%z&o%E{ [ E)b0U8FvޔB O.3ǭ:FT7]@eX؃|uHH82쐲mudfzl`_MJp_g{LjWkJ0^#9)ߘgzϫIwǁ']~(OqD[XuZ\OZoz8g(#8oкזmU":<0>*  E~ak។Dl g>)vl j gOvKK$93m>#d9ֻ3q OgGBِݐ{7-s4PMtN:0++ahgEMeKr} "aq&׭"I%Xc !Z,p.urJ FiH4(=4ͪ9  7ǥ'GWڣ{θy TW=he!3ۿ~ñ8VfڢkvcSwOW\1̕ 琞$Vqfkؗh~cpe Z-FsP񽊍'ӘU 6- ˔Cǿw`g-.h8!_*yk:ݒNNF**:-IB &tɗۀ[69nJp*<g-~ #-ogYZ ё +#QvJk) r%ֹa{x/Z) f92a!%(P϶5Z ukonL[XwKHF CiIG5\z\?S;&kD =&oR Qt.UOt<[i,2٤&X5;=zwEʌW7d5&#ZŽ?EKhJ,rsu̚:R9QTRfn3,~E_({~R /9Gm*W{Ȇ C0$̮$jM).mY&6n3ŀrO F.J.!q꾣 N 4=m4k:پp(CI!>wv)rSv IFNyɤNgXotB-h 2Wk8S;{ ȲAV.TE%mg|XS+=RJ[rb@Y#jetm7n‡]'Wd6Jz!JTt ;tI ,t B dRxg'('I䙠7HxBVyv7$U6cz4DY ΀]׮{+M?o tF[L *M~MP0Y(21.9~ hB#|MԝIUfkGFaP|w T}|Aq֘x ̬s{-kl t9ó:6W5.uG28f ͧW[{@<)(Izω*ПW@xBfibVKϱ>oi5^?Lh%7oA*! _{֕e\ۻoHRWn T`5iv\eyǖN9(/ c!%s.4K?ޝqc\nd]C4BpF%b)jGU.R&15N\IaNFkm)6>_r/ژRkؕMV^:L‡.L`W9зr턟/Q#] dyKm:vk{/i`&J;yi-Њ GۈE-w %޼]$S_WQ`r? xU#F)ԇtvPQ]z]rЉ+aS&e:QO?'!'%MלfS;2[9K /Co.3FMoi#|hӶQs(~*#ϰF/*ce3!:$iinVycQVTŢ`=XGp0KY:SlDϔT^$(Ktu(2.Ci f:8pK/R^.qO1ۖNMBFd`D8sy'0uЩhF)I7FM&QwƁWO9eiFpd8>Y$ {*BHDA *&ȡ,l_ܓ#] 1LAL :G,f05#kg  O N;9U tiؖȻһu ЉG+~>Q3d Ky * p C;JFZsfNM-f;O/IUc */ 2%עk%M'$ķ8&h`ekPad uŷ%_$w܎vquY|P~RXCBV-& BҺrH6Q!pNZd,ZPY^mR4r6hm?>hRe#k4\'?*= f9RUb;KZCuݴAe& -X T@ bi]= c!c|i"MltneĂJ=,$E8[jɡ||C0(, Xz4w,y: aө~a$cC=`GLX 6:n)u}V-f(/,~14)eC$Ğ 9fC5 &w[[ly"xQ<DgjOa:Ӗ{9~sc#K}&&!* ,Vyj8P>=_0+>!`!A|Z MY#rbe}0>)g 4_Ov){ ВʽRXrOj>Oꩱ;\( glzB]N 5%ܺ:omu tMa΃{ ::΋V,iDNS?ywAH-s *?ԯUļ9Yz{aZ7h/H >E6e3û JJʮɧD,%p+-dvgS.$jduKw1nHegmTVbd==>wB. ֜?>[gN uet3;j4 GX{l@='>b'uЬ[F`)McmT:? pæ4b^ZC3 tF9y7YR[^v3)7Io\ČH}#uhr.EiNv4ɯy4F\NJa2. q8Wy) eVmkD4FCfog ZB POˈ-tE뎫>YvD18aΗX Eʋ+UZ"G)uӶX$ϡC;CwUm|$Q{ S `(unB COcN%$nh!N:Ĥ.:!yC ?#B_Po u{fH$J52ۖ{'ȝs2DԽLPNF*[̧JL?d:m+7/$W:B?!N9оܭ#ǔj; nWWRye#AXoyMicUQ>A(t7j rgO! wžXY!iP2B_PvBՖ05gfngg BWJiR"k1NQgl\wBTk B]:zc8vZFq~V@c/QlO$X cJ?dž|)6{0Ual}%B$Q`35pjZٮ2ZhWĬ N߮,Yۼ43^5}1DA>4E#p8p\|/"1*~&fs_zIwYa5ufc Ga$y&yTjlPXHukټ7,"v#nRj3/76i{3fO79d&S,%oF a7W!kv*#1 *X gTI!K09ss7|*-(W/$'yp#/^G-/'U9Xx|}i4{CJk0AuiM,F w%]A ΉJE5<4XҞ3O}Cm`2)Sa=WE7q(^2">|5ChD5&Z<\&_b['vʆXG NYx*&B}T+vd͍GL 6Q0a`XuvtAeÈR3QAe^݌ _:s:wcxWd#ϴ9Ytg% ]\;TNxM&e_FD$zb%P SxE4F#e6:k$}$l%R ;ߚO Ff{It8<Գ$K*l:(4tݮ625K )5H0m)žlŇ#__6֫zJJvtFHzmr8*P?pty.+?P g9QdUŏsӘH)"X$1L߈sύJOI'[J>Mm"q9kĭв1҂'cPqT 8 3{m!ELa^iXnՙQ+z `22^Sw;a5=%gD4b )fNh0篡䢥/l^wbrdXZKfhND5GvÖHHY`KE5rh.\[HՔӛxͥb0(dP%V pϾ鍹Qa%HB艽J2- t#s$\*[K+{B,Te `x߃m &N  ~7^NXo(z9k3~npuđ{<CY2FH!@&QicuDMe)SJZqq R7:ta ]}s҆w[>Xd9:Bv(SƒXt{Ud0`S=pP3wq&0v [Kb9)L+ 9d65fWc+$ 2o wW/ZBȃ J=76~읯}E`#FQf;o:~I|deHG*^/OszV YE۹MKPwBϼiN洳D/[&HHiԇKL x νKJyv&K.UJ\# wZ|O#(W>>D<I̐[w)Sݙ:R;7Ys 붣Xׯ- ө@i9aA SӀC cާ4Bp1 2u7ڪuI *ോ SLYaM\/C1ʝ&rf!DoQ1icPM KN<3( YMGXiןNR>UXF5ldL&\xEl0/[+,uzhE:qm =$ssW;ؒTzR37;~)o2C%kY ;-U)x՝VcT3Xu[k탭n?4#1E)jpІM?7-PC]VyG)2h2H~69~e#a'“Μ4w}TV"|V~7`d.b%!Ei_blt='|'7~kH2!˖e;)r7ͬ%+d<ҮX PX|̩勴%hԜG{'dOJƧ(|tCqa۪o !/YmUwEU/1 r !*;/g. #aǁ3- /+ n=(F4+:ipxVSw  RHߴvCAmz1S#r%6ݔ2feN1E!d&ª*;- Q fq~o+::Jq( 1!b􊔳VFFck-gODu;qR~Q/-"ozH (ɲi?C E(%Q7r&=B^oYdž|BOb}9%EL^۶ 2R'l{&,隅%zsVy;&?fK8(9gy6BBTQ,$6ɮ#Zt(]@ H>6&%+]K_o @l=)K5wjɇ56F;y.LJ $ uyad%?6g?UB~)lGd d<:ߐ׏;?383K'UI\lȲGԒj;_.E3{ҘH=m&[!"lC[[T ɤ = aƈ) xYf\F 34$휬&P[QG\VLĩ#LQcdSz[#u3pI_ow@ޓUZR}K{J)@+7Ibׅ=e*c'OLW1H:!5TP)YMh 6)pwm]ʋTtGXFr"O]8}n\,+I/xPBm\ө&:|]ƁQd Y+bh.릕N_7\=ȨsԳQک63 -#<bXf-tfzIlQFJ\vEaĠE-PĩUuvg8^ɪf7,,{̙@|s¸4upN UqPW'%kg6 rӰ>)<~c׼X`6s.B \Ss:n()Nj[[E'z!m?+-RdO)^ӗEoy"zIc uS34t`3<0RḰʇ0/ܥ=o%H B* ӡ:,hbC`k^k8h#~JjvJ:<;GQeXinS'FDjPZ?dQR{& וQm>MⱽJ-2"UL(5&m;vMB8a$hkY _8CmN$Ltp]hir3@&T62ly*X+3@Rȝ4s6د@uW,E=zX#Bq"@Q3PEnzNGc ːk_c'ejw m],ڽѧl 'tSt/eVsviVH_2c V4{ko.F Nqֲ!`|̫e#H{!*䉩 /`ԡcPm߯*ywl`ۯs}瓏{2q6?WH@20 r8jWl1^@XԠnB8F&|mڛ_eH1~b{s詓OR,f&n|F?HMیv3ZZ|kqSeQt nu1"aށ`^',:=',%rn$I3߿ 1;Ͻ=)I b6^.jѬ%&V&SlPd^h~wv-Ldw= 03Ҝ3Lqn&G݅^Xdq$x!Oӊڑh׹>K)Zɭ`YT/[ژ]Wړ>ֱipZp~(:ε~io3ωVEVu4ǩ"HoƱ67#-Mc4jyԕ R\r`% Npi 6hEԄF;)+E&UKڛ%67IʿtoGv-zEoᾷ=G Mͦ ̝{V< "9ﶖL&^GWió=Yn;># ͯ]3v@5NcerЦ$»3=G+@PF-Û غjtWm^e[1{$3qZ1ۀ€XSZ'=~@ )K }Wߤ7NNǥ]EĿV|`[O* jxiyl, X # LcUjQWUϐ/⓯y^n<.%?m14D]]- XAjSB ]$rse4|9K0a-EЊ.c۾2ߞH~̓feg=ޠLbw1Jʠ*tP&؎H(fX5t .SgzJ6wzE +ʤOl67'Vu{ٞT>4{Q20n`4Nߑuv1Ǩ+"8V1"hK:d/c߸o;~bj"#AESRߥXa@*I]IY` hD7йS(^ւ2ʇPE[4E:ht[ѾKc4M7j:[Ipc!IOYD|+^hzy0'&mؠ@۴;wO7BGd7LvtT EvlMgl׼CkA 9vӡv6  6LX+''6,sR9|>D "w'TV.9{Vqf2܅ !DT(.F&bw92tC-n0?P"fʱ羝x`L)x2k#(aN}' t}dC "HX=!2n}چ(#Xdo|7Nϑ~C?EJOI[ #3pGȎɃ/ ȯZ4ϛ)"|fvSQL~&48"|DjgڋkdyR9đH9O=MGB4\k5̉'3kb"ba%'ہ'AR$k_ȤeĿjH@O_8z)R=N[-< 8nG,?1jcaɕhS")7֜y!mMqpZa[&pm>M9p#x%ɍ\mӜpO0wfG0-8g1_ёnOzpѹԵ"j &~X9W(Bg8KֈS>vJE6ϰ|H(AI]Q@Z-vX AFh{Ddwe7@Ɂqlc;^/|=u^7M> ,-&8)=+n-_j5b" 3OJU5orUbO bvGNӷ\ :; #DOH"f7JJ}h3Kvj5Y,ں~wLs$*")!-đ ١3I}lZJI?2 q꽔8&^^z b2bԉ ' 6Ty,ףC/r^_ B8N VOgjfFƉ7ĉaW=Kcpc̆nevy'\^\ݸ75K- 3YNvo[p<6|z?=):x ihSTc|od~i*Upm"8.Ugsڛ_Pqg9YP|+Whb2a  Dy/lxrȋPi 2Y9g*&aZ.a| RG@e }3zC`M]gGV6o;3ԃf%JZR}vw8=vP˖L-|rDҌ?9FG= BQW]Y!)ѵGFpG?:@E!i/ھ5W󵷚?"j"DH$@Ku]Vr,ä*7٫;[j7.索w}qM*c8|W߮*D(ѣ=Ę[KG`\Dctv]N0*?;r$yXg.0*s=r&@JhHkF@hHIrMs!W%?;Xs 5z3sxchB~f,MXуo93.M)};n =w q}|87Yj߱oP9 .K1,G~zA71ٟ,7c{Wo ֋^/0=QF(է+&$FB{U_SnHVvgo]{uIUF^:dP7檢:IN@VRNZ^eT}aOtl25Wⷋ||]?LjG\;< Ƣpi~XY1MH{ t|0'mKߋV皟P>yN "4 <(\Vkf/ߔg.=쫤8j)d]A ɴt3ww R+bA-vpC޿7~ jGpB}x!Ҥ ɔ$dd|2[cɣ"h>zQR$-M,l87S-o݂Ƥ@+dAc% i\q I?X`(>^ڴHU۱+W,܏fR*Gg=͌6hqdVKcNTqJ[W p;vx ya!}_~wI25ZQPK>"+O7E~)H3ٛvz-rfXr98PPPK% b VFZ&?x/ $R{jJƠ DR>gYZ  3%% $HaskellHaskell.Testdocument.tex7zXZִF! LI]A-MՋhvG"uIBm5k aI3tA?k"W;F~ꮕrq?! =]e |NFfl<Oh'I`}.jD 6>ax6\cR KL4FcZ~($E[{tC2|GHPk=W`hz$lC9ńZm]D=(|watwNōlIpw&l }֪-ib0h8fGO.꜔DPPH_j{N-5i yc" *1]`T\#2)z.nr];9ӆo9d TV7!6{5fb$ |oct Y.W$C (Ncŧ06hqDuo-.=<ۈhK!t#NyB=2z]רRM*2أ?F"5Ψ'g&j5hHv,"hs:75tEb?ˁۋF! Ƿ&  c$NM&''P܏>}tQ4bOW&mCѨqg1{|d"5=_[6 yJo9.?vN1!(^V1#β"@\Kq;z<3"Q6wV s=ϺʩSpibV#t}Z T x+#]b'Z@?1 gYZO +% THaskellHaskell.Haskelldocument.tex7zXZִF! D]A-MՋhvG"uIBm5Å/n9޾UZ@#S`%V*sǖyC|UFm5 <>"?~oPumTkLwgs%vi{$ !{V3gD 1'G) AE xau=OO1%.iRf?Rq9o;-q@SidoQH@y';zjѱm^KmD yiq5D{:eÉN&G+=ςE9i5CH1 rFrS}bR@C=^3aHIA!Iv4!fu[dZq.W9v-lLj×kF=oTQ%fwfp[%fw.M )w$u{tߖ1]?LvHX`ʲ; ߊ. éVt]__mzlg?Sɻ|7E ]3M1o wѓ@1"3רg.aJB0T-D('@!{rZK {k(=)֌Ԣ|+ =dQlG9oa)(,ZHEyԎ1?J0M7sz>?1O+U7v@FU]K6BHm|UvxZW^zA; OQXMO5<졽V\z.Iv!1lS :q-Wq'itnbʯ$B.,Qpz NZB/'!nM`S{ERe5tww*yU?5{"zw0b"ٕ7Z7 1ceRXnNࣅcJ .s*!wqXd <+SH%Q,exq2KM˺2X&:*+FvMTB&@hفU!`0-Y:n76bƳsPP,0G8_jEZ `L 4=[IʝH3Ui6({٦1An?9h ڤx-%GW̥Y3ϹzP/j