From eff21c315c6e16a410d49817aef6c4e8a26472c6 Mon Sep 17 00:00:00 2001 From: Vitalik Buterin Date: Sun, 9 Jul 2017 09:06:54 -0400 Subject: [PATCH] Fixed small typo --- casper4/papers/discouragement.pdf | Bin 241072 -> 240836 bytes casper4/papers/discouragement.tex | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) diff --git a/casper4/papers/discouragement.pdf b/casper4/papers/discouragement.pdf index 07732abf7c16555a8d95a2e5adc7b559b45729ca..6cb332f6c705543addde9ee74ea4dcf3ea35ee5f 100644 GIT binary patch delta 17746 zcmV(hK={9~+YZFp4v-|5@UH?Y0hN(Y8Gm%q9+Dgsi)#z9L|3ABv;Fm*2W86}U3wBZ zoEZ*hzIo{V!`(0UvdmN=%2L_v;SrWb7*%IwVMVQ~?4iv*<-c{)E}X|^?|VONRGG)k zRu?LNN9)+^@cV7re0lf?`dlWB(56(V&uURSlWnyXrdF)(uP!#n?i=U;vG?cb$A4}> z*=!4j*b2C%6SYph zx?B~~v5iV*vJiDqOSDmHp>3UQjS)r3!tcILacp)mu@_7BtyD&oMv=K{_R-&)O6PvF zRZ8Xl`{@|QwD~NxX>T1^p#zoDd4I#stH60bF*iJjRqVnL`fkU3u$lZYohLr*JqaDQ z>@`^mU82{tu%>2nnxUKeNo=;pI*8L&YnQ*W!ciE3ezgMk72VcNapKeP$kb-I;da0c zB7RKNUF?QEbM_EjHm$fdYS)GHL{X7d-oYiU=XJxM#WQg`Ka<`v3-LFMEq~n%%NX$M z^3k{FUD6j2GrWA-Set`EZL?}p4CC|$IE?`XPxvej(Agts3~Zn1nFI4Q=rUvTDfFHx zyD&vwks)vfclVP&vfPx^bVv@WzRV2k^`y!WyA+fyk5y zlnfdffa@8L!ecnLpqot6`F%G|@hx8LlI^6;MXi%KpUfh zFB(DT8&GD7DnE_kb0H00Y~YS2k;wpDyh0$68l=4N1^`RXZZNz^IDdv=za7tMhpE2{ zJ;uoK<*|d?*MZnEV6YBU#q#Fe#H44egS=$;DOWGxjYwu1!s0~Ph`bC9AkPj<>c$JQ z!ML+uPYy&Vl=uT!?Rh==9$w424j>MLrz!(g`A@7_E#bXp7b3$A7LY&zL``33x8UZ~ zj48FK-TdmqId=2LZsBMY$H0KS;@#pdk0Q#Dt$MoiF>Oz0fbIFC(V@M>n zNG~lC+`BcjdMA{$hI%(l3aYd)kHEyB4PPTcw^TO&eb{J7(UBSo6}>cH@K7T~Z7mHo zV5TaCs?4SJD}TZ~-$PUWalMt4w*qfpFX`;j?e3 z1-UEY9aXOJn#wTBnKaNK){TP_2lfrT>;|lTLl+T~u1u(L-0_hBurNzlAk8-y)WPl< zFq`xaOt~tZI)vm)(v558Y(3Y*Fm+IOS4>Sx^<0Nxx_^ivV&WlfDbAFs``4#ft7ViV z%ySyXvmy<#YmtPp4hP1>g77W50-@sPLw9*B7{Nss50V8V;e#mTUf`jI;1ENQjV+&j zMaoNhNNQ7Cz@yMk-@g3yXa$AU%7WXqwvuuPRpI4Spn vG*ziw%n+bgW_s0l6Da z=eXu0rGHCdVJ`n)KGJiKrW-jlcpJ8JicXcHgXb8XB!gvP#fGgir6{$#^~GV$lu|fd zFD;P?BwAXSy5n`Mm1P3kr7scvTogs(u?rpmMpe!{6pgzN4|o6ENua_1P^PL1N-2b=R6>FgyZ-Lemm+K7 z5K>y`y2_r3wa=s#sIB@Dkc@m6$l#m0oIo+Sk+mBJ1)?p$pK=}aHL?2q@fw}|HvmW z&p>^Sj4Fump^51i7pjtlro^B~6HJSoeK!#7w1v>~)I*!p+sYrVfwR%mFb#d0_l%!r z*w31{nBJ)2fe&)E$3^NcBcJilo_$sN#U)yqzDK|l7*YOv)1Qw1S7Ma4g#UkNvfx%| zU<()`g8l;t9Z1iYA)5megB%C990vhTnh`iM3NK7$ZfA68G9WQ9H83@o;ne~Z1u-!; zFgTYmGyx} znYlA_@Bgp$-eRrh+f}>jRGr#&XegA`SVT>r#$YL^4UC0@m0b`ZuAm^x!3khz=VE1N z=R~EUQHQ{+!2hwM(rAM19UxE}!GAHt?ZH6UlT88$dm<`8e{BHo9jyQyTmTMUK@L7a zc6I2!datUN%;7Hsn;S^iG~GvKew0dTN#{GINv=--JTHh%;IK_IBLEzrgl zVq*p{g;;?BN>cKyFc%mz0BB?Kn+UXWfIh_ooq!N4f1vRb;g8aR04Y%w0Pv~9zxs0k z*+Xn$4y+CktKU7c{Z8|A&5|}I;!taAuno)s^>=*|5PLA_>E2!0{u-{O4b<7j{XfVQ zVq;?ZyA2aZTQ&_Fh@B%?R^l(tlL_@7n;94e;9=+IaE;Kx>GV>tBo~={mxm)<6OJvR_lpLUJk3ugtf0V_itAitlOrzm#z|M5L-8OZYK8F6^h z=ASO0!_&&a{utzM41QXw|E@#Q1_U+vy?vZKya1rRJrzfBwA%BZ%|K_VoQDSG7^&#Qshsjsk zoGe3m2FS1;$x*}QShbAw8M$Jq>23}w1B*6AF}thGg~?O*wHop-uG|+aG3!yI!SbN1?wX2orhQc?#rHm- zS+TXfvM^m9k3>LoZ$%Z>VBD|1&T~dUm$hOY<+mEH7m}oyN+~DYdW{6hYoY6>|Nf2sti{oi z#lM_>zBI6Ah1NdYM4wLOVP0Bz;`Q;ns9Kmsaydwcg;gsXJn=H88<)`;#Ey2^AkC2^ z?2_4&caq#1AgBQuosJWte{TO;*+smyhT7axbEq-}JaGG^S5u=3hz8AnRmS zE=>0gbr82CihN@M?auAES<3jjzdtP>?`zt(Cl9qZ67;Dkp0WI-A56CTnRB%662u%n zeWjdf9(iXoEl???x#-_Oas7H&yUu-s!obX<%;{`_!`-*pg)0`PqC3t|!j`-dQLt1l z4-%Q-4EHRxFDr%3e^|yS!W0Cg%xwLhzzs5RCPEgFtaSifN@8j34kJ%{MN~X%QQJ!@ zkdtI8o4=%S$3F&@0Ji|u zA~o5RuSSsx5L=0H+KkE7RT3ZBBFnEf%p5kmk*(vrbealQf7g^(-U}n|D&5A(L<*>JI)$~xV|V8KP5>k-iFx*lTCLK+#1#y} z4cRRu>ft>4u+Bcpj6mGNN`?obhr*fQluA9s;uq>VMW?Z=TdTxbx2<;x&9pO6le)J~ z<0T>`e{Tq<6a~BXsg8se?_LGJn3^-0j!KcgTItNf6hM-*_8CNRmR=>?Q~!nBSeQzB zBzYi>L_9!L#xy6Ld4j^ebZ~l#I`90J?8OCw$d0N4oe?aq8o6k(X<#E%8Biu431Z1R|xAqPZ z-SnpOb92=m0vLcQa}!1yUeVbG!;p3;4MUlZ^eBGXQfQ@kT=%X8+7J ze=>}u^o94j>WK3r6R&aoVJAsX<+0b`x6DD^QkHKtb^342hd;Ocl%uFDXfr7c>r7T# z)EcU}vwIW`tRCVDihGGKv5)*6@_E$!PT~UdNZIF@#}+P7P-x*>Nb9h!0$rdZJ}mQA z;Xx(Bi{y?^jQnPNC%mPl_UJ*`-L;ySe^t7^7Ejs`|CM_5k7BJ;7Z)lI?=jpSi`J>P zU`Gzr-1@ZLC~i=_MqXvwskuTgBed^qHbXVNb5BuML@|P)NS*8#zu9BQn1C;_*_hOcZMQZsCuOse-}U5 z3(jz;I#zcosLyLGvE8;UcjXEb>4w~^Zu5K z5a!VUOKc9_lV3*Tl5kt6vv1QYf7)kUubbYEpsU*>U~yr+Hp-;d>mkUGni%MH~)ZbeGBbM(8}A zU`+&W0&u-Dlb^j7u!&lQBUVy;IAGQe=jR{MUSQA5{nUR z#``AC5rr9PGxuiNd(T=$m0hHFMZ{QLj=0h)rEw$R`$SQ~9kJ^v<9{e_iqAZ^xMMLTyg+84-E1^cGQIIR_MSapx~5{4+N5vY2CNT8ob$ zUzA2j7^3bUm~%u#!7U;ZYL0yUIzNlUM|vq<>%&6G4ja2BR79$pgITKdjI7{u1vdg# zsf`ORzMvkFdB7{{cBlx>5FNF!t+HWgi4yiz@kAB+cV$)xe{w5I8FWd0n0ookVHCng zXs{MJu8~KkA5n1N{VSXb|2t=Gt(skL6!Vs4OH}W8S*O9;?zzNE<2$)Lo~#Ax(d0}} zA$!^u;oEcb>}Rdn4t{MIlnpu1@D_@@&4=!3WKtY$h^fSYQo{2(N*`YJymuD`h0nBK zsEDX`SUDQQf6F1F5A$KaY5exWee{{*>otrS73A|FecZ@kajQX8$_dZ1Tt2z+om4SFq>9U{YmaYkCb7c@iO{K?f9|0HJ+#s;SBxR76 z?5l>!=Ak%vbFrcC=6#*M<+ykiZ^SLjtWTKdKg2@e7D>PRd7buWTgtnqPMQ zmM&stfUy110z0)lwtvW!C*ETYlPw)j_eXrEs`@v%5@Vw{ehe`K6ota3u zEjOe{avwpuIi$3L%d+Vb3tM6j%&Uk`#3CdbRM-L^y84RVF)AKGJiiuua?yZ)JiMA7 zfAlT`Qqf)$NKzFT@mtV#E*z8Tdr~2U=cG@Fv#`i6%%E;r3ZRTUPw|UZ&82Xnu zJXOJsLPn!YuGo6G=K@=TvBle+Cx->pKL%NFhD63sBV(!Uw+?TrR(>QW7tfs>YV7qL zk3g2nZ|UuOBM!0@?joi)^6EcRubzdAf2%IuPZyUuAUo*G(xwc&XWDzz_mOE}eMs*c zD`MpGt!XhGnl&QcZC?;0&Iyi|+NbfFc{z?MJ9&Qp71+zc@D8<5(tT}vY5~dgl-`QW zHH`D@y+qQ9b<^k!`@xK$8GFAK_g1@ty@IHNW3-Vlxst0 zUGF-5{Vy(>jDCTIKQKBG_bCHIG5qEQkEMD2$W#WG9-Q09wK&JHbl#xWfZfwT=?jIQ zKD*srsw&pz;+h-1@`d*xj$PnHyL=`elvjKv@2o^j;M`sxkalIOHJasbRP!=0!k^zB z8^hA`g%OKl@tM`zyTP!0;^^m_e|Xc0(dIKT@7ePehm_K*dVV0l(-^|}1#~~eBTIey zxNvDP6|-(|gsq5wvJNOAGre(MHJ^y*%y>@CtqeM-yp?rXNk_snzl(U!XoLEEM^sHe z!Q8)Pbb-sTvSca!bI(p(B#-koZi2Ymw~11(4MB3d2dSBn58I5?byv+H^Hv%zl4tWd?DDvUw#WhA7P)ZG- zcT&a@Pr)47oQ>D{mOxby&t=+?+2PPXdh zL2HE#K3cYmp2gS(ZK92ne`7v3N13TL1%#?^lTr2^V7p{3p!P9*#;ST#*Iz|q`FZ|* z$fDcp{Lx&Zx|E4#7V&N7-h|U;-7`sftHb9mpMXL9Hke*Gd-?MLynH2AK7Qq~M=y}B z=~*Cb%Z4~6_NW4jef_H}>%4o`tdhEm9zHQ~-(ITuyEK~D@-(U6e-RHhBRAteaHo$7 zFDpmYpuK)=?n3b}QWom+@!dV8vh*vZ3^+*-SGQ=nVX@5HL`0Q+>ZC}usU`P&Gj|V>R71oX7<|R3rbuRnJ20UW!EX%i7fCaYfgBiz zSOwA>zUj%O*eY}ff0*;3?{OfXO&nzFk}=JU%ZZ8xTue!>ao!%m*oZE8g+jh*sKbTi zSZlCM57HxySUrmT!XpaI3=YWbP^kGp+?zYvmw@U|iZI?Q+q7|hk{O{^LAD#O>qXDM zYDt^iD8YP*bPX|1_w(_CI6~ec8)ZS0?Y8Hri=t>s+Rm^ee}W&dV=zd}cKAUv76TmV zReec@d(X$k`SlVjH2~6|lPYREJt{dfgr)34$G}{I9UPz&xOJokE&XD2gR-M-S?|xA z@P&Ins^;)cw>^-riGdEU3el`bKRR@l@$QqtDVcM3cD~BAI&I^alB=m(=;u0IX(`5N zAKpjJttooje<}Pt$Ypn0i)Ausmx`vcRBpSVjIg2vq8F^REM!c{vou)0q+559p0iWO~ zfwoYs(bAwLD)~6AKx8uC(@5D9wu;_!=Yqr3CR(F_e;MAin_hg+;4lFd2V&uAJ!#3a z@F4ANjh+wBPMW`Q+{O?@33kkr4k}ia1(xkrPM#$yzffJ+XbfW}<9=xYQ($^;yhz-# z%Qw7aHZEmGt+r-r<(MS#e7N|_5o-$Ocq?4$ly`7bD99836`b>>;3>jJd$sgQX+F(( z3k#VLf49nx#xOb`O7ki%i?ZJ3!(!KPwZrBl-MEC%^4Li#B(Tb{c+-9y?w;k6%FmyQ z!nEZS2|Hp5?qafVzZqfnu$UiJ_vcUKAd#1&zE(Klg!K9ri1T*&I9+>0k2XG%1R~!8 zp1tEUZI2z>)QjppPQZbCq+!C%$gWs=l^P2de>5!_4E_r5j_C;CP9@V;H9|UJ+d|{d z?5kl)93P)q`drt)Gs~=9tFVS%*3e4sO;j=B$;f03mYDNqUk<6J+IRX@`bflc?B0Yc ztU9e_Fhso8f|LfergelSOz9m*-m;f zf9xf1(64+Xb)_6z&z~YnKl12xXzk3+FJ{*I(z>P<|6C{HtJG=}j=2>z9~8#}zOE}W z&wowXpsLU>Y(`s;NsKPr#<`c$Q$(1>dzt{^#k^CzUXJJz_(e4Fh^x<~6 zH`d~Lu%Xqaz%twRemm8@LSOVpUZ8W)?~S`o^D1IdTm8VasYlIVOiaoJ*FuD zi?ohzq`T_-B}BprwH`5Zg)5Ml=d>7!mY^H$LX(n}QA0eKq=)uZ@E;R@h?y3oe||XU zi$edUK?#NK*-dqAQY-FlddCCNiL())J(=vH1JvXi>VhG`OHo>y?_=5H5 z8J9{xR25f}F-5=b-IVs@epdEgyl*Gz0l{|-xEOaN<8oUU7J9~B84AtIe>oqMI*K}P zArtOwm4X=^8t;Lk_&4_;E9}DgSw6+g`u_PxEZCA)2hp9dG5qV>7zXfOTG@3G1!gv4 zV4_GJM105cqwb)MMheF3-W=+bm-SEwJdZEOrL7;>`e9+Mdu%85hK9Ls@HIW6KT$VU zD+-R`?jC(r3aQw<3&M12f4N?MP#ahvbSF8TWwDuLh-hv2l(3fA>(Q1tb7BM$mZV}IqAVMKF66wYA~-nG3txlxShyZyfAp{YR+jVTGkE^4 zz@#%MaZ6GmlR14N51)*H!DnB<#Laotj(Y|H*(_&i3P8*%V9MA(a_?vE1Bw zPpO2mWh9LM2C0 zg=kYHJZaQJy2I6c+<-pkrl%U=bXYk(Higs>C&>#&%Iit-3-5xXeUkf}sNf%ha3T&A zcT%}sW>E@lE!T@t$E$|~GGrBGA3w5g%xx6CLm;qV==INYe;hY+#SMv$Nou`KH^t0(u$ zftkx_kZ%MLAG92SZ#FWc$>8T>nY?*J1*X)u{0VsTUUX3lR_7G4n(^v)Q4pFPtc;W@ z@6=@nL?z#7M7e`+ZZ~~U25NLV9Z;P}iuV&MW@dfse@hC_t=EJNQa!m#!vWC+qIm_H-{Wfaj|B?L1;=nf_x1n&1~74uiAjFkehEgR^?ko-n5a(+t3 zqwY0VB9NVfYRWD2qszgZTp0dPZ#|oQ{pchSUo4qLC`(5&sQ}`Ye&n85qS!a6wXjyC zuee+kf4pXU>%xd3@Qc8!-Vsl1elG0`p|{=qV~byj;Vr`IYF;nc2OM{Fr|K75W3qfL zic4ci2*nnAUs$&Ps3r(uj8q=wq7sNe;6S{o9SNW!&D;9!OdNq7=CSr%S#c1OC04hv zJ;L4^IKj}Jn9{1|!tJZGS)V86EE8JRWs7(ae`CS-c)(?w++Qo?SlXD61q<}enp%Zd zo!7YrV1@SA-w25EYi|`XBk?st`V#fqr>^QvV}Gdx3Mit!4Cx8w>T$pFb9Ni4d>rrZ zkmv3Kg-zA09vWX>uDYNf(S*jHaZTlJ4p!5N)8iz(r$};*eH>&z9^+!KQt4?Puf$l& ze_T^$)1dG3;UupoH%TE?@qTPl+d5%$aTBZM zqgfV0;mX?2B3Fk^(|3~z>DIE?OE{R~WxBlX4_q@QUU5O=w%*ui23O&Q&dnp`e!NEP zNc0I3*J8G_t~s4;M5Kp5LQFn$Ey`wdf6z1CtiaX^f~~r_HF~=hv%a1ij+-RVUh}Aw zA5wN$%a`VS;cekxOwpZ=`fiU=@jVM^6bEA_BzIsb7nv!=nMGTTxz~a2zz_TCF6dM0 z#H5}KXl`eG$0K-)A&)EMuG7)zh5TgEu!#6o^9ua@m-rmw6Xx$fucTG7=AUuJe`V2U zINXryo8n&LK4Yc1(w6|#jRbhy)+5hf(TB4ntWfSiC3SjkJ5yXR8gr7}sT9HjNZ)NW z>?4qnqw{o=KfqNn}+`x*-Ci&FMn3sPej z1~rY9&gg`BTWOOR$+)Iha!pvMOF`*tfn33p6OM;Pqy>0N#e7|~=3h=We}h+8&ngg| z$~`&l{Atajc2MQ<^r8>F%326+#T5Fl&`Y|Ako3w1`%c78pG|E&&J$zN2zLZk&z z8deR75R*0&;myMQoq}@5s|=|5Eyqv!225RitLu1wZvx zIHfO*HgPlG!(DrH~E>tJ-r0qo0ArHy-24e+e#IKD;$paeL-^ zaP(~-tpfXZwLcOfuo9b{OWwZKq`~(V|IS1+d(TdUiB7al%e&Y-V^vmQ?cQlM7Q|uW zD5$2wp#GUfi}jhq>k$ESmdmcbaCi*?DK=1s64~vVg( zv%6F&nz~(8?|gCve;kG&NsIwTdQ8y<)1Wh7E&N;VTGDR8D?UOuQp-+SwPF3dmp#t$ z)1;yuQ?iC2Iasg>y#IEpUf&_OIG7Mrxc#Yd0ceiW83`{ip8L01Zp16my23)Me^kB8KFOsP)CJtY-Rs!n zzl6?-AovCh%WnTV!V7-=Y%rhBZZ@YcBDbN%bWjhmo4&WPZAshzQ;bR9_=fJD(kS9x zMt)bo1%n4mZ!{-rPVyrsg;11(>&*Cjjx8rzWd8W0SkdSb6ZZ#@UNaFiawH3p6;-c5 zRJYtbP4L^```~0TA!G0HNK-2X)__;t;iG$3W~gIme-3${a{S9sY?tV!+*C4sKD1l} zJ%89_Q@PJCYckL((X^2je=h2t9$`dpw$x-xtD=6roXScOG}~QfR7OCUtF*M$@$P_S zJ1s2-v00=McJ-F2Ni?uH>J!}$)QemR=7_ddjnxe7yvIA2M#zZIPew~CCdE4ZLqV?S z%T0zee~iKIqs6y%S&G_kC?XJ;=L%9L_N|M>)rgjphvPwS+AGxkmZNBYR*gluJ34H> ze<7o~#u(7sNkI&PW`cD0@BX^aeHetncVYfP3^Bt^94$FAK+1 z>#!a; zg4;GJN ze->U*84tQt@%ioVG{R)3<+5x{>$G%jY2=}+RrHdd>Mr2E^s1PNO8VlTSQBrQAC)9L z_giC{{`@PvLX0s}++118-MtuJt8rsD@&1{1`peHB7kR-PHza?yON>jUF6e-~heHE3n<0X3rUq(<}`ID4V$chT7JPtyATkNE(pe59a|dm~P6~+1N z$D28a=8>f7WM@9sT=uKre=Jol6#F z6?~NQPP;(-ho*JlIZxMI*ZbwnZ7tag!Zl3|lE=%UM@xw0zS#J^RM5bUohp?NR(#eK zE;}v=tU)Zujn{K=`s>*#2n_;LKO(0bbtQfPb)Hp!`?^}vTB9O)f0*BiTRRnJsWPmy z0U!0X^v3*}(i}ysOD_ByS({?0%&c0=|A1 z8+h5eyF};5AReB^-xt zGJ2CEzG&V4Wc{=~b=_(R2N#Vane>`N?mI86LK?~RS|$NWf41m^VJb3rguCi_V99Q> zmmQJ!L^>c*$85J@i%o^4&+_$MYVez}jKluD9{%ZvXsVrJnI0{yFSHj#jl>&b^B)&3 zjnPGYU>@APMvFmfYjSJ;5rka^FvpHE489DO?NZ*XhL_Jj@_a$~?0eZ$cY5p<{!R63 z+iDfoth!pRf7ziY*G+EN57U;z{YJ+PCv*@xo8LR-8=6NeuX4**eA* z$s2nHj_}M!tT9_xiJr>ydt=L3lUdXB4Zv}q=lV#1f4B4Wg)Y?&2&BJ;hDRu^aa;XA zZjZ9P9`@VH%Kc;#efz_m5@AZBk^8N*mZ-+iX4;Q-RqBrZ2LjTYK<6CEv;iXO&*_O2MG=fC!eTV~U+b(tfk^f(t*y!&%^hf8w5Ld#?T13Xl;USwE- zKg5m(e?#>nzt<9U4U=pm>ZYHi(Mr*x{b($k`WZY;ZAjFaN7v8}S{SJj%W%g{)88_> zWO4dsbjV!?X6QORt(Q9=s5%adD@NpiSN3;Zw5EyCu~jt@g7=g`*2{k3;fMM`s!)d} zI6RZcZQ4bpmwUV$1i;LCQFQI}3BDIcYghCRzF`S;M*8HwS13_zs0FzOd0mDP}J{gw~wog5<^<}>^$3(yN9~P$mbr zw0-|(i#wpA;2y5!z2>Q*BouSmBZwR$m)IIj`sYZ`IH5wTk0G{p@}$fN(G{1S@!Qd7 z7l2v-4Vv7y;!DkXlfDCOBYplv8roTR6Si zwyM^yiBIUFIGMacoT{N)Yju1F^YCN%%HLpKPI=0w=wtXLUgvikU!fLUvet{s_fbd#>>V#28=55pEHir zJbIPpf`R*z_Z^2@Xvxo4B|C5GsQudJrFgyvcd%Uqd!me#(J6Y%T=vn9e~An5b{}iC z4%(XSl9+tnm_?(*V8Bvn9t|38cp;NYI!@A5K8q@$n|lyM3YB;kx=G$1GH7<~C(~s^ z2f%7mXDJ9sL5ky>D9H=uuubvEcKo13m2KfQmQx`!I{A7h%JXZkUbm*kY-U;?>s|)? zYpEZr=i1;iw2`Kb&$&))e}UK8Cjk~8OK80(Il8?0Pw5_W&UdYpQHW_;kV2rV!F8C| zTis5dY&rUeBJ)$dD__u_g?>>Rcg4wp7+8UOynK0*18jb|T4~`uCHXGfFM( zhB=d?fYnQQN+3ScF#Jk9cHSnagF5)Y=c=KF4}GZUI9_;dzR2SEe^}p^W`?{HTzsOS zlv>Lml#-FWCNg*-JY^(LrJ=rh_SNQF>UI*Ur+J`8Hj|kn$a=4&YvlNTkH&r}S%B4e z$;kPLp#TG!qW7dFtHX1jpl%l4;KHa6+ajF!3&B~s76N>>6`_34sQdwENc_c_A5mYE zJ?yl|5l1Yb&!d(vC|?h`0!>mI4tu$9ajI4G6G1yV@muuFD3tUT^Km&<;&P_{15MZ4 zjF&;70TYM*&jGjo&jN_c12!}{mx-GLAOkiuIhU-P1IYm}m!V4mD1WtES#uLf5`Oou z=*QjIKy_ac#6CQVunb4=AWVZbYg&gaOX;nGzD;=vKRi#4}lA-x31zM&mC8ORkx>Cx}bEuS2 zsiLm3N>!HTolBJ^+JD~Bvm+iUR@PQ35<^Q|B(bu@SQ%N-60JknakA3Jr^*p~N1UCh zwAVCG=kUQ)j@J9+Do6VR))7nXP32`}938@gH67EF2+^e-nzAvv%G=7Om?}?OJ;^|F zc}e>{ZSnYxl}|xYQw0c3-4LU$h-H+CM0Zs*!R>@lMNdM6RDZ=7bQK9cMe;_1#gZ_@ zDkT-GNO(v^kP=TN4Q)$6%p00F)Jc*$go#qx?ht(fk*E@Q%F$D#-#}WRy((HjOPxgQ z6#kQm&PTr*xX>?l60D>^0tFqH^o}Cnbx`z3M0A9T&`Az7iJ**xG_5gOLRHiu94kwV zjHUCFs+4ikl7BSlIJfig;f{Fy^RlkQi{aOLN9>O;X7$BvS{X8;mpkHRJsn?7PUD;A6DX!Y|vr`-B7uvOSb6e zT}jgCE?HrmcY#*3fIyP-KA@cU0oJ_l0V?`*0P$inK7V;t&#Dh3+`(ZbUe`Zn)yMhS z)=I77irD^Ma+6W2v?@%AK_Qp1(B2xkN_p=qqh3+1zNc9A{v?5~Inut9nxz-GqRkvPr$oTg8r$6hH%p|5lO#)10=?F zAu)OrNPooR$@uCL8DaqtGit`gEAe_VyqI2M)5*_D?7tER_4m<9{qpf19kH5CuId$7 zdwseDu(XRF+gY!k))-eIrj#eQ0_#e^F#aE~v?aky&`JmDvAQM8Oh_2_@GPsl@>+Q- zd9CRQkZrKPNsFD3QbO`i&T#Hlc5(DQss&waY+ z5PEr?322?lGAQiie&q4I22}k*%E0r$kg4l-T`KqFQ^-~}(>Xi(K-IdoZ)E#CUuPR+ zfuk#A<-H0Tv~%szA4Yvc)dok}4j~M1X@5kU`;1hlcbitpLItphP0m{XQCuq)0Hu#Nq~A?KSq%GeKbkpouJx zWDKMA16=97Vm<-X3}^&>N1&o@@pd$98D3(h?m-l_X%ao+ujZvI&Pm#L~=_ zC@KI?#={n@*~9y=HLW8aW(#deGqSStc-eO>NuV|4JlQN9FpMNKjRzR64>*0)Ks{2Q@)^tQ zqQp4fD-n8ZraWK~45DP9gMqahHea$38nIacae&ulkyCKY!HBug24oS((E%}oI<^=u*$zDGM1OO3!l9gmF=o9R57}TJFk{d(Dmzok@eAX`i*#-{dk3Z; z*q#zlGwi-NC0qj$D)4Dsg0oR38E8aG#(4#QnknTeb&}T_l0@I%7T_Bi+H#It3H@1v zlN+K<5@|TAC0X#M6|u!wL}}*@`=P?=BHSEnVzb^km+_BP>vEFf&E!dZ((&QzzbJf9rB-z2w?Yb=kx*x(L7f6o#Og~tSVSoB2_7< z@~B)6+H$lo9IV+^6|lBOaZm(Wk>3%+z!OKJ5IH*ck*iPEUIaz!8GY8UAt|k7E8~!_ z6Z|5&oQZS%&9M!%ETbmt!vLJaO!Hp8bXVf^5*BLgpy%{C(R@r)e$Z zLH%7?KAxk66$VbLk=LSDH%%=YIHpIE53AWS6!Hz?Hc<7XA%EmZ&aZhvw8(qGBM0Vw zG@SiV(sTNW6oP!im=d&Zy1DgKnk+CNJ|!BZM2K36iK1lVUuD=U*&lg5M(6VLXo7C@ zNHU>W(XP$&)^Y5z+;3O$Tt+DOxy2nPay{obfpbfi4ZOI`)v)1+y6%2~D$iQW_9rqGMlznuF45Dx2~v9d9FC#CKn>Ta*9mV2F>Ze6@afW67JlH z<=J^7Cw~sJaQTq0XC4mk3ONCKQcd|fALG3ZbuN-K;0=A3;iS~MVDIMjdMjwRS3tnT z8f_H)LVG;Aq*L9}XjI{rSLYRmp!e0e>wrqE8&#A{VBT3t`1~M2?CY z@gzxPg@ij=hJ)!Ru1!31qyiE@skubc_K1bKpReV)?#87rvOY3nrTCQ1DYy-6jfU?R zzUVuSTIe;;ZeHxWd{@eS9XMaBW=C@!$oqKIOTQRNF6RN>xmcZ7ST2+-M^sC>1NB3b zfpMR*K!45iA7`+{G5^|3ha6`4tw;0Baj(pEk+XVAdXWQ{vn{x_y>>;JgUSrbbGeS$ zO2(d_rpVVG!8W&f1XB8B7I8gTb}G)ne6RHEtj2P-A~dDpotk}!>^t!;GpCn#HncS? z6xcVkvC5#1mwxeplCKnaxz|2{OjbwRE7ge6R)4i9Ln1!|dfu^EmFMP4@Qc!*oy*6~ z{oFD?6od)x>>ZMyrwj+P;4)34K!XD)z89J*uQVEK@&za~jzQ*t5XAE#U!iz+(~l^a z9G4@RL&KBX*-9>_i@pwy6J5Ke*_+2X3gi(KZ)(1` zq<_h4P?W-@vkTk#%8$jHPP~&msHZ2B(dBGB$?qti4bN%j_xHcOJUIT({_);hC28Vp z_;p&@ykd`Ec|LHydVm*FR3-2mv5z}qcY1;spLCtv5&Of-qk8o9lpdqs5nzM42MUu< zX2Y}5$?nD1v$`VkuV(f68zMwAZ<|dN+<%G2>2QLVqyG}SVkka|6EP7}G5dEu$Ki-} z2U)&ky-BQJpT2nh{&^Nl_lRX6mckbaX**)cbd6YhVqYAHCyjWYMJ>LFFQf1DGrpRL zuj2IQ!cpe>WMfNXZ3U{F2!X%8I1u;1+@AqPy= z!gf^}Hxc*Q@6R6}!@ghk#WE}B<}K5G#9cVOPrbtKlCZDDYw<_p^9$pK=fnB4|C8(Y zIX@daPOvcgtMRP<{ORnh{xVxUOu#%p@k~4?YXZn`3YaN!6kszkQGdG{o;AP&`7dV+1I2c2!SjBRa?JH8!o!NBQj2`a2zCI{MLx z{Ea@v-{S9jGG0>aMrq*a=-JbwT~>c<=uxZ5ZjvnC{G?l})%B>=nNqECS*-^GfdGyG z`_ISmguj#Udu?@jGSg{MWuBdXO0RPAC z;q%vzA!bi}H}m362Due6gYOkHds-{(T6ehx0vpBrEXd6YXx9|2| z9lvGK`fQzCIyt<~j1K?wx($Cl`@71vQM5XKdGuoU5y|$tzcBan>xwknD$M&M)|!fC z#5r=bC{Qk!>Wrl-BlW~EVtn;!#*Y{zj(fvt%^%FHTtt_!!e{FICC=e!GM(X=Tq!&q zHV@?3JK~Sg=h^8LU%GG1yn9{jFgIQ1c8R%GEpxXy^X{#z!`yY5E7gC;+-}aia|`P5 z4!7qmH|O2CopgAo+w)eN^X^;~mU%~Yd){|2^-fvc;cafx>!MQu-$ujS>VrV66n_8jo z0C%Sr=x{dIaW*aEJJ^4BCsTJAyW27L`VL@s(rAbCYBbY5UhUR+7QPmp;&ag}Z>hhqoH&I0t z$#hghz^vJ_KcrG&{BfZ9p`9xs5~tKRjxa_@o_37q#0V9V7^Y_eUVQYe`L`fk{lF^YYVX?SCV&={`!8yp=^1h z_C#_x91dr`dGPJS-7ohtPgExIT-oH|5mO_KDw903qEtolP$wVL-RM-v5rb6G81K1O43nkp>3ILjS*SShu?e|r=i+Skv&_oZ>2IKH!7&BW*hyr zDRk;LTcuR$znzZ#5Eq}MHubFm3o@Wme>$z$cm<626LaH1EMnJpecSAq4~x-v<9X!G z)`vrfEn7|ILg!>PEvzY7ovLfbb`+bfu?~LPYVFb&TDagw(63t1x(K&5<23Sa|H#y; zyWw`=#t}b6>TYVfJ#)73E~}Q^Dz$6+^BBA$i?qQdwdZ-o!{V8=oSzxqG9Tixe;?{_ zGp18dqe};0pLbDSPnhB9)5h8q3f0xBN>e|KufS;x1U%8R*gy#Yltw19bbxNNm4ru`!m!ht@m66? zP`N;4jD!#jni#oN^7{zBA_a7dG;+YP=NXTb-* zrr`qGb=>6!8%PZ@s7l?!+il9@)ZIE82=UWNw9 zv%#Xc;eu=^clPVSK?p^PKR|2G^TD@xEyp@Q+;=`?8D!-Tl(Xu9_mWLW3^!OHLU15S z`ZAk^7N=^6p%wBCC{>ISe>(e2n)cgq@~4#`p;SHjJ>`|6n9Zb%Sqad_pjw=hkg(m1 zObO2{2wKAsg#@D!PZe2)s%|Josv{Gu{Fx`!wC>JJMm5TWtZr0{N^_ggX}>z|`=OZ* zE$>!)n3&Q^STIZ1bLa$G8&Xs->wzgFlJ1c*OIY|R-ut+w8^Q8Ge~y~~HeH&OQ@|BO zL<=UbhMGMM0!51EDciL)FT-n~ILctOU~B9jklP~bX^xw4j)%)L0Q5CQkMYgd&_#XG zbIQf+v5zFyNG~-KT)Q<&y%S1W6KXd)1(jR$Bj^~k;cFyhOJ&pFyNyPO4xylgq!;@O zZfc|`tqn~L)Ks}pe}%b}eid+xAZrmRls}8K_5>9d3n#{FNvGAa*0~>R9i1ClWQ-Gb zgyUj~VPAz3z$4o7I8(;v zA0K_KmR^$R=QP^0EH<%go_~x8}NbvKaxjYt1aMGoXsKF5M5h%gD;0Xo6 z5rzNjh(yulA*+M-cLk~0Z zvI?VxS59Xtf2C_?Qd*)lznJL(!Jza1uvQ@~;^}HFoyl0O>27usO>dn<8jzF1fh=T) z6+KY;;S78|ZcK7m(<2v7mrFHd#EO;{&G&TeZeHF1$CTR~ij7MVLM|Y`X%+kyoXz^)yz8YawalWXe{vCHMCDs}=cd{-sfph%r4oFa zT*f~d=LEW{#0ZxabCP4WV!>vF(iiZ5%Cao-*ac6HA6Y*01aI8Ed${}ij$nXqQKE_h z85Qoym5@+k*WP{noFz3j5!pfmS$<}Ov@fQ2k;MJDA< z+^Rgme~;9;oEV*ug-#SMj+NrH1`{W8WfCb0s~1o)F<-7g(BK~oO7=f8OPJ#Vz0g3w z2Nin?-DK#UDGeNX2W<_~^u(xwhY!^hf4WFc6iW<>*vQnx**0B(owjg2H$Pz!OI-fL zHP{<`=&4bzdCmB#y8SGPbLx#4?)#7xTAIWnE;H~R|M~2T3Lw_9^*sSTfRWCBtJ>4i z{~8!&DFr$>{Hx(rS1w>k2>KT+-%3@Nk*Wg|gA)h069)lKnh`lR3NK7$ZfA68G9WQ9 zH!(SvLC*mc1u-!=GB%gdB>^XYjkE<+oY@jB48h%!;Ly0cyF+jf9@5YaG{N272_D>o zy9I)~6Fj)PI|PSEX6DY!z5l<~dyBQ2Z&&TAQ*~dCQ_(wQE%o1z|F$P)z6oC$AV9S>ije!;bb!%e?*unL`QqT&TIXKwx zv#>ZjJ2L|g*dA=>1O@?qw+v7MT7v&-jTxB=pkW5F|I?vv zZQ|ezv;zZP3>FY$u$BEwh@%w;g0`0H{2Y|Lzbr~51V zcOr<@AHhIlV{1zrpp`4c$`oJ%u>b>&or4d8kC@ci#QDnQ6zb+G;u zD{Ez9{SxtKy)PH_pPHTi5&`XB8$t*8?_^5WFVY1AX#Y{VJ}Vci@yid}|Fhoz2>Jh$ z`R^?MSEc`NMbeHI7Jv9@|0Mi>{6I^Hh3j987wI}WysUwu^~*9?{V!Du{O9f}fh!t4H+8*-z ziFt`)W&I!D%a$2`dU;0dU$ptB3uyncat?nC@;3&*EY*M4A!TK34f?%(>|ERcpq(Ai z75QcOFNh1^&i1mVAh63H>ISedTUk52gaBT8_5_%JSlc209yB*EfJO4R=?}!i3Sg1` z2eAQIWd26HFFuuj5GQ~|;~(^rMf-2`B77F0g^d~TZwnV6faT?(u>8mJyLT4QKadN+ z0=9WserqeXe{nbfET(@$ZuS@S``LY&*guq)I?Vo|yd<^weSQCw@)Bh8PaQ9H+PrAd z`d=r1zdY_Nw*P`J3ICO!{UxKzzu-%2u7AM)nu4*To!!fr{#c)v5&Z}M@gRc1E?{Hi zxoK--fdKRBfaaS@F+yjitr0=ElcXDMcBYZs4~PyuQWJ)2vFhn*^YX>gbKPvxAI#g7 z#BFafmS-;9H)}}0xpMwuB9-1XB{hnke*Oi2{WH$}nuvTFqaG?-D?yxuzrd~sN`*Ka zvmHqUWZI)nh2cR{-8CEMO#Ql0nny0MS*f+XvM^2IEfL@Q!*w->2BUtBEv`#En#^^} zDF2Pm`k{$RDdh5kt+&Xr&J~!eeS`grSlz@O;l6TCep{!MK@M0_0{ujioCp=~7r&x^ zKV%j-9i(8p8_D2Eyj54sCR4*h?w9!brQrlm|A7KQ+dM7QEDreq52NL4%1)k{wNK(L z2Un**Z(`<8@?g_2caY$cw3<(A!%Xnt1n%`5-0I+_1xou^6KxuWhgoUixwqGln0mN* zQn|4%6SGzpcp4|W8=KzQm=)!^L53}VQP3r$C-*$5HIQEuGBFn?K-vDivWswc6S=vi z=0tTCcY8%EsQo_?@&-Vr4OZ*qy_2VcHmJf9zaZzSS z8EGhp5 zc^k1cuEat(O)9p1aT+pmhbQm{@iNaB!Nz$eudB*Y*>wtFq8MCz>;>GR1ekY%A9v88ibyUu-^?1QOC znbYMmo4a4L3r8$gMR%N`qz!3*BP@TZd@dw1-5KgtN?&F&i_yD}5hlh!@{HD@cuwOF z&IE{jQnmJgYbgxPgE7Q8?}&<5E$WAf`SMaM?JKYMPOxPY1v)_*%d-iBIR;Nx9^BFOe;8zo!K}-ic%)1swX>)h&;DB49UvlIRkIS(o~R zFm`_Ua}I>iSd%G?YRr3z*Mq~8%)m=DUO*_9z|_H}PFZYb_8ozh=sCr#OKu5?y+)O- zOG&<>pDi*1;HVW{eT!`JnVdA^OPhLo*E?vKx`%2MKd}_SIL*i7Fk~PF~;zP z?JQmUR;(mkDUBV)yQUt0Ic2D*fGzS2j5U>`K_jLP zGI*IC_ZM3|%ciF3e2BN~Q{(KR=mA>azZh96jxfUTrcqTe2e>A`_E{bmsdSqn5zVK> z>J-$Lh}~cGKL-%0Cgj>FX|>7#6V}o2w`F(XDaUeY!#n%P(}S=JE9ssHo(ktfk}LIL zixD(*i!Nd}b~gxrGw)j;;+v`GtwD9dPE#eKB|`YKO8i|%6sH0!53fTIW*0$oQOOE7 z>z$eCeDLy?zQah)G8_1Z8b1*m3sZQ z6jyi@RV59Ak4Xo5vEevNB{qqyJe0{pQ7lK_?+&I`OQOzyi#?iW+zsv_lAxXCT&3nO z@-@%4`OfEkI&0E7#V%ujL4>anwzH4urZrhwT&(usLjzQqf#|8Y#TFV2L))#X=*o0u zCU8?%!zv}>x)01zMhK8R?@H_mQZ4rvd>QViXg925!S;#by5n{=u^fI?q+gIxCap7Y zgb}~YnU3OrnSNsVgs9ZY^-e`^lXY0jCdq-Q6v1apZQS{pf!nD5q?4$p^2~d9AY)js zlxcvf&Opd)te|C7o~$yz4OAH3nWVm=HB$3n`z#hzJ;D(jhl4A5gg68#m@s>g{Dpq1 z;(Nwr0~N$CusjgjI;N*c6Xb~Nka4g0q#EH(^uQy3PI@=B|GA~5_Vh``-L;yKS*E`B zt&Ab=YmMk1#ab6GE)*UlM>gb~`qYCcPUCvb+{)AoGsRwd>%Pl{bhWh3 zLnS>?{%rOgDLex2WpWRm-2gbW)?+NeV1MKFy+jn0Bc9l;z zXQes!OQ;&o^Wkq+VBxGpmE!YDuJ!8*)w|64T8)7VTklHtJ2rSs{T|PH4TBE1>zuIJ z-fh-soX44^np$N&*B*WyX(Xmv3izZ1VVnqm{DjHIeg5;~loZtN#e#5JMf<$#ZIkdg zs)ij51_#EQj~SHuJ$QLh(}TTLm$h<-=z*TE{0B`jY}XM)-*+3OuZPK6(=o19%5G%1 z-y!LUvI~=z`bs(nCtH0Z9jdyIxiZ$_H57`GrJ-M1HjO>}wUnsapx+SC{KH{yfJnN3 zm#k-SBLN;37k^=nTaLHTd%Wfn-+3zD5}(3%LC!(MZOV0cLF6kq^L+nlx{i;0{l*40 znBqoi-BrzvRBfh{X9YKo@T$-?g7FLI+pSI{|6VQ5ld*Yz^CFd47v1zIW}?y9Tk-Yp zmF<>oND}sHJhZ}YK}i{Pa#)>tkr6Hs3(pm8lA z*0xb~jpWC@5xiVIFqcVqR*+YyzID1>(D97;QR7o4eJ_PSJguWMg>=#Vp3ws`^0YbW z*QYVhmgPeL)HHS~rG)w6;(ubh9m{<5k+f1aqDwRBemfAe5uP?y+h0%DHqT>!LxDfP zFSem9y`IKBKR_e=i>&+&Erzm7ELw;uw@|7h5+nRh&fT2Pp{1%Ct7z}KsF8*|VWmZK z<96WCbW!{Rq3e}(jVUz$X_?fC8S8ZAs+2WG*b(Ca&j4ADVIy5R>zu{B6S*dPB+5R| z>XVT_Ci4})*99GuBB;~uZYLUlxx=(z;{4V02Wqyutz1bQS6qerNrty!R_A&2uw0q? zD@YF6$7J$xS2)uF={vcZj4@QL#ix*O%Hu?IQIAiI*`i|L7EwucN1lG&(c;hJy<~3; z970J>8oQ=dMXQ=an5y(YT0rOUZwGEr8s-1`hI~rm0j;9fp~^o`aN5FuvcZC;C5GQu z#T8W;(3MfaH+p-W0<7U!q^1cV3w!)D}^W-f_AMEbAX6jJuy& zqI##wIzMb4TuI^>J;>*BWiC@rBxM*EvZn6h3tyRKy=u*}_isZZZ^*X(+(P!S^VB_u zNQ|WoF_9cpj)$uw_vO}q$QAjOU-(KJK~+?(!@|)BS{@d4j0aPwaR9-6;+5l@O|*Gc z#H$el?8p!ai(zE)Y0t789{H*L6hLYaZL;2!cVaN*vSxCSvK;;u+B6B;pyT1Ai^H}X zwmrD{jc;eRPOUVtGRA3{L#mW8h<|l)IX0%39>GK{D_&5JkQ+;Xy12Z$_U!I%2J`bU z0V<`_BPSO-g1l$bF~ilDfGwB8tXhV_d9i8C^z~dQ_}R<3{4eIPN{=?^e$o_bT@63v zSqJfVjq~BfjxRUgy#>y@K^#sJRgAS{UpLG&kHkTniH{7K^>zA{W50cOH*;aE--P71Aj1abndKQy=?^ZX?>GL^c;RQEhZxi9|;fIm&FOQL!zaRsJ!QKrjTW4 zt{%Swd)eqjkPD^UH}__j;Y}`REl6C$*)QcJ6VEN1Cgxd>=lM-p`z<(k+ZF8;#q1rU zKMJCMekd;{HYu+jjKPUmPo;YQ)giC&E-A4e^B8Mv`*L~@}Mv@|0Vu28E$_P z)#24A=k_Tr_DKv~A>^9vyZR+pgjmhOWCnb!!3l~8;I+d<`{ap#@R3QW_|ii7VK_XGFdA;>?OZ~%*?f!~ zYo5}Ga#~f-4;W}FLn!~i?x!z^(qFxnugzy;wmzI)YVLWbKHQ#Xh=3uu{G<}j=*SxqbG*^i6la=yimmv9@HF7@7j z<|nm%lAa&e*`uc<{rtFS`fOeom}ezlDN7iCXrNUC?!ëyfuA{(krWFU{*^s(?Z z<0;<`LccrV`fyB^2fZYrInjVrY6#a!9!ogu;K<@^w8f*4y0&aS%0=%x>^wMEOPk{+ zMlu}VtUDr=ec9vE103esYky4Y7uO^&? zbY$;vK+H{6L_^y@di3S zaf(@@`LPak>*)}o505Lv>1RNHHnbCre3@;(w4_o@Rhnb;r7$@xNCC)Rwk`?X)To@G zXwb!k=oU-()PaTI7q>v@fTjjiXtt#$)7&sE%(%s~=+CzVK^Y-|86Ao>I)uGB6MgZ> z0mLvJ=mhU-Z0bc{e^$CpAhkUc=u)jMDsl{UMGJVZ@Jrnbt|RdyAAs zQB);umzWVDPna=iM5g<^#`ETbY-v?}iH3)8Qxd%T36+`vnS#WM+D?y3_H;pM+ptM6 z2Y&~f@j28Me1n!jG3tl1(>+!yi?PZ!h*d5N`>A_OA<3EGN9|JIlC_h@q6t zI6FIEXINacvCYcY)GhaabDXTV6r;6|9U1@%nDfSsOIvHChC7Akm7 zDg^u;+8x~yz?nj#t@aWAoMjh0nHAz^B2ezl;ke}92dyH;@%wXC6))Q6yA+>@Tc z2rRki!@3q)O>yM(v-FvO>&(3gTTpFI>%$1)W(#~O_&w}pzB385=i6CLz~|07a4MHn z0%)@Gk*tA#&#z@v3t#k8P(qc>j5pn3(l+h77qKh(obVcWLY`)l6#5@GWpEmLA)9F zi?_;QU4p)eC7g2ff#}2*WpdiHjSnYVJdd}v+7y|87TVo8t#S9ZdeB19~2PaN*0cTM;urgstA z{c0CG5ry8n(UEL`pYRwK52nwliohbR(>s~2`hH2#&-hx;=sAKF@QjOE^aQKc+wB4~ zQk7AEBV6djCw5iPUI{P=cMPGy-jV&+>mlk-GGV1%6o-rI& zy*mgV1dX8I+{e&?4^zu-i^$NkV1p7w>mU;QpS<*jtu&L--t=ZuCgapw+rRbrc2?S| z!_w~%-g?M#UT{0|0MRo>38MOik*jGbf=cvwI}t#Wqfy{iv=dD z8M=tphOhCP3B4X|3G?S4BmI=taq<~r;>qKiojL@(bQcS#Rglt3CCSu@{3DZ@kf6%Cr>^&T6`Iwx5_2tE#u+5ckrb=Hn(33?-DFw9!7#o_jm#%P$N*h4N=H{p!sf#FBQWMWN~(8N(sY4$fuaf1fzJD%$JbK&K*m}Jr;>_iCk z*N<=}a8XEJ@~HARZmxVQsMXk85l8~i~s z*1b%$C~qw+&B~ySSf(wU>Y2lGV8$8>WB@NhN6Qf?w4D)60=*Q=;KLopH>lV18Bm@+FV6GizjYh4#N!u`Hn%;6{zDQ_Mi$Lcf;S(GY7g?jbAL>& zSh`7}ujGqu*+wmf`KNCx{PNTMBAL`bo$~LBDTrT^=_Ce&c)HJMM|e%c1>CK)9QCa^*WA zw0U@4&6{Prz_X6-6oX<*bf)h`ajA6iVVL4_g=I(2>iiJ;NRc-`{eIBRRrG+lQ>a;v%vr=RYBPJOPl^SiLJE*se67;~QI zV-B07{#pUY(#AXthakVq*$rs5CEZ&9Mp%FS9iJGl_HGd)JWnH}FTtRF_NLw>_NQtP zpAs@oXipeNkNb_kv)g#(^HhI_0%wK|yZNg(dg(T|_igDFH){d2>GX>zkuRuJ$`7A~W%6ma>?uSm+XEdfe_$9P=RW zxZo)pA54@FH=hfgo5#!jxj(YP)5c5QirXx>W_PxK5fGpJ2n7{ztjK1u(K6hvJ8b5M zSafr0_I4{}e!nuD0>x9`a;cV|kat)rlxBb9ZsA=?)|-nOvO}vF%7mZ5LYoiG8C=al zWJq>q(pG2ewWm4u$Gmw6{+cp9qyNr$aer#xBV?B@mm~C{)A1vM!c5VasKib4I`q=F zFWH2D=Zr(6H!`Z3ORqTMGHKK8????yu&=RSF;m?bNCN7{13m8R5tnXgKQqOzlkZzg z>Gs@rCcB_DW+%B*D24|Ti|jTWA(rmx@R3t@&Q+uk(8%9k*abjwZ;bB{#bJ@E6QV`p zbW})knL=(eVg-3QkLsfu>v)`e?vOUy7)*m~Vj#YQ3extuCO}7Y5leb7<$i6%hs3gf>||1K-!L z+$t-1+C9qEkXimJWz8`sHgcg;*Ie(6j$g8o0mVqgHNBQ^!a!aPPTLIP2$`97JSif7 z&VQ?1%+p0}_U(KpWS#l40@kVAlifCe+AL}xS>dgI^oe&_3*NoBV*d?lNf!aUe%Wx} zx%kDa+1=+QLJTUw4*VQlHQ;Q+h9LoL;!XmzX?TDfYwK|C^scj|;9ZMs}B z!FK13pN$c)+xILc%f{#)!CAH^MF!|=M?Zz%5R-*M;4j0X)!IHy8FI-bpryb%uF||K zCkQ3|5t4YbIO(uH>blfrpm;apH-j037v1x;&G+2K#&Jdv&WJBk8^#iU92XPZt7%^! z;iX*ZH3F$?FZVhp_Bl3)HMWC65Cnuo0mWjOl`e3vbGn?FYi&Z;vXZ5-bdbG>pY%C1vZ8@g+uFC6? zScW8M+$!^1$E}Ga^&?f7qIUK54$K`N%i8|l}%*kt7L5`RrI62qCcrKSgTHqIb{L-$#phk-hWawNWEEib+2X2dOzhOdP@61SNODif-*tJPle@od{)dYItX5U*(Hy&5gYz0z5gHt%Di=!jOIg^9 zfp-}QCz9X7Q{OHzPU`v44GzCW1C=2$5)}1|_?u!MYEfD8W8$cNruJnqoEVet*lhXk zTar5cAr&k2OxcxTwyi6!?cm1d5c>qlJUO8qTa1GpHv@TpkcFXIUxyg+=$HAI)hHWs zm7))2hE&Kw80w7-6<(bDm*H-@Knx6yD4AZ+W-j#8CA0gsZU@Gw?-GX-* zJ1lbCF95HCJ=AljrZoEVZ>6xpja_Uc{jdqLTF;SHgW0C_SY%}mw~mg>)YE*h_z$tb zAn5a7AIva+g$gBWSmElLx33JqM_wH;T;jA_sVFN?sfw}LA3k-8EagOZ7hmh#!*Dg= zK=OViOTQc0GD9sQKvE~LHEE6Jb&?&Me@enx3whW5p4#{!39w@)sNz{MRX9rm7sTsB zj>6;9-GVKvJ;~rJ_nCt+WP|IQZF0o-W?wbDBTE5)Gb@dfN@p>&&{vhj9qF}Gl0lo- z97V%{8*uxq?Cl-}O&J^z1=!|zyooMoIs3!Z*Wh_`4nn2H5K4Q!R#NLhu*U?mdB3{! zys)L3TiSFTEML)QfV>+W4tdQdYsQ#9yLyyV+9g{MGGfKWOd1sNvUih5rIuZ&5E6UUO zFKsqFT1fk%9QW=WXU5DWi7C;o`$@nY>Yw@QkX-T`hk%SslSfHU;!#0>~9Qz2Q|GNC>PI|J1V=q`|~%P1mV!Qurvbx zeu=F7Wc8-=V>#vT;Ea|_S_~B6gN{z9HOkGZr1|r;INs-z9SmeYPv9Ele+!|tX_6yj z#}j0cJF%;{5k~js02vrGrl=WF4bE4$X?9j5hfM0P3Ng1CJzpJ@c`RzR z=F)NH2Y$kZ7G^QG6N=DOvf?eQBCS;)iaZY8cfW@V6O! zq6!4YFhtl?2c{W<3gFJ~iqhG(jDz5RZ%TBQ2JO)N#?q;wIW`9D()CdJTF8HPHFS^w zhHPAWpuGrQwRbaZn!nj@t(_YdGNqZMuyvqc{dMp-SPHCCBXH#>?89?C43_b4w@6oE za!~zz21B(%*y&vOiJl*fEM{H;(VR*V6=gscOLxDf6~A)*K|God?~V_5 z_$swP)o2Dk8D~UBpG5=l@k;cPlUdq-V}k={LX~Y7QCVN@8qby+tu29Z4aq$WTRq|9 z8iL?N&w~y|vX@hl@r_+psf5`=wxRC;V}roN?B>19D@>cm0bZaOj?G?wUh~>k%|d;1lVU5k3_a}2c4ArY+rYp+ z6Emmj!fOZdIXf}B{TLof;u9zrN9_Q_!t{JPgEcAX9)HcW5pH29Ue@X#p3RLo-KP`|amR5gOFkHXr*mX)9Tp zJTzsTJxLE#hMkVzqlWYTtkdS6HxDj6ylxI%XMN!Ka>@?aU%wN7(Kgng_dDLkfY&Jv zGE{Ts!KM)Sju2bb=q?N3omlDiP`^Se>-dzn!A(Ab4KPOZ$pcN;kBVA@b1-HvlD8Oel7Y7%TNb3x;r1ShQM zGWNh%3Pp;27or~_zKtOAoHKL*$n(eYJ$TYs|DRa+ zX6Jqa45zko)L(thEs;~e-&AJuc%dqx+9PHBxvJ*h-$oPN$JcQ zV*M;f-uGyK)+dGd*+#qGJNFCxY;ftI3k$ik2|`ro)Xp^Tq&xG4r*BEWJX7#pUDZ>x zgJchThj7j~TZ?Y~$IM$L?I?co^k_eyGlzkk`g}R1&CLZWwzkqPwc^67kor@ueK?83$f#u(|do4Qo z1HK<8k#M+85QjmHs~zdXw4g=%k~G5PPqBA{PB8!w6yXn!Adr`cg0o@|)*5(aIj#~J9ehHmZ>K&*#c2qeozBfi;th{dNJz}Hkv z>h^t6`*hZqeZfEQ80u7=Xj`q1qhq}*4O5A~4)w~P$EO*CTc=wFQ>r8P^qZx@TvQmb zchB*t&}>C1il@B<2CmS39=_Sc9;$#VZrN^s4F;b{vxHXS^BdVUMB)kgC;o1q)mG)& z6J~+ya9dkl3Co`+ZJuRTYjrBxjlisP)c&VrBRzfw2O3>=yDD*r-$z&8TNYgfMADRj zUu{jb0Y?Z4mNPa#`lr8wa|6PzR)`(NtIvZ8eTHn?qWiFoL(OX(1-M52cKVTVSc?sR zYYGf_sltCcgYQGwMY&2$wK42_+>q;xnD-Zlluob%>`?+=kF1O_BMEum_cJhO!LZhW zOleFh&)!v3>PMz`lRGSXHQg-T2C5J0bI8_;UU!KUn>JV|1U^e?`#Vutk&~=>llM}R z%y8S=?w>Wc;^h2lPFVlZd|XiW(7rx@DE!S%N#5dJ`*zY&kyP=I6H88{qSVp30VPvU z0Cjn(&q6G1s-ot`!Fsqlp5ir^vAZrC_T%*Zw@bT%;-Dellcg*cGju^y1>^a+jDD%% zhw*!w_eDAqDN1&>Kc3ZUN@121frz$g*N#Vdr4mZP)Q8UenYdDCLY8E>GgrTVoDWya z*{Of*i)0Epxpq%?2kTppitOZgc{N(3-1AcWf+c3vb05%SRzpKUL0R+t4ren(zpizU zT+8IBvD~jJ2Oog)akPYgBlqWCd&rzgB(Ynu6t|Fo_hRQ|VGZ*|NN+In>-q4ih-p-9 zIHj~Vxt=bDF3Y5cOqX%dZsDW%C5B)m$Q$3j?G|yV;5~lnv*|l zcDP+i_G^iN))aK*ny^C+hqzHWyM72i`mWmWynzeh_~3x|#>2YYZJvWIdC}f-9La8d z8aWkxz~eEkDF&6;YeOFMndpdAEm!)7pC1(aujA_TExG7JkoBi2=;Z_BWKTYN@5~f8 zY*lJzpFUD1FT|Quy=fs0v}lv&jZ~li185C4b%zMg0k;Ux0-MVNG%+%lrkVpF12i!* zm&uv~$pJW*&?NyVf3;iLavL`meb-m?<4jFi-PnPuRI21f-j~=O$9BpOwA{9skwk^0 z5<6c%=Ug;Nu*tSXNlBGJG?sgD&t1{(=&GqymC%GrTVE+(851k5D;sR3Rpq>|bgV+7 zDjlkj4Cbp8uuN5|iF(iIN-2ZqP${EQg|4znRTlHkrOJY~e|LCx;E`fwZKWa@T5xH= z%7U>nO@$>|hp^|GN*kXl2lft}ovF0fn8!JMFqOl4pIqgzKX4sbYHupvRL0>Do~&_9 z4-ukEdzi8@y2{(irkE;^tsXK!F5h6k#}?1uSostbnkrCebVH1~0?XJWi0-Org4+wB ziXKRXRK*C4e9*u&O;Hese<%x)S91*8eO={2qCQ50)2l}7^ zssK;91S1CJq6%(fI^`Zr6Zs= z>?8mL^#F1RhjS_eH9%G97{G1OHx}byp^R%hq+!Q}f4!f6+N)oGJ8!G{#pp}BSKpbO z&D*p2tTHg7mwWZgb~d?~9g)RC;w}JGz3oDF^t_E7&0)W&k`h;@PCs>QVC#dY>0QHOM z6Jn&i=0;%M2pGoy1D3WX zcnMnRKm%5{W|@fz;~Ji2bzffFTuNSR1_Io>%;*AjOikd$X0 zf0FSss=l^*Hv*>(|FpbAat-9gvN~A8b4798hBdq9#>6epyj}D`uO3ow0o8R=q;ngh zo0}2+`v>|hp?F8-ypJN36~2l4=>tZM+t(=e)jrBq<@ZC^_e$-n%eSE9phCyO-s^p| z=$QuB2;lDU+y9Hok|XzEMZic{%y_eJe|biuiTCadd^OvR6@qcA-7|anyHIZE(e@3>s zFG%%zmuXc~sNnM3Ey>bbP@txGk`oR2^xHWsLPT=hJ{8*aU@Qm4&6 zZ`tBe$Y3rtc(#~>*0rO(7!TTF3tC}+UQ0dWDvg|iJ10k@<~d^GoMk`wKzmY&l;G8{ zwkY=JntfiDwHO@;*vNB6h~VXtf4i@@|K!k+TL}&~(3UipL8s_>7jf96Ed)vs*;g?d zj-&{fViIwIaB`aa@C+zyAT&|rX#~S){XVbsUJ0K-YKAmJ#MRpqz@!DV?4pM1#2ua^ znrBlAsPWB0qeL-OPc-D?nnVQ_?K)~sMJhd5DnL%=T%xM17PX19^1Mxuf8fC5TI;~m ziAKC9W7}kD5`_;wafA3^M<$Sj>$FTOvxo_R21n$(8AMy`)O_V4&>M-z9yUXZ6FanA zX+cM!k|d1QgQDRsn|LTjEG=9?Q4x3;k65r4i{**9+gSojarjm%TdbEDDB?IddlFCZ zJhg?z)1U}{6f4dYOcVo1e>|gVBxP*<(KwyzS_dBH2HKKl6lLe}vhPHafHiQQY!;3f zM#zluK*RNcr;nPbNA!`;L}nKojwcU=>ujbnU>OWzBR~g3Yd2!Pun>&ctbn-B*JV*s zaLmC-xL^abh?D5R7%jRh+I8G4${^=0c3LME;~TL9FFMhZop>nMf6y4S-i@bhv=5pw zX&RNCDdqUZaqxo9jb!g2^n=(_B5Fq5m#3s_FhT`6jZ1VkWRiW&NGUjP;E$P7o>C`y zt$`%^`nEvd(A1W5(l*qeH9WZiZAhf)tQNBHO)F!Iv5eBr8}UQM(?z;D*TinUb1vhF z9z%}Rf`XQeC>Z4$f500CI^PgwivWlM)tPH$;-DbNcyTOIPBjSOJdZx{4} z1kpTJ_MMXY16CC*EfG};t2~s;L0gFyMuN52sv_3bC<%&0E6O`!8hDaO6rzM@%P{XH z93#wwUO;H%+h+-_+2VbUe^Jr|Y15;er#<;Vn>LZNWn1E8e^n#4Zl$`#sk9O;MX5eT zdyy2a7xYEL22$EatV}|_PV|fDawg94H^(;8vXW}76`8$~YMRdNT#mV-^CYp`dGQzc z1#Hl;LY64+{B_$*r)w?cVf|fNKA)qd6$VMGQP#3nH(f0oB&J8m$JJsPius0do2Ytd zh&fX7YhDm7fAe1O%z?QdjbuNT^pbueLXhtmBSGt~n_G|4WQhUzlxUO^F={0t%92ff zl@YHLf0XqcUC1w^iMq`r$%JmjYHgmkPGXmp{%V!XWrT8HTHbM@)N@V}xU{fr;w5da zhK)qjZTAaSdDdF7zeaL{E-L2KXbJa9+^ZRsOf3xb9t8zlktt;wNnJbRB%Y{g9 zoFY@TK}-5y2_RRPhVI;n<;8iUB!3CBbor34XPyr43ONaSQeFAF7?Zsnbt#fF;2nLJ z;Y4a(vUiJmeI;nWS3n@dI&BpFLVGg0rc=G5(W%0%ug)us#0!&zURFpkn+53d0$XN8 zpCqYL32kVC}1M@y*iJF%`$zVxhfBttf9dnqKw;tWI#Jw`tMak+Z>17UF z&$i^Y>aA9kIjGE_GMDR^8_C#<(-isIGuY-fk5EdV%rdSAD^4XjSnicxoYh##RzR~c zvQvu>@gG`cms!xuJ3HE%7E0_p+FWH=$2WfYz>=>Nc)hoJBAKj?Rj*VdM^~z484~50 zf6&X0<*GclP=a5U2CKPz+}zKt@MA%k=+53T`FUhGnuU~UngtpiK*_z(RC%S*T$3+A zp>qtF14EF^hkS*S-CaMjU~*E9WDXrqX_Lz@4^|^AMG(rYsNL~au-Pw1GG*IHIbHO1 zaFXa&Yr4I8T%tf8VezIGdrO+KhD9k|e>%IcU99|2yy@gS$-C|BXgWThPp0`D<+IT# zW`249_~qTF|GD$@_FL6p;$-w?R@uDbw!HGZ<$QIEFQiZ<$Q!W_d-cKWh%Y{Io!qPM zjLsjl<1fc}jDD{s8_wNQoP0PRos5qT&c2+q70ADu0U-w7`M0NUKnOE$yG;o0pm98! z@_*&%zv_c}RDZ0G>S;Zz=l{;blXv&wYKN9QFlNZn5KhI+60kI6l;#UGD-HcdG z`i@w)>pS(``e7&Dr@E~_*Pq9K;%9O(t-sXA-_DQQvwB?ruRf_y>$7@NPtMwmLp?v9 zwrxHCYf@j--_}skyP)#?;r+*t9|4u84}XVHF{)E`qx}z1G2cVw7ImC)@veZys1laD z^s_BxHy`)c7`0{}5sODvi5{`|OwJ_n*FpxG#sInQayZ-lXe@ zyL5Y>28BIo%=1(3 z=BRN||5^Xl$20B}M;|;qcys@q;D0$3Fl-K^DaMTKIjbhqE!%uv7;B!B3!IT&6OsUppU9ER(1_C+)?LS+8XTobT?iAghy}9@9%`?jA2Lj(B z67W09n=svI22EEiOl*kOA&On9bwiaq1^8bN4xhiiPcaALyIGWPO=xaJ%-{#b%$~Lq zcB{Kw0)d@k{?q@yx%cKa5Px{}ZYb#MRNYEmavZB^x55B`TrJ1hW)OwZ`T2D6HOHIL zbUOJf3qG3B*=PSd9nFvHj~56C^Ll*td3-jWf0NQC?>HTwUCc@}(oPZk{ewsE9~}r9 z19p#qoh(0l)$$(V2C#5?7>iQqP0@CWT5sRoe)aUNh&E*FaOvduLVq(l{^RRS=-FRY zwwzqqh8=B7&X;fS@RVi`-094`x$^R+r-t;$FPF$|0^KF;Nl zgW!03G;8IPnT@OH8dm&JUB1OR98YI+9#blXC!_8Gj=fj^I{q|2p7C4votgJ9j6LS2 z&)lvt*J{Pw?asV^FMsPXcYWqc4KcU7GwFflPVLoqQjGD0vpHZeCsFf}$oMlv);IWjdfMM6V9AUrfM zF)=qoF)=bSLNGZtF*iamH8w#;GBidxGBq2OR&^;<;vYRjR8^zOPqgHb`M$Y8b~9lhuxkV5Ujr3M1nx5dejODk!B#C z({7ElkT8&b(k?<;fm}>uJ81(-dm1}P6xck|7$cpei*%DX=^+WyOOm9I^pg}BAcMfx zyN*f&$ET_x;Ce?j3_Sm;Mu4wF)hJvtqZ)(TKTwUs-QBAu;9ee8lW?COswpG*=#MG` xpMO