From da96fbdb482070fbc2821c320605258db20533cf Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Wed, 3 Dec 2025 16:57:09 +0100 Subject: [PATCH] [TI] Fix error --- .../05_complexity/04_np-completeness.tex | 2 +- semester3/ti/ti-summary.pdf | Bin 1018893 -> 1019112 bytes 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/semester3/ti/parts/05_complexity/04_np-completeness.tex b/semester3/ti/parts/05_complexity/04_np-completeness.tex index 28fa94c..05f0f1d 100644 --- a/semester3/ti/parts/05_complexity/04_np-completeness.tex +++ b/semester3/ti/parts/05_complexity/04_np-completeness.tex @@ -65,7 +65,7 @@ so dass jede Kante aus $E$ mindestens einen Endpunkt in $U$ hat. \item $L \in P$ \item Es existiert ein Polynom $p_U$, so dass \begin{enumerate}[label=(\alph*)] - \item Für jedes $x \in L$ und jedes $y \in \cM(x)$ + \item Für jedes $x \in L$ und jedes $y \in \cM(x)$, $|y| \leq p_U(|x|)$ \item es existiert ein polynomieller Algorithmus $A$, der für jedes $y \in \word_O$ und jedes $x \in L$ mit $|y| \leq p_U(|x|)$ entscheidet, ob $y \in \cM(x)$ oder nicht \end{enumerate} diff --git a/semester3/ti/ti-summary.pdf b/semester3/ti/ti-summary.pdf index 35ed2bc6d2088031da590c68e614e119230fc3e2..db7e2e54a9aab6ea90c13bfd9e3b57328e3f9dd9 100644 GIT binary patch delta 32121 zcmX7OV{o8N({=1@Y?~X~+Stj)wryRpxv_0;vaxO3w(WfP`#nF-)YO?eUENbXRXtrD zlO}MIE>Kqp2P)N21V;`II+{3&NCeStS{ao(+X0K#@Qp};2F4wcNJ&Bs?ord(phRK? zNu$Qnqj1)K=NtM~jzmYLg-Rv!cBOlWLVeopLtzULiz(}fykN=7UNR)kf}P>D{{Ypj83LW*4Z4;507D60#Sq_2019J=2mT`%DK!=!h8p}I7VZB@n5y0CG<5L)tIQC1J|>)6xS5zAw`F zti376t8egIY>b&^e-@ZYbTIJoR0Rnb8t_#mhGuUGm?2!oF>)L7)?b*{Sj{V@79sy` zx1=p1B>y-S2%XN5tdK|Mx+oqbYRF#cvVMOd={dJ|u># zJOEvwf^+2dlR{p=os+`pIB3cQv|}Rq8!dpZ^jbf@1X*IV;Tv=gZ8*2N$Q>ph4^%Hz zJQ0Q(B8f_MDHUZ22CX?H5k>+Tv@~_H5QYNcFYZFm|7h4E7*8Bf&(xsK|J>Fu?foCy z*9k+44Jwv;xcHxqS&Y92&Hvfp!lG~KHqE{9+VZgrM2>wPH9&E`t_9PO zI@F)_9}wm_`v$w+W)N+5y@cV!2AxZ-hJ>Yru*JV=`Je4GNZ4BxP?ppUELbv#EXMZW z|IwJ(um>oh8maFzuoU3!mE8YhIcQU z?h%6hK>IJkPE}YMaKl=cR1!N_wB`?0*mrDNgDJJ|Hs9@xKFnR&hIB10m0kH8ryXWK zNJH?P4S}b0+o2yP-+;ktY*+JtDsBW&_*88#SXziaL4%C{xt-+&+mHX>ts11l(t!{D zt^c3({8U(bbOuJrmH%=ofK-_LkDjYP9>x_4Ql^kl1vwmWM4!gGp9>t?h8SEnH+={a z{PpT>x_Wz%4s_7UkCKw0H z|K$($CBL?__OH3?FAT4w%7Xq4MnzR$*m!#SR1>s3t5sjc0%L8BlxTYJ)X6beEMSwL z-xnug_BA{@C!5dH^{!XNOuVT+vV69(A)zjY)T*f3qAI0Oy&2)oYukWT;A{Qz=qCr)>&4=z0@X@j zv;|=($HK~NW@RGLmz+53%T*MLCD6iNsIN0lXHkw@z{STX&ZwZ56_4slBA&#dCat!| z@SCjsF|ABITb|m~>ErQ!)V)+KT0LrTawy+MmaK|UPLj+}X!)c23Vse5p3LmVg*!7> zKgWs3?)Yl+$0FrSa$_MZyMH@y$eJZ+Z2TfRe1AwoFpbTtr$OetQyiAF% z&vZP0r&*@*(9osD8AI6~-MIB%X3)Wt%U$a-g7v2D5Bhw1S+z^|lYCHS&?dWc?Z;^zUkG~fqOSl^m|F>Av}4+nYEuC5*N8G^s$?mH5iSCBF_^MN%QGj zIkvdp8QMP$&bX0hsx?mRw2<)xx?*)cjoUrjZ)@p~FEMT;ybrs%?XjB2odp?R!h>%v z8Nkf`GH+an+PcoxXm9sd>$5diSPL<_JkO~B{JLIRUKScEeRzFHfWC6pi4jVhhd18Q znK|Lh1LdSe8%*OHRz5`y}c))B{mMsv{uSy9pK z9JfX3=8>WZU#08_;CI?9>eMs#a~8aXTC$pTUhi=7qF`jiEDPcHI3qqh`Y?ApMnYom zn>q6ug#4u0a0pdux z{qyk8ByJEJ8h*QF>XZ%szO z$P^;^L6&I~S%iW}ia1PBNOTU{NH)h5Y(XqWQ33*ZAr5B91A7sY5*H)P1Np5QGZR^X zf?Yo*DmK7Mi=wQ^8JJhQA__6st@{GhhCj+ z))v8dVPK%?rvkR&NW~R}MRPT}D?RXu~2F z*OE=?CNE@t+WSXW{%@Ou7!kf|%wZ~~(Z&hNYS!}5nQ#C;v63}7b*E#teN|!ZA<>0# zU(^cM<(Qmqx-7&WsGk(fX+=^C;`lE1C$py#caM>-=?0KQGR0|_BoSqQJ6bELa!~^e zkR|S*kPLfk9Aad*Xi3%vHehlRp#c?WC1Ao-6Hd*;re%L)>L%=+Aklw_$XfdF{{Sme zRt9%Bvq3$P3-AEjtAUlnVV&^~gcF_JCUGGw1o>sMF+`XTd;1GAhIJx{oX19GHcFAX zHykPcS<1a(w=ThX?*c*Q0`!lVW4ka=znVe-Dq$;w1BcXMG3b9YU{;@;n4@ruPnqIO zMJw;r(?gs*lXRRQk411Ao|ti<*|}1yRAxhdk?dcd@brU+0RLPKVIc-QtV|9EffiqJWQCvnsdtnB0h=4uR;K2$P3A5g6ReLQ#J$3 zC?1$C5>z~rZA||l;(;XXfD6^Wo(7j|g+F|iw;%Fjj5%BO-&L02;>(-rS{0W9)s1Dq zusy%tKIhLbwAii}F5P#=+xRW_m1N}y)IWi{*2&ctqg$+6PcdY;<^<%*ZLHn6xy`#9 zT{+F8{d2&J`e!sG7?k!0NtG$Udw`rzK+_fk8pe4DS03@VnIxsu_k1BgN)f{- zfXRHzFgR`&i@G^Gv#YnV7E0==W%_)A+rnrirjt|h)p1=vpgn+>vsa%pQ@u-=Ngku@ z%Gf8UcQ(Y=2e2CO_(ynm9)4R3-bKkzXrN^qnzrP>5-2TF^7~mG!~h;3UWQs+;^AbS zxb%KFtzK#nmRQ^;!7}R}zF!uOI~JhYKnV`0UR*63MhPVlNjq?Qoa?Y5!}Bc7!JaPR z^u3yl*o$GN?ykdt`g(o*;WsP*YH|W{14iv;1yv^;C2ki}Hb?Q;4E-^=^xQK_+lb=9 zzTWj?$G5H!hOk=rHW&l&-dsos4rtHNYQZpS3fnL!lLC6o@JsJS5L&YoMP4*tcTS5F(?9L45@KT1 z$FhiaiV>MyDBMo~h;eT^x(Q!b3P|#`fN-V1WZ+SnI3aNuHy;!b?jc!X1_uXH14X}w zjUSKdj=YkICQOz`X%Vc}8xQfb4=4W{f#&p85Cb-#oT+!qmt3qav|qp&xBntLgvo_P zsuRB=aqIBJJt`O`kNE8tlZFMX32u@5E-%0^X>Zk=2(%8!Iho#H!xTD!n!=36;<3qU8I=nWRPGKwnmS6Lr?K+PjHhS)pk z?I?);ix7M&GiW>O9hwvz-Sg)U3g+!-Cv-IHk8bk^a7>+Zca%^6Rn7@BJRFYv%M%Hk z16lIaE>a`lP5ScY(+~{Kme2DQii{lVWtx$p!QOW`O)@}NL6#il&_7L5t?*h~RxCYK zTI4qYn$!#}<)6Id>1}Lj+ISnT?B?opJ=qO2Vt7wR*DM@EPFXUzjm=jj4 zxF|)Q2gM=-yo^ab)xw6wvXt(SNl;+h@f+H{ZwPRuK$WEe!wwq`_&q&4bA}*Re4*QH zfr*-h7M{l%wEVn{g0r@l!OF_&DVpN__|R0oX_`fK)*V4lAH9>D*WXi8v3$BAxRP=D zpq5KYhACQhu5qdZ_pe5^_l12Z5SbcoFtHtdj$!xxgvi!A8IOawR_aEQ(WVBgXjazC zU+=xX+u67-cyA*blEu*N`SlJ=!b@jIb1I>3*=0_r@1Ch6C&RZL>&-;KP0|~ghD)$A zrD0U6@DeO0Fr$281c$~J_+oSV+B?!(yg>t&gl9gnlP&d1 zcydbKGrC+rTEL48?ArFf@iVc5M%_7~C5Sq`4 zmWbZ>4h!;LA1GX=$^)KHx6)oD{3R!Z;M~Kkcd&&9kQex8|I)y>RO%t+X}wSLOII9` zcn-D_Xe&K+iM`VG@Od<#Bb?Oyp7ynQIXT-y)Z#&NQBq8A*3f0Kw?JR___v~`D;MC2 z2>mVscu?QFwVh?)aaBrXX@@yC``n#~%^LO4=NVMvO5R_Tcx@Bn)G^(sKM^E<$RAVdUeyTxQ`t81Y z(9zxQ(sl~w%@Pr#6*bN86WeWdODtOf`iH;xwzg*T?02PU%-0q6yqp;nM7t5A||nGnF0f_GAGf zi2=oA-VWvHnMH5ziMr-Iweo*ohI`tqq(LEAa7eiuP@5OiNMdXm5w?{t`*zDl6Fca+ z?MFA7VOAqEkM|0>JSomZKE8Q$-)Q5S?Fbl2`i%|Ag;qU%VZV<3oczvecxqGGjC|(x zAo_alHa1j?0yc{~Thkcyyic5RIP(F;AkWJvQOE{F*07&ztCx2lW}6IaxxSY48Pl2h z(yY51EdWj(APtTwBl2=JImo%np+7mBDT8}K=q+QkL@;C>aNFBtoy`?sHw8UOR1bX^ zR|h>xbb92BZ=|4}F2Mvh=jHvz8`iqL)b2ZUeQ<=qE4c;#LxH_lO0$Xcu?pZV??=8i z8GJdj58S+2!}OT5E3h9wJ!k=agNJem)B8E4z2Zr$kT&FXjpSVyB9;H_)@MLewA=KGAl`&zZ4UklBt3MKj=l_keaOEIb*ddfC!c!G-sIN>8GG#K>DtzN@W&httK_bE zg-Bi4Mb~WtcaQS|I>X1lmOyAy0~9M4lepA7^i+OqSe0)=!baod|)8T27UUT5a2VPdL1>?FoH%! z`VPF%0Wt^=t>0Jimc8j7)`+wl9{iE!gi={Z?%M?9T|~KuEn%*_@L*Ak$9uUj!iM*X z!g!f!Gm(kta4<~z02qJj*L?MOb#U0K3%_e>T+4AL2x25^4o^~PXn(};R@hzsJJTQS zmwYSCk1qXgZTJFEV1j8l$fkFdtj@RlE{Vivckd(MAcSyK;rTnVZfY^l*7S36D<^CfWFuLYui{FVCf8BwGloqEuq z@+Oi=cv>hSqfdBEIG5__8upN^v2DGt;@h`$3+omP#60I9y1kV#5h8JLfJbe6f~mji ziBSf-C+~_v=)cCf<6Hiz;T!<1SKw0GvN=*$x3DoM$Aov6B9A>lMxD(LQ7Gnw6P!+M zceul4^1#e}TK}HOg^%?6d{Bb<8Hfzd@n~7(9CXaK*!txQY98xWUzJTa|I3L>FIbWo za+g&CAV|@T+j!pFE1rM!!98ix7*fm_VGuCFrMN(0=#qC@Zi*bD6KeJAQ5Lei-3#+x z-YvF^{R!c-yicSCH6lE1T)`IfDZ2HUF*Gw-baG4>;!jN0^DK5mH%ko#+%lACut=0c zj_0gBSb?ejvxe2e0H?HIIH40CsS6$=Dj=={3ar4CW3L=iWNxUps!4+vAT7y?MAuN>E_gGz&~_M$b?1xSh<5nG1+ie=8R8t??ym(5VzJFmY7SLFlsYaJpB0(hXfMeWjCGed|1m%q3iF z-x3{`MO4>BeWNzge#y+}Y>4BeA$8CKUxl*!|M0q8xHVa&p7#=oB^E!AW-zk*fxO_7wqCG#b0SEj5{%KrhcDaA?G zdw;aMaA4#I2SAJa5N&QiB&ISmZ!SdJrDMBWLlYl5bd3e}{s~$%$NBtMdJDD1D+d|U z@wnmSFlfm~!VgF$canFm(RU!{K1Y+|p4twtoD}*I1+*Jix|2s9`Cj^el$aAQp73BJ z8x`pLEu07UZfBiz(%M4@+N%Mdt?Imb-1>4@LEO-iMjXhhCeXJq&I0&4;|-@^K+7Se zPvondK*F+rvI)kLQ)2d67Kk9I@5Wj!wSZ)ZAyCO4Jg~Ulj!Vpcgsoi=6AB zaLyvEe1YgTX4jsR2IP48W(qeapPby1_E{*h;bmWh>5z8i+A63^wBNv?6=wVLFFXB) zRI}a3A~n}v)bgHf?8aGSBwO~OrKpW`_%b&ExtM#tSOQzGk;4R>o3^Fu#rW5{L3g(R z)SWB@!r9Q*S^m|nHyiO)f#9G83@hX$fl)}aMB_9VRU!-^KXTn`rs~z>1rd&FReeh*pr^2wB_uxsb$ggz)x-Q3N zU#H)fe_ii59e>9le9CcOzWR?o$nX{L)q&&kli$v0H(3oVxk~^MX<{h%!RHwDuv7*x zPTCC?xg)*1X?M>GJ0Cv|?~C^0t|!e;rI!}Z+bd-59nM(t_QW_%+Zo2u$2Q+vR1sA= z@m>RXUrX;}P(UK#LUJ(U@tS)UbenJl-569#cINI%u;O&FZL6>;L{sl5sZ1_J>XU_w;ln*5m#1rPHEa z+v6%t^W*uG3u$mww?>Cn&C$Hv^U*`tvA!Cr7mLA}mk+nDi?t2q8K7rdQ{Ov!Jgwj- z(2Ln<$I zZV$oQzdbC;biX{aa;)#t`3YqGb51(j0`G;xWYk%|{zxRe$3mm|wOP%Xv+2^L=f&Ow zV(in!oz1kips+)l@penBZg&>PSExR}YIDhkQL4c#pT@ix%sf|ChaLR@taqeQOP{~8 zO*HsQrFUJe4bnJlwInmIWU8Y{7scm{0-NA@4uzG0evkX75GgIXx-~lRTRmFQk8GVe zwQIz^nJUF+r$)C4-MU}c5chN>=TT1ugNCyI6^Q>zeE}=eP9571T|BJI2z}~>XsQor zLKJR`;^B7y6&~R=}i;;aON+(m(YW6EVcI&=f1pn&q0x z>go05SZz`aggmENhvMOu5xPm{j)j}nFCC1#H8j{SL&7GWAD)lJm?Q*){M)?sHHOAvI#w2$6uWei4IL4_@_%iaY%d!2@ zR-FL5zQeANzvFS?{wI78C}yvF&&W{LO{#Dra+@$KeE!9o)sbrneZJcD{Hjam6@wOI zl)fBE#N1up;=`uis~rMq3f}~)`e@7=i3D6D9-;I66*qQhep9VSJ#PgUw9uFS&*jV( zgsHt731y;0F*-*e?G3Z|i#()r-{I00l3OAwq4F_v!H5^%vy-J-3LKRM9BUT`@cq_L zG=Em8F3WvqXsGFg(P_WcU`5_^j9XvZWef4!xO5Oy&)W`5R=JBSg7NW#YA?N zvPQ(Ww6c0k|Ezjg1`18Vkf3P^H+!dI)qXj0{93}YW<;-H2-cER-S}D6wg5(Nb99YS zq-4?iM{=~P8r`N$?bYDmjiOJ}m9&~tR%?s}V?}Z#fsOO;sA?`6d!NZy#2<2@&#MHy@PpTNV2ErJg>m1vJ@9qT{MZsfT`Y?w8snX7X)OO zEZYt#f}!edAT@mnK|D42Q95dvgjoW%L3bEVh+vIcosT;&f zJ|8sz3OVpkIUqrmmU$K(v@|enm_%J=ZSQ~rYr^E0xJdbkWPfYF{k)>?16#cL4CTFi zuyRa*niX?=0d=}_mI}VW2G&?Kxj~{CYAJTj`UA?L-D$%O+=_v2*0N$1!5+H6`+65k z3yV9VpAm#O@e0d7ia=JA%P~jT1}7oJ({lk6>pDpaRj^ko z!_aBv*GEG3dRV_yY#4K$zot>9JyBcckdVKh_ROqF;%A$9G4pnI5L=1`;(A+t9ipgC zZlQOd{ip>ckF|B4h1jKd0aK_393mZJE9gR@oD_@Vw$^CprFcc)Uq$9}{(iCF7FL)* z`!KVRLQ3zHhN&j%X;nNAiX&EVNtX6TAlYv%7^Ij4$~dL?0w%k{*ah;JDvAGVPK&W` z%;dSp8+j?=Dqd1?&PlGMK)%pp0y{SEpTWCF0rHOXtmIri{akHO2N*Fpjxj6rO-^06 zI4SH-v$ky%OAO+R@eJWP-ARvwm{Gvb;s4*D=HDb@B>pN7CAlKU>Hak!*>C+zBM2qX znbaf}xs!*MZBAKKCkoUEOM{Ya99gGE%3KB7C`iP zIQr58k@2W4KIPpXWdg1lI5-(H`lkH?l4v>@?wSIJ`!^#4a;c>0AI62rx0^d`j?AxlpgV6rlAk@}w_GT*ux+7=@X!^ukZW<8 z*k^u;&+{E%p`^YyL>*SFcK|tst@_mx%#rV+S?4GrM7^NqoGokDLm3UI&wE)YcCp}H zepV=X_-OZ=J8=6vvDI~tGxK?CDi)eX5b0B18btebt0PDJLB3|zQ^t;`o8dF4;AA+m zHIZ^;;v4wM-Z+2az7p}jn&-;v9Tf7BWEGrV2^|?Ev6494CDK`PjRD6RB*tDtE_Lt{ zP`b%Fo&enIraK6Z#K38Scn0y_Fq|T@@}A=O33g?(x+rFP9kw#!0Q`tKQ8Sj-Fn3d@ zp{htFI4$%;qyW!Hw#i$hwWt>;wR!-$%(YzM|yK!TA$s09S#D@ z-*9=Uy$g%0?)`R`X+Xdzxg$55qVLG8J+zl_2`opVNFYTd>%7SXJXC$OIXNwg0e|lj zOsYmE6)lf{;BAo-sR~X}P-I4+FM058f+jJBft(dah*TE89+t%Sq;PH3fLNdirm{>X z3JJWQnE|{)WOQ&BDcPbN(Z1l#xaxvGNbMg_|3Fn*R#fk^XkdU`m5^lDUFy#^DhO+^ z@)rpR6Xb0TvkxZ-CSL2p)#_@w!K3xZ@n!iAJLO}P!|<8gzjVHK9l7b7+4H9q4Na0o z5Ve#fM-Vl&f!S?5jUlEmNHR>{7WzbQe@#kr#c*K^Ftj3y=po_}>RAu53St!*@{r(~ zxC}!UBgg{`NWdnPHppf=5{z@a5tVCvfzT;s6z6>mJh_ot1&ME*^(5ci^Y5Uf6b-o6 zX6VdcjdmtB*`M^@`otN3VcsJ7iM4Fle-w=R5^FKf5QnSDo>QaC;iuJH3(x9k6|+Vz zRep((6|*Z*ibUvAYm#g@fbWK`J46nJWV#&3vDSOB_5%9TJE`yjE5$#p)!E?P)z0by zKVO1eVW=D1r_Nqg+zS$NX!(GLpGqlVuRcX z4+GJR@dwbVQyV}_PFQu4u}zr?l$fvv`qV()(PS>mu+zY7oUaBIt)Ay^RMCHV<7wH5 z2|sKNhB_^TJN>f{iixRSlL@~j8y2_yoLuzTsu2(4osv9@3OHhlCSS@TK8a@7@O+0J68mTo6p|k>iYO)k-_Oq78<=+BR!>k zHrH2B?}HU3gsXiA&{RXjgRZ|C(bE*1%NjBk1X1$T0xp&%H#|^LGQ8GhG#%eW1FM07z0_Bq}tfW9Q7v+Ph-h#nZwO4?B!Xs!z_aHkUE!b}P7LD1+C`a0o_LTE%A9I9-$j}? zyyHc^6Ca-4S}3>@8l(UxLx#Ptf`GGou;_! zmPVWBC(fQI61-jl3Ka@slI2rv^tZwhc|q@VXJ)oM>N)~f1mBWWY@qG* zE@2OOiUshzot1q(4V3o|==s^KCWIwUhID<^kq zZ_p2FpczsXT?dN+L3wVIUGjM5=ce*p0h{O#RwfsBX|hd}HBV#Gk0RL-vD z=l3t5+8fKdm#=-w@5%Ei9g;t$jk3LndjXvsI)tm<+0g+Gyy!PuOABaL79W0A)`rEy zgVvI~!OXT9n->A{#4Iix%9px78-mH+gGnMY;OG^p5+DL1J!Jrbh2$TlpC%)emWb9f zIZE@8D?}}eO>DepWcx#L7lc}vgjj;j%d)JKcVcaB?DRD4+XsRvof*6(I2dB(OBPyk zEx=&Oj1t*DG9nRUw{xW@rKm zaQNr;7tF#RUziCio_hzW59Bu*?~MKg*USm1mfBJ*u*#l~DPKd$guF8f(!>ESjGxPr zMRG)py>sf|UsAv#G)V~YN~iH!3&PQ}-2m#~=b$uZSrz!d+%fZYVw6>Zlv{6lx z0s?Q%1d~TuIqRNyePB~2qpPBs_p>tX|fnCcbR;7;tu-YeFO z$=aJr;)jIw4H0?(kmQ;1mwrG8*UB6^kc+$Eb2c}c9l_*@&CPvBpVJyXpiPAD8wzs? z**Qv3GL3f~{2$5Ek166`>D{6^vKHO8Da2GDL{wCz{>Y3V2OuD=>6)P5)U}6p0Mgt1 z=wsMxL_l*X{{o@Gtr*yWtu3h6ThP&|#U2o$oRLARj>en8vOq zIIP+fIyzgDH&X*54jJ2@h-9FeLj4!=W0!yqS`aq|`Kj+)e%qAv%lYx$m!c6t-MrGl z*K0CU5;MhnL5}FmI3feEp!AkPM*-M~%s8Z-(Z|NfBjRR3b_5V7p*(p78heqME4SEqoPf z{n<$NJw6|&c_Y|FH*=eY)CjvLz?3F+{w>~vd!fbR*aB_tDU)(4ZItkqdTc1eFKuDn zcixn%_bl#+i^gkfalbDHZVVar$MrL*4E;h2wOy|pALwxTutm|@;Y~hq#?OMRU%0;k zTAoJR7avm@VuB~GI<~6!fDk`@o>9VLg4d~TiwuEfHs{a-$iHa3ht8NCDx4RmmFF}a z7xfZW#awD^*M-zMA_||bS10Q@amh|U?S>hYd6a!orGx1@5@4Ye%0I~|_PD3_`q)<_ z?+}!Rfs@cpXoees#NpVAA*7YwRub^fG$u3}SmXeqTi*k%N|6p-6gfT?`=ispa~YX? ztwK@dWSLqWkA=7zd9e!Mx)!DH4DD0KL?ID%YH<{*{gF)dvAA>NSkkb$y2Jh$Dc#20 z9z?%7-t1;<4)5WFMH`S)>gi2o!nR9H#j7j7f!;{W$(z6H@p}*He}+xc#(Od0({>)_ z=m~gcT6xbb>?EvUawWHCkZ+v2+t``4p|X=d_?2`ii|_v_!gHf)qT3pYYstea1o6D( zB?w{rQc-9f;EcSq4YVJliZcEy5|D9dR(s8EmR{ z3y5$g^%W4MiQF-`(0MV43+iTJA2c{eIwfgYNgEoM1q$w*o0kvL=E@$5-zVU~Ek2|2 z!C-Y-nF`;%F@#|vKb)-M{m?*oq{~h=)h3&KJDvH8)~MPVkNB~1~Ohv-}z}70J&@{kLxty-8kLKVoI!|EHz)} zoUX0{w-MHjnqjh4DR+|K-V`5j0T@szQ7Q+E<^c2qkvmW|zXSo}VXXOy0=^71^0eNg zY}4r^uU)f<enHWsHtt~Y(`im{dhPI0qc6Ni!KMQf3@%?E`p0BZov zQ?~f~U}V83H_u6G68|qb&j$MI=3(kvQZi9Bbt-9f#%%1qw6OMe{6hKv!nMx;F6f0awV2@lLF1&?@oa3J0#lbKM~D*=2cj z5C*39*P(scH~K~71MfZ(Y{Zi?kT;qIXPQz^@!at!*Vj(I-Sm^gtjmblHC~J^`OZqknO)gpRLsH_zi^u$(I_KOTjD-YZL2j zw%mPI1gEBE%>7{~Cd&F+pfq&>ZjVZyi$*}Ytv>o--gbswTiKd8p8CbIPbn$F!sWb& zz`FLGAY$HMP`sQzNx?yTukw=75gEez5tclDgS{=5;)NxunHXJKP=8!%j+p|PX`@kY znzmILm4>rlOy%;e$0?u{nL=UqvEIP9myX}BEtOWbeP`CD(dnl>KxEy5&3D zJQVkUne1&?ZOF%)5~&4j{(5JzMcb&k`ZZm}x)N>bzQ&`TA{7z#{3m}C!nQW+M46^- znVDiFoCPT25WpDaUvm$b7*`=9W{m8v6*zbPtLhZ(AG3#u6DjCewyg-~&azs|gBE!6 zPU;msj1CK`=Mo_SaP`@D$ljt~;xq1cgNv8PG*DJ!Uyf5XYiy$Gia&OUS`BW;?Tk&| z?TjhHQ9)yK46z-^n-2eFYP`u=o$lw@EV$x)5rR?WW)4+bIc-8U&k!e@bsieR7Fr>zi^Tkn@h%A%}=QBQ`^2*e4P$>1RY=G{`tstxd@lO>JHd-A}T zNV+39HI0=5iej!+29t>HE@IulckwgvLzbz>oeWHn!TdafVIO0CxiF>jDkz6uv~fe> z$Uih9v;BDVYt!*~-^`7)2#lK+@urasrg|6c$yJF_-6E3_1ebnHI(1@ z!y5}Tu}C=q#vnmaC5ch37Qm3)!d^#*+x^zQL~^>Tl0#2;xkzSurVV$9JF`|(#YY{@sIV$r{`j}>SMZjWaB z#pd_`zD%knT`Ut*W@{v)0gOXjS`X9Na&WY3LRH z{6S1$lae3Fw)81(ks*LGv*))>0Z*nZ}rA{m~SYeOE%Al5J6}6$>soevnkT~V2SWvFW5Sk zF`>C2>qlhwx5;}VeD9C~Izz2OfROo5u^w56*4ggrX%9cIVA(CBN&~LSAADK4N^2}u zfW8mSX*4I&)tp4aP_@z7DyIUSL%o<^>c_};9^bDn>w?{sc^Nbxd-?hNfFIu^o1FC3 z0f+R^tKH7p7Mx)k4S)5A@VDK%Qt7vnYTo3JZJ3G{W@sXo*CUb8n=A5gq0Uvx6zNS= ztVMRsbr{JvvHKy97nQ<_3L*JJ%PM@y0L>y-)&SAZs*>bK9rLixnDPkm@_ec9#P%&* zD+%Tp;pE|szXSLZh5DmENuahJxi+x9Wdoy~_;XQggbk1L`g&RN%HSj+*XiJTR-5sw zl}i;ouA!(ozn9V%4pUfvzK&ni2_8D1YuIgl;@xAE5M%CE5zSCL@7HzkNhR~T0`qwz z$ZnFtIw!)(Xht2NwxWhFAS-_iJ>XQcbOJhaO~%Y)1$zr9qsFkJGz+UuT_xJU+)mN0 z$T*EcyR#_?@*7g+74W!<1`G)dt<)mKvn};izsv6h^d<$K@ADGV8y(MOrzp+6T=c8; zi;4AL@uW)phJs$07>e0k%n<(40v|{!jDn&Ark90{du0861DCfE?S{FLN*}MTMG@)(VLxk&EVmJWxsq_Q7N+Tf zPT35|Gii2}41;iOzL+*=Ig2x@<|gI=8>}oQ>o*$_NripORA%lYYV~Yt1kRId_BNk7 z@gCy}VLQ7yvT#`NReX=?w5I#KouglVHU&#XID;>}4zoKo1trO?6D zQ0;-14kfsm9#=LNKBB zdKwtW3N8czYpM0>mG)?H1Zp83l1=r}4yg3BE@+)FRKgY3xgJ@5z{7#3lVUU+I5%J^ z#qSDm-bf&j{s}EHh=lrkw3O0Q11iX}@%PB~qq_s4^10dy?QG-rqB=lPQyA4^SN1a}sQ8C5w*cH@r*?u52Z2Ug z{III|WRD?Yx_A0@{f=3LFbL}>Xwc9Hw}2M!!QM$8pCv$Lz)QTze5> zeG~MVXODXeJg+a zeZ(dRpjg?yhS`WzS4MgVDEia zuN(ti4}_wZGy#+BrRs`;@sNU)E$454S$s@UZhIChEk^{`yUi0bLAQf*E%*VAsG$WzWlapbsfBvur z_H1vRcFzH9_25abefs;C_~6^(eCK(@o|(uyr6s!vv;b)r)_TGb{?*K{T`Z>+KEztY2%di*%?4RVMF;tmmuSu#fm_#m;n5Hpa{>B#@RFW#=5)x|W zp&CAw)!AOPPnrY6-sRZsIL~3N8j1tRtM}6yWKzv(3n|sPit#(WYtM?QeflV?RV}WJ zdh^~L7eFE1QfQDnrY))J-g3M`*OyK=AL^M=bDOS&Ea1Ano}$YsWuW+_th>g0;62YG#5AWV`>?5vuCNrdLcY_p~#x*RFfEYQjYQJ z1ftb3p=?zHCZ8zoCb>h-<^-`J&emvcBoMCf0C+E;KxDRzTw=!%z2*%{L(pnJl6Q8VDlUkce;_IKWooxn~gRq_&%X7p8s z9o2f``>eQcnqkq13}lS5(+ZIK=alkYKJixG4wvpVj(TdC2fC^F1C-Rx*rS=A(UiVG zebKdB1#uR<`6p#wMl;*llA_8mxegr|L?Eu3JZ#{rVtb#JP-??*s&h&)J8`*L9F|_ceKfp5_D4N%io;?W%%3#IUCl&0^iaH|*=$@f(@&>sUF0Vt zp=4S)7HIlYFuXeq*>u3B)@fFejaxLxej#M@-yc&6NN)kkizm_uIw7iSvQXEu7r;%= z|4-5{haZ+lB*jC+=G03$>u`;a9cm}Cy*JzkDW3wD7J<1d=7q;yknYi_k{QYlM%C%*%Oak?}KgQXg!XJDLWT#=A`(Xr0Oyr^@-bLu&bQdfc^d#AB z^SwqK9|}(#Si})gDI?P+8V@OZLL)FlgOgd50eKv z;^dx`=7v$kvgT9xrTn!EQFOQkJg8hSh(oK^S zJ3{rIz=hh3Q`?KOzYM$_w2a%hOXOZf)^#7uCv-hNl^dVN;LQGAj9!Nmw*#EZ7e>6h zy2!wiSw6g!3R`;FVhQQn4-;J#rdtln%4~_~><$xT>8{7Z(-``Wa860?wx#tg+9}=kCGQ?-qft@5bdz~&zb^D-a-F*~IYEx+n%Q@pDJ|an z$nF}uDKu#{FyBYm^UGVkIl>ni=a#?beCp+qWRb}Vk7ecJQz_!ML`=u3?+{c2TG6J! zGBV%m&8q8*jwx42TXX5*X9r|_N`=#+vi5W6dH)4m=57VWuK{S1cC2o-6a&AU3UU-7 zDy?){*k*Z6K*R9vF9TL z_UmQyr4}mEysb|b0UF`-kl>-(S?mLszOeDn?|aiqEW#}~a(4W>B-MjSjLzcfTzY*> z&I*$KAv3!okRr14+oEu3UB5=$iKg!j(F=fv`^RM!;n87~IeRq@!97yMOmRkHQDax; z^N2tj{##T3p`%`S zlg&AoCN9K&b5Lj@AzMNgW3VVHd8AY9z!_BswDX}U@gf<2_Ysd1*3HrN^*jq)`nCK6>C#SwrF8ew4xanfudlw*u2)uNypUn z@6l|M`JSaZAVOp1m)^Vr;S;+uZlra2`S~nn2}|`tt$? z%Jp)Y%131pY*28vu*U49^V{cUsGv;^As zYGM%s4DOA|FN<~uu(cY{l!x#xsdbwa|7+`Y{_^x@^txyzF5 znSeV0u9szmP4S46^?NTvL%o(c3}%un$~%&!6H3}O&3gpQ=iahdwup=Ia2vi^WC$fB zh4q)Vh_9vu!{n&wDePU!5OfU-dZ+auV7AEDa>bXe3q%W$o=BpbQB?76lg{0*o&NTw zxwA0|{M4kvubvdp>{`YNT<%;D?wHFDe9f%`UakgbF0#1O^s%~b?vKS_%3=(z#)jmA z%yJj*wJYP5!UXU4wq;-pr zITu%3h^6Xmyyd^j1#Q-9P8v;z=4zyfV01>O%+d?TzYQ}sQ@R+~+Xb)}6*0E|qhl4}(UnEKiY?_vt$^#DB5?{0zX#Zlh zq+Y_a8Y~&@TnpB_#dciky0$WWduclWnAA9qI4@Nvt~RqKg47J@yY-Quq z<`%EbXWg~L zrhhQ|bBu~_QtmNf$fQD&2yGn4*>P7*b}F$jn?|wpIrNF(HY75nUmvv&OidqSq4e|| zbg?l}%DKWrRtrEtZnk}?y)j_PY=$k)RvXR*=9(8*jazZ` z`)Mx5htbhKZ^&r;^EP>-$^+QuBnN()#B(Q0t8p>mz_saDw5PiCZJ`xdknA{*3s_K3 za(Hs0;FcD_)51L#>$;KuVs+Z$l9DaKA@8NN@79fIBe)6FrKhQcT$Igx0W{ue@wNIy z@0v3lqS?W=I~?TGXDrD8qXNGTnnn6X2m^SNBR|QWs8PH{!ql-JMSL&P9c41-?ClZN zm5Ox%8-h;p5Nxi?YA|+1ZKbV=3QUX99AZAQ`Rp4UO`4|D+@rMpb!127g+MUEABvx6)9+L+S$=NX7zgcv zzR~Tq4kTq|bWn0-OS048Eh^COnH`kRP{EW5kc?g0XjG|%@5^x4T(E|2UaM#q!e$j! zsH37BWu|dcM#`K();w#*4gOY9iYUv~QV4|N{v=-I{W@xsHi~#$hsbUdnMT@jxL0>j z#LuZ~x9(6@LP=^)cMv&0iWRYAseT5Dk3vLi0qBx4^|)SrkdNWtiP0MPIFb!og)=fM z@9D)2!;Dc^<1SPCv2mAGB>@1MM*a6y<$xXBgW6UW-QsrOb+(^oIX$Z3*vZ|_d*1fB zN}MxYi-laRY~Amh#XL==!WNG)ck+$}P|{oP&|!B59X4r7Xlxc`40=3xz$5&p^z}+I ze(l-^J59%^ze>D++b>wjH*U4)JASt9zI*n3m73a&nBHva=jrKngEzW6SRip6E{kv_ zx*KiGyCN81K~9xp2f?eC4;8(ux;|!` z_N(VKLBxVWZ@FfMlK@U?m6mN-I+hQdi6opt04;a&t@f_kXsReRn1T^d#D7xFuW+O+s`vPo&Xv7M(3>0&5<@qb`^jALQYO4`7 z9wX%ZVa--&NYYsU(4x+<3>^A$TF@QKwyuX9YT=EF41xNhE?0)i2@0fb1sXlZ-(r)| z?(r`6I}DEK{f5rZHEpapuJlTIW5E_}g7#xcUdPRYdQu%#09br!Ut4mA{jykD__N{I%Yu6N*oM($&Yi09` zu1Y8LB(AQs%BM*HAW*t>*0zBuw-mmo#@Q}y_)-VKN0(Ag#9wXLG#|7k zD*v;`&;M0ZbGvEVNbCB;tf97xQvzWm=3V>&3+p=8{GoBqphWH5N*vkj!3(gfP=R%| z^O5A?8q#o3F;uod)$Do=+`n^s6ZZK{k+8_Qd3>%j$ItL9b#EUtEep~hHZ^+ z(4Six=VdsjVt;&Q;E3TKtO1a>E^K*+?&jbv;2&J6u7+<^{UE#X^x&M0)^kT2#t!=f z!2eCWrowz7zfc-1Yl3qc8=)gq_vkLR&3?8KH!Yj8q5B-k^?8g^BoI*qi*m4VsqySN zlj7qMfN#9`N@(O-_#So)c@vTmIdgop)#l^_nk<%l_sgkVQXWK65FWsft8p(mj(c-+ z0kkjTMZd+UA--#|NgjDKvlG9)-s8%cXD(7x2GU*eN#>bI)pr(;@U$s0I}3Axc)r0- zbXL0cCs@)^Fv|^A_J$31Qs2QB7Rcg6K%QlKMpc1F=3(vp!P(>*Qurg6p!pa&<*|}l zj?@L@^c?4*$#SA4lL7uz_R_YoRH8VYXou0Ozx|77CX;&2Ser@KjxgqT_-_mp+! zt)W>rIF%YUk|XwUiO;XHr-EbU^C)#z17aW86Bc6@gzJ~tu`9V7dMdugs`00Pe}aXv z=u1nOt|d6m_+7DH9Ev3Ckoof#izMt7YZ2Z<;@iS!;`$zR!~=NjySV`*DP+O7hr1Cl z7alaeBdL-uiM&dN^Cub~@;lJ0=Q($FjD=w|6vF{~rJ4KI5d zb6qzqV4Dq*{jk28xSw#IrM;7;+)b8a-tlri zx23)ayEs{WPXIzyTgp5XIeMRLml7qoV?}{@Lp2s6XBa`a+65-!Ph4mc9&;Tu%lAQ% zGWyl;m)+Gyd%z&H=2L|~%N6Ht^6IWLu zdoB2tFYC&P6GtbnoUv^)F4>0G;UM1kYOjb2$rvvodK zOx|_l3pe5$0Bgr%98MeTGBk!sQd+;fG_OG3lyXx7rvtrAq%=$#2wu1$t3n1{_294 z?y@dRVH9%-?~2e)L{Er4&VG51O!}zlnzbAMocP` zEI<(@r?>EH`t)QZa;L|KZSEe9yWM_>ayxf6I2b?mm6T8I&rd!h)1@8F{7lUiV^Y(3 z(V}qoKL~UKB!@w^XObmib$T_V^|#Mv6%@0Yzf~N^(s`(0&-1nP`Q^DY%|BCjcAB>~Cs?eS zi#(IiKJ6%yYP5aWx&{%#Zg%qdY!DbKLaFXQm3c+EteZ8h?H&7P#m7}3asp{Y?0`i5 z))I9s--hf+$Ae^yagLlxy=L;bw1v+N@35r$iN@e+l7z-jY`4iX+3m?HkauyhJ{~p( z?HPE{lmhWEy5r+8&!dMfc>>ksx9qMT8s$Qa2po*T*0|Q9!8D*g?b@O^K$U0QE1iPv zD68_KbbSj2;dri6?G{DfBz@UU-G#3ZDg> zDGW2Zc=uLcssglxwMpd^=Tbw&yme zBp9+;)uLJf4Y8%_@gst%2FM>`g49f;wup1!GP(b?MRUq|JK3ZksSrZ-*4-|iI3ed~QW^Q-bXp$TUEwCcm+rX+rhIP524e2Cz@1m^eDl5#w~0PD78 zrfrFC=S9z<_q*T;{qI#vEdr7s1H%J0l))SW(()<3Sw|mvGzI4@3Ux>$NZ#K&wlp~8 zqLGV8-{S45fA{)84Ymn{R6(*4x4^z=|B1Ew`JtWz;~3i&Og2SCrkebi(d}(|&%p-S z9GhV%1H)RR!M8or1z3Dxagu%cl9j_l5;j!c)UPLAK4xIM_D2a_>^3xhnww1g{ChJi z{nli2HT&cA`IJryNd#g$@LQ8=V*KPKRaD4orBhFhj^A3bOHQBqOMuNu3&}<5OHdm5 zOK9T}??-NwqVO;+9l}XHQuW@b+zGGkXp$u%Pr~X9Rd;xhKConUQ9cBIDYmo!hYZT< z0=2{yf01s*$z0SXR53G~EA4!CVCx}$>zp_KXZi|J-)}7Tlxdd1;j~n2+RD=t^Ve(Y z={m^mA+qYpX5C9BEjUQq2!((3^_HVHBzcUn#4_H)JD28X<`Q1(iUI8k~= z(x&JNN#GK~Yk=T7SAs z7whIq`Q=;VCzYZC1I}NKv4XBS4N>V=%Zp|FE&{FwufURN(ri+Rm!#ebvEwF2O9x1Q zi8lsMCp}S4Cz9XrDo?woZ_7P=#zPJq^~e>QS$ z2C8;oa`;#LP}Jc$c8d@kr;XfnZm=i5p$2F>kx^i(+RH6 z7W`Yzj4lM|iG&C+$ray<4sA3%>E~LYx`4yR`&#{Ru@|+d@m_tW7iga8W!a=srxVRW z1Ek66biAIwd1!wIjcRQ*Kt1V_G@`D?#vi?C41qc8fw$w08e)@}tc!+xzK8r$iV%ONtu z)_%rDqw|hs{^;SUQxv?qP@^F6;ADtU{IPa3ZZj!C{V?l|_{p98R;^{LHLSXym1LY} zbO&{?Zmnx8JwC<_%;4`y)~`hT+a5>PDWIdg+rdpaLx;+6yAT0srb2GsQ}=rJ&3%@p z4$2yUt}#Dne->@4cymoKX^m2R&*thmOET|GT>Mb(zPa2Dbt7eC_<9w?Vb>|V@Epyx zIVwFn>O-sO`7{B?&*9RX#0F(V&xRqU14kX98T0vmEUQ$$jNv0x6qe~=_P3Nv6(|y4 zOun^{Is&t7AseX`SDQ{EerRFa#9KFF$>gB4nY&<6q=Dhlink0u^9vByk;N`h5?MX` z4i}cO3c^pR{!;x~kypvGO9RjGjV`@q0R!DwZwDD7wuV)hDaj~7qaRi}ZfD5v0Z(0G zl<8auhnc5ch9rjb;@3_5cg`PgcEGLsMJzgv4qR!v+|mOC>YLzrecX`kAee$q2+ zL5-jdQ=bX6{V)`0nJoGt-5(d3PewzBZST{oESg|GbBFHtaWb7m3V#zwRx&_{{j)=e z9HT4Du9HOkjk18`K%D&BitZ=cI-4W6A$n5Gv`3-S3mG0NJ}9t|1!!nE5S?E(NiIL8 zf>?$aA_(^@JSPRK7rNjpY!L!TA zi5^xVZEh=;RiyhbWuK;o6y{Ici2I_~mA`HA!z^DKdMYr4nuXRJ-qFsE`ayvwMbo09 z2^YKQE-ae%BXWo^02Yk17}0wyA5CbgUR3Fg8(jnmHvOq=>B|nX=dB0$8g!5Q!(8Hf zK5$WJJv>zMG(qIq8l^)6TfKOtEY}+ZyKqXP?`EIB9V8OZ9w_qgane#kv%9K8i35Z6 zCvX?<#{L#Q`FNG=^xv8rv!+oa`Zg|KUcm-zK_xulI>D05111Yc+3BHcq2$+@eoQk; zb|o4zqo+e5@fEh-1xGCD;(wjxq!Z2ezuN>@SkL*+zIIzM&llrRZrC0EN@6@MtL1S$ zHpkV!{ywv^iT5YVY>M;N&PKrTo4076MS|wMBxp$2{N3MB~Hu6(}E567~o}(&1rI zC;MIHBF5JoI?Q-wTsh+&b8XYn4%!V@$`PCI3;(qYQ2?~0c6b&Yc!-7ITRe31lI>gZ z9_X`#%sdv!yczk&dmvut^_EdPH?pv$%13uTFHz>akzN^TbGG`%2kXF=t|tV|!EDHB)hef@@mM{W+@%s1I7#$+u&y+*J;qlx?f2f7=eb- z`gqDRBRg@E?+!_&iuiwhbRXo}pECL$Vj*R^IM!SY431>x61`mJZr&35;$XcgRA^|8 zAc&xm)&e4fwlm}IMZ!Me9Q5zW)U$-LB%86jsetF~)vV6>VR?rge)7_)^B?+kX)I;W z?F00&`&4YcrIUf(`18aaPN`^|61UzOsNJT1>oIbEWrC=wUAe2Ema7&yCM{$c6L+0x?9wBBIsp9Q7nE_IwDVeQC*&DI_jwy3#9@ zDPp5MYzBLigfqFU9*^*)O@~MJyVk?}!>D2vL2Kc-T4YWLTP9T;$fo@*qT;lr;Nri9 zl}6NC4|WZDihS|Q*qx}RIOM>651C4U|F;lYrVOJc?Cit) zms;uh5n_!scap~ANxS|9_sAvFJVIy^DQw|ZMxp}+eg#5h75ETNiOJG<6Vr?Oi$f6; zKbS+zid~2Z)0qGAv@#cE6)7<{7e)J=4Nvtj6Q+qLvIuP~k;{HYrK^$%lZ#1KH5N4! zlcot307s9LH5)PG)QkhGqy4EF_ni|jG$LHxCe=&IMBH(tlYNlX$bAAeg?6?V*)rOA zNg>7qFh=c>B{f2{bCTdr=Co~GYJ{uXFc-#Jov8ndb~Ry?ZM+dnJJU1K@Ir;snaoI* zMuEZd7>x1jkNj|KrAB@VliWI92^RBogQU}m35JdV5$WiUZwV|Bgk5A}cap5j>4WXU zcaa^$>JT-8?8RJ&K>k6zwbntY}nURddbE%tgDwgk|%_D-DY^&)3rBo^^oMnjbZ8z zfJJ+DoK5X`kHP(fnud~*hFxpcSUR`#fQmn>J0S#+lfNaAl_t0e5sZGMKv9G%Zc&c9 zc_1?-LCq;AZ`}?HSs(tMz&ZcrA)&zOOW2yB#-Ua+Qn0$?_U-YeFPH0wPZk2KRKU^e z`~FuZ;zRYf$dUn2H{cz`&II;Idpi@r0^YlOn>~15y}W;VemH+2@$I|SED&&ujMQeF zENh?=DarOoQ`-8Q8QHcp$GKSP?@m(x$1Dk58|DSEXnqG(o}=DL_IMRNFocQ z7tDeReeW9yUU=~hx=6~ex&E5_C^xzl|4Uj7%mj*9jjGJ@WIWq!E;&1DGNBp!Wtqyw zzd@v+-c1I0g}FI{Eg8V#8gV-M=W1dYhR7WBP+A<`^d3G&N)o2P_@qQ+gMfmO! z9t-fL$&o@8jYbqByRC*eO$hFHM!`7KeoyOaF$ran#G_-meiRXQbPAV{sSLxf_&y*1 zs3y>hN(0~YLq-N!&PIUh=Yal1($l}Z&_rlC*;U^LH9s@PYNa3ut+>tt1wjW6O0PXy ze?F=`fPpgP&l)zw_X>`#)Pd`UwbU<>-rJL{{Q-RPKJz!bg{9TaF<&4^!fN#sSL_Vw zH$C9m=9;-foZ|j5n3*w*T=?kLk?2bfE-fULG*Q&Ff^fK&IZNFSMutZ4}^ zX=+f$GSm1sRldzVjn!P(&0&ZpnXJ=qnV;VR^Iye$9UsL_jl3A>T4omix)urp-zf{-e^W)P9-%p^Hy0FD#l|)?m=2)u{w+0#$ccCV)tnhdEF~9;8g-DW zj)A*=3f+-HtaSof>KK>mp0)=oB}6q@IxTFfdm)nFdIHMnH{dbJ9CJ$AL$2s zvL@09pib-qu7a?W{GF0qmI1l#U_`wz+FU*xzRBGH|nT9@GpkgYV%5t%3=1#$Q z0$i zyTtr|K+_B@Bt!9j^2lz1qV{}icV~iQ-HuvED}H=jg;N$L3>pclQoTAvD_HtM( zz*|hLs4fU4YCMS56b`ccFc^3pq9fV?rvMZsMBAV2Wm2bWj*5%SS5!DDE2&_V*!*Y0 zX4seRN@ZMl&OgWl8@i6HlN*tqdoT1yXPq zppyv0X~Jrof1sS#gV)|ux{D(T4^w~FM6nlp5Yn`wHIDSS1QT!Z zvGMPEqR!X+jdBrpIdUrl+LDx-M8nRb>ncv;R4*HWSJacKb}gbMr+yiSEA)9N_f=T6 z8;_x`j)m9wPK(u$2kWFA;Lm_j28dkH=4Jj)lgkhtOnY7vfB-M5HD?ZLNjl^NnM%GQ z9e-pVk&HcFbo{qzjZwSoUb#m~(ph(HwOYY7S-|!sdTT7=9^ewuCdwSa+7Fr6<4s{M zp{JQSeu+jEOUn5kOeZH+j4Z{U$4TOvZoDO6M|2_T-yjSLy4mmD{e1fac!LC^=wB3= z+7=R;R48B`RTIW$R|^-WD)1~C*K8)%MxFa(?06Ald^oq%HqUQy&ii)zk!vu?v$vox zcnFWkCDIS0h-0lE@8FJs9(xm;?KR9n9s!#rqj+5b4O`$aP#O zb-6_&vtf`tS;hZHzBG-~C8TCJs~H6oGV-bZ^Yx0Vhu9sG_8osuuF* z$5#rQzAnqdLeJ>P!W|S(6?KZJdo3lnVi{Ferg@LVbG8Xn)7fYYu6*M4+~aivtJQqm z{kElH^bg0-31Mk5RNH*)aQhNAHr2O>(3*ljmLf+B`wwf(P}&n@mnO(o)Ja+B(uMZb z5@-h^Tf?Ew(xyshKrpIv>^B*m{87pQ39F{SpwQ$3y_XbZ_GD|w!z5!xDDn6Ulo{@Y zB39GngO0!D$hyUj7}LqRynouD#r*^l3Zw^31bXz!eC=($A6Fdoe+;sdYRFOcIwD=+E3 zhz_;?Hg^?=J`Hp~R0^9KfwF>WvJ)goO6qo$z}YSX&#zI5=83Vpu8|pR)y;4q6sK#j zE;qMX`%3eis*lvnfajy?m!>lNd2K zAXf;>SH#%A2G^W}1Ap;&#H(uM=^+ztMEQJZaN1%ZPccKZk6nL$A5Z%Dp7 z!)3p7b&4A!rbOex7XcVt(&mw~Ir&(WjgozE*LdvJUSRDDiEf)cPpF@OoZc%X%>XG1 za67IF>Z(H|U?W;Nvudk69$FD8>`)(DHoVQA>jO_Yw*HZG6@`_-uatyJWhxDDRiJ5A z{8&Vc*t$TrolC}}8TI=;bgXUeunMJZG}USi&MHwnbO#;8g?31dDxzwpPuZPwr;WJy zZH`7}r@w8qfZ@ZK#So;e=%{quKsUJ-=u50_B%<>eI$l^PWx7S=8;8!hrb!V(2Rs^w z9wMi+?&E3HTT*GR@anmbuj>{ZF}7fW3iULTQR853mTL2$3pOm1E1*ds57!ZE)>6=E zJ{(iDbzB#o3YFHI9hYm#S9U&9TEHGI-!tPl6JafVo*HRe{xJQ~<*lHXeLK4aAg`#e zFSY7x;GP~1eTk6rvDyUU1P}>kBtdnm$%-T<>%tPNX?P6q?)@Q{gPTm;#&*kN9Fmtm zO&vOO^i0#HT7-NzCxeWk`lHJA9FPj=veOUo%RY+@n6ymQjgwWC3=Je6nkAGTq6U=6 zRRd@~4;~NJAI$xbj0j?iOE~s{^VP*DZ%QxL&Rh;JJA#jT;C{1U;KNOGHe&4B`=|Xs zB9pJP^PQ(FA1v?bI)XAz|7m{L^sdv>6USlL+Ib#qU4ERXY5vJp+xGcuruR#)Nrs&1 z;Dnpgt-}{%*4&F2vx0~gYdg1eHxm>h0WWXtt!uZ2uf@M?Z<7T_4tIqBmw7e^KN~+s z$mE|R6{n3%R=W(njO}!TyF4x%xf*h{lm%UF_>6`lYo7KWvLo}R3;N4PMt2S}Umv`d ze7Zi}7E>AWlO=Y`Ibtc3tuGB}teBG~PF&r%Y-*F}P0N!HC#K#mOYaXamSVhHd&Oz& z^RwHH#y>yTCel|+GG?!{oV=2q+gXx8sVQNPBPai2F3<_GKj-5)qM?2WY*Nl#G_ z!*U8kgCEUhfpdi0<9+9S#g^)H+bPd2L%;U>YjL3Ct^U|cHJl3w*sFqH3+AmPqkH@Z zy~&trKD5sj(jOYKrxtssnFXqk&Rg6LfG-YjtJNpY;UlGF>I~y~a9+b^W{N zv9}yVd=&POu5lAtMf$@zyyj`!QtjFMd}W-T61v7#q&k|=yw3Qstt3dZ@X+q^DRS-UKTE& z4>9ZI4TI{mg>^sJEa$T>HXIw=kU&jOI)e>(OZ}{Pj2_<>00aJ^`EE^nqLD%X-BoFe zlE-5BAR2{?dD1Lkes!?3x@9L&DnD|(tG<8~s4(YtGPtolQNXkm%mIgYVhJMcE54<% zP!kb2tqxSLqpgj@;^XlHAAf3c721ak{6sW)6IUg={>=*6ug^m8zBzgT_3BynA)hI0 z^DGBQd*CwgZ-XJPPh-=@tpUZf{uIoDJEE}O3i*9Qw3v}&)~iCU7gpjUX^`7$4-PRj z=1#(Mc0AqexFX}L*JJbGnf!aQ>=T6J>1y(XU0{;96jvv^&H?x1!GqI6Oiy026?u9C z&+4-R&qmj``&mFgYMOxqmZydyrzF%*Z2pIb15D5qpA4hVr@~&LZKNj?#zyk&*+#z| zMuS*WQXlYou=%;3L!{vIxFyLK_sbK@tf198E*WAcm~=YC z_y>Sc&iC^P;?tb8UKd{P(;LJZE^532Hl%`O+r)Jsw5u)soLx!#?#+Pv?R_lM`EEwq z2<%!a)NGV{M^zSuqqxc|xu#=tqX(laV0hS0hR|%4ps8}HnryPSu@u2@&L(VkIEfgo zi`VHP49@2ZXthTw%iWvg-mU3A znmnTuw+fR9mr#zf5s`|XLpf2y2}}Vm4zmml!yF|Ev#aQJF3jzO6X~-<4}aGIXK=ol zFMK(%l#;=hn*Gzrt>~~jvLIw8tY45GEO=S{a1Mw>0|^y(H>dXfy3Nitw&@W!WH)bn zcgF19+1^(4V>WlpH+;mXGFoe|m2E$KG9$a?_yK*1*fPgA4zEi|E&OIjF}rM@x0j$% zVLjS&NnB2yp`3n+Bcj1Py<=)%3!&t1aS5OcAGW#9;uz$!|0ibu&&^*gBCn9{Wsdy_ z#f(_3w#9j4G{w?5NE z#Pm2H+KUat3qcj#%eK(Ht`w%@6kL*CyR+l^?CJGQ0ocrGb?@)5{>duiJs!t~zy`fH zPJ2#)!IAp5OFm;#OhQzWcaN6)MTkv18z~!;>zHjGJ|0tU7st7bY1AT0zDIUPx(edN zB|4#-eSd}F)HmaX7|JI=pX&^5;8^l-L?|~bbiy=mo+rnM-$M-X_WsP2b$OWmu(|%4 zKa0orX-|aG?Dd@Q9W-Q@LE@diL>t&**H(}=oRG__r&nrz7`HX~lt;|z@_Bgd7})O` zz_*YLxWfBFV6nR4$6C{@k%?-2QYoL+dcHzJD?t)kqA++kYE|@R|@EkBm6dYUs@wd)M3DYp!tX zSpnYuj=AXt&)aozkuZtg5zsE+>WOWSqiQx!w_K@POg&Q^SH3KWz68u z{IUk82Zq3QU(TPcA1%Ur+C$qY)a>ZT)Uuc$d9eW;kxhp0?Z}6dL{hfs#67$s70Wkx zsr6g_QXc5V_5`VGEz3Hg)|kX9pozaAVl;y&Y?0)TgInREulxrHD}zQxRNUttubr>l zJ3y+&oBoyQO(>()S0EpHDU>>qtOc2?RO=wbO`%7rvQ1W85S?ioG=uK(Yp#KYg0+wd zlz*c;PHib}y#>H^9Vif|qik`{w*xBk>}WD#(!3`9OKHhZj zZdePI&pLB;-ZZbZ%kf+Z+;q5v)^drlh054FuZ#wGnPg2eKV8K=pxUV?e--CQK(( zRb&ll(@ki#%n#^75~)hp!OZR0JC!;%QinLfXK&ZSJ{M}VEEFaXF<6uc@xnT_9V-Ki z(}}ah^xPaSU;B5{sjXlsT->I@bU(KJr9p8ATNXWMg_6#Cp7Jb3rC9hbzH9rhh|~TC z;)S|Lqq^|R0m}`Pe|BnC)H<=M1*gsG>*#B4XwS!OY@ek*m=mqFTVHTGmxsmwFPPra zX@fL@3dO?2&c@EhnG)lNg!^BmrQQ!|?VFO22onnzGbZHbEv45jGAE zCQ)V%PB9TaLZ1KAMCZQ@WQ5F&OsxMIzX;%^Xjtp0p$AX5FY`U&>usOIM`x|b8Jcm* zS&zu^y!{LdahKTRY&POfxL9$B-6;|+B?M-+$ zX_}HQ@ZMNr-?wN8nO8AUUD-bTjF!4Pw-ilI&O?)e6C%F^7di*|D#n@LTm--oJ164>NuLp$nTll(2rxgM^^`#RjnNokzFAn6 zi(vDuD&n4z)1N)aHT|B_T)ZRFHM|iFSGXg5NzxNHQ$R~VT2lTSaZhNmGKCW+fEPt$ z$Q#OWZDrn`q#NJz7%YCwq7_6&r7_Cv{+w-6|c=nhVsG4EUVAlC# zP%ed9JNPS*+&lmHHIMT46SyAM!Av1_N5w_dKx>k10$h5tSbRL9&HifEUFcLlcqo8b z3c|zYLZkL}xa-bU057yP)h2|Uo=JIkX9|$(6%14{Y8*-mHTZ+ybhCgEi_TYs3=fwd z!}n)&m46o%Q@1N(%rR>&^UOLugXM0{&|U{B_!p23P_5^T52mjV)%=1j;3`3=_tW&= zDNh6Zz^Vms)E!+lp#GVYA*OI@@7ag_f1x(0z~6Q-UJ||c-%*ZC42g-IMp{Fv zk|AVqPP*Ufy%xIzgmOXc)?;fuE;Lonnrq6ibmq^!yI>(mxP11h!&RWTyS07;-w@#d zPTC#&uyqh;-ST)FjoZI|_<=~c820MDOgY8sglxG%L94`7MQC+ofZgKkKL?Xgs^9i6 zJLe)M3PP~@@#-_IKs^SK&%h)4>)Q9mi`$*hPheQkn1hA%q1gY|r82OmlCl1B_OO|d zI=MLaAWJd#w5cFI$(>!5$3VSIA(%cg{BHxsZ(@B|rTz}~__daW6HupU`gL*?bPfck z#q;`*6aHL`Nc3RIb%_upCMNQjv>s1R?bax?pdanE-9@hk8W69tyBvgz(_?hGdhy%> z{KPl{Jp{C|W#vH5rD~Kb?aLo4&)6k}CSJDbQjcUPP4fTzQNMmO0LGM3ePGSa)YURBba=m78w= z+Mz{hy}${FPiegvXv{*;d|m2=(`%AhsIeL(g~5m>sCwA;`yE_toRCyaCk3Ok&*ux(QR1&=!3CNP=*5bw*gBEQ=DsLgJoP%K# zK(PX-GqD~Ge$$KEV x49ghS#Mao!+0n$n=0B31p(U)7Glqeqv%8~-DJ&Bs6FVm>6D%2-sJs~L{{T$dT4n$M delta 31840 zcmX6@Wl-K++r+tV+^x8~ySo)F4#g?%#VxpNad(FT#oeX2LveR^ihX^*=f_TFHnS(! z$;p*DyU9_ya7>zTZ6N}rSbY%!B{XD2;%{UUn7XLSh}4-5FlPM+G8HD&c3UDf87(x? z&yIRkGHX~mZe#!4dH4MnqRcI_8Ua--5oVM~>o+Twplrg{>OS%M0S(iF0Zw%^0ntP9q(Z`h>6-^l zKtHkA1fL2`TiXk6T;Iw!NQWO&d7szTlSZ;p`4eHU*tOo3VQ#Xz0I>{lLaM2E_?hP6 zoaRDzQ2r-K%~YvG5G_pNnEFDqQzA$g4YD|OybweMQ`a@$o%)Z#Yz7s9Jn#W2_naX^hn)X_$Qxk{k8iaO|b}~!e#v01wRF@Ih;7825o!fBH=it4sjR&oA6|`X`?|&>8J$MrqvMd#w6-*6{mA3Z(Y^o|N7#EWJ z|JN&l6?~1#puNj?tK+@;GoB{DHbei^B3Le0g&xu~A^JlW+VuTVCdWPN;&QvY1o!K4 zDw#bPv$zo+VXf$3p-ca75jD>};y+)w!L#u}x9 z8KA9x)&6(M{8X?57W0(c@^kK50J#|D4+B^KPuLgesF|Xo6_g0T0iz4o`?J=DCTP*m zX6yr+NYmrxKc#9F_zN0T`fzG-2bdP-z5jE6^S?&bM22Kcr5y#+KwISf`Tx#M{Wc25 zf#Uf8#-lwK()+F_HGBDv?UhtHZG3@CThRq0i<9#C7g(k7Oqh12j*0QJbP70iVib%E z2nqQTCCogBN9W`S`gz`LW134h)kT)ijMXR9#*kYVRa;i26sFeC#OSvG(O!A7@eic)J-(@aLg(IoWt}Zp+#<;t+mcJwIUL=6!zM|2;*s z92jj$9LhbvJabx^Nb;d5&GB?GhHljYa24|W+{bQEM^+`w!7aq4nNpUGXhWlr|HMGW z;FMaCFz=_!RsQj$-)mLJ;77>f{V*E0oW)H{^0SNvej#RmZTGI9 zPz60n5^J%xjR)K8LS#aaFP<4w?Cgn6SmL%PE!MH7tvYdp-P zqS2Y{eaBtbUmvV%lpOi8d*mCm6X}cHg}%U}kjZxH3*Y@GqHNl>18xT*$0o1lFzPu5 zld%VnrxNB*m|CgnW0RrK>+tPHTg0Kv;hjow&oSBc-IFH_eE(bmAV8$F21&jRBUbx? zO6m1Pn3L0vS|>q`WQ)hWQ<0x!8rIPJcJ#rLYiJmA(wlQ=KwXz9cX8-Rc+%NxgqUF9 zv-NuDRkTeB%jczK>qC>c7Bx(jw@XQUglFS%+JAam|KTk(m^0-dDBpt{?F>ur|5B#i zAHj+=5AmVHvjP$ZFk;Z=(-O>)O(Qez44^uQvq8{%Xra?cA@(qqB#~Ce9P>7xaB7v_ zEMx~D1Qe!u*9u^yi*7*S&O?2w_AVHkgKdbov&^&KUev1=j?aj^~P z>M!fKR`_C6LYN9X!79IHFhfe znpN0(!%^cOogQnq9pk_6+#!8FgA|C^aS8%f&Al%{tc^_HT0FO;7~r^-ZE^Hk*KhGx zj7|95^#;!gRaj*kt>nFn=A2kVeO-kE8?Uc0=UlAG=yAh!r=?j-4K*MHk}e(_cLX#F5zTu#K}3Z zk8a*`^{~xr$siDT92Ga$_<<2~Cv2)EKl51@A+koJsesCR%JL6StYwy4yzH^9AD6I0 z(0W%+^Y8vyhu2EKp+ICfnOCx^Zvy&zX!%5RZ9(9u4AmO%=^4keh+oZQDW$%r^Z8LK z*d_t278}OFaWlBI&DohCU1BOq z*x?tZK0&=RA-=DUsUovrY@nwJHX&G{@`43I6j$^oazVALy?NRy>d~BDwM9^Dg^UFA zxL@31O%U;vuTl#I2wJ9cPBo4KNg$Z@_x_3d?XMWyy=*TN!OV@jRvwy2o}sPxkV4k0 zsT%hyfd@O$P!x!6$U&vw5d4-iBh}~{ZAI@7{@s8667%YW@I%#@uL4Vu9jIPdVsivA z%G%p9&`KJy8|UeU-L%0T-Do=@5nICVfj+gmDE3bq^~hMnq4Mudte1|4Ok-h_)3e53 z+2Cv;8x1*kSsMrsJM@RNwdZU=*lqgi(Z6ogbvO*H(P5&ZUf9nksqRUzin$fmm zwKP+6F-zG|^=qD7Sp^i^`66BN`WgI66&o*Gu-jwxP^=|pESp2=Q26YmoK|kgjycCG z2=CHk9gW+0xf)tCShf|`8pbkp`4@W;v!TMu97AK4iJOxl#N^K&#P0_rD8-;E;iJP? z(U{>qc^@SyoJEF*BsPTL!UiQ+Oa0lBCM7r5kqNxg_v|mw(E;>PKDD4v>N{jglCeTP z+D3_e#BnuLqWkU2)AXc2^7u*;;75#6;(AHQiGP%*2SWK*LdNjI!50l+!b~1WPJ_z8 z1o;}Qlwwhi(nlf^@?P)CQsPGR3bpPeVDzeO$H}xIR_{YaJpS||1C(UBOXs_GDRCGT zv^S3^EPP1)5a5K+bGnCB{`#yl4nkY`?$F5&k<Bj|Id|)tN+O({qEjqTNNqd?Bl)728XqI4^R+4H;0IP3#3zOGW z{Ev8a?Jw+oAqPOsvtjN7tElCB#a-uE~ zCDFVX8Wsc7;611h&t3MHMfd0ktmXRwNeoq#@CY-uzg>fpNmgZ)>I-ZMFx4jHVBP1} znEWEB-=S)BwnUf-vS13&e}~x3YI+lLQF`VURVf9^fYCHrD9wL@39%SXX~@VCb+&|H z4{S_8j)M`3B>`ns{cK1QL%7|99K%lWS(FVu;=-aP@FF~7K(n6>y^V$X3)1{2%-{9= zg48=nKf*u}vb_6g3vWa2mXxq(@)&}Qxipu*qfYNRse3Lsj+)-s+Q00c%(p8A2RcU; zobJTnYUyRG$q$nuvv}sHRn(aG05?w^(?YjEWmY1gXBz@nJaIQvRbd}v_(xyBdfM)Y!jvqT z_%3uP&^WMaVWPMc>7HM8fA;Z~IpN<<*R%Oj@cjyWPp$0|{DpcueBV``@vp<-41*rf zv5GwDbhy{p!$p+GjWt)>_f3YgHO8Pu;3p4N8)IDA21i8pCLo z_0HVnhq#9b~@zqpfdu;j;>}F20zWaP#+cKv6IxbnQctdHeH+4b+%iC)M!zIukk zmLIcP%~F!ttlGC+NToo0PK*Iib5u*TE@IIdBOgqp@)j;$9iOPrUY|I#=1p+ncS8)0 zN0W3Cs;8nZy*Cy4FTH!HO30OqJG^wsx0l@-=i@FDsLx{?=1RHlJ5})9=CT}|uY6)L zYDe?@s<>*hk<)mps2>i00JSKmWHLc`G@E&UzE9odl5(dr6w8qeb&v_Dx2Dp}m8fTB z^3KVivtjL{)L>D#+#8^9oH2!KSXTpSPm9qbdD|g<{lm>-+}UbwPjQQ{x4S_3dsf$;gb(Qt|azXYw^OVEldBNLY>QKSo z4*UvE%*mLSRH&Cyb)!1U;7j4JK8bes3xvKcMZFhJO_b*A`5icTBvtK;5tv5@KGU!0 z-YV}P@A%gQd*NZSzb?t1FomSm&86Mn(_V-=SGoOYcxrgXZgc=gj|#BT=&#Oli*-4o zP!Af0AuRy&EOe=@XV(qWS5Jw07<$@})t~0h+G(Tjx0+`k=b|?-AH<}9(AkU$cSwr7 zxMGhTQDGKs`^m-v`WZ;N>n8vGRQmp^^fc6|c>te$?5TR4?-*$6v74u6SLeYMb25yX zyW$lhcV-{$xCQ`!ClZCf4j=kjg(lU*aqzNAf0M#Hn41G1B^YMUUgKVw4NrC7GG0CV z@6%n1P6xb>m6GfxLwouB5y4tdh)ho{urcf7QFbSoaIz}Ub>8^-nW`wJnWLp9_h;!6 zE*l9`g}1$anA`4_8FdZrZLUL5B-RDY6#}tE->~!}?FR50N5rT)T|>K0ujc+SZ=MbA z^F|c8%0*&t^yQ3b)??V4T9n^h}%h*!8q(+cZZL-9Jb)QFkYVw>@m4-eWDRp z;T2Sm9|EYU8+Ir|prFQ6MW>2CTuz-CwvD;IIL5DQn|mHWwwo-1-((HlDU8WNfxm6A()V%QTTt!cRq;7E z{IdnP>z7_y3TXQ3IIiyK@fhnf6mbqLxIe=Oe6W>oZi@nm1%plffC!MF-~-iPhn@hPY2N2X)h*4bLRP z&ifmW$7Qc{E$=4cp&@W(-G-^5Ycf-94cr5{LO+3@kG@j*-Q&4%73`Jk1#sRaGINnQ zOZ9xV=9{lLbx|mD*(JCk~~sBhY>W3Y8u&x1Om+tl9ZfAfoEo>8?)`0f&9$x7-S+hUSubueA4#BB323Pbi+&x+9d`2?Wx=m8Rax+-~N1v$a)6bi!|f8ikHEyVc zK+}NTz0C9UM-VmBcRxRwMCe(zZh?wFuY_QPJE?|XEO8xZ3^!U(dq4xY{IR^|L(e;K z5_B^ibmX6znOpZ)1Gdx^2vz9Udf-rvoHy2jEl5^0oL|qmv}bSKVxGg7Hm2=GuIzpu zKp%_CBZpQWEr0W9v*e>=Mx)Sp_;F`ae$(6;J($;$y}of-Zfa`$ zG_Uj4-+SQlw!$$`vewWF-bpIe;~3(@*m*OzOwKdd)(%8{Z9uzhzq+2(61-?RwioE6 z-}ksANQ(R5h_@g&QsH@6LiLO@6muob)pX08F+f&bFOJdHbHed+$$~{aUJ+Wpxi}C~ zAkt%u%>4yf>3;g}vxC>MN!U-8*B;dUDLfBe#H=0y^TBN?f$uM{f~aopU^|tXXPh};h_S8Q?xqQ>cD)_!*G|Dj zim>tI7Dvfw)m+eHjYA{A#zn5S(UpGJp+>k6uBKext$1wVzv}pFYhZqFVxrcTKWD{# zaeSjb>O?=#k->aAuxW!EQ0Dh#qW89@)NcK~P4LcdTs-QclZ2!E)VpG6cQbeFuTzK7 zaJZ=-l_LW$Qra$AP_r$&f;j4L7Djb0-^DJwY!J#!Ciz4vI<@aY0+dkt=+kPLV37-e z*C(pSQ}im**JFnIUre2~{V%@f_+NaVy0#7G1O8+fV_I?&tjAo$ZB3sP6fE>7D(B>` zdH2{Y#7lqI7XmbXhgw!J%*oE;X$Xnb7|c%@HjinvA1_*zt}WKA&PAa8dN;YYZp~2U zSpI+~~%v9HcKSpM)!OvIT|my`{7=Xcs-igfDRnqK8v6?Kc`LD+dSvIyb&L zEl#Rdc%#BFXm>c;b>F&sjT(B-TqYFL6StY4Lg)Xo^3#3m-I|paOXXMbd~?BV5ljCuwwSS*G|-_CdAr(m2+mwE^>85O7GsM6uRNdi=N1cW6K9`RBAgoo`o{<~Zo!A=QGq zpryGFg1eD2f~S!)bU@#hv^Z)wzJVLPawkhpUEOEAbY86yh_Ft zTIKEMQTV>(tzV^Ox=r=6A~pIBMy;z3@M=kjs9A_S%kB?J#w0CrAQDTkNPTgXQ81jW(70eaubKY7|XL8Z!>?-qlh_$Y!E zEMeC#^bI=x4*$W@F|6uTX=y{VCR24vtv&gISX-Oktr;(!5Br&%s=nzXf=p(1ZG>9QS7{!U_)H`J0|KAgn$TVoqfo^Y2H**y3{lf}#dz7F zdO+0pZ6K+7b<3vE3_*XY(K1WmSl2n73T#-5ggD%940_-7$l8{8* zB}Fph)?gbxH101L2;hxCKeP`M?PA)1nmc|Cq#Z0y;-x8Iq)M31g%Q5h%94V#Vv^Y~ z{2x3`(_#|*1D3?3_BEBcFocm+NBw&TVk00<>9EkT2-#=+qgaDg2N4Tu)7(T0;?peT z35nCCObD$srwe!^+A}}n2}}Afv-|_qDUacB$tt>0*i9Y)gN3#v4=eqpd_YnSCJVuY zIP9yURa9c?SJp&qd~h*21@a-vrlN%F%$#VBSmw9@x;z)0Zuy{SWP#bFlakYuqdqOi z4}ZlBxh#{XwURhm_s_W@T0L;5I~}1W=V+x@e>NXzf|L)0gL3f#&_PWKb`e`hI_=J1 z`>MWv`OT&XAXJ-Bq}m91u8naF3r7iBM@6}hQby!%QBJV(oss+fo;>g0rX23a)9zuc zn`lN|mog<4?PfZ%{Po*Uzi>9~a#D=ob3>@zy2^4W+0UsNq3w1vPR#5^E)~uKHwsle z3C57nwO>cgEj<=$vEyws6gk8pj`p`F#L(whL|1xO4%_pQWg4QGMbqpKaLTg!E$tlCp zza~+@V2bH~G4w?oF4~8BKbrfG=uL8yqU}cVs$NhpA3D2CxB(G1fmJ!#&q0VfL`KYv zZy@HSqWW@ZHhKS%b=fo$a#&oO0dnT;N|pq@j<19fkO(#>adms#D43pdChx=h;0u?NTs^XlMZOv|TdWGw`4(nR(>?JKD0uqp@wFXPjDePlMJCT0Ne8{1E=pD~% zx0Fu9m(aBO#PQ-5AJr0d>4fVX0fJS(T7;{>kRr*`hJ-dY(|3a=nKrvbcp? z{YYQx)wjOL9uUxREDz%0FcYZ9i^fVGlX0Z4^|!P0nQ9Kw!ZJnPg!OcIWlTsaJf>;l z!xkW8u`4dxwOrV6qj|?`QJRm_e`m20s(v>#HsB>G2Vkeij80C@+Krptfbkx)A1#Cg zWx{($&Cs2sb1<25WW5-J=~nCqutC~G92m)<+8iUB;LlYPnAk+3y&ki)3FSz$Vp58| z!Wey5BaHC~wbYG~eUy{LHBp5h2YFhWCgfsdh~>o-;qkB{9JL`dQvcpj2?-}9an~eI z-{`GH{k47zii*)E<3|X&0@5ZJ^l|Z5?UcVA!2bB+bRTFCX@MR~cwL_$qGG;UKc1bb z*Z$>t_w=Ush>?3E|613kZ$~}FtTo5cao^TSrKu^)<)2LTjnF?C+v)BRE`@E}xHnvi zgn4X_*eK;UK9-3}NDqt^xR4FRF3(AvKtD2%AxD;fT4a~|rt5v5`porj*fLGn7%$+2bo@@3Rtvze@cagiAbSq*V)12?>c@t+Yx z4ad=o39@u13D-p81QlS<@gqoK!k3(St8k`j9!D44S9DLyS}7()sF>i&Yl3*zL|eAG zvkIKHsr8?C6{$LMuTgC!< zqUhUZ(G1?{$rl_urg0@I?WhpmNKKLv9;kS+4t$)&a1}unmbcd+UgJ);I8iM^`_j{6 z-cfe$Spz(?cGN=<|BbOwTPD@}Z^e9S5G#&*29)D~gnyMZ&=avZ_6I`k4*#co^sls7 z+B8HHV+Q}Xh+;Q&Bn8MOzDFb4#uqCO`pAM#WG3zcQm;!B2|jDd)|KYop&`w4s)5G@ z)550r18ZRit-^jH3(EUJ(eHTD7^jo6=9_8mnR_MB)v&Fd(h_`+f0tZX1)u)M{*;A!P zHJU~fgC9+powP{qQA=*fp>r7nzwPktnDO7NP9xM+Y6yhB(y?)xjlO&l=?U88!)kQ* zFg^-D9CLHXzftw!Z4al}mvILF1P?Nu9K6pa0`Q4o%?p-x$xp&#%pqc&m+_)`#fUIa z^sco+R=~bxUael?%Z#WKl*x^P+A_9|)JB4eWRNU_A8%e!RWy3pAu(ohUHS6>FxCUDI}t2HCHoDuEuTfWJfUU^7IVPq&>r zaDx_!ZCH*pdGUMejMS<6-st`D`kfCo=LM20DZ$RCpf=L2WoIUu1Wzl>1h0Q-=gjc; zcrIglKy|KjyMRv!H}vmlUVgv*>kG8*U)2|~=JMqZ9iu5qpF^Lf`vbMi2IM56zh%5J z?0zKjMOa?BUYeIC4sb&&k;l3IFzHwo0OX7-ca>%n39|R*WHy-4?w@SiE;%xy2yNq9st6rWf&PAm09$Dj%2w1zMA2<2mP=@nMy1M$5^$eT!d)WPtYLOo8IAi$UYb>(2qYaP2};ThW?^%J;B!fgYEAr9-(4SR)GT-@3T?*{dJO!OOwg0_z?|+RFvw9tP8l zwgx6948+VDPVjcVcwDo#)h{Wb8c<)nOe;4hc%uMg@#^ zSsa>tvpAG2$)EY<>I(60CtWfFDgM>Am$Vmvl@;?h|H;B_#j%vi`;8R<XT?s-&OsC^LF95P#mSNeF`-GSg^ zGt_LIknr7Q?&J95qh*57j;P}u#bc%_^EB!`xtB!`;_s%4{+6LYB~n9!>-Sf~n!w6G zW5lxlRYbr$eqnV~RW;4@mx;xNz5|xJ*KbSjroRbo#YDMkqs~cc5d1@evflt7mdtO) zA2-e|9ke&fxL4nt-d|+#<6)O?;*fXuwqeu6NX-pK&RE2E_O>CP96PECsHSg~k)fBh z#f+9xv3d}NMEtSw0$+z?Zf>BLi#}N2BA$35ZEt{XbX*#4l7ZWudI*7z=p7N9Slq#SNC5t-D^KL`Ltv}e zv~m-YMPKJn+XurgD$g?VO-*pBrrmqMnjp)_*l)O}OAbTZrjJ0Dx782Cu7%)=xJbH$LDw&ow%KfUR5Oq|LgI^} z_X(|U^~b{Mr7wvB1{ZbnY632`0ctcZk^KB)B6&isWyIx^F#pR5%u0WQxUXu_Z{WMz zu8bB#PwVwj;%(I>iykp@=Bnmq`GIfHjSBZ5MkUcLcdc0{^`@YAia*9iatKxe`pZ0~ z>A{H?fq?sK`d79D@SjWCl*;8{qil`~w?*$_@u<1tsQ8R&e}Ak41aFrgi!#nE8tA~r zq1rWp8K>QY>tQqU@FO9L_ua-SJwU({|MuNfH^WKHOB{+D?`z0WS|j%}biUD{f0N_&coF!dYgdTgYJGW&mhO~OWB&2 z?p=7F-Dz)__Ul4(5Do(cLrV-3)KLk0QFS(C=Aw=(ali|ME>{1hP#Bi^B!JafO1}2k zj7Q|C%)-Rp3vKAu)vC>pK_F2)&B+ZHakkJ#VGU0LUcA+SnPX`aW z_9hZ4Uf2RY5^Urb5yDkl;z0AS!=2T`D9l1}95>@db{j=GBz5etM_xF-3a~uQ+_RJ5 zzz`I2XNz(mmBR|&whu5$4j&@;awiRy(g!_yV3xK7`hJlukasO5aK0QfCy1(cI{%V; zbm#RL_x313Az%wu4GRHvB84ve{HkZvjF4v-CA`G!G!FB#$;}u26+pl+{@ZpS^ zC*+_SRK{5Lrz1OS4z7|%vhWLQx~9>>?7`mCPJ68|26&aS?YP{7dq(DUqxW2vf&7BV zN`5$0oew#a9TpRdK(vx(7o`PA4~N)3_WAg|jN1-VlxjR*wAlLB`L8eY8$6URV=L7q z?x#uuSOOxW|I zzre~^Hu~Wjk*+ltF)-XFw@Whdt>o%j3#x|0L;KNAEiKSgn4!;8vk<`z_rixnWae>h znW&j~4aY-E2&lVkyUg!O!{%00co->I+hnk)V(uLSFY|r3Z{s^kA*1qpv zz)C?v!B2-5Mr}rqyE@1*O*t!m1WIhV3A6C~sZV27sXi(Sv(4n(@ zbK%6N6OI%l@|G&ObA!(ZtEQ1H_-ZXy4^6$iDdf!B4A3W-C#-RvFPl zc8Q<)@ILj&{bk~+<3$W_R{RN>tCcWdvzjYRzQ^?aCS{LDh}&s|-#AIP*wp}Kw>dJ^KLhJh<3AC2}|rNhW3 z)t16^?TZg=!a$)3Fl*2KXBHn)DUch=G!I*RC*XF32bdb94Zq@JEu3+e*vL~z2j@>J zdmWPve^Vs5qMQ#f(Lvh0SvQ7>zKbbKz6H>^bi8+WMysRTIrOcWGeXM@4NoJLcG=D2 zN9<2Dm_1^H)LW7EO7F0y?oK#$RPM_Y?B?%MJ+3ZXE?m~QHyApMFH%}Uou$m~(B$Ti zX2?#Qee3@acnVTRNCGwwO9&^IV3uI5kgd6kb>EOUPjvG=93Z@Xi2pQXFx(z#7!aV_ z(wd#0PCV9cD~&$8dUoOjiSi|VR`1rSK=3C&WEv7zP~?)o7&04e(W`Nl?cm%VY|r~l zC78AK*WP-nEM!H}P{TTDE~D}lQLhncb^;tZNYgm=ED$4uz|_u3*=B$yi;X0CG)yY*IU0hHY|KfihZXdA2&Eri%G6$ z9y1v=Wv%&6i5I}O9uaZBvNG9AiYjitD^DmwJw!F4bJph3bR_ke@g<;7;%O!Q73Qs_ zL_bBtlVCk8&qab(B9O?%B1fI-U?Z%shJC0gjk{JOW^U?pri^crXD(^<4iMrix*vRP z(*Xx3iRELZ)n9Q>0lUAT!P`r0$EV5r@u2Y2-419X%QR@g{}t;bF3}- z_qCAh)`vy^>CiZzpV~Ip8$PVkwzoIozNJq-q~I?=U1D`e@os4nsGFR8w1FPeup7dr zf)g>DcMm5>H9~ATRHE@<128D2>3G|k6tuv)6)M?9u-IK%8PpqWb64Z1#US6>qN91y z0I%F*l7yKNj}&;4r~R-VCE_k~jqV1j*f((&)gOGW6WNo0jI`71Z0MVFkx^NlGz_Sq zW@!w|RmQ7UqI*6!8z{7}#qO)9C=;hd5Z(}$6nKf&O72@dAXrIi01WV|7MaD_UFqU= zb$_<%Q#S~{9MT{ZT3LKZiBlnD+e)C}qDBo-$VcqouY-K@SOPcDj4E!djH zum2z&7dmxVu;%nXG{C@TzDW9 zcwd0)Ha?9NM@7}-3Gi!Vu>FCqVd}K!AH;Qj#d)QsOEqLr!52q0Nm*EdgrN+jTiuj0 zL9`ti^nx4UW`YSAx*-dbt4Vty;((~fJe3X4@f)$%z#y4fS#4)1p@-=_?v-#taO zNh0i?sXTM=+~LG$1((FKclOrVAE#%nrwZ&mMXkSvRPIyk;!K;Q;z#-vZ5h8^g#;LuX4xWBORsg#NL|!k=Zcm9K-StY>k)-y}V?qR)w|nOG#v zvxmB$VuQxu-E#GJW!q22GVAd$%vb*O6#JUoWHd`cCxbTu1uREexy7V7Q#HExvLI{0 z^EQtYAsaH+zF~{u7r35(W(c<;JSO=mbV^h%W44NQADFe43E0JqSdPxNVOeMGCjI0a zEgt*T?*aqrwK73^qfAV@@5+U9+o;y?jNVQX!q~IF9oLoeid$npe;P zelr*K4PaFaUOJZND@;xZm_)|1`PD-yn%mwhm8`4u>9uEAYuJRpMHX34zx=E#)KS#y zYNc5?X|b5a9H}uliD6*H zA`uu{MujhVI^<7{_^7U=@?;Xd=BZ;PYe!e@3K+45c}DRs*eoq|5GUE5R*tqYP;43h z1g{^=vP5iU*RrLu&5O>Y^;-EN=yN{$kG+7u`#xv#1;SEhcij8%siuZQuNwwBBNu70 zdJWBh7AA=hETH8>xF|TxP<&{1 znG~J@G)oK#-8pH&i5fST`S?l0q`o=sfAJBa!t$pKA;cJ5AwM_GXuH2w zo4;1UT+r+BYg<@+zsln$zngS;#*{`}j48I1okv680sXZ+VIpXCUA2JWrG-C-ul2q* zRcFT36e{MAX_h6qr#aVBvG1Gk03tgGoUN89kT+%e*NL=%`Q5p%>kmzbi^|&s8sTMf z&mn?7Jln6ryrv%>AyE?Eybv+JSYWD>cQcg(88l@(BaY3qnorDaK6gk*w$adh75F_4 z`Nh)yuk#Sqm=b7klFI)Iss*NI?+l|4VC$$?{*9-vUXmEjth0!gOm3y825>*Lb0E~K z|8TL%f0QLTDTN&$rDHeA8uwX@{`NSyo_IqD0njyRM1Vagev;=9e-F=mAFF7)93Hh} zJ+xL-jXNi#%yqzEjt(t?80N6P`Q*-Kc*pj!bg&!mzjBoiMf~DkAE=!DXO>tgXq^Uiq22GA)LRA0O%DYnKuZ|-y)-K=i=t#&?lTNqb)wE(@wwz!OS z^;@MX1R7u)+QL^6iTP^+T{VGw_E^8^%R)DY5_c$UqT zV#ve=O(dZx5KHk2PITyRo#C25z1TM0zc8xj`m!W_`brd8LxpRnMgYv>kCm;GRX+W* z^UQLtmD=LMybcY!!4^%tzSW>GR_i*wMl;5&l;YmoiR{6`NGCmfQ!?S52l8YJ+0reF z3cHr&xIj`Vxyot5KHyB^OHAA}s7Y94ubiO8PUT1<|0cZpWz&`P7BEkb$`k>ezlJjS zNnE-o$z7qf-s&J1|Kc9G8?d4#-<%g1I*efEVCci-x`BzKqX0iMbX_SM zFFjL2CPxom%y7ZOdd_xWr=A%kVB(TWPaGZ4GQKwg=wUnBfDWDMna@P(7pi{L3Ew*A zXq-i@9mGq*^XfGbx$Bx}q@Cd4{Cuz_AAb1oCsWusl%AyEy+1d6T&dr=i($$cl9z55 zu=!l`xw@OMHor}?p7=GP>#@5axndOZ-!LkeT7=#&qeFWy;kI zA~F4!OEXOUKve$pZZ@R(QKMn)^GoZRhws=VZ;9ap=2p1ih1uob?O$ocGw>f{$jr`% z7(nyTw^|jH35Fdz^sf2Vol3z_(UnGKnSEITljZ7;85R(}gE3W?i*j_%EuWmm9yWcl z5iWy#(=S7PQ~ht&9qmjmJ_pzcv6Yg}TB~L~36*}!z=|eCUT;}FdqISjEAm~O!}L4S!-Z=B+!b5)RDb}sR%Nb&10{r&RQ=$t+SEhOzZu1)j>k} zY76oP*pF&K9Ofq4`*L8y)E|rZ)HldiACKAQC%ZO#IC#K@ULv^YtCcuJXWr%?CuEKE z85fg^4{gY*3fX>LrPT985DUYOBW2#QhwKr=;XwYr*<3FL+tGY5SI zID4TSc4U!T&zC2BSE8o$ zCcfFB`%_eFk}L>yG!6^JFZZw$dinl?8XW2pJicRU>mT#=t3x%DwGrekM-2}93A7WM z8%52;^etA3i6cVbA-Z-Mx&brpta~NG#M)FSTobONRA<1rkGS2riR-1!vR@W8VVE;O z%J9r>Av%!ZCbhC|(gi~lAqW}i7EHSz*Gl%oQ)c;3NL!>=MXS|J!!=`#jZy}Gx-vZw zNCLzqYSSebIkQ-sl~hp7h59oTTQ{Xxbv?<83buXq6`6YC8SmgU`7&*2Ra;a{*+F_4 z6{GjVwnZC0rXm^@iVb#XmGwI7MSeKIJ6|kW0{rt)5Y5B7?v_kl z(sXa=o8YSq5bdx_X&8NEtuC!zJ+-XW8y_nLvk>`4=JHvEzaxsZ!v%sE^Kr&5Pv{{K z1n+eF4D71Z2K{Qr65pFYEI1!2XZ8%X|Cv}Mq5c?blHZqY6Abl@V*$XQI?i)qtZEIc zy}fn+*q)dPG1}ytL+~yl^>PB}#4S`0HhZOtYHeM%TYRHHQkIR&#CV%_@-C&+@9+`s zX!4(}OtH^2mmnxZ_^2ZGw5GwSR-UI4xGAb7_v17oecH2%);nW{80+5r#!&D}nlUp& zGne)9BH9|^s|w*(Ch8k5A((M||6!;dAhp+;70|Ko##UcP=)>0Nyxr0PP z(!xkF1#pXjBUU_FlonRJQ%%%x{-vsG2MlZ_M6Rv$KlF!eIq!v7Se#Tn$?5|gd03u? zb3@W%%n!O3IU9!L865uRu~zX}FEs77>x|D;@sa_UF0f~1W6o;_XWHmpid=1irdTI4 z#H3ejhF;y(lS%ahcI8Lj1lcP`lLXY^SZz1z`1{eaRgY+U?I}jTh|5v~j{%nW0Nndo4ao{h= z=LUz~bO=`BWxYg6?%bd>-QfK}$^88rr9f0~$ICPIrD z%-<4@AoIN=DyTuonYl#h=S1(v3hb;7I2q<)|4A(@9sGrJkqH{PIzK@aE0jT4M`Pa$ zODV?E-WHHw;9^jUcbzm+?q~}+mjJunE;SEX?NQ0)c2P{t-}uli-^4=KTiAj|?OUxr z8oa4xlfeL9u}V@VOERwnLfU4|_V;1tmmva0J{G=MEjDeNa{w)|YFqsMdjOK0E@EgO zj#mANTSn9N(Sd~s9UN2oYQKKlN3iaSe`*!;rxQkB3NF`MH6&1Eh2m`%&b~}>N_t@v zr?_i`EE2~kzI})~zd~rbprYB&B}UojQwLk$vH}3S!ziZ#54b|D(1?$ot-yI>E+f8Y z;7EilW0Pw1cub={x@ZeD%lP~Pg`blwyi;clYD|8cC4c7^mh~dr1dxcRdtam*GRW^8Ptz5UjK=Ei=MB8!R5Ff_TKLa` zwaAouiQD2|e5$Nyf|6?~U5Kxe9S6Ta8G=v`z}yd7r4xzQ1pew(-+rcu=fATt8MGUx z)5pr6p@Alkeg!>t^Q1&r+)(A zLkcieY1X@h=I_r`R~;+hAY zR)pn%gSaLnUftMoDJtE(k=#PoGm}IqEs0?@|IxwPw3!P7ZIOeAH@5bZceh`+FqP)1 zr5Pn?S5^F3b9?HhZ$lH}bYOM+NSpv|Y09b1@ctBznO^)Oi+SS~LK_|*#xNTSrH-^~ zhUbQ&s01Dy#w77Z)}wspbw-5*tjw)(>DW(|m6Dy=; zE^(yLkO{u|eLgq3gqCzxop=Hb?dHb@OAj!zzo)@wHGh!BKY7_F3m0bN|KTo@sX~p0 zB58J9WeM&T7~ZkVLEVU$Qg#(ecj0ziQGiU`o!Oy9N&15%i5f3Liu)bZt890+R2X$L zF`Mf+lVzk}@@cb@;>}7jUk5y0(ckOvC2jMXOUHlwt5`u~cAqCI_7+riY|Szv+k}R0 zGpXO{;qFYO?6b%(*IwSTkyQXgRGac?PTCm-{=y+GjZDd8=pvWjhL!+Ut!I%`OZi!& zDT6rXSv#0L1M1(%S+@uh(@}o|vVlw*w>0h@K%XYLt-O9rXYN7U;!p@hJzm0y^s^1wDVrzEs!8Vkjr# z(H4x2ld1i5zTngYx3mhlv{e)u)`FR=rubzXHnX0meFPd3-~9n_!F;1>50_cP-h-N!uOf81K zZFx0g(mX7ZFOGKr?&d zp~anNC5Yw5MX&%#;FGoY^J@-euO!PNLT6VIwAAzSp$u?71V=5X7dECYrec28Ot!!C zeD_4D9g?BwnRHmT)_D?q-Df%*1+VoP>qq4bG*OuRa_Gh0vCgfEk?i_(8-A*?oeY(= z<%r4>TS0rTe!=9QK-aUEy5C-dW;OZnmIMOxy?UdiTYdn}kH?Fn7-_$M5a}V4yX^{s zOx(6AFijW*<%I%vbcMX}zy6UarD*Hh@2+j_rr6b6&}z6w^;qw-ZN@bZyc&Z&e`P6? z)eb)Q9v(m5w!Y0&FP%Dy=KGacfUCnhpZ`vF%gohC<_AMbIBk4-)<77VUnf&=dNF2~ zk5A2J$^xK{jtV-nvX@^*)K9pD;mq8tCH{7TDgHo-Jkum2%0OqD*R>eKq62$-bVj2u z6B2gtmM{!TP4<^5P3&7yCC3vVP2e>u#5Gd$HyQn7l}hUT&;Zap0$(A*oX603_64x4 z_0FhGS%#dqLgfldr$Z_uc|rrq!-Q55%7T!>Av(Yrop>Y9=9=>fhu^0ykcCw^feKFD zn6UmK$b>r_K`2id`2eh=W0YWET%b?$`-suGk?%paAp)^)AS_NC@q4WBsfC`|3M%yM zt4EiJk{Q8HXxLpCQAtt1>EY^%Ahj1ld$)sE^|(S~8wkZ4{mn)|EH#y%>71ew{Erd` z)(N0EBGo2s{XtG%DfR@HIua%c7-pF&DCVHU<)$TJ=r}MOd$lgifmz3N=4>-+40=E< zV@l&aENGfzAUgdx2!XvzM2y_wHE6*LU0VQfE4nM>&-u>`14@toUfO?U)=T6Hc2*!x zjNrg@r>H6p=xjzeTji^L$;3s%)&GguuNL5$q2)c{g5$&(Otg@9EKc={B_5*gOhdXt z*i{k(ebn38L7jT-AYxd=VpWIw5TRGGmg4b>-M!i%f{m?UuK2fenowoyx}XMXpzNRH zovG#T0A&M0JE!GLE>PTR%TwJ(LgrC5dKrxg&&($dgD3{a=2klqqwA7d((uhy3np zX4jCwa~f>+*TlrqtR4pD>2?n#8?OMvj4T@!=b2tI=qj;pGwsq|!;vwyt*2ia)Hs~Q zEW@ksmB<%gk8DQkeZ%1FKEG|J=7461@wmw6-qsVdRkTB%PDG}&h)m`eNYehiYw2rU zstAa|xOOF+qqGm}tFob92XXj8QJ~S3A#s)yk30gGl`}An=o=dM%@+3Z(~JNNu-g=x zXqR9@LdbSfpnY?&wpo0oKItEGJ8+wPwnF(p!WpnC?1U9hcL1L>67(P$)wvJyx z+-o4Sic+n%NEG4MSlx_u_~Zf8yJgf=%(hc5Z_8sJz7B3KODeFBzveqa^RH!51A%R6 z<+RAiE`a}FVxn9K$xa6*{59jPSVa6-3NomKyrt{oOe!hhRt@V7M~?HU5uu(CS#mH{ z-aQ1H&BFTj)41N&6y%t^wM4|!2V=p$U#&Z-7~4??_PgmIS~vdSa<~TMRRt2KrR(Qu z2^q^{ON`cO`?+DL<8Pr&zoSZ9Qz&!cr*X|0(Sxl}k=l9Z<(_w1c1{11*!7X(l4TwC zN1BoP$!=FvW4mIV{0Z}+hiH)H!5fdj_f@)Qw>t7jdC?dU|3i&Ie{Dws`qW2Tp7 z@m(_F8t*`S@QbTr?m=e1q8$1{&MJ*}!5-B^rMjI^cxD_Mrr|&*BMbD!GLbiHITt@7 z06#5NHcBwH|Gl*0Bi&QRfmP2wpNqib{7x#OQ_k0S<;xu~8+#C*{~OXj6bS>@2juCx zsP=MZ(z0`mMqu%Z#Lx3hyH)C7k6|b-W>IWm*GR62scw^PX`62_?>c(Y$u9ucJTX+- zP)kPT;t1KO{zqGNle4heRtsfG?_*nUCEi#rKlehR#Ym(b%QL4)o`|W&em~z%0QIhfS(MP;Qxc^G>#~0K$CF2kBOy= zvxy3$bpZ*JOWgp|bIHTtMli3l`^S+@@`#%@%}faZxhR|=*QY=LW0syx>k|OLf&TEt z+_BhR%|bpx%tnxLtulK}4Kf4X4SAip2TpQl&*Y^DVyJQNSj{b;b14eB8f6$JGuow` zi{oLTDPEaR_vgPp_0W#z&|I4p9E|Rr8*D>HX#l=|)#Dcy45Je-SNeE~~ zP3D4mVRo-J{uU>hJY2Z}O?T6t(xFu6t5!58m#6bG#@a;4KN!W~en9_1ydcY_XQG$< z!kikLF5f`S7D2H%a?>=GVdrh3NwsfcXw65iyHEIKhaC~>q{p8!jJaP2ad+M@dWQpe ze5rMzVMzj$ABa*L|n69P!ylA=97J?9&5!AnDWpG8xS0eKLw2i~i?eC9KYXR*3AQR?T~T)YTrJB+$L@iV@Bwn_xPLKNc{wW66kTR zUAj+Eapz&P-L;?+-wJk2_>~-QJ=X<7a?N$?hX3S&9&OTnrw+LQE9^kML2|rYP>v*m zhvi|^lyE37NLp`G0HPLIq-0ztCvAwsh=8F^)}>>(4+zOPbfMyRB~|fkSWuEyWIuk| zu8B9@PH{ljt$OrTdvp~KBTNUt_1;J2OVT&cQFz8t;=(|~D{YDnyHU$>q_lc*#P#~* zH*jtuqcR`ABKISe)fF#SbmzIksj2=d%svWgPeXIY-OeT3i9GvEE<{nY4g^p3a(Uvc zkdmg*DX%fv^W_L~(k_`Q&r>x0xs7~v5^6iy9`GNNM6YRKO_^zFz6b+YWKjt5>2K>w zqZYig-TU1SRcdYD)m!!_q@vb|$YTO{m{*V!qb6scglX`SP1_chYQocfC=zO9Tn4ex zz9}+X%}uqZ{FeAqjk58Bh?3-74~EyHHPS?5JXScn7kgt}5hYm=&RdBRdmT07k5xZs zA2K(OEksV?HJQP;Y9;{{K_;9NG2Lwyu%@+eY3$Z#h?0Ff%?)gvi!L?EbZ55icNqj5 zd!y$uel26l9)xmS+M==-nOswW4;~>7RRjQ!umuTQhO{lfy#W_z4X~O z(*U-Glv26N1O!>KdLxAN!cgf>5{aktue~;=>OZMeP&!9JwD)xoe2ZPgO=RHjlMd9; z6WOwmYikcym&*WmQj4YqfgL&i93JDU6|BL;VTW)H?uMFO_0?~|yrJmZdso-&H2zj> z%5aEf#n5YoR@>i~sb(i~1bpceTHtdk3O34(Vgr8VByhSIkUc%Zrp2(griBHEGCg$s5H2Cnu(ky6F zVTYGnS7ZPXG{Kt%Y&}!;mRq;&lWAf%;akYg-5?huM&>WloUF)0Im&R_0VtW}kj69x z4-)g`#iFjOhALRg*mkAJr+#L6f4glY=Hd7fMvYxF?u0fw94i(1{-%=%hP2jvql<;r zkr(AGSdVJNa8_uLiAY)-pq@jG39(50#k}+m zr!C%``b0g&1TS~B`zQGTw27>p)W8th(*tZn!Tt&T7(kEh`4J__uzd+vYnav=LrW5< zDbZUEUP&OTCVN1lzD}i1AeN;{Ta;?b{qT=JdV&0=8Ro~D1(GMgete_S>(D6#IheJE zdY|KRmwbk$CMD#}uX`&KPJQFg!GUVp^hHrUoloeg_JDV@mhkY9y7ayNyCtO@vtLjU zmyOGwBqCm2QJj`~hm)lvLc7-`jz1_v$aLH5Lt|w=l;ekA`0}t_9?SU@vQ?MzE1MV~ zFwqUYoh(O8Xx%}h*Q;OgSL0gma;W4A(e-qA>hr5XxqyaTdgn$~f?e4sHS4(i9V+jh zn3R>jZnc`LJZ{rQJB!>MAB`(UeNn7)DYe%Xf-=68lj3CEHy9$h9PUYcq1D#=Qrvc* z`XT)2n_0$oXvHU;XXY^DJM}=QjD!M^70LT7;_)>DPtBRQ&A+T>-wkh)SOK^NMmzZ{ zc^3H8P;61wSC|^3N?fv)m}$3;6zps(dR3V>I}uEL%EC%;rZ+Bqs9#~@FJ(h(R5)Nh zi1lzrWK8)v?j3D$prMXqf>qtVE?lu_@D{u6dPTRXh(l~Yb}yH`oXxZ8GCyMEZ1UT= zvRScO&GX5_XkH2o{Tw})==FKqUO+VsWf001k~`VWVn9^ zd|OpA0)9U*(|@KBlvlc14!EPK{;PF+hj2mlHUYWQq7v?w4R*`Q+Ls@GYW+ zZCGlEbie@8a*~`PKgL||=0B994pw4w87nB^Y{=tRq9QaTD>&N7@JbvD)IlMfgzz;H z>r9kZV$7nok_&}Nl=k8>G|D7vg(c`AWYbN}B)EqVvg|qddHa@P2w@d6G|t8d$n@e= z#t}x>RAP;ia3&b2HZl85GE4uUsv_PRw;9DaE*k(!pII$;cS(&0ZJbRZ|CL3B1yLF8 zB>Te*?}-7;?1 zKuJI;M0oJY_Qx&+JtAm@p{qHTBrrX{LK)!l^YyUC#SKT??^Kt=^lf=i*0;ya`c{Ml z>8ul9d|@NzM4OL{d;<#1EKD{?r>vA$R+Jm_YObBn9hY_Vu&zl+$ZAeE$L}*QDS?2x-;)`~@nw|oPQBD{X8CD7eBcJwHVZ&` z*hfiuIB3xYxW(@CDfwO_<_8yQ7AKw$3bpamO3CL#~}8Tt@wX&3~7TWmQ+az-YpE7hf`K zm6>BzqO~Yovz~*5w-3DW=3gxSy8+O7k zmX?jHLW6ud-pu?+ztEMA_pf8Vke`O^si^F0?B)*Y0$(X~)=1)_sIZ46XV3>XjDk#C zq&Dg#fvdF5O=of3YFN?opwe7E@dG>!)7&Gm7*jP9&0vUn8!JG1U#-bC+kg-mm-YUhJ*~eiL$s&DkLAb?yQ%bF!UohW-FK-o2HAf4t0`U@`uSxv?X*`?}p zOw+Up0=OQ}4SwGw92po+f|!;X*a8`#L@Sx3d0C{ONX&NBK3I<-z5w?9baejna5M1J z&?7Syosw$hAgR2Df}sV@08v$Q>Ilj=NF#Zwi4YuyVN!hkawUvX`<}Jp6@T045&$wb zvnU7EQ@nIN6eHbf|G}OLy(U|2 zHUT*{K&uWJ5_Tr{f-SoN^H<3)DAf$UH*0c%5H(A_V#%9WRiW&mE2e>c4k%wcZW95=CIMdGO~B-lF8~) z|F@F_4NHJEI_>g5Nr1BH5RSipZO}=aOj5j?kVjR)Ja8tE{LV7?a?ovUD4~~Kn%HeG z8^CD(Oi28@8%U9i40t7*gXlII63Q6==+~H20D>Zna~fZr)XAQM`X<*CIY#nIG8`$9 z*qx9q`n{i41t*qcDzQ7Zm#?ATQFiPRTUcn^F)f>8N%>SMZHkAmpWujP>EY3cg`o{6 z53D|EEYlj-9^C;!647(9OJD_xBB&-NE+9*q+?U)W>yyQ!JgIF;;_j3dONoV&)9r9e zfS6NwD@izVlXF(WufNHVY?P_#2tC8uwANa4N5avWEJ$lW|HQZjj@dePZ;E7LYz95b zv6qeuX0h|6s9B~`QuW9R{%(lqp=}MB`KVM$t^N7kwVuyrMaV^{@pQ zYyYtU=5wPa+5$qlLAo7xoB?7_!$hND>)Cx7tA1jdg~1~Y;Huk;Y|XCUBIOGCoXq)_ z(itSDtFLF|wtUlKG#5cXX@>we0MIH&ZfFT}fwJVV|Bhf0qZa@JE2+0+4sA<0<^-By z*W}yPKjDPF@7AVAHOQI(Q@;7OpJ*B%RV?E7nd{oHl;6K{!59QsYtvSXl9SKK>9I%=8+n z7zmoc#&eDcK`mro>nA(BrKKi1B<6dGc96wD=guhH(?CWOM|C1f3LDP4nP=s#39bk` zi;?xNQM8|&y9SaOtka|M0VKD|aZzSLA)>8X^_XvtUFV2r3k@r$b(Y+2QE4zs9;6>Q zwR)-B%7$2Dqsg%hQIJ-^JCY(qr^3SZ&Wk$nMpXs3cm9*lv8hxs)fDp)&2_*)*+njs zLmBHFnm8>YaTZwF=F)4X!kb zagDgt#L&DSBV~lAMw4xcvZ3wE+gMjWUmzPuq%B8GRg7M=m?5;M%WO>&t*BD-(4n8jfi|md;K1-b{1}wpo|0M!X?-Wf?3QJhAhK5C^ljyr=AhxAlhnt`oFGPqX+a%5R zD3`ICq8;~GS0nD0J*Lg2>+w!?L5>9qq{!2}0eYeQa+`blqN(}^A6Xu=1Jy)Bx$7b= zx^%zxrlK05+0a?r+VZ~Qf>M%`S5LtJ*C!vL`FlzStqoEikCWdV@_T%4qbb+BA&fA1( z&SZ4RLXL%+ICPmoN03ukRdE#6O)|ZJVN#Nh5(NJ4u=4;}m8f4E`I=anK{VbBg&}iz zN18wepND{R06dpzV z^M7RXQN)U9NA{tci_xJ(nJ5ob7%~cwvK!?T8@se-CZBKuh3TA{@YgzSx<9jCYP9)h zPw$$H47w(4sC66ENfVATjwfdJCtL5?CwO*i=u&R5_NqFp`x|iWWzl+B1eXROltAHq zPljuOR~zIHMvZ@sM?3_ga7x<7EtljGk+v(0LSK@xH3t4P{}5{T+6jk(<<--9r+FJA z#sI<}R{rd0hR0hBhi{l`m)uc zYL=s|!^Ljgp*XB2W6@3f`wv{`o7*ozYnd!`*+Fo~77x5a{@_J9qeGKau`r_T&U(>@ zTLYh=Q#kJH9?hruH)1mdY$>~_9y2n?tN{$AH8$c?yANEft(UO8APLPv6kbzg3ZnXW zHx9f=wu=#L)mTC6hoBk*(TM%P=fF6!ZofY zqf-1kWNPVo&V7_C>~uP8G*NADzb7{Xy*>PAB=MxdTY7!8Q#X&(|JAD0(n|f@ya2%- z=$#Lz3@6LVkkV?_I`I1E8h<}R%=vNb!i%-@>rB~5&>k+&MK(Gfl8oQ1hmq$4# zZ2(Q2JF^T;vZp%4eb*<#jiCGD%XRJH^B4-#&T*=M#rkwQ7FuQ*8mb1yVs9O?iuVyC zD%7fhe??E9&ns)*{_qBc5e~}LBtX^raf|OSA4cvnj<_BEZ?l)ZuF;RKo905y#rgH= z{_*JT?a8{}-M$y2TfR~M;sYrDpEWCj?d)g<^J*ZT>BITuhr6T8#psJt9(cmRo8HyW z`(azwoNV4s&a7C-=C65M-|y6`EBS|7S`skJIE5mcZ~N!IOo?gxhjy<8UVz?woB5KjrF>@6NJ%js#+Ni$bYbloUNQkMCa;p&OWgOl*j z7oR=9zJIU%Os2wgnS(~&29m*&QwJ7D+BA8K#`N;5x3kyA=hK_BIN#1e zXNQ&j2w*WWYkbvwWr|-f4lp`>IcfIL@z(XW;A_{*_GACe*W3H)K)kvW5`Uzyzr5%8 zJ^Y||1aNb`_3Vq^eT?5_e&Y&mcrzNSyB9wK^cwa9YdS(vbf481UO>MSM1|0%1##&3yK8aoxPK9FWK4R7zD- zgQ%=*lK#||)-JQT3FyYjk3_#;A4UIV$@I&}j!gr5W8|{o%T`0v?#>d(VasEnNW&~k z%Bnj1o5eddVqjsX4al&wbbCEHW|;K{sX6dgwi+xpwn2siIO%D@rnOP3Dfbjp4_TQU zwho+(FTMy|@ln`5`=m@}7V1uv@Yv>UD|Qr~iB+)s&vI`($&?t}WWE#|6rC-X#UkS= zSQMH2y0IA5d`RNByYmqwEX0?}Wdel8ON$;5%ZkjodpoqK0lG{M#>=HeSqg1dtLop! zw@-K9O=ZG|1V6@4*&`IZNHM`TB@K#Aig1tbRc{O8jx@M_w@1rK+Zuv%b;GkGLAh>k zfpe4R7|7h@>UpbBPJ#BYAq4n0e1Jz>r1Ql)FHVdnP~zlAd~T)}jt9%=mi=jA$WEO8 z#N7lBjHfCRz&=ar1$$^~V-TbS0|MX;9ZkB86E0q|Dx4X&B2DzePPerwkYN|^y5WWA zk|j`ndRgU*^i6N=F`k1pU{-ue)%;^}05@GR(x$;f--TM) z8c+8J*hh3AqtsDetIwRYjWQ7Q_#qrTubJD3>Ad{_#nL;->h6l@I@lakwl+5E`Kwpo z5Ae#^7nHR*^Fa#m`F&=CHj3;XdY!b6Rd!JWTa&I!eYHkt^)1DtkDS%$jy!CC9a?-u zYa#AV@k-B)@J6T)ZPr}!hVqo7aLmUomb3%|GEhHO=*;WIvR0&>+cIfYPFm028ueKo z)%|U6_MUdKI7Ih~UfRefBo9~(W^OG&Tu@MZZcdYPI#b3TEX`b<)Vp$zi;%2b{ruiS zWkhW8k}(kjvrnN+{)NG=X~`yHI&e)E@P@K**fJJd12Kktyw zgOd0@23fd=#->I@G5<}O?@^oIUu{S|X$zs*4=BfJ^f_DZt{Z@RPej*F8pnQv_l_9Z zY$5wp>t`E6NCcmVS55ZS?U3l>a}nbZft%Fc&g738xr!RN@A)js4+-0{*f<{+twOZn z(H-$xW3`ZlPO)G9x=0gPE_u9wXC^azT8SLySKgdYO(<6MgmqfiObh2rN`-NuTwVRR z(~Y&#Ep?3VvO~%neFE5HS-^0(z&7LORm9I}^2O|$IIOi)^g5N&%JF!s{(8;S&)xS! zTivdI8{pBhPeOZP&u0|SGo}4m7uvc)qe6P+mty^x`uPDmj2l%{yGa1pus4$dc)33Q zok!kp?ArASmad(;+uduNL1?V_eP3WA^N>1LFIQ7lrJI;wc^#xXW^jcyV{i6J(BtFc zdkYcqge4&D-1m|Uli3d-kfYMrW#0mA*oxD{jjNGeED8=b@G$W6X!dBYD?Fc+ADi@Z zh?L0usn>Q_2vzWZ(Ko!-=(+8Dyg6O_^qjr02*LFj z1cVyYv*1yRC84gi3Aqxo7R)*H-UPmAM!l-sDlyeYQGC2&34VE2XUufzFIjD za~06`pri-PsGjHj$Zd!k2jR6*A4c-Wj<+V{>m)Rmcrw8_5ZaD4b zI!8p%?HV$GJFzyh)v34KL1iSuGe1&`wYy%xbyOKmPMi^XzR%iUd#h^L`N{+YKcrAK zQv7S9;x6(s1W|XfO1-~sxK-Bw?o`?ZUO+GEF2V^lK_yg|u;EN;i$|Y<89Q@=jM?U7qzA5C3@o zFaSj#7X4rKye-`xaS8>JnTe5!g_SGKCJ+(t|4-Ut0}(esltsnGSlNV_IXQ)enS~jJ zggC{SIK(-*7+Hn6I2buZSon!}|JO_OU>Ic0>@8d^iI^Fg*#1-K0pw{qmU>#)qc0wb zmrXBRT$EOe>~c)opl7pqPBC)xyjoZf)EJ&|*UB z8rZXf_!WN*E4&3#;u;?*E2iQyVVoBlIpIeJu?jJ8>?CiT{1Vh`9)Nf|@i}#I@h-5i24aV9y2cfPx&-ZA658_#(F?_TXSk z%(*RhIb0S9@d|Y|YV+ zXhiqFEv4O+DTS|Jwf}zN_Ec2y?g+WF=fN=g1uV~1!rumoJLEwJ-{&>F>Li; zmeZE+A;69VfEv`8x@gD&ByG%0egIZ<{&WG8@ZB#gkwp*7zas7#54wQ0NQ*w^s%c0bj=v7>mTfEf=M@L z0iLK^LS5176x$#k^GCrbXMB!?yg-|K#A^j71&51VPn)FX5c*>hq8h+;sRBS30X(Pg z_aL)t4M$@P?JKJR+KQ0IieS)^z&8h8Qgz?QP2HWTfw$*sVKY@C*tT`O#k~64l0rS+ zNU)x60D{uHa}L{+WizbBs%Ei`UbAmR%z{(Uk1i(w_GJSL; zENX6#;l*4Gp{F!i+sWZay=l+uTtI;(UbECa0iSd^jUbLm2CaWsvr+R)@fFX<#MOH~Dl*F#={e+(ek&nAAay6ylwBHvQ$SOr?7fu=i%j(>}r@0E8^gU@Y zBL1^#t_xIiTu!_p%lyK@tF|?Gwji6F4=NW{HtBJ;LrD!HkY_+U{G^zK!}>agOfeg}dO*IGG8m>5VUR z_MLZo&jH>39%Ml1RloG$IT)&}Hdoy+)FFBJw@f23B{{9L8^b-1FxH1yphB z9ymr0l3$bc6Cnh*)6W@Mo#xm68#{1jAI@lRbX9|D4)3Fc%iz&FwGaKj!P*}sAr9NK zrLInlG|uk*WcmvR#qxh&H4MF;fQ$r zj<5YjIBgJ)A%h?Yu$;7jz50Mba(mc0uMBDT*@ZO7M%_*=>ielkmXB2Bj2QAt^;u*LJS~bL691v zMF%=L0@qucPC>4d_Z#QPX`S;g$(0SjrGvW|66gZcnqb3t8hcqd;6dq-XedH*sDoKpP?cWtw7wmZusxDe77S$L$xw=u&~ke@ z9K*4G{|6*MknO_$;zKO|G%}#d_i_-FkrBLz2{2Ir-Pna5+kyRi)P21R{@8=g z_)2DYv>kA_9WWjlaOMKsWCsk(07)wjEK>*G{a6&B;g5ZrA@G-y0@yj-J${4PI<8!< zz&-H4B?i7iX{JjD+5oa1ElaW0{OGpI7kI#Cgl&GyfZTYd1G0O5RPe*MWGK#i$ufkd z{kK73nsam@+xqS5f!PDu-8aU!!CwN{RS*MOf4%!{0v90LjQkPg)iNR)fkOk@Ol{Ea sXXV8RCNZoYQMU1HVb^`G=6NT?RYTuR>y1Vvf?;Q7f*~gtQxJ#wKhy)qfB*mh