From 7550aff389dc0d5c65ed6b97e37580186a8c9efb Mon Sep 17 00:00:00 2001 From: Vitalik Buterin Date: Thu, 6 Jul 2017 20:19:22 -0400 Subject: [PATCH] A few changes to paper --- casper4/papers/discouragement.pdf | Bin 233454 -> 235445 bytes casper4/papers/discouragement.tex | 8 ++++++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/casper4/papers/discouragement.pdf b/casper4/papers/discouragement.pdf index ac3772f2aae73835bf74f9c613a2e9756ce4d87c..02ab6aa269ca836e358033e7ee2e4f6278600d0e 100644 GIT binary patch delta 45737 zcmZs>Q*ZBn-IhdGJ`+Pwu0o|I?c86jpJ)i1Oz!3Ssm8sw4kZaO@U=j$hv@3lC%v^Iy zRx%Y4O#jmC=z1kMal*&n! zd)dtNH8-u5`i=7KF|EDZzaUd50h*NqHIAm-%%L&rc>V41$G5Fk0QEH5U-wP~rhl0& z=b;ttY)rTYBg0pTEj18A@$lu+-3pzS61&^|UQwDKRko}3aO>skI~TMrQws#49}3qV zK#r}?3a#*rPcl-=5UCy_`07^kmetvg^kE;W97~xWoae@}ezP4Vr>ii8dD1v?x`Rco zqq7H~v-ozacahY@fM=QsU|=a)H^URQOj{elz%K9FWa;8bdv<0Atj36nsCIH>HSj`p zxnZ3c71Gt|*jEm~miZgA{&_NjSTcK60DThOlciJJ`*W*zbMUynT6=>@y(h^EC=@e> zyi4!L>a>8JuOLT;kK|tjr#Ei{ByuAY&kH)wd;YK2ovyBJ-B? z*%eS&>W|e`{vw?1nYJK9sFfbd0#2BQUnz0Uv8<=&UJ)w(ZmH8mzQf?`tDC!K#z;>@ zK<{1hd#K{_rdX%Bn!tSRCoJ6K{|^I(!RI^oX<}*XIl>z0hjlA|DDJu1JvdW)W=$!0 zE2@;g3AF7O5D+Y@^1jYRe~mqp;)gzt(zS}D;&*s5?Wqa8+}xhyYU9MR%O~5=IEic4M&K3b8p$*4Kj?@d_PuqG-EhiFP>o z5s7`c6%1pHu0iJkm~%ftp;XGON3+cLk2F?Tr@>DJfH&U>{eTxcP?9Yui{YX2pYT2T%hOAif`4sR*O)El1LRE-PPh zG17RuglVhQLTNGJ%kxg*w)8RDu}82#Fyxe7b(76HN&FwPdr66ai_2rWIOyi~W#iEN;8&7n7a9IO z$!WdZyT*^Ehg*{Id+?GYg3>kdcoOGk2?S~<0A606DL~V+|AL&M&xWG%=SK?eV0D{J40Z-b?~K;)q~L~Ve@LxLG_LA!)HoQuRo5#C zV7(`0;^N?uC)|1V3gqDY)u@Z{XtSZ9#2kt_hYe5QI8PyC3qkgPoG0P2-m0UYl2q4D z9dVG^oQBbjfT!VOYq8Y$SNau?hLNw8fkHu_GIrg_wh@&_02?1=IuZ{24#TnnXh$6m z?&orfLqj8+-!C_yUkU?Q5{B$coJRo;FiN!on(HT?_YKY$r2HM8B-E4Aj`7ekdQFkD z1Hx&ZXSK%s?H`FOeO6I&Dl*g6nM77t>!Pxw{|A9_fy9#$C_doxMQC=!r{dKSD)!o! zX9LQfW6w-w5SX@P))x;K(?Cx!LL#V2MC@$iJI58S39`uh*p16H^KXoQ+&}*-fc!RP z%Gzh}OuzdWE>0ZpP;z@2Se(p^wXrafDAjB*1<(M4G29rcD(%z+^IFT=hsOXaB5B|*raHZM44uFl06bO2-2uFO>>LJzM`1H{4y=6ZRW!X!Us6K)+lY{p zp~LieYo~Uu*|k=L6{U(V_;k$BoS}@OM@U4o-Dl43*(J;gM)E^mE8l5Eb0dbm0CyF+ z-sm>SQsP*3$1nmVA7Lk$PFdV^eQxoo zyMTj#hyzI8X#S`dI%Y$zEv)$pcaFsD@_w6qSxS+qS)JCyl{E`(NCIb%O$F+u`2=)| z?m1_xNPkM-P2I3rOs32NAlKUfrhpeO)<$r1HSOh88T~|stg8xv>=QYEoDpF`-883I zJ_qGE^@`dJWNVeEE50H9#V4bJT=C@^D)8TccUxwKt&<|)upoD^>#aQ>m(e;|)Rhi> z!+u+%LJLg@Vg^nTM2-9K8w(;f2**Cbj>w?IlgNDaK+!vX1rpm8VB;pZVWIylQ+_;d zjELv;SLjR-3i~%2AxW&}$2pE|jpv`{{pN6l_M(R-@Znp?Y5<}t18GlAIz5!X5N6Pq zXVnE=Z#~WWJk887s#P8*1a}J)lHIe0i3PCY-f=zclaKSBv$Rv&@nA^*7X&nEJ7z~1 z&nYo&-@Fqns(36AU|{WR2s(?-q1)QhZ|s%A?|TlKd!H=TU%p;i*Zzv!hDcv!Z_QrN zdD^H90Gg&r2(7Z$X1k(3hE`70V2XGs!D>7h!r<#7@ar?`Gl(qfeB@!;}* zo7`OAs!UDo|0ONRJj@0HqS3LwLD9m7j~newX3D6k-w9AtaB=#EXesbrEtCLD=nrS*+7FSq}~g-Od2>^~iJW&~m-hmbEHL8veQ^z9G=0*mqPEedy+@q(0&`Kwrg zroOg+v@60I`tWWFW<#VZo!g|41P;r^oI<$geqUrfi-9To=1wpBXLYB?6K$PjS^{r3 zMSr97TAv@i;HQ!`Tv*>IRe2&c+s7*Eg`*#K1&_SGrRaeUQ8dV@^}9%2`v6o=$7)=< z1)DJdiFAWh)VY5p%tXKtF8#7Mw4gE_!f=a<)j=csztSWF@0jeWPTN;iyR)i9LX zm*$L;a{%9XjrXg-&QZ$Am%hKAAk#5e_C73N$lQZz;AA1IdStb=IK3!#JAI22TNR?y zkB(F?+Ygq1IgQ0Z1KLC1WeIhdGoJIFbT&!uJxY+FHn7R(4%i6cU=#8Blr^rE)Ca}> z2H%*8os+Rwn6lvr@7b{GAhZQ{5@`haS^qJ^d0RSvoEDU70l{6evx^tN5^M3#FHKCq zO8FFWkmBbOLc%Ma5d-*RL$bXq^+YaJVILSpIH+Q4`sYs6?292n7+nd*#P*+)v!jWj z&HwD|j4WZ8SyBy=fKgMseL-mfn$od{Bgj3owR6Kj;8AD3jTWTPMnsWokfi>QWBo7w zqz+HUU*Yk3IS!-4FYHsSQhm{A2h;F;SaqD6etgUJ`1UUwjN_NvD znu*kjHUtQn`iV7Fk@=RHKN{JsJjD%1$OM{72-?SqsdNaFA!Z@Q;h?F2tWJz{p9R;q zYc+DwXrKtja2`R3-s3qVA80yP_vkq=n)s<;9> zE|)K=(5U(Y4rlP|6vZJRp=t~>LBv^{HLIPh+U>P9v@_PNOtL;6m(KeldWSPPpX8;q zQy+kt2|D%Ngj_!JeG<$mk83c-chj@;<@h?=NjR6Xa%quXO45i+fv`Yph1y{u|+CXDWv4jz&rk{HUi>q#MK#GbJ%oGE-Uct)D8gB}mUr_lR znsovegM0FEp~qqUAolLGdq*$b?4U=K@fA6sk%m9eRe}?)9}O3nbDN;wzG={*5QwqT z9aCcG0aeeroR%ASkA_y8v0Xhl%^kaJ;em(H^`)OHxHYD}r&gu^tdIiR{@BP#-tb#s z=_1;jD_3?jUXTI&gB8}%jt$t>nyU_0#ZTLSfAqgAnBMSIyOb?p&eU4Np~K$plr`Ka zQUWjWQj;P?q)oun?%Hksd&sZIRH{re-Tb`(FeJs8iErO?7Scq@fNU-g+voz1bk1Xk zvTW@}uaPJFo3&{wGPSLWg7g|@Hm#m=qCSvu$J?U&oSRY|amO&{`js|RWg8@!IJ5oFGKkgsgfJoyq21`o z*RCd#0#)fQ*2bc)uIYcIZa(L2{orn;n6ALmq^)nskN(8T<;4Fe1FoE^~jlZzLelVIFYfdxy&dih=9Ok^bmEG zOYZ4QK;__TBs=(7T%LzV-$^3DJ(~yk3U0Kz(+VaU9_S08fq<8Q}&!o;e1;!X!5l9LzF9J7H!f+T+y!FkWYQ?%T8z%TdsfF%7G?U>)?! z+H;;sZ%&ql!OTF<0S|^{BPYlAgGa?wMAer(?o(RwnM{f+*L>$3{71jrswi=v?LrwXm!(?{Z?-Y$mb5(BV~M8{u)pDN=k1HZ#}g2lpR_3sOYW z!kb|$*qbz*jWi9u^WIDHP*5|qSY^N&cg17>7(Qtb8LEz?ztft^+W8G6T>BC7W7D-b^o1TO9M$MxS}|3s6A=GMv}KvT%U*M7OWgmxj^ zWS5E?N1b)kL<$d!Mr)DS<0G|o@T1A;8q}H*Xx+m%I>Z-^29i+Wp~V_IQA_GUL3abF zfc>sN>PMA@YQT6DzL{-2Xav-M}iGM1+yAtG|{ z=@q=syj3)|TCxx(U>}ZN9{kLMc(cxoXz)FLHNf>1#-3qdJ%S^WWG8)goKs!u zuO)ivK(u!Me+5NsSsIS1)MK%EKQe9guYnpn->}@^gG|+Y1;!nnYnbUW zXjDD{;rA{v-TI3;({nUEz1=tA{jBcwnAvv@!*6Fz4GA}ffpS|<^v&aI z{--zc2l0qkCdh?$AlFSButEUk$Gwp85Y2P2ml3BhFxrz%dh4_X!HDzcVu;(U&hy?`a_GqIlmymO81EWKarV> zh>_@jvNJC)41(GNUPXdB=JT=>)(=H=(GkUs`A{%&*r@*VI<%Qj@22Kr&AJF;{ z9UElZyJ>TqSmcQxZlzz$2DRRri?MYgdE&CDMrq$mmoVnir~%UN7N2kXG5lG%%aTEt zPNsBGW}{xU@qlmQ7#z?xW9NOnX{7x^dF^ZHA$PYm%%F}5hp-rB5~WR&K32p&v|+8P z>)l19#bOFNXpY@dgfdiimr27m2hjggtG_xuIbe9>fYL)qNEM&2HJjq!LJTO5yC((| z^vJFW~8UocbcJB;i(?e>(e18~^;6-78R zx4~DajU)0DGHe=q`;GdkDcqR)!wb1V1Cc5d-2^C#olEXO@X$OJ8DC44* zfUOM-?DoA-H$d|nChEY;fALy@!dE4P^`~8OaY;*tJFh1UHY;UG@GMXI8!&CX!th!2 ze?*XDLNl43L`YZ>a$7uv0P1)h7N6AMHL%7NL5YUOYT{s%nA88Lg&|v$6SSs4l`umi zu}5S-w-Ig0@bSAIDW(v4wmI0-i#C5yiLer zCO6&vpvSj}+|i#QgF(mxmj%X)%9Tg6Bv*{WHwdf8`x;92Vbz3^4iDks3M%4*#EW9{ zg5aPW`^)NR7(-Q)-L4R*Tm|JV^U$clM%MOGe?$gn4nH0aD^%91H)riHMI}L0@DdjH}Ft1hyI1Fx9bH9c!(rE zBM2sH?L$o9G{rN`0Tr@kE8+mc3|w=K4McJe3w#;?Hi~ID1^6LJf$w3FDH?69u8u07 z2JF(}rj8Z{$~%EUooM{RvCZ0%Po3KUtWOHe7Zh3Ej7-3MeTqfXJY zXzked{}rKaUz_M`+eC=aI8>a_cB4Zfj&?b}nFrb%wBE8CLWFdi?ur|&7IjA2Kk?fH z-nrUJ0Cv!A^lK)z9ZXY&0;$V%bl%&_zIAopVm}?Vea$C*(4kE@!B8#vxKQAicSiMb zn?yABvmJs7(Zs~3@;%aH9?lbiAvs5CLF>2sbLWQ@WFC9MivT{GUtkYuzzh^E4I9HP z?eK)O7e|Tq*2*g!@m6t2pH#ilW|w0c$bWB>0JWt;Tt> zJoG)+1*dEXC=q0{#QQkW^fYN?%OTRXa;Ze1tEj<|pgR8;zTW#YbABuWOkKrdRcvAo zIB3CsV&ZTfzLE#|;|hjKghrYkeaWo~V{-$Z*udLze56CUe513_dRxxoJ+;fj)!e;8 z6`uq7_!}}HhvUu~^T|7S=#~ZX*f!h%m@r-CKT;1~9${o%KAV1%g@i}pgn8vmqbD2( z3DADB9?C1jFOD-T(h$!oFdH_1Pq-uBTmZO*a)bv$_ zEp~sUc>L$a^-?B2OMX^$G-$J$uCYjIy){pvm`WL=jf8-|<|jP=4c(-JzWA5#6Su3p4F6oiuiE8w7Tkf@Nw4Aq zSQ8&X?bT`trhf`l=&&@1+&hD{kyn+SK+|Myx=&5tOIl`B;W>Exye>md(Hv)K9L_0? zC@Hit@8*7rpD)_3CYL@fm)_wEQ)h0xld4I6w0(jB({w-n@4BZ{5S9<+WKZe&%C~5f zX2p&pB|RK8_LG=AEdqo$L-{Y7p=6W+Wweilb$8)G8oK18DTVfI13LK+-rN&@SSgDV z8ise}JMho-p(iUv3d&`WSkwrYknixh^7e%3v8Aen08(K`2d4Hk%A*4wF0*~rjErNZ zKNoTM21SW#BSy6eSKthE-`~Ov($bP5`vwQMxtD`~%?zUem>H&Zi^&-xeuKnXTZ z*>Fw8(0jVp7$>-!l#Lu1h0ekgi=%Ny67jT_z#Lj%C;D+=d7uPR<)P&cH3JsWT4F6U zLQOFbN)Ve4Bclp&(N)PazhpWou^ywoS}_j!mC0x6ndrS5-gA_=STxUkEUz*gSl`mD z!DmD&Nzy;t!M0@=Ay|t~z)bo8POx;vccwpb zC?6k84V4FOHjAMp0^;nWeHo<97eACmrxYTkcy6-Yr}NF+vaU&jnp)(5p?X-Wo(Hw| zfu4&Bp=3%@z!7z!Bj0d6#(UD})1=}=L=+md%my<}SMU%w)lP(Z=L=(lUtv)25_UoR zlRWd@jQ=hwNnqxv+Et+W+z9=((>V>EoW;POEk&+ByYmvhbPcfVprhZZoT(;~IX970 zb25Z8kl2NmS%{#=;WLSVUkMm-s!+zL&tnenniv;UvGuo8Vwl zE^$kLXw#%2C)0(GIpny&i5;?7!A_KasuhkFNi^v+sSS zIiI+73n8c)HpMFe|D`1ETr&J|@er+D!F+>}q2av3v%QH)Wq-%(_Vrhxw2L_GOC*SI zB0e->R&VH5(~)8U>Gs6+x8*9ayDZ&1BjBjKg#LzlaIofEWt&i#F7m!V(7l$LUYr*3i}**#WakU68^=4GuiX;q!OCrhRw z)j8Q?r5gQvN*Wj~NCOt#lM^x0YJ$BfS5>Hw0_EWD7Hv!n9}Nm0mnbqcugPJ8oIQH~ z#+}&f4(MD+Y#$L0qQS9KHaF$yNTgxdf#YWW+fshOZm@A@n~KH7=xAADQ+hdiN4e{2 z5)J}~SdDtLjM~AfBx1g*KjuDJBX%qkOV+-5fj$^=Y31pNM3T>ulH#+`IAT2C9dIeb zNGVKWW#y$5O|D@kXrT>@@TO_kniAs2#=pE5P<`RvuWwbqjABw!I7%h%o>>DS(HmQc zSwS4YzNTE#@`xUFrs*y|nHXD!S`eXw!THX6*WxLNh*~1tpZ#Y%n&smZWMkHDtdora zfuYtI+F@||&JJbzk7eu{gaF}~LmgV{67o>({x@2CiU%;WdmmQ>!zR{A_790su_0In zb`pK+I``+hBUC2~5gNTf;VOsJh^`YB0(wTkCYshsaAgx#d{_2{9b>`s;r7NvrUFyK zEIcWtFaD-79d&n5>+>OK93-!Z)U^q(7>ANG2oaIAaC~jW{>SGBz=4cG!MCbEtG!L3 zWbt#Jq?0ObP7|Bt!jTt5;_l;bUN>)EP#cTh1-65c3GVp)M|UNaJa{}v;%>E9wlz1P z*?;zuSpVZ{;t~oJk-4sQtHSB1LY4oSWfWELn-f?v(=)llyKsI-+8vScVRd(5njo?+ za$>^haY{SZ;2-lvR_HW?U;!LE<^#D}ji7uJ$wF26jVkaFSX+#=!0pFl#)sHD?=R_d zv^v4}gIAeAgO(y7T~@#RmtVH=c_<5D2oJ*h5qw13)ov}l_)G%jB=i2>L{6{HPh)ye zz-kVC=q~h&9Q6i|&*ZgU5v_F$*TwwMWcjy5=j|D5JYW zG2))a0`f(x4|%i(+-swF=@)ol+?GV?NkUh9@x^ee>}`3ePQwtVQQrF*8Qu)vWlZ>5>rwaQjARr(RqTk#VRIxnpRDVR^5s`aNsRn!2j|Hq=;)*^v`?HSNzeE(Z?02z{F54ZEj zy!+3h(Kv`rNgbpWG28q4^jut&NFWqrdy&Ipan-NWs{SX^E-Ng3o`0rKZ1fj5pNbC(JawCt@+r>mh$4=hA&WE-8pao-1MqKT@6hF@S!mMULI)N>CdSbJoc)FrO$QPhr?C|NDB zxrnG$Na)sxU!>vkx?~)oEHKV*g6|WqJ4(7M7pa}ABl98M_M{0q5{~~ z6O>QO<8AxPr^7}{M%E=7wbf3;LXlx7Xq7bQI@I)5Oo)|%LmN6IoGt-1=SqFl?^}|i z4(=!5p_u)?o8aweN!X%*PNX^V;OD{D&*19APUcEBA~F7r-s~z;*k&Q?b)y062+cb` zID$BC;#!cDhC8QkygueyAdLlXqB3vzJ`y#p3kqP^oJ^Rv2^OHq2o-EE8(9;<{XJNW zn^gU$UKacuwJx%h*(yMTilqyF*p?MgJlGTZjY|-r1|8IGP5zm*KP3PH>9`jp>KH9a;pm`% zfl2{A36T%~R{njV??SQbw-)3tFs|%9_kg&X^uX^6h+zpuem9`93u1uUuukuXY#`@c z4^GKUEf>ZR{Q{a)PyEe)`Ilxu$UjS|3uFMHD<`n-08{9yswC_06(wJ0$-~&oL#aXw z5a~TNCpxDObJQ}nb(OyG)7Uu|)aO>lsCR|nSR@5e3uC#j-ZK0udazGSGz)J8MK;Wz zq<{nc{&LpJr$qqQ@}wvsCtcVNu5*P)4&=Y)yeSiz#}(?txihVE+IKIPEtRLrWvzUu z@jhQVQOkz9VMGqAbPCzt!Ns$p%gu(`n~MuEGJN@D8&S~Yte97uM`3bjecv_p^Jy*E z_^wU|W(zIy?^pQw!_rUXW$>;fW5r@HAqjN1rGzr__eH=$4N=iTpyQF5Mt?`qF1R5P z3c`M)f{iPLlKl?>Oj2Ehr{UI zD8M84{Vw3u#3#(j!ZEdnLfjiia?p+R{4asa(lQTwFOTqym)g5D& zEOE&>W1Q_6l!0zUma!SBlXDRq1kWM$I9{O)91Oq?-ej%DF6^7Fe+>nbDdknXh@+Vg z@pmjzeFS$QD1*bmu(G9`Flp3Pt0U?36A9*3u3~R>m^$>p1~Ayv+xA$d9?8{ z-K0vO(R{e>!KQJSgKSY4l9e?Ldk)Ds_6@KGEOHw-1uwmEjg#R6rR8^t?Qbl9R6Y@a z14WoRqwN^1?{n|;Zr-cE7f{@!1%%B;CD>HtDL<*%gqg@3vY2aSqbrhI|7f18FKo!x z7Fmzt5!Z9kJ?CeyzIjb~s8Eg*C?mg7IZ2&LJwzH0r2;2olmtqE3vk zVoW~XD2T%07OmItZ{7OrT%%scw;9b-bKR+yQy77<=YJX&IV$4Ac2i{sRs%3-3Tfp+ zE3tK=_M}Tc`lK)le~D;M^+YYBuyZf$82&Y;H>poXG&_#@#|g`z0O$U-C=XPZJgk=0 zG7EgfbM9&?oA|Q1Fy>@wgwY7W?VDTxE{`XODciGXr>$|v!I*9GrFIE6%4#6hA6y?% zERB53@sdNM%r&%mvrO%IYXd+vbiInwqecZR($vDG)8pqZLF7L(j;v? zm%M7ynsWJCIBzyZc7(#Fr{5q8ki0wAM~ICB$Y1hLc-Pv}#Dd8b$iCalidre(TP&^U z9lUsF!BpHAAGZVz*c39$(%v_OWxv5IP&X{g^1X62Ul>zmc?c)jO#z6oA^;uo$!g0y^AKto%sWOWHhJncfH%`{0^ zp}2I1IAs4@+u@B!a#KzrZHeyaiko5tXz(;(FbEa4x;-R1oBlZ4F_?jYQY+WR5lZp2)pSinp#7}-AufA@;Nh2_uiBn>w7HNOs$6;{QjM`TXBE8TG8U|WZ@^krf5 z!H-&Nc{`tLCWNSCEX6)}#XDo17L_U2{MYLn26gnV@&IrTU?9yzEbO;}4yC^^V2wy) zjz7%jn^d=X%x+^nXnWxs&S{@(_eXTXG15IC9rk%XX*Nh=c?%|AKAzD?}mkBTUjQqai$bD=BPRr)c4ohLH zxbTSs`T)@^+z(eStLm@3UcC&lJ+KT3ZZ4bez8!UvUfdtsrj6bix7rvu`M$mjk3*dd zdQB2H^4l?H1%^yr4BCFeK7<1$uwbP*L;fSZ)n^d_NAn*{r*o&d<8D=Ao!0w~M5!C( z$M_>AK38K88*}{TA6Q!EzP1t8tc&hcphJCxg(I-yp2u2S3 zVlg*G6rsFpo&qB*Z%jd<#$b4$2uDV0$f69hO9`oF8C_XdaqaHoKoc$8Zv|Fm0*r3v zW5(YMwjK~qF1RIKj|A@~Ju{>)rM65)Yk;T?hFG9=N9PbatMsi$RZ&m8%MmfPHt|WiZroeS z6~VHZQ)Gxdh;`hvacBesXE{g)wy+<4!;EhV5hwRKrWU`f>(3@SFpb(Ot}X!0cz{Gt z!Z*^vhCR4sBbX_rB>R`xI6EwIKxhGJ$ze|3X{nndPLkKI2+IRr&eMU9L4kaRiOIe*XFve$;QM&**79{qXcnZX!o#lj zPlzHuiZC3PV>51Ni1u2iW4t$G z<8)ZFih78v%1+3u`1HNzAk(fRX)E^(25VfRt| zVbFxot}+ew(=sorI2=DNoOiE_`SeCyYF{PT6Dpx0nxXU#SWHFCCAJn6CPW}vmg|sD z$+q0G4!45;g-`xH`d~a>948_fihTAIrFZm4P?GUnofn*TXjFE&M%bpE$X4I8l8OtY zAf~g&8peB_F@^>mEM*)}!P)X2P|2J1nG!Jl|ILwbU@Ltz8Q(^U2q;7l zMnq!&p$tI;Jwi?tvmp(V(W0a6``TG`)onB?2fZA=BW7z=j>^u3D8AH&b4_lFO4)dV$aD`&@}o~?!PT01T-F1X>L*UR#&yMS*% z_B^VdMamklcF}-IWncmnVEc^ez1>x#ndtC!JcyU>0(x$TYsU2 zTpHBvFv6Y}XIrP*9P-^^Q#F~EuSp2-Zl@g@OiM-3EUU4zI=xLFb(lQh6Ep^SqIo5B z+Gf+~lXkFJx@cTmSz_1etG(!{KV)^(CiX@*+wmSpy}1-xQTuu<7k1eqKo%EEowB;w zfoY`vJgVzWGl#HUAK@KvbFGmN(IKB4Nllj-s@Z%=#zWUZ^Xh*pZq8LUa>ff7pL&Xj z;|1IMZYYig zH1Ac_)o@#Ly}q}_omrl-IBEIEw846ex`4`2-YIC*0-s(!LF}JlV@H!n=ITrEVTrkG zf*#dA4o-M9+F|3FHo(-Sd2<8UKsael%_T8R_n3*0$se8Z+clM(QGQ{z-5?(Wh8+($ zLpa~VxO`YsZ%9B_KFbqCvW=ZC*-9jhupL84r!OdIc2Oo!OC;?u0N3?#;!WcCPn!gJ z;bxB$xXalRDf)GVf(!LZYqr$lCQOF)<8M9F-vubXca)>-=)VuO8&LyFf33%Jt6b}# z*bA}s?YZkcp#m>yMl&*;AQRJAV_`X}8BMnj+wC-SGA${3HN(_4_c*$m;!kVUXXqwt zY-7LA?D60TKi*pKw&*9P#Uyl9Z!QRGNOIJP$T7@vUjJfyZ7yF5Z?o&~(OIo2RxSSn zuS`s?gR=0n=cnWfI%fcwlmrB~cwLS3)_Lr*KV@hoe7oZdv7LBEl(DWs>}E1)Fi}nJ zAb8;AS-elb7&I<|AY(?8L998z0ViCX zQloqbQ%y}&&J;yE0dL)*=|VUogA4dwq&U#;Ovf??KV;@#smb}*{o+tYY9(kVRXk)~ zB-|RmhWCG!r3Gsqb8v$zCaqZ9GDh6r6e{Cu?$mxM%egxMcqs)P_7>XTsbf z-&|oamTbg03z+bpSz7%8GOrZoOVA`e!+8S9E5lNJ`kA?BB(G%l8D-VSA{+y_{rT5G zfC;6d#^2i?&+nU5H?j%me2k5O(q_%Isy-jg%kNG?fD|U~6mi#|k}*s|k7Hj&!ImH) zw@AXB@6T;Os|vaW$HvW&Bt>6g!(pj?4IBqe*Q_})LehJ%WCSa12V&%uIkJ#d%0Gn@ zWg*I{5FsagxMV{&0!My$c64E~iBaOaq)Ql&$`7Fvt8ga;%wv)Q=i_{mN(0plh3=qY zB{0q0q8yc=Jurt!a3OQ~Yo*1(V4ZcxIk`Xz)bA}oqKQ@orcCHWw7Hpk7v@Dz66SHL z-)@VZx?xAx{zItDlRHw%CUE#7mnkualHXA;o2~rX)<~HxuVG9NpKC*KtQmMVENRyV zk+Yl=k+`PcKL|Z$w!{;`ZIw$;)b>F)4KS9{qB3)|WOzty`vdo&RCis zi8^k0qs&fG%6BEKJN@OxS4Z0$Cl><;Ev+(_PtIv0!;=PUuUXLZ-@oywS&GRPx zR>N~kfvbA@PI?Sn>qyp7^#$eRaP49U@TzoxP-L(2zNI2Nv!M8}1o`T-zeKV2^yUba z25Ej*RwU0{2Ue?Bp0LMx6I1>$Ud(r^7)EM?!H{@_$Xto{Q5TEqOgKlXt6;j$n5gVR z9(;2q%DJ!W?M_JmQAk@KYJ2HB}w9L9F{j_~I{>)HtKgp`C^@z_WC-9Xfqb)j}O zY6Qh8V!XIem*OYhWx2m=2kc zj19Vk^^gKSg->EPCqob=X9M5NNHnB!GxXFJp#li_WYMiZ8&GtDegiUIL2tSMNY6G3 zx|MOAlLYUi6U_LpNxidve5MVQn5(u373buiw$!uilX^^^6IQums^jWtna(FfW`kEb z<0Eijhf%35U>0b;yqEkT9v*kNTc%QDngz0WBOT7cT}FuG*@K0lxIeVhKwDHBui<}( zu&TLoiY`s%UJs*N>`6 zk_$5WYKn_Q{)_<+TaNJeoO`1&JKuU1GRT0KHk*=#vy;MxdP{2fQlpDiw8q&Em|vu& z4?Uc0o|z~ptgVzG7NORUm%mU(yI4Uz=wjbBJ)4egYl>~IY7C!;K3C8H)%$MdI#YS* zEP9q4NkxM5ul6X&veZP6B0MmvevkJB~Jh8+%b2`>}IMF;J2lJ`4HQmac}nQ z+Gpi~c9Zx3@Uc`k62<;~QS+(21p2%YUNZxWlLwK2j8|^Z`&c!HvciT-l?jJ3VSBi44h7qgc8g;PG$EMAv<B(Nn;$Z9dy*Gn0#r2Nc^?zLz}QF=>|eITa7Fh`>jJf%uTyb;^pjyQF|jHCaNbPe^Td-OsN&20$Yj6WWG!D7GfJJY zYM2{l0So|o0J$hvwpNYkE|3H%jVe)R?)e)^oav*Vb43IIn#e~r!iOoScWdsu2JD@S zJq!N)uGdK8e%ZScu7|@r)_qE0yD)^CuS3k+;m2v2XQrM40Pz@6MSfzUr+M48-eqcx z0V105mZcSfW0zKsx_PifT|_uW>4iN$y7qRC4vMyBSR#t)cxl*F`1BF% z{Y=*HEOY2iW0scKH*W_2zHo*}U{(|u@&GpIQ8^Qae~H6$nVfB1;lJu>rvv3rT_@wY{HqCKrwkV`P3YyS@bVnCh0 zaN;*-X`kS{mk8_}@u2{}K&kF5a8OU$m=LHoGs1@@V!N}}&3R;@FPVxmjzV#B3M@0K zbdZ>OMwQALutDi&0O#J8?IS1bt9&uh<0DDMs zP}^!-JGSgd)=WCTe!pT-vLwsy#wN!-iKHm9SkJGD`sTyCFTa)fO3Kt5qgEfD(G;mO z*~*$MRaw6Juvz_-Y|7Kaqso(GTbdYmVexPqL(k+R^~71 z!(*mZ@{jV&LtR{>Xxr{kKK%0GhcCa?YD|U7Oqy%65^;Z?Go{q0naKJXe_L8bsx(u> zBB$j=q_>wva7dTPNbkQNoJ``0)_rpr0+Pl@~F!Qi-sh19| z{p!be|9bZgi3^Q8Xv2pHr$KN7pdSx&%w=^+JbDOUoWhzCKsfrxaV|KVy2>J}) zhDkr8yTmq^T0QXoXJLd~T21OySaq2u#G;f!v!AtF+Rg@cUVpZe5R_8M7Yi~_B9+$C zdHaJd2tWyydZ^dy0)P>OgN_9--7c;)7C?4`wT|eL*SwwbW5U~i#v_h}o~I_WB+J}q zJgYdLi}lAP&Z#^Fy`!mbFqGdG*lJU2^kh%9wB4hG;nF!Dv81Ijn)+c^!Qz#-$+r4L zuAz)wID!Rgtbb3n$zG#IF*W)QH7-@q{?V*scjk?c&r2I?4K}>WdNbMhF6*;QkGC)C z&7!jd_l3G^0C3964O7m$=Gbj_e3XJ7dGc%bAd_O#6z6KqBjv9hI>-7w9G6hZ=N(>v z_hEgws-U>!5;Bl!dEwyH$>ZU{9uJN4u8ghIzT0xEs()$b`8dqrMqtK+a>>WAQ1jO| zu61nB!Ku3B`)3~dOw+<=E~$^8y*U*7>i6Yn;Gq%DzfnK+$n38*Lck4P5JMf$M%0orubiv){u3nSuxwowC zGDq-xU4QTFz=_-Hn_s;AAGR8u`Z3Fb+8DTylFtIA?vLXeI>)BUu-8bkmKZau10cr|Cn3?`U7#1`XVs(@m5!W5kk zGp2EB9RDSpDtQo-=c!YE5~n6SkQRu@tTf_ORDZ)SD84V9P^KcM0jKh*?8h4;ENTSY z)Cf0W>13%#k$MaHz^H)v!#SV8m;d^IViMqv=|_yx(9L` za6(QPCr@)38G_`7qFrXQWPjvj=_7SDG?|Bk*QUmr@}$MEBf%H@M(FpdC)EN%%Vy!n zNEz}QmpS-UgxwPOV1bsL;*tClFc_ti*?&^Vohn$KS}Bo@`CQ&qFzqRySQ$%MjQu0} z)vttf&Aa@zGlUIg{+2JC8HmRxFiPWY(w_;Wb1r+!0rFG}d*=YdQsWaWdM*dgEC27f z?m4c^0A5N`EPyX4{U1=QVJS0GWwoTr@HN&1`RTg}XigcbyW_SpggFVPU@}T~+0rzA!aaiQ?=`+I#hMRpdZf72>>rRkFMCa-2J_5j@fAsE1F4=8`P!jjp0>>ZXua_Dpn3pQJ> zC0T&w5qsYgM|{A|fi=&^h8w$TyMHTV`_qFlNwM$B$jKXEUBQsGd6j$4T$03+7mV_I zj3P!_>V=+)cqCg&6}KF~Lb`!&U2cJ~IRha$j^}q}y)Hvyne(Y=9J?^_ccg8u|Zo4hpb5(Eo^?64@U1uIGilJd`^g_Otg@ktLw88|u@Mjb@oS(#0 zCdZAE{LnoW4Kk(b6d4w&8<%d;{TV2MGdoIH0yrR4$u z-asTQdZ$9drd+J~&?GJ-V1E|ND1O?OWgHHvD?Rzeplz<7`dpTqry`u|BTwxS*6AzS z%*2G4UvO=Kst-#t5L0=-Een)4%FoV^v%tY>pfs86vvlv0Lnv>=4w-(?TC~T8MI-s; zn^<6hW`ztNBS?DVBxWdvw#T?t@Gvye9+&G{II?^zntScgZt>93yMI_LZ(1&b&vfV z7zq(6=2aGge^miU@MGAiluseC*eaX~ZZW!pWwDeR@!_Yv-y>~5D z$U+Ma70>+gYHaI{JbyX8ZOij}mW)LFQu(aj*F{IV=kiH3(4K%$U}=wsSb0GZ!3M=X zjt5FY(d8U#g0VVPAL9TsGt>ijJTf~P*RuLLql~4VuQ!{Dr4BoBGI@Ws&4LsGM1t#< zNm!1a%@%^B1gDQ|7-R)Pqb>L4x_9U@5avdNVQ3tesedDaX@6ucnY(+(WKx$8VVO>o zkv4J#msV!&MI-XRE`yupu_|u=TvW~eC3@*hr$*_imp5zw#rR))HSH;!FXY|F!i_p~S% zhvCGdvsj{$A%Bur$@*ABc-V`s;AB#_UCS??nzHy91V_Chx>jm$K!mjGZXb&LGDIgD zf9?WK2vcaS=dw5xH1nQGkF?V#!+z)Uu*FzuX*V7n@J-8KF002(OK)63`pa!cFYbaL z!M(bKo$MxR#HK8Q7MbYxF~;ZUg@6I}U1hT?PVKUmg@3q`DK5kpJ#x#KZ5Pc`m;U97 zm-Mlz`U-Qjs~}T8%=FOLAcV}hzN%%{ZOLK|CGVp5J3~2zt#!C}u*s%5o??Z&JExKV zl5}55P{I61*5kGA^V&x#ffv4MswZA8H@q62P}=%IOA5M=+omd?mxP4{3A4IrbU${d zK1!5~dwrwrt-A`CRq&A-mdD^FNH#!y41TWmdvMo|ktklWYpTk;7k7B^t=q~67vt1&r{6Mujvo~Ph6&fFmu(wriayyU#-_29hH z$Qq|YqBmg;66qI0WP&kTXoT<=nIDuy_&^xFe1abKpqTnl;}+)KwA}5dmG!WKG|L0B#E+Tph0#pdXxgA+ZrtO3*O{Tl4K2@8J)2}cR z-+z?9ox(w3#}UE5=aOeU<+|ts3v>@@bUx<6n7BTw1bAQ9B%;@y=)9RtzUKav0@hHiDTF{EgHIq|i~cUQ;kzjC zjzYx}(QWvNNbAc#Mw*RRBhZ6Y0pMY1IUakU@!rwYH>wT(Qji#D%2+dAw_>M}JAa@4 zx}c~OINM?B@jVix{JOq5BSWP^xJiZc#t$}9n(LzM)z3OEzplzoDbG@BObMUVZEfn2 z`emu^e{9+;Q3O|R&FXP9?M4Y#(!HU1aF{Lb)=80>=J}mJrG}+)u*19Q zIql@aQi61qD(mlJdZQ`UIHNCrC4Z3-AZhr1Ia4sHxD58zjpv)%h%kzoE+ByVtePkL&qw*S`CEiRI$3H?RHsMYrnC zLw31L_5Eu~QiZ#J-}Ot`ELHu_PWAE+Y+!#V4Xg1_Y*5N&IV;$|wR3Y+_kYY$Et_MW zsT<~a<#Dta)RR;hhJ2~>A`fr7p|qHb;Bu{>diq>UJSMu6cYQI3zhu~rz|w4snu`f} z2t7+WDTRW4Q?3X@mFA9~P`Oz6Ii9BDSy-PZgm^K)nPwoZrvDElytskjXPS}aW6f~$ zd!RXBk88p0Wc}Tf>anANJbz{e_T4DUWavalLFJTwk8=!VVn9c$FZv*Cj?*i8fgHEt z$)OxWjsFA~MXmj@jnfGI(nw$0ZR4I?PN6ruGUSGzUKVopC6au8DT#Ot*K5Ro0pml;f|rOh0Ve`BF_RIjDSvfWOLOBk48HHL@N}kAX2#K4PfI=a zvD5b2+`2t55^b}gBo8Sy>;C!z{2;~NbuJbOg5ZZY{L|BikDt>0CQXy3EVIqiftI_Z zE{jc77D-m@H&5N>FQp$IvwfwU_D93ZQl0suMnBncz~OkncRCsC!PFUH3w8?0!()*) z>VN5EhKE#bAO3#&@a%*<+rq}D`f&enbvCOF8s#kF{2lS!z!z2IARDrJ+;c%tCJq0A%9B%ujAeN=I&l;M@n=TuzBP3WdDr}?g9ok z;=#yZ2i{D^n=nP4cDKrSJsEVFBd zSqy4J&mL|XWrY!J8O%y(PT02N5Nv0BRDcO*&Bnj1dyNm>PU92s9Sgj+aip+S?_r-t zj`otUj=}JM)$145+h8YY%YVz8v<2yNniu?h>+N~c&(3_e<%1@Il&9^W*s}9BUa_)0#Q{GkzpoX(IJ9-K6^@OQ}FpEhJcZlQek&SS1B)nw9G3kzWq1 z?wtZkm$Hg#sMz}#8`^R9`e=FsZ8$4;N>7uHsrACfs#92%53ohr87*pgP+vKsG#_0+ zh+TniLtL$1kY-F0L08^o@qg|(dOMx^d%+RIJ7=*&Tx2LLL_qw}f@)OGFA;kH z9p8GXR4<_Fuu>@=o%@kfJ4IXC*J#RnRi@ty`|2^Ahq-Ny=|b##v44vVVB}_Kz_UQr z_cUn*q^BU(l08Mk;Hd!gyrJrSUTa14E1h$#IFW5vwGssNY{?tm#LUHwu1j<#3 ze*1Qz212^{R-IRV9Dith4)7Tr%!4yQpcql;!pbqMI~o{=YDu*K);4ia$}{zwAxv9T zO-fKOk*T<8^pvYzbV&dmg|?F3$SZM+U2>Xfaaziylf-_Sr`(g>1>~3^EM*;J#(S9A z8jP}}n)%84FfmGM#}ZdLWwH4J@wDt|E{Oh%yQ>*VBmZ_wpMRhg0McR|=Q!JX-HBLa zD#^U=`r%%sK$9!TVBOprC@MXwQ0DV4%}pD9O_?=Bk3~})z|ehD6t}R9OqM9wbfL2( zs%mF)ikqbDT?=vsLHJ%P#$?$jM5D9h)YyQCBo4$c4JPe=>c}WU=$$2;79!;v0;yg`a zA4X@EF*~iwgv!pX5#o#(yRjaEZe?gB!oirpy$?GH37DRHdW-;T4%q5`Tu#WUJ%wjg z?$n=#TmKgGlU-Qx`PRwzTy$MkPm&o7)&cRc%D zYnbVE^toki;MNc&I1I@R;sJ^Qt7+*BD<@YTIKobfoqr490Y%ya^dPPfgge9r@T**amX#Ca zcVRrZ%m4#>sOukCA8w2EutGopcYq@l41u}cIk>@WAPB(S-2i=64S=>Y1op>Rb7R*tUl zJAZ#GcPpr)mGzy$@5HSDO0v2DtGoLCs?HURfI1^xd0e56zbfSY73QwViZB~_xRVnE zhIGaKm7f9>0Ri82-HZ44SRG(+517xNvn>>6WBaQF8#iZOLm1S>4Wg>>m&F}~`wwOZ zK>`GUK%lUQC;;LDfOvxKd4B~r@N$OyR)2zi!FT!l`8dO!0k(G~K>VP#kh>pTA6F}P z2mpz2gZTOUZ^geQTo4Fg0|g@i)(|@=4ELYtcQC~Ek9;?I1k@8?3cMp82mt)``TJyk z$1NK;%+c!~^WVee)iP3iVx-0SyWqc7a&mA_fDbnx5WvkR2n2vYqWl2iyMy1qqkrgF zLI27E_>ZqD%oYw1{gdonm;RHm`(M*%`)e`S0soGr1;1k~1iMDM zzg_-s?EV$y|3UEo&PU13(ebyI?U(xh&{{b`9lie2-|^KAdB=TC_}vD;{@c_T@@HK& zAvRDqr~lTfBCYOrKo(}__;(Ybu765UPl$~U6bZKfLzO?c;jaaAgu);?a98NB2L-?l z0s{X_cehnwhr36^^^T9fRgk--`S+EIFfiQa*LLv<3IVJT2rDn#yAj_>f&d@T-5T0J zJbyD7z{>-JBkx=Qcjfs3Y~cvpU-J~?1Mu3y-4MUf-++K9fcNg5`bXvm@P9fxy1D)h z2nqmrUGIqbw+sUCBJB~7e_ZZz^BUPl9^7lgk`v5p#xK~pedZAF+%5^QQ`xJtf>#hfWK;X! zKUn;#$aX3-Pj~IJ)6#$)(SMq(`}U{rl|`c7*xFm%*-`SIk-{C>`feH=YHkCWb>C|j zU!x!g^cK_(HRe1QHxUAz0+Mr&kIJ6)-DL}d;nQon>(xT)cvofP+_8o+WY9K?s7gp;Q~CWv!KZt2t#IdT1VWBH4GOjh~gE~dPfDt`?4TstY5C`~A6 z&`*g6$5?#iHq+D|&iK48T0sn^Pm#YH`s|bfa@=I|UenS$M{Iq6%ECM%#zslOi%zN< z9kbG^lH^oEpM)ileYmK$;;H&wxW(F)OFIdAtL-RUhfy(6OuueTO1)41bZ2FKtYMgY zTTzODzXU0+j2$DfCV%dDB=!O4yhvL=^+CaBeGYBu529^(BP(;CSJO{wh;z?l=*FnI zZz3>%mSUZI0KDudL{KzbpCG536;tqBRBD`og;Jj)2zu9WH@RF^w-=tbq!79!)P$4b zR5%ftD3}Wmw6qFs# zb>B;Q-rKyq+=fA_pOgKGj`zosKgP-*F7a7*2F7W)@eeH#uD&H#7{v|N_IOgN)Y*&m8!i8fklSa_C7y+=398=W#~7bP z{hxmw9w}a8^2AQNqjK0XJDbt3&jtu{? zUimsfg)4l+O4#x=Eq2|)MB<3VF8j!&<9cUkh`6Eb1%CuijkyarJUcrO2#6rHA#HX*`@$bpR1ZkC%jwBlr2 zPiCBM&e!qC8bv;cw{65bxJEsn)&irf3JuD|It?1pJ<1S%n#|v-*m6EmcCZ@|O(V*L z-f8lkWPi%W%iIx38;5w1M_d6ZuJ24&TO9zN%)nVN0HV$-k2?t zF<4V;FtJf+-k)PeQGB}Nc2vHHvY^`PDd@~guw$>gV9pC5Z{i5;%j>xqXWD>G*)vXVK??GkIYNlYe5`@?SV zuYcjL9%ad!x`sjQSxq9*Ree^^zsNqd>UEd$?1}yONhP?=0yZ$`j}nv-?MHb)ce@x6 zt&hwcP|kiXTycL~y^TURlCRx1yHY-977A1*a{{?Z2ZubI5{P0+GvC>me^G5SbgLA& z=(U1sOo1O;Xngu@v8d+1{}7Ocef-bOISbFu`9 zr<1MPA>vA^=!N-Bdh!_?>X+PTwx`e9PWRIny@#>iHsz0v(k=qBc6P7qzs9(7u77eQ zQyOw-Rnx5ynti-xqwbPaFtuTqxmsq%Kn9+su`|A&ON!E*OP7_r5Y%FNO##wPcc>(^ zFJJ#i>`Pr8@Q&T24}7plHq#a@>6ef?BGma5ZP25T72-B&i>XqL?@aH>bJB^;;7Wfn zt^eA2w$5D(8!Pi`nFV+%F5#6$zH*_Fajx23dMn z);>c4G$f=g6knN`Jt*MmMSmQW-p}*@*6Z4l!SKd<`=Pm>S4Kt#3!+Z}_`qHxQ-6wm zyTV&Yb6xUFI>`+KYm2t_X4*~9UH@@>_&8IU9!#A0)kw^&zD@c*U~KuL?qc!-PCuwl zlJzhli)(txzVyTQ5Qm=lxgB|1#jGH~OC|H?qtRYzFneF>L7RIIv462fdD%MrS#CBu zb!v*_MBm8YdIrXb;$AFod&33^^fzVcV;@4sz# z2vYT=)^^(68lfij;(t6`+Z&Jt10Q6B-Don-B5(_Lkkgij>+`5B~bpOG#7BoWP~ zRv2g7`UFOs5Ix9$;R>0d49oV|(~A%hUZSrXu7M}ICbdvlBUA4C%N1x9>d>8c9jZLG z>l?yml&fbRCZkOhxd<;zg?`CRX-U~Vxw0!-z*kO5Nfb&EzJGZDN|(@Mn2u$&g;jF% zWf?%&n|jw@$r|_g2JuUrJ>kkpZM;yhzV@h!3K$9G3j^L7?Jv$S*P2vi;z`m_Rotld zh4tn;T*_bV9f;Hf%Sh?^(OQQo<(pz`lN^_NAG12=vFN`;;V^7qqOG4zqkV-E7i?vz zH>N5%m1DE#o_}INH)}?_V4PigCb!ypT5Cb_PO!108)lkuw8HY;aQnLPF|_jVOQP1> zYOvdI2jbA3ST)_;NcHtfRk)e{{yu|hTou;3J3&CMD-KqY%M<4;tPvgaTS4DjbYFz_ zd=zRRDj2*a2P8X=RX6gT$=eARI9mqFTRn6BQoQ5ZFMlH2v-vhVeS_fZ(Ds|#{3mDv z+`AJy8Vze3_v?qMKOUk%@eY>um5geAn0q|YA1Pv5+^@{yupHIU{$RL!jN6-{-chMM z&`;y)8&Kw?_Ub*eAmvhZ(#S!vjjTI~1m&~Us`lVIOm1V0oISA>LM}-%xhLBdH%|Fw zt1osT41WkgBta!%RY73?-eq@59R~HT6xXW9oTsV<;1p8t8r4Mfd2r4%O%I7u&`_ic ziE6{N7rzB?n^I*d+tQ?rhoZ7s=5t&e@qTSnt@H6X6o9_awqp2s`!V*wj3jrph1rMu zoHPH@vRq{8vyAu$835A9@86IYqg-8)@InbAm+CCO#V z@c=qrq!u0}qgy5Ifj-YGTAaItvR1}+ZwNHd3N+KMof0$|uW|Ko!?vEh3}|S}Dj#DS z&D*UEJP1F*c+}%tEYy9PpX>UWckt7!R3*apA51Y(}X3PHSxXVw|o3W zp?{Os7^)?9)P^~N_d+0nm3=+erLym;QNQK+5p!LYd}rSv7lTsX>j59yn}|7fY*mj3 z-0PeW=3VB!1O1L?z@=B-aR)?{e0D ziC0TZs5H=(uH~shtbgZl22I~KMue$}|8#Il$+xif3}@-{W9ud% z(S#tmGo{yD6v}bJR{IaTjIf?eFDCumK~m$tN00oW8Q>0<;v+X^e9d10+}J^AGF4jP z+~TW}JGs9c{eG#v-Oliu3zsBBj4h8@ey4T$pi~puBy%uicA9Nki* z%Hq>_KE>2E`N_#liW9#R#o_aCxC2JNi`T3KUWKhhB{?f05) zk8*aWbto~IADl7J<7Dm@M%ll*M}JqhNFP-@PhorBphO6;Q(j(0$=2zN=9AWECh={w zX0G{qbDdtWtHpxs5tE`&)E;=Ergor)d0Uud5|>=Ibt|XBO^@R5)izG)JT>@yyaM%W zUTEa%bhXVMK9M)?cH!j;f8pvgvcy7;PBt1fRGpXIOsv&~m9pOq&KsK^eSa$RWN7R@ zv3?=oFJS(dV5)UJsr`)Rg=m$ifyBGX+<}+s+vu;t`f^3dO;vqf=v+#LP=yE*=(&Me z*!IiFe@p-u%iObx>W=bq#SeY9_^&-N{N7qH^R#1F=R%D0_KC_0_#pb8y9%hmBDAl{ zAHjDsHb46;yzSg-+RXC1hkw=K0pl{(Im{!i@_vby7Lz4D&8ZiO3^N*feDqav2+wTX zt+-V#6}x-y*pN-$y$9VxT4e_38S>U2MIpD4!V|f7IT6x&`CL&a$+XXt5T$&AH?}S` zpRXyHy=shewV^44FqdF#ptj#LY)~Mf>8z9>K}c1_t_H3+%^FcK3xBJ#UVrq_%&~G% zBgr0&wsU38OHiin=df**d9$p5C@hejc4+1m`*neKc)$o{l@0hIojBcTO+}`DA)PyC#9F!f;SeMonDF1y;aCT?{H^@ zdhDAU<%h+RqK14+C4cLmL&)n}?UbzO2~u$v$5aPD>bKu>}Rk8J4MQXtM}zFVt%EaN|#$#a8dC5z-I^L`xEeAXJq z7bO>NWGt)u;(tHTqZxgAnzd+9+bP{3=S}u~MsIAWC9go2w9dP{bjF;R#5KCiVCV2; zLPtg?G=l&qOqsiP8K5Vs*%7$rUAcA~xW>*;n2@=z+4cjwNTo6d+w;-;TO(HNq#_=+ z3D=rS@zqbhD;8MV2Dwu?*pGL{MJ;KSF+=ZPG3gl36@NmW9E2P#j7i!mGEWw2Q&Gk_ z+b9$*Ih}a-VU|vRH2>T}7GC#ex(L&|GeSLu6T?%L%*X-P1G`r2cd>(jP5<>Y(FmN7-eoeN;`;pP8-lI#h zkE$7Ow`c1(4IDb*4@Ik9EQk@V^c$O9M7k&NJV5gblocdPS?_so_Z`L7T>6<1`)!Zs z%QCM8daZcDf@nLg2{FFx=*-A{rPwwi<_)(gMSsivsy&nmxlPXikF$GhOV$11nJf(i zPcx5)g0q83qqT}pjYc+W7jgv1_VJSy?}hu(yC4OA2gB48)6Vf3PAaaQ^1A5{ zv=kIvpV04V}xUJqy?;=rYxsl1a_uFnRNXW?h`o-hNSCc!QBoyjp&# zu^{+oEg!yzJaK$=Tq45+U5{ylmqNK(9~a}0b-?>5lh8;b4q<>N(aH<;Z{j)8aet#J zUZ30pQ$>YT*;N^EnCKHfPVv6Jcq7t&3QuCwDe%(U?rIbTuX;2~5e@Mb7A^&lp=t>P#mq1mpe-2@aFFBTZ)zYb+fa*TQYRnozw%73c5;*h5k zMEEUhc9~U7oPB!PT!8M7Ye(pzn5J z%l2f;R8e*Ov?K$;Bod$3pgh}$9x7B~H50>3ZTI*T*n*m_izUk|_sb_})!`M{4oum7 z#3daZ;!#?oL&*R}Veg)nL6Y2hk{eO(djNqfwJmRB~ zmvnuAHB76u^`sc*GyiC(%oFd#H@oU=brgz_6XtN+IsG*cn+tc}bhY;Ep!=neh-8v0 zZMgjVz=JC;pe`~2ioz7*HyzC2%V76W`=x3XE^lpwL`I#WP8kQ?%nHl8xBdDn!lq1x zHnqqlGMdhsaLHcADm**p1Z9LYP*G1iAGV* z=Y8ASx+?#EvnevRt>Moa`)uLILc#t`55`NWLTCN!fCom5$$wpLVp8vHEk_6#EabA` zuoQX^t@d=h5ieeO!B-;)Yw3BEc;TPJGOwgL!;A!@r)WoZ9?e!&=Htr6gbB3{{Mds( z`EcYC@bPJ-V2X(|pb5dXD3|o`=@&6{t!_08($0n#MYq6XVcC)AD^dN)m?%{YVF)$botyD?0I z?T%G_KG0k z+qBXX7@-gH94us)Up7wFhtw3fGK#m&d-VMnN<>BFE1FmH^yBi)el-61?bcBy8X=aM zxBQ^acW%c19*E&Q6@xQwgq(U>C@$*Gc0ClG;Vlic5$&3ws)nWgO)VHb#nYHNBA#H@ zgVLPm;eTw=VlH$HyK}^P4G|2=3{8N!1b%7r9bjehb^?;KVLW4 z1nSKUg;09ZWb>#To)C1+rgvdFQZ2BDnm*^C$-<8o)uLzvjCT$spX6tX=A?RKHhoPF z;~+i;Qan>N;xmAHpvnXo2ypchX~DZCM75kMxqmJb4taFm&Lpi1aSx#9(Ds0=Gs8eH z6V2Z3&0Ny(VR2rrZo+SDAc|uP1naI=O9yx#A)SS6G44u#BI5AOQ^RbQm zWq+lHfZ2*h^mtq!{RkgOi3Dyi{?Kf2KG6*Xi7%szGg%JW?u2%{#$3c6OMK}`4X%76 zJ4ga8_tk%`8zsZhMjp|27VUMNDlC-$IhVq;sbff8qIDg^eKqL}y?RNi!Qki^gxTaJFDU1W^O(ZUs z5$ch063bb4ucpMI2&O;exaumW^~&~tp7r>F3aXmDk6-YxEcD%G+HoVgn=-0xJj)Ux z#{{%d>cpBa)va$CRqF85w{O)0=`{O@f^UQZ`H=1uEd@%x`(~Ek3HM4E%OreqrGMpr zY_k10sfh`Dk!HLhXOmO!^ z?*;grp>s>KP_aWODllnZw=YwV<`fBv3}@>(_qx;EEOJM(alJ|-Ne+FYL_*mU zQX(U={Hkixxzq8Rvs8qi+s32fY=1T4L6r%|JOQCy<<>YRDL3tTw4joq&#w;3tbd3Z z?}Swc=oIMmg?@<5^JuW=8ESr8+{}8ox3bPSiT}(z_DJ40OH8>%G2A@FsgUC9faV_W zQ{d$p3LBCcz?FzvhPqKZge1ir@ccQOsn`6 zbB08tSdh})x2TLJF4E~#bCIFCB){wsKb!Hy7tKNylOAfVfee@zPL_Ci#4ga8!W?E&nZ0CpY$c3uHCHUI}3 z8~=ZZjxGWKDWC_~5}?ciP;i8RT#>0I9i6;gz}7ZyFLnO&6+mY}4`Ao#=VkgU93buh zasgWaApm8dn+?d}rJ@DU9-!%H0S38w|5pk+AsaV0CjnMgPft%4po1%mql>i&e?1ex z6YORK&;YrDTs%OQfZrnnRDceke@0_LrUq!)fL;G~XgXTCc>-NPfER;3*a8G`eF<@g zSb|&tFVz8>@=5?zClKUsveMrKCcr<317K%i|DSaKME_0%hWr%_w6Jh=Z~{WS!4PYJ z71$mGP?b?)ar1Ix0stYFzllJ5e^J2DS%0T_Ic8~yrKF>S0|?^giu}7jDXhQ3JkHd z`aOoFyA!K61nle%l9&32^I}5&*JcfJ18}pkvGH;613=CIke7uG>+b?uf8I`@zntv9 z%`Y?f`#L!~0jyre0QrNhKrjE0eO-YbAb^{TJILSnPse{FWOjCdCD_6ZU=FedLy-T? z{$d7M{f%Gl-v#UiFl2j?A3K2U_uv0~Gk#H+r6a`N`(OHBSInv=p`@lP!}!n0|KpU9 zaP$KBGIR0(m^rxF0qpE-f1ChbZZ?4bf9FvHg8%7*?cZ2=h?OIN|L=BR&gnlbd;FsT zx_=gg9`N6}R2*NF3j)ynD|90^ZZ?aT5BC3Ox&IaN|EKcbS^lp=|KA+bfl1DtE&vM1iL%@Z?C)?fAD1+#39x%ie_f# zVqxR@+YWY>0egWg)xd5RHh-(;Z@c#IeX|EcKx&Sz;NLIIOB5U1|MI;onT6fUE8_Yh z&A(irmmT`=y3!B}N6X*K#=*@40J^vUy^+~o6ve^K4e(`u*-A^0*I!}=u(CiL-CjZf zFEjcBtQ=jCe_t#=e=mR)_}lb1;sdan|BLtmtQP-+xVT=>%j*5h{@pLD$e`-&))+$lJ;0Kj2HR4*x>-m(Ko( zec3!#$3NgpFHV2Jm)b6Wz?VXpZRjlK0#SEc zn!saEJw#II_MEdQc1gTee~*C~C&bbk@3>Xtv*(4_96dgh^Xbk)&JS53n${23H8#fxw9Q8>s4$c9 zu?TPY_&8Bv!n(wBx;{wMi_gt>%Tu|YiB0}YA(8oUn>9Gb!M!>3wUP-Mypct8aDe8d zc#(4;lDXf{L#Svr4Va_e?w5XZpGX&S(HRy@XYM+#e<{?ep^?C%loDv!ao`!SEuR?T zB*)3e7`K;kntWpzx&oBkoXqd0ujO{S5MrOb#isR6X_zfEP$oY(&$d2+s#5$?X9J&= z({i}!`hzK$sf0o9YipPaPi1yj*fpz4+c(k0Z}y+(69oEB#h=~Rj$0gl&>>}PMIZ3> ze8jORf5f|z`l-o74;5J}19QsPW0)HT;wiL7>zOV4L|!QME@&_IouNQF+(LK!3Y?Zb zQ~nNyM7(pc%=&f=mR+VKLXmup=B%hqrYme#ReIWO@V?FDkFSDAg-u#=T}P@2I$SZU zzH<&@jcO{?-4AB)T@<= zodxKEm1kAI(6{(eArc0VRCp1R#|?|~y2E?X4R_SYKWc^@$odt^6TBisJXfDjIG!NY zPpBLaevg=k$xpG~KMM{yU1cY`>5}+{kXq33z)B)|>IIYBF3-m$_rql$rgU}kG<(%c ze4nIPl!Ohk*a%@n*z{%CP8VIKNw){16A``$fF z6Qw922?`?-iN%&!m{mMF%+8y)e~Zw)%DqjNhP33=paQafDGCTtJfTnL4sL|iS- zCFK)a#qy-XVa7G_O@es_hOvE_&BbfG@(!pCzF5oihD4KHfur`$CqfKze}hoBUns0< zaTP4wpUu#+tNE~y_hy1~p6A|#jF{Lv4He^li`nYHmmt}hFoq$BL`E_v!Gs7mXW%6j zy?s6jjN$eVjh$z#MHP$U4q@6cd^E>}4g?l7p?h`Rpo%Ei?bYp2o642To+*=|QEzcY zd~aGOM81%UQ@1VCUzuYce-JMI@a{k{Ds;3=&Y&b=5Pm$H*i-d$Xpt0b*4A zC_mFcYqr}+K~bDnar=ft2!~>?%A=_TeOZJBqL*v^jm1+E!hYPf)M$fIZ-gVS9*bE7 zf;Yc-dcYk&^Ps>81xMpTZntm(M0Mt-8G{Z+qT({Dzw#wr)M=n>xxmy0JGi=l(-XMH zq1g0NtP>Ts;HC%zf1081pEKi9`LRx_tD`m$ywZx}5ErbN^$Tk2*4;0x$C+&f_ z$PE zJJU4TH<%2Wu*Ax5@alx!3qpKra87!Hd4P)2S0I8YF~YiY1*{KtznuSyX zHbP*+3L#U_e|CgcI^c+mktbBWn#6!fgRo{pOhS9ok3WSxDhd}_?^3npnK*G#vr~xy zAp^gr421E~2P}uP<|n_ju=TSjU&Mc~Y?t(Cg&;zsf4Qwhe5>Zmb{Az{YUQ{t_Af%t z%>BxoEO zbhIxUe^!JQ%HH9`@VEKcxuNpL!7g4vLC~XFRT$lIX*bM6U8uAcxZrtfSytv>8^wQ+ zXH&2d`9}XvJ#@a#Fv*yr{?+Gu)TKmpw6E~WWs;%9WK&y%X?rUZ5viAr$E4av_fCbK zQ*I+wR!5ZQD*dc5-9h*k;GJZQD*dw(Z>LpPn^(oVTi4=ecld@BNt}C#Mf2 zpWTR=QeV6G!1t!sC&0#(`=x3%uX=KF0&4?UftZ6&DfpMrVP$Kv4mn=YlIGQkt>XI7 ziZct%J#L=pzqZr8klW3wDWG~?;H!GK+$r4jnryv1PWR0)6<6j09Z3n-cB)j0qGT20 zjrJ|j$nNVPUm`E{xj{!cjxpoEk;kD`@XvI7m4yYXok{NTyuU7Ybd5^(21Y6;fP=|S ze8feibn1nw7%GMNzjDJy?MuyIe=q8$VqdcRc>I0p)P{pQR0)&x_y3%>4T5leje8&e z>G3nB%PpoG*KkAt96!^W)HP>?$cTD^64d#U^kVQ%L+UQ>=pDHbA-|IT^X;b0J}-`B zs18p9--=G(X>`AMkVupaMf3c%1ULh?L^(#eb32lLIh9POpRO$ev2%un%Y5wZM1(hW-?ix?|~>`n~uRLMa)giC1|vI0F+)t`?ZfF zR2?@zos(rgB7PB;k8nv|l${g5zp24DUp;mO)go;-5_t@*plGf%@4JvAOKNs3y1=E< z6Hm~8#UsKI-0zAVZ70IMSfX%v?PV;@Y#vwpOcI-bg>6H%!}HeEtnnYCO`oBC#oP74 zhdOpJnbH$x# z)@$Z(AXSt3d_H#C>s&wEaE{^0vFwuaZ~hEY9a@S&kOXjl7%zd|;-&$IN8h|bBmupX zZ-0pkkfMZ2ROr0w0q0f5BDw0{?_I*mPSWL02qmM+9O*Y@2mgGTz(mp#n8Wb-x?t>6 z3bpYiNfx4HV1n-M6@jv|*|8eK_7L~g;cHu0Ara8ZuSJvm#tv8aNU%MfWAsbp z;OUfD^VU#(cGxNPr&AcAW9unj(p@WweLJRZXc+LO_Ff?bC1%n>OE6by(DiPRRNz>N z^E9m?InGK)G4Agiu(=gAfY}!BvM$~re~O9jOKbkX*`o!8-&iIPrux$_EOE4IGQLP+ zeaN@X8Qb%$W7k%dxp8|pw8mwj^Lh9M3cMAsJbM5G_jNV>aghiD_PA_qEbH-1HunR- z8D=vND$My*DZ(q2gvRSSQ=ryInzRJQ?aZ`WXZEh{tA{iJ_mzsqc?xM`X`~@a7kQ7; z+!}s;#D_d4@7SNOVgIKslNSU#ZU!aCzco^9$jVHp>+T2vdAV;J5{o)jgiD+oI-D8{ zm>f^3xDw)llv`|K+ak0+OW`2iNQtB{VsXp@Y=~H03$2!IQ-HmNN%M^VG;|ljO)}=Y6{cs?aJbu2)cAz=7U|o;>OM(r zBkO6X=w+70S)kc5va@PKQ&B_)j_h$>iTF6|rn$EvhI1}vvk8(4F@{WAYHfni2>0uh zw0eVq4`|a0H;h9+d({^#OHOeEG#!>QMw7t15YZEQaBcR*%U1D{ODuPRW*h`8%ImhR z@-(Tf`4KaqeZ7TVu)|r{k{>*|JdE<;oqKV?H*I8YeV;Pr>hxAP3Ffd;Qv1d7((EPL zhLwLTqC-)0GIGxRSvYAOYWvmnU3S<{oIgi_v7k*q_FxVBrVol4i11#Ijs1KO)V#o+FtD6LkEGZ_UvbZF7og23&)nRpp z-s(Tc*lA1Th#9i|Ybc!p-SHX<^{bviM9? zHowXeFSQzsOy!~(CrXGs$LcZ{ zjgePw9ccmXzAKL3LNjQ~EI0%(`AFfvT2j@`_YOO5tE>&G9@yT)HS2rhF#ByOym2-pDUK;;4&7wLM;7^U!2p2 z{l#akcC3snDLgjs{ji*3)&um{HMHD+T!F5MS$?0YRC0P7Nr1{+F)@(x62&ucqGwFQ zsub+hut>&Z>ibt>InPib+V_Cm&zmh_b=c2(BKtMBs><*Owx4zZ1x#(RZ(=WTJg*Vl zjb9b0mp&4EjL?2s_X1rRbKy#-PeWpk;tpyx;tSErTq22o2H)Pxs-f3Ra{JOMsl)Z+ zPAyOb;%kE;cGJ2AhJI0w&LFx2#rIU&(%p|wU?u?@tXDL`E!?HNtl?ELT3J@VVi-=Y z+yV%y{oUQTo-aXyftWE@xt_HvNB>W{EJ?vNZ2i6vBV zWcsd*yZg{JQ8Jdw|1X4wGd;E_76A+o7**UrXrH2nl1{XL+EBtaEDM$ogkUNmb)41) z$1=lzewu<+dVO|400>wZEGa!9j^MG%f^HzkS@rq)BsXT3?j zun-XF4nZ^LvZ1SF`i!axS=B?Eh4Q~{;|c#4CB{j_qbB#$jAL3)1~l!dvp514_o54f z5y1eV8Y3U&JH%q1H@h!0h_&MGsnyDc-A7{ zxJj&|v5_qprKE(RYBPb7MsZqYN-Tgs(ME0yejCR*uCF>Q~Xh>#pifhhf*Rq<4NBW{@&3f_iJuU%2x?8tiN zKIWiwab|hcPBwfIj`o7%np31t!$-OcA!;AA#&45-`(At8hlu(t%ff$mkydBt0{xLP zf#oOQQlri5=D+jrdT{vcL=EsvRjm7+9uB5KOoAO#nTfn2BF z_i^iDZYFg58%!9kNQlYnt5A#*MqgO@JAo)PMjz^^YPRt2Klt#E1O&~rGEDjj6RxCH zt(S13=|j)yknq#pBvK`A7^fY7g+(Q;;<2aJ2AgKajCviK4o&ni7#+Qa{Oe`%rBTZ; zg@>sG`>R9XNA|%Oueiv@LX~`>HoD^)6>@;g4C$2{SQf<0+eVTMYz-`LC_6_u@*Dqp zRJ<~!SLzBZ;nl}Vwy|=i1oGl)m*c4DN%CP5L##Xu-TN(;B zhF{6Ubx{eSS~3%Ax;AyJJEYtQGheO1j86-rL`o{t%0(|ybTe`y7FRt<3k3f1O>GF{ zTb)N{g!3bu7*?}Df{s6P^oaXeSaP-^yR;r}8@||Oip5{6<$7(M+Lb=HX7~Lk z(t0Ccq)$XoudSEQQOqgt-|k*n*r#u>9Ct0)?~dV6?c2Qya!ggRB4h!G~3=hsS$lWw?{ zstM-K@b58_j*B@AW^}W?{aJZgoC3!>FM=dsy_0u12jQS4vq=$*{dx4}RV@^?C9m%Z zk05+Ynr0MDY`pXBnB2#`Tv)a1fdsR`zysjh)6vkSfNEYeZ1wdeWf()SDV{w}9CN7- zjIC?vEXu+Ahr~{U|A2p1={VV3;D!e3VRrU)cwHLB^lDlbn_j8rkDXxmwk~7W!n_|q zT#Br(lcV-J`dNVG>inhxV*&5vIpXJ(4Di}(j1hAt#Zt&!pGg`q7PxQ;1Ba$+L z1FY0_y16=Ie<4JxDp@I5t~Vl=c9;^#XhKw{27J@G+Ykzq&@>XKK@7~n{f_~FcchS=hH47DXlzsMG8A1-JZ|YUlfwhC%8d9p7Kb_tiHx^>G`Sal7 zD1{Nv$1!hu&)LNeZ%#mG5c04bIcr;S*Pw%#(Ehko{TJn}tZKM>qWeYH!IUBpjnICD z&-UD!`c=lIkBnC++(2UC)$BEE%`uTb+<+??@^d2`=@3Z%>Ad{u&~_6HC`W9-HR=jd zu4y>10Ed*)G~Xbb?u4wtrkGQF-Lyx$qtlM2Buu#02D-l*N6D^Q!R3CNgRs zH-f@ZLo|0fhC;Tmt+Pvf+?DR6)`RsTo{d^CZO*g%d&{mf8c*t)uTOvwi7LxO>1cic zes-l%iIXS7W`80N-nmP;Uvo_`=>%zkStT!{`B}RpMz$$Ym<(m&MbzK$y;@ zesKP|FeLg#)8>RB5C-vVT{T!RsLbgHbmlvZdz(=gh|c!rnDw9_Iho&Xd+lTnUf#A= ziOLA=efA_u9C@vvGYeRIougAKwJQBDq>WQFwC+#mE)0W~5HZ8Zw$?nuw9B5U>#8N) zf>P3ZLV$*`4T)FyRw4ryv{E z_rE#h8@&9F*PwVs7=-sdp_S$-E{|Vu;RVmkngu^ndOJKM*Y) z&dbR^b~W|YhMd?hmB(7PDKngBhvV>JT0c^7NaLjA9p-DhH7|B7Y~lJWq2V}@ERP;3w0fLUM(YGHrW_&-?qvHP$yGurc{Sgo#CNnzHg$4Z zQ`%sezSW18IqnOYMTECN4YT?1hIiamfS>vMPoHB(GsghUX)xgHq+lnW;JYPUG4tbE zgtFCz(2JB?LNm*cP+V;9ard?MUKg`O^?SP{cD@I5vM%dUFW64fDA<`xDFCfCVjU}M zzdHrF={=PU_SJEjIrd3#d9ob>0kUf&21gUQxuP51mC}Uv-8LJGjb}0dbc|KaAE%^> zX@rd5V*mF4?LYRox?!qc1}VjS8kmP%?k=XP>+>u0%%$vy`;#Bk2SEb3s!&DaazHNe zLzPe3m%I#QmR1rhJuQy8!$td50d+b=4Y?`wuydy!TDL%9mRB7#nMmd)8{VA=!$Unt92CaNbzIBg;W0-w8?q~Q9)WC_TF*~l^Yp#uO0h zQ+^r+DNoC-&MQ?33Yx!NJ-$T`9Uo>(yz}U^hLZc}kM4nhdRIbF7EkaxLX`)W=|EbB zn;S3!0smWpFqO+qzs*HEH!$@CF$eW9$gP&JqH_!UXM=#xq|T=YIOH$WT=S_MBgoym zbNTRWwVHPwAD{ZoK1&hA-Ek7GETl~eU%9#@<>%E@E0PMqCv1-?>#BA26dG(w4F5Lk z(h68uTy-mXlmN!e$!U@yF3)cbZ}cFflo6nELRlVoTJF3^@OV_zx$&J;CIo6M-3ij0 z=~gni*qHa%*k3*@2`5hf1N_HS6rR0?cMKx{8&qarqOC%nRwr5-tzPSot-6!Y#n*#p zaR(Ia3iLI*oS4F`=hZgX+KdJIxNt@V-idTS3^KmIn25}97MvErLMwd{po6Z+^Q(VU zALBAC_#EZ1S8bZO*tyQ(KaiE4jf%!u%>EQajf~DQ-7i%?z@{k8v6uO)&;18Ot_Q>g zy9R%<2vxT|1hEcCxEWiU9$ z6xyjC<4bj;w&&_@4li!4vKfj7+uMPf9@{_mE|KUtHl299?b#G5?HcNMh*RRbD#Kjl zO}LP{r?IZ5^+5aA#VYKy&qx?e)?2lnR&U2d_4w?;_LYkebhZI%dcP+GKyP*NE*7Ck zOa7n_!=>svx`~s;RM54N`T(ya?7N)Z(u${)D#gY&V`?PQ_L&e_AKa!w!VJ*E5s!!C zn>r<_U0{14JmEi=MOS?bQOI~%6BjSHO)_4)vv9#)Xo8k95oG`!mE*1#M_@7ps^sQL z7sdtr*%ymIX}hvZc-5j;c`L?^&x#M8V2jbF(*~1J^B^NP7pKx96&GCNr&xp180Cwh z5?t6RsK%z8U#GhM?RPXi&j&;rH9s);Jxes2 z9ac_PyK$F{w`~}1Yq=$c3AOU$(osVJUam;j^5;99#c*5?{7PwhGOw=J(_Sn`JDa84 zJVOwggGN=OV)j`I&p&;9$-E$mGN*SV>+#__7t1K13oMg4P>-f3Px3qk5zltRZ|C8? z?yqcFTJ^mPR}GGB#3fMM?;9bRZ|IM?^242Hm|J}_d@;Qkkv&eE6o4>1eGDK0a-dJW_*~v-08Qw>8t5#Q_~w$!Hs}&gTr=7F{0b zI`NynJR{h5dTw=aFLd(vAzVx!yNqb`uke@%?-q6D2H()gjXRkNf)B^)*^dy9q`z=i z;62krVvu8aJ6%xHxr9De7ul)q-OFL!|50YZ@U0u4BFBCo#2gelprK{y_c*Et`}BqL z4)3SCqgzD|Rsa#x!F^E(Lvt*-%+mkH3J}qn+0Bw=_l-nnhDe>uu)=vF4Wuhd#d>Zy z>2>3B7zif#&tjU2clrYZ+&A;M@G>r3=cE*SbZq_1K9lvx7L|d&YUU5Nt@m6Z{HrOP zm{N-zt57* z8My?qI5Y%q|Afr%%N=cHRZkzebw7nE-I_EY@V4nq`zrZmG9>rdHGF2{ubRYn5zu(%&pB|-ZNa-<7&^K zwUHzr0M!`~y@FAw2e^hBD?*h%%arA_NgtH;alnX%{}54Ha|ramqHJQuKfeWE$Zsq& zj>D7vK*MX$_|~@)n$^9HD|~L4F60j+{+ngFZadJPLS#bzvzoE4f5V9Ogw39C#2;Qk z-v34RcoRo4nO&>tz-t+Foy8D!j)VK7BR#~v3nu>et=cLU7LzNjr_dx^wKYU&e{+*g z77ZLO&e~iHqaB{3q3;XQtsX1nSj?jJu(K-xq*i{NT9Q9h;c8R9Jp}oM{ak?X+GQpo z^b2CRB&4haoOIohuy&(8O8iFyrvFMfw$dZla0Ar2G}JNo*nz@=$?IK`9ug;#SjlyFI z@RK1dkZ<@#%q3Q?fn3~As1kWz4?wfv1Dy(7!?02PsT%cM;8{9#;epbeq?9g(j$KMB zhYu1_wxn+42C9+^&9CwVVeIPW?(*;_ZMRXZ?Pt#qqJKuvJ-mPMRJog>Wt<=Mo@tfG z`rt_n7Jr;%7Oq}mRjzpY`u);X#;H`e$0$53{)_YTqYh4Hy}r-Ua#BtC5_k+xs>iD8T`h^uv6|6`C8(ETO5sJX)S3z1s|vV zS)-=f=U#5j7a1um<8s3C!6w38)2Bvw1gV!@Mp2V9D+ZdyXu1!AX&ZGwI#qgrg22Hw z_}D7+VolS~X{Q?DXeCU<8$<&q*%VoK*tef$V4ym98h^jZ?DzFdp|8ngV=bX z%27{HzqwFnPveo4HRBUA-?#YORz5ey{@*iO($gPV2NPhrKSBj;X1<G zSNO8cDT#k>Z8quWot-Bkf#G)xHzhb@+o)GyDEC>{+Qjvssh6i_{rr-5K;fyqa71wr+D02bs7emG?5UhX3@wtj zrVb1(PXWO>QOHT_eGv&4tGNsv-SE(1uWhn12H&R3a(A?9M}Lz6C;*7mw^*gx;=QCw zLfTH-Rh1XL=Fz!p^$mkDzO6QjvwBW9TR580x?8QxCVk%Nw7z%fGG$dHin_kJoknMe zB@K>(qPVTg`MHw+@i_~D27}jjY*AG~8{No+lt8@sK7GbC^>AyFilH8Y&AP#$XBh~K zKjAeKiCmqP{aCwW$-hG8jWg`{%<|68`z*W0{+=UKz6-{5gri|-_`yL#`t&sZWlH`oiL?1x+rRI-)_y2XpxMQajj^K_jj)>7V{nvore1Ki z@BmD~WI-g4Xd3-Kn`$45?td_yD8Uh1 zhY%Ku-T#8`S|`!h{Dd#~Ory_yPAkRteB2NSnFCBg>x9gDh3eH_E}{O4UG)2<1;!ai zz-*Dv`h#N~=Yr;6u*<#7;n?=FPqw(I{cqr0j_%Ny85PYqxhsQ7O_@Y3G_DBnG{UjJ zfb#rHq9+_oQ#j1@qA_ae!$~nNjmwBu^jZ@uN;JOfJZgTbk9ay;S1vn@h$CgsK)xK( zqtB8o1|}&*0HuVVn3N&z5@W&X>#w(%45Jj#{A@jo7TrC+g*=-`3;M@Ux0;&YZ5%Lh zUfGE(SnL&!eLpUWv0FX0)@(uEU!wMX2r8x2UR}3ncDT$d&i_Bi1j%QXf6%XIE%ZpP>Y^D(`uoU zh(((7Ir8Pu{@@_ZK0iEX4s7scz(jZqwNa!rIP$kou|}epD#`I4;i-#MSS#E%GCE`H#gV4Ufde&DpQtjsJt zEX)kd?CINn;CTOUn&uC#!Nf^St!}POEN|^@PW-QsgGt={x3!4_4Y940iK~^1xe2km zIl#r*(Sewg@!tnhx}QHd2NL`Lk#7^TaWnsKf?JE8jtlx2mj7Da*_h8I){S3Pp=zl8 zG#Ya>&Cdc)6pQ-QziDI>5D%BPAjNq0nnW}DL;muWr74}>rl<1;yAU*8Gn+zYMi_#S z78x8eeb+&&eK8cu$nqLy74ley+@yr6 zD8O0x9O1vPIUKR*_?YZ0q=GwebrCf(;C1Jly!)}tniL{xlr&`B=vb}-iJF0{=o40F ze4?xLzNAUR%W7*BOw#0ev4kkmdosz!;?m8zt&(Nvh*3C^N)enue&9dGS%3WJp|TJuxSAb!i8gYf=E^$AuoYcXDTouD=(MqBMYjyIWk~5f7T7;gHMxwV?wx3v*}}{CRQcRf5@#{ed_rZvNuySw zZQEHi= z#k+eMy`8oX>3+?Eir%dPA=#4cP2?+ZBr!0I%v`9gR68LdUMlA+ucC# zGJwx!^j;`#OS@UNO)|ONl)G3VE{Abn^>@_7nMg>zGM%-Xo$03Ynk>IN+`Z*-p35S+ z-S0A=&kTPi1b<1_Jo8Cv1M57>VU|s(TEFt2<9fa1QutE~2q}!1`Ic4Z3RfwH1^ixx zWcZwh33XAe$!9HtwhJEOHX|0(1lmDZI?q>+f!<1qqHdk*xmRc4 z8mC>o8rzS)Ikt(AalMPFuQuBAGc{5~F=1(y(Ye(GrsN;E4sv;k7taoh52;pQ&#`UW z0n}WVQm3Dti8ju!`X8W;63TaX^MGf$tZ_NOCTYHamz~vSV~_?%*k`*v9SMBfAM|zN z1SQm5Gqc=>oP|JJ!947hGtKRthO|kd3UMO%@&pRGb3GMygF-`q zcn}18ZYcBeiTa;)g3ixSaeH=$f|JqKpEIZmZKVbwzk=0uo1Fe(o(X$cbLnM7;?gnb zGMy1Q+Re~?cZ5ZWc$^n-51I-srCc!di;+W1LQj4HB*7UCfzeK+Ugz_1cqkuc#5`b9 zE=XTEq=TB4%2Bu?Io#7dKiemn7sdNo)FVTX+8qYVZTsj^VeO;46L0fttW|gHq`D06 z?$YE-hmJY=-zI*O4;9libsmkc<6jk7zNta5M?R~>m;g+m)35V0lpr|ZGZSwb@|&s6Ve=O z{y`qGkf+Eb{Nu`qtwU|gJd9D7J@JX!ad0HCJPdFG2L6r4=p^j<2s$Wf_Bi>B_BpSd zj(MnGc95A15Ts(MA$EyckdIoQN# z2zG}8ZE&jqEP!sI)B}D<9@zv9Cx2t8+jy6tHZYDJF%s=3wykOxAv9T$lmI!ZrM9Ku z89$k7RGD#NXVA~mI90rw$bNR3H=!5o?V#ZJ}ryV z93?ozSa`TgwadIOVuL<)D#8@!Tz0JA-dR31F;R27uG7xTzU8K9nLWYNz(~o9FF#d! zhxerK@Z&Qj@#GW*F#t-bm`Jn9(kh#Hd{LMqAr$CzaUZFJm2W|&1;f1}E2JYh=Y)MQ zLR5YRedu}gjFWRYSA^TjK(;>WF45LH z%{P}Z>D;F`;sRN)c#4%iG>oaM0plXD)><;yR03z#5N&~hptLtyr^y<54vX4{g?5mHrZ((u&@jsCz zXO{Y`fPHrQcnNH!qNo3Q5G+z(Y-gZql`^Sz>$t$AX^*{%O>;yjxbT_PJ!_fsH|+fY z7}5HngJM>%<68TfK0MjW>v1M}v%&xQ96GC=^s#tm%j0H|f~o1Lm>r~%%I_KKvw_AL zF5fLw1hdRzb2K-4kz$4gjSorZ0Ng25N)DW|g604k~%{mhGQB~(dCN8u$8553Xmi+4@}@zyPDR;g)BtEdVU7eS+1{n8X3~$BprO` zo-SzIVZc07Brxp9yzf#|VRbW{+k4+`&Km6%rp<+|Xn^#kp z0S*u)FeR*G7O(B#)i0NcqU$t_1y#L~xyYRk3SDh6E?CrL)H_eUjta?Z`9Nw3>2wtL z$5f&!>=DnBu3h_t;Ja9GYiU1cmFGfsYd0-<(p9$Sb+ zp-hfb$4Hc!Zd)!D02N-@5D<2U^gk)V1Tl~d;Z$VyML zjtTAbonU)|MlSHuz(LZzDML+DYGLNS{(|IIiboU0xU-p&{E&DvuCh-0Xc)WRlV$cP zK;Yfe*_{9#(dtF*X(fKyt@LxVj+<(i#;=_p5(WE7Q&KIl{vUOQJ=?&6_mbyU4hO<< z-R;C676aSO-l&lnHXz7eMxiM-GrZ1_-}{@d0_3gM3$VEvr2Q`@GrAwit0)OsdWH-n z`Mo;&ycNpRiMmHIO4H2+`Bu_xN15ig~LzUrI7KuBq9m@C_M6iNru z_})g2Zr3RF{X81jl)A;8Q=l1070*!X#OMCva7tqbB^dk311BCTd?}HS;o-0XK3ju8 zcD^csGs9+&Yb$rvkc8tv9z7i6Tr)np&xZP;k%;MfW~gt{$$6K$fbFLFMgWU^||mbzZMq~>-TIJ34g3ORkcQ{~@^Tzld5!m`!@8f`Ubi&NW{OnF2J4vw5_ zYbO4eK;@U(i^~}qYXucnT|ubRlJR3zi3WA0BgFNnHzU8ydorlV`x~c?ySi}A+ElrO z{nzc!rsCiQGv454eRO{OR%DDJaM0%2gdfw}Xf8$A(|-SRA#TMq z_hY(cXPDo9uG?cw=Y-(-xtngeXEWF1_Im+%Xb;S9yYT$D_IhQ66xjJ5{S&U&?p+sf za~~(PXV1HHg4LZ~)lGQ&8B85b;OGNConBdIzG^+Pl3kE|p^2}YwjW>JW zl6}Z6#eb?veO; z(R>ZHQTutdmTL63^NEbtt5>Cs?<$kPN30Tclq$HW17A9H3QgjE^9k3u>q=qBQ(W9xbk2-yp(8Asa z0`BJa%uTbfeYjazqXg@iRkP}lQ8db8O`ugIgj6S(zfF-DY*OZOYb&oh1luKAEJ93~ zxz!_0g~uwb_HsZKLt^D|0^OB_Hd+!Bngat`G32{%}wn8=g9H54V;Us3Bc78U~U1&%Er#a!UIP^A)zD*_dfs$AB#r- delta 43895 zcmZs?LzFIBu&tTgY1_7K+qP|+f7-Tf+s01YwymActaIy*H>y#u7p)kp6*1=*bG6pP z-{!+N$UuOyvv8$14ggaEdbMO6j>eJtJ~beLLFNY{E;zDLu8Ckw19wCM4B?I&njy5U zbw;F%(n_u~zhB;~s-+T{?ZzY%qQ`IP-8I&Zs>A#GyWgh}wChWzWo%Y1Z;i-O=TaFo zX0voNjosSyzLWfrnmWE;ZYdC}u^Oj)^`XeQnL=snD07%VCp_8#Hb-jY{CjnJ2TgJ= z*B_Uj)loHLQB+L~%GuZ`{8u74U94N`es4<@Js4u>_)lAIN?q5!+q;vrEwYO_A0LW0 zUIBjXZU!6@h_1Y7Rd9ICB={OvBP-fj+nDL=^_zXW%jJm#wYdB?@p%2}&p-@?0__rc z*7$E1ztcA5TWtP-NV2SN@lV5GUMYL>Q?_XPT3Py%cZX8l(92L5Q(bm#!>NZoY*7hEZX zbxEtmOaGUr83Bhr3YM&V4tsDZo+*hcvQ;~K*0$s~UgSXlYfJct2k_7`^rJsHm-)qA7k<_E_UWpqenmFTv&1UJA>Zj|F%g)`R#&DrqiC+}7ZTEn< zNE~o@2A16GXQ%ZANqKWyS&!UlIu!xs@-W(eQq`9xrG=f z6K6*I^%pSG+)zI!3Ic|CuvkXU5c_do_K23D=*SBw|IrX661$C}!WJn(rnl(r5H`_E z!?L2#R>Re!4KL6{*TO3xw}3EPg21>`5i7%GYTzpWE&@lyTKa_Lj>)@pddn*>unapN zznK1MGje>j!`xV2|Lyo??|FFg(immK03I5SMXzPOhy3r@3TeGUZOZzh1 zNIqsBc1yK4J1;vVK1Wxck9*pSwCWud@kS93v*32S=nxQiEjMr1_FQvnX5b}`lFv)2 zE_k*~*eUg4?8%L2`bXMgfmZN^w4}t?sfYkZ%!j9n;}NA9B=w*Wn(<0MwrKb*Wq1;B zarkc)U;L(V9icaHhzdM5;t_hLK?wg`ti~)fO{*22@+0@z3$MFJ50p69e`VKnZl{0> zxjrtm&n#;|p%-;;#_W*haO2w#m%*Wx>&>(27tuE|NAs{cnNzJ=6}!gaEk~iW+qnRw zEe$7iWdt-V_h>iyoN={!JY)oV%iPVtTzUd5kULN!2{^K_%8FtQ$wSlqh9Ar#q3E3N zzQa2)5qjNmbNEwPAG}DVJg#Xp^Cr`Qmp`_VwPnrR&5z=RA?AAoDUaJDDyfeA#0DA+ ziunl-cprklCa9uJ*3V$s>&W8b`=T~uThEz-b#4tt`0up5rbw*X-+ikAj15-Mr z5E3bHI(hwPh9f*JD~%?E7MtOS$VK&Li8?;uxQL6!{|XX_xt<;b=Z5_1UZtSA&HM38 zk6lQ)65)bdIQ{=|94cSJz6r9$D1^;F(uQsjf3DIUe~}Rfw9JbUy}%9vgJ1xvh>{fs zMI%Iy5;D_O!2`<1Vd~YnHC9=6Zp|J7TCgq}wTQgtU`i$&&=Ishs}GI5aqYy?s`=FD z%qDd(;zaFB9I=W}wENslm#~kgILVU#QjG&BNn|17sI#K{f+%R0cJAlc`}8_*AG((^oO1H??{;K* z2r6+z%dB}c6!~Ih=&N#_i0OjS_833A=a0fe_pHN3t>6Zp+~(uYPX6ye_eJDzUK^9{jn+ zk?_!67NUqf4#U8fkMA?fG(&a6c73bM@MUXJ1iIY^Wca~nR&x`ILmrcr(Mdf0{97|t z`5tc8kYfk*L!5TfFMG<(wTO_lC!<%0>>?POS^^LP zeY~sN1cuO@LJ5negG^#(!Z%YN-)R$8$_%1q(S4Sw#4U#2~yy8aX&86SFz|F|5H7^Pi%5qRhz_ zDZzvyw`m#2{~V3Pe+xa(iCMErioGN+3(o4St^~4{ z^|zk3vj~pZHC|}tVwn|w$1B#Od#yQD0fm+3Nzhc9;50OQ(LSQs}n2UzY1-89KGt<_v2p93;gzlaH5h9uHWGf368pv+s zvo--n07Dn-wm`P9c9`-%d4ylICtsJS=p~)@CMJKNTqG`U!hI$({20Du!cxY^Uw_C| zDw!K*!v86Fd7+bQY9T?H zI9bvg27svmrJ73dM;&nf`348+;JAiGt)^0KIxS)tH$`jVMd3IF2p+EmQmi;0csw>- zJUqXB1Y#S>)1D9>=PI;GMUqipk|)DEGoSHIlO?FJOw`>z<0Vz0X=diJ=+YV+JN%zq zzjI~koqM)ZMbq)a=G9fccRbqFzTBjLcM0_REe>x1y#70alTVA_=uUc=8O{W$Z*9LR zoU-sY56h);KU-ALaJ_d@Ys+16p#-zv_9Q}>A6ql^9>2c7jjHMVwq|58R`=DRt7(33 zf0HInQ!T56lM2w#d0Hr^vO@pSy5b?zS(`N9gl4SU*48}|c&{(5ebXtM>`G(ykmx*k$eC(eM z3?qRFLaQvV1zK`tHINKY>aDz=lXHt|$noX#^aUU*1yFmg*{DTs<)i1+xtwWzSwc@BG*os zOeSBOY`JZ*`6M3oA_R_ZP`}MmNGR~LT=^QK%R5Mr57xUo?+{SkTy5XH(w*>fExIWH zvb9g!M;2rz7yebJkbqPY3L#bwHsic~wgI~u6^7THs(6^H0x(bBxXY=7{?_tf& zCXJxPuru@a%SA22KW7QN4sM58yLP}(d^Fw+j6GF zmI%Y+%k?aFg3>&DzS(jXfG>J_`6;oQmq;$+86iSPhx74v> zGSmCHmWV%;mFxqWW{>^<>U^N>G*x1K)Yi4GuFR{lf`+fm6;)qg5y1x*V*QAbc%;d9 zT?PMwvl7)#ewpxuQ3WBf5+N4@@e{Y;}wfS(K0B)8zs z7W^K^z-MKmVe-k_Q4v>tozzvdfxcg!F`i-Up7MDYEfm1jh|1v^xzgakwgz~(3I!wV zhHn#KQ%V(NV<15)vDOL$V9SYhnO2yDhmzOCgW-!O0!Hl=?_do6mg3?XSopybMT(xo_e ziZjVDkO#ipqq{+OuEH+>UZtQ8*_6ORXSB5w0_p$7J09_MbMhB4+yW2lZv3M;KQy~cV4FwK?UEcx#(y#S-u9^`pnzBB^ z7&}WsHEn!vYArMP5jHw^?FR*TC>V+Jdk%q3;^NR@p1((hJ|UMZ14f3wPl<#7mgJtU zAb&$IJ4o^F3#QW;T-|J7p26%x_G!v3@8}4TdE)?u!W*xmq>7!KLd(6=DV~vpvf&#xM%L`ILzVo-QBG6RoXE zbaUfz)E1v+`Y!}w*f$;@WKBtjoNWAyEP+&#zSCICnO2m3WFp2)C!)qc2!zBpA$`RY zfXn2*pJ3}L(dq#$(4g~={zZg0dkKBzr}$8`1rp^m?O{Ej0;Qj|`k~IEgyN&eddVlq z3|^!iA!8?&ZXWlL5dt%b1y<;$5iU^Ka&$2w0WF+YxTZTE!6c!=O4iB}l2`U`p4tkO zf{^BYit4n;RZw{e=^>Q?Q(EJT$U&!z)JdLSWW569{6P0=>9&0dd94T3_>zvNf7GB1 zQ}ITO*^>bPc5!~b6mqI>yWqLBrg&u3!qiG7YI3BN*}Sa(_kgmwA1*b&D zYxv#o1W_wk-t-QMyk@-*R+0DAcZHlB9beMCl;7Jhb`eZW)J7YUnpfm`LKTCPX2luN zPkIrh`oi=wj3vH)J9s6wp;xjLYH>|g`zA<1a*DrHKLe1ksEXz}t(ei(Z#NU=^tRbG z><68whA_?37UFlUfR$HDK6t*P%F-%(*MhXWlCzdZT2Jua3ueaCvjHlI@{QrX01Xox06Ws?23nBJW%sn(F23 zlmC_D-}m$KZ;a#4lD#y;Uf#cYvu z^K*G-(0q)aEI^()Un-Laa>bvhT@kd(Hql@2-{mc%uJZ0Xtds^$*WPpX9c8Y~Ng{Fc zi->iaRMT(*-~?c%=BdW@G0~%xrj0I6jbD~B zj$SF!iQYf^%J8rR(x*6LrOc(ycj||{3UiP|@hYS!dU1&yP2nmM&X+i{MvA{p&fU|l`AmY`>^xsIk+`0+OWS6Y`BI`g+)$m z&3mVgRid_Mzv`wpl@O0N<=d*H$+&ZZmzQ|9C8kI{r+@sx>r5%KVV2RuU2QbgoQ9J&(adXomt!TrT<$DCx~ z;M2w7DO}(|LP1OQFL#8QmpP=^(IRQR5t$<4Dny=9~@s3sy9uHU$R+fr-^;C>fYjZF-8Jzu5%|ezJy_Xl-XzK1C!0H-?6`=^= z4NH@XVP$#KQm=1ubD(I^x3v{GM($mpmHoY`l}U1Id2@QEfwgx6aZys_?@;>Vr>wvP z^LSCI*Uqy+b59TB_o66S!i6FPA`+51;6u15&4MB>@`IpnhnT@Zaewi{NbXCVW+Z&J z5p>e7%zz40KBex>dQegFP30i5rF|CAQCT=>rZT)--eq;ji(PaYiAn9viy&*?6$ncUc!D;^>DgoP+R8N^23zp6&69s={6U?(Au!2IC6?&glLX}% z`@!c)WK6wnZ1Ud@O_i+-L*U@`-c(Ec^La>jq$Si*4`I8j5$}Je!+qQFW*ZD>*muNs z_uuclbu~SlAMLGfc;=E9@w|tF?U{d3d>QlBA)w|bD8b4VK~s*C$b+Z_90vY+R%L(G z)hqarFB>TZni$X;iM-5xwUWq$Al*z9-x@WRWNfA@O|7FKln)nrmB}D+hpGHp*?OKQ z>&19y;q#DxkG<{~5GkPFJDUQkUm@&s8e3(Ltd5%WcKDgsC)p2u#I;9n(0cztuM#B>9BG5wj|m)wW)OPsNEFzw`oapHm={f zdRBc12IMH0i!9-RY@P#-c1a|M!HPHQJN2YgDR_iH;ptg2`(Cy#MLRg?$>D>S*`dIk z(8*cRj5@JK>DUAiDJAc4(?KOfM znmmYNzBv|0KPJt&AaIe~9RMh`Q8A(A6fEX9p6rPpA`xkUC!nu{Ko zieHVT6eU_0y)7B76#bp{N$xiMTjrzPTq3?mGb#2n|FvZv(-0tSiybvZ%y8kNU-Zed zS-o9Xs*tUaD1W3?vP8j)c+^-%PS3m(%Lo5=A#?eX%Ecb=;>cjYAn&T7*7-B309^g( z@J3aTq8}n`uMFL0HYNgTM3T}ueoTg0Mu^ahkfd_w)j$ikzwSQV7^z191*>rpoh158 zswySc_`+xQ7E4}$pQ(-Twfpg-xngH2eE$w~yyg*mRzJ^Pu)O_Q=pS=f)lp{yu?JsH zX?_=c3fTbgUT3+0%GLU^XjWt}?=D|xMW&+)O`M%fA^qn+qY)~!<)H7jQk3Xfi@@(`#OQvv2Zt*;-90^BfQu*X^CBKn`H{0q;DuJ;ubF%%f z&^ghONj_>r>bv_-=%C4afuk^hj5j}Su6LI9sPTLH6_CxwO(t=ov*|nd`}O?|CZ>wW zdZDZg<`}6_p;zxz6X-Wq9d3Uh1(yLzTTI12 zEehQ(f4`=3b-!BuUKG9_B)u{v86aAI0bl=C&Kx?l9A|S@jUWE~j0C2}Tv*pCYUT~wIo zJ;!>zP|76=0tRvfb@M0nLoTn1fX|D0+q>azZ@29bJ@~o!mxB&1JA5KHSN!gIAKT&f zto*EDCYnTPmKiZ^hK#gQ`kw@pn1JgPDH1Qjub&1hOTd@A(U3i~Bb)q(CISDhmXaZ8O3l}J12kI`gj!J5TRKdrRO^ChFdiQ|wxeszylq1& zEy>1wMb*9pHi^RJwCDU%@A~6GzPf0a-w0$zOY>?g{LOjq%N4ekATKKp45hE{0+OnO zcC~~-G2LFYfBKyL1wShnFqT7rqFGRH>VNp0tc<+T>*k+7X$WvK+#vl$*9^J9(m zjN#D#nzhRtRt_9%ie;I^zCe*Oo=x*i0k17V%~qJ6|IVM(e-z4L&_ZCto8!qiGMw;B z`KgAZkH2}-riD_ZHn0Bd3wsmMpeAp6eiPS9@Fk(Z0})`bn3oa>K*TPg3ctm~hdkCF zbU``+|F7D}=X17g(kCzB=T0p`Y6Et>zXrVYfj$rN%gHsaDN91a^ z=*tZ2!LLl?z|z-6B))O4%p(#F&4nixx#|ueI5@ECC+_yEc)iPJGfHF;>V2TU4-j7) zC|NDcZNVYmgdjYJhbQxmuJQf)p6NG^uHo*LPSa^@ikU_LAd!dA;^wtJz@?`J&|iPJ zH#-Qw*1>5;CvFuiZ^a+XFuMzc1(>xG@#p~?@7HsZ=I*#9S>65dpRDd-ac;U&1P#7T zf^acMvsGhK$r}9I|FNYLl0}uET53cFA_6rwZX^Op(*NG3Tl0YIY_zyB3L)SMAuOD9 zwoTtBOnMm%m|5`UqoO((R?Sd8*5sHbc2>?%3{%QKS;v@GU19qdYV_yl5&fD%8SCHJ zs_WmM?xqy4VcZdH)cbpwzgDrFa5PiAkixjVe*DK})ftKIjCwh6y4E#|s(y^d1DUCh zO{#Pj+s=}yCH1Ez&}1n5^7v7$*s|+OK`smI+UwlIfK1W1qzr`*M$(Y`r5T80%s@PS zkSj!pcOzQiloi24M{{)vjZF*Dy@J zRX^J@Eyxjadvg(~^KEOuWa_FchdZot4pl-(=@F%Sv7K{zJ5-yDA_cDckbqaVc!vqm zp9}OMkUu&21y`ypU~!qyM~1qy({fM*RJ8d*fakolO2dj%uwkrcU`9<2REW8UKM>(> zm=Nmo*(Pv#8dF?W&nX2`rI_zo5B{Glxgl8>Ow5y=wbKuEg+IzWL9cnrVIDjOJMdlt zof8w-5}TVo6G%)MB@I}q_?u=Yc+=}5@}*ug0*8bLmb=or=%pwDhRS9UlWGi)aeQ=} z0CY3`Q#=ZLlNQ&<*eqX@&Bnox>IL4RiRy$C-;sC~ER1GHGO8-|xj-5}&<^BOGcxfV zpt^_@e-UI)6Ow zKoOAfvunGIJ1Mh_b{E1AWkTjTAmS$$KtKgHC=%`1kS&BeXJV-as0>~ zAAcP}?r!+j1jUoLw{z}Q8Bx(i0;hK|wIs|F%Dyi9+cnin3ODoHUn-u20P!39VPE1@ zlOMnwJh}5wVyx;3I?z@9cx@+i!*@rz$#Uc}19*cn5X;;DJmNbaq$WiAJ>U@V2WV@_ z8-CzXL3Dj0bP>!5VsL{qL88W@F0cla$R8ymD#f2ELXE6Vb0_FU^nwfMa~mc8r}TQD zg9h@7Rb`IHi3aa3ukNWnhAw@Q`4f=_9((f&;H z_fECysoUX(;jZ%vhLkdKgz5>PjBddCsfNN};q-?}2tdWTREm%8(V`kl+(O-TRLIYM z#{pNmC#*4jI(cX%Q2Vvt<0(=KL{wdET!v$?!_T%cLV>1(NhHwQCiM2@M151ReNS{e zsHET<+e|CTy0im9NCHhefDHEBQZ{6glN{!UMU{P?W+vH&rhCKKEGc2 z)Wh}7pP>fA-AN6=LyEaTo7yAIKD3e6BkQ{yAFKQ6WB4QO#o^sw%hA28L0}Mmdiujk zOWPN+m6XhT*Z>p+onj0Owy7G8_#sb5NHjyQoW<9!uh(>$BL4oFeGLU}@v9;iex`wr zv)bTW1@Acskk2w4$}9lzltUSqaL+4q^nfN~9fhi#H8@Ugt+OUf!GhVG$7nm?SDkfpY>4(j)@>5T- z3>x1a0s#RlqMr3h_n`lZ9`c3bLNUjTs$0?(_2>~zpgCpPgc-UKX|;hftbu09l?CC z{2A0PaU&bL&9z)nA-D6(WS zS)o_$dq^uve1}#n_(oAQ_lYJIWRfBuqSYI^uf?V^Nc-QY+Vbs(F`qXyxOyQPM2K;{ zUa)4aF)QGbxI?{^x-FKW9BywbT%FPs9E8}}F#fn*hHzN#5YxYpS+no>L8@8b$bVIhxK`}$N3?XIEs#(g2zVupZ`wddrzIBb?&VTza z@L#}=Z*4sAfV9`BbOS{So;YRtNMdJ>@*h())g6H1#Zpcb1xnxXijQ>aNRK=Jhx5q&^sZt5a+ku(8Onx8__OH0 z1_J#rdY`DjiF>gyA+-=V*@qRF;K~bDfQpjxk@qex+aaX2->yP}eHoqyuP#AI;{qRI zj)m4|8w@4ftRGlESUxYfU<6D(zvEX_PaDxDMjQPJa?CX46(5cuOLp@7n1oLX2u))FadNl{)h19G}Q6)3`_ZI?|v zMX4&5oJA{2*;y!viRg$Fo3-+g92htE#KGS8DLvW$1p_C)>DWQ4$QilV5VEj0ySDSF z0kfw!zyiC1F*7q0{=XIp;bxEt7zhYxsNkp40!pDE-3ShNlo<%f6H7ZUUhn_klZEU5 zyWKMUAF#~I!TG;_%MVL0{;2K24-kq}P=U@_O)TaIE)=N0Sui7mWE#jz>b0-kGLuK! zS+sq#Q-9~XkmS4BS96|u;K;c*{QdU$Tu$KJt3quTC48qJ*D$@<#n|1%SjoO}Te|a| zrJD}`ydzOQk(s4ht6ejfz0plM6D`^l>8`LOA`|NYl~pnWMp;8wd6G}Pdb#D-V2BgS zrZLLRgo`m)&9s-zN|a;^s!BP@YX$qh4{H$SeDuyDZ*(+Oy^wtYjyfDvlP%Wj9D%Xq z@Ag-ixxpLRz2F6MzvMFaUah!C}Me->E2aR5zZeES(t&=YELMNt} zpJSh`hx((p8f2f0uX&dJ8IK@uu>+Kil}pgJ|eM zu{O6{UK$lp8KeiE9@(^wtW1arnZGfYddj?vz;LK_k3prDti zL!sGzp8F$&L)LT6&~-@+IL;W4alF>Z2olW*URcLtBQe%F$19x_V5WM?HH*L2M&Ib) z7=|r?w&RwiG&R@MQfUpPiEOD-DK(W@|B4y$jB4K6)IrVJs?grNpMQ_fcNEW4w&m{P zG>VgTqK9R>c=QVWKY2IW1K%A}i@1UgqF#g3NyR7KJ97#Ge10P-9o+QJAo*3+3w67X zg~V)Jjw;;wDliohDlq2^Z!nypca)ABgQ`$~|MneG(i$D@M`A!S$~K;ZS;@ zjr9Udtb4mfattcMq|`;RM-2k_VY?Oz52tSz`Q6HD?)NDdcq)q~h!8($SYGG8%H;S2 zZO%(qHL^W~?>y2qxhyp6c8C>LX=W=&zm8D4(d)Zov#Kj%?(>MBy2oyWgH0i0*2o)x zeZoBEP$W3Ighepm1rH49lL&;#;&5#d4(KN`m;%y9AU9O7gD49g_n(ooMwmX&mPr*b z+}HjXqY+{?GnND24!aHxq?VAfwFWdIWa(o7%(+`Ydc@Sm?=0TmsgY+7LP9 zpq;Rj;E_Q0@O(REJd=S7e>dH`cY6nb?9_m8txWbB%BArRRC^cI69McMv}~0ltab@o z_`msr9u+N+cDNdO4_v4QVo?PaI-7NT0&6q24XO*|uLN5Fn}L3&v+u5GyjFMnUks<` zyi$`~Qj#^z2o=%&009Um*HnQs{P@we>-s3UFs?v&inve`6zoKGeWr*PAJP%vXb0Ke z+&=^dV|X8*hjg7Ya1fH(BfniXtoz4!wF`ch4H{0utmMEuk0aVUPGEDe&;3@1v#JJ# z8fj*8_$uT%=#vR}rLjRs!&Csi3{M;^u(tqoL{9q|LHwET z=npzON!X0#xhG^oTCqxP8!^?rol7?j43IORp^Z41@+s?AxJ=NUa!oVz~P#%x$o-GBGZjL&M`D+E5b7+Oo`A1xKCm)=*m0HxdtQ z#4yLB!{xU_%HFI~MdBUv5%CIGJ5*1eu~&U1tn(bC*B~=wR%-H5sVvEyOE))j&?)*? zR2B)tDiHW=*;jJ6Zs!E<&3Pw>`b7U91vw{l323%(w$Wr&?EnaX1eB;v#pn(kOu{sT z^)AnuZzW6&{u^YcB!}Z5sczzTVB&fB7C(R2I?NKK;gPQLE(?nHfG;!0Enk~sXRr|@ zsTofHUcU_X1PiXWC8QU%U4_qT^#HQutdDQF`^!7AFfwLA!itnW1Y;GPK#4R z2KmKE_OY-a{&oi-eb8BCdm?G2ATcM`I8P?s@;>P)hW_C*_Do58E#_P{7_`wVA>KIWJq zUBbEO>*3&qjk%p`qU=l*AZds$SEJexggOxogfu_#Q3%bF07ib@l}2n$GkKZ@Q);cw zKiB_$Rne? zH{}&9@W5s8W?>6(Mr=lVlwl}}bK?>cVu&6zDFwd^ z*MFXOtos;Pnif&FH9faAMu7|7gkXZe?XV)|U)K2i5a2lprb zQM9E8*aDckqMcAp+NOat)1B1-9YV!5BeDg~fFKR&y_b-QW;e6%7E32m`{kZa7 z4}v-1b#2bw@UN-Q8+|nV&uN+xP9zTT&HGe*Nil)F5fSby8qux!pb@9N&YxI#^C6(Z zp~N*od0Tv9gstwQ^9!v5de(kFn^aUx`f7d1-$jal-K1seFH# z9=;)*fLW;NXOVsG6o^r83gROTm}B08sVqPM>KJt;$-1XN+dyn@hyC-Q#IpyWfZF@) zX0faDPKx`Lo78pI+l#*{9eM6Zy1C-?tnu0 zLR6-MZfiAZFL1gO?zh-*;f+m$Id)t3&x&RQULC2^aTn?DFLaSD$dWgbTAAjJ*n1X% zOQw5mYvLNq%}w8*kO7tGcOMeh0>Jp)uPLHbrA@|O)V%tX5cY{<@>`dDHtc2pf|cIH zrvcWU_%8&(TsLgGDIPEdD98Va3Eb%D{HNy7{PzruP$3V6R--&A+RsHmSuKMKBoo0u z5@v$`uEvCV)%6lA+Mg9DbWWJUuqdL|>YZw(8o)c~Ppqm*d!{YqeI2h_&s70ES5XrM0Ap-_wy!vgb!ab_{doyg6WMajrpqtRqyk_*+AlFwgD zkgJszT0auXh*@##=1FPYW&&6l*jMnPq|fWLxcR$krlZYAJCE` zQ@C5E1pagiEGT#lr}=DRR;P1K@>DQAm9|&7I=@?GYrH=bs~y(7i}3!e& z$)@H$E=BXD4t;602Vj5s7%Y)e7SRE74C)vLY14`&5~EJf@n3#iMbN-+D_ot6xExEv z)%Wo%S$iv}^qH;_X{5(*W*p;Q<~KbUzHcdeY@=QE^37f7Sgk&PK6r zIXqPC9A6nPJ;QH35NBkN6&4wqcQPOp28`}&ymrait1I81_y`bc%Sz(3mXJSxBBJ+B zc)XLh#XGcN`8_wT?~Q#}&NS8gZ)4U6EMz&vXMcV%n*AFh-PVz}F11mVB0-!pAsrp;#GEDXEp>Mt!x5Hcswx(nHdzkUTDaKF)MQ&7Xj%1+=ewQtI zuKblr&vuV-Q&&@Xs9h8DK1&}7*Fm4AMvMHjkD&epdfb^L&JfS`ja~1ohDWn@(ntT* zFhgT$;zTIK7ur=dc+*AsdQfb?k3DH@w7z#Eazx8|4tOyU7VutH$f%b}adzsW&QjXq zm=`JY*4j2|t=o{IP6@Y_5NrGLEDre7ZJdnPV|-*MH&r^cdPRi2GJ2Q%Il@#Uue0*W zdvo6M-w!URRurxD7a~}tzg*^@Z(AD`fG}}z$6FCT(2;1>XT7O2l{Mm4DN@Qv5WSS4 z+4r=4WI$M7>D^=n4IGS;paG>argKutz$<6$4`xrKL#W-V=B&YMEZ{8C*d8o^&#-Cz zj6rIT_8342a8$51?4|Uz%Ue;nvsV|7I`LCG_9*$Vb%JGJ zpVGTO1zs|Ysaxw9>0+$Ek8A0^o2jA!rY(Ix0?=mPH#;gIl)4c-1cN56KZla!JXRoj zIVq#&7ylKb+vgklYy$sA1A(!O#%%a9f;(I|2!jJ9dlDQ$&>Y}+mBcF2|6}dE#%K4k=8j( z1gOa;8@8l;ydlox+!Ywua$Q&6Nvk~SWZ!F-8iWLK+_ebls{(nL4&b?>7eKVS-RmAj za@_B}xx$L^NU6cm$GmZ*1ZE=9!=Z8wBvEu2lS2k(>a?G?USj?h@Id@KqgT?MwQH~B2W*^%Q4d5pb(|Y6c;)+6+s(QCVWdnm6h%m;05)fy- zjF&bUf1`8Mfh|>%D{dmJd?_u|Jo?}=V#oPd1c0qdPyT_~@|uGjAS4#-hjXL3%@Y=z zcR;;u4%e*m82w%y9*x`Amg=jCk0*ksyy|(UkJj^%iR8=m=1uGpb@rJ!3cS>+2jJtL zU+5n{goyQk!!c7!<>o$kLgscl`T^Z0(e5K;w=X;x*)Kj620Aq3(QU1t_$65GAJ8{& zs``YK38Q2daQ-pz)C4DgSW@ix%RaK#)-(3}KoJn%nD|7NMLnn$0T>t)lP*^ z*y%XoKf(kH0(|}grJf8YM7Z%MOXN?OoKJ&_6|!r+1tQ~lgx^~qy5L(I1MWxUWg*oD zLp)`yE9jp`f|)|`CnxSzMPNF-^OjDRlxmQQ>I>nXHB;}Io=4~udm5=vFyd=%YoXaJ zYM~b#yxr_Q?HAdV!t{*PqkPRR)P0AVsUgbZ)pLSt`YBUapGWqwM`=nIuVWCot1pYl zN3&$3j8%M9*tR|2`rzxk05^U$lUvtq1+rEsY6=@TDugKdQ0kw5CgCkQj8R^ zZ$a)1MkRV0mGOvYSe1F^CBwCtjEffU>(yLe7XgtX zWR8leo4QiC${7%*nLf?F(xlEKO@+pqnnLdg3uqoj^%|);FeM{}43|h8gXmsF>6LTn zGf?^?qVz6}vfL6plDn@;{B8|Z>@D2RtMQft&R$HB$4$z_Q=Q+uLm&Otr2X56?@z-_ z+-W{ZumORuc^2~%0Pi{H?=jOA<2j2lcH-mCl6A6x=wsk6fCs(%u#Ng_h>9lX&fV?& z0yB|5Ozg(73`ZV%K!IvK;!3^yeO z9nNf17Lp(<;vgqS44r$@^wvgrybXDwvp2=rD59BE9IRBP#W%4%p3ezlbMnTJ zVhlcpYGrStn_7q9iz~tqG9K~YGSP&mMk+#~E6{GJ2*q-dTMe9MKs@^xHGbrSqyE79 z{k#Zc=XUxhUY*u?5hC>`>`|AidzC% zDIY$*$LP)yYQ1hE#i}-#wH1T1j6IN~Gkcqa@6@#{0Cmy5^nqr2{&qwP6-37(_}mgi zSNS8x6w*D(Au-SLZy15S5Wj$AunM^_(2PLwHJ2}w^23;KgzuvAZ~uF;G2Z{@Y4p_u5?J1r?I_2 zr9Xx#2iEIIQBauCedI?udTq_s!Dd(%KS#{cXEg&$mL|)JsN1|(dm$qcy001kj(BY9vLOi?g)&1s2%vg!=LsyBQ0xRH$z^R8^>rK z0CMuyQKbNkshCO_qM|(lA9=xH72d>1pNf8O_ za-+uypplv~>#5QDk&btzBUANRFB{_Kap{g{85c8{_@+ljOf+6PzDH&z<~=n5;L==3 z#@$w5Q!rHHI7?omNn(DJ31wAQ&x3-qM4H1QWoC1sxuGfo0SPjl6+g>dt~{GE=^xph zl;CM!%nBWh^W*Xd%FV8a%OcHddCh>x5-amH2eeiHK$8bffp~8GI@!Rtlj5B+Dbr?8 z?*;XgXy_>zG9A)dLqU`*Oy1=IGU5f`^gh~M))e=TGf4IRv?H1SMGOVid{~%~$uLjm z)KSdim0CiA*+G5jqQ;N%>yZIc}j?59`ZyOkX#z+Pa6r~5}4=%)lYDRsc`Y&8KvgKY1{6f!7>_=W$ZnVtzuxNk^sENivBg(pO zCqiu-?d`7?Iq{r%%aD-DJGjJk_dO7eDX~z)AUQ1@?f_JuDtA2)W9<;zzNQh6{>YK= z-ah##ULyv)b>o`9zxww7(;!qqQ5U-rCQvva(huZ3J#g|?6P@a0Pgf^Xy$ZiPvh#~b zraLsiu{?ish`Ws;S#E9z+?-5OtFxW)=nepwcu+_BV9zAoI(gU&Syq(@?(UvG5S6PJ z*`YK58KU?tlb;Z({CT-O7B##&k_JRS4fco{<_}-h(GTB8BLb=wO8*Z4S3s!0FL{ec zf1iF6g#rS?^++g1{GZBWRZ`nScDwVkjQ>`^8*E9~dds`pK3*89j(LRkA2&Vm(>l*% zwU1osH@s-I%{EQ%@_cjKU3o{-hF?9tqrp`7=bc^IUO0}ol^LK`Q1B@%gdfFa8p!xJ zS*l>#mq{uCCIm7yH8q#9zyT%Pc+Q zSsKfmJ(?bTWe(Cx#4q z@<_Gr7%sy3|jbjYi+cD`BDEu-{QJ-(ZghGdx3JuGMadGG}8lrOGYRa%c9uceP%7Q zEuKi`(KE|3FaQ`R^k>7X^ zy3aC@oz2K|Jot`(3P@GNd0GbfUiMTVi_0Pl7<8MIw6UL$C#KBWi-CXt&U{Ej>N&Rl z_!n&lyoZyeOjVpowS9pzE^P5=vBMEXoMn~A$Qa`ndKr;KN1QO|mN*eA`b>7=;1k;- zMjCWp$1q!2CT0OTE&DzsSz_@cc-q*p?&m=t&H4KFM0A>ew6o5S-dSvT48DQ{Br6%! zeFx#;EJzT8Zk$J6cpi-Y=maM#lCoiN0}e!9&+WtuQ_t|1nbe3;h|r7CFbT{n=G!w) zTVO1cCoDIrO75GXP>M7t1#Q_^iW}X$?0eD*!D!_coX+ycIn^>^*V=eJXpDBclX-6s z7+)YfJpk-~vCMGNmvLXWTr^1~U97}$0KIy|eywlvI`3*c_~@y;47MiQyjqi!BwuEG z>6JTz3V7dOyI}Q(tr=n-4GWjxM;*LP%eU`Y)P(9d!b&sr7asNV6#MrVr14UK3x0nE zmXu;vQYev-S@dqO&rGezm>RxN)$U#i3bl{N!J3zUJz;^M%wt)4L;7{TgxEmNm)xy0 z1{!^$2Re^DApv;?)i!V>u_$E_|A$1TyRjohcv)gcmi&{cI@j+G^{0RB`U%J!vL>~x zBNTC+#Sj9XzBWT=n$;D2s7T{7FTVji{)~!J2^=f7fHc6iI-%u_ey14riT?0Ypw#aV@Hqty=XGyi6``ggrhyndoGKX z7nc?LrzvGDZaweQ$-Gh?mT+d~1}^CN$9GDSRE{xPe1;yfHS!#4Ji@$(k*5L8bgdy+SsBD}YtGzy`&$X6DUs(iziBGYZ`C)>;} zEHlKfm@gN1QP?phvlviXny10%)OvPLph6;}iuD_;nezt5nS=9HIT)cC-*Kop9m#_W z$*+9=iv*pMOQCo{s?BpBsCdikGCCs#V4@?#yar>(I3t!Qmk0pO6!u7rgRUorI8Pl`!!EM0DICwAwN}ymTlsF^ zx$;9L%wRu!9C>PA_-i_!ny8Ix(sVp6sUc?bh3=c?(N8?za=;p@6on87Wbp~)YcW6h zF?<(h>rk=BG(t0>E2xwYS&EHUA;RN-sa#qI(0)9wkb?(D)9pIiB(CxzpzyoQZNoI{ z-YFtZTDkKL{anIl6*nhrJ${9A zkkTT`W}ir=@+%Q|<0=x)=cFNjt%oL?KjFQ{y(3T|m$52t3ioela#fYzS3Xjk|3mrS zK5JK{6wveUsFcWxxUA9x(&spZj=rH%qzUC4Dz%VOc(I@^yIv)SIiz4rNO@HkNFtN_ za+WavJioO@xoeFTBguVhEK2T^lfUC{z++kuf?4~7PRxGaiBZ9jT6N`47)8G6@f82y>t zL!p(Eai!s>*KZfOg7dhUWQUiXPr_7&g_FEl82ho19=og7mWU#K(na3r2k3i=0sAGpA!MfXxg9*Q4A zYD|!eoksHgqM`zTQk;ifqfU@pr1E>|hb&bjzg>?eyLJd2!lntnlNC}+d<;o2a{gwM5VtO~Joh$~uwlIi4O+*AOB?4X}`ytE~_t44UPj&(FV{;K~&aO(e1@uZhqKwY^Vn+AJ4LYfVODfjX{RXocVeZI8jVebVyS7FKg_May}f|*hCy{p@~@h!RV4~ao| zpR5_L?YYa+wEOxmg*^JpP~f4=*#&7-XGqHqj}@{FZ{ZW`G6d@X0hw_P0GAs$0Ve}6 zI5d~BzyToyGC&sPKm3MfG08`+j0UG_0(yKQ!zE;Kfi2qVjZB;VWl`;wxZ z$>64&NIHCoA`j{Oe0=)yT*-}Wi&Cn3b3ARNJQN*n8&wx&-ENNK=5L|4dnrpLewp21 zmtbbM{pa}SmuK0ce$gvclIdZyFPoz56dV0&!Z0s?UY}tCw=G){xBId?2pyvy==>H4 zkV1zn;A4_qKwt6L3h<16+m;<_Ao9+@e9G4Bt`l#@oimgj%`Sio%j({qXK&(VqSz@| zSr>KPaIo6Lc3+WOmo{bcPe8n6$wm7SLS*S+bqEl$&56N}Pyz#SW`$v%vXkY?l5ZFY zBO{!DFv!)FK5OGbEFQ&pycl{)+X`Mg5&Z%gag1F3oYI!E)2?er>BED6V^oJ5+6l1s zr|rI$Qkbl)SxdVmrz6p6U)DVZ z|7u~PLnr1d6JQQpSCqfVs=i=>Li~Y&$vE(Tf%T(*zbR7QY4w0N;S;}ZS0<5=3Yu>4 z=8X5-M-iSdSM9auda^jkyU~v{g4h8aq-sy1^*8K}|`+*I_IoXJjvkjrZGFPSe9WbUH$TZYS-ze(Ch#8Z`GGVi%otIY8XJaxS>rCOu}i+^Ogj zc>HK*!W16Gm^5XL2^*II_@O)_5QLY1gREdkwZ_hJsbVP=Csr808;U#54D!T-X0DUL zXwX$NELap9^Vqw0WPwRY29KglgjBs?Hd=#4ojpUjfc%TuD;p%a8(H|4G6>h~7e5c> z{fw8YDXK$>*KxrfeFwUtZ<|#k-;Z-jiokc-nM;-KdpW2BH^E}HC%zE+x(<4OMSU09 z&V$7kM?YsihuI>MUcZ-(Dsb$4P6Ex9s;AMQUC;v$8UjuL0WX$(%9P;Lc%lT%^v=*C)0#tHxymja2Mc8 zx$9Cp;UPtUtC=#zeAKroLCTAi;D(VWiMhqSA?*AVd#KzpV_MRuP0g=8sh zpSADBuC9Slyl(Y&WjWiNJ>iN$3&v)-y z_pVuM=H1VZcgM5ewT7M9(1c&f5$*s{hr^KkLIOZ(fQp{6H~(3E0_9p-4B# zAC!RI9D?wK!eP??ORs`}fRMMCDhPRNf2IeA0kpl`074=FA#rIT327h@APfXb{l^fF zkOruNyrGT&Jpq6=90u_uU{`^A_#&XrF38(k{&NIyfw=)fQc@Cpzuf^!?hphN41xjl zKu8ye`|XWjkQ=}R4u(RIzW)lrCF_DjdPoZj`uO+=fZRO=;0R}VZa#ny6zKvme};HM z5Z(|+z^`%v`XG16@4^HK*a4<4P|rWG3ETR_m2S|;IGyIgam~C4)>S$uRu`PZ)Xq~40rbc!F-`GXMhvb4FWJw*A+mb zkbD3T%<-2Y$juXe>ksk=*yE_Di^d$I|pDGjq0pE7rSMc{(U14w^nE#)%6BOp?^s59%FAqU881#`B zL`(HAi(81`AIuqo1c(8FKnY1H0OSz>f&#k;{t9mD>jC+#6#50<<{#+qe*yOZINg>2 z34}U9Zhr{;Jwe_O021K^3H1NpihoN4LP7vXC>RNFfH*^81ph?8g&|IVUz#SjGjD+}O1f4*8UCpbXrPqMdN`cJ~%e@&n3uf^a7{5zID{Fbp00M|bR zw*iU)!M9&R|KBwK?ec$P_pd1b4}$-9KI&d>Zojo$ztsPS7UT|f^ZiSI%U3VtE%)`{ zw;KTaZ&M4%pLNxPI6}SL|68kt1l{g{63p4{?_{V7TM2?GhFf2Y?U=kT1dQ zh;Jn^fWOe~8ahHyzZnb=6oA2zw=RI&@&W-)a0J1xd5Q@G1fAesh+pV$KvW7Kc>7NM zBZ~k8J>0xJ{|3ZFe*uD?x5WHg1_A_;KJb4WBmshc5X2wgU%7(45Qy7N{mrG@LjEKF zeik4Q6a-8#Hw_2Ngg>kcZ#}C~y63~cHX=94zGjim&F?>lX!E)t#!ca_&I(;doG7IX zbl+Y0qQ-Ts_=)Mtf2+A3_i4*>qqjc;F6|PH$JgEx%#Km@e~uPzDZTDtz^CUoRa_6a zdK6&(*cG!Gy+fNl?~#`zv0(xEna_I-)a#zI`417(YewtU;yQ$vWfT0dW-&I8OFpva zJ7iDMu;3v18Sr?>_E97sk54Aaaz}5Nv=ey=0=HvDiu|osgyYVq{1z)rg*`iI*=Vh3 z7%-2?K8$nte=BdKYE#enzbaZrd`O$3Y8zg4PZo09;PPA3H$Fpr|M7r>eN>u@mPQbh zLMu9ExkWR{y@WXlM>KnXL3-&=DWicKBfBQ!b|C!@|E$QsB;{_wstJ#Qf5JPd*1XZ>xz&}lqZ+c@vlymv zdj9LD*gs2g&U^sA&NPx}x}KKE=_a*g!bh4l9>7BRp{K-sYXlp7k5)G4pEW0wJW8mE zpun$iC$&j5W`X4xfEfx^6ZRxux$6jL7_-r1tJJ4s={YrJ2GCcL z5hv@FuM#x*BEEqn?2l7p*X^ui56GRf53D+_wuXnv>dVq0ILo=Y!NF6xp^s7`1%q%N ze{x!@2`%E^8}M=F>({9aNj@TmyHCsON!H8MAW8wxRPIw?GBhwIJT)hErKE74|%sGk0Z#0K$CK|C{RGSeM5V=BG01=XMjLZ`lBC5s)LF3rA91ht-|cRvY8J|3+R ztLg+pNj2EShMa+WI;L*dm>!oiigWU|v^P$l=P)cLzJ15XCA|OPIcV1df(@}^#1y5W0?qKW#%kR)^lE4=fs*#a;uLN z15d7ruHc?NWzRQ^%pP-RHA+TTfAxc&eO7t^>hqRI^~Sy*(hP02gAL9Fp*_xs4y4^< zx>*R0HbG_%YGgl?sJJts(@G-|DctUqU8#~Y3k7OWx(j(JgoaU1iAHgx+HQUOlwR#P ze4`$+;NiYWj@x8LR!!p4ls8$I+eORfQ)E-E?T9PM+i8-gCRfsVKk5e7e>h~G$UZr* zFi}07t1)OT8W!_Tb(DL4XCfXaF>o_XHueqoHoM17f-3tXgzGr`NBDg%4xGgHz6LPX zGs*0Iz*I2}K1J>E@Q@EgH>+n7H-#<&2;+S!QSr_P7$1BJIU!yjov<~li9DE50!N*= zES}8g(|EMb2*A$8Pe_k{2+9le@!ppAf z%anMxHC02BTmwOzd7mx4WqFgZ0(&b#WlPT{_cK8qYb_ddV}l>Qp%c6#{10HUqa_*^RVLV&j-A*oPGoZ zt{Pt?;ES?EQ{e=0f0N>PQSNx(Syp2+E6-@RiGE`tvlWv=H=zTpyd(aWZMvvrJvyP% z&{d&l*!QjPO{D0P7IInalf|X|p`=H0DjIBned^REMaQ|WTI|N4!vQ5BBgs%D{($8u z2O)dE%G!r$fck{g`Ql3}o4W-9eTco%J9$B0`#d``Sl&2ne^T2T`(|Wha3K0sfp=YW zGfk$rH!J+a_15J+r;%T?a5ftlY@}ZI-u55gUzj(A?e64JV2$j|%G;zLgBJEDb>|=7 z;SUJa$#L!{WbsWex|F{A5$4((Kewggq?Ywq>_Xl4*;ur1D$FH-{(~bPH7?GWAXi5a z$Mv^P!i*pDT4E*P5gLvn$=T2sa#xi(oq9Eo$bjTU7GX-EN^-WO}-ck z`H8qEM=|t#;`PZGEWE0{O@{~;AggAx77mQrqc#V~(EGhflr6gHN%PC8?F8GYYmjf6Cf6V7kmMiI_|X3^YyMJf&Rx zNiLO5uR6i?eF%&(DYciM?g^QpeUk07WBgQ7Vv)ISqz0bonbb_Kxqld!Rrxjh2qj~pDzCI0f7jZPw}~~B^uVk$4wgB7m~CD)+=o`~ ze@@hYTMhOa=|JpzlWC>dnrppUu8OcR+1+K)imSp|_a+X`^~A?XdSvO5g)?esdm|Qb zgBgG@_!Na6f({0MR|ZlZ#_E^{%;arFh@LJ1RX`6tJ{NC!4oE8XZoJJ-`$qg_c=OFo zf4(J#DF624mTvvpw>z(gtKaWqKneF2ch${n{n>j_nD^AM?e0`&@z{^)8oV>xJ|yT% z*6FC!7#v{m37gYs~_f2sm4gO zg8CvONK`Afi_8sx-P`QT|oHQ%@&PwQsD{PqFosY)Ye=*3P z%TXzo69Noy&^Csc=FxyMR0v< zR{1#FSl)JJ$X>(|*1g_*j60boQd6X zU-3kW!aq7-X_YwBo8^e%g+W3pfBSo{N|oBG(ZA*elJQ-Z{NVmZB@Ly;>jm$-SV_Be ze6OAey(6ohDe)0YkXQ1sy2B=atIJ&Abyhsw#`S(7E(EX&IyAZDf9sR>3=f5~ zLx)Cjsf5SMr|PfxXf)y^K)cjk<~Wwq3rRn>kn}{|n2{%X!QNnbVJZvOS0WX_Z(9gG zwn`BG4Ura=yZ4K+9~TCj?JTeO2*|^vx$@Xmwpy0n)xwP8!*$F@R1+GloL689t9wI= zIKw1LiHHI90NcpwCoek%e*9Jxk3aS3v#CY|z*rOCn#a;Ntp&IS?W+WW9I&tM8A_B6 z_)fP+d3ZCrmY9C}Fk@=W%ibe_wtI=kRJXt!Rr`s?>8xIz1mLW(f3$*@ZP*zttYE@U z9?;;xUi0PpDy?8!p99$|El;CnFlec*y{C`Gg^>u>jbUG)Q4vi z73g2`!XsCvs~vZUNc{vi3on*M3RfOdCKmE^axrM58@}jaMRQhUq*3fuws0_u@ z&~xOFE*d0id!Kl!e`P(X{gfeHs!GaKw(Vo?;0v8i%$HC4bET-Pwfxf!FXY4M!o-M; zy}%q?yJb`-lfZ>C?`+b#gS=dsegE$wS17E&w|49T?N|=E5R1HB(y{_!hzV+26+Kjv z@n!iv_;$v|s{j1k&hL#IS%G*s9X>EV3&Z_9iYmVs7^yK?e=^g&#*xS;=EL_7zQ_#| z+Dv#AwaEKjiKCCw;fm+1t$ZklIaFR9{tv8&%*4Jj<4~NUyxI`Rp1+v#S z(pjMs`{r7Mx>!!iOn9+meKm~gb+by%RWajX!jvZAf9Ec^M;wCl{1cYC$<_cbky+co z&;r|8L*GaXIW1wci_9GUm==0|5booV)WT3{M!4!(zgb%)javD+dXq0)2KebZgkfJ{ zX?|kf-Ed5vj%A3oFQxaQhKM50R7{(hhwdzRjr!b#TCqfLU4m7TV|tsvxa2&~_c83^ zz0`}Pf1~r~6Jm`u8sW93OH&^Q!p(zmkH`p4%hPsvEzoLBtmzCk-9;!94c#51zVnfm z^Cp{wjL~#ml^mFE=SR4n`5xajmSrQP9R9i(g1;(!1H$8&IBBBFeLO2yr1CNEWUppb ze}qViN}_?atnPErV6R^E@p0CIX>F%My|N$We~%gC@!{sY0wan#zw*){C!IRV=29kkTt)`wZo7#ZV{4%%w4_K6Wk)r${bwOz3v-xPTZs- z0j^2UnhTkgp@3yO90SwbsT|z@yjix%CF{Q9v=r{CMIHd98_y_qh;_UnAAlgx{S(xNnXCGf$ml|DMsYr)NPAD4)*{pY2uy0#@#?x0Y^HS;yX(Sf%oJNcl;r{6}r`imJ7|u45Sx}O) zIKk^D2@{l4fIS?4O_MXuRf#+Eeu#^Ye=4)s;IXg|;dfc_e03N&Pl$Ov&CFJK@w)Rq6B6B+CO9Hs_Jv2?BR9d_$DPD3jNFyPbcaIoT>a6z9I_ zMZGBVooCjM7b}Q%=9`oj&W_HE+*OZlC1wBSHKk_1TeX8Wsl0&-_BqAlTC5(3f5_yh zCw`E5I2@WCN)fGJd~80tQ9GYgII7gIOytVTfzhovz&Sde9^u&?7SR%6C)0wPQPD{8 z?9nloUFlU*w)9S`z??MqZYUL_^*BDA0+z!yvPVFFzZfT=^P}OMdv9QOr(mR4^$M$m z5{p^+JMM;XQ=1tp)Rra@0v-q#f1baeJN|wMBzW$9(DqnW#MLb2$hvc4hL?_StGsUd z9U~15-w-CA0pX4)`|?vZY;sM`%br>l98y8D`s;@1M65e8mjzu@0el7Ca?N{z-y^b^ zR3gi=vV85uEr|_zn%0lvF`pxrIwf)0Dg5E0;AElo76X$5Fs#e4y0|RpNPJ@zmZ?@* zY$yo*Su0HBqe2#69hb;5$<%9I@2gs_-OtB5>=4`?WfdN2&LaUpkuIm}e3i+GjvGt% z9r6xIkrLP9)?&eDV@`ZOeVpRKkc(@ zjpDH`NGoq>*gBU==xZ;fn(jwfv}0}?reH7YRKl~AhtqQLYMD3(Q@OOlXDXuXLx=Uj z6*ZK?yp9N?-IfWe0t!KyuEe~APl@M&D!>1PDh3DKaDc;mI`(3Pe|~E9W6&D}wxElx z?s5=?GRq?L?4H*gxT%cKz4%5FLN|a-IipX)THKcq_ga)VS>BtES8wS+X!BdAhewp% zm+H9fO5i@!FywkTC1o!rw6)^kX+o28QM;8;WW039lc04dSCU)IvoCV4kE%e`75f66 zLL^_aW|ugnWw@u8e{4mW_W8ENsl8C(Z@P0zwV<%M2h62My2NO8QAsR$UQ{_uFFq3t zWCh6;jjD`^gj=@*1cW57&=($RonM$5%o-697=_(XGUX)uE^rm8QSx;Dl<%nETzhpqfc1JbnHvmf6ng*<&u zerW(#=?>YuTe@W7q zsoJU?xkxFHa55MMrlnKuvpV=p5Z-)a1-(16S$n$tf4s*f^Jkv5ETd^Jq%Hsu{wda! zdxYgNw$f(X?5dCjkH$&>lF)p|hS4_nWlA=Bdy&H1Y(4rFP~_cX9L6)RwGRefPpYJ% zXg}qB{r>&3{Kxf%(h&FfQJ%FqtBL05Q$SIfoh_8 z1Aa=C8%x9%@rVy!+3lw_=RB-hPCeuX{Bz;KfA0i3{lBqtmL0$L(j(o7Gp$|u@h+tY z%R1EgP|N?Fqpp&EQg1MRpaUj7WIIAoU4clc$=1Oud)j-T>v4JEqs8Y5)*`Z_qI$}v zg_Itk#ubEqn{_4d$?~N^2)U@ud?Ch0b%Zj!x9P)|O!W%F_*WQc*;n)X@<~ISJ-Cil ze=t<5ep&)6^lqN3ozl{ahN;(KH3gomGOeF{`cH-v(b0vArj)xPtlQpa9$N`)e^lf) zTjO(bI;j03+I;H%al;kQ+b+&@#>c$j?*FV6y=Gq%hUuO*SqT-Yt4 z#9k$ejpQpg%vbHm!RB`c2aV5;Zh|Z^ZH+Dp0P?YcqK5}zAQ_U?VauOZdHO|cf3pS- zpITBBb1q_Z9r@x94z+!vda*T5x~ac3eod%+Z&zLJVzaFMfc|WnPUf*+Y-_VV4L0vk z<*LZ~led&Ic7?W@tM|WZ+e^}vYN&w2GBXk0-CAFmRtZ)FC7vDyGiQ=NBju`(0OwKL zr`&tFNz<;@D$(zm+DG(xQo%ZMe=x|c(d$`U$|Q3WPvM73xTZ%w`mpW&ED1*+#}_xv z+YQY4H|arpyu#aW$WhV4I9K(yP8P&XJ~mF+lRx9%1kqB@%0HiU?w~(FKW4Exh0A%d z7OF_Eu8ot7Ra~F!apm3N_c??esD#&D8#aB$#rC~BR_4zjS2$K>flHhwf1)S)4n~yr z^lG^9AU-sAL88CAs;*)v>@q%Z+wws9!-zmhtq?*{D9&fYV}@J+L$FFuE<+bb zHc6 zsF_k0H9V;i%i*=BXbwL$zPcjXbalAf<2Q9WGVsZ-SA(ony3I0K(_QoYk@n-`s3rZH zqAw5Q=i^tzXC0zRU6-A*w52d?hJfLt_9p@iC9+GQbMvM{nHB6Qe`PSD#9|40U}-5l z<-&x@G+XcoSK;R*JWLgZeO-N>y<{dS_qM%`AITziWP$tUz0|Jiq_z$HHoi9$!UP@Z z%S6xP0Pf7CcqH>|3gHwqb{xhxtBLys8qG9bY{S)|<0t+~See_hOct+{Wq36d-IhI0 z?i79W88Ow5u=TMne_?f;DzGbv(EE{^Q9=b$w`?kC<%wd~F85D0sl3Fy_mg6+*7Akz zSFO)0oqJg{XFKTj7HR!4Fb>jYn)^DY5(0EgWN5*$vOVT!8DRPGfQ&Q>UhP^7!5Cj)u zF>(QOE~in0Q7EOkENeuF-_d^Ze*nzp&T6+<-~zLE5imCjFHB`_XLM*XATcmAFgKTx z-~to{F)=eaH?kzaAV()K6e92kL(&ms>imCflQMOFCMrQ80C^W% z06QmuokxJ3SAdNTz`@4G{~sdMQ2-!i>I$|1D6s(Kp%9Q03XLSx-op`WW$pZ2=RaQo z^yUlzc7A?droX}g;&vcMu(>G&pk(T74YGT#Xl`l?(14nQLCzlkm4aT#+S%D&fR)wF z&5gy>&WQ!;XeEEbzyxpuJ6i+PK~5k?SC9qZ_s9TcQ#;TV zrj8)Mv%wZ@4uUv6hqyp2K#qXt>HrO(B0$9+1o@k+_&0$G@Xz4@*jd>BC*42MzY~EW ze+8SGn?vpFO(7m&h!wyRYzqRY$SATnyE`)hOd%G(iKc(HPSEFgQ&&^4t*O~F;jh+B z0W#uh0Mq9Q|C!Ip+!1W=?8M>(w*5UL>+dwr$1Dx8kc8UVfgsLKD8KuY0y~1tpU>Tc z^`FbNfk53LUjIRsV2Fj~?=dV~>{+!SUc@A0673a z?&j94zYBk8df0>haFnSU!&d@&Q|don93}gj{p!}Qt*$lG$8$aK_BiJ2a!1gRZb^zP&*Z+JodRCYP6k_Y~Fa578 zW>r#`Qx%tf^Uuitxc6NU@P5>`A8^Gtk^QfAF|LKG6-&i2T z5(?n|yWQt=`cKQQ|7d{zp9Nt6{C6&8=(BP`0Q!H0Zpg;XX8!!f{{JlZze4{1RQ@~5 z|5fP!yCWGFTid_<^nVlnKYmj?u&u{GjA!M#I6rTJ67+c&Ape`H1NwV)l|U9?7rX!M z1v-D5K5v6K#Ohhm%$@caViD*xB6rZ`J&5*ZRG0wqOWI73u{3{e*dr zVq^PXzUL(~w|RbwI6X`AFBj-}hyJ^+G{hWg@q5`gxOo7kj*g}tC~VJ);^5{6c(Ffk zr3J|SFEImHSs+m7=Mcd2j6MKMs3Xeni{*dk1+bd_HvNtG0IX*JB7Oj?`Trm;u4nYT zdjGP2_seSW2V@7Zg8qOU09MO?;co=~!^;U^wfX}-XSeUZz z97p)>&`HsSV^^WQUH>g7#KMZ;}V&76icgube)$FL~I`&oZ9AGrB$ z13w1Z%W?9(iTs{?7WdO2XvtJ^b2O)op_1GFQiy%>7KhFwzGgC4U+MM1MY`1~Oqs%L zl{I2&M#JHz(>_xGQvsvg;@4nhp3?Nz;2T!u##Pa|RonjQ7=g|+@h6v+lLote`j^RD zVF!HeU+~Ox39hAnXz(z=ysv+hfji@CH^>YI@#I>ew@(&*dz~wl=Knn+%|IXtVWur= z2|?4ADQ5>$BFZ6OW_>#x+a^U4DGyk#F)3=D;sl>smXvrKuxCBGzbN=Jw@y>8^+*Lt zn=5?TYsyaSb>V!Td zYM+%z9R%nDlqOYX85+E)k%@iDO5BNGNA`*Hx*)pK_cfOTA2osxWW95NL@$VuFVv=E zPDaS}VoJM(vyii~_$k-BCc%Mc%j^_CTP0SJ5XZ0r|M(_8s@&3YSOE z(wE(3!kGPFV558pHAH`ZS%Efnts8E(%nrusl<87=_>7_cQN%yc*J87SG*^P(42fuDh;H^D%Q;xeox#e%Pcgl zXzT=FDOeug7Tuz9!~%Qh5>F9yrK#ictz0oS+2@Vop`PzHs^?3RxD?X8TNfQ)1|}a> zf005o9gkzD$>x8Gqa`1rZaIdivu4at;PenKh*$a&fxBp#OFmmIlb`mTVj}pP6d9gQ zi*}n-HpG^-A?NtF+B#l(%ne8z!IH8IvKz$_CF4$nHYiz-AsXil=64WhV=SjGX~Z;r zzlW=%5+x=>eM3TKz9klH8HEA2^D24{wnM3-&ccB1H4T600l#5b_c26X3lZyHv<55i z(UKoe2E17CrqlA2!POiGYl!saJsm#UYe0%L4@m* z31ai2pHBV4xqX5nrr%VeiGAP>WZE%!G{cAWGyPPD;okZaO+?=2d({q&iCnSlxe^6B z%@$YaTHQJ^%B57K+PfmXr78Aq;rxoU1BDMkgGGOG`UNpPh{NfmZYupjc~bDHTMNNF z*x0F(@vr$Jj1KCpn9N^^FLaS+K-WcMjwiF4+un8FiV6nQ0Y4Mwh|3m#+|*NTS5Uwo zC|Y=G?B0_&cQV=bpU~lN7k^(V#Q~IFJ9^Z)R#48aX5<8m(>MnPVw9l5qn0&xvq0U^ zHoAYQ`e|V`nyjT@C@;#my+RNVKjnXEW!d|3za@b;_)%T`*#iHT41!F!tbvi z^H~G}HfP;j5l)_XP~n6E!tf!tTX?>r+Ee3i{0{~`L?(Y;mlApiJ*Q zZSuoMsiEW#&6$C3hS!ncE%nmVcL^5xV$>^~XuVV)_$8C5lB#`q?n~UziE{B}pYSLj zk(Ev3xrXtc{%GKc1$Iu2dkg$`f8=QW3-VK}12ojmPa?+lHv^u#GYIZsqc$$CL zLawd;c0+K`nlWc3mcP~sR1@}I6& z@&0)aKAk8nv&-!(g^0fVZ-)mDa^`GCgO6U;VeI}o3=`{W&Q1`-N!Dtw`UUrnohD|i zUP#$@BM>e)7cvHGLu{!H4ox2Tg{FU7{?T_-Ke*lii`bU@%MT&flH57gy96yD6DK}e zdIBjRu={vSUziZ1+oCUZdUUpdt&2tJGOEIY6Y}_y%lJTkUe{sC>#C=mt=Dp$vZ&9k z=O?L6A5xcUbRsC^BKqQ1notn9I(hL5&EHdOm;7jnC{(?^u|RyQe0IB)Dm#CnbXW)H zn3(fq;|SX)f~$ovz6ulhU6=-bG?8^v`{;r--3u>lt~~>{i=u(=K_UeXhQ&{H_fA)- zBvzX}tuzXP(UO0cFr;UFz8gC^0+$9VIBaBt~jSD{AhFOp!wdM>LB5x(j(loAN zR0WVt-dbdpAx$l4y2>Edh_d=c|2^9LM-22uM5Q9hAX194t)9g1OCzBPSG6bPT1WTx z6c3|U0izf$y+f!?HXSowrSOmu%ny6YFX*fYtgW2@MLx>JN%23e9vFXr;nq60WX~BE zvA%yt!gXL@A4b~E?8R+UP_;F=l6`j(LQ!J>`N{89=;KP3 zDh-;b1@jQ&uVvX0_LFyqb-4LbFqn@rw7}`%bN3N4 z&|MnMkvaYd7=P;oWizCVdjdWv;Z*1*wJR!Dl1&n~@`^4k=?obsv?Hm&a6qPP_7h^; zuWirfUV}yTvJLblE(D_xa^Z@gP^4vsJ?Xc(iK9a!S>L0I^?-k`*+-Qz7TGB>iyg3LHr)3(D3qyC9tdZ#H{pIkZFdMNw$ zprYqaU#9o=sm2?3Glak`Ct^krXO4)#@Z1Z$oJcGgWsKI|Fs*{z`cNc0l-j4ON<2wA zq9Z(`hvfmYdIkI>HQjKvbO za-r%OtK3I)W3`{6y@kNF<%?`V)RUx5qHKBK$gpINZuB6vkOoH@d)_I;^TcJJRvPaP zEvcyO{QCq){TbGMrn2B}Dg@<1cDSu&xvr%cmiLm;b4q{jAq@G~YsW8wc;RZ)cwbw- zzbJJaNU@o-IJKlu{&+ll*nLxPcmo|`PU6{a2M!irQmMNcQou>}r5|iMoZL}ZY@FWT zgfjXvlo_4q$5g@a$Jc7c^_0#p3VzC#%2`kI0|f*I35Qdu_kQNm`IdjtJ}Q!@7;5wo zwAgcbQ80goGHw|DC2pVG>gV?ZYL3(#>iK&(yFJ1V)IgLNhkC-3imxwL^28l1g7RE? zzNZdxS4f=w=)vyz{vl(euT0)_f`MSNeeI?2wgFv;C3=avPv)-C&rl&a<;~U{0?(N7 zfSEZ4svm3)4MV5RVX~YY5&d-ULIJ^6v{s9ct)PFa*`=;)SnI@tg5Sx$TgLiow=w)Cp=_m`5!;Cxe7`Rrhk2N)^)DEmMkp|!f~yhTT=CIWtKO_ z*ILfcXo?04Ps$r3GOdbZMj+{sXLIFa6G+_iMKF<4?o7SrCf?MlzK}rf069}B%O`*8 z?;2;$r^3Y=?_}mph{o-uVK#R?$5tH!eJUhwpnVt0UoraNnb19q-=5Dia&9RlG=so} zsR-TfIeAtR!DIH=l4u{r?9fs1ezwjm1quqrZNs_j@07DK?hTxtpt%0&*%#81@f_-Pp7*cyD7fPE`Mr7=Jl{9U@xp2bBLrx}6a+6>#xg%k_Y{*@%eh@3>3mW*QS|HF< z+A9&0j42csDkQ$c#tchI|LAf#G$?K+&y!z%Q8(mz^2(Wc^*)Tzva;UgigtgW=IeH> zE|xkmcbLM_>U0Uk6B2=MD_KW)kb^{SbOuc1TzOr7Co#RW0BIoY9g0f*;ML>UQS2_u zy|!+=n2P!A(%YQeV%peV6A8p}V&{jf2$dKs^=)e?>omw&agEPs+0?iG&yPO{Np!;sf%z{KLgXqkMdYeN%KD4Af=NB#qq|jg1?- zv2EM7a~s>Zjguy6Y~#i^wr$&N()ninYi7;cJf5@8^Wi>w?=YRMOWa-oe^dO}qgxl6 zTKFkZ&1L(K6iZ4NB&%9;5xEJ%A3W#+8}~AViKK-@M3p+>KY1J6 zcik5x?njuX?|+P&SL~^SI*C!LU!O0Wg&4aH*&ZIdvDy{ua3CY%>tDdbSTqX)=0a_V zUIKZnMQ8TBnOQ%)1Uhc<;#i`DhtDV>(#J2iavXR7QlRysYU=Ug+h z%BS!`*;PhML~s0{dW?__u4U~yS%0mJHYSWzu^2gMU{rR@AN(=didU><8{@-C#CMzixRA z*)mZX%*i3&DJS8ASMhbDt;hD0MdnXx9`}4)pBN3$?448*1{x7`bg5s2GnOu~LAN4$WP(!Zyij&Cs%{B9;(L*{SCe>XCD zR*$ac+SA3&x^okjR78u^0hC$P=&`?HC=hcn`K`lbqOdg1?FjnH(TH+of?`3f&)Oh@ zjj=_1ZuLINeilKd$H|AyyL#!bTNfSI!f0pN@((k;z!|;07yLf~=k>))Es1D(90*gT zD>rKO(UkyvZrZ7y1-2>Uee|RX61f$#xmFZ6$aPc|(idHXsS%exCBDt5Yc3-f-BQ4$Pe5|dlAK6K;_TS6o5 zk=|r8pg1?ui_yl^Lk*DEVK{2g=i__Xb%ca4zNCbtuE;Sgl3X(V_OZs8kdw~Wos!SF z{jQ178*VGDpv)VkM48^(V6i*A~&;uR)zc=8E*kT3XDxZoClV^(3sthYBP9)jR;FfRJg!Z(3YRm#{5^oOp-{;>1 zr%MoVvM3EEgtZBpD{5%s)!sI`!&)~PsOmgrLMXC4#YU#2?24I*v*JvekyEP|$90*Q zwJM4VwGwi!BwFN?(J^_vQD>#mz9>-5@*+ch~8ZGI>YR)j1k3w@`tN zU(4W9`;%^)6Zg($@Yww@7I;+}MpOv({9iZMhgiLLw+1oW_k1W92~#lX1Cj>;hm*E# z+&2}uW-s_AXIUSb>ogQxeWLtX<<_!|0WRg?i-Ohne=k^SdstcTu9vv0yX4MT%t>iQ(mWti= z^C&bqOXtUa^_LQOuY9`rUQk+^JVW<^UEO-LkYp-H?K!%h@^hILzvgH`Wp$%SeN|)V zJ7?Q?ebZ+ZyGyt@jpSoo;!sx>bHJHFuOR%{kMogVLLuM4-L!o~`7YmdfkK!N2`VqE zew#FuoCqNVs2pYAN(1&)#>O3d1`32sBfX%$McBOJ?vlC_cw9yUHZ|sQxjKC zbg9_+HS3@`d!({9YFW&!q%{(qYC_oezY9Ew({2%xsg&@`XW)-F%r~@GD4&?_!&KC@ zxvOEPUE>WuJvPVQ4BvoXS|oi}UJ?)Wx$K6kbQIN@bp6zFpKbCjKz;ixW68*GLPxaM z=ixjS+`>H;n49lEs_*?MXw%jIIY|1!mF@d?C-js)oj+XZJ4$h2WU*dQnA)tNi+CL{ z&xH)BzTCO#vgG!l%i7RS!m->4D}M-%Ry&6M3uSH#*0`25ule&tAMnla{TD9qw3Ay2 z1J07m?E5IsNue&WFc7I!I#E;WV3o5L&lYEzSj^7_5L9u-_`&^OnVl51(|U+Q(@G(u zaju0=34~$4=p@7N3>$egd)$2oV7pXu#?}xKKf}dax6#WA zdm;LeBZ|y%a$CUumFAEG7EMC}i!fEIW!pApc*lg*_CEJ?=}5t6gIAAn)X7NIw`HG@ zklOGZk^jJ9B-tGBq109ZP-ik#=O2i4$`ACVQoWcLskW=hsrOucxvOz#nu~?KTz8TO zYxuS_csm35z$4*-=xr%ZJDi73jRQ|;@i4m`ZwDItR`a_(eL~E2_)$OPK)-qLY!=9M z)N{S5A}TBe$#?fW+2Pic&HVU^{rFpXg(YXzix*$5=vHAzJiU=UDW941wv9oId`VML zdO#nNk$!sO;~HX!$6Q+Czqg1eO2=>W+%&}Lj9ap?z=wvarb|Ile%WJvRH&3=@6D`Jp`cWcO{*MPd$<&E~YcS^jv z1DcsDSVp!d&4A=|;$Q8&YOqdwM5>n}#%78yv+Xj}4;6s(Pm z#v*hw9;?GeY=4Ww*KzeVp>|=0;47Fr_E$dvedN@IWji88ZvM@!gXwu5x;%crCl&4pOvIyc5c$z?Z~Z8SCZb<55H}x*iig`q#IKGiXMcB;Ag~{h!8dx#qA(wXJW3 z`Bd?n=!+{C{_gyME4KN3*7Ai8{Mh{ zyMrk_BTXI_`76d)0!~}+$dlTeYq`W$mXos9XoHk3Taz0;Pj23AS^dtTNDlH{SyVeP zawwowgG4S`*Hs%R6eCvqsD$nFkV!~=zMA|1AO44--Gi%GUOt!2ed?ui)YK1mNuPz` zFB#)*UdswcramT6nCS!!pw{sKh0=y*xn80`8+#=T$n+ac`VSBgVEZQVr}-<4ln-j! zvAn&I#jC_X-wxr!LFoID!RpB~JDRZa)QVGxTrBqF1GkYrO?fOOx(8dtZ{r=Govp9w zlLhn?u(ai^DYTm&1HvyvA?NX#$hk>Ptb0U%I8AB&A=>G8DUQ>X-aKSLQq!fV@9C=9 zm3XYTP&J6<>GpUPHIZsg-}F#!UlafA-=EVAWRjtL zZ};k3ck$hd*g|%?K2w|nPCW@_YReDFav!u_%y72e4#@aoRXK+(J~XFtWe*~=cQ)cl z>NLx{%SDk^v@{s8Phja^+j2biF_ZL^q4|i$L~$*ao@Rm9Y*;3Ir&F7U7iF|wg9f0g zVJtnRe`+5Vn*W&7tpQ&ruP4Da(iW9tn#|=Xd94#FWbx*0zI!GB7cCB<=W9#Mw6*MS z9}@#6PSY7yizBMGM)jr80FvHt-N@KnDcl)mX3D*kIs4fT$$C%Wyk~>)T^~1-M(9o? zubhsG3BHE$V}f8SKvN7JO0w+u2mp=0H2QrxCV^6!OihL5QK zUsUx@0Vc{SKFrjZOkq2(R8C|CU%_ zerbT&uq*ZTGDOiQmP2DqqL}C(D)npm)_$#mtylALNb9fQSoKF5%^E)P;}kdNhQh1G ztmY?3S(p-zaS?uAr0=pMS*~2-`c;ER4sAXm#xaq0X?zS@Vy;Jr?k|S6NL~NTz55^y zmBqgLxb7=ZP7>KHMd=-eEaq#zKp|u-el1Yv$cdvQ`TMM}^RawR-MMz*^~m;&V&BcD z`ST=&E`hy+---WjB59E=2W2(=UJH!I=oc>0qhksHP8u|Ne$OBEG5Y(oWPL7ZrJk{% zo0i7Sc~{qeEvHaWKdig9AKJ<=5-4m`A#6)PREwOa6vCf4{`99O>O97W9BHZ{zi{4 znxc!#<5*esdBi1P4mUADsRd;ZOy-jYjQrmQ+7ylcA&3G4Vp}vAiL@4KZk=)OZ9{>; z7Z2WZGEXCTXZHQoTf~33l?+jerGcU*5YJt=l~4xI!`o&e*e*t(sXgV4y-qaPFj4>bQf9tcWrx5 z)}yGy7~%ZbEihC*KN6`^yKnD2WOsdUXZ-e-EhDAx%rp1}ne!{h-mi&FXMZ@LplJWm z%%4z>DFt_SxM^Ac1PN||dt&|x>QDu+sDice@Ps6#s7^sn%TQO>!~pgyAoVJG%Rjn& zS|1Ib9PN^vqShAwlVv|tn^JZBhB!q=CyLCrzE+jAeNcoWK#+ktrr{EajR@Pt631Mc zUl0j;oXp#E!&dhzy)|>LN4*Eo!oi%|+C!A{nvfIjK{9+wn6?*su=Vhesy{7dn^_z0 zM==|naCDu0kQMsS^Jd!O!or!v4^jqM4gM*KWl+Lx<_kcFr>;PDXlvEL60dFWptM~zlE#n<;?m&vP!xl!xHNt!@JHvD6G zUVPR<>l^9T9>iZHyV)cOXC`Mx*&MPxM7N_h@;q$h>uI$8*#MkVp&kSr zQbWlwHON;eWOL&?B=wh7tz^ceNA2tIPMj0sV%{>Y@Ps$Nb<8e^Z~WRjzq?hq9qE&b z@cyL~?;1*0twM0WjQ-lU<7KMgk+E#c4DNwxi#XTEUot3nmk?n7S+q_z$tayMM#=tx z`}g`d;+7)%m^=Gri!Y=zB`b94P+V(_|LE^dj@GZuq0!fX&*pt}^?##^yJbbQQ zrF*SFeg(T(E2XcDxvsfgH?G!mvRLDkLU@W3gD2G#*~Un0 z>9A5snJ2zJ>Fx1(`$VnA{q5(Jxp5Efy)Qaee+-2$v4`3!Nviw)kO{A)f>i&)JfW?D z&}&MP69P~i;-!-IbWMF}5OLB_xw+?lB6jJ>R_{S?HOstC>UZcyH(lz+7`=hETpog#euDHdn0&+I9;tVr?_?vlAFP{5(6Z zNWT9G`yI(nET}rbyX52J@!gLI?7tje9D#nXb~`KvsQ@T2RA7DeV>5kD?+A%OHjlcM z+ML|ME?j;zZ-rZU=={(}lqp-9)#1^dx}5|R3^>~)zf0ZUSi^gZ)M5#iQNT}?v?VI5 zy#cBHs{j1$J?r880_W)>?CrOM>v8U!t3@O`gGWUrFBGk72fJRiiXM`=p_R?H5YPGN zNzv|0{P>1Ej*XQFZ$?d`iW z18$P*3WPP=ASJ?x?tr8a9%U+?Z`?$T$O9;N8|s}Oq-U9;F>P}1UiZ!B9<Pk;>Dv=d4m_xZK}C}!4L8A1 z@YAwz+L_m3x3`zG>i4eptua-zNk*#nb9WxAI$s+#^o2+hx@jvuvBQJB{lR=2NWnAB}!o`;@160*r{Tc+Eb%#_JGlyAabQjRR|Oh1A7q;~A7FEN zeh(a*-NcoGM}N90#y^|vsg{JA18c3q5`v#w%nsYHQ{c5+rtj7^s+%iDXC?CM?X7m{ zoN5Y8FVIGUNob?=(n?R7;5h9oB48-gRc{%A8?J3SGX@Vtokmm8&E|op+8Ka=)>*oL zrG3=ahsgYJ02ucj5YXB06u^^0!@u&?IX@P5P!2SQd0^XgzJI;dTG-oD6=LL=VT={99Po9 zhVQd{e#Ok5=94xVaM6(rr22LZ96NNohSO)*Mt^lREy#Y&ZSRT;xV*g4ulpgiZ^^OF zLJ!3G;AApvi&|QCykS?GN?iv~Qht7$3r|(8c_R(RPRnNBG+;!ydXeLz9#{fYm6|^N zgF^U*4+4pW!*WCOf_%ea84%gI037Vx%>N;vtHNOk{~vQY99EN#mz+++Qioi@*2|I{ zz{bu)Pj2sG>S5zE>?h>_pDZ0$||)sYk$ap>g~lP&GLRFFViwPytr!>$_vO zV+B3e&g}Df#+(FI{%(n(`cF)b8Y3pW#D~pPrYn1W4GsDITp3thFHO2Gn^TNr&q-L` z+0$LlMG&VV7OS9$GXz%{TE~rO9v-WNPZ{vF-vSeLlREjOeS{AgJA7#jy{fQsIz-F% zJhzVXDk^1O?7cXga_u{o5G&9F;Bg%`m30*z+rXKKZ%=WFTd(f5!&Rf}Bfe}A-a5!2 z1wE(4xGR)QWtEo^p|C7NCBvT|MHMam+XpYL04RLO_Eql-DD$p;7A$HCvk=C-B2UAMzzv0KX=Q|3pHG>&CHNF|LnWNgH;nfLuecoBSYn+IP6de@QN-Ly( zJ(xlrsn!$AyRzO)|5oj&#J5<}w8z}lejj0(u9EkF{yT-*x{io1G=RIitz)p8O&f#5 zZuqb;fQK|snWY|ha#ETk5b4(XD$H-UCA?093GoP6+?Xpo+tE>Rtse6{GXk*zuukl7 z=fB~QNwDiZy329xDwVpa`c`R29aGYeut=) z>gR^H5!78*Mn20w4a{qZ3b%2WQc62~M09dzDw+Jizw&`@b@}DZL9qH0*q!b}Tj#l&U$xVRuV z@|7|0JB+pmb`v%(R;+(IJi?L~&&JU>sG4SD75D#=WUWgJexDWhx6F&T0khz9YPpHr z`eedZm?i)LckU-i<=IX~HOn~k8j+Jv7Sd#Tp55pAi<{F&?OKg9MYVNzdZ@@9nU5!t zvomU*v#HIeFF&3*HZp|mE0#MID>W@c)>%8@RGqXEr(QfM7Z0wwpYGGu6(24qpw2-V z3A7d^a})(az796)fY3rh@t}>C^rUbilFAYI-~eFEgRIu@sN8@!%Jc%FMguI_@k#kH zHx7TW5Q}A2QM{Ud019k0F%+$M(qLbn!5{zvgN2xLDu`@aHd)TrsPEB&9IeNXG-+Dn z$XLSn`&6sxKFORqeQ6?hcv>^jh(I}`n0#11CU|e*^p#HW>>eKLZ6rGO2`L|UQ@~HE zPZH=u$HbiEK0<)%d20}cJt|Kvv7l0~44;y^cakYC5)oCmNRVbGr9zA5URz*bsWUIp zTVH{N7!ONJiy zY!2j8Xr$sNnvu}pwJ?#@WGa8*Le65R@1Tl=X*4ZKSFkbdmB5;b3U<)@kNgi3Ycu zLM2#S+NTAvLJ8%OBvr<(Ky4!w+0ykTZ1i_1M@5c$(Q%*6=Qt{$)j_(3!gb+*#4lUH zem?QAhv*cd!-}Ylef&mcqIiS7w zYaO4qN3T;{Q&6BTO&@?%(APKYCNaU>N|TW}>r&Q3?TQJ%f+> z;{)jUUr5ru=@LCx<&%k+N{ycsPz?nt`6fm6o6c`*zTS(sJi_Q-<0u~XCy@uRs(2rTTC1L#)EV74k$os$AOa zZ9o@d)ScVcsGL6R-2sOulz5Uax`cYD7TA}GlaG0*{`eZuBwIC@ct@vIzJoguow!|ib(A|x~Z6=HWUTw zu6Tg`vR~N9y72 zoT$rTb+Gb-kT1@|6l~(nnBk#hy6Xe?)YM&VD_>nEb!W-*Ey4}I@4M(P^gVEBQv~y= z$wtXLZ41xbg+-SbZ&|0w5tbefKGDTBvq*y};98Txvv<+oH3Fw~k-<+}(_`MoQ}QLw z6xXvIhO^&ZEJ+gKagQihL4iNDr>sE)3F8#Q1dFpeYrgA6f5SaPA#09pSUhiimvg_(I6w3XZ`QyjOIuEr(9gtN-d z;!iyPO_C8DcMtGd9R8(3EC5J#EA&qkkMXE+tT7X_zl-xE57$+`r)dHm&h!WbyLHPL zGUC){nI#$=0W}ja*Z6y)3Eq9om9`~V^y(+h;Iug(+wECPz6zT!i!@SX25svqXc>C* zs~o1BWy0i@E4AhwXR$7YU~Bf&9~ij+#%>FR%JavCVA8k5BG{lbbv zM4L6{R?fRMlQ>=)G#~5g3wgKmky76Jd%M2A3HrD0+x{WS=;y*OnD3&-1!AR9bYH(DSe?Ew20#Xo7`Wbs!?($V^ykyBtSu|K6AiNQz08;wp+H?Pmf z@HxzQRj?&AGVq}F)zqXs0JX}oozna8{@a%J>WK5*`iX!cOU=-oPTt=xLEEWAnNMov z!%RUC-rZgoyKaq`-9E=UZCS-5v0izglOLP(RZpRO`Z1 z&-V)v9{7uKIpj=_+5aw6Flk_Z99wG~vbvh2;m(veJn6C)cZk?Dt3XqnAg=~VBz6O<+Y5vul4+`^7A&^UoKLmaz258LHn27 ze%PPSR?I$9%|ES*(jIpApLWO5pp*{-M@a1mtE_y_U zQVMcMKWP0g_1u9Wx8B&6 z#^XCa^srhgnZqp%pSGlZF?vGEzWRH; zM8sHpy{7PTOnba0K=$0JIMo{2v$MZOr=FvDZ)eX(C1Z+rF6|#Ian(I0C_Nq4L5)+2 zhg)2VT|%5gf|HAvLxM|EN{Wk*Q%sVVlS533n_HM%@c$cP_2qYv~W3KnH_bnx;Cl;QXR z=-+eh1vu5*>gjv}1|w8=Lx;LS@vc~gdxVBQm4QBq`DL7lWSusTSEs7jF#Mvg-#lIw zE0|h@zn1HaM9((xx=fBO$_P}Fot+>#A{Ige z?HXzdm5R?CuSCS?R|0Bti<~ejNtzL=Op19bMXR4~QreR+lX#27F7IVo2zt&Ha66TS zdSS5=ngne{F?NVoyZ`<%4}iBS8(i{5DsbDpl$w#qjx_CWAnuF&e^0TR8KmtFFh2Lj fcCNcG(VYiq1VM2iSW;vFAAk>unp#p>3h93V5PiE` diff --git a/casper4/papers/discouragement.tex b/casper4/papers/discouragement.tex index 1c26956..bc3b8f9 100644 --- a/casper4/papers/discouragement.tex +++ b/casper4/papers/discouragement.tex @@ -26,9 +26,13 @@ We model an economic consensus mechanism as being a game where there is an infin Note that if revenues to participants are dominated by transaction fees, then $p=1$ will hold. -An attacker pays $\frac{1-\frac{h}{r}}{x^p}$ where $r$ is the \textit{proportional loss ratio} - the penalty incurred by victims divided by the penalty divided by the attackers where both are expressed as a fraction of the sizes of the two groups. The relationship between $r$ and the \textit{griefing factor} (ratio of victim losses over attacker losses expressed in absolute terms) is simple: $$g = r * \frac{\alpha}{1-\alpha},$$ where $\alpha$ is the portion of participants controlled by the attacker. +Each participant controlled by the attacker pays $\frac{1-\frac{h}{r}}{x^p}$ where $r$ is the \textit{proportional loss ratio}. The proportional loss ratio is the ratio between the loss the victims suffer and the loss the attacker suffers, where both losses are expressed in percentage terms. For example, if an attack that causes the attacker to lose $1\%$ of deposits of all participants that they control causes everyone else to lose $2\%$, then the proportional loss ratio is 2. -We now rephrase the problem into the language of supply and demand: there exist a set of players, each of which has some \textit{reserve interest rate} at which they are willing to become participants in the consensus mechanism. This is the demand curve, where the interest rate is the price. The protocol, which offers interest rates for participation in the consensus mechanism, sets the supply curve. If $p=0$, the supply curve is horizontal - the protocol offers that interest rate to an unlimited number of participants. If $p=\infty$, the supply curve is vertical. For any other $p$, the supply curve is declining with a constant elasticity of $\frac{1}{p}$. We model the attacker as having unilateral power to set $d$ (by attacking), and this pushes down the supply curve. +The reason behing the above formulas is as follows. We assume that there is some ``base interest rate'' paid to all participants, which is proportional to some inverse power of the total size of the participant set. There is not necessary a principled in-protocol notion of the ``extent'' to which an attacker is attacking, so we define our own: the extent of an attack is $h$ if the victims' return decreases to $\frac{1-h}{x^p}$. We assume the proportional loss ratio $r$ is fixed, hence the attacking participants' return must be $\frac{1-\frac{h}{r}}{x^p}$. + +In contracts the \textit{griefing factor}, another way of comparing attacker and victim losses, is defined in absolute terms: for example, if in such a scenario the attacker controls $\frac{1}{3}$ of the total participant set, then the set of victims is twice as large as the attacker, and so altogether the victims lose four times more than the attacker, and so the griefing factor would be 4. The relationship between the proportional loss ratio $r$ and griefing factor is simple: $$g = r * \frac{1-\alpha}{\alpha},$$ where $\alpha$ is the portion of participants controlled by the attacker. In our above example, $\alpha = \frac{1}{3}$, so $g = 2 * \frac{\frac{2}{3}}{\frac{1}{3}} = 4$. + +We now rephrase the problem into the language of supply and demand: there exist a set of players, each of which has some \textit{reserve interest rate} at which they are willing to become participants in the consensus mechanism. This is the demand curve, where the interest rate is the price. The protocol, which offers interest rates for participation in the consensus mechanism, sets the supply curve. If $p=0$, the supply curve is horizontal - the protocol offers that interest rate to an unlimited number of participants. If $p=\infty$, the supply curve is vertical. For any other $p$, the supply curve is declining with a constant elasticity of $\frac{1}{p}$. We model the attacker as having unilateral power to set $h$ (by attacking), and this pushes down the supply curve. We model the demand curve as also being a simple exponential function, $x^d$. In general, we expect there to be wide disparities between the reserve interest rates of different players, as they have different levels of wealth, technical capability to operate a node in the consensus mechanism, and willingness to lock up their capital; additionally, we expect many players will be readily willing to lock up $50\%$ of their capital, somewhat willing to lock up $80\%$, hard pressed to lock up $95\%$, and not willing at all to lock up $100\%$. Hence, $d > 1$ seems likely, though we will consider the problem abstractly and give results for various values of $d$.