From d35d9422a7d6b6fe4ffd45d35a01b1cf89b3c272 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Est=C3=A9fano=20Bargas?= Date: Mon, 24 Feb 2025 18:30:15 -0300 Subject: [PATCH 1/2] add test file, fix bugs --- crates/vm/db.rs | 44 +++++++++++++++++++++----------------- test_data/l2-loadtest.rlp | Bin 4081 -> 200051 bytes 2 files changed, 24 insertions(+), 20 deletions(-) diff --git a/crates/vm/db.rs b/crates/vm/db.rs index 0d03030008a..4bc79eead70 100644 --- a/crates/vm/db.rs +++ b/crates/vm/db.rs @@ -247,20 +247,21 @@ impl ToExecDB for StoreWrapper { }); // fetch all read/written values from store - let already_existing_accounts = cache - .accounts - .iter() - // filter out new accounts, we're only interested in already existing accounts. - // new accounts are storage cleared, self-destructed accounts too but they're marked with "not - // existing" status instead. - .filter_map(|(address, account)| { - if !account.account_state.is_storage_cleared() { - Some((CoreAddress::from(address.0.as_ref()), account)) - } else { - None - } - }); - let accounts = already_existing_accounts + let cache_accounts = cache.accounts.iter().filter_map(|(address, account)| { + let address = CoreAddress::from(address.0.as_ref()); + // filter new accounts (accounts that didn't exist before) assuming our store is + // correct (based on the success of the pre-execution). + if store_wrapper + .store + .get_account_info_by_hash(parent_hash, address) + .is_ok_and(|account| account.is_some()) + { + Some((address, account)) + } else { + None + } + }); + let accounts = cache_accounts .clone() .map(|(address, _)| { // return error if account is missing @@ -268,14 +269,15 @@ impl ToExecDB for StoreWrapper { .store .get_account_info_by_hash(parent_hash, address) { - Ok(None) => Err(ExecutionDBError::NewMissingAccountInfo(address)), Ok(Some(some)) => Ok(some), Err(err) => Err(ExecutionDBError::Store(err)), + Ok(None) => unreachable!(), // we are filtering out accounts that are not present + // in the store }; Ok((address, account?)) }) .collect::, ExecutionDBError>>()?; - let code = already_existing_accounts + let code = cache_accounts .clone() .map(|(_, account)| { // return error if code is missing @@ -289,7 +291,7 @@ impl ToExecDB for StoreWrapper { )) }) .collect::>()?; - let storage = already_existing_accounts + let storage = cache_accounts .map(|(address, account)| { // return error if storage is missing Ok(( @@ -349,12 +351,14 @@ impl ToExecDB for StoreWrapper { let mut storage_proofs = HashMap::new(); let mut final_storage_proofs = HashMap::new(); for (address, storage_keys) in index { + let Some(parent_storage_trie) = self.store.storage_trie(parent_hash, address)? else { + // the storage of this account was empty or the account is newly created, either + // way the storage trie was initially empty so there aren't any proofs to add. + continue; + }; let storage_trie = self.store.storage_trie(block.hash(), address)?.ok_or( ExecutionDBError::NewMissingStorageTrie(block.hash(), address), )?; - let parent_storage_trie = self.store.storage_trie(parent_hash, address)?.ok_or( - ExecutionDBError::NewMissingStorageTrie(parent_hash, address), - )?; let paths = storage_keys.iter().map(hash_key).collect::>(); let initial_proofs = parent_storage_trie.get_proofs(&paths)?; diff --git a/test_data/l2-loadtest.rlp b/test_data/l2-loadtest.rlp index 8bb710f29d969513884ad20cdd4db1cf8867aec6..b40613c800f9c6f4bf5c1d2c493ff69776f2092a 100644 GIT binary patch literal 200051 zcmeF(Ra8}9_&0hsEhQzL0@4lA4N8M_Bi-EyvPl7@Q*zRcga{(i(%m7Abc2)v=QrLn z@V)#4UR}P{hEHw ze8iJzTW{*Re$xU-`xG|jJN3Owf@>_k^oWx!!#sAwzRr;uOq|#}m-wy?1EL+?&Q_LG^PAZKbi@rTi z@OWqC|9{))w)p?w`xgouguJ6&^uOAu;C~+U|J_E+*#ZCag?z6zO29&eMV=ta<`6`- zpN$yYi#7Va&MIetKqsppY}_PG@qgRs|9kCo`ximsf{?e!;{R70mENa~X!kf&{}0VZ zmvFFX7qH@hwWSU1ydRnr>t^zLr1edCSjpQFo_1;){Ivy!aaN+y2lkOHZ+K?TIZ@&> zT8s9aI_|$oFMLsO99=68SvF>;mc-$~h<)VwZ-nLAUfy-`JzMK<%-;K4EK|{}a7*347C0=K_1~7=YLU4XPS4fC;KccI*g*q|n7DJbfBH=j>T5 zG{>9PvNUYgC->=BASMh9v>6ISXHoG7#)o5HUoIH9?y4C_6x%=ft#FLGtn=Pkh}vTr zP^_2}h?&Mx$~+g39%FYQm56@es7*d-3X)K*Z-+EKcvzlOe{4 z57lg`$zD{8D;Oveg`0xFwP`)^nr)z3U~4k?$lPX60~ zDuI0L5}O93>I?U+E<{I#WAfgnbW(52YO!7~T={gNf=;w3sod;N?;)=OR^>R3_7dNUQi=egpmkY4t?KMDmOkS_Vk zd9_kss&w;8y9K~+S{`O#Zgsho*yVj99!G=$2!#q%_6`}$%wjpUBb7}?36T?r7_&Ro z)L5$y+c<=74?#b!E;8lsqMVNH;n7%&!X!C`s4-%;wHAqoA1q=&LV5+%Hj@zVhe#CG0%291=1aOJ0=Uvt|e#wKK{}>bJ zDk8GPp?e_HT`3VGT=o`|QsVw71f1+hIN?OQWU7YHjT6a>6$rz#NSxQqTi``Y{J^MY zrvlcSa(}OWS2l1l`F%g+(yFTz^Iw#n`A}YP;~PhlEnx5vl%EF?*QDmpd%>qUX)piq zEFw4^!-lNZyDZAl*2+#8Oaa5g?*+Buzg4+fN8h$<~41f2^8s_6=k5|=Nv;<3|YP)GM}(HxG?8@ z&CMD~XZpvKj*+^SewpqesAuMoJZ8-R%Hv4!GBHmaydk`GoMEE$!Fuj8?a_0YB|zf6 zuYmV@i7ImMDFxs66*y`RiEXMHW+}<=bFcGFcbkWxqowvaB}Ag{lvfNpKG{f0THc7O zlnA|@FnQ}a{^s&Y5HQ!}5sP@eD)$jM9!Z-@@jLsIYcxMia8crsPJGTD0QV47n7+MG z2ltndcHv8XtO?Ho2cl;v(dTKS61Y`vAHol$fHq%yJy&`g3Cs5dlv3dv!Y`DG#fzSO zqEmF_!CJf}LTfF}1*Z6kXkq*NaH3WtS<;;LEj&V($G>C~)|tdl?}xtYSQsfLLbP7#H|<(V3S? zDhU6ph`@@2(hKkc%*YmgAL#mBSBJi~E-V|%u(wSSit{N8U;Vddx6lK+7XsQe3!}7k z5i8lR$1J^mj4`=OS8U}z5hil%pSXyD6N7JQRz?#wV6Yeu%MhTPy z{+M5}?H|8ABq_zJ3s@)7!20Wj_ZACX{Ai(P6+hLeCG=MiZNy7GBox3C{IqNoI@mO% z0TEhzB-)UK?vsXA*+}xE;Yn~X7ex5}CyxvqNBLYvAL;fsP>F?qnA<;SHAq1jJP0+=5qv(nrAFok!P{A3&=X5D><o_x=N$@?dTfc6YwsnO@>&z@0Y(f$5$M!9)2 zsZv$rXu{k3;Y)$(cn^SF)3u}Fdz96Wws&g!!q~!pweD*(?3_$eD%E3(ZPb4VS{o#} zqKguKG(kUX=AKk1IISD&$>s60PXPNT!`aO=3b0g4^G!}RE80E7PZ4@E!nq5}k_ z4{41bF^-GoqazvwfP#YxEssw#Z3fdLQil7Z5D*ZYR%CiQ*aZ<)F0@>95GDSAwB*_^ z_M@q|y(zR__&azKo!8)i9pvHvy-wNK()N`cvPIDENwz^!ps;9U=3I#sfm)DIO6f!)uiDqG6%pM0NG^*G4K)@_g1 z*;IF|Yhu?35t2KZZbNGL*o8M zX13z{qYyxJyfA+4Jxz&smQ+5l+p|PmU-Cme4ZmO2m2GAAaDD;!U431EhhSsuJ%-%y zhuhX${;rB)9d#4@viq)}#^B?FmMas#&W=5>rq#cyMKjRa*1LbIo^zr5gz{;wS@e8m z?i&hVX`gLit?}TDMc-9fq{e+whQa6Fj-?HQ7l+?vIh`~5kfg40MQq-|QA-|y(K$F} z5ZX`rLh0LKis>3dVS?An4AZ~~-&HI94NG)#OosYC4u0`hk)thltLt*JGe32+%|DMH zf=)l#6jLZzkK3(*rI6og(ZZq*Ta91D=+gh_bS@?HX$m-JjW64p^^bpMrJ z?9*4t&QJ>>1S1B_3sc}5%eR`RtE$lkGfpY*Tk~#FM4g{J7xr8-2Y!>J)q3b5Xld`1 zWv&KF-#k1vONpoyu!RyVk#=!CRqN@TO`%`^d4CiN)O!}PtxYOkY4!WLeP)pF`?i~PQm%>+ksme8 z#C$f&1~hEs%w$`M5aT&l+?yTnZQlk8xoznAEbtf~dtVeP3qAy`@MXT{<^QYsHL$Pe z^mtTGZ+*p*^L1)^&G>BLC(^&xKzfHDV48EKyW64^E{L=Up;zOn>d}qcN2-V7m3;@3(?4@?MD2;kk-aB9( z>NnvZ^T^<=LcppyJW8*?_0|1RC_r}|FNL$;`VsYo_~Y9zcJk#PaecA82nb=|c_c-J z!;Ap7z${cpue*R{CFIZUD{n-q_L}s+?`4&#pFAGL+|RFn2zv3^6h~ZCP02HjO(>Oz zHw=m4yC~;#xv4_z&`JSzzX5=2;!NvPZK&b8^h4JX1X6#EIbLD(xZ?WRf;6Q@VpE3DHJ>m7< zXZJ@T;HjYP$ZK~AEB2=2L&vYvdhfPWv#>5YF9zwjwz=K;(g8Oc$A9Ub+MIqJ>=pZ= z$}3O)C)4@S+m+;j*-8n4IIjDnP#`y})8!fA&Yy0U8!B}}&$;)APSmsLiSQ}&lgGjP z2Ppvio9NGH#u^;2UJpKRHZ3LhPq>0=vhjvAWs2=O^pD;=1f8?kZg}pTxYoQ~@^L!Pz0m}1iMyza=CeE6=!Ngt+WLRGQ?XCw%)`271e2i4aOlyU*;m=zXqJa=7@Upz6nL9Lm>lB;}>g zKl_Bxd)&K z;4{T!y2+U!lE}-gi?C6HF~tnMgTcl+!SheASAk};J#gzy^4RvSLnlJ8$hvu+W`$$k zeXbEFA+imw!hj!fJRQBRrZiT##urA~gfGBJID0!`-V31(|-3y^c;_|5EUW z(%^CXL1kqRU-*aZBb7+RavfGX2#~Y;#3b)D6T*A7cE!=BD(XVm)kp5*m`t^qEGGt#JYZHJfl+-$pow=%9|9tI?^q*<-U zZ@H(Nw6;`svri;zQhhj6L${zhC`%_>ObJH$8+{I9^ho zh}8~efD}FfG>DN}-tNSOAew(?CR=+SL%jUP=V^*s-1>)`2Q)7fBrHY~ZqXz>Q=h42 zXMFkX(I%3T0)BFf)kw+L;w#;mOF)#1`$~bek5>^_@!#SI$kTRz7|&AO@Bij zID-`T)Q6|&v22dVK{F~^GUhFM_eO#Ma$eCIzULE_R85L6l0;^tvysq49_1($;H+Pa zh(VB@fh<{iC&8-|bHyZClVl{ije(XmY5lz2H7>*eIAXn@s<-If8wmo=x8?-kW;lie zKKdJ)uBfXGSH0j@@!4IsP3tLC=Km@NARpU;`tA3LdzDAd3k6@UA=4~*V#mE*bd#cf zG>LCEb&K97DZ*H*TfN&}0Xte7!t@ioy|S>C?X#aE zdulv_Lst9Iik+8aFh18cg@>9&B`5a~l#Il@m^F8wQ1#S=0`L3YcJifs;I>ufF7|4- zh&RHnF<^t_82w>zZ=wJsrU^Xxm>B(Lx_aj;dRHdH=l3I~<$OK9aTjfl zzVl@dNxCEYCfU~!G0RKg&B;j7?#ckVMyo75O-$YUW8Z*SC1l{R8>3In=R-fAyC_giNNEgX7exIMQ$v<##zZJ;1eMm4sM)Tp=cogW7RVM-jy>j?u@H@@mEsaE}jC> zzs2Bv##B`5Dh0*YMzy(2+#8>YssV+Tt$XL&&oT1p&LSV95`O?M&oyk^<)%QdUh-%! zcz)vSJs>(P+YdpoONX^6bwA=r6J?cJZA8jx(P@MG!>>e~?~0HtP)G z=?1I{Kb~Fjzd10#)Asg07*+Iv<>M*Q#o3AbKCAMEcXRvx=znKH%37J7$w*&OqAq1V z->?+<*zC`LMGVYGy%K}DcD!T-Y_Cbym3pyy&(XqvG}ti61-@H+s*vg1sURE8KLUYRW|__=@H_X%V(>?cbX@Ow(Jb?&vFSHkD>(1dJBh&m!F>Pxa(T% zR@Z8B=gi0Tn)e~Y$y63d#EvRH1XbTUL@7`uZfs#YaN zxbd(kT~ew#=to?SA{8zO)p270w5J70zf6FX*#4tl_1BRV^GB~=irn8}6sDA`Ok!myCtx91NKvvV+@Sh)({jo7wA zA+aD>d=XoWqR_lZ9<2M}-Lt5$`=d}$W;`6#EWxBRnHTzHRzz$ok0WTqu37_ojH~yu z1OaOoJUaT{k188k}rqYm4v?}2^m7|7E zuQfY(@cN3#k*RaOtv6)Qpgp9#Xe&Km1B9bTV$M=)U6l#qn?sx1@yo?Ao+!MVnKvKX z0A9as4DGmcLKpElIvfg})o~7lUqSz5^jU0tol);KFStJn0X2_34#gb3iIIk6% zkwL8H6iIoGp)vvmd)uYGW9Kb;_e%x}vbf)^og<>qiayp_Kl@;qb?n+b6>XFig z#Hs0u0GK1b_$>Dc#Y|m3bqF|Q7!ajd#N3xPv(YvEQ+LsdvvrH!Jt-9Mnlf!W;#dkA z*08Hb?&g^YcCy;CzW%VLi?YD>spXmxAUNxl88U_tNdY=)L1i^`mLCoH$6Km2{!RxY z8$3(ax9EM6vJv@HJyv$NO{!BmG{TKXHDskb!@7w$gfU3unXVSH0mSaf<>qalAUAuq zX+dwAh=9KX!4rl{I|W5aiuNao54g)f!TCnHHZewDCABb-UI%8pn{sIdIZ~IE-TO#+ z`$|8WHGoqZHW)?yHxxWlPD+cW-{p9=thh?kY)1S%$0>VF_W@h@5RlpS;v;0%PHkSm7=GzUTsftXTJ6P0r_7Y({VFOmQ4{=pBL+oX3dF9a;InAy<7S^B)L zM`J|M4R=Uk6+l$VF09o-efx*Glx_sr{)iWw@2cP}aS|xoo1gFEfa8VV>z)|d>d8TS=Ifh)rzL~XWNOsy3$p3N zM=?fqmKTQkWQF{Gag}WqK>>yvx9EMww0GLg1um9x&(gVsTvYOgr@zD=M&+?9xH9L` zjo`ze0BTwcrT$Q;b~>u?W4~d4*4E)++AHXVWDIq^OPt3j(k*)T@CI@8F_KO zp5AIQM0ts!-@Q-L=Bg{zf`Z<`uKySYyxu0-ogWv1kT?gQS*5{##@Ji^+N8;%IN)Xb z@h0Uu{Qf8e2wch!khKy^wK}s%MVOnhKQ@?Djoy`0^^Us`%Kt_z2v~n5D(ZgO5k6IQ z!(*B!{-Sv7WHjAp8Y*AI<{hRz{h*`@rM`3Dy`W_$fzGtwQ81TyZMDG*bWV>)ued~n zd>Jo+w)G>LAPpD&fDQ67!Bb-d+nN*xh1L)5$5;j-hK}21{gp&ww9 zA#Xy9dE_|JP-pThirl4GlIjd#sh0b+bv&uHt|;Cb-DUD$s$GT`YC{{7b;YuS!9kU} ze|e#Ro)j+DQi09k8?%< zV%sJbO4YoGY>}p2tp(?`=iuBm#bn%f?G}pII1-0vw@L4Q$v^@3QyX%;xv7B856!Ew zUtEunre(P{u9Q2Zj)qa2Z0N87Rb&7@M)408SeC@&8ENZphC#b{XVhii%6gXZ$*~bv zAA)YrAV!L(5SinkELA^ary)78z%S&q-&V``&~g@q`&19m)%=ORG+4bHOr0)t;t-t} zNZ~tUyoC88R=p>K+?(3=5Y(xso5g|1zGa#^I`$w+8RL0T`C$u1%(qewn)tQIFZDoV z_=yW6GF#<{uKFiZIDKJ~w5n(7?j!=_PJj3u5>+lAf@-^E){U7VhWV*z9lE-8UzY8`QwhupaD*=vSx==&UzL1zXa01H-hD=b z0NT(%h)1(P@|(UV`z&Zuuh@c!Xl$0lQjZBPY0Q~Mc7Toyv`eE=PQVmod|5bX+NUm4 z$M3ur7Q;Qiz9@gW6Z#Nzx4bDjx<|6>CG{^mVitpz;ui<)e z@5M#H8cFdf^%6Fu{yfma6W2X9auPpDAQG?5<{>CizZacD_0#0fsO-Y|ClPPl^tyj* zm8c-oRqHA)TttfixYiWCRgalXTDO9t!(fkJ19)}4`+pW5GQ!Pn0#5nc>ktY}tj+Wj< zviZeA5?K5np$mcr!AyA67uxuM8F5*dS*W8cNSQiDb^ZLH}9=ZL70 z@{dLe1k4V0>;_=?yX3FsNXv){{PsTk0X~U3M7((Om&bm#q$~64BfFqm^ghkI4b>on zjcy8HgLHdHg-OQ8`F}M}Al7KjFxNYXdyHfPJXt*xq?8DeuCX|X8hvQ;#BgQpRm|RX z`TN`)GhHSAJC?Z*dR^r}`X*SUE8{~@!JCpmLtIbzdTe~Uu+8z@6^M7GI`DlosfsO* zG)|72!xxhxl0=I(HtPM2jF?oWGw7!rMeJ=-*gKzyLjmH)L^jbFtF~wEG}UT(0gAE- z-HXf{+-80lS&V&q*U5m}6!tNvJ6`OnbgM^`Tl|8?*s5HTOfJBkDR=E`HN&e;0{tXfGb9skWgy-4WPha!^bu?#( z=I{p32-`VfWPU6JE(I^6D}~3ok2SCo=U+koy|{9p?(MOY&@7)F3LO$n(dl9i%CmEx zJWSu{EDbq!dM8n4-waSG;B32aURosci5hei8KY+xm|~cj(f?wy;NZjipfoO1CovtJ0N6mw zix8U6s}av{-!!D{vA=|&-rw6r;zacu^y; z37;>kGU-xn3K4M?fHE0zGt4Gk_Pll0@P_6EQe!;?iH|>4*6(`@ zFXx$StqxH|70AE$g6@Ob9{xe^rz#RBup`dRwYsQ%!!{ooMJf>vhc;Fg%~`+>xZ`=8 zE>!b>Nrw69q`*sK8-&=;^8OfqmaOUaM0w*k*+a_vobYq*s;_=t*3CEbi4qqT>Dk$F z%7WI*8gzzpXK^HFfC;0T!)VXO?{&sSmbD&$ADA?tDd9X$6TOx=n`Mra_7HS}7%Ci@ zk?p-Y5}QPT4|`$AHg#k_#I+Tws+dP;&D;fyY}l-~Jvy;aq{OazFYpehrYz)!VXL^G zJbk|=9Dvbui{5>5fC9|On6*@0L{a2Ut>B$+VOil(1htJOE2JJexU_W4)YL%lMwyd~ z=$$*(R=`iqtDun~-xw0QRm#)34%wr%KZV>6LHR4pq-oL`A0z1^+(_UycfgwzT=xv1 zHyr!*Wg#+{z4c0%|XCM0IrL zBDbYQ*1{yNh820U{N)YNiI*umMy8wVMi|S39`+jk`@J@dx#N$#)WIRXxTbpk+Xgvd zh;Qj1|C#(fdb}W?qz=>d4KcFn_BU|}n7_D@lx7-*uKd?;+ z@J27mf@|6WAFxXY0ebqlT|DsQHRFnM6FZ5nzvTtl4y$Cl@*8oAB^V43o&f$uvshpM zit~e;vB$WiT5~&(10-6Sf=%{3STu;uJ0JAQYYfAOuICN2QF3mznbOe?n*q*D1)pp_OV@$`== z6n{7_e(+|wY+Z2a7QK7-LVzPSG`tScH{JWzNP&krbD7`~*&iS&kD)bv4 zZHYCm7iLEf%K_WGD_3d97!V;UiMt7R>HeyZl-@2Oq_2FzW&}cJ0i}6`o z=O@{zMqS!fb`jxOski9e#}oqcQBAPX3_)=NOw9z5*pJg`I=DD-*U3#U%rD{R9{Ne( z`2>%ln;Us}5UTPl-9_cptg{rh^5+`xi*KGcr>f`yuX8}a3$%)f7j%T{eaNsb;gWj< z#o6=rX5(<(LM7zxwdLp5z=Vcc#J{Nu*`@-!T<`j5%$``eE{XJpi);~-Ge#N>6Yb|62pT)7h*7zKMtOVp0*U=m**6&bpc22o}v$s#G z*zW32FBoDH1XSioZ$5npT7Z1|ta{L8HZexI;Ii!t1*=bMXi#oIJgul+n+AuUG;n|z z@h`-YbS8g!;#=wdS&`lXQ?MXsx^1stmIJ;t=iipYeY*GC2ecH96Zaf@I2D#h=NTE) z6%x6q@)2Z!+A5tXZ2vWIoPa4w(Hp&ZzZT}SBu|;@nWS_wRCAiNeyUQ%`5pB^TZ7-0 zHT=XK8{Ju&GoGG0ROq;AsxcIfH4J4qh?|48`fb3i_1?VV6b%=nsXMPj(ssH~Y)M9( z?KzGb>DOp}Wy*ga74Or%-pLDN;eT34zFie&AFwd(5p7zx#MI3QWc^^j=5$J!0Uobo z)(kGNjmWi-)#f#Dg?f&~+Jq<7y2Nd=hYvnwoa;mfS$h*o-5%MekEypqD*oWlTufbyIs-QRIS! z)6zI=sevn1VPH>;`!+!X5FWOx`~L}Gm7_Bod9_!ZT*5i=sY2Ts*?tV}XG1dazZXI8 zo)iKkS2H5u*=^RmIb8+9y2&)Pal=3V^iUo3@2-hyqkOps3~@;dimHAIwvxUg6(s-f z9WQ)yFQd)4M|}_x+9#lP|2FA;P<_wA{-Z){xZGo<)*+Uisk=$nn!vAKZyO$RVx)gN$3qNel^S9@_ z>x~lXY1-^4DJ8y^7gINai%Ov10|INYYflmmrev9s79zb2Lk_ux?9miO*SA;8J1hN79**Cg<(Wgu6(cW+%i9oChiS>7|& zc59f})p)?O+VT#+{s6LE|5Qe5x(m}(L!8Q3F1!;f`0d6rgx ziny+7{Q4HX`!*c}blC{^3f~B({4j(+jMsAUmT1=woLM)Rj-1!}IS2V2J5 zD$o!78r3I*Lno{HhzxOO=7Poqhq5t`8g9|Mmlq0JHB8LB7%5Iz5f#Yd4^2kv9HhLG z%J=bXzU%ukxKwWfLYTVvH?Ja)Me*y1o{cR%UVfY49f8+K%ly(%$^FH*Kleu=z<5u$ za!YPv2}F9R5Q;=J8I7%^Ez*P;sx2FofBKXP54_hFw*{n1)F6i+@;xZo$+zE;aEXND z2QRZl5<8CurQf3W8PoChuMI<`0{Jiq3Gcri@RZnB{z6gw+P3s$d^Nyz8p{P38aN5E zWwniRrB069kh0UTN+hPgdc_BrPTq3r)LnyzpsAk?)f~Ikus+kSamTMPoEbV7ExEqc z$4%2JO{kfd9tO|RY`Z=?B+)DdBC>`=FcKfoR%g*nPN`K2hH2oSBzJuu&#m zRAw4{i%d>wV!Qx89>ZkPc$FlfjbJv89w_``n}Q(O+Ca&V}YmBSvL@}VdlsPoX|e>H%EkfxzZDJgv`1fTOjc3 zFUhlB?hT{+qflTeF{vFQ+vWDQX3c6ZmsT08SfxLxKol664iU5^%KQef-y0vzzR|Ih zED;=oyH=*G-+m=pSg*Gw=?4Sf#(iM;5L6=-RkED@^~=!79YP)F-VeuK`zj{FT*~}Y z%O@MjfzCi9=hMacg-E@Nth9ZQL%djQ=ev}KPE`fh-90pX;?uZ z#4>3DV_DK<^0hVo&EK^R%wq)-JBf~>I8G8h9CT1d@YjapYc zsG0j#UBDB)m(cR^D;=^1X&z1*E6%W4jdv@8r*8Rqc=!!Y`oDKF?=uaGV44b1W>C;x zwn;ki$v&!|q>=lG47X#0unNy!vA#(J94lbXt7mv>aVU2vewz7aMH;?cM#_@Oan*W% z%`!3YZ?S!M6ap0DqVudu4MPd+1Zde}5sq-ezDbTF-ypzL!328eeOw0ea98h_O`<}P zrFx-69_hc7GvAvU{#30&b8L(fI_J=RNO}9ExclR=D+-as6LcHo*)XUi8~b~0J0mZs~4$;ml9e3F2N=LmPL~tv`UP^J@b1N>x zm{%Ls9k=Lxx|d^e4u-{#l!Jv-tUrKi*0W6_;Ok#8 z+VNHTOwH#no<6c`byO&J)Y3H*nfwKNe-sL)2T_CqEs_G}jpRu^Mz82+o9PAR8Q(hK z`6$!k7A=l|w}rcT&mRfx8OG@BoCjWerv~GfS|+#tef3l35yu?H)h&9TOJ)JiW6d@} z79vWB&Om!^`0EVe9m^OuonhMH36-(a@EqWte%6PCN`mz2MNA%2U#U;9TI!l~3J0&h zlkE`=ICr$+|6$Y@;y@`b$y!l(eh7g-t(y zwbv`u3G4lRqu~cA3ED`{`j(Ge`k@n!V9l?&wEk39zXmPT9`xL=ywCcS%kAwX#e zuV2T=Lm|O}Q)t_S>cg{Ahw=6~6ZTh>;$CQy!xTVcO}E#jVUY2oqKl}k9%5hvGCQoO zz$A-&;Yu|D()GqeP`Gt`Yq;YyJTR}tooS4v#Hb@+eFP_g#iJKLkQ6<*2}DTF9V~tl zsC$O6cilud{P&WB_71mR6h&|`&j&+E>VK=jyC;PLnh~U%O@~B&=FPZnL{S-RoqP!pGhk5k9C;z>L5$CXfa~PlaI7w(-6HO)8vO@w;qdTh; zJ4ZR~5x47Z=11JvQ9x0$f&CpEQE`kbpYqrHHtF3_C4<(HOwE-oIJADzFhEGmJ^kj(l5SHKQ9yZr6aq*c z7O!@>Gbl5tnj9~OqYY4&*Zj^Cq>4m84wbWUCY}LX-nJuiM9V%|>?nbOmp&>-o}sHG zx^iZ;Yh^rTzE}@<{uBcEl+`qmUmcG#e?Ow&8_UMGo||$;Wp!|-PZoctGHWvcJSI}Q zB%afWjjo=jgf9Lq;h_6gFAcxL@F7{{YKuKk@HXjvx_4UHSw-5Dqr+RDUKjRVPLALc z*#&#Ju-=@vRLXyJlGXrOS;L2j2+_<{p}w-x?j`<;I&;iuS%Sb)f>zBh2QNS0AB6z# zY_2gm0>=xF58gbskD)7XK zMmNfDM7r)V&8V%J)83pmL>Cx9P0_s!$bHsC=2$&@?VQUR5RUrtB#F>;s(Glxoge1tLt>+t{w;c+ zOC|=)n|*yf=|6`WKaB2Jda+leeT_=It%1#~Mb{mj7z(_#oO3}Wt8einLCC;vCtJ17 z!be5A-~ig>upe5B(T{J@yO$RNkaEUh(sO*^B3O$l77jifBr`r|fn~Zx$grZq@2Xgt z1MXIIQSyW6@Z<@|-_NB5Lu$UkPQ2)rXSXJnoy6lYy|_j1la%6lq?DWcFI)ZB6K`7M z#G-81Oh0K;D8;+Ma7w;?jTQ*Z4d2H9n2GGg^T${Y(I6Ty(b#jjU{mR- ze-r}TGrACF$Jwrl-9JZai7Btk9xQ%=h3)QE6x!W#LmqzyJl}V?oop{9dtpO*NrPdm zugwmaA1jrt%RA?r{*pWqxkc~ZNKo)P6vOh2Iiq(piY7N`T&OpU6C*x}lBVt=;=7EH zw>%Yqogi#w(sI4zuy_60zZ`|!Q$1>bQBSDI)8?9~+v@ahVRrZOLI5gEc#fN8VpjHl z-&86#(Iib_1+ewJX7Oz^B;5rpK zXpKVGfkp9_P``3+LD@wy*1%J)i+%XSClYJ#CSPwi@RQEO#NDEIzhof5OE_orBH!}3 z&e@J@jo~j&+^XbvL?Uw2-+w)RQfZBH0~xx~Khf)RNd-Bl2MxSTdl{F~+#x$(`6+ZJkA5-JB-D&+c>D|i<1p?~S zIo)#c+#U`p26lmp@e!TRP2S4##d+8?^7Ydi;sN{3L?X3qZfO&Gk!tg@)plHWfB5WI zULGx;$9At_B@%DZyC;Q$kc63F?QdR35>ynb4XqQ_+H-Q}Y`n+`zD^z2K3B~Cz(?<# z-6Vs=-BUOt4F?5kgIj$or!Z5ch|CwIC0*!dmJT()FN8!u#`i z)tB7(p}m!KVmCseCBSafu5y<>ACoP#j7M+UHP+LSEEa6 zBDO3vFNGOPJEI@)Sq1_Q@{hw^FiBy0e%j=XImGjR{w(0TBdmr= zK0mLQzjydv<@h+ZD*q-2gnZp+X$_Dd+f~v5He_|;{dbE;ZsognzZ#DyvJ7V*v_=w| ze|dgIztovw&Exr8L&KAb5YU`oXjOEsPE#(jJ>IeS^Le%cs$NA*x!P(mu=N9r* zCTuxyrq1};Ar=4oy{o(5+Mr+rowmP4nZNARXZg_biuFgNm(Vg#{Z8&ykX^mb<}YU; zV)&tiw4$Eis}`Ljk5cTY?4UV$pEfpoBUwJ)?=5+~Lt0<0iY!Zmkhc<}tZiFfbE7u9#LCh~iR9W!c`Cab*_1Gkq9 z+&vx?cg$Wsi0Cf*Fq)$_hN^8ENMcgfS`yd&Qz!i>f=83@46v8f%aNYCwtlhjRP(O^ zzXuFTHvU>bqLYXyHABKk{!RFIZzL!PcT{H5%i%FuJFq>v$bWA5`q$rMngwj^XMQ+; zhQ;BZ0+;S8M;JSmBl$%*-sB6d}1=VxFn+=mXD8k?a3PBeZzV9 zS0D7Sq7&G70%1Z@pFa`Q8%Q>>Yl`!K;%aWPSMdar!n?T01|F+A7nfLl%Be{%vapr@ z9EOWxE+45$mBJ~YGUbyLiF2FuJ`=u`D2$YlJ2ycGA=N@pG0MeX2grN2oWDQc3+qS2 zP!`63m#9_y&;g?k*lWH~-{qoykLumN^ub`ZkSu`-Z?D17Tl79-N*{%~Vb&kF8Lx_? zD?W@6m_4shOw@+iEy;4dC33nz0pKp?f+~!0YbXoOQ)G6|oM;pD2U|Z_pIt|B$-#WA z|94V+_v;h_#Q5W`%S+`P-p4qkUNxP#(uP!(W54FmEsE7|nkb-c2aLL-mfM=1OSm#I z2p+hl(Z`z&sVT-sQ@o10Ig;{e|IquC*HlGyj$j1Eibd0s1Vb5di5ZEY%3J8&uD}iC zSImYIEudP%!>vk~ce)mg=IeNZ+Rt_3=QUCH-kJq3p9Ob1JNmY~_et8UV^5E=g z`~Aqj6R5k7>3<8ew{9esHE@Jd)jHU?Lf-^1<)GhpAN^$8c&v){u>`U%=kvh+wp!~Z1 ziKEjlA`?wn_bqz&MuGsU>;PNz0N=(;vI&hdqGcVKWvIqYB30|l+Mo^`R7@=(8s$yG z52HSgbcp7MUi+v&H9~mH0C#d*ceeXJ~AcZxe~>=0d(Qr5WlH#;DQ zvygt4Gb`l(`;uGvFL=W;NqG=u&|~UKQ@D*StXI=B`qio`gP!v9kjekU*;$2UwM1c< zpY9In?(UH8k}j17={j_Sq;!as#HPC&1WA#W?vic^Y27vWw36v^==KaxUE{ zyA=l*01W&V1O3&ql>5Kd(^sP5s8MPy0S-6nA$wH6hedGcA8X8>J~)7Yh)z-BH50sKk(}oNN%KI>KOnFhOiky z-rIEZ$D_>WD7AduN;zp8%X82eTK$%abeYU$ zjcSE3c>h=g^>n2mAh!y&D|z?AJN3vHU(;RjutIq*D%0+x4NQ(q;RT*?9l+UgH2i6l zra3JlYE}e<@XPp^yVaPj5I+^Zpy(9>P72t(Pfr;TaI)ccF_*nn?vmRZtZ5@6$W?JL z(ye*D3!BGVB4i@c0_eCH)Hz7O9#4NqH=T#}Exv(A80owGasWutEqz;ddqHUs2&mU; zP?E*#MM{=~c*B_$1)r@;`zyxFwpBffrE^TF*aLWX_BsMK{xEbq(oJG7Vx<}_Hwn}_ z8!U_URk2kdDDFkSbiSV_jNtvZe%{Q0IUjsDK=jQMH7_if0dxNwLk(SixhB9JU`>Pm zH7atgj^47#BFv6(%Tet5KZ#4OB|-7!rR-C%d7ti6e}F{=s(QDW|I&%BBbDz>)(MgC zZ0Z_F4m0_{&&m}iX%bMv|6o_AiPZs9K_`q3>&ESQkLufYeF@5VEgwxzuIc!E=z~v5 zc?_mg_#}AnA=15K9T)pxmdn~jk75>hkp9y>_elWo--`UV^+Ba+gwR0+w7$(P=MV366p45CdBO*jf||5yGC-#uNCF1xt?}G z-zf3Y2gaq+j*|eT6bQJXq3Vd1kY&mvyLzEo{bVL=`Qwh>wTvI@QeBVNd!I9jqj=!( zj9(wAF_BtnHSh_LRIj1AQX2?KH6;t^C!csHJm#8PTC&NPpY6y^Ok;`CeN<0LZ-^X-#2XDvx&2H7Ozv!7e{A_`2Cj8i%?&(TF zfcM6h5W84aUWy!jhx3Q*-M7t&K7|siuEHO~3)1b!oB))IPRoVebQMm+(VfV(63?QA zE-7e|OJYrXW;hlk+*Yu8pPr`=eg8k5LTQkUzH77B-55WJ+6)%#tVW_BY#f@>`!79m zL>hpdSMA}=$kKlMU!w0192&Wp5Bt46JO?y#8^maL;XCushx!8(M{(*I-}D+pq{F8? z7eGSp=Q$l{3X+|ciUC~+o!fB$9a@gwwf=_!J^s@A4tB_Nebii;(Am}-s7=Id>p;5~ z?ZnaX-P0&^0>`&wC21$E6Bo4HEgB6v=Wp4ZJpa0GMDzi!1gWL0VpVPp9hHJ%tVbFX zcr7+$I-IfagzI!HF!VexQL0HHLd6w~%rTH-^h(6V;7B)CpN5_%{Y_pn?ESr896P`e zO&_CFEG$hxoGznfv&>i`9{@jxT5X^;?G@~OX@LudK0S~gy2PO=xZtBSARbR=F^zy|UuR13IEkiQa!c z6a?5eqng9XIb~X6sm%x)<(llKDrH2fy1~AzK`I zUgWWS`Z;-u+0kmEh>l?x^eLmM|BBApUuw1d*dvCgtrnzB#RicHCt^ z-#;{5G(k?#N*6fDJlUzv@rtF>Yiwx$TKE746bg1Hsr2LniQkFuC9{4Ao(nN(yb*HC z1OmDtcH2x}0`10|Vyq|7!W?syJLwBf{^R%KU1eis`MUh~VU6{SQE0$ConoR1r783f zOPnvQQHBr7XjQbWC+QtzZ)<0aJmljf{v4&!GSVAp8lU}ZKOct@aGx(7L8=}8GpuCt zg|C!aWsF4vMBu64sl`-U;f6!U`9NFtvtgFO4*0Z?iGArKj4{-Xd%jW-fTr^+mzYPO zMl0Q|+xSM~=y+{oyH@^a=ffxRo`2KF7=RU5NGLp^Gsa)e0-gT?49zL*{(u4n{}vpH zf09I6?0E-K8-X)HEQ9qs1cW zcO)`57Nr4mR@z)PHY9Js+%DjMpTZqrA@w-5J;%KJ`LEtrv{TFIzw1Oe`c`7N9TIvP zHA=857rNcMGH|^HU}fbnFYO81FrFA?w2FSbLTWaoMWaZ~=;!`V>T0ic2(0uuDU%hC zHsn)$2ADS+k51m!-7N8Nn$4Nd#X;GG5>3rwPXXFS26l)ydFV7=*-^EEI^TJ8Y^8;@ z$SrCxc{JU#cJIN^rz-^kmV}op;hw2dG^?w;J#}+I?ce8n-%#{?*M^spKA1|m0gMln ze(K1|`^z~>O)?Csb$P^m93lyA_clw8`6W1z(+!3`M`;3V1HpBZsBmOE`OI*9>Fkgu zeQC7_4lBDaF(<{x>UjVfR{>7lTt{?`zMlT-_JsN{*xU206JLn@KXw}?W~uC#KpFE% zrhFjwIB$qN?qq7u#1G`X_&CT0tei#TnViy@4glm6J}SZ?XR=YG==Ga^SA`Nw^^jLn zKQCNaNhXWvGC#fq+G(PU%E+#8Zf_8(WE^OZ7$V|~^=8Z{KW$zCn=dUq7x0s|woKMO zsiYYqkwyHSVi%e4IlMw|I`xN+_S8}NEdNWO9}6LsI*<@k^TsJ{ha4^G<6*rBYZP!D zt4QY~p%pV(0Sj74!^RlW)Gcb&K{kr{`Pj1^O1{HVqb`cPF^5j68Zh)ZfkgIcGS>{N z>;i83lEd#@qO58CnmYa@P@iNEuPKa=VGDq^dVSg9Hm7T+MBT{rlc`G@vC7X+qMf;d zLlP_Vdwwby`kX*wLhyo0mQ_L+{-)%N}}i=XeJ(LVf!&8yy4n`@ly?4C`WpV zir00ikxWsK8NkI6sA71{TS9iyH5{z;Ip$TB=gb!Z z?Z#ydhkMUvBe1G-^zX6t9WP4!L6A+ji17gMzVSduM@ud6cOzYKMvjv0P^WVqsmw9G zJ}?#rMkVvW(5EW}0c~>`*lVPsf98ukiU^T+aB#9R4vIg)2>?lq7D)t^@__C*+s~4u z8Ix6Ix>1RU!!#w|zB^pIs`cjRSi{k^xyNF~=Rmp8Q^@rO!nzVM;48-wX0!JGc1jbv z*`Ib#R?k$BL-_$3{J&U9BT`Q4VxklEP0-PdiSwCKc2tyH4{kAxQuUdhuhbt982vIIZvp@^Od9?8?~0^`yU?aPd+}EpBvC zLDZOL!lZ1#3^li&0#?Z#>E;Ci{^3gTi$?8fmr=CnW~cJbBN=_0I^H%V(yS)y7DL|a0NTZr za*A3%%+ivr=G;KeXnOdq6eqxv+TOF(EjP9K_!so)P=CM^wd$+rNxA*jNHn9gi-s_( z*Q>KieT3|_FFblt8*gL*WaM$UbdDCZ_-i}aBnC`Hd){|d5_i-&G%*1Y@{F=NFEQ`c z?;FLY9wJfF-ORe3==0)RxpC?PQb;ks;bS!i#qo_-hF9xlG8`>i{M z>;!pa7w&HrhMgH=F!bqp>JPLKk7A!Vwf>yPxHpd{;pK8p>F>?yE;!~!iI6BWAZiB) zZ(M_{oDll!z3y}xvFr|w#E=7njLt{#j{b@In_sGcq0iYsCA(;Po0bb56RYVVkvjX_ zn4&EeVH&m+{uTHjDE+fu5s>)vlR1^v^18ZhRBte>uk7a?WJd}{d^0qxUhZkZpT~<= z&+%!8pQU)5`v}e;Wm1Uh*>5-_$d=IYBxvPq0&Mm^9eZ*Br-U5alymmfy3|)T^1{3%=j`evB;CAZyk3l7=BfPK5)XZt6GPnke8s$Y_0&V@g8Me`KTxpj0 zYb}_Kz5^n5n)V$!h?KxdE?OxUrxvhr=@ag*iuYFu391ar?Zw~!YjS?(<8C`ug~OPC z(EOtQvg!pQ+P>3{`jyV}p%gKeo_2=jwHi$umRqAGGa=AelYj+VB+{Agui*LDZM7sH zAlBc9=Frnlem4!PuMUbH!i9c`(!0OpKEe=<1uE*FHxpwA)7@A?F=l)KqIgsWEuFLX zjli4D{9Pn>w%%3Gcn>3Y)*PxO7rYUekr}L`3OVjJhZo%70|7al$`lJ+sB<03UKHx= ze2%Lz14HTW{4NZH7iic^z5W4St3o3T#*ym1oL70UJ&NhN{4!l}F~_`|4CR!#EX|MI zk)J*|fBUK1rhnq5K&-X#!d9uujz3(ErJtU~WmW3Ul0;AaEJ z$(g0{JPX|KiBPxPa>CN}Tk*-j=6w#dGRhJ?_(%AlVTz48@VC_TL(yuUnP$doI>O@$ zQCKN%z(FNxPTs@uVaVWei>ix1(6wlAGaofTXx{#YL)vr-3x+;@aCq2>BSLSaI^cgS zKJt9M1g-w@eks$BRL-sTR_w3n8dX0uV6UfyA#N}cy&pL0W)l?4AX&dy{O$O|$mi&* zxBVUb4ljXLtxe(o5ohpwpA_O6Oogfx|08n6mp1eD&_HEXqhSa(0P688g>*KXN+J(A6!bHNDTMHAS%Xt?aMwZ6 zr_8B_y|bR}%*(Jw#RZNePmx=P&=7O{^vOD^tJk(Ig80!%PH8dBV4+WUsXxHbpX~kK zl)8PRw?V*85z#b5`yRD#61BV17}Yr1c5(+Gu5z&1AXSSGPx_n|&c`mDG3_n|2WyD> z{ii3}8MDj`82X%{*9~E0w|}xrZJGIVS+UBPl~oy!a0H_g<4E-Pp0*(ZK>)e`pO_w3 z==fd3tA7T?%iSV<|A2N(jLTdYE=`zzKLjxJIdiypW7jPe#7W{*)CF$f^&Ho^QkBN! znN8#wCg*?vkF7314lCnBK(INku+|wvLFO@-5`Z09&D93~yI6GfJEx{G82TKS;!|p7 z>Q41|V~TDaLM);u<%Mt;;ePCbdG&rud23Ro0x-+-i+&qrlbiZefXqK`j2H8J{@w>E z_uq#R3s#fH#%9ll`U8z7@PY~p`orr`XdgD1w`4l}y1l~#)ufyma=xw~zQO}Agpvde z<}n(`zd$1CB9HSG5O=$fiK^4q1B7oK#)BSPNIoZ!5IW43vKm`l-A`6qKNz}z*u*J@ z=>jB|#b4)0kzwVk0Em|dOi((MF}3ghMlsII=r75;J9VHVITp3^>C{Rp#(o_W5YQxOOVe7nfbUGVMfNQMan!)vm|ZHm-<&)U;CeQsBCP%dBspk(?+ zo6s1`z2DT}#7C=@M}{TD_2OKcc~haHnca2p7`;z7F9=9P0Hr4)t(AV>&24rtSh&*( zp4RFqIqVuY;op7NL+lP%vQUW_hKNLB-!8*tl$YE2&r$Y*X3ctH_82wgR>-}cZ(e_3 zLyuxZH&uG-dL>82=Umn8CkIKJcA#|Q$4M)%8#4Pr01tOMgzz_sJ@sf`+20rsx`CljPZ@up``_C;kJ;)`Bu0u9$&CIX6oM6-iJ*M>=~d%ui7XWz zfRRjgv$t?i@DDx0COoYJfl) z@e=6q$Qvm((Yqd!9F^W7QK{2}pH?vXs;>JiX)Ye*7Y{!{EeoQ9f8JSA5Z&@Ki}za( z6te8Mm(YueysPMB_0@@bTsS-@Wwhvh#?#%8o8rVEjqbK1FB^$!?ToYD=`j)pUMUn6 zumF^ZO!I_u)AspPytHa5D}zSXdUAx9z|o>+`CVT7%;QPsbD%IfQ0(P@cP&FO(=f4) zj$0?@Wtt+JLChSh#h=R)y+Q%c;lpN@PW$w?5~x!5vY)kdHoVD|h)6^ycT~fjfZ_zO zd7mCgAi%JoeWXMhH?PD$=sTTw@f)ZbMQU=p(XfYCb5>;Dp+*COuXDeth-*ad>s87^ zoo**7V9h8{#D|%mqki~DaJ!5JhCU~d!l;ziGMWZ|t%Vh^xxCkwKaDFaQd!fnDN_&p z&uE2>3qYz7Q2*Yli~d>6r9(CPN9^#c2BYg6FU|2U=o&O}8+BmlbCh~ETd{3))aqC5 zI^B>sgBI*R9Q?XSA8P7&HB4lHd7=flU~bQSBSsH!CHB|BEYP2g)MJ$sC6)MI^%Dm( zwL$ChCD71eWH%J~6jy8Rp}NZMDqRCc-aYfVzmAf_l)1a`U&H`Z$mY&^8g*e02kD3V zb#F;ixS=pc7dXHBMrcup{{H(L41Iba`2+COT=vpz^)7apcbaImHE(icl$j-t^KadA zg6gwWaL@s0g29mktmYz}hy=%okNn1jVg%v!3Pnd2Ww)?)Nd1pf+jGqOIZa;tI0MS` z5v{N1ize}J8&Q4je1=vgCrJ|Nn);P0e1K0(S0#>-u3sU2@F#fyYr5>skH2J;op)It zGPT6?p9eD-?z*7s9I3envk^nCz~+5U^yWB@IV{f>s>k)(2FgrmCgzQ8NF~G&E@QQN z;w&0)tpS$5-X^oW`aHL#<`)B7E2%4$z)dvAFXP;RCdlt#EBiQ!KgYaZ-YAFLC^oho z9xN!cb=Es5rzH*Err)C&2hsT23nPyK8brl`xtDF&HX21k+Z3C`Wy=X?xq?>wOb&bD z&HoT`p05-H(E09ka#4J^O>b~oEm4pd|AL8RIf#x$E@APBH?Ttc3{Xq_5LG&3)%-=y zS$XFlwEaei=jVNER}Eh$O@3|B6&Wz}=}P^9q>3SffwZ^MWNRa|O~Mf?KZZFe_Gr&e zEqV%kif*Uc0lVx*oI5=I+zY=SRkB2dAE>p2X$pO?BLhXmDz(njUT^>f0zQHw$dN)w z-wotrcpb5Giq4SFCEF)qB;Lz?>LphBIS%lY@|CtZ^=jns8csxEOp#sS5t8SP=4xL2 z+;}gog8kSnT;ICa8s1@Txc3JjiNPb^3}RVOY$hDobHw>FejQXg5t~mD0TG;xADuzb|T(nz8N~!Hd~S==V*P)~LQaP0Wk%oALq9`HJPkVFjut zbSP`@x=PT+`4F8`uPZa|8cpU|yofb_LzisKV;A%11d?ptkC|7m&7)O1J+0%oGvi=e ztDx!aGp~MpkK5a=g0cbJ@}pr~uyAV=3K*rlrt3CMLk%N*64d_tBov(>EVg<0e5L*X z+PSX7r!XzD>Ckpevj}Q*&AvX!N_p=p8+^_Dn6*J}fJPKLyC`&q;G13tjws6Quc=N_ z$TTNc`wm!+v%kMiLY@zOc!*ThkFV$-bSIW)d;!6|4A=aSx(TYMo^AJ0!hc5X(jb6^ z-=y`>m&F*i)pR{Vwi;nM)f}tzO=fr`r|I>~z%O4g^y%jH2R@~|Q=a-Xxltdz@C}nt z;;^rYq&=6UknEttr4|nXt^>eS?_BlzJ7bIXCBp`@?z&(&y|wo=3+gKtFB3enuA#t7 zpn}Yuh9gAh)I{FYUoDlW3OU~v^X;>Q6zeX0TQ2uusRx+qD%5@U_w88LICbZebT>XB zYh}$utr&^YbmYZ!PhmVC3If!F1_`8KkiRN_HfG}y0?Qn1j zB5*m~?#1ezXHc^bj0D(W-E}7jpqdLD?GwXH-O`a6%oTxA6laJiLEOA6n|fVskR)6PY;mqx)H9QVR>YJ(=cA4{Z5@F ztw{)E`)E6;Hd&sXpFLKQJSUJ0jeJMpEH1qi=h1i3=PM7srOOBY?lA03-fQlVW8nYt`n>9N?vXJ(~QUlBzc@qP}o6Lg?yiK9u~FE%ZnzipY|h+vD-+ zbIdCT!BBfBJX}(P!%omb0Tm72hww(AMSR8B?fM|z6u^2XGp9%zRN&Yw@%1m{Cd7Z;W3#n z37{hT&2QXgb9OznNqW!m8+S`=a~GzwI=cs!6%)jO`GTv8{=gMUO@CHgY;@8DoPG$g z4_OAc-MGAlaBk=l4FByxaTkE^H^c%%QjufYLSA7gA$zq8$w7*Onmd&(k%I6e+71V- z^f^;o_w+(5Es~mmDa{_bglANng5~^SZOkN2FHP`dfY8_=z%?K|&F|!E2T&QCjMSA( z6gwn*tq~;Dv9R}LQLXTN{G0yt=mh~-`gtND+T5#Fm{@$U~yGix4vM z{b{!V9g4v?K8l<>ze0*$q*&`&lmODPq`Y=fJ>OQIrVEw}dv~>&9-YQ;-BhjE^MU#K|=>vln!2@{zpypm;-l&MAz4#y4 zu75+#3)ocq#eAnToR!qRB)_Ho^@W9o7YV>$`Cfy;vU3nSjs~)qUW?viB@E?j(e!p= z9ww4HCT;>lpOZ3g67JO7{>c1Q`WViU9Z@Uat7%zUb%Ek)7Mup+S6Y(=gw*z~6;3_Z zprAFIT4-P0UYgFZPQiTid!73C406hI91MMW%7B0<5^gT>@|sPe7}e};5htxy*z9Us zJomp;tYxdCJ>ju{Q}DWYELlJ?U#~TL-yng>teO<*0=0+ZT7EI=T=ZDU^P&ELQ`&N6 z|5qQGwVw;6@xK=b2}Z}DNjvH3VMdeg2QOPS0KOd(b8|WR*_-RkkTG6bYb@YD+R*?7 z^UA%8|L{%Tzvvu(BEu14!*z~hGn^cQ_L}<*Gm^Z54ZEtEUH<1JZgk^vz+O1uaETKj z9T|MJ%)X}eWm`B;;Pgs84Pw-I*jL?039R(#J_P|^sNa=4l3M>gK2M`#J;Zw*o2g$m z+MLoWNCp`qSLTcexcj#@T15O9y0-qp+&qfRjsn%<0&Ex>BcIoe0q3S)!O*As)E_`R z3K`Kh?QRL(*TK16n$p3=iDTxsXEanVsbI_@u(b!w+ttr={4V(|@%_x?gJNrm|xUO1ixtn}&7 zhi!$d6@4eh2cx@2uWPDK|I_Goy*J~!=Q6pdwxr+h?x_IyFGEFJ`Ld?agW?+@Jn!uLkR=TZ-uSy};Z(_vHjF<a0{kgsd z&6f_a#|m_L(9N6u;+=0qs#=XEA7ih?58U5>crxIFUjuc^^Ob^t(AJ?L0z5G{S!5Qq zdIZ@eyMb@0c<<96o*W@CT+UF~1_%aZb=zym6GZ4bARsrkE5nr=k!X;Y6=CkVa$O0J z%fQg5M=uDd&5TWq#Pl-g;vYT_1hmHlw%^~gPJc z1d;?-wPNg-e(3AOYB_}6g`kqs!P3gepu-J1)mktIycyHKNBXR?BazC%gqUdL{MKHojd0Eu9ZxWon@hw#BiWQE(!w+J6cY646IildPiuxN@BA5RsZ zo~Qmmui-R}84{uu5s0q^Iw}({)Oa+Z-e{JmA?&K(i!*-{c-{Qj)mx1hpH5bcT>3(E z!}%I3G9H6)*OL@Zimdxt4wD ze;718gjMV{n>b<^g|Evhgfn-xz~+5U^!nUWsC!iY5%&%FDb9VF{hFz>kpm-*rYXv@ zHR_uPwmTrarG%rGIYLiEcHAZ(e7O!7>`+twSzfB*GgFirw|zmKI0$$ZJG!Ae1TitK zOft^&%JjA89Cw9brgbk-+B)q+Llk9z*QK7*h=ku6Q@HWc5tvVbg4V!haTl$1+&?dv zWsiB>%RF7_LsuJKsrpQkGF4u*KRIl81gU7l0k1kKUj;a1+;mv4vJL^5GJ9=x)28Ab z%L@u+p~!gsXp${0KcZGLhe#wi{ZAi@UZ3OB8%^u*-vh8q37dNFC1?Uj=o~D}Jm1X5 zv=TQQDEH450W=ES`v|9>;V|-8R>LRfoisQ5iFDiWsbEW}nOntqmcc%KI`m=X5ahfz zdUbU*m0cV>MrM9~S!63i_+Jxk-D%Fa=3;y-pfsBBJ0T<0bz!_aP9^6cla1fPL{rmD z28t!ho}ksF7Yv1dM#DCOgHog1OZE?}g|p6_WhM%7w~UL;GJDgq*B~ktmf{gWDdN8` zpuaZGOI>=%sR^;Q%+*2kkeOEe7iaZMs=?Zif%NoQ1_W$GX@}@_hgj(Rz#xvAlYyI% z89W9RY=p1T_YZYc6RZMG8$Hs}VGMYwu|a)KGW)ZO95I|W-X2#_cCmCC{*sRcGf#*5 z143A;uh??9t;}VaNoTSzBB+c5)k93C3;HJZK?=te-vOz5)d3<~DOkGbZXE3V+}E2` zuFa5sjD4i9WY#@M^yI+iefls60)9to72M2bSanIB;IK&}@O;=>=c;WkV895A=4O=f z=m(6pA%~TN;%{*{A-}bUG&tbpaNC+o|7QwPZQit`A$jcI^K_*To&Un|_ddZeXRHr0 zndw!pD87v< z+q=8sN>vxmc3vc{%za*Cdo%lZ3;#Lh^@!7`B=H)Za?-eA*U9!vBxw|v4IK&8Rq3+0 zVMb~d0n8Q*UYFX4Ay9IbxX!N8hERU=hcc)zZ?JLWoLpY}DWA(Uj7e7~iihCMjG#NEq8w0IBq1aX**C+tNNoq}H%ANkr zz|3nNIS; zw`4MmOB7kQcmbQkx4-HD&u{;6&{~bOUM}T$RO+Xy5n-q9;Hyav6c~b`Pge>8OgOGQ ziQx!RC=08UnL?M2BfdvVcA6$+dwK4k{B5J zbfqAmk{;E33nAp^@6LscAY055X;f<3eX>ME&Otj;v9n=ufSFv8y>8J5pWgI~djy7U zsyUqWFUnTA1EY1AhYy3(=R^I0pxQPx)P>X$Hv87vszUGDifE6{`)x|ruOWvJ%@88t zfNK-01b-h>Y9t=(`&CWr#95tDnE0Jjx#X%OEeQ|i%9lU|5jv_E%N*in*jc?Tw<47D zEiS}tyg#C@oZ~A%I_zu%o+4q3Rn^7sTdTelvh1c>3FH5em0e{QTN0y!dj0M|1`K_= zPeA}I`EHIRS_Y7NcazkR76CDR zVC{`jcEt^J4z0NwLA}1ML=3p!6kz|FJ8mlc@l@as4EYl$pY4fCL`itaA}4ET>*#peW)`z{1&`o)LVHa3iv zSqal4dp{<4M)rI|+!6NI{tL8y0KP)50@K_%=DXnqs@Bb!Zz3Ik_HQ69a?&sZCwM{~ z9%q@SD+K|Yh|`orD19-fPA7_Uwyu(trR?LL$?3Bj5d1_Lqd$xRRfcp?d;J5f)iE7> zIrKl(gY>yX&YgZJA(KrAqt07tVDmo5r_o&PJQ=lb?b!Qv!_Z~BM;92CmRAw+KBBPn zrGGgHf&i2kV9xeGlU^0?iPP?I|8P$4QtO4FF*K`(mTmF|iXIPxo(_GeT}dB`6ke)s zBMw%E$q<>phPa7{gQTFN#tdS$j_k}L1x(G=6eoo8x)XNaUmo1JlL}58NR<^`%}?NI z8Aa0NKCY3T1ND;o`5&M7R?GdvKO0e5TJh}DR)|S2wRHBvbVq_S_BViXKYQA2^<}QAF9=T3ej`fXeH#hjN5FIFT?t8od%@MSkK{h({wF1ojtnI{NU3dn> zcoHVh*iEWRjX;vey1}Q9Nd5p4=B#hg*Q$cF4ir_zMJgP6!WvmUACb~zM!DGeB_Dl& zhQ$Xzfx)M|dEVg!n^TDx#izq3b2g1Q2m4jkomAR8aP&S0diJ{H_Z@RCw-4sj#cxz= zDupZo$M|4Wk$6hj{G#Oe2cug}N_|pF)o^`{qkk)HF6sRz3g*g+WZv46VVUGN%49404jcLQk7dtmcE2Z}RHGR+;l*}3^g>fc+~ z$xeeC&|s%XNPk`7mB-wWArT-gIaYoVK0%=vTV-lSv2X#(Uy`Say34Rvspgo}Xw7>* z6a>Hrd)bKGO@WAy8T|Q-4!9|($Fyn-?NB8yqw^S0#-{+*H@23Bx!k^^>gwUVJCH8x zp1l_F2boOffxV}Z%gHZVBfaLr2VVW%J@++GJ2E+vGr|@|a>-`#lc<^=F=6LiF9MiS zYU@!4!kmN``H(&1Wy9-}cOctHQRTO_&2dF64IWPwpB}v+03AjRx7q~3nADdhpyqV1 zA^E^LYun83Alc#{D^$0aF#wO}4s=7_HMYul%yCTTetzYrfD?>5m!SNLccOxT=keF; z(+3BCVC|TA&AXJ4V30{LgFEHQQe2-EFHMG*s%T2Q&JgP279i1Q@6e7fHz*s#qK7SQ zp`G|Rl9ikVXA9nXrxevK;1n zJbey0$M5}F$cfbTY9<0EVw`s!tf&c1`u~R7rs7bXB{^J!q0fn4iI9(eT$fE;=D1WG zyC@v32eeve^?diGhowV0xqNa60QC*z2$D%EvZVfb%sT6IER})h5Cj}#%|r>Amm(p~ zPcZa3N=-$`)>*`<^1FnL`Hp4fOHVdnIh-QX!U)Ti)v44@cL57dge;L)m(bhq^_W;R zztLQk{G=`p>EYNYn;?YFDU1L^pEIBO1X}$dnhvsz*!v1?W%gHRFEO%z`$x`jh^ zW-@&+FN%uEK$n@c#oH>y@s?`|v1H+`2+gs{(D)gXWmBwKF!bq4{ed(wTdreFn8W46 zgoMmmO3&s{J@JUbciCjfVsv`zhth7A)?!f8Aof(^p$3*5q18~Qhrm*E@?GP z*weu0LqPy0ikkOT`+|&wb%u=U*-?%5NN*{W;cWY<3VP8<{d&g3!wa4iaZw4c)I(_h zTR4sqrz(Zl5y?&RF2O*3txm5{{u1Z_1Lg=}!JALZ2h9hRN^C`_1oD?Y1OkqR$XPR2 z=EPqBD`JZ`H`0z8p{z{8OF(t6%)C&vP-`W2VbX9U3^tYo82WUd`U8EV+R^B64QYy= zD@!iX??hSd|6^Ac)E1BVq`=hqT@Dg(O>EfY>+UTfZtH>5y9}-F+9VU<(kA%tS1O6Z zAJ7FI82X%)sWH!!lGP~Hu3xf2TaY|VGOnnzD&gLH`|8)?9=d1kAVA*s4q|h>DaWc| z;dTNesE^bvO)U{qr(37EW=7<=BkB225THd`kg|#bqrDLnd+?>*qv}ltJ;wYrwQ{WZ z@7J{M{0M;bO{dOB6Ufy+uroubsh_uvbNg0`uMFI|4~~S|x}w*>(C3&}4aaG`8a&!CUg_-&1UzPdYyR&5-tEbTXT;5+fTH!J0wNOlE`hSLre+l%c$-lCIsMp@L z$$Z`2*Dz-yhU-nF{>4B4IL^Dd`Aa6i&C4eGbkt7A|7gy~3R1AS;E#J~qDT#f`DUXR zsNmD%B>wd11p&KjbPMCnd~}6`|Lx$z7o#{&5Jn%W6V9XGue!Apv!DX1HxQ&WJ}yx? z>8pwMQQCJL!O`|IKPY;B@Z_glmqDPvL}}oc>>l%8)l2L;1)nJ8+L_tyHAdtutbX-`-e%*kmONX6oKd<6|U1ehdU<$UU_@pd_popqM z$I!bdGm?h1jw@xvZ$c+CG_sMt;0B*RU_a8KLiWjfdJpN&ZU;*~TF5<7qh4lJHp#$# zgpmyXC%|^hSSxP~r_l%+jdZX1TBH`%w@}keH8(qChB<9`@S@rkd&A{>z9Yk{Q1@v_ zN;K%^7)bd;rGtcied&#Fhe?qYfNYN7_g8;^P~5E*PO;267@=2}Nv-qnHgek{qh4sg zJph~c=_%t6oci6hkYUD&c`^n0G`brq8Kw@-RQNi z5A)dzqlT)AkO?;vhkeJq^b(vtnt`ED_bCVvzt&h5pY;GpEKVpi}(UJ|1@9+r_^$6>t0$N-@s@}R8i__T5 zju)2dRs||ois~Jb1TtF%vB4`L{sAj}j!%P`ZR-V)jk^N2+YHZQn*U?141$oz=Q$Sb zX*x>8nA!pmg#G>D*QMRi9o#|d*1^gOoL*>;!=JfCsK2bQrmKYc9oT_?HsG`5fo1RCi_NiIUinIUzF zA<4)$lL6Nq+t-G=e=a=WqZsC^z3}M4N}pq1pWSulPHUMYa!0N!P6bzj+X0}Av?=Ur zP4fh(33jOlsI1Xol(r}keZIKHIga1OFYjIR*0IiGeX;+Mu$Ri60ERw&VFm(_Yl7Z> zJnXj_A%ofF{?gIMS)u4=OVOG`LZstMGav~Mh;zE*p#s!SI$^(wd>TH7_Jn=y<iy(LY{uc)EE(z(`&K(eLm9T-=R`65Tsk-6{Y( zQ@r*_=W-WwtCT#B1b|GoV(oFzGgZRrDNrY{}$4b3s*CwRJIu!PQ%6r1}6*D(8UiQI~~?MCA&i16vUAv`Yb% ztyU^ojcHc94GY;cT*Ns3oc2vfubDtI z-=pUUpPfOIOE)#8mj`g!;y*i0BD@}ZrJFo|2Ud+$z}0W^DEV2 z*KUhElb2M0!cgl4ig*|xIU<%6O2LTZ! z|33Wl2_#DB8m|qvyQIVSP}>Hcx!wpZ7(V)f!MI?hPahoo0Zw&#+9vxuuL$Y9={Fr# z=n^zC@0Qpoy2B?HR=%HU&jAjH<8VbBiEJOXz8>n>)bPQp*k|_e}Ew5rZE{qilDdGzm7Zy z*L#+rwo2*!NljV2n*_vThRo+fA1axTczi!&=GlK?bQjWgaB_(?M%n*;RJp^!`ImL% zm!%5eYNJ3EE7@7lOr@D>KuTcmu<}}M?p$qK?)DTVd1N~T41Id^f`C3$*8{>fa!PN> zL5V@(^G|HH{&;UBzv{c2+Hwf&eiQ;6`|syRyjxK$jzv_x{+!)hy*45V@3{cnEPq$E zd{l%4L!WNmhxWZo6mcnp)XlK_qr=2Tr6WgU*iCG@L^^#qWz2h+l0`mYnids+di^4(B9En7yo=PFD?!P(q;k7=iCvXG^J=Yv+vq)~ zzUbn%0Q0bFOvsM+t(^%Cni&4#t)|o)^RkjrY5#`FpE{YfePE@}F>k4^V1Xe0)SzkY z480E19Sch>jBZtJ{aRPLf>lZ$9zVd>I(&E*K5LC;7gWPAsAATmNDW^LSAFTBxZ8mF zrR=d_=IPLfO6FeQ)$zR5jb*H1oEtpBcMU}S#so9lL_KmayHRi5^Z+KFv$yKxZao?5 z^|7|PEK&`UJX^0aQXz2Hdj!{gTQy&zl&B~9!w+J!A_uvz`H)P579Evr@~Q3ortu0; z2?gtL+W;E2uDx@KMirX4F!Gg@b7arCtfOS)OcUytg9n$}to#kIvO%unx=nm;px}`zlrn^I= zL%O@W8$`MU4kg{)APpiR4bt5rosVzedCSFL@csN|X7|jQ-I-WX;l^%JX8b?9vC(Y()3wn2dN5s7&FnmC^7^0||z++Nzw zxRa5Mk~VR17!)3sL;82%E$1fTT(5&`<}Y9zA@H0HahU7sKd2djlV#oGX&AN0N9gmF z{_7&C2&aaqnvOC&^}b`iqd3itLiG@HXIe&?og}WJoqY}9p!lGy8Qt#hB<6kMvbB)= zy?<80u1OA}b|h^N%=S%t3G@?*@o$E{Vj9$&tpm7;HApK-8tXQN@KZ-f76WAXH{SrH zJ>4QL!C3p4gce51iG?Wa0o4;p_AWMRjob9{U05dYp}v4Cp+Owg9gJ&L@p}W2yB0co zY*wcj_7;pS)xc>+G3p1vJZ(g43yXSsn!7h{>UBxV83h8A^sr+lh@7+{jePb+SNJ0S zI8_g6v*db+2l&sa`ST7cLN~(@dkI;{j9)1&-SqJVWm@ZEU_rfr)%Oe^X6P~aukGo851e&6LYD&_jAoxW*Q0RrONbQ8K3RBIe5qv}|N6XCq*;{# zFrezT3WLc=U0cU@Skf?v7l{v0h$m`l$A4dsR5kI_1AL$Q0$kNTVn~=DBCN*b;dmWN zX}z2~ntWZy8k&}ahkML#LRn!{><;L{Lko*Whd_Kqfl^mLEsKrAHjwZBy-hJ(m(U+ zlnY1-{mhb>t{Ho$_sJlD1>n(X4zP}PjrFU}LhF^n)Endz~eHt1B z4)lvp>fhi1|B#8+SVuH!IJV8yE9vDLO81@;IMmB`$tVDVen*M{g2aJ|z>j5((Uqm2 z(@Tqb(@wMp!v7sxR5d@9@Sne8e1R&sK`u%J*G%ML+P93q6d<|rla3_!ZG&f-IY#_h z(9{7DVZI>f?Zhul#QaoqoQXA`ZMb`iTuzGZWq(?dTMuPCnim`>M63rzdZjlJ$$HF` z6?_z5aBz@LI3E4P_4w=|0x`Wmz+B(P5mEI8{@<06JT}7wITD{wLd+@U8BI5ydJW<{ zFF48c1qtve~?9Rzd2h3jS{%Tcy7mRtdRHTSMImk+!9fBk>X z7zT8*Wm}_}vJwe-R8tmL-#S0-_uxPaXf>{X?Wnv-9_y5*pN__?$A6Q0+l-1Yiy}6{ zM8{$W@Dz7Byi3LJUw4*Yxzy_4A(c4EQ>Q3Jrl?Q}tloR|qNBEv;)>?Yz{w2aO=AS! zsB?=n?F&5XF+FMa1u}N5EeK^mP*adUtj(7))EHIE?BqvKJS;VvH?-24w()r_$_D4t z;XgPD{(#);q_0b#U|xHzVbZg9-K1*MziX#~FA14B;-=?>a|hf%;)?WH)e3yGK!9^n zx6t1HqJ|^n83ba6);nYt342l6>yvcCv*&QFwg}xl+@ww3!(=#KEXM~wZp1%s!L!Q5 z4k%|KAO(HMMcIu>ogtY*fb98iV}TMDipy!SN8&$;@~3R&`9Adp8nbbHxi5w`0J9x$ zrS6(rwkX_(`Cn7kLmkad9?E=4fX29xPd}MBbO`JhWaqr!auoQQ7nqo%s^}m=Y()9q z{>SKj{*nO!6fo+Du7Rde+wkR;ywmyph8Bodgs@*p0urxO12mHx}izHK-7Bw&k+8+dZo^lxBkP|;0#m4rsK z@1=5E`tNlDXh`-3=f{;a2y%SoCn6i>LWwGBt-8|YiHY}0MRy)g3I6ky`T~`5ef;`T zR|4W0LPp;iZn11A>VL$_;1G}_{nm&vMxOw5mZ+#nny4pG{iuWbAgfxYr`P+57UFmK z8+EFN&jEE3VisfXz2AxFc}!>&VxPk9+Q(B{K#-sUJ0NAK6Im;9Y8L0a$I-po`e zNKao{^$&MR@c>*Whilf9F;$LR8NMN|c7q-$%6n3*XQ_~99E%;$b0v>TpKo3eAX43| z!7P?6*U(}XG6q|+1;1oIx)SbBtfhzQeN(7!omkIakRttiadpD! z^KoN5VHAUl6ti&-E;bDGTxqQ*3BNP|wU--@0MJNU_qzDH9<%%x9uy(XyFiu5%b<~y z+bWNefJCfV|L_v)Qv4VkI*tEucWKO`X>eV?h2&U~Aamc-5Vlo7X#iii4agwSMORM` z1WNT(q1+-=Hnumw&01_Q86u9c9AOvydO=jH53Riwsb(n`OF9$edMoSRXe4@%+U7Vwmis4_roiJWMqkOHL5=UvDu_8aflXB3Qb!syrfkQG^J zCsS=3UT00hcRzi@!C5i%9dx+9iqi z`1f8G3%L|^PDjw_I;2M{QQSkt{a2gNHIbdC;4A(2fCSe{-dKz3oJ?)na5L>+?V#E` z^jDp!V$7-S$9ba#X8?-N?^hvWlM_hswU-UGf}L+MV^q>T_d>F5#cH5{egnP8B5=&k5*ylQ>>+IpQzC?+H&- zcwY$o7XJCWRce1G&=YtsIknSf=`mr-beitn9@;)ZZ)8FE{wpMpCGB-M6`#sWl#VJx zl%PUwSQ+X#L6K^&oc?Sg2fBpwaLs^lJ;x4jvHg9XtA_1vCD4(Ptewg=_Q&Kr2Sn zpYPAN-4G0mS)=fw3>n!+oCxr$^}X*Xh5@US#tp4S{u1sE8~q#;2d& z9K~V96Gm5gv~P*md|q~t1BmD_A-z`w#?0PEbK~}e?>MaG3G*sU##&v8f8NaNdTONu zCyIcFSXM(h%Z~s@ zJxO=VvW!!1PbwEfp^+CSuO54N@80LKTn@>J|8Q#_q2MU3d)52j*6H_+dPB!OawYyx zfyGx$h3;Wkb-i3>%aTzNfY)|~I<4k|IQgH^Mhx$|Xg1YzvFj2~=Jmwl#4`H+lSe2x zK0Vn8)cF)gdBJDfZSZ%*?aM&3TM7$;X&&o+>RXqO>6rilVpBiptJ7J?vhQva1zC$z zGheUtRKZ<@`;2!SpTfn8y8;rYZ_)N{g`sRDz zBlP)7L4ZD?G`;7PAgj~Q2v%&*pYLu`ezQ3d?CdNh92RPg6vY5YfSRBO&agtRKu#?A zIhptcr#-J={qI$auFY^^8>;17{yp99h5`Dn#Ni*5fry&$qB_ShNY9GOfMzCB?KZPR ze+thzorYaF-CZY)b1~aT?OYXjJ5H`dDRR<-UxCd?^~aro{{Zi(sPiT?`8uT*seI>Y zBJ=Z0%)Wr~CZhAF_o6{u3pNrbb&k3M~VAo&7zToIL>0$0xD+c@;G^ZdBJoP3-Oyfu;A zblgG+@M)sGXf@mwb9jz>YuBXoK9q{?v zf~)^3x8&@^gsxTiWz(99+p3lsDhP|{5&C@df`C@jz~3Yy6G2i0EXZiFRMb0+o^i+b z`cX3+B^s7UJ$nFIqVl%qz#m>Cp05`7HQsBL91$B%MwapANYg7B>(MXB2LC;>g$BLO zWrv|lf62*FEC`B|CxG=dX71*T{XkcUgXFn8xKD)1Bf+-B=@VoaKENSqgg zVE&ypfX5Cpx zwMHVwa zV}<^Eh=W2iPM_qU9O5taflkL}QozO90#BAjkZJz5rj#(MC24_OA&#s>b(FIeR9(DZ4^&3zIn88t=aW<)wge-{|Tj^C9|75a^!jJ zKMu~QNR_kwW2cZg0HzHqtipDUREjrl9j-=OLZ611>GG$X(_daXB@OHerH@c>e5y?O z9iGrat*my*hyw7_g*{J&hF+`mbv(bnrh!r;zX8y&;H-HW@AI${Nz=x-?;Tk)FZ5bW z>Bh>41&9mvsiz*H&sX~I@l%7~i)I(&(NYecC6(r%}3ftAS82v1ps-x z_jAQq3s+AX;~i4R$4R#wi5#HZ9fYh#9r%|(ZIC4yYwHOFeFE_~nqlVjJSoQ* zmU)_G+G({|Ft>+d0b3Hux&xnl?}bWd}I0F1)uwOy72>TRvF_7Gw!Z%i1A z`Cxv?8j6MHYxmmi?SilL--EX8sAYd=dF+}*7*2@&PNnTT6!En$&)UZn{)<8h3Y`Yt zU$@FFDjLSX^yaEYB}?9S>IA#a?tg^?I zyiy-6lv>%p>+=c@0wLZ3psVgFFc>>eS_l{{T!ue(j;}@z3uy@qhWdgNgZ@3q;U&;- z+eb7W)WriS{Mu~JHTcZz(jn|pU2md=9p$-oIHt}3%;7I*W5muJo_^m^i?cm;dqB_9LLwl5vH5dRtueW8)X79&U<~xF?t3_(mJ@k3uzZnbg zq5s-BWJ-;-gjrVp#N#QwUJy0Z{bTA)0O*U+sZjla4H(1+bl+@VY}sQaKcKG3`?5x@P{Z&dx9qK z4#0%1Ob>HR*hsgCxs>KtRl~@>ABvCe_2=9VNL|0y%#a?Hg0tZ-U(oRYm<{uqJLq>( zZ1^%sMPIQp$nhG=PZg{XIvIxntTZ~IZJ@#RS~PQBr7I|Ow|xNqC;B%Ukd8a&IhZ)%Cdz@7ZIS(yJ8^LQf#n%^#d=TWrPrcL6SLzGIxN2x^jB;44LS4{| zL_@4r>9!w8ODp}b|B+Zxs;`10sTSDUptYO0vK*7Q2o3&M1L`5s_dZHV7?Q5K> zN2TB_nen|(##a8ca9G@d1$oE!W3lTjICD7Pf92A*%3q>tkOOb%HCEc_KC)BiXzU9a zSn5j)x~>QtP~^hxudr0WFFzHTpAQ8A-jR~kYtk*1LQRKpJQ16E8?fZ~*#>k`qakw< z#r-930EfR1tv*Mx*<7s)KcmE8;u@3f#Mjbm*$WvPDD>v8e?2OFzIp#mU4a`WW7)*i zm+_E5e$630F);XfWmh~+2G8s)vH(RS77!yCV8`ms#`g}n!<|I>6NgFlwey5V4B;oQ z62yg%#tW`0`T{9y{DU!pxaxT9g!X4Pd1^9BE&qMgG0dQ^@Cj1d!`T9uxr60&2Z3yx ztIqd=urRc0$uSfoI#pj**`d?3YQ=aTl|J9RzQ7J+hwM){*>b84=#N7Kro3`XI?Ng+ z!Ey*~*O?Mm3jTnP%>*=F{Hu^vKdM9{li{2z+gJ|?T$GUarL{uDYZgz3ir_%6gT3WF z9Yar3H9t^;Z<51^gY1{Nppkgw6a1P%_lxb{FyJ>FFiV5jX0PX1B{>CndE- zw?`q|^B`X~2VW@&SfHJ#;<+P)H?;98oi*PLgG4*3!K{A~~fU?O0vTT+|qL20xbM*nvQ^$h~S z3=ew@vJE?wexfRI0eB5k4-QSY$LSS_>tjm8A8I+i_zYN3M<(iD3pMy>S3W|)F>f1d z{;cq+w(-N8RGq!ti;K>DTA@C|Ci$@`{jV7A@m_#Bmj!VuzaTe-95bcI4MC)O=lI(` zQ}qPeNnwSiE@{(8=<}8O0woo30l?c!nBfXs$;Ax%u6jtm?Fy9=0siy_)fL8$4#3Bd z@8ruHgT;WIo(QKmp<4){eZSKNJ(Z+H)N#TZ(3>Bj&sX}dOjmt=kqdR24Dok|QZnW3 zTk)*3vTj?GHvuUPZIXqCgMioA_asX!LNs=Rib}=d2-uXF80N;`mnUZTO*WeI_Al6x z{xu_ApK`nEX74f%68|b(7IP4PXWlfFgZYsLTk6w06DoVa$&u}m5L6=4KTh?!`(q$IVR?&(^kUhN z>j2Z5%d^do(#x=ERA=PZZxApoxirL>`{ahA*A0m>aGu((p1%$H0y!g|Uv!J{w>||b zw&kxOeF}{FI&x&TTQMmLcLhRWrstD7UB61OxZ2s!SzLyj zb%o`lQg8yvC5^~mso=F18t!ykfH7A>krni=@TIk}9$QHD_W{Q{z?}W8XFA2Wf|0TF z`uqIHi9L>RNpHIx+BH3e^N(~UPl?&{m4X1mEk2vCPPg)je*Q|kB5|qMEk{DXr$_n{ zXUW5me)*CBBnXTM7X|RA>0GXUXc0Ju5xp}hr(twl;{wt*San?8k4m2(z5f!kSCi*T z(x0iAW=Os%Vm1_u!J!>3=rMvMcr$e}TW{?F6T~4Kk2bSNsvFbfKqSH>$AeKESC4d} z_yuiZciz`?;6wj44N}#mM9}uVZXt?9*f_4-Xl9qo0h*>VetDj0b;3!SU3v4<3Wq~KY%ResK`jdR#3x#;) z7(z}3^_}g*c9IGJ>Kctf*v&p~*1S%C${fH^nk_Z%$Iu}nAVC@D(E&w_7{R6$C1|wyYo-FD2Dkj>_IBd z2l{Vvp^vN~qi&5COVXU*B3@knHY*tY;`FHW`O)hONY(GKWMf>#-=kWt;M&WQy|>CX zVdyWscoSAlw^TpE23RsO3uymz|8xnzkt14G+0>`TKooC@t&yJ!0czm1S$_#M9^&ry7ty-bCah-yjnK#c`TKD#b1tnAL`AmYTO#64f=Kh1|aH@g9mX zo7Sp@Up&7tTDYYD?<4g2(F+2;EK)&83{P#o1_si3AX8 zH*IEAeW_&2qD$O{+(H__f4J!H9FSJorb3h@cQ|;2g5y)$t5Uz+AcoRL#Q<(CO+a2c zKDI@dAgXbHBgXk~IoKMoE|9ZFqx9EF5SWIZLo&F*oNlzP{w>X%Odb>1U&s2Cm_2`; z`T{*gw;7^WOYcp>y3~0?Yq4lx{cRWOJ5&2CR!5c?%?<#Z_vw2HQeIJ)YKF{R5rQ*G zrygha{PZg8ZqyppcNQ^^N}r!2fq=3Vo|B;W!`p*R|CJvKFVU)h9wvzUa;1Xz^`3`d zB@7neeABAieemgl_BDBSFg=EL7ir!42RRY#Z<(vnr1_XncUQnMFCF6a*hh^xFL$5i ztH1^MR+*dOQMp?j4nUIKnD9voT^qiuGSF;7B~;X90mTiVNkI zwCTVcR)v!?nj+Q%@nvp$K4vSk>CwF4D24lglL+jz1#Onu895Em<)^arQ2)XzYs+{S z$>c=Q$re6oOvNeH=`>RUFQD2c1; zZQS(q`lr!p;3(~^{+pQr`Q}1GXmtkMM#HSZcbAJY0 zzl^O%RSk197s+Ov2To&K6d!DFf6bz1zz72fdz;Xy+OA<4cm^*vqv2q#YL1!RkA&~E zH~yL~^2gsiLZ81*eF4%@`?i1+gZqGTD`^C?S-OP;hpnXxUvUD?W3`OWl){F?9GPir7YD z3ep@r*^Rf2jnkzUfC?H!#A)oOn}pfv4@2+U$CBupwKZ-VQO;(ja0))AzhHCl1;)R- zMPaApEZr~S!nI_<@rhAhkOp)n6eaKmQ~aW;i>+JPN}HNPMt*fD zt>9Za$qaqF!hb! z^s}V+O_W^^7C1S30S02j%bd3HxuK7*m9aVGwAI!}Yc)5Q4Bj-;v+8zx<3IZJ`GEui zI3qI}Sy99Y)9f4vG-2MG9+6p9WPF;lHf=fbtxxRU0ra?L?+=JQS0ObMiFXJ0-~{^V zOhY?yj;ReTmL0wHpPoj3zEWS{jJv4T-Ha+NdIUwU+%FMG7w>%L=%@*R)Nhe zAbUdGy<}i6oT;CwXI{U!{wq2!Zh<+(=(WHzMOOL zq5lS;gx1g7^UK8H+Wa2md}p`)n|RLLN@z)sN*u=_BVrXe{4kFndlnL5M+ z8_vdMPU#pm-%QfkgeO9f`Uri#Pkn){noP5RY-?luqg2M}`AGm;EGJ4}faSXP=!5hc zI~6jZ5wx zwI3g$-~>{8RtH?5Ln;0)HgTG{SNBQtz99z9m3Cx8m46zMBc2*Se@Rs=8;?vb(kdgz zMEBY@L{y$x)D0;c0gZC0`qy3LBlP)7|6Q07wOAfE4Qu&Qi#>D3oQOq-duG$qn057l zX?9&!M|1}0ex?k!CyaBv7QT>i_ofyWa?rE?TPZ{Tz);DxzPtJL5ekk^_o3&@eHSX! ziNY-4gHNP?q}z(!{-%d@$1t;1prE1g2ZY_#2C{b^CefzWMx2Y`8t=vqwDvQ^V)ypL zqcI|?S016yH!lb{4?@*PfWSM=QFfzKy+_8-5QlR7g1~n^?*1*4aWeH5z}&chKk^O% z0sZgk8$Qp!Ou_pzA$jDxa}z+?fNv_&%kJUhI1I_ftKLsUh>+1%(F}9{MLNN>7hEk5 zq^!?a$4>y{tzy>CT#j+I2nE?FkW!3-qY8ZR5=qV0lih0px{;^DAaIm!HEa-j#445- z$?Qn3haaT9oAsJnrgQYA6rBh+)zjDj+pGra!P52rxq-MXX@ZbgTDo|~t1JN)o5 zQ}D{L0(|rO0@Z^Zzc5r>M>dC5+p2IT>hcM9`EYHAlbKEWo1>U({yle%1bWT;3URH` zO2^Xoz~dnaGuU7rnpzO1b`YYOpjqN2&;TuL6n#%fR>5E21&5^awZ5=H$bG0#>vA9sc%i!b3Z*Ke0{Du} zU&G2cw#o|V7E8FkZaG}{3Gy0;fe-ZsHd*?=p(|@aLBJ1U3cIsqS6az*@};l?kTow2JWQQ{0(@YH%+KnOAbCI#mf|_)X3u7TRGP>K#Gem0UE@TeWd*wTds?~-hOoNjA{QOc14dmjE1wmhLFdccTdX8% z|2B=>(fzS5s-sFdihm%5I-v2_7+|H{u9eA^qtDag^H|6sFr!6*$P-`T(xki#hI@4> z+xQ55{*Lsoq2ts>lIvRC{578wui?hG0h|o;9J^Z`dN)JA)hmZU3BWUT+&L=9MfL-P zw<9MNb2*mw2f`3RV|^2K^SUav|DL7|f&=B9CQD?V4&Lvo^@T8_8LIc9^uazPVd%fV zvz>^LN{|L*f4S?hF$*gT!6wPr(T=aXlf0uQ>*hReFbMSXpZ4K+R0_`K;IHvR`RxVS zr8?A#Xm7!Wz2pJJ?6TVFEn{t+Sga&w5FoaP>kYjc@JB!5ea)<@z0Z`txD4!e3}K4y zAn7tC;0-?17vQ*ePZlL^(-h4h-M3;1LW}M!DGgJi=4+q^u^7U23jhl7i*4tUDC%j- z=lj)%8;aEW8o%hL>H9V+0Tt;|=IKZ1^UeG3AbyOh+{M&Af>%p^wvL}QN+GAza^F-U zk&UeLfl|NtHNe7PtUQtBN@SMm3r-zR_=!{2 zMYFWU^Nqc=x0uE?#q(uftw4nDgy1Oq0Nj?Z>&80?ZcYp>aSK#gBy!?LnH!%LU`h+3 zY(K_mM`uw)$+ejw_prcJ~9Q%R2c{`*wZ^!nG=c$~=63Ne2N8)RxThH0M+4 zGwU<)H#A=ta6YP4Vq*-6y{VkXKxk%4sjS_;jv-m~M_+Rsn=B4sfMbG#HubL+k}-ae(^yL6vMo+8Wdv{% zVca(^S44Ok(E*N9S5Zkw2N1!}fRB}pFkZT9hok`L+y+vzivgyG*NK}5pvS-AUZ%#8 zZ5V?@;m)Cy5$U-~%q=eBB=52kyhHhF`>6E!(0^?X@2@vaD;fxzQNI5YXpr<~SV?oI z!7ap6vt5ov%=~%^@bkQ%MLQyMP3mtP=Hy&8hhexg`h4;3$D~VM!NhOr7ky8qkXRGC z@I>0LYtv%pP4CQw7XO^O?;$5g-h3mgs4|iUXv&}@_S~&N-mfm+x$jZsjyd(Fi$W;! zA!~~y5f;)uT~>U)Pkn(7n4M+Kuys10G})R?m6$0_6{Sf?kWUj+uanj$^hOuJ7|9c~ zT_t=oJA2QZEJni1yX$kAUwX-2dy0q-(){a0~Of_W(|b2wF(5dZ*f9Z%8t?DBqLZj_psb>NqizFLmWd8i(0-YGQuOUkItKD)sm>PFT zx@h4;(5C{dO(1Qe zyQ{Icd0f8e0U`;ke#@9~1|3vX>MBcbYg(UX+CJZ>|0Z75ey(obEnSu9lRsp_rPPU0 z)@V>1cvbA_?k-Ini{}qelu{O@iH?5c9Q$G)ul6$`#PRdP&yPrk7D}ejb<;*qZ4S@> zh=Tx1%ys70&#i@0^9!&%6d9j$#;%MYb*f-Chh|%=Yx3#z*hp z`o2c0L4m_TxD)$#nuyON;IYC^Q&_1f}#C>6W);-ez5l5IDreuO?hkbHsg{Vbw;2P6y8 ziYkY6rTv15RIyGaglX;2eX2-}qE8F}X?%^8m0YSIrmgL3mUPS_6*r8J)KPwKjAaCp z?Y*Z+9-+_osV{&)o!iwCjmSRWx1@wK@pd!5$FG!k7ZdjT)m)FGqD(8`xF^pB$GEi= z-11){bZFL}!qn_iSe6`NW4FOKo|+0jAEDs*lx;}ZkP3g0^Y_Z1rHS;i^iF?hN$8HKIR(s8|qjvd?b2TKQ zbv6skwkbNLC1Y*^0LT+hv6ijsrJs6ryjb$|Z_iSa_B9FB*_ezQXRbZCQox7)dzY?g z(^^rpaS2qUy2 z^+s>RjxtkYvCRD?(EhKaWG+SW%v<$uBy}m8ZZPZ*6@l}CqD+it8Rj&Wids9Rr}>EWrk|=S&kv-3{io1wd-SR{3!VDapPVI}s1T}M z@Lt;-ZW^Xp*)2fIwgWg2ur43Adf3!#p{vJAi8GQ=v#H|I@zBENF24@I*J6UN6a>un zkQ7=`XT(Br|5R&S$o@5*fzvWzZ_Yk7Fp^;S${i12UJN7}3>cL0X8!4D`>S`4=k?fI zbBYOaqX4u`c-n)fiWxZ3I~F4ntBlC!iIugM(tuE#n?A5EeNrqfl1-2KpDz5W8lX!) zF89O3J^!s zDy8R_p7)Aax|GnLIXnRm znvB7r>wSaGUTV}>d~PNHG_PFNcZQBTGwP|ne24N>r2Ik)I~@=t4g?bCy$u(_BNUuK zs)54O<1we;(#Cg+WyzW8F8}*yOmYXBasazADmEG|9B|5mZ?GalfeS+VR#q_a&@K+oMu& z0*Nf5&}bVgP^rpe|I1*WQmjuEzb8lml)>T2eLzFGiwlsl3dio)*pgvryF!Mj+~XVQ zivXu_>3^bs59;Z_Mw7k-NVWuI_EE5J?D z-9_(WR;T$x0*^iWx+@T+l8gg6HHlhuv;Sv^cKIXp`R4Tn46(W_)<*D@CO@#^I!8np zwnS|!jZ!!fkU@CX{Wn$V1~8p@E4*^>fgizH95~uzQ4p zV_vzQ|Bf@bFUE3_Oam;;=>ivRKMA_33tZ?e8cn_mKehyL1?|>Rh*UbT&=qRqwAN(* zB$yTW2KEWTS4Qo??Bk|^5B+z3n%?{6BH7UjpU1lAyUi63Y)Rap%6(u^FNq%p#O0o417^- zaA)Yk-^$hi-?4U)pOV~X#1_s@<2^Oe=5!>dQr!JnF91=(IaR-4Zf8!VPLZs-`90&P zUpHM9LUuh<(dl2e=2LG4IDsT977*rJ8D;6Q<=dQVcd+wubXif-aAyt`=M|lK0&51q zxe#Y~pFD=ci&?Lpuq20=u;+j+6ki4LxAn)>UBuXvQgEONyL*@L)fWTDOvIg+T@U&A z`~hp!K@$F0A1;|N`Y?9@0uG1o7b!Y7wy^M4?43rMP(6ziYr&o>Ylk>$T1n2aFY#$l zVsBQ42*i0o36WY$33U->mp@!eIzn!O@f&61o7;3iFoMTa38bvr#f6(W@ ztzc1_-3bZ`84S~>uM9X#X4M14dnW!dvtE+(l9qDT-JE)ULgQ1~7*C07yEIAz3GjAR zNd8>{BB?IgD{Gtt!mlcLS&|;N*$%4noRP>p950yX00IV2EFu$xD3+*==g+!BZg>8S zCtXLO7kKo&m$z~$@reP<2lbXNjXVc4-Rd}mh|t5-|C3G=MpyieQY<`+mk2-f67z0Y zS9kWQN=8-p>QKXO5&nmpYlDV*A9 zck{SS*^IwLJPA*Dgg!rzK!CB@%vX%dY>4bHaWj$Vi=4@-<(v5Pw&%W*KMBq8qP_tb zy}f>|f0Ui>;j?o7+li~FiI|qED3&SuIJniR^g*8P5&C?e`T}%gEY+O8cWR?TB5;?C z1yS}n-9Oh<74U+YfXP-=ad`k%FR1R|RSDE;HS6CfHV3`SYZYy8p_G`P?5Y~bv-MAR z%$~2*7nmKuR;oOOPtdCgg+jqa*BYlu#=LUax?J#eLWJ`iV7cUVleB53p42Z~CU|DHm3#6Zof4%YJ zAGl}YRQY}CjBh`fO96sIu1VzvKac^rL7OTPpRsHrwww|nBEHx-E`jAc ztsjrj=lk^El!FW}#c=#wj=;=&>T@za9a;m=l`4H_=b zE*e$RRYCM130R6DV>!#o*Q|*rDn!pPJ3>f7(#2nWoEKp-rX^E9RCt6wU#Tyk(HPpE z0MfJAul26B`LU?FQE&0Xa<+eAxTn9>&HB3?@Me~V1QAg&J%<7&uvH&9fd_c+u39Sp z`t@oeNs`6x)2Sjjfh3Ya+9Z4QX?qAlC$_$~>Ow`abfGDfl}w+OI4Uqy@dxk$E%2|? zTXp7j@(eNxHyjZ%J8D$DvbWy|P|7<9X&gquR|*2qr_xrdk2XSMlqVKGX(UTzGk(7s zu#<=9|Bst;guYw~fEpaP8?A(1_i?wF%+9WYuj-kEoXPBuO$j8Eu#(n)>VbN`c|kzT zHw)N(gbuso5ejO*8*@T|0C61N!(*PN}KA*BxUd(qWqNCHP*x2bOd1fEHc5Jvz?(I$Md~6zHyydA+T+bD?n>zeeexYK<95&C?kAiyo$aM{&ClCAf^ zAzRU24Y@vWRS(y9hHd=H6IXne8XHhwFT2dQgpg?qE0&?cD6B}(C>7celQQG?yr*c>^b zYUtam437Azh*qZ9&o{3xpo=qDv8LFg(8-Y5WFALLe6VfA+MN**UmWavFV!t#fYvXe z0wO-?!Z%xcgn|=CKc>%hib@u?1?O@}sFsYb__soAPU}b_f;wRP!^cGQ03D@+j4UZc zZ*R*aQreml0Ot~25f9R3Z7sK+YL!7a6MX2uK~Q$o=uI?#ubG(DW#!9_dELkO$lhXl z%HK0z41*$=0KgQFa&}4&N&;=y6Xz6};N3_%fmnM_TrZ+r!EMmrkI9cvaNWt^min0;0F zrm|X9$%5nsw@5%hqZGCYRJ*|XO^&GiPrBV-316DpCz>yHyI14(Fsuk_0CGWMkn)c# zV{+Jm+R9g%$8#nR!3fl}%m>me_p5wD_R#}w--DHf{%|nd zc#h>9P;b-dKKc|KC}Du3TNp_u(<*ZuPyC>8K9S10bjPI+ME(xDlHeGZ0>E{tq?e$X zx|}fO;YfXXVGT z<<$a#wlX$wW(T;iA?}RxF?VcF3~V2~KS*<&|AU^CZB^0s{euzapRC|V=<_#+fA4zd z6S4jrkMN0Pv~R>*i7)3KO3zSr&3c#~O)iAGJV*xK!9qK-b zv}_b55H5BuD3)GSP47nPjh`waMAoKmkk^LEM?-#$R!=qzU-BW<(P1^5H zgZYSoYBA(n^nmtbYNUm@V+Zf}7F>L=6-Q~V2nNLl<;d3j*V@P&3h;~g_|;I?}oD38J@=#22EBMwXH12qcxi5Qms>1V5j^k?_SABy?nwc%&okV&3 zM>j6dVhJ4s_$%TI>+0zD4JM*uS0mdR^}I^#5eiNq#cE0%`yN|}rJm?qQ%qU$S`R-k z8{nxMOFn$D+o)E^1K!a1i8Lh$qyLYyvuw+v!-6`EIC5?202-4k>FChrh z4Y#y3NFycPozmUix%mS7E04e6Jg%8pvuf6?ecG|fBtWEWiCfqlm+&?3r3kevkjnp@ z@WD}9(?-jMS16Dr~!81N2z=Hp6`pv_&2u#Q&%xN<8M%G z=>c95Q>z;Zt%Zs6D`m=ItER)h*LR{GIirPHD^ur^ThB*>;6PoH>Et}Lu1xYKt$cza zVjZe7TYZU?>fC81L(FDZdO88D7s`UL0tu)&=o4>AGQ)`fACBp%{OE<At_RKEf2ZxFQm1ND@IaFu$Mv*_ zm3ypnXAnorpVa>RO#J0gAK+8c^l5_O z@`*F&^rDF|<51S^`x_^m66s8l=xOSbgbF~>%+Owdf}e1o|2s=0u&9XA5M}d z2?FN?hqmvl<=YhCiXpb+VO@!oLp=kko)iAdm4blFv1KR1AU07cJLnb_r>)kkS=m8t zS>`hKvu{W;Xa`t;)%oJ(U>aMDGvxsE@=udj4K5z%?IDiBwN^&6xmJ>;Pd)`Fdilz7 zh?MwzTDM6t3o|qDjt>f*?V*DPl56X!iTyP+^8u`~77+{NWIl;4jT8ZjhhI3Ju|?=T z%s;K+g}c4|N3NcrFOOajppnfc=~yeqP8K)eF?L3Q!A>yYVi#65g+R;f(CE%01IQ7l zWW+8qF&HxGE;Hh0JAEiI=BRRRWg2j6qCq0-$a#W-W8QKTs>TUUD3^xU+4w}61m6lM zHQ21~hcLr!+ypKx{>uZ1E;9;$!QrTHE~8EKcSMiK4W<)OUAu-OjB@lFgke9Y!IuZp zV|g#j;}Pe+S>dN$xV@M${E0w5cX`WoWp3G()b8yGi8_GSIwtFDXP2ry=Bg=TaB4ta zKwT{F+DP${5OD!jbjovy*~^vs0K4V8rjj9E&P^PdX$cwDlqPweIYuT~a=&9zHN|=Q zC;=$%oN$*rwP2%FPa<5T-=ACCck`Uir=$P>)PyVQ=YM;<4Pty&vUb`mz^_U%1$}pU&9& z+&c{%rH1cB&mhHCkS>jc_uKjj&eE(Yk#bopR;t=q7)__WUt4K z4{X5w7o|Nz?o`BbQr=9ATJCn9!)Cm%OlVNHhdzv7uzFi~&{6~ZC1l~$9L>3}q-9zN zvh_nbb!SKX*cD3JwCLgcl$HJ=dO^VZ3LRDRtT|4n?A3K=2a4ks9Eh?^a%}_I8{THR z4u1@QRkodz!bI+`h_i|e*)Yh7@wWQ7gQD`fVZ>mVT-8|jUzFgo^1J~IXBYo-L?ePIZXg=G3_ibMtjqK8XRgJ0{g#njolSZi zd?*MoQ?_{HqEaNlR@qPE#%I+7Cmn6@Pj9(DK z>^^ajt)^-R^*@N)4^}S3O$ONjG?VO6y~y9No?H8L^%)1o=>q)L5jceL*C&VJop~ z#RRk9DBK)_+ZtE89|ouM*8CqTgFt|#0Q$F&h9S}GFqTr|9f?Q3dLhDabaw+&6IQE{Ihc!^K>C>%~b&b)lHfW2?O0}Bx%q;tsIzM%@63yp5FJGAYdUF zz)Z}}3`6E<&hsidN7sd4G;IQ;$FjQ3ZmGfo;pS43HKXkZR9>IrD}yMd>&<@gt!eN+ z1=7psQxHIkyrA!qGZ>p!QlVQ!5Xp_Hn;+X+E}59$RX@^tSwuA@=--<@V&E%%T;ZQACQH5ju6Kz$ z%PA_qql1h_j7F39;JopAYpa{0_!>~`a(m-e^C#f(le&+mp$GjbsdaHyWzv`SD{hIw zIbp3&(3dOq0cb#k0)C_(*YbT$-%m*;y!{8WNy05^} zThJoed}&|03|#uNX#6wvVQff%N?j>qcXzqV?ro8nzbw}_`a7MxlGyZ!4(8PK zE!E`bZ=k?gBMpAVZ$yY`YW3%fPQyNx-1Rs7Qza4^l~LVY4WpQaPypcS)LJP?hTwd* zvXJBhVV-82*fV^wFV~6GdOOy#tNOeIeK`~alzrpd9t)k7hJ}_r{ieZRk!KyKmHSZ1 z45i>gr~IeY9TIE)ZnF`G*^l$Iry0tv_0? zMa((9$KKi*a`cg|WHqJxTiEf1^YiId4FnCKDM~m^ERT{cloN)hp!fm~cA$f0||T$?3@R zbF(8|i9VHyOZ%v&(L22R&c^`Sx|1uifJ5Iuk9f}G*(=Fjg0Fg zYpLWcT{ZQ3K4bJYXa9dz)Y_l9!oCWMTUy&Nw zi}%7lvqzDIYM+zm_b#5y3l6k}-jQP}@J_yubB70(mDtg_k2>hB z6TZ1=_;T_0|B!tF-t{vG^NpI$X;_tWYqU`UX@byV14v{+8(u6^zF4j2!mF1D5(ro} z7cm&NgkD3>_>CqL7`!sW29TUJ>LdiT|$Yy%jGmQuG6EUXB?uj<4qr# zT(+B@kwK=4{BlD6r1a%$Bp={{jv2z&{YU)oL@BY7x^j7}5By)VbVnIPF4vGqVFe{rSZ< zIM8;P*Wv|Adorx#$Ye!oDfb#IaGa7C}>|BH2{fsmUV zu(-m|K_A*s+UblRyksgNY|GU@RMcm#U-g0Sv(i6*?o{-0rH}Jzix8unlF^Oay=lhP ztnm;bsO9z2kh|h>R<=zmFJ~s;+4x5&E+CZ53zJD5;g`+#F8bs8DAA)O(J$^RfZbWv zlTTl+)CYj#oNekGk5NuV?{+B;7v%B#Zusubh`7$UH!5L?X}}3^Z@}_LwTh=+4A{(A zlOq|xR*h<7l_Y*!w+IPM<~@P(1bz8@3IZZX9m%{oYbSq(tBfNZ^S>LPvgLBk_bp8R z^&?+O8zmZGKX1~spxewi;cY8GjmWTWCN4c8lEN*vf>HdFuz+m{KGX*&_1v|tr#PIk z?-o>Enm86BnWy`!?ktoa9Kwu--Fx>Ap!nwFt7okC7vc_$Km)$_4PD?Bw%>VP_*?=F zUv&JZXY;%gI^O@7+L6eXn0Sm0qkce-+LSM@l@l7|+c>4ncjQf*7c zyZuEe?Uar|cZas2D(;X|$I!d!QenIbzS75Tjx~PUKM(XCRvvh{v>U$*zS`y^3H!0i zWHd#7i$y-%1+bqX!M|i*ZDv@D+UM<1bs>ty+GE z<7p>mv)niV(jheV5b6>H%pHHoh7IIn;%)%-i}bx-J?q1F6E(v-yoa^89I$OcU$>~2 zn(y_jYB0N>px{I=uXP2A=MR!!LY$cB>zKc<;(`QGhT!K%sLBbl3N=bu01*$o3FPa~ z+`q5l&zl7oQL zjz_0gJfe)l-)rlU8-|Be+iY97#_20{BYCU>*f}aWxH-byj#oNOE}yO&(hKNBSntpt zFPGb{B_wE@KS5tU%YXofAd)YyR4Yg8n@Qzog_v1L_X7G|$9}#4U>kky-K<0n2&+K) z;aSQ?uF#=&@%yK|dZ22EZ3aBS@ z+MwE^{Z2~woR(N9GvBPuZ(c4c#HCWaHEh;8`|1e_&XBRl!VC-}Deg4?<@(jF<-Y)_ zts;qm!wa`VFP%%^sJk9;dA)aj%(3sRdMKy7?jIvftawSI&A9m1=Hl#ExUj=>iP_7Q zf&lp=s2jR9!-cJk_2!0mM&cqBQc*9FX?!Q8r1`fB*N7-WzxUgu_%L^0ykJj{1zvK1hJV z#5NNbmQUc7?e#fxJ#iOCWE&=(??J>sJgWcUj_Pw0K5(LU>=30SCy!R@)+^W8i&1r) zO|$TV!G}Y$H19IaL?$;L_%!oLYQg_Y%}&;W1O_t;V+btUj)9D0V}U_FL>ZEm!oO5| zv2wIrY^(>w!E)}BBLxSu`my%672_n^_f?);`f}@nfUED^2%%`44-6@Gi*w>i zlJ?_oKY1eTTzy;hOTt+xvIVfBxBMm6LwoGG}MV9i*CAy^H zyKKZUrAe>mfrKjQey+j?N9n#Z)yU8X*hSkJY;3$zxh<3jgI$~da74^)eX?Pyhs^*h zR2Lq--=Q>xXjx=?`AadgyFye05v<6~7s%{?%d=emMX5>zpUjUFU;RbW?`y?J^A6*y zaT%&t^wy>kHK>iUnfJh3kCf}VP9l0ZeypfWRH%J~)<5pNAqE)}JMpRv5b+V{B`bY4KN5T#u}|=#VZtCC%wQkIU*j zdP|z=p?q;|F|&mS@Sz|8FDx{FnEP~;Ql<%>_@H`&PS4>}n%)q93=5rekbgumfKwK_ zHY`A{S7B2tQ+t?&NjbYYU;2}Spz}8SyZYqub1xEbd>VSHfzd=vFf~9nEE;^QNk`i< zlXl*bvrZhX&cU(WD+Sn*MBj$23l19WOtIERp@;E2q~jl_j`d1zp6~=ohE{{G)CX_{ z`209GcLdlD(5XG;G+9pA`<&S>td%3P3t6`>X-5Ex7GsRwi?!N#CMJ8n2HCp+Nma)# zey1B6rXx0eS>`kFp^taAu?PMJ?`%eYU>tTYe3FUT4~Z%W8brf_2+?iHgB*keporh6 z@U;T(;fpC&rcU1t@vSn>mX->V=JHhCGRyZU4cAU zUG!5_b1t+@nT~@(F$nlZ_m3*^fJ2@i1E2Tc@icWI%Xl!61r zJ@2?sS>rgLHO-(T%56#8Ti#1>6t=z-*tsZcq^!^ZRCZFN-jdf#U*encpQ^ld?pbuNU#`># z5I^c4U|AZ8GK#5(_V`_*W0{m4*`KG~`&Wzmm%gxKCLqx#JHNvY3MOLfh2i33RfsV( zCX`BxA>MZvT7b2CBk|-@aG=|08yjyE617VH3{1@FH<$GFXr5jX(|AdAjUvUEyEg*7 z9faMv<$G-U+0`Fb+&BZ8f8tfz=0^qpQbG)d3Pr(xg1&q{^#NY_H-CX9yjPyYh$)?X>-Obi?kcOkZ8brmp- zY3~1e@`_2c9L)pg1i5feP;geDYo0QR7=4RjbH5M{R4=-sf}JbzzDXU%(b=dgAxPD; z0Pn}3S#(PA$5}sJRvOoR`-8dzC~m32lL4h@?RP3M&*zaZ_bCVnQxlsI{6VSB5?5e^o11YHppaso+$R8dHyqhZTRZ+B4;yoY2nWY#Zo{CR@y+;t zcvAXus1NXaG5!5!m}D^do~g7reOasCDgFbHk87C<@kU2F$e_YZ3PeKuVSbD z>4TP7hS|7!(;nxQW+e(`%Z;o>R-RrBXriFNj1^!PGJRAU10zk^(A+M_(?a?MHr88Os&o%2!gz^Y?K)^a;Af8Q7WId3?=_)r#&gl9kb+!3uqM7PL=;KveLMko~@r{z&p^=dLAE95b_NpaIkP#Av zL-I>G7K)b6f{uiHkO*n!~m}DOc-e{_A&D)&D_t&VBL<`cV5CKz9t< zzR|ySNE)E8ThIwSt=z%EB+thb#LDR;A+{L#=KL$eK2S1mYtpC?tU%})7C z1F&s@{Tv{F`Fs0l)Cx(EbsQJI758>72zvl8NMyP5w)V-qFINfzLOVMS&m%S)0?}ya z#V%I27U+;$~`&C4UQ1AMs4uQal}3P3C* zO|^nKz_vVw)yM8LNWrMz3Xc}1sRrab5R{O&-<7Ue*-JyzMR;CDSPG5vU)qMzq&Z%nOURfJ0QFWAIg`{!1sctsnrX=0=$7cJvAwNTkSk-Pr8Cdz zIeNi?s#Buyh5B0AWZ-h(iTFa!J{C!q<&!yM>n(j1gBWu}1vFMqdYJ~bl+@@?=f=V+ zxTKZvlBr^=rXGr?eNk?xpVz(MB>egt>^3$c=Ah-FlLkIhy)LD9Kzm?0Rk5=N^k2pD z*-Rms(?L)pO(c{sD-!nKhT*l3J%9v``<=zTd91i%&OtFck(=PN6i z+r=Us8bBd=%F=BI_(_hy@lM|7!~z6O%Bb&qi#*;e-eva>TsakFJkYrlT+D?24m~2& zvO;@;f|Ca0XD7V){u@Tx`GDTG8`-AU6$`T{l87tZ=yJnR=+EN_sLWRQom~Fnz}b#j z9H|>)qt5v+8h7am_x?7QcXP0~;a{NNkD^`1k~(Yg#_9LI6SCTQMhkht>ABRZPJCQ2 ze6!*XU}igI)DHi?t|LYG5MX1~jr z%&(w|W*fgB%&A_Xh4rj><=S4)<^>1pgf!WiXqi}3yIEbI>?OAiiL%LRCf-J5-Xqx5 zIx61;V9DOKzCwTx`xUedDj6|=s#%z2Gx$nD0OK0<5D(WSHIi6# z#AREHR|A4~ov)=5(_)Ss8kxs#IKay>HU+F7vb)bmNSW@olPA!vt@{mkn|tfbkaGKH z96mw888Vr5s70cReK1!5pJ)w+Fl^MGHK?1B+JHZ5iRqAg&j#R{mu6<)VOnf+{Lpy3 zIO#InZP6^|jTv>7phL;s*n<58eYtrb$7w_QCHHAn=7S!j8%$L(?fU6!j^0)QMKpqr zebWYSIsk#^U~zPhdy$8NO9yVLIam}sn+;XyE=z3O*z`~8g&FuzA0S;cmIVDAf70q? zg$l;(J}yn!=Zzwt7*=1v?E2L2{Yd~@(;Nz+?ih77w{*7o;9gw$gLlnh&;rN8=zSC2 z&l|TVC^+VI93kCh6W{i7)D^{`Kt~8nC^LUd3_t0(R(y=rh~7I$0`cPxK{Ig7Sc zgs)CY?B&dVIywp=H8r_SudK#1{{=d`9&|nk`!V&XDK86uzc(5^xmsblZZ%5ru(WSP zEkxomIUvEVwZMegK)(B%UH^r%^6*Y!oBP-Mm0#t-kZ&o+pP=BRLF)K>OwxT}FN)I*|Y-%X8|Vol31!&`dE{r43} zPM)W>mqQ;P;iJT0hB^M4wl(&@Z9A8$(~mK>l~uo>TxxL^gB9*y0JPS*yRP1qsJG4y zaNB9W7vlHbu73l{&#x%bM8dduQz5*A zy6qL6q*s1?l*wggFjQ+}&dDDR!yy}g+{PxS^ZO!EjWt(Gu!L>&2@1}TA*Sx6lcQ9o z;G}J~KSfl!XIF{l8^Q@MG=&{Y4nv)F1h`n*21q72cNdgDU-350zG}D$irL8w_6?{< zImPkCc)kpJxp_eV*>*=i1UEBHpj--K!JNc+5`XJ`%!h>=6Dt4~CE z4aX8sn!tEQtWO^=%$_kPI1ZZhbkp2H=0YL*$-LlJri-Tc8c%GLl;3##y_WmQ{zQsI0qWsF)gjEv9_dY>}{5|pGpD4D1%&?F5@Q7&Y z-xXJWi#F^;9qza9#PvBGEccI;g8ELzx+pGTo|J+UNcj~YWM-bL@C2bMg9y_MGQzOo zh_{Q@O1f5=Tg8-2V%PIPzvUt8L~!7vQ!2A;8E;bZayepx0)mcqG&$n35T= zt5ibEj<~zfMHcj4&1Gc=0fBeIr~wG=;-0sEP-^ zm~FF>Vz}tuv9e7Be-^^fUWB{5(!ryho*y1cpLhJHb`FY1KeOF8=Uf>HD|dfzU|$!P zvShOh@623}zRUfu5|$dEOxl$W^H^=w8%|iwM`|m_98V(As7$gO5j7!BN-O(^&v&k?Rq%;V73x43%50;O=Gajw|^B8~|d7 zAVJNwm|JP|?(;NA5vbE)?|`i8blAzSPA2<3_RmlMUmi#xK&!L~4O;CJ#ZK_C8Tt}7 z>OIxMlAIFlVB0(cdOtP&Pe1~GM21j%PIT5--|0_f=fpu~S9il%WBcsGYHxr@_CM8D z@XySsRAJ}FsmK=3H(QbMH2h?u9uko>!zeve#V><*2Lw6pUI}1*%&ONW%iqbw^_EK1 zYii8UjVgl{py!2R2?O7}K0sLbp_^PSxzylaKP(J3j5}rlcn$N7*7804bkaZ75RdOU zB6Zotpf|IwAvP$#R<6qaB(UmtyIuC(`*D<;nS1+uAPG(yBt~(5Y}89~E@8+C+z*C- z5S`=vPa28f{c_5u0+;nY3cyZ;q%ceR;$hv}gm`W$eG=DOFa)1^ngTM{Y*z>!6bHW2 z$HspoH6B^zgI`_qXP6h6+~SBn3-4CWziV56lL=={lJe)eD?B?_z>L#0TDs?tPy>H>r;$lh^AJMG2vQ#26BL{wlS*-D3lF3#9~GP! z{r!rXM8N9e*AjRXBm{f8OXJpuphL<_%UB??DmT6y> z@CQa!z}uOFrx;3@MQRjQu$z7qK9&5IwZysZzWt6Z zklEAw;`Q&^slgi6sbD_*&jj48?D+uqkhc4PvQ(h*RU1p2(Sw3EM2-SQe0uZi>a3ix z45jBn=9l}_2S942Coz%iwwd$Mp~20!5mP~h(3AOXM&s(Ujj=9rmIm0FQ%M=P4DAaB z`Ff|f4-YwLxf8v$X`YMG{&5C2%YfH-1bF(;cRav{rHW}2z&fffR}=xfEL zO}^|(_M1{cQhpSL7CW8*CJ=z{oj);xi%hP_a9v7A^Oi$1ipC zCk0R6(psnQlhT)Gq{rflF=ySr);jIPtjZFlgp2w>2W70UT&sU|JFe$aNE4F*iq?Gl zY^hoaZ6&K^j`~F{f`%p+rDF-=qj1IFcyB#Wo}l0;b>?o0whZ_}is5b6sag6rZT_c- z1RlFNY?SyrQs|9WwgB5cl7bH>E&JPLhFiJbL_`QpLH^jh>c!5+j&Q8&sOKleFZZbr zfJd_{G>xwvABV?@u`9&klOkND716s73h!+jtj~6S4SbUPg}L|6up~cOZ=GGJ;LWHY z(qW~gPfK{XOSF9lY1)(0mk${b5a3B)PP=9!@Q%fp>4(2mneM{q+V;#G)b!qRBYiRKG?#$=_MrjjWon*SzTTuNDIl_R|17f>czl3#D*=#QQ)i zP90a+kqylX`~a%tI3`y3vDF_>(3dL(0itSi<)f8Jat2w2o}HAst^P3)_SR^beNsGA z!Eu3KGy!V2=s#vVZK=xH&SBg0n5<&=M{jaStFTqJ_q&nJBmb!x$$9Gen(G9F-=8G0 z$Kz%E6m|b`_p6`DFxq>mF^l>HWB{g=>l~alzoYifew_t(m#pMTUa1+3SD-jO>y5QQ z6U~#-mz&oIuu#C&@jo&S$#jf&5x0OC)^JU;PG*m#V?fr@l%;LM0uT=buVO@l*wGgW z{>ZuX=ymhpHM&Wy!2hD2326l_5j{b{iC$fF0Txu`&T;msk`&mI_(+j$)BSv9 zBP=HGjxi+_;ePYDRMk+XBBh(~jCTa_sBm2wHbJtHd3zOANdXw=2r zJF^~yV+ofc-NGXMSrhulh7f6!8dbc3%N!2 z8h7pL^X*^-jy}1d#%eSRY11iOGRf-m<7sew>SpIsb($AtBkL{QCMPCl!?MN9r_vGd z#eSVI>?$I^2zav*9^iN;re=>kK#+5-+geUl&h;@2)9%QJR3M-YE9A+%;3yT?%ehV1 zRG^$EBa?;hz_LAADQfjnC`>UOyO_4=EzoFtxZk)7H9>* zHi!7jvYjbEL0_&E1hnzlcNUsA>dc;Z%%P2eSbFV=C4|)G=c`OOFj`){ zS~QM0dg#=@e{HNrL|z^8<9&;;xS2t*mXa>-aX7ISpas|9*Qg~3>mXyoV^nf~7A+?GY>grUXGus@roL&gE)X8f;zBIt5 zFKh-rEr(-NMdgS@z5u&VGhU?07T@^3*F4PhTELAYh9@LAJUZ&jhQ5$vMGb zB1-&t>>JL;Yl@#7^&_RFS%m=9;g8rb?od|V4=Q~l=icJ^cG#QKy}rt}D|B2aaE#BF zw%|ZFWX{!HhNlUT!YV&OVX5Bok0iCf@*|;s<5YNk8I4#5U{Et5zIXe~U{S>VW7|dQ z)9KTQcp@>9!Ma7f0MZ*9peoli{#GjaU{Aw(H`eWTt%LVI2VyHVs73ImqV$c!}*)E{=jvaRj25frWDG95&^uYMkztB<_T z5)lPosSl8wahDuQG0$=ws}_h;dU)+vIzPFRH!FBTAVB8aTD6vU zvRU%D5Zj1-MoC}Jvoy7Uk|F=S(h75wQ3C+yLBiP2pne7u>HmYGoekbieUA9`f#HdH zQ--J2^7?afc)3p>f1Y0UKpvk!hkoavm}Z2Fy;+c)<+Xat?SCib)r)`SX$@$47iK~B z<$VSIE{qWv8XrA8hl^R5`BNchU})f^22z$~ zs}y6EP(Q4WIPLI7KKm{pMat_Rq>#m{YtW4)!7uo+o`*naQ%2_^%K^yM3)0H#V;9Gbi3)^UNtiIf+FM6ij>{ z(?^7li77JA4Q9ZB7AeH5#a8}@jnkzs){7Dxn*-4P?t^RlZ+#tqV5HbE1rUVd1}3ry zQK1iL`6S~~OTs?Qj*udjqqY2LX5|*uxP4LzP9WKo*`;-wC=N^_s%5xBbI)i`h;GE0 zLic@z$lzVV{OAK93=%pot@?Uv-Rf2e8de;*W@_5!#mTzzb`2cb! zXo4uo`Npq@#OFU zAhm*SaebmYu`0Cx1&SBd2#dfwTNRzy?Ny+n17b$QhY_#+RIBhNH{*+%fg#`=TG4FM zi7KK{z-ZvMJVqIsXi@TE&^mBvzbx-Vs{eE6KX8;@_#K)o9li0`I)?$!=5^}Dg8s}3 zN;TU5fkhE#{9zXZeB6~l0hOzw!35GA&32$X{<>jg@caC7f=B?dRZrguTzV z&TkkH{X)&{6ivAL{JIyMKoT+K{-a6H##k5#dgdzq!l5=VQdo>_V_Z}cn z^~DE>Q|Sd7$ySjFjSGFI?qv5&sQ6ut+1rH_68KS{9=aRrgzA35xhU_jAB zW~OTJn3J*cIyG!oAV|{zQk`8=F6`djD+w@mmVXXsy}nFIS1i<+yAHJ!ne|}(Q*w~m zEP~_rb}yccuug{t)#Wq6pB${ldLjQ9XQdDcqx1u;m2v0_CF}C%TpHYy;8DL&vcO@5 z6skC@(S7WaFH>Im7o{PO{TzPE^o&4jm+Sp03}~xK*PP48ADAv5FZ~q|?4b#G3mMLS zO%;UHicNH(OI4MOI9T7qUS*Lnt(iKuI4*t=JL^t57jq@OCut7zpV&9 zK0#k@-p4AP2fVm>=Jais&)=H1dg(tHh1AZMt?ZiVR8sTffTqg<>R|$0$>$gt-)L4-^0`u!>D0$P?_bZ=cpV&|TWu@JLjzd4=roHFc z$AUZt#D8l}T$jEY_N1`~@W1gTmyW3Z*xHN?vAT$F`l146&=OJ9c>QbAWWcmFV03vO#cIv^E`R`Q9RcA8|E^-1Jrag}A7O7{ z{`nO?IOaW0Z!Np{2B2T@K$`?@zHb|a;s@qxCk{^tKbkbJpPA3z8~@ut6) zPN_oWkmp-3AK6qF3tbsk)aYuMpd$?Bn+AX!cEpmsoU~`C8T#}i+}pD#Wd9ytLxNCt zbm!Kaz!=vjpT2xPee4T@1dnY)!v`_?z0NDSdDgrxl?tWi;wx^ET2LZr5HcHJ^_;p4 z>G3o;=CuZ;@Z}pa@EinN3&xo(hm=+p zQ)``udY0*0uxfD%Xr_bkn4^e$X%A891seq2&u2&{qVvVeM)HxC?Oz!waDgw>2k3}` zN-6Z73+XYLiwah`J6cvlH6r9wrHx(Ww!g|sZ2<7ecsy(k+Bg4WPdT)9bGN;cyv-{@ zz*FrC7XO??QSv;=yxgTAz>C+3XxTilXoYpe>wuxM-tJ?0RvAT;?ZXU_aCHA^5rBIc zA55*q3VS=*@=YM^qPHlhoZ_V4KTCzOm)eN+r29$f%Tuop&`@x*Mb^KqnJd_J(<|s` ziCmt(=CT_U^M;b|Sn8)fJz&2mjS;TR7(dW@9jGX2*AS_&@KkqP@Cgcz(%8@9Z#pi6>Riak#{U*b zFE&U){6WEP5-nJRSex=LZv(J)xzDY0!EVe25P%&FpO9Pth*r;8Dy_lZ1NydIh zA*dylJNJ`E=*A_X(qad~uN9x5;Fvc<|EBKb%#@VUz0|-jP;N(x-@UN(q}EfuKG$3t1RxA#AMsnlT)qf%3cQDPLt zM}Bwrq!b+UB9UmIa{3unYmWbid-LSl)L_&l+LoaG zRWrT;>~{c6pGt<5BLbxppXZ>&carT)!AlbJ9Y|mPyQ890B=P4)Mc|k>#C_iW?Qv1{ zxMzI?7_yT*q< zAtR`8o-d$Yo{>NR{=}tR&^Dqu5NA5DV!{zbfy~&hFfW$CC^~KRZAqgP_=Nkm06*qf z8s69)<(o4y$f;@J({_@j@0P|2BROv)E`Lyr zy9Fdcg$Qf_QD+`APjCRN<91QIf=OUF`k9AuxXtwOpnFUvDSax*lTX1h@73d{KN1Id zS>+Za)Ur887(>S&qPEWq(d<@~Igiw(=8V0KPBpxthKmC!He%^?`9QwEz#It;34VqZ?614TG*D}G9JF@>p z%t@d@EIHZYOkt%8klkub6!B#2RkMVBdo?h&z87`RLYh~%Ppjs}8hKa~0KR!az(z|+ z^E;>OxYlirVq{}ZeKu9v#GHjQ7^cK7C_Ygualj2Ng`GldfU=aMx`#CP~R}B zfI-f&BV=J81|9fNA3!=Enlc6Ghu2(h66WW$+@E51f5$UX70Vo3td&CN6bDdRWZtP} z*@_wLY&h?U=evU<8uERMu`3ppE>yF{5oeyDU?qnXa_PF%Y8Lc9(;5vyGZDED!8s_c zf6Ml!@ecIp5K#eF7|i5wT0T!Ww?W&u1P;h)&$HpnZ z9W#j2a2(p4x52SGDSI#jLrr_7k8jWTDz_98V5v=GY{N?JBjPoih$q3J5sI6r#PP~h zlzuIeZLh>H4L%eExF87^s$A-#!7ZdjBfT{nHyjH=v=`Giqu=&L9!W0W1>E7xl+S0e z&8Lf8XR>L8ZC}TdY$4?D)oZjL!j@Tg{stfF14K5*UKAi=U^MY*XciRqoKr5_qNV+2 zU=nEfOSk&pXe?l2k?UD?`LT+{t|iYj54 zT%uaa$-!@6tHeK{7cuh_;s>njtN4gqn@l6XP`p3?%U7CUa}=NC(Gdd0wsD=3-s81y zlGS5jr;nb`$4KD#G^)Ub=3$xc^F$#cSq}&8uxCVbpitdOjkUKHRuPZ=8^H3YE1k8Q z`nw)~6NOJUv|m&k{*gk1xZZ-`##u^2FY1%hmq)J;;K@c#$orn8w&IMqkt&>=Z2hOU zwFo|P`K}}Ln-4nuk$^$6Lt1^O?(As$#0EBmpGaa0AA<0X=C@F{r+fEypeVK_2*0WhimvGVZ&&8_MLw*uZ2xcXQ_%S`S0YGYd+8YB?|t> z=ZamD{l`DMOAE>@)c~v|8ykGL@Of8R%=IcPqtMu|Hw|$^%PKwLYZ69NYR@%LFIW0_ zG&n1HTk)6F@!%pv#)uf3oR;A*#?&#QP4iDF<8b?@#SM(~r;#Pwl;sXO^(Z z*-~tEMMr+7dg{kr{?jZ|!6XPO3-w8Z4Cxk&!yen28*)t#+oP*}Tc%-f5rvunSY_Yv zC$CBsZ)OPQEHb?rWSkadvsOv-Lx=hL22xM|`AYodNY@5p_0*g2Ncl5hmU)*f2f}KJMPmF2oNuPC~thP*l@+mmu zRO|iNZwMKh0PQ5v<)Q?Xl{_gf_M>FWWjupY#>Lm2$N-BB{VlYw&9WNBd6Mm=>hD}g z$s^r#Oo?Wvb=4&?RE~dvDk1fmreK|0P$xFfxp$+TT=L3cuQE+p1%ANva@s1L1K4GN zK*a&?l#y5sa>YsG<92lG$C8$Q#e2xR!W*28*?)l^uJ3;R_?0hTJN_JvQ07}w?d#&d z>>5S_X8Gn1vYP^afG#wFY}t`2EGyr2^J1`eKef`+}^JziSDv0#h@R%JtQ@)!H##}*Fdt-^T}u;6gc${#QyUom z2BC#^0 z?(KCo55}ZUQA2s5qF+MZF@}Qb1$Li zSNJba4j>@5Qk0w*%)i%BPzxXu&7UVN#KyS=EuyK$OGcC|1dy4oid1$z=rcNZWEp zO&Yqq$zousB!jtb5vLxhT@v{4>dq)7&Z7<@tC0uOGL=N;f~)_?v=hT9aNviN zFwy@wJIl5zyCw{?De3O+k`n3emXZdgL%O>Kr9o2qrjbTUNaUcHT@u8tI?8|b5*`eFe)NKX>(_Vn4ahWBZE(7%iiY{hOT;fP z-{$W;_{n-xc<}k&0Qi2*r?7Oq4-^RtLaw4+fOikmYE1WXrV8x-k&t^%7Z?hOc~R|M zP^`X(|3yP$Elm>oqcTrob8Npdmf?0d_1`>xzAx~4rC7h#e3LO?K~xHD5s~g%uq`h> zkO!2GgGX)nHp>(Yg(MBm;1&sxCT@4#F}H>)z7+D+3DjTt{C5uPL&divVvD+KKoDvFccZ|pyA2k~5O_wARkH2(rs-Y89sgTc*8wUTy;YbEr~_8w@v z;;(X?S4MCQjdk`1(4o9(XQrSszZS1>0^>7&prP>}ZTZ}54xFY%ML%l)p|&CbSdOU( zfU<3F5-8p5G7W%oRU4jfK~J0N%z?(R4LWsC1z7a=<73gsnt8tm8-471!1|gGYI34W zV!_B%=^G=D82J~aTT=Q3a~PZ}u^70oQMJR5L^uCta4WCspDHRtX>zTdWf`xwzxWyjrbHv@(~KafB`Ux<+K4p|QeW_n!Lye|7f-%bf= z<4iC)eU)m4Ku-f3&`7h?XN;X?pM>*gbYU1KN5{J+eVb1ulzxKc&$btj2{|+X==~E_ zUX6+BGvIf$KaMe7i%phZ4s(?gs@Jpv%N5<2 z8L3RV0kH1vbJNJja5 zg`cRIRtp32tSTC1!#@COMr@s`WjOhM;>n)WGz3S;7`}Ro9p36sS)L9}=IM zsQ_4*@$zCqZY_Veg%I$lW0i>9!={+v_B)kjH!R!$Dmp}%g(;k5xJ}>6LdLVjVq*^7 z6_{}-=>L8av#B;ey`_8pas>pSkHEv;9yuT-7`gw&>HSv3q|Rcom4K9xw-*!Zp+ryvxp4>?F ze>l);ZYzo073{y>Y>b!f1-3symB$2#6@S8xl2}hfE@a`*f!xW*(YK=j%-Z- z@1gH(>O9XYQt}sPD=WS3@2V_?X22a}P2lwBKf=|q7bIrrEAH60b+QPnB6s9y{M(_< zPJLkL^P@Kaa2%1{nVT*Zw>Nvs_~OTEtn%LSG^ITsf6El?o-`AME}$d7x;c+AJMHoX zc#EpgIlA3Cp{*YGitePe#$rEEtL$H(qgBw~8~$EhF#T98!F5r2;FRS5B`UWXK^gG^ zwIZN(86fb?OhH;Vg!_t#^{S_gPy|%u7j|);tY9?tl0SP>^5efi^KDC8kI`=tSVQy- z&lTv$?sPyYe0K`Ov&F_=Z;#Hp02rG+S@Aemo#M~F1{s7p41Wd%#m@c7d73`5?2@vS z+<>9aA2N@ppbw!-_eY3Xw2s#LWh)FM^C=SJcqLwg6HONiD}+8p00FE8#tQ%ES2ZEZ z^O;V=RoN2hyc_dxc=qN%^s+OvPa7yme3~;bU1e_BHE)wgyY<&WjH-xslTl#A*NhW$ zT~&Dz))SDxze$j5nxtfYxng=Z6^DS&tU!#0i5~Z6J8SMN=k969JRb@I>^-c@rqu_B zU^EK%^4C2^nR5uLa$9Q&1hwYkK&hj3lMlCpCE3! z?hV82#Ff07Buacwck)8%E2T39`o%uBU=JAje4l~_?OU%!w1Eo{!~Ehfg| z_D%fEAjuW&?@<>V33~ZGE?^6Pkh9wqF2px^V6!WyJ>SCP^z!~EMs#cI%)COK-P2YP z5}&5#>}ZVLdXu$MmCMOfdfy7D(HYjl=I9M`%*$uL#+w8TQA|R9cxx!N85DjIpY)M2a&+&< z9zs(LKQa4zpyH51N99hiBozTP^-}1U2>i<9X}Ujne38=SiqLOJl{2uey&hlNa%C!l zl|o|PVeU-F@d&RlriADz9U2)A1#Y)*+!&X^f7ls~9^zY30UM68e7FMe0$IaS@hIY=#NM+QS7QA$?RoFPat*=&6q^nPmAeoguQE^rHnIqQd}omf`X z@N2+&cv$^4jxwW(`WODKn_)jOf5uqfQQRg0EBGivvbLw|>E}ZOfSPMwHrojwvFno` ze4}Ts{6}enZ`20|?pW)J{0vEss{xIc55kV|VU_i+YW2AA+^Q;t)NCI=7<2rthIt>^ z)F%nK(#LmKCKI7y#$q4Oeq_#1$6Nf6ee7_u({EzI!SSLdlY_Siz-APHW?@%sM%h@| zxWsvNqJgJ?o!njeQpaWTTsSoT9puo*B`Bqix^ASjN*rd|j%19YWOe%Hg1ev_$SD5q z#_>%?AwV&#PJX!PdBQ5>)cmG~Nhq#uh*Lso3IOm4# zCWhv)nS@?%^E))n7;cBg*!-6oWljsg&+#iav^4t?KT70*RP4J>NjpWu*&Y9|yVvMv zC5n`%j0A~KnS+0lN9r@V7@NlMmSy1Rt5mE95|)@>khF^$72_uf0;43*sl4|^D{ofT2=`&RG}Eduwj3fthtj(e4@~&O`sjFXb<33Pla`SUHCv_ z+T~(l_1pd4Dw?`jg<=egV3|bYjj#qdke;8B0)X>{V6EE;yy4QRHoa?-i(Z$J{_U7u!l!!>oBW&OKYFO(C0_*<7LqI zx0m+1^VuAtZ|jg4-&c2m#K`35oj6zq$J= z7yz^Gk$!TkJYn}>C?tX8v_ti$lO>4Fn$$oUD;!U^TXok(nIspd#KS<@o?U_)@M}pC z(KW2Ht!==SoBZsGJ>$JMzwP_FhZ3c-7>%Lfsiqhbr6Hw$XIZo_9E<|W;mQXqb`|_~ zH{JUa#ZTVnV&BW#69Z-pH~u!^jIZ&prJ00s=XUj&HAIt8zJ%{oFm|MLP&I&+KHsMx z;67IL)F9BceaqHl$W{1Z_conGoig=L(pS{i6G|!A?ttMakw5e6WSh7j)JYRSBnx6o zrn5u&niWD_Bp*&Mz6col{2}xBaavAl@4G(nKjc7Fa1fP&0x>=BkC<4LUK~YGY(%eFa%An*Qaf%h zpXVb_3EwYPD^dF$?q7Yv9(4wA7?qQXmxe;oJGP;LJt1*t>g$^dQ`M#E#B8Lw#E}j# z^!Yvo0XGD?S2ASnxT+$(A=t54!o;-d$O+a-tD{KlF5H}pUjU+v!Je}m|kz14&B)5go3vmGJX@beUET^@s;95S^bif77e znqb>cU??O?Lt|3eZ|p^!F@=4%=^8JBerbF-;vhbY==qU(XWE@?3c&Qw3T8U0V^<4Q zP0{tqf9`(c=nX>NO(twX#6Z;jx2sI%eip%YD3UyX^_=b1Nylhz5p4oV`Svusq{?H; zbg2+P^xT6#l=S}P3hgVZ3J23Hby`t#C?0o(fU~fPH0;=?bEM}h1p#eFJIa5^xAS7Y zEPNEr*iZVd0yXSE{JYje^iUz*JD&wmaFq038NhOL+TV##DNi82m`Xd2^(<|{LubDp zo%ALIoA>!?@NqBG-zY|4jQ|=x{9DJydFt9fW8nbW^qWC|QB&*f*~JDhVmMPd?as?7 zI5kj#3A!p&Mnog~ya*G=A3DF@Fhf1{B84Q7E;rqmH_#*(Gm#579zOl8A&>JLS)x&-^^%{^G1)ve*cd{;|-RC^g!pu8V!?R3}XDOxxo9uTRZ+RyCJi$tzKTZRHtB+Rp zFY1yCOWIa!uKw1Zgm#UK*FFR@vmnx_O=FiS18~ByAL8|H-K$?C*-cPGsaVaMgsXf; z9wEgPxD~QO(gZ^x@o7pBPH6pq=~#A1l3~)BHlaedr7J=&z9+dG8;LP=C))yc;ibna zj#_cwzs#L&7{CoOy^Ju(6ro3ayg+VU&6!pH7ijR91yNsFUw0U$f3I+ww$E+CK$-)a zLKu^uY;*pFlRqG?L8F9d%CC%SKWxQR9r$?0jUW z?C{Znl%?q1K|0s5$JhQjXjYj`MR<_wQxOy-O5X-jx4Qk8;d&KuF<GK0A0JuZ{ zJLA1g;ByvO^~1VG)J@AWEz=nxZ-eprjb%bIoIik>eG*47L|z|7PLgKoHvEE921tD$ z2~W%+{A;XCjq)E#_&|V;5xs-C-^Xw%@)npS4F;;YBXLe`xgRK(0$v!G?h)aDFPdZD zkVX)(jcs(=q?r2G8^y^5_F02%0b-lhZquk zs8oF6h>O|0l_y6U1t4s|sm|b|$Bk~Gs{=sykx;9C?#SIYgR0;pieVTCP=Flz*g`UT zUpi-Tdvm?SfWP(Lj;Ee#6W?z3N?YfCW_p(}g9lLGHHzbuOdo&$S@pCx^0!OI-$nfq z$8vP&a;7<_Vu61s_X+^gXY8S=ok4K7pIzI9X2c3aph*O)n5zn~rxOX@p(~>RYzzsL z^kVCZB{?NB)k=Ps3y$JJ35;3!1k&*XxhSJgO>H4b_%)1`uMh}2<7WnI{NHe9#Av)g z_*xf=E512GmPf6ACk!xjxvo2S6JsnD4|^rcIV%U6sj<*`>LW6Hh5P0-H~+&;F$g$h zlu3+Ayg^{-rU*(+0rp&RaxnWIs3@3MYj*($CpN$%;TSuiR06BSx06;k#NpRahWKFn zEBoN<++3q+KtBWQ)8{9A5Ww_S*oe;E8|ni;=^VE53f_azz3!P+`N8y7H;g5YSq$*j zkC{`X3H5Mq@qBI+wOV-jLqoTCjyAL^OF~bC?y?vd`uym9EF(#;V%vUK*sFv~b*U0W zdBtUE$JzzuJVfF-9y?^Qybin&zup+oxjhT&Ty30c6#Tq_RE{n9^?ix0e7W@gZ-+DR z6R79=GyqUq?bWxhcif~)SsT+D9@$>ob~>rCo=YX7K55w=tzCX-~Hdn zmFib+4Q=B~Qzr|x?&8(^)14Z~g@SW6HIC2iCN_1&yAFC#VYT4wR8SvlU}fT7P93Ibf(wH}+G`{=-# zxgV-Vxe}Ck50~O1Z@);VT%~0`kD~`HK3o0Ge>)hmX0>5ZbSyQEC(Z22;1bwI6TL$7 zwn4KT41Ip;1px^KPF**7x?I>U$K+McCL86GtBvXXTAwa*9jIImF#7?`Za0pdde|Bg z>Z?Pkj3XB{WLL3B520>lx>mC9n(RbiC?vsa$%Ghem+X+A6S$<{rL9BPb5+cROV3z$ z-@tx{Q5X3Rur$pNbX+Gs!n?xE!9diLx-`;l;j#&NH^*)8*b`e>2n>ZJc$L<5QbF^m zwGlp)bOxwKGfeJp^E&o<CV?U zOWqX@%(#M~keF9j9$>4z9V_NSJ-b$fO(&N2oy4zt(-H>V&m?6Nq?-rO7oK6rD%}^b zQ{iy@7KrgrA8`BFm{qa+Hm)+-O8y}Y4247~XG~Y!wg2Wr$R)E?FNofRs5?m!`t@1v zu0eva+J%ZT@W%f#71Q^Fby0}y?wcjfJe+(46~)<*_A-Ha*BPc1J1`UyrIkYmzt8z1 zKjlyQH_HTb8Vh2R#&QI0ywPE#seH-?9Kxg4fxy+gOHTdW( zwDdhUtLGmMK|z2;@ddlpNw9>yS@&A|Mqq>O5`Lc#TgbZVd-%u+KXj(YO`DAg(`#Eb zM7tQ)>U+(KVT{Ah1`SrW9?LL|1Shtq^GHaP>anvQ_!uw4y{e)a&5=mcOs7qW@hx*O z{B^>$xS3l|1(+=M$a#)g#2@~mw=Wm$ReXq;F`FW0R!@8{>u$A*^cHMhNPKEUTt18U zuI2q;{LdJ7*65m-c^X|;##6xD{QAPOSLXr1v>L5N1tQpW?-?*_U0KsM{GQDSeSOF4 z&{WNf4u?1SFHp{gv!#HG8yg<>Gz_+C{47G7`0T?KgPui;Q4u6!np%J@5)TxCny56B zfNlI@qG8ex^w1zb_@-HJ z#(#nl{4`FVA4re)d;B|tG4U7#wYP;QJE=Ub^2jxpIQV`EIP6|VvmWdFfVkCU89ehC zh(sq8H$M|WCMny#t|Zs!3l91llakQQrGHUc8btCzNeLC^7^?<#z(6&hF7v@mY6CQZ z**z%!Gad>akW@>)W8SjMMs%xX8q58K7ko2a)9M;uf5!XG9z&Ku=3k&B#4{*J;e1qI zXH^7}3`G-*20O=G&}~1uj_-<3D}Ad4ERJjRQ7oK>b_^B^SPGSx5A}z>z2U1;V75OX zBld6d`WNUI;!#*Vwm$z}(FBP+ow|3Ec4;UPX+6f+HG_N3@eP%Lp9;C}h$Ge!_T93) zF4IQcCbnHzxdwS!SsmgMyb$Npff>THyO@ChN82UmHuR5s4GH6WxS7V^=r{wqE^~gP z28Q)iv_Dk(0t9cA)x(0i$NRKP>jP%zO;FL2gj*?VOE7oc6|Dx^8No`Qzj6owXw04G z^>3OfMIAm%1zlSXergnpk!n+R#TpD!mTex}08p2Z7&6qvk?!Pe`2A>KiZ0bK2i_ZG zw~VL2=geOxCV-*Ok6sWUjP<$xdnQ8Jx?$~dZ)MP1IjP8YGep5xQdD?WiASFb0d$q? zyoNU75&zzgHUPz4 zaD;fFN$#L})O~&L*kaAj zfO&;>uqEIrx{6x)c?iKu4A35-LK2!bF>w5mmQcm%^h3t^4P?3!`q!Pl7e99^UWIoNbAUy%zGOuR{dqnwca(^I?r3m| zIu1D$1c)JIduz?prR~@eK7f4)c?E7-Dlw*QnP=*x57cR7t?v^75bOT_ekU*n8-J!_N>dUnw z3rU*FXNmIryhWQ#6t|yOc;n}5kgyC0m8-t!$3Lr~UOP0g(Uiz~QQLqN@1o#I`5v@) zB(b#shCY9}0s?^1h`Fi_Wxuxf58aZ$C-u?Q)EH#C2bXh!&R7-c06%~YZNg_#^j^77 zjly-VIaF|&L|KdwpTeg*EYQQq-SX+N7bMVgIsE}!1LCF*k><&Io3GGs_YhIq;uptA z1ouOu47nu%@5#|N&tzn#1)Ji(QUn=;*ev;O-*Akx(Jp;)%dALa|3&E!Rk++P<&O@S zZC_TH4E*hoas=6d?aG`lMX%q!bYEZr9Jcb8jAV}Fkvg^Js$Y~bB@M##n~&~)oYrGW zGUF$Bs+WPpr+7c>n_>}ew8Qho6OK%VysE|F)vX*|cDk>`maOZW;{o!ptaolq{U#n9 zy@d7$?KavL*kt|d@VA9r?&ZIeG5+C=P5^Lx}S)mog8_sB{(@YW@MK*jz@|?ioLi}o6rU~BwSl1cyg$ZLe z+FV4IBru`|nUgVl@hgAR!Ja|(wSHysl#w8TdQPtggWBnCv0`dsMhZyxe^hR|GsZAv0S73#q&LWLawOEB504{|nUfp#gv~mfr)4 zZdv)*+eKr_OWzamcmEOp-ndzRF+*hc=jgF<#j6?EQ7fxx#nj+7&vnX8@{akw*<2Nq z#I)U0IdRULzyD(1^TE~X_pC#_bX8Gf3XFWmz3{?WN(>Qu)vZV`9A4~}0WyrMQM!l7 zb)ms{8w_fg8M=mF@+95MZu1kRnDIiL8Nkrz&!+*vxZ^rc`FY9g_HbT$$kh%j>n9k7 zMv@JXV5(BKp~GS>@G5HN%a182d?nL{YfoG|imjn+46j#zMK6R7h8zw>K0*!!0d~7h zT;fqXx+lpwbCz*@QCl?xWy{?&h~c4qglgjLW&rU9EUL>XGn2wQTl`Iw*0*$_iN!Ex zO9bdy))xwz-2eRxw0?@=V0En~Je-VUPWg4}UtqePcI{J_)*aHXNU_DF8zuN%-e>4mV#g?~R95dwmlHir@_u z>1;(LT5u%if^f7+H=O}>c0QTidG_K?f^mQp0pay4x8SOpow!+4Jq#?RPZk$o==04B z0(w6N3-B$?6ly6axqJc{_VmZ*`vp+v*bdwBv#|0m z4S9}tQ}>ozXUvY%`cA=6NCIgVfIbVKVVoz4XfgZU+}}DoGr@8Rt@|;itc$5Xfm;-y z`oV__LWOzVXGK9aqtZN^QMH)*@$BsI18L7Wmo5$z7z&BfSa_(nB=1@I(W$#Ee#!T7 zHu!y{-wxKd(l&x6R&+MB1UPtu;P3~bv;4y6ZRS5@{0cb|h_9>~%iZtQYNvnm@Kj>< zd}si`FVHvqw@lqvQN!l#&Y*7RV|7Z$>RL;(`Wxgt9@GuSF4Vq~ z(_*FrIM{UW@8Cr_&WaM9He6l<6^l`d)l)Acum0K!3W7^hxTMJ&JAb z#ZdWayS(*G(Eq@65<@ZFntMVO0FpK53I|xG*Wn&%e?~~BN*qJzbtCmf7KlZtzs?_B zc7vgi44G^8)(kzL6%0%fNB6s;Y!}u$q^#I!HM-S=;Q@&icQpX!%Id9?FD+E&dOW}cx(!!_0D@dUGo49c(y=ypxw5;%%2#JI5LfqoY-YM?x3b?`1 z%JaAb`l%ndWBt1ukUjl6uu?fu&WtF(DeXMgCJ{Olu3AiafR#Q!kU+pCb*-^O`jy(N z-A>+%{}9YQeaNDwJ*F9V&bR$T&0nqqu$7KBS*AKeDuRN`oRtF>yD^v~$I|^jQ{{ez zx(u*9)f7Vlm7*Gw$NR4pc9NirR7n}(gfY?G*?P2MT{uhXMp0}Z3c$_fK>O`dnceX{ zLa1WplifF?FJd3%ufw3*755O3exrbuK0kUvz+Y)U-rR91dpm?gUHZ%<0d2Q862j3B zFkxSDB{qoHxq%my`EajJnVN>@&kG+c*Z<%h_z|&85qAnZA4tHxTHJsf8UQFBe_P%~ z?y!^~y{S?8G+D~LI(?cz>F{+iQ#@nM`b8apaF>(6_g8X@XSGcF=S3)Ncpw+=l$_vT zY2TUir-%NOe}Q&n38)pKqnXjf`ehMWid)ihsyg)yICaP43vi1iIPn9jKDj50_YCD< z*PDI0remoP{2FWFYl{(d#1l|x+e#0>(C1HW0l-2q`2ydxLy2ep#}9AhP3*>khFclB z%&}+_FfZG?rl0_!v~=2dzs%n+ao8W`$~_P#HYmAe0;Bs!7>*-M++HVvp^yxj1ily9 zz9TMmp7hZE$bR7uPM!!`_xVFHN^r`5Qn(mR0MAjrQam&EJA;=>jye=%?f-2`AR40B z>r8si+%eCgJ{4X;61^Yc!u1nkNht#3H*(s&XxA?d=CYLwS@nM*tf?)wVekU9CAx3J z2_2>c4F*=ZHL7Ayaj48FU)tq+X)Lk2{I10YD}^L_9Z(AxneRaH-&xPUx@|B>Et3rO zHT8JLAQvhW^L1Xn0#xirIJr!$o#++%O6$HFVj~)UgNx_tMSqBU7dWd+{S^#-zIj2w zkFQFJ=l++-o}cbTtXwiKrQ}8G|(B>hG`vTlS#hc3+s+QH0 zAAvUUQQtueW;bKsg8m+oPrTE9JnoU;#@!d1N(|@w3uqno7Scr)&GIBQtFZ@LaG+2I zf}zh>3Id|y*~RWfWgM_eJ!+E0eA0PIZuxyK@}zKl@rpMQ1>*q*{S#dlO(;5EnKa?! zw;yr(jH!}32*-NF=B=V;U41V91-kyFb+=(F@uhfBw%$yG+{h291`CdMRtrJlL?|wV z8A`w_WT3#PXC$}R()##JHS-HJ8RhqM7Tp!rjo|G=&8uB7^!erm0jc?!0!VhSN;ElM zwuTm4<5sDJRb!g;RYlg5crzhT0C)q=y~QT=08P%(DG2(5at~jr`nl+8pW-vnoz~eAi$$BGKaxF!ii< z?x@zjVn3FyAkc@pZ51<)x?_kT2#O;Avi>6z&95uyOWIb`PWVro;yNyCoGtcwBD8a( zI~_Bl=s%gKKQktM+!3ZAxRFi_Vk9w)cv?GMN<^BsY1F`Hplg`IlUN&bVL}hdRP?!vAPtvxi%ilX6c2O z+Rg>R__sj=#dec}KqBfA zUp6J6o;4JEVmV~F#)lwk9kcSm8}szw&6{I)PGc1=(X{OqFcgwNGKEpsPl-C@o(qD? z$(oF!g+4Yt%?$P|gxWCFbo|ln27F*64Yu@sz5TU|tZH_UK}{z8M9_f4+ROxl63I3? z^9*t*2w>18ZM2(rrM!@?eyAX5lYEyImRQux*TFfyeoSs~ZVoUp(r?-n@ZY}^W?cRR zr7V=P#iwx6?2ReGG)XrF z-X(&e&(BB!fQ}6zZDQM7M4{>>+De}4w<)2rLA6IO>?U>ob8g+SYywmr^2{;~B6|lU zwCqh}HVb>Uy<{~D^W+ofZ)>%~{3HJbYEUw#doN8f5cHDXG-wX*xS3W0I=A&Gu4yr# zWQ^zWB3@)c^tV1Ib_KF%$>cc`ak0wShNN;_S>lDfBBs7%VKNvBiFu{4=~BCRWJ40s zewN)gu^iuHiNrR}%m`r`WY$!pD|Z0`tfGc(K0}*~x7f%vC}>f(3W(wHB=VEfoCk%j z#Eo)b=<|mR2sowJ?1;u`DG1@VHX(Q@j8sGiM3TL54yS5)zlUY(3;^^tTSy>*uXa$8 zEDi*+r4P)~a*M^2n8|zW&M-jl!P62H66na^I-c2-Nzsq=I>CpwxIu!R-3$Rkc>=>b zB6?>q;=6#MO3-H|l7TWs8~6=STp_1La#)2vSEsa+^?FAw;-5RPQb+>H!&itujOK=y z7_%yOTPF1n4&wUNp0Hi?_GgR_aK_l50Np0n<_T581GuQ&(7+bvK{h1Xc4qkdeyI<> zphz;{A5K>u-$&j)e%pof=3@%NyDwvMRQr^I-tvh7%L>2JRyPjPtL*?c_|a>MB(w)i zvkvYKn~lJqNikmk5%gywx4fb|NcjF#Q~Z4M1_0BwQM;!x!zbB4tj!|R7_D=xJ`bl& z`bA)RBa?j8`A-p0V?QC@hUcQsbIFuIcSchf8*&l%_U&&7L7%{TC4RdIHt+K@5(ub0 zWsPh7o{zP%d-5)!q6T}y#mnHQZ!?Kzw7X@jVJtf!x4=s4rnK(T7x`IQfAG@pq*inr zMsE)OQ(Bvi4fW?+$e{rM7GVZzMeEPu+BH~@c4hsYhH>RT;=5s*Z}3IA$}Rq~0Ax#W z=Lk8TEQ-T(LYe}DUMk$R@KZ+e%PHHbxuR>XxM1k>0|^9hueNO#&3|@`NhEyy369yc zhdp~iIBR{;F*uQ=F*0=qkofXJ?8`z=MPbEb(@sx;3XhS$9>pOwFoAu?5`UaqpSs#W zVqP~Js#Kzs37dPtrDSTtNROcHDqKBkH64w8}$;14AK+-ajWW0Z0^>ga$Y$V(xhx ziAvJ*IXAN`GhT73c?0@qCTaSuPO72h9iVt$O*?%355?*Fux z*@vx_aYy#r=$yHn<i zo)>Qv@!yoLlrJLVH6>W-^8@LzjhXM}2|3zOK1IE&MCU6*q7OyZ=7$EanlX9ya!C5h}%*A5JHc@;d|)`1H>Eeg5GFDgY=6eer9h3{;3kM#E1C z1q+;K`i3b(cc%>HsW~8VR^kFKJOS1Xtqi-UUp^ZzBGjt*=Z&_E?=chyr)Y^MLK5ph4$}P> zrGHd@WWT9YLm>1;7nO29ajGwfA=58uZ4QCKQ$prUlm%SXVu}%roMCNJ9-jeMPOwCW z&e8T$5tU>_b?rU0M!Nh9blXK*d27uaIfcvumLYGWP{wjv2vam&MR1V_+C5$a3s63p z6#?1QUvnNit4(sf*&j?frNBkH+%<|hs&*J=f2#e5B#|Q(>&p+RX(@dg=vBSEip1Bq7O2 z$E~qz%`+&nixn3YKa-hqMPAgo&&_jcMEe(_eiSPPSgypJKYYJ| zp^zwD$Ng^PD0>(#Br|v+8LRiQpWx>L2fX!d`^kJaGCsa5z*Kj1J(W%On!;gqmFT+g zy37vs{bc;2eBtE+o#zeg)5-Spm4X0Q1;hVfY_osy91y{b_rJWmZzZG>Ez1;(_Vja( z=Z~fWgjyU1*-qn3)1vzHbbk&~wRY#xyybLDc2n4b(Tc9~1S@_13O@kY<`2-0RX{#$ zku+?7$m>2P?mZ@#vQ2iLB@!6%q4yCq7L> z<->}cNRv&+fV_as^0J#yu^;SQ+(OW8JOc>!n5?a3eXds zJ<^;tyTMRm?0>Si$ZpVCR1>_g$j9c#SG za)Gx_cLI<@A20Ywv5n8CE2~WfN`C%453;3oSe7(0Pv%P5=6TtXu#gC7iq!@FS5Cgi z{gqg*83raC$IhBcahdd+xV>g%lt5}282Wtkf&l6u%N&{8X*}(W1#vW}p_a3F-#-#A zgFV;Qc}t5Z3V{F|nnL|$n~dQV_iIp8^+T0My^u%!Y?V&ggv$J~%WIW?fs&kXpsFqY zR>%}GT@Md9SnM=Q%9bNaVxH{JODeC3VgY>TDIy+Hvt|?RUS)RFWVz_H#WQkNk6^v( zlKXR3h5dB8@_eO_D}2O4^z%(+j(193aXho$KHv1yqv~QWh7mj;XKiz189`ak#O)XtgSTO)JXBVl_UZnRjjYwV=e(-_t-|_SU8#vSI?G9 zVe$JtZ~`J)4SFUa_h|rtDJamdqpaR#@l9+&hGI4?|>ZX2bh3d~-b*w>C(8gA0tCJCpi+XG-IBuZJv+_q!32@IM~28374 z_%cpRjvJ$o^$qdddyWjW4Fv)DUX}<;r9$nFdg9T{kou0q5c9dw%!NJ}Qr%qsw|4)O zkZk27<|BgeJZ4*ZNIAW2vLYBnAC^^1uf3zV=}hl7iW*{^uf5J;W9tdnywA@K0YDZCPZX4JF3l{8 zinGA-&oVCG&$%nqfBxa5s)G*%{`&rty9uB_?|ajZaqSPi#ld^I z$y1!VSmQ=6@QGHaVJl}9f6){SeSY)?03%a2a{@PSD_5B~lqy-s1)^@YL!07P`GM8i zj)aHp0zmKY!>qS~1cgavh>B6Ge|fB@{eYaV8TQ0Y^=3=-|MySNhk}6P`4U}_r4Np$ zMU9(ZcIVZ5yv@BI5z*sbh@EkICD#XlLc@O~1za#B(l|=-T#<}3f8xS0UtQZbCluNU z)96Y3Q#n$V|8KiM_4L4on>!~cyS>O0Tr}O&cWBF_E~mnXO_*8${jYg#y_!frX1}@X zyE(cOsG3p!Q|n7+>Gyx*IA#Z)N>`q*GypK_%~v#kqt*TC2-R}cHj=%ZkhJVSW%#-Vd^&Uv~PT?!yci8Dg>l5X0x;MGqwo zXS$V?i-)Fmw@3?K=_M!}0=`(G@v@S2F!cFKAOF$8D=_@3YzcqxUp+sZF7@WGuvP8M z1ktO;a_8J>#(+sc|8?*$Q<_=p{iw%Z2$)4UYg0aOE}N|WcivJ0JH|2i{-o@9mcQ*his7jvNKw@e@g6zyONkVR_-CgAw8_iv?DddGz*u*s2T zp1HfBJHe)~p!H_RfuWF?SKu&IwlC+*x^e2iU(N=Zp0hrY<~ zNA|KQVBz#4D(*E(N#Ag&C2vHwwCU3n5M`uLD?e2nKr+iXY}ENxeQw!MH}X_mhD%(n z`%M39uGU>q)p$NkaO89ruy3v;N$h>V>bi0qg4saHYJeXT{oux0^19R0VxBhb>5Lf? zrBX9&{-as3M;Ah6ZtjPvXYaHxDynBZ zMcH(#wb9j7kImpy&qpCQF9=wzmK77om(bLp8pLuA>qkv0S?rZg9=JKT4GR6Jr1=RT z|5IvasXU37`8DtRP0l+4;-hGD!l<-MC%%Ge0QLRT(I6yBw`VpG9Zdoi2XdV)vlr`s zMGn7?89n9G^f*wTXL#je0q|xefb{$OIS zWo=&o;gI-9jLqXZEG-_iq#^i%Bery__pgh*?;#)JklUYsda6h`0IOjFi%y)2W>2GN za}&=HfjxFJoEQ_U4sG4msH6m7Z8ME~!BgaN-3nqFgg7I<%^0r9XHQs~mBhK_tuQRoapg+o`2 z?{PI;7foLXxiK$Q*1zB`+lL$q0%TPp>hK2PP-a%k@@>OoOhn>rzla){?iAFqIGU5J zmIKhU-_L}ieD=Ine};d~OV~}ZDF_(cCTaKBS0puo`nm@>Gyss$ZRF!tvQ6C?+T;J6 zU%cong%O@LQQa43(BZz83}XOr@$lgcwMX@n_-c5jI6qX|=#?ECXeH`9j|ujsJE55W z3-p&EgJ*#gc|?2+?qVxWX`FXccm%(n1J1Ip39j^)GP!RBi@bXfddooZwWh{9&x z>D-+OGE`pW{lGPv#Hh#d%3XVWpb~bU^aGTYR z<4~*mVxH%<#_t0%9O@~DI3gLy%^Lu?|7c?`Dxl7?_L&NJgR-EKn&saSo=91dtsk;t zf*R)lup8p$NPNz?Pv~>9ru2GABNNHqq%*Ph)sv_K_MDoI0}O>kX)7sDVFGY}`QB31 z!pN&CfK{BfFWD{OCMh#{7p9$=|8gNPtd;Sd#ufHR;iYkGumM1WgVHHe#aTb_ z@tas@FTGh+eZ;iTPp11W2bIy;ZZ=x&+1i>c=d*yvAJICKp$c0W%%u2`+7Au_GvV9-^=qGXpEV`2O6> zk%>042%d$d{(phC?&pqXZIHf-(pF{*2l;<*t@bNMFr{Yi@IU;tfD?pjvYn)F!$j%ARCmKCsh4F}uji@AM z*-2ni-k8Qb!wIYu5}#&QNg&TQghc8`qkUPYJDz+YXy=~r-|d87{+0b$vB6J(A&Enj zytk1LsW4s$e{tisE~f-cN>sVo#UUx_~8%b=96ra zlyTbF!TAmpx~w_h0fP)i@5f^Nkm95u!`!9qtA~>Yol*o(}~9QZ7ma!Ibb}iaAbP{qMeH z^o5;a#|OS<_JZxTz3lnC3^-$yW#Zi6K&yU^!psA+oRO&Y6Olae>y$uMHEKj8%ScS=6a@{z_ zC^P1?2b8~c@=X@`Abe&xp+&A(#wS6~6AurnJPc#qP$m0>HcBq+%bu$(O8usnax_fS zaHN2>pE;w9q@MoRa(1RoDSItWP{tq1mIq3jX}!E(q+Cz8r;sT9a2kCTMkxHNaZ4?U zmzeWIvcVs%V_VD|8Jn7#5jrL-K(Q%K*JSUbHQMJ9)bI7Y%9&Se3TSYim3z}S9E$7W*C~oLaZL015;DItx#ZJ>#)JUtg@(+6MdVfs>1%{z zyL{^^SNa0fzq;gJhIu+ck;6|z=J~S>2pDxC4P>rm?kp>n;3DopO5kgxS#6jO_>b-v zMRW95gGd1MyYfHS=u-ZqXtu7X(ce(PQEyewI>b*JA}BE_5!ljqP~-I0OJS1g$KyCIZ~~EeDfApnp2=ey`2#8lh~)| zKer!3>cG(FD-8gyKLwf^b@B=_ZkjdZtkgLGVg(vs5BARy8pozfwlf8zGZ;eN{T z6?{Lxnc3Nx*f%W`eoco7>v!`Z zW0=f-`}U1|LGB+0F;hPir)_p9;62j7)T#}(F()lsdvIUI$z7;D?i*sdsXBKymvQrE z(|>^mH7x0B!!)cGSpA{FbG-~vyXvi?udP}jwtw4M)8lspn0-1ToekLE!~6V3_fCg1 zoSZ*ik)xYvvaf4u%)dcA&$c6n9tZ8k3xV^IY@|Jw(0 zFck6G4;B3_PPb3OPKdBoYjnu61}7)rUf1~)L-b%En^ zdmn{5Y(c<_V)IvYy5TNPP%?33*Y1Zm8BA)xmZ!?d45JCh#>pC3DJ0O*9u-Nsk{akk zpI>9*dE_@N_>sk(`?0D2F`JsEp;~(aIxZpu#6up}4awI32|z6-9AT(>bq@1sYzBSo zX0cx_0YjfZiGzS{C`oeOmnhea?W~IZCswkN^}YUE^@WF=Ty$u+9@WNxRhxh@;@w2> zj6gt(F(Ro;$m_1z6Sh2W-RoWfir?>2z)(n(+6uy>>$6IIdIM9l#L)8FN?%O*Eftp*bh=-fs{DKNf1&;D);rgmT&3KxFfzsu7`sgiGHT3l zhASPI1`V-K6>&&1Qot`bpG;{Ye!wdOgpDq%zXJzb&3zrm9+vnZPS1e*2-u3Kp}(%m z=GNV!e9Rn%!;H^;M`>%vx#d4vm`Y37^R%siWSm~PBJKK!WWU-8+8e$5m2=H1zwm*J z+~YqnQn)iJmoO1PD54xSv1XMy{X%gswq@yD--Y+v!(lUTY4MPdIBn0<3Lla{3XXh# z_~M-uV=6nz`z=c8y|k!o7}d`S{0npmwq#yQ zlR>+vPqZT~ns%3l-aV`T4FRwnOHuzD#!e3Kb3B9LG8V<*-AEVIQaaE=2@wOmcOEuU%L90RgVH|W z4Xes1RjelvdH#5Bfng)DBZ=ABe;xlO$3F=SeZG1BKFPG3VgXWsB5#r0L!hd7124wL zl}1lX(G8DYIc}dMy$6u};CXP(H>csJ)Y>@h71gN%-X^~FNyVb6^Ju`dXMI|(Kmw&m z-I*+R=*ngrqk*nUZ9Kv#ej_be6q3$T{A$V{UljzXpm@`tXJ4!92ECk7M;{NK^>FZ8 zUs78AN!Ox76ec49Rtm|Gsd4RWcpYKTpU1=oN6rXc8b{62L-4>PZntDXX9XRX1)y6_ zTvK37OQcVS99Y*TExvfr^4C|!?PgJ$M!8}r#s)(nQJQ5{o@oCdK^!$pbkXuKnl*e9 zDNm%`V2jW9+Vt;_@azDUdF&_72L5;?`LHV~g(Vy%I9gC>NbrQzSB>ASI-Zm zK;ThFC~xETzdyO31Ess%u{#T>CW96Fi%QoI;3jjg2L1!wE6?P`h(ceUD)cq^W4ei$ z*|d*H_I%CA3WFD|u3&gFFCG)gyk9pJxU8mSZT*T7PUm#^!HqWz zpwxzv>i$IGls^p>_xf`W1Ln8?A{prSMrP|wc;6s% zJHQqLma5FcZ`<{GK6bDthz9`Vg0MJ5fNX~+rjR_L#T1W*<#b}`j+^dDK9#K4ZowyP-}7+ zc5B3+3`Se;R~-9?NJAO4t0=KR4h;k}mhs#bl_?3!>0-W5SAQ>#bl|eBuncb${t}Ay z-j-So;7rElqCALm#*W{{GU?P<@;ZE{?>?&2X3O3}_@*;P5)6gJr};Yt^;D0{c66F5=sRdURw$;?GA69Y$w_yks zZ@dUdFrB@kB`}lpt{^u`e!KNEp1Y{XeqB%cQkez`pNEhca`S=!&v?>}|CqlkGhDX5 zRQzG17%5mx8sDN$8&rjsLiP}m47|KRXh%3=a1*!L6xsBVNyyjf6!Uf^CgR3rF)xJf z{D)iOARst8EocV{b-S1o>-HcIi=&m!Rep_LeoE{VMT8-(Z5wc(DR%JPAD-Fae3J`T z1qEF!`f#Bszqa#X5M=S4cjqfu>GQ|w-%6&rZ}+crI*nF%rcaqXwrq65xRl zA%938tdIc0^+wZAv+2aTQeB9Zr)A<_$vy*FK|Pc1$uYzG*#hs&S487~zu84X75JIzNHx|+d#ov_kGYL?rC{<2=1!|g z%JsGB)2LIaR?gWRbl0x8s1|r3WFi&0aZQ z@vBwYoaor-t|K<02Zn;a_D3T5g4bqXrO(eufq*dYhULaZu!LJ4neHng)`I_T^N;?! z!lPG5jGsrqG)e(@XxLlv-Y6x%ZNbvdEjA!1e5*IFPqWhLQ2eg`fSC6`F!cF81p$<) z9Fkm(IA(9D&`z6mtg&#I$1Bcrk>)nnT~L49zCHs`^nbU`TUsm#k^xNX#?=Lm@G*KuKQhCH61Nwk5XyCQZ?umVS$qi{gZ~SqaWy=CJ)9047#8 zM!t(ftXnt+@nGC0hV71}mr$39NjhOW|5W>DIT-qU^ZtGJUtqaxzU4mqMbd9-(PiLg zty^nZeqEOwKD>%}*{J~I2 z%xj$Z`SZNzMgM7h<4a}Pfj<-3Vgf$>*WqcFX=58R6h1K`p}gi7GVh=hX6$p@phvb5U6`7z&9`K@o(TYM(ugeUx*8 z@d*vdO+~&Duh6h0pf9Q%JFgzY145K~zw(aByx7%+%O#8y2(GSX4e|7k9BbnEqVQ|> zcEM0ce5#uR6L3<{DnC}fptarzh)K8qoF!Pka?tmQ3ZVZZ^c%n#g4tfC3~WG{`w%T> zro?+1S8`h~!gg2-<%fq@ywMS$kK zJg!^@Lm^R`iN9(4_8>WvJr<5$y5lQh>m15*1rl_&Y~pz8Yg}Ae08wZEs)7OgW)znn zo{ScaeIUQ)(;wk(&&3CV4aJx+-G71Z3S8Q@1xM8e&fzW*y_-J498VJJTYUSfkr%(t zDpMvL5F$ANEckDl#1!)oIcKGk53>07&zXwB~pOOAv1T8i3 zv+5e48FsDXxn7t|rGxJIOshKH9P%sN<%>cD%K_+^{Oh*I}qm;_b zc2y>Ia|!CLuwW=8=4IS|DFX9f<8*^`p(XY{JRn}ge>L>3je$psBO@!m?>*qfDyB$* z)u0?A9SWGt7ix9)(N~^v;-D7%Qdoxy zJnGBSrV{#!woPyQUE&|oAP7iHF#pYFXsSg z$%WCUO(xT!uv_(sF*E$wBy7?fj1IwZs~&?FBy4+HIY8pm)CQFJ_GQz9f?&L0(T7G3 zCbOjP0ap_f*zPbg+L+d6fFxJxMKhkuu_a-~ob&Q2I-HZo&$^v5mJPmudG z5Ljb9<~)u4(IFBnM`g%!U~=9G`=dHE7!64^eU!cd>I)!$gc9?gP^)?N$!8jnLZ{7f z7CoRlXt%+!x-XIFF#gmE`h1^)06mkEoB*N}8%^i9A(UjfwIY{p(lYzV1Fhg)#yy7S zWq@(){CYsw)$p}e>AiXlLau*43UO@d!T>8z1J#ACcN{epnP9Y-H z>mS~&00H5*H1kpJ`B4JD4o9TlMA9656URyQUR|xRiCpH7sU!o$&Z}K>{2gAxN6zQP zu1I-|qxL|>OU?V!`U55^P_Xypd0I@$1J z5H8H30cL?_ZmrOmCKH29#%$H4aLnJldz4h6h;r14SP;LpiGs}w$>9}@ajbushT=os z^yivMP3hE?48SN)EWCQ8%pT9b+c5z!$%*GtH04ARA)+2iVrgYOeo0V+z|r#IQUPO% z$);2t41In^3It~M6tSJHQT>g{H3$Xu{8I~f=-6_#rHSGF39<0n6s`bRhxy`La*H|~ zVh)%kPiXR*@wiukY9m0WHS~j1`$L_V=yDSicOuQo&Ut z{?(%AWAbM&&_QHoV%lG2M2Rx? z-H=m>3-Mo|V=X9^hD*d=^t$1K^&tkQR6Izw)lK*v8#24hlJLrV0G5TTR%DAjdt{n* z={gKl^na1>CUC7v6y!?(-krwxyB-vY z-0Dlo({|81rpHswlJ_Oz>Z>&^IauLfBPf+l8Puer&Nt=@(@$Y$} z$)*>x#67JXAWIaLMCKhJ9<8|pO-GaS=<^~};Vpca^Cwdc z;@Qj)-Wht5o~2zsuz8;k1p$@Z55GIb)LhsXE55en*q`a+teiXRruC>Iz5B4c_sI>= zBBpdmII-(*xw2crFzuZsRS|5FO3Bx@vAaylp@93KDeT=lj5 zxwdcJLpM}G?hAJ@r6hy7<5Q>r6DM!f#bW=DnILov9KYiV9vrnlI>tU#VyO0qM8|1R&)A+#d}3dsBpRWvywm z0Ur<+^blhuvZs)@terjRsmJX3v&`R5iUV;=UhQ`XW@8Gh@OXa|TA2<*93@%TlU0YQ zTp~7-1E>!zZJn}r(?zDXU>eA#8H+DBx~GpmWo-VL4EmhE_H>^E5~Y2UulJ9Pf3Y-U z0fl{4-?RU6g7P)N*M=^)`7Y9!xX zG3$9k^TwWEzLJ)GWRJg}!2@qMKnU(H+3_PAPs$JfGwRY;3eLciyt%pf^c{hA`tKf$!yP)r3mBDS_K(3901v>5%p<2sC3CT zn6kHbLNy_wd+@HgJG#^#rV|7+xq+dOm^V=qeh%U4EXSrJ0-yOU(KP3D%qr>xkGg1L z8eR<<3l=~(25)G>wYJhU9L5R1W4S=Pkq+B`Y!n7+SWMNB3i<|yLSo)EKBnRCSkA0| zB3C|GgrGS~otdl4zbC4?vD)n_NJgmuH3dpx2q_irYvR+|JmuT7?=FX*KFXFu$H412 zmk~=G{tJ|j)e)v50hvG_XKzWfM97h$=;jZghGcu}!IwaGxFZhWh)69Ks$q;u*MKy_ z-Kh*$OU3VgwT&0IfodcZAFj~BP)N*+(YIB@I5y2QR_`HDfH<6?8|oUZw*dEA>MEAK zj_S@D@bnk#Blqoq;RuEO`<)>c^-AfASMZE8m(oeHT$jqi*1tfn2p@~LEd8bf0$hj& za1GEc0$|bBpm8wOGyW7dvogj5THMp67V{j^y=LxpF)0JL5ppX`k9ePu-r|=D zgQ3s&DG0Fb5uhS|o4nq0gd`suyT>;gGZDQ%WKy__5Uz?>!Gr{`L|4c39m*lmwJogs z_|z0Jp~13RRZFOb9QUurXuCfp2S_qfg2b^Sta(jS$U`=6+jaN;NPUjp%|N0{q{WIn z)pu(#K*!JaHXoJ`_# zoTQ>G5mvy?oDdpW4B=?QIWxK7ECG0PoI{Q{nAG3d&WpwDbFv9<%1vJ-i{vik5NMZ# z=(0j?-aufgAl*MZH1ADh&6PbgeK{LE28W?-Mk$WBjuerGD4#DNv-1fxV3YBqdY9G9 zhl_%W5(|avuMNt)G3xg@%TqB=)&J-FG!T%6OF)bN_DS>xUbs&{<#en0?i7Jo(p@?| z_!m3bn1lhq+JXB)LVr%6CG{{Sj+o^$qds6>n@jY19-SSch!#%2Q(5HarI zERrw$LRSl4N6j2&KTTQQ;p*lR>57Rt4LD(dvc|u_!ewQtHr%uEr(pQSg#SkmOgW3` zmi7#gJasZdqLgWt17V#w&vekIRVgV>i-7VQB~PFNk}Xqe+LtxIA_c%&xw&g@0OS2O zJlU&31JE+&M;R@Oyy#f*EU4RPQfxG^Qb@KHJMx{bZP~5XRYs$p5`_DwmPIyv_$HH@SByd1_U{KC)x zPiSd=QT=$I|46l4p6l;fi%xx03x#^>1%*VZ8LSxbOABG*4erGXKD{2Ig+fhz;__Yp z99O;-m;XX?0ps*$qnGUU4G1Fi2YVNZ2yYHwbLM#2OU~W>c&q3p{7v>O0K?ybtlX!h4)Dg>;mF_kLdDNB$5)p2ZWMoUFfM;)nI3BDoOVCPtOQtN{joV+h|}EDG(DpSC=?}Rzj=5~lH{nQK#ecyksHSp ziEbiySwm}EeET^3G@n8;PHz;##EUD;t7nAXNyWh^`AHM0y!&Ql-W`5pZQjM3&H->M zXZrn_jEAE5WRLeKCqf-LsTy2(XTS&o43q7M5$Hh3rv||^?hFO` z#o^9yvfEyQ>xtKAj|2!#A)aZ;)zfz)B(U=_W5Zni1dYDn&Q= zV3{jlMqTLzW|Y>_ABe|rgVaf&O&s zEV59e(Q&*>Ea^7f+mFuvNCDnprH}+tgxg$1N&-{bJ=9v@L@LXJQa$e24C{%TYhLXq zxc+r$fJ{^%v5ey;NIKIppEQ6CxothG&s4cTqb)MLImjHJ4-9?2c|icKML()j!TvDR z(k^Sebroy&S&6-L2q2<8VD&=T5K|ej)KOOS|JGn;N;T=_<=*Y^DA4FuqoFh=4oh+&CC@AZFeYjVC8)(p`SdXbke>#A|nA$|dP_1g5SJhICS ziUm-h*QHf17*5g$ZRFT4UJTSf(o#N^G9gj=ElAGn>OeRY)nsLrTNfwQqIlWh=NXBU z8I_uw{JXcb04B>j7LT7kvR?Yj5~3d!4BcduCHp_9k+P9tr^gi&J#C7gpYQ{LFuJ>t zGoOlxGKCFq3;W6k<>)yO{pGO#$jSzAODhWpFnhfjB)|AYMcqeLo4Eq(Vo#hZD*h$% zkn_;@^zGNWr=!>B2NDRFRdBSWHTh^8>pz)hhEgpPHXWn1r0S+d-_jbw>*7)aC|R%b zUFv;CYc&bR`@u&ia-ePu<4zDx>UMn%b1wA%-j(P3^zW`sy6o>WgJ;s%$u+zWofkiZ zfI#v#2C?3AC>F=PFP5T!k_sYU5(&otzycJEYKmTH!a+ zvf(eGX@xQQWjIkfFiM2!@tiZW+}1bcW$Efh2p9ltND3|%voJ*P3Lj~wb zg;~YqP6WC9tPW^~) z;mn~;K(pV)D;H;FcC}czy|c{M&9$cUpw^l&gg*D+(>p`5K`;~&p9WDG7p-?{^I3W0UtN9S)W1&B7vbdM-5@2{|)W|uy{kHpz<*>!!OqI zcF`^c4uLE=9X$wicBl+Bn+5Jq?^Z&h^ct&OChU*BZ;c0=Xzh=tR0*X|l3oF6)ix4( z3t?!Y-vN&Sj?Z`dlJ|CP7nNyy^_PUNgtWv3=sKEqk~}!72mhg3@iz^kx9c9qpS}P5 zVG`D2swgC8%h{)QPw4eH8BtMHs0t47dih3smE>_aP{R418~gs@RiAd1vtzWEi|MNu zsiJ64_0#7o4Ft^9yeHltbRJ#IajM4qSVU%RRkbLlfBBvhWu_$=mdX#X{KCCZKB3?5 zq=Nz)&h@;7la3aycKE2CikJ8t^D=N8{mt2D&bQ~o#%<^U!Ap*mgc^yYvGK-<@*&3aa0)JQwbM;}UL+lC?m<rSXe~WoWIfw_2@~T$m-mmOwuBPpWxyJU{*B1vo372|(aQ?qOlh z0^H~RX_;88qxvP^M{P0d!Q*^(!4E?wxli-y^PwPsBSL^&XW>meUqJXtJil?$5iEgsu4_Qtn!sY-(vJyb z+qhGwZ*xijZk5uH0>`fHOW3jnt1y#4HN@RARumcuVCeH_84v)U=46{O)v7+(!DQrg z&$;>Gv(@E=WJQ1ZR0DPk|4ThUs5+Op26Q7LmoJaNv1MX+!h)#?#CnhQ`z;%-sG9eI zq0f)rKma;~usl!Ao$dt@Q|v*wl`iuL-4B|AHnbJQnQ)RZ^S^ih-&XGkkN3OO{`zC? zeE%9s0~@mvs_{K<4fZj2;%@UlT^mdm=vDdfL)q@o>^^_pmVQ@j>U3#ZFh;54U+AlCRxPrI6Y1_y|JdRhOM4xnL+H(R;>nNVZ;7vXF%B!ac65ro!+ut5JCB3-2liOXipN%Oc_HbDeXmrCj)ezfHAJ8YE+r`c+R*Tn%tAyImHq@I=CTRMPJ z`yFF!`s!3)s9&!6eTqQhL2Fl!%PbP040}ggj2pJr{C;Ym$2J#UJF6w<<1ngqjl=Fd z0$S+ezd*ToL^BEoxH7`N4(A<^C}spQCZ)V2w(1^4>G3RBO|1c>Xf#tFe5^F_rnX@`zTf5U!ZHz`<;^~HM#^!RnDG@dwD>_ju=&B>xBa}NrC>& zFJ6GkuT+r69uTO7kHR?CSw|&cG8e6cV4Ru{E0$u!lXs)QqB5 zpci;s8TN==`>HS^>b z;jUsJkW$3U4WFp;c+hc*0>^MaiGS>Ys1)S*xwB#r>A%05F!Z$7FoGmhKr>1apO0Sl&PT2k&&nYcL2lMKwXbTDSc;wzLPrjXc`S;LA zV)Iy#aQV$iEo(mE2_F9UFGi^JfXd4Q>kpn^5o!9boUujdqwdjYCjX1Ja~vYndgc7W zUk2<`NOG_AqAFDi(P+`gkapR^6$V4^$jPau@<5~7O@@uQlI|LSgNzc4C-6rGx7wwv zsbJ1Hx7&&)lYjs^z=oh$38TOY41NAA69~-3tB0Mg#$>;3rZG0*?b&4 zgPY6dY@AqIA@=MsXqg<>JIv)Q?W8sM0W*@XyY*>D4hnogAliGHoAS*>ZVB?hYj?1_; zZa}If{{fC^>}yew7fCG7UG+ysge2myFfjD_<^=(bc&RZYeZe6Gen4(tLiyn1jFjc2 zaVBNgk#Ix`$`m}{2kS-1VUlb&#jE2dt1dL{MDxWfUEU@Vk|ecL$xfQRZe;pi>g`ovVM3N59DLq^4n( zvt8IAQBMiOddUnd^!Y9g1iCLizx_6#vmAU!JD#cB7D@j~138gcr>Dw1$9y!s`4@mZ zoksT45_zAzxjnvw08Mx8M9GL|awEXmo5Zu-Vd@`ln1O)4;(`gUyjTBTWns1blZ2|O2&ufzE)mMKD*Dz~(HotwY z3-m;@4ADxBBY*Z$D?L3L1WE8l8hu1#-`^RPdADly-pMu+sQV&Sr~={+XXL z;EmCQ2QP}=OxomWJE6Fh)2~`K)YMnYWd%(jmF(>O^oGRq<0udaa?u}KV3k-aD|IQH z8R}G#j7QK5RQ-^!`Xf-tOLl$$>Kk-^#DdH6D!J^?BTRk=&BV$%(rF>x)0e$+_-#-JN2FP6+tKKtvA z!}oqO(+Lr)9eo4#mC6DuN)HH|;OKom6a-x7%4-f2ap|g#5qaulyu5A@-H3aX`1@~f z^&T}DS11uc)AoK;qUr#4{M4X13>>_wQnm_ni-u zalRdNrd#sd5e}eZ1Q& zoeC3@kRhN1D}6pR5U6!MBe-x{+_(NuYh(~9fLq+pAlBs91SKbuR<}4K10%o^2!#&) zf%uZx|B?TS)=mO7S52&%K6x;URQxQv`0O7#4nROualM*v;4qxrbqQ+pg2T#@k$t2D zyiu$tI_rq2;8rc5&;xyWz1xH$@9=TB<*|z2OPR{k{L6Q4$!`9tP5?C$tn~Rl4Fv9u zWepC^i>c6zCx+a1t=f@~_9+|GO7E=%)u=zlO?UyX|J$klK(f64b@8oD{^XHw2DvQE zSs2+CqO4&7`Nzc$$e|#BXiv~044x?wE0IKY_KPnKR1?|gN2~t8H-08Nt8~ls0L&&a zS@s0odvEs5*1VRB+X)aBb(;vk8>Z?g>)IRE5Xhl_Pjv2g6YwIYriFkDU*k7gJF66b z(xR{mTYudaGPl7Cv;!W9uwL(-WIlDPpbRg!eT~sk!fzb@vEr2L&D3ir*78&#fh6Gz z_lz-Nor!e*>bl?QQQ7ca$}*O*ks%88rkAKZbF63w&IK<$Pp2bIfaVfQhHElZQLMx26M4i0{oY~N; zGXu)4LMGU@){x=oW9+@6|8o$VH7vG}pwyh4fgB0~3=k>x;OKwvm#^@Le_-nXrRqso zRIW46JT5fDHx&1;121ZvlUwjAJa$9AWZLpd{_$9cRd8oOYsGDga8>($|5USuWSqu( z{h+VSDR2jUpu2ZJP@)kmOCs2(?>9wOjeDOd*`W)_@7WEyYkggAe*9Hm!?rO88s(h1H@n`B=hN^l&zrShZ|5M?T-lmv~iBx z3NciP2XlL#x^3jv>GA=N|82Wsr zfdCFBo}UQ+$V-gPS>j>cVWcQUYAe+5YVBH$}rB^Cud(BH+t-{E};pHw(pkt&T4c#b+n9u zO%h-b|6H}ultfoo87;eYnjd=QDwIX@Hpb%gMz>Y?kck(p^!d=glekli8b_)BRDaTG zTS9!~IFwk}Qc{ie1JhYnczGUo6<|b;J=9KLn&1xkCUzioAB)y z{im1zo}U~*0MP#+yjC2<2i&@o@RQA;XnmYD)4ahahJi1VJ$bc&4Y&YlDtUr`fmY1odHR0g;|Qoc1_mWE`kI1Cq^gdPkssP40SkRVnKi?uNV4xUDLBwq>t zzJ?^|Y{=;>={Me{#T5U@MVLnG9wzhw2@HiqX=XT@C0{ryr(^jkv^n1mK#_-lk@uJ+ zUXzl!8_ll036Szz7@=>o%wLELUVe&d#rI#KwH`xxQR1*KOEcrkumOfX-=~4VtH(*% z0@8tni{B5A7d1J9#~VhU6VQBe9k}+@Gm~T}0P4`PKRmJoslL@=p;0&8PN}&IrUVZi z1q+z)3TCG#|Fkdz31wHh*Y?_$$*ld^vkxPLQ)N$`>8pbcQw_-#XQlZ9*rb8b3m;_; z>KBLq5D)~Fl_f-%;5VR5c4!YcZP)HS9pOJ;DF`s1@4hJOPTfmkkF!RI9;CjORhJ%fDWyJuIY71+-CL!iI7LlN(8KI zX(x%~a6nUu%(P7-7qtJ0QCx|Y|C_#%07%~e(rO8}+@ z+fUMnuk%y|;jgq~1_TRNzhxSCQ`9MR60(UJ`44(L=*4-?c(F_R`a57=yaPj@ zAH5(z2AgGZxmb)X^ZE^l0y|M&fH2x+9t?ec^#1Mk!j-Jz&I2CrO}o!t>%ilVaXL-R(H^`;aS^d>fG=*n)G0$dq7 z0902ehV@9k6MnN_Y)bx{(ObEHt`T*AbeCm`N0=q*>5k6xeHsW9#ksp*%CqN%$Br~s zj58Q(5hun7}QFUh;KzjxQZdEZ`)J-TGf^)qK^hya}Q593Q?CL)W-*SiR+ z_)Rh$^qv)gsi+Mnw$Sb7MPy*;^V1***mWuyOd33IU*7Ov(aV*{HVwBWU&1Iryof~O z{*b@T3t(j7gJ9k+-YdK!G3_Aem7ArsM+=j~8(K1dy9~Wv1M@G?_>MVaE!sEYzb-q2 zYZfiJyeBpU|I@FD#pc)PhLyW42Mm-eLN!yBz8YZuM2IInMCB@=aC$9D;D52HTvx;4 z)ABFS(>H8E8!4lglCBkxFWBa@TH(-(`5eWMDSe+<_c(x%s z5_l(%>T6owVk6_E%!GTMEy$sPfcN;)kJ*UOU1F>i9mJ1DLY>;BN-ev_%D<7V^KWv_ zu>rw~oNZ>5LhpuH_i7XOyyc6t#gQR&^xoGL<)?93+L@3;LBNa2s(ci=`JI%yKewUD zV%{mCWnw1bxgY9IXYZ$0hz9_-%@=$_K8zpRJ99d0;6!0Omt@$p3%_Eg1VM$w|0tpU z7pUMEL3uV~-e754N|1_7VyWUO*WeckDnS{LeyuHmNf5x9PChs@3`0b@I+#vVL=0sy z4h0iKG@U*Zf3$?7X&YgJD zVio~q$~)762yCu$j?E(dN*9b3WB!QXuRF7i?{5?2n!8#dR~iUV$|(M@9*@s5BNqRF z;MS!Tf?4%$XrgW#8y*%->f)XTFdgcQ($qL(U3cgwQRyUmqYxQ^4mS5=v>*1 zeblMW0PeAPj|yM^m&&sO$e|!0QZ(?(DaqLeVudGETZmmu#8T|O}Eu+KIVDH zNqvgl1fcecX)L}@t?|^!TdTmHxpbdPOW&}0RGQ>*89|WQVa{f?-t&#K@51EJ(@Mgjs$->!&92y8X>Yf*&@5?-7 z&FPYIOSw5)D-5Sef470^E7mYm{@%y{C^^kU$r9u78#Mm*?3noY$8Oc2!%Cj1Z+Ep* z_rSUBY1amc(%ZcZ0USwx^@GD9MbR?FUdeI9X~u7a`K*PJFY( zo$vlK`*qtKGk`G+a=Vwfa*6Ie-Zpf3UAni4Oa)S0Y8Y|=@hma2ZpFWtw^obk3*Kb# z7BknOW4Oc*g+!vyaMk)Z(U@Ns4TOs=NddmOMb@J2@;r#*P4+0j)*iw%Tf|`L7+~kvEZ*u0pvi4;Ok8lO1YCxLhd)d=G0fG8AuWgaf2XZrh|5l`lm1$@1RJC?Rl zNo;|O4C#*arxPV-HZnD2E+sX1o z!%VXyOoR3#SgL&<$E<}I8K*Kry^|W)^Gv>ApF$G7rCHh}m7wBoEI80pnVg&``KZ(nt-G1&pmZymyswP_Aek82c_sos=z0bkW=iXZVmr z@0i$V47Dt#tpV>R?rM4`zn18!d z60F^adDCkX)ZFH4qkkyc1_A_3X4J{YSaVDEdCPSB%L{_?Y?8SAAo3I6IHtUhxcLBF z&3RfAdD>>k5U09YJ>oJ!Hrr>JPX`*TM$q>bg9DRbpF*NECUS~r9s?c!o)APXT3E>E z8cV0Z+x{WKSD={1znv}|a5N)WJu1JJsJ5Y$ZFQz``1*>JXPaOA#mGo3^G8v6Xvm=; zU}_3!mETL4l5_Gkmuc1_O4FLlUH4M=yTwZ7!0JC|T!1bAnN*c>T!yCzVs_aM*1%g1 z55s_#+qr&iIW2n z3Td_r?N5sQx1mDUGWc1p3y_m8$f!+P$V#FkJ)**uuItXu_H7;njS<|uY!qk{dwN3x z5~v>LVWW0XGEa#a%}8y{_IqT)ObjyQT4WI(qsZ?|_x1plFoS}TiYolz8p(0M7rr^i z$6QoQD4H-Sm!qkg;n1gtik}Y!0h+2iBss*Dn%q1EDHZQX#=peD#?a1wzb>bixFm2V zJp?2-ppne)%L5kDNU>$q!VubAPqpaqkXo8Dc`asYcAmPuo}ZEa_Bp&-ge7?ouh>Pb z_;C>U#G`t(jJe#E%+&!ulAeYX;sH?OaY(+@AW1j^;mMYSL2=j$jm^aQ}O8pkJ0w}m4@ zD{>xXuC`VsbynU|=WBsc0UR~cOM@;j6cVLf^h;vsl_>Zc{1YfaWtZ}!6C*SEilzPG z1|Ie8t@OKq8d?01X*@TSjYB3eUESiFA1k$G%h2tPs3ilwKi#J-AcqD5xTzckimFwc z*RYRMN!yvG8ax zg-`~450i{;R+bZkm_;=&Rde79TdQ9tjSS>a5by(?MWDxbFcwKcH-0#7(>_y|+zO1( zTPkkzqMuCD;}jszFYxV=Lt5S-=onIAIf@+49CqD^5Aduz8R^6C5c#*I^LU?vfg%C{ zjO}@g=I*%HbXb+Tn!<~}yieG=oX-nk@n4K+Zvpz>KaO8yE#q$4d^HJns{da69zTA% zlK)dTIs9EoRx*UH+TA`6jg$)m}@^#Lr^$+bS${{aP7$y;g;>nKNLX zrs#3iTfwm02%kyTQ}1wl1kPy9vRLHGNHt(*b^iA@_;{rtAW!*^cs+5kjC$S=cwT|M z(L$~4k4zX>UG?tpiA-HK%mB3o=DxPa^re>>kAgj(DFS1Wu!=-DMyY-31WoB`0S^xJD#DKp*c@ zFp$iDn3NoZ^`7K!n~7F|!m_&Z4ZVUWwT>v9xut4+lNVrZy0TS5N|dNk0%Q%}`N%A@ z*!JE{B#G%pyeqC8i+>L}6a?gg2=3ZFtp=O627%=Z{e{90rS#60QYjS;HH_QqsD^;k z8cTY?vs$+2GW4nZNvF>ZTvp3%R_LvaUF)pU&uW8C-{m%hp>HdGERCElaH9_E~($ zp)@yJK=H_n$?ski z=)HOG7BPnj5uV~Eiqy1oXG>QVC$$tDI2Oq3A3uipSErEha6A3-u&!v|;V zAQY?8^PyAu_-~5h0&(|oU0A zdp+A5*C`vvOH%nJ@JS9=OC*rl>9>6WD+yU|kt&6`T(4AnLM>4tgEgVZD%8==fYx+G zb-1rjsw)0!_KL}Ln!dH#;Ty}ZA|v{n!zTps%r#<@!*}+EuH(Lik(a#bkEU4wqbYIJ<>ACw<3ybEniEz6_?50 z=!l920Lp43%VjVL_J0p&RKzd(HnYfms!k3x413FLsy)$hK0d{~>WrNkv@z|qH1?a` z+WBrZ_vaH8{003<9dGRP$nKuA0PISlY4oQ!A0m}56O)AHt9szJ5UbT{ipc(`9fX5v z{(b&GK9E2_tNn-3o4=QFGFdQR`)hBBQv0ubyG+UqVX-j$@Q7dpfR}M_^V3~919du? zt?T?J!yx{-K{UK?J}R>oAGhgD4xgelHVj|Q>wUCT6q#N9tb(Q2ht6#Npj6CMjK&hu z(b9J;fOFMr%>1Ec1|uzW#56y+!;Qwywejjzg=Z)}jJlfaGY`}^0%gho9F3Z+B07QFHYe0p&A67L-S8tD?V^I6exKe(xk;lv0m zTqDq%rJ-b1K0qIzkwCy#o7YXa>VZ>OsGMP`ziJik-XoKnE;lgR*BACY%ggovJjhQ` z<&}C+K8iO=AdkbW3_7Db=AA(&#Fru?%OyqTJwPE*s(ZieRoCpE-@sKXV?jsvMD}nH z5Lg(_p@iKc&QGrh0@PdRoi%ypMSu0^`!b-h_1QS8N{F{>95_p68{N@`0 zqJ;d^h!In-)=q15bM77r`?CFE|IV7HcHsjQ5})>6p;K3>HlW32t54;_VOWjXIFA2d zIr+HrR;m~%>@fut$y!zlKYl6mb{MH(poqwN+3v*Nw(uTV0XP19M||<$Q|9qdFd#zX z$xQEK8RDSy>&*^P6W{ueF2y&r?MjIXEHr`ui7LR}%x2t=!f39CMyNX&bn z8nXFT$hnWe^EqlJPG$3977m8_Pn?=>5#f0##a4I#DYQ>-;U5ANwr8D$*w?9xU?+9W;jq`^m4dT5ezx_A80C~{oDU*S(}rjJ2!qjV^`>fRs$x3n<4gg; zKE~ePSE?p?E6=g|x7e@6(awuCf1^)l;yi=(QiyeU5c+uL{nfm(TW1rt--HFU^GR}C zw<<2Dt>qcAHI2XTy;B{m?9K*Ie}K@Ac}!WeVG3sLkLKlKY3JT%{0!~(jQ6!^Q^Re0 z3Url({7Ce5-kwbok>o&K_px?%!-=nXwRekWY%x*SXf0r;heRCnewk4kMxm5lnSlcr z%SN!8RXhi!@P0gVQH0I|^zkkQ0Y=YnsY>7z%-C!vTrh6+B6UFQCa=oUznhoqeKiSj zKnK{BS>Xoeymc7Qza&!fY<~E%xsKJ=RyTEtHgsA38R)>*sod!(|Il6Wg}5TqN-%TOC8L z6bu}WSEsI=RbFwg#CUKjq0~%S+sB1l$4qJ3Hcxx$9X9~xwN=l+ZPJ3dGKn5lK-wMR%(j&p)+A+8j!Gv$T*Xr#gu`$vy>I zDG*n}Ug&^eI95)An%^34SK-8cJ2-9hdgeRPeqpu`peTenufjF2&(MCH%K8Upu+^aW zbxN>8S3+p-`gckN=?5qz=C#sZY55eFGd9PmR)R3}tk6y9I`Ps;enefHvPlNR)(}8$ z5^OZ4Io5v7RA>{^rxf)L3Ss{Z`5Mv-ZaKV5a?!Ylg!K5ALGb;~pJSoyilH zDHu@o6}9rlH5>)VFr zIGfJ-YsWVfT4;S+;2kL+6lXEU>@zuqC{ zJfT(r0+?zy`Dc|vs7l~6U*}2Io(8=qFkald;2P;JA<220q7TsTt;N{W?QY2zJkuVC znc&)e10xjQTr4|BsEzp&#q|jrIv_xU#av%|SgcU+j=t-YiurV)QVvBfU0ofF<8!nm zIoT!v0Xr)H;Ury{1wcdzoe5hTH1pHLV7h-bRL+i6K zWcU1kSAUvUmPfkQHQ3+r)yK~6)qa3JUg`a1ZBt%kq<9nLl^o41=`BNTUk2GOE(5mS zC&1C4Dsvo;0w%de5?vLnrd2jp`zYC$4b9j&1E*yDVe22M_vMNI{Oh}VJQNI^`Oss` zPBi4E$CWg!o_Q29?2}gAhSsYnefSX~L-7_0Fr7;lVvHwYSQy1P+jrl)3|~p(E1;v6 z2$f@wo=SFp`=AsO^LCKbdaKshE7XGR`ZYLNQ)49aJ^nN*ZXvO$;;HWNB>@H-+l-xk z_-(mh90DJ2)NZ zv|g0)xsC0t|BMFohrd%smh;}R+B3~b%2oOi}% zzul<)-9{erJtP_FDxo-%JUahJ6sby$>$QOfQHYmv$o`47z3N{_35NGw+1)=kge!E(tY`+=+FzcMi-%x6FS0$EbBejwkR92XF2#O?DAnYE-- z8QizTMEdv*WB@OBIOX(eTBc{Ly%9)2o@u+m97xdy^!DODCuAyGxeO03eLNHlqzq^a zXkA4QiEPf5QPC@Vu_UDzEl+*$cO3X4n0kl(9v~KsKiGLOUTPK6v*>oVw$yoLO`&|X z@*?2P8bz&oATQ)l5Fm*DRm3Q8bMXBjUDbSd9@5;7oN~G8J5lU5lnXm{>CXWFn6|Hv zrA{NXl=EI9GHp|8bVn?>!l5rc z(?Fi~MHY~sg&Yb7zSZYo#D!e_qnH!A0vc%6SXY4; z0%;pe)x=Aom!PBSU!O?~U%@*DORhD=1k#jhy{D z$Lr$6^)6u;c^&mwK61@(ffaU$96YaK@h=NLUMU#Z{GK$g5R*p1-Pq8yz;&`xkfPFq zJT7)uZdTRFxL||?$eM0f#a;E5m}VdFMgj4X`n$n(b+6sgmBb^eD`vD_L+(>B@RMER z)psxkuXLs3pCLBLHv-^=8RiFcH5m6aMw{`&1MHxfs@Feo!#PjwnHt?>a~Nd|gZ zvmh;e9b++UiQPTM)Q*Fa_L2Iov_o53EjY;i0EHwu7`lkPVI*_aobmPPZw~3X=;NBt8vo zRdj+$5H;wknf!)?q5P#zic4c%KlMi!@{GkWpCkadP;%z*EJ7#k(Vm9{o06us3tE}{ z8KA&8X^hDJzC`-zLFwb)R_?FZQtYLQY#gZ%gGPuffAL4cYX3DyMgMu68+TT%r_wDP zfZ{3|w}^)w>)*uB-1GA-vbd^R_7G0F*kw>Rkaz}Ke}F#TykH<&Q&nsnljRmOwfBzX z21Old;m7yv?uJym1_g61O1nV-1|_vAd!9n!c+D>yNv2`;5_#QN058?d3j?8&8UY_U_v5;2}R|*1l-%*I`MmHxCX|bFSjJQr;6OvvRl>54mW@MFz zu_KoQJ|?c)WD<4ZtyV=>*fwe>mIht$T!f9s85Cw>-Zlt0Pf=PynfO|y)}14{H!SCk zBUk*=nd#=#P>sF7W$mcZMfM~>jUcFDtrFhn4%1vLb%**LQ@u^e)RCr%G7XF8K)iY9 z0s8nry1%Nu;98zCVei;kXi$)%<1_>sCI!7Fs%kO(Y~_sRcQF~Dmm#L{CawQw^?=G6 zv1gbA@RO!>7!qb+QWd$WIOa)wfI?#4AAQ^|M}xWfI{`6{@58!#3uD-z1W^tz6y+6@ zyo)|t0>Y$a19M0Y+&_p-%U>}}J1(pY;HS2mD8PM9Zk3fk&e>w>1{ZS zy!Dp(0s45QU;subGO5nQh+a-HgLPs-iJ|)3k#OPVAAgO&n^s}j<1WCN;V3uE1Y}F4 zl6WhLSIW}bmSBBi+h*i}Zd6p@sP3l!r8}%s%a5dK z|&p|R%Yg%5X_w*IbmiDz}rnwE~@b|J&o;`6FMuvfKaq$z@ECV zp~*bL9QRutQ7G$k4k(lJ(=J@QH6~`H5P&ET-KgV7wI4l_ey6SFFSZo)2{lrIg9hPO zoeKy~cK;f-A0J2{V0uymCmtJ@)Un=_fB@`7{c7>9VGOZc;+-Q!vnnL(uPu8<8@Z-ezgw9Bb3-IL6hj zz9AF4PH3|C2SvsWm(mCXbFIS3X}z=IiS$j z%l>VmzRZi|a@$-Jcv8T^OFgCD#9<~w%qAWC6x@RmXqFbZKKEhw zWA_CLs-8IHP!QloFV$9_j+6Vn)WJ4yCTt%B!p6-G+L?X6oU+EsWs3q}!*}Qh-S|d2 zNedUfwbB6#Ib^EBV7~va1Z5p@U$Hd_3vhvdBeOXd{%&fxKNW9 zU}$z@!ASM@-Hm44lgQavwPJYHp_M7T($U310BL!j7M>t_1GHgKgHvVbb4(sB$C!@v zHtM5Rrc$)Hf7eGm-n<|nBj2m#`+_2W49l7D%AZ?;(qSNp+tmNBtZb5lypt9uVAVR+ zA(fKDPU1|PG+`G5|4dDr;6rc|*lqq;;L^9o5b`B+?^BmXiZkj?XSD6i+pxZ(=^?M+ z+^XH?8{gZ&WI{qp4nRL~MP+JoB^nFJNgj7Lp{@)?R;^-wb}(gOl0!YL zPN*o_+V7LwH|D8*ic3};^XBxt zqCFDNt3>)bV%60&AKv4j&0vS7+Bz6{SgR<=p&&p)9Qn1K1t-E6%nO`=YC|(*q(%L6 ziD;u9FWSSvVMK30L447x5r4@S_^y}yx6=kg(iHa9_i9`#FuWc*HAhqO1N8C90eoNC zPbjwgNNyl(6suUt)MLelxqO(dQAeDiM2);t`WXW- zmov8TpMZdOH`7%nUEX(VWZ48!~#_s{fd6a*9ZCVfHKZ( zrQqhc27hi@j-D(N(6Rm^vG9uW=uP?*(nKHfQcLSIa#%&;%ssP`a^(KMVh>6mAH86p zBKno82Cg_ogWlH8OvTJK6w{ogJLl&>BvD z1a{iIQT*TQIzCMn%?Z18m@2zxh6na6s0U3oK0qHINcU6!BgdY{Gs;*9xw#sKvt0)| zYOqlcQQ+pIe#Pq8OvQ%>2w$SXpybO0)Q6VkmfIRJ;K}%{oV^K&-C=1waP?IGcYOpT z<`v*ef}a0j9XD?-UQDOpQS{2_kb5ngV@8bgr3=9J4Z?5?(&tpUgatvSzGe2hNcEsABWo3V@ z4@GG@HwGvtNCUGj(dS@3G|T%NW9L&`-CsDZMECCV1kYGVGR(`TKr6?4>*Ez-b2Ggs z=~i7owoMZG+_Fx1I02p>uMu82dILDmU1u*@B9-BUIHg){cQsH))o80#j;dTKVU_8+ zZH^wGkVG$6OW7Y#p-|I8a8MaJS51Fi+DIghc8$MDr&j2*yc=V{m;Y$O&f!Iabn{81 z*Pj6UZFX&Jab)Of9{be`{e8hK$f5UjnWZJ%K=pGrw1v9sTYK~s%zBaizNYia{A7Z_ zuGicvfJ`@P!-8j;O?jrD9 zQ}m>-w%g!%f~9BEuY{X7p<5J1X3DX7#0V?3neXqI#c}%eb_L)q5GBAeE+aT0J%lf~ zG{zcrGVdlZF;w#kwyQeiefRH}EhI|6@ZeUjOUW$6%fOgm?(I$2k+(}_<$OLtEU|JQ zi9gi^Ufh+xGj*i?_I#(d*u-6A6!CnE`ppXMkVLps@O;U)e|rv)Y}4I-s*G1YGAfI% zaw?idH{I6GGG8|(3sCWeQDj)Z7zayA4Gsq`rTj9Awn0yhb zNn8f@0947OQ0@89{r<#Mju+oRCwvCQMyW+~@y{?hG-em((L5!3S6FYkK3gheS;f;=tY=- z2RKDPD+~QICmMw+RUkCRYw0Q*J?3X6S~W#&7JT%w_X$rKFd(Z#a{0T2AaA_&AVS2L zG0&8NZ1Uv205mLX`qDGAmJ-0C`F9=jr@5QB?3XFywU^~2Y?aDh*IKPq$ z2sOV(f+i1cf%&lBC0Ts+B&B;|lRqx5Ypht_%y4XL1_o5mW)G34VdV?=5U*=9iID+D zTXro26r$wuUO%8_=Yu`w5yoVqx)y8MYJ!R1YtH;hNn^khsvL(Qe!tQE_Pv@-B%PW9R>f`X-#oF$ zCx`nRLC4{5m}r_tyI$+c9uh-$kwh~Ntl=i*(AJ8+f*(%F2VTsnU`>!lrmo@&HkXH5 zc=MxPz3ocYZrF39AAfUzL8h%F<|eNo3ky|gz;K{bh{Q=BI~?UkqyJsjihghF z*Ik3z#le_Z`y+N*3CN-MwYKIExs?+#-)~3TG|(Gz4w{$oWNEERNDW^{khTMh;sEBd z6c)Mxl9$v8e8wI%J_DOqS0!o0 zW{PJnYAW7qDF&rkwJvQdfZ$CH-wVGC<4wz&Vl|9}xiHzL!DfTTjLX+hR?&DfPuO|| z10%>a%k^n;SV8Yb8;jwguj*Lh$~f>Mzo#+%-j!ymSpg_l3r;7!ucQV88O{kW2u^jE zyUK|t6=MYJ4g1C9Sj7vt=) zE?|G{ZO+QeB`*ks050RPBH@G&9h+hG4A`j5VuTwDaPE?Xqq3Ac8%enrt zLz{ldK~`LI5pBU?zI>_41t&W{;Gqe}j(ncc!IvAf^#{*t+rCzRsy_G!2~~Hgsm|Z~ zJ3U;W&m9Bd+aXaZM4t59>a7Cbb27G&tiLxpg=CEQOMjLX@G|rAkKDo|0kJxD0jN~s zQ(r0ZfW^+g>1sM3hOf5piT>=|cm{jk<~~3luM`ASXADs#36!23+w7U3kBEEYHII8F zPy2O?q;TO%8Cj|WM8us-dmTM?6yKtEePD>@+6Ddb(5ND&s_#yqTLq%GA&1_d!6&Ty zxL`>sP-)6&Pty@BTx{Uz6MVr6cYfGVIy2(I1>n3aga1q`Npo@m>j_)emVd-Hrc>lR znO1ayBUM!(X!;cBOc7Y4?6tY5f&M$`9F9xN`qCnFjg4VzW~ev4x+Oh-06JbD3|6^* zUr9>6nxU)^1*`zq6Czr%a%9l$i))FwC!|3TkT$os8Qu)nY#J{uQ>$(?vUO5(foofk zAfY0PY{%RH3!wfYevds~nk5_bF+6TJeqCPT*;il!YKo=(hAsOwMFr$aL4Xy5(P$X4 z=-GTv(d^c4n^^biMnS?MD|%dluzVFy}4N!z)lwhBjmhW7fr9fZ{k!{Sbn59Xn z#oSS3=(<0;e%m=B*u{i>hu&A~K}9>@1s&ttR|4XfwU{m3pOXTD?(ingzDM9^&bqPGv^tfM zoRnCXL_DFY2nHg<(5W%VbgDhs)g@Zn!qA%XQ5GsG^Reh_dC7N`;}7}PRk#M&7wLz@lO3@(!i_X} zgPM#~$nZ!@h+|gyFN~&Orr;&%-#hHuYQV$#&}Hey>9lMbBTC-nWyhP#qB6dMG&UiT zMR(jp39SdEkI%heAbcgWEo-ghhR{UmrI+XmpQ8M=?@{=BELcC2iH{EU{s3n*5nM|9 zd{G5g@=3WC{qkoAM3o%3wCvXyxU^mVu>a2XLb7DO%Dly>-CUaeiJ*o2QA8oF*Yq=9 z-B&4xTEy#J!Cwn)z^i^a6q^ipB>OIwzIK@$HA6u|z|oU6j_-%it;s2f`#~urP;=)+ z5w0E)=joTiB6NI=#!yqMI%^W45}^)vgGq}a0)X=Db0#EE>iml(dXY*0UcX~^+qYRL zf~ZUQR8*Ayp*9cD$7duk;HcHID~HZ~Nf{`1ixK@H$hQe0>iNO*RSkmLw@STg$N+o| zsoTC(X%$aFk=X=Uc|*{j&RDpeAloHtoD!M)4%`PQBuWu+ic3>>M>yW%^7y+H6OEI% z6wh_d=Z=%Q~n&Vn3DURLxEP)Gtv z9H*gonKIFiX9t-#{;Y=TbEg#{O|0>kHnzS26oPZzGj6V~7}iXctQXlDpmI>_ zN=ypEVnL_Fv&3oR`m+Cx|8I9X`Q3{l|Cwvi0LYcz&!wkV+m#HOM_P|v6f~1VK|9Jk zUBzTv$aF_USdbFpt_SFBRI;&+)&zp7G=J#bTnU$!v*En=f7fLaja7LvM#B66g~X>t zur5o;tZe!A!)^{i$%vbUly{a2pXpzxB#K_t1x_OaL<=6&D3{4RnOFnGXk#lZONIB&ILLP&w$bMc~R%ov9h^0#fY6cHDsHGVy%T zYp4T87;_|hOhEQsKx$$KW~f3Xj3Sd!()bqSNmBuB~BDJaE6FwEefC*#y zsriB>@7(x8PkoKPqV9*u3qoE#=Ek)E_dc<$EOpl!!4FVwwp+92 z#!*u;Bo&fW#)s$$TmXwT6a_kudhupxB0OGt?*faFom?qH%s~>nuLaD|mw%rXk5>u; zwxW&}tU9Z-RQX5QX=ATZb5|uI$B)^eenWo~Nz6@1O^AC0aKMC!d>c z(6pH!Ul4wqN?;rQ-3C|FauNct==06}iQk9~w{QL-bhRG(N_~-$zvLxCC9`G+`4-y0 zY6T=piOChymOv@I4#5qTkprO@y%}`Ig0zD85+XGPuxsg?fQolItCxiSe)k6n#gVS) z7|lA}u<#s}jG?5^{y)F*sGkx@@0sb8m8A+YQ|(r8w|+4eR~h>F#B5EI!So%PR%$m6 z0ZI$?H5luJ`fhQBI=CM!*&9;Kzv{DzG;$L8r^{4<|4o5@eDs0=xxc85@a4Ab2I?qe z4z|bZN1D@w)oA^?23T{jMV~+G0*YB>4pPNZ8&#rkZ|6O5izK|z!N@WUCHCy)A}l_u zPblz#0EY3xUVg?s1s@{4`5`vcS6bc{Tvvm<=7oWqHJ^{{DK(3HzU&=JXDelXO z^S_?$EGDsCZ9NB6u8m**@G?Pe-unTPYmrH2<%g?>YkrL1E35+APbb%~#$n;@4y*Xq zG0=_x&$T{!cCo`eJ->11SN(2Z*;U8+@oirBbapOQZ3n!md4NI^y>I8=^cv{BqaE|3 zETVmlSUAAfg7{ztFe(sWkShC2Z9w(+DC!68^7 z5%pXhZU}CvU2cb+IW&+i*!YcfNDS?RQb+=+=c0-&H;q}pfZPTRaRaZFRa-VJvA&i` z;(d%K8_u;O;MR3NMV;i;UeY9)W$A_r^|$KV!ayb~dSg&AugUK3(x*V@wz*X8>}(Cg z8u*rSzbl$mh7%lJ^%$SiY^rlt6$woPR*00|`=UCx`9X5!i}12)2wyajBZ+AnH@>ZS zul_C$e1Jk?-teD+zY$2DGqdV){=RIID_2pn&|s|G5&rZcQBE1Q5&-Dc&nqqhvpjNz z%wvR3%Ci}#gd&tcVbDHgYOPf>D z7)G87AX;?&TU67{KKuMx1_=qWeXoqxHOoHn`rP@jK>Q^p|5Kp+dhShQXsk)=-4^#p z;c3=$7;E)lh1)PZs)X_8$dM`lmh^8&H@Dev+bQ(^hFM?S$>n=uOj~YT?~wn#4=mdt zha3t5_6VVF%3mJS&@i6pn}R-+QS-T%+wz1IkGNvC*dU&^0>qS?!hc8YCqgxFq%E}! z&CbV`Z=q`)+}60j=BkUI|K;AtM=u!gZ)qL;$-u}a*8*kyta!AThxd2I2UcrrKgQVh zc7?Z-fYPsV;d=C@CA5uN>6FG4q>nAdEj|if`0&a7Bx6^<_8ycz9tr}o)38rSF}r)S z-Oggm=`hhLuESHO_Qr6m3 zTJU>+k+^c+ouG>lfRFO>!3){2-e2|s0mgwV)0piR(Qem9OPJoA-fPhiyJR%O=z);q zT7HB<$d!Tte9A=_MqEKl!qUnYMi#P84Vim~&jL3 ze|LIU1J$;Sul{Jj)Nr}p2F3*#N4Xp~ynq}E26Fd!Y@t8HU?M(WS)8T+kYhf#@741@ zXoL_?bv7_jn;gKph}RE(;i-g0{x(YDE9>)| z*LMFR3B*UL`JE<?UI5W` zbaKL%R|OkjX7%dkD6ZR{r66l9fA1%>xM=}Z`Xz79v+0b!;6sh{Q=n-tclmKUK86hO zbod}kZg=BcQZ-MwFpZ;5`rhApU2p;*Y`#UU7J~NO29tNd-fYm{F^Tw6jTnkXNy#*D zc+(j?1v=rj{Oi{B;~h~jld_fpSD!QKAvEZIY`jtTXDz?ZfJMMY1Vy2s)ISMai9sPd zOcpGr;xGAiiFSGW9fK$KRr(W>0~mO-lKhELax}+neu{a`WRDpCE~hY*(uz9I*)DW2 zV*>-YFI*0=K>tk0n>(53bH&1y`cbt^=u1-ab4XjrWzO$kG3fEh;lA_g6I#oSIllDS zP9pAhp5`3{9@d z4S^4oXO4i}v8F$VoeZv0azDqPcV%&u^0To~o5s>mIpaTTLRF<8R|*2y{r+fMpC$6} zj>hS?CGeT|fACvx3MlDm?xWhYtg3to7{Zw=D-8xt%4a)u$<@HB7*CFxqlAx@zx#Hl zdASdV@f0Z6lIb?`jzUH<^r|{sOP|H=jG2+R-|{mwGZRo%`;9d~8R4=XGG453s}nXVyhw-X>4P~KYVHS#VAsk5pdm>?X-mL^JwaK$W`-IKDDXvO=bRHJ(b8FUyDPW@HD@@_-RIcxg=Ka3uX|9{_aFnloLnq%4j4x{G(cKZK>5pfLW;Qyg8`d{~9 B%~b#Z delta 374 zcmex7i|3>KhI5Qer}!sdV60OpIs7Cu@Lc+%PwS5C*Lf^pt`1V-~(={jadDaMA zp0_!VX*p1_2vD)kWM`HjgIH^ea|ULu+}a%@5y~E>cRC+to@4=QpZp5yz^V#3|V nXWxYQ${8GsO!Ap8Px%G0n7xJLq4_1S#d=`v;u!*olbGBAdAFG? From 7c0ef3c83bb11dafc30bb640da11a61a83d07843 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Est=C3=A9fano=20Bargas?= Date: Mon, 24 Feb 2025 18:34:22 -0300 Subject: [PATCH 2/2] index the non-empty block in perf tests --- crates/l2/prover/tests/perf_zkvm.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/l2/prover/tests/perf_zkvm.rs b/crates/l2/prover/tests/perf_zkvm.rs index a0ef138c690..05e059fdac2 100644 --- a/crates/l2/prover/tests/perf_zkvm.rs +++ b/crates/l2/prover/tests/perf_zkvm.rs @@ -82,7 +82,7 @@ async fn setup() -> (ProgramInput, Block) { ); add_block(block, &store).unwrap(); } - let block_to_prove = blocks.get(6).unwrap(); + let block_to_prove = blocks.get(3).unwrap(); let parent_block_header = store .get_block_header_by_hash(block_to_prove.header.parent_hash)