From 49cebc18d062c261e6885d2e9a15e61484be88ab Mon Sep 17 00:00:00 2001 From: Vitalik Buterin Date: Sun, 9 Jul 2017 09:04:36 -0400 Subject: [PATCH] Improved the discouragement paper further --- casper4/papers/discouragement.pdf | Bin 238864 -> 241072 bytes casper4/papers/discouragement.tex | 25 ++++++++++++++++++++++--- 2 files changed, 22 insertions(+), 3 deletions(-) diff --git a/casper4/papers/discouragement.pdf b/casper4/papers/discouragement.pdf index 55f883d486844613199bed48835f54e3c9cfddf6..07732abf7c16555a8d95a2e5adc7b559b45729ca 100644 GIT binary patch delta 51168 zcmV)8K*qn2$_}vG4uG@)D>MT#I53w`4g)EFtr^R5H-oBZ(D9Da@(|0z*feQD?Whcvg*JmA+v$I-iI2EF?EbpOlazrX(>)!Xxb zbZkv_NcbedxxF*isthRIz0RXcjlU^6R~d;54^KtTsAM3lk{$$1brZw%P_1KOxTHAuWYm z{j#42y_<=QdtF4s__DeODNnW}*VScmaFw=7uENpLf5szR&(o?KEzisGM%g)xd{PZM;`(VAeSc&KVB0G;NHi~! z=wJObyQXG90a*$;iyG8ni;$_J{J$7P-< z($6H13!NQotWq(}H$h7QSmt?uhG-^Mg#~(Il?YaXSa<(?y!-V|0jbGB9a5FYNs%9H zS;hubyYB9O{v|myun4b-)3P|c5^9IqZ#C{~4?o@g_wFNljSXGbv%r3g+E@>f8z{?x zvh<*1ot2Dq-ZL>9+teHs_@R`sKw(UxkeR}qlk5Hv_ilWVN#Z<7gY5=?*6GztEFcuf zy1YzRth=Sq#5o>)#S#iZf!H17Nu0piMkmBCji>62vR8Rj(HAU%r}famdpbY49oefi zixXS?5!q+olD#&7rp>_?Hcpc4tFlkyQt7YAemN@#reyh-WnaW;UckmAD^{|d8?9^!d`)sBz#5Osc`Tdy#49s$PZ=5y4r`Jn_%F5hqQ6d+MtZ2ehe(O<96eGl-?d z5_#ZU6N1bKA$FcC3Y{TR8{E=OQ3iNQQ3k%u z9vrQ+Bb+07MwbwOL5|f?aF7`MR$^Lo|?O7GDv)phK~XxI`?7f*c#z& z^DADi_6^bX!X|uPDgFl70?(9W520u{1sV?A%PtL2$Z?e+H!gz*8>Y!W`PR?NenOFx zL}vkZr2GRw70+LN-#k~mYNBTd-Fx)XWkzRPK^mKXQ256Mb`BXkhit?8?LL{~jX2mc zjSd9~^mTh_IC0h4yW5LJS9eHd%`yd)6A;`wa;e~ixFRF(3v1U1V#*K#z>NIwt^w7s z306AyK@-YgM5Yi32xTcIa3)S@k^{kDVRIiQvbEw%DJbx6A+4Ie#PU5?R>rydmLt0s zqNDqN_2NfVGhLKi(iGsjM=6FFJYcv%_`n4T!furrVXQ?s3jAXN%_bYr1&o(sxdmg{ zqf$eboi84lD`GrZp=oLz{kRIApGDdV(;8joOIU^-P5qn&Ss+epI09YR(8A10yDS8f{p|S`7y5XI|(kgvv&)N3Z2JPlO6c@PrD1 zV+P+sxjwH>;9BHeI)RAS;Gcp=t;AguQIOg=o(C@p7#+N-_QPf3m93tA$2g-S;;ONK z5v(fgh5!SMh5U#-Cjj;-3yPelH#IV{sYuCd>D(*<6%i?*;=uhDx-T;WH~`~lMLcf5 z^+yw9iJicxch!hGM#wF-FWABFn*4A^E`stuQ{E1Pia(n`ruF(>ntLhYX+oNL-HXb! z)+B`8Xwv?X0`FJ*&=1C9^y&bqfmYUkpf$ro(lRbnsU!`gGfLa&BZ!JS2TQ}vaySJO zo89=p&9@!*00-(U2G!#Of7&#ej14luk@$I@d`heoyFkm@DQX4P{Zcl6O0?Paolu#U zdBC#C-}qEyDPJnL*Ozg;CcQS@sxgD0(g$i3Pe_4j=Kw{<*t-p(_X(^>b ze&pheL{>z6>BTV+`+%ftIB6VK2E-rO8Y21o_))@5`CrgKDC44Bw-2affSVI0hY|yr zo~uz_LtIQrF>$(6Kd?^+Atc7$MDlxus#qi&yv+aP}V&%U`p{`I!&(#eHoS0C6< zeo0nzk=+z?Iy9|ukMLIO0oP}mD=T?`t;eJlf zJ%lXfhr;)~)OnfyVydqb2(bE35xI?iMQpde`csnZ`gC}Mw#$uwifQfLYb%ugZ}2@k z7<|J!ZIZXpDs_~=+8mn%Kt$r#e{!7bB?{Uk&Y>E3UvpBYr<%dCTDB|vyNReFd;QYC zbw&AC$hM4ax?vmFmRFaNGi}%*74jO_El6J=&*&HmoNth)zfGN`p6?1vI!!vq(&{FD z{%1gsVv^uGu+dL{f5~x?o#=N3AHte}zZ3#-3o9}mBTFN7t=v*i@)a_eE>EyZ%`M-+ z=vf};)Xz=x<(#VMvRX$s;D5fPN(uY&&re8=NFmkmGx zCImAuGc=b`4g)BE?HXN^+qUujeudhZ&hRD{if@2v`_Q!YG=1yj-r_va5_Dosk!Mn} zegD3@Sdb!RN~icPY0~yZ0vEtyv0vB)_M5w#-@g`aAq2~fk&C+xG&%D|FRal_YPYys zFTT&JroO*jDlW5qxeKY)(0>(*Tj{e8x6)J4+;O{nK{t67FbPKZ}?#N&En znawg)Gh;5Y6j;DP^qMJ^CsQHObEaV6(lMFqCwVRL`;^y{%?rc4ah0ngd zU5acoCl(3I33)Wy8N@jg`JkGAnl~8O;4ox=J�lbwmR8=QHsNtrBgux5)4wZ1qr7 z9c^53urtt_rSQNx^GpT1+Gag>SJ|v!+U8H&tYpU7r)<`P-^-t}S$~bq=3HH4w78(Z z#%SdeJeAL4>C`kWuu42(no@EG&e`OK389{4nLR4+8Ar%D!vv;6&;fRs=k^H;Gz%nu zD?eHwsrszh!0IyhKdsOw=yIlXbP+B;mHX6V0bQS&(kVmy97Dj(jj89jz2l%WVh5>v zH)BT-OpKkQkq+Fu7io`jW<||}5sT$$)EQ3b=u-LfxiG61Co<%DKIXz#!xm2z+rfbg z6kMU%77s&t>CEAZIS|oHskXvn!jE--8&4KFoGjp~Q_O{pQ7ntmYD>_vqd0uOZ9}mS zHHL=K%}c=UOg@e6Ft)~{YhS#(rO*w(3Pku30kQR%#%yCZgtg@ga)FMZZJ>eeIsuA$ zO~Z=yy4;sdT~yWM^{YIfDQ8WKGv~}%SPN3eC)=)I=7q^7rAVJ$-`laimFWZXW~rEK9(tml1VAyKju{++bs<%Q}$DC zzMi9DDK(f7cp3;MjWy49;GgY({Hz1_>ZSa*yUKs(zg+*VukhdcXY}7dI-IWyW5C9Z zeU|$c&a)gN6RnQ%{1aPn7XmN^3o1ViO{6{(%3JwGx#Nr3@?^QCP=aw`p&=m$_`ll! z^3-1D%<_C;l!TSt^Yq@JqRNGlpsL<{!5*&H`;&uttoInSOWCXJG-XhKuvvi^l^tpA zNhGJhM?*w@1xq|6_3l!N(xV!4`3F{ibQ&La%`P3`#lu6};OI}~E)v+yp4k&5=0fxUu2-MjRLox! zdSK)bX8ZvHVe4jHCIo%CNolgaAR7qP4W)7V%GHPD@$1>3oylYN&h_l&1ep0TBK*zl zLMH0Vbr&lq7j!3A9Jz7h?fvnLA&%~n#2g~S{PCve?9PW{#m`26a6$nC?Mcl2g8J|@ zUDBL861n}4YSoX}!%wSK@VMtIh+m_V5&UUGeA*PO=-%Kx~bFbqy(`*0Hi-eORUTzM0*OV!6sMJ^{w(>HOpk@bpzxSRJ2k{Q0LF z^oGVPw6K8hQd-m}y5qD+PST=;iRbaIZ=716-UVuf$q`JCgI;0!A=35fDYIh!fsL|W zwV~)DSf%@A0PhOOG4Njau%n)02iZ__pwfzt2KBeP0tu(PT0b{i3ORS7^O5g=Y>X>gGi z-!v^Xwk6HAJ(&lp^f)aJX=b02g<{(0Uu0dUZ^ag}`q3!5;Z}Kn!>xI&^FRo70iZj) z?aK8dL1P+!3&3@=E9+t()&zc=Zu2J-dr_w`ZRkS#q0dQUKMH&wpktq|>m|#%p0cEc zRq$%wa84KN+M1*{&>$mR(??k^Az_We1YtK7LA%4l14#!GWN&2l8rvut>{bfXZ4Xy|`e?c=+TZ8uLgo z(hG`&$!02(WUVe*t5UYFj8f@-AO3d*SP#8Ybp+``-34k!yTEyqYN;;aYG}~pK>;z> z{aRsGL>wHKwill-@^LKy9-O&3dvI#+U-a0Q!~{Rw;JxHh_C<;PzwaL#-x0Lv2B^ zJPa?;QLfPcMku|-TG0J(2>?fJpm+v(@i+{mumw+6SZOHAZBu8g)5I0p@*dW&CKM*+ z1xNf2w+E+jWR}R`j78Ou!h%cng8nunGw3+fRp=5aA#LapH-}`+@HkY_y$K5;30YDX-=$^t_W(5EeL7$T1EoR0 zDvSR!hpi-*awzTv7~P^{116TyNQ6n@AcCWXAeL0-0Q2X6Xhv=z zl_q!D>$2^r1X=ZZrND~ACqfU+UD1;K;@1&%D9HYJfBHg;2!zJ*#N{$Z~L_gLX^IGgz#F=ykQSmZNSeJmx zt_~oSYTpNuBSf*>9LrBqNelmftds*bYVwn^>j+8$q~8hyb58Fn*h!H|co?cPPV-sI z6u(@(390HaO?wSf9 zDf6)=X7tmf0cD<}YbffjSdpVaz$S!_D&_DisRXeezDWbhu%XXl*YrJqz||e7r!_qL z4qQvU#?%gl*AJz?nS%Qn7c(ipSNdqC_zBVZ9=JlyZIOIotYCUY(O&qJV5>ALYB>IP z9jskP-2}8iW+b64XrRXUvA(C>DwCo|o$Z>I{D|-nWnt2!A%t^ke3gI^`M&`#){>bD zWo~41baG{3Z3<;>WN%^`Y6>+qATS_rVrmLJJPI#NWo~D5Xdp5+Hz1c$4g)BEZIC^0 z#2^fY_xuV*kQ%OVkdL)eE46dBssjza94Z$oAou%AVx+247mOdt*G(Nn#=?ZF|qb6dz!-@JNn7mk^w@qB6PR!1BaLk z+PiD>=Dc<5QZrvPd@fpKGKhL zffb_h#pFW)qbwROVF}|vQ+D1XI;<9C=IrjQuCVh61}ou$Btilc=e_6pD{fYcWN%_>3O6vf!A1d)B?31xm%&B>6t`z=0mv=^G?&3f0TdE8 zIW`I}Ol59obZ9alF)%kVIhSx30u=-?I5IYuAj$zKf3yWuoY@jB48h%!;Ly0cyF+jf z9@5YaG{N272_D>oy9I)~6Fj)PI|PSEX6DY!z5l<~dyBQ2Z&&TAQ*~dCQ_(wQE%o1z|F$P)z6oC$AV9S>ije!;bb!%e? z*unL`QqT&TIXKwxv#>ZjJ2L|g*dA=>1O@?qw+v7MT7v&- zjTxB=pkW5F|I?vvZQ|ezv;zZP3>FY$u$BEwh@%w;g0 z`0H{2Y|Lzbr~51VcOr<@AHhIlV{1zrpp`4c$`oJ%u>b>&nOf8crf z@ci#QDnQ6zb+G;uD{Ez9{SxtKy)PH_pPHTi5&`XB8$t*8?_^5WFVY1AX#Y{VJ}Vci z@yid}|Fhoz2>Jh$`R^?MSEc`NMbeHI7Jv9@|0Mi>{6I^Hh3j987wI}WysUwu^~*9? z{V!Du{O9f}fh!t4H+8*-ziFt`)W&I!D%a$2`dU;0dU$ptB3uyncat?nC@;3&*EY*M4A!TK3 z4f?%(>|ERcpq(Ai75QcOFNh1^&i1mVAh63H>ISedTUk52gaBT8_5_$%f7>Dd9yB*E zfJO4R=?}!i3Sg1`2eAQIWd26HFFuuj5GQ~|;~(^rMf-2`B77F0g^d~TZwnV6faT?( zu>8mJyLT4QKadN+0=9WserqeXe{nbfET(@$ZuS@S``LY&*guq)I?Vo|yd<^weSQCw z@)Bh8PaQ9H+PrAd`d=r%e?0Ciw*P`J3ICO!{UxKzzu-%2u7AM)nu4*To!!fr{#c)v z5&Z}M@gRc1E?{HixoK--fdKRBfaaS@F+yjitr0=ElcXDMcBYZs4~PyuQWJ)2vFhn* z^YX>gbKPvxAI#g7#BFafmS-;9H)}}0xpMwuB9-1XB{hnke*Ojhe>2YgnuvTFqaG?- zD?yxuzrd~sN`*KavmHqUWZI)nh2cR{-8CEMO#Ql0nny0MS*f+XvM^2IEfL@Q!*w-> z2BUtBEv`#En#^^}DF2Pm`k{$RDdh5kt+&Xr&J~!eeS`grSlz@O;l6TCep{!MK@M0_ z0{ujioCp=~7r&xEe`FRo9i(8p8_D2Eyj54sCR4*h?w9!brQrlm|A7KQ+dM7QEDreq z52NL4%1)k{wNK(L2Un**Z(`<8@?g_2caY$cw3<(A!%Xnt1n%`5-0I+_1xou^6KxuW zhgoUixwqGln0mN*Qn|4%6SGzpcp4|W8=KzQm=)!^L53|+f6yhPC-*$5HIQEuGBFn? zK-vDivWswc6S=vi=0tTCcY8%EsQo_?@&-Vr4OZ*qy z_2VcHmJf9zaZzSS8EGhp!Nz$eudB*Y*>wtFq8MCz>;>GR1ekY%A9v88ibyUu-^?1QOCnbYMmo4a4L3r8$gMR%N`qz!2!e=L8gd@dw1-5KgtN?&F&i_yD} z5hlh!@{HD@cuwOF&IE{jQnmJgYbgxPgE7Q8?}&<5E$WAf`SMaM?JKYMPOxPY1v)_* z%d-iBIR;Nx9^BFOe;8zo!K}-ic%)1swX>)h&;D zB49U?f9Mi~S(o~RFm`_Ua}I>iSd%G?YRr3z*Mq~8%)m=DUO*_9z|_H}PFZYb_8ozh z=sCr#OKu5?y+)O-OG&<>pDi*1;HVW{eT!`JnVdA^OPhLo*E?vKx`%2MKd}_ zSIL*i7Fk~PF~;zP?JQmUR;(mkDUBV)yQUsFe`TnsfGzS2j5U>`K_jLPGI*IC_ZM3|%ciF3e2BN~Q{(KR=mA>azZh96jxfUTrcqTe2e>A` z_E{bmsdSqn5zVK>>J-$Lh}~cGKL-%0Cgj>FX|>7#6V}o2w`F(XDaUeY!#n%P(}S=J zE9ssHo(ktfk}LILixD(*i!Nd}b~gw!fA3o#;+v`GtwD9dPE#eKB|`YKO8i|%6sH0! z53fTIW*0$oQOOE7>z$eCeDLy?zQah)G8_1Z8b1*m3sZQ6jyi@RV59Ak4Xo5vEevNB{qqyJe0{pQ7lK_?+&I`OQOz;e?6LK z+zsv_lAxXCT&3nO@-@%4`OfEkI&0E7#V%ujL4>anwzH4urZrhwT&(usLjzQqf#|8Y z#TFV2L))#X=*o0uCU8?%!zv}>x)01zMhK8R?@H_mQZ4rvd>QViXg925!S;#by5n{= zu^fI?q+gIxCap7Ygb}~YnU3O_e|}>5gs9ZY^-e`^lXY0jCdq-Q6v1apZQS{pf!nD5 zq?4$p^2~d9AY)jslxcvf&Opd)te|C7o~$yz4OAH3nWVm=HB$3n`z#hzJ;D(jhl4A5 zgg68#m@s>g{Dpq1;(Nwr0~N$CusjgjI;N*c6Xb~Nka4g0q#EH(^uQxde|k5y|GA~5 z_Vh``-L;yKS*E`Bt&Ab=YmMk1#ab6GE)*UlM>gb~`qYCcPUCvb+{)Ao zGsRwd>%Pl{bhWh3LnS>?{%rOgDLex2WpWRm-2gbW)?+NeV z1MKFy+jn0Bc9l;zXQes!OQ;&o^Wkq+VBxGpmE!YDuJ!8*)w|64T8)7VTklHtJ2rSs z{T|PH4TBE1>zuIJ-fh-soX44^np$N&*B*WyX(Xmv3izZ1VVns3e}u`#eg5;~loZtN z#e#5JMf<$#ZIkdgs)ij51_#EQj~SHuJ$QLh(}TTLm$h<-=z*TE{0B`jY}XM)-*+3O zuZPK6(=o19%5G%1-y!LUvI~=z`bs(nCtH0Z9jdyIxiZ$_H57`GrJ-M1HjO>}wUnsa zpx+SC{KH{yfJnNRf2?P4BLN;37k^=nTaLHTd%Wfn-+3zD5}(3%LC!(MZOV0cLF6kq z^L+nlx{i;0{l*40nBqoi-BrzvRBfh{X9YKo@T$-?g7FLI+pSI{|6VQ5ld*Yz^CFd4 z7v1zIW}?y9Tk-YpmF<>oND}sHJhZ}YK}i{Pa# z)>tkr6Hs3(pm8lA*0xb~jpWC@5xiVIFqcVqR*+YyzID1>(D97;QR7o4eJ_PSJguWM zg>=#Vp3ws`^0YbW*QYVhmgPeL)HHS~rG)w6;(ubh9m{<5k+f1aqDwRBemfAe5uP?y z+h0%DHqT>2e}O;0FSem9y`IKBKR_e=i>&+&Erzm7ELw;uw@|7h5+nRh&fT2Pp{1%C zt7z}KsF8*|VWmZK<96WCbW!{Rq3e}(jVUz$X_?fC8S8ZAs+2WG*b(Ca&j4ADVIy5R z>zu{B6S*dPB+5R|>XVT_Ci4})*99GuBB;~uZYLVKf5Wt3;{4V02Wqyutz1bQS6qer zNrty!R_A&2uw0q?D@YF6$7J$xS2)uF={vcZj4@QL#ix*O%Hu?IQIAiI*`i|L7Ewuc zN1lG&(c;hJy<~3;970J>8oQ=dMXQ=an5y(YT0rOUZwGEr8s-1`hI~rm0j;9fp~^o` zaN5GMf5C#LC5GQu#T8W;(3MfaH+p-W0<7U!q^1cV3w!)D}^W-f_AMEbAX6jJuy&qI##wIzMb4TuI^>J;>*BWiC@rBxM*EvZn6h3tyRKy=u*}_isZZ zZ^*X(+(P!S^VB_uNQ|WoF_9cpj)$uw_vO~ee--(aU-(KJK~+?(!@|)BS{@d4j0aPw zaR9-6;+5l@O|*Gc#H$el?8p!ai(zE)Y0t789{H*L6hLYaZL;2!cVaN*vSxCSvK;;u z+B6B;pyT1Ai^H}XwmrD{jc;eRPOUVtGRA3{L#mW8h<|l)IX0%39>GK{D_&5JkQ+<7 zf4IE5_U!I%2J`bU0V<`_BPSO-g1l$bF~ilDfGwB8tXhV_d9i8C^z~dQ_}R<3{4eIP zN{=?^e$o_bT@63vSqJfVjq~BfjxRUgy#>y@K^#sJRgAS{UpLG&kHkTniH{7K^>zA{ zW50cOH*;aE--P71Aj1abndKQy=?^ZX?>GL^c;RQEhZxi9|;fIm&FOQ zL!zaRsJ!QKrjTW4t{%Swd)eqjkPD^UH}__j;Y}`REl6C$*)QcJ6VEN1Cgxd>=lM-p z`z<(k+ZF8;#q1rUKMJCLe<&{|HYu+jjKPUmPo;YQ)giC&E-A4e^B8Mv`*L~ z@}Mv@|0Vu28E$_P)#24A=k_Tr_DKv~A>^9vyZR+pgjm< zm)TLSUnvCV7GEkjD-+^5x7P=z-q>hOWCnb!!3l~8;I+d<`{ar6f00S4_|ii7VK_XG zFdA;>?OZ~%*?f!~Yo5}Ga#~f-4;W}FLn!~i?x!z^(qFxnugzy;wmzI)YVLWbKHQ#Xh=3uu{G<}j=*SxqbG*^i6l za=yimmv9@HF7@8#e^wMEOPk{+Mlu}VtUDr=ec9vE103esYky4Y7uO^&?bY$;vK+H{6L_^y@di3Saf(@@`LPak>*)}o505Lv>1RMTf3y>fe3@;(w4_o@Rhnb;r7$@x zNCC)Rwk`?X)To@GXwb!k=oU-()PaTI7q>v@fTjjiXtt#$)7&sE%(%s~=+CzVK^Y-| z86Ao>I)uGB6MgZ>0mLvJ=mhU-Z0bc{e^$CpAhkUc=u)jMDsl{UMGJ zVZ@J_f7VI1dyAAsQB);umzWVDPna=iM5g<^#`ETbY-v?}iH3)8Qxd%T36+`vnS#WM z+D?y3_H;pM+ptM62Y&~f@j28Me1n!jG3tl1(>+!yi?PZ!h*d5N`>A_OA<3 zEGN9|JIlC_h@q6tI6FIEXINacvCYcY)GhaOf1Iqh6r;6|9U0nHAz^B2ezl;ke}92dyH;@% zwXC6))Q6yA+>@Tc2rRki!@3q)O>yM(v-FvO>&(3gTTpFI>%$1)W(#~O_&w}pzB385 z=i6CLz~|07a4MHn0%)@Gk*tBwf3Ia!3t#k8P(qc>j5pn3(l+h77qKh(obVcWLY`) zl6#5@GWpEmLA)9Fi?_;QU4p)eC7g2ff#}2*WpdiHjSnYVJdd}v+7y`o8t#S9ZdeB19~2 zPaN*0cTM;urgstA{c0CG5ry8n(UEL`pYRwK52nwliohbR(>s~2`hH2#&-hx;=sAKF z@QjOE^aQKc+wB4~Qk797e_ZIqCw5iPUI{P=cMPGy-jV&+> zmlk-GGV1%6o-rI&y*mgV1dX8I+{e&?4^zu-i^$NkV1p7w>mU;QpS<*jtu&L--t=Zu zCgapw+rRbrc2?S|!_w~%-g?M#UT|he38MOik*jGbf=cv zwI}t#Wqfy{iv=dD8M=tphOhCP3B4X|3G?S4BmI=taq<~r;>qKiojL@(bQcS#Rglt3 zCCSu@{3DZ@kf6%Cr>^&T6`Iwx5_2tE#u+5ckrb=Hn(33?-DFw z9!7#o_jm#%P$N*h4N=H{p!sf#FBQWMWN~(8N(sY4$fuaf1fzJD%$J zbK&K*m}Jr;>_iCk*N<=}a8XEJ@~HARZm zxVQsMXk85l8~i~s*1b%$C~qw+&B~ySSf(wU>Y2lGV8$8>WB@NhN6Qf?w4D)60=*Q= z;KLopH>lV18Bm@+FV6GizjYh4#N!u`Hn%;6{zDQ_Mi$Lc zf;S(GY7g?jbAL>&Sh`7}ujGqu*+wmf`JKe~1rQTMBAL`bo$~LBDTrT^=_Ce&c)HJMM|e z%c1>CK)9QCa^*WAw0U@4&6{Prz_X6-6oX<*bf)h`ajA6iVVL4_g=I(2>iiJ;NRc-`{eIBRRrG+lQ>a;v%vr=RXle|@gB z^SiLJE*se67;~QIV-B07{#pUY(#AXthakVq*$rs5CEZ&9Mp%FS9iJGl_HGd)JWnH} zFTtRF_NLw>_NQtPpAs@oXipeNkNb_kv)g#(^HhI_0%wK|yZNg(dg(T|_igDFH){d2 z>GX>zkuRuJ$`7A~W%6ma>?u zSm+XEdfe_$9P=RWxZo)pA54@FH=hfgo5#!jxj(YP)5c5QirXx>W_Pv`e-NMi2n7{z ztjK1u(K6hvJ8b5MSafr0_I4{}e!nuD0>x9`a;cV|kat)rlxBb9ZsA=?)|-nOvO}vF z%7mZ5LYoiG8C=alWJq>q(pG2ewWm4u$Gmw6{+cp9qyNr$aer#xBV?B@mm~C{)A1vM z!c5VasKib4I`q=FFWH3We~d$;H!`Z3ORqTMGHKK8????yu&=RSF;m?bNCN7{13m8R z5tnXgKQqOzlkZzg>Gs@rCcB_DW+%B*D24|Ti|jTWA(rmx@R3t@&Q+uk(8%9k*abjw zZ;bB{#bJ@E6QV`pbW})knL=(eVg-3QkLsfu>v)`e?vOUy7)*m~Vj#YQ3extuCO}7Y5leb7<$i z6%hs3gf>||1K-!L+$t-1+C9qEkXimJWz8`sHgcg;*Ie(6j$g8o0mVqgHNBQ^!a!aP zPTLIP2$`97JSig1e}Ai7%+p0}_U(KpWS#l40@kVAlifCe+AL}xS>dgI^oe&_3*NoB zV*d?lNf!aUe%Wx}x%kDa+1=+QLJTUw4*VQlHQ;Q+h9LoL;!XmzX?TDfYwK|C^scj| z;9ZMs}B!FK13pN$c)+xILc%f{#)!CAH^MF!|=M?Zz%5R-*M;4j0X)!IHy z8FI-bpryb%uF||KCkQ3|5t4YbIO(uH>blfrpm;apH-j037v1x;&G+2K#&Jdv&WJBk z8^#hGe-{(nt7%^!;iX*ZH3F$?FZVhp_Bl3)HMWC65Cnuo0mWjOl`e3vbGn?FYi&Z;vXZ5-bdbG>p zY%C1vZ8@g+uFC6?ScW8M+$!^1$E}Ga^&?f7qIUK54$K`N%i8|l}%*kt7L5`RrI62qCcrKSgTHqIb{L- z$#phk-hWawNWEEib+2X2dOzhOdP@61SNODif-*tJPle@o;> ze@6r~3*aEmD|O|G@i`qIOXtlkB@TMs6j$2l#1q6o!ZAs0VhX}Y9S_Tl?;=Q!d(H0z zO}SusFF3izl~sWwKk#)x37KD}6KQ?bvC*LK&6uA+D&GOk^EY)Ex9l6d{)dYItX5U*(Hy&5gYz0z z5gHt%Di=!jOIg^9fp-}QCz9X7Q{OHzPU`v44GzCW1C=2$5)}1|_?u!MYEfD8W8$cN zruJnqoEVet*lhXkTar5cAr&k2OxcxTwyi6!?cm1d5c>qlJUO8qTa1GpHv@T)e}$o1 zUxyg+=$HAI)hHWsm7))2hE&Kw80w7-6<(bDm*H-@Knx6yD4AZ+W-j#8C zA0gsZU@Gw?-GX-*J1lbCF95HCJ=AljrZoEVZ>6xpja_Uc{jdqLTF;SHgW0C_SY%}m zw~mg>)YE*h_z$tbAn5a7AIva?e+ngQSmElLx33JqM_wH;T;jA_sVFN?sfw}LA3k-8 zEagOZ7hmh#!*Dg=K=OViOTQc0GD9sQKvE~LHEE6Jb&?&Me@enx3whW5p4#{!39w@) zsNz{MRX9rm7sTsBj>6;9-GVKvJ;~rJ_nCt+WP|IQZF0o-W?wbDBTE4@e=CiWN@p>& z&{vhj9qF}Gl0lo-97V%{8*uxq?Cl-}O&J^z1=!|zyooMoIs3!Z*Wh_`4nn2H5K4Q! zR#NLhu*U?mdB3{!ys)L3TiSFTEML)QfV>+W4tdQdYsQ#9yLyxC}MWutg@L4kLPe9?)nCATi3>yV+9g{MGGfKWOd1sNv zUih5rIuZ&5E6UUOFKsqFT1fk%9QW=WXU5DWi7C;o`$@nY>Yw@QkX-T`hk%SslSfHU z;!#0>~9PQe>J@wC>PI|J1V=q z`|~%P1mV!Qurvbxeu=F7Wc8-=V>#vT;Ea|_S_~B6gN{z9HOkGZr1|r;INs-z9SmeY zPv9Ele+!|tX_6yj#}j0cJF%;{5k~js02vrGrl=WF4bE4$X?9j5hfM0P z3Ng1CJzpJ@c`RzR=F)NH2Y$kZ7G^QG6N=DOvf?eQBCS;)iaZY8cfW@V6O!q6!4YFhtl?2c{W<3gFJ~iqhG(jDz5Be@b+g2JO)N#?q;wIW`9D z()CdJTF8HPHFS^whHPAWpuGrQwRbaZn!nj@t(_YdGNqZMuyvqc{dMp-SPHCCBXH#> z?89?C43_b4w@6oEa!~zz21B(%*y&vOiJl*fEM{H;(VR*V6=gscOLxDf6~A)*K|God z?~V_19D@>cm0bZaOj?G?wUh~>k%|d;1lVU5k z3_a}2c4ArY+rYp+6Emmj!fOZdIXf}B{TLof;u9zrN9_ zQ_!tEe+G;tO_l7{?`Jlgy~cXL&5GwH z2R-VxMJ6Dw4ZWf`C_*#no&1fiMqLqbqK$NfJ(gqO^Y9Za9c&IpaCaoNQkZ3Lu(6_JPs^y4sYbizr+AC5Q$D80}EtouXL>{uZZW>8-K*uBz4{|kEK!Z7FIZk z-`Oqcer58rn`R40Bddkx#BToyz5lA5Kg#7oX5{a*L(((%-Fa~uLs~KDL7xRUm-3(a zw*L7q(;%{{IUn^EqrAkT=q#Qv3|tM}cW=71dO?3Wm4!*xWnI&vo>6P%G|ujy(+jv8 za3zF|=A0y@P@^pr#78I%B>wHmDZKnK8AyFKdn;VMMg6*LL{S3g!9X-%oYen{hU^0% zhT>!H1x_~g8-(^h4oa5060`thggqKtBa;rlyAfsje$~s>!(O~KI*A993MsQoO=OmX zRPj0Cu=s)&$>V8Z2XlX2a+# zvY!n>Re8et)T@aA4X=Ut{b)HMmigUh!zAe#zn~N?n;boL1lMa)P46d`7B zbop{Jie)vwn zV@~TkPwU0fK#-De9~ZJ{Qbk-G%W%?x`X6~NYIs?wYUn+H`OB-OR6VqvEbfKeVjl>% z>a>(Toxn5tq?g=!wpaqFLS9yXc5LxI!++Q~oaV#Bw>7|usvR#(v0wk?yALU`m+s+L zz0uQKRBa40LG})FnBvxnvilmI(4n}b_Pcwq5Xxf<3&?)+;VGJ&grse5o?~p<>#vCa z@Qlxeebv#2az>MZPBqZkQ3(Iis<4m{p*@&?Pp9J*e7L^0F&75~PIh zqv_N3eh7YLgBAdz^;V_&&&nCKHA^C33i@bJwk5;3Ck>%?S7^eOVY)En;}T@utKQ*5 zC4{}pYI0{!zRK?|OKHA+LN_>PYB?4!!>lXfO7{O9X;6bJSy877$AE-*7qLCmL{*$sl#ZA_kT7zHZ?@Nmyoh&zCVAx zDG#?)v*j*o~>p**@Z6YlxGw?O{*PlktcCt4-?S{ba+R z)9>*$8oUul_K3JR2L>h6fcWT4v*`N5TuFhWr{YW`def_zW^t^#2{WxB&Np`Qw=sZi zE18)jWaHMVC-Y<-;lG68a+p~wh8WhW%+uiqBlK3icGDREzx%S||NL*DeZw|4h{1Dq z%ZXsr&KHjd)3NkT%x?Beb&4M)v_z&wb+(nvzHi8wb$ zu}KmmmDZTAGKZ+LUHYEg_5AwX)NMbh&35g&>^$r$bd5*p#XyK;DVq+d1qv17>;T>- z4pM)1HUC3FfokHokFq3=iW>I z<_FUft^~0&G!%K-z5=m?u4RKTL4qvJ8nEp}3P%??dIBNDfdLEk{-T43N=GEPqV69( zy}CkTcXt5o&#s~Xv{pf{P+Adpa91ENE})trK4@|B4X;4HRB=(VVDqiP9bd_o1Ag^w zPUiH11oskwfr;s%5LGM5*0O;(atllTLd-vf3H@TxcsK4vda2+7u_Ji~20jlz=};iv z)>jE20(rPI#RPsRS^HxS5+Tf}DS`J3>|B62mmV^SIeTLRIQ`ojlLSWgb^**UIc+?` zBHH-BW2tXy?sSExP$XO7XCRHfE5xS^3{mt_!?efx2?%08Yrbji#4S5dW1ZW`6yJHwe=eYlrX4I+pN~i1ijM~pp_t(^b_ECIK{m$FEI<6HYxP$ZODAsK8 zx5>p5HmKH@Hj+kfPmpCVN+l$?))!?PEVd9f%Zgf5-!sfGpK5tO^hFTxKXGZXc_9JfK{nQbYmD2ns%_4daghbYfA#V19HP6uBVezS^4I~r zsO3?gj(qKM=I!ySo4ICHv45wm)`#~I&(GTJyo%kviX+U%$h#I@uMRqrn8HwG-r4-*uvLO&QaP}E@U=1*R3x?igBXqsxj zu9nSj%%Vg#UB6VFjxK7DSOT_5<@*5@_BrB;NLO9M;SNpIN+bkCMuD@U)5sf5M|dqE z6CZGZoQYS8VK_{=s3-aPhO%SCmMUjvT{J-|RZUVL?F*OZDc?rl=pM9f6cIeM;BuWg z3*v&%>Eo&MVG;~K-Czup32@I>l6iXAM>%(}m#s4m`43i3=81(;jxrw2Y64;1>-#=9 z_NJcWH)F+}FE35kRF*j~>kBgRsL(Sc(EPH=>;Fjvgo7c@vy~$`q(=#h&sW?{WLo0W zp{oai9m&-hFSx;>W}s#P_XCAdg*Ph?!Cbh{eSjibNu3SB{w)KByK(>3vO%`{+MyP>Y++b#p^Y_hToa=a zBg+_Z!ZkKMHiqOYN34^c%bli_VVW6zv8cL(2o@dgCet`23;OT1tW%sa*MJGJe;c%{ zOlL&X!*gg5GGhG;vI)6pbue$MyGLD)>$$I$my`^OCG!&k!Yowhp8)ymxZ!JmNgqj4 zNH|sY%A5=_ok=CLfrV3As?;gf0pcVO;y57jlbUXQ^1!OPTau7@7rKTFG7w5pKmA}n z=UsdKLM=hds6pS7u^##UNZFby#m0bcCv+%1QXQj_{&-(w2SnvC>DqK+D6uD=OShgq z3{kSZ^W?TTw4#m?9M~eP0=i@Jbd}AU|7x#cPGd)aweK@S^_YD22IlQyj>+^dC5Gb# zmGNtbjmO8@Hk{k(lNC%&%fnlOS+Hn^e)0aOOv!!R?cbW z8D&`RBe=DzRE_`<*JN|!<&bG(!$OCB?}BE;^PtH;Uu+O&2TtPyPO7%Lu`JA^54uI) zr*&ePc@r39(en~VX8UNn&wO_=D0rZ(+B0BAPqYv!OEZH@<1-A$WH8UF<+`1F*dCQ5 zKS#l_d2T}vUf>9CcpAz)SV?D#Ey!kn&jtOr01}Av3+5K~n{;)=cAcCk;|5-#w&_*s zFYNzAUTuZ#0B~i6P)VZ3o8O>Zw3R9%tpZfQfU6$iGF%*Y=4GTWonhvs-eA zZnLhY)^LyiJ5%D-%LBX*F6lLH;_m6pZJSNJf9yTT|HbC80b9B-&X&n@nmdK9Tmv;o zIk$KE2^jCoSN~_YWF+r7x+Lftt{N`Oo-+;Tolw(lW>>6|wX}rm%c=HCPVhx;X+xlz zMU>%E@kpb)KB$gH*=V9I;4$n4{_!atR1*BjG4-tY@{`6S7h?fg{RA16iW`cyR<)vn zHO4R>VZ0r?WK}D_EzyA8z1}{ls;?Wd+eU~H0q|?JDl`~&?(IJ)`>9@8K>u>pAs*CM zsg1k}d5rFXQdEvE_o+onsrYp<+!}2rWzb%h();1U)6^KrcH@xGbB zrmgr6eUj8nX)Z>K$ds3~s=3JN`zdG32%bgFS&8>Wx4bUBLk{~J=9q?$ZGMEeR`YG#p-#W3mEk1Qq z(HoDS7(UF3BVVKNObu@~k5C@B81rFUoneJhbceR+!-MH5*zIe(YBZTA;aR*3=Q^^7 zM^aeQ%hn;iI=h2q&nYlQ?(xb=-mzUR@lt!ld!-LrlaU~4HM4m|M1wQQnl5@34lwHw z>Yl>3BWa1|L0!BvTw^JO3f4_z$Ow4cC5$ z$td+(8-ZR;ynU=;ZB#iCnCvla{#fziHIYy8)5p(NPij##AIR@nGfM0`zZqJQHhwKg z2f_aIJ)+8Gg*Bk#-3Lh~L)veP1{5wgrQAEzhcU2s|83y@;(*L)*x5>bgf9`v$rb%z z3|)~q?hjkCi0j1Nn$teiVz;GNk;8t)`#DBK#gY=0KFeL{##iAyMN_jDi>GY% zA0D{q zj6q!*5-#kavi?*JBmK#ye!KAV9TW1^)xbSARB*;pYRnl=>h| zW(8(t-2B3G-ADc-EzKx8RiT=vX#d4e>t7zbhw!#94mxp@8RX(9ogG#sK{j$C=J7mSwI9d4b&(04QP*nbIf+d$A1x>^^1 zdtFOjywAS*%F~>VZ{E0J9?srMB30=)bPfZp^{!pJ9IUT3u#x5Y!i9s-O1?^ zcLkbKPH}A^x6+`I(l+EfWlEzU)9`9)#sz5|J|L(Tn_`j109YP>k&SwC7Pep;hrW2# z&NbiEfvlF(c7p|{OV@izcRm<}Zpy)WvrQR;cVc&|_GVV`t^L&~O9sW7EY7y5NxF)n zU0WI2Z9s%A8k!ks9C&6NDR<8nO5-xO!@As~{bAk9Ckun-0=Eqht;lbsRjaDp@|B^O z=rh(fL&nX+1i({58zwIW`tagJ1@)*?dyt3y`<3Z7{HvZN?lr^S=O$IXr(a0>S!?~h z_sw%6Yj^W7+3lxdrDFE{g1V>qaI8+bCif%E6>MQYLXcrI zv;(BIAz#{sr$S7>2{dlQorT6GaZRs%@cyv~^=*M7J;3`1o*MCPu4^Cep)~!D@qxg= zK6%7!M|*?T3o_i+!KglwP7AMI{?OPqelRH`AkKKD<>#0v7(bp#4$Vn816N(6pH$mz zSj?!-&Vyct;Q~YJkxsQJoW+0GD|)8HX^OJGKVx1^3898mtL@*T>_np`QF4D1f%kxY zDq7KnEfA`E>;>{VqDx+*K4b7>mNC^t00!jzr*wi3}cMaU+!@omqvSRDma7<{?V$M7ga!Dl_v}k45qu}qf zWm6BMp6(CHrKQ<*+b*hmI-MMVSY8C6;7`1X%- z4S-LSjI%Ei$$m?GS@b&CLBva;V^C%)@vzJGZ`;Csq?>2v)J52*`Wb3KIp8j}$P^1Z z*_7eUcNgbe@4<({Sr~d=Vp`%mS340u;V>6!^SLgbKtEBq@P%9-wTn4N?H`jzFV`~p z*?s>bbg>lzJ5B-J$8%DX8Dz5o-uYUW3E)#{fOpePxsI#;K;O!Y$)HDQ5`^LGmok`4 zs{As#`K`9;d0`1c2mJoE(>Uk7XU>gM+R@{!_q(YbL!&~E>5uThJ`;Z77HP(q;yGbK zy5*(2*nbm*A~lE>)GWGvh9#`|-5m+C1a@*Q`6ttT8*R|#SrrYEZS0gekGO2Zqf66u49w`JQ(K;I+Ay#3`>`nGj+5&>6o3SA~WPQ8Tpk- z9OFvU`k0rD!!xSW75SX+;p1ASc zNAg56Q$;m1Z3LRV;1cz zxg@*?BH8V6`U*~Fj&TlLh*kU{an93>l_Kzv4+?alym!klBI(C2;YHMYAhm*Xr{DVX z7yJEwNn41(`DX(?GKJQ=ec*mE^W#>#_~I6cY2AhVAijfGKfXUYQIV$lh!9L6*!dl3 z|2Xs99W52#d)%#IIjTkkNz-^RFPzJ{>KQpo<#R-AK)ik%rc`I_57cqFIWulvC?vj?PMX>lXqVX! zoA&u$BENV4{YiOJ`G#nj0Z8QxcW9w4vtZ_j@+a9G>R(x=oOAt2)?_1=xtuL{1wk;< zQyuuZgk{$@+_~K{p1|p{B}aKRGQJVQh7^aec65OW)<~dYf2iz@qLP%AM^6fGw47y@ zy9Nf%8_`iKrNni>38V7kzirF{lnLBLgtgTUEcc_FMZF8y7bhn z=)Z^QVo-d@3lNDXU-bE<>clZxJl3%dYfNmz|p4uh&o0SSB~FAcI33g`i;#R1*I9eCjxnjcvt_NYQC ziS=p5Uj*kWXc99YR3a__d{(TX@y0a!0^Fy~HlS`hZ9qQQgl?60nt}`yJfzLU z;gaK~M`}*~T&Tk@W;>zYc`uC%wV(c1R&~cQZd%LXSXgj(){juZS z;ye=ATEKTzx6lP^dIWWqqwnb<#P*={+~O25HYo{PZI5inO66p=_R31XwDsZVQuFh~ z;)pXz1Y~*WNek?PFPk@V@a`GQ?ED}kv_)>c*Qs;`Oq%fwjbXx1c|PbmncNIJs3ioc zr029K`t=6bwpos4xi4JTjg!qOKFqQ(n%(!v=oJ4wey%HI$uL#vPFuGc$*f)UmgfIG z{`Hq4&7OC)6wY~}x7nN!UZQd852%$6HT(f09B^m$_V{4)BU91!9R5U!p7P!#@DY>k z4XR4P_U7ay6!*W9qittSS&T#sTGzX@Rp08=e8zs#YJw zI1t0ntDliKT190X;~#jr!;g}T>z$N01`rRIt3s$AV!}N#`@6OX(xQJnxOG@P*{Zpg zjBMOXM+Bhu!4F|y8ZeFfBk6GM^3Q2B2<|i?4%ztxa#ZwQ*PN7Jb=yQn(v;7<+Ddr6g*qyfKe$(yuiS{!XO3@EsWFT-m{oo#?$xa~Vq$ zv}PgY-#&vQZE#ieSJt}WQT{h{jgECK#JMI=>4sREQKZBK69c0aW{Xu)a2z-$4X|bD zLSZhQB`?E-vvqxB2pjRV%d0UmR5h@cP!vPjo6m#bFVc1$>>eoQspIPKC~l7xbs72b z5GQZ>aTa|LdW45b8!b%6tXWPhZq354m$wy+72zj{xtY|1Lw68KNn3Iyt4I}(Ns$1 zE8=Kq2Mu-EDwo{($GLb{M#P!FIY()r%G}P)gsM1iK7;mbU0`&Hl&f)7J zki>3AnbI#;oWxgH%5wM;%8dn3jkCO#RQ>Lykor|@OWg^=^fSxujW*Pv@Qz8N?v6%g_YY&Q z0=Rjh?y&h{Cd(9(z5R-LvIj1fn6xQ{xe4fQsP*{1vizur=K+khfGlCK5MKO|VZ>#| z6IC4kApc-KlX}*_Nvbk^=Gn$4_ZJj(j^FzJ*@2P|{R8p9v@~Iau2&n6ggKV~_;_28 z+AmJ?uf;)OS~s+JJy1^X|8OEy-qlx@Y(#N(a0(smb?O&*WPQM6Y&6D7$sdk2OOInJr*-Xm299nG<=q3Y+VqdUE=uPugv(G^&3U8tX zrL~o@pP()=+D{unsq|VJw0X)LEz8i&y{~p%iZe$RdXKFNear*?#$mPkE3L()&v|Co zL?1}~I4p7jjQsClM$#}vnWAi1j;u2$|nbwjLN8=B8 zAKPhTT;9UXrKw6nX%>yoleo=>>_AG+Dn;>SC-&lu%!U(reK0L93=lW<+{U3l(}Pd!0UV zWI!QX^d&@-x(h}(;&o*Q0;>2NF zOu@c^%pa%aIGgQHsbA*|qLz11%)z%QGO{FjGY7kf`uLEpr_E~uKl zuIm1|m#Yz;af1^px@i$Z{CKu#pij96ck1!B-hT)9z+Cb6lFlW9@k-u>D@|hcx*|Z@ zt%b#M!ScsY5BJ~E+b^|44O3;!E!S5wpN=d$9%XhJ`@H~_(T%OkhH#(8@=R*$?B{vF z>5nvD62443epjx*+yyh7Ym!snF7INU*hyyWz&@`Ip9`sQ+re*gw<>HVNyRzaQ|-eD zl3)Ap=|r2W#88q6f0BtMj6iX}CKI@!jgeXYPBSAEg>7~535+rLv??1;>~GtW6L1(P z=SA`R`tt)^Mti4eWtYGeZ{~gepL0im2|n%~UPK_zXV!yGMpI&zfyCtIte4lo10XmqER}b-d$DggCoyaE4%mA zdzuvUATA>UZK==~OuS4Q?J zsG{TrZQfl7gp5nVVBXLzIoa(M&((H>JS&Y@dAfobDfwtkwQTPc|FKN2-ViP_s&taV z$&U=LATeddYr3~`KYF69VSPuvlK)(jCQ7Ub3ta(d8z5wEu}W<_v3;)4*q_PN)mAaBX?T!YcF-Nldv$!w zycKMO4y>oO^cVX+-~7Zy_qyw_b{*ZihR_h}bF>u1mhF5dex+2?GD^tVxJ_#PAaho( zCg7t9Hl|>nhN1O<=68vEnE;0n%z$SwTy4Bnqp<8qV{kr#H(a1P0O$Zc`wJ)KD2B3s zWHaN@5I;4`dO4$w060NC5$E&2dp2==kNv~U-c@7G6>XkED^NIxEtU29s|sO($>tMI z#3+KUStv9%NvQlZxTF2#DL06ql!ku?ajBILfh@yTBO8KzU9Gc<$PS-4vkhWLOYWLuhPM zWMLxUJn2z1hR!$ED20qkPDJ;l^V)1i)PzkUQVxLp_JKcVlbyFo%aqro zJY;D9*H}2gaO=n9R;-$Ev9~9dD?0gR(W#s9h`1WHuDO(FyHUB7Qzq9Ko$%0x<&t~G z%A5#qbf|FHG}u04-FfQ0)_zR1|0}1D-uhi3X_rPG)zkQ+fdFRwGkbPrzd3_-G@XI| z))!B)o(s%c=n7c2z|ihER*?04U*1}^yR{_UWUj#uB9*Do?6we$+I%66QrSJ$4owCR z=I1q3zMxHO#$79QjbX{f@mBI(k{!F&d>)eaTGLsU|0}vi=4Z0my&6OR+O{T++J=x5 zk)O~v)%52}La%lJd~u9)Ci;%7yCXp9D>7+?P{yfq8VATi;?u6%+}w9`)*?3ui?@6M z6dVWR(k{JSuP=VY*$2CchJUCU^nB+ActY|Fb969Ce7@ec=7>UC#t0MGm~RPYGU&b= z;}0fGoJq9g9jJA8gO%BKH9@Pq{rlD(Li83$Ev2$gWKdYocWnz()2!uV#*4YVkZ}%EN5INKkN1>MB+|xA!DrJZ|j$ zHntVI$D=tkdP(>zw|}@!KFR2N>ITLuxlt9RUbsNeNgVxi6+)VzjWwO)`ZhXznxP}Z z=>h|i0{N_LVssqr&JB?^rosMOQwqSFLq@9YlYvaLBiV zs|*zN4mGN2{Ics7d+YTFb2s8-o=xk2I1Z6^xL4wcfnN*i4KYwmwAbJx6?L=#MPsd?`m0jvNEZ zQ=3*5ToDSBUVfMVvF1qY;{IIu+x}jNtQNyp#+%r@Ul~>PVkU5GyX)&}`A1*#N8Se0 zdFZPwRQv5{)9O7Lb1J)}zQ7K*$$i0!Y|X$W*#zB@g1$ZDU=?uI;#@3?N|1Cn0NukC z<3ea_m3rMy0@-fla9w2t4d#yn>SGFo?3E9aHaow9Zk*iu4Q8!VQZLkH#lT0Az;MA= z6$GZ>e!6}?yBy3{{1l={V&s;Oe7S=f*kskdiZ@9oycbb^IDQ%5)j1w(n!Q^O>P|?F zl?kC3bv|18`|~Cn-qJ-oVn*xYVr+VSfFO&Xcz`vrjQ!yfotNHoQ57!C%JCD(Y-J)c zFMp|Nvp2p5xZ%7)u}enYU0mIqrUpFhh#h$tnWujWRTa&9VHP`$(k&U*=Pz~lbg?b- zg+v9MVNA|Chu)WI2J-C`{H^-Z9Wjon0@uaFtgOT&_N|0+2g9HxLvmkU=t#JxmZV zPy%6+?{5^tDKHS}TD}Fa{6VPrFdkvu8B2=avHDX=bk@ry(;w4x{(ae~AbZEhrmyHo zC=FrUVv~JHAQZI~9D`q{QAfY|{GlcY;2a;{YA_H)m#V8{!7eU{h=^={dt-B^H>3c} zWbnPAoa>gMJ9$gM=eKXqwoH25oS5^fJ}2kP$D>CO?1L;)ncq>bbK`T@w)kBt{n zn6bZCh4vGSWtQ|mR7FP-Dy29$Mcy2Syg&kN>T$6NsY z%)3xD3qLe?Ilaj#$OQr4NqQ0n*}2{ZwxV+nOhKJ%@880{j(t{(9v&z#i!#2?UW5c4 z9n-0L!%~9ad&l|^A^e3&NO=68Plv91=1T($fHcq#DvhZ=G$@a~Z<=RIg>TjR_ieb} zFW!7Opx-%ixKHFdF#fy5DfnP*0Y{2yj<=xbz?_|%8?b=@e0&pgtq@rqKXUC#H`!Gy z;^#wnuYres%P$6eG&RYfz?Wuyem{-11?F*zO!S>ePgasJa*`|?xRpk+FQ6M0z`1g? ze95u_t4)5_nS=|Vg>cRRU){R7h5o(Yhu+%E&g&)cgNM@TKwB@P;`-6sF%DonGA{^x zx)Z7(9Wh63M-BH)f`jn!1$E8j#eTs$g8K+7;#+~pk7`1>_>JM;<_7Lg{7vLKUa$|qYIVNh1t}UnHS4MB2YLV!X#dSygLw4bs|Ti+Ue- zf|U|&Rezf4bx`w?4c>q2Z8nYC2s=l;WB>5oYWMXS`B`bG*6u`^5~#G!;gu+f_+<6H z(~G8n{L5S}zSH|=iABDZE;bq10VyNLmWg>%*^TPxRCy-OXcaVL^+0>UlYvY=3qAoy z3!#yh3=VZ)pl;_}RbCoB5rV1HhG%n^sWc2YUC!Rn`{8ryIj@GQF)N5AIzD$6U@Py8 z8k7W)1}{|+l;t+f_b&^#zRb6(VoU-2BW#e}$cD9i^6}TI%iWI#4@d!^RgUPW_c%?S zHQ(jO^v2fSd~`E2D1&t`#kO^m4$;tqDwC=c@*L}d2fYRw7tgva0n2me6n6`E%t{lg zg$HPy6)sJAvn#@BMNGH>X6u1+1HL$zi;D9@gAqazs!x=uAjjBj#8(&2JoWMQsKK3T zYo`Z8mbJ*yfpIgVOkDs_ft?P`C3lJNOFmUJrl&C9@XjsWu&@ z0sjz98o&_``#bKwBnK5H_HurO?{hf}Kg9%zdz!bpzAi5$wL|W3_cho22M;Awhf-*1VgxPwAB(Kx@~}H;?fYBJk5&Pu3HOJsk!dylvBW6=mN|2E!osqSi)6N= zgLz)l!kGeQkXl zD-|LiwJnx^*-P@%VUSA{rC+7X1KyHhBgGJsc`A^csIAofb=e$m@N=F{#f`%FU_yy_ zDnUN?zP8hop%nuFH^$WzOj8|emS%2qUJmWEokiNw!cImi70Cn5tZ#J<(RiaRzeo(o zh$R0}AYdVe&269&o2Xw+1{;u+X{QcZe`Y@^?!0?hwtG?o!#R~oKYV7qr7FTX-A03} zSP<-CId})QI-E_!zCvfhMZu&?s?yT(?5;oah6VjKmh%EUxD^LJp|Z(BW|bfHimmUH zDScgv#r`NCHL6k@$CDl?IJC4NPNhX!BYMowtWcHwlU2(TpJ6t`uefuJfc?l^!rRdF z%~oTcy+K@lz1+r)Av%sPdd76o@|5PH;57e?^E(`WBaB=%mF2bF*NnP z^Dkm{J60|5);_m;Y12RR%-Afmo7m7Iy^m{4x!vt7g3?S^ML{FG|Dt8s#Fh|nP};W1 z7+F4eWjtf!RtloBG}>iPLDt5S>pTRXOi%GHbAPGkP(_s*awvH5=@-ukOi<}P#VK!zR{-tzQ3n!ftO($vg-<22w z=N|FlReu*ZOS7qgzTOu!q-%Y&nC)lkriHgS!s5V1hc;&>{2~8tLD4j59%($niQ5!~)x`irzG$%kT0&G|Vs`~yPvD?k`JrdSyIcJYEP2<|W->O08Qx33>4dSY|uCjz-ZLwtC=P>pD<#-y>UM2U} zwF~lsiz$rBe!XlT(J34P?{n4wKUG@KCRb5C^YIUfVZn!1sn$J-b~Ui?s^Or>_mw&~ zT;DGg-WQ}bu2{yDe2j#tn7zk<;#YTb9JiIC-7dNkuTsUW1UCg9n?I)d6a)K%p#zZG zw{ef=;o8%jR(-_}jzDd5ob(p?#t`8p7|0TbVy7^@(!b>V&T8I-ywHC^v7 zIz-r~zbTxRCr4=TrEJLC$|`yC02=Vsq1%`iu-z?WlvFKaEVMP&nb)h)y}v@W6p19W zhny;#jDyM9Svoxd|s+_c^WQH*%&uHmQ6_~Tmh%pTSp z7=3NceB@BfKr8(S<9jNWSR+Ooa^-ird$22OSb+f_Q8!28Czt=-POu(PWfX4Uwn@oI z70`-HpmctYI^LpDlESf=000`5jBg^z^8C{^2zBJCCCud1>BhBEY-&Z7&jIA=rMD3C z7JSk=Z3Z?;3U*%UVuUVkeBb&==PxNrVN>fO|nvmj(ONKh9lyykh zdz05z>?SP_$lS>VrD%Rk+{#zmw&hME zNw9A89hNz&tem9@NREf=j;=B7yrpv?aqJEgla<`lM!MiOqGu7w9h*ezhG9Q8nxck0 zKVGcp8cieX0qN;@a#_Y|8JKAB=cN6!pG5+H2&1S`u1Td3jR?$7au}A6++kSetqVGu4@N^;A1MQTR7`QQ1MzeR{5>hAXnTsHad7v z&c)spmDkXrWI|og){&+LY5+4#PpH4h_m}}LpcJ02s|E%Yg+J(=5KZ}YZ?fz24o$~2 zdsZT~7Fo=80~LUO?R%*&nKe|ai$$yc+Z*`b!$URdkfg%%$xa^o5yy3;OL!Mp#Gulo z5E*FFQDTb{mKK7}dlv$AwXMvL|6m(N7@ix!ZH(Olwoo)G)(CaA&+n*R{FY@!LC&@~ z0LA*j_)(vCDB7Tr8x7;ZNBgxU_VlwP5afFmpP6nB>kJZ#MS$gvoU>)4z(V{MEW3ihGwV}Fu~{T zSi+lXi!h)#UuImA&2-QOBj-C<3#W7jS*W5Yqq^Y6gbz}E3t?nKJHe`% zD$A-CD7g#QO#a8UmbfYkfuEECe9qdi)OJ~Qwy1gitozy127uW4)7LzjYZVR4t7&4& z6n4|nf`|uMHnzu`W**R_Ij5lTGVV9CL>eTcRi@^4%mTPgHLbqQrjRw7iet^kPfb!0 zD>-sPPn#kUhs-&5mvg^M|^uWh52W$j6ITKo^nvp8h|MtEv)l7&6}=2j@gIzv~Gf+Ngr zS##}=J_ZyyM9IV`+*Kk#-sQynz!UqT+HQ5^L_1jTppd&=$ESmSHxb>ukPJ_Fv*EqW zAGpWi-o|dpdFIMR^n-vuyGN!BUlhY0%h_62`0ZB zLvJ&?mo2k*EbVwKZY9rUDgKQ)un$3V@(va|owMKIkx^ddSmX^LQ}+lS+z+RAv0VSn zODK=ATOwqj1a})!QsFIX2dTrJTckmVc;sw6O+@@I(8@c1!!^r=vCtv%w%x4tQ{igS zj(9=nsE1g`M)+bN8ZLUU9O_^ODk01YA^jVonqwRT%dUYz!4}@n+t)L_-eBB)ckl5} zSHPFtHjK_hgWU`u2Doj9iXW*~N9r1I+duH78eTE1JW0GhKOyUhCN&pcTj(7i$jc8M zfGG({H58A1`EU1+l=P(x=}U^% zqFgUA2Gnc1{~IC*B6wF36Ph_)nRO}5EIr|-UQ?*|;xGm77~-SUH;p5p(rF#y_ztx94Z5@)+ji2iZQHhOI~~5U?WAMdwr$(# z*!JHu-~4M1=Ip7HXRWG(T2;00eO-Y}Nz;NYmvJ`LmPjyJpq>og5bo8GKH25sBI=21 zA(YT^YsB+ewoo4gtOixiJj0dKlOIpuP*d)_(UV04J{W(3}0Zp%%!DmBlPw>(6xR;ppcy(>4nMO1&tTzl9{o8&6eDJ8Dm~1FXHjNw^wvsi%Jm*}b)l@a{ z3^nkf_@cNZesT>Cc(4>W&7IFpGyj-OyU;2Rdu7%Ue1!{oYqRgXKDg~e^!7g6 zj&R1=x&}X2A`wWvZ~=kVb&_eO#t*J{57)>zkn{iy%_m@4}vp^3eb& zY?zPr=o=|z6g+OQM#hy(S%OzFt97I4CEmtl!5bYDN_P)!2D`tz@Eq(um}n`u^ijpW z&xJLh)2LD$)_(VYgmE3&;a!hLFj9@cJgG*zPq-2c>Bog81=c;G!X#E%&9G*vdwCI1 zr`6g$d;cq+#% zEP|kP8U@teg4hg>KF*Sy86LeI5_VBPc87LnrcbOuC$+E9!{~0WOjq}JF{!+0h^0N; zgT?E}Hct5z@zbA@wXR*AGEgHH331c&E|~n*-=$gY^>fomI@T}Un5s&2-)>5P#JM%g z>atgE!K|#$nbusxxDG#cxG{<93^?IJ`OWkOs2?yW|-`~$}zx? z?DI*ig?Cgz0psTNFXX^2-A{KALSI{WVj_xma2$$s$EFh*%ODqDNCU%l1s=tSs~d} zT9xHwCvslYF~z+puDKi=QFb%Aoo(egJ{s-h2K`G#?fR14qHgR~UooV%*I*SU12G)0 z>?!F;Rg48%>Owx^EE4#@nDaxSO#mpUa~T1@nlK>ohF$1OKloe#qq%2Aqx^PI9A@vy zhK0z99VU5e1&#DkCi>FH*Mqf)G?0@b-Qx7T5e;v5UAYTpCq0)I`7?!GXf70e9ZWD| z#vJ_DSh0))S|)NxHl=_6Yib?zcF^*e|WX>E88&=C1+IpV8%}&dE z4JU{RuoV)m6;!%iSoXWHzH*%MjF1r$8=S33Gsz|4Rf)68BT8*PMZD>D=Z7JVqVaZ| zoPB|C=U3Wlh&oLJiJp(HKGVB|)Pv;u6ft#Nq#2#n+uM(@%ntX$4)CMGV!^<-0CGF_QiXQHp z9SeeN{@0@@MIUYFu7L>si5!R*XHTrS{FH$s%89?feRx!Up+LXMTD;~FC~oH(i}XBE z_ZLyL`sF$@;ZI}Y=Rn^Xt26K6vCfnkJKF7*nlnVVx<_5&~lG& z3&sy~Y{y>dJ)%O)a%x<)%~)C6k~B5kEo(GWV^0u7$cx}sZ-`wpA4>!g!{YiAw%3qw_0z(s76%;e!u)hK7Z*~0InDh9Z{`YImNwYaI$b1WL3L>J zpY5urw?7S_CGo^}3mR^EvYAV%9ampQQJXV@&Dy~2jsMJ+~isT2-bdp z0oSM?eYdPoaPZxSZ;sOrU^NKsg%kLVew{n+DS43T2T~$o*B<2=MgGWYXS#%23dO-A zbr5qLLaLC+zw0owJH8Hmj(R!-?SB6Y6Y=X+y7Id)Kz(}jkLiHbo&>%5RfLcwpf5sYqOn=l`})F?^m1XGoebU{6H%j=r52~H&Q}Lg*SBi=u1Z!`J30+@DGcTsGi|)znqa{;vl;U z+R?Gu$Wqlz$bDg+kkBY&+K8qtUc`V09N$xjV+T2P#+6>vk01xW#PH>rqHI~P z8yuh^V@{z#SqYJ4k;#XKGqoA|)Hn8`eB!F9BX9{@x|iyi#)Igm{e;KSuo;yvc%u0?$Y2xMX~9710=S-!mX zaVKWKD@xZ-C}wYL}a0^ z!fr;*ZDAWmiEGQ;W{JE^&~AA1nZ-YLYE`2XKC+CC2Q6)v}(4_%wRvQ+ezLOzhWlUz{$_+|@a;XOtv<{Ql$ROr6q3t|6 zIH#Dzimsl%8CoBBQ5Moa)R2m*TAA!SfN!aTKxCOV{Z%GdH`$;@c~;wuWYaAa*)BLP zZsA8ZyRtu=txF%TD?MbP>UG2&C)=Vi{%F-*tHya+blpY6p{X6nTA@DMe`y**Kf^o0 zumxY{5HDf@t$q|UHjJ7$=NuU)Bh9x1kam-yFyAc?N@<{R;WiJ_nPe##4l?h#CV0vn zS9g(>jp}g5Ge`@XgZeWX$&#(21PbpPbd^U%sEz)a*>xGc3Rd>%LRN6Qu}9po-Ikqi zROP>&>4G?$N8J6ls#p7p-VVRtBidY#6zFsp|HhkkDIXG zEuEhO$lv;53dNKP4P%78?moFMDC|WUuP#?Uu$28Vf;UmLMucK`_Y1r{u1gBw_ZtX|C^Z#xfW>*{DW;TXCPEgKF(6s_R7)GEt8zv8CKgl!2q%iQ+)4b zs*RP*Ho>J$P!nl%&u{njyH#YMOezwA=R}7yRw=~A7!5TmEjpiK*h7IfgAWP44wn24 z`k(aVr8tDFtYJ#Rx@I-yQ;*1ppGUY+zN4sV5cc-&2Ef(AgbuLCqW&lUkX^-2eHIkp z%IPDZhdlyuN%q_ejNzV>cMIAj$lZb4?PUrX!YFFKnS;zuhrVb?z_6t!V!5`4vn%C3 zwj9>va&AI^R)`g~QJ(OGZuF8?=&E@eO(0cH~XIA1feO zMAw8U)?*x2mZS4vl-Sy{@j<30vyK<_m+=oNlPZSDLozX6mXpuFVnM*jlN|=kB$M3q zR$}4MU@5mOeHXNMZ$m^mqY1?vz84#4aiTqbPqNmV)*nwUVKj3DaTMm4n_Y?5GPjl% z(JG3^fZ@)|YGC3$BnqX`_v+W(NJ0@nt^Ts6p6+hkg=!TM7gyT$&4s3ZgAo3Rgq#@}^1KkJXO42V*^`tAdS)-=UY^ z?+eisp^h*oc_;BD8pjr%%MGntVDsOZobZ4$2Jz$O!}$S!OyS`sF74Hn`AS4RtwWx8 zpCymK)uf5p@D$S=?4E(0?08YYM#=TXxtd7b)J({u_73}e`qW;>$>ak*m>oyz}L9SL6=B9eKdn>qj={teJhhpg?{KpePqO`B65}owbuIj>r6U47)G<-_K~)VWo-)pGe}Pi&^AXbewX6zG)QV0l}Nq9Ta#<~zsaQ?fS= zdU+bMD*yWTD%CfD#0j-pa!SAUz*@bq>7>mEC~j;HnQ5uj$6&gQvN&+#UH-h&0!Xe% z7Bp)~;9_Seb%A9^3tTnyOqiy(e&RS<1gntv!{&Gfm?C7AvwJn~4%0qH)-0InOo+=d z4XS}6pEEc~8pXEtOc42EQdVhUZwGQd z!1n~<8QnW^>~yh0vNnAkuWsT{+ndq)Jn^?B?MT)6QXCp`qbEIzIbp1g^Z3jq8!1(c zJc#BJ5k+h#Oo4NGd#X5aRzVO`?Fk^6j34#f`%(d_UU2_#AlX|S6oqOu@fBbrQ?L7x zKCj#E?-&s8CRbPLGX%joC=9-^3$6_l|<#s z=+*0}2>Yv<&91lLmxcfg&XmMDR@-RiS z#dtzlQ;%M&;gKqUUlwXH(2-|+*RT(W|P5hTh8++28DkYmQFmP=q^IX(x zOq^B#Otjp|P*NCOeIpFePtKVG`_ojoWrR8#>Tc)XM<|WZ@4H zQQ#waxNFM27~jc`_w`ThlP`@8*^S@dj0`^Sob_=SmY^Eo)-3!jj4HUWU+r(6ucSaQ z+7RZSK0y5ZLInK$z`W+>B2XwW-?*bD>=2zKM2_i007kT}et;k;j0zaBk|-S~T;4S> z_$@5Rs~G947}@J95Qxve8aL|xH42be9>ows-Y}?Q*kB(NuQ_;IWgO2?KXSyx!wZQ& z{1Cz(CMM?b`xQdG3vj21pdgkYY`7~}XC8B)zoI`d9vCo*?>BPbRXqvH8Fl~U#qsel zsH@Oz-!^{HI-ng$AE}5$kT4pk(>w4As8<@o5>&4bkTMc93diUgO!SQfxA!c`kjI1N z50Zz3gcT~-{=4t8?;1$e-9I3cTyPW}?n7kdQ)Cb1(~T3zkKh{+@-g|LK?HT#%7O$I z*x3eR#E+B?`j6NL4(giB<{7^uNe_f%{t^WhOuR=40OV01fq-umK=rmFfKg7K0sEK1 z{8S(UJBPIqBlAK*J!-^s^$z64YC)Tq0(m$A55_}v8GNV&w*?86xxDOuRkqJCwqZ`) z+@$b_#6-u4}1dE;R0R4J0E?e^v#W; ze{R0w0>qb*_D*0tz}E^VfFK1g`^yk{1;FM|;RHLp{Xsv!7jI|L2?PZC5I}@MZ2J+A zuy%S23k~bOa@i_=u8|!4!3m}PK7o1+Y5{y&1!(4wVM4y&azER~`g9~FWG0?7z0%)l zO8NxX@VAE;NRWUU;a_|1X6w??|WgsdOeCRfkVDq8oz#h z3b^ONf}KBLf)?u{l3K$w?UiZye{n2>eOkCS_qih>rv0>3{0b^>sLc9j(F#-5(r&FyLB`3C@)1fCVJ}bwI^p z6Zx5{1Ox5A@`L~5Uk3$rdX4bdFY<)bi~{j`S6H%uaQUS(1*A`ag%{xroM#OOv^KbX z=f|clh}8${>gE>a9kk7>C?|*wI1CH~P;PDGUq6+``~)gdg1Cty1+!Gx#r_PuDH+)+ zNx*+|s7d1W!3N|*AO)VE?dAay`eQ~`oaBxx{+sFFfLHj>Lf-hWP9EzOzy*@p$L_^0 zCM?z^Jj6cTRKHN-zWmdE_CM+ElK$2olQo*kZ6+!6ulWJVRK(dYJT@n1)sk(%k=I+D{RptE1!SpnI?{Bs7R6g; zm4u9`Nq|*v3VoDPZ=!*kyyB=V6|d;%p+GSv(Ycm6n+MGO>wJSdPr4q*f4*NZEN#2-GK zy#W{Hx9-VN))n0L&|Obxf|imYPUmHF=5dzQwft;E3*TzwV2nqj#6@609d3ufj`eik zpbS4Lr0K7u<90aLj8@Q6VeA*%@P@*VF-cVc+B~bh4$FBKeYOM@{sY$OiAYz zMwTp`)n3uO2M1i<^N8il#R?(W*G)Yac-Jx9fh_n7iE?428SclIz1uSON~rt*1>>oF z(!i?4SD>4EbA>5|Ea(LQ!`SH3)v0;{YZ`iPuBj|51}QZw>6>9$drWGv@2V`ZF#Ye) z^!TN>y1?h<1DS;R6XpDBdAaW}g;|#ufRcD(!6>1Ng7~V6vo+cNSL~{D=_BBFM~sI z>^Gggf8sAszLoR*P9)=xzzKJJ^sH_;7!iNQ+# zQ`n9^N@z8VkF#=`w#STBRf(hQIJ~aXYeq-F=E6{nHj`>4JkN%#W$`6xLrT#Yt&@Ax zn5xE^HTH*0L*INddxHmKd7}ssvw$GaL z+<40<{}B=9sr>=@2oH>@h>e3Z>dbm*)T|c&JxMnyoi+x4@DktP7$cpXe+CB8?Ctc# z@+8nom~#e5+R`MkkR@&O7VkBK_Zn;9s}OaLPEDBEV)4p3IqCItFTn&t+ftLfLKJ{v3FR>Ld$gVXNhDs}j2CCfNY$WV zYapFQ=daUOU;YZNKlgU=LKsf|22L&Q5q|f9HqQa%6p#>*?MGL!X?zpCNfIcfJ^0@L z*6}`V$=WEcLH9BfX;~FUuqw~qh_9$+!95jbocgdp(YsU}!wmYTXKse@7KpivWCBwI z``%C2lC#(czQLU3h(N^%u@g8s(`L)~#{_<9R2w8#xe?G`F_TjSFx@kav3RE1_?IWl z&zAvYW&So98JM#zr}?|K9v1PgGd8l z4Z`B(+CQ{K_M}RT6U(WKTMxZxTV9WFL(PsxR>4FsO6^)R*%AWwn^yr9X#i)z&Qh>) zCJOebp%LtJ(pZ}teHzJ_ZS+e4+d$8^G{Db5-lg$~yZ`sFPpIA;H7>%zZh*sJAB`CL z1VrOZtKea3-hMle7;BdhGPgu4VVnRs(#f`*)xTi2{o0;~xFZGiM-ROQ4$8S0-sX^6 z!nC_4#>{pgmBE=}arc5?=RG+a%D(fJL>c>|s^X(dR*n|NUj?e1O^NvWKu#9>I7nyU zH_`m0rW9{vitq#ppuRI+E1$$djUc3&U)?s^u(nESyYialUrNb)wDc<-ihTl@?V2O9 zdFZfw^8mBzpZftlvNJ&m;rjl9K7BXlW0wLK<77lGZOkkKaal?t$U4J7?etKOEH` z5!Wy*D5}8zW<`yTm#jigX>QaB4~+Ch-O*?ORswoJQuHu`4vAN>seds-)65|vLL=VL@9NNa1ag2J^H37ob@$xrA}<^ zNnAv1?O89$Y@LRBR3-x+s-1DI>>N7c=dL@PmM?^1SqG6EhT7DT?Sk#$Bo18|+lcFz zdYW*jCq0?Ye{C023v^Q2dlCmT`8C|wP@)oEeacCisO8qf6`g#4VeKZ_)d%?fQE34X1&Jukej6SS5K))w>Bt2h8Rs8B^}j1)NZ<5hkqEm+2R1iX=owudc+`FC|)eY zj8popxDc3!4QP1<^cL7CZol`b2Cf1q|MBg$D_+sDSc zoiA=5xx@6nMUPgEG%(T3MG<>axtCW<^H5E89ZtnmzRkdIl_``?dGF4BpPU#zr z#l$wmD#rOuvuF5R&ocd8b_Z=)wI!Nx)rWoW&96X6m%mD~y<+Eu#v6>o64Ey!D!O_$ z$y^l^v*)ReyuBS4Q)@AU{|YyeQYB26!-JgGWxeUrS#Az8i0*$S9i!=N7B&jwhLfHm zO6!1BvPc13R$pV>uLai)3iK1joR7=aj+Y_n){g}MR(ta&Jw^fSltMkzURWO9+_qIl zo3#w_g|zHPB^RF%Mceb+m&=DXUKvO6KwYDaE+*f$)>X-uix8m4~ z{M`o~^Ki$|Wb1Gu$FgqdhCrtIRIAmJ+l)w{?RcYGzRK5PZa= zsNnL~61*S6PP&T|AHQl`AjibYO0`+=mNwzlxEv&OYV}#d)$`aQb}j@negqAAbJ9P6 z>pp<5IT={>iud7RprW1}1*3~niQhH-%nHeiJh!_s;X|yZ>-^g~P3LQ99t!zu;^LSp zpFB&mqwJt)T;yA$;~8;x*Vl7^&0@}g$hl)DLhNCyyKRd2Z4p=D&+KcqoSVQQmArRg z7lUfLJ#5*a%rp6K5SY!8o0yX3WEEODR~kT^S!savg>#}vF@bt-y+vM|$Sl)>+IY}( z=T*oTySPDBww$}szEvy(a9OiVi^3nVX)>0dMOZ79P!IaEJ%_=DLq%udB%P6e?zQFY zNeknfY%24ldV&w#zgFHzK#Pvg(i5HUp3;y#1tiV5GCSfT;O7xK*~d$?g=u!b=Tqyix;}Qn}&4DGip|!9g!(ya^X7$ z{LdTX4R`#PqI0U+-E$h|LU%-((jNfk1Nk(%Xn*#d*_eTqXt_)$p=gs6tCzWSm-e_l zG9S8U6gy}nAC$t59hvyD)8-X-D=oa}U9oJ@7KfKD1*#C+wxXMIjWLj8Yj$Wv)Qr3H z77}#ko2}K1@%4;xWy{`BxCbcHUG3Mx&^8g^MN*OH-$zHKdyNmW8eV1k(+>dE?&?b{ z+0A8VX8qM99yy9xD>#+yj+D|N#%c%iV@YK%!;d1b8z=iHT~?G&O&>DC+2*~WizDf>4m9+e+EVHvV}(_vzyc-8S1re&FKLgXOF9b zs$;;Ot6rY0u-FzVe5BwU@gkzCCc_F^j%ib8gNb@$uF39^*5XM#T0LNOx}o`NjLxc~ zw0JpobqPs+k9}`^L6^lRzpjC*EM}$3D%SFrdFkm^hFrq6MPW(*{I9_Ak)OJrlI0_7 zqx{>{sd8GqhzT!qVq=BNMinltH1(jyaH?M{Y<*$L%)D)~tK$eVz$JHDHim}^!TRC+ zQgOjN)z(|a9z{c~;100-pvI!6t@FK9(u}Yy)T>@wC*(`hSdJ$xOy6}PJ8^u&qKb|g z8&hto8|UOx!n{dvO3y+g;}-mkfG{Rul*^EXSz$SK!Oae4&7s|7Tmi3hBL+#cM}VF9 z@vl{Lcf04~H#rI2HT6+!4AQxdRs=vkyZOQE2{lR1|69-YpQ<@)IFI7EpVVdpWae3{ z54A0W6Q=FT;cBDJ(doJDuR5U;3BIZz4zUcS zq43gF1utCOuVfb~5eM?DxJ0MlCDzi`0!O&U9&bcbxHSO#_V@fmqooUJ(GygKzQs?& zqi@N0#&M;DyA4S(&=Z-&#MHFq+FDC76WnN|e6HHR)DS)`9AUd92Ur+GR8R)xZ9G-j zM!jSh1ZL9F6VWDjwQ{!S5ySAZKSj#zObn^H?GlQbLDk3Y?E`;B188A&41ke*{!j+` z@{Bd(wO#^NMF`nEvGQ4RWznyM$53C0^WRTvdc-(}O)+#o>K6;?ws2SGu3ED{mx~^P zYso-QBVvhjEW!Cer|YGrf>19^XGn-wrKTH0PFV}^3m9qMJtDnnS|TLP4)5U%N`TF^ z0#2f*Kykj=y>NhYqjstZy(z{27LOo7WYvKg^r8b$Pug>6F4kI#?~@^&AgG=kC-xAb z)5IGEhZW>DU5hD<5K29klUvD5y%MY*q}CwBxexPzg(-l+F{2V^)wl~5e$9{zWXVKQ zcg#u1+Gq}*BU;IfKZK8Y5#pvS1LnRdOQ2g_-osx7DJAj9VsgL2GtYHK&=Qwfw_|0q zRHOh+*OK0#xE!1G@>8|D_nb4uSJ)0{$K3%ALvQ$mC}Yx>WxQ0mnfVgNf6TIW=e+y% zq!c_Fu^Uo$&iPT*QUe6CeqR*HkoLIiPN#p2{8Hn8*4q006L@VjP+ruPqF*2{RT-}_Z^r5Ce`9`d zfCzgovH5d7hYWDq>Z^;UYvwy|_wL@T*D&j*xcz3e7aKOxVz}qz@;P;y?@Vv~u9L0TQMmGft;>3)XPu80dblqA*E*HO6L5 z1vep=z^Z01?cr(L4u4o)r-84N>R^`MhT9C{zdhovBtkGp7k?I6F}XSS`Dt-*0bsRG zv5`&Ix)tln1q=TYIn)LYTCIG}m;}wLC^iauk*$67Tacr&%)!VeZB6vH@Z1J`ZRttl z=5KXmMGXrhjbZiVCsXrbobA$D1xYQ%-Ml5eCHmEm%pCx+hS|Nbp+yr+mL*z=9;5Xt zhu~kMdIvu~=A_)#Ey|F;Fuv6LDLPn=rfa_qq`G{>$QK>+HjR9+REDqKb%a}WgE++% zKx88z9RH#G&}E0zVvzYzKD-1Z=tp(u^?h;r9p7}is*5@Y<}lnK)SMl8$*<0_!fxFS zjXr$UTdj3`ngl!SFM@7LoV0t;I{W&PE1PF9_J1-6aL>Y6Y@AK{)*D^K#Xrd;4%{;( zTysV4#D6E~HeQi*E(12ro8CcRUJPJ-D-wfVuSKcrih&C1`V z_?6!MpUh1eMwYv`v|s_fVi-Ctm{a%f?S@_$O%9w8R*v;gsTu4?{=Q+WYJgj3&wV$t zLy-V-#4cJg$H-fY#X=(#J z1!>lU6wPP&J-;rBOPZ@zVl^~FnZvZB$QBWv`&iX=v)!=D%(Mq7-_ zOai~zDuYLwV$x_V2jW>t5{%9YpXk2ZtufrL%xrZ&OV`GZl5n+qqy6rO{c)EGFkMJ_ zuUr=Hb50%AUZkA^^uG;dUIOVvy{Kk&OWUHaJ%8I)=yd|J?`{9#PDh6{Q`}~M!j}@{ z^=45ua#GI6S)xPhA*Tw7yK$cadDzY`Ii2$n(4MkFyGNN)Y7r;t=ebG34!8fc7t^Y{ zbjxH*(!+!O(=gXmKj&@L=Auvy#iK||9ZghNs?8s~-4wV!J}l3I(^x)Ka^XCp1`=DY zv_J=9my82$JrUaY_&WuVF%!^rJ&d_D2N~08S2Og@lLE?$H$xJaGnNS`5vh-AEz;WH zR2fhGsc5&k32i%Zq9&%NnD(h6_~A@Fs>~VsBmOpZ99s)FO|*t0q}ZUEFUp82rjKah z%p~Mv8X0^v-7Jqxc?ULXABE61RxxR^GGV1pIfMf)V>?3vy*3e{a8qT_=*^^u93eUe zb{1k`&U7eD)65hspQT#$P}Rn3iD0;KVwdcjfJs`c{tU0>-YJ@^4A-tNx$zQ_;i{4puTW`V#r*;43g{pn%aPlNXYZwDGzR zIFG!VxTaTlHCpT{zMZBrv8v){_)xHZX4ySiq&;<&J;>VP&V9)noQRM{v3UoHR0T5w zj)vJARA4ji;y#^)f-3Fy53&>FOKIUl77f7quPYP6-FCztB);Pl!%H?!Y~OC)76p)D zhXz{%Zfqu^^0--GYU;SC=Y=OJ*4veHY0O3ib{<&D;HGTu%H29c*O6FCYbDou`0M!s@Y-rdMP6GofpVg*rYopR^H_9en^} zjt5$QS;fRE%PU+rqvx4cDvU#oTFHv87X2nLzs^e4DUAzTYa^e+3A6JJSdl)mi;c;z z^6r1s#gy?PggACuE2Eyy zAnvVcOM>>K^^9X8ae=f-;BkJZ+x@w+-qwm&{S#22)3;A?aNV+sShZ|((RvG@N`l;p z@gAI+0MELtWGr^URKX6S0^2QYUpJQ0IHjgP7P^Mo*6dPtxozpY;mTcLAjV*C^imq| zSUPCqgbQh<^YX~inE@qVDJdgM|D$(VUS6F z=YEm*N$KZdT+wU(Eu#WxHPO(Wg!m&hDTaL^e{Mss*c2BFdFTJPf5a6(rqq1u|E z-JB%g4SG~loGN0fj0(bT#rzy?&2hVUeGluBx2i_1-hJ0S1o}4po)(<)1B!W>68(Si zPF&1sN>ZR0tu%C?WO%@=t^WoDc>f6lptS~@fu7KUGBGly*(HL?gL5&mGBKz1C4v(C z&*xzxXgwAe41>6pvx_Sc8yoxo&j%2(a5APT{+EldS!dlDmjlChRpaqcR!(bsEuccR z;z(>KZH-{meFCv*t0g@_G^7ZH$3WmjmsP56yhTh(Dn*br)!S)SZ~pqUqFgm)E?8Q} zfXVg0Y!hF)^05qgCHTU_G;32$^vcn=gPy(+O8%T-O9(*cYiCNO!g94F{F zBHR-Xxl~2YdJdRe+Nu}wJrB47NTD5!`W1ddeXWwXEHFSB`Vwt#1>SK8A?AlVer{`= z3Kxighkl(8e9z5aI3KN;B#-@)6bS4I$Qdfkg&LGiQ0)|}&u*Rr^x7Q8P!8kc6kW&6m@oVs>TDT^$T+JK&*Us`*73u)y%T1T%xuQzp5qUh*mC^ zGm?gbX^$>`ZW&XX@YchA3blS>bL&Jgm-APyOF1PY=8SC7InvYaQxlWLB@V?!b?PH+ z&D`%eZ;6t}-sS&!_4ZEA;Nulrx@_a)4H5Xb5eX2B|DHi4VroH*nC}!+-pvKb)6Zo5 zN(F*0wD0m$>&=OsF+bUIeXOpy>8iMC0mQ~_q`f#ChA;bg&D-~JpDvR57wf^T&A2~R zMLVGy7j^v=H{6E88uykoBDY4PF!DTV)O>Jo8=KN@b})*NsVbJ`AN>-;-1 zL^s=|_b60LpzHv=?50xWf?M$C5AxRs8r}g*1V%U;n9Je3*V;G42V^zz3bb}pQwpMk{3gVM=<7EB!wo{<)t{Jcvc{6M@ z4{3pk-})jIepF`hp2n0*Pu6ap}z57jiA=S*QLRi1b1mnB&_NIqw8Mdjc zI6+c&j51H%C*A>E`|djB(rJE&^#i3bLwdH~E$Klk&4t}qh#SVR+C~6<8NNg6n5;k^ z3W>tMT*e1kW&*E*-pUcld&_k#l+P!bzWS-nSolzDV=m(1d&h}@&f33i@wDO@h%FJO;anB5JY~bpjSf)^7!D3CRv)saArpJU=V+=x*Ec9AGlo+e!@A&LA%(&&|-f_?fwzbVCO>2!sZkbh&vY1Uyx9Y?fn zYJtc&y{gmbRHb229&mDbqbS_+Hirx^=0O3_XlBr4(Lf~uyoJ`JX0~7RoZ08vkOY4r zHWJOz%uenaZbTFP*&K6hF=DaA$D;292cH5;<1))69usCo%`tIfDG)<0Y)hC8vEhtK z1R+IiIE;JhkfPVB{M%+%&6JcKr}`z^3_%;ilTQ1v=sIXN+_q>Zh)(F-wJ9(TaqB@D zxaSkIe^agk=CB%fVoGhB5Hp#qa8k0Vj$enJZUbjxOmB!DgVt1tt;M&}N{eh5g~7RE zWL()z6Md&8sW=_>;xd$Tlqo!`14!TBTLgFKmQr07*q3tIc-w*PB#X|fFdA;gcp|$Z9Z^yvdV7IuRJ+fz4|b#49V5 z(2=4v6FkN^zY`_V3W6;r8E?q&NT!1H1uc&@EugE{4}4<*N(*3Ci-lRGd~bq(*b^Gf zbPh}bY9uZ8#T~=tO(=9?<@{pa324=rk79!m${XTUvcf&`k5Q-2wsUpDsgyULZkw{DHgv~EUwYd7xrN2(5K@&&D-G%# zdUUv?B@$z!%f{G|Z=p_q%DgPYxs>m1^pWTQ5Bj%L0quk_rUI#tiGIYw@i$l`LKiiE zbmA6FBYjnh)Tty8AV zf}IVtcbp2AT;x&On(Ay1$n0uDV?>wiUSQQdSG4PU#hrubssAonLcd6FRZ`YIIZK%X z8qZTIorR~XY0gzLXkuF@LnIxth*g?}WZn&+i8RtfueTzOhdm2P0nm-EZ}GJjIS4l} zT+m+1dT$+AN!|GWFxV`6_`YfTqSks19#LMtWR|@efXJ-c)|iwb_XFO zFp}Rz*C;Vp39v2#29qw^(=rBVzNRD6<5Zn0lDI=SF0^*D3m0%bMfrf{jcKDp81cgxY3lT62>;JR6x9(w96Nx@MZA9DZ+oiM43I zyIZ}8Gpb_MYE?-jG%C!nQI0bJbCa>h6}+vAfd;7%mF+%TTeH=-CPL|_GdoOgo~E3c zA<0&m;5hh#1$CNs|nS>Lj#c zNE20M+jr`9>kJaiW}A{+dXH|7iKpr|9o?R~1%d=dcO@9!GMNpbVpMtn?#?>Bs!zqP zvm>7I&Z|pHZvI?_k~jS0#(64pKhK}nJ)^{#`KuKTWIAGaum zB1N(>+S;Zz=l{;blXv&wYKN9QF zlNZn5KhI+60kI6l;#UGD-HcdG`i@w)>pS(``e7&Dr@E~_*Pq9K;%9O(t-sXA-_DQQ zvwB?ruRf_y>$7@NPtMwmLp?v9wrxHCYf@j--_}skyP)#?;r+*t9|4u84}XVHF{)E` zqx}z1G2cVw7ImC)@veZys1laD^s_BxHy`)c7`0{}5sODvi5{ z`|OwJ_n*FpxG#sInQayZ-lXe@yL5Y>28BIo%=1(3=BRN||5^Xl$20B}M;|;qcys@q;D0$3Fl-K^DaMTKIjb zhqE!%uv7;B!B3!IT&6OsUppU9ER(1_C+)?LS+8 zXTobT?iAghy}9@9%`?jA2Lj(B67W09n=svI22EEiOl*kOA&On9bwiaq1^8bN4xhii zPcaALyIGWPO=xaJ%-{#b%$~LqcB{Kw0)d@k{?q@yx%cKa5Px{}ZYb#MRNYEmavZB^ zx55B`TrJ1hW)OwZ`T2D6HOHILbUOJf3qG3B*=PSd9nFvHj~56C^Ll*td3-jWf0NQC z?>HTwUCc@}(oPZk{ewsE9~}r919p#qoh(0l)$$(V2C#5?7>iQqP0@CWT5sRoe)aUN zh&E*FaOvduLVq(l{^RRS=-FRYwwzqqh8=B7&X;fS@RVi`-0 z94`x$^R+r-t;$FPF$|0^KF;NlgW!03G;8IPnT@OH8dm&JUB1OR98YI+9#blXC!_8G zj=fj^I{q|2p7C4votgJ9j6LS2&)lvt*J{Pw?asV^FMsPXcYWqc4KcU7GwdSxInFfs}+S0Gz4ATuB_T?#K!Z*O!UIXNIOAW{l1Np5CuATcm7ATS_O z3NJ}SAX_{%FflPVLoqQjGD0vpHZeCsFf}$oMlv);IWjdfMM6V9AUrfMF)=qoF)=bS zLNGZtF*iamH8w#;GBidxGBq@XBN_!eRNEFyS(-FTuIO!n?(o2%0kMxri86bne*1L{M1IMST zA>evPH4Hresz!jXL)9o;GNT%U+doi^!`tqA|GHdWR7xoXNF)E#x=cEH23^Xt`GBye&B}Gq03arQbNB{r; delta 48943 zcmV($K;yr#+YXS*4uG@)D>MW%FfcHep-TZMf1O!NbK^D=zWZ0`vK6{2Mu;bY!ya~O zH#OPYR(#9kKvT5E9g0*)Y8>a+Z$AKvlxaKJi-<>~(E$4Kb?ejp%@04yVke~t)~en8 zBQ$g2t=TzigfhkMe!u%A+c#fw>8f)(-QMZKW>b$}lRXVh{m4Vl&2+f^_5R;K{HWEM zf1eW8xLwYiBF*)lLdlRwj<>4F&K3S1c$-7>bf|~8^`Y#zC3&*x(nQUT@pO9!YwHSy zHWd$6MdcFQ9^r@B>Cs2utr#A6G<~7&F)V7T)4vQ?qJ%$acQ#c@et4A z_RdL}-5*N4K5t>s_s|F-8_y>ewkPR4e;sd1EfkWP_3zC%jocplV;p_pV;)M}-hGBh!67)x)vr>Mb#!5A{SUe_@Qw znhC!O--7ydhCR0*Q0^CQ_n;32GNj(OTWhkiZT98V4{>EbFsBN1r0&LkXu2mJ0cv}p zh8Hb-p8eE~Q(f-21jH-R-eqGwO~eE{r*qegha+4g2*nTT@MfY83{%s0Wy`~GTcmuT zYJ~_zE=fQ0LU`qNR!AL9^CgmLe;5o!;gHM-=`F}3WFDz za$oFh2*QABSI3)Qe$97#n1s^^9sKT@NRO!fR^hsK_w&tvZa$&cSjlza1@>d)%6drL zBv}EH>75eF1tvOenV1z;o1Fwdq?rm7#^e$&GhWW2KK`lOyYfXQ7e%g<)@tOdu4!3nVt1kq=27rOAUFn50O_E&;g zh!(j5!QlQ1`<`H0kfUCTf3>^^;uK*2!U_ih(~fHEEuC=M!LJT#eoHL_IfKRHoSM3- zpBr-2F#34zD%3b|1x71y?oE8tV_kN!2@w&T<;0!laWmrR9Bxm(8*xCJyf7iat2&6K zevUlA*Q6lxeH3<@N(!A{(LdKiBzkVzmRm7uaHo7|V~Zj>e93oWe^Y12eu$I%W*p8Z zJT3RhxxqIn^kY99%dT3n(&YO$JmV!Cq0zzxVMMZc%@X4YHd|=+GZ968@V-?)PTZm$ zEQPq^ShpOTD5g4iL$yBg|p!uW=rl0RcrcjeGTp3eyzT+2;S2JV!i z41D=|u(d=-*hleArB2LmXJY!B-x9WastDX@V(AquvK_0DjD@#JrsY*izLP zhjDAkLs1V=rt<4;R7Ax#2EDfLp6I!epgGopy{Rm;Q0fX?f88_Q%QJWnh}NJoRgZu| z7ji~>dBRgL_MEnZ(TXu77$-!Gmp|etSyUktlFVl|lC%Ob!4<*M+M=SuXx-fL_q_C)vthDz=~H{JfR>S+c>euUH zA9uvY`qGFgyg*mA=RE^g*1FD(wfm0d}u6u~d5D)hlZg9NkgapT~l^Mrai?EgMj|DUuZHcf(g<=lNumaL<<<~cNY^LU^Orc(b zQ4J6nQI6S0_80l!VU>R!_7;rQ3#IeNDxRCSFOS;XS zCwVr*) ze>6i)!j;25Qk7{n1Q@tjz(?dcVPIRbq{xN7%8~J!ye6-u3Nr^(B&2|fjr#XgeVKTG z12DE0!sGI5e>5^xv=eA`bvdAp5phf93wH3ECf}d%7D4$R3AaO|bwKm#SML2HJC=pcfQnWO4yRyZQ$5^q@omFB07K;js2(%?c~xXm&ZjqV0sTC}ZgBP7|B~C7?}9k13LRYa z#W8)!mDzNkO1O*vwE5q7KdKMWzBO-Corht@I3&kXlbINjeUL_Shjf@$_K;@`e;qmH zbP~o|s-TSVIu10b4Mxw;Mo)6Cc`$}{11V08slgb>Qz(BGKpY^t!hKXgC_XMAc+6fG zMD)P0bI#&WVF11-42HwR9a2ui=mSW%atIt>A~n7muOP?Nui!J5#bgA-)F8h@VUBgh zJ@&VK_c|hz#+#8!cnJsn`e_7qN4FUyh6RgQGk=|3OZb5chJ;xNcqELa;Z$YU; zc}jo-OarTMZeb`!yOmfPk=4HW*6hy!nO@>ZoMA`hvCN0@+!LZO?p4O66NJ*m@(wnH zTc9N8mQZD=xMu4jE1HgSeuoe3u=ImL3ssx@F>m1|FLP^=?($gFU|2Dpf5BU6%0XcK z)eYJO7}eTd;dv(sH25`WK#T>)rqVty>f#qce9ZVYdL@3wp+v8bBjl~qY+A+1cjUmI zrB-48t+I6A5!wiD&RIw9Hjn(BQ{S-C0ql;42#2V5K4Cc?l9qpPeaDP$g_L%|OmF)_=NCI}OKt=<)`G9< zkWK{eflTXIAlq+A1peDWkXVpij=1vU(h3j!4Y_kZ zE6q>2-)3U9yD;Irg&d7ZxdLc1WL{-EZf$X=b5GgNx~RCV$szcUl@HbC|4_d7_u5n` zP08K+DkW_pe1Nxef56heTLDK+@b9S9g_RP%(C>H^2j*b#uLHGE7fi6#_B%rYnmc!G zjcU^x!>aUtZHnYVhokdZJyDgxj)=>t2J_8mO||GhXzf5OoTI0r<9Z~ZqSjfU&8 z@SIY}SO3|VVyPHt_bbJ?{tr8{0;iDs_{5KYuRMz(6$YYFn>EB~a#ilWC3cjId+5^@V`5*9? zw~MaGk^UgSO+S{`08eQdA(n!;8Ry!jo@+cbPx+FjjE=w8#WWg?xht$_%X631@v=^? zDjqz(=ZSp{xp~i!ffNFe0Gt%u9Votv#|TL&{s&S`f#8=-KLI8IF_-VJ0xN%YS4)%I zHVnS!S9mhhDLvy=^tRMvADOn-`j+&-m1vt?Jv^k;jr;2h@Po8=;#@2c071L~|9p7& z;bXGjBuP{kMY=g035=tv$Tww?M`^y_9NNt%rMFM%zEqudC&OT&F8ooWo9sA%I3Dqx z&c-@0wMN*yoqV)?%9C0h&SrnuCTh3+`|#(7k6C*Ab{fY~ou``^uMXh(O20Ttt88Iu zw7mWt9unp3&^V*LX+b;Aj+AmcI#s1I9!iaM%;8=I$;UP#ko^OWRKo|h1A*`i|4 z76E9sX{FAiZRBh{zVi6ArQcWnF^1JD%HTL+@I5`X%Gj&39)cqaC|-YsyVc#@z0w^S z(O$vkOs6ONZ(!)IVCY6X7#QrphsikOr(jcjZ;aEEA$7B?P?`hK3XBg$mT;^SpZu8u z`$V#OKIfz^pdtjBF&%|;INgZIm*il~eR41n_vrp$e)K>gIjWEx(Ibry+bUHf@zkl( z-dnOOz|%SSz0OomI-7sRq1N{t;ks5<7{Qjpt)$Hv$7US7ZH)^CFyf-w`PcQV@uAyE zcmlCwfww*m820KT-KUYWy&zpjZx}4q>sfHx35LTkPJl0(yw%tX1)0@gK6*`L2tO-s z20we?Pr5f`ah_G`d7kcM7wXk^9ZUL-Zdp>PUca#21}7<72Je5$7O2ljmhXu({_H?3Xwm^T5i}*M?(99RzUpljUJB-D!Vxb~^Wuk|U&d#$ty6q-ZRJ zK>iUxy{bhth}v}2ID)f96-K_P;(-VS5j5#V$b13i)pFBdOlyvu*dj`wv>p6++7{Z= zUeavOX*L_d48UBRWb6@me5<8Xy#TBIiluz)x}UhT6O5&Og`vDxMe>8NuMq>?&rM@Y z>%-g&Q*3_#BM(CZo<&vt$dX2sbd^@YvLV>pW%(hyQ3rB-tec?hAP zL1x1Kr%_tuio16}P_0V#+qVl9G^C4f-Ff8)LF0dOM9hdV51sL%iV=gZY#gigzyi~u zTT(B8w@p}-vQ+(UNT(gTCKV`{$W=TvdaBhngv0}nMqA2kWJtndmzri=*p@PxBw?Or z3D4y23UsItma;A~<0GBf8?0qPJ@cb=eqt?Y97|qhRK?~C#1q)lUJ&9JPB%M}M*YRh zoFIP)3KFocb6jn`Zbd9Am1N#degCLaV94dxJS?C! zMM)Zc!F4y`9&M^r;=E1b?8nY5Yj#o=5w)FrCxjg_Ok+KG-N@2Nh@&x{XCF?I5^z1w z^pFA89C6hBxKPNeJ*8(^#Og1@qko6}$u6w;d>iCPA-e6VVQpQ?R95AQyaMp7FUx<7 zCnY&yGWxgiW%;);t;;vQ-qYJd$W0PUY6caY24k+Cc|l#5Y%7a&Ke~r~LsE$FP%TUg zPP^x#@gVOGlA59|GGcgDMf4|^Hmta&f6q0mxVt+9hf8+%?Cv@LUv+Oy z)y(&FKiyyV+x@&%Lrt!v$|PcHYXXwAg}|8Dm|6J&V)F9RZ0rD5Rt{!XR(4csYBey- z8uTAKDzyg40SdN-@c)Y;f93!(hCSKDjbTqjd0PlT#?czU#sOgC=4a#KXJrMjv$FF2 zhiL1-4-hwY0-FNlnE^7k5D*lVTFlnY)d6g70egDSe;xs}Kso>$A0H3nAK?HI8;}DS zXbb_!8^bI>HcxK^8e0QYZGm7A%=N!g&V0Qd0EY8l(%*HlQe`Z?;^Y?U&0B11F z0-yqdf*hPcrhwlq0~CyHK!3Hyj7kkqvj9W?bg0^z!JLg9K!7KMH5dqjK%YV!A*LV) zz|-3Ss?u@*MLQ7WPqN&f1V+GLhXY_^X8SwcU(vr4fgyhc8v}v1Hg?7kS1`mJUXZG)Zt(KL4ginI~bH1 z3by{;Bg^kJPsc0)F%`45u>nC~P}JY`iGv+Lz^8L}W%+BkRuEffi2Hw#85m+}_PY&J zM>`gE2-w~cBrX0I=gEZnkIfte18}kO@^J8S13>lwkPFa)f93ZJ)LiXAe>mBGo1c2{ zbhop$1DHLv0rCW!fu4R)-J!-#AOOt45#;IqZ^wTlR5mt%DHsR?n1IZ|5Y&INKbb*h zf8wY4JAhpPx~xy@#|B{i{rUSz|7pWaZ6VgK|Iq&!G0O)rIW0*whQC_=+bJq)>jH3R z;$QrxdA*+51#*>N68rcR~@YX#7aZVY@Z_jtoP}l{!_ElUrRvymqO?O z|D8<1_GxuN0NQ^xU5}NE75MbU_W!)^e}w%1t@-aP|JP0b--;w1t*!s?)BZ{L|M-n< zz}BvRF`ib}5%weldD|y3K>nAi3HnpJ@*q>Nqs{+%f2Co@PjV1}m_MyF6B{QpE9akf zFjNxk0y0$s!+;iluFaoz_1}WC217tfwovfzE9NPRmGysoPbvdiJzXQvr``P1Wek0i z9PE!l{>GpuQT=xv5)h!R>2LM1b8!QV9UP2ZQJ;qYgt!3iY)>*Z1-bmO-2fJ5h%M|X z1n|_ee<#4q)&ceRpt*SgEaJaSe;^)K0E^^5hz-CZ^*7>u@+tj;H~}nb|DdNVT7RRb z#b+_LwzDw)+rq^MV0pSIZ2qzQ?w!T-AIJq@0ogr?-xk95FAfKQ#r$u`&HjXbU%O8e z`-k#Whs8gXr=-@ukMEySo-B}m!KWN{|AJ4^fB#Cx{zP{97kui&^$+-8M-Fs!aCn-@ zA6j{u$A9o2w;u@P0s^AWOxgkk{4HzzTdt}^h@6==h6SG=C0%K;GY#h%Aj5hk#tc_t zRMXRDWlJPyde|flEZY@C?XNNxr_S8hYso&la{gi>liW5ZGl`mf{009r*8P&0ViKbP ze=b`yL6nrg(4iMji6jiO14YQxyjPVP!{cpD_jIf?&Fdmb9+`j^g|?2WqBOZT#C#h2 zt17TYlL562u50Y*2M6Y{dPq9Md}N$_H;$mJ9^vcVQNGZ!ObfAy zMcu>4Xw6C4%D1rfPQ2#e>hj}F%=}3aWFG2nD!3r2;@#Fb6*M@8cRBNXd2rqOWyeS} zZ5pMAMOo3Q*T-)ns$rH%6+j&(X3Z?nBu;h@HoY^D_2p%w6kDR8OGar2DVWbC(LA_9Hqyhp(uo3H zrfQ4R34*!$4;LQX6&n)QY<)Ai(!z=eHDEgFf>sgkxsZ=S8(zK-bNIYt$;5Iv^wY~5 z9u36CJt)EpU}hbfBchnuf1yvgU?QM8Qz-R_*95NzhbOuIN8xyZcX@>7FuQt1k*Vnq zgb?9V%4wIpQc|c|wY^JefxNFh>I>x0brCzfrA@p3(Wv;?1*n!ONoG8?3JidlDzvi} zbdK)QxQJG1UeyuCu({1F9cUX?5}t(Gmi$d~uZ$vGWb&?4$o8?)f7YxxQM_NTG&V_o z;>a<)`oawFub0?l47D9@hT+tMtSlCT8^m3=^Oh>#UQ>i&#)CZA>QofD)oC?eOsFJH ze;8vw-OUvzseGKZ%%uxMoOpdZP+?iXNSNWnyS~x2(|2o}ODpV|TVs=i04N+DZ{r-@ zEZeE# z#4f6$dmwx$nhj2_(nBnHp{7%O7PGd!MwEHmb{F45Giz&FfB)WTqExu_9l^8$fA<09 zvB1*Z>);pD^QJSA$#Pe#U76^7NU}CQLnzKtYXtjhKarb?Qb>*^4yBNY1_{d<=A|-D zQCOD`&(2U6oS!+&0?BwvDm{v;lLkSDWMBKRpL3RptrJ5$6e&Vp+WgSi9!#wfe>E#| zZ<%p3xPwfJe|D04ky9D1yE7y@4!%JNbtrCmv*|U5(Oo-xnQwk+awb`BXVYr>3U9*h=K@&xF zMjdKnIDD(g;!t0X+h*XrM~<5@|AB9A#bSl5(8l#ae@SQHwOZ8o63sIg7fKKBaqM2pw(0jEM>f>lhSa@CPGEz2 zURCOug?t~qZU6aPx=LEtzJjhWe>VG;1U{kHB83Ofw*PaqwnP11i&HHJ4&^Ah_o9zQ z)S|cI+~(=?T2{>|I~Mu$O=@7pV9V)=`RJ^ke{=&?rL`q(Y?*B^5Hw-t}qrzJUeOQ{=A3y`js5T8SY72*p@FZJq+RJ$$u+knP%8y`w{ zJJ)#3eeX~D3z%OKKCIWOoyJ-KYon@Fe^{H+wgjAH>-m~7mqKaD0N zf8e&y=H91OcFek7H@_c!rRIQu!GVEmltHD}i=Q7kIoMZyUMI7U9^m=RZ_pgWe)Wa0 zMvqDQYN)g=9pg%s^je1d4T`of`+Kr7A93fPWXNZ-Z`HTa7eH-Z!*|irZ|N5n&13d| zEhOqR>NWbee249PC6??X?;TuAKtjYLf0&!$mf_A)xe`lYt4jO}Gxt z3FUw?Pj??C>-i{Fuk2n0QC>-`x~jO5sZ4e8EaAlxT@<;7Gsbbg+2}&?>(k^s8kyy{ zELMtf(MgYFCjJp~ExP)ps>7xoMGUIa3-7t4vlDa)#4F4W!6I5zZ%I12ofLjke}J7_ zj3jBj!g6kt@anZ38rK|hT|0I6a6v4t;Q8{NrBuSBoUB~UwbS{WwrBYFTJLhnTM2@p zNp0;3l(QZUMi21t!}_>yzuGKYmN%iXI?$<%3gNqp-;w=h4D*2zS(S8nw|dg;W&mar z5^ao@pRSI5zQ>vze?fmtV|jYRe_Qtgf3>hUY1u1U3`Lh1v|w}Ycd3pjj7VF#H#6S* zHp(ij!hNg4CTg-oRo2N(n*rY@i{tNzTrX^E&Effv%O#F1SSPENC2TQ54;c4&zLMt} zHqlkE&REYnQK+*=yxiqkelYRFWWM14ct*!0Z`$Q>vlWHfXM^MYypnFG zGXE^$aVyIj3!0_~L4P$@e`Jw=cSa>Yr-GzGw}kdI&QItVn1{e%Jz_#Vk5oUr;L!W$ zCrZ3;>~(dj_I;6z+g7cSeG}zf2J3ql;y5OEvUyyYi&SGt8Nede)NO+I7ZzF1+OnX2 z?PwH@*|wir$?vuvdS;MGu(ZHt;)9Cu&+93CxYhE6eialw(|VySf2`7J?Pvloi}-4U z2lHLi*B9<%&m3{r(PovAFNXE8BZ9@OhfpadJWG8l00I7kr$+{C>i9uA0>dAqM zG6WZBlcZ>aj{Em6uuV5?D5wS3rz=~#PLf0sKF!RMJ6%RSM%VIrq5>z z;w%vr?(NWhB`H<98^6o44ianw3y?$(&(}Y^F`jh;!;TV_fSS^;8>d=^W8p1Chre0$ zcllOezxi>Zukj zbNFr?E~I%3TCm*zRRBV4TU~KnBc|*Z5bm6q|Ei;^iO6eV#rbQ#bO@u)I(}FC1`Gyf zeTN6(*BaR_r7+Q#&9JHbHnuz)ax^M_GqX|ck_-7Uy?tn>SLe$%3WdaVw_C80$2bvX ze@D@8#O9vp^&dQU8D~qI*Xu%e+sh-9_=V2r$#QfQ?2k4O=HR0O4v4El zbnMyf5tULIBzx07I+c(A8BcA$%)$G?a`fn;_lNeB`@YU>1l+b8QUsX~|J!+_)Pl?M znNmwTA`kSd@EjsxVs%PPKJD)QVj+5kW3cC!5>F0lf6(`b*E2)j<;IjW*Z2~Y1xCD< zG+m1)q&hiaenKkRUolf3xzoRGQ&vTs{MunWVR@e?HHD^siN#eN+$3N$w(N?jhke1f z%^y>;({*}OK=ply32Rt*;w&PD%3=HHrh4^zQc}tM>5=+=|H&wLx#E`Ap)dR}Q~oY| zW;3s$e~@bJ{F9i<()~i7 z5DzE$-64EN`Cz(lk1d|||-P;zel{%$BN zf1fDo`PQ46geZ&IXc^Xgg<-|C>fY}N@YIHIegQoXambQ69~Unzr=vFvjxiPRPB#Fh zq-HnHYZjAn?CH;`IF*2hRkzYEt7%AYEbhW(=pm@jcSTh7<1PGK#}+vZt4f#C3VU~B zBe}e#IAc=ds*;QYzCs=9B~;OlIO!Oh^db?qLdjv@1lqynua;DIGb$n$fd3< zTK?do_Ze~?oT;PDbrT^Sif_>wmdHNub?G%Ge7jC6e!ATt2V5^|^wG3i@+`qLe`ptJ zni}`HInGF_Eg(>NpM-J%h3%2H0z1a>=&KvdTz?je=I8nMBa7^8@J4Zn=u#w@TgJ6p zcoWQ+_sk~dt&Lo`LeRai_VX74xOqygef%n7j$a^M(=vfsRt&LB9Z>m}`UlpS zHn{g~m?dKzv8I+yEIwUe{nUd-4PA7Ah+N>aHfq3t|&#;zQo0~a3OyfEf011 zD0EMuB=uS`9Ztf-)h$YPL^R_z0a5vYDltNJdfB~T|FoAckOr${Ii&DCw{%0+CEeqW zlI6`@#@-QP1C6e?LV>YxSi~^}m-?XGMe@x}Khv*BT zGFae3Q>b)(61urb1!3`^iy84X*85`^3*j$rfsn82YH%UhHtI|>L$nB^){nwJ-w+07 z1P5ev%GYWW_2rKB$D{g_AWZa0H*a2?W`wI&lJ3RndeQQ(S1{Cxbt zj^OvmMwzxr_B-=b#gWvdf9>a(;lU4>(P+fxyS%_z%R#oZ>i$H-{pS;6ym|>$>Hw+2 z#LBuZk1FiIWkJ08f_M8?q9 zMK5i}K0>?7xerL-6fHQrx?X2kpS811%huK}4saZ;ww9oEj2ximf7TYi?-G0-?^Tv9h3LO1W6gKx9(i zvk2)^mdd^h=Ype@e`Xq^fLZR;n?5|x;4nUAD3Rcdo|MG-ry#8z^ga^hIRJ0UKxGJcu@4y<-8*>aeGyJxzj^z)}AH)}mZ!VF)A`!!W`(1I{` zRKkm@`{M_4kTA}euQk>u0$P1b#0C3&tnPinM~IIEzVO$8XF@z?9WmoudXar6@mO$= z)C}0^S(VGLe^X-Mf@UOwL0{nA(H#MtDWqB|Mo6bD+b?-D`fC{yCMIT=3+o4V=NPr> zf5YG#o zN#Q-;OsfMvb=8AXxg-)y$E)ti8~J=&e`pd2TLmUmf7?xY(d{Q~(yo3aaitjF$e$)m zJND>;2zP>vm&wpLXpt{H}Y*tH;LG*1F z#JP{cQ&^D6dj=ou#kgCtQGw_Z_*o?3n4{m6PGnvxw<8<4Ki=wjxT)DL&otLAvy%B7p5l+^k@x_gW^deF@bM?W`vPZpO+?vVtl zzFd4#Ok~P7If{6;Ba%>8vvN5MJvWX>A~3;D7XFIX#G=jEIfrsUWHm>k3HgBT-L%%@ zL1xx|oNpJ&A^taYxM+7IlL|W*CR+Nwe-Gpum-9ZR_2l*50;Zf<$_2AJ)ZT-|aqsSd z)|f>Lb36(e4Fe007_eopPQp7u6L{R)Xgbh-YWa0BIeHdiV1jTxSZvqoqwWwyJsAzR zFPkbEr@rEKsf@?&I;ZF+ z!3N=OIH+ugSD+>@ZvPa#?*^NMdIN{+=x|BRz*YE*~e|&`oU$8@D zmbBTUfl~}f?T44q3L!u%Rkw+i%&ry=FTe1;j*o8)=b(6mpTfS4m zf@mpKmA|giXw^8lxIvQOt7?q2gEvZ`D0t{uQj_t?eYVey>>07~tpT+b;mpSL70JF2 zH!Jh)P99=#>z|ZSNw2oO-JK*n;B80 z@Cz{v-rS*l(`wuP_}qCfx~ceUvWuC`x%Ior3Cs^yN6VCU>$3tPlWx=_-9b0ETRtd* zwK`o;R43w+gM`Z2e>vZV(xMBSbwPs^PtLMWfQs~4QJx3CjqB(I9$){onav6G@8W=R z@+gi{{Mn#aP*V?l_xse!g{u_$D!!Q3%~vJh{3cN{UJA$Ko^@A3pgmM2`PTNM%i+9i z7~XJS1B+b4*c2g845?)(Q)dzhAL5mM#J*^P=vP}CLCpwXe=*rec#V#>#Zg1!&wQ`@ zMm;fkIkbKWyzk*1U;07>Zy8o!i@WF$aMIb6qF-Wz&h(`?HkB?u6jM~DsQlnjl^;wW zp)|%p$rp~mhImsq8bC>sxBbnTC>%4)WBs|3!Vox9w0?1Cl(j8zlCCEqxlPrD(^qG! zAy3lzLuh%oe;wjsv?b5uA%|VkK%IbNSyMg+EYLS|dJSG>LFXEP5jxOt!zaS4wO!1J z#M1=sPtfm}zG^Uw`KcVpr+|tR(i_Ur>we|u>^55UI5E&E$Jq@Go333uGP%55b9r@4 z9U61aF`c_LRP$Dh7AszcJkd4gaftO~oP)JmxwmDae+q3mV_mJ~!|VmFZo1v|ZF_p< z)r$XgI=%b_rK7}bqrQ*!XRHVB|?k9>8upzG6!F0#0c_o9yCNY)$=%c-=GQ;nTdYuq;tj3hv{q| zf0Bg`C2aPmRL{OOl1bEKs(-~kccY($Vh~<~s~@?@UxutSUto=A+ICHiS5ru%_ukZj znL{i8jgT;?Hl*3+(O9El=~_|2)8SsGmfYr78EdX3iHQrHs`_eIRQ!USlxeg?Z1Zc` zW(?HjptSWsj^L?D$D?ABf;WmKJl!-Ff1gjcf>)W(D-oS4JlXC2X)GdlQRUv~MICvS zx8mQ5$`4$qOr3ogpfp-p2p_+Di&zm%yfr`*b3~fAPzh zTXX`^B?GY_|CJ)6$2ZT?I`h;!K9_xDZ=f@L9ih?viH zwJ4(y#4oR6m4Q2<)^!(jMn3{ee{MV`l;T~seYk5eV)rfd;Aq=FS_cm7X?-L>U?wuZ zkhp!XL5=4v_Kksh?w*wp{T1O34fj&ZtaW*TjeD2%cn}-JkzZArPOXqhlld7Gca+b9 z>9V{36TCW~BnvQIk@R-m(yw8VMfaK{!?~IN)iRtufA4%Uc`Ujh z3A90aT6B>{v!HWdO}tyqI+7m#D;@$j600s6)e-$XoL=X+84{7sX=y{CEG*a*-hU@W zum8wtZ-82kFg$@aaR-Ljommz#=$xv|hZAg|ohl2DWs25GEWe>LcFDJnp)VWEIhNbA ze6o@FA(V7^Zeg5HAgOx=f5lXaQO*yBSt>89AH@_2AM-^(2P@121&2qV%G>;0?4Hb< z3o1aAsv`S%*Dm5yWQ&?^t-wVT;=thLW{@t4j!?+MIH&r&=PNPFFNU$b9_;zh__S-!A)4QfrdHLt^`){nZn1M1ELnF!~PP zsb6|5|0p)Pa(B^V8H$s>rsI$kfVN$q1)u5kZ*aoFrtI=pJ5#XM$ge^D8^GFj~hC)Oa58OpAG`8tIp#{pXGxEu?p{dIX;-a|*XetmhW zA^IzGuV*%!aXz7GHJXwHUX4lptX?l{+Es(;MdLNxK#tHE@luGtbmH8u$mR1j-BwIQ zRF|Vd&PJgE!Tg0mL9aH{EZjhlqZDUxm-B0}K!E1Rx01(Pe@s3J*^M#Obk;NaUwYnZ z{nW_xsBq7ReVe#b2I+SmQCUiR!tb^e34RV0J8M(WXR7ZyXWjD@7R(j#Z}45(`Cw)t zY$&}T8cK0+W^igzXod`6so}_G!>waZ^1YIm4l5K&hhvx(ng-Txw?xQtu}BxX9i`>2 zv@8-Brt{gtfAZOh17$=ZDhOCIw$58Kk4T?$YLBI&v-1wR)_H8U;DSlT^4cn;l{*@4 z*w%*gjlaQR%xR8^Se;VNU3bf5^AccPC&B%+=;1-<)cYRgZ7g2Hni+rD)gz9Rt1Db& ztu4syx-02t0uvnU)aVPxv# zHhttmVJkd4YblkdIjWn^76yZ{?ge9&n#s8DdY1znYoh1LKO0f6FsbQ|5l=={r4)2$ z%`>_6f66Souz_C>b}UMeXYIDR8-qJNZAgpm7V{VKS)#Z?dhPbYQdxgw&lP{$+rX-r zSfldbm{&1<#_eQ(V`r&s*GQ}o(B z*;|l3BG7a385O_{q@DSsS-jP>jln-NoiSEZr*UOk?@Ba(tEtX$zQkHlrQjuvRS1U* zUXUb{yC8m01dU@kfK5hiH)7qhxS%(yJ`P`O8#JpbDfDRhir6Y=Hf%z`bL%Vt(w0YZ ze~DdzJawG2<`t3uz08Czy6yahe_RmaxC{!c0l}Yqi@~B(PnPu2BEWCc1S+%!XS;v? z*#kQh&9=QS17u}P=v)83jed(F!Z zZPmKa;oeL(`wR&VN#=_uB?!#cgQ_2}f4IMpqfQQPs(HT#R8vjOBGT*g!@|D6!O=JI zFkPDy`90uGrY<%3bLEA!8q6uZr1lEgq%(TV&Ul;6K!wJnz{@!iGCSppK^$T(YsTpN zA~x>&{3vFqZZk|cp#S>xC)ux%`#2=4n$I>R=E(qFv}GL`nUhLQIZ1`Ei;U_Kf867- zIe#BF33=;M-r~H~y*rxS9xG#_>|D9sPGl-Hia3#tY@VPfyzxqns1y;IgkGN3wd~@& zujN50TMh1*(ug+O(3Ljq+H**dVGe~YA+dBoRn}hU>Nx1Sq5bvs2JcF2Lhr(zI9(B{ zy?wI}cHo(d+@uw9c^BF?1Z1O?f3ge|NK(Y(pS;<00wWd72pf?>$>m({e8sewcTibm zd465M*r)qH>9+erwpN?e!5XniKa|lQbcTz!Fv<1B>m~42yh!ML@&s}7l`^j!RaPgl z1IgMOGIF>Z@5ZW1b8+J{Ak_TB=E7UNdvqeUY%%5KuFSkb87sXRH0PQ>Scq0iPykVGgOkRWV z+l90)4pxj$L(+L3BfH|Wf47tz&zPJg9;zpsH+?;>G;nL*VK(UQBf0W6b!;XX!ivF2gZu$-3Rwi9HI$9Fa=bRpKfe~4|0Q<2ddgIhey z1)o*hy&{c34C;4e}}seAhAPME2WPvbLz0V z*|xyFvYVutv#SDmBX%Q(H${z{2EEojBhy-`ol&`c7H+QVLxi#UO(^_!>=F2(i&^Uz z@ao#>pzyTh4ax|)FH&=nCJz@;#HxDvR0dx}HoX6m10#oBC5seo#l^UjpuW`O>EX#I zz_S+zFTHHbf5H|%WkN{i-Y?bCMCst`XdfR`s*tNR7pH_3^nobFOgNIre*U;+y>xQzZ)3{z%&vr~~Zhn}b~v z#P5jydpTug^T2n;KyqXr2BrcL*KoYaJ5w}Uf@?cFNr_dL{8pIP%?&-y* zd)5+;e@32hN9_7<#DEluvfCGL#IQu(a1T*&`i$9tc^`#)oq1-69I2N@(R4Rf2%%qH z{8ltm&hm03ZGZB^54`$FU~mu}w8<$gsA4e@QokSO_f~~GV;&ufXoCMv{FuokCf5U?-Gig&}|H2NVpc-7+z%ky2?&-WGjId>ehqDNgNFxRwp`srpDA9 znN&&QS-gFZl>`z$3F**!L@IRRbM>V}0A-b8b6p`wah_2kAYSIK{Bz1i2D>Tfzwl(7~?Fv7rm0i3F*_MEU z4x~&=Xt92_2Z34~RI(k+@qkG*7RZ`*P^NLg48K6+hrr7%-W6B^{G$fC0*O<9Bb zh^Ssyvx?V7MK#i^AFv+(;gGFnw;FlUf4Gu5&qtqwTcL09jNNAAU-?0dw%xBx$p^+`c_TYRmvG&ngpw^*RUH=Gk|5=T!QN!=nof3{C- zaK!0ER(7@>dyBDT_q|Pol*o;s8H>Gk;X>cE;C+dZFvsF{5vUB~flvnJcH#NbRwe=2 zIP?7JC!aUr_w80d89JJ7N1Q~|$Jq^r5u?*I3gxamnuQ57NfuA~sJm&2%S(2NN#OR| zI1&$NnlMG&%+Omu;A@%V97hGQe@80Ak@=*&!_qf`Tj+fZQg%9zf>U4C-=fT$J07|E zF_5N@A4j`4dbaAgp=B1`ua)6@yfpQP^jN)(@+baMftNdty!A!ULcYsHn{rE^ckbE- zM@y%6_g;iLwb%o=ZvHZwh5!Q|uUsHK$V_84x&&i@SK;Yzu0ON@b3ly0SxSaboqzvV z;_807e#AMX?d7Vx;3$7@LY-F{7EP@{SI0GX7X|0WGtAM-QtVoB*C>W#D2d7}@4*6g z{Bnr^t|-a2XR^r;Mzi_UU}qdO`P$KNPyYl_^R+1IQwJQ6uR3drTLOC%g?RVFva!BS zV;6?EB90j?md91;CM$FGm{VXXntuslS&yB*!sLr3Km!p}P zL?MVos+yt&gm%Jx@UYGdqgwdYVN>rIG{1R&#w7E=%c7gXY5l?l{yEmj5ne?^gepw7 zw}8}nf-wnc@UtR!OS6=@2Cg0m?^%`E1W)r9}cbMq3bUCH1p;ll8s56X{hYKhQkX2V#76br+ zd|W^vFBTJ%9t7qH{!5I-WB_(^hd`Z0|6w5O2DXGDe`Io&Foc~t)ES`S;RxX21Mmon z@(76nfdF10P~<;`P&ZM4oTVqk8lcVvP=Pvw-LaTtp)Njd5L-JK;+p>)0jwZ40FQ`> z5XWzKfV30X4Fa-s2B=%Y?7&Wl8$p(i09_~u0*3kgD+H^!9Sr6o%FXTN<;7*`pMeSJ;2Ixf0-aeSbxiG!7zXTP*{jhm-o5V ze}5}~ixCz0`?)|}05*ss!2S>$FyaTx&)w1!41l?Lfc^dcsrWa-;^6^ULqITq71$Qy zjP-YPgcxk|2P1~>2Jr@%01@2d0RVq}{(E|kpqDk&+0o~3^WXF3R+Ljv*3@MGQ}KUw zGBQwafFI&cPF?{ZfQOf#2Oxwv`2RbKf0iZWuPlInyDB@|Kmk0!KiMMM^q-79{~`eE zU(3M;_;)Z3D1xhvin1sKXUzFtL6xC25UjxA-~=hgclI_KRU#IfgBL;hdY9oe^i$4 zh-HKQ9^)?zMy%7n^N@E2L9Ku79j|~Oz|zgl(gzDMdISwiFg z0Jq&gAR?Hg1 z*c%MOT3UdD#6s-rLprZ(r768QwM_W3uHmec6ZGm$# zmb@*exZqFGrV(ixne?jSf894&iC#7M8^fa`tB(h$d!qtXJcG8sFusO8mKPhLlH*6O zF<32pbeC7=d6-GyXQfCeOQNe@K&L~7H6mM>+;&Q4ddGlnWS<>jmxOglhSyb?xm#if zeU)~@C(suxoR&97A7&frXDz;_p!2G`?L*k;Ea}zKgN@P8j@WOfe>+&S8D7}EDL;D| zFea@VWuIORGUntm%m*(J77P$P@d5#{ui6xO(!{-U2aC_ryF*3w?O05I=D}&(h;$&- z)XPvSocMVY)+4}~_e}zN7iwU}JYO2jpz|I4W%mMxWywAHqY#g?RvHHyR4G!is?sy_ zZ+xjZ4{wQGr}D5(f2Q|Pyi5rCUaq?xcFC~?SHzA!LD|SY?#|N_JARR#G1G zs$~**)gw?Pg$2)ANq1Jk0a<;_>NBgH#Ylo`?`EQ>HwLqen((N|Ja435il@O3mWD*A z!;zj4vI@O&z$tv~xj+9w+f!PeR=163n0!&zk2!Vy%bVq~e~}Q=6a3bQ&#j8r%*NSkeumS1vsXt{b#Z%YGny*>gBF3ZLpZEJw!PMB+ z0L5RoKintIe|}VFv8G%-dRinJ!{vp|7;47$mK86}H=K=_y*(K<4nuje5r-l3fuXh( z@4FOAMPw<8W#nbPGb_h4uRfLchr=!RIXT?SmR;4psOyhAV`6&j^HbZuhjJ!*vc)6= z5M9kW?9qVpWUV9<4EYUTHS>`>Z`Unwp-G1g$Lk;}k?2QgVfUQq?TY`#>}CXd*82>KY| zWBABVe`PxYf_ki|RK>KwX+{2cW^RE>AAzKaH)weiTuq#n%4imooAo10SMGuu$xS;V zO0Xc%av3raar&J|%mJ^Dxa(NscIeZ_OJ}o7jUlMJ`oMY=Q&|G;9>aWjH*NM*M`5DOU8Lvr?1Hu&Q`|~p`I&V1HeG-%<)*v*$@oOm8=kL3 ze@se=*m_7F(7cH6tJ`Lg?z9xuo^Ev<(ffOZ&*#Wt6PDd&*;XM0x#DUjDX!9l-9wb} zqWjhO4aO@t;23{Oag=v4ElWc)0Wk_W-%6TBs|-eol3aonIH=TBnWoTD#$~LmzFJ8Z`2rf3h<9s8N<{C<_&TmS{FyQ0ph%fsGF!#4LRm%>p1XCRZ9|8QTh0B&oe^^>%-_2RpBmRzEmXz!^C)-_v$9>;W`g|HJ9;cpv=Re4%E~6c$7~_K*?!n^lf?wQw~W~xCFfH!7OctTHrm!aT}$_%SI6I zjt9Y_{*OcQ0teNzdEi<@nRj^Ve>g5p$9e{l?<5?j5NPT3I(l9}1&Z99LNt}dXnu2k zOi{9sVOV#jZX9U$ovB_?sxVnCfLoFGUG_`sc3Xj5iVF=7XQy1?Fd-c|uEky2p$5;> zHuJAJ_-5H*c|#8EB46siC;U{vZDZt>8u4=Yi4=-v9ZD|ul^{kCh4?HCL;+D)_goYqZTHP#-93j*nW=8W-HN(9)@ zngpSId`)m_Hx*8e@Sx}X(^bORa4Nt2pwqOzH%MW?JvdaWr(kKD}7{(_Slah zo5m*Js&!|De6B3OC|XWAh3So`1+~*gpPM@OqVk6Q>>Ym-|IeppIIupEBK8Yw| zKVKYJh$AU0h#*kf(CwRMCi^xcZN(M1kQl~Lg`r@1e<`RMJ|m$R0@s})YpTS~+UkWg z*KB-zGEj$_Znxa!e>2Vz->LJB@N?7W%@V3ITkH3UM6nclD`N8<(tUo<;anNY=NFTo zD-0XxKh?}z4T{>3RvJB4?;RpOmzTIpTGB8N6yZ*b7@{Lasv%0#+^Axs&rmkKB-rlK?Xic0M}=49p#rX9WJ0oL(y+b?&q90 zMKar7_^PulF+PlAvXE&wmazNqEKlW*=WZf_+J)30aEI0hRJS&qiy?av>3g$VPr6J& z@qX^Oq=ohsf45|=^#$i0e{;02M{fNHtT%_ZW*z=>ob=ufC4@ zi}!^QYht^-x(iFbq0MC*z-8&`HmqyhI0o03x{};4rdt!-c=z{dT+|4v&XL=YpDJQ9 zs2_m?QYt#0y}{m>ne8QZn0_|;1~b_qPtw8bAjNGVe`;U=eV*w1NVR<_y&&m^DxLy_ zh)J?;^(p*np2I>3Yd67r2YeiPSi+X4H`%IIt&{~8%cGd-YLp&~Dcd>1=C=#dozTkS%%~64`B+nA`b3(OWYcz zsZKH$Z(`Z>4qkv?izF_AP!hwLt$JchC=3fTfBh0l^eLGNuk>AB?o`NT;aJ@(`UZ*b zaAUBMDOek^zc0evAx`hdL1$j5ix{=coS?^+M9Y}c!L`=zBVGrI|pf@gi z6j^UTN@$K4@Qok5&%c<-jbzDCK{2|CVgpVaR9I+#d8zkGX=C7v#@IwclLZa-lo-cgRZF(p9|tHtIR?Q$?Q0y)UUgie^(mF&AbO zG&#dA{Jt;`@Ad0Lc*?ta{&%G4)o+3blgcSXp{u$1JYNYzdd?nC`rh%P#F>nce`h>B z=z}^rWiW($0X^7)8^2@_NJMD-(d(;3%sxn6%KR$mfnIyF~gphge> zDDZQ(!J@=|y`{0sSH|Dg%#iOTf9c_*qEE?{xfpz7gdI}Oy(NhuMXYekGxS8=ZR$x7 zn?P`7@SIXDkq$P**(=biF}O}$3bVsufKjlSetk#GPc%pQNt25+Mn>0<(a>;bBeIV+>mD!FMn8+ANP?ThG@2~n;Rx0UmuG)&8=BP3 z_+^R)rT$aYUGG0Al>CW`-TpyG;VnpR9 zC3dGqQ~f2myDr_lS8x-`w)b5Q0bwb-b@Fy!KI-Z16lm=@hhhza&A~alko^&J=lR}$y;R{c$ z2z;3R_CB;2J{HORM&Waqa-FZ9F^(iIeEE|Jbk4Yf`#q}Ue-oMUba$F4%K1&R?=+1= zjULf8$YeoS`R)21tuBoYV?gh&f`s0`D6NaXsHBxYNXYZOfjj5~IMizP*{? zeEQ}riY#w$%aLL9mt(lT;wZ9|Ck%VXq)a^#IQAL^p;LCPZm|i1g6n09mE+XrB+XelXCv3O6t-HdP|0-+!Nd&^b8VtJYDne=8camEjNt=z3ycNA*cJTlHjd zFo`cO=;p?`MWJ6I*5YW3-{nxEqwA35`57CPS!}2Fnsh`_`HPDDugh6;x2?l=3Rppk z94Dsc9laGJE99gN_GN+`0~he^3X{D-m_?aYqM2@`NIu4k3Yitm*UTPHB>jyn?3}aL zLjn&He;%LNvry^Tk`hg#!=f5NKNp4Z8lVbCeOQ_kVI{-Izr%#v56AcpnP2vgAkviF$;43~ZSTbWXr7#8)POl%nkGQnbjnnnE73 zG$!;Q(8{iR+yv(XHI>2;d)p-e%T-P1v*$?(e_aIH7y5681ta2ZSDSm!d#{nRQU@Mb z>7ce0DE{zI8wX>XW=fOe@=VWL@#I6saA~&2lRX1frGMm?)%um$+R%95UA7Ly+?1MB zINSS!x@XpE@23TIBriK>sEr-;F*-I-HzP787R>LH^ZZQC7DwM)U&JgSnHErti%O^) ze`9&B^`*xZr!+22phznye(oH@(MM*l7cqf=n4ZD5V1x0?`(yglxo%AR=6#^E!|jjPK@7 zjk6!*mTRFs(ixX-iFY=j>nZkW7+#P3)wMsJ)(=xW+jFvgsv2y zcWqr)ayjkYMe<79Eck;rcNF{Z@HcIOKfj=@`LVt$Ca$PL`)Yr&Q5VQG=L)yP|44Ue zb0`J6nD8z4rs-*;T-mEt+nY>Ue>+?c8ilmAVUTiTA5lEFMkl!PMhg&TeZiSf%7j{; zwmRXNhYhU8s7WiVfIo`yvWT^>Fq{QO)HXjVj1Rrz%n9B%qgB54-;5LG{nS_zou~JW zD+Uv`D8{(*dB&>tU5mq`I**|G1#l+Hur2TsM-Dr+`PK2ev5f6${I3=4^X@;=r@ zqjDwlp;OL~4!Tl;CM8aaV4>~Tywu~XP9ie!IEG7}IIIbUzFE^W`HdT*uY&g1>Z-^SNmb9ibFmwI)#!oqnElNeVm`@5?9NNb*e(|rELQ} zI7P&D%ch#PflhB@YKARKkkfDppL-h#9J{I`kx8$$rRgpJaQL_nk*X^fEw@Y!rQ&C? zic7FKvQYie`Sng-UrV&+Cw;u3^lKkFC9fRb?#@bsj&+^n+NS9C>6&P+efh#g8Dlb6 zy>#M0uj2BEe?Y#f3WH^vQLb8Ve&{FbR1&E&oqvt#wT7AV<8wcPVLDn86&saCMcgQ= zmXCW;J)5K7%|M56LBzjM!=a;;z?L5k$GmPBzFTkoxl=1Vn(KpU4znX)E?TgCvU}-N zb1;sGhLwycF8w^snflni@-(V1BMwHNSFVjWVhs$P=#-vehxhY5X;GC9;D|Mf91f?4ghOmq@lk2g2I3~U6EFXuU zJ6zc&Wt0g!#l?#@7~I8ZH9thLzZW>n1+j+vWBmA_{Gt)Cdul6R8;LrZoAw5;9%jj*kN;*nFya)cc$=j;67rTci0^}Hkr-Y@@%yn|nX-5Az2WubY*)D%GWbpKQUHAehF{Txgv<*Mt=OqP`_*tUOq zs@6pQ3EQV@xt!iI9Wi<3aD2}X_W>C_Yh%(FeIKc-o_^9wz~snb#k#d%u+!pGJfM*0 zPh%+^)+5bajZJxU*YS`#euHeke>xn4uB1Vdu0TiP+gH>K(u2xgipEz&%Z#Op@d`cD zo=tZP@gzkjM>3y@tww+N&%-1pmNX z@hlsZfh@Jw^E7J{BXMv}%yg>4Mx8X1eNsi-Ix8z568l??Pg^=h`tZR_e{DzDP;De1 zrE%nQIYv!zY!|PnVP@XYDAD+L*BqQ;PgDlVHV8AsJ#4?F*&xl!u`#`Jh-pX^mV3Ag zd)Q@w%SqopyW{E0oRUxE9h2#aUZ2O6aXhlztVF)hWcZCY#;1enArH{Xf{8jdSD>!{n25cww zvgN$^d#BM7Niw+hq{Kzfkop04@ret@(-eO2hv$M3=2voIR3Yrye~GNNV!QGB8u(Q| zf=30_HFP{rmG^7bW{YGLnp3#DR3eMXgQeg4UvByySC1_h31ay@E9MdlM`5&cLsg5F zo^}zQ(Yj5roWO?~qt81lTBNDqQO@XnjiUPc_#P^_>Gt~bj!pxoDoIi2UafCt)-KEs zI%ry*m1pFNbW*R}saB{PQs>iXDGQ0nM`XR~zJN5P6ZzvA0nb z7uq;(Y)j?~r63E^(5&rC;G0GnE5~Gc@qByA&f!9_5;ZujfReP%!GSFO5Km~`VtEBy z<4e_%$JxW584OIzfs&pK1LrI!w?Ry0Nni;+`{`amW;}!@^mTJQ!cNS=TBx=T>ZBg=%*6Ymk9|&xq*U| zTR-15ZuVmee?9R`HYJq@C2nW9@_K}Mh!o;AhXLSHvhSH3l5pxU!^&@ynfNW)!RIk! z-7FpOk0sSQ{njsS)lfqB2n=~VNTz2p-X#bQ1&u}Ho0W!4a8%pS8Y=fAF@`%z1ZTmAePs^4MV@?Tg+%o5uYV$?oz%d1 zM=qjCMae(*lCrnNa*SgR<5fdP7#?Q4WC(eQff}(c^4Ox>Ov9H*16{KsA2)^z<}w0TNe7(AHkyG-{}->(rufd?nq{RuaN!CrRCs5U)|ANygYuc0FP* zryeAGGt@10`|@P-fC)?RsWJE4v1TG-aEm#1YJcjUN|mPOQjQD!QKFye3+A)Wojmuw zCm$ZO6v>)TeL9BRm-nb3(=zc)UQMsQV|l1Pe}mSSbD02GMmZ6{sE^hvvVF|zdZWy< zi53}}%Y%}9_u_}_NYw%gi;eiOPlo4;Nnd3Img8NYn!E@0yEXKZxu;N(1jX|`0|F}l zrw$YzcA@Jm9%5JbT5yY1J26}e@YJ49DmY+01oCpyj7C<&?(_Fj3W`rl2Q3+ z%3q$J*#YyhXn@9dN{78#P&1x8?9SlAiy-p(b%z=ff#%wRGn3JMj19GvPe|d0D zF42fQIi+wPz^h)^>36Frj#V=;6%+}LMn+*0>#XB8<^3t`8|POHa!BM(dVlP>Plpp}Lvwn%ah`ah^-b+m8f880Bu7;tK#;p?m&B1;KkC`y z!Z)2_!ikI43u6TfhsA)0V4-Dh)p`?U4xybN2OIwft5C)PmqDQc69F}sF&_dH5jHS5 z3NK7$ZfA68G9WoKFfy0n)dCa+F)%YWHJ30n0VkKw^#KSaj6)y<4H6`SJIvtj?jGC+ z_Zi&X-6gn%pn*Vu1b24}Zb5>(g_r;J0T+KormV&!V&-51mUOU(GJ%+ZyZ|u;1sQGt z5Xi<11hS%1QK?%&ZNYz=QK>Y+&JZgHd)|K$#GJv#&}W;tG4z?I;9w7sb+HA2*Z?3- zUJw^A5C~ue0(t(2=-|u?5I1(UG6N_u17scS!4Om`F$YHvXDbU!=<{d(=M_L}N(X-c z@$hgl{s{+&*nyp`OpWaU3dT@Nu-)?)O^s~bBB|sGn0Xw^b%>cg}1}GZaf&c1^8I=m4ZfOPi%dX~N4s|nj1_PcA zwpONKd&qNyi@h1x8SwmZfSQavK*@g*Z2uQo{x1R};P2T0K+K^3r29MicOonMKf%VP zrVe(F#`Ydo_7(thD_bx?Nm8B}>JDWD7~7luCK}s99G>HiU5%}5jZK~je=0WyNQ$Tc zjGr6)yFG}hvy~$h!VIyp{oNwV?=;U-masPybFi}m+e0C!zv~mXat50|kKKQR<*$>q zv3GE@_xc-{TiKhL|8By}#gRqB-pa`ZEF=Cm<=KS#kIe!M1#kelx!Abb0AMEo*xl5U z<#&2@4@dAHC+N5NxdR_BM+ZlM`EwIsA1ib4^B<}g#Ml)KfI7Q?eZ2nd_-}*?0s+jd zOrZc1u!WU9>Oa|^&0zDt@biD+J6pK}bb-&>0|9`)fB$*Yf0mb-gT1ZCKlDH6%c7vA zDx)UO@K?wG@rjB$xC6YHSlIzgtQ4Al5} z6GZGSp4H3*VrK@j|7Ev=NLsmr&6KU6rj~zc<}bU(?_IOCvIi?WK&*aWF3(Xw;Q#VH zFPN##^92HV7Uo|rW5|E=wn6_K<8KUp-lzYrL&DzF!R+_qv2t(%jGdj0Jy4&I{uyxq zyg<(zY6f=yBW(Z+v%LfKIRx`VQSj2yu{va+OfJO2j1Ol)~{ReSB z`;`BKc(?#8#{WUjI%hGqb+r7)!ove#G5yE?+$oFMzaTq+#qxh&@Hv^yzmh$Z?f(T? z0W6OHg3qze|AL$V7U(~a^*Pr4U+}pwk3aCgre^Bm?EE~|KVp9#>HpwAcNZA!4mL$y zm~}Aa3%33g{Pm_rgvgC)dz2sXIQ>S8m1(rd00r73F=@D-sP;a4QLbEap&KM=VBMxD z>U5K{GI#E^Rri0k-h=&$>8<3h#aom3*{3Vm=_IdfV)9vxFEIJY7h-qsA?h~)lJe76(H*xxP5;@84AUc;Oi$AXGgBqTq=0= zkX!0{kcsVOB84M{r>2lkrb>X?FIJG;bWEW4K!L1fogHDBgnB@L@vR{9N3o@Yf7&e@ zM`sXsTJAJ?m_?+Q8UM1Rs()+KT-e|w{`CUl+TfNgTKjklZ8n9sWkuPUpYM=}T9kEq zm8lLB^SggM@GMS#H#WVSDG=?tNeYz4@1E0Bbe7&4!mD8kxaJm6x#yHmJM%Cibt5iA zio;+ca*?sw!4h%J?TB%SQHx$5u?o%SR4yY%(X@;re!UrXQI1U-F}q2~OD!=+Gb=({ z8pgd?=2fj2nc&;=avJ%vk`$NcE##GebdDK`lb3(VhVa`>Y;FHsm|+TM@LG}tO5Dv` zN_tQG8K#P^mU(9;OnZtFLB+X{_q!30aGIk4YD6vW^A-{qEP{)N?{GDruGpIM)6>4N zw6z)4iebgGab0NIk`MYX?!{l-njn_X;46ZaNrdHEkTp$nRD-$2ExCEh5AH7u@*F)k z^D=+skFzA-`{~bYrGNcur%R;$aFxG%J5#UUm3$32zlthf z^LIPudbtW+ztkgck!nlRzuDW%78D1(AcT&fX_Qd>I_4h14`QrZya#_P*p*@e(9MFx zp4cgNc{XMmM19lBlXu0VWK2+gT_PExaWa3#3h*sOIWUeZUdkwBTgMwdxN17UY*Y1P zS>~7at60GTnzA^w_*Z(%D{Pa1nes$I!QC&0uCSU{juUY=5c!Q0o9>l)v+D0ngmd8R zC}3!A@Hfww%*X1ZD#^iHmmFktXI2C_sc&R?vrpLEC^1(^?uuVQ!cum2_J6#h@-Bb! zzsQ;RoH0{Q^@N_Kgh^ig(@oRu6Hqqe*Lyt_!^Ikjuj@n&N9Je2y%@?^FZL(~RiIAo zjV^+wKnBV|(_G%e8Fq?cHdO{oUsw-VHjdh=#|?H?x!?~CLG@R5+xyG!Jei3KEVjw4 zV?+?%PO2dEBd9~3D1t+yT@tu=KN&2zub_(m5_S$_97Jd4 zlyhy&$UhhORy8$cvQxBF+i!otF#l6(USrer4T!Hm^TWWq*LU>#S|5b&(S@#2$YJDk zzJv#b!dMHdaMJ{VS6ZMOS}mUgcE9j1;k}x_Z9Yh`*}?R>8h|kAz~$!KIXQ(mcgtYg zEl)eaKv{TWRaCp$OQbS$f zFr-i;3Y36xgTb$GmyUlmB%opuYMkwgGUY%Ra6gm1gP$0Y8CQSg^G)WX#?re>pnai$ zx@PB>tms7 zN0w)!u-s{Dv^m9o%cCFi#S#NVGM;bP2UsSjl3T4u(6&^dgPDI#L^dquyUR{>?f-rC z36pqD67%U^s&WET@qu;!jYecZB2S=9{Iuu~e-aMPGm6doiWLf-6%J~0n$WAoY9FkS z4vPxiA3uCw1+3S#Y)He?`5dZE15Tk)Y^Bz<=5GhK zK3$#F=Q8_ruy}vH(JzXhwI!%(c!57ribak`sp2XzIi>lHc&%4ES9s{K6Yhr(F#{FP z?bM?N7VwO)cXj1S!SqGfMt4i_H;}<&^~*V|X|s>S+63M-K}okkANe0Hw6SvWBruhV z_(hl~5kAG!3@k@?U@Gb1mEE?A%7`Is1^U%^yG3)a*J*!bO||Ep7pV%@3Nwr5`jjCQ zM{^bg1q8AV7ODp;mG%503M6biMc3a+)Ku&f*`k)29%fYqo!`%+#Vjrhm$f4giRKcL z&;1ljGz`qfx5!&|5ew>jm#Aea-4j_M&wRK+rEco%OAP7P70Z-S9VTdutRJMA)tWaO z<*cGfH8_70jDkzJN>E*EchQ`4r#QoN=A&&CcQxM$P2Z( zZD@U(wsDu93oIUHmAJW{u>|q4iE%JiA~QnJoPB3qNhZ zEqKDMNda9=?*bpU?g&cihU52XBm& z+M_TWGH5F@J($KuAHD%6>~6y-4Cn3MzO{eEk{7%%F*TSvN2fH)FA~y8h^2L*Iinek zz#9^3t8d-OZmVj8eTU&5;1r)zq__8oY0EGdq(t=fPDnCYyB*H>-N=!&UC{ge{7-te zIkPXg1WiBC-;0AKib=g+m_O9y!AiNl;>6KI3=SKA)uF+CK>n@!{Wz%|=+e)47x;f@ z`5hc5(r7N$Kf?f*eOwUFvG#MQj{`Z+VXsTEHPsD!#30Hh`ztTbsucP?znU6_v|GL_ zXCLZNAM&T>dH^U4B>*k@_-l+5+9`OMVkGc@5g_xn({MQ9*R)ABX9prd59#B(IXLv3 zR+A99uGiUHHXrXUf-We+LOx@o-ot-FZ`X&9ch-#R<{z&~?{FZo4W;JH5g$8|?SERD zRt!Cr71*CkaKz}a$5BusKlrfGw3jqib}Nj2E%6OKD}=L{zA}BEuCiNJzo*N*9?#26 zPFNA#QdjJbN*rmU(|S?6Hcv$bgJUS^C|jy5P!8YJZ~GA=Y$;&vfM&6m&@6uei(yr_ zE~NCaJcyU?9HwVTNU7PAV+Z#dQ)!$IB2CcyQf1r`ZyV{C!F6||{iu8$8BB4$89|39 zF@G}K+s@c|Q?8(s)*n=_P{q`ABTg4S+7pT&yf}-xXXTowX00IiROj)wu9Y8Z_~D4B zf2X=wJ4TQ%CBIV39K}6ur;~qlV)z&)(&)qFxpamew`g|E$LIdM@)?e4eP?_C-`RBj z$+4eQZ5yG^?#%P8JS7av>H#00%6^tCdWrPHuoGT;#?a-OrWhCdg~|i0sd$^=8N<8X@aFc60+0T+cp{$PI+%yu2kI$yuv?!>|Sikxj_SAn%V9gwxdY64A zoSl;3qjK`AkHIci@-5Gd_)PxLhm)$U7w9pzhy`tUWFHo{wbkk#L+usei?;%!cQ#Tf zKyH-Gob@v9Sy=GHCU5vZTWz>;Dq;H>RE-1SFNX* zX4m0-c`cJOGH*d6IF0ObLxt4hKV1C3Pm^pQr@#@aMQX2Mu3=bu&EJyFUcFs+u>_ zK?^YpA@ZZUMfb~MkoPf$?}Ys*x_3Y4b6F{+wzdswl`gC$L#e%x{Y|VU3tC#V?KL}` z5WWNs=dF=x1rf&SIvkE56uLba9s$Td3a@QV;OI|aV*HE^ zOda8=C`o@6fA>rB6M1Nu*wcux)zXgcblMAH_(NarfaEt> z_iit{J(xP9(Adbkw-mbpI^VY$M@}DA?tiI%%Bvh(Y(VHmkMIx2r~o+|F zuD3`P6zniBPVMl07q~u3-ml@lf_NOXHPD>v=wpA1xYrH3>CEn16G?r}QIhEm<%%p} z9Ol?|*tzuTp>+N<4gy<*Nsj+9V)Dht?#JRMIA@9|lvok~?MdPaJ_&c3A8ckFY7M=t| z+KPWyttC%p0NI&T-IgeUDZG!^^ZT8zCx20ld7gAcG7?D1kI18-xFJ7G=4Z+o%qot@ zK9!rCrqHdm#qFx3JERP9e7e}w@O#e{xU>0$ITTJmCL&eF-U)J!w~O6-LO&eI7BCwB z9wftmj!CasDL^~KU2sFeaKo_e!L=u3FEoEnB`)F*DVC~SN#|qBdApy*XQbAUm1t2eOk`X^1DPb2cKz!9LSm=u>!JZ&O0#1i!erdk zdG<*e9pznGT@MNVo{nq2q-eAJE2%VYSJsbh6viA{s6WQ~*cXFyE_iOt6bFRavh;s= z-a&KXGOK6R<*%{)PN;Yfx9}#j2<8jNr?udDF0q*ONUu}X?Pr54SS!>eRMcTfoLnvQiVmcrwHI@pS z*%+3crKN*O*YnKL&@8QPL#=O%b$fr+#`v3ZtOK2=u}`R=-{OzpbQ`JTd0+8#jd zX$L_#VSN#qRy)JVhNOxY$K6N7)kWp9MKysAKO+qg1`_QW$3jURqFST)9gmR%WZwxl zRSm;X^`tE?=h(nF;JT=XZY@p4_!A*s23sw?{3yZFUmy8p`?8AN+I~A+r44`D{cT=J z@SeE2Q7SDbc*mRdrFGPNeujB>5i4<-J)b5%4U6w zdB?0Xa!P~iDC4F=J77+dGQEn0= zzAS8{=}J6J7=bU#ah5ipLf$9EsUyqYTxls_)2DC`8!UJpn1VB6us==bAgA+^X>dGTIVIm?(eRG&6-8<%9UuhPx&nVfta&Msygvk&dmig{=5RF-h zV&>*T7j1N@?P?FGyh?v`U{RdFK!3gPt0&4CLx((j4Ja+N09z$P1KSBTnzZ~9S1L0} zlz{Z>6Z%q;rU*^`k=kYHgVPjN%1dk4?VFAux>&qAZ1$s?(^pfk#-qLxqJh00s zh-{5qu!2~kc9IbtT3iGT=j+tr=nT{lCzwb>?A?4G8PURZ6u*B+ydD>Wy{NuM(?*L? zMFfBL?3}(jVf%UmX&`a*AHVCNe0lW98Zx3PEribu$af4W$))IEP{i!SPrF+N3o4%# zIum?9m+7bSAUL=cMu7QX&-AgTxTZcV+rV&NnO2KdZqod9&0M24IFzv%MBkL zsZ}{TBh+MP4FH*=Thoos7b#k8J1%pCkp;0U=-G*z?+fU1uzQn16^x>#Tt^sE!L>>= z;(ZtrfbCJ6*3luox?!b|{?apT!f4?eOZ)T`Ui#D0o%(-BVHKgwl%UVb5(MJ@YUg^@ zQFkBq0n77wTe-zG!PR1Q1b62l=L(i8DoMGM?h0dR8RD+<`g_qWd2?5HRg)zj*JaD; zo76W7D3-|2CoR7dh0L8=y))#%8O%s|Ltrd7qFz@1=A3elA`B+1i5YSK2oTVlc7mo2 zZ;WX7!@qw^04{#a{OsKZMK>N!+#a;on%dJgL}pD(m=Ky3(6jnwts&X(O+XF(-SN>k zI2u7C=S~(aQj$!}&ziJ{@DPV`_zQKcAor;WS$~nVw)9nF_s-7fr7p=^jzdnyj+^5fWt&IOQ(&t?#ZBJsz7a!iGUI=2m*9r~T0fK*K9$IP zkl54+nG2M+t$S9L=)S|#LkLs+Y{T)#I|kQPR^Wv@4wFFx$D){ zRqM8^-{*VY2+DTAe@J&i#isIt{JMmvDO*>PV zMKJX7lLIDzM>4v(uOqgSfHv(W>Y@GOA#I z1l9%;_=DD!M45Dxy+XIhS0C1jcS4Q2Jy8NmnVkM0Y z|FbVcoKVevAl$0mBtomNJ`>=Pn~e>K)HqPBL4HPY4E|ZSN1eW`TDjVr5v1~m0jgm# zSvACnd%@44U#%9ObNy>G<@brF1mf(ni*D*)oT`kqwPqWtr9G$vVf8$va=iS1 zZ&WWH*av#3NHlRO5BQ-F-?g29=7^UO@8}CSEQET>M9&VqiLGI`Q>Houj`duko)KIV zf-dR{5^r2FYU`ru?{aC#Mh?k^l-{`v$QGdW>Itpv2bczdGb&= z`}CRvD{R|K)TZ_olgsLh=MR<)q0IOdIt^lxFU&mtw9i~Z!@_9E!YN5MuVwE?hyo>S zCdauLVz-^48{7oVq@p{es#(vfozRJWkgUl__NL?p_IAZbe`IK5T*VP?DS&;C9Y``& zMMsQ6lU7CV-=qL~G5QEvG%KrahY&4BKpGdVo8L?Ru2qo+>>x<16a-05cKt_3(oVM~L<7GfXWgUjO zI_D&qIjn_kvuzVK7$_^`Hm6}O);&l%vJS}ET1N|c1+ah*QA%uaM70Ka%UK<>`+Q=! z@Yqz{zn+>F==o-a;l_ike`v2^OHjgsjM=$vI>DYU11sM&c8z#L(gzUJ>*URUBU(v? z>LmrouvM#qiA7vD*5^g8E51j}x>D7uU6sgf&g2iD&Z=Js@@;acLI)^iPg>Q+J}NlbkCwH`G)>$E z43;PZw$O^YZb>>K{BM5^W5SQV_HlvV_(&Mq0-T1*{S(!dEh=5;3+kg-Q>mgU6Y({` zx8AiWlxXa%5TeRUtlN{A9y(Zfd;DCrX_GwvToo36tjg5}2CzN=t7hK1)6bW8`1YQ(#+%UMcvvUQ$S*-K`hsS;B zt}#0>c$dq_7E!n@?#|@P$WQmC6aGhtcX6}hk4-mGD=Yiagza5?hUR808-`VBy{qy$ z1qJr*#m>eibNO2L9DFs``Gjd%xG|}XAcAmKEDe~YS2e7sES4|?to5h!`{G@4)7H0c z4z2n9PVO9I%}bZ-L(9*7&`5^BKxiW*ba^rScwLVKM8)R0RUH!^=XRVdL49%d(p7Km zR{unUMp1BQC@iPTnJFB`H<8<3pZ(DKnkOUwq?MKi4Do5lQ>Gk0ho6Z75_Xvl2SP|V1FG@|Ta zXrB3bwZLX~)LfGpWz~}kyzJ~x@#_=?C=_P22mKALsulJo4xZ?sW)>0S7FK3dEm>H^ zU1vqw4*TVZ~^*j7nH)IIPJ3j^nV zXP5gi*6tiz^dV4`j_HO8nrvzoI1pbRsQ#3;K(u|?}H<`KM^;~c|`wYG~Eh8SZH7bc`R zueXe6uV7n$U|L!W@y8i9`r5CQ73(vPf`d1cZ8V!G7Cl__!fE&cOz-vn_uvX{jIC`q zDFtulm+R(4-Hell_&VoD7a3y+OXOLM#!MsBIYpG3u)-E{4h8Y2RJdC_uVRJ+H&A*u9MEte2DTIQt!az5i+NY{6d;!Z=X{1BFSLw37Ibt(3Wk>%#2YW_UwgClXWe=m>^J>$?FdF z*&-Ck(R-Rdn8CyR6}}-{r!24ev4l`wM z5bWY>t+66LsAtd*($Q#Rn_+@2pLx%qS5);oL%ocsUs=3JN)SdZ6uES0#*KT0!?Z@i zWK!;rS;Jm-KNlPNv$_c*o*E-N(sxSTX1Uer{Ao9BN!UUnJrU`rg|~4Z>!#8BdTJio)@rAad=U4!DqzK&77h+Qii zyf~)Y%1uTSxG>Y59i1pNdNo0&QbI!q)xo|9fi`(6T?|=g#_#)NLQvH3Yo&Gz&Xx;k z?&w0(_paY?+;##h0_oolUBHE_6s{Eb7&`rd^k&@*?nf`p{<(zofDDv!v+=+`Rm5%s z`2~M2pdW$~v$VZnyZ!eZ@27p)-??9n-W7|*LU9x#z z9N6?f)m+8uwUjH9aqIE5V#tU=nvaqyn#GP8qjHQRJ`fh#-2EtF7^uGU3Z2`%hID=h z+#jekV6N_V_f71ibH_<8LxrMl;ggA1Bt#jsB%ffwW~mCLr<0l5DD)6ZbysL+wZ2vS z8huVjpKj6`p%U%%?`FCy%B`5obe#Glk{*ZcJnRBV-pmpMQG8zcDRV`ws_ED+2R7iK z>sHFBt#K=<{~X4uvqt+Z6UvHHR&9J6VBI%N%&fw@M7HKiBkXB$&(}!u{4KLg7oxp>av*$pGn}{ zypQj5?h_N-q(=FsqG=P72z+*E%QPK;M~QIksvX9B`YfV3H9M(uJ~M3#Sn z>ww~>{0DR7Z2ngc&LRxP`9GE6=*?~hV0`lbtqgA-sRp|x|F3$jd3phihzRsQSY$KA z1K0yG7}tMV$5Gk1IQ}0b$-(s>ND>Q-nd^U?Y$^I!;7~vldp<_oCNJm-dmdcq{ibKN zl&_FvY#`Ds@9d9sVk!cNLf1cVlGuf?%8AjE>eP%Ld{3K>UqIxO_@HDLzxs;RCHs=R zIG4r)0^~l4By&3{(iPAXqN0NPTmzd%H~EK8RC4e-c#X zubsSO&_+PQh>6^jZBPj>48+{67nB$kL{b}$j06$_EYMGAq?;g)P#J{WlMx3ZmmX$X zh%}c93`wl8y&8Ia1UG8s=t=^F^Pg)hJ~46oivTIsHNfNV-$xkVCjM32)8G|UYh-8~ z(jF$N)h8nAmMh+ZnM-A1;myrW|3_P@AB7=v;DmsWFDJqU0+VlkE}^a>%r>@(Z*(W# zJu>?bFeKkNR)mL?9+Z>N$EGJ=FeVUus9;jXR1^gWh*QwN=SWOHm%xtOL{I^4tB-@f z$j^>kAhE>9dMBTvU(ygF??_G10dcmMk1%>Ty|CLb0V1GnG{5}KiP!}H5`w-Qm?KM& zFy8==x{pjPo#2Bzt|yNmnC{-b{J}d!K2$Z(;{;J?qCMN)TyP)K0oJYPdJ6}(usKLHmpZTCSPS`Bse+fN=7m_}o^@;rfBY8zO zAp|OF1_mfFAtJC`0e!PPJv^M3e^NL+pbx-7^837$boKon48?|W2s7Y?@?3DrBkKq8`x-AWLk8Yd zhJgOE@Az>bBi*9|nR8p@o*y$HPdT7Fpzo|HNN5GxRK9Op!p&gepgpOa(_fmG-6Ed= z%~#R^fcXlj7w*D_d^I_K9bA7cUu@|A-V!9lIq=A5R>_U(9|zm*){)BtqN+GB!0w#h z?8A%*h&g=V^c131!7n{ zBPD?qCJ`u?fpt=8wsB0943GLQuIdGsK^pTM8u?r$q*GSC}1VAyRAyLfP zGK7MGC5<(gg#qbfM%fO%Cw^YgK=qB~hwH-)b{M$tc}cn9L_!0H;ntr7kiNfnlPF2~ zq9FLCQQ;Ix0Rg>2z9{%A#P@lWML|FT&NO21wde;gfg}#`z5(*f#;wBhxV$%m7zF&`TX~HvV zIp5~_6BLHKJcn&sYwiR6vLN7BpD!gb3mNONe-IkI*peN#(tG`cdbXbmIOP>hVd6I} zWOt>;zpX48dsCqCj%g)pmlm;NqoQq);xTr2w496DXh>dytb+^`7gpdR91q>PXYnrE zA6A^x9+NoI&O$gKkI5>0ciyX&Ip@;oO%wLy+i=}t9}BF=iy;EG4j-TRQMu{n&r7kY z!wYi@?&tI;@Z@oG3#2C(%!Li?X+pDTlK)WF&S18RIWTNABxt;Ht1fRP^AYc^Y!?>b zI7mFrw2M#i6fQ@~>OReq6kK>j&$yD1t{x`hn0=;Gp2OiUpj6D|jaM&_UcYB+&5whu zw@n6FT~HfKoumP+SdU&te47PKs2PlV4M#39^$9@EW0jKNZkbqExRk=44kqIf{4gl% z>oo>qD>Gd*I#L$mxq`gk6IgBN(I@jAl|e zFT@1O6MOB7TnRVsT2)7UpA6Bm@=a;ezh53YU3AaZUXzJnOa>(wj3# z*K|?_Nwbo*Xjwa+eFZy!%EJ7)@XB3JBM**=z#hWr6hFgP>zPVzZ*ns*o?U8gtxuo> z^mIo%9!cHdbO8qxj1kst5;wvFzp)jHfT^ffm=% ztDyVPd<7<4!2dVU-_h2ouVB7(Cbyev@?&gD^U#zYX#=b^i>|R|_~-4LjE6Stx2X_p z|Bm?Lm$#L(mCPua29uaG7h`qh4R^q-m%JlXaC(^T*iX^Vs*J4Efze61-x^7D)+kb7 zX~WSv3S#>06k8&w@%T1y30)P8yr@go0YzdRNuAv5=KH|kEAD}rxV>axz6CKY{%-f? z<3aeVqCz$3e&-_XFH!Z|(XC={w05{emrOZ(6F6hB?xL6TZ0@D7+4p&6o|@v&+!bn2#c;!r+GRWJX0$X;Xzn| zD@5meu&8jUWjQPIszFcyVdzJvYn`(}k&H~s!&oA+ zB&eP~ULAuJ=)96*qD5pkDu0J=ctyaI3%^~OHd(kkveY)CyU|460tIMYosuOWfO2p? zJZd~_Oxboz8FE?Opa@z4-*tYP{X@JLx-Z$s=uV`MWs-$9a+7z@804zio(&LVPlcPI zM+s7Rm|&W#-c$Fsi_56S22sC(d}!=Xv}tBAlYY9j3=7#Me8{Lo%sUTxX7@xx9JJSG zh@n)CW>4uLfYC<<+5thefjF-q_*-aT1&3`oyJpxHFdM<&%jg-7J>eTeucA5yvON(9 z1uStylqU_;2M^6lF+1%RwD|-q$M;6~dOTByo(w>(FEchdXVnsO90PoN)!ua8|77`U z6A;F(Lp;U%opHHVxV$$Y*l6%P`$Lev)&66=upnJi-8Dq7(tz@4i-4Ci{-l++3^+e$ zT&*f+cz(ArD9`n~IU|nVdi+8m>z9Zzo#tzfif5&GdN*G!9EZ~j+cc`I&m*<6vTLxd zVhqsIusdD4eZ3b#^3GwiOF0!=5XugK-IZ0W9XJY5T%bmOK=R<&Jq-HB#_J%jQ0p@$ zV+I7ssq)3v0B$MfM2vz{ZJF z!2dL;;Q`-AG$C;dPOFskJmYMqer%d?ur&8;(iFVNbu{0(G3qY|24=9VyGjCzV(CH?^J&jKjhH zTt9zPaJ-(FKgrYQB}@_c8AK8i~{(e&;wL%)z`SEX@x3Gz2E#*~?X^{BU`Dv-x z8+Kg8&8-B(npy8heNBHxWWskw_bzV(IyRc+J{o}_U$#4V9a@^rfi^FMGOB(vA&?LA zQ9xCXrLu-E(n5N@mXUQ~Yxf#HCx5|hfyL_4zpF+IqVf{{{KAXD&Fa)vHpk?216$TW z+BIn_q^PA`z5H4&F?*iD#KZexI?F$jlnljHH&$-bDG_0>(sY?Uf#+o1jcGcYet@^G za9}@_|2DNug5@6{Iv|!FGm=w=h~u1L26*WT43rj&C%E$V%huz0_7ujA*-h>qXYtMP zP1*E+o-AjzSrk07)n!){LRQY07)E7PhiGv~*UZX{?SfO!e-uYd^lnsaQKdu{_(1II zo2(CfFqoos?Qt34w|^)yl3kx0vIrgW2;kj$7HP?H3ROe9q9@V6R0eXB{QhvH0T@Bi za}wIUm;l5tyfly$I0I&ufgZ)M%mjq~Uut;=De%pfXoOdkr2HO8gEe2~C_1@ho2|{kth9c0$_G9ci&IM4L zIOjjTWF6Nr_Z^EyeX^!dbQ}07a5Sb_JdSjJsZdYsY7~!3s(ouI;^5`}2?RHtMt!H9 zK*ZYIiFWv*orh?*zKIjyS-I}u=xD#}&!KUZF};Vwv>by3;05Abn%&xX7Q47UAR|WfLyW$*l3BpJB!>M^N*KW^qKR z@~h21;l&rHz1nHNF~XUjdsnjm+)vyu=R9*(w1$NLpoeXUOv3M zu^n_qif&1M4bS|pZZuVk1==IQY-zP28YaD2PJgt>=nu<_6JO#&JoTQWQW6~QvD+bX zc&t`846#xwtHzOeGSgb@Q*~Zdb-tL-yYRCa>2LG|q+prU8irk(=`aBj(FcaR$7_EU zWR>0ro$8m2+Bkhk5}-^&@>GC_C^3Z-rA*{fCcEBl;>k|0kUSf-oHq@`xau4irEO20 zP+gi*P83+|=n4&oXVZ@^CfW%1gfHGBlopM4B=V0~uMmfXAqp3-CaYG6f!->InOT~idgTxkqU^~k31=p;ur%F>RYoO@|3 zVh`Qzm#UgR{!^jaLI1OMOr@M78%un3zV~bgI?WFf_=;_L!GVw;I5>5Ur+>1vZ^*V{ z9W%<|$p-o^bhFQ8*5p)dyyA$4)Dy~p7wZA-s1eXaV6|qoh+})}oPa}L-$)=%?w@P# zI#TD)y?1c>?0Oz-XT=*y_EmoZmUJgM5@uS{^rfFq5Y_rz>l~QsgeLz{n*`58@^S6P9OKC^Avt^G1=i*5cJFNF-lPGGo< zE!A2TkXT-*o&JP5DJ3DfWeas`|D3imX+PtVbnKZIRQI%$5`7fe-D9~BIlEFWa+*yv z)}@m|EllGwEuZDufuo~tHj*BvLW6uzoBv~Srx~Ry3J!6_mRI6xm;Ftvx*I_zE{!Ro zv&}J$RPBq0WBI!V-p60{BA$3x`u-m`rbplLfP5q;qJRzw8_>-1n~rL(kKN|ZtIp-H=byJa*`#cUrxX*a6 z0C@Y27=J%|_nzad9b)FX0O5p%ojRT_>AL))(Xu6MS+rW`!IJ6o6jqauF1(x&50#t9 z+da$yhM)YIYEkx{QUjZ{l;ZqhM+hZS*2m!kK;oxTqnG!i?q-5bzQ3imP4(2+Is@Br zd`+VX$V_vsaDQ_r{+ZI5fcLp;Q3GllP(N}%W83e4GlgD;WQ(WaG8<_|>U`P0{^1V{ zV7ASyA(iE)lKapT3=2D;82ll)$KdOuXNQ-oNaBwQ)h?(RMl)HAbO~=$U2J~IZ?_Hz z6lM@uDq%rnnlJ%I2WP5r^^2=>RqCTn&3RO6}X_3bCsmuHKX9rnb@GL~BkS8xGi|X$@D5b%k@%ieppF`%+=` z-5;UlC&)|ry>&?E2KAOzHR^A&1M{t9KR2GDWOTi!HCu{<0$b>E1yCYl#rcWH+s1^x z=#9W8Op=lE;`ddOOZcZXhX$qq|NgDJt9pS*S1WfK3^CW@FFXs~wGfChQkYI`olI^Q zvMTq%6U+$C*{oeR+6Z=;R`sjWz;L>Fmx?8^7*U6ZnsEA~D3vnd^SS4lF7D2cKqCuC zybsZhx}R}Z|GH>gMNfPAP;EF@GLjeG!kVk^Y@F@$)LpJ%HCR^k7}tUTC^$*w6Zi)# z@5QPBsH2g|E?k`T>t=RahBd2*XTB66h!J3TgHNzIPuUI4@jbYg$Ht3jTB)Q8ER5|6Z zW(F!F(9yVlCUPLNH+P%Bpb@ImPon{6D?b@`V|xV7_@Ys(m6A}MnBm{&8j8oue!o1R#rXc=_ZG>9Y?aT z;BV|#VdywN|G=7wfU3aXitc6c6F`EwSr$&-__xY9QU{4rdfavn&2SnTWc zv>q}_^sB8%mmy`|>$B#_q3q)2?}&$3S4mfy$tuMw&qmK3R6 z=rT^xjXY9@#xPrUx@w`#8FMVC6+(Sj8jFLf=?`eX!)RH)I6`+takj-R)?ZuZC}{6) zhFI;IR%1xDC$gnE-yCm>av%QY9dXy<#mX>7bk(wj=3fm1pi8~B44X*euy4vb_-o2C z_SiKimZ`k@B4Ynu4Ve`j{vqo7+ZvOI^(VzTnBaNuH5bDpy1DSvwr|Y$5{=?gKOebdMV1oJ@BO>G4t;4cFVxJ>E zlKe-ZmL=i8Uo0)mrai1}WV}Ps{*hMLvzOSFnqYFjcYSG{=P}>~b(+fz4QHUQgpChJrqk z`wLD113a7jY%~V)t9c!%86TEh9NW63?|)c zJGgjx#p7Dq>FdA$$TpSFPz5|bAN4czbP<>fyDHE!7!qkcZx}eNf`(TK$u+9KJN@C> z2$qX1((L#dp@<3o3L%_^Pj>T9g=OzERoTA4$0Q|hh2%8W#Jh^$mGSs=Ii zKH8Ymexk^+%rSVIE+g$YJGn-{XDS*OH{8~u?NpAdsL#A4{3Hf@SAV_yQ<7HHqzxW{Lf@<$ z816v-EwnRUk#`kT{a4KH;ofuuhJ1+k=JG+EG-Kf#pWAJoJX`g1WE-;4sNPjdrct8= z691zR-Jav>xD#Vj!3(>R*A~xncLUUc*GH38+i+4KgXEcI%4uorQY%mo8)x ze6b@%&vV*_9aUG<;7z4cz=ju#%{JRxQdM_%BV4x`zn?g!GZu=sbg$s!DD-TE#1V{YAzP!PQZPWMTQoyoH5{`+eKLpZ{ph?ouOe z9Et0v$=vVaPNTSMws0~cy)<>oS0H2_FP^OM`03l%Z97~rf3b|2y#$)j_Z-NPCjLJJ zaW+kCgcon#(Suz11qAc;N$ewPYN|b9>O*9#?S2v7{`KLRQiK$dT=TDEVn!k0T4fFD zo(J|nkCF;DcGY0AEwddnnx-N-x;PcD z?m5iET`xK;zN5N>OZap57Py8x3u_!{&hwY_CS1 zl_$~YtO>_qiOa!sri-bV9bGsqC2v*%57RF;;)9xJJj#O+`2sn!)4`xNCcWN?R8U3I zTha(SIop%W3O_44)l@gCO(L_91P?g{th8oHx8(vpUMFl+w&^T|H6WI%@Mcm=_wVRf zejzIUOoZoh0*!>IN03>ho%cbj;qNP@u$$zYa1x^0N|2|;Mc+Y{_(Xv^SP>f8(klEP%ly79a&GweXN(m;O<}+ssN*g zwyQG7KOv5v;=<<7k&#T>a8O*K+>oZ|2N3=x!&?VkchE8K|o*&dN1a=#)X}& zW!_`I;_GHPX$ASc_L9EB{hK+BNdji>!)fE4CFQ>SgH#YXr66b^iVS7qNpvyG7mA%q zl7Yr!Qg22HPCLb0*)h%555xXC0o(kNP1{s@dfha1gLPl4%!G%z(~z|<@V*?{>J%jd zFm%xW3CS^p@&7j@r&k7t!~frqT-NrVl?;rVGle4qTpp5>or{S%B`gD+@W0E7 z4Dec9PB=z!3kOFhVs|BcOwS-Cja|I=XBsHJI#K7!>lRb4XV=`3csMaHHqNkP}g zL1qXR3XT44H_h6J7h$}*`-peJC1uSvG=X@>!I}PO{$=tPfl(mZFJsGmCI%RSz(y&Y zf4uR(=>riIim;LfCZ&FB3*CLmv4&}yG%m{1U)mwAboXUEeX8ciBQ8bFFqa2RnU#-I6AF~1s_^DN)RR5 zq6VlMw+X6w*sLxDPy3=fEzYlR6@LY@EH=YXZZ5>;$uQ%hNuW{VC8hD=f0BVKMM>(; zkW!-2=ZcXYoHrYyt;9}Cg`L-i?W>Ohrg4%?CdZ;-D2h&4acIt@1US!Vj9}mNapO7W z3@;?rew7#0X*K+$1ml@=rC4GAU=2^5iECgEM-ty!L_xWa$`b8yqk_$f?TO$SQIrvt zbt%L<)xi7=oC{yxQFB0l<*9~KF;W~6qb<-> zs%-sZ%WIGfQ381;T8+vK17fwWqw!ZxY@C*KkQd$lFWFN1PTlEZ1QKqHuGe!tH^Vq# zj#8?1E5871Z{U^4j|j=v4I&{!9U?R<4nI+WOl@r)QgS*FL-C6izSxiiVCLl>EhD-c zw$+pPDV=d|?{J|H+DVi-Lz|tp2I2*IL<$p@{ z!LyRr#Zw*FOomTu_mKT>z;J}KbB*s&@a`+7)#E8;sON;!BZCU4mC`* zes!^4S_xe|BMlgozoaB&v=U;cD~#krMo4QrSv>Gi;0`)9uJ5cbm>TH3dR23tx^u1) z!{U0CR@*Gk`@y+H=>42OqwGAB&}0-@DA;Fn!m8Z4>HMqh{imXy=NfycL%omFWHnwX zmg`hwR<(}h@c7s$0CJJS5tp>z6cpfDw>;fs0vTb6uwuWa7DBgvTqMH-W2_QLX_4hc zW~mXnlf>gE?XtaxKjC33l83&$tGqdwq(Du_0!QZH%Y_Rqb$&h~X075SMEV1oEgRXO zWTKR*ehq_3IG^KNGm2wPrBDGp7lB8kP78j(&tLUSgx$V`KqpH!U6wxrBQ;iHRk%bkL9A+ROI4tM21O?(qzX zPke&~jm)B%HHIM)G1Y?fOO}Oz-Lk}0J0x9aoJFO72mEvEoKj=Ii`a2rK-S@E;IHNN zNlQ2l-y-Tex%C*=j+x-Yh4nD0`(!|PHm1=p*9`26E+gvA(;?{=Vn!flT58}=nN6L; zf)=|N-!M`A%~=kI58Blv*^B&TZ>sxda_rP*!+%rbI=#q-PTL;2enDI#kAMvtzDEEJEVd)YB0hq$Ldlg! zupXdwGs$;I9wkQ<4&Q%YQ-QKf-oP#nv?3N30|cU`esf4KuR+Dd+w1n^m|D79W+gTz zlQB0pLp}%lHFX@R{QxF+_mj;NM4={6C9yiz#jIXnedf{ z#O@&!{I!^275_62hvmmWm3vMFvP;jPC=W;I_aQd9t?$g;3$Lz)J~l)SQM1{o*BNw-l2w=!dg7Rwdmj(23r%Kok-i=R!<>$Uw` z)_~9%BuM<568^7(MR+7%`JVggo- ze);f`0#?iMiSo5c_QRaGK5%`*i&|~9q|`B4d43*2zSkW!ohh+26}N027WcTk@R%YMKVWW3m5zIy!kvDiKPj}DDZ&Y z)p}bW{SmihoTE!kr_ zIo)}J9Z6MJ-DDAxBfFjj|B}63-8tf9bgH-LY@z(re?ff-B)dGid8Bi$A~RpndFJ

$K6@efLnKY{61W`Y=u-P1AChEd+>NIy}dzM z3(BGw=23|`ib9>R+HeaTHdm_8;VK!E1P$>`(wZw~1OLB<@|0$xKbM0WJV31goKfZ2 zKuxCq+VGh)=+=ZtenGjUY5?5d#$pVn5MhO3*Td=jXJ){QuBPq8qJ0x7Thc*Ruy^P= z?;QhgvARoBLljN(Ew@cYUCExR24C)eIi&8TvjVZo{LF(TyJ3S0{b+3ely9~xomx_B zD_U?r*1Q2}fE%g2RX^<(yj z-P20I_e%3!r+arAZ9wzJcZ+lD?#Ftcr(hY{^T6I4eJd;fpq5#iyzR)w%t3+a`%569 z%5uDZK&$7sgc!4extp8Gm!mmxl$QWa$H#Bo!prdz7Zh-pqI?rI2F_pzm=>wl979B z{&X_)Ns@PaeuF}z);y|4@eYFd#{cv3#}H)7HmycQmBC8F+iji~HS$3mewJ=_@#xIHXzDq5FcVA%+E&O;23^U1REQnEkQr{uUR_o%YO z+xb;4(EIZ(B4lbazNR`@I90{5TZ_|Qm7Pd1Gn*sFG$I5xHKll#K5tjrC+@3ayH)Ah>)!3?p^r22 zNHOs@xyxbVC6xRZ0hi4Fdy>Al=*?Z27fsF>wy_Mzi!&r^Pz0Pc1w}@8wRkc8wb19> zi7@D03$SLfGZjQQIaC-N#Bxok7M$$~d7d52pio_OYd0&-niX||zqGX6z>SwuuaLp$ z6nXM&#kk%4n)o#eWQ+{N|Kg1JjL8=CZs@a&0=H}&kgMy1&+)Qpdc5PfE(Bm01H<;18Yp#)H*#gXPc2NhuLPg_d{xifMaDy>e)ovQxzZo=H+UK z_j;!570c`%LDdwm&1AbP=kbmF($G6p(Pnu;iaX^4_-4`Gh23Az*5$Js4#Dd>VEG1# z^RHJa%vr52GrJk>;->Rzmmk2mB*s5U8ysxCXRJ^P6(pbarB{rN$sp9if%4&=;n0~7B3(1C4Xe}v6q5XDDN4>=3%cLp zSa_Hab92KnsuOE56SERC|JzfxvvVTm<{)MwR)%AgvNg3M=H~qGhbXZY9~a9HF%b?i zb~Y9!Q7+~m?99Sq%wjC8Y+Rz8?5v{V!UDwq|0DnY0w-%?YvyE5%<>Pg&y@kC2FNFP zSw)mE25vehf1ud5^oWVV+{p8xT@hmhkEYH{m*Ws5#pLGCTd-MHDy8S$LXMYECk_9y z@VVQ1%XX|vTghRC7eX+FHKLCbW0Aoc#;1XqH}-;x7#d zGV#_3HUY}I`CjL7z9ZJ$yE{K=0P|I0YzgAaeMz7 zj6`Lq+iybbaM%|mgWE`qs(Zhms>@(onq3#j*41U%A&COZ_`C#4Y5rbaVwV=}#7zBU nHBPYZ(aXVk->CiochjL*PYJ06CqQ83Vr6B6BPSPA5QqCe4id(J diff --git a/casper4/papers/discouragement.tex b/casper4/papers/discouragement.tex index 38d7d66..da5f089 100644 --- a/casper4/papers/discouragement.tex +++ b/casper4/papers/discouragement.tex @@ -133,16 +133,35 @@ The second case that we can analyze is the case where the attacker engages in a \section{Bribing to counter-grief} -Suppose that victims ($\le 50\%$ of the current validator set) are concerned that their revenue will decrease from $y_0$ to 0 as part of a discouragement attack. They can choose to bribe outsiders to enlist in order to prevent this from happening. Bribing outsiders individually is expensive, because the bribe must overcome the outsider's concern that they themselves will suffer from the attack. However, with an assurance contract we can create a bribe that only works if enough outsiders show up. A bribe to increase the validator set by a factor of $n$ would cost $(n - 1) * (n^d - \frac{1}{n^p})$. If $p = d = 1$, this equals $n * (n - \frac{1}{n}) = n^2 - 1$. Hence, such a bribe would be rational to organize if $n \le \sqrt{2}$. +Suppose that victims ($\le 50\%$ of the current validator set) are concerned that their revenue will decrease from $y_0$ to 0 as part of a discouragement attack. They can choose to bribe players who are not currently validators to enlist in order to prevent this from happening. Bribing players individually is expensive, because the bribe must overcome the player's concern that they themselves will suffer from the attack. However, with an assurance contract we can create a bribe that only works if enough players show up to properly restrain the attacker. A bribe to increase the validator set by a factor of $D_n$ would need to pay the $D_n-1$ newly joining players the difference between the natural supply at $D_n$ and the natural demand at $D_n$. -However, suppose that validators fear not just loss of profits, also heavy losses, because they believe that an attacker will launch an attack and destroy a large portion of their deposits. Then, $n$ can be increased further, especially if the choice is between a small change between already relatively low interest rates and a large short-term harm of losing a large portion of one's deposit. To assist this mechanism, it is worth considering paying a small interest rate to those who are not participating in the consensus game, but are willing to make their deposits ``conscriptable", in the sense that they automatically join the consensus game as soon as some condition is triggered (for example, net interest rates including penalties dropping below zero). +Note that existing validators do not need to receive the subsidy, as we can design the protocol so that it is easy to become a validator but takes a long time to leave, so they will remain validators long enough to prevent the discouragement attack (in fact, we are assuming that the current validator set are the ones \textit{paying the bribe}). +The cost of the bribe is $(D_n - 1) * y_0 * (D_n^d - \frac{1}{D_n^p})$. If $p = d = 1$, this equals $(D_n - 1) * y_0 * (D_n - \frac{1}{D_n}) = y_0 * \frac{(D_n-1)^2 * (D_n+1)}{D_n}$. If the attacker is threatening to take away the victims rewards and additionally take away portion $q$ of their deposits, then the cost of \textit{not bribing} is $y_0 + q$. A bribe is worth it if: + +$y_0 * \frac{(D_n-1)^2 * (D_n+1)}{D_n} \le y_0 + q$ + +$\frac{(D_n-1)^2 * (D_n+1)}{D_n} \le 1 + \frac{q}{y_0}$ + +This is a quartic equation, and so has no clean solution. But we can give some approximations: + +$q = 0, y_0 = 0.04 \rightarrow D_n < 1.8$ + +$q = 0.25, y_0 = 0.04 \rightarrow D_n < 3.36$ + +$q = 1, y_0 = 0.04 \rightarrow D_n < 5.7$ + +$q = 0.25, y_0 = 0.01 \rightarrow D_n < 5.7$ + +$q = 1, y_0 = 0.01 \rightarrow D_n < 10.61$ + +If we reduce to $p = \frac{1}{2}$, then we can increase the maximum amounts of validators we can bribe to join further, though only slightly, as for high values of $D_n$ the cost of the subsidy is dominated by the increased reserve interest rates, not the reduced in-protocol supply. For example, with $p = \frac{1}{2}$ the maximum that it makes sense for validators to bribe in the $q = 0, y_0 = 0.04$ case increases from $1.8$ to $\approx 1.87$. \section{Conclusion} Discouragement attacks as a cheaper way of attacking a consensus algorithm are one of the hardest classes of attacks to come up with defenses against. This is true in proof of work as well: if a 51\% attack succeeds, then there is a coordination problem opposing ``honest" miners trying to recover the original fork, as none have the private incentive to participate in a fork unless everyone else does. Hence, our recommendations at this point can consist only of two parts. First, there exist marginal tweaks that can be made to mechanisms to reduce the effectiveness of discouragement, increasing difficulty of leaving the validator pool and keeping $p$ values low (particularly by not relying solely on transaction fees) being chief among them. Second, if a discouragement attack does start happening, expect an assurance contract bringing in more validators to be an important building block in the solution. -In general, this is still an active area of research, and more research in counter-strategies is desired. +In general, this is still an active area of research, and more research on counter-strategies is desired. \bibliographystyle{abbrv} \bibliography{main}