From 42a1ce52440d4f683736ef080da2d60ff2a117c4 Mon Sep 17 00:00:00 2001 From: Luca Lombardo Date: Wed, 18 Jan 2023 16:30:15 +0100 Subject: [PATCH] typos and fixes, closing the project --- tex/intro.tex | 5 ++--- tex/main.pdf | Bin 184102 -> 186681 bytes tex/shifted.tex | 30 +++++++++++++++++++++--------- 3 files changed, 23 insertions(+), 12 deletions(-) diff --git a/tex/intro.tex b/tex/intro.tex index b769266..8df1873 100644 --- a/tex/intro.tex +++ b/tex/intro.tex @@ -8,7 +8,7 @@ The PageRank algorithm is a method developed by Google to determine the relevanc \begin{equation}\label{eq:transition} P(i,j) = \begin{cases} - \displaystyle \frac{1}{\sum_{k=1}^n G_{kj}} & \text{if } G_{i,j} = 0 \\ + \displaystyle \frac{1}{\sum_{k=1}^n G_{kj}} & \text{if } G_{i,j} = 1 \\ 0 & \text{otherwise} \end{cases} \end{equation} @@ -21,7 +21,7 @@ The PageRank algorithm is a method developed by Google to determine the relevanc A = \alpha \tilde P + (1 - \alpha)v e^T \end{equation} -\noindent In \ref{eq:google} we have defined a new matrix called $\tilde P = P + vd^T$ where $d \in N^{n \times 1}$ is a binary vector tracing the indices of the damping web pages with no hyperlinks, i.e., $d(i) = 1$ if the \emph{i-th} page has no hyperlink, $v \in \R^{n \times n}$ is a probability vector, $e = [1, 1, ... ,1]^T$ and $0<\alpha<1$, the so-called damping factor that represents the probability in the model that the surfer transfer by clicking a hyperlink rather than other ways. Mathematically, the PageRank model can be formulated as the problem of finding the positive unit eigenvector $x$ (the so-called PageRank vector) such that +\noindent In \ref{eq:google} we have defined a new matrix called $\tilde P = P + vd^T$ where $d \in N^{n \times 1}$ is a binary vector tracing the indices of the damping web pages with no hyperlinks, i.e., $d(i) = 1$ if the \emph{i-th} page has no hyperlink, $v \in \R^{n \times 1}$ is a probability vector, $e = [1, 1, ... ,1]^T$ and $0<\alpha<1$, the so-called damping factor that represents the probability in the model that the surfer transfer by clicking a hyperlink rather than other ways. Mathematically, the PageRank model can be formulated as the problem of finding the positive unit eigenvector $x$ (the so-called PageRank vector) such that \begin{equation}\label{eq:pr} Ax = x, \quad \lVert x \rVert = 1, \quad x > 0 \end{equation} @@ -58,4 +58,3 @@ The Power method is a popular algorithm for solving either the eigenvalue proble The convergence behavior is determined mainly by the ratio between the two largest eigenvalues of A. When $\alpha$ gets closer to $1$, though, the convergence can slow down significantly. \\ \noindent As stated in \cite{SHEN2022126799} The number of iterations required to reduce the initial residual down to a tolerance $\tau$, measured as $\tau = \lVert Ax_k - x_k \rVert = \lVert x_{k+1} - x_k \rVert$ can be estimated as $\frac{\log_{10} \tau}{\log_{10} \alpha}$. The authors provide an example: when $\tau = 10^{-8}$ the Power method requires about 175 steps to converge for $\alpha = 0.9$ but the iteration count rapidly grows to 1833 for $\alpha = 0.99$. Therefore, for values of the damping parameter very close to 1 more robust alternatives to the simple Power algorithm should be used. - diff --git a/tex/main.pdf b/tex/main.pdf index 3ff9bcc7f5ac215d739abd083668afd1058a57a3..d64aa0a894453699f8ed43f41ec583db90f3f866 100644 GIT binary patch delta 53894 zcmZs?Q*~ob-RIo&8Dp)Bb-%`oIiFdU z2jAHQ-yj8x%gVw+!b0L?W(OxA0LQFg>1ge4L&D0z&6#QnK?69^nMm2W zUb{2&h%DQ?|K|W1GQ&ae_wM?Vn@eQOQuo*(=8FpY&KPN@ zi!VYi##aP0(HS&XS7nS2oI<2jtC4n!gsnieap>03#gEba0185<^Z*kBEWIUSYtE|k=9UWe`27{#IHsZo;-wpV_*|?boI?4 zu5laS-HKp7BfJ>e;sUL)tUr#yJt4M?STGsHW- z=PE0>Js7rT=0KxzQbI!1&9WVcsg{pktPiuGG1>No2_)>%e0sy*aQHCg@!PK4@G#*G zRRG+iQ{D@nP*n$y!KkM9L_o9%SSVqBp2g&qn$1}uk~!U3a#YWqJA)+*56J#nQuTtu zM4v5WPH{s{9Ma?Lk!N2AcstRG{yH5(xG0pU>h5 zT=99rQC_j|no6l6WE}#nY3-haC3h$2LI4=r$>pn0Uw@eHUeCqZ=G1;nBK`}O!O&F` zL#1O*{)j>qVhyerbU?{9kG+!ptL0?y=GnOIp@t!fF@v+Ys{7 zQ0vI~h5>q`%uaWN{;xWw8)b?-Lgl!D%#v6cg#O=IY~2Ednn|)!w8BT7GpHCvv@^h1 z!?mz^EAGFEp|L#yV}9Dc;QIly_`&;%C2%Y=1~T=z*t9nA1HmXzL?$yx2CTw= z%(m6Z9BH9gOoG9Xz#o3VU1?l|KRtN_U0#N$Q;88~`I^>H5EAy~UB~AMt%$n}IH74? zlPA$=C0*&M-nwv*nRuUlcoCg+Yl*+lFtcfFGo>Ki-(1Z=Oe8~+1LP-Ec_NR`^ zrH!hiUMS!bYhytNI30h1&>B67_JjvX7oVF~Qef4wpN~fRNN;IddFZ34*Q#Bs@xMl| zp^Cy~`b@cp$PXq41J&wJ|ET%En||ROs3YzfVN*CW$lR#7&c)8zHGu|x8Xp<@J77`f zNcNM*qs*zcz2V(-1(vAb1o8mZmtu<_Pq0$pzKV{qT})k*HAH4pjNw0az3iVdeq~PE zku_J@9%Qgh^pT$l=wje_JIsTN1adv6JTAKtYMk%ZuWJBn0ItRyE~!7E!@`n{>;k_` zGve#Bo%Tiyg#YsRyyv5LL{IklsH~i%tu`_^g5lH0>ChUfPI2WvoQf+*;4s(YRUIym ztvsIA2pfHi>Fsjqd{;`IU)+K|$OhO!777cPH6Q)Rg?PwUU;H zn=+Z;z8YFr9s;Du$I%V@R%6R*;v2TtkF}3(;Q-^*8Dwn2Gl?4RQl=E*wIQlUBjN;yHO?lwW**elz{wIG0K$-^p~s>K9VNEAdf%KV^r5c>Inj+*YE9z`R1Y3 z!k(Of)u@k0y(2I(UiY&ytDLRY|=5ZL4hFL=LSRA0T45lAtb4t%jcIRjhBSIb#n#?Ujsi1b)Q*xe&JFz!Z96`c*+6s7`9pf1s zChQ9$BJX!un3_ZY73m5uh*=!Q%yXFx{2Q@#eLtNoLdQ*oOJ}h=8}Esnfb&-p$gk}; z_ef;x*FI7X2RqMK3CJ!a?U6>~;=?I{vOrU6A6OcFi6Y)SgC|gIuWh?7e1^sk)dVlD zdyAZfJ81jdF_wiP5{Sn}hPr-nHj&7`sCFWxvl>U8mBM9(;|J4<43K_GED<0g4%Vs}XJ#^PmH6|Y#kp8FUVz&#w zqDAgTu-_Ex8t?`~Xsu-w<)VQU6>|d$qV*X%6$%wc^}2m3E^rTBS!P<6IyM7oJ3)3o zcfMSomnS)~K_*ujGMO?-Q4+YNYJq{i5g)=azn(|k!{5>6LI!sD+_)As0uEw32N=}q@LIr?EEFpse+|JN z1^alYyTmq-eh%zmg7fd(77*^5&*#-dG(OG;n(4n_pm-)A3IFhzRvI&yD+zRXZm+rV zn-%UU#s#JU&JTAC9hu)!g2`w4lE+;ElitXA?xtYQF|go7@Kzg%W|-Nu{hUq#CncejC3AB}P2U~Z?Sb-(A0val^=+Ty^QgWg%8_d@V;p7ac)&kSG z*wo3kac}}mmb~53JDUYrO&;lAjH)kqhk{7>LoK+Da)W(l6a0Mn`W=y99}ZPg^}%VX z{+YM_l0g={N0AX>S>l!e`83nCn_DEtk_5>b>S2HwkkR*!0x%Kg%C@pPp@uvpqK25! z0U+G>JL%MFfg^2bfA9O49;xLYNz!9ue^*XQzgr{PkQ2g@jy;dB!fsmN?XTg=Ltm#& zpn-~ERni@Q23gfGayY^T5?}%g0u9Kpv+$7E!8|2$_(~4B(|FYAwm;;{njMCbGP!X0 zV1ek4{M4(bT#NH#PJu4`oig!wxc^+hi5ui4LRMi_lH(igLk0E>)|NUuN3_zMyz10x zuN6|gQoAvjh>OC?y%p&~qYk1OrtGRDN!(zOw>|h%UL8?okv9DWQeiOJ0MhghOEol( z;DOC8kg%UER*>BCb{FbkAYQLKUpw_)73U_*^tO-<^0n?zBSDv>vj;Nws!3VVY`) z{{O@Z{%Yoxa!HpFX#MnkU{jNp=_8KEaL~^z?<+B}XINlFYow8>@pUk+SDn-;%XhIW z$79UtBI)-R@{KmBlr7RM1C~1dV<#IsUpNL$kEhtk7lLe-(-!>-kYi(qv0A;W>(Jd~ zkyYTdCb1y|MP!Qn>CWdYI)YMTw6a({%s|7uv1I*9#FBU>2*p~=# zQ`F(Q%WmI4mN{B~naRNwHCC@xgxzTWbDw$whh`a!4_4k*lkKDps?g65z+H#lF^X*C z7o|}@ClJqM5XTqiNOYW8$uzs9VqbhAZ#7AsEtcMr&_x+7{HrDuEDL0XURl0PIw561 zA0u-B>V4!Y2(X9o02ZZ;AB!QpvFHqHU%5vlP8y3z5biqqUDHtzX*~(LyDVJ^!wG*J z2}geySNDdo*In3n=DAPD5^S52+6cR+;Z^%4@NSP4z3sn@l|aQN#Zw(@mBw#yAU`C6 z#i}Z*^GDAxY!_$Z5|NuX^e{zVu$Mw#GUYw)_zuB`tG8=~FsuK}Jb>aN zGUb;c)FoLpWpDJhS28`hNz$>g_dg|9S2@{0k&CX#TnsKZUF?o8TR?t$&%d_Iuv3vK zG802Pa_}L!Y*i=vJ2ZC8&^F<3ahNziLgt&?Y=09sq3RwgpuJN4=1_FlZ-=o7dMXRA2^Jm!iPNUe_FRjEnswnh?yc#=E zp^P$#7_9E&WQ$~=E%X+1e5KISe@DHPy+hxaDvSPCg4F`X~Lnk{7dnl5CQ)L2Xr>`FPCPQn&Cbad;$Y_ zJ)sw&ony*J1HM>&O6@OJHJ@=o#MB*F)=uG@0$RpNd>hEsvn2aO*PTXxxoVbK?*GiC z0Yrtl=u&zq3QHi1MSXSnl<2!c|9|APSA8=Hg?Dz{^ZuZT(;9 zEDqV0-2!?s6z|avKq;3JfyOo&+W&ZKI5_f!xIOcsW0Bphfe$NtE;Qg?WCgN1lTG zJ%UQZiMYV~x&nJNqe=A9$1-j>Knwcn$6Xw?oGr&EnKCK%$a~RrIqM!gQ4yiycp|rd zzrv5G>cg!Z)Oonh-HCKCH^h!pN*n<*&l2E$o z0|f=ms+%+o(w9>xhKKtl8Ii_P@_%81C^*p<12r}VMxGIZpmo%9*Uz1jVCnyEj-Lon zd2f|@-&3~B#OLkO4Dn%Q0Z=@${E4yC|J03Dh#4jP*5Gvq^p9!$gqzOuch<;nPR~nx z2pAmY^8SE*vieWaI+ZB2>c-49egxYsLg{I;7xT>Tx*;aR3{D>N!Lc+qeB*DsX7-XA z4XzL30(Ne*0|f*fir5JGEA2;bq0f9xvL^+D0ZYd&0|F`Gf;y1j zPpyT(;}`D)$BQ@BZ$YZK?$$}3Y8TU4_|fPZ9yc`1Q?uH=;(8MISLx2AI}AE3er@2I zM0g+-ovdKX%F8~~fs)Z*ugJze@NgRTiM=ujzJuZdbo0+R!oVdS zhhCbeGJTYf#kj+MoOw1kVNSB5y;N`0z;{MA^sgfaV&`idpsr*Wb=XuGR=FreFY-gD zGXr(rQJNxZp4aMARXw@j zB91mE^)2ZiD@)1hW+o})W5Iyj$$8>r^1WRgWg3Wo-K@|g!y^q=M5mBG^4E$EJtT2+ z6GM>yIn%--Ak8e?C{Xru`~V@d(WXAiy(ckor}Q<$b4_Sh>WW1jhqt53@<9)Db3yc4 zMf;%!FDJUZM19b99XrGztPri?=$&tx$jC2m(rF?sD&9=j{&i)cRS9uT&Mnh(FoRS0 zOij?4Q2qSKTM*$o^ZNp%qDoaLw@Z}?u>EpbMjUH=+Kv38Dh~YkjhN-v zl4f9eadp}f!_ls^-LLajZlCjWeekK{lKL)fyI_j}Z!RPYGIPEMw;%f_S^{I!W2xO6 z!7&QH-Bp`n)A661hs9>XOoCc{d0RP(#iw!FZwyI2v(8M0;onK<8MimL-{7>?@U(E2 zjuvk2socznVC-DY+{B0|IGh~+_ae>C&hfux(`$WQr=xMyzZB0Pap7_#}vK z(GUV8G!rW#o9MPq^61?{pzdwGGU1M*n%x9Zz4a>mv8)C0%8Ez8%1T;>;oJyt&Pn3! zYj`w!@2k?4y%Jvcx2LBIC%vJmRUKP6yQ^noUT<#oXj7A8pi8sPq))RBo$Aa-_6wXb z;1%9RPdppram%rA^m7S}2;b&=ymkxf@BB6rkxfmGu}9&@E&TN?JNxxZ}Mp=X9=rq_L*WDM9!FQj%njsB;ug9%K zc*yDJ86=;}PM1V>ygZe9ms)*bt&b!gVA1g2X^yZ1?AkiAz5!KthB!l{+uE!nV10YAn$`UlIg=*Yv$=(!J z_wv1*iw+)Bwd(x^37;#vSKoUb;_EPs^Tyt9>o8<(+dW*7K4&2S=;F4wKNegG$dj$h z4ur(NSGYr~1ZZY-F_0XkH!8HLB zEVfJPW* zGWKRw0kOs_7ac}_&m)aNr$7mdrdJXkVyy#${^+$bSyX&RSkSFOlx~+W6DzJmOiIh| z37pJ*2}lNsvUFWWX&&OW&Hg17z>ZHYZ9*>IbVM>m7c>8s|1bD z9-FuNVDU0@o7Z2GL+no~s@sJvR4HK8cVCym_U3PbKZnrVk}Wu3$zg>{f3d`1=Z|U{ zXHSCAI+!WQDLzgdf=^Haa5>K$rGi4-yXJV|oK;snvCe7_NaKoBCc(%D2BI!dk}U0? zVH~Kq>xUH^hM-DeLlo0P6@P(78-qAfgUDg*#(~0NEvEGHLI&e+3vw1i|0?*_>N|sC z%dM~mZg_rRp_V2v99B$)yGDt>^$^!C)@5gvm%fEDe<>~_ZNB9JDx=jb3PWd{>^fyU2dQlAFyJCxq>81ZBheZX%GTnB{AAFv{P-<W&B;;%2`J0KYjMReEcKj^pK|0>KsLtG`f&PS6Gl-54qs&KSC>E)kR-eX&0; zBu9u6&IRH?Cg2#e0TGW*H2iWbA}csbMGd=>OM*mH zbb9H~eQ342$l2*3$ zgnW3`Z~hbnKp`XlbUAk?Cy0$x;P8qYmyM@mEWm`Reow|&0&1zYlLnfgKpJmR)clfy z#Ynjzra>;Ez_lJ#z_jKRKAbX~@eb~V`h7O(JYXWo3Z0{1`c^N_CV8#zx|)qMEB1?T znZwj~IY=C$@>H1ev+9+4X!z7Iq?WL}GE6{C!~C2TP^LnOQV=an>HH9mo`>YuMl+R3 zD_7_<&2Ks?VvAD_ccwwHYz1>6Mvo2+f|*&| z9`VfpzXoS>`2xP z$IU;^dF7q21V=@T4F=jfc2hz)@h@)J5~qJ>)Pf5tM1Qdf20@9S6sxL-X2m_}jcMLC zJ6a8%FI!|=QgG|zIVYiM72^GdNl) zn3+o)I~^v^jz;fLQrd!&Hs6bAghNA$9vaJ>7?U6OSV++1n?=ja#xzQkW%!{437Y5h zRSe|VALOBtZF5Li;Hr)hu)0bhei9wM+ib5PpB2B=7DtU#CaHqyiR)=pt>K2|75l_y zEk{*bJK)KDz#(eAF{1zrgLM}zEG$6*Mlf7dhh{%BU70j-;G+{&&U_SA!p9vUI~Sye z@WYa)_Bs_>$4U1umc{R2B3AnBxXwfX}RaPtRNet=*n`tJ!e?$11d; zXkyC(w*0d<+f$#@q|izmB?uy-ctGXwlv`->9At5^z*Z<`g4u$mz$2t{EjNB3PwFQ= z!oZm_7Rib$4rrvdKxf3i2aGyx51CtGRjm9fp7+uN7*aTElk$TFD`gSQ_5jVYIc z=y6|;2NzGJU!76N=QX9i6o=YsL{k1mQ`oqHj(6n*hG1g)pK&Ba_p60~_h7ja?yw>E zH5reQz{ds}#Na4cY*hyxi>>AEyYWBMeu1U}OO*}zJGs*4oXSJD#<+?J`#orO2visB zVB2iFw((Ba73YZ86sjp7;wrF&50P_d;|48Q;YAV~q9aJNn2X?;!pa9*8wG^G35@9W z9G+adPdQC2%Tl7>-{WooWm#ivD$rA8pMylRS=s}?JC|_K!Z_K**oc*4iHWWrDA7qy z!<;d@v9i8xjsr)jch~Ry@Mf3e82FEp;E5A~r^ewG;?5VbKSHKjUEc$CKf$dflk^#* z=UGBVn?P>=*VZ&FHN5Kb-#>f?t&dhxYaSM%8Euj92-Batht2)~<D;3iA&eGjl{$xIFG>Ee z2tkIDTO+)`IL_3(ek=%Hxr`ma^Gj5CO`g>teqt1l(cq_0*C9`fP97@}V$reVn*f_p z{(D;FX2K0@Y~KLhOv=XmA9^*l1d<%QD~0t1E+0qSZURq)`XLV%qxSM!8%iNC`Qf2$ zC#t^bxU>k@GukiLghrL*?H;yC?ex?>(6q^*M-qPBmowIy$v-CUDBWF*_RlU&F?Z+k zB;|e)AU~rc3wE_F`!cju{%2@KcwZ+TJ?jE1ypRvTOg{nPRNC1$Op)Cm(ghURhdfbn z!-%4NY#?XBb}F&yWPlw3HtTm8iNP%*zGhpL-+?=*C#@$d(2`kB&2-t@A2}fl7nsx9 zFFVwoH-+?Y_4^CCPZJ$!fn8sJ^TogWAL~YHjH|EZ{ND?6J0rh@D|?ScU()WT z-MC%oGG{h_h?#dk-=Ij*xn_U7QWvq_e%e=FX0`yYW^EC9x7J1Tn!FzpM{VpE4sQZZ z>>q2{fUy2q+M0z!RP-Ybm7-d4lEnv=c5fFw*;A#EV-SKgM9>eXC&Ssi??4mvT1_=o zEe&xxG98A zWH|sdF3!IpM2s{cPc&Ru9k{4s(Nz2;nh>g~Q2MmGgz8iCLo4TqLYoA9q<+pAyOq1W zPbO~i4T|KNEb#+GW98^KRl!!IJyvz2B7;#;;-4!eDO-jt%v zQSf*q3`V~*#Et(Ex4ec1{*Nd5N4gaZ5&r*>Cv4p8T>qOq(U*7Il0xhI(7tOk(PYVl zKJ|Fg8m$DHPH8TfRv!|OprxTaVkW25d_8aNuzS0bEO0se-G~K2!h1abp8xWgi<)z^ z@_%`x7wYdAzi?O+=P+Wn_^u<^3@nUtY4SDygefw^f`-ybXen``@oyxx(` zLv-E}hp~ViD`D)7F9GZgRL3eGrqbETYc!`Ap!4?5On9W{`Qu;ikdHv)S+;7+rL{;B z@L^r6juo21OteJ~f4jBGe!wiK;)_ETuaPUeo&c5_{6T zgV1s)3cQHu=mjzJrH5q~i!YLbN3-qV@(ya?`eOh|)+tDK--a+%;}~ApF`Lp|S$ecz zoHg@#zUovkF~@WwonzC!W(_d8To}!59cj78mOzWSMs#bX*yLPyexOOX-qmi0fr1B( zz4eS3#We>Ih?{*CHWT^C$Lga@Np5dbI6Itawwq&9i%ysE`@ub)+z*?OWRXiubC9PK z(gq+9YZnaeoAcWrcg->ASEicoU<=*91}hrQDasCf^8#>MQEiusYW+LCXVX0T$|m1t zW9@9a*u0t%Va|W8J6QRX3_MN3x0UyfOg>tpuOjIbT;1Y5sRx4*zMa`;Ox422$Zols z@J~@s&dP}jZTh>+D)!5|noI@vTpUFEFFJthv+(i2p!6Zj#P;VyE*Y*R=HWTIk{@Wj6EFlv1Q#8r<_`7&+i)}dr;X4{C4OUop_o5SaH|A0wN7}&mn z_H~{T1_(#vR-N2cRD>2{dYDZ-{(Xz9!Kb=26u&$b_?)5z2h1B;KT0}F-IRm$!Y{zJ zL9owRjCCT5f(N!9cL$f=0aBz*x>7%^j2Nv|3F79mdN50A4wzBHp5j2ZD{KJvzaDv< z>|F7l3tsb}rezr`9*ohb} zA$h1VF18Oy)z(qkaeL&X2?x&_>{kE>`DaUt54T+JJ3}(+I?p;vW}bFGa>Dyi~m?il|kVSEwKbrbDLo7cyX&f|M!) zGI723#z!)v8N)>j2isT#m3e;=$(dIJVqh_HoS>A&RTlJp2>flY326_z;4dtv( zWJ2+cFcf(^JJ}C-geUxswSG$-2d&CpSqS>6`S(p?E*a_L0VE8AnP9=DcJmfL2NZ=A z=8krR2FkwF<5n6*F$A2w!V92(r?Qv@d^Q+IfE^;E(3!#;-kSMmdjsdHG-O3->k?4K zsc}yvRvjJ%RroDVXy)7te{bCK?amW0fw=LWb648uK*XY9Z6q@n2ae-cW*@g+k(jcL zMKg+#%grv*KB?F<+z|+fyWA*}QpLhVHb8#159VrG4~O|9D-}v8)e1mwjPeg2R|Nj| zrByJZwi6KERGgfKy1N~6Fk4ecs~?yUe7*SysujHroQ7LPSXa*i16J|fp4-O(P!urw zfXt}^G@H8(5Tdm8dOTl=K^O5Woj;B8gZFl1!w3#*_qrsriT9fG^T`zsX>`tYm2mrgfze(q$(C6S1NDs@n21g?1fV<6YzRyuRM|uygp=bCA>F(T5PD!4T4j~P>(R>qRe!$L7=rYp*T zbFQ<49J|AXitoOXWzPnwkDHK+#3$M9Et00UI|XQuuo&_d>F-@}!evPlJ@HDx z{fx>8!jK^&R3J)Qo;rUA$D4u(=v!~MQ^9BAL5gwFfZOG#hI8O)b51^yx!k`q77whF z80>(2AprTF$|?X6Jt29intF(g+S4Ws=ywZ${&h7d`@M6pECQ$QAd*b*FHU9T<@!a# zP9=Q**YAHq!c?&aXlVbK@^LXbhfq>Sd%;pJW^eoQLCgyINa&IoWPDezN$0y7;mrNd ztXgmX^aQlo!6%DCwjVea6-ce%C3xg;X?gAv7z45^nn9JB!ajekZcM|Uk=1Zm=f%

odgNPxqWyHISCHB`|kBL(;)u8D}*Gg*;n2ulNLd^3JrV zRY74qjf|%O7m0)6KKF0w1PsqL3P3l*CxB(4lh7B%!FX28)~z61F2Iw*MQ7ogSo}cE zPvQ^XrrV2ce{y~Mz{l(^fbW$?!nNH=0s4pO_w4pB8M>i9YzV%MlV5UjNm|2U*V+_j z&z=kRKiv(24ECPlCxb?vwuE`@)X1t8J4q2AG~|?h?a{1!QolREz!?Sw^G9yd^?mqUNjXgv<64 zp#t&t>xGDMcCTTFw;4x$a!ll^H~{A;8NY`2b}g;oV(POxkmAL;1}U2D)cXRWRx`yG)9_qCi)cloc4KS8&SHs;8;G_FV;Rx`(l4+vaKPy30mH58 zcjSwDCoJ262Jks+)-T8gmB|Bm`25cbJNBLDfJUMf5!c=Ct zcyO;xH4X7Q*eYTcr-&0|kDb|^tOS}(*s%8>@t4tVL8^l$KN9!<2UW9i@$&w!(e_$j z-$|brDe$#^{^-fnGI|-42CgO72x@&6OOe>KeJ1o*e%ly@=bB5`4xpdd1BkwtyI!7| znGmd_9aAI|Q=&vsA161dueQ3Mn3Ga;R$#AYL4a00PF+7gnl7WNLEx`tpH>_urN*SY zW?C-5za08N%Xd-(H%sC*zHre42iWxnA@{<`(TqYJC=p{D*Od(Q@mE<$xp=D}lLo=X z%oTOid>Rpn*oH^LEM~=t%Lx{!&LG2+9gXuLtERXb#F%*7j#j0Nb%BL%!_C#A#D-R z)y24c^T|YYZQ*i_XemjumoAC2f>})$r3Dc@ux>6O!%geOhN!^36I*qfpc19T8#3Bg zA!qJQv+OxXkViZ`*TITn0HlhG&NIE?NHpH&k4Ok4KGkX-xZ4ar2j5!|M^g(Rof{)ioHJu%GVoL-psA6nfCiW9>T^PP3=0D z?BX(JV^;=i%tHDL;2Nx4!wXIp+`d0o2ookqTW0x`P7iOP&K?B01rS`5j8u5(R5q!# zai16`3;UKN3{lFn1Elw}68FO3N2!mllJ8Jfk%tjlc+$m?&i%PA6QO^{HOuiZ^t<71 z1iU!t#Y0{0{M{YZES1yaBNDuHH&!0|YPN&R*;x}7);=TT_>w)NvL4d@L(dW(2Fl2HX@8;*V`h@nTg9EOG%w zJhVCWMLm8^iQwHcAD(o^Y|F8irCz0)eeTDYaw8V zt2-(~06z2W8-FHU-!PP5cW=+u$!(lgyV6Ddj8V72YPDfoy-2{X^>#L!rM!(^%^j`6 zy(pkts57=@sAb&~-dpUJN~36s@}Ks%n2-0Cp5^bX5o*OL&EfM{{JQO-bfrYC(zV(w zq`P0yme~@ob{h)26=UsVf&PZ+H|~#z{Xk?|K*IjPN>g537OgL0ga>}l;VKoqqeHy; zt(pkI3l!>sGaajTbep`!dce+yh6f5wB1(>8Jp}{CxYDbl2WMa2Q#F03vxc6LW~k}y z#G5{002DoU)j2_c<(nKF>;f{bnZ<*0l zvdC*N&Xc6}>I+|k6*^ib8)j^^-UZhMHH>f?Aa(fWA4J`m6GsMHb4>QtDbI2nfWgNn zi>`I&MU?NjD?j%yWfx-MZ7&o=(={9@auU1{T+<_u1Y2QR#+WfND%#+52=RQF4`@7i z&O(Jv)m^!%vO6=W`4IlEv;OZ|i8s0-u}Q?Oh3C=Hcdh}FpncJGk#S zM24%=c=fNduC>0YsXHc;FiFjm2Tl#iRl3>8njLAG*zB>Bl4b*w#)eXW)^|YcwkbNQ z4#tbxP_4d}gaIE!qO+>BH({*F%%TumLR0P3ftegz{YexK1vyK&ZmQq0sJ?jQNX+_! ztKW|&mj$kCH>z$3IS=tW+g0s?D{mmTa}d$65D$)gCv-pl`ru#^(E$dgQ^T5Et|0U`SOfX*dhh!m9$a<@s>3pF>`# zIY!|BJ<|?ENp|tbxC>>EZt;oh5innEzXWt#IIrW&hE*lUj=6gmO#CcK*+&oUB`f&%YB9)Fpb^>&>b1l$c)H$B)Ut1kAU;7W_beCPcm<3S9_1P9H?W_ zBm(k{$1h@Y!6HTHh^7@NxGP$WSr!cHzs`vXq0V9PJj`lgUWvFbEWbii;Y#B=n74~> z8&vcnG8@r+ntDhV9|&Mnq4|ZDeH!{}A9cc7&}7Hq1(@xQUOUn2x9P2KGzTJL3D1Rxkk~Lt^3Qj*7xajrap|p+ee30G9o$$diSW3;J z$iI+`?`g2FiU`Esbbv%Kt_^?DIvh8y9dvVly8)O5MDOlkkm}?(2%zQgMNus*Q@3O$ zrV@|tF_ttPi0tf>n5)d9lBb3j&ppOmlG&8FzlE+@5E9I+ggmD!+;kEz0{YeceLjxCvfHpU^AOetNdC$4LBRo- z0{|E}j!TG#p9yZ(^z#~LbELt6WfJy^Ym#B%n-?#@{#hWh>(Bn$w*0>MPHa9Q<0sGt z)#{n0UOk)GNFWTYM&N+@8l}od?2bc8Yg6s&ZWs zmSeTWhRLNxX5R5`ELJrL9F>`=ZZ+KRgh)0j>i7|na>11TJvZ%%NhqFr_~L8|ANm1c zHJLB_zhWZX?Eg32!pg(?f96-c|D;(il>d=tWoE-@c1e8Y`E9LT<%x;^($FZMk3QM?7{SanRaM)rKsAO zp|GnZM~CP%ZVj=Wjr|8_w_4Tde-b&hqfAg$B`S~HL~%W(NOh2D)nf)^r;8~A(Ao0D z(wbL2nL~0Yyt8a%g`fpNSSu4UDp;du`BLDkG%^zRTh3D10C(AR{a3AOGG>$rw2+xG zQnaEevfQBl8WRm6VIh*HCDeJPrAed4U%c0|= zHGk+e=TY!@tQa+Mk0IL7+@Z)Lx-D%&*R-Ro0JPrx9czVg9bDl->svmiUQ|dh8r;REcE$Obq_pKw|B*;isZQjydRB1= zG`Y=KczVHyzU+cUgNaPNX6avui%~>&UspWN9~?-rgFJa>-?m&iU7Kwi8#k7NVS~Jr zZ!GoU_Y)wuvxLkz>7xBq4S>guPQwH@Ke-CWqtSLG01d5dJq5LB9j;nT{KF@zQQxF3 zluOAwj-Wp1z$sCRC3yd^b&g{@kPnFZqWmZy2 zxi?VI*Qz&sU*razNkyyZb+cFx zFkESH$=AO{Ax$nZGVRaMUS`)B-ZD9Y-3IRDTF&R_XUUNq!SHZ6ZRPeN3En-ypeQkRPdKu37II|(goRwWs|LW@F zKV}C**CU%&G_6k>K(E~-@9HVHL9w2G&K`4oxF2LqMX>Yc`#E0E#aJp%H5nO1FMb ziT8Pu<5O2&^5Q2>?krc0cc%(|)b_a&YqjzM`#nNqJ+6^9`B}x2V~699O#Uqe6uZjj z1>0PM+o7+X>3RpDu9lM)`smC`cJ}B7XqYe;9d&*9 z>LK3UE309^%n1EqdNvl{uEBWq+_zmfCAq8Hu*(Chl)^Pm1nX|hgdQ~nUAj-(Cl+lV2U+6ipa5il!RVHGfDzK+s0{w>D29PgU(AvUBUA!BmME99?)`+xD z{Ck{_0%KThT(J7Lc`PRZT8e%%W%24up}%f0Eq}w?TR(QWsBRv^ZBm6UO7;*sZ(MZg zW~mOUXfSV|6mL1A?(CEVEHp4&tB*MKtr2vh@7`B&FS4NB6fzg)q0i2Bd36lfFeIqGxK{a9`rV!_H!k# zCy5p3QWr^(A+DIq1y>%`u+pNunIx0bd|p z7r;O%>)Se;|7_>%>b0K+-!TYNF7@W@Zr!rz99#P6bbHU{ynvk8(M3AJp9T~EK3#^5 zo*sTIcrN3k$A=w2{oC!=7IG}5wR>ME_9*IiN9Ky}{rhRYNXQ%xrG`y3#ku_irE2E$ z)t)!Q0dvEe zuO+*|mCtVD_4{T2hbW9~nP-&rnw!s`M1;KnBzL->pSDdv?PS1PSHD^>s3{3^@L{1I z3?D%6+~+<>|8H-I^Z!HEJI4n8gx|uoZDVWOwr$(C`{@>2+t${$-ENJoZF_6?et-Ao zChwd3*E|_yl9^2M;G8q52!2~WYwFZ|L&r)-s7L13UDR>g18#=IpV8|w&_08EW~k&7 z+!BepwzyF#E(*=N!ZV3J&vdlpq`r&JR+yxGllHz3>Th7M=yxJ2!5?FI_cft!H?;6<`Nv>PCW2+Q|C&^p2;^l=k5cmL5V zGW;F}(#=!Bm^m*Fiv`a$O3?>~RFO-(3H8ve>kw@aYld46c~&(14}0E~dzDD8;0$`@ z^?J_vSKp0mxR^L>nHyM$B$)Bg8GtTZ5PfR%%lT^a0M97Z1P%;w zO)!-&?%1!d5q)TjO7?XSewsmNH)|AQJx6%iI)k;kli@yfgD!^Trd_2jJ8$Clh%jz% zNZE+{ct96>iwQa$Jc}x>fWZZ7c^6@U6!MtcwLC^L$u|&PIi9#C+HBk2hEJOsi{>s) z_-su;5tw+k`>uzTJhe8Ucg#IX4=_f7Qx~k&y&+HMMjNOK{+5BAZ zJ=tjJ2bk+~1KQt|uy^>_U&2WAoiT@9VmG9jMJ*(c1ZQ1<%Bq;G^z=duq+qTcw|=I*h|p( zF%&I}X*dI9UN4@cC+}}AjS=POZY0k;am9{)D7iMPdDku+n|Y+TI2KNtzJ5u{KncEY z-|tgU9FuG&38s>s3`3;=7J)z3!)eMjvHoc46p19U_Q&=2By-6k^)hx6tUR%HU-Y#` zB^4?ZKa>@d;>-o(8Nyz^{JD(lKVBofmTPq^5oudvc@J*<)~j8Y=~!$wq^2Y14rWD#bn=X zB+;wM0hj>-bnR23L97j%FOXhf!D_jtr7V+4Q>G}V3a+ZMk)vqd_hR!r98(ed7tOyS zEnUlZRZwNcV&W*Mw{twsSninJluQRvY)wC?AjY~@S0b6VTPT{F*pE$K07``<)S<>g zc$_;V9Va#mgIvs5PH`|G(f-h<>JaWX&ophg4aidE>opAxgEzZqe$)kogU*R!9kyKI zJPV|!#GZXzxte`adJ%~5FKv@+^&3HzlLoX&GYq=Q{LNG|?Z~3x?`TX#-Y6qg<)6)R zVAtN4x?)d3BRbmjdMd?5S`7-3-((XIcl zV!|&{bhz59KStfkKWMZ`#2qco+=n698|n!`=h_6&@xobmlPp-5GhSuz{A3ocA(Q^5 za$ot=rqg$z9pl^5My*Bi3&VfxAU z7>iKN1KlQuPU~TZ$~+YhN_jCwHF={!Abi+07!zHn@8iw6l^yU==u9q8KEL)E!{<1| ziz@o9-(K%s)GlZ30MG{|Xc-JM8jc)EUW!YSYYO}9uvrOqIER5OJU6(c%WQ-g7)fXDnGVOO0YfaJL^psTjcKfHt zZ5}RZs{aM-6z3N1NV;Q}@sd)ks5!Jj#p$rGj%tZH{5I8^cdfj!)f9qmcV#J7-3cO#7&3 zhYl%QufN2VGQE~RG}PXxeL0Z5V5cgoe5g5r^_1E{N((KdVB~;Q!gPr?<@eE6axipF zAA?^VUJ5$Lz`!@sNRB#bHk}-X1~&X!0VzXMvZ&|o8YW#s(P0&8Z7YU1O+2K1qABV! zqEnyWvXhv>WUgyFBuKePLiGmTirGrRoVr9qCHjBc7aZ8xJTD1i_@O}1X{|z6ked~O ze6k5X>Tc!052fLhzFUOI6doRowKSrg`;;JXHl#EF=IUlN87c?gEq(LY?FhM>i{1{D z2K?bV`S_T%U2q1}%K}753MRJ$@gKplFcJpX?;6j4*qK*5&`h)x-Z@=|z`_d|CA!rY zz4Kbd1{m!uBkQfUEn9CEPUlsh;y%z-2^l4H5e07Y7eOq8Q2wS7w(x09@A!bHOrhwz zuFik}X|SeS=?<_f9LB2%a|M0@Vq`12P)Hc^a(cC{-zf3R%MyaPC+|N?ujuT(?E+2As6CHO@>R0gEyc$~&KR5f z8|=SoHd_P&O4DhF+_qX-1&GAZv7K{KBdK^#oWZ3b6$Z^CA%&yU@2@tU&e)2sYXc3O za#akhFqs=2{4ki{7)D1Vr?7 ze^RH=l^df9RI8yq4Q&RC9)AO}J65b}xuALsZ&*iuthJCj0{qb z%%i)))i?$$7zxNexOGFPQREU+{(mI0_s6on&&}0T42=cvw$5HXAH5~Ijm6ZOqjTS` zH>E{lt0H8CVM z?)k!wP^Ff&)+?rN0OL%p!cTMi1Zn<+!N2HS9eN3>ZsU#&!6#M6evzh-w)!h=Zmw_? z0~t6RK4NufqoQ*}rqk6W#9u3C^gzYGLUeS#@4}E>#5af#|HrZaC{b(UC(z}@y#^qf z0WfUgd|v{4q`X8$yY*`A~M1=!UAf13P{G6SRz!>=#{{giFOtHN8bM&yJx4@fmF z%;>HzG-y05ifXQle0CvZGlS#i{(19X<~g5XFi7!MW_dsabIy6xud&E*-4P@&j=X>{ zjwIXr1WKuc&oql1zC@{!y|rzGUja&Fwh9DEq$w0dp2UmqVDBYN*3WTqZv;3=%WcyB z_FP-Kkwrh?rO)UpNVLxEhdUwHc&FTj&r>c3N(Zo#M&8IG~ssaI%HWvMg z3Yt|Vr1BP@qIAr^rYG!a_ZFr*rq62SOJehAm>M<1aMIr1Yu+>gp%o*R%y@OY3jHGu zv{yStFZglBj<@rqze^pU+rLune~gE7@CbF(Twwm`FsU>_<9M#iA>R_FlnKvTSY#YY znv%-?>#H#nY9Q#Fl;#y$lLBP!P-iE%MUcXJ8F07n-kQCR{__CHj5;Sc&ZrN!2ivice{bnwk0M6;T&?bV9#eMGXeN$ zC)HM*zlpUU%JY&0fl=OzB}fHDxSIV6|F=+a68hoSC4Wb0e#`cTDg@~Aip$k|iWtQQ zJ`gWxDRJvIw%8rf27OZ~qyB+Pkm0U!AN-vrG#Zx(m2i^UeB}&|1*(OB#3X=|CrxEs z(WE?T91Amy(*Z#yEb`@@GYt7Mzk3eh_RPOP)PYgo4=a43m(t`EvXeLRF=30GIno;u1|7cpuR*e+q4k^1jq+CZ9CV4 zMTKqL~n?`hIsVx?d))zgB^S^Oa$cEazHP!J6t=le&M(?3%Qn1 zl3mjHMpykkJZ?9Hg<+ZMWhPhN3Kjhm3Kp{XcQ>cRvnHt`n?QPsiP$qfPYM2ys&ZrM z>Qk)C(HwVK7+)fnYg8b+(b7vgau4608vF4Xk>f1zBe zP7x7FSw_P#tpV>6dl5UA;iR;yjRA=?JN&)1FI%Nq*`GMSQhzlpH;n!HkLI$Q20O)}jEKcR<$*wdLu2SKCWZWWTd`0KgF4&P z48UiDw9PrEW%0eI79 z`DLqTUH$B(coTvFheUW~TH6C$UI$$2@$@)a~6i<45 zck4LJyFh=(1A?b~C8n%=O`57*kc4`8GDt#6450s8^Rftur6%ur@Wphis^1JW)(rkK7%C8Ce0Ve+SPqk;QfGwg6M%=u*edH2)6wcDH6$MC*JmrQ4-@Ca3g!wVd1k84`onGy8S&5-hA|uNBeXeH5?H znW2ArKI6QEdF1ij#sxHdH>tLpU8rYXuVE^6F zRG`L3uNz_y;Rii++10TvDro>d!8H-p zZ5wO1t)gJw!mE_?63ni4;X0EYIu3jHawyASP7jVYSMaaCtMw-we(xn+Vnqzc4M4$T zm-U>izm?HPInGmFt11}ab1M3td_+lmZ#Fo6NZ?nS{uFqv!GKa;o%%=)aClP2%kbLivEpDbcJyz>c^QU% zGyeDq1vSpd&U{KKs>x&FoioYbzDoyJGo2qE@mxxnG2|eBy{=yAIoZG3ws@YqUU4u4 zjdmV3FO*M5L0Tr7iSS}aXBABP8GL&GSSAGG@pvTs|8r52w?m<^S^r=E)~Z3TP|0F}5DxO=iwjI{w$6QWXCvy974UiaAWygS<% z&(S4$C(#tS#Jd9whL>1!l9xG5g8Cm2pY@(Xs#eRpm-@s`*eTOa_jdN3I)1(rFr4+n zs`mX7e_|`~y5C->C)=c-FOMX=GAEMcS=J3G+e)o6e-E{8Ti7M*ID8;%)0gKu0f8Z~ z#4a_jJze1&H(Sk>y`2|Wyv5=(+J7=`P6Q6f=`&V2kCH4%m_I6{0T~umEBV_fhS_9+ ze^YPmro3xu#PdLVax6 z^Kf_N#Mo_@b3_x!d+zd=tsQv@;~9}TB(9%^uG*+F8pN^1oSx7Kch77 z(fmnEpeQ?R8Y}C$vQ}&lsSM-V@1*9)CEGQ~aor7mv)>|b{Nly`A07c{7D)ft0_iUPr=~onK|_dZ)O1kExUJal)0Y;?Z@1)0y;(m#fr4iSPvWYirNV!d zgcs;wFDru{K-6z=2CN}PFb6cn=DQQloca(RMdCVq_Gm-2ANMkO^I>E3O%TFfVjO}u z9dbXtv=IwXgwIfr*HFBnlhN)VdZZ?6c^4)$?uhE|kPK~^2;ME5ep%b5i$2xLI#!vCdmMd43~iP%KJ%H45^8VxgG<@c zA&ga$L=}-&4_j7BHucu2^@ep)OYITWpF>GjCu2cZuC_9r7X~S^cjSydAoWQO!<6XO zLY3Zg01?5|D~;7(T4RPc0yCObevh@PvTg-=H=P|7gI zBnt0*)lM9GAc&%;i+;k=%s!S1P95QN)%&-&fN@WZD<1|6z4nQ5N7-5Q;`p$2+jhD- z{FjmX70=c#+Q~wXjl|C`8Ht~@jcUw?nhLuzoKrLVLNg)@SNYD zf$h6Zv#6mOrQf%{={NTVU!$VaTu7c3J}$ZD6(W-dsI2e=G8Jgelr!qqsmo8YEM8d z<(lZkX=@#|vKJW0D!YZZ7bJ&(-u zU7bIft@D-H{z{su<%|oDU^ybVRTft5DxPVn$CkS?muRyV)fO*!rLHB{oEkNFn)8j(-(f40QCCW?Hl_n{%)t7%uL#6YPYA2n z=VmBTUSrnfE99^D;tB9lUldL~T44H#)erU6$BHsa!n)}E3SdGwXtf?G9j@<8fn=Wc7;JWyZ zRn}zeQCJwc#Kdji94?C&?_p5Xxk(Uyx?h^7v$_+@59;%1_x={$6!aw5Q zrEGl)4jGLqS13heb74dD0oy^TSx!Dp5AISY)eG2L7Nsa0O$laPh?CWzaGCdIJmpO|nzPmJd5K(wnHl^{VGQ879u1z#B0%{#)i$jt|N>0`xgD2rK3hK8Lez ziFvSb3C-t(*MiyOL46m4k;`l;L9Fy}c3JeKJdDIU;wy;Sy%uQ#c0*u}6`YHiH%bOz zc-r|O1Le$91X{}%>(ao2u`4Fb3t>6bnv6cEE&85#I%Y%tq!17f+&2_!q?(}-S|Y!$ z$k1%VYf#q?fBf_QPiN+%Vsg){0o}Lk4>{K&nN@fP2`>5+HBS6lVD|7Sy4#(}-^;>B z$HXtFqXvzaJ>vqNVJy5+FwP=MDT?3vGWe%N$u(WvpVBF276f;%e~BaC;zifSr3wi? z8mngAoEC*(a=E0x&Vhm#97pC4Zf6ycuEl|^ z`Fti;wL63h%oS>glb)1DJks~mF#MGo&F6YdudrBcA8j)^_^MoWwBvEoyrwn@geilH zzF2^=sDW5^xjeJ6llLH9PXmm7&A1jfb|N^1g5PqivkCN+>oQxgwxY&;U99l z?%wlm?j_8|u@&_O)7#`Emk5Zf{ipwI898$L0UF0#?NbEEKaF@$e?*rf$Qlq4h6mlc zz4t-xhGc;|=iUf9a&`R|B<0XEJ@wL!HYvi-vVAi_BzRuQ7=3;~<#i8JISK69c0F|B zF5^Jn0m*=QJvh8o)*cV55p%1Wo78pm1O{>EWR znbSIJ-+}J0I7L3I+gd}WO#@Q=s6oDj{?>^el7FDTrH|uEva{>cinfICC;wbL(n6qpffXn%n-@*(?MLyPcc*EhTMFO7|fvZWp*I zD>p;x>jM6|<&w3dxAoFaK_ZQiGcrhlx<3omIDF``vhF`(548PS!V;jz!DD+VJ82V& z0DfcevWO^-YxLTXE~PxB)=Z-9#v5+Yh@T3X0#Ss_82NSg%*VYj=pC+c^O5c$f)^ca z<-3gW8?vuIa+O7{oJqf+HQTn{SZt>S)uqsW_<$llp1bPVxCU9&dN4?wJ``7tYL=ck zn4K8$a0OH!tNR}7U46Al|9)bS(j-9k2DaIA2&JGK3_a3+)#cvV6QXvCZRc=0HJDx) zsTXFcq4r+6I(d!e0)0Z)j4C7lI&WFPYjuW5>gHD63@?YQea`qE{B?Nh8g#6@1vO`w zz(NvkZ9V9Rc1JuiP6IFPMeX-v0LYY# zSO(8Dea4(}B!)Io?R9v71`m1{JAv)ZH%+>4aM`vF`Y1jC+7eY+skiS8&S=UG8>KX8 z_Ja!1`7dS6=QC@|9m-+|TbXX~MEcj@sAP9#y62HapJd&UA$Krk!CsRVPW}DR1*AFW zsNDAy+pU?(F?0@<_Br;>oB}=*AgaIaXnS_UWfAEcYeb8uQxQho`VhP6g}Ar&=mH$Y z+VriztyJAsqILI;d*SCOu%dmm8=Ddps1Tw2J+jPp0yBqcR~#m({3%={3ZELFB}Jlw zW>opLUOt99Mf(9>h^LIXcaO1i!pLMtr{{D%P}ojahc6F7P5FbmbscF0uqQE0{dzWI zi*KAi4G7tWm}noNSp!RSq;|$WI&Np&1WkyuR3#S0%{C%J&Rac!E$Qnp2#c0Y@cx7} zb8bhvjR`|Ckp54Ew>k0wXJLRz?-@B))Qj$0&Br#LPmJ5#L*1rJ3yZ+Xkc!^%fw}9) zRL?8-T=CE{jt4u88jME`Uv2PGC62i|#QPBL)rT6kAa6h3zn~qbP2U`}5d!gTBy4Z1 zg<6s+5FSe`xfLwd)N^&0wy|5PZqVzW$$!ByKv|o@Jvosu@CuDpW(SN*8_ycFb;m!E zk4o?h{~JdKW8p}?krGO#2qOp3Do|H;wTf1t8^vO{!hWv=Pp~glWNwEPR z3aW3R&F;6S6Md!>jCt~Z`1)~2q~p*E)=|Z8 z{_PA(`i}L1lSh?9du0|xnA(-)HNR9Z)?e`_D0w;M$cn=)&|Wi{{KIq80k$7h znD{49H44=Vo6hn`mM#&n9FKl6YBO*-x9lLcD=a+Z?KL>(4(^@Q!1K`P5$oI^-%gyj zocwl5gUT{a?z-END=7xk@tAd>zAZ^oMB#3)@ac7M+h??B=sl?HTuYIgMwm+YNrGWX za5(o77n9d$LZ)Zbrl?{K{9 zwA#_h_uVN?a`S=){g}nU`9mTZSWCDt>(KFU`lIjHa+hns4#3d@ZPq-LtX!8aVomfu zHqP?YfLR~k#Nim(`mer~XNcEJmF7dmykZr^h$7cKMgRAY#EOyJEb(aaC3v#C{y}ZX zya&RXhy{>gbF3<05D(lHmQ8^IYf^oc{+%{bpg*$D@30ytkdDg5pS1B`2rai#`}B5{XO~*l-MXUX7Uha%_ifcc`KF~*ROPNieS37PfZvk7 zqoKcZ>Qtz_6_TSo^h)pUZY7R<8ix^Nh=R(^Qvv9SLK-ITvRbl*@EV8J@?%u!ifair z6NZz4kg;J4S)>Ew8^$9Qqkq#tlP1}pu~2pOk6-vM%+%9Z8uYT8r{!qmfJlCndu8!% z;W^?)hgc?X(u|NzzCA5HzYtJw%UJ;N;mC0srqCh@x{*Q}ukjnf9?Ln#BToIxSlhMi zAFaNZePx!(*ggA)QkJtDj~BP1_cE_z{wiI0X0dIAkJL;W&W}vYWgF+;ZKpWfaX(A= zo}<*w2(11hYfEC8XGw!`oK5$N{yXI_d^4q1&;;QH$W(aRpb0UnMaJ`;=ac%pFe?tS z`WTIm!>d;iW3y~=?Y&UM&_YlO-n8>{Rf$IOBtKNDf7#zgwAb&8&vxEZUgS34>1%Bi zXbpDk_@dvWi1^X3Eb-BJbo>;NWrp*hb&s;rjDk?q0~))1*7C+PJTTGcHga3Z41Yde zX1+%P*^bf1YyxXYVAWB7;Dk#GnC=Rq;znxuF(3bP(-hvh1G5$&Gtp?LKQn5$;>_Fq zbhEFlJu0il_XSau5a(Qp#YEi zj6)s7JKNQV{u5+`JCI<@re60&k3-kPQRv#>q~f6aOUQWYv9vOh{TIxi20Ji;H5%b@ z{vRZ#Ea?$Jw+FD|)~MO^FX&#FydCY^9aY+`K*6~SKFPuKuZQU}A%+2;{hGpH=K%y~ zAX@%>{i@Gy^ZP(qvIN1BgD8Iw@c%x3Ujg!q*T{dsqm^ZxfWKf*Z^f_wMCnE6Mv?wwUWxvo3> zEY#6zB?R~uL|_gA;xb&V>&c)(M|=YSPg1$@zdO#+FIz;uW6slY&;%|4PLv)=QUFDM zOdJ6mzLfthBpl{nYJ?Ag80vRzwp-JB&-i7J+y2o8%*N>ix`_Ob)_Znx`^7y)Yogne!yXwh8wWXoB8elw4^jG1RW{85P^7%CC~>|iQh zN>FmC(0v9{#Rj9rXtHpK~wuri#4><=(X(~44S z#7(-gdSRTCfKgZ&#O}k@6&`=DZHb>>PA-;}<*f#1IfNzL!=A#yCMEcR{fvaa?AYW} z%q7)M20nsQNVG0@bA&TPyrMP%(Dz4y6(m#eCu7OTl+?I^(c*=ub>q`N{i`8fZ-mtG z+XP*h!gZllb_%w~| z+;2<%zj>r(YW#&E0$q!kdVXNwm1hRrw#l}x`z!|9cHQ+KReF4r!oeQ`*aH;gL-l)c z$c5+(35eth`X+OhS8hw5r$l(o6UJivzQL@<s&JDHP1wzd7RpuB;%=y4KhDFvt} z`H>z9xs#uyO$C$3Zs%|knWlpJf@EcR)93EF;Q#QP_>4ILue(8xVP?HO$IV|WLgB$` zOy#pewUn@h#j_LkGo(T*z5qe4L1z{<*Vj`JQy=*kEU~jPk+9OHc1=b-3YI9O_sh2W zvt=0TLd$Hw4O;{(_0{G?~)jiQoMdlFU$&KmPI#Q-~J^HD{rwd`|5R8#31)ZcFMWG;c@C z0b&Vm$gqlARTedUsH1F;M^Lw!QLt)BDPjledm0JI91gyIgCB7#j*DP0ke?FN^qW%Q z${mfCG#;LMy)2|{#r%SzNDMLx#Qfo&1t&ncmrwo4I-DCj8x>Q*ObLnZPeCh>@U*FT z>iu~vL@=~X-x6((#0Vp~wBtK1P)Y~2MPuec*lAh-ElbvjL~M!0Vf-I{7BYIqOwK@e z`verg*hgSC8h7&o5|<&!ii6UPdwO_$shzZ(x{8jc<_K8%1?$8@{>UTaB5k4* zQL^B9p*&t&?SeyHxBQ`EDL=fyC*S>(qL~)>q(?K7`~wlmiH+NDA|6J`Z~dwxY#0KD zJjMb^Q=7~GbIgiK0GU$x#VA@j0&h`kCJ{^sJ%B-7O#8R{eDPcOo%=V|PFTD799elU z9I9b)T*M1Of>G<8dWmh2lAxjXQTv(p?hX3!2Q35y0WxeoR(h+_?#r6o?0{4h{i`fc zr}iHf9@7Xu1lFjKA3H>g^oR8_DeCNeH51tZ>NM}~!6d_Iou*PHk~=&M2yrAD<|ntT z$N!f9q(SXyoE14luLDRwO5D@H;9A;HxKIK_Uwrsr_nQ4^gyW@OC9`YgKGA=vobSTd zoiG|wo0Z#%$Ki4kMlbHTglWlS#(e<)amm45K+F8d+z#zJ(pCyr`P4ppNK;(gzDhBy z7Oqv4TDCejyg%%-#c&zHUpx|`S~0+gp_J^iJjE9h*${L6p2HAR^;+@m3$AAHpVLk~ zVLx0fdPyIYf@IsMjbNiY=+<|r%kKCnh4#69+u`G>-TB*LL+|XU)s%ldE)4)nN#*iD zUA)Ib{jeKjnww3ScHAA&?W=OLeu251cS6G%tWCT3h31;k)R<19uP_SB7Q*$1yx=;z zk@o>_(`+VZP5>z$bq7mNjgX7nDx4q?Vk3qHx4xWWa>k9j@W!7!A~1hCTvh_s{wcwX z;CQo1x!^n$y7aL*)gu!PO~b)W?e-t0UN!1u*Y^FtOF=|%w>=w};S6%9pYGrI+a*(D z%6$O4geUE*K*$8-Fj=`6`VU#yau3lPBA*qa0kM6~~>{rQ3qmL3TKik@8e#t)1(5XKcVQh#g3)Vr-T8sF;|{#5k12*FVoro{LDr?CqL;$VK;xY9x6=K!uIhTynd~Y@*0ITWl&0_r89ag*`u<& zD~QL0j9~&8aZ)axEb(As4M6@ptL(xl9`-#Ullx|aBF4XD zKlButc&f%7*dQ?!cPwvlv=63HkN#S@XC{<}k>Tnx46e+JmvGE=xA^%LF4s#bG0IZU z`9+SDuqDyWGxB6r2sEmFg{k*eoy_fJElP&X&5DPax$?Q2wU6g0ixKN}5oimeFREEZ zkC{`8RB1H_mDbVG>Q;g{dt(*p8pd%xS^ch%^@r5ebw0y9#WotCN<1JSQh}|J4WzPR z*uO>k{K*d^#>>?cFXhn}na#!RN3PM#1(^;edq>h(nBkz@2IwTGVblf@wI~(~xkok& z;P%v+nUkNF;ra|{EY{XL&tDTN1lAirscC-_@WHnJN=I2I-C1tt`It?d80YtzMFdUB z-`z>oz!R#MR{N=})jnAfbZVTSU$MI;Lp@W7>@U;3Y^NCO%G zpB`NehMvC74vI>^%FgzGWpVx^8vkFDgoTTlnIpLYiVE=W($F^0Yhs8JbN0$??-G-C z4({rbC!oB(cKo?}eSKX!u(bty?b);pJaxQZ`t`oYrmNKGYP3`uewy$j$f`nGNRpx_ zpehrXUkr~;3=cvpdw{L!;IP7lR4ahc(*vYfn%=UqsL%z4$&h23i*vAJ(8|zRAcwKJ zAod`dM1UYClAt0Z2p!Xn5I={Gm6TXhABLwVmZKpE9~0BF5e|u&2|}|61XxTBA|bsz z!`H7SSMWn&Mqzxi0`Q>Nu&`)iV=G$-=T^2?yv3Pg7F>mP0wzxw)Zb^u?9S3$&&l2hbq7xHQ#hz2Ihl}{ttq()7kz9X=GBO|>AtT) z{@cxae`a~v^%o~F`rMcF-9+_GoKzSKgtfc_WuHpFcyEP5zWXHPcyYh3M8}q=@L-Hz zkyD_8!NzCDHae84bcf2yQhUE^5;V&jpnREk%N0p483Sw z;162h$sNw-)YE#Ju0zg5sDn*+e=>@HJhtf~uKU%EXRk zN2RfwlA!wPbhcGpHvtE3JcGemWT!g6NpD=JeTJNi)hqM*Y?0hHytm^)=_L(2o{XF# zUP0`LsZ0KPYogOoDfUJ_!Gd9Hb!XnS#~ij44Nt=YU0(^a@lJfeQWe0znzK+TAKrsd zLF|ssOPR~KDNgWYF3HWeInQ<9SiWT8^8w$=yvg*PfZlUKpj&WVVJqVjrqtsgVtppwdIW&Ts7{$w*ib zn|YR`y{tcLLkw(I))V+kJJ>P!Dyw4#(lkCqFCn2$+y^RbDmML^LbbJkF;-sUd_>IZ zu5g~Yp=8=gm;~dyYKy2_9oOpn@C?&XtuFZQ_>^h?*W*9*w$RY@ao5dqqhJfl0^N_; z9c(tC5gq<5?_8)|>zJIlB1SG%Bbq*Z7{QH+-e6Lrf$tpQkUF6E)LKv{pl-UzqnQzP z*oOfpg43^m{Pj%OuCVk_mMETNAh$JeKTPS^*+1}7B&MH-gEj&sefF-mmYimyl^9fy z`m*2PNMNnh$07$~%n1Y2M=F!}MJ%#T@jB=UX2fz0-k1j=ou5uBN*Y!V z<`GXYbZ((|m;(sqdkE{5ct@i;TuB;x?q^213^!r?3x0+|j~lW7kEP=`VoVb9JNM2{ zBz!IS4|J8#@NoZQ{2afS2c^mw&)0cjNF?f(4-ZjW+~J2n8ra9rO>dWy(8b<|`4gJS zvy^r3#iy&Y+H-!puz)^nO&ra(olPkJm-|tpjols%<1K&-Qbpb0>c*hg>0q9z&whu3 z$b3)4w80y>RwY9`VJ^&a?x&-`M1HTguDC_6`C$#KNJEeSQx^-*Up!`l07qUZKWRRfjbicu6ksG?rUCY0b0GO7WLlNtBMe|lJZ_WR=9fk z_ekQ0c|Q;^a^u3+{s(Dp*mIL~;hS4?Vup*_{(!`dmS{`)JfH#2o(O*qvgH5LaWJR&B@|2JIVWuQFRp6mY z-@4Mdec*BE$a#}_=E{<1nn-%eaSL0(T?=gn6I|H}d?s|Dr}xI_U@w5n*YLguA@QRT zxz;GP#l{mtVXc~9&9So49F#rk`m9pCP=_QsYn?T~m-)<`-g||wIh!ng599^tQm zhx%Yt8Mc^k=0D<3{V(?fQL>$8%Kkues1t(HF&lAmpc}UOf4>Qs9`@M&)6*@^>IwC2 zo|R_X4&R0+`ldAXgV^E3@UIdme9JN@rUxqIpzqabkR5uf|Bu z%ZOqv|D6+K#2m@NQP=W^jns2rh>3BA?)G(X4FE$6;J8bCvo|({ZRP>mQGs2vA?TT;sQD}Yr=FmJ11zsKVJaaFmoPkB!)Yk z?<@4Aji$KlYn{S;Z=^}k^~V`S)~JqL$$m`qB0S{1N_5aZBFJaClm{Y)tgcFQab^a_ z8NTbe+hYGNsq4ir8f~H6AKWTe^wcOx)WylhO{Iol<2>Z+U+99aZ}(xJGNM64xBR1@ z7q$z%mJ3qNmQ8Q@R9XOu{8o!&IOb={-obTBBWCq(+5@|WF~rn=LV{q&?9l7*BNo{s zEcclDYK5i>JLVYE;S_q~_l-^KnL?g#Us9e!_1H{2h)hnNiX}#xD!kc_VcAe9bv)Iy z1*7)y*HTH-S?e~}vYw3~jy-%?0m8bE!?j>B5yoj+t_G&Et#@6m+5 zu94yjuK1V$j!RcmxY{p-ra*WtyjnN5#+!f3D`!q+3`Iavz*e3Qc?+=9MTG}H-{)T9 zOn4mn%0qUiRtjD)qK4`$c}ZZ-GT*O<$GV_FF(K(I(kWBnMqqEWM>sMb-5DAU=klQNom{EDG6i{J^C_%$6=wTc(1J|^mYcQ0^xV!-1=#J|N-wb_ zues~3R|AW=BxM4O{mc91Q5(v5n}}SV-)gt~5vg)kv82Ry!_<>>Kw^#1k67T-S^*;{0g|tOm4eEq(M8qmOmce9+zCRo zZonbSJZ(?sr<)i;xcUNH7P^FiSXt8zCXvcXPV#a(89e=_6^(?G@%;aYfSBDuQ-LcW`rm7e1sixG_do0kSk|Mt-SGo6MIw z8I_R)%x4vF9O4F>h7d9u|e^B?R{s1izTPFCVRWrh^N-SETRfxU0VLkYv{x#kPkEe zz@P52bD2LxYUTG3o^Z0y^M16hpY|qLIO8~-R1j``ps<|LdnR9U245`M%FOT|$je1$ zr*)MZ&J&juJXR1RR7E}qHlE$ZhTLLl!Mojm6J;y6+}RN55RdN0*QbJS_Nc4ps*^+`FnGCMq9k9)Pce=6^y#`Z41_dt?= z#rSOcB|AV~xQz_WmNNDA)u6UqFSE!7=p~-5VWGZY7OJR*GAY%q!q+#A;Un1*;xgA= zl{JSY0BY2zLI%nEZI3OIP#K1Ke(^8h_|Hf$^2gZ@ZHGmlWqGnq^*J=KktMN1V5Z@% z;V$B(RYX=!pcqpJyBVze3r}*3w?37B`VVTU@^}T}m2F zV-+4`3a=?@%UAyTlsw9I-%)!`kvtd<&rvB!J~)eT$x`IR+p;QH&L+HkzkldS8c-a|O#y3aAQ?KK!O2vGpnOVnt{Qc4rOP4%c& zRarKTGF>D|)Shif+I!h_| z7_p-Xhe-{E9t1ezr_jE>f#abVb%kSeDW8_0rI?P?Y)Qg#1#!xlQ%OU8;#bDiXb)w$ zn9ayP0#^jZSYtn&r$D8D;S0e;jL*pEK^Z>+^-vXFYmQ3az$i&};dNr(5!`o3VXQ=b z+_SZ$e-R0=0@s}oVta9SM4ea^>!kBIAEKb5_EwxB++alo*9y2benB6i2zn{yBgRL{ z`WYnZpbg+#s9DdeYu+da8>sF~16d3I>_idS8fUqNy}Na+P;W7Rv)ze)OVLZ2%PC|Kf5Uq>KWOx8Ct9H~vMou&CIER< zoqk>RcbCm1v`msCNFK(on}xHXyiC-#CsHwv%K6Xen77z}N`U-jIkL!8+S+aVPgeO% zO_EBgy8hY37pmV6hF@VOl$yyGH?yZH-XtoIe^Khrfn1{_EB4JC2Zwf>ErO)*RF$X| zVfR@!nT(Fd5#SKPZ-s^7=q$F1uO*n#TAvM{1K&4jgtG{+%Di1knQ10 zSMjZ+ra~rv@q1+?u=aSlbq#W7O`q8;a~?6tgT&#cNW@G83Ri#Hp3$%##nONCGMJh0 zX!*W*UmPK{-}!74zOIM>-m2NS!Ta*0(E}j=0DYnL+fLwEZE-|T3#2Rv&Q)Y@Ju;M< z`6v}FR-Mn8Xfeq)ND}Ph7!aA^Y7qBAys)YjWhiT3_VlBv#;?^rv&>JAFB zOh{vzs6weIj>tr3xwI+(7Ph(XDM?y7>*IJ4mx2laE9QY2)UGxGT){qX2hoXB9^=wf zf+C*`GlL&m-R75pLn*c{17truV$!AN6CrgdBgLY{%)jN&S7Wz*Zvz`{%6Cl80h<6a z_utHa@T-qhK=I*YmCxuFI?VY$j>ooY+NC6c!Atg7uHC$Csw-8*oblirjGnf;c@Mnr z!d~H;>{=+=-MyYn+vU!@d}pD!AFFMz0~2~|$t_e0t!5qVp<(4Sl_G)Lze8LSdUv7I zjj?JZwy#~VdG!UE( zz^Wln-0c-;tq_F5SFNE$<6rXFTJfl?V3(0HtlMXurgtF0LT~*rP5BsBa z=n-b8sJ`AB>UX`o<#6upa$XmE79f>uSE9!3tP5J-GM$$-t?n+ziLTDGOaJ{&AK&JG zOVyv|wVg3RQ#jD7Ud=i=o%r}|df1_w4SD~MkjYO4*z-L)Y z$N(05$Jd-KH(npLA;6G?bR9}OPZGNJXltHvjjHfjyci1iWF~S&P8hh0-9Y+b7k7$q zZ%@e-b%CY{@C`#>Yl@MmP*9BHoE!ds9pUqHK-tj{-JHD%Eh>dOR8bnm@9ZaQeBtn5 zjf%dm7c?`BS(ubLQ(11CB3-Zd)xG11<_1x+i=LF3pqqx%8BNiVf)t?&|m`t>b^c66a z8}@*@S$r)t@tq$A%#Mr`tIZ5l2~dRck4+n2;3pqbS8OO^2elYJ+H~}zQYJ8sja@3x zAQ+Hv`YenEGFqMAzAP6){H&+luRdm89BXh_BwH_kG9w0kL>RM}LZaZZ zqn0r7DfDaXYSs9vEUT#9D2WIgh1YOV^^cx|bh^5jZ}lc*KbGxq4bU5kT``~5dBV%_ z_w8xiz;a^^dWMnUHh!+FNyOrLXAb91+qS=EIQ3hu{xZ0_5t6F?{poc~L&}Rlv^Ngx zk)iw>T}xa9}TjUI?M*iHvR#(ein$<-oo2+&N+XnXH(AC1;mn=s;IUO4Z_Y<989m9}S^|=YH z#n3(_3(UFANQUeBWGI2;4ja86%fIh!H4@Vv(JOi`# z8I2NklXiZ8^xc%lJtyU3A-h=N1l4K1)781|6-f)uYvCBue<$G!Itj6;LU*4k=%Es7 z9!LPJ!TiZGMubQ}{Go;(OvCKHi%c=4db_ZbQ)FPfo2NeE6+ay__NT?NnAf3q@0o5ifL94? zE!GBYHP_MhpE)3YEY-_@U` zM8uCZxbqw6B$CeIqP? z+Pfvmj+@pvJ?S@;2qKxPP&cNbxN!U}80Qaem+HtyMXc`@e%JRn7_2J|=qQXWq7KK2LM+eM7&%EFc@jE|?%u)ihlgA6T@IafK&azZ)FF}5 z*bWToM0h+Gw|_yZ?N8qL9`&Io4(yqKu9VD30$-9tJMFndKx=*h_^5Q+9v5Iw=PSc} zyYP?@no+>?f5 zQ(Saxmk_L;J*1FX3!XZ(%=d|uusob}KxL>74{S5xX*~BgrQ{=9nBL|?{oGtHcS~l9 zLvPFWP{x`U-_BjvD8+UFQrA^~^~T;_8A8!H2}s~ujeM3k?7k$t>S2#*j4c>96BUbb z!afZ((uLd_L!EccxEz&Q71VQfLW`{Go|s~KWR`AVul4R_MQU|oJd;gjB$8R{ST`KY z-n5bCXy)9oo8VEhfXL3eVYI!P;AceeriGgV)1V_*m-UK-UnQN+{GK$|9%#vKX?uN+hx%FECj1&IKvoR)jXN8-@|p6O}LKwSg5yUxhc~s)R|kA;EjQ zo3BZz7FFzF2jus4ot~O?#g%*Z$jcMRX$^?iH}1RF8?t_WuF<=sQ*x9sR1c z(Vh4Nim~2Z-CbaeIzd&=nh4yGR|<(X0(+ZFAQB_=3s#mC+zoU-Q6OX(RvbVPNwfJ; zSozNRb&(zO9_f#kIiCX8DD~3jhBnR`w4OZgD)~;cD@}XX+kpJ`{#!bwc8Y`C312ia z`!{N_aD+sEqUWyHT@f;Sl4*JRoJeTaaGNtGs?c}K>w(wT<3Nsj5-WyVKhS8)GPSQK zU6M3pA?s{b-m6OAr23E>dFlN2E@^TK5`tYYO;j&0dJVnwA?^4CYg z&bi)x)%m);ZG?WJNYC+1v`|b-kkmIi*56ce^|_LNS7=_c&a%TEv)InJC^y$lcxP#w zT)%a{;IsqBjS5_f-~vBG7YUZ`zmR+SdAL4V6v7g$eah3wm|B2N1=|@j4a2r(6GH$Y zf5O2ir+gFUVq7vs#c6d)3(nNVGh;gp=^Pm=J>jF2xEW(_Exr-ppX5RXbh~~~Y2t&( zhGxTm#A4Rjt!rq9eW9dyb(E2HR%|k07Oq9zr{T&E7Ex_^{qXSihQ^syH+P*%@LD~- zlW$pNvYgkpy%I8YD5!U%s;A?|4f;H9@Z}=Fzk|=NtBS+MO)Z_*_Ev=y%w5&fNFu6e zynmH12oX$PTZoYR!hdi{d_fz0ZZH!eTCjqDHjsnn;zPA#^KDw`-upXl{1z7=)^VNz z-Nkt=8XR3)pu7ztH0i8wD6z_mxT32-h%R-_O)fA+<&JXYz(IEy>J#P^Ep!Ho%Yn}B zQ(s}K^dcUUjDVqLE)UzL0uK7>z7yqy#(gPbh}Y_R#>3dZF~&5$r_Fi&$u}20 z8q&)gp~J$d_%5AzEGgje+fsok!mrynftif)KV-)OliYvGTo!wnPoyT&O6{?l>+HBzFv4r2v*V|KXA}vT zNqu9lqi2-atHC!4*-N1)sn$dm?kFa|L@h5+cR4~FmV*U9X8DHbO~Q`}-!c^16hAHlr1_$i;x8_I$QQsK8;@%)O9eSK~6w-XB z=4{6-=SJM3mSOweNw`@@x(l5>>T%#I(Za9%ZP8%Dy!+EG{>BO(dMl2so=(5 zv=q#iHs$8IaXE~({LNe@1eXndyIRntV35a`nZ5a|w_pjP zqXefj`JMb(+y|HJjFUcpAc~C~I-dHGkMXQ&xp1--xgP>_Ib`@`(RqV88tgY$y2v`e zPkvQim-b_YAv3D!aZ^gN-R;Bjc#BeUz8b^U+dxgn2y|!e6tgxas++K_ zsi4ImFs1Yoceuw2T|SoBs4}^wnJ~2@Gw@_AeOcUJItH)sKGF6u-8Af|uxsVgx&_qsrRxoXui|Apvr?0Y+H z+!SxUvdhZ_NyDE9PAtK!u_>(=u4e{c%tFBG=VP0cX>OYkW{|( zfnZ3@Qm6sr&D_KDO=DdM|CU<#($~y!qb)k)#eZ9^H_&|r`TG|2b$XCh{^Q1W`Q18l z(}+-rM(_iIkHh=~kiCjd>Yy9A<*cS`BhGyB*(A~Fbay)l-oIe+-2F_H86HKCbX6EV zv&F&OJ@Tl3H!f+Bnv64zbDrLL9PTRcGtWweeNKjMWySCPRNa`Obcahum0yc4)aoqv zXitPlmUP?g(P8x9R~AO#eoX}>M+k9zF;3r453rx;9`-grs_OIRAjvl-Lu{mcV_})| z<4riYLCG%jS8x_BimYlh5Z38b4BFLF`*5n;N|R`Rqee`_p;luT2PFPH6w-Ip4Qq}9 zfmatMup6xB#KRb5Ik$zW{aFWIAWu@~9`YOQk6(S!s@LJnxMeB~R7dhBvm`?5u4 zD0+$4!}CIY{4O>`hRTb9>K?WXdOKp}ym6NOM&$Xmoa}l`3td@D8KrrVDm4P4@6agU*qV0Z=NM{YIPkx7aEw)~~m-p;EDk$8V|g+slc4rjd12KhKH?d%-WiU|IR`S%>qe)XhC$ z(3E7;lV+yP1N~BuOd7szEwJs@&)=>Of2~15c+h%|xpLT2Ru%4;@MiIOF7WLo*{!mF zi6*ylFs+KlP=bx@TJzwK$U>sKK5J%?@(1ieYuedSuB40~n?zy-m5ysd<;^)j=wX)A z+mtFa1=9x=hlirqcP06yRG41`Rf3mpK|v2$y3Sr=vdRQNF%TPBK6L^aOvo*N!2xe9 z=oEG`CUOtgVaiB+8{QYWr1XT{!rxkdzbv8$Zx73GtQZyaM-ixvlU{YM~-D~!Uw0&vqPaA+ynhvx@?on8GNyIz3Ed|gp zo?u^(tAT#?C+G1EHLLnwO94!O^t}Pg zx01V}41|$eDU6?0>0y5GtZ9fX_4I;;UVS_lI5CbRzWdU(%8}`}krB)#`E`W+4oLEm z5qNBD#m+$7x)RX24NUxszW>hr#G3xNVN*+&5u`$4O6~+Un(v@6WE`Ak$Bc?ms#nUm6Nb5bjY8?_Zcn^#W7KB@o9oYL3zP_rqnxJh50 zh-`K}=}0X1m!;hw8u; zY`VJDMQ)bbYg~8Q@nUcSd5_C4Z&>7Ni?HhKY7IcGU}_TDmArpJIR_)vOX!3%(93N# z-kebmz6PoMr>TlQuOky%r6A%a)aYx43!N8~5xGa0JY- z%1l1QvxhMFq(D*_b22q%0?f@l|bH35AwzF^IO-O4N%wUn>to6q=Ib;Z;&(w)K*On4iV4`-MfR`Xzgs!;OI1?$r`qeW^gp5z%c z(#K$}j-CBIp{XTd@ve8YhLJ2=qP7#}z&clvrM`+U2U@;a`DfwHKE~H8(%viq=Udjf zYj$s6jH|I(V~|uuzIjqVIKPu;o1vtFyDsF&3VksHzOXpNsT5nlyUo5D5EQDMqKjUZAm96~FjLlg7o< zcS3f51~!A=+}Z0Ac1uXXuqUt#9%;ojnp@*DQ))Et(A3S~Vw`yFMkG{m*XJ4YPoT@n z-k|1jy{>A2_cb%9RD7uMl=8N&6cV9sGM#5GJppc=C-&gSg;rBl*o3`k)3iAh%Uiy% zq<0vv3%EYI?lO8vJ_#Nn6g!KRZ;U#Bp#aahuz(4En zJFl)db~W0T+zUBl6L|j!{xCZ5SGP|*SKPWmI>$4i&>Oj6PF(lBbf}ul5$L%epvzb;yJJYwetB{|g!eGp@Gh&AArRmPWU!~}w$HW+%8~)H(^=XQyf-ZE zhb_GwwvhQ3*;PbH3s;-xn@*H}CEqFiY#+LOS`E~k5OYKO$u7OHVg;k3(b0r`s&Avr z&^fBGhn$Rgp=utVl&2Y)PmruycBj=qul6)tLH{7;s^DA@4`BG}eEudLRfu z`L^R}T`&%UMcYxnO^`0{7QU(!hZHWMg3CPt`jpx%l*hXO+l5gEVB`!=a=UCcp_9^^;^Ag zu4<<~R(PO2LL7$597r!n{{uBL9z z1u5gu*XEFB_XsUT4Tiyf_ZenQB-1x=tEk$JVGBjlv>c^+?jr(!u2|9*0o+2p^u?#S zi+-BINeYVaScpXyGCTqZaH%qdGjM;dYaS0Ke0Dwkm=i3ldC7c(zJb_J3SqJ_fSzpD z+sybQn|q8ZYm>t{9h1KAe#{4#JT1@5pCstnv$sUV6RX?US}Wz{wJYhv4u~pBw33d3 zr-(#z>Kl+Y|6LG&j6Y`m6ua_x&5HXCs(Yz`ReJO{@_^$f_Sq*rbAcsJ_)GS+4_D#A zFavechEh&1pV_Lkz)?RVG-VU5fQ+#<%|=|{1u;W#B`kx)0Kd5RN`7I+&@n8Q{#ONk z`4aj!WC+Vxv_u6BTnZ;2ls^TDQz>}TyDC?IPTyb2oYJd*<2v39l<}w% zx|fav-LL2g6fQyvA$$$TQdA2`PQjQUo#aqcs$|G6?pS24Xfun1`6itl z)(API@3$Qo;zJ<doqK5`H@D!Zu5Z%L&f!f7^X>hlocrVpjZy*^3u&#oaWJuGx%|se4Y~O z*+QdK0tJdoEfO*nBg0m|oGw_3gVGWSiTzvLe)c91jY#hsk{I1QS>)II8lBA`YeL_i z92yFLe;D2(UtSfl1?w^S6;he=Usk$xkG^EWHsUx_1M~hca@4x!umUCiC=a0ll^c&zmr1zW-`xFeSu}Zoc(}^=D?O%K=ct9%6uq) zztiP9TiI@Gyl}>(JxK3XzB`Bj^IXsTEA=3k7I-WY)uG~>)_Xc|M_O%n;3&DqQuF-*qLzGkJ ze)@RJKE7jFbFlkTU;)3ttvcqFk|q#;&M=Gv>5Z_vX&HvU4|n|fL-$_QT~`OrPUe-Q zvfl44^iiiQrw5W5aowvy2yZ%|m&jOX_oHJfWtq}hRVa=q`N6B!*;TG@I>2K0p3VPEo{R^pm&-k7l?^W)4!&|Fl1`EMy(H%OyfK5r3!$Fx+P<))lTF3q~M+8@=Nk z#L_jhU5yG z$tt-J+L|I`ZOZ8-sAh7uwHZ1a)lH)_kAHJih18o*j&Z}S9+_Lj5c43L$ay}bGuNHD zzl8ms56QJ2W4?SzVy`i%%2EA)UW~FOIM;>BrusFLF2|Bw$C{7|8UK9E*$_HqMbjIAv3Sc&wU$dxT}u-vfb(vmyUSBB)+_9!j8 zN;9a?moPzpS*D3dpFVt9`$9b%QM}CzK|THpepsS1*YjL#NFgt~ek3r8LRw6b%yfSU z0urj{k%xfmU+^z2ZBi6}KoKfwuDPRh2QNomJtLxD-qYnZ#E=mdXFmvI+P@go+1^Sf zvfY^q)h?~)KW1LG0s~B%j)}9uG4ofh*0{ql1hP$fd64d!Vt!s;f?`B9n}3_#mty-g zb&{Grk#(+PAb0>vd6QDY7k8o=>a;&T^@CH=nHvQlF=88^ZjNeyk9Hsl_@>FV@J0ib z%#?1FKs>?c;?VGyZn5Q^Wo2?7pFg;7z1A_X1J&3fQWmS1oADGSP!&qri4Ym<(MU6J z1XVSXew^ zbNEYHH?lb~@NUz8?gOms(pQjD_e`EMAQi7|DeE+yJbsYGdJn6{P-*zN1LBEFO>`2ScXjb1AR9II38VZZAn`{Os`Ar%|o7QILLzt ztZ|3BJA+tU`>N9ciNfUao6Pc8KpH0#T7302nmMWww(A7StF*cBwu1DpQrpPa{19{r zIk&*_htw4pP6X(|EFG1Vst>9z&EB?-Z>Bi-p5;Z9 zG;73QqE{HKW%gQ}k%J~0ZphP-VcM|(!Ai3J?l%|d3yDPmN@8w#?2=8$!1!ZI?es@J5Fh{mi?4{RES zPQ}+NdK}lnxD^+1IT;Vgnx604n1lQb$1}}NA*pp#y)zq7UFvvAKOUEMa`@r0&P+AM z#jEvAOP;H_!*;)eLy&XKrXqrikqoYq7d9bcH+o7KXWN)JHZ9M~)$Y2EXFm>gA-xNJ zG+D-f@g;G zo*1_?SV+?6V(256(SkiXO;*!+8rZ%@SEbKlFh29(T9)NQs38-s8NDCkq#n=N4!G2F}fY z^F@+{?|a|&4&0tyCPeO+T0|K;x}xr_RY?-?S9Hq}xe!%vx0)>fL*an8ThNNM4%Y6k z#Lx?{xw+v7z5BzBY+YWj!hN=Kh_92h_$q`RTa`CzmdyAL!`Itl_}?be2~=0lUB&VE zrg$eYB6PgFVtw}+Fr-z)v=BoKq0Uu*mU>@)P|4%FJ21pcE(JXJaot_G^=Z{C@v`m_ zbpHUxQjT|XVZ+0d5w`E6p03$3mikyzX6<|w7)w$0cQnv_&vm48$TUug&v=;^JxSsy zTUTH9?h+5e$&r9|I$*PTJ^F2lx0LqkDn{AZL$|BmuN2^%w&UFw+rBKIWKI@;gGfup z8^q66IocL_D~|m*Si2u9eav9cyIQ05im7V<=H3lEtSCCdi%+SYPzFyf_+;H((%6vs$tLl5z{RP?D}$cpM$|6Jgaww!i%@=`z$u zwLaUaRIA#IKl%fGtHL&<&7zZk$(S(Z3-o{&gx`fY^L0Bc7Ff}4cNPvQPcJ+G3~NdQ zrgn#eyT|lA!vI!RIa>ecWD7o|7S(hJM4MWoZfzxcYB{|*J&D@E5?Ge)0vg+5p%ZwN z43#x_3%n%cPg*;Zoh)gBtNa{_)mVxRTC8`z*i4~B7%YYmpz@cTC}tafQ<*)rE{fHB zxLKXzCz$MmbVz@==fhE!DG$diS}%UH{m{ZVw!~A;ARnf?dWTd zU%U3GO6kT8jfsf#F(_Cka$f3bQ!DcxWUi7Hu61uBu~HwlRHa$1kzbQvG5S&yJ0WzKv^ z@>1#F5saNjXSk4maGK)f(t_E*(D6VErGO;DAFX7+L9fS&(R`P#UJZ9tUB}H69b>=R z>v{!&eH8ZL7#@ag!gm%(A@_^YL&Qg*ATozT>(eN^W1^s|;BbGjp7{6A;d--=o61g+ z-1hR%VGY7sJZAjT-P%Lkd4}CEXkqhPwPzGKC7Lke*Z`=1v9`_GuSKL{VpAFyJ)iJ& zr-slx)1(g>uHCe~!+X(c_&Bs-!{xKzJf$V@##ODJFt~{4fTjxb;Zf&qI4oi-2GD|F zUAS=p%TAR4PXLzzX#V~{-WyE5K4}%_yPBnD{#Zm(_59gc*Mu{ULosFnf-)dnRtX>r z0-`ah-@G+{;G-5BJvbw_Ed_hD2B+QKnLW+JMVQ6G{EJm-C~t%-|LaQOtOE~Tuv&-JUtx9j(7O<_ zCaH-)Qs20JOjZmtE0N6{j8Y}PD*^`$*OxPs1=3P~co-H)PZPqsIG18Exkwhe5A8^c z07bWC;DBdQd!fVQ#3xw|&t!wX};dr6Y z*50;NEwP5nN!;CYb0w5F1zmYXtE)J-QUMh?me_`B%wCkP#_%W zQBLN6&g41%<^2b++t;5q2DGSd^Yo6E1=D`1877p$Oxl=3T19&b98cLVQmU!Ze(wlaIXRdmtL|05|_Wm0R^`YcmbVG0yZ|c zuEqfxJpwj3mpvZ>Ah+rR0#O?RH!!z79|GKY0yi?3znlWex8#`u*#ZJLGq=B-0-^%~ zH#E0npaQ`H0yj0cCZhtR0RlHRx6Gsh1p)&xH!zccRVWTH3NK7$ZfA68AT%;EHIrck zD1Yr+U31$uo4xn1z-2of6T~;Llj&@n#7W*ZX*PD6q?ugMGHvUPEGZJ5Cj0C69FVdp zS#o42ZFhEdY>*)N0C+wR9*~goT9iV0FO+pS2caU0k3t*XH$n&84_a7<>tKb;bV)eU z1tq-ZIf)R{jsk7cq(gtDXG1*HrADtxD1T$v4ClyZ7*XS9WCi1>fG4g*o0tc%Ehp@j z+(kp$d=r(Vgf0WGlF&S;1Wt`XUudWeA0;QWRjib#IFA-+<;i}+MM!!_mmp3745uIr z*gz!;bOUx$62?08S{h-z_5x(aQ!(Jtgfa>YVnU|ysBpLvy+q^DFM5fAv}lwRnSZpx zmYF6AtI?fSrLcwyR!UgQN6HImf{y|!XpVmypihX1idQ>Y8DS&F(;EFH=uRswoKoxt z%GFS>MgwQ4A&lZ2WC59Tu!e@IoClK{H*rH}BfF^Vj@F<_n!00!tm`Oz$-#9(h0Vd5 zC!scYWWc0`LA`NMKLqv``h`tVv41p%LnXQ$nA%eTI9aF^Cx=mNiAq9Or1wy|Mw^iR z&RP+88#aRiJmi2~LX7CsMiGq*I~qMj4@b~&${46br$oxOhe1*#0}h5RO9w7dR0+$Y zMpnJWJ@gBvsU`ZJg72V)7RoF51>*oFBOO|RH`M5NAR#||nmk!-y_)@_t$%TmaRhgQ zUyzzllVVIo-Vf}{P)Ek@+`G3U55G)nA@7gJlV(RATpTs|`q$z3!;ajW%#Q2XyOQDg zUOtge5nFF+PbJ}S>xtI;=c}B{7>sfs~toA0K zMYb%QO#p~ssu$G^Z3S5&T~BpEZ)=YwN>9qt75*R5?~+FQ+Pohbs)(1M}B?7+JsSbZBtvcIRT zBO`q^GS<_%6pONq+fW)`FemzZqK!$GEpLr&vCOm5HwB`<7JrD*-YO7#T8wU63ocRq z-Prc++9sjOdBC^mKIv<^Pvu=fFsAPbdQO?bAe51I6-X|1S$O0DNVAR*PNp0&M zOO!VR_%%8m!8h{8f8LQcPMO~$CE*%u#dWwgxuff(cHY#Tlw3Wv=h&TZa;;6iq^{;G zB!~%6O7M+bGkm1WLp$vz!<`N?z5qDfi6-dVa z7xJr&#=^Giobt19QHxd|+*?&3d0=ch4zJ-O?TCi!VqfuR` zjj7BQDvNYVEd7zYAQr7rKsH<=bg6 z#<&e7WPb;C{!MF}&Ct9V((j7Y%3VWhW$uX7eA|?fT9w^decPnJvapC)NI2y2FbQ9P zndAY`j&G)L?Z1-GtM9k4&>DW@FiUo?6tppPIAmW%3h@R+_@>3pat0J5K?ssFilB(n z(4j)%y}M)n!@Sbt`L7~*xfDDUW(R! zfZjFi^!2dQcMdzHyKw8muVedry!IJhBLEa1n^~hp}oEV1I%jJ>8-;~Ukf`h zk$;d_-AJjU28VnN0%B+XrfAw2G2ds}GU|H#q^;tI@7^=r50kN1RpDw^3v-BY4v*Qt1dHeme?9u<@@m&I)F| z`R(Z6^kY&!J?Gb(ue_%L6-@Bpt9A+3?0;h1t?bfQl;2vVel-PE$SZ^0g3@CqEv?#y z(qNiR@$Y}b{k0$wa(a65pMwf(gxu|*60H9GbAH;AWSZ&h^hmtBWbn$L-*b$2$pby# zIfe8}{QvR)&=FSkDGBeq;F}GX6emk&ZNh~poC5$Mq4r2(Ik9@nSJ5a~3GlnEgMVjw zJa-Q9`Yr;$HWlyln569$kBmWe$H33$Ojd2cOey#!I)OEXNqtR)-{GUp-=#(H;i|-# zi(>RBBpA6PRpu|QR|nG_*hQv-qypxx=AfT8f-;L?QtX+F0KnY<~#3IDYj+p@~=ma6K2F))o(SJGbC0@2W_s0hDow z+%Le7+9sf86*=*!xe_(BDrr4DjWHLS9jZI_l(clTDHqDozt8l@bjo&F()MUE4dlXn z4yC7LxLSZ?21kwQ#hCz=TKA+NDZf^P<0Z-oJtGMTwsR6p?ScCm0+UrI%6~ij<^DDl zTgIhAdaO}%(G07sN=|h|c;1Pa<1$xlt;1DszAcxdc3g+h_UcQ0sj2eLe|c{Qd&Qah z;F`;k`h`Nboo0C$C*S5VVkx5hOfU3y0$qI8f1 zNGMXI3j%^v=`A#YfOH7_5s)HHq=a5odT&ZE3PK=}HwL6gFG@tZ2n0BMXWp4JbI!%N z+k35NW?il4;x~J(jTpL~ChTV-e^@LoXTs3|x<&`?yHT3c5uv zEbt}wRP7p++V|?GxA|?w6WjSi_ZD$Dr3^mgaD?}2J z!^jIM%EEZ}4!4y+iFo@D5(X@TAEXoReI2E@<^Vij(-t!i_`EZZ$$#uD=W6$S7VB9z ztLPloK0Y9C5T?CRZ%Vw_+waoHtm&Ife!^TyGE`p_geq>d45$?^Q_+oS8d_a=sg8rG zMx1}_(cP~|D>~%Lrk5fIvgLi$Z^}kIr+mb_#GZh^Q*=5RzMsQIPey|&>;r4fezbAS zpMnyMB&#Z2YI^=%E4V9(>=&GZe7RDet$nsyE3uLO%l+D=;ZH^tMD<(2q$VX zJ2%ai@V$ZhJIu^2<-(zDW3$V_-nFKIcq*6%t$&{$?&Y+`ORKAZhEQtwN!Ib{0O3Nz}IRKo^nt zC;Ik?6KBVfw7_R(;unvTH@t;~u+NlqX1<4O>E-$`Zu;M;kF;Tu47n$yAhUV@gURUg z{wJ^%ZX)Hebq}fWrautRo`jp9Ie7Y5DZJw-5UE*3NpP!`>w9Zc(EDD&AT2Oj@iRAk zw7L2~jo+zWL-Z7M)+C#TSOvU^Hy^~v$h-_6pT^^>@c5$8dCCI&;~ z8vdzdXI(T(l8Rpq8~n|$vO*v&le(5S+E`9`((d?Rq@bl*<%P`B*%&Zu3|6mYgwxqD2sT?ryaq;bdx@m&Q1}zGv)Xqt=0|+pO2LhW zXPA=%N0V{5yGr1UtHise`m+WZ5g@}`Yzs-ZAhxz0w0WU<-Z4ZD^idIxGtOlxifvUr zte&>ckl_UuGqgF%jJ{jX_&{zMIzL<=_PXDfuTBE0kPu=BEW3n^blqXjOD|u2ql^>` zb@!m~s%v4b-NMC57}s))#T6lVqR{7%8#h`6e;R5xe#xV2+-hFpead`H^>hc`gKaI85T{ z53}ZlB_fApMA#X=|9t7zKH+fGVW#sb>RcpdEoxO)-nLR;ZD&tceynOTHi;;7!$n8l zWK3Gr`AL=4I5G}*5qtow>Ij)W%X`z5@lu88^RnLjLbuXVxY$#IyhX4#rAG);GA$d% z;V0kF0k(|#CjiShsb`-$6g{%*gQ7``6%vA}^b-7b4aj(3E!t8@vl}THZfgEfxF7jm zg0tlZes{rl?it1q`)Ys_S*D_HMDaF>j_bDNmr<&g$P{`F`&f2htl^-GzV>tf$&Z&U zznJX-bUjnz{b}Bqm(E#+CU>UrZyz{_u)3!cgh|0l^!1T>#AM!JS_B?cK6}h&+-9q( za-LB_wsd5bGu9E1s}(A6??pi9z%zYiX4R2lv?X(6m&xn+=iDb%p!Zkb)q}>0153yw z^sFkD&JH14TUQnV{TRG0tbRYP1IF0GI(2MrbxgZ)?gK}1K7Qq@eQp`R!4!EK8a$Uj z{-W*XPc?^QZJT54(kg*7!hfvz+bhet&#N$vCl1ec(~HFfYl+ZGDsHs(rq_F!_Km%2 z;u+h!f+q-tk3BA@ik-w8GqZm0L$-QGb32DD?TWhIJJ)uBvALZ}PwlMY>ZLf%xcqyN zJ8oe&W{5Xz4e%Fa{Fg%(|Gg_$R<`}?JJ7>Rv?1Sqs}kfv29krcC)a>BKp;6N`ttCk z9aj%Z0iiz(fv&fEG=b(oWYQ1_x^oD`e^m-SKLoN7g~Fk7Fo+CX3<4E`K!ikSB=wQb z8V>#lu&{=L6hulI0{vHlMht^2d8EL?CI}0#o_inye3_P#bVdY9Y9Jil9lX)FVGt+F ze*z*j%F6#?I!H$k8Yx-1OUS~*Ee)rU)N+63=MR>K$o$XFQ|W(!OF_1m@f@6ScwwRZ z%R@H`Y-pB?R1PCZokvZW;d)Ct$GQ(a?uP5;en2jA!A9rLNS3^solo0^?bdl%;Sd{co=k!*+Z^zj&VqSrjME`!-d9xJYQHz_4#w->yvt} z8V}VzL_O85u+JCX0YoPxzUkB^kl*_xkY->00?hoYrBNfYpwWfD4?Dmh{knmUGyA!l zo{LW@H4AeDU8HaVJUDM4oVLA|c}JbPJZXSBdQALVA0J1oLG}yl%;vP1rw2}KOIoF+ z)IqAXxA@B#r$I(Tgw?Itk%P@)W7T)Vgr*!l$*G{^PK`8!cL3j>>GPn^2fsE~|LpCI z`?l6$O6O1WWf{WCHSw&69@|rbb{WkH`@4-6N)WRN&|VbncZEP* zF=ERQ8t&sC7BU}Y%esHaU$1Sk_A2vJg{4--fve$9q7m+qcS^)PPopBD*4y-|QO?Xp zx2ADiaTDvIViCs|w>ScK-&gWFA_(i_;5(?2c_g-n27J3?#FA8={Y-s*dRuYmcZE$1 z@=9At7 zsk`A}(0SHUvF;ye+awb!e*(LI{@CEb=+`<^dO+)kZ+0`OF>=^ABZ2{X*$g zHQBWMv90NNlgG<&nkrnzuhqm5Q}p;?nXzf9l;L%rDilYMqHRIu;$DMgT`p?6Z{@nA zMOd2TcJ;8$oWXH`eW;~!*7y~#*)Pb!jQp*&kqIsgXIaCJRpJO2gAu74o7ZId+Zavh z1SBLSK+-;EQyV9U8%`#OtFF6b|08S(SiCmyH!m^H`}mKAvcjur<#C@sdR3jr_{x-o z>aX*~JTSetsf2bwnX)a_@0R+`_8Q8j^RAQl$MC4B*u3nWQX0@3(CL~*zv|L8Zq``u z!VUkDdwBARg-9Kj{7<&mM4>m#5{5u<3ScTNQeuhYIoMvhBBmzs8+Wqw(wnDDA%j2R zz5zZ_dUTPnwi3%~$Jn12%ZXJK{DMwv!dzGnXLMh{QG?4;Z4XnU=hp411m+D-x5|dT zHX;6M`*7+9XD+f7$z1%H4T}lAKP8MNuBw&`0axf%1r*e6UTSPqh`~$Af)oy!aKIM@ z#KIg0r)K%YHLVGkvLo-M;y?%Qz0McFq7;|d-(M~ITWtBJy>*9ul#l}7sPALH=W$u% zr{x`>L~TB4k&p3&_(^#N9$Z5u!r}I~+Wty;v&u=}0Ky%-+F(v4Kaq~;Jy|inz3kC!Rq#;r^G?K>dp@>Vrm7(yF^!~-w+r%80{Qo*0k%?9laZB^Rg;&Nmy(lLRg;y6 zLSbrJP)#kEni>ouEhDE4{(mL(%9n-o5Z75_4@xJMbxI1$akq@h+x70PyvgOU7Nf1Ygj zrjCh5{I(UE!St}hE(muD<$v79n(!@x^SKe*h;GH}QmH*ba8Z{jTlbpj8|Lv)HkP!# zxA)mai=XKTOaecucfYK=^@iqAd3m|5B+d(}Tk*|&)I=JWcrkc2;b#3SBEn2dUx)rS zt<*iqHP7+!rF?`@7ou87v!;knbE|t&*b?N79B;VRHURk* z8H6q>h3HS`t^71K+EUcXaep28=i#yNmwyqFe;uaKz(H zv@1~2zJMIXwd_du>===qd!*XS=YzUOQQL}Sn%U7TKFruFNTju^?@UPMR(4wlu%ms=5AHbPc=^tnE5vtcrcWx_dp_2Yus2r%G zM-Sx}A|G(2HQ9m%;Kfbv@#be^?W$CB1$@evs%J@fS%U=%Q{K5lQ=FD42}9b;f_(EP zSiEglzrUD7#Tnk8=JyeOE6(Dui3tUSPGD+oPC$)1K|CI+=_bi;OyLi&~x*A2x1FB^3j- dHrB=d-_G^N|+Ke*xZ4FLD3? delta 51264 zcmV(@K-RyxvJ0l33$R8B0y#C4!BP_gG&D7nVFW0D)mX`r+cprr`zv?^t3nzZx1*Dq zxRSDy)QoP950pqPF&C9cdhEYXF91bpl*FzaJU$6%01b4%?$=GpU>C^X^$YnQzdx>C zy!^S)flA`sqKn(6Ay;I`4~n@ z96DHk-m&bD(4?Z=fuP2v`%oEC;`#?(f20GT5N1}iQ-kvn)(<#1!hj?-@2+58w#P%a zux4dMIMuWW#fiz3g^0F~u&l4U`p^Vry&EqD_uC8kZu3g7hYx;%wiimFEy zPy7Np)1Zh|3Z4L!TE(U)g2;eI#R^}AN{jV>fNwsPn-E|B4~q0cQKT{(+XPgp0^FOi zu7^++?7j_HY!VBu8E|04aauRz6TG4v4}HgSlDV-ea8l$yz%)+@zhoIDa^#K?`qyi;C({l>TdApd<+xe)`xMbKJ#Hhw{lAHt%MEuAW|xS zE|P>TUDq`{S{GWB72bRteTY;n-eQPhU=;=~g15ss<9qvQV7cFui*|6z+~v4RYLCrf zQ_k_!cVr~M9fy(4wOBb9;eHI#9(R=-btvn%te0GQaMxl~p5RISUlf{*Ic=j$+*3wY zhX)Srv8mg-J8vv6e3G(H0FA?+QtBFi4Um@odm8-9L1y@YTONCSwWK`5>x_hqO5qes z+Ztc7@0~)}5`dgYAfRnEkDrDLN@t_jUXuP1o?kG(~{HdSPY%W8d?}mD0F_g;fbomO^(YF4co(5+w zzZ4`hRxo}*HrxB~-co{A%!Mh^O_6G%8)a3TL!3#z`}N!VyN8)F7xV_SCXL^xo2>B_$N0;?i@U zF~UbC@U^E6q7y6$Q$zQB=5_K5Il8I+u=WnU;2e$ARq-iyG1Y|{qXt;nRiMsgH4dk? z<{;aY4U2f^aIRvmL~@BC6{!np+Q^hpSFyt)4U~yhktb9lbQbH(K(VoZab^tL{u5T4 zz8h;e*p0*aoQ$POEuMoo(>6}>f=@t#%i14|U%`ub1`I zD~>GGDg~P&cx7U}{uq_fEmr)_oCT5s*rk4Ci-|?SzjKa(Y~urhl6^S)@J8~1^oo8G z;83LStl*#gYiIfYJN|`#vt=U?yo*#0rkM-rHF%MNwg3QxFz^o64B(3Sxe&vi5^+m0 zfB_2>aO{!)ACW_e`{B36<&m=&rc8b?Saf9f5Dbps3j(BXkCP8wu9`iR`$(l$N?~us z1V0z!!6m0&hQnN5uQCy8;dpLiaP?`3KtH($BXR1o(i`dO8w3%5Wixl9E{%=Kzk?XC zUmF94W8eX^AH3o*s;dZxOy}3A8wso~(tk&7zF-O4J+T$Fv?VdzHBrKaAh|=y17owO z71rA4;`?t3a{9F(TL$?zjB-jt0@Ifm*OX$0!|>CwJ~zazuLgj5mRnJL8RqsPRe?Js zH?#ZBHx%@((QvMRRg`Pxp@C}(n|?>&eA6f>E~WBZ9ENUy$#C2EbtLyc50%tFO(!)zs`dr;<;M;=QeR;X0bu9B+p{-+uu`0z| z>Ltc=#(av%$8)<)<%Rl-YT7IsxB0(~x#`BbM8w$9cPn8oQk{DgXk1QMh5dgV(11S+ zm#Le7N(3sGu}yO97-d}Ksc#vVo9|XH{suS0DL|94JQD#imx0Ry69hCcFgTN81Spf6 z41*Chdq*I-b%F{9Ex)*Wl`pea)XW;{LqWxPV9w{i&%L z=XNc1@`UX&`Dwk;N#E}ej*795CgVIr+0fEmdkoZ$5#{H#D3j(u;Gfq(^Klmjd+dGS zg}(rknl17L837E|xnsnsf*Jb;_9InBe{1&K98S%y{VmJn4!&iXd}^K$;TJ-CUdt@0 z2mG7DaH-)yWDe5_v~}1n2s+^Av3GQcf#{6cjJ-os(JqkiM-KpKX-@-m5|YE{P;Q~8 zVwCU&M?I1K*l@e;PP_@Ea$}OQLgwwUzACR_pOMI%30Iid{e;FIX z+mW!*!5}ptlW@8Po-Vd0{Lns~;b{78wQUcrKiC+o8X0xPKXg_Ix8?8QLPGH1X*_!{ zXt#$0Bl=8VL+em6LpnGcWyB=x2v{BVJ<&gr^4LWPd!+T#@O(ooY9~IM%@T)(2AMIo z$34sdnVSv;WbrUDi*Q5FHWqW*e{yr=c}`Xd${mfHLuY_jlRxX0i9*pC=@4LS&*F8$ zEx&^T+~z|(@&~D=@k%F6n+wvCMdF{)sb4%ji;}ZNlu`wiC6!4? z{kD_HC?>L>1ZkwPJx^raV!cokg6dei!AU#VR~Q3}5M!<;MN+72bZ6B}uoo#2bUJWI z_YuCx;K&4J@#rSI%ZbK@e=p_&vq-sW&<;3}HK7))31^H4=G9HbEy9NIBY#&6>~z0_ zc6hs>Jy{K7=b`>V9`em7&OUo2xzJh*n;H*h;*q2Eo6ev*Ia;@zEZFZhyy zBh9{%$Z~%rGs_fZY|-)erUrnqu5x;ne%oDjAR&F?(TUQGuT{pBe>rnEw6TK%qXz9l zfp!7sXKGH<_y?Ogha??tvD4G@Ta0tTtgWcV1r} zThg1rvt30q0mxcde^gy764c9*oQdkNW7nYyN?azFVUjj7QzG0L7=2*V*tv<^*&Z3N z`5k*N)%+Y`K#-k5GMnknz&vNiJw3f&cYu3&cBsj%0TfmJvD!7Hhn{!{Bp{gS8zKOH zu`0D^=}(Iy08L?D76M?TEj+|OmyXV)+L*TpLHTWjpqL8*e;s(Pic~8*v#rE&ysyjr z$F#xs`5$xSp(WgheC*P>DW3!n@j`zI%DaeoibS>K*%Chg}gqXE7leoHw8bA z3U*LGE|CjO4Tl*4J0gxfQt<~$94Qs<{Vmhkwqb`%8w{NU_6fJ0BWrUTX=vj&zqp-T zq()5){kQ?x9wj0{>jbFC##pvNo^P(}>C~KKE6TS!*Qu2DN|X1K+Y~MzriABsO)7(k z;fXBEYN|yba|sXJbvu#wZV^ci+I%{bC>1h)Co65!tSD{+ez&v*3H-EX1vg7-=~Ds# zclX2n-S2m(=wL4^X$7!Lt#k&&fa=h|bvdl;{AR0BL^d9KL;^MGHE#9i@#I>XcC z65v^=aJAmw5EGThj)E}2?t)?4IFd0jYaXn?Ttwd79pEV!uLxXvuPgW9|abpnx=LVn_0L=S7vyMjKT7{ zB&N@l9;mx`&Ufc^NS$~O0GbbfJ;zV|S_!^P!*|OEWHh*ZnliXTn%Qoy?!8TQp`R;K zk(ujDAGxafhGsAlRE?A#Of8%4jZ95e;ExA=e~UC@BGUBoao|Ry;}EyK`pDN7i`$$d zyRl6J1~*^u39kJUqbBA48RX8!PGV5aLV$S&a|X83>9<8+tFWm7qq~WJ0CBT&L0Qt7 zJD8tQ!(h~93kYTC$46Pve5^i)kGjE&c%--wKGEB>8ua8B{+~<#1D)}Rc^wY5cJg*J%Ge% z4(#?>b!>+KmPYVpi_jcED{RMj-Pz)48nq>O*tr9jzA=TrX)h}S1<9eAaQ$3 zKqOxch+Yq7id07-&kZLKnktJG(FzC!?MH08u6hG2< zQcDTBQAw~ z{t>rOEcr>U#ce#3EhjoQOQ53T!N8wA)Jg(>uGIs%Hd~a*f=0_?_W5P zpTPY48H{;<#zAxE$=SMj53`5;?mE2>5cEQv>Dg*QBOIEJyZVPEu8_ls*CZqueI^)U z8hU*k+Oc(o9T>sPgY1zfHSNARvcY#sW>LQs1-OfoqxW@L*F}j`w3LA!J--|rG1feC zlf6>Mj>tJm2O~cJOiNEKe)HA1?DAsUJd4OSMo*!C=vBayr)H)RZaKdy_y%8>p9ey? z`fhnCMX9Q6o^E@VC{x$#Jj)=3g(yE(+;$&yS{fB;vc&@j7uCGHq=BF)GAAOtm9Q#9 z!fGQRf>IJztQmXJjGuS^ouf|2Y@fQi+1uGe!k%dX8Ie2%>PwpKraM_ zFTW7HAp(Ds{JbII`Tv_?xREs|!-F=`p5ICsnCpZ=>C$aGlzaHLAobu2R_7_W@kY?c zvowix;K1!Imnd0&yMm5G@72C_uY=Zxz-x4WuffB}(5;(HSEs%T(GZ|{z#%M6Y9}Hm zyGvj6;02Iyzq}QKFLq7l$-~agP*|Opagj;AWb|^}x&TgKy`Luv3<^3MrH!I|q`nNH zCJxRjd-$2Obc_H%YNSs)9Gmw)$G_=nJa!jIM)Mz+f@4roFA*d6+z zaRa0&3gbh}g^TZsYLv)1gofW^LoZ6R*C3%uapCaLcMZ38)o@iYyHUzS(M#Q;>BlgD z@JHp$6nJayU+Zvpm5Uhx?RG+f2%Tfb zA2n4BT7DS}wU~nHA6!{oJ|AgFi-174R0872C4-Yk6;7}&rT$LtmRvD~a}ys@KL&=> zT6<+k%RDHsQaSpg+GM;MQ#~aBpQ@9OGRr)Qg<-Bw-9vvh6;8p&RgD&ZKtA;6Xlcr~ zLN7lne&le5%viKnL^|Ea$NoHcOuNevZ=-dXDU2Ll2{U=E0PX0Yb|^A=RvOO4Qv#~s zoa_rhF2YbfSa-UNSFf-GPvwVY%F0HuEVhTLbFE{;h0|QKT`*?NZ@ZLMn4T5K@GuJi zTgMdo=q`t`J<)$4098?cQiVoibu&zrFxR^e_EAIZ`;`rvd%=`ka_Nicw2CyhPTc=n z_;+ob|NY_gSaFm2M>*1Y6boZMNdV30e+=M@mx)9a+I2IucnofctGIGkG1_j1Q`IqT zU9+P+?6Dmv1eyLZWhF(CmRNfx%Wx&+4CaUXyZ->Hs|}nAWo~4XwLA}#pr#bFXCM0y z7&J8?Fd%PYY6?6&3NK7$ZfA68ATu&KHj`llD1YS}%aYr;@xEW7qg1tG2!H^{%_*r$ zQkz^{si{h;Y#%rhXNI<39%{y({rdC+06_}UXl&WBcTXaLW~0&XZb13uc9Kv2@l)=8 z|9bV)pZ;E%iBOrSNDAqAE~d?FF7s;I-L*IP zx__U+&=ST(KHY6+DxZFw!D9o%_dL385Qe_p!UMsI>CM(nznUpCtzqJ}`S;Ay)8;)- zE#P^(-aYJbaNlk>-R$kvKY?C35qXv?Qy{(hWG;(LmlYEWRElZa0S05IU9)hX;=7sd z?q?E+>zWPH)bZdRzi9Y_dWmc8aJJ?Z34dgJ!@nI*;0m;#4ZgxgL^XY41nr)Y;r3w* zJ?!Jm_(dE?wo8Ydd4cG+D*|mdw>&Ulj*!zD7knS~Vu7Ooe+`3kWDW8HB&iF>i&e9R zB}A#FA6qXh6htYf>jxZI1@d>EH^PS>8+%`A{f zN(dOd43X_9VV{d;ZTk8f9?^$G9zYxl(u&e=vVHSb{@#sL3g;OO!KreUo z<4lvx3lt)KuyFfgLLR(O#wxXP(0|*`;p*CTOX8`WVZrQv>wb|0GLa#vpiPhXiI*YH z)ozLw-7Fa!Xzwz`5Z1n1&soqw6*N#-jT#81aSd9=??WYnftr6hreK9wtT|9EfVe?I z7JIY-O7Er1Tx09qknntY=X8L zXgwn9P^CbDi$YC*orw}v8{xLB87P|)oZyz(>g_~UV1v#B;B>v&^Jh-caq#_yp2>yM z04g`Z&}KXL?Lg;Xwx*RDej!2KyvcKk3~gDX-A1;KwgbI@Nf5OjI2v}t38i3eUwbyQ zfk=%s1422qPR_Fc{r%Fxrn$d_izK5}@+T7IA=rg_K}x4o=_>cTdA;!3way z7H@fgRL9F1XV%+&ixH*vBqG%HOd5Tq9s|r0^RnGx-jrWYumO4E+euJ+Ws% zF0Q?UP`PH^Y#i<0L4V*5ZnjRE3AS`w+64ODJ7j@&u3lHP=@1TE7YA{IT!k*3*n>xa zk%8(UXy>^O5rsAYV_W3dZcBLgp0OJbNE=6CBj}Cug!~yztqJP4K@g+0TlX8d4bO|Z zb5C1Ga~BMgQmGPTo#0A~+op`F^%@4+9y>z?YEtilr=ggEFn`X)(xbNu>2oXccNo^* zGlDp#A=F25X*hE#V?xMLSi_-F##EtNXvkJTE%HFqGN!F{iiAPqh{doz84yxOzR3uR z>Lw=&p1kDhb-UnU-qJ0ZbwxV9Ub_qv*h!KP5tQ8U9R@5@vG@Sy<6XPBk#p;s5BSYPvsv_m>_9~@Qu0hs z&Z%HPaE`WhUd!RAIXd7-fdeQmg@sS+JRQ({=iSq?_i?coZ&-pf$9p37qx3(8&{Xd| z^&ZBl<8tJ@1Y~NNM0AnBEQ;`MPoPHP(uBZCRAs+m4F#gYjqjzlFw%%=iUV zo@Dr3f|hIikI7nFZSQ0;PR|67-_1^C>LqorKp14soqfsgF8-Do)m-zCMg`y);uSTvJe1o^D-g} z34boZLC=BS(w?+UWP|}9T3yCEOO#rq9Pg6IiY$kK9UJFk(z&Ywd~a-4dFizVzLo~8 z1bsjFmdfq&SIFC_NU^7a5PYeGJQ?9kRtXUxo;s>y2rpMm784?=%Bb4_W4>SMGrOf5 zexh9LjuIbgYEW|1L8e$1)D0^ zP!EKZbSAHzv3!;E;OW0knzQ(R_%IvyqBmiKspE$zNe3A=4*TwZz-(|=SmY{ zGb;=@Pzi~@_FR^F2=#id3pLK8;eXjo9mV&dvEmjE>F%I+)D6)3&SCHn3R1qp(Gntz zG~DP;pYMXw>inVEsc9TYVX(|e#n z*d2No3w1>wz+M#V=0a9UV-^y;ni!CoA2AFlR3a!+++~tIkY`w-Ud$f(GJp1*s`?(& zTgXkw5C42p!{!1+Y%~OU!J_^qI#!Kz%=X3Zw~vBR*i$|)7N=@8a5vsTpRCoY^HOxw z3@wJ;fFUvkNuruWU|(p6z)xdFx^}c`G3Qk+rn+3&qEkE>Qid#%1C~Tlb;LaV`6hbM zO;IZ5+t9YqPlLm@hYtHh@PFXLtId<^fW*haG}1j>cg+Vft#BrGESx0M90T65Z)l|J zSf~c7UNTDL=|)(j(&8DfqQR!9VpG5^`3LkWUyxgm`a!=WMK)+t9SfyHFZ6@h@38Xc zE(6rRvN~DLs)D+UqPl46ER&*y2#f_v)JHkmWRPFpWPqyQU_ZwC1ApXGJqG#BdJN{Q z9)pPb!zX(TJ=kMXM{QQ6n3>3p%#UF7muZqE;<_DlBQMZF>;-dK(ua&f7X<5&O_@`< zkiZ2iq)M7+V|v9g-JYm}`OdX znY9<|Z_CR_%AR|!C(b?B`<+$D-&ZoA&rAmN3zGqPRx*%r1}(8khADqs*N6N1N~&qQ z-mRK7-_9RiCsUyj{^6nR?|HlL=t?6%tm(ouK1rTf6Bg=Uw|}4Jba9NY8RKNQoU?pb zxc>vh$eMb=cRO*AFZbPqnWPq?4WmoqE62uQ!jPy2)fcTg24kNd#)_a`aGc?1jX#tecnF9$k38j$C&YAV^^ z0>fwG9_JH$K!392@mF{;%$;@6HANa-`{qr!AVyoJV-Y^Hz-u*Fj19PX5Dt@dlFDRN z{^+$$>_%UBTvZJm^3R+zG~KRQwDoHB#HTNG0YAk)TY(D@Bi%a4=TxtLKx(oLCLlQz z!IewrA%p>ci|mjffU+F_qo=}~^X`FeIh9p^UHIXiE`OH76y5RTze}umq-I#Q8kZIA z+l9Y%3=qwy-HH^H&du!eTwzP*Jb@nZj@al2T5fD@y!?SP4R9f*#Bo% zbI)m%xPVFxj{hR}JsHAH@LXZ&yG450(Jj=n7?SWOHT+ZGl#eSYL znI~njnA7BD{^9Z;zrCU)@6X~gl8XrQY0(7oS>;Kw0o|5P3J{(qr59;+J6B0l zwEAP{V(aRRPyr(5s<$XiN;Rl22TF~&%ZxEQk;$-vrcsGC(3mbvh>Us! z6sLa{cXV_DoIyJq3mTPN=zn%W8rvfxlU(#&n$1&gcyfvR0zHxniUv>NL$chF!ES~v zva6PN#Tvq$$>j4~Cgoz^+(vDz^30BqFgq@*LNoKzX68>}W@Bi~%tHfFmT|O?cYd+k zHH)y-ZD!b)OJ{)lDx`rMH-L|&doH#%i9~YS!6ujIs(Lbk$;ZUSaa9Q_&{wrh zV+Sc(caY%c3jI^wpm0$B;Vv7;2B$lgH4=P@tUB|Hq*)LQllx=fNj9 zzsV{0u&;5?P)QJu0!~9{rp6ZQE2#naN#Ll0@H`IkQa*gl@X-|F@FZOCOJhF@(^^hlrsjD z90as#8b|-ug0O0{@FytXiptg=R43Qv#tqWM)m>}%eW>e@2ocB1J$tMY1s+VIZM=}X zxEh+a=2+tijRF+6Zr$CN-M*}MZmqib;zr$x{>f6`RZdnr;Jz#z@v>U2EGGvzH+wf~ znPb&eU%4-FN`K>(c|8ZmHTKUv6m;R+YVSz%1ff^e1S!2(`^K4?as~yOwhx&U9zrY{ zONkiQ7KztrU6AO-0L4U+FVC2yr>tjWhmFU`dIOj`H3^yzpwLZ$Vssd@agSGisBSiu zh2hSWuF{2RyK-Cj8a#x?`ip1cIqb{b-Vygv*;sW9t$#&n`De~z8dbsAG{(o~KYKoa za+o?-xW`4YaSyxJjkSf+sAlz_K*%}-4YcLzJt534UAZuj#DVbIBI|Wo+fmxxFi;l` zK-DS(9A8^#ISdV;tV^V6mhRuJ_W^3^@V%sNZ%L2vtDV=Nv>Pf7rE5QAh8F@V2Y73j z)1(LYKYzDd<=W9~@e1M!)N!Q3eN>*s%k{Mjh6)AtM0l}bJf;RJC;rw^qPLerHt+1J z^n?8i^`4+Sd1a@x*B?N#X?+LtFamH9216Q*Df8qnKyC55C2%XQ!d`?Cj49?s4U<$-VBULUS>h$yM_>73sn)A}>$`P(B?caKgUh1cRw2~=3dI5w*sY6?3EOhW zpnzycw&l5*uq}z+d`4^yXDanr>^SC;e$GzFvuyP`*B5f+^)Of~7 zk1*<$e!GclI;O{^NIxpo=oSR@G$RP}$6O?v-Q8qlkFVhgB)&GzjyV(Hw-Jws*?-BR zt-A|;>e_ZFG0!M~_q1CsF7zP!rtgr>lbV0C)UX=O`%?cp0USPUz(S>|Mv?nBd*C$n zHe~00A8Zd2h7kSpfAYP68Qf#FW%%K}WiGzHcx3rg7mo+_8jGA7*hjf=){{K|0B3u& zv{M7Z-F&x=B1w?ql!$}lYAh#{05*f+AQ`)ACCUPX0cVlX6ar@ zyNwe=XdqZ*T6@zd!|8oEcYk!(bAN-E8tX2YMlD1ZbF|P|Yn_n3XjX^!mZF`hAi zB=}eFvgtC}-QnXaf7fOdl@?;Dr`q|rs|DakaMwhIPIF8?SfT4!QK!ZjRnK~~=i(YF zRi@a%?fF^Yor4-rh~4=&-OG%Gb8n)^Nt7{WuXLul9%R$6!P&=>)qe?ooXY46z=2Jr zl#j&i5_TNXzdCM@1NCQA@lB}Wx!yUe7xD+Z%Rky?N$rAptkLqcyK@F8K7X#Ro~x_p zJosE){W8_n4>$Q48`E|M2@C9XCdt!Qa^Ir}JY(*-Fl;9uz8q%6_TP!~Uk*?G42Bx0 zKA3+S?7QDnPDE04Eq@pG1$S*nd9vF#Th}^dY3}Xz$MLcX-6r_v+zu6MrwsnH?{OY> z`q+`s>C7;@9;a@-(tVG3H{P`aItRO%k*}c{*sHkTi-}!J6pWSf&O?G zOYNH7VUA>pZGW+!w#x%Q!y5J(b-45Y?HW`c``TS?Y)6aGo_~ZSb>aHHZ7Tu~Z9le0 zh)dgJ?})Z#+jegofow}lpl!lz+uh{5lcKl9j9?SpV_$n4fh`Jlx%<#9Qo6<+6tS;8 zRNqzYdYVG#9uyE{^n#<;zlQx6B6rBWY*sbC3IAHV!dvbuuRf#{M z61nf;vp=4qq5llKjI41k+s>U3W&wa=%TIY-#_LBeu$ljichM#jT@|@#?vO9asJcEd z(QhDx2k!&zEhDW-x~7|lw6D7(+@i&l^}(XI!nQ;+_J4b4H0;}@`?j;H?mF9Ge4Jsd zu>?GH~RKY?nXuGj6yV-xPy=rY=*$dZSbl)n` zwjb?F&k}pdh)iC8alLaJKL*5OgfZ&TTu{8laFWN33|0|Czwwx^o z?QyW^wK|gzJ$L1XLbKZrn;rp*gNY+~Y~0V(|8Y+1&3|Ja!5x(i4xSmKD$4;lrV{Xg z@=+_thtq!n{J9kSld(J$mx0Ry6O(X_Eq@zLbKAP{?q8v!G!rrS29aCZN%Pt_nQ0SG zFG&uRL|aTGQO}fOyT87>06`KIDAA5H?_Deq1hI?##_pO-ZYN~&{)*JUf4jbV{STui zlqb}ra&mn$NmU{y%7{b>I=Nm=K2P~5ovv^^fByl0K7YRZ zG@CO@rdxQCAK;H&S*~VZum1%g*o2aVa3v4~nar6;WNO_0*K1f_RI@oZVp`$%_~{Y` zhoao!G@q`DYI&@xymF6+wOfYcY`?#o>1mlQ*KXoiwoS})f$L_xYQ8$<&2Z*{Y*{sJ3Km`6^JWEeb%j` zO^LMAbb4PLkWQL3o8s&ZjI-+CUR0Jkh!aj9@|vQQ5hST0h9XHRQ;FgXz*#WwKOjRQ zq-Q2cjq%HR*x*CyhDiOp88y>9JJcM3+06YQMvsWm;%+wA4!M=XHrw2mFn^g&3(KNy zdmx;~aaC@9SRvZM{qGr9)9ltu#K##2d9zfVQ>hZkX-M1*xBL!r zNX&F^51^*yVv}zxoJ)Z%2p1`iPYBD(!RAl^OgFj8wtJ5mKHp?k4pB-NnI{($3amRx?-gH=oFK=)T2Yr6woD`^^&26c&1 z&<3lRR#IS%1&7S=lvLB}TI%tmRes3)kv6@JLXslxC@3Ah$3@w0<$nh2S_$pSBA|?P zgt^afA21HZ7FfT{cV35aE_0-E539U#JV632{E}kle!bS>cv*Be*=Hz$U<9Or!#Yh= zR%1=7y%97CQ@l2^2}LujLCP&~I4N$IS-{Q4U|?%|3p4L<@X1NYwqtWG&j-vdNwnyi zU6iPlz;?isJOUA4zJG`Dhb};>Ex@(c+LfF7LL^zcLt6oM_Ug`Ua%Umj`Ii=xqb1t1uR<=wR9_fckBc#9yg9& zU{-!agrqtysyzzY5;?3isseuSVYHiGQhd`qqoiuH38&w{De# zJ=lBNRaR;&etv_!wOdQe0c)Tf?T~J-P;DF))?grd@brmevsiz(vSGCZ9KL z0L)|NqqYjT+tx`n!(~_RuCM;MqOclVkc$^2lZjzwvfN&M{z@h*cmum7+UUu>UALVG z4$=;z&E(V7e}CG*qZLoL5mgR0QqK93ntP3WZ=J-mn21ZAn3Q_=_STUe&$n@Mij*EW z0i_8SY5xS=qyr})L!ngvM1&=TX@`+h?mxWeDeku5Y(&l*oZBc5^2QdQ)&$o@8PbVqhaPfR1AyRpGzs2Bz zG{QMw3SNwTA-q%m)$k}K0a{!(O7evh85ISggtdGvGw&}yZvJs$F;YvK~o>HsiBq1#pvgvU-wMZ%eQmI3O4McETw7JWZU zxYQ&ROhZ67cEOwg;bhC03&`p~PkP9r7w9aqRDX(*$0YFPX#fY!a{%#moWqHtqR-$# z5(=GY6;hDDIcw8H$;10ZR3>ynbSVE30P~?|LY`M&Fk5gB=s-Ga0nbM`$|?Xv zLbct$cIhCJ2m%@io|~FbK0*KrZYcsjPk*K9=+Lk*gJjZFggn!~h-WXU+Z{(TxDz9- zO=W^ccfxo>{&{kA5^uY>%tN{m0|yA5391wz$7_R?x=+%l7%aS-*whnK-gpf{tH12} z3UeV434yKS_Y7d*iH+_D(7*&fCV-Zg0_aqm%Nn0fT6BD1C`Sc`_c5ptXfoD4Vt?EL zfNI0CcGZQrP+F3N@iaj_J^dwQ*^bW+v z9Z1X3cYOT|?)YQxE|(-?m^SHYrhkX>%Q_eGdQssz( zp!$pOT=Hdj4qQmhi`n;aESFD-)$U_L5g5SN11`OD2OYGL>=zt;$VR3kQ!#KgpgO$e zQ1u+S@{xn{B2N=9eHkF!nsgjsKU6u*i8Bd-b}Gl`#9a=Yo#en716j~CtbaQ(!cOZW zFxOOWm-)&ke;Ki*52B~{>tg9D0gQC3th6rsqGo(~;_ zPHJ7az}LD~H4e5EidCRaJ*eKhz=9VgSmL$Qn@6|rvMx(Ssw}qZW{GfY`yPC;70Z#f z)+p*Ct;6KD+|~6PRISZ%cy^Dc--%OW5b=B`3(z^c~#}RMf*m3 zG1%J1fwms@FpwmH+e{nhJ*_HniQ9F_E%mE-eP-5#ryt|erG)6**?&jGD@^b>8#*RD z$^i`Hz%9*NXg9V=VC(V(g6agf>~~4bnL)K~Yq7Sk!=xY$s?&}%keSkOjW8DrYc!U* z?U5X?qox~hMM(~~azUR&@?DJN(gHgn`4h`P5bCooy_=pBpkC$(yUiLCSH#6uv2N1j z?SMG4v=OvFfi7o6aeo)BMMG>8NFvxE0n~Ww8ph(H#91si&3Z{ml{S{M<8aDdg(I+k zoGPr_TjFP%s&w3F9P6raG}djkjB?(#Dpp63f2%MI3$wjw-8#1A!SxMA4?z>A#9!(b zlNvrkt$=QS9kpU6u2))GcEOM93#kg<+i+|w7rfkcq8!~&w|^JIOVFvy`91k77&W>$ z8_QgpXEF1nVL~+Mpl&kL#->2P_hB5UoeR#}2Ah@Z2K3>h^XxEjv~8;RfqPZe8`>T} z?Sg=P-N(o{uz;)Jep+|U(RBJyY@0Sft=f1N#+7I9=4iVKaW_iRMBtUn8q-?-IEk`; zj@3DXne%4tLx21dr`o)%ZO3cQ>P?-Wh9`w5hpbA!#LgdmG7z_NpR;T%eM(?sWpcwHCprG_V=C?dS}+Qa5(mOMH1eY>HjK!8q*FY^+V& z5xI2-w#ntB?u~~_4yL^EpDfZe?Pp!obX%_M27h%Uxl5a7E{^s&dnmW!oNHCK|S8^}4(zdmeCJ1pfkp^L>YipFg@h74}1K>(7r>vAcCU zG=GF(&aY?N8ol3b^R#QO-!yg=H?&wUaPdA{=B}gOh5!_u00-VPoA+~CMkE zf9pzN6v?didWnKM@fX-M9^4sCW2NE~tY}#0{bxMyquY|9Z3!RfKIF7#c>6aIZ+ZJz zofOAXGqQ_;T!=-Ogm9U6kS7BjhRDiiQ(5%_{)5>Zb}?+0m->u5oso+;(G8a)kxoY; zJthSufYtJs-`re6a^3+pqA~U-+nKtdPmuK-=zkNWIYTvY2B!PU)l>>5b7S1C1^=DQ zdl=QPCj1`{NZpo`vPU}&ISMaKWo~D5Xdp5+HJ9-*0V#j&TT5>nITF6>SMWGFEJYUI zKoDS(NiqX$vWA_*?j}AcawieSma=jy>;3op6}#1z)OtngI5Qam7GGT~7K_ENify(N zN<`r_39ax)R&dc7FLV^7ED|lqMJMpcXd*#D81IrWN?3|$Bw?erJ!6G47IiON3|3ez zyj938ay);uPI#vrh>=@#PQr%(ViGZQG}q8ClMmX351+0;FtKJ7f~tG3qeG}!-xrEA|h%LU5IED(Q9rLF(g#1h{=H1 ziKGIEyhy~)gGfBT7)7#?dNGOQH6ALFAdpB}q{x3ntV%_AU{KHyH$j=oU zmzV_8aX^E*pp$YoZ+VC$$tOyF$GCL--kxL0b zM_|RBv!`KY7>Ji$^LpwmM6^64YNVJw^o?Fv3Y{&3cutv978#R7EpVMF0-FwT zujqd;hT&S`9)^FII8w_cNX2t9nU%>U&kR@yVkVZ!OyWA&8JDTK=AmWH(=*Zdo`#K~ z9mb}4;#TLro@)@9^=u)4aQxhGe;c?InTO#~cznlw9CQb5F$GIu`4>G#U?vXcgA`m` zrg7X$Cw}6&zsYqj!N#CfriB4zwK?ax2mgNpuM#WTMdt5wE&AT$$G!f=r@_@|{82o9 zEKshq-1O#up9?{v|7>zSnO=Mz3=7f!rT8)$7UwUYqByx3jK<=vl5AB-6|{fJ%UFU$MEXXmR5QFDC;j)Ea0^N|62S1kFfry z{eR^8o4wZG@$8hh3(G%mYMzNj!ghb*Ypi2UpM8vDQOYB+VGFCTHM12~dm{r$M2Coe z=O(h3Wt7v|$uNF!!_bl(p8`*YaWaf0!^qumnm!pu*M@OSn6ZV`pBa3N)Z{4bGPZAN zaDVo*t8}9N%{9N&a&R2m=6gEL{H5P!d^5XR%lCA?Jz>P@jmHTi{wNrMG)B5klFiYoOL7p zgOe|u6wOFq8m_tRznr{NRyE^%SZv8Md}^rY%~`%{P6nLZHp!@YI%r7doz9x(j}61~ zrY$Sv_eJ{8%i4M0Fw8w~9&LZrIkh$MX8k;Fo90n7^|GP5YDqI`RCce>Il)cSe6O@g zi_M3od3ua)h7FsWMz~os_F$d)aJPXl}_udZo9GDjmBOyQhaI{ZjGImo z8d1uoZ3h}{*nAiJZ@#lmHy`x1q_TBO_i7nv?oH#a*@0h{SGQb0`OmwZ@)0^**^c98 zi2L2yMzIygFkNvBEscM@jf6<%95L0X z0B%5$zcQN+i(9_WlUrUDSEIqx$z2t`d5yR!(ItYP!4y6Drd37v^LRWdIlhV}j~Q*1 zxhnHj7OE^(S;|>bRi>+~5;;{|nkc)HIuC-7d-lG}^}mnCzxNQ@O|Oc7X_il4_J8gF z)_;~GId#bs8X`a=3Nq>-oKez-AjnwhgGN0{uRQ2}7OU1a9F>K<`1Sc~Qbd}3NGV&} zfdc6q{LTf6PF7dSg3R}XJW1kPPtMB_+*)~-BgsyrNJ&Ozgf&_cIbn#TCrDx8O9HKz zq8(~>st^^Wg0UDVg0DA!S$@kL!d8V)=L#{&$^d;}b%KX}l!w)rUHYJJpbry_^x6p0 zM)Jiw6Oo6sRUf8%eR!-w!nUy_`Q&7L+H9unh@?}6VCO~_MMD&gCGyh8t?IDdtAmWp zH~CQaiDfdIjkFzUbSjDp(nV|+g&mAsC+TPpNjls!nzW1neZr=HQ3gvAfTl`>)(QxUIc)W^(4l#>+8!+gq{g8uHQ{&lggWWk#Ol%P33^#=gP8} zjz!)7`Ca+)q8yZksN7Yr{{lX=dT{~Qm16C1lNTw~WuGt7=E|Da2K_h1UAgM$R@^h+ z2VL>ceBbpj2hG=ia#lw0M#&O@EY<9zS3eNYV2V#hicrG}GdJBffa7Zjjuy{#7i znGL%4F$r)EK}+KoASjk)~Z@90jb)@mY*Kt~NpDtK=R)!k3?ay@d515}aYf^ELGS5M-Hh zGlVSB5o11Fq0>rgXLb;K*fG$-0xCVc_;zBOU>rK*r`Nj~yTt#3hvr=96wDR?Y!TS< zoqBEOwS4Q|)wO&{-`5qs%&zZy@wNElFwp2022wg01FO05cL7yiVjfoVy zJdafN?h}H4JL~559^bymnIg98*A% z9!DpocEYsl79F8(hv?g6aCES75C4%Q?FL8J9V(gN5nOqkj}XyVorCWLQ{q#bapvJq zjSk@*G($;C1=Dxrvt|qoCk6k2Zi8@Q3^<-qfNu|f322ybK!9X1NlX3#J%@(T8veM4 zqfY)51|d0s2Qi1S=1|vR)V{7`ky3LU!5@n`HXFN(7%stK4Hbt1JBYJWGFa_EJ7nM& z8!6w(GBVout)km)PGAx0SG@r72T!gQA|L7zZ0oHRe-3q^M=+I?{CQT+t*Ucf=hUSK zFdPbhXf_t08#HE!?H~&8IT%e3fh{W=3Giy+l$-;&@CRNV<`!dy-9X>r6&b+|I0#@7 zu7`|rI8X9tmmH*S*xOxU%*qMZ^IJmTe{wSNXMq8d=pd|ShixAc?Xayg;^XY3_!~;E zAPMC&H*|C;-dVdZ-YrpX36)!P07S{(7jC70X9)3$C0# z6s~LySGI;Lr@B0}Yiz#AXLLRn;zWo8Dt~jztB3>41MWT8D?*-hFG*kt+*U~j*B>X- zQTgfSxR(bjfNj|}fsfey{2eehzD!sI7unOgL${vW_dVAVCGkBN9929(T8ACP)&8?= z2&x@@|A63lukYLM!u-MS!d!j6bM8#_d!cu>${RAwIlQ)%<@1 z#L3RUn)5gCO8V-oMPzsErY_%rS)4~AzvHozZO6hqasK5G(WTn(ucr-yu(|u4?|S|Z zQm>N2ld(J$7dap>Aa7!73OqatFHB`_XLM*FG&40ZlVJoXf8AVJlN&dZe%G(y(?l`G ztigRu#5{O6e2v2qyRu^E!SVyUn=Ns~qupdnYXADp1W+iTh&sroyc>RLRu{5>L?ZLc z1E?aicQZ2k?iC5Y|MBM4-@dhMMoCS$60@O=KdakMLybb>G)Va&KarF zAs6#s-~1CqvY@<{!upB7hK6sjUtot><|a(5cgWG>e|%x8wd;H98*yAm&1U5(+@#zfPmPE}A5k!Hjmm=mFQP_$gh!TsEtX#U zJf&v@sc_CKM{#`iZSM9xUaMA^z}SzDg$1?Mvy=aR&T)W(P!3Nwhliyf4#;6m8Ryj} zd?@PsZI}Y|vD`HMk?IqQgtO{CC=p)ADZ+KCf67f)PP3pN)M(eACq1lj#_u-a$sdt- zQ#l>jxUoJ4x`f*}-afSLHy`J+Y8o18z_qvY^&?I&+&cJHTK)F4YR$bQAZL3s*sOOe)Fs#Ud;lAod$fW7myH~-lUr|}fj*hO^s~>5n-hf#=tqU?>(EGT4Q?ziY&@y;+4PoD>Mc zpabbcdRMhFhwHE530>{>o4YmM01lwBe~f;C#q{a!>J-8C373mWmM)i@9a@MC+77=_ zDS_1C$XyigI(nU^FI=}qOkw%lbHV#``}3=MSl^YHdGvQ8AB~mD#1dAa)1WWz+Tp-@ z6FNLTKdf&70iON89tjRbs{y^*L}Xh9SOe4o{X>XhQLt`VH%D*(*n&ple>a>EqJi4uXy+nQtq{Pm2t%#PMvZls@=xW84r`vkEJdn|~k+X#8Es><{ zFCi2)(+U>DQGMNTN3x&@u2@6ze->=0=}6~P5-^~lf=)~9tJ-SnxR)WmTK8~8K`|1t zA4-!HwPvCj@~dJ;97s$<@>pU?)&c||YDr|m(QH9#W5sNtYc?!q;FHzL$|z@A6r!wo z<}ekbU@k?q-ac&Bt0q&C+&df>*fjsFJmvQ3===^|BlbJL;bRb8MJM;{37nUP zUl&Z`MRd4u-5(A?V>cXfeuAc4@EVP{37LdKc%S^w)V#tuw+azpo2ImI-uLecfBQqVHoN>EW~EG>hJ?e zr5nhFQ(**`cKC>Bm9Vt*>1vn7=!n~B!=-;fmPZYErx3zmA5GLaf5q2JpGRl~+%0!$ z*8HxhtVTm;Y67hD+N#XNGShF3TA08Z>9Ir$1TX_;yVlsjKwAr&V4xyp-mJDGypbYX zU67QVr)>4(TRRx-xHrLAHb$o)QWI<7X`uqu{r<7Y3zfB0atzRvwBvx5Nbt)7nuee& zV&^B!N*awl?Tys(e>(amOAFiOiyM=!tE(lbBx8r`9vfv!M?}1fP>2t7qI;mb4cD}J z;=v_rce(We+zSP2qOv?M*gK~YjC;h!sOe}$*N1ZxmuYdttdX)jdB$73$zw`Zr&&$p zB(pQq%+3s<0mJ|h!{G7+GUmxlL&d%2s8)|(mu3#;Ad>JEf81+R9^CmEM=uB0JsC^u zE)mLiw}Cp=86MgM`Pr|Q^QE+{ci_FA>W^#7Dk#|Z?Q-XPxbff)S|MvDbdK@crSpGB z|FdeGv&(;8ee>qkZ?7<*1c~{YD~KEdA~w6-zWU`?GP{Eoa2vITr0A2Q+s*{HHHJf* z+0U>3I}~r#e@XFHXz0lBCYlAu`fi`c6z_e0ykNvuytFP-1Kh`O_vblGHK~?hMi&dU zJ(JOpzd*p;nG6T8DNlwJE7OI^Db_;AYll|9HGaLRR?+J3j;*Gz6MF;HgHV^%4eq~X zyzE{U5Tg=|_9E$jmC=fc(IDK4m|}b^%Dm=EpApG#f6J~zwRrwj5h=2K@GX_mYPXsZxBf{&`Fy)y>I5C z+8v&He=V&WpOG{_J#TF~dd4C9id2(I9Sceg;;t2qI68#{0g4l}d|+@>bM7lKe}WY+ z3l0H{<_7xl6haM9S?X1T0@A<_^sj^I(_zr1V8}{jE@gEru8OMZRe}_B7fFbcMcY|5 zi5c)K;P7-_{ea$DG6CHt;gz5*w&oGAC_^hWe_7k$JjF->gqh4Q_n{b1NW;KKVt_8X zZWNmuH%c`qz0QMzoGS`O$RQ695Q?g%#4~}r!SW>Num)m6MCQ^?;zVxksnkG7S(u1L zGtdtqbyRp>SSp{X!NOB%lcnm2PAlL_PZ6C7k$J!5VqaI3oPb$~RCGV|XfKiaRCFgs zf5jA?9LcCcB$KZN0)gnRh3J_FmmHCxrM-slH3Po4&Gt=98Qkti6WF?~aJcag|3il{ z3|Cd~JZNVxLa~(6!`Ma6hz_|1Su2xm3=C9ah_O>5JuzX}lThzNaoUgv@ot=Zs@ZLs z1WJ8O;55|M}(4XErtJ}EL zwjc_II{`7ISbm<<{{0umYGbcrDqm1g)u|iGHWj_w4=a)}byN8W9#RggFq5@z_2}EVf34P8 zT`N}&UQ?>=cBZnId!<;7gyWg%|{bqRSi;yHOA^AmEm4 z(oPoG%&@`Ot7kf`y-Y#(@Zv5TA4d{BCT?e`-r`d$%E)oGyGQ#JmQk0--D<>$MPODCPxw67nSI z&E_0C10|F8l4*A%gmm86Ih!R^XUEgs5;B)rIDNklK_G6G7L5lKSgA7t0+p*rpTT|@ zHWkGoWx`?#XrB$$S$&SJyq;6;tz_rn?Q2)q-Zk5f?ywe4+#lNX*T0nWe|^w`c2nYi z%I8!hVHX^-a0Le3SIW~8S@u$3gSc&xq$S^%nDKE^Yp);T4j#;6ftzY#(wPKtZi%*w zE=m<;lGh3#>y?GGA}4#2ab;9%llGdAg;0f)u6&l&^93$YH8v zXv}!N1O7^P1Ogo59Y%q)XS0x`1@SgQ=u}Ezk?>fPHNAxruCV?A>9hoKf(;Hh4GY#e zSSX2o;ns>$=K_0QDk=E?qe98)md{lV-svu^4eXc?)kYK`uE=X6e^=N-8jS!s2VLvt zu;v`MHob_F6sAvW0SFytf*B?yk&*szT7?6Do&Hq2_4MySNm+>raV95wwNN>SHLx%n z!REQFd6e5y>eAhlWYngaODMR-Qy5rwSnt-`_3wDn>d_xl-rtvxP@-kAPAbp&iw;%4 zA!t}}meo!vE1H4oH-mT_wIgL&Tf>s_a=I@T+_)PnT;oYn-u($}9~Ma1JoVwPbo3b& z_eVNg2>z{xe~G1KMcf>+n2GXn0SU~Vqkz`;JDmjW`=O+}*1xX?Dyit` z(Gj6KM@N1rnH@-&@Y680-(gr*69Eo`L5R_alFEx9(7)vE-;OWtBB;6z=!Ube;Z14< zejweWe;zpGPi^|j-0&XQ+2h{3ZzgO@OUv-A5AL(ZFqa8lu8K)qSgb{TnKXGlQusgJ zV<$YV{Qq8>9%#DDnd00;sI)U-P)w~C>Dg<^6yY1-TuaZyKI*X6KJyc^~;J& zT=+@O4Fji&bs_KtREbysBQ?op{GJ$o+Uhn+Vfk1-xe5@@_(dmIF$Ni95sO+7r6fzA zoq=A(w>1x^-|6c6^Lx==mv?@2|V3Uw*60NT*4fm3g!~M%yyU zqq5GEGS|_rjXtZtVr|qVF4Y)owU0Mibrz)FzmLD}{s4QkwlAtAPct}woosh!(6pCW z*UH8lqf3Pg&9}G+|M%7oEO~btVAFj`Q*&rgoN%L14)64Sww@Kg)4~J_XI>yt&U5{1 zXM0QL4Q`O~IPg*9@ka}fF1aHvS=4P=_4&`gVdW#P{KJY(x50>`jl{UoSyJRRM|v7B z@upH&*ZKskDx*HYCpGGS#lE4Csl(X6!v2Vg=%pPd)*#>DyZ8pm4agm8o`T8!Eo|dF z>tAh+nh7>J=*Pni>@D%azXQTB(j7j)hW?#Id4epaiXgQoiDjIFBjltT))=B&1Ajl` zn*NHv2|<|Ng7+!TFuW{P-+^bA=y8dQTD=4NZLQk*HuT_ERng^t)=xJcqg9KH(dL zxa4(~MaT~olTPb(HDyqag(*Tgy*#S8I!V(qXmF|Z%^DAgkZ7CLMN(w?7W%`8Dt zVq$4j6CwkdV6hK>ovZ4k%D2~>H(GBo{dEpVKX6o6$+lWr17UwaV6bvbnW@&vox>=O zAk=5_=44}&5}K8fApP70_T7-86y9MV{DJ7Yj_+8gjb_BEn}mUmX1<&Ql`nX)W$Pu4 zaOmqLu9yc{n_L_{s}WJ>;FD+c>nbVD9r&wGHqH=prZcvG!w%6l_o3l7v8N*??1zg5 z_e;_5ctdgra<2O3->}=yJ?{^5zekRvOpzQ>Hdla{(Ri{O2f598K9F%~sBPF5nq83> zY9|1p;-Q(nTs|JfA>4L;-2w_mg3;VlMyjxZ& zT7GgTs%UV39lQhbs}CI^LZQy5Gg~$M0nXX|IKJ>ds0zHRaf2I9_qos2(gMTZJsY7*qpTh0;lQ;tG#zg@vK8{q ze_U_Tn}?I&_t@k#_u)hNHwZ)LtUMXGFBw6(nO1+SSn+Eil(*$Gs3X3G^Y|Mo8-nJs z*7Ewq*+sG8GkfQkB5Umh`Uy$Q4a58pJORe7krzitoY9%kyw`$1)AX1!VUB;TEU` zNgAa9(W9PMX?zF~&XP`i5RB{^KU8jJ4k+*CGV-#2}I z{0_&QFJO%@h4o!;?&d0~=L=O@7zX8!4SatjJ1CvF08MGKKkaVoBbQsOUvs(Xarkjw zCKZ+%YTHApbM5>MWs@A*xsl1kJWKpcySm5aY0!$R>Sj~p_z%#n+7bzly3Y69ewbUF zB9n=jFLW-GALlvs0;*I}owiu)aqqK*+wDRbVbhZL+yHUF&_rWDDaDAhvjwwqp_PBg zi|j@G-*?gUOYN4UzI=-FjG=aYJMV|D{euH$SXM0CV+cp2cnHy+=O>XLc&y`Lp zWYs;lp}^-#IziyzcF*&z+aq_WtK}V6?b}s7*UZ2I83;mQ<`IW`?nSe7ybUGGcpo~? zgv~O)kzePFqD1jni{iE*$f@0H7^Hvwm~*}xn*uw(j`MxHon*VV!VD|_G*6Qw04VW{ zfnf|{@Zz*k8p86{`A$YgGDrzX=P%k|8NGO#dJfhR*pE7CjwF`IwHs<6g@ zT*6G}5=&(+Y*Bob#2(}z|0R>E?XLPu4S;@ zK@3R@LV)T+ee6hiR9hPHN41FA;1O|Q#fhF}?@iV_Y2|6(tb<+&=YH)?yi*3?g}IBmnp^5$iIB4gG!Ou%4wx}JCi)^mSg?k8@#t%A+;WIG73 zDjF*Qm4m)0gDN^yoBCMo@85Sz+Q;G3lrAWgPt~!C0J09B@mx88Qop89uV^WKx@oFCp^4Au)B67 z)p9?zBc-e;QsaNO^c_S01|j2F?*HTM1V8<-t#|bvm#!`uP;EDi5Y|XL=Q=P3{K^Q1 zT$@Y0c5TQkC zir`P&HR$BxdZ)f&+5Um5$8CU&HyhG7pZ+ul=ZUw53c`N{Gr%n}sY|#2zIFePLm8Da znALQAhX3*Xo9|!$eTrt2i6TgxVxAA+Uodk{&It)FVaMO=;N7r~5xXwSYP&pbz5JoE zT@S7fX`ZrVeb=y`>a+5N*ZNHQnX3>k31&zV3SdcBX?6#`_#G zW!GXy3SykTNalI34bs zdof`TIv0aD&QF0*m%`-5GY`*Loj#`X{no~DQ5=8a1Vmt*`SHNVsM*!dxgbeJ`m`*I zoDL2gKo@V9Lis==6%d=3;OD%?D7T$+4gmzEP^2UxU?P_G6s>`K^3<7G24h#36^k?hn_3A`1S`;F6?e$OK`Tatl)dM{1-f^5Ez<(~)MBl3MtH2>j$s zUwTC-G*C0!;BVDzwacXY)b;g_%T4G0Lll1&$ghG+NQPm>9Unp`TA+wjMLGC(!%U~Ov@qR7;_2>9+&-s5o%OH+2cMjyFW4K5`CuSgt z1uAwYxLsXStTu9PGgc#PC^^*>vWZLQ{xP%p0DLzseTd^JGSymGqn@A)7^;eBn^H|r zD8aadZXpe&05~I@SUd1c+iZ$w;9Y+y^sYo^)f0-uhywiBsMlBqqn^1rgYOyjxiDpU zN&Pvp!$0k`!W%%5E+>x? zXlnx)!oy_#pAJ(gtim%6A;!goV^M(iQvn+HliC8&j|?_$MNOHmpKf0L_Z5F?JeY0< z%oG_g!YB}JI$Q2u{r0<@t)LBDJJPQY)N=<)7d#)*rQ6xtSO4Nmp);Cv4#p5XCL;m2 zvK-NNCN1b_@-I?$*N{*8Me@m~z`f4sTb7e9~Wl{p@YxLtWF_6 z*Li;&on5+`s8{~>fG@u!{s|v&P#!>^xv^R?VIeGp3h?l~sUFMy;sZ;BiiFB0&N^kQ~b1#E`MU*K3w(rKrwMa!*JbqIL>qC z+HLUqcTTpHekSAZBZOuY8bFs-MX96UB}Act57k2Eex%n_ZUD>%yjrj`R-Y?2Qx-w7 zX>hzsV}fFvm;|i_=%IfnCXqAe|3}JkoRWhmT1e12T7kvR3YN-`b7jfV@A0Rr`w0yV zN+JWl{3=A~JQsRQ!aq^^b%;A#pA{KXVN4Dt_)1im6zsV@qvQ3P|8NX@GuJMX*|{JX zRe$F-_n58}bf-+!b?8cg9w?2-+I^T<)PR}D@)s;RjV*O)d7pm=P>3_Yd}Ytw{Y6?6 zjEn+ag7x<1=%Kz{yzQ$!XNIPb;qiGL8Z>5l!0^O0ylEdmGd&8)7cP9B>9k;j$9vCH zvO4y0)Lmt1L>;;dqooZlT|5rG=dV1C8uj!XUjV%Vya`!c33{q1!8b9_#@`j-@PHgskmK6f6Nr5F($io9 zh5xmPgs4G%WGNX0r_PspQ}_2 z@F~X&s}eVz3jBS-oL_~2fa90|YjJ7&1dgA*^b~xgD6)UA^g5Nzg;MFYFqrWb%5yPz z6(WLWjfr@cW_=kMk7(AI3QKw|WzCvDfyir65D*ztVC?5K>$8`h0#hbRWuJq{Ctm+T z_)F<51r%y;A#Nc0gz)qBEQHhUr2su5#wp^Txf5hZ5WbSiRx z#}!^B6*_JVqbmr4i0o?u~7zTHDZj*VqVZv&DZsy*k zrBO8s4$2%j!?cv**}2-`(lfe&fleJg*jWd#McWL#9le{>Dupwi(am>J6mbGFPQCmO zG9??ZlhFed0XVbqnvx3&;{4|uzXKa+3)Pd+0}}!C+0x>qTwx~f^0x>p|L8xc9U;zQN0Rk~Omlgv7O&smmPQr~{=n4c9f=Wm% zdkC%DM&wIr%EG^A#^aZN0|6O-@=WJaSEXaCEi1jW%vV-=tJ!M9?)hh-D;~CC5=QaR zuZ8B}ARbol&osbcm{wBd-Xe!$nX%H96%pKPk!k*Lk;3jXXD$D>2ex|1J|LnIkY@N7 zp$*@M9!?e*@%*F6p=Q6sKMm)`@*^gs;~PwvL{?A~69=NY#glp(vE_b$7O@0u0bBAW zW!H$`obh~r?5WOI;T@z&k>#aNT{T-k%wa=_aS*xUkHT{jCqwofAi61Pb|6?6<~{Y4 z3c;08#S9f;x{y|DmVpP(CdJmF1;&ck=W5#XAHq2PhxXz33?&q=#}jc|$NLSW0Dv6d z4iljdL;EWVj91-J3=`{rT_BeJCj}oH=rrbbQOfqL8N%Br9w9f_S~oV)6s(2+>v@MwcMn%UlvNqu)jz+r+x;e)7XQ8rF{)JSbtLNC^8r24c zz|TYlV{$umW4y_nP(x3xT@I`U6Vy{@3u3aEVALyIw85`0DqO062=H(gqefniHuPtu ztx9+WMmp`&D=;sNacC62q0oM{UyR4_zW{Pe$)+ii}A8G$Sv#3fdJ;pR{|2lOHXZ!xYyr zQzy~Z_!43}=-V1TH;4Z@QhAx@{<$F<>raf zq?O*W%sD0VqDXo91?uhU>MtTXG{lzy0|68PHMi#l0U8IF6axVhw-gNlfC&OKIhWtg z0Ts8a76Ez-0yHtVCn5oi4+1nZm*36-6}QSU0eK4oG&Pq+Jpm#EGcqujP=Emx1u-`; zH#U>81}A@fx^r~oZPP9q+jcs(ZQHilv2EL$*fwTj+sVY4aAGGD^UU+S``hQ+-`VS| z{-^7ztE#T5yY652THO>R%4!TE=8mQol8z2;3@nVyyZ{Y1M<<{OgQ%mOIe?k@FT~6O zM?oRxVqxM2baW6makJnBXjzy8l+4@!tN<2nURHm0UJgzG3lGmfJWU06R}-th6gD=0GQdCxBxAIf5Tb00E&(t7WSqVE&x_$W==kUlcg!Z-O2oK zfxpTAPbVWB3k$#;__v~|g%!{Nj_Dt{G7grG02b!|;O6d5|K;?w} z0%RP_99^6oUHDwYXJi1NE5HKiX8l*Q$={Mzz`yY> ze>-(^F)_EWH*v8AIJ*3I!}9;95CG@^_?v$Tpy2@g$5M0q3%UYK9L$;i=5YMChMA+g zgPRM`!u4-`*S{Qh2lKzE-G2tn2vGkg`ailX{|@VKu!{x2(#68!?-)!xOn`PKrgj#5 z09OkOfVG>O6E72!o4XaGql*>OzjP+|e`6W{=kO%m?d%jy?EjAMee~XrJGx^(vh=Y}#1%UZK5YSZ;=w)H940JQI23VTd{oSO0agBd^ zwgWm?C_B0W|5;A}0}C_r|M00>1I=t5EL>dy9RG1yIGF!W!GBx+S1yx|oP>zBB;9|% z1phK5{vM7w(821Tqi`@caWVhjz`uWPWfP!-o4U8t|5p4@#(!;=|JPP9`Fmbo06pe^ zw(>9W@9V$b8T?-aiHbUU`7*F@Z~z!s|0-u;W#<9#uyFeSA51fM7Z(c$w}0=z-@g9K zwgmnio`r>%g&ExXilZ4{m`zsBH@8OYg3)Ply?!&PFXtq<@y~ibXM5FwT19_@ImLIr zWRjcQ8U(rDM)Ph+Fym_10Q|li)NK+oZ{)fet0E1MpU(l5SU+^^j^eQ{g-jQrYzaAsI}8q-LxIIRw^U|nmWe?$1E>*zu4#f99Rr| zy_+E~kFyFB=htUs(V;(10=0kYeOTSI>n+FpOsF0WQo3i|F1^HDe#?(@bbIA&7w1!H zDR9TqpA$Aw4J4V0O5T6NFU3Lky>JBmR+Q_xvwE`#`cw@Rw4i1$gf)XlrM1i}QcVebm}$&S>5$ zmIT0J<`{E%IpyaJz=Fs`XDRF1;4BL~ZZ%p>TAud1R^INjgh96qydjomt1gSHgCX4m zd?E{FK(aO3tE5Rw^7J19g6m90E)>{s`DuvuV6%^vye~;+UoRfFVHj#tx8u0$t#5A> zLdL=`4hnA|NH=h))2M%N4VT?NPB%W9@@ZV{DuuD%N{8dE9qIp!vW;gd?3KYppoh_fEVK$nTSaMkL)Kl!QvF z@-{0T(i|h(|F%_{42zY1SV#n{Md6U;7s?Wj6#z-l0Q9VR(66=@M4{mxX@zZ=z@MBh;eh1EeOJRC&;Bz=5{Gn zg(|Z{XqNmUppr+(8IqOKIw(q(R89Fdm{avKXEUGGl#J4~JKx(-Y^Qt>^vVLo;x)r% z%!{{l!ruw!uMU6hy)BHa9=Q16A+(D_xAwYwpLUp!3y#U`Ke9<~9z#qUnM>>V$EW5Q z))yF;f0|po!3e<&^0MZ|=tg5qfBd!W8ZM|2G$n_#cXM{$VD6dxau-IchHX!-&){=9 z8y4DxSzG}-L_KJsY1b&>*X7kT9@aqWixPv-phJT#^F@D;^M=>&b$E*vqJ!?K1FYUY zqj4%cH*^9svb52ix8lfI5ou}T54I;ra1es8%bwc;Mo*S{IJASvKczP|F1011yCw|V z8uP*Yk>$LnJBWE7N<_<+;Mn(iT7wQuawW`#SVO5732tVwOv^PeH<%|g#KTpJ>Vo{# z(x?Z$BSwF0LP!kEgEM5J8x|)GMc%`O@untv)?I(kV&T-T`4WcXIh?{@^D*5){>}DY z7DpF+@$F>u2np@r`p?a9;hJ+f-Kdv``Edl3L%bjkxSV(VDtaeQ|3@FE`!^bj^DWaA z+cj&mYUQG^vQh}JnlICvuW7qEP*e! zkhm|;{_)VN$Ajs&{ce#B=)BSjGn{1iylzcd;hIx|TzW=A@@*25&V)`vIa9H^-J0n$ z)v~P45;~$L{PsZ` zqOX4d#(qI{&EMwhKv2D$o7%y{GXEkX9dG)1swHT_sGrcmEiSH*>C0wdU4#tm0jN=Z{T>3Q%Pe?ZgfU_x-? zshOc~&FTQ6Hn*B+m)Vb$^8+BdJw=;4 z^Q{BfE22NRS(xq{%bS0$o(S{ki2%HYL^YFUBf*Hhi7IoF-Nh!z?y_~z*?9V=@~}<7 zB|D1J21qp#byz(51)JIu6eN?(9PEFV5SUzN6|3*O-l|~pNhl8skze4gfH^6Lmj`LN ze>w~{M4MaZ#$Y+@By6L>;J==~9cD(_gj(9m+yGS7TvX~K_qVak$N8=b(_7Hbph|$b z<8znO?|UVP`H8Q2a1ASp<>#^O+E155=nyq`(@sfZZb+Oo=nQ$D2d=hTGU9((RR+0i zwb?N|y7%Z4VW5q^KMHWO;Fw(Ok0p&k-sPY0J%`TGkWrn=>1h)l+(`)I930!Ld-9Ws zYbRMzYEh|Lj~Ch-PTG!#)25O)g&=t8R8v6+kCAkz;e-+y71B|_l2qX$CAu65WOALe zW_)Nm&!kgUf`mbWY}GKA%Q1i7G&pB`zC(tO?0}$6aL38#PQWO<8$BLeEZI1SkaWs< zk~&%gQi^}lKI&h-y_l@T*rGu0Ny-(85u9wmjpo9>&d*ft0LSQERJpC$ih2y-^`98r$n!^MK`+x=|`fw+WwAxY6&OjLG^DzeSngpe@&5AlZkIhx`1w0RYAhK4&)>5?Ke{+M! zw7)i|zl*k^mL^?MdgXsVGb=y~?ViDCWabDn^|SWWy)AQ^T94#!-~&0sZqZ=aZ8PIr z7HWk@&G;$e0|17-bPhb(-uV7H*PLHmqp%huO5BAC)<3>H=b7KkWaj1~PW(Dn2#gGZ zf>#l5-_D_rF|j<|YDDUz^C7nGCh$jY8g5)9qaU{rb0LB;6fu8j(z5v-ZIib@{Nkql z`|=*K`kQ;9oU-L~DgbMngMW8LDsl>>Xf_TiJE3mFTM$tO{>KV*kG2dx0LO4I1qW%6gorUba8k8;gS`As>Fg z7hB^Yr8=X%>XLs){c-7a=1U^luR)fjZEm8XYXpmQmC6cym7dot{iXNt*^%r?`p;RY zo`z(ZuZU!Lix`t1;qAGAE$&tP0CZZBuC9B$GUng6bcRXSP2~fkCJ;gF!t}O?$hW@g z9{uO*zY}AWCef-nn+ZY-r^)MmfL95AH!8QZ0IfDAgPwox8U0z6vcL|vvhU*#;`5l) z4V_lk6^;+K>xio&jDJL~4YlHAMWQX4U{1@8Zu>UKV>YzgCSteYk69vi$Ayb9%=rz9 zsCo`vOXFwGjfP*-`+wJi^#^XEmpWni$X7fCOL&Bdp)_eS(DTl+rNEnxLf&U7IXNhLP%&onAA^6+d3 zC6#}`?+$E2)O3ZmXj`DqXETx|ibC&+TqROr*_ECWc`{X7t|qJjue!x>e|RfmPMu-= zGE}wGI^wqB>)d-Lq5~DO1F$E3e7;9QE@hvNSX-4-p@GkVh3OxapRlMI3AMw~5~da= zdpZ%gc4DJv`c;D4EM|&8_KyrOpw;)qlf{4c-(NH5$t4oFx3Xuha5Mq;Ol%K4A;Z}U zdM#)duR{llT>OHk7w`*xoUD{7L`c3pJ>t9=7f$~^sc%T`ZIMBdV4iLEQ=Cf9`>6Y% zGdCwmy1{F|V{$BoovCo8(D9sXf^hc@qTJOxO98~a5sL5@w?uL)EcfRKi6)w9pre0i zR<~8e>-a5x!}|EZX(ZX~s)Q@dd=PA+)H>Me4eP)g%h0TFCF2$U!@x5Zrcbg^aZR9< z_}qm7BZd6dOyliRm~jUnnXJ8(ZG1&a94}%sBrjG?ltP9As9qt64DSJ!{0hdyWM zSm3173iY;5=C#9xfImY0aCHsoGH>2Rq@{-nN4FIyyG5B)QlR z^!~&Z-v&$d= z?+l88Ha7Fe76qs#JdG_i(mW`tM%3J(0nF%1>TzGIBpV@T(gP$1;6SV6)pP@q=B1|( z{AAoAby>dGGjdzTL~LtI48%O6zXo0uK{56#j_j0eNMT#_Pv4iUo49{N^R7gTFrDWK zekm4(R*?Pxssds>+(j5HpN0;TsX-$`cgxM0sX);hX{oT=Nln^7VqTlWpr>I=+W3N4 zIiYjDrp*rI2#ELQ^R>FmaYQB zl}~Kz_LDeBA#rlqO89?JJu0*+q|PeSRkkx*roL?aSw&&b5yU~&mNUE1cV!bjz+Nr_ zk*Tb#2c!f~<0x;>iDBK6v_m~ZzZtAS->O3G1WmN}0DPk3GP~m;~s@}Fbk-{^_Gj^Vc~zi2m8bse>6Z4N}OI5 ze)RkhBhvQ}9%L~F;VxZ*Hpc(X8jPWLL`dveLZz(JH(frdpHuTHbArCr#oxjz^Pc)B z$2CP=4c1Y9balZoN1-!mg${&fgdK80NJ32}*+?VoSxxj{AA44-w&dV(n3{|<1zCo! z!D=p}-FiGL@FjocRb5x?2dBbNbN})|Y@+puY|sn!lAFuh>3Ud@30Zf$jN%JIvthY# zl57h+;^+NUV_fHP^eN8~{B&DChZ85A=x_uE@6n)qeGfzLTFz3E!+02OX7}Xbij?|R ztb0I58h?o|JCF^=*JtL{=z*@NXJA0sQVltw>WVdl=OKTlgPcEZ;h|#VA6(fLcxR|x z-!ADz&gR4nMO=$avW@dO8+nT#C~+DiIoCp9*3J9et$cH(jcvO*`-()0ae0gJE20wi z7ok7go3X%no>z+Iew$e39jcmzc;%Yn@6{j=(s0ty#B>9{)p_W}>Q2nvHAyc0>*+A-5 zwm_q$JX{AD?t)mUW$$SKZ9tO0#oNAy5R$+=x3KG=`&Dih~Tc~?q_ipH^o zPK6Y72?`$+Y`%k@boAyb!5!Y`%R&(k`ZwlaGfq=~5PveOr5L_3j^U*sClH(WSQrb^pOW$m^zyRMjV@cK}u^ zvJE@C-my=Hb(P=*&pDmv$aQ7wsr(T&mYww0Hlx3|yv=7Pi~g0`pW+Befj^>pej2gm8VCS?cGl~hr0jir8Vko}`q=&%^QI?$flKo? zg8v{tnj7Mx_C$YP;cJuAsBK*Q(-H#QT7vmbuTOA`r&shn6<+ikcEy~QIMM*ttIgXf zv{QQSDHTEW`fnO_$wsJM-gXvPxqSm>k^1=7mvz27(Wvgd5CvbYiU*lUyQe`=LgNyD z|Iq>!Lxww?q?Urm>@mAKXu<9-v52XRik@2cpUGoiY}l-)SLojx3Xl1eF+Sgj7N;%` z_&B^7g5I@8X(P&)J~tRR1F)&4@;!9+8%yZGvEAECz<2aGZylgXf?1HkIYm(N zk&1m7naSoOBLh}!!?S5|XuSm!Y9D1$bL&JoKfW@>5Fmm%%V)zEvDfFl-0t3gO4Wj- zUYM*Vha@7#pCI5i?JuD99Y*YtI(~#bDZb7X3U(Q__c>4#(zyW}!B106YY4-1)*m;c zJH4*!#FwTuW9Z7fl50>@0~Jl9VIBjWvh2*ZAfXAS+_-GTei571y7i_FsC-C0!9M|6p`W4 z6btn7@+n9V72!sRK=bd5I9IyKFBIFM5HUS*GLfXT`ZrSa{MSS@C|iqv0{zYGXr+@v zVMtS`X5wXsUogRscz5;skV!b8IlaL=Ie8UQD6Dt&W6C}-N6C%QA{s_=FqyJegqG(L zIFHp$-I>y?-nQH+rHK=+HoVHP&kdsG?`f3&jWh;)170{F8|^x1^; zcV2)9*bEAQSN zj#Tf8s@0MU$dPFoRF%L78?{M=BaXCHK-lxSdOZX?(R__O!Va8&z7#r3YfWY=wjvr! zqK^_I?*4(S%RY-?iDDf|=u%Rjy5-Xtgnar;1tYyf&2jY>g3|17^#wUi&;|%oFcL!m zSlw_okqvpsB>f;49|GsVbtdNacf)3?sTPpfoFXVQ$6boddqu&SV^`D@E+W9cujRzd zgrciI4HsEjn++U)d21X0@vGcn6W7!fTVZl1u=V*B82e~@jDz0ugtn?FqQ8x!%k5|=Bt*q(_RokkQ z@epAxyD?z8Ltuw1Y~Iq1>bJNh$R9zl#YMy_6UxXuISqLChlslHw%BQG9U#2j4Qpi> zi}>}|O%-?GWHWG;+T#nRFZFNr3dE07P|E!q`e7G#kVh@6#(j&<(`~it!65jazhTF`QH=| z(%rzQ6h1t#m({m&M~^MS%bVHkKryDtEb>}5owfIWDuxZ|K@$Nl>7ydPy$vwYB5K1< zRH5?WFCbR?<5#wm@%HmUH*%=L={7m)(6$Vc*yTlU^v@lBlAQj&!;dck!>w5I`FMAw zS*Z!___V7;$XQZor2ckB*zpyIL&nLVFr4EQuOr-i2Da4c2jP0uJy;f26_|i zT15{J&aWmJdF`XViK!+AwJQl_SCA->%8GnML~SBW*`X?(u-)``z8>uUC8R|VoYH{C z`>YXX5K~a%?IguIocU)iDW*~g$&Q(E+f;*p1Edopzuz_?Ywg+JL5quv%2_$Pa5B7V zGfC0fNFpDxYB3G3?XSY6g@am-!Vn_laq26H@?!-}#`_i*j=_2hU`OjBpvz7{g9$zm za(zX<_ubKU{qP(0r20K{qPG88gBD@2Y3Zmu&2Wj7@#+!4%`}zymix-UDqKpRC-~ie zJ)mA^$Z}##P8jA5LA^3qW|$C_h26)yeKq;MGk`*|VmDccE;|KoqLPPCo54%1&u%V{e8A1N5 zwK8|ar7Ejc_!i)=n!djW`dEJ{h1?qdb;K4=Bi*MPf*QwcN(l zr@K67U2$V!k5M#zL{vb=>AgPYx;3KpodqV`!g>k80Zm`SrL=~!-ik?}VbQJmlEPI3 z^*5BjW0_w{5g-=d%nrI2=LZ%~mbZ((;fQLN`5U8_`xWoK)|jJZzJ_CNwawy{RyVT= zN;EHpqjlOXQrH==7sA^jp*%|IjE@4C(dis;*j^a}hq>kSF~ zj(&siXM-6zGksI*8&(PGa7Z$)1j5aYcT)KME@gsodgQbjYrbdJy~R|2vR#**PU-1w z+kU>jF8^-SpfCjwVk+bcf+un8+ejfsp-V{IXI620f>$F6Caiq?17f08A;@J-c;eG2 z9HS~<+ceHG&)Tq2wRd%&4JKR`9v>SW=!}ZymXvJN3rK!gA2bK#v%cGn^gToQ-F-|hYw7Gzh+b1yJne!DrIl!FhJ__Z&;&JKU) zz#4kphPb!wwC_Ic%Q5ofyzHjJR`v!evg6%STQ^kQHbi~~OG9;katr<4SHTl~u>=2? z&7>!V6@!J`pP66M?!(XmkuO+;dq*DtU`7?eB-at#*@dPQ(QUf4K$vbzfwSu|Dd<# zY}AB$EL9Wj?@gkFGaP4rfgf?mb?I@jwgf#~D+Xs9&kcKjksw&hp_A9yF4516qZOUY z0x$cJq}3T?c6OfCfsYyU`lI~S7pLn}Mh;IL4EZas?dRe`=x2xNerx}wtkq;)J4otVCrQNC5{MVP3^G-T*p3mAt9GFy71Fx z7X*P1L)@e5z^7sVd9`wHnQi-W?6_kaS*(qkSVxcKL%#ZWB}yHI{paHrWdtLQmq;;O z4DJLX5C=69u<-)(Ae=r+0#3dogt*hVeEXdno6!z`!gyWq8iM^n#}cHWoF;mcOGu$z zbw+1w;e}CR$u_`gb9TpywgJsH9N{&7=(B zCZl7L*&i&(7{r9d?abmpc|0-?U&$X6aR&|ZyNbb=#j(3jvJD;Kag_M2Xyc8@>UEWh zh@H`YL1}sLTe%dGD?ImT$RCOsf)rp{Cxm zs*6A-%a?*H!X3x_Bdk~rMvy+zdV4`XkUt%2qo?$&BSMf}6qC3JU6eWr?gjUep{+q( zf>nPAt1DOe4w4M9&VB4+`G+J!U^hOHK?;npoD-5;{)xF z4vu3(Ga7EeDUp1jp3H=%kza5Xk?e&957j#%e|jP%gS@h=ii#505jb$(5`@A3$(^Ww zJm=kjAW=Y!;}`ohqVg=;LAcfI(-_4auCIv>G$1~8)J5V0FA9&#}PBk<;yP@@&@T%Ap| z(p5e_E*EK&r>a)010Agu-?|g3aNc=;zrkGXjm3IMh6)HOYcE0a$%Nqo4WYAg4QFyN zDNCsneeoGnHN}6f(UzTR=R%R`twyRiBW#gx%g_M}yJ`u~BHJ~7mwNQFsrKsL47Ap- z@`@>!Z&Yfpry3hKa(mtyTtbwCIvaVT7Boi^XNB)QHJ)PD9fR{fXo=dRwiC&JIIc0R z9X~UVXV7&h^iwa^+kXiSfCv^PY^Pk{?JS)(RS9t8Tgr;T|2`2uts!wYf%)yO;#!r< zS@h#1?#(q8_SK`C6GoI(*|gXw8eXwCS;81Ag4mM16;l>Vwo33TT|41Ozi!<&mXriJ ze8hQG&??MrOQ3u)QZEf}cdE^Qgo;m?Mt+x8nyGMsD1pR8yVG1^k^-(TxDvUOV^-z77!lC>Z3Eqjly5W&frkyw-K4Z*0*Q!AS1 zXj0r2dh^%zH~1PpfNSrcThk_FCp{g7Wz3K$eYS8LN~H}b6GCQ_8`TnjqwxxIWy^$L z1pB7@9k@V|^rI_MfpXOn%kBxrXVpwR2L`f^M4x$W zTKZ@bYSyV^e?Ff6qWuD=-0V4OUZYXeOYuAX7flxp$!fU+1}hh@L^9t{%Ax~UnOsm4 z1Lj3?&=2r$g+$%FAoE`;bHbnB8`KU(3+?alk${Iwx5NgJ@lBwA?UNMm>rgZk6+a1B z9BFqI6V(K3%UOtmEaa$~Us<_o_^OoRgjK|3ZXxJOc?j@H`D9jDS@UhAXo5slg0rqX ztz)n(_m!^ctY$1^&|_m@1I=IH4P(stdu6A@3r z!XXE%=qeXDCAian!TGvKCETWlOZB^dIfz1HID&-p&0N(bd(UQFUDq7)hso8IFhM2- z6_Y1H=8x*qX;a{>EIUiQKu^A*7pBT+9|l%79- zx7c$as7p&3*DHa<_1NYH3*!5FSYQ)|4DM+t)!px(M6P0gU}^=uA6dpp@WNZit7fU~ zE=Os>-38HWfXDEZMPWvz#a18&GBG_~vFVMo67D`_eC`(?QCb@iovvl30_iF)z>g;< z5*V7?{2MpoXLu*#41&%3MJd@hI<2BtNz4wB82 zQ{gH^x7Jek&0uPW=*`Jz(B9AVFd7RYK2PhL5>Xs~LO$P82cdghek9b%ggE)A&sP>) zv1h1!pwLcr_;%tGitXMEjFE9B>VDJc8G5qy!!>(!y&H%Duln1=Iu{qIY+|vSpJuQk z{nKrWKL5`vs&^_=Ps$ygU?Y)Kb9zRIxk&>{PVXu_*S3Dh0K8?5qn?JtVE3U}<|m>L zVQE&3{3imUGale)to2PGBFyI9gYwuz`H=_vcwt}6Gd7WEO(xKFU zQl0`+hF_M2eD%_}_nk@3^44+W&o}JVu%t23yXJ;P_?`8LWdyLKyCq{w834oHnyqgHc7CVIm2RZsvQ>!sOq8)5~PT^wpGzup^zyy z3yJJ0;%|z&11!k!&>dkiO8n%f-6_>tu1vTQ3LYj=SNar5kTlpX zW~l_f0MF7)NwdjWQ-VgrnhqqU2V; zMs_bv@!&$)zvnf~s~4I)U@9C&^FaQvXDs>zTcO<=iP}oZiTP}J$VsV{YD@eAPR-<9 zS0EPd@!Lm~0=FZ2!1*>T#ucud7-~#3l3fW_JHJr#Up8ryuJx4*bkTqJVY3q~q@1=sNF6@~kE$>|8L;D2_mx!G1!;>75Jnox5~`V|<>{0QK7TIy*_> z^+gI*gxH+7LY!yVT0@b6`?f?>54m-|Zs`wkQu}u;ep<|P-DRpwYy!7`0v%g?2r{i5 z0rGEr9^gatI9~L;{&B?$;n&$8+K7>}4^`k!Wh&oAxCMyJ{MO5N-BaLYaW$U+NcD+D zh?spJBBUsoNKJw2Q;@^nxn8hCy`?ARo>Gn!;U`!4udYP2DGxEe%hY&VV156!;B_i_ zncb!q_ohV#ZO|qxq5Zdi@vUB|;oDArX}$r|Zrim(P-^ViO%h-ma4++^^pPOj%3CnH ziQ^dJ8act8MCpSma^Gii?P|wkrrty%58BHk*8m1kPpvLQym&;BNn#x|a)sDw=Ojft?2Uzu~4 zZo9mC==797{u!TtnkbA75waD`kR2cY#RFSfx!7i|z4}sE8@Lmw91qn#H!56cM|)nn zxTDU;hA-}6)-N#WOQ{JTaMYoYM#Ju#yHZDxg{aa$m1RwA991*zdd zj0xTC&+trXQ+i|6X?#9#aHZ4+33^NNIQCe9;9XQ z_)9-^$C4{TtNg<&98gu0BmY5d5=4d2vbPE{U0(6a)9Z3vHRzakR- z7_C1RA?h0w5yLgr5UGA`^3wf*AWlTc`c9JVz`p1aO{ub--yF| z_1+JLx$ybl)6*dl^O_NunpDQly!A$P%HHijC$dpb{;j)x zIxAe?!)CVmYe$xk+Ow{BEdIH>&a<##hC|XbkTyG(`HyhT$@p3C1q3S2aKY0%sPhi= z4uoHs88?T(uZFr3BqeXi&*Yh5uF#$k;u#o+n}5M4~AStnY{JS z>pY4&8zwl(0}=>a`s!}6SVC$mb~Dzl!4xX41WAjm44R?r+h&OAEg`7u^-HhZ{>&?S zE7WH;Vi_np?A_P*8XTp{Wr(AZvx-&wS0v*Vf$Z3#(o@1c+1}E)y%NKSFP}cs2#Ym; zAAfi}jI|>a(k$+9!W;{=0LEdAaz4UBZ67e?J+q69Z-?sIblw8oV)#7K1hHdOgNsX! zIm!+W{rtmIJnv-~SzfSqpI?bBOQWyvn|VaCfz}bIej>iTpK)RUu17}A;^08O%x74^ zlinPaouRZ-8MRH?Bd5^e?9Q*)59O$TmA7)Pbac&C`tZ;b3q|A1Jbnv1^W{>pJ1?-+ zLbQ~CV>55CxG#iovH7GLSW}3$N`!-mC#ZnmhrVSwo#LLa8vOPFtn)AQFv3Dl!|Ahj za{Hn`bH2M(;c^F{O@j!P~VcExn?DsAH!e zW2-DQ$-29_-)Z80*eEv7^9uG?5@gE2CKunrfhOSpshD+=Y)%Y;db8AwjD9EGS>C)S zbl6DMK|)TocVd(H?3{FXQ<1@~7gbbdwWo7#5nlq{EYPn2u#L_MkUQV4r z+ljj48=h!3#U~}SmL!EZT2#{Zj6QLYc15Rdx5$n!p1R{6EVEU^kmrU_GI6g+I=QKB zl4&&ra-JNrDwqT;Wj4PRu~PTXuVV-At7O%34Q3S@36|P;!f@{9zd`Ce%K|h3!~6r{ zs&|~o58g^hTvvWs6R^L31WWEm%yEJ#s;2aj%&7c|igQ#GTBeOh9%I@JdeSl;Z&B>w zo^*0rFz7cPnOrY-eo&IvV}*V+s@cM+ZTx;D~TS7+ifdOJj zm1QEUF^M;(-wps8LNS&i?n>T=dw?}0(=yhWA83Ia}Y3nVuY1Ea2g(m+?O7Ca;l_kB`wq zRrx{C=A(dz?5e6Lp$bJ7IUu`u9;XE#cus>xOI)+an!UDp_Q9d$SC;u$HTqL z4KHsn^Xia)FzZDF9WXyXN~bNpj;H^tlHcNrz&eJe=g!F+8(})mSU=R0xNM$W^&Fv` z!P*vGhVvpSTnrR&QdGLXVl8(7$dg_}Avg;-0Sw83H-}%q4KXXh`sN|}#-4Q|6Eks- zTysxZo|@LhO-xk-_EF%E!*Kl-A3)4KMX)0^Ry=Wk-fltA?tg0ST5xj<8rgGQ!aOHp zY;(2;oHp?joIe5=o2{?7nT-v+^)4|d=ex)2S))Ldv8e6gAhWVI%vcixa{M0}RFr7a zbxt~S`1|P=R-DTHCg@0MN4JuGJZLHO^QX_yOJck7%gTAgQYg?syR#A3D zoYd@p5_t*2W3YZNGqyrwAIQ2E8Otp0J#!xRD}FJ;ilz-9(hK?txhe^`d8Fi1~{xvAa6S*nu_2J|B&>5tjE|SJDtdr%)p87V1K#3&wvh_sc$pa z)cEeU$)vFl?@P$t;fy`0o)^yFFE`$%9y(KKDl7vtO9lJ}`|=P!p^iEC%RFPSihK*M zsyaNsGFMALGn?0#fAPXi=7Kxh=v+6*I;ZUtZDEZvKFAtS9*Wi*t!7;`0%95_&F&Rozdt}DJ z*b#Cdq?7U%ZEo#TWfcD=OC0p;U|$|ZH_)(#zr2G{>3)rryYDoHP4GqzEqGmZ!mN2$ z!m$Q<;hF2tgA7j`uraclD1j=DL z*6TS)+%c5Ny<7~EWBy#>bUbvbg&?7is||Y?F9`U1b?`0TjZ+&l|m$xB6r~PFcv6T|2(;^Ke4qh~dzLc6nuyk1@vas=gMm2n) zfYO?t1Yh_$zdqNC``!al_pw%E$(|QyH$&{M+ojCJmt@ zwEimuElArl0O#C%FHX?0)s!8744+%Ewe;%E8Xa3#3jE{OAt_JMo3y)CJ>8eqKRE!pXBNwsH66vCjbLg}n2iGj=m)kf5p8)ptz;e(S38JA)T4TamhsU9}`; zy_+IGiaYCnwKQ9@R+*0-F!-P=L2q>2&JA>BD^MsQb_-Gxd3T+9x>vG)P(pAHmQDZz zg}OF&lP(*@+u8%a#RK%6$&>BisZ-tUVJaCk&xbbfogF$7^1loa^Ks#G$-#n2(x4DU zs9rb+v2=PXhUay>Y(Dx8lYJ$Nr7HwzzOfll_L<{D##qL;1QkN}SuARRgOf}fA!gqo z_r7gyrM`RBHbp;X&sgYx->5p%XJ(JZ8o$|aR*t7|xK;U*Gqnm0_C%AAw)4tYs1` z;wrW{80Pkf{ZN2^7AZ7E+aaUzHk{K0B}uZi~H5!7nbC`!!mMnbsnJi$}0jGJLFRiALu!Or4%mG1>FhE!@4 z!0oj=(QCQ5SMjIDNXH@_L44U7bm(qH*E88ye0n2)dhmTCeWu<;>+bOSLCkT!dJ|U` z4VQZwWw01be3=)uP>s%4EQTBU~=k4+$Y?`fXsc+(hqYSqHprd z$otHHy8DPepVE;J$8sMt@?#CttM*=6)SBNZ4 zL3s!OJMTo@puDZPJv=2`Y@W+hKg0z8*XM`^?OrK#HS?MtVxGvHZb&@R+_! zKj*5l*ox+V*m|b?f$`W81PLtmmZm?c-ECg;@w4cZ^Uysng6#D(1d&Wx8dP_O;55ma zBbGWbw+#XsrL^LefFsNIhzt1NfSlVvW9dnG^AaR9%0ourWSIq!&Q*D$x2~`VM z$?S46EKOkvgaKfnZ@p#8{c6@GSD_~eDSpFuy~ZcC@56QV>SVxC1}E?IP=_+I#PwKM zjh9{pNAh9p7SB!ti&{q;UhF12$gc)N-tab7St8Fu)=u-}N620W5MJT+2J*^*&`oh_ zGJ7nWG0YWzEKCME0QLM&Fm*s|KXkqTeQd2(!L6o@6Ndb=wNvcO#@3X_6|Z!HoAun# zW8pb<|D+S69IyfXWUWj>6^2E5M6x`selY<`8ZkAQh$_mmN`v^8JbWl;bo34a+SVPK zp29~Wi~RQT;2}lIt`517@3;zvzBW)LfmrJMPVMf0ZNh2YxDV`(&5A?kM#W|t%&snR ztZb(?H5LE%5bj&Dofx-dA*F2Af{vFGz5-7xA@%iFFWiOptJJ6Xq_GQA<(@cs>P_u~ zcJC6#AI>y#PB%lq7#MUYpUpJ?O_RkQpCHPU&JuJLMrn*oH^yfJI7_sA(b8v->m zw{9l_+<5{uHJ9+D0?D@(q5|0hmy{L(6PI0~0=T!ir2^Rk0yQ_cl&Av10+%Hs0TZ`q zs{)e&0yR0e{j3570++He0Tj0gzydk~0XCDNrW3bT!U9+WmqR@P6PK#U0!X(B#sZE4 z0yZ<3u*CvdxAMpWjslk`fB_S?lgk3u0s}ENHIv0hC=M|SFHB`_XLM*FG&40bmvI3B zDSumAa}&9`eb2Ax$C;Xn)w)ZksHu|x0S*I05g1@79y)d>@y4-(-DY6_`m>h0?R5JR z?7&RzI&~^ht1oKlyDoiSOSU1)Gp90>XVRH0C{#FA26f1^l$rE7o;uWMWdiQ|%!G(* zn>p6bWg#~Q()%nL-Va%fd=Gu(T4yrgM1MMqJ9w%kh6p~BCSshxVbOsMlI_?SkE7>_ z%ak<-t21SEWLKGT5{;wElsBLx;!z0l zKt_}4JUxnF)S67?IZmR>K)F^L!{rhuq#8H1R&3%kZ8$=-nRW^kTeeP+D22TGxz zpvgYk1n2|u%}kWwN<%5pQdB%4fti(TiV6zVtSnx{2?$bU2l^&U(p4J*(TBA5x*g#!hX3LZwHjLM?4cpc)8 z2J%wIWs%BIw5MEx9c5t&xg!Ubd_}`E8V<=<;6zH}(TFIURFJT|)g%?FtmD4e- zCS5-KQaw7YimJ@&4iCi1WPe;`_wHrl1Rep|rDi9fA%^BW2^k7$uHXw4Xmcg=B>KfO zpHxy`g<5;O0Da=cbkaX9tL#09dT^47SLK%~TQd3T>vc(LFUkXOF|NvSH3N_&dJe?P zayFSy`{gWQRl4=891M%&$(QUs$8&HkAJqp8Q%v!0(l6V!Wf)pAw13o!(LLifNjt1a z8|c`B7yn3Mw*{OqS$>azyV@g8%kW*2_ijz{-s~lLaWo!J(AE1ipOBW7A=C2%aXLS% z()Dk{@y7#kJedy4Y3f>j5Rb(ZaUT~D&Ic0H2NyuWo`xg4koR)14b3$ zQIhd#CLT>*O){wTr+@yiDto7oA3g`T1BL;Q@n_1WrF3t1HIGiq+Py=MGu1!gj4kW9 zt8Rl`({0dq)vd3oWB^dtc~i@#R=4PWo3iCn**edA5q%RG17=|2o`rCn%zMGR4@>(= z<|B^o-Af~gqkc7I7SRu$uO41e7#2XiqfszUr#o*kYp z?p{_`qn~e#V^4}{J2?OvHKtqWs}~KX=IDXf{y&gjOqRVIGiXDwjWM zE5SR!0WB+EleYs3_v8TP=hy_(~HY$6v?f?6VEYK(sE?V7FjQeCSmy8}E zLA9U6W)RuMuz$LopY{5aD>0gXEYC+}IS{9p=fJGNi^*S)p1pi{`g0eog4q?UIxTOB zMcVBUvGyVYN1Lmj1=xJMQzLZ#PunD}=C1OYkn^KZCyQ`FCY*-Wn#| z6{qWAJ2)NPU2!_rY%^J^Yx8|`a@Pqp0wimZB|#yciGNgdfM+B?fNdY$Mn5b@7n3PW z|LPWB+?x=jLA{W&3mL~iYv?OSZtY<63eKhh+uAYL*O;E}6bOGO3TVv1#%IQ2eneKR zwNEt+wHM_^dd`Oz^J)1b5kMnCG?7zM-s86wkruPQ`=r^RQpOd~}?NCs{R}mo0%yy{i)2Eu{)*#4laG=S}$ARI>tDZ+}1g z7mb(=pIl+~%Dyx_KS?Czy6w@)=g5I>*>W=_I^p;jWK`V81JJ4aK5(^ zaaH#J$Nxh|Xw|{W_<@`sG;EZdCmF6~)`!empbz2)2S??c>I^>*8?FK19khdCIy|=) z-uj+v2-}KtX-u|l6^CF!Hb>7zA4aLhV}Fw5vIFd&pV9I5`bj`o9Sm16fED~8z9>l6 zeEK|}GyYaCbtH2eI|tny*hOjuPJ0ZH`Ssrz)3Y1yG=!z2RR}>h9!)Csd#i`0%XZ~G zU#rDa9}&28O5Gv_8zHLtpfndUcrf0lV!ca+Dq`_K^;BHkSh&V!?Se9nBV(Qxynk>A zT(aWYiS{`cnMjGlnay#Aw{mI^Pa$X)lMJdkwuIC|;N<{3 zNDdPCd7NW%<>I0?{IG`Sw0HColP;hmB-7Mdstw0Mjnpjlsku_^QojUJr+;YOIahB} zooJwoNv@5`EPbj#bYTO1UURXSYpm$c;~WLFSki(1BlOGV1*-|7dHpVzh-p3fr@=k3})oC9g<$7IeZZ zAYsPEaU1C^+#dib1%u)e)_+-WA0Y|PRdVK_L{HYiB#Be&J`f|(j(uxWPi@eshTUr) zQ|%g)=9;nP_*_npb!{aju4>I=5@PPeVuMN=i-wpI5-m=qPuP$T_<>~rO>6pTO`a2l zN|S{Ff0UylFRmWH{!0`%BBpML%(0oTPJUw=sjPzh!@(@R1Q z-Xol|FRrvRNzLo)#oamv=Q#Bp73EgwNY8ypEB{=PH#RICFlg?oaOpXx6&3;&N1$Ua zoZ7hWb80$)k2*n@qXP!+9*D^?EqL(UO@R1WLqep%kw%zBygaSSt3P=1 zwrOu1+TXt{rhm+_eiF~c%b)8(Plk9yY1__Bzs1#)C&%xOSGc-gj5e|ZTsq`l7)cE9 z%532WQNvb#4y9Ufq|FUWd7Gi9U3UCF?7Vw@`sV1Q%MMc7ay%PO#v7SB#N2qOBAmz3 zoDhEBuw^=Y=sD3z5DAvH9_^xk%4=HJe{u623}@G);_J`U}Te=?ek#Xyvz91kd@b8!yq5EtT7Tz5GNnUzQj1Q8C>n`_RaqXCdZo+566vklUSPztwqfM1Rr<|Ec(Gg98493W}?1THhFO zdIPBSSuM^Mly+cKoXtn0vRZ1eKOsycJ%6UhwL3tWL;Qa(Z&B)1(VwD&J#?EK=acv} zpHwAXHl5ThlG4koVNKMm{EVS!1hoS$O<_11;5aP?Y~hc_6{)=Q&3|q; zfkr6Wsx79jg!Y>IUcGto;`cYdoSwXT#b|Z2a2WI+YJ$H;Acb_~MmSE&j&OK+BOJz5 z8(qe>!wuaL4h8d!0_kvN_nO^aJ^%CJ0xTcn_oFIihUVDFnq6A6_84^a+pp_740UZs9Kn*pRA@N*? zRzzTJbVX3M1lT{s8~7qnwgsVC)EyMfqHW1Ci@xKE)XAzBep>g#8{lTP(SHJO{+wcg z)Aj6%30tkAAAhsafbfT%RA%fZNh7!tjldc?Az2d-GcU!XrIfOeFNKr^PYHcf0NnS| z76F&f7DC{z|AiPnth;Gz>7O^@PRGTpOpA0IAgJTl>Dx_O-8>miXBAxv{2Ykiism8! zaNi6E)#WVx0wOhC2rT^|A%ER@HF-UT9S!IdTSALliCjaJRU*wQk;b-&lmv|hmCEiy zrQ4s%Z)W=|L~FN7v=42`wrLLQ6#D%s+@86wk`~rTYs-@tOVac@X<>iTzLkZq5NPsM z0&fAmAReu849Ea2Bl0HR5 zSkf2Q>63TR^rkdzm8><_Fm1A=ZIPw*sz2*|olvzuq1)1$Ra)14MYTz7`-(QZkgD$h zJ)1-ARg}zkM@cPrA=Rvt$_+C!?wFY~l)Kse;u_d}Ivil~Y<|nY-|M7WH@|hL?UD0y zUDpQo;VwfgetWd|k$=fzxAS5X=3)a`vs>x5G32%}nmshPzN?o6HG3DE{aK3*K`Sr+ zKCecIzh;e^vgR8|Qd740$yVL9S-v?$Se1oFK}VTynl(iG?v$GvFMgGT#=6sZF~o~$ z`8o5lWigqLEm9U2H7SR3rF*sLe(}SzmF}N&gU=?yTv)zoJ0Nc==US9C2)>|9wkfk6 z%G65#X4${&^nWua{4X3SC5V&J0~42k%K{CTcZHpKG~4MK$88-1wN7nq{irReB^yaK za+yS~wXv_wRFGCuLJ6aaRIRnOY8^{LqX=WE*2OfXt(H+K8q4U0R?#x8qQu_G+%xB% zd(Qpi{_~vkKF{|(?_ZyPp7WmXcSu5A99eR0NP+}`BB4+i5^i}M3NwO2jldvtmxvHN znLz=J@m6ps907&>Eh#xPEa8712^f1)d;w=_ECmpa;b7o=B$*K!O(6rZl&ENG1Rbz6 zLzp4KAS@O{p@&2S(LiuZ)PLoFdtQvB0OrIXng=5sWPS>OodB5=s8P`j0A^wFpS=#s z5?!Dy0cNHZlOjf;YU#^6#}m4Ao7#!H%1)zqsgkJGSH zxl}1oJy69EIN+(T>Q1c)JYDHq5o+jOW!jq>ev=s}WhQkhvOJ)|)r2uCrLI?$JvjJe z@%-nGJZj!`#q4nfkJ`$_0fiuu;p$;of$sUG}Th%P_OY z?-n7BwG6h2roPZRu! zUSWPb6kNI!wm{q1`=j~v8O-)Cs|$Qf@7UsS6s2f~eeV{!|0joQUN&BXx67(%RbIb$ z{WSQhtv=CvlNb4*EAh9ilBkT@$N1WQVZ?H>q|8X4|LZvyb=Gz4^js1iy~7{v)E6#Y z-{P4R-vryFCgeMRFLN@VE2X6BcSBy)&&`xMfS=GGyr7J$t^VdIo__PAn~HC(u@fSn zoBZij|4`EVa@?G;cBbnn_7(EV_)6I*@@lcN~5%4;{=kXD*U7C7@|rI{~j&ibynQBj;u6IVB)tRySj55nYY z?idE{9UZ3&+yWb>SM%+yTZ8l=i^54R_aV;cwxb58Pc45pT3e*rnyXEUK1U`4j)t?-O>)j ze27$FVmD2vykZy~mPWW~QHaZ%PU2j4Kw=~5Twni2b0?J+O#K$Vq9_GtCkXx`7m7yw z4@180l(Qgn2YLu44hVn(a5RzxGWVdyi^xPHOOnSWRKw6P(JlACL}w#JUHIQ8JP?4v zLtz9Y5{I)R*opj<@dyM8Zi_#GM_RxM2t4u!6c+gZ6486k6#6+vC?GOo{x`1%V}nj! zZfgB2?Ri4h(oR`1wai=eahiV=+m^BHV{UQB*|g3g^U+zm89?hhTQ^VF<5{VIj27Cv z!EH~@rToD6wv+qKhB`^-*@;5y1r|HYekxu+NO}gi+i36qLzW$7)!U|fyB-oh?NOuR za_Om3{_eVs7N{zeWWagUV#s{t%iny~AEM#ZTN*bPe7J8FYS^+_3JP}7nDy2{;I`+$ zP6qAozyStp|EjBK?JACFOo>-w9UDsfa=5Gjn6t&o-!8Uw#EIwJIh1c{qwCySTcbDm z8&U6T}eYAd@uHobD~XV9i1VJ>z0ulk3Atv1n#aQLDnF`toH+ zeY#eCnpM3tR(m;>G$LaP@!LxpzE^#9cKDH6MM%@njDs&V0?6i@or)X1WVF;JPeEl; zy^x|c^ng0?(m}Q6pg^Ci`s<9$;k4ip$@?SH$3~jmU(ELld&T6V#=rvTz%orfuUGa< z#)|1{CrpFj^=#cHX^R>D=}`goz8}@60auXfi20r!@heE1w{I#*5BI z#xM6YQ*1#hkhPTV;?xV7$+NjZ{>JO$(%lByQI})2VvvrZg(JKZ7a`eB-9H;@wOeeT zQybz%j`4Z!Y6CobwZ|W_i?}9RXIO4vjys_|XWO^(>8Mu^)6q6(-naefeY-OpAHpqu zfIuP_LR{RX6+B%oXBlUv`R`tQf9wd{DrC1}-g@SUrZqG^P;KDXKn73Tc?~0pTOkOJh#57 z25VWHDCZuvYms6-lVLr(I{Cs4EMr0aV)n z?I=Kf70?m5ifLE5a>fD!Po+7u^1*s(Lho9L0!>5+MddBVdRVAOizCA_4R# D7Gbpx diff --git a/tex/shifted.tex b/tex/shifted.tex index 76a50d3..3c1c416 100644 --- a/tex/shifted.tex +++ b/tex/shifted.tex @@ -4,10 +4,18 @@ This section presents the adaptations of stationary iterative methods for solving PageRank problems with multiple damping factors, as described in \cite{SHEN2022126799}. The goal is to determine if there are implementations of these methods that have a computational cost similar to that of solving a standard PageRank problem with a single damping factor when applied to the problem with multiple damping factors. In other words, we want to know if these methods are efficient for solving PageRank problems with multiple damping factors. \subsection{The implementation of the shifted power method} -% Inspired by the reason why shifted Krylov subspaces can save computational cost, the authors of \cite{SHEN2022126799} investigate whether there are duplications in the calculations of multiple linear systems in this problem class by the stationary iterative methods, so that the duplications in the computation can be deleted and used for all systems. It's some sort of dynamic programming approach. Firstly, they analyze the Power method applied to the sequence of linear systems in \ref{eq:pr2}. It computes at the \emph{k-th} iteration approximate solutions $x_k^{(i)} (1 \leq i \leq s)$ of the form -The authors of \cite{SHEN2022126799} were motivated by the idea that shifted Krylov subspaces can save computational cost by reducing duplications in the calculations of multiple linear systems. They therefore sought to determine if there were similar opportunities for optimization in the case of stationary iterative methods applied to the PageRank problem with multiple damping factors. To do this, they used a dynamic programming approach, in which they analyzed the Power method applied to the sequence of linear systems in equation \ref{eq:pr2}. This method computes approximate solutions $x_k^{(i)} (1 \leq i \leq s)$ at the $k^{th}$ iteration of the form: + +The authors of \cite{SHEN2022126799} were motivated by the idea that shifted Krylov subspaces can save computational cost by reducing duplications in the calculations of multiple linear systems. They therefore sought to determine if there were similar opportunities for optimization in the case of stationary iterative methods applied to the PageRank problem with multiple damping factors. To do this, they used a dynamic programming approach, in which they analyzed the Power method applied to the sequence of linear systems in equation \ref{eq:pr2}. This standard method computes approximate solutions $x_k^{(i)} (1 \leq i \leq s)$ at the $k^{th}$ iteration of the form: +\begin{equation} + x_k^{(i)} = \alpha_i \tilde P x_{k-1} + (1 - \alpha_i)v +\end{equation} +after $k$ iterations of the Power Method, we obtain \begin{equation} - x_k^{(i)} = \alpha_i^k \tilde P^k x_k^{(i)} + (1 - \alpha_i^k) \sum_{j=0}^{k-1} \alpha_i^j \tilde P^j v + x_k^{(i)} = \alpha_i^k \tilde P^k x_0^{(i)} + (1 - \alpha_i^k) \sum_{j=0}^{k-1} \alpha_i^j \tilde P^j v +\end{equation} +Using the same initial\footnote{Note that, the option to choose any the same initial guess $x_0$ for the $s$ systems is acceptable since the Power method converges for every positive initial probability vector \cite{SHEN2022126799}} approximation $x_0^{(i)}$ for all the $s$ systems, we can write +\begin{equation}\label{eq:pw-it} + x_k^{(i)} = \alpha_i^k \tilde P^k x_0 + (1 - \alpha_i^k) \sum_{j=0}^{k-1} \alpha_i^j \tilde P^j v \end{equation} If the $s$ systems in \ref{eq:pr2} are solved synchronously, this means that all the $x^{(i)}_k$ are computed only after all previous approximations $x^{(j)}_{k-1}$ are available. We can now rearrange the computation efficiently as reported in \cite{SHEN2022126799}: \begin{itemize} @@ -23,7 +31,11 @@ If the $s$ systems in \ref{eq:pr2} are solved synchronously, this means that all \item compute and store $x_k^{(i)} = \alpha_i \mu_1 + x_k^{(i)} + (1-\alpha_i)\alpha^{k-1}_i \mu_2$. \end{itemize} \end{itemize} -This implementation requires at most $2$ matrix-vector products at each step, which is a significant gain compared to the $s$ matrix-vector products required by the standard Power method to compute $x^{(i)}_{k+1}$ , especially when $s \gg 2$. \vspace{0.4cm} +This implementation requires at most $2$ matrix-vector products at each step, which is a significant gain compared to the $s$ matrix-vector products required by the standard Power method to compute $x^{(i)}_{k+1}$ , especially when $s \gg 2$. In particular, it can be found that if $x_0 = v$ then the vector $ \tilde P^{k-1} v = \tilde P^{k-1} x_0$ is available from the $(k-1)-th$ iteration. Accordingly, all the approximations $x_k^{(i)}$ have the same computational cost, i.e $1$ matrix-vector product, of solving one linear system in \ref{eq:pr2}. The Power Iteration formulae \ref{eq:pw-it} can be rewritten as +\begin{equation} + x_{(i)}^{k} = \alpha_i^k \tilde P^k v + (1 - \alpha_i^k) \sum_{j=0}^{k-1} \alpha_i^j \tilde P^j v = +\end{equation} +$$ =\sum _{j=1}^k \alpha_i^j \tilde P^{j-1} (\tilde P v - v) + v $$ \noindent This was of course still a theoretical explanation. An efficient implementation can be written to compute and store $\mu = \tilde Pv -v$ at the first iteration and then store $$\mu = \tilde P^{k-1}(\tilde P v - v) = \tilde P \cdot (\tilde P^{k-2}(\tilde P v - v))$$ @@ -34,7 +46,7 @@ at each \emph{k-th} iteration ($k > 1$), and then from each approximate solutio Since in general each of the $s$ linear systems may require a different number of Power iterations to converge, the $s$ residual norms have to be monitored separately to test the convergence. \vspace{0.4cm} \noindent Now we can summarize the efficient implementation of the Power method presented in this section for solving problem \ref{eq:pr2} in Algorithm \ref{alg:algo1}, as reported in \cite{SHEN2022126799}. From now on, we'll refer to this implementation as the \emph{Shifted-Power method}. - +\clearpage \begin{algorithm}\label{alg:algo1} \caption{Shifted-Power method for PageRank with multiple damping factors}\label{alg:algo1} \begin{algorithmic} @@ -50,7 +62,7 @@ Since in general each of the $s$ linear systems may require a different number o \EndIf \EndFor - \While {$\max(Res \geq \tau)$ and $ mv \leq \max_{mv}$} + \While {$\max(Res) \geq \tau$ and $ mv \leq \max_{mv}$} \State compute $\mu = \tilde P \mu$ \State $mv = mv + 1$ \For {$i = 1:s$} @@ -66,7 +78,7 @@ Since in general each of the $s$ linear systems may require a different number o \end{algorithmic} \end{algorithm} -% \noindent Where $mv$ is an integer that counts the number of matrix-vector products performed by the algorithm. The algorithm stops when either all the residual norms are smaller than the tolerance $\tau$ or the maximum number of matrix-vector products is reached. An implementation of this algorithm written in Python is available in the github repository of this project. -\noindent The algorithm stops when either all the residual norms (a measure of how close the current estimate is to the true solution) are smaller than a specified tolerance $\tau$, or when the maximum number of matrix-vector products (multiplication of a matrix by a vector) has been reached. The integer $mv$ counts the number of matrix-vector products performed by the algorithm. An implementation of this algorithm, written in Python, is available in the corresponding github repository for the project. -\clearpage \ No newline at end of file +\noindent The algorithm stops when either all the residual norms (a measure of how close the current estimate is to the true solution) are smaller than a specified tolerance $\tau$, or when the maximum number of matrix-vector products (multiplication of a matrix by a vector) has been reached. The integer $mv$ counts the number of matrix-vector products performed by the algorithm. An implementation of this algorithm, written in Python, is available in the corresponding github repository for the project. + +\clearpage