From 14387775268dc13d530bff13a25222b965eb698c Mon Sep 17 00:00:00 2001 From: Oleksandr Zarudnyi Date: Wed, 1 May 2024 16:51:28 +0700 Subject: [PATCH] feat: run benchmarks on Yul impl of EVM interpreter --- .gitmodules | 2 +- .../src/vm/eravm/system_contracts.rs | 26 ++++++++---------- era-contracts | 2 +- system-contracts-stable-build | Bin 724735 -> 790988 bytes 4 files changed, 13 insertions(+), 17 deletions(-) diff --git a/.gitmodules b/.gitmodules index ecd25dfb..ecd35e88 100644 --- a/.gitmodules +++ b/.gitmodules @@ -9,4 +9,4 @@ [submodule "era-contracts"] path = era-contracts url = https://github.com/matter-labs/era-contracts - branch = sb-1-5-0-evm-eq-integration + branch = evm-equivalence-yul diff --git a/compiler_tester/src/vm/eravm/system_contracts.rs b/compiler_tester/src/vm/eravm/system_contracts.rs index 17847cf5..0e00d25a 100644 --- a/compiler_tester/src/vm/eravm/system_contracts.rs +++ b/compiler_tester/src/vm/eravm/system_contracts.rs @@ -43,7 +43,7 @@ impl SystemContracts { /// The EVM interpreter system contract implementation path. const PATH_EVM_INTERPRETER: &'static str = - "era-contracts/system-contracts/contracts/EvmInterpreter.sol:EvmInterpreter"; + "era-contracts/system-contracts/contracts/EvmInterpreterPreprocessed.yul"; /// The `keccak256` system contract implementation path. const PATH_KECCAK256: &'static str = @@ -252,10 +252,10 @@ impl SystemContracts { ]; let mut yul_file_paths = Vec::with_capacity(yul_system_contracts.len() + 1); - for (_, path) in yul_system_contracts.iter() { - let file_path = path.split(':').next().expect("Always valid"); - yul_file_paths.push(file_path.to_owned()); + for (_, path) in yul_system_contracts.into_iter() { + yul_file_paths.push(path.to_owned()); } + yul_file_paths.push(Self::PATH_EVM_INTERPRETER.to_owned()); let yul_optimizer_settings = era_compiler_llvm_context::OptimizerSettings::evm_interpreter(); let yul_mode = YulMode::new(yul_optimizer_settings, true).into(); @@ -263,10 +263,6 @@ impl SystemContracts { Self::compile(YulCompiler, &yul_mode, yul_file_paths, debug_config.clone())?; let mut solidity_file_paths = Vec::with_capacity(solidity_system_contracts.len() + 1); - for (_, path) in solidity_system_contracts.iter() { - let file_path = path.split(':').next().expect("Always valid"); - solidity_file_paths.push(file_path.to_owned()); - } for pattern in [ "era-contracts/system-contracts/**/*.sol", "tests/solidity/complex/interpreter/*.sol", @@ -298,6 +294,13 @@ impl SystemContracts { debug_config, )?); + let default_aa = builds.remove(Self::PATH_DEFAULT_AA).ok_or_else(|| { + anyhow::anyhow!("The default AA code not found in the compiler build artifacts") + })?; + let evm_interpreter = builds.remove(Self::PATH_EVM_INTERPRETER).ok_or_else(|| { + anyhow::anyhow!("The EVM interpreter code not found in the compiler build artifacts") + })?; + let mut system_contracts = Vec::with_capacity(solidity_system_contracts.len() + yul_system_contracts.len()); system_contracts.extend(solidity_system_contracts); @@ -311,13 +314,6 @@ impl SystemContracts { deployed_contracts.push((address, build)); } - let default_aa = builds.remove(Self::PATH_DEFAULT_AA).ok_or_else(|| { - anyhow::anyhow!("The default AA code not found in the compiler build artifacts") - })?; - let evm_interpreter = builds.remove(Self::PATH_EVM_INTERPRETER).ok_or_else(|| { - anyhow::anyhow!("The EVM interpreter code not found in the compiler build artifacts") - })?; - println!( " {} building system contracts in {}.{:03}s", "Finished".bright_green().bold(), diff --git a/era-contracts b/era-contracts index a961d57c..537ac088 160000 --- a/era-contracts +++ b/era-contracts @@ -1 +1 @@ -Subproject commit a961d57cb9f782b3b844c282df669024daa28a68 +Subproject commit 537ac088b7d646e51c3dabe56c2073c87712206d diff --git a/system-contracts-stable-build b/system-contracts-stable-build index efaedc08cf0809888d9bc9165c818e8b3389d2a6..2d1ac3f1dfe74b317d4aef11c2889d2934ae3963 100644 GIT binary patch delta 118487 zcmeEvcbr{Swg2bVQ>NZbubD|91(MueLLd`B6vU9wTSx)~1Vai%L6Iah5rHIL$dV#S zM4t)>2`VTEB%(g?K_H4!g#?6$)Wn~Sn%{S=z0bMl-nn;XQl1Y#zuzB$xu@*2_u6Z( zUUqzQpGR+vF1^fmng6oDWx>lrmxX_1m=EoLYT}e!EPcw{czj+u7L8@+1 z=0;CD{q)mL%cNtu)91zK%{%3kxzXI|nP@bd%%$heJ3V>&oFjrXtufR@Cq87jR^Nd$4vEgzkG;DlR6p|E^9oPM)A0&V|6xj~cC>BD z^ZFTiK2hQM^ZP>eVR<@1FZ|r-pe^-5I}l4}^UE?9(v@S)TDt3X^ZfjbZ`%2gbtGMpZnP z#zz(O61i*=VV84qJ%NM8Z8MB?1 z{>j%7jLyzwY3-A~mQXH>6F@6Y3^&rcxqc%IT$?z59&LL**lMS9`rIWzuB=91lGc9J zr@>c(le97JYoJfhH*2dixs=+0L}D_ny~1pv)uwIJp+38gUVO^1>Ajg|9ewiv%cQBJ zf~~al5_739OOcL16TNedd0a3a&t$0ge6w{7@Ipf=fkP&Ut3l77Kli-3r+#k2iE->| z&`!un-Fj)DxhcU%a~GkzWT?;u$(1vMQ-AJf=Y#afc?VwboIg9?lJn1#l?Tqj193q# zevB_MxdK_>6Tk=tY+}^5Xu&mMqbsBFB*Evo>`I39pC>H|nB%+Ux(7}1E&YqXLVx@% z$aqh^KMWK|CMfb9U&Ew@=U5q@75`I{*O1LIY2?eYrgJQrX@U;>yOE%t9U-d~%jC(+ z()msIku`re+M1FDx(xECj#)CleV@ksr*EyI@h4crWY2nD^EJ~~UN$-=%G?DE>M+Nn zX@yD2iaS~k4l{pZjc+f71E{8gL!4&cYIV}s)piXXalaL()7q_Ge=15F@3(HS^#@Z? zpzd=x)|Xusj?fe9{6>funWnE!HOI7-&NGqCs(I2+t~AHUq6WtMV73h2Phz|;A{g1Y zK1r$Fpk?JCw5-i)pvfNuY<>Kr&lxS2Py*gfn%3oOUovm8bHD@*m;n@Ui4nVSIO8d1 z5qu34nhD4m^DK3Z-%`)v0+V3Ew^As3GekZe+TRUN2ZmYt}-Gu!l0a^LTi5&YNY9xh3XChrOfnOx5gxlfpdG> znV&Bl1D>;UjlaQIlcJSB3pM(3bjyTL$FYzjG2Yqd>$AfT@fiY?iU!hW%5xfG(YRiF z+QUL2Z3t^C;$JmI*iUPJ>}#PJU-$KPh%l%47Y>AH@OYfIJ!iCo#1D-_PLMAMX|fW7 zaY%?=HD)6nG{tBR0t-SK)cz(g^R!4pw z`>Y)qTz*bQXJ;G<5PQIq)lg;W7q0e2l;ka|*E8W=!ziV4dj9eEBaR?F_h7TlipMZ_ z{ucHA!WX}H#uv?YUp`bFp%t$M41Xq0>nB+YEiKh$a3VLEBYYW(eH$cc&9_2#`ZFo= z9b*p1el0uJ8bQr-jas_)5YwhB@782>@vWf=fgEW3ch55S5e)^(i~l~73H}3(NlMhs%2d?E|r4hWA|Taj*>r?tT3Bs{$XZy zRGr!q#8vblo2kSqWsK+>fmWgURj%BIKMC~w%ub{5x&N(^88aQp=fcM*={!PgEP!>iQt(50^yi_N^K{Yd%MELCBAY7$K|!|8IYPVOq&vx8 zHKkaJ`qo&Zsv)28)NvJ8HdmQ#id^W!9Hj-HfXsGrYoONBVn{9}sB(~=6O#?dh>pY! zVZ}>HJhRy;uFcX*ITHQy@2v5OB6@~(6*dt+upC7OJTL>%%}qDQ(z>(F8k+J(pqg%2 z9j>8kpRp|RJ>~15y5C!Mby4TUpTjypk~TkM?GxfrptugVqVi{&w#+k|>E^G7%mx;d z__jV8Amx*3`80DRUGyx}b$*1dd)8`!6yX4vW}N41izw!zU@jyg-)#4Dj4q~0TIUt*3wI#@ofE?kT0bQ)i55(U4)fnr0=3{&djDflSN^ba zN|C~6S!`fK8-t8^ z^!z`JZmgR@t4|6+&u*jVUolM)YZJ8a7vbS_{(4_ybu6YuVAv-d1~K>XP}4{`f`X4S zzMM5)C^JkYQ6y-_Z;es=mU5DW!*QU6>wS*PAsA?3{&vTCaJ+ZZ9k0n8q;ht}Lso@^&RslWF}IG!q_Jp}9O~^wP0M z`XV%MoA+d_YBa0puG_4`3a4Y|mHKzyHJa$HFPK$(XX6e96wR2iF(%fVflvv@ZS%Rl zmSM3Zqu-u5B1z|@Lb}=&nD-O53P&VKFU~PWsdKyUr_G*fm!>7NgIQA!zs9%6tSLe# zl|_wp;qBFSixNpZN1hg6ZH^V{$r2h{j&MfBd^yfNY$-<~8FZWcDKI%c@hL49?)K4e zERHdZyer!@03}N?gAw#&vMP+!K`r^=A<;gV6b1d#dkX#14*I2c4gESRANjNkDYo>T z#t$kaNINXrqwIN50YE6Wb!Ku78%evwQA5fV5`5tJ6r0s@JT5JM#2Oc{5+c2}wuwc~gK{hzrBm^2looHbn{8)RP_#5+@Ny>< zmYZ={aK+^&Y1;}-8gFLBIU$HY-bMTj3%@dTk&Jkb&I(I0#E)qS=4Z4`W4AFs;~ zd}dcHTeJu{(L!qCQSh7o1ILqsZvzZmO@CZw+DDdKpqxCW6=H*Q+&3N=#xw}yQFq5m zZ4!ffjXvRpL_tV)v{UD^dbe?M96KNrLVlkA!LqLH;mU~=Wh1zEyS3` zvDGv@39Gj{kB$b$)TG#v>NVGB91+fsTmhsA?4tnEW%U=dA-zS2yjnoPZS@x@^DYM2D_oI*b52Aw*a3*E8X(6HB70_ zYPJRQi4ubxpwjlN**2ghqSV}-q>Z;&BdM>~3>pfk@%;8}ZPoFpYZg!N1?v9Lvh(M! zjyR_A|Na#0or8v!P9KyEXr(!{{a_p zWg`103fE|Hw>3f858r>yni_~FVKaK!UL${OTMp;ZrMKFnsQYy*Lx=o0R7H3G!Kk6T zk29NPFPF8#k~;2MguA@+D=S>fi*n`MB(0D6+D0dxaD^lbNopfClPf?uzxMe?`mn`s z(37daFsff@7_{we1iAe9BY$MCI1DW6O<|Gx*d|3{FWD$|{KLNeRfj2zeYM?k~D8S4FJpn=|e%BrTl*9RJ@?=fo;t$EXEroJbG`%zCX zf(5R9)wZbRcDQYS@LW(Cu3({BXI;X!qQ!3+E!dQtV8>|up`iffRdFV<@B%(g&;Sgi z>tk@Lq-f(Wt)BK0(V5F)ey`TA-FDo)4o2 zdt9pGN%oKn)M?HagGbPscTC$41KqMI{svlidr*0}JGNP48sPHb?Z-dpO^j)0%%hE) z;n}$8#;`@_;t@d^pAS^y$J?wfx`r*oUtNU#e(C^UWYu=dz$~-$&ExHhN8k@QBY{X z!P8=!0|!s$kd(#yfndzgbm|12X;#*%W#^hvACNe=e1vZAMBX@L}9D`q3Fq;JtDDu8BGHOpS7Hqm*)l7NX5C#Ka7Fu9 zTv36;S6ooK+?V6g!s#7IraY8Xz#mb zv8rr|i|1TBi}0!e30ER2h87SmD6e}$^`NDn3|j#nc2|zuB-u%i;P0A&6P49aucYaf zxy#6oFnss+z&TkW0M;Ss!OMba>r+O{fgV4XCTZu+UpSX7x&SH5sw}C=+0e3v77YqQ ziV8{Qkcvcq20sKrg5ON`e{%@pWDDL*^?x%#h_z@36Tk6cYlM=EWfh4uZTz9HBR}Va zQ}PF|tfO1@H6Ns#zXL{#=nE4u$6K#67s8aNB{O(e?a}^3jF!CxK_L-~xl-4$-B4sOzboSD7m)9m}%Up?2;Ij=7Q-9q5$P|0{Ee0{1EgWnn?_T)B-*=olE6 z&Q;*Jvns>&psoptiAa=La29G}9Bz>DSun_oggVflb^#KwT0r`kXQQLQ3k zCg41D$coU@U5pN(t4@S|gHd;7b1IwQ6RE@yP4I@w+Q`z}1Vp@TbIo%-k>iKc(*F$E z`yy!83p;lXz(= zl(U??u*=b~^Enz83`&_P#Gvi|VvvHM6a}&JHSC65V`AwTx|Ig3B7FHeeiuE%*3~#| ze#3Y0eyp0oCL>{2@_Nzc<}yyMfjB5dkJ}?QyAsavz|&S2M@n*x-b?ckK7P<|gH83y z4ao>42Qf|?$A=oIei4ink1w&RXwyCjQ}sNg3|&iawPUVHsfK2~0<*?R?RY1B58g&x z8V+s-D$UDwBhhO6^08VD!9_mAZn6QNe=QmaU^6tg!)k9*p{2_C;}|<)w4%dOfliSJ zgK=LfKk4QUT6Y6dL+Tg!s_2FGfDyntRz2#UkYDji4Sh7;=%k*})>!&*Wzbmln{XAa zI0Gh)e~t{)QTSjp!ucC243}14VYbmmGADBYY8!1CZP{WS@yC<&=DlX8m{b%LWPeIR z$UO3IGO9J_M5e6ycc@DHz*0;lz1@{!vSl4mL*={!I-nAjm~Y|Z6&+BOPV%6s4zOHG zs>6}hi7eD%r6#9ozpP0?T$xP0IoMHGJdEf?jz6tsr1IDeSByZ=-J*KGNmn7qNdm@F zk_WLjb6Z7Ovzos^8qwx&ASVI@^<9WEZ%;LcyTL38gv6FnzK7~onORx5spL~B$W;ZO z>`)1XvN?EY9so4|G}>(9KwSH9$flPL3k{>%MZo*|g95?)H~tXuo_gUmwEa{VIGHr$ z&t2MtC_8{oS>h5@|B5}9>Ny`p0#!LP1+?ZTE$D==4v_uerI0X0*c8`h!u{;k2zeFpegSwmM3Vdfg=0)$4x; zBXj6rbJ)(FcdswBKSto7D|rO?QkXcSjF3o|suc$lB}FS{aywW^MQtD%mDq#kVM!-; zb$8h}22$wEL+@GkofQA+PBE|lU7Q4b5t8i1O8)I)CB6J@J2C(xQewJd1_k86u6sZr z4l(b81-lwfj`zW7E#X%2^}uA`Lbrb4Qx5;Xws|Y zmg5H;L_b_;iyE^Cx|)KCLw3;%W@Je&1skWx!#H}Z6#}vzG6xumY{LYM?>fnNarRV! zLx6trRs7SD>XNa=PpaSIOT#aHMN*!e2zr+K5XuuiH8k3m8%)MhGpA5Fsl4HWA z>B!8qXoihYeJ0Fa;Hf7UO}2t`*Y#F7tj6y5utHDu@VX<+5PjyyAtT8Ca(T4KC9a<8 zc2W--Czn+Ac7F=iA_${oKKbFt0TbSAOOMU#-PHQP~HYxhT*=J64(1)bleW zGdyvN)kyVMVPbu&%^#Pv%b(?>f$3d1R z_QcYb_Y8BD&sK5ol9Y4P)mBZ7#zU13OAD{ITIj|T!!~WZ8LL}D)>s{*k_ki& zDfva~0)jh^Cd}88gjAhYy8RxjXEc^uP#hF_(NW}h5TE3iVI-UqYG@F?!>?-^pMWKc zK}OZD8})4p;e?T^H(5T4r4yNa@0Lco`VFIt=KTP3HqWsIWw-vyYNJ!0fg|&;e?Z{F zqNBh{A3NI@%iomA(wt?1Zrb-d_At8RDWpVCdJX#t&!m6|MhAbd?-7r@c>FCo(@x&hA2 zEjOUj!2|ecNZncgEbh$ynpHE5ZM|`ZDn^rg@RH8+x8*l{<7k>~0j*|F4$f{+Ld<-v z{Q#a2ilUFgqq$^9pq{4NMz|-IR%Ti64D>98(9rPu&~SR;_^_3~=s1(=X9kR6@A&Sc#7?;n{%lF0u2zQ9m@;<(&E>?V**91X{&PG9{Kr)FWy4M2D_#+|i<0|~2(Ev{RSFMqLJmKrJe$M~j`Uz{Km<|tr-24`OEobbd z9JS*v4S$7l6TovgBc$Y1Y(56DZ__uMCN1v(F7K7G#YX8(Sll!X5e|b#Wt@M+(4#V7 zP*3cdLA?WSmNTdWBVy_tk6jN^!_Nr+1)kN&Pti1JNKWjsv=$`7ZK!KJ{3*mRkOVQ~BswVe#QF z&OK+L50NWzIrVxq~VBISYG~1Y8ZTu_fsJwU6yHJ$P zCqSx8UY^(y#LIc#c6m3JbKhNdPFTNtViht0`@dU53vXo#PqSYN^UK*RN+p1hw|e-N z7BaGuy-%CJfffAcG-RbEm1@92`q53{W_o8TK=RiXe?1-A9r%w+(=!DV_1tYdg3{dN1W}vAxRupUmVMjfXrn@c= zUY!5r%35{|O{JbJ_T7mJp=B{-UagA-47&YKp;}r##aESo;(CLli)_ZM8anJ?K;eu{ z)-bxZ71wS!86e|K^8B_*!D>l36blX0e zly;*Dg`=fU;=@N=3?;Io!P>7DF-qE2l0-Im8C`m)@v>6|aXeBV=(rMpDhA8Cx^xmo zw=$nb2_z;IgL+41R{V6T;I69Rqex~d#^?6Q7k{LJgvQ(t4B>j7@Yw4eMJ`!=1hn#ry5{IH{ z8JIP%(Mk$XDC3EV;q#=-5F!I__=nNf;vF={kP;k$H+EE@xj{~2;SJnPlkdEMa^@AX z&x+GCOM@b1tfn?k45X+ij#|SJlI`A*NrWTBtnQGKMb;&Q9jp?B!sLA0%Eto9EF#n(@%WQj z+P=hGRF!qaUfkeP19&1s%dR&cUUdwZM}hc(Q|F)fFj(a^4@$YRe;?^(I|pr!TOUAV zp^h;;oZ7z*11Xdii`Lz58nohRLovO2Wr*T>Q*i`&aE5fJuLI0??GAHa>ieB}2>tPX zpM(t<^!NM0FDC{4hf&Wa2o-fV!xnzmuMljy-_20xUfk$M0Bg$nHu=7ZD8miob(IDP zKT#@3J76QIjB{ytWWMX9Q(PtM6v>{5Q@7A}EA`I*n6yay*G--0Mfe{vSRbGF&ql|yo>*ACZ4(ARGob+N+1&`J^(KF@pu=~SuNG4V0|pZw&EF=B)L4WoKwFt+lpu1 z5UvVrE9F=t9ixK~L8-aoCEVV?p8su2UkXL{yp}%xU9j}s^!;71^cAy_{1Xqfj`DJm zg7~0xb_Z6pc)QhBfisn1H}x)-C?h~p?1Nuj7!vznHL_}8RpC-a2!`EyQm|7@ggQS# zB6A$B!3tz5Klg;mI6ZTh1-eSCgKKWHyJ_8(f#CnFb+F*JDzOfBJJ!Jzl2wYh?%>Gf zMY?~5w9x3?XGdC~75n(w%kY2H0i12>8U~dFfNF2t8V}S)lMXhkYk13?{evg@K)YKf zN%ZIVu+~{644#uJKCTSjlQOY!d9b-wXf@M3Cd;V;lTXFd%B+z>cs%D!RO1h&lk+XG z`H|pco2y`1VZIbVc5Fd0XFaxeKgc}7DCV@<#@8=1XlW~q7YCgW9r>fjVVrxn9sFZ? zE3B9eBcZIqc~zIM-r7LVoCcNh&BHC*pNr9sYD6G9wmcX|?hhm2jzj51tNi=fW@O)N z4g|qNsIxh(+N9h-B;h+k;T^^#KRkg*6#lR9FfN5*3`^~qNTjB!gcgfZh;iB#k5A>W z)s!2K6c?t$C$-Yb*kU3Xv*5!sLC0N-RaK{2ECp;;&XTp=P zFr5{_Bk#(FRZav zX&vO1a!TUuo~N^^%E>L^k#_}(mE)9BPQr-8(q-Wy{zN>=q1Q!I#+TxKR57hVeKf4l zIkF;cm}YeaVEv)F6CklJ{~qLa$Eji$d@&$pHbq`X=_j~iYy_^exkmX{V7l@7;61tv zZjL2?Ho_rssN|PzX{#!%0_q3NKCB+y-jMldE{~<36J~WxOPBz+UQ4ab@{p+y9#>SaV@ZRTW`&Ou)#jX{$ zyMJtL=E!U-XERrsZQzm?op=j0zxo5MtLTZ}n)mrL4u3|rj^fWwFk1?@ggcG4*6tZtL{EjY>Z}ipDkQ`$8*Vq(vn9sKm&YkZ1>n1VjU7zT3!=7E)Zm-= z2mjuaC^x+SQ{mdt9;X91J5xP=j~Rmc$p$gV7YDchv0Qnk#_nw)6+zh(_ZMIDy*^Vrm&IXp`fw5&S;0u!tcoyK=3NhSF85;CjW|3 ztR>t~r>u7}8N?jMX>K1Ah*mi0es+gxBPe<1tD#nZCQ8c!Fq8lJP^0QFsbtFU>7&A{ z6^EPVef&EvVJ(`#^97Vp*Ke>Y#MOd%1g_<1H@9QqmOD+XTJG~`usbwhKG$4gMqnN| z%+B#AWmKB`2Lua#CE%;cFQ*7C*~&G^u7q*^pO1taT$f=zKIUYH0YyBXXD4{=l*m1`?$J(F4cYj_El6>1eC^O-B zRd&)}SJCe_6sKJ|XWzj7x<`Ho7tc4YNB#GIEQiBSyg+-zOE>crIOxPnx7USGwN^)! zTdsKzx$3sTI!8O4*zaGzZ=(X_X6(+2Hwk`I0eAnLGP=Wa*4!VOtym`t*D6qGm7YPd(HiD;TP@$x6KO z1^>?4!+}HnOjcGP7fn~PSs^}YHaz-Ibz70HT(r0bbI!>YO(Qz8jB^2AdSLqCu8qp> z_+%k7z1U3Py5rLbfGqRrq53rj%$lg^+Hi~%=>%#a_b=P!w0+>kgPMv~QO>C{LlkFC z69iPw(*?j)TDD{E>u*%>63>s5PX+dZBA*KXF8EX~ymJ?PDkZKGE+;gmV2tqO+!WL| zcFZ&R5Pgs!3xAR?NkyP z0!$$lYAp z8+QjQ8<#lLc@LOISu}MoKDc;QxgE&h;emUg!&)%JF@H&#d6^GQ<;u5O>%pOs@B`)u z{7-uu(RB^GfGV&w_jZ44e$wx2spDSs!#in1D3afQ$tWqlS>+brOy_9pTnsgC-zlK0eekQnSmET1V!tSV^kzaR#-RvUz_76fyjn7~O@!?!z)pTaMl2 zhE*6yksplQry3LPA!3_B?~O7*9copulLrE7A*`ubZgXKO;X4e|xCGTPTxCPbh;4{O zx)WU_hGk;9{NHYa)SX3qmq1$C=bMS^x-gCs!Ru1BDMkvoH1`m$!o;IkL7~1shuVsc zDLZ>R{0N$tY7B)0s~KPR9jNU_$T{J3>p3sN)VFA}FXD%@H*&YXoffRZmAaacMIU?? zH4PT_*al7bv#*DuzqcoUeRiYcFsY+0je!t7{*+N)n)!?jIg5V1Jcy)#gJDiQ?@kzh zH~a#A zeIITnl~M7!(P6;Q#lYkIxL(c!sa9PK8^2-2t1}#HsoqP`j;k%|#1))TmAd9ZDE8&T z%7Uafy7CR9J|y~xTgo(D!!{(1EKN-i!aVDx;-#+7p=BWDn{AeX)4P=}eK^aF? z-%WJIYBjUup?5{zs$7gFgDSEfkyMEbCGst8{Zg>24GZ>g1-I=fYIk@TGP{jDT~G%O zUoUE5_i?h^>8SFGz3T!Qpb&$jjZ*VOY9s zhX{sIIFmzN`R8L+T{gp{SEsHZv3lc;f!5k0BN+k)kbYQ|MPQAj2BE*PheTA6*;Qjw z-2}xQo>rpBkEg?fr`}3}?n=R^o&S-wPfZRjKnfD4=9^S2Y8=|1qj^|7d4(PMJ0C9z1 zkbFn)RMb`f!Vk8;ux!T9veH#d*fWL-J-tdNbN$^R7w5i zf3llKh}x%AKsO}IBe}7ng+A#QEX<7Rb;A*=dt(l3tj4@1L*wdeU716hO_;oy-f{kk6g|d2g>KpIYZw`worMEHunl8jZuWLaFfh_NnMzLx1?B|%t{|GOrCm|LI9J>g0FV^VCD0yO)ZP&j7Qet0n<^* zt`0QwAI&!Rs?KGBa4HxlMRWauhALKRdA@j<_J0iR zC;NK+;n7Sqm~e4SCEpcd$-iMebblkU7on$1{%%+XE;Fd9=WYa0qA2h%y7wpknsG&_ z?abA!Syswb{~yuuvPm7WoP|m!5zF|)0ggm0kKmnmQi{IA>BYstDu@{D zopzKCBLuc+^VQ%yeuDRy3JuaTDa+$&{R&iCJoB1xRd<1#JJn}dl6Ax;+CI&OTLFzF zFEBeh)He$9i8fB7Eu5&A?a~P$%Gs}8itRc7;@K=KFzoRaPOCvc-a%6k*7)b+gEf|- z?nnwzP0!ql2<;UsA|Sl|1Gmn%m&|&@JBrPP9%o0|Yt~o97U#pF<)g+1OSAV|<1SE(yZarI8nsKS@Sd1+^ z9+N$cbz<>g1tKkj@lPHMTa3XJrDOUi6T&ySR$K7^JUr{}7&=OePD8tyx4V2{`sy*h z+OR~=$MbWWn%WDi_SV~or?r;b>*YgyRnNnbWHK1#-R62J$53hx_*lm2^(zh_4Tu&= zu74m4-!5AY@P|YHoQw^=HS;E`2Q_vy2viLsZt5QKqnJX0D0X? zQmz0fJ2^_Gw&U?|B~|j=MZjC;+ZQ&cZ$5`)lPe=;2dC48Y)|!IjffwMklbc5RSNoH znanYT!a9+-M@gTtDee(wF;r??FnQIaRDdIYyTIyok7#UGe&+NRI{YTnh#;}ZIjPe4 zE2@&yr}~hZbI3aDi~ekmB7Z~4v@H0z5~iG%$=MtV%yJc$EK2=KtSkRfEJ=BeKG$?E zC9d=_i{MwM{e~`7K3~cOb{O`Fbbi`rzU*{hnYwC|)h&XwbnJU?g-sKmMST88tIY_4 za+BDkc6ziOG2f_8X02Kk2-C!a*}ZoxO76XLF{)Gl$Me1}<=b023pG#LZ%2qfcZ#Dg z^dOaF&5_{=^v*0_HJ3+}+^_^KnFWL$%V}sB#is6SIrtFux}c|Q{EUBJx@@i48pOAu zDLx)`Sw}k6y#X_V-9kvG8B{&Kd`!oIyIzMLjkhPCdW9peC zAab>^!yC;f+a+&Nm3FUyvp8HRQCmRTPaa^^4a+%f3ip6^P^e%a3wP4gvB*kZ3b*(5 z1ePbI8O<{=wMBnHjYDoonZNoOi-sSHrdZ&EgkFXt)l*kKh7#h-kM`GbXGvQ0meGpO zqQThSh(nsw;}5~8&{q{|p(lD#Z+y<*%tHWM2lLSdmupV8Q((UUniKiUgZiN1LJhHcq70}vKV*)|w>+n+{<=v}c(PUrDmSe2*XQrsx0)uM47^<3 zfvB#jdzpLD)IOg{$Oa4Le|f!Be+<#;A6iBum>twk&BkI9%utiX4%G5`?pl8 z;TQEbRF-P+MbJLe-_(%hGFYwz;1a7QdcP}JMLp9{3T|n8Ac)G6b5H%;gcI4Yv39Ay zODr55oKgdCwFAAhidXR=C>}j|_v-|vi8&7)0}T4(SSb>qO0LXV&1IdriHLiTPm>2x z|Ls&KI)1(}jMmM^nzo_dTy@R~-^eAD%N2t9@}=g(_}`ABVaDW&bGAs*a$0D^53R=h zlQGaLBud1dhQRsIsDMS;r_I{&Tr1flN5`T$hj55-vELEfIiB@DUyD@AVw(gO_~Xli z7r1ptnfd4=+)A&W}+ay>*bO+V8IX1Ptic^aRW( zB4ahd>bC@`$D+Uro7~__I7IfL>=Iz4)37XsQ^6|7hQGl-(l4T^0H<_<+TPX+-1d&y z9z)*CJ_jZ>I_~AnZGq?J>1n=uZO6$2f&3D^^ zbuI4d3!(ZbRtuf;EVHv$wn!5QWxgx!z=Dz!i2B>VFb1CqFCsgKEX#6Y*&Fc9uNwg+ zsfvr;PkkCH-9txk+31H6dMQ7b-j3QY?|jXuYKE?){RwDU?SN7R9=dr|$jY8fI%%wj zHY^QP)7Lg2IeyEhzz`-64>srPvsGFaMyvD1583C@$fN8?72?hN6rghXvsbslxhs`R zue}%Xn}e37rt~ABosjwd&mF#d%j+O}BKDa@Wj4NiUHdSPqIuYa#eJvZtZkl-jP zX!WIWj_&v~#PX$ah~G7@pe!n%s9JXn@DzB~2ipxpz>dDDGve0gWix8r&4@)~F^^0leWs=T2X?bVKAn&-}VY<%BK_QP-RX`u) zTf8)Wl^+uyHTR}rZIdrxEC<%mvd4UAbT1KoLcW9h+|EP=4)PnExyE*UzzgO>`N=!r zJR}+BcO~s1Sb0)ocbs&S!#70!iWk;^Wgj^kF8FP`ps|Px40ttK7)auDe_Ut@U(tS zxTyo{)Ji^};0nY%N{V`R7^9lKQ(<^A^e3J{4_$3EHM(+Rft;Z>)H9*ZdLB&Ao4=l< z+jmIT*zb23;}7L~nlHsAb+q5Qr%-i9KQWLg z+*8p;4z?bfQI_rME`Dplx3or$*ddDA`iSp4&+e==-Mk!bmJ5IFtK+?fJNsOFVGaIp z(ILBPzd&P+SJ~5c${RZ&_AlpxzwaL98-}-&(fsymG|ud>?}8-*(emSby~=z!<3Fw8 zw8je724c}H^^OcQK}aty=|UUsK$A1}!GvXvz`7#O3@RF*{j|~9sEH&K9_L?D8W-iY zW2uTBUJlo>q;O3-$_}-lVxUqFV$rn2;E>YpmH@OM;0X|gckxNbHyEhmre)TnOf8(O zCsRvN{rX^2AexEO%)5glx}r&tLK-!XVbyg!SX+TI^tbd z>&eso^^H7dEln^UFwW^lY+pPH zJ?9oR25PFc(}g7tIH|vfVAw@}L5H93e-)mFzH5E;by%p1yc7RLdexudHIueBA6_1a zjKW^w0k8tavyxht6tL?Br)cr_kjPeh8&tjr$AqD_ebcV1jUuE^uK@)ssAHSeO?z*$ zYii_p#1KJ@*`ns059ZK=k3?it-z9dq3c81)ipU1uvDO;y)D16qVd1gbv`jhbJqMCL zZpQr%Y4K2G;4e!_D90IwgKMZ4pB^5%h6*=KI=}Y$hVG$IiZze;oECAt-$YuaQ_K`y zEe^47q-{^Zg&-$<;X~+jvF>TZq8Ib_2(}(h`v-C!>rORlX!!|nIeZijK!sfAA4cB~ zhpVagLWEeA^pA2X@k)EcAivS1T2V=Nsh&$wcieoCvBycmhWZ3!){wDB3t9gkd-QqL z+~8k_J+rxK*m0k;zF!e>46#Zf9J>2LWah5O`z^ZT9{8#R1Egr-=c35VMf*#^53>}7 zfF#w@tfv%vfLnHxHXDM>v*aiY6+*CN+7|krIjzjB9wjonCQJzqkwc@j=w6DvkE*^m zylO=JFa<1m)o!&xP_-E@zwONyy7RYoRfl6i!)GOo*b}ZPmh(?|9$=Y~8ATjjI+O-<>RXK>W6o@$Qr21z=x=vzaE)AE2T8 zTT|h4`C-`XsPW7KA@^IK0vqc12@ZAF_}~b%uiX6WmI!MViXEuY;#7A5*bVpHU3Cb| z0OPOn)wDAQl{ROJWiTOE>Oz7Zzs%QC;>)IE4n{ilcdsxbu$nBs6GTB0s>Q$j)34Zv zao5BU9k3FUesK+QJjPvV9~6k9@WtlO+Aa7a>k6%H^k^@9nMztsyF8N3%u5i=L7V<& z_CN+f-2nKIH#hQM8rY7Fx}VrG<{zfi2Um2bCh8=q;oUgRxH~u!EIvgqz6*2k@mJe5 z?V86k|Kpu<=YaIrJMRw8!T>G?;=Q#$^^HhiD5bDNHgLoh*7FL|0$&B-HM@jjK-j3_|fAv}XkIXp*+=4Pook zk0A+OimZa4*U+Lr!25ps5`Wz=NUu>C=~-J;(WEhYY#*bo4p-e-zzD5;ac^B?TM^s< zB$X*S!PRMK+uC5O>x~xcy);x+F+5P>Xv0i9NYU?yYx4K+TSYg_KxEX0Dd;d!@JY}1 z`9jrN^p&Bh>Pe6U%s33u@T*hJG5tN!kw2nV3gYq#o@hjvoM<&i3b>tRAsqEpCXEMk zsrzHdpgAk-VE+9#t*XN6(ri0U(1c4uwfQeUYyxW#ZwUB}qb(QOpP_f|GvRfQ!o*yN zoj4K6pyC)eycUDDOuH1)5tVs#`2E z1>FflkneItBmv{ADSR>h>iZ+AWW2u=O&0$09D;^6eBTbCa?iSFrLzxG-PVST-arhc zPuG4AE~~pY;q)%=vP1Nv%k3zxqdwSk=E;Bp>^>R_cy{Hn{+=*L+ahLbS(n{{5hJz! zX8PyJzS@>pEbbg*JfP`2^Z2Wf!sNEf&i~-H+WZHXB94Pg1GCBmk}~(U;5eFdWH{*6 zijczBUn}yZ@{5mY%-{cBwUUS3KA)p`TA(%MRU#)khT9u-urky_cYV*N`iJJnT~<%q z{ur7_OUL-8(Yn8yrXRhZRTvn<6MQd4qxM6u9Z-r8op6jf%#T{TCQafd|3umip41<=wMe${&H2*Lue9t^Fwqv&LW+z*aPjVYN-^osQI$W|O^Ane`UJ`+KKvMP?jOqnrj`hC_IUxHG#gN0Sk*n&J4>8u{cVbJHcoDA=Zlf z4z{ti&6#zER{YG4(i5{GV?1;}(B{3Pd=Vfi`T+mU9L*tV79^OhXWEVV533F8y8$}S zXCJUHYlulAA@lQsoU#5ad-VQAyHZ#*r{w96CY-n_=7UNUbnZljpLc+t3y&1yC^iZH z$wDf4n1RqmVe=wQ^=I?3gqCo{wh6;}%mSMSC2+rwt>TcIZnO_}KJ2w>s)AEFq@em5 z^R3U-Ivr0a(&20E#NaRu=talkj0jrg1pkc;hq2-NFNF|Bdorr+Yzl{s{I<7()byIQ zS1_H4Mpxa3AdtJRv+VqJ*_Ixz7{)I%5cD~Ur<91y$d$~m?`fbdAA#K5c6X>6q;2hW zRtF1FlF%ZjSlnsVhT|olex21US-%hw9s=z|)SI;Pbt~-*B4Xehz6l^Ix3>kW3bJ#I zo5v&mtAnps_r#p8M1ZQt<*KW%>Rd9fl6AU$#QqJlq9`*7hQN zc0x3GM28IX<`rRal3~Km1*ki?#~UnGcG|uGZNs4oQtej)ZE3zPyR5`w(LEGN;n}eV zTfeL^Lx32kcP{fak5!gAn9&tv@gSSDL8KL_G>$$kl1^TFQP`Py3Rd{%k4OQuL!$Ccr0{jLY zKf+%{FSH{RQi3^H9H)1JK(a+gL1c;E7W^b#{1kG0`Npar`h&D2VRcg9Y~L8Sm1;gR zuc^zSP);q|{z;qV4%(6cs=Um;+^})l91jO0-qu5d2ct_FLZw>4Va=#-SS|XEo-^<4 zc?-^)zHq^*^C;E>efzjbXulx3&QGS9eZH3bMQ;uG7<9M$Ci*&Q_`^mB3Iv+fKNb)6 z(8B5d5WMQDgD9;T8|=leIAb`f!=uk%jJvllm^b&F*{9B(4@V{TvTxM<`JX>~_Vk5^ zESP`hf_by~*QnX&FIc$fyfe=}^Nabd2Q{%I5zOEDhDi&0g0=bDhHwsFS0!gc(S+78Ml$eI@mkomsU1N0wVhC~by=*tuIO;P4E=_CKKqz|R9)z84 zc;4;}3H_kgSKH%z`A<1I4#r4lGWn=PKtZiD%*Oo18_oQS4_L}SA@$}YjQ))C!;KNP zaj-L0!!R|AqL&(N!((aK>T!b!Ej}XObUy+dL6wU}3LF`Tqxg_*t6M z-CUX=Gdnq}_zRvCh?cmn`C29_%hwN(%=XjruFc~H5%6X+~;&4D44vfaKq zjuc!}1#GXsIB4Vb3~LH4!x&=9@SoA%E{@r2KoL=cwwxFa(u!YVfao)ZtqvYP&ma*} zPwz~_DNf#q#je-}cSLm`l$2YzzTTJ_NGOe$d|fM=%X}P?C0i;aOWym^0oF1fFc8&8)E>h(=Go({ zs~2&364~Rd-eV+6x_iu=v?L{RzkJWD>HLZ>f}g)*+H9_0HU%o!y4!=QL?LYIJ#_9T zt$D(QpZlcsDTul`TKtyL#@TC-pA&S>r>yBfG_*?5vLQ?!Z$9W7f%)d(ocomZq{V+> zU(P*`B99xb?7XY$b@qcJ>=`8(9q`Y&oGC3nHUtOAzqGvA%p-k!BNlJw!^X|Dbbspt znzIZV^^I#oeY|k!7IGL>upYqUMC-{trEVd|Z{=9~=l)nBUhgoM@M-6l2O?zI_#i8kRVqx2qnD1vFpqT=lem;Vst6`{t;0=?@sz{slvv0TF-?mETe}J+ z5ilX~(~E2;k|nAYK4LXC0^%&Cfr2@x3bG%24^A=rThIe;dD*h*+uK78!(kH94{Gs} zbr9#B1d_9Mgc}Y$^r%B%EI9ETZinN6Z5&^5&UX7^^O6$lyo z8fL-Nwy2K?o>oepR|EzEDSoWjpb~+ZG_&{^r&%$hy%S4t=FAAlXyW`%QfC^C7f!z2 zvJS-d6)m6$kdEZR)JUoF1sCl&=*+} zXD@&w4`IqsBnq2>54cqvcrCm^5H{o*%Qwz7$3wvKoK`W4p5f3dHCf;|Kfn))Wrpge z8+#qbVAYp+iL73`!xw=Mvvm)<8{t;GpHklFe+pa&U;+@T3dk@ZxOhnp2%YtywCMOy zgXP4LCCPV|uX!Q&@R6`KhA=-W|1W{QK)V51!o%^Y(is4F4_-RZa5mgw3~dglr+;3a$yDQ63cFDnkdKh|?F}4Apsw@s$2x?@v<-=bu;WwxmG2k10kQm&>W; z!vEEA4=HnNFc)tL<}fgG*n21DLv!{BpBcJMn4WV;vHl zloFT4GuTDWsEAa7mXu*Ew0@Is_;?RC#BymzKa0b-SIR$VTDRHo_3gIs|FGr@i)Pr; zlWgtN*uKj-K>mX7`A`cd21Y8oU+%eQ+X4-%uCnUf6jCa#Z%*sBz)?A=)ubKE5mNWl z3{=9uo{BiJLaFoYPL?`9UK~M$X|~oDV8Iz@wD`ebi(l6$7yZF^a;tI$-Fgq4^q)Hz zo~AewTg5zLy>4{7cGHFZDwHRxQOt?L0bDjC-5?gdU^25#3fC-Z zW2_K}Uvbzliylmb+%qDUO)*Y7oYo2WCiPZx1#@%KK&TY;jX6`F*`szC!u}!5i@D!OeNDe|)z?#77oEU|; zn9a(9bzp+B2MFBimB>;rC2&%EZ5QUFx)BtgaS2CZ2G2ln*p9Xc)7SR#_e|!CDmz1H zIX~+>=dmy2j9^CG!dfTCFOHF|R)yX)xYB(v@q$ z*yW7y%oKleOsn}P9%zje$+>tWMcq$Yy(v}H5$_ZjR59&zYwb9c2Y{yDXAI??V1pZK zv7jq<10B39R4-Za`E!>x9iqPHU6DJIGdt<)t%V1EPoDpphMU z6nwV7`G*0=Jj}`{INM7z{(w?U7kvlT?R!29HT&V1+_(%eu50cI2H_Olet@r?LMMkC zQ5b_uW{!d9(mkb!X7YR&1i^tWB46h|1&imREg}0;EHSdwgq>rW!4fDgco767!$FXK zVNeAzwt%ix!n+xkh>PBMTA(?ea}xsM8OPD?Or|h`OqM0Xa*FDKJ1r0h8RRWtToim1 zWpxtvw(#u=Xy%YH6e^|Zw_B|TLC(V&_d>;UY$Pk#i)2Gw(_TYc6Rqw<{Ly`*g4MR- zT2RvvEPjcv+duz2T6~EQxk5+^c`wu&%)+=z>yCx_b@QKKBYop*h=9$wKH4}3gylvB zyJ_hq=2B0w-s2j=Z;3ou8h zK#^3$(hmJ?j&B(K`m=~MdFKlAQp!#+s_CTh+`#@C^VlHIpH{wPwcCnOv%QNJJs50t zAFx>kSTE$9uezC_2mj)0 zZBQf~e9oCBWVy`;ny~7858gS)<1)>UU^F;a)&}Doc*aCI|HdU%^yMQgqYF+&S5K0H z?f=?|A+=Ub3;~|KIh1aY@?3xTnH8zUvGzD(X~hUo*G2XIuqJt!H-aed^D8GTpaeAa z>?U@=5jGQIv@E|aZuL+O;4lBq8t)Z~MDB1zOU;x#l4sEt2wGAdimW@r9sI>}mjv5P zAuE`O+-z0vOQxUaeei(oml`AJgDsZT&ZmV5zlQ^}t&xZDodCWxXDWPAONNC_MBKQR zVz32f7@$PGDAu~9HBfJAArsL4ht-}D&fS;5(Y0f=XXCQ%q z3y!R;NuXwza3(PTKXgsF)sc3DXG-=Tz)%n;Sayih`~NWZQI5p?ifcRaE3OFA1>3D* zF%0K^mr08kJ~=1n9#1(|lyuRY;3-gZV!{Dv@2NRC@+dUt%5y@2Ekz2m-Z{k`I7xcs zo|@C-MBIgwGzO~xr!v;2ioAzCSFB~{?XA@`;||Lj=GbZrbj=$L`)|@%spnm*!xuLOH6zb((jB|73wJ)OE=Nn6_ z>4_TymPdt~h#(hsicPxMY8n~K#@%_keWeTM3N#U|%Lg$57r8+Y==&>VzfZp`RCjE2 zHh2k)7)nzYSzcS;nMX3yw69y9wuX8A6DoOy zzo3Dl4MyBJ-TRzs<)LPw*`SD8+yeoT#s&9|RxNoc)Y}>C6cgV1>+O*={6lyJkGc*; zKj0s%LM$lrmLhHC<4T<@w$||$AhK;Hbd~+bB1-}FA5BC*qr5WJ*O`w65rZAmBnr{I zPGmw2F1!1LNSt5UqqqqLf=_80)R{H{pbXufBLXo)$O+4SU>C#*6QPlmqH7P&x*;cyt z+_2@=?1Q|-LY#{5k*IfW*T{9ELm^%{G~N4=!?@^^L8O2r5Jtn#jCKi`=;8`}1x_HY zZlX03EQiytPxH6Y@0Xdw#w6V8^I`^aD3VgW-Ir88-v4^(?&k8*C{&aH+CcROTK~ya zlOu&%rm$GVcEJ3IBFA6yBPRTb&my@$fp8;~$yr#9Kiq}W`d2L=1tN+1te;E#_|{KY z67sq8fhuDf;t40X81#a%|e{Qqt0|`_cSLrtR%b6$&XK|W&M;C&+9Lgtbv)J_V$aZTaY}IR*LTbKc9IE2H zcrGI8Iai5J^8-SY{$hRYpd#MGg0z-ZB_*jWC3gf+MW2`u5jT2{2BP(7uG ztIOUPSr6&L5GmUJBdbaE`&7s)_7sN@Gbu~ZqS@g_xJ<=xRHPy&8B8>X^n ztR@lGwY_fFTRRP_PUKh)5hp>})=rIjIxwAU$RW6hmQOQB7J56yy@$KdtH$l~M6dk~ z+aXcU=PoqI;8-KDmoso^>({Y?lV+GRC*hi_|4FZF0I+!T0kHxy6zp!pOYCl}O1Zn7 zLtywrw*)%q=zmyuz@}H&f0fMSjjt%N@iMXk#Jz2+mm7!hSQsbFI1FplCH`KN!K$eWclbx?NM1U=~UE?C8gL_d08+i${|A< zGPQS74y4d0TI7a3qNwGPP7^UqY5+*N4WeDd+euk4sk?&%CmnGgw%mTQAR^XSu2ED3 z!tjRE0xgBwo-vGq#e0dB1Ox4aOqxt2_#6)=lX`n!T8Wf0Iu}i()abm^6G=L%;(!1t znn)6!QMP^;O{CP_v(ppNMJET@ndzkxr@M`=oLXYeM#!CW2+QOk?VKus6T>q4VB4l- zsb3E_J164l%JbACjc0~tc{FE9u)Sb9+cmq_ z_MFu=HV(nRSb5}QqS#PUnyB%ah48$YcbIx{tBCbyDQl&D?r3fMj z5$->c(g2&Co`^Df4+fFSwAAGZm1$SHH12PwCpk1$e0W8IACEiuH^40WIk|Qk%ZJ3M zE6);KTc45vX1Tj2u4Hl$%tI5**L>kPf~^s(UXg@5eswpc2cpmV>#X(`k%qkTjxw_i zYWMQk)O6ckiY|o5W#TF;T;uV{=-vSI(mbTYeDBLamC2b|78>qGJk%>Z;7N#040Z@N zD{Aa&y9Sx4pSr|1l8#?(*9DTOzVYiV<_&F5C=xEPxax+$Ak7zD#EnFTwG;GqYV;vj z=4GTw?LXbN0&(Yxu-28~s}K??VZGmu46HwmE)OVd{Ma3p`a%t|U`3m0^#%x;3%@!3eEzF>j2B5Ll> zwmM!+kqI(R4?JzP4d?UYin$^`Roat-ej9A^?tqXM2`N^M8XjL_Rnew>e75%?Wj8Bq zQ%Uk#`W}?stouD;{gPQRSTz!@wl5#&D7Ls-yl1>sO6(R4$k5ylxbUu<8E7fqyFzv^ z_AU-f-K3j42HL@o#v7f~Guj$kyn_evA|<-X5pkp@w^v_ErCsp{Rk@2*f*~Feg=E*x zgFWW?8;pnz>n>z0wn^ltUD1sAhx~%qJAz0pM)jOg!Pa&_Kz7y*m_zu2lB!lcA83Pz z-woTvE0_`j;yF-B>B~6|qrj?CwBi+`@nrWWE)^p2BuGhPD1l$*BGa8a6G%n&~NiZ{y$8%6)LPT>esNf|@XwT1S zYKFDJv*1z=4!SZ}WUBbg9{jFt=FeXpacZLfTRF&*sHY1DSu4lN%$#j6s&b>6lJKgs ze=LQN5ze)eKU~AJSgdxoA?-ksC_G@EBV>mk1Cz5GAq)Gpiul#7XYc=EsJ0W#A877n zDXt$bmjB|EQDX|^-XWBQ2izk7KOINL4)=K0Qm!?{dGG%TBuK$p#9mTF3-$#4CsNNQ zvkC4?w`NR=y-x5z;Qx~Tn&LV&jtfFC0S)ygU|UiUT`O;kqE;7w+3ew1B8T{;`rBp7 z81Gc2Djr)K?`UoUK?&RDn&)~VwhqrngZ4BICGuK|#i*wg&6Hap+1cQJh{3^a9A_o# zLZ{^fm&2;2eJ%}OR;JT(9Ghi+c6ZNU#_WaM*m{e!_4Ut>6AJI64?}2$a@F|TDDOg=oQc1aJ zyLVPTjwKx_e8@UaEZtA%N$tLA22tE<*#jD~D(gJ11YNSH1^ZE|pS@HT$*J@om#6Wmhd6qC#4+_hE zAsst?T9U5id7xR&D4Z6AmS9@$!ztIMT=`5(3ojA#9il#n+KBAK@xuO!13*+id*$)u zNkF`we_DR?DNW)HgbvNME0juCs`9Y_4l^RMNC!~)m=`2yzv*aCx$bPFW;r3WQnVyO z-#;3~?L_5Efd|yQXm`@;)pi%X^Lt~?zK-69TSa=GRxKFcB^T0@X8?1&=n}MIAFl#$ zK!L|ZQu*zdH}=<$^}2

X;YykrqAZZmEh(cTzoQ!#|9+tXM-74EgJLq~Jn!)#)-p zF0`>a6i04@@AF27^yx*Uz~=TqBbyVb=IFp=b#JWvUi<}AiTz+@&@5OK-VXX~`pva= zbx~$s3i0h)GIH`UhHSt2*kcJQ%vQpZj6|=x7M+2x1U1sIPsx8NmW&iEQL>tg3!HrJ z#k+bV+gN4NjTI1I*uS0LP;tjm)t9dTx)K#yDW`DNH### z*GbfqwNz13si5K9g!i5mz;4W` zRxzUbGSs!kZW%ccUS`Go_%X%Hu?jCs5RQ#P9t;MCW@zR|p(by$(z)yXO$mjyOsnxm z5kBh?bN#dwg~HhZP+0DjLt$84yXoe;P)O53+>q31nv~+g(q5AtA4`qSswxkAB#W`I zf8WL-m=N3y=N6iQ!e%u6$Dy#wN%3aLoM8DbqF6tm=Lbw$?yAV5q53 zRC?z@1n1Q4i+ZTYZk{^ z2Uateg|a1vKOt43Y7JDJ`uurTZHReejAGZ|19x0+Sw=51WKdud85REKTCVHrhDG$! z;aB0Q7cSspyGRlmRLxeIOgFz2YNvJAp?GWRlw-3Lu<@OW8Kk z)o-A7>{BDawfm}lp;|9mfh3k|$gyeKQ2JWr&p%@5Z7q_~*$Gu4Q6>))n*c|Snm&fI zFhI8?;1cnU303;A=uH*xDCU#B*TZwu_n5Va*1Tyv5lACwiY-p~0|BfEZLGl``e^aJ z?GITa{gCoDSB1K%evbVeJc#pKYIEwOQIk++?Us69*pRqZgbysc1MvLGo1tp@zwMm~ zlpR%>_|MzltKQQ~x;tBUNCF8odHWK9B!D0YSq2v%#7@8n5y*l;(NSKaq9{s&Pq``x zi8?bV4kWmNvZ~_@jsh8-Q5GdQBcl#VGRlmI!vFW(s#{yX&O*Wn=lqW+(y!{)ty|yy z_WLcfHpV)m)J^PcC1d#Pk06t#-fSh+drpg|)roISc4f+CQ+17?yB_t{Kc!kEVRo9; z*QrlL?6hy$NE)o)7U`KJe|kz?xkRZUxye8J!u%-GdxpcFbd0iA8*EtF$iOf(JdK$J zr#PWJsWHh`62;;W40HVH6g|S*zV^Cgzv}p6a*Z8o~|4HVK@w39X$bcRT( zSrtnMp!&n;Usl{@QgiO2aZl~pOr@OJJ7{d|au>CGJBYLW?=s0~nd0zXOnupHl*e^E z+B1ok*ADG+KJ3uuXk)tCy(-zR?s^@CddKTLJk<^u^_mG&AIH@QWRqSU9}u9^W8l(s zzva*+VZn{z{yw$#O4@PU`6c$N^O9JK#jN|4REv2Q@!%FX*z*>I_d6w*@cQRDV!rxG zr0u{vX*Y52_BhSwcE>HX_9vW}-0`J!yXv?rDbs8@Gu@jYZAbj|C!}>vi}ejcs`WJg z`(Uzb{27j(6qgxxcSZCJM7o+8?)yD}HVYYdhBmeKbD1FX8ZA7cTiouA|j|8Zevq9vvBWB~qxrRO3QhbBStx>O4SzQgTSGf}NO0Y3f@gSZ@Y zR~yq0BVo6@xo8vkO_>*r-a+&NuQ|>4C(@p4-E*m=deaHCT-7H{raMxH>e!vK8tZQC zGlzLEvwruD9Ut#i&%Y{?X%`kLOjhTZl+~?Q#4m50d`-K$;Z^DRt{!V^SDQ{rPvmuTaCSQ%Z*x}9@2k#<@Vl#7krb3L(AZkgJ) zINhg?IRmoz<~<2ZJ%3&-*>Bp>I=oN>5}jQyDK@Topj(~#Gol$Lb!TR&wF@YCtvg_C z|7JR+*4&?9v`oEqQg{3|L&pe`GR}J3v?l^WY5H5bHIMsV__=&-dFi zV%-BIb2!3Hi&)nUAZ1+##lncEw6H?0*?CoJYQmO-+l$m(pEd+HTKEY9QaV43vaI_( zSY6}}uj%LiR#@qYe(HD`9(8Zq6&q~N3J(#=kgX~ElC8=`BWsIB))vjFo7}TyZ80Eg ziTMo5S~>Ra(6v`XYOs3ch)tcV73f#FSPgzG(}w3^(@#yq(J){@(h<%xSi& zlly3DQ2l8TR<&^*Jrbt;o&c+nAIDSb^4qW&kGh)PL358q2WrepblLu9$(Cvb{4p8L|J2PDURHqm%LNK}M%m_EM>R{t;;(&noFc zK$1&PPMw1dT9T=Dw*lf{EAs@_LQfdhBb9uUbX$NK*SIBr@Pdr-%5|f6-T7| zByH5E$G#l<8A&;M-8q#!D~Chb>7d!O(+{EAlYePj1C&v+t%0&@8FSC(P>k^`W0H}B zv_&+=WOd8WQxlx1i7=abIk9bjlI$2&zW3TsXKs&`Nq@9Kf=Ay5i5n^*_XH$r^fPol zDtftxzS$Jx3 zCKD&>wW3~VrLv3hBGFCpo0J^8cU~rayeaMMCwJ3j+i8l+1SW>FJf8RZVEu;TacfpQ zG2}EO)UO+T$XdRaYA(sAj}h_oJd4`kg3R zM`tTaq^tVbK1bKdsD6H0VuE_zhjD(n-b0aP4U4WDFc%;f+7P0FU9gIJ* z2A9`FtzANBox0eT_z~ovc5J*Te`1d|b(z9=pUYG+(y7#nx{=)jPTf7{J>rXj;%Vwo zX$jN7q=Zt!K;$4JwnKI5y(-f-LGI*@8%lmq zcy3j6pmFafU#~_p7=@$r;-lTRe>w2hSB@`87sI!?9qF_-x1$oi&F$P|+A{ZS0YKEI zCjf}u46?cx=MDPW&mpaiONe2|C-0M@uOPLyi8m-(q2-ul(O0rg7CnDBu4ZoOEPDQH zXVLSA$)Z=<1>{*lTL(!+->WmIyNNSMZTT`sCatfIw|j0N)%AR`w{c{D>sSYncy2rg zkeGI!I?fPj%_Jln@n=Zittvx^2Jv;sqUSiKr zyBioh==c0wZ?)MCt^@v_LG`y^Lqd42p5vr#vezqH57w@<%DR3yU1br@ zs{f`O$ljbjkq0S^I$r@EdViLAlrXsOevMAB#c*uE2|99L;e7Pn%ic$QV8cbHmNSvtfcF~mOq^q z8MpfBm){@h?l;CH1yFIbN&^F@46O85kXZV!)5`FHC$S(`&xy=b^ApK*yH~otLg{*S z%14{j^xS(Syq!U2pN3@wPxLoY$?Pq6?@UARlU)3v|RI6j6HM zH}TeqS_RgofUTa}X$*F~A`adwrU97qIilq{qxF-*rya%K|D^iaM5%bV;!}I;c#;N84k; zQvrZ&7FqVYkd9|>@=ln5vo{y5T}d>lz*`OpwAo_c(R1%*j|;(h_H&N~J6>E^22If_ zO~NuDKQ=#_y;J2PGUxe2?cD=Ni(Uye*_tT_AJ#!1(7$XU|e@m!_kbmYRL;&5X( z3`*{aK@zK!3^y(XxpBuYX%d^s;{s8+1(cJM^sWh_!vyx1va9Drh+Cowo#XtYJmbQ1 z32)^rLv6b^(Qn!Jb_;R9ih>M(V2&Lw0UQILmiZr)X+Xmvjefm*{_moYU zLQd)jIMKXVDnfS-aMqFiRi-6YDVH1T|E^nYy&{qbHQtjA7r!sZw9?7%r<>AFNg*L_+7kv&^}3%AP<=f{1ZD}hiIrx_eT0=xU9JxF7)8Z4!gqZ zTk6q{*@RS8iy;9dC~v;hIF>8E8ax$hu;~gG6)#_#psj-~;7S!7QzVi%AXfrH(JkOw z(Q&u3U360P3IkQhxV9HnIh2Kg@)g=dIl#~<+~Y0E01ArmEsBPK&Z69a(?bHOiVLag zULaL9cuHu3e^CZfx&pT*qC>JM95xQ5bmH_lka8VZtoyU9#7v(~#wiih0 zNKDNFNMCd-6<5SnB2|GaI+OX(Ez0di$Q#B-^qRq`g0DnttV%Aev#3LfQ?*LXK#Dhv zyQr#Lz|2Ux15Q`jzuF+STqk*iQ=K=*T79LSs=70vU$Z*!CAfJxt^jXRC&j5)VDsQ| zxCU1>d(a7G`&V%)Pzwx<3>DI;>LO|f1&;kID%If&z9oEMObM>4uE=&!3)#QCzraF> zuN(^zLpU!QNB1w)FSwBEScn{gGHv^nCpX={H3c^{&S>0Ka)H%?T&hPMRfwfqjgm}V z;dv+(kx3;3r?H8;-V_I&)VY6&y5lF)*?}*j8ly7%g^QOUTg@LdP3~VUr`MT-0!*x+ zAwXd#R=D?7j$_vEvzm>~6WvlBZ5TX$@6PO$w!PmGo7`HJrXn`uBIt7oMtM;!piQ^h za$6=-=Q&fChJo<B;1$OooQfWOmM-097wYE4<-yA~L-lY^B3;Wz|mH2?5FaBV;~%#BfIaaznIL zt@uJTo{;Eh;<9%odnqU214@{Igmq^(w9@pBN~p`<7#V0>*xN!ADz_(3wTTmeg=l|6 zsLjG@YhsgU1S34?q+sedSKYi|T^K!Vazv>^y6w@#fIfok(k83D`Htma42m|_JgAOI z;cfPbzT7LUgn3F9IWuG})JiTt(N)w%0C48uX;IaZQ-QBq6zXJQhosHZe=^2tV@^_U7<3AC!2))!1KbpDcfe9FbW*b(mj{ z6tmr3dJ%?vwI4(GMb*u6RW6b2t9TyXD($drqVqHh=5v_3W=(Dc>RyX!PxtXMT^~ch zU__e}_gdec7<{dyh1u(r5qyT{qjN>17R>q!Opq>Py#?9}CRwJoD1C%4d)#!T%c#hY z30;)z@y;r>$(=9_oo}OdKAdry(x`>gGFhG5R#v-K5#@aShZ5-?E#g?2NtI>-yJ)t0 z_amIQ$QbqUM=}#9*dOP)Eywj$RUZgi`|ze}&{*OGCk7Tg?->ssou zDyg7S2fR}@$pjo0rTP5!&qgQqyG+w9c&-I2y+(Ud-5p+5mJY2@>rY5_e*voK3pZvNzI&YC%PS z)spI}vb<1!rk5pL9aB=xb3J<{bo6=Acc!e@R+i3-&mgsBMsh&GN)zatFy=rdvF`rgLbLmZISp#jg?4cBjvzRXM zX*4u7yIXVJ9{wWjHOc-IJ*KA1j@kU-5cp!5&Y@b~Fs>d`a~pio)60|2HPhj%c1SyX z<(bYbO8XiDl;r`+?eGQ5^DoLkN*4<|bdbuqklIU&ubS%$pwFmpQ8+>E?K`ABzK*Zu zT}bVv$5*XMk1wbzWS-bfs5FCs<*F?|jgzSp!cy1bspZF&{JyrkUZASsZkOa6D};3#$E znEDsx*ax*kTF;zLmoBLHQqR2R*_{3}j+(JKYlqb4%rTvTl-QgO0=XupL7-+rM~gEt zpj*u`36}Fb6-h^Xm*t(FkWMpfPaz6Br^fL0>a-JErixgNPLK3|61nlbF@`&!wHm1x1X@>D?1x z^EKX%8{j`ayc6mlzT5ezUT6s)G^CqP>_ph$xRJ}z;vS{2hmYcLTQahiG^uKy6 zMg=u$x7%o~92Py}a^&YLO?v)L)9Si|b=vw5Vx4Z<+@vDspiMq{D}kWPwK%8N)Gbvp z)t*+XuSu}diDQD5JoAG_ks-`?zekKuJ5y9zv*}im!y1;(Qn<)UeaSSQDDJPum@$H%Qtu@N*n5|Q~=5UR(cbzvV zf4HIT5)Mt$m`?NUG+nB4)U?qFAaua%woA9MWJB8Qo=Jx4>dI%Oo=^B&|KiQ!C~r^; zMHq?hw11$)U!ao(=sIjC3-E^lCiir*0DQ?y7N~L5PV9fQH!*PSsZ_}&wYyv0@}H@+`s|c=?@_q9LT+)vbZ4(!Bf43g z9$$u)j=G%b^CC#prI|y>Oxv`Ar+Jn81(hFk-N3*899itoe}ur;?BiCSQ=4e}*D{l4 zLT5Jn6n=>^tbc1Xx6xasv+MXw)_dS$Q;wo!=Dj%7bsDfFdp5zSmjy{CG`Wx0bTEC4 z%aUxFBKh$^zz-Guw+kiDv6WliSh{GUT6|qP)kWPILv1-NO_Z*uI6p$dmvk|V)dc^f z2QQ_@pZK^$^VV=n7(iCl!UxjR$=l4TO~1)}OOowK#u!`Zhjd1v;3^vyhPQf|6=|^f z->0TnaOe+b5=l+X<;KF(-(#Zc<_nQ&ePUC8dRQI(2(>D9J;whnSVtOKHY*9CWI+uQ zFE_N4w38RI)+9A&Zq(AHj?_EePQ{!h{rDaiUrIfxp)2qqE_zQYW!E>-t@++DMAF^X zGm<0f>E&cU4-8We>FI^3RO6mM>aL2GI^v`lH8kExt%Rvp%XDvw45<}o#Zrolyf$^( zx@6bK-a4e-zb)O_hHFo67kdNV>(udgJxu2IEsv5(ef6JtCjCY#l4PGGp6>B?TCY`o zrzX2%G<;GE&te4|^Vak^5^3sF$hhe^z?sy@{(Uflk#SNj&Dumu{XgRc9!&6~2roEX zef0g2%!{iV(&NZvztVyVHOK02cY>RpN@Efe*{gQF#!9pqVXP}{G#2jZwdKDfufsIb zP_NzpIAK-3C+-FccSa&pZEIe*f!Z|L8c-+qSsjg&Pk%=MpWQ+fXMco@T7%PFP&C}| zpsgvv~?6DHH=Cp*=;|4!2T<+qV| z<0B7e)U;ERI^|B$UG*?~)RjL-Pf(j*AMHRp;h1sHc6x-bJ0_isQb>-1M!jmqP&7dW z*aa<#iRz)@NL;OWCVdJ3HWiNe3sVSE9aOPnW7AkNafExGp|tL?cai)n$V1VF2+CVz zL$atEcUfJH&wREup(Q|L=Plh>y82u|Hoc^N8_i6#=Xl{4=|u_o&UyX}!Ns)HuGGX`aa)2b_vpdQk#zxEfyarMXR?@7;SOnkJ% zOCg30PgLKi;y1TZWy|KxD)TfZ`62C&zYl_uN+_UmyZy!%dNC>ggdW16k|Xi_R1I zpr0O*?r?YR)HA5~(YcO7SnfUdK)_Q^8eQL>l*vjCGP^RYmVT9_$~!-9rw944_T^X| zLJQYGT^4ORHAL4cqa_v8wsRvwip1(~yDq(kBt61~%yw0-JvKI7Zq^!mTFH5uWZj~F zsrzO}hV2NXCI3j5taU$2clA(2C}_-~(l_>e7)JAVav#=xW^hSYqma*pmk? zeVXa6CyWs}T7}Zq-ygSlBFCsv#iA!+bj_(}v(|7}jiPl^m#s#1evb;-PcBF2vfe?O z*lRCEfqi;sq`T={fs8-%>%~reKX`QZ~{zjS% zVCp0K zf!JrxQ4^CGHK?R7%Psyn$Ameqsh#uUJy8xX7GIGX7=lmXV)AKbIy%llC^B)>_RlB! zD1Q?U)4`Z_0-U7j)I7DeoS8yvTi?ZfdgkfoBpwhcajQ3S_tWV?L<`PQwdtuyUla>- z&(9Nd1S-dq>fSS9$zy99+Qor%VQEXVV0|8`*4-WNkJ1r&>cgqYE|TafA3fUY5r*fu zS9oDnRDc;c4-6rd#Bb?U5^$hF{EdE*om_n3N$HNgxPUNyjmzEeJJ;TV?DSdzK+XZc zbiWITi>xoOtHkf@^&?&7>*T2vc>C1zxFNkn?|-^FI$^$xGJ)mz*s;;BouVb2m$_t|XH?&N`XZMwl7maSy1_u6NS~xZT^wJ3->qWJ7hTOZmUd2bwTo#QB7Pt+i$OCYZ8Y6<YZn(PBKE-@ai*Sy!!Hsy|iN);^KJ{>EtMXH3%{|S2W z(@SF+RsBi2LkYX%OHIfFwmdMT+Iye6XNDQG@n%$kr>{!2bmW1FffLa#if(*IH@03s zr0(4qYgJd>3y0qI8XlWBE#BAYthN|^9;X*I=r>F?SZ)f*OLXc2hmdO}pBA95{`&q@ zQdZ^r69=HX{_aZ$ke8`i{yx%Fc}?+U>us+o$@sWJXD25{i5l=~nsV7ir<&9>JuHg7 zu=Bns%`Z!t&m)FvzS5@DjfEt&9xdD@cyN=?kxb@7$PgluD2EtApb-PE7L-Xh|I)88 zIxy-7RogG{^lkZLD#gC~9tN%Vcf0Tn?Q6So*~%+$yK<;%vR$zpCfkm=88kKia^NdB zZMRpBv`DwEFC%-T3M%%kM2XY;XB5afvMA?z#F*YAV?$Ya^`_sYrqrQ2 zX16VW0jqqC-S|nP=0$@2y5_w78ZPRPPQAS{R7TmM``VQv*S)oD@YZ4^E~{cKt`D(3 z>VAg2T@ch;i$KZ`Yj-UUO2|s&Pr)RcM(p4E87}BF5wmF;lLh|+8?r$3I0qYoJ7P>< zj22n2Mm1TYjQ|E^b87U`gg$@hd^FKh@@4bf87x+vU^s+Z>q7TLt6} zg8JVpKxBdPRvA@Mxk0>I{gU&68Z58#vSqjy+FTwBC|Lb(e%;u(p z{z?bL!x>^9u;YA+HARY@EitOt82g8ZM1}0}Db_h1OXs*vC#%h!u?)V`ZYkQ5QTyQ5__MCF=@yhd@ ziV5x0!RBLa1Zr70IHRNYw1MW}hSoGSw);ui4qSN2BNCdqkh;I#c|xW;(#Zaer9Em< zQvNrc9}(@gfNM=V)cDI_LZN6o)N+Ng&!NVzphIn%+M0<|e24?i;eSd@Quj+4rp-4+ zI@Jqr0d1w`sJiz{oa57P-|IA%|zFJh; zS^eZWkqPRznOOSTZ&D2&FOret#Br&W3pmjelIfKgBlw9MAH>8f*EBYLuv?w8oswun z3o|rZj>HJquGZAj+v3AB(Bu&pnw1Lc5|i#%^fJTDeOUVU;${7t;xREUwM z)$pR&fZFmxGDCe1(&d9v)EwS368mq`?#xtmfKgk1?PqzE>cXj3&+|*XN3&)*FSp}~NxHywlOu`{p{d#}`(>M6{+8ta z+orMXXt}ZNvF@o_7jVo$tr9dL(yjMLy8MKsoB1reF!Q%+!D!@gb?=>rxL7&|-%hy>`7m-EzUSpK9|x=5=cDs`Qy>IdDNaP@z^2 zdMX^e9ditFG>HS!g33b_IU)eqS^G5mrh#}nCaejR<1bTR)!Z?j6uM&XFVgmknPp2` zcU@V*+9}euE3J-tAeGVaW&a;zQEs)Ua4^!-{%le4QednOBzt5a)*VJx(+i|kSJZRv z-b4(AE-9(+Y9zccoAR*TkJS38L02?>=xolfG%YkiYTbOy<7fMgvUIrOu##R-j?ks> z(rzi7{i*HI&cT3oOzf2zgHKVOn&CaA^+4BA>y8v3w|2f$gG7O* ze&S;oW-AnFS?}vl_xFlvAcBj{ba-_Rw*2lVtw|04DGh-E5+@qDf&=-@Q=sZ8KTRLr zxbQb!{SxwOM@SmMR}d|j9Joi)6okURwf+i=V=ii?tECGl-}L+=lq0_Dfn-V@eJN7* zD_2-^$rMo6Ph9iH=#XfJIBwRDAW}8e>G%6t;WS@4WUT)H=*Y5XOqgrt!2h$R9MO8^F9C5Pc z^k`p{3NH_Cq?s^hhxAt5OnZWTM_H*Qe@efuvE(zB+Wvc5G*WzZ{x!5cLVIgfv#+#H z0D~w_a&nqO-yG4f#)gTT09c}e$Ap0}(2&05s@Auqdr>y8UahG{3L`y}KGOgE6RWKo zC;7J#z0IWr-1Oc#DvT_n?wLT#jAk)uhxjlx2pVG#x zxSDk(F%Q=bT0^oa{x?n`T4&g|iy?^s5J+NlW*? z^{E6WkJ{op(k9pcSZ!TD7yu4O7cO{fYRPSJVMf#qef-%(Z;KtNC8%D}%0-Ji76<+< zx5dwaSJd3?;i+wRM5fQ@nyBVbhC$7&@I0ULFLm=>tz7e0vj$Q}RaZ=Ue6E(LCFv0M zJ$$u|*K8hEySH(kz3$S;F`eQPaUEDSIL*7{uqs)j6*Q=c}*IO2)KPu(9)1p;$KuN*!WGeDQO zB^Z)8F)8y1;B|JkB31&F9O4W74Q<#`v5EXxP?Oa!m& z*`UZfaohQLA@_JsPA$!42K=XOjB_@~#SOe;egX9gikop#4*2+@b_3Cv?!I@Ut?c?v zYIzG+&CaP?pUliewcvd>J`us)auZ&P z?7f6$e(^)n9ro%-=V2ngb-y{?h)pO#oU7tCbub)tYU6Dg8ZzYxwG>~c?J6%iXHX*Z zZTE$`?|gzLr@fKz(Yp_aIo^5`JVCn=b+Z>?la1N$w~LTdx!-mFF)wP%+DlYq1nzH}mIAI-=YlhRvIHP022MT0=?1{`!i+_QN;wqV}si2pf zm-Cho!NzqLwj6B`K=Li!BWxo`Aw*F&UDvryiLW3|Wk>k2l|_nIpB5pchVZdZA-tDF zlhf3$zfC69;+vBt#7)r{Ym9i|n3#y0BCWXHct3t=_vAFKi+iBb2NEtFLE6_`J{Zj- zs1Cy?^Q{llB>V28IL_A%wbnkIZa0EoGOU_eZ~0RGfUP&yO3lA*iPSK-NgCu;gk(3h z-txtoW4-a0L3-RZSZ@Pr+L_{7%uD#9-{8%g0zgb1MffB@j9skHJUB-6>;+L@+SCaxi5@Rt9J{B4+8G3* zQT%169CfHv+ow8I;w;BjhfKjL+2DnljNm86w5UUVPdCB8V!IE+;tgTD3L!fyelxoR zwOV+oHBFjZwy7DnS%;~!-as?aU6YVEM@sLwb#Ei@W%M>HsNnL(c{=9+&Tc9#@t3&c znsau^4w$R5ZLtOW31R{@Bp8R|C2C^pc>H)X2oLa9SMQTrS+>e6TeRg)X>VPP=pggm z&!lHcXuj4m+Y~lOSL4sEDYf8Jv81}-F6(^)#hO<3x?NFN(i)uB;vP zom-D~w}{e*S3<<6`t7XrfD?g5eN3|oYGG+zywy|na9-d}8fepxah6*ksIwXfY11x| zuJ&l(;WlzR+gFjrI1W6-vU63Ir~^(LuiezDx_+6N6E9b?*=xTM=}XaQgh#TCYpR1o zQtMA17P|?#u3ZFDz*~OGzs8Osw6^E5{l0ixqBX@3Q3`Zux7H}67$CW3Ayl%0Lj1*x^!C6&kl$dvnN zynEs$t2P|HZsnTQ=MfIM+=*^epS(~^yJw69)s-X*IpUbSY!qP1(zTcvVCcvsHs zN*se?P(|JU#?drtoc8ThB2ENSS^Xd%A5v=76>` zqKn>s@#vzpr>wbX^_o?q@@vNErEAu%+pzlL)$eLNabmA zGjDy+nykKnw|!pDV-pgb=)hE0z4m>dygLYFtk9La68)_#+`$tRC8;cbSYD%(XN2>J^jt}Acny;6Qlj^Iy|383%9o2lJ0J7Kch_zeVFcKH{TR# z5y819YaMp&+f$PzW2sgBa4vWlShO0VJPoP(wc{?%a zH~hpYn{?k#GP4`YN75hrhqyZGdud%usj+BeqWZ@htUgVAE2n0TwX-$1~P_wBn z;bh#pos#eSbgbXbOxXM%RNN1XDd_x9jS2Y*36&)rzXJZX%jnI{s})p2a&2*4}FcX_daF~>zZ#x_3In0IWy(H zm=P}9)^({ugx+}QE@#;SQ#)1cvJ*jr8y|^ex@-@&t80O?+4rReCg#d^&{Po4MHHP( zcNB^6j_VSyIxm-#iZ17^y67SkmqTEJ|EIVce7~vq9r%r^ANXAsXOnMyxmHpAzq6*) z3n(Z48$yu2am9S_xdLjK?>5RMmf%5LsEZ>>DpmRBpu}b1cRskJay2+yioW`u7D4O# zS&_(C-|wmfw|KvMMk}G|s2iqke9D?!FG?1JHxe-#{Eg1!zrAlz==Mdv3HSa){dhpL z_aQIoi24D3-HTXiUL4dufK(-Z!2Dh%pD)FF%msc+)VS{_9eM)4t6^jep+;4*jeXCf zgQ#E2R!gjh?|KEB!vCAT*MZ;SrS;#h$}xfe`C{<-TsHXLY6z3+1*tjfn;;iPTB%Ux zyI;-w00mq^aLg5g>ytQN-_v7usy^n*OL9TFOZb-I(Oq53{bG=g3ncmbhl>L5d%6%} zfQ1mFq5(-@d_{V4`JS&xzd7f(CbddvdAZPfUIa*_$A|Bgwa_+*p{j46Wru;1>=hWF zuLge?L!Vp@@kt%e?R#IPQc=~XgvWZ1j5S@|9iqdo9j&Y67oOTh_7i6RW#7lXz>z7nDj=?CQ9uM_Gb){gH56{$7o{~cOj zDFm@n=)Sno{m&EG7x-P2Rvc!2k#VIEg;zpywjvS0<^j#=f+Sp^4ypfsIfSj15DVh4 z)g7y*FAf?H>Tu^`gOKVzP z%KZ2~RJ&_@ziEvfyf24zzWc?Hd@o5lh3|eL#N!JgR(ftB7hFKO82pfONQjihC+vGc zF$9Q0h_MhBc+G!VQ|qN{@VRm!xWg}kpB%^|bw_VJkY^6%BlUyT48ggBS$o|m&IdEe zLCo=gBvZ%zy1HvQj638d9Z^51-8%@tJD*$kOsBsH01!HVk@uR{)_pANFR>62di#EF zNm>Z_R$7!ac;D|PGlW!wa!4sEI&$ui(tjx|9QV!K;D15Egutv?r@rnKz=EU8_l@{b zg31Wqzo5*^BdPZ?#Q1;?0ocdBrT&u48lIHx4uQGoSkWG( z(pESCG@_}3c*ljHvX-MCaPX08_(DFUX+umw)Tu)mp-FJM2WKsW7g7kL8&y?9k4Ond zKmL_MRu&7<$}p`$@?)`H*C5S}X@@xXiYo}sN3aV8DSfuyGJYT%i% zND|)8LpZ`Osp+W@SP1zj;janl^JG$m;2ib}5n>zoUc5>HYfdC}A!NPq-q16J@a~mD z9##^Df(zMS5CtSP{iZ?y2>X&MA!bA=g&;4+c@#u&Mg&)edFaLna_2Lhr>B5?mSQneGMK(OQwi z3_rP!@e5bNxJgHV;3L(LTLVN3EuV#q0yD~{n#Auk4#h5%n2LyP%(7>Z%A7LB4{^n_xV z^ok*e7I|Xs=Q%ttM&vH#Dwu7gAHNS%|lgEuE${2V_0Y?RSbL8FTJ>gJ9dEgG&3U8et~!798i_M| zD%M>N#vuiUNNk=P)=OlWiRI0YQqSrvy5Q#3&Nsw+raDPvZfSugLksy)r*ww|Y%##j zEw}%66HS{x=+rgvKj{3eA9Qlc!iyWsk4i;+d4unbda$~$JJJ`+j}i>|o%meIF#1mX z7`5%!M4atvrvk=MHA61bnoMisp`i(l_kZiy#*$TpuDw1US37@a^=Bl$MhAhZ2W}v~ z{_Gz_+tifr##4>2Zy!)keL0qH{L}P7)&3P~p*`D{7*<=p%ag}^g(7L4-;KBNzHPs^ zW~p0mOr;wa>=@+t!Uv+W+lgJXMn~Vg>Y`QWuiUVz@tceLRqYvTdZet*dBz&%KbJpa z&2Fq;Gg#}oNSr|h7#Bk3Q=>JnF z(BK%oqFCcxrd&q-EmJfP{hSiTSo?)iE=#*+=%tF0LWX7@2VfTGNg4I5lr0n7&)Ycn zcjq3#yrq>%maaieR6=V<^}(PmB1Nf1698@TlYULWC*Tn*FLM^Sb z)KZP()Jlc-^HS1?a+LL=!Y7pG%q{_f_Ut1?EYEVeRHNo9y|8oiMJQ8uvV=KSuF*}k z$_a2KkDs8%h%99lQOS5U2`VLlS)qbn&+A!=e3`v=i7b@a)t|o+o2C1wIPan$Sb^05 zAbX(14BEHsI|cVnOgbBko_o;z(g@b zCeFjLX&Oir1(jhcq@ZSLU<8dNlV!z=P~>b=sEsYl7N9vCRwW>5 zW~U)u-Aq41I}V~m!R{(+A%Y7avTkubkjp^x>s%#^g-HlQm7ds4Q2@h0cEJn26X#$x z%QXmEoHH8ux^j>M98CIRk=ZLO9mXPgmcm-{b=(x?3Pv;s{47&^%B-^r^^}V>NFHJ@ zLN+Xl5qK~_wJNa&_WT~l0;HfD-v&5c%3cP zHGu&uz*vJ|3Bxl?CGQbNfqARkro{~_V=#LRD&lsmRLTXAn+q(IkLNQh1-2dPfNRlc zfvsU@`4WhM-Qw-e;%%O#UjO~r?7D6OXduNFz(j#a7OcSzu2z^Cki+}1U-4S8RIUSf zUMSoSCk03buK_}AG^9|ZeN2hV4vWcqL{?-aAdA#|l^F>lAQ-sLq$~{#z4ifDX#gI8npt)adJ%NtNCRZzOJL^6Bsmn) z$XD=?Zv-|7T#9)d5P%EO0#cRha4&!X7^&Tfz+;LUXa}HSSGc0s<^mnuV3!5Z0|$uk z2+^YL={@9w@(?xbSQ!*5)~N3akAysAZ;&Lwly`H#BJxniLaQJuo67o${Dz+b>Pm$W zT4>Fg-jkRk_&|_>pfe}~kRUNo3;F;%U?0#E2!rT_ZIs|1Fk$$;U=R!rsSmku4J0iI z;Thn-g&W z!8wFdq|n9lR!@J?BNzm-!6@n^Z~oWlK$MiJ)4LP1)N#L$r3pfDm#ftd`z^ZLp*=mM zLVydAsbD8yg;|1jpdUnvgn(zmM%X)9DZ8JiX&3Ae5uyhRQ->RaO+x0*+#Vci*`)_C zIeZ(cLUMznyhnH+tPd8(3d}c_3hKGrV*}9=Ngn?|(U$BTu?6*#r(l6uRnfwrHo6PJ zjzsY&@FlQAQ8LhoKyMtX;2MO3l;St!%SM9Vd?omZ#sT-^i=6NAnBNHJpq!1OtMK8_ zGfD*DsUv+Lb5VHVaXb!0Ak1o+oyj6}QAT0BpelS2eHf06h6T#2%Q}zHc)edlE?jcd4&UYh_fV` z6=MMnRLO!$kSuRU*+L0L(7_l$2{Mm`&GQq$)B>w0#jCa3qoIe2wf0GK5Xwi-mInK>0uVlsaD{31|8> z9`_t!G0e~ZkPpI)QTEYLnM))nJD#m0QAJ#eGz2#AH;$sYUM0F1bc25R5FQ2b3@?!k zH2oeQ8wG0%Mfiu8yNfQUS>OXCgn|SDitPm;05lg7faqe#1`rUOf@IlddqKKP z{L$wfhwE)fEFCl`@C+?R*e`$={Z-^qg-<|25HQSbFc^Iw-Ol;gii$)Nhie?pj#5J2 ztZIbeP#KWLlP)3$84gmTWHW=Pny4oH4{Z&-1AC2|!USP7bOizr%P3c(JAyneht@Ub z9gPBdLmw8Kj;}791d5?AmCzovkP`?(ckpIVKqv;vmfu3T=r>xSVh4l?plLbSOC_O} zN2AME>q_+YYd{9k=wTD^B(w-vIg5sUp){a_!Q-K1ppKypy<-}QjRa!L4N+3rVLlb^ zBV!z>duX8k^wrcEb)BDPzm8W4BLNGU5Oo!*0V`1pAyeR}Em?Rx9GcBSglAC!=u!eP zvcGr(P?I5Mc($-k=XD+eHP;R2??XA<$tUHTTyS**Q@GZ^nYvWv`ou#%n}!q&}5-v z^hbDr02i`_oe2AueF6M@GJAqqBZ8O>V8;N5poNV<+NhAEJNDiNicarx5DBRRWy2lN z)_@%vB(LDV;8j(`8M)bR#^;gvH ze~T`UQuclO)WmW+fNt3n%UTXeLZ9j}tL2nIKHq)4j}ZY1bYb87i&ih zf9MnbCAb3%K)8bdl7x!|Co4sYq4<=A)ZiWb9~@8{pD1Ri7@}-)!mAlKoXK6kY&ph~ z3}zmd1Ja-`pef-ffkldu!UrOt`FxBSQJwG`fQ$$)E@E_l zk^hI8u|D7{RuJTlQ$ss}MDvjEVtPDYXavYr)G5ucVfwHO;OQ>Ds=n~7bd-Sa!ig zV~GeS$-%@(NsQ4L1>%WEVy?C{jK%xy=TwY05#{{`#kp#biSEg-m>0R ze`~GZd^i5-ouhlM)UFI%8N4!dW%$a-k91?h_|%-UlKFf(dFENUIf*kZ2XL5K6A$G(|=3GFFKMdpoiPX9^8}yoB;h@nS%l_O>|DMshsQYG3r)kG)`_Qb7 zMu>VgN5b?}jTWOREz$RA%dgF^tUKwK`f@FpO{8hzcf-SIVlrfDiNcNpM$#$cLuE$N z8guZ$@tOI;lH;2L*(5Fbq1H}S|E`7Ux@&`Fg^gXUwDHWK6_KlKnz|_1Qh0ai$yBk> ztf0k<0%K|7V`hjp?H8I5vhkLJwy~MUzpqu%Tbsk@)6Spk6@{^1HE8J*`jeVXOHMT# z0(OcPc10JMDfMnUO>3_U4x@zu>*rdQwEK)9GTwKd)W^z)Wp=cS9=}W*x*`y&pq{o! zgmz9a8)tU1LwS#&fVbjJoqn55S!sQe%3x_EAlzyt2u+<9_ zv~*gaD;S@dpd|sTmbN^lZ^HUg)rM#-eKaXhLmTh3!ZhWZ(K0Pv*tER9Fn+m3PqgYW zEkTn`j?@)4-cm)YUkd5;^VdUlX3{cepLyn(v**y(1H(0oE%VHCzCPxB{B5R3cP_H| zUy}dhygf5ct~YHvm%`U^{wb}#N~Yp=#{JGR=bbsmHj~M`T$fOnO#IT6BjPjD)8nVP z*Ev5dN~kYr`*E7llt0Zf=YH+HZgZmSTr%#wJWKXp^%^ZrtFF=N>abzXi}_|-hMOk) zCbO}@xjv7>OY4wbRF(Z^|QNq7G5n8NM4!gPXmX_L-G4 zKJPI}P}x?q_Dfh*d9fW&^OD%!pShfj)&1K}$O@`WFnI-e8a$W;Ej&3?L*Jce)gCrx z-UX&CHDByK+D`Lz-kx@x zokhf+kbSaM)2Md($PB^RRI zqeH(OjJ4UBTnP#B>2{u*8%K}*R&Oa(_89FcUikTEnu#<|LeaT9W}L&xSA`nOGjVSk z%!h(jV{K-jMLSvsDwOY#oMnDv!6MMY>@&{Ye|kdbUbd!WbeV)hkV%)2y3AahmSMXr zrg1ew+Wc+3i4MBmvN9>58Vnh`%gZ-r-W+qHtYC8bBD?hT*vXvpblUnggHI1{?|!~* zbha0d!``?%ridXg7dQ4ZEtw?E+CNf9U->xLS}QB;-mT7ghL$~SwnpVLMIVcU!Pe=Y4ISnV}ue88wAj z$A;*w3#@1)DF=c!o@CU~<~pMsOnTR`X1y@pyN)zQ(wNtb2#wKnoo4-8Sf{2X!Ag2F z6tSrLgkY574~7n-b_&+hALnRM+J1P@Dt!1vbz%ECm9)J!7^d4_H>&7{7j%n$dZAHC z6Y_>dKdHc{Zw`-|bpMUPih!M?g{!q%+W3Svf*v`~Gy^OW&NUk7&KgUnHC2{D9oHEq zeLM#DZNJ~LnwjXZ9Q`oE!m9F4kwo;+8^$ntZh6R{|9rzx6Pnd-w9{YSFsg^ki7TO? zbjl&2bh=1Fc{%X3eQYp1tAxm1o&X|a8d7xRZakAGe+9xTC9TBtMX3QuE1jj;VPhY~ zlHCWDu#++U(i@8oAEO6DR-~GtB~g!5%S)(_R{dCODEzd(?%*-==M=f3BcCz}OkXi= zUL>BLvoIO&YzdoXuAC_B8eO9n`OL*3waAldKn)-L)@bSQ4;U9aJjQ)`in@*t)(^oc z?;{iZGfKwk?w9pu96BvHAWvzwOUv#?i`{)<{b? zhb`)<(84h_Ds^O%Stt-R>lm{!kj>M^gM*EQ!={(h%dZ&aH05$FL@OsipZw49W^9O^ za@c;BrMaj!UCzOir;P5To^3{bqw|L=wlL^1a~5KiDBf;1nC`DBTC~j=7D#64mTkre zZ0gUq8H>xjcjV%}VJ}W)6|L}jQgo;YlUIoUb_SLcik*KZwwJ%eKL{70U_OL=q57N0 z<30-CFgIKzM2stVd3_=Yf2Bv$rX$1k6>^yzaD17fNgoI54s$gGem4JeG}&CL$T^Dg zkoQYCG3zZnbccDR?B8M~-$fqqtF?V(&l`iN9jh ziDcRN)5w^~(7xmi>hZiY&e6kL)$ww_!xGAV^4`i&ocnl4d<}n>piiHSHqax}Bg1Ol z?;I|z=y21S!TM<0HF#3vNHdIP`t*6-8Y$zJjpirH)9`=nlduh?#>=~W3eq5JnP(Lr zw+_CRvYs-r{?@W};I+*A&Io<=@4+TI;~2A{#oKzGy|aJLAPQ@0hYz*WjuBwT`M?Z# zlEaEQ{G{D%tMBh39D*qaS+#tIe}0fPfcth@jbieY(a?w6jKk@jD}p9; zjGhs&&pdKiaG=#jk1x_=Wc?#pQODaX{LV)nX+2%JP}PhGvIJ*zs)faEj8CqK%J5YYjUIDgkxTl$Z3zGCS#ApD(OxtEGRQ1Vi`W zF9+*p4}5mO-0|%GwO}*hX_~#nkTYIpl+ZnK`l;syy-rtuq{z-2by4*PuSc9>v&9eZpn(RUn(7 z?c?+onzstKytzDBMiaZ?q$qzatm}#^rf9)&k-DfdXn9R+dh8XmO%&UsRze;fzn>MO zrT@$53fgw2Fy+Apy5w4P|+ZmzB7eOJ{?Y@3n7!*t_~T{LE|YJe?y>S#i3d=t!xPxWLN4#=&DJf zeaj%&=D{q^3Yl)qL>lRaLp76b{3&K}$4`thnsrIEjHXWuR$I*YlERj#YXNxZnh137 z_$#4Mxua$z_$g59zZ|OX^wdpd1;knD5ZPlVSo&mW>$gKSD-Jb{Di(aORb1+Wx;QIP zN1uGzw6qM}VMdy0;<(7DKq^kF$3^Pt*-7%pI{cB>=UZ26PXf+)T$^7fMo83hzD< zO_m9Jn4iz<#9aTY^GeNQ{+>nOR~IQUnxG-i>q+|KPa-DOo@2)7l4{c$hCA^bPuh8F z;4^>Hv|ZPmMzR?953lG7u#-NnYA3R^wKdXYWnDp&B<*j;z7=v%gwb@F`E+5|%}s%9 znm+!oNCPc?I*fz)7u{$}G3$~IWyiP=DiQa2dYb*Un+W&asp13t+7zTM6aIGGfbg1aW0_0`Zvi^77ruQG~9 z4=9uE6t4r1UJeBF16nfKtkGrocCxVL@y1TyvZWkt%T@aL6+YdfeGplbg7{a1Ogpv+ z8#cv3cJd(Q_+#7LS@f^M4ECCILcONVPP5tPBThTxK0lp;h^(QXonV%YD1OOHS0b2& zdAVB&%l_YudYXBP5u;}wi<%w$IM+N=M=0ZXH`SaL-V&;57B+Q(skj)gF7GdsH|(UB zU|x8)(3k~A6J)4dOWUutnhH0+T-BJ#s8h)&LmgLk&w?LL_-%N^n1O!9#iF@5<1>{_ zSy=XR4eh+oC~NmW$+=dI3w+7W(A3|C8|1>p{aom2Yr^_)chUMth{Ln@PyE6v%gYrEhvSbl)AAi9D0oORkG({JlZMM_#b>W&;QQw%~6n$GV zIKF|l%?URjATMTyT6}=K*clw}9xpdP!`(a=jZfH{gy$itHd z@lFJ;8kw?I{@S5^G`8Hu2wBhhjeS}wU{+YBYXVuWvx>ebjcKj@M+CBM;^85%o z>0EOdOIW)6T(hAKu1|Fq)1IT;)sr(hTKiJCwGvNo4h+9LNt@1!HqyuEnlXs5%6aC< z#rR!4Bjc)>jv&e_qUPHmuH?+QBvG7(H(Oa_wLY@fxJ%KAvV!>z{4KVZyBNG-xv-l0 zj-1s@cij}x>62@N(H4(e^L?^#4(-56zGf+cS*%Jdc7`Ep2`E4XBkYVD`4L}}Lvha8 z&lSZdwn5!^fp;U0mrRof#=FByE}j*UkZM=?o%|gLfj)^xB1Z}zVRb^7vATut?eFo< zLbKHMNqlFav-AhuXrT=Ugd-70pXz=!Qg5>X&ZBY2T^JL8RwU;<(kD@JqMVK>ibXTe zE3V=%?lQ_WgaRGGaR2;ZY?@DoWSFA(v?%3W9)O#R!5UC|3EOs+AlHW_4zU#PT~eG> z!Bi$oyM8;kOKPkdwWoW@2xZJTma@`35H+w=JP*C}m)01O+{=1kzr6CH9+@haG1o7S z6?gc?n##HcO_rBUSOPN+{^wfdCC;+ho5OXBi-Hf{FLxQ$3i6m7w@cAg-^-Kc{H_9a zyeb%zsDQo*oNtV7NX^cQ3Ir{?=q4$hjh%COMb_tJq3*LIwe*{VVG_N6j8;{q)=c75 z;Dnl1N8^_xx|=ElV|3TTh(VE!;TT=|zS%%Mf7U{QvoD}sEqY^{opZ&pIOv#a3M*_6=qhO2YZ%fgVV`0?Y`G8rKb8J-Cg<4ox)f74# z0-IJfh3fc{YVqjt(}XyAD|jL`Io3o(0F-=R=K9_Ei32Pvp3eeicgt$D@N}8X+(peX z0m?g*)HOETz;2HnQzCWnVRU~AyY0dELc?7DFXmS2`AK1Jo_E-6%PC61B6{O@I6J&= zw6R=oqo3}Aq$VPUI8U()wDM;&V?n%L?#R(D=h(Jzg`@ zh|)DD2CHfD{XktD8@0;Uy?LRP)dK9dm=6bkUK|?Tmc#xN@i;9UYYqt};tAR`BKiv$ z=^o|+P>cQO=xgW z*pw+(Mt#R`+kIw)w%iKe@PBrKL+sHR> zA6Y-g|5q@_82Ktk(KG%EEl|X*fdi zY6=OC7zoAnCeMUVi}it7{NA%ZbT;)xs31#Ev?4TrxTWK)Z9m6qGF-XQkF&Y34882udFtwI4y?Mpy(Fk2~UL;DN zT7W0Sp9kB&W=62CLLF!4EU-Lljuj7#=M6t4*ibm>!CG2>CH&Ak4}plw*BWhwOLkV! zlz*CC!9>F6kp9v5=y1C9CvZ(4_&dE3K~b|#OVaJHLSU@fW;TRyu_CTO<}{jdve`Hw zX?bA2b#PA~08XBO{>G%0pdH@TZwD_H`r0xI zIE*ilzH)HCoCmG`&BvnAnv9~XF4q@nXHF}us&DfXSPqtM{{)uwnMZcgR%*sT{LdG- za9Ec|GgYn!!c`&^Q|m-Xqd$GaWp+B8t91QBUQyvhG-UuZZ!L18QT{? zUTk%%W4j0$u^}Y0;xk13Yvi%yx>u9kS?#`ysja zn*t)=auGPmCr=_C5f&IMXmw3?44KPb9?9I(7+l}ufr8g zq=3U15orjdz^1#R^P`EBqe%b~+CA1BiYxN0DE(Z65mN(Jz2*#~GAwM5y4s-eZ9Bub zs&I@Aa1*OF6E2UI)95R(-k!STsx{L%{E;k7-Pzm#Uh1BcM3SMLVyiKc-ZVj{E9(y zd|u^*iQ--JW#jl@B9oGDj4e3WV}GY#OXEK<^%{H)=_bQw{fsw*MyxT1HuzS>C)(0f zVPQ(MJ}^x>^=7CdkIX{U?tnuLD}qzNUc%Xjfy&PqrB~CN&1SSCk$2Iz8NZfS0`BS$ zE4nOcHPXuUMs-zjAYH7#0!MwTp@N%}@=S6Js@uK+dbt4YRv(2=<3}21kb@qx>wyoDz4KD$o+a%rl=Wr*7Mx%85D5DCCx9|f*88?i=GcMU2u>wGmPQ5+a zzT)EOWU6>DT1m(L-dZ1o*q2iSA7$)Dkfw+v*K5N+Dib4{QYQz2p>uF@7&lnvCtzB2 zCFXd`^=6fa@M~l$WB$8h0ml5#zi1Y18)sTHe0aFJRu+PHs%UE1wDap`2X+6>tS?Ix zzfRD#V~sIYi7Y&$AY!-%Sf|EvJYm(flzu7Zsv-c$(xuDH+99wSTvNt{ZHw=QUoCoA zf{y%wx!-^kvWivT+x`g)^r&kfu-`n?h( zrI|c!9fqB|ZiHb#rTXFyO)l5(p%K8)UL2Y!H$#2HQHdxgFb)N)l*$8$ol)@+EG{!b z#SDATPx(r)MT{kKrdTEv;cy{ZJ2YGiS+yzLA__Fd-R#rdMqQwrlzZQ-^(k-&M|y~Y z-6(LCiM;EK6lV;*IN97!QKaIME_xrq!ZIC}KSNJFRHQq7#VKgqf9uwlingIMZ&7>t z?5jI(Uj)G}VID#)yXORBpTJq${%05=-fh&R%w4W?BGTbyZ^flp3M0Q<-p zD*FdBI3EALL*G{>C3@JS>|pu035e%Ee4t0mGA^hr8OK3V*$nLe%@w(%mj=MjN@eA{ z`XGPN%k|7K%w}r6I%FaUJrM2=xjVG-1AUkb>sKG>oee<#JF8*)tRv;y? z5!7_#$HC^pJ2)_tvr)55DVoA;6EyjCeK-xD7Aa>)P>ZK?a0p1nufW@R900eRVhkIW zMEKj`D|`w5kcbg;fBwhb&@4R=jCNAC)#?iK-zj?ZHFIPQf8+-_(J4G=9Q`zG4rLJ2 zvU>vc6mJ7eO+@~QZPtEt>RH+m^s6>&D!qS}R$b|8xysR!rhi7vWL1VSj!FgQN2h7! zbghHF+iu-F(#O10F5V-Vbe!V~tn9ag`a9&4H=AbBIVzsjfh-;N!_tC61OO+;2RrKy zz`TA~ffMiP3a`8zY8}uj6&LR>YTz8{yv({n*hC-+D-$VQ!DLc$y5>jm!8sI3TK0@J z6u-cZ2w0n-<1aiCqHyF6y^JRB04IL>1PyLb!2RjznfUbSX6U}L6tpo2K<&i>!Kn0X00(M zm`o+;?)S`T0um z-KqPS$7@*C_;RZ;faP~R17Ont4~yF-3B!fibRd})X8^8VyTTgA^t|?I>tfh5lO71w z(pv0~|&$L{%3oa9IYKU2w7!B0iYBUX!bwRT)4o#)1HBsfv+xlooG0LC* z(rj(O`Q*u}qs4l*fC18UX@fORHoNO;Z121_qm4c}3*feEx`VM`GM%ICcCa2FvYgF# zSrQ+dX%%DXP9Wboa#&4)6?j`j3)_v+!DJ>*J9cTK={N1hN~+qShvlnHC!00Jb4;mU5uw`O);FnH@srR7~}J$FAZvO_u7Q)SR+*6P@JKuqu;XzBQs7u0FaNf_>n+T;8O`Q;~!EqY@ zZ)TgBbWU`JVpqY_wq}hH*-wxYj*{a6ACg%NN`x?*#~4zUCeDJUxcxS*ULY_CEoR^v zo&6LC2zUesbXgVq_=d+Spnq>Y6(s97mirSGeJ#VnL3S(s{T;YcC5H6UXi(5?XBs^c z;VE@l2zl1H)BWw#3K9 znx$_uT##up=c%RqsG>0P=|_dN6YJ@~&3e@G?#lZUw*2SM^+t<3VEai%wf{%=aC*Li zUg{;R|IXcH7bOQBDIuPjM03?}ng$uM+IV;*6)i|dS0UMivKT5igF zB1E|Aneb@($0J$;bzBwH>9&25jN~a$LFDSv+M~64Mj6k(RU1P$UKN}QE6Q<~;Ab`w zg{AudG9?FFS&DSy8)g@DEmk!>WJ;Reoe6~LNxI8Gpk=|qs+-N_p6Z^81M<1H0s?M8 zrhU@HP#sk+L~M0S&^Z5J!ns@8ddn1M;zHjkq%90SK;1cQ1ZrINKR!HUJ`6s*!eMqD zJ4Vas;ky9&{OWu96$3Gt&nf>}gyNq4P;aOehQf5>0~pczzdF|2Wha=OWf_;Xq)?7v zcjl8aE&H+qk$O%Zzr(3gwtzgG7nA)#sHW8sASqkm974}UUjh3pXx3K1pf|pSN(FB| ztGjuO#lhovw3tI{85ZT|I4s&}$MHrBww?VwyXX75!e}Kp{?wxCG_cpNfxUu771d5T zXxViOpEOR=0#J}e%TK{0&MtBb9~|s)clM75-Nr>VcsWm zRQ6Y6A0F$9qpZ$oCgmP?M5>C8oqyR}9E&C8S}geB%*C--Qm(~<$sSo^v6N0F0IzuT zuZB1(cqZi;S7%QF%Rcz2puf+78-2?Q`i1}FCze6(gLAwoIyl}9dE<(I&Da!z&?h*H z%uZ1Bjtbn5i|dxB+3!|RI$pHlJN`=g^g?PwpPccT`w_+Sda)>s)+wJ`E&`|%+{^CrJ z7IDKWfdzBzHy`Sa{qtaW+LU1k-*#Ou9WRy6@9A=F`{@A7HLXpS#=lm)c4}mqJ>3q& z5vho?#_Mmy>7HCyL{W7aWgjo&~-H;;4rXW zNVjPWX5chr*zR6Ib5V~-pt&W+9MnI!BwWjmwD+{y+M*P4uu70ZH1cJm%cn)LW!8~1 zTMN%WUe|>sQb?&H4qtp=jJszKT!NkpnDsROA$T&b&!LFU2PZ_z1&oRcI`c0yo9L0A zKzK-B%!=RlBF~ZBdq7vJh(;N;Sr1GH+?VTB_H@atFE`us4{+cW0WVi{uFGhCH;Y7a z|8PC?W#5gjL%~99sMnfPAfd@%gmdd({8h(+OR|;iElq|#tB?}qaGkF1` z?9IP$L?PRsVb-=`lfvmO(F!`|YNX+xcbz0EMoBz9Jx{|Q@?isFaqp}`SoyCH8E2~? z+$%=|cJZql0tzL!!Jw`QcJQ}9-`;Wm2nG%R}(8`6; z1L)cwqlwB73f9r1Jw|2W<1)Q)`(3MpsXP)eMrbwltn3YB$Nv8N$O&%04nfy7cOXXj z^4H8VahB0XCuq(FPrc7-r_JZWr*;}@bcMzLMXN54Hq$fb0vgC)M#NxEa`muWDA z8Q4Sp5CM=LZM6Q-Xq*mvH{{>{6|Ws&-wl8h);&senZ@CTdO8 zQ$V(Lj%gwYWs$aygA3>H_e85{bkdArvN@W%E!a$zs{o(-=Gn;Y=zhScC{$7v<>nzB z^pXPp^HLgs+3}yd&U+@k*At;RTb z?2=)m264}F?Ksv*;`D=n-o#dLY=t%^mR3V%ekry;LhS#*QJ%X(`HMI1sB!hPV;&o*e9b=D~FFc%u?e zjT7qR)Y0mvLA|GLv?{p38I&@xbGqyvu;)wv6fsTqX{+;oql@e)Fm`7I z>m@1ErcHkf4{eY+vzab}O`ZgYFhpxlXryu_00ldaMjaXH3II&I>DdTlh9S`aTm;Cz zSeR&FMvVi~MDJW^eUnyRZX7@xyQ4P-kjk>~DXjqj-7GCz4Ni>@N)O0nb1M!C4hd#* z@xrdM8aej({5g-koUgUdYb}MHZ-EyoAvO*RD3#Jhn*`^gnl@I%j2#xDZU(SeUd zIyy{gE;Pt#4Y3!2ZxighNR$y*L@JA5E?R#@#IYlGtV7)RhzStP9WxPH|IRH@vvB|A z0Bqq|fV__`%O)L~!#4%%P$}5x4A)gIHqn+w2n0mLEIQ>nROV`oA-4d@0fVExF8xcW z0%_{58x*)NS22Wl)|R*-z_5oX-)v#=aXP*8td7HtkxkWL7KtRdzbRBvp3Zw?#GV7- z*g~gHL(Y*DYj}4Z95;_W9jT^UzYc`Zg4(YAY|rv}nV zRBejvPoErU4ryV%!KVqQla6hbMymeX1#Dx6s&2-R7q5a0&faXsWr_$W4O4<@)_P#V ze{&?XsFhD3Ieg=yNQ@%SU_M+ZGMGkSZ0F79W##zbkRx)Y8GY13w=75g>*i;$_2+#% z+Ci@_H}Avs5SZhl$A&PDakT7a9JXyO;jpSK(R5Y>*%5BR%Z-!FBkA2xB+>`()I!~F zU{&3UW{vdr)uvKsW*-bqfSu{yhWT&={=nnb^ARHHehTiQo(s)T0FbjO-N8nhIZ;FG z+~@bAO;<)64re_RXd!j5y%?uN!dc+KrzApZ@H96*%esT0r>4xcanpwxtXqr90O3={!yS2lEX&mdH+^x+m!v|+X zAgi$}wV`9u89c`m#IgXTUbVEFT7t(5YZ{8j<*4Jw5V@RSwqd2#iEpy>ra zoVZHE#fTSPvPx^J5#Kbwz+HR9A-}&$JBDg>J@ysOL*+TTMH={T7PM~SvGX^p9KHv+ zE={o=oS9|3TwK;Uax}hMA2wc;awiJqtt+b`P@&Yi$|KYuMCC3nD`e-!d$g|3G`k&S zsrXunq46%U62n7Ek@j8SgHCw?@cO{FBd67;-NatpsMrxCeTvq$L>fn@v)&frR$dh+ z|JL10Hx(w0x5pMh2}na5SUp8+9O_&z6ym-!C~vm+Ftp0~r%!Xd{r7N-28hQi<1wiW*VL=Ea9 z?gdoYm&^rnV{sP1|BHeCv>TdCqllXX`ay$?`iF3^3H~XL2}7!o^}quT?vz)r#(6A zQUqLxpa_-|#kz$c3PoW~Vipg=`Krq+_~Dp=dtAWm09>ic?Am?H>}EY1wX}|zKUKjW z{B|SboKL1ZUP}i9?4x6Pc|Y&^BeD*BjA5f30%ksD5sAn8`n!l z0DnzyA7Qj%zoJJ1X%9CSt-2J+4F1x%XB3v6V$sMS7_q|AcS1C8336~p9)%HaO>o`><5;!C+Kt4>r0~(NDGXPI#Y}zBB@m%{q!OJSf;XE+!^2nr0qk zHo^F-rUP#_M~O1b`HTTffR*CH%$;T>yGXbwn5r6tGjf4e3)pQ^;jJ=>gy5~3@xeJY z3HEA$IGn0k*}^itHUMwBt(!>iIv>EoSC*Rw{7e(?*@yl(0(IlJuWq5EZjQ#Nob<6Y z{DCOE)NFdN?hFUdXV#q?X+YoGi(ke|KJ#N zxa{o0Rj^Zj(-17D@BbOV!EQJe3oGY@1=E@&yB$h8R0tC(9ED9Q@`ddmB1QlEA)6{6 zj8>>LjttBw7Nmg;g0CLVJL9nh{4ByW!_iU%c=@_Lhj}Y@*G%U=Zd9aY2ON&#?a z=`GOJ7aj*I5{idpzbjaj82_#Cw?X*%s4Ig?wa(+{>Z#`N-Mtgaj`vQgc@Y&nOB4~` zyL9u%Uuc5&%`pwL*6vABXn)g1F{4r<;~a9k*yC6YtndqU5s zGv+SkXnB-}%>kUp`>FRYD(DI5s-;!a(ghKvX_rwAT{t~h0lM3HHEeUwb6q&0s5C6e5q)-?HIIVgJH5%W0jbjBXgCY80l2IjXDvD*vFNb7~eaAeSOG{2z zrq?qkrOI=)NUM}=VS9*YEzV|-x8@Y5gsbWGAY74Y05C@dfcEGNG||!@N2daX;&_fT zQ0(VlXXbGcQUR_*O_9ylnGd((FNbsV)uvVM)Nc7S_IP$hR^_8kI4-n7k=c2o)mlfm`hLQ$xcF)2qsPIbmzhSu&2gnb6`R?<`P z!QnN48_z_j&0kia8cOtzhmD`(a@0!~AdVY+q{DyZxS1GR&zz34ZxV>I#A)eGkvf#r zaF`f`o2dN_mh&b~TAlr++M;(^aN4dD4^Cs6$`PF@Y2?0lUmO})%csDJh_hD0*0z#I zU0#3>1$mScCky4=?7jeJ=Bta&nSU;A{Vk|$$|Hc}RUL$^lsCVlS2ku{Z!s>$MwMzi zgyIhtz4@(Z8v;$}k5R|`Y{~@GgPd?I{C@ji9X$k=f~}~46Kure$7!g-RqzvLTfqAc z_;z#%jjhwebjG)%BgErZokc|mXEG`nlcQPVq7ywZ%S|XX@yAGGC7&_JN{5w%($mi&r1Zo&sMXy5G+@fd-fK>+ zlIvY!N!a5G%a+vA%Qqt8oP{1+f=*#aHe~ByaMI<*x0HJyc8~^f)V6F6&oFd;audEoS0EA?h4G ze!qeI!{w%l4p>`Pk1VxN$}5$3R4pD#jd8dh@ZlwhN&6NRmONr4$Q#R}d_8r2Lz4`k zLiEu7kRwiT=iN%!7bo|a?Ow)`=Rtrr0cU=_3Rb)^4h;15lVHaT`zw4P&r+a@HlUjm zeZPQ#Z>vDTlRq4a@Jjat@TlwO0zcEVJX8^4N}{g6BE1%ORMNyUEfnS%XJ|`BpdI-R zr_qwRh?Hkqf_*Mt--Ei;A8bZc1d#+?-odsaUtc))Aq?b69P}rTgS|ZCe9b8QctSNj zaRUVGF;VoMIr*(JI{s?>wsHZ?Ae5sjqt{k})`~Ed@ef5$6H{f`?}5Hpc`SxJ<5VM3 z__W%fmDd23(e{KTWpB#qju~1CSwqx3Ti1x{LaE3g6dv2htpPhgexZd>d1l>>tAkZ~) z1JQoBV$AW_=|8sPKd5a~MlV-j%RV^(kyC#Dpqnwp*20Ao-m2Qu&5$79WfvpgLsevF z-4=RX9qrs7NpVMB4fn;NO=dN9&p`Yc_HGQZI3pI|82ORF_9FOd^|Ln}xwtC=N^zY2 zGW34;jpN*q>OcBt_2oReE?PskPCy9t!hN~0;qUZ{U^bm7a8~y}(%8i<6O3h+qh;d< z_UjC<$)=fg;^4S~VDB9~H+&n}(KdZL65?=gT|8g%iK5cX2A_=gTs&ESN21c=IKG@; zw~7~w1X^2%&IWGv{?E6-k}dhff8hAG&jLPG60@=yDPB{-dbiku9B4|?w%7I1PCf3b zH}trCg!rs8>YH6zDHq~mSNDLK&5pJX`Cc(1O}mq!Ff4fW5YgCSADLNI^+wW1E!^^I!0+}p^>ck$`^CcT4;oK8_K6wcbd0tK$<9_ z993h8qX{1AsINT3fH&PwO-yf!ENI_4BgTX(BqU?tYaLY+sAl0O&e(*6a@jA2pImzF zXXPhSn%Lc3r-mv94LVZVrc~}#dtW4TzJRCgLO0;qWG4mtJ@{+U{T=EU9J-Os?E|`W z^jbH?-Df^HzaXjgUu>wk)o~?inNU?{sjs0X3L`@hV?s@sGvZP_UIg}*ToY(U|6F%A zQWB-;jr5EwTumy;(89dk|46hJwDC=FzDAw2pB#rMi{-kRhwbmZSRqizO($MKmttlHXH(YgR4 zw-TV=TtN2p$0tC=9Q(d*thg<#SLa;+N)8cUp|L{M%k`?)BU(C|z2*!>ub(+D{ZrTq z*!J$H%!;HqM00Ufa?QdAHD_ebo&gNhBjaG;oX@>>aH&^wO&Jn4oHSC3qVQp)Hk4!U zP3d&ACDRr2r|W&ao+pZBa%2rw1%}+!aG%ZH7Zym%5Zx;L@b4XEDD)u50V^_&zVW>< zGQn4%=GBTg%$n17gbln9&il`Z{3=$uYE(7bIIOQ?lLE`^I0$i>s*9lVH*7|QvJG73 zuY${BJl(9}hp(XYW$_1iy`nVn7Jv`8{h;KInFqifhC3Q*)Lh)#xf!r-c@)R( z;zqqvDnKf3PDOh=*OK#l78t1PE)HA4eHRa4J!kQNBrILLGC2O6-#$BXuHW?&;O(RY z^wTwf^wE}PoU>kQ*x3Z6&N0idUQ1_`EY)^6#d)bJY3Z7Pe{skD(z58C?_lNdyjbsr z*sCkV_7sSxGj* z2WJuS6TDKxNNeG^U$gPOKn}G*AG3z4iewUaVRq+u(om1F>KypCuDSpr*}vUkG}QLV zv&f-Rvnm7CG^Hn9#jqky-yf_uAZE@Yejt@BJ1{`@5zu908B`#xAC@iU_ zcQ(KVeaZ|}mL**ZV(*w+5k+5j#3u6+EtrGLRJb#>-T>-Jy{kV!QsME=D0pL64k7>D+6Fxda` z7r<}@JFMTS#e%uCgL&c)EGkrO4AFvi(`}qKJOkfxu2OF<(6Y+qi_!1*6LxOEFA$TW zq4nHSoS#%0iK0!P!tCB~Cn{F1f6XupUm;|-yrh>|Zi5s6YT|#@xv&Bk={m)y2XmBH zD2YY8L)b`XRBv(o0sNCA?Q_ZuE=v0%8ihS~NH=&%uLrKjySxaAmfzKX-1qbwk?$3- zR1C{kZRRufCU?{lcfLFj1am%9Z*t`ZSK1Iyx`?t;y~%^QOvcxooB{nVr!P&Y^*dr* z-^=H1PR?z0%k#jzD`)QG0|N2Eye7 z=u-LKbv4iR>1tl2J}J-RyjKlYosqd;qhG(Im;3S?;4vvFYWXGKq)UW>|D@+!`~*&I z@f?*ts8>ZCxB2-Y{WU+wxpd@@I?YOlQskNUPO68yNes~b+|7T3K=SXM@Hn*!O2{$v zgqxs`Vj(ve{43{4Q!Knv~Ls z4yscy@& z(26~nM;XvTda+jzL4yWaP+W*{_t%{H^Y&uzDf8aJrG4BM^5)_^x6Kqq606~u7W}8@ zi*nSiyc9zfD}Y@#%#@rPJ+zMcn*+D56AIsWMLK!U`5(S>)`_p84M&C>d-r13=4!P^ z;)Tw@cvSq)T_l+B-ZP34pA{mJG2%|d<&H`PjkzivYGT+|`%UQ6JLg0*Cbj<5iX;8d zdzf%qVqImAI)@7t1CsI)ipd=Mk z+sNNJLI&Hfd~|%7x3s(|K&Ydz!8!4nc~-l8=eDTVV1OS^5_bu$kwB6H8&oobYaiC!2(=5*ctv;c40rl zDh{F-4Y-}ytA{XB#oJF_Cm~}WZTLH~pZRexHWYn!opa1vEtjjkmB;XR(vrQdHJ^7( z^Sr<9hrcO%KBG>hYRaB>^U7db^lHjJ$Wco2QR-jY-}9#Ii9Kk_KElgs$n?>}(eA(z zf_Y9Eo%9e2FkE!1RozSR@rTHJ=__mJMB1I!C9a(&g?_o9uLV!K6Gi71HvR@swGl<) z#rEv%>yTdTM<0)52d_oDI5!09^6Ug;9e1xnZmPfn;$JdNAOIb1xfgBP^C@3Zb+l=} zIfQR~txXEnt}^=YJPhIwGoesF^^%jA>~GZGZ&EjsUZmPBT;;_ixV&5KHt$xug(e|M zaCxbA+fSSJHZG$OE&O4JL2Jqby4zpmGc;?LwnOZ3;zAkXhn;v85{~b_28fWKp_x;x z$l1^x8z%sk4EnTpF;go>U+tu@4UtMJNDQFx|HF;i>wzHE zIZa<+vvx2>pH@P#ZIPytEVoL=$J(*8WIi1R+N}|DkAy-Pg`J{tZ51CU@zOZ$LjGkM~s#z``o|14lO<)8~hu93DU|FkP7q2 zWHS=;7kVm+_dc!Li{f3H#q!9#AfdEwr>>iT^56Ej+38a|RIgWouJV4$RDGJ=Af70w z4bo7(Ayy3b`t`J8+jfl1-3R4p7fI@SOWPnqFK4rWj4EG9QJLx(RGG@b^Pu{;M@JTA zv$zaIEqBGa5VgCheHyv*ovzBR6eF)IJ5vPx|3>ao_nhI$tb{_%7CVH$)Z1#Bpf%m=hJID;Iwi_Rc{|2rcW#P5sUc(=Vh*T>evwfBfZ=s44Xl<5U-c} zzIoRXotIw2!oZmtnE+io$J}j4_k7;*GvaZ5*JhB8?s%)SU@kCFARo;AMT~yVj_&+; zwcL5Zy}Ta=0G-X!o$7VV_ zQr+Tb?Y;WDgUMqlc|(-ikCCvG(C5^`zT^3!G@Pql* z_Nu02|Lxw77b#pibTB{P(Cwt#SO~)11t@vedQqxy^i+neVu^yPlI>-kz@4*-B&mh< zuU|i-P&OuVF?el7mhYJp7O!Ky%PB}8Qn66d#Js_Ced5w$DU^Yllh50;=Hy<__eMO` z0np-;!;RR(@Hv~Gx4N>)pY0PY(FXA_ZbQE%kNM_jHw6zY|@kC1UAFeqB`9yHQEDzzE zafP)v*AbFTDhBT$&)B+kf4b0`qy^)!5oa&98t_4YdJD?&K}kQnBTJL+MT4g}65{|* z{5czi{Xq44)!O0KMYKMT9#CF)R9`ds#mmfon#pImnY>rS&}k=6-I-t%eUFO$F!C?YP|A9gW7(RskHjvx;9lhN> z6vbxnO`OHGtOrGc;CIPYobPvd;>_!)dl!4yBAwV zFs?cXFQ7wj)~o1(vB>uSbuC1MthN32z-^7xy)c!(7T)`w+@OhczBl897qZxtdmztsu`4$^te2~T znZ>T$(xiUq6y#X;?#k`dohfI4-AJcCTqSL<1ud%{+&J+bnnWtO4%Ud9=FUae>7$PZ zvi#)JkwgmEt4ZHGGw^?~**4^Om_Esw#=18zv~n7%1x{IMH3fkC?(T|qm&e^$q#Z|{ z0~ROz(~cimzrdASS6QF2f*l~iz(JxSCYM?Q?I}F!{?mP(wo&oK>$LsgLBPT{AnOt5 z2SsB9BwuwRI=k<`#Ik}Y{lM^?MlRUtz_yVhUe@V#*|X!QASmx){E=P4s}mvy6#4sV zIr)!AAHK`gtZ3RBUtZdH|r`--dz-KQoX6 zjI>^p9=#KV%{zC7BuK&a;da(i_X}DGg?d}c^yU?(M7%4z2z$VAB38f|WG-66ra$`>NhLI&@x z+Ze*d!h7p!1L}y-nJ1go12&@UMN|Qlc|&c)M*hEqg=Q_crkBUv+KAX5DUMj%iy3p# zxJd^KrJ+_L8dGwij5uO8UnoC@%tmdAnri6TE^^E1B}p^RMKR-t>LH=a0u_WB_#I=C zsL3!8i}oX_RI-$~=S!KjW2h)a!C!?)-QilrERw%*N<+zU@r--g)qVfnc6Ijv zOg1nszBWIftA8_SY|r~QH@4wooKx|rKrD%iRq1mugA&v|-e~$f-JA~*TS@U7JP&Vh zSKB9ZJtqy8!LgEsX_O$}27>1H3Jee4>)y8Gg~<;#Qc16SqYY}RZw+|JivPfSfHjD1 zFq#JJY0f<>RImHPVQ-cpP1n&?QBq|$eI*%Kyf>o{**tts;qE>|mvVV}8ul72KS6)4#Q1uMgmV!`S_h zThU#-hDG4LJum2uwE8IY^zi!b_S2c$l#Utvc8X06v=-ZQ@BFUyXwc@K&#=rW@m=&v z6ozNpuI<1-ifLwZt#dZbctkZur(_CLVc2{Ilq0lMy6vVncdeZQ-qLj-!iR%pQC?41 zL2IF(-4L=84#WqUtm>M6PJ*3sK^<7=fwj-w9*kv4)M8k<-l+DST>uB+QIx?kNNZ1a z0DTf`Xl0KXD%wkB=g(U(8~!OCe3I_{bJ(fy!41=>@@5dyMIWH-z=l!SNtETNq!VtB zwyd}~I$3pSIrjI~2Gj?bINxjv!tu%p91F_v!96s{bWxkcHTJMcK^q@b$tI^ovNiBl zne_1(qmf%VOXZ@!{{>e4mdhZ@hYt@sE5UoLmS1fX+KhBi_wUU5GN<|;f1RLf#~Nc% zzejB=xBwfPaIfBs_Du1WsN@S#;e0EPQM7~UEL~>S;_DhRc!(ha>Bs(u8qd3e~ z6aX5K!-yy4_J2YSA9amsrsQ7U#nOWY4a?&^g7Fb)=J&z(l8JlTef_xY~NR_m|Q+tDI4qu`uc!*XT=Ze{u3INLr?iN2g z)u*J&9qK=hsFXj{DDYfg_D$)o6eSycB6Q;{eJI!vLLtt2%4u|;+pj>hxno1I#cRK9 zQ@KoGV;j3=edFjgTgDC|+|4WE-;`ny9}TwPzkUyUOt`GXOsaAries?{py(YjuUyYCe+d{)Zp8C z#P&Ri1u)O<_TFomOKnqi6A};@sf^dK7mnIO*Yj<(a#=w7AuKsDSU=MDvRv9h1>?RV zyrNf~(b6uQy%d(Ivw}IAVueC=Dm8$qP@OVS1_ZO(6`v`wtbqs*rR{yw?Ek12?Bz}L zP*W&coafZH^cvWKTu-Dw-Ov+({vX}qI-9-@tJQj4ukJOSO#u+$_E%BmXZ~NqCY|ze z&?>xxJoU-hC>VS3VPxL~ z@4y31p>lV}khZCEG(OXg{ZIE<$G)IoxPM=e=`zs13@=i~;Ok4>Cm2JJkeV&&wO(0a zdk%9O@$p{G)*GO)dQ0zFYiJ>{n|ABN*_RHu0`Fn5JqRA=5GMzYnS<_0zxAqpeIsNi zeE)=jwk88J(LL!I{h2vwjGlQcYPJje^bgJ_;S#8t5cQJ&cBB6e)DxHu5Qa}H;Z*Di zJoUTQG>zgPLIFN|u@ws@5Rnn(79X6Goj^kj@#bM5l5-s&61^7^X8U6n94(G|3;nsI zHE;;3OQxhZa2LLD(4a`^@*zt~i(r+`k0x$LuQ``E2X{96;)W&I>UZa$aKgF@a30S@ zd*$U&>wq39sl&15KDZ2@szC&#^D+xfuGvmY*k~>dI}LN+bSdh&ZP%PW#AcR`ePnZYM&ZCg%&So;?F`Ah)RKa1#;;%%5 zLnlY`}Rqs>-bW$ljozM6;(U zl_^b06rcnu?&!m5__RnlpPLp?hI%&(C(piSF$B%^6l2&vHoUbiaq~6UEH4X=&2ZLJ zvh+YO+DX|~3nfSSJ9_jrb7VVzL!%qh09Xx**rg2%ksT2D+QzI80Kn_iXoKfI+&x!BQpqs_S3-JwHf!M!}w=b zcUqLq;XC|3!!g0ly9OEA-{(ZSXv+)wg<#iPC!x#3#4VPu?fJiIP!LCh3~Gvw$}KnK zjVr$BLG3??iJd_HK|f4d2y>9J4%nD}+8BfhOU))YH(lUhBIhN``yF4qd)t70-H)YN zYs1l2Jik=qEoz+T0JV7_r-trGXM)YX?2BG>v8x?kkjv0-KGYkBF#GET)-AdViV_lm zV^2V<6Ug_K`qgj@UE3C#%D^^9;V`?7Cj1y>?A_jO-=dwB2mrtGD&Q%18(#?3%lS-(Recyn06oMkVx_M+UiQvB=8Cy@jzs6*#3D!{ zun8667qn^&VrLuAKvVTce;9VmFOG(WMQJ4T)7W2C@$09Dv-J7>X9Ge;We;%4#|6B=!X(!X}0ZKA_~?B@pSLl?$T>U}4<0etZ>L@GUTh1e1xR z+xDApMv~451b*+j6V(A9xze(#oHn5)2AzO^Oj>gX;)5@L4IpK<0O_L>P;w0h0QGJA zEv*ZYAb&r04dp|1It}GNRp0LfArd!?mTnGP!4z0}KQtpqR-u{ohekUXa2Vku+?Q;o zF9F)@$%W{@{?DlZuEd|gA^P;-K+NmZQbQwdK+U}y7ey?zXIoX?spxdmC4el?52Kkg znt)f)J1>PyUJJ<3ZDEzl5+{4D0j9H;*_=KQW%BV=gVib>1 z^dQAriVx`Pv0xzwTaU5xa=-f130KJxD8Fc`36(|j&*kNSg;9|j^8B}3f#DYR<2 zc06_toqB!{(3=9OIK@_IW2$lRB~yx16vU)O=iGlpnrZF|?PE@H*TEXKX0$El2DMj{ z_Kj*aOaHK`>K5$)ltx7B_9mKhi#ELxPj!tOz~L}T84Ik+jSJDJV)FHHDqR$cl=W)A z?w-y2xc&NF0A|yy#lU3Y|2uwec9$X2;<8ut%Kf1+6ya{T#>%ZHxQSE`aOBVwqyamP z-yW=>wiknyswtX0c=Q!OHWm@%+?~|}`O%>h(4tK`uwPmiFbh>HtAk094mW45u+c@> zdvSL6?O8!WEB^vqR%^^qUDyW&0&@LUUwSa6oK=$OYkY1M4?Y@ zD1Vow7jM^&<4+md{|;?#Ie&5&B~3ey2j1|}9eRkd# zjtYwa4MCD}ulUskGf|$*cw!LEvd|rVJcGndZVi^lDYMJ18sSxckB0=GmM6#nAv$aEtvi8X=aw=;5mftcy&oj?5iS> zfys%xzhgz9be6V%=kHYi_X_^xt|YGG4)FY|Y5~umR1bLdo!10@lJa!%P{GcaIqgjo zcsq#-qud3a%tk8;PR0%3@dgycGFRt*o1$U(8 z$MU0kb${otRQq?#*h?7U%eVnNenmWuJHXdUWSHOMF;w)T_FBN7!X9m|rvJHH!1EjZ zTdR7&PY~#m6B_fDm3flFXE7p&$EHRhiniAS9#2$F;Jfe%!d%G!z7_vUI4wZ{bS_i+yfpu0AwCFfgk4F zQu1nN2OWuu{(jsA9`eg=>&JIvS)c%8s;V!1?_scrbu>O%49O~UMvw6f))~H1;w0X+ z|Ff;(i&#dMr5!C@;4RPQ`@s2_Q*9nqrno{aOK_}sRi_U{yyfRZ<$^`2M+(NNW*Yy1Xfdf-V z1u%@jHS?tFo+MlsnGrk8)7&V&qL`M1TfM&NB_@kO+%O(Xi*Dvln}$#s0@0^D6Hngi9DTv}*-ZCqvq%*D{fuo117o#iIAatF9D26FK3~zJ4>c6%6o|GXQ z>6IbN4pN2;v%qF~d5XQDlK-ks>m!3HC*7{3)4IW5OT!kB9(P)&i{@IW4R)7V4!@AU zcJF6ww%$%V$045Spqx1_%N^Fo`@E9AP+u<(9-6?ryDa_8dUYLLxe-nMvNxM?VHeV5 z9gX&&Vh-bsM6*wqb%xXiQvf-N?wLZlN%Tv+tQB^wM=7d_vRCm6DDE>%z9%UpPKR+R>>`}cE5XY~o)5j6ap8e0rHhx*``+q{|%%a9W7 z>eTpD%o3r`KG;3dIe|5Ic^6^`F0_$;{u0)ajYVNNPc;N%19m@;vZN6PHc$uj4FTkA zPMVL}t0_2U#Sw@P?rablR1$)F?{cg#g%2gM!a*R~=rpNd0y568K5oRoFn#`hcS3yj zUAHVS@$Qtp8pBAvABsf(l2)dwnw5_=_u3I3YlgAIUC@X4U)`q*I^%3WG54cI1n0c@ ztZ!H30ndV9f=Ig#I1zdUeo~&=pF*f~Pu`aWxZd(gA%h zBB4S^oG`nXIeu{;q|TRn;N8$TT>8BQqC@sl(o3kEA0sS%Pl;UcigUl#a9+3D3&V?5 zL%K;E5xvSeL9b^W{B`~GIxobYY$nem*H5eSN>}4j-MM>rI}a?f3+KK$gt}9Kk;HyE z>2pqNPDj&}BbFgkzq3U%hbW)aV7<;AZiUtqO6AHWdv!anfV}p$5|^Rhc|Gj4$8U_X zqL0{_+xL8R2!D;EC3l$Zd(59YuD}vWr*qEKZ)Yy!=TT|5Yc^;2_uqHBRCf#j#jY3w zT9PWp;1&}Cz#a5D*7Ro-N{xUS6R~(N4%e!KDHPXL90MN|$KdorX+Klahr1b6|lG0 z{fDkGB>D|;Jw2>E45vxw={03V2fuw9btAu{@I7QFZvI;sk(&Fp=#(sb`FVg!S8>co z{-PH{Mh$>%i?lFZWJjZ12bIU~mSO)}c<4w^2KAW$KglIaj2x|lPYX^Gm44H+ks*~b zKDnEX3F^v zlfWOJFD4OHaz=zK?Yaajv-1peMmp|htvVv+J7gy+kHGQDK`iwZf;SJDopjx65reL} z5B^j-!YW7nX=_cR3RR>LX6YwX(Q`7KwXfLbnE&0|nTJ_XT?u^pE&X0~HBC27H@(?S zqY%edcw1GyXH>*B61Ns7iZp_W#C(`c(3r&Jo5@3y?=$LrfK$j-6BS|{CzBW;Bw$Da zMj1b|DCkTy#$+IWjAmg3CyvP^6P@3=wY;i=2HfHw(p9gj?!D)pbMD!XS!$fMN$=M0 z=i#P!xGkS^Z{9|4G&)hMRTaExn%NNB*rrw#u_S6&1x>1aznAB#kkivW@xB&yZd-HS zefZOP_udl>%(~i@tF84mjniCO67Sn0m21Z`!>X{5zYxM&)oz1@Z@8BJZHsq9f0u0~ zMd~yA=xB5H8ax8eWtzKF#CejRKUwX% zDxL9~Xoj8aiwJ5rxW)wsxGF4sy&jQTc)cPpCEI*FnBFrLhtx~!Xz$hNrmS6s;{g*8 zwy){O#V8923!4OT(hFlvlNzo=%PLEYc6aBWv+DWdb0#MQTADva@sy!d^{FpzFij$` z1Z7IY;m#qovEUu$zbiXQRH00tcrr1^yEKyJl@k)y*n7p6bRQ z;X13Ly7j7|OPh_6qAe?nofu)No~0{w2hu=AEjk&WsP3|M{@+um=iRG~;}6sUPL-z0 zkI!vxQ)_p?h9ADR8GY44gB0;U1*YsAcba3Iw4o%;8z;KOSBJY$UJ+ir z(_BzNABSqVC*7%|YjIQ0C#m{tPlDf{`v{%y2Y*0J+4=VyqonEy8w~c`E}ke16i=Gp zl#UOV4&Og@p3lehu=;yC1c(#FuRq8=*pLV{7<06ECn8=boy62bvZ?qDV{V1xD5f6v zMwGq4=B7h5YHI&Y9KIX=jTrh_Tl3B20(!HEp>`-LTX@65oz-)Gv#721-7no2BRgHG z#&)`2UD7UX7#}j19Dwh0q`H%#n(uC!1d0&8tn~}aCX#9-HCZj5n#!gy3}1Mkv1Ew5 zNkR=bjS|&b@KJZ|GFq~g8YhPuzP_nfn73=56%8EHF?7#;%G{xL^^oJeZz8syOP3pi zodIM6Q)3a2+*2RJFRo)Cetja<&3^ShYVRELJMuuDP+lpPyn5h9`iDN>hRm`2DTLI| zE+s~z_jW4Ii14X~e@A5n{qW@cw?Tts!Ha@>O#o=HN9uo2RHt#_|)~*C*xG+M8*rdDIRXrRs>PJ1=iSW3z1( zJO_j4yI!OKOwSy{i#3F7sb_a>ex%I~GyE+FXPWLY@Q#39j#_;bi?J^b|8})%8$mml znFxajMy*G(2^7!C6FDKilc-lhQUel8!a$ zfrD-cJ$!s7iP>RXBXBf_A`;LZbehohh;l)`lvFFqd7&$wr3%R1_Mj2wN{o17{GJDm zlXW)HLtD&Fb?0n|>XS31bmdQSxJaz3ZY{37aRj;SdT;*Nz&1w;&%sT^(GYpRw3#s5gjJzoBDN@>JRU$}71W}E zq>&G+ja}yCMkzEY`ShkitP{3&{5u7q1{bF$sM#+X6Vvphm3k^|VbqgW+tu!0<&M`{ za#^+iI#;l^-^Y>?&=5M zpi01r@hg!Kpf~5xJ4C^qad${pNk*WOKvHL%F9#7?B2xhzj&g>6hqmza#kr0at@FqM zLDu+#sqRT~NJpB6*oBI0X&>5;X9*S{AU)_DBH0{A_O$<0eXWfg+|xd5F$3u!P#u6E zclB}%{i}RMJ{gq2c06i)fW@k}T^hxN$d{v-;2G-@NEm(Koko>A?``hZbW3LZx3k@zO+s9O z{{9rD3{+iqSbK71%L63QTg~;jND)IFuY{P`{zBaGZh2NkL|Ea_8l@uW%jcnRyYnI|qPUBG3dCM&2?{0ZREJfE7_vtz)PRuMpqyUtmLn;*iJXf~p z2BGr+=L=G^CKjPO&qjMBF0b^WqP^xDnd$2CI@!O4qjOUHZ{`Z4&(~~h;uAd0hQES2 zVXYC(hB`?EA|*8&&p_%MPCNlVd=IDMp5`94;RET6y6;I+qe6uzORO<^#rLtw{QT@DeZERk$)hegK5wxS)fHlBP52Asej0gS}% zvX1f@+9qRTtZUe06e~;RCMN_kT&(+2NyBycnLR7%! zq4i@Ma|ZfxkB>chAA2im<(=k2OnsF=pX5P}JW>-Sw338s@gb0h;NCshst%1iqLZz? z-x%()Lp|Kq@v)jT+>YviX9_M%NS~@!e#yumO7TN`u_U6nmql%?nzTCe6uuribf4Se zKKIv(X1DPHqi`hNBZ=Y{wX&jSZ#74B0g{IoG)-3v{@GZb;Wo}9DKIQXj~R9tHw(ag z#20ZOhWE@9;Diz^tJj8sGzLtyuH4c$)AJ}q%*@Fx4L#7PSm4&ru*H6FI_|CcFQHlf z>9M9BciVYW)SfGhmVh(Zm5|mH@T|G3KHa6W&r`PJJ~`T}>R+I?%QBJ>RPP6yuTuLT z;Y+*cNJ7dL#?}-jHA2V;NWPVHkmYMz7Mg+4#YW4<2R_{k9ix7YgpO%z=WRuE8mS2+ zM0f_|Fmlos-!2L7edI$o<+8#rs%m(y*{M&dl2>09K0vXuS925B+?CBu=82HBQ57{G zbK9TqR=qcfUGhC?b{BbL{9>j0@Ge2hx4LfVp97w{`C{EyCIAq*cbyTQodj3T9J0 ziMLFcoE+*0Gd%S~1g2;>Rn5KTbA2DuE}KR;S+FqM4#SdV&2naPmikATP}Y&3pn_^h z`2^u~siiY8SM*QIwYZ!9FfHHOIG!X1&r^B{rt4Eb?n4M!b!INBPPQ^R)wh$rhui0; zP4|=qhWbHYQ=7a05<^Yd+1##gD{+7+-HLHnALQEpDGtoWuae25-|`Z1!XKnlz>q$y z1$KI;8tGYO?V@SqXHg4WDi1`DkqGXPgLxnXhXOc3+i?I+;F$Kgt`zin+kv=zJGD11 zcm;FEL4c?R+pv%ch~534HPrU~8H0R3til3e&onF`P5?{iLkScyIBuX&atKB7>WmLY zzvX(E<~B4aF{x1%!E87QeoYUtijEOoTB6AuQZGQJwpL z*fSDlRXWx0=e^>o@v>~7>S-%l z1<;E#Y|R+dMwRZK?Ayp`iR_u7^s4J$z%tZ&Dwg8O-^&j*?3U)cNeif`r>2p@_S+2P zv+QDUqwp`8v(+FUQ@>aOfo^*jj_=nOQbcFfck?xUz-_!gTUEzzBIU9_SLgwV;^w$^ z$tRXvd!3K)BCYLxd@kUB zPSC*zB@)owa7*)KOjWx!=X)lE!Zc4qTEERsQGfn80g}r%HfP*f&mNZ{Y0aO3^D6e9 z4R(53V}nvuK`#z8b-7Po)UAHpl5TZB)YWDN2Q9@e)w(^J)kN3-4Pj`wCL z0e%(j1D4&C=^$b7nxP@J@)qdl)=f?KsLfBew5j!TGex)?6=moAzUf%CY-MvPh1Vwf za@}%a8?3QP0@d_3MxUcWa|Dx)1Ws;yC+%rL}!)om_O#~p? z(mX51Geb4VDf(e9UNPtB5~BvxH*Pa6s43G;T~0=^mO=HcA!%LV5K-QCWy^qXuA4eS z{kdl|ILsGAIQnK;t-ZYEIQ8x3+{6j;IGC%Y?xI@z8dS3E60HAsJk!)cbX_ShwQ_d5 zH#~A?hC3&^v-b9=6(2J@I)oI(5al1|_#!{@y=)KsA@s{R=zwZ;3j}@Ki@1_!Hi7Mn zzmd(UKYqMrqM&MVSe`xztMC}0gUF*c%*b-~{)BX?CkF5d?)g`;4C|YaPj5=&i~EmV zoU7sI$ko&yd5t$DbjDEXt-;%~Q76#`)lkr;%?a97ODqDuBf^)wGNsH!?tnhRu!`=? zy}jyvtDzgJOt&;h-(5Tk9zpL3JZi9lMj5BKcU|M)QKfX`cm%3c8iE>P{A(B~G$QqE z$L}E66Ch1j0%>%Jh^6BLsrL>Q`S4PIdwz?Q#;K`)c-%a>&LQ=IB_IB9V7U^7B6q|pb7(1>1=QumHr*F(&DhXy#z_v;PRPE4RI zg>WN~(^%_j3X&8ULO4v%|`3eXZy)H}B><_4=Pn&)3m-wg1qdN69a$O;FKKgs5 z97q3h;<{3dKTpL4HU9_ZQSYxLa9OA8M+d6JKTIM>d|-($i9VmeUgCvbc-kDS6O!*C z6=z)Zc}e?@yk4xvhbu~Xme}v{;fskaN$h|wI4iHW1l)>r)3bM)N6k$>D29#LIC1zF zrN~z7cb`VEC(Qq$IZzi9L*)0wv=WFQ{@uvK(oHOS8J~*uVvPJslyU6ZquvP8a!P3~ zh7mmaUQMjBvF{}Kz(F{q1RKU)kpRiqjeytG1Na`6F&|`@IDcJKq~20|n8Sax?l3jI zY%$S9r$`=E{Dzg_cX+iEkg;lsSMWr6A4fWhe!MDeg7skM`)-`V0lSs_7R{?--=Gae zd_!^4metnBp_yVK{J!`3YJ%9PBAb+!-CAzKBN>m{8O#IwJiLksE!7SENWm1hCwQuY(&2d@EKH_+Hcp z#ZYvZBpP9*P+xq`oH|Jgc0`9m=Xm00=I}8R)Dyd(9F>}U>a3q3Z%}eB@o16>mn0t~ z_OS#*qokbA-lhC+^wDZ^;`HQ=Jy5LEdN+QDUb)E|@fqrdrqTJ(rZ({gGE8(DG;)n^ zcH!nAwpNU8{$_g4mfyT&zK~MC*_R%kS0W+8saX`%bV}4A#}Z$vI<<1O zV3lmAQgfVgu~w*7*lrBql=gYA{Z%>HoYp!~o~rRX_Y+^Sx(RyxXF(dbhEsLpl2E zqUd`!sov~3OxLmE>!rtS}LFxSWZ>`>}_yzLPsG6XA*Z0~LZCX5Rg@b2QX{7I^JvCd-mA;!iRDB4_> z-VLCJL#=VVNBmO&r^y>547v#Fl;N?+y(Ju2;7x&Y7Ob-ZR+TI=z6%z*JhjEWQEYYL zkJB?TW2y5xvoq8wucY&JZLsi$gx2tQWB;pE%66F)UUsJp2tZ4$LNIE6VmOK=A%jpW zkHLwYWu72%iJ@vBElIOhW55^^S&)(i9@`}WXrY1#U9$2%7LifX)_TSVrO}T5&zo_% z0a?N@t2LG-aDZrQ$l2A34Y||c6b-J*|A=LP!t7Fo!W=?R&<##*5-6A?)8dqX@|Y$y z%D1GG#nZ znX$WGPR}qb@9j##UH7A-rEbN>Z0o`lMvKwSIsPrH4V!agJvgyLgt80pNj)U-`|E$6 zn$={xKe~=*9k(`ptcifB%_r5tj|!Uw9!v7I!&zLY@=t&cI(Xhkwo(l+;PvHKoaHra zrhrj0pvfYX53qA6TU7y11yzXL;R5jhY#~2FqKqW`tPK3iWK-ygS&PJ%=6$~m6xj;l zVh{-6wQR3bg}-~BFRB-Etz+uZ z*Ud?4(X*+!u)f#wtqb{Q%m8`>(SNc<{|2~MC@b)PaS{L-KWxMk{b2Uu6p6_LzetTO)jX=eG>hbtd$oh8lMyri>|v z>Zh;^I4*!?=Ro2DTZZ(ZF+pckAL{EI>%ne_a9|e@3fQh9h!2P3fMRXjWcxV(2pJ=$ L-?7Q@{j2{6g%_^0