From d19ad14e4616fb90b2fb76dc800263eb6e1e83e2 Mon Sep 17 00:00:00 2001 From: Yu Cong Date: Thu, 15 May 2025 10:59:22 +0800 Subject: [PATCH] remove natbib. some flow-cut gap --- main.pdf | Bin 103758 -> 102268 bytes main.tex | 33 ++++++++++++++++++++------------- ref.bib | 4 ++++ 3 files changed, 24 insertions(+), 13 deletions(-) diff --git a/main.pdf b/main.pdf index 3ed2f861fa23a17292f2573a22b0d7211c69cb4d..523753fe802f652dc50bc7935391695aa895ee35 100644 GIT binary patch delta 48458 zcmZsiLv$_*&}C!WwryKCwr$(~V%xTD+s2KZ+}O7I{oOt5p4F^owa(dV*IX6ER~`g1 zxuTc^Ju?F*4Ee(H=sFA=dm=I#2or01qb4vF;8;h;Ws3vDf4+X9Z&3v{ns;*UiCAvS zHk)m7Onxh~1u+IpMwVQeoVxp_elHkTO0mS0*3QHIWt0T?9}w5tE#819b2e{FQNtUHC zm=O%=UCfLz4=S@boIuC!g_#>D%E-Tvi`%_l1Gc0m0;V{D&&zLqOL z4{pqu)01t|9k1x=`g#up13BB&6Jn%2;ANC$tEy;{qs>nvm5{^Q#^-T}qpr%fy-jYz zTut4pd6$RB8Dwnn{HH*Xu?ddWwme-xj_^e%Q!h04)YLkQe0O zV+&g)tOKv+JKSj+nXC(s{6+s0fRZp>nd)q5vF{f&$yfiU!kWS@tu&2x{I7W1G=^7l zHP3$D0CUlKz?ZQrVZ4>8 zb8{~fTzj>ZioNSchUsc=SB*Smvd{uBR0x;tm}u52UL{vt&>gvdh9;(}#(1Mav)=h~ zRmNEov+J_dLm@G9XgAk}Wh))r1288chfsrvGP4S=?%aiNAIU0TfiLzevP2Nm=Zv3g z&=6A6ghNCyz`fYnF#A9RfPAY7BB?*vY_(Br$WRo}YECK`wAGfo6HYCvI^{(?#`Z6u zsHa#!F?dKH*0P%g=^28G^$@nW$mKq~CqI2SCe+}iG6VyEv5c@AQsQ`GUdJlqd7w~8 zNsdVQ!Q#39ksVRkrjE{xGvd`s!$$eO4dE=p9l&_*ri|?tqS}i=0jSuT1*3a4I!uAa zTp8gKiW@~)-FZTKDe2v@5K!MNH3PX@yG=4gJ;6&7C7%5o+hpukH!7Tvgpnh>C<2Uz z9z2*SAO*Q^IJPgzf@fdG@vmCfHulaBbdQ2u6OJ!0Df{{Fn+l0C#GoRah};L>qOX%* z`}a3cc=|!*5(biZ0gvYxLcGS2ago^@E6ISZmSE#WjS~XqYiatKt5sUX85E-x?#RIv z3Z`<=VlNBd9SigCd=H4l%SeH^#p^dDf4es!tXm$Rpkhgs31=ph{XetD_G6Zy2q0wZ zpHtohQB>XAxcz$wu)+1tT8lNMOi6NnVP-n31L?E-?;hq?k4Ldz)a!rp4`elX^`jl%38r zTbJ~mwKh8?4E8f6GoKgm3=SwqE8fgU(=)9 zc>8NZK-r2^t0A;#3c|Xhl~x96C0 zmHe-)`zz~U^9H>_v(Fs)ou)tDSCK(d+fg;10$FeS!*@I!Xf=B9dtKr2H; zb~=N|!1P``_Zi#CfNN4`hsh0g257QE9Qep_=D;S$Bjk@)AL=J4UHcxDp;tJCH*`fE z-NSO>ke=4sdw47;vuKQCPaZk6^nJkYZ#d?qOG*jWD9KUKup)-DO+p4QT*rj9+xb8{ z05UG~vr2jEVU>MX_1GPVX=~H7zIN1U2$NO^ZGDhy%T^jSSQ$))m>amjYV}K)eyY|v zGmJap+zhW+3bAZI2_^Y>y1Ds_HQCphWSUUnUP_iY+_d2y%>TF%Eq^RRXcMF4E!eb^ z9Kv^iM3#b58U+}*c|HD+w8iJs$QS7daHDj8W+m~QL4otktO$~>v318v38w5-80;Do zA|ukD=V~B`y#~3P*tzgnb&6jLD{wQ#uH3hw!N3gOT1`B-e#EnAjsCZ*kBvsqcll3P z`_J>(kG|XqOs^Y1!Qi7*y_`ar*lv3f^WZ?6($G-Q&*Af_h3tC?4EiC*>!>C=po6v~ zOx(@U!CSrg`8QFSpd5}F1c8A#BG8JU*(K1CCVqq40!$b}z@!T(=fUNeEzgfE0w`b^ zgUTC&i?1ULTnK3SE^}09ErcZ&dB+Z7f<&U8Gb-hVox0g2o3`tV46>X+r;l?uK^ryIQ2Ssx-;qT2yIvxRrc`gs(CMR zo#p+I2CPU=tFV?IRkLD#+9iWnBee}1K;%~>v+S)Qqjp+76jZ)H2hzirPMCq zYq&6M{Pp%qBwLKvL_inFY3VnRAf{u+`1@|gl6>))_~*E8vc1f-%%BTSOjd$pTb#q& z+_V@-@^SN0Rc~_xKtI(D7!ojlW;$4cpadstj9gS}9=EV5RoBkjUzRN$U)^nWF56*`PYyrg4o7zJOg|#JXgm@_@gm!7(!@=z3tJuhd(O8dJbwGm z!J1wbbnUeY*C{D{+0j{NRL{Xx2K;8OE9P;jOK8k&u5f`xC%?iAXq{+|<$zw=UEy+T zcjxZf07Cu-LL=62?los$Sl7z)e@rXypRoS3y5w@3`Q15vW7qxS-(^(I!X(Xp(rO9! z4k`6<7>0ktWjF9*{7E3!y<*k9EpJf|TWqeFT_g5IO) zyM|vm@`JTc#P`MuP&t6t&!>AOt3pI8l^N;VbI97pr(`0W)_gK+TO7L%I!dKq3w{Pw zZ+|yO@jGmiFn6eFu+;eofGcZO-}J}eC~C4Sr>VWikv2exgTZOl#C&(~Ii~rLajWJy zmhVhGGdx>q(oibL+pp=~TVh=|Ug^^Q!Q{sOf`;T_S{+INXx^$^`-)vbZ-ROuNNlLS z4}ou7L$>M;y)axGo+^JRanNed?hp1#8Kfri-vG~*F+|zrN=271_&(iV>s*ud}7&?7w?_6;n^m(YYS#p9af;$%W z5nM=cO-pM7rY}}FsS>HmE~fdJ~hp%qTu$3`?}@#~(i@px6= zis?^*dV)h8aQyz+`AP**unl~|kZ{M6#%P1%443FkW1Zo2!pzcby`!%#!*?oDjYBtr zrR?s}-^GHu;E#I+F$u7B3;d zsf>-G%SxZ)1dx6V=T$IDRHqUA!MZM7TM6)IY@G+f0=Nr1hM1>Rv#zCI$TpVT%f7gC(UOTWYH1JF05mG^TAK3L8lSWbi* zJPC?2J|)9!Xf9NgirV%PnDntEfSm>4=*fafflkp@P=)u(bEi-?xNc0ZE#Z|&Uo9Sp z?|!Y#r+Z7e2CwdG9O|R~Q|X8UKBA_MZ3qYBa5DSrs6APXXm;prI|hj;Y5;1Wm2d1* z>->20Dc-qbw|x77g6lZ;CRTahl9f`)^`{IEc4TSrB(JX*iRAb~u54aOFp1u)CJMB{ZOBU*4C6l3kVcvt!31 z33J_C-6f~iaOi@jw6|_d2k!;=eYi+*IhRpjimNarjx=F1Nth{n5$VKUO?^`N{Uzd| zroY`bvMNOrN;K!640&RfUFdkfHmn|ppOU}-3MyHAjt}AYK5E9?i$8FcKG32-1ic^w zx=0~RUuLFd|MRaaEkS4m;ilHlrEtgQ*aq@O@Mmai#?0Q-#nsu&$nJk82V-j(F0MpmR8UUV|6A~{`8JXc#}aQJ(S60jM>o6T!*`&p zR-4RXOEwnQ8o`n`TH1pCNy=%IvlD@Q-KLW^KS;fHeQcK7H6Ou-tf<8Ocex@-ArqQp3KxgMG? zajY%soce#5}<#cV*L za6la__6Bly++}#f!-}XL=9c;QwrI#6u}^DVUergI_c}yPss>rMJ~w34m_%;3a~+#< zR4je&P;ucPn|PK8BYgt$$m=He>eu0?#;@;68!Ma>3|S$0kusfnwg#cVzft&}7E@B- zi)5QFEk#2~>(5$D!TyhYA~>f$Y1Z^FE-en#02)hQDc@{iO#Csgy5reSLuHi>6LQ zQn3k&YQi>P+|sQa_YI+b7|?I$V79OB^Ci%t0AcV0_r;+^f-C%gARe0u3yMS2CF_0fKbYt=qT$T`f>>8Al1CkKEsR~#gJ4#dkc zUA1gEHx-U~f>p+h{fo)|_?q(!P$LqABylVRS(GEYo0MSZv`G`>x<{+UA+RS->Kr5T zMSScDIOg@IlC27VTgXEg=*hqOD*wD=D3dBBgQ1{qe^e!&>;3_EPN%B$2NZYvT7+^< z+%||VP#E0O{=SrX(yaoBs2nJmCo?2M@}eb~vJyb%_z)A}#EO)@45B3=V(0=O=Y)?E zb1*A&5Zj7-9mV=$*kpOhYM?>jF>8krFe4B!TTWgG*swqYpIr^=ZukK;IUKLys1QTBFNpw-R;iPTj`nzj-KgGA zujR^&J9Wzrf@dx&>}U0foOTeuTBd9^2VqlIxw&nrK=L7x{LW;MJSF0BcN8A{EASy? zb&wilV%a|j1ht|=sSRPGTlVgc;K_z4*{GcT<7Oyj5n769{2quN)Imm>-(1qjf}L`| zPBGhJZC{sXWxs$kj&I)A&)VR_!d@2ze=Jgnv-iulr7LHc(!W{Xx>ydEnmO#F7yddw zkA-(oZo3>`^$*XR7sgv93^&>#dn+p{oxQw5UN7^xyOHv)7QbK%sZgIDDmNMh2feWP zu?|a*$WAuq%q%sZvBH|=3Bvn-l@O_?*!PJ?P5TdX*g^mn(pfEQbT8e-c$YI)h{tJvsv5?u2H zXX)c?9QR6iP-nLl$(XqDXMG7~i8cmW3M~$}EpLF`=9y)gz}9oX$C#QiGJ5yrL(@lh z1!vor#;O5e+!Jar&g$SumAU;HPg(7H=%7es*X*SrNA*P@bn`4WCC?OsZRiNmepd4+ zR`U|2{O|N7{OsvcpI$yAJz|?W)yYVNjm=!$3|V7gqI9!kiqw1zpvO1a&bo6Bz$vg9E$dMFP%kf&{4$gkb?9T!kJ2iBL2W;w1$B z^$6gcigk(G{N!*(mNGLlmX%d~X=aAe%pB;;+qH?B_0>cc?o!5B7LCshAtj>#ATY7K zBSa(Y`RZ|ZDCS?V`4Iy&dqeQRv&SLc`1-n}giiqna-4y{X74!i&P<&c=0&!1;-za; zB1}%++m~Q2Ywmys0!KLOpEGSWH8qEnQVR$v)%xo9tH|X-_=o55&p}sa#MlwXHl5?H ztoib^k%&?=I~|O>_I2Eq=Lokzh#B`}B-}7lC@dLmj0$|S!tXMau>Kzj2T6krN(6D{ z;M#4BfFE*-a!CY_6|#Vk02w%1pCk-ZY(pYrR-b7^ULz>44H9G)h)w~6hDKaS)GWZw z$puw4VlIn@2Dl@$?d+`Ha8ZsLn4=afLj`1!>FV=VMLIywaU z!TGY5h6Pjn6l`6(EWsR~ZwNlAh4ZI}lmshcX;+ic_0IMOO!C5#;;<+gE)dm9_&`Q0uH@0gEq#|6B;M8ROnwR(hq>A3YWUW|j< z-mZid0u(-Caa_9Kxc>BO4J>`wbvaOtT|_cSAQLwVm1_$+RLh;SJV~3%bwYPH)vv~P zBFecYd$#GD5kB~CHLzz_ApmA?qU@ATZBCnAeU1gtjM*0?Q-p|TDY0UA-9N6}R)gw3gdP95h3h)_fkuM9syqZh(hHPCm&zKi7> zH;|~3%2(Ko3$^vMkgy3wyY#+emh@9Wv<}Cu3Nolf$gsYIP_TkIVK-T{G2N5_ZRI#j zXL#^sNYCYxFr$>p>X>cRqTWbXAmtEL^{_$0a43;ytKdDrq5v*5d*}*xSv7(dOr?oM zJ$1A#XW=oV6*8;oT2r-OtlJ@u_&#lHEH{5OgHCS;%=OTpSEp_heuKjMrN3dvzl=@S z`xw+9leaXo8}v1}u98=(-TL-0+t8*so}b?rir#V@fFNC_sNQhlWM%{FP=z?xG1a3|>faxqgke+h)Z$n*<~jy7y=j_cEe!_c9=ZIaP1Z64}7P=JKywhEqec5R-W+C`Ew&ed`w zN)hMXQ7V3MP$;`Nb2hg&(mnck7Eg6pC^&0oihw0P61huROPP%2RdEm#KwD@cGv8QP z^ud-SJC|D0uqR&5$KhrKqY`Gle08*fvMGdX&8RD;T(b}2F2lc$wabtgWF#E3Crc)0 zcZP$aDu5e=s(7btIKWR__T?E7z#Hm==*3GkFHkVqV@%m5r}vEYwRo&#+%1#fXA=gT zjDo5+V5olO;nnM4m&lR3uH(e8yT9%1VliKET_zS?N)9v|t_J0`O)Olyk#9z(atblXO0od?croegj9i z??8r#il{;**~J{UX726L=ThD6XwmHRSZ$o?`L0F~rbQ1{XVIRk((o$uCC;)#K0yA( zl+^XMoI^SoL<$TaJ>9|Ks$%a_YilHaoqELDPTNw6WvNLlIvSPG!koGM{0C{poS23OcZWd<8KX~LusPJ97(iUcWRNWH#AaBb z0EOkgIuC^fRRXyk9B3N3MX@%rPBoP3H%a7XV)U*8wJTMZY^lb4el;ICJuAE( z^U%?7EADF9))<#;4BKN`nG4}a!CxU!TqaPj6qdR5Ab^-8^iW(27(fCCVa!antl9b^ zyW@xO#FV1l6=26QqWC}_Wat@(S_w_D{pOYIix_fH;Wufj+ zBzb1Kdw4|MQQ_yv)Ttxxr)c+;SJf-JtlF(%>w-6vs;b*cUaT*x7k!7t&2-=tZC&H* z_P%^2x`3}BPZ#r=T>E1l8lh-&BNGk5$=oRB9c@aOyeQ^729mSPu;&Jt0jVEkX@wDv z%=k(13-Tt|(qitM-M+$uGRDPpENh=lD;bKX_Maq`00FQU$yaSi~AgfCU z4H9GD#B`CA{W!w|));i?l73d}BBVd2V_F%sf0#~n%?ETXU-m@r$dV-9MyIGPxBYYr zm#)09T*RhO3+O|?SptL1fSe{9nm?%@y){{6a@a|GQ{sBPJKU8-j0E?O<*PRme?2Ve zv8?2_Po+s#{$#P#00>>nh6AmIdl-1r!d@oY8(kDd^5i1@VWi4NGjqeu`weNvK(a&- zZ}Aff_y>3JYw_@6X*3eItjhn4p>*g0V1`KK{?sTDDlv2D9PKFy$bP}8(p_nJM12+t zQMx(1L$8-o=t<#tgR2BF@YMFhX6q$R2mVk&YKB&$QbE@E;bw8MHSd{&q<_1Q=#Lw! zBgN_bHitJNcL#F8Dl%rkV_!}nfh1eT(hH?ZEkxg0gf8Srpi0llzzT7o2mdV^e=oqT z3A=LqaVT4a0E{$=g=u3G`R3fiMwv||Vo*kyou`~9X@_MgGdofn{t;4up|?OIA}rZq z2CtA;3E;P^Jaim^{^brcGel&GU}D-prdUM-8jktur?|9YaSq}G0mXjY>n1t;^^bxR zYa{rr&{Z|X(p>uLrfOolbQ$UUWgqNY=M7p1Qe&{CXJ%qVa~u59ONy*JUCbjeDc;YRAP6LsjRN82aZ1 z6HOUb-rG9Qb+EbbG7VxjYVX$llOqWjwCGhoHEF);0G&BWi;cr&MdO*zpb&YNP%yDo zy2G(N5(BCfEqfYc3BeJ#WWS6YQdI3gT1s+e*I;`$ia}e)9u^amVU~tP1#9bCn~|RZ z!_|s`nav68k%Y+}!#4Uz*tQ%>aWocPil`V&&_$AYu359!g$wkYd{3V|$iWAsirvqn ziy3|3$`~32QFRL10y>E>mtv3({W|0y7H2Ke91R%{8)#2xr+@p_H%ys1uvJ26@n_TG z=OD_o%1*?PJwyZiibJ%J=!7HFUT7J$Vk-FDT+dQ069k~WM{Tzhlz;&lHU)5!#ko$R zSZC3%JmTC{Dt`kO&QNW6NvQ!-{1-$CS2*_biUkB?;4r&)(8Q*b)k^9vFt*85iX!1| zu{VumG2=RTDk$+;C=4HT`fU^|2;2G2x_Fo%8Ah%eA5j>wW44=%tU1tnr`wht zVWV2cKZWx8L72r~9YnG?mxXQxVossim9`0kgk$4Nl{n9m_ntveM*RR^!b_!M;>eUk zv5_y(dP|aQ=FV@cO*>&WbV*WtkAZt0M+$r$hy*M}!8~7&0U=pvbfknLRV!l^+(!p4 zxC%q%Wu{cA0@Mq7>Hh85J&f9wE1^I z~C&9Q+v*C3rt_(8mAn;-!gW|zvXRibjYM^%E0Zg|n zAsE?9R62!x66ooM;K57dUOjfLOpPsXbg;ul%Nslb%SjLcCm@6=66fZ=L%BA~s@OF< z4g$Lt42v^nAQV6eD{RLA>W}?$i*f<-JqwU&CILceMOZIbr*!_H9?(;J;`bNH&8?P+ z;vXYTXRmahIc_VxuuFN+`#SbgUV1l=fd{9hp&6I#G+KwLX`x-aU9hCAxDQ+Wx~j|m z(`bm8n0~(r^{pH@S=XrnbQ90e$=HV1FErZk(My~zZ!*ArH?_c~LY@NNfl2q}nnE7$ zv|SrbRyiw$DT^Tr{1vnp@ICuFDPl9Ec6qK$pe8&BCONq9v3u0-4)Oeer?hf`z{UNH zGd42R9qLKcsmoQ`WH!XQUFI6u8@RalgU0^OwnOeI-#u-77GA_v5{d){D%8z07U<325H-EV2&Ud1|=&|DK~Xp*%3@mG?HC|+&9OSz>!&FbTmlj1Ymn;JIK!#* z`Ln73!YV;sI5jumgd8Pw7+qLIREbm`5~5q}galGs(?VH*WY~8-B92yObPa;$3tWf8}_xTkjdx(T3X%H z^L*#e0|N|Y93!B#u8{CdP^jz(rToWZ?cK)o;N=9=>@TkEk=-#Mur;2(z4@e~iw2AV zExzFI(myIcs(KI#Xv5jL5f^@}@9tqRU>N{7r&GGrf z(ZrL_%AuDE&tP#SUHZ=h-P(C~AzR~Tv;}IU1{y~#F$istXXgyCeoGfz1ruNAhN=x9 z^*vt>0T>HxMhmw*kYx{#B~PT3As1We^=r4uB#cR59%puqo}11Q*uG)IRD2_5>=clT zt!M}VrmZ4jiZjMTP_wlZ0`tLB_|M0P1(6yl{De31FO|}v zr?R$;cAWi#+j9UnkZ@{z8#C!eAP(QT_^PK*E@PFOKH)Z(Jx~o0MM@>{z&PqFeJuT( z<6g_(Z?fqTVAzoP;vd5f2MDBxh(`ebZ09;Z5jsA1yhSb>-Sh9Czm@TMrA}?#j1Cc@ zsn8He;?{=CcZ*F^!_!UHJwgmOO%EJU#4x8JhN67bUQe(n*yFToLZ~}iI5{eTg^iWQ^z1ek_f>F z;DaIR_el8>3$K6G@I}J;EjGu33CD#YmNS|LtK#+x1ShTbi1-$DZ|MC&AerO4=!=4y zc6t)vv`)-g8K!Eil4nu1k4zE_l^_b(6t zFJ-&nHn_zS_;F3oMUn8p6DgSxH2*%ewodTTU`sH>VWwE90R+b#6jx3#e=DdwZ|+Y+ zCFb9&TL*}8MAY&Y={O%N1YrEsm-*CtEN%~MO=oN~qd?FwreIOpB1^zTU$C`mz}y1G zgBa2Y<3hn#&W?rIO)rMS)^)CQJo-BJiFg;IoGx<_vG!=kR+|(<%P5_j7R{H|iA^~C zy?1V)-;X2-Ffz(E1|1QOi30^OGhX8%t6h~{a_0#4F1i_8U&#Owf5H9u!5hkuH@FZf z!S9KAk9va)Cl;oGST2Afy2`bQC(8s#e?WE7bC2Mq3q^zT?7=$ag7%d9x73gF)rNZa zR@O~HPMO4uuIraWS{ZR&r1zoNCGh9b)q%!cF#w%KXTzxeMG|14xlf~Zku^_#Hg#Yr zhK=hpD++Gom`NjW!uL8S_=`qv6Bnm+6`olc$W%*FmAkIrx+LhQmCNh@^hQ`*?i2w# zahRzwiIDm&_o35O{kc^g)eOmrq>t&N2Al!%nr`>QE0-p|WBQ|s9F4o(DMv*&VB&PN zc;N!`*hRA?#SF;bCTBrsSX6HW-iD!#Xe5q&SgV@c8YP$(VimG>U-%6#X6-uUYmiWC zPaEciy!P}wyd%RG>b~X~a|4c5hVutkxajC2gT-x~YUa^p!NiK-U^=_CT>>W2h-%VS zi+Ahp&E6J|v8PGrvcApqD`foJcbYr#c93%^oVjM!-I z`Zn6}O?1!R{PA#*AH0|1G}dU?Onvn&h;a`#golSix&OWHo_0F8j{GVh3-I$Q-I>t+ zBi->b1C5$5{?)wpfCud)npU;MI1>!bk4i@#1Ag9p#-eCA8%N6#;0C^E!8Q^9sitE1PSXF?Dh%xX+97yy7#csizRQh**v`%vjD51|OlLcYPD zx!)o*vFLq-o-?9%3L_R<<6fnl;lyf*rhE8riw=r$U?#^ zGH#j80Noh<@K<{i&Dbe~1uqtd+{Mja7i2J)5m%fh1ygY*Rz$=euyu|h*? z)aIauET)=KJFUzm2BH(EO8b2QY8B+RgaDkY+=AX0JqHQ^HdkE)PBsV^2SvAg!_&e| z8WdMzMhk;U7Hyw1_*eXk=J;>Jyr@Lpi7@O zI(hjcKE7L4eAL$Nr#@J1WCoH)NWa`G1V+dN)#BfSr|V!b=V+U&d-K0Mhf!=GKR?D* zQIs~UOxEXtX+&G_78o{-LB+#)5dbU;w8#-+r~$NDi9Z{I=V8XT!$$BnsTs4Z#O!WI zJ_LMB2N{nSJT3Q}W9EimaIb_hL6EB=-8^s0A@vP=`OwKnobMEjnEqyv9J_wp_M41w zbrdh}#|r&SJawr090+-zFCgyXbW<2B4B@xP(&|6_^Mt-kU(PCaO)h|MYd~sf$+*JC zueq5gP7HFW|7@~gZ1E)H1`XvOCZ;>Kytiv;s0`G=jS~O%-26YJ&IvoP!f#w8O58#N^|spclXpkkkJtM_ zfar{fgG9mM&rJk)1ZbM>qHoX{Ppm$1YE! ze@pn^pM$dI+bDgh=pb4`!SU|DcgiZVFMj4ur3~uo+dXLM&LH=mY`|x<)qiH|k&^7I z)Ec$XPp`-G3LCDj0W^B22v-hH8sEj9X=TU%vg5nD77PB$H-ZZCla{ zZ>My|cBr8RvtYPhYDCk@QoDXDJfk+WpS`Pn9Q`yRvNydD0NP}>M!o(4x&lMq>Z_Wb zp)IkdU8O ztthv9twSR|fadZw5ACqqT|9`kRkkgmuT-YwuEm;`R!0!anPW)>foyHleThRnxEV+e z+K)y;g~oh~ypV||QCplhzOzo1Xyj6gfkZ#KOX9PquHTxt&)*6*Vey^ex251^em^fwTiN6Bgew7w=)f>J zC+A22N~h87d~^vmoWspvDj$9 zB<+bp(1-bQ)Ceae=Y^tq*W;o0_w|T0ChFg;(%$4<6C>F>it}E7@07;_XB(j2-Maw@ zUIc>QDE@^CRTxF$(#|DAKz&qDd+!Aj+00ZkHI*lT#bjYI!~0;9QSDqujoC#`qw~hQ z|H&!?<#|iBib?oCzk~cwe;SjjhW$u(1`*U+i!+0gw{)>z1LF z8hlVofr3ra>*ywA>kk{*5{p3_Jl-X;*#Kq;YAj{`AI+kp`h?H6(k#H`X6+Ex=U|2@ zaw{W2lETN_v+rejP|8Yd{^Pk$e$z;;^yG@C=YE)AosP{GJ8KP=(9d4ARBD|qsx`^r#LOxq{W}0uN0C@kyqOL<0@*!` z=B+G$t!uHKUB>M66kBwUzwV+F-f=ivQpHS4IV55WJ;;|N%xcUBt-o!vPq`&s$rbiR zC@t4BibC~T1)?W*9>A#HD4hH%{Y8u>IKw9=plkn7!3~%MSqWx9>&%!bXLcEmKr}2# zmd>+27Nio2APMkDn3(b&`?8~6*sw#-ZU>a-PTn$~b7s9dC!Qu_?YD?G2uYU`a_xM?!# zsWOXwT?!04$o?<-y_XaiM1JIDcN{ahH)xZ~1ueJ`{T?uvDOX3hw1f6_)fuF7U?Qs& zct5dEBlP|FMP1xeogVZ8`0yjX|}wUAJvn`Lz^!4e~|o*kdexW)q&wdfXCl=R*v?s?jEq{$r51CC50k@thkSdp&brcS{RSyIGJ2r zOuEKH6P@4ncYjZ>ciW@@MG-6yENM~h!WQ2JvTYFqRqQU(kqze?9Y*!A{CNiwO0y(K zN1nVW6_(~n`aU#$eA4sld_e(f$r4HV9#3|kKkqb8e*V>11ccTlL-IES`h@9Vyce*% z5jZL9E=SQmjzs%Ih)Ogv%8w&|=L8fltKp@Wh9%9cNJfN!#6rS8{G$Se@#3C?Y2J0m zPbdQy=DfzNFY?r&*!q%t$g$QOx_48>^h(3)sd^lEF;=+^6;BG?08(*2liH1hPe!Z4 z=BncfRNr@y?bOqHqB-CQ1Yl*l#|6wFWZNn#c0bU2qwzM*)XNnH_!I@NTPzf#Q4zcX zTfb+;E8)_Ht0nmywFk4kpPS!y6ob> zV5U~3G8$C9i|kmJcn5MiY*hsZkJ)I4cYDNr73N8x)PO$bje%zk-80cj+*AezKy5*y zX#z+7DN*6K$pYIn-ts^wP_5%yMRFzRXzF$@{H|awXk`|72!otZz4RiH>|PCZc=Zhh zWx6CxWGzQrNiP>h`D}^Zq6DyZB5FL(1e~lv#+&CIoqVQ-=DSBWl3yXzT)dih3nqv) z_XpB!J$XSF#t;&8l-V7Js~}R1z-;6GS586e;3#t$U>@_;*XCcbXWnC|Ui=)~QZt7% z1T0yXu&FkDLzy(^AEgS^MtxC_>cPqnO^6L*!NpS`iC>}fS(jPm@d2%Ydxw2s*EQyK zC$e;CyLRxflTO(?XH{(|i9!i;=+Znc!FWpU$L30@*S-hl)NATzCv`RU1kFJmyOQWI zvgQXTwGVV$xCPA`dZL=7&%#?g9pAz0$)XK^IV4-p#cBN`;tW*WZLU zFergd2r`F@^k`gbl>tew*G-LSz}wr@_FFsxLY_|d4u-UjKOGeZ&0h}{0MGl3x;a2xz-YN}j!%x8Im zz_0p^-Jd}ljzfIm4dU7rZ>FM~iKO}W$D(UyWYRf*71KBbuK-8D@cBXxsR~v3nL`y< zhL_YRELVTvBqOSQ#j&&BYeY#N!k=HEaEt4F<(u?D8;of7+H}p$t?e#J8&4SKuw;Tl zd~$m2nq@i5*5f?B%fX4L3&a{eXi^(8otj>na&UIG1>uzlh=ZX!WvIn5YDJnDlI%|H zc51M`t4Ur(X#oZZo33kDEL=HfU*{zXov~kPzs?dzl2}NevUHrFE*~ct%mryiEz9Ow;)t_X;Xs4 z^(q8VT~(TkSdS#4=uY|sGTbnMiwVtRtNdP>x>JyZTNl^KRT140W+L&r# zQ-`Prj38WCt_{DQgq^j%&+B<$8?Y(+$&6*DzwB$9 zLu=sZxGmOId11Kd)uxNY!7yQPx_l9NR#{PNvbcf!26+&&1WiG-zI0Vr-G}?ueNOi|J@eBIKO<t==anI{=TH#pcHy9Dga{T|q3W*f*$caJB)JW|A2OF?*vHfpsFr>3#zafR@ zyQ2AEau;X5!vt>vq6n2^8V~X_LI1+u7^ZP>bzQ0`v|xC8=enFyUN^>dEtm`%W}`?) zy|f}qy|kSo-6+MX4?j_)ezd5hCk+l4U}XSL3_U$bf0(o!y6Ke}OEO&^jaQk(nQWf) zM2Kk%pCP?}K^F-^LFoenx+M*Nz_rBDv1sCrhRNCG_lBUBySgZ5=o#Tgk|mvvCf&>; z-oA_=9NG}2E6-ZfGyh~r!j(*8nK5~=4<13~X6VLr>RZ4z%7&naoHK10uwA7LF$0ZE zW}7^4KH#`vy9B`jMAGp+?*fu1Mf3gHI>AANNsM^8kHFb5DN&gLEMi4wQA;rYAtNoN zn+ys?=D)`Hd#Jq!&J&gBk)Rom%s=PD!{F`%SrJ0lcG;s^WBXak>P=&UZK?KRuCNY9dBa9-IGqDF>DW^sQ>1@F!RZ*n!y^iSx*(Dj`O9m}<3eIv?2-hiKlDYD z7xYP1W(D5|*1qrpN02xyIH-Y5#Z=65++JWC4C3%9tR9tJVnx9qnz9hm7`>#ZM9OE} z3673xj^$!XVudHjX<3yZS80{KZzg-hIG`wG;;4=zQfY{NKOzZn-l87x>aj{;U>TG9I#r(>+bA1Kb~V-20X!_OiO%52I+1xk22x7o;OVOZe>I7OXSW>f|fIleaj(?G4dyOAf?88pdT zKWb&;^GRM&&yM}OMC8g=!zlYA6S-%E6HpvQT@mgiDu#H2@PZa8h;<6N4SVianF*?l zGZw<(UY2#Boc39EG<0!SQ9gcaEZ|_CXkAxU(r~n)HH;k=WPz#@@yAFFi5$h|FG7e8 zaJYP;e-n9Yrd+KFUQ-Yq03FwI(kgkRu0!$*6{jA*(ssq0dj?Bh5a)QpOn++<)02&k z2^y-j@t}W=FiUeY6TDZyI#nKt+N){uT)obk^8BbkhitP%ULRwn!OEG#)XP;0D^$rE zMW<0?6Q&?-w7K72^7W237wgejUEOdG;NsYo&0{DpxeA8H;3fbY`HSLo?B;Q~tZm|9 zgD^C7CRpIz^kw+{h0LKwr~@|Y)|N9f(;_d*A{kX@5s3~X!cOd6qK)wJiu!fg6 zTVNrHU8>Y=hy4Ww*4=p-M@s%~59iT_(gj1Re}!^;J1=fk_cyt+YgKz!eu?5Uz_rNo zw7}oc+@T!kHM*gAv)Wt)gthq-F!zqx;(+?T{IlCt-qK3TvN%{n=6{7+(FE3r3Wd)CbSbicW+Ek_TS4v! zEH|uA9tCM7C|3-7=FvgiIUtW;27M)QZ_2u%s@kUH^Np$vf>~f zMJH;OY#!L104wJTu?Td*+g~Y84)QY6b*pOqJObXUAL|s%By?_zcTp9340kLE{l5)1 zl{7#YIf$pA#+>@W)4;kU9NVh*iuLGnLm&J_=qAb<7O892rJ1d3LE-OA+#9!<{{AiS zapKKBTDaYq(K(qJZv%!_j6Y@ya;lmB2K?HtrmpX(Z_I>`j2f?|xbpo_c6&<1fp;j% zn`R}Y2v6%3!@Xs-d_DXzifgY*SuBTaOd$L{SC4Y7@mo?>^LPo{q0dKqwD{Js z7;Z-~g6HEAMB_j)vZ3YR7W$kiev7TTO}q$~EB44Hr+s!^R=+4Tnrvbtn7!Xvcp!gFl#e_=H?auW73cuC33|(i`scJST8U6T2T)LjLEoR3JM<<~Csv|o2xF6_X=EvQDm>&3x9fhDawKQ;_9DAxmXv|`9H z3icb*O=yW7vhy+GUrWG*3yH0kFD?)8!gmbg2|N;%(-`h|Ixy zLke5Le|$XoVpjQmdgVwiLpX3dAo?>m4-M%}H0+Dk&I}wY!J6NImEulD2)k`4f9{x8 z##nOr=MV%0?1zMtqySz5%@S_NP16V+10$(LdgEU){hp^BS#)$-XE}VqI~XXynm?O| zl^~7}g&r!IlF&&RtPz@>{U#Db7r_z90OxWKA2s&5LTo}=Eo~Vse=i-)g*s&DXQ+4@ zVbwO>!ThOBEI2`m(=9VTc&Uqcr)1thke?a(b3lv|JJ*}X$4G^LQn?qt3#~<$5JDL4 zZ+P%G{LdRiU+!XN`A+5%G?Nb?Mn9P?oG`cQ*f7c~#0}r+DAd-yj`oYN;sK4o|7;0Y zYSTZOI&9HSfhO5@U zE5L2ZdMS|y@Z&*bcV6ULoa#CD@E4wvk6dS$c1f8T?eG^vP-k!QA$Q?XuljXa zcJO?P{66j!=Hq#Amc6ni%;>!AbTUCd{7M-=VjNGojECl9%5dxYB;3J}a1c?-rIm!@UY>27T0j>RJezYbEk-a1P{f(Q-)=}*FTc00XtXxnAYeHK~rwD@?N^qr~+pR?iO`|@pUL<@=IrsVppRal8xIC(g^67#x# zKydMJvnB@cQ2|-4W@>u6Eew$z9jd~P?(XhXQgL8#@K?C(|0{Ecxgx|5?C3Cf64cy& zy?Vc0w^^!K*Kv+sdyf-L!JtTwY$ZY)A&-4SE4l ziAe#W;L`-b^G{BV4GD=&{=D~pUO*-`KfO5oIJE)5XK!kuLA5}?jX>1!FDD5CICI^c z_`H!NWu4)V0WJ`K1&}<3-l65~q1E;IF)&j&#|GyQB<80V0Ay@EgP8?nFo1J7CZ*(v z7|OqZdVwmTtchdSkete&Y!vqJ1di40Ewy)favsC<+!nU+YmgIim2Z8GPbV-dAchdc zq67Hu{oKqOE1HIg(^yVWQ&mY)n+GYAuCOT^i?orF0a-LHHe+8D@@1!|&jwL&GoQ8> zmPF}&Wn*K@gFPX#RK-HK=qr@v)t2NEYr zS9-E?rEI?wqcZ=gV&~GN>3pp)f*{@`CMVzDOFlGEEq^E6&whzM0Nzduex#pVLM1@P z`2`HSQ?s*aGw6D|4`<(NgG@-lIj^ZZ92d zK5e(}{*CmE6b)-$UsZvj-GgUVzSn$YtRLF>vyv>vnyYSkP;B zSMO?2oZ#-+=s2<+Xkso{y#f6UkLll;^b-feJvlYh$Vl5;FmCBx7AZ5p8vkXzCBIYC zJyPkS({wjWl=|2LN%#uBvz8fS2*Oj#vT*H+Egndtn&DPe3Q8!Fa3RrFc9)wFTz-rj$}*%^~|0UJ01Y}E{e_uG702j9D^z$#&Y zy)UHLp+4^Tqt=VXKirS5pplUT_MI>FSrrKX1);$(68ha(&$h52nCd3&t~tnLcSd**_3`sK(mf6K z6gj*)5x-*rQwCb|6S#r_$2k4SQUW)#lUW_uz1&KomY)OR8%UC ze+%bxBv&o*G%JFXY+_{{qWLo{h^xj&)%nY>y{`@8)5Gz#vsVC1QoSbm4t8{!>~tm zOB%oLEvn=33MR+|N%UJ}r&x@0r>M8IqsrH^x+)IXZ4jEwixwt_ZQ6*@ug0RDOehW4 zoh-};(q*7~l)5`ppsXfbm8X_Z21x$)Ru%_vGqe}Rx0?NiXa4dZ!q0(hSrgzYYi7|nvl40>Gfv2J1bFY1BiQ%biK}AnvC^>H$e*~%ZE0u*u%@oJ{$QKm=ra`_XPX#wG=Q$8?n|6 zTEX(C2(2dK7=dd&12_Uil5PP^W~yF*b_7moG`=D0$GB6!{BPJaCA@A&8N#5$WJmM# zM-0XzDJI*QtEYJeU!5bzKBW1}bUO6n929cT(3X7NX94^f^JRT81xIQAtsI}^-O$+k zm<&nEnGYAsu)sg97=PvP;TlX7O}|8Ni8DJEB(Az{8I7r=12E~N9QvRU_vT^&XZPE< zS{}#|jh19Fy3<^PAaUc>ouh5xnuBZ0Tl~rvKTNTkjnS!?= znpgtD&>#|h9W%o{IhU=nK{NI6Cq6{_8iEjp#XN{ew7YbwJh4mwPd=nJkam6j>88~E zd`_lwhabJpgg^O7%LB2OWWa<(ZQzz>JpmBvt&^CBb|#jFuFA!BI)tfy@opiz$WSHM zf5ja*n<;W7qup5!waVTpX*C|%MgOaB?5=e&tS>nC*^k5IildZ2sc`l1+xeqm zM2;-yso&?+2}bA7skW2@gnY8ln8q9naPg_fhr`~2rv2yU(9X5F)hqmWNS-Zhx@W*z zH1{<0eprx}{Ncwst-DD)7W`K>L5Qa6bBFIg^vc*6^x5H}<$__{649hN6|kIDO2(gI z&e|QZ1CXiEJymPH&Zp84+)f&&zIShb3*co)->dLGK0oEStdzR_0UBfZ#OkV6v~+|| z;+dO>$OeTVgw&ubY)<|d#4%iX%NsR(@uuln(1>PoVy&7apBc`Mm3^08_ktRh1G7RY zm^#G~p8!LM5=zY5U*cE@bQHoyvlqa^~ooC;90@(EODi+1OK zy`a_do*B|se7c{zc>%+miZeS)$4tMLPHGLi<-F#c9CrxvuZTwnC$%{sl(t6;3b+4-5wd3OA&-2H9 zJTra0$HxGha)hVWnzIIV%rdYWKu9BlfDh4JCYL3LSHlkup@Yzt zMZ=C>2>B`VoCEjTa7N3&c+tXZJkqTUTn5m-f;Fd9!oJpn%|BbUajAaV+0zCl;f(5x z^BU;gxE>x0XkDd?_*>9Vx)=9{pzA)ACJL8a?DOXH0*9U_E_@k$N7+6o2ZvYJVxj*q zCg1qa&OFxWWtOBT?lPp=(du75`j=A)DTj=%oBd4GIoRiGJrESDv$Gj$&OLfC zqJjTdgQGPp2G~j(O7rp1$OdaVus4$ApkLM${^XGc9}X|{z&tz7x+pqPH3H;9Q|u&= z7z9!JM$9fb!KhDUT5)dEIEDKI9-K-;W_qoq zV1g0vVOYP;P#~&kLGLtZScPsjec-7);?m9u9x$TDyYzM}gR*v!p;U>xA*>F9 zFvr)>yv^*F%E?Ao{*$X{>UvWht(Kt$Ixu+1F?!}82uhk-eg~{lHX0XCFGjm;%K2^D z%q=>1NO#h{e*t&B&2KQcJRy+*qT90!=wS`SQ+srUDAi@CO7~U#{npyB7yn`J@lyfr zpZ`17AFClmc&C5=r~wiLQ%;TNNLSGn=!i1>tibVfxrl>gU7!=(PR--`jv2ic+r|jL zv}(Rx;8mSJVBYW?(y&pjDs3pWtSatM>yK#Uy49%nx8NG`AwFUU=C9b+6)DsVU}F=t z{w-4h4G!P$+-a#K0!6u5&)4?&8c`nco?{XIE+0uzOfKqLe)UG+pzfbJh$db-;&6ho zO1mswnhDyk)%oU0{?!JsYdq*j#Zl;?e3>$bTgR%Q{%EAhHIzF}-Ncm@He*;?Pcdzt z0vw-oZ3&_2EA6dQs9^kAJROE~pwRa3+iCK}J}me-C|_8hfX_P_^8_kf;LGw0_2RY; zRFEKH^K_<&4j8@8R1BWTyXjf20v?ReIN%R~r9`mQ*dy6C^Ydp%38$h1ip&%t{_9=) zzyiDmlItj@U{T?`bD+z~K<~GpDl3|>V%PA>M2vY9o4P5M#~+*0Mhxgkz>Bh7|Co}~ z{q!1W8o5@-rn_6!RPKLEK?~Y6c4$LSZBY#;RonTZ_eoW(zUPRDYFwH!U`t-UkM3cV zlrHgB(wMTDiLj}MvEu1BYfoa(&`FV&xFi_U_`lZjOS6I9kn-mrn`gMw%)zGHTLs zB|RH~*R5i&;q4{8SYPM_%|03R6y^Aq9VBhD%Bx>=Mc%@Lz|-*{74H#@*ACcf5|2ru zR4|z9@AKBoO6qNHN%3^;rQVW1Prk%7E9I_pu(ac|+`w{7+%8xO}|a0rz0CSWINDJz6F zuOF4y?JURWw78HL!0N288=DRp0R=T5IvwQtHIb| zL}8N!YSVf!es?3af6S@0Gv3t&s&?6HsSl3J8K>T!5a`+x)}>;M}dkm^|ubc zH8Q^nv5&>)gYlhj@NC$qIbYK9RHe)8tQsuX6j2zR`uvvEgx;a*3ADaVK!8K894qsu zI#i3r71L6_;Z7{glqhEeu(Vw z=jA7-RvwapyHGco?)8h#btK))40saJs!ejpE=m6wI1rT3^tQ9B)LnZd7wX+ zJx6xTQ7GhY{0*6`mw_LNBJZ6%EoxHWGOzw&^g4I)ylM}4JF z-=k_tSxv!EQy4VOvbrOEoUB+THlC5(O|bJ^x>Q?mfrq|Effy!hS=RXet41q*Qg&4u zJkYd@fHQ=9FT7N3DK#k2?87STQ5H=O1Vc*-aH`MFFf1QUOSP<%jBUNdGNAM$Ow;3A zo`O&3oJLs6zz6= zZp~2O#lz@R5W(A<<1nO?#_Q#A3(4h*eAfLfqyKO$a-(ez@Z&4$U_R$@?GK_inH11A zmeDeG@muL(1#B{sPX5&K2zSHI$Bw6!A1ef5)D^}~L+%(k0L_zicZGGZ&UVd?0 z#o>2P%3FuG{I#Lw^3Xwre`M#P*&LxcLccS_Uhxtog6Oa0Rf=Ec*!N#9BtqRF&C}4& zs_$#@I2QVR%lMU)ZFjelN^sw9>TMsC^W@DNLG8hQXlDWuZKBVUZ>5<5U>nXe_H&|H zyBX03*721T+MG1M;Vp*}@05FSgxVToWCh60jau$-Q$6Ou8P`IsPzG&Bz52q|=_3Rs z?(ECV!7LzBOM%0mxB&JLEKb(Z?Z8Y&u*Qi$b5}kNzM=ft(tzsOWB$^=5~GPpA}Rj0 zP*h1P(PBnTdUF`X;QU?SEQN`w;xV~esZ2?+G_ySZw{x`d5%If}9XRU|H13CSx@|S6 zxI5g2xFjZB!eEET&!W8OAG0P&Rh1#|o)(YJ4crr`$7TQ3bHj#;%vpJj%=4_$!B3^w zMywv#-V<6C&B-Lg%h4Q(YZt3aqS_>4Nuevm>yJ#bPWe3jG1pPx^l^mB^$(i7XZfc^ zF+E7`%$I}^WH(+{A|+ZSIYND{fJ((CN(G+1k^CN0Re&6Xwrt5S6ood{!~405^pFxw z9u2^A10!N@Lb?7SR}vl&-i&{>^_Y2aWtzh~-QKfXVa|LPAOE`-llQ!2_vSnBxDu9; zQu{P2RqF%ly3`6FxJX%hM@~h5l`|_C<-CcV$>U)RYZKWUn7ERm3O(B+e1Kv2E3&pP z+OM-M{#sAUu&Q*K-c_D?OOAorUsG+yOG*Bi-7Ik-zw)8$dWKZ>J-trATh+zIdF~Qq zce%#@rJ#b?6ovWS*jaV zaw}&?9&~0!mF|5sbN@kkEEY}U77|%xQKGt8NBNM`v3)`qMU9hrUDYzHt()Z)NLB9K zHa#YW;!Vo=$lUFwvHMhNg{nH}a0z(LpD>MsHdTb(6Pzd7AF&^G3>~0BZ!XL@a9-*q z*N9Utv33BU<{rYAPYkvLex?)4_LKW8W#^0o(?g{iopORQp_Ld@>vrcNKIylFH>GAPHwsZ__6l}?b>%(xLC zBcJIK7jXFKVs+awIAIEd4+*l-w>U7H*X^>ct^=J{z*qe}Cq*q4NB!x9Z~xwCEawE4 zpxPCP&uJmEBer2l+1#X6TJ1GG1zW9MAP1rmE2j6P*Dw84$MDD~06p6IOerH={$fXt zL0AElHQo8zcHmVKpC6)T92(KhbFzHbdclKk};u6ACyz{b>=|0vG_Haq(||Y9@Ldai*8df)Jo4d;Q#lXiu35 zz4Y$*5QOu}k@)Dy;X;AloHT+MxsdK?P>1ik3=x7`S)kXjVv$uRzH71uPGvMwSLTc) zCVW!u>R}={`;y1D(cdo*0i$;Rr~6DyPRRs5M1PDLLDFPPtH}a1Jt2`Ak&Yb-(GWl! ziE2{svikz3Sw|(CfOd|UW2$}5&C@l(i>Z|XyQNYVK-Q0f_xkq`Iec-L8LgK(Hh;jq zb~_pqxMh5BAFG_hzsg(Gt;gt&^d*{U2ji+k%)jNmb*^vE zYl8U$&J>LmxSJ$Lj5@|kV{-R>js()2(b~t5|AqEDXiDimg+$pN`8>xVXrvIAY$cdG zr*@K8wXr_zA^A~x++3AUvLpU?{*O zc_ChaU2BxgJw|gVE2hDXA*WNJCv_XxyZoB~{j!;)96NLub)i?hvZB#rCk;TfaWd1D zU9@@qIHu@24in-WC-Qs#IJPVb8&JYHJ={eM+}M>wS~^59)az#jO}gk(6|ps=yPGm) zyn2xlD5%y~O%Wp7rf&569Y;zvoIi|i1ygJFP;7#}%OE7dFVph%t0u(`JF0Ja{n+sE z-%3{aYVa1lPsLHqe*=e)AFF`R&6}qC6^%-lbBT~Z9%8$ zZhM~~UNYoNi$f-l`3gN$Z;bWdB1$sp)>}xr(Ac`2jM|tq7W#pKBI8JEUFq6=gsqcZ z7&Ze}^abTCPS}Tp2Dct!Wt5N0{J(>WB)K#>ucAYLMrB=9^rLne;vWGTsum-5vE|y2 zpEPGW|9pC6vh&sPGREmdpT98bXI*BvG?rPPy)r8AIN%T}x1bRav)bR@gCy0~!^Qs= za)5hK{M@p15NA2XJx$EWYcrYKNi#7T`6{;v-Sz2*#JQN{toTf9 zw#U_gw+RgNuS0%bS=cfcD*dYMYHcw&4z7GMY*<)yFJyJCfe+Ix)%qED|)?ICAz)Y0zwlu z{4lWNWeL&`nGFY@V0&n5+{5kieng=9q)K394Ah{B^M9(PpX@`ms&k;8*6iAXDK!!g zSdQ<}qf}}Vx?Al(QfD%&7g zpu3%QHU;8sI~;wRqSepR$_#&!Gx{R^_$(I2bx?FUA=n4T0;vXi>+^q(sbZn<%rkSQ zGNlw!4glZ=3f3iSJLZyVZwAeWdp)iDX~CI_?L%k6`)i<>;hRx;*WHHRqpCuLO*>49 z)};I$@PZU(*Ig8Q1X~IsB~anNEy)j=md)|0zqn!cZW$?%j%5F~UI~w+(zgFV|1)Pd z;5##5McwhA$sv<@>`_4Jc83HcBAP%KB8uK4Lt-A-CExr_g~B#pp{#(AQEtA)Ywvy6 zs_O-`3U$MHV)XS72R>_D%VXKDbOr;Rs6<*&W1=3~QOcJN3VjJtr89vS0rLFzuFDpg zE%8OP5H(gzuH;jZ#NLTUzJj9s=d?MfNaIJDKDjpls)$9NB(qbO)FR#@0f+WLNj66j zs^L>ll<`|EIg==2(iKq-8IkLk=j>s04Q3pb{EL(t>9tK*n#K3)f43v#)sCoK%M{$H zy5IHrl6nJ>4E;o6RP4&qV@jY(CdVa7C-`=nry~W2Yt1Ig_)VpwA`E{b6)SXmOJhrq z7g9z5&|)yxw=;(IJIverFM}UYr$q0p#*rIAZC33HlnuO=F8cG}`bfP zi44!Pw$nIHLGYdm8n6%dqRWo>=j5HfRd0BJ+mxBRV#;O#+F2HZlD zt{JtvkqeK2A6~9FeNakYks=|zkXE_~d;hyHs;tgSu?*|@pi7*cho7j#bjv-@7ZssW z^>WrZ=@9Kyv4@sJL)H(nD5jiu<3>dsCg^vLlW^l{r&(OR7ZqY+3u-XQe$W8Uw09-| z@uYZaeeK*#fKd|{q(F&T`+>Vu(dMg=?YWe3LV4}3>#0E5UZ9bPKk1y7ChTl<=V640 zZC}G`(u~<`(5-Igu^!QfB9nK|3yay1elDj57apSJT^HRP!QX@WC^qFUB0Xll6&3_kX<2hI&o>M zqXGLzeHnhjBb)vVIZdy#Irp1qjg-1&Y&F|rh=rtYn9c}8U6=i7Y_jiJL4-&Nzvq`g z&#cRm5T2C$VC^CgLQ@OrX`Te213$yE)OVMM+Lvh?twf6BbR+Z3&l5@#$QK47Hg)uN zXYh~eN~_hIs%el+!$Y4EY*%3O#qI4$`DVMWxX9TDF7CM!H@)A=?O9ALm!H6{Y;XGM zqbGS^s65bHPKWR+{yDpu59I;zU;G*G$cY<8{Va^HP~J2;#KJ}DJrNy{Z@C=gmS`B^ zGRQ(Zf{Twg)b0ToUtT$%6E%x!H?`<7igT7HbfF!6^c8DrEzgt{nt1k0q%&WegbN^e z^8Y7rJoWYLyy;|5u)Vi1ux|icxG|1nWO0$lHk|&Drz&)bk!|~{5xv6zbCeyxtiiC- zB#y5+-x*1rzj<_TLeYPe@@&pQOF!2XT@I8#auORb5_%nH?efts-s~HN3+)7b z-V}&<(Fz8FD$%T-dz7jY%KZer+LpI@EYsgoK;E%rAlLd{?e9-%t-Vg{hUdWK9H?7P z<}NwhHz5jJL}VgG>hdCu4lDWitrjjwr;o-M}-6J%F9%i$iaNsXicBmZ3P zC(v#|>n$bE8j1um9Hi)Cr@yn+Klwzd23K|0t~q0de5hTf>k+h!F}PRf7}>Yw)v&r^acrh z>Ff{x=PYY#4qY!)mYz8T1lM}liIs9~U7J7Ub&U1pjZ6bxaPCmYW*M=+K>WB`!@LZY zF-9R~4oZSImfA-=CT6~~7>AtoR}ECc>q;#=T7F0B!l%jHQ5n-(NvtbZ*)pw&S68bw z@0WAdX2FJ|;i$kMgas#6M!{yg#*YlWQfQh{?9o+UCm*1M!VcMq4th)Hqx6r)wb(1@ zE}cf&jtB#JQeMSdmz?{{8aKo!`640hJ1|73BZZ0Cy61mMKna9x$HQMnQI+Vh zyc&VOj%-+Nff0Ti!g#ZD;s~Z(7AxcFgJY?-dE$J_YK3aD)X@(Oc!SZ4cCy9_ON2e$ zP9hBejdmsdkN8m7 z>mnk92a0QpZD!NN%hYC?-|Xilq0H866~5gbde0?O5I$fVN{f1&!5~ z5(d;SN{^;ou9}hlx2p2KaE1nc{NT+9%j2R1=i`p|jQPpwC#irsH7uSePEaL)G|hF0 zwZnSC#_@FcVLun?3fd;GrD>n=Sf3$0G?~vWDP+AHwwZN0qWeb<+utg<0};I`LrJAe z!FcHqMTl^Bk8P48tLTYXY-^>QXwl%)mjvL;xq4a`J_TO@h>B8wB+zUtgnr7)Mf&)% z)u7x=>x7s|YqY>rlvK#mQ{afLN3yAA^nC5X=pFyM%RB0Q__Mj?WmyxjEkQMA1I*O+ zTKs*P9F&qvg;aGE>aP%0g+h)~ep0jC)N=jL-k3g<*>TK3a$~)g>_$03R&Z=`vKXii zV7S)CEghoU2tzkiV?b|&6~Aa&$JwFBirkI!#5Vb*fm;6!>8?2b`5s67v4yf;{VQR2 zdZ8r?ZX-Q$7Y27MD=uSsHfyIPE4rb8!%2l+w8a7Xv*OQnrgMFHocWWNyXD3y^PL#= zdxrU<(8S2*8DvI90gEcQ>Rx`iA(ywptoO1s3nR!H zQ|VO+YtV!ID4YEjMjAZJ7%Zqg!DF}rDc!hy8Y-WYKB!fZuDBQ*sFq<#oRvV9zDj?4 zf%u4o5XK)*Q|dlF9U_sJ_5pe_tu>p&-RY~}i_VL`esEP@P`$|`G0ngcz|-th93TB8 zVhdxUIkAV1B80ctC^+p`w4O5TLc$3c|2@YzImFGeS%v-ckCX6K76-leohPpX%>tKU z(=RNpr_#NTc<5K z8;1K!{Ahl=ZZPhZa>#=8TNQT)YIK${#MbOW^MA{iYt*CU{R|G=vCS%Rg(n)J5(Nfo zTJHk}xuD(A&BA~5SrT3vYB!DGBy>dcm_9g}=idq(w2`@8<;+fYXv=h`@YR#Zin#5|YcR$uD|thG#f^IlYGCvx24HVCbgEt2?sq4jq$3Zm?!+2iZ}o`oi4Gcf>LGfg~5FI>UUX` z=&*@WC1$<%-YN7G#0^41PN}|Zuetm!jsxK#pYuSQ%hxW;@N`vVXs~ECnEIOhDi$e z9`>H=xv@2V^ryWaD_#)IZD6_iE`C=k{5Eyx|>IIYO|J}6dn`^g};~IanSkN z92<&0s!=&`+f&^u-O2FF%|<}-&nRzR<6g9a3X3{QcFFjT8ON)%!JOu;jya?7r9|+q z=t_W@^3!>Iy7~&fV#~B)I*_TsE2QZU4D4H9bU!3crYquHJB4l6jmq!YP+}D%;tmZj z<52YH<@b?%TBR`h5HXqgTTZL1Qt!biH<)c7Xy-|GQ+<+INkXC;o`x`r17a`C$LVRI( zZh8VHXNtekLMsKDfuJ8f5xp#~4Pec)G<0Jh_kCo%b?D!!54kHv;usmI$y-6B`lujQ zGArs0Ws~6ZtG(%bTCY=|MkZ8jTdbk(6ppG)YVw<#;%Ct;S@Ee#b>$A0fbB1Vl>aw> z;Tz@1xgiXp3w$FSONxeLuRzP``4czIEM=5uS+W z=-z+nD0U*ZFYxDW2uiq~*kZvd7xp7QGrfLvUN8HPqt?_7;+U*~X%OoW>Y|tt&I!!m z0!k%AG<~?$lzwuBq*+_tFK;%yaKoxkqAE`&T3wxc@u)FaX==SEwvB+s+&ysfk8#tHy>e4HC(!I5|x^p<< zg3EF87&Ar?;tXH;6Ae$gC--b5>zGECkk7A*SWp$`h-Gu(`s1)0vzph6V-sleN2i7J zJMMu3ajIGNUu6VCECKwRWtpZL0GPPvZ)R|o@4}VrH?f^kFe=KlCn>P%f~p6H%PUO=6wE=$(^i-@dsk2^y}dVAPCBMr+yg zoQlNaI_lMUMg0JQC?N+|y-BYnwe;{5C1=p>=B)n_Vxdb(rf7>3yd-yKRk6R$`assk z!&7GAK?5GsOkRA#WBLGUXqXqd#DiWss$e5-p@#Hlv* zxIF7(ewiWDSs3}uuduzOviRcv%d}%)V%5flaQc_xeK$*OVF@&kp_)c2rGzZjjX7-> z9<_ozkCL3|@-n2SB~3Ji#knv$Fdl>3b!U@0`D3U_i2>D+pexl$lPRbAwFt zVbV|C%r{O(w{{bCWF|syIO;lVYpU@pLBvlDf7|djoly79O&h!4#jF>z*9VW(vwWD= z4D=;$X^w#4Jpc!;d!|klfNmYgRyW8T`N0s`gvc?g+}}0tW-{#eGTDVDnI|vkTogy# z2NA2-S2nH{DTR8YwZm_-U!NF-zCMfbqRc(fJl2k<3GB-T*Fkq)GWl*A#I?} zz{hJK)f0@l;b~Oxytiw1&75!{_S$GEn>|CP=qfVpoq!4=yPn+Tr1~8FaO%SrL+1eV z4;<4%qh|?=+9@m|TyCZlxVle6=_W^6cd{rd!QpN`Z--`|8>_58lgRdWS7b6ZwWl)? zLm>}x*TEf1zlu>C9Yf%BR#y;IQ@ng{c|kYvyCzWWwTxl9&R&Ks9cvASJuW>{2W~e1 zYnR_nsR4f6ugm{Y*f|Ah7By?SY}>YN+v>7y+h4KEwr$(C)n(gOm#6q-ADe)w9yVJaELup0SXG}|<|cH3V2pubFYrAFgvbKPS*Q6uZ23u9Dk zDQu=e_#iue z`tnisx``~_!lV5)@{F>$E)-Sa&^CC04M+;@NdSpTKu9vfQ?xPwBLDfwx6@#@np?Ko zecIthW1@03A%WI=C%pgIa9e5qPu|SFUX>e@#C*MZbCC5a+Vmy!0s%Y*+fz-MiIzZ_ zqRGo<4nCUP`rNq-6j`8i?XVTjCvGj8-1WOo5H;#9TrdlnZYB_Je7+7s?Y_-Dj zVNN(6H$XIl{~F|5hqo-XKPnjJ_2@;_^aIFOU$efX5zO`!@%}xj2pYBY`EwSrB~eZ;s4Hdci^g|p~+k^`pAt;mp*-Kwic4RUQRtbH{`B@Rn&wj4{*CB(G2v!14VJE^)rnPR~}>OxrY+8CB%+ z?T!O(DCy*g)D&0v!!>J-MfMe-iQj-qNKw}z|czG$^h*jtp zqGFOwYzuG!CN4WW7C(8m))V9{KHw86KaedMRD2+Xrp1dvMCDvXbS;fr9s=mChp}O? zA*od;xlCW959>b~KzW_`66q^q#ZYB_wqZCkRqyW6@&B0|HS@p?KOijglRYU;5L&fZ z`P7)%lCA3WM~S%>S6m=YD()MH62?_-iE3>(bb~kvS&bB*hU!HvhaseeGq*pl(1@Me znR2wG7viCAiDHd#=PjZG(*d9`euU5mOtTfxDa)c>ZR7{%@v*E$0|<;>cXz@*EQTwuMaM4AIbi1g#^GHFnXL`+|Uij z>iU|`OFI3)CH^3i^WpdyKNM+aV#V<$!|s91C@xv&Bo$^r6J{V~o;W7@Eqs-FM~2+z z%lxrO&8A_4;HVJKErnq)lD6xM5=684b=qo44qrQ;0mdj6e#qM^h#!ZPxgX_yY~cOA z&VPZ*mDjMTDMy^YdJE`KU%dY`bv>`9uXIFn<^j9QyzPtB?JQcyvNHo&dLY{ewF`at zBrXywX;QCCAN?qkc7PdUy<|fB!8j$|i{Y})z|S->b|S*-ul<%_A%gfZ+Ee5Fq`kf(wfM$IjI>hesi6dbR?>*|zAr|K2dK(6s~%B`R;)@PyOK&R&= z=8FvGjNACW%z8q<+@8p@d*1JZRjG4s zptoRx*tZp`#hP4vWC! zui^HxI#2!$x9mn@la~3sQ`|&JHD!APfAQ(v=AjB@Km<^PvgL;QF^Cd>PBI&mF6h|m zeRua!<|n(JQu+GOyM}!1MP+mV55bo;lJKZnC^Nk5V`@GsrB+PP9vN_E6^ZS}P400{ z$m4TnN8P4VUbaGahH{43xth+oj4t#pH`gH>&90*KSd&7$#4E}VLk|eeO2(wO}qo)azE>n3s*4)H@mWQ+R^CfW(8>`(IMU%d@gDkCIc1N2XF=g>^7yJ{2zH zxE+o0x@~n%b5j-?TyyYh3ajl>oC6ja$!;a$OaVa|(9mo`BZc?bTiu>?ZLk~Cp(^T; za=kw^JA5sJSM2jN%@IQOv@5dEzNK^VskGWdZ8Uy?|Ij+~p(wmiy2F6rZ~_ywH|=j5 zRiGQ#1|D-q|FOB5a(*0XhtSP2*%>4l&h%lB!ji6CdGojAqGB`asnq&T{m4dN`7hiV z8Gtszfuh+v(8u#Fg)jJPos>FFS6Z7&_dKr{$zO9i_IO#-2h28TH)4{~;dSVdoNx6^ zz@ND8o(%c(E;z5N?0RDp|Lsx@-GTR`nu@rKILFayS#D~?h;)nbaf*@vR(d3s0AYlg zaJIT|9=9a;vMH-+@Z;=}EJb2P>AmX<5daMpSa(a~LCub+h>C|r_L&0TCb2$F!0Rw6 z0+BXs7=1JAv>n&-Q_e(r72_|mN0*#b(OK1gmIZWKaTWL03;_+ew=`WX%A6Edv%HZmJLGE?-}Z#uvY_OHVFmVPE%EIprH}^c>c;45A7ps22#(i>S8OyZ@yal4Ph5oeyhXBz)IIOa0Bssh=*GVx zTJ`(%h1m&ca9r*45jnx<3s3|Bnt%pdm0fwNLy_~ND^_SB(c@iOvkEI8Gx?wZjV3Wx zT0wk=~FM*nDN$ap+y&;`EvI|2IVZmRrS|t_!dQr#;xmU?zxGPhx(nm z+F<{V44Fbn$v%Ra@Rked#xPO;(D=dC)|kt$`kTtvi@2=lm<)N$5^!~^YHmTBCJ`mZ z6Xi8V#UAy}s7X6wfSIM2dU`5s;M;;t+^;JBh^;paosdgR?$a(CpLTn-%L|Y==QE*l zPB#W(v1hN^<(+`D^^leA#~Z>$psPa%cm*d|`F0PULBf~mI4L~_JQ!lGTsClNd@>C6 zuY~hDvp}mw$%Ru80{k0WYDBU~Bka3Cy(xZQCF`S>UoK4iH4em6Y-88eyj_j~CdhW^56LK~%cb~N(v1ULDt(nSC01)1CC~lS~aux7YJJz`r zSaW|h=w$oWTw;<+LHOIl1(X)*dJqdxJ=wCTqfs=88lZL! z(GaR=^CaTd2A~|AI{dt8X*m-EvcE+Q!aIk*Xs)WoMOK==;~Sz1|FEuxdp$d1CwUQ% zwn!d3+@R1GVLlal2$ z+Dau;)nySzF&Cx+S@CtV{PVpU&B1$Gx53qX$!>^%03ab2f_9OOe!+ghTZ(|qFOIRldD(KA7!ecY+8MUKCHIb+I~|9t zYV?{_@89IC(jagk9`2*gDmo%C^wjE2*NJ~f-$IZ#GHC_{2jRL%Of5$HomCX?0kRao z)uYCX2#7^+b|yJg7{wBF>B3fS4})HlbaV>FWR^ge5ITvl39%uxF{G{cpxvxPnUuL) zU^cC7?m9`t&;N;${VpeR4iXQM6}yzQvlU@2w-TzU5d}ZtN!5d~OKmwUYr*lpl)+jA z34@6c!1O{Un`mpSn%4|hx6sg=wkZPjS$Y>q0^HX?nm!-Vl4-!7qcTiejO5{^2G>>|*xJ2YN?Jlr55|GNrMs_hI{aG!=* z1@q-{ODHf})}(E?LucNh^;Z>*#WYt1ARbmrbNQ}hMchIA9_cBIuOGw_iDjNZav9U} z0LVBFPY-UyBP%0tq6n{^;nIL;4I_ZH0qxd?Jji&n>H*yPJTcJz zy|_O`MK@Y(8*cu|G)<1ZN%`dXswUKwneJ~)`$Mg@Sob{zvAY=l;b4T@NDf_Rcka-< z;E4r7$Z1}HWB>a0 zMvGOe!`S|YxjIOMb|dOAVY=xfYO!H_>i)eX%tEJI|CjWHugcLttxOzxr|wQb44{AX z{^Yeh@$t0b9%7J}Hrem$fy(dp)Y;Gdi2n?aHE6#9ykpQ?@;i|ES(3oN9QF?mK-I7x zX^!0Bwf0k{q^~ltvQGnD9`*!IIG$(PAr*2#@lIxQ^=Jo==ga{whK>i`>!f%qgZIHq zYKy-#nD!L@?_V!J(x^ksRFfk(k^(aLpaH4HYjACg#5_x9_Rp{y{#5u*_C??~faNcc zuSI=T_XPOXnv$`vxlgg;dO(BmgT%tK#`V1+V9u&ksD^5x({37uX9h{|E|_6N=}Y(f z;C=2K6b7E%{q&)uFpbSbs6s3BO^dv+U7_CEBlW)8z6XxB;e83uFd6@KfooMcuF%Is z45Bt4>{iRBYut}=;qtQ<6%o%TNbRJ;zCrN8+5ycbi)>HUnf<|78t`i5CHN=4O^vdk ztzb1o-^AY4@%lxo(=l(oTx7zo=GK@a;-KBXCWYkt(RQ8Z>ui+k9Q8#V8CLcmexdl+ z0YXot4&kaBN$voJD=G(({OQ(V8@*67tcX>YR86<8Zv5y*eg|n~BM@n3?BtArBw0nn z+E!z|E&w8YN3+zT1^^K?9RvV*o*)sjIYz5lqB-6TRbl?zwI&jV&O}N1rC9uq^qdS1{^T{Q9AQ992Eq)TRiBv zG46MZ#DI}~=WNM4UPA>1%eVmG1fIJW%LE_TEFhioe?6p%CjagfV$xq-cu=@opSV?u zj5@$Vn9Y3otBaS34e7LFl{K*sEeSsgV+Y~T18K31NW+T`=s0Et6 z=qHeCyxpvtFT@|<3|+m1>M>AR-G+kHAF9A0=@U2ab)>5}>NWthe(Tx+=i3is3>Ej= z=Z^FVCp?!3*d5HY5P3R)up>ZUk~<0$VtQV_4|~U60kq1tseTP&Z2EqUskW3rCVVMA zlF$`;*`Vke^|nNjG08PZRTox$Bgt5iSKw%$c$h?~J51nPx}f&}Oig}2uz)BGX!BEe zTB_wkg!-`m31arNU4+y7xa*y_bnS|> z+VN=#)>q3FW#Hx>fw;$Lw+XljUuoR#%u$246Av)i1kH#*+#MAm4O-Ee1VrVH#n&u6 zLla3~%EW(#mo@ZTLy;bDr1zDOP?#|BG-muaEPqb!|H;FN?djtMW#(dTQhG~)`e(4F z%_9S&wS58ukNn4FZySaIhK5X1kw$CVM+OE!{)=({SBeKVu;9NGZsxWQVqpFMSgil4 zh|I*r{J#O9EJQ4wI(1`-HR{T2UBu}&QT|LL1A0lgcdL$e(bDbO(MnJt?-Vle1dxNRlqco3Cqa}VnVY_X%I7zJP> z3lpV3zn}rDUuX`9wyeZ#4lKepT-bxCQ5bJe^f(^~l(j!q6c~<4QxwQ1XvluhsNUIJ zh)B#B6qpFSaOxaDe<(u93Y2aMjCd6Cef$WXL6?p+|E3KL-TxT~#}fky7G%op=K+CB z5*QGR01b`Vj|EI1h5&yT@NYN}G8Pb0<#HBCglhOpH~>Wk)Y6eH2khc&GWc}f@@5z* z{rn?4pojI&PNBUHV2UJ4gmb%!r;`Ku9A7QyNT%VQAaD2Ld<`>}y4+ z>X~o)?AGJ_?%QTC6~`@6PPIg zm?8meQRo5j9BatoZmxNhi57r|4YJs00--6C_wdXoOo25@y!h>&KJW(#|F;&AmGE*O zt04vs-SOQ1C=;TIApU0o_b;J5=tL``v=L~-K*45U#eo9R55o%wFhPgGV5rsS{m`I( z&V-(IISHnAd>GSTz*nz!^dX;yL$D?yy8VbnVFQNDSa5gGfp24nyLy1GpJTkMD=ghT zAP6B7cxH2;mHu%w^%16nQz?|Ni4btTze4*}?^6__cjrMwm}C=ft;|vH+BU-OAVQ3w3S%W5#uXh&Rr=pI--V_`* z&2%E?6=3b2u##nSQ=I^c_Dgo_>H=D@G|FpB7oNX2$ulejefTIG{Ga(MJ8gWQQLm`` zvk3ah)CXRPA0!U;zx== zu;;{lSDLZ)JNIi!4L`mo*$2tR%a5ugH`)t$)lSCQLEHWe+lc_^eJn__TWluHo==KA zj(@n5aq&YnF~qYi2#!RHOvz90Ybk{u|l%BvE&GjA<;Keai z$c^5WR9o<1TZ}|devoQB#u8i2sUVMU*{fj4L)08ClId!R6W^;J?`j#36s_HeQ2!1% zb4vu^eEXA#sd)lAd`T_QiRLm?koIBCtRh$AOnSU*f;sfZ?AR~1Z4Omid=9&6A}Ni7 z9J7|@ka5Bc_NgsQUTeU%;L^rrvK4YK{;F=V_;(A}jpBHhiuK&+9X{`iB{rQ{Ai%#K zY}pl0p3WhsNTno3Q)3pDOzGsMlG8b4?Y%?XoE<63+;Rc1iQ#hcgd4@CUo2N2`I5*! zEY%rF6PK<|Mi|eKTP+m#`G0A*5pH*W7=I_*rrs1FF3)u;sP4A**kl|VZTD4}_}LU% zUe3_5ZPaAHIj#-J-$nlll94gg@e8-chtTP{5xnHkzvMgMbSS_%eBuyr7pQx*H+x?@ z<~h3RL2d)&7Rche(E;R$LMmtpO2wHRyq zPGl#wGTj%lc}>+^? zW$0uyE=J|USj*A;s12{F87v$wL+#@oZ=<;J`r85?E?5T6SWF@#+0}OHiS#5|JT1OI z7++cZU~!rqAjQ{vE;GIFm7Mzicv@|iY*;kq(Ji4~(9D`C6*-fvQ(L!7(_Tnn0Iv_T z6GDf=)P-|$alBh>XWVR+r5Hr)^SjE+AXCIbkGzdRw0Jd z?w$jjvGO@n1gVAJPE9un)5sv?YpSg=^|_g17lhYo(rxAn2qx09Tb9aIlIEtIwo{H& zvR;LV*HS*q-lPI8q|yrv&)nAKvyY!?-}wLLMi<7XM+-dcrEFb|VrGE2>S#VxGM4IJ&LKr$}G z{fS{JHs`GUsJ-qQ7}|-+oaJK&%Wbi>{Nhl5CZ;VbUzuQ)arIEE|__2nuo@;GoiCHnDo!{Rl^t*-J%MmWzf*r zBT%fp^*<#?$^7Q`>@y!cMP_J7LyzO~zifpQN0qB+9v#1(a!o2+(%-3*9PK9UYcAq4 z$huH1;wLKilL`e3xtLoj5lvRYc5eXQZvXJ2b&k*01#a1wS-HFVF{!PRVI73`8goLU z&^o@H69;2AS9I4@gp{hDmD8=AyG8;$fNT)UG@>UthCj!=s_K!prjaZR<{D|Skp`Ut zY^u9}0y)juB}4($>gr8hw-)WU$IbQhA}3xJq~OZR7qi=92kE289IMRXk5<4RZGkmo z=lPrTTgo@ND)~!=LtS9b_wPjd4K4n~C}FFCO81FBmyPjo65Y z5}D&H8#quBTzv98uYmB_Q!*)n05XJ7~5sUmtYx5*!T zaHpA)2c%x958dXCI0FfZ%52aLiCaR8bNmmS#vGydqmcEHgr#U z0IrIy%jJ%Mx7b{AG9BtPtesgG!i$)#g#FY>&h|c+TG|uxU<)e>X)z!^wBdyRV(1z( zo?&X6V^pyev)Wr-;V?(KAx}o#q{7nmmap3Ttwc?_O{K5jwn1IG5w5xV?O4HjNbLMU zpn+QBnRFH8odgckj#pWc=p`}_XKNQb@0bEqbszfIB`q7Ph}|!HrFWg3iV|zbrH8Zt`pbiV@Zs8fC#@ z1mSn8uX8U}^Q2W+1ekHkPifT{I*h@RHXp9r$!lcF1KsBzw9v$-_IMKBiZJt;xnuRb z$!?`GsUAEGHAA6!Y}7UU725};WvVTtcuY^P1kG#hU^2kz?|(n~zq~%oHL5l0vixaX zCiGU!6vvEA6QJGZptwKbhzY(qb%Rz_qtRw`u#1p#$0+e()E$AgT23o!ope+yl?eIa zkCZYV0W=p~C{=B^!*g!BnP+qYceP6;ULSlV$6o}qQciVw4p0T3zNki<&oiUdM2U?W zrf#d@TmP;VuD@|BI-K%*bmj8tqBoO`lomA=d~mxfwI^4u*I^`PQ0~@5U{?z`l$0sb$0*eX8A*jAA8z!tEl`Z zd$jJ&&II=ZZE>I>EJ^q#HY}?pg+2H6FQ@meo{OzOMV@^D-w)>_8?$hpC;O9ST~SemWS$=$a62kwL<6-K z3EjVl!4<{bk3ymY+z6i{SD<3+*cuSZq>KdPf+R3&Trp%XpaaB|W0p-G`#BCiD1uA@ zHC+$k88FcV=Bp29IAEI{8V4kv&cwuOa=`32j`Np!m~StPsRNEVHG&=U5ujC%l&_2B zNa7U`X7-rDWL1J7KYjSdM8Z_EO956(us0M!6cEk*A&N{2vOiKyH-yo|!VD$BrHhvC zr=%l&D}kNPXdw^=33>)fR!EGJejJuB$6(0nN%B|2cXyGEF9h)eT5NnV6L`UW42C8k zifQPrUJ8tAWeRQDqQ*702H>;aHX`sE;8z=X@^f1|g?{5(8W4KdK&#RU`deu{d_XuL zS{%(W8V;$t4Xht!x*9x!QK$h0iCV%0SchnsK4&o%j!q;L&YUay!H}a<>^oA&Z!mO< z_gzYJ69^VLj`)Cqw9n&qOz5wrklaz3-CL1}Fc)4(y%NL8`BKOfHQ)!;L=*-YnhPj_ zC>%~0Nz+>h;Q7go{y<6V>Vz!S&kTiB)9_|X%^NV|ez~@L$~+=MJS~~_!{#0q$Ba8* z4?l#G9&vet#B|*Y+m-GQoq}u5!PW)7n}L6y>C+Ft^Kko_FzlZZs;I^KkypQ)dG+3C z1S%c%P<}OPaD4lT2_P+x4ij;HxxCOE%2VBE_Zc=1b{*@y%Qb*HoZ(0Qb7_5}U@=r> zp1m?U&Wjw{Xtj9ulK-;s`YlNF;xUqJ=l%582Oo6i6`~TQpsQB5Gkr1DnTOOgrbeZf zPLOv7&Y%4Z>XM?HZNbYOu>qh|-piSi%5Nk4%f{bI1>3dQ91tv072>$RF@Yd`06Xu*=s|tD=q0bNAGgO3S0|X0W+r>x4)E3CzNxrOy@CHLQD}v8`@yQk zA<-B;A?o(7klV;2XmtcDi)|H5Id4zrp46eUyIx}3aB z?lz)NXJ7X?{`&Ne)R9M#Ha69y2tHZO07iB@O>EHRA>h+IkMIyTb}n%^Jgcg zWbh+Aw8SwgfR-2=&o1Z9SWMi;Xq7|!!i@bTH;cQ69knGpL}?^^^~eJ@zGqtQ+fOa@ z4c#H;SHW4}VcOyxIRV2}cAQFIMoGa7<`IHMDu9779KR2PYqe29qoE&rdEt4%FLT2I2q{5=aUwmO&Uvfa7Q?>k0RLgp~% zF+*=F&?aa>;$SZzmt~X5@R_zS_}2ELrXNj&b=|HSAz3NMGB*Tsnl# zCH{+qQ?RT>uqts4`PnkNr(xKHP0;Df1h9FOsUqwhww}c5kS9PlbZRg4%2StiTI8?7 z8D-MLt{`bvDe`boxqw4DNx&Xi^Ll8i?=}xGFRCVCAgE^4l+R1`-$@r+EzE+Ho!<6( zr$nJ-_jz^w7FFFjNF@a63n@A*elOdA-6xyst^OVO;Q%@5p=X!yj;{C1yVBk#7og%~ zvUig(G@$^m1ka|{DXq55Ni3jKv}-(YW7sQq{C8**z=NT!LoX%V0TB2u$hkK<@;3}E@^-0}1K!*tJso4reJ6GwkLJQ0 zMQyV>n+)O=+)jW+b!qL)gVWO zHJq>chbjsda`NywT|OE8097;p-RGI}KRom{UIE|`n16cU{}KvUq=0K-K$w^lkWt$* zegQuMgD|nQ#i{|rf`Txyru{RF+rBh`D?pOiakrUU0oQ;gDZHVk{d-iP&D0Kf6a<8sxsA>d zI1D811Q-~#ZPfW+O;8qQ);8jB;9XE)mNejK;2=nLW+qlnR?f7@XkfhmN1N8#4>{f1NZ&bZi_pr5e9(34tYUqnz4p>ByW z#3tD9os`C8k!C^}>iY4<-*pEd5PlzdrJe@N z2O)?!=LQ2AyHp$@)Pk>qNFg<5qmkBo*1Ab_2Bu%dz#bAoIi7G(HaqPzMO)(66RQB~ zm^9<%+YfjX!@(O;KrAEhBBg-6iKP4jbP{!>4;aXs6HyMNYwnV(Y2oh@QTC*1&nrr+ zgu=Lsm;5DVP)4+RA2%I%ue4s2g+z0EX4clj`T|(_<`ChsjajNH6?p+4n-V+&kc(B2 z=X-6SL|;rf(~x)&Uf~M7g7GIt{@Q@Iz{j^>*U3j=gnEMFB=`7_FsHyV#Bol-;;F~L z)wn&%w}8}toan*LKp!wcurOc%oS+qivDR*|H_MFw2fYa-2rQTlMKl+ZqX}L1&FH)B z?4?jru<^NToaOeEBk1od`Co`}Q&um`CJwpyrdP$?Ip$Fv3jSNko=Uo@yjK9~6MD)e zjP5};-YdKHl_qn|R^s>2+9GE*hTK1G>yo+3nh6=t52&ToIMFkm2^FIp3s?zckU{47 zEUjVDDJZ#j4!|ybFN7{xr2PfQM~YsS5Y{J#S4e;8J++7NgZpu3pYR3-q3*3tiw08f z3~b4OSGot*X$0!IPVstk@8JP}6>L8FxKGL-HcrrdLUY*FbR9=98uV5{Z}TglEZ~*g zbx*X+DqxHN2{P6GZFnjnUV(YU>_NEgdc3LVRs>=QsJ)GFrngLiTH>oONm4v$lvpP= zqiV~?hjgyCa5-UxRr!Ku+PXjK&kQUocBZ{kdsP6)&$(283;vgLvq?o#_&AY3Q5pKcp0*=|q ziAPg1@iWoON7Vage9wSklkl_x&UZx*d@|?3#2oPb)C)tp=a1}nzgj1|nljREXse_W zwZn%!r*u#)^aDn{0Y$h4FNSa*1%y~Ubm(m8+0f5nClZ&~BM&B7ifORwB$q&dnEi@ zf5}_j9FdY`J;cOjrdW@$uBv0fV$XV3cJ0pOE)Y>${8UoLBM|6L#F$YM-q@%1vL*_@ z!IcNcBIZBgW8GFqPx`+!f#F*{@oh#|5c#PlDtm9dQ-G%%}1N4GG|M2(*BwO1+@_rp{9N1PmNz ziX=$Z#F0lLnSMi{;7%JE{*qnv8YIMm{tInQ2tL7PBxVL6R^tmHwZ@UbbjF+;fEXP? z3mkjuAEJQxOX3Ep*cb-GveYq@n23qrigva&14ow<%cTNR%|%YeVOY#nBi!guFnSaM zWF)R0)Phd${h+sJ>GyQ|MkB?a^V8?m34bkkaXu-@sDZYzM;n4#0JGafmQ{?R|BD49 z(j!bI>vJ4Hlert(w6Lu!5G#r%48Lh4uGYADc7FGuRE7fSEekZ9f;MpJQjI;RvSWPEdT*7^hS1rt5c5RyPCdDpz>H$$i zQ9fH-hSGW;62qE6!+^eSW<|rMy<_wzJ0?k)0p}Vpo;VsB=oKG$)oWa3>a2*fFa^0G zi{{mQn@fdFU!k<30!zwP!ph?*kP~-vMAuuIU^W381W6XdM`U+I?t-Xk zPo{AP^$=7H&InaCCYe=dm1<1=NmRXG3{EJet#EIB1N!wsP2E!d+e^K5$lRB;CQEba zQ%e_cII*yPIrMr9@bgw$RUorK11 zVyre^wH>rpSCnxdvM(2?o}63qT%H%ZDzzPb4ri}6`^C{?J((!qw`x1u+i=^Zd>G6; zjK-ljH5nG~>*nj|?VL*V*4oQJk(G~zpA3S~3`Tw{dhVl?39rP{f;>Ul|DYxG2+j+D z3;%9_Sn{~y=QSY=uw%}ap9;9Euf2edU0nsACy1FUwH>23WF(bOk4;HZUeF&v%NzUq z3NKNyW}$lLxAf^^ls$pf8W@W4Nzl5i@#3Zqx;!uW+h)pPZzI;>R*tJy!bNnJqNvd- z%$2mfFL)3$G0snoio#@$M0NC*TO*d8BOtu)_1Nq_VsG& z;|1N=$ncE{G|4LtWvKTOV`?khrHFh*n|XPg=AF7q?lyHv;_QoKUXc6k^421(Pe71g z0L7Pok72Xubvkz^pUNZ5-GN?<;kNz+7bEf5gR5vqF~NUnX&}PRb?xVF|LGZE&?i8h zbQHQn@S(7RloAOkzK|5bq2QC4+RgGTFGSmo%yR5~~#p@*1%E^W|IWBhr0s}PI$ z^Y^(tT|dy!mwVmEyZyDbJ6jDP-Xz(hT-XC|KUq*&nwd#s-7p~gHYAV<;UmxKfz#W| zz!=s0TPL&wF-&o%@5?Xvcb(!ef2Fd&NF7M^!VmKDWL;C?22y;b)~1Gc6_AVX`_TWRiYw|&I4JrI9Peb*&!--WjXU7&na4A+yn7A8&xfiWEhqzdg zc+GNaM|C8wE7r=3_j+KzEmEzok4J!i=jeD$u$J-Sf`Ah#a;Z-1$tFwg5y#}iYvx2V z+txcPfhx1~o1g}u4A<9;eoTZZKE#k|tO)@Lt&sqRznUJQ$6*$TPusbOCB$yWO*XEn z)@pZE+ow4BoBjB-vfB<|foaDrE)tm2Xcbi%ccCtP|MWI-zT|+!ks`ArHAGQkCWgzap_-E) zGmR#CigwtLyYTaRo+PBh%{qs%gRb@mu9MJUr=)mq{C=5D#xOSETF=4l_-6MZybTi* z)6Z{pc1a z%at*XeFbX4v-CphzT`~GaOY|NK5g9H<>f%TRoM|9Hacxxk%Aa{ z9I~1n<3;H!pKRd!mjVVTechPT>=ua6aB z8Z%?W`CAVcZbETCu&~x5T!L%7tNERtzOnHB78!X}V`jB4+^}GS%a@$Q#;WK8I=^mZm~3#6 z4!ZXYfdpYl%aiz8bnp3w5g=M}{7dz-mZo=f{H*C8@Zv_G?V@*2TgF#^t`xnotu=|^ zk}oBs2$6e8K3jqwB32p5tT77uBjYO7@--sk>eeKI%K&LgpyBMqb18ZEEO>!8|15Y> z3?pr_kuvpf6gOc1W`9@jN18CB2KCn(IPSJd5{s5|A(s+8#6t|I9!nQfl^jMurW@Ts zJ-Z8lF(3VsJ#OPAUOw=eECaNwo@LqOuEHR9d8p@*I`x8q#KE!H06}o|*)?d=n8^LS z>wN74r9|Z_UOKE8A;*>KV%%iR5sp9;RBc_i&F$+LucKsV=DW-~dzU zLj*}VqCtJ}V#8W6K?VSW(hjU;kI7taR4?3BFbEpj6%&QNfY?O#bK8G|EcquY(}T>vT^bq%&{4Oh>69K$|G7hS9_LH^7^e~4>bPV2Fr%*%Ue_7!9bOG`PzHzIiat#=Z!JZf6M6fk_+NdhnifQ4HRhVhq` zw;2%&3pWg-29XXk5i1e%zo3ePgX_N_$3J;R1%^@D-rV7z_aCw4Kb{zo4jnQKY;T-lz z+YL__bL{WFW3w1f)kR&xf-`!yr>9w5aCO-hBgD4IxJ{Mjt{|*nZ9^ff$HT}FsUhKyIi)@z9Djz9>5#9VMKj$pAOMOnwL z)h3SFeNMo$jn$;jqKK9nX?rA=hklOOYkrQO^Y@qqK#CboA%=$o;$W1BH{`B>nR$?! zd5G(I;GB7I%6+u#->mcS8#mmBHd;wKo#=@iwTR8XzA_QYqx{4UPJ`Ou^Z+D~(_G5# z;I4<>Fg*zbiglHz>WKCOcI}{|OmL)3*5=}FmUJbH<_GxImK?c@G*c|ytF|O1h;)L3 zlrt2+v`wtE6$aR*`|0?8`?q}}=J+Dq4DxLq26Wbc)B_OT}a)#Q;sQDRm> z5@0bvCZ$9~#j~5`?0xiZmzI^T z>Z>_bN%U%8U;TFTZPR}Z^ufuDFr*aarjI#^6WhsLVMGaYoseFm+50)c7)Rgaby+O; zi#jWE^MRibMqJU@bVd-S&;rlMOwpN83NbUSt(jKaAU37ceE)vVNc8rK(dgyXT(amV z`}ZCErO{W-GmCCUM}yW_MXx41{@M0(tZi0-lwumC=7&Ug`+R?yZgpO#8&|$7i`$Lf zy4oyvg{v~%tzA*NSruhgueZLR2Y7Zhiz3gp6_l^43s-TUmRYg)g^PXdN=v;-YrQm6 z1=+O{lnlk78!JISnF@_5v|SlCDn*P4r^&a?5)uk(wLkyH0>ANMfyM)|{b)trsqcx6 z%4q)cWZO5k?Kgi`@UQLjj~&JSFwrL?vaye0pLA#+^uRt^9Upew+Q;E!e?Hol3L_^n z6t+@5VWT7o7EhH#T*NcM1rmfirQNJ`u%2B|_Q2|#J#{tDWQ=6LpRfHaV>vZEEDb)V z{brxT5R6-e`wsf^Z$?ZQ;&L$eU&eQiAkp<`XYY+K0lj~mnkk2J2HvMPSdjHduSQ7i z&eF@37wID1rHic2bk&odzzWf1(EVa`E!|ncr(hmQzu9L;r6wpwQVc{M)}IXR31suP zP)ECUbIxPi&m8=+;ECI~KecjHP)n@0h9@p&bBdT$?z6v-&d@AO`B}!$xr9kFf)Xj* zB-4CpWQc#A4dSTM-ZqOnS8%V(TL0mmcWG8uqpJ#nAPEE|7_c|S-MBiVs#Qh1FtFWN z^%h1(HO7$=Y}WZ~(iD>eo35GG`Fr2g6tMp}(;2bjT}a2z4{VTt`|->xT&!F+N` zK2YAynhC^UI^Ai1oDh(t^eFUMpMcd*t@Wp|~AW05P;LYA*?Ui|(d=!QZ_ zjD@fP3w-r#v3>FWH#}QH<+or75=8P~Kiz)y0{_u^lUb{K!qG3L-20Z$=3 zVR+llS0Ke;xz?Ox1+F$m37Dk)ENeGk`3uKw9oSN%{q}!m zANmEx*Y~wO0UXTzLu)Qw>3u$`g@}wAJh3aM#zELVzZ_c;M{y#|G89ev%joYqY4HuP z)x`H^oeAu>ZI)-->`%Q!r-&uMnS{w1PblzU=6uaJmYRvEsMoqQk34!P%4KDxZ?RY0 z5Sk%R!~?=JyU&(->0WLhtu`R=fd6b_1_#=bD36`}hzuO@);%~p z$~_>cx`nL$yhW?rqg7j+)xI~qOH1I_l?`f%32LQpnTCh@p>XZ9?XD>6H1~gP4PV!J z-HseAicMM+J!MgR+M?)Di=q=21=|DgMJrPY;feAmCtheL@#5@^o=m*3i|vd`2QF~* zrl^hdl?sNX;^@Jbq??EIv2taLBCo)XN>{VbVQYf|m#)(2`zSeK0*GDQ7s^@KJ4Q-* z^mZ7=I?WlvO3gZ-JqLQrgJ^$nY^2pmvtThpln%sj?L?R%jjo+=o%rKuS-AJS@OoKh zRh{LleO9fHN?Sm{0Fd-daVP&xad)ZU#p0Hy#XaW|WNc_`m&Y3(Gm#MhS2Q7+1|WGAdTM{3m`=JYd@@f= zJxY;2;3xq;D7!1ltt*A-Q<;poeQ6^Ey!`c;gHB@(OecklTj5@SIWT#4EFhj}f@mA+ z5Aq9gC+-JC?!M6=@)k{W7$|rg@E*!1%!{hZZZ{sp3^Bs-gq8#c!O4yqJ2v z7gJC3Vn_FBSE3}rNQr;G6g-AMk{QFVo%5|;6kF}7hCPYtP>xa7gDJv1wlrT}O!F^f z`Q!x6ALsZ)Q6P~F77mI|l4Bg7Dr9Eba5W%Fu5(7Fp}f&Q}*>i513x zDhQt-Tk0xX`HuUS7MMp>P_a(SW$)fYNP2Wqn~q^HuN~ zAelZAh06EV(uf@x&pyt=(|0dM*vvl*rxR#r4^QDY-JpT3Iy5)hr5#g66k|Eu7K6D( zzfJgIV!@aQ0)-hAyE@z2+?jc4s0fVn)ugX)LY#lNFvL;rwQfaF6;2Ny^Wq^7j1Sb; z>JtL65aIOCr+8kiwO)k`kIDD=3>;KB&~LLq=I)WV7WmA?$Jm`N#lbw?l9^17Q%QC) z+hNbRa>UHmGC9$zH+4EscTn+1woPl#B-`Z$(G18lNRlQAh}IM5AT)sBjEm@Dotd*N z#@v5_9RrT1tDRnC>Bj5~Ti#|mO|@}6rr5#}^8h^pWAe53qznq%4QSrN1~gx!mG3t6 z=igKJ^N>Eea^nL{!B(fRH+5JSQJsaw0KA3lCWQ^_b2mTClbJ-|+`>yrIBANZAxzV7 z^1n#^WBjRd9OOif<5*klxwh!UD|m4zuRVWQQQs>rJuK%Qhqiv+P77DnP2jUuf*?*nHLGeE5G; zax8~veRz>=OhK1>9qiGFG7Hr^8yOYvYC7O~4!g20vxR%s+grU{!t$oHJ`27Ww+gJK-zv+Lkdsn85W>Gw<03MoaqP~UST5+?rI%y8d%=xSn zsqGCY8QA2?Q^-oMtUf|iN&IdzU-^OxMDD3vx>#qqf7$3XcL>)sY9Qlr2=DHmDn9g@PI91_dXVqF~0Q8Qi!xGaZLzV1S>kw?E`bzyKMH6Jx}ZaMd>5`jGOf$W1~9K+1JsNS@^6g(phI<}oj} zS-3C`=)2`b0mH)E9qjKwv(kS)((5v^aqXP1ne<_kx~_E{hB%X&KpRkscn&o=1gu0# z6m$M5|06*0XY3h>XUna<%fNVImCSe?y}h|2;QU{{o7_CfdDQXc_IAJCxIv79%pm6~ z$g}|ksmm2)H;n3S7)waZtR5ibTABbww|bKSJX*S%MYAU$K8rZE-1C2sv=ft4Nj%A0 z?8_3Oki{J!|6BLpDUw7()+4)n!G7U(9F&*lo1?d}X#x;a$^OtkPTfY2n^rDO(reWw z?aa~2*qs8*Z0d+eikP_>Wg*RBvW^jR!AschByiqi$vSXFlnjz}gR`R0TbQc}vYTQx zbz&sjWcuX#8501^<-vdY$>fP$$UzyU>~jwipw#-l-Ys3qp&^H^{V|H|nzHeGoO3`C zuvO<25$f^7N#$_{GL-R@@+J(0Gma9;`>pb^w6Q=jWiyV5O8WP4r)OmT6@Vp^;yg$@ zf#A+`?=Q=uOr6NBcb6A1vn4<@H#ZnP2RQpZ!;_k*T!kI$?`UT7`o7D=}eVTD7L$e{=-~>Bg{Hkjw#@9Jrz8l&3VDYsh=t3VuzW< zxv>MTy<~pKc&UlU6CY7o|X5MiiV4Pb~4R_%|M!`hFJ`iY3>5^ zxJjEWbm_bpi<41WZ^}Q(bxlsh#rIN7TdN6}oKNhz7k_YI9v2&k?uI+tk1UO}YxE_% zO$t1-)2f;>()dh-^S#!7D0lnGy2y?SOyV*L{~4Msv$B8K75hz5orzJ|GrgEk3pK|G z=IVm~9~9$Y9(=N>)EWR$y`J*n(CjSfyjpM4ZJjRsL5aWla6UvIS^iTReZAk+sT)&= z9NcANvojlU!%a52+*U>LahS@8g}XFok9q2lcsO%j(1!X$;|ok8kQQn0rS-1yy}pvd zA4M3e_9svD_qx2#^h5u=zB$kT{;f}}=z3i&{b~PQ=;RX}Pn_aE(`~767ebRG;mXvW zO-J>|eVP6BdTd9d0Gx^a_qhbc;W|tITp3{de*iZ1^WT?23jq@XF*cDA69X|aG?y_N z0VsdX9Lbj3#__JN;1Tnl+3vm3N7>IxoG6kL%O}O}1w%q4ED~Sd(dsP!JHVeG?%PZXb|J{dI-@YN7EC@kdsl|s+3q=B9fdl>zFo<1xYm(f1?ttic<@FSZmKeGGc6TF8RV1D!J=hJL4Vk)L)GI&LzpB~`P z>xZSJ(ZAp?gHO%hAKGggeHcU)pcRe29~l@&zs$mBmBYK<`c*xqRqY-n2UyIPY@dJB zS&_S!rMY%*Ke@Hb=&(!j#M5C@CWmc>9+o1;(T{$d%#wM5k&byoSD>kqNMqq>x+?PD z(p7yd(=}{R%mJOGZmv>y;paA&c5ZXg%uQqF=XTGtW@mvx!kzWg(-fc!4Ve&>~a6k(}Ms|P1tmEbp5jkUUV&z zM5S1)_OCwviWh5mY1l@>sL%G({epr(QUkYJ{QT;lUKw<$*pAlVYE;6m*bINt1vG=? zQ9ermK?LZRa{`QPB#A%F(KVhE%T~4s>?Ke&ervIawmzP zuqC=X%;!OL!ikB9fjYbk_KlfXM@jAw@Ol!SwA#!(&MNoN%O*T|-lo8nW%D>K)9#mv zyQTiFt53|EWVb2Gtls(=nvs8XR339rjm&ONyKLZJg@J#$Mlt-i=+hISKtKiIX3@g3 z9!CUdWLY5K^3zu!aw3%B&JggDw>d}NEE2@Ri6RhpEmt<@LG z(CEbhRrPV5IdjOO{c(R+XRBhrFVn1rcQYnch$?Z0$*2Jaf;jRmSJn>0 z{U$k>-GS-+?iix&s={5Z)2DO?8go5KMi$3NaC#*fnFfPM^p$^fdaD~i;D_mO*Hno$6k0jV>a7Zr`F{P1&p*ldbdl-W; zC0&@)4g$!@Q6L;)P(K_Ap#w{MhQEX>VLXQRyIGMW@EC)=?V~;_lHiHfITjS)H!7dG_CI{|f(3(b1nWtC!o>&;97?Q8H z8Ti2YrU6JNHIl&KZL=<#?=OfqL6hTa32mZOBCa5`xFqyt5<-Vd3Ei{l93z2w&n*S2 ztsY2p^n?cg%3T;k4bQW*YIb1SH3c=yyHm{CY@&bRM#(;6Gjt_dI4?4U`hzrnfIKzX z4<4T(KhE;xOyk3&K;y@BRO6F5jW5PEJ_$5F4KzNR(fACjYuyfdk;XRz-|BWyY4al{ z@#Z*|M2~4*+q4JJuT4vmFwq%^0F_7!9|Bi(wli_BlF^~4stjCLa|bqLTNcO7*1am4 zq>6ux_G!H>)=o`HFcvPe0?^69eWIdj3(9}(9$W1->FII>nxA#CnvX*S=oJ%(gi!OI zuF%ND%pIsd-cMq&K!Cy-@}p7%bZp4%a;`vRpL12`E)+a^_8+a1UaksupMZ|SKF#JV zN9r)@P62y<1$pzOM#lnB*z1}>4r9269x0xjYHEU+ThjW%Lr4Nm)9`ml0Lr%xm%K#GYxX~nB>_l%ZhJYmd~D#3~n~vBifX7RKO^TA|+z4 z?Oia2ht@Edp~lxT!5yo#(*euxe2RY=8&9LmR_;38Kc?%o4{>l*7p=dDZ_f~X6@PK2 zs?Kh$s$+S3nhKC=_r7?nlPqs&oXkdw%+#zxE*kaCTD}v+)%QAJmxYSBH`$Fb`3V&h zDpG!i3YkR32oAW46l*Uyp@(HXU*eN3;2W)qJWp5Vjju6+FaDgSzMj}JF}!~WnOHR{ z1up(nJ`(1m3`~a^_|kxf&!o8MBy3Z`&2rX_B3+4sY79*5{zGWKKkky+xeTB%D*xYqmx0r_aoz#bd9gRXp_f=3 zB$YXdk&u2%>um4i)~eV&C2cCgHCLIOMCk$yxb(^sw!0|(XPY!n%Vd9NLy`~*9yNAi zI2o(~2co;U{AVaY5C}81SW?7{npp=ORc9&3c9Dz_M0*Q$ENXKoQd>(hnIW+qCcPm> z!==;2N}E0Fg3YH$Vg|(M0^L{(Y%$>&EIT7-m`vq6&XO8tLwCF4+3)|Sve@@i8)hC% ze6evX3;xkskzw-ndvAZv`dDtE#LQA-Q$eYVvRS9GaBcgNyO{7H;2Yq7r*Y4GZKFMP zH(SFrL0tNj`IXN7>#``DYDMiU57!2G07HQ>?&)Kh2=K0LscBcl?pzVU_pIm?p~ozY z(0wh(;nmNYvs0dzbrR@o+8*$mJd4l}6L7Kws27Da@hShC4TXPcu`8x)DiDKcM!NI8 zpD#rNmRNP6X4^vvgdma|B`A@Wqurr|N<^84&rB;1zq32E9j!rieSdQd;R?aa{_01y zkZ3BA!u7(fQ*g3*p4l3tV1XZHZC2c*nc!9PKkN;LTkm19CQmKSSy-G{Saeue&`VsJ zYpd*}$G?(;85e)k{ChzqW-Kqx1V%AAH5wW(h51fYW*bdS1>Ia7c0jimcWoS0^S^1r zb9dnDuF^6$THklWz{9T+Kk$htZH^cQ);8_{a#gYS>$QEvuBN@(B~_K0#whctYp8-R z(l5y#XfUYMjT;ecoKU7+38bzG^R80&-$BT*_Z`4i-&=p@@JfAex`%yZ!fm-cSTlA< zHmKilS8nqU_C@7UI}`_qyu1@@X&3e~tDr+$MbBBib#F~vR3~|T@|bPsHX18GsH>BF z-*1y$TJEc&_}o?(gDB0kt|{Vk)3=*d4rHcxISQNPsWG0@7DiIU!LRQiK5k)J9jh=z zqr3|?+B$#TPNq2Gyho+a!@-8+B5W6@^C-m}#m1EMP?|d2G2mEq+DmxDTkv947(xBg zH2nH)8fsJzyG&yN+K{>q^geAb?|T$z5$O}IcS*8hVa{4ncZLJJ z?&VpG*zJshTb}~}r{<89m9Lo7$k(-*54Grp2V6L?6A`?-w$F1-N1O_vi0(ppt7ztK zR5vq6OmZLDQI`xEIA=mN1k;Lk&zbZTM{~|3KC5B^Dl8WEP!ghMDXxL4cN*pN)qqrX zUUq*@qnv|{NF}I1vRHx{XXO8N7-hg?qp@+;eQf-dnttdVMI6>z{xqpxd}B^No*8Rf zMY`P_%D1<*O(iNKos5}uqghXdH=c?#9f~`U!XP2DH%a!w%cb(?q6V`NT@Q}R7-4lo z5&~S0^z*U2vid6ZeF{kWTDokHgTa$(Ta^lLH4qCDhRY%cb#n{`M007C?^G@8#Ntoi!nbS9jJJiMpq=#>9kW@dSTS zxRB!W-f1FwOi2kVh-7v z1EsD~7@k^hQ>vsrwN9hs;Sd~F@U<&@;xTJ$McO0h>)v zQbA!1a8yjd(71pD`AI4n5@1%$cM870FF)Ci*5G>2>GhTXu|O08tUdwAXlj3-TpQY4 zt+r!wm)iCx>_vOR-W?@qe*>cR^kJUBikWYW75nD*Tlw2GZH_Cf2ihbkVJKEU&ipxB zXJv6Hj=Q3|B@u@2v2vU2sr6c?#SBwK4G)H>&vuMbtdW+z1)oCH4L`0j}<#Y4P5bSLER;;>-hl^^QgK^&FUpq(!g%jzAHW^~CBUIr63&rqS}3}ybda(C0hgN`;g>-R z0TTf^y_?Mh0{ z14LqX5tGD*Aayyv{(N%*2!H@cSu5Gjd0B$Mpr^a1FJJczm(K2HboS*1?S20F=Hj#G zOtKjh#27ATH@7pxXNDRgrJ3CL!dOm4dn~uarkL6gC0H0*6E$XLh*r!qgjbACXLH60mo^N{4+C2i z72eS^LAXuBu*DEPNd&XAIVVD!DQc1!md;wk-VRYy7qG`r_|lfqHs7P@}}w3OQSI#favp zW^K*=Wr&_8I#nHEixJHUtJ|7;H>^3P^%>OW$`Zy6#DH<>$X_*RelO=-C1jAw%ekh> zZsaXv>$iHk#&TGO!Hg)X!p#2|k_9Vaof$xbnsto|CVm*_8GqzM6kg61OCAPUhul=9 zjtQgmdz)flp+!z(K*z3sqFjyWOej0Nc(6gH_~7bwXX6H3+xB#JWG+P;`MV^X(rm3Y zXQ6nOQj7`DxE!{A!HJ}@!(w$92W1JXJclGTuxe4CI@n$Citv1>S}lyTV~do z2Ej>>&C=EvNq+?#h^D$bOJ5~Sq@$YTIuOTnE>v{koUu4348c(_Lb=fKNIdty}XR3u*#W)$q9K# zO1w!*bAMqh(Gs!E&_n&S&fX4kfJn+H8+Q*$oJ@0;5~buP4dfcjD#YnPKF6|B<|Daa zQQC)7aml%ufm6`nVQud^m@|X$zDPP4w3i(V#2_J0#g@&oeP3xKX8BP z4C?i;LE*_b@O(C?YEGdx=?qF}J6T9E-bLhHPP$Z6!bMxf%R%&x?5DgIhm8O;4A-+` zfP~q!;io?nSgn`pxLz}^ISb(|F`qQYOMfIW%72|=?VNU{AVSy=U&m@NXhd`zijQ2BAotv!7>2xBhzJi1uh6)jNXORxIvMDKv|FE9Xzi z`&0IGMBsdJBf{^?psvt@Xc)`Q8n2VfxilvEvUr_uF2Np8vduep!IIlNtBO~vJlw9z z)qYo$oA7K`4oOgNdGOT2i+eMDuzxN`1rzWygJ9g5?h1@@mb}RW!;376S1qztyqB$3 z!y%@oo2C$>M|ZUBjCH4;sykauOGGdV^x7ewZI+W9Nder(((X&Ax=VU0^0YaU5X1I} zSH*h2+GU%(+*hk;7;lQ*eJE7po6r+?zyUahx)Rd8c$+PD>>8!k5Lh=0@17=Q%n z%#ylyaC&zu{r&829mo9+HMpZNEV;SQgXX-oF5`9Mf$m!!N)KM@zd_~0p@o^p4lOT3 zDBnc(?($t^Y1eR{t>abs>fiZdhaeNazRp(rob*C;%8-g(b%oTWQu)K8AYaw0bZ)ZBhzqH54wA z!pV4y7+*|f2F6p8y53g%jYqc24ugQ7N{a4$UfnWzv4grT3!a2eIMTath3w`(t301f za{#L;{Xk*lDaha~VgfQezF)WX$BheRtSe$wY!-RYkOvFyq7{blt$zV__7qf*6dB0K zN7muEK$5#77d?TB&2qoUqZwpF0yVMMr@ceYjG0d$cDbW3p4zm)u6vatg?C>0h@j8y zN}}-VOy@zLPF_SX=TfzYOEiRTcdvZd73*x}zR>r>e%7G}{;A{>R1l@Qvt_HQ46HT_ z>*3xptfkRXqe7mRn}4cU=G)Hr_R^06Ge#Zsu`_{+CC5Z)Y?o8(+x=Oyzchjq6P$}x3bjx8lNPF9Y zZ%?W&<%HRu3B2-vN7ax>C)Itq-R0FT+ydSSZ06~n=XBzt%w%%e?y8TW*xVk=HI~DG4f1*r=fbDc! zhEJ&WO|9*0chX%IfQ!(;^N{4MI%=}7f{+AQa|rQV_o#m{%@9;7xaqz!YMFe{GA9@k z!Zj;9#7BEs2YjJ-so*J8>f4ze?jAo|Hp;*pzR%j3uMs&4xIh}* zZL?yt8?4WpFrW|ygrn(tsL@ydtB#_M8U*`F&a`Cvn`=9@@v}5OdUq_&!C_@$40J}-i)-%IvdrVdO}Psuxwy|Z zchL-;d4G=BHu4Gw+kU2|%z(o;NZU=%c=D}J=kEUg;i0Tta7rm4eYhDA6)p}W(srfd z$4mlOp;KaQkD-rPso2!FRXfu`ifxp`=Nm7=I-iDLN`Vp8CG=SKAT@~cv`hTWeX+Rj zap~adZsn(KItp7B;FIGA9bu6kd8HH+IESb zhC;}2oU)!&zYi$Xt5Dow=DzSFP>2QKZ5=S!)QcDUAte;wK`xsGO3p#wi?QKAe9kP|fX_{m8skFbXrpLh6 zOD~d3);&Xwl9USz4;IK}seP~CEqlt>Jc!F`=|{b`V+wiwpM)gDt<(|=W) zb%!RP%2W_7n)}It;zP;vXbbc= zaca%;F^K(KbBcA3Las&*Jh7t#Pk+C<+l{QQ-53T@>ZWhM-Sns^IEOpLxT1?ynpq0lJ=n8 ze%-}&5smua^$VU<-2*0BT&Pu^Rq>Mf!a&r8L3?F)4IuKTQC6$+O;s=NHun{ypUSsR zCyH~YR|gy2-H)&(JOcOJCZh2HA2HP;=&Smi1snWF2+twje6imJkaw5Wr?I>LR3RMN zNKO33!1tHJB>62If3paUx__g8%`n)*H3!u&!-$HT*H7=aaGdhNdy!0@tY7W#S688v z`%SsYR?9Lx`3CE^Emy^ARm8{f?2b(Swu%kx>(}|Fs(cGZSdqNgWDgJ9@-51NS4CYA zNK_@&ezlAJ@!N39OD5Grwym12EokMc!G3ky6mUhNMq$d}COc{YsefcuZ1T+4J~GL+ zTh~uo=Nq>>?VbjHaq$3C%9nXOh9D0e>pTvq7Wesb4{CQ#64cNy#;O)KT3R22K0t!7TYGI;3JinA0RorIj3%9E4Z%@nh!+w{? z!*SP(B5$Iei(=3J_J7pj>*V^6)J$wtT-EXOE|2sDPk-WE3t{3jL~Y|&65dx9pNCUM zu0CWmjZ~HBQvGaXwuULUXzX=yrV~By)CVcwp@?ChZroZq; z=8F6Y^RdbG4SyE)$W0lFXgNzIu`J5{M=GNe)&>W^;G8>yBWfWf>E5tN7dwyHJW$@98SY3`QtU!l#N-}!`P<=i&+t_qqmz3MP_h#}DMC;|m{$WK9@0TzttP5fFPrkc{ zA)nn`{2zK^iffnAZ2=RLUO^}hISMaKWo~D5Xdp5+H#nCu8UZMO&0AY<+r|=p*RR;e z_Mxkty)O_HNE5iH2MG`)!NF-0L!c!dTPHH9>e4v>zTa?3%1R>3NEOpS!!^m}%(t_n zx$TsM5>6N;ydXs)2{Qbb(9z&eVJHf+!lWQ52y3*!14kq@31?}fweS|Ro$vvJ7e3)# z5&?gLXjBR$M8tQ0{3+pM1G?H{v>?p)PLT6<#B2i?8*qvqV-#Ac1lHi?NiY`!L>Ba| zx58?$BL_@E2anN$FKJ|h8Wn4$;?dy*1%Ct$zvP1HIz+aFC-_(KDhF(cA=<(nq}5_uWQ z0+Hvhz#*%D3P>Bpa{_ozc5c6{pa5eJ*C(``PSe|B>0ai@J zUwc*+X5|C+nBN7SK@1~cTgWy%n70m0+worjfQtusremR?1TDZzY#3qPL_V=gCU{(1DndlNkVh4)IS-}qATWy6;hUuwS0__F28w0}GA-&Q|<$z*%c^Z6R5=HqL= zEPFDmo^;XUXxNo}d9SS6e>c1Rc)CN=U&@1k`LaHOT7QXp)l*&cP&WOuJv<-xm-XR3 z9L<-19P3_0We>b#vE1LIiyl|m3-@arTXtVr-iuyJyG5<`7rNaSLkHz`|KzWpMsxe| zFaUD^z^gl@WWJ_NXZ_OaUiLrro4@VRcW^KJMJ>Nz_6|QkC0>j1*?e=(oSr-xjo*G+ zmSX&>xGYEGXLYqHtIb-tz!OK~*X6q2uBPRGnhj_3qMRe8vWZKh%~6`QHpOvPp@q5U8e zvzeI9#9V&oGBKBlh4wDfbeX2hG|xwS(rH#R8o$|IY?}KQ^XkKB{7b!>m8(V$>U{iv zukml=XSe~?a~9lmBi?E6q=H2>TFZc?z?)0Q4$wHMUBbMl;&X+V&NrpJs_WIKNqMs@ zDzKQqulPnaPJ+s4lJIFeRMtximo_Xa9h`LRkCKvb6(&R(;fJ*{Ql)Sh)c?1OdGYV3 z&t4YGo2z0qJE5GSkrr`5i^!@Z;faQSM1+6{NH|an5+Q+8UPgAuF|k@5Ml`)DJ}!z0 zgQ?2(ns?5f4i(}q={Y`VQ9+H^n-2>LK_9?CHl8<;V`3!@2ZT_wlH|3Ma&sU=rdEm(fZ_#yK!9>zuS4SlJ|PXkuz5@H+t60^mVp6Yv|6FYr z^<{-^Bz0QdiX6*!u%KLlBiUhLX$q1b=!p6Q<_k?mmZT* z7Uq0lNQRB3y#)&D@4Y#WYEjNFuQqixx!x`|^J#s3UC-v5PZPqAMab}Y_lrM zkMr5)>XbfGO9h|Up$uLo@{bN>giV9XY*F?$;~2_kSH+@SU9ao<19n&2lUt3brGvN{ zT+l-+gR(=wNeE1X>EI9o#puF-c#I3uLq0yr+Fh{UtnE*9s9rfDv#9-HFHAWV$Mra70S^7hy? z6A}C3*^y~lBSlT-C^i^c|Jkgwy4o}{JmXTQS8Z8_>)*bs(IA}?-gGy}`n>IKxCrg~ z8?f;GG(HGuZ;+^B2fH^8H@O-D4C7a;ditisR*Uhg=VxO4w!GPYd|vhVtR_U{KQ9V# zE%=+NLNTL{8F$QxW5yaY%9MqYvN%$%*`zEFF19zfSt2P@OPN~A)KaFF@=UHO=aJem z6XX(mzHccj+m5aseLIGBjP2OcrS^Mj=~73xyEmsSC=r~vH_!{j_7P&!7AZIO*drgY z$_*W_YB)#=eg}_#D*{m4M*~kuK1s6)Q9e|O3trgorhefEM`uiuWaADUQe3uaj|85! zUOEfm!EYw69wIj(SQHC)W&Itw2pG(Z#pFd@&4BTBaWSvzzvj~`#^+9%X(DAaafiWK02;6paRPPD^k;fuVYj9W{F1r_j{=VLNsWKvwZ#9kueZjR0FQt*qqT3;6vIOOG`ykU6ws zg$x$Iv>uob813-DY=9Z}rU%xUgrmT|dkKP1Ta0T8m`<_eSiuIWK^Sd%JnUBt9~2J; z$Raj&W+x$MxJu%VBdV{;>Zhl(SuvZud~cL_uf4y2{!mW-Q?6#)%lg#&s3am5!v~+- z0mTQ`!Vn8nKOT&bn1l5~{O(=T7{w=hO){i)9Hyc}gv62D4itWp)|g>Iv3=0kM(sG2 z;Ql`^xw%UtF!dn~emDfZN+IsxS~(k$7JBQ3!{e068lUlWKIkZ(?|gKokA=jl3)l&D$r+bCfgSFH{Mbhz^QB8~L zmzC9Tt)J$ew7vSN{l>03Zn({5#h<;aF2P91L>RP%E*0i=+oga3TaTZJq|djAJ}6GODH@4NN<9kA$uX?rLkojjegk|;2O}WF<*M`pO9NgKF>4RQ za&VU7!>fkYP>q=DIs8ALXfE)YrlMmB%zX{%-$-YQdY3^90TUKCG$1e_Z(?c+JUj|7 zOl59obZ8(mG?#HV0V;phT3K(~ND_Ycuh834K*;Hv>;Q{};&_rc@k};yW-&+xi?-B} zm{6pKqi}TDa_QDzBb=Y8A?rw zg+xQY_QsaJ!CO<(RQkPGQ!fn%#LUpJJ*+R6ewS&RN1#dTakQblhFRCwDKS<+84> z^Mz^iDqK%n`S1AsP}6AiVSF+^_a(<4Ln3!;Ss$UKG7)evG@*)xX&EPX?j@#)$k-re z31wm14_>T<1C?6zU2KmKNv0Aa_j;9^vq%#qslXl}HjIA{1c;pWD`F3>h%2~a{m7$+ zj#P%88EjnYfdW|-Ivm#d5TKGTdO!gemC0!QW^^`;St_H`YE_q}z>JFU(y;KjS}a#> zUe4~m>*$$p#x)+B#Faj$smMMvreHey%#U_z%9W{ad|O6fgrS@K&3OEaFC;{#vE(`p zJt)yKhMRw<$&N(8E(PFMWi-)(`&~|}{5cGlQs|UW%G0n^$#<9fQ_mJiMp6(yq1~c% z^zp+xhf*45{Wj=QZ;#;6SgNCW+b*B?P184zU9K*gq{+=9sp{E*i-b)c*yBlu5!20a zxI^gFIdn;O3f2|7N?j?E=q$+J??Wv?l1yt*1wem#v|5-lq`eA<#P36uMypGdJj{MD z7pBbNE>gIQQF*^US2{^ExjXB_`aDe&q3CX}E!gjYY;8M0`>Nee_bb+K4=Pr|6AIR2 ze<8h!6_0JLSgk*=MP9~}RU0zqI{pm!s;+##o!hFmi@g&!%h;o8vy={40*;0UVC`sd zNko5Sidj|X?R?RvP$-ouXcW)}8;ydUyFnhIQKVuKOYugi(7AR7$9mv|yRk89z)xGzV)4*vb=B!_&0ht<60W?kK5p3-6RA zngxM*Ka^=?R%k*p9=)i_W`Q&gGq26pDinX$m8~}wzYSRy<+W|*KJUk9Z4v67&|+d# zwyP~yHOU#BL4bpV}X2_ab+_W?Kw#-0eLA}>KoX7klWVvELJ=C&RJ zuZR*5lmpiew^8Tz(jM4tndd*Ejbwic#5+|%8+F$~DShNinauNruNW@@?sL=F zFy45zu+w>%?qiwXm?G2!q|@jn*ne9%3B|>45nOPmBu|r6g){kW2%0Z4-%)=PaK7zy zIIxS%*NP4>QlG-cv$K!Sc(joED4uBPS6R;5RF%bGnAkvKZL@!wOO_E z83-SW9`znr7OHjh7JWXT**lfL4=E>67{C+kFscU~l)enL%fukC(?(E~cA-I9(Z(Ia`5f#=035*iR5G9DA z8kZ-t=uO#!H0;BO12LpVB?x=r({D~rPB4YeZ2863wwzdB$D~qQX!nZmOSXd(^YAG6(dACfrUKojD!&%Vz4m((@bt|t-W3r;BzFHe3GL(0Si&KPqUkz#R%}_NiY#`#GGXG zHYyz}Lgn||3o)E4j|r9fQGPCv=7i{Qqkz+LT7#+J3PEeXt!n4M5(@Hv+Sb){H3?xb zsCQv7wQZTWa+b;UAkjNJX;-!N#bwpn1{JslWBKOeahL*JA03T-2Dp33A3ygc=g#e3 z=99(`l82dJIc9p>=un;w1Qm%4tYBknaAqbuYa!XgTAYdpBnOt-d-oF{!^oGx1cL(U z*jioyk*o41vD4Lo!Zc}r;B+R<pJeo{EE8A(%%ccLGnH!(bLF>czV;aUa+y?m8WcXJ8@j8 zMCfpO&co6geA87qwNsw~UdE!11fo+yINF(502=@05dwIYr zpv`UWd{)7MB^SndgHQvktFdJ$4*?h`t(wmq%!teQv5I^VTG?q1JhORrcjW8#{v>$d zA_R|i!tRJ(lEV0Z{=uYL+xO%gylovq36y!u$WzyoMlWm)Y9M4@+k9#Z5V%<=2r*@*fjBJdE#(16 zDuDuwUtpXW)~VAh=CKki29PQp^U%WESV1!H+>%4XDLAfwLo&yYig1QqEQd`pd`l9Y zgN;jo_F2ULiyL^11ILL-vMd}E`1kqRbz6O(S2sJp6x+P3IqwbZROw&_<^+5{3SxIt zf?PP(0}XuW(1#PT_slGty#cqFALM+91zd%^2D4>Do6w(P1o5JdKUc95lBMV7|88aNtI+wbgn%^1wTP52+SYj z#&cW7qv_O4@qQIW#RE3(!p9(>#o1@j^^0#V(x8HWg2Hk?)CBZfm#2VpTTfTB3NJ~3 zkM3(&YebP*euw;r(u_5Nvb*rqFgNv#{U$HUagj` z3t^}<#3sCt4OI@mrnoXbh87xm*h2M7bD6t;B#-_x1lJ>P7wc#n2vN4p3RP!xps~X( z6l_omne8ASwDCbc=P#vuv9*2nO+k}08YC}JSiKhjsco|=+GfqJ>0ka-Wa{hua!BD= zo*+2p;!sD0aw5S`6zP+MgQg+@#C}6h7|a(yZkKr1r&}cedW7< zyv%)YSarSwl#Yg+N0&KfWRQ#5)YgsXsbCdOu9wi**1p9$nhRamV}Mf2Lp|vG0<@cp z$M&)m81==fC~TXDr8(N;2kHrPQALupi$RP)aA6V`a~69_6-&m|B)9F&J^V(pNO07r zM0kbDokEq0h1$_-w(?PK4DJ%A8QJ=O2MZ_!v&>_nQypr8&Xj@hYI5+80%JGiosbbJ z*r*W9#5seKQJx|bN}2LS*Tuep;B+@WX!{`qZ{OMQkmx-&C>fQeX-$(?q2)LS{$4GAt5s1o z?u}4IuWZ>pXs)|C{)35`troU*ZwZj|ua@iT@XF%aA^3Xk3@kp6KK1=7bKP2}yL-Te zTt!#`G#8{aIJRgglvB_l;e{*h^d%%ls3d(*Np7hxZ|}tR-(6z!cNgotZYV_Wn8X=) zcod_eG4C!`Z$%-qK_(L^LQECA&{$EBY>XVl-knPKxZdIaJc%Hx6kT+1qCb}|H71m7}$E2W&Wo}vD4<{{OEsa`KQ*GK??yC0XLVP zb^$(r-IYsk+c*$_@A(xv(tySAEi$*JNEXc|!6J4Ki=+ouVr-(4Xh?Fl`S&G7+Odr~ zsB_$l$$4-zGoFt`*&;*PUuWpZdO1Hkzs8hj7(rGLna!Uw3=yKM3i)p@_E=pJ_6*}d^f0@nhqY@#+a?UUwEd{8Y zz3@9A%dVysoB!-I7*a}K9Ck&2@82>N@zCPTBFlRU&{E=;T zf1mkAgnloFVbxz8OXB=UbE+EZvVpFDTbz{sV<`W`6CY{QK{v)8Y;f^LxTn|}0yOvy z8o?E0q=?2g0_)C3=|O+Dt$VTMG9fiz znrK-V*O;Mujgos#+D@;Q{Q;c4_uO~0!^USb{I)#G593f4a?4L`%aNXUa1r2tvuk|f zdho$Z{T?tBU><-WBQV4Z9vH%S0_JAjnk_7RL_+MsLXgUp2Q0Z`MpZ5pCZi|c!XwA2 zK&bdAJYyp$ft0A&h|6n)i4Vw&)6hAYoZ7ZOV88184d?F-j4^=zM*RR2r&hmPk8-$8 ztICUgl%HLf9BbX`E(S=E7`R%OwXKX!UkLozvQMdeX@5JE7R&mlbEPpU z1Io~dSXhSuYS{S4jy(^?w1cmn(!gcA)^#-Yug%K!cHN}IZCpJ*tMxE{Vz%+z@_rO1 z$^}^Ig-MA}gaS(xiP2VoJF6SJp12p+)9g@Ra! zSnvP!P226!`v_-*ASkdE$Z}2!h`68b$~*Brr>ptdFEO%!_LtFZ0TY*ZTmciaUQYBV zmlR?F6q9Cm5d$|dF_+LP0Tl%?I59CblRz~mf1J8wkYrugEn2qi%3_yo+qP}nR(IJ} zciHN)ZQHhO+3Bbt7#lXPD$o#$F{PqI~S-Lp8eEZr0R6HF_ ze*uhue=qx9fn$Z1AU}t7&Vru7N zX=w9}Z31v`vUhN@G<7j_@&vfp{|D~(e*slGWjcVkyqc(zoUEvv3P4FzSw%@wSVdF> zpd=|Sp`!flqhev{3~;tLb8$CxG6lGNXJ%$-Z2AwhiL0>-;M@4Ubo-|Lj^EP7;{U{; z1E@Ni(tIPCxH{Na8vk2LfV~sI#M0T=#@^ZW8}&P97YkE>xV@XHlb!8%0{_4|f4dr4 znSL{T2mYO;i<71CKPR2Pfxau}Z0Z6qvv>ODv$Xs7>^HKhowF&x(A>$?^k0a73h-?d z6I24QGSM+HvC}eg0w|0r0TfK%Us*#>n(sbvuv7jMn!AOm9l+4x-}sDdzU%xQ-#@7T zd+Wclbp9s-fW6tjMiF_Df6<*?f4{x{<@`os`X5~E4Bx`|PQk?TzfJ)t48K_!S-*b- zzk6cyFF6P0KSckh7dz!Q(tq=#`=_}sPKL%V_D=M+hIX#sO>p@xozp*+`VYPQ69pqH zK+Mv~*#)5dZ7_BD4-Ekrm>5}@=>D5#zi|w|3vF)c>|*Nl-OO(?6H{Bme{V&8r~4nu zVPyR7-gj$^zTNF$=>O5Vq@9^Pfb+k$zZ?BOP2Uauue_M(82%Y2%5Mro6MH)wPk@Q3 z84SIgy~}sw02Kc}XXF1m3IA;l=>C&Y%+aHM zRyX}OdxCtE|C|FlZFe;9rXNzl&xTS*N6wPoonX6a#SqG0J_YymJcwD}hAzx%3o zCZ($4%_c;5qP=w$N0HvSiykdVCxz?+uwJ91hkW;OsLBPTO}la1N;ze5?j zIyrs!@LxrJXZJs^%`Cr5Xlm+VY7DcoXm3m`l7uMN2F^Ndn zVFz0blOy?gQ{iX86Fov}Bj#bTSZv+00L7g9L|^|N`yPZbYO0;07*W4FS*iZ6>SA4% zv|hXuhGG}K+QdZ2{A(^G^{yYoAv!f4cPuy!glg-Kh4$KKg(n z9u?$F($z+K=#2Pnp!J{R?+fJ+wH_v)H`Z~h9ab$I)Td?rt-&XOhM&xhr*DAYka5$W zbtpx=X;Y?=&>MQheRpHneK-xiu|wU)_e+kC_-;6+SQI1iwIxFWyJq5n(;gaa*n6Fk z37g(0bPhOSf8!pv5qOcc0X6*jd+9g`GQs^BD|WEDABItqc+u4J@V6o(KY7D8s>3n_ z4XuL25Dfd_W941wj`vea(=e~V?YvgTMeBYO({s0?YNQ%w`&X1sKD>A+=I1~sKt?*o0(_uQKypSrMmY0lKy$Bq zf%J1Dj05Rp6$B|(U&a6GOC9D>t{~nUUMtmVDzxR{HrOSUYQhwgTV()?2)@mY%rY<-9UPj}h) zQrud>`(ZOb%^-|`r0})bja_dP$jlO_30uq~e<7KOhrN-#y_be)NOh9W*62dPD?qGg zn6g@Q#lo>m{3$?L0*X7n2y3-}arx0D0nmx6PmkfL8%sv%K;Fb?sr4?0Ms|WKT;;#U z#=-6CNhQgfVrA3}%yAEgo*vyGYHM~JYqR}Bh1)Ke^4AdEADR-L!I{#*z(*H0Gj$h_ ze?%aJegHGvA2{8Y*eH^`pVtI()W=B5X;)^YWMO~4;ugNSy(qH;tfh=^O0$fk?(<9} zQs(z@Zt9jZa#V?ua#cGWQU>37a)-sJB{C{9L!#4x@c6K4f(bxUcZN1Ly zQ?KpCvOF|$*K+!BtW1ETl5X_0<%y{zf9c&YPxl!7)tt0MQDTlSehdvcrL*V6l&>Ajzt-T)v0}rOR)TOYXqg@N;pN}m4$-} zpb9dW3?hEG&9ODhc{g0{;g3WtgBZ5@Rhz}bY>8(%5*?I%Q;J z?aCGi^KWKG@cHFYw6BU6o_g6>T*-$|E$`n1X-0Os!~JMeV}9LJad%jx~AnpvFQ7Oa6UvD%w16Z8w(0Ook+USm2fA1ioFqc{k}f{W=F_Q4ZKaQ#0G) zr{Zi1z)z!n!WCnXQp4ZBe+qI?KR^5J!TcXLM%1KPXf@tg==&9Z<3y5qzd0g!+oLM2 zEIqllfk+Jbq)rVnnVk6C52x)oKMr(=r<5}KNpZO`XPSuddA6WW&_2sNq3J=`2pCRWRQjB~hgWoh ziR6BC0e^m8Xr&BFe;3e2t*cVC7FWU(As^-GzmT)msSshZP@O_XCNRO-An^^J3nM7j z={v$vmIQ@qml7Y?<@Q*d5A-Gb8_`}j2>itNZTExeLK=~?+qceGXTb(3QKf2(VDSK9SX&@C8|s289Z z#N4)1BiI@o!)GvRsGT4f#rms#3Y-vFJOWz;Qd60u4O;A_Xp)Lozbx!zbCEjgp2eLjxYORUeT6WcBG`d zE{tN$9pz7Kuiuo1mvyO!l|f7Hw`?HRrwZvL1R>pI!)*PAS)8OxkNf;WJNLidV*)$w z9}*}>p9OPw>&1a1AEvSlE2C4zqGU}d zudq9x{nfyo;rDd39v}N_UQTb7x?%3IZ(BXLMVVckWHZD)XbBlw+l()q zr+J>q@Z+;;VCmefY)^qyO3_544+GEEO=y^1>qYw~I4+K@tw;Lb87`0(b1+iJ~ zcfaPQl5n!N?#a~tl!XniB=}><^cwjLHBF_Ad&`&MV}TkJih5A2Jd>YAwqlYrhPzOCE>f7kig z5TU5rt>5R$@jR!#Lf6_NAl?d#>kDIhnt`6p>y)0ANW5ADOg%;bIl~~Pxsm7~%OV!N z%LMfbP^wObQ<}OTS|H6J4w4Ix+3PzO33VywAa@q;u>}{GW!5-BcZl6QgTu-jWSi*S zi%|GK!R|-yjO&Nx}SUz zGo9`nT+nUALaOU6de)LYA);fKn}_s6B3q%^jLbwy;qx63atl5gp86Kzp|nvkBaDNB z;3Um4sn5^6#LR=PDqlMvv7$53DvJ3CHJp3~u@x9xp{Qy>y!=~iSypFj!W2Xfl>fdJ*`eiovY0D3M$()hs+HN) zYy{!`!Rp~@P*GftuO0xVNa6c@mO)=U8i4eedH<6qNYsqY8; z7g2V#H_z&&Q+@EJDVoPB4mT4SV?^-XO^jM^fN{=A1ap6Hou4J z?4nP}KAjDO097mbfCx`Y2BO-MKz|5ZhWXYdUhqbm_8*M&^e7^Eu5SnJlQA4)sKV#jldGanIOBERf4azMyIek{K!Zc- zh~l|sv$Z1*a9QXbzTlVmJ^Z>b0Z^(K5FYhkc2v)wcgq8Qr5@^{d{#0(2~{BV5NUvs z!B*^rjD#Bcd0s-?qm%OO1G9uJRWqsL#ip<8bwlCR@sO%3=kr5G5pM;?{yCMo?I4|; zBK=j39TrBL&T17%f3Zm=7nk9zuyEw-w2OxT>UJ6u12u(kXf!K@J{94Ph@XN+>G_#A z{(X2LOSG;Z-}5b5Mmiz(4mwr(^lCW)KxGOKeRE6BVgwfv+^n|N?!%bA&ma!OM(@u* zV4JdDh=S7%#Hz8?^F^&IC6W`~&}VF&wBGnK$Cwe!stzoxe<-0OaJV|C$`Wwo2=-`a zUqW%uikMW~*!fs?!<2qh;xlP8(aATeg(yFB=khl<3@-2Vt$J~E05j!4l{Xp~sJ#HO zTt*fWKkNs;f6+~eiHr(1-8u?43*57?ZiMigb=mWidf=MyFwu>?M2M79j#k4?hDk^= zrdQ6MuqHw5e~aXoE`r$TqWyiBL%jD>qE%x1tr8V^GaljuH##gUr~L~AhX~_}@CZ|Q zDuTDq1OmPZhRqf$^W)yn!i;=&A_Yxq#1}7RTaO{Aq&$mDqLBR{P5gtH_e52P+@w`| z3|n<*J)C7_l6R)+WkS#uylozRqg3QE)QN?Of5G%JXy%%F{7}8t;KEYT)zCme z+&p~Ut()h_ZD-E{ze9Zz-O3$z{pQ}gSD0uZt4TjMj+1eq9+cvORemNPZiG;d0uKAj z;rMUJ-yi%b4)M+Hm8(`Pe+^}$U%hX}CldPLM~0VPBs-1E)ztj|N^;8MHb z4xM^eI`*AD8W!SLQL%Y27?1dDW22~)7W|@hdc3Y{KbdEX8^ZP0Z+ zfICU@#RrmdSDWN(`>DL(B3?Ev)hNdf(lIZ+b7nxG`(X6}SQ0U97C`{6Exs^wQy}(L zf7M)FKZtYN^5x8)epY_;{!1Ym+`{UCha${(V287BfTf>1+=0~VKCAQV$rOMAu;g;! zOA`u>3@hb4DCALfNjBJH+Kvn$JN@bAbSC`;bmJeER@UQ$>Kd{+S%0FGf#g64_}Sl8 zEj^x*jNEl*ia0-E8m0?F4b9q5)$U0~e?J#~i3lS=VNmEN;UN(G_c>&p>^WKXm>#@l ziGzdn=NJ}alb82`S=>_tNdrHfR9s(Yh;yz?YEuZi%t-YJlL9UAHD+t2F0FR%hGqRl zalFPWcqxh&_f1yd;(#gcZFxbI%2&?@jccH|3uk5pe*hsUG=wYC%t3`J#Q2XIe{Qf- z+yrETv1^|+%1IA{%9-KfbwCfg*&2b*Xx(866B$DC-GUSqj9P#{mfp<$7paKx`m^8e z*a_m=Q+88j!(}Tj9rKRh+SnCbraJ{N=bq?~0()} zSX_RpchfL!BPM9{zFobivAkO=I4m>l3sbDjS-a2}?WfVJ1lEKo{8fq%k zYgxq~=r%@3i!1uvPpMbPQW5GEMIm8jzf(;ky1>{Yhc2hyK*`(k?^7Wpx|nT=w|lp4 zevq9+j-qu!0lCTO+`Ccsf4aGvh@A^KcJzo;eC4U<%Bz<k1tq$IX_KdDl=W= zU~DLMoE)q30pDPsfBf^#oR2V)BRz~_#06eQ6O-B)7N;$vEyco{(RpOJ$fl1`oqYHK zRr70>u_^-S1=M_}%@41r<&Aj`X}s6k4`$de!LUL&3Ap=DYG{of9zJ24r8W6Rftrl^M%xIuw7~9e}38y=Q%90u}7<4C%6C} z8b&| z0rn4~&U=TkSW^y)QS6ZR%4Ms^M9u!D2Q(8#V&+d^t+;udvLu19>6kbcAy|aEjK9tr zzfd0YT+0Xlf1C(SH zEkKz`4ic-Gj8P{K&l)Rx_8~``Qwa~j$GwWCP5N1}5X?&v6&BlByXHiGh&v|i?lRmD5T`Vz(q)sNg}P$nGsbhEWeW*q@-7&xeZiMw9iB0 zC1{_4@FuAOGI)m*d(^F62-__RI*$4@iKC=<9zh;dpoJ`rb4ddMZ#&~~ymdZpNsEEa zMu04We|9>F98qMo21w#WPec)I3pe?_u<$HHgO^FjVdIK`7<-Z zf7d{>a?%a<(8uAua(<*UY8=yZXU}+EL9nRA1fO6bV`S8$h^q#CpgxC7fK3`wq;8Pw zOeJJ}e8I?GYd_Le69iE}lS2nZkWdj7LnY6SkSwZWXR+#k81>=L>fx$H3XTi?yL*#vmc0RctG_ zVztsvjXBWa%j}Y{UjF#d7A0Y?c23H|2Z3Uvi`_jM?-q?Bt6w+Z4O4}{ntlS z$hDa@>T#;P^b2|eHIM>VBfADeD^>X&bNLnpXdMQusC`mp`8x0Y}$?o*AC(8Eu z`J&SDN{)Tnul!-GvJMInmJ!SnELr*okC<(ag7^{C3_22hq&7^=CwBu~7R(N2sk5U| z@6pUsGAaXZzT~q|tI)elN*O`_v0`i$*T`C)PG=A(*!1?az&4vB`|3X2e}!`{%ZgsB zudnm&YMv%BGx22f+Xm3Fw!Q>CjaS znJ?YO*`Z^<)LUI(_BGUZe{N3O?n#kp6EG9E$`u>rJv*Z$FxQBex7}ZU4nWO;h_6KD z@JPKl9q)MRh@x=r>%MHVI{P5F(aZXLLp^6xj6MqNppvI#f?VtVm;D_FNe50qT*liQW;=#(onOf4_yjvD#9b#jBqw zn(UL1n%LPjJEe?n*by(b-9Qg+U|$E-#TmOrjce;erWKz#R}ZI`XJaTKqKJLliICLAAn;7m1|X>SR^lu^&Scgwk` z{2Hy%okutOyWJt-JPZ}MRCR*oo7Tk$T#CURtuvL%75X#WHRz|iTCGYS?Ves|UN@&H z(oTC&VUM(H|MetGN$Io?zjQe!*eFu30xJg-@Wei!Z#*tze-zg-pPclvhP%MbWIy|k z>)f%-5C@GDK8h251qXt?>;m7}nLnmcAx_oVtv)^o2j*T^DB3Wb=elD>3$ru|_~4am zd@uN9DwkB5BxALd7BW9`Mi+t9b0YR*O~W0OW!vRYd#)rRhXaDIwv)@6R^pKv8BX;E zObEKRksy5Nf7~K5B;rN~Jd;`V1{iv}BXE*>C7CNIRLM0<)XW7WxV~f(UwkvA9MN^( z@$bwke1wKxnJn{+PgVqAiyi9eFCBKaKCVhBXZShu?r4a8I1NbRIOyEeC71^}RjF8t z4S`h2nn~i?QV5!M*Y_T5Z1WgJ+J@0k_4(4v)paN|e~TpSKPFG6UhDVe+^Ws6l_6yi zA`PeesSw9?b-490G(cR6P4rDzlc19G>!pq$foTT14a~c$t26pgWOQ4ao;#s8??t_h zulszUB48u)#q4Q*>wFJMi_>C1n^)tHL(BU>9^eOE>Sl=HD|8!q&mjBm^#ec2Lc`rq zEH~xkf8=XjEJt-g_;XVqqu7=4r!a*V@*=D+g#|D>M02OYUm3awc=MSR=i4;XLUGb( z{o~m-`d05r@eC_|p{O0-J&7n!8Ck5#jfSK3LU|)@6SO`~A9xLNO5iLJTTF_Is;s4j z1qFJ`ETmx>ZDi8@_>C#eKSngRUBTNSujReAe=7X9Oj8chxvrL0w@@=p(ZuJ=d4PLh zagHgv-pfb^B&DR{i8F8IT$eG}tf>%$;Wz|lfK}eTlUxj-*Vh`T!>()k+KeDkI)iGI zi#qMJ-doH9b|HC+eZ-uX_jkk}eN6tmUi8*ELh#hn$?44sMgLO7__u{W1hCY@DBF8{Q&p3iHyN7{?0mFx5(TF zZT0#n{+gA6EcCU+eXVA5#(sE-gFF?=4`dczWS{C#>|a=GA?$ta$!UKuWK@PdYM}1n zRI*g}L-!p1K+7;nU;rJpGFTWxhLEsNe-Nf5OX6l$@le6miW79utUCSbRG}iOKCZ#$ zSd(ggHe>6q>WydZ=`^og^9xhTwr^Z}GcbIvT^6@}c{a`@tW|}Zl*nf3MzIOzD6i-c}e^2<4 z09Q7Tj~wciswCoxjBhR4DS2XB_m)*TYy+Q+P2*03lItj>muw%ZCaI0U3=Qk2hb8MA zJm1`{hv}qwCqq}cO^DwEdxbj4h$o9@?hRV&%_6rDLCX&c!TSp1Lj79R5s&tNd2Cj< zbABa?*TnB_cp_Y?V}`BWNKX^ve*6@hqsgm~ zs7G~@8`0^CvxigbE+S%ICLhvf0*#5&;hG6wJ>t4=(exZ8H7l5 zOE0eOWk?9mBC9NKj*4iVu-DH5*Q$O_xb<*~)*_}LRpIH!!Vxo}^%?(0wU%-9_os;U z4cI}Q4pX*h@WczB9IE;nEa~GX?!cQ9u_sFHUpDw&cSvS=m0iH8e?420f$QQ{XuhCq z)p1ixOse}fMsOBj#6HZ1)fd@=nKrIfQBZ_)YS#8`FiS1=)@Zk@RkF9xX?l=sGGGlx8V`q&}n}zkTJSlHfNKVT-!A1kJgb$NuJ0Wsr zQGI~Oc$i&~+J|_RwZGG4q6VCcl_U4S9$N&lPMc!>A8W^WnZ?}|HD!WYF>^EoZ&uYy z?3j5KaWSV8MVX_VP19w*CR!ZK`|vXYdi!=i>tUUfn|LjFgK?^ zq1XW{J$@k6l{Q^=wTT4&igZsvl+=z#TL6|fzMNt8FJtA7x(9uTu$oZqE8L&l&ta`o#cajjx<6MCTptdfA32ms0EX;FM#ShLxh1ROYGge zxrd4wSBndod-E+N*re>v=8ZSfXsK+Hikx>OJ6HyD@fuTMBxfy=;|JB!N;ct)wnCKs z?9*lx^@`a{9A7DyK$D`%OxB#|PX|c$01F!83j(8Hh!LxXlMJ3BWEz>)-$t}iqPe~E z#1d~}e`i0Uvm*Euxm1CHA8w%LamnrqX^eK>;DMunz$s9b%~_;ItK<+$thDZmMC`*_ zF~CqeuznXJfLTs!6Z8FQov2{KE@##;g1PsM=U6@`4; zaoS*3r|;R18-adb#31R>0QKSvD>Y6DF=VBgf7K*@ul?RTlq^R;ZOfjX+rZ5CnQv!w z@Rmk{yXGH1KXDvkpU<9HV%<|4PX1CyVr&rJ%q`XN!qEf61=WxYQd^3}HQic?wr<~V zTU#m}*u?g^8(Y0h#>Xp8Lv(#_8esL)nf{JdmMtSD!T2}J7d@%I=`Hwc4tsFNEN^@5 zf9_GppbJHRWLFlwaF4gihk?G4YAH(uYB`P?#hKy90lO@%agLZs<&pL~aKUCmDdFx~ zIDFuP2<>a_CG@;N6xL@By0>Y4b$H`+8o2jD3W-H4^Apbr!!f{kpT%~27MS66W2F(u z2lZWZ6}V7lb?lYp^+%A!#Fge$Zs5Rcf7PX%JKiVW(2y*17Is16Sk(G(U$_KKtvJhw z-^j%1%T&bQ-dz&hfz11yUYBe$m=0v9%TAe>6M~9pQH-5@FDSt z{END+keh?2tlu;I-~90UVrShH*)*0*8$azw0UYGbwK^%T>^tao+JR*^n5i18<+n<4 zcM7XHvEHD>a7Y=}*L>VEuj`0eYamMQgZr&gb$xFJpW?3`S{w1nR}mA>g02043Y6WG zbyAksh`oY}jySZJ2H12Qz94opf2DlsF%s$i-4E|P`3DdLghsD&0KJPa4_FH z-Zg$!y$r~9;Sp;foOB*~aOyu5q~Q7{NY)G~6>X}5*VlqGC9p{x zzXpDSLhg{b&6z6ls@SBfe>mcbWRnXcE{0M4q{Nr0)?(A4yzRPyv6af6!iF2;A9E3xxR7 zhbH5DZ1>{$qtaZiq^k2{N&ANei)s*pINw*-xt(Ma--RT$$YB#Ee^X8}dT^r@Y)#b2 zvW;V;BE7&F&xtxBPaQPGR3O|+#)1TT>68W7fZUf9{W6r?m#g#X=WmsX*5ppY{dV-P zSw6*z1+KS5#G24;QfX$zR|~|0jvOX=eHL@PWO#cjaI#ESG2GLnaRuX$3D5VOfZ z$b=ArAD>PIhS!qK>=$=QjI7SWkY6nI$lyQvZM^m14#`+zY~|%PA2|BwD8z!<89@~v zWUnQ>eh|3vsB9W)<50Hid+$Nk`UeU&@~~f7z7?Iav3EfIe?1N~pe$K7(5=M~LWzlR z9!^T3*43#>mT*Cby{OhZ-wV!Lh}Lq-Jg?>&ZE0!7=F(&d7p_C0Vf)qB3oB}8``&qo zpvm~TAT=tiQh*WxC%vcOam>e+qxLenUmrzZ+A_ax#;7$PcR!MVNTd2l6){no>+w** zb=Mo|TiQ5Xe=VBr=x6X8F!a0mYpiCImugJie)+N72BRT&*j9=T=wr8g+_(hvZ|IJ| zyQhnOV5Eif2_=}QH+5VOE=2asY}95N>2 ztO0$G%rU>F*a-w@JTAK>c7ENfiLL&Vtjd99$mPYre+?BzTo_xI*rg&}$O@jmhZ{{p zptla^66=@Zr3rhKpO@BhUN(M9(S#o>7N}t4v^RK*UN=`kDn9of9=$RIh&rDPQi+6Z zhBgC(kJXryou|6_*xlqY^!{IZD@#r0uAc|IMI;Bm<4_5FUJ?@2D>YrsAy$l|6|1L-WRiH1n*}&)kQs(jMvt~mom(KZz zf7`8{*3W6E1qCVglsO->-%wKc&lfDc>FG6M(aRFQCZ{2(t(2BaqU~{EoV1+g>oenH znLP5TmaB>cYhz;DzG&$7-lK84wDzCj0Kp+5nB6+2;|hT{oz?2ROq;!8-1)+iH$fFn z@82OGU%d@8D@AZ7LB|f}Q<}15hUfxKe^sxJOIE#|^FHfKK^|>H%R&+jbZ>Q&4v~VQ zs8TbAJ-hR22qCD*Dt*i6o54!PiAJ2fSCCIi*;BwpY$u$tqizPgAj4}N1}}@^zR3k5 zYkHH}%OH-e~FxS z2F`8rB%RBsJJGZpIHWpciX7ZuYNXy&kf63WaQG%!Z zTV4t$FF+2OnR^h3KQKc;|;f^?(owPyY2}1 zHtxEc9whGMb^OYc|gv8XnD9=NFiyEv{$#?ke`Ezhg=z^yW-TJi!AZ`-Lxbm6 ziBrYh>kA#re|Wj+_IUY9zTd2Zv_Jvs$RU2EkZnqicyab5zN$jW|L#`KN$_+wVh1(C+mS zFL+QU%@n-xo*?+HpzR8B&Z(j5MNjNxZU~HLz3zDK&|Kq&_Y@}8e}hS1X;cEz7eF4s zP9woe`SqC-LB|M$RZ?met@`36=QFd?u@nPZf4*Xbol|@#!Mo;T+qP|+6Wg|J{xZqL zwvCBx+qP}n$!yN~@7aspi~ZC^S5;Sa-&I#V{l4GF;Td%&mMx-G>Z1u~(QY>$APSTv z5H-PVLd0%K8^=Kd%>{L1#~Rnp=hA-qY9l-T;~k&jd1^nr`W0%~4^1m)t%@Htf6hwS zUlTn816zMwUucM`5HkU{yk6FSn!5N8t5!uE~G%nbzaz zFCg&?YN7s(ax)JE7Q~83+)N9|$*Z)`d8o5)w-V1+pnR=}XK#3-O}A}=0CNm93io_~ zd@Wn0xgxt|OGhJxQb|F64USY+99Dl8@d zTpGhVDE%NZ|4iLGwi(j(gyNd24yzpNdSOH};1#ypPC;64l^&Q4A; zIYy7aXt{Va(-{{EFaLs`Od%#^G%v-(5R|+Um3v)8I2jfypm!mB)*9}0xk}FFB20wH zM5!lbx5edp>u0qgNy1d_28BM-_o7{S`vwMC;r5rP6AX_H*MG<$)0}zwTF?(t5TNPd zNe@Q2oR}X*e}<~U5DnLQ4;Z?ycAE{BV0En4!J6uxohYOMW!PJI&*zNLvu&XE=L5U|NES?JE zNEO9}#k}Bxr!WWI&SmNUqXM7Pq($wAIOuKeOy^xf+97D%XzU?DGctpA(fyY=o<6Ry zSM`?GY1J65W*0H%{QO4}Zsin8M{3s{li}1VQ}JedCYl+@d{Q;rJChbB96-C_?1UA* z7mRm=EIKE_*voY!4(VTF{~p!6(G;!r!4?9;)fg}rp$F5|OL#r`u$u2=_zi{S$I^9d z(@JSVn~zeQrwK&I1N@k3rIOW7Iarfv$H?$%KNwE3@)GHZLI}t&Qxhzi*PkB|Ti@B% zBKw8(@S)I~<`A}ZU>Poh4B(seq<*{qXwGNRXy%y=2HF#A0YWl`R@bP2pS2bR za3HapIW8#{;>3?n$OKN$40VEKvA=MrYZllhiC`Vdvw#PVCe*n)u8FU-v5IaOB>h&y zn!8>$^bz_)iEv=hn9I;H)}ZVW{VLiD&S%G+6m7tGn`6XVTdS}(L0CpJJp{D>*qC}U zwgMnnZbICdxX|ZX0X*@C6_%pdw#)AJh#yupecVmbN1OI(rIt(t^Rrn2pZ3daLe!0r zNwL~_v|DI#bvKnDN)9-hgG910{B(IC-~QmAYK0wV@M|}g)|_k7B(~irOnT~Ou|69D zFJ_yu_!Yv5m>n6McizZZ#3uk0_IJuwXv*IH_qsFHG%0@`0L$J07EWwq8%8L`(U(Yr zH8`IqMnvdKnhAp*cvVW&s!W+8N4XZ~h^puBA?uGwu!O}!r=> zcyJ)sY!F`eoi$^~b1Lr8h*9JSj(g8NN4_)x3WLj775#Up-OK4g%3J~2t+*7*zYj3m z^xqFivIHZ zAxTePaKGs|LDc;?oxko>lt504nbFVp%SQ(D^HK)TSFp1`Zxzd(xi(#)U(&csfKqGE z+a&&~v5fsB^^zH5Vjdl*LOB}>A4v`{I7(NV-!xb(0_rGraiG-dFTJF-IO^ke(G66K zKdpN>=F;FJrqmn@)A-7j3@2++^L)l&2ixgYFR!C=leDdxdfdWbLA>D1TC=V1RbQs6 zpyeBj%GG4SyD@5`o?_R+&4Nfu5UbT#7VPrvSJ(ID(y5jEMhN5nP$U9-!`mSUf>Et$ zHLS700Vwu7GA0Rbz(5Q`tgl0!1h^o8J~;on^fPbz!V5myNor-0;I{H`8y-m%Z@#Rf zS|u@FZ^pXE6?lp;tpu>)(9?l2!<@PuB`eQ}u4E>-HQ5?iso=aNgyYT$;!5}^_rzzJ{vo@dvr;spr^UNswA`YUi;*)DUY>TV@2Nq__{fG6 zJtj2B7$t}TmW-DPu+-GH+UwUn{z%j$_jxFZk2OMBF2q>S~sxV@#s1v=?z@Q2}Cawq*6ahtqF;CM>&4KP*htPAr>E{1*59sETR`?uSP1> z-XK}J9?)I(;w=HP;omdvt{D&Kz16#hJ-y?WH$TswYt~qh{7<0@ySzeAFU^oh?(}dOk#yrxZO>pJl~aGxYrcK*oM56^od1hV1OVhYRE)0+r>QpHV~6~ z8@v2%ywoG6Jul)VAX@zwbvJeBn8QYim3A)$%eM#zVPc$OyMC2EGg*g+xW=@|0T5Wv z7{Q~g#w^h$IANz=I9#*g4|m+OV-~WZChl8W-j zd7?rZP3~4{ZrvglICF*@^h(v`*{U z<@KWMBMZokC$caxN&}dgk#~`CkYv&>_eylwaE5?YAfuA8{zg@O4A=Nb2&#x{?47~- z2pQ@M&_z?Lf>Qj=#+(X-0#M8HQr?_Gh_)v^QFw>#TNA_tS3J4nsLKcTBL9Tkty44b`WnZ0F(83=xhANTA_0CjD^_X`W zPG;i1v+&c%OE&Zze0R^XUh=Yd_huw2Q``Z;1O&t*r67qR=_MX40>XIS(z_oemwl7J zvsYS3DxaFx_L}7kDW{LBOy<_8z6-eOlKl0W$`OhaF3c*})%M*Kw$6d5Gli9>;Q52T zNJfmesZQ~2-7y3D?|Y-x+SK}Ur8hJuP7j_|YOu*V#Ifj8x(o|I#ab?q?m;+%WKyZI z%+W1GN~vG4>JdCQ0Yv#`HQuursTK&?*<0c5KRI?M>K;jF!^St7d{d;G1{w0`Pkcq> z1SYXaB~4g}b;}su`p+F2sf~wPbm?rx?4+J^qBaijG>ri4NjNfVys84TRq^ab# z`?v*AA+a025l2f%cWzA{9j_{d=le}XMemo#6b5yXy5yEC03PqNAJ1=r6M^ zuv4_(k*?W2*hXkpRM+X+l*hWJPEfRTQt^S4TcYutcVQqPKb$Q`SDAN=xJ4hB&S@En z0XX(Z0`9X8X0h>+p^cciFkLv$AK>6)U5;Kenb>?LAg(|o<8<9ZzHSmrJckxK{T@N~ z+xcH#XUFXI0%quI{)oJti70jn3G}k{?Lfr;_+n7L{Aj=4q|JX5Puggl4`1?UT z4ie7WIu;=|*o$eUFPT^0GpoLA+O*{{6z|h+gR?h0G;Rt=)W^$|am5*Wv3=MTemkWV zBwr=uqduBZsGRVlLqpf~y!fv)A6^}M+%A*{04iS@MwVvMOA2C-I&w{=UGd37hj*zN zhyfaqpr)d+vMTA6jO8`uV#FTHveSAD8T@BK^>+VY^$T|GQ|O2|G$u}T2`9KYq&L&u zHt=K^#q5@BhPF#qCk4svO`I2{3CXEvczHmh`IcxY_%CCZ0^kBwd5-!jF^a z?&)vghRxy4eXE0Vm0cAaQ3Svd}b^EzYKkS)ICVHD@V5B5?gfWN}L&Sl{w^7D(&UUnbj5qg-)>~(%h2_MOtfMv_$ zU*2x%Io|`G zBn#dVxoDpkE8zC8_1<=LK zfp3q3rK}=pYikp0;u_p#u~EL5nJQqe_PiqR&)^6iKC$6x!V@AVJ3R>PQ!m#+wWkKtBhHMn|3TVKafl9Yxq50{R6Ge-e(BBGw5p?2F zC8eP+?VjU~hE;2<0nQVKvO5)ms6Sj7vGW3fFIg`tLSHX0eH-ib@mT(1SRJ)rhb&^e zy8ANffj~=^JsRXNg@CbgHK^@xz0_T?)fv{{c5q4K*)SDJ|27qI!VO{)rAK-6<@kir> z$G&u!5@@Mpz=gyv@wX+^VS$R5SM9pnXNSpa`0F`{RC1ug)MmN(o2@zB#ssbD(op9I zsekk(g@tgBh4dQHBe8A9#kE`p3$j7_X@u(rjFT z7OjMNn!=KgR!pNSFFQhcZEnK5<*Am;1c^IV!%wXnA$Pl9QCzM`Ic(Siy1CT~RFVQx z7aVdNO=0_bW7N%G>|SJFt%ey{&A<xk|*{WWiwH2x#yfuG|H(=6yYc?jNkc& zICHzs+G$TkW_*GQKQu2Q5PCKInOgZ8&7);XL`6<4?my_A3-cfJ4t{q(Z|Z>^Fj~XI z+aIXZAQxb?mPiobQ7BLrX0{e}SYT+#pBhJtF$!?pf7Q5Jp0I&ce(tg`waAbF>qAkp zu(13;LT* zR#Z&3pDBeb8HcqdJ(YQY4x5`tt6ofXgkdd}j(ALYzK9IE&=#8hnVPvfZ1m;$B1=B| z;luAA|BRc#i`&kNn_z4`$u@zNY(Yn$CQo#*SVbWdP)u(@TA*y0tSAAK3fks?H7%hj>$<+9xC7xR=%7mdEAk+E-^qBQ&tc<)IGN#X zcwk8a1IlTX;28quA#TAq(0fJ2V1C21?w#A>0H95Q=wP7Yx=Ml2%@@M*-fMU?Ig+jA zZvQ0vPeS7{L3YnTzdXgl1yYJVeX&D6A8YI*Bax_R2Aq4884QGKg0)hc;H1NVSU!40 zg$HvHK_k|Mq4h=!nFanEKm=q4!^{csWkdV9U<;jJeUTpu{SG5wiyH%TZA=v*ihi`Y z0Mu^CMBAjTudeRjcKqA1PpzM{6yt#|=!;yO1BZfx=+l4$&)dsH*bRjsY88M4;&vRs zIcMX6l?U!zr33UvPa}Oa%hA&dfle2EFr{1un8+~Uq^vlSBk`xHf+XI9N}TxzVFN(f zi~@v-0##?P9L}h!ZfEqpiJZok zdVWH-Xl##WT=6wSuSG!tY>>DGeI>$wje>7FbKyr&4ZR=@7?EDDi}@pkUw~qT$S}Z# z{%MY*965M+GQx#{;)#|ODq5n!fcx_1eLKCr%!UKj+QXreL`F zqt5xfw}~k-y!n{H`^`TXeKym#0gQV(^UzK@IZ%hz5X;$b*8j3DHji|=i<48ys2h$e zCY=!mWXs7MncL~#jmN{6yy?m5TNnW(JbqYAAjKjh?!OQO0^x8X#cXQ~7c3rY`{hh{ z%VS>`$6bbGknh@n@$ncf+Q3`d_h7*Dzw|%eyI(Ua7MH@x8AAvdeOWUI0XS6TPVwxI zbEH*uZ!bq>`6L?6o;$ntz8uJZZR1(UM+NYmI9#Qx>}7m=r$ zHsEpEtBn+7W{e%el+7Y$0EJh6oEg7r+3SGY@9?b~J5!PVEoKbrI{B&37ENc_ zLn|quzvK+azl?J>g8ioQ*SHfW68zx zg!B3x)mKAXr*8Nvc#`vT*9i*!lBAz)`jG~UX$?`+iW6Wv{7#S}fONk{mrM05Jt-x| z7FH7+o6J>rveDzgrhcorM?DL0#C0DL0#%%ywbU3+oW(0;>kbwh7he4E!6l}gTREqt zt4kI!UA75Dq}5@_jZ1>2p7}Lf0e{;$Lz~yWy3*01z-!(nYE&(F>j%UUr>??uJ@^Dn ziX3HjOmkKl{srxQKqcY&$kB?Qz(EpYWLyXTn@(B#Wcu;hlP~dIa1hNV?aH66N*We# z8_JtRQN1=_8R1)yaU$I&vNQRkYuPNzINFQVwZX$Q*uN1xCtcz+^J2joLN8Q%W8@BB zl+O4TxpqnW3~@V=v>8ca!w#J~UrHjObQWS-g=$G8^-m=(fW6Qf#09*_3{{#fP`T|F z*%!h1J1ust?fAD=zwd|cq|*?ey0WC+ESE|#@JUM1anJTdZCFXbCTx2={i5meWr9BY zf}eKVE%QF#n{dQU1!C^fm1Yn}48(&H3~591N2bbJn=X!llcuGLTI?B9Rq?SGc0W1g zLGN2K*o)N|;3Ip}wnr+7re9OrzzleuP&?C}s` zNkhq{CO4(RY=Tl}So%aW5^Plcg)*8qSqC9}rNPDp5OHJ5^I=flBH;H=#PC{Elhp|vad;a7@quA-lW)!r0c+<{|wUL^M>K9|9l8bi*i#PP0a%-gGJ4_YZbRL_9-tu76 z8=+zVz`a;m(U9DYf$b!TL0>kI)9$)Jc^RFn(L9d7{S!POx*cJ|?oa^PpQMC1?qf|J z@hl%ood);JHG`!N1tn0<5CY|!uXaAN+w!M&87Q=*_Gq563ezS}@19NI>V5w($^+Q{ zy!0U3Phfdpt+GXYN_1{YcmGbO?ubF8Ft-Z_Fhgrcl*FrVThFh`nchvKB+lu1E~3(+ z@CDu7XdB#W1i2%wGD?#QSaEkT*L70jOj_s8^r+NUevpZ#le$nsnsG(WJwify@0bs< z#_#D=F}Q1>S@;@!nBiqdk3`2o%&@a+&8lDZw#N6q=qjI$clAht4RP=gUyC{5{KKLR z*nqymE{lWJEgky*I;t!sQtv8GjZ@7Ifw3-(r7)>$R=lZ0G zpcE7R_}P7_FH*R2XyjaCM!K;o9OzJw%`ii&V>hq$kxns>Ksp^4H{QQ#PyZDGDCm;c28U?q#u zGJx}Uc%q_rTvgqnF7>$e+*`VWuko}UX*lPl3!@}NxO~2e03TFubTVJ@f`S?rZ5g7u zxzG}vYV;o7qNUo?TA3y2BC+8Ma`#s zTKrmzxDvOJh{iine1k^v9e$xb_|J{i)rNJoGI|rGyBPY=D$HfS+DqIApy0h4e61)P z%ZD5*D++f$H7tVWYbM00>r~F@y>s6h)fEBJb|a+Li$M9HeO$%Ro!_)rIaTy}tP|RF zsAT==S?htFIsvsRyM1b?4UPQL#E<(b_#PhP&)!0vQK0(h52n;{V{^pf#W2fJB&fZ5 zu)dOD&>T3&9Idy)`>DnHk0OXrCAuo~?!60PDGGUz&u?r2v|M@`_NJ&4WTRnUSw z#LrHUCRTY<86tRyZBsMd^vl$|)G@~Xv-&2znNHIw74_&_eXAb^Kq3|!C0Hf*n9<56 zotC+ejl>WUmBh%XX{nr!Bz5Eq-HVHp;kQp7x}y2mh8Hu*=o6Z5BcscOc_xUp;zu+^ zeHH)LJB-+MCl@Xu-@zosp#8v(4%zv4)eBb(HlkpPy8Vu|Kpy8kD5By6#E3 zu-pexy&d_4=N^fQ{6UO1GnL)Uz0V4`dQ*qPq0c>1vrF|)F9q|VU*qk%DVv;X%7p9bKit73tHUn<@#91l~UtUxO* zje@dF0k%daLOrUUr@R=~Nrp(k7}sg3SSO+tQY?WbPEUda{#9ogS3n0N)<{E=S|Na92IuH%O3J8h0jA+&PzG3J;huvXhE`!iw0q>R-C%Z5l&cDIRUkrh$-KB|O5>nw{(;uIgn|+!VrUlnj?wWO436Y|7h2s1S8PlR_7$tV3J8WW z3V)3pCH#7=HAI6A3x97F1jtf_1q2!*43GQ;e4ctS9|4Rvn~_oikYLh9@|CI3YH#yC z&+b-KPYvjnhQx`0eW(LWqj^i#e1A~qRVM$^MlfK5ks|27oj+L!jTxd02m{HGbiVxm z2H52y`O|%HQLIdSHCeehULA&=sFDhLUiCysD1WHXb<$?EQWE7Jy{*uMxRQHlKNsl& zR*7@(a$}1c>|x8^7#T;-w^Tw>0Hhqaw=T9}r(UvncIV+mm=&$uW@3x7TvkJ)9fsl) zRZd^DptR4O4?PvD%lIlri|fw~&DF!adS>CXcFBDH`s)l|)ReB=RpQ&u%m?tiuWtdQ zjWk}KUC)UZOoer-OPq=6f>I{sZ16RJ8iaK{i@aGnQUZR|73%Qy62TEWPwz3YG3xQX zKH18TkPuqy!?(j58Gl?F=@^6JC)DSgRAjH{DM6|eiVAZa@m!V4Zq^L5cem+^yFfjw zk3<7xoT!*#J313zZ2~*s5d$?$WX^8w;ZAW94Q?U`(cr-=|AygOwsv)v!VxY&2aQc{ zUE0}NO}zQKT--S6B5c)f=m&3#$rZ2Ge!O+G65^cMbmJTqQP&wtu)^EaOb}ZSD6*#IsLoF)fdQ6bSduR%(yZ8w0&MGP|HC zk{onL0)On#s#zOFBmopcm`>N{VXJ?Qtd6Kcifri-pbhY8EvYcSBz=Mt z>Pt96*}P@YXd!Rcm8L-ArH8zYvv#SrMa)2HE>$OYaCb$j*s=2zqmK&^eZeGtfICQ{ zAAnpqiM&}^Jc`QcmP+e-?yqn-Reh1WTAbSmJK9_}WmH)WR)d&-v z>A$u7y-NL2tg++_nEaMjmo)Q;Pf6Rdc#gm8)6sdVHV2=d zWOs;~RZRI^upRl#j@|?;o!z=3Ho?t(rA5KNlMA3GwCN;@Kd<+{Xx`z?RECOA0$En`EfD+iL-lQ1AAvS@|IqW zke!))?D7?-zH-S&G2aXB8=ANU?qlaoHC@6ts8w`Qc9swM>>TMVSFOKdX&ad7&i5R* z--txJGmFdFH7#5x;bay5VyHgqn9P9eTRWhbg$TwCg@Bmku7q24#KY!}JwIhVy0>h; zBGMnQ-t%Pxx>bu)@YmVZiIEC<3dt-3PD`%7%>1TJ`=Of_8$*L$)YI&#M|0NFjrK3S z-dzTIMF(E8#y~f=YI!m@;jEbL+;ZmD8nf`tCjIuJHkz%>x~ugxLcdc)GgHKA+bf_f z_}LLvIa&SB1h;S|RJX^rgvab-@72}gmozEByn3{#`8iO#>y4I99)yLX1xgS&4CY7J<7!Ei0`7+aVP%R(Ms2ZH z1%3bqVP$SHPzQzu1!hgvR|hs}nbra>0|8-WZSm3tMh699WowBu01p1?VQ;}S1}^`p zaQxTgWm91EpE_sDl{xS)(8O61v=%9A;LM*1+^Ih^6p*|Cm4hrl0ylX#sdUv*5iPvo zgK`*rwCeU+mR)O@P*E+N*WMFVu}xaaNGz`<@p)tol_JCDB++zLI>**K%d=T&sqMU^ zF93C_BPu)uP114+6qZJzwGenBr1)>AJd)bxaGmjjpWMEFogvYQZ!LgM5`bDo(ZAba=QTnXcWHzMy$7jcbR#z!KR>^+Ix#!1#)w$#r4nj^n2! zyIN*Yio!O#}zU}`>_hcwldYRav|e9*~V`_X-J{$^gN;R0-Zcj)g@Ipn~N%7A0& z0c_VA6rgZLNP2XrfDo%PU@%t^(DSh8Rwr@i_!^P;gnjtk#6_Mep%OSl6;%Ipl3@6V zWOIIJ1o3+vU*$NW?F5h8-_1xs<-+?o0U(RI5^}IeAt9xCCZ<&P@;>2CWgiqaO$F#c z2uG!Xd7d)j+Ci!TVVrOAKcGGOKY*mXjMHo;O@$~X3N+wdN*rj-m&@o)k(#_o#Uxww z>7gpg*yh2#n-eu+0tJeNw-l~cu8fnDT#3Y;=D}%KcipLN8LZMzqUS-EyTh(=M4f## z_AJaBHwGVOE;W>N1Kr%+|G zOd2M#*n2>7aO8T4bpc0=Xflh%Md8?56qf#AJdQH!0X#mTs+ZCsekLwkXYvxuU@x`G-W4`a&a)PLles~{PUBlOw z<=~Xm_-aHP1VTq2Gp?=qzG!0@dTzDtZC1~EM?@R75a+dB;$cq@en5rHdq3}mm6o^V zgx-^D#Ocho-VBxH7XE>@4uto~sWkSyw;O!i3+&gmJmo{>WCxs4r?vJ~0Rz6{LvI^o zPMhBX*Z%Ww)ZC8B;q*SeCm>D;PQY8-mgj?EJ>iRnp5u6@@9t*YJ?JUwN5k1|UZ4@0 z@xL>BVuXsChkenVR=_hPn|MlCc(6PJ0~srOq*z7Z2ow(rT+d^YJ(t$T)7Xtb&Cywk>@r$LgkOm=E!=#Zd(tn zo+`}smpbg50sgJ<<+M$>L3HDAA{12nGGrseZCW#!Om4K-M8NsyeksGn+%8=QdTZ)% zQyP)!9~oh|gzm1E8&NdSR7Aai8MiQLy090x3OMtkSD_n76hx#Eh(Eu9iLG6!Gd>cn zg|tOxV@Hu8#2JIFK&q$6bxM5VcqE$U4i6vqODl)np1f42#`hj&C(GY#RsE_5-z>=x z;*ds9k#h$CqyW?Sm%oDL!v+vq62sx9pznJmIni$)3$aK9D$s#`vyq)=F#cfh6s6Hm z@2@s(Tx$K|Ry9)t#3}h~Y2(NOLB?^Fj!W+j!UcEjaJQPv#mb~Eoqy&ag71Aw`%25p zYfcW%Drvknc*6IFu(K+JNTRZ2`LUF2kdY}$$dNe0!~tmq*Cs9ihPu&r=_+R&-Eyqz zI`Ado_Ng&^V}^=~cD{6YL#x`FIV^Qf{3SCtU*ZsUy!Bdwh*(gvDD_XiY>g%?je)Co z-(L5JtG%I4KEdx-!_Pe-8HZMqJ?RmtVEc`Wf3bK@0&t^mYza|==)cu}L2&0q-yuS^ zW-pHJPXLb338K0rI52eeM}-9fg^;z3S>PjDv=AB=;4}m`fTrIYQ2>;K&v0_I*=Em_C=??*SP4CH8rK6lKI7FRlGE3i;jvg(B=F z5m`_1$8~9Z-nb)vfHk)&(h6g^@7J->yNwcFpW5ppe-~>tJ$IOY+u3?y5FYwK7pVo=HSgxRjN874V zTLEaRy_=1FB(y^?ObtCbGSQ?gS3=f=xTmo@%_0RWUF-$?%8zoMYIm(#u8}?Nc=Hi7 zyE#7kn*8Q@lSr7xqAiCk-e=zYHB{JPK|`>P#@9^k(TFG=J*Qxm=bT!`yx&N*^rd{j zrxHEU=h!!jT_pO*!BKNc*`REV~~gLy&KG9GCC_OVEYf6IsUhn!q9!cox$z^2dDLWg!C# zH#5jN3-ta}*1|TFi6cc-b!?a+mmbj5KbC+ZJ*Z{A-Kq;_Co&51B`g+zvPvecY%l6x zkS|6eXo!Zb&nO%Rpy*Nc~VeRE}{jyxO1XwsCcoQ#Lr?*;Xyg2Ktml!=HX8;Uap4TWP zsl>o+xX993O?%Z(7e`MwzN8nFf|yl=sii^^YUbcgBsR1n65qkW!+5FpVlmiY4~KoW zX5ZxD<~${+UT!Isp}%N|<)Xu+`y^FjwApJ78gh}4~jm>>RPa-40luan)Lc z5}WGsL@{uC)Urxh+%e|RF9HM_PpTtMJt89bPNejec^>bPN4@LaKOr9{u+g`=dPtW3bG@0F1|wUARW*6 z(4FD;wwPo}X<9nOgaee)kxdW;x9cVy$%6#?W)O}4vRwO-ycr$4j}q00DUMoD!a*2} zhH_ZEY~1IsXphr@cxT-k#5K-;G4XV7xHGdF!ff16=D(pwVwzkwCC?Pk$~E z!I;z4PHsvA9Xfo+Ixn2Pmql|^Lo3@L(p1Zbe$MJaC?gy)v9pfNVPs%qacbf95DA4X z@EBtDcRwp|J-JjsT1lwyXIVxLXPwXlydJJ=FczJ6>;`v2(@BlIdePOAyTtptW87Wj4ZEs-xudfW_KA-j2ZwNvzRd*Q zyO%>NFr>qzH8VQHzQK<91Zoje%1Pu&vRnjKn>Pk3bJbWMjC{|c$(38HjHYa^9AQI~_> z!P@#Y??{{J&^VwK!o*=CQ61z=Yqzi-`fTYqielibSicxp37j2-Gs|B}o{CfJ8CPA2 zycjqg-$bONU~Src2=!Pz8)Q3>O?n}8;`peM$}=k{;0j<7KBiZw@aDqJp84BA5&P!l z7{bZ8-M#s7lzNksg<$?*-R#oZ#fnc@*zf76jM-e)mbmb3=MT5DOyOWONR}(e#a|uD z{o&y)!-t)9qgI%>zzqs@sHXN{kDJjzo-+e^Fn4=*XsU~jf_>D<<0D$Uj^eN(K}C)} zncR&WI|M+zlf5L-_!9mk(+|rXlBr|VCtl-2s~Hl)3(x1mNPeY~A1veg`uc3l2#bG} ziyBH#3oA>Lr*UGKZsTIE7MRZLz=lLQS+Zs0$6!^8Y)i|XE|;F{ksS(trR(vL<`k>GFHJcY_?$SZL@oMNcXZP5^8mVCE(HQK=wG_kfIBs*|*V(&d`7 z^~|jOL);%BPwPhR32WKMuf>OBJXVwNe{df78%e!8#Yo-P{vLIG zF$Y+&(TW)!Nk!>O!_#Q+=E_z>tA3^N$NY!!uiAW}JL`+W+28%u_-5)LCJWb#4wKD; zsyPrrw!~C&mgWfz-%Me)p3$ZYyrBiF=Dahg><` zU}H)8^nhaa2JicQrp0H6-^cG(Wb7zl#2AqIk%*G2a8Hqhah0P4URG0=LQ6+8YLgXz z=@GwubC-8W!N=$Sa{V-6(6doy9u(A9+pb9twcDy8%Dyjj;b0wx&2bED7fQz0W(v@y*PmF&~Go>L5F#tY~y zPg9>_n6Ei>!^|Rh#@-lR`*(YMYj`tqqYrodx0Hz|-BxgI!(T01Hwv=BE` zTAe=8rexVVIAy%Ut?}ZCp0JwR*GoMc?j6tm@Ob;`>hu0Q6dkXdPqn3XSSZ*Aq;Eqo znEiSazsB*`L1g>PqXfe7?$bick0pa%-(y3~gSD~=g7(lm$6%XXl<8`WC*N9(sUJZ7 z=H2_|@fd3oVx(}-(3g!zsh~SR=H$?muY6`CXr~7DcxlB85uq!-#{2#LNYLQ2Cg5QA zrJ?Zb6@y(dM9^h68ro#8dQf3}T%)~u?-q(tFDB*uQwLLxk zpyvH#&_pispu^r1c*c1RG$~{T#ggGS%z2-<)AQwjvo;MgtV8J4(y@8GXsC9nd(hE90X`6Jot^pDN8?K#Om<=c!JsS(K3lCXJw)itFezHQa8nB zaFoj_wdKUbF_fd#_Da;{>E`OXc;XRG>c@di5|Nu_STr{hTU!Dxh~3jt22F(Y$u10L z0yC&$jLDqtiJ*reh^`dzMWXHWYE&gaS`Skj{i}(o4A-6^6C#eM#R*`KJI>)m<2i|Z zigKO-m1ZS|+RjnuG_C54qU!0A90;`0QBMPQ78#D7)RGv3M!h*|+`)}PdaYm=u@0U0 zCR)L-dVsO;;0<7v4Nys~AdojukU*l8(q+Eel$f>4zbA1rkLMbWnh3XfYgKLh z{Ak5JET0c=`4Gi00gjiVc~>!#SB|&`2a3< z4b}EY)b8PKvKh&bEZV+>X;-k;_`ahkGjdU0iFm{q>$Eb@7d2(G6h>m}!thyAS+MsUbI1M|1J`j4pA?BV5R94Q#`^En_qzPP|Xp1*p z3so)$tm;qc{sRZ*;HkU&k9Nhz((+^TxC08zp6c%n97w~)%*4XU#zM=)MajfONe#m& z=U^&kfLWk4_X^H8x*C}&AWV8s(6VraB|%A<8id;d&-UYK^3DaELvI1ciAZJqfS5-Wq;bU z3D%1V-Xm#)jO&Xd+*32V88N-KBw|Vdso~mM@P+<6Umu!g8cGhCeC%f@lePLx^I8V0rIc23<)Rx#d? z)1{xV<&#%9BWZllx{y_7u;pHFQFSaQge!d*J$7k7*>Ht^){7g zE3^D!5%kx71E{@VBqb0&n(EpD0P?c2y3+dCImMmTP2O}g_AqUP$}D`TS2p8c9=m4f zFLriZlaO*#ZlpMgP3DmFDUq9&#NDf)h+J*j1WEG>lG+lAxf{fQMzcP^rmn5mm!(^P zl}5gDm@A{{MilyoWa7}bVcuXlJ$zP`TCp=Ndr~@({C;~skKf3JoQ@MU0M#6mM04@_ zB0?8JFGbEJS%fj^s2BDn^df+{M2c8}CK(wX?Tlu2eBYzEqE50}b@`Q9l`|krfu1fa z;p_OxV%Q!uF}-eMaAIkutzDRMNzTO`a^bfN{0{Sk86SDOhYaXQOrJ6o>WCrnaQ6+I zyABHnNsA4;-{b%f}gCs&WhO`2!!r-Z}RNzF{w2vxsxEb4iGZv5PSOT)DV8I5}8^ z#U$8Sgt;V`nFNUb|3iLWCu?SJ;c7|5!I~PN1xy3LUu;uQRYDuN^U2|*VItaZt!)j$ z&1{Vd97s}b6fUJy{aY6$5{6L$ex9(G^>gW;;;MAGgg|8fizt?ox5R8V5y72w-_+^h_(g`?eEftPHP<`oY;oT)E+wc9U$ z{mp|I)Qct-Iixk1YB9hBVqt_f4IFERxk~~-+hvLB=P2|FTdS_D#zcUKYHXu<-4bSCbb0RlJ%qvp-%{ z%$k09HEovr<$u+TS$@TWN%_>3UhQ}a&&ld TWo8O7FfuqdG72RnMNdWwQr=zQ diff --git a/main.tex b/main.tex index 29257dc..a0445c3 100644 --- a/main.tex +++ b/main.tex @@ -1,6 +1,6 @@ \documentclass[11pt]{article} \usepackage{chao} -\usepackage{natbib} +% \usepackage{natbib} \title{Sparsest Cut} @@ -40,15 +40,15 @@ In other words, \nonuscut{} finds the cut that minimizes its capacity divided by \subsection{importance and connections} -These problems are interesting since they are related to central concepts in graph theory and help to design algorithms for hard problems on graph. One connections is expander graphs. The importance of expander graphs is thoroughly surveyed in \citep{hoory_expander_2006}. The optimum of \expansion{} is also known as Cheeger constant or conductance of a graph. \scut{} provides a 2-approximation of Cheeger constant, which is especially important in the context of expander graphs as it is a way to measure the edge expansion of a graph. \nonuscut{} is related to other cut problems such as Multicut and Balanced Separator. +These problems are interesting since they are related to central concepts in graph theory and help to design algorithms for hard problems on graph. One connections is expander graphs. The importance of expander graphs is thoroughly surveyed in \cite{hoory_expander_2006}. The optimum of \expansion{} is also known as Cheeger constant or conductance of a graph. \scut{} provides a 2-approximation of Cheeger constant, which is especially important in the context of expander graphs as it is a way to measure the edge expansion of a graph. \nonuscut{} is related to other cut problems such as Multicut and Balanced Separator. From a more mathematical perspective, the techniques developed for approximating \scut{} are deeply related to metric embedding, which is another fundamental problem in geometry. Besides theoretical interests, \scut{} is useful in practical scenarios such as in image segmentation and in some machine leaning algorithms. \subsection{related works} -\nonuscut{} is APX-hard \citep{juliaJACMapxhard} and, assuming the Unique Game Conjecture, has no polynomial time constant factor aproximation algorithm\citep{chawla_hardness_2005}. \scut{} admits no PTAS \citep{uniformhardnessFocs07}, assuming a widely believed conjecture. The currently best approximation algorithm has ratio $O(\sqrt{\log n})$ and running time $\tilde{O}(n^2)$ \citep{arora_osqrtlogn_2010}. Prior to this currently optimal result, there is a long line of research optimizing both the approximation ratio and the complexity, see \citep{arora_expander_2004,leighton_multicommodity_1999}. -There are also works concerning approximating \scut{} on special graph classes such as planar graphs \citep{lee_genus_2010}, graphs with low treewidth \citep{chlamtac_approximating_2010,gupta2013sparsestcutboundedtreewidth, Chalermsook_2024}. +\nonuscut{} is APX-hard \cite{juliaJACMapxhard} and, assuming the Unique Game Conjecture, has no polynomial time constant factor aproximation algorithm\cite{chawla_hardness_2005}. \scut{} admits no PTAS \cite{uniformhardnessFocs07}, assuming a widely believed conjecture. The currently best approximation algorithm has ratio $O(\sqrt{\log n})$ and running time $\tilde{O}(n^2)$ \cite{arora_osqrtlogn_2010}. Prior to this currently optimal result, there is a long line of research optimizing both the approximation ratio and the complexity, see \cite{arora_expander_2004,leighton_multicommodity_1999}. +There are also works concerning approximating \scut{} on special graph classes such as planar graphs \cite{lee_genus_2010}, graphs with low treewidth \cite{chlamtac_approximating_2010,gupta2013sparsestcutboundedtreewidth, Chalermsook_2024}. -For an overview of the LP methods for \scut{}, see \citep{sparsest_cut_notes}. +For an overview of the LP methods for \scut{}, see \cite{sparsest_cut_notes}. \subsection{open problems} @@ -58,16 +58,16 @@ One major open problem for \scut{} is the best approximation ratio for planar gr % Requirement: summarize previous research contributions and identify the gap or the specific problem The seminal work of \cite{leighton_multicommodity_1999} starts this line of research. They studied multicommodity flow problem and proved a $O(\log n)$ flow-cut gap. They also developed $O(\log n)$ approximation algorithm for multicommodity flow problems, which can imply $O(\log n)$ approximation for \scut{} and $O(\log^2 n)$ approximation for \nonuscut{}. The technique is called region growing. They also discovered a lowerbound of $\Omega(\log n)$ via expanders. Note that any algorithm achieving the $O(\log n)$ flow cut gap implies an $O(\log^2 n)$ approximation for \nonuscut{}, but better ratio is still possible through other methods. This paper showed that $O(\log^2 n)$ is the best approximation we can achieve using flow-cut gap. -For \nonuscut{} \citep{leighton_multicommodity_1999} only guarantees a $O(\log^2 n)$ approximation. This is further improved by \citep{Linial_London_Rabinovich_1995} and \citep{lognGapAumann98}. \cite{lognGapAumann98} applied metric embedding to \nonuscut{} and obtained a $O(\log n)$ approximation. The connections between metric embedding and \nonuscut{} is influential. \nonuscut{} can be formulated as an integer program. \citeauthor{lognGapAumann98} considered the metric relaxation of the IP. They observed that \nonuscut{} is polynomial time solvable for trees and more generally for all $\ell_1$ metrics. The $O(\log n)$ approximation follows from the $O(\log n)$ distortion in the metric embedding theorem. +For \nonuscut{} \cite{leighton_multicommodity_1999} only guarantees a $O(\log^2 n)$ approximation. This is further improved by \cite{Linial_London_Rabinovich_1995} and \cite{lognGapAumann98}. \cite{lognGapAumann98} applied metric embedding to \nonuscut{} and obtained a $O(\log n)$ approximation. The connections between metric embedding and \nonuscut{} is influential. \nonuscut{} can be formulated as an integer program. \cite{lognGapAumann98} considered the metric relaxation of the IP. They observed that \nonuscut{} is polynomial time solvable for trees and more generally for all $\ell_1$ metrics. The $O(\log n)$ approximation follows from the $O(\log n)$ distortion in the metric embedding theorem. -\citep{arora_expander_2004} and \citep{arora_osqrtlogn_2010} further improved the approximation ratio for \scut{} to $O(\sqrt{\log n})$ via semidefinite relaxation. This is currently the best approximation ratio for \scut{}. +\cite{arora_expander_2004} and \cite{arora_osqrtlogn_2010} further improved the approximation ratio for \scut{} to $O(\sqrt{\log n})$ via semidefinite relaxation. This is currently the best approximation ratio for \scut{}. -There is also plenty of research concerning \scut{} on some graph classes, for example \citep{bonsma_complexity_2012}. One of the most popular class is graphs with constant treewidth. \citep{Chalermsook_2024} gave a $O(k^2)$ approximation algorithm with complexity $2^{O(k)}\poly(n)$. \citep{Cohen-Addad_Mömke_Verdugo_2024} obtained +There is also plenty of research concerning \scut{} on some graph classes, for example \cite{bonsma_complexity_2012}. One of the most popular class is graphs with constant treewidth. \cite{Chalermsook_2024} gave a $O(k^2)$ approximation algorithm with complexity $2^{O(k)}\poly(n)$. \cite{Cohen-Addad_Mömke_Verdugo_2024} obtained a 2-approximation algorithm for sparsest cut in treewidth $k$ graph with running time $2^{2^{O(k)}}\poly(n)$. -\scut{} is easy on trees and the flow-cut gap is 1 for trees. One explaination mentioned in \citep{sparsest_cut_notes} is that shortest path distance in trees is an $\ell_1$ metric. There are works concerning planar graphs and more generally graphs with constant genus. -\citep{leighton_multicommodity_1999} provided a $\Omega(\log n)$ lowerbound for flow-cut gap for \scut{}. However, it is conjectured that the gap is $O(1)$, while currently the best upperbound is still $O(\sqrt{\log n})$ \citep{rao_small_1999}. -For graphs with constant genus, \citep{lee_genus_2010} gives a $O(\sqrt{\log g})$ approximation for \scut{}, where $g$ is the genus of the input graph. For flow-cut gap in planar graphs the techniques are mainly related to metric embedding theory. +\scut{} is easy on trees and the flow-cut gap is 1 for trees. One explaination mentioned in \cite{sparsest_cut_notes} is that shortest path distance in trees is an $\ell_1$ metric. There are works concerning planar graphs and more generally graphs with constant genus. +\cite{leighton_multicommodity_1999} provided a $\Omega(\log n)$ lowerbound for flow-cut gap for \scut{}. However, it is conjectured that the gap is $O(1)$, while currently the best upperbound is still $O(\sqrt{\log n})$ \cite{rao_small_1999}. +For graphs with constant genus, \cite{lee_genus_2010} gives a $O(\sqrt{\log g})$ approximation for \scut{}, where $g$ is the genus of the input graph. For flow-cut gap in planar graphs the techniques are mainly related to metric embedding theory. \section{LP} @@ -124,12 +124,19 @@ s.t.& & \sum_i D_i d(s_i,t_i)&=1 & &\\ \end{enumerate} \begin{theorem}[Japanese Theorem] -$D$ is a demand matrix. $D$ is routable in $G$ iff $\forall l:E\to \R^+$, $\sum_e c_e l(e)\geq \sum_{uv} D(u,v) d_l(u,v)$, where $d_l(s,t)$ is the short path distance induced by $l(e)$. +$D$ is a demand matrix. $D$ is routable in $G$ iff $\forall l:E\to \R_+$, $\sum_e c_e l(e)\geq \sum_{uv} D(u,v) d_l(u,v)$, where $d_l(s,t)$ is the short path distance induced by $l(e)$. \end{theorem} Note that $D$ is routable iff the optimum of the LPs is at least 1. Then the theorem follows directly from \metric{}. \subsection{Flow-cut gap} +The flow-cut gap is $\opt(\ip{})/\opt(\lp{})$. -\bibliographystyle{plainnat} +Suppose that $G$ satisfies the cut condition, that is, $c(\delta(S))$ is at least the demand separated by $\delta(S)$ for all $S\subset V$. This implies $\opt(\ip{})\geq 1$ and in this case the largest integrality gap is $1/\opt(\lp{})$. +Note that the cut condition is weaker than the routable condition and it is always satisfiable via scaling numbers. + +For 1 and 2-commodity flow problem the gap is 1 \cite{Ford_Fulkerson_1956,Hu_1963}. +However, for $k\geq 3$ the gap becomes larger\footnote{\url{https://en.wikipedia.org/wiki/Approximate_max-flow_min-cut_theorem}}. + +\bibliographystyle{alpha} \bibliography{ref} \end{document} diff --git a/ref.bib b/ref.bib index e70af77..eb749fb 100644 --- a/ref.bib +++ b/ref.bib @@ -225,3 +225,7 @@ year = {1999}, pages = {300--306}, } + +@article{Ford_Fulkerson_1956, title={Maximal Flow Through a Network}, volume={8}, rights={https://www.cambridge.org/core/terms}, ISSN={0008-414X, 1496-4279}, url={https://www.cambridge.org/core/product/identifier/S0008414X00036890/type/journal_article}, DOI={10.4153/CJM-1956-045-5}, journal={Canadian Journal of Mathematics}, author={Ford, L. R. and Fulkerson, D. R.}, year={1956}, pages={399–404}, language={en} } + +@article{Hu_1963, title={Multi-Commodity Network Flows}, volume={11}, ISSN={0030-364X, 1526-5463}, url={https://pubsonline.informs.org/doi/10.1287/opre.11.3.344}, DOI={10.1287/opre.11.3.344}, number={3}, journal={Operations Research}, author={Hu, T. C.}, year={1963}, month=jun, pages={344–360}, language={en} }