From 6280958d6ebee427dc8c198c64b279970d23615b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Agust=C3=ADn=20Rodriguez?= Date: Mon, 14 Oct 2024 10:44:54 -0300 Subject: [PATCH] Add docs related to Starlight > Ethereum sync using BEEFY (#718) * start drawing diagrmP * add one more diagram * more changes * add docs for starlight > ethereum sync * udpate feedback * ethereum proof clarification * modify diagram --- .../starlight_ethereum_beefy_sync.drawio.png | Bin 0 -> 161004 bytes .../docs/bridge/solo-chain-to-ethereum.md | 73 ++++++++++++++++++ 2 files changed, 73 insertions(+) create mode 100644 solo-chains/docs/bridge/images/starlight_ethereum_beefy_sync.drawio.png create mode 100644 solo-chains/docs/bridge/solo-chain-to-ethereum.md diff --git a/solo-chains/docs/bridge/images/starlight_ethereum_beefy_sync.drawio.png b/solo-chains/docs/bridge/images/starlight_ethereum_beefy_sync.drawio.png new file mode 100644 index 0000000000000000000000000000000000000000..6c3583f78c44617510a43fdf8a413441e6820d29 GIT binary patch literal 161004 zcmeEv2_Tef+kcB{keVSWA;wxt#y*l5W8as^o_(JggQP_%GzcjoYqY5>+4mOvE~!Y8 zU1dp>6!O0xOil5=r}z7xbKY~l@0>F<^UU+y&wbz5{=2U05ul}^NJqm=vtq>xI%OrS z&WaUO0pKSEwiXK?$0pM9sx_fVZ*)g0qc*jisss7+pbB zSX@9@3>@ZDRnk*e;}((w@0}f-Y`{N?Hdan}=n^@5BHjfYQ9ucy1q7l0!9iUMTMMEC z#SqX;58Dvk9Pqe>#R!QAhzp>^7uMirW#MeIa2&O8#1c=mwjnMY0s{(h3(Ip0%7Q_l zm$2O8Hh>Qf)(a;ck(W?V78P-F!HF8`DB0<&8mXu(4281*)0^KwEwER+!AyP}jXb8y z5k;Z}!CoD2J-6KFwpMDpDiXAK?DbvR01%KXH^X&w&N zHg1cfEnMl2$2+?_5Pm#pg~#D+tQKjxIHCoSi1+;QG+Vs$;+hxFA%JE5FgkQVcgdDQ zM-3dT-2pQ|+=LPn6g3v0aR!T?Livapfl z?IhyyU_1({QGQK6$>oTgjWfiO(5unLjbp@)VR<+_nEE1r-z|1O*{- z{}~j7_8Hpk{}tpD`n?74R|HN_5RLxR$b}O6S>S}1lQ$GfY>}>%0w*lID20C=fkQ3o zWeN>xV+{<{qQb-z-R<#qc$|f^{P&|kEmG>x@8_uD@j!vjYfeWScXzKvYir@*jtA02 zp;v8=IJh5NJQI3v2;K_u+&;%qT*Gk?SC zx`7RLU*sJTh}sKd{jru*Ncd;LMhOcq+?c|SqQHFSd4N)^Q9%35AN=c(YH{Wiq*|CE zB|Ypd2oR@Pc{w`(kBBG?Hu^URW4R#rYL;aG$kM{f$!=a7XnMGVVW9CKzsYUE%|<~I zy>R0{mUt5ACBze1^du;VM|O88X-8Jme;v{-nu!0qr2E@aZZR&Spq##}nle^aPg7@! z^nsWFSP)8^XyNQ&2Zi5OAU=YEYYZeZ4j@pJUHrnu!P**%VlYG-AYT@i^AQcC9tn7W zBh0(-q8M&bEI0yLT(S&;k3YsJi-F5BuGOC*s%Y^gqAIpj&w^-ciJBGu%W2s~fP{kJ zOXv(@^8dwJR_Jdlt4rg|e`NJr^iM_?mddKo-&R(aMy42fc?HA2tGg;9xwt&@3dJb=+5fW^RYdG( zRuEmv2|{F?iINk@-0|0Oeo;&H@)APZ;H+gK;2rXnoGskk9ISwgLjf-Qh)w`+Y5_KY z;*$9fzXltSA&PmlVG*L3A7WX6V)uNg16`wKLv#Qj?RU&!5;=c{6?rm z4xfG*rT7&Do%w6fI%=r}{0oT|SD zS&NSRKa#bW2>M5|AZ_xiNvoyK%RjNiGO>gRIWGxGHBdd`OTCo8N7xUU56Ik5c&lyz zyD=wNcsb)Otj#TO*5+=&OEEu;cemmDn|P`escy*7{yDg<*b*a;S_V--{Y}{77eM#_ zp6~jb>9s%BcU|0@e=O`j78Ynv^6OVEtk6=V^?#MdT?ii+t;(NVFoYsUI27UE-$dh* z@e2w=%q=A5JfBzr3P;QidPhEDNj{*fC#$2Ttf-_1_;5G)(bZJb1pmk>$tr7*PX?jd zxAQ5E*;9=A5B#*?#-T*Se{$@W$(sw2Q{oI=lhV*)`9O|1M9vXj$(9xl$Z zR_;)}=(lvPnuVo}vld9tE*6$r;@#cxE)*w_^S$m+F%>1SiC?I(ko#7N{2gEXW6LXq zmLwa*#FhqcWPFfP#3dF(B{F*U7pO2@L{TYZ^v@`GBcsrZZaDOD9)|`Lo(HAB<6b`$ zul<<02i3(23S!_taMc3K{Vuq&@UOyO!hd*S+rNi8zxj>x;0#CtSa<=$P3En|G6`$v&T#9}P2`+V!{wA>)np{Nvz18MVu&aNLeO%0({U&&|(6jYx zN|+)OC?xpHDOJdt{C4vdIOlim%2}}cKLFn3=!XCd@OM{A%+&+xE5q30aqhbp3J{@! zaFiGUWOboPeDQnm?uXdijbMRWcA%w~fKDrCs1FZx?%_f1p8#69z{CL1?gst^$UFEA zTJ<1>4&J%j+qgjg;Gyrp4>)H59soPEaL*s-0nHma?Hdo1C;Xo-=o@$d@&Y#2a(EXP z2X`0X=ovV;<80jApviul$hUJTjx9{&$I1N%n*`S20&WAf9s-VmvMt~4w%oG8ZU8#| zc(>n&u;13kXK7<&>-Bvj7TQ&T330Ht0Pzt9v|QR);1*pvsFRflXo+{xC!e4THqye~ zgJ=WNDc{!eZFGub6btzYq4}{cY!tRI0|k}VODSQ>_jEEk9U z1zQwE{*yv?3nJ*){4Hm2!HxW5X@Hhk43-v?m||pahyv6QTU;5XA4di{$id2gKM)pK zTCR?nmr-X2pr{1g@SyYeCkgsLTVjV6Uy{6DuG(@rkdus2|8)pY?kuP9-^u!Oi9-El zgDCnhEIdj8vZo%F!2T)Y0OV!i%m)Pv%i2Ur)xMko1ZIk2g8%U50{$+%q-IT=j8stQ zB;n<(!e5U!$*|%wy!rplioy^pF5z^mdEZQnXmeNxcpMgZzJ&vjv!-O>W>3kJ6wLR{ z1^JOr|KZ66o?Kdzj9x}x3Pa?8wv5tH{`GiLd~ue41W$@A%acSKR}ULEcZebJE*cmI zcLfI<@K}+5@A&@1i9dwYi)F+j5zEyWjS^bd#r@8M9PC9s3|GNrrAGAOy8;xELYivat-W6=MsNOM61e>)NT zKY)cPpK1RL;p08lMJeuy0kB)T!yAV!&gnii2nuvOEube? z0s&nZ^jkcwE_={iS6&`#uBNG}Dyt+fOPR3vb{4qO(iv~%M43DJC+Jx==vk^Y$-oMQ zNfBPoWd8-j@1;2Pf;#)2r4yo1lfTds{O4#xvUR5P*vZHK90j>lSE0#~#UH02ms;#4 zH~sr6$fa!v|FGhM!$|pinR2?NtO(-X#oXne$%{+x`uAnVrDa(Ejv4=PAAgExe$M2g z1j#n?k7LN?#Ng+<{(Tv8xd#mVPVS>9dZMu_75r43d z3rgvGBdffglDv-m0d+D~2SD}jU;e`wg5;-^{Zg0fx9VF;#`x>CxuSm|AwiL1_@}%8 zq+I?62KXkk-Ip>!%EdOe@lb=u9fI~kfC4aj;Y*Dxt za+p6}ykLTsWZf4cg@q!-<^MFtq9_n7ez(8Dv>W_YHI(3wZ2^ne+@FK=<9 z{J}Qz-M;^AJW3pB{#){2<6HP*@dD5{4Z5qLzyH?Vh}{3&r%Gno?vCDmVNCM@ll}< z*!kg$(>RiS)iSR`)Ov+8adrJ%k8R;A5tJ`J8lR*4XDp^~P0#L}p19+3yDeeD>41RB z+*|DYy{@=ZanVPFq#oT&d7V!igUlw!eQuX;eG26h*{{5bm=tzwW-j_bj@pfx3E|08 zBC^n3Nbr^X^rp{-GhuXwa*UJ%tVF=VAKXk}7PdHznsIJ>6cxfcH!U1l>6IP8Fz0EO zHaPJ3eh6azit3mLCvCr0#dC)7;oT)=f7pSYd@Ff3picP4DFhRl&gyW;31W5;Pp}?7 zxMs~AhoDn1lFVH&{WW#w227N9_pwLF)XP43)7q3E7_PjlG>j{e&uAKR6-<$|W@P|2 zx_Q*>4+Kt4a}bfLHJC6$G3x({aknLBv`y2-Z} zdm0s-Wb!nVeem_pWMw`YBBQ$t0`5a2BZJglbI@8{o8nvf z3cER&?Kt<1-XBLDr7GotEAs_ThqTOq(=Zq?oYH1Y*|&*8Z+x`iusbqfn>M|WI|ETx z9Bk8jGxG+GA8tzIg&+1&!f1~=-QtAqa%Ba$CC#ZDy5Cm;P2?~YpWA)gU=-`#fqgl1 z)A#3ub#JI;48A{!pZNMU{p4(&bf5S5+_O~U$j|!*gZLG-8oCk04JUfV+fB;?i=CU(+nHby{b^ja`>Q$fx-km zv>YNgdswoG>yYIS!U7js1;geO6@qIe1bt)YW(N1$U=xd};&!!YY>pSWKSOkTZWC#9 z)}!5_^23mwTABaz(5Hxn5w=n*aXntUz_E)v=M$*5B5Vz>Mzo-Cx%*(1#`i<#$wFo5A+qr783U z{MZ5J8aPekv+8 zv8%HoskXG=Nx#SZR++=P`5AFjSOV#hFumcOfO!J-sRM#_R=c16PA#xFY?Ms2U{-di zs?yEq!^JdvY2O4o90ZfmW`{e5y-vUXRcKG~*y+zxy`c@a58P3^st{anahBCqtnJY1 zy2&`tP87dEnp$0fS; zI}hBpzHN|>OD`BL9BQxfp8aSb?DTBc^xWzV672mRH#HM*U#EIEW=%BijoF>shIFmJ zz^%GI^u$#6*&B{eZ{JY9$m0~;duF4wAdA6$?-N-gxi5Gcs zKQ#I3?gWm=$U*s=hh-K-EWLA0oqexIAyd9-fk^I*aaqa4RvO?=E=&$Q2PZYHRu8s*e) z*gJfv^Vqw6S;s#Uv-&R?x4Ratl^e)u5PK0dlJ`n_NXnf;lESyGG{GuIJTSSpU3yUd z)_X&b)VmS~_69wscT55F;oyWDg~2j>X=t+Sngq@`-$~6CN-vp=X2ef@+JRr?(4Nz3 z<|I%&hAE3Njg$1K&wJ(V6pDTQo@Pg02QdgeJ)EUGnK>ALEc#~r(OMc2uv@AmIg+S` z)Ob9pI>Y(7&_um(Q&h-YI3iBMHR(-z&Yjt!JPwh4pZhM}PzYw8Y$~qdxYR)?qZ=rm zXjEkh6r2Qm70n^%ALU2O6dlH?cq7hjdU7Q7(M9~R>5;sK`*XAJaw@Bt2`;?F?B`jI z4QCvVtr@A@h8H<8J(+Xz-gqs4!xh;x^|I?&t9u`0s}c1d&wEovjedG=$grj&OnHE+~e zwxiV_hFY6UPR@SRXE_GGNFDq1)WF=(BA~Lvg3v6_bQ#Et4ZNfS-`U!B{6DwT9>lpNZnTR^nok7xhD z&d%;=a{PV8WM%ARHD_pB0%?D~vVGO|lf`eI+`8!18!TR%e|YT%7JGlXZI=!n<)wGM zdh$cF;*0yelF<)h>gJdtBt1u+D`GL&q|3r~JXEwSYE`VBv5ZG!_ie7K@2k1!wpoNw zB7uOdmC%Pb!mT=H)~(-i{!?z{b6;T+3TclzdE4;O>x~c3h`%b^xL@kwnw3=V*NaI6 z*%xc);a*DehQaI(1a00u>=i>2xW_ts4qA|M06G-5lIZwwW6`kBkeh=Gw~W+Ju4=M3BwJ*jCG#;?h0ICfn8J9 zXU!4Jvepr3o;30bpE9Y8%mu4mZDKla$9rVivysg}3|wsMqb!O?!-2Bs{P4QD>;iAN zLm8d8S_&r1wxPc0-96)hBcIqUS0w?JjAO$xVsc}ry0A&st+Y6V?~X>!Cn@l-YP9<6 zZ4V#%X?d}VB%J(O;E~?PZ_jSa?#SNJb$Dm?L#lO~=(K4+ZK4Z%J^2Ekw`v0hZgFt8 zac*{K_c(gInsa1s?&~yu@8m7ro9%9IIGK2xInJ_JUS=OgNWNy-D-lW%Z6;W7tn%8H z=-HT2*52vfqCRQy%pTAryZcaMaKs+nK@GQK{nsvP2&F_gUB)6qI8wr-`?z+xi@%j3 zJ9j=85K6sBm93cvGG#a2x4L%?%V(s@r9(f|Q>GsZ7%GDo5@ja%C_5Fa?}`o zA8mj4_8LP#^+v1&6Q-I$Qz{HD1{Z-7?B8IMbT!Zwg}QKMIBA?Q04`|~rJu>^H}n;( zaPrH6+j<#^P8yFS2BNIiuL^YX74079=%^n$y5o{kxra#<3$p3f&3MPuO1f=gyDo-S z4|Q^EYyx5!yXER9RFt{rOOLH(4e(3wqX(HfpRC)+7W+C#OK4p7{T55zOyOF7eZ3bb-=c>6F7T4c zhFwFDqNoyWwd>@=*Y6);>Ej7}CjHbNI47&-cfbH%s!1H`EGc57JKXMYQ)uILuzpQB zjqQ=<{)Eh%3Eu6ou9aH{fDYcxNnhamcm|R9kUL93kiBo0c^J&|yy|hav~8FQxK{P` ztfL>_mQNwBDjglB3U)6_3P(04YhP7MkUmjs!pzp^h&&g_)gf4B=sxyvT?{ZP5$H=) z%|)YycV@SFB~=D*i`3>qvea`A^4x5?H$7^6WB)kYzR5N#|Bv?oztl-hcAeSSe!m6Y zUL2BXefYDWN76Q@+1FP?+tHkQs0~d1Q5syBQ`iS`^_Q?Vej~}S z>X%PGjlO)*;WZdH;IocRkT?EF5@T?6(U~A#-5y6@w$cRn5x^0IObJv_t*KrCk}ELK zymP=rLE{m7aczvqSX$9&W~nL%5@D%FJUvno#Kc>gQ{2m*C~n~dlgalmansn@A>Bud zl&U}AvY{VGaWy+Zzix+Wj#F!H4?A+x^g!Q5O);y=b2}IsBQ>~6_xU=l|Fi|2aZs*9PsN1w zgKBKr9&(IyNGP9_6dzihimUYM;&FUZ9d)fKrhV&zUUp)Dr7D%@F}Il^PQv_vX^mhE zBzQf7(Hog0xnEWv6)<3655&X{ij|jt`OO zff<*wtsMCD>SUfxr$Y@=`^H<_&;Bvj=>wEvgHZI21Jko-&V$w%md<_Z$tyCmDL(^OeO}DdfrKmx^()snxCA_ zQI8*CKFyrQgQ0ev>x;e!8w^$b8u!+3m2BAE3N<7m(bhLPsebfoScHZT}wU;2N=Bk2)4iC3wqXYOFG#*=en%o1*+lSv=(|fz`Zel0o zoebQ*lcrJ}5TV0m8Q=Lx%v&>U^8nrK(Kpv4*9)+<1A7&lyy@&6T8p}fv%Dffgq=P2 zz0MWOq%hT_C_Bcf_PiBtl4|KV{K7@-B%JZ}LAQBlgH=L=MO7lQn2w3Q_t5t9_o+R% zJbeexh+R#~%fR7O5Qr6++tjL@V?apkR;c5l@7_`-I}nXcqM7}2y9SC6AssPB1-M`f zOG3^LefqPp*m}D>uZt>(7knSq7z8H%uP zqBhuo+uEwKo4!Ajp`_qgSI{Gr*SPiGMz^MYt-!il?q0dB`;PbQ7yT~R3D-t8Ui#~W zVjEJy_>F}T)fK*Na%F~ohvdz+8}ay57_)}VW_%uqd2wFKXkws&jyl!VwI4~ZUD3$h zZM!G`xZ($Sdn9rba?1%@h5(7Pv4#@2G8;G|J(^JqJP!Tt3X)mNgqW2KgBj$Azw}9W zx-?OPWgok|=c>{*6}$f8orNIWlF@_M0BP;;`cdL!Mdu4b&v{U>cj zg(~ykjfnRhyZiB(@e3m>b>RU@biE` z`&*k?&Yr(h+rRsz#uP)(s=*@vQ`o7kUii!aEN~w)y^eLs!XlkkuiKCv!i5=AN*lR} z(C|BWn!U$G!h97)T%Y4 zXU7fC-+sS)A4hH@W6j)hOSMqg+E8 zo>{#((m^KN3~-m;I7yQ9Iu3=^M{5a1*6lF9>HD|=L=u6gW2@+*qhZ*HQ*O5l-g9bk z9!DPRz0|w9ShfC59A}#Jh0jc1Bu2&KTS(=AZL++&>`5PCiNzb(bBiipwSs^{C~7PJ zE16eEdV>S*>cxip4k5dW{FTlzz&RpXH-7P+Xb@KiJ{^74qjgCWXSaJt@rj*Uovj$k z7GQO#!f9h#1qh~^%vwdw)+Lu70WR>(6Y8g!tRSa6)oLv9ESpMfLOm-g;Zq#scciA~ zfZ)UpnBNF=LTl3WXi<87B#qwF^6Rg$E@?h;7w;)g-Y?s*H@xPf|F(!6PxSj@ro+k~ zT}_YjpUA}N**ZVZw9!u+legBqx5K1>c>TmlqTk96*Uq8dl;Ylyz0MLseymDu3Af*S zpPi2EEeWo@bX*%locq{n{;F{QE$rK!W(pra-*F9+;iK+CA`RWDLLANxb{ZVnM@ovR z9zt4Pa42gyqJ>M+!s*hf0Qka$3bTjak2X?)6S5=MISDiGtBg@FUbadDn%juB=qlzMRs6eNII+n&N6@<{e%{xtlw=Kfjt3E;OHT9o^}<_W@*cws^$tnaCK_s7cm*VC1KA6^S}xUS8R zhVkD;>MDl`EIJ+&q_s2!eA02168hNXE%y(THobKvt3YZa@(HHHn!)tp}KQ(dY!FhepoExR)AGhuN^eq)ECn6JosdUJNfMBp5fi#&>p++2t6<7A&ci!+=i4F2)$TWHyzCX z>VagKkF;w*mw)$Kwsq^%Li;+~l6#SVNiwdKYW3c(Qhw>or-A z!12}n19XuSAys}c2qDG9Q_?5CTm1C{C*G52X>l@PXS}LVHZ? zKrk7S`1X1<;2s2w9j+dAs6JWSaIflS1L9`m%t@2>)$lHd#?Rrc`TaaQM|zSy0cR-z zfOgZH{+2Ef7W80OWSow1WDyoAUwwPB`+WC}=onAjBh%AI#65}Q?7RBENc5a`l5i*% zK;Q-tp7!T#?$1sd)4JY{#g4L%!x7T*6*Y%P+Eck75m+L4YxbYH$YT&jLdBo_`dKWT zPMnd$zLSt;&5LM#=u=^0;-Mg}K(pffp0i^jMq;CHut@qAH@DMwcnUb25#tIZ7BA2E zBRv6F`k6kfIHmGe)S8@U87$XNs6LHV!hUQxG5Ng8e+E@`TprnB0+Xp|oV^g(k`4l{DNk!1DW=Uxqwtd%r? zS-By@#OwE5J_h2E0}rfC1fJ&=ZNO|PI13MhH&mbSP40E^4eH*)SxzIqan^OWiGJT% zOt$iY6Vop`O63M^-VeSxq?CZH@HYG<*J>q-p+EMplGR z@}{@rv^KQjavw^S%a6Mzb2#>Fa1#)tl9{9(uaqQo$;7;FD*x0bVCKB}fLVHhkl^Q{0J zvW|UMm$R&rYoc{uwen&5hWLFiCh0=0BWYuAb@kJ0+x2Q>j_3v4d1=C<7Imn#TGW7J zJ;yM>t}-?tV!q8$q)~%eG|l>J*Ci_h z54_xGh2@$J@X|#4d@P};ON4_7vHhHD>-mYQ7jQu(LR?+%^-Tfrt<{NGr1b^N#i^sO zPJGI-Fo3OqY33g>StBw)n0#*cqCh)ry*SY3Zl&Pc)zb;e>Z=X2I-mAC+>)+V1*kHa0I<1cY$%%{kIY=4J# z8uKwLMNq!b=} z$ABy8F|%?x^~!RDe@hiVeRp4yIdcd*i<(41z5oV+M7XH|g$_@IPh4Oy=oKlmkna~U zs=Kt?MFSbX+7WDxG_}^Gv?3G2pjO_5T4fipk%P(Tk_rnkn|N7qYo?cE+VQkN4Je)E zQw;}d>+;yj~4Zmx#PtR^>*+b@cIBp323+ z#ulObCP~vRCKC)kkLe%Ci+JM9Mx%~bFs2jE*qPh*m1>;p;hiHQ&YH}9ZY+zx zc|Pm-CB-Tb2qK}v9Zz32odJvXPj0Q)CT zUYM6(qIFf+bO~IW@AH>60a$mP6=4N=hw0`a&JVM~);J9d{Xpx#8I0(J2 zVBqZU5X#q0w@%Wa-kevzASgoA*}^`t(wD;AA2LW&+**f{w?=;C zPMc!&L^OR8-H1gR-S?Jf2`ik>@7dD>(P;2!Ne275xJK}%>pm5YJ3^W3i{0uSeQHfy z^Y;Zpbgco9p5mp=eJaR)wBxj?;5`-z4$FaKY&2-vW=BUpaFQ%EGS>-HV~TNQsAfcz zPD+q#0pMc@$4Z+MLHyp8X60@tn&fav$TWXwVk9B3XWC}_f=wx|zGBG$F5n5P&hmf< z5Ez1)4`h70XbUhZt!|L0yFF$sv*P;_WT=qJS74(|uQtSnom(_W6=<{1uUVv^;LDrfu>|yi6M)Spst0dP3;MIDnL-2SE{+@$Tw!H;pT)-LDxcu(5Zk=9( z+#!2GhDQCmN<=-#x|KY$(b)G?AScn_TE!YkWFC2uC*HL0Q>@q5&x7irZ2Rg#7!)osdQQ0U z?kqmP+us%lz`&{18~9qPa$n$_Bo7bU1C&uR>wV?6NLsups9azd2U1P!y>^vy=b*?f zue3D^$q;1d$yg$UIQRp69wMh zO~%8xg8t1zUp@nnRxM)Zf#J_mxfPp@+vYyKX{j;+OSbK=jj*k`z&(lg?DV=hf`9wu z)}&{noEl~q2Hq1(C)V}=fX6T0-*vtead=!V1(IXbVWiJvQ_-SM^|5F-wHLWA4Irwj zf8euvqGCR+uc8DfPThUm=|_rhU77Hiw8cQXJmP}7;HQuvv5iraL!ZnQwb9uCf3AbF zRWmaaP1G4{n_v4fXb8&ruSbFCUP#pOiC}M4sCe97PqFRZQ;E+32s~0f4t)RJP);sj z>u$5+HW~~``emU<)=AG0cHbD;GixuuyEmPt*0u%5Rav*ixiL8iB}e7An(UV#!DKmy*WU~SXzT>y z2ppeQ_;%-u?WKB9QuNfy)hU7>K}I#^%mzt5RGf9#>v#9(a*>Zg0;^bGi8<|BZ3Mru zMc`-GIAF5c1F=&6FJR3>VTx?1Dz;1?4gdPbr++ zVgZ3hAnkprTHgJ2;#ubLwO*#uHAsYo{nI-JnlO{jHJ^J!_ooQc+@udkx#&jkx+{cl zd`|%(FKNHxlSD8rS)gATebspvGVqJrD07PHxPSEQtGQY8Quz;{#)7|FgPNdlPry_p zjHEqf9rF$g_fx_I-?0a_RIude$4n0UK7?c2-9&YPk{X_vw)5FGb(bzfnP!l4mA)sB zB(4ohX3hwRRWiu~L_a)be*C@PEu);0F#(xw_Q-`(NJPK~HXKEZZP8Cd2QJ+Vd(kR<2P$<)DQ;y9ox00~vLbkNS^| ze`wJ(UKi%XWOgLc;bmb?s{25dvdFPX=d2gFqRSxV84X0g<@|P->}{vkv`HNpT2F?P ziC%-(2*h+C^O%LXAf6~zMPFLEpU8objNHkqO`M8-=b^g}aI8Gw*kryfPXj3U^%N|e z!G}ezp%}*@o~ehSNmR|pBy|Kzo?U@y%;M>v~i>V6f@&F5YH@P+J^y=|a&m}#p zRk5$116R=kKo$FqEt~~sr3HsSJ~fB| zfb5G7WeqM%scp`8WqY>xrhuerw5Igua<-d1z+2k@w0vpC24=tSyN``uk%;;@)G7|L zA|+cz9rZ2~Tf-7e4)UBjo4+HOZ*IRA6{MYs$WG6E2Gtoe5bJQie0n20wm2R!y ztgX9PF$6jFSE#iT17^5D=|mAn$8}JrU>j+AID`7|(;0*e%$54aT#oZ)2X*2=*@mpR z&8km!9Id`|f5+f)v7TrBk>+MIZ=HeG>6da~<%2vLZs0s6`x2h!eBU3vO{*jfVJMDU z0>OPneWi(+2+J@dZ>q;UaiER`n{4R4&vt(ymxb~3J;q}QZdSa`LGy=ao&-Q^hoiuD zBXbWyIYY8?4rlTKwHNKyg?jwA%}NSOc3JG30l<#?d^HWwrX7KD;YD8ors=#D-^!Pv z-p^SOkePn4kp5$=Vdd^{9tV#}{=UOlWxvP{|MM-{zERDAmr^939$+M1YB74v4mRWn z0ytdhAD=jXH|1CCso=g)u|T6l?|S3M%*}&9C*@u*+)+0Ra(~glT(>1$RSXsLja82p z+2K07cQn6DUmd9#*4|D<+^wA;;nsuIlY~5;9U8t!Onzz9)oK)fB=!Y;fJ$N0lLA0= z2|#q3!9sgI3Zlb&UU^S9=yP+n2J!opJk>WgL?pZRR^}3$Bh9@X-afr!Cp|MJw@qad zXtx-U=!^kD6*K)ogIhWkA+vxwV*8GM5PWrfLY>`>`h~pPVcP54j-UguCY{vs+%=zc zyGp~0j$ALsu1O2mU|8N)48(SU+7Y3WW1n&ptx1^K=}+Q7RSShme@TXlo9aPX1CB>C z-npy^lCp_X+C5QQg>Bokl7j>at7()VdkzUGy4#mwIC-EU#*SIc`QS{gu6(qcm;1#$ zW4@LvFj3$QMETRzS-s9Z%1oVw2t2(hsCfOXzH1$AEH)&Zx_I=AzvlktdioX4}8W5>0nI3kQ;9Kl?j_xQsi zB(`fycFG3GH=_G6b;l?8t>q%J1P!X;9w88SZn}61n`HS|&zypOP{HNd7_jUZ{Zymt ztPg>w>kO$Lw;JxqHY+%Zur6#bjN^6Co_m5of#ik85o>qYg51J0Wo&06NXT7|-*>Ei zOvroiU4r+QTj&pu)^erGDizzQO&ch7=4>%{(HCRGCy~S@X68nU&N-Imv zsh<%S$m2chCd;evKFgYA;w7n8HGB_>6}S#?S4gVvonpTCU8-bG`99X$x(#KCHDcdW z^5KHRi`-N?4vZSJkToe)NzA!TFbjB+2b<5v%4LIO%~L2lZwpF%<2YU-8P8NCl!n*rcNh^a;jAy#6ehg>N{Z_<4bI{@mYVx#zH%uhZ}Jx0L3{Wjd4=4KyX- z-#$x?nbd1^c$RV*J$$z;C5Y4^=NkwRv17I%Z^c8LoS{tLWQ{xDm7iSoITr<+)bt%eV1~ZYTu*ear@7@b(#mbJo z`Jzf}>V7Cp9bwf=;0x>5%d$w0=J(cvu*yzD>V5e+;Zk`39s6DfsjwIB!)?uMnn`a# zO06yB{?{+L?kCs-POmnheZ~D&RrGLyp^Cg%p10g+Ppu2RB*;a{P!Tx+A;dKnJ}gM% zDvmLraNAih0>eQp`}J6^-rj;^$CN7xsrL>7$FhF)Myc~2DO?%Sz(=ZwN($u~b~^Gq z27J+xU2iCzq@ymJJsWt^K2l*dP(ysuAY`quyUq4JlD@*e%GZ70`*MbXx;^)^YZ5?w zXg&daffxvnb{}bfDmB%0CU@0ysPvFQ<)ZoP_Ie-;QitqM8i14pq_1zCM~u_tOAQsFem>*$94|soM8&S%-oB+_@PU z5h^5cwJE5myrG#OeFIe920(gGyyd2*IEcK2LZ!w@Xi((Y zQg{Xw(;S;*e7W zmru@3zj}5e`{CMc)~t4V8_kReM(7A>=7@xc{A_pky7!3MiClOi!mo z-X-=xD!6AdRqm1ZmN9ygrZFfh{|0Vs<{J<=Mnje$P>$=o!Xt;~BtNK3wLWzJSNrxn zJpLt?D_lVYQobXXoN}C>Kc-PiI5By-0O)im0=I6Io^~F>Bq5?JMW^EEdy9rMRiDAL z`G}rYlZAd$`;)W|MN|h;>j+%3e7vi84|lpiY+NIhl-dO57iJ_tr~hq!DO6u)CN#H| z%D-*}rXuce6lB5Fw*d?bTwH>eO6G<08SZ*FffBc-b}AE8_<35p$#gnP)#tDlYY+Cl5Ot&xgt;| zJf4?BH0=shhav@PS)aLLJ%lkeg`V$lYd5kvmo@Hmlv|Ii4@oe~gG&)MRAef1(NtyD zHZz8JJmLeAsiFbAy&A;OclG4Teb=^uIc9oY*z2*fjd>hqB*wlKwNLnTHIp1-6#*!m z6@o0Sgvpn2U^S4XReUzDQjPQSd+Hp_!Zao0T6PJuaIFh6KV5+~2XT|cZ6;utA3>?C zFWiq;d=uBxJYyi(isn|m6a~4{RF8o7AO^)8Uhhgi)yE$jb*OvXnr{9|GJrtMF#{D_ zIhzUGjFF-O!^+hF;gcNDm}tQuB3LDg_guQk*f=!=I}%(>MBxL?kE zd1lmCrK$)(C+r2FhLr?j)`Hrh1xQUxW!3$;uSFyAG>0UPLI!=?IEZBT=-$*|bp!B9 z6sQ4hVLNli{^990lXJfDPt#0aNS;!%j7xKsvV07AR&~$Kfi<~-ds%orRwsEnZ48&_ ze&@`wHN2p{F462hjj%*P;m&#;rzE6S7?9iB)pybh$i+QtIL3f{UUtcQ`78xs9b4^Y zniaPj=D|Oove#oA0v^1>ljJaUh2SZ?E^}9!5lZdN;JOijr8PN9p2M^GYF^^`#eJ(JtYr6y8 z0~M7z@%!000!4e@p*{Q7yrVYtzPDkkU91Iz4ujDoxIz0}L1xQl;3MK7ugncT0xAG) z`>MkRg2g-UCLz)|={1USkA8H73fE(tFCUlZ%DeF{@JZk1oriL`=^0m~`rfqPrvfuD z1?%?p0~ENM;#-4$P^vpZ7qU&%F&vZ);hjH!re@%2yDKz~=w>ql z_3ZPQ7YLnP%F19&oYWqmI-~(Y<@qCmw+dJCTt6I;0))Y4V)oN3V_qFlj#m$6>Lk`~ zfAvCx=q}cqL|TsIj13v7SbgUy2?J&^ksDT3mY-6-(r{eqd+Mjvf(A^1fJ~Mp?Tzkl zzC)kJp@I6#&zj3LFUV>Fm%XEVvLf)DKs;oR{iC5An}0Iv(btJ$ui%zV zpri>OA~mkml7~0nt1!+Ib}c&4ny~=#pfGpyhcoK{Nh)uEexLP$6(e#^IwtXNL28U0 z>Z0<)DT{!BW`RFe!r(pfm#3UZ0P)2@9aRj+n-5Tr1EfhbIr?aMA89MH+JH^5VwLgr zW_5og>rez0v!pzD=mk?vI6fZm8BAKeDuh)X6qu%PCPVV-ziFrnaps2FWy=YEua_7# zqmV?TK#2*zysu$-T6l3GN$_a|h;6n&u}$x7do{9vKBPY1y6)lHmDMi*5GtP4?Z3@v zC262M0RS|Q2iClOd_8FEzN6Wx0+lF|l&@biVU?);qX+9jE$?nql{U_`VJ6YFHomb3 z+_hl`RU}y-Fz6^>SbZwKjGLRje}(c{ARgGufF=3T<0~Pfj-&cIkucY$qTq;pApO80 zN#AG{Y46^V?2D(0}A;!Q>?AH8%C z>&mrmX(>!?TD3`ldz}72IZvKewZ5q(wt914LO0)f!PucBZ2;753I-dLl&Gf&NaD)F z?#kYHCuX`Mdn3^HctCXXIPZ zSMnrK**8)uY|+d1bO^;QOtyy9yJ zQN5KUQs9TV_n5|sW^ffSSwAeG-##4x8X&KcjVcxdy2je; zGHwE>Vp4>Pv$lqFYCVg@BS{}V{-$@~Q8y8`hX><4+k0XBa#~1-afh36wtm~GxJ~3> zGBfu8VsDJ95v4zf2aP-d$K}7;Z4PGZ+ZX5W@r9}3bSRRbi>5G5A9Je=t^A%%F}3+la7vSYH3 zIM!(cuw5M>JI)>`Oru0=>cg?_vIg2c#fPAH8CUp*#|^kb?cShd$kIsS_56^T zV99nnNTuEAj@IGMJfEJ5O&Sw8|BR>D>1r6D+7u6aShaX*m!uZ*WmlWx$6A$q0>E1#CE1b zz8NFGepIknd-X8LYRsn-plJEnXu-{Wku=u6SN4HR#dr~Piu6hJt+!q`3~e62lpM*o zDKReb{0+jMOPG~qCDP1sz-8S7LdxUaw3F5^Q>g0pI~uflzt6Mm84NWyX?!MKeeVKj zWeHZ_6-3d*_+1Jf3ul?jzHc7Q@ieZIG#fMEBrxpyb$UP$^8 zkhdbZuUu)Kue#L?LGLmv!P*&D?A~=#uP-LzZi;MpWg=L8 z&cf)>ARnfRq{!ppOU?L!BI>z zJg6ASX!!*6qTw3RgDh^KPp``6MW5)#0>AN6##d*!0i(D;zkcEt*8(s*%ZdVMb~%f) zi=A9)Nf%KC4@#DR%5Y;276Ox(JKhEW7Z*R|ZNGg0j~M_hgL!prpk%h?{>iy>$PLIA zpl>d{9s1L2u-#@+J($y1OuYdAWT$`t8x(Upxzdw^uqc=E!|jQIUotW0E&P(`sJM+V=k0ixT3hE*J}p|m304*xjMgbqRYjk|Ad#MthO zd_;o0Y+xc{=)^k&hu$;3Ib}H-8Cc%XaA0O<&+YVmgAyaFu}Dl2j23dh3V@-l2Vvjv zkPGnj)qzHCxEd<$2$GvtFR?JWY+8Z*2ggCB?PP{~FgyozZ$*Ee7>og(d-XKhj&q#s zdFKzy>93+^&qUJ9tVq@FQoXVg*xGPVM4j}QushN$$Ri6gdY09*qxll!jp%yrNE1uo z?xS1ootPGyAZ-6~?BiP-&~9b=h-F8x8oC$61kL^;!vJ|6c&xfd6eIzaUzmelIG2c6 zkR-V=YkN6{wesT*(6re8+%CZ-tz^<@xU(;dGt2a3}pB*y4e{XjGt8%FOEZ1ZLzz~Pr@JEb68{kNAR9%DYmI{E##Y*_P zLY;a8P_|dxCfnVL5B6n0FQe1_sjYJ1O^o;X(#_sivOPUl5?J;&yQ#!-z zT%**4+Vq#VW|~2HG|fXhB8*A!V!&Z{=nX$y%KE^m&!_ulD^o8G4fU?I@*jau4aWfO zipl3I*l_EhI6qXV-tVT21j(rMXpmxh7)z|eO!$&(0cv;X&y3|3xDB>%qbXerV1iDQ zvxWn}GrsHuFFmDH9$W`H;=*$G6ZHrkyYo6M@sbx_fZXnS%zC=!o2EsF#kzN_+E`jQ z?*Q>thh;$BlK?qtExZmdy$1>p-JTiRMIc;4B;WE)05#F}6|jkI8Jj&!Hbl8K%@oSI zj=Z8S=`!kIfzYQ*nn2Ukn;jdmQQf~E1U!@ZcJW@75bDHkhGMEkbBdGzbvFQRw^Mf< z{c;P<>90-7743VxE8+ca73ouVK7laC_@*+*^{W9OB;^e1Kp87(i%$#c_2!BbG8KYT z`vCSc@L=`E>;fOC_hs5h`C|rDq%Sm4Tv^n5XASMbRmq7#79yfyN+9Gh2OrqshWPYz|fyW4IY@SZv z$F}8~RhRm#Rt)7Y1#8X~bi6xu%*ac#O{?8@wEwxbZpF=yD>28MIU9KhZdpER7=Ml7 z%=aFG@hJa7+BgqVfSq+r<1mYZ?nwcJb?i%^Uo)K|G5NU-*ykIT7tOLsM`qr`R(K~B-Fbl~^Sm#FA@I6J(Td2S9(gnv2`I2^ePbozD? z`iPH|eH;QsZ~iC(gxcvdcbJ0fw7&?(tO+UVqQo2}oQ=0_lUXzx>j|9Aa!v&kS5?|DkJR%P(r_rr@ih)vH@f#SOBQ_bluTT6K`t$B zXOKulJ}FHTZxZ^pX);GI{pN&GyB?+p=wT~`6lj@N=+Dc%9bf53+6lfM>TRZZ65At% z&BJ2;h3s1%+U?XDEHXnY_nLI@s(9^2;oKu3uFFm8IJS*uZpI zl@9h!PwRP-C)81?Gzo3Q$c3@@C^T^tY2sx0GZktX*HRv^TA1eVU+TE4pD&T~B@BHD zTkpL(>lNDad#2){*PPd*{ovkELYQ)xCcamX*a5#=JeMoP^TKae{pd_x5K__FZ<9zA z(`9>t05_RaRhH>vy!!be3g3VjnBV2vv|Q$K86gz!xNMwikjvvb%pZ6M%6CRSn2h>Q z!h)feN!g2W$*P{7TR;i1+OJRhv`84*s%aHF{A-cPMV zbS@sx(q7H%%0QDd&wN+j3PlvUfIEKs=%o8>*3^PRwVTcREi-o6WPN+1%NtL)*A%4Q`H3n7M79Um|rzrD3>-)XlQxm^5-=fA0RfKRpq+6{jDv zT_LySGn*rDpWVH$`;LcTH};;z&V>e(@u8_?ar_y(vTm+(+%kOKghf^*nuo)kLdN;U z(;Bi7{Xh#Co?l>o!5K3|qxFhQluL3tvhi%QL$?}}`L$TLEa~TcG@|3O{GIoU8<~HDviv0x8JpQ3A7gr zl)X<|3QkpbHrvsU)r8su*+`tU8M$nt_tD$LGS5WG$nLsxb;T%9Q8}AJlfogDkdlTQ zHNBtS(RSRH+SXGF)I~XaIne$arQRrb}oWV&kG8JETnRx26R> zk4+~pHpnmMKLD8B)pfHUir=&<7PYFWwWMr+HJ`(2aw-WBD|?F-easgNV%a^!8BvG# zcp$|=AA_DSw2FMr>M;DvIO11vfhOtk*v7|MC2bvS4FAVlz=yY9*WGh|y=tt^J#!>J zmGo!VnMqy`x^PXLz%>#&T9wUJMPl+DKi3v?sg!jSDm5%Hj<$*0S+)%D>dN}pqxFv` zJiqhmB`52&=alUcrobw>#bYu`qI;wUWa}Xd3=y?*5riG}VypX?%)OEr9=TFIzd7eS z&EgGgnkrH^@~RLApb|K@pxA=RhR##TY+8to9dBd1XeZR-FYtZTO|~d;4@eY|bUj6M zda{{1%?jV#<`y~Yld3Qld9CT1iGIgicvLrfWQV944=p~snG47a)*kkZFz#%9Cj(s7+N{Kj}M-=%TEh2KK+iu?<*4|cI;T=`6o_~gP6a#Hib zT+1@1XcAmuX)8J?l;cug$~cz6saaLp5`mG%NxqBM{6E?hycTC12R)~^cRDUyc)T14 zb~5)8>lSSp<5BS>GKYwd7Bb^FoJIM+byxN6u`|(jAIFZ`$=;Qf22g*i_p3WTE*5Uz z;!rGM=#M_N$B0_zb*6daoATfjo_OJU;pQ5$aHX~Itn%&!xeNkOSeHJ=zbyoZqRL9T z#EqqQrxLoq6^SF9T{;{_>Woh5bV@wO-64G>jW(pxdgT$eh%IbWs~zkI-T|Yy!D?+e z`-@XJo@8z1lJl^Sq7R+ogVRT3(&-}l&wd3Yv~gNMA&sq8mM1e-R8KlXL3XjNDk)Dc z9#usi<0rjhp5Z_+lpb>|E6314(OqewFsxX|10!*;_{%K#H{2- z^!po}@7Y=PC)cJ5zgz&qNA;6aF@dS;Sk>;x63fWi5U!8r0z2@;rZ?BcdeISP)?Y5n zbGt`P zA$mSu#!ae74DZ>G9^NB-J>~QsY_jHAPHSJaPVaJTfv1L`fw1H+V~oAeiXoNr^P zvtp}!NICe9uP66Pxoq6N9}{gyA74SSsn|aZMdd~Wal1Xpy-33_Ya4!Kw_6mG z4h0SeA1VcA>P!D(XH5vv3qKw)sj9j-fZqYPLH_W z3%zxJ7ch&Gc%(QT;@cra>r~uuL^>@}U*P!ExW~DasA?DOYU)Tiy{!uAKttzD&57un z20~PUXi925Gp~<(k^8J#j2X3-Uqjpv2o@gfihL!Ae;uZE zO-0K2E1^Bxhi)O^Al&RMJ{cjmzMNM3T>~jbJek213EU*|%ukt|p=;Bri=@`5q&J$y z8F`#F`s#`UvnZJz;6C2tZ2Du7;-5tK8d<2C&3rLjtnnvL_lzi-a5FUJroQhWOGzH< zL8bB-Z5-Me{!o~fMpT0!Fq1;bCE{8=kYNl_&`L>O{Xu9gL2C2i%UCm$D8{lGGzUJy zwJZ)?*Nnaoh0K|I)h7?IpG70>?5;NZVC{3DsuTjK7eiD%;gAl+Nr_c`QP%)wx?_{GV8(-o~b>7WT(4-|wFU7;V)jE@f3I1Le`C6)@Q2DyLD)EUzE%FqrC$i(ZR;HfR55r7 zB0=I4t|ghV-2iuc-1YMon{trDEuSrO!&}Bj-ztGvLn3qL~~v*w43m7y4tn z#HMwWLIXaaEEyX43=auMhM=O9oB4hl^4#k^2$G1?zLJHkl0ZGQz*kN_2=GsnXd--BOmqL=E|3hTss1^3=xT}tPhX0MwGs75-ia- zBS#qjMq#UxYDM}ID((6(%eX?Qug>xC5;Pw^Za?Qa zWPUptN!eK;E?sD5vMgsGe;HnW@Ow8EfnWSV;zRo*ly+kHEy9b~jp5MC1o5cLnc?>U z4pN1sWtZH3+D`Tc8m(iBGT>`b-x3d~&Wi5xybM9tKWz(Jt{Ek3Hir^rWaq#bi)Hy5 zj~0|Vv~I`WyQ2t*Aq23o`bcPg!EBmP#vND7KN}F z3=Q`In)n{dfmfkgdA;88X7AHLx&7}0T~L;@a^;-8iRj5AF1JFe!JcHd6kdFD>(raD^VwcIxG_!n2nj}ZjBcKMB8wbxVn?DdRoNWe$L zw6rGB8Yb@mMR9ue`D6C(38eN@bH{ua8cM5=R8evSU$$UG(+eS?0NVb2O%NamuL_N> zsZnFQpla*H;Rko)#o?~v9>6b3zg)sGX;kN18ji#j&z@;*>35AC;I8oo8PNigXb&^gBGS`U!7QyjSK6LByzHJK964rC2ZUPS=T4qb!zc~|ETvoC zAI0Ud3I*>C^laO5> zXwVDx^rF*v!^x6_E_L5qoA*BQ?K}#uR{OW-K$N((`(_)Ut+p!^(gbH3U9_|7+*&ia zWxud_%?Dv1XRcY8fHa*4(4|cRL&ZFxUvf>gM2?KF2Mm!jD6%z{4`IzzG_knpgK#CW z`n^)lCupk)Shv?d!Ln8m_rgVTbmcz_uomN`QD}Co?#g|&N^1nrd4bpR+DSlm-59g! zpBM2AmY<7LU6K0JF$0$SXxtA3zhM#PpVp>!FQ3#>kW=2LzIet2&xIEmZbWtCD|%9- zggE{8q4IjGhv%Mjdrcwuo4`=V>mdpIhknX~uBUGHh5Q6G&61$;60r%R2) zn)h|WzXM$4p=+*qx8d~pz4V_VO~+UT@dlgz^Q=Yh*T260R#_eBJ?Tz-zQ$)ZvB7E= zR&eC!l{aQ8PgR6DNm%>B8js0(d!NUhnXY?SaqZ|O%exiHO84G)4HL4cKNo%kiITH)Bfi2jQ1dHr&tD#knrg%+8bm zD`sTYO!ev=M2SvYevvUwv&rNz`B29Rogaq}CkLnDMwrw!kS6_oupMn8BL_!VAEhQ4 z%0+A|w~)yy9f$%{kiTdtv*N%Fei}KEbHy{?u2EEMG!LxWwkI3thX9_l6Y5vQ)di}?`<_;Z}KrQkqK{@w6m3%#Px%{lvj^jz0 z4>ST^0*d@HXf0g^9Omlop>CRuzNz~vho;VQTu~EB*u7!|(yOP`Z#I+Z#*ky+H0w-{Nmv@diGem;x z>r}s$FaSJWGX(TYnVpe!rIGQrY-+~K25koogu05EVP&mRmf0^!^o})FAYywSGZB2F zg*$b+snQWUg%Qf*QV0?4Z#hx6yIaKJhsM&mKp(Uj_ln{lEvBSUGJpNICXHP}qXiLXd zyKh^GBz6+rz7*?vnzi#rnp^1IqhU0&I(m1~w-{E-2cl0%2`*bTpWzT^(v#p@@A1eT zZ?=oTsadFb@qr&bg2af$6r}e#MP-DbR49G>jn%X9Gwigvr&_`c`DoWO6R7P9*BjzD zQRh_AGq!k=LBF=eF$Em2`?0l5+ElrFe9w<~_-I zlp@pmMf$B$PQBXmalX74-x*;oW$jU6Gj+jYLTGoiNE#O-4bdaYZWFUpgfMUF8JBRQ z=qP`}NvuK58lRx^OwDtpPeabN>*_*iPCE{L{l^U6;5W}r}c04YMVSPWHP`vG&72l6Foo& zQHF3m7CY9B@}qzClv$9KW&^#fi9xXYwz?mVDJfpzcrQm3({m!+v3M6MO9k5@s>x@Y znDkIr33=#D6OV+8n`(3p;cr8F$qti<;(3^7xP1jKW;{#GCq_riY}7CgpCL9WbFDjl zQxaT?8-jys6k;AuwTe$(&wM-=`$_#V6MOFt<3s8IJ#MWx<((&*sxtiSW)Igp_#K)% zJPBUhXn55`S=>Ll9*(sO8VhFeX-p$Dd;^tDFW;%e=@xbx{Ld3_45#)p z0h%{>0-wsTj*{Rte>bAaAWX|LK#;}~St?GsPis?>2x8w76s@T&uezR`|LA6Epc3Ua z6Uj3dU2-bJbNW0=O*Y({mGcYWN{h3o?$Z9ikA;M~1|7$?8P=$iN`A7W>3*pfx)!L6 zJuclylNC#sd{s3Qg>9K?+Z9;sBS?ScZAmJOA3rg~Xyd*pZqX#SaRf7r)>1$9Mb2Yk zc-j3dE*t46d7!7!K~pi_!J8-z20iwLpeZ%WWajRZgDE{sg|sJTdI0I?G!z<286_^e zage_Nc0ZTv7QJ2_{Ch`7Wr@8f*%3QyYI9846(#)HBi`~8&9Yf{ z8Rm9+_3J}}`DTkRq9DgGl!a@BshwlkvE>;cvrt^IVn6>#Bix0vBYb zNg60*zD+mO@EorhC>x}Y3qNreqtE$N)*z@ZQZ__9sc_m6%ZefQ02HDlC=f_~mqCyy zcy|n47E|T~>O%PC@3Fm&QZ)MB?<1~*NejnrvvA(PhtMr_nK^uTX|)^N06k%=5Joe# zaIv`~*1G6^JMp<+b5_<)uB&eoCuv+~G$Db6UX z`*E+JGrO)di@X?WI7C7=m>||R6Ze4sVqikrHj}&lAqV3&@xRC#f6F>!z0K5KUnZZX z#og2#75n{Adv9+&s&m9`lFaHh<@HewNSEpubWmp(T3BgF7s;`QF(fl&dWVY?P`CMa zt`jo(G}t)X!jE=aJrH?vbjOpxh#@}~Po^<|w6{nF&17U_+UA2*+b8g|)>u@-^|=Jh ztfYH;`ap=%`aGFOlMgPz0?*%A;mRXnJT8?MwWMY#>M6`7^C*?tAhK6vTp90s8#MVA zD6om{7#hy2cwd^v(CtQ#z-r9iR5vt{^4mYihHko1KG1GwQPeYGw46a>OzhryH4$j; zxDs)0Hv}Af16rB%hoZ!o{oun9;uVn5jq@&czb567g>c>PqRJw=Gj&LbZ*8=B^9sfw zlf)|nNd@;}k*NM#C}9#3bbG9v=PJ{^PK^KW?dJIv*{{L;)gh-=x$taFhgf;>$ELry z?pU=wSM@$6N`1+RVu%8$HeBOEguAZUQ;rSkLGSpkJeJ5peP#TGbLG7D8L;`K)BWLm zcstNxC<$1e_QXg=J$p|`M{A?2T&sJj_ooxjG5yBB3;FG~gYL(fuvn99zLmm-OIqm} zZeyn!a&eC@<+KpUeczc!wc+)HH$zM2$6QYv&`27+t4I{^6q|Ht-q;RE;82L?M+ZLF zq&%_2N}Q*8iQDswIsynEM3^LvshImRLNpfld#Mqq4sA8{)8BXcM%*~i^DF|}0Ku9* zX$PtNHFJ{pQC`VseJgdtqg6vnXYtz8f^OBG{K^6R_~WYE^o_^#xMowm&fdGXY760bt=$^n>oUn;de-8nBB32IjS{OEtE2~WR6yD}-m zt-bJR>hFZinCq>`={5RudLPh+82p0;7%`Y2v#5%z!re7g)xNOG$0{f5?Ycz}e29{Q z@8EYom$Z|9?IXeu?qL0WKUEpoYO)Tg;*(vp%5eaNM^5`I=~a-Ui_aa6!y%WtPO+O8+r6 ziS@;ccab{EyUpzS>zl1&qBk_`+3^LqyFRN#8(SQ-oNL@N8^lnl?+DG}q>uL;tq!{o z6RR)L@&3V3%Rbk$n0t7ecy4Agv|Oyalk8)HsIR~kev`txUkH!UC=+h1Swz1B>#MJ9 zE>~?HJ>cg(udJ&I>M#iQcDfD?&JLe!G?xi@jw^TndU}`-I|oJll~AP3xH3C;e533U zg61U6x;=S!=;0N1X~)N1>lf|bRp4L0g!s$HD{vck5+g;!ugXD!F(_T5T>vVlRF~Wn zV&A(DHR%_evXGJxy)x8KhM%m zb+JL6X}fim-AsYyBv=fsTxK}BP<(;ky~sCw@>6f=TZ<<=v?GyGosYz-nu*-olX5O0 zTuoO5Z2xtuT~?l_KW1%)RPy^vzVTzI)H=tj?25r@<%MkWCE^`CUnag7A-uJSSp@CP{vyT3J^KrW zd?R;!7_y|(p!n+nB!v{{Zx2u?aDQ*z+613|B2Tv8+c8R{viRWJz>C;ws0})m`U?v5 zYyLie4?>rUdXJOVwAM61=*75KF>#+j_Gc_Ft_M&)SZ-^@Gj9;eMRC2;Sf%v1jQM>mcgG)S*7f2%`{b74tkCoYokr=LVW%yt2ywirgO@#i@M3zsuas~;OpSJo0 z2@j*(VjQJNXQE}n8H*HRtRjY{@Hr$vrzE~3NLm$C-wU7-{`l5SgLge`*UNzj*(Z^+yo+h_ zJ`wDIkO*?GR2803xaD|47%8tX1j;^inC8y<#np`&LboBJ@y&doRTa2~T(~z0AY`z|5cM>xd{I)5g1qO^jWmi$Y{osS2EBr zv}9wq85OS*hNet;N~N~?OWv!MXJ|x9|N4=m$FGLu0u*Zmsoq79^F`sfC;5K%{?B9= z`W~vVAr~9*hBGC?KQoAZPYeG{{u0#8@f51aS%2-+>D6GrADV(y`Xw%vGmU1OFd;*g z1A~db5^D(3JMUEx>750OT{CvWYtMXMonriD`nboz)!=7hte3(}I9EQus&gjLj8cHv z%hT9lTImStk8MJ@-x&~dnwEr^;r!LI09Izg)C*YI_kY8CXsg4Kik<2wj-pOJkUltC z0F*THz|PJGjfe2r(}tLMFLyo6{bm}q-#koTjX!MZ-+*iO1`6dHG2#R&_>iN{9W|xY zutSPd0&W#b-V*W(6Px@OPZ@nXmZUIwB}?&PRI26@xL>}|dp2v3l+p7mebDeom-@0oQW`-ua;J^^;Whc8Z(jQu-!6UV^7IGUoND({H{GA!{2n{>^2w5m zU{+UExe@XmL!c{px<|L1u}kyY@hZ}`$X{t zCZN3K1MjLxbj0TlxEd8b(;?Bv0Y9{F#V;W^xaVdi8hlY|Gndu|qdrEo?*_Q|(}V#N z^~vKGmpI(pjq4f>@&oKnN$a$ne_)cpUUwmqXD8+viN-FPWiOgn^qWgy*Sp1<_3Bwb zBbQlsI26^{g66Q3YJ=#TZEFvx((*q10plV{yV(*{5T$P3N?u&oSet#K*~AJmv;rZQ ztTKhsE^d4R?aEKDUD2H1T?-w;Rp%J)Kv_8-|X z!gJN`9tvE7a_)IKC&d7TO9pCFjjTKm=_~s~Z!50k{j@eFxk2(GX)A8;p`lJiRfmgn_2Hcm_v zyB|{tCm9ZxMTE<$7g8KRhuG#l@YFgzo2wC}@*POs^S2*BvzVL^qbL8Fn}uR=6d`OP zDq|jea`EBoj?nImutAq1s4m5wIXd4z0vQBEAYet)!IWlA(#|fbu&hpTVvBZi*Oo zzW5(nX}5zGc!_y9&~d})M?GYLU0hGSgc_&}AHn8hu7bIWTvJD_bcr{<7u zNHS69J3;|D6d2GHN~oG5N^I~Eud>>x;Z3PD0VISIFP)BL{3pB+*AbQduc$|SUZHup3M z#28k#3_eSUN4EUSBPahLnxT&6qMsiyd(v(12}gHqfFa`{wHlicvBY0H^7k7xUu|`u zfH&eqlqR21KIkk)uH$uAd0tPrj(Z{z|A|=$4zeX}`-Tenp-7e46t-1d|AIcLXgPs{eL1qP07g4 zuYG559F$=5-c)L$i+XOoeHX?uP?9ZijO7<|y&f_tEU*|6h*a%& z7uP}7t045R^?LV)+E8xwo`O?fmYVJQO!J@Uv~Fv#j9S?8%{T~0eMDr=S3tSPZRBB! zh8YU>k|D)Y$#Iw(6o`UlGYT57^|gw`zg*J%hzK$LHG6Dw=;J&8vKa?=`RXO)X`Bpy zu`NFQP*G!uL5Sl6WjD?vQ-xAMbSf44w<$0m=rK@aQ!kgV+TZ2(Sx`c zjB^6QAT+zX_0bl%tT_;yFCd+Fp8jZ|C z9LITLq9`2RUQO!J<)=l+$d~aYc{6yG735X!hMbBP>y>FjdAxe5im;nD{yL!dcNN1` z=gU72ycj!!15^gWcRdYXCl2(KQ_$#7MHnmZVYbhoIZRYad#*x}>oWJV>!4R*ESU!& zff4Ba%#=Dw#lA$N^tp*?rcDt_*c^#9iF2BMU`XdV?#PbQI^%<=C)?fS{^S&P{^lDrrPY}As(UWI}kxrc?Oqf6#)Y1`KAxsu_z%FD_l{Nia z#%*Pgd++GaKFH{t?<@WG-h_VH*ujIfUkDciSU6^8mBkA*w#cGD?`+3}33Rw8-Nm{ckD0VV|?HdsEiCesnLajMP6b^izc%$CZXAWAlvr(}4z*_zh$%5C{f}u$Wc? zR5BG5{ziT`x#3N4vqv`5Z+|KQ5ins8ws~~c1*YX70~}5%{oc+V0p84PX^d2?IGyaO zq>XwEg(Kd;H-@s=`>;jXTj?lKVQ4~J`BN<|&-Av57O#(#Mru|vpfUVpyW^aU7I;cW*xzd+S{vE}xKGK*2%+~t4%T@r-k_5z-DRwrjWqQT{fp3og0gOTd%jo)atU(I zT#(5%4!=Mb7=*&(T&F6i!px6*&{r1|dbvlb+EWV9TL!yGw1Ntxe?0h#GJIOY5MebZ=P_QWYQO5%Wd!6g3Kyh zSpo?ejx-1S>h01}p5nT58Fr15@1I?3ymU%9i{@)4wbEX%d^k#qOF)X#mb=0kv{ZE6 zCqM&7!Jz3G(cvSH0krTeeH(ZzE9;`IG}adZ{PBke4{}3x6WXBuRm|xO;zd=B1L`bJ ziIw#LBJQNnGc>>WDu4w0kYwbn%OBaHG~aMG71>vmPRE+5038~6y_W-AXe0u%TQ_;= zd%otf04T-0c?vACdAdJVwep9`x^aKW+(PWV@qm8U&BTo(ac5LP$MK;Lv_HGR!0Ns- zF31Y%7ld47W<2BvN8fi{EmQA8v7 zAhvEdpfXE-Qt7v~N`46zw?dKiTT<{Ay#ix#b0L4ExefWP;Nv#m%u9ZLDrq8)B(?cQ zDiq1gqSX{&GF6}9^kbho%;Q_KM^2i+_D|;R^}{IR}sI42RpY+!l%J7wcnHHM1uCA*GkB}>O`vitB&|d zWhF>;4a1XfAU*0aT}ta$r#^$apU1#^dPXo@j+JYTl&@uSoInEP7GP6qHor7n$$UJh zBM&&3aY?Ct9T!t*qV6WVTX;Xh&}OGePeOS_hQev)=&e^qthR;j{NXB^i4#4vBC3Z1 zLrGB)%sCFf1JC43-aESSf%xkqyX+84$@(nTuDfxcG;`RPD+bFDaSc+LJI5_t>b4vq z1gZju@o81jzMmTrYq(Nu+HhYmth@&}We#uw--uMtB~*5bz9t-iph(Xu^v7;5v*+Hi z2kE;igttk5Dwp{jQNpK=O7O2W0-_E$Ru&?OIEjlAYMpo2ZBhIFgNaX zRkl4F#^@+AVvuSTG4OSyx|G*@BnNZ~N0*)kQ7e%2 z$vZHxa0MuX5(QSzNMA5)zwEaIH&6)$of@=#hR=cm98)DtDpm!$!nul5Gs35Yg!T+plY`mkfouT$3pu*fU z6Br9lO4`Nw4kUlFt!!a-AgI3fTDC>FwRM2dLcoo>72aE?I)!Jk&%o`D)ag1w3S4#B zHo4goWVb%~-U1EXnyDqIetIpx=GVXQ_}Nxmx#mwSrHJ7xpFKrNVm#I5;~{HKS8E%u zl<*Ow=F|h?_+?b3oK$^G+SjL~GCz-t_4WR9Qa9uhE>pymqbsl&U6wKMYb$`zbA5@Z zn)x11`4o8zRCucG?I_}G)7;d7i`nW3NS|9qnkkXD;9|X2*1R}YuAU$mDLJp3IY7!} zb`@;-?Zw_5Nhv)_>#})VKrbiX;jMbxQx-eSVy01th%>=DVI{76@SQX+l@q<}#PCzQ zJib9J#nRyZf+By5<}bJJE{6Rz>ZAQ8XKq75#)Bv>C=FuA((45rx~F~NnwW>g4N8x~ zX&X-+knCD1AJFq)Q2mu2^aLz*XPw$Ag#Vr&)n25zM{Yq(S*NQT<*CR_$Ik8qeVu8g1 zsJ&FC-x_V-w{X!{00B7NDDyI@a{+NL&#fJ^xb@`j`y*76%cB(ybgsvVVPVb^VY60Z z&Mh&n7t^LhvUQCck~-Pfo~#L<+GcPwT>eJ)Q)S;)O%?-Uy`SuIzC203kuhRKZeOze zV|8o{>QP^E@&)GBKdOQbhG(kkQl)}jqIfN)6|Y1PY(84 zMf?gJ$}8`}>5_Vt9qB6ete=dOS~c{UyMQRIK|o0)s%;wHNe$jf_`X(~G`tgS+Shaw)q{`ME~CmG&^h^1*|rOu^-kD~+bGHBLgTS_#902qF0l90GF&^9BxM zz}y_CmlAOI$W$`NDB)7gSpw_M z>q8By{$EL21eI*mv}u$%%HinP<*lr?z0>;9!rdt{;~ya{|Bqo(JJG)VEB?96i`+|h zmXj+%!)h!mO7sh3nX}UXW|T`kx)_O*@*ZUPZJc9bM3fyw*J=>)L`alGT}=V}ggD(Y z=o}1#R?upBHiP(-T) z(B&{l9e>Wr2dC+L>n#zPY(6;62}EZbk#R!^0?zkDUfu=nF(T`|Q0RutX(79kbDEBJ z-lm*9Vnaf&oR)~>3nK@2UaGJH8H6S2C2gwO1k0=#TK~SiNO#GfDhBGO>ii{7OCrFu z33`bFZOKmIGJ>nd#WqAz3xsz)i24xDIwF8E0od#x2z(T>#v35eNI<}>KVVe|q@@)i zgsGrgEhlaaCkk8~Pn0yGwr5vrUPV~`ARr@nb{JzB5y#J-t*w~|OuQr%hkh08+{CpJ zxqz^wm1wn-ridF)T>IONN1jUPS`MoZqd)nXom6TR>i8c^D-CE124)5*q7c8{_!Qa$ zHBXmdq^0}8{tKo3cFFzxdk4QOLH%bGinPmv{QW<`_Yv$JOw&w1s^ziv2Mvvu-!eeB z^oU#xfX%B$J#~Wzf`)ion>Ij$v8w6f>7P1DXBRG%)yJhtOoPaITTuM!mp70#FeuJa*18rlN zaE$u0lU3UPbUR<~w_UKCOL7Lh>dzyRAqt2wngF)?573K1#xmOq6_h6+Qc5B&z4^Sm zAP!o+6$Pp~ON>=Wyl1xbeNpLP1X1Yog&CPn5NkNsj6!&nKGAUQ)pZ>kEp7QxFH}U< zj+-Pg>Y6dQxH8p?udUAHe~`A0JrH}lPrK^;_8+g(p}Fva{W4_?{ZT}O`xXFLuK*$5 z+$%1p%f80UAvNeJQ7904a>frx;w zW>+L?Rnfo!Z@a7@$Uch`qEUY83>K-Tz0~6nwb00ks59mGU7k_?>AwSS`s>`ABh>Y% zO4Fi>=yFsA`dN|0KUjd@eL0r~UsMAU{JiwLqo;=vj0&QG($O_5hVRXM074-y1X62)Jd zL4f7hi3@4J=}Y*cq5hMk$Qclj3~RkDJ!Qqy8a#y0@u_WACDfu>g4;Bmo&8 z8=xQOUo!}~2ptf%??_Pk2Z;{|`ah9VRq7u{JbkmksT_nFs%m|7T?|=PRN;#!OZOIGV@NEA&gpOzI|}U=)1%|XOl-HFfQz&IC^n#Ie2F@ z>LjU!3`je@&LBsu<=-RLPfdPpzRNyE4;kBz#6j1g4Djj|isFrg?m!ip!Kz4&D;pqoqI5Z;9~R+w5y?qn^mWcn@-v;4n)D8b*5u1(ACnO8))b9^JF zu0m%z{!?6zfISR@%()Al{6P?o*c|9Zq&b;5Dk?u0*dr4g5U=h02&Txt4bhi>QMe91 zvYNC+YOBiys*Uag6N4r;$5Q=&eIBT{LUH!X6fH(ZpFeB50`agM9S3*ENC0VS=R2+Y zWJTnR?KiJD4M$3&{V9Ta*XB z*sL|@3PztcT0<~}_*y1W= z2mqox%A)8;pp5g(fcYC&^Oj>+<@#Y|#eN#gh!hq`#oeqB_^`bhxuvh8I}%Z1Poco1 zb|}yjjA_5y0+MTc5H$v-QD4>RT2u@tPZ*%rdwMxDUND0GHzFt%A_LvqO5X>UU3cN` z=i9X2mj=ScYr#w~o+BV#GoDz65O%H)U4MAF1;G=HLGU_}HHg@j!5(%Ik5)VV^DUYLkVHjTy3GD05-?Quo#YjfGFTBx`nA3)jNDIgfh$wcyK!R?&4|eNTOVC5u zS*R0{ojM~cARV*Iq2?%R#7}fEVi1>oZ!aa%loc!%{iQI7jxYUOIAufyY=D9<_J{<* z7?K*wV^eIADc;GWFLQ10?Q~kMK>S_~A^s>NM_v(#ejgHnAQ|F)#b0(+s2_lDoettR zI^6}+RldsSN&bRaEfB_uMtx$#W-W!DOAC}q<;m=jgK+<^D{?d?=n(M;!_~~~mHWD* zA~rK$F80VLEQ)}USud0+f79H3m_9U0ym&~BE9bjU5zrx#>YjjviWdvN9sIoBY%A4F-nLJF3Jkj z&#vDPwj=-NGXj)D0xU_!!qiRQwH4VU8ryvbBRT>eDIW}2p%>Va%Fj-A6b~fTbjJ{R zBrP@f#s8F#sv&_f>Ux* zb(2p$pC5XaUmA%xdR?O^r|g?N(jCKkI8AyM9zOU5N8}eg%>O2(Ngo;aECXy(jZ6wiU*z@;l>4(rU21h< zo{z@k48F@krOF)xyZj(9EBWsifw$=+P1#>4ueqbFX~=YGM#14MMptTiRBBz@?ay;A zgFom>SgiT?ALuf*`PnsL+jZ+TOqt)BKyHcbA~!Gm@^KM9^*^tN{Lz-GynxM46Si0# z3hMV>?r9L&o&^7Xe>dr%>Njiahx(>(r}JuP`4(VR;*Nn=c8oq;@YmP<`R9+7#kYG+ z)hVR?2oiAYJWW&k;$BveHr`#LYa%~_RTO6iRs2p-|2qC}sqMYtTjBlHlhtr7B+Vft z`>d*b`0u5HAKT!F8%!O@DQ(jyjrvujCA6;)q5Pu%QiIt|E3*QYxVV=O(e+T&4T3|- zaE;^hk$?6nK)HrE7q5N-6%jP8pVAOREMR{AK(eleKbyh)^QU#QV?-n!9I$Yq205|+ zE>Hv|HzTu@eZw_&DsnxBvkmq(5jICe<06V*p0kO|IX#4hH{w>-Y`XjBEd2F{GBL3~ zjbr`7eL?H;kLC;mctOSrA0*H*I&(RBgW+h@1s6I_1L7xWy@*4^m+8Tf&%EsA{pU0s z3Tz~o+*>G5RK?VP)j$0z%#>v>2Y)GF!;sK}VT02=2(g8{a!+um9 zJqhes-f(>VvnuW9S^R1TYs4$?5EM5T>}a&m4K-vp{yuf0fzaGyyDiBg|G{zUZB6&3 zZ{4{^#I~dhJAUU@$joaM9=DSvh1KgV1~dN7ll9*tAE0~+`NDMbWn$eCUzc6q#qO`x z=L~zcxBNk-HbEzhR{oXX6WS+?t#@$bF(+SujSxnzpqrr`-G8>@5V1;NS$AoD{r7~k z>)-CB5_8wt>l}QjL){X}L&^jf-=}OHDN`pKD>6tlA#8o}%{6qB8odX4SVSZ*BA=!G++-RfkEE8{?ET4BC)0qN7EWrVvaNC zcJN2Y2fwTX97Jrs9vCF8IXWt@yt8x;~v{qrT zI4X|6nPv{2632inLo~_izgJZGsYoCmi!q{Qu+q&M7RoY-4e#M1MkVUQ1;hvIJ)-%~ z|LQLIbjo^4xvbFK=5qi9L4`|QSM!?MXLFjXjX-ZFu@#8j@CYg75izJ$m48?IsZ`+c zA)bC7KTUeyw+S;S-hQ&2l;^TRW)wsurErT9pZ7f#`Si1$`N>a2RpZ^rsb-nlZc^>C+9_MFKu{Mp4 zp37gbg=445Jn07*S;g+bUxzcL7w`OgQGPZSY!E-wQJ=7}I=(_|hMr_wxTIE3~y=3K>89EBmD-{sqD|Dzp__$`41W{kWND#xX6j9j+ z1JxA_h4P7c=K)~0Tp5% zw}JcNJ<}YpOy#ukG=aEzr{xS%)Vuc^kXaiEJ7(UUKbi{Vylub$^#+9MEg)uYh?edW zl#-L~dI-@{n~rAiQC;MkHkx1{eiZ={DZo4&#>*S;7T3 zzC0QI6R`|JeAG-$CK$_sLI`7(zm|Q~h3Gu8vE{4Mm%sx?c#(HON1z2^F&_MS>*VmG zZC!k8fzky&k!G^<-y;D!F24`YI9&Ay1DOXVj#Q|YMou^!CEplkLa$if zxNXZbem2oV9j_~9VZ0ZNMhCvIckV!8!HTQp13+E+77!C|0aEHCrFo2p4JpActyKwc%u9|Vl5-%UQFYv4 ziRz`YG==428@fPNG#&JUuXMp5_P=nc-v^yQuD<%mY5aemGHZgg80~L)n7QeFUNDhr z*=R-=JJiOxn0#ZSYf2+giW{xKdq|-tI-i#v>t)t;uMf0FY{arDp->Y>s|uQ6MNBBF zp%1%OCet|D=!cPLH?vh4r%8K^rC1VP34CjxJDs%XS#j5PG;9sS5EwtXpI+lv841_S)v(z* zQL@|j-~I5TfvtFP@8CpcG>d=mO7W)1;1xby1=BrCdIWN^z@AVI%PW?6ZOOvB!DFxr zT+u1Ct;3K|YGv&M;yCBAZ4J=^ZY%W8+Ox3BqIR$mngpeAMR)a`g@-C3f#a4l4P?tt z0k}~G95Hh#>{AI%;UcLVg;)?U_)Kg-DN#(;CXJ)UvSaj|+4AECp)dgjLMc@Q*A8+F zZ%z0CR=Dyw;D%4Qd2`j#8xyCtDPixuE0W?~6-BR}wncMGln!Ukfo}7Nh9G_;qNXo> zq}8gK{n0y!&lLy1a0A5kL26GP0PguBNIb#?p&lgJ`n)u=KBrBktD$ocXyAf4>Hq+E zG!4_-o8?ZS8dLi z$Us_)iKt0u@#fpAiSD_XlFxmOk?}m7b-Z~RJr4*0EmRyz+~pt+0tR((n3O#VwN4$o zr(tuRPdI3~$)}`x#)H|)Il|JNnxd27rsNA@gfS4z_a4B9#@*WE4F0b4G1IEDH8a4Dw^0yjQ?blh*c0l3 zY|8_1%D&#bar3HeDVU@7bU5i)eL@Td<5BTqN$(Olx#A))L#)5tpozA%BYsE^EXScf z8Gy_NIAt;Guy?a6!g}4GY#yh~B&2f2(?$lT={`jpbEYG4sLx6$4a+rFLT?I7-#9^1 zc!~|+42lL=&UL9bzznt-Q(c*lW)2|Z*$5Z#+mUFLt3+BqQeGBG)p*yVuOedVtL!=0 zaz8q_5JFRpeSWhx6$0BKI$#Lim(?eA=T!@P!(P^NjTWEXMK2p}>y`6RWiQX?EpY4C zdTUX3vp_?i17u?`_aWlcRy`dFHvXg(*csm@vZw#tG7enVj4|v7tY2R9`|K}&f^4BP z=!m!tG6`#hwkk2Mx{oe#es`{t|DIU-;)8+CJK^bUeQcAghOQja91Y>|Kc~c6M)XeB z6O9%*?xLE3v2=9~ldC#$M6m8kQ6v$knGNoKtIWGBwEX@rdrTj&QJVJg_q(g&v~xmJ zx0C84?#-uxWyJa-5>BDhS3zFyZ_7fkB||NwLu+%G zap-aD*;QX4vN;~_!9Dq4&@i}tTzB1Ro)P6H#4h`nUDhHJw4Ruzu%lQ$|9X*4d8WUy zcKkh)oCC0QP_T6NL^8PiZ3zOzNLE{ieZz}3&nlM-`m}vGOap3;H_>M>8QN(ODr9|; z2TfOb9%c5&C=!$@3M3vSY=wFOLgiQM6Icf@zDZZ9u<#KGV*H;D@|qxH2J($o z&Pf-W&7qQ+ym8}3Ub7+jr-!z%nga*v9h`PwPD2@pRWqf)IGpBTcHu!>>snHkfR~xI zL)lw-W@ynh@F>N+O^sH2Guu$Z#~#z6_J|B>52UwW+_rtkQX6n|iZ=tr6T+dldv<3> zkjl6E!UPf!!}H*j=Z?Q8J0pg{%WNBBZX(W)b3`RQLn2GX@7P`C&Yeb|z_1aAamzV% zVDGBtHL;PhQ%J=UX{V?2qDE-=&DtC$>vdyxLH82@AGj~iTZa1k18aizGY*q>nd;>b zEK`aTo);BQUjtsj{-i%qQ=*ul~SDR6|PYnfPoP|LH*C9i%OaV_C2Bu0p>zho2yfFw9-5|e{%N`EiLAP;6op9G1B z^;ODy32&Hi}Cdx#KWldf{wZ{f7Jp5sr}$G^B@uqg4{yhdhxFS335s<|`3KwtwZ zB(rhIe!2Ejp^noK8(wSQ4QcplkSu_d352pC$-f)FhGFv_``ZWQZ7-!)31!#8$?$(7 zK5Bw|K~Nl7ej17*{3}`i!jE&oGK?WE@0ZKGv){mog$5v{StsGUr>XVzdp9U+eP~Fo zh6NeK3J#=DOxNnh*P}oC`3cj6Bu0z$pTm*p2d|lGdMLbVyt>(5jL@}?$i1TZX~Eqk zI16uiD4?PI=R6No+r)6mD*alZ*j4obc35PO+u?8CZT)jgZ4mrkrDhu}jMB>1N#4BU z#fzVP`M2dU%V5D0vEiCW!1Y!bw-?251baWfnz*X(Ejxk=*K0FsH9Zt~AOTK3@XAQ? zni$sk}Okmtq7nm-B6iF$aBeO0fXalJ4w)>6YQ`bP1COTG&xOLpHT zd4^S!6^WKVDAqPjxu@r)7koXIf#b` ze7`L%mn+yD?Q}r!9#%bTICsw3ORpX<@RBw~T%L}p&n&iK4%FpBrspzp6`V|S6kXNK zZdN@YIQxigKY2uwRV||oI+DxhqkLo4?hRo;N3ahLrjxKOiOH65)yFn&2y48wHtJ#RZ!Q2!t1}FKJPbbZ zYDmMXt2+j}7Nyd|&Q18?yb*TbLcoH7P^jkeETiTDzOyM&Fhp>JOANng+q-IrQpDds z5ftE`SBk&K>LsTe>Wo~dE&!^X3t9E*Ks65r@}3mg(9W*iyI&{6bOv?7tk`FN)>^%g zWTFtm2Eq1Xw!>n5w~1r(Dqs+R6dzU6X#@w=euV>E$gy%mtx6nA1c>8g(`txAEP4&KsZowL#g4dN z5X!lgnX_}%xpxZqJz|<6>R9BaaEC+gLs}Q&68vp941--r*1hhBoSR4BWOK0Rc3kcL zp}@?L=n8D(V`LQzfrFh#Cs}1xe`3nv|9U=Jv%ovA?E$kbIR=RCf3BIwNI2mga=ELG z!>R0{bV{E4&*y`Hi_Z4tc#I=rILJ`o485@W+Z&$lg*VoUpV5N*kPXZk1MXYYRbG{` z0Su7omV>u-;1&dX^Na7I;~#qyqT5KE>Fa|Q3FvPI*lWVBtF2$wYe-zvANvNerbM9a z@iH=bx_`{+jCkbM+~KVZ*V8J-1HlKXi6c(cfl*K1fA!BdoWjB*sh>0okcm@-p?h%n&!oZH@Q1F? zVGcmJ;$IOvQ@AD*Ji3N}UijGx-qim|cVv~N^8#UuD?Sf3LkuJrn1plS=l$LEK($5a z&P1w*4s=)W1bpdA(1Fzhn+pRg@#QX+0Jl9tL9KZnO<#83#H#E8Soh=1 z-|G$O&Kz|8qtcg1WZ>%IOB>gnUp=q}FtE7B6M0nVnj5_7a zr^G{@+8KJ#LTz3Q9T*mW+9itE6+@4yF8>BWAdka9IbBum)XH!~9^Y<45BbOA$e4e~ zpgJ(xBi7mN_-(7UAv{iiZs$t9nPwHsf*JY6JpA*#+DlkM28!=Jxd6ie~qR_}3n8o<3vYl!fgGko}PS63+{qwvi zjEqE`AXS@@4S^xkZZZFPHS&`_d{b2F_59XR=I|RUUh?1mU3TrYF7%|9Lh1 zq!tI?)F1Y6Wo#6Nt|!J4(^voA_&9W!fkoOzQxNef+er^uS2Yc~j+ncq_tUuk)oa|q z4jm?CtTU`&)kAOuysI=~VE<{q2-0H6(7 z=6}xmIb^XT%r~)YXaMk{7`G6fM~lPiSYzWzTRhhySd{>z7~Vg>NH zh3*~ye?0!T-x@>&k60n<4)f|?uVFX`|NBhzQEZBx(Op#X8Yo8LzSo>#S;3qYN3P}py z0S`g8$vf0Pe>o1b?xA|c6Ua318HeMnjtr~D6=F*mn2rlu<52s=Zv{+vC2GB)d49*GsnNZ}XhcH)-ORQ~c8D)W95g(+U zvGJdclZTc&`tN|71=UT+#LUt zh5<|Gvn@O`tEtDt`XUh8xPE=mu75VJ6}tP2cn-F~wS_+y9`e(RYItTmEM|*f%vxyU zrcDf(e>N@)x~u);lOrQ*3|!ZZ;UgAIyEJ52JAU*ab~UF7?fH+cmlgI39rM*H!z_ zl1@*Z=1rSdoPDt82PP-zuW>RK4&s`1tt$PXk+l_K)GI|+{uOMkt$0S(4N_{NCXN!` z5P|1roT}EcGSbMhv}>?u{eW0*KW9)4vvw)noKll?g(ci$(xH%uJ_uv}$4+nrjQLvC z-=Gx*9b_QD`H-96MEM_(=6~Pv z-*NfBX1(C9YJo)HLPwQ1rj)}PoV5RGj<6zEeB>=8J|@8k8tR2^cBLwQuP^Jh7o~#O zM{*R;NySqe5bg|c)vjp0eBfdB*TEr%WcX!N~N2jUdeu&e6@jUC~L*I?Ou`}Zb31=~CB+?T=)g6~nm z9a_t0a9hs>Koi=a3Hr?E{eL$h1DddwDM4B&=0H%RlQ8+3tdf@e1|a@{z38ep^xLQs zK`y^X`^@2ZIIgf2ul0@v4!NuFEN`Rr@6!bh_WxKl9gZDaZ#+^-M!Jm82BC?QZg)Y}GO@F@P*hliblC#pz!YHioygf3^I5JhBE& zUeW5bbyoB^rG7Qa_1D2?oEKQ1sX&vV#y88J1p|%Sf&M#;wvRb}w@Bs6a{o#{wZl9* zIp!~@J!ak7rEeLENX*&n*4~rJ&hoz_&p{gKEAzH(uAqE@b(&EbS&6pkuG!JKL&p2( zB`cPo*1dc|W~AScLCFrD%&jyZ+Vj`-DUT6+J>OYoB_2L5!y zEUzPsnfj>rO?BvVQg525C+AVjaS zJa_VEoh4u_mp^7;?t+vqyZ8KDdCs+qlh=`8-|1T?u732C2)grLUTPRA0Ye|HaO+oD zd(J4?0vhvr3(}NimqVL>FAj~3KU;z$39VGi`KTR&3h$$C0Sj+&)mCTkJsSnicNs>p zTg0;@-DgDfhm6cHLQ#?FGisE4{)V#Uem!!$%e zbODGE&ZVzq4YM#dr;{DdLID#Bq?0Jz8;OL3lU~W*stZR)dG*uxZ_dkEXrawNi8T45 z@_fhn$c4qDDe~gm)J<-w$WtH4bnX&q95uc=FPqriK$ZEuV&m0reG|Q+70T-&7b+dF z{3Cq~sh9xFu~sDA;%Acdi}R4BSQR(`ROm7a%~BHAOmTzAmZe4(#QZyvTxwq+vTN|! zIp-nlmD4GNT}Zqi$$cxJ_+kS}0>=;*Q^3-Qog!p1@9s&IuV)DjKtKA(`$|jQ^1vlt zqo%>6+S9l8k>Blh7W!W{w-oY`AA_*WC$j%IP%ZN7Ba!MOicpiw>e814O>>5=YzhPG z^>;3c)j#otFFai5U+Z*hpRkD2*9{JXJwFp@@>AKqzB+b#`_U(V?WPQ4h7&bOuvwj6 z1O$-U+3z7mY7%XIh6p}TXnCOU53Dq6yAWs9j!7UQM8da3t7L}W57HB2!~_K zzQqr}q8)H9-$8lfc#^e8c!3VWhp}-;Y4}N$F+y^T2on7ew0BIh@lHMrdM?Fugz0yF zHmiTwtL>a+`T$ZN97(fWUiudB7HB5UNG@ioVtx^ANfolo-a?kMwN*c)e_i;t2+6kP ztvcJgA=>XyxmV#U!fwwGe(r`OVT^&QRx#Nv-EZdHm~rkq5ZxN-$sA$XvA<>c+sbk? z-z0Dys}^)-A2f_LY1Yshw07BnpCB#_fVcw%Qk%PaN01~HxxV8en=Q9=4ot&t zt@_dFm*dY5I!IEp)PwK*plW=Y>?E!fm+y-8 zCx%TUWz|vm9(flx$mjDqN%FP^I%heMI4a5e@QE)Cm&`Bbv1$a>!IAZ$LH9(YhD4|a zLMa?cJyd2CKfW1tgjW)!P1#h?dmjCf-MSD`=B4M1*W|t*hEh-7AL@a#)SSrVXX6ay zNAHta_e@B_Z*|hzIeA`asMiZ$-}ABF7u&ZC@0?zYA1SrG#NXTR(dJjE=(Gn^>$hBRapV5_txDsY zre1vahs{46_LN5Do%n48hy}^?8zRyA&t!&H&79zPB#-TMGfqFlxQ_W0zRlNX;8+~P}r5Ka21@0~ilBrtEOFYwjXIuz7W-6F9 zd;`gPza-wCKfT}tG-|PF{Mv}VvRo#&6`3N51WT3s#x2<@{7}uUxR;z5gLf8+W!Q#y zceD`?W$r*Xwqoi+AFN=#XKycD%@Xo9S07Nx#vWkhpM z`mD*97>V;``EmLk2ZsxS%PnVXdx{~=_gb(y>TabQ`yU6P;)`uk8Xd5w5 zn?sZA-`aJya)?;Wpj)Gy7i<(2tMpwc_D%j>oeww4#i&i|S@=gK{L92gv4X^5Vf?oF zHG@EQy})s*haHVjb;sp|ch*L;RI)#!N67Y?(?>6!j57J6F~4j}8r8hj?DWO&b4j*8 z32l;UhqIe)0Is;*k8f4=-@wZ37TWS3Cm-#_zNw5;8t2^+wig}G9zWNlIz{f$2-1Sl zWnrBXBu8wn9ePA&YkflG$8pd|E;YiM9a=u$aiOsq@s>id!Th&1Ghca9F$2=sOkQ{w zF_E^AZ2w{=XOx})kL&geEk~ru{HBf>Oic=qTuZKq@1XlpV)U?AahQ)vm?TqF0zVzU zFEcP#N&wGC;Jrh>z(u>ZdM>3RHGe5Zm?-!$I$$xo;7%pXfDI~vEXjTY zSB@0z@~(@Mz{nSoCO=ezD#rL_^3_S|ms6w&ae>qAvgDa_ZHIG=jf9BxTk+|R5;sen zCWT^&6XFjhQpdUQcLxX17QbNHAsB#!f_~neD*>GTj z+mJn|Uo|;H<2*VKXB+S9+KvDGqMs>PWsq0y^bx~Ud}vOf=>Uz`oYPR=w)>(0<3dKD z((5ynNtL!U8Ub#Dmh?hL<@9Bv7H-L|w*86zJHdRDV*QWyN)tx3l`dRVon`wWQo^R} zMnt_JYQ2i%clL^R9@ni(b*Lw&0^eEcd4lrB1BF1#w^J)qk}|ED?%&nr9t7Nip|)4g zH2%V_jQ1i*Xkcl$)@&y2!!qkDpw!sA!|f7>+EOIY2{_CLrBH#Clyh0|sXX@+pF)!CR(n>SAazZ8*8Zi_T67#G3?q2Jw?v&SWZo zu>&!JGZ`h&H_gg#t()(0L;-W8v(N!IW@~&9Cz_jY(6i{73%qD=|02P$JYNeeg*~2d z87_ZMncn`C`aJUO#-^2;q6NFz8kKc*valPwnoSmW=LM#)se2i&RiAd!DGMbAouSK_m5gp8aO)Ta+ zBzxiyEE!?X%6~CP*pQNCHeX&r^S6@{nH(9ObEXeV;7c4gIn9&q>n0pj7f5b~TG}pV zSH$J9Ut(z;CaCM=8;g}PDkQYg3GBkeov|CaEdGK>(ALxm6pb*pr^!<%pPp%8y@ajE`r1*Wz%b zj0gDHe$HwRp}9<2Ip}@P+c0c9iHPahdMhnHskhHMv1iu}va zLp{N8uuEZfV@0v<_gn%nq5CUY*x3lN=T&n}YNL7C=9^D-HIvFxf|Nq6ZEZ|(CC}n*vfPw!5eJrM*Ib5vW+X9^!pSz2 zY0I&ToMQa_y%Hw5l~)ES0$7mKx~|Ml?AXHGv>n|I%7KTW$d|SrDd>F#PoZH zxJ#Yj%My#MFyE!@Fk6fbmA=pahaX-qTd9;XdgGs#ksrk*ewG>xudJ`vqUJ z33i>}9N<*Y^XG~nhtJ#2jX62TDz{QsL2>k?U;pryP00jx#CX!*$i^w;*>JQ z8S3`B($k3Zgvyh!XFBjFG=!xri=3oG1~mf7{Z^wh|?4aT(LQ8N<9N36;70 z%NIMIWD~m_ZFn#Wtz{f|r@>4s=QOc+T+v5*8iNXlxu;%gjj4W z!@9#|BLn^uZ_EArd)_wT?q#8wLU%x7gQwyCZ4J+7F-x6UZI&h4V-s%YoLn%%Jo8?s zrv~0{@0jZM=i7Z7tDe@NKGNj4hrL|e8R}c9TGn!ZoQs0R zt5G&dK7X@U4aONyB4C6=t$4X?bUV#OQzbHc(BZu2+Wd-!cQ09uD2dB-up8nRNR7H! zIxf78w)BmwyBM#}F5j8X!S)6cnWfZI$u;bchDvi42|Y={Mgje>R`EAt?XDaew0;;( z&SpPdZl<3z6kBO0|HXLrii#Y4)5tB=#Sbj5DQOxx4>YnGXT(Kl!k=CI%p||_9o6ASSSHEtts$l92H9i|j8&^A>bR|3E5XX0?g5@Fu!BCdEh+SiO`Ph{EIhf2C{v#Z> z<}u9M3W7D(S`_scG@*Iq9dw-cnt;*;iM~k%yB;=6w3L7Mm%mX+X|Mz=yDZpsf4_b2PZ9N zbD;Ogz@!`X$67**#@aO6{N#x2&;`qF`gQrib&bu*s^vZ0cwY1Iox6MU>LA_cApSs( zFLvb05Wm@jtjD|NELwy=R30r87co7S^IdxXt`y;+Jg=)3H%a&XDp$ZElw2S^HoYFY z(45ks)nQ3rI8shuXz0)G7_T#3j09PwCp-S*yycBY@-yP^WilODNhCV;cF+}jj>2^c zD8ueOQN%ZcLe_Ox8Awjo8Ao{0C#DvhR-$WzrK;yi9!;DS^|3aqDo@*KeU@VKa!YLp z)u*gPVn1$UX1=P=r+7Oi@h&bD6WWAbgH&55eyOK~_KgyqUY--0&B0BY)K$k)X2K>+ zR;C3@^7k)GojI{&_4eo;ALe-Sg+H^#Cb`CEIc&C+dCXHiI{64QNx|%I0`^b+@ z-|{0d%7d2g&8aubTq8J7xYCFOH%n%1m+#Jt@&!`X zT!41UKyUgO|0DdF_U31^;!PoNTKa_lKdzUdO-KiR5_e<|j{e8jJz9R_$eYy1PQf!a;9XuQMT$mV;w=Zs-d5z0dTWO@Ds6%!U!UOMT?1LTWhSCHmJDmiQm4xvDP({u>Jo#cL)ldZIXw zJvKXb0`#j>uxhV+PH1k5wCudhMrK&%yeeUR^1&R$T9qvzpI-k z=Ty|^lf_>7HP;UWDhje%!V;Fp_Z&o^Z12! zpufhix5Q7h6*QSoBGOX}7VZW&mwllYx&pq+aRJcqB2d>KZ&rHe9x@U(^9}G`=45%4 z(=!fp&)Uvub{PUD8xa>n9YtqDTJPaAIcmDk5i}4%G9UWkKjg%mLJ-k`F33L|%?#uB z;E;pR!K2N9T!!vSVaq$8uZpN>GnbX|fgtP*fS3Ej63i@LBH}>4?}M1$eOq1}P_3#F zyX!o)sN4+I%|Fny2xlv6dWz58ArO;CA;~=dfH!ZcddT{RcXd-63_hJh6s1oppp5U> z`AsKO!=9mK>qaNu!*#R(qVt7LlF>_*c+{Q;B94tq6%FPt`LtPWPK&3#%spEUj>=Rm zPQJo$xGCGtcEG&%dlbpc(h$70_y>ZqN=Tu?E0ZoyCmL~{PA@;=wdLU*7`Jg11ikI8 zCMp&%82XXR^CgTDhra>5^NHatQv1fwmYtLjK<#X85!9_6pRH3UoZ{*DhR@6$K7j9b zx%Z4yDv2<1zT~#kl0O2dE+W#$1bW^(1^?8u_w`>Xu*U>82NY>`R9$eJ?FVULbNn{{E+o1a;{H;A6ZXnv(R=h?_HJOH#m^WDsusIA zC3yI*({MCDZCVcRE%u$H*n5QKAzA|5?c@6)_EGWB`wd914%NpY>i3D3PWg$`A;AOf zPX<5`=_^ruXl*H_DGVT%MF1zQk59l2d6ZHWEQG@Jus<4HEB}Ds=*z?D$7H69q3h61 zWEYz%ZwkmYxsmPWhj|Xqy@4!oeDn`zadAD!*-ij`uLtf@`+LtqYP`1))_q~2e`TEL ztl;C{EdcN{wG302#F8!VU*w`}`>73-CG)*4oQo*$mOKz>clt_M{!#P>3c#>m^BBnA z(EAqsEstCKu^1_(9=hbwQ8PQ*eV!~xx_{eWDo18E5n6enLorkmeXo8L`wI6Vir76r zbfIpSqt0$;6kDN0ZVsU!NtQY}z{`}gGT1oz!AU;L-`4-%I& zkp2}YtaD>SZ6TYstji%P5~!Lv{9o@tDQ^M@XjqCxwq~{Xtm&|C0imr92LFOh;Zte_ z;&wi)xM#8at{i%#%J)#8Glk5cKVY^dYh)o}8$OKGrvKJ%d6KJQ@E-Z%Wi?2RR=>fb z2tNO`dr!~Q4b^1 zJaeqNERV>MF?Db~jiuxsS7TYJOMhwAAqi$>hYEW9a%dBj8vMdfo{s5zF|Xhsu=q*9 zW;+g_( z*t8RNuD~&om*P)Ei{eG_BUR**%aoW!L?qZe_e;Tb_INRw{DHo>s$g~e74a)=hsnN2 z2Bv21oEJtRAf|xfh;w}HDl`$8|Uq!E> z4E41uET&+c(p5^(A?)bmbD(ZAw=i_#_=GL3asnrr!O6`qM7%QUsn z&l%o=66;yCe?~9mH=8!jE0PsyTX&CWOrUyh!%R%BZILJ_{K$WC`teYK;8b9qH!P!~ z9%7g`21{*EeZMY$xiH2tWV50pp@MiwJkrsbnp(d2#Kqkyg+FaNun@z+iY@>g+FcV{ zU;N->L?W6C^UwmSpxN|0WMEu6G#_4=Vre6Dnsme~@{GceVe$E5gDqtxGR)>ok_p2H zY8m!~s`aqHbEK#9_boNEPl-L45HhhknRgyntpB;m%k~ms53WP>6Czm}dI25yId{Za z0Cgk`JRW(WSaKw}NIysBIg>=CDhE5^2X#?i$~Zy(#JCj73jm9vgSPksmC;j*s=euC zC)4*CYS~48?62EpJC=y~Da%p5=&&gZEGg@|USEn6{^2}0JJidhp*$n9f#Gwfn_=V6 zpc=(p(NnF}I|}Epjys)usk}GKRc0y6wk`eZ$j41nIhKc;JkiyjQLrWYQR+yvU?F+@ z0H(A3YiA}PxZ~SGqtN*fq424Q*4XQ36r4VralHX>)ee;dsS(f35V~o%l`zcd zYsEWP{~|D}Wir-Z-YX;`(H?X3El<(SEP}YtgCD69&Qq*JrmuiD;)ThJEkyU{B?{To zk?b;#u)l-d1gKB4i@#_JuN?2^E#*u$bI)ozYC=t)cAA2Fh`RJHy`PB_i9TA{i9Zl8 zGpQ;Qe`KN%v)rl(H4v0K^iw4)7gHpBxR*YJ30P_f7nNiWi(_uKv2S;wSCd`X+Z~&@ zToQz0C3fOAP65*T;2DWRh!VzpV_vTtbyaIR&92UzGQ7zx_g?kD9bbsJmp2$aFXLn* zNMtf>MC~WbOuX@EoBr~lfV@~%{9c3RQr)|Un++AhCU9gvhD58*eQzKXHvZ#%yD9~b zH>*6#QSV5{SuHqPo|3}$nyXyQf7FSeCmI)kvrL^>^pp=xMc-y0pO@lhBlwA8xLjPQ z7fHPNMa_OiwOs6MLqE1{a$aQLFTh6NO>e-B97QSNnH#YuM?*55T&AIpiuV<}_TAvm zq?Gt*lhL6{Mz@&put`B7!(w~g4h=wPrsR84WIu7eqTv*z77L^vaNlQhohfAQljoYqP@99&MRB_a|UdN~Tm7uk2?C+CLj`EA#xG<2G?Q53wD ziIf;I?s9@^R5tOJxVwoOK-;b<{JB5m+1LmX8MUesnpu{!iR6nA;^wb#zfYr@q$-TP zbOWH`h?BFkKyMZ02516kqlfM=n{6b}q0Oc-dA`Lx zQ!-NHwl3;!p+zaqZ_Mqp3U=aO&ky&@v$f%Yra2mq~7`rtR!Ki>E+0J@($ML2g@ z5U)9hq1Kc&!~}DPYQXg{(mjXfFN(@$Re$cxo1AWdJqkc(&R`GdT6&cn?WAjxWn0-f zFk_~3+0*{Gj!dWROIFmIi^71Wq0QumK3qhKVtDA{52_5duB#44OMM>cze7AvuuSMH zBvOp0))bOAgldpak(ET^k~znwsZGQAQ~3(LqdZ~6`CoMjZ)H6Nyb=|Ssx-ufr$PMuQ_t$I9|iDj89a`AV%>0dHri@seppD(+-AJc8($a=ZTqRT)S zC4$z3;VaWCWr%202$$dD&qo5D$?KxzoN^@}f0Q~or|oNh-bTO3UB3H@&ZZs|VXG&cPcki;Jo_ zwyYZfckPqEIbeCJRLzI{GJc|Q{zN8YjMTytf#u`qfGNeDp;&)vYThCPwJt+lD9Jxh z$rhy)Dg;}&Y&c92r+ovN7h_FOb8s4)y-3&e>6-4?1KKESvYdGEXP|_f*Z7V)GWWC<$ML8;b{tkdbLOJg z`q}Lr&z%lED!b{Rcb$2y^O8`}i7!ehos|2z7?vd(D81oQ>O|xYU_%8+PE(8fETYxBQ%vhttq|6}(mU|1h$AyL-<2 z@q5352!Y;(x}nqLyRk>_TI#4LYVa&&W0-B6U8F;m{HX&LOYOM(mgx(YwdS|7o6E>k zWkcUK`PJa&^L#t^I+eH^;GJaKRp^V(6CQpwOWQY0A28=0P#VhLH@Qri&KZ<;TO)8iHazGGJrr?$8|c^ z^{@}mQJm^0haUMn?g(y2V;1Af-%rqQYjB`Uoz7UL_Qm8F8&dC=6^GOMCftsZ4;h^R zqKcZ@z|30xuJSxedQX1Xh3+{8hb(KWx~p_V<>+M@<(j)yr^)e*{YOlOJYdvRS;2ij9CEq~~D9O|IW=1)H? znfAqd5YDo%8D2JV&vhR5S*~gE;z)B!$sD&^vI>fm;9S~eg^wDNs{~=L(=&3np6<`} z20nT_X`~tfkEZY3T>72K7NqmbZgJ8ofBbwf$cm+coMAE@PE2&{i7Xj5p)i!BOMl<2 z*2%g-JY&cQlvBwca2+{o^f|C(4O}SJeeI8!yi*lo08N=pu^m z@#&asR3L4r6-R39yy|STwfdoc0yiL>#;!pCnKVq9DdDG3or|U!mjMDv*q+Bzy&Dp_ zd`QlK!f+02{n5Ya;u(BO!XlS?MxA#30Rp8pn*VKmUps0h(O$C zp!;fEf96~yfzfXN_})?=vS=f;5~Id);UyfU^|!+jWrm+iBgpZWJ+3YH6_PTL|4ac2 zZTsRr$6VBZ1QGu~hCKi6bwej`<-fTA|3)JGU!tl1_Uiw>?th0w|6eqA>Q@&*E&49F z!+oH5*h-v2stY3Ju~GrDJDX^6I=^Z&!eT}!dPo_qR6s69RB9}kNWF+w7Krl~XZkA@ z^jbU^2dU=M+jbjyVv+&(ECLwG!jaQOO)wqyUov0Ce;^pH(NuxBkrnXoklJ0|@Rhev zh+)uY8h~>PD3`MB+XtY=xvXQ_;@OE55E%uLvn_s@P%ET#5CTC~24EI)- z0VVZ7`#y@dGT_r=fUl*WRzjsB#j6lTCeeS_Jv?3XT-4ox_@F&yF85#Vnt30>a`kZh zQXC|)85k%|UV=O8`sJ-gf9HH%Vf}UBF`i1ikbLOUec%0l^Iuk;_gMv6;3+E$(Lpu0 zNXL!~b_MmK(7U>BcXbsV4+=VNpV@V+OW3}evnyO`y@Qemio+KxG zoqp4O=6QATE5lnBzR#8lpN#r7m(u*HNDT+)x8+4r_nxx3zGzliC`8(b=UWD{{aGNA z@126`DY{*tP9IE1Dk1i+yX>dk<_xC0wBhdj+;|bBC>N9nqZ3F zj@$Tc=>$hTW2P}5_qrs_S<=RQ@;r=v=xI>7w@O0ke<>7Cb$repR@&5s4w ztlglthJp13dr-^*n}|uHrazEBdl36j)&i-tig5Jp5%SAaw=4t+qQ`(u?)uhBuN(g4 z?9*#oi^*47PK5EDjxz$Se`;T?Rcx3J7&}x-?Y+dE5HxwPq2de3W&012AxlpnifYb0@#=sL8Df zfJcra&^@6l<;^w_2)~I0E6Sm4%lZxzV%&X+M}tFs)liO()-=VM|06Wf+C#qz!Z6G( zW6-V{2m;*V_fGhbbFV_$L79n7uIg)WrZ7mkW71t7(6o@l+M z++hC!g*SRSBolW)_i8?og?0Q5yY8NNG792{`y5gTRXN-~Yd^?^m)VM*L?m!`>q4l; zrZfGcC}F4mr`)KTV#-j3u0r_@hzeEIr~E9j3x$D+`v^88KeD{AX;ITKnhztDi_|wB z-5W#1q@IRK#^*=$&$Xwt^mLxV+jnv~d_>A8``J>KMNY7*P7t7KwZ1>y{>7O&;6R@{ zgs{~+^JvWwD=~f{yU9Yebvl!>dq%>kIe=5a+YaIyXIwzB&TB;1;%r`u+;HVxl3=*$ z4v*V=KZ!nvbMGU6e0ChEy>7zWzD$>2Xc%`cn|2^}sJ$XwZMG zW!mxnRD6Swkl4AeC;45DE*bjhwS=BkqS9o-i|7$aS_t+3X6Q2qn8XX8zB@Ms*lC!s z?L5V&U199hJ9p7QML$N5jbPizZ`%6di}H%$8Rz`DF_#{+ME=(ij`OkdZJb3&X{n-U z({$~kOW{TiO&mX*M}Oou-_^>OeQS^a_-K<0ezS$D?F+G2`sv>wpwzas{T?X3a$Yg< zl+1V1yYrT5Xg?d*5g!R3*p^x%%%5=O+t z{>gR^xx}tIIhmh_B^)ZU+Jc{J81>^n#*8S90Ax!_4Z33RDp6`gPx$Z^@enl@Z)Hh6 zmMVJ6eU_=a1!vbMK;bp&?H^gnKJFa{)CDeo4-&tgm8tBb7XY`d3rxlNvB4l5OE6*! z@JLC}qiXN#dm6_pC_EAC8RtIP%~omVhtzouEeXGVKO{mlmVYjxNR)6F z;qLDdn||9qGtF9jmcL22Tah<}{|0_h^W2n>U1WkquD|FfoIK|Qb%%VwKAd9Ia>-~^ zL&O_aQ?ry|$xqrWUm4h55;+a@k)=$ zj`nhU9|&7=UKQJ#Ng0>RfEc^P?wvUEHUn+9BUIj59xwY$xp0x)8noCeW>aZWFIgRQ z@>!aSkpG;Lzfk?5*$vfk>#4B@KCZFES3tF?SzxA^vin?K^YtX3i0u0j5%UT&^X+Gj zSzzd!4AzUk(mA_$N#B2SSfN0`ni`dF%RaXyDM*mK9FLUlh6+__3+Hic^YbIhE>Tj? z%+m1={EB5)r`#e`W-Tw+i+?BzD7ma-?`MVGZq=VWuM#JAFLTpF9>dZ1kY)bYm6R|_a``io4w6>KpP9zwYm8`|41r>-r?V=5M4<8!N#0P7$*!sxeFAZjfrQu9XzDD!Q zY%kau^r=}S?zOSbm54r^X#UOYA>7y^jW{zFARmoq0M)+6VdTJ=|`?}=t-cHZnfR%;*;Fz24 zCX0)S3J%-!ZwzjBRSwYCKL5SjO(mq@R(dnhX;7}PIWMR1{tfo+4xi?lZ{Hg3k8YXH zK1X;<>|f5`fBk0j=hpo?(fnf#0ts4i`u3S@O>GhP@uQlw79eN1u!Y!X&pAs+gsa|^ zdKvbvbAiP=wFW>Vw;DY*@O{+^_N)ymQTFkuQ{A(YvmMnNYZN74L8UdeA|?z zq20YHZvC^jSy^IJtdc`;2D>mxiiW>YUAbI=(q}o(dviEn?5*CIPHsZ^B@Q>1wsoZP z39*}6lP}#AuD=nd3l=fi=%e{*;%GV8KX&vj{sXh#)^<)E7U zI8xe7!q&1zi30ft8VMcQk-HrpIs!gC@yTXs@KLH{c-Fv}UW496JsGXsz&9zeM z8lth~x$|RMjmIX0B`O^Z;`Byr7{-8;BJq-_qR-yzL~BuwyY@X!uUjcjzUHDn?((kK z`ya}#Dg+3G!R^>zwi%bK-qSO1opwXE66a|Y{mrnx;gyVEv!P%uzW5khLQl`JMV`b{ z?Q18N1?L85uZxhDRV2wdC>gXw zqLNe;!6FD0Nk9Zil2JmD6jVR~$x%QsAsLk<0s?m~Jm>wsJNiAhyT`cQqsQp?#~DY< zs=e1s z=O~{^<6l4e+)ME+Ml#%zsc>%vORm+D#Gb#-zAe-{sTIDdMJVxG9Pd!)mVLpW%Pl}k zrN4lyGYneE;fqo+ja@kZIG@}5g@7>5%#c1itfwPhF$1eDaZ!=pbzp$|LORi`$(>~P z82`gTxEjx}EVzfXqw#o+pT@kFL0E8+iGe9ma><_9r=6)0i;YZ=vk3@Rx+7+msvIwd zyZuIun@EV-qMMx#D#)jAE1B-%QCPTH5W1Hb6a3ml?3`uPuXa`)I%w&jhSM{ycYfNL zEK)Tsc9pX{7#m3)E>^8qhbrPkllEoIm4B#>gr{<4CtC?5+GaZ6bwp*5k{7m|A_n#SICXTPXKApVcJN}!K zj*~b+F4r-`dIxV#d+J+fq5SX38jX5uKA0G#bu%&Z{V__~lt&l&ylEnP(?6^nXtBz3 zz7)TK0~^H!GyM-X%7ZuP##GcH<~X1_;K=x~v~jcjNiu0WG?FyF98O)7%h{nH147Of zK~~Sd;w`&k_t0fV;BY17(O8|T`k-A?&)7F8;fu@XNGW5xm8*EUz}*MWx;zL1sHw^luxvBTXrHD(sLUS;gS8#xg7dv?&? z{b5M!&)ImzfzgZ|H*C{?%_xM)j;zkuT~ADS&C`kz{5&PDsOpDx4~#tH^ZJG*D4T|L z2c9`f_^jzX8hm-*t{9~zZ*3m|jMcy>&!;qxPam3i3F+!0Yhz{Xq{zK@4OB=6Byg7o z)mV~-c;s_t47jH7>|nw$XR6Q8nas{&dhLxIFQy-OVp0r+q*a4DJo|V_>18Vuoc1C& zBo5m)jk`U9UgK5i!D5-%$8ccAX)O8$^4NK_h6jr+EmU;YY_%9(zEs}6_(l9c&%;)Q zkjpcjxV{I!Sp^L-cM7-`Ia=yEKlmj#HO&p$#zc;mRcHQ6{xuhP4=WIE7+MOxpcVUG z^M8dW)_=kiMv({y-mn`C&eJn?O_Lq97Z8LN{?qI~<6 zI8X1y4q^IU_C#`<@aO-QEH=SQY_#t=U$VXE=_v(x~6LJIBMBvX9GUzROd;+2}$(oIjBN z`026zcsKsh19Qs@JCZNXxI?Wf@XcPnx`s7gT=^BTcw~ZmYi?P1)GYV$0MA zp8C2seAp;H_dVHd4l4K83))gB6qT|_74f~gzt8z1(-ZUN*y{nV6V{@8g9`o?<%<3l zC8&mFuc49>C$ zd0R)T&c=q1#~zjaHTiu2b3n*@PnlS3u%&3BI;-u4aUpGif$M2IeviistyEHI95q=B z#Zs|+zu!j>&9$8Pz&QM1R5`(du5fxAlL!gxf<0W4-*~urstr5Gav_*$>(VJs2Pzk@b+EzX+%*%Deh2LcX@iOxYU-yQu zxBO5rWC>j<<1tAcljXM{>sny4os&QHF~F%YvbvD0u{MKXyTQ^ z%9Ue-a;b8I{_a2WZxrjg_&q16(%;623;Zm zMA@=}I4N`uH%}PsMRjl&J5ukwt!q!5!A>XWGP21&QDb!qv33g%NbOZpBsw0#FyM|? zR+pKO66*qNtljhLp5K!=OvjSHow!RVHp42TEq>BL6B;fZYiN0WQtIcjUS4U2mazt5 z?b$Eszyhx1{IRkND^qK+3ODe6*3)8(ekk5x`G!1E>)jjSF93bG*d(kir7f|IMuh>-y_ML}wS2bef!?gC@S;8GGVx5ev?HqT zmEk;NxSbIF?n==6P#(`8AilH-mVhwhKH3Tqd5kURh_^=xrDR;g5a))am?+YW(viU&klHxm+j*9JI%y#n4Fb* z@>stSpiMlhX+nQTPn=qZ|7=8+-tfI{`h+GnzlC5Q4zWBTVefgp>={WG`8Em8E&lgu z`9NFBZz}Z2T9uB|E~2_3!Quoyb)!pp(YP-JYyGkxfiEwEC?lH9NM@?7(6}^99P}^jz*Gv`n!eYnCGU8zG^Nuj` z5kRHtXkZp_pWMv0G#<=fDRu zb^>@uJNwSg4t|2JB+`RW;5oE}pck2u2t`)*kXDy|Xb@qZH2dXEmEsMVtKTj`|B)ip z{^s)Y#a?pX#$UwVs_#RL;te{uT|k^(@G)@qfQ(?E%1*GH{X zGJZ~_{{$B|R3Tq~ir}nLKY+I?%f|08(gg#=+)t9AD^+FWFnJFe3f_sp6TUqSx(`=A z(8rtdyzbUw>p9>4?tYA|By{Oc{450`1R#oFZXNeyEssGC!y`q86M@8WYTIqV1rhYg zsr$zljo&F9mCft_8r!ij(M8ORx666Q05S79)ARn@-*4MM-Gia|()mX-zzFX_?J^Kr zr(vud7NbKR2ln|>)L)9Ik@G$OT2Hjn*Et-(Z>YQZ<(#FVtI1HWZJ-%2E@U`hmm%gg zXS1|2A5kIsI$}{TTfW!&f%bVnb2 zq=-#$8JT)RKgmf-FP{&D*oRz{zS- z&~FeCe+LYa?7$499i9M>wjbielYOHI(M%*#Hk)?R?J+NO0ofJif`YbT?HdD{nR6dD z*8A+Bi6-jex-(u8)F_IM+&lRSDZ%uO0WW=K65Qj)u&ZF5JU{0|V{uTJqR}s%b1YK; z!G()6gMDFM88HS$Y4>nV(Cq$O^_V!x{ayzm|JMf5mjTW8en1SRD7z4$jA2WtwJvJc zWd3+}a+D^nQ53z#{Hx!GH7_BY+Lng&oLVb{S;%Z{<+BX5xn&cz3J|KAF1lP@&6n9^ zqT>YwZT1ZvH`Kdo>a6Ls``#{;RzaCm>nBKO1As1uXQvaIiLpjjB;Vh)5lhD0Buo{R!oPvjm)Prlui<-P6g zi6VKlElvjhFSbQ!9Bo2=kw?i8-b#V~SJPzV?#_M*@7f;dqc)a;--4%B;<;I5gF2EO zJ+$znU=Cohs;L-1u6VAkT-oW{?x)cYl9j-Aocq*#K(>790cR3@cdntx)qJI!MS9U| zpLse!=46UGymddBU8^Hjv{dNRNDc3&jOH}Qu1sU-tDCf22EefQ9%MtZ(d7J{0~SwU zS9BmyzAv^e`gJuhsw*h&?G#Gm9X$6_ErWZ(6hVRk{-)Pcz*KJMdaOr|KHkmMh#?8u zif2Cqvc4t_f3ccrE%sitWX8rZnNi5ccrLCiPK}A(kEZ*2hisLSm%8#9soC^{+=^5! zx8bwsdUsg5fOS5_RzlyRAy(~Ed~im>Cc=wQmRiLJh0V+=iSEDcsX zd#5EM0D+2;iD|T+FU{R`!R++wdeO#dGx8Rg<+5mk)$$3ln3x<~7eHx_!G+rcA==ZmG2~cJc(rWH;Zx?8 zzWN)0p6yJ8MlyI{4a*v{HAi|vJ&nC)aGvgY-{gw|0wS3S(0qkP;C4+6LC<6kF2 zy&k1_cWf(&>EGY-Goo4BAnb;I#pKkg_lp_?Cwksf)x#*S>Koi0%}UL;!v(z#;h;hxg@C^rb{OSDlQ)_n*P7W}hrpan9QR#){D0zS6#|tZ^Y_HV#m( zi)LfW`9)0vd#*Rc3}p)W1SgA)q<-c*yn!3J7K_}cGymv5wY{-`eeuSGipB^*y5=D#q0rw z6H9dGqo}$Mc0yVlbzXF}jKg*&#~ItPEL|n`>x@QORD3HAn~YNOj*6$WWlsav;0ZnG zpyRh`Qd{U8i~3@{VZSJ@#8iy1LwA*1*di9{Lo9@gvyCu>JjX#xiDDHNd)6w|r&uQk zKYX{u9sd<+$k`7`m1PBVdTHS5%rbtVh1F-EQg5j&rfqs4P1zOi{IYAKR7j)Wzy{MJ zA3amUNy4yw_=k+B`khmUqxgCDEeKpCitEgp)}@+eEEpV1y8WdrQ4+fq8;2S?_Qf8m zi^)zUYC{Uc?NgXJS!rPOEB(IMQ=OE<#AO{>+kCzdMIF5T&*)>M?&P*-9VdVPCp4$aA^L9k$b_#cCXF>A3!0`-PR;~v5-)K2>ek7^;l23l9% z#zs>1PrNiAY@9r{4yen`^F1NeM2#CuoktK3qt2a_F99lWjFo+msb_j#%_sl0Sk+yN zvUk*=!?fo2)YrwU1a?v=1A)=+qDi)w8V2fgGC03r8{D%f2ToL~^y7vqJ=~^$%Xi?+ zeuL-anJTnmCv1Cm`9u;aNi5x6SjTS`r2HJx!geaoJ4?<>(!y9#g{8g--Mbm0rZ8pIXkC|X432|&GNd0wjFv*_pb#P5@wWhg=gv;^oqUx&>K+~x@@S4?qCPfIZwwO0E;srN$^pA%q7Iup zHl^fzXFprbnwl{`YW+BvGZr#BMgQriJ%-;}z~pSapm%X%@O{Ta1FRX%TpJWAVs@w0 zNdlIGn?tq@|D~swug1Kv`d5yhtt}~+GOHXi>I3IfWixxs=ZcAoO_UBPxfbL3zGpEn zk4Sq=WVAD3$I{XG@&1^Iq#zyEP>K4`?dkKeR>PBVPC{5`t>t`OPK!TRKW-5lA* zREU2n6$?Eq!YH=&=GYw)DoHKf4^nG$BoDOI9=0=o|1dpFkJebt#HPa7$1xW?#9`t7B-Q}tk2BG6#O71TX2u^(NPfNvcAW)qqb7< zO$R#-&c5mJsp06-)Y~r>4Neod=+12fo(UVWXJZ0j#7kQwgE~Tqw8!ipI3<}1tu_$M z>rfX|uQ*+8pad5cln^zXix9PAHK8@a1cnZbs$2)#XKc5j^p{WpT z4uP)0a+vLMIT|rA$pfLG7F>VRUD*EM55orA=kLhfqeF_6h|<&b@(Tp=SDcOJ$Fyy? zzO5te*KjktzWjCS8HdO&H|xD&D2VhV1^lB2s!p>Bqqq`~r~2fdpcR3U|Bc^kyoWV8 zzqNR=uT5`D{O-TP+Pg4&w7Nn9X!fkk7XCGR>xg$?qlg)D4e3`C`6}|N`QRVihm&eW zxsitLzQ53>FZTkJ2MF%s_ zotPSyt&ciC&VZNpCq%6u4Vlx5Q1ZGf<`(c*l%4Vl76=oKsvE;iIa&Cl;2wy)H31ko z>DYDP?@P0A-NZKGIpb-lG3Q|Reldv30ZanVq5H{3>~GwpPH_u?k>1|he+yhD4+Zf5 zxy*m&=0EG^Kbzq{h6179|1qNf51tGWTd5Gj-kKzH)QPw2@ws!|*ADKco|A*qDu_?~ zEG^a_79pMX`P~c+^x!;Sw`x)6+Tw4w|Hmzdk%mZMfJ2ob8P8X{Oc}Ryf{*sL6bH8ELTEdk-AZ)ue{+aKC!N$r-T? zzQRr&&#%BK4<{krP8vmcaIz|A_AOdMbT?CN`TyClc=zFpI2ACG{OM-Y{=wka=u;mF zgB278AcSP_-JNh$ZwGuufHo=~@_gzEdERxo5{Dn|w-e5z3_Rgzo^M3MV;ZKGni8w7K6sC9vAEA8*_E#$i~$P+tH zL*=+n3D3(3APOu-o4kF8}q|a5FPiDO^6sgL?ch6$AdDzXTmOR{Iq*eQhI? zzZpIiWM7*=yIAY!6Yq@A09-jEvDp@}w}Rh%fTo)G97J6gg}3yWJ3P8GjbONmuE&E= z5N?%kQtEW&B}l%UK#YAudw}MPk!BV27Pdk#^J;=~*NHh$`{+lS;{Yav=Yt{)A}aR- zv(mgM9EoWF$DgGyb|93wC0ip=suyUMWeMW-e!Bfb)x$Es|3s6kW`F8Yl~@!xYep8HBiMs!rYSD*ZYz zNWFW4%v&YyZ-5?QXh>QYiIF^g{&V2%HxRa6T0<1f0Sa+y-531!cPJfU6FC_pfO^84 zLk+=Zasg5bs=WZ3` z5lud=j{wM41`O6*Elc_!0q-Y6korQ>)5S;##>Qu6u&fM{UZ$nrmLB@f5xRW!Alnpv zYkbza>v_t7vu8OxqRl~jyx?1IVYL$=E*2M>LA@frY9mdK^D>nqqmoqsHrOYl{V?_V zSx!ST-uP72x60haUx@P!k~LRu3IZ33dgrYhtVP zm|)4H51cR?7r%Wc%bY#rmA*Rv?x{5qG@L0Q71xCTzPNk|NI)Txp`GL`5Sqzse&o;( zD^CN{q?U@L-G@TQ%gmg*K0F!EY+R~;6(rX}%Smzye0Yy5LJgKuPT-JQ>dLos(SB|~ zMy(R{1qFsXp$VXbQ|qU(WTY6lo8J^OVeuGM4v$jCQ$q$I+&76(imCo^>@3F7x5-vi-WA&5gV?3q_?e6A^&F*@BPEfF>Tz^&D#M(>!uFRymS_a#8xYCd#PP7=>` ziLgV;ZT6KcCpjxejr>}T0bdLT>S;QcmJC%ztkU&k?;tNY-pUeu`Gl@rWSsoYHjr|; z44nY($Qzd!oPBehA>N z&H8o19;y^5AX=RpL0}}Bp0HRE8V1g^6)^ZE!~CiI6ToctFrGvcn*;tQ6Kz9kw3jffE5I zCPryUxmfDTWAr@;o!9pHm+a!k?o(r>Dm@Z$3|`KUypm4Udp|))$MR&ei2~lVl@%A& zV9$0(H5H%`l!!35#O+=M!{)~ShAanD^>nqe$giZ$!k%q8bv}{;D*CTJuno+M#HW|o ziKLZiXspiZM?XrJp1erb9cWeYm(ze(;}o3S$`v8AxfV~Mm&A#U%Bp@D_<-OJSmgjH z9+}uz8S|hQ(*Y*ryIAF7h;$NNc3jA>LM~EHCA;IP+i)PE{KBK?_EZE z82;j;-n@~mJ9L8GvappyUyLKV zLE35%5P1C#aZ8zQ8V{AnoN zl1#daoy{oB4F!cSiK{!QomAmS)cx(g*Z(~niTaWwTuVp4;!{;067)!`vSCAQvyjg$ z1H#9k#u!*SfoGrB;V*8ct80TTAR@w5g>pY3+90OIx#Zao-bW?T9*m0cS=Nm+RK^&k z1Pu9Z#vcCxhK3ldz;N327h89fpSbwzc2ZirQj2uCiSz7_)yYx~ArtrGrIec!ytT

Cxjz%!qB*+9?V(2@u#S*jw16u7qJ>; zLP%A8|J`vK0hwcTn`&s+wZ8&XSPT+rZEMD3XC^I#1xW5^`XJS|QMkj!5b>{Jy; zV8BidaM6Yj$$E;Io)g(nJl9Js>|4_W48CdY;qY}fzdO%I(=C5bJUGil9J^t3rmuMt z&)qY-bd@#a+sog6o7PCIFU(#W4f%O`yl)uYhyrF0t3<;++$7)BKxwWli12J5F|_c? zKqW=rf~v)Q7HWNB^bN94V9&C<1WY7A8YyEKhf(s*c)p>bv$4K5)xD^I_kaqE1jOAu z$S*5x!dgk!wY~zU;DJ`Gj^%opp_8JsW*1v`@R<1*$+JsdJn$MWj>Mm!b^^piPyZXN zo$Fh?_dKKg${o+(sOH;m50>BUM!s`Z{I^`G;cM1|KpdF?o=Nsq&B}0Sa$!{eZOQ$6 z)>HVXLi`z*frv~6D#~KBOC#e4o88~v{9u8Ki3WjMf({pw#6x}g0IU^JF~yVGm5byQ z6!#FEUn`^bExw3GmkI=8*RRa8q!Q_;YZ1H{iuv z@u27l8*xBBy`76BR(>;HM*t3EoqfDCbpE^H7Pg#s)wfddbA!jL{p6qkH7A1t=Q*%# zj78j8+x#by108e>nvhb}!zl9T{wHKg%a+P(Ke)sKB76x!a@*hwg7ol(L-0`7PIm30 z=KOJn3eRmo1+{AXsJs~Ao1uahnUSjS?|Ok@@`{{y;3xdMSrr52g5k+@*iQxS-Aa3n z%8Ln{=hNF5vN&L(X5Mv)Q_m@bA6|G(+?2LE0oHZzzLXoZaw+lDbAopxlv>PAneFwr zgP}@pI}~RS`vSNw=C{40w(=l%m1Vbp?k%}naD5CrdmvOQNvLpshX?F_xAW5~L)Ia< z#p1h8*KO3-*O%=PR{|*!4tq}tB_6+UOCt%_V=fBJ6O+}SGoV3ZSO!s&>C(3$;zO@d zfBONrYUd&O*Yy7GD0nz#5z0)(kfkVBBhlmM`dBl`RZV60Z;?p1UH&A+6dD+e3k~BWSp{eqGTgk$MKYp>01hn{#Ivv7E&CO%Ao}y2L1%#J;hihXb7;z znQ35+TfrZ&+QD%misz(ZRW)t9Kk~`ay+b+EEdZjD%ADQv?TYjsV{A#jbB+3r$tuU- z{(2WuBzC}>gyGduL8$w0$ArWPH9-_@&?-bIN38ki!#tk;h`+f2*Iof@!XDTzm-Gi7 zckG0hu78lP1q=$FyBAf7f{B4q8T3ibtDc5Y%~?ke?1OXY8Jy?I#<>RhIbuQ3tELfE zdM4sLoc^y~q-ozI(GJzxfikM4KF3C0ajR2TriPodOd9q9Sh`PJt*$XN9NbDtv=vNI z-$Atu7DfT{^6`>B@o2y0ro8bzQjes zP_QhT_h5m$GESF2Zi-iO*?;cZ4SZ_Aj=P`aIjzz5-o@ADFINp;0V8QL+bl(Z4++64 zuV23!Y!PE_AJyDJ=r+3r&9!Nx(UGxNXcCMWTI32Co=XI=2kda8uYB)Z&MiU(YY9ZM z@1Y8Zc&wn@O1bK=xLs&I98W*tV65?!sh)R)oz4g8kh)j@ekGm$?Z0iu z03_j^&Owtc5YiPoR7n^pgB28bmEpJv7r+YI{%==M;HRbWj@kuE@#e;; z9fFPVey}-kH;Yc>PX{b7T;sl6*B)xlk1zp7wEuQ*m;{PwFThJ0gsSaJ@wTy!oloA} zy$a^=#OH{oSaJl_rCx0itN^Bie9_FDK5 zO}!^Fh)}NWCjL;&HaLv!M61P(H4hZsT!P};-eUW6GM@tW=RtupOFB7WVXB>9=o8VJ{#Dt=CJK`XvRC@G&8h@?uR02XyAoO`15WZwH}r= zq>g%hc?A>~D+;0P^}8pu(711L@=M5dl27fP6Grf|hT;}N2B7@7XRqu+yFwCT|2-!f z8E-)7UNDub=LPN|5xB9r^FnKwYoMlEYI%LR-p}t_#hB;XVfS|V(KiK!YFOnEtO3}? zX;_r5R@tZHJwOrb9qYxsPY0)gr0H=lr~MhC;i67p2#;A*p_G5WAGc*lKE)39l%(Rh zH}%vjKWC<@M>gmmg~GP^v$N@t?YwsL;2}Wx82nX%I&)xcPSOObsy&emgL+MgzBHgT z8r)|sErBs=CKVab4lLkNB^{tiBw=x=pWTz%y~iZJ@^nDp_uWEg9{yMLoqzuXFnzB& za~n80ZvtA3k6hmLOXr-JaD$J>R=hMB*84z6SL+FDFdpRt% z&3skJMNtoLta||-wDcfvj*RbH7V}q1CHJ?uP(z3k)Y(oZjL068xAg%4nSqHB+*A0oY8 zXlGaZYRUa!I}(JxZ3IQQ69?&@N2@rW5!PoNxNIO0g>Pf%C_9?F0pLv96Qai8$7p4D z(08aj@DXhCl8ez0~+KCrDv*-g@_ns8;tF2RP6%+;85z(1(#^=gKZmpUj6bBveFS1 z>{VYccH^?kc0*NTE~CxT^stUM6S#7Abaim2i%8~r6$R$Z$2qV<*{R&5Vjy`Qz-lYn zV`7Sj)L#+$)eb-$nDh&YRS1VTLYI=PaZmA@J9*F&=x5=LwYLb_z-rr_kyg*cz~y67 z?ng<19<6>){G^=pqV|k92?xfa$E*D$wT}GF<^sI{lDyPycyTO0K)sM5OVYm_+W{`d zd#NJu>;@n%F}_dPTiTmg14dTgg@9d7FOC2;sM`uR21Yl@xGp8FxG6nl46=trwJ2=D zDKD{jrBaKLg=8am`no_~uWemiZasn+B^TNUkw?xNxUrV(@plKSm~liiv}gi`sbT*n z22P6>Iz3g)rh2zxLma@#?*Mpg#34kd0}dQpfDFof)ZRgBzVk@%+o#Idy~;R4jI=-_ z%AuKWx%;q3xAwO^cHUL9h@o3_ALPPwZ(((Y#@}tsCvP8-hO<7n94GrzCsQX+yam_EP(z;@dA+M`Mfjl$yVC9=7|g5Fa-G!0-a-!mzT zJrbT*N+;g~6Q0nn3FP}~ z6N*oLKn?j5SQmUOF6SBl>?Tu_z%A4{np@=OYC^F@_>c#8YMGUt%x5`kN0CH%3YRV8)syfW{j=&jV8JYII$AxZ z<|VuR1L4gXago4hQ&s0Xh(84XG{^AOw{0IG`ui_&AKG;A1L3Hj<7xh(i=u|lA8m=_ z5br8SFJmE!t;ExeXPlZq7Zp#Hg((!8qEfq!yAbSt%j*ZoY ziKx3SqO`O&v9QOAAK6-MKn}7_=ii1Y#m9X`?)uVbLwgEyDQ!S3ijK>UZt=GPE5jo$ z3_N<+`7zc6HQ4#n@JD>=y8|2?3LiJn2Hh#ilQLsluani?=Y+%Kg5;QCSVaf*M;QU6 zvyug4#lLA=GOjI)EkuKD$vAb>@lbV~dki=OI9Afbd+5Sf5t| zqw(QgpZn+@I_@)1#-$`E4|^oc+#jOQNl+z5I+9Sw3XdfQWkmtlrUo55R(^2YR4=p_ z9k*HgxJx=^AS4yMeESOn&0DD&k)6^MJV@}MjUec86qM`)cYO1g!M2Y&=%`iUczh~o zbu>l%ZZr$y3XM34+xF1%?R@LQ$2k-@L*VI+Lj~M|VP>8lf_K2UKLVS2e>TL*U@P@! z@PLDpy$XB;4H>+Q?xvcFu<=^%fk8THWwiVi?S?`E6UGX^j7H}$R?GOHo$mI1seHRS z?Dvw;OE$wF)VhOS^6u!-e^vHwgG1*~>Vuoo0{ihi?jgp0io9ujTVLAH_JiSUQelr* zUW1Y4?ftJ3L@D@1e?xhS8C48MsrrLznc+9zEP8)+xT`I9sCw#Fzyo4;{LM~d;7f$l z>ynL`)?R-nx}?#|=Ev;!cHfcXg@K5%81OQ|tXWCJyZmeLMeuo(%IocqsB@l6?$%~x zrJIybfs=9HTka_|Md8Qi|E@tx*$E%$-&BpV>tR-UD4Ke=hsK{5rcZJodt62!tWC*B zRw;ij3r;l3qf0++XvTlWDBVqM7G&Yo*#$FbqV>29CDT5qYgqpMT^m^Qd`JA%nPR~q^?Ct(<9Cp# zCqnO&3sD8(7K|K*#cXL?X-5#)GPWy4r>ii7bI$EYY8Ep&M~B^U2h~%E(CPyd?m3~e z|Huz_zy~GbUVwi&VH074^zW^$Uxz*oJ2Cu@E@Ak&&x!11C|Ycl8gkcNg|w)-r$&v4+{F_doT^z=YV{Mb3ZVSj3i1^WQLo*RZX2}v zKFlWJpoNB-F1q3(StZJPQ?3=>q-*sS0ns&VV>~u219Qo78GK(tG76V}q%s9j`+O*q)J(kuu`%Ku3-6V(O!AqA!~0Ea5ou~_Yj z+|U(btWqFa@uaA+iP0rKt($qSda^!Jne_RHli*HKS z)CP;Nmyt%SsY^XmzG0z-CIg@hAMq5vD2sRngbVCH`}l!tuq+fCN}YeP<>(dEqFV;g ziKMI!&tjpn_nm8&rv2cHvo9^ayuD+SLxKeD5VIazpB1W|*@0S1k7#FKFRjb!xp+W@j~`3Z2@JHW-v9@lJQre;^I>H*+m;d zHa}>(7wtqpc2P?l{W%QZUWbStS&;S$>d`G*CJ0O%p?|3!l6F+ z2I)J-5z}X^5vN4x$qOpsG<(oTDnU^%-9g(!gx`1p{?#l!ejXAIP;2L!CLQvNPR|oe zjY$BdHWLkVovZp`t6o+Uu1J@;O`viDKFej(gwYIjK9RESheaXL`RUDkl*A0L9`T=l z*?4|7wayQG2DvBlGXz6-pD0A{FwFP*Xc)HXTwXjswU|oEwW|2c$MYlvj`+X>-Z_RUDQ5UrC!l`Y<5eyQO$k?wV3z!ti1xZFoj~CDLP_CI zYdR1nKfewZ3gFXK_TxzdU@3a;`Q`ZZCe|&`6sOm?TBPDx&aLdBL982eF0vP)T)-l& z_!)33&}?B+DW>h+EE(UKQ+?edHiEi)&x!X8 zf+Svz1e<{z-V2LJPf>KTEr`SOzIDoX$LgkNRCG22*|w`+jz;knAEx7F76GIBVEV=$)Rov zYKL+%*>do|#gA>B&~mb+ngKe}<<6+>E}9! z8PW;L=kN|8H@C%o3O4ITPyKj-`_l9RbABgusDoFdG5a{z&2}UU z>jy55UL&7spSN|1K8ioZ&LQYUDp2l4!zqFlcW z?!JjV9jaJgjz1}WXAAW$aHww`*QNtEOYSxNS&UgLQyhH1eIZnTd0vpdfD7wMi3uYw z5-6Ma)ZNsP{QpWE{pB&*f}b4|7P<@l)#fI+2HWIqcK*o({Z%89B?!-8>($AMe9`}g z2{mAya54n}f0Z_Hmcb)e?2+9M__ZtCIC|>GnAIFU)hr;M0Qr+mS4_(o2GKN^E{UAa z39#O(XCEB2?SeBtq4nOef7PT2!Tl~PCbyB!!O4wWu3bVU5g;DpyBzQ$kBbxKspNa% zM@5G&j6y1G)7O+^f=S5PB1xyQ4!(#Kf(Tif06!!q;XI(!v8oxt?nq@6@L8Y0Pr^{% z{u7MBARJjX$PpX@1&Kw?2}o%cfdQ{WSpx*3P6JYpglL=plFKvuR0-ZgGf)QD5XA!7 z6Xz!%kZ0!jILYAgxv(W@xa3N7QtwE083wYRlwI>d(+hW)c78|zFnSt_xhVN%!vohr z&=pSl+Dqf@kM4ZWZ9%=^qy`+0ER`bG)zevJZb!h9N>JlKLI!GiB!$o>8yAGX1LB?# z&@N6xixOUUTv83ZVJbS=WKONba08fhs8<;jg11S(#0a7MTqy{4pcYSwAUiPw+Qx#?Z@~BKLJ}}b z&mYSA3;^smzU~W;FB5;{LU*PH+fhRU3ol!gl{WX8DGmGS0|LE+pbYImKgHGC4D1_` zqgOQ{sf9k@rSpbf^$WY0&D~AP9ngK4u;e%;Q(|ch@!9O_%j^jkA%8&xrCH>KR6*u> z8j3-S;lIIqvOkU3WIXdOs<~|@ZgX-ATyGJmRMkNdR}&>65JA=BKAwBRhmkh@?|?xA zB0MMVlfn>X%&ENipmsvaSymCcuhkB{)rAE;4Q{`!1O=oc6D~pG=#KG2$N(T$br4cl zpVs{k%X+)Zzh+ExP{;7g;Lq@(+$qd)Wt2jb1-aW8O16l|Jp*!KEhI@#9gSE>41)Ym zO~-YBiyc6`_0FpZU*~C&5#a-Zzq=qY}5bt7#W(84K>D z4_@4)IW`|VSPId~ax%NHH^JB3pedY}VTe$&{gfd_t%LZJRb+$JWsOoIOCn|w%Hu&gd!{HVx+QH6Rz~?WJ5gUZ znS9)0SfaNOv>f?#U@k1xUB@B0TLcXh-|46cN#4eGE-MW1KBkoF7wG32Y$q&0&T0^} ziiy8}&5FO!wZs@>@EO=h;dW1n#&pCPC2+6ZGy|V)C(&^=G1=6}J!`u^s$k>cq}}}} z2keY~z1kNre4excP08)v{am%`oDt_>rH8(L-W{)WJ?G2ou;RTOxRZ}kn^PrwjnejR zPildUzbe5;LL}a+KZ?(U;K%k%2y)xb{c?RpcNBa?_k!>uUth;OOA?zcFH;;6c_11d z6DAw8h7`p_zf7O;nC!F1gt1CCsoZ0q5W5*1LP>N~ix;~K=X4V%A~Kr4j>bl|ijf26 z;JmQo@Ap)RWA19&39rV0yYbW{L@icCWUOep83b-9Ol|j2g|6?^g3sYlYC7(govlzwF&8k6GC>NUr;cpz)Qf2rVCjkF7l46tDoDX zaUi`t6Dr=y$4~0MNBKZ-nh51-#Ws!a;0^BrvViF1a)S6DEE<+a6y4_X&^SbU08Sth zI&YK?3Y@tM!h~Y33xS0whezNh97sCHDCC_MKdi#LoO&X4;^Tya_Uj0-yWN4qjH4kV z5yPRGeJ?@9m36WVQ~-T&tM-serobNTVF90J1&)BBU+%Gyt&#&Et}(=1LfU^6=U4(x zcBSA^Vs6*V;g!n0j}3s~DS`M;xs4KSaWP1-vgK^8O+MaRY+AvdxLXgwN#TE%E!bjUVj z#nbay-QQo?7ASIfv&dn%UIoXae8j>7xth zdpJ|3xq-)eI}4(vbtiZELBU%68z_Zk6lw|20j`*@OiCx z401tK;Jjm1R=V>SLbw~MBJPH4e)&LO`NR%Ls_cc!d6ahoHw}-Dg6*pgFxgstg$7n}fHj*LCii5biKGFj|$~$|189rkAvsd*Uj3fZG>4tLB zER~NFK;^jkFJ7=UEUe(IV&?F~#+;iw+t#1X?WWvA80Q?j-zXU45x6d2&C|BG&5;nK zOU#4QltAFrTMy{HIC`a=9d0ZNLk`;}w}kv8Cjc4s_D{RB9)S--pG@q8vJY{8t>yhD zA}xYYW5Rhp5NpMREJ*|U#-X%_h0;ezb4<>52(gLZoQl2?|0`VJ_R+$lCkLOZ8~(XoN!Q=~UW7gLNFeAF@iKqiu)a!q)@moCQETjU-aF>{L zg6T`@1w|Dq2Z%16f3RLZxcx{5H+2(iB!Tb)rCtA3wUfe2t?<1}ajM4#;|_qY9+Y2a zS@Ah$u~R)dW1}z?({%#KMq9-dfwuo&A+B7C!k=IL&+BAo1&@ z(-sEAzw2Nvc=1lkoD0`wN-Xk6fMt23_ApKn41RefZKB8Yn~3zZJL9%VRvaj z4#P=6y5J(SfBRvvM~exP2ZaOWENIz1?}LfmaHe!UPK5MuzwFX|zu7zerG2A!sOOs@ zVgt0knH>(%oeZ?kKkUsn^yliJ2D-?fCJt?GeVfbfYdnuzklbg}VxP_Tu3KqAgMWzk*0@Ml;85`qc-azE+# z60`KULikpnwhitEn-p?#9+qPQ{?BsUAN0}|mZJhJM-1lfvpq)^g47+JKby6#W^fSO zYP(-{KC~b5-8H-o+)iSe!s^H2DQ?}aZ3lCU-M9G^ap@JJ%&_@T_%RpnqP(3pU_FBF zuZNpcOgWi&S1|Q=-RX1U%9yYG1IN zT}v~L+UI)V6?*@NI0GT<#NPSy{?nU7T+sUmQ{u#WqQHswulFy_E)1bCOi3QZX|_VC zkeXx2!u)wgeOBHUct%n9mwIYw_V;I?^wr3i!Y^=OAp~jvIzo{#`k!4z$`0nu;ZYn# zWj3SVzf&?0u#ZIj8I`Y&O)oNxyaJB4JV4#uPqmjwwP8=9HS|4i_AW1T2Gh4Tp&c$<0O`=IkU~ z>f|veg9y1zTgSxCs)3Hun{v#se2N&9M`2WTa(@=qZpF-9uquM#F8Tp#U5ooSUl4uo z{}-RzgAQmuXCTufvDwWC*sq0rhe~sQngZ7dT1TrjQWPfx_D;fg%Am@n2cbvfJTcQ{ z9jyt*7giP~enKQ<0(4oF+_`Lbv8U#D&Bj{cl+qMoO5iQeIkz>4wBC<-&DI|%)WkR*EBTJDMR@LVSp1|h4b;| zviAv$r2HoO7#@jjJ4ltHm(oa#+kqG zyS}k@^_2zv0$>#x zNLBGCWOT^@|yMHJH%asUMI@dEzv{HX?vuKU;UNdD&4FCgtS550F1;5#m+;( zSx2p5$_qDT2JbQK~-2bz2*wbt#85*czQ3G|Sn($}iNKrx6 zVkzoKBa6TMSEb;a(|3?AC+QZ{mUctQ(^T-Hr65Vd&^9m27ii_c@_O5kL}(#Xm$*6r z{`Y8|HlCkZ4g%{UsDXL`^JiHFvuD2lt15TB9Q|TbR>$pX5sZ04NP0IE=ys0(XqqYO zph+~o@Hok{=t6B^KmX$gpAYg|Tcaor`nx>0dHXLt(&^HCxAzu7Zt&$=h1*!Glv6h!xFT4~p+C z1Z{4pWX{+8x zB2j9o6g4BU?c?z)XxVAkQQsudJ!Ul3YERNH@`Ji`#-m|i$ohHySi7q9`z+LRNO&>) zP@IYTKn%v}1inSpe}^PMUY`G`^#ViAjJEg3PN}^y2;oEZ zVP!21&fi%j93ni%+h3xN1ZORLW+b~}<54>y+lRkq?3*tCg3wFDG_J&U8p;-nQ3D$! zb6AuNByOvw1ucVUis(chXCoOp7Y@{{FN)||4mAA__TD_2>i_>2Eh%G$ZLWxIlc{7D znK!n1o_mi;@{3^DFLC|p2vl|QN9?HNqsmIHv=Ss=o2ORD zKEFgd$^Y(&jL?zsg|;Rz4k z=5ZofEuD|?>&HNcX!z6RQOpGN2p%a;buY0YpB}w!KcWmPYtv=NjQ!j8g9R={IaT&| zKUhd?fLwTV`WNuT{k#V*W9J7P#Y>$E=(*kBkygwPCC;t)bT#txU2Q-GuNR+gG0GT^ zVgGMffc@U4TcH<|qQ-k1w!^TtO~A=a1@-MStLw1c%U$}Z0h3wuu@0N<8LtcPgxNy#&Ab~K&;Gpi1NvCt3Fe&?(A`gT zV#0Nk5Q>1#nRj%R_U9n&zC=lw6ro|pGna_!NS}XoOIhne8u?=Q{>`(u~S#Nw(NQ{4P}dsA$R%?IB4;LnlpF3BA{% zXt}KN_oSi$q|j_c5|mJy3S!pNZ`bvU5Kw?{VMQN}zZ7*RrnBby)^aP|wCwDJ1LJB; zdc{2qYoGS=(AIc=GQ->sgbVgZQ3jA>b;?{4wVQ<^Dc80|-{{icWjyWywHE#Kr3LYM z1>DhRS}t{Ka`>$Z2uhbC$SWTG6o*1s5)tkff!N`vBQdF>VUkr);u2Fm5WX?EyEc6J z_yc?&sgfB=QRw$x=ur4@Zqo3V0X^n$J+5bBvHeesZuZ7Uj7Y#)U;sq2I87FGX78Bg zCo)J_5#tl6S5V+GCp1;Cu8+1~s$SFa7Y;%3wI>q;iM+|Uo^we``JvN&p)-H=98j~* ziX=pf46mB{nAC&VfKE=3jYhb|a9({IXSod;nNxbDS)tmPN82{|yn*_+T_eiAFE^O^ z*_MCW++q7G$E{<|d|w(|H!f!EZS)H)&UcyGkVARZRNByR1adxkFcd9&`k#DVw9>ix ztWFLkmwCC3Ps({z#_sMSU?foV0czq+r1rAQx*z@Rx$%o}?9-uas*xGbZNGu|3gS)n zdsVY%SGqK$>PN-C>Sq^Vg1|pwj45|vqZp5;)n)*WatPAn>fnGeG1&!bzVC8N=&$PciR?I z^V#Wk%YoN-KA(Ect?tFhz*qBTkt5)+$Gxj4X-d?Py>v}oT^;54_^z4p@1+-t0pCYb z7C-m*dny_6_+K)#O8;#+Zr7jjNCAw<9coO>l2e#n6?qsK;$s$tq2bUeV8 z`danKwR>wO*%3~MZSbk0Eu%5Gi!ZJGE}lI0Eb$eJu&85h(%Y>V?RjA_wIeR3G(Z3) zyeYQw6g|-Xv1g>{P~4&%O;C(olO2$wc}Nv@{I0N^To^V$7VmD zmishQeD8k$sZXkP-o@2uA}!6lnk8fT#BEvn95*&@78*2Bk`E(U4{~g7pc}PzU^2rM z1Qn8V-Ey^vIL0-UVbkX*X@@|+;4w6jK%B)H{+TEjhl?JO`m^$LEK$5G|CA0S;V|9$ ze)y&XZbF}mYgKCv%fvgYergpJ<8mXXjel#~C?UaiBbG}^VX;>Th1X=EQB`nd-?zgs8N?Q^}vjAT(knDy{f>_lJ|K~DIdfHaM6yF$-RT{n_F6C>u3 z4y&oz4-5^{#7QqTjO({CYP1PcYG2u$Az~MzT&FdB(uRl&%UT?_#G;E-3TJaa8M{t$ zW1qj$%r3yHM`K4jjHHOT?ThoOvzNI&%@>?F2!peYsd6*|B{5i=*G4iGzJ2;W7;n+O zWZKp8inZA02Cs#Z;kBp+joP|tfrjrAT9)(!61ZS3pQ};W7g@Rdutd633~X2RpK`aw zQr%vm;YH=Cw3=wS*k3I6H#szX$E*X3#?KdgkChZ6`E?Cpz7|;CBamh;IJEfrjp#5A z26ZJfG4lkzng3x?FME+rCI*X&0?bxYynRN^%;xX}^*K>>)q<&>QE#b!6Ji%JxHmaG z)lJaE6N`>kXy0f0K1K!=)nt;)J211~rYSo0t%Z9s{I_MUiT4+-OAlWk|BY1E+-?Lo z!D#nqv9fvHm1u$FpPofm&w8*A&1PAtKMGgC7rQ*RWsa8aOihe`D$tmej!{$74#7xL zmTL@i*K%MM!*863!WL@eOkHtBaU{LYQEt{)Bc;+h&j$`dY_Jr{;Fph~#^H##f+=f- zkioPYITl0^o4C5lutZn<9xGI-oz`IfYkbZ&Ly@gFSw6Qj`TGktB90=PAbpoz@^@3` zWI=UGv}ZwYQtTWoU zcLZ~5WS^J)EwP^ZdF>3^#6xJ78WO!}xBMF2EA`UYyVZDuDWb5mo!%s7TMn)wdy?88 zQw%L*UE%wjY9*N}gjO_oh?emNN^Rw>P-VO(F_^ml%}YsL_4z`t%8H}rHS(-}47+h5 zMT}#GpL<~Zj?d&%dG?!|awlAhD6(UYW;pYeN&LQ!kjeMR3f~H+*s-&DR<)w1qGeEH zE4;^JJmw9~qlPQcCV$lITW@1}a3q>lB8d%SqE)<_+1PJs_g6tX7EOc&GhcJ+SQQ%e z^szykTY@ph8%B^WRpiQiPj~xy54GsTrTEg;s!kB!1CuwXWpI-JJj3tWrD(KFPhOd2a)oV12TJkeN!*A~txR#GplgfM|?d$*CjK>M;%hp`*Q*Vp9z z49?`EjR|Kjg3GHmW43Ene%wZ{M&8@__#A$7HH@iB`wR`2N|5}6TNloF8F8#Q#HRd z%L`vsH)ABa?^IXBG(FNYPYg^_`j}gsg;d{VWEuN|@o%T3HOL-<%*Z#o$Raqf+BIbG zGUya{d81o0gXH-0LRZd>8U=}3`F{ZX{mB&D+=R0Gx3Tz= z3hRp24vMP~CP@)bUMvoqYRAx~cu$P|a2>lb6*oy@N>d7X;vB4St)P0`W?FlV=qjS4 zPnU7PyH}~W`q%8(`;T{GBIh5Qzvr2KKd^u9)BrCk;)BF0zl2$K@}gO==bTUO3x=?4 zH;k97p(WuenD0 ziam5Y2wJ7E^{h5W9?~kB9J~w`ske9>{Pc}%lnUiA3}R!4NiSL=aipWV3Sj^u37#MIwENMMuj$K#%h-oD+3-1r4&k(Tm$$e=A!1w1uRR>rT|${FCf=Wa<>rBO!uC@`l@s$_v*3!rF`@ z$2%>Y{K{}z@rO0u-_rU!{1NVd%{O+h_!sX%_`C22v;?HA-FeUFUo)or4;KJw>Q7%J zHQ;{^qEs;=OsDMSPMk+R<{$F2_EY&t!*>}kAmJIJ!c^{#c-45Do^3_~i9}^B~as?lor#K`QD>Z#RB?e!zpPJQZAF&|t z?S1$sMvZ)Xf&CG@yvEM(#xjq$BsHo}Nm|xPI$v-jH*8cq+$KCR43V1L-)pJ+5|b=| zj-I%MyLdSQPoN~ndfJ0C0H8u|neyJkk($I%ko4|4v^SLxpOQkb7G4MrDJFXSd?=6) zpt?%F|1H%M@Zb?L!1@1jN0(BPMs}6Ao(b6;J9?gx7mH_0|Hu{|Y6BY^~!Cb!I$34epj^eG$2X?t!*f@ZYCkOkI18 zJ5hrA2Wdjf)>a;Ji=d#TNb8g=Jd{0{)4;Y`gOv2fmrnxhHfx_P>!dH=Er0@5@RZe* z`2ut$a%n->o4uk^LdbOd>vIc{_`Ro8mo@p*l-+_xhWFsLu5-|ZSj~Mzp~BgMI4Pt} z2Wek~Y;ROL5l)i38ip9sBf2L}yA7R|^ZN2?WScxCUnt@t;f8j|z+scSb8xReZ2nt+ zTts;z!;=k@`Esc%OGAEk2^RigAv+|W<%@XS8;5A;n=%}US!$OIFBzgUjY z!{b)cUxAy#*43qZ1&V#?0hY_Hu7d%n75E)V2kx%FA;a?->0a0S30-6&WTq%G`Z)gA zSZ4lRTK>OUTK*^OA^&#nzn%MUP=Lf?|9_AENLpV2*YHIOx7`4r(osyJ{v=|;EH_~7 zob=tO`#>nrcNY=249DQrq`1n^-5rC-EfA`meSkQQ7|0G^918(6506DOn%KL&@`h0b z6U@jK9M_{lIj2ev+4^sDNvQMUVeb;|^k^=(K{nFntjQyk3A{gn!e0ZhQRntr<%Lg@$G(7ZKHnV$;{Ut{;ID*6#9Sfd91RCb3~boA z)`}dr+YzPa$;v*{MF6h+%?!`v-2fyU8pm_k%cC9h- zmNcZ)WPa%V0W|u>u%R=8JLIgKV2@e5b%0^UvgS&?SK-tAYlwZaBDmB%`u@~r6H?Qo z0EPcpdg_)28h{bN^ya69KYP^93RWY@j)rIMKfk>8Kad}70%F;2;$SZ`TOXf z^t~O;l3i~Q76u>)_xxa)qqY^)D-7F&*8CCL04d8+h%gjlpMisDEg~m$ zuXrc8IC)QeaXn3$5sGO(+_iCfuy|nk!^aE!cM$Yk_+uA_WN@}cda>2B;b+KvNGiC+ zDejCtIHLf7*C+@L=9b=Fav!@sy_zwN*mgdRU1jVwQhE6qh_311BOt6Xk0eJxMTTDk zAv*Gfm@jHGo0S~4S?My-)80;HG8Sw?iq7pU$At#oo&*-QkK@hdh|u^(u;Lj7-uaj% z3ZUXg9Cvqi)*95*e#*D zsWfxh&Jx?R&irqr~9Lhhy%6k62$*Ca=Luv!(1Na>rAEsn*I1Ov5Gdd2be$kA>viDLmeQP{d&Aj zAgUN-6nVs%Slmj+?pEtIbPH07(&33%3M9dY&Dts3Y317IhC$z|Fxk&66iwMKM7$-K zrCQ7ry5%jNJ-e0@D{C8f6A?340~#NwNTV)V@;t%pZS;nz9r#g?s_g#lG@OiUI3D^t zZQOUxE-algwiwr!Zf|)@9y+mp-zrcwY7paL{%2Y?^6d=e()Vz_ur}2p8s~s&pbpeM z`>62VKw&m_5e7y8$XpwDUt)D6h^j9@F%tCH^_QMgO2sqG&{?QqxU;rV*IcSaoSB#& z_onl>kz7suB5*<18UGo$+e?V_h2SWhroE=sX4rE)h#w_<2wyH!g*en67oaaOX{Pt# zMka+iredUW2*P?KvCWVT=afoV^et}eh|IqvCxO^02^yIclo+0cnkjMu7qCK3dfbC{pD;e#1T_PLD_<8m=rg@oq=wpafy zh8b9C_mH^Id>ZZ`Bw6t;l(}@@w{-@QCBYh&!I9^itN*BPB|a3^uE0f9T*YJ@;Ta+n zwfDbT`JR>uR1(E1%1`p0Z#HiK@O(*~vv3rD-zHTP({s+%qu*Eh)D2egD2a{Fz|A+~-Ni_skx)Xs-2J+m7ha$MSUfu=Q>|UsSA7p)I!Pq116#1CYY@$bfmxSH+c!Vtxt!+ z%en)mn1k2h$%1b?O;D0Z=(d4!MA1`|)pPE+|ne z9GM0F*P3>bn2q3sd@SMQ$@-s7J8HY&$hc~Q3A$zOZI8EH0O)%$il6XvRUb)u?|u=! z!Tr0NIU~L@S1cd+3uChrHa0>*OoK%6zsNDyM3oW%0Mb@+{BOhw>Ym*ZBkvh&>l|FJ zK9f>cVaR>TM_!nM^8EXUNJj19G$(IRwo6JCrm$8Rg2rJSrHu)@cu(qb%W)e1pstUy z%RMH7MfOtr)q{08NiI+F@AJGbZ+eVHbIbIasNgT_oQwaNwjoQ5v(_rKaU_ zM0z{;k;Wi+7MJRDcv#Mc=u$O%!l$!wnaGjF6TD)g(in@#)n^JAb8qOb-oRjFc|_^Z z-EPl1zR#l~{va8G8@eUSH7SH+vX_R1KZ|YF@xGc1YT;A7rBF4C)qPFeJeF8rmbEIbAlqJfucTU(5@x0?;N4-s)07id&bIp)6+ zy3}u(^cAk2%Q{?MwbKGP#IT>++fG>&nRx z?FT>a1hy%L=g;cCqjQ_mzg4;TpdtNSF&Aeh9Mx}+x#qd?DQ%7W4ca?!b`$xdwI-|| zNZu!1$f5d(*B)EswiSO^tlu2;A`+t75EU4W3e3kcZt%_Nf6$w*bLWT{|7|FUiTc_OMsp)aFsQ#>Vm% z*tpqx-jr5E<){1Gno%maW;?wu6waaYWIHtQIsfkAqu-^3R%{0E>3Tx}*0Bp5-;-q`~5K$;kF7oM&pCzU}=5V{Z$pvS;m5@J;r2+$qO>E_7QRJ7d zT2z8qCdoaosa<5?*jQEGJSGgM&yr(YV|y?xsh{XRS*)OCLo86NTco6>xqztVmK@NQ z@)U#c6dUKP-Tq<2*dpPNYi+3J&74#t+xX$A}Y6A5bvO#~D@%?u?UtGKeS&ptG- zVvoN`j6dOx^C{Bj!hZ~Rd(N9Zv%!nf`Cxw6&Lx$F=7cNYRFVVcnK~{gTuL zhsxy6b}0F8Xes-M_Tg!_SMh`}T(0$-?IV<3UU7$rGZ3V%I-QfR<=9H*Eh;W!=GR&; zR^n!MyGeKcpTnNjbRYcAN%Z;mT()m2PTfe9&s}1U&X5Mu?76*^<%kO>XaZ(Lp&uGh zUpE|>$tgXDGp{wl?lwhL-XVWVHt1*H8+*|o;Vgzf88d=@4oa}&nVxq2Ltq#7QD>YF zdSyjdc65-l{kgIGG5qjXKGf`CCk1~&6P$M1N@j76ID8b(Vp4E-vG4&Mo8zu1+V2mY z8FoFDE=H;kmK@6=G70Y2%eE_!fdt$Njka8 z>VNdDJQL}(592{)!gYC~<07Cmo4nHA3}rD^m(nCND$w0UR*Q3sq2EtdkHr^l3n=X5 zO}VRybsy6;zdC?%L5N;Eotk|x7`*KNW;V|6EEr`aYIVcP~?KJ+YeUbH-m`Nxm)CDbI2R;u(jf+MoO`Xw zDL#u(&pDtq{fU?f)2mk8rzU1xrN)CM&e7}m(i(8-wHL#5R;XfiXe^EV z&WoKn^0$!P^|_FSM%m>D=X2=!xv!euZ#Og{Ufp(^5a7ev$joU3N8e7ZkW;^;*A@h@;p6#b|y7r+l$fG)H4BT9=z~BaGmJAIfTAFnkJi`^dOQe&Y|Xmd@n@ z{5>7fHzHdOK5U%GOJ{Ril@U&DB(SNz)_h%uCyc~)>kx0TW2r@iM6-P)?- z&M%HNaDrH0kc-B)Gnsct(7Zx9-J#AE6K*-;su2CGfyFm;-oPIj?`QXVs2<131%%T( zkecOToz20M&lZCf2ap`|Lz?gf27IOd+2!W+(q4ex4k_X0Qwhn!`~uWxQtLo@+qU~clsGdV@#j}-ci5{Z z^vQ@K{hmQBV?|i*MjOw8UL_&sTsgFflp$(VIs@g0ozpL{lZ=*BR=b&uv^M&!`0{NRq>R{_{#A6$)$uJI`YJQC|B_IFmOtd?5?m8 zR}d6>t!*%wAUU?8f~S_bii*bk(Gj!gEpN&b=c?AgnBGU(^))+&{P8CsD)|iWJm)LF z91Yfpfrs7#5WjlY_n6dByTjUR$jr=1?d$gyznlGwPYM@N(t6bMthm0ebWeRjM0LN; zqyEobzW1d>54BU_W%18egKAsXK`t1tLdG2*G)AsKe?3oxsib&C%93g?=mkV3p8fXj z_EPB1dLqxln{xJ-A$BS1?Zqx`C~gd^wUomr9laE(LYm&2uzc zK$aowk!2W|_9IrtVw)&zcIqhW59&b#qKWxq(`u)_Je1v<4K)Se#%;HuMH!f8!FdCm zy~q$R)um?Y+aw52^Ul^Ww~`TI%?J^1p>+Vf{>i?Z<+yht0yvFfXBpva+fKD^vTmM}$V>EgYXF7}>;Dy8T70biX8xA?esP4yxl!)o%eL4+Y2 z^$4!{$`XD9t`Xb2M$CHx(PaGxtPIAGlMp4fcjWs-Bo+{;3nZ3klNLex0Qj7Wz0awb zJbwA5CXR9?Qm4+$>#0Sz;6qEOa53@dC(xV=pY=QsVzJ{i!a~j z%A(ublZ5hA0UrXkz_9#5)kxdWM?@6s1~P_daO?Oh^5 zwMAX}^yPoJ008)hz>k{K{{x|lL={`-%4N;Qy1?EHJzcO5LMB>$)G1i=CH9g{63yX^ z(CJ{*|3ZIJ zT_k_W|3sYsUoh@}VG_r`o%?U+{y(8&{VxrpM}@yaY~H~8O%Z@A6$Eh9oU~9H4cy&c z8wF*_w@VK%9FqIwl4Eh8NgUnHsCVp3$od48+*?lP_1%^sv9xl@?HvG%M!+*6fQ|L3Vt4&;!K^n3HLn3`xFO`Mf94y>0}}AQ2)5PR zc+U+Sb!w1$hTBZ=|4-9gvZJpZT|^?>1Bd9n5{;B!^vWl_7!MhKuyFki$0C4+0io+} zj*lQn)wf{M(P9VR6$BI!V7SqiUO8ax(Uqyz5Q#`@e?TdWorddx&?p4;PxD6kA|+Qo zUraOzl5m>V!|b~f(l6a8^-+FGDA)niogUy|>IbDws*u_;8)pT%VITHpCTCT>H6!I< zA1;D@*jC_f@Tooi9LJLxN(yF{bwI2}5Ht}@Bc)olfH{vOSvd^fI6-ga0d(L+$edqweesHdu7>LP z&92K>wtmF8=!tiqGSp2t7f}vU<8H(&(1AM9%OnL@yGX&SMX1_QH$SH=B9))!*)UvE z(JqosnT2?UA|f=8FdD(1TxYZ3;Eo7v5i(q`zrBr!5o7onmhIKb6g@)$&3pl6EjHv4 zZFeZv4Qw=hfBC_Yzd;;tx%Ia*)PHxqRpn-=Xjy&5?q9jazXsZZ-BHZ^TN2WhP=TVq zHQyhZ3fw8CZ<7eKh-=`Ed?$#1m*VE5BIL&aUsg7|^5xa-F>&rP(~%fYsPS?QK#_u_ zC8%@jMaAtKzgtb%TBsfmdHe>!WIe!?j-aUK4FO8F#5n&J=`&O!;(H%cw-}vJtK+VGiMZch03+P6 z%>qmsG}#qB(9V&@4H}=h(j~fL&tnROe`sJUpCzq=DuPJ6p8JZKCq;2<`^lI$^rCQ9di8SYT{9! z``x3%od!RoqF5Wl38jntVq$yM!&Cv)OYj7xm}Ci>2Hvw z^OYO*O@!K$Pj2XLi-;O!+!&?X7}4`(yGoO0L!1GKdPTe4cR|1Yt6r4A#j_y3^mXtR zHB&vcKA*gZRG&p~(o+9@G@KOCaK_SgQ!hdh$Uv!p$5yziCk^fq_-yfX`F_Q=s;`_b znGza~TwB~|1d50vmQ_u>K9k7@q-rO9<-m|fC^ z)Y5IyXm8IV$p$I`FxxxmSf<$&lX^4xA)nfbKC^c*Sj3OI*F;JN|9d7dRkFO|2f)3n zlST#K61P9=OLcsWV4>jyb@P+m-rb!w6>)1FY~q*Ps{$9p^|Jx(maVY30ZQZgFXaHP zUT4M`_;5`UM@_W3zd>qRE&z#A zs+>K1$7dUkL(xjArTBFAjX|YMc0$^!uaQo?J^1Nu$^6n$2mFat@}x6Z-eW+XFO{z4 z#PSlXrL#=JenvQKHk{(G>>cN>81vCm_dS5qYVdSJUmHS?FYPv4w{bJZW_JnAtoZjcuZ>f%h>}C`&ye%W(^-GOE`8nYf$=kJ z3QarHCqThRVMa~5llZc!4Dr zP!`e9UA^r~GLRK%78{7M9|i~{8WEp4YT$fM4T!&7N#Ky~LkyWS3}nDDbR$Dx$K@2} zkPH2`m5o|Efz~t0j6Iq*@1BuROfXbD-ngOR^qHWzIJ0Rwa-{6ZChqq!EEl*TjD0OC z9SnX#FM>}vmCU z+x+iu`dcLy)OA*3(ZQBMwNEfJS3(3-XE)U;vKDRnxlGv~jajpU!j8suXJ@r6^soB3 zD@y&%S~K_}d~1|jdCAml_CA177B>5ly)4a0_arxDX;@%acuc*#roMNi<}>UOrbJ^h z`OgGVCuQ;z)fra`U*|+FEZSCmDIt);BR!Q!qWtQNJMEOjTbcagg|}HLskj47d+$82 zpb7(Rm4W(O{kCGFd*H*fP>8wjO zC03@zC8ZNE`O!C72R$~<+)PG#D@bRH&cLS*v2)QcTK5|O%x@4n^(DMQegrSZnlNYyO9 zH^f4ibFFl2qm>IL%=nCOvD*tWD0j?Qcn*HU?#~62se)u30Be{Gsbf8kPPVBB*zaG+YV_xsky%DuwR3?AYwLRxx^y5(2ZG zRSG>x?(J13FFElUQ4e@ZSG~meG*e_JCSDdzT~c_P<0cTTcj1Fux%alA=ktVgw~=SC$`=BJ%R-nLA=rVW6IPXC;Ft%+{E!D<|P{*~9M?w*?Mei2Qp* z5v7cjwnunVfuDJMF1A7my?`yH;UTd#B32|C>r}YhAIAA)!+7#BoA`>qe6-ogQSFxy zz%FaIuC8#g7QIq_uRd%%@p#cgdGnY5Gl-|3<=hH>2B_3K>ATpI+j5^t`}6Ksysb{t zxzAv8vE7NTwI8!@Zm0XQZHD`Qt^HA#d_RcUg$l7=u8P85GilW&UC*Vmq7iBT(!JE@ z+ouclh?h?*xrrQAPodm+IhLQFug|ev0z%JKKl7~@Ns%{{*5~%u)#;iZ;Q%5t?DWjdXdO3z0MDgD{O-jGdEd8!N4L=f&}2LE;!?p4)L5?%ss1 zC(bxmRHQklojQ?c1XP&5&A7?%icnux97P(>CqI3hL4zJ=&$1MaElR2)#jbszyYj-K z#$h3D71Os-lzeO-*+aR-%@b#Gv!`svYUOHwCj2(rh%*e{(kUY;&53TKFf?&j@dY-{`ke!fRBN)ji0}alSP? z9_=a1Z;Z~SEm`w5dODEgs-W|QcsdX)jn|zCs0mElY(b_4hBn)^jmhne)p11U0RpA} z(WzKn{hKJbMU|xQXp_VL4Z#+j6jH;i8Zsb_e)X<>$A8U$-{1O2Wz02oTQm~ zRp8dl>i6MVnIL%!!B|2@fsSt%GaApBB!I#{OI`U#R6@Nqt5)RPXrPKTNOW7fFs!pe zsgve(!%`aoRr|^VpDq$5llxMmu{O62{D>>;g~l8>&!q(8+$mjG&`h1R#zwfw#(meB zydYnd-+)2sJWTwVRoyF0r>i{@1|>B98aciZs_!{Bh|BGH$wY{au(fI*>t>efKThiz zKsSuxyQ5W)$I?r?^S|f%*$ICI@%bNm}VW$m-IC$vdirdkcQy zqbNEGKTxcgKS&{n86q;7dtzrtZmTX*lA^QuMJL#P9#LhyQ7E3Pz~`zUm^-DeChh90 z&LtrdR4f+P<%`j4O|Q_5wE&CyK%20H3U>3KmS|$BiJ4_Ifq!-=dgI4j4cV{A@eEJJ zLv^hf0%L?z%|wljP}?ym2d8kIM$WZ8(>U=oCQCm%e8cjPUO`%7NqP_GCY#l{iF?j+ zmr(Bvw<88y=PxU5&G&z+U_5DePg^^SbelPK%rMWb6ecV_t}g;TI85c=kuj$tOn7DH z=g@3+Fx*1k_GG<**n2A<&KS-2T3i~1hx78C-BVBCE5bMAQB>w>ICWw(RrDcL^Vc}Z z$LeMaF`6=0`%XAfZX>8Z62BTRA(A?-k6%Cs>&s%(32Bsi|-1b zQZ1=LGpn@*V>WQ-XCdSAl#gxRv47h5CIo)dM}{Km&2xF4M65vf=wzY_p5&HAq@#AoFszy1y2(20=nODyG83T&NCJqP~fGf2mmid)DI=Li*g0=wZO`?(N}s_ZYfWGehu#W+-x^zH?yfsMbWT~evO_&-2tEuujz#v)vc=$2I^!6xDs9)22^x!kk zE;lL>vQCd7gA3~23L$uux7+NCqkCezJ#pp#0g9-$P~$KN>Q=U$SItzVCsu)IXW8Bm z>YyRXT@n3%?h0s8Jpf?FUc3f%aHjBWp!(IoA*_G*rM(jo@gQ&x0-(p8L`V_;RH8$Ft|Fu7($*kBiy+f@G>Qk+4>Zd_L_ox?VUZ@scI(6 ze#z(>J{Ux_sIIX9;Bj+ne}qNi2iW%rVR=o*$&U{k@YXS&i|I&?u|l85|_x2s^QaTWDA1drP= zJP(<`oys-MKJK}XibdJ_+<*HB(%s8nA8^%@8;*<48G)E@sfNRC z(2rQp0m;w_L*DG2?lWh=gB9T|6-C8-_Tb_(wOUZk9r`z(0!}Ebmx!FuTe5rSRCliw zr0>8m6vamUpfrtz%muY3-+v#a0%RU0?;@9;N0aZbf5!=6NGvi$KRwm?EP)I^vMUDp zecr?S*g~~3cr~TH1vkhP<4T@Ykt;Q3+|t=7po-P zQfETkoUz$Qj6zbf$l0}&^3$^9#>C>_HcdLO5!-jIz1DflxePTt{(>|!C)fGY7FK!d5!R;BkX$M*7-oFe0X!)bI*&$-8bQrt~ z$r8%%Aa3!2!g@wN?2S=as_{QLieMTynxEz|2he2psUKjy>n*ob|9hh`7!310vZDn> zNZ!uV5YF0hJDrAQ-f}O1E&0MMMv20ZQO~E`_C_V@yK(kLSwGh%_qavNJW>>ta~i4{ zbzoUg0}0{*1fy7`+1h21Vu$j3Yw*rUd6`Z+yep#XLqwrz*M^|r!zkGK+6z5_U$<^g z9pCl(!6}-S?t{Qyhh>Lewfe&k>ntp7T6XO|hanED$gyJd?KU{O)<9K6Z&uHP(5r8;nze6p_{O#G0v%lK-6|vbMA$qPcH2W*t@sGgf*p`Zl3g~wp*Fo*Z zI_coAMD2Q^LZn7hosM8iZr5M8g^>!bt3?`!n?hgAUMRwLHY`FlY%kiTJkhWaPj(bp z2;@9Y@sw#Dz`}WUJ2#2r3}}G`idLcfjmw$h{TJ{2|m~nZeU{>CuT03JS@XiVx z)}Oz-y5*+Qo*x8az?=C-0qAa|#AAyz_d&Bi-H7=vKj@_HjRLkaiBwWN!FLIiTwaJy zZC(eX0Qw|t=FCI%oL>M4Qw{)-akBy1##;`~O>!sh;rd$Z2=5`DtKExR{3f&>G2xP6 zA1{~)_1ubp|}dI;uLIVe!ElmV1OeDD?U(__ z&|q;fq@vOy$VOi_dH_7VqWu`GPpLu|^kh6CO)Z~sGMhdb5iM>5i1=&pZoadT_A&49 z8<6sUgr%ZkSGb!imhhwM^G9JHtz#>{wT`-fg&cnzK_9(ZlA&Q%WwB03C{s9;$BB?x z#~TUuI&DmMG}&!(-%KOtfZ6pSfa~gC?g$=7ki4Ly+$}xU2uh=}kvl#wPjY*ffUsKi)tvwk5b(J!#o7K*X{C5B(;B;1;Gz55pk0-*d#YaSiwd? z#oYIen3-}Z^_|ksR|gvYyaz;WAuiCbA2EZ00zzDJ{pMybkfz|5(yS`v<6r&?qOl^R z(pY`hHL&T9?TM|h#q1M$qZ#~EM>WBiN%A&nHakf1HDmuMF`h;8qVI^9C<^h$ba+@h zo1b>`M>g1Bzi}*@a&@hBIJqJ|{^X$(tsE2@dVxrt-&+ejKYT>GZSXe8Didp;)1bSN z`ZUS5u1`<7H!(}#m)*en+Wu2pWUY3>OZ1$qOjl-UdzFsCWFoX6FhwyioP%bR~a~~9NOlA2!#^y8}fYTZJ)811ITzZ z;RKdMh;m#xZE}2frgnvO2lo09kTqGRkX6}#whGFGxx+rpM3*O>e{X{+mRpTTtSNcl+Q;Ex{+JDmaPt|)|Au?Sp^6`ugmfv!JH>cG4< zIZTWa$HMO7vA4U7t}}~MngS!0^y$7OhKGDk#|_oc+!mt28OM9&OxY>e<_>TWXFzND zOUA8F{ZM>3S8P_k7-uvZ6^XILQ4{~ka$}=mbqw9Egd&d1^(7XVo&&oGO`wdXwFE;i zT%>8hbrNKaJQ0H3SR0{s^`362%Ez=;a+ki$T;`5VoXHWK&{j_)49vEfw++xt+5u0( zbOGS7og?^uA;Xt1^jpVQp4kd*6jyf$-_Q!y!Jx{19=XmX5_=Gro)2TXb zf&%~Vco~$l0^Kp;mdZg)3X0(jx4(@bZuEFx86g6XOES6rI@@#WNwkS0SkF5Mt%poFWW-jO9St~7UgiUy2U6Xxp%FT83BZg$TqoOcCcPSP0PpAM zDbHIZOt&c?lY38#+6WFz-vHs|!0dYbPJV+5By%%Na&ycS81nOvNU2fI8e$US^HQ<3 z4rNy!v_X#ZeC!Wch*z5)RKU8plja_@U0V@SizKo;NCLS>lu;fSQ+jTNzRQfWGCy1k z>vD74ClrfKFi7!EMae*OXPp!+RJ8OC6vvf`v1SfG9E}BXj+gf9?+c$>D_Un+P~fO5LuqMpwv0U*u>OioT^VFj$D| zD;6}#!TCb6UpixrF~g^I@t=CdrD$)(XslX+*|}6R8GN!%rkMsNW^t1|=L6IHSjkiB+z&71Ah-#x&HtUi zgO%1K(!@0&Y;C^Z{Zrlem&#kI`04_0aXsQjSZeU+q^%l;cG95jR<}fnRSifpv{Gwct z7$Ux3iz2mIhV2%EOhOa!pM|tZ(#st0JF4CK7*mr=Y;%@%Guij*Lx-(3#?^Rxm+O&& zl=m*8lt@{*`TV{jU%(=lH5^gbYrnz#is1L3YXq0ianVGfJ{DUj2EFb5ViAk(cS+cW z&3)K;Vh(;e>|`*#{rBidzUYVfyCZ*sPY`h*%vsM-B!4&1rcUY?AR0lSy*4g@)Y3Bl z-!nIY2kU{@4Jj1#V#I%+v_lDI=3HpMOXDeL*6oD)+Mw_Rc2*4np=~u z?DT_&{3bdS;gZ*yx&`s0;eampe?9{->Q>q6cL_EX2JIIZ6cVcM6p$#XR)xncGPGsY zG7~u2!uLgsA2IUWHKi+aW#m#sF0bq_yL4STF^rQ;7H=?y1yejs zPD-|48B3SXAf%Ohgqd^A`C#HGDyjE!V^f{Gz;170zT&s({)`+4xn;S%cZoka;Pa9D z-iE)YzK<2B&)57&a%;rbd9AEXakc8~Q*X>O>58l>+@nbShzGiFH?rziDc4^NyNF*%fzxDpDH9yJA`|oUjg9Eg} zrQ<7_pKpe2hFq?3(wR%H#;d0{hu$z?Q>UKGVQ5-5W0kF#`vo!cqFN}4Agq{HkhP2Z z6GcE8=zkS(wyM8^)}R^ z+Kca|t4BLbgQniZoxbUJy84HG^p$Vtt*DPnkweft_tn)|e?=G3o-?x6<=fTy5y-NF zjtgGf4%;vh-s(Eecv?Q9od$b{O5&0L`SjC$7?10m+FAZ2h*4qenEOe%K^Gn0nkKs&zic|VKhP7D3}+#)BinBl82Q$ z7-=03UBbNXuTqYA0`-$~Yzpw3ZvZDAlmkqz63U_X$m&_wpS->E64FP_%qc5v5VY^w zM$3?PYl$E%vHAgej7Z2qp@Q%6{Hi%pA^<9@txl7gYckFV)85QB#$*usYt5`L_dKfr zKr5^M7!+5SKK)D*t^ka(9eR%W>rQ7RI0^lPK2nvmIte)UDlaA`Zv0>B2Jo33@~n!% zpsM>$88FTJ%lFS+XGRKd9;}>x^y*&)+B_58Djd%bOZy-N9{|q}v>bi%oM8r3unv9U&eZp!4%fkG zz6>Cq!7P8eeP|FuzZq+&pLnf&8;()7oR?xQ@y%+SQAZ6RNa9bZkf_jna7SGkEy)Gp z=va$5^snW4ho&6|dOm-T14mD0d-7F#86*QeZ6bqC{THQ0*Hk7LkFS0|DfgP)sO;0L z+m+A)JpI&q5-h3X!uCKRU%b!(eWgZad(Uk`6fnwO+}K))G+;-N^YzOLo^U30FGuip z1PpXbkGJz2a48BOfKGXVb}hgR7(~Pj*L(q0UXz*hf@T#Lq1vG&5vc3$W37TFT9oE> zE(4lSabu^#o1>6LSa;}#dYcK%_s2-x3?lz!4Pdpvtc?^AWE^*2MzDNnxYl@RR$=7s z$ts=&sE;W_l<3y`k$Rd#6AH7nyJr;UyxQtZ!l-Qnq}Stcs#&YiL6?yr_lcE zSYMU}{COrdN^cHO7hYQ~81JB=4|(cTP+qT{2BAhh&9);Cd@nqOR6}KMX@BES>=DAe zS$E;SsjeNZpj)$naXW2}@1Mu%z}f!}^XWytJL+uu=S(bUY=msj=k5UT>3xI>DDQ1Y zi|@8ZUx8!&+D$~}anE66m%esTanrvHJ&^o65Ri`>ipOejMG*zf@?Vk=?Z(U5t)Svq zUj|*fo40Ag5%Jytq>QSL6(jm@9%c50zenB1KJ~LHV_V7@5@z(n0>S6UY*0H7t~1BxmN7Vf5e*uA*j9xcX+}%Q&i@ z18E{F<=PiE+eITV2+)A_Jb@Dvdl*<9c7dh?jH|L2A%{Rq?U;UN;$)EFdw9J| zp)NJW9I2bjc<6G-wq+IQ{@+*yDqih|4lpu}$J-qz+cdbEx5{6;I1Ex&PqM^}+4)86YjbEb0-jZtzcqIO4c#cn2aE%fMXBcJc!-c3|Tl1KHz12@L0 zVM%#IRcQ$djiQryjNwsU?$O4Bavf$3#=8WhiK>mY1dG&n-i)p^<#$}Cg)S9Z4Os^$ zaAuTt8fq^+rn+<#C=yLT>kWYVpFi$;zem`z&Ck}CogpDGd>HlPyK0F`-Q@Zi{va^8 z$LMo#On(9xPYzq>P9Agniwi)X4{j+!kpyi%?0zxrVJN}S3dj6Z75vhM&pHV`e!Tr5 z;t5@$bV}LNk)7xrT+79AAqd={Lf$h-!3B)H-MIC@$55<2(1yj=7CI^s*1Ek+mSB$N zZ#NT6p$#hQs;xBeWmjh)E9!}m{}0VWZt5Z!no}J*u)Hdu8(?*AM3A6agAmFU>6-Gn zg_%F;qf{w0PU31k(|0QS%L3G#c%z6&;ZVls9w)JyU(_%ABbX*H+n{8gDIZNNIOy)S z9pTL^P-yAIsWdKgNG__Y0U=NoL$WC}^n8WjKZX}hia-d^!?;s^_ML zAsye4Ea25DM@Z1l0seI>39ND6)!*wW-ks0`ip?fcdGY(^0y#u~@0L_odz)DchBFXc zWsT2WIP7Ym!ldu5=Q#5v;O-LE9#GZMo2k}TLf*OQF5K1RX-LR&V=*lCHApJj%E1g< z1nsaE?Bu%m+R1V#VSzE>~(RMWgy&Wz;>ee+`S7TsJ~?RQ3Op9hGt( z<%!v_`LNm#KMac?ucmH({0T(3(ySJ9T3VJPwFbe6BN8XRA-cSKZh9LFNpo`>J!{-+ zXmpPv8HcGDXNs>C;7Br!a-crFHnE~5b7vvJm;1ewlAA0N`XF+eJ@d@E_01z+z%j{_ z@*9o&!Bz%(ObVvQy?hV(*dYyfkxEdnO}fw{{N)uvoO_nyo676kxNrqZ+N!J7AA=lK z<3mW^Rwqe@s6~l^-z$&Iot?HTBu7FKre1w71W-gSAUd{g;El>$+S*gNFK43u!4o*) z|6j>sG!L^`PsO5=Ci_w0iE(4ES%<91uM3Uf19Qcc?rW|YeUwkxhJX#`6F8Aisv`h9P8gr+DkUW3joNk|%!to;# zI@B`|V^&P-Tc3cDcra{iq}!EIu;M+7AX{^`TYhFG`k1@)g_XS8RR_Ls5>Eqtx}wm8 zlRVrE_X0sKN@1Q`m&QHYqkHZc^fm);-~rq)lJ&vwzy`YmLN`FH3_X7C0E8|T&~>18 zhvA>z2MSEwv3r3D+4kz)2^vXk1Zm75Mp@VdZ8qrAO?(ld-+AsT0oE~+ajazn4M52h z;M=+R5XknKc8V`RZv?pE6(FfKCJL+pos>v#=Rv%H7GdhV1;~qQxDzZ6OoTHx?H{dr)o0ZRb@UmckxzQv5Nx#SH;nu3&E*i{67@ z2Aqq>KoXvX!hh`(Ok6fSjbcLNIsyO6gQKH|{U4_5@_xq823E|T%J5#nZ-6+8l|5Vr zuT`r>8^G85`Ges8vcO1`)jK_^Lu1GKO&$Df0J%ei-5C4^Ifx!tEdw2tS|HDYCd_Np zo*=~ULe{HO(apSzPRQ%YR=jgE7xfD1ngM)R5Pfxdc@g}R0G;$JEWEQ0IGl4p=ZxN^ z>E}qMu|rEFs~D-OH?}NY=oHe*y_&OQpJeUt$LStFq@La0^m9}4wwkR%%gW;4zr=j{ zee3t?+QE4xC#lk9MUK&?iiY*WbFHULdOWI4PWgBFNdM3Ix;;W)-{l`XQ25y(XYCwF zz`(@6dhRAsi;cx#~#^k*>_reYBQ3L>Z>_sUgGUk^-(@ z1Sz6BbQPIUKG9WJjeeRy0KGg|mK{kifsTaQbXzAI&L1%tx=c_ATokiAmXS0)n58Xuhp;*8?_&8&NBu;W=|toM@XOH+WKmcq z3V#S2=QP4taY#F##v(2c7g{FIBeRSy5@ZXzQRs$(HSmEs=tNebI~!tQ#coH?*W3S^ zZ9#_MUntT%Li9O;)-X|uW!d^SuQ&pRRrJIO(Jn++R5-4>GP_WRk9zII)@#@9Z$OjpbKH}sccwXDks^$|EGrJ7 zRIn7`w!<89(N%wB%bK7Uk4i9D4VDn?o@N@wiTg3_`hQX2k)Mjw#SGF_B>-Bdf-Pj9 z?o6GILwLt&x}oF9=&L;ZqaDNm|NDTx0+j_(GEgE9Te!vCR0u`Ob{l^`MmK%0VRr~U zpvj1VU^qg6$EzIvUjm(3d1<4w$2#m6(2jdyc>2zqkB2`3?f7k*Oa(k6tT1+1Y-!@5 zweW1kAe#iX-1)}a?J)7|z!=U{Df51xM4Q|fuyX&I++3f3CfDMho%_Fi=Q`+p%=q0i z6o1V^X8LNt6936`NzFGGZOiIx!W!=$o{w|RG_ZM)f%%O-DQWkhU54G36Q8#I(TFGU zVoV|vUQ3Ytd){JwN@+#;+rDmj`(&@hp)W-b>Ur;%^n5=v71%m-=-H0}?R#<1`J!0_ z8c*2u*~T7a?s|E1+w>17&FPpT5zDIH0KhfuVoXdWkQTA0PMr_eud2;G|LRscL=u*P znrVh{Qx8yzDE87YkXxmy4a5Y=zU7l$dH{VnLOw!6Q4S zUqKDOx^wnj)R87L)__Qal=ry7Jm7P22m=&p!jO&)<>a`Z18vE%Aj9Xl2o#%l%RvB& zG{d3aWuW5}@n9MB5iwc$fRq|Lc4m^H&w_pvFfz#{tw0YQSeWd3`?$2R<7GAXeABKtgh`v1FWi3{WPUOnJJQ3~a<++8y<7P9;llxs zS~efC=p37heQ%4eHg-MJugpmDB(W8N%F7$1>F4oS1BlT6)6A%#3S_d?p8wRYdunNN zL^XqzDfl@IiZk#S`BzkG;IMR7{vma14-`#GgdAK=I1TL;T$4eSMGk3+@Bw?Uq&@8g z%&g0PIX9R5Rp6!NZtpnx1;klmN=n?`SH#0%N|x_DA`%eqTH05a@^jS$ql2-ny*e{k zzIc6U{!3!IZesrl?R7-rVhpsaOVC&<+K5>TEms5RTcf4k;}??bGh>`8H+$jCLtyAc>nf&l9;d~j!@ushl#%0+2T20f$t~w z2V!G1=%ebG^2v$GIPw}5eMJ9(%MraKhe(g@!1FtBWrVyKY`iNyMrf3xPTGK+L8l4# z0p0HyiBbp7Wcbp+hjml?eu_QPnPs1{U-6nhbHo$IvqxTdg1}D#qT7qWzhi(~hyy0? zZi!E2%37F3t|n3eX#M2T{177J&5$k-VzP@oF)I8ThyLLOY}5pRCcD3u4!FsZbom4- zk^1+_Jzg;jH61;Q10|z()k(%VUfU&ZVZWBp-4j^wbi7JD{y5|2FX~2Yf!=n z3naAFf=Y%pS_tV>64={C;QjesjJXi>47m7-7##ci1pp`Gk-jYEfWl`D+uv8bTv{K4 zkd6IqbTso3`Y~^TlvAgGf0!2K6L8pMl>HW-$X^-?T5IX9Z`;>E~MzY<&iu+>r)2f_&lQZHHHZ`cS3Gb3)yprCtKpB>KA6-4+M#FR(>rE zRhCT;iiNH!eq?cqa-(YMx-@^mb}cF-Q-+j)qb=KytMBYA4KZ2%CC!*~VmI9cX$jOx5<8*oIKeGl?bqg>f#z0wk@9Z*ijF_7 zO;?Cp(WjVfOIm2NjBzn~c6Jl9*t9a&4!Omv&Et5Z<{i9t{mJ}94I)kUD(`0MgYJ1~ z(~{wO3YBVv&!W4w1`0jV7jh&lK$L6Io^ayE za`_6-shc51;>H*Kc7k_fnls0h#jdX(bnACk4g{54{h`P+uugV}sT~9};gUSDf?XK_ zc)fIb{L9IyRS*L^`ywUT9lLR2?+A47a6$OqX00*i&$Nx}iTZ1ztS4FEc(9$J=I21o z4~pu|Gb#^#n0bg!m#1?SygrES``~ACfBXHDAgb#3B&PV?tL*hvs1=Audb}Jj6O0Up zhE&CGlc~3l6Vb8OSd`YT3<`^opLpkul7sygl6IG+8^N{&)<7PqbXTnAk?M$uFO2gQ z<6g1){JyK>^Q|YIF4E3uuTUVj&+s?Mv3sXrL!(s}`D@WkEF6yMee*F~E11S!v zdN>yp?`g0U#@C~OpTXsoDW@m1{oox#1;vxpE$h>bnub%>T|t53^nD?O{v94d7!u^b ze#Iv^>Mj(abU0@`QRTySB%$_JgHmeh@MqzB@uauTX(4@(&eU+y)6OqWUkV)hxrpLk ziXH@iGuZmD_8w!b)^bo=8*aMqTw9wSbCyp1R`<$jSz+DzHPJJ$B&NR!uC*AF1)5{> zg@iH3!BnC(pZ^RRcxpLvA+o&0jy|D>2HTv?i#G*pp?slI!=*Mdq!yg1 zJ6~NYKI$v0dCh}>VM6g8s?fqmCA+4*D<8Ao999kyYF8(S-o&AmLD@o`fNAVQKS~+j zqFh$7)tGO#Yg6eu;e!zBAW5t3RgGtCSry;;5sYDorYJsDLc3EZ`S|-{r>@51zRu=a zO1WFl;&&?>3um9Kdi`GcamKcL#{-vpZ#$Nx++mG*i1C9aWiDv9W{Uumy2wNB&`qnu zPdC=wKV^KnR(vjA zma=Km6vSg@(`rAVD8LB2{eBZ^KMUuYh){gV$ldiMQKD$sM+PpL)K+$Us)KaN5@aF< z?ArOrWBJL4um>lY5=qn|?83vP1e@K4;Qk}mFxk^T z^83FAKC=m!GI2$FZx2Q>36L~)T_-WMd7!bm0&-yoEdwLH#(QHA{xT;!P}tv@6|l!s zd5^-xaRs*(q`2y7_Ii)hDaTcAHRhIT`*oeLS%D#CtEKWeVFr-TfEpipu35H#$}=@d z>Xbt$i@b4HQ_|`iKH~NIAD9E|OPxjb`u;jv?jlC&VP!%T&9<{bC~b=31O->9-lp?n z_?#XJU%Ljq;P4F_!gaB8SkI>Fz-E4rlDJa$4>c__F$o?VE>XhjB)aV8^isfknvjGToBMalw&FT*k6 zRUk^uE%p1}YgvJzge@okUOMDI*v8lBGyE=yU2M9UZTLtknm9Og)C9HJOIPp%C89m6 ztabr)(yfK`nDVgkN2Pj?)A42Hw9nMmNtX-jNPxme4^Rq1o<9V@h$pm%^NGa+u<VJ5c(csOlB=!8a~eiv+KQt>eCj=B?_M^ z-W#I*fdE;smcQKsi!+SjOKjF841o|5cX0Lo!_I1W!h>@8FwU`2jIc)*T* zD8Qn^oWVh+W^TYnLBXHAV8KUA_x#!t(X#@uZdfO9G3YHA^JtOY(f9ZhlN4=~JTpa@ zf?EoSz6x@G#~TyND)!=2hizvLn|k61$0&k+tSv`~<_pH+Ed0KMI`td*I57!3mAygX=dNm>*;4_oPNU+UsQ_i^Ukqg&dmOsWcxxORz^dioetHj?9R9e%H*A(K z6!p-EDH^9jP@!=6iFa&D9(ta-Rav>XV(S$wmtckFE`JDFe5wy}EPX_MpH$V~mG1Y; z*n{naUm``DGuMGV_5}8lBwt?lrY8q|_!5lS1s~o1C5|DZBa#;Gel*bIYe)=mmlM`N zP2}2(lC<1!P{s|^966Megq;M}%FY<9j|W?{2~7}lE`5E=-9adhun8V&i9t4*Fm_Tv zL6iA9EJOv_y*lb5=XtU|Qd7KFb*J`4t81C&-I0hLmp^9NtZaeW%zNHEXn#ZGL)P!3 zv7*F)I_j|ZQa6676eE29-MiLMbe%b4d<26KKUv$xZGO3UNh+pH!2&h$Ce?o+vA?rT zWY#bwlBDhOAZSp;*F~%&@>xEnolORRV3uNVY>S^l$SmOWrT|yjM@4syOy+m9ca2u{hgA}#KXa@+%{GGo=~vBCR`s$)g5#m zegDPpqtOU)s5AAp<7kt|t|$eyVU*s~F^c+a|H^o(Bu3BNqI$>@t@*m)2(|$C9A}DC z$t)YToAD)wMl+AyA&i8Q`a3q|F5f-Y_Uaj9JSnsjpKSj<+{LYFX4($rh_VqPW$u^v zOx0b@`EcmPRx4&{tU;DONA*GTUCpX5PytiXip%K-u#G0EBb|-0BbKl8tko!J6nlIf z|05o@F`L9Ot1wLaEQZL49WA34jK{^Ot5%E~a)%S#dp!e%`?2K-m~9<=gzw|`EO#CH znqd$W-#uV2vb5aRKe5Aq=8O7@y1R16@%EAz)V16a_g|(~QoakCW4%Ksr?9B38k^8X zs`W_!yOL%9(V?~iN$%Gy8jFHLnk(j0!VNjr)}ns+Hq8q>S^L8+8pB*^_56RW+*f%(*!7 z$I5dKi~Og3j*pK&(;j3qjxEYsex|x_BNWhWq0i;{FrqAka+7Q-D3i!Q-Jf4+n<@Rg ze~aqTD?lY>5lhJD3Ix z)@DRFA%ps`SX8uK;Db!x@t*Z}vl7bhw0lPrLzlbF<}jt~n@wE=qpi||0_r|@M53d- z*$r2E`3$Gn-==dWt; z-6_sPsrO5XD&(@ZEXQ{#98{=^kMGT0kLg>C3>vz0e^Kob)~o9PyXzS0(bj=Ci_-6k@4p!_ z!O`C|unejM)9AgZ?|0R2wrIIaBbA=hwj|4_4V`RQj?qxV1xtz7U+f;o`Mj#CtHu-B zJVav&anl`~kn~ihAC$7?cKbnE=OxcaFRQ}Nn0c- zEi}B!b&L?R#2$Mz&3No;q@^(+wFbRIi7$^#dr5KnBo{*-R^>Sx-4CCk`Qd;WZNwE1 zQMUw!Nm8`=fXoHy_)4{ssIRo~eh z`Af9pYFE;>K$@;5{KoO{M-ZMpBK~Py?#yaS3WP-ai34W12l1Nf(k`aJj>;6(#uH|EM@7<^7 z0YesA2nyWaIe>Y4rn6?qrUD?!#M$BcMCZKnI&&br+5P(d$qtaM{Ei<$@N`4k4ts&9 zZ9J$P@Ju~f@aaVACtaSr*fIt<$k8v~rAnt2Tb^uLMDQGhOSkZ~uLBSk#m9Dz86PyrZXXjXzP1!r!Udel&l)IJ*Ws2oazn=;y2~Qhajq)} z7`1I%<$Aqa8ebd0CoURcd(Z31kFpm5#L^w#7%gbjgrH;!mnLm`1k8ZDXw{@8oNJ@t zJ$?>Ue{Vjy==*e7QSaN9d1G%1&NEj(`S^JmZABBn`m)ihXJ`6paoo`&n;F_@UBg`1 z1&`Ih^ASBHeE9YO2^t)JK3Dw_1$W^KKsY4~_EEaB62MVI<(K?|Yz$@y201q?p`s#aoM4wBDJJyus;eLe(U_5wNV zcwmKQ>=a@yP@E}yH3%7;S!?)u=Iy(U}0bNOe z5T`r$TlaG#|@5|G@5EmiE{>pRS(8l^quqS8}BtrFh zzs>`tzJrG#WX;F{me_8B(A=#+uTbR!7USHUHf~7Pfwm&%W>y6>nKBX%wGP0HoNoW0}?pS^N?GK12vD+!Ct_2O@wvwo@E>Jjx~8W(QV$w*_+AJY{qty6hYoV!BhY; zmdn%+)92D@_;cpHs~Ldu*&NC*hV9;0TqMX| zFb3;Ee0t#N)6e+f@t*wT_goX!gb>OxTQ2(wOk>?Afayvoxa&Ac9kLe6deZ78ZvGx- zKQLRv-8|J0Y5$@?MLY)o#U_dx&i*2;9MIKBJHT;wI6J@7iwE1;xIJ!6>d&&V|9jcs z(6Thbf*9QsRw?|*G|t2rMj=e-CCIrnXA)Ark|i5BuyCY`R*yLD#g~j}CktcwssX~0 zE!0HW11Yrtc``Oh%8?foJj(F^>7bSvY?e4>>R4k_yp*eVlqY(#wgDRbfg* z_NIsmVA>%1X#%F2J(3(qp++c73cP)RM{_qT zLV^D@x!Pm6u8-HNtFd{c;B_YD<_5~0TmlE(;bcoPD*!VHw!%0>&)CbZd-p*sCP;t1 zmkH()6kL5e(vCv-C`O;118LpfkLgsPrVZPZWDOZ61HhP#fVgoJDlbM9g*ezEs{*C}C3jnX-$Ils(6&Zna-Q5a;Q%z=d%@rJt6E z9*1?SKvoB;^Xnd^WhoG>Q1lycxC35VJ} zYTmvI=lbp5I?cJk5%(v4?c+NRmVWk3j(T_}&8|{EitnS%p}_qOluYki#fXPx{1b4h z!XZlczCzc*C_|6@lAdIK2Y*j0ApNJfIih+E*He%rhG`Y73q6YpZwc_SmCCo$F-pCRy{x?2 zyF(G_yyuWMcAPeLyi2S*!_w=kCk7ht#iB{j(BX#m9flx&*gyhF06T$Rds`|_1yzNOa0;! z!53TBkKLNpjMR{~On|&Z7B6ujevVVHP>XEpbOR*@p{;N3sS6rY$e}yv1+6cqNV;bkjU?<{0gSB5K3u#pPa95 zjn;Mmkjf7FpcE$y?khpxLG))5jTMcSAO-6hLZ-$^|5nq=^Vl-bP^(HzyR@LIIlf>j z6RtYnULeK6PmE>^fL?W6*k%zjxVpBt5H&CX<-?0<12MqP{?xt zUg6@gb|mfK`)89eaF$|NoXznr`~pPp5Rqy?F^2ZW<{W?u0ok8XXfg(o2r0*)wHK1^ zsuL}T#`Rigi`v`1@eMuF6hh*f7kU|Bs8^Y2d9!Vy5RQpZmIertu6)g=EokiSv_0JM z{=lxDW-HQRGkLMBV3%H{t~Ha(>k|D7d0O{ol*9%4(_VXtp+Bt>Jni?>?NFL}*Wu68 zUcZT93B^pSJQRn|UiuOgF?2(swx6>ZA{KZALvS0ELP`@N-6{2FkL>`kg%jT&ta2V6 z_2w+q2S-0A+>{ncK=_m!f>U7~^V#ynLx(g2yFd5ZFG_!jGsO;M-N*02wywrxk$vID zwPGI9{NuD$kWge}Ok48?GVnq6qYQBJJb%{wO_>!nKE!h96xlUTdOvH|5{^eI3byYR ze_oTT%^VYRTHdJbhu?kwyjIP~gRXi|rsEgu4sBWNKz2yl?{&aaxA$LjKAA)(Yv$kh z0A9EmruYD7!n=V!KySjv79od|*jHqabQh^Bc6;9sgyfx%e#T_IK=Q`O7V!Ss+lCal za7;j+Z8v1g75^<;jvUQcE#Se&^LFrpS|%F%XZ=QjcbzDi_EWAL%Dx2A16Q@4Wy3vw z-2|HopJ}I=>YtYLh#RPFq9{P-Q2YL)#i^cFc+(?azCbp;YN9hMs*S7WY>87$g(X9_ zcC4sfO1Ny{Rk^@rZ(&79Fb(fN5meO&TIH|QcKZQ>=5c!o_H~%0#R;$i!X?mDL?h*C zf(dnDyzSM(^gxf6LW8We0DOVht36bmG8xXT*v-P4?^HZCS^xC@ znIgM=624H5<6<03&4#iQW8tqroitSrMO#<7yB%g>hq-S%9Q*|JBw+xmK-vt;biI0w9e2k$QXXx5IWl27F^CE)U0u z-<#zSra(%gma_A8m3dgNd{~}`bYAlQ8)Lbdd@+ZDe!b9Oz>8)vp6Fmx;s_^Pz+W2l zC_-wcJV6F0T;F*eYI6LacGLv=OL>mq6lY-N4Mu!}lTkf;<{_KnBeD?`tA{?n4%K~iYe)66K)PW8q&lsT zkPtZt7@`EKBSvb!e|j|^G=m{5|EMr^%^dv0jVZWlx{kJpvcy=jJC0BvV2apBk?N|w z;U<(Zs1B2I?Jq7U`~vNeB!Oj#Eefd`^($EBIyL3Ai%~3dN^=PozNJ4WoqNkG^|GGZ&)+X>BD$_AVp6yh-wH98$Qz zM=T7S!H`p%pxBa9Q3E8XbbQp2#b<*(uVAoKHk{n67&EeUmy+HWiPiwIpSmW@~?$&UG#YP=t^?h9 z8z}<)&raM`Z?jCUjo68g?oG43fNWAKa%Kv@bdDXSYJ@pe8+~YLw=Etcn40>AgfTph z9<69ge7$f>A~p)wb`%O+uiP&oA4`z1z7;OrxL9tZmsi_W18WZ3ra{_kScBnaHkvui zEoHP2rA|hfI*TlulTYw!go!Io7e~cn5{`LLb@lFxQ3RqehU^q-!9sjQ%Z>xb-sN!r zcnZxA2ITPp#LBw7)J{JybI3(IWFx8OVQ;N~YB*Y9*S{QT*rbl)yK;$FNe)8@*>n35 zg7M%O0AWIzlI6i{bMV|{hl54Ru=We8wH?W_91bhtRDYzATB165NUo>R_JTcMNE$-w zsEOut3U&9g%9sxSjE^W2{Czhf{?c@Rml7!KWxX9NkS@s>wxb+F3WEc+d*Li-{tdDb zkfm@V88m|2TNDPhiQB%TO`4bprs1^~I@t#k2lci>iBUN0SB}GJDZZ#sNFPN<;ghq* zTY;FTx!LEqg$*xw7U^r1?XMfHq+R=^ zivXhNR=l@}kX?WxR9AB}H>o_iP}f3DtL=oAq=f^*n^Sh{E_O8froHFrS(``&t!zO# z&NMn`XVsz1OLX#EiidjM4Z(BZwquedlwqKVJl8NvDDE{c=hgUiE-@M9sSd?i=(n5Zr z9F)w|G?0$_`^)&+KLXqTzGrS>SQ-zL37)omP_xBnpDZ5Le;9zJ`y~;bI%IY7*_~V9 zzA8LdAoyx9GqMAocl1pa;QZvvUM8P>@!~MCvCvqWC76VqB^agdry_9*KRvd548O5` ztvw6_?#aY1OkBubaKTa>T9V}XPPTIuA_;t3cxj=xi9_qj$jK7I0T?J-J|M9PTkeOv zCFSHpa9zwJXkvn#yPMVMjMiSVdc)x+9q613fe$U955;IT8A`Gtzib0Yj5Jmu4w5E3 zo{U;#_3-^Nh4UWr#3T_l6xJ<%A1h-O+^~v3kkEmji#xUhG>x3+kQHJC7l0Uq^%lmH z`{t65RQ?MiFsDp#>J#uzl^%z4!pKRY0zF)mhV|bzUd9S&@KJ{ITGWRkP5_bO-Q{v} zP0p3F-q{JCdv{aQHLhc_vqtR-kzWace=@!@hIA>frKreb2qLQD4gd**1uJ07R)Y^Y zzIwC32t4!wWA0?18!rg)EQ00Yf0aR(F?dF;K}wyq8oc-8-6=>JH>(-EMXxCLCKxIq zZMedjp@l8MnJ@*|z?&$A;~0Y4o_mhSj=jSI*D*G|?g1~!28)RFi$Ow($v6%c;LGO| zGccHFA1HT#v51a=zdiPKgd7RzAfbg^ zvH+%@G~F(75k{d9ZWS}C>&|*d0Uo3Cl)$6mlPEs#^YO@>1!ux~!`kxgg_xh!1Fm#O zjP=zGm7B4N1pMT${F}uBPq5H(j6nnLBalLJToL9u3=bipk3K@VARBE zl_79ZH5ho7M_3EE`yX&TUV%{(epGPup9%VBg8tv^pkQyj^wsr%4gkTEcAG<+x~3#~ zFP#*PaLT6Z@vuPef!zx?;D8mJeJ%ss(FTSRur$Vs&doZoU@1(g+SJ#fd%n2l14SN* z9C6gD)XWXR|8eZb5YYF?cx0*H5ruu?-E)f!8=j0d_!?MlV_0)11*aSR0zS5c?PM93 z$u1jw;aS+rgIlNR$r?4-9jJ;YI@`e1C2sgRdVY7BGE;3L7`>sXJp*m?w(J9G)*li3 z^#|*{5Dj~(i}|9J|fr8Cy233Eb>Ew#0944 zC@=#_-j0gG8*9RP56~^CDZF{%=QIzn*z)jA{g$(myO~0e5NQjxUm$LSmB#tWejZCOdC~zU6Nq4R2WFQJPl|_&iZLJBbCL&1OA*c5eRb}LrTo_h z^xDc?<6OENlR9GaCxxTm&Cc3Jzq@IB7I{=ESZMZ`m~-&lDz)(X2WK~5@MX;uhu6Ou z-0|Lu@t5R(X>mT*D9JlFfWz7X-`vaYm~xIGU>`?V*fzS4WQF%vb09!HU*>s+3NiPg zs&Y7g8|kss{QM>pMge=uhCKJ_x?j34Y0%9olQ`(XBGy+JE_h}Z$zaLkb7!U zJWNb&xv!XLS?xEPtGyY9wFZ7aYf*VRa`4ppukKKp?OW)Tl%K#&+-!~Jgk_e%FAjkZ z*ClnpQz+m^q6bUD7n%Y_Bi*ZU`uASYSIQ`2TU(P3{;5f0y`v2G{~9a)VE6Z!6E#0R z0c~|FE&^V;98q#UtF-+cYyYZ@dH?5b4?R$ zVEB>m2KT~Cz7Ap@mfvW#1hC%&_Pz9G64BxCMHdH0P->@taRl5j-(^=`WhvSh+cOTW zzTB{3(`LN7s&SOwrih-ZO}AGmb(6~3@9jF_uPfC3r3XfODVZ=P5R z@~qIn8TPf{)C1e% zQ|tZbHb`;?CN&~y=U;Pm=LF2vYR}z$e}2Go7k*Lu;IHT3z_1wx^zYRR7rmndKNyL< zv+=KFEvquT^LQ>ZFD(%SuLI(8II1DNkeT*&GB|jM8=)=He{M>IWuUc+l2ZNaDPO`L zSds;g{&h(MSGa;x{)RQ$`huZkJqdr5(u<=+hT~A&i6;-8{gs0k9?w!vMo{f{Cg^#p7*T=YUBCmAXMJLgcoSflS2T}Q7i&cp6 fh|gPP%I{4LZ!Vj0%-+)90RQ2!dg^&<=dS+`FtIvW literal 0 HcmV?d00001 diff --git a/solo-chains/docs/bridge/solo-chain-to-ethereum.md b/solo-chains/docs/bridge/solo-chain-to-ethereum.md new file mode 100644 index 000000000..f3d5c3e83 --- /dev/null +++ b/solo-chains/docs/bridge/solo-chain-to-ethereum.md @@ -0,0 +1,73 @@ +# State synchronization flow from Starlight to Ethereum + +## BEEFY + +BEEFY (Binary Enhanced Extra Fast Yield) is a light client protocol for Polkadot that enables efficient finality proofs using [Merkle Mountain Ranges](https://spec.polkadot.network/sect-finality#defn-mmr). It reduces the amount of data that needs to be relayed between chains by focusing on specific validator signatures. + +On its core, BEEFY allows components of a remote network (such as Ethereum) to verify the state (finality proofs) created by the origin chain (Polkadot, Starlight, etc.). + +The goals of BEEFY (according to Polkadot’s spec) are: + +- Allow customization of signature schemes to adapt to different target chains. +- Minimize the size of the finality proof and the effort required by a light client to follow finality. +- Unify data types and use backward-compatible versioning so that the protocol can be extended (additional payload, different signature schemes) without breaking existing light clients. + +BEEFY consists of two components: + +a. **Consensus Extension** on GRANDPA finalization (voting round). + +b. An efficient **protocol** for convincing on-chain/ off-chain light clients about the finality vote (relayer). + +## Voting round + +A “voting round” on BEEFY is basically the time gap where BEEFY validators vote over a specific block (round number). More specifically, they vote for the Commitment for that block number. + +The current round ends when the next round starts, which might happen when: + +1. Either the node collects `2/3rd + 1` valid votes for that round. +2. Or the node receives a BEEFY Justification for a block greater than the current best BEEFY block. + +Each node determines what it believes the next round number is, based on the following: + +1. Best GRANDPA finalized block number (`best_grandpa`). +2. Best BEEFY finalized block number (`best_beefy`). +3. Starting block of the current session (`session_start`). + +See [the formula](https://spec.polkadot.network/sect-finality#defn-beefy-round-number) in Polkadot’s spec for more detailed explanation. + +Something important to note is that while BEEFY **can** vote on top of GRANDPA-finalized blocks, it does **not have to**. BEEFY can select **any recent block** as a checkpoint (based on the above criteria), even if it hasn't yet been finalized by GRANDPA. This allows BEEFY to provide faster and more efficient finality for external chains, especially when the full GRANDPA finality process is too slow for cross-chain communication purposes. + +## Vote Message + +On each BEEFY round, validators create a direct vote and gossip it to its peers. As part of a vote, validators sign over the Payload present inside the Beefy Commitment. You can check the full definition [here](https://spec.polkadot.network/chap-networking#defn-msg-beefy-gossip). + +The Payload is basically the Merkle root of the whole MMR generated. The leaf data inside It contains several fields for each past block (full definition [here](https://spec.polkadot.network/sect-finality#defn-beefy-payload)). + +## Relayer’s role + +To submit BEEFY proofs to Ethereum (or any other remote network), the relayer first collects all the BEEFY gossiped votes of the origin chain’s validators, and convert them to a **Signed Commitment Witnesses** data structure, which is composed by the BEEFY commitment itself, a randomly selected validator signature, and an initial bitfield claiming which validators have signed the commitment. + +```code +signedCommitmentWitnesses = (beefyCommitment, validatorBooleanArray, randomValidatorSignature) +``` + +After building the `signedCommitmentWitnesses` message, the relayer starts interacting with the light client on Ethereum (`BeefyClient.sol`) and performs some steps, which in case of Snowbridge are the following ones: + +1. `submitInitial` - In the first transaction, the relayer submits the `signedCommitmentWitnesses` message. +2. The relayer then waits [MAX_SEED_LOOKAHEAD](https://eth2book.info/bellatrix/part3/config/preset/#max_seed_lookahead) blocks. +3. `commitPrevRandao` - The relayer submits a second transaction to reveal and commit to a random seed, derived from Ethereum's [RANDAO](https://eips.ethereum.org/EIPS/eip-4399). +4. The relayer requests from the light client a bitfield with N*N*randomly chosen validators sampled from the initial bitfield. +5. `submitFinal` - The relayer sends a third and final transaction with signatures for all the validators specified in the final bitfield + +After all the previous steps, the light client verifies all validator signatures in the third transaction and checks if: + +1. The provided validators are in the current validator set +2. The provided validators are in the final bitfield +3. The provided validators have signed the beefy commitment + +If those checks succeed and the third transaction is valid, then the payload inside the BEEFY commitment is applied. + +## Starlight → Relayer → Ethereum: overall workflow diagram +

+ +

\ No newline at end of file