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 OO.rDt ]S HOLCF-ex:threads=4elapsed=6.163cpu=15.556gc=0.4807zXZִF! ]ŗXiɟH)0!h]XLw%|5#1,*t &" `Ny䐗2ū3C%5W1^6[x)u3yB][KlUGϫ?"t^ފ(|lD9B=F3sA됡{e{M}Â慑p+'D;쿛ȯ ("Bed#Zg@[JC"GlHƒKӇ[ aPLYU}h'C47aNM=9A=dͽv~k:}%:$R +Z+ϨApƏ窀0XLF*(Ǐ%ͳRNg>~ōoע>Z@qXF3@>N೭C,}l!^n3moxW'2QO6HKSKB>^D&IMo^P~_VzӱgYZ7zXZִF! &1]ŗXi%D8W8̯= Q\<΅KvlmSLƢr Ta7˷h*dtEዊf9 eʞ]>&$GL0Q%Q͓-u CHϪչO긦pm'7}&uVQ`(3r~okOE3FD=NRL.EoCT=/"Sݓ(;((6rl8=ן#XA^\׿QbF{f- n8bKbrTO;H?F)CE4$>iXGR9F Z 4{[.;{ i$m{R[ęɋn4pVQ+p"yzGX l7vۢ쭫ؼga(o#YTq0F*ܧWP?"tjx_ABkn7idX⣨^6[.~`w{m1Xlc>= oN9EfZ;/0udGzH@_=tW҇+ ӆa65z@V3jV|hzaKl[-nos.C_CuhZ;ڬ r'< ]կՂLs[ռӚ:Y "N\G Kh{tBP9s~" w4-QڱZL]^i߹̟K"Uek|3 vGS[͋;`ac 6{͑i>WNjTI0 qLT[أra>ZιHEN \M ?׻U`)5NzߣN!FgnGqTK~rc..ֱ{7,/ !D%LܧRi\R䦛.ԍ E]8ثG54z&H 123;I ZҴԙox?Uz=&^"!j]&h/Puj?il$39ByPDN7+1 B4C)TC-}y.| [C5FF*Vآu"A3 Uƾ%b{lSU^jk;wig *]\}qrvD=͛!:bC&nw=H+f6Hm~;/츯Tm=j v *UPUAJs';B!M_8@b>M7\fogRkGr48 aD$[YLP`A,W,;(PX&ɍ٠ٛ779aTHōӫPP.jty ךmcq  3$+U{q?+7W<lU8j3no.Y zjfMиu-o<fnyM0O һhxiO]0);` xto J ZZS6- mDP=}$whV5NLt= G|Qb.8}>H-C,ɳ@6`PKϧEn; 0pe4Xh E /5?$a!x.Rj#,Rؿ*mǎH2o >G ^~r!*Ř1mw l#&9N&PmV;(7TC1$Rpk~$P(Һli~r6!O~JU'g]զjC/ՀvЖ9A(ak89feߵ;6!c^GB%THXqG ufjH*F=w4P[|LrE:m<>r[\ʽ":P+q,X;x-l5O]^Jz ϝ e w*˹B!/:$ĦqD,` K9yf\]RV[eN \aEmӸMVmjpl8*?yO[3(C_#,c=BپR|c:m ߖ;-u, iSu֖IJ ׃e~S!u(_lv7Z𳇂`!&rWOĀO qsr^}@gEcb>M [/3څ: d,b`3D@QdB\+ߘ^ t\xȂw`Gwd1?-v4] \ !b0 AgERE0l[v%,N} _;M$W ۱X'%5=Y\BX?c)%iz;yחuwGiKE:\6iXgJ,qv?cى6>F䃷Dct|H~Xљsy1t(̛"yd7IV*; [f=y]dS6͉0i^دxUjg'HF)^`oMS3SE{%Vdio|}r4-euH}$Ң"/F`B,jc(5gMTp1ݕQ}kN&DOs\[ td3O+>w>|cV7gbF:u*ScvLK͚3y|Pc, l)qm98pX\}Zc)=   Ae=r''%HOLCF-exHOLCF-ex.Fix2document.tex ''%HOLCF-exHOLCF-ex.Loopdocument.tex )+%HOLCF-exHOLCF-ex.Letrecdocument.tex ''%HOLCF-exHOLCF-ex.Dnatdocument.tex+/%HOLCF-exHOLCF-ex.Focus_exdocument.tex+/%HOLCF-exHOLCF-ex.Dagstuhldocument.tex1;%HOLCF-exHOLCF-ex.Powerdomain_exdocument.tex09%HOLCF-exHOLCF-ex.Domain_Proofsdocument.tex09%HOLCF-exHOLCF-ex.Pattern_Matchdocument.tex4A%HOLCF-exHOLCF-ex.Concurrency_Monaddocument.tex')% HOLCF-exHOLCF-ex.Hoaredocument.tex4mj՘6`y: A${׿:kZ 3-Fkg> M kirZNG9W WR]auU7|yt[˛/ ]A}$kPI.-4Y̢),RKZas#,A[|gV&1A7Bmg 'Ot R6ԛe RQ:(6w6q*!4>=uܺu*B18!γmҎ.h9T=¦A"eiޘc Q.<rCrOכ+F'_? R \hUpkeP=IJUڬ-;xl3Fci l@E0S\_<枊԰=-?|AV'ɡ)(աGgc֢V^C_J:.,jH uFJʐVTwhӍjÙ%Cqo'76ͽSGYdWJ2V0iŵhD P@$Kb6jT"8 Xz3#2}4ByMa@8 I6tI>^X$x}TI/7S'Ί:oP֊PĀm`u#0Ol q6d1![Z wr/3!Fl>_8ΩNp&Z\5vp/2rWNoVL]0.!7>a";F~$UX%HYlmg1ytð껢H']*E1#lk]D;5Mp:4)}QV^~ቐ2~yG{(le럖@.:?܁Ƞ,0oUޢߪkue}dͷޤf&9!292_HS~=^0 >v}g.-z-]7#rHvhBJ̹ ź5є%Eҝw .jn9Lv RR g/? y?ͶNZwv%T|Zݠ[ӓAN$GekC4+qFcJ}`>@+ Ԟ<5[`Q B5#RߋkZMzO~".W5Sm@?^HrZ2k j@}B8Oy&9_ m`sm߂=~;K7~[賵{JzU9WNyۙ?Tvޱ;UF6zmڨSp;:u rN+ >p +#!8u$@L.o+>Lpf泔_B.y&"{\ gy(2#Cy(&Pk+KvP4g"}M#aJ*SgѝeCAuD dvU)7f3e/֢C7V+t}6PJNi i?:Jm*ϦA [6vU6"㖈>[ W8:̪H6ry߀k]Ni=AmKbr̛Q HE!K.kSBw&A@b9(P)4i9EX-2kYNGUY!d?Qd9!iİ4pI`6#=ǔFQo}\8}Ib'tPMV:5|\KX-hQn\OB#څ-icRUl | 7VI Ӿ5kEUٔ`4r~驛$6Wz6w od FL?&/'Ixʪn ?#^zNT$A^DE!TTKl5FǨZXfbXӆP2zvdJؐ婥sAox[9Ŝ9i-WRo@EW9Qԩ$߭g3[-8B]Ĕv # 40I_K|im6KGHиD/q5'K|Y@ Y%RINiک*~/yGb@-a*}hS%*1e :1D"MY,+`h;h: *{4`x؋QܠC/"u}4>>t"OnW(:En;Ke8}uDgjI~>K͡5A䷾}rX'j;y)[YhritX``P x,9$`)[xڬMd38 n8Yϣam' xIB-وE@RفipUWlTΆ1Nu":( |h o YTJjgN[ &tzK>X3SSוOyP/IJ}DTokx3ͣ_3&+`:ʲ~pzY XHBُ!OnAȔ ,;T}b-U2B4IK@ZxS }aQ,x9=q>+ 8%Xyk<1Rq?}jc1㚦ګꯁHTS\`f?t u5#jiQk,2Ha]fF#jīf6"Bڏ'_zݩY *L@Tgن%#"%`M_n.wzy_ 5zN|H {UړK5(z QFkXlA`Eo,j'=Dېlp5Qr %.9wl-[]hx3ᕇz|\_SKi >~V;LG:AmgiEbU?.{wz9Ҋ1)UoYܣemlycKvK3heZ --gYZ )% Kh{tBP9s~" w4-QڱZL]^i߹̟K"Uek|3 vGS[͋;`ac 6{͑i>WNjTI0 qLT[أra>ZιHEN \M ?׻U`)5NzߣN!FgnGqTK~rc..ֱ{7,/ !D%LܧRi\R䦛.ԍ E]8ثG54z&H 123;I ZҴԙox?Uz=&^"!j]&h/Puj?il$39ByPDN7+1 B4C)TC-}y.| [C5FF*Vآu"A3 Uƾ%b{lSU^jk;wig *]\}qrvD=͛!:bC&nw=H+f6Hm~;/츯Tm=j v *UPUAJs';B!M_8@b>M7\fogRkGr48 aD$[YLP`A,W,;(PX&ɍ٠ٛ779aTHōӫPP.jty ךmcq  3$+U{q?+7W<lU8j3no.Y zjfMиu-o<fnyM0O һhxiO]0);` xto J ZZS6- mDP=}$whV5NLt= G|Qb.8}>H-C,ɳ@6`PKϧEn; 0pe4Xh E /5?$a!x.Rj#,Rؿ*mǎH2o >G ^~r!*Ř1mw l#&9N&PmV;(7TC1$Rpk~$P(Һli~r6!O~JU'g]զjC/ՀvЖ9A(ak89feߵ;6!c^GB%THXqG ufjH*F=w4P[|LrE:m<>r[\ʽ":P+q,X;x-l5O]^Jz ϝ e w*˹B!/:$ĦqD,` K9yf\]RV[eN \aEmӸMVmjpl8*?yO[3(C_#,c=BپR|c:m ߖ;-u, iSu֖IJ ׃e~S!u(_lv7Z𳇂`!&rWOĀO qsr^}@gEcb>M [/3څ: d,b`3D@QdB\+ߘ^ t\xȂw`Gwd1?-v4] \ !b0 AgERE0l[v%,N} _;M$W ۱X'%5=Y\BX?c)%iz;yחuwGiKE:\6iXgJ,qv?cى6>F䃷Dct|H~Xљsy1t(̛"yd7IV*; [f=y]dS6͉0i^دxUjg'HF)^`oMS3SE{%Vdio|}r4-euH}$Ң"/F`B,jc(5gMTp1ݕQ}kN&DOs\[ td3O+>w>|cV7gbF:u*ScvLK͚3y|Pc, l)qm98pX\}Zc)=(r0QgYZ ] ] 9% THOLCF-exHOLCF-ex.Pattern_Matchdocument.tex7zXZִF! "#]A-MՋhvG"uIBm5D$%MiKcfl9]xJzvc{+!O`gvHUL@ kL/Z-4EZ`)l}>/:VSZD(g LhQ_~HpG< 9 èFN'Y.D4e K> j¸%/ $  ?b9dOb/ݩOP##~\X7/yjP"9;#uF$efȦmD׼i lE@QJo27<>9KҊV)ٵEWZ"{ v(_C}'Oiо+[c࿣Aяd@%ɘX]:}1 Gj G"mY vF 2.o?2D Z5 rA% HOLCF-exHOLCF-ex.Concurrency_Monaddocument.tex7zXZִF! 3z]A-MՋhvG"uIBm5Tp;N^+JR"+2 eLƈ{fңG1\i=Dn] \RM;?&II&6ϻ#b+',ΗG9X>Vr~&K&N𤎐}B2o=byAhȜ*Fep0._AA^,lgu (u<)A'/a&N\%{9 A?k]¢p6>7FԿk;r0 gas}n_d]):.Ef 6 kt,x.lqqK2,#-6(`&HBUl"F>vZ\Q _o|FN>TM䈧 J5)f8ߜ)|gE@22A_y(Ks0-THjifV-An*n"5(R|TOU@{9~ՕƆ>.`C|jоomdɘ89U~ v[ٕitjC< &&{|@'?Trb<}=ckTgjn$f5~9Ztš8zٖEį$z Ͼx 29 +/TtR JK۴{7azc+7KKՃQYP2y5k5-ΓjF T憼yRe)ݨ}Dcm;&|[x8#NvV$ :>ΦY-ٗ':ޢ -zٕ<,"4u K2 iJD,cwE2\W2e]\7/Cg*}X Oa l{wO:)t*A ]t' NƧY8|㿡Q|vw!oSI^#{YMi NZ d̦)N8%ы-!2jPjϙ[&P˒Y(+=&'aW҆W>m%30w%Ly f0JRĜ1}dyTS+44Wn@>XG5xْ%By>R =sl LF_x):Crwxxͦ_u vP T!FZ?PևY(VtnwԦ:d ^x|yx%59o.9@FXkA"/j`?dbue29#xY:S2$RXdQwV,O L+|io_^}έ.Y ;qw/Iٙ:+HGJz4jY;͠B<K(2AN5 j,3u(c.I8:.%[&+K˯3܈/98$&:Tsn$:Vˌ3Q&YMvW}Ȕ9[(_:IҪ)瓸EJb(EBJvo5{}I'{VvDӼbcWzэUSE yLϯ̐vqeJx XA+PEF._8oYI?V3T‚?V[,Ϩ1H3Bn<7Jp9n!e N߫VF0rBN}o!+eo ;w1ޟ2jᮤ Ep>hU8lF9?hvCg=7LK/AAN*:)/& H# b%է7r9%g}f8AUѰO76P:PJѵ bHūPA A8XDe)cżc rٖ9HzS]Hv=OF2d$96~%YtMce(Ӽ78T޹9SAj oٜa ]O"ѯ-MwË/Le/~"lDeL 7tf#oCSok5O=WEbS '8FQ u'AsUZib~DƐlt*vگ@Jld% D^ (1]˙NGpy EQ{`PSh%S !RǸ3>t_,K2mSUݷg"VKgb76G#v,ԄZo/]:yNg _Iإ%aF6ch,O",,ԒY˶{ [zË} ]x?qؾxic!t#3"X\̖|@o1 oN#n2 kZQCJ69t3]gf& 2`Q_.nd7=tXe# We/n!ɓt:n~@NfƞAPŅ*-VZ}P䵥9' FZTo ywd."C\ #Tp|èdYq9Q*D;UZ7H|H"lȼD]DoE0\J0mLSo6jiOBM(G/_1H=Qj@2Կ-j]o0Pe՜ kQz^,'wCi lѩź(>!01 UcVQ_Qoل w4W-Дt{N儮TY/e99VW ̰E"i(KJbgM#qܶ%cb_˂m : dEX0B8c*0=-6@.Чi̎bDYxhYȀ"X`ShÂQӫ er8_&bvc^unK_-YԴEE sMXRB?:Txs{c(}6 f#F8U>@,eAzֲ.j5F-:b?i^(k 4KH#1}0X+ Wd7 e܁mM'5o46EMWG lzG{|t2qПn1-W!xfTnn3Aޚ vŗ'?K" d D_&D2vCaw M 5/$سRLB&ͤ!+='?=b ˂[魯1.*t}>.-X㥸sXN@M.P Pϟr^/]RUFu#3F-ևxO*p.:z^Uv^ar?CgGd^`_@OPp8W[{u*ހ#W ?//tlB6L {2e>еR9:sbⶤ-m@:%=,3Uh+ٴ(Yf`'hg{u ;H܅&ݶ hg >q%x Z1xߜicb`] /`z cu ?˔ KJW*}K6ofWᾑ7o]?44n,$R%#7 05S+DE]z|%#j/<]Z1__f- m}}L0D" ڳ/Far5醥9"rUa2O=kh< /7poWU;e3*\XRTӃabNɣEN{.; hREQ̢ LEFI֮ɱbk6=]SGKOs GirȾ7k A aN$,z{Ĥ>ilOvRSIdE<; >d``9ywKHk ۮdGk}@a(oe%et8 d 9tSmܱ6f1 E2x[>k|<|MW4BAK0\1 XԽH&⢐K{v ؚKL7 !!%5N.Uҫ La䠧&6+:'f2fj*۝RY N]e8ԊWi024e$i֙hYqf#Ct,u-:-ƍߒ&<KPQS޳5%3_HB _|i+[q,&p3M4VUkn8R/<띆NNz8{Iމ}2mo€)M*[:xGMc!] RnZ-Lv;-ձF m5:Izm(YH = jUݩh{bύ_`X^yiՔMG3n{8]ÁŠZ?\}KN 'Y@]!O.Nsi4& rA!mr?ѽE Y~^*9+rICV Ns {p鷷ISljv}n:d_襋릜ke5(sMf*bʖTM7^>#G jLO ÍzcE B*I# aҕD'^YCJd0p躟NdXkRB v;[t[Qcg91F?*|SKR ZZ)WщT{$m/,ܑ[ Q 9\n 1.2c-G> Gd)X=j`I(w wL"u)e2H&j##G=ڞ玸~MlJqhnZX=0l&3"~\2?Ո˷)g%lz9b)gmN T f,Z:H%K+ulX\ 2XҼf ogDC X)wnѠӪyg_NϯC {?QWę/kb98}f5վs"榞-Cei[B\Wtռt-O*!ׇ\ MҨzЭm=[c~(pn\`Z"~/ދp~VàìS[eUR|x4p;]cD-Gm.~Mj_:tH\r`} xGЁ9PF8@]0o'eS5:\SixHDVmj{5eg-1| 9^fp0鯶ԑMFY1#w fl=z<ڮC0Oγ\߼;GӪ\4kG*ӒwMtDЎn8zCH[\1vb,sih*c D׾\sd{CJ.Y G`YNM ZwFSouʺDsԶ,yN'*6"[ 1ђuM"{9њY%c"PÃ#opf ~RԼ|(>ȵ@pd"L_ [ͮh{/+`ݠf/DXP-BD\B#bTp@9gr\N(v= : U~Fo|OD'gbp{l pNXBgګ/P}Ay8.mNN.5A kFsHòSY|o *KA kڪƯx̺D$a[/7Wshrp{aR9ۙ9I{%H)[cUw_iM@Bv*kZy Kyc"r*EH]{cB`p*J1*"+4C~GD3}іq.+?zMx]Ĩ}xn-ݟv'gI=U_9|e|(tq+5ڳۊ< (uesMj[]/yl"h5(r;ڿ u#wga$26d_;a".D(NJNmFVDZ|(Tsȳl "~;u%֢xg= o(lɷ<v#VB⺺;l)%Z|F;Q򍞧؅VY^C&Kfktzau \0A "Q(ʚ v~RDRƀɯL^m$h5?ݲvɪef@R"[%W7Ͷq6tQְ8k҂G⬻y<ǂ G|,*(=K^h/,t~Pn Ns36^%X7$YIe0v;WJ# ԓ[Y*I byyPq}1{8jt|C8I8ֆJΎ{kY+;0kr1R3"Rob- "+C5JT e~M1P6Xn#< L8R`.sEMTٖ)n۰>@!rmkrzzU\"MaU%P"S}K.eQo4HԺjAs+NLɬPFhK+>Q7(u^;ZݦkH;aTۉKb%ɘ-h`6/^-!1zJ>9B.8WJZJwCM6-MK(:h~DFo)vgYZL^"nI+%&^Ul(XxuEk&]lB 0ُ"1ړ3S`Xfy*E,]ۃM}JeG8RI&u1~= G`DΕK0#gǛG%OX T[Iq(;4/roo '<>]2kBx7gW;ڞ3szNT*]$Ggl8\Y:"\˗a+ſAw3j^8YUjfɇI;SAaif obоH1/.?*Z(sG_T2, W2oj qâ|Mf$4W> %֓SG'}yn|]OLx@\[5X@XIE;5 @AfRnqjHQ:7pWp\ݙ*uI܉ɛk##Q|6l@z;Qru]E2Q^ʦg@ߝa }7 zNI0AW;ٔ v% Q9R@PX.%οˆ$\oHm@FV\1%"n:=1klu.;5v{CDy|i_83-|?̽XSwAKI^ÙE)5gxr>9=ze4)ɴ|M=Ƌ:bƶխsxCh!NU ـ>ps/+83_B uzgP qv)l]\@%x58ÊaP6=D娖׵Zn[1e9Slءi*M-_d|[\O;nS* /h^1'+3[A "-YKCzHE~xwc#FXl[.k6|M'|Ȫ <.13~V O":=^N%t:Q2;!ЏtR%P r G׿\fݶnR CZ6*`.-NwhєN {`((XXp9圉5W.5gӜt7M{Qypa\qz{VoX0{Q\Mgi g{-[?$GCmLq@U[cKuე2K}Ec«r-2e3t*K>ssOٖIq.>%H#rV f|M-4LFJ{ }sP"-vZQ2i̒Smߙ5)z꫞vr;ـ}آ hss%AV梘6ىiCm!z秮l`:m`1tTxM@@k Gm)G<XD%ϵyheyRFHSkEE@ 5n9|kcvFܔ0?nF >:fSnPe T%3i Q3/"6!R>*6=*Xv(2G֘I;l&1-8t,GJ8d&ɼF0~r iӄIC:eqWzļWx!4(,l<\Ϲ ̾ybQoO,olBHAmSS>պrJ44w܈̰PpWFN-'y$"&ZW|tAV$$9`h,/Z}h|o6f|\ݎ %X8Co9njkG KP:b UʃCoH8Wo7,Caig5옯ވ/ ۂ4)KU+3e18Bk9}Ϊz⭗:KB I[S֛ZSdt4tYf1ĸ ČWb隝ڇƼ~8`A-HPp_y1GQP+!tz:% W|< r,-+X:ca?-%-YS36){K&ͻnNԨcjlZD\t;4W\a3xvEU%-s{s9 0uh:Ϫ{k%]֚67ڈmYOjPh4~bRD 6'ts/ ;4+%8չ*9`+I [F5n%/c,2ƱgYZ i 7iK;% ז]hU"yWK85T R`IO5n# z `UkH<ݏUvZt (GmȒTPcyg>VDpZ[-ioKvj["pi%fUO^|Xէ0ɬzWN k1#Jͭ7z3wxQxK OTë+?Y{B 1u۹Sd&TXE3&E3-L}-4oE6 Ky9% $HOLCF-exHOLCF-ex.Domain_Proofsdocument.tex7zXZִF! RL]A-MՋhvG"uIBm5ۨ&ʔ7O=_{ `Ӄs+El[9H2yw@ܟ o\ gc 6[.jQ0Ŗ-<@RXJ7Tag{Bō6"W3t MaGw ;O LtfM@kr PCB&&uy]ꛡfA=. vM98@o[ktiuTʳfR| giQ_<̓;&O>ڐ0bbK'e ܡF!ɤ`'cY(E"'2n .jБ?т7tJT`n'1'4R;ksw#Ld;nFHXh,c'$>dI?At`aL|P-׍|0k݂ P0Od ]G(L &bp6a: ˣ~ه"woD^H֦p 1wxý% gփR#lSt3}t!OKPEd\)<,dz]q:1s/!K)r x~rˇ *g,X4z /(bzɂ"I)(.A#?FR%i1{]<8XH"t 1^>}­m&Ccfh\ .U*d q$z`Tc@rkUjK.'VV5GU>XE|5څ~_@Df":|Q_c KiULmzȾLYnQ /2헫;(Giݯbn Yy\h&3K/sm,!?Iĝdc D8g4/4V=Nu)}2Uɴ?(1O`lc4M 0noOU&#{t-hUI] 2N#hh-#T݅&FZf3X&ÐOJx ` T`q/% HOLCF-exHOLCF-ex.Focus_exdocument.tex7zXZִF! r ]A-MՋhvG"uIBm5n=+ u m'7ċqᔂm66x=4$=5 %#Rs0q>&n']/@_r65WYj]J Ies}oG T[/3^ nӕ|wɁU"te䡈={o+}.>֩v`j.eaeF悕уIsYgd:#YBo+o8neS{LX RByS3T`5;f&e_ S.7eQ"(cj_F,~N1sRbE2N$]ocaY&O_?+'sH<)DarZ''PSBJl?*4Rh/mwB|<ms(TY&x*޿"U$ޏjdV'ʩ ެ~޳xCW! F6¹uOkP1sj6mK3Mϔ;RRLp tC%4k{ZBg 9&[Mv(pb5a?sE& w${9^Hs@Aum],ӵni2ٚǃT;b;gFGOݿS%q .p,XOvx?d#ݍ0ou¨$ shIEmDu5=M֫[vZchm g<-lR /膆\G_ MңR+~vKQa˧XL8|XTQQ91d_gR/E݈5Hv^mv?e~򼇔=Rv]^Fff~{ibUWe+W1PO5r8QtJιTAtW"NsD|̅ut A_.{:@٬<}߾9ΉOi%5)npQM|IB,XUI;3"?M`ZcǼcu\'r~4MK v&:/σ49b(<bsĸ\oU72ұgYZ)/% HOLCF-exHOLCF-ex.Dagstuhldocument.tex7zXZִF! 2;]A-MՋhvG"uIBm5W _h(%! ~ߵw~@X{xH{*;Ccʡ8mHi#d.c.Z 񝇇WԷ7ʹ!YAL@HƯLw2v4pdeaZ$321vۡ)nΥDuG(o )7yv@my[Z'BQPsP)ׁ4q?NpAzgRZ$0S/:wUľ0jټ125VA'!z@csFEje hDX*φ*t;㭆g/ұX(SNJWew29\)!aoPC5Z_;(qUw\&`3TUMG~R6Tv,hiɺP;NKB*_{I3@ݏV!j4?7s2/㨢GܡNp^؈p PDyxջrJJ;FFkk)s>uJh}Es ;>/`VlQM>5.}u!U(4ϵ[&\Ґ'[ڈ  AzY[ӕJp#@4'uqwܸNwuEO(|G\Y*nahY;fA5ԙB2V=,P:CZAgDA\1e<\;R N$b)HB?HL vp7QLjr:E^#2_OKFiẃz R)WhjmlfJp?HL;3s )h}?8jNXS-R R1p6$`Eŕ_em",6le9>U6#khKE/e |LͲNܢ[0˯0|ؤ8Y}]i$a,ȵ|hj;-VۧHa>8EɛO UXb7hAHGWQ[4JYJp<}jd^I{Cw۽$t~RWJ1puʉ7yET>vtDy}>u}+gD`[z<((?)Z(-=-j8F=CF^8XB0y\` jt(٪:YX >cz]5 =*fWhIv`#[GQʅ XA' 뜡j+e:k=m)Q_T92i1igֽ/ Fw}--ef ݢjX[ +˾QpDufN:-$_%NilL2;DS!fX*Up璘׮z%`3XN΃1#YXDo5UOqrYz>L +lys*0쇌1ϵC*!(L ޅ$( :w(q4fKa*rc"ů^z1'OG`gdP}<7jHĸ} jlONpk?9ZmYxĹ^sz]L*vOTYsc %T&\Jj*RÓf6ǔ$j}6J8r$qgYZ '% THOLCF-exHOLCF-ex.Dnatdocument.tex7zXZִF! #!]A-MՋhvG"uIBm5Em^Zqչp6/F=4\潴{UD*4/qYuh 3 4O1rj?܈QIX-<:3+gejK9?^4;(cΰ޲sD{Ncӧլh=ɫ@g[ޘg%ǭR;қ(;UU; hTTc- r!*-,dN(j4F/%H5^Iueހ*wϣ׼tj">:h}#QjۿI\fZӬTLal₌{|3j•( N]{K<y %FפO*Ia(aQ0|=蹢HpbKEdf`\v J$l! Gױ[YgYZ TTy '% ,HOLCF-exHOLCF-ex.Fix2document.tex7zXZִF! ']A-MՋhvG"uIBm5kJغhn938ah4@+,M M:*ڶ^D&8NșٰN꽐r S.ylbݕ)|rL0^cb^!z-z%Y"sg;sΔ\kdߚL0g bj^ )UmE j/Zy_J.^Lp|(ݭƷʏ9V2v1[v2֨P+ïf 3/m?uw=7Oc5(sJuwi++4L  ;%.Rҥ!>B\F%\[}M m, gvkIxOgYZ- '% HOLCF-exHOLCF-ex.Loopdocument.tex7zXZִF! R ]A-MՋhvG"uIBm5&*Z1,b(!TŭY'G೙>㠠}PH[It{WLm0.nsQԴV4'b%rR߸mܵ=`? iAo58[9A*9XLot g:v^^CC7 AtWQݩ{ˉKgScs7`ЯgE \auuba 9H%@RƓAIS!nKCBcꥒ! H5+9 ,N\;p|z`:C"]Ie)] M'y-[6N:*/JVCfNBlQLK_9,9Օ*$.BE1øSOĆkn[)?.b;Kú5r? h:I`\iQ8%[Evb)s@#mNV#@[Vq^D)8W r>kۥ`‡8~P*Y ( 4mڧIskN2B*brү*#+hw涃.Sԝ!&xeY¾xC"=̘gj)&!򠜰\ͭhGVXo!‹hE= @OF5ף@~2ZhlUYǣ=jP/9]mBjdCfZb XDa^N4-$9*AjkX{a{EĆj\S7@_% QR-us_(5//k]W49+ 3$p;j@%jՊyyǸmThyt3/.b@U{mYVpeMs$ qTw$8{ڦ[q=)~ʗ?oXQE5GCaMNsb'gЊ''NMQEO8lfޟUT@i;l.IjɒO\ړ0oބNPG0(׃~'[_*k~NRT68H}S6FM ύ%\/|tQl).jOe(-֒t$. X=uV-)']o_i:@,9pYgc!ya3ÏS\зfS[SCv.U%O8&~Ȯ(#"Q93`X[X%Td`Dkk1ڧg~D|Ti~"I.C-[~<]3t:UʹĶy^I2~l) Kظ|ћfO9=fZ4/r"176="x #ӂx!gYZ