From 91c40053868cbf8f0213bf694376188ea12996d5 Mon Sep 17 00:00:00 2001 From: Vitalik Buterin Date: Thu, 13 Jul 2017 10:17:39 -0400 Subject: [PATCH] Edits to work-in-progress Casper economics paper --- casper4/papers/casper_economics_basic.pdf | Bin 170785 -> 171885 bytes casper4/papers/casper_economics_basic.tex | 14 ++++++++------ 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/casper4/papers/casper_economics_basic.pdf b/casper4/papers/casper_economics_basic.pdf index 55ed54fffe338d0f489bdc2566b29ac64ad82bf6..ac06923761cb3fb344d3d39660931eb489c9b4ff 100644 GIT binary patch delta 40885 zcmZU)18ksA)IM60odG@={y{p*>={6l{5fhg7!{WS|V?@Khd~3F0{`GWnc^_5WcU)_EfbiSpdyxA& zY}Kr06zyty78l*RQ<*{b0~T!Ts<*H2-ED*$_Tx5A%5@l$1#C#gv1)K@rjH^UZ~L=e zI)mYED!G`yUr>||hcg@4`aHPe!?1DR?p6gu7KfJE|0ntqS}8XWpeIGf_jIiFWZ?xL zT**PVu})uPpR-F~<}WG&Olvb66osb|l%h}Um*FpE@VVwk{+1`sfU|rDmIHod1}*2=EzDXu zW|6Z&BFK)p)PKp$c~yZmBI{LEk+;6Bw;ow-&t}gwEGw_Ac0v#nTiIV&P>pUzJsr1R zN|KR62Z<~ZB6$$ZFh}|Yh7Hfomsrn!M0Zg0U5UW$2_`wMKAIA^9e>WD99iRs$fQ$bp37<3H=HM}QIDS@e;X*F>kKEO;hQ{e{G&+@&9)&meMkMdSLMwIS*urYNGOF2-dz{x-?BFo)H1`Ke3W%39EY$TB->nJmiX8Z3( z3Vosp$LByR(>kx#B41=SPoa~O1dO7F=;#ljAlBiZS1pmhE~Mj2A0hM=XVw?XZ8!ql zS3IHb9QSPz$tlC2tl{~!r}E@vTPl52kt{C7n=pqR7_y`0p)ZX_#&G+**f!>w#H3zz z=T9|245e=YxFezPlzcXI1~+7jTodp;$34?n~xrwmEY6HrW|qQCGQ*+J(p5_Q3NXQw~{V0bH} zk0GN7$%>W;J0Z+wDlR`PEO)^YQFVTLNHQChZzs+G-mS|OM{2w^f&W&}GeFbY>5&=2 zyKm_{c2BJGpFGa$wiVX!f_j*i=mscoWs`WF)f*Iwt`--$F~(AVoV2eJ2Et`34ND88 z(qltm!3ClgUnFF{P>P)>q287jis{mahh#=V$7CQhz6MLVvJj^**`9#9dVMR?_$}ao z%uAC3qG!12fj8r|aB&K#Xgz_!LH9fRC=(0f`52?xkac7Ek!w`l_8BQ4}S8*U=8BgGg{B zPTpXo-D&nz8E7a;x)#vq7)EgZj^Xu#2layjfogdH`XojT<%2;57(&&s^xLtfJgs@u zHMRUg|K?!~6=wT6En(aHWrS4}*8sOUX7&hVw#cUTbx(sf0V>b*Xd_%Xe3uRcx{O0b zOh>KmGVKS?dOqhbVUzj8*&t@m+FIfKneFmI(YZS?MSl-U0t55%LW0YBUnEmxE3too zP+i;*xMZ3nFd&IV$&mBDi$@-GvV#~WG$2;S{es4z*rfD!-^O6Lu{{cCQRTqzcFab5 zyD9v`Efp?tqD{0psw_j6uECHk%<=O#Z^C*pcfBck0VqSXQ}@)IbbI=KK~JAOmGUQ+ z1@RX+90s}NLaQ*ahUv{Y(Y<%!r+Y0NUo^}C}^l-0;OW& z1bXGn0u8mxAd&D#bjYVipI+)kA|H^uDCv&>yIAA&R_ zWpXXeb9_77e=sPE^tI>IQHPIiSG8m|aSX-uPCl7e24Wzp@C;0_|O1lhx z#<*7AH4cgvC9+qfBJ$=AN&$Nu`3mL-BRTTssU`$`Kpp6zEV@b&iVr|{^tUP^LY3~x z7^H<|JGqRDh-s;W{=q6|z7`jXSke4i7vm4#TkJ@8ucl|noP1enql18&B{11BiBXlPvrZ{=+;bm7BpyYy7TpVj zSWI!2Elpq3vg6I^0|Qz#kF1OSc^Cv)yXf<){_*USFOhC;BfbqNjj7;_5p?;M`kn2< zVgD$HQMUyZLn(k{R6FibZk#o&TcHqe>BCoQrB^4%Cp^EiL2j=SPu{Xibc?0lzAb&a z@A*{=VoM8_EBem2+I(KM`R6^Wx?{bHcd0DTV*1~YtY4zWH?si4%_%FD*AU)N>%Heg zm_SC%eFW1GgFPcW|ITdTQ`2WKA{Yd`kLQj4Yh%k`P#P9#h$o#`ejqc!c0QyzI%!c(j0)Y{CW?O7Hb=7N4Y`3{*oj?Scp@`#=cs#MYRn z#KVHs%@(}1b*VchuD)J&g88&=y=#X=S*D_woV`hI=3X8l-!GYH+>=QgMvD{dn{4*t zrJC7jSoP^?&8FwIjo084I$vJH6f(b^DWSYR@2}|egDDv{L|@nSrIqZ?%1+?e!{O(X zU9VETy%yg(PpOVfS!f)-(4k&g{7EowuTbx{!6g)r`dH0XL+Qe2|B@f+c+F*a=hnQG zuZV2jiH^Ct>hG$;OP{Q+%zL}7Cuhf#x~l2N(E+=GF!NHzJxSJ5I5K^E&HA(nyEO-{ z$5~ZquCT63))fsF<@k03t}Y-o`yan9rTA#3#*aFQO6gqtjUcI6$k$x>J13F4n_wRo zk&G_wHrnZS)|$x}DZA72er%Mfroz%z&kc%lcv^@BQAP2lbRs!y3L4m)q5|P@68ht# zaarN$T!&B3%Uve4ei!x#Mx<|VF10C3yjsDzQssZE)GCipY;wLjH)4Pc?jH#1!o4AA zrlrQqA8iQK5G)s)iX>Ln?i6xaiuI9n1~A2q)B5f4R;JkIM;jd7wdVZT%G3X<49g+t z5Eha~)YVho9%vFfW_?pTsy%S0!NgN0(|D03Q#-)6LA%(rOuPQ=CV98IJ)>wkZOnzM zBAj-4X3np~PVA38Ol1Iq6|fkvyRP(TSJZ0Lmp^COPhl*APElcWf1?iRi%DHX*f`C= z#HtIQj6Y7)QK@x+EW)srxC>xYxx)6JgJ`+g5$VFoVR&vTSswL=RWgDIPC~&{T@=~l z>EQ0t?&T4=tG5+Vf{x4$Z?)QlJGtgurLSstE!EvVH$Y8pfK~!bi4_&F0Y=V38DrwR zsH4;M!$KHv^PJinE8uYtk1G^a9WCtxTi(aUi zBxErG3G1PuMvMMy>WB@3&C z=DePWT14QdtY~n*k-;>^OJV<(rJmc<`|Daddr9&P4+>_D5<6lMs<2-NukSZ&ey!2f z6hnk>=31O#hseCnZmY%9^IE`2Lzv&j3YdJFw{OgsMF{r zI>xgty55>I+yUqz*lqM1dO4W?D3VGzh%`|fbxObxA2S@3bF3G);_fFW6?K^SRek0m z4M%g8<^v$sp1 z>_le=l&VEg0bC<2n39VY&@~0V;9|v_*@FW33kdl4g-( z!~hus1499?&Z2OVk4z~UlGB!2n&3t3!iG5BBvcg^r1_GrhsU5J0*~Jtk799a)aFxQ zcMe&Ry{yX6a7eAV;>|;7^;?`{ev-#EJP@(&?xRWM<-HFs^ogPMy$_v;-kpsMCzUR6 zgA2tM4To}0x2IN*USeuHBPfr*NEH}vkbuyju6aLQ8hPD9p3MVi1E0(yNcZ3tY34W* za%RTZs4NM&S}ThF7J|W+oKP!J%+@x<9GHoz2K(Kdwz&E#JhDJxCM%* z6jT5sa-ENMlJ`AiEoa(}2fM%bV=ngC?FQ|j!i~-=N)nR!lW-F1?$ksDZg@9L8zSp> zR+`PpzX~xMQ>!4*o8Z-2zBXnX+Ms89t#J2|dF3-@!xck%ADEK#c!xFu4?+RG{y5%c zlVDRuS7$HSejGZnl2j63Cby@?O5j{Rzmph(R++_kac&~wX84WwW*JJ$;}Yi`y>$>g z@)nr{S+n(cY=H2k>NG0U$J3;{Uy}aKT95dvf5tB4>2G`F(lU6cUqbnx>$C>8nZjkr zHe-y1b2Gx~;B2Dw2Gij8Vwn`tMTNH`5xh`ByXWe4r}sj_kAKh~^QsDG`GAYhq)RLn0FX%*Q zw4MJq4F3=3m@Gtw1IEdkT);yIXv;btNTBt;Yr^;z1)>fHBx_xen(~Y?pj?{`3!|91 z6wvw%AyU#&aBi;|_C1~+i???oZ-$boy$+W)8DW zX)K>=*|c?T)CEKdQvRt0dfrdCcVM~k8TQp`(TLpc%^CI8h?eoq)zk!lT}?@Eeb>Qs z&ZR2*ZEpJ!dvVp3a{E^(8?LA~{V~_|?%#Ms&VAdvMFLEpQvV_l!{@rXx84Pi|5n;h z*k`~E_7$y?>`9zz*-j+gshtY6%J0k~k-%~vMKEFyi?EP{xgNRqVJWK@UCcU7(hH$+ z$rzK{gsEn&(H8cd|KZsLDtQT8OY<{#7S^Y-EcVaBF_|N`Ip5LJ$AtIAR!*RE)<^!u zrAfPOJS@U8c6FZ^e#&XdEPCp>HYQtqF%U&1V}gU6HngeoQU8tS$FtYLge^EY?}Vyf*Lk95Z*R5C~L})^XF{T9}=;hmSk=DwD^*ZiSRnO3}k=c z#_Gk$N+1bHUWsg&4u-Twr7q|>`Y8#zvUV5CTbMeXy~+z*IhoQI=eXG#Tc|%Q^&V(& zfS(IES#Cdj2bp{VSnF+iUSzqs($M7HElRjO5lF~Kkka{D=-N(H#bk~mN4j+!)Hawk zl6JVIz9ERX+9)2ATXErUWtCmGQfX)t+XDp;9S&FbS)TYgh&2yWN$p240oLQg*=1ji zg-VCH%mP>At^EITX>hQuJKR?mH>QzyXNYD#DCg; zuJW3X`c9+`XiRB;tXxPl|ITMENtioBZHp&A;PK05oo*TH`d7A6uMcKcXwkQ?mC?!6 zofx4Qc2()#!6u67z_3_6@UZAFuA0dso`!p3EQkK6gMAX4Pyq)PDypAGIw3&*>u?C> z#qXH~5M=|XNEd?|Ac_cQ@*`cOa7k~TuSJbW>TQF;{@4&&T=k)%i31qIqMmQd-g1rHr|BjeRTKlV;yXR!!?HY#A24Q??|4 z*J)U}3X@V~;NSgrd(LR_)6&JF0KY(~J?#N@?y)c6Wp8V1!M_wLA7jn1k=e|!A*`N% z=lSWNE5VbyZAGXF>&HzEA)mlvU>S*Q9ZXiGIZOoM3Nj*aeZM>ilOcPtiR%TvCpzny z7LwE?NOP;8^qG=jcD65~X%ae#HrfZ&BV7^u2^B^6oYp2fWy$d)msq}hKuCQCVCRSp zAeI0~m3y0D^6DjXZIOQsNaJs?MA#lrBdYEzR}dal6z#V|XJHL;*TmVPXkwBurS^Rgd zgQA#Tfn$>YJi>RiwGYJw&ZANB4${yfaXOc<>94DV(Nq_gqLlT)XmEBVpE{TP;Jqm- zv9e%uw$eBSwoZ+Yr$XEO2&x&kD)1c95YAt9_25O={;pq>^F$8&dN{Hpo31{38;Tib zT7~Gk8x~C%96hNmr(Zwq<3xaOeWiRzI2;aFctLQ2gHOCd5JC7VHMm)|__;}nk+;QL zsElkJ5`=;#RrpTpjxRMAf{$4)U*?s%8Xcyq`zKdU7z7-Nz0%q%Me@Is^Q*xS_e#49 zCjo7dNW#Pmb3c#EyA2$3^aQKZ0$ag@bBVz}cgpuN+^zQ~1V6WZypaI;8U0=T0?cb8 zr9OzPKV`y}n`k!UAl5TQ$M?5iWLD>z!DRuAR_CZ3VseVftCe;EzrLoXBo09#0_2af zaefZ+Z8~9o4NTo~&hm6Z`Kj9cIWXwwy1MdnhTxL%XT9V+mMh9n)Fzn&$vII&fQNa( zF@U}QdovzRDH`j+7J>=TQb%JzomJ>rzdY{gF|kB0f`+gNPf)OQJn%vV&8YZHlUU#* z$(A~i&*#fA>TBas3v&c^N^!=(Nd9t3-#4%u|M;$8zl9#!Ppr)wm!Oidvi@lta(mjJ6)(>;UGX}Y9j&}ip9 zPK>n{LCm=j zf_V)%ecWKoo0Wj~NB-D*&SD~gHtR1u+FDTjn>FlH-FsX9K6RZbUQ)kTd7KOysf~;3 z;GO=@iNwM5Lg8H_lz*SRc{D*WXDhQmnNPQvU?B9Y+Lz}0yy<`a6(+$ZPKnDaWgAA< zwPTjxEB#TPbzrDjp0x3biPCaFjdVS-AZ3RXyhf0=XDaN~u&Wd&!{96pY zD^y>l%g}lUhBm*m@x;SqmC5KLR&;oKm-mSoMq7*RwfhcxutX4fYe%ifz8F=P^`5(V z_`Wp}vm=F1vvRThHzcA3bYzncT2Xsvek;AADVRf|BkwoF zGb@{2w{{x9CD&9D3Yx2Y=+wm9YZIP2uFbmY zr$%%EzgHhsoRc^0;Lqb?BO1CId&29e&sPbMtAlpvgb1qA*4qNij9Qq^@4%7hmsf;# zKJ0%nrRlMja!7a1Y}kVe9ntMv=Jj?M$P}Vyj0gqMa>=O>dMGX~-KQC}4_37wOA7^E zPa)eDeamrV{u##a0oSf~%+)y_6cx)19I zkcxcs%dF*8<6%#JShT~6t89r=LAw8-7p|S;kzOP#Q~!$)&8F0&*mOD+Z65L#vr5Jw zYp>|65Mbk>_WrSwp(NUOL7xk#Q?-+MKJ*QK@OQYH=Dt|N_VEHwK7B9VGdu&+`p5Tz0Liu$8+&i|&@t<$+l zn~k-C2UP+tOct!fu{6!bAj)FAva6ViL~SQ(x-NdFZ3b;X3f-UCypZA*C{_COj^`Yf zj>0K-1e{~(?_iP^XhxJx(ZY>f0_K@=kB*7#K4zq=HxEA*6iiaHf35zozLTFDz$c!% zckvujhgh(`pU!ygF*J_6NAB`d?}lS34FlapA)26yz4L`gE6zAFIfv(8RT-z02er{w z?P5F^XaT8aP*0oR9*74ucv(Rdi0Sr*6QlR>S#0w5@$XqoQ%pPR*lj!~17fGG6$hZA z0*Tp5+Q?Wsr&a>d+_RE)(VWn)_V6?iCfkKFgeBnn(=@r2THMdt?)|kF2_tO13{kaJ zAsjYrFG6UE2YIr>7dWP3`#{)?be5hG>2}Q9+tOG=*HS=4j61B$Wvy!NsG5o90M#ZO ztc&kqzkL>pW8}gq$ysAVpcaVjtV!GmP6_m>|o4*{Y zS*XAw>HbH`#C$*sb8PK#L*?hTLOAhUKj7F8+b=8j60nRSP+!y7Y&XJ!ZLiX zUQ&W*q(dX41?3ybZZJRSe!XU_^kUqPryCpGj%BpPHU#H#;XDwSxiVlnkRYvumf;pzP`?$k^rnT=Eq*!EWDQ=dQmS)qtLVgn7hR z5U$r8?N#%HxJ%?HH2Qf%;ZXf*@*?+9I||Z)Z_7)4VR9c9G+fKH+nljRdOy+~`C+M< zOBcR(itqWq&B*gDn7_i%u+ToBf!vj_yQcfPW#ORQOzl1ZlgO)oNdxmHpaqSFJ7gKi z+A9j-{K(~4!4m?ggT2%;;@PxqbW;}P{IFOr!y;KDm_wKsNW0{^seFQL=~TjwJ+(I; zFfJ#9Xx-)5a3MzS!ecY@_b#n3^itd}%yBZ&SO|`XU-k%>&g~gmwbQ_Oe6)PrU8_;g~HLh3h0BO1_bQzSTL%;GdFj-rs9nr3Hg~HFMTpHw&2A;loW;YbNZQ7q?n@I z_4h2R`+rM!Nh!%5w(GeXkFC~zDOFj~Y>>9grPeF_&7}0nLiRNrLEMyn1V?$=W?)vC zNEFDLi_s4|4YWs&$j2l0YCM#OeU*gaUnO3HM;AF%tfxXkaXKHxxoL9|J5#ecQZ6 ze8o#VtB3)?%6~n&83SCb>XK{B5{89jdiVoWSZY z8*D^(BMje}QlE|E$Es;=M)!Ao)Y9Obb26Eiad0ukR8RDz&q7p+ZeoiKQf0Z~zqu>g zb8>!@qrWd@s`gRNd2i|T(WD?@5h{WCu-C#V(lDl395AqgKI~x2rrOcps?2sVER)3S z7Zb<>a4#oJUeVyU@ReM>+Mbn8A#l$A8lIST-XJe4DrDF)%$I_F+!f2)EGOWLh zd72jK6%6x_KxD2G1MfH2hw#~=WhKb95Jvv^jS@jH2xDIBYERVSrXeOHX!SUg<^w3W z5uG>515?;9 zHXpU8Py+_7a9Gkhk=_<^U+xFIetVqM2qZ(-1n)b6)2#FBU1(J}jKC9MM4`M;bKBAQ zKur7cj!O@}G#5Dxr+p&ZJ|ESHga$QjH`=IgKAP&Ga5m0fN9m_DCu&`Usdt7pr$XZpcR`UJ%B`SAGjZ?Eh4Q+9d9vyInH5>`X{YcoUhK-Z+?fxcFKShO5XpPkPSkXc z>mAMFpLWlv-BV1KecirnCuH^7g?IHB&BTNRx{qJV%i3=&s*f4Kfko%T69shs&^Kd? z@;f#lE~th26D@D;A|zHR_?&-dQV2&_eBV=FxbGru523w7-XKgTZf+Zp+x<9bC1ARf zYqtgeexI15Ua15MWfvFSxWmfm@kJ)e=WcS0;ZoNjuA@fW(I__Fize$Bi9IN{_V&~R zB4`x^%cKbx2IEF#JwnkxItcfM#cO0m_W!c(e_RGPMq3vTh&lCVf4Jtz&%iApIM1!% zTtjpuru!qNA#0UAax?}EXc0%Rlm2EVazU8VCHz_Nu$1wLp9W8-;@R-=S;pW93Rv%zP?9!f}a7$I-O zkh#p&>83s*viPrW!LD}Rq4!wuGgEgRx3~Vnba$PGq!AHRcuy_7lGr~y@HW^npQb6G zwR(mSoygA8cR{d@JFH66VMb}8Rn`~R!iP`bXKPlSF~^M-N<$O4L1G=;k0}irr%KIQ zT)VceebL%K{W>tQ=$Nf}o@lT(fmF4ZNQ1v%Kl6;s4q8&F3$KwpiABb9Flji59iUje zZp1&oEPVY?^`pvKh<2W3u>W+CXO)Nn7nFK(z8h#b(Jo{aj|0Dck=9sdtX=Av{tagH z3!*2-d-kwKCKs4pLpkK>qhN&D3$#XpIN2T$aBbWM#Vof~;_puDDI!%fZ+SxyY(CG( zNrg|&g=O;<((z+l^A(k--QWdaV=bT1Il(3a+|97OwMiyy57(wjFw0&2%r~w9#d01`X1nbDq$!ia1e7 z2nR5ax%Ke;SN`-&=wI~|-w8MXj;vEF5t4wOH)NKL*HiElsnX!!^dKhm37DYL*$b0s z7>%27R1|24-Dg>BCCtfxms^OVasi^2zp-9KOu}zC!2f*tVmg}QG%`-hZS8@aR?G^QJe8N?w{9J?hCrk!~E$^r^UZs&%b2v zL`St{dx>chRB?UX&1okN!ZDTS>W%(r#{P=736tOlfBX%h)5p3cdm{T@z&jeD&Rn~G!Ki9b(>%bnr| zwE-SlSENXQD7~Nq&s|;ezg^J;t<2L5w1-WrKpPIc{@mdJc|6SKXh>-x98^pz0Y!-g z7=pF2I}oBxM-QC^Oo-^p^wuPi9qj!OD`KMx%_ zMgAUEzV&Q`+--=txmgL82j|jyhHG(vn!#EfE0$&6xx&;-TSsxwpXaoHp&g5gR3VIw z;NuCz4(&j%vdl(dZ8S>YywYYvHkeumkX+t&&5d>jNnYB6oD@T`*1jl$7JOTQm5Xke zu8%IT{v%KOgXhpI0Q%LOaZ^hb2P=sT!uf)vMku}BhyJ8t=u8jJle?^xs~)vIZdkxD zuq{~H3)KzgxAx2q#5lO`RI4-{d7H&(tg->RFhNhstZ-YV+VT8KtS!N%nf^z%-!A`>Ay-EWx@IU4eBSesl zv)V{vAkc?wUwuJixu~hB&1g$QXfkf(qa-o8)DNj=S^-~2_=uX7Y7}E8bJfXun6hhi z(ZKJU-&C@s3a)@p+WFz~33$h?KSwm%OM3 z84Sk?p}!;vkKG>Nk^iBpE<_!DjL6s9|IfwUNY9&1epTgI0C&_DlvoPW+U(Sy03tCT z@S}tD_>fMTlK^_Tp7G}moO1rx!^fE?#sg%=|Cxr^By)&hLa?*4v;5Z-r2#H=wp{<~ ziUQAug>CZ-=wg0JcF7U4WoOL`UDD+N6GuU5Mwy7>bQDK?C%>;98%X5Gn-4R)#yE0& zBWJ<17@qLq{d`>?m!8S=VNp+pN0+9yWTepH={5hGlApV|H|c-koW1ze-c!6KW*qAL zysldzqnoqZDC;qp;Ex&iZvb2u<%*BvMc|4dL$=w>4$kYWyWa2mcZ;rLrds5R^EB(DfHyxS!#l~Xs0pwIv1JACz`;dM!C+WNJ$c8A!9 z>{%an{%iTu=HO$qTCr-kN!rXk6=3*8_}yWfEs(&7Q_pNmMM{YVBMMN=VpE)=qb=`R zWvyZ^$ExSCB3@_rZW_7LX(|JT503q6q~WRjv(M+JyHWPzSzMd!lfT17kW1frA}-eF z{iQ29m%KVQ6 zw-M5>tVzg?AHz%Y4-^C8Vj<}stKTH-!5(s98$|Rp+2jS0S)FiO5r3++u$_!wvxc9| zRoN>X{|J|L@M*g#6+(($cT3g4s7M?**?|L{Ah&3L+g$w(MS&dQ`=w`@=?m3N9#!6Y zb`2u-wml97qYh&Tir@2QTAaAek31-ITtSg(9@6tqKe?!fG^XlEVwm6GKXX8=uyH+x5d~sk;e;bb}2>22ctV)J0vHmHc-JMT1c~t6)vT*vzXi zja7`)HmBX}NT83v2npY-{mBT8CrFDfT2HElf)fT;LYD|`8N894?X_<2cN?|a`wgr)7pLpyGPGYkC_qi8D)599sS^a4K@K&W3 z{oj|JH+cbGW8*tDamVMWUu_dO)n)J-9l2h8QTJ3a&;Y(T7`)fkVT23#-~O^tIs1nd z@m`3~o2;v`f`X3@qy3$p(?mY2xui=oIC%jasHpH1SxLitBU)o#?<^QRdQzxrO*{vF z2oaIux-S>k$B9&scr!{36>Xeituy|J?3L=Nuk(@oq$R9ek`>>tgn(0`$daPc>ZQKA zFYiZ2NMQTbhnx;~f?-sWNt-*Z$ho24PpHb_{P8p)O-~|em<#{;GY_Y__`io!85;nD zzUUT=ws1?F^pnwry>)ytqeHkx%H)^DV1*Dp-OTg{Zx!!?BA}G{lVM-QIr!%_tma*?+iW+5#qr)k zw6TaamESU18kKJ5YKbb8&dd+g0B~?~E>6TlB~ihh2f64F|J*C@@Tk$rylXFsvN%MO zRqs?*r^44WkCVEAafY?k}$8VFkjqsR>quUwjlTFS_9@UCe^1?}@Ct%xsH3(qZOc0UHmP zt*K{Y(%DgJ*l71PX|^Kgmt3+6}#=LW=)q0?EV!o+5a;73h)Ig4X%rS+o~ zM@P}DvZkf}HqJyVf>&{b!8c;>CqI}VW&v*>hi-y8V_NX<*~1|_Ey=mXqIiX9x8GU- z?Xo31VxBiM+~ZB-A;;ZL~UsNbkM7Cr^FA&FpY1=DbZyF@%0dao2!#KPu|&AvR^rQYRwkA=}I?kmq$Xt8V%UDMucx$IOF8Ph#)WjMSM z${J+aZeb7`90s%^9p+PwGI2b%YxgP(Uwnn|*+Iln8eWd7=d|(u%Y;cDGQb9sots20 zFZK9T+knkAY^u!ZRcB%J!JOO61fWv_<7`QBO#7&guEkJYLWl(VCCe?jtZJB9dK^OL z4^OzPq+!#!aZa_iN!j>K%XCYs)J%%n)K?%nT*X)5Gle2r&%{uh_t?_c* zGHAv&CG?RQbJRi>BCCe!ekuM)Ef*rRYndR8NM}W|rcj#4`K;JCpS80*t5&_;bWSO(UYIT@xtR|4tmSg5!=eX8;by_+Ck)%$tvpe^0gewUahVKgJJV2Mwmh zu%Mp3H&%kDvdV1#4sE&x4+mGjA0}3@OdjIe=x9!s3{1$_QV_O;>A@RFRD0Kwa>oK( zQ$#f}>l@+JHv)rBlwyg356u_~R4XWpN4AR`J%d5NttKp@F8sxm!2uoO)hJhFUB;l{ zD58&F%)=F?6iB;-`x`1hqGNfnu@Tbu#mlB-j<{N10>Y`{E1W_(W%60|LBA9iylN%i5xZL#Wm9u1EfcmY zZgWR>IM(7lJzvBJg9h*zLRFWg-$b9Wz1a+?keh5H6IS< zihjEM)4fVB?wcHpoNg#46fmPI4wI$k8yk|xTT#myEPl+xTOjzCqIK$Mxr& zc1PU-?RGBXDqrD+6h1L9NdiBb zHYVZo@IHc6BUXTvg>+}IQeuPs7IyPFy^(if_1LaCenT)*mCLk)$q+PIN8cs(xY2ad zq?DOY!j623857SQi2?0ndVexNL*+hHMk(G?!6eg1#AG*5k*i-JLj-p_vi;To&8c^H zS}T6YLyn5}X)7PPTm#9Gm!VO<^F5Oo1a^&;;HK-q;RNUmXeh|sS4$gD&cY^S#ZZ^S z;)2Rm_o;F46Kl%8aOoh&Wk2R2!8oKVVOh`L4NEnkT}~N9 z8lZ=?AeDd6S9Po^o~cTkrN&4y$vl&$6}L>Bv2VW~nL*Lx=kGQu1h(Pd@NaIOyNd9~ zL4Z@Q55RtI0K@}Eu(<`9I7!bS}#L61Yr_Bwu9F>_9CuQN^ER@SO zoWu#R`MJ~U{}2>h_87BPkKEyw5snoaO6C33IX?J;sUVX8{|BN`U+HG_JKT~}-&+?F zh0w#AE}t5v@s=6A;_vAxr{qZ$pP4#W%bYL7Atl|2>8Q>)MdyioS3u8$g1iFd25TU^ zIAFz*V)0n$KeFS%ZpDy_)_en2jI>{b;mxz4`dDo~G&t#$^Nd+ziamW#emRhk#I`>> zi|Of5@at;_)7<^xjS68}{3as@3U-41G*_X^72$T+Wpm*nF}!(m&(P3_q366G;-aqW z**Yo%?iZ4GBDr=1jKMmw&kJG-$revaHX!c)l%u+PYvF{JvhYF)0uhp{DLFbLh1z4A z7k-VL`i>DEx3Ahu#Kv!OhSRTj)%|T<6_L1Rv|OIIBiW-(cF_ta^<+dL?lBf#tilQ8 zj~3X&vJ!8YoJiT`7ol}}#bo^VpAy8oR};iKduSjw18$qp^O?WaFo1%aQFS3~AGqn4 znEs%Dyojki(C~_kLQNi#Uu2d3`uqT4db!qj9V$D&RI87+e!_ceQHkvZg9JFavn#Pc6Enr+=@aErwDAY?`5{}!IW6_c|uw?8q z&hvUOE>je6DzszmHPQ=7++KM__?N=24hRfeHwHy|bzO@rKd$}0vHz|O*LiLwHQ&Q3 zG6g`LTw62AAdcW4;dK_q&m(AjEeR6xEz2WS?EP?eB%B!%M^E+8~nu8Adof`mwDAN)V2LNK=fANGH6E1cZP zpe`6qA#(ndpuA0>E?8_}T&({qVk{BC2W9`iPx~eXKso=HHT!fR0R3N`wi8@XReDg~ z{}Hz-ii5_AfN}qiCOSGB7c0yEpke;U@N6Wkyd2zY>Bi!q7?5l%yqs*w15ngJY%8P^ z!FnrWG&)7Q?ZMUm5Xb*)M4MY%A&{_FL?obK1F$HEkK6B?$rtaylJAnbTY|Oex(+-X znmH#Fs;i`GK}m54J~%u%JF~EyNNN~n|K#NG=;S1vqDY~`r3Lgy0#2SN`su#S<}UaI=3_U8Z8g-1H^3W5`@7H1WUmHi^;&k0)(EOedZhIN9PULkUW3Q6ewIQ zh_)nj0X=_MMsadmOiO7he&jI_09G+&1;W73ulE3Sf&aV+Vp_JKLIQzA=cX?Zh@6`o zLMk}6vOsjZ|I&o9383fZrZ%9WQdCrwK=;*@ki?c1!Se|$Z^;HQg)vXz+-^a#z`y8l z3am_!Kg!u8yx;;mQ(OKCxo}Ftb1R}_lYmgvH*tagXb-L~eh9T)VBD3{wZX&1)!eP6^}YIMS>K<) zPKG@rreiBdWH%?*uy1-HXItz7+=|O>xo^4U<$<|{foGxqKkEaV`@hL1w{kN$2x@Y- zg4p)ISwW+AfeD5n2M{C+3kxP950F`0kO#IVlQ;VA&Ncx3#*uQu&_oIHt5+dj0R&zN zRT!{^Cpm@RURfFfhjDUshJJhhs(j%NwloIK(9P}ul?zH+M!M-M4jB@T0a&bFn3fGd z1T1E+8bC6>-#(txL9Kcw2?;N{f$VPqLn=mPPIq4CPJr&~w}RT@9Q^J?|1gq~(UB48 zjgu>QJHV3x`t==OWM}f3&yWFhjq_;nfO&mMV=b0`ORpXX-IssOtQCNM@TC=zTUiHz zobT|}%}fs1LA?#$eRrP$T_4|!FNVrrj(lHz=t*vEP4Bw$pKV{?#as<-t@mFEpjMV! zTf*c^xIyg7zY&OCb%oYfGS}fdt%h~=b|L1)C zR{-akvkh9~z z)SzOVeyc&joIsDI!@p+9&hj7WzbDBC;&KAIfF8v^OgaCSSv&ro7dxmqPIm6De{g~% z&c7D|l!3FmqZ`oN)b3xjpzHjG+2OD2DqV z5HwMbKOiVG&p*}=9%G>7#*G>YJRG8}ytSfn`8%A#TLU3ckoe?o#yr)kIw*>$-W zN&hsAvUMOqeJ8v@{Nnq)s}(k~J5{CUm*2Bdvg-U%5B%C3*4S+6cafG+LO22jb>Xjm zFV23N!M2cH-~+N0h0gBWNXo_N51xM`QeG{i)tl21D@Q6{8#v_YLfOPh+t=ruI2fRDEzcxi+MvnB{+^#>HWR z#E^-N+wGQ4v9BOWfnon}xh1>nC3DTyW$H?=lw$p+WXILQp^CtBH1t%^;&Tj3joGYC z8>woAnchO|@R1{u5WJv;5-F6k02gz81u&XcVi)CK3XYk3k zI?1OkuL+r@D_Ng~D36l^T04J?%UiQt$FYI0Gp^?LxQ5{A6m4xG0>_Qr=>_5lbojAY zEguNo?|HiLq4DC$((`f(yV%;45yp)SnvcFC(Bw88_l$bNKSYh59$-{!RKJNd)D?2) zp_al)!zLy?c0fe#&$wer&F%Aw@1RBQ%SI)`AWHiG*nj`Nle?o@x9+?X?4jjZ|x2J+j(EVFu^PZwl7MPPupEfsp+Owt_8B@x~%yfxH|OCfC-mkV=0RB~~sw#E9<55>4i7DIH$4y~+p`IuGamnhY0Au?hDPm3SV+JSnj@ zbIH|YXU-$t>8$y-f#^vF#=?7{@f6Dn6Yus5k@Dtw!^4hhW0=G{9;_S=#uMvwy3n|O zS!k~YMBbs2uUoShI{vEPW-Z5$cmf*cPTWrHG@dYhNUDDgs3Kj2ehJZ95br+tB`x32 zQx{9zN)3$-2t)TEqB_{-2KXEU&o^R5OO);fKkgjJ=Et>&6wu^<&Z>#j8-auAsl~`4 z)QJ8l@B;095s$-hhv}4d*{NEf@w4+9opPMHx4RNODTFG6VK29;nHxQQ-c9CB#EW*i zgnXZ5%aVUs6%t1}NDYjjhEH`!6YN}LFX&8&#I8JEVZC;q)e>Flc#{z$Tz!Nq73Znl zb2c@QMyLz2OzhomVTPtD2AAO%+uZ!BJ6XP3v-j|dgK4xk@7Lp{2nNeb_tyP#QO6Ira8crPs`7}3ua6o_wG!d&bK!f#-hr|i@z1ig#`;6DH}#K!px zR#bmZwF?JyUg;h)+WryELb21RQY&nz;)J}JA%^XVZAFU(Nwkz*>{m`}E?>OjpZ7U{ zkVJ)vhE~YAw!&9xM$-vL#A0@ahA`9q8|@6vJi^`cyTG>{IN_$A*K*jx4!;;rg&3Dq zGYpQwZT9t8f$EdP=cb5(d5U^&*&;!E|ofO*+EO;B~RSAf{^U-`u$ma(;iw z5?hI-z#G+3zoSyUjT^_aSpX|=Twx(psCMv|e@&zVyG-R(dTnExHvTCb`fagbG2sXk z4D%CvXF_X@EId+}C}QmN1bK~)$#SDKCY(repd~Ywj7l2r4gU@wOy(~SKmK!0*d?j; zLt(dgXYGhM!TnE(PBPea6phqG+P8lm>62f%{8?Ig!0l>88ss+WgTRS7%TV8CWEi9l zq0r?#?KRmY-x_gZ-cV)WexGC8GPb2vM{K9AuQJI0h|I~My2hY4L@iNwCL&A1=E@5V zq!lSX-71+zgw}nno{(^DRh*BrZ#A2%zG7tDd=x~C9FAJN&J$D_h@|Yo&lrFAsz3TZ z-R0wug)|TqVJlYIXyL5Iu%7-B%IO^K2uqvgM8|ke%E%x(Q@ z-J23$GMmJc|K6GS0_nW5N0L!t5y=;)YM(DhgxTTAG^Jk1V+37C@iU!l=GZ|4`Y0!5 zA^BPEuOxm1Z?sb~C*+^AjgWs1c%ip8jg0Dt=?GwVkvPYcHK>u?M@t1hO`{*A9HV#! zr7$c6XUmX^1|}kxZxtaZ$Cfh<$`q-wUVvKj(}9dZufipf7qjo9S(DwfMa9oL z=G)X^w7mHbj`8NkQN_g~3Qx+WVQ~=*4yDPFCk<{;DF$S1Wzm0Qc9xW%7J-$Sb;!pV zrX1$z^R!A5a2!eRn>5s|o^ZGAJO+4r@QrA|AD3{a$(_VrKcPb>nE%$CH z|I&<2QF1Dp9CtGlGwxn4{KA}@Fwz`U&&^S*BSJk&b&?XrBAbIigNWCFp0+43=^!NG zl#sA*;*44xqu+nd=CLWUb1tG5dCfHpFB*&1s+dMPu zbXXrWLC~od#C#|!wk6xE_Y@j(`nccvHk11CW#6ss0~UYb<{*g?3!ry##N4IXx9r&* zG39_hbwT*rfNrflxi3a+6WOQh&H>dI>V#SKOrw54?kbLeo^m;O;{>0$Q6F!tE@|s< zu9!t$w6SIujZF5i8NBUs@aFa7RVSenHa0Wn3;+Y{vv#;F8fvl}m#(}xsYyxtt;JUv zmP!JlB^!UYk5r$yd6}r=Wb&no3N~P2z$V)`W5%IyBeUM~htd@_SGn8+9`d~M*KC5P z1fp648+v#Kj(k4K^pil9kF~p?0;LoOv=yC1qBGcGG+Yf#`7D#ciQ*aLdB4T|WWuc7 zsGoL1H(ASghs=90$Kv%ko_0NPXq*hAIhcM$DItFWQ4lQDZia$`wDN#~D7Kk7p3TM8 z%wRmeP7c*jr{J**drEkU<<}BU={gek8L^&In`Fe2%)xv%QZLmL^)M{hfjZ25Jt5O^ z$&vVHg;Drfnjdm*XTeoBnrBzQbc)gZcEM@3|Jrz6P2#1u!7_byYs`dqVuq`_7*R8u){^ zOJWR+4koWlsH3w^*sEIe!<7%au$f>nkAEK}A+q?AGJXu*6Qh<#sfFpQiN69?53_0X z_P!cvZ=|A)DKlHk3_ke%5liYCM}c=TcMCofV)qJ+X7@ou#qD}U*T?JNkPj%dhLV5& zc*JBvh|2h16FP$!V4g1mGVts_2H0Gt<)yrn^dQh20}w~cU9K^r!0J=!6yJ{}-0FtJ z6rjfwMn|pqeMRG;gw5+4McT1&;X>YT4^rt3aOhwF$a6%ipdFnv>BT_w5#Z>hh6E|8 zx&te)p9PPkMrIMpe88R>Y?P-O=xu+rz6GaYsczJ}bG16ZKkIq0vA2Vdh{<6qAlbUa z<#9;~`;HfH4R?ZK>^{Ox(#%1Q*J1`$`KY0h{j4;}7vR5HiQI|$U@jOIGlBPR5@|Z) z@jbC+cRwsNxShtcqet0GOaUEg3#kf)kH83dr3M(dJAVhJET^he=KW;r)^vZQhyBiB z3pT~w)BBFyDQ-8+A&J+mf8DFMq;vb4w-OZ{r`%zhZhVqRm817+5VaY1sz zio#iO-!Za&S~QFtZa;>y?lhJTTd%kjam_|(_jDqy;j_7F6oGoGgZpf(rmEkr1BKMYxZtU{hy5bflx%-{^!?WR z?$E@dG&HC(PlQcK;y!^<6{SEF349m&C^!?^Y*xch>AI4xOM{TS)n#5_Ju*6}9^WD9 zrS%(!@pO6#{oX#)(xrc)3m=CN9?#_3C9i zZ005D8A0l)R(Gww#WEkiT=nVJ15Fu)g9Z!Q-I6fQVNBR*vv2hqhWwd%svI*O44(D0 zM+(SmiBXR?87v{1#pQ_BkwS;XA+n+t;f1&#z7wjJL%>@59!h_cwX$0wP=|vT;#-ae z^ulxZGpr=6o`(0$U zD%$wf#(^q%z3hLEk$6{HGs`>SwE%lt3y(@M?(NBO^stEc?|IanbcGWQQA4N4AS=QO zt+|{!YFOLTLsaBzTDY1^od(}`V3`Ylqfs>&db1MR(6bMB5+XbED#>J~hw}U?-*=Z1eN(BJjJd*(yVIrXML4@>lU zAM@a$>v~qy2+U7+=;*Jv*xwpm$4jK%dq?S)VvAkNf)&yPQ|=DhD@0S^Lmd=O55VT= zLx~Iw%}rl(If>O4mdID2mC1^BG2h*z-sP$WJeJtMaq@*G)WLZuf1yE_YIr_4QpTY` zZniL>NK}7v3l2=|Iy%6yv*;DEh5b^5CirQkAbh`#*uPyk%4oKu`QQz@>P8EL@>?Yh zG}+_l)u6_lxRqaYMcCw@l32f58)a9Ce(>>tx-cd%5IY$+FrzyT3Z9Sa4r_&`4V`>! zt3Oh}XYT5a_*t~7KQr+P<2XjVd6RHs->nH>MPGlWuGf15Q?kBd5_Ul~>XNY0zuxg# zfUc17#LcK}fu1U;d{~)g<7TcR--UJ&b)Q`;+-a4(5P?9$myjW@y>dQ8G#dW~P!Jb^ z=e$vvT?}txtTgTCd=PD(1zohW|C#Ls4|4HiH~Ic4(~aMPg6dNTgK-@GUIStkALmzv zC%=Euf{&H~*FisZ0PfX#O?KDRj=k$|FiXLfc-eLm$Y-9Z9i2lfVRS)pfljyP8!g&) z7>VNA?!*|y`BDg7M5e3?5Wu?kN71yv)zybxYt>C{FYYdp<4g$$HMDenRm>uoLhnq8 z#eL-9++oP<;ZS^=*=Kbg7Mu&^)C!k|_Vs^T19iWVd3WY)pFJ&w7`1N#jY+AHHxBsV z+jyZ1wz-eFuOspAfJ^c8$MGY}55yuRE0Q19Y+IR3_3sXjn>}QBc_Dv@ z><^KLZI_Sb_fXr(Rg^<9R_=FTlzl`Z;1T2~aUtW zMF+X}M7?=tq2?2~YZAjpC$%`3njwF&mgYidUic759v&~C8H|DIqOXrw6J%t!khfB| z+6v=Wx;=F=<7Z>iH9#=jm~C>NEvrbb;1MN3sA2Q=F|Ml5ynqF2^hpNIgQbngb}E%u zq^YQ~Ie)`Jnc+eL{UQnS$0CpABl|T3S(4-?TK@VbCbedWiD3ug<7kGn1lzp;UxXWLx#)cJ*fbmG1YUlAaFb4C?f z=nY5j5Ri~S0?t7Se&NiQ3--5Qz4A0kHZTzsw2}PO(G>m)pP8Ro{o>ji-aZG`c?}nn zG6CEFteF(ckqXiGYpQgFkJe$vl>Az)-s9Zrd5R&3+k0jzscC<&{q+Ztz@@e8=3pGL z3-t%4_ZL89Fm5W%sIDj7XnAHX?reF?_v6%2X^{%+q}4;InIYZsHkzMX2OMUyem(qXJX`f} zht1DXPS6G0XM`C4W!VN=$q-BI08H}OO~qVbhA(SRr7nLO_7&$QUT0l!XU4yJ)-OTL zAFNEiY!sFvz5^=Us*cK%ja*RpZkHEZn0l(Y_<)VBFRV!uF=_`)m!aj_#jZwFR{Qpl z4~}-fjif!bC9F);x~KdmFz2U)i5p(MQCd1eJQwf`@;dJ>rT=?7yR08Mf5kJc3iVJZ@7;ghuLuTS#;@zu>IXfuZ^}e449Ko~-(}n*wm`AsotfaRw?@KEO`f&Xol3}N zf4JjHlkqTf7cb9>G(+@Y4>4Ytsa(!xxuxR7A?gY+Q?3`cd{1Y+gpYpY*??8mFD=Z% z_xyPzhWa?K4~vuap?y8W?BXgHx8FPk>{;IvOrU>wUIfqkF5{`W8v0k_6j8?1(BYSQjK%Ow$+DgDLhr>*==CXic$`dLmxsa4Xt5jA{t76v#UF4tAd`h(hMOg?l`BKmd~OcA16q886a5sOMtpP-R~sXMg(WGlz3PVo%N zZ9W=iXmtO^A(uWZ;jA&$yz0^$m#Ziqn=W8Re{zW1lee^MPI>&Mu=RG(a{8!U-fmB?u-6(EgN@DOmrsATG4S+!nWej0!CCe~hDqF zuy9ILoRa{4VM4DGEQc8^>vCg){eiKqX*@uhH-Q|o{9H#*lkwGddyMS@eqc)6XfqMH zA|7qMbbr!$_q}f6an?Ng4j`rcY)sbt{oBelJl}Z(%s_+A*m7zbBg8L^e7S5nwU2+Q zGqdmA@9?XqvgK<(#R>aPR%{l!6!rE$_GBvVQPaB1wP0?tv9Q9SL^raG|jN2?oRKdsj-j1*^htV<^B; zVFkE?WGg1op8$6YF%z(5Hf*#6Xh!Q1ay$2a#IsSRCY-^YqGv z=(5WOL?!T6+6m{TGL?b=yn&m!NU<3r;BtO!jZB&<{dcVZU$3N?ppg92UU+|%_Er0V z$uoY5i@M%0999SixHo>G+9U(B@~zLbJ_p1%&BG{_vw^G(2#XlSRo8)`uDVDkH=EO9 z=A>_Q9263>0*m4g8h!Ppr5NDE_euzgkptf#a(-xw5pO!DY@pOE-FrnPHLSEfXep6G z$X|R@T!e&I`F3RU6yKx9S(ASORmT5r3nBthmRFEP-^Pd@tiXbK47TX=sLk~q<}EFh zg#UH!GVk?*4_yYD-j~W-Yt#MC|r}8w|-J*YQ{3MIloxja5 z%YhtC$xUO7)xh!WBAZkkp@vGGBB-T2&OD&m>Bl*zYq6<>o2GhiZh()JlsdLlH8jZ@lH2=EN}$q<$ur z>F>4-`-Gk#P!AIxg{yy1?OSN^#2btR_~jWQw^Y-NtI{l#F*Ey{lNe~$rE$M+$S8Cs zf~zsvgYc;XJYhEmzq~Hg>eiLl#$3dR^xpC`tWZiZjH>;Lw2M`uSVvByLHr)oHm8i8 z0R>+7=vazss81e=`!!AsZ~D7MsYXbM&NsZusiMp%Y*=Y$j?jO2iwj>z<){}QF4z-< zPbJFoX5_IWKG=2<>tbPq>#L(c{W!OqYgrU#Pm;|~A1||h=|aH7v+nVsH#3n$j*;&X zMTOc+`r)*^dSjgh!}o2-Zct1iU~1tDw-9C#YBYd3#9(VP_c79YjTvJbXC9`Nq@3Vd;`vrxurB1*jwc0zhKw;i2ua7a$h zNQl7UzD(e9JkYAXUK#Z6Rpf)cu3*Nc1+iz6usjn7vFt^w-@-Cb!;N?CcxbJ#J@jFk z-d+tl+u?ol>b4kdp>-FMfR(xfOV-O(aMsVLgbD!4m_~Tm8M7{4>U_e3QNQ^C}xo)ocvR$V?C_rqJZ$!+@_@0DQvp zw`tbm6)%5$Y>^_$EJUv)?;ua4rmuG9tAtzU7$%|+wIxhewpE2KXxSSqo1@EF2eCxY zr3Z?LX`^y`>phXD)&vw+6XGgm!=Fr#`_$XbU?87gMq6CwTpn!NGtZy9al;s|Ec;1> zfFuUqWVLnr4Y|!gWP(qfbUb=n@3z_%TXmzPWkrA4dUO@%QzgzVWE0y*)s@Gmlxu3< ziQ1skH+(ZV8(lHsENcwZdQ)E#m;+j8WKMX%OH960B_|qSNF?el$7m0JrrwOBcz=R+ z`RiR$^A9aPQ=;<~hB`Q9G!%$RLsh0RI;IdXWY&!qKWc?8)YeCXl;wNl4`4z+Z11g| zAy0q4%pH59?VUjnI+2G4BzwI3N~B${aQPW!oLRz`Ps!2_{k8-`qdrj7^H`5xp`uDN z&FB=L01mZsM!M%jLTUC$Zzml5`8oCo6SP6paZ;w@bVaAO;TSk2Pr9-~`aL1S1QO7L z3J=Am74!|FjDRNctevq$*Zk?@HXMA{co=`G>t8>qsrMZVJj`AEv%mB#Z2g?Z|Lzzf z(|8{u6c*moMO#&IZMEi=(PdbDohpb`USAn5-AuSy;r%KGv6JK^4#m4XG%f5-cn&6V zZ4u&l3vuG=pWGY#VjbTzIHSB&`~dV~lL>zUBKxTH zHDcUTyd|*|@GvDmr8I`sz7);_5qVqnkAvR3+i4T*FG7gw%@(PUyNY|Z?#K%#BF*`> zow6*-q4n;QsaazzEZ%k_XWhtMr17|;za;MMoZuejpf-_6>onjMsw@1phfPHON^!I&a;MLa+%tfV@;OUEQxV~TYd$n zWB3`LTwJjDpm_diMZ)eWqEzP){i%9CK6gW!Rr6-co4K7A{d}K@hUT3)bUbZJ+u8~D zT^Od3p|r_&g67@VV{X-3!NZHGSrfBJd8n`98`xDqr-z%Qx$4)M!=Hcg0Rr2RLqreU zO`+uO0L%Lbxlas(SbR$`7?M1mr2P1oTZ#*9NK$9(SI}_PBcGDH8OM;h4K-@bCi_Fo z#2FojID>s=bX7Ohu_9Am#7)eDs9bF9n^Nq!bGqgE!KS}SzoTiHujjY7WW+W4C;~?{ z^3jwldU|w=U;d?;e~N#Ad|z}TkS?{9O_BTXHlV0H#SK#!|Da(iEcXljFX5_!J*&uF z@vSSy=~K?;m)gebn0CRj%q#t7aHOscY<;ZdS5Jhy&WB-m+6ZAaAzvF}NO@GZx|g)4 zrXva?c3Fw;Git>+{~s*ca_X#2X6P9tx0~FqcezZ#PvKlE1mk~LwFI%UR>L7g2x|mn zU1YsDW&GdIJMmF|lz(o+e({%Nal4yaAyJ_-aG>6KVP1Kc#Wxj_T=ULwcqS>uI1x5& z4Qr3Vj;N_r@X+Pg7HS{!o8nmI&XqomViOjLaf%Dujg} zBt3#XX|W?vImQ(l&}kDpGo4hBdQ#mdC4i-q1kbxtS!aX+YJ*i)86WZHErFB2qHv=R zm*rB`5J|<>F0@Bf(|%$5ID2qI{BorwzBt0tO~*Sey`DD$OFz!<7W@U4b-P&iOFfRM z|2%<>X_0?X&4fxRJKILG9CO_P#j#AdAxd_zrJNIl6%y9K`?c6IXm;SXbWmpg0gJ6% z-Dsv^^5;|bR;oKzZ!U7e5^G^*FTP2>z5cAbGd7CsRSyzX&BmGx`(}Cdz5?^Mk!!M5 zGM?qSW3!OjkkThju7o#b1%z5NItrpMbNjY?TX=urT7wbil-EPqquo~I4Glxs0g!O8 z!D>Ve>KhVaDZT zyoN@jlu@RT4ZizSTB;=@U~W9QjKgkn?H6CkX#Fjl!3x@IP_@riKdBB3pU6;ql-n*8 zg`$5vht(4@g~eXq!-L8x(Av*ZqtrC|Q04QSKPT^USzpiwm+yU;IwlP^UUlx!B*RHz z*kO*`DINY;+SN3(zLVPGk(6-(_)k&KTY@aHZ3|L}PTMki|5B7DhTLN^K5`V=$9J8s z+erqj2ItAGmPp38cwbH5eLY%)BPB*7DJFl2@{kjtFWRX%OgK`m9u)CC%z=pYa?0cr zL2$oEf3%oc(uJ#Zp(xI{kmvtg|+CNcbs78I>n=U}{Lm=f*9g(6u{wl5}y; zORgHf<;c;M15%GP#Suz#3(@kzg%~0(UQ|fVS zFkN3=7&39>-Jp0YM?$-}(m@y<)At~r4x4N&u(oPi?zGJBF^yzTtF@1L^#*@2BCdPa zv&P7|d(m2QBt~6@u|I+=p{x;nem+=y72CImNRaHSf^Cmx5gSU^~p zS%N$)c3*o9OkJFD`%bn^1K2%4%L^QE84S9m)06#%qmuPd;&GjQ8tVi*+!Hr;!|hW6uOo-pkOx@1TRrZx?sb1P_OEx-13FBR82CA|A$d8ox>o5K_88S?PE6{6U{QR1Uu%>fI zbYJHXmio!I#39)a)`x!|ws74)`7sEJHGHy!)_fO-{N$u>e7=p1(?a6Ca-LA@gM$z$ zV)T_;00mz^Re07ezr1QhJ$fJ;T_*LM!Q#kZTj_nXsCS_*_sZ%r|H*43gR05laGLfL zA%o3~FNf`df+% zTy+bMAug266lFiO8TNoZ^PHw+dX)#Ct&d%ceMMw!-gNJ#+}OGHF+XLvkRB2~I@fAZ zTnK%JqVi>aMPm$=@W{|KH2maZ7a1~ykc#KZY4pP3w=uMtCO6GHb)!1c)7rW-_o0(j zxXPNYlLG~EH8OwX@Eb`);XPbYPX6rkkHdnfOq+buUs}iZKAdqRwkS8StQ6s;IF!{p67&(O|ub|qJ` zM4!IP=mx9FjT8-oJi<@5N+7e-XrlP87-mN`}0&wqy;U6BT6Xp&nz@oh)&`Q=dvJ) zaWmR1lS!fCen^~ns;CX@ZqBNybfon~m0Fh1&ngT4K2Rtz+|WIEhShk-HMvo&)&BM8 z0^FxBaISx}54{$t-5-!bViV-*gGqjT`$6D#gm*Kg@*^rUG(*eGb=*JO1=ET z5*DXtdtm=qI|!;aWJZLD*wFzBUQCN~>B>W4!Y*#D<})me;k_p>{#nb9B@6I^COt)Q zit$tRzNcR)V^>Y9ErVil_F|MC=@ni>_VK`VEX04?J4(WmDN1+E#TlHar*LK|FpV#G z?>Z(mWsTk(7;Fe20&ua7ZcttPw7*DrQ9|xA^m?64)DBL@@)##CaSl{ImomOiO(2c0 zx5x#cxS3Ld4{><(@TBmWm#v3m7A!C{)Oxe4nLwci*jN7Z;poM#dB% z+dCF)`T8_fbzNQ_C7WBB-*_b8y-R6W5i)8bx{8uD3X zdofPx^Xh344W@LTiP<-4BBzo(214ohyWrbJOxyyIr%HXNd(UF{i_v^6M`^SoN;3ZE z{x#Y+TN~bKeRSX2G}Q+PJN+;g{-y=plOM-(+KDUql2Wm;i5+;bYgV42T$Q8p+fGOlXks9>oY{T;u>(b>QT2Bgx%$GdX zXP{Amu7BIOKp0Tc5g-YFIVz_8Q((mo3R_A*Fj}YnDL0f|Cz*_+{4Be+3b`2Gmw>~1 z0@7x@rWnTCX@QEpkt&V)nx=oCCTHAB$c4^PG0xX}&Mij}X^PSrj7#T`@KV2~pPOHq z`CiT7s{v%pHy*arE&E>VATzVv(#(y^C`ydaI`zk`&7nsC>y;QIXs)y71Z*%8W5Tn* zEP%z@D;cQ`Diil~(+rc}*jitj9(FNt`?_WNp+-j{MrY!iRQIEC4W zTBa5^b)!(y6zmjYzMs_1$I8M^HdBNI*ErXPK}#x*o6949DDP+L^LpJN-!l@{6nwhY zvq8wHFZhvV-K;AjC@p_sl15pVUgX15h-aj^q>;-TE^dY|7ydOl(=&YwOMQx zr06U&sPMXBVa>eG6KtZ++zKxx``4iJRA;>pv8JeyrbD!;FCJp0&)?2rZAP&x8Ys}a zh$1IG{}5zRd#+*5nYR#pvstmW4jzab3;jHoUK$6Jg>8r1n}B$%Gb3BN#UQ#U@154l zLr$98=`vNYVqt$R{B}&3_T6rQ_Z6m6>||MI>-wZPqkh}Z=K1cjm5N_9P-b{XwfY0G5rlxEaagg4>>1^t@^8shuaJIriYbc!V|*UW!Z=~~dmdaYPPG-`?PfBNQ{ z-%^s{aJ%av=U6DYH#j(22k?>kbgQ*_>*MlAzoUzV)`B2Hb0-&vu%jU*yO#gNF1%ma zSc~ANb+pf?Dn{m@b8Mz>QFfgIoo?fK<0?(vrwK$h#P-XGEc%i4Y*aJp!*V-5w8P+1ssdGkYVo`2`vw4-{3) zxeB=mdMt!zie@Wc-j^HEyJM^gW4*I2znh?R>0o~hy*ZNqzT6ZCEJ(!;f1{YDTSyKh zHgq;xi8K7=eJBaO2Mj|ZrVFaDl2WMsgppX-WH+_#*DTT4jGo8#?Er5#h?$gO(LeU= zed1?Fk_aBxNFvN+>8g|Pyj08l5U~f%I%wpo5i2Qh?JjFekitlcE-!<+8+8FB9_`gqf zA+awmUP2b!thil9m5wD{NbR8kKYfUKK-3=$Bxm$}c;xQ{y78eF?Rrj?Cib#e(D?DQ zHh<`y5i@hV;H^_Ptt*kXD9`+m*^s?BmluC_R<6q>_sZJ{lWZOB-r4@`0Fu?v8I?%j z+b3;HqK-i$c|{~$JqRrzpmNQS2$kfcRk!eM*VjbtAf7M8;z!F82D1$}C)6(f>SWJ~ z(aa+!J!j|>7#F8z%5IbCs;cM{2pI+9qjz_eG|Uv{&?0+d^z;Q& zJH+O@a@SDe@P|6PX@gGa=@DCZh`z4WHDN4^TKACA1uAQQ;L|^QYbfFFp0gjx`j<3h)V z&+kGTLYQ8UD=Vjj2>txn#T3ZS-pPMV=1V$Dw>*T?bK+KCyrsth7Z6#%j0FfyT1dYJ zRN0U5goFhq4AN^4v{Q870^d>1^(o+-p;uAHCHRAz9{ik#`$$soNoeJUK0B6A3uS7a ziA4cjdQtxh-5^kjhyQH1JwHt2J5=76Ypv#a?~)BE%7ZWUonW|(i_Y3k8mxb9(U>{u zj?-wdWV`(oM9>nK{Xw_+1`rxaZz`vmD!Zu}QV)~sWE}eMMke5j_vO7Ci6LR^cCgRM zr{ZW*gLs>s>cDTl(D6&OjIzkgLk*SA5S^K^Y<6fyhuA28DKY%A)v9sgRAmK2kB+u| zz}RJ_sEIP3Om$gEM4;6U<%NG&#_;a2phBN@{aqk&S#gkEj8f%0?{;Xo{6l>!LID_E zS&~tYP8%hp%lgdXQrtPnFA{*`e zle6yFgJMum-c3|mZAo}+YW0R3H0+#+IfBu^#p$fN&H}(gn}+j zO)?8*O;OOTv64%Jrk9r<)5!EYTgA3@^1wr$I<$;{(CoJ4f?uk!XQf}>5qx+f?bS`3 zKy8HzGm;tVS9$nS;5*|Sy>vJ}qMQsSL-wJrI93Sz^*g>d%tIFX30@3#Hsjt!CtKPM z1y78cGhUwb|H@*V+c9(B;w<$AISm0#w`P+P|`{zHGit3yp=;48q~kARG! zC*7L~E^>bU%8CoydtfFm6rQYP`G&5md{YyOg%#gR%|xqgIfeobCBRJd^fZH#M9nCh zf&>p*EwP`DCn0)b7PU2glQg|mjj8nkpnOOXJuUkpw3W$!I1Zj~A#!vO_v=n_WrQQO z7f?P39M3M&v_gNILd5ea*Z!rQT3S$HXh^;vs+pozT~me%2nlAYYKUvvyBXy14=2j4 zy%YcS2 zdu^SD7EGJh5b&Uradw22KZ@kGcM5euOUC$is*AveU@U(NJXlTXf1Gc3@?E8P80cL| zi)LcZWLH1i3Xg$^V^8$5#L|;`mjzyx6h7bFx>V4Fl;41I{rH1#y@H!RFA$1=&Jz1` zzG=#Bn~siC@VK-Ss^9xAhU^68Zl(SmX}DpSp)zO~gsK6TeA zqi+OeOMrimix{er^bksiTKyb*Ht?~|M#Uk6OV|xuc=R=d(u>MJGhOu45HZh3Jg|sL zFyX&e+U0(?&mBZk-{_-h>M|&S#4ja?pQGxx5ZqdfviAJgU=*A1hm@j2N@I z$&bLix}ClHCN5)bhJO|}N`ZYxif+RuXZe|#feuD=ZZ;puMx~3(9W|D_3~QXhq8^Vt z<&blAW6OHGSlFTa`5hDV&1Yc@X1eW>-mim#*C>T#w0S-TdSOlgn*4A~cHzWuESZ4g z?(csU=kD6tY^kwOjP5Q==6QO3#GbAT6apQe!g|*}w|eU~3lE&M*dyHD&vy%cI3xhO z^6zLdM%nD&<_}qpeM4F!nJ7jMXudac=~_a4N;XaTOp)JtOQdGG_4U>S2zGB5ue;3% zwb`oLNb!n%eodO(hTXUPX*1Bi-n^4D27-UW25cpXUHKE$wVUy0pu|2Dc$PeCM5y8h zP1?92^~g08bU)S)#<-HH)km7uS@=0(+NX*A7Yw{NGxF(7D$-COFp_wpV}h zR5lhWi{@Eyq^DKQ=A#@+s+h5^bVdp;AtUYx2-LNX+%Vg}B%?lBPZd*_;TmTx{b2cZ z(BE`uzLBmJt`Q^R3~dh!<^#HW6DU)%8+wiV5h+b9S+G;o@Pm?Y`A^&)lrZQ2d_{V!4u>4 z8m^A+D2D#lNlh^wDgX?#S^IyBe3yDrZ!BJa~5*Fm2S4&=w z=R&|9+=t`%ww+^M`F$!fI^Wu(wNr2=qS(t~v0>{1F-kt)_b{kTAeqL6^J*U`6ewKaT?52OxjbtJ*$bCxU zf#h&80D-i__;M; zgc~^SfhFATzonD~(Kzizb~XBA|EUz&jfpFOAw{YHYeobi)&pUzBO7kW!$W$X$s=~m z_bib011yPRcDl)q;BP8UeE!ko;}Vt?j`3)rLYkh@PoF@do1lMIwLxBOk}(u;I35_b=-Ds)?P% zuMNV>qWn&~C*g9g3zLyYb1JB>rm}Tkvtky|GZ{6wOF+wOS*p=QQ0# zRW{YE#@46LMW2JXs}CN5W%sp*is_jiH=Y_pSPw=>v< zomEgAK$o_04el-j!F_Otfx!s`cXyZI3=rJiA!u+5?(XgqAh^3jkWGENTl?SrmwoC~ zbyxLGpSP-?XEAsyqTTs-T$EX`OzW0erSDyHA0^xSozr%iw{sSfW@ZTzKFGuFsV2`k zN~1pCPl(LnJLrpPa4%8A;VWxoZy$TK=$Gbm(xz~q-!ZAdp}gA!5_&E{5Ho;5gb|RF z@Q{^6qp@2S-5e`V86|uqkNQhkgX}7IfRxN#@id+%CsAkNno+O=@1z6mzJq*Mo)XkV z*o>IDG&B>su0!HPG@rd_YzDR~0;oR$2<;Nyp0ucfFQ_8_njjX+57Pc?8{*adeS%Cy z`m(1~LrFR0_M*3;S&rHolFMfBMSjX5LI;b6X56`jQ-+zxbM}%p~6r1VT5w zeDeBi(?uhCJ0l~`M`v0?$NyFe$CqegO;Ll3X?c^s_>56o1HJNUlcMs&8Yhm& zK6bLns-F+d0$ko&2k63^|>Ylrtk5a6lV5iq+W=tk@v?wDhl4j&Do@0)ioLgA1p`JE%xL`|^TkX!?Q zT_94*ABj@zik?OGY^zpjcHw$Dncsi){7n7o88j9w?qGoX12gi_`085&v*!6MT|oU~ z7yaANpM9(t%`^-l_?kH7i$nD|cj4MA`zkp7AVxV|ctAf1glyTb$#-8ru=b2O^#d@i zaENet7}N*ft77nTX%Z?zoG9`Q594!=E!rsz_UfyOP-h~$BmDN6N6k{h1nud$zbe68 zK7TEb69)fmUkCV!pS2djtEwDD4(x$_p^Z7vQU1mCE+bx63$4B4L(7XoUM{fXeG{pt zv-NAh3?WDy@>vfcLF@9@p`A3toK>bF6{+HzJ1^R4E7z-kb~}{hiJUJB>P#0TNG(^b zwM$c)`=`DQ)Ub|BwiBE9fi0n?-&Oh-JT(*PHbIL%rOpohr=L%vYlgEQi)5Y^{!Q-R zbTo&V0S08;?on}Wk`NE7_Hy@( zuDuP2)oQoj+n<{*1r-zx^+-IRn44fjr6)Jvfr0Tg>2v*s zj@{stO)z#F9OTYY3hYqt0Ignke)2D#6dh>T2UGk6=k%~=MpzcZ6G5X%AY=)n8A|JX z0Bz{lNeZ9>G5wOVL^sWT9YIT7a6_^|Cp>T7elZfYgTmWojH2-5^sGdh#R3Hmx^Rdvi>sLfTZ_dk&!lz#i!_WlYHN9r$e zTs@icN#A{NAW+y0LMioNG&~o|3#nuO?v5Q~c~);qT7G_` z3cnX4nbaV`GyHSlna)|%G__KOxvW&=kqzphG0e*L>FnZTZrMpsNG|6@M02xi73aa~ zAe8D8%NW5~i7xZnd~**DK6!y)U4G(td6n!R(PkIC0QkX0c^N@1Gs!wbzl~HSnoj*GsHh^7|4VllLC3gGqIR5NRQenhEyOGa7J5!8Rm-VW?ttvYZxuaFSFJReX>xI3X`v0Q0oF*K3F`0+xNf;tR5j+K0 zGEs|CwTY=2&Poz*>R>CD4CEpClr} z=yI8k93P!?5EYqeUgTf?&M?O5p#FVW(gP#TBsd|G9}u~C1NTvCjWyCKNX*Qjrv5Tc z4;A!XQ^EWxqE9Lf%)o7MS!)=EZCEYtM?h9#PJkLgV&TOHr{wEE=K%k_aLl$eKe+&= zr-1LU?VLHz^o6W_&Im0ub|3#5W^Z4yP^~Y?=A861%fSUk76id4^B}=H;V#o4x6xA0 zN+ZtK`9&Bc{}YwJH2z;&^fcLA^Yce;leF?O(l3QC>30r0Hz))>o)|BSAN5Kfxf800 zmPqAMHTx&7TLqoyjSH36uTebTeA>@(Prrn3=nDR*ltNWdwpq!q>K9F>gYgAAEKpQwXdj3$}^OP zlrmNX($$2K-^<_8L3Oe{spG&&6#utA zH)mRmU2j1=2ypd0=t-{>9uuZ^X^!Kudjv}K%97A(2FF{X89&jJX0*7*9p{53Y+6`) zYi{*JBi{EIvDYLKz20HJehw0ul56_0{Bu7j$)F~-)FREU1C;FL7&AA)y*Bc3PA^bDdVq>n2C+ zNTqSV)h2}A$1Y|#zK7#4?d2l9 zTI+1YKJBx=YIEuKnN{^SYI@KKX3AD4((RY~kc=9Gy2rR%xowL~&f26|;NnqQ#~+_g zHr;T3HyX6o+y_b(oG5J^Ey;%nhqIlvI(;l0p@bdrP zP(w%%_os~lT(!i-e*Ejkd9MwK#^<}Vry^V^8}hH>^_>Tpm=Oh;PCvr`v<2y*%$Zg( zAEPAhT>svf`W(LNw{&)bqd0P8^QYbhw)^*E)|TDTOQlcVyaZf+u)4-bxYPl!84LYv ze*PL|tMG-<-)Y+l71cD{hn7Fck|cQRTm)^9NweYpP%-CU^_o!!EPXu_NnFJU#&ri9 z<%}Ai7LXLmi$CrqkPE(a0;D=u}AbZibCoXuFcF?<1svtKsQW1`zXzX z?7b&g)Zo8f4VTnew0SkDmssE>e8oOI@S9b`ZHlNa-!JeCxg04S7 zW9(h7P)cXu{KY!Aroj3;-b>rB(tQvo<1Kfnh{NHwDHG-1`8Ulu30WfHoyN&4_r};G zvP_XIQ##?e7(5cIZP%`($e|^vtn2g?gvVLn1NQc=jZr7W=TUlEuFJ`DO;+DY8ytT4DZrF`f+$aV*aIXO9*1I%cuUk+C9M2z#A{^GaG0 zsC3l|zTLBk6)}e<;W_7^e#Bs|sE)|FQZUIzUV%)ce2M$7Ll2oGd~XQ#mbkIwvv`S( z;Pjz$o)Y4VNuBnP?3jco6WQhsd0Mzdf;;#|5;|HLKojqgf#31HYj*h|g-A%>xH@?G z{YqRIZ*{<(x8rB(fsc_OMA4B&(gSH!pe&G3foadgC&ID*-s#P7XgCtkF~@SBSAlrY zIrxJx!xgl_PpJCQ8|tAUYVsFyXDXaXSuH#N?gPFel0Ps6=a zsA>jR!j%qUu#PRleK8%|K%uX+A>!B;N`|L@yBUolLD9Fr)1wyt%zK56Ak`Y5J0{sp zMm>+>@Ye^_4r^fVUM!8ozqJG0Iq`^Ak(7>C1n@?du$@hDbxn7*N<09nC<-ZswHqAOTKx4qkR% z4zB-hNjr#ysU_y&Kw*=%c5!v11o8p@mz7D$1q5>a$B|H_qx+R)7~6ljW@Xs*Bst@6 z)mRE6EY(Auvt7?n>^KJJW&pMr2pf5{=3l_XbZ#{W1EZd=a;c#Fc-IN8tTrny2Ys(- zSW5Yok{_3vve>0s=EA74rnbqbQxn9Ig06lCJg(T=@0rmcvgT2jgV!X|WhgY03Llfx z&yXp)CW9OaYE$c$iH(4irK%X^pEzbZ01m3?%q?;{bgyu}J4M$y;m&g@fVm|p0fL11 zyDDV$`DQ9L<$IUQ8Lnx zNnyh}QPMIEmPf&2tAEbU`Du2CmkQiYI!O+cfEJ@KC`m4yFNLy~_om@aA}sPSsl=WH zPZXsiB=Fc+&uu;52J*f9Ew3JE-?kRU6x+pjyo&^~I0gy$iSGh==QwMKxnh5}5r1}o7s?N(nd(ZMTy&rbWzs(-#=MaxtEYc2 zT0#KsL0mD%GEK!uKH&ha9XLh!D=ilZuuVK_u)+6}l`jIK{Z(@e-PE~$nZ8wD*vIS( z*1i2Rd26?E%w}z*QX3ew$z9(2K&UEmED#|L=HGZx=(o6aa?mdm?iKo0n*dJDJ$iBtU0QrC9kKJLpaZ( z*EkIk4NHgGS(F1@Bk(&Hbr&MOtUjtbz!Ss9hzk-|(JI)O;l^x^v)Fjk7}+3viudh9 zfQL~C4G+a^Dy7=t=#R||V7-f1k(Kb6Jly_GE|whj+w$;rEd!?2@1Y2LF}k_nWQ$ng zG9N&08eP;UB*zl~LY0|h1QO0>LFDdC9h{?Ya8hXd@O^-7qN5ZB*P&-wo}U`3XM?7e z1HcH&Xvvy(x6Xsv4Bv$BOd~OlT7oPnYXBwG*7hP*(0k9xx!YSp?Zj6KJx6M(;>L9S z35Q(hr7t1Lfy?=lKdW^+)GkI#;;Za_x_;}KDR*bFGy5wvTpweR57rzRgZS_xoUMD` z^;SBTuJzcOIa6>?WxwKIKpRI@!-*$iXy?@a`RYU>Y0E?PnujxaEwxONGV-!XbGDEU z-K4p4UKzrxy0ufDk2%#_pUUq<2Dbhct{R8gENil9wHI1Sfcwekr!rq*;#qRD|9)j6 zc#4sPP(D+tODBj-9vg`+5rT*N7utCmf-i4q!TD0Sn43X(#;D1CZiz%}2ZXnoYMQQNHqRu%(h$K4s9WJ*2(J z+(-TacA97Q?1L{kNv3`EVn~wb32}5wY`#=XKrZwx@C={NX5=9B79wf%68Od-Zu^;d zYHkEN_91cU3CJq75{KOxYH4#c#!pV$V2SoXG{K#!72pHQQ^fUPdTeg4qnTm*^1 z4pQ%nKxB{?xTq5L zTIYt|9q6pY=GmCe1Tik*>yB6a9zyX2Ujo16fx~LN&ZecOwuD}*k9d#UGQUbD2dNw; zC-+t?JiNyUV6u@{9lRB8kcX|nwdXj4@;3|YD_@Y)V7_)`d1$Oiv8D3aq>)r!Setfr zexw{FwLzyYg<6xK$pB93RQs=;@%nYuo+lj>mCklbLe&ZNUx>>{27JTF^fq#;`9u5? zUvR1`|8CvnR~YxhRb5FOoCx8B*C3J6;HqaUzHZ|2&D73j%V>Q6!B+k)T$M@N3R{T; zYQmTw+_#y(XDnEx7o8?nh#cyeMSsH-=G6vVh-^y^g_<~Xrsj>Lc~1Qb4OW;LIZohm zDMr)7pw>oQIfE=eH8N8l_R|SH6Zpg4klI9JGUU*_jtxY@k)l0@Tk*BHNy!;@8CNDR zqoso>baexj%VJci%{m4^#&qu*p{{bah7+vX!o6I#3QZ`Nx?2bCr+k;%p}NclxeE{lYo8r?4aRwDF{jRzvrysQBY+gX=mbTCab_X z4R;#j;AolE_&p45y>&h|6ECcno0Q?W?cnv2HNpKD1E)F(u$i?AYJE$VreB(Qx{S?b zw@(TMnQQN05uo2Dp`=7H#(O$RdTC!u!fH@?71}j^Qq*MByE*yyRbz%#tu!Eldx?Il z&s(V74Dxkj&PriBwT>%v+s+nyejI^8qaI38eNcuR@7N-AEFcpT4K7Z_8F7+Z3P3`K ze5rI~R4A7zU^x*4*1bR8*3Lgp;hKPKU%WIQOipVzd}&E zTZvri^{tHRbNCvoRrgo9LJDx zj0otM+{K)=wvAtplE#(sE5&!8(TI$c0J4lZP15wAw{uYI{*J5X%Y7CYN=efM2{V978Y^QPY4JShn3n57a zX(fm5QhOMd_k-YuIN0m5RZv8(RW=&k6T^k*P6%P7;|@q+KyBhZYr2lNV1qST^mv1A zY5O5+clokjs}0NyTZj9On8pK0Rp>N15C1X1bge`h?@71QUOHH_vyAojCOh-wO|3MT zK^WocOvO5=70qV5)YI@@--SCr3yDdOSY0iu9z3h5Yr%&^b`SiKUz0txI-GpCez@SU zJ{&eEwEb7ftyJPg<+G?DXOcf3k>E8LBi~s0QaV(s$~}J?6}4>_{KwZZmH8jx1pni1 z=ZJf>;iG(dN18j9xv_hA=YTaz^!tZJYsYEIX~@dw`Vabt0eQ|hk~+3cNaT-I_}Br& z>jY9`Pk(m=kAEId1mcnr|0_YSJ}==Mo(reJDJQ_YwrZR%6_Mpw_&}#I}oQ z_*`}2rO{=ryax0;x|LkpfN?J_p>Ct6G`{S1*UhL%bKq9I?dT!1Vepq-1K{w zK;c~q-t6ZlCg+fkx$NccDNZ1?pR>BM^zP*j#`W;Mrv~KX+Z57mSaiQK(FCLY{I(*v z(Ux{#_q@MwxxI3&Yu(tjQHH}oy8e+iR$qxs)cNKKk|47A6^6eEf_swy{Lp^wTl?T4 z%6&DM)-p!RPJye>j$=dJWe2N#I13Af(-j7*KeyPgX60g(ST^H|{%U#xzkXF7DxU4v!Q0(>>hD$I@jl{c8@*0u_Loz@;AuPM zXyYoL-M8WE)M-G3-1=|1BnS(%0xDD9A2CEbd>;{hJ(wwQIo_DXlQ>^(`H%_uQ25MM z`NIucqjj0=HQEf$j(5HlPSZSXA8u;UsZY1etF(wBEJrGNd+ODRMJ)hcuTE?@yG9ua zm9{_T|CD|3+khai!xIGy>O2l>6{^8=04A{2eY%5KJG}IX&KX>@Gd_*+P9wMqq zT;*n|ddjjEDbg4I!AZsKxnUh`(m?+>eydm(M5Otx0)ag`WD&hs&a#G5>~_*4aI6XM z#^bKD!+4i4U~X*ef$+G(SwbL?4WI2Xe@}IoOp9dSo&%o zRVJ)iA4`t~xmve(|7Ak(+%K&8@gK%P|-B3*}tWeV%sifv$)@9aM|}L=`YrU!3C`Vq*7CFGL`B8b;{dsYQto6yK~2e z*49!Nj2h?Eus_y1!9Ui{mz8=AxUp`obmu$u(d$4uZy6)K{H=K1x4~_*wR7LP(&6#w zednj+H_B#J{<@Prb@^C7<4F_FfT4o$>Z7oIwe~ir3N?d735JI8D&-jr)xteB zk!Oy;s~c*8+#F_FVT+p?3ROhf&oXm@@(-k^$GQ&p!L#efR46*Q>j#uIig! zxT03L21QhGHa3nF6;uYmHWym&T)p)h1*n6R-^IapQzY^L+4wC|Lj(`Bj%in#ik!Xd zjn3y_H~Z)WkfwkmMPKAR1{T6rTinLjRGM6=mA{vybD`5uNg;k zxSPjCx9L=2klRKCo45_=?)&r`O zc?Y_Ns9$FHx*#+a;$~bRVi|e?S$BiWKFY+y z6xuoC%67klxesWX5m=TDiFWP~trL3n=7xY@P-+Li_c#FsN|q&m$I9$&TDWgev%tbj z&3Ux}rPkdVpc~Lk8Y}2};yZ39=DYJ5%#Eum8(i+NLPCq1%X9LH9q2dHJ8lJ$p#%_6 z8UP-SCAS}uV{(R;@bvC7(MS4Iq8uA!RhTZ>L5l!%rlLjq$5nsgC}Wlar5TV$OD$ot z5F;Cbn;k&!(Yz9c^-9}x2k4#?3=`4;(hC@q`M_e!Kh%yB{qysJ{k`PkelMLeSqXwK zG&$6)y5Hqc2q^zRcvMQ{kC~2t2+u^62-Z%;2Q{pi+P9zW<$kqB50zHkjaE`*;O4ET zgKMwnb=ukn?&qP))cxT#g9|i+ucOyc6zH$jp@9MzXUY+SjU}>VpJcsY+#T9aV#=^) z9n8CNZSra_^G4=r7dbge!ANV0jq3^rv5rdIwnQdf%fwq8!F&V-*r^p%O|-A<%oC6I zMb&f0reffgF#a>=^krjQDZ`WJ&Hjr$qnY_p`CG6QezP&Fn?1nQTtT`#mh{9?wpb5z zL8}B%ulyq}^G>TaBKB&mNsJEzfJeUH4Z9f69(`XB>r80gmpeCn$DH^b*Az)f@2$L? z8zfSX{cHu(C?N@mY0C<D~;b_%R2ltsGnEDp4zD3X zwhUMqR>I|rh>m1NB;?a&C76~F&>l8VoWYjJ4tXzh)8R+X9C}X>JJ?zUN%RSWDYXLV zgALNR(Q)ue$~=L=LCqE%p-eFdj=A=cGcmC<)rpcyUKjf6uAy(PiNWvTBeFzmHboHv z*04s?n!|2dgj5zsoiDh2Yl=B+{L#!v+BFfPPE1{T9+{f-ZlWtW&Us7r# zG#5Wi7g3BLeD?P<(PQklqzgn7h^ZxpR2qF@7fml3HDfWsjOblD<5Uluv^+pP@$aU> zszt3n(x5a`o1|}xpn_IX=4c@1@7XGZkW>3-p^(h8;U^5!G8+)q6~tlrwa6?}T93HQ zWVxIyUp&JSNg?iL&KUtqGW(5%Y*NQ86PC72+R7hy4lG`$B}$j|5Gc|c+SIebOCXsXH2stqcoP7KJG~yptf2lv_cHU!+N&-B04O!SnJF{QOHkR;PV>L& zgK-5CIcsSy`}DU95N(a}VQ{3izGv);mT0&AdXYPm$?#9Me|7Fs7?nBQ!dO}%_wJe0 z$=B!cPx#4nig078P#iM;U6p5TlC2p8_!YaM?<5lP7DA zZvqqTSk`N5TE`$JPcspkJ8&lpFN$Ax@|*OtGg(sjHO0&_pnFJmiFbP(RKFBPij?e6 z^EimFCrGH{DT_cKJ4)kwLZu>3ierdr2}}BeSjH94xK1*2Fr}KNpS<#+qzReEv~hf$;54>*KE-r?RcYIfWW=|}{B_$fX9FByP?3_2V$MIqH5Q<|dX zk}v!r(%!|Sfk6rwyI)_TUL9-Fj zLN#lxrB96J^R0oNhjasWB5NB|HXce=8vO1ITvJgy?= zQ|3=Xv);?lJ;Wji{Rhvb6=?DT*x-6uSTVZteRUro-D?0JsQX4<4tw4fqkD}NF1x|5 z5e*S>zv#maJakutZY4to+6t}vuVrYevg5-+XKbSQ#^|~5uaX%1Z_&osC646Mj zb>bQ{1i{$J<|R5U3MjliFt>b0?bd+U9mj@eja(bfoO4EZ!Bzi%aIgBll!Ts(D({`? zNUI{9#&Z1mN9-fHre#IWegmbj-|wIS(o2xMVJ+hJAGPO(LYlKW79|2B@JJW1#MN-= zXYYq|25+x_g+U6UA0AQ;ajC(1xw-$#V`u;?I&zNNTqwPtS}?peL3MP!6jhSQ3fUmE z(S^vxf)s-DXn7jN2E0DQ?g9Q*JSCdCQ}KDH$>1o-Oztlb;&`>y{EJH3AnKWiM>V<3`$jMtnQv4p?6;hF!cYSsdj zRUbh8`|gI56vr$ZER8V>kcqs&^u!~3`bNh26>iMO%WI4ZAmQYVJO!wdk(qPRw_ z3gW3m`Czvf%2u7xG6M0Eev-k2^6YOpM;=Cp=2q2>&abp?eu(AG?T-uyh=KNy>$|&% zr=4u#F zwS+!sQ}g@kB|Xu`L?wm`C^dl1*J2wPH<5wteeWa;eg9uh&(;GGK8`)d=pteA=;`;R zm*xFONpGz``($%LWkktDw0rOTktc*`v?5|Hq6gqKflNjzXaTmU4xcfEnmc@9T}lII z7naqFZzq;H*!OqUw{TU5k|aPA$q*7_IOtz65{BKLGVU*5U)SHbY`*~HQ2O4<6Ec+o z6N_YYuU7Ry#bUUZfOysR%=kLO6C!W=_yW!aVynJ9!I9i11m1%Rj--EiM{g+^^f4Io zC%B6zuuB5LB~EEIWXNIAlvAq2qo~u~l|%4x>=a%(jf`IuO`Q%-76s36FFOSaY`I z9qlu$VhgM|cf{(a;d^zKrPa=$NDi+>xu%fT2ZqZ3oa{_BqP|riI}MgLKeVMb!e{jrNVK&36G?Q zj)nnn#C%)uWu|hhEnPaw%OYrKgf*){5pphAu1`A^>tck(G1v4XqwFY2(4h>Bq#R!U z&H{R+)kV>;{iuMPsKi~+ghTD*A7np~x^b+xcJ@#*;-|tw1F>Q~1Z(vT)&g>jX62!QQHcQE7s|SI23%@A{S5{s9pfBy1E0%-pzWArU02jliA>U zmRTMFg?j?CUJ#Yn0g(}RuWE*5a?@XE%(8Omce7cv*|(79l_5fv09iG75{dy=+ z7cSqFAsoWHN9cw$A*EVg19C;$0uTu+P&g5PIM(>I@mMt$q9g2tBJ6r)76^9NXStn* zQm)kY`UL@J`1z9vpd!Z5{+INbhoDenRUlOC$OE+AFuBwgjc&->lCS-&B+u!NC51`) z!qfbPP$zAu+yI@2cgi1&(61c;b+v}&AQn1~) ze1tv1($aG2@1h^;@J_){Luu~xp>>rjFo)@XoTEjn<>N=bpqb)fug;*IR{A4zcxrc_ ze?LW&4|N9r@?H2loz>iR|E`U&SetF^L)mH*X|W6P+i1Ii$G9vRBJ}0nWwaP8L~(B}{MJ#gF@MXu5)svy zU++Z@3+DCucaQt#l3(&~rN0ftXazrDv(>`a`qf>Q{j!HELmiFg4x8n6rteuO zw9UGDU~E3?6s{-peWIHYL5*%CcS5}P!IwSZYG#)yf3>&(?=C0ZmLPK3D=#FX$^K(v zOtGmev>(SU#^Fxn)OfIq4qc~YzmBp`kh0Ii*f|zPA|P_@V6@vUj8HSMII*txZ_~) zU0H?0yskc(oh3+c_oMnslxR@!+G0w*3RSM8ybh+^UHn?>o%iUwnn$d<>?Qc5jVcWI ztYkl-d9gq18_Z}Wl)ph-$sF+L9mo@{2-*a1s-Ev{CKs=HNA{mp?n=oZr3UBVVEyk& zrw62LjiUD6)f=CnHQ4fwPVaMixHM>}>QpAzdU2=ylI0U2X%B@&!v|Tm{l0p9egYxs z-*_hHJs$KfEbl7c6a2b;xvbXGtuMi#ieI_(XiKI;r(>_Ch!2fkT)FXhX7VDQbo)Md zaWv{lzCh59mai9s>fFgdC@yxzDV4~s00o@a)&4S$iTAvUiyku0!1iDIa4Ii~bZ5)$ zf@^BYctwCEeX8`3Qm)gi(?Cjw6&>%OgSGCRN2&fRR?W*e5~ zdm4WdbRW8xrGe?&8WWt;PAhs(iu5O0x4+z8lw z_zLD?y0TUhA@}ynO=;D`HkW~u1rxX(Puf2_Yu;b_Yax)^tRDnjTbibc$5DQiZZ5*# zu|=j|Q2PZXBc=FQ$J@Ts)%l*eCcvC+wuX+bGjFt%jx;&fLI#N$2t*w+EUp(j$yxhB-DjIM9Ku%LDy;UKz z(G_*DzG!N#jdPxmKn6|g3{mkBnh~nGrWv(b8B^j>4d)V5>-^ddX)_<($4#g?TKeq#&fKa z&0~N6iW;UG<it#%O6VY@adX(Hi6^^Ei=|5@&Q|71a` z&RcsMcOb)rL_})kh{L8DE^r0Jz!Bf+(KL3?>0R}-q!70usBuJyue{!ZEBkO3vW;Vd zzVc%B3!&sqNsQ@VRX6iM1L*w zDtnGXbd`M%>z!H3UA?Fy_rFu)YjlG0is8Zz*V5w;*UW+kJ5j@NwAJtp#Xlk~cTD|e{b=qV6;KJgEdlufbnSfK3X zp|TTx@}mlWPiiehMSabpN4x2hSNx~maR^Q4*v!nr1`U)5EIDS%9B$bns zfksl0*wNFxpbx|uIk7TLk}lcDX%?D>I6SJ4U$oA$VO`~y@Bh%ECE}2j$_fYfPqkni zc$>6$OgGXE_BL_k>Hm@0n}oklXZ~y>o`xn`9=;Ps=$E^(N!$zOXhO0J?0F0rT&$-n zK84xY%kTa?J=_5JQU=uhX{3Tz|>W+UE_a-PyOD6V>=EV%HbRi$u#w5UO zixs;CG!#Z)t{_vi`MA42zgFK>yk^EI49UosFf#GfxULZIb$k0?k>*;8kz4*K!B|hQOueUn2*@gkC777U}jk(7M%kzcR`H7I@ zG-5P<-zJBvTAebZ!**B0G;Tc`U#ddTX`Cy7gpqN{E}luCbbPr`1>^R>Vs6&0??`|C z=10e^Aud8YV^lx7J)TDM;FFTsoQ=qFVZpO7Z_dH@vK+<9ft1x-FnXM8M@%F_IW zo61+$rbrv77)4Q_JUjywHGrmZMfLy7?RCq}y_%wgq!!Qwzun|y(jEj;_Mb*)foEiY z#LH~UZD(W0ylxp6UUiV-O_ut#QAiiE@I)AR6CDAdi{bjJA}!hRYH>NHWyC;AvX5nF zHxWuV@-c$FASJ0VRt&zIGE-3n#kve6WA_1Yao{BgoC+`;v2ZOFnk&Lobh2!dvw^}z9ETEC{7j0GHn>^Ikd;$YU_BGwt*uV++C3w zU;6;|uoVo75rUuX6veiIRh2-605jkf%3d8i=KAEsdWdm6(&pdldjyH)Cq>b?PfLEZ zSYG6jaclz@c018)E1X=lv5ehTxyc?B)G2#3m{Jme<(mp$GdR-3m?o)Zy^3wGAP}QESl2PgG_GExS@z{v-RT zjhSh_W<>~Zg_%$XA}Wnu`AzK{D-thLa6y#_@aGLtudBA6#l_kFyU?Rvg52Rs3=tqu z(6lBJC^*4o68QbT{ERu#;)XxFq_koj*bmoynvSW6Ic7P#lh7J4GEvH$CKA= z-D@4MU<`a#w&&;tH6YvKX^<$n00V3=l^5#-=r-N;;@sD z(@TJKK4Ka!Q`0#J{Arfx#h^#)IrX5z)6-@)Nj*vVlG~$XL$xFyR{MH%3*K07I zDk3W2-1Xi=2+cOU@4g;hB_asT$dI5osL1R~B()N?+3FZhP_<|feP>Yo#|aP|FFZ~r zJz31<)c6(~*y8;Tqf!RusIU=-mxscu!AhonQPCzSJ9c}Svi|kxFZTChOOl`Ct@qP+ ztT;?RAd~n?F&yc8NeWX^u?jY8mDm4bbajroaLif+ZkJH6Rp~eGPe!}djIn)QmUfpu za29mfwU>^#t#L(A58zT9-vRuO{7FS#Gnh8=M-ZE)yhy?#)fzM*f=R)V6@ zQA_8uf@cSX3&V_FTSf|u#Vk){1&fH?J7!LOQvdWJOk7+`4NVCbIMX^xBUU6_Kz!$U z3mMv%h^|ZKny_Z>k%n{cB1noUq_<5+0PTN=r;C2_=y&$Gx?jHm(M33sxUQsF#n8JY zhOC#hM>>VBh09dPV&E(s%w64FEKKbGM>(3>!m+cFu#o(Z5Dse0Ia6;${<&PO{jB;Fb98k4c~iU!OC^gV``f<5RMI52;f5+LMU%qdz#UT%qEsZG z-nacj*l!EQ5VjJN7_`e8Do=%?JI-<|8tu^mSfoRu5KJyyf3O=(;MzLfL3>Q-?w*N$ zXipVQdHfW5-0HfH?|+Ckx|{l)*JqO1ITY@{D}YhEhl!>Wlg2jq>#z2Nx;D!3c*hR- zXeNjCqq~8<*Y?RwkTm4K92$g9qTjwXs|G4s0Uak+`F|4v>}KWwgj;p%LO%`qBbtiq z02l4ZTB_GBcBeC#)Tqcm7)s=^_YeWjzqu%oNj`GzA(X>O(d%l-MlzuYz_Sqepv<7G zkB1Q}>S$NxEJC`-9DNYvYSs`|Pl>hyWLSw%XC+w@=a3tOgbq_ndqGBsAYe5t;BDHIuMx*j6?XHWX1C)wrN! zl~)L9#j*|4V3|NeFW%=ocpc9#ndrTHh-x2A^S!gCVa22eOUlliG-22<8u9Ax0JfT& zZi;$Xc1p+MD(M368$sS|IUns?83{j$l5~sOBW@6N1`HJO1|x$MhC;+Rijpx9P4K1V zl*#v|ke;ZL!177o|mW-HGXFi8dIoM2rY$$LVlsNFJb? zX>gbSmF4rEaBFSJWU`#%)jHzn09Zn&;13L`W@!BFA5rWP0y-RBJ`s=^hVn`n4Ii*Y zmsNW^84jW5IBGPxSOHSFX98Is#8Kh^aI3i}_3t(bpLeK=GxO|79$e7paCXi?WeP5; zO)+A2!m6CU?cFaQaTf&a24VW0(%5A6;mF#np_#e9&=^E4lXJ152O@%VfC*`BB*P6o zHnHQ6^J6;L^YLJ=6D{h6bz+^mD5p5_t+Ie-Dj%ya6&j_OY^;nsTD_YJInqzM7J;2sb6tsd zRaUtcpTEWD67yf-=eQSWfG9pDsQ`IQkw^)Orm&TLR>X=T@0}42eD?W#9mOjX5 zFi0&{%C(hib10kUa|4WFSCF`+%YJ@jeHZiBa)UitVg96GOjkNsxDhPt1z0{s<_>_| ze>lu=iOCfZOOvoNz<{_zc2)D`Z&+T%uaiSKaPqe@74@`M)@*smiyi+3^59?phLA)` z#-7#{=5PEpTS&%>14wa?he6K)Yg&-Oq|fLJByr*98Yi3&nJU#s1=XGafgT508k;>L zFo*-KodSo|zW;Pn@(Rc!h?N`hXJnmC6hyZ7824vfcG(!b92s8jF+Gf>=R7tgEWZWU zDi^aeBF4}662m9FcpDHA1dmHCz+}~`-oEYFo|n0yzxz<)1^hYv6N#eAr+_YbQXLy~ zy(tZi*X8!s=pIB3w~I+5?6+T8{dG-{4)A2Cc%$c$X7Xp5%-&fT;-9etXlJ@2>@d!s9T+El3?oTX(F<^~H=DTKboXChRp5p+9*v&eG09%u`Hk%T&< zz37}zD1_AZ-ZRzqRC;1R7o2y#EO2qh`zjI`m8PM}hoPy#csjFDXjXNMmQTO;5#^#| zSo%Aw(u{ebKE%EkQugV7$s?K;>m(1`YPK^F#W(VW0Wj4e-CWO&ij9Bd4>-n#PW>bq0>kRar1~IY zM`IOAI8$F3od8)M|W_f%xQ-*4Qkds3Z4(pNxv} zG_{%lW{H_3C}?zqpDCmf<{Ebs?tj@-yN710{Ni|QnCwb zbf)yCH(Zx2?@XwLt0@(e)EwJqY1DNk~RoiVuTD2K^|5T~&hfKb{MUupt@1M`I+wS^GxqLiI4q*nZq*B8|*RNZF zfLNb0_WMy!Wm-NReOn&WGXu0^DG4z&6+j$xITaE3^z$i%N>OkD-R>X}U6ize(zI&d zB5`DUxKFjYe_MC#@#@{=7X(_uhB`ApKxCE4h*TKIrBFmj*n^LenYT|egjv$SGM8(< z`n4!B$YS+2B03OERMZC68N$~hp6XxkoPwF9b+|}IhK-hrt^Fuzwk7Z8B3RpzJM-@< zN}kM)W3?O`@U+!7Kf!!1`@b?XiC23D6;1MdPsOJ#GLsAbeghY;xtAe|E2_!vNeL` z{dI*kLT601EIvysvr;i!%ZeVumNm3pRlG0AEKp@N`CA7<^%199S>p@=vz9kPk)kZO8=G-4fJ#CZMI})PE{nxR}0rg%{z< z&#Q&BRg*y@<)IRweCCq^d8|Ha+?kG)i5UL8^r3S`Xg^XNrJBcxzs^7CZixHJIhtAT z6;k)(lQwOMs$*BIq{s_paTeu$9!?AfvII#FJbUkZ{EXXfKnfJbI|~(Cw0?kuhV=e ziG4jACxxGS*Y>D36n?QFjS0yVFCSp!e5kL?*RC9`g7mx?9e{G#AUaLr{MttI{z-_a z@10S33#bDoOl9jGG6AvkEoAeMDapl$Biyw5qx(Eqz0&F6el{@x9aH6=`i4)0UU*jH z&cs`$tuNqwAADwl2Iw3Yl}SowTGHO~4yIm20&@yVymOy!fQns^4Fyk^qsU&qyl6?o z16@|6{g3M4?blYLOvglSNx2=#sU0G-N?N@W`!Uz0XoMA|XqWTyXi!h@G;ST(Z|U*Z z7{)nE3*NSjv-V2>A=15G$FntIJT6+b3U+;&@CnL5qZH-($x8O1YR&nPff3tMHnzzI z@G4w{=fy<%bR}MB6}2!XAhS4~yJt>aWSPVQ)F+cV*8~Z!Ank6gyRswDRMt-L{B?o# zcyd(D9}{|PRq`f4ZmPL1dxgot)!>&a;+(~md*eh8^$sp!F#7&)1zhzDuP(g}+R>IW!|vrrI~zHIH`iyT_P zu-a=E=Po6TMt=IR2WN#v75`D!JfvelQxSF2z41VtmwM2bPP>;>I^eCz9-PIc>y>fk zWp;c=g!syl^|^<~xc2pwM`$JHw^}qK_wt))DeTrB&^B(Su<@F=sSbx|QKL>*^S7t^ zLG)(toqOIg#fXPCrJs}zfHM_;#PuL#v;c!50yP>d3* zD_xSAR!QmXN{x9kSvt==@R%$~L$aw#TWMFg`}4G`yJPCnO-o~BXXt>5d9!7D#lRrV zMup20d1nWZQov=OlsTh`snE0rj&vzeFt=+D@-UJAWc{H9<#{R&NY4m4*ziiVFcS2Z z%T&lmP(t88|33fHYBJad4m=Cmf1>@gzV8k7-8OaE88MegJUN{&(a$jr zxC!`dW7v}^&-C>y^$^zLd)Y=nzQE!%5#NiDN2Y8XJyk&CDO9Sa=o+=0)zDfpW@a$O&*ZkM9(xi&gey3*{OL<`?cc3zAWRRtx@sjWV4^^`5TS0T1f}clvPM zJFHbOr)8vI$UQJ27?=`EwEQMMlz-uT>giQiVRbP{0bB{?x+88k-q2_sx5QTu)0^JKK@+d3h$E+){8T9g3cBBX})etJ5mKUozc0#duvzeZDmXkx)Dy z&+&!445E46!ojB9xHB`aowNU11jD$hVT|6g-)+Vk@D#5RJEhM5ZS+t5tibzaogLF6 z{Y(KsK)A5U;Ejc%aGlIaw}R3YsNGO)c?|}8S%djF>MZ~a|HftXv3YV_X>#BDrEy|J z-Zvvau&6#&=$bLM`)@tonpGjkYp9dx-*k*IaTq9puWLJm+z%o>-5v+)pmLY-5%J*yk(t~M(L1`;ES6iPfmnwnT9h0+=ca#LU?coiyi9;ExqryTLK z;=uU(X0M%@JyD@ zUYJ{R?IhJZ>{pUAitfG3P?A>OH3(SG*rdcrYGJw*xO&P0$Zbin#L4Hcib6qCTMJ_HFsZeh^G=7@vTm@zYb>yDhUJ6OAe@4Ui>McNKw zfa8)+Lrm(CDVBG|8yY!t^g^%Y`_CA;ySKu&v-?kQb#QL2;E=ok7`tVPs|>sRtH3b- zNR~N)Ho9W2U^VR^DCT*vD06y}({3Olc%C(f%+iFEL+?!V-SFa9RLj__6krvAs9(hm znv0xQHj#boD+)A#Rty_8+oWlxy&_K^#AE6;95`@qbY!=a=kWol81gN=lv(_Vi?4si zY-0;l(}7>nNf8S-$tJ*I^u&GU-2d;e&oX~8c4BH9^Xe47DWAQ~VIkVh?ux*0+*wq5 zRf%K`BWWM;+|3wbMcEt4XR-nGK~>EMO-Km>#;XuCf5v>~!muT7Qv&`BM)eSj@+O`j ze58~5vP0~@SZr#jI>nRX{U~6I36MZ|_XEi&#$A?COEF509$*0xT2aT79Gb(N(D>v5(zkt(|S`s7zWZQgtb4Z*j(v_htM2bfJ&fqlHZ zw&hANQN?E+%m)2(ulWxFssuSmDJ8%%P$;{6dBvfcjZi=A@$!5oH z^i`Z~6nsUsp}|w1ZQmVL&cpOM$Xn^$9@~hLYI|hJn10)qK;Fr zfMP0JJ6irMgj<4pNUXkNTb6cqrI}WGd zBb$k98f@^zLp}2z416(s&Makc@fFb_9CgrDJ0DqalnoY}w*}^>X!we(n-(-%)-RFf z2a)%&b6nIsTQQp08n zv)qL=(3`{OR*7ZQM2b zdQwoeGuT0(GAW}gwQ3U!ZmUMJRE zQRwNk+c8*3E{so@S&GF4@aKMl!)a39WmL;k2oEE=bc;URe<<0|S(Q%2E~A^wvP`Ls zvTxOYd^7mwT7=KJydosfK}Kz5{Hw@+;7Rfu zc`Pp}6B8yYRTGkvYg&#(t$hmh*ni2*mJLsEjAh2~p|Bdsn)fIIWX+C(afrGJ{78Yq z@q5I@$};5>`TQB#?TeoiC<^_(Sx%kbV3XN;8arVfIREw5u4c^=cs7`sArb<*J48RW z&SGLy$T=8J(#;UbNI1+Tnwn~%PuQ`0QLK2LrxKp45-wC5>z#udPHR6Z;^EI1&gd=1 z3Q8=eH1#r);exCU=qnnVJ-8Hie-q58K1xZjQk^}en*ClD z;_oPf8IVF*n79^#LhMv44!X}KF)uloL#*rz*!ZJg(}oTY$S=eW_n}`9mjA&Y*+g$V z7eL5OkW^(0a-YP3{%HeyPZ5D^sA*>X^X&;$H8BC=#js{|D9*&VR5)CZLJXy9bu=_d zrmT&$fW|i1oBin;*Cd-#TWz4H?s$H|4uvTFx_f{)mlB+RN5V5`?t8Urpnu=6*H!0V zXu-`ve2BCFaK0zpL2ALMG`(+ec=>E9Hn;^3`&lf=-s$UwlqwF9)!^PBV z4FU`D3MSU)=p=(&UU-r10C$J%%Wc+X4Y?WJc&T_WqMn0xTv?*iZ<$_g^_Q1qik3UW zX&r&Y$V%B+&L0mdK_4a-4&X{I`k1b z)^EB1g-xJ#Oxk=Z?U%cY#yi#JcdPx2%7j~oT}~bBX}bd*8(mTm=YY<5mFc9{`J}B( zs)PgDUJzz-5jW*ujd^y}duugsEPFcX+;?xBct+A(M~7~^y9`}wNi8l;M31gNG0e_& z5FozM08%zc1cfex`tHsfM{+OV23v^1qUt!q_JX9ASJF%R> zAMEPjQ$EYObEuQSty0y!Se^jCpv{PMA6in;;ooPo)|k zCs=b88+;Ue&)40s*PL*!P*xs}#7Oflo+VSBq6-i7at|8b?c1V#`pu>+Gv7VqWsvFw zz+q@-L^oDMc$^82OL)LdKLLUxY41#FaU$#4SL~5#cLT~ihbi82a(%;a5Jnrr$|3I9 z3C{L)`=#(jC*2dY;c4ds?pj!|dc}zKO3jrRUB%6R_Bhri%^x%Bxx|vOv-#TP=NOQ40-e2cqX~hPcWC+#QTHbZ84$6V|as@@BRQRb8_+DxTW52eHgW z&74E23MgC<4vB#XAhRa-wS}^OgMdl4ztq)$J`x0httzYugziv7V?qS3iIHJmX-fi0 zW6C)))&xZn3YOs4zuxV39#w9DTWJLZ5jr^fv9Iz9&7-^@*hMi+bFSNO7Z+XWSJJGM z(PTrbAeBEldEiq1L^zBomjWzja_9F;Oq)$DwNU$W zA8quWz72UJ6_Ey~H*jnW@EUfv1=9D}@>BM2KiUMVyS3ov7xvjyc3rB~0G-pmF*edN zu(X)WwyK_-Uk-4>I1;$nHWNlaGy<*$I z(-9XLdb40I8BREBgDJ>P)i%bmk?K0yg>~K2$kwYYotlfrX=JN2H(crtYP5U<` z4G~5-I*sJOqxO>7Yc=KI_pJ781k&ojm`}jIARj&+IR;{HySre*o1b3l3h6rjnld)1 zsVd$u;?2CQMvI;_`G5|R?>5m=Vmj4eAG0yzPc=AK|HT&*poG$|MuOo%B;lM;;Ex-P zPcW6U@7i|Sm5wV?atg_jJ2G14Qm9rx3CudAE5x_WK+0Xt*vV(tq<_>D)bqqV@&$1C z(54XK*`U9mtTQ1C@%jTyzF46z%j~)=TH=L7CiXg*K-!Wms?qA7F3x6Z;inUa21@{mk#z@^;T^%_{HCXg;}x0{5?@=HjCcaJ{OaW45nk@A8ZiYS0mHDU9W5 zapj3YKFRmAr~Z&oDmjPzLQp*XyZDV9hnUw^WA*2Z^b@`(G_%EMM_eDq6ZqRh@)HXm zny-l4!}I6n#9|?U_D*NXfjMgZ^d;G@MjW9n`Pq!3FjxE|aHBw-Apxz)fAWPG$%jMt zf0%yCi6Sy6N5+6OC`L1^l0PLV*Z=AqH!wCZPM-fY&1Itape+BRF`MBArvyRS{&)Qn z=s@uQ2e;W1fU41ha<%=psZbP*>;H>HXJF&x=Ka4p0X7m=UKVcl|Fi5QEdM7-*jPB( zc~b_Ur~$F9kjezwEsW9V0`21H+dDgy?c!hqc%Gga`?t3cp49DK5b(Ds6zxM-)6;q8 zw?K_M4XuTq)>`{Bf^k_4jq|X$-w1(dT&wX<(+KhcAS%2TmRKO@==9*|=dlX1v>cVcL%0Nv(J#hReTG3$z`a@?qHfyngNYa<2*WGnL41;1On5!0`l@8SX5NE zK-QMVGtkHj{v2G;V;m4Ru2m6eFBcVjJ#JribTw&|8Q>R$GOj9kW=99_#g7X#j2`IC z48n6QsLMxunFu{faZxX&$jInC!uk120gAd`S$uq}Kx`}%6BELRCK3YI3l-S18wfVL zG(atoZ64J64uJ#giw=jR-VySviw(-lC9tY8YiQ2}6W>f4+uxT2grb3i9YU8sP$0J^ zF7O2eg;zvU7pu@1zU602`^6EQuV1(al!cuIh<{6bXB0GD19VyC=4febT50oOZ{`BU z$aAR=1gYNJL68auy(007!7 zK$Iw^m-qVSI#{fzBuLM6Y)~Py7c#WJ6-ocXF6{ZqefeP@Onw%wvAN|r3=2qhrp^#B z9tjOR4metPu$9vRCd3ltk$~I(boF@0OgQg@yP>Vu`OO8i>y5ojGcPf>umRS+8RbPr z#?kkOU@g;L})FalN8zDt3? zis#yChMgZ)keiwma%ib&!^HygFV1?Fc(T>vgbsHf(^++2AAxgMA?QQVw< z`4*?)7(O*)zAW{o^k?{RAFZj;jI3qyGTzL?wsJ%$sewuguMi89R z0CG)`;wQ&pDC5-kIFak7KGaBqTW+w%DWDXIM;HJVJJR5u8|j`%Y?rlRzO zKNukv82G!daKrIy>W$mn>Kif-X#7>$=G+7%7Z@KtMuvg2{^%l^AI<9A$OfwgHh@h0 zkeGw582v807G}I5bJBQj?b#;QGoEv{ z{LG!NX9AOcJe_I^Ykmj46l&cetHt-3TXOY{4MAOo)t06V5$BRb?cBYGur;_gIYZ## zYX3xFxfubg-;AcWf!06tmOq^B!e#vkwwI2&9*KYy@cGH>zO9j;DX8 zxxV+1NwNsKOr0ey{gcj=d+!sx}ODP z3wWmtd5)bE7qVg=`khOkq-$M&>G!eV`CX;GDvtLEe@~?|^pR>2AN`8w$a4)czu~-t zaik}FLxc9y6=m-FW)>}b@|9R7mKNUYIFhx{LwkcI>i(PiYPl+lLl-U?t~L%K{5FO{)ZE%L6L+U3uj@`@;)e3i3%FDqI{!NDS%li1k*f zIICike>fPn%%3YV>#ouloGk_pbP921uL_o&b?nLr+`HWm*>&y*uvD0}nlvHGrkII! z#MZs+A%x)Bbri^-^LI@KpCYl>J`NhLj;vxdG;<^Ci4(ST_->hG)VlZ`uBws@uec6L z&z;M-&wO@1+@`U__<3cRZZpuiH|}6$g{upme@NcY;Lm?h-I|y!hCquSj#ZaQ=yb!~ zf)9-sNt&3Emea!8polQ|NvC%A2Lg3^)j?ao3;f;Z{-bS-Qnk`o;i`%pt_;)yI4RiZ zsQV^}kj-%?EXk=&96!Q#N=;NmP!Q!U6VSD@ ze-vV5&t`L@*zt9_>w7U?c#7Y*(m;EjO2GREzIybA0+vI3OXtPu)^W2Q?b;!*1v<=` zbdz0wB-JYQzffxS9-jCd28Fhp;UW(6;<{-MD_%P`Lv80lUUjL3SM z!64aJuVUTqs(p4^5QpVHoBqge58KfcEF2zsw#M_OD52Q5 zlTUA9Bh8?mP0k7B$|gUy$-|akBA*l02&$)*%wW6Dq-z3C4e@QwibmcecBi5oCUdUz z2r8veV5PG`^lA6aQ769?(Bg$!e<}4*qH}X>E=qI4PR zJ(@IH)e$*N!k9r49E>w5)^}?>6E3Qq*4=3;)q{z?=Eh26XE-!Vqz#DpDg*6Wg~-#L zzqc}Zrsbu)KWQ?!%k5n?b?A6#srG>BPEx8v8DcN^C`e;Wyng2y^X+Due=1M>O0s*P zQwX{Z5!Kov-P`>Dc(NSUpRaHu(7U!RlNC`XoK2lIkx~}&p$`tGtsEnbP%X5V{~6lt zEE0$P8q+r6XR~s)+HLa%I>jJUdus`Lj6Y=({YLtiS}yd&X-DZ-VON^5e6mfF6%%4* zNE|6&6)=J_Ugd6euoJZnf8S$463e1Uxux=H787)ZgYOI&L8^V6@i-5SE|c*-)PgOL zg`#iPbCT2zFgSI$EYh>ST+8s58zRBWcO}qVA}vKq5_A<6Y%F=E$IbN;eO4=YH5{*8 z&pSXKF0q{R*^K9yF-_xu{s70awB9h49YaK{z2U5Om9}NsuINclf2}^)jBNF@b)hVi z5Dkr=qFo<;zZ~mICaTvVCGZnr{#b2XDzsaa&k~-ehq8ZOBu8I;)=08Qax|y8^erB& zA9jfEPzp;j-gBKkM(9&9IpS-I5GNag&?^|`5gSz;K|2FK_$gqVSTAeFl+w0*W}DVE z(Rp0cE4WrLd<<1`f1VXpjF2bUU$-&3A$K-AhK8br?c8?Je#uH;494LDgD9a@Ju@P7@k> zDrPf}uFVVDMKjV26UK$w3^lpU$_GhzaqjoXDFo)Tiqw33K z;E@AG5W~lY$jY?zzg0_N!U@Ovm@r{UD<$Aw@~!d0BtJTP@||$N&Pguq2suXDX$D6K zYz{};N@G`$S5pybUO6X@>~VTA*K>ngmI+tAU#|28e<$WBM17N#q!Zu$mNxBSqsB7! z>Jta%C1n!sk15s_JqsFD#73&hFFIMhC>-p{i}WA5sl+Reg=I)s9eALDG{SjDEBRxH z(AqDhL*fqg^3xGk^@dZW=L`(r?*$M;dOpuyWC$pAhETNNCk?t*?*15SakoxE?))5V zAzD&xe{82gzm)hKz+o3^151-)OUrO$Vs5FOV^3u2h#x&6$jZY~=(u#gH?_cP`t#rax2C<}-KK*xWl^?23C| z<+last|6YiJ1Cp}B{&rgt@#oyCccFpM} ze+harBI!^@08dEw`JC23bDjg^*SW*JmxHZR*)L{}_D}XpQoDy0 zb|(JCRg6UT`^Elm4@}0Z6v^YmT><4rN1aJst~qnU&xSwxQ$|`RbMv0Gj8>@vX?U{k zY$A>HKIi2L%RML>1V#kYTNlKJ99B6(#p#eX6ow91notbS0!xxBP!5s|*p1Mqe`yrN z;n-u4YSdIsA8=PKojbYP@IO(5-_PNWk=cr-rw#ldd`mk<)hrhU_pNen)X{xwc02fI4JSK31#je19H6Ku7V-Z}||PxcVdBKt;^T&Qu<=tVng) zBpRvAPAz!D&#udt-t%TcTWoA5%y9q)*o0<~3>s?edroaxv3L6UiC4yZ(#$0Uf^+7M zy_CaTJd9Kk(pi$Z*~_pne_$gG9ASe{xFIP>d;zq%wO{OS0CyR#S&Qa=qx_%ieX82H zJ9piCrN5Fu6%91nqXH%6J2mBPg+r6rVALFR40ugq!HFX2WqI}^ZW%Glmn+9?(e)RT z-k|VoPcggR4<=j;?dZkAsCOlvQ;3U0Wcvv=8otFrp1;FD6#bq&f0)Y2Sxc`sxI_k3 zRUzlR4tqp+gymTmMB&gEF@adgp-IwbLTYU^8S)|C1$8IT&zdUGXelb$X3mEAw)j)f zae@sC@;2XUTPYmG=Nf`Rq;3=lq7YZP80k)3_>QZJ4`fDSsz=)MZ|@Ojdd>TqHvHqw zJQW!B#kpM!R3KU%fBHpW-D5WA(}wCv8q!!yenJ$?KVfi`yxsUdZUAd&pF-Sn@jX@p zj~UrV_}#j-X5QF2a|3uATab0E-+RJt1yOn|dEqac{M^_k?EEJhx~}76RM4(|^?k3) zS>irK)!oaET-a~D5lrK7|~0u$m=LOaXS3W+;O{9=qDjE-ijMMfNl#@$)M1{^iap22djkn{^=E|6nUes zxPdV_Rl^Y84{4VH`4c(Dy$V8Q#Kvq}0m08Hl>l_7BTOk0cEJ zJny-O#!Ug6(b12*W^B)ivf1dX)b4HFL=TW<4^=|jJz@M12GK!)^C8~fS3%hcSd9H7 zuq)X&iBRYc_E2T6I9f$#uCeczfTg@#>BL!YhjiR_e`juG2_GDm#+psC@)MWaJ}&SF zUZfe^;afeYJ}#14b~3y=L#UE_HMP_yg%MtFukR%&&8T-q0)b&ecyC6K$CB=mh)r6* z!a{>vsy*2_7e0q&)1ubBQzCcg?;|Tw0|R&BYr>S_P?k)-8L3|x3vsqu+o{7QzrOEn z%dVTjf6yuCR}}RMd|LU$vNAYl@qCSePVr*^0^yJsSR=`~5C>f-opcw`!K7r|&Da`y z0~hv4jJtl8o&_XP+45wGikFz;jhv6M#`I<7xt27K3Av^Awn$7HTau#`4ln+$EFenI zx-O^d^`H}MBrD?7Oy!a?)K3BUCMiRMayIu>ex&`dtU_q~w3P)fuP zjFemBs=l4o`v8`;>Vh7#dHY<>Y3N{bf;@EBu<3EOLeB6LuFp*(gA?{7RW z9hqV-w(rV#&Cjcap&lyWCiGO4KQ?MXA=fa>xX5o{Ka1AHTI{-^mwB%_Ns%5>aUoC2 ze{RA1@y0qMOl`+kFejrB=ChVBue&w<*Uvh>r`?xc`OC`;&9Li$! z=ljbfW`Fg(B1E$g!JRyR84=^49Nf$wgvvz_ux1`RQl#~4rU+C);5qmv{od{He_UVb z=c5*mf;z@Agzl)kj?;0TLiey#GhkE^KSR%EH*We?*jPbz~4dFc=AmTh&%uC|VaaU~B-gI55YI)3&LM zr7_W8Nw%zxv$nvt3#kdqNNAs0S*QEeRB-u&RgkS9>9K2mG7}w?%buW(d)-BP)5;s^ zEhl*qDHO_M@VcK-*!}7nrI-;UnjCY$G|je4MjtPSJGb%7v=gfDUfj%~eYTAq_HTZ~pHBhtcjeS>a>XYN7`I$vf&t(J+n`#Uqmw9ouSV32y{db2Xzc-4}ATmBU%INp=km}?i(t1meTGY;P;s<`Lti=Zu{4LleDT1pY=9;ul_yJ-G+Z{_I{8 z?+f2sEr3($hZ@TZe=3{yrB|3aKNGxEOL3HAm-wdU?)gAk-v}SuE2HH)O-qbuF-<38 zjJzyKgcc$L7C8uD1=4OP4RB%MZrx1zyQV8wi||3RxU~ve;zwo7T$miUWbxTe6uaSGsXB~`>MvJD;-tOzG)|>RQC-HxiFP|fBx#2c*sj@eDGDgfEkPQ z`}CK-$Tz^bNVhHYt~v>&S0 zj?a`0gFD2~_u8sNz?5~1*45_N@xc2-a&x-^4PkVYe`h`1MQb2KS_Rz{T2^e8TOXePUA_%!qtXVzi&{_XXHz!Wr19-fuo& z&I-`N1_#ixwYhy0D#2WX&WxH8`F8q2i@3Qx;To=-kY4WzH6k%IA@+PcmZY$l-t)_~ zvbvl-2b>WZs(IvXnM)-QFT1rO@`Q?+Y6oLYp&H_4DHzA4$3?-3Mt<-P*#gYfFf23mRXu;Mo4Z`9$BwI- zWw>AxmGwMt;^Jb#=Ue(!UI2riN*WC95VjBnN=I1i$G&Nuu1o`s^<0uX`L#mZB~1O^ ze^aJ7fp! z9z?NLqH2pxyiH1uFZkP;A1cGN*Gth*%?HxzJ+&Z}*ocSrMENkafs>1;*fu-64`M+M zm-AfUlTu|5nctyC@yY(JvgYa&^_|w^sgE&r>d@7WU*qqk z?T@^vzA6_acSw-@fA)3 zzw)QG8rg~T)m?zmW3p3mpTSwu_)@4EVSpQ)Y&QNphFWJ|k#_O;HV^4tou9_)Y4cvd z9^1W-82|a3IkbW7-|re~K4ap=@D4 zEO}%TRFG)}r3ovUfY9|i54I51Xl>p$D{V($jXL7zH85@Zx(j>DG7%Zgs~uiAn#~51 z#`wCxLJ_mJqD!B&TXB6yyvk1ri3pLLz+=dZjO)0sKN{I&JjwWqpJSU^*Hs*e%cN#rb0$bT z8#;*TKdGw7aKk@vL|=zS9h4DMN$%6Gpv5Ga$IuNIq;^fHmu+%&@pe^ndED_`Kitx@{# z8O9~y^L}lQ??Eu_gErNPeDd(1WKTXw**S5}y@LAaKv38)Ww+Dk$9h}z6!mix2|NZz zHz=|O7Rn;zwBkk#ynaW!If>VBxUk_;)TxJC<{=nJ46&gHcvn7d5Z}V%`$0aHwyf5{ z3_ev`Ygv!jAP`t6e@1C_x>^iYpR2+IRdu|QdRL$_$y&FK`y z)bEiJ?k`6lg;S8P5){2F(~UVAPpRurPP+qrIK>692m9^)h0hIf}lFwwA- z$Zuayc^U1@^FBO3fL5vbg}yG86;6OGU5Fo_(t37Oe|1&I|?rvjqrk}FGH=07r`1hZeqm8NBU%SL< zPx<#he=uiEghDD2k;&(+^_n>mTQtnO-b9&Z#!UUlwuYMi;F1l=Hvt?v4u1=t_SkSK zVs_WKQuNI9hN#0lJITR*fBj2_+R(mC_6%dzCIM|_qP0l}#Eef=Gdw=#A{p2w{lR>< z|A+VW8W?p>!W`*~l6L{(A~liK4t7}+T!}C~e^*1Zp{JY_xIwaoye3WfcUPy7d<}aZ z?^9}6j=iAWU#;Jl!Mr*1EOf`{*LfcF+Yid8t=A7<67XL{!dC`Ye+;BUo&8ZYvW+bI zd7(d{Pp?g<{8qwos7|6>X?!J}zZRPPF0x>(r30%}3QtS-aVX*hfmgHK`R9)r%Q|s( ze|iiKD|W6Z{BQ)v=ICZkPqk1T9BO9WHZ`slHw8S@cIRk*hZT)a>ijQY)=b00Uy+=eWT5BdEe849Rn*v0|Rkvk|4JtL=Vb;~}$~@hHox z_i^^`CQ|P7zl`NK!1`gtc)pI{$w5dw$5mxRsZV_}{82u;sDPlI9Kw4m7psn{e{(<) z!dlEwCKv+Q-!Cn2N}g@D!w93Ns}tg{Nq)OCW5jIhY7A@sGW_{0%<^rA04bP?v2p5d z!g&jZ-l7#PGm8p0m9NzFf+0@`308-Cw+X4wQ|au4<2Mwk6f(K0xd)=CRfLS2OJIFC3N<*EM|h(fXAp1brkkHBr7hkFmlpLX)ZYxJy?jJU&X?c`v&18EX+I&86?%xt_DgV2|oo3av5Vc=cKdW(d1!>eObYHzQU==dpw ze$*#`wAdU+?5a^6Yb);^sn(QSiC~Io+xSkCSA)Dqm*be@J0Y^g~%01r_F|$#G5QrQ4!=HYWppG(JxLw7L$_tjLlWJnHjm+TkZ2hS+w( z5aWWEXVm2&cd3=3f0dNyVf3!}m-^F`2G|$k5~assa-bMB;n%-OU|M*II-; z2J~IFdDouOFF8FY^iy#}_;}T8{ZOcp<}zg3vI-*Y{aVGP(@hh|Im!f*KbR~bVX4+( z)^d1m`=SwVvdJd`M1r1}X7l=Y6#O}^wYYli5(6Q!gtAI2f3_v`!1555sZi%;^4^jh z#)C~TY+R~u5`9eTbW6#Eu*^Yue+dlyCYQY%Q)c7=_8dOrPnBVBa@TSfN-NYK+1qRr zwzNxbjherOYE?Jh)pc$6)gL|k1BDA!cT(G+_P`)zPmT4;vLNZ{g;gnty z=KhBY!U4pEe{4}FUkR}thi6hB8$#IQ6*jo`-LwGxQX27LLTgJc{NN+kS6^>)AvGl(|D@~Z&9}f|snBxS3Ec<4*~=Sc<~Ww!v|4QH zcj5!o^-VbnK7-A!hI4FU?*yH>5Z{E89@tE^xXVJ{e@-V)tJzLrW!*=RW5Rkzla0sQ zGy;Ga>bG}nKZ0!q`tF}F7)Tv;>>sBn)%urE>(_}Abh8U&FNY?@JcSRk?f}>8G@8!?8^mdy{M$!K<27h>6_Eg!wy1A%aC|YUjzjL%osyJqCO~F4Mza2nBWFr;65Z|X=oDMm*dlDe>T82eqje+f0N<^bz9yEg1#WZX4}@+d8TX%x=F z2i|@4p3am7X!2QqbrIqCvy#mb(yKTcMv57(b79IisYx2V+2W#6NY1{~M6q>+!Xr75 zL~TrB!KNWpF(${i1*-6c`c~ppuSFQtZ$64ds?Lc!9nfpaoEZ`W9e>V2l%LRgP2l|O zf6I;&ok{LRwwUA}rthjiPDpw%4s$GgM6D04xS4|7(=jJXB0T^{d9=s(LTOlJO03^; zv+GRrY-9~uIxw*3uF*VbgRqW)E&cSsBI=T{d`5lurf*iyK+*)e-*cro0i(a5ask~o zs?@RnAVs-?;O142%9NQFT`-)~-e|#if6e)N-x!)mG{0&OneR|lN^k!2;rPX24GrW2 zBRyY?jRM=3XM|AUhtG_N^eHtwmZUq^}D+8XMAS0Qxl)Qxd<`fYoeHiJk`Go@{BQ5-xAv5;bNpPIg$$O9^ea}f6rCy z$O%IGdCz9cu(NL_7fRsuR=yN)r&-azEHH55sv*&~(Yt~JhYkx(8-hCfZ3sP|FK63h z{Y)NZNNaOSzGQ&T>!lqk{<`vXXDcm=6;udH}wE5;)WpCUU5wQ{lVbaJLoP!a7JU{kJ8D~ zbDTy-mR}nEZ<*f67~g@>f2T2go8oh^!3j%8H!vB+*2BWJNm3Cb)JZ***?TLT3gHx7 z;IWd1k)>@<`d;<20wz`B>#U5RG}9ZDvk#Y31bK;+)1UoOG0U?_=PMmf8@BNYJj^ph zs){p4BEyY?jxNef6yC~W4|~>8jv46a1eXmpi-j(V_&1DpTKDh?e>-JzjQU*tUR8}v_-LTJX4{+t1vkBy{5%Mf9g=e2~6Qw*5jwyn*v;(T+wSRnw z*bXp+=zFL!PF@4R9=E`}fdDV3n;K!rw0xDNi7fX>p_E72!caqg%@n|`W@6S5O8?Bt zXmX;)HuZ^HZ9W`Jf0GpnNGnfPj^(b~iNqIGsZfYGBD<6x&S@m}Szt1Ld*7j*CVBzJ zfwgx$7YU8ATgh~^*AFEL0>%VUL z1ms7EK!?pnsR<@* zcx%K?db%?~!)9xllX^f>Xhg+-uvJww(Nxw@T7Ut2hW;Xck2k3MgE7sC%7d^-88Iam z?-XVCP6U=%e^U;ts=iry+o4l38B$M;DfT8sY{C4Ef*T#jO0~|qZWP9YZnWAPb+aQT zt4LKwq1#G9)E~F8fodme{+3H8HAvfWlppw9zdqaIMtsi7$o5k$G>^@+Y#j8b%^#^g znAW)YI_o(|RXG1Fi76`D_3m1D4WW$oe_-t;+t8lA@j`s`vDI2|!V)DKi<_Y7*Eylxg=DDrp0S5^_{js6QNIky&2dP! zWV;E2-qsdCp6=e1r@2+e(r8b8yZ6HP!`aG#%^acaWm-fGrCLi-&6y;jM`yI>b4H&Q z>Ro`5>iX5|PgLb7o$#WpYP{oz&jo4`M&;)Af6h~5{9Ag`KWVwI0-TB$b`gDi_ylKD zO+&OfS{2D}Q7|@JTcTkK14<-$M!o0w29--~58S}h8&k3%ki84gt6GerUnuzBa*>XRx_7_Bc}D^^eq>-3=>)jw6Rul%II$auu1 zf9H~o(ni`d8)S3Jif};iOYS3OrkEGr(*Du6G0Xm{if|~{Q{YtMQj zMekm&i(~bBWTs3|Ar{&pE0?C(xIjSONAwY(l`o6U7!?RUtp+AswhDR$h(l z$xQTLbBJ|5;VzZk4Es;EYoPwY1zJG%CoFF|lqRDuL+KX_P<`Jas!yYu~!# zHZOP*NEoRdUFs}%g}R()Pb`qpTD(iB{edOKx}8mZ8ar}M)pny1z9 zR-Y*CT791kHNEUkb@oGbMM~q$hmuw0S>hUXBehJz==ov~;sD1Z`Y=jdMXlSR^7O{} zi6DLD^bAia@0%2}Y}VkzUS`(JFG8C+=6xTer7;74ilB-~EeZoE2HB?ve~xjzrZEjA zzBOiL*Gb9$p!vBW)xCVen@B9lQxVnkphsYFCykWT!=ESJa~*vMERSe9h+{0tmaPi9Z&d%vubGjD{MhR zi%{#=9C!!~5`2+$*5^UQ$)abGVGe^WlD5?D=B)DFZS zX7ivqh2I(Xk;k_HDKVqF8mgZ@T&B?4E2NO6QQG_*O5(m^|2vMKwn*tJ z+ctOIuBygTq0pl1T~lk`*i6^)%kzOmAY}~I!ceKpLVu78=7ZpepZbWs<$&4aMs*`9 zYie6`W>@+>C_cy^El%03J*z;6gO)hm+?W4S?Y7!o9Dcn>_x!#;&GtaqsUX3!8 z`JMs1@XR614EEO~DZ&d9!omn?mT!m~@`6w*=R`!aRw9l>i=Wv%oK1gTJkHSoP?I+Lrjifz!9W} z>JwwRYIS{MchP@0dDg|wn6jL}HuTn8TOhPYa7k14H6Y$rw^eB4t--4(zLXW^o5w52 z#BM;B+BvT!T^kA8D^@K7uQG$Dwa`m#5Y= zqkqn}HpPvakx1TkdKJGb;47?lDovO|zQDQjhD)d&W>Oi)*`VsWE31AH#?H+Bv7lM? zj6ijH?1G!|8YLJyLD^MBuQb4Pg?Ay6-c5Dq+m8pom+GB>sv_xO(lh9{8@=P1ED3p{ zT+h?pe<*IB;|Ih)4f{gjVulH12oV7CfA1=GD+?_d8QC4cEtrqZ(TAoB@FqOS%ePT# zHj*#9VIDEw+(?Jn%%}UBFM#&xbqkYom4IQ<&s3HL<>Y>H3-SB#U_i2)kRlMzQt1n`r@{(?P z8qCBoSEBOtIz+o+!Y{Q=EzjI(@)Jnm)zE-2N4FYSsLae>DLn+QJS)gXYc*hUMFZ<6 zi)5Vf$tl@4-i!oaS)BI6`!;GjafwW>Hc0F)PHMf>4i$>|!q*1+f|%H+dyZhGWjx8N zfALq)wIg~}1p0}5PLa$R;9ZFY2NbD_XpbRVd#bB~SbI1KEA_&fj6+ z>)oS5$NYSs9BF(BW;|ryZ8R3j*P7%uTiadQWcL^3p&88%s)Oi*jg22@D`}B()(V%$ zdU2`Z4aemQhd+57=Xa`Ahb0i^?w%{Pe?E1P!!whL!rOZ(t~cYsvf=DRiLx14uIj2$ z^}H#xa~OPB(-s)reP2+-)=hhym@m3V{jCH-F3lk>9BKNoNxt4#{xBB86#~=nUgEgP zdt7pjyl4plM;2#1)bSf?Bc8Ubn~~_SM^7*$O*SyDGlclf6PeM zdn2tgyvL!&d?cg`NG*-12=;tjbQh+vUAW&o12?R^cKu| zvtrcd_f6MXmxlMzY z+I`PsEclN8o7Dxhtw`vFIk+jwlZ^Lj3vRUjA@Dk8ySPm=O=~pX-C#wy_ zMBL%^QqEm60TFiah!7D|=4-O}Ez$RO z2*LMTz4aq~o1r1P#|IsGJ_c>--F7`cWgeV<_;@nf5k1Qne=#7{y>jA76tWk!Ue{AE zAYy5PwxsJZ$ToU>f3?eMr}H@`wHJ@pSD?@%(-Z6~9^rvXxllt8riAZ#F*+E_k?pSEo$l#6 z^`E!tS7T?gTy+b6v3cXN;2`|bB%8&z`>v-lfYv!QtaH@uu04~$k)QIZa8#P@m~z_c zOe16N$Kxa;@y^|uldWMzY)oKG+W@LOI7F|TawpiJe_)1Uo`R~zpxd&YN!>AIE6xGMv~H0qaa%DqXxLh@QPk; z@w3toseWTLr;YIn-HA{>9w-4I-oQ;ebfaFeEn{Xg#}5UKlF;YGOk0|l_=IX0zkciO z*L}gPe_D&B==I|6R3hSO(8f*~PNaC%rqHeu=hNLjaW_5RoZzsC@hmg0O7kVEpu~6- z@Xw1!$9TJYTDKPaCh;gPM;5NHp)^8++PF9_ zUD7$YGkEH4Z=t#-S;tASy#rgxt-RCRb+kjZfA@aIROBU zIMjStto`4)_PANlp^VU`TbV8p8!4WdZh2w?^EwPw*kEyEJW|`XwQ+6QO;gFh#-b&UsdcNU6|D!3kM5qJt@_3tJ2qR zy;xt=9ovmJsOva6phJGtkujeC5lD8Te|601#UGBY-^@diGb7iRhdQPhG`z9Ao-M<9cqI#lpKGTFIhQ1|`l#f7^j%M*H6+=zS3$6h zv_siB@)-Q#yHBdcR!&pbXK$MCk@#S64un^Chem88opmfa7U-!S5^o;2Eg`dQF!!RGz&iXVt=-4|$pv zg15u#w|&~-Uv)kr8`XZw8%%w9_pHAojBNtG0ZE{D1f{hB&*;@@FHf{X)8t^R#m%BE z)7yO@;AqW)1z-`~ZcpSWy)&l~e?9x=_MuPLkuy0PV2@FHY8P}8?1sdxiq!H?&TMk*+?oX-9dtRB9Sor~4f3}iQNzG8R zT*^$jrs$E4>kvpO8yd{)+UrsFb8=8MA0@cn@pxrx%pOdM&OL}2LGMv^`RSQo^LdZo zR>1z$1On;Dk1ssT5EG>ODrpPZL=|lJEd7pZirF89dwDwHbvt!8?&y!x^|YQ~j}D0V zFEkG2LWLjBQLWI_ii7H5 zgrn-e2O)L%!8(UPIWTBH72{fxbf7e!4&uNXF=TyPBWe^k^6MF$&0N3URUbs5xMegLZR+O%b@Gu2*57WOg zf5?2yJ_?8P_;O6?HCST&tcn6BS(;c%+xiCRPiC;1;~hdVe;w5RU0Vv^v=v?BD(GiM z(4e7Z(evflvRLNZ>*M6O8K>w8W!5T7QCCyq1sj92v-Y$2GdV*VDzLsxIMor!v+BZV z|4Dl%&QFtj67>`Li5xOfc6{S?Z-9_EBKIZGx^+N-SBIc$0Bwv+@{4QIKpvxCyv38k zq3a3Nf_KY2e{KJ{uZ}>v2vm2kn#uUfjcV%IODyKQ#4M*+>{iymkb(gpPitJn1yxsQeHoy{ji8Wu0kp| zaeS{au0)CSY^~g<{Bk55=Dwhd+BC86j{~jvp_tD1e{>Uar^z|&X>u1e-WGVPsC7(H zjv-`V#iu(I^3J$^OU+a=0p~tu^IO5r7D@>IvH{V-OA5kQx));4zHcO7p{{x;KBgS$ zOG>1jK2#2c$JJ8eV?G{dk6tof#hhgdK2m5-7GcuGcPCZPC!_h>v1BMQVlLz#c)d^k zl0o81e?waPrP3Rg^NJ6iMqkPHp2kdHu!wP7gM;wWn4FNY)0Nk7Oz`RO72+BEKsq+r zP^Q9O{KJPwBx9wRIa2l%6C9#;}nROF$53Jvt-ig;QKcTz(irjis?Z(@teC9n#M++)#GS0bcDsBD*1gI zdYUyBu~)p^iT@LK4v6v7q2Uw&UZ?ei!fN4pc9}H-zUiN|LV=5=;|Zcq17wCx5#>h@ zWJy?+9sGA*%ppejxTgeVW;{ALt8~q7ez}&s1~{iPJ3a*nK8cR6=xlNO>>q@Z z8&M?u8Sl;9Sf+N+9O5(V+wz3^CoW>Ajml=L4(GnTWlX7o<5tWY|}AH*V$j&7N*x+bKy`a~Ip zqlkW^HhO3o!$tGcqn^I#7829It2tQ{JorJBy-dnPn>_elT2has z)w1x|*j(X_~q0u4sxR1Qj*bX`-Cds$tMlryBDf0H7=+{CCk zt@DWqw@{4e`UH&eu!})1j(mZWR?IITdkQ!bjh(M_1C}K^QnTZdp%8~7h~JW9?9aMd znV*%*yr6j{TU=NrtVdhrz;w@`Hbs)QES{(f_@xBf)|?YllxmVXDQQkp=O*0ewE##* z=eK+|lxqD7@abq}goxIIf1?)E&_lz9dWZxojfOOlfB?V)DbKEiELS9wFIxWqgn6xCB?&J+d<<|)oMU^V@u z>TkAm@$YB?u@fdsNo~8mj0R4FbT|X*yX76V&j>jpH>h~EY9?kb}Q$o zIB~%}4V5T8e~+?rP(7H$$PI@yRA7|H4v9Pm2ha})SvE^)4sz6zlE4`_VLUu@5_@cP z?bLiJ7dA(gam{e;e~(dcT-wLIC#jY$!8g<(bBq{yEE4ESfRk253d4B^J?RCVg`tXZ z!wmk+s`zpmP+Yp?AmtK?U@P}sam{vF$Y^P@?$uxS=DdwA-;G3!w%naKz0mhWzDcwpS{ z*Q(eQd@u}?%so^Tf0Fr{gwEU~&6^LGe=+UUhfuZc0#J6d%*XM?nf(erTeNm74W)VZ zlo-6$5Y2VHruWC^xdBb5wja4F%)5?@^Xisjn$ItKzUE@r^w)dZeSm+MO*s^F7Y+*9 z$3^P$IG+(}7#1l}%QyZ?weaz7(*o=qIoKvOd;^x*BjF>&N?Pqr_ev01@d{hZ2u}!d zBd`8jkh)8$`E`)P%rq%TQ0BROL8PfsdQBPShtf@w;_^n94J65Del<%jQ1++5AmyHabO|DCiTNteKlyq-IBZwFC;20nhb1L7LNig z$;c5nX{6XUgr2QOVRQYnMsnAMq0o&DU(|lZ2h4qEx?{>(1)ObTMebrxJK{SwjooG^ ziInP*68|KXNI3MWhy1h_W0nYeOG(l5Ox{mjU>9<`zZ-{^{y{-R*ZFc#Zv~2xl$`pz_e&lC6~NQ4%7#I;bdju%xK;(& zRaSzdNGv6{1i|FpI^|-cwr^*+_?N=3*)*e|6CIdykG#fMRo3==T@E<^aZNzXI* z2G)XiCl$Cye>Q+;VLrxS2UB~m)oy%{_i`EcJTXUD=*RmnurPcaqKdHO{4|CrHEnh$ zMT58u%DH;u8C-_hyatD*>`^*r@PU>bQaFd;(a{tVP&V76oT9mGc92kUm7CW%P#gWS zt!SO~4N$p)oz@AuxPN)P!^p&B(At1sA?&D$YasXPqXwt*`%fy@iY(;!SCMDdbvGD_ zmj-81Sge~g z$Q`JCcq z>bWAkE>ua-&-kVjj<%@((0=A@_!ovP;#1Q)d*XcwdT<)er5acI-dYdPhRPeN=Cc+P zXEXjvMB{x$-~4*=Jxa<0R#dv7aIa+Y(s;1x6;i)Qb!Q{^%d(X;aEi6vh=rf@Zadp= z3?I({Iv&Qmj~?0L4A8cS}OvK-M@Zb0%B0TXDLv}&MOr~H{I z2$!_gi`7K^CP@{Oz#laZwH=Uu*W?qk}P znU>S&8E-IhKY+g~Z;*1J-LvPM$krLwn)4I}`L%$V#pbD#0(NLbziq({uVbA1T3J(7 zcSa#65NMZBzPXA3LJ3%AO<7rWa7wdv*{!rW?$@>z5wdn+|NHqcW_U~4G9bVw2(>w? zo()KW-BZHZ!<+pHJvf|2GhA)K6flr2B35qiE0YDZv#T5-R*2-QmztaG%qIFggEcKz z#|R!CT9yH*@)NP9yv5;2NwVZnQ74k|w+Nu*@*b+)NsGcb!WcB7wem7AbL=Z!X8?@6 z64&MWDP$b3NU)$2L$R!71}&!dH{P2@x6lcn2{yV<{oGN`Z80Kmvg{~ZEOn&NFz@#! zbmRDzDT#r^;6rgx_l)m_9vZ8!p8PQW135VMoBizOe7P{O+W8{+~8m zH?hyVH@nn58-d#n%_!n9aiGGAg`H`B8uiwgo$`A7|2xu^Mh#B+ z6HAlYG6SR>ap>EuZcZWEpC^E8y<~x$7r>tWmX&GfogKd`9Jq@)d!@dO&Ys9+PPCDX z*e_`*w-qHe+dh!QNyV8fgPX=H7#IB$i)sfaH}0ALDta z|H(RAs+eIf_mJy#*FZC$9JhWJr71$DDLs1rbw7@-Q*P=VqF+xoxSBkw`~+(}W57p- z(IG5BaBH1XP1`VoQ_hbRN;c1#l|Mp2GzxBQpK{W+;LV zZO8Q>Z0maU>%Bi*V>lqju3Ey!2t&AL>~Ri9twYrM8b`_@whzaRDTuq~utFZE%3Tv9 ztpFj`aY0H(X0hN!2~33Vlg9~%P#6q`2z^yPmvZUCK;VX&&tt}gQ~>M2ANz^Oq$pDQ zJvYB)p{M_$N?}s%1+(B9w^e0IE9?$~41KadQAN|kTwr&glUsu49Jdr-+8Hh`}q4GdolCy6`@jw*#B&f9H_mYjt@}qM6j3q zz7SM=xtYUX#~vGl@?mI&-|7FhUc(@kV&|X-IJ~@NHE6U$;K#RV4R-Dp0#Yu)sP^^= zZQCR1H#9Q=e>_8-Y`H8jqO$=kxq4e!w%_DZZ~}0b{co32Mwfq#KJ;U}Ze_|$F5=NF z0|#YHy+QL*3(oBUUKZ8YqIrUPQ`M?4u+lTK#XMA-IJY8F@|yc~AG}5bo`EZOD;=Mp zvulXxaXR%*@TXCLVvapMq-B*Z1eB^|ablX3q87rx{L`rHD}6@E^icrEOo@irdhgX2 z@vw{{>tT0xg`%r2*aX${;P|{Be8#AID*bT@8ZU19VW=d;Osn+8!y!QwiGA^&El-6) z`&@{Qn@pNFm}2yiGIc`(@aE)j{z(GvX7I2B@BSeKlqFI_n!}QcL_&(GbkI;FIL%?h zzs4u!DM~b{Ss!AHX6Kt=yB%L~_|vmO8qRq*r9cqfqb25ObP}yCuqIm$f%iuIh@-aG9VNFm!e420b4?fWc?pTvBL}%S%CKcaull=kU44p zM`7&PlSRg)LKgWihOq;=02i+y3okDV8-PdM#ZunP(~6E& zUYwtoPlQ*5PvE~TnV3n)jTAyJ7)C`qcMnfGL1EGV$6XW<+MKIX<-4|L??HFXuQH#VPx!;GP$m8EhXm1r~!;!jbB^@eGAAGlEviW zf6W8olYM7)DxfM#7%@Ju&j=yzx2uh}t>e`$3mK+!*Fvd@oMp$rA`oXW%b%R3K$1Vi zu4GD{)thJa)G`i9OiUbFrw9YP_Qm6$&u2P6H#`l+{OlO4XxcJ`hTlA5DI5nZg+n z11z&_8Xgc&#sibPW1ACY-@rKC!^%w=%jxug>27mkBQZ8c$)uquts{YbUmzMrk=Tlz z%qabCW8-*Kxo;qDaPk;b1K%Gh+SJ)^K&{cZIYSYs-C=y#r1JE6s4dKA@+1ByH>c7x z&p~jETl--aGyxd1F1TAU4S0csOXja)W~3Bu^H%s;L!fecdYYN$BxZO-jN z4hat!3L>rs@zic#&HMnb!(?e}eUtPsAX;BTCOJlB&~!nQ(%s1P=4VubmS0H*Q$sOc zGu+zqO9f4j{!n6V0@H1{c?b{|Zt*Wy=i_qhbsbMP=){%W3F|ti)1Ds;9#8()A6=krq2&M4&D6W&u07Wxo{j^@t#*H^-83Og@hPZe zs&E+54hoRa0=*1Gfo(!g4o2)_4!16ICwfZ~pX7Q=ilLcN!j5UW_Ex>`g64bZJ(qJP zy&`ml8gumCEu}LSIK-wB7oYApTx$L)d-2Beq}AK7Rs6R%J85O1H~kk z|GC%!*-R-Q1V0uY$YgLMa!%IdeA03*G!QgvZ*n;eq7j7@(ffUJfy$C zo}4ANCde-wbADg9sM^s*jvlY^#A#Az#b@2CP0e$42XN%+l zCUcGWO23}hwTHwUFyml{!^n@P5J}{kCRmUXSj~M#Awl!yZMH|q`$>gkgIcy9$pYC| zrP)`r=3`c1@nB2B!ELOuuJM!L#%ynjoVN!>b{#&6CHUy1?@GU}Q=x#e@#?pAa;WpC zq?MMf6wYV0oRzI*`rR#~)c8x9nA4r1X|*2}$Js$-4mrBtfnkyk1fi+_(8k=Ph1Dj> z&-qdcQpz-$r&LfNgoEPuWwui2@)4^<*1iLV^hNXF$v@_A4f!SW)CB59>CB|e)v!J2 zO}Xc#-Bi!y{V%2uy6r!==gQGv_nTFmCqCAR;v(PwaD7PCGS*(?3hoH?EWHWAEwBYr zo0U3>(fsQes(3Bckw;5EokXRXU2C1X$*C^ZXTekZYw9L%2&{Y&ML(Tf*R!pia+y~i zL^AstEGehZA4*_OTtV{bt&lhRz-eP|F@bDNp9+iNGtjQ8lR=l6F3JlSrKO_MBqf}Q zxLg!48@PMus`8%=OdGZaKc!h!)`w5TbduYl;H(`~#mt>rP&J2d&ueH50fhVqrD5bc z*W|5UQGSBOBGH6YvWQ$+OmnQ>ep7qubQ}YYF?>VCMlgWQ&CBeVsbmKkR4D0KT&@#{ zSY;BgBTA2j?h(S=IkO{e-;T2pQ0-GGgZ6iA{Y?02?j>wWj!={w94F+rl;uB@`8&M< z`)rkNKG;($fnpIt7Vbp)dASTKDHlEMcULbit$<)j-i9tNr*`uxE?Ah+KiuD^&>CKL z0M^bD0m8OaGxA!z@i$Z{ zdq{G!#+#wHO>Z$ZG6Ll7MLRv2${HrY{IlX&B%Bt?`3*6eP6?&^M?Q-j;tSap7~)6mcbIg_wPs-wdV%E?*5r44sL zSj`xD_8rk^_Csbv`tb-uKOmXe+EnSK%v-pA1(UDHJ0(b5mjw0w<{ z_~xO%<*(Dm+?wJF02&6RQaEZf;3`iD)BZTfIri=hqH9WcE3xOTlZoPLml{-6(&G_o#7iaOm$;uIw^@#;I5f#yH<=0re|{FwA9cCHoIwJM?vwg59na>= zt`)G_wCvDj1Q4&y%1|pB_3uB0wHs`d(Ge%6!L-!TiWzV0&q_=pGE+Yb;F0@Fox*msQ?!^M zxYU)A)A{4t(jU>($L;|3V2Mz$fY%YbVSQHIQc}mRW{*S`X^#Q|0sc?4fJo~tcN>ff ziN>E-ymY9nhbR7=Nr64xk%Vno1(clw#ikj2=W+^?a$}TJnHKs1{&9wp``NM!Y{47V zri7BDbGQ|ML0h*QndJ69mw_(oscw};Q+(X8S+A@fpddSMQX#ln#Op%CsW-boLs7rw zw5-P>K&+>4WZ$Ha_K^1Jcz6{NP}k@x^&n1MZ+dXb(XAvEqja&8m>9W29Y`_scb5&? zIcRYzEk$lD>7-~f;hH-jO+X0@D6>0VaP*ZD{|kNaM_?p_1su2$+V`T#$4lzU7e#Ku zd6PAr&qGFHY2d=ms=T49yvL3qH{Jo~F#>2iZigZMRoE_phBZDsKb@|l_4==Utg zhM5-$JDX|c@Qk!ryE=Z&4XMEU>ND2cX5S`{70ATlR22^8X6tps%G2E*X=PCB(WJQ0 z3o@ct>F{S0&Ml=XEnNjPjm2r8KAbE&VeRGsd|V??)?gmP-DEV(ao0QHcfM3BO<2P7 z@)2nJpz!qexszrhho^9Y+$>nf^`<`LXPJ?B&u+GNX~fOL<%Fh5kLh&%Z|eF_@p)6; zoB{f4^V>70ge*ygnNu)I#$=zyd-Pk5rKfXC-@5<-3y(HeK76swz(B*UsN3PKr2SPf za98Y;VvU#WYRB`+l1JIma=8BX+;qaSs1vuM!c;v%eIk0g1yoJ5%=w)1ESP%wr9*_B zSc%0YDe-z?$t|J7NlZEW`>@+B0&(TgbLe#F)aIX9z;zeq$KcwfObIQ+7a6&ac0ou5 z{Y-%}>n{5FRFo{LTEZHIn?L+>WBf}2Rw5G3AH3H{q$G}AuRxE6(H7n0;yDE5aniWO zm+toS-D!BuubSzG`Iicf;5F1UujiVFt){Jk@7_@q3f$gO*jWC${9bDe;Wmr;y~WX? zu*vvYU6FL`i;!>)HSHCG>bs3YZ9K|M;=wM|vLtExOc>H6MUa8rcgMZku6_0d-o0$u z)=Vr~I=vg`84U>XZ$xNp+stvm&`z&D8dS`D=N_(c5s zmnEgop9s~H{Eh@PtIah;JP=#pw{bl0{W#BY{T1AxWu3cOu(9mxyE__}rS1IlFE9>- zw+8|$)dO2vDSlzvG>RP?3oNe(J)54}zto+ZVDDCzR-TahXZMXV{9x$@SZ?_UypwBp zo<9~)0{eO?^WrmaM4m@)*0pa#1aNGzJFzW5x`<1EoM!umYrNg!!7L7QxGyAZC-GlhIBs8mpRyP@1t zMpCEKw|MECV^&(1c3P|}Zwc}e<)mKRky$a0q6aMBnp(EZRpS>4D3BSFkNg%aXawNV zvGcd06BPvT=+lAt=mhBaUTPm*Ts-MS`RI7*J_2}DoUL8xMEU=>k*5Pm$O!TC@yhYa z3iB)S3oG!8$|%V2@+pc6%P0zp@XCtHNzwiPTV8Hadx8Jkc-qqO3kcEuM*)JFCVz9I zNRvga9#h(=!mAcbW~wS%roJdEAN)Y;L?4*KQBIy;0?mIz?&upCXjArkb}r~SpRoKw zu42!`W|3T8TS+}1r8^&HWDxE(@9F<7eh_^UX?QO0^cTi>gV}Fc-g4VC_%y3MST9 z2X)j{lJ5)A>b6TQcDKwPE6n5>-NaST+Z>XPEnUCY#=5%pm|1(i)+^1(8xhg|tpPjM z)~)zGQAun&P&~cfmS>!Jf$oz_?fakD0}oGkD>JA6tX$0P0Un-aMDCux?pD@-7v;<^ NCI(<)QqWWc{2vST4%Ywx diff --git a/casper4/papers/casper_economics_basic.tex b/casper4/papers/casper_economics_basic.tex index 279c434..d03fc83 100644 --- a/casper4/papers/casper_economics_basic.tex +++ b/casper4/papers/casper_economics_basic.tex @@ -39,9 +39,9 @@ We define the following constants and functions: \item $p$: determines how the rewards and penalties paid or deducted from each validator decrease as the total deposit size increases \item $k$: a constant determining the base reward and penalty size \item $NCP$ (``non-commit penalty''): the penalty for not committing, if there was a justified hash which the validator \textit{could} have committed -\item $NCCP(\alpha)$ (``non-commit collective penalty''): if $\alpha$ of validators are not seen to have committed during an epoch, and that epoch had a justified hash so any validator \textit{could} have committed, then all validators are charged a penalty proportional to $NCCP(\alpha)$ +\item $NCCP(\alpha)$ (``non-commit collective penalty''): if $\alpha$ of validators are not seen to have committed during an epoch, and that epoch had a justified hash so any validator \textit{could} have committed, then all validators are charged a penalty proportional to $NCCP(\alpha)$. Must be monotonically increasing, and satisfy $NCCP(0) = 0$. \item $NPP$ (``non-prepare penalty''): the penalty for not preparing -\item $NPCP(\alpha)$ (``non-prepare collective penalty''): if $\alpha$ of validators are not seen to have prepared during an epoch, then all validators are charged a penalty proportional to $NCCP(\alpha)$ +\item $NPCP(\alpha)$ (``non-prepare collective penalty''): if $\alpha$ of validators are not seen to have prepared during an epoch, then all validators are charged a penalty proportional to $NCCP(\alpha)$. Must be monotonically increasing, and satisfy $NPCP(0) = 0$. \item $f(e, LFE)$: a factor applied to all rewards and penalties that depends on the current epoch $e$ and the last finalized epoch $LFE$. Note that in a ``perfect'' protocol execution, $e - LFE$ always equals $1$. \end{itemize} @@ -67,14 +67,16 @@ This is the entirety of the incentivization structure. We seek to prove the following: \begin{itemize} -\item Following the protocol is a Nash equilibrium; that is, if each validator has less than $\frac{1}{3}$ of total deposits, their economic welfare is maximized by preparing and committing the same value as everyone else. +\item If each validator has less than $\frac{1}{3}$ of total deposits, then preparing and committing the value suggested by the proposal mechanism is a Nash equilibrium. \item Even if all validators collude, the ratio between the harm incurred by the protocol and the penalties paid by validators is bounded above by some constant. Note that this requires a measure of ``harm incurred by the protocol"; we will discuss this in more detail later. -\item The \textit{griefing factor}, the ratio between penalties incurred by non-attacking validators and penalties incurred by attacking validators, in any attack, is bounded above by some global constant, even in the case where the attacker has a majority of all validators. +\item The \textit{griefing factor}, the ratio between penalties incurred by validators who are victims of an attack and penalties incurred by the validators that carried out the attack, is bounded above by some global constant, even in the case where the attacker holds a majority of the total deposits. \end{itemize} -\section{Individual choice model} +\section{Individual choice analysis} -The individual choice analysis is simple. Suppose that some chain $C$ is the chain that you expect to be accepted as the main chain in the future (if all other validators are preparing and committing on $C$, then this will be the main chain because the fork choice rule takes commits into account). Suppose $H$ is the most recent block hash on $C$, and $(epoch_{source}, hash_{source})$ is the source data that $C$ expects validators to prepare with. A validator can avoid penalties by sending a prepare with $H, epoch_{source}, hash_{source}$ and sending a commit with $H$. Sending a commit does restrain the validator's future behavior because of the PREPARE\_COMMIT\_CONSISTENCY slashing condition, but if more than $\frac{2}{3}$ of validators are preparing and committing then this is not an issue because the epoch will itself receive $\frac{2}{3}$ prepares and so the validator will be able to use the current epoch as their source in the next epoch. Hence, it is in a validator's interest to be preparing and comitting on the same chain as everyone else. +The individual choice analysis is simple. Suppose that the proposal mechanism selects a hash $H$ to prepare for epoch $e$, and the Casper incentivization mechanism specifies some $epoch_{source}$ and $hash_{source}$. Because we are assuming that the equilibrium is being followed, everyone prepared in the last epoch and so $epoch_{source} = e - 1$, and $hash_{source}$ is the direct parent of $H$. Hence, the PREPARE\_COMMIT\_CONSISTENCY slashing condition poses no barrier to preparing $(e, H, epoch_{source}, hash_{source})$. Assuming that, in this epoch, everyone else \textit{will} prepare these values and then commit $H$, we know $H$ will be the hash in the main chain, and so a validator will pay a penalty proportional to $NPP$ (plus a further penalty from their marginal contribution to the $NPCP$ penalty) if they do not prepare $(e, H, epoch_{source}, hash_{source})$, and avoid this penalty if they do prepare these values. + +We are assuming that there are $\frac{2}{3}$ prepares for $(e, H, epoch_{source}, hash_{source})$, and so PREPARE\_REQ poses no barrier to committing $H$. Committing $H$ allows a validator to avoid $NCP$ (as well as their marginal contribution to $NCCP$). Hence, there is an economic incentive to commit $H$. This proves that preparing and committing the value selected by the proposal mechanism is a Nash equilibrium. \section{Collective choice model}