From 74439962bd206e078ab24810cdaff81286c0555f Mon Sep 17 00:00:00 2001 From: Kevin Brubeck Unhammer Date: Wed, 20 Aug 2008 14:27:34 +0200 Subject: [PATCH] found a bug in w-formula, 1/P_s should be outside sums, starting to think we should store charts and have args as outer loop... --- src/cnf_dmv.py | 28 +++++++++++++++++++--------- src/loc_h_dmv.py | 30 ++++++++++++++++++------------ tex/formulas.pdf | Bin 110232 -> 110246 bytes tex/formulas.tex | 8 ++++---- 4 files changed, 41 insertions(+), 25 deletions(-) diff --git a/src/cnf_dmv.py b/src/cnf_dmv.py index 5e2a8be..d596dec 100755 --- a/src/cnf_dmv.py +++ b/src/cnf_dmv.py @@ -50,15 +50,22 @@ class CNF_DMV_Grammar(io.Grammar): # used in outer: def mothersR(self, w_node, argnums): '''For all LHS and x, return all rules of the form 'LHS->x w_node'.''' - return [r for LHS in self.LHSs() - for r in self.arg_rules(LHS, argnums) - if r.R() == w_node] + if w_node not in self.__mothersR: + self.__mothersR[w_node] = [r for LHS in self.LHSs() + for r in self.rules(LHS) + if r.R() == w_node] + return [r for r in self.__mothersR[w_node] + if POS(r.L()) in argnums] def mothersL(self, w_node, argnums): '''For all LHS and x, return all rules of the form 'LHS->w_node x'.''' - return [r for LHS in self.LHSs() - for r in self.arg_rules(LHS, argnums) - if r.L() == w_node] + if w_node not in self.__mothersL: + self.__mothersL[w_node] = [r for LHS in self.LHSs() + for r in self.rules(LHS) + if r.L() == w_node] + return [r for r in self.__mothersL[w_node] + if POS(r.R()) in argnums] + # used in inner: def arg_rules(self, LHS, argnums): @@ -105,6 +112,8 @@ class CNF_DMV_Grammar(io.Grammar): self.p_ROOT = p_ROOT self.p_GO_AT = make_GO_AT(self.p_STOP, self.p_ATTACH) self.make_all_rules() + self.__mothersL = {} + self.__mothersR = {} class CNF_DMV_Rule(io.CNF_Rule): @@ -350,14 +359,14 @@ def reest_freq(g, corpus): def f_g(i,j,LHS,sent): if (i,j,LHS) in ochart: - print ".", +# print ".", return ochart[i,j,LHS] else: return outer(i,j,LHS,g,sent,ichart,ochart) def e_g(i,j,LHS,sent): if (i,j,LHS) in ichart: - print ".", +# print ".", return ichart[i,j,LHS] else: return inner(i,j,LHS,g,sent,ichart) @@ -415,7 +424,7 @@ def testgrammar(): def testreestimation(): from loc_h_dmv import testcorpus g = testgrammar() - f = reestimate(g, testcorpus) + f = reestimate(g, testcorpus[0:4]) return (f,g) def testgrammar_a(): # Non, Adj @@ -503,3 +512,4 @@ if __name__ == "__main__": regression_tests() # g = testgrammar() # print g + print "TODO!!!! fix outer (also, make mothersL and R faster somehow)" diff --git a/src/loc_h_dmv.py b/src/loc_h_dmv.py index 6c5149b..35ea49d 100644 --- a/src/loc_h_dmv.py +++ b/src/loc_h_dmv.py @@ -310,6 +310,11 @@ def outer(i,j,w_node,loc_w, g, sent, ichart={}, ochart={}): # Reestimation: # ################################################### +# todo: it seems we have to rewrite attachment reestimation so that we +# have 'a´ as the outer loop, then sentences... but this means running +# through sentences several times, and that would require storing +# inner probabilites...agh! + def reest_zeros(h_nums): '''A dict to hold numerators and denominators for our 6+ reestimation formulas. ''' @@ -361,10 +366,10 @@ def reest_freq(g, corpus): # end reest_freq.e() def w_left(i,j, x,loc_h,sent,sent_nums): + if not p_sent > 0.0: return + h = POS(x) - if not p_sent > 0.0: - return p_sent - + a_k = {} for k in xtween(i, j): p_out = f(i,j, x,loc_h, sent) if not p_out > 0.0: @@ -376,18 +381,19 @@ def reest_freq(g, corpus): for loc_a,a in locs(sent_nums, i,k): # i<=loc_l(a) 0.0: - return p_sent + if not p_sent > 0.0: return + h = POS(x) for k in xtween(i, j): p_out = f(i,j, x,loc_h, sent) if not p_out > 0.0: @@ -399,7 +405,7 @@ def reest_freq(g, corpus): for loc_a,a in locs(sent_nums, k,j): # k<=loc_l(a)Zg*tTu^`QMrUJK4E*W)JpYXLdJr z6Q+0*rk0csf}1;moTu^rLIU!YPu+?-;mx}LOxx_D>Se&uK^A$71 zAN<&RXgrBNW(BfI($uGL5`jq8pOl(MoiZwUsYfVlWfF_X;4WF@F{gTY$(a`c)(VN{ z%+u3g)B~8kWm?+7@=@~>n)?ak84U*0TV2Pa|JbuXT!z!)B`N4XLJKS$jJVCyX{%gb zK?fI?t3C7~mP4#n4IfNq?}sx>?Btmv!GszS4eN(essJ04TF0GB?%CFt0X6_ zb(fkel*fHh;wR}IObp>Uj%UCDd9&7RCJ@8=H|nQh^X&|ekG=vZrL~`Oxjt7!50Vc_ z;VmOo#LR<|_9`>EYC8w|E)7B*nrH;RvS~3@|>ruwGNj^Z-`2a(yE}M4RaG>O@;ZEV2@!O)fLtpS3W#&ea zSqgTRB%gJJ4HQBaoUJ&*F5=zX$hk4ySTbih8&GPC6oqmqaf%cOSMvKat!0oy!+1{p zIYTriis+t|CA4wfXAny0t~sZDi&v89%ByC3P=F{QyB-bkHm#hCObOc{9~^5wV%C(m z_5?9{7KQwe{gPtUl}`*SGzTlannf$AMq)15J68Xl-x(s)ULJN}A;kIeQh&zFFR|_z zSU{C2(_XM-+sGLnD)}4J!Ugw12zJD*k+lVkb%6Gs*BE}6MyczT*C$^?U&^da;3-UN zB*8XL891_9$Wnd@L)s`PRA?*5@QCq2hiIO@brccXzW+ut3J6#W zQ1Y4%g5jZ4;{SKR~OYV^=khXeprYZ zkDwtJxd(yaWZKW5hsX0Z|D{gn1$cQuhN{5B?~-ZUO%>^E10eGbQkS%b@!=L{v{}pC z9#J3QyRv7_-2{V5#boKi!TJSPb3(OJi#&&P&}i^#J8w|I1&DOhcGc(1CElspm7}Ki z$~8X?SEM#3yvCK?z`IW4@;~T$-k&;AQLM{ww|n}bp4mPHa(wW-@f3&0fm?^a332&2 z`=_S2_W`KalT@?Fwt3LS2rC<7>udvkojZRzaz8!rO$4IdA$aAA}V z+e%P%p`49W5xm%?l%zolFlM4dz}9Ei4uh%B;Fp)oLQ7E5#15V~SkM!F!}7rE3XnCQ z@&aix!KM^s?7E~8ho&Z=14yBfhc9Ne-=~X}v(Q7xV*VfwqNp;4c{p!Fkfzbvn#d&& zn_kbSGTZ|`GhMrhcC>6k7Zo3HaGRqselt~X=xA^G0uW?O+yl6_vCDw^G0`1wgg z6G^|rRLyj1MJ7&LJ0LyJ`oXD!ROCzTY!NM5rc86E@Vfj@17;us0P}XHQf-NGMS&_P6P_{>s6{#pI~R0Dna zt(k^kblvn-EI$mw+3+uC zv+#N4CnxIT--6lNfrg7&e6fNjg22i*!AqiAu9uv{Ui@uG_`4J^QkS+o z7la(N-n@_Y06}*7jWztGSi&&uS;oJV2xSw{XZQekQ64O@E*uT~ebv}Bg3?tahU#RR zTVqz_V$j^2utDmdndV6a?~}E?0o5ZR7H8qf`|H?@P7l?)uO}$fj-b#+LMqWPlwHHD zL#{tG(Z>DXzX^EHg>I%hkXpt2C(NMWh;!60UR+%$or)PWvn+mmkO_ki3b0L zAfy}?wn0A_E68tOBI_yaas)e(^6u@ey-?f+3~3NnT?ZmB^6I@e4! zM)xm}81V%ExFSEZe1YNUK>f)h#Jikn@wys4n$RL z3Fw_^d!&5d9_OodT#v-EXy?+#la>p)ctq@hAuq;cay~v$jm6{1RUazFZ{va`QNH{%qg^C_G@6Fcm-PP2CJdn%24+G{-H$w*tc`Uk@k3Luqn@(e0&tnr@9+dk+ti(RvC?<#VkrX5d-vRz*vU64+0 zBdWWccDo{~+qteN`UUAs0ktcIEZ*Is>zU2}dfV*EhYGD7Pcsi~?zgI-M+Eq*gCMl- zvxqjt8XOPwb9e9iAA*eItPr#QBCG_ax=y1Ik-Zn8Z> z*`W5*n)~f-izm?#En-e!X zdxaBr-@>b9zAi85K%T7Mp;D>=zh92ncv6D~1;Afp%wESU zRzHs1*fbBwMq_3dgFJXUvY5xb=0~rG2DD&O?;d7|v?|@&-bx0}7&%7@_M$ck(q)@5 z9k8{^@^EWuz0CLRh9tkwFF`JBJ{I^sjG^PMJCrof`S%k>aTsW9om0-I1jR@(k++bPUfuW?GsxXmD z$N;zA_IHNQws-5CsgJa0!DIgGwEM250CX)m&ako`AdGVq_=*J48^?|ku^ z{&k%`0vnhFh`>dUq$r?;KYuPyK@Y5ip<(xhLH*{jgAhT2G?pHGLQ5h?lY;#%4n+$t zEyGj1Moy#f9Xw3w3DO9Qd~%Z}0Y>TBC>JeW)Mx`US^DVr95LwMJm#9fu>*`%aN(Xfg|CvqKGRQ|FJNKevukOjb?PAqQ)|mX^lq{2Cs~aZZ6F--J+n=*fX7f6#jh<>5TiSOPqjALoNkB zQ{ap0A?0oA>2CO^-g!Yt^!CyUN*ewnvnclr<6ZmSVwF0k*Bs_@HktKUETsYqR9OS= z6sn7f{j0ZllHqE@Wt;zjR*8n{@0pdr0wPBapo<;z2a2P^S_aIMn&dx757l2vVpryG zdV<+7)D@Vt%W2G(lPKGTmG&13uDp8xj`5>n@dO{#_Ofx@Y-`_LtO>StIH&UMIFLPr)2@uU>sC)5O3$F0u?Q4JoWC(F)dxz%Z zKn2n{eWIOuM|zGn%vzkY)hR6b%I5=GVO#UFQ)b{|&CdKNPDMqsuHA|eKbvWmaK%qq z=3CAs#h5c6M~S%ZqQq=$Cvp~30ZSzjyLPWSx!)aZj$*L7CfYSeYUD!5A=dK^U2}z_ zUy9`)x5~shJ*mPfEkvVMBaSsil?x9GK)n^h5Fb_p{gf|s=r5t_{wtCQ zZizlo8>5!#hScV%ayCnU=kg0su$U;8QU4&lxTd&aGl;*nd4zIY)%LzeXD?r09bc}P z!}zE1bC@>XQMmvcf3Mm$oN+CIj)?0bwOvVfUH(c#d@GcCz3d27daqn*=G&FJhda$x zr}K5VbX73*qkim!pI-JrLe{u;j!e*8&W!{3Tz{&oFN<2h z;k`bd=QLl=Gx};m9KN)F+9WW*z_-qDHtpnjdAP;zif`mZ)zDp|%1Yxbv|O*=Mv4@! z1jVq~9gh{tuZ*QBiZ*u0TDgRjgF!%Y@+Io?LeCS!bb^2f^Y(Su$JVoJ4k7(BLf21$VL*4w|s3lEVsJD2v`@BkQE%~Ak10?~`C-{AJP z!468lh2%5_9VaTr9)^FW`W*oaj^~$j?04J%j;_&|4}+Jmg*-G6vgyzVrC?Yb!I;H`y!JuZ{oqIrNNNDu$+rbs z5@R+G2$*{Ofc+Uj#6e`p2n*G*cit}-s}P5q((gfbfds0*mg8=Qga9J4h&Nlc7HR+z zi&Gs(D4n`y_>ZbhjEI>C{a+m1A_p&BO40>gbQyur~8Y4VSZkLTfUGF$;43(~ut62}|KD1#B|#nZaC4D*ZX` zN!>sDu$L?Q)9B)lGgfTg+7BA+vz`?lfpUsg2Qk=N%>a#3e++VEDwx<0OTv+d_)c;_QtRbC&-D(sfH<7zTv(i)TxR&-5N{fTFD^;QtSMlzP`&3F|667YWWFUHZjdv%WI zPH$%Ul`~9SJ|ZN^Z9_MDeOseISiQQZw~o)^q`mE!!urINwd{Vo!Qo^#V88pj%{aND zw66baoYx%3^TGB>OT*OoMDc^{@B_4;w9et`nuhiX6EG9v-rc3SGU|}44UHJgk)#1 zIl?k2xps$>mF2-O^e|q+9H4AD`7t>mUGFmfxzWDZ!9DEqS){(4vbP}7!Yuc~blh95 zr+(l5Wynw?#E6uo#WhG^>l+x!CoJno$0MV`Cyyn!g;NJKQO?X>sw6xPv~b;YaBk}o z4a%TQ6pxvbzZq+)I`nBDazB(#sXJ*sAJwz3W)G z-EGz4m5TxAi*Hx(?M@STDhs4S#BS^RCkgDXs_}GYK2&c7Uh;tM*5TiB8TD|vL70^I zvvUH%snzeVuFr$0y3fL&*1zmtGg}0lx4wMN1A&;0&ti_F2KSA#*DYbfsA{F~4#9}- zN(NW8m^FR&>$dz(3D>lf_-v z;s2qBpF?%|nNLxB*?T5!T4=uL_cf#J^&>CIS@&!|OpKmjUG-;CKbfJ@UHMM4L_PU^ zafe{LLFb~Kbwh(b6KZR&sQG*|-`B+F-@G!`=%Y6q=iZKNm~O>vw=L>2l+YMrobJ1h5pIr$f}&;Nk3280mR#nC##Z*1A36^) zL#3Gik>Imw)+|?x<*V7%(r}sD{eCt)6iRR}(Q}`UD|B*HW~>x zEkQ6EzkW(&7b7O4sN(lQI02>BXRrAY6~=KWB-v4DKfd zfvYX+%ckeGW1bZ$@!3}lT`1_*%-n`=HbiKWx4||z4#u^#C@B7PVQ4f=0IC?=2&9d@ zJxW*rLhlhoGI#7@pK%=xibxn58=9#!&Muxbnd^cG>@PIwT>PZ5Jg6`vzc|re#Sl8R zsF9Kvmb3+Ia=ftqAsPxKBo%5j4Lr3{HA%1%k>gRbjqNgUZzRaS3D{O>@QX@C!5A>X zlQ0-+a$x9*`A!JVb6Q~n06gr*X`^_-A85-wS^0EGg+eWJ5$&WMrwI|1Y;nVoT@z+$ zg}ZG$tKwFXKtn@mHd^7X%k3R$wuo=V-}>;8%FQsA`cD4_DFs-?o9B~41>_lZ>qdz7 zrYq!GftQEI!zH4Pi(mwl?Wz%tQL^hKoTpn&AVt7y5o3$J9}3F(1L$yc)cME}z_>zv ziO~~aqK` z2zE9ao`%G$5JxGJN7@`8D<_fGDao~t%u>PxoAyArEZ^Tll4(Hdfbd#1?+2#aGlV#^ zDah+LxmydKF|=m`d}1qBDwpMErh4)pwCfMa(6s5oJu1naUiA+Nt#cEWPtnOB3N3lg zjSZ2BXg4rlOuWVvbFzcfA<`2>ZDm_)K^(sZhv6fFEHQ< zn)z_p3mE>{-Fn>{9$KBt?9McGy`mNuS<&O|L!7mDIoouw*Ka%jnj}nA80rrf5}p0r z?QEv+wEk8NL}xVw_A6w)Bzl@M)SRE39i|y5#o9-n`!uQy*seC%ugwQ)|R!=!yh>MsPYPjdb3-$whiiDy*Y(~-Q|B|UF^jgQYs*;=8L z`kFO1QZB-my2>xz4F;J*Yr&{6ba=s1uhv9T#O3teovlKpzWqm1?_J@h_o!^1g5#G{ zMm`f-KvaT|uh6yu8_Q-@V|U&rz5ZK}!QL@6k$CfZ@3F^BFO~)4=4(== zcNb+DmI1AOgM(scZA1>0Y9J1)BV3mE%W15w6@{T_ZrSU z=jMzKri>>vTLRB})yr$00=nI3JQ#~D<)5~Rz?z_Q@HXG!pD$fJf`c4+sci4Gd!FB! ze7h;?Xj+w4njBm8x0$;#O-1{#&;5_lQtey3Wly$;?3YnxTuEcj#CEoA4IN*iFKDxl z=wTOgp)m3f6OTVHXv(-kzsY=KwtTEB5L)NkX7iHZe*doLvGErtv#q}5&$D?+3}+&# zG$3ZX5n9qfK}d*w1q8UBWDY56*W^?cX-9liem4l40NnFY7>4qNlq&Ta19J=q;;h2& z2DvkaUfM1Ax8>T;UGKN!@`nF1)a2IbT1q_A+E=v|A0y03J6a+V!cJjxf4Gu%jyp1E zZ#Q>hc8sN(5B)^TS_fg~MZIRKOuYxS0Q+Cgh%t3LgM&B+y}?^CHXNfMH$|^Shf8@a zUlv%_$uY;eiQ8({q>8PLBncT5!7>rlF08GK0 zY3{V{vYD=u);Gv$7n0&ov=(Oh4lTFm`M00n@`8Eo?K17*9zD8*PAwbk_8v!UeH(l- z+#7uvY1n(z4_p`9>1@r1$(*lrN>J4`=gAP;CvMB_8`<+}&Q) zgO&rt=9D&9p8iDyo8q+OyM5MLc)(4;hrtdYCK4qoF0nHjX2pJJP`;dPnsC<}2qXSW zMq5=T!K=><@&8FLuPQ2^;8=s-0MqXa4p63~ZWL*o;WTiVX|fNHs5bwUmH9i~icLzY zvT8Ec>`c3<_p_9uFk`(gxT>MnTDar$m>0-8u58MF^zM0n_PzF8et%y`%z8T0oYCx# zLyjDsB|VLA22)4D!ayfE#RyN<g5YI|Y=b-y(E-Cqt3+K9={|w*X~z3z2e8il zD+gDv%w>UkDscvLrH_V=hyRTZN6Lb20)avjiUOUFuNDV>VXABxhFOfL$$|%FY6we^ zD`Eo&?{Cqri2b^b&V8e~$xKWla4-f+JxPWm$(g66K&y{ZRzzOA?68xQCYTQ~=M>CV}XQ zWi9p7{AX2B8q-szNb0B~JmOn*yNG_J46tOu2R8xP8E(-@kr=kMtu7?&4UDJDn9lw# z7S6RdLGpux2r-Ffr9r-;|PNl5m>0rW=a?mZ2_~O`s+uG*vEvl5C?Yx?GHC- zBI27Fyo4e92C0X??Y;sQ{7v`Cy%+CLv`^P1Xd8_!;)RUl5pD1_l5BN{|EuI^TeYFl z7lm#&DQ zKhilCZeu8>wK@ek$L}{8tl7zk3-gnY(b&`>E?rbSq|%~S_8~_g(*;kBHYmcO@(VY< ze#g#C++r2Rb8=8Z(PfOybc`&*HH) zH@*Cl0A{RJL=~Y33fu{?tAv`?m#jlQk+)Fq*)w_<%QBaQg%)LFynw3vpY~Typ8|W= zuiUNr8TLp;mdOhhzo%-ZQ!|n$QL24eJ*G~Nq?a@&cY*dJ*s|tu)OgIL@tul*+!1%W z;B4lYHcT?O6+OJ>x0wuPcQVs`dgJ&?@hXijjOtGgGB$@hQchnZJ8OpP1~48_L>qNy z%Xi!|nhNquLG@$?-16&1H#2Ds>q$uO{Lx`gZ^<4wNr|VyLoduvnCnG3FU(qgK}5*H zNtW&mdSDRptOBX)tb6C;sb#Xar(COW+2#vlV@7mhq)!SeiX1T_vkHBh)auaZ7P|7UIULWb_yz3N49UGu8jM_-|8Q zL%Yrp2fBNvFk6+yXV4EYT?qmh|v z7vxy&x(@r=641M=9$rWluqzmavsqOq!*`VYk4NF*ZHl(PyrQ{9jzW;Nts+TVVS{~@ zP$QfCZf&nQKKa0WZ%8GLraSB3;!pEK_CmFn#=S|?vkq+8r_`@=YL%kw4kx>#lZ=%W z1z^s2@fks|DI(ZjKW?w%N=}&gn{Ys!-hiu1q->Xv>{tFLL`BxV$ot~fpUuI;2RAp! z#I=Ox*tqpkykQQd`f2r%RD=#nQ~GJvqD<3zk6i1QZ^V-UmA+bkqlFG_d|mDz-H~Ob z4xjjO`Mtb7)by3+sJ$(77o&vPFdp7(DFNL#2ivMyXO>}&;sHA??+``5zPt7pMTsKL z=#GO87UaPEPF?bCL+}j}R;S?}TQ+C1j(YN-6Z=cH>?NNW>me->^_DOvigJvW+h4ig97Lf3qZ}?3WX@*dzIx+6Xd@cLI6zyGY0njx6Vgw~F7S z6Vwa@Fv>BN&r6T0P%q%?l(-<;0Y}jWmQH13)r8j68f7R6 zuoxeg;z$Bgbe&h(%$D~jN9HCqIk8XQd!K`|;L-?%w;0}bkmn-vbI58t*=KIFoQ*If=Y)M>{1G`AQ> zWhfa@(i>N{P5@w`6$uqQ95pPJNi~iSY`4OlwIJM=9JE|E613e~2+;$yr)^3(kI;nO zaeo*U2?a4_u>^|=3xxkC{SSGS{|=IG4fhk~5J0@(yLxmQzpj~~8N&}P*`m=oGK}Jj z;O07UvDFlu{EMG(q=nG2C2xA=B?f}PmoMpJ9eIW&U}8(be`p}v^{(b<3ODW zlQbPO#;#5G^AE0K$ASEf%>u`<=7+MEh8ArVW*(3Zrv3vG@#NJDLi4+y^1NEV#ohv% z1<>nvG@kz>TVL*XO5fEX38zRb#2hI^HiG6(nm!5ilxS}PxDGxzL>dFMNUR(T3Pa9s zFjx^7X;iRq1ULp95-}*M9dJ)EwV*w=zqCo>kPF>o;=uNGHCWt~U!I>H%Yhx3B*k2* z362Pq44lMId|kvKnJ)sR9xCoT>IBByMBwm&UhgfGSkZr^(jJ{7qDC0A5E6%jOuFO? z{|wGIxB)CYPWVuxh89yX1kO`UkqvId_!kz-SZfVRm?0Fjzqoan%ngL}A2vwcSy8%M z4XjoldXk9YCm1tNE~o9I_Pxg8A8N&f6y;19+9IY>e;LFdKEi3SUIHi`9ug=-5j8SAC_hn_x_pSF;h7hhyod3l>*x^Qt zZPMAJV29wV6%GdGCU+lxM-faj>W=%>9D)Hx;mW_H1`d>2(k;YDBd#w48Mmwy{2n<} z4q;{0S|ALK@p0;c=YE*t-?G;sAFv}2(MJ;Jcj75ZZXw}Gjg!+!)XrQ$3Ak60fs6*C zm-Wtxc#?vsehd~g^TbS|D4HFKuPG_paE_JyauF6i-=p%}O~xBP3A~=?KE$o7G2_od z{`ZT{Wi4Ox-zt1S&Y=mFT*c>irlL$djOEHgR0AQ#N2z76vRW95P@d}RcxBdYkl62n z3;+B2cq1#l<)z0e9MQVBVPLI!Iw^>9$r`hm*gYddy8utpCQUs)#_ylk$3OHSe%joo zUsGmk*M{#eO1U(*HIM4EN!6mN7|QV_GxpXt4S_uWlP8p7y9rR4aJrw z&eU95m&H^Pt3)AkSI4nzud!5KG*K*(n5WgQV$RoehVX0G7p-~?egRXA7iG-*=Y#cP zxb?R}wC?+qNF@QEPGgP7m&&YC*b@=VywfJhzYsfVFo*5d*0)U2TK)uY-=Q<>jQ01O z7>k8#TojU>EfOS2F>6P$hYrwI#ObKSuC#7T3~KI13*8S3crOCQOB$wEBQ~efhcJ8W ztj$mV9sOK#sY$#TtpH~1R~CA)`+k|tP->L4Gtl*;&V4=4e{VOg`{QE2yP)SZ0`*=x z!TgvV{#MHgR`u6aXH=_YbfV9*8pBcBgM^(#?MPc@ps&oFfaka9UsAF6ua3U&2U~@- zTGc=8Y2qb36@>d;4CHJx-09*8y&r@ClGlNkuH5d_vX!G?BVcCRZ*yHU7r!BqhKDsr z?U2V^h=sYIe&X9XeyHB{R(ZEilp)Jzo&6vFF}MK8Fft?dS zEq9`BF79JOR3%NewB?A%C$tusIi^LF#EzE|4;CiCLO=AGIbN$(^W1PaRb_5+K`KpR zPR(PVjgv=B)j+~KG<1S1+uqqxwK_CckNS0^`Rnp1iB5T`E#zcTUT8G?+h#Piw%fCw zHw_zA&EAqkMQjc|N8M6hvLtN|Sv|!3CX~=qxA;+;{Cnw(EkT1(it4z&X(lRGrlmtx zSDB3!Z9xSWaD-@;=bp!`?7QBt?+7Y0yxp{UHydhh0Q^a}j>6a6AS?(Ilv29#<|=e5 zCNuq#Q-}{M+K1tRQCST0vgi0T`;twn6+WokOZ4LuRaqZ3#QsRr!K|U(+^Sv_eTX_h^MQ5y4 zy3Q3AKo&h)g&5MS#PHO{9cOvRGiH^C|cGooQ+S#L1o(y~+Q|wfhHUTFR zsk>)M+sIJ89tWx_vwQOJ(*cn++?Lo_0p6d5x5nu!2YlI`;TUPyNykY7=S{bg&?v#bRF8Zkl znKPEMbyi6=bFN0yb<0SvOI3D{?tY!lfhYb@ZsrftMqUOU8Ty*OTe~PLzWMZHaCfG}MszoE{Q}AEL;4%E8aaU4ngcJK}=I0N6e^Vi*kc;5! z0kET^!t)D%J(r6DIEsa1hYJQG!L55E4mK6za$m*8CMW*Wgg_!D;`)9r>vitQE~$Uy zOH7*fuWAUUI_-*s*#tUBBUpQvUJ))1bDTKKtvmB0+7dK>Hk*$ra!e*l=w#mlNn(l$ zY=-T0OlKQ5c~n z{Pm3Pr0J~5i3|E`n^-8K!j>3MX8~WW<4fd{B zr1mw|O1GE_9NN0e?4kQ#TBL&L{N*OuCQPsDm)F5zWuZMcP8Y2{yUelS0wrM%m5Mz2 z?wc8QNu7noXi-wc-3>?TnE#@70o62jVW&K*PJ{T^b2%}47e@@wxs4p*JI^MAb7lQ- z&DEX2d(vtqA4=zT#QHM2L?|3PKh=iW7~{l^rxmc*vtTP5SC6<{t(H)UO?cP8Lm%K; zN?v~}wFK1??t6VzI}xax68k-<54CVKX5^1$=TS zyR+86@g`%I<%*20Y=L91iBx##AH7njSB9y@^NOD-gluy`i<~DEo zra-F4+so~iR>d?-KTfxQ09PT$#;u=lo-$K3Wvj#y7)dcOBW6nq?2XF58l^utVFh- zQqPN>nVpNM3mIp60mpd~$G*gm_}f}a z`t>*8Zu?q;pA!ak3#%pT7d2BLHQnXP^)^L;8I{o3jPwH;Mj^L!3e{@+LyvMpnBm5 z*(*2Ak+>30U%rC_DEREOpTOcS@R_hFTo73^m!nf83fV~AlfiU6WOwbg~=V<=4qwX1`+Aa5++L<`JIGGwIh_89TNd5ZpQ&c%&V9oM> zY+ze&hlCS_3=j_^69-Rt*piY&cHb9S!RJByfo({meP+EcSc}!qRpn5+8^qJRSO~}Y#*z4H7CJ;8wV{09$oXV2>ADK zs37F+xImVKl5K8uRx@v8F3(r{l{XauCEC9XI0@I=-@$tmkah?GGCDj239Nn|5)A2s z8#t7LnG}Vn*XWmAm|#Xte2mk#V+*PDJP4>?H<%_YxjtsG3lGyxtQ6ms{Vni=B?}0` zhe7j}hq$rOxnf9SO02(G1pUDNLBm7sV|=5hQkn-35UWM#r7JL|gC4>frteLikR<7M z=)ciT)AyrekAVpULT+Qx5S4;c)#zSu_e3Gp;2BZ?m=iy`6u1M&9CVo6h)|6syf>Do zW$}*>mZUXXCdgLSRLM{dcjleZLfa4Se5LSxmU6sRKI7^fD|Dmp&`1@(Nkz8<;JaFC zCKz?$TKQ?QCrpkry*`xAR)9ZB{^|BASe?_Jv+!v(2vYKczZ4Iv-jXkPyqSE*F3!@*Z z%8`z`YENFGC(az^VyutsHcR0nc9^^bn|P+RH93CmHQcb=(zjN+NklK;cD2qcHM>-} zdTU`09E0hp{}n}uB>W?Fmi3x-T9NeQhpoL(A%=B35M))NoDdrwEvsb^|00n8~*E40By9rZMFHZM34OesbBTUkAvME#Xk5v zTz0cN6>O14eSz{}9rksz$Dmwh(x?*QA=WOk>S)`kika6Z@3+7FsKR_w`&e&pKw1)x zrgi8xKtXLl;AP(dpNR)aJXmzf%vCYRzduE(%?=CuJ*Hl;K4aTc`0ZDNoW^bE%mC@= z#cXrgt!1J@cjVf6@aXGK{7Mj2O?*Q8IHtL|*oSyaQQECkWI&{wG^VGfF?)oT>84A< z#-MWzPf|~q(~XP62Jau$9K^Pm#y44+SR*k{;6%xn0XjBaLr*nwuXK0C&r`6#bJVKX zJ?h1$!QOBsHgwU8+x2n7$$h0Oy|>wWX04BG41&udUdRU6Y*(_h#8&d))Q%NmTH5N^ zh^ggk&U&AfM zw1l<(HN2+1Td|c_#1~z`sl~-~@@wU4Daf-mP6;3G7Q&rQn-}ahv>sxlC>LC(J@qWe zaXswn)YrgzWKYQl9&Jt{>fQ3$&m4c*2aZj0X=ImhZ1M7^Q1AJKp-hKmQS>kCd2=5r zd}-^Q#1Av3t)_Ps=54i?iOyedr>=AYEiYcRF51ue>t86_>#)nZzL;63QBS-EnGat^ zpP|GbiS|rMQbTwXGN-SYE)n*X!}1*F<{s1P6<)?xQ>~~>KLvBZBR-Ei$JbD$ET=bD zaeOATny1&@roT-SB_IW_)+I<5hOtqI@pNOAnKe%O!ARmyMI^HhI?tX^_;!$f9h&)GeJiw2&E92Os#V6OeR#YEXQ zRkxg+OFpPT|k4*{zbFs`b=nE!|6k$Dp-Bh zqjddPXQj$+u9@9pr+IWLZzGSKowD4ufxDu`{pi7c+d(rEo&V)0*bK#-y1sYC+( z=NOvP-S_u1+$Ul0T8w9UcsG&&aFCpuZ(nO#CV zA9*Qr{i-@9`S7#J+=UWeOgCP(cY1DP@%hYmVC6SM{?J*P;uTlgu-wY@SAW zlL>6HaZ!dcf+$xt?hzw1sXzLA*2UgYh5JF!U(`@R7@B_cEM;J^u+$&mE_FnT2?a;~ zFw!dG%5s_sbjOzeV?)}pDijPYtKlzRkA}N*e0rz_;eUTq&~U*6U}Pl3)Z`UXQgOjO z{^u54Jn$YU7^n6(tN8Mkjql*B^ibA{c0wuW(*M;&SxrWb+tTPt|o36 z*_HLS8FqG-Td)I0+i1P4q)Xew%Qn-~B>$soKW1Kj2Hv((%$bp)xh;i>5$F-f8L)JS zK|d-m92_uqZfil0x9L`*(LElVq~n6c}!9$GC7^ zls}m2PjgrT^4OXcgWo6$$pA=pU~zSB>O+`47m^2jGCEVv)^BRcfW=@1*04)wvj zNWjap^5(asZ&*2f2nC z6Vti_kp2y7L9j4?GoXLT2hI&%*%8Klqsw6~L1ukl<4U*IXu4{G-@BdOi5Ev!Grpz= zgjvYQp02={Jr-_?z!+6WBFb1 z_O-t})kA&~s&Cx{r78f->@N;sKeP(09P@xGpI8IW7aaGb-Sug-kYZs0;!7e#YLsiQ zZObPqFIHO`FBN}W=og{F1)pFV0<5ge#&`dyH&eK8CHS-YDfjijf6sO5!gC9CV&db^ z?QZmsQxn&KZtp_iiQ1L^L5kYTLF9o`#yV`^C3piWKwHDbN%pVH!;1(n4;P!jf-~}J zOQ=)^0ql>da~OXS^uz1aNb1rm^+W7PQSwG&=1dx&2JYX5kB!U)VrF&L@C*n^4*#mG zeQ5YpJf(=3r#{wOnEQCV%nDoWLJKAeU;KzDei^A@4v5GA-mhwVHyOVmmL#ZWsRZEj zx#f!h+G;xi(@nP?+pviwrjfWA?&;T>Rqhn}OH(4b^@yu5g5dub-W%`?Ru+9QNqQ^nkWP` z=&Ze>#=g%I2rLR8B!5W;3by4@Q3G>Ec? z?OC^ni}rDE(P+<01)rWd29MRE+~ywF_*o#)tc4K#QZ0Dlb<7a;A_g$#I%?U)OmrZG zM+mge*}d<`q<=jMM9;m15e!-rW&MUIZCfp~+5LGVl!@;phYQQG&v7{&sqm>PvfSCK zq54&!NQGOABZD$(0@WBU3;G@oE^?BIpRel&ucE-NU(~=(hTPSat<$R(z?!i3N?_W3 zZP3aHvZ$HHp&Z2#x5kKgM35*axV9^(KeyyVIGn@26@QPAtnq?Za1NEfY&Vi-u&6d7 z>iSrR@b^w<+SgiA2he+s&5~oM4rs2Tk+DGfJ)oTe` z1`^ru5q~&KJbF+C6ZOu!h;A0JzhS_NVFgeUjMBR-uM6$MS&*woZdnmmsuJZd&Ow(Olg^Ph1_hATRI!Kaxv3XS(nXdJEE7M&!(e9A>5$Leweo zU7L_3v3){6o0oRvX|Z1rw7n|Z=vmUn{;UI@4e={JDwjP17FV58v4U=t_p;So-0j6T z!(VR}+Z9mvPI$7`sC3SQX!&ja_>_`g^JgncSh(`!dmJ|?!1L-R!ISBF%V5vJI)6wM zdgendDA3@Mr@p=r>Y7=Y63SwT5ZMNhsI9~>L|pK;R-w-WepxB1hX^xP`eik1Cgf@H8hUIm}*CRXrL?p0r<7vo08-oHmDYsJ;8;+HyxM znWh~}J5&{{x%u25PyYEaluQUU{>V7ivT^e_TO#G1f8k_UvgqChN^97 z;!~C|t%YsNxeC=sFXWUN8-npEuQ(YZw^vmmO2K&XOx7%AS|U(yWz7%emW8qpJR>L2 z(w9Ge?xv^+1z5X2Y-133+6Lg84O~D(H>^QU@53tVGXI%<;>uHm2-QD|oqyjP9N z?)_DvkuVF-!kpBKAi)5nJm@EuKS;pxbLd6n8zYn;H}zKthfK z)l$?4{m$M`^jp=v;Ljcdx&-K+FQ3>YZMOa&91JuLn(2gx&&v9cjYq9@3aUuTTiVVh zXdl|-m~$Jkz_^~C^kBh7+<$5@R@?Rz=eHmgto)|4jxlF(|ZiqqF8^$ zsET*zi~93&tNg;p?Bl;1^+|R|{+Jr(+71RUJ^l*8S&m`m;X*cTX~zF4cp7QGR}940m4~T7db0}?ER>ndLB!4 zP^5+CNfd4?bKDt|kWRbluUo`)XcopV0&VwEW#3bG>Ye01D@o{{ym8pf&|9Bk}0 zEH&k7ys((vNrq>zFH*bY68Xbxeg2^ZN<+ zTz1rZqq!)!0qxgRR^2?zk)#^&;-8$JI~ZBYy>d@|sV4^VKQjq7zy| zU@KQx?SpjdzEcDCA;;~x_YO{6aX{Xs8wrXrrU0TL)9)%qy|WOZ#|Q<8x8wT|_dFqj z^d@3yTo7yJ8Y^}x2(zHEUznQfJG;0?IQDU79Bp)gd`BNNo6Dn@V`tmkuC0Q?J~hoG z=mf-$a5+RR?0+Jo)xsL42+BvrG;br@@a(r1QD|MLnWY)iVu8mkaPiTg(%NFu~2?pgFhNJuGgbpmUs>y zrphihhKbyg*ZJ36jh%5?N7?*svocGXpld-8f>_;useh}DMTFR?fMwbXf9x4!icV^k zYAjM@6Ih-&Gx)9uh)=z<&7Kd!y;>t}6g9+m6NgjWy6@pRGJuYbE&G9k36qxjg2R%# zA_!W?Q0*6VmH>bt`DLUUUK(&!~B#h%L~SrsOO|uE~-TP8VXzo4Q-6 zq6w+ExJsts&%kP>c@$~c>G-pMS|}Fs5^J*(RDb*_>gPv}DVgaV^Q5eHu}O#HA7mM2 zO_%4nX2rztvo&>ATTo32QUsf>Ndlj8&SLod;>5JT2S@cQgU65$#Um$q<(yh>iTr_r zbud;yKBoP)w3$!c_!@t^?#_rD6YLvCu&nLArSvU<;*aTBo;>pu=Q@T>WzxnNT4y^#t+N={Sw9YQ{#$AQzojQcL*s2-fX}LR z@NIMsFk<3#@B^0yE`szSLQ8|oE%Zf_7G5GJCapgnJ+EV?gj{MTNA5bWeI0Jfv;}U$ z$uAxw->^3YY&-Cz?r?e<_ZJ~Ek`E1o#eeO!rk|wM;$a8^;_s}Y&i71xywsP8WSPIw zVRaAz=Zsa3uCfi! zd`rod4sGolW@yYH_U$R$tlA^RDDZ^faHh(mQZiI5(TqFmKlzSbqv837X!-rpMSnzs zCo`!K2bmF+m$}Vaj(jN+c2x6Gr$OFB(|lCvi>H@O?k6;j=FXCMt)Dzz#1#Y_SHqgU$BzZ}A~yur0Y5iytERilfpga2}U z@Ob(Ni(nN-1DloZa?Roi&N_Xj9e<>Qrp)a%B!j~H{5Ou^@{XnI)^tlm3%)lJ#ngO%?Ts;3&{}{MYvuilyicZ(0?i)RM@L- zaKEVeh7GfNQ?nBTp@NQ4BK=^##jQ@RZ@q7XcDnI6ez*~4uEn^^UMJbO$tb+``0tLi z84%_GLv8${dl*e!*zx6k=d|b6Zs<&#oQnlzRgbvOo}E#ZPeXm?*KrfQX|MFs5&P52 zP^FCuoB(X~aa+{Xaa^w>g@4`7&UR+~(xuQ;*8AhuMCPBxYI@D^t`-SI)>XHA>312{ zL^Rk-CacCA8%yL6B7u6|Jt3%Cbx%$U+++>~PQy)6aT8+an9d)|^`^UAWqqpy9}mCv z4S8`uo?k;9BSDG*d36W5Osd^Qh@2X6#A^r0j#rGIQmgKS1EhcQAb(1ek+S$ucUl|R z7trf@Z+H2MRl{<>A?y42FblLgLYC^cf4|Zi>JjYg%k+cR%Q<6{Xq}67vCn1tWbPUJ z?bIvGLYgD2A-u2HhnM;=ew=0)1KoT{(Ko{EV-+LwNEJ5kPpb1;@#$usi4)HCG7#mg!)oli ze8=;>(X(ZX<~6G0(>VJhU^=~LA5tpO=JT!>o)E`p-uA_&E(N44Y$T#0Gkkndb zdGOXfhH)JS>M+!gzAW%<8E3(7D3iSbiMs;yn-@WO&vB-?eS1EIRPIm^vo_)aBsvaR zG25hHopeR6Y9I^NY6-H0JmvYGy?R)}R51zZ2dX^k!;&nmW$r{@AW{w_uQdilGWLG9 zD)vD}ON6a4D$ay!vO`Zt4r+h)-ZDFLfv44345p8Fe**gm@;$@`I=_pXwEtELrC- zzo4QG^=F2T^I&*s?5gXmdHD!%|3CS4Ta%t_^ndDbPdz7gTZKZ%NHN+*z6baNJ(br@ z7%Z6|Dr7zB?SN0oUJ7j|qNIJnN~4VEkngaI&VWAopAmrYO}}m~7lc0@9+L(*#t=$f zQ>M$&5OCP)yt6EX3fpH^sEprfmHLsiBxlFhBYwD_oa0MBf$J-A5-PC4YOGh$nizxx zF@F{TCi8Y6rWiBow*8@?S6nfE+gzjem*>!n1=z*ApqbFr5pRFci17^B{@fZz|K7eu zN9^vX8*D>#?;fA1jYC7Xiub-uTM;Q1}tZOmTzxyw)r%mt0DVp#wr;N>d4wu4lP-vfcII%qxga- z!Zn(8@$5HbgY=l*fyUGkoA*R$CaggoKK<^IzV_}!SV4`Fqr({FI}?^B2aMtECx1Ev za^+SOed+f7a{(MLEfM>3(k6OvSFZ-$iHtjdF64KIiI?Ipvhg()4qi{$j#sX&U8R>1 zh(EUEeO5RJVM?&~7bo#}VXow+RA3R)Al@!`3&V+l;(4x=7qrLq;;-r(MK_(XwrysL z(|b*0Ob(K6U8DD5?6^oQlHh1V34b|VXHF2uHusYE#$xLhT+kg+;O_GGX3{>-($!DF zL`<~1#`7^_i(Hn1;Mk?O-)?L&&Tr;^#gG%D94Q6TI=DR8qJ#X7a-6a?ciKO6p#u_g z2U>dlg|JWGs1S%p!pz{UWK=CDX)SlJK3x9$D+0FZu1`gkN zB}Z|q3;9Q4Lh;b^0A+j)L9*5I)r-iA{Is7zIy=J>Td55i&%l~m#r{o10AxIP{Lp+* zO!rS1A*PS%kRH`Kq^m02^7`k8Rw?=cdratkwiAQTZ(Kg_2_aorN3RLBXXqjr3y~f+|V}qe*fCjIi4SH{Vu+|Oy*QUzsWqP!rd94=}XManB#gF061gE`EbSSMn zIW~`wh0DVJOK0mS02kw1E!Q=V7}SByC2~NnSGPZXSIMLJIz&-txOIbr|D<&K!Wy`~ z_G&|l9j!~e?K5i^>2x_tciY}tH06nMNSM<+Phz8HWh6Mp1U)B5?*jI zADA;u3sMJVA%FWj3|_?t{@!HbzG4fhRvWkmv<2u7Bm7tQlLsrRb$f>TKiZIboI4dF zFg7TEg$^rwpmkt-R*`9KpXH5(V#zRMDu=CU$+9hVde73G9IUC~qH` z1rrJ0?UII*aN~hHNSt>?t=HyQnum(|6qil9{?7A>bbq;IP4lXMJa&%-fubNzwt0Yi z@f=D*9X&Y2Qyw4E^$3idy`Vfd*!}Q2i&UF+0Y$=5*DN-(f-)XG0!3ZhX`q}e`V{sY z%P1pg*PsYQoQ=0@~~-p+bQG0I{)9LZgJ$vsxv)$}7par--Wj&1EXGi3prFvg@&ZJeFqIX z;FDBn{*#MNH1!ww6I9}_%N7|3$zrRD(b%Twl-hJvwsKo=zRTdC81g=nX`GDdoeV9w zS$_&v9=@#y%cWzQI_OO#6<^9GQL?CC?D#cZsN0-zsW~K<^#k(0tN{`;niSUxHO{Qb>G|b_kfz_(?(*m$(lwJRb*-YFCfdZsql^P8i6a zcP7HZrAi^DvF~*U)mYqe-H9R`Nq=YFPpY~@PFU2JttI{{**W}13OmU|8Q)||sM6f| zR{Kz{u`!7~1!KU5u!0}uyfIx>m)^wC8@dyzufo+sk%7vtG3`Sd2?9+; zhAktM*5cI-B*wVk4HGO&$$m3jPg<%*foepmk5tDiT*05{Y;zUFp3F3c^tPRXC`^u$ znYCn*)@m{{dWj&2ZH2_ZlYjGoesSf`2>Fo1nQ}}PH%WkqO<7L5tieQmNs-z8J+IYS z3zEaHD@Dk(qrYy#v)L(xc{Tmh-7<5Y*~>YfF-6;or{a$vwwW6^S?bTn6Q`pxG+BK0 zDLM5P{mH7nN})^zMciA)^_WG4k{eW;ao;2pEAMe)&Gt-;Ng>@NbbnZqni4mVC6$W3 zQtcj2T@}mYF368r0Q-zCKIQ71qXAdZ-cKrL#X3&o+lhrmRhmF`mjP+=npGR2R%ATaeC!~*6YY-^86mD;szsXiSa)}^FR6-?d6AIZN z-X;x8AaidBJH1mMdVdr2%)N!0#XS$DoXDz{pA4`!`B~0Lvq9C}CWn!eg3D#ty$l9}vMV^Ht>TGbkMD^h_89*z;9ex$!-C7&N~(;^8k;NL^` zLeZ4#O59M<9gx}f>nqo>KI>j~z&g_-(w}+bG{AcPZUb2;cWTyAl(6X_Bmxg*ygOH> z?}oH~8D+DX8GjCoA#%hRUOQWw#z4(Z?Inoh85!Z>0M)!2M7mIGjmHvf5`Lj}^+{rY zpZa5;skB9pvlO9}k)j4QhV3t-D9)sKX7SVzs?Lecb@vnj%p&pf5ak_A>=JtLkt`_V z;)F(#&l0^h1U!gE5Mc>JZ~veqCgrOEJ$ToXll7Q(gnzV0oC%4-Dj}^34g>EWl{ig^ zxZ<_()=j$&%!qfUfXnChoN#YaF>b-?b59Sd67NR$XOJg;@ldkUgR<#wzAVdrhBXZZ zoN6Tyv66L6VI}$)2c51fiBib4P~snOuGOq=UVbc*v9T&HVi(C%AWVp|0V_+~f5V5> zFm=(ROMi4d2}!13uR4z%5iDkQlSB7?aqJl|p^IFN(w1=iNOnlZ!!P_(LCqdVfk{u#f>i&XSNqhD~GVfrl%LXve#i$Q{ra2Hz(qR#<9#J9!f z4P->b*>)kQAlMG|H$t;e?6WaADrd=req+or!WytP(Yv{6rk%*d-mF8gq9s0banD^ySbK6DgnHa~dVkZPfA$oeyWwe6;8GEGX`&aP*8#eA1=-Y? zhE?S6!6wtP*3Fkq9xR?&GX>X3GTZ$=o}pcTqSLGYOkMQyw|YR86nnR%;~`N(Dw=7s zgythqJ`;X1ddP<oa%$v*&Fbh6v+zBVzDIkG7=F(#Wu@hlHVDCQi`C zl{<2fCpH?EQEYT{2zGpL;Bm(EzWH{be*9;$`Kn@gu@kf0(KWGeC&8pX(l?fbh#`wz`w0veV!`XcNOgXcC1H7(}OZ94yNoQW3<{?1>Fn_w#lEGev zCV*e?BH4?98v`T$RM~YBF(VoSmqWpm!vkC;WHMV=QDCkt9_Hv*@b1*(?h&0WKP%8YyKSc%FK)uL~iryDNH2qQJ6gH&&&$CAkQd01p3|R`A z+PB=Kw27oZN|<=2p?Dw76MxHFlPFw~y?$QBYJJk!27Pde_oed(YBrmY#K``vUARb8 z8NNL7`B>!%JXx`Ci+0)cfb-DK{}bbK-d;yVD)nrzc9Bl83c7)>&$rAR03r=}u`x<5bsP4~+&QyqkYn#<4HMl{YHVXn#ifJ$C5{7$W)l z?9)%S6}eksQ!`451IsHR36`~*+&S(F2zy!Wu-R-5bvxxG(4ADE8LzPrJ5HBY=BoG}$(0 zJkhO4a|KVasbS-9Jb!RqaAezodgnd8yyAAY&|C2Xw_Ze$=L9*GIcwf7=Pasz?EukT zqTzIE%23IA#JE{6yZ$^8_Ef9DnQwQN%WF-iQFkzfLUkjbHL@XhY!PNB?bd?555)uQ z{FtZX>)ujP(hpl4gpuhMq$w4+nam_px!07<5Hg$#0tvZqXn&gXzs5DG{ahduM@!u? zUsbpax{s15q#aVo@hYfkSyVxv?X;XT5QNTi)ybFB11}fc-8V<$OLc5w$(9U(x%+D$ znB=ZvTJp)>vIi_uZK8{CbzyY<)zUk0fx_|Tg{NI`5MeK0N*i?g&T+Mr8!sU50PrK`~&zatKRpI_xX217nVe{8GnIYmH zbo%XeZ7;s~x)&+%?j0&CkZI4oQZ zRzAbLuF2icRvg4(*{koM9C%C5IP^`CRi;f-slHc1XbfK0De?SD!puHdByefD1U)PdWjd9M0262$PbWtU2Ua?0W1^`;Af zsAVXOGt(Hc|Is36sGee^rP!ox3?C2+YOxo(rhlh_p2gz-yNs6Y8wLwUYYCVAa=&s0 z(0g z!FAW?8_iMURCy6-`G*u6qSV9#bd>D)){K~<_uDTEsXxU@n{8H&ii1wZNc!3iZ=H5c;{3jK!-oNn&JM9xY3 zV2~MDKY}KrF5Ftsr+aH`l}AwB&)P~aMzk9-<#0)Rog^(-8j?Nzk(|?eP zm?}`cH5>C6uoHmI?i|U70foLbT9&(zXtYJWq$}NLn+zi+(k)aJ&jnvPD%{w4qUDY* zC2{Zogp(cvoIVrq(G;%|AU6g1_CW%Efh#0lj%6c;a3bzk?DLX9WC2M|32__mxW+XK z=hK?uNaufd9m{)3o^9)dsz|J;zkejm_JhSOe#g9JZXKn=>i0K-xU?btK#`O@<-7Jj z-az0MZbNU|I6{!nD~mnR^*8DEYMHHA>D7HYD{S!B+P?B_J1mUwwG@i7T>Q(leEhfR zC^eoA^;u75?`KVnQO5%b_0WtDiSe1|E$(=q+YG@e2WUl7iz$(Vd`A!&$A8Qj+v?#; zk0PrIdr%;OP%oLdPpw^whK-*m4S66(P?yr8o79!=b9g{OX@c@m?gkD?A1q(NIxXB% zhfK%sJZr!C6bxJSGrb~o_$o#;O@%OqRaqEx0mCVtYbShpx4|P6XUdHr$W3rD17Hq) zl5N+|dEUYC_NSE1Q96`DNqNpSar3aWL;vnH9u4}kwoP( z&#Z%Ui~DSuN5B(IiVaixSb z5*c-^jrGQQ^7hAmtq7iRYu;vgO(z?IBToC>7w@=PnS~#ep%=<{QsTMF z!z%K>k(|eg%bG~{zWUR1#tsaeUHJSMO{~WUKmjO5=?)f&(2s4bL&~V2}wkIb81JuU{wIpSzAV~*p>1893_f6$% zu!Do(-)eJ|!_aH{C}6~Dt&!P$1)|Hox@p2{^2?&LRfqnt(|=WpQ&%_Ovg_FwrP*4Z zy)zG+V(OwMBGT-P`qB^x(*5_MOPE6F;cqy2d&fEls(MinRlaNDuH32o4*Dd})ZuxV z)#+eqfgfFN54eF+SuY~(3QHqdoK9=s5oWXi(IZ8W3M9r$=;+XD)j|zjo(CZ%$oYRo9k;}#wOC-))8q~)OWGX3hDuZSoP?;AtTsAy9qA6_ zs!WHDbZd$&znLdnZQ?kf=^eZy{A-oE6ys;^C0DvgZ=H#HSZ+lkJ-GDW%~$&=9oloE zjUH6UdVgyOLZMvZ6|U}e{<@e5wsV3B+qn~1G%>MS@y%)mm>?xa+jKP;M*NZ&QZTe{8$IIUw-8;j8yuPL%HQO zgxuX_&>|Z7a4y6@sg_I1agwUXS-8n;w7K6FZ_+E7KkOooVJGiVdKZ~^)OnWpTnKyR zD}Q7-$rr{>sBDD=KwEL&{xHs;OKkCiw{1O)i7PC4fO+_tLv^;#a#mY>H#SO!`-}b^ z(cW7`Sk0|vc|$xl=?F%}E@jCZI*pr4 zQ}*q?oe|NVf0JAUr(){nHUQ4;*BY!Itbf$WS*6z2ajG+UNC*OmKI5=Vm^hnyqCs@} zhz<_*`OLSz6-lLoHw0K;S{6&V*+T^%I)X+3grBp^W98gSJ7-B`R@0$)f|MVXD6tMI z#5&VY7fO6M`d!B6R)rgcZCckIf7(|Y=s?`+%2?sG>!iE;UxXU#&mroeBZIlH*LIzu$$uRRb$0HE`4nPucZ-#y&iOU(I^g`wVFm*@@q*X@ zB_)ho*KEVpD8JiJdEq{5Y-TMO# zcl5ZG0j+s5(D^$p|%86JCB)-zG(CsH-};$Mi#CX2nLxOP*f% z`Fui?P>@W6PaA99CQZJ>x^~?0Zu1y>BK2|Mlt2z5B{WJ2n!WDnF^{!vC_9up{8pk>8ut7gkGLt0h zHqFJ!s^UWK1(U3IB){&jdK?f2T&k(y94KXi-DH27TWs0CJ6nu9yRex0&?e$(C_b{o@cghB(!nA{)GbsZ+rk#8E4ju%;VfMo*jO^LxQ6J++s9I=NF(u@2s5Ip z&=7r4k>Z3m7BAmA!oVoO=c??W7<&Yz_u4QTZhfR=Ec>&$C4b(DN~hrHS&yG9FDXI; z5#D-C4l0%tamwbVHwYvFjd(TSi)4~J1_o6s)kE|@9!?zaY1+nbrGI3%ya>3@Y$FsP z*A#vFdBpEXzyWf9dE6Nr^DD{cU(>eKAixrJ-`Avuc0A08Cg3@6+3VWS{KrDDciE38Wi$V-=%7E!|B2;qrEsxUS}{;#4}; z$PR4!y0BHL*KS(Ajplfe=0sN|a!f>vf`5EI^B*E}TXk5w0)ZexZ77-Vy;A z-lXvDhxOn%3Qv4^F~RI2Sa@$67Ad9k( z=7kCq$>1y(y2~H3>l1dK-afCkZTp9Y@59gq&w2^6lkRfmH*4y>FWnJFF}HV8p$M%A zmL(g?wUJ;V@(wMF2foFn`{)v9()8LwId~XV$A5*Rh;>XaOebOo){B~{Y1Oj_HW;R) zpUmklkf!6|%ik^Ox?)C!A&{?{dv6Oztlfu$*d4U7?Ah*<<=sTn_-Wa>P=rW1K#V$4 z*6K+Irv^lmiJ6D-f66>LMS18`rm@ZVXA&jBa|^xJ!(?d+5RrFv=TnQt8oqa|F=y_yO7%Bd=GrKZI zLEIH9WPy-)vxq~mt|uicW^NCwUS0KFy?=y4$skq%Qs~LjCi3CJZcyz2bb4LUi{b7T zC-cvVj^NA<%faxe8>AJ4MCNhL^T+C@fZ+(fuD)c<{(yzeiaxzhgm<$^swY47J!qv; z^>iitcQl(eUQ=7*JlE6!dg!>3#;2Ix&!BFuD&mK2MMc9S6F7w!f zXyKDxtUP3=u8>&T8;BpbW=anx^I&jIi;~4)aK%mF?NBv_YrHK`(;w3O9^8N72#K5R zRjdlS&Zx&-DbNE-?;%7>X_^W8hy{(!`AZGDvju=TKLbq__=8OmXeKPfx_{GTk`v(5 zueDu#LX^-{y8*CZ7QBoa<04ne(TygoV-o4*QA(YwYXn$*YvJR|)iLSy&b&bf3fQ<3 zHwLhQ*C^k6!72P)>pFHEQaI#pAIH|(7`fA{FKENs=eR2mA-;VZ)r zV|IXLPPllr53BuI33jx*i+`E`g$$S?WYPw+`BkG~p;{@GDY|Od`YiNF_P3{vgdvtx zApY5fpEhcr4(;<}?`h>e!3IH??P+DT%#qs~;x@9qSV4DW3)qe_x4I#S^8#Cs| z3~R3DkIP74p~wel+i_t8&f8OSUf_rd<=_A!wc~ipMZi&!`QZ)z$FK#$ig2UML2-3Y zp>RLVDcW3?PxY2%>o^M@pFG%O%u3%0kx>h-!A6rP+$ep-Yb*@6s+41G zhL=Kmr^0HuBdNt;|9{Bufp#)@X{pNTODPhnd;5zL8{b<@8$yb61h zBhWyEwcGn;L4PN%T-B-cmI--0J}7!JQW?A05H=y7xjQtFO{G(A|D*1=WR2`Js~-|W zQz!`Dx5Z1^IChXqU-%yv)Be24(UFGE)a-!vPwY3B$pN)~0Q=o&q$n3RB{ZHSu+jY7 zszGVaj?I>EZM^Vj1s`?RE9(;t=Us?@kExvsyk0}U`pk3jt0NDs>v6X4IO?grlz)RC3H(O>pQ%aa68FX!}dNxSSh8WuYYwG0;wfhyCWI|g~ z!3_!fU4M73@Imd3Vx;ZqchB$r6JF)l2kK>a1MwA%BYOOiXJ2|*yN=FB@|OXzJdn|s zGMjvd^G%}Dtg%P#nWBgqGWqPVd&2JEJaWd98b=dE$@rBE_8MAqUbgfcR%WeK2|V<+ zgi<{z4MoyN>K^&VzpGXO?&(5d?TLEEg46mL;(uYyr3Ht-@D%bwf~G-;&@)d89M4+D z-h+pcf&?DJm#mTPO z`hwGEr13)*!atBZc9e}n70iM5GExnSsWg>QvCY#*vdl5=r3@OYb6+o=eJdR{cO6w= zj(^~!!u2h4O;q5Cnp*+&FnefbI79#8&&=wtQVD0Uj47i|&lj&Ejb-m2BPi;gCZiZ! zZZO2cA+z#LxAIwKCEu`jy2=>T5J=WWOX+;{ou$^duE!>(*bS*QqaBuhK2Mbx@{-3D zjh;v+tw@c>MW#B0#&@EH0q@xdFI5>fycEaYCv3r9iN5959ypUjzDi`1b^^1GK-SJ))l;Kv1bN}B9;tr+%SuU?-a&oH1R0z0v^s9>&Jrt6#y+bHbBhlx3d zgUS4qeqB^s_@Jw6M5Hgrp^Zp7W6~19f03AgE}ZJ;VJWe~I43$^ajGjbz8zfW3U2#o zBE!Z-S88j9FiR0aE^IhRDSv$@xDS@Gx7Q6StP=NaRCy8q$C!HI34wY zX2y_rZw+21!yvLRNpo~%H-Hg8ILDGSdU29L(&Ax;3!J{GvzK;Q zqR2qe;rn5N?9>EX+zt z(u_4`veZTM&f5~5&mJQ%0ey``4H8MG`sT!~Oz1XZp zCD(z!h;?1mo~-cC3N8?w5o}Gl_w&&KN zVG*V!FDIOeq1;X2`CyWG|LJ@}iTjh~uNJ<`c3(A!_00nRQk>|z=Hf*9JfC`ohs zF#j1Mn-_*od4GYuu3bV@_YUeca2WyZERBE8Vu~| zuoG4S1b+%IDG+?qI-23Q(9YsFu<#=|=n0G6Yl;=L5x@(zX3bO=RRQs1D$xU%Me069 zPf&8Vk3|T>YSamo{TycUP0oc8)_#bzi9u9k&Z$MSY+^5lF* zDLLv@sJ!q0@c#Bb@AnV*{QhOJ^cXaT@(`7$%E|DAAn7Ep6VNA~nWCkn`WG%VQdyzU z`{6BiD&BMD5%U`jvnNtbij9qDJ5+|NBn7=Iw<&TL9l#7uKps!BM8(1htqyY;7^XVg zqJKyKNu`a4N?&Lj@z1M(D&86u70BAI(mveH!0mT>3^+cQkUp&agW-7jVxy2wpNiCT zD%mSqY>=U9C`3P4atU<&PJ7ifOux=;$sV(dK?^N4F0F322H6p? zWh`!}Ni~wt8XcDRre;2(mYQ4>l@o`QRev4A9lG_;C$xO&UtE&_np`0a7uc&_n5(E3 zw?MLYZ~oNhM5xrgy%~9$-~#r~2*Hn%gBdHVDvWU!;;gA$_2hKvy&~*qovgIZp7~12 zq7$o%;+{+m?N0E=MCZ^T;hR(AsvB>7U~<6{U3_4?iF|xS@{H_20I=!7!3LwW0e|9e zw(1;c3*+`OpdSTE5%F4UZ@X$AoAQiddVIpZnEmeQZPC>XJ@dS4w}Z^jr$?k}9xiFQ zoQ@lW`zukD)~iFM<&Kz>);$&FulEVCb#(AWSM5bNT{7C@it<7Ki72Y%TfLGyx@qI$ za0?$pnM~K`>n~+@uO$#4`gI)j(tiooV{+}H$4p7nw&yBx6pKf$t#ipRY1eL(EjUL~ zu*V?d`OF^!BVH#W_S@MSKBglZBA(rze%mGg^Z^6bg!D1vNur}+dlWzz)SibPI2Is z`odi6#J_a?*+_i7B5vVx(fYIdS@VKSA7R{J^A79Hyr~UKg;sk|lvNb>V|?I>DWjm{ zgGVJOsC@T+_j_DXTu>J^T96DK5l|<=(oh6^g!qXDIsyhreva}M5)20)2iSDY6b}uvSKX>PM&Ys^nzjMyLyDxWCv`Jr@aXBos*)-|TJ+jBI zX^)q8P8x51Z*)ya*==Vv#U=D^YscKe@0JAa%=Pi=>HA z_lg-C?^OpmE)Bo-gE@1p)4EHOH+TH_<*d8YZEV!kvib)Run)iYUd_HQrQ9vd^I8GiPx zar~xB^KC1SKGsib;SZZ-4N}#aDW`j=T^R)*y1=R8(^%@%pmX zsDOi>$~pU>tqEZX!g#<<3U#W(-jX08}>AxCb%CC9wA z=8xo$yL|K`2Fz=;tMs4QVtwq3D?goWPBhPqP=4viHh8r9jGdZa)o+~J!|S>o6IYB_ zb-!To-dSa6bKqU??$`i1=Y;*r`vx^>WLLa%Ph0x_=&q(=7uRe}zGn7Kbnb4zL3VLZ zC)t(yxO8N6bS~-&KWs19p7lJ>+F_q*cbl=iVh{9f%Sx-tbFepomX@Xs zc6#GR+&X5baMoR|ajoo-D`+tftCxBIc2ItB4%e&kmz|e^ zap6jcCKe@u*(MQ-Jf*5iKqS#p%YaN0g^{+?`wn{W6ieN+2BmG>8S} z_9cUkXiVY(WH3OU@2;bq_cF3VU^bW|8f43p;O%WtWF#m)iYUl)WJxl3IZgjxmk^zo cmo7SH`TCem>sN;BNO;5}-Gm8q{0+K)0Fg7LT>t<8 delta 35703 zcwSVvQ*fXS6Sf)K6Wg|J+qP}%2`08}Yhv5Bjfp+UB$@bs_uube_oVCUySl1Rx?1JC zP?@_>4J5o^oNOs7S~P(EuG{t)DzI)e*q5|?;P1D;PMKw+YLzQr?m2!bHvRz4phig+ z?Jiv{|FG`$axVhHpI8VXqdtR$3YOvL_5RtdchLRVj3vaq4?f5LvcT7W8LU2oYvG$t z2emY@_d4$N`E>C4suaA!>f}?{BCq|y3u@`wWFc8Tg^!pbx(ygc**DQ|q)DB|x>fmp zB%%Uwagpu=8a^X6qaT)uFthJM$XF?VZMokw4L`g<2HqdHH!J>rdmRXT)AoMNEGa?W zHS-lnHZPiT=Y6nD1@>i+Ymz}&ZFwg#oVAWbt=zR zmNxfYkl!ot?ls6Xi9=}-zb_##M6}^+`SV9r(3~Nz&po^^P*{i7%GlXUKk$eNm`v!nL)u zkf2yIZrKBqMZpJGFwmh*n4PutWcajh|9CI?mO8ue>6%b+cgNlgZCVvVL=IhG%QL*o z`6IGHGptVX1hrYKqYgsgTa~!0KIfR=dE?yI%!7&0b?L{DX@1U6xW&*WR8g~}RX*IS z;9=LT$Lu_WqbjC7K`+PJ{2D2(yR`!yWs6m>lrsj9Y`_n5V5rm^M$a|o?3|#Zt_n(W z-1dP_%2UHkqg2R9iRHqY?0&30d_*nmL50Jb>EH!yJ!bvqv(S;tuQO~l{oE!|4Tkn9 z3<>H1!3bjRQvEpz{={GtxZ3?pc&8&Rm{(p-nz$q9zNg&4nAtMY2IEd;)&p9uTBz7L zo8N#Z^m*_}%csET`4`;^?_GZ&LF~N+dz+av^zG4DyBOneCdJ9*J2ygA`Fk`8hYauF zrir5K`S1{n&8SG?92nG4nVfL+7A)Qim)rU>b@f$w&kc-AzYc|x%W~l zp(JpBPben<9w}|FsPT>w(n1Q?TVR0tzCh&2Lb`M4b~O~?3RS5P+9ftDz`d#L#D5tg zDY{|5lIBNfnn!8$g)}wO1svq;tYayyE~!Q@QI)Exs0q$5mJh#eQ1w}EN{e)rS|A(M z_AYAyL<&+9OIvc{>v);Fj+_hul9}nIS*$91-~zU6Ou2gSq?mZSNIeGRmtLYT0ccg4 zML-rYM|p=X`5=y;(^jy$8&%>KiKK>9f=YKn0G0EbMeuSawygB1({~kLLc}YoQvZ~5rEm^R6O2wp7Cn}o=7rOdnB(UApX!Yt9-Y<{!_@H9?GT&@Lcv(>|=3RWx#c>``X9>$7u< z#Fpl%Xpo0$iq0EYzs5Gex~1Gz(jG%hoiK8~ZB2(Q<&*xfcv&TT*7KdPYU|C@hcl~b z^Eea|Ys{|ui;`=2)m$*<5{Ny(bs5nke$KR&oXL41L;1|wk)$-Y(SH_Fm|*?p0@)>+ zJx?bUgE1;Y#B--&w_m7p9fk@>;jFYw~1=BIZ!sDzD=+sd-^t& zM{v?kSk`2K9HeWZd9k|+=0NeYUR)c!fJ%Z$Xu zcUPsh7k0<~mlg(Q#x0nc!!&k`;7>FMT9v{b%YMauJbuPq9$b^brqbd7*G}@SCO?n#tVcnMYYx7XA=% z+3a`nEKWU%Ct@ZZt-8<;GbfDIXQ!W|LFJ`zi1$;`>TYq)XrU#~ZM@f*+311=Z|#Wl z!vEraJ{QUSrUNeZMlzyRj_;cjyTN6}5@eq#=CL>$Ap@RjepPE5~W-Ai`Qhi z^Y$Rd1~{kgc=R!P(KZ!hR{aJWHmzt>Q-TxAf-FThOc!cii;K+CmdQTSZ4O@1d5E;H z-hn7bKH{lS-3D=?c%m+FiE=nx^4eZ&Z^u=UqMXw@gxy`u@Vb^hjyrSpJ+eR8d^jg_ zTY0>08hJEJS#oLXrJNn1drj@iwPP#1B3h$o!0g$@v1_tJ@yNDyu3`bsX@t8E(TV^W z{ad<+1w*6zBUF#fw(E~tC`fAHEWP4vpMw9ku%NLAW|T(9*%v zi@Fbz-6TruUY^UnU-CM?g`DoaHB=4}+c=rQifF4|)zrfD)Q5!}I^`4S2($bR@K-v( zr?^{Z>S7-xFAklLGSadumw8<>MNaxqT9jXGb`=|&yTF=2@3Gw}ha2-RYyR6BEH&F( z_@(9I_>&b29kH5<9gmgwp4t;>xKC(}k-BK}=ru%vK7N26f>_EPL z*?zaA(?e8WP#Tcxu{;41au+08csNu|vSA(bxR*k)_?0b_aPNm8&R)xlp! z!XoV8;%_`>X3TynvWD!>XrI}exx>ZOLRNn_9Q~}HBmAHjQI=oRHLpjfp1k_yq_7U| z6efmqPFT|)d-iXB&(7(fzBSMapbVPb>YvRjf98%{*34eQ%h43Uev#5~Q2j;XvS>%T zTES}8^mna}C9lwTvWDaFfG1sf3^-BK+|6DM}Yrd3_wdzID^zEdoOx8t9qs}fA-gKnO??Hup#tsEb1>OD6 zn^{7SeP{k>0&aclOFKY!TsO!zyq`(sPPn6-7gP>UtuZg+f`biva@mO`e)us=xUZ-y zuz|CXmy12XqzZ=Z86@Im$()-NPcGMh1D`O6nxu_Hogr% zj-5JN4~skrU=WW)G0_Hnlo9#@g8qDGH`O1w+Dd@cwA84s>rRWQXH3^QynSsg9q*Os zCO7Blk=DL5K`9k5>37PP)aYOdh^1R_jyQFnJdx6nYHdDB{%Dm_!+uBP@$O0d!G_=W zm2qq}U2k}s@9$XO`egX+h2hiFc*##TyOl~k?mA{rz()Ww5WfV&19y}(OZBb#N;$Rz z@|yY@`BpF72{P)q1WoT3?xtby24$$)!fU#Y@qSvKJA>zQK8QNP2qt4%Iq>)IXidy= z#c;V8+IA_`|)dozAt(+39UE4FFtb67PGV{RwXTz%|zkNib565Bnl+{4oHzR;7s z&>`UhQyWWx@;NT=#+vqCqx(VCQYbO@L|bpWQXv93__kSPb8mjjr1kr+jGr-;C#cs+ zHQ~DI+tJXi3bft=9ATmi(UTZb{UO7$L{?w&dd}`8$u{lXocR#RTxAZQOG5StpqbooXTI#-$nQAj6gDzTjr5 zr=RZoiaZdovo`-8{9V7B)(2^{*SD$Cxy&kDXbdR1@?{nP`JY`DEHVM#vfEfCCGC4- zz6H~gzME7bwVE6?iAxOKLLc{ksJ#kD>W%mmYWs`YE9M+x_0lG2BZagmt~8t9;=;Ct55WDb*R<>mz#IdWk>p@x_?yo8i>2H3 zCEm^ta4oN6v_p>cr0^oTblvskt|Zp^@sOIkUs&xqT(rj81H*a|+CFc7YCRjyfdRee zgzpAC+=tc>%HJ%gS$0wt_i-~Ck~|tU^J#Q~BI@;4Zh6eko~;a97;IyTQ4mO;>hvxy zjJ3BD5Z?LH^|B?))Si%Tr`2wz(1u!=$%t{$NX|utBY$Xfq1hgo{t5oX*#iD0elgt( zkql%EpfHY?q7X{Hap7QO5~Te66#^xzp`fXtn1WDm{XcB>t@i{4@F426u>D;Z#T{YA z9R?;fP*lW+BuwBUQkW*IsLt@`cm_++Aw@=2P-_)Ysv#wK|DamAP{?3E@rS0m(;}46?5SN+`~im} zEJ?+#QO9nX4i*mq+>>9yxY|)LP5DLCim;JCg=;0DHIMl3lfbI<8L>KoQL3f5w99Ik$q=8stUt+BSO%I{3JHF_?sPB=}Zil5Dk8q7(y=@ zVr@Vxb70I9EEXMVT3DdcaK$+xpv1wBMQ+dK3PK0{2+q!-dLxPwWQ9YqZd@Ib198s^Nqz-Pkfgq*E zKrBsG=~W%?X($t0+aX?j3`Qy8XQog{f-3w;8|;NXTT&_f7p>N}msiyYw5ra_sQsp0!IT)AG;`G$~t76LpUs{lEpFrzw9Tyj4}$U^)12u-#?D{^&&Ne7Uo%gQ|7SR!?H-oJE5Mc&|fL``Z zJfsPb0z#S+--|txB`)7>~Z1q zACMqsIy1z=e-hb=%%vCg>5BGR@Nf@qBo_I7!LSJmY_@2EZH5)%9!}kL>t1_u>_Z9; ze)FbFgj)8&RGKlFKbi_xMsyrVQpLTW_37#B0z*UvfrV8R>=z$A7kCPKnbk^W$QtGZ zC3u_|XHOF~YTi->@2+!MVYdM} zz3UpVa&JEbCpy;qKFTGIz-0XQ_jNT#Yx(%?U#HjD`f8tg??!bPFEDhRx&(WU&kt3%<*;z*AGm%uyDxYC%dqfRu0h93t?(ah#cTLFGTNWJkS43kEm&?Tm zSr%eFD*y1xIvz{R$3Ifs%YKUw9y=WB0eT+<`b-=;LjHE({d(`St)N>JOAVEgoh5rL z&E}ArEEeKDbh_@-Z#8d*5m8oneS-Jq8O-T5NmPKjhh2)GLjs@|-yrNHM0QZwa`k(s z2eU^$ecyG+yZvwQu=8fgjX(ew<(*>9A!a{L54}W6kGZbd@GGf`;@noGxLM^MP-N9X zbuh(Zrfd>%>_6e~Qld1sq99Y7`IPl9!I9&Wr87gSno@^?`4BHRrl#JhMTm<3;p#Su zsN))VTd&T2;BoRX@Be&XgZ{?vd{?kpvAXM6d+Y^xv2}{l-Mg^@b#!VwcMkd1e+etE zQEsMEUia^HDHU+3UUmbtntrqZvDH~TD?P7gxtF=)4DMCYo2*ri9$#o4UIFFpXYoe= z&A??@bs3=sc(|C-f2 zu%WvU%shph%MG>{sqk`1j<-l59+e*w5t7>KiL&0`C#D~B( z8_7wwgx7Af(t2Qi9$Ghp^TZ@e1Kn|rj!n}`WE;-5(R_Bx^$HW^ER6Z?e$IAMH@TfG z+S>N8x43qiL7wM7QIYrTid}^K=sP=9sbPXk zf+=MS>yGJ|*POmgIt#ym-D*AqLY9u_?d`uq9Xs{?45iSw4q6m}Drm`8c%83?u?BB> z2M#sYvYMV6I}g|&xBtxOs*H@mmd%Dwd-^(lUD}%WnhBGf?5nppT0aY;39xUDdst3G z$Sp>!`tfbY<8;+K>ic)FD1GqF`0(uLh?hTbx{e`-QwUr26o^wj_KkI-8 zm38yU{qV)Z{7HVc9NoyyfGAyxZ8i&5Ps8&@W7yb`S(Y*;wwUnX=qK2!hdJ73WKqU(3l`^&#j^$nH7!EfJLQpb?*wz^1(PfKb&k1i^^_*OR1Xj%rH;;ja6R4x@I2J&goCL{C&zYs=)|ma3?pFKv2p$K#WP&cyB%TtsVTV;; zhl@)adj*q~PTsoD{NHnp(H)M>tN6ZxHDl_SbpM|c3Pz>-1C35!S|YM*;4`-)E1* z65z|bvR8Opy+>h6BNBmz2cYIT4wG|y-N<;*s+>%GI*?)lmhXfRtxA|_5Nx>|UmTsV zX^>qJNE3WJZX9n5SMeoWUS-Nk0x%of`GSNRK6Jf1*-Po(OhU2m0YY}cbaoI~_@$Wo6!?rrn71&tGw^pg=e>%%e-xxf-kcCIa!wZ{d2(nujTlMvi z#3$RjMJA>G3DG3tyKHWKRA|P;@IL(KEUBlr)jzu{9Vho^JOH9L(gbia5>O-*)_r%>PCP0*kqXAZmfy*(d>a( z+zb%VWwv4(R~aW zf5~nqHBRKdpH_imthH2zFuL_zu3WCP$ptu7{6&UhkJ}dVziYiKpmEu{r_zDV>B={| zkmORCk`}+$UBd=mRld;w^`oGep{SsGvlefOzhZc5<_9GYhQiD1=;&xl(kZBkD5Rj) z|41nsRQ&&GKs|0V`cNP!kSr&EtIEI@ql3#f6DCq_pOKnOn&CnxDq7k!nd)$++SQ$| zEF;#{L8!OE3*Y_Ryba_(uKUdCUg^xg_yKn>zr1?;l@vC83gRKd4xu-h&+Q397)|hu zPozl?KtmV_ouV|=noUKC@hlg-g6*yGgo)9fK=CG!b%^IV$%Y*O$v10`foN3xxu4*b z_QJceW=ZB?+7Kf0nFvduQi%#-At;Ef(%{c56U-w>>yY%;>_IIZp^%Bhm?H>b)LqtK zpoIhGoCna51MV$*#T0y9Lg36g;WW7iPIbzWlcMsVmvWpOAS2{qA{Ala=o3VBXCuOW zP$Y(5cx{2`?S~71wW9Gt@rS80U>7RF%Mn;`E9G)3O77E64A*3o$XyFu(0(lDY zxzTDC%ARR2f?Oy95{MI`!^wt^pKmnY;Ebh-D~LlzRfEpF|wuk6Fm^Fv>eqw0P*l##HBb1VadCL4QWUk`uS`L2Tt3>F2I z>7as?ykFl-fqJB;uR1EaDm4L-mO$E>Jqz<)?U0FuV`x^u}-+s&3#hz9L1o*z53#EDNaiGIE^6asVCYwSChb)*AIq(xFP{ zapASvW`*mE zM2DRkn}gGFAA5QO(NyDRxAXSTrjGa2-GK%t@=4|=^pu(LeQnCHE6tw0yPKWBX!0BG z{nPWVBkA6)EkTqdmvZxtLDt*?$~Kg?j!lff4t# zm#kxxxMZPlh!|_T3&%C-ursuJWMuMKjCY^n{@hr{mueK&GXf1Hc}>;qRI71oECA&% z-peEjjH=sRO;ozZ=2t3@a+l;Pif-gpTYZ;s`(kW0t4v(AK(hC{{tt$Tj^kSviZ$(%u+Csl#i1!&hg`%d_7AQ^(|=JzqC!gXR_y zNDmXU(~nqtMd{h;s>iu@$)<6;1Yo6|U%pw+H#50I1xk+qL84cS=E2uz2OKL(>`tSVFEVgar<{iiT}Zn-P>MdADnz@acz9dythxZ zerBK7`zDD&od!>8qE`l>)A@c)}4!iwR%~(bVq(0l!uSuZ&lhgMelc~{@G|V zZ6D1`$^voent4f;0iH3P%QRE13IwKwBU>7xkh&c0dqYvhNxfAyUux=q-tR>b@ zdv|R^IcGnRSmufzux*o90VI{d&xbkgy}ZX%7D%hG(5yJU7A6X_Zv~%$Swzh>KjD;# z%q1I}i)dXil|55+i7*PS-K|*qg8yLXft0w)Kxr_}%6DGlvQaVh^kU11tX!RCbM;31I(eqQxRcD{>d~*vttmRrHwH4N75?1MqHoHushi3BoaL49Xq<3t3V>`P` zs%qz>Y){1me%JiWVL*^WGrgNr(xs$B)*qNvUz3dYXULCL0;}(K<73bcNj>t7Te0`h z&ujFsMgG^LZ;AWd!Lm*qCqjS_5t4E}31JSq2P82JA|g-uJ?m zJm(1wE$7CkZ~XX;~wpTC)Z?S9haK|hhoX} z?VK8hha1*~#2x>2@I4Iw2?T$`g0dolW!X!jOz_8kaRu}E)TG=^2g7Nps7Pr^(TORj z{@=|cZbs$*D*^R5&7iYZV1Q~{lhbNu=dcB*8NHZ}Y}w=zDO&k;SX-mGs17uP_+|!* zs5CsG(o?s(Qorxl$LH5uZ{W+9+x%JX9nakz&slN%<_0Y;iVa~QY}}Ok2(3vgD4Cp| z6+P4dtqF>C3o7^s8wu_z_B=!@Xl*(sCiDFZL<2WSNl{(M;+PHb0uY26H)krGZzyjZ zu{c*oj5rVk#!3v952t;UWk?J;Co+%%s)q{-mPJo75F`(UM4xvLjuaF~Oa?+uOVXen z1cRCx1bq&xf;uH9eyWa!xbTnm$LGbq0Vwe>ayXdhKq4O~c9L{SvJMC;IZ0}rwKD?> z<*SqMXZFrWfqdJL8j!xk?G8{*fY95BCyIP>te}3tS;3-_08{mb zZj|{5s0fw$<|xV|)ifsRE=B~21+eH4Xb!}bgYd+MlYs|KNUBl&#RE5bP%4}(EiJBX zYX3ObEh-QRi&<~9-BAWUA`RObh3q@z5U63CN2yJiwYgCOfqtO#Th$&pO_)qnT}c?S z0_gw;fgc{!3B~>}2!$R*CCV5D1Zr?(N>&~BhalKM9S>ZhHNwb}HcJpIWbxZOL)A1G zrgHgkb1^C`F@__F^v8Ay*m$ytkkG<9QU2~et^a_VjmF_d0e&@Y5bKN>Jb5VjDYC{> z&YOow-?VKu;H(1$@p9cA5?T{%o(QJ)v9JPa0noOzgnnznKo?Lf^Jj3v^&KX}7#o8i zL*;{fK?IFf2BrX%1EvSZgx+IK_wzouxJx0T=o&2`5)2+4{o1v>g+;-9Z)(JY1%p8@ z832wqUEel2%pN%k0vK%M92R?sVyTzupUJBtKh|u(O^Xhm@!qlLR{wFJikuyXl(2Qw z<=N@c+%mob5pz_t#9w#h17<+^Y;b zdX*2@>hfqKr*AaOV1DYD9@>FAu^LLZBe{U}=@|#`B|B2Ubam066R`R1@$eAPslHm* zc)ON3tW{}c-_YM2;v75|pgk+irTxeP5HEFB#O1dl$ksw4Wod@D_D(M+-b7A1oR{Hf zVrF|tH0mW_^FuU-B$ea~E@^M2C(9}COx^*$_J)eS*t(<%xV-tX_tKrX4Ay*v=UJNN zyk@CUe2pzF|4AR-=33ozi7aZ*;oCOFl8!LC5Y2>to3!a)5=1{_drYZPRqFRD1$-Cn zvw6@Jb%J+Nea-vd4a8$P_Kw+rnPIH}E87d(W+_YA2)cFD0+|L6ro@>Blj7Q$!vWyN z`|n+#2^3fUlveCi6vxvlAG%*V;UyCx+{Ns?pd!($f{|;aQaV3dhD_wVDtBhJ=b6Qb z0$%AycLf^DyakghUC8L%3I1P&q=f<{eg_fZK@YZhYQyLsCsF_3!W#KWe=8C zkGU%8z=Os2kFR57vzHKGGfK0Z(-=SmAoElb3-+BcEx!M!ubTGz`gNcOrk>fV)(+pZ z&M)S4O+~1r>RCWcPlXbjk#+j3Lu%h#zwY#ti{eZ&9{)MB3DsaJX@zMHH~lUOaQ;-Ro(7ITCABk>F@o)D8HsFUpD| zY-N{yLQlfTyrulxct*iG?=U4b>or};(VeUNO#9ov@Sc6%oig9M%fQIE;%(8fouEC%v4x5u zY5Ns;wV`_NM#kMx+-C%Po*F-CbvW5|N^kfi71`(z;V zJJI}izo_nTUh91sn0LN^UT45MA(3_S`t++L21GYMua~RG3d+x&+q~0alxfdJLHXVt z72NGSzgVoEs8lJIhsr0LoXu1A%z-$9bj0ivUH0Ry8~OSh7vILC17Ss50~4Oho}Y9}it@oHd~W)O0|zGEj8iwM`3w8@gQ%D_u1_cdjOL^Z=KwqsA;`Z0Yu z{bh@?;_A~%ZnLv0I$byDb#i7$*bE(^zcRdM;oPn%kg6DCAXSHAQ8@1-lfir+Mtf_8i+-yFM z5yCwB{zXuNm-`||*4E(O#<-3cy~lCaLsgjfR1JgTQv_vvN=4ADqOSViCSz{rM`^}G zC;D#f6K;ssbP>>)&5%7t;|~T_;~Bu?*8I!TN#Dj%8b@yWQ0E&7R)RdO)o`GGsH2RT zJT`KT>4MWgQ0MLj@oHbFMIid=SoY|XbV+%Qb6!m0#oYFma=rJ*As!nmGTWd<#m1pB z=z0737p~r&cTv?Od{4);$wsa~-`f%8=iyBq|JRCp<0s(2RmxY^rhCUiEC9>BZs^<+ z(Hv&jXnTg#XT@aaLy_%KHTJ@=)LCxX+vXEdTk^oO<+>Csj?|Dp=fhr_ zySB&IkB>mrOg9ma(T_bUh5--CqV;a>D1MvEX`;a1rS=o*e)U@a`@v2Wt&F{7oll=v zbq-lD`1ScJ9j9>?8OH$opZ-sx0&QLV(%wcH5f;0!3XNeOfj-J!!L&hW z945L_S`BPOe;Ou+AslDunDlmOy)wX6Au5WqTSHgRIv7?ot_DVcYw8-SUsTrRH_t!K zzl8v|V~`dmcodati8#$-TCv=LY=;}EnakMFC)yk$Q7>JlF7s_X%`Nvb?t1B$tHBaz z`$i!uyn+@tHa>gpI0cF)V-)(hKGciH&enpnRRPET^X@E!4v$jnt3A0rX~^t&R|X+x z_+urQbu*qgtjACkYsMCPB36b$Z*x4u)Y ze?(5-SEr3PReoujBzm-z&wYH*p%mN$0)T`T8%_*;h?^Kq`uH9OsbnETG4?g?Um@e8 zQH!}vlvp|Q+Du^uXc)LbT9BI9_$qXCHSBs2GgiD{m|@sqHw$0T>KSfa1ORtT zNR(a}!&J5Ez$g+LQJJDa{|l!Oyjq_$aXdg0JBXIhP{-_ic*E$&pOwtCIOZ~|V|3%K|Q-%@Y0l>GBeb=_-DcBf1K zDa76QPKPeUO5qMoIc@ERNcHO zxmpFC#+N2&7egh%1nBlu`akY!!%*$v{Sxq|U0aP;(21yST=%P|Q1;+s;`b+Nk*IDu zEN|E1vJa$hm)6x{9&5uS)F=euk$&`tOxtR$NCzy&@F7~rwdsy$aIp9zEm&aSl-_Ry zdzJ2G?PvAr^02QwpNi2omIHE?p12&Z8|Ttm_4NHubHC;%v~0wiue#k8RYE#G6EN`m z4>+fNsyvqL0+G>b-h7OCu1+nt(+fOj7uaBwHo=!>c6fR)eo@hSyqkh)lxVADEI1Jz zdwmC1QF6pI(oz$5F|=g^)2)5Sf5SpvIVt!Qv@U5wL*Oj`>s56GUqDK(zr%I!4W+Xw zf|HEhhV?8yzBBjK^MqsI)#tg^tg6B2qbPC&d9&1Z`B;St?<=EiJr?De zn5^lK>>gRgOGc&KJlH=!cGJzrh#25#wn!AtP2y&$Ez>-f6Dgji67yl21pg@^{#O-Yxfs?un3VUK}qk zJ5O#K{5XOgUJF}8B~l?B7svxPzPdbumzHQ79&B3(1N3Wqy*dd@JnZ>iO43}z=O31I z`Zz{@V-Y^j>m7|Xp#528mr1po(n5xkQP${d8A*rO#J&84GzF|a%?ajDt!`^3D}TwR zcacep@IKs{2V3HBOfK-=rADNXwg?r(NzNRl%jrwT^;vCwtFmn_L^w_M5nlW7av?r+ z=U}xRdF&O=f9^x2OH7aVGDhwX0z?PLH*j!%s%6 z*F!C|V!xlI(Fbt)^I|;NavRnTj^EdgT-EtO$-9hm5=LjeP25+$9it=A-_)ZWo#wag-Ac!R}dT>dd4TCl_-8Gzq^^?Et}7wp#3JFEnk2V zkAH@s`x;YuL}iAj2m_gm=XS@n_^3zjR!NK_34VL(Wdmr#Y3lem@Pm$l*1Wh&SdV($ zPc75Q>9cUre?@HGcJN2U6c8xey#^0~S`402n4F|+i8!Ld@0%_?6|ohY`dfh*Gc33H zP5~`(_gmn*(eZCF8J84}Eq;u>?d&j)(we?@TeYprt?XrZif6YHs@?n=M*@SF&~C4! zG=3L4xiT=Wt3^?sK=Z(TNR;AlX%GlOv*xF(bt0rNj-YdirWK*uKHuD+w_EC9wJ_k2 zk|)+F_TR0eer4&T>2x=9ao2aqEacbI`ZAz_hf^i6<{)CW+s-|zfFG4VTvK7QojUS+xl{uxu; zYN1`@4^8}anQn$}{ujRtJt1_q$hP&btfbzht9`46+GQ}ptK*4-AkU|Dtc#tZnk!Vb z;8cF&Wa7GhC-L=Y^}r^i+)THX;?6=Y| z{SJWlZyS4jpm0nvW=P=BPm##BTW^M8`G8`4>q$Rj)-RweABBL)Dfm*-$Irfwy^+>P*`)(#H@2-3cw<+-R1G z-ZlRo{@W4$M(6|P8|z;I3W}^T=&ylNFn;L#d*~uTLiLo!(_nZ_QAHIEc{(u#1)2Z* zS5iJxf%<>7=87{l2q+#N30Mx6rfXa}h^NuiHveAP@n&CI|Vjq zKLivn9GWccR{JGBC<`6LqLU*>29flC@tU%t@`@T671E#{|KoO28Bk9!AO}O;p3lo( z!+yKXfQ7EjLEV1)_0nfwFu*sr{$1(iwQ+pI?kKzCG}|xb2Oae?e9i_A=;)1o-bEHp zrZu5)nbgA07TVbIt$k-?^h?P7m+&~i z5qVjVRrHnfvnVRBu9a^9!WwRx+Uo3si#+J^JKiGvTQDP80Td6|8Qs#ITR6P~`S2SD z`C`No(;L_q08a${Xtu6JB=`md!#Oe6ZojGOzisP~KD@fVp_yr{hWi~*+c@6k5PyI# z_lIFB9$`8P|A2(IGII;6Dtg+_|CIY>YX|1u($)a^b@FWF0J*@%#`1}k7u^}wn06yX z-tesl*~0N!kMRMNT^YTyP1#DzR97#4IbmM+BVc?Xg)~QZf9~&mNpUoJQhq<)BgaNY z=HU&bI!L7gRa-v?1R=*R@gp|6z zAy2#O8uKQFN=mNnt?eGXw!SJ3h*}$CN`4z9f472sX?_AkXTYog$~hE!xPd_v+bLp` z{ItB+uhA)jY?S5OD-$RpxHcvSWg6Q1n#QYV1^DgLU+muB7&8mpqmP@Xecra;jo+cC z#--59*-dlWMB0KOL9j46= z8;_tLv{l9m_P|}nI^D#=5cTjWD8r=w3Qw92Us?lDvPU&%rtdDAF4|T%5LXT2k@@N; zeJ2}RjmL;Np=%vU8t|>+e7bR(+5YV8r z_J|t!yoe*P$bWy5BMrVD$jeVZXWRDn(z7VI3x+jU<($R zJx2t4b{5t_XIkuiu84h-N?(GJ=`Sc(j%#6_u58-y;(w1KUynM?V~`s*GKRgjjwLE& zN6y{I2sQaB&OHn)3>6D%l*yMlPI5py$G0rha}zGlNum|Ra84nb?<2qWscf1 z?~a!2V&9|CUY7H}JhJtlszkZX+;8wRL84d-AowMl@xp4EA?if*Va&8uvx=DLKnRZ! zXq~cpK7Wu&yXA>qdI-ZAG$%^?3{YCPo9D9na)&7sK8lYPS7Kgbv)fbPQa87my-R{>_r!QeE(KPt$8YP4 zXMe$m<1F*&Lgi1?Iqf03n!}F6fEB?Cpu`)dbz0mM*oLtpDOk`WXkwk@cz`xg3JZ`` zoWv9b?Q5hS*2r3I|L$w4+zg z{}v!$k4Ke(ohCT}<9oZ789>-$PA80WnSY~cx!lTE?`zO-win;h&`X@Wh$B31GCi^AnK}2HbxeXQJb%TfnK2BB^N4R4#<#DQu#2{} z9h#M}F3;ZTfKF}mCa$g-tRgCuxeEM_#P?!FdbJKGzN?%tX(zfkBJ%8M6Dum11bg|Yhj-q0$eIYVNk6?oMUoDU zNwdvuVt2?3ln9mgt4`ExW8`#gjXyRCuuLP6&NxZ9C~`s}yiT4VG}h%Bt$o}cDUAs~ z;JrPrQ5bLX|7_G8*R^QTc5~j7{(lZT?3}Tqc|-&KFo^%S9WpW`XD;9{HMta`PLAu` zf+UIQ75de*yemhG{feOFS<4>Zx8qE-X$=gziz5pCYls6(4+s8On*^YP!&t2IA zRoc{g0U$+;w7zl+b7>q`EC=FgOipr`zNVg>cJ2*#(@F6KLwm zoxF5Wl!pMUTpo8Y2s~{3@lE?LA)@NnA!iO?m2{Y==AOB76(BY;4#RDijbf(A3V2fh?5u+;F zTPW9D&{ zkTm4I%PJd>M_YZLndDpC0nGaD&#JNj*Y$t*coNR>J`}8yQwV+&S$>)6bFLU#luE;2 zDJ~F%JHX&f2$y5%ohLQ(NvJvZ4Q+EK@d@3}yf(^njRwM5Ruwuafb9RQnSL2fu~(pl z=Hxl&(SCs+@P8~llu>5*6_$%0?v;Hp{A!u;Jp^P`%IWx|?;<_(c`cMxDJaOub4YU9 z#b|LUtAh+r|3IW>**WZIqS0)~wZ&lj?4l53$I+^ApidLU&EpAOx{?@PArc6N3n`TMo;#ANJHe$`qB@BH2)= zz$UOVajySE0T7pRZ&Z;12 zEkl)W;CVbymCA=S${sem8jBu8C3J;o(&xe^?^kdIh=Gv8oP64?i=6;f25mq5_jTx0X6Tw?3}R6Bzy8h(0w2`DtoT0p`r zHu|ae*D#VnCfA{5t$h?{lRreQkK3E9WcP?!f`|>!g{JsCS+>!F5>5wV+KakNvAhwf zsHjr9eyV@1!Yq=s^la?KFEs=Ud6~6I5q~P~4E5_X+l0*Io_SJ6tH`+BVG3DVNyGVN zzDXe=?0j8~)do~UoD{*jbCSTjjI#(nuP7lk;L$rn5UN%LMz55hP=CU?Fu!pzw2MjwjbF*{POcONq20n$}6ykAJoS z=&DNqLk3k4inK^aHhW3;WlVEUs;c&JXX7Nsb>4@=ocEsM&u`%YQQvS^>+ij06?7Ms z4Gf<+8~DVffeR;n4A)fWat(QvpoJIDj!x~1L(grWEhd-T&6d5%ZQFpGHfe^NaP*DC z$TR3k2HOcZtv#BV!Tn9hjO0zjV1Ishqv0!IxpWkafHmDzp~D zA6*We>Og_%VI4m&x4rjV7GC5t@0?nwS?u+llB?_K@ke1&!O@BlrXflHe zaex^?X@%Rg`Phe2-pS*~tb5HYpXx(Bx89zA5Mj8V(UQIeej?}eAga)K{9E0v*}y#% z>A8Uvy7B!$j*!Zh8v|+Ja*1`B4`wpxlx~S1|4J~|$|lz?MfiMLXSEKxHva3);nUd@ zEP`by4Qytb^9_p!IP1*0R)3&2ni99?pfn2a%b!?+t9zEpJ7bv$xrJQSb4h^utS1KvXxN&str0;m!&9P&mL2#%X zqgSO^qB1nei~4kp-=}SIujTrf>4{TJs!tigUrCO!D8h6rpq%2xgn!ofphDktg8D?w zHm#Y}8k-y$2<5d66X*x>%U%IXF-_# z4Ycr&A7C_eV8>PtoKjy}x}Y#%xei#&A84<$w1&I@*}^N|r-XSRYPW5}1D#sp>YtyO_rlSykTcr`@Mp5z$~T z8?PC0Y%Y^Shy>_*bqAwr);>Efa+BHTI}SBQ#!iS`U^;!S)S2vYmG-Xne?E@u8SvtO zyu5`tM1T|la%&HBm{ht75joXkiPsO29j+O_B-h*s`$?yAA%9AekTUsDcU$V&7t!l@ z@AmkLR6=vUA?ta2GYhmhK$hsW{kYZ~>=x|p&G3cR%|2%nZ<&vAw##AqV(uOtckB^n zAWQW;OCzx##)O z;L*HI^A_3uWt8>lKa&HixkjxFuPY-Amq)DrZr=&+8J*{QXMZW_-bSR%#;`lrX6U5kZ8!NBxz3vUgNDK;Gze0!h~oz zOME9cA2U=Z^0mez9&*aJB7HHXZ;?Ge>{Q7J#(%}6tS8VM2#2VON`9`74YqL&Uj(}6 z!eTa*k>GdAja{L;0wEP@?{>LpH6_JpM7UqU@yzciEgR#82U^wb@ly z6p4{~CBO!5IlGH6*MZgr$PmYA^mcqlJ15IiOsk`^K(TPi;a0zXY!_W%% zGeIITs07qtLG7z`FXfeR*gGJFm%0OS7DvIkl)8#Q{Cft+%A=?-pUO3t3|Yr--@w96 zwHJo=iy(L@?8=+W1-Wo=zp1?1?MV+ddVe*z=k8P6?E)cWq-ZTepF{lq?uwg643>;f zWwP$HHo%ue4~3Q^QR0DMg<*PB@DJD}CqS>Km1`#`?j5jDLlI z$=qFtX~y*09X}}ORTqqL>l@U*vTS-Wf7>``G-H}t;+;<#F`hx2U)y8oKianGh}|4? zf~<)i+~N|naA@e(@IF?EJQxSIaWIqeb0=d|zp-!^P?D~}Zp6>Ghb0C)>lI@x0Ux_Q zBz*hlW~4k~ZveY))05(``RYHryMO#ORcqS%J-#Kmj@l{Rv};yi@LZKv$9$BEtAloj;%~&(UL^+d0#}_i!O=6U7}c* z&c`9^rABoR)u)fyye2|2VD)qH>GzKHwDu-K^Q#pd>_;I#n6NZBU<~fQ(0>__E4Cx) zOLiV!^5J-CiP&Efx6p$+d(`PprQHB@!Q<`5o(jLo#@3ZNcs*p=-?+B-6kmrSrfkT2 zEpZM*6=5GPPvh`HUC2$Sz`|!hyqxhChY|w5=ekf{(w@|Pe^c8myzPjwX*E@t*>4`M%(-xkr2NZAd2VA-vF5JXeUBA5K(T+=pt07AA#m=|&QbVqx zK72E(m%;sftjPwRoPPvgsJ*C|McTb9{cHjcR@ z$2z(y$g)RjSvNPuH&CRcAMGlfjdoX!1FZnivc{u7pkw>lCt`j2C*mwT7YElAua#!R z!2+lyTJrNtP?uuOh2*Grsz1>{p+gb2e;w=ka6H~gA0MtUB6(2 zm_BEMyH#qDt}AiN>RujOBV#d5PUOE>Rpp zRt28X*+3&;kbjI8A+jjnF8E7rEPvbxDk~n2B+3dn$i%f6;iMA~@5wL#!V7*Hwf~A7 zFf175H#Egw9V3@?JHL%*%Ia*7SB$;x)e#PD3L@4V!GUhkBBq5;(5;^t7yecU*-Gw6 zgNxK2L+rKwy71c{ug8L;&AqU3Wd9t`E)?7?YxT*t zw9auhFRY!UGi4}Ut^4ayl&4C;p^ghY5#iXj?2GFeuDtqLRJ6f(Zcg-xctJ&cU`{m6 zNbQsb?0+9Hc;%n?`;!R=3eBXNt>Eg==Ab_f@!#A|A1$di>=^2%v>stQ_KKm$1iZdMQDh zIz<5TEPCQxSVRvuH=-Z(PUZ)SVJ6$raL)2;&WY-thA%0K>!0}xbbW}X#w&IKg!sTs zynlc~?7i&48BX*tNA4-m&KGe3oRxQ;)Ls9*9P?I4wr&S(-M|>NAKCd)hNI@tx2|50 zFDwZjumexiASczH5U> zd^`ismDTMH6X3>-zoK)`Cp_1UkvE>(l7A6&Ik(6NQEEH>2DNZHR}?m!t2JOC#Ca8( zjtBY!W;giEY^(Q5-v(>Rx$fzOH8x(H8UK~A04h+so9Biu_((Mc8j{}T12piEPeQ(F zDhHit`Va6IsQ4e}Z88v&r50tw(Jj$w)tSmHrPiQ4=Yat+eO`D~D7y(Ax+qzT_>UBvId(u^YM&*LkB7Ge|D0N8|$;eI#ZyNv>7MAN-9?^k`vp zAp3R4K-j@JIDB$X9v7fH2cPUokyfYf#eiZsCY@%Qk_9FK2(%E({H$zx7{#L;w%x~1 z7T`R-cx}S8tB$kbH%^ zx~7fitEGU%*kwnCEiIZ0=&DKR(sWx5zc3~}gn8C2bdX5RfIU_RWoUsUZjjM36iW=T z(`YHT++cqSH0663?`NA$IHxF-UovfU<9i1sRH>vEK0F+9rXt#K+v)H+^?!ikA?35& z)mu$#+`PRxYqhhrHBnQkyqzDlKicy4ff{Brr)=W)uUJ4VbUc?=#m8(FiEvIo=)R({ z8Iyeh1w6CSnVG&vT$2daGVwBaIl?vvI<8gc*iSG#Z+rJD7x%R;rH#%G7|37u#=^oS zioqr^AGL>7SlqH*2_hVc=YL+$DmsIXSkzZ7#eT|J+5Cp`yGeuT-=vGFQr-C0dQon$ zF^N3{qrnETf}Ui(FkO^o9aK%kS9+8)h20r6P#2CcKf@nOL#YkkhD||#&A-lZA@emQ zQjW+ztY||0xedyZDWP^Hd%*05jML8Cul+@&aszv%w`p0WE6t=OqJO@pOE^j*>dXcp zlb$q%;%NbWfPl^YFp#jNVCbrHm#%rJuVvYCb`NQ#u6vtW_Z zY&11|4JU|cfyBU*b$^F`b>UAB{*=X;c1Zee91jtbypniTjfwi2EWJ0rpxIFalFhFp zNyxOTw_(h))ggp=J@d=WB4dHs(q$?j7Ss^pbq>EvogHPolA<*BG%zTL#9YkWL~xEPqLLu`9^3a`}FVRyU`P zvc*X!JvMwIohW2_w|4^rY&(x=LG2$UQO*Y}KZvQ_sSA_x-Y5Q&=j0yc>ENrPg@ zoLj;Uuaw80cz<0pFQKOI9!HXnWR)w=`q*3iEa%><5knBGciWHHA4qBN2>gj;HiJt& z2cMf_zv6G*Z-|;Q;Xi6h4$7UwuBDgTRbnTfsJ&Z!iDO$ikD8c*pZW;*;^6RpQH>hS_J>gvXYzYS(exmy_Nnzv*E9jl67k9)julz)4yF^T*dA+0hF1Mie_tOi7E(fU}+ zmhC2H_y?2!)k|A;m=~!Sw_w$UhdWiVSA*LN$TR=<5VEtw(wT2QEGxbS)%E$Ds>Kj7 z617aB#d;Wr9WJX0lE}1B-#_78s#sk;eOV%6Vw9c5E|aD~m=IYzsz z>wkCW0(+E( z&FhGt!ObF0YRD9URtgUE&_ZlLp_$EC>ya5;(ndImZ&zWcRB8Mu}%{R~Rs# z0;5;Ti`Mr-39c45U5161Dd+`;zu`DT^_uI2Bx)6x0tF%AF1Hs&U;KfH?@LXa$cTt@ zZ9-6iuMJN_<8+cHQL|1&! zc|y+-dNeFMl?gkA9^t7|0xHe>T;k8jjvvwq(wJR-$KIHetSsv&S_Kosn?|7yFhqFt zBS3d9;b#>a$S)AFc4ylQb-VKPq<=#H>Mp!+#ZxcGr6TOqK+i|71$6ESvZ*o+Da$>8 zO{QjUn5`H;n!m7S2(FW4wE2F%K)d`xr&s%xvgGM!`G_hZ_F+NCL!yXOINN9gy{w$n zCz_=gP5sK@a>HdOn0Nhh@FqwElarKgsK?|6q2sbqez~4xdea*Fd5570Z-0eWzw*Ym z&X~JYePbNVbzxqv@=iYAYvwey?`0H<2;+GxqW?~hwyeg|z_6!_grQgZouHK~XZSEz zY$P-|veWNNbMx_oG<1GCJ*C82=vpqjDaX$EqINYuu>7t-i}y zOD#dQVK{$W3=tXlEtVfFs2!Jx^Zey(CN>20h?Fc%hgGxTeCH|nvna2EcuOX+pdyY zM3NxIOguACyiaBcWq&P+6fVe~zpi66zi4a%Ke@j5rtt@8G#Qgb%lxWYyi8CYx;pm$ zT;mBiUA1eCa^7->bJxn7igvzetED29e9>ROOrux>-Ne`9TVeJGk%GM393d_t*Kd;B zmS9Kr$7!5^d})ds`t0>~tZl1XfIt zfG1m5v+*|^x_>M>u;h7FNBrgXk>Na5^@o zD`!4o+-{WKe4Pq=sFvd_v^mM=B=%#E^ z{Kek94=hw^qziX(W_0=8+%s{B!tw5jrEeFDHvRNsI%cl1zX&ZMEJZSv}?1Z`|K&ccc|nL z-ywj78;9++DMx#XNTo^c5&Vr+_s8eQ!Uv%Y31s4}Z--H5N!lV1L^%CcevQGv_UCAp84ERF6E3erH3= zlP|9JRTBR24Ma;cFC;?}b+oBY0=p;q^sAiyH$m{@miMyY^|Xq>`pzp33s=3R_Ykj3 zQrC+m2XScD+6O2H-tr3$ePcwWN#k^i&vhUggXc|hoC<_Fijv%ck7hg-gwt{J3o=Zb zqJOaqcnO70>`+O&CUJ#Crncm>r}1{7ni}``DuFz1)J-~aeaz#{%+Ce%_>FM4tEm8j za^t9vQWRu@DM4+lrSBJiKLWfjUTYrOaCce(Fn`I5uk_|N#8nukz{bNAQ_e0io)ql}5S^UOJY1zJEuyC{#bJ?x*DWx-A!IKGe zEE{@4JD-%EZoXbuHijKR=-zR=oU?KH>PZjeiGAMND9ePIpd#s2W#q+6-q)e{yE{iX z;A}bR2(-HHiY-olI%`4aQn-gy}>qON==t)U+ST<|&xH&tg{NaE!^n!YUYC_PoE* z95+mt6@r$1O0pqJPCP?#k} z5|lEVvGo}B;Id`?NI4-QX7ABGn|}tOt4Wg3s)w$=TnLx%JF4e&bsHjbN<09AOvm~e zI1zd2+KfKaQ*EO(jOupYT5>t8)qp9BOWNZoVa{5wv;|;56*~2`H(7d_H72uVfYP1N zX&?g5hgqT3LSY9+Abmbs_YwLlQGqRk>!2=LZ zeDZhvipNJ&xQ>V1668Ao@&64jpKvvrg&53(GF1-UsZdJpMUEEi(UGGdB@x`LWkAoX9#g+P5OxHPvdb)93AS5 zuJrz|>S)9EM-uA6S#J`fbB{aRv0m3%f-?@#^2BBnB73>^Kr)WmbAPtAqt$K&R%Q0U z00N;NvhUtCw#n+&z8*B>0UUvyic7AN*E%m@{`n>GO2;{yI3&HWeEA!+aLet|?c=#t zz6;41Hfra(h3N2=jA$D2p$uy>Fz5mX(>ynh_;RiT$0$yen}Lv9;9~l~Z2Cl-&R+|> z17mH^$y+0IC7HK1gjVt3U)RWy)9Wi!q#hY-zT z=s!4l`Kv-veF(6g9oaQr!{tT)xL(-^je+G*I8C3f{KBmQ9}4On$%3!EJ)&$3#c6+a0v2)hT&g!yi+O*VF((Qw}sK`-c13orz9rTSspFWh-6t* ze|~kHFGoh~HGdU*ir9>lDHN%y@aSYRO>lf{y2(mq?LZBq6;2#do^&KH=+|dLFK%ft z@%2p|u^*HIIK&_LHqQyu4I|NTM~inRCjXN*?a_|O8<7#nAP~Vc}I&j{ZWUDB!8!lj{jBXiw{bZl^lCVE;hyV zWp#Lj={fb40T86?&t<1Dh0x=lFz~ka4GvVb!a%A#mxMjpGr3*#NuY`S%L=RG;qoFs zy6ir16Q!a~M9Kx0MxrQ<)~-F&a1o+gk{|_0j2GYDu0`w6Ad(${!n0oe*k!|;TxY9o zTZ95Uq<+OEOXsihuqyUyJ1I`rw3$9$fs4w>$1eJ(N_? zOsa2asUk9g##;A;7(0}_`)yCp zq2D;4$(nD!->I_#y#1*AM*Mopifp#O8-Lu;l-PcVbV;>3el;UCreTRg6FeMRnoG<6 zU=2P$s<2j?f+vDXfzK>9Pe=zF;!{9D89I|<1jm{qG)YF(<4HQ21+FT@x8?`m->1_e z8hUds#yzW)Nyu`Ns>PbSN^iEh-4$)oE1Es-A&z1v?NfRc8oSqe6nkF^d*;cfJAcX* z#7rn}hx$WXa^L+l%9~GU_Jp@-If{-g$bW=+{FP00e!y~GQ*=K%LWcXB{sYm@OGH@J zwRvUpdraanjIwQ9=!Afo&CW8Z>#ngxD4rKE_wMNWOwBnJdxzM4-hgxlH;1P5+d~^8 zq8si^RI23#Sxi}N8jTmeW^r=wNW89n0`4^ z;=|GJF*dcx-y-bLy6pPVzF9*D;8s<{2zLz@*)W-0P<-bMnf^E(ev{|ReSh~O6-nnF zMCD=}KA}TX@B0`^)Jtec(?i1dNvMVb`9`xouZ7f*q`ir;<$A8Fx*n!A6tv8ok9-8N z^7LXE;u4f0p`6qZk3)F06IzY?!?G`IVo~J0uYW z$t38kp~iL6_y?>@`#tXtkC6vbFBeWR6eYjI#VZ#0q%PxotCHL8z$;7ONrsKBOcj3DzB&%hNT5 z#hgnf8LtR_o!@mhAPl%v(?Qu#N(6gJel&O3GJm>P`mlT|t1{ZduOEftj@k+2Sv=>< zsyHb4?rAD3F@M_XJU<^`QlRgZ^h<bt-i7G>a^*}|6 z;@??3eQF5!zGPp--t~zFA@L+08iXbZ=LlcP>#N&8Q2j2nA~Sc4msp%SHUAino$e@kBi|^mkQDwz&nmJ08S(3b~HXwpIs+ zgb0jnHrj|27t4Lk)ays}81+Mvu5F)x(^Y+;%KK?0uIh$xbNT)o)qU%Z2*B_ziElTg z3&&A#>dlJ@W*g4JdsolU%?UhPKw!vpR)OQpy+)J9W2utLlG9Ns&%}J?FWZ=Hh#>I6 zH-C}yFwJIXs2s)UeZQ-1cs^Io5PfKQfZ0m@WlhA@J;vzr1%Xi2alQD3Ho z1QVWnWKq=rEjGAUW-HUT2Xs z4G&-Lep$x_Gcpu`e9g>jM>u@_Aq>R!u$5)s=722sHj2hq)7F_HSkfM1#DTI#S1KsQ zKZ;DuER_FC`q?qkU5_%AZPqV?C=s4p=&cSWQ$v7=yt6B(q9HG5_Q1Cbo^nWjZGXe= z`+oBF$OEgvNBcT+#%_ybUxP)CwZd@Tx;7=94N<72+hf16-ZyNwZ_gu!!VPvn_Z>Iz z%F7??{CfN07p-Irkd-Gz_Avy;6STScqM{>`<1ARO_YbkO=};Zrv}Da(8# zB=r81jE=r819%(Sa;i~K)mq*aut0PDV{t>CocWqetaBnYMZmT$W#sj2+^1bOU{l{g zZHRMhMxMi+K~Zx0nhG{KR)41B9;Xxha2*>ClpA>2FxcGqeTFUEHmqfZ#|}gjpX_q= zF)L-2#KKPh`$;&E}RYREi`yw^{5zY9(!7E2_>|BpRW#CPE z9qwwrE>LP8AxcuiRM1;2aCF{Ja=?wvAI#|mXd=%aWP(65VG-JuDu10651)3UWmF#%xmJp5FlHSUPb-U5>{weT!0KHO8(XQ0POEd`4Lp>`#udNShYh$v z`OyPT;p88`?I{U2z2QLnII(`tvznExJJ$j1n2M9V}zQ z*|Tj(b!s)p!S+6K0)G_Jf0~d<3(Wd=wYs@Vg=B{4nnBBp&=c98?p6|p7*c__7iWIj z$OAgGuh0GG)rWX%1Yx%4)wNOwZYzkphzgTBZ7V$VBtnp*$;zorDbLBdH+~g?CKiM! zsr}w#ydl?W2*sTox0;I_Zz{w_F+C?kGTB_cW|4tbbymw&41a4vc5gOj%+FcY9F3n> z5x@eGPtewrf^eMo=ce3%VP(pJene`AvF1zv<3h8eTl~);Db${yRVX{Is*O8Mp3vC`tY|H7;Y6whnjRx`LquC zwJ--#^MStM@qhj{GI%M;ikT}(5~>Hg%VKMvJ4|ariVJznUX^C(FXL98(H(JxPo+Gh zGs%&Q;e@VqSc6;%u>|;3GEgPHYLNxAeG+RE&aiOefN@3C6d@X3ICFOu{H;w(cVvgN z9&6oAggGvf)n0(u+;nIzyoyPYE-F1p$O^|`qrt#5t$)#U2BuyGv58FeYM_ahw6z=h zcJB~uh7Zs6eeFUfB+kG$Y>@tB1n=9@ z6>Tg#NQDpl&&wG<-lV7q11D;BK-(AgyYpnfY9E08ek4Mai<=S}PXgFrc41ksIB&~l zL%2Rx@T;7UI`fV7nTGSe-KV@H-AwKaocO-+&VL+?N}hj4b!`MP_u2#P1sDwPuQLY7^q9|{licJ)LW2JIFK+T32()D}#^&GY94Vq*^OG4fi3Hw85 zzJK6R^_^n4^?AH|{NR*V>Ftqv#ZCYFD#kHA{_u+ry^L*p#}oN$zgRBF$ZM%}p8drZ z(OKr`6ZdRkcr}?^R_Fs^S5PiF<7u^nF``7=>Lq(Mtr;&{S~e@QW{Nl-dTV@%uB5sG z=@WIgT*IF=OMkaCq0qJjT_eF6z4Y&)O@Af%N5AppbAtnCK#0&YPV*hkn@2x_hL8dU zp2C)`knN0JOt+6yg+>BWYO3%i^?iQ>sIx!h^oxTC3w$P_jjuLm%?!n7SAO|`)2FBM zLl(e4k~_4QjzQ(mgZ3~|4Tvc>mQt}T&_}S$Gwvr37^!jJET4ZX88UMjk!KF)q<_No zDRoJZ=ZTzO1$8%lY+^V^|LMof>Ze=*r@w+Jtwzrmr!0kK=NBy~>Xs_45LBi=$igAL z`c0?eMR_&Ppl7Di2-E;b)=Eq1bo_&*#;3O1I=aXesU^J)mVO~ug&6XR#|4d^NISJq zmB(4SS0UQ@6fyc*nCjVB^39Y|Jb&0;UWM}cBfcP=!pzQQesxhIkGovJhnkzJF|c<~ z;Dba4=qleOU8bn52VyWVfuDNH=9<2DizZ9I&O5XiZ-*-D?+x{6!tDm;o^Q~ctw}Ve z6}Uq52N5c&{4_~AgXV+@T?eSt;dr4VmV`dpNZ>d8`dC?{x?QL{R|!6v_J1Rgd8erK4sI){6?8s8QfQaW=shIsOa zr)Fp9B-+5|C3kYF%ubCM_8;W0w)tC*-2`an)m%OR9i=BRjXtsC(u@Ca@Ar|HEWCy% z?Vq>u+EW5iRGcrAgguP5PP7QWQ^J10V#W$wJztgU-LxwA0LuE1#07_BPl z-}ih(_el3&w8^V#?WOIyha%%nb$p^?+@XXLhYljAPU(_O3zcPqntvL-PG+p-X>4H7 z(#-;d%P&6?)1%}zJi|(DYUI@F(&ZTXHAP@2mY3wsbV_xcvS1s89r-XZ=W#HZpVMv% zYYHB9bPS2~WI41DNoS3l{rN8w;?adueBCX?R~hF;7s}6cq{nuGYF)r>o{Xj0xadl3 zOcCZNg2{yq1}LTO1%D5~()U-Ih{q<)l1E02m6nl>-?7j~y2vB3uw%GT94E7nw!E?HLy#F-VGIaEQ}TA8BR{c=uOm zGS+gmD$w^Z6C|2S|1|x)`fAj^D$lpV)0-tXroGV~&g0p6R1y9HYNnwb#bR**zIZnUM%HcP$T(SU7?Gt zz7RLt%kmqu;tZGRQrz_;dJ{E9R`>iF@q@B0NTZe}86?afXSu-X8#{Vvhr|o@73_Z; z#mh`ju*DuBl79t`dMu23f>Fguf{DKCxHKk?;M4#3@+0o!1MV-)(iEfq5F$-qXC_No zGV8c2*8b`?1QXzw`q0t;;-EmkNric3SYBWIyLMf3V7Z1T7c^AjG=3DBHY?}Y^B1yi zh}w}AOs(Pq!5P8Um3q#;=v4VKqC=IV^}Z;@8qL=4b${gH?-AgPP?#p(1fd<`8(l)x zMD&)V27J$Y(_A3yzHp;Sf{P|_3)r3A*`$D{79DIgqErAfvGW_7!2OOaDi#)DTJkc& z>1fKmc%Dxt@sD3lr1j8IY@@!fL%q zyo7XYlel?NHI1S26e7~8GjOP79IlhA1UK)rO>k;Z;ML@0KR~2tX7`-uYNZMTo)O5{n}ND1Qns;#sMSaEp0kA0d_4D_>C)-v(WUTczT(os$!&MCFjtxLO8ec zs5mAXzHFd0!bNhMU*yb0(KAhd)U21-@BeKuTn3>UG3n4*tLP>-3)q1_0o=V9McpY#LQKSAVF}gO<~B99HlYK(uz4Ui6-`#&cq5ezv{F)@tEQ!#cdqN{&hEXQ2hh*&B z`Dw%rRFPbZqjZYOl%)@-rPfuy>n7u8XcYIY@ z+>xfE*9u;Wb_zH%IB|AF=TYV^{hkvxkPMZs@ zXWm-`bR!{&B7Q@~Jr}*BlkP;;>1E8T_ut(;E!*m#7hbmQw8RT?=)uVc_7~P)O~v-Y zd{ihZ>tzA53I{F7>+Z^mH#>!xN;>$mi{8AeK|IPbNp-K!Xed?stzqGPgOm|*kR{GU zF3siT`fK@}8&Rak-Ythc^nd*gSv>o&VRQ17-6ck*a{j=LbzZ!dtV_GuCX6dBlrX;b za{Bk40gvOsyY1~vp3xE2(zDe{tMfBG0`pU`Eb>h8)pZ+@2bg3^EU?OLio<(4T$pSH zUDO%&g^*&>JPe&`7GgAAzR47F9tUJcX6Uh2rJx{EF=1C>vg`A!uz%eJ-3r|jRq*#n zUOoE5$6ZGc=bqmf!lzqJmuft~Z&1rBAVaAg?W-0=oDC$}uG4MR?~2iB#|ZFB6)npq z`Y!_?4gz1LjGgv)i7yS zN6i;geV2~OYRGpCl+d)@HP_!Pnw)O1NF(CbZLZ)GBTsc6zX4snldjmuM^v}ihi6<0 zDo*nXk4R2heBr!f{Vdu?UrvV^LnP1~{Dsy|cgQpI=7zxVXo zj@iu-an|0>acestrgd+>Kd*Ak$lXQLObNC##mLcl{mb$m#OvauRek2m@3klU_(h#I z+ZAq256+5eiqVffma>bvr~@6fYwOxuOvxLoHae`Ce*H-WG#BOhHuke#$7XoPgoL@8 zz8W#w>-X5zZ#bU!DDtgyFMB*I&pOhSVwl}{`29!25?s^o_Ri#!oZV{cI~w|uJ}UHE z`EK0IRVY_Gk)0OQiZoawzc*<3^aaUQaR9K37EG& ze`+pz$5GefC|qSGtn=t{+rv69XntnJ4LPNj!xiQyyhBKAO0P}9m&f`B+EU6qas8pa zbHi+Y_KwwAqQlt0&{0!fbx+;BLgwl(ZF&@E^I6Hct$$p0DcF)EZFb5vuYX>iaP7qY zfWYxbo8})cLw}vuC%+~eA~~y%@v+0e$y)#F@VX;Ydn_5v zM@HM7n|{^Ln(N)-=l{*a&hnap;+{uy%&C558OEQgpDtK_GV#n3_Yha7m@*$NzS7q- zB*AmUr_m0X-L?1Tc&0Cu3T|#FGmUqfv}oyq*okTDcZ9duU6b!c)(*KSo*FdEVrbYq_28(3yR+G|R2&^MkgxqWAV4 z4@opmn0)^ids}O3@s_G#ub*oim)x`M!|YKhV}}N3U2&XH?>sg>HKo@${$1a;w-4O? zdiZaF4@!pwc?9L0UD2MW?^@n=y;b)-TMo|GWZN6(h0TbWD}R@-$$atOY$(v&7&a6z zkO6=NW}i}xi^hgyWJ8%I!UkfwP(68G?p9AM$ec+zIac1Po>-JSOqyvf2)Hxq&ppju ztDb;Cya;7oxoTr+8^g(&s*T|(8^;3qTh#_=PQ>xDbA_g42}f`;0>T_3{h=s8$`4?| zkHHW?f%0P*D7)^{l)S}~u{e=uNL~yOhvl35G|3VWNq=5M48_6l6vitRk{A>@G8V@P z0!R6={NFW9dkysHuelPX`e&)$mY6gbI@CC_*x8q)1IF!vaiC@F1%U zihw2ffJ#UyBMJhNC_2EO-sNzHc{G*KY62t;Y$f*}kVf-Kq zmuJbq9M4kI#ED2GRFzbaBc;a5jL|O%BIg}2EYEQyhNvk~G4f?nb``6{h$KN}xG6`G zd^%K26iAE*%JcooL5)7qAc&YpoL&#~p^Snf2IC+RhawQ9Yz5X3;O_UoE(^5*0osgJ YNh?=;JM22er1Wt;2DF6Tf diff --git a/tex/formulas.tex b/tex/formulas.tex index 16a2748..20607c9 100644 --- a/tex/formulas.tex +++ b/tex/formulas.tex @@ -172,15 +172,15 @@ $w_s$ is $w_{q}$ from \citet[p.~41]{lari-csl90}, generalized to $x$ of $x$.} and $dir$: \begin{align*} w_s(\SEAL{a} & : x, left, i, j) = \\ - & \sum_{k:i