From 1e312357c73a8022335b9e2bfb786407310b5ef2 Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Mon, 8 Oct 2018 17:54:50 +0200 Subject: [PATCH] =?UTF-8?q?Alpha-=C3=84quivalenz?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- merkzettel.pdf | Bin 174918 -> 182901 bytes merkzettel.tex | 5 ++++- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/merkzettel.pdf b/merkzettel.pdf index 5494a4b4433d9d35e294daa01cc49f4fce26da3b..f53202d2ea64481c63467387ac6732c2cf42e2a5 100644 GIT binary patch delta 54718 zcmZsiQ+uEduw^^8*-1LKZQHhO+iz@jY^$*s1_O2RUf_+Se zOCSMbV&q1J-fHhxoL zNu^jEH2{2@KVIenSa2vPj7Qar@(cvR%sXSuzrDp7e7{`oF9^0-vYe!wj;Pmt$2l1y zlzCZXk%=0o*x%{CTWxBtb(h;et?8P^1gibFKN6VCq5lB9Is@?;Fv;J~20I8Q)LC5u zY`b7Ito0S60SFt$10#Q-+y$o*9LconZ;V_H<7kBLOPoFHr(0`aP`m8nI!k!*sF$

NfVy3=q6rW=|jbJl!5sO@ylBw$<27tXo}L7n$!& z9Q$m?W0HaTAi3zpNrUk0QIi$iD|@o|iv5YgHjx4;{R#a+k8s3=CR-_+dW=*QLAzr| z*X4yYsVopsVIP9vp?*ksqb7!kl>40holHguTagIp9ra3|Nf)YpDX z>3I$J(q;YX5{(M7gAJL28|v1 zq*jIwbe=k{aNmeQAexjIOavQ;{$bD%tQd)`nJ>{ZEL-nkdz>{P_Bq2Z`IBB~Mw&A5T%C|>@;0&S$>AVpj{oMkyGk6CneDP8x`_P07dJOE=Ir+;V> z>j=b?_vZC>C4nEM7!NIQHM&9Y4%+;?`UikltQeqnO_kKFL3PMOLWCH#WxP!;g57KK zu;erDm9KmhBYi@|3}{O-hCEB|B|(e9b54UqH4D$Cis$sT7W!U4Ek?Z#>ZpHLW)xa@Fin+Toe2@{LzGa$-{rFP9&ysaL2?}Jb`nhQfeef6be-IKGk_PyJJoZvF(;ACcRgL}< zhWDLr)ttDkt39)Mh`cADO^u&^6a_SmZf_=b=j*u!ac0>Ocldu|;T3b3u=^#=BK=r| zbXhY_b$RZWKqt;hu=6R$d3J(O`-UC*DQZ{g{mzSr!q-i`-hkk6CC}r5(Scis65%2+ zcEb8M4&g|ck?c^hXL2Jsi{tu7MhNx~bxH6QFv4@N6|U=Fu>Bb)Otp|P$`pXcHs7rG zWI-CLn&`=AO?k(e$*%;5qH9s8b0A&-H9p83vQA8F7A<|MJf}rF|qT}bt zY%IZib2@MtOvpA2cqXEE76c%2*=W2eIPLX#`EGL~!X^rA4hcdkp_ie}2Pyf?ty>VY(tfT3Oi zwqB+wRBHC9Hj&6GvOd_AL4~%jwaAk4+dh0}01iYA%aK(b$Fq;9m{FELWUFjg8mEv3 zUH?1l&#Fv+h{^{BVmOg}bUBPZ*|iBHKhm;an!4^!m&pAW&Lz?nXys9>UIC<%w;=QL z(uZOx(#K!pB3%d%>A}GB8TA61!GjM}!Dp5u32Qoiw*L@+scpsG0RNIBq7lMpukCOk zIf#YU0Mq*?T1O~5S^1o(&0|FI(8>cX2wfh|{cq%1BvTM@Hzpfa1-DR)7ewxOBr~*> ziaMy@^68JXI^NR9sKY*Wmz#n4WEs3S@9JRhQ?2 zaRlz3f8|9rTDU!@9v5Sgq27y)6emf^932MZ7sh?i^N-Tcjf6>U^_Ti1D#$L`L5Ul6 zfv)d#kPl_j)69ueEt*KmN$2qQXm;N-p7DEiAAPVTzh{Wo@bnk9 zUst#cv6ww3lI1`xAz3*13T+IFI^x(71-faQiH`RH^I}#xH0?dv}kTf4v{3tIz!3S)& z%}Hlh87W?kV2G0}SIl*#BFYQ=N2w_IgUR9%!i^`^G*N{pv+?M@$?`&2l$`A-D*J(J zivfYUBd9(OKkc|GeCsOv7AiYC!a2djXEPFb0rY@qsN~L&R)}JjoPORDmfeXEHKnX^ zPwDrct#$xW;$VGd(}0U;0;&+K(gg=)D&76uXd533LvUpJ2@wl~KlAfQtW}Xexh3AN z(ZaH)4&CBz3sIj!Vr%RxcI<&N1UDCEx5)3vVJsteR_RECL+aA#2`|zgz{Y43CG)$W zwEjDHnf-^uBXzB5{W^Z4?aK66DFCtO(QZj@oKFz6gwv@2AaBlT31#a2TEe5I}W1mdChn;-E-*)c_;AQNUn;6D6E~H$oEhh%o3CX5X zC8lFf_OK6RH0$VN8L#F?xQM|;ozM~jdOKU&0=jyHhgm@b@bKkB;Wy0zP8gMd=_^D#x^xzFj&Gq3iqVD>q954YW<% zXp&JG+66|{l#5y)=2?FYl)KxWvtG`JulBs#oqg&%1HUl@+V8EWbMy9sa5;tZ>HBVZI^lp@ejySH`Q2#`S>z$}8; z?npbjU!tF%uPz3m2m6{HC+vR%{_6&z#(`yA_9#(g;286I2iqWjwF809AEUcSsUQ0S~hnF-J2 zCxy_x%JDZY-7l!gkggJ0?OUPw4SV2L=hLuE<4_tY@CUiY$e5#s9r0n8@&e& zUOw22$cZrNm!oFrLKQ%(G%{1Zaow%&Aou`YANG%_s+!7$=T-60z!PaU;)Fu?mVH%L z==skZt@xsX@}1wit~R(BnW*2AL$N)0PWm~sBl1+%(fc?APMA@sS5 z`Y9xkwzc}=r0PAvxB^{btLHA182-{LehDV_YFwUxoFhiBj3(f+t>moWQ zJ9lakR25iqmT*9HxCG5$-_dbM^(pw=UTr>i?g!N@`+fBIu@mDPu^C}qYgqfm^e`2g zL}nKM?yTN2)0q+};@BCCw!wmt2^wNS2qhMFEYW?e9wt!+k*&$pG+8sZ{8{&pE{h%F z5HLrN{_|>u&;WmC=(0wUA0NSI*YF^0Qr3$)b#&~-u7*Ifx-H+-*yC?Z`hKeQ#IzA) zcG616ru~Gf-aJ#i@{s(0Ui*UXr9E77?S-BC8IrrJlC3R5lh8;CFy zv>Y;yE&Q-$3N@J~)76SFmDb^MGh8Ri=n`Xo)lHQ8{#z)F83(IeL8TO!!4e+oB=b|S zq;Nls`wvdK)(?cU8W&iea%@k$T*n?`!_+}A*#zKPid!8H*&_ZsRNF8$npcUgjw|NJ z7R<+S1q33YpuAuJS1+2B1eS@`CnJ}o^Bj~1PO7<-V}rbT10wEL7T;NUmSEblSjGs! z_ybYaI6s0T1W7!Sfd#ESqM^68)BPv~b}-kKQ^+rB`)PzVl4x9>KRz!z=$rwjc0?uk zxMP570AV`5frJ)$hPhQ@+G13eT;ei9m1j5o$1>o4w;q@Jo$VV~z3A|&GDmBl>BYF? z_S1sH$v+8`as1cC@L?-vfpw!~iCO2bCmeBhc;#1$5yGKf6c$o)qA~}4!E)m!vm?lV z9U{-nQ}+AM&;BKy#k$N5FK_ki9aakYKPdr=JUQhJ{K4PIuGD16T+HHQQe zaWkFLL9>*R&8(0z8sW#aHWhZm=NO2dX{v2$Lr#z5@inbl9=3Ttod)KsB0sNhy!SgA zZ)UHj`!%wff>u)8vT6w``5i)=CugoCHYi@Xr6$ff70xsaxdp8sZ~3R9p50U5d8L5b z+BEP~91X!=(ejil{u@WH%g6p;Y3FWx&j>vGQ`4T^EP9u;)0LV&Xcj3r^sQpI34w(j z)L;n3Dc@~(^PlS8a$E!r8;ifKBt$>FRjTwn;BhELs7d5rTjp?@1In4Z+(9n&6L#`r1*Rv48!h+@SDuaKxD}z&n(A>_WrP%l8ec|`;A(Z#5 zeLDzfyk(lw@2^v7Kz9L3_EzBRAW2s$`)a<^r28~#eLe{#p}RylYnnE0?&cr0P2+{BNndW(abW*>wdUeBK~U6b(MWB9es ztqB(pM3O?vx&4)y)+Z)kKPEksWGyuD1nyS7n#J-Dy>~M#_c))R@|S^`PcfY+XtGpA zN9}(T+b;wge>Rqu1^%2j*xQ8|4Nw|y)2PL7P=0;tM0`LY#$)?({&CYXA?lR7d!u$H z&G_46nlk#{v8Z%@{HIvj6H%_skTWtZ*v*X*O! zQcpXp-Bt-DUO&udT=Esbn$73~x0Qa+X{z>8vg+rX^A@$fKm5{}hvvv)%`^Rbj%9j4 z*!>*R#p@=(&R>~-n*P%gu^{|pej4=aAdY6E`I?lW7aIcnKGv=M#ZmOzjOv7Vb)_wC zHHgUiB1u4WpVW1Dk;Df3+M@&JtP8zc3nnJKJF0o=vlwFA^A9Vq;CzWL6W@jFB--4q z@)2byIVkNmB|@;sOOXQiUfim1lYEw2Cm8e(4(-94m+B+hYj>NM>s{ba$+kr*5%eYe zd=naEIjR#v;{1dUy8#plg_k1HdX0WKWW7Y_Yr&e(Orkrze8}vqKRl{g1{_iV3Gl9X~fDio(c<ks%XOmRACus>LAMk&<{SyS0SXp`W`L_1bk4JnqArqGCnF$11a zw^)-^vDHiEjE-8>%{*=Fy;DVoKqKM4DMc3rTpT{F%|*4SB52(wfIvBjmSk1@YD~x{ z$rRMbD=HN6_V>4^kqp!M@M}0lWDW1Ppap^UQ_l43B$r$q;*dv3Fw~n{`PX}HhOOhj z+g0N~S>^?RaI>FTUq*lz<(WZE5@{c+v2x**eeQ81SLkPIx-%6Ct(*tRyFUdzr zKQB=_sT5laKt-9uIwn4?5s}HBW4i!%FIJf6zW0@j{d#6AUpK!Kv76xt*!g{Xbm<6| zyu3Udur}_vX@?uetvJ(GVp4==bjZxH?1ZTd1j zMuSHg=eWwYk;4{^q(E;2y-urqYg->s(5jzQ%tPNvdN&dfS-5xg4*eM_lxYiew?4`! z&MwAS^=2MYPuR$)tp#Ji*-FtsK}lq;gTw3K>1GIH+KJU$HwNDD25`qMTssO_=(aG1 zbC(q*o`)0~RY(b|5IEbCe}G0SAZxa2w)HM0i%PD-z^;TO5nCOuMk$g!(+8l2a)on3 zBs+(RoAz?73=`31@!frey~P6qbXyR{T4SD?AZ~EB6bV@m{Dqo7INB#%9LrP(XZ;d& z_O7VpLKT-3RB-=c-OrqdjCsu5;ANqfPY!LWhHbh^8lS;!kgyU$r95Qoqe_70?nlo0 zpU8w{7xTt0f8g38GB{?l{<{@hw12_CHkZ&st}SSo2>594bv^a3894z+3DZu*JHr`a z2GiT|`kUz2=&13q^dMJ!Z5rRZE^68Bajv3phKE^?!#6<1Kuf5gt>J!%k#b;(205c8 z=-eqlgYAj(@gGeZLZ7@KpUkI5!su;=T_NxGM9kPaA{VR1s2>m|oXN96&@!NVW@6_c z-gy0H2gjxw>q0CK^~R4$i@+-+s4V0f6$&Z& zGrsAZYmxxZY>vIIS*qRKeSXs7i0~S_fO0r5cLVXkj7ISO6e?gF@$w`t$}mQe4*}~Y zP|qu*S&P#sc?j;SDzfLWr8(?cbffXgq7BD$e!$v%S7xl7!qf91|O9d!laLiw^@ zBOZDmYn`L9J$Zh+q4kivbF-(JPGdIO5H-pLcTmg-KoeS1;G!_k7c+hrt)5BsMAv3G zEh@*M2KbVV4FR&l7k{VdJ?dcPP`8%(DbHzl{QczV3Y58AS-&5lf#W~ZWsfo$T@-_V zscH%j*k=C=L~nu$r)W;Gw{Z1V!IhGCXhHaT&XkRg(nHjac|H;eI0?zMXNni*E9dYB zlZP>0x#~=*aP%fH+cZ1?eJNV#CEyYiHwnD_WcIOvG6Ou$@0jNJQBxyYFN?4^4&VLG zM>(rWBEbn5u>vUQ(JO-#92x7SF69YDSgVV!qp5?wM$g)NI;a{8vz@eqv2vF5vVuvH zy`5oeNVWEv15&k>O9xcDn(ukhvz+yytSoA3iaRg=m@adEQ|qwCGBXM^=E;&(tMXV~ z_P4ZGWdc{8i&isNmntx=3Qq6k_RCV2g8ro;Ozv?DZ+v#>_i)ajhDfOJ-i-gsjmlKN z`b7IdnGSyFY(&97OCtQ2hVSN3FtE`IXL#$ved+BKi{d*4%r984B-cF;-WbWPaJARI zBU?GR7}jMhUaEL9dU@g}@58~IN&R$&2siu+q6IuoV7=Omox~T9@$q^T>yPmRt*ww^ zxTaN_m@cVw)YJ;iq10F9AMrQ}2M%T%C1w=;-tBVj2EAl&mP+Xb?v!J%h;H*KwjTeR79AIAmdG!e{tKo4d3_Wzm$UW`uf-T!ptdb4~bL&J(Vx2S$Ru zhVqz(Y~Te}h-dJdQQ{Re8v}Qwj;JV9)r7O*~+4G&` z%iMCzjI(x+c-NlXv-d$>!(2QzH-+QV+!>}sn5xL>0-!cx^PXqv%szZ@0YvNon^>Rz z$4{d-NSm-MBC$We`hxWkw=X2E+ZHut@TMRi(n(XCio1(ie^Ex`L^|Tj7NTHVSHqX0NF1FxxxQ zw85~eav19MKevIlft>+=k2R@_Wx<0RFqBOFh4}A=&ts>+wVB7>6LA^*22{DK`z*Nk zJBok0zlwJXCZwD-eO$=lc}YJSCaTY)3lukABDwj)&aE8`8NkZNVzlnRdq`Pd$FgyU&cMoh5JdLN27QRy|T0mzBb;Ek=ND>=;@|}J?E=p~efW8C>S_j8? zgrwW#(OkVfj>qDYo5Aqhq921n>*h06jBzeO_Vbdpp%QucHrp4eG}OG$D25NhSXg9W z6k9C$Jc?N+Df#KF&dv1Muj9^L_s7Uj4*rtT{(Wz1-iq&GK>TCAK*^)E!)j^Er*!HGa)14|4pEId0`o3&Hh7=B_R_B zC+q(h{FK&&JuV0O<~z->o|Itt?)xrrba8n!xnSV1cxMEdYOJY5HCgK%wA7jy&>fB! zcVraD8g-aYGlm}C74I_L?IGKk6=S}gH#>cNKaoUnJZT<-Qi?u9U&~SnjX}?niCUrN z&Na0aLm#zx6mQ&^xw$nx+&*jmFyI`O@|qqCT&3=}rZHUSd>rWRX-ea{O%hD7qG+3Q zm5R1|USOD&JTlrURfl8m##nHX%?(<7JtDne2#GCeZhx>(xBr?_uTzNlXWOH@T^;p0 zRrT>cRGdyXvJn%-cywEl?@?LO`=>*yDWNla;mWlWeVeELn{EMP+gmz z@Jf@7s_c$6;3S5T1F`5&eX)yjTKbrrj5-t#kV~Ckh1Eish$U2&5$W&6KoW|@`a3{X4(%x3 zw2BhI{^la|t6*V24{Zpa;5&NteepL8AreuqMe&QT?T}?7yjECEuRVK|mkxMoGdX5D z0eb9X$M~ynJ+#D7uPpmAn{{e;JyZ32DNC_5{c)q361^{WxTb=|L`^Uq-PF$rz?jzd zh~AVL`}qtpyzbw^wsy?z)OJMtstL8#i+1Rn*aJlfcNt9ZN+Vd{5pWDE+$-akXyuo< zn8SwKEh&~m@4F$wnPlr4=9tg2_UWIAP9oM~xk+0prQG-(qgGly+Mk`|w~k-Va6 ziUxt3SMIKH?!mVwm%-PPy*23!*s8HWR;OuI=!(;^4L9#+Yl^xr{%9nWby{w06SD~8 z6d6FoRi;Cx(6Q&1+l0hmbnL9ZjGB9hrL#b4um8m=S7xpE@|aqjf6MIr!riOf%S$7Z ze~zC&@;FtYqwo7F$rU8R*Iq<&?vRhS7A*x^$(VF!zj-o@oX@d-wuaRS7~0cZ=2UW0 zPrFY{eY9}Ol=01HJBpfC!Y?ablL_wsUEOKZ>k`&?mDjFBG$( z|LQ7$Q#qeVG{vXW9=2j#IEd+Tswy=aX?Y?@uNwcGGnOiCG}+o>9H&zNp}}d|v2zYO zaZrn`>wc%7kPaG2V(xPduz>!@(8KCO{-<|)jf)W6a>_&j^>NDfv6^<}oEUY*gdGNv zKGUPdAl^j>qVke&P=mUKAu>0)ke~h#H2H*Z5R=g-3&ub1jayZPT`(|%`!?Ep(W|j z&HSaX;rXY%ykkbJwaHYvjL>UE(1Q!B%H?~FXXIt4V3;pAk7W0*{y=WgY<7vvZO{Wn zMX>#oQbu;O2fi!}5GaMYc)!`b$2nr1_EMGmLJko*Ft3!uJ0XC+MK9u6TybntNay@G zAVQ+#p5cE|#T|R-Zu9f-x?7H1R+|j?$pQOfoRL5&hmE#HC%@J8XBAzb=Kp>)$6i$Y+iRpHXQ->=09y`SL{WK>E!{z=b4$}_bDNYC>@EW}nAE)NxS?P`ir zOVx?zi}=$=^>}S1Rp$&hXOMJ{{ErPQ?)2W@l*nWF83kTl*hK*%Z5^i1T_1<363NnLM#yP*Zj&yPuP^hG&aRaZ9xXw2m_=O1 z?}v$P5EGdg6iOHZVa$`mmFdy8il%E-XA}r3zH4h9(=_rQbi$YuWtRnQMm(GrBpmnJ zy~X(jz#j)19q#*YsD$Mx{tnIh`Nh{569@K+-$YDcP&-&=8h=~M?Am%qI?-K?FfjGc zm9eGKt)6z_F6ZrP!f)7@Ey)0~GPVYysPHnUy5nA!TcPZ)t<7TA!Mc#JSZDUJbWEctC8#bDrtY(KNq0cu6oqC&%#{WhpJJbIMne2>721ZoCp|*^} zK09*Hv4*7sDlC()0Qkk9=wiX=K!`+@Ec}DP$XHHiLLIw?w68}*xz&2~@l?|xt$d1g zW;VR({j7MAy&d}AJ_m}nr`Pktu~V*pAVj0kLctU3f^Z@K9d`{v%b@6PfdgTAA!Exxu>Hq=->Tz#X%4;i+?m{s-)z zwh?|TN6CazV#vYr$*HiqMupb3DD|J2@32617$B48?kdPioC(P!uA7qhrS}Pu$)r_7P#e_71N<_B7S(>Av1VaJ{f=dsh+7BbE zJUz93@;rZ)c=lezGz0+woe(>9mNbKektaS!vD#A+CNW#^9>u_1p$I2|Mbw?RrBXq; z@1qE2G)*suDL*4lNL=qg-j;<`5__H=e72_H84pM>fd_@;g~P{`?fmu^WjfyFj5m&m zYj;pnC6Z&uq3B63e>nxR6bPWXi!pd?uj02-)ca3hRh)2#z|U`}yqwR?cl@<6l^aAgxJ06ov{dSSq-y zYS{JecXXU6pZP-Ok#|`|ph>AtIjGgDek?_>g9Res^7{E{lB@%U2v`&Fl{cHh(Q>o4QvJM|;CZgaz3_nguLa)V%$P$Q(N7mL06_q_G zl3{y5J1~^S-0!Ihp@{`qjL)6^#Vh!=4pPe9*PE!R5*C=HeB%kzMi4Q;4KLWFM)8y6 zIdLUsF5Uax6DtCAn}U500qC@?sdvOAnt56K^L4)o9??&G>zoC;l*hxvmb<{&tdTiN zGF9SF7b>AsZq(qlR>dQiA9{((P%o#J)*ej5#SqI22D{X>yFrD7x$^Tb_Uls_Umk3q z<6D|waB7H9@H^fH5>U5r+BDf`g~p#oWW%eMDXnhEG=c%sPh8^zzLt zI5YWMLOl>%J_7P_SG}|lW(Z3N@7BRQWscB3&BcfLHyMm8;z~~8j{NntLyzqDa8vl7 z^}GH=(+w`m>PNB_YE+w~V+7X_Y__Vb?lGaUmRqPTP&}AWKRGFV2mNd2rmK@fgja)3 z?U2a(7jLK^qJm4jemV5R2q~$zMta>hXiTvoMk7Ei3YbeFi*z3`n3wVR1^P4BgT!|;MIwLet&yp7uq_96Svk%}7gR`GS(cOb zj98$@mF6SgGcZfd;g7btg;L8jEC&UYb%>2$w1QHVCFe|+<%I2~d9ZdrZiJ}Nzk^@C z@6=h9cY+R7a)4J$yA(<-0jo!ynhrTnv~kpcapzF^hs4mv6LSYjbgUymn53u{Zd@sN zt#+T3o`?gTG>md0QZ6@-?i9?PGQMxE;5rce(sOQmYD>YGp+!B>a_vR=&4+Z;hT4=g zqQP_+CF7+z`WXQSk$$3=Q+kF_pKgul!|n5<3?(c=v-{~$=7Z0eGU@%lB|vJfkRyx7hDe1o^uUGj)rm38%S|_f^0e;npNqPMrFGS;!bK; z)U=txiJ{67o^&Q5p+uz0i?$O4I zA|^4$+}7D2!r|v{RoR%55NkHBzuCI7+sfwV*VBJ_K5ovJW!Zp3V5^^G`@?tm@*&>9 z!o_op<0_m{y0M#i@XnUmB8W2MmpDpedp3XGRL0U(5&U1fxS^l_l;tT=hQkPQJIvAK z!6$w2{k}neWuid*QdiMamBV2k?Ea2v|KOY_5JX@0-6F4VQ3@`gG_g!`X)Yq==HnMlP7~*&g zU~p@T?4gUBY>rbnzfmuJI%9(Fs+M*Hmv3R>VQOe8W^F}3x~FM zQqmp>GZEs-f+KoLvMX;R52|Ep>tDRIigX)-*lqet)9p|XN?S7DmAOd=TN$+=nVgzx zU){9QrtwpK0|3$0MzKB&4mc-R#)Z-|^Vjiy%&<&H=8&`XmZ1tA!hy57VW6UMmX>w% zxi;ba7XlaBC*_g|sVFh%=$r{!`)O!#V#w`-chWIbAOngwv~O3}tW_KTtd(`8jmw>S zH&dkUBWjJrVKIk1zOiIkD0+DD&7Ose7!_9l4kcl03}`-T2UU6=m{9MM?`ERl>d;KK zDDzIf&@nCj*F$oUfK(%uxgFYRzF1A?@T;5N3w-&6Z^nfzZg1PFz@ODY)fzDoXMMqK z(usgKiuls}mAP2MRM1*l@h~00)%OmbkfZkcTh8-&slA5B~xoZva&EL%YOd&5xC=kDy|pcM^D*tMS=&sZq+HgZmo zLvSC^%G2#CN|Nz>$=TP<$nm|CTQ&?s^=0hR1LUUV{hw|E)X=TxthG^1P^Bq{0sWc=`B}~O|*fh7+1O{i~~W^cN=6E z#9s!V-4^Jm&yhz=s*8VfZNVxF5oI(?Bda|aT=xxnE}r1o{*EUeeZi!XQU0@7Q>_v! z9Y_U5*!|$|Mi4x;{IYu+9rQHw38b>;`*ydm^B)zwQ>yf!?B|vw<8?Vvhzv_8s@AIJ zYi+iu1`n!0N@DD~Sj;2hB4X1`lCh;mzCW`~CNJ`8@`6kt%KlX1>c8|2wKHtM;7Jw%V zuPCN?V`g8fv@yi%*B<1&@|?Dj4FvslF2;$s zkFsux=>xMA4TjiYRHba<=HE?~g= z<(W_%e+yd?q)D=Vb;&z&18O8&`>v#HR;6GIE%Z6x+4(U|Zi-+XO;mUN80i@&tfHQk zT<1%w_<3S0yGK=LPN)|{LNMnCg4M`tDH)`PoV;xfp{gc1rAcazxmTN8Ua5;Cg=_gP z9>Or$l+dM?jsxI{h;fIxoJWK0$i8nT0h z?nyuuWT5yR?4&J?U1P{N{Li-qzVhVgI>x53(!}*Fx0L$+l452n8kLr88*=&Exw&f# z^Dw+w<5KS?T_7yYO({%#`#6ite`g%0f1xk32Zrs$g_TOsgy-35(9P|k)Hr2AO&{F& z^cYmc{$?I`BW!>IxUJ8rDF87homyLa;6))5N9~mJynBQ1ciAuzM>)S?`5`jn56>`U zA?INQvKA;T8cF)VJBODZQ8cAAKO^p2mjP8s`^hxtxPWZLvT(@EY1Sh(5#XG>tQ*X#V?#EJG-B;$&c+xa+w<=n6dY`Tyi$X5iK1nV7UhHm%(@6fle z-rE(ow@x37MVU0p9=MyYae^0@SJKyrmn|iKlZ?CplYuVjfsYjok18Br29=9+rw>pG zgd(@DrDIMXX9w?oC@$T*>)Y|9mM(=--0(jPh9;aNIW(4Xqyi7);g6@cyP-qR>Cq*I z)vJbBc2~PVA%y+Ks=%ZR7Rf5NI`h@cgQD4Rbm7WRIiX{;AYlNT!X#uhy{cqu+B z<>$+a8YyL`st#S82K3f7KMh}e%E;jaUa^6CCGXeAp2J{u8?6;VJEx6vjQtC`5SrsA z9H5;+w&~!p-H<$I;ucD&+~?gmsW99~!%*7WCa{eK=*GyRti%z@MpvDfa2w`+E9YeK#R4zg}|w{>fxJ|+14yj1jSvCJf=AMuUuo_6n28R>>PVc%-|54$RT zJI8{XFgbWwZ|(N5@4~?+Zzwgjsw?n0!oiDx)op>v)^*Oy7yn(E8+y9e`Kjq^%&Ne* zi_E{K#rrbiuBd*^E4oLQbEt%+pq|iHI-6?RZ|*9|L&k^K(fRG_A}0LzGw2<2+;E;Q zDU#&l+*^P9s|Bgq#)ScqL~28-qc1Lus*xCMptIF}(h1D=&(WMzYy`*ScImHX$@Ly! zZ#5l7;gF-fCcr(K^+c@b!_`@iSfFZt zF+GaT;vqkbdyV_-SicfhO7#oUH-=ZZwdzWRM1jib{=zmM_53!Yy@pSkBs}6gM5toO zJU(n&^=>OA`dRNgJs4CY-`q2ulQs<~!~H@lhSIigw>Q|tcc)OckhbJMx?It~LGU9EQZHV|t=c8tdM<-?3|a8PJ%JW0OixzSW_^ zUmuDFVOLb^y(>ClPrDIUh`g0#niIx2MtwU+lFX-nBs~cr-0h_Nz&K?v^45?}1yt{E zV-0NMlB)Ny#TFu_y~HHBK(;HNyy$LtfRF(}P8Y`A1I>Ou1g|ydPi(<0LD~Efp|26- zJ9wp`ys$2O)!B|;Or#fXhOQ-QGpGFS@ZNPMvm;C$5_oc#K_w$QQwe=zMvxW~Zq4+_ zgE=0yga`UZSVZ#B&weu2_#K#m7Soy>x(XAAQ{TI98Jwg@a5#5x(98EXhatN~K*D!n zf3x!Vwd*hSxRw1DVJM0JF55)UL#TfNxNGTfrk>$-aZBuqlxSo-t`#+=-%jUs{fvZd zI@?u2kS6&iGb(TT6z)(Hvzw0hmnxM1mSQzU9Bs36=NkgXbq~-`6^!`wk;GA{jY#~v z1f4ORi44=3^STEiCBvj`N2?O?0g`njcf12nltWrqAhx)~2L|$Af5JXzJZpF7;~mit z;TGa$w2FON2Idp;pYh+>miVQWyxp2F?&QBSeU{QHd112Tt_-9|t+?)We3x?o@15h_M(8CZ5m5a*zfbOL zplg&SOA>yTT2yqAd{4-3P76CWl`gDpb+tskT?m257qvf+u9Np`c$UFxP?poj^|?{- zEQceMn>Iwp%!JtWFRor9J%%z|HQ#>Z|{(%)^OVGNm55&z)vfrkvSTS%%7U8X^mmI)9D;c^iDSOT*|fON2pjn za)JD--@-xI+&UsyEcaKv4nM6DT)k+4+08G>+C%2)~^+%zS$_ zw;<8#9}Kyr6sxIi9p8MutNgWf!xK)I1dW@oMSGXCuaxJFh$Xm42Y7mrJf3EK8xn@z zc-&Es%y*1+W2A|%2kZ++BQ9>Z7`D+v^fr_M4N{KaT9I75+_~@`FB{;33xnvhEz9l zAa~Iv=bYFk=4~g}0FOI&{0{6>#CH6Rf7k9Dy*Ndp+l{^=hESkF)*}BD)Q|=oe+%Uk z9u*1NTKzpDn*@?)E)`cb9ebv7fG{C>5fI9t543IE^lk*cZx4UGv&HYzT z0_G-R!YQV|-Q0=^Qq7+D%ztx8GM2&49X*ou9&M%zDH5TGm3U!jVQDzhn43&pMGMfg z5BXlp$W{CfO9_ElNn%YZ4l(@2uro0DDwn_yYGooG znK8-lDQnfL)&12r7Dk+yFk>uEnNfb0S%2huCZ&h)6Hq~YE5`M`;ZQ{NC+grB&1qJc zo>utcC#qqBBnYcW4R*_K27{}!?BMmfN0eZBK}}?CYU1v2E1VczT4X1nD_o}d`wqmM zcrlkDP;J=%X$dee6WdXRIhEj_FNa;Pw>w^d7cBAoVH$yl7ypaP=W}!dl`jX46y-<+M_Fj$NNyruHW=;jvs%_Zy@;WRCv3TEoS`@(4*Blvw zs%*I<4a*=*SJQ1aLoCWdqW+nQ_I84{7Jc-+#)N6^Z8bN$)<&)JSN}w}I*?I(7rF6P zB<0-zCmSx2nwwvzNPaMnf5Hn6zMHA(ZjkRH10JoSFMee>ZuKF{O${KUkf01#o!9ro zjr(>`LN$bvL*0l#qB?kIF44n4kLeedvCo$;)4#ZGmr?q4B5fzy0n&vwcDU zB`xR`Fm#sY+Gx?R{?n)h76@lLK`23FU~{iY+JX~ekS5J2N3o0dhpId)_Rx4FlhNMPK|9{we$M3$s@XI^4 z-8gA%n~m8tXl&cYJ8Ep(Mq@X&ZQHg!neY5&&6)@I{U@9U*E-kPuf6vX6pY9RAbRfR z17--A36;UbIO(uROs^DWNLIhcg_O;JmtXvsQv7hr0~tlcA_etUQ7>?L{PQ`@CPbx$ zbcI=$fL3SjsJwb`0v6E&)qU&XT{e|6#PITsAd%HCxoD$4MobpEJ(^kab*K^4Mp57BWoU$moK^H^e~Sj4X_qxel;rBb9=l1 z(oyJ3ol#%2@%c)5vbRraUof{PJmPuq=7W%N$!4N)D=|L_5 zQUycEW|aZ6)cgJH14r}8Uw9UYa9>t);gxv|59MDFG04l`{=dR0&;O5b$_>fMMfyK` z(4e}Y{W=TU<~=>fn268r?Z|gt6U$kwlbKQNbux=Aa*-@7R~4SGF6v*3;;&U&b{UEZ zV0S`W-p|tMXWFI}&(tN}U7A^0x;*;%0VWu~BhSY$ASM4o5U^ZS4yrwt>uqlW*^}XA zAfC)Zna9a$AFm4T2Ifdqb6kz!8~CVbAR%wlJ0~?s6YW2N*=}@wRbb@}WS8x16H-ng z!YQ?i8FuieSLFh`B*{Q94u1V5H=0`u8>OmYU&3a|DinrBnOVSU7jhu3Ig+@E$D&s- z)e}isRte)}RN?G1eOrNG_4JT0W#s9nEutvgP@60kM2wi;r!iMcogOIRMu#~Qs8Om( z<<;zcV4=mN$O)W{v4hBiqH$>`#jiGp47=q_<}erU{7LUrXP4TzX}6bS7o3h(>RPzW z7?&uQNM(@tT6;no9)aMhb69ZQeH=oZsW{ilt`0?=aQVZJ(;`p=d zQASWDq#g5TLJv>cVUXbL&$&+umjOK8QO$;9j`ejdtM_vL;`=z81WmXfsE40&yxP^} zsg?ca`GS@6P&~{O_{DF^%7zutyj7{$y7-3eyk_stbt(xktU*mRXNmj90D3G@q{I-_ z{8!#uS+oH}<@^lWe_Ooj>(vwX-Qww15JVuSU!1$R9s}W9z`x(z?%b83$xg%gW{3*O zf}ytH++I|@YvidFt7dcfbv@``)!}QMrB>xBPpXfJix}QR922<*8~rk7uLs1?f?n=@ zbnMR_mMK@egDe!D%vjX4z))3!|6HS}P>~rmj8Bpnn|O(0pCa$5sT@Oy{zoP7DAfe| zc=P$e$xZ!PAcj_$X;A&WuE^?}0X|;O`DZp3kE6agfT{v!fBW?{YJ>jGBJiMDlzF)- z;A9hRr?mU*Qspl_jMgPp{<`ZH#$wYo4s|y;{#i8Q{~eP=97A$6ZqEPf{$eBL+X#WLpD9ezmt0b6Ha2Pxz7_$&N^ivq{WGsqeu^+Np z_~5jbP~sxRwt2PlmG`yvwfD8R{<5Lz9Oq7aOX&I!)g2ZrRAFXm z2&IMJEQhe*q;aIoa1{Q-V^(kyZ9hQG`*rwYXwo!5&#rb)Q|O~9vTiM0u)FN z0bOuEQGb2$Kz&sRC35% z9YnA_%uGyUpZtVz?m?t^ZU%UH$dbIG8#B~v0lMIjtwdOXcb`%SZnV@`W4eK{)9dS* zxECP@f4&o%@&K*i_B3PgGohqpaLi$XHM{; zT&+JYNm(fP1~AP~MZr$y!6984cLMmKo^UnJnZdYkj-9~#^guxIJLV@nI@S|Eo{c%I zyEAORPd_%fNc{A^T9-fR5o%BZr~CM zyos%m$|3}&eQ0qcZhG$MFV5aAJF;Ap5|d&b8D&*xxb`tBq4 z)L+c(KzpbN;NHr=<8KFv0q5$UC+q=|uKjOl$ppv(KwqaX$0)J6B(pWGkMVXyKN^4M65t)Rva=F&ij z4cMDwbR2LGs9;er;qEXr(g-~$5PK{W-diaU^A)BR%G(2e+dU?+J-e% z_BBxqDaDQpQTvs7fC*aIT4f_Rl{M{rPo|9UDf?6F`R=_l0va*b9hLRf$`szH=k0n-c z22ctmyA&QhkivA9=)Yd=L$&@g~= zyL6v*;)XAE7%3$eX8hV1z?ATZ)AZ?k8}AVP7qfzE%l8bG2Q4NDrs~9pVQ#G(p_t86 zBE}bT{dKWexnX0PmTwM+=mvymft$gre|s~|cWEVyGJpD=ZC0PDtgG+|KL93PV)hNn z;+S9cE`iijG)v@-Cy>@Two6!?_l#Jmf+*Ch0jRg3h5It~S+luO_%b>k0UeHke?VsA z5Vz(kevyYE5F;oV-W+BN4=Yk8V*55A1nr-kWo93d`h!d|(K_SBg1v93_S* zbH$PZOuO-Z#086rel_2R*MTeEzQq+gRak?LX^qHzk}0jKvpD5mHYJ;E30P#I4x@Z- zX|BP>W3TnmnYs@1g{g0GSt5+RB+s4$(YqQMK241D(g$}JIQri_bkxqxG9ZVjQ+Tss z-Kj#5?;w&NVdETKp+QH2!uKBf**84K{8CW=eza-&B%J(b=_;HfY6EH)tJh^$zr55| za!xo5^zhp}7lAF{7b+KMvoRy@T)&5-*#rSd9 zwh&$~={GsZF0*#%sF$6`Oi4DBs7B1Ag|D-;&ohq-()? z5#K5gjh@}j@4CBB4fIyGR10sKumAdGg{5xFYDX)Oc<&TWEYi8FR)Tm#Z_Pa(DwI00 zR8HlQH#$P?rr7V}&#tIkKqXAQ#>GhAuaol07KzaG?$V>3;Oz5#P7SY{NMGWQQm@Hp zmhgsuz-c>dr3m2P;FtQe6lzGYrojq7KX5d2{a4b|-M-tiDhHskzS0eGb$1;>Nu9iC zP(YvbkWpMOrGqHy#1}tQd;8?K=ZVkM4#qUj4|&=n!Ri@@W~GSjJD%7N?U8xT;aj?C z(cweeZeEe?KwcZd{u~2aB55Kw1>DLd4&}%0az-cL69ExKIm8P=qeDHBiD^f%`Wmek z6%~fzk8$}(8^0XH$D4{0&qVH|nrYaR90ZyR9;OA)uUgkrrSh?%Vbn!hW+#V~sFqYy z85h$dj8(?MYo~!V`5R$=@jc z&D>$c??Wrvra|=Mh>h~xozDVw8)HlI8e$T-BIb< z`pG}pHl(~ly_7)%oe6NJ&NfZeH&+6IUal2uKLAD!i(|63N5|3kgLZ4#EJP>%C6ql< zH-r*i0pyx*6zGlylDVzJjn79b^ml|zPq2B7Gk$|HdO9gt`TR6XFE;(vl(m6FFmd&=UfuiLLBJ!8?g30z zB4ge*@m4_2Cu{t9T`?1##uhH!AH=)eB2|s~Wuu8c(e{n!5-LFOl1WRA>L;B!AEMen zj^}UqPv!ouv|hCf4R}8?J!MexOR3m>w(|(G4C^zvoFP{|Hz^v_8-*cTh$yAj60O3< zRSpoghQ{P8)k2co{n~ienbX~a!cl=+^PGF}ESm#8rIfTp3S+|*;F8Qo>gL-aLqzQN zmBP-GjsZ*^yB*g|NO%rg9 zxbf@_O}AFIkN+)h$&nNn`l(M>O6$Ol*BqKB%}j)A)3AbJ?&qnGt!dUbU1S22U7spe zz)IMr=o?c)p#9wEpMHWnlu;GFU;I()5$VM+B;a1G@9zM{m==D@=pM7WYR;Qq9Ql zW8r+Hv*@yX(wB6iwh128!z9c0bMg5egOF8XXmED*VSfB19&S)aOI!IKz3{X6nQ@w$ zU8WI|%3esWewnAqL!;uSYRMVFj}01=X~p`Y#9GPcq1@M)^K=OggVQ-cpUf;O)ia_E zAnj&m6!ePVfrwhJ4vgjH-tdW8A)`KY*)C@Ef~`!O`s=(+%VDw}@h6HiIuk?D+$vSI zvpUjO;i=9d87bnJxH}8Ie>QZ5nQR1EOaI{O7OC5sYIoI^cGST8O14raz7IK+!EO`f zIeyPS2qE>iZ=Kofn-~o6jmGbwdL+aO&R`ML`XrGuB`%b$BbSW1`a4CTxGhjte4W~k zaS7E<(uG;8W#k--l&m`IxdPA7As1Uz!T;dDE9AD5>)z*nYNhf93HG}Te*Sq{YlaPe zr}mVBaKbdnGL^)(lTEmRi@bgyphaq8RLtEjH#>WVrKT}g-va{35Yc$ntTIN+ZEH}* znfG9RpQW&G3*~W1x&gNulBJf8*2*I<^4`xvjCh`)mD9EQf*W1>Vz2n(}5gP25z z(vC!Z%rXyBKOz#qsKWktigynPDm`RXO+=MXt%bm{9`j}Pv~BMNyq@s7KJjhZ+z+1! zVD%z1O2`kx3&5vU!`L0P{dR7V>f2lp8Zb9Eth95yP$u%-*FxT#u8|;18sEk=SGZ>4odK69t%mf`C~hvW)%efn^^Qtx61^Jo(Z8j} z-XC8g=W7bHFpppP@1@v|^`-p-H#;25+7IdHxO;X5lGO0(VeJlP$r2M)Nu&1p!p?+8 za+s`e=f5)7MwGegCgDo;X6t_p8n7Oq7peD3rMiJy&qOqWKu+{zEJqRn>z=QRcNz+a zl?&zGX9{sZOEkT_#l6q>{2ykU%6WgF12!r`V$knL??hXzHp`l<^!`?}_i;|$J-El< z@&Y}iiqK@f?rv4TyUC?Ebl|nQHmY=cj^YiA&iYK{~zsY%Ik#nW75;;s*|= z1){>KX7fde00L@73jHU$Rr#}t$V!)+-^D3=UUF*yoI300KfK=%gDUOp+jx2;gW;=N zgw0Zyl7p534LD~6?%&a)G=q+VRPkdPp)`r;F*5IE>lfVRU;+--FQ&VAG)+q9<4Rf?HSwOn>ys|?nGoV~m2|m| z)VSNr(Lf#fF>tWYAp_3H4 zRPEF>x&4FE3_Oxb?&@)8)QT4>xHD};?U3F4=Y!bn_-bogEEn|4;uTDNm3B&FpPc?seliY)r2D1ZU4jZ@d}t>xq`ea6vpk;6v_= zYW_P9tRID5Fz!2r^<{(pSUprUmgVCpX!gT6nO$;2$75OaC!UPV(_2afPTh6hZq|uA z?cwX^;yFqzO(N-F`v-eVD2H&7u-KBvrRFp|mnfUCz6?`*3pEGVmiCt!XJ9gY|K|-f zbLZIL4=eDa2EyMHs*CQblUP%L?S>7Ww|mrzB+{6i=m39uW1ZI5O*vBlsuB1(0WH+c zt1hh*+XJ|)fxj~=OKv7Pt<*kDPm}GFb@J%6c^b@P)#=G%0?CY#>~m~vWAPp7IJ6Jp zJ6RS1xzG)WTRKmT1GDU_0Pp_4Q(XCV<01hmZ^f> z$zhtAX11b|9baxp;XFHKD&r;Gej#;DF@w5;2M^36WPgdKaF!AX#i+Ts;TUT4u>M^f z6bGskIraN!wN#l$Ba7iigsf}oB4LbKjiU}79;+92Q1p{`3I2Z4Xja?t@X^3@$W}gQ z@UwoJ5rs8tbki;iYw7giZ?w3eTsi8^6}~e$fxdJS)v}*0+Q$sGw-~3;{cr~m>E>JtE@Rc=9km-H|X`fNffEZ?58D)wttya@N?1`_T=#K@#=F*bm5Te z-I|bIN4r9p2b@NkFua~(tgT)Tp4~R1K}-@PqLa)1;hr&Y7G`G|w#2seQrpL@RnJ#Urm^1!*q97KeH=USGGBe|K3F!NAEWv&@xKjiAc#O~{zgFZXbzOKq=b zXw&}I(d%otJ_%a?*>1!q+fwMzS~K3{*~KS8+KcyG{p}C)2H=SF>8Tyc*43jbuTOZ|#bvU4QjV z$eAgh&8#omT#`rXY$#uwzr$Ew2>$37T})s$@ysU$h>B8fW*LS?+!Ap1QKv0(Jmljo zrL1e583d{oJo23mGq*lSU1RtZs6^-Ozi-)(-mo@4C~}Q_{N!U-`W~mMw`Sa-he(`7 z{z~{7HT8}cxHbTJ03OL{9T^vh@!W4kLD`m^Mg@eUCiQs z^|R?5=wiE_V;Cqt%>^!vt=7f^i&0QKuE2Dsvq`ZI;y|5@%x%izoON#2gbfe% zhQ>8|VQ(NaQc-?tS$%pZ@|g70@2sqR+qHT9sVZ-J!VpU}k@kvnj@^u5Rj9=6H@;}K zhArKDe-kHz?Fi4xz?QqCo<guZ-Lpo7vV6$SSA?~8T&C% z>|Qu`rn|lJmlV~a^6w{Ww{+S2@@g$O%+<0A37i$nJ$nKjv7Zw|UkW-i?>7P%X&khE z6nR4oW^|U?(Y?q#%5d>=rD)1{mY31kn z08I@=AsBApKC>Ej5T%52(=l_Dqx3ci3g&XTtj*Fc2vW+L(0cq$N6Euw5GD33?{uMD z{}LzFN`y@@C&-npPg#@G(hvTE^^1IqwQdC2eXL%O;OWksF9z2;Ss7V>b2ke}vHfOw z<2DiXc?PNiS&w=y9@p0!M7s}#4A3uk{noy(0l4_OToASV%v6l2&^nsfaK52AJ5K<* zdi_kgKffCNdmzoGLE#>tKlVq@L&mLhwb6#466$2eI@J1WtkSqCRWt!$?uiuE530ur$uO|@XZJ(>y}|Ik_eoV5&Y3M}&BaPG z+*d8%$=to1C?*#Fz1Tbtt7a?L@Y$MWo!ZN>+!2HtJZDu+UA|B|ST$^|wmtu=^mmru?l07%#R&@F@XA+#6tf`h zBJwyRXiX4MMcbO=nH z?GK|~)92Duqas=24cbmyo6^XEqrf$&Q2G(=%`!`&yVK1^CsFD&o_)Ay;%8=Tco(SUu9&&ObjyS3~V8Sl2*o*DFtHyQk-13wW++sC}VQ%Tauc$5@2uM<`*M`YGiDctlD6?J z0kb$ZgKC#tC4WIRx(R`>54{HMk}Z9!;rHJ(3}d3<9>>4<$Hoi0%>CSdDAO_UW10)S z5j<)#7*tRg!T%Mc=gU%E8QhvLL2A2R=DjpVDrH^Ax9KcV7{{Sv-4wnDj-cJiOLaQcO<8sNTx)ct8&GEXpySpRzgNaS_u()u~kyB;| zy3iw&=aCls=M@FJ(2z>|p4|Ss_MZBxdGxhj@;YjJcD?ky_T657tYta-b~nP`b4f<$ zfR_L}GR_SCAK~JHyn}psh4y@Xg}%|yh{}`Z9@%yjz`=y;LqrIb`9KB4(80mUu8m|# z4~TyKhqx>}I>7w{!SceOlvD$ANl1I9nL*s>F>zot0X}&sV77Yyn{nOt8UG6Qe)*oK zI5pDY3-W`m4dMk8adiB3wS5Za=?({h0MiS$Mq0!^@M$N-GJO-vFePhS`ID1_ORlVR1|T8Mgt3HnEF~egGUncaOuq`sdk^zVr88 zFNuO-d-{T%*!2nDdj_B@p%&rR;4WM)NBMM*Z4foEO^BjjU7-Y!b>8?rmO@F0^tc~i zO+Ozy=^8rdYwT>(OVLd9-Y(;zY!Ukmv6Pi^i|d}E9y0|$Z>M2G!J{4F;-X=rgNq1& zqY2ltZ`UA4eE@=_-J&}+H=9Vk0mKfd{`;GFaRz1I53W#|XAln{!Aa4#;&ytzph0bY zkPzS~N-P)#sE&bsHz4g#CM3rXYhU*-xH6KSgfB%u5wNeCZD6bF8tVuwwC(jP74#nQ z`r!KLGNIN6iuxc?5(U44g*!k;gSdeUi@bsK|IzmY4EXg6T;xU=@iZV0z<yx?f3l_FbZ1dxb<*MjB`d>o;*T)o6Euf-626(Cy?14SHeQ{UBKy9vy z5+5A^Pq{(CUgaX6q$vNHW>#LA2S2d6L5G~&G)M)o&w-$~b}$eBkB_guD)6S1xW{6i?!`$9sf_p+fqn>J?_c>yDi_qMOYyfcZH! zo=3kv45LDj?cto5B!+3)aW@&{(%L8>>69tDoFhuL`}gFstP`I>B4^7e*o)HSxT{9( zGXu6#s5>%!b7s2=clMvV+G7s&D9p+Ub*Xt>u(P1w| zbe|Ph??x}dz%y?!Lga2xzQ-sUi1$|~nH0lEwBmbEnR8dE3P8|K$5$nRq#sX}E&Y~A zBxt8*$~Ya>7yoz5)21(}{lyDxr-fB+i|qWgKOLxw z)>utM9Cenn#v0WV(GcmrR&X2J5bd=|eZR3S{QXKuC#GU8mDju8j$0x$m7JO-T3mAA zde_~tZqBr!9hCp+lSFxc#rdzakTtfH{@watvzS()QmDhMCm1{i$QqPktn(ep$1gm@w|8OLcZ~QP;8^ zn$t7ag4uy`|2$?fI#fzNDDrXM+Kjf@B(|uW_uisN?N-<#V*v}XRRj6E$+}**1QR~8 z`8c@uoqMxM*!qYlW3~jvDMCT^mx{b6F&)P=kaNhOP&piL#bjZcj~g3I`Oh*(nKsnG zRwJH3^M?>g<56ghTyDM@bFcQGnw0eA1^DdDwPqMD)hW`mQ~}43Njw+m`` z%LTeTb~-A$FHwC~(I{C_SXoE5g!~0AqvP_{R}z@da8^uwzP2G=B({@+0V4uD9W$1( zil1qYidy$kyP@Wk4pVXNF3rL8#gSi=g-Yd%B-l%~*FFemW}9`4euPQ5orBZW=B-Ir zT%3+v)PNCZD}0qH7To8*nWn+!${@6S@AWjJT-5_DGXj~<)7J(3DYt%PQ!=&f`*-8Y z4jW%5M~)t{2({iNk-qP?lYkV@2ugevA5`}u6F5V0AFRXr%vVVFW>y02nSEKD1 zz@r-`+FjG-{L6Y_v!wPjI19on@m5JxlpRZs%7C}%Fv@KXo6AKfO@v}PpJVa-$&VRLqZYKRWX&%MHhIfA{i!=iGaYyV8 z70g}IISOe+P~wwP-bve`-Zhy6am7_U_{6$8W~74a`GL?8pWVW!afSZfDc|M(&evFpgi#BI9K*+9uUkLG|bg{YKAK zlh`E@#zDiQcA<1(aB z+GOIw$8BUKgR@+H>jrTYHb9swNCj+!r849;<#zYQ{lrX_UoUEH_R5Vc3Cx{ zZlf*iT3`I9$=A5MFqEcVWdXODK`;`+uZY6`Yp~;&w_Fc&YGMffDiH(#jvHpM?AmhZwfozGw_BPdNRTeapB_p!sRjt_(RPD z^EZ)88g#Spm8!IMLhJ1sIcT7?E#giM`kM{Y(%@WbYQ_)8G-?;vu{+2))98JS!nOAK zy!>Y!Dl>b=<(yS#=DD_@Bi{A>^7$e0fd+;>f-0#ozK%WeptH*pDJqjuTFf}1VLENf zF6VtX@R)oVz7VO02A^{Q>yvh&=)RL6iccp{{xl}}0QeHoL}E)BNhz?U<0JKm7!EJa zYcfE@i0nac8sLQR^GIS1m7d3KLwL?!8=e-=Q*Ey2u4{;tX#_zZykfMx-wCT;PD+Ew z;yq{4ud4^0Orj%3B+}yr?7$-K&E(~Ay5y(Ft;Qg9=N{NU?+K()=JlUwiFPF&hDo|a zB_AAV%L#_asnC=4Rx$veDl>$7$TRnBHVGC=xj7?Chp0A6%SUFe(&WCtKZ!U-xh7Ie zr~Q1hvb=zTPk1MWfFI@OM-v<)H^*6FwRKXoXXmpjP}Ax{$`n*~8pgA}1$HOLlIpJ@ zu>#R*4<_5C$t)2{l}VNde+b$4qub9HA^dP8HK+Tg#PhNk`wC#P4E&uY7D9nh2`M1u zyk^~DGL25AAWA4&sS%XqaN@f<0%y6*6!y}pFRXlB_{Y%Y`Wv#PWDWMHmj+$5Fv-|c z-!l>Bv}UWNKlF=Sm;=lHlFIk7m?yLB-#UbcjTHy!-c-atRosU+yK`@<_W#Dh&DQojgWI=-3sVEqkH($Jf<~qT(;H^12gxNVn~=Y;SPg+olkjyr|4K+l|wF5^q zpAWwH+(Erj#%Fr#(RcKf8|~{xG**y_)6V-P+b8*1sc@UZ%0zER2Z4%cU5DEVNqO1S zWx%a{`0nkj?#n#fuR5DXqT`bVnpyd(h;}LEl3H8SNlId8_QXLi2OteN7WH4y{@@8z z^Ev;}b)3N|y?zJlm|iVkhO#)#SCAan4sX%NiK+m$exKa*lLn&g=Z=CSXSwRKOc&BR z7BE-&nZ(k*1o^@@K+@d9hf3;z4a6-ip^_{Jjg_F-B{uJv;hFCQ$9daytHk6{u4w_1 zz1sWud{v+#J7|Uj3eJvAnI@2?Vd;LK(Q*Z@LO@^_pVkU5Ims-Jn0TR%7M8@Wff(0` z_9H+?Y)icM)<>j79_~x$|8tUpzct9*)_h(1bpt{qnz2MG)~ZR+Z!a@@7+sNoc8Xk2 z{Kuo(SzFy~a zb>DGqjsmW*!f+9lm;O^SqF;`T!+>T9*cMPikYg8_DcBLwwvt9SI(<0gn-8-k3K2#| zh9aBjTC8fUg5TDuv(wRHdWTf@FT@ebp2!qq*VkODSZt77(F?%R{Yz3`uc<1&@Led?)JWwjM3=KLgp1h>{@ZsLnFS z7t0v;_ZNPux6v_*Ai9maiQI|OTUMaPtIH5q{j8RU_0M>#V`K`Xy3RSK)b+#P*}G-3 ztGB`Em26XhLEc<9|_vrKcQJV?0ANAs5$Ey1v#@=#laJ zNqb4Qy4xlK3NnYA_soq;&Wa^->Dg5|5DA_4NCZ3^;%SMzL>!zJ)Gc^Oz%C$1O0ju5 z%wNap&ClJnwb~GQW0t7@bQ2Qi7`@fPKAdtJ1)k=|u5yXt$P@KGYb=^2IpZy_sQ^bd zvQ8S=IT$W2EC@W6c_3KzZ**f-sM5Ptj051VN}dk8zBd!k(slW96+;rgX=wVO{x)~|mJR=1!4Huv z5U*95KrS|w-qViDN=RGLnDGW@yK4aNeu79nAwdJCafv#v%4*g99>I-hJ47;I*`7sH z=v7l4@SzC*rM~`!PxKX5;SJfionpH~q9T2>x|cX0Kj*)`e~`nTc>^G>41*c{82TkN zknFg}-k5F<`-3oOs-1bRv95_oFBZMUzU0r=#NIW;A4Tn#2_}-x8wgINdv+p&5%ue( zMwHwiXg}50=Qa{%v0cLUBGLXBy{beaAL)ysf%f31;DhS<4US&}<%e>AAsGlbIY-rm z&$fpTY~})iD4ecqL}CYMvoR^lQ{V~ zHLD^6gMoBOjl~4cbNv%)M_&{w!IsKHJ^rEMfv?r+IC3?f;1Yn$nRc-h%3{+-ikyZz zr>kon9i=3{gz2uMVxiei*yzxfT{s(l>x+X;h}w>*>gB9$Dtlz?3oStchWBimUckS9 z#X0~>5a(U#SoQFZ%j>bF9qW8>^k!9agKqK@d~)B-1+}lho9S4IZldg%0=P<_9`wXN zNex*MBS=u$;0ur;89p8w*{c%|H+88s|1cA{!9G!2%xC<*B|vX|C`-b8kq55HsP3Vn zS#PJi`he`BL3#S?pZ*YD$4VjC&KdL{v4ftUtok-OTOaRIPlocI$P5`gTuQqq;J1E* zc_d3N`1;GU|7E5GdWn|#v^JY$lKU@jeHb-F z4h{w$lXdiTb9~9#!X|QtT7sC-quBJp{Y~eShG0$APEIn>C>2xM8yJp7cAm8d{+QUx z>9dLz*Bt+go7iOSl75=3L<5RKYwF~`qEBFRKQTR# zoRXf#s>#t!r2SgK%ItZ@15K_%CpqTI>2vE@O9!sckA}_owns{|iw^PKS5^6MXqL>L zODCJE2i29@vhNdYH1WFqtz>{-J==Q9qfc9m?gdIU?5$ukDCGlL;ST~YB0~i4%|k|o znIm82CpTzZTU6lAtKK2$b(L@5@c+{v_iRW!p^EJ_)O6P`D|Yu>;V^>_ z4isjGBlvjs|B0SwS2uILBH5&;$E=NG(vYRA8j)}}5$=4Ks@O}1m|N9`e}afW;GAYX zGY1lz-()JF81XPqOcWEE=rB?ggahH!=qS#~edJzJmwG!VwO#JgkxvoPy^RsID0XfX zP2&!GMQU_s#~F_bGckc_&GlYX*zjv+ZQk~0b|b=e1m8m(Y6M?&BEx*xv%gs8P_s4 zptrb2zi=(Cke`BN97OoMkVu84>@jnod6@`_{qN1Ag%vkN-WXO7y5f-e6)_mieUeah zLGj@~1C5?X(Np7QL5{+Wpywx@wm*v1IHan;?~82$rC*9S-%yC{i6H(6DGGRy-7NvZ zE_D zUhA?!<+?f}8kKOeaVT(HlY#V_d3Y2;4drIV#V7Y_zVxe{N2CeMHRjC3b_$w-_PgZ(~1Ct-L6`{V*x4zY}ZOTgXC_uZKj3|)e$2y_$-bi z&E`993L@d7VIT)=!mc;kDsIL#Zt|QuCNQdH-iCPwZ*Sc{>o>nCb;ac!p0{pMKW(q zu&Q)O!>?QQULvbWjV<@xb|B6*$1d%}*G=`QZMYiL%N(dGW!Z*w2stO$+~ZW{gLQx{ z>nv58f=l(F{2TL=ZC^-A5@Q3X|FOjN@1*lAc|3#*O7xnICwJ@Q^5Ct=Ii*8uA1*ha zMmNHSYINzv7U3_HpP47CX3a-uJ+_t8y1L6b+e3bRS0}k{4M&3B@HE@;#n$eD^NI{j z_}1`G5k51O3z^(I9nZRAy?CQge`@CYrl;8W3fQMUFZI{1jeoD3v=fRzw#MRYICml) z#=S4>iPVo}j4cxcD&Yf>#&&{l5QpHrEJGk~H{xtX$*w$_Md;bg2MJ4v_e+1Gn$ywx zt9p6owzHyU0~gSX$SwUJ$oSCjn)BGoQMaS-w$}9hbEgUP@e3hjJ0Fg^ua6Q9hih_b zn_c^L7Y3M75h#`zSn4D|`Y2TT8MyvwqprfqTVp>}seT%(Et(p%Y16Yo(gf!*rAbMcb)ISam0tVYg6 z3@5RTfZn?X$8w9Il!3F>=+;}_l=kI#c;2Rv!BJ{9lJ_;5R%{ZWX+f6s-qVm_3Otel zg78q!gV7zt>6Aw(F?j#YzhyL@j2v0l#P>&esrXcmnQAua2x&M?JV$(3uygP)0<4yr z*;Ao9rD{KnjTtQpF2YP_8k1Cp&L;CpPF)pY-hM|0YCEzi0_Wnw5SO5i=R_a+C2PjV z)4Uwc0@~q8R=B^wIERQ4!8Vk&91^_Eti$Xb8eP^lh9Dl+ew*xK!R(Bl8U2L!bC^DO zclcIIKaMqcL95A67qT!FxNJ#( zD;Ayxk>nIJ*Z1YoF}B8M_2hRKedoX#13_Wk!kqzOX*Rv@z3k!K1A{C~_D(VccE@7{7|QC4#o6`tg+!>dSh zCWG+5K1H<(=Q(6(k|F~o-|sW2LV_PynWnV`Qv1+1Oy;{oh)gLy8gaIem2+`#j%2h` zpH4fI85iV^z+7{sEE23;az4|Hm(dk+jCz@m?HpY|pZI$#{k5YAW8zC4CU|UVa^IP?tI+P7SpP};xV;y0aUoZe+1}u8CV^QW;3WjkgKaQTWRmVf7j(awzLJRH zwkhCR+dp-GE{Hzz5>!V}bLM0TWq_tiAJsOS|XDRFP^~%jFp0jgO>Z2qzJ9Vl_Q75 z-KboUI>a)d2}&4x9^qNgxFc;ZIsaj<>kYzE30i(@kSbwd{rC%P(N2*f@vfhyVcX}w z0Dj&!P6NR}2tjHMBskW8e3g^u|M68G4mRHZ!&iAZxY_@QuQvb3S1)n6N+=5cnxKG&lpYLH#s z>i+aYeTl}o{6}KQh;5Y3!eDbS2w~#fUBUd@zzy_7S#n9?pmrbvpg!fIkfmvBsS675)F-(LGfVnlg8JB+tV;@W&ifaI0hbSX> zHvtSyChw20vna?&;yg>^^Se}CNV`7{+|D5o#7HR3I7(^bV!`wi7-vWxJcM~^>Kp`tHuYDDT+N_*b_4HxQ{djsK}I z9XFJy2o5UH^EIvYg?aZyeY>p*vZwpn4m8mrA_TRjgI>Ob?bxNXVW+#{Q7c>}1Z?~< zJ`7O}zT_4IKut}uN^;uj!(WeMWWWS5mnfmxXP%iG3o2~bF>^9qSi zE=0435nv|94aPM%y0AG4e{^_6g@d?(5wkW+1LP6Z2i9Qmiu@E!GjL$0Fym^i>t4O(m>HWOCGQ*Y)?+J0BIG# z$q(IvhR|FIZ`W3ZLG2EhZ@*AQxuyLt08Bu$zj~?5#s00p7z5EQJ!Z1Po)*jS$%nKkx3yOlXDSj?2x$LURewi(H1E^g zfczw7%wBbj4O)vfj7U*Vr&SPcyTW?wUWvcl+ut`&&_&r16(H{xxN$@miXe~{>Z6e2 zL9f)F&wFy4UF5cxPUvkeOC(9Gp_EIbPKwnhnV0zSkks%Nh^}jw8DW!vwMUBAnwP#+ zXao08x#EU&2Jxq4Ptb;0M}K--3NOg0`?r0Z4(lHyxtK*;?q7GnZXao8$^^c)`A~e~ z=Q|*-5oMQJVWH2?p_2ohBFgO|WO26uVPAZd1*ZsmWOWyuq_%|!YS{oT_+O~q@G7R9 zc$!kVQxrdr#bYOTm9yU@5O>S&h;fb4h+Y}84bA0MEvCTGwuz#6wtp7(vy_l3Vrq>{ zkU@HyaY~%2D2#uu*t=3WGTyfvX9E4Koa(6nwab$iFS9HuUwNCaiczl->iK6Q4Fa8^ z%L&pLv6s|zEMBll_77j0XPnvbVZiqy%F`k5wj*4^84m&&&~*7vn<E6v*UXGL3T28v+VTQ~*KcmU@)Rq=U19H9F^W5#L$vUGii5Gy=^GK5u8*S5RIq<&x z`TE_^Z0UOz;V!3aZ#U5k97Bp`+0Q9PmpeO|B2oZMGQ<$J)_;58uS5PJk|4Hk~7Enb@tcHM2gT9ZzCby_h%@!H(F$1D2yx3Fv!65;Zu1Fpf+=V%CPVi~*@a@x8G-0#1A8%9z zGwN>4#j;QwfqzJhmn3Va^H#%kQRTGI^)mE@4TV zo4Z?2=wBE3|I8Y#Pn#^IzsJo`!KbbK;jZmo1Cmes_0AB(WUflOWre)q!0IHp2Tzp% za|hV3hIrN9=qh3XVx{Z1$QIn6PlOz%xPg>T3K7pUP)DCz!igec0bG>c9jZN|Q}gy${dY0-_zJFFTJ$J$ z&x-w;Az~)O5@x9^hiDVtT5nroGlB@&dz%(eWPkHQ%fKCqWSf@mhp5LrVZcTDdLMF_rf>P?WL-DR+oZeN3gx!U8`E^KD zMv;$cdmznpXqv4_N&6cjXlP%P}@jT7FqkkVsqw%&X^$lQhf3D@D)Dz5mi$Nqood!ag z%iG`UUaVrsgAXWGNr0r0+>uB=c)WaLLQ2mm+Bo$k$^!D}tH+7_HR|Y)+=%9#kZ+<8 z1A*anJQJqUW3PF84W@A9tENc#{86y6mfgDfHZ+KrE0B`4Qc$$%6t}XEo8f+){eMWh zRriF`pye*#ts}#$QB2{uE!qmW+kEGT{&SwyMJ7&Y&<9kkpq5=}Ncwp`Pai*%oMuqc zcbkX)!vFiyJwC;<4F3I%Z22g@@-5fybFIjLw*rB3aT5|-{*(~j6X4p-hee?NB7}jK zG4y<{(uW|V!}^24)|T&+fR)*Y45$E45k~l#U#wpzy%Wu3DjLF6)B2g&u=ke;x?XKF>9>9}K5l_dcPg5BT%a6}IK0VGpj7mg{ z%cS~=;h7U^f7Q@-KVk3ja*U7LBx-LaVzS;Cl&c>Yr!h>wkUUrRB7ep1u?Iv~M^7p< zZyTK^{H#fsDc}k^W%GqMCL+JyrZJ~sTB6}b4E-5dSk5Mw%I;V7XG}CZqzX@2s^%-H z-rS`&B_h7`8*ib{JUQN{6`}#LkoRLfMncHe-e9%elQ>lJ%j@CAy?#4KjrFMvq970z z97}mPNjQIe;+To9H-BEzI|zFUkm~?1zoThk^UzJlLr;Bu1Yn7D$JF>%-01{=TuiOX*w7d*9HLd=%@6bBlMWYTLzi zI|dvpaesmwv}7NGn`;X_uqYz!_1k_{FVE1^BN3U%ILQ~Oz9>cg*ym7&7d9WTyvI1# zLuMIIz`A5m8&Y&v8YC!miqt(Is`AMTvibA^UuA^Zr1Ae^n7|(vbs5G+HmcS7t)R@5P zi)oL8?^)@!q0;pY@7s5`YS0?k>Pml-U1r2Yby=Y>;;W(pKrE0>tMjq!M|qlsEG5+T ziyc;%~tgJd2Om;S}Hakb>@jS(@ow%#Z@Cz^?J5{*E9`1M#4 zeI1vm*^=Ej`_u}Gub@q0TKW}uh^UcAVIZGDYRlFC`vm1GdJ+nmMx@>{{(mx_jrVj` z$T0oq6OVYKAh&oH;Y6sGVApniE}yMRa@*&A-J;p$LHCuse#)8`rkL$hK}#lZhooPw6^T0xe76cFhkRk55nmImTsS9hPM10@OG5zg#(J{$W59QHcuh-4#`RUA^pz;H*u z9m`EuFrHE#d2?TCew@U-{5f`8Eft>B52^XNrsemJFK~119)EuzoMl*CwwR|A>>TI# zX6GJve<<^X>B#pWIpI@$7VYvEOauIRmq6A_)(ua-9Z{I*2)&fJze}NP`C_UNch<9& zUl3Gd7Q4R8mwQ)QkzjNr7*#iCDt?taO0B6zL&jU{QZaI~4~#Bj6ffOcJTRpX$bs=yfmyHTt+gUQt<__;Zs zj~7E|8IZ@w>iN^J&ml}z4#FikkB6|@r5M`K5x zh4SB~0)mp?&=Yc)A@guHcd#3Hoj93Trqr%#^saMlEZLj2s=k3Udztx!iulcK1*h7} z9?tkmr9wU*Lnh!NC}Kw9a&3+#V+{!(Fb}&9C@Kp|GoJC9Q)&DmEM*|c$1!D9#8 z2v_@z=xUu&k+~HC@)D?Oi6hhM&hBP34c>&$b4nOrbugjEMkk3qfzbgY$M8rFUv?}m zY!@VgFxKjttvaTh*{0Slk*HQ;P6p>`tAqCrUw^e;vZlJ+iekeGiV0hNqx-I;-V&rL zMpvF-dcBpL1(at--K@TS6YW_nDLwG(SbiyQX2hdxtTJ8R%K5oxVt@Q-M3Cm%pg`*Dm>VONDYRbGM7#2x*;+6@ zYj{|?&a)s!%lFFZYqMXNqKh1sy1}It5?|+}NR5qF@>{$xPFOn>d8)uEp?QRAXnG-RF)CJ6vD6N&4A{ zB=XP73v4~?79+Xy(j73m4DbHq!Ji=Syf?0*Qy3j^=xOugm>e&shC2&BLh;B zFDeH%!G+Q#OSaM3JB9>gEQAss5h#*VBWb{rK_=fZ;ESG)=fm;1X9-_=bPbF8raYI` zzBNF0ew3QrIWee1IwLgXr;GvV-_|D@oqs0je%^GQCX38_vxuAdcI{mrbAJ|LPa^mO zn?w=c0iJAdwaTPaFP=1D0?_R69`d%TGDe;Gle0|;?n1*bko2vq_B@1 zXuAi1fS!~iY&}#nG{-IfFE3EyhOJI?R)Jl_M6o-F9yk>QF~ni{=GUm|L2KvW6NV(dh%3%#6`5o;>E}PNq!T?&)Ls9J@6|HJp?C0?)ykH4Mm>4A3wLL0&apwWd>smvrNUy?a_NRMD3bh zt|re2vTEQ+H3}NBzJDy#?1qp$?ToT|7H_B>D`?nnU491YJFF;K1tiLi)gXMZzSO~` zzS!fPxZI1dPJAV%>XMqdOs9;AQ0XsJf_t5KFD%sL*)K~1~^(^an3Jbf3dwvLwZ~cnPSYqcBzqa(m3-pfD~$^!kbvL)ZJQr z7WsJ`P4jzvADs~tU5^=M}Fyw_R+qzomFY@$s(NDNG#mcpZ>oqW&f_$J z8}?k67=Nemwig6&Ex2L34Sey)+D#_B&fxq+21fyPt-R1YlgDFOoIicfNT^3x1k(S= z*|eS7$3!r+q4tB@OXnoQkGhZHUB+k~&*sn$WGtZQk*iC9Mff%c_k;7;ddDBv3BnAgG%hq1Te($KD#fKgyUX2e=%#}cfuJSO^fX{lq^r!v%H-{ z5&u@-(t($$SZ34K?P`c=qAHMXAl3P#&wrALG5%9LtHjid@3vM+=2Pqa(Fl+BLTH3Z zB-4xThhOoilyB7W5@sI^YAajP=xL04x}&q^cf^b$3o8PDdXiVaEEh+O-qOsl9p@|x zym?wL{cCYjFrJBebTnhFUZU)i+OHNoh3Y-I#R_iEP@jV|-Q%y@rl$guJQVlZe1E=r z3}kmq+VmdnaUIEsC}!Br~Ku= z_Q1q89ypF(y9LB8?)kyFg?*Fl<6@gqit7~;t)7#fpTb8&?Q{tFTm|MJM*ysVy8WNM zzo@x(@4>eNcRvb!yEHfpnVQf#HMOg5xPNpSC4`3`A5H6};PlFG=e%L!UVnB-4~0y( zVzK4+>Q~lzBfJ{8cih(dX7;Im#F-xi`3VtQl0@Z378 z^*jB{{3T!TWgas)=myR2gKB5C6gG2)d_#d5gLa!+2^J-TZ*G=S5Fg(P>ztf`s2AKM zQ1H6}Zp(gy`6fo8rXO#Ud0_!`FY`;Z{Y`ZXS<-vp8HVqN3DfYpX@Bp`Xp50ah~bOg z+u?5%N3EcGv;rlkpCTx3v0fKqCksGFz_0l%z)|2g){yJ}Pgv~U)9j{s^MBd1) zrtLX-0}hq-B!Ox3?HYE&6OobxISATaWKQ7^yl3&vNB+Bu3$e%%=!VBziiVD#9s7f_ z{LYuw42$Qq$v9k#8QnqB6_M5vm2$Jfao1;Z230SiE*=<&Hh=t~CFjSPwC}~um9iA~ zxIBf{bYc$(s@g5+3N@D)v8acMb66IoET}##Flx^hPbO1~_|DRFf1RLBem%l5=TAZy z(PAioE2Dt~J!+^^<-&var)vBI_Mm;CM!u2(q>i?M`t zDUX@)XG)C=S95`D((gtxzCB=qHIhVdu)z7f?y+rkVR&&3E z4S4nQj>=!&zL^w$=8e2vOQh!w@7%EWI=gHERjV4+jiCe=6^}?;w*+GeO_QTvepA6UY#?fHBG>V4;Pp_dk zMT3uYY~`8ynft2JF7ZKQq{G{cr4ran%bU>RCawj{23#kc#7GXql2H2tWIDsH%2^6>7; zbVav%pZswea|$ER+up|1lzSzYo-o9B7< zrx3;q5>;3SwVjA_OoXI!JDWhyGi`NGkHQc|1oPIwuR_V8j--kslO!|L!{yD23?TWa z{^S_7LJsq1zE^DJXVECrdhJS=Mmu|HwbS2^zJwT$1VhwIhHierwsLK=B|=T#y?={w z-4*VXX-e~YM2__=!L&jvO^n%`eW1PbmI>V)oa{H3If(2gyr{Zru@XW!A8X3#^C)R$ z9kFM)XwjT&SdQj>ynn1{Y!+$nmVQjJE`9Hez#Sv7=x(xDKMA$sXyA!| zx%M;iimjUK6?GipCx@QErRW14MVb{i^VcMmM#f@yvvIxI&~xS?WB5nRkR1Cuzd~WA z{&UlJql|s!sfkG(89PY=Z1RZA*^NR;4pgWy*J{`u4`nactT;&zJa znwGhJqu1uh{|6r!iNTjxVgV?(!vg`SUY9_N0Ts7_VgbJ>m*S@Z6c8~pH!}(^Ol59o zbZ9alHZYU$d=>;ZFf%xlU|}hLcLh`vY~MGX(v1ouM#t#xl5S8!7-PT$HW&j&H-dyT zf*>J?bV`YYN;gQS0n#BLA@NS{`+1)Ce!lOV?>jqZyZ#;5?{}RuAe)h?po$~H0ji0B zqXb2SK(YWeeG^Fl2qY#10*R6Ufo3q28}u(N3D5$H^nxMavj5AjhJ=EDQ5c;%7=>}u zN5BC(-fjR9F@T7qtca8>2m}xXfn@&Wh(O8$)WJS5M}WQ%KnDSbdXWIt5FUO=n6nEC zQ{`Vr01t#0AR;3pCGaO4pyCci!XRKcKp%{9fx2TVLcneSQv?JCMfv?B1&_Q73gsay zEbQy+D+G4;5<(!I6?p}J0KPDk3%~^G1x5Nm9Ra_`1sH(cp??MwA^`%-Twq>*sZ9}1 zC|@uV3cx7bU=S$W3lrcCcZ4DVnA!kSZ9RaY2NeF7v)*400)W3)0}v4s`FFa%qkkuY z!T$t=LgF6G9U~W)=p{AY?3XKu~fZ>k69l>s12uwVG*ar-A13O?G{xl8- zXsQ?kz?k{|p3Vz`gn6L6guGyGzb6#_od&aH4Y;Ek!rdJTM|qL_?oS+4Tw+BW=@*kZu6a|m~fk0ByG61M20E&jV z2>(uQ=H~(ZV-)#+t;X~p6ySmI061YrfCj;wpqL+$057l)6o5i{LxTeTx8a`>iHHcm z5e7j49H7oHILUvqW7JTmzhunKBVlNOH3$Pd5di4-=iet=47MB*a5umIxc|9a;rnJf zRu<;`e+K@yNmUhr1_TI-f&hY|5+Hzxh>RFO3UdhhXBH!WFzoLxK>vx=hC3kuGJiFT z+0wrn_WAqvdHyB_FW{fK3=kN^LIFJg0k{oF0tCT)iTr=V{7=aL4c))9{67Hx-~DKM zySe?b^87acA6BqC%+2p_I|i@bC=B-X5f}!*|J&6P`WIdGp^h+b_y4wPqreyrsKA}w z{=Gz)mnIB<4Rthvp&%}QLFF&K`EP=`!QfCMgct1hg8~o~0fGL@hG7-N74v9#Vet6J z1jUf%pCvWm5QO7zc8N+z0>DTl*pCEr#TZEf5Fmn~p(7Oi2f+YgAvgks2?1cn3j#PH zkR-qFQ(OihjCq!REC0xtI>IPl#2@(|g&^KYB!*^xe}I7L;$QL~PD7z+D1>Bg8Uc}u zd{h_Nc2=Wu+gEUHL}3!RX8DX)FklY(&ijI#FrBwLCwv9@QzgCsJ>}w84W1L_dDg3d z?Un|@$E~TxZ+`_|+9jKeue~Li9i#6VE!tM8@4icXN6<`pJ@Cpi&?3wgw*|XH2bk~a zElqBJR7i8?`%w#B-(9va6g|CWyk0G-OL|#0A(&tuZxdGX30UBeJH^OOfD*h*#7BLA zrucO7bCNo5^oCU@nV%$RCqb+@z-m=A@qEgEslrUutCNY7$%^qV?g{nKI9Gt`MurZ< zOu*~n735In6#cv5&+cg=ZW}!QYX&A~$ju*r54nJ&vOG+T!nm~Baq%my_fp(T*is0@ za}O4ER?yl%q*@%j1PoJPH->Ifb$At%uh`ZdXz%RNKipnfA8!~D+|p1a7b`)@X%WWD zugSR`%6=d|D>gJur!4$z%4ewbL8dK#bY<@IYUXhbb>3M#>-ZhP>&N)NN(s(<0e;SZ zjM7+oUJp>y%^GQ>p7&}zKt+m!kI8%2NHzpKSGN|Pw4_mZCe=jK5?8oWS*hDf4Yalx zx(aI9E!liA9i*x8)5@`Y^FtBkdfHHiw!S-QLMhDS0BMA;-i>S>n)XFc{iT5=Jjb@FT$M3 zmC^lP`7KS)1v94sE6$DMgUX4(ti|+a3D5;><*U!Jmi2= zr(eT(ec$i$`*MW%&Cw^tQV&1wZ!BWZB5oeRmV_2ACz*R+-Nzf034Zc*WY__JMC!es z>ma9DCe34{`2Z(yhF0AanBu2!9qkNfGY+%Lcs%y(MNOF@>~&1^&-KdJN%sVzzk{Xh zPcjnL?X2VvX`FKptvar@hli;f%AP?9R`T*fLZ&XFyk(+1!8#Y{cIbem z7AD*_>K|UCTfkz6S5}1s6X2c}88tr4l6sgb)~eBRHd(g66B2hIcn~qo1uC ziX{s~ZX&ngCOZytCQkK~a3A7t&zye`?7S!x653Z!nbHC^;X@ zH=`jp-ElLf*27d-4Spzc>L*dM)WPl2;^#zC>qSL5FC-l{S|d@_34u{*aY_t2gZ6dJ z+^%swE@zbI6m6MqoW9KASWbM8T#zz;s%5dAwpsx%q6{9)Q?SL~v`Vs%rz+e_jpkd& z36>(=V1Gf8PxN#?9kpS@PhOu`RRxo8(fw z9(@D0F@jY3ldjMAeK%zf*6U5=qEVIEvy3^Z{I<@?HCr@RpJ@A|uF0+tUcP0i8^-2g zyg5zMaaDcbCtp+^f_r@w(LD(t2k(Wq*}(_qg0aG~;)0m=S#K79L*h(P*#la+Poyet zP3X2UO2vq_JLOiYy_ki8wCLPLyp_Tu7^cKyxiW0Gzt2Cbb{xLZ3|;ha-=ZOGHm9zp zaB0q;tjp_S;`A-Hsn&5Ml;-a=&DT&U>AW9%18*9%NCr+WC{0vP=V=XCi$}zNP#@)8 z*qwMvkQ}rXA)oMnhIa?(ag(GD^hCOjBYs5Q=iwqqZtrb`;60&Bl7INA)i6R%QyaIa zpvgon>$~oSAdb_?qqdX1%tikZ!naKY<6|s~fSm1}OP8uUo(n-7-zaxQn-|_f20n)Qyub- z*QyV)zeqRJ7N-!Dls+oi`4DHww}>0+{mBXcUNxBq8(QeNlaSqu?R?twwa09oj{z1@ zU#6dQdhkzR_KU|+WAwCkyY8RVrF)xWkefCA^)7L~mfm(~Zu2!Ms!i z-gLV@w^lSb&C9deZQ|Zo%5BHLV4lzgRo;?(%Q;!4qFViCVp92SzO3Ibr7YCUbg8J?^cDsr2e|XmrR;# zcJ3B`L&J@X>mJPhi33FW(>W<8kArIDXI9^){1~vb|5u`UNSy-rK~j#u^pZ>I zhaVBHJx}Mh)toeP!Xz#OIXzNEbbMTS66n$#tFgI&WmYuPt;W?a_sZo<5Ri6Lu3Vf0_CI+g67Jb5DA0r}K>k zc1kZX!x|qk?Q)K^_6yxnh|O`%jv?!1Zb|fHQc#dt#?~p_(k~jB+&k(MJez|MoJpB~ z{eov+&>5zvT;E-j$I?wzP5 zEXmU6(M9R7FL`M#X*k(ChXG*+)nUHLD3vDC~s5m`b!nd zp1?3M`O^miFVY*&)g7*Ut71b&Lq(&1KsOe9i!;DltEy~Lg}clZ*V=tiy#=lpYL~nF z(lz1AipD`K4pEu~)_7YqN2UHp+#dN{rth%$%o{ja>Sr@pUScJNgY8YmwH2mbIPUtS z*|E;ruq;^SmY%Avww~15(Y%vrEa`?@XC1C^{V?CUYP=7tJou7q@U|M_J<@@HJn*5` z&a}1Ae!Wr^ZDYE($F7}NMX>He9+KxpOpxOFz$1rX)X4TmBJc(`5NS9ciyev$fo!UR z=#CO}Edpoqx1+^RmqBXaM;>2ZZF}`gtMqKV&CUEy{&jfk%}v1r9C5*&$!)!cwePp; zhpRsx;J`@tm-aL*Y6E~hXx!U>8u)g%Ds%Yk$Mg(8nC~2s^rq={RB8?M-}MR%DRb9( z`5q|2v{aoky8p^i#fL_o>CtLcdw3nbpe5dmUD*{10R=kM2U``_?geG5&vu~fNC^~q zB}G+XX#eg-cS#-IogGDiRo^+ZwjJOETJIIxMD=-S4xM3w!YXViHipK3w&AzVtey{M2NUS*WlLMZ1iSr%v z7ZOAf(9p`ho~u%och%V6@`I=aE=zv!ey5j(F%k7Z4qU8c-8wdZt0%&5$!lgyeZmvw zmp-cQuqoK?vJk4zd5W-cyzRcv{J~sP-%mrL!Z4CP|s3Fx6Ad*8+@M ziBjM_hAs<&2h)pxDZjQ+cgWu3#{AR|@qs9c(pz%87OMb#-$v?lR)UFd$h7I*eV&i~ zxG>ymXMZg~LK7j&lMhteZe89l)rU1H?+@FY9T zc65EB8Fsh{D7b{{#tB>fCi}*Tu?&@G0J@4k^t}d!n`DS+3*mQfa49(uyeeCc|JXqZJKKWGZ zdP@80-DfgYGG_AcKIIKO*WJQ>8P%63LvO7e@XY9cLNS6lLW11H8^Xo2S4RJH60}(6 zlS@^1n4c$i5U?qBg~khdYX=l+$8*SoTITOjl@*FYP0>5**x}MFFUxNucCt1;2Q0kp z+-%y&2_hos@P!Ll8Xe@*R{1~2$%xO9o8~u(K}A^%-#`4SFidJQ;r*&rHJz|~_sE<_ z&8G){*H`J@4Dln>O)!>vUJ)Z2wRtarTpNGmSfZ-25w`y_b;G>fH#d zaV%MU6DaqM0R5=o*}=zi}=XN7LUn`QlL8zbgnZK)K)F?mKZ1zLQf#$D6?;a>EFH9`B8;vP4vk!9g zruSUbkkKZZN$9ZgF`tF3F`Sz+D3|E3OL0hZP45W4Dml;h3xi*LlzF~3Q1z$#F=H}5+>&2tOk3w)UOHn-P2&|;X10BBJZYqC6q!YTP8_8r z*t-lck=ymY!UNk^XMDYdGcRSnQpMn*&KV^*knZzexHV>=!dUo=U=*kApk{^x3Zr!$f^aH{~S@G~tkZ5wZUy z?L;uhR6SderC8~=v^kIQNfM&O@e5Uvpi5itdGGuK%gI*hktFX;5BhnT-vXP#Q;EVj zXMsss(cHM~m_5yeHY(tE?i0>&8&r)@NbT(H5`NQm^;qcsW+Bkz( zCl;d{wF@tbMpgP$$z1t=xp3Yq_j8YqKa2Ky9}(ReZ70`Cm{rk4`^58v$FB6MIahYK zO=wP*cQ2ft#d@5WSqabK8r3aiaPW#Cu=A7AoO@5u`%d8)@9I?!DHV3}@(;X?k!ChC zR_N_}WJp91LUiGN-uTBsu<*Ih;kz((F<0~SW9!a|8GdGg?ee;R=?^T7i~@tWM24ih z;=q;1ocJ{NxG%eF)d;ABsT-~v{@u&TwB<>dI;OFkes z;%i<%eu|rlT<(-61kwf|#35-S>#c^ShpLTijw*yilG~NGmO$rD$eLOHkDTSa#!^ST z8%6yX(XN(<29H92_Q<=e4W^XS^ZBga{Jgs^$Km3#s4MlILsYI>ZK<&^{8z0gnXel4 z)9S=z_DR+r>jppda-BW_j$wz8_pw%yF&2DM05sLgGu>};FX9r%()|ES#B@**gHZ&@D9mbR57XRd{f~#j0xVqv%s8fXETh8nw&Q%D1?%%KB>g$T3dN&pV`7ok z?EoPW=_~BTN80BXW`?uIWF*EBH*~Bo()<>AiZ$r?I)5p4RB*36UWt&1A!BhN3yHJ{ z&0Mk<*f{Y)ikaO_G@A@qxp^l>XV|`QwV!L(n2;#HJrX&ozQa#ka)Z6>LbuEuTPMas zGZ0RHBma2~CbV_ndyiSRW^#nHjYw3TC#>n}l|p&tUil=8E}|mWl{2@Gx}<|oF4kad zI2FKQsY%L3K+9Zu$}#b)euIh;S3H3{sL&s2rPR;R&vC>7IXuayJ{*0{+6P#}2d}NC z#Cx0u$GK-8`zOEI(dDUQ)PNoXqn+kV*L)p+&wT2UTycIS_V&$X*agliwmXVqyKmGQC8tZ=RSyR5&YXv$V^(}`K46H59y z5CLIgR`0bs{6Z4ha$^Of9NDTpT}kbB$^MmZEze@s1FZ`LM9wFe@s6;E;j3)DoBb?* zV#%kq8i*pb*tKD?&3l=ii``zV^fp)j&MG*D@`Qlp%zJIf&^xM1CYEVF|J&x~W%-Zm z4e9YMyP+D-Lc6rMxzH_o4C1;ArUu!#WK2md$y{wfJ8MuO0sp}=Pu&GheOYhj}I#) z(yTlHO-O-7)f9$@Uu1C&x^?hqI~$%A-++#!R7RhylpvF*N`f@R^ZWf(DmRwNEuSKX zz5(s0@6CBwwVrw?^atc2LOuv}27Kq>E<36B)~DJ?G^<_x@gcn%&pO=sNIT$vgQK2` zK}t^uagYP<9q3N9u%;53O0%tlckZ-Le^*#}k>^rslC_xpsJOnWSrMHFxM>w>@Xopt z6t!|`7)m2J96&&4WkeS2*qs(`; zQ(1oAI8`4}Q|QGZ*Ea9l_j5RZ85>))c$|nj;qWFZ?ksRVM>VxeI<5WrB763a-3uqV zG8V1;cq`@F7?RYEF(v$8R`aL#yt&-xvgHBl^#>Mo@MuN8F|zcT?3~5RZF#cOTK4x@ zL}K>+AHw(9LG^EzXOVAb(*ubF+`cm`8lUE+wi#d@RW4sc_l-d4rMv@wh0)fdcpaJf z-U(L5?oo1g?E8W@KePyi-p_{S6~xk{#Pn1UZwyFRz#>VwUAFqBIu%%G1V9#d$&3gi z(G;;bGrI$n($__MyhwLKUqna$yms$ z5cOvNpDeo$@<+{{Yt0jBt{Y*dw=~|nbnf21%j4gB2aaA zbyikhS7x__tz_jZqpDOX9V;a(74R{YR=QHQ(heV4>EtVIDq~`$ZDk^6TxGTH=}=j3 zt57)!HnIvJHoA%`RmN4(>&kzmDoGH_D%n_B?35IiVk-mI*j9$nvle@T(t2!)O+cw^ z1Rd@>>}U;+-d9dRKJ4yr9Yd-hol06)&f(}?y#45lxQmZP! zIFjt)U{e_?Pe&*b0&EBUAhLmeJ*Z$vKl~ZeFTzgFhbn@PhZ6#f>7iuAF+%wmVMoXn z!7pKeWfV-WaWJ}P=zztrpTf>b;s{P;XA2GqWEKPDwn^a{_Dt|qg1xK-J?v_+S%SPW zre1>H5*M(CS1Q0mh>?E)>nRBhjiWGuDALj`$mTS86G|k+kwP3K7w9B{BNSB>R8o4= zQ;G?R96kW0p)=weX@LS`Wgv~xw93QyifJR1Qm_){BlgrpVG&6ju{yzj%23cE6ncty z8cWoMK7m4tWH$*x0xK!2=mY^|HOx->SqoW-E3Duu+R}PN3Q2!v16iA9l9IiD{i_lO zm3TQhoK)g@_0=PL-dAFGIR94t``@_T6Nf*q>PqYn&g-6dHW|0~8hzV9>6m{q1l52*IK(C(*1j`b~)z5}J!{nTl9D-|fa@YE*u z9iplOC54<vjbnjzGOaU2^wj|&Uua2 z$cm3LHI+bxGOdvN>L0c#;IN%xs(jQ1er+u;*UXNWaP(7`Yer>b+VIMXY^L})ZW^!3 z`_y?e(>ulW`QK=Jzh)ZYfF@u89u}`VYeq6CUZ8gzg%=2KgIG&ceHUc? z-^@Spg5rvcJnpH9!Y(;SRs3&=1VAfe6ejA_bN^*cz(26UDE`?1^ps}+Iz8`ye^SGt z=T>1$GJ^A;_%ps|!o(7a-w!>>y1UNw3S>{#RZMNZ6}xK~F!5G=7sozj=k2(|da1eY z$56)A9)?`suMIT*0gG2=))2gOvK2lGjEc294#%h29jlxFiGI#-)XNsJ=}mXnQe^QB z%NU8D9pBtQXo4>P9?^Mf{&d2Foa^RJMz+GmUK% zdQ$&g4Bd^i+fP%_KCAd+(j!lB|t>p2>H*7Ee87w&5Sr4GDxHoRY%HuISSOC39 zw6=&mT^3A2dMHTnR?HNA*@T_3ZESm`qlmoZY-{`cjl#)8E7rC-UZcazTL;2!tt&Yk zkLKFFEegL2kC_Ll5G`!hTgsXO=texX43X*@Y-0gw!48p@Ocet22@Zg$>HSnU4sL%| zP++s9$lbWmz_`{=>`|*pW5LaV2`MK8h%Awgu+A-NQRe=&RM&--tgP47{gbij<*4W& z%{vgrnJsJklYxbxclr3Qy|-%3E@|k1uDy-N>4gTmN2Q!j9-1)@sr5x{f0Pb)j`j5<+AGO$0& z%`ScA^n}zsS={g#|A?yAffgNi1L+6L%V+;Y78AkaURz#=dbh!RPO+VGBn_8%uRi$N zl@|5-F|e?JJ^L=>;K&_*%v8pWch9NGV zo6U*~pq)a#M#|-?YNl?CGQr8TVdtE0ss1MNjQX+H7I=T{8a+U>^wc=$^C8=s(B+G{ zd;YYW&fhlam)j#}T-Fr*M~cpB=^uwSMg-U3ESoD+)AXN3U{3oxPjfv8Q@^4zkTu)D3Z5?{Q1h@AK%kSVn`{}A^@ z0g#sWRgS&?)tdy3*QCOT%3^dYTYAC60{u5lISJ%DZyxEQ$pO6E(OS69JfO8_vrw(z ze2%W6msmDR#G+Ty9?`ySl{>QfO(flE%%fZTmGDE1!&|Px^b0S39Zxm)b9edH`}urR z%O7c}VJ~!XJ-6;Hd_{H&(hcOeeKnRQ2%FqwS+47Bch=ovXV!YLdZ@XcqTu?s9WV7h z=y7@A9yG^GXeaT=D-E(dGztovS_^OK+w4WA@q(T=>lsSP3;UF!_RT5Gf4M$0HB1}z zqj+)925YsWn}iq-&6G$oTuJam-5f(yMnjzs$y9@Besj37B9QNl-dQ&Dj2$ezZsBzw zqV)aS;-zQ2yME&HQdCr9b_~EQQCBNByczQ+q+#8tZDpdd`*Vp@jE-?WotEip@`?|$ zjz&gP{2SAQZ~N{|V?$V{7xa?jU=eqI_)k6Mu|M1pSw&Pzu!!()j$9X35>S6_tiI!| zt|GTg>cK-NzBS}Z?lgO(F{D=7dmvgS6c$tp_ zu-$5wKc6^4KmEj4xk8>m?J7r(7M_k0dY^&Bgsnc%efFH!=nwFF03(FY2C8|JmH0I6 zNP(2v_k?YIoQICKCD6@eh7y0P9&nXch*Un7%;NeZ@y{h59T~cOXWtC)Wz5v9w?7{= z+n1$h?VA24lwu6J4t2qAnvX1iOxnNrk!J8J6up&){Mx?*%{t1oyYV}Gc90X(nP(sP zEsWlR@+ESPh4$Zt*;n`t7I>(FluVOo&**qzxNkJEr%kr|i`EJ#N1JuJy`j5g7A4x9#8V{I5|r zkiV0(JjO)UXlEa_Av9_Rm-g-K=qGbJ2nvP~vL=Yc-ny>oGDJw^%c0+4uNppv!C8KW zBb9&&uZ7?Po7iU3v#8LB)0D`X8D>nj#y!g=f62`2dG0HwxpGKLkgk!;}J3s$g zE`%gijo7qD!o){6s1exE+<3Q@rV!rXKF$Nv9n|xcHhIR_73^QJx4pL|8KWkq`yO(k zRuRgKLMzSzp-{%6m3r>wW;W?C!O_0c7aLWd6eaNJqZP zUK6FedU}1+`sbiej)JZ|fnx6y8GRkaH=>^U-)~2C^f4S5oqzG(s87sNIlsiO5A}Gt zwsj4AI=Jov2Zw)oO9wWnJ;I*nn3*L;A}@%)hnSwS5VVE+Z-RiLJ}Yk<;0OL-Y5I)OuzNs5LMo(7e+S2zI4Pe;=_Et8hHI!a6UnZp@!EQgDt&KJ& zX5WdCV_cZn@bb;Myu4SU z)G00%lG2CV#uwbBwVF=7kOQh96_)Jh(8FA3rMi;JdSZn!qN!g5abS7*20qBIx~Yt2=ob2S%|H6K-?fj-+;sb_TieE~ z{GMVSUBn8$w_*(HHt)q2%h%ml;6qb zI*IXsdG3>7#mq{}@$ea9;cT^xr;ZXAoz6_%dZ>}}>#0WqDX~%{ ztsBuPgSYhY)EDIXJ1MT!AXAK=WFyzxn!ksLXrB7?H2y5kN7t0^BuSr|AK^$ayvY@23wAc>cK14x_Sh{n^duKW6SivwHka&j-o znI74jcanmjia%xo%N+Ojc3YAshRQs2~9tOKUlpIQuH~e!Ue;*^WYrfZ4 z%i6DoP8M(LEDaMm`()J&sx!eue}o;a^bFu^!$UfrZ}NXy2MQfr$)^h%?{;H#nfvQY z^3wfRkcOgqm9A>Uc<-17*uNgI7VuZcUvGlF8y2R0Ae4Ujyysz=v5519<>P`h7$;5; zy}b0KWMr{{n{x?}P?@wDu9I55JZf)xR7Lb@-SsFLx$^zm0r_!P&n<8vW6KfV%8oX} zye>LIv0rGd%`8@RWLw~rD}CYp_ky37{oFl4wp4XonlIW6a(*kD*+VovX!BS^oE^`S zZZB>h?>=i%vJnfqq8O-B>Z&4m6HIMRr#B+cMrL!1X5~7Vg1n1jyLUPm1D}rhZfE0| z17bFaS4|^(R}4wi^QQn8ALqcJ02c@E{~}*UPk^M1B##8of03dh0Id2f$lW&sSU`#( zm66WKE+FOo?`$t1&5)J*zsih5{akp!a7Rz0Aa4Lzj|XxsqG);q1P1X)LS_Dso+2+T z&GWzXl$`V@@Kp)M*Mw76zH{Yc50a$c9^2$$=V{VG5q89w-kR4Sy=w`id zK4H9B2O+u7U9FkLwbk8W_g13~yQBGxnYkZz%cK~nH}ZWe*SUp?j>~i}m(+ES*7#KO zX7C}6K&Nv26Er)DAG8_5qz!g7Ck<%rA%~x<`e;PCd3!r+AYJ*b(@YLx`^1wRw0LKuw6f&9FM* zP_}6Hl1_OfJqd*mQ?`2;9IZ!O#)zkfZi8$XQ^=Q1EIA;6?iRe!Wvu}9mz05l2YF$u z$Y1!-*}P}hKH%dB8cV|4Tx5(!jJs*~KpRn%W zBAhMmEtoPr_j_lVmJfD20V;)yQr@vee%4y;IVr|fRI~-GHTv!M-@_x4vKWAZ*vPZ$ z2ktXHqEzC+NS_+1<3<3XaBLoO)9Q#J&o7BMsqtDa@OZvFW2y*r>cLcSN0O<*lCLD9 zxVyybYZdrio%f)VDC#%Tb-e6uA5_TFYo}2U2NC1`FbeEoI1EaWlknmU86QMmo50n- zG+Lgcm3`(#pABtrXH1iC@Jf~!iCdl~dcO~=HZj&nJ{H{xt{bRsa(X(~UBf(ATaB9_ z$13|jjsw%TiMmo)#u%f`J4%e8CHh5cZxa<*1HA-{7itm%%mC=8yN@hVOnF&_hjt_} zqi(pz4)wiN5lqsaI1kFqzj{b%7yw6Ijc%X%UJ{;DnUFXKCdaBmPU^6aYV+?@7^W?Z zgG~&)`kyEX>0%vQ?C0m=eu`&)%vLx|#oF8Ol9pr<)a5?gQG^e}-%v`mn^YMr_xsGE zx-)S+^%+EeY;Y9K)ruO=5PEx9Qk=tF(OBWs&Bfby$mHhu|j2D9=r*+khgS|1DzS<-|Or@_W#S&d8`yA)nE_}bxkN#N&+UW29c10%ByNh%gRV= z%0lHOq+!ZD|Nj#D>xUk@__zhR^GHFZ{x|)g$q}Qs26qMywx1IP;){#b!M5Cm+%R6> z34WIR+X5QW-sRE_^(t&9rs@5)8Yt7(2Zz3yH4rCX2UVP1_Skvlne`v&pC6m?aep)T z0B*}%A7b?_Pwxn*e&+ME5uB^n3$}a#xVK;aj>y7o)I7#nom{33x0h=CL3&i3#+HFR z*2fkj@cdu8_)Tqmg#0ZX-mdjLb)edbR&akssd4eaZc(Fd>?d8~IQ>X`gU^?pmuz!1 zXL+m(ON>GH;=w;!f%KiK@{}4HCEaDQADNq%ZU(6_pqK7_cxBtyS#S4%UT8^xsHy@S z9TTSQ^ynLZmp#@=(Ree;k6OHk5xopR()O4%QqDS%Yc5m%Fs7|SY+A*i$`ncV1;kEy z_sv=qJ%|S)KlB%V+tg#8bR6_BMDQ00<9jr5Huy!WqOeJvY0;T(A4YFVcil{n0iD|x z{N4az7K|t+UZzf!PiEK}R=(!2m#r0g#q>4dp({CrKbgJY2T6N`xU!r`#N}sz@-G~6 c0J*5EjLW!NMtYZ49s-ep06-uOxF+C#0D~WIKmY&$ delta 46728 zcmZs?Q*bU!)NUKwwr$(CZQI65-q^Nn+qSck72CF*{q3{&sXA5vxtrBDebHSt#(ZY? za|-O(3QPhiC^HLpx^NsY6`)pIHhFUlx$jbwh&xdIz-)&#L8eZHj$7S>Tt&Rawc$^| zh&DqLSp|?;OLzL$v)eqJ!Pa0B?PrK~!TP`XdP3P|d5PwJ{$fml-!7k*bi#~TE^-~$ z)Y>|hIoKk!c{o(D3A@%g|JmQ0tZZLTu8wOH>XylRjQ(2x87$Ti6+j;S{`d^o)bBgv zT^Ms}><(e}T_Advmb%#hghS*0VLm7?(J4d+O0CvgLzl;AXo0sXcaPSo?J5}b4(F%5 z>WxRLZQSz-DJqKhlTVg0XL006A4U$n$!?1ekx7&yzkza`;Sli=BlueFxtQM zBwZ77#E>+wDo@VvZ$SBIQudZCu%bdHfA4DCtv(AqR4R)ujRagQXFUcuBmwVg%Z(G_ zL;JP9uM;olKKt>cRG6a#*SIx+Ebz|6DOTRU^a(g*TXi*SCSoDO1V}txhFk)84mdY z%EY}p7vLKf@6Uq-6G)EJ1jNKQ#Y8bPBPh|~&^#yF{QkiO>?05#!P{4hqf|PS3PR+-mAE#MH&`=39RP%&LN!nopE9{oo$`>Ihy*Ea z*|<811aXJe^PK2HP?5r2h|(251DGMh8uBH(mkuF;z&iyR)giW$EmknnQ*!#e`@wSm zY}f5hQ2?=<`KYK>EgCQ{Fe}jlxw3Cx9s_T??E~u35o$*HC+IE=%suN{tWWL^F16^V z&{2iZ1K1@^2;q_@2_#8+Df>Z@exm9P9MG9@Fr6V?1;zevf4(dVhY-0GKZR|IJ2B9` z3Lwfxrv^4cQZJ68D6SU}LLNT3S1)XX9f~K^GfURadIj2uT}ibJLNc%zum;8gg13@1 z@tKHF^iI);!1;F^TW*3jb-!Q%=bzxw2WKaI0J4S_-&arf24}Yx=*AfE7Uf}3@RP+v z*)7TkaKVO=g07s)jqqE9h#6^$_lOBVQ6&^7ja z&-esV<<+W&2u27`O;B)f$;Q(+fH2`MiPSv`}N%WF<7#kngef~Gq5|LIUcT}EVkPF<5}fc zcPz;Bd$s<5ewl&aI;9p5*V_+6*d>MH=gZm0^{f?{#^$+6{2%|BNT701Sm?UZ5MYuq|t@l4ljECY%m09wH<|@_BZews+}L=0rsi zDeh2RIf=c#d9=fm#BqgzYM@(ICMODOo$=Wbx*k4PmhB%&0wC7GH~s`j36aOl z>=F_qLJS!nwhfdL5L7cnIm_@xo;9eW|APWjh=e*Dt6J9GyC=>ORf{wmNq96}T?>nf zwVOcUIC5(;yw!99F~HejoKk~ppXAs<;b4QG&Y!xDMFcB^8Wszc+8dP)QOb@rAZ*99 zKNF^*k~8Tl|LxrA0D#6#cp4%AjzZ`NBN1xmti{+wH|Rh8eD&0T@OjsH^}yb&UN$kq zGam|D_}gdm3f^Z_awZ{py>juqB|kYS{uLuRcu9mO9V%{aVluf(=1V>3dh^LgQ;uHT<#BF{^C{t zLhR-0j+(bh9F2VP|LgKR$A-tLwNqf$slWzxN^yGIYPi$bb>rEx)L57mdN(g(w}c z$ZU^VXq8@)%;k4xc$+VI8ALTNkY~2$rrwjU?HOAsN3&^8#b*I+T@Cf1dkj zGPB}1&lzdMOO*Hz0bcv|^{-J%tYi&n`f`_v6RE+oW7D+V&2Q+SeT!LaVlV1!HdJxQ zO5(6shTa;v%-EvPI#joCUZ#8?vi)*Z*=3_iTHwbLPiO;!SOBtX6Ut-=lQ7-k9hcEO zc6LL|CSt;D$YwJHV|CRDGa)23>kO6Be_J6#(o{ol6kDx#X^tR}ZbBG6f6NGoUg4kM z?JK@p8b`s21S$-=fV>Sb*Ay>kh}wj;8b~2J4Wdv|G)RZul|$esZT#HYYfzk}cI~wZ zqpFR}kV+zNIss0e451-O)5xRxol-9K?K7GK^f%;a2T68}lxDWv$b()d5iU42+`a2| zADn?Ee0-bx6g!lOp6&1!y0tF?XQ>5q%VB^o3^aX`UVO>Uc z@G2I;V~qHu0M8IBz9{+E3behVFNb@I<>tOmk5~fHD*$h?&XLHAXtw=%m=Xo0{jYA} zOn0~smbs0S-F*pB^Zhsp7z;Tt*}C&4!o(4M!en`n+zTKH-AuE;*DHZVZIiPJgjF#I zqfK`zz>>y?kE5Wxa71|9UFqN#3_FAD9thr}LLzj63Zi5@5tu&>j?Tju z=$7oK98eU@%O@0j2hnM=-)Pzeh+VP()Ij#$iKbVD2A# zLh3PX6I(^`%`F9v&9X3#{Ag0#ElF`~BoyowqTj*}>z}XbU z0E~QHw(sKtYj&0eaY;n%GA8t~gNr@N%P2P4*MCBT`(lYUVzf9}a>8P8JSQN8&F|-d&F*zIvZciJh1!J4h{XGN^IOreQsu`16 z^!-8p1y*wab}Yo7C+A#r%hr#Na|Tp40qhNO5|B)7`2`^e{V*?R`wPnKF=_iWW z=w_h?7pz@`l?F%zdJI))w0vzvHK}{(nrl8e9j*hjL%HLl=h4Z21*o2|j@XJYfKo`; z40Q=M5N19G<*nes8I1oI`4E(p<X7Yu%|f-kn?si&$bz2ahUWyGO%pct)Mx!gY$uu8i_n1Pv)rQx&D zL#x7dMEL~Hylw11#3a0x@vYdr0lbd1Thk%Wz&hX2yNe|&6=tH+Zt7Bf%_S+LXcZB9 zwIYAwVi|7lqr5ZE@NI`s8GbhG11#9>F^ai5#X!p>0Y3R>|Azi%?yP?fJhv1!dzCpG zIFapT(sO|en!VEpU<7|STkH_TLnwZ08hG!d*4WmWpL%a!E+cALhu`LQv>m~J_M&so zJg5|rda(lOqxOg=hRGr9NVrG6Y~LspxWI}Uz1V5(%EtS~iaPDpr~S^&V! ziRuCSV7F&$4dzFl35wTLPf|O=YBhK^0KMRWVEA|eK#qA|{3#4@00p zA$C@I?oC89bL&9u#O3_mtPN;aT%m;e}UY3Y# ze>7Dm6+rKnrM|%Vs4#pyI2!oK?5VA#Aiq_)Mt$G`Qe(rcHO8@ASZ zo<2X0`1M_%>$y~-FM9a$7o?nXKN=RJuU7(-m*mElDLyV|ELdO6XkR!3?)@Vxpjvr# zzQx+;WcOfP{Tkg5EpD2?Wm_5YL+yKNy!P5UM&!L7*7#^(US_P@NTf39y<=N3I88Y>@-t`6L8)dyW^K9-pE&;%nl~oh zGub_{B=puXK&-uiz_{lfZ>DPc^gBKYf{~uR8u;bL3|I zze(1yo^JAH+y6Glghw)Yx{wagm$$;)k=~MPvoYR(O9u05FDg1?-CHpXk(UBb^{)XX zVgWoz!uoo=e(TFN!a%1#xuAF!#iLZX-}}ld@86%*lDj=f7GkU>tg@1tkI3jr88PuK zQ&MF|XBQSvK7Vq}|2&*r%y&cfdkdT2sR5pmf7IcBZ4DS)I0+~a!<>a<*5E&lSxUF! z>Ms)aL*O*REwdB*gCXp>8V#UX97O1usJwW1(pdL*3pdrNJ8*P4<a%29xuMt!&WzUQkyIF+#3d@Wd zN!<9V;9tO=^4WN0Vc8=pSOtoNZRS84i6SUw237zeZ~^qo+#lokm%lu@={yV>@A-|))`oa~8ytpk-sA!3@*y`y z`}GZ_K&-9_(EA%c$}VcR&KG|9dlBK*qzG{MA~3BnH^4fHH(eaa6%0q~?%2eZQ!GrH zWg^@y#k_PVVo~~gKgQZAgwgqyo|ihSHu!5Nk`sCGlrc?iL-`yl?SQqGMX1yW$i;6M zOVD``rz7dMV#}e4eLQ}nF@%ia6d=bcFqcc;XCPMpPH)~!8SWoyK)=BWXZGvmK_OTl z6va58KBj|i+mIycllpX|VLRkE1`FEJ-6K}F@L!TBmpZDvyJ19NYD)R%G5m!l_7P1@ zbFRb4W7{KExLaH-65yo-9-j(MZD+uaZ8-$HD?Rl3SZgoxzxd#Jq#)PROC|c;LS(#I zN5+M3lMQ&UV5SAgi~3W13=u-?ZULKL-wZg+N5%0EgbuXX(R5bTVzs~80Z0xVkdO>K zP*U)`l~_Zk;nD4O!Iwwpj!bNjKNO4oK?D3FHYqrCv-bDz=pj2{bntBQT4J1i*56k2`$ z+q77dv;S@06rjU5s#~$hU&dFUKY1976S4*#A(n&fYc1v|&l(5{@=Ops`M8Qe{GKjM z=5FemO34<3nPk4Tw06QNb!h;^5zXKaOwceNMm0IggE{9>vjPg?RTo2z@t=#CV(v%J zZ8O`ol!n)tJAZ`^ZtsatEIY?yqn5m7dUde4MP=$Bd;t2JNDzeDnA%`)h9JrGb+ric zympUrYEB@|D|mruVfMgh{straW!tV}TH_zm2qxs7o6m;IbDUT}44kUiM zai%f|pC}9%vH>&tuBxqpWooEUXhgEXkU0CD)j9iKT|-rdB8T8XoD~lnkl-%~O*j1h z`)9{xYXDkd>2075sgJD1;GbUb^NO(zSR1<>X?)35?xTC=f1SDF9ciM-OPatvClH`P zDaHlV_A(JaedL{RKuQT|h39xYT-LTeuHm|vUZr?@28_bX}ZYef5SsZz%hx8y0f8p4@zhcrP*p4}A(7njxy@@x{ z)_|u8+|;zil3FZr${9oEZ5vW8Daum2j~MD~0iqKOzw<$cbWgpy4y?dNbZ!|VGSq+J zSAnQe7@6iR6Mu?usuioo?Bl8-HS~N@Y;#kzE?Y))@T4a&8r1tu)R+k)5K##DYm`na z6rboj6kYOtIC{pQLM1C`o$-e+{kx@#-2e$`5>w`SKx~%*uc%<%n0kFbMWnKHm8+*R z7lP_q`{~Hrqoz?IZi)sBB{>YcztVizI3NY8cO7l=3)+s3SU&@=SRKOwq z4R%e~()pcvZow6xXkr~Hv6(dHcb51Pk+xkj3vgwSaZWpPr|59i^y?5_x(w`S^xED_ zyK^uwl@l=H=uD>2dDb4;%T2nBT;~13ztN20%4IOqDHLd&VSA1W@3FasRQ1Y6oaZp& zChj-ag`$*T7D9O6m6Gzs2FE8=c!Eb=hL+wP_#Rj7l+#Er0FBp5!3uJ< zROs5RY!5Z_E3@fVsA?-e3`Sju@1y!Se}%$Ur6VDsc;%Cyf1gH9P3ar(b=zUOV)E+W zvF8o^#tFdlCla|9e}3cC1rS(Ngf|jEZCg#6suX3a`nwwI|Bysg_agCm0Jx=JTpg!E z0xfgqk?zRh5f1XhG)d%^f(VP#E=h+e?%RwQRYD}scWW;|-^86Y4O2tJQvcStqW&D| zU1vmF`E_Q=pj2*@o%)6QtzxUc)v6VH4&A`d1uJ-?>VQGy_IPeJ9fdG&Qen!{_*a(P zRnMv0s!E5Npl>0IxHH><1Jj;x`AJ&5H~N0#zSsmSx9OW)^qTy%B(f*ck!aMy1H)B zAKEsRjnQDA_IlbiNTXTScOCey+K$)%tQJh?e%{65yTVUqMh3<#11N&eLu8e2TG4Ih zG1ctn+P{x4@`?tS^XRiG9{pEtX0dDg8(&2i8RDD(F>eAGvlE=Kp-Y~JGC z*Hu-u7EL$d>F~RT8h#$x=Kh|mZjZ~eeyBVQ1Sa->@L#Bhws{$}BueCO=1bL4U6X8D z^phA4=c8So8}u-vdw#kv1ag@8cb*l8E#C<7)1hk<<*N%W0DWje>kS9?@W{)&es0f6 z5f}S_SLKRzh3c%d$#55T+S6tiWzSt)UHz$A9YnMC=YhDMdVnT>t4l8AzuWffL_~O5 zy?dJaiQi>rlQ7$cXTRlLJ^8h`Xx^n1Vfj}>LDW+O)xF|v+)kRC4AqW*J?qBWHLLQw zA2lm-3}ej?fU(}t!k-P(p_ghj4yMT}|2T_%PbS!pCKe`I`G46<-Vi5eMQY0>bqo$* zukY7Q^Dr}9geJfTLl}2M&+CpdNRK1zZzuAnGk)R?RlC)xBazECw08$TeHQ;k-xfPn zvfdM{Y?nJnb<(|b59W_6v4+(@xySM)-ri=~+p;ulJXA`c>D)X|-PMx6;4--@>i^T< z*_r>RzcX`jaQ>g2!3mrR9u8401WzJVPC8 zH557nYZgkCx(D;*4uXFV?nw|l#o@DCBf-Juc>hr7xyjoN;2<1QBR^LIA>`68#Nt(eH7k>S$F^f@JB#C7hyV0p!uO*Mu6#bZP95r$@mfJIg zwQ+XCjydqxeBz^2T7X8L(Xx8I7ID@>U`L?6la)Rqbs67rioB6B2FkKcmVx?|T2!la zPpDXWtF9b&VP3aqD#ov zQWh=P8sMwp0s7I@;mnt>_{|v^OO>?&72}hUf~)PvI+Mu}?2c0Hgz8)EQm91} z2Gm=5)jG=1fm_;pPo+SWx=DU(`S@JXGJ>pC4m<~>s?dSXYtccmMz@s?6#Hv2+!kB& zj>As@I0b=*l1dj-)>XHG+Mzkd#vGZLYCa8L=x9xYv%aZLy@V5{lu^r&Etd&W5Q~L$ zDb&dcVK37oQKgwnVZU+05t~);>|caR8qr>Us!k0{AP8C_7vBe^HU^}z6tGorqIYVWlE7eKAr0biJD?X40Z@CvY zN@={nP8(s4+Rdc8S5VWQKOrzJ=MSV|nkF`U8{QbY-k(hnSl z{MuM6=^Gq?nj4NV~D zj+5RIXZrMbuJhrEpucG!j}R9guEOZfuuDCkdo^!#-$68&9QFG z;)6ysVYxD0`1b?WCJ40N^pc8bWopiq;X!mnBevB#P@=3u3B2_tXb|Q6A%h{5MD6J; zR3JeGGB?BkzDuEE=X)dCSjnY0wyDhK*kSBsNow-v zr>vDaz#hTKBy|vQCuxhfqSd@gJen{*epp*5(Kr%KC1${9g1vhsx=!Hi0vDJP5guqm z{B%cpO7*8Qi=>jkROjK)@zdSfa<3E~9-G1PVRH8`EUD!EfKdtAk{tt}rWyillZ(|v z<5j8EvchS9@c=_dv7xK0v=PJ@E1-m>&*&+Rm{%=EUQJH9u+Zo!FvwWjUR{^*4$_ll zm`j@L&l#;h|%E@g|MhW9gvH6 zX-)R*!v)1|p9w9+?MVfp{N83Vn`B$=cTdh>?G`|S=o>pxbIl1bMSDG-gWN+9PLR`h zpf1_|it@OgDyY*z9j^?)-<>HxUZ;~1;0aw+BBc`m^4%^%P8H0$^4~JwjPLHc)0@VY z*Du67?x_fVkSan3QO#z!wf1`5Z(7#f{s%!s2?jKLkWP>v)|v7%TO+92D{I3WTo}kH z#WyCGQoefbsxAzuN#9lU_6S#1tyiuu^r^t#ioc2WGsQdVYP?=PsS+RmaBg@tu=j1v zqll&hQROj_L8@IM-MYal6Gtz2&`**uu9f(yJ(2&9^(CU$)4WibHFtlPf^Px5u<49#EdU5y zGAsw~R|Ku5ToHn3_7}X-Tvt5Vm;x1(>HiPB%&h+hyw^ID4!Dv?y`Quhn@GT$y^N@D zNdqtmYhl31og>^z9OSG?VIbjhWQGryl{eONV>k?=Q5-=z7Rt?CU1^&2He!&RpgeEy z;P(0eynZil;_CqAg9_8&d-g3Bl1eNrdFW*urXRL9{&%5F>>uWz(y#q#*s`qthxWVj zhOh4gz@{0Cw%oTPL=0_F4M9u?S=2_WnE1D$@n;y3bjOh`cXCHjVF5Xu!iqAWVmYL2v0-V&Hg|Y&#dmyD`}R7 z*{9bPdX*OGxqwpLf47aaF!^#{>YgkVwwNO@omek~s0^LKS-ek-9Y`|@bzCl-v6NdH zFeOMTWPL z0-Z_)T`O|(Tfs|lQD?HGZL*IRuKQa(wy7%FBiz(7t5$3&?;G3EAO@O^>nxjd*sHaD zeDUL-1+J>|H|^mYTfh5_t-TU6|297wFx!d1ar!fDSC<@FDIj-cb>R%w`KONcdJB3_ z1lZW>U#hmpYT{+n!@ldItRD&FeeU^W9=RarMe)B8m7U?m&xau?76%wBctr~D8ZY9_ zwLc5Ol3J+|<<6{Gcsa|lfCG#@IjWv>bI=sgD@QBef^^x3evej}#i7GX1fYljfP?qP zAz8kMnhvqz^W&Lwv3yUR+8rh&dN|i zG)AZ9^V+4n_0Fi`X7$E$FdH#l*XaKacR1NQtf=`QZjfmr{02z*2B`JMT zM_L(dW}Q4f_qGll77};dk(6_fXWl<0r%;}L^PT0*uz}~f81rglKmM12!Pam#X`eScrF@_^6wyd zDtfcb+NLKVbn2ljX}rYe1oNYx5dM8zvHAL#lp!Q#}>S zMM(VG@R^SGU*BI-hQugBf#QV&mv1!L81wI2)gP~P0)4su26~Dxfb9X8X=#qA3UlfN zX~9FJf%+)F{uzsZ;#|%1h2cb8UT{6fuaAz5VH#xBS03EimPmK|`jz#7jD4|bYLe>t zKxX5=lY)0j*0Q^?{@_UZ3>xju^k7U#!tlt*5+DQGv?bkSdAeC68`n81A__J)mc@Kz z2KgB{pR9uXVu!_&01XJJR$4kb{m$qBI|YBBx0MaSDTKd&RR|uGeP9a;jLwEQe>)Bo z@pRoo(}W%A+NcY|ow}X_+u`bfr#qUim0bx>M@n8hr;;XJf+|mmz$#+8#VPfRjG-mc zPqXRjQ_+Piatjkbajsd@tdNb|C z%Dr@OhBE9)hFE+kZwm|%HdNWp$Z*_rL-^ z^12kId5}6>q8)DL$T^ytM{mf1sQ7&ikX+30T-Ja|79BX7>P3CIFO+RLUb}jRGZtUb zRZ;}~#f&k3Y=M-=`?XU$pUriaKQ8;goo!X0yXGatfRsY~V|_@|qQxa+b}?vzgH{~W z*iGowm^Giapf={ahNJcoHT|K5=j$b5m$VNHvI2K#qE+$w|5QN-Ufq$M&%+l)qt}qW z>rC|=^o%3JY0|Nx9S(VhU=7402efGZI;)Yr$}MbDo@QOqov@!51fgqsBjwVk97G@3 zvM(}#xOo%grmR@mf_^O^ZBA&FNyX_nv7hRxy?&hW2Rz;PIN|?6DEt3JC@U*7)Bi=N zp0*>dB#QrPeMV2B(Av#sgE82ggaKIquw|`$Kr1{Qee79erLl-gBM0N>YI~RE1h*D{ zxY&jS2P4I(^^3CpxTYbxe6qMma)189%4IvIWqh7&Hj@mVJ6&f-SbK~V4N5U}p$<8w z=H%rh?$pfF^(f*eqkzwx+N16dJs$vOn6Ye2;pfq|ZF2G1zHhDOpLo~IH&_FXBAv62 z>@Pd?F00&a-)oedrAT&UYwV~=^jrwq2v_n<264{AwgEbQx(%Kj3W9Aq?Yc{d0-SSL z7%2e3^V$y;@C zMOI0N9Y>ANSsc@7Wx@t;G-H5&{iksJARQQmk(cc84vxpi!VdRY4RW_IA4_~eQC4^u ztfB?plQ4Jc4BWyZTYj6S^T-h7G1~7~+;Id1E>10zGxGR|36!~SWzSd{a*4kl1@h=( zNamu!kj3iHsrpT(udzdK|5Uw3`f6e$WAb5_xm*_N03g>OJRrRnvg&_k=T zqcY?rKh6GKD)wmztABxZEpNMBy>_XP(z7v2T6*t?YlXn|gjfYm-K4G^EsjV$Zs{aS zw#CVSIg}$nEiQt`&{$JTY_1E&Vl62MYEx-YYOOIzs6z^_l?ZMH-Lr{*_q2#mI$hjty#zaj>;9()B?38R%(HT{E;scjb0Zcx$Z4Fw8SXT~7A+us# z9~2}cRG|YqGzw(2CqYHwBOZflGwK!2Gcaa{Bt?hfM}T{|%no2eFs3)bgG~GfAD2Tq z^4Weqb2rK2q1trfhaP*4AS8Y)Kea8M$PgSdf*{=WmCOsu=fXN2+152Mr%qKm?S{*& zJSma{9mttslOAdFS8R?~w2CZQ^+q{5qeam0xFAG zX77O+HxDdj7$M-Ws2HJ?ei(bTff2C-KXGm=dj3t|HDv7eC*Q4iQsdnsb0@%9&f$bq z3VyZoKu$%bMI~^?iTrj*>X3KxGPB6-;c+QSI_p$b3d~#0I|T^MTtNDSlji<&!%


fx-61 z#`WBAxBN5PF-lfwZCCb5ea57^;}cEX23{3c!5S)N@$AHq4LG(M-e+sdwsBj!sDwZs z!8!&HXTH56B27p8Tyswx*7^FHndwafEIjX&+(HRlWYZt*Ud*k{Q$!WH+UuO zRpg{lKMKH_9=g2mh#tW~MKMV)hSq#wTsfUK_2Y}T0$DW-!PBtOQk+R#8Zkv6(yi@A zhAogKzu;O@v^HG}rDbAWu#ULXa9ydb%+VU=F%BoK(xC(~7)X{{fezHcX2W8`i#xmt z35MO$*g${nJ7un3z$8O^GY7od!ImY}MX&wZb!yc%Uw>v7Y-W>~{pj^}xXgQ{!XOX7`8uF@@dHR;aKiBv3GwPV z759K#pPYqI1qb9H6YD%2`}ep4IG7bmlo;cbDg^~(i& zs&#tZ0zW)~7YwZp4es2M_zD5HRQ=4DFHSa`^#>0ASCPC5@Qvxz9y4P8alY`y?tt$a zMW?5u-KQf&myV;|{ZvYO?|cQ&lEpF@`G8t30zF|{n}=*u*L9(IL`J&4VG%ZPTlZkm zmQKkCj1K!%H@84r$?G{jIuyuavn zq}E#W%F$ItpDsBA4b3kU*WZ${IDo(#b`Wj@J>WNivRtu*Y^;4UN!X_GWDRI+ z3-2(kfBc28Xsb-csA}&lbHlN9a$};}$lyQUlPhaUdLwlyknN0v_)jhr zjul9%3cQ*4@q{5*dceE{jl(3}Z~&8kxFq<5sjhIrhzqcg;S@9rc*D&QwSdgYH*D~Q z2cUY|fdc^?c7sae>v8Rvvn8eX00kKJgxd55T7GBo!0 zT~I{G_e=FI`Blz4ujbJAT|l|_J>P77+WL(mzqd!X{`O2eIQQ!25ZaX}MD5mNnwRh| z-`~s4OSjze(3X>S+?02YXS|2;i0u7VGxJV5%b8cO;!L~f_{HZg1>U~waFm{M@?ZCE z=yq_+fU5g2@V?C)^QO(1*?G{XlN-^CNXNVfGEc5HBS_3vdv(x=EHMc_my$yqc&63kU zMlY@E(uiV&b)AW`u{f@ad>pu`M=edU(lx`^)6C$P8B<@3@wH}hb%fS4hu{4|_XN&q zJdoCO&31EC8SAk=NdQImhd`!L599an`yYM2*mI`0aUC(Q43tM?nX9;}k?(GR-MOPksc7j2P5jb0<+-KQ_1SqOOG zZH}r+n&%r~{&%G%@nJ)YCT)7z)h23!{wF8mHY}?{p`O+MqjLNHGzSeMjLQYOOZg) zxb%?70jJq&w16+>F+=_N-TLW(21TEsSCkUG1|3J;eKQJlp(^qrIw4Y^!P)u(#^YhAVLJ1-cEkMkNlIXZ{i*e%tDi701FBq~@ zCOyG_bn947MiH#iLisAAsBbL#HTGdJK*%M|3lUfADOqi4zL7(eAZh! znE>Z}#(#-E<9!3FReJ^OC_TZ>;N^7Uy~EGZdnwe*db^2vKRF$D4&Tv+@#k_0ww}Tz*w=GC{Pg^kzr#V)*;HAU+9u zg;G9}CAcZTm^s-v{@;O~tmA(Jz5l+J-boeiTkIl&a<^Ek{5Q`-b7z!yDIlMsAW^QP zdUroJyuD%|Ph3)2+^}8@CXUjZoBQ)PYipjPN6GbW9^#uXs2^w0Psu}!$IM{u!Y$h( zl#wYW9n*j|dCc~n;jdNq=-yc~md^;_Pq_c!hXlsLwu?X)A_JHtQDTE<2KfNzGb!h$ z8*46jPwEemwttOpZhF6))0thg&te@~Yu8_c%buD)m(D$O83?4_eccT0{)B+H0Xzu* zR?-@vjD)UD0q$(OXr#o}9Yzy~;;70u#p4?q|^{Lz0jpM6pR>nQQ1 z)kQfml?skyYNhaym!-cw?XOWyoxX+`KPJYnvJnXi(Qu@7SxO({{Dab$D-S+9c23A3 z0q%ESA(dVoP(#!SB@|QKjE~H=mq*`xC0NFEGDYbxOn?ELVllxcJYSY7w~P%n;wm33 zh*H%cHnMswB;6H4Wn4C*wWmpe8M85Llq@zme+!)LnW(0zYU{=<`qNc#Js^pcHfjU4 zpOs#6qsFX{TROjurFRo$wbfBLmTR5~xd;QP=Pp=VSOnj9wmB}rC^$46aW63omruJ# z8QBk2LO_;+{&Ys66m9gC0Q;97P)QF>yA)I9;vdyb*h~;Rff#Hu^du#-5Nk+h2p#5Z z+ZV*2o(;8Czi|)de^SHv)!^-(SGvv45)BHccgBkk98!dVEzF5TvvfRQN}k-6&N8n5 z{8)ELr6J5z!-B+7Jzwz{+3n{~JLc;&|>SR1+mn2-(p zWGY0%R%#Qs0r1C^R)7{Bl(V$7gyE38mXZO0F_|7#2r%61#%A`cjZ5;kMKzpsxp^bc zC~Xn2EU*>}6y-{Uc0G`6u0vE|4B3&UGpS@qRUIy_!fD>pa{?=QA>-oSf^7j=4{;Yx z3Se%t*fYJjU$X6f5PF0uTmY$OI94pG$*c*>?<*#mnlGd%CSzf;SGP+FD`9J;*!yAp z%yXCOl>~c6V=)rN4fai58QddP$^S@mLmgP(%X1Y(sLTtA2Y%%` zdj%N5yBPTd!fHGL0)Y#<-Mh1?K7sAk7Emt|1^g#z?4jPlj-KKY))W3H$hO|nm(!?J z{*`26>Y5B$t~EwTIa-O9YD7pZ;*5g?Ngw!{N^qIga)XFQYxSioi=a76I9cKc(LxYn zIk?8d2Wl#YKDorQossJO8u^kt4Cr`w+s8cEOY$NbW1ZJ_$Q@FYgT0)XB!QdB02+CEaEP81Bv8M18VsI4-Qiu53D)is z3?yxJcW(Vg4QcONt09o~W zF*V_NqRCMXaN?s;@DMYABXb_>s%_Mb8BPQdmwU`>p8lwJE~`*fr_uNEQ3I{v(DLU+ z@)?IcWgGY#3o}~0wQYTl+6}&#fX+ii?|WX71OH?wcR#^~RpTRaoiv`!2@sgLPheJZ zUlXA1@L#X&YM=Jw-&mx<%7=@7kZ#pO48f&zZZ?F~>sNbC%CqnB0AYR^r~MZg%uMca zFC_9H_PNG0LkxxDHz({Wk>XM=nme`YhQ*}6aboLtX#Z(6X}jn`FjIs>5v3vhf`I54 z$qd)p8wF@Er&1S6MRR8G2V9~IH&yYPPKn~P0kb6DEK^8NtY97FzKA+0S`ECWa8F}& zkkQ;2wGnWAm~G`aFc+u>L|k=r)}#h%2MT0{V%fKF*wjBYS)cz+qP}nb~3T;Z-o(Yc1=z51PH}rKZ6I8+PICmSZ2chBO!=cC9DxLJAI65qQ6h@$n$My*Dz% zSEt3vf0yJkCQm<+Xq$ymw zC+;H(_LhtD;kz{-*6ScjI6|4Y9D+FNI)Aa6*4_w$4`_)bn?1VP0+|CU91Z8Q&dK>+ ziu;nn|2y5n!}b6FA%yu~Vk0LDH_88g4ZAf3o$y%^wm#`O&VvZVqtPf4b@i4Y`P@5d zu24vnO#766c7Wyp#@pKaof8o}j2#)=3I6f%@oZT)P}8HBNVkTK9Y*gaFr+`I7B}%n ziHZ`Uf`iZ$+^l+5r)z%`u21*;&Ri3+Nw62z<}_{DFnp|eb?+{d&94=pms{B_1C%qx zP(|m8NG)o%csBIIitLf!?6@6LZA3*f6tBn<%Gp!k2z2_|>%X-TbjUP=UMi!(-a!4)kPQPgciLjNdK%q~@mN?xmH8)fIiC0rhq4UJIt z(U50X<-L4fIj+R+U)>&8LTDj-0GzN8O7a&%#b7@NSq23wf_tN#DLMud6sJ{34|{BT z16Hqzp_?SNhtnv#+kT@HOv?OjCeQ4!l%PZ07eVVDVf?UcZL8D|t+>QG>FfNb)k+}$ zf~!_iBnYQy2u1vnA*ieD!?*Q2GUu{XQLqskW9&`PB}eQRUfOlW&wGoA4*+k5$l0^U z;Z74^hR1pWll8XU%d`u~BIxZg#xX9a80-BeXzVC%l-wUmNb23SF+44;ehl(?0{Mt< zZ74|2$vVBUh(;kWBv~W|Pp!^a=J+C`kBgoX=tm*{?leVJ`{(vE|NC^*`ux|NFSo?- z$)2Xd@Fw!~Id@0O`t*O7C4Gqs3dje zQaIGW=nTJ#H@bTP;H27PCac+U`@N^GGw-BhoAZ+4P0Bwy4hFgc4=nB&{SaCfbfQD< zIG6+k0__<3XDH0-TCAzH*Xd3mn5Q}o8l-q%=@)=4h6@W>%qoP*f(O1N*$2w#^(S91?0dvLbSjc zgK8N68b%T<<2op@49R&G9qt>x`W`z7`^AkXh@^K{_~^_0n+_u6TM0^>1O{1|Ws?}n z3o6ItT4gsc3rTn#c^W=wFRnMp#0vu~89;sl9o+0k!s)x2?+?l<0tFedf3XtAfPlT1 zD1K38c{b*U`=ATqwbX1YW*Zm;hm$Ub37jqm6Bi@RaC`o5$#zHQP-cN$r%6~SFZZ|R z@Z#3;AXtLqBgAEm*O2};n6Cr3@FGxE6c`F7Do~MbkP6}<$z5&mAAs`dO~EcRz-<{( z0HPd9y&I|vjtAiuY!(OureZ=&6C~v;9s>5|wY!7$vw&n5CZqrqx`G`+>0kai4)@X- zGrrrmOa`$D!j12 zy!AB;j|TD2;7{LX5dUD3IbfLOJh;u&h?oX}8i**sx&7!Yr6UM-{wQT5ok9#rl=&kJ zdYr_XMuS2UnOID|bi*A33L3}*7Ap(NG6@N)1VhnZhd(@LAaay`(Mrh#3$yt?nuOAy za84|*B7=j{_W)gN5cm#!aY7B@M-4^Za;vgr^j_^uM2LMBpah@ELP)$7+C2^)C(B7f z8TT}kuDLvMHX<@fT+ZbTZ5;Ks*V=TV$jU8)g@FHVcW-x=d;M+M#^(eAh z^C5Trk!K??v?F`raINxdGtsXvi-FBgoYgTE{I@_q$1!!KNA3w!Vfodjw?ae(3LQl` zm3J5`u2il4luovTy1+DB55=weWjMo(e^JL~x zp5oflW7f$ar89O$iJz?6z}rGT+xfKNz~4z#v-xuzwn;76#W-BRk$7BxiZ$5ZjF2~tCkxY zh{o|IeuDJYj8E%l%nYxOZunMxPFIOkIVe4LsYg+)B{e6eJwW@oze99q3pY=b=+8Kv zbh^04}_2KGimrcZO3=5LXY>pCb=;z>T@$>bOGcjaGtK5W9&J^?7n#2Dl z!XBG&`QfP^SAnOwm(7jZJ-h0%!36N7_*G3Wm;0yCo6SOL9$Ad}@~X|F_j@M7Y&ra} zmErI1GOZ*ms;kcr)$pTotNxv89Pp))W$Kb*%F$Ba5+%zAWrW`YD* z>=g^<&VC@-Ud5(YHahKMGXKb`uH?ZL?e(C8b?mWueq|a>%aRKz;mfvB->VFc-#8F@ zzz@_M>3c7&NqhZcwXo)^De>Ht2}v`2VKt;rb#$a7-)L+;U*MJZ@G9pP zUn>c;$Dp;K{jNl%&#cLVmBQJwY(F2MMcJ?2Fzx%~v7SYtC$-3X;kxYXl%@Tg=0@hc zM?S3amv=c$hbDO;NHe~SIhB%k)f3W2D=!0UzlIq3AmA)}`R&HeIs6|EUg{eAI?0s5?)A-Lwg^}|w=ejLN?1s{H>kNmhHm9* zp0F1iVCilkqt-t2miB3p@X{ix&s8f!vdVc34O$d;y58N++a8e8gGSR;LKn3_c!1a?+QkCmXId1Zv|{@84Pk90D!s2f;2xJdunj;5ZH zcx2Uo&eqxL^5f4L8eIOM!|b+v`zzBe*`$dcqgT zv4K|J61%Fh(Zs5S`0eMiu*pOFmUIB1Z?cUE(96s{Nw;Ln-OQ5Nq*MQ{<{SuaWuUo= zlM|v?F;YFqRTo>`kO|?f)UkwV@-I`NC=taKOfpLDxgd`LrEfQjr<<2^ADPxju_Ga`Ue?@OP8hG`vqfnPAu+DOv$5;KE1-;3LSyBTi@U!c) zrPhnv(B0N^b}8}+=NR~?C40Wb9hyb~JJVX`sL2@VC?dWn(@t)_aNa#c$m4_Z8OlD<*RY0r~4|fnKPwtuIn4`l4fa zSBeGGyivPmx!5IK-JJPjIa@qnPLicwi7c>ZJrm;#oKm%dPTF2)Y?BTa6+Kk_+VZr1 zxK6P0ezk6*YscQ5-eh->u-I~v@6=HbMTy`*t=b`?p14W-*_Q5pgSfKO<5W^Tzw2Ei zM_sFP>H9Ys)Lk3Dk#i?(=3d$$_Dbs*b!I*-2(|%a0yt{Xi8?h`RxBkQ)u;!C% zzL<_69Kw}b8lji`TXqsq!+_f!o=~*a2u*8t%Fn+}o$~FYgoa?BeIbiqahhJ%oO}ko#=h^L@9+cazk06c{q_mPwl0gQjpjdOqg4w>?v>oKm?S z+FTT)k4aYC^D#oU<`#7^)y9*#^8D21qTiWW^vH3B=pRiX>3j`vfBwSCf4hulRo zP@vP*hezTPTwLP@CN2@PocZbq1NlCubWH$d8o{#Lh9J+Uo{)ctb8veR;zD{q7AJy^ z;Xcs$W4niNHe{->Xi7WPX7AWsd<7Q6WU9AYVN9B@7|ykda}25&ILc*KNi0Hd&I}X2 zPX|`e)^ogD#2Enrc976k7UE$N#{eSHpWE1s`NimQ@~IYafbf#S^VyY0mf1qwxCs4V zxxA)pk!hAo3bL^UDLzuv$C$x{;fJo)rh+ieV_J-~Em|H<=RPCR+DDnaC zWYiRaDpeMBgCCdGL8f`f&jao}Dqh=M9sMpg3R=x)WJr61IUEJOb)WPMDO?uJ^M5A2nkK2?#Kj`+(6mic` zq_^QVT1M47b{~dmjpHb^o>#9B- z6<3LB!JSN-)n$3j9jdK1Ryb*v=r4ufh=*gexhJ4xEaIO>ZfR=8R#(c7lBiCf^*Bd2>Cl7b`)Dyrw%jnq4S7_8d8xx?h5^fusXJWnK3IJ4ekt z+2@@efn4{CAga-HPa}tctj&Dx@m5S8f)C*8_vDKaEAyP4fr-nk#om8<%Faf{nYmVkGKho_1;$Qk6dnN^iswGeJ%4F;L`*xA6a?9H7 zg`9qdB~WM_CgN5t8dO>;~fL5?UTLCDQ8P?-foA)z{4o1B61)s--=KmIeg9lsfRe|b@UTkk#-IT45`qkVM)m7=S*Z(r{9yZ=T8NN0CG~I=e zUR%8Jrj&b{i9VGo^_+U8jUfF;e$BN3~dGZ_bAW#Twvt8Q#%O z%f1BP*5lBVPsidmC3a5kX(drofV>()hro$Z?}wsCo-k~Y-3zm$MvI^likb_W{+zo9JaZ~R!s z8^V?m3`4E<0#Ic3%T@M6{s541&FcdOV-9iU&qAQ{^o`JI!9Be$o*u@ajy_6+lOIqq zAf*K(U=D5V5z_BAw{Tn&z;)6~LDmU_m=C{FHYY#1+5187}#r=!zKxgNP583#+pp^hRnYc2Zxn?wO_L0nnq+dDC_tlyEO!x#d-19OQCf9==|MaKr7Fo-h zn{&2$%)UZVss#w@hTQ_Gn(y0}z%I*qFIOwiZ)~>J+FSm)np|zO?cuP|`9YFxO_)bA zPP6z5o^G0T-<2JFxEw!yoO%#p!+y!orS%l)y_V#YiE?{)K)oT|u{{x_LQ~zB#J4zA zd9`Ttz%ZU(H<+teE0#^uSFYichxk@*?@!r1rQN3JwTr2YTX4{T zZajmHL=IEOgr_~*Rm+nj121sxxtC_w8bw2^zxDh@R%knydO7l`s$vr!`(5k0yd~&s zci!TP;)4e57dEP7`B5`6#}I3O_)(nX^EtTYRP5NY#Ty>tg(0Q6VZfNVZu@qKtJkqS zqYTuZqX5>}a@TgYEk9oHGAO?Op%$3$NuG_(1y&^4iLi%L@h)b;(#zKxHnyJ0;ReUM zO7RuTIs?p!2XNf2ILENaE|t!8pHR4cu3rCd+4oXA)nnwyazz>EvQUNW0XZ|jaOY3> zl@ZRu>M`g`o7JR!U-5UZYiR0q&nDrK#QQm)I-t0f%;%E0+i+3o*%}%d9z@w?4~ae7 zz`63@B(jp3q8yi%CQlR&5p4H*3^AvZJpswcy+x;@t(A8^=&WmB_N1K+D+o`q02%KP zx~DGdx~}(=WWH~rL1{1j8gjZkn3I1wI&)Y6TlWvf`97&*@*=lB8wx7#g|p1+m3uEl z4L~oq)Pjy7t&tIZoem-3N5azq;|yn}zuS7Agx*&*;xTIMw3L}?tiGzC4l1P{Yy{!T z!?1GF;;PW563d|vIIAw51sj*q!12_vS#7V%a*IcfMV-Ts&p-=|!Md$Sx(ITWP5K2d zvCpLI#m2@<{+P1)VqYJ|{Mt>yk)f{8YJihCjG=6_CwCCfev8&5Rt*H+%>(Ta&Fmt| z$vSF<#rV68g2t$UtJ2UfUtcrJbFb+?`+Jk9KdwV@&5CBWKQLybH<#)>wOzNP_RQTP z!F7C>_I@{l;pA^D8a2|k(S>rdpD>n1H6)*xn3di1eWmea3?+HE*A8>#hG78GG|-*# zu&Qjz_uF=T-py){Ab-ZU!OHtf)uM=ZBb*uS-COfJ0)1tRFdsf~bg=a5w_X{kxK>gP zQP={HD*u=S8U>O(fxDHnbjROWPkU~EC1!yiByNoie7M_3z;S@q_dx7n5IpPT`L zPN@pZyy94@}s-nv1Ge# zg5ZJ>ibqyF!S4F^dziGxG?q;}|9K>oSH%c9bw-&HSSj8_8if_K4wOxh?7+-tdoHBf zGhd9=&}7Rm5Hehx)Kohsx{~{aDd|p>{93Q4=KOXaZu~eZGBJU0mYyr?IDfOKKRWOY z49lZG+&ekDVAIiM{)_BjGa6WJok^}amuOEhZ3uY1-!>0cXj#nyCyiUF7vm8KgO$FS z-I%-YA_oveY6XQ&xyPCJ)4&riP?kEo&g@-@&X1x|B!xF*zs_62p+z8}ZqalBoxoIN z(1E{GYLUmw#g=Rc7)+Ywv)<^;_h~yF15JXyV%85Wj&W@kMmS8=MQ;`Gzbm`k{6{^yDe9#4&sP3( zjw#35_|SjBL*I6i06GpB_rtj1Qn7>UpCM`+j%3V%D$}@og0NX>SZO|Noy*45jj2dD znXCHEAX?CWJ z2^-_K%|AxDd&htOFmM_w-q(c9C@ANN`wgOsSmXAB1=U4$zu2BmG(`nk#Ubd7xySG9N*uC-ej6rT6p>I_2X46jJyy~=ta)8u72 z6Ee5w~(oMx3Ha{%m_L*TY^jYx?$l%P2>u)nqxtuoSMby-IO_BD%JowHv0T|mQ$ z2ZNs)U0PHHPeqMyr*Ipw;c)6*X0Sk+b~Bvu1fx6J>ifKJ@Okrly}aRkSSve)gb*bU z+e{X)JGVnl@L}n0m7#9nbNXFff}vG(f3)eOf?}bqCN*lqxYTRbzHT-yEF@jP1PJs_ zp|n7j&PLZf*4Cx3Qcz(UJ@~tliq`HAXD@6GxUebPQdY~m{|Ozql2C?ILF%;yekf3U zT5!L1kCQTIHF(tl?zFXqMD=F;Xo#F!6zQ zE-}ZOg2bYkRz8*MYt<~kzIHf|w4XL}&!nS=BK`%p_p*ku%;*Poet{~bu}fNs+1Q>% zgN>;>wySTW&1WObi642+X%|ZpooZ#r38dgF-DuXA6@Xg=eR`FQPza{~F zGuS;)e%4ks^NwG)2buCpW;~vzN^-z~D$MbBE>%Ms>K3vRKj%A%gHwmK=0g=V}^G!kRtH$_`AFOEuAEx}(qliGv`y_01 z3^vCG#b0%L-ky}JvY{x$2lNWhIK@UHc%l_4gR8?HJsMT;!NXb_WU*Yn!BSYq1Nbd@kZImq^0%jJ}=E6t+@=Kz`263r-QrIlPR}0VI z0^M#|YJP?p0bPCu$JH(kmDE7m>PvEGc8YaMZ3zW-49sDkz-!y}sXl=c%I7Z>$h}$) z%&{dCF@rO8d&0!{{DOpgN&RP527CfD(^12J1(CgqNZLw;+tS*f`8Sj8b+l`K$=_?5f9qOB_x}DZeL!-5UWbU57`cg zv0dE->ts0XZ>;0P&M0oJ;1T8y9~#{Kto=NkF6MvVZq?7#?a2TkD7SNn(XYf;Z-;3A z2hC33r2>OUZjr=B;o5d!_ch zr#2#0b|px98_N+~_2*!MfQV5bY*0~J18o9v-z@XkN(@=CPuJ>(7=F1%YaByzPy5heSGW#;CnEzL1<&>w(xWN zkOIMjB-aqt(aze$5KG&jJ{u=D+93QH;2;>-*hgQvNC{p)NeWC*5DFm0_(TjG`GZAg zK)`u$;6&d(iXl2vz|qd=`bSTWj)vh~T~5NtF98dlHc%s#5^xdXeI!wDF?-NnEhy^{ z0}?>%fYJmKhfied8xE)MD#3^Z0>b&iIXsw@<#_`GIfD@bwCxIsMP&uzv`x$e_{sSV z<_!KtfCMrI|DoM3yw(dRYTBDDYQnNPj0ti7bKnxxQ^g8KL|QT#`z-blD#)azH;BZ_ z3wUu58bgQhfLhxG3yenss~Ecg6=}u)TAL;O71Tkt<+D{d)9ZQou6g{Fk!so!?Tn2L zgK(zw&rXPv1`Mo6(2KZ7IQ;@5#IIik(DziysM)IHv==mZ{bi!UjU3srKs;3wv%4eY z2ZKg3#mq!PM+O$u21>GR0^MVbh!9{v3iO8b8DDP@eyG+uYX@yz;h_K(gojV@AV)}d zp&$t`$dSV5!rVg^wq9UUMLqbOffc*Qm zA~i&Lm?im6tVU`K0U!F#dVVVS%3HffhF$%p2?hT*tGE77|6B~@^4qe5vX@2pC4#7Hp&F8`7X%{=@$9b%+1Ckj0JxH6PX~4g?s2 z2#5rJeMfJ>AzZq@L%Q^q9^IfEY6*YaS0aE9IsmYWB03NtVk9C$5UnfzcCg?oefpB? zVqE|_Zr><;2)UCwNbAKb_~kB4u(2225b|!LXiy)DRV1MrsIAjCy}~~r9?Jw7VqeRy z*T#9{+v&aa4=IWhOooXk9#R^DTQ$7hyDB*_8)Frq@kV~pG46&$w8T)fbwCa4NGI)K zIYzdxA>{EV!rf6b^HbuQ{Q%Rpyd9Lg;V9GSB5daS;oY&#S`|0h? zJSFsl$WH#+_k3v2_UH-E7sI}bLQ+GM}9(m@`9cznNi2AkgId?pHG5(O3*b#?V@QCc+PAoQqSSB+pMUL|8j5ZEj zo7cQx0egArr~oM-{Do5bC-W)t82xvXb)iWTZU4-pl;+?4B^Dgu>@abhN})!)1Rf+1 zzkaty4M#&}OEc)c{1-|uclZI}Z#gJz|NDuxb}zNU3X7_re#Gqig{7IK(Zh|ws}?A8 z;l&IL>qU5fGNgwv$*kwKF}~C|l>RWs=dMcc3 zTpIFB;{zQ`ROnlYMMiAyul%jeNDL5fr41)IssRYIm+HiVIPJb^$hzj+mR!R1x0hWom>H zwTZZRy@IP&9Il_8e04&WJNyYHS^wa4)7aV80l&$q&O7T+Lbq^evxr@Dw8Y)&F{7>bs12eSf8pgxAXU|s|4#nNLg z*?iW6@fqE3HQ{+XLIP!e2$J$d8sGg_CwbKb-^@KFowQz~KU0WE>se489?(3vClUMx z1ORP8L zQkP;vSn1u_LymycByq;e%1{@OxZ6tn(&{pYgLUhL@!P5LjrD7YRv>3fdO{)~RG0W& za10LkyJT$BkGwKfqVQ(L4n{I~!bw%mo~qvBK7X{4@qCoKzekYMLK5}-Znltda|1PI zYN-C5%(KMl@KjrsBeulsU4(F6f7)mjHGpGkXT0-X7~S_v)l(?%R_sF)TaaHXk1w%7 z`o8}7khmzKNq6bFYITlr_@oPp*>}*Rip3B>?=}9>s^iouPVZH}x&jg2Tz@tfa20*m zt2sK}iYVBe5P;_`2~$&!xSA@BN_NoH2$!CMfEOn?KyM6pN5Q z_c=V^q*bNeEfhv=*yiVNrN*0G%;BB^(95D8xNx~&Zk>OuzDz_31s?d^I3J8-qQsJr&Ff!8@Y-z8!7j zWk(WPjxj$~hqL>6sy55BpHp~)d4iB)qQbH(!I7KQlcn=sAvb#v#Tb{?wkO~s@3+APV-vrI4n91`qY>Vj-^QwXN-L;!MUm>S-Po=_Zb6z-@-G+tD$tfXFIy$3#M-eNO$3L1Qvz#nxB3y-qwZf? zxD6wRpMLDVzgrv}wXbNCH$*ykMg;YN+r$+KbffnjjCrAz1eJ>{Y1)*Yhg_YtMFkV? z$VsLR=XJDb*xek-Cp8eSsb1d6PoP1GZ;5PhLy7Bzc^d&iOSA@q*FB1M)SM+#@hiWNn@xJif9$B-c}gIb zN9rMuRS?q8G%?Xi(LDRyhDpptL`Q50L|w`ietgs+%OhXqV4S(oG6uW-UO4VL+dp0_ z=_c<`1Y7RuCJTi^X-iHSN>De{^p?yU9mQU{z-WQSb<&m$6KAI)mb3<#<^w;*vvTAj zvhFg0xWZs5uW<%Z6;AM`jLvJpv5p_22-%*<5$4SLw=^~PWdVNwg$acGlgd_~N&GnF zx8!V&eE=U^{XnzT#rY6*%4HewoK|0Cs$hfpn^eUxkNs$wE&oqd^dP^n>ZWBI;Z(#D zgQ9R{vs;&_fI2v%v`m0~(iXYD%`R(P^U>74v+T~Dtc$#(Sbrd{Y%@in%Fi*Kf;lv| zivlDHeV6dr^B%`wLesJaDzM{Nc06aCGkmhIj#f?J%TW1rU@}C)tV6b?VbdTm^Q_es9 zfjjeb1HTa41gika<2NmDXb~pl4=r62 z%pG4@k4IYwl?*gg)0f;{189SF2$~JUvpb+cJBQb?#EN2 z$K)$SPc$Mbv`+J%Ut0wL9^mywxW!Kb7UtO(Dr~UJPh%1138uU&xsE`y+Po>aWTyu= zMsz-2XA0z2%*Ed|Qm6&lI@>l9L0!%zrxfQY2sC9*w}{JZ8H<~Q3ba8tEGqkQ{d=<7 zvI@q@>AF;M0Rbh2|1pq#{9`Diaa;+-Lq7&qnD8mpTxD9)v%6Zai)-3$X`yc$s%)@3 zC-Cus7t6|eu)j?ClRZnf3z{1yTCx&~!cYof2?HQp%I3ECQpM3Ug))COYE?-kF2uFE=uNMmFLzmt z5}9V|g8kzQUG-76tzgFuksimy5WzHvb^TKd>`qF13d7XDdlbzBW!Q}w?q-Dq%bLps zWj|n9d^s;mCp>i6{jf4O&D>5@)?LWoTHkG_HFm3PkE-W*HxU}Isf=D6B;Yr?)0e4L6?$BIcN)7~pPuTRwY zk=_H^$50S72@!XaHG&J8V{0w_Lq0|$XsOZ1H-EjUd&+hyu1pA~;c9aGs660V&H~y} zXM;&-7tmO~(r?5o!&cY)g=?M?Ies3cNV)-GzN!j~HIduU=Pky|4XZ*cEuWh_o0R&b zcxo!eyXk@Lxt=V%IQz>~H+#2AP!_A@=9KHMjqKjmon0}$o<>pJqOG>UC2v^2kK|Aj z;XetcloGv0EXEbZFKrzupE?@3dx7=^_{$H8*X!#ki13Ozmt3_;lG~G9Enca zJt-}0=#(c@3K>$N=Z4@J3J=FZ;iPX$6G~U}>GsV-xE(?R*RCz+e?js1uBlDTnTA&x z;KEa#Xq&u$Z2e3?%bfsyBy=aJ2SU{k!t(X=1c_Duf%+v1JeSUpoe{f2BmiP~_`-o2 z?-bcft&-b8`L-$1*dk{gk4C(QU%AuGW^~(d<$a)!R+{oAq<)oWHCkEC%y1iwC&&D0 zxj1kd2uFJZNTj-vWs&^u6Oiqu8ZGg(Z(S3St9b`-^%vs9f*E~~vOA<65St~r|3u4sK=ByfCYpu7_ z!5_rDyRUOpu;eBYTc8#iUeB%wYSJfaJ)<=PR-I2dLY7H+x{43A_VMJZW%aa zOK&5RlQQA5R3W;UM*sUZGgn$}!+CxK1iQOSk3ZbVYni-87070da|mGndDP0LDFoIs zzo6qJCVi$CdtE|gdL;VfY01>fSsW!f<|5}Z!By+Pl1o8#d;NB(bH+z8XRREc8V^pp z-3j?fWKS|hbNPH>+k}Sq0Il_6COg*J2^*K6fi&~0w%PNNL}2w0+fa}M!(h;>X4=_e zlMIAvM?rH#0mcT>J?p z8(C*8LFq$ZRn9W7WlpONl_&5hOHv@yC_G@^r;VhzuI_p$ zJbV0oST&2V<&;)F%0utY+OuH0BYMYjhAz6Hai9>?14<5CRI60GGCo)~#QiV8?1mVB zXvoT$q0Z?L%C}V8EY8rcdb*?IKpAz8SbknQXnxV^p;i5EcxR-VCslmsv#vX9?@^XO zy2ZYqMN_}+o>4~UQzC}W9~62`N@790CuNG=k7g~4eh%Y#BXBpOw%fB^>mej{*p@-+ z%A;Bb1>kZy{$(0T^m;-s&)u=#{1{Ka(cnPJ5kX;2%TCHgXTfZ`89F3$9cmakv773F zBJm&kL1^}F-rA4UxMrguJc!c|kz%Q1d@$g#FSF760fC*AKlR$Vb%ruBBdgqK|CTwj zz0W=@k?XDb;cejwoov`x5`{v;z;khmd**kE0`e zoT{JA`uF&{O`2kAK1T(H!+-VF9O{GIbX7GmE0dhsa`kZtEQIahkZ`N6?9*vVLSm35 z$^gBhr$IVor*#4y!C~dqgr&B7DFnC_NkmECfJ$U>;P+WOVSAynBCY-X{w`r{nqar81qw%xh#GWNvQcDVqC>5uNj~SI{gegG`HAC86p~bzfie$QtV#i={nh2sGMWXs~ABixd6*B z;temd*(Gs!!|(-V?{Vnr?z0}3X_Zg`bZ7STK39Vp#%-}I>-m-y>lE3i7|mzwNh`GW z8zJ}3rqIsR7784GvkOq2Ld{^M{&8z$6Y3ph>opp`(t{LT9zR%xU$If^Zp-QJk3*i; zA#vJuEEZJhV1*LuVoh93FM{S_Ou$@B-($Ks;Xzl&Uk|De@&kLY9r73MvXeO}LFTR; zpBj?-8Rii&u;rN$rr;f+ zx<(g3+(SWgseT_7QKHDqcu(ybCq0+Ui%;UHmD#yMO=GHzn#FP~oreP1De${lUOCnm z?dm+ep@-3-Hkq|Auus#|qPsX;d5%nh;2)b?4yoGGU(g#usT241)LU$m!6oxm$1)M2 zwG6cPiYQ5DVoJ5tK8S>YZJDl%?Cj!O@G4)vz{c!qg}EHsG^1l4(MAf-`9t(biBgFM zx*_^}z!Y&)w^x=qUn`jn8))EXE0={ra@2&9t^JE4OKOQg^dqsW&sUO#8*#s-R(T*Y zQ2t3ktZUA-wX*z|8Tr9Ag_NUPb(7UD%`A5dBPFJqAHI!MhZi>AGxxvlaDPhlQjVu+ zMPl?{kO|cS3LNVEC-`l%Dl_hcZd*5ncc!iO&Cs9kxg8?#BZ)#tV!-1IGF+4Z&Kw?JG^yxJQD2#15CxkV3H=03(~Vf>1|5v~u?v$+=T7gK;lY6t)MiQ0^nUTC}b= zs(}D12%?_Nxh@5XvURB)R$}X)QW%Umf2z zEh{?Dc$phLhwMq*r<>pN$F5crvP_dHZ}cKlpnaCTF(>b)+1lJ+){R~!f{^islWVw( z<{7i%`8h7Wq6z<$S5KY85%6QTvE4&dY`i5LlvlsL(#@NuX@Hpw-^{HjL9c-Q#8iw! z{U73Nk3DzBOjM4!uJ)m%enAH3!89~!BoUt7Qz!R{kKJGPA2r|sBMn_pzMaw$ioX&u ztV{7}Iq7!O)t*o{;>)z?Vr@``(MGAO31)3@F^T&0-*)ZV{4 zeYI}ubP7Pispq11D`lorwXEH3dFB()+cPV$C)39}-Hjf`i$)pKUB(FD$mKI6nnla5 z+UXhMB`75tz?E{sfLO(zkJU|QGie!BoVydo3OsX<(AgwXiM!pU;KroV5*LNT%BnZM zr1BX+<}jDQ1uTyGkQoZre-Y)+n7zwkB{m;_7Xfrt<{cJmg-PC}o4vDts1sQ5$TXtx z%o5u=&Z?v*tFTG~%YKkp%VH+k{-F66ptm+PeD`@SM`Y!)n3LPm=$-i2a;6xj9O39T zDho&$}{O z{%G!;Gwwr$HFy4bcL2og8s09ZY-nJVn@3XQkBw=6XG2|YwU{;H*Yz@$)k`SNyZAdW1Tu`d-hFUnj>TV{tr_WN|H1-6cQE zyQodQxx38@U6iq?5@4F&kZnBk+@rhA~k& z**O1SKF7nt!}ULWj+ga+*QKKcnjkfnwy?OAB2(ldLznvIc*R3xyu4%)S^7}e`~I^E z3z8NL$qL+MLQ32t-C=1M5$_6b{QeuC-z#rDoOYkb0)E1N`Q5WVPo^b{bH^!7Vmcy6 zD9#wv8SoTf30j((7+^snT?Qm5$VBADNC-zDpBukME1*3@2T+_7zexa@P7%@y{%iyY zk5TpiG(x#rBoG#65C#%3EDX?}AOa)_|9T@~uu+2$h7c_wRgS=DNOx5zh>AG|#up(i zf5dcb92?7n#8A?MFfcHT-BJ^foWXef)D_zW(S(`6I`?iZrW^t-i2V~Ps+#wm8Z5bl z73PYzckJoqbrQ@&){X)&ahX*UfOz3dU==`0iWzPeXa(&cf-jN8&Gqsf4E%sNT^&dO z)|yfO(s)I}V>nwm2kDCKjdj9kw_z?pI=AwQ=&M2&TtkF?OKQEw^nt#-+k==e{p(%) zB>dz@Mfjq|F|&zsb`S0oG;{ z#BC+N*JU?HkZjr1C-$4(Quus6inh!~K&(6F#~aJOIu zGawZarHs!v4}3tL(wwl;Kc{;`=$>sQ80w%$Lv$7649+=GVBk(~2f`b4B3IW_;^?c__frGtwBFqWbM?2d= z?8beUZ+5!9X^%Ss^g%~AXC{yzUTmC0x%P!1X@G_!!alU_c0k|vtll^J-8c2^j_#Ke z-S7bTz0*Lht)Z$HdO>tsHu%f8+G8Q0SVOl2cYOZRYb1$r z=!izK2XJ}W9z)!_{CxRp7))?wL9R%JLa?xTPq+MPxcJKBgvKHG{ZnKhP?*U}m1OSw zg;p-YybQ|`b85_cf+o3{u4lA|XtltU3^x2)P#oWPcy*cBr%SjeiLF zAJmRw1?JL0d=u!VfiuK86NK|hBXb|#UhwmK76ADIx|!6g2qgR=3Btc~f;a|s))!Iz zHf>v^o?^)$5BxXyWuiiWAEF93+taD>^@D^#-5lm21^&#QqkO^ooZf@pay&K zsk1D`srPVZ|L>c^YR1Up7qU?dYn+0rJW#BS<lD)#+wWJSatyz`gL z21M7*Aq4ULLJ#IT8JHTA_bY!$m|6q%*`PyFSB(VrVH21hzSRKq$oNc;2_tefKd{>x z&(&xS5@0_mANTPIMcG_@rAE&X%hUegRJp-) zhsfVIw`L=~%Uw1AR0w3BOXl)umc5-WR3yV-lCO6*9(s+jUEN#uhxSWh3|DWd_dYH>xAcaT99> zS$l7-l2+rZb6%rJ-8D{KKh0lcwNNrGTU44`GGA69Oe)M@o6!^RFE0@QI6oL6t+5SS zU|wttEYs-I3XQMe-T)4=IcU8+h$+DCLkN4=T7^aF*Wx4!`!O*(?VS&vHirock$V+tv^_+VA*Z0U$TAnqWpJc0sJCFtjH3X1<=VZ^hxo8CJJL2+$kE5B+TBmj3xF-zRP358@?khOlUH$*RdfdG-RO4^~~-Akg+;HD$!s_3f!^^Cz; z>CHDzQvAD*y)*`o7yeCOH^~FYf#>R0pYWV>^d=Y8Is{uP6n@2>i^TZgIo{=X^&v95 zo*uAkh!xS|)2v7q6oQ3@#>BeWiA+?e->g^_6T=pW{mkZK3)_38N^4>vz4gEWm|@_XAhfB6v*hZ ze9JNIkv{QRi#=fLAD#Z~>W1|DRGr*SH_cT-)Cpd+VPHY3;CfvXh2emLB}#+F)FLg9g)jk1y860b6o=)>l;;L}DpJcklL5sgVq{Gx*eAmB!TBAof!9rA$c{MRq(d+mf$zWOcL-8lO zS8O`f@~Gm0c+9g`}5Anz3C*NWirYP>U3F5+u| zOcFbYE_!VJ=spUDmHITK=(G6+dj`ClaT8UUVFG1Kf2;?OOts@^)uRFr<3*cG>h`c` zq2-6QuRqz&n%XPrtYv&|cnl$E$54xdZ!EY*MWzM@vzE`FCaQqaKYyrb z_*d^d)qWHZ0M|YXeN+Xij==bl?&zRESfA%a3bED=ZQi`CUAYWz>rHE$_;)C_o+__~ zA(nGz49O&I$S#ik;x{^f&vQe>R*M>f&L9gCvJjpHfSsmS24Sbfs+^PzZI;Q(N!=}k z2L^}xgk+7%)tLf+b6j-uC~oxwWNFu14)l$pg!CN^f6fSXD};GU&oGS>N4yP$QfAgZ zE(l21u+k_X-CFv`)|%g%9AlEptkpvoH_)6|_)7I~z>gDy#-T3?^J~H&!Fc*w0eE>*^j~7Nmx)%nN3%A8h)o}4UkD%3^r%h-+xDSpqPPiPT0 zS@MLB*}m0O^seg%)4lAHoq(7&*fBjdep>M7V^A9R(Z?ql8 z@M(jS5McG+I&%t#Y&<7w>G26r6}tq*`GD>RY5sOxN^e#$3gB_)ylDIA7S)B0B$1{Cj)vn*?V4t-W}9NT1_Ok*oC(SZ%mcFnsx+pylK|~zY5Q5dKKZ)KtyC%m5{SCdM(k~iUkrtq#N?-;mDS`G}GoI^43^|{Xpz}Jx-D&GtI zLAO+Gn+D$7I;%z>iOA7?iq}w$g0(dv$Y)(ne?|Ae+&V$F#UH)9T>dYBcZT}Am(W?r z9mm-}NPeVtrK_`*28o!--~^fnKz=sPH&$$9kT!!zaz~D7)p}3Y2hIl?Hlem`)Suv( zc1@hMZC#GqoG$LdHt(pY%5RIq2=Dc9#D7LMS_1Am3DANmhq3H?kVzDpw9rC!(tdLesK>em*4r&glb7$O6N1rzzI-Plx6JH zK~_=(drqnm#}jua1xzlo?$)m-#@kK9cA`EIUS#px`ZOZ6ykXPFq9hZXO>IRj)MvUU$Zpg(cR7scb{ zkReOti1$kA0V8&Y9!-%O*p(Vn7rW_|+}G})P(+!k?Q$(S>T;-tx$PnjAI*bHfuFV+ zB)jzP>^VimAC(JQ13pde+aGLm6?^k|LfvF4U=R?!_N_GI9_{t9uhZ%dcITnJJT)Ik z{>^GJWx^#IO4p#bX*NSGn*FxvG#sIx3mQYQr_c`w*~yX~QVx0s&U?cB#p4+$J#}zO zk(ik|r!kW#O`OhDWB=A5HwA4!C48T*DGbcBWK7As?iTr89>X^QIx*_*GUl{@>K^ip z37(CrAk_8oX!K4uLh{`n<*{`UL5}>?<}U0wFm4t*sAWnIQdIr;4S9&zs5nWdxdiYu zK3fd~-j&kr?_`reRErGxk;$!G3)m(VcIay3huanv7@E9iZ^%#ZJ@+BO5`&MMD4UxX zkw4V;ECOV@Y)dan@hscwiamQMuUMw#&p?;))|yeK9*;^LCT~tIoIKbT0E2BMo#9hf8dHtP{%Zcq?dF62_54Y#aAM5?MF2ta&C;nJR3>{-6j2Bw1LJh%BkN&2+K?` zzMe%?=5lV30YCmyg9s%W#g#5zGu(Bd+pM&fK?QfP_wls3EpRoMMe*tN=5MH9y;s$1 zy25Fm&Nl0Q!ndi1V(5vSZhnxqe6?+>KWmnEy=zG3eEaM=JNa5lSl$e?5FAv790pGk;Zp=;2&YSsXGskOkEeW%$aTh!FAbh69EnulB9<+LPySwt@^^G+9_p?3q-Ui+CA*OZ6Vv76vn2mYjlE^RBB@}THMS` zS=zV#&eVN5<(HWHr?m0@PVYlrKEn%T7_kj)_t6(M5MXJ6#;2%dogKz1L9==)by`mz zDE&mS)g+JW)$x`V%m3z!5ZCxRjqv5o1&2qyoeaHy)+*#)%#hjMZ%J1L647=Vx zxxT!qCY}C1m}V5|SJZBWx(V5l*30!!V8;N?%#>sg6kP-%TEl6V*E9=t(jO#KL5uAh z^bO3=$XJ$fDJWw2!)=BVf&D4ZhPz0j`J|~DCehvZV0(0IJVb^0fovJg!x$yI8oku7 zwGz1iRORU?{8D8{o7>*x%?s;vRx^2PXSjAwLP4i2r(gZ!j_JyqqVmml2Pt$^z{R3F zDFN}(=wmy)pZyMg&vplB+qzOqin}g!O}?;Ot|mr4s_Nd_hmA4gIPw3$3P-PaPThH4 zZNE;6z)EglQA(vdITKfhC|}Bh^J=kFR&Vn)Atd&V;YL|-V ze0Z`?ak02gFzQTU4ryusHd^9TyFsM7Xbfp9$5> zgwvIU)qd_tCY^SDEyp~P8L@?(ELkd*`dkQ6_=FEfkgyHsBn1c4d$Ii&4y;sIdHWEv z{XwxL4P*P&r=xY%olzDNod_qu`yvr!j#u%%U)8?Rg#F7;N>l?iduwMx!E<0%ZIG`e z=~NsV-rQR*VUUaqg4sID&(bX%W#9gU)Upk?lcLAU1rm8N8)MEBGitfdl4v{f|XzqM?oFpp{NCUTsj z;rNgd>(Y@LUm7YXcTCeyIKy*MYA?`t3DN=v-|)&8-_gP{cKm}1^RqlR$CI)fHxgk< z3lCM{F}#aKDR=k{XqsdBZ2vCHo)*VX$|wI%ni-@Puf4XG%9xU799m51s1>aGFAJfq zd`!kS5^Ea8D-_NEgNuSbR`WiZv7S{QL4FlB+*>;Uom+n5a^Uqpe(9qP{>#KYn`795 zB4{^zykmmCDyO2wL2oa$&{#^sXo;3zJEA@%WrqBANk~UEK(W4!znS5hVdfeD(5f{7 zg1U-b6+j{5S8K;LBD8N%ymsJ4qLS4^ZnDKo$VPaR*H)$L6b`Fi5c=h zU>9D_tPumG6APnIjf$lbM_r&^bX_9-p)(k5iBrrY;5lX2xuD_*CN5zoG1a;9HVBa>i9s)5$kYK3O{oq=)^wbfzGMeE*$;NMd$3kZ*jlHqGw%C6W-MQH8#am+I{R~pJL zvxXI2$-^lUnN`2m?5N%x<(V>Ig1aaJ@)_npbgNPkIOa_n2Wjiw?C{BFsmotPxTfK4 zDuqJkWDl<>k7~qAzf~2UFpI7z3s^7AKnr!csVD!~>LM1B)W;Lg}U6V9BqcXoS!vZ6KJBfF^^ah`}^DFNw+z(+i(#&@O@6zH> zL!piHMD7i+gtj54gDV#A6bK-^Y<_t0OS*bA4{`1etr4#;Go$w%v9EQ3I|P$@Dsi;Z zX0=}Vo3xEzRZb~w2fSVvifemrh;Wr-AkvF9WYaToxfKk!-<~gHQapv#xt%OakyrpA zVV%bx@U!(=YCTAD+8ChF>)!80V$=2u*qFE$W6H%G!h-4LwF4z z_1$Awm!K4iI}+Z9mvo(MCX8(EEaVo;$G=sdW~OQ|*TJp>TMDJ<_|dwxWcS{cNwBHC z=#pk?RkQkJdS_2+w)CFY`jAhgPZ8&jUTL;`VqGaN{ ztQU%Edlh$ud79MlP`{6gTdF3|C{_Bv>5a|IL}{xnuMMI?V+1{prSaW+z7}uRTajMJB&dNA7n9rq+ToSN(cZ}a7FAD z=e3MnA%_c)SMb%GU~{RG3R(2E(`z2c+zg0~-B%G9I5?L#7%jSGfp94fPY&1B?*-&l zk`^%!=DG{2`NA=M3h}X!r8mntj8!s#c_vP>CzXN`MmvCW5~V|)(+YG|Y?gFE55n>b z9%~f;@JzT)pGdr^LqW5iyE0(#TUqJ#@f@7ZZ0kB!2b$+vi@WUbc;U(^A=Aq!jRIX3 zZ;P(ot(Kz!Ctt5=?&Q@K+r)5QW1^LScPAN(O2;l!x2nufUr#zi$$tRIhx#7H3DsPt z;QeZU*U}Iw1qINpVtz=(Xab)-Ymn2mS-Dk&ke4v=OaNZ@x?!s1k^+$B){N&5+TrY@ z`g(0%~2)&XXp(c;)x$HJPV@P}*iGhIZ9- zf^6$I2z%@s^xXsP>^JUOQqDlAFO<#kNib2&2PkiESg-D;TCZ9i4LK5xYi z%SBytgnn<2HAm^qTl;=Jm{JA`7vxqtXxaHfWBaHO1f|i{-dO`%^>_Fg8CJcoUAh=P z9{Z4+KWjJ7;?(`Lu-qpVs;4P&n1Bj)?mQr_i@VWl50TIw%~@Q*e^=nL3hK3uw1w&b zJH%8IiK%qy96j6)SDhR`%X*#^@dyNWq$M*2YU}SfS!FWo_1$&LexIEJiEhzp&Dn3g zqRdOJ*SYw?<22A&T?7#<=BerMaSBmoQw84pk+^E)lyen@17q&eNm~q7tVC=7>!6&vo?W26A4*dp$1FL5xdyX`A&bpDBYlRNPL8p?K6R4 z^Hb_L#%yz1NGp5wy!z2xRLmaq#o-mx)vLKv1?~+bayall+PvC~%{l~4R8j$z)Z!hj zg!NnI6HY)W6yXzf+fA1Pu`6M}K3)X3k8VYZA-!$APmn7y!JUIBV<8$T?)C=>h zFv$u>8tlQ1St=zl|Lp2u%4KvEB!K^>+Yvhy5FBYNDi!QuT{cbt85J48!NGHW2t;~! ze4$lB-~<}g67lBlW>saHD)5h;)}^`s;MHkq?G4Abc5c#R>6E84c3T+Sf@l5nbpD1L zk%XRyU}OBp8MWQ6f2W0mVn9dB0lG@H@I_AAOfamH{D5zak8x`m)AYD$E^IwUz-b-& z_#C#vH*KY?2|Ru<*}4$r_%d%Of`}Xs2p^T1I}03sqM1!T?^Aev!_K2*BbRR)3Z+OJ z8)RB;E8wWR?C(wd*F7rlKx|pwhXT+l(huLbu!JczY}kkG?&eo4w+Nqb!s+ zkPf~t*ySQgUA8D()7_TnOq+B^l3#@=UwUN{y*#@hY+J^%4q8%KbojI4bcU4;F>|B! z{YcqHgic!;y9(p%*p$nRPL@1<(rYtML!n44@Jwssh60LcoJW7|m6AECXKc$6rHg|J zwNAvUT&f={UcZpU1g8%jr))ZRu<_XnCoDD7#`}-{mRCeXQ42chOe9M8w%jX%M=qgvV$1-Wx1K<8~s4n{J$!{hO1FmaOZ5S{pp+36Jlzp4;J?Dg|td ztxw0dpil9R%<3}Nk%7A-`3=|qJf%PHh0-N?DUa2(nQk3YDaIav#BsE+PC*+$mrW)~ z5>iVJKj;076OZ=P&W0WOek?tnbs)x_#||gO@b=gLomGYr;-Of;Z>Rc7Z&%C{PzdbZhYa#ddj=r?RSG}kdYwDpq{6Kj=J<5HgSDB;ICi|_Bn0URb-}pv zxEy-v`g+3F#HE^F17rY56*IVoZW^R-3z`ER+Mz~H5=^)~&SCssQWxHUlFM`LXcV;C&6lZrc3JC3igPvG`9QqF}oXy92^e3_s&Prz5%0s zWBIG8qehy__Dh3a)_0l_zbi=ZC+}od0aJW9h_VQs!#zUn4}W*v8vSvZDGKwLJp` zS>+6c`K0S`=~{L9cz64E81ZZ3XhCOA{^VznK7N3Aj4it(#d6zqwdk4zWjTeF0-NZI zT6ThJ)u_L!R!sQb`hQZ=j&0fsi>||5(++S+;DuD0l0yzg?7%+nQ)kv}?>?<=)h1uf zgaJxIw{l$Oh##3E{YkNyg;jA9Cb(WQM=RMR@PW<=(&$s^eOeQp#pYnhZFl~L45&p^ zCZVDM`cI%2f()tU!k;)TGvd5$LMC&XlC-LC6NQG1l?VH&?=mfib|p%#Jkdj*ebv|2 z5!~CYmxUqzPTEx5k-}urq56FAy|k&LaxCqAqa*ysMxT;Ma3R)E#zk&qCu0AR&2VQ) z6Z-7ipZ~brJ5|ux{oR7#rHY?Af>RonwY?W!t&B;n+sL$q3*}*9d#Cb6G`drg^M6!9 zFFP15Ay8oD`l-%PVCXHPW?;S4sZ3^I7%fN@U{Uy~;4$B2?J$@VTk321_X4(euzI@G z%;E3yl@dGzKb83XyG#@Xf1yl0pajQk$+reCWJ~oG{Vuh0!L49YqpZO(T2@NIf5IWL z{QpuTVm21G|7}!G4II*0SH_b@^;y<<*teI{{M{pNYa0X@eu_%(^K;n03G{<%BqNtV zCG_g?RWxrZvi5hJ_z6NOYj5YFt7N%9DAw**Z@5cVQmaUcNlr+Hdr6a_)1%R`3XQFD zy-Vgu2Gq|rv!IaGG-yA&mQ}T=m1UW7^jZE=L(wy-#1_J@02YBCsg6yI8xqjSo7IOk zrim=4d16-L7@OBuJQ+q*DkdW)JFi3xZDkE)z%8TK>lTv^6C6<#(^@zV>ED(r!|}&i zhl}GsF%*{T5{EMj?w$dNGy=st1B8~;^!ITANMHmU$my=Lt;W6!4aWdMPZgsIg`XHY z^RScPrz)?C9C%+e#|4zWx{Pv{4B93Q~4|qo}8do$60B ztSsB_L&jBY{6*}AT1I~KjBX@@nesfbJNI zya_@0(yJV$Nq`2HB2edu%;1SxQW!d1D0;@?9~UHuW<b&AfCf77+y5nIH`x3At!8rI6dVcIwiN99B=(@uznX9H}y0Vz@>c85*=O^rU!Z+*{tiC$mUFwOT8ESjv~Cg6#^rD4g$5U?BMNIiDV=R>>eG*ho|!f8}w4I_mu9fT8bgH06VU znSrD!UO&rC+f>MK z+ZP#zK?tM%u+M3rTt`9ynWZ5yJ9>juZxB&VsU5An*@r<7OPNXDU^D*hium`6-{s)K z=t?Z@$EHzXZ~>yFmRS~&Sa9ljnd7Zdnbf9IynUs1TQ~dLwc8wvQ;VERS-b0SGLYL> z_0nGNa*MADs%bOwmsjYz`=G>T@B-w)ufz5@?Qk0^88mQfiS6)(*Y2xkH4`}vNXyc9 z7T3KBwG(Kpf0$t@H*{n|I5;wzDMKP)CL@wH(7o&%0)SV$9o#8gUC|SSWz193KR+00 zTuC0o?xcqpi;{l2s{Wf{{%0sE-UGBRvm`PtJK@1O%SZZklD9A=Lsb0LU7D$;qPF+8 z_u=X3r0k=8C3&%A5K{WM8%f|RdqYDi_d3(1$nn-aq$bMw!BOl$XW?ktR=8cPhI;I{ zEVu6FOtmy+cAw~c`INY{@RZg9d(hTpkq}c~o6oo}B3K}C_vweLBK#ZKiWQjKfasg; zLI}HL7zhSQ)P)cT3x;7UAhyQW?=dMkA2Kag;J9YwHi%FwYM=qY$V#)x*{;e%ODAAC zAA(CySWgO5wh&X8_p}$-xP=C&3Y0$=6&G;Hnh|C8fK6Nm8c#Vb&uJ_nW7bzT}O5Yh92v?#5ORqPARkdtVC{&R+vi=+8y0eFEU5Q zA7Ddz93}9mXi5bC-q02ier3ZAzulOzE8N}56U9O|*#hI_Ark0QOaNZ_V?e|AHmm;L zu{|7h_CM+Tz6Jf4-X+bZG7qEVB@W7NA}=r6)U4WlK|n~~XlglJAsV z!5R+p9P6uF@|kPNYWEo64xA2adSPXgvWlw?A$JQkRWgRBZk79rx5&<7MtTFot{_;o;$^B~N%q{5`Rl}-02Dft9mNxo=Oda40;zs*rz zX-bKucKuT=V&L+|QTP7y*QI_crm<{J!)7CrTw9x$YyFmW5s+Aa^Znv-V@tZ?)CQtt zGCpHHZ6BdUcf~Pi(yqi%iGAc|12c275>m|B9TN$2mTLCwrMmMl4Go9G--K+b-t_lK z^^7;)4#rrs41^Og7;PW1Qq}`asLd9203;=VISj11l)%BCILBB&Vm|B`z35VTG}F`&4eUyq%SKziwAH7Lo4i5vi}n!j*og88(f*3A1LOg4=<1U6P6aBp&B3Hw&#kX z)clL4pJg`{c>QaU-rT&<0NDxjK#wLWD zMTTL0Rbs6iF~7dh$XzFobbfaS7CPTByvtd&DeIJ=%LYP#FH}@~KSwthJZJCuznc7_ zJsJQwKCqNg#wSU^$jdSkzU(4K*U!`z)GQm?wK$_qLm+TJZr5Bg_T?5j75;BrROZSx zw^c|<+3BxJuL)#b=VXP3a`LdF_>X;yp(kJTA_`TzSzUJYGm^zId@=W=i6(@e5|;0t zH9eCm5d{_*Wm&WXK+d}3OcN3YFZ6Uqi5z+=*D_S_B6fvPScO8RLdyFnra)Mpgo&fqps0TubE9~L?$N1C6%naci z2VZ20IxWo!VTu{bPnjq)c#)YSieAO_^)MgEB;)yq? z4T*uDV{*WU{z&e<+&YU{(M(!zKRF$=GJnmoxJgsV(NkBEPO_jczXJuMa3Lz?(i#gm zA8|CW9&_Xd|MopQs8-y`GXza|h0sI$uaG1B=OOU6t4U+)JB#_Wdt(E^6Hdk4pQf$T>r@^FB~v`8Geiy?Ss?*C z??WJt|65KXH{x!wg12wm-b*onbTk;lSB|KDxtP&KF(Y7nv)er}i`stxF)QEVj?zz! z7c!WDu%{~HY-wt>7uwjl3E7x{VrBNWIm#mTi^D0%>$WBoI!iCQoz}(6$sLaut~{MN ziY2d)hqZxpeB57`C$H-X?&@Vmp+=QyCt>V%04lBsh2 zB>Ox`)>Th29uuKPkH-sY$d4NT ztUfnOGCCFjD8{gLNyrTyxndFW(;sx`@Y}5V=={m zG9IDWD}ytdfaL66ElN{b$adj#9H^I_-f#CHy%g%LeT0jB839cDJ^of4Q!)CVLQf&_ zwP%sdX|H%?HO5yxK+yBWx9Rf60iinM1?9Zxpsr_^;xkMe$Tb#g50dPo*qy@HA9OLG z=NmW>*MSd+iX8&#v`%@sWuV1i0~cH(a3a5wmJG3Q<%j7cahK*jIkMs@)APRW&6!aj zmsR|rBKQS~;J)6KBk$w6ayR70HqTBM4ZYo1GWwPod-M#JOwx7)FI-pGDfct@V!E~V zRtHTXIM2nk=t-lrx4F)wRG7k8{u)d`c!_PmS)gv-Yy_ z*K(1o;qA63k5!;iC4%G4+h*vqBtnS1!ep9;TEwkW-Og2Czrclj3csHAS*-HnGqtA- zZh*c0xk=@L)6JFPGX=%l03t~*{ah!)ozer!hlEeuKpw)5gRD73VB_fCE21qE+qjgfCih z=={9W6bgzq#xTI z4nQS|KK7BXId=j<4*s{1g{bHtv2xKUK(uIJ!AaFP`(e%_K}~qLxg8bGu*Rfm%4{tx zov27Ix0+6zA-JF3)Utzn{LY z4}5yf7^eWkL>x|aXjLx<3uQ2d8)@=WxSYy^6VF$F4yoznRg-?+UK4E-3jDMBXK7I= z1>R@ZR$`K?!@z!^C-^%Pl~?XtYQ)Iz>od|+Mt zY}#VrefiMV{lYLfma;TpecAZAX2TJh{n&Ipf|tXDRSF#5@O@nRYwUBY;|?mWY!f;4 zeJ^&%{jrp?eCJz;6;b+6(2nCqa11fs@_&;j;NKj^ML&21I2%{0`v5q}|N3SQfTx0e zH}2MhdUGEx`^)%L(pLaDBL1H4m zRA7i;!HU(888r=IQPDF+|M_g!pfzYwH9ATyIefTnWv;p#n^Tj-qwYrpkuo9zbgiV7 z<7H6yqLerGajcT#P)v)6Dap;GL)4T?8p2i)=;L85ixTj$hJCTSg;e0ACNrT*?NM$be?t`W>y5yv5+p&99X7P>2LC*H+*Geu~fnV>7H;saATjz=r19nZ3|`^~RdKkVeaZX3UiYoqq=#Z~kN*Dni=(@?>oL;w--wTG#Li7oG$RPB)?^T6%yE-?Uu9>$uLCDb{xxjrMJCg`2T|P$f;oy*6HgHZhmlu-0IxTK>Ml1xoTeNq%qEh-3}du7ZgrlNued!7^^7=R8K-RI<|^HUU#M1b zi2W(!fj#I{s`XRM>H=|~0@Sx@msXgm9Wtg=C*4m>jtC!kQUZ%eHaxIt31r6N{nW-1 z_|sy5J}lZ{$%O0`b9GnOVOaz7T+kwN{m}Gx*w(HRhy4j-&>U1tJXMiesZ}#o{%!Gm zfs43)rVl6eq+~N8Y-`}~CAlW+_Ye6-lNE}C%ATqAe&p3>A!_Tf%3fitn~U4>8tM3t zIA3|hed=3%)+)Epm+mA|HY|Qu$#;VoVY$)&pouH>dIX#V$i}S)$E0HAX+{iS`-Y7M zu?~Qkl^F0nsqEnJjU~4K6_cq9$0TiU?(jY0{GX8+u@0ZGh%kVgOIVBAl$Ycz_&q5c z7vnm2)Fx^y6-6R#!E&z7QQ-{%pV<*d@ACsMBKnR%l}U50a!*Hd?w`qhuJVMW;7BlNnhFE?R)W|LM2SONA`vwYEe%Zb{K&}se^Un$^98a~ z2bdjUBLR~{H7VTfYtcnvTWojiDwW-l%zpY?hgFDOU4pO>)_pO4!K&TBS*xBg+16m5 z?NBU;La_DQSSp8CuQ{?d3PBI5qAJ#Q`m4LcJGnz&lYrUHBGJu4XVXg8L$~MQdFG{F zUK${Z^o(mJP9gR(NA*g+{8z{fwa*Ney9+PZj}DX@K$xtMyI3i7p*@w5HBfV_rJt%a zy=P!3+aT0_E6Mm{e%fJezCMS%_>U|_xq|9Xif_f1t=3yHBX-M!j-Kq&9MNyka>`f5 z`n!dd(x&h1TtfRk`q(_GqAVZeEeQ-n^vx2C=gz5rDRd5@``LcsSxkQ$ZLa<}nItzi ZJ6x*#I5<86CmRbFGaLnlxS|By{|8}(aaRBU diff --git a/merkzettel.tex b/merkzettel.tex index 1a209b0..b631f45 100644 --- a/merkzettel.tex +++ b/merkzettel.tex @@ -72,7 +72,10 @@ Wir definieren $A \subseteq \mathbb{N}$ und für jede $n$-stellige Operation $f$ \begin{equation*} \lambda x.yx \ered y \end{equation*} - \item \textbf{TODO} $\alpha$-Äquivalenz + \item $\alpha$-Äquivalenz: $t_1 =_\alpha t_2$, wenn $t_2$ durch Umbenennung gebundener Variablen aus $t_1$ hervorgeht, formal: \defin{3.6}{31} + \begin{align*} + \underbrace{\lambda x.u}_{t_1} =_\alpha \underbrace{\lambda y.u[y/x]}_{t_2} &&\text{wenn } y \notin FV(u) + \end{align*} \end{itemize} \subsubsection*{Auswertungsstrategien} \begin{itemize}