From b2c147010b963addba327fa6e1e37c2ee710f8df Mon Sep 17 00:00:00 2001 From: Robert Jeutter Date: Mon, 1 Mar 2021 12:47:27 +0100 Subject: [PATCH] =?UTF-8?q?=C3=9Cbung=2010?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- ...aten, Sprachen und Komplexität - Übung.pdf | Bin 361475 -> 376732 bytes ...aten, Sprachen und Komplexität - Übung.tex | 67 ++++++++++++++---- 2 files changed, 52 insertions(+), 15 deletions(-) diff --git a/Automaten, Sprachen und Komplexität - Übung.pdf b/Automaten, Sprachen und Komplexität - Übung.pdf index 1624abc7e504ac3e0171a5b8a0b4722ece75524c..a87da6215da1ada3c1302e642379f1174a749550 100644 GIT binary patch delta 52596 zcmXuJV|d=p7cG3}j&0jXW7}xdhK=3WPQzbp+esUzv2EKn8{2xH^Zw8IGS{rVXV&cf zWoFN{S6~=U)+df%5JWwg9Djc|KVBI+Il30;!e*8kuX;KqNg`iWu2m^jw$T%9u>NE zxheA6_c;44$V^U$&!a2LB)~H9o611?SnbH`z&`0nSJ9{Urx|;y!ZH@1LJafqaI6Vb z6geknNIGOmw!x?1@44@>>ao#sPJG@vwv3AOfa9@@v@}g=@y8h7rYUyPoOa@t28v7l zp|Q)Av~DUH!!$iBT?WfRmArFusLKaYkv6lZA|$=N?`}WTBC97J=QzK`EELf{{t(=A z#$y=$qSO@Xq``ea+<=nvd*WIt)!hi_9owbEZT;d%c*3V1>4r<;+iU9edF1wS``flc zF#Xc4pI3Lp1SM$uK&Jg@0Z{}lW3-+m#%Dj|=!$k&B`k+A*fho(tu(i#0Kbx_rv|GZ zchF$E`NX=9HD4j?D%BzA;@g#4*44x?3Ybwk`(oOh-ISuvv6r;inYFHffKL{nqfv2o zN@{aSKoYnLH`OX5`VKngV^cO{7js((d!Oim%>v{1EvU|nJk6QnkBz^P4ljFGM1?M$ zlm5uwTJ(!jTtp4*)xAoRMZ`#?%?U$WPSU(H`++&b-Yi%l$IoY5(5>T;Xb0#>_tnvvVb-eYvi z=uL@Rn1HYkDwT31RHEzjC`ZsvWnR*o4h4DoXsKqKaOE@15vhQEIerIVa=Ecqu4J{` zjrRVcg9R&RJX#RdCq<{KrR{3a`_y>FH+7`F$C^78CzmLtzcha&6)h>k7t7b`wk=nj z6)@6GQTTKPb{N>ev35{B7_-dLG$**5I`xZ-cAI|I7%$x*$czw)e{ z3nh*j#G5-mNEEvtBAaEttPM%s=^mig?^uE~LyO9F5(^Qok%M(~G! ziD&F1nc5*FYnf1P4Pbhx&w}EO`aek{9WVl6V8}viED@c`OU3-)!`^LGFK%oto}C|u zXgEuaDfrCs^Dh3%(@Yk_QGCSMMNT)YzvPAeluEm6Em5w^bXaX!G=i80mA&x>1!S-z zmk@ej(7FQ1Y6M|&CTKE-N44F4e}f|}tw{G6zmpgE<=fxVR1spVpSK!vqCg;#LnicV z%GSx&Ouv?u|AFt9fFB)IkVsO(Rq}NUxq%&j^K4(if@LkV!fs@O#HCYd6*yxlB-(s; zogo@kddk?*NuYhiGH<&x{sq^@>j_0wM-~`3t~L!=Ou?M$%!~Q|ge8!ab}-c&oFIwe zTGl{+8PUcHEik8}qM4BV!khuVk%nWT}E5K9EDD zc`!7xtvljh-OX>L*YexSX2glm?;F+WiEbspMVYe)a+XFUo_-$F)cpnR^KyB-tHGw! z4P*Z(rmp&QI}_uB+&y6f9qN>J|2s<>CbG&o2u`KJDM3r-Tw@;b;akg}!XYK>!GY4o z;)l!paLb=8k_5ZPk?;Jv28Q4@WmJlmTFc$uP)gUOgNtUSKtYBFK?^L++Fb%t-_tfg z)oi=aNveEVHMJ#w$1kNB5HPyFHw|FUSKM3*`66Lc7Ae7dE+s{NvwZ_6q2j}Musv#z|iIh?`f zX4?SI2rQ)RC@8F4+VvR`rn(0stST3Q!!6h!hnF^_2}c5`%N5gylcATZ@Xz%S@%<9s zMI+#57s!{wvW!2WcC_(abm(b57$qm9S*b$TM|zr0&8gv?_Zp1(XT68bwM|U=&RA**_$jWCOv|lxHXof;O8Oo(IA3z2vd7rcET2nmcd&_OGuCMnciS@pDil8y!teHH7^KJa!^nT3GVW5>JZvVTf0ffii2M8W zg(j2~qX8uCvy*f~mrNd^L@Y+4%gx9x=C!w#EHi^^LRPX0FFCF1SEmP{qNQ@ts#Ht5 zAGnT7rAu(LzPD~@euIq4aW??$9-AmtdK6`>N-zxp()HS+AuF6@C^g@5WiwZ-X<6Pt zN$5_emtRPQ{E|wKA1f`{#tKv>FqPk8-SPBn(QCvS;lmKcXMDd(un9tFsZG@Ksv%E= z`Df3NnUJqZC-C=9IH&;jn6t0=yt>J`gAp2VPeF@{a2!8t{{}Qr%n)G(R|WX$-(mxS=)^ITBAE&^&7Pmsw&|lL| zR}-X2>4JQGttcM`dfC3`&znGAoHdJy54j7ucq9+q6p|87bQ%2!^b;C~dr0eB_{E(x z65QG->!Vb7b}5og9;;^3Z+1o}Xu1-2+cHsXL!wEC}w@9z8H7Brhx5f0ZUZ@L!?1#*Nnbs`1Yv zAARf*QcQ`;0)tE@u%0bWf*W>aadmUq$;!)!EcN3aMQSz0L@uRPn+n=f%ertUj^oyc zLqeH1<14SHQ1{24C?wUV zzx_&4!m(T3O8EFD0M%Q!4AFojWzl*Sg6=4BmHXaFXq9 z*Ta-ce4!Vupia^EL$|t&;+64Jyd(a`F`LfsZgT_dw<^Hf;i9;V5tCZCTyqfDf%S7= z_`d)sBN;SjtY0v#NhF(w{vF)-Hv_jAi3-h`_E4xsz52E>C-3zfSKiN7rcD&{(J28P;GAcg<<8mjAJJ8&zGRq+QkP{hYI zp|D`0+mM7lDjuu2dq7vtEy$3b7m7oYw=|@pC! zU?Ul22ep~xnAY}nhHzISmHfR9JWZR$P&*K)4NZt@Sh)@&5Y=1yj6cox3?1&DZmos^ zS&i~*4SQCjJ=&7vB1=U%-1~fEv9$7h9ZkBd1Ul3$c2iBV%QV@7xZZZBvz+D-yP%}9 z!gJssRC_OrDK)p~gXrfB$(LTP;TGl5tu_7zQsr->5Kw6mQd(;c8m3y1Xbw=RIMDOK ze7e)D46J(C<5zP`oUj{W2VpI7tMrovdx(&6#){SFjt_pN)DE>$7iRaHfiY6}lLqD~ z0m=n9fM5zJ*o0Sp>HF<1x{a&40dBZg`y&cdn$eLG()uX2YuP4jhb&iI z1KB;J%PJ^5WSGI;P8PPPF(0Bzl@&DzmI0eM`z+*PNpMo85Mc@n@&wFh{gG z>k_}704CDO?W1|+Lc&#!!YO2j{EUM_F|Rlkf<5dfW|-n}cD1uNQU~gpk5j1uxN)t; zFSrIY?zLRB7TiZ5fso<|&xL1C;DyBa7FM6zklafC*XmY-~8Iw!k3i>QGFfYMhG zh2Jc$0jD1`=+$grOfs~ZN%@LH1BD*>|5U3Oui%64R^g=xt`hw(-sgp(r(Sb->recLxsL%>H4RI7~O?v$!M{NbB&#w!Bo-H?(W^BgO~PRjIG}V@s0<%-wS2 z_%)ThjgD64`##d0HuTFSKY)m#&qU~QrK}L_$EK= zVRDq-ZV!)qJ7o^Xk{ZZ2MW?RJH5YyeArlLHhWV>SGqp6s2E-@*I_a)8cR|_$E&Zdp zc186uo0KZgI=4hd_g7l;>Lc9c_cQJlyVzbXXzO9rZL6}l#n#HAlJ8tVusoQHx&e3I zbP>*tU$fe6!RVB8{QxeMj^7y%0}ExaqP|$^U(= zl3YK!FZKHdd>H`yr+>I;l}J9Al_xdXLPl|Lh>pZ86<9_%C?UZj^}R%Hf${D85WKT$D>MS^Zw}CK_x7W}@LJlgMeFsr!pM z#G-_(PRR8#M&9P~;)-V7#lp9wzljsrdY1b3cgrc&Ti23dMjJ>tn6$+PtZx)%%4rsG z;Y%iQhp`oMhFPl$4)H;`I(j=D>iL;4Q{qr&22n7$P}jE1NibJe(ZRnvj^#r21+aBI zmG9oA>jmeb*;rU&83{l+1{G}YO3G8}$H0Dq12penQhUIVSP-nK5dXcG$q104sac<3 z0l3FR`Ep;^C9zaCeMl@Y8^{0LACPjX!eB@ta5zV*4;YdkVMSrG^aaALTFm=@G~EAZ zooK4U2bdV~5rTyVNx}VJ3vE-X%LkZ7D; z>>R7`tM2xTo>e6O&&B+p=FkxsM6c!AozIQmk$ENhZ-P?8dDq+wNpXd|{kC6@)ZRhv z;bOjt*Jzkv_Wv9E{|(Lqp({O0^&awwic`AJT*bg6IDL%%(YS$VFKQzW;eT z2O%2?!Ce2BBVrfwId>j7xVNwG1D~%KdZ(LQ)*ZJw z=0hv5XGeUe2ZjqXM~MyMn&Qc54pgLJ2BKiHs#1GK7&J7rU0gIYs_ku7KXT$cpa+U5 zL@NorAJ3@{iZ2H_722vF!!fe;Mc z)38MoN%KPdB=q2U_tC%WGqV!vP+4Vm89?Zw*@6D`K-Ro=^+D9eDBEy2-FeN1C>lbyp$1uY-#D< zV(SJ;Ltp*6CSgFku$ zlWJ58VEMT?2EIJM+4ljJaH3>>*hm3Tn&P&G4go-2zG2CIE|=94GpnLsDJa5=%&)s@ zOT=DL`L0&Ho4EbM^;5_ouc);>qm|+^H|DcuWQ1H0LfD%O9kd0Bjs~I%^9&0|1Osm$ z9MLFv4;uL3&%v_Z3UohMpiGK*ZVS8ZQwmhs)!&2sG^MKzhh_a6R0+u1(U4Jq#DqjY zx70p~Z-AdqRg9l337_s_a&{;vT@$)p=bxeYXK>C}FJll=+B{TppbWSqr0vi17pRx7 z^%+VGX_c3uuPBxw2L_c-a>HA^X9_qGyo z5X0HhMnD7x+7k<*oB^8G{QFMC?twif7Ip6Dx&}ImnCAOzdR`bE=xi7KK!GMYBda6{ zwGAl_KZ|hkoH+s_6Cv`K37FaAR==A9Z_)V=kmAI7 zU7Qc7529!wNjB&KP|~XJkGCc{;8Q8U0^N%$6 zorg)zR+JVO&kFo$0|f?cYy+29r0?SEy1GhS??u!ntRMQHohEroigZDSRzwgUcvc$N zt9SY0DLsMqu4v}IH3xu4yQ4+{T!Qm%Lu>_%UF(g8d5gKaY5hArf8xLn;9j zwrS62?GM+;)7FtdTR+OY?WiQKbO?Ng%#GS;bldUK&ag8MZb~4U(w*&_D~FPgpm#Jn za-=}2b;R$sD{by*`P0no^NF(yIdp!{{LO3qdd94Pm|2}@t~QaH(3mgesuh#i(W>9~ z6*_t8KbSXkh8!mO6o$&!&?qUrbZN8yJ27si(f|i1Jm=pZpRcyfMKzWtqH%Q^3HQZK zxRcf>rD6#*xPbtbEh|j329o+9^vd0rGkFUwYd-Hv-8z1e_uhEsdrI!ob$oD3!t|v|6jw$JZv9{w{Mzkt@FGu@fqt}7 zK?>O^b)YRBnUnY%W{wSG{jJ@Dn?9aVr(#7!;$35-$S?lbRj<>Iqg`a-R?{zA$tk0V zP8q55KCk=Ry%^|0KV{m&|tp*b>w$|6m9OQ*Yn|;)V8?uk2zQ-#W2#I(? zn7FUPk2#&cT(A?3{9yt7x66wO&PmGSIF8LPVt~GIZ6#}MGgfae&rqEM=lfVya|aBG zlYGUrb5z2e@<+;5C>1h_q4hf;gUUp9>McP3!E^^Qs zBY#`Oi_9*y!K%Ni*9r~F#I^Lk&93XlO$ z`E7W(JZOyWGD5FJI;*yWPal0QtoUuyrni>A?HOAfB93~Gy*XxVMOFm@dX;L8D+8A2 zH4O2GD>u85bmvFh*f)YESJz(uDJOZ7LXsa~ZBTm^TuW6DfbkBz=Xpd|U#vuk7yvU{ zv`dTFPdpQ!WzP?`BwhyPXq6b7`Mn&6_t3nrO9j3NU%NRcL4T(8G3on~_6q_Ed)&v2 zT_Ye8lt>NcV#zFqsPo+EmAoX~Ei1PJSK5XhvQj-t7rs#RX3zB!wqyBe=0;qXV$r6- zY*&bgsIJOhpoY%62#LGOhz*EkGy<#|D2`Kyd$BRg*T`GHWcshN7W}g>jY%;`3{4Xq zsjrknA`xZtBIV@35(0Cp(OR`Em6_CK7S&}<*xSW&GVt7IomZ8x$XZ#sPX7+1sf4}I z(DC-UB!$A)3NHtlJG*~iq0ebn>&P{|y{xXg<39|0nk4RFTjN`}91OKzcL0#V-c~74 ztzUo2Q#DYKV!fbk81y<;+3B?q1-ayd)g6RRqsj-i=MYDG`WOShCj~P9CYz2Tw@iLg zOZvI^M*G31Dl&3wT4TL?Jg5mxL=w%%2K0F^Wo1cQiXNOsOx3VmzJrfm*exe%urCBZ z+cTXTW1B_75?fze!DwSwdTwf9KDh|#*QiQi<^JrnD68|Et}gJGP$)V z2d7AApf&x5c_CKT8F4;dl`(%FnfbpIYfjM@2IySS|oT5&Lj@(XZ zm4{m1y8S?$JI4ATA>WMTP1$Bdj);0UwZvSUy4|Y!(yKh;e_ex`xduJXeDYS}anzL2 zDKGHv-Z1&8IY^#|VrNaZ$I-mKSP7}Hb$KU4$=DsEfa7>GVm0gvl|Qi3XOef|WPTh~|{G2?| zQ62vC>AKS-_dGz~C2XZCY=GW37^Py0^q$P#? z;>Xn3_gtcfX!MzUL@imjxRkGS`#lzMW;i?8_V(`*+WrH4%J7iTj$TxJ(8mw~hLuF? zJ`z30G)#i%mcf|Or0SgScE{SrMw%EOL_#dy!S)4LcYeUuVf111$_$TMS0UpyI)#M- z#`$|4FIG4vRV9q6?1(8Vf_ey_CZD^L^d@a6HM~~jQIvqLop$is{QTJVT04tUxeLUQ z;h#~-HgoTyGq&3E#wGusJ(ynBExo$7L3$U;G}P8-j6SvxO3e0U)_(OgIcesaL#}$e z-iTdHEtNoF|Cq4vd&5kfc=<&V9c58bnYUdombpC7Uqs14rpjo#AKMxy1C^|Hd*qfg zEahv`{S1me$gf0G4mC{j9inCdD(<^Ha`LO$;uxLNsl!=ObCo0Hy@gnrnpsF%lAX@O z8p5*n=TG8JGFD1RvE_V+jx-opcJtc`cVmi}Y(xM^x9+E3D>S=$a?MP7>G$!bZ-WV! zRr6S$18vzn)OJF`UIH{#1y^od0R`y0eiwwL2hq6|Y@K~XwnO6@8*CRdUpgw^&n`MD zhugm6s_+HXV2v>#>u;7u3Igl7V#W@;$2gl9Ww?et{GO^ho%30yO@;osn`tGAr&fGj75<{LL&_omK< zxt7jU!5g1?CuN5Wr${*Z#sZtZ`^6j#)zpml zpeb$y@exhFSWli|$|mbvXK%JZdQN>iL$2vlRBLtB0Lcb@X80r)e1!MBNT*np zSr#~TV#qt_F+ig~60?cM3|(Fd>n@%+bmsNj9rd(MZ>RrdRAWM#w%Y0oyr`>`k^z-~ zLVfx*cjj^@J*$zF|ACCl&9_#phDeHk=r_))g@i`zE`_Uxu5KY z_*M9Fz+a*75ZJA#C2}T$PWcZMH|h~D_mF3pxbF&O^Iq`3F9mEz%HC)=zE&? z38QoAD$~yc8uFQt5ahjp#k_}x!<2MGS5+M1j|60Akt&lv21og(0$bqrQ2F%LO~$BP zt8s%BH&+&)i0@vRtaO|!!^|09NDBAuZ-)cq-p*!^_U9+uW)t`RI`k&k8!`aQb?ax^ z{qU227|SOreUl_K*6UB%Pa55nqDr_&&DOe){>nrpej<7mupdMXX;KZu=edQWeV}iw zAzQCXQnsR!aw;AjRXJc_HQdg~Lyqi5l)+OT8oQWP8>B#e{hOyF+)mqjcfNi1KBOG6 z!A249rZqv>81u}6ciHtX|8xy#WGOoQL7f6#&nL`&#@gJLcWh_8oW+QYAr`K6V%vjAhHWRGS~6kW3@)83Lxewe~$J0-aIp zRTBSvgx0bNS)pGv*hgXECNX{x+ZtXtE$>+`hA=+$FYpH|{Fz}7N%2M0#Etj&oF8Bn zZZ)*xpGup3sHpO6#+U~Z-b!h`d*m(6%n@C#VxB}1d3zj8bPP>!+s_S8uM;*!>)c8! zH?kt=87ijQkDi9nBYxk!sD2rQ;peqc8Qi(vFj7w((SMCmvJ|$Whgn}L%cY-Re7ZC7 za4|X2+|bS?oxgB;oN$S1`zaLMIsWS4GjZW#ik`AcVDND@GSvhy7pC)|FC>VRykLi4 zwNY^vtd~4uT`j2{DMD)}dSZ|jU6^Tp=-LK#d*UWM{lPPRnVifc2 zA-pj_Jhn!+;n%my~wX@8;|6u=StpA9KO?UP6_AJe@c1PN(7v^*j z|MJ4=h9iU(|22!REohCai!?sh%z4MA(13y->9xdvS)B6z|5P< z?oDdnTUf&x?=c)6L9ISkH7^KplTkR6kVB)~RM&1vf)b&h<10QCCW7Q!BzW-#lc-SP zV6S1kCw{(thv48LXlRm>#ykI!>7wl1(63k}iOjx?qjnGZUOrnvfBI_*)$65kt3UsF@;&Pk!!VI(<Y4YV zD$189nXUigo&6w&DnMXxE6&N=(j^7qoaX8 z>D|)zBaQN!x~mu(naELix8b)XjPI8RN-xaw)Ry7Edg1aT?Fls8tTMGPuL?Xu@oswS zuwIPL03^mUq&-tx;i^CMog0}YAV&n9iC+0}RR0cnXrC*Fx~>9MO_j{{jR`l0r$FgK`1`&heu>!e`kKz{CLwqPg z-Zna*Nn^;a^ommspb1tWM5dUhTcDWgZNIW3tswP zx!?_z*Ursu`NW2Av^a!kX!Z$zpYNZ}T^iEL9Ws05vlWUX#%(5k?+$t9en}8;gsgC< za5Vo#n24cmEc#crLP#*0M1s2KU7sqD1ar|wGx&$Z&U&PzFU-~ajg1>}{sBog=niKO zNKISWWh4j3D0W>*^{}>B=Apj?u!Z$T!Tb#6!M7{wqylTYnK5lqk6~2RQc!>UTRk)D zW)db8(=0F`5P*V~Ua>U-zAn~jX?Fk7Y+Jy+>U{`Ac@JCudXbsgBFk$`I=wq|7^O>i z)BiTl5jeJ3IMA8&r@f8%siT(N#qe4b@Ns*;m+Cwidj3XC1hqD0RL+pgeCr~P)S;q4 zM?b<{qc=p4u`zsyBO>*zcWI#DsLV>fCo*e`EhrZgq-Em`JNKjOF&cr1^36;~9+P{I zV?)WeOxj6zfJdw2_N>sn@OST&%J-;x^Y5=gQSC#1KNBWLsXYa3g_+`K5p7)h06FS| zl!Nlag2n92-U7ND(0%&f$#%Fpl2`1Hhz-?UDVk94d@G;f+N!Y$#JS>vz)~-b)-3eG znew@9o(}1Q;o9-JLkZPX7gyt#2e|ktmD{8d=U>P@$^@_%ey?J_7=HqUosXy!rJ@Lc1n`N!4Mb*M@ z4Ke1ncRRb;ffCy6IHF4_)t}B%*=UD2v~FA(Lrl^Z(i-K`E5Hu%2=9As48N^PW>imQ zWBj-5FoHKiX&AvjL}q+_v*V4hh;HHYRH-bGM#gsoZ4~3X{z>@EP7K+y01ZciJ{MPX zCc5nYtSnDspr4=6eZFhXtGVdfi4}2M15R$T`5k#s1;Pz22@X~xC+&SV0xfw7f)bbN z!-l!tvRIqY+K>02y~Sx$qrB+#u)2^B;uEvH+iamlcxP&d*`$;zQ-KRL8SsbxUgGQx zwFcgQ*^)etkoN!Z)ZHzj05sxZ!SzF^rl|)f#H(Mu7j=m*RFH@RCI>)c5)VEG$4nS` z43yscP1mhE+J$nh`2Jh}ra9pBiKZ@RVl3%O5O#XA|oFR#=NRG1xPEK}Hcje`Jo zCZchl2y*pe3?lG4(fI(qQBda>NSXyP4E-<6ZH8&^l-Px|C2G)wz<~K*YG{;(QSR1|6SI0f2*AS>!QMep8)$HdOwa}kUQ6DN2WN6NB`7lP6;^fDfJ)&Cot7v zMZwW<@RgO8KBIJ<0tdA#jYb?$+1lgQEDc1apW}Km%xQWr>P=eSG?7}d!k(_5%^E#& zoBym~#G+M}QX(D=*-Sq+!JCGg>~@mfrLHE_p)ncETE_}-dt$jwJ_0ngJ74tHGEiBKfQC{-fT;hX;^)* z?VOJ}p>41drwLg3*^!%`%f1vERT|p=1bvlZ40U>F1CuqS1s9?bwEUK(nBfs7UG|-bj^*cX*|9C zlwu} zM${mXe*w?3g4^Aq`bGIg-}tJgK1@USH(=gFm)O(%bx?0}jkHdfkUR1ZK&7mmwC>fF zYfb6AS4b`?T&53hbWFxOV;x@;d>7x4oo@2zm_3V>D1K^wXeFgdNE~(Y-E(CX``=Ec z?^!>RRA_cGEgmpGZR;HB5bP}coTYw=)T(h1~HeIx#nY-_IZ`t8f1ZS6My_SQIfj)!T>lK_gIg|NA>5mHa! zkbDh}aTraF5g5qX3>&)5QP{_S5Nf$;YZbLEaZVYyeTzwjI}+|v!`n>6TN9|Vfzh(n zHAn*X*46;!i#mv(bdp~ug-}`+Z%wNVC~^y5$TUKhcrh$vuO=oY#MuY1C=D>u!_)CW9YICX?lmChZNsf38VG~f2&JjvQR%dr?bd?=AM z3m{AC%ZZWOSlc)^yiD3#nJENgKFwXk3_}8}waa&v^l9_bDN=`<#4VG#5D;rPttyHq ze?%L~`Uq9iy=cb<@(y|MCUUjd&6_<=oFI#B+?`q6aVd{GJ?fM`)^UFWGS2B)7%T?e z3WmoogGmwJpNbV5l*K$7jw(NH%HmQ|PE#epp;Aqf6dxpYE$kWxHIv0W!s$}H4w1k< z=1B`ne}?<48s)hOX=xhbo9?;YPoCXut@|cD*lpNpfbME}fl#aA z_2%4{ux;!WIdpDp@5!Mp!rcPAeHG|;uVli-*qzptqrZNA8pdrTicva7JlW*i5U)|? zWxHG8;H-igpzuOk7Nsi`PYC$qIs>N5tl0uI3^V(WHAzEdMXpa_>dj_&r2!o*j+)B!1PC$kI>cP2Kd(?pXix7)q@4eA@dim-X@Lr>YGKDW)Kz|eyM zc6|=sdSggqFYrZUs+q#-fxBEBRXt02N|Ur!!!upPI-!{Z5pE)Cd8N;mBCv|V28FIw z%d|gBG48zn=x`l92UYl|0f;LeidO*-on?=bclx`lph^`~$~`nzmQJ7FS0=)GML=@2 zhhe|z;EI=4(F(bb*PL!pw}vM&-TIRCJ^yqq>*tzTj5;V5wOc^vjAWVjq5d=Wsaqk{E2hv``SJ>!w?p z^X#BhX;{oP4X;0?{#N4j{XT)p7u&e6@x1AZvb#X?p&aYEJX;dMhnDH*>2Ur>Xj)h= zQg=dg9A;=Ac`A4I0<(53gM`YMoS7l&ZljYR%qeJ%V5G8E7UMtJJh1KcH%Zl|Y-Mri zC#Gs$jj)Vb$08#>A1$}Xw;}0&(taLyqveh*zuC2cXrxCumt6y`r9JVfF^ zQehGXx@@0nF6y@@@07kUD-6r?F+59yonbEwJ(wR~dHpF;NMBE7iA}PDjHRy(sWW|n zoFSQBw5Q>hYX0BvIe?Ann?##0%{UBu+zIB;&!tnmCBH}-KDjhWoaUc=+1}yYz5~~t zczPn$DEFrOo#eeK+=3fe$FKTXLJcblD#wfG4IJp9(G+5yq}LO+;c#@B|c%c_?71`g2d9Vv5YoSuCKpOixs@qhp|RhF;3_N|;%%bCLk zC0YhX)L9cecR@9-b3s~_4L?|wJ+H`Dgt-i}Vs=SvQ`3(skgSZH_O}p~vhN6pcZ!*H z4z8lAVAG20#YD&kLJ~w|x>nfxPu)%}=6k-(wgB1DpXZViMSmhK&-_EqKS9BU9Z(3S zb|%g)PNqh-2&qK=(C`rd(;8r~bFuOLKZyW489O^WPb%>x6fPtW2UjA5Gc6GH2(6^M zu?QVO(X&BJ;O>svv$0X==pLE}4+VDtEua|n^oXC+(*F|)q(zWEH1%Lj&(ec{E(t65M{GY zAgQl;?;?XvpLndG4{F%%(f*e$hfmK>?BUT5d-I>Fs;~lIe|oVncp>_=Br~Dq(UA}B zpB#^ZSQ~j>$EKGT2LOnD`!hQmQ)?SA`%|0CPrslr_HMlSov!zmG=3ev)>hUQ&6SS@ z%3A{?QO?M<%y9nY6^L^^z3tC3#qm*m3xwT`$mgxTh8p*)>c?kP_NH1Mj?cfy96Vpm zT)h}*dGhL)yST~F-|W+&r?I<7dV72O1|dQG5PmsDDdPaO5^(DT^-*E+E{}B5Gc`2R zgKmgo1^Lh16a~ts=d~HH4HBYq(oR$)R|NYra$8Fa!c4uW5`>u-oGkQq`Hzfk`i&Hc zA24T7^kYV}c+-Sn1bjYT3s5syIbgkXsx!?grh|8}&c6 z{b-gZu#h&xZGADS}*`0JNP{Ib=) z`%r{p1~3s4(&Bb6udFO1lDI6A^}}BoLE9GMPv2e|!LV|y2s8)ig7Qe-L5C=lR{$|1 zEOoj!kAgL8rF-f|Q>f8*%H`@$l&E*bIinXDGDH!&hw_rQ=0FRH=y@5JfX;{BOtvIH6im(m%tHTK&?AeUD&P z0`zBq5-}#e5A{HAVljJJFP*$+`&C}e&t(2j)J&p03SzOLv#VEKUQrj`)z_D+{yuPeWmTFRu3vPkj*m^=qVP{q?W^4LL)kb>N#1N_;}P_ND)D`J=s= zXnec>z@AOC8pGSb!)lyL_ohl>` zib#A5Bdh_{Nz4ZKeajp7iMM}<>$!cb1y zT1k2)5IVh=7TaU>{Tjw=f~1ZZN3#m%h4U*VGPTG(Q}?6yWEq>ZODd%^XNa1Qf-xg= z??eNy1>B=^hs}oXW#HFjP4+?|uSCl`Edt?XcdjL9+tpF;heD532Tt8jrh@OFUChcy z=Lwd-O?Oml&d!39mYvz#mO)ovlVt%_fb*2_nfAB47Ml+M7=T(bIHE+P`0n{G3>rp|{!>Pc9h-x_@Gl zH#?ZuGckhJIZHvVS zyQjvq)YWi=W!sEje`7!t8@aKS@}uBM0!aiH%4+{z3-rI>L12%ACih|#--wKSX*#cj zbOi5kgOxjt>hiEW6Fv@Yc-+5FHBzJ`=PsT##<9bsW8RK`?}gfUB}mGlk!B=@%2y-a z%fC{xyXHpa1cW$~tfbP59b9m(TF9z2A&ogZg)8MO1(zAc5iW&eqp+Racf9k5xwssFKk?o|)N!{b>BoXhGAEL zPuamZa=ZlxI~n(3{fCH$sz`p$Si$mJYHVo&^$*YSl(~n=7sMRb_WkX2b>2na8r63! z)UAgXv^W?6`w6)s&c=HNLb;pz$l%H2h|YdTg#w8vZGvkpG&-Gv15&)cX5fnrHS%== zS0b)o^rh6QWR80j3{#*`@ zjyF<>e_{UcC)ROo`uT_U{+60EIL>vsi*5dy8oJ=SBB+0I>brn8|5fele?1k_%;mM1 zUZ`^YP3NFQF=!`}D@;8jcW&TThvj?}s%v(Og-gIBL7F59XU21Y4Ij?1`#Y(RS0+cb zQuV@i8!tku6D!AKNT39LkgULQ|%G4aalM@`Cov@A(T!*D!pgn2l~yl8&?7!a)^CO38{O zpK#G7YjUg^hqF?b(yy$V`M@>={~dQ_@EY8-VPHz2hdlsVt}6e2c4s;LZ1Z_%IyE)wan)ay#? z1UbWS$FcQ3gz|J1TV2 zb{Wrgn@?@Q?v@8dkeen51FwoNf^aPdTWTl-{Z+}8r!1UIr>{VF%HUeZJ+)FzL8=pf zhsLSz#n`u}gzyLruP2}7sekq?yyYgPCdE$ePN)Y;ht7ma->xmXikfhPgWflxn|9YbnJCW2%d zG-&_CdgvU8&@YKAQn6c)XD--k1oTxtPIvk8Y6f$!%8zdVPnX6@wYdW>=D-k-Yyr(YlS=HvL0b43xAa^fP3 zZb$mGh`fH5`MlP?aDRiRK5?W~^L^_6xxKp3VNGmKQi!A=u*&x$y zTl6mzo<6nQR8gM@1|=-F6JCUOlw|N71L>^j<9$mlXx9covg&BktKQAU-HR@gDw$-w30c(E^!I^=cu;HT=m^M z)Y&hGoquwgd%gl~wshi5h}j+j&YSI|tUt5*IlZ)&87i@1`>q@F{3;ms|1>&gQ>(On z%i-`)Xn1@Oj{1vmM^Nww8denCRce8I`dn=IRTSz~+3@D-IM2O0r*5<1EbXMrxP%~PSwom@(p-x74e3ooGGKh6}_FGD&*k$%t^&|adDiB-PWk1IZ5%_ zDX+|@G}$)RrFYsj;Zb!Ck3Gufj|dbcmnCnwb_qY;){L z#DA$r6hw5?>a1A^U^;dyu5`Rb&%Ft)FTB_n}7ETJJor#es*2Vkj>SZe{#LMp@N!*$Yu~A z2YaF2(N1CTPI>6}j-2X@f`ZvEtfFKkP0R-y%xbwxk(neRlg_)zymHosYPcP3_jPr9`!=zkj- zSE9TK54p?td=XF638x#;>t8I17UkkjY#op~5^qzcgkV9q%Y2SoCkVZOa&`OFP+uL4 zIJ==c(ff!b9#QR#fkLBXnitJ_{B%`k^ZRwo8!FLT00!qy$7W-ZYsmblveQ`Q$#Uw9 zq>bss?e?ipekPo6kxI)0#ETp_Du2RHoB@4IcTo|`pA-WqG@LnJyh1$3B0M|}M<}eL z_xZ@xr9+=T=ctY-4k3!T3kydkCuDE7&O_`r$7=vY)s~XL+}jy)(-XRwHs3U zoX-^32~kmb6H3EiW!zLFYd&hUt3Fz(i$tAidieDR! zIOw|%13EfB|KJl6u@7*3RAXLPZlcn9i=G=USkGBii)MJQ797g&QHJn(S2Bn9?XKNx6(+SNe8pOq09u{8{&-AuUDSKZ)=3`%V%#)aC*DG zLde^lC4ILVcx{*Yw12o%qkrsSW!L?)S8lW@=XTq)P`+_G+eRo(O1c67S>!@!SXE>A zbfkR_#+;A2CUs6JH3@6}IbJ`&5FL>$bQ^qu^D8~C_|yzKn_3^tSkutHX#IJ#VzX{o z-8@F+>^;)u44B1(V7S2f`>i@QIgSB?PRNe=B6|pfD4s1$_J7c>^Rkqk+d=`aM$coj zAJ1xy;W;#(FD}ji1?#3mv+d}6>UC4-Mc?pw6s@eqw$$+>pknu8P*R7Wu*B{bY5Ed3 zyvl0~&~4y?=DR3TQE+KXlM>=)r{slk{Wv zrs$nqiH)pD6IXlOQ1E`kO*I%F5{A`jFBU%IW*=niddwT}2fF44Q1?+K`BJdHueouw; z@0mD~+yXG|rdfhAp}lj&9-pFOh@@Q8c@ju5>>uh$Vp zO?)G#I&doxP#arQ`D=C)xiM_I;}i1tGT&s6RexD8+f(*rjCsF%uWNR>l8qG#xtt!BnqcLdO~d#+L1zfju(z&fx3WEG1ZtL#)T_12|19j&kw{W*oEEZ%Fc za_%M4<4^bSzU(wDHpa6I*VnzX;dzhz{JClvG4!^Y0of@@WVk1O4MObrbMqmG!iQ2f z*ni8eT`yOZDQ|tp^5&tU1hRtYBqrgWvAF4~Ip#InHC@|vs*D3neDu#M{xO;!A4v1A zV zWd2g;igBQqqa0rse5t+%WKp%&xeo`UxqtbUIk{8^brmxx?^H`v39EES+8Jj+b>6R8 zZQ=jO681v$dOkJ@_M9?T$C3LQqlu<`m;W9mOnr@!s}i_+xZK=AFO6L{km!0&s%ehr zF>u;wC!#Rc7AUuUz1s}=qBE~OEw`$8QJ8<{B~z{(PfOUP1P;jtMj@az*k(yB3V)|a zT>Wke4>{wMGC+mP!0#gjq4pnnd0-i{M)+MgDB_ZxmhvD&wOEnJj6E5uWZ8MxN52I zP8lAR3$+j6q??}(L+U<=A417=P=7hM>6pM_k5ntF4)D+UJ4x`G4w2s%mYJF+R81mZcv=4B8h@CQX+R~C z5TxhV`X|x{tla29L?i_Hagm$UIsU471G?TdfNduLGgfX#AKS?Y&NTzE!Y?-_JwNxPKr+lT&O+tKfEGH1f zb3O&>a|Y|$Go<_S=o43oW`8r_w0)Qd*BB1nQI&zPPRy>+MqM47k*y-3X@r& z6c!g4(k-bB3>~IsxW@@2Y6>8Lm_>4Mt6ndHL!3DbQtTy8ouX zizM>4!L>|Sw6IReTmq-)Hf*)6|dntyI5;^E5R+9p=sY4^2???~ z@|FZicH(!Ej#^oB*|)pdhWxGgdu~KH%&vx1od|8Um3q5D$=R7g8E+l9>G7}Tr5*$( z`a-@&Z_k8jW5W_I2ai*K6~C%+1PCYjxqBDeCGk2IDgX)rUv+qU)o95B5!xT zV_7R8-WZweI1;_R8?cTDzF^nf?^3~e_at=vDxQsO5^9b-tVio()cRe`91FaEJ>d2u zjqSTEn9!`r&#u8Auug^Rjs`z;&Isfbz&zWuK0baW$COVkB3>160SLRKPVBg{ec{({ zN|a{RpEexw-+#tN$-`rWsIMFs)|>cB@gs*LYOtx?eRx-cVDmnfi)Se~^#Ul(=qB-A z&KHZIsx5UQMJV57wI}nb7?~$IEc@*Hq4dY&IQ>`FY;?#Jw4*LZ&1STyXTgcH)^Z2$ z2wR+MIZ5zt7k}SS!KD;%Q{HpZpp|#giQJ!u^5z}*UI3Y&a9(CB@#IyL_jn_IxMbGsRQIDl>Tsn%4o+L+;DsE{ZmHUWNYEOBT%!672`sSVb?MfF(+fqQ7w!%KDb$&FjrUAj2U$SR`^K* zmA4qr$F|%7V#$N zpko}myHFPMG5rjiJHh~k#~I9!qX|4w+m19Yx%@~GNs+V89GIGuF}G}){a~?@3(c5s z8=e#cycN*nTU8}mHR~9T47p zjemq=l?O3ppuG#5!@0Mwm5J`aKP5X$55bKayqTD{pfI<~#my*_!=rpv9bcVlW5{n8 z>-9RDggj(GfHMypwHY*$58)w~R3S^AKKqLNd3@p;oNGgDdL2%qn~R~y!T}l5_pR^| zxvJWi<|oQ_ht${Wvh9u#_AT7(jLp3I8Gi;&l>?;kApC*XL!p1BfNSShd%8$kDE^%Qo~L=d_?Le74pJLZp)vDM~}uepq;Cn=Y*eo`%Wa>__FqRsYodxc*A3`K^H~kPBsBVs_7D z2s2{Fi^9l?^<7hpUy^LrsMR%%9(A-IVEsa<2d|fwB{2LAMEV!`67mg6bVhDE*n2GtVNyS!@KlUNZ@57?K%m zUWnnX#@Xz6+0`q&HM@&#K{kU6boXm5*>s2<=YFZ)QuP>+iH`_eG(?Q@z4fAFJWQ;ADU?*-`uNp! z>1nAEeaxLAi^Q>V+2}a!X%zL4n<^=lH#pQ(`K_|Z+^B$2Q^_|5n}3_Kkj4;v*nc^F zT8-s;HUFAX%s;z=Vp+|`6TJm`ogu7qbcQZE75CG#m}~F@>$|nd@{QEHz>gFn*GxN9 zfFORf>3gA~(D@~6i?$>I1 zXy?Y_$PB?lkWjTQkbh;7;OX2Xl-5gd11*Q1<%l^{YR_qETi@otG}AI82g{u}WcNT9 zt5zc?*Ew{Qm!$V+2WC)CFm82~KM@AtiAb&rptdnXvj=m*iCg4&j zWZt#40C1d(U3r88>-v%Bue11AbaP@%-N0H&gz2g8=abe)ZsaQNmla z);&2op{d=X9Fv{oO3BozX397sJ(15Y)Eqi;YxBT4#Pd!=Lt1k;YceT==#v(SystVk zNfGroFPYeO+J8QZi>Zdb-rLM1m2roRNBI0{hZqb9r{VlH!~%6BxxT73eOJ``T?9-a zwukb<-bBFT?g0l_DkvxYz)<5h6zzzRAURach7myaQaMc8J}j1j0kO*95@#vlmk6G- z_JYOlls#pWc?$S5x^DYrAzY?6M|7!P2B-|aKE8;Q27lwG++WBXoSi;fyI*~@9of5G zS}Gd(1?RF+CFDtvc&LwTei05S6C@y`@$SC&t7%Q#hWXYoq*(X}hE7d=0O=#a@dMV5 z3-3lRu>i{$*HwF~*PP0ggc9#u70naQz9wbr{+1r(P>Gt?-r+}fB^gOk_()j^w;w5{ z--t8A1AkEOhPr+c1GKr{yGMpF+0UEpuEWKSrZwlogtX+(xnQQ?LwmN8@(7Q2mE6a; zEJyRu_R{>6sq(n=Dhz_UiXbvjN+XZ86TEV8#{+biq_iG(r=@zbh`F2Et{weiApp!$ zRPkcnWes{(7qwn$#n|1AuCZ8T$qcb1G&OK3i+={9(iq)f*a=3ajrFdSc5DSL5)DC% z7i@N{)y@J}89r}^Ns7w4Po+T{H!%?)F#9>dtYj)F@#NjBl{OE3ZyOxFptcCsqEX66 z%z^Qg?w;a`2y<^Cd9|$<=iyX+!W>%~V<|*pZR2q% z2Y@3AseKP4*g^8=teqiFlNW&{k0V%5%ob=zw`g;*aA!MXt(_3QjdJ+Cp+xhWvNxj~ zO-&wB%#n+#R$X4jYEfq6#qRB}*Qx*tS-+ldDKK^HmjU+;fe3z4_ptg&)=}}Tw11;D zwsknsU*=sppssf3ezmtg#ci0i?zHbSG3NNVJUm1bb*%5j1r*YIrDNW`a){)3r!L{haN5UF<_7 z_F?%RhEy-Z-453*Khrx@=T#;~2lNPa>ebII3WS>lbb%3jBbRZ-TL-}4D!O(6M=li0 zQN;FTU@CP(uw*?`+nGghzkIGW+DYa`y5;!V~p_N_^zHPPjz2?>uWpfE<$G? zQk#`5QaA4i7y_*z`j61!u|XLEfbLN{Tw{3rRY$<)YI-nT4|(vL`F|Ujs3*0kRh4bf zyX)*?&o6Ze^lifdM3&z(5u~~l;CI`G+W0@1qi)cZlM)St&V6CmqBvaon3VSm;Uh#S z&NQJFJB4iUw<7#+?8pmT#wq}V3VQj|%h_mwk)|t%b5|!kwi2%qO{I#M%myhFblj(6 z9sGJfT=-p0DV4pJD&pZGvOt|pGr z>QNP}lcNPClz*6(?RD1UNT{OvR%CPnXg)xym3{E0yX!J0fhdVY z7T&HneoW_WY)^>Rxt5X5#aWzdSV^eoS|$iXqCZ?U^)!0qJcm6k)0Pi8ZFaf96gWIo zhrrgc{Hobr*~dQc@S+`LaP1p8{OC>eofPZ=qom*2(SN}}EDs*61wLupTC(D+#DWH2 z5MoLTm!dnCkQ>m)H)~H`hfgMJxFk+t?-zWM7Lvwj;*<$v9`ORDD)*Mcn!DIIQq~qu zIe0FiK5m-f)N+(a`&j(jBK=b1HiB}3P%PM-;Q^Lw@DxMe-f|i~ zH_!z@#m?(mB{C?R?MH}lB)G|;A$v^Yvy^5%QM4P(8+!3os^|@uo(kwse{~?q6Qq#P zxiAI?zxYP^ob72EWHez&kNC^o7jLW$_SJ2Bl7Cv?b1|w{j8UTgTe+FEbx0=;CUV;b zV*`&FL(fh^*JXDsQqODw5Fhdzh1KQV6pl0g_{`I2IXb3^0naE+DRlHKj z2j0c42$`WvP(da$1 z>W$Q`H|m@OGiMUG5Ozz-Ls5440qL%KTX)0|27fC86-q{{O}hXgxppRofY9O{(cugw z0~B@eN-jor8V}8A5T9QQ_H5h!5Q_n04YPN|JLOT*vY(~6SLuR8etP>>eWtE00e`at z8#^CNRFo%z-aKa5P7M1emRh1jeq=A-%X^;bL^cze3s?w1yzio3;Ble=TC#>QQ&fa- z2!(X}?Q&H0J=y`U#GW{rH`-DKqJL%uU=Z=p-xn&D+osXm%-r9S@};-Z>S634p@5aPPWwd&E^tpV>XKmY%aPJ@MZlQ zn$`hpK_!^BKRXe&DXEiSgBRcwD`fegqyg!tqb!@0E>J^d`m_v9!ER@Ef`50GgJWIj zz0;kymO2U-!#YlCFeqt!+ujJALSoH(zBAO4FDxNSl`hK`K8Pvc{Ag>hAKB#Zul(JU zkuG7#E}W#=KS47KWBnAMHau_~G<-20UJ-_ZKKS!-n=KY&bnuS#L1lu!kc5iy`@>iSNfE(H%l3P1 zYmsZVj)ygQ9!YLo;_SX)zW!>CeJ&CBc=8qroppbMSyo7zT zD`CB+X^ums$@cuY#2*7tB%#QY*?MFK*k@*hFtfh@yh>H0YL<#%dw;&WkwI!3vF3Zj z8J_@SBuq4lj~Qkx{e)5EWqL5Dds?t;Uxi>=qW&6Z6U3AQHa;)ti?#bKq-%ad&R+ke zCS3zYLK$UAu?G5^JZ6giMBa4}o1yu4>=4_|10_R%e_}PbYDyj~LE0+1o{lHg6!8q& zZBBY#nn;mX>GP>Wq*_X!6^T@M)L1jY(KmCEOdxfB{k!wi|pMzOSi zz=2omkze|deG!llbAMGU+HrS-Fe@T!MFBHqoeX;a3*F|<&z_`^A3GL^Xf4-aY^oa-D=en2 zG;{Y=ee@&_zL(2Kg-RoEb#Vw^{j`}@G5;Yape#0`-dZczj^MXV#y;YYNj+~Jq7=gS zGZQ|`BKwbzp3q@O*UmeD8|G2!ORJaqP1r^g`U`O9r;b7>s^-bO&wv&j)fP>rG?BhNhSruaW%5fz1^kgr@U`t1sENeB(Mkak zs$YdAxQz(epS*2X;h@EXAx)%rHfbv|X0d*8-hb28mODxZV=OrLg(NNbz%Q?EI5DawDm=9L2oCYWVJWO7aR=WsA*O2e0 zjVTb)XD29@XeYT6J|R@gnYN(9a&Cnp%75y^rnChGk54t_M)0dJnt`k^JFwKq$;Z(X ziUTh{fm8*?#;MlBC92zZ1Lt0VXgEzWG#jbuid&6eU_adgUnxItt4p@ zx(xZ`B8e=nD6?oELcaETZ%y>ZJO*eW>SU4qNq1$D62bMVwwL`Z(&{G2qIx)j3|7W6pXMBDJ?$6i98__&0s zx*iV`J+g^g5yPXcUl8!7s-$jAFbDK}ZycH6qYyYDsIf=d2|Y`{Zh87jbuR|jny1bo zG`)(Pt~rG!i0da>udePkV610*g?~2iZazJm)kvUE3+f*>y?RB-9T5V)R3U#?wE{K;(bafaQXxU9FYnwUE!U4cDlRBV z6t`pk1*;Ha=28QJAAC)Bk{gVgqze2WIpE#kUA_?2rW<&4#(t!=|Ki|3k$>4#lSh&M z>Wf+w;npMkLM?HvyEHxLEgai*{8SjpmSqmg!u>P*ost}oFG=8hPf?tIP$@j02ufFN@@*?vtTSE+SJ+?@ zK1+cZ^?T-mTPbAl*@2)WGq63)70=8@6s;~=fn=F1{%l0QD{(RZwcLvi9 zoFS=zAILM966+cLj2VLiMjjJEox@qFs6Pv*=*Uo$eS*?Ot{&`MlRJ9KC!3Py( zT~&l+I!tUL(d_aGYNV9NzND{yX0>=Xuji{a#jz!K=p}s&stFbq0EShur@~3;q@lDO z`lIJ@%o4}@iRkY0)PKTQ1;W=7UHM$`rsgI2AZ(~)BqAk^ zSTp&os~a~BGk>m;Oh(JJU=@lF0j`D3QI~PnG(y(mafTR8u76yAxVko9%^AHL?=D~3 zD`Vk-JIQXBT+41n=bDiYwc2a>_>HTaZP(u@i2zx^SoFpZvEv8toGL|Qw(0KaRWDyB zCfkXS;I31_SxMR=qi{~i(7=n4*T+ve>@LVuX|FU&Z=Oen#%1+(!zlW0IU$MAx}3g; z?7bEG0vsRlD1SyF56KTAknI{*ZbwXLq7^(*#JB_80O6DvaZq0=G*n>669=5e5h4&e zQ0luvS!ctWsmzUQQ<#ZnM=N#*PFmif$?-IBB0nUv1PoYt?ngChO|k>Ys0_Zt)(V}p z_v^!zD52#cz6Z>LF*oc?{oD|3HvE+1mA6(sM-A@bdw)R64NfxY%Y#4cm24@UVa^Ru zhhgkw>_XHZ-O)AIR<;a1b-4IZ%v)N1!TX7kty9AIW84cbQt8AJ^{5B48S$m8-m}{V zpRyyulc_#4jv_Tz+Ql<+e%@zg)+Xg+X{>t%t1AM8v}&Vmk;^q>&KBJE4_*&(Pb8taI&E&CI6#Pr=s zxa1>N!|W#N3j&wr!;Q%uTat(riY%{EiljNI8gVRP;5h(`GBypkYJ?|RvR}-rA?;bv z%R&m-#NQ~C?iiQP618g3MuTTMNB1|3xqp(cxJogXVc+G~)zu=mt+NX8QI=O= zc5SqBp|YJm*y?)$VP6S_siWl=D*&vvc_cyKZ`*xj zXpt;ueY`ms6Rw4i7R;4iMp11evv_W-9e?O{8x7Rn8hYuJ5acts$+W5+reQ-OU*cyU zy(`%Tw9yHChu)_12?~fP3qP1V?Av#jd%SWyk}aS(g&=@u&6FaJps7$1Fqtl)N$fE7 z4?t{+eyxxwS{tY}LM_aDhX(gS8*Y!d`GB|#Qza00%KBk67~=kp9h$waog8r@O@G6g zq-te$sB!jNH=#WE?DsacPFz)&u^V13#{`#6BEjhX>6!5Gd+tokmw_1@!DM)i1|4i@ zT&%12ob&B^;DRHEfU`WgSq!_D=Oz+Nl(VCABK+Z#pfM-f4ip-%&Tu{wp@Jn_;x8oi znULeLln4n=b|f}eiZ53KmB3XjRey`7VDe-khB?=%wNoZT@@Tq2i$QkquO;i3L%YAI zFZF_4T{9GzjQOf@LU54k#5!*Sttfwb=Q@*i@CW`%DjVcm8Ec2;`s(nDLq`d1_Ok7OF$D)}2V&OGivK|ey|>}4l2RDJ}Q>jmsw z7Cb6^WY!I7%Q+sN6V9)^^>I`3gN`k}HC^4C0BaR3kXZ&ILsn+ucmM1{TMBiO4_~R~ zJoF=eGVXT0A@_q}wC zl#nad5DK_6N(nY?w8~O&@^`5$J0VZkTqB3E9GOu^xTy66hvw_M3^?oWiD@p8sxcBY zwhT-4!V&u;Pz5#-IB!01_gd>ZepO9Igq8LM;(5Hdsd02OMHv(n(tkn6@6ncsrQwpX zXhZdjUxN*Ce>K)Xuu6XL{%rK_Y%VjaJH0L;g|uwptV?h^N$O#GgD9GRi$a4_MzoWA zSX|XqR~v5uRW(=LO~oGfQr8rss3oFTy9nL3DwBdXtKpQWhakvV*|N_ug>tV7hK;58 zWCvHNbdsp@obc5O%71wNQz}}rirafPT*quhZ%+90a-s{J?ik(AT^iIT4m1LNSzjgmJgTw! z486iqZgOO_b(Ef8mzym*35w5a<{B-wiPs)ODnE=*lUYI@6@NAdp{=dOS@G|!mDvp8 za7*umTaq_Iafv9Zsi-K9KE8J+UlXPTE;xyQimvsR-?s|M>xSE;7=HIPpm@@pU{2pv zx+jUhJC@B3v4nREJ|tzB1NNZ5Q$B;lBTD6@Qm=gs=OuCQrWVMF@x{zvn|fAX)8J{R zwNwC1FKtSp#eY~>2vPFKu>$5u2;&kL|GbsN5+1}y5m`gu%VxKR2>Nn}<7E*%BuIQ* z7s$c}HcF;S)6F$a`ioqTTP*vLi%Q^ERxGW*BLhMee*%< zSK>p|#$G~Tei;07T6k#2DIxlXw^&u9u5$TMq%8g`OTK7d>_HsVus%oGrBt?#@cGux zVpwwGnt%5chr>d_p*9=oJyOcYrP14O^x#GC>8xy_fD;qT@-=bAKUG~;DmkmRG%6YF}o%(o~+u8Z;(%l*_+(@G#!#%H^%bDt~s_ALao4X4xi>-UL68x?K+tzy;?` z%{)4v^KqMq-d4?{D|x5mTwvD)6`~f}4@g2O)uoxqbm!z3w-%QIo1>K}jwl;$Im)W{ z$85Cyx0cl9MUR!o%4T!2Yda%yBeJiU;Vlk>i0&ZYxd#s!ez$R%FA8-I&TQ@SKti>L zI)9kdQCbDA`bE|=*K!t^hF{wA>P`Vfi{Ie(nfB!33^;c*xT|%^^y5iqN<6?7og6Su zp=)+HM?7co++V;dvvN0(x_HWQtNd&yx7y1qXu%HKK4~0y-eMDCXw5_i_~2?Ql`+LK z#F|;8%e!R>TO7%1>Xc5F2ApohH+PUbk$;%F^u5do&jepX+ zuIxU7l%GYspnq3KU@JZ*?SCrOyb*gAJHT?hFF&-=QWodP;tmfm>vS zklY{J7k32f+-JL5ejtQC%JDd=%YXf-^wit!6^3MiyNm{@p+o40$-w}*A!5GTUVt0C z$W-0yzdt7PqO#g*+O)lNOf z2iAT(d?AEbqVj>wsSjA37iOH*`h#l3k8iT&M_fdierD-}L$+Bk?)FbP3V%lECQ=zU zS_nhs`v=Jk>naz{e4IZ=z+`pguS-2lXPG?!Z_%w9by=b(yJ(ZgbuY+)@g#LYkts&0 zM1rScRTV=`I9RI5o)Sh?RE8wE&l1`naPD8Bn&hyA+c>Uy4|R)Gv$dyG59g!_BI4;I znTir4a8X&Yu3z#F>BwHCD1TZ_(Z8(Dq{3F;l@MFxGUj%g+M(pQ$KJJHk^9QikT4YG zrUzxqA&5DrL}80pNjNK}N@v5iV~yy>&N-7|h>7h2-CVT3O~qjLuPJe&h7FK=`y2SN zXR!TPCPR~YeYOIAbhF;tsGVTqTRE}aMe$SgeDzL{DR$_MqFC4omVY7MXOtf%B%|(4 zoTBoINKx`rT1dKToU!|E^(Yt;PI6n39;}f&o4aMx zb;tRpgLHc@gnv91Do6}1Vf6O_DR_TQ7qz?O`}UhM%5JC==bpNn5F8R_N={<})PThS zzX4IRQShQ{6vz3-{Jr!n`hb>nJq@A$}}4F#hNx6^RAJwUFL%Z=P^ZfG+u-#qP_T zD?absUx8fM${F~NH%^!C2zoT>M?+5=GXPn!O7vzSsDC_xCilSE6St=S5|ViJOI`#B zCb8$~*{+(TWoUJ;#x}*}9zb5a+DFd}z`G9=ws4pG?*7T;-*Q&ESG9*|2*;{t=fCX@ zS~BP3^5>i*Ot*p!6cUKM-o_uBb)==1TCmN&$L0LjxmLL|gfiUi`=mGuJiOztUYx%H za=KbMvwyW3e7s?O4kY;~-zc1)k@(<_7TaM~gRF`1UBoaj<)j>O#Ce@y0LyGP+p?IX za$Dc#zPKy*G!Rz-gmW>vG$Ik5M(R_M51L=pRh0%c!F76f}i zHcfo)qL@#~>F(^j*G=4Uj=2quU@IN58N!@M@qa!Z3vrWWL}VB?ar)6dn5(wnPuB-I zBFD|sf|bQlo`9aNd(N7AwN2e0#CvBbS;Scao>#zUz^jbT@(DERRG61bJfXG2%a2ChE1WS zG=D&Y_<$i zlJ2_I7f`Mo-jAy1x^$G3^zZMl3Nc3?&&SJfH;o3*K@0i&(3M4WDC8z$b#WC}to`?7 zzbgj8i)8e=`RUtG-^wvTxXWPCEmnk5%EA&EYZbFQf2`eqNl41pwy|a;#7QPw$=6`|V z3~v<4_>W?01X?$FRV;Bcm-hD=0B`6n0)HEdah1=#OsDe)U~gHi0Kc{1JXM|C3}ZJV zUm+tQenADuGZ>Fouh|ebYQBBe9#2PTnv#uZ_X0Ki?T+N*66T{DlLafPffpr4=gM|<#}g8}Qh zhMP)Hp%-uBV@N(()@zBQL7<7vY>0Lf9up_n8h5uHbUBh@7Ky|?yV}y8hJOxSagpN0 z%awceaOYmn)N#sA_}+_Vt+Tj7bp>}M3xqDa`)S|6~tGm7Q~(85wQ zL$5aV?%f`DTT@uy7;k!HtCG)pvc0>>V!=huRD({JJ-)e;o+FMu#JrxSc61l#w_SL2 zl+D-FOS}=YBhKs_mw!2+{VK#9r66h1Y$7xZKuWuvwF(Sc_qXkoJDHM{I2e+pS8`5T z1SnbzNYi2XnO2)r{50Tp+>&y6|D)eYq1)f@Sn^;?%yruFBg-PK8Dp5>6R={+2WksC zny93o%t*sXHsL5ZqI4vkE{iVaH196#@m$oekyM67_H3M0KYyDo=Of=%&tYyYTSFKn zPMjk7;_+m87eYYCFJ)h%O8E!4@lTXs!3fzCV?q#X(UdsBnCmD_S^CU$Q(E>Wc%=_l zj6Hfgn7B%0}ZMHuIr2R^$TD>^M6U=pND;5Afw47>Zh@P-GWc??JxNsDF+p z;nltiVUL+Ko^#|x)UgVnpu4s!2b5{_F7)w0V5 zcFHSh0@tz6R<_v(hnuA)`7_W5q zvdiRHCXFnVyjuFo-d@IS8}uxD_DPLZHDjr6R+Mk#Ag`&I>t;Rt?>iezoNeg8w|=?Q=v4SeM%?1jhg5DBC9I7kgdm955yh|asZccfI)Xhtu& z5r5b^M2VsLC7DjqXSg_cp8uH+VzJEVb8XfstS1077w5TW`!^PU@!PEU>qNUD>gfWK z0EV&U$RNmon%O2G$xbU3B!iE9JhJi&&@wwWN+;Z{$*D%~<2#}2=)eTde-bq0)Te}7 z$mqPg~_Wy^mK?OmDZ#rjR{iPQ5n5QRTmz{ z7C474`|uxgUrRaM1=vN!51bt$VH&6hJ(gvYdAtIi^G2g^YT-|};tqBt9fa#f zFdsF|mt1^!@e$6+EbHUC zafryENXo&krV5A@ADT*_;*gp*bNs3QIr{V+1VJI*lxu^}i83 zqPt5hobIP6q3(5`(K3x$c1*ofaG+fmZX4USZFOwhw$rhVH@0otwrzEij@hw09czDQ zSM56g<-A`PtLA*hGZ1A_%~h<7X1`g?aZCu^MycxcZhy)>@NwyMbPg(@32;{KF zIh5K?)V?Iw(+C)B--4V?0qWi6(hYTa2NcWMiVRxG(<^~JK@+qOGa5M0?h?kaxhE4$ z2B&WA;Sp9k)(WdUlB$&UWR71GkF*h@XNNILZm0ir*=*%}BLG+a<`ZKxNxXVl8%*jlUU8!t98*z9r7PKnuTn|L-h1u;qAI=_@5(#PY1^>U;?Ra9X7_f^kD`9rKY z8nC}PViz|l9&5Q6z~0{>%)&w;Lv7_UH=DQz1?-7ku97nurq1u_AF9`_uTTY>JR%>@ zaz9ti&lS5vt$`yO|FQt`60WayJrpn7HTNa3b?C&6d6WNaF$l3{!xHLEKfA)8_rp~& zS@?IOyJY9VToJV2&#`#f%^NEl}2H=&71n;Cl#W#@Dn1 zFb0}C1r;5P{1?uZ84rPIn-T?F`F?g6+qnE_x?}puPap|jf1v(T{TE*-pPO`FXe-+R z!72DtO9q|qqYM&i?Jp0>)O|os0ddu3zBx=RJ0*N`&fert)H>Y5_gs~U1;rFq-!6A@ zJ@o=Xh@>k4NN0yPZJ2!1c=T31s25L$3HfVc&68~Q}E}>7Iu0iXW zLLHtDK_KdpX;hK4yvj+seL=;+RK+w8oDm~13XI;#*{dR!;urMH)=<)trphTUqlmF^k(;6G zUl)v}eM}oO^T7pGmasG#H#fyoPEwUQMY%B-vICq9V)W>4K5IeEfF8W~^rklxoneDn zI-sn;9IQ@R^ZT?LuQjVNS$*f!ZPohw1?%)1!(tE>&TV(3V zl6d8tOqt5bD1vNl7I?Qw1xkoD?gD8cKaWme*aoXXER@QdJT~E{NjWd=LBQ?rd>iR| z*u(}vXv}QSYb>CbhrO^ndH9Z`>m2op0iroP&p{04`mnBdleO|FDzWDnzcoI|ao(19 z>Q$lZz6Pbakdj=XSUNuZx5uD}b@eqgwEwDDg4fqo7)I8Bdr;F(@PfzkFObW4IrS0Q zd37+Fpl+trJ&~%k!w!TxVWgRmOHD7;>o`uMGm@i@HYq|V$exAzkSraeyHmAE03P4g zo%FGa%Uty+J?YF*|5UJqg+?`I*VQ=l76H)#M?)RWH5InV(%WW$fi5W4hKYibyOuJ* zD0{C4Bo!$qK%!R`1S1%FEOkk9NTjN~Nui2#Z9?r#V9ZsI8+rnqNH$_M3RdQ!{|n)n z&9!{X2805?gzn^51k(o18{};vpt_f4uaHsWPznNS6Lzv6#bm|bTRI#clNr&t<^n@B z&XMnq1ihlUK&-8*`l9Qlb9S3-UEgp|`mcH@xmT?gC*WXbKCRwTP4dROyo*eHhx+p} z{tKViEiALp^G7U`)6uw|fiT^^6B&#nb_xPFn74Q|M{vwk5DNB8_Qpx9bMGYnmx zCzVs<8~v|g0Nht7H1D$7?^4>2lClGHdQosxTV#qLGkQ$6Y(3hV9cv?ux?LDMQu?V9 z-N)OoL-_~|tGG@zHO5gE&?ok(nFE(Nb3Nq=q-?5n3Iea$-_@AL3A~S6bRy5}`(;_O z$5W5VWQhoXOl2A{^Xei2Wp<%|C@?~j+1p&`*7VdfN~?^bl>E>F21h~FhymmGD2ki`dC z1$E>X(m1Kf?Dzx97NZ3=1SZ^n3A()&LH*Di@zj+ORgx6MIj#nYLYm@^2D|HBq00jJ zA7p1A!IqiblEgl+R>Fj&nfgQQIDF+R>HW2)`z_vPGAfHl_s^Kw16E^VVMBf0mEavu zf2Yw#lFFT6V{2~$q_K`C=`1AV9U?}Bckf{p=4oa=U{RDMnc;iE-lpp-w>YI{w5CL>s{>BA$2_Qzj%j{Ux7=g~x| zkmJ*YxR1|53PU?xUiZ@4Bg6_|O~wb?&rAva{jxC)u_A8<3hvU&&)QDM#5q+$Cb&s+ zAcMfQekddFFZj7Je998c4=-PdK4^@ySd!zBqeu5g@M|AB2U0Rl+k19j?v~auFPrNW za%)~oGvArYiwFt$>hsTFS&x={=R}W&`jUrxZXy~QnV7kQ6t&d&6Y3aOK}7!-NS`PH zt!D_0P2VR6n9CbtRQp0XsDS_$(L}x`WDE6`_SbXbj}clp76>vMO9iT3rk7qHkSry2 zzRzB70cX6;q!%d}iRcFTtM^|%r4o{r==qvyo5{((pa;iGN zt`lm$?p=Cg0OlPu9|i`N!lr-IGDa zV%TI2`9-Dg)ah*5QQmu7Z9{QO8vDzO6X}}3rHrDAW9K-r<=`hRwkx$&_?>3dC$bqd z^hXykE_T3P24(+CYZEg^B~3%PIPo==`mMM}QrIdw1mq+}a4j>0SuO$OwcEgq5=pTb zxAT;>v10F&fn9c59bFZME-9+LJdMH*y6#`}Hoy5C3Jy4XT95(1DGqG|2G5elc~K+I zJ-)#2*A@ze$r2OPTY?Ral2rjb{7LVwRoEuLu!!C$=)uPB)0tI;3AqS{U3m}HHcrZL zvcKYLTGWvc9+6k{4t4Oya%vC$2~VFLDd#A+k|xjV-+ZSMVbrt1tNVRTVkBl45boU3 z>X9-BI4X$+{KnIS;vob_)OI&dW;vIBJ@yfn{!=gd)T5!-(R5`=kz7fU{yg<8L#b|n z+Q>S(B;K7u*Ia!N#&hePmowTqrPZlCVTyJ_`TeiDer6n2X$!0*?v0T=gCS}eSe6VM zXA*mSl5j%%CJXh-;sc)shRY7B4*hf|Bx*tQU)4V_Tr>&jx{p-@^J-m+ zZn58XGr@C|GPV!9F_fc;=#y5@c*#sa3!;7inQ(y~)RU^2C`osbxP<@m->J?`S|f$w zaBJL2x;r70`O18!!;+j?`!7S&)=UO1w3OcuRy0>f6#*$764jj*k=(Ug&=EFc*n-Zj zDAhQ3mj#;Cu_&L!JprqkH@Q)GK`CE)J?GAft?o`OzkOux*{aaa)P6v2P0 zx=wv2TMSLw22B571IK0T6xtVQ{L zklH>;!*qWh4Vk?Nt{WyC==I7`JJg5{zGh6Vg?7`V~ zv7D*dEsM-sGRatBS)#;AAr5HM>ZSb7lNP(&=*p~@*RJ)!G8o~;sy&P^6eWq=0$*74 z2$EbCjfl=E)I^|*<{WXv%AbtCrnVX$_`-eqX_|`>X=1@&DsVP|5|4nN($TnAh_}@R z;SrzB2qlpCYJ{xub*?53*l1NR`)7vndV9hnW3l-;i^HgI9F(54oc{9DHAb0cbJM=h-Kd3X zWCm7tjP$(_gA@ioF4G?G5E-5VSIU@6z$yLx7gw%k@Z*n{>NbzG~sBChIL2 z^}e4s$S_>B*rDYp+`BC1A$-7c`S<-P3H3=w$tQ*uu&lQOYVgI4K1H8A5uV5ySh)1W z@ykcuY|Gw9rx7iG3y-)bj~3mYPP~Z1jg2=t1(^hEC>t!zyxv5fU^Pa1;XaV^`x0f8 zBuUrm*!oArwA|%3!z0nM@naO;zra{OtXtcYjx#U5lsXB;uhzU#B9XVA3~w`?@EGWS zPgsJg08*qwpIQgwZv2G8YpQa{b33{$iRsogLM{4Q@Zv}u>7e~d#lq9H7>cm`Gujrt zsSZ)^-W2Hw`yJx8l9Gu|y>DBM^}Toqh4nm&+crthr0{eWs{M@Vm3vF1&PRAKgkMc7 z*$*$QqF|%whVVNj@rc#mHVTA(HT{3=%kuZ69Yw7-`=cj~2M5neRz8k|q~>mKpyFI; z6#@?7Uf!&{$GxBvx9n{Z>x@1GJ(G8}8rPnORfZg+hKfaV#rtO0MxPYy);ZZ4J`0xw zK4N+!V}tG-Z)<0c+$=gKEP4Jwwau&(F>MAVLlI=y;s{{PWuOK@Vq_HhLBeOeS3tng zva|e8J3A-a|3Ce&*`14(^?%In*K3@lJEWvP+>pg0BA2C+No6C!*#}YBS=c#XDhC%4 z(UQ@Ym!;`omUl>`52c9Fl;*P{2Y2QAm4xE9~P~t?zNu-U{HrAxe<}7+)bp(ZM1tTA6qd z4>6JAAgw!jpohsI&bW}yI*=$ZB%okZ-wNWz7$7z%$lMr(&=5b#QCT=>8|ao-@gX}r z2WddQ9$`=#F(D#nW@e&4JfLZM29=%kV89BYhqwpz>m6FdxWQwS+MRI5--$^fFbG+2 zv>;hom6Vi7Mj;Ua@#3pA2nmpUr&#bonDFo-eq-gqhGft;6zuha<-pQj5OiqnH|7x5 zWuzlmks%PRK=y5{aABjaPVzz)jQtCbzzL{pgb( zh2VY**VHz~%{h#u_W;H>kZ>Cpie+&T(zKU_3sgu96r0bg=DHTn_#3Fo?M=?c?u~$aPyN6{NjerGCHuQYviW-^FUvu^n3iu1SgO~T2I4Gc2b#?~9 zaEJk2AG|t%Sq7vAf=xVtyoQs6U|&!MVXeRD(18K|UytVQWh^vk2UnktZ?~v1S!dQe z?7h?<6@LI+4fRAr5F?(z%GB93eM-tP&_k_ms2AXyJ(d*Wi#qPxsV}Bc49xs{`l(t0 zu)4aJ0s{k{#8B=QwBIJ_4~9X&zSp`arSZ&tA1S{8&3DI)?}EwyTH1}=zxHsgJNfv& z+u=VXUVtkU?9P^FBLsI(E1Zh~Sj)zNCkrM_1ZRHr$`mo6>WNFx=gNOu0 zm7Yz5A6z9oLT(f*mImU)(MZBQT)*4Kv{=rCM7O$2l(pdh`ub=+fBAp)#j#{!&!)Rs zqFMVsWSOnDoE*toU@0xN4e6Qn+FC9^0uugK%8WM^sp2xhn7B$jM@fhv{rwtafgP=WY!X(F4dG zayT8^b9xBMOqh0>tSZX29^VhUz7nT?-1&sXB5iozSN=@3F11iT;C76ki-DzL0z_kJ z@S9MswV12#M@m>XYm4NNuDMNAzw>CO{EQwbqs~%b3&K>N&;3yGz22$5-f-~hM`5H=EO+lu03fT>ax7}CJlvH#hK&Lw6 z!sERQM#?p~9?CVqAn*V23!AkR3pP1l!C`G?F<1q5=0n>X3O|QzHK%Q$=eH#U1SJL6*KEIfFHoD16qV$u-y5Og6ZvM5B3tGItvg_O^W)EK}*Vx@z7B*O> z!=0Oca4q&`8c*fr0N2bDAZp2T=GdeRMKx91r;s2D`d_qdxpJOc;;uJN86g{8g%)y* zh1u-k`qfj=?}n2jbcRnC0|V;tMEOT_(EFe%>93|?5kW6q+XLiI>-soYi;vtN<9I5{ z=d`V=@Mw*^e0OSUf3+3f*1{d`ETAOpUYC$<+aFTW`i)J=UVqA~10iCOsUK9|Cu-ox z|KhthgIz$6PDR&tSC~M}@cQIbPRuqPtuJpivnq5E-VcdBlvTO*bFfEEi2S4#SxBdy z)uZ@RF%x%A%A4CVug9s53wj++dRm2WI^=I)4{NEqG^|kO0&H$xB$&`O4%L45${V5v z(@y(VlkQdm?_C>A0D2sBnr-el1ARXOv`bTN3q^R)AFw3FZkFXet_AyKwpQ4bZYodb zI+A!aB`upSL%J>iawBI-W>SQ_cL>RXM)tx>Y=SVNYUWN-e^y$6ex)<7*_2wUH>6AQ z<@{Q*Coqb2Rk}EVQA+V5>c9Qtz^90T$!__4nS_4#E?U75F!$psngtllJDKtimplJi zg!2OyjCF-1Dn8+^1J*YFl2mCRp=;NPq{=_@dD6sk{}j6j&SM(6;NOy~Sf_!EXU#@a z$8BBDt>BPgKj|W2Y3^!MT)f{cyV-wS0(tY-h*#bO7-?^qHBMeGB2E; zCa^t_>(Mu7cNI34eRMo1v}%JJAta8-@i^1!BwFNXp6GVqNhxr36tF!=-TX84O6ty zA}hXej#ogwNE%_%Cb)<(RLNB$RJl=nHBTbSvm`t4$>3`?KKtf=34@5m5T^W0)rYXo z_)lgN+nzsXZzf`T>gj7CXbX!rWHZ&zaZ!zMI|+@?r+Wfxea6-3 z-&R5s_z&9H!YV)!d~ic`KfkZIv1Gcy%t*~7;c zGPL+nW|$%^y2m~q%#kQ%!ytwokZUnT;HEeXEDZ%Tr(&mL8t@+_2=;AJ=JufwBtM-6 zGjX%tpyhpE@W;yXVXz%DkQJP6h?7+)Cn*}GxS!ifyC+DL9ayN?ZFK5Bfg7k)N=i#JKlsEA*Q)foeo-Rt!(){QTomX zwCt73`Ebq--5N639zXIB;)Tl+t6S}1xa_RuDhhqAV6+s3NGsG$CSjm1{mI#S7xXaz zub>HUbM+{SH13$o8Qt6m&BN&IjeaeKJrY>xNT#n2-R*$kZN$+u{CnW6z_k-YtIh0R z_?w0al(@N}{<& zq!@S2|OJn`>MGI&tMRp$#}|Ojy@-%dVVWyt-zbDNQ0(N zx1JW~ES7cdw=PRa#L3j*>z=m0KzY9np(YQtc*Hy$oi7|URB6L_3R87`cyciYa!j=y z@t~!Ss}7E0Y%A!&yoe-DXc6%YOswp6*2$3w7#XFC@1%s*@xiAdOUHh@b*Z%_P>bc=T0=;)voP6rbRXT?bz~U zw_la_!R$#01gqKJDh28dDbkYUXdfJKm>ZtvK6not5v695D-W2T2NH7teIvhIm4;-_ zQD??=SM2k|4)l`U8t?r;6q*=CSZLWwJr5W4y7EY$(vt-mn?Byd(5Q-)rT=NPCRy8F z7plK^r-MI@%lro#P$S8#28!JMK-TnOOgb++FpFpE<=0BT8KjwpZfk(Qmgm8Vn!d(@ zkWn}+nB@3{)9VK3g54(ogk$0$isi`t-e8|J`-xwTewA?OD{i+5e>{(HX|)mDZg|SQ z?(f^kJ>{I6v+0)I+jW_xRzQ%&#bD%ayy_f6V9EIE-goXwfhqNC;$fH9vr@|z!#>^I z0`te5KSTd%EU{n306a@ADtT4D$@H6r^7yw~PG?9q=Zc>4`yvA>km$m7o;vcAdtXPj zx44S3_b^#Z`vTuwtjPWLFJCE%t_3bl7NU>GoA=hSN#0&x^doT=|8{5f3aa5 z{ap;JzBTW+q0xru-@#$2E{B-XKPjN7C z2Wi=NL+hUP{}oAx+?*HWqZY{cX{f%N$xE$ucf6|AUv5n-4CimYDc)M7qCK3w z)rh~9h5Sq20eMv7sJ3HV#}qS}+J0H%xLqx4mV=ys$QgCO7R?cAfXm>N%E@SxoD>nJ zs#YIr4Ze`q%zLJa_=*ac<91P4;G}!82L!!Ybs}{QYV%{B5f5f}o}0FiU~8@$Tm;MY z4~rb7vO|sw;I9%W;-;VctGMGq)@##?;g>@S)`_nd&}KoiicN1=*Lu}h7hgAV!-%W& zTIY|syl3%a^cRFf)vkOiu`AroABe_<`O+EQv7wE)_K~%EMqUYQ+MVze24$G(d$zp4 z_nd|Z*FYF`pu?ICwkVrwdL~vMxoPbImAY(v4(R!GGiEUY`A%Oy4{{OU)d}Kv zVf6+w+n!zP{mCkyW97|;@8;DhZ5Lzpz3tcOfwgR0dnYpk;RXioNfxYP^!Tt4pI)it3xUV>kP3mtb*H;+6r?< zHs#gXM#OH=<@iGKeOyarK=Ap#l`TX^wH6N{QNbghq%@JNM3N4YO#hDVAf4L$qisCK zFs4C%8r(WH0Zz%xrc#+#yWyH*zbSrf{}_77{XlYO}Bi9IB-_%{PD4z=S!t)bOn<&xk)6x5W;CDKZ8^XloEJwLkyNk zH;$0fDYhc5F>|M#Pg4JU%Yn|5DmIHUsy!To01Un&{V=g+)J zKBcyAQVB002!(I8)xAX9b;xU5lc3m7XyHz-)k&4m){B*do0|XkmTdnvM20N0hcI3W zJz(V6Q%{KbjG&VJk(j|Ha}HQ)8|Z)Zuz6g%z!KbPrY>lg_DDIQ9=1=vGm(mHYoT>R zHo!b~XLY;9F&Fv<`P;&jn*$dQnFcD4sLsgXF z5PbKV0NpHUbjRKDRh>=>EZD>g(2~=vytY??&d-Le%dC9bHGVs;!5%!kvUVEAYYL(H zF1JfmvsxKRv`h9?y96D{B3)6l>L6B2A9dBUM^(An5f##45WB58#6mq`4uUH#qFSAl z%56VgJ?q1$CzfxMjRIDudH1gWLNeRNqQe8!n;Qci2@TrXw#cM{5ig^2lKRwy$sTr@&gR;*uhm7CEYXYEz#Q`sH6&g4zmh7 zgN>Sh+%aQNj7}3#R<)H3&hYU=(bYf1x8$?7dl~lUXg~ka%k7M&tfz-_YJ0rDjJWvS zxEPq}hcWY)RlXD7hOO2u0=V*2gj}z0#tP zXW3uwi#e24t_|dy=1G&UizM177aJdn zA2~ZxvilO$P=@%gn87(jvl{hXlcS>c+iEu&ynTm|DgJrws&~TkHR_-1F-3>=zwNVC zzxAAVKCQ6($60o94%^S0d2>?!_MW`$j*9IoHv!EP!t5~ws^$s2vG~0qw*3;_Oo0{Q zNS?OI3l~n$zUB=Zw6%0K~wf5e>qBM*n4-33=DQd-I)yl6IN&5|E!Yu5{aAut5a+i+OL`5+6 z4&c6@t&Ve2gPMJ<#1TKoVj-I@tf{lK;Za1!w@FID{Lu0pl`pZTL(3vl(t)%Kxd~R# zFqPRU>nN!2Vm-e=6pgLNT}U*?sH7_yEIS{KBa{--2|^GNt6(pIJ@O%rZAKo?f3m?$ z?P29V8-}!^jzGqf@E=HQ5%&YxIx|bbLmxt1XN-xSr7D@yC?T0%kZ){J~QvTw%!gr zlA=RS{;(nC`y6-RwC3}`P@UiIPF^R3@95kV*%Yoh{|y}ys7Q#cg>MjOX9Y$sPk^}J z$4O3=mmD`Z(|r38aVKQfG07AgjZ;@^PK#C{r^WHXK3zD;te&@9J*myBmhm9u_&S{S z`GUqv|6CugYD{eNCg*{$PAMY#yMs)}u+CL6jW!5jEw??l`*4d!SEU3{B?BdiM#bG9 zIWsM9SmiQ*!D=IetgYbc;$s3}Gyt~a))Y4}d9>4DyMriSq^-6aLUuGV)n%Na#mlsq zN>%Wc_!2cwN+-6hNH{({c^AUocQ<|Ci?wvVzynmxV zva%s>*jtoLYWBn>OGuTTiGtzR>wPfy-miFC(EiJ)lod(ge8eQ=dYnh2J=wSTWK5J9 zZIZ2e#WiHNrtW>Y8r2or5&Z4usHH!^49f`xJ4smSs&p3#;bO)!K#&RPiI8S1z6C&; zL$j)ygsCdDF$}u5~@x-&~Of| zv@1FDnfzGrd-gIZw%{jD(Ti{rm+Gs<&H_u>ME`3_6|^06Vb$?KCaRl4>1%!?BM^~H zwFiq>fN_m2)Ika;z>&~>H1WEO$oy%k35Ksd9$V=v#fqv+UT|%73w%zcwQ3J}|5126 z5^RDm+!CyJG4ZaGnXM$j#?)zb`_}cAvOt?L4^>C7Q%RI*930G94#9a(@ttDJ=k1bD zZRJzbIn7PnCq0ljF0MR|v}VRBd*hK)A4A;{z4De6cM}P~;`ZSjxUJ0Kqsup6^y(38 z|L@TdbTx5`ji5H31LsxFip^>~>;_J$|Eaub2tA3oTpsI58~GQ7Uzyr(8QlUw}U35=Y4o)DkCivfV!kS#gOrL();H zA6vfH?BnQ#=!rNo=g4E4*#_iN_B)Yt5Wba%K{y$W^!dq2Zb@3q0pv-!ps%V-G(xbo zOipoeZHYOwz=cfh38Vi$7uhsX2@V@=*3xb|j5PLd<$!E3W0wN4zEZ{z)AziAj}Kw! zkDyT{He-op*00klc*TRq9s7?wY8eB)Tlq_)Hq5IiJttX4Ifm2hl55?)d_sfGrTx4( z^ULEHiP zh@$Qg+7Ue^Sp01;XRaxx2p1zVWVjgN#{Z#x%=$CO%EEd=}Pax`3h> zmi|a+;9?vvvS%z?=-H}N7RY^km1M(q9|a-LU?cFgnx7%{stKvDun#M ze&-CVAV_3Tu8jK%2#k(S8AucaP@exg(6aIT&mEEV2RFz6b3Xs?9g&TLojv0~29h37 zM?b~Vq$xygEo26Z{$f%Qo*buZ4%5)o!Q7^v3PlLbVn8RcP+=fTr6b}5mB`nPIh?kv zN-HBLs{hl8c*#%sKMekp{;+Jxy8OoqaAR}AKf5JpK6O-_{>m4qVb04YcqBsc-WvewYS zlI;Rr>!cm)M1tWZ!cB}sZTLqRY(K#n1t-HFRdg>q;YgGokCBZn87@q&GLst^T^ocE zC*vl58A8)00Cf#2Hr_`J8~K%{B7=c4C`IwBQ)qmIoRk#-MmW&PSY6ahT7`)LYV>Gu zZw}oKZTO61!!_F&!qNvEM}54)iG4R(7>4&4!I@jT6GhYl1`o_D5(FwopTEir!vTUM zwT46#3|8_*3>Aeea2>*g&J_meZ1e*a$KY1W4<(lj?F^+8frv)4j%E?h$Wy5&$09;1 z=?pEMT!2L#At=6P+x%xfqRfC6m)~`Vk~*V?F_Z>p9YjNxJnW#zjsZsIKQ3xakh!Fg z=@w2KC;<|GcxN4b2g*juZ(&YjTpYaqlavaAzZixa>tJYaDt7LyJkYvcnIVsREC6=`TGaAyA>iR5=8e;sshDy0Ya*50 z5~EP4g%E0gMtc{BR1XI@12kVfx^eTw{BXWI)++SBaz-&#zA~o2^Als#Nix|kl{UUd z5W>j8HaLcK=mN(8YP+Bc&sF#nvgNx0y&b2>MIm@ZR6iRcGG~!u<9g&^*Oy;pS;Hox zuSRdYB?PfG+NkAOJb|O8(vrpKvc}n2K|i6I!2dXi;q6CTy3%=Or+E>y>WUZpxx1gRkc)yo1LD>2cZ&ckg>GqsdS<2xN$<#_HP zdx#4g%g43o_p_b_C67I%DQdLOI;)-q<-M1S7iRgdcWT-wSw!s*&hm=Um|boEvf&bT ztTBF-TClHC-=_j>1wQH;_B-~$E@G3P#{mNpNLw?ASol#;-Foql-MS65120ct14j1O zY1r!SWn0i{E3J%-3M*-7blMYiOuQIPe>~}TH07YK9S7upyPo@JsJ%n~x-xP{hKsW# zS8_?`2kJ@x;Rrr$bM~BechyhaP?1!)8F;P{3DpibzUTs?y@Gnn`;JF%vg)dSZfS zdY0OYz!;AcKVJG9VkFdph!Xh92rkt2ifg`tvzq_@i=?JgQeua*pTSj1p4Y0mhg{3P zrT6ck*?Bae#%n01u*YfRkN&Fn8L+e)H`1S>>V9bh^?6j>X1wjWwB12RdP(lsN$61F z|IEp9S!z&L7iM`Qa5`@#YmoMrySaPfz6Y6-9?{?9N%^rPRdw$5`)cEHTiN3$$NaqS z#@Ci7biL8{=X4S0nfX=ni)y)>j?j=!1Nj&c)`|Cg_xwfml?ceqM+i}yDF@e1~xg|B8 zp{4|Q>Ek)nHaaEn70kvj!<{7h}9S?k+ZA0TiLG%Bk--&i-}!tJaO)z4nwS1Yh5 z_k&8~`L8zRm6SW4zt>Ak%E;{c!l$er+#);=3fd>5_}@PUyt-1$D%nR+KZVE&uWE#P4K9O<3kWY)vB)1?}xODxup)ryw9>X)#Y<+p<-&N z&PxcbI;CA#xu?xbwv3vsI>PF@*Y5OhwtdMM1rgL&6%oVg-#QOaF)?G<@EPHyHLc3b zijCbh0=W_6w0U}-jFHS*3nhL9Jgl#yz0$T)S)Mmey%bBUKfi@{mQ#6FUbI|&KGHgX z%+{MI#vwl59Ip=3;Z(*c;H%hB)tpoNZIqh&`MA<%Z+M&lg_@<)#m}(??$%2;JzHF( ztqDXc3DNEPBGa}ww>#7|L>@o7YgM!M`F$>``h{?|q5YWp=TBY5>1k|UhPDkJO=F8D zr!UjKrKD2}!l5xxzCCqOE`o6?zn@=#4^#Kd#NT5^M0Z0{88byz$R0jy;>Rw6*Us~# z`Kx=z2-nt}LpYYni;?HqziIjSJ@nODmfPJav74$53@|_FSLV5`Z?*)v1iB#UB5K&_8YgnT=v5 z;mmg6*R)h~#|z0vLjHHQ>g8n{#xYQ?<$ z?L9HO@Nr$z#^SI1SqfUM4_@~9r;j?Ky1DWVJ3U@=He@M>BiHK{>JJ+9vi*Y-)WyW_%EixKLdX5 zU*4bNKh|XJ-oXCmf^V1K6aNyO@<3m@ygAc7$(A(ds`rpaxNW94xE1&sR&jx~6&#C= zX75k4>@d+37k9)Tke~7Ae820W2J~eFN|KT)eR{t!cN|@jTL#kqwS4ydm+0uxL)0l2 zoEXhPr0{(3Hrla53dmexs2*5ZA5M5iFpX9ney}7=+AFKuGR=1Q_L<5nieC>XvCDg) zMP4v?dGrr;R9&dFB!G-!thzsYHPM`lZ~N?eN1UN*?Ffx{?FGCa8P>2aOznA?uP&Hk zN`=!_V!d})sgGmkk8unEW&_G%24ugL#wzvG(UGks$_9gQ!^4a*BkC~T?;#_ie+~~Z zPa5e$y++UdvYrYjc^|W8wu*6D3Z-Lvsg`=;n03`Q4NsjTxzc-<%4zO+d@6dC^SrI3 zw;_`6M?fW`;LzYL+{wufW*T@=4AVSA2<>Yjvw492eUN5j=r8NK38+V?}ovnd|92& zy=v7evyC;zB38RGEKL5!q(|+A>%`1>td2O3ZuL6E^A4c@h%%UIK!Yf^_XVhgW(WstdyBHOCu!s1c|QBm~w0Q zoCK^MTav_jHG5Fd38(gguseR88EQL4-yT?NE|>|RDt!`5t)AJkD?BmGRArV4--t@< z1UNy`{h?$aEi*Ng3&CM?1d$qD)?@6Ti1mqJ0sm^04@J_)GWYaLe6Fo)&@bfY3ysGo@}U9Ew+k9|T!U(KUsx2m2*SzF40v z5#tN|8bqpS3Ymt1wJGU?jJ20B2ayh*`>8%Fr;ibzinNHQue0AgiC~ZMcXa>pzss#_ z5Yh4?!g?BnrL-CN(>~l0xiQ#Ppfd!dJV~7dql(C7QiL%5%LpMKKU*Pe>)k2jtRzpq zZeh+pJohpo`0YfZ*9-7Ty+lpC#zrxyKT!9}hV{>%|K}ULI6& zU%I|RaM-W{1t09Tr@))sLAsy8s$~nF5y8*?{G~(_I8@y?bY{NJ(+~*d1XiX%wOR=v z|0x{N>PYEJk+D(*wRSR&xgC~VPY`13uTi$nZi8=~6lhe>bq5bldW#IoeN2*W5yazt zro~YvZlBnThdQNR4fPKf=-amVXzk8xWcEI-DN=F4#mD6WiMWk}`b9e4!lO>XobZ4i zzgRdaa?kg0athHO*rH&8t-U)G{55Lvi{@MFz8!J^tR=b7)yd|i?!-Q3 zinFwZb0*XJk=yNy8Kni{C!_f(mUS{}a+enZ+r=WtngFUXw(%N&D@1#sJ*XWZM?h1j z3_ro%n?oXYOhF88UV=8RR_5d%-tctud3Sb05lDL#jbh=sO||UyT$qcN^585~%yIvQKZ^J)o%@ zXAZmfEP5gi-rNXk4k(a0irE7etqd`9U~9Tz96h!_B_(FAN-%QjRk(Q`Lj^u|@mjGk z^holh#>)Qm!y4cpC%FRn-St|YYl;5Kh!>eH2}3G-lcE8241XSh(hL2(I{5Il>Penz ze6~5RX>3O>kOOAZ&FS}RzRII4t^|?1#X?0CC5Sfn#A?>6yUk#`M`}RSodf*gUS-j4 zg?;G5BEFOMQdjnPZTgLmUHm8i9PC$>N&EcH_NONaJ{Tr`J>HlaxQ&AR4W&Wd;1&e? z)}VYth>n}m5UJK))hf|ND~SFKNzVRnr}?u2mH_x!&EUlVaDCt2W>7^{j$HJCxc45? z)hCKFNxl!Xd%htTg+^d@53ClguzfqyXzLYoFPYzxDN&V!6hR4e7*`XYe$8uzzU-qw zxmL!fYxj5E`BqCsMV5_=O87V8T(-ITU&k`sqmi1KZ=u^sdy$x2PaF^6Eo#1;mcxp> zo7b%1bW6t%{u9!|?`hXDg88m$r9D^)d$iq50^ST%&{;9kh7Vw?J8HMAattxp0Honj zNoSe$o)4iJ^Mp1RQkyTWY%!~ z9Ovzh^rW%UV}Rk{7ZNi0;iO5^L=qHcm+>Pg3mY@lbxWPfk|BROMDnoyL40%*wgBC2 zPY08XfHfce{*BGTDgO2JBi&z}V~BcxZfoO+8j9C!#Yx*Vmo`?gY}4yHil3mv;Hy)F z&{V4!8(hqHEb$?3>NaF0@aKp{WJMEn9nTkd#Q)rILJ%b12XZbf*e+Nkj;=rrqp7kI znXkjH^HbQrbzWv9J42EIr>FfTpUL0`YjME_P}GkzNf7ec1-c5xx_-|I@xOXYo%#ji zGPF(tvxkp&M1IKxl{cd5RiFw-Es@)ZQNgt;rG_&(G&krTLO-nO-xtTt_ zkJTj{qYr1(X++Cd6r(Fv%5h6=4v3Da*jLFyD!!qd4gx6>;r3H1AEHQX- zyqS?GxDiOzjHp{Z-o>u_Tu4Tw^DT7~p4t9Xobf~QYCXb~ zX;fJCpgENoc0VOdt4R5B0{MRITJc?^f(2n(=bO=){u}iy$QwkPgNTk0MZcwa5BfCD zB_kUbYRsb6TL$EnB#O(V?TQP};3={1=6EGG>{B#niho2xq(f>RDXPkq1xNi!NRq|O z#i#jOvQtQbmM^Oq;_(m~GAbO`-~-}5V<^>K0zMKy(MmVNIhg z%iEZhPFLeNN0~#`Q___wT89QKiwfyw5nA+~njQb(&SuD9NX=5)PyRmvAq?L0ej+31 z7R&6>v#TB5pBbvB4B=7QR0_3{Y?#^bw;oiu=hROW&DFCNfA!*^(a*O_MR8Hy3Z%@T zQ*K|8UvT|JHZE7k<0w?Rp(Yj-sc4bRl9)xWoK*&XTNF!luGrqD39(Fz<^5}h2cb*P z5|UbEnf&A>F*v0Fn3oenp(h$8%DD;B7+srJPj|k>?at!PR?WrRSq-yLbh%eRK#OH- z6#c?_G+MK%e_E^&%G>t&>@-8ut+h_UFBzmbo0(MH#xFQgE0j|yrs?J>x1eH*sg??j z)TWU@g&01)z&MK7VGPD{C84J2fe4mO5etHZC|wx^693QMgaM|K7I>Y^{dvy(m!EJFAgXf+} zJb5tbfAqTN&-+)sioxYTO-z!Zep(^2_emieC<%jEp@bL8QOMvNBD=m}(n4+U!=>adiTHs_v36m&5 zg2K85B;yN=v@9{A-(~fx%gI^yDjke)8Xk?OH#eP0chJA+j)%R@x5dDux}ET8KlkcT zf7o@PINU${w7UyX938Ylp;h(}VZuF((RVTC89GLS!>d*}p7S04g4|?}AMl^~FZ_tV z=5P5sevH3l;~)4x`6nV(r#HMtYMoV+4tWz`!!P(n)q`Uo*>Kzi|B}G7D}FVqI+JQd zEc+M#4Vc#J+?-u>c&{3d$@K<&$cNRae>=F~zmp%1d!6w$FmKAg@;~@3|Hl8U*KeCvt0?Z_8Dbu;v=CPMJvkvx+-xURepZ6|Le=7ieJqbISZ*?K9VXywyJ^@ zIiAHBu=~uwXw<@_w>6FJT4D9g!T#Y(46Da&K4QeoN5pqoZyqpQywgKc8rkD}e;p+K ze$7+RPfog5Fn$W*7yX62Weoi9j(7ypIv_&UPJUQtwEu^KfO7tM&s@kx*W#&;UWSS;csTRVQ)H~ zIb=&Zn7d~)E!efv!pGg?5ATrJf5*0k*E1_?abK+<9%SXvZe@f9^=s<1R(wDB^=R+) zDeBbXt7;Z^=y&&zz+B(1Q_lNy%FJ{9Y6hU`3!~3X-h^bWP<;C9r-OHU0LjUx*6bhI zGfMvWN`?1!0SX|rSp+lf!MHOT4gN?v&%6|}{53xV*GyUHtTQ4{t>!*ke`SxYy1g!n zx}5jZ37B~UdjenWj`2-{F8FOug2{=y{mX8@JNX737#mmTSXNLvOy_U9eSrUF+M9HT zy>Gl8zW?R$=;IG3 zyT?cPe5xgo21s~Xf8l?q!Tj53R3nALnl64t_eG;!RDwD#UBQf4=zTXC2Gp-LiO5NDrY9 zF4q^n{B&Vicvu!LWleWghgw z%6f*c-?T1EH+R{+&bqk1@cOOPvTS!J;)qc9ML@BE6n=YYpH43?@&4Nco5WtBD`+w5u&Y=csyRj7a-_TTSdqby3;t-=9~ zZD!tQUfX~Y1jqnThG2Lg00n^}0@M%)m(UK(ts*pUE)W}$h*4o{MGOG4E(!);!u13^5bW1r_CaI{y43&<_#}=+fJYEM{%;; zqVR0`ZC1UO`FmZI+<@SYpLsnmt2%y5OW>r(v>jtp@-^SpZ&lNPO})OpfS%0b*?eN@ z)B~6QgB$smEu+iX+u8l}Va)8+wAZ;lg`@0Rm(;O70KZBeHjB+DS>7bQ`0x~euR3(q zv92#?ugCG`cEap&KRY^Qhh2Eo*?6Tcr{BD+S6|ka-gD@5cH=1Oz?;d@`j8v9ew-yQ zqvhQ*TNgd%>Fm;>3cCm2%#QZkW+#W&VwWHG+><%)X_4-;%JbvmgFE2rMOtP&YCcIWsjmHA6x< zGBq?rLOC=+H#R;XJTWyvI5jdtF+@Q{L^U@#Gc`FiLqa(+H8ey*IW$2xHa-nq3NK7$ zZfA68AT=>Lmm&TFDSsu?OGwmF7zOZq?)~4I(QF(wdu#TvxAuNIX){x1rDZRBIGVW# zLI{Kw1Jxp;UC^T08PuX^V@nA!+69H#rg9NMEu_E}L12rZy64R1$N9eRK88Cp#u)R@ z8k5*bc9Go##DFkeAbo*h%hXMJSZaEaDT05TWH~$=Ch0VAB!40nCf1-{Kgn_3ECQIG zP7PQlJWTJaaPMF~FqF|CM#7<2Wh4CgR2_R$%o<6*OZRHT}>$+g}Ymvw!=*p->L)d*MQP7L^Z{998tcw zqZ3i#oze+J&%Y_1MD(RY=@h)VsdO4X_e|*weEx@07yKRl0}^N9@0BQ>gCA|xj(PR^tKUv6`{9119fiZhsQl&+xPXes-^ ziX66%UChO{Nf9-wQnHTYhjP%dn8m4Cie6JeGt@iPd*UZbS@;&3>YuYj^PVPw^3oQ z{{y)G4}eDkjR59KPeTF~1ar?5_W9o=GxPr?uTVf`VJYoMixF~e_Fdv@(>0O*vz$RH z#l8J;&dN~(UrWI&S{195qiaiXgh4tnNmyp=`_duw+_jA1Habii-X4Ar0qe8gc<_Ig zbHDjQW5qAYX_twdoa$|9{>QS1r?B7u6=nPXiVnlHWoD~BgL*0p1O6}f|GGUy1#N>J z{uNK7_5l{0WWf60Br99G@;(?^+YB0L1w9BW$Nxn!BA|_QAgo;f7pXabnh^jqr3Qlk z$HjuKNCUH^H|T?-x3#Zbs^pd&Fc!!XL3+grL?u@G@^|0m3x0FDO6$<6tn zuP|_GfGfC~n%x!yJrUIoGgT}T96ZY64lxMG5K})AD-+xf5kATyxe5(Fii!*;i4><) z8xaV|Z~5(~|LaBwlLrVPA|eXZC({xF zK&)wJo`Lp(MK^$-@@tifd6#kSs*D3L)}cSjSOr8l0s`@;pAl>0>xI1n5|w~(97BZj z9W`A;aJO-y!16gE&#L|aHRlxE3C`jG@Cbl@cyNIt5T6t~`w9W%K?4BDU}B_@WLB&j z@Zc>FTcbFofYu}k!b#L;AfPbaUuQ4?Zzsw8y^#mgG_q}|`(wuie{g6cQMS)({a@0Qxcp1m%~a zI~!cfdy@nrA@n0y#zRpDB*@*b_s_deRB1Xp$j#X^;p^Tb_#`duBsSIk*ZCXa-)y`= z)cqk?6o|Vh*kB+c;3ru%IiP*O>n$6P(Ym4e-7lpEx_vNE#BT+LpBzB*>IV~;>lXzQ zbAPX+8Odr@1UUPbxC6V7Nf7KCQ70$!5KyWCd(RGS3q5+jePsM!4`tq{i4@;nz-GJa9oIA#|&7Vj32Ja(IOK5j>=q zYLu&FgO3Gc@*2(pa2zsJaS0hH;DORyuj>NGADR0#c0FHC-@@9aSU`vc7*>mx6Z!1FisDYKn{1$TA) zfChvB34wk5)Qb=b>Tm;wtjvLP5}BT?f18k@fLw!rdxrYFgWHJ{tzv&mi8}B5*7_LH zsFqP-h_iErga`zh>ik!~id52egI_O^b`PCx%)XLqp^VW!k7WUbys^62lX?2bbTv~} z5Grn^yCJa(Z;LLszgRD9pBd=Q357|~gGyIAsl3NCm%P6(3mB7TvH4B-$nvpzQ$Fvk#7k7&`M7^A>^S1=(K;AI)l-_LqgrKSAK_M z$l~CvvraAY|8N1EL($=*d6RA83iw}j*kfgH^YU(IE^cJd`TR?Em5Eg_Bot&1YDSY- z6V^p#GZRWQZleYmD8KZ7rUchb3E}W1+L2dLX>HARgGY0&HFfal$BbIxs zI8?Tl`FN=McWEacmbPGT$^S0T=U5aAH*#RXZqvfh9)$pGz0hANn`_$$#A(+2^|R&N z2@$q|1&wFo7H_$WvDa<>rOfFw#kq5|n=7`LUQJr=e?B?BQSg$fA^Mmkkf| zSi3kNXZ=21tHl&wWk{z8fxFRPlmZAI40uFR9Q+h#E7chxswOQDF1Lilr!TfX&~kiR z4wt!r&AuP|*L4Zt$DWWUi;`SlFI$}hN=?s2ROJC9FT3=+46;RXh~;YcNwAj?L6#2{ z-EFjd>2=UdHH)5%Eo!;R%9P5_gb9Js=29meutn0RpiKS>-C@Qn3S@%qr|Y$@vb?k1 ziPWdt6R#wsidN;?c)XB}Jhx#MUG6i)k|Y_=Cv(VG@F}J{qN&alpmIA-p31U+W~!bf zLdyUi9cmwc{Ifd)lFygS1dQ4Qv&oF&q8S?<`YZj_M@cX;6*dj#2F_zsP9@)$LInqt zP``asRdrYC^f%%M>AC3$ncUN}tR@M>oXUjnE_pMh;=MJ}?*Hi48E)`v(ZR|S-pia> zblE&#bT62`k5SS}R1A`xDQOvd5=7EOY&JT+{*l z+`O#8)JPsn@Q?LHO1(!uTL0FN@I0hIF9*M${!T{*hhrP5XbeQBEt%|Tu@tDyl`M^5 z6#fN{X$u*dliG8{7%A-m5)8UJho2o3&%Q2Yk+ZVv?uj=qT>d&-9^}30CyAsk|*;I7r|asRe5!#I?#@ zB&?Fd@sKW6xtVh=;Ff^UJ|3A%^NznA>1O7;Y7nR^`Q+9x4yVa)HduUbLvR6mZ=s)Y zRK3wW^^bN}LtEio+{M|@-Dt)pK`0p{NlE>dIp^1k87{MRI%JgH?9bs&yOX@Klmb`;2&^{2*$1#+>Uy=`%0+jDjUrDl8m3It;nHsbkvaX zOo-g7aKw3mLQN86D<(_I3LDXcZy0jlWOEwgbrF_XCg^wV>=%zLJ6AS1+NW5I=@!#T0CGE9FkQ^e0tQ!3kVLEXi?} zkENM^40T*rtf5Vu+u2n{Xf#A@MjxyR@5eMspHvJC=B77yAFgZEDjV6fel8pnHBrzNrAG!lhTe^omssQwfy9@lY}!&ihb#|Lx$)8}_@*&k|<3UYg}V z_OA456n9w73ykou=o48y{1N`Ou8pg=#n&}fHpp1l>%Q)H+3Sh%hmJW zxxb9TOB{&IqlX~yrxoK-e;bybf0m=3 zm7ZMv5QjW7+%W;4IjPQOibQHqP6uAzXQLmkz?5M{a6HCuav9@2WSA0WP>AT`5lol) z)wanf+-wNg#RhSjo2IZC4Hmo8)zs=H*j~+^LLO6dw{9uXBr7|_AIB<;RY6R5N8}jm zp=~x*AFuY@M&RiP&u*xq4n*o0l+BXgD^er->YGTWQOtm-wYdm4)p~=WDx=ZXv#AWH zA8z+4tdjY!VJH=^9X9V%qvyZBM@2tQBs_A$HWLU*500U}SnQM2B-M>~qk_foZxoy~ z#`RS8zY6xs5&=LNtgowqiT!d-7`^q)gOQ_%HW$EcaP$jGc+h~>+<(0yYbtNv{fyD0 zuzJ-Qe=7loDw>`Sq~-D`_+L#MXpyL74B=+d;{?X&HL>*#^|z;S8pR!`q}hwYVsjTVRB$7rL_Dc!!(@IJy9gBiAwsY*r3UOvm@)POT2@JW>`1 z`;90i2>()@8<-Ps7CQQeNb|7_&+Cdh<-Vm?-FA%<10q)7imv;=CFIw$#L#(XG6Xqt z^VL(tgT-inGjn1yLjSEFR}ok?yZLsyh?(3$5Ga4fZiPw-l}iWnFVqp~uUjEGjzoc9 zoX!EhDr2H2#Jo&;O<8gujA~lfX?L%yxt+G|d=A>XlSB^I?s(;qB<1#?=pBOaVk7lS zt$ZkUv*MuRInLqjrhM@9kzcdtN}L_WlIm*Ny}g>c@ur5zl5ULF#khPum;xpdGVgB) zv64oVkHDXl7uypjql>l4H8~kr3Aqsb^ML_*#)o0NePuO7_PR1XGvg}XY!_@bFmI@< zXZ6>M_8H!!^%`7BZEN$Z=Zo{Q7|O^sUp!p;9qJiinkudLu9hk-VpG-wzfRA8?r58k zaEf>NB{sSrE}zSW)k-V`4<6+~lvFTYj&|i6BXT;WS`{srLQAXq9Tp@(_gMW#6RH81 z4Pzct7DY`V!6ar76ddQvxy6I#u=VD5d5=&&4SSWb+M~+Iz&(~Drg#46e!x#@j#kIt z3aa9Ae0d$)Z>Dcp3Gj{l0W8&orV@FcnZq!p|)ZiVt}@R{P?+ z=#!(z6bBs^%kb$dJA0>PnEfv~@{s_WLV)h8TI!@Hw`Z%_ku2MS2nOdsGy^PN&&c=} zrL9(r&Y&Od0ZErBMpunE$HaQcft0F_r62nIHp1N9K2>0%jkvUtW7NtT5= zRg0C~HmKhNnY30;)}e5nM@)D99a_S|C0Nuju(B*I@x|f7lrKATI;xRg!?*10&JB65 zMn4Q0t$TRet`RcMJ_7%sHaY<8r_~-GDkqtY8m4)d>HecO*XYJ?2dGS@ z$*L(|(3h4_msrAnMyume7{x-y%MS0%(#VKxH<JnV*46<+YqLStA$gtOi+laJsH5c9VjXO_ZX_Y-Q~4x{oaaSe6^Htbmi-EU_vU z8{C{sADAtaV37Cn7}Iz*D@UHWg3Tv~nxG!+ANlur)Yjt?wk|*yJddxeZ#j5&v0y7L zODp28Q}d%#A?tj#ZiNG9nc1|$E$8jK`xV%Tiq|_aybUTU9?$dm!rd-Z^n_ZS=oqWD z0S)zsE~EPA_{yr+vss55!Aetmi#WmRwbS#QyIlJbUns>%UstEeb8j=0yiGJC;O)(l zxRLFWr(5Cy@&ph-f-IaK5|)Cy(hD-sd2vV$uyIzOpQHCWy{Tru&CG3`NrGNTJPOFj zMDTxA=jTzK8r3Py$g^bC*K6RDN9o0!+v~>;Qc-$ad8&0XAYIQl0dR^KerI=&Q}(JZW;0a9dr^2 z)$FD~Wj*B;yr>bD+;AvWMyW}P219|TtWRm8Zg4PjyH|Hlt%T*?VTN)w6yy@EqmF+F z=^9POCc?0*ps{WFCVYM3bK;3Z?jz?sFwHXjWJk)srv1o#aCati4(DHSBJfvKJ}kgz zs!@q*N&(^64xq%RgVb^pyawM#N!(a)-0#2~eiuQD^9YfVep0|D{d)?G=}G&f#(bu0 zd;z8fqg%P+3WK5s(GnxA62Hg1UAn`=p~5G2iP$nO@5&!;va!R8bz<-;>l|v&_&eQ; zv1Ls+)(^ov8KtY2MX@&HQ*cp7z}{P9>{Z7Xk$@z*H8M&1I{Q|5-l^uqn7@WzMV zZV}{Dq0Wt5NdD2)WaO0va#-sh8rRex1w_s)p+`Nk_I&d!>up@p6pCVtZM<;R)1ygV zdL4GG4$1X_xv2KJevgmKvS=HQ_Kml(WU{&`Xb9)1;AsIs$S-oKhrzY$23cTk7w&XUbQan~0jYXA%%_?Gf)pj1|%@S}+ASwR;q zGAcUlg_O*_%S+YLdsFzlWz&)Gj)kDtCv#;=cw7XYK)s_WY*(_a|I|R4r{Io6t-4bF zlDSIF&E3*A=qE22CRZO_o8g?ZlYo2&5MV;Y3|YZ~YdkvIsx{rO68_s03Wn~r^u)%Y zFQSz%wQsz~e$BOh0lkdey7^(rD4hXn^f{Uv>H&^<%(fP~u@Y?TS>8Cl^zjzQx=KoH z?eExn)rnsW$sbfVtY;}HXjYir0;Pm3E=CKAQ9c_@e9y}*_OI&X;$DY`Oue$(cYyNS z=M=;AASRjgFg~R?dd0k5OGm5(!NnE6&ceFUm}fHI%-kM~C@w*n+DT&EXkmry)nW-T*`5Gd2lPR`dAjvF#|{!iLp%pVMG_Z2aP zeZoTe)c?+(7n+^GuqEwMN(RKYCY=EnmtQ{kU_FiTRs$x1AJreYQ{7cz;D8x?+YsJF zrnDAB%y%AQ34;m>G_+#f_FB~ANc&>%DZ;|9T7=m$?g?z=`&;X_XfqWOBaFW;Mw?kM zd*znqZGG!2%Hgvg(`;#Zl{@bmGra0eHkrrT=EZkSDfqNIi|_j!pmUu4ZM-?^w5~6k z-8zFM|JpMo)MX}Xsy65+>;PSBBNNKoz!y#FIqwG+{0KI_sXk@HQ!#PiqwF6E>W0V9 zE=y%(qSl}3omU4X3v{genmwZ@<&D)#X{4%VVLZVGN=2bcJFe-w|F#6)rRk>g*1;xD zE8faQzc8RFy-q&7a^c>~9DcHEz?fsezB~)(r^Q=Cj^gyVI%frL2xV@&)8z`a+9BpSW8mKOM zJ(G25-isD#Th{PSfjIl~kTn!N*7+mU6P5|=R0}^e!$!s8PM1V9DAW?4Cdz3t45`G( z6x~ZXj?C1j${M>(7=R*0vO;ewE(q9F6`_Np;2T17RmDPsp~JIwQ!#AEPAL)K&{)`B z(r*!{+7%KG`UfjD z3Ql9pnph9)23DXl`TJNmxMaG?hzPSMwWiIV3tNP)oZpG83qZ5Bzb`8S?oo3Y|;|S$wQ;k^{0{l@3m!XF!Ev2F-ZjuRIfL20Dtqz_w zd};$1VOL7g3kbE@7D!g?6#SDed`A2V|7))q>Bi%1Hu)-9qsSpqH=udIr$5{+bZKy@ z&>Ev~ABM_yxYU%bEwCGyxLBu%U)8ns5jQpbU?0N5L`7Xo9==lV?wJ}b$xG;U)P~QF zh?qiFkTb?w{>X#9B}gWqEf}YDo|^}5}3UxvV+mE zVN1c^c~%Fx=Z#){5-VtlvP$D-SLKP=Q$V$DI7m2Y*n>{s_y<*aq_n71R)+_7FySe? zWXueM^&vYWF0XdVM`1PS1}i~i{~rFxo)G`QRAuASYxM|M-NNQ{5gaKp?iB1h+38D# zpKiA159ObwP7Ni%0u}iM7diM z;`x?`?oD1_u4!9U6z@lqhxZ8$v6moicomH|?SQm%qoK&Z+`{Wdw(l%G?T=sSDpaCH z3mt*b+|g1CXP2A0G%ZJ1=r4~!wL<;P zey+t$axD8~uH(~Sm)J})R|q!+VbRa7IP>lXbEHPf`)s6HFQ@kN15(22TXf>FIH6@=d=Jf+;! z^j{$N3VL=|;`fb5S^5pXz|gtFt0=d2*h&%eok|N?Ay;0G5m$HNmv0iEpPqheGT^`4 z>bEc>(MC_5VH2U&Uegkent)~W{ZW zD2+QjDhr0YkpeGzPO}qTGBaaaM+r@9Xm3m+>U%{aEmb1zeiz-%Ol56ZEKfrQpHabqk=1#=m+ewZ>|zUi`l=VFA4DJtWE>@v1#5wJBzWF048 zaKnMtx>WAy7-+&7Pg9GrekCtGa=`QPU@jx%Xa znUo<-%Q#QbK+|>A%@UdZ$|(@Y*D7xV)=~(c38^0esmsUcTl%U6>CoSi6Ij$9sB>BW zblJ*!$1v7RIz-qprL(2mo%+8#Dn2!9s1u^Z~15{HYyDZrsOqHQ$6--ni6 z=IkEy9;l!zod5F+)-Apf{66z@K$LXwYigq|%GwlO*Wlw)4b%o|-Ae9B%fj_ciQdUf zEbySU;i6b0W-ptDs`3+Z*0C%yFCJm{a-~xM?kMT40z(*G-(;jU4!w8xZjw81QQb7& zOtgAS)tTOdhsS+W4$vU&@fRo6d1ZABx+uc$*GU&V*K^16i-<0eX`51yxnILXjc7ht zFYKl=F@PRP&`vqnWof{o;`<-+3byF33#M>UJzXlynZC91V16sJF-h=3K?%Ri5BToM zzSO6;&Ea+M@R?Cc{m}7->Xgs;A|se_xs`1W{Ycjv9%6&50${LO#En4b;~Lp@{35xV zc&fw$7LYIUrUl$d)%fcq9tZtdTqxlh83KJpH$U65g9{lU_-CSWf$D`cm04i|*4k6q z&{^zWZQWVW{-4rt+d{*-$1J_$Z%2rbLf6K4f|aAPH|Q9=Ic90Mazb-cA^xYPVSLf! zC7P3+yi-G-Ga!V;E~|OvCcAC}_e+5_ysUgk&W(io{b)6|rK zi_eVC&Z$1EF5=kA)u^oT?7N-jHFV(p*0VL&d<%>CW?GCqgoWkqE_JCOwIXC8XIn#O z*A0d%e84$Y^I=SY7cH{rtRlSBL*WsA$YYENmQX|NnzL3o{3M zI#U8TIyeg}6E|}*unQ$1<^^0ye`gUqiezAiz1|7_<_2M4$N1>x=0+hvXx<3=e&v@XRK^bf9s)B1BO!@s>S$)B!Hi5y z%>NsKW%)`it_{FHk_d_g2(Hep&22~TLn6!2R>vSok=Pvp0JxLuYao_d4j>B+AXZ33 zR!T%v)PT^)$WOtr7X>~bW>QXB)c`(Fq0wE0GdM-!KezkmX4duxAcyaBqyd{D5dG6L zGt$3pyh7_3XJ*zWW{?S-&J94DL0IxJwm>v56lp@3bHC8SGnNO3hy6q2XE!&qMrN1O zMz>}RLZXO{fHv0#AS%$DKm~gt)qX>AP_!7^z~8h{AVpxMmU`D8$pRCH(?k1XFt7kH zjx-7(Udx2&svPQhXdn~Fa;Yg`0Un_1ALg{ru>gWQ2N$4exanW`*Sc53K)UN6cMcZj zhBh~*#>eJnR>%zPO(0-G@?$JLKD{$w3HMR}HqHhYU@Q15b~}d7E+$480#IfTmVl%I zf)z;f)h1wxN+}D8X$fH|`?v3p*%vKb`OKkvY2iz2s}L`y}VepK#dID%Zr!Tn#QYajn&3_uGwD0HVvludqN!5oJcW&<#K*(HF zn$lXFM6=UJ{;Nq%VsZ<7_tQU#@YX*#3ua^iurLO73?lIT<%}y#Jn8fLI-s?)v_Rbd zq10E(`$=xx>SGo9z73iO`r%9q;1IJR?#A|wYau?_vu&z zFiGb*ptdrDDLz11aY0eH1f69qp=A;CD+)`ZBS!>PALI3|>-?G;nn7tcd3Ar>h61`X zGJfI_n$0Ly^L2-@*|Gpt0r~hJh6YZ&s6I=5X|bU>phm~XX2;NoJT^!ske;l;t&3=9 z_peN#SlCxr`a%pqO0m5_tUi=)eF$lQVElfnuk*xSdq`U_QutU}N*maHvHhvC3W!A3Z`-#lnd4~<>cUR64U6i06e?>5qey0N! zTJvQW)=%feguu1F7$5;=<_G6Sz|EgSAY@Hnph3kLeeJW+Y)`YlJ(vb5Vo4*23 z97?=+wtBx*_)o_DXKy~zKO(h4|N7QG+u+Oj0Z%E|%h7wt>%RaIp*F#+5d;vybJqq(kRPXq{7Sv;>t9Ep=cQ*vsEe{KLZoHVS3wD&<8Mf8SgP)S|HXoJ zd(XinUcfm&1s{1f6T>Ue%R=dWdxZJCmx6D%h#*AspjIG#-9`?BxF+hTi|&Txa{E8V z4nd*t*840MH~bUB5&z-n;XlgA&L)X*$LgE77C8!mY*<12{yzR zXMNn1%zK2MIW(T%qlTtz+9}12Sp_>$4PI53t0syQ;#ZpjZ5%xBvFM)nx$q?46nS)y zJ^ERravTLLBw`AaB4fvnb}eLLkA&mT&j6b8(Tf&0i??EeRXrASMu^cg&BaS_{;+2{GB5E4inL|($3FdQ=uU#t^7o7g@jSVy|OX)!C4y4 zADSzq7eLMxd7hkr6UJ!ODB!#@v?TpeIa{&Ogf0G5q>Tk1MWeYJJ-tNXShO&p;FR`6 za((OZl^Q(YY+_uEVF$MwM4?}~0<-0wyM%F?9Sid-y zi?vmb^*4Mz87qFEQt=+bN1o8-8Z)B~;)6}12mnt;`hl_UL*h~yi?nkrg&#wtPOv19 zf_8NJ_m(r{vs16t9@^_jxin3|dS=%QS3+h8^0WGww@6+$Yo?d&7AY?5vL|%;L0D|x zn_n|etJl0_!z|CHxG%IXi-~r z6`*PdZVK&uS(|qpy42k-QzjJ^Yt|(Ve_N2-BwhzoTzHMEFFj+36xX`wSh!tfRsV44bJk8IY{(#Sn3O zEH)51-SkfYT3sG zVei!oF%i7`ZdRH?g~PczTMC9%Dpd9o#u!#trU3JC$uIyi+nq zGJ0V2fQ0Gg`4PVK+$|XtjS} zU>23K93|jFY;@5R6oLRI97EEh92VkiNG*e4{}} zVRZ74OP`HK6X2Kk`i<^x$y&Fv7$tuO^;0pqC~IMv zD^?k3oJ^Jc=UmTZ*?^>%4#Pp>E`p^!`1#pkDVbdOW%6987(3Q`8SEEDTePTFH+hIr zMIW4?C>Bx!yzfqi04M|RO{>Xa=7>{K3zY^@Mxu-79JkJ?XBP|+RM;d7uTKG`ft^Sq zEI@YCftFy+>5901L_X-($sN{X$U}&AH{XMldn8MVVz{W%>4cnx~kX8+(q|x zN5y>51a`IpLIlNXco;?vUtFlh+}Q05tX7Y}`l=%vkM+D{36NhAM>2Mc30r_M@BZ_* zSS907zsaKkq_Rv6NAt=Qs|C)ueA;@QS#lD=%e5+qPN~wsuS9G7_F|z7Bm1+!D zofExo>M4XvKN<2?uCe(F?_gXMtsfG(1dfM7vR$?hD(siPcHJj^gkdJSCD!GFT7a01 zImt~%m%4yR1%x+As*J8lDpl!Ylvwwz6l*A` zwF7Nl7ElMQzTy)g;pk-(prRF8YN1~^&`2cRfq7~2ojNO$6W_fow9>70<5@BAe6rIL ziP^TF>AzF`&xM`+wv8|CV#QE$&6F_h=9{bU=;^Xx7c7pD+mEqSO-A2r@q9cBBW-Pp z`S02n_4^| zqO5h+x%~RDHpI)au#OmZ`t`=egl=KOc2_yUewbwZqjD;CN{hD#DH-W)7rg2MuAP{|>i4^9djmol} z2iW|oyb``|xEB_c6{D*$r|UDEIWC#Zw@_X_3f^k$`dgFR72dXRjp}Crvwlo1wG;I& zck*bw%014CW)p~y*Un0#ku3rz=7SQSjaO&F^WvBmART_O)O8_G3LhHz<*^j`m5@ytLpjY~r9EU|^J30e7XCDx23 z66Lm~Q=E2asU1l`ku}t9GjjD7p@bbIz~<~_-pIY+dR#xGY6f=|JCNdC0Ql(D!N$7R z@dGDXXiDSK9r|si$~nnOY_Z+q+G_^kfPK;}-DT3EqmO*AS|#jar61N5yvPYgCR!U9 zc9v?PU+daxVl?eVG~~Zf9sWW%SBMykdzjz!z_7~C6ZfK2m1cF<&qR_cm)$G`3(o!5 z$Q*MlE9dR<9gqE}2+bH13yAzOKd*0W)WTbvnwg$Y2|5%}>VhxWO&r|9H<~P<+hmmp zRqhzOA?^2HDqHCvS7ffFrvAV~w%&8RM{9W|;ARIOIZXkNFO5TqxQ{@WYg5DYUNipD zNk9+0d%$pB7FIDe2uBk#U!^_My4=M%Z+z3{F!cGEIJpT!`GZ4}4#ZvzQh2Zo z^|28v#Q?ACF!>>8I8-=hu0KE5{f}39TKrF*)IZLs+u7mi8)**CH^0JUnN*AeVh_(; z#-s|~1J^?DZyB-$6F|;RMD-V|L{iNZI`TBM2iBaE&3gf+Qms8I+|zP@gfniZYEN85 zGP3&I*~E%$S;s>4sG?>w=SAJop3+|5yJ@|HhbqoZ2eDx(yWIYI+TqBeTR zoC-ep`MnfI`$)M*|71Z$p6f-fC%_)wmLt+vYMK+e;acM1^qmNI{J&2+!7M=epW;o{ z@i;j(jP{;eT7Xs0cAD$7kX~8GNiPheFp4b=*?-$vl&7gvhrSDl>JOWa!xC$LXL}3C z9b=?Kw*PML$|u|Fx5X;nF*rH(n$y|}aU>awaquQD4dU*+HF?5cPns*IZOZLhJyCrg z#$mYtkgy#VIc9^m?4JIn&7VZ(Tnt{NpOuL`6F}h zV=us9YC_IxJ0S{0`lq(B4;D*noOA8st0bv52mRH5t(N~xv3~uzisnpvtP&}v{snX> z!(TC=cpN;Tf?O6D)2Mq15T~B!C#*-g+lVu;c0X7E4?F}{-4>Vz@T)VW0cnqZ)O;&! zDCm;~#sXd&j?Z1DhLoda`zlY=&=S^t$llhhNg$=hF*^DK1%_mgCR|QeD&`?z&|zhe zz{&7BA=_ z4YtflFw!fZ<96unx)8ljB%&Yf+vIvDITiltzyipmr2&va7`&)BY8tqF_|`eW%orxM zGC8VJ@`G986qoO~`J_o<_JNG`l=Du}iZl65(!_lyz$D+KJl*H zpcX&PH#wvYvcQ!SAbIGb(;Kh~cww0V|AV-4rKO@B;130lUY zn*gXn1C{6VuCzC~e`dhE7btxR#91vH=uN+%-Wq(EscM1^l}s#?$!sD~4c=Rz72EvU+{Z9V3u<6S(~^-8nX&tVl1N} zZdN)s2~M1~6y(h0U`6n2vzbCk`l$Q;ItklMv~* zuc=tSY9GcJdUo)I^>l@I8M|5XzIOucs&QittZn6&wP&T-`(AE2A$F7|E!9NB(vhkT z_w-629!h49At>bc^8JC-wvw*`dtT_v(iJp+=)+vYUp8O(+vkmvdaDhNdy)lFiU3ut zBkF`}=-s=HtWRU%UneVF`EDZU1}Gk#-i7!TVgZaegY2$2*QK&SEcdFxlwMov=ufJ zVxN%k*kD&Tr!sp_0}wOEuvgRNWx#a|IzF8}DQq*s7t~ODS-MtR*TXVvGK=TJKXsv( z6cyPZ6FpMW65=d?i*=BIDHT3E)ip`xbfath)4242&+RoJS@D>QE;ycZnnCr~Hdn=zHV$Qf&;fN6%W8M7qm>)nsvn7CKsWDPWoO!%}}K z^@^+t0f3_suMX3NNrMZd1)0`&HFh{AqiZg=!*1;kDO(-ye+8m?DxyPs)m7p8w#2{9 zxFsJQJ0UmZ)^c0j5t5KcN*j(W>QHr-h`$sP?vtcRJRC>*7jXkkY*NpdvCExLU#YbF z39pwO5xpz{W2A%`>LrF;9-ukPT)SC)v0kn0zdJT88L##dz2=BXOx>=~>C?D`yI+`W z;jy-u>^!7ZWBpH^6#q-i7rz_3C?I^R2PSmach)@7eT`1ncl;-7UqJcKy$M;sT@u1CZU=A18&8u5AdfWvM-(VEb{E# z*B0-J*}OE2G##lfu+&wPDg>pp^&_wdq}{oFds~DuR-ZTF!daovIP9N*-`} ziV5u2xsYP`y({^s3jkymrbcy!`O1Hj8wI~iR6J!!H^MP{W5@WozAD@ z;*4TAaSO>|xDpF~ih|wdsN*`RI-xp*=f5vJ@^<;K@teN1zkrP5qZT?d*NjPc3>;SY z;#l`Wam!lWCmY7xH7ZEcNi@X&x|aTtO(BsTrr*1Fdx=*Ba4b?}wF0qy%*h_$y~ARs zY`q`0o@=^$-kM;ikbCToh7JX=n-d!ae}{(CVdLET?VEcoRT;~a0i#QSBoIKmDUu;- zy*mX*NI^Xu4FWi^UAj{}WP_D^$44D_tEKSYW9Vq_k!RW1KCsBEZtdwEWS3Tp1X)d~ zUm16R$|;>bmmp{$ppQ`hB1Ft=M3mXA+hTQnvZoTCm--gZ#E5o3(orCdJdy-Gtp~eZ zoi+KkKSj`pyPP|1ik%LugiBka2Sqji!+{K6no*@$vj)Ilg5_zV7&S(t4Hb$Zi;3#E zFw|KcpN@?9=f70XW*=0Q%LQy4b@{Tzh0rd|gead_>iKv2!#EOT-SnN`lEn4eIZ|Vy zed|gn>2c&jnzppvj)|hZvTWxbEJdS>0Sl}Y(yPuE;X;#{p7N0$EK5= zPF1fzHv_);B;W%RkRH7T8nR`i8 zp|mXiq%)@T&jO+_a_`<=AY*CYvur-UUev{eD1a_1Ftc_=>@4|oViHLey@POq1+72j zd448qx=&ZKP5)L@-{l8E_`*m)BWgiSsfY(96+fr${-Z9Wy~ab8b|!CNLvBF)!4|9W z>3V(0WACwk@OpfQ?X7-Yh29m1K=_*%NUjUOJ=@v`)z3FP!~JmOZ0p*ajuw0vSMo~F9+7c z)}RD+|0j^LCNo1hZ=z6d`WOc9`qPY^CqOdC=tv+j*oK2z$ zS*YM%M)5@znnlxF>qh&#z;)j#X_wZ8f#;aAxrhNW)}ndc@+Y!s)#1fJnS*Q1Ica}q z)?c9DOE#}xzI{$Q$iF*U_9O<6COh6R$u314x(Uc8+U_LZdF9E+f>a>+RX3!!20%jV z4QwX4-#x9dKT%bD>nwTAZK>&?`CKIU$Hg}YFMCr@3>HH_?CWi|wr|Td(hvFGaYudp zQb=OT)1_b+xO`za#;HKM&onVMo2G%` zp8`%tt4ujg>U>>-_#gL$2odaV62LvrCV=jb&Wxi-H4%ILj*dJulw>(2TyR|4h%q{1 z08i$fg;p3^4l+;^ZpjZ(O(;21HFex>3p>H3yku~j^_lsK$^(Jr{%#*S%);>wV=EP# zxNz?koBV7;=;{Tw3zI|k`U5=lY5U-@Zjn=m zxp27EwhzZH@Jo&CmW^+Sjw+7C$0Z$hLAeH!K!d@pc0Bj5;fuP$sO9M;g6q6F=p!{M zL#=b!+t*f@#umsTfcYn1qG|N%?5h;F2)frnCf0f>{@V`Pp0PhCXqeVj7^VVAkoQVf zq7GOAKw5R>d#-A^-Zaiq1^DZmS5@|Rtc)lfdQ%=M+18??Z6*My{e+}}1v?#~+h&Km z>0k8lH>ql2(A%>6A{Q1zRAyEMer2St0RNEqqNmBgq<3km9PJJIe(ng4;xY~z9?JDL z;u{%T;ercF*3vpGua&{=sW$Z4JgrfQ2A7PEf~e}-)IHOaW!7Xl9H7$>`_B}ode3L% zBybul7MO0ZpYP06T%veUh;8g$KSyKvWzq~Uv`bc_3rb%FLCJnyi=K_%3G$2!<#Rgl zc1fQn+{c9K_g%sK(q^(K9madJ02O4_;n&4R;S#vRA1MUk-i#!e6`xq2z@#Un1Nwz< zC2s(8nHXJe@oJM47XVB^;y_x7&Uw&(cn2dJg8^Yi8il-4M}trj)t2Nz;~#Htjv$4= zWzl(;*P`XvAy|=6hPVEDd#c%oq zXvwc}2LmM<#K9KB;^MKG9!`{P^I+uA!^Y0alCGJvj!PIJv6Y-9H+3Vw1Tn6TkKVyj zWeKCJ{FJnZ35@GsUXH|*Q!A>GpuP_?VJ^<$gn!aXgbUt6ANlTeKvWvdw)Eo^f+^-M z{@&`Lrl@vXvk%R;XijZ^(IR3N!tv|ik7ytfM!kEJ3xP!>VT%Y+8!63D)m-TYTyxg3 zq$jK@3qKiNk6R>QU~D;MJqxYlW#767ll3Uyic*B>aE(T9HBuU zRhRRUY-dgLrt%?TT279sG>SI(jgv%bPU=1jFJwA(=*7cdBcv*SBs)Vt1r-m14{Z~W z++Ueqyk!c%1R)GBco1B=77;-v|Gd(U+!bHBuM|Tol0s!I${@<~p`=6?(uzX8epbJH zr=Bc0Vmg+fTJ4EP4+o@5-a|cPek%rl$uCryn^s{`VCN8UWa@rLzCHaQQL@&sq$zxci# z^-1(q4z1WmM^EEQ{YWU*roJ#nGUaVt@9`5xAX}2nm^o^HLd-#9KN3WZC#s7eHhWrJ zT?li2Rm@3}59BQ!RH&`qi&cQ}HZ&sQpwLD!~>9F&WC+|S8P&l8vKm)yX zF*?N_DHV_2ogV$m9;RDwGn{!zYGsjrF-%4t`6*G|JiP!ZBLW#=iK=EJ5ZAV50OqmS z@U{F5XSBKZ3d_kv=(41JWlV2>Y!)%xl|m@2i=>O8G>^OS_C{Q2 zbOxD*WM5@yhk2THa@stc?krm(l;og}$|~s&jL3+N@Ete}r{RmFh2yBnN9yWTVP7Fw z8*XMz$$1@FJ;Fq06f#4|%wjQm0=CZ;O$tgWbNHgLPZj;GRQywX_&+ZZ`Bp8DD zl|k5lqrGx2y3ukeyqk8WPF4{8!^Fbl1kOzGv;+41L}v%(wKHw`<2nW7CY{1;W=->m zb3gNL1aE$MGZ@{>%?hyET$DvW8zEB)d}LN?Lh=2IIaeA=vXXan_ISi?I0!C5YT(X2 zFG1q>W$KeZ21W98RiwkxnC33wP0nD;+iop?nS?w?@MD?MWCO|EsuvC*6h$UIyMMdP zQBLX$sl1*~$TU>mFH4zL1I-|gPbOS?*Q$aNby2hVW9jY+5*qAJjOYg&pY0;g6qv7- z)P&&Zw#O3QJ+hJ$e0Wr=dG14wqP?~&7)~FN{&6A>=bJ}Aj|b32IJaYcdi5F>9P~PW zlUGuC6lA2$T{oAHq2OP+W%GorQF68vAWTma!?vm#xq?LB2&zs?;5KiS9xzp*6JU&AMmCf+pcXfM|;IcVM|LF!O#ed=11iZNoa zlEO^;)S|8txJE{R;3n2jjN+1s{b6c<^=T6AT~$I3oGcw9^mAmS6W;kaV5+v{>7>cE zpCvPu>5_-qC&ErL;!L}oYpJ?zgsn1wk|12wTItjGwW~nzUZYJZCwJX_Ki(1I`>6OL zC*iX>ByX?SvdQgb;c&)y_gTZuIKpytH65uvw&`2|EV&3jfmoA2UU^f&HEh zBD7^WnghY5oc0mZU|?$V!>~0gck`r?G3u7+@+tU?x=5vB+PCunKt||kUw@^am@|f& zQgs8B0&2EPTnRr7N;!W(lJ)FUBeJ`i^ug(eKu>rxX%w%zz!(`jbb%>>j6F*f?4nCN znyUp=vkcawYQCA&?eLW-CSv;lysVfpU zy;q3yfp;1;CABtl40Qq3xWjd`UsD=|6Kv9LFG({AsPMMzx0MHNNF*`m>crrcdkkV7 zQan@m%fvTsk3ZzWPr^B@n(gS6RE>S^V)n55`KqHN&sD1}+(EN|+cn;QLi!WDI(C=f zj6+vWQOfO|%cMBVL>LEeN96(KX%M64M{cHZYia7y-l5qoOro0o!UlvC2XWbt$x7j_ zrrj&K;uOi(8*U-4ko@)PxN|3$(BV-Xwb}bYV!8o- z=t9iaY*FzPCCY&iXxe>qIEzbv(N{gf2?`^F7qim2e6k-2%no3{U=kQQ1eF1{_ajP~ z9c){`<%Z@sEKV2%cC&?k3QE^b$HV^qzL)U?jjHRPMOUj3wy(K=WH*~;mSkJN345Cx za}wDMX&IIi@TPs-?)(w$ijIih4PSp})gc%jsgvR_B{^JvduwgMtm5Q}Sjc4Rzm@{8 zH^z>W(9Ww!zEvHGueW6iwVAm(&fZWb)kP%9Hf^I*O$sm$yG@04o%J$%#68Ee`>d&%+{<8y2tQ- zH56#5cmf387EXTeI$VkmR(X;=e~&t+Z`uFz;Ud5$!au@)p0VzwA?iK0l}C#@zm7Ya z4c3gKQsGq7j@iQd{HmTS9-bb2?R3(A*Hn*pa6zBeL(Nu@+CE+A(q2}~ z<~BxIF#ELGgH9Vh^3yzoKW_yvPHzX1PpCHRaKX_bnhwWCNio$Bh-r*;!bR&^mfbGW z1(x6#jI@~?;v76|;gZR2CTn!yWa3a9W`htJ<*oZ7ZezPQWewk|>5#2y6YDyL9~R~6 zM~9t%)!!7jltq!4fD1PTSO?Zy1s@p^a(~%tI)lkpM-Pn4*`-7}4L}_g{-Ex>bAqE{ zb5E;n-mDF;93o8G;nYkSa76TAZiaX=7wx}_o^O@o2{sy;PS|>znc*!>!_XoEDMF=} zOj>T|Ej*J#777(7@H%_jgsGqC4MvN0Z?)ln14THp4G29)(((Z|9e+nnp8rAqgLXw) z!}|=qVmCpJjQhlR0A+Jbqm)RAhaSEh#o&TN^;Dq1oz`0&H$!!w9eIf%HkqK4B=A!! zqt}90mFRkf5$3$qUa0 z89N1=n46V921E1$dyXo5I^`C@g#y;3V61Uy4V12(>m%Lq2TM#8V~?fu*=bZmu9EOl zZ)W&z%ZS8=puY;NzPz71R_6&9gysX5CqJ=d+rcSrBA$Fn3+Xtd|$X zXYyuC&hCFGzed2}tV)t*+)*35x!&C8873_dWQI#l8O?`mAt2TxvN@SyI1?$&G86Ul z3|D)?7$zllKIQYaEMq`0gl^>qk3%-GMAsKUe8VoMFdUB`U73G=kKLr}mf4$s09S~V z2U%d|8>J}_=!IJ`0cl7r>B_x?9x&ZZVQ(e(=0_^i5XpL;AeH%0R`JNjL zYzE5YFqZ4mmB-_|ufk)fv>MTW)0|lhO5>5 zCJB2*+Lq!PQ*@e^VG&$jCOL}Vsu}6y3Mg*%`E3rlw;dmlr)Bkg?$4YiHUi4V?Q01V zgqmw*VZzM6#a7!9%(DwF$ctcLDbc3?=GA+C*@ST1l6-3*}q0mzL>PM?xV9 z*tBK1G3pC9BN%u#Sx~>=-cRkH8WY8yI<4@Sg-!=rwM*V|u~hsLj-M){^%J&l2Gayf zl}_G;LD^_UF6=!+a&I_)W{galnwp`iZ-gXMhhFhxt3AP$dnFjX-BcuFWDL@8DwLIO zZgdSdzl#j9OADRLH|tThehLR-Or_P)YmR@EZS*Ok`S$Y*o*6>%U^IG|x5Qypn=$_t zaCFVp;6CDlB`w-3i8g<1gR(K-CNTgly2Uu-IR+1LR&lr21=?poT-rX{}js zBhTU`KzxM_Tv_2CDh`sl6uRGgrvxWU3kZ50t4iLwe*_}_!U)e+fof= zt=~(I;AciiMWA(=X@BL@@r-L=?j1h#r6o0^jZnFN3QnQMu*OQA_(ZjtJ-&a59GgsE zUvuAO zIUag{PF1P+vwk~X;$eSDH7)JB_tUpg#!6H&mNRpGHg@(BGY`22?DgKr?8Ldsa;e-Z zR~5Yd%IB_Lw?)v8*M-ff9<0a0L#87+tY-pHc_$k0^*%k`x5?4AU*g@%`ct7@1%IK| zgcT61Y_!ACn|7qWEb0;C$d++O#&h=B=OR6S$aNsYfcDgEoxzF^M1p>mfAUuuzQPX> zFS?ynBi=YmiqCK}ih#w|jTvgYrL}lHt(J#aZz#D#tTid@?TT+&kUG6y#;LOtE8vpP z4Cz1GttC_V+e&|nL%?kKr=h z(8;Yxk_VfJwf4SaRxo2UMay@= zm!8T!o*1)3$AOmmWs(%-5i+E=v(q9sHW0`+b z)o)3|d9AwE5lH7MRQh~GO>~z)`znUs{uGZ6dsG7HD|^_1YFxuZA*EOcd9%BJgz!Y^ zK8l2-OfH0?8JpSA8w_01_=&-VLT*%{*pi?%h{eI3r&^4P2Pwk_IW;q6N11NNnGN6! zPczrq!+sdRU=#49xhyNt8oaxJQ!>k$qcBD7DIPm6;{1AArjydYa&0!ku1Aiyjf@k{ z`&}J5ttr+%|GP==K!oY!fkwxF-Q^Enk&lbv<)VhqEfOWdbuY=ZQIw-NNGtg{>-MIcr|*70;D!W#(*4ke=lj|T*eWA`jbgQfDKdo! zXjDj+9aA{zN~=Zx6wZCUZ^~8tfpu8@p+(aJH;7yYX*zwqk;N$}0du_%5t3B&HUT6l`BT>yJ9VF|XH8XW!Z z^u86{akeFQX5fVk`4>uz%d8TwqavDU(26?GNSZ#=7vWnYthCI3&pVaZxPbVcdgL$Zp2r*TeNH>mw&unu^BnI+_e7` zLcJC}KvI~(w_|7eFrEPpYkXT;lqpe1BXuq)%-!X0uzQX1L2=8IW!v7RdhOC^Un{Tu z8jgwss#IBWlv|*GP(@!Qwu)3Mpe0^3F_-@4M*^+%y|4gJlfY9nk}FhYn`0QtWTZL9oxyIFyEP3q@1S=tV&h;U+^4i0HAwOXt#1q-ukIxkg4H)$q zY$}7^);oQ=u=Z)1E;_b5Akug~NJ|k{dUOw@a~`#PneX_#(Y}EEtvdpAbVJWw8@)k;5g{gkvW9hhS5J)Z35&=>QdEw=+_ zvN5q79*|1+>{Re8Q{?uXJnmDn1nQ?|6d(m+OuEn`78{?BPVo|yys`^R=q?_pa2k4~ zAB#o5HPO^C5fLgP9os|Z?7YxTEjk0Z1Z(b~r<%rpJ~N1RKqVNDkYZarWJYx4G40Ks z^cCsAyNC+4qvJ!Dqo!`1?+J-u&C%nvdlHxVV!d*nze5T{z_4VR_&Dqp{mXl>tM|cSVmE%_ zCT+`q8*C(@=OCE^k8Z{UHAQQ#q*)$o*W(0@4Hd3&WE#GfGN&wjpJ(o7s}%FJkMVn% zZUz}+?>pUDZKHBfy77$}+Tx!Hn~mKp5_&eM-hG2w6l);L9^XD6=yJqiEOa_CGxRrf z{&tjHPA*MzU1z;%SZH(>ZRM3aU=!d%T$m$&q8R>2gfWESpFoz%PUsr7sbkf>!Wq%R z7MC-<>uWA}NI-1pMpJ9GJ*7KP(mkar{M09s7;E3b8|lYP0xpjz@ZfyeO?d>*+bzGwuA=@iASvWa%>^&m5cM?G zT?xeX(T#CUfaE#ZG+-(_{qCu-x>XYOdBos4)C*;A%1jfs z#d&5H(e&azcAzvFnv%t{S$w{Q!kHM|7QMAM!8n6BV>i@QKVBm}3APT=!Rq*bGUT+Y zp=X&D*=)_(1vvRxcvP}uhDp^@&3px9Ii10 zi)=LZ>3H5gaW1@kT_=1~P0kO;IiOXqHGLdB0Ti|f>b3aeGCnk89tteGi5sMAHdPvw z(RPxvHpg<(NPiuF|0kNmx-Y1Ibf3!K*QO>X@2fzt{d(m$d-bv6=R99qJ}H#US91x( zS_JEE!YY+;Y0%O#+$(xc@zKv2rETn)5dW~?e&^i*_lQMZ0mOCJ$Eqv@f0Z|+$y8E( zRWnTH@cypCCkwv7+b0NSn~e_9=yBHk5g`=wc_V}sU>1t+LL;7XLY;blO6HXNSbrBf zl^HUgp%(Omu5^n` zFE#Jw1!_ew)|^PM&haaac)uz|s?%p9do+dj=MmTEQKJ1M=lN2Fv7v4?G9WzVu^7H3@rDZJ}O&eTuB(Ek$VFm7UX7H2_@SX!VFHV-f{CR_k)*=&yloi)-*cYd=zc^re#?zcOm}mcme5C2gmx+@0}@S zlMMWv&nrYl;P^X{h_D)`y~)d3sv{+ZWn7&uh#ly9{H&WKKW*xNUMV`$rMHr25z-rk zRMSaY%e-zQgp7Vc6Y!!;ILJXwj;c!EmDtFEljk^mQJR?fByc=`tbFIS@t6a?3$%<}>Go1;Z>5x+Opv~>Q`pq64{(dVAJ?c+K{6825_GUVhYx^6EF9CC=_=C^fDW!w z{9LT}<*W>+N|5D$j@C1A<#j(HIXrl6ls3HZ4PoIu9awmF^vy%#+||z-5!oW-_o44l ziy=!df2`ng2q{Nt0L|A8NA5(aQ>FU_xZCOlN6`H|PO~K%ZJ^vDKp%zey?!`4H6gla znu36%RBQ6Q z-rSM*zbFnU_`ZBUa)b-{{Pr8(hPeY2Yh)htZQOqTiShH;8FwNjZCBe1Ke z6wp%ehV1Kqj+1i_8a6~*>5tWEheKib57!vc;ueBPIh${U+|nu8((OSTk3qkTs3$`(T4c8I3TCup-x{@DX0ZJGJMs$mH6wJ$7orqQ ztca-@C3spcp^OTzA?ez5W`7rdXd0#%NOB9Zb%GCni#=107ekxUKT~n3#M>5Qmcx3t zX|M(&I;6YDq$Vyuz>7m>sE7@Uu43<+_1%o)jNtG<4dRxKKTBJV+Y3slxX*C^ueibL=ONNjjY9ege7ib&m=>uY>)gjNAw3FJP`)r=XF+2hb% zO9xATD?n3(n{_LHcjz`7=8~tw7(Ioy{Fn5{lKJe~TKOT^ z;Rw#aSLjXN(u=k^8V+4dfB^E9Xy^ki0p|dtb@&Pa)Zho5bQs!Dftswq#(00z)~6xK z;hBeYsF==@*)4*0jJ=eY+d_^px{gZkX9w${N95DS>vRt~Eo$=CD&tZIWWwqb5qL*` z{QSWe0{L|kCb1;y(|Mv3Z)rcOh$H2Ud(Zuz$O4W?P5TUN z-jV0<(4>`A7+^gNV+PVX7_Ypw+QhJGCU!vs_Z|Xhc+0kWn!WL3*$e$#iSRGcY~_`G za}W3{zWWChhEIsv)uDLPZ?ap5nP19(Xo=%X)~xw&)q;!*p?BThm)Z}EI&^Q;sB4(vi*)Lb4q-iqZ*UC@ciX_qvQqz}zGud04 zrZ+3`4#t!)x#3|KuPv8naf*aK0|v{_+C|=*cW814At;Hc58~m4 z#E50eJU)@df}hxHwI(<+H7m(~9Q!$6m+M+xUT}}uUCOc`=#T89^#_+ri8p&8B@;g) zC!}UA_K2@qv$yBEv`Q3aO__XS4%%b4IO~a(W4ZIG-4v9Fe{!?V57h?WgjxDAQYe(d zkh)=Am3D1>N2f&i5UAAWk1pVGYbT|E&XL28gu-`pFjQ=|F7LvfS-{zUoc%KroxI2> z)sjMe6?~L`=*-hDkcjAdC(`F@Im@WCGtCq`nMZRS(}6x#ovX9ZWu-HT)dxG*l?bW0 zhZgdrEh%IhunA#|wU|mo{7032l7}8^sQRT9*7>V!{KZAY84;MS)R6hs0J>`JYO}yz zRpt?cyW!A0KB#byA@ihvD|AHBc@!`Uw)PbqN48t2?z_vg8lzXq3E(Ze)W%nm&jLa} z)>pSx+z*Q9*&^bNm$E3-2z-!_NZRXk8VEuF?kB0QsJ?gi3j%ifKUqeDI%pkcQuE4_ zw%%bF+A#@8)qo+vKMCvJYb`@tM}O^uNsAi4KSyg_P!e*lA3)rHKi45Op2@~C=tzxA zbVDgOvyh=FKYv-e^g}yJV)^C`-Eq*BAAi=5mXXoV12M zO{U7ux&-lCJvrik$0R3qp^D`XE2U%t;c9lMyXA{vSC|@V9;0Z8U41V%8Y6NL6gpi5 z`+TU!3gL`&GAxZmJaUgOQiHjENf`>ZGnH{IR#EZ4!VLzSd2!;o^-+4lh&gSn9B68Cv&-O2i|7%x8N)LH_LGQjd&YnLhUm zT18yc__jTVcwe7YFDA;2KVrbUJJL>L{#&z2C*~1cpS8PBYc=80j%4D#)7qzPqQkCV zUPyI^+_Chp5hNCln3^t;kD?E@bBYm#M1Ji*l&q4T6goYxnM}KKJt0&*Ke^7Vac?8$qX|*fe>=c2v2M`gqz*Iwr*9lxh9-JS8K?` zGyhKjeHeo0+C7UR@mRk-V-s!?E;66!lr`LxqBE)n?}nPM7zSiaHw1;SdND%X5~W#@ zt1BC}e|vNVAO!pdXRZ;cglkGfZ%1)C83hmRqCUTW6ix^MlEl7Yf;$@g)@0kBsXCS_ zG1%M04>yK|=mPzqAJI)*---@5KZcKL{jEIow2T~+HnN(TfOu;RUpT6f3 zLjWs(Kbmjrim96aKcCbBR<1ESabvWbQjnE2UH&Yq;$Dj)tSr)`x2iD;(NLld8x%}m za^zgk;;C4|LTov5jwTQR_y=L|v3o~{Cc^&{e-T{66(Y-Z~eHpeU$uoZY<9NTTGC%(fUX+=dq3lRC;N&23!5h zNDHow+rNNvXlc-qIYAy4zx;N$Sn83>8r%61t`02em6CbF5`!d#|mG7m zn{}_)CO7?vJjkbE6QyTc(DCSoyC7BZc(>OED}O~i;!Ci>6M3B1Cs(V73@)^PU*|H8 zb6rI;+>=I$Mrogn`cQcH)gB}q5qo-;yYJS6nwfByhes$^O$%Z~;C7|QMyY?F_1k8d zWiY}HyT88iuBOn~^F)Hks3wa!ITAnjhhWY98PcXX|E+|-kdEby1sFH*LW{1}ORPA< zG>T!CkPW>0|KXL>R1B@Ni+K%y3=E0GkTZnlROb^7$SzFCCa>1#b>UIR3il33RsFCv z?B`=H#1$Z#8q z9Hg5C{RHnmzYq9Y(`?)2tLvjOtH4Tl-Ssk3TP+A9WvRIm)4`t%Jlnu&`+$L-Ey-*#rE_+>x>&Gqg zVTDU!sAJFbh^2j1->U4R-6A&^T{>2MDYDHMlw=WWW7gGTno(8tU zu4JXhr^1uRJso9%R2?gS$oE-0`$qPQ{Z>zL(fPK@*rItP*-i!X^QPG|gV~n<`Sl?nVp$2|qoU>)H0Nt%6uNnK%!ZA2 zWTfC9anU)Y@IN6l<(b-0tBep=ouhV+9g1sp7^!G>{YvUhIZvQ}RX}E9{W2E8_<0>w zztWIU0-BW;s(ipqn4ikfGE~}$g~Gi}F@i92sUfR{wHLoEw2TzW>FBtZJ4NMsaB`>4 zeqT@i<92!Wp2NfXOM(( zT>3DZPzwD2m$)-SsFEfaO}2Zj%1`D*^x|Zko2RJh~E5deL4`1%% z+csTgVp>VngriBMOdMMc44E^;658N>0O==>sxirY%na0j9{psSZvyd0+)8dq|q;-O}1M;iw zPabJ1+H|}n)DwMvpTKua(Fx#i{kx_Ya&!}b%O7K8%Vp-_NTEDszwLi%hF>coXjm`l zaz)|aI1D&^FfloBppCsbNcCvWbDbSRBpUq&InWP(#VZ5Oc|qm6a_ZTC_|n`WK`2NA znS|~$jy2Pgh(dm$&n8LFHOws1a2-F^qfJs|eo`YbMT{6qZU;8uBsSHNkQFXwZEHSq zoeY|*O2Av&LKmPXe#aTcw!*=%Q_aV#Lr(M><`gIc$=fVu&mOQ%_WEOITh1`z*l^KM zbsTYj_aIUZ{172FS??E0#y#XB+5wJLD9gKtFEdQ_B;mIuj4rOWBl*E&lY4svUVE%r4}7!eeIa^_Zc7Vnd|(N`i})|9~Cm37m|$n25g zxl!!=AVppxh|!3`c<2k+r)t&y&3ft#MJSd^HLW^Vh{Lr=C_ss;F z!z=xI7jl!)32{Re)}DY!QSVgz&-fIC)_EggzR7`rncSfT&g;*<RiOi6zfR5^uzQxLh1 zO+R1}dzTn z8F_uQq}08CAmHkA>h*DPdMDyWgFwBIPD1A4m9UW@1Y`%lxYP>Bl7T0GnC<_W#{^%= zFqfYg5W1rf)iZ^T$LBB5(##2om^~`I;V+JzWc_(g+s!`mZ>)y6(q*h6>rR`oSx;QeR`&&kf zzQDM}cBHV=PxK&v7Q!Sv+&9WxkBNLI_TOhSYo+~GGHu0>u`nyupF-tI+(mhF&*f;f z^`Msr)g7A9UcMR&@L$C);k8)c#MaKM?)c=BvWar#zTa9O;{a>!+8Oi*s#@{> zG8%pU_xuBKsY!bVZ$9z9W1^b|9vHbu$a-X9bvyx0c(agyPVTB?%}N#!eA6&se_Vjx zR^F9e6)hGYpm#Gw(6cTcrQ@g%aku)5V)`eifF7eTp;PTt!ir^mU4m2i zCjo~YK3}nanNc2kopkIt-Nt_ooshriZ(R zmJxg^8@;o2h}^O^u)*@yKQ_iJLDbQDWZ@y$-Zo#h$NnKb6EV5%b~1;T{gMcblXcf$ zqP``DA@3Jvc7>DyC9|FBNBtj27M_V)4P4=F2V2sAJqR!;I3urUO{ZsNlf5Xy?;&+c zdotB`!lL$U;~RY(ViQ6TBx=IcA28>y&P)8h(73v?)@VsmlPvHDhRt-V+Fd+&r$yM z!Ed&I1`vr<;Sm>g5;2C`#WzAo8Fc0N8VYMf-dbhuU zs|I@C)2(+P%Oz(NuAtuBw~J6n;bMFo6l>Cdt(^g36vnQGrz0DSJ3oHWBG$mFB%!Ybb#z>j$1ITL;w`CIz zB9TJniC{MRqcKG_7=~WBF|Lt591DYrSMSnkS!7SQwAto$pm)au1_oXz7JTtB^fLQ@ z%Uj?c*|jJipTDue{RV|S&smQfDLnD8Q$bdDf)r)uJe2qM$cIXVvG$eSN%nZ7p6*=k zS3(R)NGRNZ#v{w5eZpR%SH-$Dn2$Mfqg^a}kGo-lCf%X9YiyOAVW}Cw19b3|(w*@i z;wHbLy!I40Fo#KnXf9{9U%0+`aB+Ws6Xp)OB!GNN59PHogM04UaDhPRU3m6?Pbhdv zfm~$dyl5;%QmeaYT0Y=Rx&duGA`1Fgpu<(F*3~KR?iYIE*OZ@FOApJmuW32Z#Sr~$ z`SJh|C9dvkiarCt%8G*z?}rHA6}B;BAn6h##b`+kr+ic9gl*3=UYTE0sZ=O+D^&DhWU zhy(lEa5acwA^6QcDB;q*Amu$8&_)Bt2G<11Zj#FYyC1>wV@`ID_k}FDY5nhQn!?p zjgtkoZ*3s{ydN9~#7>MV&nR(ciTwQl9RgT(siPY(M!-rt30`$|H5G!{z0Z`Fmm^7+ z_oj3#1*}fGJ7R-8s+$ZH51jA+O7_@h*&%q83^}{hV#DQpuQEG{U<%cLm{vJWXh4Zc z=47uLZr}kP$(L^ufO45!{R;XRzFRn4*Q>*aag&5}s)sZE7|#;3IFx_KLB)tq;kZ3D#h9Sb&j@M7atcs=msRqhY`{F+?wd zY|qr07K^;1?1=3q>Gv#ubgsg0xhsg*o$3sAMS;}3wGf8!5MZPBXVX?rvCJ>SRb!#- zj0>9!_6Z@9u9MTVUd6O!UyBDNhR!1_Un=g=-Q6#T_g@HE&+}A(v9~7t_LNONF-&9=e5iRP_XIyf$VG5~r-<36qRj+*f z1Gg>|`BSqqTofsPszgHyA{)50n!@p_)gs(#;U8!a7x$Fy38yIIo~2(}7Y^m^MThpN zF!pxE0Ks$z$2gjhu^f99LzobN;vhxYPYOStQ0!in3u4YGF&&{-rJ+{5Ipqen@&LaM zHt>{sFw52ek`XKew5P+Jx6u5POknVJ31}q;yTe|EkSNZ7>q&f;#YA;JcenA^qiSC6 z60}3PPBRE<7f}4A*~7R;@DQ1ulmx`!J4CRM$1&@;F>?<Y@^q2%n0X zoQF$?^lJhy(epC~>6=JUs6YxvlXX{fV=_KcuYjTC)mrl72iDxsw{7jPDSb}puXTEq zw)Tz|tcFZ~z{)(KfGBxiAhXVzFME6Y^~}UHOwe4|9jX<0L=KR@qg`KlL&#yW$Ui2p zVc+WIGjO}CC;I=qM@k8kz#OmAqww@Et2bvIh@gpEKqQi7ReoU;ZcXaQcU{Zz4u3bw zHO=mcgyVr)fJZ(Uc7%ymTTk-Anq_J!`Rqg!4^{hr$_8ovK52iI!8$%EXjouMzvfV| z*Y>_zGH!9y1lyivf40j?lJF<8`?3ub5JW=jf84*Ap8*qu&yG2pU3=(G|37Mhk9m-y z@iruV;&?yhotKtp7s?m-|NQ%JD5G8n*ae9W+A0490OJO2IQqcp1v#gP1?GZX39$xH z-X^AhR-{%x4Q8AOmYU{SeUFD?Hl%f642;Wh*9`QSSS*(rE{-1x=mxu6Ln;D>bI0La z|N9%Y7S8Rz<^lAU&U7(d(83I%Gl;ove@AAu?^%ynwu?iT2g~*hOG?;5dTN<2h4D7k ze#k)T{P9Xma^E&3sRflfdGqek&gcKOfs`{{M_pKJ+_ra>3S4KsBx(Tz*jm8>( zn=x>9*zydbI5b^;S};ol{i8HPmt@IYnkaJszcjTG`m;f;(sQ6oV+uD140R_L)6 z5!L2o(^X`iw>l-e2PN}~JP!|R(hI>8vF>8G@8%lAR+eM(-QN!?qslb6u$kj<=mK-PT5H_m@qBT9*!`K47dkYQhu%fO_pJ1WIc15*&&JnW=S>3SxCt`rM5@- zV{gNIz{UVFWjZcwHKPLvaipv0>Xr+}#UT-mr4g$PU-`$LhN2=QcDdIuzME)&lh951 zIS?k-T<4+5-~ov*3rY7CuaZT?FNG{+#Claozm{^j?+p>^bbG}^ru`WGc$#QNZjN=6{Y!eL?IO; zm?OG*a7e^b43~ouHo4h9GuZmmob@@%gr?toX~$K_U54~lzHj$29*`t|@Zt0!vKN*J zu*h6a@RzED;KOj{L;uj%4YIEP?!T)Bv#Gr0kDGYm2z_tU0@e0=#IoxoYpO91-K|8b zy;1T7R_hux$jI5ez0a-2Q?;(~ZAT9tsh7G}MMYchhEN=3d*#MH6tKfC}|2g~J>)|WsBYPo9`iWO7IkA>6s0kaY z46lT&xlQQw6Jh#tXdS*RE2s!YWyf@9W7$+l*~1Iea>xj2qC(bYV-ho3BB7eP`HW^s zLfGjZJjV%GMcfAW^C~kBbsB*Su%f0{bGHPqY(?>h+kEixS$4`ZBIZuCh z5Z2tn(T4q%2~br_o6jQlnT<@vXge16AO(m<@KWfeow z8a5XtY{^6xVXMvr2AbPoJp8?Tfjp~xXJ;Bl6m;Y;Cz6^ zV1AHj1y~^foD!@D2x3QK2c)3B#<&hj3I-sSASpyNu>w^D?hWi3mBbDxYa=YEK%}4{ zjY9lH?)7~SXc(^E4>S-0dxY4<3QBN1)#40zJK9zK?YnHIzUN=#tN`^2Eu~{N=w*D za6llmX9&0!Ob^k?&iCJU_{rB%#rWIqW!2%&hJ$G}m`<1jmpkh4qiQmojnAqH_#X`% zR_DF$?(l|v5-gl+<{fba5=7zvw!#j1u$5(KO7&Ax@Q%T0#2Z`>9iUT zfPX4<_~K@|e?09@E1(b#bod@@gnj=#<9ncvPqX#{sGoYsj(L|5Onn4S&ilxwc^^Q? zlJ_VOP#?C(-;Rf8$JLa5f;~OoWBjDLnX=D$=j)+SaupjHw*ZIlkB74n#dP6Z~tnl)iv+M@&*1Lz#< zh@8vA8ksrA{r#KMe^+N|2M5>4_uEYZlfVkk?lMhWHI4Fr6>nScD=;ewx&Wt!-+JD* zm~2ZrYqN@(Ru4nx{{b;efHp#QVUZ>oA(4xRAfpZqVBI4Db_r(9LrY)_*p|Sy#D9U( z3bk-N$GZtKR88_BKsLIOsN~~j?~;Qpge|O4TBpRm!G0=hE{w4my+Lj4x_8U?5|j}5*8rn_sU z^+=ZReJf;6G$0FGK=#)p@;21gMt{q)*eqbJRRQ-92=7SqyM|^|w9Gz8vFRFxlT(k_ z!|$v?YeBIE;zd+kN$%UwwNV~9_kTmz&Fan?viGV%9dq^}IO-c&$ZwQ|y#B9Lo$Ir8 z!O&V2xj=PGrujzs;_Vh7{6$P#d%t}Pbv*OtA*d4?)CuB|ptcE8H6|5aTac~(M5up` zW?()(2%3$0CYZm>5w~SsOR3yiS$|`O2#u#X!9O<4Ho2R-`wnDFpkl*Sqj+pUZHUR8 zq^lKp+hArJnCVS0i|#Qv)o|7+v7=ZBamO+z-Hv2I1{@Co zMxqZpp4NwIE-0MoK(2$OImvKS-?#EYEqxIvlPm=v~I z7V2nlpGw0>p)c^pM3{`97WaRhTiB(aw;q>owl-)o54PpF)--N$!`9<=avMEfMXlF} zLTas|v#BlCEL(3y?Y|TT)yW?TsnnKNIkIlE4FdPpY^9=&=8qsHp+~K^^xru|JL>Y*Ukf*%G5l?YaA(<#t zEsU-TQ!b6T?A@n@y9q&;Y}%q?o)sF8z7!R0U3-X0}8#5h`s`Jf$|x zAXN+ZC^wm@9x=Z->nOfbejzKQSnDMc7by_&1w^C+wJxoLuW<$>j8sCGP^|?ee^&@C zAu|->o9!I^L@e*wle}En^swrj|Dj0&x1rNj*KoW^a@y=k}Oyy|w6eWem zb&^gHSA3*^W@(<(gr=d=M=jEQG$tbgsOHiZu`Vr}+9fKfG_i0E*hHmZLn{(X4cXZQ z+^O+C+fk<8l%5i$OO%{INrZ48S@ukYOn*XiRxdrMeV=a)#!iV7LQQxtm%S{9@NAC-)i} zSwqVYo6Z}H`!H}t$UeF}mk>(*+#>&J z1u4}UGh`zoVW}DnSY3vQRMi5>r!}2TL8hh6E`zVsYnKV*a+_y_6eiJWaE77?pCnjG zj*&`wN99NElYE+E1SNQC(~9L;ZK*)YtKGKK`?Pt@qD`{OIcdZjf2!IA2GOju#ms^U zz*$A%2&;uOPY1#Sc}5kHQ$*fatd!CMU7sb;4P3HNmXKyr8zWU##fVEJD{w7QDRoLC z^fd|kD#ZLKqQ!6^m6yqp*cJ<%vpE=-Wd z=-Rw`y7Mh=cb0dyY9ZdvYnY{?tGxmOS}a?m=oi+b(V9)we{zjb-nK7hrx}`Vt#t~1 z$sonq%%tKre#wbip`1!FO*c=u1r<|FwNz-NHjM--#PI0_#!B=am=t|E|1byI?KqkamM&^D<86-ax5R@-{7A$3|z|$_M^+f2jb651Ox2)6( zzYmlaO|F{ze+qN0rh*W!NTYKcXve}WMj}0j$yY9Brx}J~r?J!;jFoiubMXijA6GuF zCTHW`XgVCH$Ct0W*Kp?L!OM3C$KO3W+}le=$ICMIa3Lpf{-a5dKg2r20|~_@sBkr+j)ft|~tLW5{RxPyS~$9@b%Uo51wu z)vJ@Y&jF?vt+Y@EV2bozDhs^uYKfB(B}}3K2@2~Lkc=-d(z3*ezVFkoE~clw%XBct zX?Qf5U0-*nz2V@zHyQQ2UzY>Z>SoGkgWRh_e-So;;?>JnANKYDio=68D74BRB22i0 zG5R*fJVD1uaCp@U$5Xz`pOKsF^8@}P|A`;+*ZeJi$B*zEQv4VGEB`>G>h?!hNUhUq z+9huSZ1_1puljHdBpXe7;9nAWcF8ZtRd-sAiDm!hzX8+w-RslyF7H>93Ax^okNBt> zfA@yx{CD!hNxwU}0_M&57ybvo;a~ZmHJsC%_V>m4=;_|;qql^!T?@1J8D(wa1ECy6 zE6RhqDryr|eth%t0kSam8s)7_bn#UNh``o~2)WW1Ub&WR)t8Wfo zzIu*f^{CB9fDGA3#5Y-Q5inf5)k9Jmf7$2zT_pX>nx~+j9QQ6^`~<=;`U`o>1o+>Z z{DuxQ?wgEi*hvIiFgkM(U>+azEv_AnqyZSo1 zg6LgZgF^dYc70lnC%sE_IgIn8Wdtn3-`sGc{%kUL$d+`laL;C1FdL*cl3_#NtMqik`0g2rx6rX(jaPV#)AUXcfn*AetLdl=L>F(_k6hLUZ2xi)Yad$i( z{*iQ^dnsi3D}D;DnX=GncTApIe=U5r${t(w`aKkNvFN80F!LJr1ispv;F|?K@Y|dO zlN0v_7rjAm`V~4bHmT0Ate|w5&R_Qi0RQ!@KkbeBU-_WAq{1WZXIx$MtDDK}bW(vY z&c=hu6bwPTprQoZFR*I2U$@gndFI*vi`|nwvQt~0v0x^wWwD_3K|O?-f7;nwv(2rj z4M)}Bbk^?!IHPgzx=Ntbq1Y$^y?^;}{~dbqNqd!M7k+FWDCxRzk17qbP?>+;= zJs(!H&)rF;OfUD#EE{B!-)Gf?jJ9P;u^Xk7pLd`A^8CejhsV2ztv8@xID@})qK#%z z6^1iz#c*+HxYiquGR!z#f7Yalqa6PH)2qYx-yQEA9pVFz7S9Y2 zLA8>2`{eL3_EM|1yQemdY%Oq#QlsQ!HC^1ARPbVOHav&O2(o$?7Zv`zLN#HZ;HELJ z@VTiwNS~cf=@18j{JY&rMK4A*o+{L!!rvH4uWRk~#*-;-mRWG5f1kSf0IK2+|Fw5M zy_(Q3maK*THu0-B`K#jns(4cquS)S^bMdP;&#U6&s(4XI4`C@>nazc--mb0)pMMp6 zDO}2$?y3+UHy6Kh7q=>1H>Hc3450wkq7- zCOnqDCbzKoO3kw>yumjNhAo8KLi}pxUKQV<946akoGX=gn@evd*%kS&8R@hu^~a;d z4l+yTiI9Gis<9`06M2HKBG0gBEPgN}zgYca?;Nsb`pQX)6<#cHilr>ZQs!alX%gks z{{U<#3cQo?5EGZLT?Guc__hU=0t7KPG&7fxxdk5tF*h_bm$bPBlmRxENxB6b7d8qn zMrm?$bRaY`3NK7$ZfA68ATc;Mli>$m;M<$@LMNr@^xZ-3`{j-zDDVa%L3Ds20HOsQQtdPtONj)ey{IZ7kFQ4ua^Lpd zBxEx@?=v`&`msw@9#C))a(BHp3KF7dRv>I*}3a zZ+p7NVqg&}ETlruM75Qmza=1=;@G@_cIyytOMFDnhUkjOeh@Y7+}?&>uyOrFdh-T< z6?Tr3@emUNHa3@-yageDHaA@gFH>oHWgsy&HwrITAX_mYGaxZt3NKP`Z*(9rHZ&kG zAW{l1Np5CuATc&IATS_O3NJ}SAX_{)HaA8$I5##$GBqy zLpMb}AUroVH%2!&H#S8wH8U_XLPaw(F8WiD5m3@ZNz3fuWQZ z#iR(?7L!G=u~!DXeyiCMQVP78RlObw2Nt8nPO$`yJ~D z;D7GbYO#*2h3iX&!})aJNvjqc$a=Vk^kB$-NpBv)GHTECn&R)g}Wo~41baG{3Z3<;>WN%_>3UhQ}a&&ldWo8O9HVZH} MGdT(+B}Gq03QKTmb^rhX diff --git a/Automaten, Sprachen und Komplexität - Übung.tex b/Automaten, Sprachen und Komplexität - Übung.tex index 64b91ca..8930198 100644 --- a/Automaten, Sprachen und Komplexität - Übung.tex +++ b/Automaten, Sprachen und Komplexität - Übung.tex @@ -650,23 +650,23 @@ Geben Sie eine kontextfreie Grammatik an, die alle möglichen Werte von $