From 6ab826cc42f69c54d8e915e5bd04cb28546e08c2 Mon Sep 17 00:00:00 2001 From: Daniel Date: Thu, 17 Apr 2025 15:12:58 +0200 Subject: [PATCH] concept and design: rewrote requirements section --- thesis/chapters/conceptdesign.tex | 16 ++++++++++++---- thesis/main.pdf | Bin 719681 -> 720686 bytes 2 files changed, 12 insertions(+), 4 deletions(-) diff --git a/thesis/chapters/conceptdesign.tex b/thesis/chapters/conceptdesign.tex index f180ec7..4655de8 100644 --- a/thesis/chapters/conceptdesign.tex +++ b/thesis/chapters/conceptdesign.tex @@ -27,12 +27,20 @@ The main goal of both prototypes or evaluators is to provide a speed-up compared \end{figure} -With this, the required capabilities are outlined. However, the input and output data need to further be explained for a better understanding. The first input contains the expressions that need to be evaluated. These can have any length and can contain constant values, variables and parameters and all of these are linked together with the supported operations. In the example shown in Figure \ref{fig:input_output_explanation}, there are six expressions $e_1$ through $e_6$. Next is the variable matrix. One entry in this matrix, corresponds to one variable in every expression. The row indicates which variable it holds the value for. For example the values in row three, are used to parametrise the variable $x_3$. Each column holds a different set of variables. Each expression must be evaluated using every variable set. In the provided example, there are three variable sets, each holding the values for four variables $x_1$ through $x_4$. After all expressions are evaluated using all variable sets the results of these evaluations must be stored in the results matrix. Each entry in this matrix holds the resulting value of the evaluation of one expression parametrised with one variable set. The row indicates the variable set while the column indicates the expression. +With this, the required capabilities are outlined. However, for a better understanding, the input and output data need to be explained further. The first input contains the expressions that need to be evaluated. These can be of any length and can contain constant values, variables and parameters, all of which are linked together with the supported operations. In the simplified example shown in Figure \ref{fig:input_output_explanation}, there are six expressions $e_1$ to $e_6$. -This is the minimal functionality needed to evaluate expressions with variables generated by a symbolic regression algorithm. In the case of parameter optimisation, it is useful to have a different type of variable, called parameter. For parameter optimisation it is important that for the given variable sets, the best fitting parameters need to be found. To achieve this, the evaluator is called multiple times with different parameters, but the same variables. The results are then evaluated for their fitness by the caller. In this case, the parameters do not change within one call. Parameters could therefore be treated as constant values of the expressions, and no separate input for them would be needed. However, providing the possibility to have the parameters as an input, makes the process of parameter optimisation easier. Unlike variables, not all expressions need to have the same number of parameters. Therefore, they are structured as a vector of vectors and not a matrix. The example in Figure \ref{fig:input_output_explanation} shows how the parameters are structured. For example one expression has zero parameters, while another has six parameters $p_1$ through $p_6$. It needs to be mentioned that just like the number of variables, the number of parameters per expression is not limited. It is also possible to completely omit the parameters if they are not needed. Because these evaluators will primarily be used in parameter optimisation use-cases, allowing parameters as an input is required. +Next is the variable matrix. An entry in this matrix corresponds to one variable in every expression. The row indicates which variable it holds the value for. For example the values in row three, are used to parameterise the variable $x_3$. Each column holds a different set of variables. Each expression must be evaluated using each set of variable. In the provided example, there are three variable sets, each containing the values for four variables $x_1$ to $x_4$. After all expressions have been evaluated using all variable sets, the results of these evaluations must be stored in the result matrix. Each entry in this matrix holds the result of the evaluation of one expression parameterised with one variable set. The row indicates the variable set and the column indicates the expression. + +The prototypes developed in this thesis, are part of a GP algorithm for symbolic regression. This means that the expressions that are evaluated, represent parts of the search space of all expressions being made up of any combination of allowed operators, the set of input variables, a set of parameters and constants. This means that the size of the search space grows exponentially. Exploring this search space by simply generating expressions, evaluating them once and then generating the next set of expressions leaves much of the search space unexplored. To combat this, parameters are introduced. These allow the algorithm to perform some kind of local search. To enable this, the prototypes must support not only variables, but also parameters. + +The parameters themselves are unique to each expression, meaning they have a one-to-one mapping to an expression. Furthermore, as can be seen in Figure \ref{fig:input_output_explanation}, each expression can have a different number of parameters, or even no parameters at all. However, with no parameters, it wouldn't be possible to perform parameter optimisation. This is in contrast to variables, where each expression must have the same number of variables. Because parameters are unique to each expression and can vary in size, they are not structured as a matrix, but as a vector of vectors. + +An important thing to consider, is the volume and volatility of the data itself. The example used above has been drastically simplified. It is expected, that there are hundreds of expressions evaluate per GP generation. Each of these expressions may contain between ten and 50 tokens. A token is equivalent to either a variable, a parameter, a constant value or an operator. + +Usually, the number of variables per expression is around ten. However, the number of variable sets can increase drastically. It can be considered, that $1\,000$ variable sets is the lower limit. On the other hand, $100\,000$ can be considered as the upper limit. Considering that one variable takes up 4 bytes of space and 10 variables are needed per expression, at least $4 * 10 * 1\,000 = 40\,000$ bytes and at most $4 * 10 * 100\,000 = 400\,000$ bytes need to be transferred to the GPU for the variables. + +These variables do not change during the runtime of the symbolic regression algorithm, so the data only needs to be sent to the GPU once. This means that the impact of this data transfer is minimal. On the other hand, the data for the parameters is much more volatile. As explained above, they are used for parameter optimisation and therefore vary from evaluation to evaluation and need to be sent to the GPU very frequently. -% \subsection{Non-Goals} -% Probably a good idea. Probably move this to "introduction" \section{Architecture} Based on the requirements above, the architecture of both prototypes can be designed. While the requirements only specify the input and output, the components and workflow also need to be specified. This section aims at giving an architectural overview of both prototypes, alongside their design decisions. diff --git a/thesis/main.pdf b/thesis/main.pdf index 124192978045373a65dcafd64bba75ecf58b3eac..652864cb1ba381220bb95a8f6dc33d3c723e03da 100644 GIT binary patch delta 37474 zcmV)aK&rpN_A9RbE3k`40acTXN6G|0d&#?#5fKxEZAgc0NCCHPNCNee0x>j~frkMp ze;HkKDJCjV>I+KUHJkTO+v86~INuBL~-(BpIB4yaR zOw&$ZL}0O4EcSb$uew9It;c5>Jq%Y#^bjS{`}zCl+pDj>OKqeQk!324ZttTa5qVNX znE{XlNELmE-|fo7==$r8mO9qgzux|pe|8y>+g#$VB-)rlSZR1e*KXZmqzz?T;lRY- zxS@V%X}eA$nTR4OrtN7iw6e7Q_S)*WgH1Mz@2)q>#*QZCUBjc%FXwUPfU$kuGWc=l z#+~OBChqffn#N^wEXTTiAlSZyb@-{bWy4rchu#fC-L(Ue>{>oz$3)-%^fL|We*u|C zZlxBfDTrIdrjr=M?Vxunmb@5XMt27=Fr z>E;M;ovQ{W+0plIxnA!NjoZ5xcf#R%-GC)Cee*zBZ6kJBh)>)?a?cnmXNDy zC!@gi1c7dMO!c8dph))py}_o1ES5^WH^30VPrE3zg@8s5U7f3HuL0ULH5 z(s<-uq!@&c1cslE051j0NBOHG#vR!YGqScgMkU8TPPQco_q!VT@*Iw#YmzObN!+_n z$GV@%4g@7@OOq2`kXLOAG8RC1M5U4mEui!MsvOH1^h~3UDfQ*(Xqz`xSSfqn2FBBr z5NyD|0=Kx`k#Z&_NnpHbe>&uZEV`P+NM_=-uw!vn6de5+twQDMw7BvzA7%jP)y(_C{ zT69nKFb-a3bLxQ%q9SR8HkslSpkbCPVnPeKLXSRdioA&bKHG=4e+}S(vWv>%Z&0P- z+yaS8r)p9XUIT=?2Sw6|+!048c>L1kIt&KFgB>2ed%ajb$$6dX}Lw14SjB?8+xdD2nNley@X&?yQ z6bAcl7-=-i48n>JfFL@&QKr}l5s5j*jjn8GVkOh4?`cEVGI_83<#{Xacz-xd-W9^0;c4F^a8fz9lkl=gg*v&bK>qVsF zB0#^0@Kl}yeyt$iCd6}o^WkN(548S6vC9Gw*&ixAZw zj-z;!nGF-(f5=prsVe=A-2AEWIliFtU`Y96S$v#p$V@2;mxglBBX0&ruUgLRJuOi6 zP{b5{`r4Prz7jx6AColUfS51YRMrY8)S1mEMzK*YiahZcnNT`~uqiZOJy^7-A_KxF zBsfpr5JPvMAP5~n&|nfDad z`D-$eX}Z+aAs__MytO0*`9)HYCox>IE-OWn=>N#PD32KvQ;;I%4+Nrm#b}nu*w=#( zJpegkv>eDsVOr7#Xo&jyi9lYO#;|J}bnSj0wj(7nJ2Uhz!Z9nJtw@!eFg_-U3MvDJ zb~eZ#e?w9(M3K%IH^ks0HhNh521sfv44CkmwR4hrJ|Wb@>CR-8Spp@4UL~v9{_?3F z!a^*wRIX+D$_)nsVa7!iD$%mDb_iE6#)gEONU%iprck63HrLBLtd6?K?+Y)(#o1&w zBnbsInl6|8C)m7|A|Ec@Ph`ufBwfhw zzaPTc$I?kCj=LBHv5%P-K9)lMW&bkdUn$4EEfqO1pM2~D_acIoZ%b-Dnt~WxNyw0L%m*i&ZP)jX)vwb+sL2s#^>YE(R+H*FPO7qdtA~U~3)KytA)jO8!9Rw}<$H~2mML~wMQ)3REHuzY4ppF8H zX;*z6j07n8B0JC5X01Tf5o7!zM5PdEGDnl=a3aeW5jH>qGG?aF*f7aC8)^~llm8n| zbcjqQO#Zua^2Z<%uy&)0i)1cVWCqZne?oqpTLb9P=7e+;lFW+Ze+I*fNVI%Yx>O&Y z(MZl|oZr~I%0|mL=~(-e=7&o zP8L0S%>68jCi=(K-{_71OrA_CFNC#kU0@|u-+ZR=kDY%WQ|bKT`ofx_g*(-SPp=hU zcEWhA1OlnN?VgaD?5t1UY9L##=Dz@7JdFH4lyWVhC?~5lo}O%|iB1V@R&@)n%p2Rz zQ}&5bLh>yVvo@4<3iw|YC<>|)e>Xt$JJ7^e7fMbq3Uc*F2$gLBqyon89glrWZxfQ< zh!nj}!DlYiLUdp2475sw)R#H~FuyP83^Jp>yfYBQ*I(L+QGTw0V#-Hgw-KV2}Ni_Wbl*y)!;{1eME&G#jb+5&#xTk_~`cDc5f2)??Lry(h z_L@gY1O>EN2w1*r5iVIi47%gk&}+V*e$W4u_@{2k#dpsKa4Vwd zZz#3?*AD^5wsO6XH=A=08J6p0W<(091fRPx>-#$?wb}!L|KCLyYm%1%-vko^Fgcg8 z&jS+!H8nVsp$;g2l~_xY+cpfo`&Z~F&#bw8=-FG^JSIJK+8N*49vGXpIguq-l(W14 zz5qe$;ds00WDo78# z4nkX{-Pd5Kv0u@yxly^XZ(h*#WD~rFkgz(>$!FW5=wN!i3%Pu<;E_+J(L3Bc5x)aN zJ-eGwAC(zyHX>u9#F%F+Q&~Le_yCqFg&q+Ru8SmpAqa?gU8MJV&_uPyg#DqT?-w75 zV8}dQ8g1JsbGY{8tY2;8aer}@^=|m?>|NJl6bG>2e55$sK(Rcl$#d^-CJQ_U03jfw z8~Dd|Ev7-{AfN}5AU}~pKXGsL(;N7<&WltxS3Q_LBObWt49V_vOT3vMZx0Vofc8q9uPrk`8domB1l(pbboR5Z_j8d!$pT_~QQW?N#%W`I0s1`ngr$khF4 z|9S3us51{8N0^~LQqC(TFIZL9v5}Y{k|!mrOHLAugTO{I6&kS^`_ar!#Z*xzlMtZr z&S~HmRP-CCRrAA&dxvGLRC0D0qc&3(ELX)cale^oEVc{+>gY@P0D^EwFeA=c550YV zX0&+M($`R<>R*DHHkyeBNsH)R*H49tuqe~6-N%zV`gZN)LB90Bf^JK<5e2JnZv$oQ zfrh?7yPb0DF;|6-13P_e#JI5S-tM6A9SKool)k;f^2Q0^*n#v;U9%55Sn+;XOd3$I zv^;da;eo=(b(KM3MCSjWh0DU9d9^Hx!+J4-H~n zJ+NV-28o5~8*k(y=81D2m2Y2l18_ zjT~^v1>MP4Tk!ZT%Y;%l%uzxiTmOwv? zMj3_?%HF;)iG9;n!{x(U-Rsk2xO0hRIZAl&LXH?xk|q@rW2=|`Z9GmY+#90Maz-J? z_Zk`B?+fABT>s19d~%}a^I@CEA61B2A+ae9-Qb_V;h~2B7b4wj#pf`7vH%Fo?QbY{nb}P zZ;rEPf)Bn&7sTgmw1>TqjUE<1ljO3bX(!6iAg*qPMEIT68`PU7RYi9VMm+NTfv+OR z8Qo7clc(;YcZNv9ZBFe0iKUa_Hw?g;hLptj**@rAFE=*g4;x${>^cglZGAH!-PvgY zry@Q27N|K;#65Y=Y`mjT}d6PG9J0(b#4x1j3+F@FIwmr*wYGM8KH0ymd$ zcmWNUxwioU!hw#RT9kyD2j(1cAZ_v zsfz6?k1Gdn4j2+6p_UJs1b24w_30P*&~PR`<{~z_8?Q#c^<8(>rFGBo?mWDUcIRER z`{CV(`*+`cO5;yg&y-M{buG3@}$N6Y1--62)sDN($#yBM5U1cPx5bdUVC?R6B? z*SqW(=-%pw+6;Tf=~t#*b*~%aOn(;#gRtU35h%NMaJs!q^1uxtRQn$@Z3=hAJH=_3sbX=be-t(ujPA?3@XH-P76g+RW{A6o(b4A1T^jo>>*v$mN2 zvFn90bd5~;V(A?K$3n=0nh#Qx}zRDje3$A_VI!D?i z2U)#JwtSSqv6C3atEhM{{-f;#=vvZDV7fJQq&|$Yg06>-QM2Gf+BZIiMS5Hd^d1kZ zz-*VVq`+oTa|csUTheb?fBc!z7q7Em z+_DLs^{{nVF#Ch+4)B2s9*;qzuUEG9V@~HlB)TU2&L;?&;S)aH*u&m^16sUitR9%X z^z$D0sdz9L(=wkG@+W&9d!eRbEUS=Dl>5KwEZ~l*Y=!_{KNpi_jOI^eKSyb5dhv6J z%mac)HZ;*}=0*+1@BD~+e<28iVF}BwZFkEqdpr5ob+~nnzl-hR&b%Oo4-`Qj1y2^^ zKzb}_dHk+UgDloDfmZ0ox@!L-m|5t+h6a!a9mtE!3sKH5xiaY0COqt}&NgD%%bf**S&Jvhd&Gr?ENvQ>Bm+!H7hS^IIJ|45)0f9Kc=KlJd3o{b$x zmxaTYy)FU_x)F%t@Xe!dybY;9lB|70$hZ%t)Z<`yuzGYDvrz*u8Fdn~Q3H-HMZthZ zOEpd;k|DtQJn#O@BP&?U1op3_0MC*okxha7n%v#s`muCiYn5;e;@^1KXxH0sFPz^X z%=}>`EghNxxzNW6e}7{98?Ny^TD*z_NC~`0*4`RZm7vQf-=kPuh{DXtR;J&}%t6SM z>8OPF?dq{HOyJybCO`^MTj%o;#qpWCh0KIb{Z%JwzG=vD zXgP4?1Bn+P&C1m+-7(@XBvLh*DEUJeR%jr$r2LBzlsci;e^M02(<};pbWF0cgiqf< z@}}A|&Rw+g5ZMwP#se2p{`Rn?JQb)08gC&vQIXu_M8zs6GmN=TjuR*R@C##o0tS-o zT9G8uKTi6;+=dh0$-K=gn>Sis5~<`@z`!*a#Y@*D!gaHMB{`!<@Br%y09hoI?hA3Y zXy%A`e}m^Ce+eHw(jTK0X&62V;*YGmNVoU^vKN2EGst0HpfD|}qp2?j|=#8hE zDhf89DTS#=BZk?F{kAgp&!oXdUpLX;hLH<^l%i1NO$`8!m3Zizc!@+ZEBJ0-5Cs+` z3r#`RrSHQri8aD(wj1eXU;W5*8*AMak_Me_y)x?c@g?e3Y)j5M!V;Kwlmy z@xy?!ZP^=5E+5cKTjg2_v1pyhE0fe5gb6FIj0_bKWTc_qjch3#wtDnU4=xDW-3(KjSMWsED4he4qGqe+%v6)`0ql7e{Pvg z_#vrae;r5g0tU6;x=>uiVVX_%fs4F#qqGQc;dsSw7APKa8SFfjO+-zFa-_rq z!HhVXwwQAb;pv6BHKwB263u1U+o>_d@)ISYe`#7^IXi4BT%p2a;svglL#^H<4~uwu zz|T>XZY_gM$N81F)`4@T`JY)Q+t7YW3jfL<^|lV>aTu$~DwYqC7QTPv1p}2-M^R^6 zHqp|){@;YNG^Mq8-j)wsoA0&KoRyqd;W&6Wsek990+GFLhey*(KB*=y_QnAG@XK#Z ze|hxj;zU}d{%;o3OPOfSbFvO&T_0W#F48?gSAWDN34eJD066PJh?@`ywLS-;EKD6alR(Ps z`*5wff<0yv%d|2Hofj@m$RHPI2w~G;fABM?Iz95mUuIB{ed-eHszREaMIr6Kq&Ue1 z2q${LBc>NYV_VzkI^+?C4V=Z*7%s?R13?ZOvb>Six&NtoMC!AkFAL!<4@j4d)0^&` zidBGZ3Z^aU1CkP;-pe#>%0W^|u?2=VdHjj;H6%#SC6-zX0nYvrqBA3~D5r7gf6Hks zoj3b&-Z@e7{@8I9x6B-$nf};!4MWQ|DJ4_sNo+AETDGF)^A_H~rPY(3mIj`)qH$Kc zU=b6}y>)w`K#96>oyQ)sWKmd7E5n;EeU|KE6{ZRz(A1?*^ThZ6lNI~!_d}5v!TY|v zSZAo1-EwcRN&>57vdRa|MOmV#e-^>7w8~Y0=d-&r_ZnLP_agRc_p<1^2Ysp<4@ zhm!wQkl0a{?|`ts;V!%8=Kq4>X6_TJOxJ&bvNe-ba5`0$a5f7>-Y7`Sx> zC!g!!)H^h4?}GS6v*A%}<9ixX6`k!@PU&Eh_FU_y!_G9K7mwY4wdRQ@af4&|qAxw= z#`8)WMb}+>#>7&tcrjKYVI}`vF7)O{41lj&hKj&xN$iDqxe$Gei)9H{V>Rj#dOu=+ekyojr4_Df96^!^j0lxyOb<8fx{IT*ON=Kgy)bL|tSQ z29ih^(o7(E>=|#Je|%*LsP^lcSJ8|)cM>A#3c_6(En9Vrng5LGY$Zx2OFvy$?T#;` zi8%Uig?0JJY1hUBLAr4$A-JKpDdtyBi~PkaBb}p7A%Cv0zG0{HnXz*WD&~Wq@ZhHM z9MVWFj?z{x@)!ToB2J^QkZaY#LxkPVda%8D3IK?g9{jrGyt32HUj>L^b+4VhdR{m>Tz=}Z0p{G>ikv&Z^#9D3*?6_?sk1emCz@Km z(q)*A1r$0KVoHdyeg#r|#Ky^q*=TP_J2SnNz3fbNZoPA0EXL-vEO|t_)A{#{7xi#Em8zHoKoA6h z51<~0i#}NYo<>LakVMBQiT?fYujhxy&v_c9iE5H2jho_Yne?9+a+9CY@{``=_Ac({`uKF-N52gZf5KnbBIw_R4R(ti=%i&6 zHL9ty3J;nlh1&14s7wo$mldD%vprr%v)L6%1*gt_!LxvelEu1mukt#Ff1PN-^9iK$ zGLLP)$@Z}~<7G7PpNS{!a8SfUFJj+N%8b3~cqf7+s4nCgONwzZ7) zC^A1ATgDh9iigi9E9y_Cf4j)g5BzJu>du~Ruf1sVr_tz^tWU)5lI?EocedteNc+7I zqkCFJ@(wOGMF$jxD)O8ajaQ7+eG(tQ%V!VND&MSknA}$Z*aMy{IME;{b1rL@qdw2M~I(f1UNH`hD_7uF9g3 zTSO0LO>EDXaX=|{4iiZm4p^HR!KAa6I|1@jek6+kaoMbDPZ+0npvt>E*Fb<3ke3~uYiv-=d zft5M%Q)mB|z(Od6|a-%MY3Djc+gj8?p_S(%`?6b=vr&Q&0Uss^DB>@W;hi2af5Gy2J3|yF`~*kLU>_mC z@Z|w%4hxtpZnE9pvt5S^^L&LKQp7|o}s$Wah(kmv!YwiA7h zSz5+s04q2}f7Bf~Fk9hDPRovti4+__T7t`+td>LohXq0HB}}k&aNIe7)VqjrN&q7B z-1d{iz4)IKby*0Yz-JLxjSLF_n3OdtOS90$WGY=Ph`#O`fZabvv-@M@lsMofkbR-< zFX{=ZOH|pE%gPUZ0*2%0JWrfA7aWy*1fa102Y=!ze;~FW7}~`(ju}>d`N#>m7%mi| z(Cnt6_(_bMc2qok@@rLaZ;YE0fTk3Rpj?MtgWXGvyc3phXz?(9<8A9IezSCAaFhn9zjwNYN)=kJ^jzZw{AZ|$|B1tbeCaDnO0lipXt4nDl!nZ9K*rVq;NSqax+oFO_Ovo-E8+86FH+Iyi#feLluO8}XJXBR?^ z$P_&st3t4nO3d;S+$6g2HWryFrD1Z%rJ6SFLAL$93pZ&Z)4iR&fydV`0? zG+M8;LYe)BGwVKVmy5KFsrVeQ78Pl+Mp704lMkllw;#zod1frViStS2qMIf-e1Bl?fW(`aU7iYG-SWjg9@L;)wk@0trhT`~^ zhGKWdFEP|(?Bh?EQ_PYiufs#P-p>!+8D#2vxX#N2#k{t?^h1-XW?e{F^*!9V4;@?9 zVZ~D21vd|@jCMxEv*h-jJW=-Z_O_?@{%q_rQdVd7sEL|Tc|O+i1z>rae<=do#5nI( zP4w^2_>E4!y~)?ZG%Zz=(TBIMemk{G>_x$ z@eNr9N~(JV&zIc7{PZbl2ywRm1Eh|nX_o=t1QVA*dINR>Gc&ijdIL@?mwKrK4VPRu z0w%XQrUO6&mwyhNH!oWP2)VtHpg7WWtnd3?(UDfI8RlT5k&yfR+T7P zDES5Cr>|YL`DM8KH~e`Cp8ekQ-v-oi=uA|xR z562vI&i;a$fPIqS*fEU{NeO>~=)l9-y6rx%lBluzH0q8Q?mTQ&8NJA!tZ`cQ5EA-P@D1g%*?+PmO^}q&k<+Zwu1F$Qj z+BgRSZGU3FxyfAORcDdTK}_t^JWdO+Xr9M;mNQ#t+Go_uIE;=Y6JviMWKk~$HL8Tb zbk-O+iHbZ`Z%l(KAq?vA=5*ffQ`DR&dlWF45fq&CM1~@!y&NOcTx>hUp#YOAvM4^?>Zjsxs;f;MZPSQL*Vvmj=1u9C0ELwV zC|fao!d2nMuEi8Wis4E2XE$Nn<=Qiz42&kbH4VblNU>dk_S9A^X!M52Vs=`(40!fc zT1d>N<+6Waz=p4|sT3U|M$g2IeDKKMzW(!J7J!q&ekF@Lsc97( zroAxqVzFZ)bkQRyWLoQHE?UUJwoX7dbY`ZX9D`(8YQBE&y%9(hIc)qMuUYvAwX{f? zsVY1Zh+BZ1BW_qd%@1I|XdYY4n;uxuTML>yVf=8d^vK@L~coPjdw0 zTDO0vVT2&+sEAh>v8>*X_wB^L4M&7=yrjm4096+0{>fZffDt$M#5ea5Cs@Wvm?b|g zI-Gk|ChZ*|O1jF=GF8s)olr7+0_1efi4z`h_zok+SOL;9i zrk+P@TGf)eTwH)StT+1y@Cbxfg znp^M@!$Y297F?fzoc)N<+^>lX#MQw0DWeWuKn}?T3NRb;#K6TB2QCr>wE~wsIR-M; z^jwbAs^SqCe_32bBk+!)WzZo;&m;`6h5)c|7}T7WYQ*zuh0`{a@CC!^R{4#Wj;>~f z7;&2ec->fc(UULV!L+!1kiwf?ZTNpJtMJ_f`l~8dY39F6;FK61*!;e)iYofr~$D!zsl5h~a-0R}_8= z^9)K6%`$+!?-@DVLSlTj=0&jm`?EtQ@!8A3fJCNvV7hij!>#>BU1TALuc26hp(08!UKWD zrzb>+%?H^&n+4h+p{4qO*wNtK#QDCP0e=4Q12BL10RX1P!vXGl)jX{U|88~K znG})|X1Jf`ZTO+fO7Y4tI?BYh^-&)u@^?Pkbb0B zE|=zyc`ET#(!|nXZukh~FF+Z8PLTHRr-wN$5qUFmNHPx?Jl-Mdn|ByF(Ti#2oTq2K za1S&Gi->5NbcOGV?ZtnUenvnb%z3QIl=jey!!DNji2#9Hu_>3mjq(_e;`cM$6qAs+ zVdXG%UenC?p)nLrv!4KUd-C84!ec#;kz@KU1Q4V7#~Jk5BxK*`w?^+$VDa@dvLq9G?lJsa>jqj62}k`&*Mc2Z;nPr z5c*gK82^&u(T8VX#4o=OFpgh`)#4?m=%Z8(2mNdmCbEXJF{8iA6`mlOS3fs|-skDI z@(=3@EU)SL4X7}daA*0s4>6PND1@u|m0zXv+xV6_m3rS|kQ;u`*v-Pn)kbT52JvGq z<7o{lWqp-7Tla7B-sC)!?=IO#yArYF8{DSVwl_lBLZFQ?!{27&Fv%G>`}6oQySEO) zYPFq8U-Nw;Pkkv^e4cTP5W|Hue15c=KSRToGZWd$f5bt68w>A?q0%y_Ua)WzgigaS zeF8%%yzKNe+SecbBkcd_P*Rs6&I1*f(P{%RmrS$+Ljp82w~@31q!|Jx2w(r1p$|&P6QJJF*Z1tk*NbJe^^U%+cprs`&aNt%~%W{phWi8=2iEQ zrZdi|=>Z~P2_uS705Z1zeRr`7ijw7w$0o2?0Q>m%0lzax+34YvMO$~5M%yTjKHvTE zc=zs8kwsaW)M=eXk55sZChN40)@7PxWfeWP(Z6w#ES5!4#P3btsN+Br*|#_l@dxGf zf3{yN^R>vAtyvtyaMsQh{B_b^%QKU(^s-os__v0?f>oOCbV>a|l zS-#3?YntYP{O;k9rO^j-_YeGpOTrDyaK&2)4ghm_Pofe*x3E|v?vXZpNVds=sRuJJ+2PQ9<74E2~i&g`nnx$b|`VQWFf&6 zNnMsC>Mk6QZX0%sELJo=N{gbRTc=B8!;XH|!0OqQY;bW$bOVCf3oOiez0^o@e%KbjtHC>t{Yeu-6uB@M|2awniU|L==KFG=RfG9qehf`iaUZcXfhQZtT2uL{OA=jJ7}X9(ZIfb{BC2MwVUY4FyvT)1HRN zf}To2lOicaO&UBIdys4ZU97Y zcPQCF6wt#1TiQ0EeIG_X8IAPjRUW*zWZsZ1yr9LZM4XN%ndwnI&pZTxA{m)TecmQJK6Eg9Pxrv^Cp0&m>|rFT zJZ1-5^g2?CV3a(T$D=hztNp!57^K^?U;X^yiRrYXc&!qys=hH}Sa8HBX=$T-X-`Bl zED0b2G&S~qE;gqRj9ww;e^$bo(}$yn0gSDZEsaPh7=SE4wHY0gDFI=^BLV|)RLnq@ z5#_aI&PR$#R_mS2QoITkq;Bx0(=89sVOcRh%wS3tnTS6vD!9ecWMm^<^SXOlCzRka zpDE@#19?)BrUwiXvR+mMRMP~_$0GdBn`MW@n<|7@2OFpsp7bpm7-0$V=0gX*q|OvNA#CUlUoHMAcM(Ftc%2(8?^a%zjlW~zaI>l!V zd=Z4{7%p#&1z`u8f2iOxZ;s@a?7o`hIXJ4@8Vgkq%YI%!%a9TMT#o&8D!n)v!sb^I zi$^>oK%gIR3C+KlL4|!-8EE924p`NEf#hqw+d>Q=g)^1&`S7L}Lb>652Q@gfB<{MZ z%eK{M69hl5P%7vKjaZTA6*Oq?21)u6?>y8m8c0}JL7mWYf72=Vx@d9s!F1HI6CdJ;rPIVhGqOAzm@nm< zp!1Ul#GdyXe-IkU$I8wbmS(aGOvo-baKyQGS)`?hiLcW*#!v7U%*{yU7KUdVroo0) z?DgIg17j0LWDP}&j%ZKD1~%msoievgT3*>EA>yBAszTiJ+571r8bCZQZz%~SnS{i4 z#cNn&^P`S5Vw=Ipr&~;is>Mv6QrCkkXKTVly$q@+f1tsPCv11_&7K>}7Cq0EIRu zQd(qdWgJ(;ej*Cxov~|a;cP10r@Usg??!XdQ(NY9jBXPO!iQm=5z62oeDZMZa~gtz zpDc!%e_9TFF8!~v4CezMWbk(3C!(0YPTFJ5 zgdIVFo@Ang?-Q$ZEN{ry*k`JFD(yx>pU*vcl_o2ZUAla3=zN~}a=}d;j-ISJ(1<*W z^<^MW@9(b`uA4HX{puEIZ#zxN8E1WabsjytBYt_#4JbcDDIPpd@S!B9Trzog_GIz_ z5!6ZE`me?R*UpHhmjT}d69O|fmr*wYF_(ze14IHfF}Kdv13+>DH8Gb_Hv%!2h}Hu* zmv49h4Y!6#1RVteH8_`HVgeHaIX9P~v;!)CTHTM^HWGi|ze0~TZq14!B}xJAA!*aJ zMei=XIK2asJSaAIEvzg#lD5hI_cy~C$&xI4Kd|j>fB@N;9FoJ~%x^v@>AP~5uCnGv zdYAQ??_GMn_v-A$^6a}GmGq=95f9ZC3xjg%HCZXwjvf~|uB2GeYwLN?H!S~iM z_KOEYiSa(WnOjdwC1Tj#_j2#e*>6LE!=x{;^tFiNz%x<{UnV5+^Zc@`vSzad5n}}h zkk3#oIIQ1a8*8Do0nTpG&&525XN|3Yc9m_i;*yS+7Ia?w={jw)l6zS}qdPqJtgPn? zIcwhgN`F}tWkVBh)q`(@iPTsRDv58^!$2RvA{I#$X=lGkL@My2Bou*f=wNjCzAUXI z(oaMX>TWuS^2vjVuRJ&V%t;f1I7p^{QovIF>$g{1Z@Bii-oL{Ak9+zeiXyLny7cy) zf4}PFS+oKzdJ;_j3Si?zgzL%4}F4K81*M<5opy;vR`)96dnU9f~3RaGlJUdxkDJC>m{tTbq(-> zjpRtI0T32ah2T>$Hbkh|F@k4*qcuY*16Ut-XQ`WXbwzUOp`4L0f!QBf^O2Pv7)gml zCGD(t^F=uOa8lwZ5m6Wn1y;wg3t=RZu@^401o1mFKD8zDZ%b&eeg}tUV~abwM+}vcA%lmsIC^$6 zOhi%`+3ocDy51Z^C^!hV4rBc&E+`T0bJF<~r^uapp!?rZ_mDg76w45jc5n~a8}Rr< z4q)ewzx@9fPz_V^3E zcCXM=Udyv6@a6SEA$DXx?;RD^r~O=M5e9#@pZ|^-Ag!|WW0#Zf?B@z#X)0}C*|o2P#lP8 zA8V`Za??y+fIMmEHPVCos{&F{YnU6)J?(~!+m`XH%`go$bz5atL7$V}xCxZJZ zDTnLvl#V1^TKms#?s83h6eX$0R}%QLKMow~bO|w3(yb-LW8D?Zp;<zQfN7P8X@)V!B^rF!1!ra7@;q;N-A5rrci(aVq1j|LQC4ZqYbsmY zExv$%|Cn1IY+8O-NVipCb3ue<$6!B1{m)s>t&j9bi8|}7-r<)cX|qDuZtNOS5d<{ zbwl*KPMeflwwk7DW1)7qea6mbE=^i7W=ad3Vjcq_25)Q%9ih zouqLFh}i(pg=+--#=UX4i7bd}Fn~06yO$J5D>xMF(xh2Y6D6e|J|woL4hehkApt3W zf+qg3pGY4p0nOy zmBTrb)2kLj5`zjZ<__-;lUmgxm2(78)4VPZHm+MnE{en0+Sa?Q>G)5&bk_fH(Rq;3 z6lP)AVVP>rq zBwF?n`XscM>uCIL78?iuhaJK&Zh2@7*FX$!s}~q1I!0YSfV07vji7My(mbMo-Q%+ClE4g8mKoE)eGuo{QF~e zdF?U^Oa*@DJlgPY%}nxbS+}&dD9Ki7&YPC}yJ1eFkR)h$lvf~s*Z?4=Qwv+IEv0X$ zv(H?vii9Bck%Cr33PQ%t2&S#mVM^0&TAmZdh2Z{_lwbPcd2nDw23+$nRIQkWIK9ER zt67jWE4zDwdr+)2c8BnY{MmB`R+zLAA@Uu>&fBJ?QO6YB1+9n*qH%T#XtkAne-Q@; zAc4jg?o((uzzQROgu@_CaUZE$az@9|L9Jzdq)O2eF^)^$QU`6V1K-)McZJ|Vw**JK z@PwHUDU(Ho8|m%ymRD1HN5-gX9Ag_`sfsf`a)sHhpMp>?s%Y)DHt0|_bw^bYW-YDx zcx^d|1QJTe2SUNvMOlqz9|9kTm+kNXz!Ng_4Q&rug0tFx*A|lO$oXI(Q%#v+pPBae zJ(o~+ITQn~)`u=&7R5su`q#}?kQZENh5=`vFbMiar4e_B!$!B0o8KyaP0KhBl+=5@ z{4XzVo$Qt|Hl6mL^RvO=q0x zq3r<{A&C<%DgoK?-}h}GL5CU7h;PHg!`txSH{(?uTlOgFqgB(55{PyMKLJ z=1Cc*_3qz?-{&3N_t%HJ1b{ez&5|U_<1EPYDoW}yIQDn{-9>3x7CA|HAhD7xPkCt^ zr;hyQbDt!^hw<)D_;Z`M9rkXEy|)LQwWxzSst@S_kDA1JR8?t^r*%{v4t&;+?fEuo zI9Z;;xr<-$G~lDyTUV4(TpeI1T7U3xX$>5{F2kl(=SlT~=xckl!m$_4z;RTQ(R&bU z2i-93d6!n~;Ah3O;MG_BIWmnDOdWPe_a)x9X6 zRdyYVjaST>5Vo^oOFKlH$wU74a&({MQBqQPqdd#_gyfymIQ4j%oUG^>l5>qS9RWUW ziO20VM9vCz($`5F%}bPR$AOnM+8n3$5lpT^j2zMwqvYBr{Lv9J-ii(46HqI=qA`1l zQVgen{K{*wUQe(u{NAHj0)O(YVMujmQI7r(- z7J$!Rn0ir0jh(sElY~7pL>F292S!%p_;0=mScgb~rPx_(P!67nPFG?L%Fh@h)8vKcuX z5&-mfbiM)8WZR|koPT22*jV(#_sudGMh+TAJ+DPG0OW&`e1NF$1H?~b*Kv#t6BK{I zjcunUMy|?2w$KW($=_jaeprT{YSm3zH7{Gnu3G~3eA!|SKlb_WDy1lzl*EyU#%0t7R<12O|#i@E`ORLet@E}w~1qRaM3J6 zjMC7W3l=^0fQI>VI!26twnFFp@v9i9M!QWQ!7K|{QAx=2rR_wvW6gLkAle!y?sTbM zAm!QmV=aqH?6#gt?84mQa=#l(6M^$x(JBP64ND_`aDu&R-9>;MIMb7c(hwzPR<^!j zMpsJ8juZ19A%9GKlWHS-ypxu>Sq^R#->_cW&*?yK;|7H&H+*wE02N=0ZXP()$N&H7$CS6POq+i;X(N7UdsZu6J{ z6lHk&f+5Dc{gX6}4siR+{PjuOx4Qz|0GA7@cJrFI0)GagDz4muh?UPxy`-jINmDON z*UUW&5vw@EkqljmfpO?w7~&FQIhU3Dq>7`wO4cs$+Idb^C)EmBtf!X-euAY^?<9`8R*OurN{&JIoQYB+8kN4l0M;V2@ zPFeCj&}gXh7Ut595u!-?tkq@eG#Ch)el01J;Y}|)Zyd_mktS#dO=YR{=5#&$0=f<) zN-lv!z6{i9>JNPhRsv-vfL8d{?cjz0LgseLLSE-XlyxUu*BeKncaVe+fYPszC9jx8 zc7M1W;YA(4{*X(L3?RxQ!@U%d^veJDGkbCZvQ{yNu6ormZB^I@P8d;D5?R$oC`b8yJ$e2oXot_sCCSMyOEuV$Wh3 zD}FRcH1x_&?f3hQ{zjRYxf=$dR=%8j*}>a3qn1Clauqg?FMT*GocD_G{gC_&aY$EU0ChOSRzgvFv}p-2nI;&PywMYO)^ibPc*nKFT&t92!pGOAFeOH`=N$|$&A z1aBssOlO?)$&Yz9H=D{ef0As0H)8TvQ>M4sbjGxxdcwo$+v~qKJHYZ`clj`waX}&` z+{)E5EnyWJPd-egoFuEQam_Sy*J|lI3R7-Zl_y>&Rgr!qu5sP0aWkFKNin69t zqFa-hBB{*ca-b%+7W7m_l9iiul~ie-xvov&)}NcQbUjuim^IJWo0Wm(h*j%P*B9?E zDC`MJt&d7Yn!p*(*B5WzhQR`cfGMJ59o$>Obs&Jj2o5t0R>A9w-}=Wd#;5Kbpz zfzpx)E}cxzSGReQe^$#i@Dy<{2lfoP8J=w<2p1Ywwv(=>K0TmOfqoE3T9353bPZf#>5s8%&))5p@926np%D9t> zJ{$5_qWbZX8+=zAyG;N z#cj|wUR^c(%xZ>a9garNyU({3)0!h^V2+DzVR|CtRuX=h-`O`_UF`%C84;<~m^GM# z5kk;<&Yz(Sot;V5qaaN1n#g?I6l2E7C}DA9jL)2by~LPM+t*Jp6Z{Pf3^t;k;xz;o zFxEbUJ-YyJf7e9wsPFdd*BdYK`5=z$aV`ZRT@7qi9=25>A@4LBRr#ICMvXKg z;;4!CTh-hu092jhgIMAK%gm)ml=&qTpP@NPFt@nN)A zZEC$7TS-~5d&>VEm2Uz5$dXbL#?G*NK&L#We|fP? zKP5bjLxEc5f>I4&wdsptHiV;9aPj(#J-(pZwhBGuww}sGzE!z{DEI6aym600haDXr zCnfvbj{ZBQfTT#1cTG}0+0i)(6+Pe6A=ZgF>Or6Q97jKthu9df`x%v1;Jtl(uDn)s ze{Tx`uHOjr{rLJ(n~d#p=Ek^dX16o;bn=7o0P-4@bQlkY8NCNE4x&!kN$K6Q+@~Z^ zC8yEn3t${z4jZ5x8Xh@bML47X#W?=Bhq+fbECd+L)Id4(9OXRUxK{}#TkLfMN}~3J zcOP&Ds)FFD*-=&LGyE#t?^nn3UmO#uf8v3P*zp7yY9b@{G!vifEH!1qI+ zZiX>f4Bp0d9xP8d@aOnYvsk2^7qBOvwx}befOz5_;-TX3qkqJRiW;7afAn@) zjXwHI2siwchyRA{mneU}8GZj25yjP6IIEk3#r_<8Jn+NwA4J4~PsnqWv@$oNI--E4 zLUrB?l1EVze|#l@FNedxp>_a-*sr9M4)qK?r1#^Y;~@G3Fd=rp#BuD*G(Y=w*f1*W zgqc&{gt1+7>?;XiyKet|uvbaZe~9l7jE51b&Ozn^kmL|r9eKslH=d)={IQU^{?f=C zbh)FN=p5C2oxuEb1>qZf&iW}VK8{!@Bbw`{3ClHLR~{+(HNf%)aJ33O1h_oamxJYx z3(5{G*vR{ zVlUhgfESEF99W6>jD zH8K)15pYh45dMucJM#XBe?t^$A=h!w?58lLiDvZN|I)dSXkXcneqUEPew2rS=n#|v zk!bi?0pHH2id|fEJSgj!P%->&P#q4-eck`hgymD8Qb1Q6lsw4tg{ihhcGzYkcxu)A z)Nn8{_%C94h@Ue*(Zs+7$j4Op@Id*#6FDO5doz$%i*r7r-u>9Pf1@;4ThMp%P!k0^ zF%3aE^2G($_+7kUy!(y4V50qy-i^LP&;R6xs(MQODLvpRJAhx!+y13r#C^0^WM<_C zZt`N^5(_tAny-RO`^mk{ATb|2r}&x!#V2b6^YIqfOe)uzxJzd4-A$Jbr0moqDBh_; zfJR4bY+8o##w2r`f3$Q9v|PH;cI(WTMa@s%Uw@=p!F-rXg{U*JB?h+mp{=K|SLm_d z=fibA1ut@S6-CliQ{=v8V%e5%AcX8T0JEHYn@ zu}I5JQn|^dW~%B6g2Zhy!r?oohNp#@3gtTVUgb<)bl;$ePB8V7{aY{BM_W?5#&Lzn&un z4eC5`1xStSO7B$IF(?{>uCg*4M^*PU)IYxbmm5j^e`fQ}nCpa4+4W4~hX0ni>pUrKi~$;JRoZR>txZxSYm8@(F5gt?IxX#q zTsn$%e_~_bC)dhv9HBcFWB|7WpRz&6rWi+fpRQJ8`fo%OEbb>N9{OluU-TH)1MHa6 z5u>tf*RnU;2D=pozQT>Co^B2?1G`UI`yMQ!yE@#IpqJ6~GEAmpx%7t|*Rz#z!xA~G z>b8ikLy@|Vu8q$yu5+1S=La7MJbmg1fe{~?f9F-&rAZbp3A(hE-1-x$%hdogVuRrY zv{xpJ*?wFwSP7(_2`VOk*kTU2^&X8kI}#w_W{bH2hgUW?*}EK_1xL}(duxE7U%DYw zA+@FgjVpA29JfwmhjZ6aCnxZU^@yvibL-ZSlIrkET=SQ0<2so8Zt9Z8)GO-V7FHE^ zH~r#8ABOEbP#x&i>eJT(TDJtMHX?JE3-Qv4$hNmrMOl~|&nEX+!=7foa)(;(1Ni?2 z0uXR4mjT}d6PHN#1QY}@GBq@lp$;g2eOFD7<2DSv&#&;U4v={5*ol*4yX|hbmk!Vj zP@w2RV=IZUw&Y4mr}OVi>dA?db&COFieIA0CsOml45Cr~y+}^(DNjyGo_v1#;qdg~ zQ&}WMp6&B}ksOZ6KF{iWpVXT?D>l32&?bMRWwuzAWto07x{-s&LgD*aJ^I(5>E z)w-^VIxUOEpNC(rJCOT)>ON0aWtHvL6+HJsFV?&CeX**xWvaCE_R@G|v;)VVg$E_9 z1ffmftka8=ZPYUO%D)$zZ7RBp@N%?|g#2f)(mC=RxAIPQ#|(>~4F~bYKjeac?Q*nN zj?cq!7iG4o_J}(eMAfqtoQa};NEek@c1HB(0VmD!H1A8R)90Sgd_%c$YIcPW3|vKvZiahl$=e4+Sm_ za}Y#TJi?f*M)wi3tZl$y%x-R&t%}jldV<+I3~mrIsr7_mAi#xF*XbuN&Bb!UIcH07 zg~OK|c0%b80xgxs_cz&p5NbT`2Cdf_{f(wNVwD$zH76^2EG*ev7ONuFTImybqX$01 z46;5yzc9i{q35VC&SQ1EF6H(HhZaHw;2Er*55I%pkWH{_<(-#fz)J9Rj*`}@cu}Hl zxTm9&e&AE6j_9bb{M^>P04ykhbBAljXt)%0&H%I_m?hRIYh5sZAa?*H1aDS(FExZ@ z@Sq-pke0yUfkP6<1ajma9ML%g>Y7eApQe+A*E7u=fs)Iep1SxUwwZdi(@|!k6#ax? z(zYRqR~#`jB#yslmW4LAO_uG|E||9Nt{|L+Gl(6p1&sy1TJUu-?vp>WTwWjrX#odbO8ELT9X{ zi16Tvp?dk>^XEl(3U`dO^IdEMM8x(pWzoC}hmDyp2ood~Qq z?w%m;pvw%p%_20OydEpLO+zarr&vu70!1{;Z;G~@Z6D{@tY}|0;qk^xK)KjVFC+8g zyKg&v_ib(kMf=*O-#dK8)H&$ujt)m4^XZF~B`x-Clumyajp&B9(cH{*l3Or!c|TQY z{g93tm&$SW>xu@Za9%axtrvs=EyzPX;$`A>yqnPtD7+)|jB=JRZ%)cNCdCF%i18{%406U3 zuN)hTK~OFjQX(6CoZzJkSzcheNQ?pAWEU`SiVSpPe2p+M1{Q-L(?vyO@d_G|Pk3Uz zq9DI+gQA$@ge_z;Ou#lNZ*j*C3vvldgMOY|-dKa8%!2`!3B4>DUxx-hIeAjn0b#O# zGCNPWJT)2fSb2>*7!Om(C-6P;xPv{Iy$IrI$e2)+OK=QRRKZxtz$d{*kAYLc*)*|6 z20?y3ser}f6$U}PoNyF4 ziEV(D6hc|IO3{iitCZyHuyr=&NmRLLi1lX&?=eiA3EpGOo_(UUI)`z zD2P$Uy%V$$NnFV1DayPu@&FTOkrNkj7J~-S%*i)G_LEnyCe^2ZU(~Alez|PAN%e7k z*p>UgESCS8R6jKBQQfLv3_{gt{;aAWRrO9)uklFBBTS|Z9v>*LCe?>}-l<=#%UU7; zcGmJGCT(E2KtUrsKToRf)vH&3s`{v^x6P+URd3Wc^F>!{^QZI0ylqy^aW@quR`Ygo z(M_>#{)77Ny9xe{qHoGN0_wrw3W!-tTEZtdr?G^G^gUZFPp0j9Rg`q2DhXg~Kp0*u zR#Y}v9XJ-PP4o|1b=J;nsM<`scD7tyEQ;ErYn(|V4g}d^Mwm6~C?S}C8RmUZ;rZ$8 zux_XI@i8V^{8}&T)e8FBFsi#jMUb&I(eblkYI2?!`^kJokE!Jb!{ zwr;=0yZY!WXpd@(k_FD0bfit$6;ehFU{HRd_N$)aZ;*k&evJB{s-OS<4<*$T{3J%F z8TebS&(1zy$^Q9E_x58q>uPoR3$L5Aru}#^o7c*fCzI-+S$0LS0}w}Wz9M%31_<7} z8Iw@!GRCyk`?i^Xf2^@!RlR?6psG*xmri}YZPxd*lX`-WAuTVv6;foGN-VW%)+mOn z!urdjpX#HPnB*@%g#BO3x_9r&iczI1@V@JA~ z9Av9O%U*|%5ydQ_2g`z~{joEGhJrr$8Du~}7~rvZWQJ%gRbbpbq2=j)?cZ!_H%$i(YHdd**wSH3eX~JlG~n>8c2eKai1R(ltz-iOvE}qY-PC@% zl}}!OO;7H^bJ}$mt3OuN$)Y=5AL@B?Uj0_D!11f&v-*qZbhADawCoU? z!nquIEg(g&Zi#NkP~Icn^01nGk1ToQe;*!}wFZvJvL(tovK_nFZ&OE*LmRGQT6Te> zxw;`ai@1jc$c8_^2n+E2EI==v1ujVd@#Qstj-3T$*F|=?(7Afa0>Nw9(+)@m_w2{s zEwy8}+E7qBi!8uHCh$;DPJBRk-D8PhToyoRuOfm&GN|mek#{-(r4IDP(=a0C?-p3v zBj9O|fZriYgcwFE_*Dt}c9p(em~V%zoUi$p3EO_Z=U=$r^J5ol8&H(xh?L;EB*(aa z34x~^5a(^&iL}|-NzeIve$!L z<&PoY-IjeUMedLlG8|uUr}ZA7ZxI-O2nFTMqx)dbZ)yVdP#^4Gs1N)|UgXj9Viu4G z<$wb@K5(D~9*mm6tV5mx;}QEi9wEyKGL5n0v5k%=WRNXh_S6)A5)bnT&vv-4 zw`H$Ny_dt-t-SMJUFP?q)1s#2>&ECBD@#;nRTFaS?L>6Uoc6Bq$B9TPdEU}T0Hl1CSvp<55?#4B4Q@D1%)XFM< z85lMH^XlipPWalYnKVM1SfP<71u|&d|K>~B9si!UwL|NTYX$Ge8pqSOU>#a(g421``5v4dJWa6m zeW?*rNAZeapDu(kYNB+&==Fks`=?=4r9veGL~-j3T%9eUksx+U&3wJCHn*%?le}~* z>?R(os2E-!VHHQ5hSe0n2sAKYl_8oKk*ajM=8tZIQfFOrDXA+D!P$!$nyEK50%mX9!_xN6#FnmUJJxLa z83ZAG4UR^tpcy8Y@(e2)g-RVTP)S_V;Q<^8+8xQB!l&{0)WNm~DD5sNWVG;zH76j} z6U>|Qb2Ov&q>4s>=zq>Pc!J-Cs|1k5vIhy+!Xu4gik|kNeG=NFjzknCBWA=I9Rdqx zH3k-pkg1>TF!88I7PNSOI~lnuieah;$OX`yg(06uQ3yUYq8d75Q8%m$>&5TkKwJGoF)f(ZF$lyv)BMN>eT&{pwz2>!mc*wVZY;wk3?gei|ui25}%gQ}? zLoa*Pf4P6TuDUy1mDghggX*zE0P#ryjLs~8ak#Ztcdn0ZGm=kE?{j{iAG`W86IR;& z&A0J!=Oa{qHn@!Ys_AxgSFH-xd2z=M$m*bFN}7Ybs6Iv76rP-(az$1sh{DINDA`|i zpnlkO@@8>PKBO7`9;8N5-tk8{A~fK#Mxk#Q^{W2W0uwBUFc&jsBfCn%hO2>J8q z`g5~&VY_wUi$32EVMZIaPMPp9nh3ugPW0jKbKKQ`yQ*mFw!R@_W(a!qg1f{1d?Vn6 z4FHkf?GNBf?ko3|0a)MgQ@sD_3R{@k;4$WF9D&pZNAZO<%jr-_LnRHZn=dT-n;&bK zGu%#+2`_6*N3ILma5D|7bvp1|o*@q7O+4o#%S)MX-h5)KoQ${~=rnkPx{z{GJ` zG}X2{!`w*{p+O_UMK+z!!N9K)o~lj9N(yd&urXk082Q-pQFz5lKuSKs7p`hlDbOO* z2eIq~dT}&?9&|Yr!G?!kJcP<|Gzmoj7?3ock@pO#9a4J|lW59LK-xW^Wb0a5%qWHL zJ+aRGNQy*E-x(vmmm7DrKz8pEIf<6ZTJk zK$V2(JRS-@=fAz0D;q!*rQtM-AAZ1w4z9V>)Nzk<{Tu?7qAx+A_;y#7j+>Bl0q>>U zIW3ttko@ek1izjsT`{nLj$w%t0+{6TNg(3|Cw4duPLbI$g}_T**h^5 zboU`1?lVlQR}gn8>E9}duu2|qM1-t=mO(m#3T|K1eh%Gj?@wV@T{}{Y;?U|C+Dhl~ zR=U4nXdHZJ4JrOU(8ZH768294T`VBaI0ib?gU&u(Qo>OTwqwB&7KfFc04YB7dnkHe zV~<5^{Jo|a8q-8nE9I91OEZh!_eA0_XY-{@ppZ!^Gv-pJFFg83JX9_%mx|(lNAMb| zoVIt4x_@_%CmiJMqA(qVfEbB)jdi}arF`I@3qCUI-{7G;o|VI(4A-~E5BB&PAA)hH z_#~eI5kuL>`m&FDM%ib;n2Gn5pJKuNQ{1H#(hTnMeOuk$q3;7$;iABLyX(+XCb}<3 zf{KTo@0A9*EahRR5m}rHIffs9PIuxKRc5~B7a<=Q^O@D2&+I-$2bt$HXpLY8?);4E zkRi4C*LyKe&@-+bjR2=f0cz&6#J|NEXvO5ipCCCPB=*n*m%8Khy#E@Qe}C}K5saL3 zrm!V^b^pj-|EUW`{&wVh3v%fk%wf$v_hr$g_19!vsIQyTs$llJ7%%Zu(W$0+170g5gzkvf$MAT?hqxMA@%1CW8hK`L7$j=^d zAKzC*RPqc&UGBQhHB`ySg13U7jI79b@hewMebv(dGe$%z8&^3Xu#J4q>HPnRI?IC9 zZd2T`vTFHR1CY+R`H~0S>^5aiytiU`x5E^VTDAXwvgDz@jioPW13w~k24aPWOmHt;8^PT0taLUhn zqD+F*`0YtB{&e*Q;{PlZgFm-6bp?M50rt1HfCV-I1TDCAESGU=1rvt@f(3^If(C~J zf(M5Kf(VBLf(f?+f(qS90W-JZ%L=ste@DzZ5G2m1yoa$a;nRRJjYvaG5hS6JFw{Dz zT7(J|52|nrnu)CTw z@(}z7h&Q+hvx7^4Rih5rY9g%dt%3DI^iYp9E7KFUM%0up*giCiJA z$fpKBgwKMbehQIr5qSkai8KJ027M5;fS*GCXfAvT4kJdOqbwCV6e_^Je-T3%;|XUC zbkU4jB8J{!dqhetcqbQ-eq)hl3o_z<;KulN3E_8{iL)RZ~xek^+Z{>yW%1 zm7eDTmjT`tdSGnAE~G9Yd1NLb8Icq#+JJ*3kp~lajK4$zDj9@oS_+ldgK9vy)wX4F zYgs^MN#%!SgMO*>x--`nc&u@IG=|iUu2rdgl2NawRIy-?}V~F+yugJUFrfYJoHk-5ZZB z`g3W(-9m2Tf6enuv!`70$nvRiZ1@zW*bCpFEP2R2&3E;3^YqV0yV*OF`P~<{_b>Y zn=<{sO{Y2r@<1nVFP&;?)Pu!rNV`m-!Fdb7e^y3yE;AK!NT2d8C~jlpQ3A|R5x@v# z^J&MmpfZppoMqXYzZg3_mWZ4Ju^<_}*zFFOpCPuJd^XBCpawiGt9gTDfoEBkDqoH- zP#w}z`mr8D8=pi;BcoB`T$YT$uw>~JxNqI<7FIAu1d36qc270-VG4)bmgR6?w5e&M ze=~3P8J4=Uue_qXC zO(JUpBSObC4)h9-sp#mesOv<>M8r9_e`|y3sCF1JZNS8pTLRE+nz2QHE-~K#Yk~ey zr|m}WX#*wqY>!aK13HJY-Th(T$7SB$5m!wHi?{_2M`g*@lPJ}vSelPV_$jp;!%>`O zAd7KiRf)}k`sA{hjqAPH*xIPBWKKUiQaqWup_4+|{c(+5p5b(`NlG1ubapAee@KV3 zlajfWQ$S5yQb&8-oD}jYQFe??Z!QfVLgdttRL?ht9a`5&4m5a7|Nilh1M%+1MO}%9 zi~0I~y*gP=FV>6Y0o}itoWqm1M^7K#fBb*P&)+Q0Cvzq5++EC0p~Gx)wyG@mynA=? zz54x*jlR006Gjz@--sC4x`?CIe@Q)GLqeAh#J$PI<9d4bIp5-f`0S2KFwv9sWHvoH znxD<;N*;)}>-zi`m;|2umIr~WfjK@;mT&8I^*`cB+!Oc31MyHi5wFA>@lO0ICgP(w z5hsh;VlGZaEk21)({FHDTrS0#_$;R4iy_U7Q9|J)0}N6(%fzjz7&KA)^VGn0Vg zoBHf>Hd&4XX*A$S$%iGcUBYO4Fh;Wr#yf}}1LR$D7<@6+Ufc>qy*f&Ek=G45sl^JQK&_n5Fuhr2R^~ z277r67V}>G0#@^z_#plTwlkTWT&`;|f&b@V7puwqR7}?Je>yv@f5EaoE+;2n>h-Mt zv~KE4Btm?=oXzTWYk90qXn!@&NTiDT{1j=Z=Y08kIhmn>;{Pdp;AWc5b=FwyS-k{o zPe0C9;%r$@*7XvM`16m8&tRxi@$c4}=e*8*3N}5zJpTy9PtVB6Pp9>=UQJhxxlfk$ zoEV@QlMlQi-ih4vRXjpT@Bk7K->_N__3_<5h82G+N zxooMroSy=%CyQl`ZU!|{{3ZUXmy5n)+UqFh%QsJcdGn%GOnrr7YVf#5Z*@`w#bCH{gaVHd(My1#n@vY8;+{xzvFhq$|Ot+X7s-SBR6_ zHmlFFf796oqoZG*<^Ap3ALkzzvnxHMPSu^{X@~2p5Q=~Y+ufhr z;o2S9#KpyO@tw1W$#S{)lOoOpgUEFC&6JZW|2j1B-6eaFAX zty#Gt`!UdwYdQP-M~~m#Kh8j;y>P&WR+UU&rIa+{49X~G7%9bKKk^})$mfvwvw?0afbaenyC-}(e`AyN z$IzdH554@jrdwubiI{@bmw@IZ z{dq;doT0uAYxFY{YI(PKKL^7G{dVJ#XBVYAPN+ACO>UD|RT2xe{7(%ZmXjW1B!#$q&OSFwMf3=U4l)D2g<9Y+e)&%9g?p+ z9vW!IAV$buwpb`}7$gcI3~1JWZ@So5V^t!YHmP-KK&|{+Q!rOT>xvK&^zG1kqa3U> zH&IRf1|=9y^df!ByRDw zdl9Vu-po@Q53GH94zS2jbr163<2t;C_i`7W4-LXo6?c(^d65#iGhc zz7T1Zr5+W#B+Lx(`o~XA59-2`SjAUo`N}B<{?!1!@;SiIEuz_tSK2Zg+UI-T0^^_3 z;H$PjzlbqRsmUA|f0yrlhA?If(+%LV{3ZeZs+_NEVc;+rKFcq&fH%GYCr;)`*f8PB zoVd)Pv-!CT*ILB(7RfSjnFGgu7_NB{)@=MS-VGMvv(+2t-EnSVfa0@?cf8S-a4K(H|6{yG*2P2T#}dHkQj-*%4H89-NtI zN4{Ft-{?=2ls+wwcHL+*KKe!deNBJrWMs7NM$6u4`YS2L;M>)`oiXU$#vuDr?3;$}f0>5fZ5paG4Ygq!vbUrfGZfVs zin2RL>yqG&FGBNNodGDdYp&+#EYCGcS7#0~j?a}xj~RgM3_!YFa)|i{6^&5)=HJlC za!`Hqx0`Erh9dih5|iz5FUKfuO(UkXV{}YCLy;qf5>xEv^5b*m(Q<6G>qhr2pam;a z(gUj{NQ}X1_GcL^v$=@w7LntN5Q#C3M64KFm5(v(6tC~|>-!X|g5nmMaWjk2cWd?y zB{s(lS)=qA#ikpr#z!;1u{DPO09&d&1eX!{2o$%=-wKEW1vN1;F*KK0;|d-HH8C&@t5@G3PpcR`4q~*q440%`D~j*`T5%i0_X{&8!=c{ zOzp!5OriP)e{nMB!FJywAU;!hkpUP*S2CChAJ0Vw^WZaRmZ3QnnnP=PL-o@CLURu% zy4NbS3*O-n5XuC~bSQHirn9UBcGAC?Q=1oUeJ(58^*K#b(BWdGQy=n^=?K*;^V{`$E7GGqnH_7GZbpPy|pBf@N?zQBZPojI3>i^`U~7!CU- z_Go-+YXj@3&7aJh?Mu_3C5kkyuy=p$VR&h~r~C+3Pi28YVhJPJiqCFr?9ev3ZBC{s z%H}v@qm*qFQSVUpMf+;INfTEsWg#JjY1;gF9`DblGgW0P)Pt$ySvVz-PfxbH^4r+H zpG|V5b_m=f;Oj>BC@tEmGR@KE{a}ih`)VG5n*(0~Zrd~3ZjNPRJp<^Ri;#bTLurRE zd0p0SHd72eoSsAb@?sk#30EYty>fME!MJ^GtJm3!TM9bRvDILj!F+nVc#?>DkGcIg zZyDTU?HQI&ae^gVBG+Y6!VW&i!qP0j`8*m|fsAL&5wg~SuHn>KbGVQnQg$qg9RHuP zllzUu_u95Q+P)ZPPN!54eH?#Jwu5C><^hcna_)baSA#k@bJ-qUHv+t2aF4FzSi(xE z+aWKivNnUAGl%F^98mnsa}VpRtj}FL&%VnL8rE!Btx!pd@nB}cXtq^2!%W+uKbZsM z?UagSm5Qgb@1IO@%5hP@miCjcC@c0(BP5T{ScNAIy~EsItUH$WC@Y%*N=IFP^h)ML zX9}xAxB&hro1hG&ckUr!sq$jWKfXZhePJrMH>9|bNNDHfWXkR>@5k=dzRe|^i7@<^ zW*km=U6-E$j7EhtETm9un?5&1F?ObS^K(MU4oTbSZW-F+Xwrq#a%XE>Ic1kBbOo)4 zeH*gnc)EuI_S|+gu296aTHr#iRED7eOI7t+&pF3Mm@bvI`N2Mo&C9%zB7Z4c>C|nXcQ)LAa^2!w9r7wz z2|fNw;SsXdway8DjeP}XDGe~b~v?F?MviTyV+Xjn0HY4{BEj3HetgrEGV^? zGuvY4RoPm1D90%^%(;b$DBH%LQ|L;!gu_B*Uf?izEo)?24H4GDKyMk@qY8Apwr`(@ zpw=R5LadR^io@F(cD1g5JP)2cwNh<+a2;FPZZ^VmN%LABO4y92O~ak?R>#4$#=W~E z%a~5ngHsQSO>-8ZZ8zu}=Jp7jRTt+<=Ua#KdWQKZN?18_2KQ42U?gcs-uc;_DqIB? zSR1BQfLrA1?$EV0Dh=IO3?p20pp@YmH4Ar<9&TD~URl#M^ODAYU6O{yqaT}K&Echg zdJ&0G7Y}#e)E;g9IAFPc?yQ}w5s~2%9B>DnZizE?SM@{eFnv#*vBgV{n-^?O{+i~B zO_(E}aEmwN0H^hdSFF!mr&}dk!9g7glG92xYK5E4C);5yEgMYk>3)aLJbI6{ZL~Kn z?UDB7gy`Dyx$TC3v4I`L_WtauXY%ZSMps`R=mWvaJ>_%9b9sb3c_`q%jNQ`>V5bjX zNeGGe;Y$hK8HdkNe6PaqgOAwRFtAqP=!(Z-2z<;*qkZlwAfsJ)QSsGy)rHSh{-U$$ z!sjQxxmichZU=5+toorU`vI~YW)G_z_lKsi2lp5s1oSk2V+}he3~-N0er^^W)OGk9 zP}qTKK%zZ3hHP#k8;qM#v9J~j2;QG{!yeom{DmUuaq-56;0O{MfrlHPz(EJDctRsV zg$UP!ZpVa$m&9n#u!BcB@O(x@qyuY>KaQTwae6%#fdCI>RNf2$09}+f(5DV}nS80v(PLwUoGhmM$f@j<$vH;`O4n0}MIy*O*CyWbwc$vXm{I;;q#`-%bL| zYsHolENa^~=Zn*eRvZ@|>_obx2lq+gvu~1MQKA7ZEJbWdA(dFT0!fB%(s5w!it4p? zfGHfVmj*S~za@qE@Sv7H8PFpF1{uLBuI~1B4tRA zUd|FjdUT)z^vHlz2F|676NX+dT06ji9;ui4goh8kq=y4N8CzoKKu?w}adG!bznp%K zZ}cpS1Ks)k#5J`3Qx>s$dmE8zp#Kp9VSKnX%BFj6SONaY?)!dN2k@^uWC2$To(+U1nx=To&@e^M|hlq{FzJ8=8)xm2_K#C(Fq@&@RK4u9+B;zmZCex z#f!%;Jbvl%OV6|XN_qck3QHe>^btsZAA$4{NYAKLw^Df5*AKP_W%uK?<mTnrsRA432yGmH@3O| z?bkbJ^&jm49R1c?Z}Rb%vu(a}G$p@JK|cOi4j-NNPv*&1ee(YO^X9Jeu^KCc912H0k@c&FwQu z0|TRuQbA}HnE}y35Ja#a21Y-K3ZrPz!BG$#wwnS{ZqQ7(UQJIRzq#Pd<+}}(_BkI0Te+A)PZ_S#-7whIdM$SZUSXX zW*QQn-31OLi48xcV+&{on=P3w>z0#XKi8VTR?uRJ`;W$J1#R3iiq#Ibfez3Kx;k*N9t?)0MEwT z;10OUE02Jq;21a#PJoj@kv;`xfCE#OEPhO%HOnY}_rNOHNRzaZ00SjZ2eyNn+Y8w$ zkIjSAmMlH1QO@8Oz2h8Muw?lqb({su;0m}3D&QKp4pzVoPz9I3k|pQg&;aKd`7oFQ z3cyh?3678?_1t$4T(;!Km-X09diR3kK+(U0rRd+~V^DEci)9*yY08u9VAYbfS2fBS z*dT&`G`#`d<{LmGP|n=9l*61*_hVi zY~Aead0o3%o5ll8gLTN?0qEJ2u)bDGB!&1UJBw^k+d%0b`8(dR|ffN)# zJwWY#&Fs_9>y{$YV+EcR>L7Y4VeJIF0PAygH#h)>Exq=4J*$cD=ZONSqd5x3zyg?m0|za= ze@{=01D5*gA)wVv%_(pg905ncF>oB504KpTpiER}z$^o3PzO%alyw#?f^%RAEQ9ml z0#JFP#8fX?`odQ=KWa~v+Ec9ph4B`k_Ef1o)w_VwQN01?Eq(5>o~2M#S%)eE;5xy( zk6#c-U}<(#m%zx8Cn8#lXf2|DwO9oBKH|xU^kM^O1Z5!k+y^U`K6*v(rGi!0EdBXi zDe)>$MrldA$2163ln6I0edD)!`DQCMeG-K^R_~zuR1zv!8$e5j3I;oslK?n6ak6_-$Q7wy}%2owmY%M_$vlUMqZ| zTNYA|s5qk2I0$;I@Zgu~MYa)P#$kYBBN~tBG_v!ELst0go4Oe($Gukg!S53*y#6^| zJ7|SJrm~Q2M3Zs96@FCFHB=nOt?>5O)kK&Poklbnk!YN>!aJSnJ#58mKb19Y#pj;L zLbee(M#LJAS@G6obs*(`$fhWgA92=-&zw+)1boJdfBvDG2sn~Q5f#UIE50Y4M&upQ zb41E<$%-G8)q%X@b#T#&A39yT1f;qfR;P*AQ?% zXQfl`OI-D!V5QE2niQ4_YgnZWHiIpo2{eNi&q&;dGsK{x0Dy+DOjOX*(F zV5OcVy|NE%0^2|r7zJZs9H7(6AutK1z!7j190%0P%1JN{*hf@mfdi+(9GC|S;4D}K z=fDzJ2Is*Aa1l`CD))glm1|(1l|}|M`zt_OlEdH_I0eptOC*?93#DWMsCKg#4fsAZ z096fq5b$`w;{lI<2b>*ncEHa8KL^|t@N>Y=0fz`S2izX;c);TUX9t`ew4=bMfmJW81Kb`~!MK%wmKHRP3P1+|2?PQk2zS8k zf%pcZ8i-}M#9F7)n*vH(M#;}gpbl`V%o@Qauo-Z2&6+?nXaTK&6JM5rcCZa}09L)M z8}x!cupQ{YF#xowq$X#a12Q)LnIf}hrIij%Qd?cpG&4{S%3v#Co1FEK#Pe2qv`bHL zkjOY7WG4WBht_Nw%m7Mi#>pm|0}J3RI0u#hr<3dgkgqO-E8r?n{kR5H0#`s4Py#b; z^KOH?)E;?q(n=rS(9~3gIQL}7z$qrKNjkvln9YMlunaDO8{m$W9{)=Pjd-|5D}DYC zYT^w?pz_^-ksUE|wHOr(x|u+^Hk#b$aGlF&>RIA{=C;u!=8oXGPMXZ#5k}Wd6W=?W z?Rse<6-QLvcACh?5n4Au6G=JZ>jr6R2Q>tSX(Bzx5ykDKNoXCF*zKmN&)NfY*rQlG zw$qNySguXS0ib^#>sXX>r~e>pSe($@1kF_}&X-P`F#_Pwn$zi1G175Ur%%q3PX5#R zk}x`d!sGPggU~vJad&=FdP;Bu7XP@N;vIcjp~ z&!N8@g*l?{bWTQf4mmo+kfTJ0Fdf3ofzvha%hjO)7&PYzr?)YKT%%}eOgCqEr|;m~ za=lU?twS|)ad;@#DGS%-3Mf9!6+Agx0Z>qX2vnX}`OO#gyNIafL^>z>IeDJzaDh~E z1%Ik_*ScH_@1mbtLr%~Ypd1m`JJrH z>canf+pWI;Ls{Fb{^6Xg4y%9b16iHcF#Ce6E^GMCysU0(_-`t!#~LrbE34NUU;c-G ztUfE3{w-^}m9q!3`mOxYSy=;C{>AN@5AtVg_|-#QQ_Kl>u5h2T@?SVS77JTI6KDoX z*jAui-3pYZ?LZmY0hF9wKzZ2%l#+cw+1L-1h&zCCa0n>sz>ASTG&;RFm@;|CO+Z&e{`wAWlH#j#l3MC~)Peux9 CjR#o( delta 36484 zcmZshLwGJsv}R-5wsB(Hwr$(a7u&XNoY=OL6Wg}cf8X1~p6#dhplbH6y=vF}&FrN09-$eL)hc zTCtgkhK_0kNzH!pRaeeQZtwfEh&35{iA3|jo!j5HOMKfzh6@+EPRd@$A_@viOW&9A z*nTT`k9zBU<9m%=kwIfbFgx*c0=wJ3&w93?=#gYfPL8igriqfpbdqohWQtLHB5(Hj zgg&eGt=bog4*orWPuf~$l9tM0HKhi&%!b9gpt79~69w3Z&i+8?J}13*%_V1iaAp*( z6!@t_RZBCg_wCV(hCnfP=vxjQGZ6`fcfXP19ffkEeZfW%EtYqy+mD`AH2tkpIlOQ$ zx5>{Yf3gkYaIZIN53dp3xv_t4dh5&hk+#-9!+D{-zvmVJoD_VT_zh`#Z_af_as#3ie*rM5BE zdo(>(Vl5m%l~Hdj$K`P_hlAmMey^tu_~B&wA%s~^Z2?zlsZCAT%S&Jz+N90lv6Ck) z6_k3kqJw`_vM+cU7k$@#ryYp);6>O9U&%iUv9OE(Qwxjt)vLiMJaNETof{2n_oIKk0d(c7#>(DjJp_ z22~F~mH(h45$7|ANXsmN*Q~sk4`B;^@Lea`(;fD`!43`Ugw}eqRB0>Gh_3`~=j3{# zv!a$A(+>itaHbkGAHrS7@W4+f#lUKq<%(v`HxD>_ypSD@cuu?a=a}vuLSvVd zrc6?Ay;oH}I&ZLN47G7_=j{zB;~B(Ch|(cZPPk~eI?vRoor=cHa-B0<_1G~tIS+&> z0`DeoGm_YfP_kqSv#WGgU0v( zNi0STB1>3$`YxW}$gaF`7toXcEe&BmayaLzWR<%-g#zU~rA3Dpg3g~BL>7^MiZeQm zx;~dI(R1MhIf+v0A4!m+@4$ep7YrJ1CX5&oP{>7P{qPT(o%_Ljj5)o2UxyFs45J1> zF1A~J=I~2B<(-z3W9#R?93u!c8A#1qwwX5IHc)0woAzXK7tPBXIa+q+i5Jfh)xLp2 zl?~yOM+GBgYMSVtJ$R#~HOD*zVz9DBzs~0SJCxzq8z?LxdP!j8Xk#_y7*AE&KFR2L z#?!Q-P5(t$oS0>DngeyNXlm9BjeP;|*Er!Dw!0;uZC|%Pg^ELdEl*@azrA#D9EU}d z@pe8as=r&W-9DK38>pKZbl#)|uZ^XR=7kDKJ_Wnro#+lflPx)+78o2q)MMV~k1jES zs~I9!q(J4Clq^b+7mpNq*$x%SS}-23131Vn0y*8D8d@XCp$iKmhwi%cbQg-p+LPtK;m5bDJ)jvc z^t-?W>kToX3~UjkSQ`L~dIGQ`QZcBVu5>11IRQlD`+So8)$6XpKAy?FA=+3u7MW8_ zrUny+$oKIZGnxU@X%9Xd*B$@xTIP)$7|ZU7>k;m$ihdh}b23!5cnUyY&e&SgI3|gW zs8kbimba_S4!_G_EK^a0DCXuAqTvt3Dx0qHWof$lptKXqAOPHIpE z+Z9(;8P)ii!0dpt1O^+M0KT=nO#4+jmZi7+YAZ2O?OrRr3q(xjqSBb-xEV3FDhOf8 zi>d7_bnOWaQo}NoR>Mn(tdd+c3EP&Dp#15_?GZS)*5}8K*O~?;_UCcUtJ4=%Wy#Dy zN8C**5%0(A?U{1iEe=OWW~DbNE1_^sSoiR3#6EE$U>AU6O0Yd8bRO@i(O)t2ufr1u z*Rj3^%4lg8qiY@946PMH{=>VmQG@tO&u%BbP;<_~+|R*NnVEEa&Oa@JhN*2ssM5*! z-{BudpMz9|Z{~@apl13Y zKN|2+L3My(H^;Z@vk?zWX#@@!=NAd67CXTbh|&6M1v@zp)TEmTv~BqT6Wir~NBZ2@ zmgvxx^|^3B{sxZBk})3-$$>;YKgx(v4{q?RD(a?-bPl}SZCT)Gd;E#3@`#zagoH`+ ze%$ZbqC>w5nWmgdbbSd`=kKOHU8@IMTPj1GUz7mw;Pu2^m064SBV|!3@R8RX;CjHz zublcEBKe$ zlZj}AsCO(`^Y{BEC95_N<<0>G&h|20s09=i_&-?k21W&CV&h0p zWCo`Oq+-d{Z?a$I8SEE>l2w`Nw03W{wu*SHF%q@eL$WEM6vw5mJMT{Q5mHOXC3otC z7cq({fBh)#;QFk5j&6%O-+$V-p#a^1r9cnB zuhPfco@=9xfvCylEKX|T+ae$0f+q;|Jd3+x#zBct0Ehh58tdZ_)A znz>-6T~HZ-EmKW9l4j0JEWgcOTFZV`H;3uQ5GY_kBIfT>cP``1I%T+;ooU#?Xp%<+ z#PUCXfP^QN4{4WJbj?;hktf`jEMk&$vCP8{$a&!7-@hf07)o#u>%bPORes}vwai$g z*yPpmPH=Fr@~uPI5R=uUCE40@o4S>)ekM$%L(n};uzJT2v+UDDU91}m`>C3{HKT*0 zqK|ePis>hm1-s*r1&ZY|K?dcN-a1_Yl(-2*KcJ@|{e+{udRjZr&w?c5TPb~!o+rkJ zI4y`G_J7v!Wd%4R#Fuih?yqNscJg@{0wlwc?7?1Jha|b@+1@Oj?no?}Dki*7!O_@o zma~m4>F&Hjcx)sT?_izIGzyEn_D|AV=v21jE^8%Q+TH?)Nc9<=pmKb+ksbd5G6EQg z$Hq&0GC4@vsES3fDf3wr1b8Rz@~CgulS~9hHN7yp6UrB4S!|IKiG|BL9iGbn!G*wB zKRi_x&cZLxu?V#p>c}+kp)81D25#XFw#dC=r)E3Ot)qH}{ut^gsz+DSNlhk^4te${ zdpym;P8E7Ufv#LL8u2gke$OKVQk}C*aEcHLeYm;V1G(fuLyT~2BcjxB69!0; z=DWokUzH2jm1eq10y2l9ndK2tJx!GxI}h@}!xE)iv8PgrD45_2y}Ho5%|R$o+*_&2 zqpq(#xf!f6YET{o&@|YrD9W6roCd0R6>em)cB`ZTEcKewYMBSTqHtmW9H1(C8uCHi zzn9q>;$M9pz%~^`pSbvbDBXBTnqfA$!nbyafe7oj2uhXY>YGYEwxx#5)dbZi3k9-) zGs`Ma!ebv79s5eN4--)P}n_pofgEY7V^n1&EQofl+bV2`a_Z;@wI2+J0u^CR^i21 z!N^`Zd0kpfO2d$m#?k!FUo0ptED2f8#XFvQ!W@Q(uIkaH9&1U!F!)HU2ok3q)ErK7 z$v2qDGG{+Zc7+OCngQfnwU;Gcm@rM2$6e{xI8Bf8VjnA{02MH*wK)sZ#}Q}+>7Gn* z2B8cVlS(KjqFvCu4~!s?_}V8kix^)Tc}{#h8@@iZ1kV9Z!U5BcjGG#bxWn)*L-j~u zRR-NiP0f#A&H*jp^tXbpw=HSlm@s}8?AC1)FRA zzDGC_B2~nJNHWk=IWn{yiJ!%1x?SOIjr*5Gt(PGIL!GY(?p!!}T))Jif!P<6XlfZ; z5+~<+CJ>6VG^oA8rJXk09a8y5FT8vm1lk#c(9J)WihvBT-&=7=CCHje4OEgg2sO5@ zIa&04r`%)zw!g79PH&#vn@OKTWw z+%ySsgOvfGJ@}Eb@(=snABxHBYDvrX^FARF8EZz@>vsomXWHXt8Jpi8sSs|~1{ouy z0mTTY5akTbDENJtndo>Td0IQjzrqOKyqNkh9t@ssga_n9yy}1Q(OUh!DG}`My8hKz z)y*16-wxxv_X;dAzxSBo%s5;N(+G!0Obj=`k62)S%B&atbs5-wxX~}?gP`ieOZBBH zg)e+z4E(ZJd9eRn%05ZN5}n2S{6~oX0~}duhVnl-l8$f*;t9;!7JdoB1OR4DSKy8g_zrYLBT1})?G|#7|^OxJ(ovmeSt)ENcb1PQf}2eb;(?P*uC}T z{PmeCg7xd{I|(F7YM5pwm5HIGb~N#$C~^Jvbg80zWTl2O3Q|%_w|UCCS-!f0ICn_= zF~I)~>mMjq&<6|W4vSD?wIV9Fc=gCflT~Ww%z31gnkuDqt+h0F;+pwvu2JSQ&;5&f z0fHfod0Hi+ybKO-ECL-PXo#+gnE5+_*tq)W_3v&jy2lwRr7;)mn%4N-YY}wLub#IU zYm7G6$>LaN_|k36hIIB%FvqFTnJ0^N+i`OJH$^o3ZHk~$@p1tlEX;{yRzZIL%F%29 z&(b=Lq$XcO1x8V)V5V8EF&pe`af4cnP!gl(RcylTvm*vzUWb59k}qRHb`q9tcTU@l z%#X%dgU-XEw~>`nZh2KW=Id|75k4oo2xy9#G6py*bA?cDV~Z2s99BnTZVw3JKc?$) zA&q{|Mi$UKUHE>fkW9}HJC*AJ5^+ClumLNDUM+$TVcWl`RRZN==RKM7ynNMKu~-}= z|4JsZB>S5Hf}RAP`mrixYU>U13@^-XmiIN0@!6oFxIX+rAax9g1L7i1=BKDHG0K1+LFjI-Ec>C}$Y1jX z_Ik9RB*E5hmprS>?DIE-n<2M;z9M^}UNo`p|`f#e6gas!6Wy7Ji?VKZdtO`NQ9F#WK&^=5tKq2@Y zrzGs1*)6f&Q0|}s3=>iK;6y=a;OfaUny^MiKvSZQO)v%TkE+{nHj6`oxknh91%U{W zL%rxOCr6dnkOrFJ>8Z?RVT6aw=g>IlXU#G1*p@mRU?^zGEYTS#U2ODUAv%HhvBe{R zZy&mpd{{W%Uqe%yQRj|A-w3as9-?0?iD}O}`otUEy=RzS&bOcwjvmEGzXzBDwqSpf zyzz1%A{`_@Q!?KIbS-qWA zpkdcOQI$S|YwezzUO2@KD~-M)rBV(EQ6fJsjCA)>mQ2sm%WeV3?}udOAhTq;I$o}C z3Yl%I{AEb{WJ@zs#(WPV_at_RdRsrtSUPs<4#9*-7v?S=K@JXoq;Cfu!cuA{9Qgj# z&k=0vn#K|~d^X>Q*r6NluCCCH^U(4xu)k#bJ(7F&A)_VM+76|dxotS(o;L#&L`QMK zaWllUbnlO*XK2m=v4`drVOq>J;mj}ZT_r&up9_IKH?3&HIoF4`we&ZWwgie*XaQ|$ z9E;fM*FibJIe9286AKYwltQQroU7~Q^yb0r6@fO&;?;HRFT>bcumn*;>^CZ}lC^pT%_B_}$P^4tSg-bqG?Tv?lco{gzm=yV)C zwU3c|i={oQ2GD`lVKY{|JOxfX&K4B9%Ipu~T{eS@sWoc#$O@7UH)Sh)m2HFZ@>O`H zr<5QX#m~9$>uFlcd(bbhyIic(2)H5!jto3g4wu&k(W)BSwh$zJVemNb^ zEPHr2sjGY2eAbblyb+0ESX@@PKn&Rv(M*aNJ!#S5I#Q>3EH-JF7mR1kiz)tTJ{KDs-fdnQxwi0tOFEEuKDrS zpgl8JUiU9)IR9bp@b&Ob0nvg&}F|@r*-V z3?$uU>S~7!JOcnzuMs{cef%3(%RwJP$X%6iQ7k%Qy5G02_+q@QYv{>QNlX+>@w8qM zOkx_=VQs90#R%hWuEcuiz(`}@P_YG*73wGA!sj@Fai<2g2eSNy4NLef5}P}jDEOvh zH&@hH;XyB&9!atL$qDILB7Cr}C2379{f-{Xnsc(rkS8pgIj1%NBW0bQk3-IUc;N0k z_lE#6OsCZU@&j%ds5=NVYg=*{s66d|#s4J;rgZr*P>ys5Phj{q%_h(<5MY+%fqFC$ zc9wL;O;8#D_JsQ;=fh3?UZOwg!k+vKJQqD7`QW1xh87D&DW(Dg;W( zxfeH51r3^FsCHra&*Ihe8ww<(PkE3?K@g(HuWz@HXa1;AO_BDB(_K5FHF|0l!lbU4 zlRkL7-5r~3@uyu@*?!-LeK`ZELRQ^~5XMhcEtf0cb+cspfLZq8vyb4H<$ABTk8fv$ zQ4!b{V@#=Rv0yx@qUylVqxaJv)67Y^Ty!5ETCF;SBGMQ5?e1O|vhT&CZ)om%Z_NS! zx3&!!I%`!3e??5WAg6H>C=*O9Nz7~3xtAmSvf#GOD=~2ToPi4ZOu}m_igQv89CsmT zthn*N`)kyVY_f*tbG(e>zx|X$=Yo>4<&70_L7(SfZPCO3W$6q4ha<*Cl*{H7*t`gG z7O&rq|L8$u=Hn#_f#h{~X(Oh`K=DOek}sH_`s-jkHni8~T_JlpcrIlAdTWt2TcB=o zMjxQCW|=9anNPo1KfAAL_5j3@sa!#`0+ajC zo(AVB|5Ll{?OB>nWh=GC0q?M=uHRJC{#&PlfKGPODewk}mI&1nuC@E1*n`LU0JmnL`KPFZq1W9mLDKe`_)oRt|dFQ@wmBm-_lpkb(K`;xCv!+flr~x6TW?fA}@*mCj!7uztj`Gv8a_}XBKMXVqMUsRDyol0;nY3$ZQZ0dv%*}EZiwoe(15V^L z1njZ|3Q-2p&1-x&b`ypm0v7-A4L{j%eiled496ZL_)0ZIXj|FdMEY2iSfl4j!elqf zX2f}wQi*9eXhwU=pqJycDrl?MgAF*yrZE0;v^0W0&j1JC(l7d6dFZ~)*i)+@%fUDzBOoQ~ zC^y<{Zq&(h-UAO30`z4G#V!4<#Wu1#oE?nT{x0)6#@2NXuX5npF{>vr^hfOrEWyTJ zi0%PCi{{E!VJQeN-48RWp(rSx_F|&sV+?WwgX-w!eVhiN*pX|^MhCpwZ~4Xg1}8fS z3i%4P%#wCjSi_=I_iP*R}^SPNZv{5x2?b1NXu7^(%1T<8{oNbclnu(hw5y>2i1 z5|fpQ&bi?Tbq;610Lm>3fi2dG3VH(j2N8F3uxuVQMdHmH6R=itVoVwNBA3Pm%x@U>%bk+vxzH|l}grIfsMmqgSB?`j;i zX5BHR84740_H2w)f!H*jZ_HgO)+{8EA-YC#%(2)o%$o=PR2ZOC6(U?EisO%$UbA<= zX)h1VN}&UG61%yQyBVKIi}@itvU3;PMh{!(V5rL7+)IBt8KkzSlGDEdL2%G$H+-mY zrA}^9(3FAc85(9PRvh{+JN2+&O7qtt?lyfbMW899C8gAMiSd_d#I_lLyqrj)oyP3| z#O$bNg&ER~9tBum{2YL>qm=vqwd&{sA6{0_qo{d9f$I@bWH4 zp-7$%C4CL;ykCUVRiZ$LjdlFPZ@Bj-!vY>a2R1K{$jg=Kplq>s^)2;l%0PWk5OblN zm`vt|oVw@ll_I<;Jr=#1QyEhQwm}p>jYusY=h41Tk^wMAC={m&ePOJ(FGkq5(&OSN zF%M>j?k_mXjxIGqlm5r(PU9Z}9J2qJFjB{bQZZ^i=O|p+h<<0EK%zGs5nor{guzog zlikQHqs*+ot2nXRM22dW5Q2h(Q1(|+u~YYgAGI=%91kZts!u_&CKa9Iz2ObQE~9Ajm`*+MlC0)gQ|%Xx185nc)8;MLH@C z9I0Cm`ohVZNfJRc0(MBvOL7Q7|I||N5}ho9I{}zczG=JEZ0?3ai<-!ZmMS!HQCyd6 z7hEovw;U%k*Io z?N9XRT+!7anHft&?qzo3Z+x1xiW&>K0*8#!rm@uTP@MPn`;rsBXP0?AUnd=MHj6aY z5e5uP-AaTlAOkUH3?SSH7_*JBARL){7@itT2@wmM`YthNuYq zy$q!&og?X`pC8vlofr>zArt0&4%Cgc{FAVLx(-WUzaVbgv$x8s+uptyyY~i)JP-%( zVi?iI<=q)HG6NQdiyPA&jb@tU(2Z%t0}pt=sTnA)n5-D|I8%v1p=8jj*HL$==Yh<0 zrf+y;jx;tg;jWCJP=97lX1rXD`w~A|V}vDzw3C;g;(IKLW!l4D{7}zIvEJEsUA~{Q zc!oD4eu&7afJyynOyK}B$d~}S3gN6DRjL@{sz`>fTox0+!agrmrEvgQ)6}Lc8v%fX zip%vyJ17ju^+^P!)1d_Wmh7lr7h`2h^K%?0bS*$W@BtP7^z8gFIUrM1AI4=+R2h$p zf&#@!rM5(xmxZlPl2sFxJBr^Rp+H)5YScuW@GINhQ?AZdQK7*bgLzQfA@k(Tu<{yK zFq;oC=q_`O_LPa!X6krrbUwgU* zPyPx#|0hCRSb46QMZWAbJ%oh6_iVEzJmIuBlVGd>j_G$ps@3C9n7k%_whh-_ewpvrn7 zAC3CWMh^`e#at;Tctj*xi4pn8I>PU8d42vsVj1pMc8Xy=|18R5#;J$qVnZrX{X$gcv%+|5m7P+E z-S>@J-XZi6`F=9o_h__zcvCWJq;+PS-BC%mygLKW9LZr_JJn5%)*a|QPvznJoW*@$RlGs5|vyD_&8EK-*f?V7%Ug ze|s4T!2JVd=CzJHMrm4@us=x(OI5@U@vr|>e14s2Oik;nuVAQ016Whe+At~$!JkW2 zE$mhhFiaPQUh-A%+JwgFIb${j_e|GSs3w0HiN1nlx$C$C@q%#U6^f8eY42$mvzkYq z_Nsjkv4c5yW(wiGe_4~J0dX)afML8anq(ldbxecZJquU;~(#nd;&m+=Z zsq?_r74(ec+&KUtai3;7+&pv`7$??IPU8(v4HYSD@->00=05#q}81D+s74l&90x?EwBum#!HoW8F|1oBBjoRa9CD zXft$4eZ`DWQ1z4CUd3}hq8kMBfdaz~C*F__7hm3QH>1RP!GI~peV}!~XPH4@I%J2u z>s)Y8NDg-p!Y-)TjgM!1qy$DBfR2mZ11Jwz=DaE3=AfiQ1~GhA1vGY!3E?sb4ZVC} zH)IGZq5JBqcKjk0jLsR%oln;kg0z$ZsBzU}aNc{;#|t{6GxE@t(}|4S4(&L_lG6(} zk~Mw7xWls}wSvmSaxJD-_FcGsi(`wPMEv%b%skHta|TNZxxR+cLw5(+LCK1=Ale0< zr&-&Qun1ecowt6TwU#>)Y;C>=pn}dItZe_&YWuHc44#g?35o{B!pO#)T!=sgxW?6U*<^p%?hA@v)D1xa zdrQsq8Gk07nbFH`?d>h`DwM2I%Sg-p3{d!if=_Ft>LjJSdhJ5tKMlndX3}XYXwbM;=R4 zx4bn~uA1)xRLUzj*5;$@Wi@t|r_@rcGyfF1zF!{qh2tB(&l~W=sY^%GE&g@xWAkW; zn#B~esaR+e+t%Z_p0$Ni{5M6V^8}CRFau?a)JW$Y)@r_+H9N1lkS-^8w~-O6gM?8Y z_HKtg7G1;*WbDUM(}y|^l0=gl;U-_AzY$9ct>YRFsJd-HrO&bfdD%=NZuqs{1!)l+ z@TSHr3kL3>D%3JL45L8mb1$p3DkII_hZpi`yS;4t^${vS+;oo3(7{>T?2(NYz6=wC zZqa-VFUmT!NFYSwm86M`Bz-F(FEHXSlH?IQ0~69$lk;0j#dX1X95J<2c>-^d{P@AL zDinhTpleVSO$s(=lWySTs;?Ux{2iGEdd7bl@U5yVL|%54nCUGXphZCfj#qwBqGN&r zqK38hb67D`JA0|{OcJ4}bA)??@Ve`zk{%pFpT;AtnWi&i5(Gt0Y7#b7u_WTv+4@uK zZli*{(^*l;)DW60w|*U+H$7+z_TPJ!h^B@C_N&vfb=f<%5Z+OF=E-G1rcnc11&|O2 zOlXL4F|d=7@I)mA@v{Z9-r`+i`hg_`E6IJ-|17Qj(#N7qe!Jt_^jza`&f8Zn#cJT@a-G$7ZQf!Pn~iqr)@cX(I?v>SEiF!mC|CwP@5`j-{( zpG0Gm&xNJ_Mr|D~{GvfEH|)qYV&?e(Q0Ja6o|jjF&irGhZ>3+zaF{K>i>11y3rhJpskrXKSH4HM+}Bi zlBZIfyDDtmXj8o-E@0@?`B#12*I~{%qxh;ds1!jsGXU=zqB%dWriFP8zz@VJ1ET}s zwA)zU(112Xof%@!Fm%&~?qCJvyLg(pq0bmc{#agyRg z+H_{JsBAx_h3YAK^CpS5sr+ie!4)sn_idgwOits5#8^a27tS)L9Wc^Y`J@B&+)L<8 ziLALRc_7VeS~Nk?zc)<>Tw46y_r(|OCx=(VBz(0byKX0Pu)Q~;El$vdZ+U_+A-g+k2-KAaE^@`^T!XQXxOF z2ntPYo0Z;l0N))QkBEGrt2P#uko&?pp1UX8ch1Bq648=K&L`Re=?bv=G&(ahEl97k zH()t|i`HGMmhA!@;#hKF%bT+jB*TGsyH_BCuwmRj06h7?sc6e?b}P>(?L^jKrq=N% zj+AP?^D=rrqkMTBup}{N-DiAO^OvEwx7!my9H`2v+!fpz=bTt7)v%-2{mBN$&ImCb z!Kx69h~a`6Fctwf`(UI9E}-|t$p1ao0pLw1#+z-1D!W_QRVkUQAu%AKUNZ433tgnH zv8L>~N0+RGE>%ShPe{%cp%&AJEdFCuC?d}{*Qc0~8kj-?Sn;L-O|?LrG$e}_1|%-~i;zn!2(WBL;7 zX7TX%^}8hjP|u3Oxnp;3OhO>Iyf{l9li-5fDj%qiy_kwg|V4P5-a7H^aU^zWVhatz?@Y z_)@~L26AS|KGn|QR>Tn-BjO50+Fxja&V=MK&E5U=>Sh1-I581Oy3A1uj=gwN$@TlI zjJAOUa5p%iEJ>BRi}O@{8!gWjk-0O)rm7V~`22p~833#0jXK#f5$3>GtDD;ZV;3Un zm5Z1%gE_tUW3E(nNc!y3t2>H}2cRS6ey7*Rw*F=xZzfjlu5M^WtAvKt~IDIM2%i z2(@NmSg+?_ovRZjp!qrFY>-HSYagSU1U#7Z2RjidNAj`8hNK8!L6Y#=9N+Ic?YWEq zD->891Ppz^js@O+e-0>2yyYW7IcKEH*G-yvZjA3YRJr1bTET!@JitZqQdk}agF;NKa-;Uz}WEgqWDw+dQA%BefWfSk->g^RTpKvet=TMNVrBfTD#X@ znjs6Y24lUaku8ZnYkMfS=JJkM5-TM1oJ3tB#q;G^5my0<5F(;EZ=z3V#A=SbdCAEC zXnsa!OyVN*#Uw8tVWEAwav%`gdPA^a&j(NrTyoJDKdm#zk%NMU-p96RmUEl{fzW)3 z2@|LYI2~x(^7f=9{+w?hyM?p)7NN-D!nC{+zu+`6#2$Fy-hVt8{}E~!`R>?0?k-@` zEA-eU|CH_&KgxlvXkp0Jp_zVp402^U>MG0s%yJ-}WVpv_!RujGDy76 zElxD}bo^N&$fPnP^84=&`_La{egD+b?y<#!WRiiDH59LVc%AlPO^Mbtoubpv`OYEi z11~4>uU=M2h8UJlwt+HkQ;C&&kM0f0xA*(Zfe4Ceu38l;Kc|c#yb^)~JP(R@17bkA z-t2+~R0o`NA3Y@A8fN(q3*t9?3r5f0F$1p@h*M4o_3oC^o5~e#*$NkjSh#En^GlYp zafTR-qGtJs_C4g+2Bh88nB_EH+*CU?4>`Wtx()0Ag^mx$WIc=0#XfLAXI1ppuSeUx zbfSA6X@{)by%xiDMPohyk8Vi`Dm5vpWfuX*1_duqm7Vi9o-jikW(t(UrcCP&DE8lA#3S zhhKmg%Uck>#=RNpDC#;Ci2o+s9R9nT)2Fd!1kM|2mP+B?@Ay54%-;XlEi5*U|Bt_7 zV`2S&{z@sim>tf4?!PbAX zXpu5DwHiecP0_d2^DfOq6p4nuvG@l)v6{HV5-aQ#;v6M$k;3-{!yBx4P^cVZW9Ir@ z?}?f!`3n1HQ8kI0l$LqoWL3$Q{lx0rizhamXBqPy&o6XOAXaI!i&tXFF$Uc`XxC^Q zV9!@=xMgKbDBsg)*8SFVj4dp}uReUiR&d(AjAF+vH`Pg?+h59Tht!YUAK>Y-2H%N0 z*UBa$9AhETX99XExDb&Z%kC=>A*_6SrH;yKGOF8*(MbGJ1KCY(zU)qQI9>3Xb65?o z#9;nJz=3=4>R7%H4B?^$Ffxs8TgXHO{5Mv%(nmg949miu;O&mMPmp-}epz5`L#0Lx zmUAd6CxxFDLi(9?a~xWBky_SNVO`}%E?%#pf-8#M?)O2Asb!7EdFXe8h`>J1WY&$6 z?ML;1!gS-p=Uz^ydhVnyb}b?nWIij~-pT$(EwJD-FzImciyV-=)CG6p0yn4t(7B!| zAwH}n9>FL>kLF><$J!nP;$HCW95n+krZpUFhz5+(Iv~LfR^Ks-oEPks2N#0$_~Z{b z4v?f7?BsA?75BLg`HEd&^^qF-4G|#haur+i@h!H87!a|AWxbF2+Fuu$S$(4vD^BWM z&Yv8!fvH6SWcoG+Oyglw8Z-NV+0`OoK(ABUu!|p1x6Gw~g#|F!>Hznt6NuhkXgxPTp)Q9FAx6nD z97e=8S=ydZ?FPqwS)gr(D+qEbp7SX@vS zcawSj<)<-FIisT=T>>h6o!oU6m;M?UFtzRv>%idzOUL24b%O~&f9v${l!J`_l*E%0 zxGJVf^8>@ZA|)ax9#HTQ@}3Eh@XMkI3YFzOFoRY2*KZJbuAuoG}3JK^LVO{)u>BC6$zf4(zQMf+)q&` zI#WTYtkr>x*i!{CpM~PLiRaJ6OqW?yLHA5ZjQpD))}k=YVIZ#@TP}X|{P)6r-o6Ez zc1B?-1++x4;IkWSn(UIlvnoW~lbQf+=iuEMuNWp-lraDmAS-||N%628Tr2cPFHCVt zs{$6GMHi|Ct}tykTsv)fBz>jr+q|&g^{4Rh#E^o^2zQBqOjjyNhzxDa*%z+}P29~d z-@)+-b*VvQG&GAOTGyY*5v+*mWZ{lg{v83qrzKEoC-YPBjA=(5(aP=tG;EMz|3o`(oF5!4E)oxjzw4^99sEu{l}?2S^>vT14idIZQ#{}X4>1H z^_sYFM51{$J(2uVL^1+CQb#(;n^NjO!!H-4iTUivR^3vH9V#GCP;Oay5|4NN_(gt> ze^^h=W#j%f;gZoCZa>VlJNumh>_^ec2n!|=Z=It_MUp1_Q4)b?P} z9>9$MS1mEOogRbLfdjLrGo=Eff-!S3|F2w%)s}HM}$42%lmfp_q870*bal9&wpz}6lOXA zqXbU?i^%t~{cRC1vo3oj3-`c}|4){9Hse!tivM|rp$jJE55M#kbRr=GyS;xO z?ZY6C?Q7zy!>us4L;G^A5O^6$Uh`sbwr4mq<| z?jV)n+2m$wD<<15?FdK`i3X*BGs>l`-r=C!y)J#JOC1(_IhrBMKl5>PcQ)e|^5n#>cs_t}uqOGU0JB$@?6SY#+HsxAtw5jBG4to9eZ7MAAqoIMVPQY#>DT6ynoB5hhOe;3MeN%rrOchpdtzuMmXilMn=)-W{uChG%8Ac!RWDdar&~lf4|d zin4YCB*EY`!-1_4zyJ=Q7t3CzMCTz>Jf2!<7-vQsd`_hAu-lVlhXcW#=_l}|!J$LC z2^|#Yg$jqJE9G{3CQ-9L{hB+~?kA-2Di`{S=zL4SjJP-It)lJ#QZwy%Wkara4aS*g ztp~e_o?#V!iPnoo3qo0vB`8NQTt!xhTp5ys4Ahs4p2ts&(GLX>Skyxqz-E?1ndh34 zM6b!-!y0y};mfWvcLDp$k&t2C?n%AV+TGbNo!OKc<@XWPu0f!0eMU5XQE7N$pXyWn zb7v=25g(Q4-AGo%!D)b_DPj!KH96kz*2kK=U4LUbz}Vu{h#Kdkh*S>q#N%o)qNf@z z8Rw~4@dqC~@h1{MOfYrXKTF-BPxHKdBznLllT$!Btfjv?aa+=yAsFhd#GKW5syFY; zz%RHu4B0LY#CPrYlyl85Z9WF=Bz`W9WX>d3qunh$B35j|MTPElVA-i|L)591@U@1# z6Obw)j4&hfZlpwuuhAN!J)SmCw~6k=*!49ibdbBwW~2&mK>@GlPkRUo5D_BQuTiY5 z9*-Zzyi4cMv%HS+f)J-?*Yf7!w{7B;$v_|w?;g6W!v4E$*$fd!#}0Led-Mg7(dqDi z0AfI$zaT-SX+%bY08058Y_g5Xr5s6HT8%#4%?XPrVOF+W5-+T8B*~e4Y zljWZULiK|TY&to}^nYYi)M&3>4^TG*^Spd!z0*w)5`O2W-releg*CA;+C9|=xe7}> zBcmCwy~r%H(o8)_sjY`8h*pB1)X|suucN}Zp;s!w*^p^67<-OX2cT_3Gf!SlNZWXY zEdwqxmB3<+9<(@V!>DxFeQ(Z65)RiP2}dkmE^!_52PK#K@_&O}crI%j3zkVWhzt|4 zWsvEtHAw~p+yhDK2$`PDpl5thueoXw;(JK_V}9e=8vsInO+>?SGD3>p$?qfsOeT-E z(?uuU?=mx?&Vy-wPFja^OXNq2t$P_(Tw6_6wW`Ax?9Y&F#?c^B>jKiP-NCvZG^RHSMa7`Xu#Ptida&s~>3@vV4UDW;SZe^F@J^;$#>kY6 zZW3KFCDk;VgDXuCi8+D7O$Pnt76D@VX|FE+jPp8Y zV`6LQTqWtEZmK$6PeL=dD{Vby=95=0W%-Cg@WF{$q`o;?=D##u3KA=4K?1KibriXI zUkFQJ&5X1&7ukjfZ_zpk6Q{DqBFFP#Dzvr5wtsS!nzb`iXHw*@eaw0#DCWcJh-_*a ziA{wRX#i@SQRMTwoA=*M=-w{Sy`^9{+H*IDU<<>}w1by_)HN6!)rli=15$w7$3x{j z#VroQgyP&ED4S(SvQ3zOOHiG+FPlp=WzOTs^=Pu(B3zB4BWfukr6r&=W>Z`oYeiTrv?7$Ya%>xc7|g<@i3r!1$zh`LXfsv4 z5Z7_Mes*+1Q>o8Bh9;Av3q<|g(_Lc=|Fr&blghMU}-jUc2`xk{oE#G+&SuDzC8 zp80|q*{R_+b(|&EAPHE?PitOe;BtYLjyyBBJ(FoN`Ni$bXm{Cz1Wy zh9wJDi$IgrfZj^X_o^GDZU}F_ZOGMUdVyZmHh*-FdtuPVSDv-p&peLHuV#JybYd^A zpUM8EaBit+DR(j`lmNBg1@%i^Q$KHQ9$(lBm>jz@U3gMW!S}Z1(*!N`qu`wF%%A%T zEo+>wcKPjxo3&4Nwc6i%zJCF=*mnAuiKX;_c~^=9pG?;VX8>-TZkE{oZ>GUDOXk%Q z$_Z2IVUihSZt(yL609>;#1#?UH&f3GO-g(-m(f8p&PX%PD4nwJsoP2QT75L-L!&Lu zmDh+;r`O63EXwTmg)fM-uMGUyEgGuNWk0z}m5SNTN6l=Ig6h zuW7J=x*r3migobLwp<622@=8dG{}M%SHJcJ4&$!Cj7kzkJkU%M%3>$+(`;FkX}wy5 zh>?H=@Fyr1ES7frMv@4rVPxCsb_z|)B(FAUmgaxUW|{73-fojREpoT!)R%5x+0mq^ z>OZKE?`L^YyGAD=pqgkUh7gE2Itf7!3K$|Hu~O1*ogzx`K*b^9RJ%2?Cqr2pNf?a@ z4`tgNM0p!P!{>o*ePyKyK^!c0{}_R;{;!*!uY-QyUpxPD`#;V}iBc*km%%Rc+w)eQ zStEbYtRvCre)r|J%iNR&YzUvs&0<@c-jZ>u5dOHI*=Jzpq3VYb3AGy2hW>~{Et0J1 z^9K#7)3Z?ZS`aQp)5yHvlw-=s8R2oOj8B|`-AuV|_3Jz6X{rho3?^c}#f!Q`W$g>t z(~B7splu?;1PP@#5&mS*r!O*x{!t4?RVRP*dndH)3$2LedbfV**Dqvm&jg7@+_ZW% zorROvMD^JCz$AYl($xuaJJovfVS`T0jDZipy7@renP!JIy8T>C9ESX zj=3#oM9`Q@L{&(}G%(e+EQa3Tjk4hC#RYSGMzh@kddzHnE9dyKYL8AHm@jx``Pd0V z7Z5V}r#AH8F#;rIn!IUa^4W$i2vzKIOOGI0#RG~NUt;OU;t(IBb>AauC8m?*+T^u| zMfawVVEgTA{xUv(v|ICFnz+%vb+8M{5jQHKC=jfHIJ5QY)GM=*|Z&ae~GyPJ6k zB!E(|=+k*H0W^mXSPr8nwpS6s*?-ZIf85PHhz+M9iMbkp!!7~m>BhZCF!|!3888y< zc6k4IGk^-br{*W2(ihkjJ#1H}17IA(K_Tw(KE_W5Ksb95rqtsMfFXY+Qp5nl7Zd@mE5^8(E}5{+re zK<w^8}z;=h30ZDv(kieMf&~vCg0wE8Bbk?R`z=!l=aB>mDV_kfbvd9n!FB}ISB`?>Sgd$Smm%z&##?=Az2;*v6 zeLi0PaXH%0+pJDESvpT1z|u79{swe5OXFyteDDUE)2}S;BunG$D@!}b(tM!h{3}WO z&q><8U)aMD-&TJ{pOdG>=kYXgK2M7wZbU;zB)$^014NC>|6`(dgnNmITJ?OC+)F8< znF^yW_re*0cqzQ^rrPX_AzA7#d`FQKvArJWdNC%1inEWsVDVTN%vDU{P_yvC3*NtK z)Y0gXJB^%BE(4)qRPJ9k@)Pfm1h|nM`YTxvTJf z8>gBm47q>sl-l3p`nIT7?&2++L4BgRC0zDy#&=qz?#`7dH=qkmvsHqHf7)w$ZTr+$ zmZtKiGq2Nbn`H6lG*oyko$E=REX|Zns@+v}P#Mf{e6UGcC5stqkc}&`7`$U1j8u{7 zOfot7r@hJv$jq%J;^2cJuPuRUw4t>Ph9rr?HmhME?3;SXT3^2Qt#}o>hj+2 zPUY&~z&Sx6j!YB2?4g zCro>z+)q_kCc7gp^Fx6`SZIwCw!Cior=xNgJB=<^1{FatHksRRC?N61?WfDE(>h(E zL{4RGHGuO0)6|;|6y7EC`r0Mksxg&hnM;4zt+mbVCSpm8a94!XTL~n)N@bdAFW@FA zVQ7PdVh%35nitZ66Q|2bC4*LhEToU#QTemiaB~`lKWKJI>ci?|u zVqH|VYk)h0B~A#*hFXlhn&G|5V(Y?{pvs0jm6fa+hj&zVR0W~k8g$qjmtD4=e2;sx zEfH}9?b?-EcLPrtF-y|i$^h9kch47Q4qD^B`N2G#Q3-Fl=3ZAZvnh*ZnXFx=gg#qz z8+mS>1eP@;;2K6mes2AufCg)ndRu?hF1Irmp?3PPaFyO67cO^m`!AP3kqg^zVS1x9 zPDnLTNlzA~k1VC{>%MjJgRD2!3uaR`@$J)kZ0fc1d@BHO#BAn`Ft`(%q5?XHc*}bGuHs#p*0sr9g(=S(xvSV?bq!}pL!j)RD0;PjM z2sK@2Vw*Tm28jg@tSu~S5g#z!nWjUU*uu-xq@o1l1OYp|lHbN^wNvsl@)*lW*b zR_Ttvh{i6F6fU-N&v=^6Y(Gkbkddy9>O2{ru)L7z;q-8D6DXvK?P-G8^Y43VC#=^5Ep zb$Qs;$Sj2{b_aTffLyZRkr?IQk@7$Rv%%nco1oWX*F+?gC zTLgGe7dc~QuuY7wi3a=`gvwTP!}4SFKJ!Y^_u=7Q(MZalVy2Kn%n8+(?ne^#RN84FD#PTorzk9YN}ze6szmSmfUj7S zqx_aJU<)yPX&XHXb3!oha*zQ~Io#fBW2vTD-GM^=W*!Nl2U!Sd{7p@j7h%+CLRWN7 z=YoT1=7U+WPODpJP{MD~Oo!v+nZnV=o!%)_56({){fZgZw}y7yWGn~0E`70Rh=hYM zc*Zrg$D4CrZomBRC(iGuZu1XDVijtaLA3)Dw?g~`XA%N3F_WPVD1X&jU2hvV7Jb*R z;A8ip9A1)_A4O1Xn{3hmyVxMk0^KbFK~~1Lc5RI@8nxN|^*xueUD;#HBU{sSfjGnA z+~FKvp8G}0b5uroPKsi{H7n;y`Ct@N#+6jajH^{CI9#0~<189pktLC2MJ`ECP{bT3 zK17UVF=)V`nb1g1S$`wLB%>@jjGL3PmYrgQ9>;i;BN{oQ$1BT*&d7J=q2{ta1j}7>FDOMgu*N#-pU1BRm2k=ackA<$|}63CbnoCQRtbmVQ>9NBQULFZ< zpP)UNVi9zZ;RrkqJpou4E5OO)4Tl%9V1~{Dd3*wY!5N-lFf@F|I2Mg8kBkc5$?Hjl z0N@OiA!1IVOdWr!VwLu6mw9KoXA)ep|J^LlF?gvl+lPJE3P8TOfi!v-Hhdr zQO033QYgSxGJo`zU5NNv+|7q#k_bisXqMovR2i1%VpC|s-yLBSMLA1SpH{Hec!a7>Q?<^V5&y* zM^*ixs<*0oi7qW&fTIn%Un{RB)%$whsh`MZEfx^0)AA*D+CXu^1r783IH|r}t@&lih%+pLO6Z{(mZ^}BtYJ1iW;HTsAG@`Fx0yf@ce9cTz|LI`s4%yEq<<-^=bvY6h_5s833cW z!~#&+L|W_!9zuH?b^%^2yZU^3F<+%Hr5w|!IDPaQjuswVU`a&N;?O*4XVWf}zs#`g zvvt>8%(}%~6gsY5Q33->*euWxi9ul_;m>Pp^G?b(t9ms(Tb!PKeOb3BO?xq0&THYU z8-JGrmbF13L>i(I7_3h^0lANG3CTXH-1;1&w9T?;*W^*5x(scm8>q+?bU+{(0QG-o zg0;E4Y}#(UTy%?Ctjn5l$>6Ovl7P8_5B`faf*`hUFkv~~M6p4Fdz2lR-x2wBKEla6i^c99b* z#~_BwPei}!0e=M#grvr(_p18wpZ`)4J&|W1Dbo!8E!XGgAFpNq^0|9+)XlnDUA^$K zId9sd%h|kEw)9M@*Uhpkz+NK@MPgIrULz+&-n(fd7j+wH3|qZxoB2_V39IVetAE$3 z`cQxF)W_RueK$L;C-@lL^0HgOMV6sNQ>$i;V7Mw-f9d*L{b@1#zWKb-wge}O7?9vi zlj!W-ti=$pE?>mAbb#VuWF0(v-i(~|&b+0BdDgt8N*XlpyRtB*B5MP}l^Z1Mkugdc z^$dNoIPac5Z}SWJK7|{yiRIkfB!9`Xu5M7}5U1-WsH6C1;G0Ez>Ozs}FI3uRp_s1L z^-bHXFO{RKw~K>W0gF_sg7D*b0ZH=wY>_v49ZIQ-%vACyWUM~(y$y;5pZF?$c&DEpRCJIVZ` z)YY;T2;1?rD^Yy3M_}f1Y79+dL4z-``V7lzI?6o=AI6Y8N|8UYY9T3!T zOCy&}sGZ>nC8&yOkl-UkBiJnZR{mMvO06w*?-niHuJsgnhf%U z0|Bc20G1D54_9YJ)MU36#bV?A#!s$c3A>YnQ4y#6ehep9~* zT6Rt0oCukWgeCX~^4j@Zp6uGO4DpcLvX6Pldt^NYol(&2lqCbAjH?VEl#|-QqS;_?0 z^gG&2pYkNfb?Gpi&wb9vCvpBalKZh!2Z|sGv!#$!<-y0c)LGGI1J~=w(Mgb<{nuBt>q+o>>}qjQ|`DJ`4NCSh>HpRUB&=zZZUQD04o=oje(r=qg3|+)=K6Rmr|hp`+ab0qXR z;-A8iZ5{F-|3oVF4?1Fc?!5OnBZztUiPSx^zFhqfaAFz>+^oGKKD-8^B!?C_v2>pvd^;RcYXx{p!1lw@fQV(R+o`71u1{E zSzB-0Mize0uMn`nf$f)_B*S`#Q;@4Kqq!HSr3XLSQg-(T$;r;iU zRkiW>ZW^`qu9+`nRL*4t_QqEB)^swS5?E7K=#-7UeEUkw7gi_H$HXQoQMNdPzH-s) zd9EXW)9i}o5p+_Zb(mT@HYT+csdiwLto>Xxb1S3e7k+xQoJF@DJ4Lr+VT*s#9KNSg z*8hC@8;eq*g;7!)mM?1@U+&g^(-mD+Z+HgNVKE>40tds!StYDivxU^c zS{~Cim4BG4Jo3x=!Wb33Et(Sh_t=$@v}Y{G?Fh}=re1Rk24zv#ZDAQQanU(G@+h7> zn!1G1Ql>Z`6fEm9j1PhW)zN<%Z7o?MSYOukre#wu+BWqkUv}-pKJ6H4L*LV46JDip zyvz+6k5{lE;cK05ySVYUAa@Z$aK6YHIq^Lnj{}EdUJoq{nIe2a-p&T zqPTSiuFjUwND#ZDX0cvZn>$vnNxt+e>}CP0s2E-!VHHQ5hSeOv2sAKYl_8oLk*j>V z<_~^?Qf~=NVQs3Y9uyppv+z!vi=H zv^$bLhffpmsiSQVP}*Hk$mA>_)|`OYKrnAEF3^nHlPVekqW`7X;0b;mt`b0!${r+O z3y(B~DF)hy_DN`yIuS{djhGQ;thWhwa7h-&DJMcuG2t~bM(@ELl9VH{567=P%%A8;)BH}Jsk)Xap8sUANOk!y5$_5Pqm32x6lh2MTo) zRt)Rs6$ej5cn)GVx(F5q~|L=)>J_ zaaVtDtFo!v`j(8DA?Vd-+#UAkD*-QT0EohFzXxCPQ28$m!1|V-;@wZz*uvBXkFi+e z2&6VRiqEWBOovJuDrsold}h(#{8+=J$#dbv`5Ykk#aT?&w&GN7| zYnw3dwu9|u-ED#^;bo2K$agUtZbqTDC;vnniyvUV^&N93hs3~?onOXvAaHtA{NDc; zhbB>D>N1Hu35S`;If<6ZU^kK$V2(JRJ%?7r(!nD;q%+rQtNoAAZ1wj&8Wr z)Nzk<{Q?4&vM)iQ_-mDBdlQTOle@q~kdT@>bn5D+8ruCXrkwv-S2 zbHPWt{tX_w<5_tO%5Z&q{9uo-@gW$8icj_t5HXZ}Y$*FEdwP;FV9ccZ%1?R5{Zrhf z6w(at@?Bfq-J|aVR^g(+db{h;Q)ap^NP>!oUF?+xxh&^lrx9723psy=A5M4T7L_w! z^NWxVjQPy!z-M-!qJu2(8MH>Q19yH-b;y|7{2RO&C+LoAMa|9z7oGEMxU)?{l*T3qLk-r`J-jZB82Xk0+FG5*# zVZ${U7wYTgv?`eWE(U*ed$+qh_oPfTSp#?R3Nr_0R)ANZ?#2Mj!O_}@ zqgCW+6;WCEH9asjO+r5frU?oHo0j3-Jqv0RL;)Dh2n3vqtcZWn5wehU5Uz*{JqQ2G z-Z6tVfDaRAX4Jk2Lm8>f#?Z0p0r}Yj?&JH4h|0bJQCGXJ^9@xpT=cWxCnGB{LHx>> zQ(yHwz>E=za^oro1hz@YIeqv)Q9Bo{cAN5^l~v2n8h~`p&6hmrcDGp;#Ct22cRNh+ zs8xsmCzm`llw5xU;mIVYc}&X(yN0K+!F!CkF>(MtF+m#s?mU8Cmw^MGB(=sp{ddPr zBSII+KHVQ8LN`Q&Zk$=L+h%voKGsf?iV*(U5SG>5UIt85^tlKO0Dj}dou@q604_XM zWnU5u1;4oD24kGCO8+a4`OflRILl9aqRgVx`0ZIR{&WZZ;(s%(gFv?xc?Ew90q(bz zgatMM1T}?qEtgSl1rvwjg$0M=g$9S>g$IY?g$Re@g$cLfg$mtCm%(`gDYxj)3XK7O zr*J(7f^;6&^Dx#Wd>T-u5!+&lAPJ2fQR|>;5h_qTsKR|v4h60~f`wosCqbjq;)7sN zZJojz%$z_;Rj?>Bi-R31F;W)1mj{W&5HyT1IA2I0WCR>Yfqn+~3(3LE8o`zzs)W=; zg(`!XN0_lnD2J$l`-I#_gPM(EjaH|B15h`pIn-q7u?CzcP*N2=2t0w3C|C^eO}Ivc zStBA6BRq|$sS)iaq8=w{J=9>0gi?dfP}ABT{O*-H1bg|J@{fbxLkNcvuFj}KQ~gx= zN2UR;#;d~sLQhbFkspF8r~s=0*oWvfEVe6i2uffqw17$0V7G^$vd%*PXcM&fC=byKNaz_Qa)q=apBnrSJ`0ZeDMZ3WZ1)k`QL2D_Ksj(vFhror1x0d`gf^qQ9rI8;*KL{hA1 z0}hfz9!%gd{t^kOWDu%pDO6q$ssZ6v+m^|#WdWHbl^>Q3`lZtA&RkpIvBvGu7*adB zR;BWlbGSk-^o)AFDqz>U&b)7*RNp>S37V=*f7;|zy?L2oQAfP$gbGE_7! zNwgH7FgigNhZpP;NjB)@Rjx-0Hr|lAVh@rPFAE7CH8TxV28jag_{}wP;ffv>;!U+JudZNzN|xc2pbVB zRoJL&aCoM{gxa;n2(2yg;K&N71=2WlZ#=f>&!qu(3%QMdM?*H0N93nQ5hutG*K>&u z1mp%rjW#Z+0ZkG;1DBq>u=AQy3o^urdYw&%)Qo#t5D2uZ#^AXYd^Z=)o^r_}%csV% z;ZvAmFMNZtN z)2fvh>~^q+X-0cb@zk^0kt3I}Rew(NJ!(gr8vkqr9A;M>0Y_p#xgw5KE}=vmxkY}; zaZ;BvWQR|h3~nw*QgY>aF0Nb5N*MVZTO(yIG%qKA*25e`w>d$s@p$Tysi3(WMc^C~ zi+T|fsZ|q2n#NnsS(wIbgN>f#8kL54GqeF{;y+7}0t2;kol0`vlwr^(huJ3Ba;6E2 zMIo&hp<@x1S*<8e=V;vu)CAMTa5}a4yVI#{%Jly>o$46K1D(9RbgHRQ4;Hf_?J|W1 z=Pdw#TN%~4%v8uBeag3>xQ&fR2{1!N03(#mrybXV%0QNImSu1LV(jo(B614Ef@Jh! zw>w~dhS+ZM*(m3L8t}BN<_(eso@H68d^x^Abx2F;$9f2Dd=e#%j7EubSuz5{lBHAN zzIC@-Siu+(C`P5)J=NHUDI9WJmcxC~rlyU5&b--YSnAHc@}@##0;tgs^6|zEN=+N0 zHmNO23sKjSV+nZR44*`~1g4FFwibo1<kRYoof7IsNEJ z@nq_TP6}!F$2E3&hSR|&DRmsu*`@e@A|1|7O6FEh0X1z&9qn;*Qpl%7*)cY~xiowT zkyArbJ>M91Xk8;Y(BLus`^P^H#Je9CbtN7y=Ii_Q>SQ^+STB|bbpK*<4o}`5J$-op z@&6q^f3rBB%$2-zcQHGK4ztPGsi0V~`s$8O7*!;GBVu6dB92ynC-r;{ z30*o6_a+yQ>*?9&e2WX>vpXumL{HX}+4SUSem1Ksc_7}d>+@e=5_s}k9t5ri=J-5W zzOC2Q|A-@TPuv#|#6$5!yb^E3JMpWSh>zk#oGfOGxi}TI_#{3}zrkg3xfEyOvzUr6 zVkXYTTr9+5UW*HHQ7@;9Q?V3(E3vA-)pN0$eiv)8{=BSfvHo)*F2y(T=l?RJ52rv} ziuh&On}dJ;b1wiNJ$rim;wb?5e6s$`Oah8;>a)w)WH}C`(SRc*AC|m!38U@77|kvi z?;v^%q?ZMbMwK|e5HA6-^YaPd^#u@F%_ghQ!1QsLW^6Rg^J^Zz>jGf$BBhfe{el>^2p+m=?EV+{%Z*q%O z__UR+BXPGii$~%yn8s7_OdN}2mg;ko_ABuk?By+3%zN<*Sj}(ZgZLNN&SY|Oxvs?o z{-1+gtS0kQFFl(B2Fv=moSb~A*R%T5x~VUb2=Vc9HmldI<*_!Q{nb1pkt*u* zQ>3Au^X2R1WQGQc|EKVQn`t)JS!1zh^%Af>{Wx2Rvt>P5*Gn+s&p$3cgP~5vzgugb z^E&e>*!2AJ{38%QJtHGOoz}~GHC;94K3UdtVt{H)KJbcoH@@J1Vs^O_U&YtUdbOSc zJ6|ss>l$dFVa*MXq&u#%2RWZI1f4Ho;QJosvZd;BehRdnES5F88PrJem-wq*F8YdT zucMeR-#q!{&5Kqs^%aV#(c9p6_xNRLUom~`d+oTN*Y<9!e%=Gcn}DL!tu}l=nN7~g zQ4c)y1%bK-Wd7=Z!{M(3$K&@8?>>0hz~OhJ;gmx&jreUfnW?)m8tARIpuu+0g(%Wr zRMa9AwQ4ieifhH8<9F}g9DitFxWX4(N1z4O-&iA^l*N5V-F`yk>?mSa(^3}>IZu(h{fwge#xK6F8D zAwsmVXepNU*>uHidy8{Spx28ePoKPgiMH}~GGASp;b_QkjHFkN6uuf|e?G$rackP& zh!O>fLVVeOrv50Xiyw?;C#LONfUAvV6W37_xmGZG^5)HlXGaa9SA}M!5K(+#i#Ajx zqMJD}-tH5O{Eq$9HaqEOjLj}0`9d!-21!lKiqrWfE%vZ zWWh!iz=hqaad-yiQU`93t^}8E3vk_DAx>`FtUk+sPG=X8Lj<=0_g5b=b**4{{P16o zpWo{Ye8=YA)BXitw8M7^mASbtDpTU+;y7N9vLe1HT=jP3_Q&n}0J&?$xoJC;}dAcYkh&Yjq}7=-IsjPo9se4)X61(L$3RD}8DSSCCyLjRrR~_J2vl?R_$2?rE--HbQ&?GESt|H zDr52%wKA?aTBuBD`REeH;y7T8a}Wb3bPQPzmKg>X0kTWjA@_^}c{cKKl<-kvI+xx$ye^C?fIwaZ6UP!0Kb3ctD#6TFyw>Qrg#yYnCXAwqZVf~V=l;nE*_ zX_HGVxXLS*7Nn_&9_pk(&2(Z4We{I~z{5*1$4!m6!1u+(H+ zp&&Kh3aQ)A{raTR52*H~HK^NvfpzQI+<;ay(1Fy`0aXASZiU$Gr(FYL-4zOJ3+uWa zh24IVGaxqX_FE;g(cX^V+ImPbAa-b8u1Bmai1oKZ?Dj*4O=8v1zS1_o6>rDDw(R!@ zl$vW$dOOy&eG@q#_9}%f!@=#uuB{ur0j&dlHK9jq5oi7F=<8MQBWwnLuz}LLt&TPf zC=O0)1v zRf%xgq}HVYweoLG!CVQgD?&ujw?pfVa`S)gjjS7$SI)d?#xW(7*MX>sNGe_lnvBH;IUb7d$BW~=~sw-37$<)SJm$niz*}eLZnredQ|L^Ff+jGA3rrcs0&YG6 zXy|W%kbrfDO(ZdyNV5c8m$|l%KEN6w*xY3r z)#jR}TT}IE)S+CG)pT>TY)6~8bF?oBwt8eP6S}$F&bdrE*C<`ac5~^SbIIOZerzt) z&ZX1%TzRw^8Lc}l*Be@{ds^POnk>YIuq;H~6QbK(q%#I>#us4{^_Vf}&KUG=V~~9* z_Dw_gOhfN~HVxI8hT1R<*;`VL8H(x*McJLBbxH8X7omBs&H$9!HCJ($iOKf3mtz#SrV&%xF*>H6 zp~w+Ki79q-`SH2(XgN08b))+h(1MjI>4DV}#$Yu?`?Cy|*<3_-i^%ash{TviB36v8 z%EuUXir4q~^?iy}L2(PsxS7T1yEXfU5}RX&tWkQ5V$+RQiUI-Bm)7bEMSlpg zm4id!VVd*VHiz=_w+{r+6Gk^;u&$WehYy%S^$q^wWX^-_zC}QMrt%^KFp92ZFcUtW ziwx$$XV5G|b1F24*7SzzrT>NI9!_+xRcIHy!yzD)36$wj<~U4eSqbc$`#Y(3>9Ojgx-Vc^XJiagYEO7GfnTJyN5n|z;S?(`-T1Was6e;3Y6_3wA?;F z+hRt9*+_kX3Dr7tE)N%#EqO5-_D$^3_|(=0)=`^3nK#>)ra?;-Xd=C5``T8o zvlq7%bf9Ca!8C*U^mg$i5%V5%`*GefxX0QvET7^8OSVL=%c6uGe2#^sS%C9-G_C>} z&zK`*tpi=dsk7#AAwQ(-SQI(_KV>HuH0-r)ceH&m&YVuE9{M<*Y<~yKtjzx~uLgB+ z=CVDyZUlJ4;2vGav4oXSw?kf3Wo-sKXAaS;IH35M=N{HsS)aRho_&`gG_2XMTA`8@ zvDiu#<-#?k+l;fg)E$t^?QC94oMo1o?u?kNbdWX5a zSa&S#QC2nsl#aUSm4D2M&JLHbEIk@7zPeQsu>#e|&-1`@&RiZ%A<=kx>PSV*DRHhpf2V(d)u=I4Zx9g?=u-7>Vt z(WDEf<<8c&a>_1M=n7g7`!;0D@pKOb?78h~$ZhK>Tb1QmyMH!C|DSp0SW4q6eGetp z`9({NuQ+SJnEVJOcqj{G%~3D6DyI?f++&FVO~2D3vgv>yVJ{x{pE0`2WY;#ZaU3yM z-s-2eDhpqBi3%WN5ry)c_fw6;wZMg3sSHB{ma6Kto^y_iFkLEZ^MidFo0oYbMgCH@ z(y7}%?`*i`x_`yFI^H*zjZ#UK(_V$QFRXDs|&QN>}>~LzU+Ly?wcC)q4 zG4G)8`Q227Y{G_LSWs#&XST)8tFpE3P>xe-m~#sgQMQdgr_hyd35SKsyue}bTGq(4 z8X~NPf!;E*M-}LHZQni*L9IpBgjge+6^FMo>}p+k9)CP}YNgut;5xRn-E4&ClIFEM zl&~33n}$2(t&W3hjeB=TmNA{C2d5quQ*wv4-Joxn+aqvRU7RbOZynC-8RnxXVdcyj z+)o*Rk)$Dc=Vx=Oa1~f!ZJ1U8Zjr0IL)X@*G<0JzjBwF`Qif;LEZjwUxM{U{Wlh)2 zOB#1c8h;j#er$p@hnN28MI=I9JluU#d$jfAfaUtRvv#gVM21Unz#VkDCC=Dg)eo`5 z^gVUP7B4w&Ua&d&Ynm%IVUB#lE#8a+oYp5^u|9L1Zk22W2X!b&PAk=@6>c`4Y=^b9 zY%sZ}`yD>>=sni9(cZMQN7|PYqHE9Rwj0ITF z8STQ0im%42E_|+{afA5$#5XtV2-@wyO^j7PRAoOvw!`dUmE-=<6!zdAnW~^c7 zgnt3{Gb$F=LIJ`1vu@afn}fel1U)X^*bp2+ zVk7WyLrA0pS3IGSphAS}LAPVV!b@VbXV}3b9e6$?BGQ4i#vez|<~Y3`i$H*fGAeI| z0DvxqU1>BF3>Tg;%rMMM$!i@lmiBuiw; zc%x)eW6d%$8q3(SW|zM)j&Lsy3R%HZ61J{mY(=Vr<$ zT(_9B)-h{vI*}g{BIDdk*)2wyMl9DVc#`=|k6ts>lNGK6*x#R0fPZ$jY#D?r#lFv6 z$0sBWo0e`ZQ!|Xk7$>S_q4(EsnnJ}4D~yqujZL>n9sbJ2AEgD*e7)>f^i=NI9-u(6 z5kw1@Bw$QnIdy5=;QT7A0|{`FBQA?dVb@cn;OjT+m&LoAPZYwmS#;Wk$O-$~tQ%)h{Nn&FiK)~1lSPl)$86AvydS_0YmQu&X%Imn zjvhmD(ZCqOvxrPx_>!FO5!Lt6$}HwW%B!zOiTzjJ08&j8wKk6ESL^ z$A2Jp{O7j&vTJ_X{EfkTV_m-7%Isl*ruOB{Re&CIshII@_ep<$*3)!mQt>qS7YPq zLM!>f7F?SriHA^g0%NZG`?IWPVCU+)KauVyD{1CSUs|5AN> zi$1J2u9=-O{v0JuQjAM7-$k$8EXRf){9c)P{gY%-urlwyIdPN{kRXkX+~VDuXg%O^ z6b#k*$30?ot|C{3c z-!Bd4RaO48uqK;z&C|u&c2Q8)<$m@Urt@mo*pUo%6az5H&vznS>`#PR+m8e zkg8K!Eb;|tJXRnc1@DWCLBX{~Ah)Cp`_XaQIWdse9U?cD3(i5L4Ug)IE>H%SHkas0 z_cU)kZTYtIs$~OfDMYyLQCLyV6Kp9o<&x2J&|6rF?IP)0);XlztGIfz$L_bS;n-%E zC-T&ZsG`3%5M7+S-V+1Dzw{Ms(m$Ghpz&svoB>s%Agfd^Ye$uh8{uhBQX@hUr|ebi z{#f~`tAsRA+e%4v#3ODiW}o9E_pwg-1XIOS>?d73n++N5CyLS>ai={&i&Rih%vlC3 zg66{D-yzYk3I)d+nYlpx5gYR_#`$3aXHlZSMTw_w4J;CJX5KJZWh$6K!XclXkgKiIFgr2c}?x4>=Ba03GM%6_EyAdVfqj zpRwE?gI0-*J#3JH9(5Q*&NqN7W9C^(q5z{dC98|v8@H-&s1s*@SkNv<-HE^1LsB0k*0W+}==jvfYEl@l1IF$&Q zug6mIAFuyej6SJ7G1F5cUCWv9TUQNQ>S;0Blp5O=%ODt6Z zp=h~t^!g8W4ognd?Nap-DaG%_3f@Ofx=6$;hIbSqbO!Nu-5+X2K3?>g`8E(zgh}|O z3fnkNlAzwQpzWj#@6ANO3wE14u75RJ&=Z`l98S8{e>X`jShSO@Sjt^G=9km*>x_1a zUc>^b1Wd>5CvU(qY??{k)k^*=;1(N?*48rh+q#lNAcfCTiDgCE>WTQ<+^Qa}`%kpy z&Rl3IDDkx-d{nF>%h5mo#wE2A5c=oj>!L##zz7_Ah`$l1K7;_{$_ciW-f1oj$j~Fx zeU7ZfEI@-7PSJA}6>#)edm3SPOs7l20k0b@^jEZO6~IujhIH4??=K1;E$Vu&@3T1} z4fwM*KB8bQ*9DeJ7EkfRUS!rS0BnxtP^ORvp}X=_#Hd!m&jL!&SIuS%3GenRr;UEf zC*L)ZMX7)1p3E0~`#cEpSj*%a?J&59UrH%8Sa z?Qx7B>_yT@8}b=u$u5pOWx7CPY!j=I@IA6(DW%P1G-G=*F)fVeRAFt&7(rY^A)R;0 zVfxe4Un}Btk*N5;kxikDKodR#lTGp)0a*ca{0jHif)zI%oUs?EwC3}3X)i|gor5Tx ztjd$Zq1vAFBxkE@$8Znj=gjCbW~35$ZB7WQxh8{jZ&|T=;o909u1j9Q9HOhksa}|W zwGbE5ho!%}UZAjQ-s2S?(nrbI502Af+&rW}IyTD6=YdwbbE4zM?9J^|(y%pTEC$s?brOdqmy|uQ$gJUPoLUJteU@yfzkJ8 z%5OLE7B_ll>@MYwRD#}Qtlyvdy_r2Sl>R7%oj4WPikILr7gp5iQ}DNmshDB|4@YqZ z8&z(=ezGGTGN%jjXoGCa02;Q5ib6QG zVFG3`@=7psvK2Yf0R!^@&OG>mA+i+h0gqhya{ng?G7Oh;`X`s9LVergsm*Thjm+r8 zlONkI6T!J45k93wVdy7C{Lg7c@v3{JTwUTrDAyHo2S^wpdXeP1K+Xe&z_a9CXATLN ze@OF?Xo8+I8T>(pS99H4Q8^hMN~^{-G7FRqCG$?;Q%Ek7=tC<2s^7=b{r2_!SY+B& z5S+I{okgaC_}?HDbvUTFMbI0>5Y}~soLum`Z18}qWGNGZ<<#~S&u=q_@n)Hk=56f1}j-pKk69W_GaoV1M z1hT|+Bt@739RWzVF!>sF5kvez6C9A1bxNxHPoOg7z&?NYO{BkLYQJTsQUc66hRYL- zOl6;q3F}$)Yu3sSOn&ed)qa6&>Wv}sPXpvtr#+6<@N}56F!sQ5^62GAV5e;+jX>l% zMY_XPLYt>@8%MuR46mn21|%tJdTm3-2l~@u8#dd~ZDMkjm$h&aNg{3M?LiVO@dlsm zP{(w}a$NbFz0mVzZm_tb6g_gXBsPE`JyjhcYV=mF3^SvY_vpo(^WL=M3(}9kxHYGX zHXcjFqWR+ZMad5#W7f&>@5_D9*-WyDFXxNmi;=&B_pO6t!~qoR-P~F41fO zZaGj52RUyT4<@o}*-9B4hO)r=SNAx<7tC3mPBmFyPv4k1VcDOV=5fkM79+cF(F)re zY*laZGsS$PZ(mSdi^*Omu|eOo{+ygt&kK8;)+Z0+(_nIfO!S1|Pc#Wy7!L8J9+9uh zzx2z*EVruW`V8ZG%-_iGp^fMwtvIBln=!snFAIJ{j`kv9MljeD0KO9Te%AXls^?U; zc;6M#?_QD>XL`_ep3Y@Y9=*Tx(AOdBY_i^KFPWK7LjmO6n4*+U5|p%85+yP*z-@sJ z(>ea-nDg1kCNYtMLdn!}eNy#dJ-K7EVvBNjFnkggF{Pd5a^KM;qgu|v`?7I>jQ#*fm0h6xS*e;sGbWv(Dr*cWetE()NZuQ5(>|d z1RK$gXh83`@rv@eyCTiV?uRBJn(Zo{TlIHf(DJJR&cPXHhi`FEg73}1pa8-RpMTgt e|GWZ&ZUh8{1rR)->dI;w>MBrKSpy40=)VB%r3`lf