From 6048a480b4599f81954f52d4beeb4509291ecd8b Mon Sep 17 00:00:00 2001 From: Francesco Minnocci Date: Fri, 4 Aug 2023 00:29:10 +0200 Subject: [PATCH] update plot --- README.md | 4 ++-- hc.jl | 4 ++-- solutions.png | Bin 23589 -> 18867 bytes 3 files changed, 4 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 9f95461..1580ab9 100644 --- a/README.md +++ b/README.md @@ -9,7 +9,7 @@ - Projective coordinates - Parallelization -- Endgames(?) +- Extract functions in separate modules(?) ## Example system @@ -20,6 +20,6 @@ xy - 1 &= 0 \\ \end{align*} $$ -Plot of our approximate solutions: +Plot of the approximate solutions: ![](solutions.png) diff --git a/hc.jl b/hc.jl index e569d73..6aa7f74 100644 --- a/hc.jl +++ b/hc.jl @@ -86,8 +86,8 @@ end function plot_real(solutions, F) p=plot(xlim = (-3, 3), ylim = (-3, 3), aspect_ratio = :equal) - contour!(-3:0.1:3, -3:0.1:3, (x,y)->F[1](variables(F)=>[x,y]), levels=[0], color=:cyan) - contour!(-3:0.1:3, -3:0.1:3, (x,y)->F[2](variables(F)=>[x,y]), levels=[0], color=:green) + contour!(-3:0.1:3, -3:0.1:3, (x,y)->F[1](variables(F)=>[x,y]), levels=[0], cbar=false, color=:cyan) + contour!(-3:0.1:3, -3:0.1:3, (x,y)->F[2](variables(F)=>[x,y]), levels=[0], cbar=false, color=:green) scatter!([real(sol[1]) for sol in solutions], [real(sol[2]) for sol in solutions], color = "red", label = "Solutions") png("solutions") diff --git a/solutions.png b/solutions.png index 19d771313eaab4755aec63dd7911ff041bd1099a..98a5e8c13dc255ba7dd400764b3ed4187c38fd06 100644 GIT binary patch literal 18867 zcmZ_0bzIa>@IQVW-3`(W(k)1Xv~)|OG}7INh?KMlNJ@7INW%#N(%mU7AYGE*<^B15 z{`x(BCy(>)UK_K!voo_Z^V~=cH3e)8atsIrf~}+|s|A5T4ImJNcr+;ZxIgh_(iDI=%AT zC>+7&x}B8ohH}Yl_LFR{k#*}89DaUGP_zw;$D`|t*f&17R4|m(Wk_i8U)er55Ag9} zOc`lgsghmXlQ1eAvz3ySwJhDpMa09$kNio`NKc>C^Z)a1%`5^tUTEMfmlqYy! z!9kV2I~IZZ!FxAfAI*gOxG}!^?AoVs)Z*Xj>xnaE<{RaUSunzK!SE1KaTc50w@;%+ z`}<1+Z!V;zrTvEWNZgu?xl(3PytD_5i5r*bRdqu{!>pL4{US_uj4T3+YzED<63|v}KlQDlLDKuc`0sqZBGTm}O+VhC zMSjc>b$Q`|LjM9RET5Z`6kiSrRp>ACn#U&?F3?1|URpi_4jKA&ee6aq5yXTauki`U zBoCMw{Sc@H*?fCrsnUg9@%H(dp!B<|M ztF__h=MTrF;Sz~>Z_?yuwea1s$K*YWoXvmjzggYfoGMbM8DnMK-{?zPXmBRYlnF0I z{QXEb#{mN)U(i&D!+&2$=n{_I5w&0eW4sYqgwgT8uF?=H#auq^JU4hR%N$~)5SbM& zr)WuF57B>YT!llX^L%e+g+_>LbfPx5tu3zQW(S{v%e3{W2$5YH3m!KZmBnlPFU=7V zXb*<<1i`n*6J`2Bl0H1*yfx_LmK|u1oIfwQv z64jrC2n)42;I>8~h8(Pze|>`F-PuH@sJB{{*xdB=#aefC$HTpUo_tJJ!%>_6B?bmY z*5y=dYwN||1sfY1BSS+d8Wt9Ze&u3W0iTsAocNJN2%|^yRc|(u#^mI_KKQn>^0eic zkH1H+GJa1X{_VndZ1~CM0N7xF)rl~|lneaC=9@kDD$P0$wzp?myq(ijP|WYH z&xg{5R%+fTxVfD;RJD;%Qex#47uybe<|O4Z)?iB>`XcBsQ8-i%i$ATP4TPmuSR_|Va`M62L&Ny{u+mCn1-Ffv+OV=r8K_$jbC#}Ax z)N#-3#`Ckp{R;~VOLa=YERr4`-tLxFZ4IUC=gDK+*ldGoXrC8ivLlf~UM|hrdDSRy z+dMuo;f{$>D!E8nk-$-7*XDm-4TEX4jJvufP z2MrB!)I;G68pVLuJIsKw=u1j=B(bRDP>cEOjDD>;YI}msy~+)L;ekc}qDxR_!ph1D znfB%%re(=gRjbhO$jISr&6~cyKCo_IOot{O!D>jPqB)MB4)ohSn>x#XnQ1ET}i2?u5Pfe&-Zp}e}8|CFG%I9 zM)AX(PI~6uyI2$mJ9`<6!T@+IHoxA&L3}8PG+OX7<!k0|God;B!mM4G=pBwgO)wA|lpMIXNC*e0+RaUvjMmKKoxD za8m#648sh*|F^B3C(g>rIn>#it6ik_GKEW3UH#$EwlIezIv#LB+-QDG@WUPG$m3(Q zQDVB$O*U#0>{6$+jF_!FP5dTV;r@EB3Kg4tV|_g-J)MGvrsM4#U$U}pN6=l(o8IX% z{VKIg5u4$RfA=?s?E00r8@0oLr#U+V0q*!cM;dV7nmq|;O`4q6UD;gO*s$A2fA zaimV8IY0al+b(_T0LSZ>>iqHby*}SdNlW{4a6nB#AsTRXRJ0|CU*Bl=Y3G$Cd5pXV z%C!*?Cn=mpBt%3yr8Yy^k`MjK>??ryGSx3>Y5zcT6}SJk4M|8U$yL7?2T6#w_@{7T ze&%#{b@i?1jV>rG1naRdJF8P=deJF} zzS*CAc6L^(Th`p%EJ1t@r2U)T*udjg53jAPttIX?Tluif5g8G`8}^;?8TOUi48HvW zw&E^mm!!(z_}@n|z}n6Jmz8;WZ)&ZF7MGR=B)-)?zD|Q_yxksOekb^-sNuadDPXFl zLs7bENcG?Fg4GDP&HgB&O#^xx!kW5GaKszjj1V~7y| z)tOWM_>Hm{`)5R~w55j6Wbp>*)N!_&j*n04*FJg7*0I%K{#r*Gn5!(Yu&zdA=$O=- zM_q;*t#R@Ji%ctEK%DO0zfGg-a&QpHV>|-+2Pn+;QNUw>5@0#?=cC7L6Nswp>AD9E ziO}9YZkQYw8oC5Kbfni1(^m;Qynr^l8q|Fl(*HCZ|7&9sc{plV%2N1INfuFqVW9)9 zp43Ip_}`#5kPtK<2ZaMF_LX3zB1GoC!6QQh-&ohCHFJAGt-_~IgqeV@3^B(iNXz{I zS9+uf2}}r)AaodF|JV`20u!^rdWbwtMep_)$k1nRXGcqQ*}q0c+)q;q zL(hn)LKQhG@pl*3Nsu1(8xUX^STD}<*MQ;U3VO(np%4NJ;$k~HIA|H#;JiXD?pGHR z6Qf)JRM+S5@NkLswl9G1S<+1jusGe7^_2b8{N&Z-4b=?6hvVMoVb3Ad8{(t30?2a6 zbG~zI1^wfL1h9&x3S(yd{^Z!tu{fV`9^XlDhV_QQ2jU8LHp{3)brXt4ol0Y6ukZEp zdFO`%qd~(=U}2k@nw~v-maDBu5v`$)Ln(X&WW%GBiH(gNF)9rBchVJ(dwFt_*k`%C zyu7uwb**w`FF+nsUthmNRKURIo=~{6+g3K_olAJY#JH&581&$GjOw-JHN2TY#Ysg~ zLCOB9Y}NM9&gQ;VK^@fG#zKG5_e7>ig=v6u5c!DqQaYjVsd{EgR%X!pSWIz?X347( zyE(h=U}HxU@qO{qIsMb8hrcZjf3NSaukYt+6=#w4k)xs9{~D=E`MmY}w}o}#5Gm5V z(@wZNs`G0V>}U-d92yBRb2tph;t$vq?dH6gn9-}Nt2sHeZO9Cn{an8!k^;6mGcf_l z-1){4FJs(mypF3@&APtII~L7nii?tZ>$+~Y8CY9eD=nXImz@&QFiJSh{S9_{*!`tH zb6|4nadhT=jO&7q=7Emoh3!@C@zhj;nVH#h6@GZISc3DDg!nw*?p(d&8rU#i4g_TE zz+9%13~E)+mH@^OuwO_s!#oZy@)i=55)=sI7&FAbhGz z$_?q&IvB}Cp+!ZZ+ex@vC8ujz>$!)ry^E1)RL^fbPX4fc*ZtBccwB#E!h19jQ}U-C z0b+07(;2p&m_%A>R5TGU`{9FJu{$BN%CG)@ztbV1Xh}z49E}&e?3Snh+t2n(B-O>m z`}Uws|8jYtX=b*-8c*~Q0y27Z&>A1)~M&w%Utmfw%_M+kJ zPZ!>pPz^|uo7CBy**FvKYtTHMz^N=OEG$k^mn|9E6;IM#(DS$Tn>*-5 zyFm@P1;zVhzph|~MAAkQQF2~}PMhd*t^K2*>O-wJE6?Fr&x%ki4i#t0al9KJF^5d% zI)aJ(R@GTYC-(>E#zwjp+8e>cnVx6l3q5(N&#j)1H7QqQ)SthApReF9rwnXoW(tYB z`Z;GWTLf9elnM|K#wx}Ek;0Uik=9D*^}%Dp zIz%l4BOd4q>hIX>WX2cO+$ox$ee%GBJ`wh?eQUlN?&YN)q5zjjD^E(ANQou^ z6598s`AKhWHEFe*slVx5&dt}IyKARH5g)N;&?2+`s!eAmZ|ieK8fq=) z-u}u-aPX_B(No&TswLHaO4LF5{F~Eezq(#!Yw8!n8q>COvw-7CE6S)#=Ha)Jr{qGy`*>}q?fH9IDGv474oa*7{z>k4jDc>@)+hdt@nq}6}ckPp#z?q z{o-20Th!D(Ro4`0TyqE3?D3wwp~{dJFB~9$ru)cG?FYqqQyjt>W8!5uSI8e7C{$r7lCI_AI1i<YTE zcNbq(TeTyLQbAK~>Yvy2$^8}CH$E|efRi76;zDPw$-XcB-w@hiN5_AhOZdrfk9jxY zKF-}9=&Avy9dl*O5voS@DW2j@*LC!AI%|?jfj3J|n|N9z>-92^1N}}`^e*>ZNr(F1 zhLRPq$@Ig@-ReAuG8M@wVc+5Mj<^n$JlXU1yI;SCZ)K*EHuDN_-V~75(2di8s$Ux? z8|4ScGn+lx>~(Z5zbwi1CZx_FP*v3b6S>I>IL!}6et^j#bljhpIWg0*34$ubG4i#H z_DX;ndE}V+=Pou(d&;?lO6sJmY)3^-C_u|<8>ucWdY`@*CzSvDq#Ls~fzBL1@mO&{ zZLhI#ePm3MhQ>9(a#V55HNPJV4N-5;EsEJmb@-!Ll6Jgyu+rV^q=AW=+?g9-J%VlR zVIhP0oDhf5mGJumi-%SU49&=oD0&c)wztKZO-s93Wh{c(lh(TF6)7+MleOs``MRSq zlaA-`T7I{g9CGe_%V|(|9((mMgme}0EyDGlPp&jV=q=mT`TXeK#!wQFP0C#BM(zZ# z4lhPW`xw8q`$(Fu% zU9I8bGnZmPr&oW3)KPUY2&j6C&maULwrzu(mYa1pqtp)=_t+_dt)IM6X}%lI?Mihb1ggG7szy`F zRa+97dMy_n_a*4eG2B`8RHE7Mh`Abnbi1b?|6KmI+mKnN&`20Gv?z{Hit}dJrNx@(+F^|QGqT}-|RnNYRiOL_6wH8$<7>&JB zk>R8@u+ca6NAMQC1jP@VnzxrS4@vBz&Lkw$NB})Oi-hhhG#LR$=b=Dn5@&Y555O8k zne@w^DaaW3I)j_3{`{fmLTHlwZbY5=y`17WkEq*4=LBXPmZa81P2mnlVF9`ZvH{C$ zdwPjwF%9m6!%@Q z(uf*Ov*Xi-gv3~|H%B=o8v^c2{-J)Lbg6d*q{!Bzh`|cpSvT<1&dvw#0Ug-8PtNcZ zO7`&=!%e0o^gS*+;Vi*X=RfV`BGXwLQe6+&d8ahfB9hzpQY7l>5!bw*N!Hr zGj!sob+zk~xb3A)xWvNo49-{SU&Ua6tNGjc9p5kNtLB5I=4xwqIL^2UL#VEsnYvGX zME#uiIvlUKyGDvKNXg%SL8p*Q*OyUROGY5h4I~yXzZx@VFMBob(4M_zfFM`Pczl$Q2t>KUeJt57V&*}TC0DFIhI?=Y)a9hXa9p~Nm zS)n%&`0zIYpG;zygRrr^9UKIP$z8&I~g> z2!`vL=j}Xs#+D9RP!Zwzvr&0!Jfn>b7Ij5+|ICAeX_ zo2^`5x2m0%&g%kdl~r+Wu{cmKqSRhj@|ck}A9MxM^w|6agB}OmoFK9MP}30|3{-k< z=qP(Bq#WS`v@bX5O86#Vd_U>y!iN)*b{#`Ng7riFoe`H~+KO-c4y_I|XGjA~8l}3{ z#W>G(%X+I-961>{PJa5tUz&pj*Z)xNQ4O?qSie1iInGBysux^IRXa7WfuS(w{nHdT znel_1;_HCA!@SC6lLfyzVygFbQaI(Pu@JLJHLa=2U46$6@|r*-p?Ix6V90VYF)@jW z-FD$h-h$(hoDDCL0zusVl|!$-V_3)A#OYat8<;Na$Osvyihpr>@giJXG6F{?@dy26 z6Y#HAnzmg7=c-YI6WD*W8)c^ocOtvtT#`px_VPVsv*@?D5qRV;n3Fhnn|B7f%$UWA zd`K-43BXAKn?@o4I8ZGtEOJAiL>;OH=ucJJj~I%}q0;>=L)eEdBjaGk{N7wWR}1xC zUO8mvGcTVZDOgGwRK@EeVdLQKLymz zsuFilfPe3eMU6OnnRP;S`c=@<$zDxMPu3H+P8HK}QW3kmjOfjc4WbU)M?NFR10I{- zUE%(|zO2d0W@csuTC5_Pk)LiQfB)H-=yj$tn{r4_9#<|(FjbD?rX26T714-KU#Ku{ zs*qxkCc8$tFd=Ds+m(!+w-?9tuQvbOow>pswCe7D`ag%cF=-DgAh0J4)d`p1<I0Q9;q~WFdJakw3`{H^9ULZ#>%zUInLs z6^m}8G$VaKwmn@sK13Q)ABTh03q{2h5f*N}yI26Obaxk*Cp_k`9a$)mT@*7-hFI<0 zVB%o~-TEj*7%2c@kci0KFa6I-_N~OGW>n5UCFoUYzB@SLb%5Z+x_ZI4ZS@vC69cQf zZ-2IyR6Xzra!6c=c98NBRv>(L!=^*+^Q-V5X4Lm5;apr{#2wUBX}_xWaYqS9;p#Ni6zhR%+6 z!N6PuoRUBZyOYwTMH9|jDakC)Sav$P_?X9kCd#RV5*_bRR$c6}Rg;!vq(VaV{--v= zDeO7i0WJiSkJFBG5OCTns1TxAo?OrPkFhFLUDLra+(AcfvdPlY#Sc;xVg}2CiwCM2 zg0o3=bJtc@YFQP!lCr`3d?RqU2%bHAF~<6_h+6kY48KGaf+(MpAIW^Ldy+dm` z+K*TUI}90xJUpcY@ejeR%u-@T#&9I2ym6vg1f>`>@V!Y-Zs_A(XjSa1JcujZuT0SmX~CU zXti~)uW0aaZz0CWy9hBM&LMjv!ODPc{9XnSSaCaLcAj+@ACyI<&HE-AbQx#jn@&L> zk5UIQgh)bAL(piSxS+~}Xsq^OQkk^*o!{JNm#pV8=!oA7XqUFOl9Zb{+t{#hh(v-> zRVev>N<8B!32{IK(d8T@5hzuN9Gpf9X_TNExfyB#^P8IsG-@#Y@<|65a)5BfAXu-S z{!COoizp*qcC}D*{ENwPi^$|oPCP4MzUyF&9PDaHBXT+NK1>~z@GczYPfb(ietAs?aRDgOGy11bfs`-Dp0K^2*NEY~sUOyLO zT)(?jTAC<%;N_89j5p1m;I@zs4k)CaAzq|mZGtVLQhw(d!#FDMbyp^h&jtBf(z6Xu@Ipp z8W%|1&OCV~(O4!bhrKa94~*PIa!D)YmiYK=5EmkKf2QZ_xuTw6YHFI67HrmUgfNM) z3wZ+p&RwNdMjk?8L}5f}skY#IFQO~Q_-8;;fR?Cl$~SFtwegbQb#y!oGQErvkc;J~ z`fKvntlCm82Xzz?qJeaaEQ??h@(2DLj(~;)g+XZXihrm&YJp|tR2)_rX8U#Gbp(WH z@g(q=R686U=dUxhCf89GBTqt6pb!DL?y49bVmYz|$^oPuCaFPjglLbb>v@f>kp|ci zlRk-_Lf?)fsShlyAF=Av7vKy0T#c4Zk0^$qo^vS~Cx*lYt&yUvMvXw^d-yYK2ouu4 zJVF|*zrxm-1B1XEF37+vrDPOA9%C=nFImPd3L2fZ{VqkA(?=M$h`I)Q2{(g}z^ztM zRxy0;v~#;@d?3n>VL9Vq^N`4{LKLH1u$t0kGc z$Wrw25M#tj1fviKIQA;O26iz@BjN#U0kpD3o(~3CQhu<#+>zow(zW~ou#f(>{txag zCzWdLYB-j14vNOQWSkAcOvoOnje>{G2vw58SVaoR*NL6-*J0?Q&;J(HPWbn5ZG^!} zaU5z41q4NNc5btxUP0R*e2ua5A+N&1pnPPcSqCy!p2r7r9T-86>m1n;{m|V)`k1YO zyo#YSZYztL0L=Jg-2nO4l+c-h6b3%?ES#)kvg2Is_$M4PY-M|wRsNs0fm!zqNLcVC zT21=(Bl!deEJuoDi6TOx4We-ez`O%G7s24Yj-D|CBLmo|YzsQ==R2Q)eGG|?@81Yo z4vdl4Ue0aZp_R4T)XXwcPz8dqf1@XqVrsuEQcXG^nfiiSh^Bs~ozE;}eP`lAs zbM6k2tl{eGzivW%l{-ZLHN_~-veehFN%Cb{xvWUi6W&68{T57_X9_T5}!~@Wq7WB{R&RseC#};Y5n;HBqZ!EPL^ncJRA`aCw6u|eC9ZBX=4N2jjI241Kj!D$5APGgP?Qjo zuTCZ)<_YXeY;u98_jRu8J(`-DuNmz0vqVOWe+bI(p|FLORu^k@-7J2g<{v}&xVY5f z{rB(R&6AE57hw?*c?AVY=ik6O$EFkp*)z%|I`>!Wai*pOjSG%J7D3XcKk^jfWKmhe z%F8(((`MxU@YDvS_6_n;TPyChnK(IBf{4uy(RdI2B&UPJUPeYnZ??6K&BFY=g!69< zVm6fw;To^M^L%N8D=RC5D$oZJYYcwOmzWL?4r9{F(s^Tw>^!Nj%qGd}+bY^*3h}7& zi5fACya;?slIz%XOTj#?G`aV7cOySW=>q}+vKp$jO3Fb7fQCjqHR9)F<*)th8^_3& zSd-*}5W9L>JLF6J-OshP?jYt*%5928%ggIJk|hq(B?zgM(|vwEC&Q-xXY~!_4!OH; z4gQ&~0Ob}42nktKQZ>r-IL9LEA{8={#(uF6zQO;(3{D~cZf<&ed(GMdnn372Hnzu0 zkgveF4@@kMF@wM>4w*n6e*V+bQ^HIc7LGvgmaa5($&tWm)t2E8Hk_Tb zyxNDhu(to@-Jd_k={QAIA9)0L%G|46{*QNs4TO(KoGdBFzfJhKtNzD(u5}(8?-P1H8YEB4TGiVpoqOqW;12W)_`fxh!`l=(?~nkq_A@fDAi^@6GXHm1_vf`LbczGlk5T8{``yj5|C0@3`{I>L zEzBawnrV!SFN>|sz=#P#~@_kT4Xhd+5stuMjg)l;AU=F}rfsKdz6A=eAgYAP@4>Ob! zTzcRqb*8eyPn4BgiM(*V(ELS|8~P|{OSGVZF!F~W4a7yHN=Pt5N(dr68}67RvWj>G z^d_!`_CmVu9s5=G%jZQ?bdhH)*J=WBpLne}Wb){5Y|d+j2ywTdpc>4;oB=#xDVp&rp8ZGWykFgan%W!6Z`NUd42IMC+Jdam`Rp$Dw9B8QBhCm$_*{yJgp4}*$!2oh>| z7~B)TBtqHgaH@@S(I}OD@bT;l^e8hBd+nAMu6rxETy^z-PkJbdLgZoGNBDT?M3Lx< zXY~GSmmX*PPeqW?dw`}&7}z|Wso2|E`_@0W&rM74L}R%<$D}1K@VXq57?KQQ;=w4! zXhpq65No4LR>TAD{q5Z>wX95FcKvwN+Nxg!7idURZjXB>=IbdY7MDD)DF*22E&0eG z&qpDtC_f=L2&Cp>s~D}ww?8~(2{^BvJf2%Mk#9P*259oxiv_-`ga7#PJBhmk>B#+T zWZ_})e$dJuAql1g7c?j2AyGs{L99X)JWu~zJX^`$BI55!lKJlEIys%)1n@@x?f5R) zvMP7^tpq0kD+ARFF-*!K2fZ5U*QAj$Jw)nfK}5VE9gtH#z|F&q`ZBynmt4}h;E1&y zu0o5RinNbhif{;Z6;V^v;gDdspYAeh^?ni}r)WsJMMDzA+qyBp4x51uNpY;Ac%bYe zmW4o<`G*7E&&08G%W+Cu1LW>v|V=mT@*NQA2;ki-#M4RSqcyZVFtF_;@sU z&uomvy#=5_8d#2>=ZfEo_<4Pdi1w*3Vh@pk)0qq5VNODrp{(;Uip<=*UOJ{0rY@W2 z;A~F|TE78)Qv-_H?;k_2K<`g!QIC+95fbYNV$lppYq6EM`(YLvh;wWc ziYOczlto|!=)_hnX4p#zpN#0jDrf^?^%q?I#fYppPRpVNm5NT37m4yUI1 z#t)MiVGDWhRRft7+`wG) zi0%koBflZCkJe7$%gDo3fLnB5YvWUKV3B%M%Ksx5w?9vH_4tsr?TD0t5Q~Ti3lJYs z{a~rRSQy|L^gm8f#BSiT1Bs^`#*HpNBk;2WP9k?WI#nD59p~n(B5?`M#i|&pQAZ(} zuyDVubgUQBnm;x|lWe?GL6*U0Y*tJMnTYrPYz?sYmOFwU;30^)wP@ONg(qNT3-2X# zAGFgE_h4V7C{`=)i&(}!%W{^Ow)=tLIFKD(k6j}mqLdpoRDv|W+)%VWL4HExPQ$ zKL=+vYq?>2{Wg;}<#W(O=wrS+ZzE_thGL}AM>!M)TUl@z_!m)eC~fWR(9P$*S%JKq z`M#o;AZ?cIUuUR2&NbIb%gS1i!|!Ps?*vnG9&<4|YZdeN3xLuDaXwyBXhDYTJ* zo3Xz%YWFTaqrV3S2MHwPe75xClak)NdBY$QR#$^ozxpeIVI}D1BfGu4{O1E|X)Z1< zLKZb(gMQa4IXgW~dTH5Rp!0yf?eXPw>}%X`oCNpo$-@hXu9})8ds!E(C?2T_cy_&B z^T#a9896!dY3Nj$S5@}#oxsD! zEr=>d^dA{oSRjnz3uEXI5Wn--w_O{{i&RMQFro+kFPOme^Ixfhe+4f0^2}EHTbX#e z%vZ5<7;=i(I}(D3iHKXz7mQXsZ!0stW$bV;B7kg?g<6|96=r{szzb4wIFtH(u8P62 zZvlImy4L;U?2~NhUs#q@O%5E4C^PvD~HI zZ%+>xb@yD6xS(DmguQl;*E8vBOJn$e8z=)uOF|}41-Mdejl#oQn^8w2M zV*~OA`2%eQaCF7YO03m>&i0-4j~M>1H18K($LX1d!}N}J)@L6uA|OGidQn5thJ2!K zULeaVbJZI#1S{C`JZ23yA`%Qij)R6Zyl-I@a0NJW&GX{H*V=EkDYI(}XUP8xMk%33 z$G_**Pp!fNsg0X^}q{sLOJqU`& zI*SDzeg0t|v%1&%9zhj$`SU{#-_;qsNU(qA2_?v2#7m?mp+mp0NWvv{>jrU8In*CA ztCZEs9$0?JAV~7|<5FYYjnPsJYNlr!YB9ed_gs-1pe>T5!tPb`##-+d7Ra8H4fu1U z^jYSv$0q}I zPimK!{#6!ZUBG+cvYHbUk{}!+2zE&(qW6i2eZD7%jM}n=*=w(;YW8V@yaYv^58g20 z)#~Cu=x7~JB*45PzQEC`FJl8!LIBpe#c>Z$~JnsZw(KJ3;AVDZ45~YK16q!fm9bfqj(R%dWjYl z-|ih(ou4B=f8;*a!Lif*7a_H9Iq?zu&i3aQLm;}3iz~YScL#)IA4Ba*kxiWeZ?a?5 z^wctEJc3d$HLA1`-@wwYGsbm*`aAaTagJK@@R_v`G7=hd{dEP*me+$D){>qNeGTuN zK{kpOb-|ANZUZb6_UmQN7nqo*se$Zl*eA^J57cho-AJgyRe&=;Ux6!$d*>T%zMkU5 zrs|u6o*hS1QFFX%S?ANVtjYb!i?Rj8)mNwa>KrnOrG1>t!E;*!-^=FZjiW{v@(&>| z5iDi``0Z_+vmLARr3dUeyIyqpA`6bQ053{}sY$9?YFw@Q$ho-sipU+v?AqYV?5H_~ z-iB~WrB>ST@$PX~(zN*RzvIFL(RPx|Fcq8`G^Kf{2~<5!ERgx13gFGd?d6%SkIsmg z=R7fe8V-|$m+Bb-E+-*$sI%`FL833?$k@0mSV#megdZ{MQW zMA(#i6EzT!2>9um#i5uBoL)~-`-ZIR(s_aIoh~y3$z(Hsj4{lSaMQ*E#9hnqd_iU-Gy26n&lSs|b7Dv(1UE6W5Xh!CuNd*j|( zL=gUO(yqN*1DiMdJ@l%YcBs6F&2D>7T^NrQTc-Z@?3431b#D+dsMWbR(~00~vH}*( z7c5>}9o-AJ_D&T)+z?v{YnRNtVO2M2Zo&QlUGN|pUIn}W%;jk}tAXDgSTw7Wv|AOa zAg~yPBd238_9+c5Q%uzJWdH2ue8om?_m-&aNx4w>AJ`qJrA-FiLJL(>eZ=L@I)BNFX_@-sA4 zI|Ns2Hfe~Qut2HcyL=+fKNjQT#RY)EzK(Yft;47DAXy?aqPQHS(mt%||8TbY)xR;g z0SvWCM-w4^qZv)K$~{fR_d!twskFuN#e_N&_;%eW}WSmXr4`KASa>RfsT z23J2K@VC7V-hR%cD$!7>uiiPGHlk67R^nNYlSi%R-ros--I27hl0WLyOo=FGl_ocrjlvbOfhx|D+eT>( zUM6$(&z(;Dj96Oyys=L)_cZdl%1me{Cxe7!6JA?CBC&F{YWA9_oemyEo-3Bbp8oQZbbj2f)uT>4S-_} z_EV)-S3ds!Hvl(#ap+91KuXRJCJERL?3a4d&JXVfCs{f^VQ%zI;hs{@e_4o%(kJlU zZRPK?0TDCNFFt2SFwRbzL4PpVTk_flZL*y`24B5Ys=IdkV;XCy&4bO5?@ z_v0Lsl@tWW7?S8g8dud{I6zAXd~~#ZqUwmGrgBtpFTDCX4%Kz z(I5E!`fK-~ot@p+3PWTTX0PGFK~%j@+*Os@HcJOfeEf4w3)`U0xD~OWgNr7RE;H>_ z`Pb}+B%FyBFFqbPDHI(*Q~*a#!FlPM)ku5b z<6jxMk%yzlEKL>HD z1*2L2S^q2Dqf_tW!^0Uc#vI@U&U}!KV2p5hZy5jiGs$In9uhbh#GlwOhEQqj_q3I1*{DH13)s51D!X{C%MWN&m@9^pN#kTvyN1N4x$MJ zg0As+FMuPh;UiVREKj(YLVU!1$ua?hQSH(CTiW=MoG$neY$yoVFhsy~)T ze=PqBBIpxHMjr`KUVmgEF4B)QJU&oEI>N&E-=Aqgm-K)V5qwAn>0>+ZKs$uV5M&o4 z(2gG~C|>zLD7mqhU@RWp;Wiq0N&p?Es1Ir-!T~8@#+VY39t#3`7=c$bpIr@>h#E^k z1_HkcI8#Vm(ST}hU^I)S#a0N78l zp%upd*cm1u%cG1f9=Z`7D=j+$@(RW|`QgNh07Vw@h%e7~pYmm+OF#f{wm+cWulPse zh7lD3*zJFxgNQSqCFmow48{0ylK!XG0UZ003g5>e=p+1setRU>29WV51FN_{S%&@v zplux0iHhkz*nMDe&$?9v7IE|_EWe;YJm5;hBWnCrt53}aAGbj@t*EHcNRl3MV*k;Z z@9Ea&=B6EIjOkz+KfumB7EBZO_tMl%0Dv%l_brt%e8xC{I>IF3u$}u>5ErMuH(fDP zW%lrniJy-TTw74kU~X6gfMxml-{t9_2wK7Aq*SKrn9J`lrY+{hy?ZsK5f_IkP1 zH_<;yz+sxBukClLL}0Ug9zMAK0Hoyb1QE0A-L6G*v*}j`94s~oE&FtJcNci>P3OKy zXis*HiI4CI2NZn$`V}NR`1x^}wTrQ_MakK|>jz6H3lgd)!+|FU$T+iR57uYTyg*mr zNDR@1Ex^b%BGhDL)e~IT-RAE8ZD$KPi3Pq509f!Z&m0YJj{$TF;LKCw<9PrkHjUrr z3qa-Gh0A=6@3Z7f!-7ReM{AW#+P$q%R8y=+skHkboitM#tE%5DsBr?4W z`nQ=Cxb&n zkEssU)41Rdh;z`*<8>5r#roQXDosFE0>nFTDbeS4DA|>T$%2b9im#S>02E%xd3mwX z^$j>vJl=&7qp?jcV2ejV;qc}SKpl&^ZTtctNks>BT>J#rH~70Rf`Wq7)M7I;L10u? z_Dq0;4j(^FfR*api5^@h@XUFc62Nwok_ewXne7M;PF7|TnS5D1wF_{CG|$~OK+-9Q z;iF+=C;yZ_1-Np6URF|4`m@+no1UJ&BRm2yM$=Vh!PjSYxVUjbD*+RooiZM|DKC|k zMF6ka+uL6rEV1jAKNT4s046l>P*RHd9NpjDARr)sTM~qBlTrXo7z`-jc&!^KWEc!q zUCq-K{FTRmz^9&15SK<`@tak2MMXt=`oiT(@Jas@W1t0|O4=jtT(lB%<2h1o+78>=kew zK+i`q_w!xdF<0dcfTsn{TfeKLuVrO>;8C;3pVwC@%fLwa7!grjQ{(FHZd7e9ox)`z z%aX|BL@sCxi1u)If2peK>E=d|xhV%$REJIXn6(XLTwEL<_x<_>uI?bs++&K0irR4V zJ>Q)o_C&7uQf@2M$4KECmh5pEWiBDc+c;4v=Nugcmn=GMFo1x;RWrkGKi z>2<~fKKr$KvX(asVApIq#bBY0YOPfPv~Cxei$D#kDJi+Sy5eWbB?5f(Xe_n(?$(y| zRm^KAr~9i;5`Z5CNXf+6cQ#iG&LHK$!O`*W_BJYfeEi$1T5E90Mfi>ex6PI0Y!UGE z_V&7MZ*POED;~{=7#%iXP*i~Y0sumnLrq{iU=Yx#FlyjhHf?aYwf+6uD{WHJl#LC`5Z{kk@_D`hwvK{B`83&~zRr2&{`TJ~Kt4CD1g%SS z>ND2}Imvg;&CTsg7OH38`-A{EubiA*+vT!95Dh49+CpY#D-YJxpoev20rDZR=E=&N z0GG?fvz-)G#d`gTyW>{NqcV|?pI^IdDo&E~>C^Z{WO)AOgt}xKm{QQ294c!GFh7cm zi^1g_;C>egpCc&`%96yv(hmtrs;Ys5N%j!@7#_<#69U2B23HZr=!ejz!Kfd=qF@n&-@{-L3?@O; zpheJR5FC#2riqN1EPJ)>hRYptx!~Z2Gu`t`&h!tmhjAEwf6rz!_dE_7hQT`FzeFMt zUDtmfxe-DxmrJ2gU>)_bdcEF!K3}ib?mvvM@jTD-e7D;j3M&Vu-xXfrYk|e2Ct5qtMU@+L}bXXU?wpc6( zA(AA~KU7s^9raqhUZ<3D9G6HWD5a;+h1>trPFD@-_NSYAw^M4)3h&Bsgye(XH`|*@ArZr6pKaHEsn^t z{CGU<%Ss literal 23589 zcmXtg1zc3`^YyZ{bazW5AR*n2q;!MQC5<#FN=busE8X3!g0yru(k0#XK74=wclF~6 z?7jD?nK^Uj3}I?2av0A@pFtoH3_oGzWJxCla7uU&p zUwl(jQ+IdwT6d(Yi_6=LP;ALi{t?nuR%d5tOH0f9n{y3K&9jRO6?u8n|NYQuJNSn0 ze0wy{YB+P*?~-DV8azxoY6^u+QRV67I9>j~?{x)T;5>97q7eoM2SZR$QFmsl)>;Tp zPfs=8ym_Ooja2EhD(UL#T19_nJ~=rlOd0JS-W}U87-m>*q#SwGVdix!P(zE2!o$NO z{qp213Ac8sE=_ps2C@U`J(g$|6&013d2bB3{Z~qno3eqK+1W@cv8A!GxSlmIIw>tJ ztw9Rb(d>m(py z7yOu$oxQTTNk~lm;cr)%CqYhXYHC(iR!B%lat$wH(!hqx4}0#$RtrZ|;Z+x-V6ttx z-udAa0u~kp28#}*-1wv(aO)&&XA27l#1#h@lf(yT6|ttV1^`&SghMaExn|M zgGRkK9FR>31U(vxT4y)iMVx}cBH5>9Y}{`7C)Lr|_{G`T zAO^o_?v;r8FFwyy4XViF09Bx+)8?CQ>btK(ED&2+^fGuuK!(w5ieV3LHygTMdA#zq#W zslWfjM?|zQ7-WR___gMJap~#lo-b13;>McY_b$;BGcx@4rplT_@?;|gomOCs(zNe$ zX`lbar=(me(kN&!c6c|GF2KUV;xJb$;IbZi^(l-bLyjrTxZQVWxvj;@`{v88?b06O zJ;FyD0)mIpQH_tE8bV(E^R4Oc?;pw#YH*l;#n0c^+IqJf@Yojc*d7}@+G5GU#Png< zIu;Cmb=AG#1`z?Fx6>HmxDt*MtiyK|dwaH!&LW?}@^VKjtIMCBVAE_5=IWBzjl55P zG`Vh-n{*f}D<8mu;OXR|zJ`U_jORyk;=LwjkyOAZB)p)dd*|0iSo#BPzpSuQ$jS6y zv=}fB-@8CmR8$)qo3OAjLv|wA%Fj=G#@=^V$3H(Iv$C*wU+nL!u8yum0#l;owM{54 zW(h1TWCFJJ?S+AHqZ7@G7Y?0YF#e?SqM@U&AAfMqVxkiBC#R$|*3;AD(>FF=nys-C z^4M<#6SlC}I9}`7+uMU@Vq;rq^SO*?RQ(zmiHuHcYGyWil@*U(4W)$l6;EXkmD5e* zvQWGa@%HvEP|5IqG+;MuMRf>1ZfIyIq#iS7Q zbvimZaiNU9{Q3JkX&H`U?qE-}-?E?DS9dQjSy|aUBpyD#8RWwU&?3Ua z^=mAZ!S?P>miYPkB_<|fQ3`+9=udRto2q)ymW~Kl!!0T*N^HBGd?WLF)7CbU!WEn_ z;7?wwsEGRAoB>w>ZUQEhl#qZ=Osv}?9)d{$ZZVSJY9AjLCmT&^bnD&|MX@K#{qp5Y z9v+13!a{3v^Ms@%D+dP=_gzg_*HcOn@2lI}Xi5?NO)(dLVWAcFk$87>TKIp9Eth*0 z9ng{S@!Ruh6F*;HVCvP?)pK=rz}-H1+?M2)mX`8z_UN9HMbuv#F7KDy+g!JXii?YZ z8w8$gX>Klcqk+a-GdQmBk5!gYtA~TP#YP$jYG8!$5-wkZD)G0@Rer&z*SEyP41VXg zORZkuYWJS(DMyHnnmlm$?jhPqiERZLa4SZ6lVS{!ovRa>a3|9y0r!Uik3!CWyTHdwZuCu47j*d=;^IA7pJF@eG-d8^Q zbkC(*3sLAN(hocMIJs_4S`ORG3!Svo3K9MmmnbVKMZI4H`##+rwYj~WoRN_c7Z;b6 z_1@If)WSl`XDYV7{^I&{OG86rpueA-oZPm-d~RmuIX(Sk`%6yFk)9q#5s}5o$vR*? z7yD=+(p_C$jg5^ZahO17YOJEe!=FJYC^FE9*m;Qm{P|PnsDlv5s#9KARK(1}Vrg!^ z(BfH9T-^Wjr-YPL-j3MI6cC@`GvQN95HyL%ww zIQGcG!XmPb7{j2BXy=<1ySVVvGf`P2W9_C&XVdsv32NfvaEn^JUn?k}?xCqyzyity-6?&CO?&z@d&64y1nigD;I1xSaMMqZ+ytR~|&+k5#PHsxX#K@=(>|}5-f|b?Qu-IdI&sy8{QjOIxaBG@! za#p|$z^Qwy^aoOg(;gQSbF>yMhJ=9Nd;FUSc*N2*?2~Y`Bm7mE`V*Kz z#9pek(YW7YR7$S2n`Y5^7%6ba7w>| zQGv?_P)S^0U;h&yyHT^-Y_$c5mIiI!b#--5q4jriD%>2;O+NsI{NySJ(;y<4nVA{2 zcvz%{#^?yb5d}$rEtti|!&}?lwzjrL5m!|mo}CpC6r5XFXmt!aIXNNYb96ggYP&E4 z{xB~$H(xoeo1t9yDUWi0fkMsAJw7v&Y(^}(Tk=9uGMH9KXdVX3{+E-JW9H%E@d*(! z@#1t7S{(v%C=mQj3=J22ULl%WS*fOQ$w)~_DJbkTEc@3~R$^PVs%n5~bnN{2_}#)^ z|E4y(HM_EvvqQK8{O4ltBxwVZsU?bsf-uQDX_085C`_*e<*S+TAJM z-F^CZo3xN*yJ(lBgpAb*U(|n>ke(hjiGxE$!MU>TV5%%FH<$BqR&j3l`knl{P2fH- zFfed1mh$AHZ?FJJ2iCMyR|z2LKoZ9urM8X^D>E~%E<}8h3+xcUk-xsOdKIEPuI6!LSMBkjf0mYPH{} zd2;xbO3HdWA2?;Y3lewkk-26QJhm&;xRKqIiUK6tXdL$ws;I*A71gF{KV6M&T zB>@2e2L}fh7FHD^9j%tOkq6yg_d)vnvA}Ud){@H5>sN31Twb}=kJY)1cy2o^w$zu{ z3LV}nDk_R@Y6K8;u-xl;8x2sldAc3{{#_(fG}SycBs;_|%U&*9Zk%u2T->~~vqOW& zm^m;!UF^42V}+F|LN?p*UP)2$lj^Z_ru*U2{hCfJfEWN@I4-sBY;JywiHXU~{I|D< zwgRv(AOVbxjfE*I0K@=iU+n%&1E3}lABkS*KkvWV2dO769v-*-Oy$VPh)RZF)sUn# z`>o8y#@B(QF%F}l#`NU0?YHZHE%&FUz8_q@TFZz`=S`5VLoN9h_c5-nysoa?{hpEa zIjkjp{>IsP)`D-d-0mkS`7t(D{XmL}Dl3wVuiae%cp&ApR|?alt8(Q< z^7uJc>}BjCm)i?{3GuO5bP@d#b7^&lrc*gm1DFoVb5s8&?F4BoH_@)ZRF3Hp?_EQAW*enkw+D#uk8eJ5Wo~5D z4^*ByuKw8=30hvy07>c6dFSbY4pftCA1naI zNLaPqG6lE`8yi7VM8I3e-P}C?t5c+{^_$u3r(ei9s5xuVUn@3skol3nx=?OpAHoE= zXvRV=a9)uf(BVhRT9o5VNQ-_o^nADY`z!)}9|?SF@=vZo-q0l8Go1T$z&b@!34QZ= zd?59_?0k4IW?{h~Y`i|({CBnJgLj!~m!^7=EWF^{82+}?Vo7E*fbTg%ykGD--6$zd ztfRmWfq6%VdF&PmIT@?Cp6^DVJd0QrW=SlmzE@O;c`Wclu3}!uB-eT09$qGzv0o%9YAFnjf6>_SQ3z3VaM+N^u|u zuE27-TdZ&qSorsC@e*U+({IcjxV(-G|8^nYXfb{j13wfmF|eE#2v7-W#o%F&EE+SZ zR)Y^>H=Co~{$%s1wH6t#$(tdbfp=IhEOQ*HW;~te_-ybN86Vsp7`Hky8kXkte^=nj zNlSjmCZLHW^@S7Tc{$;pvDaF2%Fw7Pf6cP7=V4;UZ0C2CQ7wsj1V=0CVutu5R)y}p zQuDFSVaEmiL5-nJ6Ro9;jeC(b9WL$XLX+J9Catt4 zt_mr&MMUo?XD6xn(GqwbB7vhblj2X<`UkQUUb==bY`OCQTF8~UHUaq5wCCPhhy_NTr=3F#!6^R^zV z{l28#*5bG)czd=_q{R^&AB}AzB_sd5H?ov0lS~-vITgRyzdH^i|JV{bNwG}P6}WWV zZZ%={_bzFDs2X@+j1*J+17GS}pnabERoNZ-0M*O+whWW)VTJwVF_M~wg z5Gr*(Vih(e0eVKjDs<>qlczmawO7;1?t`5Xm2O`ICrK6G)VX3?s;XC0iF z)Dk|c4EdWgI7;ZHG&g_r0NM_zi|JJmNr9!3=&Ka=LD?s)i_>sdeV5td{qO5C2{(;p zT+egxq(oY5$UgQ4epZT~$Gfq}liibgvN?tg`Y;z3NnOC3y>;K)c`+QBnVFwS)NNEb zQg2Ej*Q^Xz52bChFZ@7Ke(v$!>~*loO#fW1Qaqz&=bQxyN!kQCeV&LAq>Dr_G zBcj_A%M2grMs3XIx>K@~^-OTXetW@DqXiuQE-przzaaII-ji7U1g1E*J)2J9I#roM zv&Ua83wK3+WnehY>_U*_VIsI!qi59ME^@nF+L%u-T?2_4L|#YbztI;bzYEct|Pq2pD+m)z*U;95VC*eRh00pJR`$`aSy*ksAAw z0>v3cZns=nbG_}ql%~HKDcCf5w9kJvu=-CYywgyL6y2~}9T1E#tVC{=_V`_Q$vMpx zO-kjyyIQovm_LnT+a)S?9SBMQPP^)F-mq}Izw+vPLga7(0RapGDd1L;7h8#9TUluV zj{5?9@A#(l)_ciK1z<$Ct+Ic<4n>Ou?Cq2dNBa*Eg$DSahyvIXzfuQy!Q0#0lH%g_ zrkOu!e0E6!9{b5xQi@P8aU}p-Onm$fey>D$czcxA^d=1l62d46HS9{P<)WenS^7v_ ztC>m>I!G4B^kWZLha5eenz!#3x=+`J(ri+zhG?Vxp@dKlJ*Bd4 z4I!=*c?rFrjh$=OWJL&q{&$Vy)Y|~^7?>O^G}SaWHzy@cC$j2vkt<08D_)&(aUCeO zD;bIsuq!qL2QYmXNf$y!@~1qv(8YQ^XK*XUMAo;D>EoT?sYz8;6$ar`8ljw^?~(fCIlgTsFDnWMu3a9Apy}1vLJ{y;Mqavi)-V;_$F4z5qQ*#+p*< z?n0hxe6(^D%Gd1skAqDRk)RFO@K>lclZ`ZjtlR9A%xgWnO)GAaA2C9JkS536GOBQ# zuP^hvy`ZxH3CJzLVFI*mRuB)>4F0ZA4*U)_rIYCu+~wxK(i&{Y6`~U&1GMyFe79r= z?AU(okNEoVS4OWTaP0xc1Uyj1#Y5 z*FEb;n{%+|t2k{vcIZa)T-UFq+Kv~2-w%|BZO{=C8g1ICmR}zpN0U>`b~i>k$$g8- za?J~MqoM%?h~a$o6A8BorfYl-JL9MsvA5QHIkdJCWBB^8Vc7G)121%tIoRElliR`*V!Il&S!PGZgufWP#V8O&Uz>FfebrC@vZl+(byK<^iRv?-b|5ahQ$!|e4nnO@g zB6ZNYE62l9*(a-44a$QFqIn6iR}v;8uUD&7SI$d15FCJ8Rbfi@3aR77bvFU9n^EjDj zeD(~gJ%5&*omIMXjh$=SX9fFcOz3$;JZ{ZBr{N7 z4D%Y5w*^)WIm=(nZoiBMaZ5wNNTTc5yh)-5ZmR~OOFzZP9wFqz<>@Zu6a_ta+{+0@ zru*7+fs!T9kMIdIMs8*8pGDEA2t^k>?8v}J?~w1+ z>8P}itKaVDRI&P$*%wX5xf70A8=5j!B8Hl0Nb5;>4abPos0=GIE16|{j(G$#6ty2p z5db+HU50Emrle>rO(hyJvU!!t*j)DcB}E67=Lhn|UrF+qERrX1R&Rzu?03>S)B*!$ z*n#@OAt=Cxe!Xw)P}kNp_V*G1gJ_kMkzd-<+o)Ng`w0%@xYnda#%G>MVR4eHFaNEv zJ8X*JCF@_;zhHR~0EKkOcY9_ZU=Uz}wv5H0_?(hx2F(zGutsIBh`U@(z*?@rV9O>0WW-54e47 zW3pB6K1I)$K*^!?eZkMq59%b;)Pe5U3dcQ(V*0jqb9q;@8822%fj@z?Eh7KzKiI()Re4A~-Z0trD3SsmoRG0VjFfS;gLCAEa~W+}OFj zf`Mm!{r#z+kaO@SU#C>p%);Wg;AlwOhvQuJfdI1OgRWP2X{@{)%*;6I-?41%EfuJZ zQs$up_yi$Eh2$?@)RmZd;4RY|eey?6p8<3#0=7(*g)n?nzT^tUclw4>wbuKDWGGIj|Mxjg`Hjwz=!1 zF-qxyP7)B@r}7FReBkcqTyVe2zfv~C`juasadLbZSDwWk>-6-5($alUG+bT%DHvKf z2%v>T1LB}TOlVK&?yfcq3w+QEaVl97|Gi^_3Zpit5tKKfa0vyzHah06=NP%CMzOlP zIm!a8l&a?n)rxE2WQMCzq@f?1??dSIr_npS*}Vi=?_DT#2pQ%>?5R?YMJ4uPETiN|k zOEvwAJJjim`FY+1o}1Z=cND>#rdWnhZ@6n%1w^j3reVyHch3DRw@{|!c7*vtdf};J zP8nUG5#8J@xF`KryRQPh3HzjExuWzFwxvEq9Y$cvsm69OyXBrr^bP-_a(gv|h+eu7 zI0ROM_l^KqIxgpm0NbE9T0tMdJ%TufdfNK&-WO$RBpK_oEZLv}eijm##LJN+!;!Y^ zB?>+<^f63Ef7!dxp}*f6lkGOy2Cubn2B)y!AXdJO%=}U_5;PW3j&lvBb46w2K5{ zh#Up^6iDl=T%4E7z2tD0rSpJ44df1PmFPuvcPA$@q7k|U)Nw!Po#2u&Y7y(98Na!9 zz-=2J4g@<+eVgZe#tDdsDoi@s|Cu#7F1EI|lClAozXtFfuanqQQd0cRCv`xr@$Vld z9P7xK6}R0T7Jn^{5@WCgVR;C5sHIS7P(={e=&*IM+3x$j4v^uDs?y(r;+K@9wB;Pb6y&%_wuwRg*+-5E1B_49u_v1FMK1^4o(b5l@EMh z#Pd9T)c*@$Z$b;={6In3b#u^bx&$1zfcx|5zIevA)>hdlavKW^0uqwhlB5MchJ0R0 zugl79GkfiQlpdU?5$40&BR@d%A#mdLOj|BoZq?&8LcW)kOpLKafGMP*p@|^kXa@{g zS_LTTH8eNRjgR9&k_HaOe!O;btDWJlmXl#RoLbfuTXJX(&waK>E&c2a2^WqPMxgsF zA;Lbl&w;Tb+URk0qt^!@6%0yYT_YnAF|p<0;rENpU&zvHYHH5U&UWjONQjBets>5( zqJndk^IXcpP3qPzq9T40=^@j+ks{DVP(tvB*auMs4#Odu4RiJSkMJ>eG?_RpYY%JB zyc@^{T=zsk;g28gD=;|73;o)eCReM2cnTqpbbjZ*3Cxd8zeB>q6#+B4*xBE&2&Oi= zmB_Cd>~bJ}0!KtgL}o-bB@vqN64?VX9jFIWT+xA<6t1x{Gez2QJ4)?;0SPmjyXh>C z&&B@D?Ug%VXAHX+7uzZ;j{p~R&XHzeYYRjuCV-)v4uf8RPB=vd_h zfB6C`NE7ud0O2A+gFxX66rCa?|2*8^_IxEd1uh>H8iBu;E*+(ZC&;;LP7An{`1uLM zNU&sM4xA%cGwA4u>48m>f@>p^fUD`EyHoj)?V8Qm9WPg+T?T4-A#H7bfGu@&{0BDI zF3Y6F<3-l+aEpDeL~lr-QDsCf?$$D`KR(E$I#-b_Asde)!w4yL1LNm z+_WkX|D~s#f^uN)rWj6`)`&{Tabh-1yqT#TWseWv?|&)F%fo|nz`{f0mT<~6#T?4E z_iP^-7vcxQI)cN5Xho7ghcQ$0ywt=$MkxXt8Vz_2a0e*2SQ;`^qV8|te1BR#jO!!0FU88}FEz(b=;dLN zY{HAh9qlX*fy!-9D=@5&GebmSq${YEWFt^^_XBUW*CjvS7Pz~&3A&la#q@H53tYK2 z%vDP=frXrSki+1w;N<^JvM%=9w#B_UpcprSb`%$y^9vaaY-r_#$*be^Cy`40Ntxgl zDJwz=`@ZJV^muoBxQ2=+{54XDgf!KTB|U|wSx-8cendg}z+iV4TWCR9a&_2jFH_NsqQqCx-`nEX-STn`Q!K)IOH0~4$abenYV>Hi?^!}(-iSbl-7 z&^V#VLp|%kr>q2bwiDM2U53PJ0()BD98aTUpnTfYu!Xdi ziuQVa-8>s;7F^b(Pd>3c(m%*$PzKD18iNzj-Z;tnfQS&Hs!J1Uo(+Z%IQy&?zac?H znylW*8D3FFW4ATC4)w@M7~RUxy+_(Wd}=&vOkL==z~6h14v55Uc80Xaz`*2vRazrr z(f06zeQCLsYd{!wv?*uN{LM{=Rf$NtuUUaK79=Om67!54`X-2H1##q=HDWUSX5j4J zBX16`d>9C29O10tpqRi``$89)W_?_MM38=+;lqy4%Rv}?DWrrilLL_wK01hp8Y2{W zEC_vtIU8$m^SGVRNAn~Wj6epApeB}^f?4W&YDDa7UlrkbTHhqgK)RKy?o;0tX0@9W z`cF#hYa?MiC$um5M*Bv>+@DFNcFpz*yyS}o>PmHpQqU$8ZjX9BKzPJRaNEWdb+wA$enIy zt+JerT|GUC0^}9MWtfOu23#U1BlVsx{W=i|NK(Cm7)+oGWK_)rdW`F>MznMT8&O=WMx7DtRh&n*k^Ybka(15#RIZ*Kh;*TZY zL!j$%aBvVH9|GYT9ty?9#VsveYKTr4y-@d4MbEJGjz^ql6O+EYaj=AiD^%Tn&zZ{4{*w{36bciIxfu53ysK0n1^*FUkMIsct@OXm7 zSi2Hz5U9Xqh2b%N2@dW8)w$olo%z#qq(Y#&&2Baz-iH&gW(s>%15Fwz6*@O90E__y zF_+t;pWJPc3QU67UoLI||@^8`q91taBB} z0t)_n!LPV9)yY^pI)V|R0_x<2m{`E-ug~O|J(H8?fJOmz@vl-f;xbo?^76evX#~VC z4~HF(H&<5x4S+&e6(&88)*Xw5j0Ny}I8Y134Ml(YJ^Zns%TKSzKU-kEZ97IrNA&;= z^Fd01R?rU$VPR#RE;DGboh$}q-s4dx7Qh=oVfT(gF&V(|UUYiIAG@ixAg(Lr&>{qa z(jO2kER2uWT$nw5>fO6pS=@3({~y&*U?6(g-?PuEH-7~FbA25g@+uN44(3u{|0?Nr z_gzqCrm?T@T??WA$+`kKNvWx%(LDwYjsTM3FC5hGT4=djoCC0|i)<4Nggu@VD2!E1 zH6NH<@X@k}6sN6P{#T=)V(y(+$AJbmH+usq(qiY6noOkcy@j+8fMByjS|$_|Uo=PiVr#~(oLl9H10E&7b6;xolWj-4wgE!q`S6tZJ0LAz>AMFSxw zCce740pd?eac}P%kV49SCH^Uxz&VPuC2ctpYa+c3GQ30rR_(LB>BFPdPEdj5wj7M9 zIz`zDb*1HIG0_ILwwg=p`x}TY=;=3rO@Na$Jsw|I5_{Yz3^Y~MK~pGUBkDL0Vn94J z=i}K&NgzYe%t8>0;l_@QBRD6=L{ytl7vBGrgh``38$hemss$F$^<>K1#k-qH8^E=N zVy`D{>=kcU126ZCAjfb-YxIXfBhGA$$+wCE7CWC~R09xlBviGc!NcsCm{w&q@2Y)`wB~pegTtO~T(rB9xbdIC;3p6PO%SaixIX8zWyDu2lK-rCXL!uO zy4Dn6QG9?n8m*f#4zPIy2dEtuk|AS&l7+C9Q8Yo7BJO|lmuec6IJHmA*3vlUS>HCvHA)9 zPgk52ZmY8%XoHdH0mR9nPgbka|N1S!5DW@~%5GczHI-)i`3rz_YhfEM`wyu zi=YpE0pS+^^&Wlg?K*B2-tg0nz&q6nISfEX-X}8RWaVc}tFXn3GNl!sBjR3!YKUJp z!N@aCwEk zJ3%{1)bDsgf4X^JhGdWJDFQtUftn&E!%;lm`trtLeuowT4v{DZ`W@07h+&F01HA|o z8BsiYw3=|F_(A*p4T~sad!2+GVifcV)vMuz6Jk|DOCN5(LwXS?0itMu>8()4VCX{2 zf~ErLMo261E-bYGeo9k)|IA%pvWroaF%yKxTydFR$kzF8o@yH-Yv3)6f*N%O`8k|T zAmR!_Ba}T5ZKT@fwBBy?-yvB5p98vNa#&yJ_254D6!Z5%VB(<7Ar`2CcXw|N8kT{4 zp-Sa>7|`H-?%%5~(Lh{4#0~sl${PbofMX9NTfzJQxe(8Lh1*2hlrQ$0gN@^R%M7*+ zeg=+6Nhce)p^~^bBoGykq12?~0mPQu%R^8}!&S#oWdAWe39K{4cjXl}vNR+j&>lu| z1ZfTQ2s{Wu(p+b$=e6;nKUJhk6U~iO39Z~n*u+mD;NKRi#H3Yz%I7ZjXVcTkF)$*5 zpo*A`tRO#MUw`a}7iliu?vF6h6|_O9WY8@P&lJ@Z?g_bii&H%z*AEv_ID*OUp+ljB zcGi-?G=d_{ZF)ZJArI!fzd!&4l?Tx60kO8T6A}hRBSXHt;13x1=7w+(gky5~f0 z1d#R{93SL$_W0i8gbBxZjztJP(GCwAtzRy8u28bOX@+FKu-}cQ&gJ9fr|rExpyc5m zq^l}Ku?WE#q1wiR6e7J1dJS`2K@)G$<2Hd2RZhFL)?F$d{q+CBkbnR2qoCXVRgeT~ zEP4_*JI8V2@vsxw+N<)8st3HKCxP~34$!!pn?HvDnF6RaG;aYV`nG9GLoRKCvM`M7 z2+0x(UD5Ztp0xZkW!&((b(6sI(LJ1P;Vv&y#<(e0IZv zq1M;)H!Xag@Aq4T3qF(^G(-Unu1H?_gDsg_1mO$d?sqc*4C3SFw)0k*1txpTFTR&b z$`NF`b+r0&cGi8%^ojugtDwhz#LO~ZwgCF9v^NGLGJ^|je!FAh$`SNCpY((V8ZiU zzy+ymYMOU#@qHLW;p`h|f$M_y1onyJa1s+k-R##D!h=IY#i{wvk0x4&PIZxE74aC9 zw&xoT!L5M8_3PKKpxmhj602WhV_XtBW_625_UY-3fs8AtY>KAtwqks$1>> zQgG4L!j)yKrM93pm2pC=G7z4o@jWKIC_nl1(A9?q2sH<*Ew!ablXf1eD|M5AlXQV| zq8j8)IA@qeHo+0EDdrtkBjdl;;8xsY>f8q9_fLuXQ>v4OMG?L|+Bpm}ZO`u>u}sf= zp%k#x4umrgWoQOa*FXc9!V3Ke#ufSuBq3CQC)NjuAdu& z$iI}7jkL`})g`KR!n4@JH;@~sUr+(eBb(0@;){rYa%-#}JkcOzcIni!>V_o=u9Iad zK$^q4yFBgySTWKs?DgA;k03fD@9IpxJ^W96b9GTV*_1J(Pa&w^=YOp^%gu2K4)wzQ)Fzk z1o$Wz549B2Dhk}i^LtrZJ@m?nMK!w*aPoRlS(h(R0T>rpFVM2or;Gz_6+1zQ^M* zH!wSDcn6U#jeq4$_H3q$a z3lbL+zp{Fdz2kQG(-|UC<_#)V>u3ZtUK_V6%N1?y^^Li@_S`Ok6`%^pw&Ig5YmbK) z_8c3<|KW1$I%8}6w@g?vD7@*Ex|Jf$VCj0>6eVw+BRN7|!kDrZ2VLQs3$k8_D zo*ImH0hE8}LG#WN%gLa01^kPim6@f)G-BG{S3ksF6P>nt!|@n3^nJK}2o<%? z-8kOVt1idNiK>0a*$i;Nqd{gu0#uusB0e{lhr@y>?_7n3BIU!d7e8ArNx@x_5hK+i zzv&VaG1~%L{3KS|Z%GE%6@Y?604Prn9`JiUG+mcM2jSY`n<2-BHya5=9YzmjEf$_n z#b>Z-KS1f}3dsHPf3$7XZAk6Au^7U?L9VyZg%qL-o^>jqXLd-rinoAgu%dUYK&YuP=<1o|QfF zMy@e;I(&A^YB|*lQpAA~`U0YXeZ7JU_x5c-m@>nV`gTh?a%WRY4<;wTBqgwbaU zlweDDvHvh>PVl#p>cA-d)LWFBn>#qD1k~FiB5iyoe%B`!_mgL!{SJ`&VJ|bTN$3>nJn+gk&D{U}P2 zxv?=9(0jzoi&0^NgNOGHv{RhVfig(SIzBwhFCCDa{$6$Jj-v3nzj4P5kqU{P+n!T8 zPrum+1nqMXkEl96!>z$qa17IInd1qnYO z?1zTRkLo}Y94_|#1E`vg)mW)Yh;ZG_Zms><<2f|`*(T+QRTX(GWQzF}VqE=4B6t@_ zbwEj0`&{q0VCWqwr>Xcsz6!`0g@jrdRhQbY896vAawWUPLf_!TdA@n0rhnM+Fo0)5 z_>G9`>rc2>&<)r$x)gR!G0ub%zu;;QyO_SULFJHSOmgxEkbGu}ECWps=vwmh^aQ;h zKrg$#-n&mxx3O(Xa)K&Yzt6wmeAN}e@C6IYidYI21-UiI0mlDDAT)-p15|d@xc}IZ z?oo5S1>)KB3eEB#KPL0!upn}vjmfQWm5>4;zmA8Sl7D6(-3L5A5xb%FyLaQJ3PeOn z02hKTyshCZWCR4IEKxsj2ijYPC$$w-<@a0Mib!J+LXZWKxxVJWkwXQcj)AP5PeNpO~c&C`_7fhpG`l$9um)xUf~cU%a0>AZOjj(Ced9)6CZFj z@4S!?1^IfMEU~qi)7QP^pJty*uC(mqmEd^-#b&=yQ#k;cC7=_~nqPqE8Pfn#?Z}$! zJ?K04HIf42!&h67y}%!CXeKt5-2PidAq5whi?6p{WA{DDQ9?Rb?I{}1f32Ybv{0@5 z7IhGDJHZ~6D2alP+hy}74)Rm-4-_K@g(wPnHcU3;~{2xW;-{KJ(o^@lKNCm)+`D-?G+xWlMHhccdH>xL6_miJUd+k)E=sR zf!GiAAKp_<8>l-jLA1>(tWaKl-_~)^(sEeSZ-xG@7P%R2fP{hiy#`$&iL3S3hL15` z5D3|?r{4g%3SD+I?l*SQVX?9@)eK4Y zhJaOPSassxyDgi3GfGMz8qQ(r@$vRCkWL)8WJf`SwW9oPYe@`80*6%bjmI$&Z39>) z4Q3~N53D64eJ#QJE;ntG+8_a#q4s$Ebp7&DJFVsKFc_Y9u{V%aoq!Z844a9W>42(T z>=mmA&^VTIDZ$4DF=>zEf%=vkSZJ%Bbcg?>F_NS~;V~#7U*cq?)w*^j#$AU7&2Yt0 zuYxY{tMO8aZx)LVRgf}jr|K-ha(08|l*}tA_Ou*K0V1Jx(QDrLmQ)0|9T@$wD%)lK z!U7k!i{<*ZJfjrjlpZK(JgM}+pdO=c`Iz~bx7F0#mFtqNbPz1zI>NoQn;LfKia)EP z4M&TpzL5V8cu^cKclz_Spq_z}0pt)2_5eNh&DkC}XYt%*tHgI5vX9LdH*h<3B zPxAz+c-Rp$@GU^}WTM=0S-u2Rni1}{E3Zvc_zMzrpg}A18q5Dw=csr^`<2GOx|2(a zQhCyqpOyPb%)U2Lersu_@S)z964v4 z{!gYV{ct>hfAJI;Yuv*OXhp7@6Gu)A*W*K zsAMNT!^;7ux5`f%H5?jR2^o1}>vszb9&bvUzBP^O7XS%cs5PNR_6sLz>AZpFiQEat z`DUX4m;3JTWT2CvGD<2G1&B9aY2s^r^Dt?CHxk9%lMjT)O{L9B_%&bQ>m%M8rZ8Zm z05ECYP_)R|V}=ui!$8VViibn1?{Qoq;_#PuBv8L^*R9_q6Fz4pw;t4)K3t<;SpA*{Ni#O>g^rq?hsTC9iGp31RY5}_g zatHgC9ET)rBX&fST*3q|a1&)!)yogc5;?1)D*!nHDyP_3zN+earyvV*^r010VEiu^J>OsaK+ootq-A!~a&JJNsRpYVgGK|yCQ8hT zIQ^AIL2N5IYTa=%p9wz4Kcw(byTL&7L?(snH+{8o!$v1F(9Q=GEw0+yQ$RBU8c;yX zPo0V9_Q)zwq|DCF{>5MdNtAT8+si{2*ONa$k9v1;^M{`|5A?@{!Mg-Kz$9{l<6k7+ z^#kN3+~8GwJn>JdgS*=uJ*3l&A{<3SU0uDO?5VZ!wz#I|6sR=?-FFlI*F=Bmn*pE= zDBH|cXlZJKP9BRo6q|9TSpIOs-@w;X*z;Z;&IinwRi~|pn)z>C?<($Q39n$UAe(-} zrc)FM5_eh|3Tm?2)Zf*mr0|}Y|CQ!WJNA5PYU-Q{bdnjh`;x#w>Y-hxKWSy zJH{d0q3i4HyvJL%<(WyfPgvS}pRhdR2x^mwhm78A@BWB(}Y>8n0brUwYo3DW83? zEG1<&W130r*4Y{oG?3gSQ8QIX_+r_spt5FXD?B&up9>j;D7PR1S>dOGB7)3*A_Yke zD@GIT)nvA-sb0>nPs$R$e7I^b60m~3q5M8Iud-oc?2|07$Ds5+VFlqy%~qOFdBaQX zyLx9`wx{fg1?2uIxP@W}zHRA)% z*%f}?`FVD4hJ~gVu?MmDU3005xRZs%Zdh;CZx0Oj?j%Rr-$We{o!C#IuZ}uy7!9|p zpF}8LQn*{4DExa#Y%%Zq{#mo}R;lQD(5JDod+m)jc=G#8M?7>icT;!!8u{jDQhWAx zHYXeBN$T3_=L?}Dgrt3{yr0g&1RO{Z+u)LfDSny9{zi##YO>BAFP8R|^uqDaxD{1C zc|Pfb>k1?3e+~zD#00O*(mxz!Qwy)1lU)eZ3-h`oq|4)bmB&ujwb?#t8uv@yNRF6^fY+Z53pj&mnW<2e`}(^;Juyx4#b?ooWFY3x z8mI}5n|J|8&Y;IiXHdoiQNpD1B!cymCF`$}cH9Wp! zyAdPNd6a#8e9v1oG`H)aNZvO%rPi&{ZV6G^_^{-#Z?ne}CBM*hx&3!O-?UqNAJaFuHhB zH`LK#7Q6I@B#a|7r;=MP9+NBi+iq@dcKF3)t^K?Dj2|sup8brDS=m{!axhQy#CqAYi>4j+@A?(QRt<*|D6VMPIf1Od$w<8CG( zo}}u1%`vUh@vd95GMFC!G*deh_9cwzL1dYhR@Phfw=X-4pVj4zYa0n%MJJLdS#(>7 zMS*8s*;2W1@nKYToq#hTSG1-A*DtEjz|T#eZax*XeedvcwBv`xI6O7*;t!z1-;>xu zNi!d0+{;f+P9`#J_iSiknqPY!z6Q(<2ylblgsbz3)kk^_?TrLmMHyfto`=u)Jh~Iwi;`5L3`IYLpvaD>w4}E)9L}!ue;pf5NE~%Pu zyCfzy%IoAP>-{{O5|JU38<`FlY5?8CIa1PC1um*kBOoCZP&etH;i$c%(J4-ZFp#h< zGc9W=Dv~adr1M}hWirV#YYO5JAI^_-oNMZo>f%e}h(3o}z{lJ7L%a-APzX6e80Fsc zE9%@aiH_umFafXZR2C<$Ib_A&oe-H~r{P>1oW=dtGC`1AJ{W@3#0U%lf{{hzS!a-- zphYB-bGIGh@?v0L{d4f{0`~@I?Pq9-a4?48I8o+hi#Yy&f5Se=v~Jc%6BMov4yT`8 zRHRba;QZ)JjKbjD#TU!V%iG)Awd$vrRI{Mb!z}>zkENbNS5Uq#Rl!U5hWb}WZ}0HA zgoK3PpdhyEHtCz>uK z8F-)J;PiSPw%d!}Zbz{&CQtfYhU=erLtO;!+R@AS?Sv&C3k!?)a!}5!10I+lHtF@z z+|Lp~yriddKrUMeuP80;Kc}g!Esw)VZgyeu8ONg2;X4MQUsJ`S&l;u>r1v_lPK>*T ztF?YV-Rgqr?O5p9*&9KjqdS?Im)F+Rl(C9F%M91BCqcm%L!b*F5OBb0SKDM*g=rUp z5LQK5ne~R(A;@69nN{TG{)R3=`d~f_eqD(W&x6=fePfri=IhI#glXG=%{2`n?MCo{<@btO?Kh{Y@O&!

r;l2|TMN2Ube%CLq}`usjUUlb0Ld1dG_;zLWri9~XCJcGd2 zyotu^W5_fwz#_;cURebGQw%ZN##|?lav_%^@ez98MP}3bFCu8#o3Ve4Y{xa=O0^1n3mp9|Yacn<+WO2*ve(-;iY5Wj=(q z$ejFp1X;|ZOw9kiWtFtK$cYHS5yaC;PsUPgz;n&1(RSYdLap1?xYAoKJRtcwS!K z&W_X2MK%?1qseC(q|8ivY_#(foOg&%OJk>}uL1=eaGsn}b#-)(4wi~xWxsL%SCaF} zkA-8|NcnQZ)+ktG6w)f=x^(HTo+~jrtmKx3#UB7Q!iu^CtUCG=Q|t)m-pdDOQ~%=< zRH^sL@yyI|!89X?@Gc1n4R0oO95~nY17`&$G~}90A3~y{L~4cZqh{DXo1p4nMT3R&@3tv}+e!%1sGzp;85{04p)YKFJ zhCJoi_+^Js6!Au1}$gE2QZuX*AH4e61~)8Hc`BLj2H zTUOxZEuJrNrjc_|1vs6l=>llt^VN8vjHT6zA_}68N9TtsY4M=u8^N@>(n=p7n^9bB zO(9fTRW%%`$Q3Ji7g`S%e0WT~Mg1?&sH1i3oC-@ymTJ}?K70tQn}KueH@rNCi*)w) z_d)De7989sMRG~ydn=%Uwh>a|2`z4}QbE@bzWGpkr*3 z=bGSEa-TLWMrChT2m6f2hBO$;Wy2L{?g zs|#jP;;Oa|4wBx-l4$TsSU|Z%=T}u#)oQ)adopwLrC+~{$DwMF1@x!{#_Lh$rlzGO zC4D{m=H}l|CjA5qwXr)uyE!e`)G0YQI)0;_22dqv7PR#A*g+Y|$hZ&1!AWN^nD;AY z$A$#RP6M5e=-Q?Xq?pTCtRX~nN!O3z4>NlbOTm|oMX*@rH@^h=`7NG5pOjUc-DJBf!4tbjV4FJ${D!&3k!_OgTPgQFM7mWb$Hh@p_ zL2>!$$OwQ2=V$2nq^9Zvf#6k;TbrkUo(@YdFS!CC>{)q08;vQ0V|p$o(9!4U!=G zlozxx7C=KnZX?l zVjP(MR@}eJ6e*w8&sskG{3=LHoo#GvfD=n^|1q6p)zs4RLB2+9c?N>`P(b2CKAKC4 zYZ>dqH;1P3(vZe0UbFg9T~Z=ks@Wy3Av9>V4SpmKC_RFm;#58w6vWhWXEQrH8|p{A zLPBX+lPD!_L)PEN*P|qWG755%>6MiRyE(<>?KYyK>gv5ufn?yW0pttZAl{|xA7-zw z02)aGx@Akt!p25#P0d%+di8@76RFYBHgg@c@rrY+tFVaB%X}Q>7aXB4_52msMF3?3 zD%)pQw3L*(fEuO6v#0|eD;F0RNR1FeB33{4zTOooRoRk(dBf?*5zg@!Vy~e5un-K> z*54~F!3GCvPw$;k6Rp+-)>d06NcH#k10J(>VD9V_UEPUOY3}0U6CItbtSoR5o9|Uk z6ag&6V-NU8kxJa*k&%#G1($F(>?7C25v$1tfw*>16oFAt%Vgos-MitM{6o53FO!mh zQK^}IPt2%|a;U~FqyM>*l9HsPK>?JbvY}ke7hl$c=j|)- z2?byv!MJwvMs;z$uiqgIXh4xD;f(CCaL-`VP6U3Xw&>Fk06CHJ<-5GcBFD<^&yA3Sdkd{W5&;_f>I)9ev_fW(3gWN$|a zdS0&ZkN|eARE6O5j!2s=ZaMftl^l{*bK@p|t1UztY2Xa#+H0BRWlji*h!S7FP7$*Y z3IXA}7Z~(TONx$pw;}f@L8^?6i@QK|W{IBymwj&`C>;73$oe1E4v81>o|Y4H+6zx!*j!kjEMKGPWffGU2n8GL##O16U34+uI!A$4h5hDB-Mr?@B@PBy? l#(~JxH5lvt|Bvr@?=0Ump1*oI6}aEX9XS