From 56631ae71413a404222db8484be4d0dad9187046 Mon Sep 17 00:00:00 2001 From: Kevin Brubeck Unhammer Date: Sun, 10 Aug 2008 16:29:48 +0200 Subject: [PATCH] inner and outer done for cnf_dmv.py, seems to work. todo: reestimation for cnf --- DMVCCM.html | 4 +-- DMVCCM.org | 21 +++++------ src/cnf_dmv.py | 106 +++++++++++++++++++++++++++++------------------------- src/loc_h_dmv.py | 9 +++++ src/loc_h_dmv.pyc | Bin 27541 -> 27790 bytes src/main.py | 8 ++--- tex/formulas.pdf | Bin 106431 -> 109191 bytes tex/formulas.skim | Bin 1204 -> 1665 bytes tex/formulas.tex | 34 ++++++++++++++---- 9 files changed, 110 insertions(+), 72 deletions(-) rewrite tex/formulas.skim (80%) diff --git a/DMVCCM.html b/DMVCCM.html index de99084..63b658b 100755 --- a/DMVCCM.html +++ b/DMVCCM.html @@ -6,7 +6,7 @@ lang="en" xml:lang="en"> DMV/CCM – todo-list / progress - + @@ -637,6 +637,6 @@ Good tutorial:

Author: Kevin Brubeck Unhammer <K.BrubeckUnhammer at student uva nl >

-

Date: 2008/07/31 11:07:53

+

Date: 2008/08/01 21:56:44

Skrive vha. emacs + org-mode
diff --git a/DMVCCM.org b/DMVCCM.org index d2c47f3..776eaa7 100755 --- a/DMVCCM.org +++ b/DMVCCM.org @@ -124,16 +124,10 @@ Given a grammar with certain p_ATTACH, p_STOP and p_ROOT, we get: :ROOT --> STOP _h_ [1.00] -** TOGROK Do we use special P_ROOT rules? -P_{ROOT} doesn't care about adjacency anyway, so I guess it doesn't -matter if we just sum over all head *types* in a sentence. - -Or? -** TODO complete programming the dmv2cnf versions of dmv.py and harmonic.py -** TODO move as much as possible into common_dmv.py -[[file:src/common_dmv.py][common_dmv.py]] - -...and improve cnf vs loc_h classes (at /least/ give them different names) +** TODO program reestimation for cnf_dmv +Not sure how this should be done; we could either do it the way it's +done in Klein and Manning, or take it all the way into Lari & +Young. Possibly do both, to find this stupid bug... ** TODO dmv2cnf re-estimation formulas [[file:tex/formulas.tex][tex]] @@ -143,8 +137,11 @@ loc_h-method altogether. Question: Would it be the same thing to reestimate using completely regular IO reestimation? -** DONE dmv2cnf IO formulas - CLOSED: [2008-07-30 Wed 00:40] +** TODO move as much as possible into common_dmv.py +[[file:src/common_dmv.py][common_dmv.py]] + +...and improve cnf vs loc_h classes (at /least/ give them different names) +** DONE inner and outer for cnf_dmv.py, also cnf_harmonic.py * TOGROK Combine CCM with DMV # <> diff --git a/src/cnf_dmv.py b/src/cnf_dmv.py index 9af945e..b0d68ae 100755 --- a/src/cnf_dmv.py +++ b/src/cnf_dmv.py @@ -42,6 +42,26 @@ class CNF_DMV_Grammar(io.Grammar): return [r for LHS in LHSs for r in self.rules(LHS, self.headnums())] + # used in outer: + def mothersR(self, w_node, argnums): + '''For all LHS and x, return all rules of the form 'LHS->x w_node'.''' + LHSs = [ROOT] + [(s_h,h) + for h in set(argnums) + for s_h in SEALS] + return [r for LHS in LHSs + for r in self.rules(LHS, argnums) + if r.R() == w_node] + + def mothersL(self, w_node, argnums): + '''For all LHS and x, return all rules of the form 'LHS->w_node x'.''' + LHSs = [ROOT] + [(s_h,h) + for h in set(argnums) + for s_h in SEALS] + return [r for LHS in LHSs + for r in self.rules(LHS, argnums) + if r.L() == w_node] + + # used in inner: def rules(self, LHS, argnums): '''This is where the CNF grammar is defined (on the fly, so it's probably slow, but hey, this is for testing). Also, s_dir_typ @@ -197,7 +217,7 @@ def inner(i, j, LHS, g, sent, ichart={}): if 'INNER' in DEBUG: print debug_ichart(g,sent,ichart) return inner_prob -# end of dmv.inner(i, j, LHS, loc_h, g, sent, ichart={}) +# end of cnf_dmv.inner(i, j, LHS, g, sent, ichart={}) def debug_ichart(g,sent,ichart): @@ -212,7 +232,7 @@ def debug_ichart(g,sent,ichart): def inner_sent(g, sent, ichart={}): - return sum([inner(0, len(sent), ROOT, g, sent, ichart)]) # eh? todo: range over anything? + return sum([inner(0, len(sent), ROOT, g, sent, ichart)]) def c(i,j,LHS,g,sent,ichart={},ochart={}): @@ -224,9 +244,9 @@ def c(i,j,LHS,g,sent,ichart={},ochart={}): else: return p_sent -################################### -# dmv-specific version of outer() # todo below -################################### +####################################### +# cnf_dmv-specific version of outer() # todo below +####################################### def outer(i,j,w_node, g, sent, ichart={}, ochart={}): def e(i,j,LHS): # or we could just look it up in ichart, assuming ichart to be done @@ -242,44 +262,34 @@ def outer(i,j,w_node, g, sent, ichart={}, ochart={}): return 1.0 else: # ROOT may only be used on full sentence return 0.0 # but we may have non-ROOTs over full sentence too + p = 0.0 - - for h_node in g.mothersL(w_node, sent_nums): # h_node.L() == w_node - R = h_node.R() - mLHS = h_node.LHS() - if R == STOP: - p += f(i,j,mLHS) * h_node.p() + + for rule in g.mothersL(w_node, sent_nums): # rule.L() == w_node + if 'OUTER' in DEBUG: print "w_node:%s (L) ; %s"%(node_str(w_node),rule) + if rule.R() == STOP: + p0 = f(i,j,rule.LHS()) * rule.p() + if 'OUTER' in DEBUG: print p0 + p += p0 else: - if seals(mLHS) == RGOL: # left attachment, POS(mLHS) == POS(R) - for k in xrange(t+1,T+1): # t+1 to lasT - for loc_m in locs(POS(mLHS),sent_nums,t+1,r): - p_m = h_node.p(t+1 == loc_m) - p += f(s,r,mLHS,loc_m) * p_m * e(t+1,r,R,loc_m) - elif seals(mLHS) == GOR: # right attachment, POS(mLHS) == POS(w_node) - loc_m = loc_N - p_m = h_node.p( t == loc_m) - for r in xrange(t+1,T+1): # t+1 to lasT - for loc_R in locs(POS(R),sent_nums,t+1,r): - p += f(s,r,mLHS,loc_m) * p_m * e(t+1,r,R,loc_R) - - for h_node in g.mothersR(w_node, sent_nums, loc_N): # h_node.R() == w_node - L = h_node.L() - mLHS = h_node.LHS() - if L == STOP: - p += f(s,t,mLHS,loc_N) * h_node.p() # == loc_m + for k in xgt(j,sent): + p0 = f(i,k,LHS) * rule.p() * e(t+1,k,R) + if 'OUTER' in DEBUG: print p0 + p += p0 + + for rule in g.mothersR(w_node, sent_nums): # rule.R() == w_node + if 'OUTER' in DEBUG: print "w_node:%s (R) ; %s"%(node_str(w_node),rule) + if rule.L() == STOP: + p0 = f(i,j,rule.LHS()) * rule.p() + if 'OUTER' in DEBUG: print p0 + p += p0 else: - if seals(mLHS) == RGOL: # left attachment, POS(mLHS) == POS(w_node) - loc_m = loc_N - p_m = h_node.p( s == loc_m) - for r in xrange(0,s): # first to s-1 - for loc_L in locs(POS(L),sent_nums,r,s-1): - p += e(r,s-1,L, loc_L) * p_m * f(r,t,mLHS,loc_m) - elif seals(mLHS) == GOR: # right attachment, POS(mLHS) == POS(L) - for r in xrange(0,s): # first to s-1 - for loc_m in locs(POS(mLHS),sent_nums,r,s-1): - p_m = h_node.p(s-1 == loc_m) - p += e(r,s-1,L, loc_m) * p_m * f(r,t,mLHS,loc_m) - ochart[s,t,w_node,loc_N] = p + for k in xlt(i): + p0 = e(k,i,rule.L()) * rule.p() * f(k,j,rule.LHS()) + if 'OUTER' in DEBUG: print p0 + p += p0 + + ochart[i,j,w_node] = p return p @@ -481,6 +491,7 @@ def reest_rule(r,f, g): # g just for numtag / debug output, remove eventually? def testgrammar(): # make sure we use the same data: from loc_h_dmv import testcorpus + import cnf_harmonic reload(cnf_harmonic) return cnf_harmonic.initialize(testcorpus) @@ -554,12 +565,11 @@ def regression_tests(): test("0.1842", # = .0498 + .1092 +.0252 "%.4f" % inner(0, 3, (SEAL,0), testgrammar_h(), 'h h h'.split(), {})) -# test("0.todo" , -# "%.2f" % outer(1,2,(1,0),testgrammar_h(),'h h h'.split(),{},{})) - -# test("0.todo" , -# "%.4f" % outer(0,1,(0,0),testgrammar_a(),'h a'.split(),{},{})) - + test("0.61" , + "%.2f" % outer(1, 3, ( RGOL,0), testgrammar_h(),'h h h'.split(),{},{})) + test("0.58" , + "%.2f" % outer(1, 3, (NRGOL,0), testgrammar_h(),'h h h'.split(),{},{})) + if __name__ == "__main__": DEBUG.clear() @@ -574,5 +584,5 @@ if __name__ == "__main__": if __name__ == "__main__": regression_tests() - g = testgrammar() - print g +# g = testgrammar() +# print g diff --git a/src/loc_h_dmv.py b/src/loc_h_dmv.py index 7e1517a..984c885 100644 --- a/src/loc_h_dmv.py +++ b/src/loc_h_dmv.py @@ -240,6 +240,8 @@ def outer(i,j,w_node,loc_w, g, sent, ichart={}, ochart={}): return inner(i,j,LHS,loc_h,g,sent,ichart) def f(i,j,w_node,loc_w): + if not (i <= loc_w < j): + return 0.0 if (i,j,w_node,loc_w) in ochart: return ochart[i,j, w_node,loc_w] if w_node == ROOT: @@ -783,6 +785,13 @@ def regression_tests(): test("0.58" , "%.2f" % outer(1, 3, (RGOL,h), 2, testgrammar_h(),'h h h'.split(),{},{})) + test("0.61" , # ftw? can't be right... there's an 0.4 shared between these two... + "%.2f" % outer(1, 3, (RGOL,h), 1, testgrammar_h(),'h h h'.split(),{},{})) + + test("0.00" , + "%.2f" % outer(1, 3, (RGOL,h), 0, testgrammar_h(),'h h h'.split(),{},{})) + test("0.00" , + "%.2f" % outer(1, 3, (RGOL,h), 3, testgrammar_h(),'h h h'.split(),{},{})) test("0.1089" , "%.4f" % outer(0, 1, (GOR,h), 0,testgrammar_a(),'h a'.split(),{},{})) diff --git a/src/loc_h_dmv.pyc b/src/loc_h_dmv.pyc index 77cd4f9a244178b9480203049b50fdbb4da7f070..a36941f0d66323e081e9a41758b68ac4ded891f1 100644 GIT binary patch delta 670 zcwTK%T}YEr7=EAgO}B4T`P%UsGwhYwDrIj&4lOTqlew&JOxjTgtp(wP1 zw_VbH4wg!g(T#xwK~aI!McpJ`)Qak+pYu(-i4N~`&hwn-yc{0Rx%dia-@q=j zh0e#fuHCbr4^+l&M8m2yvS~e_l#?(F>LKbEBrxD07@$}`2z)hA55aE(UR|SD`hw-K zR{mL!pe-#FKJw4<8~UPRcNH%2%?-cvo{P5hl)ST1An&!-mVU(dD=JD%S{X@eT2Y^N z$}bf@=m|@}2M2qCS=35>(-KfEzg6ziv7aMV&(OiH@GRnTK73FhA$>L70>{}`6Oxm) zn!p}89eD|Skmu^=G-PFaeOw?YXBt~HM0gh9j7 zeW}j=l+jhM>>)JrQuHBq^TggXqFmP8g=QXUUPM^-wX^`HoZdGD4Dqo8GdRVYTc6^L z{NB3W4wl933pQMr*&|nMcp%5)Ck5WK+jxf`{MDHC{}M!lwp`pobmmrt0)+;J!3FuE z>jXTjDWj9&Aj3r&r}b3bLP_3g2G*@5<6oCYx=VS=TvhrXFW2d^I(f`2@Hi;r`n#)9 zrhrC?3^(64OHs_@rXS1P!*izJ>!zf`I*`cKsDnJCLVWDQ5uuuuTEC!b)4^!7x67$5Ep+sg~#)Llh?04oi%f&c&j delta 512 zcwQ}$Ur1AN6vxl^cel2?X%E&G(i)~VCk7dFv6fC5N}H~78r;1^33uymMRD;yR2W37 zupUA?6!hmc2z-$G5ta0?sE2w9A|!&rNPCJ1^TDU6?$pCMoX_W+w{vcP#oaG($<;>B zwVBzcu9;THAqNq^X-$SeB|+zR5~e^FXc|=B7`X|$pmFn@-4*U^`>pz+nN`xvx7^nL zSbb;PExSzq)c(&oCp7bpT-+nze5PpTeXfQ=JBnn-XHG=w$d;}l6&Wt{d_<0;(F#t=wP;qL!1M8Lc_DT{;If>LM+AoCa_=IrBwr=oD_D_N zlM@0V`F${>AkO#U7_z_i?*-Q~ip?9WvlcqjuW9yst^zL>Zn@Qo9C z4Qm|CSMY~x`5?OF-~1KuJ|l=GK58`cUZa604c~_KZ71DBmP)!px|b|3O%WADU9AQx z6X{JzQ#)yEKf;~iGKYWH zIXP!KG+*D%pZYbC^<+GUuBt<5d9K&d=Z1<9F0x?K$}-lAcO*#O8`Tg*{~&UEzVmyK z3b5@iP$KWiahTHyKy$au6K0?DcD_gBS(?6B9>0elpXR+oijPUX#5OC~`N1dL^$}UG zI(5|T*1;!*t>q!(W>~V_TT^~{iGel6l&rHqV?OktE#|>8!7{zO)l1&`a?s_CIe>n6f9j3F8{x;K&A~VF4st>=R z6ZL3L-lhZ{RsDk)R-=4D9~$))^8NSvKnm^RrM2e;H(vC~?>zfCY~L=~%oQd(wUnj( z@Kl3mnPS)^v2uDpL9*L>)2oqqwm~cj~gDV z8a>8!I#fXeTDNn_ti?$VKm7Y*+E!>>$zJn3x?u6>WXA<;V3-Kmgj~Bi&eNO^ryoyW zxiFkYV=Q>20uq3PsOxvT2neBV?8LvOR@p}LQG2pN^vCb*O-$JjXIjv$DX}eG6s0}{E z&g=)D;R}lltR+AUf2Cin-fDJYXu)C7MXqR~(21T5x`n#rGlk)W;{r12#VusDjg;CE zE|9v}LU|<)na2IS;iv3eLJ`_?*%D=uVQ7B=5&vYEO|_B{gTqwR6|hXwU3D<9VI?zV z3`uq^tW`;nak$E38?0orSu&IEBu6$7zJ-dg_$b=oHR3@Cy!&hve~1{kUNHvm4=e4p zS!;~tka5TpxmKv2A=D;4j_tGrlCy*~(PxpQs+BZ6GQzIj)CuKtp&d;qmM1E?+c{%j z5mb7nyM`ZsjJ82SOKi6M;t;L#qkg#~knj@8V|^Qh>`zf-0{2@JR2hGS`OQ>YCTGRk zzBWOhiTN0!i2t5Wef-^2tvNx7KDe-1W2}jxn72Op4X=7GN%doz7sZ_D;N}TkxOMRc zqtO?4p78>i$kn@0c@c_yeC-efr1vx-Vx%}^f~~d)X*Hk3iQDeDg7Zsf#kav!Fkcivv6Edc zM;^YEx|zKCbNcW;R;i||lR(?Y92@M>VzZVZmvFg1a9A4xT__+dV z)I&tCky0Lin?8CIdSwL)B79Epx=Xd`^Y{G2yDDKOw09_u>`fQMLvc@|B8)vH$r&pS zA&)n)LdBX#i)+7jl>Efv65Pi*FyuTEN={OU5tWUZ!5kZ&Aj20&t1~L?Ogpbpq5>ZMhWu33E5QPc1VeN($Lj6THq9KP|rhu#LH%6Tvv*cn?Q%Utls&yH> z=Cs~Y*SfXB-qvsJ;DMY$BCt+7jjf@UO20`KfJE zgM;((w=kFk9f(@9B0RxJ?EygL7fO;+3Vuw#q%1MrFp8o;-GOoZP^sE4H|C~4A&YZm z12Rlu>eGd~Zi?|y+d;7Bv}q+n#noJ`Zno*~N|CK);GbXS6NVlojE;E*77UL^Gj>%^ z3UX6}#HBXv`k6UROGGpp)oG?@Yc>DbSdo5RR5%K2mD;NU)>A#ejkPjFNP_u21sv^B zU@E>jQq*y)!=2*s&(YXfW#o8>*^C%h0RpGBk21?mZ$2fnI=M#+|Ca|tFS^}dY>o!& zt}UA477jcxF@3o|`sRk(9KP$8%OCTFR1`>S^KO!Kabf;s>q5A)k?4ml_ePe#PCgYM zpe}a83Hl>1{ZY{>^IuaL0D6iSSx|uI1-!}eiF3a93Q?k|Gh-J7HbMq)Ir9$|g2iyp8yhgWydw#)lT!aC#2%-GZ}bb=Hghv&L~cmW02#8Mi+b&>m*vz3&OLx>i#) zv>ju^dY84VzdZ2xlOA%PnVB1OWp-=5o#t%nwTZCH(ETJ-dq+89wa9H4cDyXap7=Xo zhTKxgb8P5WRa!L8caFY*V5ydwivLIi9oEx40ro!jB>O8l60T z1JRPAgars)LgeevEvhMN>4QTBtjM&PIT36I)YvMjF6-I8Y&nh`83UXBuLRo0`&{2} z;1H$1iU_lHT3fEtw|eB47S5s*OLup^)A$*0W985NVBC4Mff_d0@Ily2lE-;9V zgPW5I%)`M32602{@Fo9Jo)po4#d(2jKwi-Q1YBrXK|fg%K^--j;W>Cf&}_|C1Wq9L zzvYmwoa-7Gr~9{7Ew>B31Pm)h^q*w&Z4a)DNWF^im>qcg(NtAQSvv3MyAFIA;$*60 zlSK{O90ZkU>~ViTN|8&2mg_4F4O$-8^~h3RQdG0_J@6a}F-ee0izo4$x9~B8*2bOr ziJzHOdJ=dWz393m%wp;)EXZ<|nY<*Jm;+MYD@zvtCaa2k8BQB^Z@^o%ABJF=NY&|` z*S1eh87QABWF8ha(;a3h%c7>M|An&^|NT&Ht&`s%oO#%#9f~-hQ9qTy=sQs_2x!7c z4_n)K&+o^sKbQS|n;D;Pva%fG%MNWy<}hXbQ7w_hjv?oLGD_dh=*xZeeE?JTjur&p zJTb&$)15z9WaLd6MM?)rfv$jvXJK}7X-YU}oQ2|sPrzsE*WeH2$M3{_BZqd#K*V%XeEN~0M|z^P7~$* zqAxj`Um6jZiACZN_T*K01f#c+naUvihfys?Ab$88xcVzlwLNrfJ>s>2wBV#^(L){ezzXXqS&Nu^?j5|#%(L)g{Roo<9+-^yr zl1hyduv@Uro6(vXPRcu+oDGlO5KTMSnpKSdaKGbST0HKEa52cy+=slUg=xx;f z7Etp`aN^VPw=~3ao-P4 zRZ(H#D~tr)(Rx3`$nyz~iwVNZ2EDkjPK}suBw92^=1%oq5Aey?>G>cxvOa}}rFr^p z$$AMK%}jhkme4~+Hw=-eIk}X14g$aI3Yd6R4|4udBtlO&AxtJjbb6 zTb9D@9`dBR_O1(p6ZGw0!RCy!LX-yFe->3tuaJ+H zLvF+E+z-;-fc;suEXa^uHPJG`D`|!O1aWbSzw^XWj?!`74$QL_C#V*+{TxD~yN8S2 zkSNFKF(k7FPCI!4y14HtVAI-Re^%&@+~rcmw@1A_lIo{3Jr+mGT-M7}4OVp6%+}nc zwMIg|p{)04ZRe@OSgOKZ|6u;1=b?a?Tn5{!S0%~z-5nEi<}jq?fk`ejQklv^n)1kX zVm|Te0$5}IHFf`!JuE}|O#2ULN&HIj$G}w7xpAxYZ(myCVprkx8WELoRtjuY^!!HX z?P29;6zRGunh(v?E}dj_nSm908nl!RGJjJDzI^itP5L7)#46YgIh?3dAOAJ>6%#Pm z=wwSHX|kwNt_Bfn{3M)n#DXX<%DbPu<`tzaTS6m)h?VuQ$knLr3)Aq)WklrSxG4+A zj{HX(LNAxYZBkH`l9B(!C*q5Kf1j%>!EFBTAlkB`!8%u%4V>>-WFl-%QDbkzuv??A ziR1cidK*GQV&J(ic?DK0g1Oc^+P7a?Rl8(4AMI5ny*(j>eh_eHN8Vg)2v?n#q{&a5 z9*W7Qd1o*?dyn8#6_Nb8)Qb-1#Ptiup%$QFd&iQ4?B=SVg!DY62eaNq5zHq1ZC=I@ z6?<^$_iO31t=n^Owaz=?WY=@6m+~AI0@k8T%P#g61&9Ex3B4ElqT26E6`Iod^v|qD2n}1VVA-@ZrF`|6&*7HJ3H; zt)Njsj=#1oIM|sk!tJ);cQL@mHETH|Cx-{SRwD95xp+*@{(R}27lttst+RPe$lUVD z7##r%Yw88=`TA;Q1zU&DED0s!YGu!7D4m{odRbmgCS7{)#N~!p+CExJOx#4?N7*Qw+T zd+zX>SAq5`gliWo4|^J$AJ?w-oUwg_l64iHl?a3#4x^8N}i}q4uzA zi`CyBet*3Q*_hdv=9?QsP?>X*sxVU|N^yHJNO>yQxqk4YMpSb6t`9Le$foZpG+&oT z!+&@mje9-!eOke;MQ_a~ou&NneTiSlw+;&=wFzuNdzc?s?go4T#vWFBdK%sugQcg} z)lw9^at=}JzXnY14L~b+4Z{A{D6MtggPLc41S;4OK@DjhRI=|!SwB@=|;VPCr z<-567y0Iac=%VDmlc|90qYoxo9*Jh~At4gf%Oi^<%V6Zu>R$k1-g5$@r0IUZVn(kN z(u=4O1ZI=N0&2GKgj-q1sCq729D-ZVT!!h>U6>;$h_a#rpi8{gU!Sp88GYc<@F0E5 z6(;ZfO2(F6;6R%mU3qo>j%kAgq0(eNskk3hL6QMFtuG`A?t2jC7*Bgw`sD4Tpj>ajvkGA~hFg z-IBPUCuLm7?2r?R81^>_XGWf|xNpy7X0kY$(smIWBLdCPVmKq6=!!ky zGg?o*U3+z>M*&{9UzC$Fw`3dZryba(l(O7%($B=F2=$^6iXABtkL{;YXVM~f8f}zi zF%c~7BL3?EpPEm>&jW`S3NXu3d=dR?M6f?G5r}v-PG4sC*;QDB4}s)~JpCO5`gTco zl+O>y1ISPBqpY!3@dg;p*8i%05!v)v(`KIFkV@PSA$S%PebE8wgfH)t;5S4+ysMwo zGQUP$VMvOET%ZYgC%DhtDkxVQR22pcMwpa&>*n9{a04HJMns97uqUGx>9srz8E_L& z7*U-VlnW$8V&)Es_LM zbeg_%C>QZJ{fwB97y9#xVAL(=b~-Kkof&S^2wNiV$L55{Izm5HOaUgZVGt?43tk|H znL^8HS7xpRWqLZ-5he)@bqH4w34^|5t0htgVG`=8O$V;3q&^Wo{oZGj{5iE_+E)lm zARJwra=B_XjJ7g$+|Jtqv=_DaNACo&8O4cfW9A3^_3KDyi|QeXm@wESYz7h76vWBp zH^~j58@*bDGHgMQPW;4S&eOXTafUGD59-d>QUnwtEH3`~UfCQI>7li*2%bi>%mYFt z8->D=)=l0tZZa|E-&B!Dtp#|lb3Z}Uej+TrQP`^$Of9cXhs>oyA|}U$?O#1tI-g^~ z>^&w~!uEWe1?xg{`#M*2spEb3YM-ZLJ03Kw1I_~KBe~~70S`aj6&}BRc)pE8%B(pl zEpnzC`64k6LUJde?6M@EK1z5PR6DclXhmtmKZev{E0~RG2OjRwEa*mkEB^&i50$cQ zRSL!Pz_G^P+`UAQ6&BAY@B2#OKbxjRc?}ZEG)HZAiT9@Vj*LhCDK@I4VYsLQVmcJQ zf2El+!s-8_i;^h*soA3WJy>_%@cDqDqT z-l_S!0X94=gf$;qN0>AU1YyLuA_*nQiu=@kaB|0D2y-dhHBpfdB=tP}8(1zx;Ta5Z z-<}rRr3mhWm6PcY6go)T2b;p^1L;~K}U746U8jNXjp@_w-X{{Ew)uKa=8>s5!1MTSBimSYL<& zu$4ZH@WOaOLQ}{Vnwkn`LmUqv7wF(t*3Sp5@SJe*UFYaeh(wU}_DRgeubX5mW33FLw*sk3Wyg1G-35_NEJbaSQB z`x^oO)AHAH|HtzD$MXK$f;j$Tx&CASjW<9O5~BLAyiiU8e(0+S8ZkGBjTgWJpaOuw zYyj}zvB5mtY+xQ9p1m7G z0+j^7!NmsT;sR4~ar_m=ygYy5e-$#Aiv##CxR5y}k_46BKbtoz!wRLed@IUJf=82n3}12f)k03xuLs{r>oj@)BeyZ3%S>2ET%f;a00jNX z%K``DfhMd08}h7~k>Nliu1PvmYpI{-6)Zf2qkAzXBA+A#WvW$pe!|5AO zmrqJGM@oYIE{P-RK$HJH={pTGV=!!`dO;Lx3ymtfb-~=AlQW$c3ytzqU_QU`hQBPt z19I8`fb9EEKTP@V`_+`Ry?KzP!mJ_tnld_wx0LXQOa`17^I^`|+W?bF_AH4pexZEv z5#fQHU>qtcV*Dg!g2mwP&F2RYP033o(JjY>4Uga?5+Nr~=1nD%!N{SF;|PVq38N79 ztBQqS%k+B0#P@o|d^DD!r7}JXB}3?S(I!Ad|19IihePE@b`m0qB3n46b0r!^b{FtSUXTcmatHWhgS5SRh>2n_S7Fe(U%5I`)B-5 zKTaGmTwZ~#aFsqWJPDU;f>Ke6Zc$Nw?pL30*ZIPs`S)?@7m)F(x&ymMh%F5zaUl$Z z8c1WrCrZ1CZPY=4VOHcPADB1*VdUOwC>egCP!v zCK+BNVpQ6dd#o7tScrHaoURtfQ%a(cH~r7ko3rOIzB3quzSe}to(75IG^4jK$oVI? zd_b{0Qqlc$J5HTnX&A~o8VnX=p`&34CC6)?+AX2JOqH~8nuo@*u3cO7u}fQ%!j_Ry z=DM%EoJ+Nf=2X`yUf0uwuQI0Xl6as$nk`a zgBam8Z*&h2S9V(M3`Wa#_FY?V29gvtCu`evw+G)|m?-!^r3wIz7RYdK++9^5WAx$1 z(_*7Wb67_8^#E)RjhH7L-2gV! zKKrn{pEa1(T0Lbgx6oZ+_x;?PD<4pGRd3{5>dG6@U`IRsd50s=Qb;KkoG2|!k%AB z%CRTCCtg^f# zMVI^iQK3mq%lRY(yS(ZTf9lK4W|;c?j(~vP1K;C~S#?9QClGdqNIWZR`ek@4}nc=h!~R^Ep1)?rTLebzgq|khK?|x4Zl8 zkLB&_pNCRv1q%H`i(|fH9@?^)?v6qU-C~YV=E*tNA==?NNRJIAOV*gQed6Pb+t>Yd zKKYTZfZ5uY)7PgRIWe;;*XlSzrnQXAb<5aWHO_`TVt%l>!U(`6Af$X%0jViQr;| zu)6sqPP(<>>{b7i^XE*OzAiQTvsS&8QW-{SEFIqKx5akF?X~6E9JnP|C=|p zBxJR;bfM*i)=2+xiHc%L{)PJ&`|)sq|LV2>%Zgx*e^?uOT?B=w<5>|nwx9sPD7tyI z7o*~M-gJSwy(wAfG>Uz96DZSWD?`QAs3UzP!Kc96u0E*t{QuE}%_1i?< zCHu(01qKf@l9@rA!$dpqrD>%ZGFY5k(aorb@PKsvUPLgaAii4tQFuzGgvX~R^mP%U zNg{2rs$Zh|@&d{;%mIQ!V)1!Li93D?rW`AYZ_(aNR0y3&aPLLMaGC{t+=~U^B4~D< zso+!-2BmSTOMP3o`xkv~lwC=4;u*F&hNYprAN)p2fR&ca|lb6{^bVL;SrL*-H zi2~l3Ls_P-2wd>GVFJ#&W%FWD+-o=(^;blq&Vk`RoA@k z-ZdaxVsaFc>SzST66dtNO#+Bp`p;*o0Y+?$Z%lJAPNleB<2DqMh=qj4KYs5eKH@U^ zGlh2J^Fhcn%utE#yAFF+C+c{9@g*gj=}MelcfdeqOr#5BuvlNXjpXGLz7XETg?~62 z6lsbZSgzZbrVwumSGHY%M5dWb$T>j&;b#t)ChC z5O7E!vcE;!zy0}$I`(~wunO9P@FGn|{6?KgEW^jl-tUz<6C$BrFJa5}yyB^@3qZ1b zS5oXeZ+$E#oTMjz0;)y7{^>1LMdZwLgp3dw7pAuZSv7>R_A9{cYZM z@?gUp?-|ah%uEMpy&oOOcdHL(M+)^R#n(TFJI$cOb_vP*z{vJbmrPua+uCz0W&Q2>x((>t zHRVu!xmw}OQAtRr%Du1t`lU&d*(Pc`R!TPEOJjmUszvi~F5nUMoverry2JVUoGRTp<(Y%>kMuWM##U z1}}!IOZ-mRb7rq-C?VKmw5?X}Oo}3}Iwx6KXvg*Po5K%(PTsUHEDYL%fOo%hqRXr8 zYlT?^o;{ZC?+k7QAM7kVRw}s#>NlU&#$O;bIOOA`G0nQ`F?IiX!}23MNPC0t(?&l()xzE+W?VyMApK z>eOl-^pJx>MGH`PY9y`ZzcSzc>H5_-dWA%JIXqmk*T_0oNOO9;os!G44$;&+Ctx3` zm3yqWcb(a45ZHm%=(_z7dNH3Q)ETYQ3qj5y3*qnY&PY7IW1Ho(U#rN#OU-_s47KU2 zeClXeb0x4)lpXMCCytk{m}61H%9(c5Gw?If$e*tRXhW~_upeZSDl49!=idW5SQT3- zc!*XPSpGl-7ldx)zSe9qLPobN{ulyl6gnh5%UNBFC+}JgADnr&0*plNwl==X-k0;R zE`e?5H;6hK*9!Esmfy3Vv-TWuUi8;VY0d@y^!mE?Wir6s#C|WOly5j6j=8qZ>GbEs ztAvkJVf^nu`_8F_*yXowjT9g^gO%C~W%26!_*~cT$bLEfKK(SW07@g zM8bo{ zpgO#VLv&Y50iOKk(7luTa*6nJK=V**Q!>&cVYWGAZ<{O*PNGIre@vJd)a_JsS8Np8!8MPDrf4qCZZ0-3--MCpTW@V zioZO}1>LD&Ap!&bH}$HD>!>J-LFp@ws&{26uojo3BFzRYCq2rb1Nl z(qan~X&UF@j>C6q4v7i6vT@=4D8=+*a8~d-N`H2qd0vifAdp+#^N!7?%^QEL+jlB% z-3WxDuxt#6pOLbVLsk5!vk=#bK0~5H#PiW;5TeFIaNw?B*4DD%3-jS>+XD9{&AczP zS)<@_XhJb0h?69EkZ@(lK{KN75pYXCmAEj%(!f)h<6J=V(cXW!k`a=paUVoMDsjiQ$oCkVb=mTv@5J(U6i z?axWlxrC74U!iq1L=bwg$R2Jfva*umg!zbbFe@w?W?hD#IrG>6sD8yEkk^}cBvh-- z0qzy?*E3cSbc8Yo3E}6Xf??p<*(mI1tZ>X_RsyT*b1&0aS;W18-8Jf^8yZE4(LJ%! za8p?=2DaOk_Fp0zmd>^piK#o9Yy_}#$ATu`rkc6Clbiv=aFC~yzw5WBC^;b=Is3)7 zo~x_G*P&u_C87S9rB9^YMQL-%jQ-RI%GtIE-cMAqZmrPbyGUil`^p#tHYKna@ry?8C5-i(+oQSBLMS{YJLG z??=b25$TNt3y6XE)2&peD8O+y;^xm&~qD^|Pc|`pF2k(={LT zxnQ<R-f2zhHvp47?x@KNK zuXXbx1Ql~upN=hcgl7padcMoNrkkB}e6~iFgT6R=pN!ryzsBj>t$})Ga(sPMAWjJ# zu1DdGdA^$KgpXuQ4WIph z8v@f-5W5_q3wP_&-yeCK2;_L~s_QXlUmE>&`uL{;>Im%iw|=u*;gjvx_z?N$Hy>_) zZ_jUc&U#xuS7glT$eZ2KvGgSQZ82p`c6WLG@GCgz$f4v0^HleCo#7cynA=IX{ztRd z@Toy~%*$w2YIbR80R_MxJ1}z?Jt~BFisbD$8*(4zw*im5t8lhr>wgFuP9)`rmNA?o zpV-KeMpw3GXj&@RD70p^Bt7|4+U2s?8T!r+tsHoEE*$Uux+>{SENxfWb1Ygo%l!B} z#k6*P5S&i+#>#hfSaA{#YqsFrv+z7Zqwx}4w|`@W5ns+qzSV(O?Z~t6Fy!3ih@NL- z1(B~SQ_l59Na@tN zCI~0NO|I!=u>G?e=@)gmWV+5(+M%USkhKTP8H1WkVKF4qFMzJ#Pp-v#1`M4|`^RT; z((r>NAU6!2G^6XKunV>!Azz>QE6oWsv+DQkhHjSUN}(<{gvnf+44w9#dAd$955q&; z)K614jaCJbuiPDL%;C1x<5$7F5jLNiqb-^}n|P%(?Us~PY|I85&J8hipD9VxAUWLu zHKxvP1ZGq1NeA?9?t6WwA%jafS;HwB77f2ER5zZ~zMocehErZu=jseUIF)#qH-b;Y zT~>bAG_=CLOY8qMpVle3`7)>vJz8_wSc@8e+t0YII-?)3k5;Qm+k9<26Z5eay{-6t zKqBUESS{zbUQ7z%b&1}R-}-9*(Qpezc9Q+Qk3n;_{6=nfZ}#=-=*!+>RCIT>SMcC^gxZ zAXiFT9R0g4tg4~bPPpUcfESW;P}!7wm^Is5#!7!`)JaVLnqi~z1OkI7{#RME6j~#772`P(vT^a7%a(d^bc3# z0;3RR_BTvD;V3;(>e8O3KA7}(kH|sqaYpt;P>iPwMNzJ$%1Ik{Cn*a1 z)&nU!z+?%qYLgiO7${V1q8w`^`=UUGbnz1SZmJN>kJ~uV+agq8nV9RGHScV%YI1)Xj9uRg#S@m`UkgzyHDOnsK46mRC6v($RQJbdTdvnG|G>UzFk}M zWjFYes{z%6o8Bvlx=lX>=PLIW3<0txN8Pg5`T^z;b1wGBy2P5!$yIW~hPuqUitnOn z%T(LVK^5uaJjg8B81y_|`TJkKiZn^Ic6IU!Ot`()?=W2TufSNfGl@!FNAvFHwc;k0|-O@-=% z{j89(%t3eNboAfz2avB84Z-Dxin*Tcpln`E|KjE&lPHDn{l)h;T=!!ljN4tZLBr!a z4xvtP9^7B5gzj(0H&9kuqYfqHR4O!T!t8{xqyOajNW^BPuaWeVzJnn&1d#Xpj5)oF zs^^H;D<*~mcAF<#VbPpMR8PE#GH-DgH`YHO!Y%wnDQRUbQ1sQ;`$X zOxF44uvkIu@bnduN?QJnLzQ`cyJ^~i%aup6qq#rr|(~8*Op#@p#DgYfnbY(`;;0_m3B=D}o&L1kh+4wlN);$8^U=9#ILZ zyyVXq6lq`F(lJ$EpZ$scbyo#=Q&uad+Pp2GW?LgqfbE9L|GO$9Z-s%SezqfKGTyfRvfJ<|eLbj4 z(s!drfUN=Abq9-3_u0D^8rSo;>Vf}#sm2TVZOW4)F`pGa}+8sHz6#t8W zCTs;Nk@hl=2`7vuY=}q^<{?!stP0Z?h!;{Rsxb&y8<^XJ95@I|1X7@jp;yEVLc%Bo z(vx3Zn8S2nc(5av!TJbMk<{Q+ zj2tL|h(LgjLk$P-ge*vfCgz+mk}OsTXKQ3pD16$%0#p3dr`*d%iuhg&v6vHqx&GiYIP_Zki*2@msu!^+u+R9H$o=r^OnkL6m5}2r0FPG+Cco)Fse((cw90$q?czABZ!v=q~ZcLeorF|Vg_+xWPy$1 zzy>8?BoPU#?>QbXAwIBGl=fR3;jA~DqhVDeC5cj|Z-;+HV|-N0-y?r+5#zaM%{Z>> zRJp)}=p(?xx6WT8Trj|}etO7y2EY=)Gk6ZqYlT9l)Qs{-@M&s_VMpvrzrPHcYQTa( z`iDwE2oOHp{r!|=edNv~WGW-&`h^_qvt5^le2UymvP9!9)1Nintn7U3N{-8fIQmt-g@(h?JxR?IQpiEK5xGd7?DPL(f*e~jyGmJ&e<}y#xgB9SCRBZLCY^)DpPxZMgf_DdPtW$jMZPWN=b9w!Ekty({LQPdngwInqF{O2p*E=X;1N1Wv9N-`^5pZKdB2#txC z`EH&&YpG5Cj1XUbb~L6YuS1u7`B}GXKJLhfJ>+xQ*G5cWS{OO!)QKk`*Lr2c^Ri$h zy)(*=u!-8FdSpO1T$P~8FKPs1!s-3}@)K^xIp1m3c8C2$l!ho1B*j}u+3Cw~E?>2k z1=UYl_K?>J!UeH&F{7mC=CH2qSGE4_4jqrlD0?e-@y-coqdnpbAHB(xZ-22?%VIh& z+(&ldF)hznyw{`@+9}nu5{^y94#nE<3g+gU_$?iy25lwlj)w*6?5Z-&F2990>ZE-X|UhcIy?evb)nT)+O(j=`$xX+1-IyY2-=g3DRqQPpgF+zHV)I zYY0aRP2cVS?$FE8EyfY1oNODnlDb|;QaXDT(UQErQH2)NIIgSHxg`4szd^JE`xUv0pAvnLuX!d%`OKVXn-l!SZGu?? z+jx(-e4Pl%pBQmbZ&oPzqov~SI*DSV=F)AK)%>fzYd-GgcU*^`TuiQdD7c=_qDC~K zFX{=Ui1Ma7;5i=*5y01ndOhXRoRYi84uaUcxVg06p&7ND@{TePKb5UA?1i_x;AusK>TzJrFqr*UsrnB zIK64Z+7hR0=4zW5X|p31Kc3D)0(1^eF)Ox&8-=5;e@5)Q(9El7E>8Ey+*y>J(=GMj zZ4+~IU~+%oD_-4JhCOUK4ALd7L4X7um7%ZSkN;X;_wQ~m`~?4w++KgP5hD@)l$*AL zwps6V{(~SY&yot!>iFiT3jGFO!s&)I_jT2qM_~WcJ~5dYR4D7YUy~D&u#qjwZX-i< zi6?Yv(s`kfwt1t$tDBj>n88J=X#!eFr+f2i7?JL=i_X55I!}0cl|JH1`3};2gBt#u z%@0)JZFh$!afUR9JS-P@M;Oy-c)CV1#`2DV z)X!RIV6d&mP0>>ntT4!s7)ffpYxGjaJ;FNZg2Q1Raq(DvKd|ZDh)ZF-V-E(Mrbg zz~fUaUAUX3Fs-_U#_G4+QF36TdDnpz4ZL@WrcTwVnqRb-Z7?)3HWL!We67b_YTvSE z5udV4s)o`u>wMMys*|=gSz9aM*Fa=J!e!!S8;!%@Ku?iH;7n#!L{`q=k1J4K95e+ zbsLF{KZnNP$bF<9L`O@_c4Wi-xNn`g&Zf{w*(3S=tSF;c)a6t>=0PDPSP7g+UAdd# zTOLQ+>iRp>VN1c7fs#k9_2U7I&#Ly2@z>932Ml^n zxYv|I5pN9ldD8FxDo8KBkmHbVz8_u@&l#6Sp&^r!usqPwN#_6eA=oDgRVfWQDB6?_ z(tljPPU$&3{`kca(WASxhl1NH^}Fu^_#j?0g#0@6&0tOQV!c|J;N zW+F66{O>$exYD~9C|E@^X^JrqvG@6(9{&#+=MWrd1FY-VPA0Z(I}=Q7+nm_^VrydC zHYc3ewr!i|zg1^-&+gfDSG}9=eyh4WY!VsXG0}OR22?3Ad)^T2>nrhlo)eTlk#m6( zlqOMcfs0n4*!u`Qw=@lN)7tZymBvrSq;uX8!ScjrhY~t|pWc&~wPQ|mon^&< zMPDM(B0q50y0!X<^GX|I>E@d{MI(*U`duHmkF{aW!_+MAHF+&!tR{pk)?jDXV*6^f zj35wnlO#YqIg$NOXVc4Z(~!MbtfYpd?LjJyGL zn!QTHyi0KnD|MNnc`@YD+OE*(=a^-;K|F#NwA2VGk>)5py=vuU^N{@Xx7%s{A0Et zzJOpZm~d$&+E`tSYm=Poc7sm-kf{Klp8($-X?5ZFXAN0(xAI(JT09|d5|K<_;YWpy zwGx2OfsdzHYoW@dHTe*W+GGF3fbf1>=XG6DlcRHm)Tx2Kl7g(wrzxhj10^>Xc3G=~ zMa@tRMpr9wK07?P=AF8Zsy^J}ETm0i@gkNobyrP7*mF|{Y$8&iisoo#%;rIz990^p6qWHok2Y+gFdq?vsZ2EROHQ z{vyxr;?yUKy>vuf4{eMZRKn}cwNbF?G^VmI=x}j(ynW)KXFg*B$SLyY`W}3}yMXt5 ze8#wa0bBO0;Bi#qmO<6`O;FF>Wbs`Yb`TGZ01zmD8?)FJadbg{y=v`hFFT3z+-FvP z%qHyEo8_+czDs@C&bMAr+dlu~xqij7ziQIZ_iv+q+zwP6e=w`DY;TuxI9o?vHOqbU z)2fWp*huG5i=>oIccjH&G_C@pQu^c9{V z=2dK`;aLrSQv3-1=bpa6FKH{8{?%k8rAg!6bC7r9`}bIADMsJt;D}l@#^jG&wI}xe zXa@Yah8n}Dp46tpoZT~x@#SjAQT^dnY3DLbglK9Y#F^%K#lQoLI3d-C36L;dHI7U* z=%sL8@lkr3Mk1rPcP74Yc~5_#&SkZZ!|t$ddaQUg^Cul`v12uJah=ckt<#=+Vw%wY zQovzRLc%)ERcA)?nL*wW{a4=c&6!okgMJv5%9_ok{NK~i2IW8j9~s5!va9E3bkygx z&2FlB$pXR@z4!Toa0)XRp2UR}deE0d&{bJ5?1e;yRVH%EQQp>2cK!po)rRX54QIX0 z-?j46mlAX5V~uhaobLztoePNAst$n6gZw z+L{&A|Kh+}0T>rcqUAc}e^HI`>yhA4N;IzG94w8*+c+iIKC2BpcX!yUtE(AdlNcHQovSN|R21DH8JMe@0OCH1Hi*;!L{K~c7mh;? z(~&M5QW9$KV5+}wj1fi^luz5E%}N+wjTlUtevFuo`DSt|NLG~W6pqy$S~RO@VpAkg zSTFvEBAhAg!2yI53=9nMJO~BJlwge^o{l?lS4$`(I6C^h5Caeb!r=3@dG9ul_^#2yuhweRL)<_OR1 z%q*r`StWQ$QInHCBI4h)o!tB$yM*#{1}9mv|D%o~6W1gCw*Cxtf8@#q&DRdPDYA71 z95#S}R`=RXAsq?Yw{Q1m>Gc8gHxA%@s~?G=Y%@PhO|GmDL7beugFOFzRq}mTp}*u- zaJjp=-MqeY9$c4w?|=Yq?%+I{jik;F-G@ysz_=~A+fVa%8})r5A(7=%0nXBsn60_F(Fz!rV?sH8sv@(16b5#PTczKH%j_fTE+ zSU=A11>f+bPlQ=r^|0Aj$p!1AvP>{CyeOPPWo_{OxjT zQ0OZ1ZAb^|Sofxp`?vE|M`j@V_m-)Vh1qu)>IEhE6O>kYz$Sxjz|s+t{pZ_y&7~=% zlPd^cz?RErXR$CQlG_t-Yqc84aGCvu=6_7Y7@xS(bo%5| zytIYcX!gn42HHM#XvR<~zqvmk$w)wNq23xCZtlRf+S+)wwzlv{K=s|ezex|bh4H`n z=`uSz1G@r3?Ohw4KlDC(KEFL#zp${asAR$y4NMA8?XFB8Ijz2pUdC-tchBA^Z?@yU ztIq(TZ-IN_c&-sNPcu|w8Vu{y^u$B`uV%8-{@3M!GX*La0lt`dkBYEtO5TKeP9>BfOI(0(Cz=n(Fz{irA2jV*T zYq*I9fOc5B{9tTSTG>) zw&Ha_BNztXxcSHKtMaP1@CXG7jxV5IorK><@}O~H%Q7(r>(0B^DDOHo8Y<+4%7quN z@f@###J|pzirkJiQ*MiKltZ#<^g{unfTFVtXhIA$FXkG0>{P!hccSQpV1%P@71LI( z8gm*;gmkh_Ni!ZnNs&OtlZmq+T|n6C$EikZnxEq2pzM>&Sa`_^?}HUSbz|09-8RVn z&Hog0vVI;MmjaoBy?~znKgnrn}!>e08ueh)Umw0l+G~? z_z~dr^tE`mDdyni6Sg8P?v`EqHUrf|sJ55fcB*7DOMD@Sh_S% z0z$+f|7R3yKYMN8aEWPNcNKR#Y3UOrf!j6#P-QLn)mFXj6ejM+o7%%tx3E=m$QX0B z;!j#^g0*cDFU?|f7zj#Sx{JlNV(`>R(ypYtNiOEuasHu3;8soowGP7FD(W3D4Kz9}2 zD1Jff?}w~Jm;MdY%3A3~UA>SgyvB~~rCKyun{cUQ)gZj`6Es^(f7vka~QP)I>hs_+Sf8Qdk zupdvDF=o$3e-ZrI0w%B5R@e|?fa2}xjw4b7g2B-!d@V5!I~-@}dsIf2_{I+1%elql zSa>>Xf2Rr4;z6kxk&e!Cp1=`Y! z6sBXQYoN);hVZSA+hbHHg4BC#P3jj}xZJ}QAnwzfM6Oxh ziMy8Nz$&}BVCrh|Q@(5`QvOcED9QO@5WA==!10BPY2$np^P9Pc-Wm4J9690lk8*b2 zy?C;pDISB5zVV84G_WEStN0z*FqnzM&SYdeX9It)+Tow~G}~ z6AoHXQa5P6EeT(aT6uVKBmNhfao$JcqQVH=3m-WRRW^z#Bss4VO;@I66HX_wwE=RN4>u zZ-AydM;rBqu$P0EuEgw>n7tl5MLiteg;MsLY|G=_{P`ztp(2b9tn}h&9DpnH7B{zgC|t#!uFxuKthM|75DcM;<(EW8l&^!}f== zIYnSf;wo|$TG6}+KsNc+Rn`TSs?z??Bxg2MGQ&3rr6D+gunNgnPqXTR=3wE!1~ReR$<5Ukjs4g&qzPd z1GZF$4>I?VuH$Ze+mo#^5;%$XyddG8iQB=<-16nQL7*$$7B^XrrmW|CnQZ%tcWn|g z5{kBzux!FpkOsu4JKiX6u9HEs!jzxeiU04VS0c-T1ZQ67lGi^S9WE!i)Y5ptUfZYd zb}1jE&h>i*KqMiO0R{-Kvnr;1@_WC4?PHR0F2VKt>@;NH?b$8tu!|ILms zzRLxP@5khuG>NbmhrZvK&piKz!{z>$i(#foh)mlbSc8tHhAO&eD)S%CJpi5Rlxgmr zA8!G2Gn&R29@OkyrpibgiV&lx^{K1%O?Gz9%gEz(=u9D*Su|gW7Hjai-gjnRvy>#kvH+SGD_-|!@LhFxUaa#X70`>MvaVm0oL~fe@tKZp8Kfc zEg+m4(7TglGomB3+53c^^_0QbIfyY_5a#~LS8M0#<1OsQf^vd`+n-jX6LqLWA(I}~ zM_>T^)pt$}=26<$Ed53S`sQ=x9sQJu!N&`yorGh=R!h+@bUAndLnO%>la2AT2#Wb1|S^>D-SsoG7iuZY zG%B@MRmG00-;1>!>mi1!o&Yj##TP4rl-|LHH1?c_uJW95weU(7&SD&|6_8Fz^R zyl$!LczBm;f84u|+i)ti)27mk_dx!{6bZNY`N(m9Iz*ZSI9T1e+&9rko8Z2zd2>AYmNFhQk2x5T=?iSM6?s#yh-spA)|;t zGx2w{{FZpmy5BkL!50jU_hP(rkix{ru0D=>f797R#o}9b4cuPb+3ocEs+rnyNtupv zq>J`qA)}ygFq_H)VaNXv%T{|S$Tx{w&;AeU_NpMV4q zPIgh-{#z70{S)vhX@=O$i`SUpuj99`1Dc^9FTcBf*_P7DPyb~qb#^Tp;t!uIz47Kp zk4QDh&tzMY&8I0&m#$pm-$S~$3i1lg4(`QBZnkOG+C>?)%#N1e-ZT;i0v;|TEUJ7k zeDIF$8gN-^VPeooJ@;~DIUyxuRb#ieQ#hW>8rvQR-f_G>_?hyGGXytEzpx&|A7=hx zDYnBBxNn`!wsxcF8K{vMA@%rQ zfW6_cti~R^evr80DgR&Zb$1Q{UkD2z&xbHL*>TtQ5VG`}Gc$3!U{=40a8bUw_dZE7 zh^3S5lGxw))4P<9o^wj73tD~|j{h^g2mrv6X%J&E6i;&8H)*#3j&0iqL+U5F;Rs$? z*_Qf=y2JYsA7^u^IBnKsZbYgoPQSQF%xzNo>94QyTP~gSl&L)%75l2tnu4VKZIXHUqvrQ~L5SC;|{-3tbxP2v0_lMi}m2A5(kT5y2epq_KG4039&Vo4Lq z zYLda$$zB{R-_fT^Tp>`j++ns6gvCb!nybRtM4JN zZ-GLxJwj=@{Io8&#MFGfNdts+om2ojFQ-Q<_9EWYB9Tksm3c^dB=v4rfg{8c!Dl1h zg9v?9GVU|+6C^MP)Za__sQ8LNH)TbX@DYt)T4$Wx1ej9c9-ox(BVF_UCr4-98+k+! z%@E|vQvhIn+RCvDlv+P|ZI>n_9p$o0q~w}4C+yP{>RD|`MM@b)#|<~Y#`aMyVo)8T zZuWB_L^c?zJ53Fr#7~TSyYzG!qfbxOd!a$=>AWMi*{+`9 z%h!&n_Ur+<4P{ExJ##Op8RtwsEq<=RImZxp(gk>KVDFo;UYh0gQz+US3{@5{r3s>4 z4-kgJEZjyM@n(kVcLKH;OIhQv_>7jksid2^^V(w zw~Pa6dEAP;XVI{M!jXfVec>$AS(SBHe(s0M2~KG5-552AL}dPF95=Ysd4jETT=Wv& z3jt`hRF|@#qx2<-k-bMW9(r;k8Ir*`Y-}a}DqMGrhU+Tx>ihJUgXGz&UzusosA5p| z;lHd1s+Nr~Z(uOyR6HgOGR8ItyU|K}LL+_bb9hIBY7;e+2z@jbSpJsqlxhb%WLsz| zu|!kz0{Pvi9uh-_IR236Pt$D}HZQbf+Yk6r6+(Iv2J){#yTb5@&7?(P-Ta$@k|{N9 zj7nHmb8mwfzaCq*bBSn^Dc}7QBylBRa%+77pDgTwtx2bx(LjD0Zh=VEKV3zSwPl0F z{FiWg(FJ;9P+JA?3)bAUV2`1#5i8BO2`*XHv~6$Vj)FdG;_30bIIgFZfEt&sL;Ba0o)i&{rC$VmU#Ns$1o*A}UX@)d-gjTj|UBLOOCn1gEu8#3kD2kR{5i z=Os~5BTMR1q|hX&e(tkLcRj^_j)veiybh!o)XNy*Fl?{ft@^$rtu(e^TBovWjy+)P+IC>q3$e+GcKvw3f0>rX6@>MYAZ|0SrP7{tS&cu+Ta6 z-Qdk#l2pA4${%R4WB{AoSt_6fliT+(K!!iFlsA@sm_2I3QDJNvd1?p}ky2^p;a#we ziwTPuH6rMt&xFXlUT1KvFY~xv$r&7KMq|~j?Y!L)2lMMs(ATdxO|{oCoj1v1x)tu zI86v&z$$~aezY|z%0FFpL3T)N3* zmQ`y4{~oZST&X8ey>_chZ*?J8xhCsRRq3dW%Q?c!TH+J^CA9W^} zw_!;T&12~9fq#`=3;llK=h}ZTVa7$mxzI)ql;y~8wGP)m(mfdb3vc9`E3l6?$=Z|8 z^v^B34oNWaMPhT9yRj-CA4%UDqh@EsS?;?jOcPy=!=G#lo)``-4T4 zYaCg4WW>u`{`r!@CzYM^20ta_i?pSk`Q7q$>7#9H05SL1jIA2xSSK_=vCb04ego%+ z7J{cB=i>ZxJaDxrswAQ`?6v_Zq$&0<+DX%z&u%PO4NPQ3i(U?k0-@6!e`lvoj2~f2 z5<;N|B(A708nheux5YbY`^ zUd*tfbmMQ>^q8{TpUvpm%(NLIP{P7ZyeNNJfj*UDtXsqEb3!&f7lU4E4P-exESIB8 zNBm$q*^Y5NS>Y?B7)*9-5-F^#sV6f`ov1zLoWHFogFh%BD8J5q@7p4h#`ie5T`HS) z|F&%(`RccW%!dU#$g?3^U8!;5WDp>bA}`Cuuc5d1pX6z4L+=e?Z@A%%dd%lGu{~iGKT6UPN)yd+a$hZjl#cvj zNA0n6_Llm6uexC4bjDR|{6syV2s!?)h_*O;6+` zmBsyAB+Y*!eH`);vtE(v9zN2doh8$DMd zPgVf75y4AEs3-nKsXq0IvfnC<|NiUj>I(&tSSX=aJYBpteAtdnIdhrOr)MQZHKRJOX#!{;g4`KgrO z#3?M+dsWrictLWG@eCTO3~C@+&tjt0rkN3E@~xb+*>HA&vSafgIR_HT<*zV9a&T6U zgYT<1kJ813-Fw?%H)dl?tfd}&fM7I+XM-aR*xX&P7bSTQB_&{$(u;;T43*m(GuI&^ z%Z3`+I7r8ZPORZ!ZL&6WE1olX`Qq6d*;T)MkAk~Di&YX=%6;1OBJ#wQIX1zrf2G9s zRWL84N#t7Zc>r|hr5Ct)38flY9GsW6RddX{MaQ${lbyDtRZRWEgcs-pW+_w{F=iTz zCAApX*rw)8#Pwq>)VZI#t~bD)*nQ^(Q^crs-fufNQ1HZUP#I#Fs>=#|N&Zr%7BJRD zE)!^3xK)$c#Zy`tnn>AO#D3y)2n$VCb`aMkb)5PO+XqQ~#lD8T@ncKJ&|-Jj?+kziMG z3uu?|1;bxZ^-csfE>bJpZrH;WjuF&>Tg975s)J0MB%gAe=|4mO^{-zs^(z^27>CV4 z{}jMP9}UIhU!HRzZG%hPLWSSn94roJIWFKRlyxDVha)P5jN2kDAVZGGyHg*Mdbf`e zlxW3^1Mm6-2D7JK$8tWUH^JnCh;o(;_@50j3aBA6)oc}i?rP1uhU^Q`u%Z@1D zILF{hMi)D0-mN?V7R$HHa6)vd9iCbmO#QaigTLbN9jY!sm6i)S`XOO1684#JC^c9B zdRMG^Fr*&TxAz4eYQ0UgD|Hf%Sj91MZEq{OLFWv-%NPt<_-mU*q|<9kHO`>Ib{^J9 z&CtVTP9Aa0A$G;GWH3rhsZl{aEa(zgd569)H26K4){Hp-UTl&b#jKX2P~!1t24*`; z#w!g!`Y=AJT;Yz$p;ZOSx=)lafVE=}Ipeq7<2>)4^rkef)uk%_uTFJflRBQ#^ppA) zz9(E2-fY8t`y(ii@L~{_FqyIOvi;4pN21SMdQf0N5fR(A?($C%k{Y?A<`7|S9bz$2 zB*VtoA@5H>;USOdSA#3U+FxYbP${!K5Pn4GsPSrBWJU-K#GDt`ynD;bC(z*wc>0*$ zd!*#MHu1}Z$eLh}>;O_I#prA2HB7U_wR1j2aQji@ZTvuk*87ib1P0f9T8&tiP9it9 znQ9UqiGq}h&+#V4tbE%R!)82z=wU10&77Av{fJy(HkK)M%SAESUzHS*Q8JC&7(Ug| zi^Ji!os^56B2wqG=)7X`32AKtpoSqs*5uY3OONNL!twMO)VEB@ztC&ogy4I!O?^pL ziwrZL)kB6v_Op{_TlI=5_eq-E_dtjNS zk(YNSW(nL;tq0}KTukYbr6%pohJ>jft2dvwlyaWq&?tO3{OFk^`I5X4^bRM!h7^H+ zFWvr_S3VY)E^OW4Ad;lfW)Cc=^czEB^cB^2%%z2w6d=Lp-u<{J0Q>nxkZ}>-^Cul( zR1Un7z3$es!LaiQ&Xb5{8Hw#{JtooTQD()#)va#BD&sr)7BxwqlvT3&bwFKByu5s- zt#Ir-DgZ|dPn3it;y5IuH9EE2zVdrL_wV13659!#x`?Nve(}0WugsgLZtU=3(-Ui3 zdA*ZN$O!9p(3E_~w%#%l^UG*%&C8|h_{g&7xLCaU{sB6RMVSC7~4sK!2jM{39M zGgjcMOKmP+Y77RQaW!4AYjaL};)NB@-A=pa5->YGGp61%KOe)~K-`(b};JAMbM7<%CHT&BH zuUiN;I;EwO2x<)+FC)z|5XF`OF?m2J2g@?tBP-m>^B9ImpGk$=sauLhj&=qsv|)0H zSqDU{uWKx9E8%b4r}c+UMmz+Cz7Vq%jX2W{nDVJn+Gh z%x6HH_`_IjI*UuO>b#MQrFP$l>v8aGx9?)YSjG=1W>cwsQGEf}%9qoKa$R~MgfIYy z^z6A$<~NN*wD#cpXeYPc8C=qDpBMn`|pQk6N9Ct}W< zQOHz_7KjLga(-4jUti$bwbFUy5f3bav5vOlcB0!%!;8^^G?rt6_HP!)Yz)=I{QKfd5bv4gK*_M7lBl1G1_V9KQ1s+WV?t}XM1lsOK^>+^VSBfyN2mS~fBWg{S8;%ydN6i&%-y*XyJJ;#;LVhLZ1d;4X zb?&TRqaQ$(*~FFYYPn!em$w`-GBwbx!$aDp~v(z-AT zZrZSD+s$2_9?ANqcC`D8oguWgwbp7XSpiyuU8Df4WuzslAlh%o=EjMJ$MaY32P>~p z{w1(X@I!$7dZINf!iDcC9wYZXepx=K-Oa1*K)J!A^A2#A5E2tne?u4VkZZSba1TuL5cCbb;|4<6EF z2oR(_ILEf@*Swcd2@YdCDRqihgPbDW^B*+{Lv)cDICK_|MW}*ET%;$B-*<_`Q+xP+ z(~g62+&?0gxDWXrCCe001$obA+p-}QkGa@%<-rVd;C=ndt(WEX_53md2*PeTqz8a$ z79!<(>`tM}rRk=tu(13I{uqfonj)Fl%*EK>o==yC4QZ4cKBqTa_FrF*^?ARJQkkW~ zn+K}dSvcJJUvB-J^x6M9!04Jf|v_m&{<|b1(N{xW9?7H)zGt12IT4m-oGx(oyy2+0r&EdTlSW# z$4`GPb`Kp+|D8g`vt@?wAY3m0jZeWt!Z?rpkh&#B~Z>9Z!sizqQT|5^rbWj4>+{n>WVjM-aUsKJPZbUJh?_qqH? zbMG3FfL+;1RX3?Yn}oT@`aJmQEWY-pDSMcfK>9@w2RQmr&>p%^v|$~nRK~_Qk&DJ} zqoxSRmf4pSE_B|ForpZ#^G;wVZ#82O9hmgq`+b=@`^XG_a~Qf)B+P$K(3A8;Z-D&p z3t5T~p(E`TiGeq?d}%en9y-$#2Ibe@^VkUj0v_c=W@^d1OZ)rN?PcILKNf@d2G=xb zr(l6w(||OjR@UE;Pn*z$-AR4Upzzk9R?QK#d3Q@SyeP?)gaB(1;axzdMWJpnqINP1 zDb}f;??a}SLcy%6b}mK~cDZ(Aq5TY9U&Kt|rlvDVZ91$R&OmB*?HJ>Q&G}b&So(L_ z@D~D#jpsooLPzP-w3`)PCz7Im_v7}ysrZ_~)T+3?CPyosDnqPjeDd)P<4ecT47W1(Z&3pQ6a*ZQ4-u$wxrdc`~DLh zKG$hs`PZZq`UGKH@p)Rqk&5O<)acJYBQlrQN}VOYyy4{ zZ+A4f?S{7?pL#Mu!RV{do@*2itqRP$=H?2j3~x>Rs7FCUF5^9E zjtvn#wg@5#tYNMT!#}^^cZ+h-O^hg5hxwy-?MSEAY$SYR5 zMoe(s>&deTk6zltMFMBr8SPSq_0gS*hQ28JHSA6a-_Tb%m(zI z`X?U)ZU!X$(Z*=f56H!XX1oP3e$bqPxYjLQ`d6c5t=~YuE%gqv&n*mkj*ocAn=wo9 z?nQMbt04Xhdp0K}!|_H@h3}3@vCC5foA1xnS_*{t!(kP09C%wl+GARK+8k(80r#=PiMPx#U3FS)lL0Ey*g2;wu*y0jh-sz7Iy*@7;TWF zm{Fyj65&bwH+%0FMFI@j%Hr(hY4#plE1p6|WFh1Wb5*cBYehE4X8Fh#KME@&(Q~>B z%Z{5(sx&)04K#2}dEyn5%q9Hi{D{`agb?mz;H|2#HzBoPpk4JEkA?0T zvkqUh;eix$!8f{ru=;1O?r9T;IZM9?3FLpty zKe>S^LWPdGp((Fp*9clA)M%8)oDj)OtWzqhd%0zEgg=&TtP>GW!BYl%umbFZsP8uC z*W!3jiI$ld&c$XV{6+*vDm`=rWoqzJ@RH40Ir6^Uzwj2qbU2Lgc2$nFV>>T%f@5!b zlTugx0jsD+YUzRiX|oSe`r{MkWh(oFd}CnK+Xzt|F@5HMt9|9)N6_X6`b*Kp57lXWC6&m8#p{!u;x3u< zD45jlic*i**CPB_F-IVRDmD7t)m$((vS`v8j0H0QBr39JTZV(Mgt3Q;n#V0PKNl#` zCr=2u*e8c?W)U?5MV9S*3M%`r8%!sOIM!@w!kcJDezS@WAdnb>CNZiBP&SZWH* z7mA=klp0UItSIrB$d%x_{%+TzbOo%d0b`1%+rNZ6S!5%Pw&YKdivxBx_e>sg(9yUl zs6P}sA~RMvBgQP?>}Mqg^;s5`(SJL(9@{SbSr`GSFt=;p;NsT9nl8N77k3{NSI)i zeHY<)_6=I?g7|P5{dsX_`YfT29~8kQl81ds(m&=15)_OT*e$zGxi6#*%gM&4|F)hn z2X8OWVWf>FkAF=;0$Czw#yW7HlJYi0a6X+?c56KzdY-@OAqZoNg-OG*^Vd# zR~l*JmA_Zk9Fc3xzS}-m^J+U4n@PhOx1J`xN&Uvel;ox3yO&^DX1Ok$3$88xE9VhNdypK9TJhax0(J5yUtJoN%e*h9>(Q5mj!D$Q$AwkpX zJf?!(e(SvX>2ZF!SyS*OdTGX)leA?aO-wo+=wyH_Kf;sQN=^Uh68&%p^l4;WYc8a~ z2xc;o2{uT-Uh-)2Kg2RpHqj%6mnGT{(ts9UMq2&O6gv1uzWIjmF9sjkSR~l9yt0n_ z=m9bKwv#fmGfhq71N{lg{r_(9X|cKf&u1<5U$WY=>Zt_$psrB=%W3?eg%Dj)VR}leM)2c{poam-)9r(n2r+|(nnt&;8@RB@W2Oj|(Fyi7#*8B`6pb1i@@OxMp4wAC$#A)o_Lcs_ijU13 z1pdC~u%rg*JKq_c_p?%D;d=sMa+^F__VV&KKS+r%8#h4d>7Cj`0=n?+PS5uB{O4m^ z_!fZg`(}9f>iP3-!1HFnc>8_s`&B!GR>R48C(!~x?`-oy-MEipuY!JE;rP?<q|~`UXV7YQq-lao zMF0MJx&REEIQUfZ5@U)9ZkSrXt?B#&LegJ*PE;A_<*F{fNCNh^Y4fsAf$AM5z3;JH zDH$<&{a3!tZ}YydamCwf;c+J#f9f z9qggG>ifk-@(np~muta8hD9ag?mxBNk*@Wn27G>deBBp48yI%4rmtjvvGLL}O1PB( zrI!HQmr`aMFVE+H_6~l>e(~G!Yk31a;7S<1ZIQwoz1y(zp$Z|D_u}s^tYh|OV8)Z_`qs(?bOeybbmSIhf<;Um-+$YNj z5kb6<+#K#6Gmy_7khl0FJ4cC2iPmaHvoDrd@l!NXb;}1 zQq6PFcn*$eAc|ai`wAJ`N`PpjEMDgV&;pD4NwINzrcD$Tn=Gg}6vg)aKp@FHnTFa~&`qy%x++qvqQF@a%QD(reLhd0olN7f}d%URhaM6{%`g{;Z$yOn_f| z^d46xW4gV|QXSIWcly^Pt5!WPd!2(R^;9Nseq}i-cqM@QY1Y0o&NjRQlxs&1Z|sK> z!;@!Jqx=-EfE4;03t6DQ0J5a}i=i_uoiO+W`_B|l=QDUn)vth;;#BHDC7Xh(ZIou) zPBX?%A^Tw3+rk4&M~Wv3#!|8$Bx>R*R5~20J+v6@4&GL#iV|{lxbtR8+yDB+*hs5A}Qb`{QNDnm8};ovi6eN|tR0Mxx%*{;O=@SGrP znD0|6dN;G3thBGS{O3-LGI{%|(gkJ3N3Z^t05Q&=5Lc|Vgf4wzUH60unUEXynsvt9 zA`1|O4~*lPKRX>bO~qxP#279TbrohLXi-J(#u8Wdc6=wB{%P}!H>K=P{R%WKL$4Aa zkKcB2wi;f%cAG~i0zf(XQkJ$jC;RkB(EX93GhPh>G0tHv8yx0~s0=^smm7k@z3Fkp zZfl&ICQ~K*v@VDv!-7`+m6!#vS@jPnuJu zbg>T?&$OG>a|{h&O16 zY{$PERE^dw?NYd@p;289V*V1(?fShx5S-9=7Uax%5C

@)J!9@-kb*VY1KW+n z#gf9?QTLvC$&Ea@;QKuK4W)%=C3spZR3x@m&STZxF1H8j8Gu{<=C>GY$I>+(o;NtvNqb z!U@6@3h^U1nT`-t#zww;MWl7?ebt)r>S?>Bf7>o~4frwhq~O`ORPM?ccmnae#7COO z4x-@)1--84y?{I}2Fi;|BFczsmzl%SEPr}Ju%?2PNe+q4D`AIi2hLgudUNRCB zv&?JDD*!@7is`l53a!*=C3ziD9`>zIC);+ilnJ)jVnQsHoC%^+1n%hkm>#(y`T;{_ z-J5wTO$?q}GU2$Y&*wE(k<#g!smt+cAo82|18qr4DX&RX32jEaazk`PEC+Jd59A8>+P75f6Ie03{ zEaG`Q8??h%2fd2(^oD07O8(n$J-p88Qz-jjR}U>a+7XJTR)RJv1$KaH*eCg280?B4 zQkUe%zE~D?Suo=$HqToGP}zYcd&y=j>3{Wp7iBPO z2AnJG8W%XvO_B5asV#;57PPWeRQ{#BIqS;V_cB8qq2GEPzX<6uwX4(KMbqH*{@!Kul^L0!HOeG9bhJm;-|d}^}+_f)+vK2YCBU-JaO5t{kDRj6_Z zPM7Ot@m!pJ_*t<{T7(9IqT_>g{#u#mFLkzjow71D1mHiKj7>7V!lht-m8t0sTwyI; z{XD~K$#u2Oy2b<#ZmnQ+QioXmR^t0)O*zYxg#I_^Jym%h$b6#aMqSze!p4tG*3Wlr ze6UD+uR}dj(R6<+^(`*3bgzw_>EuvXzg)M_RC&9n>_)}Y-4|ea*&y>0N4~#0V>6x~ zJDeGEGuF*t8HYqvLJtw=o7l_({2;BmF6F;pRr*Dmbw~e}Bi2w+n6sy5(pntXV#nsa z->||i<6%#@EEJ%S1U7mucssdl5icWu0vk}hVbmNqR}C$X$o(tJ9c!zz&2bRaQ^T&P zY)CUuGIXM+GVNhXG&q+OgLq4U@aM*TFzkG$WYMi~RkBSLcNxh<;E>%;){a#e2v7KF%D^*SYkaq5j4Yc>UiwpbwPhsyE9%<9A3s3B1 zV%t{7oY14yP0Lau!((Qyp&8N_S z#9@K0iul6Y4v4_XgA7gn{lt}v5^k*VDHs+MsV@fli=e1>4oq@BKgHq@>YI@&Pw)y_ zGQfyVyw^APzIlp`ql()2S2d6W52+nxQjRa zbrOU4_qF?>pZmit{9|KI79r({b0Y@jZbrC%@S;3}LE!3J`+3v7;#;r+b6c-n{9V`A zk-1Ep-Ny7aR>7o?d4&22S)JNF4yY$wqO?YgqnVv296y|+1v&VH)E$p{nD#_HZ$U*A&TSSWg@&Joc`AyGfRr~?Bt@trqN%=0`+@hWNX_Zx zn|oiHy|3nFzBRoG2Tc)i#i7emLng74K_GcSvJ1=WeJJM&=7&c{)8gKY)jtql>|%CSN%Ap1@47 zJ5}L-3#=O3Wg`n5dAy;FxjM=DaWWyouINiFf36Li$9xI_c|4~cquS%4Ij({GG!2RT zUPWQkUOH3x4(npwA>_rFH|IrTj`a&ynDQC-!&Q2%S)GX&h;z84g58)#XERa&;xpT1 zvD$9+?27@JpgfzQL~*4yV`M#I-yvmw2=1`W=6h7bvA*TYd@GBKabIjoDMkW;UnmmN z?H$RJt-a~F34QLo>kwd1TA>~3koqon!W&d!wzj2!t+;GoCXR!E~4@{D$@i2SIS`lvHkRrPf#l?|IO(X(#-|i(e z)o_xNjo~qb51SQ|S+GOV$5@jkpmrkr*gX2O0Lf1X1fJsFYzMTr2Xl)Bpn=_-AUdV1 zv_-}>19l`9kQDH$(|>+jSPO?7D!w6-N{p|6ns(K~<-}kR1lVmje{b^AeYBrdFWoRP*t&Gc0<67@dUriRHy|HHp8m}B^{iLk2Twqf zHOk)t__N>)*WkJ~BHp6_QR|9w)`Rw$j2zLMuWGQL=nf@4XaB3(B*LW%ERD_H#$FX{ z?&NG!A(4#w-e)OhynT~EiCw29>YP4=Ltp$b#{~n{2c4F~_l=|FI@wo@`D>G`cWkD_ z4X01k$>z5%n~{P+r}g@;mP)BaKfgyAS@5P+0GANV4iL?40K$jhTHm&)FOY<~CkBH% z#L6Q|87U*a3Vwe+n1Z-KPrP(9Bj2BvYrE^~oMMWb(=_pT+TaWEK!rMCnv1O^f&LND zcEpi1Jnc881OmG+s=ncrU}3wNBTt>ogVt9N-2ff#FReSqf2>BS6JL%q6w#p?Kte3< z0<5*GCP-n@k&$``r-*%Mrjs^H=b6R~%K{rVi-w7ha*C^ra7vp-F}NTaG%TA4PJj;& zPwUS_T{_=Dp8Q3fFuCSH+%Q(en>A( z-(cQ{DUzgSiW!lNV>R3kW`uP2DWx=~o zTr!x3{j*v~#L2sDwV2$KmiCG%=z6?)T5I#&;LFojp2s24IB^0zRUsqQ(yPF*j6Z$47=97+3)n70u-vs?a5n=T8=>wR6Y$HZKsiiOtV$s%iWcxZa`#8 zT-hP8V>_`}DBLwexIho;irBk>L=-hbBy=)yQZY~aepZEdKAG085G0{a79EBJC(hjg z8&kS`iU>>rFgI{k{vY|Y(WN8!Kab+PUTib7TF@g?rb0QRE3Wxb$rA&lzaU`Fb*?-p z>V=DWgDO3nbH|%HpzDm7e}^IeX##Yt;*AKuD%W)yO>q0TfumVb1{$0-LyN@?l(i0P z#>IYm%pIv-&ABr+`x*+o;QF!3fF|}OW}5wmj|}Umtlgr=c>GP7_)^ji%3Jb5(UJ$5 z5+7Ox$3!I5J5_p`jo-b##V#VOh-yruR}vL zT>9T^oB|j0a(amf^f503Y=yMM>ux1!CwPosoxJdNyV07jP_AlUg=g&aZN*ktFCc49 z`T3|p)bg$iOLzpOD;s^fP-&KJ#&n;Hh09SAAHP?ybb4gd;%{}nMSQwp7uEb>=Rp1O zG%#9t}GOuIFV(QjsS%JZ%7f6Ns&qh`Mlf0T+l|rIK@TRS|Px>13`Kc9_GPlHf5clyRXXX^TFNt0>7yZH@4P~u&--6dS zjW(E?O}!63tO@R8$KDXQ)x@jzUAi^##m?>|Q?x0&w$a8kg7sC_XbdsIR;Lij0MC7> zB4O)D7=}ydQ0_A&J5mDDzz#0P8WX<4*2N8y=?p*P%=~0`-<$N~z3lG>vh7@+?QRgn*H52BA<+T-QT8!zREnxs~a3lrpFP?bMKwf zwBNj>4ysaz071Oy(!d^+0vV}nb7Oxa16&76Wu3wAEM}&t?@>o5!uta2L zY7NO$lUIX39Y^oS;u515^-hyh{7fiGD<4BoWV&7J_%^f5kJ!~4 z^nL&5HhL(3LyHj1(EZ7S*%6J$OCyNF9JcNH)|LQu_RnU-s_Kq~I79J66uZ}+1yOdT zn3eU$P9TA-%Xd7KgN80#Y=5J{+UA_&0kb$+SF#+;LdEltRUk$nFTG(~9@+fx3 zb`P}MPCDqhXZ+_r9gjoVRfMI{ALfC^mkxc?a1koMa+E&X08BxgP7e^Cdoqq-IGz9q zj*7bwAmScDAO!egZ@WsAS*q~ESP_H{+M~b^3&be?YZl`!KBCjDMQezF#a(RooGe|v zW+Eij9`p`zkm(lPih$v@l#00178BD_$5&>wyPjihhbM`ghrE2IMHO{O{v)@g^*Gks z%Ad4gT4&^`FD00b&EPN?0cr(8M?~2K8@MlVq(79gBp_Fjrt*Y+C4&#jwBdJ-1-gK_ zc_={b#^Em#shTQL1C4#f^QPbHl2-$6bs(Yo6%gZOca3E(O^&+86>Dyxt@+fe@n+|~ z*pZe!D>a5C_P-ep+8qh6A4E%!6Sq_nDj*so#A!?wHLDSK!U5P=^Fn6>&lU;6wnKKd zVW`^Ob^Hmk-W)0WS9Clv1ErAF?=*qOBPr@ZL`*#uxAl(L+exuEoDYNo$~4@I_FDD< zG$vI%{K!EWSC%dHy=4bOrAQCBvye5tKhCj{@doCWy|prReK@Uz;Lt8lGC6XpQ$Q1U zQnIm{8Y~#~zf&5Fu$%$jd(-cc50@L61PdBKAD8e{^uZH71P4YGDw+D_jlKcbZ-qdq zrd2Ksd~$3!wzCTrfFq5wzczTNisVS^@AmhTI8f*PHzx$AY(6EymuKx)ZdfjF?O%>B zm*!ShhNnv&UV2x*Zsc?#%>i<`Oj4VH{g8%6TWvpS_zp^?#O$AY?=WL0(=Om>b~0nf z$L<7n(#7hMrISd9P=D~uI8_5%`+NenUpd{C+dL~=XziR`dW1gOIgpX5RbZK;-%EKa z1`gs+<tNv_c%KyZ5y zeG_g69980-lv$J2k5z_IuJz|cv^aZSqTK1=3YooenZe$*_iO^QMA&E^YYHIV z57{}@8j}X1-$2TtSad0^Ixi?|PY~9UKZ;d;4faF024M2yeijvTbl;?;8zcpZ# zDWxNSUAHH-Xu&~mMQ#D|E8=(BC+io~kE=kNvCLx4th(Y9FmXwlP9&&kmJg2|u>~+S zqNAYdO@JNDs}PayDIvP8Fh6HXf{Iv=NX@7qV60e0jBQ*(R8DBd;eqH-lN{*0BcN_n z${AFgrsrOyq{GqaPCUy{uc)@8EBSJo+HUQY3FOLU$Ba&yz{~+l_UE+jD9c}Hf?3hg zt}oKq4O7shY^SXUd=h0U+6N^8tE|kF!7hnRTM|}MYl0~%G!N20yqcX==;T|81P(vp z)whBxTiwP$u8F=1lx3rzHb-4jV5BNrOq#zk#8$xBsW_QI;Va|GbwQ3BE;68Kaqh4T&+TRY4?DD>`!$U}%!V3I3jsfw zvQw;&7`7h=9%TC>x<78L{p!iPJTK~TxZrC&o8H52{j*~HsNzIyc^c-tu3D%+Shp8; zLz=nZwhJ5Y@_NYMG)-HC*=%pZ2TJB+$*Q7HOVhdb%5s6`j5)+?rNv9VYMYl2E7BIf zc6mJw!U@3orArdk_4y6rX^Wto zjf$^UT4n%ZIEXlm#Kx0D&`3~62S14F`ZcY*7xWXaq<@?;DuM;f5kid>(R*qag%!yp zv6(ZU0n_^IDLYLtn&Srt`-3>xxaB(}zUjOOJyB%1HLYW}l-}wH(wL;JB8!P(&IjkM zw|&UdhOUfUcU_nqlT3$#wy33Gxo|rcw~|6wy+-bu;`ph3Iw+XfbLG5-3i3DbwgeuE z(pBIMs?NrK$fi)Rlhy;vQ4?G7Y~9jAIvqgbPEP%o*k7$gkfTGoa}J$*_Yd3$&~RPe zDtH4eM;8w1+ORmJSTA^UN+=~vP&V=XuFXz;U+4N$SF0hhD6>0s40?QFV|2>sR@UGs zTQxSEanW^(4bgDk0}f$l?JPd0R48e}q67qWuIZwA!F(d=U}Uo^AR-?B0VfRA?NSQt zL`@Ig$%^e(;*qAf!!?RVp7;9^zCJn0bSXyhV2baLPJe6Ut#tl#zP@euwnp)WpmgqM z=-~EeQjd2$e11Wt_98fgkfr%%YmR^dc# zeP0dy(<&(kzcddhu)Ibhm!=<%7cv2rzH)x&3=!nsK1_4=n5yt#87MZHXnEE++CE2LZFYm$vDtq7bOh49 zHgza_3;QDhXIHdHhor8e@IJ3fNz3j@0D{J^;&h>i){rp4Hdof3-+ZoGbL%RdeMz!O(LS`$7 zgF<~eZ>1+$ z8-Fy;QQycAIgZ%5zvWgvja*>Bi!%B^O;I?Eb!wkG1bsk}xk_GkoKu`Jf*1nf8K+lI5KFV|R7&sz&oi)uUe+qE`NJ{Hvt_oT8MN*ZvIuR0 zyZNUDq^}HjP@Bv1Y_avh8{Y|=?@keY4p&k{qz!n5ta5OO5X7fGHu?&frE*@DaSLaD-qT8V@4 zssl1o$kC%(D7tm_|AzU_KoB)*OHKU*p7 z8#XssTIz_H`S{$V$i^GERfwg7prcURfJ3+r!zvdcjBtydp5Y7HF+30MitgLBOSK|& zs2$OY;d6evqPfxdeFA3(b%`E2d?&OpL6dh%a8-#4#G;$7gGLK(g?Grac4C`e1*c?B z-6Fprkn1{C&mKF2q+BMmSjne4a0!Kk2@U)Wni7+uZs63WI@L!z)|94(DS6;(L-56P=!%-EVE)}!(WA> z6JPoIC8TR5SFwnRFy;&eoOR^ENF(Qexnbk;pi$78S-~{DOLaOz-lBuH=pWX_V@8ci zE*~G9x~M2UAqQ>X$DVTWH0Ayr)BpK&*iji_-As*B=j&qX8!+d?XXzIz{f+b@rM^l( z6S!LSw6j+d$u2`sBu<-$WR3f{W;{yhueHn)SPSPYLi5-v^xkzUrGZOQVjFn!y&DrF zb7jf3J|bKNy{fz#T~0MfckcUKkdu(kVZ3)vLjNJ1D;vRL&<<^T!nDgIRK!EGLu)&9 z!<$kBzNF<2GKG|@x0kB+^y_~rdp>N5G-TJhuFOEQt2j) zsPqjSt$k#`<89;2DDt@&9T#t%E~O+~Bji5)C(?|ovfRMqnb8WE7JSl%jUZc64IpPL z@~!;z=pYpu&7iy;;}gW%246?n3$v69LF_d|qpLGA(&Th-qP`}Jf)d2Zqp6WUD56kJ z%ev7sQy!CYp-Br|nV8m`RqKp!<1mvV$-ANGwf9wWVNYc?rRT+wBMK#>AlWf>*D=@==>QXLt5aGc=5^N(Z+jqtmDyICjfFkXdeYleqeTK^w3NV%7^U6gX`t?%@dI$7 z56gu&VFrHuB@QRoYhye5v1J@3$00zK>_-|3&yX8|+A( zw(N)Wbj|hcw<730_!C7<$HdkJ9~dMmD%r366YG8C=YhM7OL>8M7jef=*=FZWaRC

(hOG*iGu5(CXS$Gvt%h%VXPqfTUgV1u_nFxY+?Gmxk|e`)FB;N1Ag zs$-Li)ubvLwjX@Y)Mi&GpRf!wjpn>_A!w_@NNSgUt2zk%PEnVpeb6$`l;AQb8hT(A6tG0tM60#!P@^q%cs!e&>ps8L+wD`he1#}4*aCcrG&40hi8)db zWKr^xN6tnxeX;iZB8n@luHhGuGylcKT;KNnaRgvu*}eDU#_A#|PRy{d>b`bEUH<3C zQYUSI+ge7ohVJZe$W_{?@8vv??S$#FsIZ()XiTwYvC&a7O-_{Y&zsVS9eJ`v$(;y_ zo51RivG!UpQcSEJUUwkm(pG?jM*_Ws&1?g4tq*>~eH-@HebQV5#cDk|WH@i;%jD$6 z?SAP{#{mkX!s@hRzag87?mFE8%tWlL8`tp}{t@zBLAdbu#EB$`z!18$etKEckB>6a zm_U|KC4FGO4!9IT6wtUg)Q2bbjP?Cqp7K(@!LyMq=g|jRgO33H%e)cf>_7K-*~BFB#?_iC9hDqxf_o0a7CR+6g(EK2-<9(6;IBc&mt83 zLji>(Th;I{lwg<*#%E}Cwf!jJa4C@Y%wXwKBfKM2Z=K(xfKAgu135*M6;VnZllC@h z;k95wmh6OezEQCDA|)*`;@Ha842#;2+UGSNDSLInU)g~rZDN3Kpr06dT03G@m+C^J zbDVnRV%8*70hQjumuwfH`fRD~ds2jAfaw$66a`-!KWDz_r&P|})9}t|Xi`*`)C)r0 z?@?0UeoXTaf5|+8oni;fZpz#xMVTY*ls5e=Lrh5gT%RyM;8#Yv8mygoJQZ&%TZ_(g zYg{dh2L%B7__+oB(kWu-2Ty+;PG*={Jv1apS&bixWq5ytoA;Fxf6zWE3`MWoz!91% zReK7ydd==+pbR+A((iS>gh-W%(&zg~DivI?P;W5H3wGF$9@kY00N-=}Rg2puDC>9` zY|jInpddB7BOkdh7;?(w`h8)(P>MfpFcDQ(9}fa;_O+z30$zNe7FtIESH7#GR!^80 zW)Tak)ovMQf`q_~4~1VFH-@X{b|D-MMXrPe>oYcTdh|oG$4e+oK}eyh7%YyP%R&>e zG&V^kpTqK%kn5!AP*}S{p3xN)LMOkachw$-$tcC$c_hY~`jk0JIss-})(XX7~_KHA-YEYt8g!~omk zcvMg4=#SWKviH6LXCGtG%|0CS&r~b-9yWUe#@VuC^i57|Kkn_%x3^4EK$A$rl1nhl zzbPibepc=r!!^W+`zTi{K1 zsMzn(YWmp6da)&apgesy?!zgEVHB_|m8`|d_%4^j{Qh-`>l!&C;ZP04H+PCm*?4xV zen7KHGV#*B3jfiYr+px2$Y-q?NFEnB1QV?&WNP>7NoQn}If7`Sj1b3VGI!ao;=H)9 z;W<_1gZ6l|8WcO#f8^05kz6kujYb{2Ts-8jiw5PD&}dYKBD};Wrjswbnls8TqG38Q zrkiw-LO28GcLSJq6y%`}fr7NC7v!(A8{0!4#~R0j50&31&cd2~(P9Knh?Mp3GZ?E6 zzU_6ERDSQVu6}&+_LB{6QDdh<&&R#XlEvO)J71%;zam0|saK?C zqU?bBMug3`8a7AAkder;hX7y6ImzqR)t?YK$R;Ab!Ivy0isMrr4rC&&f<>5yLZ_E= zH@m;7B!!Ja@hlrbjHne?eknyL+@BVg8)y{B)jP;6b%u?}xqWJR$spnVyj?kXmS@O? zTw-nO87YA?6{ZLFQ-q<#O8;w-B46Lt?)99%U!%>N+>5yDXnEf28KNPGlR?B0tzUxo2M|F=8i54Q;Za!D(tL2YLLKxcSW`#LhB+|SIO2=wetdy`O8Oc8 z)7dpB&7^wzgH^2lVZmdF)8U}lHnC&RxAC~*0}ix)bZ>!n##qbC#FMsNn)zVO#`VP08-#50eIqUX?F;^;u;{?O#s(pCFG0(YvC=WW!;oG_Kz zrMxjq7aCY=315HtUR8DdtWBnB3vVObSP9(^yyq(58GJb;X1(HfP|}k z-_Y&Z$knIk;`Vj%KE~$P)Riz+$dm`8f$NM<)tjnp$0IPAXNPKG!j=XQkG>sYEZoA* zVlA=}Z*u)fS-UlsL6X9zn!X`0RKZ1?^Sk@t*p3W|oPI}IdWI^WxPG94)XQ=E1&IbX zzyI5NT@|gWG8RdHM$2Q2MBj@rXV|&{?&;5S5RVNTKxJ-9Hk?UV5?Eg;sY+#zv%RGt zprzR(tqYhsR z>suw)?m^(A)^Kq0;=DiketANkBn4Ru8`m?L!X6)+>KbSnn#YP8p&Rw+)|{?X!Yx$a zR1w;1W*eva86};PjWO3sD^u21MMcS=YyWYdnPxLe|WGc+-* z6xD}JE}L#5I>2Z%>^!@WuKRUD(Y3ceyc}6xJiFuPXoVFe*h-08$EEo+7b!8(xCD*R z_KU2xb`pa z8*p;RhnkDEr*S>hZjXS*je)*IT_2z%<^unuk_Y&;4gi|@;FjwPU$FvG6f8tJ7@bp3 zf4PskjV0UC^aZ~qC>o1?MwkZf*nwJfNU&v*a`94z!D-|b>T_-myW)U4OZO8dCP-^3 znCD&f{lDNX*?`3or)x#|uAS%FaQ`J86 zw(6N9PocnZ3g#z;kgz6obpjRY!4-JM;5)hC zANJxbk=-Bhn_%aA&@+n3tZIti=8zsz$=QFpsk4hDVZy5We5Ys9qp)c=;z5bX9eExy zQ!K1lJvj(pfGsrLG5$7$BU1NwV$zo$7oQ9f;!uxv=+tn*2Vte?J9?2v52u*Gei zJpeVPfJ#*-%AS)!yx4?jJosf%I+oCxag%GfI77t?)J?w>9<}PkTtmi@(rc;FzzHpn zBN$@9zRh565AH_^=s7xn%V$M^%6o@9TsLtPtR(Dm5Wt}x7#D^B1~S4}13GIgzh*QU zHIZu)GQMea%O~CsJjjf?Y;J2QWEe2~f{=6EbT$JKt0ZD7Y-ESUcKm6GSCgO5mgmpYh zey6^omNI9#APmRx`K$)2;9`pxws;mt9F=VNXT?)TZqI0u6>rzy$@9ElVP zhCi55t8gi^Im3pq1SS@;ctLen9_Q&DbZXCg2sa5F75zo7Cr#UCA_G@)tm^F!!fZ$a z)sIfZ{hR$6kP0`HAr0!>q<{cT&4Q-TR8K$5INNMR9vh%~*rLH7N`uethOeR@zEv=A zOYbDBycM0H2XW8jWo^nk__RIQb5N}aV^;9~$p0~+d8)N&gsOA~3|Y&VMjWh(E0F^A=s%5^5Ufa4 z{Wfq)GFyVR>llINL@)GiO>%E4MvlCbmnU`q7XLNvi-oNnPiHGt`lJ%^k#w){I@%lu z+0z#qIA^7!6l%4ZX((pAEFuXW6SvW&Hqlfg^+Q};nHup#xGR5Oz`g_2EftgX@H9!z zETSec@FNf$U&kSXE>Y5}Cn_IK`NFw%3SE96&6?zn(8H&KMs<~8CbJxrQ2G}^U)`+0 z*U*ZN%gQA4tXDKdkHsZhYa8bu_8KfaVOLasg_1cq$L|yhKG~!7+QRywpwx+MxY8`o z>(b@4)+jz#w+WQwvaThnc!x+MYOinfhqff}z)?#A0l%D)$e;zkK8s^={co46N7C%R zyNMIAS`gXP-R71ItK~WFkJEl_`i7FI2)zh02}B9BUZr#gWny?Zo$tfO@k3Rgqs};D zrun3Zsjxi|84%<#*k2X=z1ELa((aA5D+*FyKBbaL+*V{SuKaMxr9@I4SVmW;*W6Vx z0S3Nq#HQ({`$xJ$u$_0@>BKUjwUI{E)I|V@E%8y z;eOHZljz?UR}^b_3sG}Vx2bIR^a$^z^Xt7PNa$?sm3_}&bSm0&A7;MTK%iP+?6jPFK&YlC%dLhEvGDX#k4E9l!A<&{wbt(WiJ6nv)?fa_vK9&N zR8q9ldJIC7g#q*t9`r$W?(S#qzSmIKn3qtr#rNVq{a4!@XPH+W*{;ZBUOLUBPnozf zwfC4ars5u7lw8}VS$w{SelgZdH~=1<=zc=|Vjn}UaW_L&_^p4Jj)PNJ$&7KmMkL<9 zp!cy5eEAsWp_!EICXabCn3<93#GRU{)=g)z_?rS~$fe!~+5219dy&QpO2cK3G4?6l zUYYbkwi`LO9-o+g0O$;1E2Lgl5*CL=O?A}hsTFXsN{a#SacD1~*s}fL(GXaVk*p2n zPtu6M>~+&qrov0aiMrJ4c)5((fde#^Nt25Dz)W^ee17Su0`1`=X=kRn?aTZeWh9hn zmDXDNk#Lu{siD_OYy6I>3vVHD4X#TZ8VS_~xSFd=>`;xu5oGZ7HNtJ!OqU%Wp%D^S zkOSZg|48k69j3d!o_$V&y#!L864HZ)Tfr!Qa5K)s(YDpc$D!3lS&}0>j_bXlh)2A37QgWy+sK#sKtR&&f33iszLhyzaaO&wQ(@2H+k#iJczVg8) zA3hW2xJ@2Dzk_T(b`A(ETML_lDE){XS=`cf3MD!+j@_MNcmzxf$;{Ipf;uwWOx<4V z$gynr>{Fj=foK9rM3h1T!}mDX5EWy&Zmas(CuP5dT;K=u;+jR?K#99((d{)%nP8{j zi|I7k$d|i80^&cK5vlg8722#i~mINJ7fPQbG1fZB=ne2E< z3`}I_immD2k2JXnO`v9V^Dj^QO(2w{PJ53Xm8}J;9U}|{X<(z7S9BF`salm^P!5K5?*Hw zEmNKc9ioC9C<#(>&bAa>m)Z1MQx_*4Jn2DiJ-mO;+Wk+lfL6vb^yAspo11a{^+>qvl=90uhQ>69NNehc{Z_-R4VgAQ%`-wU zyH<=Pz)S2aPJ;H;jfp*MdKiH^0i{l_LAP< zVO8LiXtseKG&RL|?^Ky7vDoZ>rVR0+gP^N%2!WLfEG!8+sw+B08-FM4s?Jp96uklj zFm`XgP{4c5<<9=%IhxqJb>6vb0PGF&M+GQL(#rHtONG8=!Gd${b=CJOtZdh)Pu0rP zb=C#HSgy8-u2e>rTI4-W8F6OKf-Rc6!#04eHV=IjE%aKtakA~Hw5pRBbXAfz(4D*V zQvA|8>e)1}b%i0d9JJ3@!i7fZFZc=JH>z_VhjB%eoR(k@Xcd)k42iWUjW&7vK~mOT z05kf&W7nQNG7MFUjyFGAal_CJvhz0Qm8HGKA)F3N&BX^797uO}r)NCpF$)Jvr4C@x z#AOHc{%Mj5uxdTN1piXi_bA3B0@)zF4E2RAFX>hUIeilYrdlOI)D4&!jX}TAgKFX} z{Z-?My#cdd3%wzp=Kxw*2SuqPV-ZIdkLJMbB-I}3u2O);DHFRTFjK%OA+kYHG${$W z^;FQo5NP6dT|<}9G7AeD(TS!(hz#Ub1rNr}r0Bd#zE1J2GDcPHu7%a&^CBEjAKqn~ zo>K&QZ2^3^WBzVaOT%s4;#c8X0!O>$!2nrv2T!Lkfv>r_Td}8S7ANv+7lHkh&jAun zcVC6x{CW{?^C^WU^0}0{_gD3RtUOQ41U#PQc8P+{Y_1GUl9^tYNPLi%jzF;26^mrD zsSZb#8UAFztr6L_zu4SHlhdLoMkqaqxZP zO0msCW3!}q)$|!BlNJn&F2J?{Fz&^m=#fbXD0o+ENTDQV1&Eab`+6Tc#4D2>L9XPl zYCpd-nA|L|VQ)a;oOFNLDH?EL+ZkvYy2CRj5@JfW7>^stXIcVa+(n!%s5Nod;uS%@ zH-@YUPxeAqI5 z{WT`(-ufv%YL(d3HVuo4xzV4gq3Qh!M5{Lc2fOQrb0gSzPsYcn;4iRWFhpb|fG|8v zd~6X!sCNV#f?p1)<3a!aV=QVg2sIW5;LjKKXnc{CQEK0;#UJlli&N9IoSR=G1WXAL?}_T5j9aC4m?#i z90Z1u8J6*Xa$p&yEsULrw3q?^zBNb(mY<)<#Mao(&=U4HBk@WU{ojog9REL&i|HR8 z5i=Xd-+cDeif|BTP!9Gck_eDUkl%yU>PQf;f1Y$vAPN6GyP`nc{&{jmgW!X5aHOh7 zgD57lqM@eFMuP~0FsEY1fLOxW8k{TNik_Zl90dS>KB!I|(1DILZ zQ(gZZF|o6y4*WA><@#+dM&dssPBxZQ(|<=C9Gt0*|Bl$Xm{TE>K)5mf3B*4iB3mNZ zf1b=ttn5sHRMmghnArbXV`F7XElvXA#Nq_}FRK7Hw$z6tkPIL*6ALpN%l}+w;$-Fc z6Z>r$7bo*yJZ6qR_i`}*w(&3CKePXdF|l#6GZUpErGSLcb1<>9{&_YVCmR>%pJy}u zqjygVh(3_>x7vU1VB=!_Q!*PT6Wd=H8x!D9ZP=K(033f}0M5TGW@Bb$|0fP){|N#( zxtRY{m5rH&DYZWpB-@mejr~sz0PKI;2KXJPKP>tkCuWvE{ma71#>)CPmO7LMG5};} zVdwhuTmUospH=|ang5ChfR&T=PmcnaIRSvbc_CGaXVdeZAV_{|f3j?tJn)Ozqv8YrIsfidf5(%9iR-WA`kgXde+d5F!`c5-@VBd3 z|4izCu>bC8I{yIzSXr3=Bm({t{13*)^*6@F@h8T{oQjtVLh!pq!!jz`+5P@W!O8Sr z*QTVcson1x^MB7oh_rZx*_cGR*njs!4i-^P4h}IE7Ex9qF<}l?4&mP=EzHDE^#7*( gbH~FvIU6`SyE~eg!v5BPm6Hn=lAK&rUJUmC1F&;*b^rhX delta 48576 zcwTIKb9iRWvTtmA;$&j$jV9K_wr$&QjEVEc_Qc7A6Wf~Dwr$<{_SyG5=k9a=>Uz3= z-PKjAyRcTR@OhZ7E|^+)81VRd1Q;f0D1CBewt7CqBS8pub`Yr{El^huw91LmajN0y zpjs6P7UMvjDQXQWmn&ab*5q1+_39rPrj&`Lr~v_UVf~Ru0wof^v<|`+*Uw`Nx$3Dk5iajYi~1!bnqE^aT))}0O9YWa<#ESu9$M{fJJT$7 zN7}B{1PoF=Qb;VGPqgNZHZN*be>mNs@S_stq_E{Qn;~J20yQ8u2a-&cU8pKuq^Kxn zM^(ta5twTiMO7T2kG1a)V4}H9ie!C(TrYMdqjLS}Ba4<}8QF1=G4zs$C&i}5>|or= zp`v{(4Ph;23&E(uqDhH$5bSHF)r&NKbL!@0!Jb;VHJZ512{N(j?e)^O~Q@3yD z_N8zCouIj&ZxpR(GZ=IJyy2Ois+9S8?ZijV+?SU6d?M=Km=mV?28_t@ebB&zqECYF z<1?-Z2s5f+nFch-rZZUA{Nfkg(mOl4&xL_&Dv8XlQ$&p$fVD2ghVokB<&#GMprI8B89oEsrkHb`CI_G@IuW$FidGvWrjs zC2z$+YC24!SehNb2aW1yjlVKSjf$Q|k~``$J(kq$ z+>gd`AYamsEkt!c5xoiSZVF=~Hw`FKDUN!hiF|qfwVua@;Ci55j;Ua0+&` z_aWbB$u#DvGFQb+X;{O~R#nvNlRyXQq)h|qaG7IA1^gR`4xaFp?JKV%We#18VUR2- zF85kfNUfcR-D^`k|3XvzZ`e3w){1TR^oQv370a)Luy{?-gotA@+#djZ*A=>T;FtR` zqk|cxrIGvNCvj5V+VqMj@L<2cmXnkHD6qd>#8>=%uNPct^3oBy`v^svN#Y} z`rYJ@uO+uVafQNQRB6m)hj<=)7?eES!K%*p{#Qd=^8`7vFnrHm-F;2el(|=-ka5|P z8>lC=3|&(&%&?y}SmrT~&6Of&Hzp-Bgj&Iwj)Jy-JtCASj$`Y#$P;VS1^+-Gs$ryU#D@z$jyUx$`(9 zSSOTOm)M8B&Fko#L$U1L9fDUfOgfG{Br%jQ*_c7QVG1HxDRqot(=?~=`l&JGDq|Y% zE;Wb`XIlmyX-#`UUirc-4RBB*XTpu|_NqGmDDx?}<$fUpX^>8)uV}GnkV>JKk|s)j zAS#H*6KrC%bj+f^a>?1i0_6sCH%&KbB_Xh(izH*orLFt(z#sHVPsJw-B*|w8eYAfg#o?f9HVSMARKRx?kun5N{l0Dx z**dY|ds9jDwHK0A+c|dtl3AwOV6`k>za$(tWTL&WrqRDFO4DK&66moYPsv-1^*hI6 zp)6bZ2epLn*S1Q4xn1&fqe@?N0CAl_z<3$^=q_l;#koAp*I6AD%>CF9O?YsvM6V7X zmkd$<2T(!?^c+~R9ABaPif!{%QlHi2cUMtyRa6Nv&jtxff_3OBm=teF%b&U>#Toe} zmBSub4T)5~-z32}G(fu~IGsiuq!j}cMn0|56@hhok^>*|9UbP-Bgh(uXKKPrpUJiC zeMK$&*kKm(W)=6^?Y%YgUhRs%$|)SnC#?*CM*5<{uvP|F@mbz(ggA@!Jud^5M+i$Y z1S=LJ(K2-oywtpk)utj^X=1em8dLX~8NaK!GUTOJ^B4sV5*RaT$3kkC7wJfY0p;-L zVNPpT5%K6S8Sv5t0p+fdRfFOdU^XeE@s1Q52XkTOfvB$Mm~DN9Q6_;VHvs6Y{9iNeB7EPLX~-isl;fB4v4JNGB}?)*mqs z2)1f%Y7z3Q9k|(F(l_|XcKyp=$D%%i$mYih?LsQ3lU|K~uM%6zZAM7~LCa&E-SY>yzeTnk%2i)I z?f&#c=GCpf$axz*N1TYteb5y#GnzOx1jaVt_-OeR<-4Hz@K+eO!hTF6aKrF)H2n63 z@IOCpccsl17PMr=QPI${$7#E>NJp@anGrEtryG7Sp_Rrr_S)cLaK+H@6jvW^Ig}8^ z=726#&T+YTn7BCs08%zi022!rD=8-rD-$OxCn$ka9K@|Af%o6zJRD3MJb?cfu%>1X zB67e3X{*yga&fYQ!qtC6vT?A1dMfFFI_oa0ztMq<2Kn+Nu^I42zQ7^{o}X4A8K#S6 zu59^4SnUFa4auU|qR9#1CN#Ko5%P3w6?f+#DyNj;FU>P1e?*}uk|~MrH4TKAv3RMj zzMLeO1@R>r(Zxm)Gy_8x^{5GH{ZJ-^9hwVPJY?jfAl~eL)vcqaLye2#HHKNB_091a za_yc;P(n|bW{M}FN-W1v(Y9O0zKZ48@5mGJ+k(QyOFiMbcAC*j{mM6s{c;N{0Au~F z>%ouuHU3R1vje!qHH~)*5xCeNa{k+$f@mgJ)SKfjI+X02pY1g3W8Nwy>aO(kMv{)A z1X}A`c#-8Vw=*bd&rSmMm*lO$JF_TL5vRNGdD#jUIu>UFBDy=)3BOz9j@TXN3eaJi7qj2$=Vr$8r{8l>o$hL4*kzphJ$CmU5w?VjTO<$_h8+SqQB1i;H=0^H{fJq3R;NRl8Ua4YZBgHE z!$}5C&ysk@Rxen|evk-313Y6MLz>rbO|G=Mgm!Q%GP=hQn>+|;puu602maGi8jM1t zaPU~{)lYmvC(J3_q;S6iWVXsG421~WIs$mc`<(!;1OGL?DCFW1%EAo^;za`@wkEli z%4m%3;sz;lm=yy-b{g~AwBlsF9X$obH-~hj=s)_$=|1re9jAbaemm+A== zSftG;$SKhh^$2NT{FIU^P6^me5e#=!a>N2zi90XNO4BoAe=?bD3Xqpd?!O!{VDOZKkW@|<2r=P;ux8ai=xONDsYi8#hdRljlzmsfj?-XVsMa#- zU%G)$y9DB5mf+*&O^DLcOxJpYMOxiW#dk-O8a+Js3)xBndv{Nk4g?;OAL}l$e_k#( z1Ef3$ZGP0g6u@6I5UZ9NmZC|E=ptzyO#UhubEeUR zgN|qDdEB7R+GvTa5>`gB}H z_Y7^cs~8crXE!c~M&8oaJlzVG@cW`m0H$?h*R}AC4|Y34DkPl@wYiBTO+|tJk?F^Y z&V*)xkq&U{%jz}{w+VbW<^wzv*x)>~BaPEq} zr&ol%z~&t1oJr;}JNr^fqw zLJ1TuHLJ|A1KwO47FDHVo$P&2TDz4yATw)cX5~(O-Jx9HyKj=SAKDc6; zJZ4;%C}~5W8OMc1mH(<&^2GX%mV&=G{toB`)O>mJ&jZB`=v)vl!+pPq8xZn=!^+qg3EGuK}#8laAJ7et%6va>3~eLA%#Vg1f#gtpTqw_WN^zt zYbj_BRUmyNn$zj-g%TQ=)0!Kr|AF)xTZ?K1!Sp!H8bBM^jcPv#Ml1Y%69e*t@bo(s zkX6il1hvKgufm~Xt7CHfo1UxH!(V=UI-|^HaM(j3qUSc<(z(zMM%P9BP55+=js~2K zZ^QlU+0OV1cQrm8DdfV~GnR6Z3xRE7#yVNtb;sm7le$v+Y3p%|cFugX0NM!+F~9_O-$`rIpbu zld4!@Ev&})B1e$=zGNg%Ati@lgqd?BWb3H+}8?3BwN|B4ZKkoOQVX+`9aNJgRJUnUGlxWQ0 zYt1fMU<9#BXc3@F=Dvct!hPPdNX5R{Nyt1}Ssr!Ydyu#qlse46Nh#<5%@=*r%vCq( zR1Q0rdJCJPE(STa&KKrn7-0%HM>i`_G1Wq_uby>*cM6pu8;DU~dh;UN^9oR!{&uxy zW_J2}7lxzWHT!_w5&PTIRP|&eYVs_3%}M2kZG|wSx@m#r9WUx2q2_~8*=jB9EB%sO z2Qmb7nsWL=(v)ua>0WOOLmC>N?y}40#?|i`653?ls6oD&jPPJd*+4Gf$IdtMBzGS+ zj4##N2{>*Y{{F5U-wdj!siust$gZ;3WMnvG@}J;f_ywg)WL^({bKNxPdhalt%-__+ zY;PJ7;}_SBTsa@sBGcP3r#sHPBp@0I_R!FPg|uxNZQ`>lP8O&b+z$$RJo29n2X@Oz zmP+;LR`fqdzuQxh^7X(1e+H<>SZKzwNPr2k90O1B2<`Pt$||lj0CbDCD$8ZZ=`>PQSDrP9Ay(j(Oz>!gV~=TXIVm4ZrSb5UNhP z+ncRkAIfSrqtD?qhgX3jBc8i)gP2Zt7Z9Q zS-2fR$f$5IN6jbOFrCVI-DjvA{z&}F$cc+sGd8Mcck+vyzaISPUFz)OI}b7AqFhcA zv2+k3oMw;|(il(?DRN<@CBru6Ua-&x6O@pL3F6UK!a&mDpak24$uCeJ7x$!{``h4Wn<* z--wa|)N1nu^b3;_go=#vmkB!)2MY^3DJMG@6Mz-KLCXG5G|Kf~ivW1I|7(hYBmyKm zEh(tXo&e;lPYDvY!~DYfH%JBiWx~P5#l*qI^EZ5DVPgWYaj}BL>|H^#Hmo3A`@g8a z%dvB^u>KwWyB8jA04XasHxmHB{TJl|LN^cuJ=mjz$PI8nBI(1eP0GiI zz$`|p!}?d8f0W0psijTI`d13}e|p#f045#|77kK-H(OiKs{uZU*x(Bs8y5=`C)Zys zn>vsa{LgtjEPomP7407YHwPD}z=53b|2xjk!NkSQ#s=DQ_$u`O1F&-a6PNS+i>)4l zfB>nPz3Jc0BCrBj{@1oaiqcrn>}*UN+#o*#29T5^3ls+_7bobKG!_gS+uzf`4cg+N zhXAmG*?!c2^HHHhsf}t|{maC~)!EF*4gth$Ly+ni z3r+^k3R=#i$Nkp) z`v1b_u{gN?69QnXk1Q|+2l7VL(&9Li4HpX$Q0N**pzD!BGn=qUNhE$rLqcN;f^)_M z$CgHjD$Rp~sZ|c8t6Tda*^w72joUYnyj2w;bPgHh-rf4j@ZR!jlRNpA{>Xp$?K1tg zVV6 z+Yt=URRg9k`B=6NhO=;+6^|id2h8kt$c2JBfHIs#6OKGUFhYimC!Y+;tlM1`PSi7+ zzdLaxAfN>kffP(xNE3^qj(Yky01juTTVE35E5%6`rJz_eg#6`7!SL0iB31}3oC=uP zKK)qCftm*i(S#nlLEyk zK#(qo#gq&H=WQ`bg3*(36Ix1wGHOVMm@rHl@K6m+-)=-nvD5ck5g|f29U|jWG{Q0; zp1j2iQB@u+bLx8i={0*Y*cVOWiimalGcns_YVi)ZC?lb`_WbHW5O#={dOZwfCZ4CLko`${eeFC^W|I!`R@v;!v;Qb&STh-Y;nk3;K8x%*iQbn~d#&I>Teii~yJYPPMhyzw}8WYeW$y3@6aVB*t)Q z!zvpBCoC-~34A&JuKHv(+8H!fh7ErK#qw|kST3)0C9_Loe>_GlHLL5f5Zu3$H2a- ziHY;F%VF9jdB`fbQ1ciWWC*_xcBWd2?)^Ac4h9WvhI}Y*F6(c2mf85t)n2dSuac=0 zeo!94w2JF%w71S%8!LG4tf-jEJ^$*54-7<9}-{-xhtXkgAOuCO*FJt<7 z>Zu!ijb0d@RYTTcEcO^JGm^BOG2~#P61Cv=$2dHnRX^`()zcT+e$Mz>IOGQQyujk@t zIO#-VN9rzNr9X78e3PbLWZAbrCAHS!9s-On5u(B1I%rC#WNIMe-FH*x<%H{ukng4B>v-q}Qi^}X=|z*@mD(RClR$7N}} zO&Tz0P_OC_ZLr?Ctkg2gD^#@iA#}r?2F%TQZ#83;a`}{A#Vsss-WYtz8VmDjp$@WD z2UKj&Ft!Q4U0u^SVs?ek|@u_rJp*iv9%^He1#raF;Gl?`$A?*=(ub{omrCcUmNI6%WsRioKPvSUyrIHX%C(|sWZ^F@O$ z8^gJa&iU)g2ljHcUYj&pX42>5MZ3n?-P=^(TOb7pzZu6{hF~g5r^RQe5y;Oo%bDs1 zOVO6thU(Vhz)z?eUy1A`J?WsR;bUlM^F-M7}^7bJM~8 zVwrJJ!A^q&MV5<00N6o)%4zZbI_dv#iPFmAiqeuG^a@Luf0Mw97zh9d2&EF|pILvs zFX+P&4y0WP0&1!pesR!%!Y6>L(!ld|o))u*7qjagQ9~2%hY~YF2;Y-&J{jQ&cadkI z6&F@?QiZAj!OaJeXFo;Mb7QTe=?HTXUqNuwR*ef+^eXB!9>HD6{F$kH-_Chi%-Q!! zq`usL?MU5x?If<>-P<6OrbCucq&Q@JK!*n72~UuY1}cprui%klkY!s6O!a+@4#W#r zG36fY0Yj^q4#Y-4d5R3wq)Wcx6T%ZGz|*bT77AiOAEw1_1~wE@0v@h;eumpjpE#9?qz*?0KrgDpItr+LF#V1VO^;D1A~m zj*3(1CdI;e{aP8_NHm-fg*wM@q| zXr^)rMWbX0chaM{{?Jq$x-tAr5`;4k0RB;wMrG?5xQtN5Q3f{1E2F=lN7a3Zav&yp z%Ie2DAyvbUl$s_iDL>s_rZu<|j$%@mv$g=^T|S?4qifk`&@|Cht8;R;YyAG(F8V!9-_qx~>(= zb&MU{>+x~Lq^(}*aBE&9?NixSIzBm1ribSEW%@0uUB|pfl9+DT#I;x@HwZP9Upg?- zo1LPd>U`GSM+=(xT>2O_=}3q_09P;KtlDCJbWpp?^V=A_uI%l?UOr4cUp+j=9s2v1 zwH%A|1;fX5#OAzubRMIp84cvB#AkPIveM9QOBUV7XemUet`(vJX1|UkGCsPTs$Xv4 zt=^|<`x*Rj!JY49*>1~%Y;#{8KYa-=Ykz4Vbv0i`v)K8Rpgnt|8EDy}0ID7HC2)D^ z>@B1SQ9sJaHKA^{ix|=umK-}Zf$^DboOB~t)gC8bF5p|8$FY>>$aqQIS8tC%>~1QFbmo3k zZ-w9Gx)?5RBj)e&)?_sUH($1Lzj}1h z#=M^qJ$hF^D!>-f&lT8D6)@AwaHM{FJLJW>8C?;}oOym<)OkF<1%8))e^eN-R)F5W zSW^lc7?`??nFLk+A}X(OZER~~pKH9fn%Q8MhFC?Z)GyaQQ3DuqyUz7!TJDm|_z`MZ z_BDTNlqILZfTFBHu-C!zH{Ec3{Qel#yy9Tz&N{pgj@xi#yP`If+ak!u0ce_5cp8b! z(4^xVEoa+ZnNi!I2lA`WpP@62I!ivgyr$%J9ePri=+~cA`#c=4Ot~oUHbbMfaKn0p z`T^+mZiqKHO9-r8_io53Bd^?f~>cr-=%;vv#p<;qfhRQ`J(@U(tC#JLl&CDu9= zJL2c(q&Gi*54@b(CuN5fIO?T<#HD=Kb`Jcp0G4ExT7Pc|q&)+qo3bo!!>pLFo8S zOj83`td>h|uHUw#l%>4H*gQWMzRG<}Md7jtbfY${zrX4W$|~N^R3Y*8o%0_hn4Q9g z^X`k$c;x8>E;np^gsohz)1xZj5V@ZFE*KPfmA8K3pona99d)%0Q}3K2`r&^N{s;{C zga?BLXALWCz^l)BWbQ4r{RV<;`0H%}An68rJOJl^dRsZ=@3LA_pqK_Hn17Q{jd7^| z!u^w6>Tt2Llj?yo^9Vr(%LM=OyW5SX|N54tY@?~7frE{RJ^QSjyi$X0g-Qn((hi3P zM;i8>&KL|F8$sD2QPlZ9F>`1F5xt0}bbzh^TSTd>2?xAP(rZ`8wV$p=Ip4ZsjvEQR zR2!Y{58_;U&E3#j+B3l5^4aB4-=?NxQDCS?fc(c~>J~Xo_dZnigyC%f%MWJL`Tzo8 zu$+@4oT_k$kdqghh!C-%kB^HGmMR!0Zf(0411fQpxD%L2NPHlTXd>K@5P4Z43~y-kzqV<;P2i%kzzIoZfITwj@^%N z{O%zZG#;gVm;^;+HEkLr#U)!(;Q=ThnlLThPZsK|&|yrc?rdopjvuMNJ zZZJh^@JvHUds~rM=6LcCL3b55asj8a%d1^IE)VW%Jla0KLEp}wYcqy2!oW%~dgFP`BLjTU=| z52Eci@IcUTZZ-_m*2{!`z{Le{1l$%S9C?WW$6}1c(>O*NdcS{fm2B~zO0!C)+EC5h$@*$K1yh{~2YlwF!|3N!BUfjN6a5gx>yCEm%)Y(&xMbvXm~|an zM}?13#m0Pm-3vjFP^+`UMzaakISh!kWr6eHmy)Gto+d}q^rN?*+K>vcK3v>$b^T!H z{nro^E(+&8wm3JmxL}sss{i0Kx8448kX_CiULd*-sIj9r!Gwf|T0yJ5kN-5*e)7XF z#lzmb$bP)8I^XY;eIqZO%X#ia@9p{hpUd4|E!B!7LWAouWk z%bm$e4L>~zoL_8;7N>yMOVW45@t=ZIb7Qt%KlQ!~>KtS&Y6}!X*}nN?b#C+zf@sxZ z>~nDI8s$lzc^e+?Q?m5KDYJkE%V9_U%fBiOL+cGH2UeaRU&p>ce}AeV5htl+Y;CAz zDz#rb$bIm^kUk^^8s2%PENAz4r?cZx`@Z@5w^|yu>R9=Swxx7j!FLT$A@c>;)-!H+ zSv(q<0B;T`sp*YMhh#T{^A1LWb_~Pn2fKKwJIM_m|A2di`&4U_c&|I{9aNj1l)-}g ztj-LQ)7uv(YpG~sUhG%xd@K!R9FArz>Ni+Dgl5+?czgW@`Z79Fl-sL6uhKNOSs(%( zM<3oANvVbfqhk3!s9u%2@!Zy!0fKdsYF&nvUVU19yL2)`s25?U1SlSzej?|qy%sB9 zRBY*zECknPe0?<5->-xV-XYMIi;+>%j=o$n*A*5m5gJpJbmh$tL_gV{d(NI=ukX2- zKC^z;b{xC`UKHpVWbtVm{2;vs{36L2O=@UPZTm!CD5%E~uy1iM3A3iXsdx5eVgnwF zof|}p`{il28GaL74JWnfaDk*d=y3tu|LOX)R3*hkK+zo*$p4}w=;c&|S16F*fP1djP{=LZkk>1+ZTJEvNwYmLvO8BHJs%Pup~Qi?O}s)vL~nt^Cn zCyQM@81ob3nW~3ynkIXz-_IU$58vE!>KD8hZr?XHUpr3qE-zJ7+}D1Z$eTP1Eih1h z4=<8gfzVu0krWFklA+KxoS$PrhuiCBIFOHrv;&tktrIXre$GR@TQ)ZRJs=4rsesX} zgAheuikk$VV+7zxQU!Q{g>Q-3 zz$-X5mZAuNQQ-+d-GgQS<&BtPo7TzDZ33a00WpVbXAM>=g&#En2W=V8 ztUeVO>W?ha@y2EQPGdh|#zLsq9RU3tn)k5)18FF6L;|HQM4Ado7Qi0`LpDxQX8$LV z%O?WH1=9a)#Zd@G7GUwhN*eGRs>jwQ4R)H)2qhWiDF}(PAwpDkC64OP9uDJ?5>54M z7DGdddFzr36zI15hI8j`*qeflhPBGipY-WZ0BNQ6hM%q>$qSQXpMw%fku}{al^}lP zh262AV$zvY8JSJPb)Wcm5JB%A@bW$(zT9E$>b0aG+m2rxW?Ds-g}}!o0j*r; z!Mp3H$tmrRhIielj@!Dgjn)-DMOtHJ9p*{BGk(bjEpNjg!>0OoCSMJ_G8?}!nVSGi zG(v-!ehK&6L29t3I-#g@f01>(5}H7k3$%`O^zm}>Ognzt@5miSwSdg(0MdorFT*Yr z&!}TrP`0tGNDQcbUt>EWPhQs$baS_jJ|Eki~hto$Ab3}_*|^bfG{p{Fs63%3*=MU zK5?4S6G@+#WU7(SBcG-mqPcnPTeMumx?d={8`MEc3H)CBA7Z&ZKv=+Rj^`Ou90c(A z94~ibf9Jz3IV`8qz_AHd+hWULetdSX@j&@n}z|q zJKKu$)km9FP1x`A%nvR5(wtt>Ep_fwqzHZLIT^FiuuQUME-ps>Yccs{#8*cBQeNLtA_n8O0kL=q9CFt*=!N>QR4a}4~ zpH7`-tKXkJf&%h!BKswRw*8`U)*JJccwd@cx#jN$t7&`7Z8)3dDEL`;Dv~o4Hn^5C zby65_2H#>6Q}*Dll_O;-HW%Jk_FZm{mFax7rw^3x`4I+ufO4Prm}MeUay--~cXqO} zu*Z=nu%Q?D13}HqQcl?(KMj!LNW_PkjCfl^DRXiufYbhw^OH?K->og$?RTWL3EGII zkLA}DhK~)Aj815^4oA&oL-i8tun*If<=M3O{!pG(HkAbJ2Nt00_*oX7(1YmTaVKEbQ#5ir>L;pxC%r z+5Yt#fQlEN>O1~Ve6zcf#C6B`Gj^B3=wHcbBE1m>6KOmpMx5-0!}ye@sBR!ivtvr} zCYlgM)dxvwt9&s;5vE7Qj&<+P_Q#snmcuufoXgvHzuZf&oWq|5mY1b=B4%x(IJP(j z1Y*H30qIqRh!N0295`hK#)F~5zPy=@G2`J#KrlrE5-3?;OE5{WS}{n%g#aP3axin- zSdvuvZ~d@y<8!!DV%;I|PRCemh_#frsKT^CmicP9JoKEpE#cHI5c*1KlDbSaA`Ka1LQLK1;~XxnAgh_RRKR)QDv zNt}WizqBrkswY#JY~$VnR#G8?{=#3pArA1oQ$ZJqO6SMEqh#H|<6FWq-2DX~_R#j5 ziRjT)WigFWWe1NfOqAy%t~kI{5?F{@py09$>l1reTYvE@gwHQa2Aq({tJhtdPlthV zEiBID$pUchASR&$=MjHN&)}^Hu%}?KZ1GTE@L^o{XyN)L-zPY*W-7ERLzjdolK}`k zs_gwf9kEm}v~I^OtzTtW5zx(O1s};hJ-RUcyTTg+S7#q0+mHOyJ+R%r0%rTQt`UqoLtNXHosaI%+gVN=ro%}} zl{|ydK+WvStD1Wu28Ijy114}_ZcZ8P>Y@R`PgKj()82I`VZ8uJ3aAf}q9@0e+Vx^Y zh|BJ{rC^jxWTv2Ok>YA;H|9I(?02KlpTyC02>ux5 z2ggToGp>Hp;DU^Iql}gc5@_Hz4-U8*1v_(}v z8@0=G--owI+&UP*TE0udsJ0*GXwO8&Y*}APHEu;0-#NNgjj;5bVj|fCaKDNWEh+wv zz;m|js*L3!&1!};B6-Y%gw$@ z&vin7Q%N;sMk+ZDIhLmrq$FJT5qIIFF6}PX9@WC~#gIC>QaF9%i)Dr2#vKGEuCZ3k z3fUrGk;_qqZ2iGx5;DgbP$k=JpoYFkhtGf)TMt@+38^M&1SMmV%qN>!LBx)L|0G+d z@i_`)DoeUja#lI^R9xr)YGCu5o>bcrz>6Yj^f$3=)H=^r-dBO zF&R-Z*}(Z3D{z$8u>@9k( zw7dD}BXA1~3Jo;ZcDLF)+iBQALau;#A~wHmVe9eWeb-h^Fe^s#B}fEkM`lD#cCY$L zT~9S#Ngvs<5C5rF;9KwNH}b4PpTx6g(PsR`6!-SZc~pDMZ;o|6#0@F+;-R4IIR#v zzqnUJzl>Y5NJX~t#Br%}7v$hDC~lmt6LqZNd^CyGh*jNW0=~O9AD6h13}C>)2v9c5 zO@CQ9Yn&Qm(nYq>VB`#8yOfL=YX%XYDL0Jy%Zw3NmD%9a>mQgI{PyySsfLrZnvwlj z%V%|Ac0!g%&aH|59duPWT9w4h&u+P|N+rYTMV>|rslS;#I-cx!9$i&GQSDC=pMPj5 zdu-l$d;!;y35-qfoW=F(It{k@l_R?EJ?-=J4L2pbQw85LWZ2q92OxO2EZa^;~Q*9evgL zX$m@{vu*YaC0@hl?rC$@I$Nr=3z20ns7iY`I=_!z(L(n%Or4N;);-<#x=Re@)UTKm z?Mny+mP26dO9YP-rQ%m*a2u#?*vT~M8wj$ybkmhR8p^vy--p&fIxi|~MiVer%rRR} z0`2oztDo!l5?$Zvn@Q6eb1x~HN}Ymc5p*wWP*NFky;xdNTa4eN7oqDSqXGa|R{Y)7<4P#G+fKD1k&~NlL9KUd^Dm_u(I#e%tvDbJaHS| zx!p8@HQ}+0T@W(;gwrgp1y5%9$>}L^1uQBbE;%>AhjrW+SK;DUfC<~Bm?se3pAgi@ zVNv{~CXT}=;nk*262ictl=WP$&?-lwY*^q|a7Z$DR~UsXKeQGwAXG>*!?N0THy6-4 zKO~(gr-@$Po0)Ra4n2-p`$JPhqHLp8CJ%q7&f7ju zC|dgy5G*d6iIjTf8=3v z(^`lmJ^9|qAw+#|#p#CZ=<=t}r^Ief*&__=JC?`3OPs4jtY#xIa`T97fHb4D5AkMr(nEH*w;fdN7@W==5U#b!mpqdgd}Si2*Lg=6q_N zWSP-J9Lnbud>9v<7j91PAxI*Bxz3-5P6}BPT0kttuej#%#MJC`5q8Yu`>?Qpz0e2k zX|(!~ziSSj0B!dEthA3DpIR_b{rxf`IE*l4kXSS+2xe7L5KR=@ z-W4Gm`OS-uDH|r*0zXEG{CT%lDA4c-A`rqHk~eA}9EX-NfED)--|~2iZ3%TC)Elc7 zL~O(^R`+r)D0x*69p2m*nbZ5(Vd+JgPmwl(0UZRn#tTjk5?I57VL-e_jB*9(uF--k zg2L7eA^iP8M{AtmG$4|7DsU!{#5xzaAjp562x$k&^BMGdj2xVe_zU!NosmO{d$o6C zcko7+5f3mhBt>wnqxNOo$7uSRAbozjh-h(qy;TVlt4Hs_+uA9ovDUJ@-(njCx4{Pl zICRvXvfrrTPoKRoWve8S+JBlrTj(oh?!V3P9yfZSVpP0%ktVvi)Z2|Iw3#1$3Hf;j zZe@N!xPh>UncV8f3SO>MSt@hXjC#`s>{10~3}|8>k*wqBOmyvQ8#up+^gv`LW|z>r zB?ksVv(q!yE}(Qt$#-%-Y`9}`v%&xcB4lO_Y}JcB2D4=v%u!Id3C(;=xw`KC?<&mG zt9QKe!$lL93++^PXKAv1aT^yALAO1Wzu@KcDXHC3sV65xo+9mK*mvV_pmERRsqShA z&9Ul7TaT$)A`kVQ=z!?^TgO|!U9L(5aGi;)?voRV2SV=tmJbl!4t|<=4*H5A0@3*O~td(NE06C2PjGOsjVGPw|X2xHX z!cAe`f`Lm~f?7lM&*`t$Y~{d;#NrD$)%e)yFz--qiahOme1OHJ^f2yNf%MLjNloQ4aby zsgRnsC;Rd2x5m~#@q>)%%NZR-`5Uce!n2o~X-nG-+K&aRA1J`hRoF#cf6VOT z=m#Eyth*26_i&Q8BnPJC?*n+_QpeAju0I?q2jw^{EWD=FD|}3>Cx4?d$?)fb|9C%a zA6r5FZZ);OjN>d>OYG`MjA_td-em=A`?KT)%4Pi;Tn1U%Y+>83Z#OI4Uq0+xn?>1pFwyxk&gN_l-1dTBFYe6mY*yIPF{L=uCB3CPwME=Kp&Vt&r z!Yr$3N^AdoRN3mG&Qg{AOcT51R@2C2{#yQ5cFJ%;0!H9or1xN1&5!SqQWx5cdu<4EYFeGYl8VZifh*6BM;W14WfbYyxWD z5rg1l2fgpm;&J}3${Gzd1rcRUkif1L%)iO1-2w_s7Z(@A zK{k%?J&eC$g1$io!KT{afD-_%oz;-dS!E)4B=L8S2FE9RslZfWzNNLbm5UN4k-hyG zmnM~Axtf@ak(FcIhG27n6eXmbSQCN}B8sO}#4rWl+XAb*y}kXa0!c|Kzrkc^L%>Cv zozjZJ|MlyvAR{moY@*|H{nmXJ+x8r;$m{hAY*{pmP$<^k0qt`U7a#;A&C5iFvxIJf z1*cS1z28eR3vgu{)fV~^|8;m^oVfJF-X66Hj4p^#D7Ko^I}f`b+VV3F@(;w0CHzMP zheiq)1FJ^fmp}9Hrr`c?NgdFEC=Q)mENT%InH8akOC!inDQarUFC={Hw&QCbqvr_zE|6sE z4hbn}h>u;;FRPC*w+C+Qkl$J%)`j%#f%|N*;EX-h@(<=44lSGAS-Rc8Sw|1(Z`%Kd zjB{!Zv;o#_>`aV_ZQHgpv28mOz2U^RC$^o5ZQHi(?C;dR*ca#Kss05|^{VP#--)1T zGmxfsN5)o2&ThUzzx%%`c)u&rUUJJhU7YKmzuq|xu1mjnK&0JWAXjzjh#Fiv4jUc4 z$L$c^#mql#)DQ5gh=kmmfff4A?61vZQ0Lcw!mhw1!Y3{)t87?7C+7^RX~;x5f|Iu_ zY~g#iO8Q}{95yH((D<*jvp&6l9puAg7-TyoDxLJkZW;t50HDY52>rf{NC#ipdjEDk zH7IZs`ZlEfQP=XJk(-sdsv|pqSG8?wWMcFligH1N_ynd^9=J(o>#uJ9s$xT8@T2A`L9UG+?}HtxV2jIr@z4aM)iLuWQZ#`?4ARF#50Gx%JyG-G;0}A--FJd zyh@LDFdJ;0*;}ojI@B`Ab~_pyFb5wv%FzpQ%k~!9U7Pv?3y20zH(T78@-I%?OyHOQQU0D zepj6Vg5UhWJy9Ii2-t5k6k}p+>&*1TL-kmV8#|FX!@sfkPdaHT;)&)~PKNY_oJ6e7 zk=<(#Z46OGzh!m~BcJ=~=5zIa|LKeu(Dh#1a-I2&QYT363osu+$x|}!>oZk2L256B zD^y+&cI+W>`4Vtkc3#4=yY1guKqQnYC}0&v^1cZHGO>F?w&gmM53!g(qhY!9t~2vM z9?6F(*{DN3S{e-`L%R_l^?RSMQJIe@I|?u#{6!1GVO^&vQD>LSpQ48&cS?naS#Aq^ zxW881FNirp!5cQy?cJ4t6Mb(8=#bX>t zrqfBlVa~`uP7I68o+ndnier>qs&Mr}5h5QlGdqbrP$C&?X!0LN^(mZq57`emx>Qf? zUzK;xV~O0()+wbTBTU6!jI=H_k|YasSAE>kB#rx19E;u`+g1r^-hFQ+AcO09w&Vc7 zJ{Nu==&UZqj+<27E<4XGGXT}VRVSE6-%AT@#{BqsRI)5HAks*&Bj(B`r1#@B`A>Ds zi?TYz*lVapq(@@!>1}pCE%=T!EJU176Fb%qis52S8WOb?Lb4@=(Bopknpaa&r!wN% zL%8;ZhY$V!(pO(AMB=l~bKOb)HfriTURN?{sE}P4Vk_AIdeT4RWxz!#aj${aB-b_Z1}l^@nzjP2`0_Y(b}mpd>2 zVslBG${#gR=)3)-un~1DA3CFP-D*9&jM8rs(l(JR52o3$G;5LK`mv6H6w(7% zny#>7L{^Ip&tqHPu4ocQVJ0J{Mk}N@>Of~PzQaymaP)kk5hI|A-uMzwr$hkYf`^>v zUL)ocT!xaa@p+b!%t70~=w^6H{$+lI(p<_qw9e=9j3bStrld2TDi!P_hjLy}E!A)H z+;%dSK>QVjThqu>J}3LgmbJ!);PI&ZOP4MX`UKac#bW6FuN*<8h0JU4DSJL)-I26u zvhKav=ix_es>7s+Z&YCFN8$+3P*R20w3zs6dh)afYlg;d64I7YH#V-?Z5}@iEhp=b z;cfkQ5~jFsK`u(egTf3FzQ&6DM?`*BKI1Skel!AUx95(&V#|xfi)ornJg0ZOX}NUa z3<@FU&1n~IRjT(j-<7mW@{4V%n&&O{8LRlbHpwZ{KVZl>qZq$mEr}TDer(b-+>Pu7 zuid-&+!=Puw8ZCM7uFp+4y_;USt+LoJzRuKOayyO81&K`cvxkg5!GVAyz85Q&}haQ-tue0#@q@te^ris!?5mNrbRPxh~>g1UZ zvIG~UFBTl)G5!uU+4ulHu~6on2%)?>7wZBwaRos>Ft;w99IY%b$jU-X7{@QmTD+<# zi@R%MqFl(PnL98LsjB`E!i(4NmS_YcWx`9{lJ6(%*^)E;SroIcPc89ILs*P{Xv2^H zF|IRW4YnR~VXCz(lU)+3SSCU>-e^tJPH8nP0d|{pAt8+cPM8neXTPf8a2=sid>D$-=FOC*l zC;_Q(=Jk)^I9dvH)a5$)foeuei@9le*SSyH!#WzfFqp>`mWKT5?P6!YRlTw-%6;af z;nN)Cg)7@QEw|w4quAij`RkPUAzX)+646XNS-ik#xtIE)WHbC#LFS65) zD+`i00A3pleryq>MMK`)TNBU{p9348=S;LjPJp!L|?R&5D5=2|d-P7mW|? z#V~;U>fI+o@GO~XleyyteKWq&iCRh|!{vc9&w!iup-}7-kQc_b`HZLGh9bQS+u2Vx zPy^J&^eu$oY2CC|V}BLA2_hM&#*G&^F@YR+QfLYcYrOSQO50zvhPof@k%tNC6vn<< zvxE5b??@)uuZ0IzL{q3IXSw%`d)R#y$k1bqIgcG@;o-$}TstVve%ecia}j4N$wSs_ zT2)wR>Y~Ti?fo(9YaxQG8t_QD)f%i%6b8;whcrG^hOXjNaID_FM;Et6xLb}%%i17B zD?NwY0;gu&KFUY#DGLaa%vcFn2;uIdbTU^irf6!wsu#)Q$6ddJlNzs~d}E1ktsvWy%~y2Q<8&&+yT+xR{QE3!z8zE29kUaDBV4R$4AbIQ5H zti2#F?Zub;{V;^p;X+sm*b-Q<-V-pO@Yg;;&@=Vj?paHqCrYIRRJa&>O|sF zeTxT{qv>DT^9NMrjaS!!LFf|d2PiNK6<;+nFeUv@leXc`=S7stT|S)=>wQ(zLPI~@ z!DWQ5Ni|qNP%`fmn?>-d^=v*t5RJxqxz#x-s~UttkF0sCsxL!D)@%&Afn@$u;`I1| zLUOgIB6pva4+|H(`S9O#JIUu2mg1D_kO-nh|GO*(lVk62dEKT&;k$B0sW70^Q7*%J zBA?eOTxcb_5bB#}4 zka9c{uT6+=_CL0H=_)XgPO-1N_D5O58cbKL?3p>^7Q_GjjAHVjU;kbGXEN*KMy6*q z`M*b0wID}w>9st zknl0KWZXtSoNR|tx=S_rV)TL||HZy@wWR~S;KQwLLDn~G(##i1~)j(6wAIL!qFN=nau&`maHC%}}82#E|FePlJec;a(C+ zQL^LkHw-P&`qb&VDFm#_!W|0dg9jM}C%JT*f6AH`LcrtCYxc}KE?mxMd=yP>XTa&O zAS;S}4PZn&ykK zTkFm@8NqFDGZ45f?6@w4gBW3!46I2Nd|E)fZU)0{fzrW>3uAj~=3@K!d;eL9^eVuY zhR2b?1x?M)dcws)h^Ul0WuN(QE85i}g9urA=%7xtPPwXmJgLGL)qs3c{PIyoj1?Xb zi;H<~L56?Xb|6>N`@P9Vlt#kPR4PkNk$S`09+$4SVV}oKJwO z&3A$}5p~cAIFa_y!IdA*OX%D(P|BFQQ(2qYON=si<`Zv(f8>Q#c8UrQ*HjO1dMR8> zDCFzYS#eCaZ1B_kWgS2PN6^1zdQFuSX*FgEn-_sLTBW`rPzT3zZgrX_22n zwKr{8!I00B;vH{UnZB!8u;wa}@9ySDAGniIHqNo5xm>g5t-FEJe8o;aCNpAna@9`j z(+XdJJB%T2O%;~|>mp{{t}AkrLqSH-qa2nRVI|OGMODT+k-gzPD@>tTdAkB-VMkh# zh3;UK1`_%7$VTBKk~U{)D#*OV=MgGQ2jTa${x8DPRp*Jh7YjqNm9VyqD3sUSMjLCt zN&GI>V)L<9je0hUV^HqRT6bUR0qq=F-z8B1tk4geVLK0mvvgvlR$$`zj{y}U_3~ez zw>6*{9kGwb!yj>_zSOGGDcv59X%g2Kcp5I(8@YC^WSZ9V*Ez2xAPz--``jb{fNA`i z`+52-9-eu|i}!Kpfnn3_2GcfHx)UEHam{b+WOEsTF5HTpMw@`cGH@Dp99<$ZO*fIM zZj&{p~YG{_S`Kz;gHrXyq$h{JIy2_P$N^j zjtx-p@3D$aB&`^E8^H%Ou$2N+XFrNo(u8eTi0XV96eAD?IY|sM6A=lYYTO9$xoOX~ zNq9*cohsLVLT`}gxk=T}?>MQiaHc_V)|^>?mgeOPnV+8NeEJd*FEO-=`^NZwQUbj$ z#eKqa5gyd?h?_ggLtILBY0<@bcB^x#e-`7&*aC~wQN_s_NL204imKUKn0q%HAidK< zTZ77mj3@iaQ#!*leLPvr;=y#<#KGS*@*T@wk_eyg)stmdvWV*|^<*J-jafRuSzp{U z8h1Xf=Caet1s{~Ho=ClHa-aoGPJl*iqnS%g_vribd+;C>w@eMc)Pk)cfyOUw4eslK zDEXo$o6*E|ggn7M5h%BLp$VeWi4;Yaf0Kr-X;FP-2NlU>CLi)=m9b*^P1c&mp)dX@ zIAZqt=g_0iX|%Kfk$^pxKsNb6MBn}26NTL7rP7g0rr z&M`c|c>Gfzw&XxO-fK7t`7+e;l-R;DjUn_2N-|)NY(P`b%-AYcErO)}u+7O3>Y3wi z%|e$O=#Xhic6A#YQ%HF$Lf!olNoqRf`4^q}OySk|sMX{L3?HTZ1rM}&#~$GJlklc& zXDhb%4};`GuFjrio)k+AumwO+8#~b@wOxgehFUQ#-7}U93NpaVt*F_fc*x(#1EIoA zk9AHzb=M$m2F9LymGX7ijsl7uZIqJ(D4e=#Btsq-N|=khEM2q_s8cfvy;pnx7M`x- z*_A&H7Z(g1)J}m%ng^u3|A5DrlOfPuvY3UP3`R)JB+&KT_0O#((*QKey)f2~R$Z|z zWTVpt1(roWOJ+%N_PfgZq785+q@kiaBc`avLe=D)(1J^pI4i0aN1EZ`_&m65Z((BI zbp#BaqH1&+Ivu+Yy1oR^zfUxHeg-37=Y1IYDk{z()x{_kGaFp0=(YO2pMoi7BZWEP z=tuD>gle|tDX9r{Ish%7_BR)A`fP0x(V@R7()}PZWJ6=X``^}oC+$mVHtcjM9E1DB z&*NLQ|M|s!K%Sao*b+fE`rIV5cO`0=9l79a{#kBqA5rjDs!fPE1^LLI#2zdCEQb|d z;M*0=IAZVDicb1LRb(EUrE*T7;EbbDa2(e0i~UoUG*t2GffgX(Hx$;46l}H*H3>?5 zUUXpYx1|gwOCzt|Kx%nYMms02_7;y2q=P2jiW5v!A&+12PWHIB*h3U-{@_hMLrwFD zHBF)MwlhJ*luUDc;cgf4%%M}~j6B)TO&C0p=xBMR-@Oaa3lFHFXQf5LZ!;H5BnZG6#*Oz+;a`o(9mwLYXf))AGkaMHK z$w8DRg^icOl~F)9|8K80>@OF9=_;qAkBel}*IbDfSPWDgj~MiSUVTNTNsG;WU>0CA zXK;xtRILW*P%+ZkjBWo&1(RfSY{CIAnbcC#>izq2CvPMd+r<$UZ(3q5<-j!j5Z*L-cVJ>5P_&m84 z4O;BKs05(?F;7{9)nrREJd(xY5msgEWCO`{bYt=~OZcbFxz|gxOmANN(iJD%44N^) zak4S~Nd_YsW|~?7kvoBiLvKkX63D@o{dn&|Cx2JqS>Hv1j+KO*_QLo~k2aJr70J0X zQ&m3{nE-l@^c&+NN&t2julVYhZdvu%tuWNpXcA!XPc@1SJf14(5O~L5*4EsSI~-+0 z2Rp^5`X)N3Uz)Lt??w|>y^>dL9(MI-@A#e%$SUddSfanDRg6wj;}d*B&oHjExf_IM ztt!pSQoa*7eOE%(YE=k4$hl#cpgf%8L8g@WZeCYfi@a(KGWyF^r6IB_brx4VYt)U& zB@b|v2fS!Sj;r`&{;L-b60PBW^sULiFh08RY6hue#u;WrgeMs*%Qn$ZKNMW7dJ1cB zma~-(_gcZT6ZN*k?O-D^Pp z%ww>zwX_aiCEmy%A6}Z%YOma@P7Om#))d+K)Cv<<1@FSA52K3SgjjDxFRMR)55E8#|WGWqfKE0pxY*S~j`4TxQy zVzQqzvfKw9Dnm!=Tphz_z*?s+11{X^5?#&p=i2b{$5cN_c@h*V!pHb*!*?2J?N|my zi1BSA3J+P(`aO6iMk>N5WJObRR~3W{zD(UY1OLY7Qb z7G5-*yh+aG9U2E8=E)wa=ud1XYjX;qPR%tJ?$TVa8sAy`lye)Alj}_Hfbd|L(c@=J z9MrAHtSR>|)R&M9R$0qc&A47-LS@gB*K@dYy!sB3tzKnUO$q_+URp9DdQnbq3onr| zsp;kjySm|^^T2#0D$QyW9J9Xq&O~VA!7QeNYP&_(8}mJl^$|+W{dd`McdN&JWNa68 zOlRLh)N6lq!5?f9>XtfrfNalDT`!laVwmLaGySD|K8?>6>`%+)sY-|_SPV@qs3^A_NVObIOw2^r$r#2U9V~rMPWlN^&B3R6k z@idh=LA=iT0kS?epdp#}3n5LHjF`Ta8deT1?I4&R8F5d(C2I*$Y;pn1sDiaf;yn+3V5sTPh-E@UM(&$}I^_t~*U==BFy zI`;4TA4PM)zc&-=V_G#kyTG87lAcx8FvT0r&Uuwc6;F}2@jimqe|ObDVe%-c(NbP} z6S%X^R1tCi0Z1@uz{lC9@bWG>3>UZCv13`icsg$pefI)NMiE=H*^=YM)jT;1X_I;#HG)muT*p0g&uINH@}A( zboY49PzWo9ZDdL0JiSA+w!FUPfdawDTp3#_3Zvu*AOOv}`gzLhuQzLCROeGn;qg+! zIv^dlAMbt{YfCgEIiUJl8Ar9 z!7?8rJDYv7!EuhzA030D8qV}*g~{`IW3XI8wnQYz2K@=lZRisyWo*cxp}K-0EWtQ> z)80C<2534Zh0Tsa=7tzYJ*gQtUs8Ikr{qep-PJtMwx+PaZ-dbR zy{64NT;B#JWp>UUlBF)$JdN?!pce&^qmp&uZZ9vWPc-WI<*n;HSKkG?xcxYiF0%*o7S!ra<+ZBGCG zK=hN>SwoCZ3FDNkJ&dro;kA{?nrN_}tO4LD5EtI3SqjXH;=Z4}RvsaEcgBMNxMX}r z4}0L{eXbU_+&JA^gxwZ!cL%)(?icLjtsYPWaa=a+2TBbR)u-_lp=!#r*wR zv1l(pDl6tad}4H%u-fqD4BB^jv{BE|U5E%7po?yK!JTBHeO%#Dq6*4$jE!#1rMDnn z`@obRGNU?+sDOyrBCN08T6|i?$2tv^jN(nI&CCvE-{4IKJfDBR>>Zmv9ZQdh9b@DS zezo1bvT6~fAj!wp-fv|f#AQBr1rCT;IG(4PZ{7bT;KGTh_A_StRCMvSJ#`3`A}|5jeonEu3%mk6kzqmi z!4BG(p+6G?OZmx~kJr%lcnQ$3d`Clycv#G|>NHBkg&r%GKZy;8$e2)eD6xAmRv4M7 zC`2fB{@c49N}JQ@thoxAshWrLBu|y|cF6QGsxj8QxA?YWOq*|1!{pE%7zJpG4h8%2 z%6dh%$@)ZBRH72xNI_9l{%$u|dIet=NkbQ^9r(#d68E_rv?o2dR?)=w;VFviLgKX^ zA}8WiS?3Nz(^%oQ{_8YtttCe8h0bSbIW*C&gq)VL{#sypW9^0%(ZoGdXNzF4th|8j z?Ai9U;CIr5VupmR-azfL+taQ6Bk7YRn0uW46al9yPTwnQdH+=uNAjqs#?FjXj-Weq z-eiPCVUFg2-o8<9n%b_$E+1Yf&p9D)WA-PJ*?`! zx^?&F?%jhE?(?*1Y2yeV#OQHZM)kEMwa5E8P|6|K20tjA=ytrM78o=~5hKjLBhL2t zH38!v`c^fkXId*1_VYrwMV3od;q*aW{Icgp3E?i{9x zfq`&E(e@p+ABXJW6R5=6k?1Gyc>hjtwTkOj$S9?=H!6LrrVY7qDufk|z3frUqKY&* z0DosE+;b(^!8d4k#2;jYokb=WR zD+e5k!b)5BdSjne?h_32)AK#5f+%e+S`Ig=BXF#)6ZcibO1p2%f*5d#%OG&YVgQLc zT3XLG`P7l&njFDK(G6G@8MrW*>*u_V_9dJ@896-fcEi@0CQDzyWR8Of${MC<4)qgRF-3D!ao5*j} zRxRIt3G^XUn)W@c(^gX<*V=cLRv!(XaQ-d)-ZG@WYwl;uP%?UVp`Zri2f|s=q%Fp} zGQ7O2m2&l)Pnp)S}GxH*~4q- z@t%Iv*YWzu_K+iyPcZ(H?}z2A(N%4;PRtQLRJ>vMhrT#1S$1b2HN$gs@XF#M87`6b zRXX^EfNbY`kPX*fayRX6PuLBsq}}zny>BSIW-zrXuCK}7K>v$6Toh;+pTuW?o4(>m z5X`num;8lPz@v%J^n-+mmNuAk&OX$SY1x(T3}&dny3&uQ#V@r)N&u@chKFHOLn`TY zH#}W~`fR*FBINd6zqKec?Jk8?Gi$tzWOszN%0c-bMKQO3Yu0E|Dq}aywB>qQa6!0E zMKdQYDAKI9%n&>d#y)_~g;IWzGD0)_Su(BkUMzA^UK|1g6_R;jf^^=Agj$<bXVx!Ad1$J$CCc*VAcYq%`aG#mRU44EDuH_>CZIIF z(a9v#PNB*ZVa>zDxLPL9XrXl@#RvBm=CDih-rpVZEUGJx#JE-lbUbFEca9vc@S9HkM~Kq2Mw zmfY$w83&Zw+&#Lh`38Kbs)+`JL5d!Uo1+~dhWfQ{WCx62jX&P$UKuaXMlhjW6%7Xj zc5MDtJ5~6u?co(BBEeczZ*GID!9jiNmJv-n zaAqC9#=^jgenH&aj;TO=vKj?xYZCH%Z7y*W!2wjuTK$?jQ$~qlvhEgvQ)8DIKN4+s zK_)-BV)T*L>WizPO5AR(QH-LHo3=uv&auiUsT<@|F%fnxTkoC|@nQ9#jbS?%$Wh*H z&I!eEo)axIFr14_i8hR~&F8zzFUnLSq~N64@N=g+y2Z~qgLODee(otBXv?);<@||p z?gvzpbb^o?2huReW`xY93;J55y-UT=hx4W;-MhI9!~hAco6e}rn4pA-2@X9f0nyT8FNJ@TE|EWD=0Lql zgHOI_5E+czaK>GIp8FtspyE}!K5Nd5iy^rnqy=k;P*AuCJDZ`< zk@KBsegcbC5{`JY87#gx-g%cvA&CiI_MWwSPt!GJ1L5m~2lT10SM7+Z!SM_7>k3#d z7(=#|XVH(vQp9;_Ap1Vssptdlt1JecA!d7lDg#R^QxOV0T=A3bFUeGKfJawS?Ya=D z$*apcIw!d4Q=*$QsE=^{bTyEDW1A?%PrPIz$@LkE7)DMbzf+&#-xmj3ETRfm53jRX zc;4WfG>@{oR3^)u(+5N7$rm2`i$~`oc}7e&M`FL8al2-E>Wzu|7Wv#m)LqsrFU&{W z=1I67VeF|(c13G~t%@oEV4qrIHA57Ig>%yW`PxbOE#KBIag>js_u8kz4j*$Do@G`6Zgt>sJQk{5x zW3aT@_N@5A%E`|cdI%U18$7OC$-_EyK~ zOi_-atW=h(JlNAoIG?gBscdHjFl_@YA`Hx;NDz#C`H|~38;q?oQWbMLV_Z#h8p(f@ zA5DD1f&Un5N^;;vW#n~iERnzfI!FMry}Yo0T6Oydq7IG*uS|Hz-Pkx73St*4%vN^j z+S`+viBXr%UXd4onHU~M1hM6ZXwdk6Dgva9ivcgeRAAlLVt9Q}N>gW57?tjyu$?=- z)>D!DyTr9VLf0ONtHi%56}fucoT3_NA-cbMU;4e7p?bX!(q@Z%0x8tAq;Yt=#pQW> zr`#SszZeW0`%mYJbUPCua8hx^>uj5~H{(C>@J@enVS}cnfkb6x z0a;9iAV$32NRsfZE*2mmNd0nnhmcvE}G79 zH}dy#%oqg)h=mK9e_2QqtdOR@u;?!ZJRxF+5;$beI(8?vS}3YkY;7HEP*b`nIooVG zD$rv07?5*-5JbYgc?k16=}7DuOLhhpFa&X|=VY#bIXB<4H#Po_jes(A*t0a*J$QKj zX}Al)UPTKR@MFN3SL;I!{6g+q8)yAz+lR_rw<}=uWu1*kXPXT&MR7ItJ-`C6fnw`$ zt?J-E8X8CbP)X{}^@T0pUZNTRWVOPbiAQI>Qw0d?P}Q@|4Ji$OVOZA;73 zOKQtzcjcGG56meAilt&#rYJeU1c&=O+RoevUi5pqQfe(@4HWz57d@wY-8UhR2HG&d z9=4a8p7)U%98i~C)dbzMG610e(Vv=nb&vuX{Ko$eAbrWcIh8)PMQ#B2&Tof|z*$Yl1WnQg zUMI18O#$8~tqq37o!Zd_C-;M&#E=EPQ7|zB7u3 zbO-HJ?iqb^wtSaLEKR)t1YZFtsP!(;p0h0VP9T=)T-e`R-QBQGEOjp*4kBOhVYhtLA)w?EfcsL$ZR6tkB7Zf2 z-*H&{-v6j+<79T?WDeBQsbk&y(JVJE=TY51fuD{#i*sTEfe%~9Xs1d|b5m1y{wNE- zeOS5hU5S`yld=0Ye^uvW|LsO4?#8whY9zn)K7PPMI31b>)OUmYj;u_~exr)hZ$TIM z6yaYxH8wK-(LZqii5un1nA9tg{Ia#2Ibi53EtP7RB?z`h|up zqqqACsWo>x&iXp@ax&t0jqmwQ%;2Vg$41>ki_NE%)Ghjhp}W|+NP~_ixktIfF#q6l z_iw<^d3+-a5dInvB5hQf#;c%r?y_69hczdrJf!d)kNw$K6wp^p-;5g6$EqDCRwwL+ zfX}@3xEN_ouBu()qs;k~S*-^4O=i7nKT5i+IHR!KpqVWw?SRePLPWxM;N zh;}v*SAQ5r zov{$wuDB>eZ9oV-7=Tl}Oj>*n5!;|uyjcn*6fR*_qGaN{j~jU>nl4LPpT za%J`z6hq%y)YejfjU9Q0{#7kOdz3`1Owp@FyN1TlzEkaLuk09Nn6H|U<({T1U1@6{sUWgG#7(} z*Y-r5Xuwn4k#H6kNQh`y$=~VEEgNR9$1I~S$)5HcMYg~m$0SZ%fG;ai%WVc48pS{t zdok6wmL_{QiBf{JBMc)+b{S|YvcSo7ev56?Tx1L?WPH$N^lEJM)Y zkvCf=MAq200T5yzTY6f&WI{`*d?(n*H?8^8YxM3vws@sFJT6`8M|?He{kDm4zL_CBcf8clt_ESqEZbMxytHCMVFj6L8;=*P^gQWC%%#nSu=Uh%+9 zIN?9B5!}2@Ct&s?R7hfc%M)YG;MVXgcNpYR_pETYK>&lTGu7rwGVkIiLnrfN z>O{IBp9F9R-AXssalrP1`p7>h)ev)-Ll8%&GKf}b1pTKnFei)ff*;u+q1>l~d`ZZc zuoiM`*yqhpD#T&F{V!*WBS{Avyk&J- zj>PI7aBN$!O?xL9rV7Zcb&8=0$X~zi+wLVpsRBmJVNCEz-{Ha?eIqivBy+$^?XJ>Mg-<#C}cu;nw zF3fX&YzQcuM45Aamk5`Yb{n>^8gXv1c`CDq1UU&cT{je>ZjeQ6P=$fAi1tpM2OYAi zM&-Y2I}2_|QfT9(yr4dApQy}oNrvP2N?7RJDco{d%Mjnwk4&Jey`IjH=}J8kApySd zE3vqro@PzjHUalSFo(uOP+m+2M`KtfS~L8D3Y1+hm|`zpt0+HXVn-Ib?8lFAbUU@H zGE;n9q;m&5yU2dj|8~jk zIJ&KU0?^=?Ld+wbhDW@p3RB#4X>raoHiGG^6cfB1YBpqoK064d?XZUO5NRk6*IAyA zF^PtE1O}f`!-<4`?L8JmgKFARookWeC}RYD(Po30Rl{cw{ag#aV6MP{hP@?yqmK_0st3Evd=$Ur5imqk?02uxwNHf1$dT(JS-0$7D^`=iIko&=-h9 zVj5%a_jDs&`j2d)t%bu`6Ug!;EkBR^16&stcqgC5o?iS@UcaMiAks)?AW z>POx&@S~xI#sbotHj-#DP_m}sesq{u@W6!op$BDRoNir%emO$!C<^V~1hz54_0rVh z$m>C3=k1`R&HmNP)c3PNITE|H3WhN}Q*VXS?BlR=3Pj3}PMj^j^8%Jx73G3Asn7M+ z^`l+}p&>*XZS1*6n`jZ?zEt_YTT!566eY5?&dUP@p;np>T2~`nZN7-`wcMCY z7w#)B-XPMA?^#21)hWuxb6xib~Bgoo(kvT|u*dXMQWNvvEQz1$@kH$|mz z!*bjW9{YxeBnon3R%7*RnLeSX(K5RsHpQoHrZCxT3xHp;t&>NHsRWAKtv>M|9VHBF zBF{~vbx(-A{PVxZF{4ND$CM9lEF23Y*wF7M*Dls%ct_NSU69IYur?xD#R8A{yu{R{ zOe7^*S@695k$M#e&V_#=Z3w9@%o*h<^}vL?g=~Ju%CNx-G!787@HNtJ_t;ymvzngf z+Pd;}Bm;j36Bdi_6}$~jmA{yV8VS!4_%2eJCO3He=L9p^j|9_ zwcL>0zxRSKBBGEX$}ap!=fn40d~D^qC?svKAp^=bjI!eYTn(_W6>5{AH}lZgljJWa z=lr5|nheEQ3ah+rIieR#8%4HJEtppgfA9&}?{wk&TjZehJRl!m{-`d=t3=I2qWPtsz+S*C-Cw8@nsTh`=Co)4#OU{E^)+1ZF6#%)afUoR@U;qAYBZB zz6-!K0HVD#6P8NAjB6slXodDS*>D9grT#12*))wsB9yAHw6aw%`87h^Jh3M7g$xsktov$F%BlbmBLT;j6rR=jd^dCQJ&-ta9=abhjcwW(xk1 z=>9RG{P`}Q<4B<)4LNO6{NKdL=JY-FNlze0J?g%|7d4NOdv-Ds{PbQ8Pt8ohJQ1Y) z-$g&n8tB_V9*YweFAulbtnc|L5uH{gXZPt+${%Wz7EuIGyJ$>Z28%ja!<{ zl`WD2^207&7@ol&L8EK+S9c16yEf`L2@((V4$&!~^&*eQ%3z#Z=newh>y<*qQJgG9 zF=hSYe39$?Dbh0z?5{?eX`a_COtgD;)C2^dnT0jbZWgYuV2 z7sp5qt<^2!sZ&13wueRQ%(Y8)@=^z8d99&Ww+fty>u%}$z4F8e+&NFXWBlA~t%4dZ`xO{AX)SzC<`Z=r* zZ+OigD&b#UReG%`!54aFM4cBfuIg+T?_tsRiK1CfFODTwfKw9a$_Zl_9+LPtVchCp zYQ+kji^nLRPbEN$x74pzjoqy#vJr!xNV z>?n#KAo7M*GGypsg=gV-D~d9VO-N#8n+po`wrZ zte~0glpV_kE}B@zuz=g{i;D5mMrGWVe-$1iXMR>jsytUp8l8|aJJv0OD|jiwHS;)O zIc-M8TBeGFgr8*1h`1p{ef{<88Mx+K{uSQgv73<=2kd?~oPuFKhh!}YEIzAz$F$~{ zi1RMXYxL2}b(%wLI5hN_#BFsIe7&W+drXZUF@y1sUX{~_i1A$s4^y4e zoLC$IWA=A7CRvea3^@ZjKa0}|m+nP^Jh!Zf42udcd)Xrq8IY2Y2 zwapOXAd(u!m1fnTX%NzLwnwJL%(SyYB|cPibhmg*YgDj}@QFg%z*veALoAVLuMs-n zhVRZ1>M7-spk$3O`Nq_J&u+RJHzu6!9DTZ7t~D<^jhhzS?yOs%;*DL8}Ov~2Mm z#AAMJ{=TE}m>FP&^&2@kYB_;WiaT1+Vgun=aSWN4?0&hzFPnX_vr&95kE&6mGrd@W zIACGx7QQ-KYWw1ogJ84AMNk`L8hG0KyJS}R-?yUL&P9j5I&bE`5MZ=XD-rN)lsdLE zp%0fn;u(&VB%T{LaZ)0F_lSH$;w=%)n@k+R+^H|>K09hzSXb#(S)XGcnMp%1+;RAc zY>u#%s6P9h@4ji!(E0Sy@y$hL1bDgvLPQ1wH{oVXLrSFP=pWqH;&v_7?}z;@T{6aL zyAUe-gMGN-!Mm|w2iusl35x*HX!Mq^5>KkO0sU6o;;Pap0U^h&DYmKSGa&3co!lvJ zwfTJ<{QH371cI0|`{?><8aiLp1y0ba(MvuUwb7H%gn|QL(DAAFG?^~#G`XM)Vs^yZ zw+w5A-0Auglh4k`aokGQhJs42I6psQ#M|tr`sqxoLlRtD!A_}%S!Hs(RR}IKv82WytVQ$m8re) zrmvRRamMPO;)-OG>=_kh$J%5VL37UlBilgd^5n$XDmuU zK;O~)pxM*Q{+nG8ORhX5S{1N`vp_$J(HvGZXt znP%%VVIkHXZ|2YJ8G8q}CCF#J<(1F{Q#5U%M0*|2#e7?@#~=0!ECH!Hl#!3kJ`x7v z)QBH!u6Bsh2~&7Xuk6RGV2G5oV{rDlNeUI+fupizKrncD(n!w1flicdXg1a=e?u4f%L#y3Q=>GTzp;03{ z@(G%az)+xHzL-6G>n7uDqU_uX3C{W6x}wWj?ld^O>OuBP zj8bx9#UR!w3vIO?=K4=j8KDswYIP;$;mzM?6?=W(m+i&BuW8<-gv%X;r}1RtL8SYU z&(;hSOQe68Ct}6UQAKM9Te7kZb}s^l8Rn$nyYJyB=yAdlphb`iC2X{{yibSwXvEjB zk-Ylbyop`MtB9p628p7Ovj&q28mp;@(=e=WQRT^Xi}UmR`CQp67YZQ7Tfe9wTupck zOL}@5cE)Vl%0TvK2LJ7lV!`aQ^bCOqRQ1v;uE21~6xQT@(t-Z2vr>tx9npJg=2zdA zxOt_}jda_SeiA?wpyfR_87P)TY)tQ2>-8Gs1D!sCFi z8B6!-os{46f!E|>nA?qUA2IxPkY z-s!dYiwkOqk7i8`-Vej-S1Y#a2uzX@8Qj_Z2Dp+vRY9-H>$xJNly~d!(z%X8ZO|5w zVEAhpKFI_XInLmh3|m5N>LCjV1-D?KDy2K-; zt4A2@;ujN2O>JVMwm<6``{q)IE4UQ&w3w!1s!_i{PSC0gUq9fHwBX@tLP13F2j=Xq zM}r35jC$@YPKD0M{bVTqlb_;`Z&s?pj1HFvM?WUOqmQZ#Z8o7xc2g5Z0A+U`N zlYSwqDLDe^VNs}MZYh_qZfhlxY)txCs4eSo;q+Thki71Xs{CqfmxfC`r=SEOJ<@H7 zxrY4=LH^;V;@S^`{*-Xy1@ACwu4PsrPe`zLQ$hKxx4);Q_5QI%5kR5b)ptyRd9FWj zDce&Ssm8}Z=NriKhBkGR`jXqZ`*j3Y5!+R%>=#>TpdT6WJh!?CNPfKWnz35VO6;R( z<{ENkTK6D$2EJ7v4`tIFEjlu9A8|ybcjdJ%#37DCHM1ZiS#A86d9>EztJaLsm;g$- zH;%fs(V4E`3C$Lm0m@!_Hr0^MPW~`hTTMER_qu~7pJV&NeVA{AQ6k6Kh*Z|p1)Az)BHJ)tgu_+A}PzJS(-wnfItw7!{@lB zA3;>?=Xm3&u^+}RS+uxtxxlwx5MmU|#xx0s(%27oV*WG8p zsT*w56<5^H4_vRd?2N!hhWj&%dC?Z3_ zugx7jYywF2-=f00Js?JWu&}v$UuklpqjrEtn(O?Omx+U`X$|f4^dhP;2H19}6`tCX z#S$Qy=*HfM9C=Ok1UqAmW*dGVfOsR?KAp_)D+o76vYB=BjV6}4s0yeWsB@Kj2<(*< zEL@PnjzCiJQ9hey7gCtM`^B?-*z2lA#j>7H3o4|+8YDMl3TF)%pUy3QZHY8=9j}le zF`IVyGNPVs&C7iq6@%(>c$fYtGIQ%3e264=OlJB*okyT`W^Ll%(>sj-g=7FsBrmUc zD@w_7XjzCc_Jj8rHj>BcznjoTam>?hh=;vif0({(13%ORS~Tg(W{777*zdMD2zk>f z+Zyv6{p#)dL}P--*#7w1U!1-|Rd~HmaRSD?%k@mbowN#;RzS?hD%+Qmr}_gqiz4hH zPq%xqGd>g$(J zf;=$6smbE8y=I?o6Ny6A47TplRF|3)r_VoaB5-58BSyN~Ax@3q9D<#JPYEM&aH~R& zwJhitJNf|w=W$aoRYh^+?~2-A#Wib1XR$?4*i;l5{T;pZ%{@(-bvh)v)T{ndyC%;8i~R=GHf7#p1d3CYYt{o_1tiEZ&bfbk6?u1lFsMyQr>+ zcph6yxZ2(c--v%H1u~dd*gq#e)e{_`h_9N<=8+uj4)h_v3H?)=iO6Zlz+g-#W}v= zrO@h(1TySOH}=~}qY)bN;d|cL*?S_5ufmPO+a%ahkyriMVjQ0X7& zo4zg=z*7Ct;12f46^$JCyM7PwNnScDD+FRG-0~ACLQ@mRw{8R^HaUF{xVAf(H z$(NN|JE|(O((~W<4XgtZ(pvduPg7O2X9Z~xISfP8g_N!Zj#D3+3!+5}PB%;QK4 zh!p*n6q5bxpq3LRwlOVI-Rn~0W*MqM&k@iUp!cI6A6X*{kHYR8aliB<$R;lhSEzq? z4BmtLZOon?GddBEVn zeS$|T1Yv^C&3{mZz@Q#`f~Z3RM+BI< zs&+kQ89P?qYqrUi_;l%vy?qae2^`OS*>$wx=msd5GGo;QyUzCr+COjfgsFLw;^Rb za&gnqK~toVu>*gnO|~xTPe3GpBd<_Yza_OIpCFkgaPQ@8Q*K?hudgo7uAQK#aEDgC z9Hh~`pJQkJ;hJdtbix+W8EW=5SC3E(_vtAvCF!Xx$Q;zUO~GVY-PyVK<(uO*jI3^? zez8gf!6R`;o|`9$IQkx6zO!JS`N|_#9Gax6fecl{d4r2E0WKYSXKe(+Aa#b+%jpRN z7*~NQMFO>wB-&B*MBgD=o>?M=O6E;no3Ycuvz1%1FNLD;+U^pB=7Z-*`}K z*7?y(Y&C7t1(2_V-Nu#L{`0@BpQiE4u3H?9Zk93Z@ngr`&y$m_@~66Q|Zi6jgB2k&*=kZyV&WdHUIRue}4vf7t+IZ_GE+tA)Gz z1_-Z;#m^QzJZ+nWq>ZtE5is*5GRiBqAIQ@RsS0D3kOsP)V71q7#T|y{R9^+pQ5M9J<>>ZRZ$ahM|O z5c{HX*JTFY;3z|!3I8dlOUyL)g?KO5!zV9=cl3y*s-S?#reeH1@V&GwL&iL(66!Xp zY>6Xa1Icw8vh!NkziE5^ZKy}i8du|E`%>*M8bM08G3S@6C><=ReL#TvTjCrNA1Rfd zoWM(`G_2o`Z|;?2HI9J`ovQmOhhB&$Z8_iQtrYD7v_F0vH+f88&S!(C;}fvkKutuW zGdkp~d7|G|kE7oCVI6A+GE$T{$GfcfJnimgig^i30LdhLI@U|bvox}6o;8vU9!ChP zSM1SZ3HZKxlr=Aa7fZ|+c#)Aq@~LWhGOGvdFtJtmSkp*I>mY+3*)H413uYWoZu2BV zoOR`Z7@zlwV~_S5TizkQWLZc2Hs{TaF}OVNJSyZy>T;9K3vS>g^$%gE=fX^PM%gvJ92) ziH2&n@~2s6NF??XT!NvP-99t>Hw4|8&trV}5N|-4*pY#Wsg;U~=A#={ekoF$X<4bB zG~TcPm#^$`Y4(XNnUaL@!eZo*l(|5@S^D(AmrTi!IZ1L7u#xM+V+bb4RROi57SHyG zoM$CoDk?6Mflt9gQk0C#l$3K-8ciIpj61F?;PXj8yofeqyI$BR{B zm_3axKNZFsVxy?=Ehh|d(6C*BUECrYp7%Fd+gh%E^ETfKDZ1)+(J{^6k4cc zZw=cgQVg#NyNnN&b}I3gEw;0C_}?2;KnAr1u)JOcWjzaDd5dDzD@RjgzMZ(s4qT8i zy%B4cHN3P@MooQ_FX%Bj=#Dk)fr-lkrYc49#c&`@Lgpr)#U~-fn45- zu!#WU8`byAIw^_6))lP~WubKb5uoZ~*AAB&DM4q3Ru>1L#laJ?vlz@>!;AX%4T534 zdc-LTuKU5AtacP+?|j*jTz>ncsr%#`f&dpgk!_9I=VM9!Y3n6Dd~1@VA`*E)m?w)@ z-i4Jey}|N_SKML*2weQONyCx@v{m$Vsh^pYGiN?#?h|y5KUNhp4ed24r;1A~WSecSL8ZQ;Y_S-Q= zu@o#5&n2oAjTRHNif7Mh(Y1SZ!~?%(g~R&!zMDUmU#WOyDl=I9>iT@ow+=}ll2L@& ztD`kUMn3rF**+_B+3eSS{#^1A)i7`?b`y1-0$h%HNnS%{-eL(+r*$mNJ$Ua)Z(E{b z;xNc;%R!CoH({7$y1KE9yL2jj{`!IbQ?tf<(YvB6RSGBG-|=%|5N|k8+cH@0jLNbg z!r6J(h_`_WYb2Y+qF7#-h_LCKhZ6a|MTs=AYA zfJy<7nni2{i@&**R{ZQ|e6)XOe?k`xB&4ikk|(O=(av)AqhB>XF@$(h4=2Iu`IXCk z2NB!1n>g?v2Y-m@_Uay{1{>^jP_>4{5g4U>l9*iAH@Qp6BfgZ3B_*q8jJ>H(ewPq8 zA*hRT|Ef~IV{xx|IaczH72G=(q|vxPPb8C%><6(3YvD%?a5fa97M&3!6=sP)4Mf4r zkm1uZij+RM$3qPgRff=<5NDrV`+Zx?(`{cqM-@^T0ILet5sbvxc`^(du2I&0C9&uK zZiy&feYd5YPs8)`?Cb4~p4nfM^9s6;^OZ zN?{S(U(ReI-IF0cWppQKUv5%7-vd@`&dsMX?xZ|wxyq0>eEF=;fkT5Fa@pl~k3Pb> zSj5R+>_R6}8|{>1oCFIQ;J1>Y=`aMe`ZZr&Ft&fGmxeNWyHB9nTu*f z#xPD$P94QLEJ?orGqL7$jGcoTVp+HI2xd)3hvgCGV^$&1LH12fJWzMd5|z64TmFFc z;$DtQvuwtfHmB9g1KIEI>^DF^63jKVOV7IzUZogR51U!jJi_pirSAZ-=2<8*w# z3Ou|sn`BoU*kywp)jxhT9Prl#A?flYd}I zw|D9MCP6#|UdKnDdtu61B-tdRc!A%^Yys=d%DW#hr9*5lM)X-yixXa{T5E&z^6>AX z!bF7ntQXiL5trncjP?WYva!+A>Nk=k>jR~W9qW5-yNKeV#XdJ3H05jnX~QQU!s<6> zMn1jX^dI@Su2^J2KuZgwO|jTur`-C07q0B|b5B?aGKez!2FQnI+M|5Qv9S!Tl>NE> z1xsx%H;LN3@_7&9^c24P>)h)VUD0sXfiQefdcyR$zq=S4G|B%nrIEUKu54*@<@@1{ zhNn|g$f%&j_Lc*oHO!!kw^QPSsH1r%`o!zC__ET`_;NN|CMFe!?bQmqzOnirjSE;& zfKvO{5Id&l9y1ZUCGhIXyocVKH~sjgwoQ|J&fQ~-NZV`l#%`RE`kuQa`yG5TG08p3 z`a~$59Q%W8D7CaoOz_0kc}9ezWtcR5)1Qo!GR5zQHH2Vg(^Don)cTARA|k;=i|PS<7@ zf!qNnnry700+AUm{vS#DS7p7C;t^KKPD`NLJbnU^ZiH~m2 z4-|Xn_fGsK@H(Df=gl@$$i@*!M$i`4cM>D&*UixTlT1XD4P|M#B=PL$7v2&&%4q<+ z-t`=UT5gU611I^hi{vAr(ji0YYuyU34G4AiJs0xOY&;*1uc*-1WK6&TtM$0guBzTJ z<5|zb{AjNVUlkZKspGInVt`DIwR<&r7Z7c`O^zC$_zIZ+xwgV18L8@R%ZRMu19o0{ zq+faYVYq$9lg>#!VRMG?5z|BtS?!3F_S)uQ1o;To*MzY>T72M<#-TzPEEix;5YoCR zIfS1VRfz((U9kFalOD+AiX^Pgz=yetZ3 z6ZT4*v3u2@Zn&)!1-@QJHhjgu0pTCPe|xb&?Re;wg`){C`VK4Y3xm;oRr;}kS*MkP z2x^!fcCMe2g5MMV_Bao}R5iuPOXO z&{b~-rs>G7q#SVTLXhoTVnpIkd4Q>nThM$6gEc|I=A)U>so2y|`Jv2<4@`uWIfoZHU z`2dcZwDq%m{@!E)f{*JaX!(kWGy1AWOXvqFGX_0~ME%Ex6i;Rf*uScsUDl>|8F@PB zmCJSZ4AQPWs3n{W_1!sw93ZpsH+L8S;k=6Hm%#BSny9N)KME%oPMY?Jx)Xx& zEd%ObB}OUt2v3@nZ+Zh}c)g2$5?hx(pd`+H_0vXo=uG-TzrORva^$Q+OG-<9zU9YY zIzD)FqMWh3PA{{YojqAF-XBwI&nex5y3g6GAEzwfEEndu)0kihFNVl9qgdld1hfXl6hCgQ) zcq(kLRR2*bt85>lbB=KoI_64T5{NYAAswN4)P^WzGvaWkjC6py(J>GOSO0a5^XJT_ zayLrFxCJsX#V>^GzEMkStylGucJEHmJk<+e^qL}ar*%Zi6J8!9QJ7s+Y@?$qPY5m5 z@udc~hJvtd37)#QBLr~9r!Z~}O6-Izsm>4Vz#>w_9u{;ETE5km6rL*I3{%AYOQLry zo|@UTfsY}uLukeefcKJmygv^GE#%mCIuf#BbnSMdZ^~8!6I2PH)(A5UrrQyQ(fb|) zLwYqVSxdU?2F)>Wk!n9(GbW}^6Jg+fhLn2XTKgEc-88zCbal>uU(Siy1nvN0HR)(D z)(!{Fd|{&?oP-#T?{MgJUkOXvFV~XRVv};p!S%mBiJe}Wg?wetiA-wR<8n$A0WR~{ zdALJ=KJ@ezfASu21AoE9O5pp7s44dTnUjd9t%pe?p@pLO`cfp-dbKbF70VD|=7zWk zr!}83I4mM(Bkg&rJ}so7TnrcMRnxrH{Yr36K7mjx$6(#hNeD!MR%t0?@4$u%+yf%bYA`S&RaIUK8e013X66^SwJ? z6*q{Se^bvdJ3P`;(k~n#_`^Dei+uN6#ycpw-9~@3XrI#5t6}3G*;lL2Jut?8B|EQc zNf;IgA+jsy$W|{d@eK-t*ks@e%7cUJXe~UZ*Q*z(yl9swPp04Bu%!45w|Z~ zEY>L5@p7jVC!#c3AAY!Rbw<`O`qmpBfAsKd+H*4 zp9+HeN^HMJ`B@2}s*AxsY^}^jK*n=V+XmTmAVOg)KP72XXX;IVzF|JryjJ>>#o`~7 zfhYLJ%(loXBA?@~sD%4FWUklq88E>p3d(ud(rXLj55rZ88pEYRcl9C!v+`&x>E+X06z%-h1dJza zaFDgWgcW$GQ_kK;l+fknEk&C?e}a#Co7jl-6RqV@0-(?zB>Iu<`(VnnbTQOX`23cS5;|a zR$?sPT<>J0;_Yu{gUoXTTJI%fSrfD%t&s2Hjz+m%JXs0UIryaRF0Lf#)Ci|JU*JOU zTxJb|DnI+KCzH2YjD}Sqs9!9Lt5Joov-OAIP@C+2E7q<+Y*0F=y2KjeGZNT8W4v5b z_-suetvQ8+RLSUFXzF7sj-&!~$28lw`H&I8+={^Q)j-0~QGNKG)auB7;~sd>Q2|0{ z_Pu#ysh_~b*}m=aCq>yuIQl!UsO948h!;dpjX_MSb<1hwCAQj`lJ?v%^;1l|7XG(d z+yV(5Om1$M>v7b$pm_oRv*79BDc0JruDHB!wrx_Dk95~fJ8j?k-!P!32I1SN(KrrN z*A4~;gQw)A>iqoZW_h}_CElUJo(w}UBi1IKEZ;{;+uN$-YB*_F2jWL>XOno#?){Ws zUELBvj0)!%nlo=s^)!NLZGq)OeXOM>voBYh)7E6}7^+RkBuS?idv<8=cc$rC5z!w; z=m{BOutxI8a2F>7M6!P|*zk3ZPAAz?q#(KMaD@2=%EQ|6Ma4P#Qz3(P4@e-EzPNKNj~qM$!p_Wmn26+kJl>grs_r5`3DR;S{#^OI9v3T*bvOms=xhU6fMRp{aaHhh`p%fCZt_NQY(oNou*BY9YuIG2@X!ctB1c0o{3rN-h~I z{oHr=lQF+^`djHP34v`Zu>=j|$!}4@aaw(ln^>)IJ{Z-8(_wapX@vrBi>N(b5pPm> zCwsKvoUs{?%jjG#auBib3^TcU$Qk zItR%a%_rE$Q&;g0v~~TJ&1BD#uOj|KOXs(AR>2LUF5z(s(LTB6@AKvoI1JD<_pzM_ z=&V}k;TT#L`1+1#7F?uKEjB4-ugWP`^GH#r9q48-H%LpVVxUL$M=D9qb#KMx75v;| zf#!ykH|#Ry8DL1RvcfQgf)XVulD+gY^8`v*v1;eZc|~|zHi~3O#dFl#*Ev$6!&^bJ z+(Hh&52_I>OJaU0>=Rv8B}<$^bHQClCJz4;`-bb=xbQ?gtkTOiAX?twFHDIk}?kXigh3<3cy|SX3 zx#L##=`e!-oz{&5Q^eA^Vy!5}H_fS?qC!*|LS4kP_OvsH48|cM> z27}(6;?1za_kn*ROTxS)xJrfbs?vT7`A|F(XZo;!?Nm;0>WRfdKPXXs`(-tFDD-1P zo{p+6@-4h@ULU3+Y@zH04vAWVk3v!N(Oq-(kA-QK?faKZi1ez=9``T8J1yz^Zq`;W zTh8S))!Y6bOAq>2gHnC%5AZ4b7k(Kh7qWJA<{GO@H%E04Uh5MGhIR&M`0QYZ8p3a9 zC79VE9Zk4F{LXhhn^OyJQH51nrS`|(x+bN;^TJ^vs`1MEmMm_CG zt#nR(DZ%Tzk9Kpu_;EtLLGJF%(b>*>JednB>gGAp5Z#(lX0(^Vk}~s5^QUZzudH8o z58fvPt^2@u5s!<{RUx)-J8rZ`TAd3O8yqlFX%(3r`YzdL`Mg(oup;O1c>TJ~Wch@7cOJ?LR`gKe$=^PR8&)bGjq;Ot zYTfnoyH8m~xrcaa=URLreX-DvRr2ih5zH={?v&@~%;0q2%uyC|H?qEOEh+VTymags zuj+<>e*2TlT@ZB-yoH(3yvtrwr8X84b%nkUIqBevZCg*rQrOpDA@T}snD-IF$Xq(1 z5C@&lu{3G8Q!ZYn7ORDj311CGv|N~Wbnuk(((9aex}JMQSD2P(>=-q#7PJ^Ozf5P1 zeID2t&K;F=lPA0mZ{>oz?lQk+?KEiI@DKVn6882b3b#=nh4dl_ z;&j%{HJI?iKJ~Sc*W*@O*Ym7SG9;T;dY?^v%hU*eC7QEsBQ0}or)Mo+jnC)>^*I%AC`QzFY*USDC~59 zje2tFIuxB^kBvsC`!s5M1~?I0MY<#ErkgHMF12&3Ge|1!~7l00@$g`_P_ zoGG<`&;BD%_x~%9`;Us>J<9j*ky%Adon4$Mf!u6=tL0{gGGqWKsd@j0!Yc3TVqAWkl* zToynE4#>sM4$b*bj}ruh9{;Du@q4;pHb4dz$j%8>%m&~<^RfYaus|R;H2=@&^!Er3 z$i~ABeU}5^!~gRQ-ai+m9VPOg7Wn(e#s>BKLu2RuoA%ot5OgdDz(WWEa&r7b<>3NC z$#Vf25H?<3Zg${*)7f}{TwI{PFkW6RF1Ek<*m${l{=z^!Je*wr@bR$yEsu?h7X+k) za_0d;SwK7-|H$S7aR9mhkq!Lq+n;#=0|*x{2j|~2I6z!~Yv$tO=Kcp`=jQoaGAA!L z@81{~JBa=7)p7E&1OIrF=D$D?H|SqRHZJHWk2e`6fHoPW#xZ6(j&ayfWGyd3}Vaj|ni$qNBA zFd)trkwQQ`0H6171?<0>K+vB>02*cXKltBN&_6+82l8uL7?&1A@bf!zPBkqZR+ds}hv0=fPX z$OHN(JvexN@5z7U@%*BnFI8Ju{Qqb9b9y2>yBIpTcsQAwA^$dwn}-*f LmR3|=4Eg^6flH;B diff --git a/tex/formulas.skim b/tex/formulas.skim dissimilarity index 80% index 95e6e116ae2037466921e2bc8fff4c941dea9e7e..b97c277f0a07858f805da9d25161828091585334 100644 GIT binary patch delta 1069 zcwU8(ZA_b06vyv5_qf5fLe&+VW$sylZfqTEvApOk42FPCTDJ~?Iaf+~n!yUiwkWmK zUb4((>Jqvdvp3xw;|mhRhRgwbaW1~hIbQ(XWNa>rS&Y#bV~jDz%!i5}{KUB*?n%zg zFTek}!^z#Mo*I*J;UZ1$TB9lNL34gVVbMd6ls&%DYJ0M#u72y&4p*ovQZKr99X@ij z{@7c+W2ev6zaI@Qt2%M_J@+maC^AH*ST&(aOG&>kv({?Q-6;qCLfgOOer?9m2bM|8 zb%F~LcZqpozDN?uVu4sF7WHRk>sPGIS+&}*COQ>PUMEtIja!OK*2fw^ld-;3;gtG( z&S0I@Zfk6jU4co}hVn-%DytrgMZrAZQv5{q@#@mpXOLC3X|vt7Wt-K$!Rzt*?CnmM zTw}Fwt}GL26-G%pOyNFNd%SjrnRruI;gjVpa%VtSA{bNCgi1j?vprUXQj(>(!P)C< zER8i_wn<4Ox6hsAS)V?jB6_A&yFOJA}z6&-92+dqWkr)DUbsP4~Z<1 zE!09U77L9?7c0a{k>gMstloeW*x?LFa%a1z+0`5{NYDG41G41pm>I~DyTjv=d>tOy zUox(Wq@=#7tkj{_ghGV|DZjuNHb^0p(WLaIa9BNWHuS7v-_YEK@5c4Ris7k)qhhr% zD28ih4RaO4wGOo|;BE3gJfq`pZYoiHyuQ{BkJCTXNUk=wqp9_|aaBs{*@RbmC}b|k zGf3wA!h~5~kwGdjhr|DUMh{;Sd5OKsqU-?cWqqul4X{Br#Nup(oo5%==j=;1&L-J6 z>?)gL)9ePj$!@Wq*)Qx@_8a@1{lWfZf3d&W9ROGWX`lri;pCXU(xk{08QvX*Z=?k delta 576 zcwU8$X-Ly?9LB%j=dU@BC3aYInwne3GHtc4ZEb0GF11=~OD$bvksTJBXp3w=DYEN@ z>knm!tY+te3OeaN>{tgu_Nt;HA|lLp(c4xAz3hR9=izzr@M%?EN^W;(3R2UC7EUZG zo}`~V#V~c+bmQy=3m2DH*jG4RD_6M#+ghAEf}!2HrICyw0wTLtIc)Io%zS5sy=a3s z;1}xXh>@x+b#~6E+&m$P1d%8Pi6o&A$s$FhinQqH0*!Xe*m2`^6GGoxj59_0(N`w( zEQ?Fy+35EBz5c3!(%|0YjaaPl-x8nC9dK3HE7z>|dKzCVOG@XI&7C)2KF)?DlX;OX zVzbI0Sd&<}WNG;_S%IARy4(?QSmi=w{a&kUWE=7nCiCjr?%F!5?1xq#hxRo5A9nK= zjV}({)Vx)W;XH4b1CsXd<=X^RFhD`tMf>Rxbx}B z+`(Z!%~8I{m-#C9a4g8rxtII6pML;QAO#u7gbMl4p%{A1fDvXmQG+@(VJG(C01o2_ zI?;tNj-eYTa0+K|7FTc$*KrfKaToW|gGYFRr;=M*E3K32r8a4=)J}f{9!P49TS@;U G9sC7Bgr1QA diff --git a/tex/formulas.tex b/tex/formulas.tex index bf27a22..f67763d 100644 --- a/tex/formulas.tex +++ b/tex/formulas.tex @@ -295,7 +295,7 @@ To avoid some redundancy below, define a helper function $\hat{d}$ as follows: \subsection{Root reestimation} % todo grok: no \sum_{i} \sum_{j} ? \begin{align*} \hat{P}_{ROOT} (h) = \frac - {\sum_{s\in S} P_{ROOT}(h) P_{INSIDE_s}(\SEAL{h} : 0, len(s)) } + {\sum_{s\in S} P_{ROOT}(h) P_{INSIDE_s}(\SEAL{h}, 0, len(s)) } {\sum_{s\in S} P_s} \end{align*} @@ -306,14 +306,14 @@ To avoid some redundancy below, define a helper function $\hat{d}$ as follows: Since the IO algorithm as described in \citet{lari-csl90} is made for pure CNF style rules, we have an alternate grammar (figure \ref{cnf}) for running parallell tests where we don't have to sum over the -different $loc(h)$ in IO\footnote{It's still a bit different from the - pure CNF algorithm though, since the STOP-rules are unary.}. +different $loc(h)$ in IO. This is +not yet generalized to include left-first attachment. \begin{figure}[htp] \centering \begin{tabular} % four left-aligned math tabs, one vertical line { >{$}l<{$} >{$}l<{$} >{$}l<{$} | >{$}l<{$} } - \multicolumn{3}{c}{CNF rule} & \multicolumn{1}{c}{Probability}\\ + \multicolumn{3}{c}{Rule} & \multicolumn{1}{c}{$P_{RULE}$ ($a[i,j,k]$ in \citet{lari-csl90})}\\ \hline{} \RN{\GOR{h}} \rightarrow& \GOR{h} &\SEAL{a} &P_{STOP}(\neg stop|h, right, adj) \cdot P_{ATTACH}(a|h, right) \\ @@ -332,10 +332,32 @@ different $loc(h)$ in IO\footnote{It's still a bit different from the &&&\\ \SEAL{h} \rightarrow& STOP &\LN{\RGOL{h}} &P_{STOP}(stop|h, left, non\text{-}adj) \\ \end{tabular} - \caption{Alternate CFG rules. Where a child node has an arrow below, - we use non-adjacent probabilities.}\label{cnf} + \caption{Alternate CFG rules (where a child node has an arrow below, + we use non-adjacent probabilities), defined for all words/POS-tags + $h$.}\label{cnf} \end{figure} +The inside probabilities are the same as those given in +\citet{lari-csl90}, with the following exceptions: + +When calculating $P_{INSIDE}(x, i, j)$ and summing through possible +rules which rewrite $x$, if a rule is of the form $x \rightarrow +STOP ~ x'$ or $x \rightarrow x' ~ STOP$, we add $P_{RULE}\cdot +P_{INSIDE}(x', i, j)$ (that is, rewrite for the same sentence range); +and, as a consequence of these unary rules: for ``terminal rules'' +($P_{ORDER}$) to be applicable, not only must $i = j-1$, but also the +left-hand side symbol of the rule must be of the form $\GOR{h}$. + +Similarly, the outside probabilities are the same as those for pure +CNF rules, with the exception that we add the unary rewrite +probabilities +\begin{align*} + \sum_{x'} [&P_{OUTSIDE}(x,i,j)\cdot P_{RULE}(x' \rightarrow x ~ STOP) \\ + + &P_{OUTSIDE}(x,i,j)\cdot P_{RULE}(x' \rightarrow STOP ~ x)] +\end{align*} +to $P_{OUTSIDE}(x,i,j)$ (eg. $f(s,t,i)$). + +% todo: add ROOT rule to CNF grammar! \bibliography{./statistical.bib} -- 2.11.4.GIT