SQLite format 3@ .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  ,pL$\ ]] Haskell:threads=4elapsed=6.176cpu=0.200gc=0.0007zXZִF! fb]ŗXiɟ fd(LPW\ Q~D Hk:R73EagϨ?2A:b yVщ *=F|2:M.=(EiaYJR׀VggYZ7zXZִF! ((]ŗXi%TYԘ˦#:(}@^/ɕvBo H6oS_]K ztjQ!.PR4A7H~W|M0tw2.5$"m=]&4z[ `(M`zuh?zVR~{_vh2ˎ>uonb(GN|_8ٿ)?]4'VBd<J!KMFƆvQ—gwʚ+s(5X|r {bO{2p}-F~1b*ʤcMqJ\IRO@;t'Øglĩ ;9#$|: Cg0I}n˃pG7\fxK)Tz$ 7 E}| ^M:~j^ø vDhOҰς/GFU1p~4A͍ #RfK ǩW~6V7cV3C4vV2P*,ۦ(QxuP=˳CILrmX-4aKILEY;j+ĺDARnȦ5:*3Bz_8PS|#C#i&*gvO7’ZiCJlO2G\^Nxw+_֣t3x.pË/ HJ Y dE3exX\n;{8##)JJ 1>}ʄAYyNZ^HQFJd)t?ΥQwgYZe0d7d5550e50f61d37a7cc24f62e4f9086d820f9a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b   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{̯c4<CċK)1_s2:PzVgB:Y# ؤ\ʼn]L1Bhdtd ZG&kN,̞ƳxIm@2yaL1`c.fUFǰ?(,YS=gl3F), Cq"&zTP;& _TNN/Q{T ($$?J+bש dA*泯x+{g9{v>jrp$]2SUT5D4i^<7@)Z'Ojr$j8/$ZtDWff˘23E="QܑaaՕIT*HPb 9!1c1zW)⌢=BuiR,P.6ڥWi=i(*Y7v/V/2}z뗸Ky_k';vRkݘ{">~;JaǞ$]BoUnY)neh= -s;7u[!H) nySDmEex!r f^릝L*r/z k**O~%G&iw@7꼯n:X \rӵ&yոզr(O&p&p|- g??Uլ25[N~|#v)hqť?n`W#ρ @o0z0jv_I2ӟ损`K*Jo<5A%b()7w&ACCO*Wm0 4_]#sާ`L˳"zQ,lq6[Ub'v(Q%V·Mm&XA4жwYC<<#=Ku@Pd$?s^c1J".7uH\ tJ.2MooQ0%TܞngItR#_B> (|4wOҏ`@쟧Q wneP&Ÿ|ktt\mI&<6"X z^z8SzdX39[B{;3DA_ą:+M}jӤɟ=},ƧVP>yk)C\,YVϼy0 a@XJncYYt+f!-y#hSp)ÌDQ]0p,uoCL۵ZH&!8)W3”m'o0o$K Ljtt<7d^vI=9 / zMZW,8@FO'D8RP׀ %'z *:s_Wu?;CV&#fB-gyܠrti2@PD0cCZ7ke4ܐY\=yaw6iCvlx٦&L O'1²QTYPD;L#ͲᏑvd!+zfw<كM-5$`gpbש#tocqD|:8 ۝@=`*/ECM )_#-|DP/q KeccW S>t4>Dߌ뜘WU`!G(k *cax(1LnvE]Hv_4"anLm}mh <]\".H<+1b:= HK%4ہZ$p[{%CX'cߕЎ%H̿=lB+iK?Z0KKkvv$4d'@FX+ĊXK_wQhwE_CncRDH< ! 6\rAĵA)}b{^Ub9jNtX+Ĵddej-]y,MV| h]0.(Iq)0i zba'k 5M5DZg.n<{08P4a;PȾngiZ$EE[.5Ԧn^EQ_̎7;`^SqV[#|Ũ58f95rc5X!*Olh\LNj1WlɌ݉̇O FLx Ǎ_U>Y;N آP7T#3ѽSh#dnAAR )산GӯPVeXޭ^TWOV{e!9 kʴ'>$=KۛbbT@ 3w=A1\ I ;>y243h|46ʨXL^!0.[y'XPD*y_V]: 8e 7EM;l-ב$p!vNʂ&uȀ`8VTyl_E12=5jh+K$) ɾwS174xB簯vԞJ{Ot2wE 0ܥώZߓ֬Gv+{fIItN[E3!`}kU NAt1Otc L,3|ɘo){+~vJ*CTM!"+ U5^3#Kd1v cwpkҎhY[@AZ(]TAlrSWL]}uƹf+C1~/[ᑅkL[4$NL=M܁ uImCWBӕ 怮lf#CHqMH|81I6I[DP,E( &+X66s DH8˒GM9:Մ: (|)c]A'  9;no&qqX=D"++ItGMܽ ܠw?̤&ںMT4UbzMex?<]ZrȐ3VX|r:S5/9_?an& uF02p eIGD́^dekg0!\z[L$7uA!Q˦/; 1Ǔ]QuϋД0oU@ŭ]Jx>{|~igӭEґ%yorsI,,JZCbۮ(toΩhح4+n-1̑P+Zh] 9zϞYsE!M[x9 Ooi7!xC)쁃5_3<-`41<n}*yDS)3PPbf9-~]Oa]/ RnEi^W I2f/}TMt1{et3~cf)򐍼H=竂m&u`GdaJ=HyYpYaV+"r{'ay{V=\K:GVxbP[ ˜s(&#(_;>v"XR^hI/%ͮ}F F.0RY-Ms !Yu"Q pmW\eKHclR˷gn@ƶr92/Ѭ7xSw N m<'OD<.PR0WiBeFfCF|3y~{QEU|,.z1'xڣ"'Tp\tm<0mLPٽ4o-gW@u;GUWK!K_6 JFZ3]/K8*A:5 YV-q`rqo` ut4DbvjexY}}\d+ol(%aYQ5%DbcPZI ]dSBdC38BZ\E8 /#wRC|pJ d&f&#->s htFI"IN j 5 c_Lݍ_][cr<9 g>Đucݰ⟧QK%G$XlCZ/Fܘ ^|*ܽIJM].tTsdAV(0Fš|lm MwMkFT%Z@x׋*ߴV|yPwȴBу.ubYoSjƁpѱuUxm% ͵kDb(z ,88h#'"+0!^vr>h2rIYH镐N9Ks1qY*6T¹Xȅ}Ycoض?%;3JIjKJ>Y<,a??km ."bywd)'}d". "L{xjjn!g!%vZϷg~Xr5Ib˯#e[`eZJds(.,:u g.ᯌ铸^jM.\9(OSs ;}h#A ?Zcg"sͫq_A6[,ҰE9.DJ,/'H;ʧܤcAqZTPy$:i~Q|h[9/l3H9xtmA7,zcPWiroSK=_aUc?3zv50s&C<ဥD~ð @T."Dt˱*߷g#x8=;bH Z ֽxJKŭ$i}x@ٮuږ'^@GG=|\"u!fyӽJQiUv)Ri"@7Ds@g5] io|( T͍{"Y2Gg.ؕsv4 O)G AeCg' 96.g>&|s['SDz"^n .kU;c^UTF/\G~ݔn<MqMZţڎ}Ⅵh'p!q_1^iA`Sꛝ>MnZE#+.ĦK` ͓:_^-hgi߹1tl$UޅҐp9VH9՚n?ad7c!;g 1ʒߤ1|rb"gJ,gN:Rt0~zL",WMr5! @kRtc7n)=3vdsv9ʁJHo:B^p@eSq5s!PCXVb 1_ϰjwP J 6:4( PaBW`$3=DN!Up?V WĩkV\2h?+ PlDǖt^0%MRY*Im۪IgQ٢0<Xͅ2}xKͩI8;*Wd#bt/]yBG ;j.]sZ 68W[Mv#?XHRBвU*GDxT}1tD3FYT:rpt9ZV᰺qp}K v^d}:[Z\$-UP RΊ2,%Nl ųxRYGD6!ʜv&rq,F2tp@, nR t#(d%2纮-"ْ ߫$1(z~%bn,~>AGU]+@]g6ZM=qUO:̄bi +QqZD{@\5sR 9GY/2D ~-~ !{Y$T@RNu0ڴ;m]8hYdu6 JW7N(W%(f_xuim̤AѴѝAb;޸{tx wJw 6lgc>rh-˥j'RABB35!j܇s ,] Gm_s |zh% =1P@YX҅㥢 SINf0q BB!46^۲|ۥ-1sP 8y` /|IL{W'F@[$1xdPG[k+Mvlnrm&; E~ΑԠKc% BM`(w)mqESE}L=^AE LCX#Y;pʣkapB\5hJ)%% F&$+.wZ\P$$ߚLG:M/tz_U5(X!'!J?,hD ԬȤ~ 2V۶I_a컲$MϮ [K8ǟ^ ,EUoC-MvPd{Seoœ6flL%;&zոh_!C^gzic]2cN3lh`N zH/ns@JbV9*b#v^PՏ8۫4.д+E9\ŰnIZfwUJbI|vԹhVA^SoJ%%K.{-'0ES^ saFb¢/('TbfUM#a25̰NB8_)e%r}y#m ɨgJjgZS=FZ"nO0" P'T`ME*gb=lZن`HpJ3ABTLh wK4*:ԡs,!P9 K=[[なGov ?0<˶`Qt^^w[+Ӷ&g‹**fR<&n?0HЬu@c i.bw+LtWy.Y[^%$y-s&(ϔDO9Q§w_SWdDF(EE哋ɻb=K޻$Mf"@)Im$~7ХMJ<̜`#IF[žwn-DHBXb~ dU+O| uܑyePs[3?Ț1w yL>\/Q[ֆ>"Ii65V7ǯ꾘;kb>4$n.}3Y`+ר[KfzH\ KiIb.,y 4}0Q>VV!E`Vq%cCY^ 꿸~-zڑZ[T4(D47@R_hKDNEyw_Xdǿ $&L[S>Y8^z6i'-  $JR^t9uZk0<o%!<[jؤϑ+j8Y;xº: rIbR"" P[v 3AdxYv 4dnb!` df$j!x3iS F|~d0z]N#-(QO?QAhSv_75A#G;%RC= zKrbJܞiV6d5)4a~G-m-/7`v Ib,`s(2#º8D&a[AƅڲB_F]\u`A/hqT,˘}׎uZZbM|idUKpΐ:sUkH# [OQ8:Ds^Ҩ %,$9Nv ^GUN-| gqIMO;=aLc7~.I_(]k5&b¹ed'Vt7/^ Qǁ֙l "O r`QOdxƼ;a׃m #w. );=/,m~ _fFbbB~bWBl*S&puRrxGr u/Bba߂˹pM[v"t4н-ӕ7q1j.hѬh\ac%="3 v3 YZFugjkuM7.Kɛǁ'U,Wd-W(khGߑ 4m-NPqǮtCWrD"/k?w'o`#.h͹@MY YYL` } H=м_7ǙSCutZ+U1-z{s5^1Xr-dI.aIPo;+*5\@3q+J:1Hn~݀[K`gL Qd A"Ӵ<O9蚢Ab( {*)_N^J2b Mؒ2 (X>!53SPs A!A`GKepyQ?8C5jG}?'&cJNy,h/~HFI"l\]kl;{M7/\3II\2(R@2Q2RއxKO\B=HMo #E~,<6Hljgޓ;SwR f ]MYkYVw7']l}ƍ[]7핹 D54CK:>7ixP|}(\@?mx~,D@BI50I vqo:?Sx3KZcExk93I@e_?]Uy|gNV쵻=wmqcHErCjKJYL~臅@ jB <_jy䶣wT?` E6E(a] O#O1ҧ\0\z,v9<}=%TyߕSzOF)7"jnLo@ f;Zf* ɞVd3bRE ]fUl ۏp>:VDZ꣕[M@B^A[|4FaD")[:W¸D?oJFԯ#@q+L'EYC^n.yf T(GR\S`- PF.8H 'зʎ𮂥z}6,3Va{7Åc(#JLWCsZ )wZ7ڿ7 ǤĤ,r@I_f B\KOX,:/˰.w % wibc-Hj^0߭/6iKWf}褰$fJ>Vyy J+,{ S^KכFfȩ15c6[m'8b' EFFx>$kPI6I2J{o-]Bzeͅ06wXsLE޻[j2g3şMdeK]v)uI)l$3 V>1TDx 3q@Z0+}&Y6OHwc`qZ2Da[Kj'\@ rF{\ nw_$Ix1XM9Xhy -; MQlz֕Dj,IAVev# =_YE9DW\h-R>j FB0M474r{H`CF2jz陛ꈷ#Cv_w\2.skhEFL/=(. 7i*3ns,VA"ͶbV;;:G"x:Ugo7ڥLk(QO j!gYZ G+!LHaskellHaskell.HaskellPIDE/files~~/src/Tools/Haskell/Haskell.thy.+-HaskellHaskell.HaskellPIDE/document_id8T%/ \HaskellHaskell.Testdocument/Test.tex7zXZִF! f]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ōlIp@߄#vޱ#ζ&aЯKHPpI;Qиz,u.>ɏQ}¼Hm/:[4IB bﶍGɺ!87>q㣣h@i-G}m6KE@\CH8Ym3&m#Mf] g0]} sOcUӔASV \r_¹26v:}[9 VK!nY#G& oFi5A yVI~$6`kjUTNDF_6/QU4L+lzL'8i+<[!0V$9(Uq=Mrs0H•|ByGc|eàWRdk 7sq ;-4$&uH!L-JUc}0p rJfCmܚ6:p))JmeČz:0NUYp1o,3Z*չ uټrzi#]ݳ_Ls/fz::CM|d~W6d( nVQ]l":y(hO\`3pK)k0=V[>X!!gYZ +5 DHaskellHaskell.Haskelldocument/Haskell.tex7zXZִF! 3G]A-MՋhvG"uIBm5Å/n9޾UZ@#S`%V*sǖyC|UFm5 <>"?~oPumTkLwgs%vi{$ !{V3gD 1'G) AE xau=OO1&6YØk/aqahI c.f6XeC͓^Q,퇁KG W8 +!טQT1zD~Kj_JmZ {<)F8 Z)9j%Q;\rb~]%75"WiQ M "OEif_d D .l HRP.”,͕qdqQjjM^*U bt1Ƹ=I8Z'I 5770–0B"59~BRuL>Ci >[D&;V:}k6K)m>Gw}Kk%a+OVz  o8܂zSf&N4ӄӫ4f0~];x:6#ԙiEx+5ߛ6ЧDAqj#ޢa41\%λD& :PDBCOS0R=7=c=Ġkw$>ơ(Irf[d2RKIJPNJa/h_fś$wO wd;Twxsg{bȮ'];cL@i31}kv:yGw.&ӷa{|Il=~J<7sC7_I79^G^0.i" ><ȣ(S+`K)~j3킲PpOdYE^IDlaxkz.jOO$XKV'F]_mFpB>&[ mR&,qö:qɬjն %C׋6%8XBUqBWSfZ aGc[F֧fduvTeބKS,`EE;# !ḔZV!?KVLT0e[]H\
=5U @^{MzRKXR.|qjQ/@ 6."4 ^źӥ7YV[.k3EvsV:*Muj3s!: zsP-\ckCg-#4Ls/mR}b*90)JJk7ܽ,Ebr@6j,j `cJZ[a54 p{A٢ZAt j_^\DB }} uK-Q"PwTBwXH2|%my}GQ!l%]m4}4m?FC0+sa6so0?ar{Is|O*sRTY GO b߳/Qd& ~GmY)d5.(ǟ]`sZ>qNa8l1]fR=TJ5R'_IJƮG- r_sG 8&FVG+շȾVnyTudPz`v#n?],%))"m,`#73v&6@eL 5a}m ٸ( Tm&u*Dy}8lW لm||`3hj+o%1N P1[̨ȃ Ne] ^ʕNMT C>Sze ch\F* E}HT~*k6n л3 ^S"iUJxd#@hT>2YlHMJ`wq-q! ]c*#<~E7 t!0*y(aBߊԬSZbZ'qZ9uC$C`@C9M%n޴ smq 8bt!1UM5(A]ʝ>aLw-2Pϟ).͙.o]V{H $FAmJpBɝ__o Lv:d:t,; PIKz}8* {{6p6ЋpslmL'쮆wr^sޕ'')%| 9X-2 rL[-b Esdjѯϋn#`ӯdzp*# O܅$oU\fgN}JKW +c+sj 5 @/܂sPw<nk4Fk}GW%<_Oh foY̤n뙹2jM%|أ>T[BivUW_`9;*Eo!r pCdV@ ߘ=Y/ܡGn-a^8Eʗ6ը]A"PㆴUs!-&ڳe'G o%[,1B*14G7#Qj:U YP梭XeNLRHbΨݺ !`A+ y_,.fy ^ N}tCy| 7M5+V"Zf«Ŵ]_5Vqp%Am1˲9)8sMCb}`3#v_z4,3Y#wNoI‚e|Qݚbz콭"Rh6Ǹ}d؁ *x*;nTTw@سy+{yb ]?4;┤BhUx{Do)rӒ+Bg˄1)?@NbP~7#{ b2Fx=L0ODfcl\#S]]%ATkE milYhzsbp^شcU,|cyg*dK?fz`>.-qfm/!lvYzƧӦz ݈#q@6kU. _aޅ7dNڱjOms#  Icl:o-ge,}/ױsQ7R6vHD|Fx}2I׬Me[I1Nk$%BUJvnpp)&7|YFyQRـ:/Gۥ16 ^x+(,|oKBhDfnb \{:֎;?߿b*܉;y:\&'SKxq@3  ^$37" @\@FGsΉ(kjA8Ýu:~M!_LVF\(3D`&btۨod̵`"Z( ^MQ >.Mf 5MGN m hq!K 4ZrpHDwMϱ Ok__i1p"=,@ߕ5l^,J\rAC-%KQItl"c%;0YDCATuHڅAk7vKygYklT|HY<3Y9dHovBZTQu\W%DqpTe|Q͈`L:De).DNĉme{X]NN&ְ| es NhwȐLesqb$V!0Psf "eu(^3"Pf\9XС5B2flx?٦u(-np!%X<%>g۹A!4t ϶$lυ\ɾlHY63͐N#$$ҲjJ&V5*$vVz$#LHMYqtċ!L/tJ g8<Y+_LelU^+,fgșHs- RdMF{$HﮢV i}Fc)J2#PinfCqr鑦(`ÌISVLf,/d4 0|ajk 6ΐe fVf#]l luV"I'=hO?0~HI&*派!f'v$t9͡*PUo Ѥ60^DuJRu>Pi3S扴օ&05oyob: (G-Y@4osZ{ɋl|j7֨bDvPE)o0)#Jzr;:=H j,S8$" Kmt"k|ڀ"ƋܩbN(Ac۬򾒑KRswBˎMs /CLXؾ:;w($Au۬7ǝn7<zJFb؄x!{~/›5q Ea"k~. شCso΋$P҂4.: OѼ;V\ݝ[[ЄDpx۶Qwf=ߛH߱Qxd@׈^ti(Aף|&>~4{;K%ӝ]0 `H}+,^u73aZ;vq\'סyi)i"xSrbmg(IT:aINDM]}sEv'bB(~n3Р$-o-] yn)}fUSܠoО@x]o-hR;)eq̉s5X7>JRtb4 X/A1JvHb8"}KHs$W6 nY%"v(+;^b.W [%8iZv=uQLrɵV,%֤?Hlୟqڅo2Ey~N|FD$,KWs⠹bWIAkOÙHS{ LًUiHt"9[@kt_bIz{~]7XÈ:Ra'cKwǒ3nP!^}x:S>@~{F_h,Vuw]z!e*Z9Ǿ=4дGh8'WSj!`.+ݛ3*tmYUCJ3qܻ-Fm>۽LIcNB@Oqc{k 7j%CMMpqڎ6670b5mwFV1{!4\c41m|a_'#2z @Vdjšj;BL-U?\dYfV뻖 ςMsMBVLĭƱr6oYxyLR⩎GuMD9J2hz$&LVPɘkpf~`  g#_mF3LkᘱFvfe?K3?IN|iZ!eԜ8?`c[ry5W(9?^Bk2@W (gv;q{21QSӀn \`ZOj/6׻ ]U:";7ȆBFqd}.)nRxw'wiTd }nrv]`iۑ MtRq/kqCHYH2L'tciրJ'Nlr9~q0]PF: ς/PwqV0űV."&Ņ:| 퐽\79i2_JeY|gѠ Je}rpA;Nh vص%=+ڧ8JM`.FI,R(wBF)4Ivbv:#-;S7g⫷xf-(V\܌ >yc~ϝG3%Ѓ>p UP ӷD=W 4M+*&}6/$rc#{ɁLxSu"4-s ߰2>#Rgk9F_~\a-xYCT]#a ջ񮖢ԯ빝c4|";{8 ވr2ˇjǣE{`GyBgu, i$Z,MyI`,i@٭}N!{@H秹K-x*>yH\_GIy``%{*Naͭ U?>GYeUvklbn{K}؝)ymٹ%z?-0>+_3|`+C#h=b.7ڐP8@-΁Fڎ`"#u#haZδMrx)ZW7{3_)(͞.Ij<ks0S2e={LR)ml-H~szObgv:6~|>1xXk)Ŏ'?ˣl˹^xG bBG[e '5Gq]AL@{ʵ%ݰЄ,UN>n2"⌞yP7E@ q ;0iبуaBife|uvK̇MTw@TZyr+W_ʳH/-`Q5NŐMفwEyμܦ$t*}x<O;W{DSGV7tlq|o* {0ooeᱣ[dg182T*[Dm#ן [Uh6;*tx_##Y~uY"+ٌ`.I"ov֨6Y qfMֈ VbKRE29cӳ=S {z% U69KNp=ay1G(=!dmnPXa!wa*uBhhjApfvbd0UH[e mV ŌEu!F\1d3r2%mҔ\j?j/!ˤjm3Ewm%pZ{.-*0g@hgv h׎hB38F,/deREvS yܪ`PW nkW/mgE\?m #/gLL/igWug: j']:nY9b8+NT5+_Xxu70NGԽ[LdmE pV)Jfȋ$4N:i?]bj\t5/Ew}^X.|2'{ r8Ƙ+bk"-훵x)}Qw@8 P?O!&i CܞGX%^W*‰M n&t*Bf,&bYM-WM^OSm/".X@ ٤`X@Q|6@aTe&s>4귷(GWb"ʬJԣDG`vהdH#&Whߝޥ_5[##6$Eω;} xB#`kPM@Pe>^[lcy=(˔C-Hri:ptm 8}i >HKz1kxnfstU:FW^GKKR%ƮDp& ~w1,d0 TlMY J-P=;S3?۹\:.;vkZCو7`mYQD k F/A5Y 5DŲ/q7!5kxCvzGe![NyŌiTQjXj4}P"ܫ(Ic#E#يdPÒsrnL.EzhW!b3EFkҰ?טkEfN5KPij9o\KxuToG~E3L Vy'{׺̈́uٽڷǾI0 NEH\:ԇXs̝ -Kׁìwgkmކa}#Foz,@1X& +/xDlV/po_ $?rzoDҺB{) ?U2Ib#-ON-!?Uo.ޚv79|.z9G$#Ӱ9/! Hn\ qxZTשjkm@kJO0 SQGDekaKpFx+ŖJIeָA@oss |npX/U-߶//VFj2G,!ױhe"E_gVв4]a8DV^vVRؿO0z&Fb7-ߜ`:d@Wťsxշ-zB׃_NR)VM:ufZd$)/?p]& )h){`ivE4}(*bcQGROViM]H3NQ6 )*lNb ξ7Sa;<-+00y>go#*VOdF(I tv7~DZ!G kMpRP)|#=|xL6gJ 3:6hMZl==ʆ&w׬>ES}\Ğb9pk6ަ_/[t y7[٢%v?=T`0 KDR8{Ϧo'uQk.9#m}x'esSp|zB ?ۓ.l'ēM%bz߄`u&GS ] uC;ccm?g o ´YLŗ -=&DYag*Z^]v:qVw{QqbXMg?h{zzU3s=&5XGL9$RK>5>[D9TgZ+&) ?c*N\;P/[?ൄ}/{00ϴ.n [$ꇱ, چ 3~D?Ä@j"nt{(ARq Ӌ}ݡ!h9Vz.X4"m)ݖ1`4";ש&xW4@ U]bM<0寷31=m{9xc({;ʝ"-=V<:Mo4D @ԳR 5Q74O\6̛I:/JNnl'!`V*)JzsMH eg]50>IVWtX@#iső|~X rPZabm[@IKQ8N Cx{.OpS4^Ic_ᤅGꁽ>*e)&߇`, =_UC:g = gWo/ c?-V,JJ.usq(.DDy% {4-n ,KXuP"ة묥2\kPgYZ 7 7N%# \HaskellHaskell.TestPIDE/markup7zXZִF! ;+] !M젗OFN>*>T[^`s(R|b#B%jyU8?I3qɑfbUn}ߡ"?58g ݏ'E_I|.Zd4l1^)Y "6 j;|ݛʊBOϾ X)as\H^J#ibDa-6^wK9Ru%)8D, JiY8V/|u:TFìiE-h. % We%%<"L@B#IIl_9YH,vLn\ިϞQsYn?+C͹$vZ5; @MfQz9d-jq`Ā̹:Z1(Sde>$:yitܺij9N @sư o%Q:},W O~L!pck/7l 9;l) 2[ElO*~ gvR@Yóh 7eez[H_֍igA /YƱ}(3*J>%/-oK [͓f&x"m+3~_W<s{Oa|bc{OK`s1j&E0)LJsvxǴ#j!ʮn8t 4GMH&s{.j̛ z<4Xƾ*9H*(ZdbqL5ELa@?c<7e},*)ݬ J^ݹОty+xAtKSP(8 YwH x}!D蜒J)/𯩛\.#O&{[l筹rB4w*7C>G˞6Lt[% mG-SuqҳR*AAQ46o_-Ƿݻl}`-q{+P҆VN"]f@S&[%#  vMEԱgYZA%!FHaskellHaskell.TestPIDE/files~~/src/Tools/Haskell/Test.thy,%-HaskellHaskell.TestPIDE/document_id103+' HaskellHaskell.HaskellPIDE/messages7zXZִF! H]·Iq n[:|&[zWZb7D5!Z_6"JI `[ SG_9 ! 5QtCTk4Jq(Ro)e;̎o9e Dǘ2b9 L>7Bv'=Npp 5hxn CS@[Q56IXBR0`/f b!XBc8gB b3Dj8A/pn`<63:ݮ4(P7҄Rhtjp.:D^:񮠌EN":7&!cyW qOv 7,Uc)B9\ ʵ}B@}qUۣ#'{5:Hb` XBX7ݾxk~jbX^SUbD.6!mՇ)i4j? 93guBw4!R8 )6'uuqф< cl<]-k$m3'\7`UDd[e|,)\=OCO2PKl)c7ngYZ> +# 4HaskellHaskell.HaskellPIDE/markup7zXZִF! kk5] !M젗OFN>*>T[^` .L|~vSL}Ð(^GC/ѝcsLd{g8PR44)3Y Փ-e'YKhbobGwI2NڠzF/<(pQGWŰ`+IwL9$Z؀ʅwz# >Ր;M1\mLἉa2w!0 F"R=HRO?\x(Q\<_:QʃUE_U]E~jPF]g|\~)?9=)NuC=22w,fx9툀I"ˁ^u$RgV@7ѳ|X 6VIpRWwp" @2WxQ<՜$ @tq 2V\̔/byF#H1؟닯'Vjyaו_OV_uΑI$qgT b j__\uPI7&&gQa:F#OȂW$N?H7}Kc=AGHVx(iW%^!M(NĻM"(_S3~{AI;-5qpm4^`yRq{+4s=&y .΅Su=V 8z4zk݈F+ ؊n9Yz9cc@dFM%ݒ*ת\1 h"m=%Ht2Am<;Cf>G) Ä˲GٿH߷ ,܎~TqG ]CL"Y TЋm %RzbY6PNA@{En0V%k+ߤ~)-!#F s.4D]gf .Ia!v}#Gͫ v?GPW ݋i"K%"+$}Grf@؜ 9}+[UsE=xldU_fZQo%҃&5@NhFU%$ֱD\85X<}A-d6V\4ɞ W.-;|ʄa$e9kP^duQB iI,(mY.2NU'/P@{dLvQ1FG~kKiUDu2r4y^!nUS g/) Q,Q)2h$2j-'^fi_$7s8!Hxk>f o0<7q)i2-`"?CL7e1&(i NYE;nԔW fd^a;vFVJScׄ'UHWOho'5ܨ)Ek&)a|\64MDH=9>rֶ}bEfNeG~zA uѽr#XdEoG4ݑe`r|# }gkm2th