From 27da90d89b934af19ad7a5b8eb7a43a9bf829596 Mon Sep 17 00:00:00 2001 From: Claudio Maggioni Date: Fri, 14 May 2021 13:24:13 +0200 Subject: [PATCH] midterm: done --- .../Claudio_Maggioni_midterm.md | 169 +++++++++++++----- .../Claudio_Maggioni_midterm.pdf | Bin 619869 -> 630388 bytes 2 files changed, 128 insertions(+), 41 deletions(-) diff --git a/Claudio_Maggioni_midterm/Claudio_Maggioni_midterm.md b/Claudio_Maggioni_midterm/Claudio_Maggioni_midterm.md index 62eb807..9794928 100644 --- a/Claudio_Maggioni_midterm/Claudio_Maggioni_midterm.md +++ b/Claudio_Maggioni_midterm/Claudio_Maggioni_midterm.md @@ -15,6 +15,16 @@ header-includes: --- \maketitle +# Acknowledgements on group work + +- Gianmarco De Vita suggested me the use of MATLAB's equation solver for parts + of `dogleg.m`'s implementation. +- I have discussed my solutions for exercise 1.2 and exercise 3 with several + people, namely: + - Gianmarco De Vita + - Tommaso Rodolfo Masera + - Andrea Brites Marto + # Exercise 1 ## Point 1 @@ -61,6 +71,25 @@ converges to the minimizer in one iteration. The right answer is choice (a), since the energy norm of the error indeed always decreases monotonically. +The proof of this that I will provide is independent from the provided objective +or the provided number of iterations, and it works for all choices of $A$ where +$A$ is symmetric and positive definite. + +Therefore, first of all I will prove $A$ is indeed SPD by computing its +eigenvalues. + +$$CP(A) = det\left(\begin{bmatrix}2&-1&0\\-1&2&-1\\0&-1&2\end{bmatrix} - \lambda I \right) = + det\left(\begin{bmatrix}2 - \lambda&-1&0\\-1&2 - + \lambda&-1\\0&-1&2-\lambda\end{bmatrix} \right) = -\lambda^3 + 6 + \lambda^2 - 10\lambda + 4$$ + +$$CP(A) = 0 \Leftrightarrow \lambda = 2 \lor \lambda = 2 \pm \sqrt{2}$$ + +Therefore we have 3 eigenvalues and they are all positive, so A is positive +definite and it is clearly symmetric as well. + +Now we switch to the general proof for the monotonicity. + To prove that this is true, we first consider a way to express any iterate $x_k$ in function of the minimizer $x_s$ and of the missing iterations: @@ -148,10 +177,25 @@ monotonically decreases. ## Point 1 -### (a) For which kind of minimization problems can the trust region method be -used? What are the assumptions on the objective function? +### (a) For which kind of minimization problems can the trust region method be used? What are the assumptions on the objective function? -**TBD** +The trust region method is an algorithm that can be used for unconstrained +minimization. The trust region method uses parts of the gradient descent and +Newton methods, and thus it accepts basically the same domain of objectives +that these two methods accept. + +These constraints namely require the objective function $f(x)$ to be twice +differentiable in order to make building a quadratic model around an arbitrary +point possible. In addition, our assumptions w.r.t. the scope of this course +require that $f(x)$ should be continuous up to the second derivatives. +This is needed to allow the Hessian to be symmetric (as by the Schwartz theorem) +which is an assumption that simplifies significantly proofs related to the +method (like namely Exercise 3 in this assignment). + +Finally, as all the other unconstrained minimization methods we covered in this +course, the trust region method is only able to find a local minimizer close to +he chosen starting points, and by no means the computed minimizer is guaranteed +to be a global minimizer. ### (b) Write down the quadratic model around a current iterate xk and explain the meaning of each term. @@ -163,7 +207,7 @@ Here's an explaination of the meaning of each term: (length); - $f$ is the energy function value at the current iterate, i.e. $f(x_k)$; - $p$ is the trust region step, the solution of $\arg\min_p m(p)$ with $\|p\| < - \Delta$ is the optimal step to take; + \Delta$, i.e. the optimal step to take; - $g$ is the gradient at the current iterate $x_k$, i.e. $\nabla f(x_k)$; - $B$ is the hessian at the current iterate $x_k$, i.e. $\nabla^2 f(x_k)$. @@ -172,40 +216,54 @@ Here's an explaination of the meaning of each term: The role of the trust region radius is to put an upper bound on the step length in order to avoid "overly ambitious" steps, i.e. steps where the the step length is considerably long and the quadratic model of the objective is low-quality -(i.e. the quadratic model differs by a predetermined approximation threshold -from the real objective). +(i.e. the performance measure $\rho_k$ in the TR algorithm indicates significant +energy difference between the true objective and the quadratic model). In layman's terms, the trust region radius makes the method switch more gradient -based or more quadratic based steps w.r.t. the confidence in the quadratic -approximation. +based or more quadratic based steps w.r.t. the "confidence" (measured in terms +of $\rho_k$) in the computed +quadratic model. ### (d) Explain Cauchy point, sufficient decrease and Dogleg method, and the connection between them. -**TBD** +The Cauchy point and Dogleg method are algorithms to compute iteration steps +that are in the bounds of the trust region. They allow to provide an approximate +solution to the minimization of the quadratic model inside the TR radius. -**sufficient decrease TBD** +The Cauchy point is a method providing sufficient decrease (as per the Wolfe +conditions) by essentially performing a gradient descent step with a +particularly chosen step size limited by the TR radius. However, since this +method basically does not exploit the quadratic component of the objective model +(the hessian is only used as a term in the step length calculation), even if it +provides sufficient decrease and consequentially convergence it is rarely used +as a standalone method to compute iteration steps. -The Cauchy point provides sufficient decrease, but makes the trust region method -essentially like linear method. +The Cauchy point is therefore often integrated in another method called Dogleg, +which uses the former algorithm in conjunction with a purely Newton step to +provided a steps obtained by a blend of linear and quadratic information. -The dogleg method allows for mixing purely linear iterations and purely quadratic -ones. The dogleg method picks along its "dog leg shaped" path function made out -of a gradient component and a component directed towards a purely Newton step -picking the furthest point that is still inside the trust region radius. +This blend is achieved by choosing the new iterate by searching along a path +made out of two segments, namely the gradient descent step with optimal step +size and a segment pointing from the last point to the pure netwon step. The +peculiar angle between this two segments is the reason the method is nicknamed +"Dogleg", since the final line resembles a dog's leg. -Dogleg uses cauchy point if the trust region does not allow for a proper dogleg -step since it is too slow. - -Cauchy provides linear convergence and dogleg superlinear. +In the Dogleg method, the Cauchy point is used in case the trust region is small +enough not to allow the "turn" on the second segment towards the Netwon step. +Thanks to this property and the use of the performance measure $\rho_k$ to grow +and shrink the TR radius, the Dogleg method performs well even with inaccurate +quadratic models. Therefore, it still satisfies sufficient decrease and the +Wolfe conditions while delivering superlinear convergence, compared to the +purely linear convergence of Cauchy point steps. ### (e) Write down the trust region ratio and explain its meaning. $$\rho_k = \frac{f(x_k) - f(x_k + p_k)}{m_k(0) - m_k(p_k)}$$ -The trust region ratio measures the quality of the quadratic model built around +The trust region ratio and performance measure $\rho_k$ measures the quality of +the quadratic model built around the current iterate $x_k$, by measuring the ratio between the energy difference -between the old and the new iterate according to the real energy function and -according to the quadratic model around $x_k$. +between the old and the new iterate according to the real energy function w.r.t. the quadratic model around $x_k$. The ratio is used to test the adequacy of the current trust region radius. For an inaccurate quadratic model, the predicted energy decrease would be @@ -220,7 +278,11 @@ since the model quality is good. ### (f) Does the energy decrease monotonically when Trust Region method is employed? Justify your answer. -**TBD** +In the trust region method the energy of the iterates does not always decrease +monotonically. This is due to the fact that the algorithm could actively reject +a step if the performance measure factor $\rho_k$ is less that a given constant +$\eta$. In this case, the new iterate is equal to the old one, no step is taken +and thus the energy norm does not decrease but stays the same. ## Point 2 @@ -250,7 +312,7 @@ and $\eta \in [0, \frac14)$\; $x_{k+1} \gets x_k$\; } } - \caption{Trust region method} + \caption{Trust region method} \end{algorithm} The Cauchy point algorithm is the following: @@ -266,7 +328,7 @@ Input $B$ (quadratic term), $g$ (linear term), $\Delta_k$\; $p_k \gets -\tau \cdot \frac{\Delta_k}{\|g\|^2 \cdot g}$\; \Return{$p_k$} - \caption{Cauchy point} + \caption{Cauchy point} \end{algorithm} Finally, the Dogleg method algorithm is the following: @@ -380,20 +442,42 @@ Then the norm of the step $\tilde{p}$ clearly increases as $\tau$ increases. For the second criterion, we compute the quadratic model for a generic $\tau \in [0,1]$: -$$m(\tilde{p}(\tau)) = f - \frac{\tau^2 \|g\|^2}{g^TBg} - \frac12 \frac{\tau^2 -\|g\|^2}{(g^TBg)^2} g^TBg = f - \frac12 \frac{\tau^2 \|g\|^2}{g^TBg}$$ +$$m(\tilde{p}(\tau)) = f + g^T * \tilde{p}(\tau) + \frac{1}{2} +\tilde{p}(\tau)^T B \tilde{p}(\tau) = f + g^T \tau p^U + \frac12 +\tau (p^U)^T B \tau p^U $$ -$g^T B g > 0$ since we assume $B$ is positive definite, therefore the entire -term in function -of $\tau^2$ is negative and thus the model for an increasing $\tau \in [0,1]$ -decreases monotonically (to be precise quadratically). +We then recall the definition of $p^U$: + +$$ p^U = -\frac{g^Tg}{g^TBg}g: $$ + +and plug it into the expression: + +$$ = f + g^T \tau \cdot - +\frac{g^Tg}{g^TBg}g + \frac{1}{2} \tau \cdot -\left(\frac{g^Tg}{g^TBg}g\right)^T +\cdot B \tau \cdot - \frac{g^Tg}{g^TBg}g $$$$ = f - \tau \cdot \frac{\| g +\|^4}{g^TBg} + \frac{1}{2} \tau^2 \cdot \left(\frac{\|g\|^2}{g^T B g}\right) g^T \cdot B +\frac{g^T g}{g^TBg}g $$$$ = f - \tau \cdot \frac{\| g \|^4}{g^TBg} + +\frac{1}{2} \tau^2 \cdot \frac{\| g \|^4}{(g^TBg)^2} \cdot g^TBg $$$$ = f - +\tau \cdot \frac{\| g \|^4}{g^TBg} + \frac{1}{2} \tau^2 \cdot \frac{\| g +\|^4}{g^TBg} $$$$ = f + \left(\frac{1}{2} \tau^2 - \tau\right) \cdot \frac{\| g +\|^4}{g^TBg}$$$$= f + \left(\frac12\tau^2 - \tau\right) z \; \text{where } z = +\frac{\| g \|^4}{g^TBg}$$ + +We then compute the derivative of the model: + +$$\frac{dm(\tilde{p}(\tau))}{d\tau} = z\tau - z = z(\tau - 1)$$ + +We know $z$ is positive since $g^T B g > 0$, since we assume $B$ is positive +definite. Then, since $\tau \in [0,1]$, the derivative is always $\leq 0$ and +therefore we have proven that the quadratic model of the Dogleg step decreases +as $\tau$ increases. Now we show that the two claims on gradients hold also for $\tau \in [1,2]$. We define a function $h(\alpha)$ (where $\alpha = \tau - 1$) with same gradient "sign" as $\|\tilde{p}(\tau)\|$ and we show that this function increases: -$$h(\alpha) = \frac12 \|\tilde{p}(1 - \alpha)\|^2 = \frac12 \|p^U + \alpha(p^B - +$$h(\alpha) = \frac12 \|\tilde{p}(1 + \alpha)\|^2 = \frac12 \|p^U + \alpha(p^B - p^U)\|^2 = \frac12 \|p^U\|^2 + \frac12 \alpha^2 \|p^B - p^U\|^2 + \alpha (p^U)^T (p^B - p^U)$$ @@ -401,9 +485,10 @@ We now take the derivative of $h(\alpha)$ and we show it is always positive, i.e. that $h(\alpha)$ has always positive gradient and thus that it is increasing w.r.t. $\alpha$: -$$h'(\alpha) = \alpha \|p^B - p^U\|^2 + (p^U)^T (p^B - p^U) \geq (p^U)^T (p^B - p^U) -= \frac{g^Tg}{g^TBg}g^T\left(- \frac{g^Tg}{g^TBg}g + B^{-1}g\right) =$$$$= \|g\|^2 -\frac{g^TB^{-1}g}{g^TBg}\left(1 - \frac{\|g\|^2}{(g^TBg)(g^TB^{-1}g)}\right) $$ +$$h'(\alpha) = \alpha \|p^B - p^U\|^2 + (p^U)^T (p^B - p^U) \geq (p^U)^T (p^B - +p^U) = \frac{g^Tg}{g^TBg}g^T\left(- \frac{g^Tg}{g^TBg}g + B^{-1}g\right) =$$$$= +\|g\|^2 \frac{g^TB^{-1}g}{g^TBg}\left(1 - +\frac{\|g\|^2}{(g^TBg)(g^TB^{-1}g)}\right) $$ Since we know $B$ is symmetric and positive definite, then $B^{-1}$ is as well. Therefore, we know that the term outside of the parenthesis is always positive @@ -420,8 +505,9 @@ by proving all properties of such space: - **Linearity w.r.t. the first argument:** - ${\langle x, y \rangle}_B + {\langle z, - y \rangle}_B = x^TBy + z^TBy = (x + z)^TBy = {\langle (x + z), y \rangle}_B$; + $\alpha {\langle x, y \rangle}_B + \beta {\langle z, + y \rangle}_B = \alpha \cdot x^TBy + \beta \cdot z^TBy = (\alpha x + \beta z)^TBy + = {\langle (\alpha x + \beta z), y \rangle}_B$; - **Symmetry:** @@ -430,11 +516,12 @@ by proving all properties of such space: - **Positive definiteness:** - ${\langle x, x \rangle_B} = x^T B x > 0$ is true since B is positive definite. + ${\langle x, x \rangle_B} = x^T B x > 0$ is true since B is positive definite + for all $x \neq 0$. Since ${\langle x, y \rangle}_B$ is indeed a linear product space, then: -$${\langle g, B^{-1} g \rangle}_B \leq {\langle g, g \rangle}_B, {\langle B^{-1} +$${\langle g, B^{-1} g \rangle}_B \leq {\langle g, g \rangle}_B {\langle B^{-1} g, B^{-1} g \rangle}_B$$ holds according to the Cauchy-Schwartz inequality. Now, if we expand each inner @@ -455,7 +542,7 @@ plugging the Dogleg step in the quadratic model: $$\hat{h}(\alpha) = m(\tilde{p}(1+\alpha)) = f + g^T (p^U + \alpha (p^B - p^U)) + \frac12 (p^U + \alpha (p^B - p^U))^T B (p^U + \alpha (p^B - p^U)) = $$$$ = -f + g^T p^U + \alpha g^T (p^B - p^U) + (p^U)^T B p^U + \frac12 \alpha (p^U)^T B +f + g^T p^U + \alpha g^T (p^B - p^U) + \frac12 (p^U)^T B p^U + \frac12 \alpha (p^U)^T B (p^B - p^U) + \frac12 \alpha (p^B - p^U)^T B p^U + \frac12 \alpha^2 (p^B - p^U)^T B (p^B - p^U)$$ diff --git a/Claudio_Maggioni_midterm/Claudio_Maggioni_midterm.pdf b/Claudio_Maggioni_midterm/Claudio_Maggioni_midterm.pdf index e7162306f0cad8a789416d635a128e6e52f5fa9b..6693e5837fe52d5406cc220565540833b8714f39 100644 GIT binary patch delta 148745 zcmZsjLtrjSu&ra;wr$(CZQIFC^2fGq+qTUen>)7o&VAE+dr~#6N%#7?R@Kf0`BM)? z0x2jv7iTgs0~MfGM>jdA4aI-Ya8NgchX8*^NTuqbK|n!;5`9hju(oH!djOPIHZzc& ziGa8Nr^O*a>$Iu6&My;~xb<(X#_KElz7_7l**{v})8FUWm41K;83~AT(%so92Z>4% zn{*MIdW16e&het*{T9n@v`4!RtK89R2F1$-;MK2__7^bu(Nt+ay;an2t6`fp=H34B zd5W1ZM=FvagHlxr+mRyOVu3fQrhV{R+2m(1LqWQP0_ExA)%A{H7ZLe+iXV-w>>9Op)q8x_~ z#FZjZga%Mr*$5#n7GWh1os_Z;y{8&vX*!^g%nYS!HI5vq26AbxoW#QG3pos6X!c2O z#Z}5E=kixQ1EBnBzhv5MBs#-6~#rK#2g0^ED zW`*^&)H6-EiA@QJUHj5vOpdD)&7~ zv)z6g>9M69nadV1-px)mb8g-;&&__1A3MwET&cD7&UQD-jn=$JyRN_Np=aUUxoo?N zo>Sa;nKiLHq~_{~vqPi4Df@EXwvOO5!vky+2njKixF`I~l71!rFXoJ)Io9i^*J3!)6eA+c!ec1~k*|Od9 zSfzbm@3L?1akE@&JCiamYvAuDKoDK!sYI%Nz?gd*+a2QG?A-0W&Xb=HW(V8hqDLSIfu3y6OE=OdZ^B#x4FfNlSt)HW!GXVRTzW9w@v z9~uMD%0O=bkv?`(N;@ToLykCxMFl{P$tcrkb1@q%sT#s3ehj+|5epna*)>7Qs*p7_ zZ5+45sMu&bvX3auMK```;{6-_GxHWT;(o4xjEibg(VZPa6-kwTKxgR@K=|5z{y_}} zIhdr>GL643gm?E7tUgAS_zYY23|pGeNuDqLCrMCYZK6R)D^lqKnev&|SPUSm#eq#U zq)M@stBY_FF$G!8ERaL@*+4i6EpsfFcv-40ug{~WVdM!VG*|krovvWP;HM`DU7ho1 z3sIxn^=5=w0$P8)%C6aZ)0Yd)kChkgL#jpJF@JTm?5wNi8wZFJ@Rv(cBpH(4XZi2D zQ`9W($l_*|-n33-w!rHKGx%Kx_&+ezk%7$clGHB9-WI!d(k3j*1b=pY4O^b~o2P|n0 zbuF~~D>JS0r{{QHD5yO9oy3PRQVJQ8DT48@IOw^!J66$g=}IOYg&6>dXP>z=SUji% z5(_c#A)HhQ+k{GCoGaZ3S^1k0KfJfmISC|<9%g)jsKOoL?)226Sh%5qC<7$1y%ibx zUt8h408ZJ)#@3;1+j({UOIc;E?><2-W5XG9>^EdZ-=gs29Q&WE+R&Pa@g0usp>IL) zKP2!jbxI)qgjR1A1I~cI9(?k|C9^S*Z~fQ!A%*w$TUQeFazWUzPz>V>VkD&ci2a-r zY+^!mD1n7dM95(yXmI`*GLO|HSa*a0nL;c&wWCVsdh6MrZP?Lp zqL7*z0hi48L-IR7j7@1OCNM7;i*N%h`dzw9uhv^!;#xGB=a+z$nX5yKrx`vLv3Yt! zoqhYiPGuD`M<)i&;TQix`9d8mvUhY6KJ+fSV<5;sk8i2d0jS#s3$n`stInU z?%x{1zv2|%^fLgArvH@2yCIRH(~IBi>*x6ay6H#%4+uU1&!0HFC%MB=r=7^%+jI zgizX0cww75`gnR|Y)-{me3v*BQR5pKc$IbXtp;>e_xncVT@C4B%CAii1n*_pzL}Ez z{S&Q7HXs0as<4iP9P!CR^K?bUdm-S+0K>S;e9x*gRR#3|&bzB|rp)x!H!LMrwNR$e zhJDqlqCL!2bg=FEm(yjbP?f8D%of70X-2DBSk?D%4N=|#^6KtjKx)O7KKIft78-ai zf@fEB_IQ|!mEY?ahuKP-_4JR!Kc34z20m+Sb~*qv;pxsz7Ua~8sGTc{SWiq#C6%Kg< znq?KRv~LbqVFge|3<-%Sv`Pz!p`pq1JWbIY80pmNdT9FiNRqve%MDq z7p(}>`j?G&Qs>Y0MOt2jsI04?fu;JeI{|_|acgMv4-NW44?FZ@E19TRx)qG7#BXdfZzq!t?ISiu5iGac-m1L!u|r zunX2f#KJ~F^DPmXl+t{|-2Dj?m)+r@%>;Ha3k9%R=&(hAJsm;DVMir?%4}ctmnD>6 zHUC(8oR%KC{=Z9V?OWp4X=1Od@8vzCf?lH-G#6rAYXvO8dVIn1u zDiLb|m>_s_ES8+QEznaF1&D#Xwhnup-$gmii-N9!dup<^aqro7_eIJPbKnFK1xnq0 zzu|T{(I2K%$zSF0;$;fvY)0;jMjHAJhwoPgKUUIXQ6WU=Zd%ReMm>E0dT;^o8?ZY# z6}%!Dg`KHa;MWg9Ipg5#W8wXH0w^zP)#+Up%fGz)**zoebM z82d<)dG4>d>tcv`2TQM)7nslaegnf^AJX#}q!d_T%Qa5c(8M&CvV9a~GmqY^@04#Q zOETN4P2Z3gYQnu z-P7u~l|vcnR-5$>zfy!*b(5ZVB8NuN(AWFfsCMdf8(r7Z?>2|~GN(JBm5w7j-gTD6 zY=(&x3Kaojl-1;lvLQ=)H1X6Z#@s$;y<3>mz8O9`1roKk2k*8<>z6v+?|G0< zuS>F~v_?&muy*!#XO$0dOhLUR%xRn5s}EOKQX=(ld!zJXy6vpG?B;6~<9TX$aCqcK zYPs+ArQe!Q55^V^tAPy^h;h0>++jo0k&TcznJN}dlPCiGp@Im4Pdqnc!%)r)c}4&Dwx2jI876}QlTU` zl`NyAj1=P9H!;AP6-H=BQL%Ky23PJkH8h9VNI;_cMmIB&H5uBfn*{TaT1TJ;ofpmK zasPTWkU^2<(Ip#uMtMuPlUPYFlRui6#*s3RZPDw6aSmHxP{8SUzz~>-H(LZpqSFLzVg=`;xOaO5}mJHa3@(zI@ zYkIiXf4wWxTL?dSh5;1*M6C2X%#`f;-5-@$87WT2-T6!jjPC$&2wQV`4m;tvL0JVCznncfcs`#sdLabT`%2O%XaOKLf$459az#(#Pvi;^21cZRHhWS~ zH?QaE!wTn`X1_rw2H1y2N4=#8w-J52rr>vwC2a>ZL6laV<*UaT#$BfEIZ!#Pwn>BpF0S*Hmn4=MLnio3yn^JDv}>|S{g%vLBFnEJ8AXpU?1x?}Ka z_$@XaYpoFN@woWC%PAfyp)AB>RH#hn8|`%Kqnc#TK^0XkVC3)Ez5JmJSF7`7|ot@4HF{mKX;XH9&=y+ zpA!S3DRL0)|(9 zL!y|HdDfB!Vk(UBWF*$QkzFN?HXM`Cm({}Mh*}*H7P{oPB~H4M=cEmsC_6_Q4B@>D zJG50nlNpOyBT_k$iUU1y$Gx+qZcn@O)UM`69qi1ZyqHYYRhia{^VhQW8UWW|d0SuI z-a6N>fN$ryey?kfVKS33j(%n1QhZrQ)7Bxo>kg9`wq~cj32P}Z5n{y3Pp?&b;ja9W zB{f|uZ;N7<=Er~WGh|8FV2cv#28^R~5UfH>eX3xJ(8)dhspfpHBmLuWF@onQZ*`NO{b7u#qNjjZb2f1>yVbZwTac)8D3K zDJkIbNGY!c_e$2TxU>@_4qh7b` zsGN6HUJ#EVbS5h#5%d=65K}HH5ILWWiXoT(otxksQr%#2C~`$u+2mq>DB4@q%{Jkx znryii9c4jKj9ZW#CtNG1T#PsA@tyVL%d3%kRN~mH5t0ha!-gA!evRCHSgp)0+5@SH zxa3?`2F}kQvQV%Y1rVICYI3*NJ+ePOj5LA_ZM8K$8gS@>C80M3`Bw>dJT_%)>zl#REANdNG$lM@j2v1EDYmw`#K$i@x z!cHkE5Ijh|9**2?4pPZ`UNV!L!Ul%iDo2$NmHXcQg61GLJW~cw-6lJnn@_t-^JWdF zj*m4&ilOrU0N&3%dTJ!H&}O}yHW??7m5mNDBlkq7Rb&55Dha=Ix5e$H1u-Df*b^6A zyQer2E@!7X(^p;ZekNgyn0{7CrVz)8v)$_<$Lb+1{w*fmEJAC+g99M%L2cip z|4yZ8SftrfbGPOtXT`Tsjz5K+E8z#NfU`bw;O3Bi_l$&F-r2orvq+ehZmVWfh0E!j zx$%gj2`cwgJ?P2>1TW~(>HgNzb1oFteVtG^eWS`IlkB(|ITgj@u7^6D|4540DkY}n>RX!;0R<-!0Zh&$o`dvJRTKx zu(92{S@{eJ_SkBRp9@d*_1X)G-!ljnYIzusCCUtJ~L1llzl z0c3{TkoK;V?+AR^{q2h$dNvmo#6A>`10b~=d~t{3+K9!3T!zz6bDBFBnln6g zgf;)_z7m)O@fP96ecVX?9yHNi-0cx%1LQm57K`vY-rsgGL2l>>FCQTPxi0<)b5#xh zVuJ6Qnf|iF@yu5tI*P`|(S$EcoEc*t=rb?(ZB}r6x$eMiqE%Lq??dDFl5)kooqk*Z zXoqj5V9XuNT-{vEjqU#@`ybuU#`1pv06P;K5m7QI10_KB@;?MX{`Cihe#%SC(d7G- zNCnd-Jpq$-5W$uRB_Zl)cWbPry^y^VykGJj!#KOh!#pX|KG(dsX-gD-Lt+M@yFHeqV zmkH6uM5Ehu+WqG1%R+zN#Mf5up8&r#BK=C7vqg@4NHv>LaSU4PHs<(dy6(Sl08|A< zy~C#^$+wrd+!bId`iZ6ruiptOu*!)N&YJ`f1X#<_~-g=%=nCw5p17SA*(DV z^Z;V&Kn*XJOKW9Tx{(sLAXi(8xcL^At78bE{BvQB?NY^Odt{ngo zF^E&}D>I-V3U}}Ot%gG~_l9-T4>jiFf5-1B{95XIsm1C|ZM9IIdjQOKCVBN}Eu-3) zFI@N05=QXVk#`0vB*{D`IiEuuWOEbZG37D>Sao?yrjraOJ@Rf=BAlfg01#!&F*HXX z*XR#~Y@Ur$GRKUc+VUx=zkG5K+>0H(i)rV|nBaDTjmSQ)PDViGqXx z87WdDix4KuTvL}fIf466rv;z{U{C$RaBiC!^^yWrlEmL^)5bD<>=tCx(OiP4V5d%L~qN%AXqk|rH3~-4@YJ$$(0!64>3aFovWg0};)8%az;i@~SHC#7J zRHk~S!jh3!eQH}OFjovRgBh6?7goq4T-H_6|3vdrsBd6Z(+u3$xw^&GIsOZz69}Ti za94*$RkzJ2zM+R+04(}@Zl9oY{N?Y%fqOD;uZC-Hxdf_GxFv9l;3g|0NG`ud_3h*> zhCQK49+gcUo3y((|pKf66TO=_sN;MYVYu!nhk z@Zf_e7|PzbnN3Ho@vR^UT84gxN6TH1Egs(=arkHT|-=*?of@QNa1Dk&<+UejX#XxkGy~E@TUo66auCFnH=dJ zz@s^*ARJEddBC65g7i*(d`{ma%8=MmczT&T#`Cf(DnAwM2aDRriCu024@iBCyqLz> zX1kh*SK&ay?GQDdj`_ruD?HrnwSb!HBfu7~^r6bA0d`k`4nNX2Qm!Lp0mK?cToB}U z5nOFlfeE4N&(bZ4&_py6i)D7%eFmmG;xWXsV$bkD7;nwA0gbP3Ur|0!Z=b`L^#)yw zT<6p?<$;-EZ;yr{I12l{&c+}nJdk=f%6-<>$^k0)NvPvMSHc;ldT|evc}LaQH*0 z>QR9yB#m)UBXJvaS@8krmP32^s_%mU$uoz+zK2UU({IPPQbhAER85R+py1-l$tqLr z=ZHMw)Cmg=1m5xi;bma^#f+-L3DoJ>33ew{fGTW;wSxuAJZTfIu1%9Y>zEq+J!``% z7tfdx-HCjt{G|;q8t^SomT(;%(6bkxvqql2k6k5WXC(XOaWac*Ey#+!;E0*Z=LVzc zes(DW15gf^Y%*o-e$XEn>$m;q84_=+#5`&F7U>`!XZr72mnhIGViOt@dX4~X}(^;+>j+UVj8qH8tw$dFr^R>HZ5`l6=aLP}_*r4x&}Wr4b?d%M{} z!t(9H@q!ekhn{t~0jrMLtStRXy z7KLM~j#hQC8y?K`E(G_>Lvt%3CviLop}VWnbBy_02kCJE%Ky+ucS8r%ZInd%6f9jk zW&v@1RlWU)DdIbOb;u>_c(YIKt?9PcwFU?#V)pHoN+G`VQG&9lv!{bMOm zFZ;I&w0k^pY$_|TkVoGodUD|qpgJrculOp?xlpW}Cp{unyj7>QmMTsS+Ezo$3OH}o z=CdN`tKNmT4`$nr@ou@1x3c_LaJ+CB(C20`*WTgPsEgjkrjH}4U%})(wBNZAvLdEG z>TGMrzMjhUv~p&Z3Y}?tdhAYw&}8g{y^&l&$XG|~l!~d_H_jxmHD~1m%&Q8;&|#y` z4ZY~$zii7ij*mg4S>&oY7`Uq`fIVBH590F z8c9%2S6!gP4EOGmU1}RebXr1dH}H=ungeD%4|3Y#B&VWC*%h1e@_ z#&16M#MiRE_OJM@e;hDzc1QL37K~uZjGWB>C_2zxSptOt*-29XRw>X5wI0=md^N5| z)vCeGv&&l}EKkAY-;PB$c@84}(QycGJp0)Zgw=a( zJMHa)p-)bAE?09z!AxT(t}}b}`?`Ak|9ef-5P!unjGSKbFZ3BJNJGjB+!?2KlI;ZII?(_wpxnfojgx1Ka| zH;WWTMew>Ul>XSVZ+ala3h&oOTiqbyrzgArEs&cX#jMUc*+{Ti7(U zJfgPQkA^;-c^JBB72q^Pa8YN<1=NnLLwvViyEg*JX9=3)tC}}Ce@t&Kt1%r7W-^Um z7`abwMiu)TMsWl(@lzV~Z|%nM!Gh^dIhJ=B{Jrk^e{Sc{I@n7Vs0}(f&b8X4%yUZI z7=yQ&|Jfyq2#ztYoNnR?3U^67-xHu!*9bt4$`FTE-r5`)X{*)RHnY?gq5t@@r?Jm= z$Mpe5r$`NuGZhBmftF0Me-Vi}2A;$OcG3NIHi)vbKi}L}AgySS)IXr2_HNom;SFl( z@M!Sb2fpWw)gg{r0Zf$t{=7P3c7+%JZ}4O1`ai&rlk-3D`=0~DC}C~qW}b||fD0Ja zk##+8L+-n+&(M`XkE8%f0(z`a<90rLOQ<5NdKi2O%qo<4a*@hB)}sCWa4W_o8aR;J z)Tiv6NiZq~X6y3@IX`WX<^=pnfA~#rzwLXoRd$#vp)+gj?A?nXLr3W=#cf=)HislS5IaqDs_ETuGP7rU6Z}*92Vz zkxKu73#Hx4jG1HuTy%}gP(b}MPMt%g=ROZI0=7#zwgl_sOs8K4TXXS-j+gNg?DvKxWkgOVlK)@ttL9+M! z+&^#1JspnJU`#k0TqVd*C;;8OeV;esZq4EGdv;4=sTPlB((z2QOGfP;kGGz`WHpkk zcQq{m`0Q*Ydin_qIR3FwYt2aTH-9CgPp7N1`P|`3p{>YgWPF@rCXW{?j^x)uF^@h| ziF474A}_&5{>tJRMa&#sAkykmFOfl#KTye!PPqu37?Y(29}c9XkO2WF4 zDp}A8IZ2J>zhKFl5??eon?fuBx3Wij4(KSkj`kRqlAP{Tx*_^FCUm!}f zXhxUQN%Wr2u2i20RS87u_h%bkn35uXD!E89d{9Tkq)d)cIOM@+c+1%e*3 z?fDlzbNx)0BTbBq-vP#BmHuu`*B=K`idK=EUA%ILRto;VNnTFnYIQ;aK%;#9RQc<0 zp%0yg$Ou|`^bAvFHx~zYa{rS}AS=j?jB3L%XEY=f5Tm7Uiax zknawMIAJy5MRGxh-G=v#@%MYz$e>?_UUWa3vT$@$dh!CPK8xEE+ZTiX!t{LGYe4*8 z#AYU&ilzWWz?jT07yEcs?!n;MS!Rn*JdS=poXZn~j4#3jVs-QcgXvcQ7G!oTh9qya zsywV6qn*mB=te439a1F6MRJT3n>`x|%gA#luwH-+RsYfO)J)Ormm`kUGX*F$z#KFa z`%e1Z(&*pxGm((BA2PoN@K|HzdV4Pf-ZP4mO9Or=z?anNAw5uZml8nh)CBI(0xdzl zT~UJcesYJ?gL+)R3B2+PWc;p+l-7@LOqWNM*%t^#o|pi(JHa=p!mjB5PsOVB`(^N^ zXA+8Jj2MU@tgrSw8QytVks*XF(3PDbsS~5lF2eBMWcm0!R!WPYE`O&pZHN1xPHtA z0=wN*(}3FK?8A^F>stHt_5@@N&%Z=-3fYSf5H@Hb@w%r4i3?|KQ`rHMf6c)19f~e1l?{JXP`>ll7*>%j7P=#wmmQdCbhHc~ zv&n%fAczWFv^iPi*37D#-n2bjL=0Zph0huS=fDSFJvL+h0g_6YxBFU|bZH)`*K>gm z2ri|K+~|qS)D@deW^8Z&EdoTykGw1(A|>H#`*HbHzmY0@q4HTV4=h*USB|a^Ka~z-^_trsUit0hZ8oEZ*yhy-(dQagTa+8^xeSgTwA?v^>R1-+0(6`U*=aLr)%#X_I^Yt5GYQYhN{t&rkpkle?3}hnSe%fOCd*xW5*Aa?lqn` zr^QH!RNAY-9O_hhS~yAK{Tv_w|Ctxn&s>GOG|<}Yz!~TNN`#?`51yqtWU^>c@Qr^2 zsev}v>a=N-_UgV;#cnzI6c!|b0o5bCN&QF06OHHFlnxnwoSug)yg7$m_pi(E!b zZ&4dcXm(UJWvNuzmNs=dPuy0JmBBkI0We|s$BTpG&E$Xe=zQ>tYjguyVO5;d{6;x)n>KAr6=hx(vIbDEqU;`~ISSD2cXtqfvyV)=&*Q7&hnA z=JBR#RS7$x()uwcqnLTXoxO|e*UOa9{_5@{t! z5ItN$+~@&BUwA<wz0}+6$TztPoW2m(Q}%_SgzpO_ zG-JOIHK{o(&qi2ChOx#N^vO?+y<202Jo}}CnK=}6?YxpO!sN zi~H0&6W-s=(#D_jk-vcsbYcYyF-(=z>H0GG)~-HA@TuX`@Z2lbFg6wLhGs*6HDlT!qR0knkY=V+}2G|KgVHV z-|Jh-ZERU#lo~`W!;Mc4S&cvlz65aExmvOdglDRC+Tm486xD$-eDMQLqysGML6hjR zN`f9{-4SJ)(JM(8g3Y-N$^9^6Rsf%S_r{;*#-tF77!rk^=)14@4{MkmUpzE0qispL zpooJ0Y$9KP>)x&23+M8#Fi-buV8FLyp(y*z{WOe#IW>y4mnUXg$+?mo22J_^ajT5l z%_SDb0MDcAV&{LZzj$AP2zvHXX}KeK7CzNBVWAtzl2!t-ZZMz@&u3Kr8BA0RISDNe zW*fcRs7Eh(7%)J5>JHPJN6pJjS35ZBtT-Xw-?DAMM3rX^qNK*h;wMNUrV72-e=a8G z?u#?${b0_g;D)vWe|ysJ1#}6e%tdz1t5O80^|jE%Dp2I9Y>I2iDD~73u-R7*2VREL zO^qX)cB~QKss@993EI+_9Cp4=P0Y0rkeZMW*HRC9MZkzT!5!2JkSYi?1Mi#|OE}Ay zqSJ-|OzG~^68%5F(TaR2WwmOH8Ykj#3Pzx_4dBi!C#byCdv!x7Do zY@YPb_ZMOsu8B?AiFkU+lJ{-4w!5T+;Y14$FgbyrB5*g_Mifnx$kP4%@R&vdMQ8h?m!wL%QKnz6gN(lXx5~05HxyX9BUVDH6 zxWi#sdKne6Iwc~{D4R8X%M=+ff-!Dzpbfb+LN?Ds!wz?;UqckPK`AxgzHY9f8B7U5 zLsC6qcI{rlfwztK`cuS73s*U)BmgJ>nulZkS%_@vZ+Dk2XqGu=$p6$D8BA+;*SfNc zk(Q7b6^ap`H8j5zmj5Pkid&ggw|T7qIBvUxMITeTTp*lzZWIR|z6n&89#k-AVBgXM zH(AofG}iAv40%cnx>sZ-e^cSM*Tp$MGIm}8YWgC-7w^5v%k)0 z&C!F~U5ud&=Z#a=5JBy6FHrYq_UOwS-im_t&qVa`t2!)ZYRg^O?{fDgYlIpD?D$c# zSX(f_0l%{T{+mjz2Jd<-F6ZI$DcZ_j-B{E{G1yP>4P4IWFn_d8*2&=rY&lPqwbk}Q zM@@ziSUUXFseYw~kH7)Z@3ABMBCm;8TOOSq0trDvs@+WsiA87Wuzka}jN72Z@9BG< zVgBzMjwlnJp}6GSww>#@e|jkrfF#~gqv@Dy(5Lf0NfN`DAfvzEm;}@TEMw3iU}I+D zg1<)?3;P054+KQpHAqRYh;*wdz; zM{u3TvihU=9wWJTgK6}no!_w9fRcSjm`nOb17=~=tuJ`>{cHt@zZs;oXGqMZth;Nv zcIXT4^ttf9w@Vm*j?l&lgNx^Ts&}oY=UJ62!qr*W%ezcRl1pJCF+86qA#sBE1>V4I z(@iEOLB-_$KQNeujr;$P)6D8fC*!uG_s!SuHXv90#cheIsvSOrZ>9ns`ZIDjBJ0`~q8<5iZqU48m4GROm1Jf_Ve>24XNW;-f6lwRBzo5189EQ^CLQX$a^(c zw|Bo$TxZW+8on%Vl;3rAM#B!zS7lvuX8ZWf+P6mc+r31Nl^M`wyYu+>Z5uY*$ksWQ zw5%YmX=uz+j!o)xNv{jaGb-bKsWmj#~H;^y@_VRE5dF+?h zE(VTex0?Aw*`FteeY+vI-JeA8xAS#-%ET8N4)2Soag5pSUo86b%RcpE-ySX9taz_6 z+Vkr@$vZJ-?O{&%@`6TL8r5UBem1T1RlnP7mm>~(3;4rD0D#*coife?^`tnBWrO)3IvB?Qv zGqd7|g2lm4tRv#FqEE0kF?K`$ka`b?9IpLTJAGjd$JH%;{@i{9$8zH}$^M4jky5BB z1`=%D-1w~h;=ppBZo_L5#l-m)mv-Hi$bJqk0LQNPYV+HJb);6rQhexI5Y%YX zSsIsl7YsBBteyJK^;$%C0a2!id|RP~NyVfsobznoP4+P$NQQkK0V_%glcQ-&j*7i>+09%1+%VF|~CU@`J;B@L#owdabY zmMIN5fO6^3eX~zB z9X39I(MQA>QW9_*Y!hD|Zn1Nf_3Q$HKLV~;$alDP-5NX{d8J$Z#uT z^g7E!T&ux=fIIwc5MGauVX&rn0RP1cLimf6n0Fhl;Vj7t=HP{FlmFY~Q0ZeL?}f^5 zDrCj^y>M6)QnB_pA{njVTM;(_7&oFTK?;ougMuEaJ1|BzfIm_$@k%*b2OYQ{A0;%- z6i^V)-)vtF=Q*(!5KccwQ|eF@MfKvaX@+%pLCk-}Nr6O`!co5u8g)?WP7My$Az518 za?{ZK9wAbkpp-1NU=_>_th`G*dA^qT7%D6<+3I2&hp%tH8AXF+?oKK}YVp{x* z=RFE00MPS~@&5zm3r;S@lcQx=@_qQ*wi`tUM#CBWdP`+qIw6T?o6h!N53Tcw>ZT(M z%a$-orwH3eose+$ZKtyUU`-Mh=OT~YP(78*EcAiGv|!O1fgSJUF!vm%)-l;cseYm^ zV=r7asM^3lLQf*2oN+7fLFhYqoFf+0L$3T&raCuU0-3>)TQo28gTYl{#dz#xIbO6? zlVr`N1oX-`reVwl#EWEoP?6{ODK0Nk5^_;UHlGzD$Msj!UPvAWu#(wU;^s!bo*tcU z9*-LqvC{A(KT&CXqK^&rwkTS@gb3b7hmp~;A5Y-AUbKph=3enqY&;YPhSQw^BB*!( zfm7S}LdfI$RxVNzoE$$sEuQUGaImI3_x z(`O%wc!C^+wd4E(&=NCGiEOTblQ{Ne(fZq-$U+o+;)9&`!?F{e=el6Z-Z=i-r(JU~ zDh&NzHt-$`7EguDDThMO8!r$=Crc8eQp_O=y{jw@+meB33oh9}GPbEt3>r|rTlv{3 zA|Z_gF+0ZIKL*azkpU%!)|}^9Wk(?Rt_(uVrS&(wwRJoWAUa3i2)1^Bztzv#X@HJx z;b-qhmp5AR?u&n_Jf#$$lY~0in3{`sX2S=QY{5)=N-fcebv@n9 z0%Iofg5zfZz(}HOS|F4Gm6m`rrSIF9yazvmbI0q0$wxPIdtFd2!ud3VU}Evp9zfz% zySNcBy2)W3-~53tS!m6tcF$3Iq7L7@lbX5&sB?MXKwjWM3MiUtlf5I$mBpEm zVefx)=)wV+_KL6q{_^g-#XK(G6gEPfnHMDDdAu`|ckvnnS-1K{zL}?kF=b%UeY|La zJsN{y-XMQ5MGjMf4HR-+edV9v;#0#k|KkT4eq;)ZH5$gc>858DX>ozOj3+&@wEc_5 zFNc2%AX!M3=Di?^dt(>9oYFgASLVPK-gMzGorr>x`a_WqJ+u?)3n919+}(ez zE|C|j@S^fAhc{_Sb2};zc}eg!nq?i$EjUD^14}CwIoz0!_BigyCrkC(`nM<@DZQj} z?g}Xx$93!~a9g_>7T()`-s1OAW^hgerglpZ0DeLN#SO)Xz7!`odE}J$EA`0F7`S{4 z&Lv+)N2scR!xsw)L~ywbYlPh1^xZthicf>diXq?-7+o^S+o-1o5A3h2l;Xd!zj=7AIpAs3vvTh~~6A z{|*}UKPedeRy9VA`FTnS1;0L6;EaY@@K$eSh8d~GAgi)v@MB_Zc`l{hS)&!tpI1$Q<#Hk_LH+F`-+XGMW?wI7r+31;n0tB=u#9@t5hAh~HBf^M-YsL3D8G(yX8QeAa#D{(8yfG+!PKRg z=>S-4^en3)UH^{8D?o8QfTfHKpe2`w`&yk>@^ha=w{U4CzYqz+SvCfosicNoyv!)| zX4rEf`{Z1X74N+)ZI)tR0qmK%D=+}h)kv>P?qHIY61??#sXt#%S1b*zi;ZPV$(<(w@46INrhtus$L0D4^U2(~jw@rsgHc;csN+ludT;wiVby106O>;T#gh7NG zBxyaU=kv}*_p#B$NFfg%zV1W)i7GwPkDqD2$EVcXJ3qr0?FhQJfKZZt@wxiLn$|(h z(PmLnSHS{Z;<;T@pp7?S)3id)XNP`j187>1yH9M*AxsJXy0d?3R2Pt&|$=*-hWtT6qTy z*_`JSNLz_s?%3F2_^ifP%j_TJtnASL75LR-jmbFDtJmB9_D|nhO9$C8AJp7oX%Wd@ zkoKc?=Tjn@yURyK(Kw6d8tk|sUTC5@^rGYC`21u`;EHgww3;kx-Ey}wC&#c5x&r>A z0AYTM4zq{Lw1qQ2Z2ULd#@t`1Pg(G+YCqtP)u=As!Jw#i`MN=~F~# zDQ7+@sQuywr?sle(3mFO%;>zdGDS|og$*36skAE41zMwx$EI(t8MmMLOk(Im2uCAD zqcFTY5o-+BNs|pR8Pt+Z%;RP}sOp?)oOvbC>wmrDtdDG|E<-ktjau;vgc1l*C?}E0 zcm;uhLxlJ_#%~{MlV)ZD4UXu*f?DLIK1do*+=6X%?Es=ZYA7`ku1z%c~ zDIT~|1%kQ;F)OdF{IV~waO=8KN%Vo2dIcOR3BI$BzY`pMf_&FvQZ@8ylin(X50$7v z)QTr%2KmfVbC1ae{mLa*TK;ksSMkWKLbdP5`xN?Of4Pbx_-c_-1&WJ-Q_kz>X=gq*!5kB~37Bag(}iEaywpuYWMY_P!OpIc~{k zsrE`fdh;dJm{8wG6%jy%Q`5$&3!TTN3JFm=hM+k@o}BkG26~NLBMZ}poKaBRPR7v$ zUaF)Boov?9B_E4{uENOz4H2#KQs{;QQbBV|bhE2}0}^DW?&dtpyQc1Ml*(9{9tiWy z#CQzkJXqsA97eZd2oD-N0R$RqhX%G#eK-glcA^nkO3&IBGIGgtquJvSPM1xL{KTx| zshMh@t*afu_clY-1EE{jB2rRI7ViHBOajy(K`YBE(Vl%G_%nmRTLlQJSaqv$)}t5r zgyY&F6V`CMrAJ+12-+C#HS;YW z@YNBOt94=7a+^>C%Q&3^hlg=+v0%enzJjqCxQz3gq2I{^dntcC;OcPb2yg^Wk zGTtBkBw5OPDROI)eWKza=w}p@`h((;WK1no03y>zp{Mu*G>kJFAaq z8f<)qF#a_`8=u>>U%1~~%oiKClsmic9>+Y=)xSO5+UXCWj=NHN@1_E5TdIv+s*;eI zu>8Gj9lin;qB^#Uz^376kwmPa6D?hs9-l2Kw2TXrprP5sCtX6gr$k!7{N}}}sm3F= z8SNGh9B>bT=6#8DW#$C4IG!(0`|vsB^%DnX162rHebGZfCE=tJr0GJRCm{DlcYSB` zuJkXb`TEs|?zJC|oOT?00%F}T0i=xFhw}vqHof0jkW8rQkphi%`&++6>0c)ihioU- zE2QD(m%a5%7&SP-Ix_XZNYJ<=gFBVMEEgot4j>?b9-7osLJEDtN}qU5w^^Y~JQ+w* zy{d{GX6gs0{Rk>8E}2XS5{8YCLy$KP#9Fp%jP(+b)Y5KE-<`jLAt@eBbisb)c=$1A z0!Y49SLf`>AVR*70sYix9+;72sh(gUR6jpZNfxAiV0#ES8pD0T3tA{QqTm%CTVl`S zxk?m(&9g{In$*x-JHHRK9wvdD7q)fA$`!a)nYhEFbAw~0zU z>UM*v9Rd@&KV1<;LjnMtHOSh+tB#{1t54WKZ))*rwQ>YYEUj)uo3nW2_4b`bFj3+wMi*wJyn_hRrlc*zVum<;i% z626d49Z(dp5j2_~ZP4+WIFnk4YY=8YG0_Kb2`1FbbGzjxAcOq14A-1V(hLG=yKpSF z-1DY0L98R1lK4;<_RAr%S`5P6E|e=5K|uyZ&ntvYf}osfe(uwt0&Qr&6WgqKkH>X^?KA+g7!Qe|nx*WgQNg-++tj*u5J^vPSj!9Tx=H~^d zSU;)2Bigoct2|rgrW8tESK$2qzbXhyPU}>6&AhdTJD=<%uV`AZvr=QTOel+){zw&i z>4lzhFZcbG4QEMKgB3PvboGK~hHu}T(4ZC1ZnLCPE>PS4Ae$&eIlr!4QBx|!Dx(Vw z?VBc%H%lZs%pG~LRqi*|dP{-OUVxeFniYUUk>k;tU)Smb4s#sQ{(l!V%uKBRyQ1M{ zW+whmA~#!2Hg1yxx#wNuR*Goo*k)`Vl%L#^!*U+*V^1eB*m$x9S7%4tx%I5}=9WZj zWMWbpv$4Iv>KzoTu$zf*gQA82V>Or7m++iWHyr6s@{1+p(Qt1kJJ zAjsA^*{+W{LS1v68rmGyYjbgbt)tDWdZm0P*IGlE8Y+<^r?7dO+_ifWdR46VJY7D$ zDa-Q7`>}i?+Pstlj3&x#`doT=e^_~VY(KwX5U<>@oqK#VN!1sWj^~a(Qt)w>y2w(&Q==S5YEX@&QRz)4Dj&RzUCh7C2%Ww2ltcM>Zns2oz-u|r~Fi}bw?{grcy{cJDptJGY(6TpxW2d^6plom2ZSc% zGQDw5)In9GhW~TzZ@KYj?L%j{iBUmDmF_V`nwWoaLoYJ5KaiV?DF_S)e{VFI`sO)! zSGAYP5DX=g-n-2h3@0-Z*f$cp)_1WMGm%UUaMT~El#;t>U4fQ^p5l|dHH0NZ_9Pyt z4qGDa7_+xlraK5!qnT^JW(e=G0(!uFbrt3X%1Qe76LpgUijg0<{Ww6=0W?rq^b0CB^%8i<(NHNM&f zuMjf6-bc1rP(d46XQ=j196?+}@@iGUbh`G`_Y3c=a9y(JR9MlQ*(AzRvf&}0*$#t4 zx&JA?ph|A7Eera=s>n0Fs5>WC^EKQyeAf1O*fuO&!T zI6jb8I6lxAWKd>~)byXALcqzyOeW;6dkmf^FztLODWA>is@6mqL}{nVKLH>nw0!t| zPER+i#vvx1Sp~4&+HwlB@L5YCNvi?7G0a`ukHo&D{*jDM%6yrR9 zv+Xn9xYUinGgbM*5*C7b9+owGJNZR7yBJGJ1w#^;mJY)RV()hxeDO*ukU;7P!XY$6 z1{QKX+jyUbx8S>bFARIPD{%+0Pq!cZv{ECu*zXA~rgeY4>dKXYhwMGEX@tX+I_Tav zMlBLD>@|U(8$Hphya37GAL>BxzSbKu$|$gtM^vgM>6X zJG#!+`8kV>X;SInd*B8V+IX<4ih|C5+!NKOmb)WZw^Js}O|5}z>5q2V=3y1(G04wt zBAIY*(_zdMwE*{8jTW{xy6`sK&yrOZS5K$#QmyUO;@d_K&nC#kbu?bw1VoVB+JdLO zjSA5oatk*qq0DoO(eT!%_FD6r93+{{y}N2~NGJ|<1JD$CNgvhI=;mZGKOiDyMd1GT zQDkOf`X6wj>gAYf5DHEf?ydm(?*VIdR{*zU1Z81O-SY>>0QoQPy<&~+xGWB2U~g}b zq&foP7htpcExt*5i8gY{y;6YOYfp2Rp#y@W&zzC*bCdUJtI?fe`E&oco3nr&&<}kTNIlMOgv)2P7c4>40(B#_ z&f~?~%lB*^?jRbiekErjclYq6t4)U3#zUZUW39zDW{5`0p7?}cc4*|_y*T1y{GP1O3Ra{>cPj7O7;LlNJ2DbqQMoJ>pl z@{F1Sm*s*Pn2MTmf|3+egcDK*2_xA2Sbkbz?to<8e@jokr?@8MTfX5E{{ETY%$o|C z3h}qSoAGIss8@B+h~&;>A~aMrZt}?;K*Wrcj%@AWYY9OPf=54de@_WSvK*RHg>V-W$ng0rYGL5&8@CUVGeD6M20r-j za#TS^Oi*_A*<|G}V$D250&qI2HFenKyJ1xL2KFn(6iRB^FuD{{!VVWf^6Yh!jzG5O z;SR*(dyGjI2+<4o2dOt{?BK*pCIe-@~)(bTVgPx8?cY5q*k%}W` z8l!vw&?^44@xXFo!E}q10-OF&@5Wmg_Os*ys;I@o6TS+(f7a0nXFf$9#90OwX#4I{ zSD&7B_SBy{p)=foLMZF&C|>sTg6)I$!~(Ih^h4Wn@aN%^uMb<1nlAk)s0GZ&U5(6l)|n+FM_B?5F3=8%x~ zG$GH)>$(S=OQ@xSu=Tx#18XWkPt7f~WN@Ha{T-fkCliJYvHc%qf}~GXhgOrML}gC! z`*51%QP~srbKs$bhQBhpnEmuf_%acibLLnv#r^PBH99Yd>6m0sC%f`z9Hou}vVjLP zP-I!#H=}11!nHEnP26PPMhqXJE+F+v!mPepUss-@s=Kxa!qVd~TgY>D2eY+C-N?n` z$vNv;)(iKjKT`UrU{DJj>Il{z@DR-X7_l(7NAVCj zLadwL)oE6(yLbYMi19lPK4tFm>dGDsm?dio^~**%svQ!5(-X5THG>;~j~DP4L5P%# zV7Rdfp@o;-fiI^NA+~hA`9!spN!k%9bYRzU2fVMm{3*P=Bfo}t8`)phEc&2izpK~c zYzcQ744tm$N!;$X2?N}0uY>`z>lFDuRtfM94W~&$-&V^NE6&Z5Gsh=*H`i_kG!oEU z0;EJicl>Pc{9RK*bQ2R$XUbjFwb2h~hNI7WpzHB5*ngszb-{(LQr1kx^jXQN@ca`l zs*&UW7nKQOTY+=o=Nx;3(N1}=l^bvK7gKg9$hf2#hx^lzf-!wi#|dbTJHCF1sHvD# z*uLkZVF#*%VEVAHnUJhoEDo#>m6{3f5 zz*Eu6!WqQQZN>U2PT(ok`WgG{~7s@m+ltj;*wIgf`>MdL@ari8X7G@WY*738B zR2;cq0`kp@LY^4(56bL*FVt5VJqO`tmT86}o(jS)KWf}ot>rZFQQ=1%pi>EifT zqpU`NT1aVO4HYd@aGdR@z&9Mz@^=O3V=JwqzQ*25eV474GAd#><2ZH#?I_vX`B3H6 zv>;+F8~6W#Hq5N8|0p#1gZTv}Ry!N}A+P#FTG|eue&SQMt zNR{Sr)nfH>{4O8ENRvo2fhKYcGrzIc(z`SgfH5JPWJ^}?Gztt`fWJqf&+UhIyq=+rAz#= z(&8*B6TtYw&E9kAuyZe0&9%A9$eL?o=5%=uLuK>#d*ODBpXM5pKzD6R-Gd$se++TI zm|P;7NK=%Al~^W8Qy(;>lkGVOk+}==aA-5SvczhkKW)H%#G*OiwOR-V(4QIVPwxaw z5$&2k& zBSy=KH!aD#x&M40e%TgK@mgF4$)*B4cVZ*Sn-1V4ca$;|e}9}daB%SNwOWc?k_u*% zf%$-x>e<}#eL+z8eS0{I7K6?7)`-`Ut_fjWT20lv^)YC3Zpuidi0woOgX73sg8r0` zb0fUbx<3m#=y{~0Z%8vZ6fG^5@_>&f(M{J7-GAxr?vLHUP*o6*@ zWC0prKEMyaYk^(9(TZz(&9V|Pr3ZJ18qKL$y>@R&&i+fcTHyzuq>E3*j422ea&j#4 zO*@D4py#+^U@puSV+6ryEt@I`W}C@UOdoQ^FA`@eNl>b&G=As8AznLFkQKau01}Sz zz^ECZm1-Fp-+CF4$vMzdFib9=K7vU?v4*3Gv-H~-LIS3k1{mLo~I;LlWc)1Q;RC|mB z-UyO81jjVt2uqvXq|YZ`lxfZ;!CH|Sbc9*jH(vSxCo^!3T2vn_R~S6HkC`aQ402OV zZ+s6|HRhPaLo|EDf?hu4P}hxd<2;vEkOrnJ3V zw5uh0_RD5qnUgCc@+x41oV_ax$M}*-w}1ob_86b?<1z zNSnC}qANh|0R0lMx*FOFf}Vyh*GrRXkeA%}kgo@I7HEg-H$%*|pvV@3*Ni~PI zdk?J)!$5ncgTaDM2`jTh9QE{?FUa}mP-xOjY+%IPQ@nj!3&DZy8BKxU0zrQ%sG@Q@ z3Wj|W(SL&uDu%M)8W@`$X5pR2#X5P--_R(2V@2>?+}Z##><;Gip*xJUcWQU)r@a%f z;93B0Wf$mS(prT-mKdkmt0MCCWzrf85a6q9&C-dDq%@`_RGc#~?WV?>Hfq24(TqE| z2B?-FRdvv9!$azw=Fj4WD={uBeE*=c;UVg1*-wxp8reG1P<~TB2D%;nF1_hr44q42 zemTm<;(-rPSw9|z^YJ()Fp&%Xr#gI+L?{4C`xhFR0duCg9lANeN>bkv+bZRD+!$^w zc$M{t0|KIaaX@$v1$C=-B4%Ali_=D@hjDq@bos2Ts<_ojnw?%{ruG+#2y=_n?SHh8jRTMy4x*7F*&U8!Nn3d3XWgoo?(AH z__sk?>cT6cr5dY5lypM@vLbKl@QL=lewn&xRHWmH)n@Nu6*V27r_`V(Ax6XC_BJ$v zR_0bAT44dX-s+%cgJu%9#?3&!$ROZtV6bk1=QdMdf4h;@BKY!%T2$Mu zwlBlV?9*oG=S`fbwCu_Pnb6`HIv1BNg*d@Yq|`s2UM_`;KfS0=1%16pv7GX9{&{(H zTOjS`u8vl-)=(%%IV-vUUU@hP;lC(pl_-$7CXRljL5% zGcj0?2+O$j&l0jiS!*|KFIsv~iQE>Cn$v&cKG6F>U`8MCQ~;WDs<@9uIf4OU{Ffbc z{44&z+fw~>L$=(7i&BVO_n)JBUR$^W=Y%8Jn7r$)VyD;Qe*K+3pE;mERJG$@a<&IQ z91a#QeFCB`5k7hj675K{c_0`r9+CR9&I|lKrg$+D2jOJn3yYifQZ%Sg#R8ik_( z20JaU+YX!BJk{YqxBrs7V8^YKQ&nyk^RYa*@O`e#x6L%X0bx|O4>)~>Cu}hD?OzO>GD!3`6`6#ZDy83>e!}iQ zaZ3*%+m(q(JJHt%*BatSxMwTPn5n_hrS-4u{HThduiD>6nSMnxQ*Q*kDMz)G_HDeI z6o@{vIow@KfO_Mw*IuR`NFy1#qXb|OWKa}qm{42K9@J)Oq}u_p7o6es?S%Yv^rsgO zaVR!wt-R}ebF6yzersDs^qf*_)(EH6ZMgtfp^bb!sY3W$;kUMFG3M6v|2n2rB}O~2 zLH<}BA^8yJE_x^ZgF8HCpstdF*RW`v3!hQ>B%kkh_otVtdMD|EVnb+1vQf9To>8{^ z)8OT>?M0R9r3nVe4eAN~N||$%32$!|RPBcxkrN?}bqym+gECg{=dS97Ch@9;Te)@DBrXS*Hud?!&G{gl_fU_NY9~lYQzA*xaG7~BkVg?P=)D0R@ z9zeWI^kEI_{lNuSCR$`!3w_n95YESA+hH}xNJ6e_C)#?&x=~0*YcwyVLE&BE+xT^p z^!JBk+Qe_3_@ZatcSq;;($y+XH z1DqVUBv>XJ;1|AhrUub0n<}{2Shb8fi z&fT8}G@=gcYN1^e4vYF}+sZdP6BPCIXCe6=&cLZdV^x%Tfr`n1T<(40Yne39s}AS! zSkn4fR=gQB6c87IWS~Yz&uBn1?;nKK9B^(@6$dy5u-pw$B*7Rc2MLXuP4^$0{s^JA zlH&o=oQpX7*IHG6Gojr@Q|fm-O1VF{qLJSbchKZzCS;c%0_aLMm%BYonyIoMcbYHh zy(&-3bXO@0=JV*pmMXTP7yRx>RI`G5oo$)(%_REQH z?-qmSSnjI)fzaAPBHHaZC=Z}Ac%&Ls*Nr|tw)Lj>~AZQK06+ zA9^ZMJbXLlD|cjpcD?)tSWkuU{U04L>;Gj$&CbpBKLklh@C<}NJsp?-@T7jOoh#(i zBWVNM`uP^$a`v+%$*S}Eh@>-H$#!E!wE#adcGYXl;RXaI9sr?FJ|ET9$+&_rbewgw z1%j<`P3igf8P3+Ax4YxzoVS`1M&@4^T)7ET460O31*;NLoTj_|(?8?u=I`M0^IW_S z0=EoXpnMdhM@t}ZH%SPbswVJC_$*Q^(s<)hhzeesbW&o8t>a~Ld6*Ha#Db3mEs=U? zTx=jZ%zU*nI#*zC9O2{X6P)b#>A1?gGrJPgjo85E@zM5h??ejC{`9C@G5Z0`4@uuR zh}f!MBnWXFE0kU3sWydkKU06zkakOnrDRQYsqgB~fV&d_!;(xQq|U-ZtP*~g(-e9B zB~|$+l7nA>hCB9nBs9S{B7cxb$wZ4Z4xJ>&W{?O5Fol7mD1yMJ1%a?1)({*sdmEFF z&19(t$8WHEx^NfDNIJ>qk>pE)W%n6~q(MDozbb03PuVOtvk}qSLI2@rf+<-FM6F#u z1NinWZ2<6r@l6>Lv-0fuL32HLk9*JT)LmPmKSC*b(oQXbEU_7b7tr_Ms8tJp z?rRw>#Ar2jicBJ{^YasOP??BRXkR?QJ7J~uGuUjnfe|tR$N_q_%d1L$LWweh+s~1n zCk@!ZsabYiF>}2q@N@2YY2u$CU4ApHQ7DiPkWJr|CH&i9QZD=1WB1 zy48z~-?&Mg`kNpm;VsdoK=o$0QX$*6plY1^*!#eBSBy=;9dkN8qN_t2e5UOe9!5ml z(-^RbMYMQ!(NV>$&*tk?$JrLxXigT;LCr&feNki|e=jK^^e`Jg+!D66_6-=SZyi>O zKT0!w6SR-(dzuLZ^fUdh`Eh)7Ui4sBZz-u#nP%T5wHt|n$|U-o@k$akYz05K!(p;`f6 zGq-5Vz(AD>yhjV}!gXF{88WE{`N%{yeJtc1MIw$Rp@+pQ){EOv)*8-{`ku|$&6C;G zu2+23Jde%L&iZu26y?@vv~7UQ-su1UWTYnnfwS1EC%(kcM(rjVHVOEPF zgwTuaJHkC)do|14Pv38jWn|^&TbPNHV+1!<;g=8~IW~t$O*kSrXPhyM*`#&=Mg1bi z%H&vQw3w^~p>hsq?6DahP90IgItozE3HLaGF=GbOFFdTuFTc~>tXe}Eb%xCX$7TBR ztB(XJ*YoVsDnwB(((PsMbaZn4Ls z{}UV5kD*0&R-P#cVZMF8KLa+dRqb4T^>3QE!Ge+{k{F-`9SKe$?|Y0U8%wyaf9C%& z*-tT<{ZV4;Ev#_rjr9o_tSGMZU{%N%P11PF@lO?j|7<03)tOs_!0c zA(SLlJ3ksM&0~T{S$-7pnEh^s?4jh#2WxU!jBWf(M8>p#;?RfyU{HcDUiVa7L+Lp z-S(`~b>1((>+#tUxATqt^H?@zZJPU{_jz?Yx9ydTPS9{RSAP2y9oEs$PK zlnN%Z2XS(Ed3Wk0O9=|7?v$2`Pu0q;KGzuN2pJ}9mG4fzo%r^Q0e2*rYZGWA%+SLK zmD3J_VO6#`1C*A=3Q|^|Jcs_e&r$bJl~+V}@%L%R)+E^~yeXOz2QqvowV}-^qOkBo2M=O7K-F*&7@gpB)|J~tI z^B5{O;(l^U3iYQt1@bs@g@T9wDLMr-FxowIF*%6AmIazHlYj&GB@qv}s6&Z-b!}cILyS0A7+0Ha@6U9%J z9cxfT*Btkmp(yBA;K$zCcJ~O_m*>3KofMRY(Rm8Yrcyfdz@Xu1MpZWJk6)JQtLGSDhEn_dUT?1Bm>ESM6)JIMU)foWup<{YxvQhZZDm(a;4%`w7T2qJGLr$ zzl{*aA|yE#c_b79QE7FVH$D9u{l~60|0Y}+H*3z=mHyf1>-K5+(PEaQ!&$P9462vD zP23WSw?;I$2|NSootk89d?@#Ic~8?jiFU(GGVgRZ3X-5Vyp!lsYk&EcXk%i%Dsyt7 zklUzaB-DZ!YL04*ud$;!KgWqEK%Ms;N%^4@9%R|2E6#-u!h^igt~0=#Yfa8Zm#ZtD z6cbe`L^a!#_O)|T#wXScP3cbnJ;+8=JpUJ!8f9wD9thI9FY2_QI8~$oTQRm1@mZ)Q zg)}+Z*~tU$gnLwb(P?JgyY=TRc++p*5>jat!4Owf@6O50B*gWVgTWKU}E9t(pYZq0olH4YsmX-aErG z|6j6~98mC~=^ITiMcU?d5P=2+Desv}CDtN83e=7*WG$VYKSKmndf45VBAOCPF_=hX zylCxSqtkHz$)#~tE)!fkk$6CA^~ePE+|XNGYj6*vrTx_@T5nMowfMU5=mtm)p)!$1T&yC+>WM!r;1(WZ7n2s*oV z1y|4+fl*aOPSN@;wf>ssm0aRX(+Nm<@!G>rLU~FkSP<&9kb8T3C1I2lZ*Y4x{wqft z3*aYj7q3KlG?vIm+T|}DE$+ATjmZqK<#2xzEu0zw>~O+UXiryyZ0y+Fh#nxpgq*8M zBx@M;i}+}8`MDKzhACXeKof5q!HBK7!?ML6b6=&7LSAYkgfQ7(Z43(j83~gaW^THP zucQBrznXuoH<~A&CkU%4E z@q)P~Cf)h_D@$rAC=U+L9NbVpKWUXlm{cVKM z#&R-B4BNL@ZqpZuKdz0RsGQ4+BhK^e2n1m5uk$-W16^AmTEp++O_ZL*_C$869*Zi#H9W(I1JjBk*mhbX4 z|M(@<>S6XUDq9UiEz*(^H=mz#6-6nvaQKOMTg8w5#c@#dMZovHi?}o$;sZLC8l2W6 z$Cx_#o{J~`IO(~#Q)CDJ69Ugy=Yz(8oAkk}|2!_^S8t&kQ6!am=b!1=^D*Rc{1B@3 z=qIvk2dH1W$nMp9x2hp)&$y;t^nl|?LiEazc_)jya=Z`Dx)1ufx`ekIv^y!UXIZmj z>7|)+K^Esp2#kHKdqR+9Sp#uPx;lSI$yE1&!MbA4lL-UlR7IeK_By*pn_$B7YfNv`!CM= zq!Qup%4;>IL}K|v+w%8N&8Z;?|H9qFvbjeBGbDa8l{_L@?UyA9kr8lMs)jnY%Imhm zV?nUIKi`JB4hyd>1;D~~B#@%~HdK%v2>C|v67)k&sh9n27L-$$>#)oOhen4z5bw(8HOKDT zUhB|xS(GO(s}a}THe!{QQ;#LUU|UxUB$f#pNm}ZLqJn}wbR07TI#M(K9WgT%_2gu**aqkM{m#EbXc3+x9+kfG z0W?qX(@{xkGi8R|e`&$P%4C3q1yv1H$3YY0bQa7hztFl!P!)qvVa^RX7+Hl<3{gw^ zl9(});c-Nxlo@D|e1G;uy06f1c!n_IDau*pCO*h-|sn z?br|QI)no0{yY#q!z>S6OAH0Sh4DNL#;}O04GNf#e37rC4fzP^qf`{%380r4>Zj&l zLg_!GuN`Ll=?H0bbt%Q8pB73(Ur6@V>=-=zmxk6HDw~=4AEo_*#V-(8la(c9RFg~` z`Wn<90!|8<9^Th4bju!?)Q@x4cPCFBVPKd<<>OPqtvX$M&*=hO=2MeIWWLvChgv+Y z_kMuRrJBwJGHNe(@w_g{XHea*H)Q`{#DKG3=(1-#(THArLd~D+_MG=m%i+rbs!2jJ zg05gS^5+Qof^fq~1a8Op^6qX5eyNh!I9VPQv3Buv@(2nNN=Uf;YAPCkg*9cWBEZ%Q zcFpKNb|72#wDScbpdQUZ_LK>QmHk*Ik>0Fm_90^XE02JzP?Nruo~I|TCRNy2?PTt( z9nlWS2iQzzdH{4ub50Ev+{?AX6{-=Tw39N51bv+Izjd7lzwDR9bs1{BMCi5-kTI@f z5c1XW6Mn8e=Ih>DGYj(Drk+Cw-aQDhJ8aa-E?@9tGtU4W!eSbEN2d6L%&Dz4W%Y6E zU9A=uVr`yiF9#BH!)-M-9(?RhuGBl2pX>D+1v96aXA*1&3&J}~=0>UrtQYY0yA9mG zftfQil+%Z=2cn&)Bb=ktjeorEk0Lq*3+8Ar4;q#!gRVfxM%yP5EHj{F)Oi ziTK{Rav6cldX;DSX=YLh`RV^+NX{)JG9=fC?Zi#7(MhGD)+>{qXb7I^&M+4)Z?4=1 zIp0es&wN+#IeL5j8G50BjHy_uy=-#4iv}eYi*WVjIgA4Ae`~!q{Ih0CCZB3&sV0XX zE)*DRW>OcU@6XO6;qPzNJ#ME}*x6-IX>~L!*WZA&W#c>>x?tk34RSBc)MxNBOF~A@ zkd>8rMfJI>LiyG#zEms_Kh&gIHteju@rKQsb|iKsB=90vSk5O;dun3ClpPY(VWiXS zzM<3<1kv9<_@x6D%~AL2bU=?arx#E+s1!@b)rE1sjyjZ-me2N_5tc^tprlwr;H%`^ z*%g8K05|St_8?P`T0Wx5uY6k| zvBTDY7?zl37sAI?j2)&e8$?X;Ls&Ygf|8jBDRQfF@~;R=T%=jdRy?vU;!yQU+#kfA zlvzn$uQXl9Mw5L?iL5fs#kccWFEY-BP-+GatNn;F(I~jdH-pV=`pHXJgsQRF5K`le z+p?H{I0Q(p7A|mBQ&gpjY=@0P(;jPqJjWUOsW$mnz`Cz8F9Kerw6e9V#keYvhdQ2S zNjQ6^$69sL{ZxuGF!d^Cpz$7AO6P~m^vpf<= z+Obkrm#>SqJTi}qX<^)6w}5{$@|a@2vJ=K*3m#ovId}kV3>md8OdmX&Q&ATpLyDCA zXHZjhUN@y(QeodLj6va+%G&OZR7S2M_#NYWb^QldC~q~%!6~){l`~;C z#YHu@bG44(q+s#ih@{Qg)13!fCwv&F6yfq^khR8ZzbWi&WA7gke(A1W$7=!M6IW%( z*%*{O33fb>>xjWaedSlcLoc%JkOL;+{4NDujUldvWpJ^Rh<8ndrZ8jcLw9vqt$R|P zVBMhm5fLb3ooaE!{`Q=CP=mMmltQAmgM)}&{IpWnCPt0Lhk97}FQEsein-o^YpMDq zuoJ$?-_3p99ZOSicPoqE^TfE1v4?f!Qr3lbI-QNx>d%62!XMoX^$es1-}7((YoF{P z~&787&yG;(< z#(Fz;i6k}&lhXOjo%ddk&S&qQ9vgLY=PW*X-BpLM%fcX*?D)uP6veHTk;vG{oCG{# zvPx4MJIlc#DJokVGf=}43scijGBPwL04|T#+C~H}4@f%*zWg76mr1FIBou&^j0_8i zk0S(X3FhjlkpYO=0%;JU62KQMT_A=N)iaDB#FJuvd?w+UU zZNC!6VaKH-qiHJV#=97E5VEVTd^~JVv$wLo>c0pSq*TN3`o_l)4G)YVn0gq?(|$!p zR5w5J+DNwTUZMT-YfMV24(1*Fwtcj~)6u}2{Z7fyUQ0{+y6%WPncIf0#`S|CNq$>qq(>p$g0;t9%ai>vg5~-_-)} zP^v$D&v)Mx+*#n|6_N#f8rb(e6Mi7=K978x!x_#cru4FGTaEsP%nfV>lofaxQ?gQ^F`F8U^R2Lw+MJ>&>K2}a!W zM-31?5Q^Uck&Gdks6U120g%Unr~JVa|8`YA1tTs9aK40Z*s(wVWBG=v@4kq!tKK=e zcYvY0aENSvBmz>7ctlYG`#oa&1mmyt-UYZsCGUHG?nGvO1y0>?%l-IL?$t1U!tzyk zZM}cz`{M9-$T>E+?QWR`_CJGGeFfd5SA7eW06pwE{(a<63y{{YwYmAV61Bu*#T~eG z)8ig?vs#NWw{#YleD+=R%`^9n(wo!-#-q9RwMb?@p?`GC;hUcKU+r;T%2w_fp-3fr{6&`#W4uxW_l} z-|pZc(aSEC^8Rz-X>R84yIGXaUW*4o&GqsACsxJnfuqm&aRbVRFnL5w`;C~JRr1Bo zkI%=OZ`W@+ko8==FGdF=BOOi!9(8$l00Ao&UO?ohAHoja)WN4g&&ap8?w5;rZ|za< z-HinX0NND{cd(j%1NRj7UdUr>pO6F1A<{n0pEjoslb4#_fo;jff$IithkHG55@8gCp+(PPNlU+_7czT- zIwBe3e597|xj4+jO&hE_Zq$Bt642LhZb*$Rj@74Ejp#+!KJr|*mkRtV?t`cr$oKNw zCn*>qHa$1%IUy;^n@mg|8?&`GtUmd`W%T+%!zCRnLAWBwAHcf;e(hX)s^`3BIV>cq zY%R>ttn~6ssQiWwE44hrP#F8Hflag5)cyoMGz?n>lr~1uy zjU;kqd&yX=b&MJ}g}_H!Nnj&jinZZMd)SPhV0Q>~qY=eR?T-MBheTpPouatoraR0BWfi z^4r}-XM6vU1#RX*p6r*?I0j@CW#+gt^EPhy9mu+USd~>6X!T{g$r`!4NK=s0`i5xHQ8ns*J!FWv{WX; zKq>8>Q+Hmf@D)KIbh;dx=>xuOTQl^LtL<(mknr|&3>SaOHFFL&Cbvr*_6VtZVlfc- zTIw=vHv%uNrF?a@;E(pQf0fZ%1f7Er7p$X5noCP8*mQ!g$B5v|83eUEB$gDndpFkB z$aKP_L}09qfysH9Fh@vwG#hrqof-}+lI?+MIdbgd{ZoP$mQO&#woP(!=#e7i_7O`fYM|tkcSvvygaG>ggcD^*oU*vhgJWM#u6Z+o(vAycIqNeJK4wmy9mi&WpHUZ{w`1E*lGK`3EkUg!t=*mgT11 z+GZ+eUPnlW{Y^&$wj&)yti|MVCgAM{f$Z?fO5{P`e>MQjLti-pI7Mi#x zh)XA0fJtvyY=!!&hoTUIsFQMH8vesIm(ZXtBJ~(xjA)I7;)Ye)Qr{q7s$X zc$m`!cpRzIhx(1$YLyURU9qV5SEwyE0X_tZT&EFev@JkSir`C#kYQtG*aq`uXBl+{ zcip`;Uu9Xd=|?Gv<7{R=Q0s6W#k9c6RY=ayf5#Kdlq}j!Zm1kkVhe@g03;jhd~XWl ztu00@DdAOpJJ}uGG(Mt@2p(PH450!jV(S9@&qz3sU)4ib&gcT85E6eKe|ET!^W-WA zyDfh3pLE%+XJ)^ZBQFmNwynWyqNV9SM*J!zi4^k$yFbgi3Fc)ud=3X4#LqF^PqJ4r ze*!nUl!(cnKG5(e?vd6`jSm(vOFDn}VjDR}rU<@F((>7!b|H57jrV}ArVsjob}~TW zrVU~NG1JRlDG_^cY}e5rZ$h$e%SyrO0z4qbSGise*1SZuKtju0 z)G)luYEPr%xSovNVMTvU>mW{XQH$UCe*%i75{pHW$|PwS&E`y*TqhPBY4O@^fUoP| zix@&+3A;r0l}+Rb8X>AZZFc=SBwjF-jZ8!!cCaKIx7l}MoBCE03U~RsS;TC4z5S`1 z@ktkDH*Q5-Kgu^+@ib)N06h57SuV}xR)?@&S9Jfm)!RDBi?pfjeD%-D{IG*9$p6>3>8YOYWqutW-oXL*z{Wa=17BB*K8i3F z>G)A1uqiX$Ug;i*9XU#mRGsxGe_02l&gNk#S*}x&xLpIwOHmgvNp4m=&HPrqg5Xj4 zVw^;99cW5+!*7#M{W2O+DTpGmBkM~yRt_7_z=+PVnpl>?8>`aM@>W&Nt-}K!ze^A(m#?4z)FFGEe!o^&A$e0tqf=U7{Y%F_Bce==$AqYW)ON^MAg-%)u3h~XC(IaRNd&^2{x;f9+`00lbe z5*I3kc=YUOj1ZW)y-)tUr&6T6OhB~nEuvU%(J*0~HlS8d6HpBL9#0L4$x@sV+kVU-x4=BqnIS#v((7_^(4Losi_+qePw=X^3K)iK z2=3^jdfvaaO`P!84JCcO;3SLdb#@W67T^P)J~6}h4M5;DRaCTClEC|Bn{f=y*cgin zV1v!{P{klmkh;LJe^f=Tbju$2T%A8d8IC^%O)~(Q8!9hvpO83Hd#2IFE*9~10t|#! zv~N2vgDD&1RPD4@SK-`8B78s4a3#iAM^)Rz5lG>37yP<$l`_TTO67{~h>jER_Ih&k zs-z0ONmlO(&&jh|A%jps@uBaewNva@9;inzC%z!`2ifDre<54>4&;q<5HdS5Mg<6A zo9FzGLe-m)V}dO@JHQ#vLCyg38i9_w+Nw(}(AM~u0Pgi84i!e3hfk7KNs+g@u-sQW zY7TB4`OW$wnIF;7*y0Byou^TJV%Y`|aJewr`;CKZbSPlGjT%>wC0DiAqCqOw3BkqhiuP-^6FbUuKiHP@-3$bmft2OY&Z7bad?1svq zD9!wQ_+)g9w^IfZn#rMim27O@(SS*+(wVJ$Gy}G=$#BO?Ujs)9TO^h_I_*hQV$spQ z<>P;=)P#(EHTxWCB~v-?5$_rGEx?_)Te~(>D3r1te|aNC{7K{lzOJs0FJk6NeIjIS z*hmP;LV8d(yieW1E13|q3N;PNq#chV2#Nq$+DfIr5AfEc+X zhAoYjOK8TBbDk^{jBGsp6<6%(dmKrGn@&KhVS@LMv>v$N-d*gImXi!Z-c`X>c4<#6 z#xeLAe_{_|3KE#rSRJZ6NHnj{mXHaOMFhu~VuA37Es5^0g|Qcu<>8=6WF+Z%Ax!|P zP?flHG=VI}H(wgp1GA!0DSC(L6$>Uig`}_N2x;LRC(3ZP)Lr)y-=mwsm_jJe@6F?S~uM)JSxmRvsfHnEXmpa00X8H zGEvsb7xCR6J!?kjyeak#%vln_us55w0f}zPCdF^e)JzAlDp88hiKq}9Gu{HhLm zGW+ujcjVYwoYNLfXe`zjj*PA;n6-*lP1F1rFp*-qB4grUoxn&-JA9`TEtoNJIy!2J@3stFmI+ZAJd&X+=y+>w6Py`o3zUlqZqsG-e z>^xzkA41UN#fxBH$^hY5L!u=kZG|s}>j76eiS08+df9CmI%ZKG|_>@J}#!T34OUKeFmFUXjThm#|#*5U4?Km0H12E#xMTo3GdboN^ksH-gaC#rMlg z8b^G)9HqOcSfZNjk1IqvW|th)^?<`2Q*su+(9DH(o!%@?LbZ{vn;O(_l`k$;Ybb?! zih3FL&g1#C_z^x*IE!H;L?%^(e;QM(H6fB8%4Gr_zg_sORsYrGXtk?CtwTz8GjVL{ zd9O^m};G@quz|f=6iobE`wzh$@Yh4w&Y)5S+t`!e|*{)k`l9%P5one{`rF>}<1Z zFW-4ZrU1iSLoe9&#Wqg=0@0Cerf!0;yj8z{gy0)XB6YZ9w4>Gc@$CW4tXGsTrLN&^ zY4RvK+RStZLb;2cdQ=b4X};_n*a9W)Cs!n~u9Qi!MPWgTvSz2R?x?$GKYFS}0PvGP z(fYay`fOcdb~}5A(7t}~e~?a)viTZkv>Y=?N1oiO$H+OQ-P@tnePK!%pxPA~>Pekp zLVgDdkD@Smi%`Z?T0Ij-!a5AhZSO^=CNX_*{fy2*K&&~v8m_#mdEAZk<;3pOty-T` z&j_XhU!4u}x{GRJ-)cTcmqQ@es`zRC>!a9qOjbx#`DK>G`KN3?e-cqsYG7LcGjLpt z1t2osL4s1_V|tMb(LPd31d|HGc7#Siwy7ZUyY5^;gl9aBD-er3x{ zU8vr4+9O6ZuyPY*ngx=`ljU^! z*Y%prU7KYb;6E33f6q$*@5&!HV=s5kaU=T>m5Yq*+Nbd|?!trb;FkD1%OYD^K#7M1r)shuI zo-fP+=d8ZPDin3Xox>l6!y zW(bxLwx>9)>1*T<#0(wH5hUJs4zU_>9d!IiDrOb_A#sREzS}Cby5(6H=HomxGO(*t zwacpDry^x_V!+JZWo??7_B8}GzuJgMrZO#W8H~PqQkV+6HnbpjWwK6j&`D8paLQ-? zjhs!eC=lF}f041`A5Iz?OrYyh4vkJ*;r=f);@OPc-=>;0WlY{WfMOC;K9QoLmok3O z!@tzyi;*^P6u^tcK^k@}!!@k-kVkvXDTy?1bfvmNkqDsgL?FOSL>ZXE2>Dur1LeUY zTDT~~M!5N4#kaA z=5oPC0(S+z72uceCOkvXR{!)SJ!H9W>C|az6U-HEC@w%^m4pW33REqxS**Hn#C)n^ z(d2n?43F=hJhQ&-f+C^lsf3FKc;o~g_>Qwr!(5vaKQx3j-Ikt5Tf9CJqB9Fr z+m!e1RTj?X-sER+ZOTZPv z`NU7SWiAH<42NmGg3nzvXrNR(79@4!s8jak+BpY?DFoFHpW>e6+RYNYEf|x5Jk?S! ze=MwfJIHkPl3#tdk$HcGQYWpWjHtg z^&TLcXastF_@c;+CyQbN#l7YtM7@msR>2Clir+u*sPfdSf>RwL?uXYf-H=%`P+RL7 zeTd@Vx`5`#r&zs&*@x&6zWLo?IqsQ$fBZJI`hnA`-rGjdZ!xH81~ia;Afn55sexH- zz>C*i_z@(??gpKWC~D8fy^rb7)vx%Tge^oBAbk@m+&y$}G6B7#z;y1z#(n#`LM#sT z*E=t3oYyEH8a((%wWttJVvOkB{@|_>EgOALD>*Im+fDmtgIv@ar4Xf` ze28lcPn=O#m?y>jjy?Snc>~^ue_c1$G0@HQc2M0NptgFNQr|PUQ@akL4n#o7~ zgLDT87-y#qq)TQqL-K@OqglS+WnqkF*!C;!w(1%$=uc@nF> ze>MGjVdLX#oeBDwS*JstbC(Q*K+CP7c}sUo;U8({@UVnsmrE4d6KjM?O8av2nkXA$!lj1`IfwX2t#S6T z)4|PLM`lodt9O8f0rIv6;{cIoKL_zz=d;N02!1?U)SaSNmQZwFyqX9}>qh+x@#MW- zyX#awYcjKK4TY-I`Mxj1f3ws}OG7uFwrY5WefQI-H7PVkQXJY|KlJ@bgKN~>WybKN zOoB1BTQQpLX6xKNbtV#Y!JT$G$zEttg(;b88GFfN0j!@wA~;vi8WUv)}cNs1@eG7EtJV93l2bt3Wc z_0t;)6-pk`mU+vLf42EW(P9B1;X&M!u%Z0}>Km2w(=dUvzGFP1sCOi+;`S2)$I6*z zE6DSmb$_37xDNUw4ZA?b zNHAg6Bk9rSj=rslO|%E4?t=bm>44o4O~@>SkA4B4YC3m4e;aI7PM4OR_M7MvWoEtv zH(L)lyc{ZXQWv(F;S+`(tNVv&H}kA|UH83_WyD`1@67Y`6#wk zMX)YHn{C7Qe<_!AT3D}Sq`Q;5{hlgK0C==k4JU%Z?&2>IcMM(WBS-t!b5x~5yN~HbPn!5%ZSUn`**>Ks1qP!5xR=)h~WQ88=J1OIB%H{STie$6PN&U|8bP$=T^;rnRG| zaCN5XFIa~;&zE)9O0%uAj;Y54X0pd4;k-^#bT_IQTtI&s_h%Jg#RorCqE~ACa;c5* z2U^c+f4Q-(+i;ENbMBK@zTSFFkn*#Arx*rxZ0ZUktj)yd?;ni}be>BL%NaJiLm~0} zIo2&7>un)uc?;scF3Whl~{eMQRE5>ln(vFS8*1Ld36f96W%Bcy>+= zism!~h98x6!~V&4IOjLa71zcx5nU;91hOOSe|2xSStxEJ2l9TeZLd0PE8Mh&w`b~y zpe*XpGCB{aFz|O@9}mo9m^8UnDj#k1`6$HV$6+R;zfc7g_vjz)aIc4V_X?bo1-nh@$NRZeTYkSo)uNYu77 ze-MceHX52HmEA~UbSohqOvWQ1>;5QpHzXd}C4%d*vHo?J$s!S#k!2;ph8o1MbR5dT zYc*C^H&{YY8nl={3T452VSC|KOu4GqN$c>8C}J{>7mB%mV$J4>i-NF#n}Xq}wpKGc z-u3R6RQ53jbQaU1&Pr^FMdu)=CAk^Xe^m~VzsGLm{ZY$jbg$BHatoZu6OAM8(!cg) znNRo|nhHu8SS4b-D6%CF?QJ^hy&7rp7|QmE4%zA--n3pTJr@hSb+ZScMn&o*#Co*= z5pmrt;_cq~YF*72&=VLPGs?_3B1JPA+v%Q0MAq&$O%stu_=wS3F@5I=bn#wme{kz) z`aEM0Y=yWy{8ridB9hHT*7sFSK<}xCbf|7@3cos`t1XM!qfd(mQdofW5cxPEg`%jk zt#K*5B?{T)hNVW_mt)LEalwet0uA)*;*c*?3IaXb5hACjU)A z#$W@TR(oy)(72e!2djl>br(~_e;72e6*bCGIFjgZ;Vk!JUCzA6Ey@Jw%06Z^GLc-# zm5M`J=qDC|fL&kUi=MeDMQco%XBW)wAs-nf@3=QTRJ+1>WAxSgrgDbMZ2F>SXg|laHpqh7dz@$^m=wNw^u!IQKfeObKCl^BU$dm?Q?K^X}Ce1gF!HI-43*q;)^t?I#NlZ;0P6vhsh(f zAv+X((~QasWC5myVEw9y9~e}5Bp6z2Ww`Kk(oNk`?~;YKbLfrK$@wfYCa?MR+F;1C z$YK z$e~4=%t)S*RZHVje=%rHJ;=$icE0|F;e+F90^p7JOYp?@p-uzKfydDynj_hW4`<&G zPE1C7aVVM8kGfm5kjfv@d7>sIn3UK)GMy|8@An2Bw7W2AfO>x@n*Yjd&fEwuCdQ=W zGV>jcKYpsWgyh+fbNXgNZnmwlr{Ow6v^TuFJ&(}4ti$o*f7R(CFTmxl2K)3GAFIOR zx*O8@Hmzc?(E;Ztp5>^;!>K2EI!XFHCZV?471_eIffz$R?#SFq;~OlPVG;d?QYJWi zNbhw<)M{TsmIRk!u^u_j<#L0leGc@HOY8+i1?00(12PkeyP1=E${ zZ&MxDNIP;|82oB3W4R{l9#?WQ&QdGvp+d#VscJ~@`CO}!qB7;Q;}v? zFZ`Oqom?n>ZFfR_RO8|`oD8SY-Enn?G19|}U*CuJNrTY%X@PeyVPVZHW?JVydWKx- zl%0=?e-m1|5jyUK2*0@-0xIM&de>$CF>xQBMxRigVKjgXl*&k2sCk8^1?RzqxzG!Q zvP-GK8w^iAFlex>O%U4%rLL_|uW=~)s^Y4Uku!Oe9I{gMPI%RdLI0PQgxpL8J%Wh@ z!jgIbW|3Rs#8getmZjcFOvcyd$SJlH^%EGUf9=mj`~(WFT@Q%oL=@O|=qGt07>r$N zd7s|WXoNb~RkPy|wDXq}A=-Ue`vtmuQnPzDeGd0Ne7YNkA5I!-KP;#rhJ@RAi~31( z=Uu6cuS{meTKtiyI#JKI3qd=ha?j6~O-!yeHrv;6;dnK`Y<*nhibwk}&?gU`v8TiL ze-dxs(T_hWikQoj-#EWNQngto6E5TPd=`aXYTr+!Tw)Qqi91u)4YdOnsk(EMvLN-l zI~2Vod$SvK>;0IPvl_M&^H40P`6Ew4xxsp#^1@IMW*^n#mcpY43s0fV%yp>MLItcI zH!r&p&|A2u@Eb*Il4`#xAN=o5>I(RRfAnq$h767To@(E~tNabZ98L0IjguGFg(y(w zBj&8Q*tyQ6A1VwzD^LrIPxE*ywFa0*5)Hh6ecG^y#$>eHOu;~kl`_7?lRl4D``K#t zh(^yag$;%(p6jg90qVQg3r%12M$I-cCx$|+@=6SYPUU_cD)>lz2`J~Hd3vPue{^QG z;xuW^K)|{&?;>Op-!jZu6f4`dqAF!V3n_bpkf zp{!4fLoXv@6yPcL$*;6yi0x1KU<7=E0U zho}d!jmG>h1muh+u7Jstf0(dw=&t+2@t$&y@eC-T2|()kQ?50}a~gm8tZzK~X1*UT zwIitjvs`?wu-qQwui6g{o|DsFO^U_@KMyiFFsqVKgwN+wEhn~_Cccg;^M{U_n=H15naHY?bK~D0-w-B7zQq)Cb%V8ML7v@8Z1~e}A$6I!n7FK4;<` z5y53zjTgu`>pfN&ByKFCl}@j9KLy35?3<38%#YQyqBf5H#Z8SQ7zRzvo5Lp`N@@2AZY3o@kC(8s2Bl>y+!-@Q0pOrOvEa#&q7orQ*&~r zpBe)7PF6HTh!c)Le{hxI(ywso@HpN(rKzsR=M!3qhh~NhU_*w8q|P!)unOd^O$~Ia zX~w++aJRT6Q_K~sYna#Xl!Nt3M+~X7vWL)cWd&?x!T$zcQ^Ji zcmfR}caIqaBO~l0txx_kpiI~yFTA30 zqOl|sfO)xzf0!AtO-$3#WYvH5sHXGm-m}--`f+0sT4*@m`L$x1K_;GdlWrFO#cOo$ zpq_a$*=}Q=t{OX1s_a|Wc$8+@jf()8X-P5qmtG=;G?`%pVzqFoebVJuH$-4On25U8 z7)1@e_DtVwwMh_SmhhI|sO>8EA{$cc#g}U2WoKp5e|}1sep^^pzd)R5b0kq{A^_In zSQ@C87ix6W`&X7v{Uh$5R;o+SB|NtT@|H(xd3}-%d!pQ0C`lb5JRhx!vXL{ijLT(` z6u;JD_w=<*7RFF9?S_l<$t0$meHTAHnMD(*IA@tlGk_Ub;QuKKi^5Jwuhy;n)s`{j z#94mme}KN~OROd0cl-x1^F5fzwY?u|Z6t`|7`3SR1TG{B)7(`>4SQp1?V7}P*|r~Gc(uOrpZJUfp8C!^{VC!vXJY?f7QX{9q}xS)e;Kk zof|z4uuAo0KvL#fRbQ$7+R_-j z-5m2LCKI0WznWBP@QB*5-p=Z~RvQ4(1Z5~WjSep3i{0+1nd^KupWWE*aw5QDOD-Lm zf28f-S;Khp)SKfbiq}do7CtWeWG}m@1w-70Ll|0=bv?mdo}NHWIXVA z_fyKGrVA)laaN^dlE?Byb%0EO{d{+Nf2nZv5pAN=U&~+&HK)smqtgFzA-?=+!Wqxo zIEQ)AqS5>k&CzB=>xl85mxYb$!gg~Eiye%YM{FgHW6z*PITr=iQ}d+tR2J*}Y2ppx zPBIO@_8}s#>r=#tj*q{0TN{$wwS~%20&xhGdt%L*actDbDgyLx0kD@Jb2G4Te}|Th z7u6QCT&!4Pcy#OunA`RenipC+0DgWVNoKlXUeg3Oezuvl#!i zKG2SjsZ>hT-LXbG?BVAn-GduTrJfHy&VWdyT8>6e8O-duaM;YrMy_n*L`OuG<=CFM z9UX4}32Z#GVr>mK${VWq)2n^6f4VFE_a?jwCK~?8oq}%#&Q#7A2Sz;~RuZApJIi?? zsrMNmrpFPt<-U}HAA57W9XfD!xNwa6fIKR#wHx=WejLW$k^IqRj0R3Rm8d7RH6p#g zL!(jgxu}hyUFXZ}1`YWlB&^XiZulj3mfvXrO3oGd;rgnc2*>v}XE8t9l{2eLi=l#P3V8)Y)n;ZlMXKgdbd0 zmaejst*zp7sQQB}O}0x7f5C1Pq|bi=&+G6xl`G|XGK_f-0iK(=36CZ5h=7l8f{Kb;?kp;-7srAC!DgqZAy#6 z;+r9cyk(B!1b#$Fp+e}ObmI6Nw!hE!UIzpAEw#xZsTuZFzMF*QxDKVJ#)?&r#|)(# zlr+7~Uv3Qf*k~~9h$>IafmLRja2v-0+GoN!qai~>UUX!fvN4`HUkTi|2MnA(a;5>m zw?cn9TvPnuhfBgge;ER=_T-E`dN42(iQv>|XYoZc7e3L=LewQosqFHRF=By{V;x99 zQ5IEA4LTj`Qe)J+?AkqDM)(Pn1RDB*e0cp?SEuWETPhT<$L(#WT#|Aeg(H2T6b=7H zCrw^4^W=MLZpxT^MJf7A8QZUro`mhqOtu?~s&1eUP_*cte~TBVeh)U1@H1j)hH*p< z)O5$Sr+eLSox~YXjEhP+AvF2t!2{IUU zSU5Ka;M{EZe|k}oeiN1v{giF{eFj&Jy!B0~w)YGX;!}^?&&V6JF-ErYELtvC!7Fjt zo=jfKBlsq2@OvMzE|ub&953zHF5J^A?_l=uJdzeLMGzT_U8^i&_y|+Mhll;u@SN{) z&T8XG4a24dvqDu2IhIpS5Af~+r7=5eu3=C0(UwMRe*v=JOX^ez506!iXT&?hnK#QgL_FhNyin;6XPz?87OuPdpd3{lfIK*qm5049R$zS-Yh$SX&rF7OUsQ z5$(I{f7P97wa$b^GMr5g!B=?%oKcbWzZTsnwG)1o04jbz8y{XTh{frcs-d3E3NQr& zXQ9x@@PSIkeeQw69ZQ~!O+60A2HJHr2pu&`iPNgu_g#KAO*j;qN;2osDH**0-7f-KEoJ4taR7M`3D?eQv_k6)RhI3Oih^4p+ERM+P+ z-ebgF*k?YSPnWPXSltXnEOX&5CZW={h8br zeth+9`Nf1lx5kakpLKD}@b+l~1RVBP4@7ohPLA9eM4Op&vz)&K{c} zJ1FIL1dVpSCd^JUsjM+W(CA8)*#dQ75YD@+rkH%=VQ6snezFCYM_hF^7D601D*~&F>vZ^T_*yNjVDL zWGt0mMBH>b^1oAHI$0QL$1gzeJqTq_hY?Dvqw8#)@kQ8JIz>$B;5Z=h^E%YVf7Ycz z+e4%|(|?!>iplQ}X{WaceSm?STSc>xTMvV{oGQq#!Ah#w!F)c;=<+1mERRFO?s_Se z&ai0K9cO(V^xu046E9MRuH?1sJD#HZ+#qn;JVG!`BfOrDBDg6BK5gobNUOeN2YH!P z8TP@B%JjYrI><~Eoc$PfhBw9@e+U_fBobe);56Cch^<3+Zvd#TgdfgiZ3t&f14I9X zM9coI!?Q&S?r5%$BnFX3Qxm<2FvR+c6K#QaRQVUt@^lY9>hH6!G(_t4iX26-ERqlg z@#+QGogTiUXLP_{)r@A*I(&=#_;PB+2*==_)toL*4Ob*SP7$ z(Brr;crhkT%xtYgpVzeZe-LM?de_a4A+(Ig#K}3ciNZmtBuXN$eozB-llo-@u>c)t z7$`l|^U-4VPqtPO1NaUITFfjfAX#9&hwp5@jg)H zHV#w!f;;HqyResfGd9HR&8vvljA@C4p(sI>gYMdVK?>wpU-y~XAYJ!xm}K`*}4l9Nx6_8%~TxXjr0EHML)#lm9DLOJlf{& z$x7^Eqtc9dnP{q;f4JiMi3pol{W6d4&`#6>><3*tq6kiVTk-Y+&abLyGU=>gJ?Wai zxvpwL9)3+ZkfKj+J+Ml`$PmCOC_9YyYS~3t9Qb81%}qS3RNZE3D({`AP#9J2@%F=# zLUUE@6>{Drso0t-ZL|uGE?v=stwRhaduOVAT0T+oSS|rSf4qBtNfxz&jxGk*L$i&h zx44dt;n2wiCyakRjM~Ezs$1xQ1tm$KBtQwims4tEDe6^vjT{6A5Lyr7<~xkg=% z2AX6z)*LKde>n6x%^um_A7{!jU?@ae7+V}pji z8-*Y1|>5EaO#Q6%ke=L_A2^MO|3&Irl&<~xj85${{ zWQt^J#O}CnGFjlhu7~h|NA5UamK+86+DI_gJ-!tNtiEh8dC6T;u`rSv_sWVra z&dGdS*-VVyOGRj>S>-z~zqT(G)1d9=>F=peuj_RzskMZoCEH?>_@<^7!TucmO|QGQ zP;rEYe>1`arkLT;v*7I#i`7z;0QYJq_{~Q{KOgH}@M-Ad2M(95~vZ$~d5$5zC#$Wa|&N-shvmf9QtR&YnFB@^AvLs!-As+G*m~#5L*jr+S#m zf0es}moM%i*dG;r@rO^t^FLpGGCbwLIRHI~eA~Eb@<7XoKKYq>9|R~P6dfLwQD4^( zl|L1Z3|)JfKKd#aOF<*yW}nD`qttoF(Tj3YYGZAuff8Mp15%_sH;JE2e21l~pwF?G zA5gjJ&4VHw(2>jdS+t~cPT$zu(8>-Rf9w;?9vNA7)&}G`HO%OOj_rkhDvj!yH2e1- zW1`XgJzSC3q@iC#&LL-@K+P$g%OqcghJN^VhAJ?7KD+>e+EHh;xNFGu)o`1qwi$1E zz>_S>8u!fGD7YbNDgx~!WJt=o;U8y3zBrR3c74skc;PM%*XJT*^z9kAf6)tcf1gWy zySR9|?A!C5vaUWbcaMp-K5lij`*r-8aH0kNV0pab+Bw#qbz6mh3XD)}e-WNw@n%4n z59OioVLglmZj0dSeC;gVFJ(gv(eg&+=fKiO(5(-ZH7BL0jnjh_cThnePk#dA9hJKe zw|c@DS)yOIRKdeMg^(FzCHqFEe?4VWE9{mzW4H6v0+g7k4IQ{8o>o_Rmt`x|UfY0f8h7C2ZbU3 zmz7K$HJqcb+Rxp~H&Ku<%RL=GMC#n3$y~8#M7|=TQ26RKcx}5;N~0+q(Ip~&S*-1? z_2k~#lg~Lo@Nco5M=x;$FLjY)_4`|PH!Svtr z)shVO`Arp1jE{2$;Hq|KguQIsc9>ht3(ioiq!}s1l*XrdIVOk2amAqrJr{va2spSz zih2?+3vEw$({bxo%bkZL7aGh_ipn45FI06XIz~3hM#*iGhRZAv#;r1=iPLopFS>E$ z4*Fm!7!=(|lDY%Se}?^ny>U@xC86&{_O52j{U}pv()z z!3~4zvyR(^nf zlI4AT#CpW!QlrCw0SOzR&$`siAuHuQh&Ctr`EXTwm7|S^f6mr~N+Nb>kanm12#;!P z=5+14oiDWz*r0(GOlKFnbB!kUD6?a-Tw69~GOnL&Y%DKv;JAwcAimE^ZFDXYD9Kr7 zGn~Lk8%NqQl8wrkq%7}CjMrxR*x_C@0{|1&$Q z7+2J?Vzb4@KCtjpJbaDTw$d04f@*41T>lDjv=*NU?R9qhh;ahfo>noaqoDg3Y zExAL}@HHi?r@3Kq56rYums6Z3z2#|&(Q+pq83kK;X)TT(q9TIs?pELkwLyq#VFY0z z#qDkkk!URKM_W7n(FuSNLX}ATM0_P&+nzx<<6inVf6(TWnqJ)l-u=u*P|Hp&rvS^I z;B2be1DOIa$Imt!uh3}s2$x$yq#XDyfN#?D$${hFya=2_GMaIL)nNrWMGcur8p9P4 zHEgk-IUj9N-6J@~3~1EHC52>`CQ#VKz?Nbh=MrpOO01>braNapa##_oH{=#3=;CT< ze&Hm!e>eXI+de=DL!RuAaD~lkJOoMVf@ny^SnLlR&Un z=!>1eh&kK@Z-DlWaQgB$^7$;jfbsavfS#_@p7poAAOp$zglG~)oOJvOWM1vleAPTT zfA+fBN<;5%hL+*N?Vgsb)d!jjE#BZ8K{)qQ%=AzMb!#$a@|=priah?QFuyXpkAW(4 zrt8Ryc8k%8gs+yYeKRC_wO0KnDE>0O=VMpb{q97_28+A=A6c`TfCIA&dT&&Ny4