From 216d70cd7338d647e82ffc3d0d5b877a63573879 Mon Sep 17 00:00:00 2001 From: Thomas Walker Lynch Date: Tue, 7 Jul 2026 18:25:40 +0000 Subject: [PATCH] seems to be a bit messed up for the divide section --- document/TM-2026.html | 132 ++++++++++++++++++++++++++++---- document/divide_0_0_example.png | Bin 0 -> 75972 bytes 2 files changed, 117 insertions(+), 15 deletions(-) create mode 100644 document/divide_0_0_example.png diff --git a/document/TM-2026.html b/document/TM-2026.html index 43a8e0b..d42b437 100644 --- a/document/TM-2026.html +++ b/document/TM-2026.html @@ -1025,7 +1025,10 @@

We pass our two natural number ASTs to this composer, and we get as a result a newly synthesized AST.

- (defparameter *primitive-five-minus-3-ast* (primitive-compose-subtract *five-ast* *three-ast*)) + (defparameter + *primitive-five-minus-3-ast* + (primitive-compose-subtract *five-ast* *three-ast*) + ) ;; *primitive-five-minus-3-ast* evaluates to: ;; '(progn @@ -1105,15 +1108,19 @@

This technique of composing Turing Machine programs in the presence of simplification is closely related to that of symbol computation and expression simplification that we find in math tools such as Mathematica. We can imagine our Turing Machines as functions with names, and then symbolic computation leave them unevaluated as here. Then the the Mathematica Simplify is the compiler optimization simplifier as above. A difference in these two systems is that of the functions being reduced to Turing Machine head and tape transport unit commands.

+

The multiplicative inverse of the additive identity

-

The multiplicative inverse of the additive identity

- -

Generally it is more efficient to perform arithmetic in the first order. Also, it is easier to write Turing Machine control programs is we take Natural Number arithmetic as already available, say, from a subroutine library. Where second order computation becomes useful, is in places where a result can not be computed.

+

+ Generally it is more efficient to perform arithmetic in the first order. Also, it is easier to write Turing Machine control programs if we take Natural Number arithmetic as already available, say, from a subroutine library. Where second order computation becomes useful is in places where a result cannot be computed. +

-

The IEEE 754 floating-point standard includes error algebra tags. These are explored in depth by Popova, Evgenija D. "On a Formally Correct Implementation of IEEE Computer Arithmetic." Journal of Universal Computer Science 1, no. 7 (1995): 560-569. This is a form of second order arithmetic, because each of the error tags is standing in for a machine that did not complete. When a computation fails to result in a first order object, this becomes a gateway for replacing the result with a second order object. +

+ The IEEE 754 floating point standard includes error algebra tags. These are explored in depth by Popova, Evgenija D. "On a Formally Correct Implementation of IEEE Computer Arithmetic." Journal of Universal Computer Science 1, no. 7 (1995): 560-569. This is a form of second order arithmetic, because each of the error tags is standing in for a machine that did not complete. When a computation fails to result in a first order object, this becomes a gateway for replacing the result with a second order object.

-

Let us take for an example, the multiplicative inverse of the additive identity, as an example, AKA division by zero. In the second order, when we divide, say 6/0, the machine will not reduce. It will return a second order value:

+

+ Let us take the multiplicative inverse of the additive identity as an example, AKA division by zero. In the second order, when we divide, say 6/0, the machine will not reduce. It will return a second order value: +

(divide 6 0) @@ -1126,32 +1133,127 @@

The result will be:

+ - (multiple 2 (divide 0 0)) + (multiply 2 (divide 0 0)) -

There is no special help here. The divide machine can not be run to produce a value as any value from the field assigned to it would lead to contradictions. For other values, x·y=q operations, when given an x and a q value, there is only one possible y value, and it can be recovered with q/x. However, when x is zero, and only when it is zero, q is solely determined by x independent of y, so y is ignored, it could be any value. There is no way to recover it from q/x. +

+ There is no special help here. The divide machine cannot be run to produce a value, as any value from the field assigned to it would lead to contradictions. For other values, x \cdot y = q operations, when given an x and a q value, there is only one possible y value, and it can be recovered with q/x. However, when x is zero, and only when it is zero, q is solely determined by x independent of y, so y is ignored; it could be any value. There is no way to recover it from q/x.

-

We have been defining a function as a Turing Machine given inputs on its tape, doing a computation, running until the halt state, then stopping. For example, consider a Turing Machine given the natural number, t, we would denote this as y = f(t), where t is the initial value of the tape, and y is the value left on the tape after the machine halts. +

+ We have been defining a function as a Turing Machine given inputs on its tape, doing a computation, running until the halt state, then stopping. For example, consider a Turing Machine given the natural number, t, we would denote this as y = f(t), where t is the initial value of the tape, and y is the value left on the tape after the machine halts.

-

Now suppose consider a variation of our one variable function example. Instead of placing t on the tape as input, suppose that we define a new Turing Machine, say \dot{f}, where the initial tape is given a value, and that t is the count of the number of times we call \dot{f} without changing the tape. Thus after one call to \dot{f}, the tape will have the value of f(1), after two calls it will have the value f(2), etc. Then apparently the machine \dot{f} adds the first finite difference of the function to the tape upon each call. +

+ Now consider a variation of our one variable function example. Instead of placing t on the tape as input, suppose that we define a new Turing Machine, say F, where the initial tape is given a value, and that t is the count of the number of times we call F without changing the tape. Thus after one call to F, the tape will have the value of f(1), after two calls it will have the value f(2), etc. Then apparently the machine F adds the first finite difference of the function to the tape upon each call.

-

Now imagine that we have a second machine \dot{g} that also creates the next value of a function of natural numbers, each time it is called. And furthermore we would like to know the function, (divide \dot(f} \dot{g}).

+

+ Now imagine that we have a second machine G that also creates the next value of a function of natural numbers, each time it is called. And furthermore we would like to know the function resulting from the division of these functions, (divide F G). +

-

This is all stated rather abstractly, so let us consider an example. Suppose that f(t) = 2^t - 14, and that g(u) = u - 9. Here the free variables, which are the call counts, are independent. So when doing the division we don't know how many times \dot{f} and \dot{g} were called, and the call counts can be different. For the division to resolve we describe the synchronization between t and u. So that our example may continue, let us suppose that u = 3t. That says that each time \dot{f} is called, \dot{g} will be called three times. +

+ This is all stated rather abstractly, so let us consider an example. Suppose that our machines evaluate the functions f(t) = 2^t - 32, and g(u) = u - 15. Here the free variables, which are the call counts, are independent. So when doing the division we do not know how many times F and G were called, and the call counts can be different. For the division to resolve, we describe the synchronization between t and u. So that our example may continue, let us suppose that u = 3t. That says that each time F is called, G will be called three times.

-

So for the first differences, we have \dot{f} = 2^t. The initial value when t is zero, the value written to the initial tape, will be -14. Also, then \dot{g} = 1 the initial value on the tape will be -9. We got the initial values by putting zero for t into the functions, f and g. +

+ So for the first step, the initial value when t is zero, the value written to the initial tape, will be -31. Also, the initial value on the tape for the denominator will be -15. We got the initial values by putting zero for t into the functions, f and g.

-

So then calling the machines 4 times results in the following values:

+

+ Let us observe the raw integer sequence this generates over 10 steps. By retaining the unreduced fractions resulting from cross multiplication, we expose the underlying structural patterns driving the division. +

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
Call Count (t)Quotient f(t) / g(3t)1st Forward DiffExtrapolated 1st Forward Diff
0-31/-1578/18078/180
1-30/-1266/10866/108
2-28/-948/5448/54
3-24/-624/1824/18
4-16/-3Undefined-6/0
5(divide 0 0)Undefined-42/0
632/396/18-84/18
796/6480/54-132/54
8224/91632/108-186/108
9480/124704/180-246/180
+ +

+ Notice what happens at step 5. The first order machine crashes because the raw arithmetic zeroes out, leaving the indeterminate (divide 0 0). Because computing the first difference requires reading adjacent values, the difference sequence fails early at step 4, unable to look across the undefined gap. +

+

+ However, if a person observes the unreduced fractions before the crash, distinct structural patterns emerge. The denominators of the differences (180, 108, 54, 18) decrease by -72, -54, and -36. This forms a perfect parabola with a constant second difference of 18. Extending this sequence yields denominators of 0 and 0. +

+

+ Similarly, the numerators (78, 66, 48, 24) decrease by an expanding arithmetic progression (-12, -18, -24), which implies a constant second difference of -6. Continuing this pattern yields -30 and -36 for the next steps. Applying these gives extrapolated numerators of -6 and -42. +

- +

+ By isolating the sequences, we fill the logical holes with the extrapolated differences of -6/0 and -42/0. The reason this works is that though the first order value goes to zero over zero, constructing the logic from the underlying finite differences separates the operation into predictable polynomials. Even though the discrete quotient still hits a division by zero at the gap, these isolated polynomials give a second order composer the continuous structural geometry needed to bridge it. +

Address diff --git a/document/divide_0_0_example.png b/document/divide_0_0_example.png new file mode 100644 index 0000000000000000000000000000000000000000..2ab5f6643cebb8eff60b58d8eebca14d9e144265 GIT binary patch literal 75972 zcmeFZcRZJW9|o$Sp+N~Hp-4s)k(805vNEzVi)53Tt@KkylvPNPk-bOAED|YuWQT0o zd!6h4)$^R^oIlS0=e&;B^Yo;L?|t8&&-?R!U+?R>-nXaR^{acxXvs)ONcKov6H_1| z*_KK|vW0TTHvEf7g-;CrXRFmE3B?`wa@ujn1K%IA7FV^tVSd;8{%uP=5`8msQ$0>A zT}wSZGb;mg>xnJJ!uX-%#1CDz)VpnMXl}-+XlSZO!gHGEEaz!{{6~@d+tu5EE6j3mfaS*YH_d5t)3+OLjw2@mhG*3+HeCVwYZg(aM-O(_DHh z zXwvMA%}ZTzF5Gp1L-{17*#CZ=zbMJOdN`ri-m`+jT6>wiAL!+M*y%Kv^q^cmHH|M~r6$6lBI|F`h}l~q`- zqQ7NmxYO9!IFRkewiwAEx4b+7tzs9StIz0vPW4q>la?-fec?W@AIJa3jB}qQr&iF( zoBPeo%nZ5;1ZerqcJJEdt+D;vmoFtTQZEs)51Fp|GIDWU_rD`?Unxc75G9NB#i%Pj zw@gf)=H{L|sa-_3eJ@?Dtx>cnr+SXq%)qxM+P$vbc?fv_!mXZkI8jhF!QY#p62`QI505qn79?Q&ire#vK8gtG~D-p zYpf^B{5dDxVVldnsJd~4Y7ZgOf$^wZ-#O>g?cUDr#SlhwJ+y9Bch%`4>N?Uplz$U;(RlFL;)VZmOyE;z?Om(;_sS+OiB) zGww*d=|8Rioo@Hxv(j8I!oqetIyyS7F3NKiIj`7enYJsR{`~aNnKZj89iIV-`U|*d zf=VhEjd8=fJ&{pSnL<}uQZ2eUwr}4~Cum2pZQC}>sfuR|QKFBwU6YY%Qn>p!MbuM{ z*(-gpHT~zGe;ApW#r!`~k*MChSz1xCeQIjzAkUp0v$MHP&F`b-qprB&|685>L~hWM z@|v0_ay7xAF4CYgpHDee%Lg%G=jdpB;kf+o-@hZL2EM(Dl6!l}K5WnM`4H*Hnff(k zz2oigYclBs1qHXJudOWXB2!sjUN-oV5i@i!S^a(UHM3|(JD&!bBj>Ft4y2GoD8?)J zuYJ4z=Psi;G7_#iI5=RjSbP~oeBa5uGP;vdA0yRQBeGGJu3K@-*f`NofOUcj8MwXW zsgKXhY0Bjns_N>x*jUvMwwzwnoC)LB{Ra;n^8CDuiv6Es;$Hn0X9F3=+TY7kB&wv+ zCnYEI3BULD_Kq;6BN=N=zf7?*RlzXziCo0P_tWUo!lRaRoq?STq$JYP($l9Y|0dLL z4cmpYdE3%%Z=pMK#L8*Lo8}a8b`bJM`S_^V*x2lrrjL6aVB1VdNf{g*9C4@8-=HyW zUxH%1|M)qZ(dP2XfD_yfvj$_`#oBGD9tU`=2Bb?H8ia*~*?p*v9P!y$Uy+@Cd_sMj zWTHl%qb zscUmB+O(C=tjSX?>Yp#4xxm75#d;#2oI$w1b({a6Lc=OjZ{CzZrJSO%^URqub^Ha+ zE7Y&fnqD$6VErB@5H(q%_w|MN%KUg;s!)CcCfnEBoiKtyPT#Tnr%l)F0_)=9xCbF@bsWFC)KCe{JR_t1= zu%dM6(4o?+A20wQ`GI$eAB+H_ozCijzB9*L^rW=vKH)xbTrpn>N+9wA6SN+D%>R z6F*yjq~No}<&m1PBNuEVR8qC>Sz7vg6FCSs%04LZH!8hn@Bi)y8TVFyZ&n^AU^Tfo zr5m&TIx?;o6-Sy*Ioa+*JX`xd`viR0IsK#d?PYnSXTi>uN74L_^Cley_LTVWf6~*r zzrVilMBJO&@B(MOTXZxt-FfS4F}mIe8f|Uu+0hnq(p}Vnj>*Vh2hZHyy}G&@eeDJ( zPsnbWS7*zExpn0V9c%<0W_Muy6%tBhyTgSX=XZFiU=73(`xYznrasj_-d^5*;FOjI z*Zj{<+f9CC9B(;AcIf;wfrXt_NH{*tH>|g zu3x`yw=&O(pHDMvU@?vT3r?5?oYQYzy0m$DcKFfPm#3t7Dnt2<)9!wwP15|JoaHPZ zz#@}&t90|~@@T4m_0_g?{TlkQADLI%4dsOA=f~Bb9_HV>ot$3m;>8EI%!BqZUAfip zP6mf1<^|8H2v5k<#48ePPxc=9i0Ir}9<5dAa2q+1HYC$(@Vi@U$QgacfJ#e2uCr&U zk*XW6T@MtQq>X*mRqXm~X=YG&eRZkry8E9{y%sfFw70CH;?uWpG8rG6UT!0&e~QIE zdgjcH$+ig5N43SSu9bt#k*g;J1vO^x7KMZya+n=@>;BZEabco(;}|cmA_Wb{X^GM= zUv{LVq_{2q?)<>V!|ZjQ6rGjse2eTzjH&e~6Ocd{$zp^~`Ol18*R8-XG0hY*B zT?Fbmn~^}qu1In30@=scj(xBl-(QxLlvJB``*P*r^z^jb!-o$wPI7X}@NWMvR@3xX zD#*vFEGR7W3k^+}lE8UCkw5j};loWYIMufa36;8?KDNA<^Jaz^MWS+YC^gSf|0`l* zTmAk0w@#&KevlMaiM{@MYkF<1+?_jjt_jop_of49NqT;LeK|Ql|M?Za`Ls!|$ok@z zC*%y&W#eOGweQWl1;0M>ux`Ownwsjnnx|UnfBd$AL0k+Lg@%sqq(`=Sw^qFXQf6I* z=oV2Yq!|D2m;V+NvFM!+48l$&4>oPNH_=rn817UXA)0H^_n1-Gc1(3>bac>OSS(td zhlgit%R3?^eg1sq!p?mXx4ypMbPINOcaP@ecAOo0=tjD$s+?ZP;UCHq*RP%3{@;6l zH#E_aNBQ&TPqmO$6x+pLFSRMCsaa@Fspp*Bw)@}%KI3MCMyj!cp73XV28wk23`hb7ZpN!U*N9DAX1+12U$uNlHjgR~LSF{u~Bq1TxApb6li01V3it;E5TA!^ zO?vd`(dU(S>_gk%UrO>Zu(Zs$(|18Y;4QKR0c)y)IG*?)m)cCSfB*h_Ys)s(VFG7l zUAN1~$kY`&-p?}Yq*Yc{KF!T7ip8HAY2sjJX6_*n36O^m5M6Iuwz2&Snn^=*7Fk)@ zER!Gm0dh|B@wp?@-r+d}4CWUc>|xxJa=Sgp)ZgXV0r><)w%MV&Em*TBF)_zc#^fT! zb|Nqsj~^#Z)hhh>=?S?7GUQlW_AZnI`_S%}X5B?ZVQ-9+zs%JITt+A2qTw&_Zv{t^ zxyF-|VPay^)7$Gd{p)KKo;WQ%{h^P~o~|P2T`2lUWr9wN6tS}5SFT<2P`0d=N>6$FY;rh&(xyrI%L*u2DBZtwT-WAkLix?#^jY90uGYK}`lSP4 zT8`4w^nLh!x63E<;x!f;^+E?emg`}0)4`hg)}y+(KOwqXcQg`(jyh|0q%LYZk!7#=(6aHGNlKDYpHzK-0?RhLPRnP+$it(M z9!=Hr^XEekj~$htS4^h+D-Vje6lj>BL;}qE-Eq>@)fKdxyqNMJ2&rMTDv?Vw|JK^_ zoMn2dtILJ^zn}UsT^(3n85$mDV@=yq62zf0S-i0(%cWfG;@nZ>e4%10Lswt_$#6rg zH}#PW%EO1fA3PvQQh$G)>o?Fmez~d~Rp~UKOOR#a%}kbevf*z=`Ie-v`qGs?-gEdK zdV##fkM6s;@AX{FQ$+w+%#Ym+vNW!Z*u)|e`VYVyyG_T#E!)%XRPNWvy(b!D-^6Fu zaZdX6c_ps--tt|o?d^StdL`pAqo#zP)gfmr)2pkc&z(EhgUXplZ*FYt-P)>}*9x!@ zHS1#KL(BIuPClykoy=kPXA;-1e|~%UNt(l)QHN))OIRs9cN~a6G}-_qbYiznW+MJwjHF&*l z^uqyEIRZHRQJx41nu_&?ls9hwog=ukwj@d@c9`-s`Wn7 zMeFN#tAiiT4A$)Ol4JHA)Zn(YwQVi1KXZ(UNojcnAaFkb*(XF3r`@ef?5KfPrKNYj zyZ$=i-p`R43sF%~)f|&UM6=-6@fSa2{vd0G(kuiCv6`E#RD`VlFviTMrz+~L0LJ@#y&gI&45bf-`RLdyGRh7ON#QQy3*23 z_%}D(+stNV9{b#a&pXcJ=-tMB(SE3WcT!493Oj$RHSP9k;9&c(&pwBlczE{Djkdfz z$$$9pVLBm)1BH$Y%En>n1COz@lg-c1@7J4;*VIQUJ8wG{H?InuvSZh-NBG(r!gie{ z;3zx0B*n{KW8Byy#+>^TTGKxSW|21iy!p(#=uicl6t0Zy+Ogvza7AgI=vAaGD@zV|_$Vl-iC?7*Xz3&V8NcGbi-y45%qLEKLa#t{ z1ny*18P2Xadi$uU9|P$3p<>E&6!-MpBHDI}Vwbh^^ukUaC{4kyUPS>3qgiH?%sW8V1jKKYK#xKBai?xgtj%$ z>I6Vrrn9Vr!+9ND-J=1Ole5D&RMpfX(Z5EDvtu)fP)A)*zVIIKfr*iku|52DPeYMe zON!-6`I4!V_v38Ge6O!rG`(S(=k6sm;tkdm5T(@uE_VDp3M}tn>cyMSaaQ(7sgk$tvYwdQOaXK;@lWn^9_j6onf%aQ#hEQeWv9{BcFjy>#bD%+1XO zotG7p>405)OxtsI_5wwILQ#4i82AqoII-2Je(u@Xd{3V~6{|>4%Vy6p>r9ycbns8c z4190>&W`HPAvRVm35%#3>Ss;c0!@Fi1La_^OA!>AoeiIwo2k3Hx`x`{rw&!U-Lz#} z4=9P?)3-1A+M9Ib?)&`tv)f`%>7%!)r#8m5^DOmzbzh6P3Rko={Tv$$!-ui4?F4D? z+4snW=V4(dm+5I}Xm&FQYgiZWQCC+-Y1|7+Ls_6W&uXxWDuuv9uCA{5VD9#?k*35a z$E99GNCvUHwGbGPTle!Vl=sLAVLbKh3XlWWqL5$ZogI7ke&=?z*>&Ik8(J6Za&b91 ziZ?=zFGiyR z)<39k5wt+Iamz7Q)*Xh1hHfqR;JQqG+1+&KD1bF@S^#t`uB`N-lCcje100&PWwEt? zR02vS*08Te12iAEUe$rd_!}oU?iw0;g2DI+hRo;}^}&Oz4qe1qL8#~=iR8Mh5m6CjrT7^=%4xL1c{ z1Z2gNRns>gmkgvR1B&6cpYEqy;LFU)Dr-&G6))x|k~!d1P}>%%b|NzEXYSS=tHN=c ztYC2M&)0wP>eXRtE)CX&3wudGf#LLS348r|3Q0p^M!BN&(e|l@ZdWNDWuPH(l_YIc zuy)-n`|mRi`t#^tEKh2Tx2A7FeyXw!$^@`3C@83nm1U@F{=RqbUgGd;XlOK6&5SxL z2Kf8qQO4*}ecrrz6MW%5mlw?`F1uvsm3dHH#}Oy*l(qhb=Y1kPk)D8I@?L#M;Y`cQ zI*@gs(WZEHS}G?woSIW@D@u9Y;d~fr5hK z`S>~X!&E*Cqb;&>1=CYgmE0#}*yJO(f|27~ZtKXi0(V)UQL%%Z{HmSZIo$new<)Y{QSXZ}?fWPS5wx%wiV`}eh>Z^Dr zUd#a2fvRJNl%!;R+ro7t9F$;yW&`hc#T)DD<1#^u` zp_%*gI<^Ka(&@X^2i@DwzCmD|kbQGN<3m_jSff!$p6$3=T?eY|&%VBZQGIa}lat89 z`wkxT0LdG5_gkoC>Z@0;bg{oiRQW-EFJ3&xV?<$FEG@{%$%DL9P%-wKzE7+S|5bz2 zctTZt8wt^|yf^E#)RbTes62i9<5qyuO;RsT`f&^$I(YCFs-on?hj%ilvXSC}M7*P| zBJ&|C&d`v->e67in=t|8xot)i>)Z-*aEc`SEdX8JUDlR&_M&Ym0actSbp6$!V6oHP z3+K<1d0h%Wa_$}pvEq-mlUvgDq2d6W9VZAjba$)kD-$5Jo;%8-vJrqZ$W<6Y$^M=O zT{$c00V^RcoN2VklM4$^@Vq^92<^*(whS5G^skt^rFmX&1)aLlTd5U6pIiD?U#@kZRe zxfp^KL(2lzh^F8yHU=c*_2JbblhPpcoY!BU|D~3@><{3GPMOu?C98bztJaorV^kqg z-1dQW?d~FH0y?0L2orGy^qr+h3UgSTJW9Zq=8=8I#-m9au87Ipyu6)cD)s>Idm~rg z9Y22jEnuG{4JSc=VEYQ3mUuYcRll3po}QgOz)7J|=s*QULvn)utn0cH(Ly8nRC#$O zZ&fP8l8cA;YiHcqxx6ru+IV?ydV0D+TUPwgLNUtOP($o9Nr40%)KWKKp>G+cu0fQz zLa7CS+kwLMYsuIfx9)Z%t}JjL@zfr8kdLw=Ys@s>zP_I`^u97zo=GKy37pQ#<${{( z>M{T&Dy~SU7onkE;V#QNLB7)z3=9u1eH#xqK<)%?+NJhP7|b0C(IV1NrqGK)L4A*TK|PzrH|&s{K9t-duJ>1S2nClS+!lzJh`AaUbyb@qwc+-4lT!*cEe^rC9<% z9N(}eHAQ!=n4h!%U&6%Cc1U`PY|;8tkMX~KgP0ATgKDgOYJJUd_IIaxa;#8In7|`6 zggv+)ON+~wKRM;me9;G^9LfI`{D~KiN<8mfbe(`Z?gSk@8JfYLUIeUkj+upp-MM3S zxIx@J-?=ch;e7=52|}*iqU-wl`a$R(s3a#0w&U40ZUevFv#|+E3Q|{7qs2Z4n;Hwq zygFwQ$@l_?5-}6s@%z-VW1F3qXG?)98mnYX+#{q}E`wWAGLxmIq}+mo5FHzv7^dR6 z|G1b{`-l6d&^f-F&P5HNG_B#Y?7tRNq1cRSKq`K7%a$#5O;7TMJMuCasrT>q@7v=V z?{t%HUAk%Q)1^z7D3Bi@$3&oh89*)pkWV!8vL~o=gajK_;~$H@&w3v|s_qk6n+=G# zsGfF9w2n%0NeK)?nr_A3(vhm!S!?$Nxn6;qE|7>~3?>9V3UZMfl9G^+K#x#?;;>sl+U&Xnz$DX(G3oUbf4a06Q9e|0K+}w z~AOz15;vq(sAuZqJg(M3f? z28Ts}7xR=o6V9Wx<j6!)}t+{43MfKXYI)81s{MWP!m8=x=3*&#+mmI`)c^)I#p`f**4|D%JG7Mkr8$e zPB0_W_GM?=&6<-A5s+s|BeXHwSf!Mn&Ck!zKilf-moF5B7Kv4Rn$TkOb`?4r{hIkz zBoe;1*!RrHXNmI+A74582?8J_sit4@=f=q;O*EPIdh>=J>=v_!l)aDL#=4MlvRcfn z1&Z~hLWjA2osf_aqwaI7_2_@n^}bTaJTu1iPo6y4uY(9RN=;Z)P*e;9>6Dh18V$aS16tXs!)Mf3l3KhTsxRO)s-vT`m6OHC$A^^s zTR%Ve%8!shwoc)AeQasrpP*d+_}=n+`MPjtw(-mU#OE)$G}&8QvI*t_nrOW)(BkFs zno$56(IkkYMm~R)BKxb_?K_<$k`^P4K0GfVc(uTjHx;<%m*!6U35Li+0x8mbd zHs#Rm@2#)e$M_Nm5X3CnF-}%Rl5pjq)*n9z6+UuYJg8De9V{mot1=4VUGh9bV(#~V>S-^rM0lp;bB6Ucgtl_^CE~} z=tBDsbR9WzBxrqQ7CWbKfg!y&2=%<7qByYcouA7pvIO>CLx)k&u-1y2ZesPW5Ez2N+}k%c$w8 zJ%`Vh0UwfbQXM{P;(?_27RZ}@ymS_Yw9=cqio$VPGl?`VpO6`sruAaHvbeao+=5j( zglsws>~GB8XFQ=JZWeFl?d5ezO)WG+#uT_}Cdn=viBfbb0rf8}C+B-MRrLG!?|TMZ zt*v>%;2*C!bAqr40QNHqqaN%&c$$Rh_;1}}1jwD?J*BAwHh>_$LAJyx#E^lDkT0;a z2o4D$4es>NqedvVwzda;1I{nQO@?b!8(Cx3V{%ZM`@ zq)0R;She)--t7hcY?HVq0Vct%HU35{@7Zqrxpk#PF-}fYcShnHL?3JNe^7r7oy-u% zfvobE;y(^S*kcY^K~D64I>YJh=_!iZPB=AyF|MX$-$BAow;ooAX^VHZg~k#?_CkTO zT_5b20+UsFSsANR0lRil0V7MZq%0YVjuJb;mx(61ZmbV=6@K{VrfBWQ1B=!T7gE7$ zABLcF1qZy}a^y$miGlC0U-hLE-h(obVodhFc_Bc;L_@H=f{fw`t@_rN=SKl}E5LW( z0~_gcK*B~Il+)DLQ^f@CaZ~aQKXmx;Cos`+x#2u|WZ0o}@P!4}_+&xv9c5&^nC9Au zF3B5x{xt==UjiG^s4H%&Vq*V%9=PBz%PQ=&$fzQxVjG@@Ody$Y?6s@apS1hS{QQjq zcst(o4BR#{N@$*sm2Ym5-Mgg(XP5V^wv$r<iB3{Co)Ul#)Jd^IL7T_P2MBff=C<83n44EYwbV zo)q7qRpb=kxKgfc=qYqEV&~nvckOv<^bvnAIkYx~t8E`pEC7(81=(GSAYQD9FTdyfa^DuZ| zXl>bIHw{|~>}SLlNT4$tbiac_Gi}Q%g(K@8jt-r$lWJPRxng!G zQ^fPw?)xRBBR;wM&b+(mprBnEV-awjNms$m}1d39b%7-x*XX)K%Ptorh$w$(|8|HVwh9_sX0 zZ1xfj{ASl^k=rUt9&Q1#%k}>J7nmn-?v#cGa#O$oQj{Sl#QNn$=gu1#H6`*CJGOCI z8jq|59D#&)M*sT`Ve-O)f_ngib-HEB=f*qoZZIve5lj={ygSZ2A>nMSO}LUBX^E3( z;x%gAfzv<`2NaZ)Q9q^m2)+(1pJk$KQD9iuQ!G;-WSd+t8w3*z*cYi&?nThO>`Dp$ zfE|lME_4gBSqh1YVuF5l%H!(QtGni76{&0T&ZQU2@;RGQ9@c(Ee(aB{QhuG;ekuW7 zp=$2E+sz4yMAr|0nE?HbECYG)R97iP?)5xq95#H~D#Zqx(Vd}~BCK`UT z4uWl%zOz0wG$a`Er1Ab}GbeP4oo4kaiOQVXz&dKOKpH=>LjE-|CKjq=%Sxcde6n6B zu)H5rHvBaoax4h2X|PgIn{4l1>I133!>8@1@02>KXBlkTwQE;iE1(19>34N>LGXk9 zgCtu5Y6Z2y0Bj(^2|%*^Wv2n^cONaS7aC&eH-d-aWuzK0M1_TFt%Tgvn*F($b z-znHOasEjse$nL|;H5!ji<-F;4SCP6U+(DW?>KhAq(aJn2Ky2hbofd5@F>T9qq6lV zjewOHkMToukm7v4oyZ=u6tW(Yqu0N*REo_cO)qF$xW=yYs)hyz6DBJ*$MJn%Wo{(C z3FI6Rab4G#oP#Dcm^k{H2Z{9&L5OCDWMyQy!5eYwR0J46GGFqYJL~Lxs~iCHAk*wS zbZBQ!1HIs1Tj9@6jK2jDlh%<oCYe%T(b-Ey&PeZd6)o3?;28zYfbdm_VUhz& zjAo*axHe)N-jHUpmyLn66W{ zT|_q~e>VRFC+8mc38>17xfH3`6?cH@p)5cnV@mr~h8+>nnyF9zn4DoRT!4hy4_pw* z|6@~0W#!J|^<`sv{Uz4}ruK^=tyLwi>r30wU#W0B1Czzx`1mG`X-BSnt=9w!>%nvP z7|~S55J~k12+I&ga7+R|-&F8?rDW~==3NF^L1+I2iu0>k7U|&U#w+xC)vx$v({!q! zze6aYaNhW5C*{^eaxi;o*2DE0gZtZSf1vPrnq@kqC9A72S)mT7$1i}3>UIlevE+c0 zv)-K~{i7aurx;0z6XTs9R47*R<(j}hi;kwE5*XW*XC$COdI01=(A~kp&iMwVmf%VS z)-}A>gczGf{BbhaSG5p80G(GTw4vbN;R$KWGq4nY{|*{66+poLGX3h{qiS(V)HU|s z%jUl}^moT1{tlG!*15g-Q&x(c9Zgl}O%09H2DOZN!AMw- z_a0$CsEe&58#jju^026MLeqt+l+g1otGSHLFw00-?qjm;BSdW4SF)7F*7b=5Ab4`9gRqdarA>^`ltFa>$Cz;ZgzL!$nSc*bLQ*?h1LHLixcyxLY|G z8Dy7PT6=42oMLUI1o~Hb@G&vIX!av}9&Up7xzg&!F9%qU4MnSw3DWL=e}Bbfqqt_U z2Bt0KTFcZzlpF1=-HK&Ep=dX^i3-NP2mr8i3qC-e$*P{an6F7YIqYaP)hnKDWnp7e z4*OQz{5ks=^qs0jP6D&Dv;Dn5jGtlKJ^t#+px}L-a;9`;?-59Bgr$YlB7HmapFr`j z46wOMEuy`7Vwa(nbBrYrC{O-z{n<$*agMxyLcDml~DS60# zgl7N#V;-JD7D*{+QFiH6_#UCu^nCZV%S|VU;;-hQ{lkN&Utthls*wr2(gLW7LvNd`-lXrG@Ld#2?Kc~arZe=78AK$A4 z_8!@fWnoT!&YaSe^=1Y$dO$8aiXq5_lhf1tlag+1ud)A)-sHH)+}MvB{>351yfC_o za?3-H2IEn0|7W>|Ru~t~nZO1ZEvw_z8Hh~9jkb|_nRf&SJ1S_mbbO3W$AfF zjvz7X8b^kmgy-!ZWeflq;r~+nK4=UQ`9VNHfX2x)XDE>XW7~A4(v4&eadUI$I*qIK>rC!VI(B*kDUbk9_?;!ZVnc5JPW^4 zBdrRVPWgBEj>we#K`UIcj#1Y7k!45;@A?z8EqdjI(M#F50u~Q49i5iqnzDH(Uf4$M zk4L_KeFR$@F>8Ukyf_%{y4AvF-jD+-Nk>gw$_z9ZSTFvKMC>|^rgH+9rto0?YzSww z{|Eb-0rm}Fr^?z|3Ov&l(3bs#`#RFJ%=6EIIPiACh6pF9(VGcs7mzqns1!7mn0d1c z6sfl`F1p38Q(25OvWX@E@7%Mpy5VpVieWbYz#BeeYM7RO=@4RPy6$$Uz+lJ$_sfA{ zN%^v67ODVM30|6yX3CYNo1C0X?CJc)GaAgq@S047v1&T8?Hd1YGba zk^{2`y8|t>c$$vZ8;_qnx$4WW2*2thf^{Sl_NwCAfTYQq{qZhf=@1+g&Bf*OHFEz* zvru;O$AF7zeQzEv$-(q^_aQeZfnHr(SK-Dd45cv@1&#|TjLnHEr;@X(Xay{zZ^^!@ zSt8~ahMlDdy9(izFcU0tT)6Ik;%T$T&K+$_h==v;oYP`jJwKl-+IQr}2;9p}?sVHQFGSA^1MZIM>fP{SenS1D zqW_AP4h*Vg%O^A^-YL)J%TPnaR7@Mu#sk8-1KTU~<>lueL!O^qo(3A}gD;5v7h4Q^ z7be)vTNc8hh-^Jh!Qa9l% zd7B5%0^w54>kY|pB`2g+ip-3RkKi7H+H_&7RXAta@6o}|qO@_gau>nh5)1>u-|8T3 z(!N%IS(C@*e3$&->5KPFIaJda2dYCJp^UPvEfi&Do*`Cac_kb3HCstZ#S9XhYq-y?4Q3U}fr#XJQTVIu#Cn zfMCPiUfhRp{0XAW&)>iI68iqP?oAQ86~4i|hW;ItQNzQ-!903iRmr31fw&>lgEAGL zY{Tc*!H8cSCO`=RvBrW9-LUklvz+a(%;2CBN8OYZ@EWH9IrA7xL>NLQg}C|oald?) z-)>T2f35;A5nepescQ5JI06vt>1`*vUXN=X0!uOk_A4LkhpBfadgnf58~?%ZmfzjQ zrxt0^#6J8xvElaOIeOGb5GSs*@p%rz0#%=A4WAqt{4QX7`WK6^e|J|tgoWeo_TcLK zvzmF%ocV+;PQ!98E-w$LUW|vIiCAy|!LQ|geSO?eY2k{IkLiGchfH5zzck@J=$w+4 z78*e4%b+>278V=p&ZSdC$6O!16Yl+!2E+U?lJlCjDW;i+N5a%V7)(V=E8E&=-@bj@ znrp!XOUe_paQYXn0H*Z7)~ZHFDy&%y`+Tf|OK6(wh6^I~LVF8pUaF<2oFqt69Mvbc zvb}p%dO}` zDsV~hjR97z0>Wi6IhtBrMde1EdvGDQVGj`az7_*>0H~mYV21p>A>$q*{L2?FlE9u4 zJU($B%HkyYOkJ3*PoFvS)$6L5SP!t2TaZjblG@8qR2*16PpNXQ!H^Ft_$@@7|F>*- z`3T1>*SoKS8ZU)2^>_|#+e^oquh#JO>nUTvOfx^0Mxf~q}^LOI)uB8Fk(b<_@F)T#L!1v zPy^a1IS@8=LCT1)8ul`}3%0vcwToXk7Gi450FmbFUW^u&Bb%((m{8i0c1Xtqi7_8Y zXd1;XN1(iX#DS29!UHbu2(l3^8(2xRgD4)lsQ+%^xC^H0P`+JI^FLxgpFe+20!9n6 zE!2?G@87vvjv3y%6%ox}lVu3JOZeUXErKw#_JH@zwfsefZoj9e=KL>fqx*RM5GOb=l$Dbm*aay;p_Z8|W2|HzT+1ph;?&&&l8 z0M)7-%CA^LmJ{r)MdkB5r33HXYL!+X&+%{+r2J58ja@%V-H$0Y;LVoLXL| z#e49z(GlZeSdjJg6?0;kVq>LyLoQj3uTGaZj}C?3z5$*Pqb%?bR+WRDd2CHlosqrjdlmP9TCmV|GJKB@k9m_NF$9#o4S0#I%_D4C`fZ6NmSm+NK%r9>pOD70ycBIAb*%6;Ag$p_jymYH|#yOF@)X& zl|5|Sk(fACS8u1QSX!K7B0l!V1Tm`xqWcjj#?pjL_*1F_&6o~SQa(cIWa8sf^5Q+t z6i|6@p!!gq5G9y#E6t;RFR^#q@84gbTgX?KU!Db@fmFs+(PXV1D(rlonEm+q({J1n zqa?N9R_H_qZzw1bw_Nu5bAn<4a5FV5uTM}F-{Mq9PQ)uEQUjm|8Slyi4v0dEK+7Iq zZ|@{)Jr_3Gt3Qu2S%<_-NTRcEA7PgxAtFdVbL=hK3G(mNipF08lewS%2#z!taRAX_ zdI~os_+s3V*kB|Aw-%SRIhDpl71`t|#y9R>DK-=$Y`{2vP(fiQmo>+ri@DEPfsMy!HH7Qz!M1?{_cnH%?a>hxp@1fL< zzhc*LK5Nk{7Ix0!QoEsnqJqNy_0<_!Tz=vehlcY!7R`FBbsvPE54T9)@jzfE9J=;W z;tUK7#Bd+%BJ4-Pkzvt@e5|NAF?yaUXM1D@|9PxsZIQF1bhxmlb+Mq{5fmCEo5sA4 zP5L_FuS#Nd#aN~^Q^-#viy>}P-fKWLnKanCo5Pap#8J+AKK~dOLF@{BgJPh*mAPzaT>E#S?q$cgh z*o=Th?pa%x0d`OR?!4gcYmf0*)HQPWXMH+Vp~BD-w-1|ZLgO}Qau*1*35TTaKys;-Z~Ig;E8Q%4skPC^&4+4f_|ZDfOTa5+LEl$(xZ6ciUV>jUY-YlYqd@ z_V~DQWMjfZ4GKC9V-a?Cb`c0hRLJlA#ce%c^i;D9_7T?_syzyy5r@+l+RD=|t9I~_ zsp*Pr2l~B?6hL4WjeKi~x4J3X#lDBm+>Jm^cKhg!ZmDODu&ka>ea0a25d-XmWQ<3E z=kQ(Q6yV*CojV_ba6<`JbeTMQ3JBA4U1Lb{Ye^~wEeJau(bGzjHlae^f>cLLKH%45 z753r~xFaGJNaG;B>4HWlMu>52W9tjF;Xb>9@`X`lSE4A8G2H+8k@P7oADNbx*1uA2 zp3|wnI}4OUm?(2|b9+!uB^frrf5YzksjG_~V5#Ne<3A~LR)_=RBI(lNT?Tr3?!a$^ zK7&5$Dr{F7^Ersu(uP=BKS(*SIiP~{U}6TX1;vp>lp3O8WGsS4OAPN6rVeeu-{Jn` z$#%6I6HnC95_A!Os&=zO`v~y|1TY2|BzehYI4~XoQgJ)?wb4AYF{7b z{~!6Yn9PZ(}e8MD&UMPXk3ckYo( zlNPHDk?$h15-51W?97CLR)4DcyhFSO6gW(~u3oK365>C@!;>*@g$|Qz^Oh|Z<86FC zgVTkz*;XlE!++qmuM)G|5RGBnEkPXzP`nJ{f*4%@E+o7K1T_l&iWndgtnvFpWE3$# zgO1LDAq^UVIPnI9r|3kDn2sDfR<#Ac@Yu&krn$JGp&_%A;V<`rUo1kA+%oeKRKhQ{ zSR~cWD0yv?Fd6VBfqSyVu#(;4{P{X2ySE9+fI!{HI5|0u1N74i(>y$e z+98m#dcbjGl-YA4DTgWsIecEuqj`}o{*4$GJy4X3r=g){37U+a&6Z&cLtZmqa4Jb zH8Hn_P&0Za`xlIeiFNNyP9a{#(kTa)jvy6p;(-Y9ldv+*x56SrOyX!@pbIR9YVLn; z;n*hPEipUb*uq5LzA`vqywDsZ^37vKYazReIw8Ls`4E#sf4;ikxxp)UChPUqeftc% zf%kx92^K6b7Y!R16*yY{zy7{i12@yXm$>z7*AYVL zpb!smswvLSVf&9EWYL~og0&Q;nOi_}&`XJfg>xa`+YK25G=#x1oB#7}w*C8NoXyDN zM7sq|`RI>e6qHYsKR>18T_2U7ng8>%k>=0dh4lrZy4>I7i07H*yiL4s=YWo> zsSgC$5=@fdi(tTEs)IkntFf^$Nhpn8(C)$Ck&ImHVgH;4mjB+I)8qg98+|%v{vY1p zGrQ6HVJ0mhp~$CiVUyVNn_Ef6x006Ge^d;!tj=(fym7`fLq55>zP`G8TZ0p=NsdW9 z&tO-E!VRnM+*DMg-)_=T&{4>X*=_XvWVYPfaJ#iI{1&ufBsH#diO_;|9*3D+fSe-Oeu$vFBd$U)9y9mu~{?@tM~Z>`1Ka zhbhG~fMsNkUt1-yIoZp}>F>{{xfccmG%VJ0Z6>LT`jX>EyD)Oj9VZ+XFG);*Eo7oM zbLjiVZ*AV~h?B?l`n*lTH6u$)%X)S5;+VX|V z0Z0l3hp~6nDk4jY{VciA>hrO&@j&aN5>|uNoVA&2%L@Vc*!t9%(O0R(>G8hkX+l+o zRw416zds))(|5=dOh3|R^8Ar@jyUD#1?-NMUEj6vmXP!G_ccbFQyRiK)*I2*lJS~l z8#T>#cnmU2Y~tI}-y@f{(UG5@pK$k<3?9s|KhDp=WKuUD$n@doTt6sTEHZDRpVv~% z2w`mt&n=4!DBi2Zhh-W5XF*xX{!!6;irZVBn}`KYs;aDHQ&)#Yw!gPG5^bJML3R`| zavIY84S*(5GQO>sd$F!`q$4JinGLV{dA8RjE0BX-*k+_rK6Bt(pr7Ac5tY?=0OJ19 zya%D1946mxKQ5tu);vAW7jh4=UjA7|zY;9>Y2l8CbLij4Z#b_hp%BuIH?1bbhida- zuv3FvWIBzSOEr#khK7}ok59Xg+|?`>-kxYsFNNGc_h5>HDy|6qf=q~@c;AVqFX4FH zCURbt!FARGkNyVzNLT2ha!wDs_v_cM-?;v?mpE4PH;2fL>`1M8?l3oMI2&9yJwJc8 z`-0O@8d%%6H)3Vu{jH8G&8H;6Eb|qU5FnOXyrZ-gW4T`Q+SlJXt}V?~J~9&viF2ee zCV<(naze@)K7kH~(?J*I-3c$%L-O5$%;Mu7?A8ymFr~z2+yzxjqBH+~19|tx^VC7m zq(((r={n+XyENa}<84RPt=wefZODYR5F^WTP zH@V4Xq(j2IX#L$@2H~*LMbq|drKrz7%o4?1%Sr(I)pfBpubRnHUoNeu7OhtGp2M45 z>VXFu@p_iI+`=csVgj^pcGX6gB;%m(56F=`UrClm$8pXGb4H{t+y5T115_Uqc_Qt- z2WU6i?C^dHDSzdY+HbKDLnRNx)CY(Ige&EnmpH?%qzvO>m*a+z(8_G4q=W?9aQ!ak zh`SFk7RJPOW;XqR7G8^^iG8hXsZiN?J>Bik#jOoD%dK^Kg`X-S$u|qHTzfeYk6i1=6y2upe2ApLlh-2c{>3`DdBg_5r_4&mQJAh|t;?jzI=U zkdJ!YwbCQxLn|P;vM~OB**8hasIsy$bgFZ=w=*GKU2y0+TIpbST%w^k3`Khf5qA%_ zGt{E|II%vEa~>;$9f+YD)qzTu(P3y&0@H-cO|-i1LmSdI>-3t=lme&e2_EX zM8KogmAz*%s=9FFZnB7tef}TQM(|@;7RXd%LgZ8Ea*R_qV*vL0BLB z93~%b&pzQGYxwd;QVO^>2=P+>pyv7q2VV}JL7Nx&EcF>P!6G7&aWvC@-4CEuC^)ZY zb&pSfp3cX~CHkys$DKK+Twu)MZ~R@2juS<(7+rvhYzWfA($+Sowb&xybHa^SUj%0F z@q9QNWcV0_EEUn2y$sBY99<52`FE4$==W&_ZF(lO9^4_+aa=;%b#dr&))RunxKJEv(68{eux;ii%X~#nb=zdD&Fmc1tCGZxG1_> z$+X*P%?EAF%-k4*)JAQGfYoumH&6KP)n4>obC@4vlaR#w!oq%7c|{l*c7@sd^L%=r z(wRR{clhrORh`Y*!+UOHWZkGeC7Ib!zwtWfvY!0Iis0FKX6NXC|ymaFg@_(yksuvPDLt1WL5C%j8?a?cAA?MBtw_+Cq# ziz;-SH(JX0MXjR`~EokM}T3T;0o12e8fA{Bw9X{`Y$u z6_C5^jw;PC?O2cWv#n*XpAr`rzq$6t=M}Fql4P|AIU2ca^!75LXZu`&jT-QB*A>${$y{U1pM- ziV$B$co7gYo3OB!`~^#w8fY?|ZNth)7GFPox(w<4yu)l9#E#HWWxE%kAXu4s#r(5C z?$U`o8zpVoOT0-S$d*qA{Mh@p)L)#OO$GK=O37+Ucni~ctAVG4c#3|k-P-IGlH>1T z=V#2rP}-M=K0PB7{Je0cxP|k5M`TZ1>4=3R`L}fo+nnwgsBr>}T^aULzTKIi5iWhY zbX=lKXGd7GhDQIYS<=_T2J3+%<4qIP=sV6b@p zT617?-Vc%QT#X0uENX>D+4(jT?@$~_NlAw>FOAsn-I*%;oEgKvD$c8Q70MOxs`$LI zo8Bo=pLX=qNi+4u+E3)eza4)QdtjMmGts5_Y`2S;w$r*hu=k5(&cw%~LX$mPeh7EF zw2%8oqi}_;xGt5yR6Fe|>Z{M-xXRsW-}2h>-WP##$Fw#-p_8 zj$_1#xHu=q7gLL;9CF5&Y5B~ee~+X*VX#-lW6949d_VJEXuZEL0RmdiR9m)rtnGMv zh{!WXJ&lLoO9(A&U2WrKes{Abx_PqQyBmLgdcrwx+LRyE(RoH?crCBD#>5m(d0Jte zT<{u(Q$MydILL9lNUeRT?Gj?V!=?~m#pkfdb^mF>3&Ta57T91=r}?fex8bs8l?AuM zXnEZ!c1FgM-kC?+_SAzq=XLE`b!xJW!sKrps;ESLZ#NAG8(VydE{G^&(3K9i`*#t? zXprl5_Px?eR*nsKWxiRNebPQ`Dab%eZDf(6?P`veg_c`zkUAVCTmIg?G<5PP&Q!1Q zg29rx|88YT&ckgjk>UehPeCgUV|0mY_FVDW@~fqMl!mh{HXwncrzk%snim%h^dPBU zR$E=sN!G|yz%Zacb6#GaVc9Mw%dI!WhkvD?8pTGw00KhxARrsgy?P zmoCq)H!l2|m@v1YqfwzL6dE>NT3Q;0mtQUaPCQYWpngjD6VTx5HW7c*CTWX2VULme zZ0{zQBj)1Og6$7Q0UIy6k-T$sIyLO_Uo}^&CF)HUZSktcqi=_6{Wk+^-%|S zCgZ9PH>yjOE?siN+jydmd%ql-eESKe=;ylPSNFJBr_nnszP(f!rI%PefelR2rdd-P zQd3D)Gu>Ncw%Vz0D#5DvCP*pJ_IHP2ky%Hyg`e-9ze(=O$1093XF{YC4yoQy704impNj2@v zP^vFZOd!IpPWOrw`y$zK2?CO#ic0$LWjLSI^11jOq=L|P8I}M7**$!;tqSdRlooBw zzE4+G1sCG5Y=qI9U)wdx-fA#pC0LrJQ)JR*Pp<2O=xQp_n>KfogW<=k>sSgIWJ0l$ z)plM|dRSE96B!w44U^o`@^S)zbm;o8SvqHSkb4dgVk4^xO}F^?_{;hhzG`=}tFZO)42L>udX+dK&4gh_+(<~}thfSoASI)9k%4Tz$e7oi;jACiZ$Fw8IOCi01C_(54LBji*|U+c z#lQv_RkQ$Q#<~tlcYdwLW6t6aFUd9!=Q0_PrpMKZjuu*!w)SwFFiHxUZ`l{t{OABC z@}hSN5Q2;bpL=ybXO-j!3WgT#YD_~!ZEu5R(*aMCjk93SB;}vnit(e6I{Ny<)>$Dz z!MZJR#_GyS3DhZj!G=-$-fLUX4FC;_d^GeS-m)UTj5PX{w^n7u<8;tvC{z(iLM3&ti|gQq zmtbSeJ;5+$Sq@nUMO93)_>&%x?(%(3(%K_W1JK6btDGQ~|CYCF>O z%>DSODf`UaTxG)H4`X-egq#$}Xt?Wgw(u!s)Lf=fkcSv+5hx^;q#B+bG~cv;L<(?} zT#`orr%8A(s+_E~j!XT2Fmx(Bu#Ej1URgf)fySx}TGg zLi!k^X6ctkU4zUXOd=e~@28HFlXt%8WEx)YhLfCfToW)tWnhOWbmNxII8%P<9)6^% zZlzz{*Mr-gioH;DJr4=s`On+7MLj+MF7wE$gbC~lvNJq) zoMToD%Qg;;uA5!Jy>A@t&czriAJI$OUu_oL;s+&eP}DqUs(!Jjrh?mg9Sa`!%s^?W zXrmelriHU5ZHZk-D&$K0=bHz>e6#_}#@Zn`NAHomJPJ}$=pjBB`C|OC`cr%R5Qdq7 zTy1a&A8KfXv)oX4K!IjKqL&LewfA$i;{Qm zKCrRLhE`)h?qwXJiDYq6vO~ngQi$OUF%wgH2WL^JXUgj0sL5JLE1N&0pPl@iZ8b95 zw93wpZRERAd|%M3#h0&$oT@EkG#Wv(woi!^LyOjz>p6=i@o23{90tQ+WF1nkhP|># zn<2cid<{Jh{&0b5V>rL#Ju+&p2kpj()G6N4v!}C<4m`ezmD*kj9+@9?m-%l;BR&Q~ z5SFCA`p5%Z9P62_2_`hC`-u5d&~ZO)yZhn(CFCTWe9`tc=#0!)^yZ32EYy`>25n8$ zf(Dy>JtnkbeSJkQ{b{mh0(P|y-3xTZ+IlwY3Ta4WM-moU&!4}EQh+cYAvsrl;|_(Y zsB#H=a(iy0mOG$dbuE_w=^#qO)dL+HK!VJF5&_2_pveEIr#ql!s;m{Bh$elvUNf7Y3g{Q zvX(1j=OQMZoCzE+F8%4#$RIFW7824FsjDl=WQ3z_e*VMbcMz(!TY+n#mTmYrgUtm0 zy0Fk0d#)l>z`4%|&Wa~jGO#VRp-=(;0b?;`r5;JRh!gK|d8gv0qGqM*Ls6^zURhZT z>!%P_#e<3i6ldmjzs~#_kjjv3$r!49Y8v2Bys^=nZoko0%Ifh{ptNpaK>JzF)0Yn+ zcj4__)4O&xM(>5=l!S>ONC%|57Vd9%Cz}N9M(DRmIXYCbdCLW6()Ber5!7_67874_ceJcQ!hfz`hJ9icHuI4F$=P5A$ zKJoiAHW$X$L#5|>WMO-Q6Qq=V^*$$VyW;&s{2METR_zr+MX8gU;71Pd=h>Cx{>0X~m zik4NS8>*yt3t~W^gx)+WB~OGPSiDhFOD&|IExh%^8p78M(VTlN*wWk&xtDBgY}&#s zia$*8X+sXFC6!)Z5(OLHqJQ>j{UrD3gH?^G#0xK zPfi-UZ2~^Gw$a*%uavJH^F7U zgMim*Wg=n>`x3>4_e?5yI^qpdg%K3K(-`CJ!%f(>1a8+iHp+68E@VR1zs?MB4g}$DgP1-=M?y@@2+%uJ+)F>| z-~Fmo7tkl|zIFRHevJl`a?`U8-8ZS2Vhg_b{!SK2PJ_BOC{{#JT1cdiBf(cOd4H>B z@vOXx%6r&M!^6XIAQzDc9$xZ5lpA&|gphGRkVzW5x%g|q_zOVE5TvWl*#G=odUFA4 zU`|m}vj7dXuXR0=))i-OXdygj++L%2Xsu-1#yse_5oEWo3JuJf;Vyd7RJ~E@@>RhDfe&u0Ex+c&UFCIF0a2$|7#Ew!0va4`QiU1C34dI+Y{9lGrQ;%8-gctX=Y0gbSgR_Ius_=KSs9p{ZCvT0kIqWU3qB`B9H{ zl(yTZ7US>dSk zan}yV@NcL5qEerXD4yY*dZp_0tL#(5_*bm?= zaN9R%kh$CCA=o+Q8tFx2i6A6I0@|0}aRDHw0=IxMtWpN#??Ke84sDIQ{s0AeAACz< z$Px}yIsrZvxaA-cn7om)UaNcE2seORg8YriI(Ftz`Uo&HsQGmhu@;Rk9SsdKNNNVg z8K`&00IqOBhv5`zpF9nbDK(+Ruzv0FJ4c_}OiWDR7S#e3UC{np@pTyhP^F)lWa|RL zNxf0^$o1L`sSnObpU-h2&TX?4T`w|(Rxe zrun+D{}frdWt+FEK|1Cw1Dj^10=(1Fjdy!9GS}V*Ui_JO&4VPBy4RC{lANp+TL889 zF%U70-`_Yh1LEpTGU0E6^8E%3T7_GIAB68_LXX_gnG^>l3n?o3L%_$t596ymN3bkJcTA~jU)9s>E)#brITKr45kGmxr!OHfG4aAt!qbzdPba>4^N-?u z(gnzV0fHs|ikz+kXsPwC{gF%9-rl~YL1KFSLibo8?z#RPBz_7YMM;;d)A9#{MHhFK zzN`5KdBz~;G>ZNJJG$ikrWc$|NYjPzUmpU+Oylgukwzx8YYeP3qaW%gbM*0{7tWmA z9&GRZgYD9vftXUY`JJq{4vcFM{7hk=sm_*+nF}rd(m}<|l@Mfpqoi}r=3lKRd(u)E zCUWL6Mz97Boh_%{&6JB*V4v~sd(IkV2vTRl+GW8EY#N`MXn7F#tf)8*Enpy7yoRqU zYsc$s??+KbgSp{hu99pYB98?_sOdI_A~Ymo2Z@VQI|e4@{JuGqLYFT?9>ahLEX=k7nN2MFh=p!Oz2bAUd+-jl$p89BhP+Zrt6VHK@D-FfkQh~68N1F5QhV= zdv<+&y%s{q6KofkzD-#$JK5W0wC_+*m<54EjgT`Z0UU{rTv=LbQ@1FN2gJ=7U@q@~ z0FECdj{y~9rT`$mzD&{W;NioQ!OGfip;ru-;c_cLrcrTCpB}8jOMo&kq)mevi*%KN z!V->m1v`u=uamU2;GXD1NO(m8H_dgQLo&jX{QpEAp3wV5WM=7{p z5L&;TEu0eu^|YuvlM>bEi*CKPwzX}CWXfXS0JtE)8+dAKs|cRaCF$@uC;N#xV!Y>n9S(bIq7v5 zH3S<6Zy=td^p`y9)TvVnQHq*7v-pD>WK0o&7FP_JZsU1WypkuVc?de*^8xG(e6FlM z3@B}Ygt}T>PR!B?t>`-lJW#ki!|*$6Z#~vHvU-0`xR_BA?(bS#-EzbB%pr+_YuDsZ zZDakyVh`B1-}PDP0P%6C<|)qXQ_p`IY&YAZ_&o!D#{+*xudox^Kt_9`=_B>yD=?+k zpuFB`?Lz`ER6t1_7hD~*>eaXzB|(ay2OYow#plKMWMxAbpp=I)Q*C=(MCJ0lavA@5o$mtRjza=+ zJQ)il6){jhh|mjA**4YkKuD^4Qkt4Z03*>3Fe1a{S%+{(bjwMmP3fwXUkY-)^Svu~ z@aaFyNkg>TmYgsC0Suif{B^^^}&q|+A{!mpD7W8I}tEgAZA?VuzwEnE<+qT+;_ zo$FiyQ$iz#ysY%qyqE-)OW2o~pwLjY8twzd=`$G#ehK1uTb=4a>viLQFNd(0gt zNf}R5>HGTi;mGHh!*T=0c1tC|pU2-i?7^i^@_GhwD;H92i zi&D^7Fs1GUG(|d$t9qV2h}@LsNIC9gv4osJ41;7@jwgOp-69#RJ{(lRKzKpOlDYkE zQgHqRF%Up=rw6JA&2R5y5bu2kaO-Q0?;_jxY z7N$QK$}yoyic-sYT6AE9m=*Kj5|osT=MOec#3s>S-n4P?Uk09n(IoLh?gg*62r=if z!jbJKe$s`E%-WBz=`lG(J}B3A?h+KMxdaS>EyESqKLlqes}Ftk@pG(s{eT<~GmVO) zmpp!WNETADaP}f1EQo$7!hduqwv_yUBbkM2dcdhG6fbSRBI*rwHf<`wK)|rI!Nj<` zsozBeg!~Bm_h(;Zxd$ab5K0zRj6qodplQk9{HRADxW-xF;q<3epJAp0Q)CT!YYG~g z6eyi&Vc(g$H$Ff04^VUuNlUhD=qU$Bp3gDXMW@LQiTkzX$z6;9!GWW%U*F3Q0%$*d z_{v;O@W{xBp4Bv_WbGc*9x(TFc*y@nvi8<6jCF3`Y`EM#%ckL`IB&pdWAG|`{zXVg zNPE@FV1AE$u@ZwN`JLuc*bH?Yyq z<*|&ZIPNr<$ou{y6?-Vdtbc;T=Fl6Dy{yABMLOI9ma06QS?y3XgK$4Vx2mdR3m}&s zr~`uP#&o254x}O~v_$UF?>WlM|8g7Kx0w-2bGoqh>sQRwHubU2$aSIub49WC{f-hS zfDv_&bS-MBQ``MAi?PH!<+0lr_5u%{MN-o=fy0}I88cNSdTMz0#u2`6kRegbF;-mU zHkS$CYq{xMp&<37h4g|AjN=%wMhH;y^#>TkQJR$Bc^Ot5F$MpH$w3 zAlp6Sd(;CBA>+ikH|>!gB7VgCP1} zUl*lixiMAtwpj^R>Qv|tnRKa77lN4n{=ne?KEoWdZ|*b`lfgcWDr7Y@yZ8ao8;byc zp(iv@Xc<5JMsz2zdjLWPAF0G>!G`XO(VGaKEc+r40>B~p5JSQe#Gpm%1v8m6;oW^ zG}%o5lHyV27hz<3L-B?or_|c}7WFc=3v1i%p5xjlfxJX~?^AU8 z*i@H<7p!0Ey?1LDJi;{YBs3d$O+I!DDp)MN(|hBcC&_KLlB#AytCuk&x^#iC+R6#75Zx___$-|yIeax|nycpt?k%Af zU)d`GPdImSuOGZ0zL`a~uxWl%GxZV3)+&V}=cCF8H^AZBHcB30cgvLmQWQIt*{~5e zGUZBLoMqt?x)OiAB<5yqnQ^P@^9t<4O6>R;#yQwhOjKrXD0&Z0N(jbPowZOi6>xP4 za|`XydcnH?%3e>S!bvTJ@0wY-@1|j!Ln;FYUGEtDcZj`R?M$%QRC$*wdhq$1)TNKqi#JJ zx}^ITUhnnv=|>sQ!uE;TfGgMt*&9)O^tmu09vgo(lQv0ni`{mXkW_(%#XnUU&=UkN zDcjqe4`dE{4MelMepEG;;&;EF^|4?63&p-ee|O{o>okw;ltAAT^#!k!Yl8$zn6U>p z_694+iu-n9vh$Y36|81~gBs_6iCX5NeLQ=mEm6lv6I&&PX2T$*IwJpEe?QO#chgXSn+UY#?)lH>}QE?WRI@zG7F?(iS z^vn=dmzurs)y5~d_BN@twV5|C-pu@eHS@gUfeSXBw@KNsno@-^m`jI|@owHTn^C?$ z)A|**9EYiV%qAv`))wj!TgdG6*CX~RZctCmO1S5Cy@N~>hZaT-2CL$)@*dB{bT!#x zdTrwz*Per=V2zly_P&1leTeM)HNpHZ#_MAkMb~Yi4sZ(j-d`c?zq(-#h zUb8-X^cEW@4Scdy!W~Wj+cZ78YJQg6W`L9C&o}mF{j;b>FM;dPFUpjegUZZvdn@Yd z5d&p1Q<(m|dh9{Z?s03Gl{h{e{YuL>173dU)57l7|5vU$jirp@4f)=n zpW?K~h>}rfls{1y7w0ddu%z2NJiOn+gv>hY!|`C!DbH>895E%QX$*F)|AYH3FyWDv zA!??DPIy#_6KfvW0pEb&-LkJ!p2pnjYGmp19NOpd_NV@}=>JnBH^*p^Z<%JyEX3b& z6}p@aU#&U52Rug|IrP%5-E5`)QS;1ih)j}lF z){zJ>LL9o8&H)<`Uvcpp`Y{=UI4*(Evr5sj zSfCx>&v6CIsC^^)!yGrVcQRi=h;05d*3(vY&KV>h>sBBN8Xg&mhb#?}h~wUDpXdMC z_)MeHsOwYoH($DoCnUfnBjz5OMhj*(!P`4YZxos# z(i@o0GUV+i@d$=M7dQt^gadOS44R;`hVge+1ZTf)25M#@z5O4*{R9%P0ITLMy-fWo zy*=dXuIW@(LDB}{Sa4aPfF>K5CJU$l*JQjLU{dYxGjzC?lAUdTQUz6Tz-qglC$?mZ}^Y2ele2V=IRu7yE>X zOLU4vr9p;`uciambxOFlJo6CS>yi&Na zp*aI8f`GKdC<$yW#iTQp+htQnYkTetWv@{Q zVIB`zaCg6Rwk#}h(fR1by1yVqD?*dVi5;qm*nZXS2X2NG3P~?1Dkz-B&yz2OFeoZ2 zUgqY`>E?r*pJGEpsX-#2_1w8Ag3sYU4{nN$5E!%dI#%4JtKP7wjjtC7LHfIXzUX-c z6g^Lcnqc1g<@g~N?L@!5Jpva+NcQACjuqbcUVd0dP)LwbQcq8hO)H_ONCTw&1bIM+ z1Njjx47II)wLr>EIGa+Jjm~+xsz{lBWIXZ+=Fv5POyJrK8P7$icgfLm#&ZYiKo*dp z{g6DHqLR`jh)~N_{yc@~Y9}La+5_#<=1Vwvd-rH=?JJ*PJ*|j2c*)o|S5Q?04-Rw1 z6^cQ`#LeumcBr_}$xzBhWkp3sNk}6amR`U;S{l#dwQ8}0+kC$1sP=MtMenm!*z9ZE=saoxiX#SWB3fHJ~EnH_Z8*j&dW9y zc)$f~LmQ(9)x7?n2g_*d7<%)qscD2XR_{_#dXcXMn}*y~%LYr(}5p>LSQo^?KwUv}QF5x=e9A7QZuJwLV#2@Q>y!F}T zH!yuA*da3^WA=>TY$O3I7H&+F_15mvIf&)%e9TNu0kAx5hTQulaj8j z{JXtVmj3A{T(E7|&gJRZ9CZK2$}we+yhQ_f3s4~5G2rJ0wCxA1bE}1c0=8E9#r<^T z-Cg1QO@$?}+2 z6BQv^ZJ)*;qv9a%O(g zTGAWpGXN3ublh%2R7uo-ss+DZV(w!VmEMi#R1g%joa(+P?h{hSG_Vu(DT|4DMY=3V zBD5g5VN@OlY%s$OAD<9E)huz=Y)Q_&QFt+xQmE*z=a<8mT`cpy5WfnW4tf73aSZKT z(wDw-Mz2s@n^co7_^BFbCRUlXR7xeGns2j#>Z`@$yoQbS_3ctyZjvhl_ND$5Kh?LbBvB~OlOLLXhn3-^ zfpr$~p8%$5(4T^~m2=BUeC~>~#8{+#IxQ_7gCuu5cTcueAh2Q7xn!lK{Xpp(B$$*g zg96Bj+ZPzxg_MvB+WlVYY!8uT!93^L_D@#sJl*edEMk?4css$Pxd9Q~l}j8Pvh*8s z2eQUMtV|9rNP(g4iDudUqEL04ly*ndW9$3act)2rv~XcNd@(U#H~eY3SXVH5d(}(k zS~uku?z)*)eiMA)s@L8JW;E?;$rtAR0AFe{ZC>tQ}KS(sbf?iy8% zm1f&+V%oaddLKJ7c4;z8IYAB9(CD7)ZKE2}pLx&K zMS4Kd_Nr@aiL-k;JmL}iuH!EnGW0`OluC2Ut5@*AeJs=5hRRe)Ni8gQ!@bDCgI(`Y zm2L#@m~A&--UriwzF#qJ>gyb&%7>zg_u}UQ-~Zmax5W8Gnq<2U*^@I{tve%~cHWD| zY>t*U=0DU)AY?T!&xsT%5zD(}!^raQ-|g~uU*6dwF>hh#XVuu2ALVQ2tHCuQL62Zu zY!2?W`STgJ(H~S?4qp{7;rwa6JMHJRqcc&ll<6d*5_>pM_*;!$;_-0REqT!{$4fZ! zX@cZ{`%fmM(Xo5;&~SsW(a^$2CCD~cavSF0lcPRa$jQmAgY2LeCfOb0W-MJz0k^FosAz-byBj`A`}G9}M)|3K)_aJx+u=;@82pNM_XLOnQodn=Ew1em7WDn{E)8Ytso3>M(S^ zdGp!5ds2*&GXDN>`J!nP6Id0r%ff3dht&f!0+bge3@iez%`_KZ*qN`%uAe#{RlB!* zv#SO+mwAPjnr@Rd&{x$d+^a$E3`$N;u1QP-v8RQ_#fK_g=T_HO&*bzihNR>eTL-)K z>kEF&{`DV^d+7tCqXXGnVnjEF_U1bj(C4DVW$p7PnU+8XX!7&3I&lb56pcV38ge6O z2r;?f#=`u<{4+fUGUM?>UOC><$?q6O^ec=PYrOcwi?ejt4}L!Lm&u9)-MDcO`RC;i z2@X!F9rN8(iq+tM@q}mP28tg}FsvWT1(Uuv zP+aVSf*PF~)_%?Tz^_OFy@+~iC1quk){ph#WBT{~)v*ywjBvprlyps$woJo$ zSi(8D4KFXTnrc4X8&J-p3`2@Db0gB+gDgMCt<6Q%2!waenzW$!TUD2FE@5* zxo9dmgKr9RG-_;bE5FwTK|LEJnTdQaYcrI{>FjO`JtW~?5AjO66Ia^*_n$z4TD#(jo;s!w&(w5s6=Cx2-y$g^%P$YfjSZy^(o`! zBG1EKELX2KS!$@LB!Zk?m=K3Y`rg8NB>y#WipzG^S*^7E*GAmylW=R_08b+hqpd9+ zdZT%~mz1L@3WY-PG#-sw-&+c&tt=N1E8H1Jihf({`O2+dDgFQ-_e(pt{-8em+HJUT zGc6JaOc@}GzsbQTVG`Vt{FZ8FoTf2x6Mk>29NV~+F!|g>MDc5tiEo4Z{KNPfRv9{6 zPml4prA03D>C+$_!7G4)X!V;PUF@0G#z1hv2VLYIznv{vpS4S&7wzm!*|RF)XT)U+ zBn+fi3#+l=7jx7WdMws(Y2|tb_AD;m-rg-hdO=ib^?;waadDO9GFvdzD)847=H_l3 zKHdgm+`h9|RGhariKcU3&b_;L$MbylH;wF0m?-(!#L17>S}9qsy6DHc+L@}v%!r7@ z+OmE#h72jm(WBS0k?0h*$>881n-(WnTTljX0zOcEGM(s3xz2%Y$1IANl-@0#J#RTs z+%sjP_m1n)J$u(^OjS zDH<9adnZwp^X{_pID5&s7tQ_jN8eM+h3nl~N>3GV9l}X*bhTmOOgubFkXtNR>38Oa z+qMzm3g{fkPx3bmGa{d~p>_nE+jda;Oa({Pu9T9fk9_y!So+76(9i-ctrf9Ri*-Fd ztr=@(f>zj!enHu&uBDX@{+|(WWWZ#%z*P;5k{~poe6vh0YwB=Q*507=8kqG-UA)wn z_V(l)6hrt`3&U;eJsEDV?NZ$vzO?W2xVF1b$G>e5OSe|NUP;6ZjEk?+-dD%a(YzaP zdX`3+dW`7)u9x6pUIii2MW(*k#Ee|7o`lR8l?)oKriOYB^-tG{45@c}V8aJF=g#hZ?xeZaO=`Y*b1!mqry;rpovx7~j-kzi@}#aLsk@9wzQhR^)?+UIntLoFU3SzW2b#!X?er*XGR+kqMVJ z3xoHbtyBK*49xW*)&m|8DQ|-_9_+?n`P|$8gE8*tNNN_Y77%IiCzDc8vHbizc%SGV zrY}mxdCnn5T&769E|ZA&MgG%?s5()V3dD8nvPzZljqAM2AJuO@$b0x7Z_N-9xq8mGH8)W3=(( z^SP`JRbJA|IDBnNPsZcdEHyGJiPwq7_e8xc4?ne8?)WrMddhWq2BK;6Z0*@HI`6(u zcZiqMGalIzHCgStINy(*gwRF|?ONDd{5))$s&HPcB3(NM6cI@k4-?Vtb*JH<1D;Gq zUER609J==c3CBOCbSYGdEkt)3L8%s7Xk~YWYHpuh*oBvOs-U7Cg#dYsUzx^1VPDxw&PqaS z2i`J&enH=;>ld!QaW3`Jx*o$;R34j@?f7RUr2P?)h@-24T7fN502vxJWSVjYl%&%d6ZLJ0_*);IulL`=7&inV|zc@VgAMe0p zdAQF$F{ZIZ)AMD$QKoj;;He5T)#Tv_dR3UJ8=U`WMc?k54-q(4rU)_P@oAALp=#&0 z+K(Y{I~c_^hFd6`3B8cyn3!90C5!3Rj{EoTUjl`VYPc%|6%-MX7Bmd_g^I&_`1Hu& zV6+6KNR0Drfdm|&lzIGrS`am2I-_wc;7E3kwQ;sKT59pNxwpsV4FgJNV8_it{o!f)k39jA9@L_BM+DQ%gpInoGd&ClN&h5+3%QGDGB(<%avA3D7*tXDV|4_Pmz4R;9?03Bw zIvw)vXAaVk@@@e(g)>Cqj;R8LL^j$Wv5`Nx=&rRU>j|XAANG|~GkO+MsMNGHZs0i_ zcKs+5hEz34woGA)`_JW};y^8M3M6-e7@+#eNWL!4E`NKLKhqL6DhjDcLPC$F zA0L};32n4!l|}d6vpf`4i9i#Mz=zF&+xg5?N^gQ1u5&B_DuXS4(f)I~DT=VbXM0{{ z2N@n){RhV^TH;|+l>Ws%?1PP%H&&@))^~Zk*S_3aFT}@;vBeHz5kSaDwM@L6- zGZ?jNE?SGNq55N>+?2*%G=596<-fNVmlk`_xD5I2C1Q2{wgKzYIv4yReXDNi?GLz9 zuu=7(!#c^%=2RkdhoW@+; z^7^(&@^q7$*P80(Hj7L>Z@~k639YgpuqJZG--%C@I2JFaMdo2bF093i)_6yMV;NrFBKcQ{#6U0{E@Q znc5X{Hxy43c{~K6 zXM?P5M6x-^JfnW2?~p4QR2s<6R)~OW;saT4DS!E&fcx%@$V|}NMDBlC7pOci4h>Nb zzI<_BXGV7Ij$VZ$W%6v@*WcfJ1Fg9U4CA)g0HI_z!qoE=+o_I;9A#~jr}t%K{0FTq z(ET+HHRhS6_7)c9W2vcEIFq@xK|nVl-TfmtOeoA8k)*txoj(bQzui-@@q2$^|GQ0r z#6SSoIS15*$~xsozkGi$LhYlt{+8wlPkg?CqH1zMff`)A0+4evyvj6lEAG7{Dz2vH9^;%O561G( zgf5*$^RYho&jj+sxVW#00Z<5q>@A20Qm|Mhde@(Fg&N!0zXHtpSd22@ zF5tidHl@0WJg~p5J)C4@W$nNyZL7tGm=~;myi^J4wn>8h0Du5N z@8gjEU2%H<{PuJF*Ff2E2o)4JW*v}LK)FG|_ZU(jG4CMHsHBPQbIt2mL|WCg#r8(` z`+|x`v8!cD=XS_Yr}Cdpu1yO@>~_PbKhKk8%lo1d)}Spm_IxgErHmx6$Sq zu|J)P!jT*ikUbHbt|;2Ige-hzW;fh*q+ec@*Vz>4h`s~ZH~ue7gl%KriXmLR5^6sp zxVm)BZPU`+JY9HmT!-*!k{I$ocJiQRjQrdjlngDrX5WKBvxSqt5?&tSbT`(08#eA9Y5B?JeoVYeQ^2) z?i2Vm1 z-YCBF@bA9J!@#_3f7d4Sa~UVM!`F6r1d-(KBV}M7TK_w7kxRGg0ohqW6%^c+%glJ` z(m1GcD}$LSOs4_|=*z3dK#T7$^we#s$TTVnBT!zlQsXl(3-P z){>w);Uj_=q#2lu#rzyxJSFTB>9j)MVd{R1m1x{?r(qsvjS(%e@6U*b;n0lPY;JD$ z_V@2_UFl0Oh;$SOg@3bowFYwn1$_NW3?`^h`B4@DW;JSTH*9q}4HY+pmC~*DrHT4d zotjf%ypU?3P`ILeHgD)SoiIoiltc;-+D5nkbbM;FU~Xp)Z6Mki=O#}O+n53kb_GDL zJh4SZ<^1n$AAl?v%jL@mFu+#>7wsG%KBj;c78WPK^`+@>-{E+2O1eA{cIDIup2f<( zR8p?__6^%zkjcrz>Nv)9@AZ0@Z^{888{(aj79|IUcsd|2zz2Xkh;lgDWnLX038f8r zo1raW_Z2CHr9Ml?25#bQb57 zwJ(#x8+J*ZqU7@}QXEEbBe?jO8^JckuCg-Ma3lJ5zM8FJPRxai+~&P1<*RUMxM6o8 zdLm7hyq3epIBT&DB;)yJb>gQt?(nU<8}*415fupSMAA{jzgp3oaot&db1y+rws`sD zN32tN-~2oaD{Jd;^|hDQt(Va8u@u2Qkq`RD^DO4-qXL+Z%wN zxut~q@n5+E*xbu`YvuiI3VgsMPt6jiX^^ICt<`m~jX8H40#~Jby-Y0pk?o`0`~KPu zP4${q6%qGsIh@Yc=zJ0uTNlUDH?7jWR+Z4{?zi{5gJ0I0@WkB2LFfmdMoes zufAqs^{&$*Cu)M2W!v=i^~Q&28QT<@tjyYlId{(X@z3dkZ7cs`x-?@i!pb`fUf!j@1 zkVDf2uFDOezL>9Y%b;5u8kFF&tC^C+uzq*#Lcuj)Q^pR(9y+uG9TJI}>@^nz_`{m5 zR8<`dF>>w=YbN`N_Od^syh@syW;Vdt*o7;JvUf$WoBZHBq@e>rrrdRE{8(x!Fv#~T zm5mPIisF^R#m;~IwRsOkYr6LQ0{a8QHa&hN6;|@j0*Q6l64el6QczILWWEIUKU`RN ztP-L&5Fs-R$%o0>MPHlzZt$-t!FNgg3hukQ0GVTXI;A=9G0#h3PvTdgeA73R+5f$4 zP`pxPTyFie36RD; zQT~c1VtqJJwk{M(R(6-H51&W9f*AvwmyzXBEfxkiAn%k1(CZT3aFexcxUc!vz-oZDMA>W7Mo z>1}=5%-ox#dhr$t7?d+)J}%r|2cgQ5>FHFq(v9SkOfuPqGEjUTA> zy19Ada-`spgZnJfy4}8v|xRJ-6 z{nTpFY(CF-m_D0hLI6pnP9{GMbe%1jVu!PR>SLJsb$)sw)Aup2$R0xeWg+0KqLE}0 zLv?etT)&pq!V(w3;S1bCFwyTkXJ+L`M8pLQxIbsojRSd3zi4JNC&zd{Rt%9GXJQqa z5SWqLkXg+?%0_KHSG>XkcL2!>uj+d8$jUZ~dnT{Jy<~|Xo{G(bLrm@Y&V$AofG}bE zto^$xiEo~0u~T=hp@yxZqvj*q1vFL#3PX^q!647&8p>;-mGTY#Rp~UFKb8&m5Avju z{dNSlPf5}#&POi>Gd#}rpJzK80?yyk*STyCBQMB`@fP~S^*)mw>K5%lHb|@GDAfQx zn$|?QSY1H7+c24#@<>VzqyU#7LBlE}RQ&eLKBB9;6$X#?&Gwg(90`m5{BvTG{%T3Z zP|ZF6$f85``=O0Pkd&fsi~_|fSd>!dLPjzhTW|}r>edp zFZzrAS^F`*8&25{rh^&x_Ej&*eA zPrLn3_(j31W+u-d~qFthD}6Ddl59<^k42L{U?_kS_JS#3PE+!kYdK!fa=i z)zwY%%8lJ?jDvp<%RZuUtz9z{2v6g>YLmHf>!Ts0ob#OzgjkOO(=or1 zeLVSJqQ4w8q0qEqpYy2;q!CxBa`&ZCqtRgw3+yTFHMQO|Q7rKA-SeVp=*A7l_Cre1 zfg@Dc^A!UQ2F1mkRP8})P^svBB=p`?gdXntZc!4Jb~6djq8|=ZT~|GD`(ssqS(@Sy zE30?V+oGPI>?z4LEyt5j!P&CwDfYcfN!Ut~*#Gjr9EbWVB|l7Bnw~Eiu>B+W(ka40cKywYI8UjHl6*%~i9A>#ZG0Kf9j&{`~tL;(`Zz zeQmw;#h21eZ$lpeL!!eY>UCOVZ0d00b=kv8#PF3kX3PN=v;L;1>Cv+M@nTtD-?;sqb`I0U@@f3EnHhdG#@%@Mds%X7a?3-D(%1my zt+q+W$f6;;Lu+gIP}eiFa(hMA77LV_*sR1t%CcHArZrr!({80+^ZMpi5 zr*wSB*fC=pf1TBdmxU>?#UI+*iWPSJTA9K;v{4zFLeEav4?NVU(UNS5P}YjZv6tRQ zaj`u4WS%#Et9Wt7+YStqNBWM5JN;sHo%K3bT(xkZL_iB$h*nI!z|hk77Uf{&2Th~+ zbYb_G;>XWkk<6TFms-)bPb*O=lnGW;OiK|sCwk)MGZce>I*zBa^+V`-cYvR78^u^e z$`=|;XE~-Mo!)IVN3+xY=V;jQBY>a0kC3$aQEA782(RU7b{dirGjWg|iHzHK^Cb6G zhZxwoWM=-wEH>{N-O8=Rq&WzYbDfX;A$3(wr=&VT!=K%6RephDbZ)>!LejjU;bkNJ z*3a1V8*>_t`T3Hl&FdEFN@lBKuND>s;$&dG=%zWVGyYyNpCwPel$a7B?`5Ky!nzlK zpZ;!WV`^c*WWvg7Ej87l5fPp}++WD;{Pccd!@7heo|sAEm0g53%1vV}^Iu`Y-J@u? zxD|TmxMsK6{`1sM9b}Qccs^UO7(aGijj*&oLg-3zA7;viP*jZLV#h>@$`;|VgI&%2TJ~CwV$Q*b zh(traMEqIlpW`M&sVfpbo{3n*Pq5L;%9dN{8vd6a%BNYYoNnAojZRZdNzs=Hc?H$| z6DjDh6a+e-%Z-a-ii#Qn#~`rf%|hcJ2nQA>ABpOD^PJiTI5|f z$^&MuTS(#QZmbOt5i!;9exKG~7g%BGe9%Z+ZYA@&&~3vNef(o_T3xm+KPpQKb;_kb zpH9izRp$6{ar=j9JqtdWfsV|b;|{PlxCHc3m;7kYOBNXZ;By+uYP7w|i_sxD zO!WO2@IZf0#eEi5j?VTim&CGFD}d4oWnM1@()BC9X7d&C2ca=ObNR9%_g^<}PSX;y zXLz%WXW8!)rafI;@pYQ^#&<2>01Nn{mVMb3A;PS)I05t(5>8wcM<}Im4;~ac!h7d}LwQ!z3rC zgweZ%mS|~F)9@)ASX+{_mCjinqiw+y4%rqZCMqswe=C_b{lB<-@2Dp8sB4rN+gK1s zMWl;T6a*CMRYjBz0-+a?-a!bxDI$&zpj4&z5~@Hbp@}F6NGBj2q=zaHN+9r^2c37l z-(B~Q`}bun37C*P=?HzsRKmV&h?LpA>u-44kGO`+CADI<{TjRX@^4ZWPA z)NKqWkEW7L#r?xuIejuT%_H3k2uUL|(HB!T;;CR|)!^1^H$s~Ui-4|vIGpg~`ym}; zA8#+VwDpF3PGcW^YK|Vb!tS+mA7nrGhhmtYvSz2v76PWxVK&n*hp9B-y(Lu89ROL= z{9xZoMQ&9U9*FFV%1Zcze@{`K2Fr=oi&DxewQGj2H-#xEhX44TD_df_M?)k0cFP|Q zjuzA^_ZbK)ghlvly)-8i?YV1+7Yu}dG63`>8y3PKmhn!{UY(bo{)^ALRQ-2eKf}yp z(KQ2)s<(@Idv_IhqAFj%?%Y22t(_leR9OJ_D}W8Xu@&M@7u`yN&i` zvHTswcuOuU!fQP%V+5B}$FRi1Lz>y87jWJcuE*{sR~4y^+6|>yjQAJ@vaz-Hc3;?T z44r>upTE093}^N5Dz|~Y4cvTwrLuv_ecUUm1ue9PN5Ic&hWJUkvzQ|%FIWQpKmzn2 zFNoP!JM3p-EbEt{C$Vq>>~b-Do)Lz7JLDIow0_$;m!{4*-N-G6D^ADdY=~yT)m{B;vJs;N8LFA!7ddw zwVdhbw75fhk&!hI;W|Nq-tNBL%qbyXj$YnM*D}w&kg<7Z&MJAacj@omUg7uI6%Gz& z;1sg3NVhPXdySo6-;Tjz^0Td65?aB;Vp_q1KIFma(;QF~U%&eM8hvCv=H=zH^4aA6 zOdNFD6Wj>)QKRAN>jN}Kf}%lXm6bYmc-VkDEgjJ$x{;-&;L^r_8I1YLo4>X_lycw| z`99dvFrZs^=or7~0~pNJ?xWTB>rnQ45A9Us)u4Kma#xyqcF;&|_{tIHO0wYa*4NZl z1H&9xAm+Z*4s*e!tQS!kRbSQ?eOr{-G)8a?SFIw+ltej&^S*vBGX6&{aGI_f{!d z>HQGqCUe2wL!*MxN5V^^J3UwUO`v1@$c*9*0y8xoCaXi$K++Dg>uRT=$07{{y4|aDl9t#^c;~H|$%|%?VT&5*@5Zc6C zey05smUdG*$a4M7Uv?_CWX1ZKJhjWq?94ZH)HE~dj~sa+F*h~ci@{M)%z}^5!Tx(Y_SEqcYTvTn zlI**u*>}>x0b?*>H@caNi*lydb|Uv4%hd?ddZvKqBv$BDW9`B~o{{TfZ`jdjc{f)N)#ujHHqZr=DN&TxlQgyz59+- zq+w~sd>wmK&!~T^G1S4?9k1_rRgOvevf0GgB{_K@ZN)P=d}b8EEc{TbcLMRnCko9P z`coOIo48GRyrx!;@O+Yfz%w>EK)N`sjor~zRnff{+E9238xJ{A?aSmhb6GY=<4Mlw zV!N%jyl(1Aw)y&K9+*ID;}$+V%9+oSQ@Xm?J#~9WfoU#e=>0Y$l%DIDm>A>_UCpg} zCAUOmCQ>d7_zY=_B%Z<^-P)S1ncqtbGV&Ro)R$pnd$H0ynEF%fB;;TrzptXd90b6g z`<2VVZ61}CR*sL7J{>yL(>JKlK7`KvleF2_r6OhHlHgXOV|-p8tD)^*I}UnC*gbOH z1NI%CV&hc%iuJSMp=A0Cbk;7rb1_)<8Ch8sEto!+rKRagC}$^9pZbvEL^tNT$MUnJ z+$$1ay}29Xekxfc*NYg|_(oP_BhTykI0hwkHLX;QfZ7yLF*Zwo=!nMkOaz{AL2DL- zCqLR4IUksKs(?_8b$)pJyAI$2h7)ac+;csQce4X)FqoS)gWR=4I)RZJPb6q{MTnRi zC6FPf<*rl4%+O!cD!?T^^yvQ}ctk6#r)9cFOP88DZ&WX1K~}M=$Z)jO`rGoghEPGp ze!tuMTkU?t$s#uh|5AJhNU`Jjh1B#ybMX#Zv#FU0Z&ItP({P&s64(XCNR$TuyUN{? z`6q?N4vSM16dmcHpVS>EHSbN_Tr6PL+RyrS=sh>x#KMoRLlEXbryes_0#QiMs2FYpQX&<~3Nd zH@EzuSwc7I*{4tUcb58VM@`-FgZ1^Z?tZSysm`X;Q}0g~D0|(DXWb^PM-`|nA0-pk z_$MAZ-~|NkFFSEU;`UU!0!PT$CY(FVnG=2op8>9F9xF+g4=EdX8J{y&RiH*?7Tt#?wzL{~pNxn~#O1W~Xa8(m!!|@2R4Pd-7jmC?{Tk~%g*iH-ev67QftMn@ zc+GZvitQEo{*EVM#hWo^;NIomL!$=J2KFy@@P;RZyC9T%QbY$yTmT!;w%vgSdp@pV_4Soz#^}~^r*WV}~ zH3@8_;Z6J zP>H+I?*_AePK0m-W%AS6m#r;MkFWc12wZ*KTzUj4Ln>sQ4Gjr)V zXC5Z3yQ%VnzMUO?d_7d6c}g>DPIKnu3w{$|VJ$=vH6my@#Y|p93Gph2Niot9fDT9u z7e6W}^i>HnF1RaQ7IRSpQ(4lEyTQ0k+0wUw4R=xQi6EDqc@m#q#6xf zzbZv+W7QJV+ZK)WjTpJ)rd7X_&pIcoGaPRPFeT=ykneJs(z#K(#gUCD$*oNt(s=4T zcBik;Wm469B3?xudNa|5;d?T zuPZ;+cz*Q$^J~px97ZZCUyg3sSZX}?3_7aUb`#%oHN6ha7MwuwDtKK3jmlPLHpr{5 zlqwR93NL*SIi;lXx-YI|fuY58EgGawe zyHZn$?~|py{R){fBWG*_phZn}ni1bcJkFyzGK&1NS~7h%Q~Qi=lIrm;I?ouC`&E9M~5QKtWX@r_w-m2F?dgtpY(M6 z?r)~VsruW(hdchIw~!5c;_OV^_LGvD@kk`k+-fa%dI1)>E)z;Zgjl6f;pu>bHAkj- zv|YvFo7Yy=%%ZT1_TUC~p((ca>$R&LjXAxuei=$1N(?;u|AK!nHHm9IVP)(6pJ=9* zftzyT^j{s6=kk$%mQKveyPGGK=x*LUK%JKHts)TyT5-u=g+1EXtSy*%Q zO~!mPZ}BxVOZTQ{P?6Y8kkl_yr8e`3SqUHSA|6`YV>qS~*OPU}VyD7&XbR`5zZfp- z=Q%f}NyJX?FuSxwG=-&omh|Z<^Aci|h_`hf>FjR8VDh6JhFx9(EEMClV;7bt&7m?E zJe4RPX1G6V*(y1jscu&Z1J4`Y5xGr4FkuIPvsZ)xP8}1TRs0eeJ3B99+r%|jY#WQIpKE+_ zpXH=JoIaP{mL$(mrvkbmr7XktB~xJ zZ%&DK!lHI(ikq29fF z{Z=F%Pg=9_>kBC1C-kEft07yHB|tORwn5$)Xp`xLxZ|l7Kb$8}!BEDG3F6SpMEmuMbQuKlYxv3fsElU!(?eSX6 zzVR!0+wW$k7U`|A%Tse^&dPA7T+L_ZWPRUqw*O31e&3lTA+jwR=0JbR!(DqnCJQ%U z=^Rr1NQZL$@1`%YX6=TVyPtmJ+$b0@fY3iL*m; zpqeS)-qg8t;CYA@_A~m z=COj?%nsWgo|sRjYEIaP9@I0Z>2f|@!JEmZnC(wWjTG8CY&kW0?2E~Dp{c%!EQ@e- zcOf^BQ}FWLpH3f|zqJfD;(!;}(&{?_E5f7P?vmxBYk==F+&;1r^ z!bnBMBTd*EKMC%nv7leifp2Upe2EQ6$CWnnjz(aH5}2 zCF&)K5X2n626utS^tqO!&A9P6(q;4Nf|0t8&b5HLk0no$!Rz=mI}6hlV>fD}#8t4i zNyM+;l)__S55H#}li)MY80$=OUCyW(uGHDsWMgzFZHJkfXJ3En%FNj_=Tpn=ui&!> zWzhsl-M3DMaziX;^rY&}F`gT?^%DpyYT=3)F48$1y8ym!*;6!ScgzhF_|_I;qgH0; zOnvrR%?+e{<5;bFlAhuwa5luY86$oVUo$j1eEzXW%lq8xSzlVIUE1i(b1Winl*cv$5$@1%3XmiwYH!D z8Nn^xC~01$jg&XKbre|b;uBV09-tZ>B=gOro&x7XSTDdaX`3Cd5p=T$r zF^Zsdk4xaV3bJHX5@zI}9{cMK)JWEZu@*NC{jmABVL+q;q-EmO)D^xoHdeZLyHTG# zo6^xSP%$9pwv?8Xbel%&dC2pfV;f_8PbJFz9#JhZe-GGcyjk;oHGT=VLD#Z}Y;44d z#%m&63M_y8@#?P+dlQXHm77@u-QCGjeS!DbuU>Y2`N<^c>SgcTHNIpX?7%443G8;}YWo_2#vW52#C0iG0X&B_~80`ny zC-C11QsLmb#Cq=!mi(Q1{hGaxOhZzI$2L`3K*h8icR2HM)iXU{CP%U!2|8T174s5T zo596>4K1(4jh;&<>xJ^5}vKXe|nNw9o?W{eP(nvn!<+%U*y{H!I$P*WL zx{FJUmwlBkig$EPg9r|jlat^~LQ@l7t8%lSd@J5h)@VD3^{Z6*#&CDbo>buwss5&c zZ6L_Yg}r+HI^OU==q1TyYq^x!<%Wn%UkF38 zeP^kPM5Km>WlLSXF4np1+jLa>9*bOp;U3l)<@k)PZQ91FFZ7FP|Ih%UA6 z7zrsp&aR?GLPdoT7;|;~97X|c4Jg9wa?n+r3A923{l7)e9*mLyhD-+?GzTE4Ckcq9 zOcI`1Q1gJUu}D^Ev_)Ey!OgP^h^{3jji;#xwm-LiF%M5Gi{e)A`+kuU+Gl=#_`u1- zg`fLZ(Qdd>1&{9TNK~=B$1CGTi@A;qDc9OJS2KLI(A2m0 z=k5B7WD?Nx&Y-F(7hVvThMn)t$;ik+nRvRp&o;}Q!)L2=D8%;L_Qr`gBmUc^ei!x6 zZ0#NSJrICJIW~QoQQWkj>Bggv9`!lE*w!hfViKP%!Rh|+R{6&u7n%ydukHHau2{0b z|I7{Kyz90tuPm&= z&fxVO(PSD1vYZW}%mrYn$M3aQ{&Rv=4v)u+KG~A>ia1a{ldDpb^Rp?Ultm{npDuferHu}KlWvyX9yzNWdA`)A^bPQD zw7{SjY0crb0~Q=^BgV#M;rmTSiI}vWl8pVWVuhJD!eCjb=VmEcpSO0mXarcGfi{J zAesWf<*hU+58-n`d$X?J-dbYb05}ro0iietgOP_R$eE)zDf#h{Dk$VY7gOxQG9n=l zgw5p+I-nU2fPRDhasZWN2OKQOq^4&k_{uvo$K(_h@#Q$5IvSARu|ezM>50k6xXa@&|AM@`6*!-J&L#(ym@BOnYw0VBS9_lyG<)|LcUns^ zdLR???5?O-+A`+V<@8MLAk^YGFpv6Rj1hO&+PT=-8wl^fNae?mA8msVG&Q3TeSNUD z8qzU?&Xf{l!x~8r2r6-FH>6Z%$Tf^!?{Z#C?4~jD2FvM<7HCF8ngQ^AhIwFxCl?0( zvrW50$kiQcWA@!YhKQofNVIF~Vlbb)QPB}!H6F4QcV3lSUEhd`uC4V3pDlVip5>1p zoj2f!sC-tNI6N0R8`nvo-tygIRyIY9Qd48*o{Sq^?rhsXuL%6#jeTa!8C1;)r_JK~ zvvYgmo7*J`g*AFM+pAN$)t*>jil;)0eiOQ=coGi*U5M8$QD*?x=dwNcVdi(Az=NX$=`05-T4M&4}CQW7Mpy zUp3$ALK&!arAYcbduIA_KJ6pV&sFh84M#+D{qp52>o9Dv*-IfQ#;VjP8ch*-E2oSi zH8;-rZ>P=Dmo%o|$Mew++sHS-p-BAve2z44w2w*L-<^qpCXp9Z%=T-~M*-t1ac)%3 z)2lt8M>o%BoChxyM?mss&mc)B^b1%Hlvv@mqhhHU&)K2HZ{1R7_FMm;=~FEa7!MCn zk>JZ#V&l8X%&B~9YikW}ak(#<%JO-;IvKdMd-%pM4VT?_&%D+(R@i)iOl|Bua)?U& zQgMH-MS{q_x)I~kTLGNK{if$MBF`r{Y45jbLhCJ%>5!h~u(a9Pi^0rNhG8XE-RuCo zRTPQCfV^;}>Y2iBIr)JBIPhv3mY6=Sb z8PFK+1#_NQam}~kd7rKXnc9|QIOO1avbH9VM_QO)=elOuwifBhq$2trM zX^J_UtFp-jdT>Od%`?qTd|W6QKD{`K|Mz|>NC{mtNK_SS9X#7pa{dnBaeLRqT@U;qqR_9OF%wRqD^+Ib!_9L6P zw5AwB=38fK=F!_S4U`(DLliP!POF*@-3~g2g8S2~JeZ!_GmKuY)Oh3kEg6xo`RMVx z6yaD1i!|5GPQf?Vl;m8k9Z?0d?qT9S-sdllwqhi}bD-Fwy%!wQ;|&8?j|93tG+m&O zX~0)MKE}zP5>(&V)Gmq1Eiq_T9?r|{F`yY*_k%a5`A?0P;VSf*J5PW6U{%2RRjY11 zU{Uh{d|y3&I?6%29JK>m+Bzs?T$PdiazM=07Eu zvD>vIe1YwNe3(iOCaZARCYzH}LvGdT2zuTgzn5b~#>kAL9JRdztoE&?F>ea(XR7nL zznO=d`Cv#NF*i1!t2e+>=Kr7U%f~wzK+XsC_x_UTI7$587ygTtPVUI&u9PTgVB|xL zWNqq`y7%|ZXwJ(dwZKMw%*%HQ)U-mkefN@;v$HWp+7-0NB4RymBM;#pj6~+V;`tD# z0nz`+iwvePMFs7qXy^D)5tT_Xx*4yYL|UY^oUvfUkO^%bYM!nUW1vvGH1(H%tw zD4m7EoA6hTPXCR~KVT*A0Xg*8jaNeqG#bu(beE+i&Yzuy(pik=rj}-y8KZ_7gR1Yw z-wz@X%XJ zyiKm=74WC!Uw_jt$0!iNa;qF3F7zEXC3wIdFZd)aetj_g%lqbb(cG$B>E;}-_Euq7 zXTFc5!`&FW{G0vkf9T%5d*4gmb8+db%5}$J*yh(ceSVHyhS)_@MknDU23|~I`#+y^ zG@ve{l`-Q~Zl4CXjL1%;D?yA#18FIWi_OeA36JpBcgH5^9}mus8xKx%D)l^mlIn=4 zZDuuw|Kehms9N4r3B0$iVL8mjTI5?9O*%y^5*h6tY&?Pz%*)n=sM$ajHVTRk@!ymn zI!m4;Yh|ZwyI8Gr>c?^N>R3}#Q@APcnk0{33j)ff^s!H!}+^K&-sSaN6KPD#Fsmd)(iu z0vr;9*Nb&lZ3}TF(TTNHhXPEmb2~M^R`VIUIV z0p-XhCqMS4$qSH-OQw?ARSlISWr55?oQ82D^~J8Hv+@F`v;X`vb+9_2D9o06l0Ey< zjP`JjYi0Q*nXn%2u|Fuie;m)TIpq|u;oXewUZed1GZcd0wj&1(UNgT3jBEMsY75r= z=VSEZ0Jha<2t+FAgzV!$6eb~I43VKw7I%rvl;U*ev0#(SawQPIP&l; zZX)UIDbsfyGH{Yuw7um+lbW(`N=zxIp9>@Rqc&-CSp-@Z@mhC!tpG^$AO z(FF@OHa9m%=xb(7Mw}Tf%cRE=;Y|Oc4Kv;%w(N8qA{}u z%l`N0S~V=mCkUPDY?;cUc0(D5H)pSnzEO?c07?5ygL(K=3f)<0h9a}yQ1bfvDW$j@clP$MKF|m<2d~9bYw3^wTcp?8E~W7Yi_?h{ za|^EH5&ar@kgRZC6Hoo|3?3A-y`(1A{V^io|I#Bg>YWN}pAI%?LrxWKoXoj4XkmA& zcIB_Yb-6;TeYl_{Po|n(vyna7^5m~cYMEZ)JYy{zz>xs~L5(3+9t0ormbjobz^Fhs z-6p?Aeq;nIl|o6&cMtMO{A=Et*}|CEvloZtp0YThm*dZ0WXSZ#Z4Qu?SASAET2r=W z=X2&zrk!ZdN*hxQ*gPM3KJKBF(~A~svBcUvVu9dzBx@iQLv9?S)K_hx$h2bjV~4ML zkBvF^B0c)$w|*Z~Ah?SU`|Xo8?M7`!hBC%5hR~Z`(_f`?jzh7q1bIfc%KZbZIC{g0 zWh(wkS5eIO1#I20&9A_lB`qs0>EUgZ`~5FRu3@g)ByvQ=jaM$$blVhEXGrb+4AopT z+}nG_z^7l~<=U*RONjVTedrMNdtpWRZ^1@GuSEgKjNFuIY2b()&;NHs?{8UfUK(5I zmIcejo}UvO3rm|@KhF_5tAjj=gllq0N65GLw~z@I>l|>ml2f=O=h-J*9K>3>^s0d_ zVTrYibPw`XnU&)yv(&EdAjgKe`UL%tGI47n)MjgCobHzSzo<&LM@cDud}`arHnJ~g zE+$*3Lqta{`RI+fkB?mll4-+KDwl3NSh{}`&~?XwfLA;)>Nn^Ne36FQJKY^ld932h17Z9VP_e-+mJY6i57<>v(Sd1q$56u) zkPU=&XKHw|%Lte|=a4p6)-@jWxgS9$42#!4jUgaf^?SLGu3n`!A5oQhrs1 zEwhZL!}1?Y^W(_#>Dg&FQ0ba~pkmAhZJ#`}c756p(;Qid_jhXd)e8(uRqlIi)1Qy& zP+_Uw$r8UJO)b)o;k^DPyQrvXuWEO9lKukE{@1ItKYmP(qnDT$5leWZeNx{*rCUM0 zBo!R+nC-z%cl!`n(%>dS#9X?Sgun^w!#}t3%WM$~Peej(#AAjLDDPOKx0XULk}QuL zzTa}@Jh$|t5?@i{6#UOm&+Z0=_LsL8KB9u7&!;NxPwTpWM?)^vAJW60*oh&;{dKN8 zbAH)xzY?@lhbBds3`b7PcA@?-u+DtJk3uzTJWQrb{jgD9R#vr3o|>BPOS##XtCKpq zzqfhXM-&m7{4EoBJ05TdEtu;lZEfw>Z7Pb28X&@rq=%5ZK74(F`^l3)$HPXoXO0|} zfrCu-$7wCPx&$l^Xqg-$dFd=_p|nJ*Y8re<{G{x>jE3B>6#mEy={Y4!)#JW$#u)k6 zjQjU4E=0e7pB-zDlS5*2P?vKZS*!LY>oRBvY<#=bZaMxb&<=-$hK>RU(@%drB{h{8 z>bEPco}p;fO*A$(j*;@K$uIwL0%<$~X%<(N7As}TuuSlSsnnpG;eb~evshXOm;aul1@7`JFtYs>` zPXT~MZGTN_KNV>=Qy|lbGLL>7Sh*&w`Ny3PC;ke__Hig#WIp4&*T#@kp4(t8B`o}X z+=PG0xzUYzZZf&`H1n~1G&uMUqx%dzAt6MAQq?@H-mXAa575jc_FQQSgN3;&~!2!bl$5!__j_4LrOb!hvw1n*njiYMvc z%$>!wkjzK;mvj}6Zb9`%3xS=9x4&_3S z0wXuh$agzEJr5u$++>&n(z`9!1>U*I_wJs(tJUg^K!3kuok+YSOi9(M$9`uH?}-&8h* z^&0dG!25K=J<`{w)wcozAkCe@vimt&*tMa*11hY=$Ql^4eu7R$bo<_t>U!Y2V@UyG){+N{Oefdt%qi#-Z zNJ%HG$`O*Ns_9y4KyJAAzy=ON@WA-?B+(msB{W+T2tw7I>1*`t{Z{K>BB)k@u+%^*=2)*2fA3k8aYlsW|>a|;6 zc-IU3$Sq4XY)y?qg@TTllS#YRSv2mQvm1vI^CrWu7{ZvttCg#YLZMp&Fy9vaHx^&c1DgGt^1@HzCCKEAuKKK7E(^C(Tj5lqdWr;aMc@dK9ocU0-_ zt~c~Sj3x^po9OKa2Py+R7f;gg^u)W3^k>)vfpaIoRfI)oAb+oXnkE5qFx^rG1qDF$ zt%8U?@Ew%+LF7<1%w;N4omebZQ*t6pT!J@upR(X;i@J_gX|qC+P2vmAru<>v)(=)T z1(~UF+yJv7OFXzdnOM!Ar^y7RPUXQ;pMvmAWo%Yrf`q4KPu5##J1??ML_jNuD0KMX z04ZE9()6md!tR*@(8&6D5VQ5C=f?#bp)npk{S8@pbrN3ub>rfBTH54%gG#UiAjw6+ zhp1P361(!sMlh?Ik`hltj60I)J-D#q6qjAa zuV=>AZ;?5ZLzQ;jSi{Z>&cyl~yH@o4Swv_7u}lN0godsQz*pje>PAlqKO3Wx+7tO# za4>oKYoJ_Ow&hNo8+>3O>Q*|p`Js`i8(K*S>m+1kd^A8(aR1W|00Rnw9qFB?Fx7IP zgl1l_*qs@A_S`Wp@$28Z1dTr(<~G1-NbPU8$E)$iHFkF^)cCTj5~jt+b>S5ZeRc}n zhWfy6l@ZZ!_?QPC)Ru7Z!3h$vKl4Cq1GW49rS^lpDf8iBVPM>l)|qL zuaw{X+eM@%go74xJWQes25zg9a@E_@v54DjI2YjC6#gMdb~&aA*wy-wbGuc;zqEO{ zr5Kz1PJurCRM5ki=k?ou4OnoT2Fp;BG?j!Yw$^X|DNve;$T*~s_Q#*oh6StR2%{l# z@CAEKY%Sr+EKn7DTi};P^c@aY4i4a;qEgZF`&aWCcbRh7pNHD_OEhf+mYnNp+ASAx z#HiaC9Om=5$tQ{Hx+Ss@AcC@HIKR`6dx(B9G<9nptW8p&wh_YE4cT~!FWD1;C%#Z4 zOOZcVNWfhQ1_4ehXe9!*B9R#p_Hel{ux-Il{-nKSKD*k&3!!T9R^ZqXdzis=VB=_3 zo0OFFMg52%WCwPH0qpBfgx-(H69_~Jo_WnnHH=LygIbc3Pggf6bD=yUq$=tAbd{Jx zm2h`*p2qrkdhVZ?qdSb;?oXb_dC#wKigGq10od9OcOsY2L_~e#(;blHh@aX~b$5U6 zyBeM-8;10`1Dmm;=zt96=ml|o9FL^rh;?fU1Xprl&|{w0dtF{m&Iu+1q|O!h55h1n z2n9me{|ELcDsp9{1tAjfqQKaAYY`W_AApc+l+EMEk4r#dzZI%!5Pz6e`W!7OXi%A1 z?5}J$_F3+)RGDZruosAu7)SY(PcG6s3R+?u){aN01Z)%=YpC0y7vWUbSDijTsJ;Y) z2=WtI6!jMj=DMiZqM?rAFiF(|MgK2Jr zGzrP~fG!5j=O3*yAd-d5Sr5F2?N{BwV3;3rKQgJWHi|V*r}(}@&31-nf#Gln>J#I? z7jNEOuHCOu+JRe)wb`@>8sK+^oZMUuYuy;N?k)%g2L)Wdo`FH}jSvU@iAG@ZhzDuv zcug_=nP#qn5?fGkoCAf@)AKv;nm>)#GWw;|*H+V!r(i)d8}$PkZf?tp^P z6Imp#2mJjyq_o2NW%k3!#F-ngDX_z%;XHd0r)mU#LM9G4!oS5*z=`@(Yl;xz5!TS$TgX`2Y7NT@Kt?NM3M5?@KBk%?ydE%`NoQbHY z9h_)Vp~N zEv+_W@)OAlkBX=j`7nUadA_bRTjtuX999o-YdNP%neYT7W!Qfsj`MAk_BbK5(;7-f z-2{9NqIWBY9Sv{zcRRZ`AM21;b<@Pxnn<<-*^q&0f9&^zvn+oHc)Q~}gi^m;vy-pn zWo4C(kCB0*b=c(Mq8--!A&Bfv#S|9a@LBJCKx%dHO@#uX)ZzwhM-AdTwNKvE!}=6^ zILAKA@vNw*Aepb38;Dqir7r@!*OwymT0<3Dy?uGlk4WyJ$5m5RzcxNX=VouPx0gLv z>gA=PYG0!<2^zb^o8#k^7-c0tAxY`Wbeg%I$-MX>9+e&y{Q;whJg#IHJv@VV)U9ql zYR7Jpo+I_DrE2BVN#vS%ZpGd1VDa!VZneg63;0NwxcZ_Sx1*bzV#29Z2QMwtyH=b9>48Kivm zIaCsgDo0@$&w(8alD)9vB_G~&o>nA7BwbeNV6n2Yl12HVD)z4zF{grdV})zCZK?<% z9$%~feD^x=15O{0GQ;HaM1Ht4reQ!MtW$|PX(ERc0SDr;o&QG_~B6d6%~uC~SkK}T;`%Um!Lmkk}A{?qePTwHpPI)e@C8&*XA`CLI_ zfpuy$QCGe-w{mi7cpYc!SUq$Xb}DcaJ=m#?9QHNg7|~n8j@44+ITgP5iU_`xJ8dO3YJ21iD0nnrBU?C2OPeh< zyw8zS>LBPhh@^pt&T0Q{UWQ^#SC?k3`CADamb#l&RphpsD(lf|`b95~oq@P+cfUvb zOPb^i3sd2$-t~V^DS+6MmLWP?IrBXfI&Eo#Bl%F#E!qY=sUMcAaVbmHPF@v?Gvd82 zmDxD`+6vc#sagj>{Gp;gUdX{OA#S~s3v8JOj_9XeKxIJ#g9S-jrnTMOw?qOk4ao8Z z1_mNHD4-+9&WRj59}IA~b~+o7f6uMYb-QkQK{Cw7#;Bf%n9v&<8Un8-1IP`v{ljh# zz-Wz|*Fnm|a~oJGT81Mv*ufF>j$zGe?#UNb^hY1GK7YV{{9P4&f>z)3)qovOokf}p zrM7nOdo717EYHkK=mgykewIwSG^gL#)@hI7iSD!Bz4FiLzm78>%{qBlx57kX1cOu??aJr#kycW^buO*Y38QtcSyN71c z0bg^}$2aeUwI75qVRz=ZfSAh0u3KP?#3GfXdyQ`)d>sWqMD15=p?(@JrOTDPnyE9@KvLDq`-riu6 z5ZZ5BbofEWi)7Vv-6H~$=6r&~BRvA_CV_{fh+j;Q-J-^)a%x^xR`#VYsk?KaXiBV- z1oPqn7c1-MqFSFF*F3}Ofqco%pK-!YcM-|>XGc!5$^{(buwI|-{3Qy%JR*^Q9YJj= z{7(Xf$6s(BT+Q*m_wQ%aH-7#4wdA>0n9GEnAO2eJb=;-%(YjKM=NQf|AlJFVu3L=c z)cDlA*AP?a>DgrZWVic~V=jW3A^@*htzWG#CoflDn?dD3&uAe6TzB@B!qc7kbWX;y za&ixCZF9{Ide9CKGWh7BiekL4@x$c$Mi_a2*<7fIYtq));X^fR*V^SqG-;q+E9*pN zti>))rj8D;r=^d6e|IscZ=k$AvW4bq<5QJmpNL@gmx?Gi!(&t_0OU<)9(A~l+S&a) z|BQ)=i3AsC@UYfv8ea421BwZSzbi-_Cba^G3h#?XVUbVHtjyP$w1sVsT|M$!17_gO zR}Hq}Z21hFkAl~^r*D78v2<PvN-UmlG9d9T;|K2k6w7j=n#U2(lz1Vf`YU#CZx`}9AGD89a9x6zHQt@c_8 zi>bzbO7>a<|DsG>SC6^9jpWkO{lq0l*HK$rGl;{p_)yJ`j+$TBFSoBIY9g68s7)1@ z965H(238!{deYj`GB|~Vw5H6a!dRvK?*Jc;Fp&Pbs@ksB6=CR*rg;7O?TH6_0L9pK z2*K>YJ=GY?e3s$I!Eo@~)MXTZqbTe0R2yL9>9%;Ae&!oVwIPYZ$=?)rdR1P7p1=Pe zz2o>Ivz7(IxusT9zPTtp`%W->L4!7zF5}w9hGyu}Fh135^8yi3F@q{?JM97X2!PWO z*i1|M;g05Qn3%*Dnm4D z{OD%Wz@Q+#0kBID@Z0ka>UkAn4CUw;Q8WfAx`2|I&ahE1Fr;kyi_Bu6CJrM7q`8p^ zNilZRef5OD0aCxJ3pl2?aqQG=0k>X_v+QVarjOo-$AQwMKrgWR!vjT%2#2pX04dda z@q9sduifZ8#6#SK%uTjv1aJb9o8}?}9qj8>vXF`@LuEgl6;=?1fTNVXg~rlsazM)N z0x?K5L?l{Kzuf2j*&zfiY=Qf={`E>Ig2T>d0=myBAu*iqD~2Yd?U70S{|27yo=Nn} zN7OF-$n!?rc1Hv50GlBho&>&vT+_8{02>wKcz|C%{9^(SRw;mW4y^C2)Kkp^!_m!? z?C1v-Mpa+mr&CO%pN-6siHS2mFb7wFq64atE?1x4d5Um`dJ6ocz`|WN43?QL`WknU}t}`ipohct={{$l=4^b9G7p<6-0A7({Um4bnSQ zB||4>H9)VLi=ep}^$1f^q6nWqMC&=3)-;m*HKW!Jre*C+f(2% z>QGINVmAlKM#fgfUgksMwPAE&LXDU9Fm6gre z0T++Xo@?so>FBJj6jW6DfaWywMt6J!IH?8*o2b%t(R$VW(Ifwql*<5Wd$f&NLy!QL zMPPRO`%>J2zG>;%k?Kk&uOBxRlHNu|Wq^XU^#o*R3JT$@fq{W@O_>QA(L4tFIs}>Q z!a`LjbtIwmG&ItDUCC&m!m7O9nFB&B@*A{Clvw*gzyU?CSvZirQu|@d@pJ5!fRX^m zMD}%o7%)wcA{g?YFkF;#e|xj}-@0jcX(%BmC}>(jR0YC1XmIfy-=-4oA%bf@y`2sM(HIU1N5uw=!YY~^E zq@mBw`a>6&2&GyCM%6O%nOY}}`;PeT*i}PGgig#gmt8q7%eekUHaOyGs=r`oV?#Xu z5L^lozo5}NK=J^G{2N%-8|=z4SrD7cb%pI4JU*u{*99=s`M+tCEB(C609wy>nrNJZ zM!XWYY?|t_QC~f{^rS|qJ!3o*BO{7NF&F@=bjZ5)_Izg+APrmU?n+mP*WnZOcc>-z zo>dGCdN9i&wfzt49Ha*tzP<@u3cnUeim}6r^naBJO*GJkr40?~`|ORjw|k6O>~BNd zhOPZt^D~2fFkSGwE~p8zE5)SQ4VDUc42_Pe0M8PHpv5d4vB05$(Bq%6gLY9E0z7vS z(lWSi5js?TUCy0g7Ls|sW*ol!k>h!FV29e%@|Op7(u(3y_Fy-OYpwquCa&j zq^zXy<7mEemvKLPlYl{J9Pg93GK?{y>udCheIp};YgAGEEMF%7fIL81yDCAPc` zN<&fowo#dxnK-xQrG?dwyWq!Cc33@E2f_1@FU!;2M?d8S1_dgF!HTWxtprVmtT4z9 zo`i3VXMQ)sq!mBaQ0O^kKYy5*hxaoE zD@OaD0)PMgH?}XTeB-q)Kzzts!&--|9BHuWLreMpr*}SJ|I5qEL!v4(H9rri1jf9b z3a}K&0$8)l%fHVN1vr3RnLbg;wP*0VE#|+LhyRyf4`}xgMno-U&0bAU&ww5u@O3m3 z6A-{#p|PI>_rA0Lx>isa8=E8i=|9aN>i)Gz;?YO{wFD{4u}du*u)D;of#&J2FGpY} zmSY2sQ8k`p|(&#sB_ji~@Kndn!2GUr8b&{UUVymTw+UJf>#)JOA_NdmtK`1M>MW zFOdA%d{{^!TK~yE2R@*rzQ+A0PWb=cCW%}8uC%m`zQJKfNr-MdcmHX`XF4RBw~M)t zB_;T5=ul76l&G8i_wtW#5#e%oPfzRrO{2d4f6=Iiy8e5$3*?luj^Yv$_)0ei#2P!y zWp<1O@*L3U{{0%q|796Q;Xk`94(MxI2IC7Oug2A@1V9O}!qD?Pk+f(DSqi=9|NE;ZE`8X0Mn|@3Zi16n?+1o;` z%@P(M-HONQFxlWmqVJNDE|Gsk8Oer0ztK8T%c!#aaydN+`H%^Hwbq>#k<^j8q&hY5 z89sTZz_5BfNNVp6cnhQe%57k9dZr~0^tjsKSzHB49a_MWsCa$DBs)Z_uD47 z%QRf!=Pzl%%TSaTB0lD8O!1kJMzDv{oIgL?Z;^nnJ9KQYg3sk1GHNZCr0L>>wZqoe z!&PhmQRK-#vGf&uGeW<4-MjK2*mk38-tu+~4=#$Det| zL^d>; z>FMcxnaTfjXE=a%7c|ox{T^hHz@u3wXC0NP$K|vs(#a&hOE6MegBK>VQYEw$(!PB8 z;z`=eQ`@M`FGXv2vpRD)PTo-xRWw&;WxO_;51*0VLeXXd9?-VW+>-|3T73{P&pGyH z1JXfCx^Rb}&+y4)A04xDcNeRiDJBFA)H5o2514LiEnB3~jDiTzygyOV!x*UVj`E^e z+!9?L&c&!raM$vER3?D4#w3g$5|O>(0sIvP&xqx>2QGnM(v0CJ&a2{6M=Gv zp%MJB4~NzW1MZ9dwDNM(!h@NtzkQN~lr@evB@bhLnjFr}KAg1p0CW(sjY}z@azara zi%frqkB6jZ6*=`;yb!?_VYI@z&QquvDGv_&t{WoA6c_b8DK#s}M=eV$u~^O;PG%pV zjM)#MUd0EvL?RP&=W-peQ7qD(MfTWD*9kEJ>Xyn^Mv2#?wth67uR*ClaIo%|7l8Ze z`?HU^cO1HkInE+d#C`VNu@+|CyntaHA)zep*X23UZp%frg#nSQN|T@7f>riT7~jmwv!{GY3vcbNf25Mk zOn45SSHrQvAU;|{&En^f8wNvsv*wxJkU?zNG^>7FTg%)j5HgkAHDV|(@%6zI;HC_o zkIkPi?1|J;I1Ocy$XqSV4xFj>iEC4FAMB%6uHl3^LfQBfbNAP&+W0oF9d`p@P8{VA z76KlaHta=?5j8XZB7q`Z%dOo0Nm9hP_&OMQ(4g*V3UUD8B-d==oA@+i&}P2#Me^Zc zw;b)=<4*+0eB4c9gHBxSikt6c%ukh%yeb8>gc_q!svE2_dE{Ca;mA`vv&{FS!TJ< zog(mFmy2&bfoX1PI#&8tAkR=(4Q0cyx&cflrBasioyJ;f2!?!#?I8?Jt9FH67`h-N zD5!>$gh`{fYNKyE^;A2LUc#JRi`0H5bj^eQr{FqV=@%k%1qQ&p z1ySoK&if&7X}YcbUi1F_wbmr5iZ1VwfMp`Ao-jsjF6y3<-2*5n_rWvnZ=vKIvLQd# zgYl8xZj(9K2y-=iO}Y@1~t~0-Pody61;Dv z9y>kSw$Fa9!g95arW7TU1<6hgnPG+l-cfnhBmvtw5RdQUX+>lBG`6l9sTP=;?tee$ zaL?n^*t1Zfiz+?y9~~*}(qj$bJ!)4726g-85WuI#neIZ43S`72_X_&PS|Akn$#s&L;CJpg<2JyT4{XocrUx?sq!< zh}Mv>S^i3;8w(3dkzb$dknczp45Baq(Izi>H_3c>c-U?*J#TPu5Sh?cwY+xT_+@1W z)hacpx7Z`T`0kKrtv6D?`gN>9zs%K2Ki{ByZ*=M_nCaFz$Tu0|T@85pAmO6Q1hiwX z-h}4E2=TR8LpP@l1ty0Qf?n#g<_Ikj1X8g`=tD5Fj7bZ{#j5-iM(2CM@xfrzi+Iglup6* zR+OUj(2kCdlo~9^HeFEt2rK^{Z@~!oMx*t>ovtQJZ;j2kUf-riwA)Ai?)5uoi(Qf3 zr-B_;d4}$DQ{v(NUbzJIx9lm7RpoZQuT#+!+c>)8M=?2Ad-}*MQ(T*PGfJe@;k3qLV7{YWqxIK^A%%oON;E zJ|5!4?kMQ1vM+(?LCx0YN6My*3!R^PE(n(&Ke176Q&iSc-M*Bc(Q@zV4(O{AyyX~a znsz0er7hxd*cnQ&#J=+xCtkoTC8n(1d-mdPJ2mMWfJg}EBeFvanzu74zh4#K=&57i z(DS`{W0k&^qccdYdT@ojuvcgW0BQY6iX7gwEFW##^jRQotzME7yIVr8#Oza0GKUS+ zSc;N%v;Rqq(^yzoz@>u|-9T3{>D8N*S4u}pZ2B%Se7;zq=xv6es#Dml-oAr11u*A} zS$j76bs?gql{m$lhv=oMkxCsDrQRJZR*@f$*YrS?tigz^JysIq0w!grVj8;9fGf(|GfAiP>JF6{KBm1 zvEn~qs`6lfxdBHYr`b-MBfH<6ZWE=$I69GKS?dQRx7fWq?n_*@;3R6NsWyR>hm%~d zYl2(5gDeK5A4Q8F%)?RAXM+evBW)c7a-~{LKvXsyaImGZFwcb&abyv8^u@m(JwlBk z;q1(*>!4v#Us-TWPwrH*2g5dO5#=y$1s$&;|5$?B!{6aK*k0&h;%8c2T6zY**bZg@xL00{ZmHld8%78$S=N@h@Md%B+)h0X4w}g6NhB z*9h}>@ZfCEHzxMOj$z*PeWsZpGdkmX^LT-EYs~Etx?f|cGMt>c4o{(D@T1Bzm!k#y zX!tw!PY64Zm;Irt0A1`ambODt>j~hh!>r`){A3Ch*C-gD4B;4!8EIYDgyVOpUO)AC z`QjEGMnsYK4Kq@%E_$R)&udUu)-nNJeK>jJ2**;IJQ9STQ(3 zEGf6!s~8;BN+-O$yaW^?)1#se@gLf$)*+sk1_)E8*8oO%tF-7718H!|F?cKfVIf1kDC?A~Q9*(rphSyIsn@yX$poU9U99BW?aG z)9V-82^Z^_^ZOiT`UuuJZr1H_X17(uNv4GWU=LX*Q-G{J+wYnPJ1gSj@MpL(O(N?X zY7@*r;)gEN;M(HH#7X!*HTNIaPx`L>652Egdidfe-Y2D5MlCgs=Q#E3)>4bQE$=yP0q5BCJii<|Q` z-jpbn>p>`gs}>H74xEF{E8eWwEY))PTkb;Np}IZX@$?%d51-eO;44F8bd}=qv8pw> z4_P<``T3Q(xVVhLI)5bsMP&G|Dq(bnd_1VBmb^`Wkj5l`Bw}t-@o;q_2w+J**y% z&(I=ZCWC4pcNhKaDdbUtNnITW5+=zJ+8o$*6auNSRk>cCu_a>n;q}ElMqBaKwdG|A zb3hnwR@2${yMGj4!EKK2tq#0FxD#1_i^1Lwr6FQ6j1p=MCSS?nUNwhBsn1U4o%nf$ zy8@UBula7R>#l`{qByo#Qqk*a13|8@PGWyR!;GH|8}V4&21W|hOr-jeHNoiodC zw%WlWX1kP9Yd1owG9Vj^5UBW|pzT$w$t8w)UhJtr*=6#aGWq@SS&(XbQ}8%xGtZSnbh{0@0HhxSCy5O!@oj!OE3bM`(PIvYV7qA3;7+vysBJ$ z%f8)0Gv{}9Ea<)9)Dyv|4JF~h@dz}=i@rXQqfDyH0HbP>86|)!3w>#h{%h0LB+=hv zxsXF#1u*})AJrF;8=L7S5TM@7()PR3!`@3sH#)$NWQ+DK2`28(bD6bLc3scVh$^9b zLdylV<8EeF-gNs*vCw0SWXHj-%FBeux+_<^013PUv8 zK8JHq?1$oeD^{q+gRQQtlt;#e!NFrkEsws__96%Lx)_-rz(_8U6kK{(*j^r4*DtOy zdk!L|^p1{>L%h7CE8!^HxAcQ*L&=SHMW_*_0o~%+cTWz+7U=0QMYwPJQmLROkAAkh z;fcUWm=KG^9g~@nV4I#>%MqQQ_31K#)U=fVbNqm|68TnchqZHIQLRDa=YM7jV;q|bbK53*M= z9kHF&=+a9skyiUSfBm}q>DvU_zCwGpPsbjFYbDleM)4D`sDOTRIh6eUc?eU7kn=Y_sn2xu}oaV(FHylF)jL;aoPDaRv z{7_bxw}S7gq_JP?ONmL>s7HIyz$igCov7RUq$9Ctc>a37sdI=uM>Ng=V zd%&Un-y5!!Ra6kb=UF~k?F+TL$C|41&Q#fNlX(kv>TKx9j#)EM>sB*R*m^fMsW1sH zlsV}gm<|XiFne9-;ltn@D?$w3fEb5pKX(VpH2{K#5RPOeRrvtRuZAmh8N0HX|7_m~ zljsoEA|T`Y#8*6QbCje*3IgU%M`j^|6yY!JVcDk(qSm32!QmKWt`&%4<)MT}M(-2E zb-{v!d>miVf9mL&3w&DZy*4a|Ay)x=(-8s*NkVoieO=laGSgR)CCouDSU7m%nzM^k z_NnTGwG5P$V>(iH=|MAt@U`LG5sZ|)B2@)CRX#Kw(;*qmntmOFJ`+e1<~qRvXAx@WbWlvnNoyXHi6!2hcfxrUjEz+DMRl#R8{wXA zI5;ao`x}9i%aTV!e4Kvx0yZ%yYm@cVMP+aTy1iD=fWT$1mA7`^RqF8)dwcPb>s%WW;q%^i<#@)zDcLa+bq z1Z|Og=2v?T-C~hlth{SdG7a`lJx$LxEBs#ei<=v(QZwV)xOA9D8_uoRQO}-w{0WRm ze7(OeELuOK32b(+V;|Xq`WTyaM((pqNKfVqT66nwTs6XP|*YkeLOPG7r<+B%>BYkbw;F|X9lBKsNeb)X3IWt_7H>!+HlljS?XyQxs=JA1S@6$d zW4CkuYNHP-z57=XU=_s^SX z(Nm|cdKH)HLW_tf$iD$?LAi=f|F9%ddkc6KA)R%H=}@MJO{0WE_7*@V=0ClS!9g#; zu4-jpOb3j(FS1(Z2(C;PT3iL>X{$RlvJimLAx;^OD=MwTT?hQ70(lJT`}+&5{XkN*0K^`WME?)K zZJQ7htAQe}7`gJU(6`P1?dXDaNH|*UU5T_4fU}73Sz{#1_P@x2s?BGc$*pWxqsQO#lz+6A7meGUq-P4_AN2DF01(tjU^k0%IQ)?)VTc8R9&u%=@XN)WK z?QtX;m(AeFFO!qW$T}gz%z>Y+r%>!#Vnky7hSdK(0`EUSd#XjX-ibs*H;KIWH`|Oj z_qZX%hmUlR?)B)S>-Xq3?MVt?FOM)dLDsu+g`(2qFP`8}#(e=o06+&)3C(UQWtha9 zB|xT`fpLa2NYqC(6{AW!~Dg>~N(k&`QLOc*g> zc-E3@%l^jWm<~u$LwLYLhP5%wMmM!|sw0H9W!LeaAiKMKiN08a?Qt{%IW}e6sL!qpyx*L7(#Kr6)xcEUe}Z z#1D~xaRD*o^}8{%a?g*n5q~n~;K>{)H)_o5?KNcOQPjh&%m|U~nm%`!9Q546T0`lD zUc*z~PKLrtAY~RzD%ufA3TRBCoTpCkJ2tRdxIK3}BI$6{BL-^G(rLr~{EA#%JpG%b>*ib zT^*e;7w~@<9;QPW<%9z8^pEJSkVR}B*eIc)9zWb{Y! z)SE3Jr2$9F&Q+<8<@!da^H%vZLXZQT=d`c z+)xItBguP9pN=Er#fB=dmLoj&KgxjC(>Ao&iTN__28okY6?m5@jw_GOmBJ8W}zg?W6C%7oe>S?Z&qm6oqHOy0WAnZ z9;!^jE7Jqil@x@Fd_&>#g4RTspQpub&{D?nqwoUYd^P#vn{~{Iavo}6zTd;j;?Yc3 zUt5|HR^9ao=Po&$EzZWqCfZX5f-Yst{^>u1PMPlSxNWt`9c}5H%D*c=dea#?dgABu3X`@*uCXX7r<<7+k#>XU1$%ZJi;)Ay$sw4Y79g)Gv}?C zRuc$VnM+H~QZ~JBY)7dep0)YPgK!S7f=+abpr&_Vj?E1i0X@4kn@r#QJU?$na@(LZ)dKgI;^J4JZLi`6g&j2sqfl)|>1}UsAMM$< zcdsO6GC(Z49^UyPk6DBNeF0E13{B=N04aIQQmK$u^0*FBG*Gi;lgSd>bH-a@?7_h- z2i6@yI@SPEPW|(l#Za<4^^7LOVm&n5$F3xM(zV&It&d%K+)PA|cc(S?0Q0w7a9@`p zHp5fY{GHs!dPPD)qQ%1z+F3HQ9iDn^{4Z#Bz7H`F+`ve`D#A<;SuDOab7f^kz1op> zvb+VD3rHr?t~}NG7V_o5qyly9G(_(|)dOnsox7`&%tm3_gWiN2UN5g?=De4bp|>6= zc-hOQqi{|jhl5S_7_A!uha|<9(GL$JHrTC)_18h+%r0B8y$OB==m?x1tbvRg?3>?q z?mR6ld<|Fly{A5d8H)qu^q%&jR~|P+vaoJ9*mWQ;R)1Ot(n7kc>>{pE!K&ixMw4z} zNiSgzyI$ENGk|}6ytl+D8Jz=f9$Sqk#0YWF;7aPq7Dx@o-#;>qk4B`S+EcacD`rQtx z4ij!Wsg^=5AV#OfK*Yl&Z9uI`^RdWft+jhPIR6m>dkgk(1JW6{a!?+lQ*b^Gj_kDF zb%4J!fJJ2&);@!_be58_sU%E@ZW0Q2@$>uPJ;@7E2&Yi#=H;cdI0$eARRmjU4QJ>6 z+rLqp`;?H7`hz6CbS1_QU0fH~u>HUFokT`RAb$MEk9Qjp*QjUU1t2au5M34{bp4iV z>K^wM+(G>4FJHdwFTNX(&hftF<}ux`0)jH75;BREnOU+Rz+WJ4Jh&D++Md&Vx_80! zgoFfcOb4`&U3IU?3e9ap@NdJrr#_4aH18Ib%yQ}`-nN$!1jcYO7Un?}w%%O4(Wa6}v5q}dT)4hEj7|*+3z3A8kg)Z{B7BT~k}y)p&@II(`eC{&*iK+!QvWb{teLDx z{KDS!GZTQ}GWElrFa0-~vV7>ol2s7rXd*4Gtx{_=!3YRJ(~bM-jM;bZ-W@PGuC_*B z9LOSbFv?3Cn~UcX=8i9Kk(U`o@#pVT-3k_@1RPS|JE z#J?I(YNk370ws)hm_LSo2%x!G74#vrHd4O;HqbV~^;fc=&D-~|v2|;>NH^UnK(G{O zHAu7sw#KUZilN~P62U(aQCXmt#J-cF0R?bESe~Z`P$>M;%qV=bZg*-klnXCvCuh;G z;vmg2(TJ0ou3RP>5F9JNUO_k}uzOHu#l^)@%WH>WS?&&&YBK^rGSrVq`)8;)6O-PV zI@P^B#F8OI5nxPgtliXD^IOzpC6#Nx5#wpypMG}xs+5ce%DmuL(WVRr2Pu;0{D-#AdHG6Damr0jy1pOBX=Hrt9 literal 0 HcmV?d00001 -- 2.20.1