From c8a6d23553c7388b23e9ab1073f9f2e7e9a57e6c Mon Sep 17 00:00:00 2001 From: Vitalik Buterin Date: Sun, 9 Jul 2017 09:08:15 -0400 Subject: [PATCH] Added a chart --- casper4/papers/disc_chart4.png | Bin 0 -> 29061 bytes casper4/papers/discouragement.pdf | Bin 240836 -> 264729 bytes casper4/papers/discouragement.tex | 2 ++ 3 files changed, 2 insertions(+) create mode 100644 casper4/papers/disc_chart4.png diff --git a/casper4/papers/disc_chart4.png b/casper4/papers/disc_chart4.png new file mode 100644 index 0000000000000000000000000000000000000000..3661b58bc1bb4733e607433daf8c504d885bb330 GIT binary patch literal 29061 zcmYhi2RxPk`#(-X2+7VYm6e^n%80Vc4#ytZGLAj6i;QG%*?Vt}t?aC0AF>@B``|dv z|5oqM@B6O@>Auf>zpmFcpV#wx`TSN@ftc_CAr=-E@oPmnbu6q~AS^6w%{zF&6-JBC ze!xF?rb-HOSeTo?S#1Szz!d@~#rG~)SR{SGR|j@$v<(Gt5#RN-iah=bKEYkGC!;JF zZY(Tjtk-fcH9h8b7d<^Rr&chBNb~A%!NHYJOHHVqOvvtW-L7-%o>nhYqD-`@OPFq+ zmeIHImoF_-Dyz$xD%NUuEBX1TQ0~!G0$2Dg!k;AXb?@JrjZ030Fit{H<-F0>uvV-b(?EapS%0=E4_2b`>%d0# z<~MS3a%N#qmsIbzmXt((A@NmT%TXEm!k@k*;Rw>C^ zXdf!1JV#3m{^-%8oH4C}kAB&BPzCW5G>6teTeap$OnH8J)6`OFX$(^XsMQ zF*U5gYO@5Uqi1E*mRtY3onyKj`MUko?V%9gB@)h|4!KdyyRG6>e@OYw#XglYE@}*E zq>_~pASXq$4JnBFGC>+eV?fyn5%QvuJE;%+~Hd(bBI{X`p^IrduhuNeV#Ri?_;Inr{J%$Yqyk zn@x0VC%1h-CdMR^U)iRAzUPu))%zh!^Pg}Uc2*+80vic@mDfMU44DdkZ_D32#woIj zPN9)ysNlS&YhUludJ$iKV{TwK@xX3QnO??=pF{i7ut&JTv%VB>gts~F{S{1)SQO`e z%lvxRkIKE8F)8O(7$`Et#+2gk%{kF7<6TXd*H2l6b3wjhqeMWhY_91&!HyX+TPb%% zcAdAamZi!$U;a~%Ah@{f@YYOor;q?1XREkebmd?lv3%y%oBx)20uJjem|y1*HZQ-s zcY2L(p6p@!t2kCNUNPT7mB{N=H{a6#-nO#_tFT2YfGa1B-5wB`d;~Y~QxDW{+x$;# zCM$(Pd~t@ceV!oyGM0srUR@QH$bUW&c5sI#ZbRRQdgu1c|8EsH+fqMJFFdPQPAB;9 zMy42>xevG;-xKBa0`{yXl_Rbm%)j+T2ma;1MNYSH&|&lI1I{xvrm)h0-`i9F3G8-U zv8P981L1}|?UVT%QSY|IUT+=2p>;P_0erD5XV1CU5Own+zy`hBn=dpYK_g4V@5N== zK7H77t#<^;DgaUdZpr}o;n1-Uyug|IM+yyK&0KXpsp9D?;I6fp z$==RHBr+8XrFrQ_X|Xl%Pak4m#bFKfM`L7hyN_qEEap4i-s*(?)1-}SO8RX&VL!{t{LktiIetvw2bZgLHoArUQ^j8P zpd(}7Q2bj;8K*C_*ejsD>K3dw(ojm^ftvt(;41d`w02Owe|gX?n^Ivx*r()wzA7d{ z&pT34Z|m#zp(0x8n5#sf?XPI*!I&{JxC}99^Wsb13DNw}jmrUvBcg@}D{S+JJ?d`M zIxc4Jp!}YOWP}+dMNz%dKW~PL5`;!q4d(Am?we|o|M>SZxsI)qn{+YSt$RXX?3(xg z#I6uPH@osayj_s=8yxIaIe{H-KNbH!sXq$!u+FXj2s7@d?u1OQ1kV804xw#U2NnVX z{!DEnn9sWX^exH__c`CSg3gz}Yfb&~cfG939_bdDZ7`@NDSqQx_y1M{l*9v-d2Mn~ z@l`Q&D;qr9xNC6Z{5Lw&!Pj6AfABth;_|j~Kv_1+zl9vEGM%W+6tk6%d2g1G z(TT|(toY0~=?AJJ??}e_{bQH8WasU_T;?X?`$*2cdJrGk-M$A1O-2AJ53C-3n~d9Z z9KZn*{HH`&If}G(s4~sY)(OZFPvJX=8$}q^o>%hfp9(3*dKw?~j3wM!bT}ov45N9`k0-&7E66Qa}F#d6=M1f700B;J4;k zI5aiI@^_1Z=cEi|K=1`{!;r)YdRm0|n8Ff;e@oI}RAA19=;jX9z(w17$2Q}K-yOy& z|2Z7?$W>@t9GNjpNW_)-1R0*XEBwZna&2VlfA>vIO(t){yku=!u)bM+Vp-s(uK2Wy zfOFhb$&hlaYj?hKTjQ-S4{T8GT7$kls^MIKJkIx5h&_LQd!jVA7WS3rYi{$$u{!Q_ zBz0Q^flFvcOWKd5Iq{T(O8&x`?gY$L;9`Hljt%g_*gj&=M81k`YUVVJ2VyiPQP#tg zATbXdHo+>m+eSj&(W!tVxH^X z?|JSPqUA9o*VE58MorXt0VzKTg+#LudZD`-GBAXiyT2)){8b!Qq)O0^pMiLLKwvkq ze?_o0P+CAj-19|-e;tG<9C53=-z)Ijr&Ff%u2fOx3!O90nH82V(5>RXD&WTILkaR_ zya80NYW8qN9p<%f(6Ke}?_S@9TmI+}mWG=R0(wln99}z^m%2;w5?J^VgOn>VlUXWl z=h^n$^+i#ek-5>9SDYhynQ1R~=I;l@T!B)vaM6Am8l{S;Kq=o*s~(IOjX?&M-_+#o z}gE64+Fg&AN9;|!ob2SO88FafRIK!<& z+1=Ui8UiRq5uX$UiZfYORD0npyD^~Qucjb!a+&AYw#>ygUtFRLY+lT1>(*b_F?-H; zt0$B6jYUlzC&Or{CiiENGDlAGjbIAiS57${fi1ac#VW;rRBdQeu$e=i{V zU~1Q6*>SKxh9-esW=jXPywyqj8>0B@(uUB@Oc_s>sK>C=uzRs~iJ%Lob8FDYzZPZC zthgTQ7pT|1K~2SEO2T+vO9=f@Zvu`pcrhUQyRDt9E87-+x(n6r9!};B*A_dDOwqepyeOdgxzNzJ}zePCVj)Nwej!X*w(LmWEP2}y8#PrUs2aptJ%lB8I(Ap zkOrf_h@(XI^OsKoqo-xUUiQ>u@Rv?{)7N5Y2qh}YAtjI@Dd=jFc9`e^z3IrfO zS%p%}9c8VFy^{Vmu)1A9^LTZE^WKIQ0GJDqf1H~`N4 zZbXKgu?632sen@hfC2GDb@$&4N7T{YBteZc_^mte+mZ-CZx`YKDyF}YLjb4{wC++O z^k7fhrxc9#b7;2U}d4D?weQCdc&P8I2q z;dB##B;IY=Y+fl87(tb@2WN4cF_R5`=hjY4Q~%xTziAB?jk>B>hHGHu0?gH!AfXr2 z&xQwqk`MS?6aeR7tyF+#;VLZG^`}@tq7=7InS0XlN$kQd(_mRGw10hMuHrK+P||32 z-90m`G#z-=NaBl0W+$cw_yy7P55+Ue`%WHAzkmO}%P5hA&*T&H=g*&4Ff|Pam>!ow zV@$g*%4@KZebmgQRl!@72dKylo!=2%;fLT^ErQWu>vmt{rQlLIz6Nlc38{s-nUM~u4!8IMzpnFU&5F8sctsj4!b;9ZECmvB=!DorvJDy z3M`Y^&+J!>XbSQVzS40sydCiKr{b%x4|*eb+JCkn+UK`A%h?+o%g%OZyG1wCCM>%e z0Nd5^u=LG8sIVCw!PA&h?&Q36c};0LT7E4^Bnk-$bayj+-0^uhB7%y`^knO|oV+}r zaR-*6$4bb9iubi2$X5HlvWSVLT%%F=cB@8%Yfd6b(*9Dip?4qh^M898gm*Zu#FKu2 z`OK1w7N;kndZycv#Ag;B6_sx_nz7*2O}w_gj@z2)?_yKOAPzoQMEE5#N_yR+r0kuk zGV?^ALg8FLE{-<^JPwQ>v9Qoec<_!&V|>1v6&DvjdiHELx6Y1r-XBy^vUhPgP}@H0 z`N#Wul?h`!mi1EZ)hmAUpZ7LKGZE+|;r2sfDsBVaRhlSzQ5kjh`xh4%mk;k-hho0V zRC^qnPCQ)S72Np4*p~*Im0B_yYel&;2yeg#BWIs?NC}bhZFn@tM)hO*>swnF?B;5J z8MywIx4b;rUfPttSR;>1O8Nlo%s7fc+;Y0~y%`<}{f8xQgd{=;KjGd}2Z+Q_6QJM?PZb8LTF;A&M#BdnQK6tUpRHIXSuAh&?_&UoBJ067a^$&ig=YSbT}5 z6Y$OA@n}0zJZ6%WkK)s3y$pmV7SL%Ng_K{BP&F4*Qc%t8;u2l~aTpOtNTA<-ey*{lo>~6Z^-CC?)y1?CMqq7S2*D?J5;*Dq(&HP*ow{o& zHOr@9L=B&Un!2A-$Ds2juzy5fhElL|aO40E=8bQ7+P&`V+3@-EXY1-!LQ4#mi3u@^ z^10)Z1mF;~&p+IYpysh$`xz^7*h4<7y`Q}g0Yd2)(kyUGQ`+~^6<})Qz+fRPHOW&7 zY4o<*Y0%>wDNxz>lJTU}ew0ni^?6)^Xw*25J(rH#SLpQTK27s&SQLr&#Jb~T;X6z8 z=46o~r{q=0}xkb_}q8B7b5DKNPqZx-pf9dNFk*} zZhI$%ON+sTsb*hZ6zNk}VtSFWXGZO@DBwNee!08H}}@jse3h=Nz}RLCb#E%Bln;3^N**wO~2o$ zgBq3yx=!ijpZboF!;TUDm=;=I;{X7R^9JFQ3XMvk?8-7XldUrNVq;^U3JdE8l{i0;&Fbyv`#39FbGq({;$~Yua?5oroQ!q)P3i+5MdK}$Cx|8l4>GSK zXJ)HDeIu?!fO+G^)E?bmj#HCbDJsY?-Ct(LZ*myH<^Bv* z{>hN^aysG~2ZgqQ$mMpsh|nAOo=&wM4RD_9&FkRa0F2Pbr@^-SXJwG1I}{AIO{?2y zEL(mBj_7m#pBY~n9=*<8nXH}h8!^+?rlJP9#uCZ`aFe*%=BX>fJ~4W|)7IZ+c6HlR z`Y{NhFMTPtHZtJ}bXGumTLlQBFvwvUM1aZptag_#PvZ7xo%88v3DPi3u?x`J0c-bx zJOuC3*(Y)i+810VNR_oQg`5-lsxe%VuR(y%>}jj2k~F~l#M#-|hccy&aBrxBy>H#v z?&pgHCz9Rrxs~_y^fLYE~aCw2vvS2>pqTR>ApGr~LP9Y)o%ZM_{K18rLXB69;O$;kBB6%Q!(F^#~@N++)3`r($vja@;i3`;yWoi=FeL z>Oz{VDs%C_;#iM?0K__231i|1GMuV3+Lbagyq54mY~AiA zgZQRO_?yC^YWRo;&4F6DsK%!9+}E@;dTz*-GrxcUwxW`f8BmEiXvnPZ18>L!VX$0P zs|UkK&Tr`|MQq^~RlM}jY1!uvZfkgP0ZtdN7XB6&cQKLa(_L?FZeHk^7+(8;5cHKx zip;^Iqv6_Lt>d?B+3L(ARCfT>j*B{glj&^X4kgNMDR&WAiiL}7xWy0Vi;Rtn`w{q0 ziSrFInVsOK+7<%}$&u|r}dOKkpHx|?O zxP7(d-hPU_CTM}!N%ljnpPzV-kZ@wZt%Bn5AU~#yTT_pZk2fv{61BqBq|voDEjLZg zq8O5236ZI2mr>n z2(BrgPuI1dTKVHT=)lGLxM5+2H9m0p%&zOqz>n~&*QvrT8_I})B6)fF2fSK9Yc^M> z?`OfaukU=K5pROWg&w>JeU&IMG#asNh|d?OCU1Zac3d7id{+aR8ocP9{|7sH!C+cIE>LtG32k~PfxkO zgqpV)IMGnmjz5k14wLyq37$>H>R$?4gub+>AIYwL|4%BhZ(FMM$yIan{y{-yA77~B zpInnaRt@`!z04i(N3e4BzDT|1=DWF4a(rbi`@|c7ZAA^j53&z4lg2~dW+rNEBgfWoL;YLK<6Oy3O~$+(%S@y zTp2TZUK(603V6>UNm5F3auK$MJm3T%)NjP@^Osoq(;fXp`p82uaamYF_Gl*avuSb~ zkki)38DC;e`Z3XXAz7UKFMtsh#@+82_(eFPFGSzIU%HGIKlJAHC`xar();B#aiN=X8$Sz2xJzYP;ER#CyrfDCZ-Qo_$kq*Ogm(_|LDXaDR zpI%2^J9XosrgM?2 zV^Vwgx%k(hmxz~t+w``2@-+eRe4WmD zvC(lG>kdu8<8~DHeQ4-OTCN}#l`E_D7ov|)Gk%7W`}OGd4sfZo6VooHh+)bwH~x1( z(M?{Cy-SBf?E`DL-hIZaWq({Fk~X$#bw<+v^SXUAnyV^(Hv+olqg3+apNUv5Rvei* z`nVAbcL$AZ=Q9f?KG3xGMD1yn@zb4MVUb+FPT$Sb`roThws3T=dm65zVY1eAnYv=n zMxsn%NFK1JcV+r6DTWg4OUiM!)v8pI{omW0HXIaptP_u&S5BoHqDSL-hr!j+>C4{b zCqy%R#8K_#$J}Ls|JgHFgMQ)pe8Y90hLcE(uTOnAg(3(`5^)SSH@f?tw5wgb6O?t# z!=?J4t2qBUjS(B?PE72IfY=%(>LD{bIvO522Ozdr2klreTBoO88Kr?N$0kr$Hdr3~gV^r1QULA#D&;ggF;^Fo`_)x(;Q!0afo|} zgZqo|(|c59wz4U`yR$W(=PO~@;SmvLKu3u!X#D6AfN2DI>a__Lm+N6NK$bPs#eyV} zyx(htXbiD!p(q|>q{9`@BoPBa3r&^2gllcL^9`V3&zsJKjElQhma7N3#kYkLL15ab zohIYd?WDOb@A^}~=wUKCwh3bQH`-154{nKn*x_lP_v=Fxp9;&}ehea#l@9$L#+;LA zbS`#Vl(h5g`A>f>cd<8dHqkiwe%BY9b_=>FhTk{b#qp>#^s|oQ#7A~lH{*h@K`=Cv zoZRebn&iQgsD1mGw{fj9I0n&$94LI|Ff*lXyQhHj1RF79hPxC6V+1EdD=+f$6Q;$3I7b zxI{DpmUjUj=wx>`j?SU+Q)_E$OcZO_uo14k&Kclg@tSY^zIHl4+YYkoE#c)@UsdCqe%LDU&O~h*9;{1i_LB<($bK=s*TOfi8gO{ z1aik4(JbXyX<^V-*1d8drMg}ts69LFZeY)a8)gpp$1A;`U!Y%`m^+h>#pnCmCL-B6 zw{(`xL{ zde|3$7*68rZax1KfjzGU2Z#&L!(M6?6O-)OHt&WDpw)2%n&Hj>B!if1;cGQD;oja} zY=6$17K5LkUm5t^4bcJgC!`)2@Z$TUu@Z!oZpeh?$V`ddn4; z_AxgFa0uYB>83>EYX@_qC^14%rig-?7y#>$IItIrEhs9fgZuSWDau8{X!(wwX&~h%eUL6ezmVYu{`caO~^uNBi zX$6nVA(uNP8&}7pq}y#l1fbLSkDzsTj?6N?f%>*!?$d3Xh;j&1`O%`5{3YGNq%T9w zv$XW={!x<||J~p@ld5(^ynUFjdsoz8mQ%>)ra`XB#!#}XU1?i8faE6({;xVxhkmwNp+W^sIUtACGF+w^*(Dkq1yy3rL6W|NnQc_ER(6@asi|#Pu zV$0n6jo#h}>de~wlJ-@p_|+l=3h2Shfmpj!r0l*oXL0}jeHpLl<}(DiMa9OZ_yUNm zA^+=RCIP4AjsU%)P8E#^K`d@ppXpBCK@y4 zbrZ8{f2*N{6~S)k2;zZ8;~R^|4+lp^gaAR8mVpQ?6{2enoZW9d9uc@9Ry;jDHvrab z)PfdpDW(X6`ev4gt)LdiMQ_;GcppUK}2 z(7DRHcd_rQOhcMZ#+BOU4SWuJH-bo|c!9p)hD4P(9umMte+%@Cj$?q`5TWhJHbgRz z1X6*=CDvALBgX`tmS5EPTpT?Zjwv{reelB$F2)_gZN1_2&S3~g2cR=?3HqL0hYj@V zOEvYGkMda_kLh(mR^OT0avuh~3y4G$_m!&34`8Lni+3F}FK31ctDJYVHgKqiroj91>QL)YTDDmt?s z{U-w<-D=&xg>9nDnZ(JwmWa~(iqdioMMXso{4UnbEiG@wBqa0!%#;@I%X1j!x}U3I zp-aceH?J!O{L+O7EccF&7r{ldm3+5lfcV%Utd6PJu2}vg@H?zKCOT_yYWWV*x57hk zx0&$FfK(o%@&4EAx&~~G)Nx|rg^rEkRDe-18BP&g_}I^|;5^91L9<;6G;0WMr-$1yB9gp5lxS*_1zaPeJ7Jl)(3kOvlN?-JUu$ch zBfRu884HUH0J_S+d#}zFv6P=!rYwKZATMvc|+0#CWY7f z+ZgU{H6uf%xk7s!z->Th@u$VfIBXza=v~p+CIQWnRF4WF{pMg}_5sTbl4VAS%-NsR zVqVko)@12kGol^!^VhF;oi{_PuyHHis}%b3Xm=2w4I(x`8d~BcrLD0( zBKcMx^2xC~h7y&ZKjz~j3+pBuw`CwvC?f?<4iXFpJ9hGH&R4Zy zf$cvT8Cv(BePi}#5w};k^gA}0vDrH13}>WjRIw1Eza+BDBy6duF)1xp1|)sV%6e07 zJfN9gJ4ImOU^%7RF>jHc-NeFU00fdkpG@HGji&MP7>6U1KHqi+!S{PfOn)gItc_-0 zx@P)fUtJru>+uqRwx6K9ev^Oag+TrFte6*Qqsi3i-$C4(%$&y3r(M-)%Rt7Vx(tI zB_UOi$%1l88zP*1v47L6U;=Uges^!XdO;H7<9mma1wKbdvkD5v<1=~$R9EvO;Kh*X z>D~GdzaPDdW>nGCq`<+uyBtDocxT5$)gqH?B}#mMdCs?xza8}VEFVTVk=OLpNU z4;E611FSGorknh{3@~Swv(*--j7qY|Sxv9g9r+uH@k!QpN-A!qDcCT~pwV^LCmei_ zjby9VQS@nr{}XZXRLIpj&n0%u@`o-s$=0tHUvl$I*lZGHSUdT7Gl$uiX_^|$W}h9c zp-c6i3QpvOO(~x!W;AKMjH4WE3UF*ozbZdz3(^W1YnSO!PSyiXX1Uz)=~UI+XC;I> zMHuEIu-r6NqLcb@wJ*fSr*prCj}=*dw&&HBwz*nj`XBXfa=$s+xX=?)WH*kD@T*stSJsZb-_TVH#E;^cdaC+=Bkh||4d+# z6~?7se_J9mIr$f0d|3|wU8_H;jqdT%;B&VU(CnqNzM${`Sb$B^dX8m4>8M|^{p+unRx;%wbA1rKU z`j0sJqx6?NR*4P$(QXb9G#I?UP!wTE(fl|G>mCki8(w$+oSWHltoSknQDm2r!m@x@ z?l(Hy!ql=zct|aytGo=>l6Uf3nz@Orn&|3=F^CxgppYzK+-Db9z0hoSmdtE&`lgdb;=EBc@qF~ow&t?NEfXoWZPg-1GXi}+#AYshk9f*R;x{f zaa%+FMDJRSr(&YbB-OX;9R;vZ3aXY$b6*=D{m^<*CYRK$0^O?ECaX!#NUtAbZ{3gG zA6!fq)#d*po5vz*AV%Ntds1z9I}vjABvp7mGwulq9m%Vhhk_V@_Qa=TXCg2hG1BV!BJPy5qDpD+>E}aLfF8#O18XRrLT@WX+G8u z6bN!)<}`>B9Qtnww70b9r1fu8V~j3)G1T<$?zu-5Q0@AJZ((~qNG2>!Ig&NL+ z4)V(C_cem4qhR{n(wuAd**|8FXvJ%($wLcxO*|a?NR{&48_r_{028Jy;1lhhgPzE@ zZ@y9qe(xWa;j1N8mj3bOFE1l5-HUQ^f7}3pPCUUbW-qp$s0QrP36b!vJbt^|w6wI! zsX|}>n9h?r0_P)!(!~MHHXa;B6<-Cmt#6>R-J7-}Vd5-8x{dJSv*5cTZ$Cqclo<)9 znM7%f$Pt3nA-jvb2%&T5bVSq4h!b?xsZ)z1vp(09hu+9UR`-`)_ya5p@tq~9>P%we zs*HP7f{GS1FKVntH-Pen$IQEA5k(XA6F7_#Sf? z?~pGxk}hSJ`2A{FUd*^)d1rt2*b^1oV;hfiZIMP8(xAexJ`P>@nIlt(scU+6vO@W<<)`t z)4PaaYjpGdjSm;eLKMxp7fqnbWxn&xAK+P3;=1?2F)K6oON+^OjU?We!Jaa@7t;Zs z^l*C82=X$6SZ?Kny*yD2r`;wpHR0Q}OI-6C8e&P4FVh{R5 zU^UEh|EUC52wzZYd-B_CrMV0q=&b6Qs9zm}S48%*t*cy3~v&kAAI~CQfDj{_4jCYHZD_siM z`YuSt#3Y*J|C-#MgFP4`VT`X;Mzs-a>qjDdeZPxE^A$sKQKh>)RYlMM`fU<+ylCfj zbMX6@q3WE%kNpqzvn+Ss^QGY=p?cU%q5@t@o{;eLaO%C~O7<2!a)P#N_KL{9A84 zSHu;Iv57$n(}Ofnes;A+)@U9&ps=H@wMJlKH23sZHBYvW)grpv=1M7jZJR}C04Z3_ zG}e6mV>+N{JcR}aa9C7d_vL^Pxprfq?bBAfE@pM_Ctmmrd+`+W`-95aN_w+QYQk6W z*B+jXjU2wCYS%&w#}qy8?`U7gK-Jm5JJvibJyBwtw^R5n9N*a{^=yQ^>(vZF`wzT1 z>#tpUXQV-R%JB)#Yr5>V^_HIE%@vC&vVJB`?&KL6J5XhjXCW*0t$%HvXisOnPx^4s zv1@&w{UG9k*QsbTPQA$J%wu{!&mWjGJ9xM}2Ol`+@0r8g!v_>nUiC`RwGX(z{Pl_r^MHf&HcYKFMW9oMg-Y;FPT1TE z*CTHi4&OeY0e(KYV)kSyYG411aplKXZ+1405~Lg1ib-1RT=)EM->XWBP~_ele7h$= zYB{^se?)ifB<@o`fHcs&yC6!MzgT({Ygv51u#(|q(0%Tnc6;~n41!=%6oHI)~f{_`^4KnY8NPZg;!F5L_NZF;ODDyuyQ-4F5x(IJ%YJ*Nj+lbn3~YB%iWWunuRT?&@N52yw}rv0I=>r*+=cSsNv*; zPcQ^`?ZjiKc@4TZTU3{nX{gP@%oQUe&YqJ#6<8v#ZDw^<&#vbMQeUUEhl$hasL7D# z{4YNY^z33m(rNJa`G~#KDJW(}#p21ZkA0|jp!&{df4uBRL>yq5_ioI`lTl64Q-_H) z;|}`ui|zF%E-+-*AG`CT;7U>V%>I-qOkQniAOO@8p1tp~Z&=Jf{{51kgRRP){Bl^$ zqqMPg2`V2P_HjBZ12B5mn!x4JE{Iy7w&5nd$k_<2DJNl=JT?*!ewm77ING)?c@R=T zuwZSA;Ckr6{qZB~p`{C&S^PiwxBUj)W^`Dz&*~~dhumg(%+udaywx%nMRc3g4CON z{gNtvptd?CKSxbwx`c4Y8q4=~EUI;VN6a0#^-Qp4*V0f)kPu~tAr=XAuI0!-C~>0g z=N6?*S#hNhQiK*$btVdXjmGgPyZ-Cql=O5&Taf@KH2$4|&AF*QpPDpM$_1gPFK{J) zBJnW%f=m2V;3k*oBR4(!x&|yyb%1%F3tM3eK}(OkcPf5KD&ds!Oen@)L&3}17m{7P zyz0IeP>ia__2c2jE>E+@(Jc^(kFT|lZ>mS=_A=6Sah%EYN?A%@N;CS6jF?eVuNog3 zdB=dk$_EIzaw%<34&Dn79&!0^vKU9FdU~VANZY8O>!gfaD`SDbV8=zboufpm-tLLVR zY~Q<|-=!f?U-62ImJ(&lwErkaSkn@>;kZ&2jQY9c*IC-YlO=yr?QT&ogo|5g741uZ zd=mXeF#sE9m*sG>%RHXXZZUB)J=N({=e^yWuZZzCt4djcbJA6;7z(Ct0D1rt9d@g4 zC1k2~ME0eL+0BxefMI1s2LuAh^%fpc3v< z*Lcc;>)@>~19lLF1lB^&3}MQzF@q9y7QeeC2HWi30tb#(BzM1JjW{fS2;QjuO1H9} zXumaAQ*dUFcegSd-bc4mT4UqW(pdV9Slqcy<*zJ=vBNB|bYpY!*o0=GCGdNQK%Vd) zP%_z867pe?q&ROgL@!^WR`j8tG}1%!_Kqs{9*BeOj_)Szi0xAUblzQCju*{vN?_2l zPj29OU-s)R@T*u@+6+Bi-f8#7n&<6zQcSH!8PAV1SMm~l>h#@SD+i}K&CY}qyEx<{{J=FnB1J_P`Sys;+?>^^NMiPmc?Hj(@1ZQnH;SE!v0Hdfm(>pRE);Zt7vx z&Y(Hv&u?EzZawO8FJHBRWhJ8aA#iM06qxj5FGmWD7y~n*GJh{-s0m&Bf`4B|24SqWB`{o&I2n`u zo;W}Eqolm~3$1`etxVSC-eJU*Go_SWN$@B@ch}T}<#I z7+SpjP22HO>#Z)9qa-orn(jLV_C5bKEVINbTD-4;sg~WMiCOwza=EV5c{n)!-1JYz z06)0kxtU(DRMcKp$nj}_K5A{xV)T{7IVNmBJ^Y+>b>r0O@9PZ)8d zrXjw%&qds$n` zF7;@H9yp}olDFp_ebcrF270ZSYZNf9P}kJ#0mz!ka#@{s*0{+=o7LddbRnyou92So z#77ugak+1o(9c^U0{gr0UZ-aK%lOT{z)O*?y=PcacOc9OTLku?j@jNbB^U5vDQn#b z-)Qb@fMiD{j!`;z-ziTazyK|$-*0d`{>&NeP&47H$gota?xg4OiM4NlQ;S#IYW_zg z4}o*3FJHZS)pEyhpQAg`JKE!xHq}jAZZT@Ipv8(nJ3o{7(p9L-#(Bp+O!8INL5so#NQrTs{CAANkz*mcn2_Vf@IkH7OpTs{Tf|>9C08>*KMl0evroaIeoV^xFF9X z%w92)C?~=P2Tx(WyhVlxr1GoL?!b97s6;H1;c&8C3%~wHz2$JcRb~Z8844}-6*yh| zHI1Unwn$W*uk}fwz*5c9ES|8H72U}k-`9yJ<8M7h4_4rnS6VX|H!jQ*v6Wq-N6?^YriCkF+#3K?c4>!9pI zQ!{raug^85rXJpD|#n0UcaD(;^c@P|>S9utgl0Gawz4<{9UhOB&ml01-IvB8fc+29xF| z^Ri2&0H|M5V{<0IOF-TGwh*}x9)zGmK*()9yHp=LX#$1FP0xU45md}4a;Tjj-R9Hz z1oLte;S@1hJQhr%Bj{?GIe>1NaF6SFYwPevY?(9=Mby>Vn|#bz9|5Q5)7{etT#PTC zYJR!yN|3I{2KABFE1?YCyv#w@Czk>QBp#4Le>BcqYw!Z&bKs27JR1VEsH_VL0-%wQ z(Y~ZQVlmh_m4Njwf`M1qM8-~FijbP3BSUh*M~&JLX!HV7^Y_=8qM7PUIQiaDs|FqE zy&h%;o9YTUh*N$?H6q@*El9y8O<7+YrZhvCsNe)9ABAE>S0z`tMtHJ%Wp!Iwe_q(@ zx3$#>)Daf~oz}Q!wR^WWPd7fMS|yhCOL+Bg6g9d-NY&T&Cgl_c z*|%b>Ya}kb61*a0o-UO|kV25>TU2iG<%97=L(3R>Pt+8{bXShO!gaCCDDq1O$Q+Wf zn;#T<`)9GKxMN`$ABT9z5L^MrI=akPr=ncB=@h+`_t?7^tQUJONn zTD7d&hg}|P^Hbua9cP^?3j~>vPx>HhDrx171^0-`lPj$fbsdk5PaAcIrMzhETf`~ z`n6BDf*{=}Azey$r*t<;N;-5SA{~O%(2aDLbSgP?he!^obiSMCdDmI%d^mnlVdkE> z_w4*%*Yz8aV%EJK6m4*-t2fBDD^MewC)yn~RJAR?Xn%OqcKUkN9>DM{&5 zn?fA-FYda;rIfCDF=fzkC8ZUpAVko7iFG1gR2m)bg=It&q-26yh^ ziG2|*M)G-Ni=A%q(P%+fnzHj$<>h;B3yKB;F{j!Dv4DDxSmq-?wfJ#*!Wi$0>Vu=M9a6mMR1*dFrckFCg-w`Y5x1jF zO&X?*0mzQaYwo4th&AC>v^JhscYI%}+Cm-_!w9&>jLJmXHo_rb4?cXw-0{@zsLL`_ z2=id@ki1<~Ucn1A;L{%nqCS}4jnq;`Vn<`l&ymG)Ok+ox)qrXo|Fm~KkY}_$HtQaS zR{6eifd;L?z3j(x9garaz%J{~-bl0GeVo2H{8P7+RFo|2*2@hPN6t?`;XeUtYIFqe zrg*9f--be+yN{n+t$yqAQA$Rty6$NVZ@PFRo}(lUW{kXu@cO%E_Uj-AP}FnNyYU}6 zaQ8K*uDpK+*e0#?j3zi6g_1>{-z>?scE4LpW=bJiS~x6b9nC81HU7!xcapmRry71A zJ#J93MO<78SoQNwkC$+9;WG6-K?OE?NZyl_h5LKlzfT~fgoH96Y1agTA6Gyg1-Y9K zkrZ#kdaN40UpSTdq5Pv7Inhrmi{j<~F3(c!)LK*s_nZ4cwp1Z_uN@J>!*FHS<&CQ~ zU$5aK3{G;E7T|y#e{$9CZAwf|*)>PoChUQ~09(Fs$F1o9UX7;gFceHmG5vt+AtQsj z*yyy~esh=yd?=3@4shluRd`fe(PfQ6og4GGSO0f2m zoXeV)gywb@${RRla)Q4GIxu9d#A-v4q>_1tyFm5R3yLv-`__Ca@Q}ZU;)!6)O4-^OMSS%|KUEs$C`@zz1!Wx*t^vIn|IKVcQs!yNH7>MuzIoB zWjZj*2@R$k#p>)GqYI_{b4b7vZe@YLc8P}!Jo?1B)2<9NGhFcdJ}(GI;cwW?wK z2#PTJ+^MO<%J`B=|NPqy;a-_S7ou?1EP?H%k3}j_v;qx*t;3%-&x~K}^7Ba&xWr-f zL`e(#1vW

WU$?Goh@Ap|E;Ug>myVyW1jG-BEWsb>Ol_pd~##=Wl5X$mz$4sBnDZ zTETSEwer#PcG)lG@*nPc<4$GD!>=Mwhe?Hf5uZM3XGC!oP3-P>CZ0Ar!aBFYl%z-Z zBu|6_BC)COk>CM7V*XwM+>X&t$*R_nq`RkpGAG;Nw?D___mrbwu%(&R4fu7@LHg=* zWF+=;EL4zoG@GynntE7xc#syejFAxqFrOBAn4Y^^o)bPzYM{r*1fJATV0iKL_U?wk zT*kL8qd_d~@qB=Rg%u1g1LA|nAUU;IVUG~#2A`p2XMd_u@|=r{Yp%{VVPt@-aqPZg z6ZkZGD~wx}M{^n)i0<$2iz}&vR)gL#0xtl4sJSEEH+tz-(U;y{&tPp5(jHz=4v(8> zciy6~h7Nq=*1-!0JfqSN*>Abq^R{Oxa#F_}Xd6+F@V4&e?M{4;Ie51}2f&o5Df2km zf92JrZJ7(KMnqsKDk#u~g~M$?Txw&_YuSe*eo&QRW(0P#U745niQTA49E65&*$nFB zO#}9(Uj02gD{xqBP}kHXcn`Ms5C|_Nzq9!2)_9Ioz8cfc<;h0AMhO!T06~EK^rrEY zXR)#U;tfJXY-|xQ9%?8l4aH@~(gPp0EHH&qP0!A1%E_UFEA1V97MaBZ={DE>o-eqI zko5MOI(Ig7T&n!}T5D+fEN~4eh&^15ec5cYs${T$^>OBP}rSpD3%`JPtbE`XPs}=wBJ^HD&Y2K#cTUhWzYeumDr3VxxX+y*b_UGZ>v%BAw zH@kVr&5(OLLbnSW#|1YK2HKG!M));2Xa<{>qd8@BZBDndvpaP-Y`<~52G*RY>kJW} zBw*{TSj`mid2=vdJ5W3_njwVF)}opzY&&7iG&+C}(x;HSYd7dCzn zHVr^0U}9vH>sX$imRVn4PlQ5+=wyfoAY8+GK^RT0RD;4e=>jOveP8SiukSt0&yVD< zN^A{W!`zrr@w_+q_J%r1UNFs62i>rpu;-mgD1RA>K;gib&e}1XZm5d4cgsqB%Ga;K zAo@th3)vqFG;>l;HYo20hR5UDtUH{eAOD{EpG2Ah3>q@Bx}l-{#4HTa+5rHnw>A@tGMkU0vNgQ7ISEq|3XbfY>wm?4yr8 zMc^X?aE%oORL*^T0{$=z#6(BS7#n9yZ=5a{vCaMk=_50c5Wd_Nd%#4PYxfhU~ zxrH(XkB`AgJ-+7IHdd+g-fy>eo7%sPa_|o_mUV8tnib;lse`9b1gw;wPi}|&l=WYT znKccd1P)RgdwVGmm^(jM{9=0lH~Ch7_ft_3Bgm^_Ab9Q;B%kIgmFq|qXmm|Z)^^}g zw#F90Y|0vTS(+UGTp@G<$N6V^rKGjv^`5y_4-Wr-(A70yg6#q3c(FBml6{vC%}Fwm zMCPCZQCwUcXv97sc7K9Fqx4wI9k}#U>fT&zQ z<|+PCF2>ZDQc4<)oJRf!wXOrc$mWmRzkOD3sLl@v{`It-^piK8%^1d~rTxmnCk^+CFcMQt5|+DMSVSR%t4?mzD=PD*DS zyx4OUZ1rYhsSMUR7%h}romavXGnV^$m9$a$Tui^*6xX!oE79Evwzu^Ssi1#*$dp5d z<(@jQX~t@v^3<;;IlMQKfw%smtZYs!jfq_LDxSR z%K;B}*XQU@DR%hgd;krv4%jM~IXD>W4OD<*C@(+%Whs~O7D>dvYTvQL0*;Q`uTyrf zOSG7;fhYR3+Tz^kQ?vLrh`cU<;XLaIuZOs~!A^H4cfW|;(mu9)&$Y>hxOb@eeqNpm zMoB;$i>x$zoFTFK1q!~12M6q04FA2q!qkLtS&@;R$=k&kKe-P5f7C5^%_D!V{T5{j zyhSdF({5S=U=eS}#$zqfiv^^U}GRw)7x9n z%hNLs3MDTnDw+i2JnH(rR=qN1UF)nYFA^XJ_H zhye#m&#I-z(gVl(+s9}k7~fxizN-V~w-)zkB%?={d!m*+Hx@L1`CxV#NPK(Ng8XkAfm7MWLHgz>9&? z3vG><_hr#!w&QFox?4qeTA@zq9R=mflza@{G^n#h?+%3EX%dKQ`~arm!I6OQ^aWw`4S+ao&|C<)YjJ1t*Bq-k0-)+B2Ku&NXe*a5Zoa>n`3lxW_>=rA%HCI|rH`d0Ki?m4? zbDVz>5^=Dg(f2mey#EP)IErgCg(3J@+`C@m=|Q+~EXBA5oM&;R5fQXMrQ{nj_F}mP z9f~HEEMU=WV5=kiX_d>a8$o=JAyM!W#qBE%q&w?~jfcUEg?M$FmcY1WeE_G2Q#Pak z(cE@?*j7&Np1z65SW@qd@MS|%XGWAvisD9?msW@u6A|qSLfU$;l4=*zSz2K38WBY@ zYEBa~nW`$je1V8>04bD-^;F_xEjB`SOAFb}`TG+Ub6FIM$v)0ung?5?tM_h$dz%cy zpm8f4RVo8K$nxXxJ+g6XcLlA~Nq;R#IosREpCQW|%f$H)zoYSI#uGvfQ$YD0ndXdSh{%F*4 zPjqfCz4Cp|5k7DCJ(vA1J2{$h(7E|Ry-NLNWD`f40m0>`WJupKvvevHU5qBwT$Ys; zT)tXf$%lB9koiof4D^9St=IEYy3h7sY|&4Rs-)l(Bk>V43LkeO4?eshN2q$JfaE`H za)he>!e9H<*!j&U``D1ScW)%5-@_xkj!2h-Z13gM&Jev%7?Ew-tZlwm65KdFxsm26 z@lvs&&dqg1sV(VxUWAtw`9#YiGuwLq{z0ZAO4Zs1vHrU8EuI6b>Gc^fhi?!|(aAJV zavq@XB})44O6#qAiR;_7SWbjZ5fz|zR*ywrkQNb|2}*2H596krlYr%;2M70kJ@X%v z@@`$?iWi`@1W*-=7X-`C69fh51QEd>HNWk@4h)Og<#s)qO}XmTX(dJOC#Z>Vo3KQ zMuc~Uc+z+xebD#@IxhIgtZv7b^SV6f>j!_8cFqscjo-Q2vU&3sB7ci4C0pNE&&3VF zJ#{%E{6a6ClvMHHf(0E=+J~MO z@Kqcxpj7*z=oce7|EW|DH3x%jxM|H>rBq|Ih zIjNOktjuC^%j8x?$@ID?V*mH0Yzmv}k>^nr%Lkd|bWG@(;nO-d0`f2AQ`TbZdO7nM zLg*ZFDKv9~L;W1PfeG~P8e~NLK04;+C8Q9$N~XJr*h&ZbD~PInWt2`)jjQK{uIhRe zIcpOc?|tl{3>ud=CyZ3a)2R+ap&d0^zKR}xY|Btm1;~Ysb9IyK5#2Co&dmuyn-7E5 z6u*yhqIXC=2EIZ~Q@ zfpjxeiD*jAIVHDDhlUu!99U(uQ6P+Uyk#3l5-LO7!^xNamAU87SgO}1zefR9Ipxf9 z$RYcvd^k32zyl|o*?BssIjFOD zglK=W`#M~=6vg71%F-LKzIT1P)fn{KBD*Z=2>Efak+7+-Q4X>fPZ?G-?`aLPs~H?@ z)5M!uNF!(vY|2k2DMWOdgW5$1Ihi!jF3$O$te^+#)Q1tX{3Mv+%6LC)Fy7Yk(|4bQ z#-bNORJ}68<(26CUQprc6YAQf%i5lHJ1$Nndnjr0W5eYX%R(z8^s4_>&XPA{9;G~Y zY;Y>>DDvkuH^`-Eqz~yHa)8_e9}(W&NbfR%d0Q0fuF*p|)ipw9j_7mO z6`OqJ=7wQ!VB5ZHkB?5nG(06($Z}|6`S59Gj%nCvn|B#9h-W?O&7f5^k$TO z>(eFTvq4kC62f;fXy%26-)~a=!+FK0-PEtQsE`p%NjcqO!d_#iA)tJYT(Xo{&%H#6 zI=nG3!r5OyP3I44zM_nSp(RQ+Rl>3Df>c@qKVu_)4(`Z)oPc-?Z0&Z(-`=Nx!?g2ZN~hOOyfM zx;V+S#OVvvECh9YO=VNK4Nns@OJwwNvi58r%6jzcq>E*k)w~;K7=r(UnK>mk&SXS2 zrg)V*DG5WFZI6meHJ%al4dz8|l64hUecbM>x)JLFLiflZ5yxXUk7A9e&%@-Y?>cN~ z!bI%snI@gw=t~c=4eyR1WdBDtd*P~#28(@Zv=mtUQvG^jl1)~VSt-b_9J{7vxJgeD ztMrq+vam@J%CYItc6MzNYACh@k+4J=dI(0&n?!+MWaOXS08r;e7b-&R+NvkY!<$u6 zZhX&MmzWca#|9Y5Eh#`=ea`H%*UJ5FGu-TAum8W>DEWv)QWPD~E1CK$pw68ajX&{X z|7>jZ@V(=AfpGt!u4OW_3;fQVEz8n*hqcx@AkmCKliG<%plGWj!vEYEmgT0lM^sz5cK-}z)9n|an7t+C^`X_ms zmY)6jJnG#*f5^`t(y|xelc4`K00e#}>Ey;nzSX$+P^WCBwjw3&>v4z;s$Mgm)h~@| z6Tjt_`r*9fK}YS2qyDM&O%{|C*5}8#i0^1ENSS7_cm#)eUm0Nb?{tDYxNVIEN(A(X&fCbtx((zW9*diiwUDYecch--=+)m8+Lq z-B0uDyLU5}@v;o}T&UgpULC4-9#da3TVu&Siek$_M^e9Rc1d{FtH;>|O)0O1QvYfp zK4d|U)o?jvJ;+4Q{o- z<}#D|lVslm(-b=ukOKFGVh?rJe9_cge%-S%ufiX7JSfx8PLYB0(fE8Ipf+&! zftcTOuKli6Fw7#nfvD%*=1g2m1TPgLEt)wI9?~T$@`}Gj8k1=%?J~L{Ob>FxW+qD) zy?1VsAcoDNqmtm@*lqYc=sG-0li&~NpViP~2JVW&2lLR_CQq~bw$4r8MdUrHPeJJ0 zh$RZ*Ulg0j+}KA74XPbthiYmmi(e5J@YSeswThb>ErsCyJ0YeUVH9s&w%^Sov;{9L zpph`a&DxRzQ_yWhYt}6dK?U2CWJSC9j|CG9eCAEVO3F|k^=$^6&tFP;R;Qk!pu>3h zP)tp^>fb7aE4XS!9t6~(cpeH2{Zv`cC4B^nu=b?n>jx}^!k ztuB?=_HKQPwl~=+yF~ooOaxzs_~f+E-?u_wp@6y8=XRNO{i^Kb`>ZYN*lp`VYlWIT zs#08QRtdm@fi z+xl!m<%-98G&=QoVMsSI%yV&}lq>`R&eBh2uL6fC`RwkZ8EEIuF;797TF4{0oWwdc zTMzRHZ0-v!qAjOEN9uWN?SboBsbj188Y9Q8;KvFBkeI}s@)<(uz?LahVO>53(~57M zB=FNts=37D%@1d=NGG%7CdbBls^pN6PTuc?D0-GT94J_tM7^F#Ber?++9Go#Xkvvq zLgetRI1bae{8g& znSWQ+y(0gEnCUAuKm%?UhrGSLd+&7;_lOb&&ehn5f>tHHDXr**_sHW*W`4%g{9yr0 z2jcd%?vA5~YlkI-w(V9S2CLqtmgd{9TeimE!TRQ;jXy%=`M;0sXMQscYT0@NcjA;o zSJps@@YM^qxK0m$hUgqu1$7qglsLuVS?bsu4Q=A}p{bF|KYIpAqw4G-wy~$26QJER zIz&LgJAC|(fX44K)wA7&8x2Q@1*mjRY3-g^5?hB3b2DvQoA$s0W5}ux;o|!gQ$gkH zQ%+{ho(wP7`|MXZSS>9b*GRi-lS?saAvLGMuewg-9ZD)A|B`NJWsw@Aw$@3hRwA$j zDs5}aTXw<5rV?my<83&!Hr7@vr7ZM%4t{Y8!{T!4?7?>a_gpDMTcxp_;6tXUbJb+V zP_BKtRQ^W-vNAm|fH*BJNK{RB#4siYdQia}6wTfG<UiYtKxmmk$sI@?dE)~SB#K%?tP&vIWoE{%2kv9l*a7fx!-+vt{; z{r$<+FCC*2J1Gfm7OjIq7d@FxZP`Vzhmb~VqT}kNJfU?A!*!Qy%EAswRzscId~pN! zZSRW81Z5_pj>Ds)u~l-Mo;g|-B!pOmPGoUsvD~5}Y}E`0=gbBYRmyVbLz~Z4quimWSEe@>=KS+OsL_UEV_C zlM+l!b}~9y&6wm< z2jG+-Bw$uUH^^ix^*aRN*i6!@Se@y)=k3YBl`QAuX^l*z&cl5J+RfZX$imVwVa1n2 zHz%hI&8xRii8kk3w=n}q1-)9UC+sFaFc4CBZSgaG|0)nXdl4@$u2VC%Fk#iSdcWpdkDG%cm)iK#+LzS<WvVHbVNkb3*s-)FO?eE3F!!XhFkfct29uuxBQ+M<=xGF6kTj^=mGv+G!G9Cpe9+Y{P1e>JfV9^B^(BT8eKg-$lR$o zpkKaLJpZ*MEYTU&wp|A(peU%Q>!22ieBU$O7&Uk!>7F?c=(V0ZjZbXC;sV-CocaWP znvsYjN*!DYuDx6AmP2xyEH(HG`$K8QzbuDrAf_sZf~(Rp4c=mq6=;M5LR(&8VgDcM z-SwU?CxAa-0n8fm3JMaSC`RS8&jlit=QpSj@aePaRUuIO9wW9t+#S8(;J^j0ye<&T za|VF4`8p@1hp3yGMY2gkQqspP4>=_~FIKes_Uhl61Aw(ugDT^23K#O>;i2qJ^|mh< z8r62w%)k^SQLeM`P1mGrrOoFVK7KGrVN&y04Uf-yxVf3bXUadUlMHMRCRLDk;QHLG z3|m_?GSCUlg9<%YArpMM?gox@-P6Cpd$jp>(0bh`#4Dh|ApOWtqEVzaKGVc2rQvoP zY16opK05Sh+p`Y_i*IRZVQpWTp9hgq)$4;5>UAJHO@a?IYT;<9IibvN7(~SXs{rkd zW{M~QTx+A(YEldgs9Wv<@U58F)}s`8Zy4WZ)_Ds1j4}!dEf!a_w4@=Zsj9{(_=$^m zruaXc`8_pkbSwbTxUWDEL`6k~z4iY~@V&gez9km)F%3|!eJtAoP0eAc36?(sddn*i zPZkyy9_;Fp09D+2`&SGMq3IbJkAI2Y9!ur<`zbkH!%Ho}7)t#5Rg#^Z9emk`1bnu# z(Vlun^zEJTA_yVA0;siojaM?VvSgGXdAM2#hSa!?>Bz_kV0o%CfBRJ|3LXJ&t8|r} zg(a^j%RdeDbA=qWaZrhscW`iclQ9VZ4axwI^Jjlwxw^W#&i%lkMuzOvL)m`pXXeGa zT7AIpaK@cSK4-}TEY@H8Er65;it(J=(GeLVXBV_3w6{2CtlS7EP~A_eM%@0igQ5^^ z-KAPk8A>VL|A@SAe-YV!UlFw+)T(dG>5YVhRQ&z>ubL)ZW(9_X)VrFKi;E&4OXZ!P zot^1)#J%HAo##*h;{|#lGL<{DRDFAQ7rk(LuTC1Zv$wm;wK%GA=ZS9&AQzC+9d(To zEiDrhRnWN$fRdxPEcfo+OG+{Sbf60Wi~!)`p-_tY&K0Zp`U+EucqbYd7@VF7x$kEm zA3FEiIKD)w*sfx_WpNfuuAXuBfOe&z_u6INR|LP@k_aH)6qM0lMXx z$n9~@DM+R2i4=iwZoFg;rTQ%B zOXd&`0J4z*h+IZDclVkdvR9`zypWRo&^J_~Z{M~D#1)Fx2c;hxnS8BM?>B;+dL`P)yyqG4YfY?*4F-}ZNF;9`VFiW`58hUX<;Q`_R{wQ&DVB! zzNk{xBIO3!%PLaFYoX5e6ubuBvv}FOoZepPYk-yk9EzXvVIpT!ns=E}etse{a&m?u zML`Aw4kBC5;T4ahZlJd+fWDcp#cVs2#P%|I$QBF&hND$L?f5l1S_te75z)~H7jM}k zE6lTNR8?A4iN{N+sf&)<>Y{%TA*>+UGSV%_y~(%j>L?#xe{PKd=CW#7Wx_8H#o zTLD2RF)>lvu72UqYoHH-z9cJ#CADsn{@R`h^qwE9Z)VONMkSLI5_s|t`@n3m2wV!T zqO2{-S)X3pX9*BbfSdRC_t!Etb()w36yiOes)9H>OX<+?d<@zD!|<^xdIbQtEtj9uNu6me1L)- z_C5ym3(|0HO2O)HfMks?$w`rGZ&VazbFd>hN?0IjEM;Yas#pqDS#X1-s)mpfZ#gAa z(1Nlt`)CXW<|s}CfSh3fJ**S>9ZqHpoy{4lwT=msG=I(q4gezb_vQh1eVEEKv} zMKQ2c4^+EiE#}%632wJ*=wh9JH-}&g3lU(r{oXCgLPHP+povFN0s!B-+~0cT7Zt&8 zgs*qB^euLZ(rYH7(WDCqmczcp%`JvKIDxuOi{7~#N~k#G%?GM+v@c{w?c z$r_O^f_BSeQ5BNL9f9oX$W5q z8IIoEh!raYfEO^58Nq6;sG?E;bTYj=xh6m{&|rG*j^0NFCK`au`q|U-X=!PRNkk+A zV9YK4wcFd<+k#2sISGk87{Y)?Y6})M@|rI2hN;70YS#b~M{PN$f*o zy_r6oBubk=Ot1x#I)k52>qUBcdU0#3kGS9VXoeC1GsWae9`~~pf zY|spMZtiYw>R_UK9D0wUXWlvRC``@G*=RNTTsT5AH^s|08Ym_wK9aF3=>lJ7Uw=Q@ z^yb!lK zaQI|WJNVgiA|lzFi=##oc_#;IWI|)P7>XRg2bu)>G}tu78|lOLwMqO$&e!VrOHMeX!W5>FivkGWNGK2pJhGzi~4q zDRa`SLwC5X0Z6NY?)xO5quG7IuHV?zrvV6)4fs^9Tfi)>>FQde zKg$wX;jh-{Ht`d?;Pmjk_Vg2Bm>(?U%o?fu2eS7O#XmJ$Na+QfV<;jY)ZQWI+^-xh3pFEz|b) zc7hf&eSwCpmZ`qJ!ph1D!zUB)92>y01BE>)u*gH;<&6`-c;VokB#m4fv*3G~^P?MRzan4?_zLD4p!iOt3w*QzXm(i#D!)_pYv6~soA3bI_bG6Me3+A-Emn&8 zPTO7Z)xco_rkLJl6mz6#2V1rj*)1L(P#IP#&dB0?&Gr1=#L5qwBrvZ0yTe`UD{-$7!m~qy1OKT&qp139?BqjnDshky=uzQm_fA!Z`po= za}MV)Ke4e0S@)*KI)ku}{_xwmENE42D|$j6l1ol88aFjxK7A-AwoWjGEy3pTKgebg zc-F@Rb2wv96aq|JopC8d|B7(%hmm)f@Sc$%HZQW0iS0El(SY>=i(^Bemt+*(cDsf~@ep@J@%T{AC`#uz!vFm1QQ`RiZ}UG_ z;f#vLVG`H_Cxy#VaBu?;ol{!t_R&#!?6>wo=# dRNyuMt>4zEtE?~$d|@Jjf{dzkg``>V{{yQE6Z-%F literal 0 HcmV?d00001 diff --git a/casper4/papers/discouragement.pdf b/casper4/papers/discouragement.pdf index 6cb332f6c705543addde9ee74ea4dcf3ea35ee5f..94aa3832c0ac15782d2a354f207763561bd0a294 100644 GIT binary patch delta 33926 zcmZs>by$>N)HX^>2uKYL(m6EJAT8ZBNJtJTAV@QaAi@yR-O|!2-Q6J#(jXw+^*#7| z-*dj}T<1S7_TFo)eXrQ-Ue9#R;UvYr@UKS1;UnSaddc<7pE+u)|^{;BmDdQR!1(dP|;yH1aL>#&wb?wP$)SD39z#o!fv`_E?H>7oecUT-7D zZ8R9J&oE6B#obFi>bJdg-S8|pR{FE`-3P>r8?=yD*vRAp11Fot3{J@_w7TSJTX7+= zcjXE{6iRCG7{b0*dG{5wgB7d1{VkD4bGvJM<=;-+21^xg9RL328yBQPZK^)g?;*}z zA*P`>ehSMIl%loSc|>35JMq|$MDks;rlK%D5jy)!u{?b1Id&b=S3jdOfm;Um{&r%o z;<7%H6I@)a<3bc+++i)+;V$ad`>?p`OfY(D{Xn(ow1LNp?u+ZvVY7pw%c!!_vFD~i zU%D{(pju8geH#;hCS42pEsZPZb3}XZZnThio%p*(a;C!zLlj!2lcG0r5-P6f zs;b)@VZn6ecwfyvf%-_tKfS~B-G-nc*S)!ZJv~s(!7F={6laqQPgBw1$h&5Q3L)%O zvcG^0e=n+htyaX-KJa4iuSukP>k7+D{)IxL(gD8WfwYpnDSumm-bNF@;g8<>fivGd zjSe^hy<`sR$S!LdGY%iTFY%gtLQD4yOeN$>egyZ0$Hu)jXqhbJu$2>bNJ><3aQujQ zr#_;e$;GJEr~GcDo%#{~($OcXe}ZQ)=RockY`0s9{iSwaL*)qZkH*}w?+jGF-T0W2 zpJpjz4U*gE6`8s?v7fn1%@y-FpP?%Kwwa_}73<}?!JaE_dc$jYPc%oo65agDKW}(M z_tkLaT5;v*BxJX&&riGs7tJdC;Kao$w`{vPz=mmqHj$+tn)gsY*R=`;7TsY?{9F25&?L%LihkaPFX$(* zHDi=#A?;;w!=5||+;WPXPwZ7!MH@tvp=sR=W|D*yW-@ax$KCI*Q9m#m(R;gpA9Pl} z>rlc$(jWXC_i1#$X<0~xOV;vihCuL*-_VaPA0tE?rFCwc_32Q_?BF*s-p$0aQ}*Uu zcDH|ny28;{ceF0@iiWgG-bWY9k6c!wz%~%a$+Yu!xwHC|_^rJShVl_UhRh&VuTtQL z5zzK5WFRrXS#^f!tFB38A)kcWu{$Q_Wi$}~GzPzMw{>V{B-aU`ZH-q}8DD?rl|v9~ zM04kbVHqBO%J>#hxZzwQ`pgDBt^*q(g1`>R-+-a)k~8j&554AR1;R~%@pk?<{90aPT(hV@=G4b-*Mz%0DpA3K6pXD!c5bc;D5YY~#xOCev>IG@U@t zsHw3z+0E^<_AhoVNg>4cgEt&RsW0>_HhkY5kVz_2N+Tp{TumNI^4ouj8}XeA6ef!* zL_v~Df@7qH5Rh%Y=F*>C><+Pa^I<_nT?T*ud91{~;$rCrDS9tdX-6Y`wK58O_nLoF zXP7|+wbc8Y+1GZlFXVxjZ@<0V*G|Sp?nnKk z?TH~u&imD`2LF9+@V$hqWZX?C*m4%pvaa-3s>m0Xrh1Y;AGnGTk+ufOM+LY0V)C=x zZ!f~v?@1!E+&qvsrC6_bhz+`2VP8WA>|P!qk!<5$D^?`*cIIZn4i@6QAqDW#{X37) zt*iEAYN9@)VbXSKi>^0nIoN~x#qIu`U0CwL>T`YPJ2i`2A?k=2>FP92L%$7~XY#u- z-ol%dm|h%{-F-MJP+jE5LoE#7_B@OBcMjC!&yt92s{B=TNMd~?lS+OO0NY%1MCWSL z?~CmFfMl9dSh&oNA)ju(Z*igQO@am&N)kIWST>RP`rgz@pj&tilL zAEHfhOF0($w&VCsZrl>M;Ke>BoqQw_eE5Ns^lQ-DhU)v*d<>f{H%`_`&6pP-a}*Zj zF`Eqcr6m$W$BQYyqd^Ql|AIZo?cb{&$&KdwHp1)>6Zw+$FU1hHz~CyOvi(UXvcSr# zMP!NsIH7hV?w#kf1<$Ji6#2Dn&l8p^&3z=WQhouE_T`7UJC;eSNp~qrNCMuV)#Goi zs9c}I#pTrC)#S5zpOT*E0gBWG8lp6)d1+#Vq|)1$(Z-us1BRn&YJ)HqB1~jrYx+vo zRi)ANPqWYHjXL|6%`IQweJbIOZjGeoU(|lUzW*#-^2hSlUlFZd$lQgQ+kdwo`-E)G zOf@uQGW_O~uP{0d?*(H~nWn%SRH{PM&^(PAq>G>25-0f1aetd4L_+;7jHB`HDz9_@4BntWG6CmE%YKO`GHM50%-) zYk7&26*l4Cfvs!maM^*NDyrQVb(2ndwd`wFjhP_476P6w$eOGpEZN-w?Ux(3uVHDp z^-+-LkKw>L?&cvq1y)PMi{!u|jFlsrbYX=kMN1OD3g&M(NVQ)p9;|6_O6T^qMyFFX zHHTSLro}$uiKpEmM^cqofZPseSt5^|2hJzA<~T)yCFuOnPih0o;%>9XS7*4_R%dY>BMjV?Qa z8+2$>dWw19t!-lc!u0%6c0>3^r_kv3kD5X4?&K=={D=T+9<1gxL6`Zy1ea2T#HUll zA-Zmi)h)JdUNi;ewanTK%%$m&9&?@@oJHng@A@Bs2A`*>88Hq3A)x z!Z81pNkzEbVDTVx(yRS%n4aFS)Tox%>EkSff-5i8U@5{%Vk@ZeuF1CX7t)9~`U;$l z5e|PI5s~iw3Rp2M9W6e%x>&w*c>3$9P37nP|LIrxxCH;}R}UacG3&K>Eu&@Xj;SY@ z@XJmG9A_cJ8lms3aX;t8o#<`9RLG2coA^7@>MnqwNsp~?Ci=@cPU+bv4?eQ+2eKvX za?~JdLoUY<3p1KDn&gviTlaGh*=nny8>-LQ@1qr8s zD0esgFWd$64q*~pRiF#p~<(uq^l* zECt=D%_v%4*S_7pZLpDEYQTBap$yiRt%$HN)6#ldWv>&PQTnt0hQ%yPY*C8sg}K4c zFB6kBmUAM|b-uxMij2;-495plHa;1aXOGcuNQF!`r_W)UZ&FI&wM}qK31kpeGMNw} zez6yM(R{<+XRL0`x%;}+*1o9X{8{kFR#eup>Y^+M;==7!Tp2p=@vi0IHy<({eZtr0 z9Z@&}BNEC>H2RPjw7e!X{H|J2tprs+X?g^^G5&bjcgzwip0MD+%-_wyS*)J!n3O*= zs-u0r`qvL8x*)CPbF!~1xYClr*nQq$uXmo+e;B${(a3Gkva-!~_aNl+_=f15f;7e9 zWSWY26b3@;T6K%$^{|;a5o&qxRai zZC~*} zje=$*w4o$S(q*ig_|l4B)RBpLjU_Y{wf3xHNwOMANjXGiaYJ=aay$y&9KUZO-`sAsOCb>Af_a{TZ$H6$z2sClCvcBX+H zr9@bb>E$BB&^+EH6W3lrqEiM6SQWbMA8+!F1s3(DcWmk<>qo@oR4t?)13}p~N^cA< z5yfBln90ug2`{y5UVItZ#X`{LdQLe`!DTi_We zuH`MJLQUd6jhiEL(EA$()wB6FPb`YJy7uAnG!pJ>>RD{P^s`g7R-B;9zDE8 zl%^EpV1F)ZaHf-@zL$d%>S&?0ahomGJ4Wuw!KMAdd~~E&a-ZZ`U>OC5Uk|2}^+DAz1GPMs-##i&U=_CEJNDWy9v4+fU9t))mK$tA8#mjZ_4IhfxQr&{b)8T_ z#jp17j_XNVE1?DM&DMIg{Z-Wa5$||QV6(Fesa{bX4OxxX!-cziB5anZQhy^gwY9S< zVJQ7qv*x69%v5ps55C%{-rm#=aoiUy0xNkQ`YsqRI;Ie3HA{@`TO-+8Em})Fz^4vY zN$)Qo?OHaUpMqPnuhD+3dZ1cUb2)CnhXi=z1znZDBiyfz>UZe3q9`*5T>s?{h7A%# zG;Q(H$#Y{3uGN`&@-0PUpfM%(uv5w)l;vGmMa-wnXnTt*9bD__c=O6145QX;M?n9y z$^MopC;rncCA*1*euf-yM%v^YYH*fQHiw{95BMqN>sqgJ^_0sDwkxj4D& zW|jJL9^PJQ^U7?sXLaO#(~q0;rRvqIFslLkB$I|ZG>iQ{+7a~ICTLb)+2(yWTeRmh zv)QbcSGM3q9C>uNnpIeFnc%WbY9C|$F|^NIm_vMxX^Uk-K?*Bie<`dr07myiWx^t0 za+|Q#p0`~`FNgW>+P?4pmBWM$(;Z2pR+6#`!cZjDs!22fOBv^=VzDwlg=)A90!#$4 zOOi1p7oEi{(lb4V?J$xki1uSC;i$Mrf7 zNzdWelZDkj2mwKr5PsR^8(U`|kE%hMzP7HTcf^nr%0TIJnx-FLIo~%_b9_D;4aHD> zcF5sGFV49-ai(lK$J?Gu#lTk4-rD!+@p0OcNHGODkKI6*&m*QNYVt@Bm3$9#a^X$E zQoMQyyHxn5!G3CQzX0s&1`X@dlB8JV74B+Q@0r7!v?c|sfH!;TsAao46<^Bz#@N2s z2kmJtM&DRd=@Xc+YxodM$M5Bc2vn)6X`+I;HD!Ogv#NxT*S3bm z1$4WbCm!yHH~7sKmilA_YgZYqCZ`(5zFoX6pcyK-9{C)eVC6Ot{5x7*%)^Lbw(#vL zp42|kov2+0oq#{*v-hTjB;)hX@6lvdIP3RU#Q&#H!~VY-H9mouLt1+>EtPj4>|XNo z0bQHs|2tsh<>GmjFwTI;WW1mDOkd0THh967vgTpBp{2+qO~a98= zv@vp;>iz;TA?i6IDa^FoB9Az$T#)kFa|DFfEG}6V^;Ql{5;@mT(Go(wh2Ppq#B5B9x&wGI;j!GB`H zK*1)8yW+EH&n-s~G0v^wnAw$L>RaHjTtT-{D;8w&+Hf@p7E^`=@tGrMA_mUj*&erB zO2XG$Ihx7^!<&+^tcGwpuK|6g_K+dvd_*@C-Y?IHjK!g;ncaeRsV0D|o;=x}Lupj7 zus+CGaLYfl`?rl?EAam?b@=v2Ovu|;c}E?jEde0k7TOT>d=fxOh0XCfmL&YM1cQd| z>L$$hktvb;oJN%!IAlIaYp%@J9yaPoWGv`fk=flBF4+B_u#|0di0F~~Y7hY@2IM(c zI|~|MRUo8k_a)R>ak~R+oBo^Lakpv&BEZ545Xr=MTl^Y`QC6m1;{g z{agj0+%{X?m$+bpPGY1=2s0M64bJTT<|#P%pCYDL7?8JOg-0E`qst#Buae({5n%s2 zvU90Cwib!4kgBC`!%dt$6}C$yIR11-1&+_1^onR`=d}Llgys|lEO*cr@?@Sp#NtO9 zE%bQjrUQ#9mALxK7Dbg0I6*hHR>K7bU`Ccv~vs{A8Yjw5eij083^$HwXxf={a3m`S|1bpg| zoY|d-EV%Ta31ORC0U)*aY)wv!7?N?!dARLI;diUE@o222S+k zbr-ylgx}j~dD*URnp}W}5`8GGDgMXe!Wh#YZ&e@$O=zIpckln50Af%Kh7MVTwPYT3 z^p^&J?!A78J((p17H{EzjyE~126dBeENOC?|FTPU{ZGe`E1A9?mpSzH>gMMjEJ&Eh zml&M?+^Ns=b}aj#r30&19~0suM#@A9=*FooFmKWwj<@Bub%~V1YHXm0wbeLl>du9K z1fm@Qfr!Mm8b-3uBm@8aAU&59lyG@KixO6NdGrDO$#Mn_QgcHrD_3`LlhZ790Eq6_ zdeeUvI+_4ccbE}Gtm=YSy|Y5S{iF>@o)J_@c#H_Ku^>}YQ}SkV1$PLo^PeZ+Qb3cM z1tu!(VdL+D5^yP4P{NL_|675jfJm{>Fd$8?-;X-R8&SY5NkLk;z@^Y@JY0%1yWaR80I3ZCfsNgT`T~BohFdJGUH@5a= z7XZhb9eUhdCxibMu;58r`XwqD=Y7vYUXgsXw73a|)zDEpjQ{D>Y&G*p7PSPy(A7lF z(MdZmDp>BY{eM>a^o1nH))cUX>3cFj)g;g_cEAY$?eX1$%;;pY z!>gwUWI^~?!4IcEh={?U+Q!i_Gc^($dT*bs1Czyp4n?pace~^&dI~>*;HkpMeS{YS z)@91BkDGb1o|l0WxmjfFHc@0YTUO(5dOvZJ8m)4F48XS5^aaXZXU-nK+t#RQh1<0RFI6l%V< zPT-4DIgD{x11%{;X;fY`wO%6Nx?|bg&?xT4$QNA3Vn)?Olj+~A&D+BYah;-`?1nyv zh{9@t;F|B3HNG5XmxLoq99`l4TiSt~d9p*tt63C61qYpek)POdByzWdW-y+xKr55Y z>!2pbv^w*JY)sSr!hoC|D6hG`Wd)9c$!bBQ#Y`9wQAdppw-3>~vfe=2i#Qkl6MF<{ zvIj$*9Us?zP`RHSXotZ}qM6C`u%4uTDe0bdT9*85Q=x{fsKR>k2OqC_pDvNxmAe%5 zAc0X9D{RSi6kfFOPE;U% z#ph-*1v_0{dznjU_$*4P^SqDhGkSb>he zt|2*wjF~;o#~Lgi+ji~x)RPyI(*0T;_~$D1n!dy_W3F}Igf+cr)7#oAxewwn=o4s9 zC+qjzCE@!D$5BTZ{NJs7c(I6qG6W>D6@_n|#3B%(eLI0)f;15RI}fgW>K zxtFlQ%+41INgAW+3G{$_1M2d-Us6AHC!5kMO;|!98>dg}m%mv7$e`m#)qNzBid^ee zhKCTH{na`x?pj6-b`BsN0XWs*|C*HgJEP(?E$$2aA(C1`Vjv&?2~7ctZvMw{DF+3; z<%_@X<&ymBnnQZbq#$@)M)A23Q`?rm;ExVpBoEDOP-hFQXy~X(QrXpOCrw^Pq18YCQ zoWzw9z{WhAuo_++LpuC}H=uno$3EwuGAIRk{v`wm98CO_%YZ zL~O4d=3S51x(f>n4>ePC2Vgr?A|j1w*ko^TgLET`Kzie&bZD8~Jl|zQ0wW(8`PWz0 ztBpKynv-Izdv?U?XBCa$6HEpM2I=YP_qUfBuN;!a?J5E(#=k4XG`b(!-WN#00kqJ- zJWbS?$n6!uy$%j3+$qLt1LQZ1e+5ege8;k5%gf6f-1f-EaO~i?F!8I`+088t^Gga) zyw`BA_99>|HnLNiMoO}Ym#_7^uP*1SKrV{+TbG-h?nsFT{fmkA_AH~uk3_86(An~= z+}vCrg$vza97>|?3w31%RaVq~S2S2%KYsj(b=1(g{}EPGb3S7N z8~#(Kl^^l*r>DI=JFGv~XR|8p;o(6#7^lRj@l|oY@9jmtT88fVyEzVihxyn8{9Ete zZHU*yEK@9z6E|4#u_oDD>&5ei*VDMv;zPg8_A1Hr#U|>2D_L1vGqrXnCMJ^c+jez# zukxUcWpjK*&wC;+#vGqK13yHc%Hdt!q(+ym7qJ z2h&A_g>CU+Q7k2`>foZAtD+0t+6FjWDMv1RVZ)O8tGo=e=101ZgexmeMiznnAom=w||bH z6j96o?q~2&5@2hpwvpS}kxC`z#r)6e(=*tv)|{b+h6cagFYV1T;1XW~0|{>w8eMm3 zsU5hLJ|4{L5P(_#FB647WOOuC*6Dlv{ri{W?((b5&^{Fvi68ZAxG+69>C$-W?_w9G zh5Wa}$K{WwkD(Kf-8FiUaay>_tbkKE89xq{D6^4fu`U?ZCZ0`C^#-Q9IS?1O^>?Et z@!PkTh9dzvYU0;2Sz*aHa~~@7e-v2-g>x8G2I}zp-kjygM}7$oF24D`pHs2)ZH1v$ z=Ko_FTVZ+We#ziZuwNyH5}qeAH?Z!#t*t!Ql5{ce%0Ag<5E0L(%3HHa9@{^9Io&6lgWDSg z6tpZ{T;-4&Tg8<>6S?r_=H@#Nn?xBM2y8f+KPNleVsL3`X_`rc$Po*)Xs8lh5N6&R z0XAxgbtv__zoCsnC+6}8DSZmoLjiguRm60Lnz-uTyNhhDK{;GM*aBW`G)TaHwyniu zF2-)A)NOzEcxyO?Jx@tR#gg+GHW@v5{m-9)mUvF1hVPy+c`WAa{Cwq-sR-Qy19r+HbIHokkp2E_1-p~^;QPh;@gg0z za}`GmYLn^Z0hq44i;L#`h8(6AjiKcR@C8V>q+=Q@vs-h$jvAGh<0cEGE_$se<-6kW z&Ps-W4r*>z_qT7~I9u;DZ&H1QF8@pyE5@d$eo zxQ?lp$>yH-_ViRzBTx8&_679~4cVX?)4h5%btlD!5J+WC(U_z(S`5nq)WU+k)EEIA zPxi@pD*p?>bQy#qoz`TR!!>Ms^zxd#>9{}(NDdWN!(;{?I0)7Hw)V+j=y86;-52wI zJQyq#*O!jpe9S|f9>*WlZs@quVwA6%Ch&gww>ko}A~poR5w4MIRlQ(Rxez*+Apo^K zQdX8k1tZOAl<1YE!{JyssQ#eyfOSv+D40Jlwkvu`_q%L5sWh=UCeT>{OA!ETz7I0( z@f}q3`S5P=WQe2!Gy`-jK(X(Q(}D$nZfEk2GVzxa6Q#BWRU~V$5*VHqZ-Qi`c)iiB z-fEmUtX>gnYn=>zWhwAS3k(icOL=uLsV1>h_ntZe4PneIpDcY9`gLKW`WSZbL)Enm^DP#0w4%qw+pX!08!QNEn%tkiNj0(gKP|8BDs* zF{b3<4)fJf$>UvJD9=z3d?&Myo!9Gg>kpYUdBvB`f^lj+=61CQwBBWhr@~TJS{pWz z5Q>t-ylb`LL~Ocm>l`U@&=DYr>LdvfI{io!+xc>RcnZ&>OA|&QgG*#g``v8&@hna+(jt|^jSux zRq|um3cjI{6XSBcKBp>@aX~cY{)+mk%+s`RifLuF=K#<(pP5q_tBHr|-Aez~rd;qn z5^9gvzx`C?U*WPjpvlWRlz<5AQVJ9yMg?CKN`6{ySa2LTfZb`SGpvT9DsppkN7+^Y z(TYxj=nryh50DHXCB~iH{TP#al9!1|5(SOEZl-eIz;e?xwT^QPu%T%MZ76a@h?g(?rw96kp{n|@&1 z?24z=bHjoBWrUZowy(?gfEr;2x^TJL7egLSKSu;O@$xbO!YqEk?8Ijoyh?_4lIbo1 zv__@Q;v7)t*OZ}Co}AtaI6-%cFhq$KO3G4f2IDTv=NnPyf92cI5vmIaxI=6p0_|bN zOmRIpUzsNYL{l~xw537Of<(l;ub;N)3yU@<2@vIsu20MbPd(dMU>F4^pjQQg2phO0 z+!Pdmwg~-Ka$M`FEe(mG8Z1HzXI8rDq|M11Q#fZ!2!a2MZrFwmEB(>a;>sy@u=%Ud z;d%1FqZUynr>=|6VekLn7OU;|0ia$#*}0_LpG?5hF$o?$` z>h12JF~e+(yWP)^f}PB4BzoR+D9yJ|u`|5*5J37!Q6ldhN7P}MJ22G8p5#PDEQ%xt zM15vAe(y}$xNGN0@T7w8rDnLl}=xOVY5nNI)eSSN1<&Md%CYjIB*^__zu- z(;l!;Bgc80f zlPq0~0*{Pd6+TWf0|EU6Ke5gE)w@W|zrRt)#Qq1l^hFO5B6GJB@4OX!wVbhTPpdO~m=xZgLUi~C z=;HtAGT?d3wH_deR$ix|x-qF*N*RG++0r2-^AvOFVB7E+&VS@X7(&*DV=b>fCiv5{ za9(rj6_pZ_IWEa~Beg&NH0`%zuTM4?ZIAR3HZhZ}7YCmg&S1fu#!hEH`PJ??GZI)I z6gV#g26JjgVI@CRi5;9?g-5#W{nGiN4?G%Cbn-y4%tXkRJ%}NZhK0RA>YUJFe%uJ!s?UW+jr zg%pt|#^fh17M$x5IfcO4x~H?#WhRevyxm_G?J*2-!11LZw?|L6R#|9;g{N1{%?xPh z>a;HQh4~v1&XLU7&a<_YJC}XM<9x34B4?Dao4Lk}gVDcBjq(u`h2=h7U-7&z_QwTa z*l{)JSdc(aP1};vzxUI`OQR@jc#mE+KN0yX+gDuZ##jD$`=z|Jyo88dd0PL#fbGQh zkg~Ee`&BqG=WO);zWp_4|Jc|Vz&CvFj(dS7^X8y#g@=d7f**Lc-TzD#0!5SB=jfB` z>cjo5K?SbFT{*D#_TnIBnhy3DSaJ@K61^Y#6{=~%TU%Qd6&1<$O4Iqw^|&}VI0y4J z#p+p7onNrQ;M3&7+uK`QO5tjtE#5D=I9SLKPZOZeDbm^4vmUkk^@Eg{n5h+c-xByl z^c_n_CtLA#5l*-FHOqu5=-VN^|JHWYl<5!e}w%Le`GTUHsw!ongcDG5*nNTo%{k1s%@ zX42{>1_rBKpmw_g#`j=Wwc5+(LhPrDhz#Lz7+6^3A|HPwB_%N~Xr8kWUaSJVV7gcj zXgw`7H75YMu%ykj)YR|qxv}i$DjCGZ)9nQvG{PBsCUa*1o@g%5k8YnPC^%3A3nT}Kqsjw z>P}6ixELOy=t{3@-4`;<-cpM8O{+ZAH^8oQT#ANW!Ws`-Vjd%0TwS$`x&hiZFd!o< zTk%3U#-Z?r5c75n_}7Q+k$&LD>D)=q5e6zgJRV6fy|Tz56^$7yc?Ug>wTfq}(ru`*HV{tTCD$aQyno9TW{MMXvDbh;!9q;sGU zRhw(;nX4G5si~>$`)7MJ!%$y8jD$Pj;19q$u#9p|?=LPcR(wvw&xAx^W2n0o!GnXiRMY7uGnmLB_=GGe{j zm>>C}=H{Ir`+xna{oM$-MnzdU7Hkbt2Tb`UV>t@{-c9SEG<^ba*oL1!iEfUOk&%mm zZ9A-}d)BQK`l8;j?UA&Fy7vM$6EYXlQk@639?Sy?oSef}b|*ipU0z^1;z9UcbqQ6Q z`J|Joy%+d`%MhA%q_eTalR;sEofB&)xQd3TMN<`-juQ4K2YIe>slm;>k&KwQx1+7f zdK9>?-f*4pZGhQ8z1toL>ulEKqUjBUeWF$y-1_l=3~LSMxZKp=!B9)SpKCuAfQXFt z_NPk_*y8=cT$TLCMwMY!#kxkz!T8nA;FRR#0V(i#9HBH^xt@cAiR^<3pjXYx{t{xE_5FCsWzh^`>Be=HXf@xq6%apU!rhg6_=Bmjna^AT4d6 z-Z(7OKJgEovLayQ!EZmSJ}+qwR3%`tGPZ~+yA)rv$*vCY8$E!augsABAggUAdpbIh ztSJC~Aushj{5?~mv#HU|%uaN;K|A3|aViD*Y1W4EMcz)c=sM;Z3|DM_sSF%JAv6ID za3aNTcHo>Xvkh*=9EUoHP&~pN5FMl?7qjJcz!)YuQ8L<(p8vEp~f3K)3L^n z$_jd10Tf72efqb^7cd?N+QcZacbwtT%COLC_5E$;vh1nFj&6MVmnyNe;!J4=v=S5GQkQwRbN+ZCRr^413 zNM{MPyD_McnO%^ZuXHscmcgDq{F^vv24LB<|2EHUwp%XK>)7_Nq+!3uEHZo9pS3|w zD5_F1%$hMG%%Mus-NFb84=7c zlT?+|5tXSRG*@`I$D-FG*UBVim^~JXlC(hy%Uy14RbPtLtpVN|NQ=+UgoFe?Ra@Ll zSvp|`UC$U^4yvBuE*7otk4mes7&Q@D37}r&pjI0I|obydo5ts(73e25=+IgZR7fCe?TEh$kNs6=UZ6rBQ+KZpd&C!d5 zsrl^BNNYqG4>NnPHi*UZ6jpYtFUBnQYO; zQjLC{qmk90o^bLiY%%W(_CvDKk-xu67JyzNm(%@V{(Q-OrJs=yZH%_h{5C+8_wRj` zJvA0auJ{I6n}~7ub)CHVa}q4o-O|^X3z@63t`aOZ>kdWThUw`Wo%Zj*wGTvWH4ur36Ld=;{hU#l6+mYF z{agPD2aGiRwGui9OBCgur*5OcW1c-Yo_@0$VuFil((f&<`0dMtYFokj@;xe;*W>6n zDe&F?`dYyac$y(i{c9_^kONz8At8fTRdKOPjqY{tSJH*%M@De;D67$@{2ucsrDB@; zNz2mOX`-+SWbZD_j~waA6ahgD zxqxH&{X1H#hx`4i(Wfcl9V|bu7CPQBKMw)DsiPX$iD?g_+s>{E z1wPTSIV1HerhT=OgC9eYKR<5=f^#hNjPVJ@Os6Cd9|GbrFfq*_g#h~9p+vxp&iia< zd`$)P7%|Pdq@!ab1S2#y21+V0xUz@oYtQD$<6dZ9{0hV%0H#~?CbL6B``a0?9-U|4 z0I9DyITgT1YraBx@x=WWE}kY9FYCYdx+<|(QQdLvTApDcN!0vUB-l^%=}@Zn4FzEm zI+zSUs|;#!+9auEw0XFD^yMU_6K+i(;nq-AI}}~3{{u5EOz%-NeN+T zbn&s@Ml!o6XxP75U5@YqFU`)p0R<8G+j;WnBZ**qq{817c~8RKnKUVo=ADiBhN^*7 zFF>@_6>Hzz^(ExX^}ctVqURU(i3{(ZyA^o!jY*CwAy1Qp=gLKV#VH#}X-X9PrJBX} z{kGc8BZlRgEb_(uGuFc$8uAKJ4`En0)!MK@xUVKIkciJ-%e~gW>nC46y?D!SWTWLg zCU;&qZVdmCK;cr;xJL|1(fnTW8ZH;G?aOn^Ga6=Yc*^klHnd4KihOq({lvCZGiupH z^P7sPC74+0@AebqSJlHR;Z!gejdZdg z&>(H0LiI-%fLQC=0mBAGBn8G?@wHCWriT#RmLkO{yV@}KQ~=a26( zaXU0v-pOvMeyu zTUXO)$p5q)5$pB~m=}f0yme{d;}_l;U{ng({l^hJ zAP^pJod+*lkEaUmml7Bf0Iz*|4dHP}jI!<#=kIf22;p+@wV~_JuI?pl4(@nR7kU8#hX*H9f@?B&aqX8kFP!|Fr+PE9?_=-w+lYC&em$k;a~!YB z1OuL`4^&O)x4nOl>(6mA9=|7&-S=4#OlJ7lx^CDm3~zhb@`1I=U`f(&%b2fBRQHSA{hp+KhhGxT4!}!%=7;}5XM8>IiaswtXyji*Ws-WC@)%JLp zQ-{Vbb{}FxQzF-z?g{OY7|~70@ZK}AC4```9=qiqADj#cHZX`ahvb;4OU%hOrC8jN zV&0}0V>2Di?K=T{Aw1 zmB^7NA5t~MSZya&xVz0i3WQWTnLeM47K+^+Meh7s zLkN`Di`Zdaa7LVzz$nQx!{ifGNa}!38SVyUagPeaI-9f{w~E&6A%bWBo+kn_1z zW-DIhX!xLQ&r16kmkcHNyyD2z`Cd3)@(Q>2N6mYS7DM0S@jQadgF zFBRx&t?C=cH((>47&^Ns6uNfYLxR6Ix=tS`otZrG&(8_d)#I@L-dwDD)jP%w90CcL zudPMVJ#q;n6ik+aZG!{wIn{4kV?QeuGix*l`UC_`L2r|Sr|ZZ{o+{SuP6_-?xD@<% z+QV_zhOLr>Z;V=m^n+6GD@_O{4z4=ANI)ac13NVg^?sNF^U8U*T3G7vVc?Kg$#x9A zmJ;>(>c7wWHj&JG;h$7%b?{|+PN#M8>QMT_XC#A~jQ!}h*=wkd8S#o4myF0?X~_tg#N z6TiJ-7rUw=gdqn*nBj=Nt(9~Fv(BmxjHhn5@Yyd#=8IdW^o+#EV}HpF?@A!_gwAl#G9d6)~6A){9(h= zq{VBNny@(r-=5`M($T;06tRE+e+M?lTUnJuCx7)BAgu(U?2Z*OYxlxEe@;%5MBcWf zd%p1tbg*&9xK7AObR;j2&6nd8d;V3StCgl2T@hL1l~MWHB>%vmv&DzXIi)$M3}S4K z^PwNNW$;O@*l|9JCDrO)tMME90b>MSlu7TOfhm##Y z1DH-_(0)nB*RM)$^_MQY@9LIYGqf|vN(7c23cM1s) zuB7_hL5jOeRj3xkPc-UfCC$rE!e2asILwDX8q|G2xP^#DcgmKVwJ7%&8=~{Z-TVq$ zmJ*V%=%l?bX_Kbd<|lqGpIK)Bf>ciK5|XBN>zyKoz;>t0r92_ip+PG{%m5)L|HoCl z_eOYiZx@pD6Ruq!JXCZ@NXS@oyIk@FE>Z;C&rzx^?)J4$mO@1Bj>c_=>U{?M(gZvF zxhDcjC!%|unYM$jFUfQls}D~zZ0R+l-u@d%&ArGzomHZ@(3X!{uT0SZ^WoNG}M+B`8iTidonxo24SnVVr9Uw{R|(~XxaDk0q}fyLm6GikQL3|3OT zm=AJZ&#RO6eS;3J1deXql~l>QFDhYNM*Z!6fWD1mC%$8~5{=1=8ls#!z;AtKS^AUzce=VcqpRCrfusl1LS}kP|J* z-Q{bslbOJf_8QVA-ZB^hz*@v!xmI(*v9HgQj{CyA(YbAK+fWtM)B4~dVIf;}gx9`; zyu91ED>_Y-Jbjr~z&e*T*kXKfqsQmb$#c0+2P~WGqtR6vz4m0lJavE}xTCltBGcO( z_RFgKyo<_@@Ia$%D{{i%_z;KSI~%3^mN)s_mX_f`X_a!hn9Q1LbiOAw>lF@v1%7?L zfL*f6wz0zB@;IL9-A28~+DpQp&(HRas+fHwXUENc5d}J%UP@}z@#^iedtko!!Hz;W zK+U^+QeU<;`aq$fGk3K6JjcMRO*&h}P2?A8oLxiGE}ZYHM!S{@H;0n1sK%In#&yTt zoxXu)Bwn)PM%2h1bTNM6z0ev%qaUuqfA42!eooK_S8WOd?#My8rfcSZq?UDKU$cwYTD-aO=kTQEJ#%=TvH*La za|W8^)2ZFBt+Voto^aymOeHk;t9H4OoT*ivluI#6e;TTdkS|Cfo8A*F;+8tCDRGf=3Mpn|{!l&^OJge_@9aPK|m zgY>+WC1Wx_>bF;GBwv)a91crh85y1=bD>{Th}q`swm$k=tiP6S`;|Q&_R;$poj<+S zRUE|+Q>ZXHZ6JANh(NNnnCjj^+^uR+q2GeX{2R0}h@0n_=`=Z8o>52Vi6iTHvU|K& z2rsf^qm~PQKAmlxo^dM!8sNzDAUt@{Je5-lt$H$@qSra@Xfjw;!jqIBk?rj+F-U68 zpJF}aYfF#$Ch&QLC+?K62JXPXP~2FWzCW1L!hvu(F4riqsjPXa{NE;-T^%p8~& zD;r{3EYTvRa+wkP;|gDCz4DaMAjH#=C())Hs03`ZxcqKBx;TMianUo+o1iYz^!BZX zMd&o_((_JoHvAG0`*Gn{2v2jpc=ug)>K6qzqhMcJ6@_4_h_VyjzD!}{txfN%#Xmju zJd{R=ZWgBq@VJ8~-|k&T@nRK@a;E)^Yp68oC+$2ml4z87WOhL0jNpZt>(7@Ve|R76 zIb#)>Dy`0=cL)FhqSp;YzWLIrd+YO5t0B$EEKapZIGn(4yIQ4>AcL{Kqy8GJ|G-{S^gahojR zx8kq9#iFko!7g3!sow3lI&Q~L$P-@yOG{5hX^~QP`|(EM_$>F|4>1+bBjzvoN;nx5 z>xc&YZ7N*JPnyqq-x^Xv-SsNqfnT>mQhKoE`S7Yq`KC!;hv@yMl>&TVWeNMp0ow-)$o&+c*4U z81TeCA}Kq6icqFH=Vm?&OCJ6GG}}zac^w_Hua-?K`Iyn75;lohh7cjmJU06NpPwIl zpRjxDYE=yvgz!Ozz07@G)zQwqN4A($ZHJypqX~Y7$yB4d;>F+XkY^z2{qBV zEKUtdZ;pd7p=;g_aR2f(Y5bn&qAFV^O^_$&Vc{|9H}S)vphm1t^6;3TvUl7kt2=;! z{A4r%o9^`1`7$DNaI~Dq<>bD4wtr9a{K_KNt)1UW(e(;8=(ebgqx;a$A6|Q2GeiaR}@TnZ@V|2u7+Ka zv>kjq_a1;U{9o{e<5`ZN#JLbt;C`1x1mRO?ju){lp+Gp5Ux1LT+xrECJ^`9H>MAz-&r(RhS| zojr_Gi;VD>|i|1)kI=k>uw+_cCI7FNpKRL%&a~t%iw&o=+94M+UG@)Zbt3IUVaPM@=E) z^X|@7W?ynWEVwy4$F_EV&CY_Hf!*?X_xH-uuPPv!M@lN{!>MDRfKGifo*k65u&J(I zZG0#Z+uYoI*(ga08O!hs3WBS7`vnt-lDxfj>}4MtN|Pq9H;NQ`$!s6mok02SZQPK~ z3_`3R(7rhCBWzfxcwJyuH|d-^+{41lmUM0lE*fGSqzIoqEH!gPxhyfv^9qJ*kUPWW zb^qLy0}>wa6SV4ODVL?7pqf<3)|DDl3B0UWSa-hT7{=PKHLFbC6`S7!mwSKdpg=Ixe=_{_--j-jQ?xJ6l_NAK&evL~wan-h2an1@`O2{d<&8eDeL9eTRn2@jbPf zh%D}j91K@4ldr@{Q`(PsfRkzZiwITh5_&c*m%i<^PX&FsMa*;W=ewN=U%88KnNjvYy_l$cp^eG`~VRlRls9-_dfdJ83bc zSzrHnapFsS&rC$txph{oO5qNvxqb`ov`p5;z(mKtDS>&<{)zdGm5yChxo}Jjkfkrg z#9_5KJzW#om?X{yEQhew@UUcz(;MWb9f_uazSYdx&`5GQJ%q zqguh|U#r|!=u)9L?AB38I`$w{2MYd|TRdXA9YBl8;Z}x_e~xKNN=j@UI}-~FCSTE6mD2P{apy?@@jADmqX-Qh>E57;=Y?)r*M3sRiEgjA!90#{|^S^M(>FCq=39| z95MeS!4q<+3nQLAWh5!tm!R)UGD`vSs~VHgxO$hPUOn)d0rN%6e@v~x2&9;W^jH#{n1i$z2#)y)?flC zEI$LQ-PCMe#ow>oA8W(P%!~>yj98SNF&Sijtr15j{;CvevFpNL5)3P~KO=cQ5~#L- z^WRRMxH^72->nTqMXq?fZjvtF)~U+*`V?WJe99u){q~gTp{_)&bRmh&DoikRLD-yc z9`UVf03%6)=LyCi!UUS?!&Gas)L|L%au#HhZne{*E7O}p>DSV zZutA+edpH=DUmG{IV8QlG&MBDetrVKDVeY%?~>CxN%_dJ+!LfoDW_cO0HA4Iv_4$2 zQ%Qd}{6O!iAOA4`GgIudw1r|Q6jUx}3XhxXuyk*K_7Y%`KEsnvOn?lbd12mrSh#tp z%TZlRDq;u2*oh1fU6Dlgqu>3#Z=&CxV zt%tI^I$-oLz$cLV^7zApk1ldd-Ttv8Qh`WyTYl-q?mEi3PthO}p`a5ZB2$)_1Ml!E0WAo2yk z!V$XB-EDYHP~u{JAWYl8^L+dLCXcr=1Yc)6y9InlL2wDgMg26{uKm9zdH0In9pR~F z1c}uT17}u$fl$=ir@hY3PE#i=bi=yfO?P~ZwB;U>u6IY%SJ2TQGLs!Z-qIQTB;@Id zmIby)HE#tKrQ}B)fvdNA!2WUt#?C?Vkx82suWzIha@&fX?uFFD5C`XRh1cV%n1-1v zN)JN9umpoZreL&`!j{Oy{PBjem+X-+*tkutBO{_GJlc`RD zf6qqXe1NJf!^=!<=9P>}Odj?}_YQHu=ECw9A+t?ZG$n=GHc9gcP6v-7etibc&R#c~ z^mqTix0nv*Y0brC9g8D9;Gx`2+y0OQ%?0cuj@{lzRR1XPwpaNP0o*9_9N9=S)*5I= zdZ^*uo5hQH;F98^;RA{74x@Ga<90?BN-RUkRzyTLv79F=B}1g|#!oZj*X}{>;?1*s zA`+9K#Ljb}urdZrDE_IYrS-8-T)9Ly#p)HaFcpiV5&7qyO2g$q!A8E7m&6q2wo44;=7TW>312BR+Vgzv8+7E1g51+kS8UqN4z}68cZ)MENy4 zH+Obri_plGQ;Wk$Phv~vNFV0@(5_UVIrL+OEIpB2b2cf|G-O0!)7=(unDv4+VK%*K zXCI|Ry-*Qx{096~5|&h$*1eI}-1RYa3>n>>w{$Xl-oqj|m}FSm;o|H&PJ91h(m7=HE-Su2IB6;jqY%>;j;6}50j-8`gOw=;r4sWqX>b3`v-T>L;F(+9eA5-A(aZDj zQd-D3*zN}ym9l{(7K09`LQJ@fd82V}^x>eo<|9dVFN;xv8YAAPiQ?17dUX7uiU|tx zs|Kcz2tOKsuEiVQ7~7qtuJV;2*=BSLq-x zS>ZT#XWc*=z-!_J5;nd9?w#9pb_Hws;%vPZ$(j4+U-oXoRv@vjf8yj_{PKX8XUn?V z2$jAB6g|Rg<_b{oxW2|f(S2pU>5lo~a3{42Ip855908RVsm%`qLKMgwGT{(OP3yp- zAjvN8eW{ln=aod{?M|biQl~o$SP*BJ;n_E@G|?)#Y!lZid1gvPUJtipz{~WK-+T&I z*oaGv=tQQ2AtCwCiRSm>Q~@@|48XBy*)(Ccft7|W$Fx6H5SW2g1RX`PzR`8ho7bFh zdpWFT<(~fo+;a^LgSz90^BTX<_F^!O54z`!h z6eA=fqWV_j8Stp`=>-+ zFj>B|4!*|5QFQ&SU{QJaAtB}Xad&!PqaKcdN8754UGTeZ^Fc-HLm z|7>PoN5OIAfjxhMMR3SR716~7qGeoqfjy}W$82sladtbng`5`IAc)tBsrlm2H+@{D zuVD?3q$}lr%`QlQVtTQd`pcL1y5(djpPZ{b+1xg+ znnRFQ@_PKY;H)h;HpW1@G)RZHMXxuQOfq~Qy`~;I5b>eMAX?V~>SXHf6yA>6q&X5f zu;RdNdEq(|g|!)ZbR~%$<=8g@qDkyf09^j^wz(#gdnQnTVPN07$hS_Fd59mc4A(i3 z@4Zdc#Efcl{~b<%CT=NqyM;`Ljhi^n73tmiQt8EO+bU8W;x+9a#mA3RZ}pGH2>;Ky zxBrv{)z@qG4D0BmE)t%0^UY&%4!ql;DRVcFW~?zraoe3xWUUuSSlEqkX|x8IY8nha zN2~AYhWEDUG>0Efhd!!<)oTi2T(sdP03FYV)x!s`+G7b&d=j`{Nv z)Chm(o@UXC{?XNdY`Ko--0<4+U~q#9E+3yE2oNe!sDWM;3D_^*o58m_)0ySBq*Q-( zCd=I<&YnDWUz>fPN4EfatPzp%^tQDdnq2=5hEE!fnFSYjEDICFW5hG&NAV}TT-yqR zNXo8iPeNyyYk-7Z^vUNHlfycp_TzLr2kX)Ci--tL_j^guH~@-4{xmRwmfVxyWL}Gd z=B0MH^)0528_&mxk@XBf-I?3yw3FT=8=Jvd!|X*+z%w(UBOo2waF&YNTO)-tL+kaK zPfF3VR;OV#*g{c3Df`ApxPFlzyLma&(y(xR6j ztf1h;hKlV;u;#YYLB}S{akb+)@9#UjzIf9F_q;u?f*DVbClwmBwrsSQCmyN0RXA>E zrtQON?+*qC0ys^%C+o_9RwLIkfQ1z~Rj`JFj&2es6NSWG3k`KCXg-!jE=rN7>%IDN zGp-E|QFH=#2EX8{O+c{;Fu&%wInd7ktI~q?pXd#gsA#gL9lWOD?dW;#2Vv#x@FBNI zO{@0l?KNGy9PyP95{U@!hogE`M?(dTF!GmUFW{s#A0ozPXZdkHaEg~oi4TlmyK= z03w^t_V!~0bVc*Tvg+)>n@?jBG?}_CZf;M6)uTvbLjx;hs&9BWJRqj5tSsHPpx33-U%d!ZW85!&?^Slov zWYbED1>*xql~8|xVF=)@*IOef^13;Wi12uFJvuy8c`C1bd+?{xsVV`4iVc1x+)FQu zg~DT8?~aRHgD`PD{EX&qT^g?ku@@E|fHxf9(A+%8U?@O=aPVFe8wPl~ng#vrCI3XE zG!}iSmmKHt$FNn9z_@P;gj`2|fqHXb0#vP3&Z5W>%XG-`{RT&PO(Z)(tum5|QC;RzRVMvb3&X ze#DKI1&r8WGVbYPz~b{{1(!0Wf6dV0Vj7Y5hyZSFPuZ%CP=Lf_h}ZDUyj{JI^C%B1 z3s2A&Uy0D@=;+tkVwkLCeR8nq1O(;#KzM2KY5DMDaoZ2K@hsthsynQC?W*!}VoOC@ zOqv#L`;cFj(XU%*?alNb07FAV+66Wi7UkOS+vD}6rF6>gw121key-Z7N~e5{9G&$0 zBZJ=K<)p%VJ@H~ed;81n*+!^hdr_)NT=QE5gc6lP)M8C7YY;IY@VOlS#}nf3?|(2| zOyTiRoQj7=&Qs_0UzW+DVaqfXMg7v5>~7F*R7LOx2*=?t!|^2NIAM7}`~$ia=HXUq zt!CX;e0nj3L$UM4jZ5eS($69?=2#ATB3*ei? zr-0EW6LJ++VU4QO+pG#j1?6hZS|%XrtZ+>e{j|>KdiaT@twb*M($m22C`M-vEmt5e zQw$4K$X>hY)AJq9Jlw>*+-$_-zXwz!8g&genp+9jhRXHSyu(;iTOhPyj<~TtF!J zI>&CMt%@=6Xz_5qS~EozR2~Ij!`sSVAbzkR1lpmrVspjq z{srFkP1k{v>)h40mtnpl#+luJ3C4U+i4h7FVNC~OsSY_<9^M$R%gV?Yue>|lnkrO& z|2)aX#bx;u4`>3b!h?|S#kQQKzT~yzSccF(&A*UxYYmN0G{8m=;t3-*t z+Rxgf+Uh{}}*@K^; z5xIhsk>E}ShFaw8r;kib{E(81 zse3h~d>G^gvML&c9chd#MdhUI?5>ZuXW*(fdnpA8g6g`u8J$qDV1a2HmcZTl*1SON z<4CciU*IBjwbm5x-xc{cWyaf3^G8f-1Zdzze1CH|A9E*ZiK;qHon)mbcl_0HaoT#W z!tW{R$8o77snIBh?H|gOxdzB|5lE6&C4i<<2vW(m6b9QgCa>qhH1Pv;|MP2dB>SuP<{}NmWBjZz1R_ml)ui zU8FXy6T0v85nLeF*#G4;n9%jA z(s5}?%?Z-Q0zihufWg#G?kA(+M2^&X!0^zJ@AIAc#$*<__ac1f-&|+%X?9xNiw9LZ zwc^$|m%vV9T(2FEfG0*m*c9a#Ob2c##y50i2ErBkI~u{HLW5UY2%&P7tsC{5QNehR`WTCxiQzS$e#NDK}H(b!=8DEJ<+dE#_n z6JImzJm~l|TdZgZx_-d%v3b7>FQHd59L$SjM5V*$v$68(wX56;PXj{b3lzfDu&u{E zmdEeB%F|lbo~U`D^T8auFK3pOvnhPwl>$fZLr3@XIpjh`@O)2sx207CWsbOpHb{eR%*9C0vbF4mF`d!4ll{5dc`0{jhx^Z$Jq`yCTn z2z)^TrSe*Op(BjeXvT@+`Iwms&&F(Az` zRVwTC^H&?Fhlh19{4Y;iQgu1{xUtmp&h7JYa*D3-;_ZuLqd@2^1q)U^oi<8+bJgN| zyzJwupJBdmie#qe zADT1@o~ObhM&hKp0_65pGP*>`ixcFZ7HT)R`RE!JI1Gg*j@|@Y{u``X+6q0sp z)65(apfl#|Ur*5lw0vBPcI+N4zLAXQeVb6AI1ur(<9QXG`8GBMc(5skNNc_+IbeA> z0)wBwnYfShFD&cXUJ{LIL=<4X!{kVc5@EU%I(g(oI=Ft__%!tCr&ARQY?Y0$kZBp1 zz>)bAUsD|D2@OKcg~-UJ6{rWP{D9JtC}E0@bZew_J+kcaJUS0Vuz{c!QdXVe+3$b2 z{>{F+-df_s&MEC;(H(O|}{G7K9Rw;@_&MSj@N8_&s3-~Sq z#%Eo|0Gi|Gw>);@5QlT8-&{i^M0-~}^95gfMs`R~bqbMqv1{Hp^=25ZTF7RElF28c zO7f-tg0hO>+_%&ti=7VHoiAv;4H6HrBgjiwc4%CZL%r&9>lxCLAgKI+EhSPj=a?! zi8yN5HDUL(2jmlGehZnu!gu>MW}cI8atK0@u$9+E@~jlekkPwAnx~ZtR`c`4=CT4Z zkHV=m&x)@&RGPP^y%(J?3uBo-6SN(nDeKQir#|`{)yJM!`daOz391 zguqMikZ}}Rl`KIP9|p5N`4YN{D#6bH2EE=8ABIpkVZ01Hj5C1Yl~0(Pg2AZYE`vEI zOF*~;509o`@CgzyFO!-|xBy--NA#56o7NnsJrxfziiy1QCT9A8f#d;*#Av)m0qbdmZwQy9l+iwH zG&z%ZPU&1E(LLgi=jhLV&mKp`29jFE#j8aHxFPsO7U4MGRJsZ25Y?EXfm7$H91CS< zRmUHg0o1u4EPtGiPfXIf(EbvUjk|nzP!O|g;H;CYQsXZg8b?<23O`d!WtT%#*N|6A zP@C#&Xhn~J*y`BNnP~fL{XqeWgmNG4f zs7^7BtH*!B!m)QB5`vXBY6R2`L2Zp-%d>}~`g-@N72k*EjSEd5{$#blq1`RPmXiF9 z!F~rmvgCEY&if0C29{?QpDX;B!lgrroA&Xoh}3j9;fCBOQmTxt({#G@BOY@b-~FY!Pf8*mSGN1Sy_cgn)095qYdYdR zw{pL(IeJoYJD3o6UMxUgk5GaZ%1C^;!JSM`A#i8%y*2l-aiS_jg)*f_!TACW-H;HjvUx zUDWkx>`2Sm_@Jv0uV*bQ(UhbmeO37@e8qIUC>*?Cq&&9yvFw1X{pO~K?Ehur=h5R6SaBIMKZxy4vLYN*3tl8YH zfA|>pTH-JhLr5BU-oUb}qaBg7$?%W^%=m*`kSIo4d5x0=)WZ^uX60UF&)~SrGO%h^ zvWgYMI5Bz7yy==+XUwwX}EZ}Q`a}HP~THJQO=mT)oyYLvMJ5);0ITelr6H>mW=Tx^YF702uMmj{ofi6C zbbE%C#y4AXQ)eo>-TPfvH7Sy+(U7)C!YK>v9DFbqf9O;YxD$gH$Ihg?*w;jbTcQk>D`JGUyhe zj0;psZTK%W2{0}8wbMi|^TANAH?Hyw_8*3gO;@PO1p11;29PPm zeWi~4evm;Y@xJp{l8q{~l@&UiSO!KR{|%6Wf+msmfs0rBo5$$d&)>Y`@6oX>MI9}M zF;AQxLsQ5Faqzcz5BuTfYC?X}EuvBslP)%G?PD@@Vpvf*UiB}8W?1lLk7Bcv=Ehl@ z;-0&F)fY`*afoQ=s`HEAQZc3*Jj76+w71=H95PL%h*%n_ZjaKBLc~_-!`(`4w@L=~ zSW5$V3)*D{d!1@PVUi`=xz^NvUZE*$@1^9qA)9ufaGTJdH$`cz-*Efy*cgH_Js8|K zJN`rlRuf2j$_qpbN7;Q+{yHPaQJ*Fq^ZHF!zG!yrTSXcs#aQddVgxU;2a@vMT^(P1 zxiK4jDRNetg<6kg?g-uZha>8=!M9rge|^J-XxR=fg}rTmmEXtuMr?Lm#n~l>&s&;S z^UtI^Z**0Lq##H)-2%qFh~RJk&@XE3g)MlpI9H-&T5<)aH1GPs`VVNNl` zf2V@k3_Nz5o1=!9^aSTuL!E27L=@n&rm6IIj9cn6N5mZ8v}B$zr^IS~JX~r4^z2?A zUBkcqsgWI?rEd`_k>FgUjU7(?=X}5Aw|xs^$ew8cdbQ>ka)t~s@yifn?akjRjzlH5 z5q*k^Bx$4}B~kVggZ7M1U9} zO2<#1et-1oReayNJwF`klW-#42$aL_SWO>Vl)-usM0)OhBYr)KTtc+RU@w|Z$&$+FixEIw)+kRz{#&sOmNbjhoAjROg>R9)>zHYXR(&=-e zkO%!N)6I{{oqVeET8WBb8+^Z5{zNey(zbzSICMKW41BYj>>hAwR;-d0Ym?;B_H^B-1qWF_)9oWvTuQ>QvL`A{g< zYtrPq0~!h_vd_%V!ZYs1p*!thdY)rGHn-cceDbBkgdhdf?Wbh~KYeZ?9JCN5gp%(= z7?GNLM+Ip1G=zjjF1N0D)r~UuT;0#O0>^)(mt&%c^ombhvV4sVd8or3(HzoW94>D^ zTt8JY#A|YK*d-nlAOGI-*~f5A{^mob7b<|0uK$UHmtZ9QDP5<1^lpC6;cLLSeuVke zjzWI^RRSm_h1tHNa&sDLKws%zp>elG7eh|7ZufYMI6Hj*ksWRvedDQPuj~s;5HKe3 z>HzxnME-iBJAFi764ZGzjM;bG*K@M6Q!DgA`G}{2&x3oy&=*jDAZz6T_#+ZIfdR~? z>0c1|ZkXrr5Oq`ZQ&XOYA1DO8`Qs#WP1k5|t>$<8q@XFa~jKkw+I-O7HWv6kVu5WY#9}fXcRFk zDIk#aB&3@?1`Dk>u%yg9Vhs<7IlrUv-W*xkIgBKq#ER&T`(15#AsE5;0f^uqmCw7C z_ch*LIxq@qJYcSu8LEXO1`Q{=*_q;PXAbHV@^AY(ZKrB~4svVa0_5;fMRg!Zl5uKh_p&*}8)9+RG7uPw2IcFV`ywRcr_V5eKC zuQ-v=gul(X2LglkEO| zdq8-ioAPDmkzmeVZ6zVP2o@chB_Xc}mKb2wg=bK<^fV=8Vq}G9P$$%8B4iBIVoE+JMb0rf4mYU)aDgq7G>cOVPg?xX5nCA{8BMxJ!H-4gZxW0UgN{X%-4R}{kn4BjRm!w_qhf_i?v}v@t?V(L z^o@&acA$fo&&t%$_zIv;@*k$C$upp7)|#x4@X}(bsLh(8JzT1s!96?(P)oCpwwXIg gB3$<#5Xj=8$xlcwfyF~$XJz7Gf+r&rQxJ#$KMY(GYXATM delta 10613 zcmajFQ*b3*^z9q7W81ckj&1GOw!LFpyOWM>cWid74tCJ7ZKv<|zvt9>IQQYc{no7U zv{u!sG3K1v8R#Qm)R0z4RBl{u0djV77jt_gVPPaTB`aqePg`oab z&U@o_xZ7oGc?DIFvFKmNS(|9v*5RXL=zyDYngjqk#|+&JP9%igl8JYq;aF3_dWxHrr{vydmW?gSfmZX%{uks{0zJ4Znj0nBdDT zUqMzTBX-6EW7JGK&HWV960LIF=x`rXm#YYh7Vdu>nt>~Uh3N_%V(o5lFiVO4s#$>C zGJ=otGGoi^>a^TJ1%8`r`{%O>b?ArJ#nno;9VDgd!OnnGyW?u(D0GZLz^w4?TsH=t za!9~g4F-H`Rg5wqOp7a~Y!uUP#}F%Q8lJ*Cp9v|C?WACfUaq0f$&Xq+oNif@i7M{o zhGsi<7|4AVrH)G^mI&hN%Q`;T+#$k#^TY41Zs3zGJ9zgI-sd4MT7U{?rvzBG4Ecr) z<3BYKXlBdw9r5pS(4l-R=6e@ zy@irZ@f}jkF=3Jk^g`5K!5zdLHj98iS|mnE7JGQc?wA8QaBSZKt&bmP?ZOxsOZxK% zzTa8k(j1+0${E;4yWuzJe8Uux%Bcngs7uZ8!nJsxBvU&}-Q>lCe^v`8{_2yjCl%OM z1X8BJOF5`z`wv7=&Mc>0(ohsYtvPg{7V;dYnC7B${0+vV2WZtx&}K7_(=Q@TBRZq6 ztkA|GsjZ5^bXhn|v4ATvv0r~#+Q*TiEfM7vULftRD$+Z&=JM?#%`dnlrz_~-9*1ZHjTye+)}ZDxEYXT=`C$oBH>X%p)PB2V zQt+{c!xNQHh`p}NO$AG&rc2pCdY67ci{s3h1Z@lJ_ShHOAZ!IZELzFf7L- zhxJA!5Q=sje!CRS-cRIT<4i<_MSSoIu;X`I26u17OY8c`SG&S=eqiz1Rr^rBm z<4jSP(>HP_qN_93`Ibf1jayvu4t(5`)#5VBFkHmm>5^rL!WTB}`2I2gi#X(*Nnlnh z&5!h90X0KQG!L5qGVg@70GDV;X63PwW;2-!1B&eINj^J}@(ZNbk(LOJjuiExNYuQ~ z&8IqN=f3nJ)e6GY6Vcg|U4-{@sS@+YitN| z$fmhsr9`8~WN4tUuU{?!S9WErU5!)w3_1Jo4#8T5XZEuQq|j8f{)A3?2IRQh3O*jr<|?@fhto}FNE{4? z!o7h{+%7gQXnu%&TWMkE{zq9Xi`cw@N}uHzL7Cqyzu49WuX8?JWmv=R#5Dh+hR2Eh z6fb{#GtLQM*t3(!@!N`@Y+a#_*s@*xN`<=CeV<1gGk-XPs0!6t0T%KMOD=M^*NRHaI7Kgb0WJ{cl^GEm!Z~P52&7{aDhaYEYENV7%p)xh~6L% zex2*<6#sf`J71iLw9+M8Qw^5a@l4&q_7LQ*b4$L_CAM!<=yc^JC)xA1znVM(tU2ob zp&as&h|*K+09NLJjJiX;43xIB9F|}M%?Rze%&g?tmXy;J03p4!6pBN9!3Y(z8l@Tp zQ6|htrQsng=C%I-F&5g_PgNj$6^5##jPf(mZiJ)?9JU5PyeR`B&fh_S1mm22EY(jg zDrQ)ogm$HTeEz(H%+^bHYkD8?KfeS{$AS_=?GcRSfQ)reY)ve_ScGNc4?Z#*eRQCW zdCoAj4Px(oBe%r&%0}F-eZ`;1Qpn$IdWiF8lkk*^2z901mYUZeU^wPj`HUO4T^w-) zS<{Kxy>cV1*^YHUZM(rLb0QJUhtWgNJ%9YNzs#!}un-#GR53aegQXqY``$FuF5WzS z!`r43fpK=1TMkSaUoJNyLimBhLQZMz^Nd~@1M9>;VZ^2OR)Oxh=QK#`)U!o|z9t?T z6%{#y&H8OjAKkH)6ak-${a(_qy1&~JoVv`2RwQ0f{hERK;VR1YTk(tEZI;_Xg@ZT8!{6o36&z1 zSKX$D>KzW}4_4Jig&CIZfs@O=Lc&>FJ7Q`<-@)hqex$FNbjohGbg@ZahHAcl6CAdL zP%1RbeFZLYJ`ascKMPS-vmkg4;PlQVCRp<#yfW}E;&bIi2Es~EE(fA3HAWfA+3k?_ zcrh?Cb{oR}K?jcS3nN)MTY7l9TbVii5B-l}=HdMRI%h6+E^d(eH)wj`C81IJM%(RY zaO8US>F|xJMafS?6%KAQmyuupi769!(_QUn`4)(wf9$KbqccY7+ZHg~Zza+MZuiBTE zN!M>6LC8Gy?POVk6jl!Ges;{!&m&9owaM%@i@W#CD(kLH*%@> z;Bvi7H!OiU(J>N?4qM5b4XcdnMTJb!!nH zU2v`G`jP5Jt>qZF!f_>hd#a!r08E@YGBmPi?I`RYvpvKT&YUwp{lm@Ds32^Xqu~xW z3qFWKEXuda7Gb<5ko_$%3{x&K59$5m_z4l28<`r&B&JVZ^;QcWIOBX4tDC1gaWD7u z#9$T6eE(wsX;hHC$RPPaEIBZfSasadyI;s<4qp|(XCaHOl#o}Fin`g2XP4}5Ej<%~ z5r1g=hd|}zMC0|olf4F)j`P4z^k_(T7*`d0V=xpM+pq|XizexJI=vewfWDwu)iz`? zlW!|aQoQ_OXXO3U6SDbGy;ScP0l59fbiHcg7Q5?8Z5>32hZyPIdFzNX( zU7++MNxfh|Ha-3rbF|=#_;rZn9-36>R2X_G2pQ+EJRJAfwFy!-(puhstPw6`uu+cZ zI-Ujq=Dv|_9=>zA<>M5SEjlg=9N*F3GC%{{iX0jCjH6qn{b;B_`F@oT&WUX1k#w&&vDbvlMj z44cKpRVzK&>?uu)W-&yk$usPV9chzqu%Iw$K507l<(HT-@ccmcB}AZ2m3_2#PXdqo4gb|O+-$$uJZy^#<~AT(42&fPWxeChwh&Wc)g|42U>UgLL9xRk zGm4=omx^Ld8oWw(?#F}gEIZ58!raV?C@A1x`q%&6{V_h8z6&(Vh{)W!fB0KiJQRE)YdGZHHR5#a{YKYc@Pz;dOwXgk;_` ztR%am!;%|2C#r|6m}@inU@Yn*i3f;!-GWW6X%j4e(*tzt4@fApb8917n4nI1yXHP} zB7|j>GPk$M<>-Ukb8unagvHbB-LkC_Vz+OsJyJSI9kPdZ)VPPhHb&)Wow zq^q1CtV3p~x<+8OPAuL%=NV&=TE7lkNxcSw*DnwU+m6*Hupi_HsC(lumihQ* zd=!~6*%P8ML6>m`+?t3nDM`opu#*g2$F4ou9;Vnyw!4*s@7of0OaywNFqEz|HJb(L zl|A)kZzY&_PO^zYjvb$V9H87hXlv_{6gYppRuDZzjWM@2hFojt|Do&JZw>gM z^YvpBOQQ;xQQYRY1^TXC9Y5f3onP&}ID!{sp-|7|T?0 z4}_Y$gzNE1hDP9qP4->Lq&{tLhv}s6%K;_fy&T6Pa$LlOHDkJE9jktgMq5LI#%VCw zmk+ESTCau|%&Ei{ti4S4fM2?O73;3O?fk)aNRHJ{eKQ>?Vq#DmUIE*k8w&(!Zl^$i ztNpdf!`hhXru7VZstkS65@>g( z?R65h`kNux6}%|(liWvG)0 zUpT*8{%@s?u&O$GcJz}@nl`mdBRK1Kq$>@y*tCbRvLC4J@D*;BS-*D^q?c2M!fDC- zzD9s!qC>H4Pfqgn0R<2{25C>Aam0N3h*-4Sw(dau#EPV_FJ5Y{6aGKiCzuQrPA3?A z(Uvne{8|gWh{zO(01dqDGOMR&2=3h=K~q@hvhM?o38+4%H4a^iw7$Z9QYIYHb<|nz z^jEO>Tg4X8v{?&s5%Rm_VI`5|Sz1RB_s2k68E5iLS|9Lv^JOIr;L*QqAa0mW0&T`< zA?;&t6~l}E_m?m5O(Gs4V(j(+#$f~JJR*x3#}&?9Oxno18!X42gzf*^-L>R^3IhMH zYtaznBw>6@$p|GAFZa&9{)O&HwkMqWEvJ$mC}gr8l{~|K8$Ojvs%evWN>xK1`5&-0 z1De@0C8wuJ&<(hF#K2_cqznV+s9x#R7Z`g}ib;fZ>GUUG|C+nb%63bX0 ztr}+u6J2d<@n)K2#?@xw7=OR678(nkAMkdSgGA17-$ZNuuv7|Zm0#jOe^#%TTJn8> zHX@1f@P?@hrirvq9(uB|XwH1~K?FFkOj23FBm9nPsMtI92Q_jPt*k#g?41CQi=kil z&9?jnap9G;Lt@4$HPEcq)L(kR_$9-%hMUoz|I3G@)<|{>rd8aUx`@TLaO|b2uVRZa zy;wHyGAHXJ<_6u$Y_XIg!oxl=GX&$cAChe)E&KnD2QdHT10E1MHzYO`ANl`E1WqX; zE+gdMqMkpHWKsz0T~m^OX)yirXsd=s=_6*uVs*7&g!@3;Mkk+53+Sp%VFD?}@WRsF=>Ejfi?QHQC%cF=nt3+Ab1u4= z>=}wvd^>s|30cBS$ZCeTFRtnRmrAe}*YfD%sIX~C;reN zCIlKtsBSJ|*!~ZkKO9vNx>ioC95wpA`nhI7!X3kLD+s>>Q(C%!N4G?ZfQ;hF{9c$x z?CRN1=l{Mfdn7(~P}3YFb~{%!WDpIAv>FnpeRK};H!G-d?msO4g6w7iC4T*f?#xiy zG$2D}DBSifb*N?r&~J4poc7WHC^899asU)|`)V(gunK6n_dlfj27ONh!uke{)6T{T zO-cqL;Dp9)w@`iffct*}wKQltVvtZ8G+ujBJv0I_$fy3lYRx3{ zDKjKHDDxRw4Vsr*0Ce&UP5%D^@(XkiD)0XpnQ-y5v;VJW{$&90z>>!der`A!-&zy* zGQk*;dKvgZ@aS9B+J$3_&+C*ch2v<0r2NNUKn%Or8qie4FE^~)J)O8#m=9Qnit0^CNTnJbMvZNSGiS> zZw9rJR^AU7W#6G!FcdG953Q_-Nru9CNS4wO7RpF+nmM{AHzvz}Fsd4eOo+St$-j#@ z-M%Dds(x43ghf!^LNBS0vC4>*^3moVyo^wjR+Wg*0*>N);vkAj-^qlHrm>GO(%{s{ z`N~PBV5-ufI4O!x6Xo#zkxvthh}BrXLJxvUt;F=5T+l4t7S}KAWz-i}%#*sn{z{LX zmF*|&m}m3GtSuFXf+YbxBvI~osXfR^c}B#|%cF9~7A8b+*Kz1eX#b%gW>QQ@D7#Ou z&Tv~y19G46x8L9FCi#BeH`kBE@2>jGUL>SP`4Mi z_GRpzu3p{Bs1*C10@O7Bm#|a8@0zK^SiP>V!r8zq3x*!nL7EMtsKmBg=5HkIruIlH zrTJP;j0kP#$~Ta9yRql*m#5bXvGerliwObgnW&9)59QQbe|lRC`F$GgW>9fn0sgG1i)Knm4*&Uvxu*M0-;c?!?i4Y_ zsj*)^J}*T>;!gDt`doM9*E422T}p-x@GAY5x4N(0Ul*zZ`;~Y_AeaC7F2U)`ki$C8sQr^`lr-NK;C>*b>fGCi@%cdWw+`=;fY6)xa#x#+<-4$n4UuJN36tev zFA`y^$K?WuA9(KnL zAbU;^VN6POeTkVR?Kw@~5(73s)sl6H0dD}d6+4Jp#2|;N&H+AvBj2`##a8XrKHnD96T(F6B$2l_&uMvbz8)*;>zsDkPWSaI}}8j#85N<+v8vUNiDe$hoo zZMwUzNf;~|!sHbn8{GGQ7(Oo5+;<&v5$`I!5LoiJS}j2H-j#WWlpyIR`LjK zc-m_&3i;=oEnHV79U4Ts^?Y+YVI|ihqOH`vqXLG#ZwomN6Wm!WTwtz}n&|>-$&psX zVt6Ffi{&g$<)pn1kr2}?kO>+do_JMXR+z+LB!In*Q!$-9@CK1+4W5V-lG?DuN-w+Y zhxq(F#;tQyG0Wv2-@~DKqNMSBM>yPZZ`-CtOcLo#YSY$ydcuol#Au0;#pz6XMhMlh zVcc4?F_C+3Y>M%%*s?G@^cNAYNi#ZO69CdJWYsEF({*|jZKj38TRa~Xu3 z1C&}4CTZv=K*hz(i(vp+*MQ`%AQ8dz+2!~F3VuOY=P7URExeXdPmfZYq4KWM5Ov+X zm7Ta2tb^0oCgY|Cqo2BsF+6}JTZ}FsY!Kl$xBFvAcmWxk@b)QN(xJ__VBh3`8*=@I z{@6@abf6rlJmLt>;s?-xS6Fo0JsIot6jN(dSBzn#&k2H78Yvj+ESdIG8n8YnyK-Ya zK4zLwTA3>d9RSu19XU}RLLdv)b78j&@BGimk1)siLWv{#>yMxfr3yQigYTb4`l9(I zkvMQFHL0t`I(*73MEvElX=pWIPV76BJzllPQVQUK+-!s2_txJ5gH-TG!Q8o@YKtCk zvDjgO!#^-vox3_8wQ`u*$wg@h%cNrTV`Gag_f4$Un80LyA~MH!_qJiq_i~&?fQ9;* z`xUo~=1mvfTSFQ8=gv_QI(Ly{{!kCaER>#(ndQdan69hfP{uj^sV6!CzLR2e6%CIL z-3y?xv|k;bBInOG-TFyHp7#1mRlj=vzqELiz3y>J%WyNN{Wu{F?3h=ZF^6D3Dmox) zi|cDjgAFO_HIe|NzlQRwAlZH|iWh4d*A7Y$Xt(rFm+AG@e>?T^boE#>m}RvTJE0#X(?i_~n#BP# z_hdGWBOL$Mm7n2h=y@~F4hA+nT-1)aw^4GJ?dIhK#asy8g5;oJnt?x6deVg}E9lY} z4jqLjuIUR<=IoB1pZj}-`M>7AZvPt4*zGyKc{%ke(3PLlyvqimLJFF(UXyN)JlXPQ7qmCW+oXG z-y4e^wV-G1pA%^C#-T~ggT7VUAdK=!@-~dQ1TqwYpN6Z0+>EaD!;0XOmQ&RK`D^Et zVhVrt++d^A1IW}#Lm}CtzI`tBIX2|2O~{Aw48EQtBOC5Bc^c(pIzD1q3K}uu?^W#` zx=L$o7;(6j-M>fPk2)THZTXje{wyFyB&5>F{#J8a`}J{pQTxSdAgnYXEOzLeM4-FZ z{ZbQevq>LEDgq9=e<9fi8kBHE)%K=^UVbyCD5w zaK|>~;!p>66Xx>_K)9 zev}&20GA&tm$NnM+yQm)P@xb>5btv<+dpp75{RUqZCpru1Ma_ZzU2?_CBwYLxf7KW zDL0%pM>e4h3hFf>|EjNaFM;?sezkkQnoMD>8pwCQrwrGL!x4Us!xf;p6%pZOGGZ;gV^3~)m%Je6UZ_S0LKsA+_`gprS8wTauWQ@ge6ni zy;%B}hh|f;w}b;5k&SN@NMMv;E!NpOAv7zCr@Mri*s4Af4173$H}N4zB<-#U$zvAv zU;e-~N7m!tN|t7LsJ11Nu4})3GA8M_T6lBJGZYl)nN2|b_t1qR^4>k!rrs(T?Dt^) z48)jt>gs2IzCVxS-e8=5r&`I0vl3jb1)U|7F;YE_u$u=y+KnaSQzr!s+s%+o z*BVNJ8i#DoK4@llZ8`IHe;6_dlklP)tO@NUFC2qUu}!*Mrh5X6F4*~uj=W<#byz&w z1@5ovYKJ$yvYD30H=SpDJdn?BP}`4LfPBYWoq3+V6&v?DKku&$akBhmy#oIFus^B* zwsxJIcj^rO-lFz^9QsjRe8NGISw3CRM~Xav=*PG!fM%n&_aJy{upcy4ih7JADe3Ma zfR{SDIoK(5IKg?{YHmy8@Ke9&8p5Xn_r#TV)s2^BUueyTPSXd!dxPWY4b{}gdeJue z-ky6&#Q1W>7q<^LZ_i_a>0onoyrAlJ^Rs>7*zS=6I9`4Cuf60xeb%Hb=i{?_w=;Ql z-dm*A>FZ?q$VI`a{Oqo95JVRqc za)7SjVJLx|Mo4U$cK%l69PFG(Y`WwI9OPW&9RC$HTwFZK1^#D&PXmcf-r3saKLz{$ zK1q=q2utyCa@bYl*3y6~c|4WRJzWtxIKmqpu z-O8YuonnPH!ymhS&PJ2Y*3fU&&k$^#B{`PN)A9UHjcdLO<++bUy+^ATn-^2ofsBiZ zxN5o@NfML~{+vla#xbI4;33}%jzE-Jps#g)p7O{6drkcV5w9Q;TqM?yil|lM{ E02p~U+yDRo diff --git a/casper4/papers/discouragement.tex b/casper4/papers/discouragement.tex index f08c0a5..dcd495d 100644 --- a/casper4/papers/discouragement.tex +++ b/casper4/papers/discouragement.tex @@ -135,6 +135,8 @@ The second case that we can analyze is the case where the attacker engages in a 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$. +\includegraphics[width=300px]{disc_chart4.png} + 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: