From 4e9dc6f9f42d9d42ed360c47eb5916c79c2183a9 Mon Sep 17 00:00:00 2001 From: Terry Li <644052732@qq.com> Date: Wed, 14 Aug 2024 11:54:17 +0800 Subject: [PATCH] update: update sequencer (#90) --- src/guides/sequencer.md | 32 +++++++++++++++++- .../zkvm/sequencer/sequencer-architecture.png | Bin 0 -> 70582 bytes 2 files changed, 31 insertions(+), 1 deletion(-) create mode 100644 static/img/zkvm/sequencer/sequencer-architecture.png diff --git a/src/guides/sequencer.md b/src/guides/sequencer.md index 88ce2fd..cc38e0a 100644 --- a/src/guides/sequencer.md +++ b/src/guides/sequencer.md @@ -1,4 +1,34 @@ # Sequencer -Stay tuned... +## What is a sequencer +A sequencer is a set of entities responsible for receiving Layer 2 transactions, determining their order, executing them, packaging blocks, and maintaining the Layer 2 state. + +## Centralized sequencers + +Centralized Sequencers are key components in some Layer 2 blockchain scaling solutions. Their primary role is to receive, order, and batch transactions before submitting them to the Layer 1 blockchain for final settlement. Most of them are implemented using consensus algorithms similar to POA. + +Advantages: + +- Efficiency: Centralized control allows for rapid transaction processing and lower latency. +- Simplicity: Centralized Sequencers streamline coordination, especially in high-traffic situations. + +Challenges: + +- Single point of failure: A single point of failure contradicts the decentralization ethos of blockchain, potentially leading to system vulnerabilities. +- Censorship Potential: Centralized Sequencers could selectively delay or block transactions, threatening fairness and transparency. +- Monopoly Over MEV: Centralized Sequencers can monopolize Miner Extractable Value (MEV) by controlling transaction order. This centralization allows them to capture all MEV profits, leading to unfair advantages, profit concentration, and potential manipulation, which undermines blockchain decentralization. + +## Eigen-Zeth's Decentralized Sequencers + +Eigen Zeth uses ETH2 (Lighthouse + Reth) as its decentralized sequencers, meaning Eigen Zeth's sequencers are based on a PoS blockchain. + +Lighthouse: Lighthouse is an Ethereum consensus client that connects to other Ethereum consensus clients to form a resilient and decentralized proof-of-stake blockchain. Lighthouse implements the Gasper algorithm, which is a combination of Casper FFG (Casper the Friendly Finality Gadget) and LMD-GHOST (Latest Message Driven - Greediest Heaviest Observed SubTree). This algorithm is used in Ethereum 2.0 (ETH2) to achieve Proof of Stake (PoS) consensus. + +Reth: Reth is an Ethereum execution client written in Rust. + +### Architecture + +
+ +
diff --git a/static/img/zkvm/sequencer/sequencer-architecture.png b/static/img/zkvm/sequencer/sequencer-architecture.png new file mode 100644 index 0000000000000000000000000000000000000000..f6dadb59669214fc58b58f4d872f83d99c8ce956 GIT binary patch literal 70582 zcmeEu2Rzkn|35-U5+wW$iD|ZNm^UujMa_LD44->WCSomTo^&*76rMJN{Z}!Qt%mP zW?>Bf$r>A4;E`LTOl|O%&?3XjC&a~r{DDSQ0}}%qvlWj(`s842V{3-DTI@C-KbH`f z&|+t84GnO{i_N@?EobmHM#eUaP4GNEc8oMTk0d+;`HPWS8ZUgYGJtmz=Yd^Xh+R?& z`OC)xPvK#gKEN)?%YIm3@rhr>`WK073N!752Rhr*bHmB{AOOk1B>IcG+4fPX(YC$21avtjd18UBABC#!JW0;h1=Q1-M9&wiZ6 zNu2z#1N)bz%)tO>zbuGE(Xh2Uw=C1fMlktHU-33}rg$vg$^a+*z4fpS-rmZ{7+FJ* z?!(`&QN-h|p%GD6b7MQZb4!wBU~h+qCR000+|sX$tAo5~aVdUdyT{ z>(4AYT(cxI|6|em&0#GKf5mzpF}B9rBKD96!zX=GZgHwtEbsTlL)OXB)XdIU)!KkK z$Btk=erut?651IrS(D#es((D3-<;Z|CkibI`I2$s<6Zjh_+8a`k^7M;HeI3S{7Y?r zoyAzP-76;hU!Y6IPG)u*OL~QT)`ZVITmrC;$hRZNBqLf%{DMp|@rxA*H*(XrFDvds ze*1nK@!Rr!|BHIdzxb>_)LWvw{S(6V7uVaR;jhqJYx^@eGeeMZ3uCZ5h_J7aqraTe z?&lL&l6FKkpufMVw#%yg*H&B1k9zxkz7Y-iCp_G;RxYa^qF;!;{S!J#ybMu0qD~_B z`~!`&1qHH`L}Dy>fg#So))r(4bC}pH199}yYyTG&m*`0Oc>Y*%|E3-n$uNFbJO4kW zWm!W02h#FO3;xqe3m;Jj|9*CUNmy3c`5&a`4??i-rU;Ra#k>D+12W7n12W9=_Z0yd zAJ1WySjjaqJTPNn-ztUs~b0LXXnW`Az%&-UsUbW=Pi*+oU4Pc;FOKkkC4F83O8(fJ|4rj?-laf%MXdcV6&LV(i$USHVDC>P zZCs0YEsM*yfbsu6Yx~pULbMfsKX<+~{uTa25y2fz@%FX|%6!<^05DMaa11cmAMDUC zJ^3HF{eOkg|5XadzwEzP7=2!W->~}2&fza)^?yv^{-tXClUe=cy!;Q%K2hHPermit z{@>GMHHi9*4D28-gMtyx41wc+Kj%Zt?_W=uG0WlFPpHfgl>aI&|CcKBPv(=MJW8Cd z|5#;S8vhDqK4A=XzhBGHU)}u*EGJVxpT=UAE93vtD&jK6N{oNMRX)DC;_uNg5>lUo z6#E-i_8X;-#oPW;NGtE3g#`_~*U?qU|qoe+h1<>~M3H}m76I{-mRxJB+Ot!KfwrutPLdnz;YWnZO zM7~+@p94Z$R`)-Qzxaq))889YTP#o{EN^dAJ6it|FodT@@As{M!rZq_lMhV`2H*t1Vhx8zhM&lZwASJ zw#e#F%gf)CXtt~{E1dez40>SxKA6Wc0RLah|EDZJ=Fid%7A5}gXZe>W;P*6H?I*-M zeo*J17xKU?K~n!Nb^gg5^J0AVC-!swZPj@xom-*KKL_OTYn}ax5f99d`*eOlJdCZ3 zmiIX>ZIv-Hur(!~LVyr}R-7)dxUWWiY5O?r`v28|1&fdV_rnrg=-ZA>RLwk1$w# z+wZ|FKBWe$1~{o|k_~saNR4GA6rHCziwSWtsf|{gKdPOGnmsNYEtmMv zHMP_y#bLA0BYERB=;JixYBO1mbY6P9L0TnTLel80(3&HJP0^+Vzo$>dsm~f7ugVPH z?X@G2WK-haN23deqVhJQg{Z$&WZCw(_DpGk@4vahgn68vUZ-_A(f;6}LpnCLwvkVt%6%Ridr^0=>4Jn2g)qmZl+iHr6{9A9?%cWX8H3KN)EhT#I(qsvvw`s0qv;+J+N2d%hu5xyf8Jm7+d)VF zVGE%`W3+#Z0-Xa^dskefv({00`Ku?@)j2GKaJw};V`KL*i8}1dkY8O|R(FWuLvWvN z#{rIPbIRmxJd(j4)TrfXjL9vwy z^Jj+dzPZbxaO%{lmVx{)Z7w#0NhNRn_0ISApstw4xNUAYzHh7j^)sjXRX39hrx&SQ z?8)%V7HGerjJ~yo)Tj33Q;vLP)`3lObh-uS^IGidb@CMwArTj5^!AYOS#(K){f~r+p=A>qx6!OPCq~0&k-Pe_7P~i zypqz*!PJ^#Ha!8@x1${|B8^M^s2I$0hSKTtq%8b(9OO+!4Q8x24{Q>o2j$;Pp?y%T ztyPmf$i@`N6?(R?0kVj-wK!5T#x1X~3-21ZObbPz+wsT$U zr)m?T)d9d0@|&B@H_}d(S$iIfD;}zOFVyjT5-NCP@r_Sv0l&JQYm-?N*T3T~hq9lT+w=qLnCIE}_WTpaj~i?g${NX^=^D-%@vGN$ zDIe5Z(EIXG{6ig+d22r9Kt+gXX@sxXUfFHu9=nb{U)@u^VXiE}ea@mevdPFjI$rCj zXl2EEYq`P+!!#?pI@Y7bq8tP5{j{v@=X$pu_~5asYkp=#sJB*K_uQ+8=5sA4k;S+3 zvR1vfBOO_5CWC@wa_dFk_xZ4qMT>Fx`TLjN6l&W&J@0kNFUz*~Eg_+Ri`9KLi7KTv z$I-vpDyN*h1B{Wfi2Z=kyzA(P=PXha(-Q=x#9FPm38oHq1-}QkVw~S=o8Tt=dK*5!V$_o}FnCCn;n;RA>fGugV}BhJs~nf<{-|=D z{Tc1&bEt~K+~>2VV&h#}?dvT!Jezo>m2F9r?R?u|qE=nO!67~1&^8gfr{EKV(7Dzf zhrt^QtBX8e&qS0~kriTJqJZp^oh0*c;n$A#q zU*V6aF{{;iw!1cY6Xx3@1I@H_60}rvsfv`2UuzKIqQQCbND801%-Txz5ES-mZ-`?k zRmyboKDS}@1-%8uu9Hh^T_q<*OfdD^*k^^4>|6hzJMmaf6NzM84keSR#=Bz=c2-8PKLjlPK8zK13sWC@%O!w%QQ z1)V%~N?uJ(?Pv_srR>O!9wBTWu6Phi%v;g3AY+`v2adNVNzgeMsmx~tkQ-zS+`m_s zZFl$@MaNdhma})U-VBGiH-pxX-`tfeAhPGhg`4OPA;=J>C$>zVl6MYDy`*`lw;z|7 z|KMm?Z!M!iKg+0NtG)Wzscj+=G29jJnu7@yD2q?J=ckNQ;wKeeB#X7jq*P?L)*KTp z_ttMMK3lStMko9#;9|JJhKrPYpAbPQ%M7Me%Vu}&rNSlB`Hy>Dte9! z%ckgjtF~S)outG(S$YUpc{!Vx4Ts%#(VSas?VyS$M>OyI{qncKyp)5RZP~KneR+9y zwfO=$IIGyKf67_S@Fdcct?9oUttCe-l@iSOp}{7_`@fIeNyIox5L9Ulz^DsZi{*)#ALz zb1xFIHxNKS&{k&A>I^oO3UEW;+Co~9^yX}87K2_z61hQ8#NHz_d%3v$mIC-Ir=?W~ z=y&hicP}-SAIuH~ijTNdxMUk_2Chut2oY%iG>(a70GWAj<-Cj zd=z5FcL{ppZ%Ru$13Ks!RKm)i#>U>GqTeNV?AW^P!bj2`?x}{(Y;J3^IkpyWY05;V z1QXGGa?cE5%Grk<)y!(~uqmP~{!t}q*#llFa|;WpTEQ@uyP=_6Sy@><2du0vPoCRZ z<=709VR>E1(mj|ysORNrl(&wDEl!xTivU@{mWoeuF?13nq~zcKA=`jPttKxuS^vxC zqCFCH>##be3}h&@2g$d8BqYelJ3RCo_kC+2{w5(zfhy{VrH(uNi)YiJ^GeR8cphDEs==Z^sDAz zGI`n}?twBmP3$o;43&K3xHq+WyuD`LmcvYvTyYkeR+wQD{(AAr1 ztC?sQW_!gmUQ@_!wLjUCTR6Sr>+He#Ak4P6rKQHty(m~pw0bK-A`=r;?rihEOvAG4 z#bw&|Gx~%u+N~m~ZQ@wB^{(?6{>|dzqSm=Q+s<$(R?r5s4$ODHane7?vn?~U%lRrH zvb=ItSM=9&1NT&q-Hr-%HfL*OogZC&?(-XtyR6>!lu-w$LM9ee>CYFX*o$`<6yIW! zGFcnIYjkP12{*>Ydq<91)MM2ib@h5XKW3%e`R zGOFK~dhruv1?aNyU#>RY=ur>!;Hj+sU#%;Nj)%SmofS@Nrd-S+0Fo%k;k_8OkkUJ@@MVb9jluL!ZK_pM`to(O`R z38qP6E`}f%mOMJQo%`TCVkwSL7mPBA@P*)4nox@dYVWQC9pf+@y*!y-dY~1)j zBC;|pIdgk>0hPfF#$^5EscsiYO*k!2SGPoP7Z3QWBB-t=4Yo4(hsT(O=M*( z+Rn32Yxx;Sg~(xwjz`6rvG-QQ9q+_ICp}on$PL5?a^<<*KV8>*eTjzU;9yp>&J!zS z7B8!N7;@&O$;*^J#q(`!qy$B#I|Pa}Zr)_-o4MQc-tK#xDj6z%7iFX+;7T%STsZZ6 zp{9vQM|g5!-5NUY47G}m%CpBmn0$IlOz1nnS*~%vxxsAvgwhe;${nyw)eMkCW~85W zDVFvOl8&;ns=KLnSq~mJD{%Dj#rHz%4~bnz7C{{rp|xp)H=CLkSI-VLm27%uQlGf0 zdpmAjQfZgaXxt6G`;ZF)H?={qV3qbp{`P%q!@{i$o|0K!c?7}2#+Yf_u&4M`g2D*M zpl2Ms79SVDcO3?XOS$0m|xK1W? z{TMNOT~`2)`)YAdjyf8@!`T(FDOcjbN@b_9qhw>#wacVq!|gcuAsc_VM;cA@FyAvV z`8cd>;W-fUF?QVf)i8JYnw!NWTZ>dEn&_lq9J|#fdc}^no7VfcZHGzGg4ed4K5$vQ z_pS8v2fT(|HOk`m-@SXcKQ*J-N_6UTDR+5$*x6#HWb2NiU8jsHf)A9RE|6zQOTEKs zpYrm#6`g5v;c^C37pGM}6JW%urKzd;x#KeHTft_W;iUiV+uNn3rEMT=mIogj)G~ZT zJ=P_E=4+>~abMNL&mS((S|v3u%(XAvpP!p4ZA!B+hQQVjG6kfSVaG|?DD$Gyy*a73~^MinX^yJ18&I44DZ193|3SRpd{GtgHLQq+H(tgBXc)kY{uZj&zK9pl~yy_l0meEqr z_0vVWf%nn!q2wLAc#}4e-QLguF=lsE*!eqm?ra#d7?TJdw0%U`ahpx{ZFE$q`4$21 zP)MyGxr>>-+i8)`e8jLuB@-Y_A?L{7C>9>&`cYx@sEo^Yc5Mq-6X-$hMhcc)F1G_PI z9}amK1Z};;HtAjT6eTwV7n(Zmv zSW?#`sqrNS^AgF$yJ8aZ?>G!K)w<-rsi+X_4TntcP1&vzlY1k1Uv$R;kQ~3PWqzi8 zL9jP-Imdq!C}7dmVp}PINow+MpBr}UX<-y?&x0h?WRrSjUUq&cVSuas{7hUQEwx=1 z03Fg_qCBTyC3p*b#OIyH9ItQMzrnH-Kng|cU8pE)l@tr&BzuE(rJ~Qy@HEmJ7m${? zkk}UL^yw92>D&99-G!@Y`5EmM{JAW7P$gVFkk^-E(}tX5bloJK1{;$2+@|d?st?`U zW7N41z}j~MGSs{S)ebnB4d6}0gna=(3O0P+gdf!a23x_uT?5}LIyYWZezARjM$4I| z>5PK8a&7BjfKYlKsp02RvK~LO5}YZ?r$e2PxbQgC#jd(hF67}2ijRVpO*lTo08`Nc z>Y{9=x$U79nZ@UMG}@-%!s)~iBnTL>|fRMCpL{j)QFokmBJJyHAfn95@-*(FU+*tTG%~Wb*mEbk|=(84|L1U zC#G@tu1Q2Po@aIzFdBHos50#upxYq8&lX#G%Z#qpcyh3DSMb2a({7Sqz3Gqfr0j5} zK9ehrmGe0?sbO2)oa2bc5MoO8=07tch+CF4Px|}!?;l9SGCBjMl|fbD{4jcGHz#L` z*zQ!TeJFI|1ewT-XP#W?ePh{&TqgN3kL~fTt<#5Qd+&bovTjbdET<)ex(sJ!_Oj4C zbdG;NcAINjO5~9G{6vDgK*m18(Ay+w_lBsHH0R+OQT_4Z`;cB%jLTQX*^hXb?L(EM zM>}?IaT~AhNkNdaDZ@F^@V4g>y0nMJZw1`!sp~r;OBIHAO**->LbcTfA;*Ibo=cvR zAMYvc4Rg0L85tLh1JvaBnl)?6#!hIzj>>LXXmo$(mFRQ5VV^l*{ZwhwgAejw_Ov>- z3s|~<*pz+dXJ5bmA4bPb?gL>_-At)R$mv*vyOfG zl&5lJu9J1)7MqXoVVN774ZMa|(H=}pl2h>8ciU&HC^NTZC+X@fXn+M0&uJc%JlbZiSF3v=RQPFLnhxZ0*kcF;dWX4GX_aWc@tfTIu4GlL&5sc0&E1pqno#-GBeYSup zfp(j~l?A~3_%qIw%x~pDtv+zNQ4opYJ!m{7yb|Xlq9rBu%086~wLb_uN!V`+L6G3| zOEKp4a?;`Nm<;k>DN7B5#laUvi801jX506_dzCw($$fId!8lL<28BW1gX?()C&T({ zSY!Jv9VaLZ=4?YOtF>tDdt^%Fc(g?w-UTlR?NtoQs0pV0s%kyr4=HVM@te zB8odAd!kOOd@SQrg;0~48;56p_)&ahoz~5X*=X_DW&jSml1jE=GGr`n)wyFQE>|<3 zx9`yi8>*Fd|LO|ZX^^{%q2$+Ye?7mL`0TgABLiH{>*`p)_R~_>+S-;+DdCmtCLEf~ zIL7*}%=07`i{3 z#Zlk!!^f~2?Rp$rv+aAP1ZbXRYr71knNS*Lv^ro?UQV05)1a$kIz#iw`O`B@jHxa_yvFKq~TI+({$8VNS=XU~vw`TIMX(~1+3kEx2t|!)4leLG&OV66L%XFQpTk(PNS|`xdY0|qW73#=7yMZ ztX|gR-q8ky^Z_enscCNaDTOgvK%*KX0)~)C2(?oIeG9FfaW=)I{0?{p&GCYQ>Dq)l zwN~kOJtX#$-M^%shkoV~WJ9KtIDb6vX)Wt;ABB+{<9R{md!R9Wj588wQ_|*kwqQAT zeiR`qIe$c1*(gWM-Oo0vvNmc23DjLZ5%(bynGrdF3u}AyYQs9uliC|Iw|Luc0^EC; zm+?u`2!)a~yXx_bljC>YcIa!N6-zcr3QyJ2s=D267frtc{X{3Gk$Hl2ha7FUiOz89 z589_$#8xOR>119V?5C2^W17T8rUc=ydG`J57AN!=V`PFLkM{gPK}J<1)M|J4;HQ`L zJuWncdj9mT>J3t=6c8jnJDFJ*Vb$?$b=*}Sh&k=dHT9HNhOlzGQG_pv1J@4>a82hW z^!NAo_>NzcN$P&fnZVC2cSb&sgpndT;dx!EN4Din<}k_dvk+<)-_+K6D=D10E2%pi-iSIa{9s5mLtndbFNCkv+gANu!})z|Y*IayVcY=$0ox|q%DD*j zcZ{)E1t=2*Z4IwQd22v2cjfwB{TgA%U8vV3$V#E8>AcyrTby(_ckjM6JL|e<@7~Xe zU#uLmVq+Ee?%iwDlxk+>;GxDwcLoZk+qsT;DRs64pwX;|pV_ew(g^Fbo%Tx02$M^L zi%?GRVlF5kUZ^ig;@P#v`j}!o_Cb1a7Dll)d_N+ZndAVLJiDA$w~>*t6k?#qxw$P( zVvW^xREwqIzNw+4=w%LZ%lbWB=t{upmFy_wMA>F3!XjO z+h3m$2KAXwW!6{TMpUMqQd4{DO+~+xgX1#YmPbuh_xhj%b_MCdqOA$r4Yop`hXv{e0EYzHxv%7kF0(&#Fwl)<^*L1$8g3gDy@l8Sk%ybR6 z3ViFR6aWRXA^q%#^B^IU@kpRQgI+|4(1+2s;+sbSt{Oa^ z)W4V5zZKZWLAJ8ZNEhfNBq$!NH`(%SWSH*{;`w$B$%@W>Z!N??^C3>*R^o7R_+C>|C!%wxq8p0?AgBAlWKc}Jf`n`@ z48N1uH)LcF)_;4D$MUi9E6v=JLYDQ5Ld6RxA7JNer=n zXCW$IyKZ?A5J&=-eGPfL1f9v+#i{ThsrIXs;yG6e!Xe@j+A0#L)WWqA=+h!=o=OQK9d z8oGXY{lbyqulqJKrtd-r;{I)ozjxz%>xTg7T_{8FFj1S{a~8%`uSFm)qQb6_6*|Cr z%07HsgcagN{!Nroqu(`|0fv7Ti4}-i0IRSpbStzSqxGt&H zO%wg!kQL8AWs0!h*6+Wj=ye*I+gf=1{ylImuCe#^5y@`q6^wy2d zyoaa1jEu0+xXB?&b(=YOdF;*&$OCC4ht zwYRDxWMy-|*wHRt26d*Q8*3JoY6n;Nb0L7r>*95ClA_{Hr`>64I&E@+P1hy+GSNsC zfcv<;WD-`BiEzeNQWN%9??0W&Q%Qkg8I4_9A!Y2eK>xf6fUu+zqTzB0gan>GPr?z*4li zjwuBka!Jnx76uWnyu+?gMjg&S+Rt)Flg`w~BVS&t{aGCMre@p9L&m@px_e=rh+MYA z(B8{iY~*YOUu6?5*>*-K1m#Nb6Q@OA)w5)qi(;tLN2+s^jo9)p9owAy9@+pOLjejk z#tC_oeA}NW1qt>LJT;J4%#RvP4Ak~q-gBLi+YbQ)bI*-+0k7g#U?B4Wh|>{Z@Li00 zLJ!W*p18P&cS8xx;JE1qWV#BUkO5|O=iR##whDNlAdC+-szOmxY1CM<@RA2*=e28V z&dq)*F$R>rXVVx|CmI1Gu^bF_BU+xFnjYw2BNaj73f(&BSt&N72;?n8vQZ#E>;jzh zVZfBJB>Fy?i0Z*}pN){hx*|G%vdJP6stVD#4Kqa9GkroLnHiuTi-h=SeOZZBqZ9Rd z+|!pjJy)$h3i!&<;DbDL)e+D8oa%3tgj#nZpy7HpnFkVOQ0W99{SpLXH$|$C!uk}l zkh+nowdcE)j}=77`kGKS1ij5^J|42YF5$_$-YbBSsp-acTkSDBK!#cwouG0G@9j}7 z8>&RO8`?H+*bVSpLsI(mo;kzW3S4>PCv2PTfWlNQiRcO{2>|q$uO6BqHe8wP!fIMU z{Drz+&k2IL2A%bBiGm7+FqXOu1z%=?x39RWOptz2L*T(^{Nyeop_vrp(i+o;3RR=~ricU9Nl(diJu=4o9+&jpM8_ei>_1h|j~k~r zcA$IXn4npa^|*x+?RtqqsC6W|2t>R>USLE%?$D>1V)6z^A#61qB3=?Yp2Mv<3K>?d znM#2Mh!S}tb)saisx3(87)jlD>t0@^H-@!qSvRCmeP}SMZC6N85GSCd0^C)f6X)%i zNXd&JJXuF9;iAxVnxu2r9&_nrKWNm~y}{7PSCh1`rjI(+PR(h!CCfE!Lj)NzQ&(Z8 zc3uo;TAZl^2M*ZOX<|Py$cr(wj^z)ia~>M6k^*?SJBz#(Nj-|T!y9C`no=M`zF7#x zgfhj^PG9k1rLg|pWP7Vpu*w*W>rh%f8FA%roq+<+HR{4)M6Scg$A_vyMC|Vj44C(~ zWThzUL?xhJdr?sDgvz+sR2MzW)+V9~FJkqTp~zh$X_<^4vD-|_uo=u_ ztZrUl!pSqjh?MWyghoYWk_>Kx0gX!QS3i=r0dCz}0N*OK9=YuinQJ*L(Y_-Ol=d|+ z>NpWz++i3m+z4f^C{$=GVqEg6v~9};lF!dMXZ1e`awUk&NrQBOfFl(SHmEYN@%_d< zM!;4r3&4Q=$tbF6-%mcS*#W5e33GGvDxxIHK@K7;JvxY#bw=es04{VFG&w-bEnB(u zNdoF6Ltk574rF5r3A%YI#2U7oC)`2NH@E@0L+Jxx-S=P6inq*+(9A>KqfEV5F+}8) zTHI-NNH%S%r5Ufb?PZxTE)Nv2DdR19J(SVT1uQ;|_c_g`3*#;q^<0JovKHoNSakdu zh%$SJTY~Ob{vNF(h@LbkO5m@Df_WSS++Vl35A(3{;Mk3W(|r-iP?`xys5vmzb+;R8 z26w5sGSSI`+_|G(+Gk%eJmOY#ndaoa+~X@4!76&57{$>=yjnsd&XLhwKn4JdOcjOppf_-xsOa7q!9-t(cM zVqnHNIYONt zAtjQ}?-aNLm`0#L;e7Xmg?Q?a$jl+Ij$Whg_T!=#?Pb2+l3Mp^t}1*18KgbvwY`l4 z;$*+FTYqVF3`!I-e!H!}Dv9&IHlwT4pR1Ch zed8-WzZ<;wvy3|CSyYjD&G>Mu78K!jG3vP{eJPC-}Kfh+$R?PA@kz4~ zoqB2PE&EpP{I5HJkZ4)l+=di9yb{m*TMjzd&&@&jf%D3)_z(tlwV-oi=bgLX-tU?00-CA9 zG=SN4SNB^srQSw3i*%8m!keDN7tA|XGpgQX6&D+xghOmRNLajFhz@B*; z0rqg0{fz@r8wVJww5-BhKg;KfYrHIbFff)W!WL86Fc9}{`d~a40@!Em&jwH26Y~U$ zprW=jscqS@DJcU_Q%b;8_e|;2gg9HIQkv!IOhNtac5RG$P(eMbSRV#tCMx4&F?CVX zIvSJH7&jkHe5+XhO;Z zzhs_QemW!CvL1U`0Bylj-|J?`U3x|)b1Fg$J3FD~G{^m0tDP}vPV%0SJ87q~#G#3y zs_8p>HwjUksnjG~uU>S}gOH03Ij0CAE>x5>r2Kt=v|ksr-6aG(i#zN3_-N?d4iAqJ zh)3IHN#+p$Mz-n0VR3zZ!4Y5tUaskm_yle)5u%rlkJWa_Qz%He#&w=1T ztC1U&o(qy(H}WcX_#G%%T;r=KO~#H;uNj^A>2HlrB0DabuZW`eTO+GBY)vJ$v?8ui*S0e}4{$pyJ1>&npmV zp>N+F4d5~G>gwu}Gc$|6f2jGOSghTZ5F||WL4gME*;tOmOxg^I_74-bJJmirbwXEn zcrU}yx~mdEDt{aqsY&%B-N*M<)jJ~biXVtqRrkCuArGkDn0WSKLWY$8y?b)@_V)bi z`|sN??We+h$dGRq7K`mnl0xhYDY&y$(vPkpuC0_zkZYWJ%^F4h>RwSzI=M?8V%T_b z{QyDB(|m%Ajx2&cz7nE^#Ym7W3puaPCLa@|1|N@V$gHY-{rc9_Snrr(BIku7Plo}_ zi^j&r6RN88rWTf4SUnv)ZX%cZfGym*e@i)%d7VaL>E6YK)dzt)uRY+Mn-xiCJNuTLNIvfFpRF+yc1?iDGIZnH; zx#2QrTPo%pnPBn#n{GRmz4s$Uxa#%5(TegLCx-|W73p!4+Kpuf#m;qe&B?;z%;Y3r ziQ5grNP6)U>~3{YH4d2<22vKrX~D^kYeGYcp&mES8XK~{p*K)~w@TOns9qh-ehBeh zhxh1r9&RrdJA73kf{Y=NHy$_0rm|BI$y zOF48O5O}qCLR>$;u_ZZS}Wq$vg{eEo1{i>zNRaFxL}pZeMf|*oZ$hbZFWY zNdKRKKXD?|eg52m!NeDWjdKX!^T1?-VK?~i_zX=5ymFDeLsHTcL68s*((7$5gGq0) z&Cfw-UkVrn^I#K_<^#zWs6Jo3QSY5z-`f5eZhs4VJP=mQJphYJAt|v+&w=3c4Qxl- z6Lx+&Iy$P(!orV+MesGk*aw|Ow!q+%ub#Zo8rQ!nj2L5><^!TIW#WqDpc3IsWYH*k z8j6le@da&2^$gFy(qdkd$y{-M_LD3Gn~G1p5+}PMvcJoE{;T9JrNGoAi>CJW*&d-} zqcILg#$9$*~A)Y^jk$LkZCLdCuN6p7OAsTB>?Z&&$ z1Zlf|diA-ZXAM&1Z7Rd7Njip7*I+Rk~?&TJh;sIvI{5ZD7Yurd2dG zv#y%$Esp0b5f~y`SHRhFbS0Z0Y(jZ!qZtey?a7eAnwSLgj2E-uU&rSRo6qY>Y3@U{ z+m!C_N!O-H1HOn!@!9uJkDH{Y4BxQMofxnC06ZocxKu~~ShtSNdlx0}*o2T?P*K}Y~>euCW7j=o7?r^V>p z+=x5g#KsUJ^0gI*zG!1+M9$AT(a)wSPfJ~F_)O4SXqx3Yd;ymmnU8J(^yE!tr9Z-{ z0~i;3-t=Mf?!9~Yp1XW}dG(31d2^O6Rx|0$#Uy*idILiacr<+L73Wk)-M2q>QBM>bCPMzE&rG!tW4s^?=E_7^$9bta5)lrW=*1np_ zBIHvYtC}fYU9ZoVCJXK{$7vUP)B5ABBM6r*FGe@56iz)TI&RG~4>&i(rF zdQasU?uYN1T_(~8`)i_tn9MDsDsn^5^#ttNSwa??zlD>H&G7mObGf?2s2OHq>+o~8 z@6EqM&qRsOy~*X_6cyE~i`8V4y1Y(c?i!=FeY%i?%ja0l6vdph5RMSLJ5$@etd#Mm z>Z}t|%0*VOP#1}?#6M3Jy8tuSLT=!8Uh~3y&-Ds1f@OOW-L@H*yfm$uCzyPMfwXqg zM|9Y-n7$Lea7aDk6lq0FQ<$XV{QMs@l#K_fYkM z0WLiQxR1N;nW1X59taGY7rxhz#yn`^a=WCC6$%3ooZioV)2SD6m$DVO^WKvyx^ZRX zOE+h_PTANhq*geaSJjBuWJnTHDyGYl#kglG-RD)uU!6plTET5avA~iNwHMTQF&=!t zR`E(LNgi10>lH7}-N!GJGdCD!co1+_2UoQ^N=XV&#-_}VN`x`iH9rAkZ(v)RS@Dbz z*D%q_9G4+Yh#Qfjfi{8(y2aq#gG|tIdO7I_RlRxwb^}8%>={F(<7SfgQ}Us zB2~v@>TX3)bZsu2N z-Ckl$ccUy^K(g(}Y!V;_48n#8%=&CO@UBdla6*r+?mS^Im2$qJG}*3LuS7o=9gBH+ zx)kBw9^{TsPhw{<6f!RnpF_NK5rjR# ztm@vv2BkgXqQrC`I2fznmJ(xVauodyQgw>WIq_;f4oGx-6FSHubcP1Rgv65^ex~~H zsrud;9tYL8u*(+OBp~Yc{G5Cixq!5Y+_3NzX>oka{fJg1EbRorD!!>fEX|`yq3>i) zuKbbE_j{jHY!S&*fj~1n7qHWh-|uF8b)=qy_uaVq5`3S}O= zUJU3JOiWD3_IF31X7?rH8u@@Y?H3prD4~h_2SL4_iVAvaYU;$vlU-}5ht_6EXle$W zJbCgpYycs%jK0~)R<$k>8N;u_90>CT67LZ+mNd?NshBP@p#1YW3~G$6@YTDU#6*M~r_;yyon5q^DUeCcv#98>yn+HC-|q^8ObK66xom@oj95d7 zV^HI{DMADJ5a>}(?MCxrg%`uha>fg9UB}Y+p!%YXpPP{ISN0y)p&@?Ia z4a~$eMWJx=Vt(7MxJt*0#f@qa7v=F}^m59|{w*!qW5MUDGNkH%k^1n&Dqlq6$GAi(Abq^CG8DXdsIm8?BZ$@6D zP*{RK=rpR&BxDu5=e-B%DkBJ9tQg8|EH2ZsT1^Vu^{JG)9Ge?h0wk@M(SIQB|)k0`Di#x4QCkr#sTY`wi zgBupGHzR<-%E)`YH&u~ms5ddsQt^elEwSW;rhDq4ESWisOROL#Ji@#vTO)MvCGb4Z zTl(a$5VM|T#smPwVP1(9l)kLuZDnK`7WEY>2~cmgbI5dGm_Nw51v|>irbw6WrhCR6 zX6YM?1T@B#3VdBloR(03LsGUseFRq&aSEQCD5iUup zhs||e=U9Gdr)&D>iLa)^n-{NY1nXjSJ^2t^gviH&a$&D^eT!5fmJ`m9kfkOdQt&I| zI685-9l7Yjb1bKxuWygf`o*q;kv*2ayIBg+NT9wjb(n0WAU6nIZ&l}EfW%U0DtOmU zbTSq4F3+!I`4vu6TZRK&4*r8_LZq=JHUfw@H>^`A*K#7=kq67qL3&$>XsdbHaO ziuRPeSXxYz+VZ%8c^%dC?$07+sGLPYDHoVvo%n5*$Q*B>gAs(Gx42u!gT5gpdZ6@2 zAtD5P$+EX#;rNVR(`hCfT`dbeqy>QeP$5b=_A1Q()#y)V$Ux4*)PB5#BT^v3NlEp% z$Ek{FST|juq`8A^hXrkV45Va}ZaA&rHRx9)z(jn`Oh8na;{-a3IziD2!D3kd@`(8WNw+x`U<}PkrvzEu)ONl~8hd1}o?ccf=#( zNk9)F<2lR)Vj?D)`N=anrKq#S*B=tefcsi-FbSNj^2J2(0lMYuW&_0gpm#&ZRg!T; zUQr={QI~l)d_;&7b*IJ!`vD2Vn_O@c6BFKzEYL}Kg{lteBqDG}z#}WtS(#obF}Y~J zwcX?bRndC!scMiKR2r1&-giGd3&QU)1NO|zS}H;Vd$AeJnA)fQ#t#p!{-a)3qJ-S^ zC;MwkVh@_Vd;G+G_YR9`XV)W-UG2c%ZGm#EsP@4?1a-+o>(3n4E4Z5uv{sX{2L_=+ z#**QC$fhX?V3C3I%GZv?StPl+HViP%5JL{|*y~&_nt~dmKV*VSm|NU$$=5Cww20XG z5UO3ZmJz$L)?%oGoH%{j+_+xQmzHzu84hGXYzPpwMjAr|qA0*4S)g>&%!AbvN> zU$tKPN3Qn!M$5P1*5M)3W!Av;fL$--O{c-thHusXFT(cM1}AS0bUs`ab-!1)G)%Wt62S=%M3 ze(Ka4$YQzR^dgJTSV6s{q_b(YEb(KKEHiR4qKn&Y1;CEH-+R;@u@kqb0NcdlSOIo} zI-?34;j*(C0YNA_;OrwN@W#PTAFn=KTLg#HY@)fC?Fw7V5Ne2gj>FKAg@d^3lm>I2 zQYAiHyW=w2Hq33m$VJ|fc+q1TB-k5AUzikW-TBWNDUF{T@erYELXMwse;I@_VTF@f&LKNLjey=^;x~0$b{p^W;aYV);)c?Kg*m)g z^`nckQ6ozcw{Q6--Uag4T8t$%G-M|8 zI^0d7O(#<95+fmMJ5Kya_f%ptq()w&K&4ScyLH|aGOE{c6j)dQ?ug~uB4!jZNtY9l z8yKo&z9JO1zRu&Rfzk^+R4oE5x%TY2z4BP0ECwxcWab0(w{oMxfNa&X2{vIle){;z zq(^gA7cBN(+ujNR16L51`$>i+foM0_mWyBS4cw5To0u4jx>(+!cZqS^54Ab)SDDZ7 zzeEtUV*PfvFZYr1^c-x~c`>N>BH>ackOB_Rk4K3IG-^-OSkJ;9;lRWND9;C2$97Bs zk;M;Aqk7&FAD3YQJgsMK=-CEC-#5q(ROBo?*uw1Ac_VS24jtMFoW94(VPa2on7wO{ zeTkCHjMgRZkWi)|=2j>;HbD4fcQ`L%*T>1Vsfy@1j`3Gk`D{DXw6Oyriipp4(6U?@ zHH!){F;TUzMn5g6Z@wW!Tf{ueA3pG?`F*Iu3wK(-4~fyr4ww%oPl zxs(EyhCSbpg$#h3BiP!@b-Y>@_VJqtegR%opvM81$-(_z)~&Fa>~^hYD*`6X&&_`+ z@XgsuQ!dg8dA}I=rP9ycrApy*00*aMrk%z=>VRzzE_E3AD+sa*u^Xf9ObUQ(x~`w3ZK>@C*_EBOlH07}I!zH6GK7m>A*b8Q7QB_9*swcK%S`{z@QQUg?jRR9^M8 z0#y%NJ#Qs+Xy|1EyP_RV77J{Ss0Tj5VJlpXqT5D-Of9x$vhcKyt{q zq(fuvoO2fTbDH^A^q6n1ZB7x`ryL?u>#gV(It7d(f#+&iOO`c7B8JcK6?GG-G|me4 zZp~Q$HY&ZYZ%&%1v(VAI&_%4GxJ?H16Tp0!d1cIhkXX>ewCe< zv6^ZiQ9x3o+2!SW+0C@AzD+M}wE-FqNUGO#w13~IPg6axIUy{_WxaQVm$~h4P`=>^|y@@kTwGTO!Rdq)MxTDJ4Q` zX91Ed!;W{KW|O(WlR=^fJJ3Ia*$on}?=`V!oygm#fW0}9ZWec8QUQA^O=mT$t98qe zX=a^DOiH8ZaApKm7_&8CgV-w*1xW$*a6nwmtgcj2{y{}--NXTNnh5hpK0yl};nA2P z^N5s65z)B0I#yx+uBS6~dO+pj6*sNIrqw3>17lD`=NkD?c&cXCsUErgA%QFW*2D>ycJ2QWK2{4sw4*OYudv z@O~0OS-NizTz3nm+WPapMk0Y%;t-iP)uoFuWH)q{P!i8#$UJYdBrWP68JYK0^3kuR zM*(`;(~a##-Wd+>lsMOjltDd647_+hJR>ozuYFr>1=#>>yYsT{l!+zU{#)?#4$^~S zfhS0dt&UDL0&5nsc(8aXy2Pp{TH=BJ+Dt&a?9*&gkn(^`*iQIaj>OmZ z$w`l-pcCgEh+Fs&(C?l}>hR zxw&RmchgyE8=w+~&N1c!Ohvc2^d%RWUP3t>kiqBMFrqk{)6m<-&_5|{;j)@7qfV$tl z6#O5_Tyt18W92z6pgn{V7g@n4YL7y-(wg*M1$r1~l4|qOUvN=NaO%ib$xm$d^9Ktd zyCu4{r;B9SZV_-h<~eMS)_Dj(slqro8-N5wGczk243yH2>OlYRm4M`fm8N&*+x+vl zS*l(xQg;NQpE&_PRFCHkxhi8R>&cs(?Mq(J>H+3tfZU@qX1>yTt}66%q~^>^hW z&V2P8zwqPx>2OyAS_Lj#3*83 ztDFs_PRHz98Sc>J+n4+!?)H~(sJ1Lb=#-IJvY;6+cv~KMofh%DGT8n(nN>gYsT3B5 zrK75Aunzn{D5doD{sI_(;joDarxUC~7}Jin{~XTgmIq8TFvEiA69F3f&rly0>}E#D z`{LUzQkZ};Hmul%k^*U%X0Rl?n!Z&eklbaZ*gZVn?gN+sXfh@}79CE)!+i@uBftzS zhk2s?R_bingM=usgpeDkK`TT!R=Fz;km1^ZX+}q-xARWLi)S?!7MGRPqqR`Py$YAD zePTAdwx$-Ln1Dzv7a)$jddiVgXG)zoraqSn^C5f|XqkLSI}f}Ke|J-uuZ!BI5?28v zg^7=-loZ(uBXYAqYvz*MD{Djh%jixv^99UaY?1ZpChRoCwf=Qh)aY`6lysj=aXUz4 z-OOM-ex!~vFdm%87OWOcsh&>5BokDXXY#ByuP;ks*I0i|jaczZD2mi$38&8~fbPTM zZMS5yiXkkL*KgpIGJob3FVtC1I^IwuWi;BJeQ;Fm3#UKyMuM*o!dP*X)_byg^?&u$zKZ2z zJBr~VVK=ODlk@nx9F_400R7p9@6p4H`ezm>kkMAtOMqg13}npnRXn>$G^pCdjDC!a zsA_B9Sdq3ixiEb6x@*th zEOQSqs<)1SPlfD&8QvKszYiT@$p{Lg1@o}ltoIj+SmJgQ2ez69*B*lm%f?0Ur|7?` zJY|3_)clY4KT<6X$u94h`e=Wpm|*73+1B}4T$*Hxh=A@hz)^ehjQA~d^p&%15x7ie z@29`pw?*LcWpg2ig&B!v@7aA8gdaB-TC2n^|z056o877Jl`Tu7w+_OST!zxGn zIShforF;i#f`k@X0NKZA3XGAX7o@sHFQZa5Jw)?xi(VGWR`|azin&g{qB;LLRdS2_ z7SC0egbtZe2zd8&)%=j`C0u8VUKUQBtVqhcMK8-#{$J-Yz~@2 z0-FRRfTJJd@1S^j7qJHc{JQ%(M>~{)z|5oKrvBeFb+HA00AjsFIuFNBj}sjSk$ixT zj&3fw=C^{T)Z$07v~_UrZECwKHw+xI1h^g|ikbj?=#Yq`>f3mRP6&g8b zoRD4+?>YKsV@P$fG6~+pnz($WcLa)HL5$hw%P21B zKwMA_TtZ9dBFom&sXOzyC2R(WOg44lTh`#HRb@k z4FPRGX~$l1{6aD45K?b@b*Lb>@Uc(1$;g$!GOr0P-vS^Xaxr?&bn*EX50D{>5xtzf zh(gJKNQ00wQg6K|tK(fq*4mYrRY16B1HpHs2H^sIZm;%uw4K`d&gA?H4#Y%izJ20D z_&4NVrU`T*;}VA(h__MOv-{Y1^Me;2l%@W zV>5tnkk#9!u%l$d9PACR5xAArov}gaaM=SfnvR)pw7|+Ea3S&FlD0hZO!0mCNyEKh zG~E6pcv18RsQnrun1dYbE?74qI0iHeCe7HcK;upz5;l9*1H`GG>3uHvBYJ(5&vNk- zC`q$~==8F@Xv?5sbNdGh4wO_U+nRZQ(&xlZNm&xdSG$hp2 zW`=UpBj=+zvDbX7{or^CP5KH{)PE6E>c-71aHtMI{sJ9>VDW~$wrwEW3(-R&<$p z>al>zy#L{vwY4&-S-#zi+1kJZ+%g2#Ey+I;5C|b{XX3(EETG)vRfc0V z;G?Fn*+h^NT7s0{r7P_PD!zRs_xjmqd8v6* zk_lO2Z9Wjg^2Pj7R#3GM3GQ|?h@aLJ9|*5qW%9Bl&l_+N|44EwHWvhg=I4Oc3GzI@ zhl~yk=wwiUqkDg@Y6gn&IC4{;9@`>dC?Ob`$|(2PmOEyAYARi~ba#QpKllri=Y0pq zr8MNy?orQp0aHdvU>vZV{#zxDdsvI&3bG;sxENEG0i~m@D{WTo(#tFB)L?OT6Xd;! z@NLOB{pC5Z;W{-0tCt7SzeYPAw$GM5L+E~N)yhbk$Ipr%sz5Ne^zW+G(b1tEl_qhP zq~Du^H!w)L&Umu(cL>KrgI?kxun1}GuZZC&a^ca1)2Dz<;0^kV5V zUqK+vUsMjsg1`bR84Sg)T^s@e8mek)J0@mO?*uSr5B=)LX!N}YdBos=!0v{LQl>@o zRj_OH`V2t!g2>uEQ{&SSQ}8K7TMv?+J9K;XPM)FfvcJT~$7c(XI{xO(eGXWI3Z&;X z2i2l5`<8gv(gNOj|7|Hm2>MDc2@GaVqwb3*^Z$|O@uK+tD-*7`KaRxnEaxL)N;UiM z=gX8s5bx?do}z`84E8YCooGhJQlij?7176^kG*rk(=M~0tM6l30Taoi{cY2G5NEeS zKq67WvLCX(7qE2JSc%}zLHGRamUI3MC?cdyYk>ILo_O7S%C)RV@m$rcVg}tPO6TKr zVEEfG%(vLuEQM=Bh$l_pHJ7(w%t!6)mA@4C>{9)*#{@ zKCk{@RYMBlmIp5UH=Uop=sb`0Bam^S&dG3ztqlW#rdEu2{Z1#C((%nq(=4?lZd@_M z*N83OjbJ*~@7c1Y`}Kpdj635A^p$B0QsIwv}M?YjBBMz)t zpG;*DDwJ0ig#_iqS8J?7k?y*O*jQQw$%ES-QNAZdEE0#TX2*^}LT3)6U!`uxqcFQl za_EZ8?-@BbjCh}^DAn}cn7;dUZydugkmg{0IY==<@ckC zdZY*VjaU%Z0c-~{gO@9va7kc40%d@e&8c+q1pPOqH5Y7j z*fQ0xuyBv>I^>&m@Q7l^$X)7F--*Oo6xkyO586`ir`ZusciVMmn^Kko-VH;#xT17@ zN2X;PHVYedkaNdD@~|0;=gqEZ_ak(lo&O~D zdJRETQ2%vcpXAC96u*CV0UHe% z5KC#CAuaq#-?^jIt4BomHMx(2>aBd?+RER?T49~*wY(vVUJim-Jo@9k#Nlop0SaoY zM8sH(nkA4kbc~D~Fz&$A$N`~$2axhljAn*ivX!l0r#1pC9l4zYoX81T+%b}JDE)Ng z84K6!d3gxK0$(u{P9!VNb?^~}1Q&u&!JMmE_d)4N32>pBKQe(M?Z^Y5P`8Fi0>^*E zYYbV^PO?jbz3mXtJ06JXa!BV zk!fhprax3AZhgoE(eLE`T4X9YIT0K66U;!xpN*Bs>Fp)P;#sa>aCJw$C^RmiY1&T$ z{HR2P$N`$q2TFigstl87=Ms7KA0NDN1_*)BNWr6%QOZcICVvDLrEtGo6&$wgXGPC{ z<>z$*+J+qd`!m2hM{HHW?!M(05wrJ4?U9Kpz!PkB6ZMVLjSXJrnh;lm2>X$7@%>5o z4$do^z#mqL*vmKs^zEX@H|uaA@GPgLiNlXjfjKq2g+#U^AdRkoWxs^G1JUnk3G|2Y zB1_&yg5yrBMOAWCTok$yWx;!85ho~hBnJKse2Iq|5$kP}J0Ho=K)FdOuX}+C8dbpF z5t7cQ3mrM{pawiWOc}f^cUp3kA5+AUx$`9yE@7QZQW_S^4D81ywq8a=-?n(&ZLBMx^F9XyI~< zj~m1e^z7mO3!|*y<(dH67A-{VKLG_A@!Nb7nyRw!ZQRL3vMEGp#S(>5kSFY~u}}9- zqN-iJrQ>NCJF7u^J`}1c{D!yXHiHAZG_)K}f{obCA)In&5B<^<1iy6(@PgwNw z81!3sYywA+K4wDYy(w(SO6(}BN$UD*hN48l{tkL9K64KKGSOan4_Z!V)re;4O}g5S zU@vmSov=~6>~1G>G{VK#oA@n!QwkLxTi?tovJ-v)Z%fV+#HSYbUXJAjM)X{tQHj?X z%AUpm^yfKUKNfbwt4@bk-GEkl90^He|9_W!g`j?EMNW<_H-fFU?D=P=EO@i4jeWrgsCX8N2{6Dk;DVGD#u)KMauO_NCOV8tH3g?Ef_d359)VD4FK3g6*J++a<;T9lHC zfC*BB2@;NIV}Oa%Bk^l6u#=euH}~du9~g=h3Sc9vz)x%5s&^2AQS*|diJebEh3$;y zP(#1&L?%CoX;1VP6I6$BfkkTqmEI-1V`3!j%GNtG+} zDqDu~zQ8S>e2B$+pPZ&a@3aqx$Nsp&UW(#3?5M$Hw4-Fv46yp9Rm-xZ!WX_wh^5f@FM=hGLNP3X;r%BQVT)5?S;E=zS@4rYp${>*8f_Kry(EbD z72$Gu#C>&F=*4~T;(KLE;GZfJgr=U?JJD!1Y5{*3zhO?c-Bi?r+>#i$ylGX_h>!w4y*8W#dR_mG7l$O-u72( zR>yO*QU^g8#rfvNeP_AxTU*;DmNh;tmTBUTIAP7;*!gJ%4+SO59&%tr~HYEMz=?p6qx4Gs9BhP|Yr*v1I z4n}nx=K7I42jToaEgu4_k_=u_63jr-!C_c;uc=^hx7vyvMElJEb1cGTENBpXlJ-w= zq19=yILiv(@&X1pwkRMKhHrxyAq~_7WV}89>P~;=tI$>$D={^9P(!B-Gy}^*`<}+~ zNSiG-L6(SB-3XrW5$oxsWqm4Bpf7z~xEX_1R7eOT%wExV1xIW+idvVF$JjAC>M*Rc zKRS-1VeQ32ld+~_aAdU)e~?-0dEY$exVOiH=oT+4&J%WL%E`zPcsc&CJE>_1hh5w* z*eyvY!16{eK7hll;^8d`6jRXB>N_PuNrGFBfrYG$;ssL4MllyH0#gje3Jc5d^&?u6 z6*R{+ln%u3ddY}i3*99q9G%tVZVgH22fM@YL9mYJUoqywY++_|A4q3_D#-(q|1{l< z6Ejf-ghL0+cD#JVi!;ihC}BH89s@2PB!(oxF^|uF+OtN{NWF>h~emj zXfd(p_!aae_}U#XsdGeh`*3dZM68oo{!g%)`l(Q3H(NNgMPsL3$LmVG8^L+a-$GG`5HjG+Td7hr)12&tQ@H?q5^AU3pon(2>9svMmUi zONT>noV+k14|0SDfcTFO8K5CH(DOuv-_(+X7YfKOVMS&Td|V{%!?8VW@N($g%^d$< zKT&E3fjx8xC5b}v()}sHLv+dCnpM(VZgaYXZ(&ul2il@?ZN?A zdqfysrOYA183pOyO)$6Ppg?bG1r69?yHBLZ%rUt@{L`LCvXB}Q4;&w2&tknNzwxL_YHf6RHeddwCo%SgS9 zV6Q5;jVWf2chQZRe~Evf@wxlq!%4Ue*+Ng55v8dKL;P*v;dy{W*kD0Bh>{QuAb61y zxA1^$*OmR^@raKZ@Dkdx$kwuk3YVIf?XLE$F3t>IMmXAA4GE_+JZ5nlp zF_`nO$TC3#*X((^{)ZYQ+G!MLdS_X@17M85p;OBXLgUeJd+HVh{k-m?7w znq_6ZUPt~v3pSA*&t!5UC_thH6EFnNe=H#2gN9h@hfHsof*`X!w3v8hWGeS-&%{^< zWVmW)X&r?Bd^QQwU@Z`;Et!Nd{Q)1<>C4|~HTH{02AuyUNn?gxPu+9Dj^5d|-pIbr zbXMy0wXGWuZ2kpmmROCa=jA3-n_%8e*|HV}?mifof)*33Zx01(9t{<46@PV`Gy0%r z;mxtFODRSpL{ik@*MrJ=!8sUbVO+cI;Z=nZ!1FY{S=uYy$ZrEM+5s&tlT;$;NfsCg zfk;OcK9m!aW1@iZNUvuL-wZRL+iw_t1*G2GVY_J||1Ne#Le3_%S4LGZ*J(zgX>^`0ej`q&F)y$rws^8X{`(l; zR@{##@^#_;qWYkbB@T^@pA9yDB196fo$K>>iECpYgI1^7sV6U-I}&*R-gf8_L9=ns za7@=1QS!Hse(?U*EfV>Sd|!zO-xo3n-V&$98r#?^Dy8P)3;%*&f+9O8%GLXQVgJO zEkIZ10S5Dl2l5d?w4{B(Qi0P57=&t<1#~nyaD==P-Qi(U0j8Mi9$Jn{s$@UiBPnXc z8UQ5a1~_$4FVUY>axEw|g&xuG03+pKSBg=`J3FGg7U9!Fg|CS))$FHJ(FgkqtmJ$l zXmryzo9&k*{$f3g93eoKyial$(e~z!$HS{9H_wWe#_Dm#?$N=@09paC2sf;lr2%Fa zJj)UW`52CD)wL?e`G}d+N$$;HvqdP?z~`mdi6J(gKDUFw;+8<=QJc|LKI5 zj}+y zgKUu~wJ#Lt1#0q(^ov&Bb7x{_pxt3*GGsA_a)W^^X zD}rc^9neNGd&W}N-cI!y@EABgdXgO;Mx6CGWOtF(Dj%lz?p^Ol1)8D3yNu1>_MS%Z z=FlmkjOq$h2X5yY}$ML-g2ya?SeG`4+WMD1ofJ5ej0pzwNHruI>wn z2P!3c0Kqv*kmn~r$W*UZHxXNy>J~a*B>}9rBU=HZK3+p?vcAQypI>Yd(;UDHwfA?V z6#B=}3EcVA;(T?#!7mS)Uwxi-WQM;A%-vp+D!K?672r8FZ#yJ~jTYgiA}CJK)bZw_ z(9=_B9RaG$dwRcl+e+WBN_9*|(;!bmP|PX{g72XC6+YK3-~@}&g0;DZ!=8v`gnZ&% zh5qj`n;R70+n&12b$<&l2wH(Wiuqh;muH|7ULi-YxJ|bNdcnB255GbPJ0a5o4F}EC z$z>=)H`8;i!%bt=Ku0M3RA&)1s8UFkHJaehtp+;mE3DPJU~jXB_xdl`W-j62nrCrw z;PUf|+`zRZyZe;@4vlQ;&y36AldE!Z(lAs7QXk_kD0mM~7QYuAdx3{daq4<>`+ne=dT;Yp)N6l34%JMF#K`R=IQ+BBZ zbITA$*ih4}%e!cA*}jKDe<%YKtjQ7uU$zaugWM?}bsV{`KJwV?c^M>a9g*BLuj!6@ zgC|WBY)e~cnPl7fKrK;!Sr80If)?&Er}7GKcG8JbM9Iqvp zKpb-X$LeSj{)Ja=*7%_>XLt|QHvi!Q99&J*V4}Z`>*RO_mWjLjnfcG!se8-hw>FIL z$x&1HlF2tmy>X2Xe92bX=lOUJ(m%NT(Zord%w_OiG7=k`*s!EYuM|0RxkS(~2n0R0 zurWq{t+sVa)!BY}pyu904c>b+cH_cd>hsi|X`P%BVfR}saSmj87*`EW&(Z79&pnwh zd~>y{rqTCDIv4Mi;METqS2mivpKSUW-J1I(^H=H<$qZ-0bRhLvrnP#RjrP26AFGVs zHzDG94x9v>$&~Bcd&&x|`VOvk4Ue{D4H_hi=fBtyh`E0L$N)}#`mCnrfwtrWev9KO zn;YxV2Rk{sc^`YHmUemWMM5Vh|JT>1={uJuI%e90(r3GJ zW>&fWO8RFZhgy4~CEIMh*v#~$!(a(c#Pa;$#_C8>95RanTjRW`}@8*BQev!&RbjW@fnvyaYLdBi6q{mN!X&) zJ$UGvqz}US;i#k8XL&n6MO&1k!MgbFftvT-UzxE3%PVmQPO+TFxG=N$I&)vy{!?OV z%iDX~#=K4(Bko<>!OB1x3KSS#P->@jI+EQ6D#DP@*Df_uln~~{d+OM z9{caNaa?^!?VD3r5vvNZ-r#0XoExr1ssz2@$$-qp^5yx3WK?yZsF~XF+T_&{%vOdU z60*$n;GH#jr3>~jN2~(Y{`;5643uCu1Eb3C*G~Z;fyXIEA5!>z_>C-Af#0GN%G|Eg zi)n)27a#atna3?NS-$Y1VBd~L3AmXPnm6n3A9k2)i_V7Ysg=^pyOgof^kR*GQ!yH6 zem;$bj8q?5U4B>Cy~bcEH_N;Z_#aAShoVBBy5Eu%HDtPXM;xxFRy$`OH7P^i0U`FXl@D^Mh8DBdA zjs3c1`+B-5u7Q;Ji+%o%4<8@tdTN`cdM_WeO!oktwMG7;yq^Rmzjb65t*Wh4&ciN8@|n=X^RS+s!0gn>Y}`*hLuDxKlHGRPi+n3Z z`F1%Z*8OwD9-)FG)O_e+JIQ3bPepc1ygaq<;jzn@fY*tX^gLdB%(hd^i>xqHOIELT z@n3%(6%t!sR2qu&!Lj}KdVFOSE|l!gAqQ)yi~K6^L4*tFZz=?pb*oeXunD}54D5iP z^otuHlJ^ZDvlT+^SLYf}jM`P`qa1AxB%4OacpOy;F7U0T_5W6cZOet)w?6W|4Hk>g zhd~H2RVKkqi_k9uB!%TB#kflf_4tNfu&pN`y=s~gV~5eD3suaY>s$GI+FSQWM7w-` zW52!naJX5twxi&BeFJSNNqtu)7QhZFKIWVC{!Z{tau&lTVrkQL&k<4;uwKs+v2k9MHmlY9uWuc8vl;s4TnE;#!Nzi{#NOOP0*oU z>%4azi6>LbeuHlL23*Tczh3;l=fq$ndsKJ<#V=6l)|H${QwubHa^^T7lDlNZ=|cj@ zww7|-SrYesbwh>zWG1uZjF6OQVp(!dq=6ua*p5Mtx*KST8g7%4g&7i-Eg-l#ZdG}oOy4Co?1 zv;1%%KRs*TLv42UD_{L41bU!U+0w6{U>iOI7W!66!;c@rGR#eNXApHsNuA=CW;ZoB zVRq=Z4D_h=0PT1qFi?gJYgQ9cIpzMHqVSnFv=;nunHME-1xh3 zVqF<7=h0>~V44W@xA$0NnwZmxIMGy7yz%ea4bx8x1CM#W|4 zjD;N8k=3W0t3va~WG}lI8#>CCZ*zAl7CO{y0bCl%x!lSLMDuV%YIy#N~W zJr(0mq4IIl)#2Cz%UDP;gS_GItlwGROd;&D{l!#u63@Xh(z|$CPbi(|Ra~uX{29q%Rb7(^?+?$t7p^(1*$@nWwlCGANtsS@b`^OuImO9?` zRA{RAnON~{z}t^{Kf?6`WMTt7nf=>78taxG2R)cC^agI38|*UoZ%Ozt+>YR<0FZUh zA=7))9_n!^9cj2;0T+Q24 zXnSqhm1q1Rasp9V0^}{^M_ry)Uq3yNE4>a?9=*fii~UX+bXGgXIP_5k98w$|Xo@GB zBAFy9dexU-w)>^rQP^5gXezcbAiWbMNaImysQ(L-EXki+jzjgN-}4!pA|!=X9$=tI zqN|l`(Eh0Ih;T2EJ?jr?-)B=#J~Hu2o%BA1TKdb6K4VPg>0bii7>hRQG}fbe#yg&0 zHK)pc#M|PWV{(~0;6rvQCDj5tcOPs%cyMaM-2O{(-kR-Z|K?h7)=u3-&hSOg%5dZ4 zEd#|j3%^(9qa*c+0|9W_GEn3QrC4gFc1v#&xEA_ZPz!6nBr(yn1hl(a^z(QSqDF1zn$g_hploVf(1$ho;-!-k<+TpAUvHrDRH2A*4&>GGe)KGe z^oAh0(A30DudAgSqvXAQDG5K3bz;#lz>X=lZyJqO)(2^8jua19P8+&Dj?|~OJ<6>G z)``$POT)9g3&^|8=Jqr-fLk6HZuNutF6{@6`6U@oqomel=YRx`aPKQdfh*7+HD!IU zQPgwTddAbu|MYf%AtEuRZcq};BrG3;_Z2E8P$FraJ7vQjelMjhRgzOdgKS=&8E3V5FuzBgD)LluhkNQA%oW((}G~r?U#rZKb+VwR%o3&GV z%y84~6c8MCZ^QX4aT+m>Y6A51Lxp7tulO=FOnY=twphl&aJTBoJ~llSD$w2j_2(p9 z-`MLHtk~Ve$a(^|(_)tWuIb-0$@NlYx6mQ_DE{0ydVMGNzO1(8`=)lDMy@Zn9+|uf>0ZM|O>U7Z6OW)@9)x$SEZF?Ldsa0OFq8@`1%MU~BbDFHU1_93>nDuCgPA2kzMsZ*edI)Tip znLb{!CQWAafHBi!D~G^Gk;7f*owY6lplxT+R}_SWoPOC+6C7+@b+It)^P^+(B&aq9 z31-E8#U36%TJ+dZ{kB*A&(57;CSj$pnlpMn z!xbBS2cCcGEZ>bBWHOF!Hje(l=(g=Hu(~=K@l>%Nn)SW?2v$7fO*Sr*;o`M#$)xve z(SERcc$U|2q3`@z#sV=pneOOaDg1)Kt^5!DmEO5lI`_W$0q@I8} z9>`JcpStnf8A79=UZW2s`*YOGv+Rdaqy@Ic*DJmUIHITCcv7aq=@YMGUwNUU{kycR z<>|BiRPXl?K04TQJOy!xVJH|4_+*|YXKah$$9HJvumh84`Q0-pR_+&g8#Ls}9YLa}pxp9g3Y*W(qHzOu3%SU&Kp}uC(GqQHJ{=qEa zuJ`!v4$D>ZxR@P)kME2WFlpR=X)JM4uv*9BJcWB5$Ws%i*5QsDjy%`vr%YQBG6dbn`o;*1{W?C1qpi;G^!;OffS6Wiv{V+ihok?eT=PtT2i_}#0a zBGt7d9HwgnkL^`7lx>O#(Cz*&%=Ulnp%wNg11CxKkk~nws3aTx-xsvURXyl>cPhuP zsrGJ9s0up_0l3HAzzK)9$oT458^#CjT?n9tyCcZlV0QQOX7_ zsC%b1PSG*344>4tzf3RUU>QCQ6dC~_RUQil$M{N6_z6b#SaR5`5vja;@o8Z5T5vIS6%NJMV-r_yt8n}pi zpyFa0=^KFtC#SNSf`Nw+ItFTM>EbB&`-+JE)2Lq^;nMW-(3NU zAJc8E--TrwaJ1wf!TW~H5b+2pA3Oh{MBSnIC3b*;^-B-DQwPU*EW!kg(f3MC0n(C>i0S*|%X~!pXN#%SnjS0@chc;3%*S zCa0|5H^oKD;Vp!Le0hFB`IwKxECO2aKWPc zeZd>^8BN|@X0#Qgzz^C$vG@T5Sb{Wb_|F|9hus5JwP{{^& zx}n0JK7X1w`l8+jqK1mtAD8^DO7MDk`BKJ#OI{-=df9-D)1r!f=Gtq3jtXeh;>3S> z2GEYfycCP8KrqP$91;cp_RZMd99bg^ag-&Y)p$ z*@U6+pC+EmonQ25AFGRsz+TPBRZdr+qaj}cWjKe1K-ri8`i~})2AJpk~4Lf=Htuki?yonoKYKZ{PruNXOm7+eItl*zdY1$0bGBPvq^l2rqz z>`Ti@33gLcZ0^)G!Aj+gwVF*6GD;@Xb5gvj-dFqqD=hMvI#U7tb!@)XhTaE!vc>}R zd3)#QpdskqxXtzc%|zzS<$BcQ5&^fUvvWMKdk=Af=&bzF4`fk^aN{{3nxt-Qj%fuS z>x;5*(p@VAT5c+{Yp@Ed=>a7HF^?hT4;Je#aI3ps^N~y2SAS`wtm?SBJM%9k(Wyb< z?b|YTneG8!BPsBw5THK%V_l`eI+e<2Mz7_~4x4xJ9Ex$(Kodsd^R${8pnfRG8j%h_ zWx*Bmh(g6|Bkxi<09+LEG|s$1a2z|?rL92`5BSr`pe=6z37J~)esK1LE;R2`rZ{49q>jUp9g~7$@;6nQIz*mk0D0lDbA93`rmN=P{V*` zGa^$uta+0k?@$aptcsr@a(7$%8)LD>J>;%$CM}P0k*9)b>;Lfz{!77D!F`zB=U2m% z3jlTV(O$W!qr`9U|4D7)V{k6Z&#tE#RF0{+uvI;v20^b4lNSUuIV9Wl=uqKGWnNc@_vWW7!&+R`@udw^Lk3?zhlY zN&&o5A!hqZJg;&Nbm;>8}yXl$x_vOhfhn82H1@}ur_T@TUrB-}{sppLBpz1W>F-z2LTXp6=Foo22d5`EO%iAX@(#r5d z&!^U7Y#N(StEB2A_5moJcb}pS`i#&nRs%LYmus=E8Y8u2RQ%ica+bMJ&F>;(+4K`b zD#;uZ9?mpRCFGuv7)*SS%h5YLk>ej+v$5)2%uunc@8MXop-FnLRcC_QmZmf3(>=92 z$Ovxr;kqvIW8pevE6Zl_rjV%|n1F~xnL6AKvFtdTnCF;|D^2O=jlqb>MDK@2?yPy< z4~Yy;j9r&zhW`@e<%{BDE_|+ZuI0L$V8OJxl0r<(98tTmrdd%gi7IIyl&Scjr+OY$ z42M>MD_KznX)jdDtCdgh z?ZH~PP74Li?s_FR#hq3po^Mg}wYhsD@3{vUhSIb*7Ul&d4PC~yuD?);-cB+P??d}b zp`Z7ES|OgZuer6A5_U#X6gPKa$LjUtTEWj|GNUCRF#hNCr{PL4t9@4D($mrWZCu^e zSJo(*1mPBT%#Q^b1qGLn!9U=tf%=f0@zd7KaVs6MFJ3o|&7UO08}<*@$B(-_r4XTU z<0bMo@C1eSh_GLICuqT&!@fZXO8{%;*55Th)AZ?c7?W~}-&VSup>wS9GSKh!2KU`$ z9ov&UkL}&lJXK?hfdV=*kT8y@R zcw#h^3?@sKOf19`>b1eF0b)nXHL@?cPZ;jasn+dy{c=h!@lUW$IF*^jAWZv>x9Bbb z;4RClk|78DOPp3~w;C(Mo9x!Zj~f~T44?cw9tgz8mg_u*DHz^EDITZZL`0jG+yqS+ z;hbef)Px^(WWFwu?Z!bFo>Yc3+NFTl=0`dlsCnis>&Us_#w|rK81j$s`~O_(PfGxX>LutBS5N(tgYXwwPC#}rrE2F7IzJK4uRe2w zXbVUs@nSSXa$j`u2`BIoqHot`#>@W=)HeJZs3pY6|1&sq_BIv9@#DiATPSR<;nO5w zp*DhE;I>cy67gWkQG)OvRjO*wZ2_?uvwZT`$KgWxr7LZyShVm^e758ulgjq}`G7ztt}V*?s7O_}aO>Op@IJfDkMl=a{}(y|a6WD(lVmV182p#K##M z&Ez>$_?+#PELKS|vF{Snt%0g5Z7+Z%noi)Q*4KK`;RI#eC?$^aXD!mO6C%PUD=rJp zpVD2yfFz^m7c8STUcH}oE*|VKQp!NaXb3rIQbW+P(*kPGsQv}Yq}A$g-)ctgaB=ze z0k?gylVW5MAU<_&7g7SHQtkV^L%u(2Oky3bA%{4RJAFLjpO{J`xOTTLtppz7xsq_s zAF%J?Zem0zh#HKL6!l|jy6&dXo-osI|1}F{yk#L9=)lbshTn7n;b3MVuaR;9Q8IdV z7Hy0y%3YTRRJP#Q-g?8c(%J#w;CyMZBh||8a?=G?HPtK`Jhi8A+v)A+q`-zBhB9LD zF8D<>Uh(G#)m}eX5cmvz>s$EUUidAlr*%EG5Ry3A2ls;|isS)>uh|O0A%_PQGjIG^ zJvgii_GY~uZOIk_?dEgzz?#;WNeP^}%8fiAo87x_Woo53)hGW4S0q|vm zDuhuK)=)XHY>z?#Ba2eWo}B`K&VW4WcHr$d8#h529S>KSG@qm@o~TX1CC1r4JmI5v z%)(A=52X!#a@=OFdr~$X%^cMG1m9BsdK7n_!o>b^GjBF=r>G$Jwt%le><|8$f>6u9 z@z?KF{{_&qhOx-o7%)?27O>|0BMrnaVPqK}$hEe(+~WX5`PWX_ZqZ8WGtxt8b)B|= znFfY*7v=m_YV7$7kWTt1Kss5ayYl)@Rt=m8fFZW;Z;Gp zIejgg&>RT}}L~2(V`vW2wtQNXu*CUijS_A+Q4H zUuPfqL9A2uL+@KD$XsuUy7EGJOoTE~N*(B86M%jCt}&6%7Oo$*dsS7UuXcPkgT23U z{m^k$=uE<+|5)z^GziUp)U-gl6*F=4Bp{DX06CHYFh9=+sZyMUpB81zwUKK8g3P_} zxc?hSa+D1I7|BHdOGfsjZS02TlF&u5GKw$juRzyH@XVXyAG| zS3CDaj_us~;rsve!}2tN5Vw!iU4T1e5*#L}H2`;-L8nyO*DeLr9XpYEPV;UzMIw8< zkVVqaqHo&-N_;ING2?kLmu}15poEd;l|dZ_kX^$m9;O>iMrfR<>- zB=NjU@vRgSUvK{brG?k546Kt(!E6F?^+ihMb+rmu%KSL(hon*ODfo8$g;fj7mgmt8Kw0qC@ZjIy!+yFZ zXgzB-iEdz8T==f8dlg~<@?ED6KO$RR#qzF7^?al}-VGWlf z?`|FBcot`pRJfTPptYb*KOu4r(3>R5G8YmE1ODN~L3$h$VNm%S5uyoRYP*^kNe>-grhW6p8A`AxY`AJh@@_CAO@u{$cp=!+Uo1n-1LE- zw#XN|xIbYRi8gkWyc0;3&}jO?eBj$^!CnrI>d%)Mw*o6z75u^*B+>c0*pgpaSs_rI zBW8O57ea+%FwsSvJ&*x1oVhnHLS+P9f04Cjz%zGvQ8@(#ZEC-8b>>H`ky8`QQ5+3% z214Eq1PA5V;u9dkPjZ_s4ivh7S4@@kEn?rLM^6!&Z}waj-egszRmKh%?u~mH+b4}F z6(LUh?+5xQi?lZ#635tr&G%lX2aP!L5@;X2P{7;uZ@Toq>Cz}6{XfU{W<9UZ z1Wj6s0OETD98AYozzRY4iaAh)X}3yDsl-5#XkjXVtG; z3J8>*bEb}z+qn_X7NzHPqL^>q$@hP#?i*!@qcikGHIQIZh`cU7UI7j7I{>HzECLr3 z^}q(Bx$FfnG)IchSFdo&mhV?3ko2oax&8>R$hinCclP{qpzZoW_lKq5k17=5Rr^^?j}aflw!aSoUKxUqRe(2<1K1tt zF)YIi&5^q>IJ60#4{Um7MWFpxpE!$*q)=SY+oJIgHfBh6rrU25kah(3B3}NSL5?(D zdUcfjk-?K&E?+7?{q6zpj|$)!4?VmW6Ax-!Lont%i}cplu|X40o()yaw<3hQ3E-Kk z-s>~S5dyg^LUSq=;HVF41+U($0)4ITgh}edmk}ZQkTjd?|HKKDp!Ud8CqHlxCR9 z>^bqMXed4&;Nb>XFG7`@hRG)=>5j>R%e|A`1>r78H*(;8`!{0&A9Nn5yKL7#3%+X} z9j%8A1_?ATHviAtESbn1TQo0sOXD;24c1?L-)=L>W}YE|1+3X5pN3kfkJtn5HU9WW zXHEx{!*7CevXs_wB(ox~>qNM6B4_q#N6I*m$Q)|#eSYCQGN(uK0@U8NSUwABts%!y zg{0pGXqX;#TsPeRa|i{ii8Tc6dYMZPs&RQAV1TgDiR0CzA?|W7wXWX_l>0y%sOUTzRQ#i( zaAd_Zr5(_^(iJNXHVot_&uWB4DZlCEUEx!b>!W+Vio84~cMrX2gH;40=YLSD(#vGD zWjSC5Q;-T8QOH3he0?+{U$862=hM0IXfgD|;NNoM`*mUYKQ?-B2Mz)S{P!RG&g_rI zGt7eme1_-2Z8j(n++3RKRhmC@AjkBi#5K;@8~br?jD{#6Aaw*}P`dbQg4B5VSnt(Q>>?{MvKmF9Y1vY+&TIx}0`5!XQ&vNazzFhZmn% zh8i0Ov`4=S&EKTp-yi*hEA;GRiEX*Vn9|XeiRJ>Lj^XNX=668$-dN#ALCFB} zG9`$p>E0LNT90Tm57eHfAHNf|jb;#oR(MZC56`I6ZDdnX(2529{jA3u8bk3tLNu>X z2^N~Tsex-{xA0_wPbF{Hi~Y#g5pHcNkUyqJS#m&h|MdY`8kU#?T)XE^n|aUAZ1w{fD!M ze(h*}*4-F#Wc*=(6$00&7|A*16)2S;y-bXm{30%rD->-H&_Hod*KAgUF%bWq=xqJ1 zQwp(9!P6%sBt+SEzT5J00as5YU+Rg7c9g2fpVEV&pV%}XnCxqQz!K+Avijm>tn})`l{?OV z*(JoQ!Q)p{-y80sYS0Ia=fDl{8&X0gFJa+62r`qBb?{Lf37lHO!Y{#OKMqKr9NC{l z_HE@EM4=tvD??4oO4VQsAK%a#LIz=PW0{43syeWLEbiz1+SSJoCTRBWZ-6EULZAV{ z=Kb=b-Of@pNrno?7WiI#PX8ZsSO;41Yq$?Ib23vDI67%o$le$tWC2{Ha3%+IvS`pv zdn;&P4tNVthWTh5wPPy6+o!DI=^C}*3PV;0hDqgyC_O2dqLudYg z=mMQ~zB4cn9#VCXlV11!@|EK2AgyyUE;h4+PMF#W+$i)jYpKcI(8e#W{nPdXk5G6D zJaPI_!WxGfKXYjGN&>^?h|?s_ACNPmI^;a-fekV*;E7D2G#Ss4vd~Y30dInbrV2WdH(wL7Ib?~^7{gp zJdw}t4&MWMgw?!EuRA?`H!kFaygW@?5df|hZt1RmiL0$kxSY1)s943@GtHxy@^F$wzzW|iG!S~E6L6q;3NUD= hF`QIwRC%)Tzr427