From d3479a5b88b3736327f13a9c6f7a3d50a5ef300a Mon Sep 17 00:00:00 2001 From: Yuri Tatishchev Date: Fri, 6 Mar 2026 00:20:21 -0800 Subject: [PATCH] hw2: remove extra stuff from semantics --- hw2/while-semantics.pdf | Bin 170065 -> 149330 bytes hw2/while-semantics.tex | 218 ++-------------------------------------- 2 files changed, 6 insertions(+), 212 deletions(-) diff --git a/hw2/while-semantics.pdf b/hw2/while-semantics.pdf index fb59f46d089e9b8f0c41160ab988b76e23fcb26d..a7d9bf86679684bf15448a7402af0151660d5b64 100644 GIT binary patch delta 97611 zcmZsiQ*18`@TP0qwr$(CZM!{n`>So+woYx^wr%6I-Ea4QvDsuNnPe{Jdfw5q&;YX- z2c19y#>~#lnr>tXLIo(r+H%<9c;+`GzK-0q(ddp;Yemos!?0H_z)iBpN)n*rFtu$a z(@aS^z4Jhz9&sVz{qtsanQ-R+wlOj>#hD~7r#hPw!{9(d!Dg-}mW7>#1w>yY``F5G zqd%>x!udPOn&>pBc$6up^5~2@2jr05O@B#a7{2AIdy3xc7!BxvEy(VK4)5FT{krG* zaeE-(dWvAqq8>?XR#~P(o@pZOakYG<3`5*|Ww(7l#8iPJzsO;sGw74${M676n_B)F@$ zJ5A=&rm0)grj+?12fQ(JmfQ}G={HJ1!bnHCG`Id#5(938#>03qb8I2b2KAj7woeYW zQoRbu5>UhWJaVUrj%>5 zF)A_$k}rVV?n*+VXGY%sn_@}QQK?1GSzGv+xa(qrJ4y^Nnri0}BaP$|BS~&5cMj_y zSsuTZ0|HU{1RWTVNTtq#wwzD>$iGje+ zr)2{9wHQ7^@Wq@-9#8V_1x#U`NJ#0`taf)W0|x*d$^G7b`A|Ccv(vrDUPo(6MPnvi za=DflJ>h2h$PfnAGVxy?m@9JKIP`TKYZld!!G;rZucZK72 zCJi7&HX&rRLW$BFl9jh1gn8NgbRZiIBoQq*Cj}|3+B(zw;llPR!>+t$A$%!jezc=f z$MdE%4X=taase1mgUyZSH|`obm)V#!N?PSwlt7gZG1%`B#8+Cb`9O&RzvVISvU*=( zdu9Bq%LGAm+AI7CoFO3>e0H2p7W$^lqXtxbYDy>VQ{w{<1FfH3YeH5i9F)W)=2JS~ zpL*r&{PTH%Px1dG?uIe%3WOUYby^}te9QL<9qW0B_1JWmLNKnBET zod07>i<6%SEr7meVbTFz=-uk2PSX!g#lV|Tpu{ICCBdZS#o_<@V3XK-M`phUg@dBZ ze2oso<^YMG2pndb4Pz8UIx3_bC!bzs2uMRTWkOr{se;iAZuhi6!yqU#O4P#qeT9N@ zgp9KkC4B#>1e;I$_lWF(5t{A6^aY?Fq-3kyD!SeN6yQke?gv+}TVqi};~?nJ{nBfL zMwQxWabRf)k(1i^%Vi$~9B6`N=_rD>VM9>1HSsK}uDa0$eBSOKA7tu>>Mv}+7K}p% z16B*WXFM<=6^Stu%~Uc_zejm5@ESI1+Nwf=c`l#b$aeTH+T-iuj%vbr-7qE` zneZjRV_~KN?65(NL|EY1&p`oS9qcz?eIjxw^TS8{7XEL7F+5*uXGzB^#ok z19Se5B;4r8I&MiI^?qqKaKeOg@HRVQaxV+TP*CZ#aAXBv1?P-M0&Tg_ZAkz4^_5a( zqNS&pO(24aGemXdYT<(t5EC?U2^(jJO1io}? zx~E%~2DyXxFgF%<4gX;0VNHSwQ@BkeWIhOE*~?%O>#cDX9KAK*#?~9vy2Nxk;?%SU2FwkMxH%2czV5+2Z#5tX z4VU05k~C2R3YBvM0gPQ(T4z#lE5-;83W!;?6?UaW00iRJ*m{(ar2gi-20p=>c1=eC zwTw~1U^x@3MgXyHiBarY1}yZqzEx*ssg)+7;YjGE>9ldtQuD1kI@E=%;hC&;z;A10 zY*$_qmm*_~wT=!Rn_uVRJ^x-HcSIB&SU(}ju(}6=jKZSwI0vT=IOzvwrD8U*0T7N} zPRFB}z67x{OY7VcJ49e&c587}*4H~sJo5hOIJ zRRZfMz{hZMSFEKn-%8d8RCudfBCWJ)asIvc|Iq#mYYjdOZG4 zd^)R~H}#Q-sRa6F4d;rBwDjZS*|O0)d9eLU0>cL`+a<~m+LE15ovMgJ0r0^iF}P8A zaf%b`Sm8EJ7TF(csf9eC0@ed5=s(t5EkAmdp_E2XC9ov3wW0}C$ExHDvHz{t*KAJr zGIIcjkFD{Ku;7KXPz1*+N4cT&!6TJ+Nm($!Vh_svBAL0qc_rfq{+W<3VsOBe*pYtc zi}JW)Z<13%g)%I1xGKgV19X;`3Dz%7n^_bH3p}{fLuUPf8sGzGw=bW-sTHAQw>P2l zmqXXhn6R6Yi?8xo>|I5lk&gY;MPapxYc-3LIQZm=gPGq^9q)70vx={uIx3+H(Ftww za&qXFMZwHwbEa=Bu7=6+z?yoF^WMFb<4rl-aV5J0OTH-aASKI?1L#JU(b?&?b1gfr zfW{n@X!(?pC7~KD^59*%Pn=ZKdWEVI9kD0b1&0NrGvJ69$8)+14>``oJ95;Mc8cry&A?-1NH1fk zEbBKu{H#_WT|`WWIM*I*g7C~AZzm}5w5caDaCTw{@%}ecFN8Kgby`ZA*z3Oeb>u)X~gu{4xy@rV2l22?B z#dtp%*(I+tCF_QGIRGt4t-@95&hAVp(QEF;DYbjK;3>)u|u9 zO$*_e59lFf2md$@J%@47(C{?XV8@UkZR!S$V>ZMxI#aiHxhEq!XA>^4SPMt&axp)c zD-pyA?ChrO%|H6HShR3_44kV1Sn$*Qv(N|;o3s7+^!{D&`9tFZx_@tO?i`D9;2=d1 zVm$hlpM2)TNxvZl-0x)mKa$AGnw*G@hQh(c4#OyC?qKO=#X`i)%)!c;%oKtS#=^B9fnig;r5@Z4_ODx*(!W6ch`OT;IY##ye^C=t<0x+<^so)GS z$}5p&1NS^|0f^gQh>gBHD})wME8*z@BF*|=7hy)bo6Ae8@zK+Rg8`Tp593fS-AEPy z6DVJQ-71iL0_^w(z8Ua4sd)g+Ji)VvP0ctPkiBiglpzd#L}@kTJT{mo`g-7uFakq8 zg#!Wxk!AnY1rR;Bc|aEF_yJ?nqam0@|6V%izR}5hTUTH0uM?R2`x2Iw145$*7>{Ql zehpBX5igREyhi5A%2FyekXyrhFjNb`HL!aVbSKb=w_tZ7`(9!lDoZ==odMkZ5`X}$NSE}4uH9~3Ve95|HNnp z?cUJvj}#u3Q<4K8vLP8)O8C=pwi@a~kcBpZHXuAVH#a_=5Xc22fN!RD15cZ=S z#{82M_W}p9V*y0`i1`ApfjBk*r2Yy(*{1*`%mDeTJ*fc1eu#gZhX;@inWEPQ$?xeQ zM}KuUgnk3+S2cbE_<%U>1^26ab_Dlrm0o`X>vyJK5$Eckh9EvTkNr=29o7LA9l&<8 z|D{uQ`~!UiS=akTeXF+AL>w1fuD9;^2JIa^`5_$tka_zD=?j1#zEXTQBxm+;b@$ho z10c-U_WXqYZU+%1P>$nyITM&LpxG=TZF=c43SSR2@e;GhHdm)l^dB~#Z=blw$0dv^ zrQ>$r`jRGcEQWV9(Tf7;d&Pc^UAI?5kQVZa79RG$tddH&d$t1qnO@%Pn_V=D9RX3J zKu5Q}=iMbI*8?09Zn8Pf9mKOlC^`MzUQBXyBlIz~$Iqf=umA=yH;Q?xi{vHGnv_lmwPwf@ z&}z4%g}2oAOmohyOYHe-;PZ=#oFtzi3u@!qWy>nDY8l6g0id^e6;gkb_Jnnr{=6i; z_dRzoOEQ4f`Bi_|L9S621pVz1FWCNJPQ zN7~Z7FaxkWsZGA`vqw&2WNB%A0P*u8@OIy|-<< z6R72q89@@aRO@o)^r-Vc{KHsioepJ-@-@yL5NR#yn&%ESyAsa(&*iPRb-Q^Bi82Y0 zMDzV7zg%?4TWg%d{09AC7Go0QMVYf=EoNNcm;jkLl*m)?n+JkZm?3yDt>;J`sWRo~ zxa*eK&G4YvmYT01ryZ=HV-zRG{EB4J*h#xiy^ZAkCC8 zd#~&5YYMC(xwsv^E{i3;Syi|&#olsYxi1N=B|H2B7qs9NQ-);RQ>ReBY07jCp5quK zyMPP}^%uc9xaHhh4-qvDGnPz=mQ4Fi5qCfTySf%Fxm|D;H_>U8-g&1e%vE`fgbYMd zo=#LCcan^ng$05MnKr0#v9C5=pTqK>+oM znVkS}*sp+t4BiyuJ3}M?d3vq_JF3`KB_Q8v;?+?G41mFR>H8Ugb z&v{)L=V*A6;T!|?tB;*HS&lqz@<-fG;=a}&K08@pf-~+{Y*~XBX^WOcSxPx?V zvVFF@M$W$n&HCfGar(RmEQvv-C|RLyveg5RE6kqx3{f0BvZ1Yk_0ZMuv^(m6Z{XGW zOt$`XO8L_6)bJ+ej0ahK2>|EC#A2e8-?dnlo393A+-L2z1=NLGt zS4!TsUtewIu3CK;b_C;xJprA{Y&cQ878Th96A3e@UFTcOE5x?8k3Rnv(gRK6Y_h$% z_udxzn%{kMgpoNgbyP+n^Bujt zrSkEbt?mM-lY!;lAv6UVL!71Gb)$B+Za&sS`2B_A#1PPFjq46aI^SJh%a}g2YfAtE z8+ViT@}aP?YuDt!)5M(Fu8zthJ%*zI^_cqo;Av@m2f}j#?qCg;d=D*NYxC!iMavY& z#yS5GU(M4YJD%W<7oh9>6C&SN*f^Zp4ZtU238epP2|;Ih{8~H5`Vb55Li+TF$$Z4| z`P;SRl{LZCP0M(}%%p^eqXTCD-)XHd!o~NAE(@15JDP{EN<2iK=~3Qa1V0r8wHdX| zeRqv%+WXpFkS)b~2GfX)q>DuX`W%<TFRe(`2H|^exLku$GJ}qP$Z>46qE^Kw4KXf%1ec5MtbAaKBuK zXd7yE;eeTZzt2*L=!N5Bq^00dEmrCLN zH%F650sz|v&VSlzGsq!bjd-Hl#XDpbka*)n-^bvxO8@*3I@}R4eq8&+F61%BwIAlZ zw)>Pt@Z1%4oE~woZ^b{d<9eVuG52BdFHqHf>2ChCS&inZE6YUC&I4SVh}4RE7#%3S@%rJ(k1u)OJR^Vs&pZkQMu zq)c)^DhL1pj_DG`b$wE^jFKMay{v6Se3ZL_BQq!Mtzo8J@@-oqp19%bw@v~BcV|&q zOXd~gIA&VjRXaQ#AI9ZDymBshomHR|RhcStD(G%K zE5^Vk8!KXj>x*F22FD*&po!W5HOtAt0H})Azjwr*l}olUb(WXH3M2y&g1;-Z$?E!) z`3l6PoEd3esj_8eG;uL*&{Htwd2k6so*^CICD670MliUDhpMLqwPp!pxG|}UMRjXB z+6)}wjD6vVtT5UR#k3QL^S>;B8Id*&@L1Po|?Hf5uAM+WoB<@6A1M_~^NAnbtl){V-05LOjuc|K=plBQR%a_5zIWx0Vi;m|jy(eNK|q!@YmV`< zF`CL~C}$Lh4_;lTAe+Od%2BfmVJTD8TxSG5X|N+HC4OPnG(;<0ZsH*rV4l3H&*2<) zuY*-Rc5sba_QtJ5o=H7{;c19$zbtv%Yox(jW`+&{V;;ieO0DFB9*5={MVu%3EOs~k zkX8q|`1HjN=9XSI8W~AF4kQWr+|?i1_@${VKjCq>XGx6RT(|eG>RuR$srF>Ae@H4~ z~Q<60fpws+? z_kiEOuKCbIchy@~wSxBp>(~}#S<9(a`Y~$Cilp<8ky!k>XNBEEyWH}vwVQn^cN)zH zWvLWJqGTz&9q)*fZso6eci$xqhEX%0{$Q1pvSoCR=D4g!AD$%Hs91(jPE?rA7kpt(X?2Fhd30 zJIk&Mg)N~(#!$Ej@CpeIc3(ccD$I_I8-+iJQsq~{(i)nx)Gh3`l+GQ;qG88UZVSQp z_^UphFu4 zz6JUW5K?~EQ~@wfn%TJ|5Z$8 z)L2nr$WfW`otE(e$8!BJi9p3iO@<5gu}<8!t#~`9#Z#O2OL)C}ZpHBB1Ap{5^}6f> zyi5Ld0+K;M4(to^h?#mD4M$~Fu4riZO;y&Q~F+|zQZUf#XZ9V!ovA*I6 zFlsP(k19q5S;om+ z^pk-bymT6dxKD5f@r{!><*j>V#&2ne?+7aE?MAeLnioju{8~cD9BLs@?8vD+B=yc) z0+@E883pXJNDfoCRfB6b_H{~Ri2yzTQ#na&592XjcXyxU%M4gI~3*0ex$PVW;X0=8#NRwtGgj(bCyKE|EP-1>>A~kmPJ3V zv}wcCtqZCGR@3LG2Tc`jBkv_={RCdZ9F|*b7Sajl++SI{6>`F04uEm78*gXb;=iy%H|#ciDKpsa;Pp^1CrCB4Ae@#YbRTWk@)fEIG*X%sN?Z z?*={ZiRyRHENX6;SKlQxV|U|YeJ9#~2-S2JSrBo5G6eg!kvPn*1flgDyftIqlw&xt zS-f8VsLmdH(Kp;X@BWa4KA)-r#v-fm!N0Ff3_d$fhdeGiW_?N1pw9PrFVoZD+$eA3 zw-=IEdRU@5fl(nqc3#azm=Y;xBhP1<(3}gBA5aS^{(B8+PC#Etm~N~Y$|A!R=s}cJ zmO!;rD~TokmcF-bW2YT~wP3YVtFY3A$Q zJH>pYasZO`Q?NQPJ-HhHXuK>lm^NtQZNcm z-ud3}{{nY%u~xo*XQ_YSDhE#PsU87Mqn|m;Mj;I(f%C<~L%KbZ6UVf&^%u4e_n@e> zW~loT*4QMezAHn}ajJm|QiuYA+&8!u1Gv=?Uv0$8$~3kBC5z|n`;GJ-6Xds17$%*2 zMM&vRpN|Vx&G*U>Lb796790{+n&|K zE34DjgMC-Iqhktr8$6BD74`p!+P>^Xx` z$SFcYof?_zZ_Xxp+-Gi6M2>P2Khym(Uw1OJ8CEtnM_J`uJi7BWrZm@{CjYGmvm5cKL!5u1x_;ZcaG;yed5YW!o$tLKE z1;oTyemBL{U}X(5^1&usy48UbkL{Rx-3iwJ)QI%7IL%X0J0B>UKcYVwucC*fVz%Oe zL*^)F`xG$%pQ|u1twxuFl@u~nFPEOh@ipVw`ama_B_|743YA`!9r~%f+00jHGX>d+ zyy&w4HFT(wQ`g+Az#18Ct?6JwWpU8bq@IMEMWm1O#~XT8C97@!5In z&n%|j>IS+QcjI2Q?y#^VQBn6gMcZ8d2jT)#I|tqp;YVXhZiXsE-~4W!36@i3fq{Kz z|6A8=^MRbkORG&W%uPPIpzmk`%AhQJQrge)XfI5#QV@@3)q@q$A^tm`PMN`Q1z9QJ zD8)_}Dix+) zq_a%!8Bf;bWP8Js{VC`pUjNUQX5YYoZo^U_**BeFt%^(`XAX@(XaaigcG zRNDNVMA2r!VnZ~iU#B1e6?= z;y1xjWGv|3SKFX0&ou?xqZ{OkMaM@HdZk<|-6IKEvq)l85YhbXX`n<_== zdHYpxf%!fpjnPA#-6-8WXy_Rs#0aq-GGl%GkzVlh3kJ4)k1vrWXz02Pxffr_^2q;X zfj}v5?rYpi3OQ&ZaFoU2&Tt5T2nK$Ff?&-nkb&DepD3YiZ;CnR*BwcA*OYTuY&A!Y z;46!&PR(Zgm!B`NeO|Kh@5Q zW;rdry$z1pnyZAWSm~_4=oMIbzo(>Gt2zwS!;3 z<%r2FHpYf|lZ#`6qnSt%#h&A%KUsdVO$XlVX2xeOx1O4;$^rN-F3gs~w zLVR3&*K9KSZZxRyf`5};)#&y~+OC-qT~g7mbGRh}E;}?9an|>6&moc}Ov<)(!frEk z@*`wRM>yQ6pHQNI5+Aa7jX9!uHkybgIN(#OB4+Ut4~}p*eup1`MtebsD4Fxe3T)o+ zpT8aupQHkS5C^IGF_%Vo4!Dxr8XXkRTVJ|)!mpuupUB(LH`TE1lh>B{YV9kQ3iQI3 z&I|MvhMSCwJ&-%AEw6;z6UT6Z8T(t@ju#ODo5#rz;f*DaKJYMFav_*`+jlmChQ(fH zV0*cU+Yec5#dHs_AOGTos64TBZm%4xvt$c~NkFxgs&TP~+?dA{!~!5bw~9c_&9ts1 zv1-reC^ju&TafjpIg<3Sq;bZPR#>C@N+ho5*D*5Crd)(jD%~?6t~HFxtb}YPv|mL1 z2$4OUv{)S;kx|WtxsuIs?|ymXrX4C~Q?giBV`@DXpBM$0B&AyX?XnWuo@~x_ZDAB@ z#T}5#2ExMUf&{_q++-6EgVOb1Jg)WCY>8TrnB~QEdW!VD{grMaXZxiGomBsYStJpV`*sn5Y^JaP?Bsz-sq2QA{!#1ZGkk zEhTxv=Nbbj?RII{CS10#-ZW`69WuLFi5>kC5EIr)Dm->IfsbxLwzB}E!ro737a(hy z5{?L}=i-y&BoX0vqoAyy)$E`D)9|3?%L9C;ot)|~CiSo?u<&Yct~G$Io_Wu$oDd3Q z&t33^uF*b5g2l!}9IdKhRTkVXKPg!W*L;n1cAA=F{0e&P9%^p$^9qDR}rO#R*8(vU|w2?opx!T@5HtsZex zl+rGBp1K0ngwQs@KibV%FhvHZvtJhVK`_gump98azZ2kc%agBM$)>2D(8mJG%Y)lQEIy}I9*2TrV@d-0IB>bN zTsSCa|Iw4UbIcfFv;MZf;Al*?{uKe(eZLDN!f29L=h$_?7pv1WSiFcn4}N345}E9x z6PPDL%HHFvyWp0xpo2E9dz=w4_eS#mRk@6=TR=yjNm`C-q`6iUS1LzS&P)WP^5EQhE+wZ;o|cT0G$H0=I$)bL%V| z9O34{*FMr1!6U#DzhH2N)vg3ch}1@6LMdK~SLBzH4*G>ld0R4X&^xa3b^dGOsEUrO zSMxP5_`Y60?>3xQ4f~R9C6{-|=-tO2_wUa5<~ilolGD9IgLGD6aenHlBFVY!71;5m z5pG8u$eApgUj1v2jt1o>JzalCcrlg>3Ss*_`XuICG$KKw~)&B!1j9sG}OfO*ML%%xW_& z9Dv}*;6*}?7kf9&hDQLPlAFF{Abvh_uWm*i8R)2sDo**oc%83^tha;J_`f{daT>K* z#dL;&+c6OU#EY!cRcCiwnjjG1z(Fadn4Db#@cit?rIjC{R|C#<`Q>KQi9wyI#7H(l zzSiE&;s)QJKmA`{1Ceiz(g~IEAHogEJuU#H!|DsK#kw0fwY|XW z6z-mS?74Fk3bIjtn8qQ+U81<)PH`a@Lo#VLz&yu+kuM_KDQ*mw7l zQd8Y@>$>z`N?V8wxjO0~ptQz%Dj(yXRLQVdPi;nowVS#u_5aSD%+tWChQ7M4;QzZn zkY$}H&u+6!%R2%j`A6wH(xukY874-+%wcM}1`(AQ$@WHay(Fwqf{X-}4kPN3RhL0) z6w>p!#RU3UPgjg`?ni6z$6zW&2}K0rVOJ}*nD$L<#Vk0zSfw$(Y;%_i(ib}eGwLHK z6*~@sD$pMO4M%FyKrxhmu#H$s<{?hqP$;Dg2ySaCyCVSbPQ#Vwq#orh+peG>s-&U9 zT=~c{_)S`lE*{$;9GS6OUcp>@mlx zo{85}^I!o8iqb<|7eUm#oKr_ttHg7o97gqZmL{=f<~gsYISjA|8rv3`JRQQP@9I$yS~wC470};?l^nmT$)~hdf&! zkx7|YO!0L9IS}hv=V=4+GWu;nr+&xClRPK61C)SLX$_6LF=>B3lu-?QwMb_WkD%;A zA$)G-6!7#sO}bbmsOp@>@VvWz^XKtz-WOMO9TvQ-&kM%Tu`CXZiu|FnpjWEb_B^)~ zwo}pd&=A3jrZKEzBQnM?bAm~=rk&!<5i=IY$E6+g*@a%W9wvgo$sS1Z9XENQcUkWh z##w+du6ukz7xaJa5gx&1H_PZj|EPZHzxJ1}e%hHfOayAs1-8sG-Ac&3EF&zXX9(sq z>=KPTkU0h#jeRMRHSeh{HYn!jc)=WlYg>J>zy;`vsy{jw&Bv2szBG@=I~I`QYg0FE zlGoeOcu`UR&tbfot7BtLq;@5qX4PK=M0>kGA!%u}p`TnSktCSg`*CK6-^_s&N zWGy`!#k8_WOfl=<2L+P5*h6|?ovV416C3j{#T)1%>76zrHT)v4M#tCo<6zv9#t@c)jFGNKpXM3l;(S}|nGxSwabr@0J9#H6y%o@ait9FY(e?6`AY>sGOeCKT-u&wAZ7)Y0q>iR`FcQ zzsh(IRLc%pCZ|MOdbM`pC}Z!>)p$yo#4CK1M^JM+!r`N9L}FFeoWLPLz%2~~9ZqW< zwlcgwl6?~RU_j7(cb@@NQc|iNzgI(<_@WW=myjEVXi9mio?$8 z0h}nU*xDk{%uHH@np0DnwbwD14Z27BXR@kE$C`vZ@9dIxI7cqgZZT@{B8 zBxR+tACftri{J@(Pm6wiOKn%b^jhvWUTLTKlc$A0>&)IG=E0EwY0%Ci(p;$Epx(%Z zO)rqLBs^k0Dh@#Z9O{gPY~4i}0{N{yDO2c(33bk!`}0_lGE1-(ArYJHUQ1P$sAHhF zps14WuNOwk(!YOtW%LYN9ZSCq^-}o`lGBBYx9O93Q)9=n*S*8&$ChFU*~IDXN)uy9 zBL#c$eHY^k1Y+4I-}{gk5JMP!FoXfC`8(xa?#CPuGx~tg=3z*w$I;ibn4`Cg3SAfb zP&Ya1Ie}E&aJw{VbaEGX#boYA@$om0Vj@O=AF*tq@hO8T2X59PgqNNTSL4K;0#-T#xOZ+W*oA(5f zX3+8xFF+qRsXOb&#^c9Y@yCo=S%k1;*yX$Uuuor5uh5XgL{FI@06ysj0{_ z8nW-xmW`7Iyxy8i?;uJPo=H~@HCUpsK2%=yjHwO@X@}Z&l1(>LNhXzlQAOZhK8|x$ zXc+6D8VAqVBvvUf6j>J%x^DD-h$!M5n&@jHC9(7>&lZNh8#wN2UkU8+>2gCKBLIb+ zhqAJWwOQ^qRz6_eNEd!_sgaqPB$oK zXOYL%+}y=3thVVIc`I0l4HZ9m1tl7D$PoKlaaKM?E|~&0G#>H2QIbgiFaX$-cYX1@ z!0`XfIO%XKuX#y$f=uJIs}4nEtN2FM6R5>U#I>KAju-9-5P?oC6FWT&so?5N2QQLZ z6G)RUT(@xY#7~}I$)p9nZG{*kXX=W^KCa8J3eRnd8e-aI z<18zNSOgSFOKVL&zs-peCjcoOa+sH>Vhw9ux4J@71!TL5d{)bWKNu?g=b5e4ea~f0 zE@J)a7h*TDw$m9K#Nvqbp_XA(e-YBZA27Lc2&{O2$(P+1g|N&1n%!F~ALn}e2h6IH za{uJud4}vAJV`#+Kec=vWVwOqXV!XwIPG&L-ZVJ=RT8t3Uzl#xfdI@|?#PKRTMf_E-Si!a@u8WK{WQW~-gtb1D3*Ot${d_++1 z0+Gp5W}!B17++hbF#fhjBUp%-1AHAFd-5ruRC&~_#l9j{HVY-aN*~_~BU6t;nl6W5 z4Q~0<(q)zBq@QnR$^o;>cmLsJ7ES@5jw(IKBu6Rk&cQl5fBok`8=bwqY;%!?WZY5S zhDz(d3G4~C7-S`xnFIk0QTrsBagmpI#LdzYlgc+4|J`T438vAbjm4BxPRt1h-wyVX z->5Ef-LEPNI0BkNU7-eAFpYmkcTIdql07sX!E7k?e$gIFegPp%fd+FD%ijWM`ja2M znc`)4Yio$FnQq2t3}I?-pZOB2c_sq+4U~FaC&p~X({)7lwU_J}j`X3XLm~Xo&b*nK zR5jGwW;do65`-_e(7=L;%1Jjq>lYoMFi{q%@;ZkSa3Q z(TCYhh8niuMwYYQe{J3ocxCBKnh$IL4MHvmJAIk$ezk3{a&L%qb}H!y4uqI*2nXfN zI<*D-TT=MR;=jna1?KR2L~3W7msa`?^K`<$z_r5CD_Rj@pEJd|()&3A5wsci{G(fY zKwK|aHAMU7)zXA=loH+2Ugx3J;Ezo83u#52xc2`LCI5%9WM%)~KnXHCH|zfeO1M~A z+5Y26(7?D^Il2D_zKm@HS4*+QlWRvt7;ds_Uumx%0XE+I;g43l`sls<4W039ceW z&J!{QCPos{mYmSj0wW?LqxsK8`Ui~R-rNFz#uWOEVZ^-v{fSWXeOQxJRO?TxWgxHJ z30S#0_S|DU}&?qP%5m3<5zu^&Lfj~4yj_v$Hl0g3pZa|U0pov64JqS3I zk#2q{xPznT?K=N?1aL!m0K(GJlKg*!0~B4MC^!U+0O)`{9igtbD?-3703##>4)yf= zuN2&}j-H-wAVEPNAAcVKu&ajv66GMz!w>L*dpZIPp&n3_H`E^RyJUba*cJL$X#xZs z0AokE$Da-(B+SzXjDiAg4K8p96yb3j;)Sq>q5!w61B^7Z0eWsw#GhpCKMDMRznTLO z77+eB-Cxna6TuOG1cMtKMIq5%MWTj5{zc|cHbH%|`%54g+k8U=r+xoxv5!d@Ba>Iy}8dJz2H zp9&lWh1~YtPw=n9bw(h45CQ)|FgU^<_PY#wFE>FG1l-*Vs-f~1=hj5jDIn{R6f3~)ob0bsXfKm*}0=b zM7a3%5+MEOc5nOipDla;r2+20280Lj-??;=x5|YAxc?Elm5{g){9sqOi{D?2TjhFr-cErI@^%&w|4TK4{yDlz zNEiG6^?zx2f^TO*5#iwScN^gzYH(kuy*}I%;`par{>Z>3JIhxGgRa07Ie(exInM=&f*mn}7a5Qn$$HZzL@V5Cs2&qyd7EztQi# z3flh*3Ihb8|AOKGLHNJmZLI4*Q1~_$@h^BAi~Jjk-EwcQ%zwGX0D`E0!Q0dx|AG<# zLC?S8ZJPu=eUSfh-`3#u2mG(LLA+3?+soq*Vc+)jKlqQE3JUdwLI~z(kPw-0r+48k zXMa_S3_ie(5xGf@4YM>JV8A@8)$4);FNLS_Rp@8biDF9s2eQR=Rqo>l3(VI6+l{q& zQBBDP&6iKEY?BPfH<}6N#;AKo-)<|`^f29J1R6isd~)sn#5BYis}ZwZlOx;RONvB4 zm*UK)Tiv&&r{vR6*P6i1HT>uFk6Tu&eqJ}>#cFX`0r z$s~E!=nb=G5+6a}k2ul%0E-oo`15K1r7~j?j}AI^ItyARtYh+_an1mxuc?|evjIf~ z37V0y1u!O?nFje*Qn0&NHB0-vY{}s0>LBem+Ysdv()IDk1c<>Jhf@DH7o)5;T7UBF z8p*t!rxk*z&1Ys4#_IXU`pdk*M^p=PvidkGU0a+rCD9O`VmPqs#5> zkw#B&)jq!odXO|HVwdA-*%<)#CEjVfBYE~SaCB51f&a$x$oSEYyzv+YV?P^sK-iHb zO9uDx&KtA7-U{*?XL(G9;<)iUT7OPM)t@!n{Yh@Rbl+@4!W0&4WH-+r5ZzgsbvNGd z3ZJttv4oDtXE=d0I}zA}T9+|wB1XAYmM^w@UMty=D-4zCV1^>Y-$_;$fx&N6qjS0F z-$ywd6`txdfktY_izl8EezUJsvVZ<$T%%-cH{zj<&r==JiqcUin~KVw@PF%4QM2T{ zj%b0QvBP#v0cwfaiYX@9G-EoQ{vWJ$^5H02Zn`qv(2rDaQi;~W*fQlCESx$|9CQ2Y z_|i;%`BdKgTqn4yWl#LlHMVB8YNjiooX>4KVYR2bxyhK_`r*CkJrbNLMTG+wTQZN% zVx36+hSL(lws=37kzdj3OnClNj zm67?JrcV8-SewE?+J^VcI2|2R1YdwfBmO45!=LVpmTjR=)*t5k(1iJK7=Z3f_v1A) zlgz9R3%nSog7`L-Q0IBmzAT~V&Il!!wUCXGn9C5?`ZSeMgE`6Pe}8pPy){P&lcysH z^{6a41~gkq*$>IZq*fv>&XLqGoesIinc2uTyJ^fcv?i{5CEblX0TIQLiDL0`4F?0VJc}Kujz`UFvA8e412k)NQ=UoMksQzyXPm` zGp^X(_9>EC##osa52b6K83N=aEe-;UUo9qD^KJV>BWO+WEYk<>(&M_;0o!;#uXn77 z6;QIzzc5v?09K}UR-{jvEoh~>)m0Mh=Dx4bK^uFW=I_twZGYDYQzezLoQE)?!I_+r zVsFE?aGrfzoM`XC(WfMrHH^!{0z?6 zs0(d4(e3z1Jk<``&ndJ_XCKb82aUlYR5R&L*UFbVB3~X4iK8mC6AnRnv|no8_Fb%$ zw+*9LenGOyXMc4b-z{2+reJ|d+sf;IuMEUjds}=`E{`*}nMRRPpN6-AFP7ZGB;^mi zV}j48NxOq{PUn1&j!0IX{~@}!M7|Pzk9--;gDp*ys-6X;v<>GQor=PJDRS15 z=$ZlFJRf;2jDf07DgJTPBX3cK9RX{CT^ALea(~j z(zXUNtGOv_^BhXrrquhj6`5D_F1+ujh8RGP80&!YjBfpsCn@i>n=WfV&RM+qsEn@p z=yH61Tz?ir-fW*P{B{^57;*t{VBx3yNYJ_%7?(q0Fv7QwCoO6k0BB1wh;y0QRpV3A?IgX!nax4K#SlXyb2HYG@L8wdC9ruV6nAZl!S;Z>LglRg=bSQTuBPtVQV z_NgZtAf9TOU}(WE>zJ*)?332Y{PR*wUy=>1r_%1e~Ti#c9r#N@nZ9TyQtKfB`x_0oqUcRIJ zVb&xv?r3s5yXZB22gZV?%)Ta{l`FvrGovQmr3CH32WL8p_!-v_X;xfaBEVyniB8Mb zeZW^o37-H(Qi!bFa)ozb<`AhqhI0OA{C^4Fm?s{JvoC+Zw0ilD%7s}%%Hs-?jS%N= zd)CoxaY45Ccq6Tu-qcya_gSdUHHYD^2HXeJTr~k&H2_#^_ESGzqjOA>z>{dWx~YT@ zxB-)9mEHASq_-@Yzl8yVjrR1GknVRw_ly&kPrQ=-UfOysBXV{@!|2^B+a=Ar*MG{P z8Va)FKl5=2jfwm{3Tt-)y|f>v>dXa~w6RLQ(Q2C{#M(XGYCiZ9xg_PM2Z#+gI7oc^ zB-{Hj&;1VqDv^wgqB--MDO&6)bd-5t@20l^_(g->Wu#6ld33#2p=n;3G`xvU&i`Oc zTpv6Hsm3c6`H>XH5pw0HVx?1i&wohz;oQDKT+8%p6zoX7(B{fYTs$g;ZGGOG$}-~7 zXe|%b7PZzFqkJ32S~Q|Dy*Z1kp^c}Y8F|Q@-)MVKdpB(% z{$ZKedjqWio_V=pj0iK87JK<-Bt7)|f<>m=dh2FHH zg0h|+co7+vHu^m?c6OnbZ{k{c_i$&DXjytZ6!?PYy#3OvnxMmrkJ6>q{`iYn-M9Dt z#Sm?esATFhV@+I35Kfu*2!H)m#O5;vvuNG3SRE?fCgLhx9QfX@HtZ0lHYHf7K$wRy z^a4pXGGq%LX31V8UQ_z+X?^S;YSl`UiBq=x!cZ_BCH8jv>o&E{MNumCG)CsEnom&Q z9#otw-ufV@)}ljy_`X{oX8i1IeF3Ucp-(>%9NtelqMghI#A4_n7=MLO-7AS*JQYP`UJhPVJ8SdN(KAl0RPoSE8#G{Os=eq8 z3&6X38PaOJ+}3a;QejG$RH5tfc_RMufHbI$Ln&;*@!7#AcE(x$)kFEL%_#aqDLkn?>76}iS$=gn*}fH@VRO=gg5qngz>X33W}ohx+`TaPf{gw1tmMnvt!CgzQVqR_VwjvbVSYSL9%#xq0#iGSR=oN4>)pCb~3K!Zn) z?ewQN#|b(&P90l#MOj313_my$)$Y)khTkkaRbT7#ZV1Iycx(h(*#>Ds-3)t&>ibF0 zg4U!nOEI2h4=%|*I<-Xfy{s=k`nY^2ejA^1a;0r`CQRx(`$an&D-?fBj(pmgiIC|h zY#A1wlbY}>Yk!cig1k7imPp@+LA6f0@OYG6w>f-4Hut*d<|(U_IZm^=2iCO?ihl09 zYGv(@*VEcptY2Av@WN>MGFdQ96r+apGG`hPV02}-VwXILRouz>zlI$kyt zNugvy_I-O^vO*wRym*~fseav11CU;mFAZj;HD#e#=VbD|C+x6UxLxL+=A0sz8u{ZH z5MUwP5*b(7vh>h$uOj1%8W^j|$os)W9{gLq&(?$=+qHeh&7BW}dy!-u9s{4znO0cP z^XRilYk%(ey#)f$#sOHQ>8-*z#o}T>ME1tIde+Pv{0Hwqy*Vyr7d;-}O{uT*ZR$-E zrZKSQBh7m)Ig4%E`9m6*vX2{gjV!*?MO$u05Yj zvg^v1ejylY-_ydE-MVT;?o&12<%B zt$|R@hB-U>ltD|EUKb`ABY1%tfzlok!-IUZZz3ufHPW_T7Rrl*)iW~wR1l(p+dbcpFBM$&@bWpYSx#c>Od0|xw8Bf$X&@Q$WQZ-2HW ztjgG2a!OEuJ^~U&9UFpgg8h{L)KPLzN+(xr^gH8S|F6=Z^`V+or(dop@8eAUqj)xA z`RCdAcEP>}&Fi+O%>{$nUGKZI2>nVUOOnH?jz+~v#|<9{2Eeurlz#@6+7EQ#_syQ5 z=hjg*-&iWK#G0?O#uJa5pTYF=kbez3!R@hs7zIxJ+R=>iCmi>PjG3rSWKH9aw=qE^cJHoK*pjkk?)n4URm2Yv^eH5ocK)AQ=is1k3q=Qg}X@3y85*8V%GgX>km)AZbsg(MVai$wVQTFzAR|Yb zl2R&$c~O_t%hvey_YC2BB4*BAUL5FKT^r6qFO4V1=iz)eGeX66tbc?cLd-;a8Y8^@ z^3o3y6(&B%daSCmmqAQp`v=={Y6)Gkz0BF9g?bg3)nN5{$n`HY(9$=p2#t!Jdj?6vb*8q$` zcj0%p?zqU;Uu~7ILVwotB0F&S1YMM}$I+Bn{t>6Z&1}LpU7S~DR1{{AW>mr$#kYuP znr8|@A58h}gE6hxWeUnX8I27)I4E_bI#qrIy&u!g@^};wty0S-MtByc5&$l?a*}Ca zN92>)4`gu-4{NCsrE<9?ZxDee@1HE%D&M2Q6rQmsA-Nj30)MNjk}Qg`win1+e(x^} z#E}e^iK(0zSpDe|#6;Oza-#%92gZ4G10 zt+-uYw^(*?AAhGUs+O%sB);OT)nXA4^8ChAmY+xl+drP3I+RSojdvMGWa#*8n9IH* ze9}+cewOoof7yptgspi1^ki_XMPfN;R_x(L*$w978oe-}PwfXNGrqbfq2t z2g?lKlF*RVKC(v<4;s=|P>k9%4INw;%%X#!$N7qq%6|!Hb3WV6v^GOF^)HI1-JaGl zD$Dl7ZM7_SXM}>+ctgBC<9zZzvim|)6`EGXuw9CJG`>^tPB*41tDfUwONA|{Eydgaa)0Ir)oF;aSc?FVbMHM(J)m%kKn zczi;yB!8j4MR47>t(0>As?XkhH?fZLIKI(bH4vlv)lNjjCe)0)+4gIei;F=qg~T;3 z99a||@?1@}CXrrrD*eg=>(|nnE(i6p0j`bD2<=i>Y*#=gr)v2#P_DBafHe9W!_N#x zrK0KvjVJjj1X<|mh0IErRx#Y!Hy@C&>)+{G_kSKhI4OEDUxRktaV9X#1Lg-ctfQJA zR&RTxE<`U}Srl%Rl?Y&4|LU}+$(3cPr*h;O0(3pegjqhMDsfqi6#W!3VEH-9zn7#( z5P(~_7xw77usN0gtNnPC)nU5?GA?bWa%!&QYa_kt2Pq8oX-l#R3KCdtq2GgGNps6= zB7d@2OuTRQRIbUad_XUPFgRXRqI$DkoJkkoz5xkg< zZ04>dxFKlA8koF6NtZajAMM*@TFXPUPH+%vp=B2bebd&w{J^?wKMf!>Qe%j7_EbyT zg3u4;O}~61qfIP3b?moxwhh|Se=Wmmqw&V-d_YS}Y=b16)?am+WHNahB$AG=)_-ht zK1}#ss@pdnYcm!~u)O2AueI#9lEj~}j&SRwzORioQ{j8!F<@_|E>ZE$PZ-axloHQe z3`a{n{~cTRuH^WZ=rj;TO-7a^#)=>wQB2i5oF`|%O<858k`X{-Ca7plV-7ANLoEu% zWb%CMd=Fc;sl!;V!atY^x~6;>Xn*fzc&WP5BJ8w$o-<;$lG%><)FvLRMEBM zD|myWV$Zs=5eT%_jp(DC*{e?^Hj{R9=(2Xz&gQ%>tKGrKzM0S()_DWRk=gNobw@o3 zwsuap6zlV{(LKq5?4#J;*nbJpbl%IT-La1fz}yXzucDtwIcFNLO*^?$(b(&u_*ldRvyd%1-Y)UBhB$NOw%?>jHc# zNy#ZbO@LDE2$Kldo;+7*QDE&z6ak*<4E8RoRtmsFAIEotpGdJQiwSj{(%Z90s_Nue zkUL|CW8Id3O@?Mf3CayUAj&5>5u$(DX$z}&-jWjA?A`LImi?-Z+}`mrg89rq+jMCh01Bu($@knOe^)Rur&fvZix2hx%m8eamc!DV1`3 zPICRV#o=R?eMEu|mCnG0BtsdFCz{KMc>jGl%kWQTIZ3LDc8%(0ZqXt??&`i|5N!(} zR;QeI9`_x{fq&%rP%Tkj%b+_|Le6;KBx(kmR>A=V4K2HGHB?HI_-Uh^jYqL zL7jfkeF^f_b@Lgq1v(v$Nd7|{BQ<&Te$F=KBk{EU#sM__iIga!rJkmE3kS)uOfZyyPsV#6YbW(*Nb>7Vx(prQ61G}0#*4-7 zPhB*0x!t4rahfW948@GS*GBh2KEOMU`-zcaxceIiIwgHYW5+#j zaE`FDN+@&R9fImR)Cs0DUZ0W)3jAmw&uhCn0e{8jIeh`=M#`Uzjn&r|OWMq5bKD05 zk7sT?iNl{Z&$0E~%l)9JE_x&L{nv!Dg@(u}F8y7Fleok~(fGEM;>K@_nU%7fm&pY{ z>tFO_HSHS$?T!f~2@&xkKEq8F4%L=Rfu)X)3D!C1PJQw7bhU4GDP-C+yzb#+e6t^M z{C`mDN|B7FVGl`71Q#lQd8C#cwUZeVV|KZ;fj-8xtKt|OXTJ(&mguC3x+DEcZ7oh= zc?J(~_~pTBYEx4;EEM1KaQpoEo`3Qv-KOBM1ql0$x6l2Mpr3T406xQXsCZnFL_x2L zA4Nvtb2sJ@$Xa4sDJwS7ahGUQ%x**3F^L&$MqrD?|ZRGM%XzZ~Rw94@l;vcafj5zOD+cU;A@brV^T(r)FtYA$Mx| zyO-7-%%`TO7yK)PV-=D8&xC2Y!+QCbNAZaZR2M1v>>LzcRqU+1=O{BxM{u-H1>hAC zX=*$Jv+T^h3UC=cGr=$BdY$&>_J0i>?xD<=q5?T{U#G8gfmAdP~+N8hxKCIM`1o<<`0mTB;{sNPp`FVXEiB zv8EWh?nYQP?G~p~fG=#?$SA7kVq*s--ykcZ7cQ0-tdEXnidZZJ)X%UMMC)7X?dQ>i zsC2@`30dWM#`TBYW5n*IFIV`49;}!ed!h(sQ&MABwbaX-q^bk$^n-IjPy>j&uY4c> zdY)eyZU+@ax&2k_qK2!sgMaPo89c0Q((%uY23~d_El{6#wgoVrm5vMubEy0F&^1+A zj{2k8Z+Q22>E;NGO4}k0A}qu7r>eUh#j~*$e9e;xcPS-6npdxN_yS6LSI4E2}(rEMe$HjWHZA9 zxDXqr`P8VFXN`KbWh0A;_gr5p}j*;j|MZ4&1aXCX3_gzPgX(i;&2~a$|0x~hL zz_FGP@GXz!k@~KH2$vVakbCs{er{*69^>V)H(xG27mSJLY+yn#Wxes4bQ%&n>*aum z?RT?pU&|PQ)3c(O_W)k_vTQyUz~b5B>SfB-Db8z)!EbI;aeuY*)rkn^{Af*`)9QiV z*{*4r@0mbzLBvq24m>sKmiL@<~tH@oT8>34LA83 z>_Nln_G-${rGHW7`Lp)C!1%f<$uJ=y)w3><~`tM;mBzU57?`M z75Lic=llchX4Xw#bmlajKJvhZ;``HH5K%N*j>Wdv?}x^rAE6wP_8c+9*SAK!+;YR2 z$ZCn;$qH+4w4aXNC|R@DAU6ELJ;l9a4VE=EFV_M;FRV}9ytEXYk11L~^J6)t`UjPU zB#<%<27h*KnI}&f=n6NZ)LGf;j}U*>F)d93Zv3t!=T$NfyDx z_)sf;LnFzichCC0@+FM`-}Y*W+phLfhrcoO2zHXBz8nyFT15B9Q=z=nC4n_E>y{ThvH zq=gVYxX^ki5`QLTsXC=~mnNI=0zsSeW#jqhW}fG*_dzNV*EigUTuKj@>oR#B+Zcg( zFnU_)J`KcHt%0OoB%Gq&ejcTaJe*{uC1uccu*q&aPxvWF2ewu(DBbbhO3!o{Fu$qAd`|A6cI5q3NK7$ZfA68G9WQAF)%cfFoYEZ zGBPwYmtkiDCx4B$1yq~q7A}l?kz&P4u;K)FcPQ?ZA_0Pvpuvknad($Oaf%d|;!@lx zPO$<-itD8_b7tn8|6l9gm9>)Z*}nJt?Dq>Dm6|52ggMj{EDMFWuyU}m3j(B+r8K2D z*a7V9Tx{&@oEUU;TGlRh;J+0ZbUI)sXKN@#@LwiUPJdvK%acqRV9m#0Mkc?2++ zF#ar_D*c zuPp@X2J!kET3AEOEq*s*?&<*4hFCkgf)%9yGI|nW{3Ejjy8w9D`T4lnIRRit0NCBk z3V--Jg_ef{_zxw=Z}C$XK3)z`2Y|&>BVZqE3-HqqhLRyli?G|%%KoFkAKYnIAx&R zYbkA6UFQGv{I^z866y}{;@}3ba`LbPIDgpr_yBxQ4?h1LM-62CR~`RyRe)GP0l#DY zuJ>tB|EU@F7Y!KxS`tRUe+N^6KCu@JVEBjZZ`pa+&7QtE{+}uThs*yT(|3D!M9e=`Am^uzbNS;Ge`D~|PW^WYG7vMU`S0c9SV z$hrQO|H-%iC^(+B1_=HaEdK?c%Ch$Ivj8Mn(p}ow^sxoW%(3?TUFXSt3PHc z5s?e%9BgQ~G?@-)ZSkDFpwHQ`j|tq2d>fXcl1}|vxcwR<-mMCEt$%-LU;!A|T zA}nC*m^Q=(Pey2fT$&rTN@pn_`!1&#wx9mo%Tx|ueBZpclm&mw8_WP;(pl9RxD|Zc zBgPmklXh5m23}1aszZtcO|rp-coLQ&nW{I&uQ1UiKbJvNJRaJy3YLB2x3lAs&eDi~ zp0iLMVeZENam!6mPJdwyD~~wHQ&5ka0e*<6VF4)u@>$|2pF{;wNS@tFq6X@}myca( z%?2W4yzJ)xp$rMu` zH5ZZDUF)5=cR^+ZRR?bZ@sAYCr-dV(BkBgbf1L_bzcCN;Qk?-_oD8Fe+XuiRgo@22 zQd6z)WQ=3(?VtO{lzTG4RlTCKC`b<^jbf8_LLjh>#ND&Iw5zU*ffq~|fRoijQyWog zS=8;|*`wn~SAX-EuE7* zmajO*Vo6+HR}I2LR^N`Pc!=)t(%8<#nfuMS$P`n_=lXtj?NP05uCA_}%BPOtCb@;3 zSl@Mbw*NH7#~Nd~(gKyWL?Eq;@x%9i%s40Ep+=XX{*!kP8FD9$EnUsr zqBh$cO@E&&xHmL`X8JCX8A}{FndbSIrY!8}Hs{=(#nVTNNfX=iAuCcIgRG%+^Lhok zDm9#_ZtCAO9z3K}Wr9qVVa5?=2Igt*F8LKlSTrGMLYW-|t>__T{5V6n;$snosdED| zfYSS|(NIrZYOOj$2NykK=B;kq@2}(i<5D_ynSTqzoO8a#FYERvk1Z=yDWAj=>gqLV zH0>6*W-|$CV7Y(-kUxGMncCAe;Wk~n`M&yM;?DSCx`RNikyeS$^H~qZX5zCO2M7&804O$)a9Q+#wk4LH`?tX`zn{D1RElX zSy*b7n5>*9mL=SQJ0#1_3jy1Ap3%WSQ0b2@C-UDZb5~8r!DRR+)cSU`l(dQ!Mc^wv z$mI>{I+~SjY(`9#!Y}=uZqWl*#X>2QaeuYxLVHQ*3T{o}B7`>CWqSbjS@-eR%jsMT zLvbZj&m!auFG`G^qCOjM9=?n{tTQ-=J;RKlKYy$kw)WU~rtM7uh?b<196ft33Be_f zndD>f#(bN6njkgy_#&zgeJs9wEwE#KG0$mPF%gvUs01-@ zjG%pCeNoY#Pc`tPh-m0oj@QY@RA;pD)s6N>eysdAtviE+U{V(Rr(yhh6+xZ--*LPXbBT9 z>>In@!ih5sY3%D%*P9jyj4DU&LulOa2aLPd5~Zrl6()rgtO9ofN6#^FtQ#0?G?2@g zSjNudh(##t;9bN?N3v0ATYoFD3!PtDeYA#Q&d{bv_+kJ~j&;3NJ_CD@V7+KQk1fQM z8~(W#Up6HT3AN>z02FkZR+h5)uWK+|i5oV^DMoT=G0I~!+sLd6CPXXoUmY-_P|`h< z=Nvz~Q8CvFvBY~Jg=OCD_;Rz3Ek=X_qUNPn6EqW9T`P{$%X z)#yhM!49kRMkd$7Gab*{mDWx2-NpBzO5AAA=iA=BT)FbyPAO!_P; zzDmpz-*ausCK;)-Y(kO5IvBBtA|TUpSL=a zf5U3jt(YMmmHaDP)e48NcBc&DD$^>KE?j;&2Er3fw;_NY0)Mhq^HT+Ee9_wKi6|$! zp*5|O`-lBAe5%0+T8mwhh`ZVnPRHnA*V_TNzMiY9R*G6zWU?EHXQ>Zm6*8^Jf(VS(67rZQ8mR3KVYJ3M+WNrq5R++3+7RMH^qz2MDm<$F7e?+%NLYjb<0FC;EmN=dg>= zi=TjvwntYWbLQDWE3e;&Z$|w3q^y!Ey!$}LW*pj~2CmX?`3IOy;#enEejTKX!pGkUidz#HlpkUJkGqH zV$J~fiqkN2*WCqzE&8U{(6K2z-3nHP@eiqc-+3xG$mKkaZwR%~12f+zdvbRTJq|ci#3U%Db$f%u{33){50DUI%dn1Djc>}N zO8{3tVm@JdkiDa@9#N(2`6!3Fg0+Sx?|-=T9G1kfRuJv?nwsL(ond$3iSyJ*G=XK@ z9(Pl>GGd`j-snAaYj(ZsJO8SLo}u)ohwq%Gh`wc0B{zH560Mtew5{bz247xZ09(v* zbE}v;U*e@sxMBEuX3dOE%|-Ph6eCi7C3-oHA6i<1Ja0{TW0;LQN{tU^6nR0#xPOp} zJzrhUSs~*LO$e2%J0u)&y3QNpT@|G@MjWZ*d>XAd;RnOYB7hZs0{XX|WPdx$_ektB zIHpj|`!4nA4fz_;6nS}t5q3SGHP!f{30_DbPP?&M5JjdE$3b}fIWDfMXcU;1nX$Xq zxK%gD6MrJ1MdyxX)DzcyWYDaiGJjQDg-hd2eypauICuIeygE(mfU{TI<=Qurr0NTn z`6y9@F7v6^AZJx9x2!OejuM^+FECb}>vlKQ6qFl#$7kEIHK4{y(Ks7l0K1W0|G1_S z$pJQQ;Q|(5#kT^nA9{Slnp_Yl$IoZ=ODZ^e%Q6)zE`Q3l7!srMipA2jR)4Tt1t~&; z<*YCkUsBzDfC{nr$R#JUIXYjogSzz16c*m_FQ(hb$qX7a*H5Tu2ito@DHIJ3siUr; zttyhXY?Yn-5B2XwR0gF>#`8x7EHj{}+DUU2mcjO*UVrEpJd{c@3IfarDF|uw=1!I6 zb8vmnAXT~T{iI!Jm%K|uF@M{3d##*H8;&A#a1Af5)cF?`&MdE7rRle+hnA%Y zD4WSQ%XQb6p?yGWU-4KcpnqumYRSQ-Y2EvpuS;Tm_wS3fCs6bzA^UAHEEwX0TG^Y* z@fvPz$#~@0&h5xKV5_;t>PB19PHKhgjBoPa+0yd!*1sDmTrmgAe}A&n977A3@#+1! z5KQOf8c^DtG7VIXpG$j`~-gkC5J9JyUaar4vf_)g}e6K-=?0 zHt2&Hp>KDJw=(X13V-iD*X`mU>{uVV2Rh%tH)*2?nQB$kL}000ZO8E}B*%oFF%Ok^ zC5S3}!}+29G9x{gJvk|1maOpJ`I3SVk4K^Tna+37obuNVv~v%W=YW!lIzG>N4%Sp| zf2d;3L+*%S4~_q}GL~fnORkH$4p@1l_D1PZIz*ug#LPv^O@H25<9lBAh7+L&VLR+| zw}w`H%%0AnHg!yl5Z$GiV+1kT`P3H19x|bM;#S@In%Je;PQ!Oc1%l{pNtIz4Kf5G2 zsYu~uUU*0YgnjTP1aA;iOECuTOK;CdSr#9^@+~b1$MK$p;d_bG8RV*!TJ`S;JYjOY zW`>gZ^Ovz{o_|H%lAp6p1*$1|PLiB1>)+Poi2`q%l}bm{ZZptot|jm3K2K_vjc7ku zWqHT$88J+*nJeZ41rfhdh+kWeHeahu8}P~jg*rJAH|J(Jhjrw+_buncm(99F8C(}M zXu&zp6GBVB3#PaG-JVx)1yaQNenq+?hZ^DKbZU}1)z4^SSVjDsAEns~t}g7fxdqilrGB5>J{ z@9q9d&;ekGv})g>ImL}%v-iYBLc{o3;ja=-41IOSfScl4#mf4{u~P9met1dRj9`;b z65a#C8ivWQ5V<~f%%4nBH*d(kHvr?bHVzQXHGh;EJZLRNY1&{6qceJtSZtWDJ?c{m zwoPZ*UJ|m7?x3rdx)r1Z?C4eRds!aB@{)`0qa=Hd$_l8A7h+wUP&&&~OyRBUHDP5< zU(Z)|rn84#+|PKg*|olOOo+t!7^g6ZSZ|6(Fy^7hVfD)iY7HA|dIif~eZrV^NBQ*f z2Y;`4afrtc#J)UIbFccMXO-0Z4dqOCI65t${6nuVm#t;#T0O5`>hCsi^k_@4Xyk-k z-xK|y*U~fde?tJvMBf1{3F~$v6!$*Xg7CxYf9|cbc=q7&(}2=HBP(C4PH2h+ZV?rq z)|y)Ow$592M}>9lcHaeyB@V%>$5vr*B!AKuoyF%bNTU)F7iJ+TPT7{~SEh)%=ij38 zV0h)jfoM_*CnY(fRh6#NMS1xgv}3+-(g+E?4f`Ro(TE#|HjYrQ+Xyr*@@sw7EKJ~2 z=7)fJ%C?M0FP*GTWW)};G}>xEWMs#iPpDBKT(#R+{KN&n-W{1ENxebP?7lnG@qe7` zbC~HM=^ORYPjF+)`q6xEn{Lxy3{?cH$lm6ab)+Y&4eWclhPDT{cv;5bxM5|n4H7_2 zLM(0^GW@ng5!@3NvQYAqXl*X0bf|(-n$!VwD3z24qhEqaSWH$#>b^Nn;1t|vkqq<; zcQD{y_i<2&UXt0Z=4QW*3U38HFn>_jnedD`ADtT4SSWxwO&1I9nDq) z-M-lkFJ<%=jvPz=0_;|JsP^I=Cq0x%nYP`xx0xK9lTz0Zq|!e|&o2aUReC>ga8uOl zO?0kpmt2~Bnc)ry+n&6g!TjZJa!U{Hx+l3J==%$qk1Q>v@U2G->|nDc4=X}KH>VtSrJl~h zm-?(F7C-KzIc4JJq6P};5r6bDpfL|8*Km4bozTvTkXAXQfpe5!qWPyh2=4-UE-R=# z6RsIAryV~=s+FOHeNk=DQ`)r?LKi^@hNQYFOq!=$1Z3WR+$aw%SVj}?PV6#Tnoz%} zwNWXQ%N=~1=xs^#w%Cy7v_ZYkk}N^d@H6t6;lYc^3%RTl-lBTd&3_vfYk#{q#)NFyXN4>n%$ahN&@-H}%3;gRI1q^-v*hl`U*^v=Ig9E( zKsplJ8(Gso#;|LP(@H8?v!WmC4yWZ5lP)FCeo9&`E;P$)#{0ryOn|x&?*7@n3c37i zQDY24m2E-ztGF4bAM$<j=}41^Y! zZ)pWzdH3t1-J*TuV7VeP*vKo^eS%o{GQ_ zJ97kUnjhq-X0&|QK=T@%&(`XO&aKU+NZ`EFNqXYwS&UPjir{>AkaW7kHxhWwWS!iW zkiJbe*}287{MAtE`G|? z&AiV{VV`9oL9j%abe=6aQ zd#q)RuPoU>KIUY?rQhhDSoy@LWZ6e(Ty&V+F^`@l=+i1Ae#S6PI7wtZLfZ4E5jrT8 z!=UZbhAlYb8{g1wUhb*34vkBn{i5_1V70v_ynkSFwW#j;C+SdB1%0(6W8Bk|l1N ze09wud8z(Bh|W@xSX3ZHp@H99cdclFqfmPg&hNXag#aY$X3x3o=jJI5z63X=zXivU z0Dk~WK(xP92yixo+G3M>?u^iWZc;Mx$v+qC4W5aArAJF)HYsoMnOQn^{2F^%i}>KY z0nbblHMX2jB_v7L&exNPE`T?%O??(7e{2l5#%i&Yqp?AAj~-$|69fliWa?8?>Gl=C zPSi<;hZYYd_+pv^sN9M?c5VzA=6@Qkwd?ZjF5G{a#?z~RhZ?(vCwlGWOXtEi~*oVC3`0!|o-c?o$PU^nX|LF1_ODnZ+K{VbQ8`N${ zyfnrg(ON97^DuHA{5>f(l@m=vPFDD`PIsk{e|#cTKk&h)V$Rv7FbiigN5j5Eo*CwE{3M(TDPpM#()Ov` z9~af+SfPwuC9}XU#}NY*^Zgu~MCVu|)7O6th_&!#{z33L1rMXuOO==2$ufVw`#Mld zYYbofcGoB)dpghSJFnabT_eO+2_3aJ)uw}isuFDxS+sd&>A;EhdyXRtW&?kQU_jni zzr~})=QCMbA2*(#VR_f|q_bzr(ybYNWmq6ObM6S(FuBymaX_Vd8O)1_Hy|aI+8ckV zZdJW!EGoGm`L^(RxKL%#SnR{tEe#z9$3SAh$9f?G0(pr(7##H;KS{8ClcTm!>&kY> z<^dI$IJ9$_AY-o0wk+zfxV56r#e7Wja-r^B&FhIY0YNjqkO!2U;(&i{0PUUZ9hZDKEU5y!s08O#Zqc-ZpSxa1Fihf& z3-IGWdgyR#weu*rhF(-94Ak;Q^o>#)XKZC8ikk424)+6cX~+w^7M3V;V=rczXAfS9 z)b8deKY15$Uq|o(G(S3*+{9&{IJm5@sie*NXUM@CTWnR8gr9G`{~|wUnX7;1M)E01 zFS^%bJug~LV0^I1$aC|^fy`LDT$z^wph{u%K=|Wk$dOfX6LMpq=*CDLfiJv~2iG}e zJ*Qj!3DICl2W|8esXyv|_?QYnlQGmjUYI%TPJh0Sd#c`RQKVyyf9q#j>5kerCcACX ztN+$bh^I%-qgC)Ek9(a1*KU6Vn`T?L-Ei0_Cj8U4;7x;Cr+y-w$?H&BQGgbsedh-9 zN;ZF4t@e%t%Xbsza2l8omwv!n&x&HdY@2Rj4R(xcRUbhM(*1=Oh;g*Xr~8`njtlW; zA_$&Us=Hy0esLm0%3Slz1H9h5_JM!k7_jTBvMw1BNSr)tC55`W$39NZaKb@s>;IkHb#>tC@X3~G_v4WBO3$)`DRmAuA z(pd(>#8(@MZ<;#t?VL_0f!msiOCi^q3rjMm8aag5ha_1?s3(fRl9~ijUqT%nN5Eh`v!*`aZ1vb58WiEMaJ+S|lK9@}P)X zqMbxhB%~byNl*S0+60f>CeG0`#gFE->ifJ6QHz4RY)fTlADdGB-Z2lY>2WkHuJ=eH zukt%7s8fWcYy*%M=+E5vp_a*s-zrTiJA?=4#Fny0hG~C|Bib|uq-z|?4@YSO27^-l z@S%LYv^4dLfp>$!`~4xulpn<;4DOo=ht)oGNBgjwV1zf?XGAN%Hqpl0mJ3+2ee~>* znl;5JwcIKu@Y->|X&*1pH;5P%Ba!?y?`ygq#3vA#wasbqGMzN{k^DHBOV4T?aN zUfzGxPcxoRKo1?iE@vL43xP+}so8G6VhbGRPN(e?@s`gBgUoU;tn?xwelt-jZTh_2 z3&d`yAr;bT#_n_#{jd!p?O5L<9pWUpHpTB0lhYqSM?eoue2ngT{PLmeNF3p{Or*B~ znJ6o=qt&PpR;1XFkV6w&*~^DC9pc6-I5j)P%&pXCM1HzYS)jbV(-iHH>Dj4N6Nr4Oeq= zduGdq^`bbyh-JKB^BWEZScd?HTeI#AEN>p#@6aV6=dyJgne~6Q zJxEn#O2agHwHtDVcY*lT=zBc}(|nd{!xtn5B=N=Fz4z(^%FSG&L&}^oJHw{jK@~*{ zrqAL1gDNfOl#@?{DI&1&xk?ceGn25^&fS^@~7D_UWKbAUXY7yKi2;|bJZ>v z%OnrIzWGtxCy6!T%)r;#Y>c1Wdh>s##~r+h%xV?+YP_23mvb$kkIM}%*g`Zi5n$Gx zAB?o9hG)aM$Vr=Q9Cq$EzRo4LSDaQCdokFhyRjL)=#Y?&)E!CK>^nzoQ`sPX%T9J; zQSga%fgiUue*a=$-9fJK*8$X08^qxFVfYKu%k?BD^b~G*{^@DO+?Co z$Oe+uml@;T3ggC6 zWHW0sq-U{=)y{7$NWC0DV%>kb)krB#+qv7^$A= zih_G4O_gf&l8on8W9uDzd=JV?c1Rm3f)UT)G++1qOADn;SOw$B_u4pztjVrCd3K1N z7w{@FS%`)b;!3c5xLPZePu|b9m1z>H`J%&#<`D$fxGG>xIrHR z#(86F^pz_Q?=9JSr}nr|D;rsaIgh%7Z;P674%nsaF}6&ygFH?flp_iSBM`wp_Y`tj zeRa%lg|I+vc#BOHLQQ}CisY`2EdaWPOsOqN^$YzG@e$=az3g_hkh4QPh^88RSv}N? zlgOm6Hj^t{XQqC+WJ*#GVF#(EDgCWsB6gcDHx)c4CNRzE>n~38_siI(uByI{bB)Mc zGWV$3QZ;LfdP8kUvUY+$Gq9*SIM@a!i!Ghmw?X8#31^H>d7FP*;hNXRH}173m6+A; zZY+i-C``voz#ctWE5&aeND}6`ZT@f2F5aVYVQMz`mA$eSox0_lxyXIzB$lrBj}b#K2Xymk&2As(hq*#MdGzM3lnwk9p&rK|VTMpE$Z_6QB3 zSQlt^Q4rLSko@rc9u!TGCXF9XvQKSEpxoCr(SJ?xlW)SL)n94R&(9D+5RdZH#&JJc zL)tCvMyP93E^%;=k?w0YV!{lWct&Z2I<);sUm!tKnt^}kWA`Jd;867!xgCfJs~4^M z(rzhZJIX7mO_zr8RM+(b*!6>aDwnFxd(X z)`*OIJ`aDPN%VaB7*%JhSFC543jlz!3lgwn2$u-5Qq3#g~px{ z!fk)q`12RoZjk_FhsG;4vITeX6^|I}FR9RPOPTQakSh&Z+zz;#A|}w8lRuVu7SF(; z`X+b~f51V8w?r{Ac_tvH2}SR9bYN3SM`bx&)J&td7+Vg1`mdERf#}({B#&%qAyG;E z;?%N-6jYJil9QMPcVd&f$Nn}!dL>v~@_K&@Nitrt#dRdXYpV1flB1aYj#-pV0h^+l zrpRkHRCC7zUA!GXb(fHUEP=^PB=*xM&0HHnPi$JIB&DxQ@boeLTk*FgFT$rxbQ4VUMI+vw4pJ2lD-?`uoe7qzIoGlTzVPmTKK@q^-K3XJ-qBRC1sr-vMzu1 zM?umL&h{~mEWSu`o)UOOWIa}*lBfm@FW>gX1-;TPZzc#$qnKoRnSIwCH`+;C@r ze`9huv89$)tqh2xYNA}@;tI*XN{HX9!QkEPsGxUsKzGMV_ZW>rLy-UF=?Xjya?2ucJ0o>CkC54H_0mXxjuezX}C()a+*SG-8;#svrSk7LKh;4Os#N$Yh&YBjvi#uQ3 zR!RwTiungmwF|MIuPmkrqV|7T`3l}&OW7=cORAfJJ4Ww13}~;(9p}x_n|#qbvcvB2 zi{ZP4hci%Ci{-tZOlz1`G5ciqM{FmwrWtNlC+@rhp#VsQ3RSvxTQ4NE5njB8vfJS& z+Cq|nemt5%vwrNOV$IyOG!=;&Q7soT`n0%d_t+)2VIC&Y7Gga&D++%SfJvY6jv-1D zX6mF!T(aR26d~x*z2XZz5dp~+h5!wmyCs`YjI$OG}=D6(<|9C1`{(EFRgQv3q|vdxSL^;*+5}v z4<#~_iipDF+Z|5E$j4|VVFe%L2sj|nv|pEu!rZiVGDRfhB(YT!X`NEfc#eO52v$}t)yRP>KLE7Y z-C^I_lrTnH=1wWsT+*j<@#W`Z)vBcYq43j_J&@&>t0yk!cM9ezqVeB@W>R} z=^MknmbY8&xi){Xj&Yf$!}S(v$MlD>W~rB%4@c|kG>l4*QM$2R#Zh^x8s`;&-X<}&s(txE8FY@P`T;ai^FX65KUJ35$5=-lJtg03cl&SiV0(sHqTr~ zkkFjFZm=05^6t&cdX@!OM{7?x$}h)<@Ju?se~>CGtF)i`M|BC5TS2OVM#t4O*@TFGH`VziX> z0k9OO;sODICc%bFV2P{F;qa0?bUzhAjb6{J1U|F1>8vkL)AV%?E3!tlUW}Z7%;NC7 z-qWUsjqtjR?+k90!?n@-^+vK4O%>JKmprtQWF#`V&U1tl@(dl?ZZ?6YL!vRCyE(4W zQpVGwoPzuc#cDWrC&yIfrJgs+_jT3%A1IvTB9na?D6^%x<0+GpQxp?2GB7s^FHB`_ zXLM*XATc*EFgBAggcSrhGcqxkVP^s-e~h;Sbe!wnHyku>>_!vYMq}HyC$??7Nn^8N zV>Y&J+i0ved!O^1?(=-#TJO7Nt(p7xH?Qj+QbKtpS^;BQLlaS38z)*uItDI)kc=WD z1Au{nnT~;h36_*p8R%qX@^3OMsj7*CBhc1{>mLF_4kiXpA2eYDrw=(9TN{9+f3p>U zkr}|q#>L3a#lQeyVqoC>A3<9OE`YFs3(y!KLkEzwwJ~voB^9!@b9VrmnLB;B`JYDs zg%Kryk&~01=5KX?fVGJO(8$0BAYW02q8E`0w-_jU0e>PL6brK&!t}r2oszN0mivjD>8itxas49AW>8PZ;Q6 zV)RjVclv*I*3!n-)yDJRz!Yd>Z2DIc#?E&1DmFlSXA=qGe~WyOVE@p}Oq>9$3=9nH zoXh|ddw_|XkvaWe=9S&;e@y;nGX6#W$iUmv&ejfK`jLc*H_+7N;|JE$(ZIz7;N;+J z;_dlQ#(yJNMn-@!(8vj3XkrGmf&F9sgKT2@FZ|Jb2cR23i{WGT7y%4_eg5;L^D$n= zwl-Gof5iXpFTIAegqnf`^}jOy4^L3g)(zlE%fbMlWnyIjF#a`Uf9xL*-v4bz-T?UT zF#e${VPk3w;QUv#A7%QVh+Y0Y02KdT4obj(+mf~Ym|7D6#h)S9W?*G7`uJk}e;)O} zRsR1b{4Xp2w;})E0f{%-j?bo zSOL&}wB~>DK32=f^5f`m{20laG;|5`C7RyKfvgM)!P>_?M75G%lw z@naW_P2Bz-VgNmzjjhv%3g9C>Z-A+-1MFWNWn%--3;sp=e;48e(2M*Bu`>YZMgJfs z0KNDh#0;R9_=7&INdG|}R^k( zf#XMCfR2`bL^uHShJO&_2XZhlvNZWP$W5L8(3$^3|JN}7hw%}o(SH!@hcP2ttB*$f z$0y5Q6l?20e^LC^A$sF~zz>%uf2#KvvUmQN;XeW&VVnK~euQH75BTB0{ExejVwk(z znVZ=BL*j!5{0ID~iRC}wN67zl_K}bEANX+y(Er2K$Eiba`^VXb?8l|_5B5i-c7NC( zx^^EIgUx?cl7;c#)c>v{%SZR^K00Ijr!p)biP~8?e>?ue{s+bWPw79r**n`hnHU>d z{g(@7mOqUD_QJ^c!E*Qq{3y*I`>Y@NIGR`k|5pb;>g8x<;As92wU1!`82wl)dM8)g zf3QC^oc{qoD(vzP_~FI%4`lk#cKZkXD3AN!@V{2n$l2keWKMq{q96PFKltw}(Zs~f z#0Yk2f8N%JJILZ^P}@Vb0FEo|-uTxU(ml2Bl(e2p4(-lQ2vFZBt1<#M9PR|Z4Rs@} z?uby_@-Gv-dY&}bL4~#?DzrX(z39a&PVKeAE>2?fPZXR8)b`=Q;L;p!J(KfW%i)l@D4@4>`q6yR55`_u%i2&xgHop;xlDI7eedCSVT4DuTMK; zokcIMG-VRPq~wK5GJR4$MLxs$RW)5yVkae#j&C*aYcWf0!QIAsm_7A@Q`T&@N`_Z31w!Mx}yV#gh>(?D(bK zY<#7Nig+`PXj)fs6{uUrtx2ElH`zEH9Q`Cn4AsuefW|w1Dh?P?8N{zA%+zn92PYwr|MX@aMB{M zcY#%;^GR8R3sbPtOdyywT3Knxzjq3KDG8%YgVh6|jSi6`p+R+xiVjAN^TCH7aH?3wI5nVT1% z!%4h}q%R#t5M3~HB@$&#e~NXzQVJvSs(SagRp1#v7*BzNo6`4b;K{^iWGMB5PJQQT zJ+i*2YkXYHSRXRKT+a#Gs5tV2uCK4IPUjoK*5|unPd>qb(;Ll!(E8SK!{H{+!@@X+ zck|V0;z1l_84;eFEw#DH+d;~i@re03O+^R<0+@zTC+<}7b85!>f6g5XfBwzK2%l7Y z!~VigyQO8HMUKUVP%B;UUZN$h`l7b#1-*aYDDn%#2HuZr8OcYPYz>C;(O4HxwhgSL zdF_WD0GLCz{ZJYaGxpbe@T5%TX$>j5RVl3FA<8ZqOtE1pPlGTaO+m4&c36Bo_Z13+ z2r2TA9ws@48P$|Ze>Mqu5)!NDqo?vF+Cu=g@_xXNw725d)DXJs*7_Ec zj%``b2B1>!l~2Na1kw30SJ3)g6cUrGo)H0hG1(ZpbkLpcKA>}X9e^haUlN2RZNsW` z?MhZkdooj9f0ZTX@le8fjP-SpJYkn&^tDam#a#BOZr*cO4h4Yloe^Bx#c0kN9RgTi z)JZl-By)Of-OJyoHWyNXRZwBQYDmhk^c{lgNk8obsy8=rBaz4B9(JO+a24;7B;?x}@L>ZZdNwGf7*EKD0>+<&&kBKNzUq~1ftFp%*MBS3S zl_sASe^muz)dX?94^%1RKCLPZt^l!VaxeVXi!T&WFq$w5+gnAW2f)kPuw)`c~!Ph+TsVUJJ<0>vF zN}t-w^9%I7iNgJSoF2a^CL8k?@eO$cmnjcyf0Z$Gz3S{Sw0_MWjQCV#y93cERk1SE z1BP~fA>5v8Wuq|u6$;E4hpMXFi@9xMVKWHuD3x+_a#@=|nl=uOAM^Nur#&ITX4zl0 zzi#pqiEchgi9RUj8a{uI?@;xRv7)dttL(~LHk_`AUL$NeESpQ78`0i+eKcTEV8pB* zfAs?tEd(Su>RO)VIU2{L+aP$vcR@o{&2YACtk~Q^LnUEiMdj+Rd8AK`=r7V5~C#zEAUC-(x$e>(FR{G|YI*yw5WKp5cCv@?uh)|YM}SdM{S z4*~JQxol=oSa-T>tsJ-J?KLMx0q2Uc%+GcL6LeZE`AUmShOSA}MgXVMf^%7uFIeWd z!lOUe;QEMC3Gsb)e{fT?+i4fLx?!VeY>UC_uCa<#j;$UhqNCtu>#a5?i`Cz6e_bB= zQQ!-FwrWJ3I%m{h<#49Eai%`sSt5G6;pM)h@%0$0n<9m^ZLQkKaRVP@`0f~hJU@ty zqQ)rdHgP_Cn6d#dd$W#@u6I*)zpYq)A z3@1UiY0?m?5Mq4lbt*IFC%!M?e*l@ZlntGYl&S{Jnc>dwJf2Oo@)v!gfP`C&lD&y2 z0_EP^Dl~p8?|wc5O{hS6*`R8R;OQ^Q{kGGG8iZN~?$}wx$x|;D3oj(1AFO(mXTI4! z)Jux4kT@<{Xe-~|yFG;*=u1)-*G@FW%-nV_&$+;Psu}Ib8460Szf*w^e}C$*toFzy zn^br@=s0sbkkm-P4`~|sIYSpuZ7rCLiNzJA)XD>HpJbLv?E>|u>soOCsT`-_d;T7g zTv0aa@R(W;l_-kN8hw$zds&o14NTZjlD5LPZX8jnvQ?lm##Qv8t}NirSTA2jKd>M~ ziB!2(wnd6PwhEeBF?Ie_f6JjT{bf+&wh#48!`{TZt!5GTb7AEDqDH9v({I>uQBW0; zywjVvsLL6tz|J{D@hI}2^}L{(3jE`U5=)y-r1`t=$r+tmC6w&FWF0R#=HoV*pKGv> zG{|RH47wYXd#=dU9eiguQt550L= z)U`}ET<^9y_Q5#Qm#)g!fnG5vP{{>t?(=*JLvh)@klt8r+0SE1{LT2C#23}UTHyWM z@f%uq|IM|H<_0)bYU|h1`(el1OWSlbLw?VA_jx#ILLni7NKZ^7XgW1t&4$wp{Cx&Y z8@NqFyI?a%`R~Rgf3#EDcU9xF>15J8cE3KMG$C4{e)ekiNw4ELe4-obO>Uqz9Ut&; zFL4PZ*wXtc=utTwnjP|+iO*%W4H^>c_@?c4A+$#w)F7Xb1ADH(8a8<)6wAzYi4Y1F z`hk5<6h?#JT}j91DmWV~wc^prR&f5PJQ0Q|4qu^j_CbIzJI6Q^WNeEZdz|P;VxI6yGR5Kpb_FD5z+I z@g1C_ThhS2;$O5u|KX5~r1$&OX4StN8oopBWyeWCe-?sP8r~*3GKCL9ZyiHdFL=ca zEur2g3!^`lJ6a#Vdh)D9N-%W&lFg*Ip=*_(D!vJpH|fyomx5h<$d?~^zB81aAq|<2 z^@Z2;(cDl<*yNven{T;xojys{SnwaCx&5dO6ro@c8|EHwL0?g@2a72kNU~HWZ@$bz z;?ClUf3wH2S=@E@ce0WeVoX%;1+b2NNrAPGU+A@;F7)Tyjhysg6jGw@#Lbsy?D4@j z83I#c8iQm0A(M7$k-_||ehF(EQxsodA2Q;3;WB#y8;69&Ekg5C+DlGawjZPDwnN#xyh2Nh(mPRP8? zhi}oFdNXe%r=N@z4eSt!l_n!s9FUvJe>hG-%@U}qsl0l>+|@TWY4p}d>%#fXE|6M` z4G@ZVTtv!=ze5j=#SrK{HbinChW;GC_Kn|`Y;ws(`01~+N(@V~1XYH(LM~*^=g*qT z6QqRoir0EJQr&gMpICvF36o|}Ugt-PmMY+D6cKV{Wvd2SCqr=^3+VvTSWLX4f4?wk zqv2_>qR;GQ1?GZRsoz2_VU_dhyIDiHSND>8J0ssceCnB$2PsnZ{o?Dmox!0lod2Tv ziJT?4erDr&`i|Yh)8`5fXZKYShwJ3En{Uprrrt*OJ=CmS?mmRCYdUk8PdE>qrwA%E z6`&nXIh6ZAF7fM}4!Pjo6^cqde-k_(_i)U98O!!Dx39YLHBsT zodt3J)i{6CiNIIOCPliF^xIb#a=!sz_C$=lf6p4X^Fp;1 zebz_yx(!ug&a8T3=}-^#ON>R&h)(oTvv6;l(WBd!u$wI5HH;NDVS3NPyxw+@)cdAo zW}N0EcuysLpgQ~)GLQO;y3@^KQg_^}KOhTS2Toc)?MgVin+gPMXdnZf%l*37 zc6+Ydr!G#XQ8XNoj_`zUfA6?rqnC~Gp%e?j*8qtEPRO56Xv^Yg&?vWC49W_ITFkd6 zIJIVro!_CA4zM_-60n1idzGb14b(|?UCo9P8{`7Dw!z#YaqI^I^W8s5P$a*%Ss<}W z7nezN8r6Gynd5ho#Cr&DqpD1F$GNs@L{qoFmTPj2UmWyK6!c{BJcT z)pvg22m9jnsr-}xeSS6Uur94%cbN_6oIcBa>RI35G8d(25I#byYCHl-f4XB-BrCt$ z^-CATsR2ID=Uk6{;I*_t5GIPZ#c=h(5dU+2#GZGbuN&h2g<1myRO+5hsAJ4`1{*2_ zPlPHfKFv~(o5*j&e<+c>O$Quj1a`F2Q)Gkr&)^qQ`n&-Bx)RcE{p7s!wO>PyWqd6z zBdz_q+ArZ$3Fz~$3d36^vWBL?)GKWr>p@wzL@?1y#VRmu9#c1F$7W*&yD@Rjb)q>_ zsXRTX>QC-#O=abiU{6$SV1s6N?<{=kOgi0hEG6P;V|nQdf7fZcU6c0GCbmB_zN?(w z_mFXM!{ph$?tUSzX}@n5aPmO1s;!V zdP(3=@-y|1fBmpu&8^TV%P3!OlVx-FNZ4F{Dt%GbKn^Ef!K#!_d1o0fK0n|~2bmzh zJH79D^cBT4Ruz+;r=dQ;a6~T`dn?$~rEe;=uj~0VbO&l4)rVOA_^63r?hzzh>csz< z`Q8L2Ej{~CW|5!Qf|5tgTz^-lEsXblA#dp2XUk;se@slN&KenOJGH#bBC(M+4v-3;+~ymC$>g6RE|_Q99ed)?VYaJ(X z2<;kKg)WI}@!7H8lLVc7%3Npsi=r2p2eR*QP)h1uYYa6!<&>@Fn`-lr{_QNL&7#7M z=CLbui?zyNl)6d~Q?&TOHm=^UG;m>>vP~lBf0II>zpL)yG~l8YAx!E$x@Ye$ncJqd zVH*~m&feZMwpjIJF-3j!(%rhE1Ho0Yyduff6Y2*-gT(j|Rpyb{B;d3OQiBdw?|5Ih zhE(;Q!G?I}ia4nx7`!oN>a~eH7tx_Fm{pcN`mctZcSSQy!AF-0f^X$FN`@&#;=(u( ze*<1r3NxNuDJw6{P$Ndr?Ps|*jV*`^o2ypQ!_1-V2jB`b+8k}+X`A^IV5Pvt*kgBy zD!ddXL&5gTp7sEm*B*{u!2#a+z0z}aN~jTqTz;lybJlIe-2%)PvGbQoa7?{lvE%2p zYKgg!e>N%N4i-9b0*umDyYQD z8S)U=RSOzjmPOPv-5#%LU@ReoqfZ~^?+r_90RUz5&>pe6MjU;O$dF?BLN(?uMT@<# zrdFu5Cm%UhDNrUx9@vY~yZVG#J2^cna>2AXDK5|6g;|Avrm?FwMEg^82t`CDenBT~ zP%wNun*;?!=ZcAxN1=It+h-r#e_VG9f9GiQwAwd+fOvVp)40gabt(uC1o#9zCa{I( zbVwXi@wD+6@n%!fx%n!uw{wQ!A6~BvXj4$OQz(>G)GCg+m$NN+Rg+^YqciT`s`$cB zc(9OiD4_eL67xU`u5wkVk(<(e68<> z8ja!Cf-ld0z;q&ICG#q)i+K!DU(8lLh=cDLt^J?ghq11Lf~(g$#!wn@FWA+P%gUSe zr&}j}I1L?J$VG~Y+30i*ECV)ZHOM0u6W(H z4%EmBk3{`3cEChTe_WfFLj`vec9V21YJI}fCJ5DxPWeaOrR=M?4m}r3#R5_1Df3NhZhVU4@=cW6uiigFP z+Zp}j3GJ~#(6o0)JhGx@d@oq-dQWg)BF6w7P3OX;Chm9^lb)k6lCJ@460`G}rVIQM zp994*nSqI9#e4S`N5=~99~{S~I}jzGY)B}EUk>(9%+sKw?sl;4qcRS9Qd1L@#&A;1 z^aY2$6;dU|e}vW65^t{gXc47_Dvg)-8bBFY+pQt&?HL)2k%N;-0ozFnr$BOCGZF6I z&|oe05XAetk~z&z$7Cw+UhHw>>ds$NDs`~roVdp2OJnwU$h&#KP8$2t#I}twCOfG| z?YO_%U`B);KE}dEii(sc8v)%*7L-CR0w&Nd6x~c_&(tDEn_JX<4J%Pv5l$<^ z=ps{>76gHA{uu*F%{tLsR*E8`ocVQk!Q2Z-YD4y|n3WtgboVz!Jr!-2Kncqvb!iXPlsR%&w=5S_? zQnDs}ucO8GYYV$v1r`2QuV9p!oMjbHj-oVzGO&?camR zm@7(?%EWqM#{t}w6(M+nLZT=7OO-0%xxw4yHhEG^ZrmKnZmquD^D$`d71EZ<_8~Ni zl?96=LqE;6SB`3ZP%e!E6^{=~`;0`(CMx(vlCiId?|iPl+l_aX5s75|z~WN8VJzxh zf9d{tPj8L=^jY>z*6}SFc%xa>qM3JZZkD2&86Oj8hAt>xS(`WWY2~#m#G_H*rhmIm zvQ*i9_sE}FUQ!5#B#}nZ_cSiYMK+Fn9(OM>5(UdOWfX6i{q($`?Cz!WlLNb>a75d| zuvD2*!;Uv&;ciI->31>XyC6@s7y?Hkf1sCenfDZGCGIT*m^G47xf5C(zPYuZ_b5l$ zs_-7C2UR)KgvlG5n(__h3HT;?Sf0&`NZLYwLldFtOE#BYXd_9`pzcVgv6YvNA2hnH z{Mp{LOGxOb*cbc(ENjN-pbUscfd_-nWJK+X-X;7>+C3C-A0?_DYet!JNq!)15UfL(o{y`uRYeJVA!RUG`RQf4SIJZLAT? zkRTf^-a2|+j7=L%1wzouB$902^u4GSc z;wQ<1;>)-S(l9Qp%Mse}EjM+oMP`A}R2V`k+TFuEB>)iz_@-R8fq#VZu@6R(wectE82 zZd#dPMv9H=tB#3P?LHyZz+HIwl%v+1SuYTu@(HmaC{sC$W?ysLf9d?x2_LY@YO0w~ zn1(z1YMPKi{-7x&@)OCOu=Zc$H)oX$lX0cupIvi{s0HrLH^}*cl^%6S`zV*kw2T9_ zc(!$6(g^e*{*<9q;LLO4)gmSqG@<(S3jl6R8tB2NtLfo<)e%ty= zKJf8&7(OZu4%+n0N|TQ{FmQFGoVrfyw79g|^r^f3J{4caE*V?c{J!Q zdR@1jYnmlQ53b+Z;l_C^+o<*OqzDSs!9pc3&<2xxJ0ujvS>-?eq1)` zFk=sw#TeKbrcCYu{?#iWE*AMkAy}kX#e5We)-32Z`D>KE0Z(=b$uH#Wuu>{dJzt?A zGVm);f3t}F6V$%0GaNzqM8@>S+!Q$@fpL@i3({X95KZBgMepyvwB zcwiG3*Nf#J z7bd`qsA6o{pdxT^w4!;caD{Iqucy#UWnfc>L-%{H$Jn`aG^(G>!zxlmfmF17U&xjJ zSY+;-1=Jk#BtjjBdB=Rtm}eS_4k{4sf1yvSt&Uv7?g7Sdsbse}HOI~(Eh*kwnaV3D zELgop7rzaBkB;>Pi|+D}h{D4?5u1iHD1rvI7TWAFN(u#o5vM&ljP?Ge(mEdItPRG!{L=+f2aEk zn!AnP%v$&5Lr$v4!~6oFki0~MO(k+XmTl5|e2;_6E?}!=VW#3}8WTde5%9?z&JiX) zInz5!wh;flLayKAqfe^#0jBW?sKh6l>x2Wqcc~Q_71~tJU_JN&7=NPb(uBI?@p5Tl%~!d#B@$jpJ!ZQ zes*q_i-YFw9*chW;j=WO$rpU_9Jyz0Tw2{2c#&L;DHk61uiu@3JfCdQeJPP4S5gVP%P}$Ik=4P^QWYGr|*}fa`AtCX~2j%1qne2r&$XnRUc; ztO({ge&GWS+SQ2Fm`*8Jz?8LVkyHLCAC;QoPYvXH<4!mCR;Ui3N(t8sosOwis^|W- zfWk_0OS)u2w=1paEE2xMe~;|GZ@=HVO6K<~Jcv0BAJdgS#?7x-_p=MSY{klk5+Uir z9DpwAUaKh6 zNhyy|?~W~2e#(M$nSgGx5Ii?xV+(p?$QZkYJO>`cY~6}B4B%x0e*^o0Szg|}bqNNuNneecrP;o0&w&Kw>e#TA#iX* z{r!5~flI3bw}`o$)qO^k%WKJ}-PuxLS3>22O!5=j?x z8H5>b)8Wr&oZ*5)qolLGJ%l83;=KWtD;klPtDsV(defpf<PZ z#Q&}vBL1?#EC>V?on*uA3fLI)h^ zvJvNSK@MkWC5Z9Rw)tMYTVM2A{LFa1Z~U{Eh2sb)>*xSoK%&2tQ*PS756Y#V^{dyO zbHVXDk7ZJ$dVl|6sCa_ZZBbc_7N=3^zwpIUJl7JW4$^#2G=jNH|jkE zYSEjsrG#Xckyf1S_xXz$b-Dwe7h7nso`wWVXfroJSAPI%qh}MQpxN|uri;UE%5(vK znR4x%R|6s3S0Xb6CA7zkeC>G=dm8_K)H%nuBS&a_lU4N&B&XOE^iTX3aU^E0(MmHq5?A0fP zMKCN3T3Yyn^~Av;edyd;61BeaXOjh1IlYtT$KMP;r1=#df;jtMy&NW_T2y)57+M8G zG?soQi-cT-*?n>Iabn1E)eyTId>L8S-z#aHSi!HbR+tcsC|DuK4{HeFwhi(RBL z8h;aoSlQGp{-6Pp< zTdM9tsifJ(wKYoZJ$SAU3| z{nYxbN`J~BP1{<+TtCf<`E^4z)Nr&fl4agW^hiD^m@NY^;No+8ZLTnb7O71O%20H; ztkXsMkhJ@K+xUx#+Le*FwI&vHv-dFT6iBvLixaA)WtDXy6%htBqga{0MSf7ZH$+dz$uU=VR~^2YKpVc$=l16C`IzMib*`f()%m<$O9`cE@PDwypowBL z*11oz$)Z7B zw^0jE+1{oiU9_5hFEb?Mp?}j`js==nyk215`9;H+Z$e%wY_p1IeFy#7>NMXQuy!K| z20N&Sx#f%DCm8!{m@7(tp)f(__Pt6xQ0_be*oP(klh3N|(YqX{#Yb>#s4+)`$KYUP z5P&zBnvAnYyw$Uic;4oHvxfZ}xoUFFUUX_%P82kJ*w{NGJWo+1#(%g0pXOFpu_vlj zrY(_G-?F+&{UPJC>k%T7c*2iUQ#!Rd1%LJP8I?`yaQUvl!UM|ig7mmsLVu=N6;6{E ziskp8rX_%#+6psiQk?>FEjM+?C>s&FSh8Frh&ZrqI}E}JaPP}#iF1k$DJrJf^ne4t z4Bt4QX%r9kG7fL{-hVR-QLYdp{$RpXt4`7cPe{+w^&;n59Cm%{dTBOOBq!SfKTp$- zSHAux(Y-rR(qI%Z;Hv1+h_bj?B@}MUD|yY#Nj`Et$dLf<(3Mvz_7y(!mi$o7UT5pw z3zni~3gO{~n&HvefGHghCMGCq`q6ee9if?wWxHGOcK%h>&VNyH4A&TEAJ(GpC7!a! zy><*7Y%?54dREH$Pp$riX;%W zsCgGP6fx6pE`LPtmZr6si01<^2kFE!aIIMN6&+`%@_zXS%fyz8fNxcPD-N^iZ$6B< zpl8^ZM!`^|1lp5IQ(EFGgcv@Hck*^`-N&vSP((Sb4=e3t(Oy-Gb$z2`L^1CB)|3T8 zxVIZMlctD$HKXf|7l4x{&r~);y7=`(=t$ZHifzP>Xn#Gc#Hym{{kxXoxyidr-ynvF zb}S75YVw!rP(Bi?40}7Zc3{jK9Aj=Z>Q-Kn!t#q5=9w%odmsUdUv@$I<8`AeJqoIw zV!z{Z-MIgD%uxXws{T~#dq8`aq=}j7@OG-%ZzSlY^)NozJRD^P`Rq_><)9yRbCipb zPjV%RO@9!_@3SWl96T#@El4cJZpl#l#65jZLJ{^R6cG#eZ%|$}v8qYAJr~#;X!ntg7>9Cxf8a z!WzOs#F-u^fXPcE}*|%?>Dz5b8Y*Oj=){2Eb1_fh_}0=Y>cp;_EPgrXJD?( zLw{UYz6yQHQJ2OP`P1p9oQE+VdczK6h8b;8-8 zXrOE?_`B6A$>Z+5=iuJyVivbcG&TZJhKTk$c24%UqzpCrndyo>uveq54IY4=X- z$#0rWOWX)^9zHxx+e=q{twUm-tdn=#Jt{2_+FF|+ZT-dTi2=)s{s>F~ldxoD*MG38 zn|nlnlAZfWeoy~&R!nhO@n$3QKw&S{Mm@LU!a?TC?I_PYkCFGrK(4ZYsEdC+(w1l{ zzZ7N@)gvfS3PxtF+zYoAzg6b}3PUVB_UpZ?0Z+KcUa0Fz^!-OzL7mZ!RqJcu@BL>l zm+!R@(1PdEggx!GR6{ezU<)1{6MuAeHMc#YIfR1cic#|N;!&1jJ-ipbrUjEy=JPwiJH!=9BUv}nq4So;dHh6q#j;p zooM?#KZ^^;-pT|e!j$X=nRK11gt8#Ul@>@>-9Ny*#`YtmO9d%R;Aaza3xAriP+S{; zepvMV?C)SGHl}4I0CRvzmeYNIFUd`|^e8m_y}eqGMh>aoCLp@xC{S~e5)*w9IG(6r2lJ*> zF~bJ>^xDb!$tj1fm0y5126po$67pjPY}d%lU}G4rdG_pKVf|Q>P7n4~6{^oPD!{R= zpO_C@rOnLuyI+?dF0F~;fb z$i4TIfmic=+E3eJzt$rWHd;0lDxy9V3HT((0=$P0YcjOG2lt#SYROd4$J#8+8x_D@%{Z0dxp`yr^Ec_$Xn z?}3a3-8ZG~skDarZmOyW=# zE{BfjXBa6z?wB3FxT3`rvhHZ$FnFCo-|J326WDv>jSfc@d4JSxtwD^<`k&EF0TC*{ z>;@O+YQO19s@K2m&_f6cb=rZBNaDryF3sTc)VYX+%EH=jV6&__RA3aj8-RzseJQh2 zgA0|qNxPM?ybQ6GKsLVvacqE|`YK_Tbx{*e&>K!*Ie>y;EXog&#YI*akQxpi(}AD4 zfh_X!?YB7JnSb9Nh^ItVH8`T25(Da3Bm+sAI)y|*cn+7pj8wn&W|b$%ywXM{eHBxR zBD>_GeQd3Vs!OXAXCk}M)@MZu!OU@$2Q>{e5KK#w)E!|O1_(FH0fOT16TjYN$hs(v zd)@j_-fyP83Cr<=dIXe5olDsW0l!*e#F`?4n?te1<$pySow6vyzz9PXH=3($9`S~( zYICSw(CP!o3Qmc<09BteuXQue9$n?Y3MY=p+IK5BVp5w7l<+*2faa{%Bx%>ckZJrO zF}oOwQS#Nb+a~|?SpCKZ@BG3?mhX;``obg8b3{sXL1#Wen&kyD(*9B#O6*3+=?PF% zuXfhs27eGb7?hSljHr~#4d(+!>r0yhmek6mlB_Eh{WnCxqThH)hXqIrO5fAD%Z^}A zS?nE>NR$zwggoKC&w?h?uz;3?kAf&0aqDVL7XsJ$~2|-n`g5~## zqWC$?VG-iL6B9~7bUh+$$2~=)4fVTtHzL91D}SI-dvOzPNaz3?ifJZJoy@x<_{ufT z8SJ9(GsmzFio=M9ljOy4?+`V?!M|(;m^v5UkKSemt_gk*O^;aoq{Xnc^vGuXo54Ww zEC0ZbHF9+)@mH_W{MPWt#3U(OF}KyG{EkB+J}J11uZf~kTio+cV$Vhdxy$z+NyWkH zet)oX{#K53O&!58VD8@HVf^Iz0R+kGp~D`W_otjvYFG_E~)B#c~=QT5p-V4DhY9W?VIA@3PV6s;QVGddT>$s6Wk zs?*-!GA7eFqSK`tl)VMPW#sQJV60PG7Ju`n?3+}_x#2#Og7NT`a%pMP%; z-3!iqmbD}65y^e8HpU~HrL#~1>-aJK=wO3<`o+rgssf~SSe0GKd zzhmUMV0Xu*H~QH(JY?3=ZfI1=bAQO?eZLFD$ro^H*;H-s%7Go}L!cb_d%~$TzCOIk zK;ivmgt$JVb}yr(HzJF)eU?%es!^-sXb)S4el8V@@2*VAxsY&uy*x^ zo*Wg9lci&FB#7BF7qjzAA%88g7but2G4+DUH?@}TK9T(9Z4>HAn45OE6sU3J3)I}4 zbxvlqNf+c&ZGFEC${^*O#nFURpo`UAl&ERx#_h_AgL~1K#jcqxVWzI_rjE4BH-EN147vpE-P#OmPUeue8rx{83)fg|#6eQbaXX0`H$vRhukl97 zx=X>$hL)}KOcl(B^b6UY1e_ey{&G3_xbV6f%5^q0>KIC)t%Q3AnB9$0oY(1uH`GWT zs*0gQ7Aq)jV&cKScFBn$#}yxA<3;|;g|)uvp^tgqR_|=n^(Dp`|T`;E<0ljUl(|T zPRfg}OGOlGlr~o<7=R88vARuo!ZdZ!fm^ zp`(<4qiu)#iGPD4pgHD|2mYur-AQm73r7Xpg>8aJShItaUu3YtSriOd<;b=h1Y`Hz zxhElAu1{y^MH1BS=JL33p0BHrY_Lc$iZz8DuE!q6a|TCv!@o6|t3Kz=o^YIMv)>s7%icn6?{E`((wD7NHg_ znhNU>j+w_t0Ju$%e z)9V*})Bb%hdHJJ0-bP2g563W#5dNA~z_0B{!_1zIWe0BUHI@n*91c$ZBH3z(4!iMy z<9^A&qE0{(t9Fbbj}~mX=oeuZ@wlv6baPna+JF8sDl)5Mb5;b!-Edc$w>;-c74J z(L85phs8lQrv~wXeT}k+>E-$WjG3#4CNUAr^zu~I!7t>NKF%awniWJ8%pcDMgm4MI zOMg01WV6H*Azv#SP_Eu0=s0^Wu%STWgH0M5Nc5Spp^pGuHyP>uBP?gapiQ;woEcc| zZ+_VRt0Jx2_Iwe`C3#31niZNZq7iflRptq5=M44!->c*qZ{0S5m0qPLL7fJW^z|WggZJlr(0$pW5&kNo09Yha8egzYea8+XXX}Y(1Q57X11A zd<{?$K^%|(ZL)rz6y$z+3ck*LFiuQqO$`@kZy(|GL?-7VF2CDdEV+bPXl1TxntJhC zpc%DEkPt7X0;F<_wuvD1yhJL$iGP~``&qtYcwez^Z5aZh)V!xc+1 zF3VTFNqqHURp_^8rR8Bph640d#V&O?8|yp^n8;K)OUkQkDkZGEq>>~?O^UzxV) zZ)r-qD-v@B8$v`gOQVk19SpC@wk#&R9#LpKAF1D6Iiz?8dMroPr?zWJZGZiag4!&+ zaIP~(qmrBNnSz{Im$^;`Qe;=9*B+j%(WS|l!K4lAC&c%`gTKD?<}V1U(VOOKJ)s945hvQnUyKr+KWp%kb;zXdh?b8_%Bmyma$@0V9PijxT2!DK#7@Y1`<6!ptZc(fIX3&iO-tHvojE>dBJ)mktED$8q*;TAc zG7lbTv2X(h5!bDX)PAHfxe^RL*?OeE2RW^NI275-Ddl_7J(6qBq&IAody%t@WhZ2JG3($7sQm{v0e{4+>K9Xv^Y6p*X1ApB=;Oz zYPS_|=Zo4AJPR_DQ)>EKuGQ4FgoL~{wWY;EF*4YE#x9l8v@>YxuPDvwsPY4|Kff$-lrrognKiso<^4gF-1N#! z%JpG(MzEAQdq?pIDwM!7FtUj_KjIT*Hlmoy&40J^{odm%y}h7of?2~K_2$gj*K{bV zIp+{nVyU2r>h@Va>mcqj*N7w%bG!!HsXhM}#0{rEEnJ*{i+CvZl|J z>>rK0RryID7SGm0rfAFkGUAPeq;gf zER%=h6%sKsIWY<^Ol59obZ9alHZnLflQ4u71UE7>F_&Ox0w{ltb_G-uY}-F2F*=l% zNhr-mgVNodQezAlunoq@0TN1ygrtI`v?7XxAk73sNz-dc*~241q1|$LJ+>9D71f@qJS_k0FH47n!Oc!S@CLx7qpCO`pYUz_0q$;b<5Xf9pYFzsKr{LJmX7F_(i#Vn9;A3vCm`d=1! z2=F)N2EzcQKp>Ee90&;W0m1^I?qa`!n+JKrek*^$zhHd*p;&K}H_#Q|0xT5n3d8>Z zu)Yv~7!ZT@gN0)MQ}Is;00skH;7|2nYs?ivwlwhtPjU zF@}G@|EdD?x33P;6$O<0Q!M_L{#CI5U(@IRYcT|X|BPjb!ZQ{I1OfL7`b&@Js~-l>eFGGJ1Cal1Y6bhV zt_Cm{xF6!bwK^CGeg{;LZeIVsM7XaeJP?28VhqPX-TzSK4{q^m!Mxx|m@{_8;j zihx0&|I*>N3hIe}G<@-V{H=oFm*$@-HIPu0%dhPcmy!lT&}c{y06${9Bn8BR@oVS; z3;fMspqMBUg~7W3@$H2IT~TPjuX#$!0mbmo(l7A0jGvDf#vKj&4+Mlq0#Lu@f24ng z`k~SI#rsVSd|m&Ne{VSq76^j^CdX0Gn|D24-FB4vNWJD!nb6VB_M*GL^t~# z(~zYLyvT{1MIWf7_jb^IUew^+%1O%~IbYSMHPa_X33I=s{bm>9b9Zt&^4 zN)3*afEE4P@N=Nw$oS%%baFb$0ILQSWb^>Wf_YX!G@&+%sbW?-?p&Jh*im|qH;)zFN z!C#)4i~F{*^0L~pa1!q`d>FotRb9={W&VUME1oGDweu^9lla_5V6PQ6zCeE=b1Mj* zBKuOQhxppE+x*XsR?3Dxq_9?O)l|mQ