From 02989acf7bc960440a39af6d7dde93e4e35b3d57 Mon Sep 17 00:00:00 2001 From: AlistairStewart Date: Mon, 15 Oct 2018 14:47:22 +0200 Subject: [PATCH] More Casper comparison. --- pdf/grandpa.bib | 8 ++++++++ pdf/grandpa.pdf | Bin 269657 -> 275977 bytes pdf/grandpa.tex | 41 +++++++++++++++++++++++++++++++++-------- 3 files changed, 41 insertions(+), 8 deletions(-) diff --git a/pdf/grandpa.bib b/pdf/grandpa.bib index 52bc8ef..469d73a 100644 --- a/pdf/grandpa.bib +++ b/pdf/grandpa.bib @@ -24,4 +24,12 @@ journal={arXiv preprint arXiv:1807.04938}, year={2018}, url={https://arxiv.org/abs/1807.04938} +} + +@article{CasperCBC, + title={Casper the Friendly Ghost: A “Correct-by-Construction” Blockchain Consensus Protocol}, + author={Zamfir,Vlad}, + journal={}, + year={2017}, + url={https://github.com/ethereum/research/blob/master/papers/CasperTFG/CasperTFG.pdf} } \ No newline at end of file diff --git a/pdf/grandpa.pdf b/pdf/grandpa.pdf index 4783839ee3d44a0a55eb9c5b4f7b46abb5512bfe..765d0d7ade5558f376bfbe8ef4aee06342282b3b 100644 GIT binary patch delta 68049 zcmaI8Wk6iZwziAAyF0dDe1`1(eBnt;~M^jrQ4sHr|ioY)C zT`cTP+$_u~JRM!^zzUGm;4x@aj`wI*j{l73WdC=(gyUx?6Bip-M+XW|8#ikT2@_W* z3m5R$_n8!sIN&u%B(N|f9uy}R_zH^Py$c=^049UN1II#=fn}kn!4r_^U>_(X6log= z6MGw16E_=22XOlPzpX~f<}Yn1v5ZXL-M`HGN5z*=O(x~!C}zMU|kqe@FX-b zI1UC0d;?7Y$pyZIBK-UI%rK}>-0WZh7;>;Q><4h*Uriu50Y(X2088|Kj41!T9yc!- z3ziFf2ulsNg+&Jw!6AV|V9CMma72Ian;V=1M~E!K@b5F{dA|?I`?rS&Bg3JCpWmZt z;68zQ;Ay~_?`>OnByb%Z3AhCQ@7drBxW9Jt3dav7K)?qp!xKaCaf0pP`QJB||9)Dd z@aRx{+~8Gs!S{|!D0~h*KHm2uQKev$wsAA~&tICI<6lQ5D2T+SXyIV>{-bg7adW4O zEkMzOiiyUOcbcv`jX0WBG?=nBv-MK@zMn1gYAETCq`21jcPCCqHsX|Da+vL%%&`R) zN%Fl1pan@6&anN4UQt%Q==4?}2^oD>p}p#x+Y-Z#`Xcivk+t8+2%#?Yy#3OEtX6H; zd73;ur@?c6_X)!%!M!rur@s+dLipr(V7dZyZ5Xp|=q-kE8sPiHl#?t>zlSe}was92 zJY;fLqbx2G%_+Qlv9~02ac8ohNhS-Sk=i~awjUNWnyCmgJ{W*gDrs3A-HkrCYeEj+ zIjZ)dXww+?!v^{ptLny*r>La&PxW~BMb6CU{L2`iVv_7-4SMRAh-l9@yL6en`d5MMJb$WVOc9O<1 z^`hiWT4BEnS>QHtY0|8$vEM-&M{=*pgPH)mFrOvF8V>}L%lwgw-e}*}DIx#3cX6kK z;Vp8!;DU(I*FXN%L50+wUUR7BVlWd#+#rKFL45ZKjf`Vct2V%C`t}z232y4U)Rg5+ z*jlL%vjC5Pt$u)%q^lG`24B5-$4|~&Ph)9GC9Kamr;pZ>b7*tjvc3vx34%}>%%1mp zx?YfU!2`{${*bA~!%U(FAz{xIRec4mo$5LAD|Y%$+V^~I~C&_wp zin|k(%n`C}cdr5?65@A5TLAE&SUmuLs@n^G{OC_jINUhay{FM zGrf(gp@LR@@s7zpn!$e-HFT9KUP=thWCVqT=nIqEXv< zB_v4+#mOL;ntkrRD+_&*N8bLBgHAQ@XD9NWdh={4mq0aHOgC?whx~(CHLWT2Hz?>K zIa32+B+FwSd>T^)%H(>`yl{-_#nG@+8``}kdqg>AFlk>-6APRCc%-b1f0}|kf4|fQ zzSqYW7jq#8{mi=ZiR-5RGH7+neU0BAJMd26V17U-A5e#y4?wc7vfoh&Z9@@}bhREZ z#hJ;dNLX6A5Y%7<2aPni%_S}^RZYtA5t*|RA&e2AX+BtZ@>7n2<`-z!8DTnq?pT(b z2DUmKWms9z6$*>5(=U97YOoain*zZ*BO&?KTmLImNL2n`b3)ezIJ$ zAyoobg=l8BX5olk{0Sq&@`X)N_2|>h@CsBq_bxf>*PFSQuUECWsA5-^xGs4_EQwNC zgX3aMC!D~-ONF|3NtwfIys&7Bj`dSwV)`j4oFU=xB4?3h)JbuFY?u0pz zdo9#jlc^*qz|%_lz3dxWk+#^SV`Ejo)8mgevfq(-7nDVs1guo4lM{G!Y=M3y^Qvbx z(S=Z(ixh~v1fZk*ug+e6{VZQhKE7bRO26QgoUKH`r%;UN%YW%%g_a0x>0u8l=02@E zOLAgvg&ViQNZfyPHw#wqf>uF}aX4L3KHNVz-{L?gXpJuEvyyZ5-W!2MG)5c2Pz?; zmYm$@Ih(1qvnG+1mx;mVxtXC$H^A@xq6+aVj})S49eFo*!s_|t#ahdHZ3-m5*EwV0 z>?gKs+h1Svclu2YJ5Y^#kH6Sir~b+MRo3YpJD0smRK!RAy1s%LXc7sJ#l3A_%ccN& z{uWuqDk9Idc!5>+BF2JfIY+a5zZAZFzymKTP%DzpMrk@Qt&Bg6M6oHWLonv8_puX0 zr&r1XoXWDj$I<>1FBF>6%gYO0`;;riPGqjkn@*=j#JCbRRuBOR!hT1HrLzjJF7AESIBs znGx#%;F+Nc+C?>X%`hL);F26@U|Mz|4(c}b7^wXSxRxQ)Y*5|)Trpl#Mq=& zjDjUHl1qi2jWU=8+~W(amt*wN#k6c2VQZC!guaU8SRJHX_oCnP0zY8 zio}o02fK_fIIbU4Kf@@J@G*fv4Ueb}<3D=X7i>pcmf>G1cc@=C=+<-wzdDlOFAy*6 zS4z?+p^ZxUb1IC@V01iamRAItGDp3oBf4^%xcmzJg8`aGnO?A;s9ur z{1*5Ftr-bv(AO48=i{;gSEiOMlDbg7JX`&_c&Wg_or1EFTskCjA~riQ2v6$nw)Z8r zS1d|j>;>Oqx| zy*D@!t;2sq{gdxu3{{0LUh{y4y9wnPUdQ?k07fWeCPuJ>9CB2nhautQM*;j3hh<&Y z0K&)BCU}Z7c5#78VOScVD_;U;m zRqXA^WsEEVLnJ3`Xm0P+&D!e_jJD7H%Us(Vl;mwGGMEwvJN;-M8Vl^ykAeO7W4$U8 zo2rGYqq~clg)0RIIB1ogkmD~hdhZu=aBy^UrO>0`F@PG0MqEw?ugQ;VJ%od?SMBeeHONXRK%XnGQ0a3E6ho^Ovn z!^KEn`|dr6kI&Zs-VmC&Uo?8&veVQ5X=8A>ef)G+F|SoTIy;`CwK!Bsp4|20&3x43 zZ2oTD!O=ahOue*?y!s6d`DU+|s>1 zUvY!xM$AN7C_S2BH~CMW{dW(MxF_&s^eir|vl%Fzc$7qWgb&gX=14+)*|!}p-F}gs zdoQRXa;D zA33P6Wh~H1c`HX7Y9z)DI$*z68OTv4HX0DRTYXSJJ)22urdQ|L12Nu@^I>+tIj>^- z&VG_5+SyE;;PfR_l132xO#D_ka&B*+u`?3};jpGbR&*$3)hJet97`mOm=IEm0i$7- z)v+yP5p~2*ikVwIEL8sL&xwy$+qJnz)NTx7?vQ})Kl37u>!ivX_oX`z7P}t41`D9_ zaO86?b}5Z^5sb1F1)NH~g@N(Mww{*y6Aw6;!?6sk;|7Q)7_k|tVEnm}s0;63o(?&9 zip0(OH&ivN;59QV`$>lp9@~OiA2~G*E1U9Bqp6+_)(UlE=cF&zq-+$6=F0ku?v!i+(9J#p#3wioo+DxU{?pVYMj{Jl<^ zlo~a670}y2>;6Qn|F(38uj6~b&(l3gZG$X;YGE7caojk!c~~@_403U+8@qwo+Zit0 zCGjMRx225!ick!LzJ-cMB2NOU~U^!lR`2Q2uz%S8595ZJdc9CU1X;~T)LSTC;vT4u9X`R#3BjjyEH_ag*;3=!EVai zY)LaIG?Sk`=iI36At<8KOg@CS%@uC#_)@~@B=C>{8}Ubv47U#2oq-Y5pHB;^h3{~2 z&Mh0^69H_A|IC^Wd)nJOq+cU}QW&Cl99i6>%mw&|Hz`7*d zIzn31k&j;IB1gWm-+3UtgP*&CE?|k?>$}{Od8T`RwMq6NoEkQNZwd!`I&Ii`x;3U7 zf=AD?M|f&jqnco*U^o;+5#_$2xA{qt2?>tRScY?NhjqrsdcdnJRv!6tKvdLmdWQB3 z(FeS84oXRba=zAykcafl2P~7QFCC7siL#Z7bqf%#)~??7@~x&Sfy4({Np^wUFp-&wRFgabV0qaoTE3PoKZ}PdKK+ z^%p&Sd`vEtGMFk58w}0?vpnB!=E-_BnF`j_>hLxIeW}rtphK!NPK%*KW-Jp^(RPC0 zOj}oxiXKpaUB$RJG3NYjgBL9E{n75IZodtg0Y{oWaGvcX7%JW^f$CRq;saZm@Z>tB z(s$kR7~0}&BnEUK2}<<)GDyGS0TVJ9!rJUstG?w!LPqI;3mcEzOfLXO&Q`k zP*y%1M#{K;bc({LotQ*#Wqds9ttGT9_4OF;hN>}4aw`w-UUzVr{^+Kb-h&FPtG51P zImKuu1p1R*zJ;R}V^Opf#$CC2A~obx*hGy-wfk9-{IaS9R0cXK5u=W`$L2K(n=Ve* zL&I4QU%mP|6*fND7vKlv~?67cX!&0VOTnx ztciDnD{~&H|A|?WIEFCA29$od1x1agp+u@SPAab=4AU07g%<*m|0LZT<;tGW8cec9 zUBUVddn8y4l(;!(AR_AKPDU6xPRY%?78I@pZSSa#7SY5QVP?2j!@?M`4-N79A&oS% zo6Ou-e~b~XEDpTJX^+*H)ZfJDe`zSU0a?X(MXh{~7PSYN+uZ_gBP2rNtnG?^T?xYs zYU#l|Qh89uc2v4UC<$N}ap{A<6cOM{Bk1^{JJ7!Z%6DosAGEkPF8KO_SHWOz{Riut zljv~r?Z6p}_FBMKD<&cX$<3u(3Qzp&_CoMMwfm4!F~((c9| z4(+ihZVtS6F3_`+B-S9 z%?6^p-HIORk;g0(6;?>WPjCfvObs>t;hh`fO&7?BJlKrX_& zwbLn^(>C@lXM>$E(Vy5~y_>7ulb(IG2!-)NJEZL5YDi<;SVD8s)7$^R8$uL_>G>$R z=3t4vooeqBVKDoBT(~wy`IW5@qf_)V`f9qKgX9PcA;dv&jVzx0SM7X49pW!6%A@#x zF3_lR1D4Av{i@|&l3DneoM!GarQ#Yi$gh=zv^qR@<~WTpTMo8wg4b}eu61iFqUpwK zZ4ihKe38wk34{7ziQxn!2u=C~dr3<)|772SP>5WYut)N>cewYO%84zTYfb18pFY%lnU>tpVC#d@c zE|yckTC?n^9o9*7izgQg69nj zYac^Zo)uHX+gHupdi~*BNhRfcLZss?!>2oCm}6@KMoK5Cu)m_A6M7uZ=mE&H9GklT^}xw)E`8z56QTJSKg0E zJsi=W(CDCFK=msYc+oI81AAE95Vim%pV#IfU3QP%mhd4fX{n7~*IZkWhNF1gSr@}K zA3;)gR9?_?{enD}+x7hL3Fb+A#KBP20QHjn%i+YCupsD`r;wP;>L-j!z{Ki~tER?h zDzLV{`xQ^@tR9x15%PF0el4Y&I-KOm)$^<*40zV>Z z^TJ|g5u!q>vHU4q1<4F#j8;r@?3kc`9a=Q@sOWlW(?g|9O8cX0y{OeSu`6JWJEiO@ zeDi}YexuX!0daG+94h_i(F%;N36QEbR-vX%=ANB9LSwApl6#w+%Jt`sQM2a*Hf@=n zgRpC!axv+*!B05Gtx$lr;oDh#7A%73p_5%stw3eJ4HCvK7k~>W%MQ5lh@friYLH@+ ziknR$6Kq=XBW;X?tnHf;4V1cb)iX3-<53cB&n_xH%VsU)Bbj&JjgS4OJLF}SbT1~O zxT=2VO)|YAFX&hy!|WFzS%!G2bh_gu1ZP@{>Af$4f#^qEEVg>ndW7XeDc++Xuf|bs z#|2>r&Kn_xH$@Cko0TC8`COa!cFBI%MGqI(?rXG065_|lFt+!9TZeWvCO-a-2pP$R zEOnMw7@YjHN%2>LTL)ceshI7X_0_I5u~#r`)<>zdUg@>uo>Q0L3Mk& zm&{q!A)bEIG5o^NCWaQ#%}2H;5EOh|_B@G8UweKZs9_qZ0~F$BPTZbxXBIcT4@9i> zhu%Daddd65-_t!8XNyWWe`~>f{<-}n+35N9Ddr8*?^lv0`04`=SW>`%;D0eU$KU>{ zD!5hvKfR3z5+$9K5E2zU;2;gMpct_p8V*dhRAdr*w9mqK<@xUtZ*kElz(R80vXjJf$ zAU4={j4++<{GSFqfQyS2z|8}`7G#kA|AFBDWaa-&#DIU{@!xn2c2;4=`L`APAATYr zU3dYC36x7TlC}%Hp46KEtnb(w`*~#51Z`SEVk#THJ>Q|bC$;?B?}oX_D{(cym;Mhr zF0Iy^<~nF$;`vK`M#2Gik8Q`_<4>rV&dHQLEj+YJ&VKe9i+Jt=k&-J_8C*0zd*uchx};D6KboCu?L;1pZwkuD`|Xw zjlo$h*Jm0&L5t@O<&&pHS)osuZ*11=3n6Ha1jMX&@<>bHbWg?Dlvn`oMMPdtSX+E$ z=YCAO3LmT)V#KI^iUHD-#`VpT)8!E>J)5^~?%WE)Li8i+k%cRz0U_9Rr%MiI%+W%O zXF-ZciiTO}X)Z7=AX(>~6q$X?#gTIXG_9rj*ztGhh(4k(kGHGpyLoQQv~0)BrC~}q z=C|E^03x>aoZ3qRCWh%UsVVqBC=GkyIt+PA{R(1Vy1(&ky`-V5(#Yvk?1ceFK(k*O zLf&VWqFv$20lDY^J8Q_)m$cQBrl|`aAU*`ieB4MQ0mRSX;;PK8b9Y_IvnUbDxv)*k zcDlQ*2hJs(R^%1-j~%4s>dE~Ysu4K?>&cn}{Pm$Pq!0O(^su(0%ujp5Yy~BD2@`^` z*i&3DN$|?K!|-+IA%3Jj0c5LRlGP!%{Llpv6D`~vRyGQHu{R-%xpKZmRDE!j1T9y~ zD!^p6ne@*LoBQIdogGO{k8qP7_O$n5XlOWp`oZKEhJ7T=)amzFmGt7H$+78Ab|6Q1 z&0|iuR=?1)20#+fCM3(LI?Tmu;$(-vvlPYi-(8eis8J1i%^VBFdEPF^V?XLOQr>Yw zoY$sgX(=4AJsICbt=RcA?{Ktw1Zt;>%>*!Z?SL(YiEHR}2(>gO4itA#-1sK058Gg! z(`)8%aVq%MDuMjJuJKq@ahcj)G0&*TzA^XoCb|dDxC~gq+EcY50Z>Is^7Z!9iYray zyP3b>z~wV<+(cT$LH3>$GT`v1{2-(>@;Yzf6UL4(j`e5<;3p3vS=7XugNlD3(HQSA z267h^#fGCluZ;WNWfYs+kL+6+A9hLhJwRz)6QlX5UfJCU61h6JhN@}(5=O>S{Yb(L zX3m)kAx3*HG9x#VaS{Kt)mV2Oyvn-1CLAfsBE8`F<9M29^6@NZ{hGHDdCW{5n?3uN z<4C!}^em7n`Zzh3y4viq8-$6t?rxvG%sxFBaY>_t3Ijh$;w>rgb8i&=gO!9R<#RWz z)$*3y_YBE#B)x&&{V&a%Hx8NVl`LRmC13kbX)MpzyMZ`~Kb4Ii2Ae?pQO-xc_q~G< zGN0KZvoLAq+}fq64^j0JKP5V(MC?ay?gi8NVL8mw7SH?vug2D*y?`8sYX=w^aba*R zAoa7kTLn#NEOMm@d2L#iAUT1Wbu4E}TQ~PzrCZ9vOZs-=cdm>OEAVzoxTSxT7>meWHT@*V*IFA3& z&nIHeBJ0ZmNahHMRdSGJ05a?Dts;p4B_ zcuP|(B9ANIafsZkRSDnE`qn#sK=vaW&cchYq^ngJM#ga54;LVIAH-hbAX|F^`Hk!Z zDxR*VdwaU3k%st~*1Fm;5r-GHoFbRnI3x+Dwx7I+lyvxPyiu()R>>=ZwTUJ5btl{C z+c;}8LE9ij#zd<_uBevG?>hzGB}r17fwrx$?aw1i^rBMRmlOAQ7FCWYCUJ^B~rc7?y_-#CMtEJ zu-PTOmcVqt;Uw^8$w2>M)KQVz>r`(i!bm4icHv0uKBS<-EpF2_02O-)*cMgbhXiw0 zd?kx|v=s|0)9=8kd&wCX=39RvhS%yj8HyvBHM!qIQVcRG01%cV8 z=Y^$cL+IY;T2P-RsvT)hPN8S|=7uN0nHYoPEt(zIpA1WpNH_5Vw+pow=DEF(nX?S( zIyGCOcWvRq7T=@~VH|^YpZCM9KK-UImTwpyrE(QCbVe11b@IRf_EcbQu3 z3+3k?Zz}?FcsmkZD(1N~eX3DP)L(`yZ-Aw~VOZc%OgEUcFc z-EXL4eOjif$!5;fdOYXtuOkJ8YwGH;11jb=43Z`|6z_CnthjiR$Fl%PkJPI!hs%>I zG31zzH)slA49n=SW?c-Zx>AO9Q@kG;kVPqKrWSy`Zdt2)`K8c+lq0%W$S4B7=3*u6SG*V zUo1iRO0Y4#m>#;8t$qb)g}6546vN{b>TM}bONRUAS0l5;G6eP>HD_^t#4tOmLz>%E zhmow;i7~>JQ8rl%VTsT53=bLMs)cB_v78|QW`melHa1yykl!Ev+LWQ6DyQ|NZ^b#t}x6KoSm{& z;1$z+i(DgcA@tiS;5&Uh@mAYwV!?uLl}6tPRrV}IEixcA7JeOAY%*-7z9$nv7f86Jz6bL<@ytG!}xSx1-Z!((lab#Oa4TIKysoKLneJ1f{DZ-!9kI1O0&ImxA; zQOe{+@z|`&&+DwSz5$9n%kdmU{IKtfjBdPVHvKasN%zrOPcT<#E2Qf7h$ZY8j8no8 zJNG+5w_v>l)j%Q%Z?>)6{z6*r!V+j8@$%{PmtX(n1be{JQGoo-;BA0<4pq2d)CL;9 z)9*9Me5pO8cns-|&mWk@Ew#@d%y}Z8B|aWYJm$7c3W|ODXt0qou3=CGTF=t0h~M4V z4CyDJR#M_g}-f#k4l%5X&m zC&qpe8p3lBq&}DrTY9EJcZHoFel*stnlCa535QnK&lfyXf-1 zTqD`!rO$XZ2C>kx1VEo}X0l}4<=IuO)hKu9R&vJiu*Z^$FL*WGbR9Y?h4I{&T+Q#} z7xASlp3q~Rm;-TmmF?GS8EF5?_2f7^i%FSRAS=Y~a!X(Y7fqHN#6K7NyAN7%X&rsZ zY*D&<*Yv|SlhW6HYetm7%Qek<QghQ?5zM3$@#JcxgF@{Wl6g@lA&T7f?C|NJA@M^ZUxWiI=XJA zFkbv&Nswre=r(F4Uou{v2k{8o-#&bRyH-e-ckze4-vD7iIN#maGR8q%trH8U0mu3! zYD01K5Nm^xPx+atO!cvskNOTf99Xi+%1`+FqL!PUDVkPSTykIShA>IxC*B{}>>cG> zHM}wR5Ikb>GA&&oNz;h8P8Ppd ze3XxaYYkmzv0H9P=O^PgpaP-| zto$g@M?2D)r+Cq%+J52OUipyV=b6d)aL$=3Q^}0}3<|5@`EAo^0$PMidvsuu$7(5Hp%3dv(Wz|eUv-Pv!c{-M{+%q6Mx!#QZ%BL>6@tD`SM{Kic3r&tXB;#tkc}_6@ zQWCh6hD=NmJJ+DEs691I+c1>m?~)s2OVvxwO3$~)D&Jj;BXYPFYW20=k}=NpnL|xt z&}gqI8u^RxpX00gH)vwEDCc)@#|956p{9SkfJOqdCZga1{`QCe%T4Fx1uG|hVE^B2 z&-su2%)$AO^K5|hA8FO^Y0n&00)J6HIe;C=%EQS^!O8uO@mw4fe>vbh@2)*3&->?l zTJgKbj`2_Ow1l|C-)YLi!eBxrl7CtB?+Kyr_zvXZq2T1;V&ww7Q#v;%>$`o;$q8WP z1O7e#FOMF~tBn1g0{m{zgVO~uu{i&6``P|wsdEFl(?7vN;)2HnF>(JNV*nr@D?2;* z>RmRdRK~>p?}-2aJ1Z9#FL>sCbzX217+?SYy6gX?CH$Aw{$Gate`^T<3J$=(t#+RG z>woJC@8|os?al)BH$g%ESAH^(o0H?8{NxD%1Mp5$(#0$84W80E+D8lsvHg?L?C9K% z*4842QdaaPa&{~kQ%x#5n!SxbP;p$#=B{hTRcebYmn2S z!-Wgj-eK!tE^%XnA(i&mfynFw%UznB(6rfV+&n=ZLZ=Oxx23|3kjG1vtnm8!24YUV z;+;XgiQ>~-en7;>RKXnMdD&{9pq0_v%lz+va%V@v*VwuF*zf}sJA0tCTLN&4{M&)7a^RfGT%@xR_HLWV%j1p^R}$uPfC5H@6wiVn%gzDDiyO}s zhdT~Zs-`^4$g`_&V4O;(QWKZitV6bk47b2GH+jzWFAZ zYo~(zfI6Y8;Qf4BnVj&u%6(eWmji`Q2iQ(^zw)>P3aI!NB&$AWZylC(#3b42(TE<3 z&O{P)Vc1(WxA}ygF*7Fl5nv)<>uExhK+4{7T{e{n59U4D3IO934+#WbBIPg;Xdat#WG7Zo9Y1(JU$D$XByHZYyCJjU^oJF`xPeYkQ_S_Kq^_-f zp&r&HDX@axM5lr&A+9|jyc3!zP=4zQaX0c{kdt}03U#%oiG?PisQNk*3UGdL`5c}f z!2{tH$rvMHOMs$;puTAAi;Tx}I;2YwB4 z_|&){3{P~oK9Z?#eGh6Z4)BAKqvgviniu0iGipkra;6%U6}-qkdfA&t-AP8FHy@WVeus(5qczTgoJhvU1NP=irKn0=OFR(4acmHfz5BA4_ zI=YB8fj~xK$}qWHnRzYb<9_?bM!eN1l`e%wwLRW-)(rg-|CIF(PU0k-|81)uE-y>w z$twRim-0}TOphGS0T$OuAH@>hY7;aIZM_7&wLPCKkSXO|R~sPh(iDI%>Yzo;;Ty$m z8k@DVoVJ@R!4Aq|xEFv%<@RpTk1%x^P_nX@bWz^jihZ6ET+>G4sEM%3(H278(IBo% zj=)cd-}7XC`OMLpWXvj?i72}fC1?67e%f?GH1D9S)2z>CT4W5i<>jFw5MIJ2VUFJYHIe{>e357KC-^PHDFR+58~K}^3w{T>#95C3?Hw~} z+xJad{iS`7ZofnT0~hj z4VqsYX&4~cdwW55xIqgDds${g&Zu@gKvG0rlgFf=f?{7dv_QMbDf_2FXsh2i+%}eB zCF5{DUR}40)g~!6C?l@jlT+;2rh&7a&;;6TaXu~=^?0A6=*+eE*$uTsy>j#T@-xDy zI79ntrWb$7$FU-l*u_Ute`9iGKmAt5H_qmg`&-WNfl6n2niv`~% z6WQmitJ^&gMQA6%EO}DV#mxiKw5PAyCfvJMH>;sSK4YlkO>6BSYrErM--%+32X^n$ z=`?(XmY01OsA5>Swy;UQOJ!z;9uRnw!ZwV!65AQ#W%{+#fCps)yJI2TZvbP1cT-lH z;1Uk>Q$>nzgt=;+y91Ls;iD7o9^Rv$3qeXx&A%8&%=k}jjqId zlI)K+l44uD(~%!N1*u9(n}V1dK5Qz-6^9ou3V9>A>=Mck1-5$vw=-e&TV*f90vAFk zMr}?eWO<44`q}?D`5>4W%p(?rjVbIvli3S{sv;qQF4Lb&VV2NMPpRRcv~eKpNqPdb z@$WaWDPyWSH|E7S^tGD3<}ep7uK~d%+&K>_0ZCe7cWZz8ocN#ka-}v$3TEz@mubgT za7Mm2EBo520#(QR;lC_R;|!c?!;x)tJ%bT!j+1WMpYxJtxgOGOqUh)a0JLvv5Rq&a{T#lvfRUmJ{xYicQVBVSBw zkC;94$5p^?RuK8+;?QraCklRCzBLeTr)MAxcW`wcYMkr{2PII#(|or}zzyAxAc#XN zD+phQ{dgxfd!qY5A_Hdw8upie`y1sPRdM?{x2Nuyt!G1xZp_urNr00M>ci?Tt*F@^GyCcz{@1MPECnP zbB8)?D2!YF84QuX_p}Ctv?63|M%TWRJInBjX);xXI&2CEnwehldR^vn{=)}utV`BV z@;ApM#9G>FguG$ZT=zH{c?WgbNqaL4 z*y0}kXLQis{p(bf>QEP=Pmcp(%TBT?eyp(~*-lxdz+=g`uJ#L5tQS&Pj%HsFluN; zXE^;B>dj|&Zi9{YC6{GijN0!phWbL^YiGAbvA8-u#$XEtBAribAt!|^P4tfYE4|eM zik&Vs9eVNoH(7ddmSC*IDpV1Ia z&3&(=uxDn?I|izRQXqL?XpT@*_wY&;sduXmQiR>5uD@piqiPy&US9meAB<5ihi}A? zF)HGu$3aUnw0VTI_6oC9JPLSXOJJefM)C))299hy>DY*knGZDw=_Avpy5vL{Hs5`9 z=uSag4=m6|g)_mIWV2%AF~3(mF1wO2Ii`?~nQqtW3qEErXMsHO5%FAz<*6NJN@4CR zT)+ES9|1V+lND@^@|PFVdJ=xWjmvPjB2CqX2I9O^n=b)^@FL-9Lau>R3D3 zXXi9AAUu~p=S|LGp)B;GhfauBR%R5be$otk>+9}a(U#AFJe*-7^|1^iD}d#@{Nfi2 z&&F)8RqjV4d;+?Eh5lb`0&=(|g0%to+2O1t@-ykq6mE!B?ME zOJhwEMkiNdV$q$V$FY6?O=AXxJ;3wo<-%P}B22eq#GjPnRLqUP^|=Am3+i$oq^%B6 zO(IELY(7g^=6vpEO>EXf`XtGT4CzFr8)inlqg;VH)Bu_{%scDz8?(b}PunT7n-*!` zAUX3Y-rlYz9-ksC7NkQnCjMUK%wcDEo)Ys^t)EUsGuDq&6Hy22#^(s{>+M}x(yemL zwUy*2FBVTUTYg^~$U1jJf@hU0?>>E=os^vq7t)HUGd8SF|G3boEoHnRql|hZ!B!y@ z+1E+@!wO`y%F>uci3i-%Kw4hXbM7vayjhkC%|*kj1zngr<6(%fkVNIU^OKGk8h?ek zDFX?=$=Y-A)z)WI9E@2%Mk@yX7-6Ikj~#3$?#|TDx{wP!@i^!xUo2dNDVZ-X4?ycE z!u5o!OT2{?RY7K6{C2S}>6KWl8u@cYd_&a3-W+s<&r?GiW~^E-3j_BcVF)0`!A6B% zp0Z=K{(u{+O!55;e^+bIuZskG>47OM+G3ReyP{$Kr=23bp-HgZjXrBe;DBX6L@qyT zS95Ig-hrje*50xvCiD4R97nxwc)cP4$$(OlBrJ`h+qw-U_?KCSm~?px=Y;%C{mAdx z{TL9g-DlQW<~B<-h6&Z{XBq{u`B16&*7fi{fYc{_N&aZ{l)Y7tPezpJel$r#ArH30 zS&dQ^=C>XZSYXS~(akm+?rt%#t#?t>oU3Y(3ToeqfWO#9yNwgpbVo=VV+95qeiI$Q zW8wwAFaTcm_|CcTIFwI-`;+dB6^)84lQ5ueycC_p@aJG>bhUQNf*UH9)F*w_86{TF znD#~74`zhy6N{r)V=om?`cc`-PkgAD)oB$}-}b-7M{cpmUyAOJ$-sCm1_8d`8m5)c z*qY$MlDU>swOQl+tQ60&`WejRTnR}jqtUtDJ3bpChu<>y1{dtf*_<9r5elR0->Cu8 zQFEO^kWYQXs?yH=HR8gc>g+!uqHMr6NCfWIR}s%FT`uA?QhNMu_S>8B7G#Ywd&t2W zDSsP1z?za*GwBYjl`Ccz!T)TW1BW?O=!I(N)p|;boIh*Jsr;#3%C;zDtIBjPQho2s z#5olUQtj`%b2n0^?TK2x9|G!^DsN^WHIcaarq1@@8PV8$D0M0Qso+=?`Pa5)EKinY z<~kStCwLNumUx(b?+WA>#+#d{N6xm;FVENG39FLRh#Ce5R;lnQ)v^XxY&iH@`SdRq zP$}g2n5K3ChY$%L$0ycCs1)2=D!z0M*@_)8NppO=K??r<#ZldK3lPgV&c$s7vf)Ft zP`3{XW$Q7gjOK}w%9{v5+nv7<0jnL@8R5`*r|~g4C+U5aIesJVD}ZcgF#1{O+S>&& z=m-Azgj_R6r@2KDi7Q{R$BvDofg?%Ldzbm@nPsd0Q1`8<)pjI zn0vRe)q(24&eNLL?i`MEzlJTxb%&NB_s9M}#O-9Xk)$>8vZk!q$+#>aD;{jBu=8&y z{E9M@xa-2-uNS9gD1Xdp0XU>H;6qm>aM#YVQe*S@~Z0P~LPQkvF@AJ*Z z20AHVnB)&erG(jeT1lf)Z84m;Hy9JtUaERPm$vxDR;)wzu)10+CY(I*if?Ti=3VS@%SH^CIpMBj54Jg zQTYG7(M?368>ew(7o*j><_>kFiv8jBTd!Dm>|}SC^TCSIhxj?L4}{?jGXvp!#dEJS z`nx0O%E*^s){okd?H++W&f+e*HB)Xq$B&?TZSWT%z^{HHvRH7l)Pn}SJ}<}+;m05{ zXH4jzx{b-WolT7_TbOEfQo$r)jL`~TO3pCBy*mQP#)B>zYPO05iWE_zkmkVh8e^kA{OF;fh)q8)tz`LqP@&BUg{Zl*gSE9{(aR@j{h!`wb z#r~I)N5;X&#|q%%rr=?J7tDa~3LZN*D}aZBhlA%`kNY1X4*GrSzr{aN4o*H+uJ=?O z9^kuH_m|wo&C2zDPayBR7Rdc~d5xSP5jNm2&F!zZF#MHD^Ii|b0pR&t$SX9(V)$1n z%fAb2IJsDP-V0&=E}!{N!SQ{ycX961{}t!{OM?6VR_gwi-Tp^|`%iK1eS;kDFI;d| zVM;$efkyqeBnRN({aE@lUPtwU|I*BC+7w? zWTZykXdG+I-v0T|&LoWubIfgyaY!Zc3`WIw2LkFi)z0I)mXIW(*6q|!Kd4eF6=X1Z zKuxxeE8E{aO;K*Lzdg14`#AcrFy z95nN?u?Bs64(-ZsW@TAech>RE2L_e&Fv!n(;U;Hu)I8M6f+~3xg?ujBm-gni6pPVi|5{v@$Z znDN1Yf<0ku?ByvZ)02#l0A1nHqg*#GCgcFPFViAO=`$Qf1%Go#Bt_HPNWrqr~L*9~^%!ayYH5G%0v))m=@^5}P8G zlj0IGwLO2|t6A!H3Bw%bfs;LV<15mCO5@0K8oaE8^Gl6+Cjkp> z&${}U=ylZdMMLP-Y(;_?o&i*j*&GnZTpFDleG}?x0APHpnd`k0ryUPt6o|0WbdM6&- zkjC!{DBfY9wLYA;-l4PP*gUBXJMPnM7orlx`m7O~v#9&kKC2mCKKiNhWm^6z(&0@!x5OU48KFiB6<;gx-_-TTjrk;D=iCv?lq4Y z#O=?ah>gA{5AfXpIjNUXJN73E7R32!j06J{mTG&P=_Gxz0v&Lo7Zd)fX{0{k4Mwn? zc>A9BtY2Yq%UGu{@2EIu4qs7(fn3U?!JaH?dbN}TeCC@zz)Gi0Q|-G#7=F=4V{U#% zJVn^oCekQyZKwUdv4lnC9B)B>upVs|c3{d2_^w|&|z@XXin<1 zlB|Wm5u-*G0PuC0rJK(u0NfYOte0C5Q}=HW&pU2?8K8PniguM1)P5BW$~9t$=!iODI3j#dn360 zF4#ZbQP!-zU46&`+$Yi`f6ZF~CZPzd)$1R&Ud*Wzf9>^Rais?;3dPSLnjTRDLj6*| zn2GudAg=TIHS7zSUQfVE;2GohF~q1I!SI9^qw}_!x6CZ})tEP+)R$C^;4Xhz^0i;bwOQLp@b;zxW8l4c;1ns*;xc+6jvJh9Odz7*sOx z7Mnvf_0&rS^en1=+95vWwISoBOFpMTVx#6cHGrH`M7`xf6Y2Vd*CH4pv7Xl`zfQ&# z8HR~=gjEm_`_)3@=cH!dT3_6f+*A{)RGx~-we*GrZN7Xh$fVn9U{0<@RYpQaG9kLb zCjh3H_hlG@Ee*`dCJQB|Eo^X0CSwXCWyJJo3CkBZ)n=Vo<-2AP}UY^uM9Mbk6$s75i_sx=!Bd>(ZD%xMq?agD7~ID~l#(;h{kd^onU zIT|>k(;lk8D0YsYF68{V*76n)oFu3`A0A~H8z_TPj#5{hZ);VV)aqs!`$8U(fUbu0 z#cqVksKhio)&`-qaw)^HMv(a7++p8%tBb&flO$hOt8>&M zN*WnruUlZvi6|M};>MCbdy{~`s=i)8P_!oIoZltfdj2t|$A!m!a1i7^uL6GKZO|LR z25)NGh|GW;OL|)exHz?Ik!p$_OHo!5PwA(S+5lah>&47yo9cj;PrcQYpPz6RQ&n$l zACwBF9fBrtcDX&}d%Y4>>(gn%UkAxzM<-`o>ya}Gtj@^FT?HEJiAu#Kx%N1+jxy}P z{diGJqqb&+aC{b9h!v(mpndbfB-vJ^T|LC$7544ERFn`mtpD=0UhgZ-6QOAMQVanG zQA_t73l>V+&pnxG+G|q_f*-9hH#fJ3>tl$Y*l>eF6$pj%=i8%K8DJD8XfujR8xjU_ zsZ@!?P0C56&1McIOuai^{GdB;5>|0{ZY}Y+aS`dzYu>z?S&~j)%_LjLtoyFNRMrn zqNX1~vphvURK#=J-*A$_EHktRu|<=}KT-L3pMgNs@e<$tdzx6RagV zwlFTMJ1?2D^qqDp)2gjXnTkhsNaIiuiWPDBE5CvBF!L2MH_6d5jbaU zL#24YvI{BO(dFbpU1@s=eJdZm)~dkT{v!9myhw;- zkN+E-*UOzcA(EETG0YDN{x(m!>jxYQ^IkoT4KE7Q;dk}ci+HPFu&kIh>gIcpgty-> zmW5oae(B0cz;d*=YUp`8iM3+pYS^HHh(I6M1^Ee~jS%OHP*QFoR6?64Ot)vM;aTp0xI z=@j}wX2akXLG7SzithOL2nnhx=EAM#;29XZ+MOf+RKhccm{)k!=Y;QnPC|bkZpDLI zoi_HkO<{sEptJ{z@%wYqaU?Ejc3|7ec#v^b#X@r+_p`%&QKnfdX_j?qK5t*vnY~8# zlo`oD2x`Y4!6(wFY?LNFRJ-K7AL*(Zc835?pvzkp*()Z0y1mFafa%5Rt56 zf7m%194(GFb!s(^Krk|RL4hrt{l0JSh7C6qU4pA_jh~fPnfl7KJXyJ3H<7mfITc8| zwf2*IOKNS^77CY0lWNcDTVpQSmk=%KSH75e0iCa|GFePGvc6WOIps_x&1372zTh*} z!h=~Otby6f1O~oBY1G!j?-2aG<(0XDEQ)`uD9|(WFpW<<`_r`!> zb_LI;ZGX?ymW4JMPTMUEy~7Ro;#)gte3-L_ZlV(7LNQ~w8%@vWr7taKq(U!Ax)OrS z=mv!I)o}Zl^|QHc>D5p4o=Qq2_+SOUx40{k{aiWLZf%DE)p6sC;&4W!6^z7(=avm@ z8Wd?2@v_)WVPd9T;6Y=mn7|+2Vo#(M$)Dh7y7_;a(cUs>Wrp`x2aiv^;d!G}M#mim+8NX+Bc@2%t+XU27- zIB##InJPcf3hNb~YsGSyjuh%6o2Z)A&d1(@O18CTENFwPn&~nxK&$sm?#reC3S*e9EUb|uv^!+Si5@hwUWPP+JYZQ znMwULMSs*6Hhw?sHiXw?N6Db}4%%FUE7@n7bY_in{&ZD;a>n@WikDvKlpjQ@SzL8* zh|{kkKZZ$LpQ9Dr`R@LkJm+ClqcEePLMyqcfc&R}fXRMlk+^SF$E*c0Gttfh9gMR# z8pPx4^C3x^bOj^>y_2s;Z2Fk_Ii)*yJz6iz=JC>e>wJjGQfDumhe=c{6qds>Oy@n( zZ7~*;h3zPPGER|ALs1kIpP(zrrIgI$ZR56)t@(&MUUI@_Sc~j`g;O1oBuk$xyYH?r z#KbuLEW9B;b4hA^ih1LI$|Mhz0+o)!+fEB+w)LMhw8qeq_-8k8kO=oY1%HKVRQ@{(7PQJNX8hL&MF@ z_n$BAP(iCaz`vdSk!u6W`S%})0MEaJ3jcl_KNlMZFE4n= zf*SANc5!p?K2{cC`Qw0XEzrQ3U{uh*fQ3I2eg1$C{y-W2KLi{9i84GwEl^U9KQN1b zB?m$Cs=(fAPl3GL4cTgi7$|VdWUY+%uvd(D0>8$Mm+ODV4UhMi>i>XxpygChs0Z`+ z!2OF51)SrJ4<_|f0&|!v;XpB(KSu(}5&4)(_1+H$zy<4fH4<3q~-GB^D6c{9r)~Hu}~1$bt@Bm4x}Yk{&GlL z<+cCC*3r=3ki56Gp7B(VQM>fqMWoAY#HMzo^w98#9dtG zvB8_pX?J5U6r<+4VY0=>S;y{y`5KCc#@RK8%f%0@mCmKr&NR1l)H8VQ0fqgQzMVS! zRa2EMt!w30{V#>%no*4V@YLp!qK&PrQ9H3yY|@4B2yB=TK?MBrjUbu&;nNg8l6M+T z`5U5QqSZPFQ+|pEdmm1%I$9D>kRZDJG1@AOKGj4^mh3@_eJIVu>EUnF1BBnT%C@xa zdltEWYt#67Zo@@Ceq6jo-w4ilA$m4iK;&tdzELge@GTS&xSPf~K2Mf*7*~3>7|C3( zh+=_`hZU*o#P;RB038Y}bp&yqD0U4@}p zvt4^LtrBhz+#s?G8c`;5rOmpYIK5TFIdq?+p7dRc15U&DH(z4ll$x`P&lSa`U^cJ% zg#2?a!;SX`4}KhqvEDhgyq*^oal4sV3YBN)#Mh)$lK^E>J~;tB6Q8>8m_?LNuI7^1 zT$nhFjBQPO< zGy;EI79A)%HY2tbE-ZJqT59f|Le!rU=FOIn}IT%M$-F>|I?r zqNT%ght>e$_A9S1Mlc^siY@rEej~q;fXmT529@Mp|@i0oau4(LZ^_-+k*}{EGGY)@f~L zF?(qtbQaT1FC-3~v-dcqHkZB2Wk_l@u2vQ9e3gh{#!_v?JTls@3o;=F#82lIcFI2o z$_!0`GJJu(Sh&|rrUZ*EDBPVGXxS)V!aw-i&HTvlAUF_j*_7X**rOM=`}U2ek#r;<{%eS{*X_wHZ_~nI95e6i8Rc z8<)o?j={c17;uYDdNQp#I=*Al&%L<6+<5c?u~(pvq_$YFcd$Q>E4E=CAj}fMcWI38 z2s@NuI&^QxC(oCr%$BaqG4O%5VFF&?eJO$-3sF{Tn5dPP+uj6WD4Ky&>;Ulrfvz2t z3VH^T^uPC6UZhrBm>h4$qa7dv4{u@H2AXVbyq!{!av0^80w%ud>SfqGyfn3&jd>&3 z|C;vQk9kz;mf00}6d_mxji8=oXhKuCysjGe-m_bZY|Dys8?9F!$R|x-Q$!-YO4ADj zyqZh0@%?}vb@;MMi1*%- zF#BZ@%z~&v#ZT+;&9nqiRB}IF*KarjGo?4%R-ES)q{$5XENJPe(GgXh%zUct&!21W z`CE`MnzyB1SDR0RBX6?`#YeAb2fyeQul3xf8{?#YE&^cUCVhhHx{qO*f|sr~)$t8MW`nDRC3M zdD@*Al^BxeFKxU;=QQ8cbCfsF0|2#VEVlMalCaWXCC9`J#D>oO5m z>o4)=ipz533HI$V2rizRtv(F&nT)XJt;|ESzt|4e1j&TCpIDKBs#cP!-dW8zqZ$|6 zZmLW=ZJut7xIaP$_<{8N~zm?3`%N(wgENsJLQe={ad{vE3(&wGks#7=4MrE&4W^* zoP~B`X`_Vv{6vZs+9{jgx!lVkQ;ba(NWSvysIvlxWL8cWc2cmG?ij04BS#xL3(pVtDY8LeX9=;vEOsL%GS#5h86UHxdYjL?Ts0#kt;>4hkvXan3K zJ#r^;ga@~)mYzW{yega=Zn2~lOj`6lKJgUF9idJDbnt>JMtN?2W3Y<(Fu@dhHGAwCs zV@6hY)j6@RQrOebnpQf#8t<_Z&nC)Al&&p$!OT4A-J4sgD1H*K`=ODxid{-ucCxGu z>GI;6nk(virMMJR%B7sx-Sf;{E)u-EJgZC!F=2bnFHg|T6pMqNCWzE*s3pk?PYxn} ze(0-UtRGY+w_;3`0_jN9+g=+g5>|8+DSI&vOs`aps_D2&>DLNQG*h)vJ%xW9!Ry9dCN&%+hTOD6-BiWRN>7K&c@_;ALVXla~)${IuV_AA#jonNT5;19*P4`lUaS4E?h1(zitG4 zm~qZA&jD&}({Ad~2xJ-ygObcw!Ks%o60Ns&Ku!;X!sRSaja*o?kzl(($9lxadKS!r zZ(TMquyQ=%yl@dtXw&(_(hK4IO-&-m{K z+buY?mA&k}Jqp3n_G0lb=hUBvG3T0#Y<$0F;hb5AWi{c3Xo`lwQnzxaF|mA8=)J`7 zB`#YIn_WOGU@DwA9pUUDe=cA`Y+6Jw-dUhO+M(Wx>~0CFHHNiyIhVOZ4(cR-V>Z#l ztl}saQN5pJ+j?iUx`y7LkX>n;nCKk_r)Tcey#qXBK`>>%(CtW?jF(s9JG)`L^mc1= zyuC(c^Vto2BiAX1hY+^#qBK?Voks8&mzhJS`kXS!CP_Q#3xW+K;$YHlZ6?{d(5h!# zan{zUcfouhvn^<~IcW>irC{T&CFd?Hp&_?Am*yN7=Ex+;PAW12k~FQ2>*|lLn248j zEZl-`yT{ka1!`>ye6GH;ooj~nm$SG?W)hwhEIK6E$C|{1QF8h9+Gowf3|Yt2+ridG z4bvBu&tSef@tcGv4)f}jQf?{EWTL>~-!8x~(kfN~aUkfuy`H4fCO~HEnn?U<7~4tB zeCI1L*@YJl+o@~m(Q&q&mnKlG@MJaByd%UjJwz4f0)f!*`KXx^P&&?a+4kOcq}y1* z?wf*?#TC{aUoYrn{kg-OKdi!6W^)<6UWeer8GpvKG}fXBE=Oi^%h(5e95` z$)BHkPq>qPPuTwqZg8Q-kYsLZq)1=vXnl62h34=Byy3zQ`izD}-9#mkM8aiY{Jg?d z$soWk!|}6*wU?_mRef2FGp#v5nk(fZ)eQH0`R0?S?wi!uX~lh_Wj<0&6L;Suk+pI; zn2cLRoB~fJ_SZutc4?M!w^P^^d{d%sO7)SPVw|3tgsg<2ccZmQKMc-!_=FN&DW$4)Q!iGz`Rx2p(>7?5V*vLmOX$JG!m57L!M zC)rOmBp>o&7W!83w_aO+)WAkBh78$irOWxtduc&g25B2kFKg%faYf4kOx?-WWgWKz zk_vW#09H-gY6q;=sBa*85d*zRwgYn>^1Cf>lhe`-&|+`^(qj7E%vX(^K=ZsM=4NXy z%=Pa36UmG7op~B_h~=8vA)8iQnMbCsAo>lX<7<3y#>+sU55Xn&L`Ph+UVpC?-hRFF zU{9((IAj5lc2B`xr`;xCyzL^4bYd|kvazbYKz z`g$+ak@nQ!`88N9Jklv=_N4PO&hKK*m`vMG(w+QIr^Yd>DQhUPNh z+EXFl*Ci}MC$54w1FfKiqF^}iKIGk|i(D>K*_OJz64{`glq_T( zyAChF-@N*RO#{cN9~|UUDGQF~Xm44YV6z4qshbw8&(<(Ge6mJ%Lv|*N5uJku*%BH^ zzTBUjUfX8qF4b_6ZMCZ;iz)d6w^L5_6vt=i8d!S}v-=%4mB_oE+Id;Ll-Yt!x8MP3>9NfGymBqLfwj-)_AXlX<#_|;7WKAj#ufX%@hK4!^aTfinNp0h-P7Rbwb6< zYWALFPZBR)F7oXwGt|j+`Kq!v&A)d9-3p)>Csdy<3pb;m!uoy7c9Qi*&moxoV9s?m zr1CK1jF<_B*6ckZD)&W+LK6VvR6O6i{x*5K8WEhVa=n+9A^)^$UfJE~q(YWu>48e@ zw&kLMjcklT9oZ@8wFdE8-c9f|(wKgLUsm!w{l(BQMQEbXoxy}+L$r9r-ogVhD0*!o zmZ{isR`0x#J%ENjTWv5&vb<|Pvyy>F&$uRgr|Egh!enysxOn@hcV}QXsoS3B>0a3x zQ;Pf|(%|l`P#Jsr0TOyD6~RG7A={~Kja$@P{I2+zx#4kM#h$TqRGY2o%3QnebwN2& z#db?!!Azf;ex$TN&lTg^?8|{XrEGmlbMEi-*rTiAP#2h(@CdW8)8lhgfA1I3{{s~a%kLWbL3 z=uf8ed*ii>KYTX*m~sg^dICQmtS!PdtMP?I=Kj41Q7r!FL6pySHmab&kd<2~Z;Vl2 zmc%p`U(-}7(t9Z<-QA{F@Zd8-vaJtKjApl|5LnZjuf}+Ow(?ZBDn*w^SJ~6m!`^)$ z5_Nr3s8sG5S-k6+y>d?$09yfK$WN}`+re=fzThG7!_*nHx>`dtCsNh00K*i=n^(O^ zUx^NHYiao+iA}Y zu01r~Fl5=vSZLf4Q0Pb=&w%z8t2U`E=nW>yIOqYm-HAxdhRYV*Z$5_4X2Di>?PHxr zAn7azBWZFSpI|0zOK_x_1<->b;N6!qeBAFbQC-;EQS^ zsRnkyz{q9ij#qv?Yr~V@HciU)0ZWh33i~u_*|!8cmv-Ve&Sb! zT7eWPp2Vc_>T@WXH44ezUew_F+Xuu_;^(+QhN2TagHe%Y0l~sLy*mtud?J=7)1Dx| zv&9Dhob-M(bg>)oIUOd1>F*po{{O73g|3?e1!m>=|DCBCTHyK%5a#6jjiYn&{bqgU zU%aEtm|94K28J z_NT?+f4t9s;=s@zCH{0k=mSEN^8QcQIp-gs`2UTm`dL>wFfae!@F38iMkX((2+yOiH0L$#=PW(%&g8v943I1i>|KMjA zd<-Pv{-;v;1;EFBtcaX~zXk%DJxBu1qUU(zfCJ-HsDhb4DuSyjRKPvZPnk+pu;C{~ z@Cx+v9Qx@~r3#K6QUv2xtAe*jej9pCwF=m97#q6o)?*|CJd6WvN!QRpZ8ianZ~8}k z=D%{L|6!JYh8+H@`UELCq1sugApml6fP+R^zzp9}pZrzO&C4P9i%z}4s`d*Gj`tND zy^?65ep2rc_SH=%s>%;!@aho`_}vNAO!_eJxj23mqyN(+xj6VAO%n8<+7tZCB>!6f z3Yx6@%OtrtemNd!vhHuTcP@_K&V`HPw{zk8i&CEJFE)8-Qtxk5{%3aWuXF!xZ(80i z)?l$JA+TG&DpZ+?^ddXTZsD>09E|qqvCnT8Rs2aAEVKA~yXcTIIQ;k*`yY5_NEw$4s`)?cor~ia5kGXt z<3s&@V^A0NxWj3f7A${?4TLsJpv~$LOz1@fz{|t55Jot_FW2@c6OPbASP}mvtB=ru zvlpq9hz$4LuAedx91!4;izy|!zyap{|0Xg}>wF|W1#^24I1v*IX z?+#RpbdcHKO@l>RaKP!~QAvw*;KoxdXlrPZ4hX$C)bp$TH$U`GXa7$x{zt&>51;gV z?)_58B0f|h@k`Q}Xw=;UH65VaJ<(-1c9zGP1C3Ccn^EC&as8SLf6N;wBL#Hc2>hoy zxc-_CTz}06=;92&T=_rjpNs49%k`1Y0t5W@SOKDl0A;cKofQvVuUpje-?N6?~dx9`u#(tzis%JO1BUJxD9jPYcY}C{Akad`_~QCAJqvF#|M}Y{|=7- zD{u^D-uUfWj3EMq06OTe2u_GQ96$*&M+D#j2tqK40Td8CcmNRugBU;wQF&}Z4q?$C zq{IMRNCZ595W2P@1naR^_b-9}xA60qAn;q@MtJNd_*-yz6nHou1#(Cs0)Pm*1mbUD z@t45$Tfj#I5JJv~0R+j0=OqzT~IuF| z+6~LkpGJqkika0dx9W-bU+mnbC2%WNTD-j6b1j}#noKS<8aH9JtpVp$aLa?g+%?nK zcDDNj+>fAcy;dO9ZumML;N!`+twBG^1o{!X&(z5}lraaYIvb_C!Jdnvo%J~s*4^Z* zAzAKt2F8|&+9Xo0FRt7RNZ~F9*S{JrFP!-qRNgkr_Dn4qJ=ekj%TXUi=RHazRi?X{ z>050pET%|~HsQG=;$&>;R%J6ZM9t4|r4aA-kB!3)z5_~MJZxZU?7v#?z=(7WHGl*O zGLdX-U+YaP>=GO%^m@l<;&V?Rrs^kWC}S1#SRarsU{{~7zHzCNMGWe{6>mx<5ApJ1 zg!IMa-BCGP+`v{#w_eqlO9*N9y>xN`R>In4YEoAUh;a;DIdE*RIiRmlN)qA|j-3>a zkt{Q?-$iVby=l|Lko8&-OU1@S5djgnD2{D?aUCD!$iBXg^YtIM)^_r9>@G_$BAMlDmsTl9)K15xOjN8@=@ zRo`hoD7+NHhqPK@NihhMIDDr|c>!mn67zO2HPDAH!8Z-Y16GA-Bxtd8TW1{fK7Z4I z^4J4_^y4e81YM2JM+AQN7)eceo|K%#S?Y!e3;8$Y+k;;t(#jKAilu;~Y)|J2RRYNo zKXB5dWbL63MR4CvNs&Dh=FVn^Ycx>{l>GJHDcMiIcr%*Dv*8+oaajQ4{U z%}y*Y`CDMbl@6?hZ$7|ynaWWXMEi7zbS|BX+H25nY-BCp&gQgpyR{XWri+afZ0L-+heuPNf5BT1W$IHX?=IIt-(TgY6-pdFH7y@|9>KsYHN0PQGsM%U#l zAPW?Q_mAia;d9T7L=xSOmoFT<>2Ee4zwDXl!a~tpGij8IG`9f)XR^q>ORafU^gais zx)G=-RfK=y8amfphLY&?@U4lx1Jq{3QFOo% zbG)4>GhO@O1;WoXn7LF|0QKWD5Wd%~rB^+?n<%`@m&bZiaMoRDX$$`yX-q}5LQ)VX zSdMW(;f($~bGeuCvo${O_8_%Kn-aY}pmo`MGBs4<6)|~J{8Kozqc$@JYC3(q{i25$ zA0`EWT=-p{$(eB5lP%>TJ8&i0Tw~;s=XK|I#lB}+IfP};1F5b_d_e9&MwC2(Be%ws zCcCG4H40J(H~6di>x06x!An67&Btvnr-m#(DIu;u>w*z-6*!BtYqK0 zukpYWZo6H5R)Y<|{%m8S`+g}PTYI0nCb*4Rfq~=LKM5{fZyKI}{b^5fl9uNe9?ZFS zcm~A5AaVZ)QJ3@D@p+J>RjPO)1)-((&jF4spy-ca`5z@|KHV`kETu^}f!$lmK?7*R zj`Np>#e_l4j>kM#^uLlU?>`!kCx*%J!s0=%N#WDwz>qe0<9Z7)g ziFFtB2jR>LV+yz%k$UsBo^6@j3PA9?efOO%B66|`VVRsB4pGo8Mg`lMbe$Vg(gF?p z5S^XAkw4zWO7o_a!87w_-&JIXJ52R5a$jO+jWG)rmF{s{M7;&)Z}1h-B9rcj8A!~1 z;q%&!@S;S3U0(~N#29j!PWG9#ePEQ^8FI&oU*rkjaM`6VXHt1qi7vaz`GA_tbEC%O z=0y%JQ1%GS*BM&Stoj~Tq{B%@+aIT5O(!5R<5JQ&yRyuY_Z=3A`97z(s1CygFZwkR zlpKf*1IwLa-M2Nif=mI`4oNTOr(L6(q*kv?rB;|_iyt+J4Oa zt~IlI1S3+L_`=9@nm34H(GhOI-srK!h9|Uj2(cQWeJ#grW97wq3zZEM&s4Vio*FGi z_c_8DBfvF)-msN_6!%5GrwX%#5~EU(=z;j*!oROMx4()lWa>^MSPR$2O?MKWfgCNH`Ap9L{d{`BL=x3RF=i#Aj7HZ>x0hBQ;lA@s;7C>A>CoQ~^hy zH1$X1K$G$4lN?8!!jVk)*xKl9w%%&wjg+ZbfbW*-l?GO{_a}mLsqFOfCCvPZv8bPW zV)$BOSH)U3B=~Jp4qF4c21jhhmB$=pjvx_-SqZ*K7FHx^;q`ZXN`0{*2PjWfBt~bt zsazw{Y9v@-Y+^piAGzY;P)rIFn@ZK0t4t{|Cc7ZM&{1Y7iF48JfBMzS@zVmloG1o%6dVm&` zSxh=oDu9a{*h_IXUBWU&!1gTWR+ig+EgKLdfQzZenZK{=J2v?_nxggTjBhq4x8+Q? zyik?K1>Bkln@?`AHq&$6Bfl7W!V0gidh%3*$yfKT@$r+8mIAb|>LecnSNtQVBtOE~ z04JY$a-jmp-(?ucVzNej8N_r%Dk^Y*)<}RvqTYv>waU)=F!&v+n=D?Bvqjp_zmMn` zo{}dr%{i?`-#&R@ld;5d@70JYi}%Tfd8dVur#_`sz{C_LEzM^{*ZbiAW2Q?H)>JTk zYW-cpw{oRDG9X6O?41?42258ssDnG&{7AxqQCV(xX z_sNuQk1b2T`D6(q@ohEXshr=On9rbjvVOWzaMT725v_@Xh|-F?&xJv>EIF@Ft{aW0 z`kQ7&y@$)vJrn$M1a_luANc7!7eR-5ruz|OH!sO#rH8{~3$CBV6kJR78~dO-f*P;k zW3k1FuNft8dm)MO9nc@TIq{fzyD?*dmJ#qD;de^3(q=8rb}pQE9gyFQ+cNgOu(@1P zUL3*1OaCCwZ=?t);rd3O`Mf zn7Y<|`e3JBs*-KnO!2cpQRb~jWa!m73pOelXS>D6@=k(AB+M=IQ%9=+W4w8` z)2QP^I_c^og7`A|ZkFH_ZY+`tr2V3O#TtG+h1lV!h>e=gTTGY+NymzAw1X7`-ck3v zt6PzZd+mj!`WB&aw!JgSRt@+M?YiWSp~%`tMT4X`Pg!=Rzp-E*eai=c)_)=0aDUSiPu>*6_Ul&9l$=Z?`VTU}hN>?t=wUfUr>`?dD@5qUIf zrz^W~)*dq%nrte^$Xy{Jp|lK2t!c$YhLqUvt}eA0bi2cGGgQW0z#&VoPcP47M51VY ziBs^SNU6n6rO5k2rI)V-vLJ;^niMO78MY@cJ-5Ufihk`TQ7WIkE}9|2{8BVQmu*oM zOfc*5YJ1!7@Zrv-(cKwN$2_dji=(z-N3nBfeC$pfN8bqxhvWMl0@~VpUzb2vPxW)R zz8rxca9ga=EoD(CW(Bpf^bz-yi?-|Dr_YYQ7QmID3M$Y;W=C5LLB@HOIN3rQ)iMH1 zUlEG(HSflUGoE;%nc5+m@78i=84e&QGXiNO;;o+m4z>YP3>PQ#LDK{EBrqG_TiMik>9MUXLAIty>VS||o<%J>#;b`clt6NGR@HqL5p$@ zJ%BOUk=uB+P=HU|{_!=s5V3#R7pyAp7_NR&&7L-C{UD0P5%z`9b<)|wGADfH)gfu~ z9vU8d!@MqX-7am#uj(BxA{<1LtR{S`gPU{WmBCua>umyQgo<*73q{zqC!_GtH?A{M zZo})*tu`QqNJStJ=A!?au0q_);0tB-_r0lxhsJU{BimsMjAk=H6 z&nL%^7bv?YXB8pDgb+XtAtC^H0(l;p1^(JFLICgr@H_@Ggdu^1fCM0v zg5ZC4DiHzVfIR&Fvwr%(o!uM*?+az zT&!#up&nPq_)m-B=YddCK+pfV3Gj^_ z$j|%h{E(>~zzXtT=;ib0kR=`HX_zTsksB9x0kxz+e*WLxS`dImxWA)Pf1Fd`_c_B6 zfti#*e!<_J)fj*cxctAN90yqpn7WfrSfSwxSwE5Q^ zF!1tnJz@V1eQ{CpL%DwcmY|60-%U#B>OPN=4<^uic&%i60zRdui`363$$BRiDXA8N z`#4ZJ`Z&;GQL{9@EXF4D$RPoN*uiooz%NliYU?ikJ@0YB) z5jGD=94b6nRm2@KRRIM#IHV-_(p{qH2%s1xCnXY%!brdM6Uk=Dhv3NOkvuu}RC=RJ zQv}dUIR?Ve?yubpFho1U-nDiHV8Ww}i_Jh%(J$&p3#v%sc}l z>ERHhukUn`OuPwjpHMNg9PIC-!1;Oso+X0DqWpqkObLhJ%}_6bsr_@~0!`6i&%4Pd zM6&>q%`nAm95td%ktH}o1Ti5%jzD2lV5qOTNZV?h8VwAX)GWUWg+oki6%^zCK!^mq zPe&7jWBBgb)Y%4t5AFsDzoEiZ#egF`LVP0(n`w5W7T8T@O!*`h8!m7)t`oKU$OM#4 z2&%;(+(P&0BD}38MQtjufP=9lzO8u1j)Wa1<_%~!JL)vRy~jh~wnl3zNG}OT#Ett- zeXpG(go+$$HgH6LyKS|&lHG9<*a=5ZxbS&b7bk8B$(&o@Ac$Yf@Qxh^Rq7UF3so9G zBSx8!93uep69z_F(kKKJ%6}m#1_Cil2Xv>R2Lmy)kpgjwk?k-?kfXe@5WRx@b7645 zkPzdZIQN4T`>3g5WC`KmT>^!ASNa~L2D{WsM7g$35;=Ifh(lJhkzmgEuWyDCB-v$E zn_8Dew>rmlXSAdzjV|K4a^fDQ%gTN70RRb$H5e*&WURoLcRXSWKscnI#~_9hBF>+gTOPS#lX)>zV%nHG|VNxOjlJM`=6+N+U{vMjFbHmo)} z~E6 zXF8bcGA@_yNtLnzwLTcCM?a8Lu^Ttgg5K4k7|WoL_=!=c!?%`(W{4C!%zIzS0`FRH zdJ`HgonOogS$#a@)f4iSSQg&qzX?0+a@{kE|dR3yALG`INOZn_l z7Q3S@tld_!qmO`7l7jDr{m9E|ZQ{MCqO-E0$ahF!Z1(wA`TTTk&M!M=6SP6HWbJu4 zV6T1>Z66EuA8S@?*Prr~(=g@8_0}Eo6~xPrvsEm$?Gh?|1vHZwx~-Teg~WVm4ZRzq zDMU}s$kt9ig7yQ0^txQ#>_*$dR){56e;_UjoJT#YrkrOvhr%rddCcU)L3gTDHyDvl%p#mjCB$@aL!~7atqC82mOyDg_#+@lZjETM(H zV=&Vq?QHw7_p&AJMoJj`oBrNXQSCh{4i{7YL)ila8e6cuh=$55i*^;gAl(Y8_Cxd_I^lv zz6!?qZaGayd$v&i!spyAoA#VL1R3Bf;sJRl8g3z~`0^q&NuBS-yG zzlGtCABZ;uswDe`u_yzD&C9stQGzx8CB=xX$P%Ny7F%A8aP+R zYbQryGWzOq`9^Ih29rJR89lm?4)82*1g&B;J6eege{Wvky`QIgS&NHi8MjQ;k@T@9 zo-b~0VHX{*vQfL>Gt+n8>2$}1aJoxJbdU4? z993f5&dLb7NyTay!oo86rI$g-xvIsHQk;?e`>4WqMgmKW0FNtyHe>j;5nKlMqc9=z zkxN@sDof-IC-ORo!=B2ST>A_wpM7gA3=%P^m1S}v6n|3UV`Idg(>7glY-cUafZz0~ zavBijw6cWr_>LFvwAffV8a#Xz;Mn8kIK~21J(WR(ccYfymHEg#0MQ8+;>dV46py`dsvr;B1 zUX*~c57$v{n>6D<{391bc+n}J_em}}pgCPkYpOB;I$7p196kR#n9UbYorJ#fNIf^I z95u$Lj z*`gy^Fwhmp*E+T{g-XlIyJf7`vP@u+S**m~CuK0D=b8zyl-7_1frn=?Y{xBfx2X== zwY$Xf<=KRH?3kTPNH_EQQlS>$+c%iz{KwnHPgZRC~sPUI?%(>e@1q5?THVt+h3sL0wEO#vh5;sEaPhS03X#+vK;dUei+W)1R_ zO8o}QD}5CeJy7l+HT{KnDW8bp3^XYz{#Agdg}M>vtKJlpB{8x&xo9^6hzQKnt#asAi-*| zFWz{zTW8Q^HHSpg;@B-YusL4l(=Z!^ve!L{j1I~)w(8GeF@rlxDfz5*m=M4TWfm0x z$ezH&$3Shz`-LM%GtQgN#xpm(`i}2lvg2^Mn!T8~qawOFajDg{C8K^L=3TA^B8FQ7 z>G6@U0~(0-uk~ao*OCgQdvTS^GH0JDwtlu-lW0X+vYDg3WRR-aE)Ns#r) zoAwErsy=-m%uJ6B!D)tawF+9OqoMQeWWYr}Wp{WA7p)=FUSuwH@JwH<Vqk!ot4EQVjw9;h{8U8R(~#`qS^%hL_(4kb`6opk$PCQboSuS-dqE| zj{DF~QhjOLUN9rharD4%LHds(Ur{If1w}Mw(=tO(O^Fdjd`Lv~%i3Xb;m$ao?b3W7 zagWl_UGp7&DcJ73QpKKPY>r!+!l$85R6goqzi?0svNjc#RY(K(BUN$XF-h=URR5$I zb$OI{QMu9B+uE6W)oX1q!9IGwYY_3M4tl`PE40PEjNVjoFiFg1Xb=lPCja;ft_0_U z%JS(Lmc4xDdwz@m-N=#XV+Y#-29*61bw_7j_@+Sw}jL9PwlpC+q ztbDiQXz1D}sXy)W^*k{kF5#AMwtJy5HC(@X;2^>RMZ?JW7}UMYv<>>f`_I@8Cs8p4 zTh1RGSIEJQ5TFi}daN5a^oi&17g37D0ueAfK&obeu zRXuKs-=atRwsyr6@LGQ(tU99mep#DNJ@NB02?Vx@)uH$Z7}h+1uekdqkHxzYjNBL& ztoD3iismG=KTXGBP6}NVayg{X$Yc}hAe!<1Zc3Vo?WE=;_;vN#jGxDs%5MZ6TA|qi z%khmG&PgrZ(9nCbb@5CB$J#7Ay16Ds{KKPb!z%xTtNWLS+7gqj^@B*i0xiY;Xhrtv z`EAw4tg;r)bu2x=QR4Y1Pc}mdw)_=+JstComyo2?Z?7haxuEUF2F^OvGep5H@g<-j z+|qq}jC6{8@JwjfM4nYQv2gY+aEr-lH1*L#1z)uWi@Ji*z4~ko!nZNpX-W0zdiQA> zAA28S%JTeH`PU2|yCe|!!gYDRzSpx_-{XPs4b=s;`6vKTG|lI3g|+GBjZO4kQ~wEW zgRe=<8bUBUtRoc^lbL~38|U>X`L6m=IyP5w8m|Q1y34s%nFHdg4<=rnb>UbDv)#&7 zu<}ec@{+qfNMa8n_iHgD;mlA@Q&H~Hwszf?xIWn*ok)@;&5hGh;9!UOUvz1&&FiU}|vxAhw+aNk2Nx?V~ zMT@UUfpc_0Z=ux>MUqpMeNxI{E=q(3QebvTA?5@SXw*WD=&IG~ru8zT`UHKD8P#T= zZhm6J&3av#ASTtHLyi%4yGXS?YP^poCG!dPxp-@RqQFQrqLXJ59hjCTNE|3gZjl;v zRmsN3U`F#XVf2d|K>P#E=q-e|3cyFKc*&hfE(5UDQp9PCCQeW2 zo?>g;t*z_P{smpI6gVCOl~`hW2}TR~VJR`^J$03*bL-|-wX3bO7x~h5hY=n5RQ2GV z9h~pWl@k59*4N zKXf@;N=_IV)^C?09KXjd2J8z6Ur=wP;-VxjOYs$UQdX4QrU?7n+5IkO)Ze$nYWDz4 zvP`{cA4iW?`Yv@5Zv$;B?>vu2?P<4ck)z(w&Nm0;kI%i>Kg1yl-by+p+LF5Yh3n8< zyoFrT%m_U+4{a$)krGuT_l!QX;)QFs#?BkJ7?`4siSX(Pz*IE9%bmR+QaY7eBXIXV zP^^aM-wHx;ZEXbQlZ`LQHZs|3?$8jsR$}qSxR|x`0qb#2We3>0~KO!L_hsA^Ox|U!+Cr-`gED zukw*xPYGb2j6m)s_F3{C*k1`f-^pCS7cDy_aC_~5ghoJQ1@#8!?0|Z#Xt1{f_MR^F zI>^%Coz12kSMoS+Wvy@i{b2^6K}919`nc-Y)w`6+Dz!eE71Gi!{XR2sMOq#V_#1CK zdM}KLLHE~SggV9IOfI>b2EGm2b;Q@W10~R?mnJ$LKBBG*vyGFUI8BEfkTwyv$;Bd5 zDZ<91`)*~7!@+R`KXIquIv2^jrfMN0H^>{nY}jiWmF70tIn{|H(*_L4mPOi>#>(n6 zP^Qf6RjxbzOLgh+P4<^g3nh zO_Ok1SITlXxxx;e$#M|Y)u%Xzn+n}vQm@B|vGH0$OqEBl_ZolDjrbQ&k~n%%IF+V{)Bl`I7?joE2K*Lu1?39?oedwoqMCBqLQb-TUwD#l(&A%KNWMEE^rFV`M% zjprx0kGtGH`}bv)t7B0wHgz#2v<~mlDvEo=+n?pFEH1vd&u;JL+4I!{`<%6Y{2w)vwW z%p1^zF4zVr{gcFN$77hkp2N#fFr-YeF(9>8=*zEXFh3IPt<2@mIxIYGQ?FaI1?4*2 zq-mf_VBV}IEPM3M)XI8`UlY%Kqa?KedlhcbJ}2YxwQ}iC!^=ovvR-)r$TvNm{7b;@QEIesV0X z-dvrAf)6$;sqaZ*fObd(qUNvIvU&I^NcGL7ZS>xDL+2KRVdgmT?4N_36zaG zhgCxW4vc(I@}%O(CTx@VFs`xiW5T|xHrvlcjv!$T#q!NHfb;v{9t`xJm01OY=3L`m zsQWQ(SSCj!#QlFS;9E8;4Yk!-!u)KnEZ`HKXt&3S27=a>zb2J5xpHAwGDWV%H@TAkLh4!dtYXS zBWx#d{G_W0(V4x!8LUA~?!SUIy}Ld93wvM0cc(?#8-fqS#QkWu%$h9KPoGCleGH4i0PL`d7BskEH(vWl9K!PkN)$gYUCRYXX+^oG&G zSOf6qr|7FF^XM6&*>z9lU!<|@ZvY1zD>meMlG&=G_b;iv{fRo1406{o=yU7Qk^N@W zST(c)E+%o*R$$f>B6FW|wxWDd^)lR`j@;%kBbYudC$HkgTXYc%%tP#N@JhO~{?mm9 zTdneIR_USziYv68hxEpzfu#(ms;MIi0-+>Zx@f1&1fH2Ymt}|aKu_WtqzoA#Zlg3> z=PX95Iy5~s{L<^_671WJ6l}epqnA!<*x#Y;7VZsmlL6@XMQMm(fT%Na17tWpm^BzL$o7h z3XrD~1o`&HCeCqwgSm~w!j|)+aNa_)Ni7k(`Md+Y9*iJuo>$KJ3Ea>@Ua0Otow6!R zt5{DStj|}vsq(y}FwE!Rm=g<`Fh<8Z0wvvt$s6whLdxRbrt{$-$f|z8y3fm8|C|U> zJtzq8$PCLgAv2~l|5z~i1r*|`-}`kNl>3LkQR(AbTG42T6tB0+hA*9?7itT4{#e>t z8hwqF%5&t}iZwClU%p>MLuD5O>YML>$%`{<;cxDG@sE_QO+y86Wv4X#GleGyyPGj+ zL}uFbtfIDd9qAkg4OXlHwQMn+8%6OW9A*ru|4!L^dRw6VM4M;rE-`Yui*%Pft-1Rf zDmW1hc|P&l#Dy3pRqy@Jvq;y{iuhWirbhyUl3pne5K6qqY@2j}LGfxv|BAsrW2YhQ zU|sF)^_svpmv<-jt}^epFil()pA@A(5Fjv0 zSn-BiL>+`Yk?Qg)scXEad|8H0v2EO6lR^IL(t!$Aev2*i(tykFwW}3(Gnfr71m-FJ zlc_^I zIxxU}YkEC%U1Q&}#R6#{a0KM2D>Q-Uw>C+Zw`$BM+1OKUH*`2|b(7cy#U@^RHgt4Y zqazeYC0mjip>R?H+|7HH`5UyL>k7QUsnme}#1HFoL3Wr6a3{S zXgndlQ;}B7!KRohzF(U=7S)649U*&aCXA%1?X=$FW_q+yCE{*OV@P6NYQz_41}UjX z67xcVBK>b$?<}0Z3u^ku^0Q|LYfuSjEi<$#DYgO|T+Rf9<`a{68aku-`Ae~nWbn!*Hhru zcK3HlhR59K1v*Xkw{D{PVcg$LP2+`FJVQEVd_mn3fIWJ_rG$uIX8VoJ0k=d#-I#yF zOtRta2dBzf-UF5l&h*q*4rm)5CaZZPvhk+I_fVAK*C~XSWy71*@=fNcDx+Z)ij6n> zKKelzyv_n&+nDi!0{k|4$*+|%m%)pU$sbljN(1`yIx87aSYZbngF=PLKE9Pn5tRPB zR9)aAfN5;uhU77^UcEevb_Q%*CBUj+N7J?CiCp&Ky zRBp9)fHSQkYodg9IrYIsu+k~muvC4vcL`c!uM?7dV^)Ott4Sysgt{;SG z5?4bIHm#S|+V=f~4io__{m&L0yRUPKtxZQJ;34cXL)y&SDMB+Z}D0sT5NEEJWeSHmc$`QQM&S8_KzVmNZ?dymqy^m;9N3SC4W+4*kRtzBPg7)~dm4L~tL4%J z5I*erFoSu~-qSo_vi&(SAwTjeFD4!~*^ZelFu^-qhO|u;9IB%kKIuuZy&51VpCiAV zvf)0HK9KBMe8W&$qI_q1@yfrdg=hbjOB)cvk_c3UE z(4HeBjk@;(`iW2z@?VsZvx}3dp)E|}yA~!OSe(OjBK} zK?ouKV`nR+(%ph$|6k0eyBb84JTZP0H8l?c1Sge#8KfWL|GJy0Q?LIs2b(VhXkPjynrigTs%X-9H6YskI)PfENDvR5;%g4PEDY*HOh>v1&9@r8EJ0#0U$I7qt)KVaoJN zWX|h;$c(J)=0t+?m_$%WR0X2o2D$oSQhS~BN4|A;2C|v5`GJ3FeIW=Ccm{A~rloVP za%QZ02VT+wV-RW+3TSEttPKx_AR8Fje~0FWS2qp1HASl*yxjL1g?30VN*Y3^v!h zJG8!hBR2e7nYBL!2RE1FMF;T@4`Gs$KR1qLgI{B(P)@?d`R8dvYY-un03^1D<3-%KcZnaHbBmC z>9Boh7SIjipXBeESQdAfe%t_tG0?oxcQ!v8puhZjKVN3IY=*}O&n-DWX+NGrH0urb z2{=q}0OjvmC7sQF(B0`FXal2@T_6X?Tc9?;TN`lC53cAi*rPl8&wWyJs{_#Om+GZ< z>bG*;#ty2$$BWk-@Hcx(!r;ax2yoL+R68FvX64!j?#9oF;m_jH&rZ}2^3jj$)Q`RB zLQP8x;N0?u>Gfwmb2Y$*_ou}pQ(HZ?6;Hv%V*~6TidF&sY3+y}a7?J)`BRzf%IFE$ z0B7`;-uPidIi!KV2g<1Q*O{vN&Wi3G!U0^S(~jYn?eD_9AD96%)YmtB6KribrLT2u z;m_EUyp_Vdws8MsDo$)q^?$~a8lUV#r1|%g<%Ct)Cl1XFgWsBYZ-_bPjpho&85p*> zJ9s(+chx_DYjF4@|8OYT;R8hu5flLUkrAo=Mc)aAAPnN)ARR$9(7q!*IDu)-e?)!k z6=l8!yMQnj0Z0V?!TmFNAey{?m%)F30_~sHzhQgg>pviSssY%O{4#CZ z9R@#cRzC~9j*hSNhd$13uLMup{7rkk9-OJ~n@;&@WbMUY7 z;92(Q92*%NKauzw+Dm|pmw&lpIyHmc-bjxJ$1lu(nYd>}6M*sQ9sTR^&6|7&yEZ-H zEB&7z<`lCUgWHX*&y(ppHbCP~KY$O)UjQ)=d;f(Lk~skB;!j-7$E=aawT$N;?;J zOVf*EZ;UqnS^GV;a+Fw;pTQc4YJlYoF&}sqEb2J7*OWA3Q%L59=Tuj^I#W9sgvib! zRt$>$7VYzDsA%nzm8;u{9*7i(t`Ev7?$kJ^mHpkI3TKz;&HciuZ2pms8kbqv^f(by zZaDruvmYz~^So|Gg6m`ke2LjgJ-7;P1sAWNL z@N3>7xD$#YsJ%e@S64#m%lET;8g6zX?ptExA8g)QN8U(0upzvxX0|{8=<|m4tN_6SwYFuR{*H%z4Sf1ixo{Cn~%5I@xT}gj2dvOM+%5Y1Y}k zig3P}2ou@eAv%4u>cq;!PA_J%Hft?<_C*q3NR|>Df7=Cf1&s&OsE7Ud+^q-k(m$yN z1-daW6V+~i2k%;2nEZ3PIvh*_CTZCAUyz*V3)dQ8FZFjAO z<1(obdos6I;t;6h4m@A)i*)W%_RZqgG3Pa-7UmX`9^l_1C`wzN$^Zb17mZ%)TB)ZH z=ojC_uGs(B-N>$6V`eaSYBZU)dGzKY1DNiEYCd#)`9;30dSiCY60mjy@#<|TJIg%bDs$gJVjC^WR*1G7bFiyF~)dUdh%;-)}i1l>bT<9 zvksG+qAy991*|^3o+2K=j3Zk8T!z<^t~X$yTUCuU7>2IA+Cv+8(sErT&r2Q z3Y1_4x^@=ji#-^nXUwWHiz8sdz~H3UeUek$1i1FV6`37hAJw^^wNLrs;mYe$M%YbY z)W0VqubE|Ze+m6$gGDd_&HJySj5Nm{>I1nc$WBv>X zBj5r}u&kbq+E)dDxigb;Nz97+*zDS^fM#0502CW-kXI(SuAurmnUb9J#2iqLY6sP2 z$o8hpg2tO!{ILb>Z4XQ?ZRw|nD;{gH9P@3CU#p5*d%(%IPtqY@J*ADEx)PwMgfGa& zf>)UAKB|MfVD>Ha{CDe;TOVUDWvUMG0I;rij^I!r$&`9#Zvw`z!Ob*D? zpg~uu!V@RG!qZRYOV-xNQF`LQ;DHXT8B3D1wCtkZ$G|01*s9c9dS3R|Wa&z%RY!Fe z;f}s!UhMwpDRN(61>TQ5LU>@rgErUr!_e<*dD2nr=^#PAqi?CSZ#|$ul-zw%1X$#U zPqQ(%jE3ObnuT(xHpi@74X2G_I<%&X^{$S^BsELlO9(l@b;hbFBt9;0BT_>3`|jFs z*U2_;D6Pm)rBoyaHr5z@%DnlauWz)4h)2Fdod{}1?l7Jog7{|AqRsFXJ9P-dydz4N zG65lT*e~)D)R-WyL7)JFpcToQ2arK_eEQ>T0Xn22h$o*a9y(|K8i(A4FpOm7Gg6A6 z+Dc9Hz-Q@>kU%H!z-N5U@W4bn;ES~^r9_~R^zP@o7vY4$by8JOwEAtQKrJ2>5Y@QB z$@ZP^MfbAMH72UQ16^h#C~nV^ZxALx>Q@Zo-`|75@^lB~hn;;@X=9*NlPBI3|F+{iHb@zT`z2gH`FU9fLAFa=+T ztEtB(RyX|ILR)+k79$-@s_f6Mb_VzuPd#lEZ}mO;ZydP-$#Rw(50Oz-BgrHqXn%a$ zE|>a5=d_$e=nQAxilHffWQyK-8dYJ^S_d!J9if1+IB&PU3u`&1ER*o`gN2J|)uzD~KAKRBrG>y!_m@I@Y29$aRa znnu*6!AGf3N?vNGKBW)-G4K9ddqGH~S;+9gL@|a9^KG>FP5nT8rl}ab2)Sv}bPUvw zuAK+Bt*NErrWO(Qp$ItoGuQ=ikW0rq9 zgzp-IyXi|EDzB+M9vj`sv1;XoUy|i3nCvYDOWZbC0}|~;JtkKJ`pUf{NXtAnZlIQp z$yw!Sm&i8)0kJmiT1Dy~5o@k0n}b3lD(C5Iy3)IpEQ0~{n839nI{hPJJ!`l*v-{b_ zN6aKeSMl=bu9%8_>OLyNim2}e;1e72zj^I$RvwGTwmDao^DfFr3k@{(MAvUS{6ka?ylws5gMvgMmM3fC?HFe zG+~951|t6Mmh|hUOW_q;K}sa#5)en1Fu1 z54WDyL#kuvWI6eJUHp+HNM=jr6kY+IUwW=2ZZk|oZUdm3+i-5S?OdMcH zbQtd_yG8Kx8UjST^|uuOjP6?ki!`fj(&BYRw7g6`6ZzB9aD(j}Q9A#g7~xw8BUM6jBAQ31HB}BfGw*xX)J0*htPi6GO7&w?H^Nk+ zNDEP6mYNxn104Ar7Hg-eK-xQrNAyn%z|0HI7n8}O;@7~H+rg36FM2DSC?wWkpnD4@ zTs?M(S|g<(Z^SS~1ylLhJ%$6QeYN%IV8(6mg1U0N%JjkSz`mWud>%yB66)*P_H^7K z{o~N+A>JFweg=UK^n8P}BBfo{Us{O0Pz@>2gNI2m=W9TN`R3M_EuWC^) z5BLU@w8dPz(jzzs1dFs!d#s?fI3odq(3k&E8h|SEBtQ@n@uu;1YILm=mPra+erWo4 zAzkwsZHV-M{phE!z`8*b*F7OGj zI&suN`CGi=`=OrfOc)H|w|)DJ8+DB@?%&I(7iV5&LamjrgHD~)mD(Pv+0t>kAdV1I zC;Vv2uF1lOilNGlDUbKvtnaG05E_wOx>y5zL zq|Sx;u8gsLTdph9iw}77Z#}sHcy%!8dP^0sNF$2LCYyU>0;)Sv_s$T_i%TE;wlitG zguLQv{V7o`kW{(s&nSgF!1{J_e>i7>g@~g+GSA9B*z3fDrupXG}|Bhu=Y; z>qxYTnpN}DC zY-<|F=nboaQ)AqlgpVq@VS{qchVqGolFvzT6tZ$^oLL*yB5k(=t zkY{YPIKxVAlkqVQP=5;(h|t_>(!?~b-=aqy3?or$tUJphB&Z1wQ+^5~jsa_JGi-T# zb;3nQFCHM0p`%r+jO~Cd-4d5heI`2ecn$&?NIUg=Wr=OS7nuL{2uoB`Ns}Cq5A0~h z>C*8t=b`doSMq`p?U&?OaG5PU!n5Wh)%0C`G_1j@9Cl>^kbM=6g%ZFNmB4cNM!BX; zJhOCh7|#|avo;@k1S`QBvVi=i&$nswzul_4bOhi8TBB|m`d ztIw-M#EOhx$1MKU?+oe7+kayB1) zz_}#mrzM@K=Z8=;>~$A;T#gS(U4iw&iZHm$=|z?9RZva;9i(0l483hxE__XjK3Zs# zjV0bDLoNQh0?vG0Ze**%d-0;NfY>Q2|$NCPYP8 zrhZbPdIhGJkUABj$=zAzKcxy>p1~DzAQ*Is$j53W`IUPys11B$FXp}LJwbOvE|D?u zjKKE-a6>3mUB}PcWw0iJblL8sj7c-44Gf(=I3-?5plu z{@Aa;EXypC7Y7qPRGk*k+%=)qI8Jt>>(a4G#bIpw-H2Yd7*3n-WuLO6f0+SJ515fJ zqk2)w|KU)KFKMajFqe~eGpKa=^Flj=Ht9tJ=mNo=_=>EYSHNcBW4s{a6AxF6-SS6b zncOS+8LiZhuEFSagF&vfFhNc-fZ=u*8L7*vqON5+MH)4hXF9>fa?*wwVh}%;FzXND z&PLx{A}~uNeNDOStK$RZ*@c+0PKTuWzRh*oO~vSkU#F7B9{lbv5$okbOeWzN1bWK` zM1zBL_0VREXDf_{|Bm=*F_E%Cj#R^6XiA=v)sK1>xe6yh2t|hcHM_>b4R@X|K#+sm z%MJp&9gH|P0Tu#S(uhJ|p_F>eX2Kz+1yVZcv=2U)oDM^g#{wI}_(F^vdNi-E zX^eE^-H7Pv6v~PLdyO))zGur({FvwPXz$RvPz+-&kuc|G+{`W;eTP^Z(M0Q?vT&LD za~QP*moF8TDc88bb-fM=G32Ef00TSlL?PCDv`sSv17TdDn?3aUcvI)FhgQQqbSkT2 zTmxQm&e;l3X{D)l+;SG<$dKu>b|EI_rk{}?Bt9Ev98sCudfS@P`;z~)oM!ef`d&i6 zNB=ZX?n^(9PptX0y<=C`I94zz~t>b?Hvd zfG8HF|K($((q>}ZtLkex+uNTfYH*IkF-~hO*#b8Lsj{ES6OQ}D?SaL>d_qoTO57uJ zx{yP7Q8+kFvOUbrVUsmys1}EZm$ft}pOYo*2FJPln+srO;gtGJTC>OOeXKaRBUTRU z1+C{}!-yW{3a%RL5~{gsfFP?~I;0t~SV{z&P6t8|!o@0o*yICFP_NcusNlz*ZO-^3 zEIkjvnlC-VU`lwlR&J-c37gqJVSm^PJwR^u!^{RHf5_+(O8t);L$~wL3_>6sz$INE z&vYIaZR-g+j$$jAfdSb0hR$jyFW91)QOH$NL{vzC;$YkF-Q!&nFxvLnr!gbZWf!?r zVbgzh4i$-+u454Ob}|K}i1=j?8@R9gG&U@lVkz%bUce*xFB@4NWJM?&Zhf;Fi=@vgiDq-YZ8dg(Vd6tazV$ z&sh0vQ2T-*?sK=W zFzuMLz37~L6-p^EOkO?ORokMvFIb>pW4iGf$jXpvIFhqj3eG)87n3= z=E+`ouxN1tlnXqd8RR8L?DRgm3btAJrlNCU9*pG56l?I*t48LCs2kaEP%Cl1XwWhM z?FBdAQ5eksMyMsR@G5TwwUehU%CY7;iWyHmQJ(7zG2Fb7@zs3vux&tTcHFipyfQS3 zKg;Y8j^^LBhVGkyZeqHLgSuK|Y)eNV6X?_dWR_qh^d?{9j7eB-qQ5ID5WZkB z;#N^A#Sk`a;_#xE%F=E&tVa@rm1AQL^7XC!0WX|wb{Rhf*9^{q-&Y`4EqnB8VpW_p z+BY}r%0U|q2)39fTewH;ehqr`0ZvaEjUA9?aE6cthiquEYtEtS?cvW9pS_3|f^0W% z@tAH0{2-+@1~O3ZNmp|(h^Za$4nNLF3g}MFm!}*w^*h@27UhF6o3xvJBkY{y!{%=^ z6~-vdWqh{zH&pf|il{GIc;e3CV72&UGbGOm_5YgRc(MWx6G)wSm+cJ-d&ZV`{A3Hu z4Q;y~$(W;~#=~h(=t?g^D}l@`+yeEElTbhez;XO2f;)dx=I##h`E4-_wi`$B&oao) zd;7~%S(c%D$6#3{xZCOatcW^@UVKRwraVxAh!@!ZLlt^*`=b(8Z#WU}l@6IB52Y(o zYyWk!UUIiSdQl6(vc$6BWLTK|F5cRjaJPzB74TG{IpZO5^-05JwIUF z#3v~8kQ4R7QB5)Hup3_Mi9Ph=m(-y&8^#+(U!=5jTD1dW-MQgOTP&;!M#*#}vC3t+ z=63cImw?S}9W>m|{c5oG)cH!nhO9CHgXAtxb4AFYTaA*GzXeG-YG&xkLXH~TUUuUTJtstHYVY07K|8-ElchAKBm8= z?Cb0DlGXUaSytNy_)W%N{%GutRlOVxP$Gk3bVrAYkT;a5=j48YmnSgdA=!Y+07p`*9nz|_Zx~$ErM0yFWawr+vneJ?#c)O z|A33SjSlNs(K|ieWDbhKsbv>goU}NqEYuE()pkX599|Ul_{Tb0@~QRWS+bGMHX7VJ z_1#3!8b$5jytQ}c$}?sl=z72aLjHoqtkveESlAZp5SZgqXuX;%9+u_c`yiVG2LU<6r>nAthN!Z$fN2^P7j zi1Hh0s0ADa_Scg$9qI|mpr*@egwFb3lPGMut<4MR_0Jgf#mm&bwa1uJ%*6Ip4uyADaL2g>}dsey*y~c z@(Mm-)L#X&2BoP?=DM4JdeJ3MRxrn?4i=*n2>VvWQXPVRa#+{Rl^DyYi+3Wc7e1mw z@iohj=d(GIYe87IqlcTlT?8A)FYWVDSHKv3)TJeY?m@w|61GPKzC!-2uqY<;T^<}K zEhMWr=i!vv%ShP+-){QOH;+`MAZ1Z+D{`ROBweGbX^Hi4+2GU1o@i zfpJ+2O6tHH(OY&7M#&r6A^!9AUI6j$sQum$h2K3jy}G8b%84!aA(W7_(vJ=!c`{>2 z<1a>oXvHY+_%*N8m|#ne^3+S}wWTu@?UZcb#$(lfl1$7+B=LcE8AnhPT_hT=z}(?y zyT$Z$CaEI-%6if_VrnSPSfP|5>1lu`R_GM4kc`oESm%BN+-I&;oHZRikONq9MZiqM z^7De!bIF)a&)a9Pfy)i|Y{;DSkwFKftm)pNh{W(xlMF|c|(sXsGVo2HN(UGBUd%|0e_Y=ZQJLgxn% zmpc2Iz+eXeNGl+Xp^sKV$9IYykhH-lBW4b~NH=`xMKsqibzxnV`z)XBxi zy+4iLuIHX{>CfmtS5yz(GK6l!VbQ6Q%HQhYp2|_O0l)PTs($W3`AYHcZMa$+g#&TPLc4QkXnF)3^ zBCz&D0;EIWb&&^78B`)udvW+1DS3nE&r4cy<{VXu*Cbk9K?Y_gOS@5ne+yw48&rrS zPf#TXGWyuD-6Dx^i7_m2c369H!GFq)yNzrMpakI`J%Fl-N|t$hZ13!IdrwAvZ(1yH zBapQNHr?--c$Q>AUZ6m_IXThvUz)ZUqs;v#tFL(>y!LzDQahc1M<$L-ykaU7!M8#O(mH9lpfP3@aDaEy#%?w} zk+&xipIYAtPePJIPA(>$T-8QW_vLoOUrh`whXmrvpV!KDvlR6DHdfZB@yqT!VFI&N<-REp~w# z2DQDvJVXHAx52b(GHf((G#VUyqidAzfJpAZjS7=a8hU#Smo7Lp#7neWjw0V9~I zze>QGhl*Pi@$mUDSDU^DG4u@fj@p5lCbA|n0yu5>ykE?`7P2R45TCG-5!WtH2g1Xc zB|W``^30*YMj}dN*F6_mcfzUCfF?B^ zyFcx$lL#KwqgInuyDC2M-ihM}aQ-R&k~{vFym>q?L6<(30ltqfBJEYn=w^nnT2fW` zP+r1?sdreC(a4S3CPPSM_==_3O3}P+Q}d(i*R$ zYTfJEzc3l|J*CN_1lHiujq~e5)(9=?O{t|z?o@E!i*vw@9VWj^BwG%#u<~mKry!0Ve`W(hc3G<88Jo$=@Y(6loQJ!DDaHu85RjZ! z>EknW!=?Q#Q=Wom_v#@5U>;QWO|;UwJ0Tr+H2CYma(ty_xNbnG?TA6!DxBQ1E9`f7 z`sEO=Cp@2*d`>pE)$%m=-c-fRn$lsoE604IN9q{GY5~!i2tmSJh5~)s;**$M@}{BF zZ_Z)10g@~K%|(*5-S(~$)HX!um={puQVJq5gR+9T$^LM;R&CcFfS@8hq;5FPy$T{I zR(#0K$OxBD1X^q8|0(Rr1F2erFISX`%38=JWefM*{UQ~zl_e>vM=7#q7a}(=FC|YT z9qlQt+O$X{qE(R=ZB+EM*h56<{pOr|)xGDu-|y!i*PQug=9`&sX1?z_-^@Ctm@A`P zJYn|CdyLDT>bu{6ICdo=`Ly2j=U-B46b#>=l#ouDqMWn_Ir3CZ|NCMas(+20=e*9A z9cqC&KWbI16)0yfx5sJ>yp?~v@9dYa&%KUot&rNP^FzlV=Iq+D|MZsD^fpZmty#{` zPK{~ED*x`0bY@lcTl(eQl~sWOR`M;;C7rr@WhOqouk25H-fsNXr@e*hT5E4NKPTWt z%8>`pzq2NMwKK5Z-rX3nGP~Fy$JD}Z>ezx;ALlX-qc=WC<~Z&z*<%N``&Ka_>nE-LCIu9^~#my1xEm z%|59J<2!4(n~yGBoaa2veAEpcEr->Hj+#tqU1{@;gYQ)m+I%0hl>BSKkloC0J~U?h zJ?ZXQijMPtzH+x~Y%}N&aLKhDKAyaITwz?TcJr2R-{>a0^^9!#zdgDWwpM@0FTG$+ z+~!rM_|=#1_O_M%bM9rrkmJNN%VS?Hk#n)$oaFcQB-Dp)ik|28j_sat*mK;i8(N8y z(?&&Es3?}MTu^p#KzfJtiY|7BY}DqZp?^e|HwLZ`=Kr(2urOW0dffEvhWxmk8Fo*i zH9KdlZ@3`)=}=|;GwX!!SN)Tn^^1*eU2%-P_CBLdS&qMkJI+BiA!1E$OYW_F?`ht{ zhfS%52WDz)dEBfX`N5o($8%oMq`Jzwqpn`zRL{`n_7iJ%eXdruz5n+5U}A4&R6&-l z>YvLpFQzNE*85*RW~wYZbo{CI@J$!{_$$i6Qs+4vmiUI36i)T)e?(iZ7p&ISwjEJi zqm}yHLto{}R0;mU*BhlSoY_12el)#vypnWwtWruvyRCw6OyP0py-VIuQr8cH=oX)*@YlDYYUwf9{lX6`eQH@=YUXiX=W&O-YdiczPqg9?ig0>`W zl#QsH`l7z+%7nyBOQYQlGP}ljrFtA}Z@<1Pq^=-j-r#PzKW9xgi24}PTT{7iX41vw z*6aONTmMkeM`ge*};c!{NxmYLLOI#}zuDgAtB8YF67p(rr z<)%#uJ0_nGutHZopQzB?8ay~uooEuU)py*xTQ1BC$t$djIL{oomrCjbF1wFUDJa_I zH8bA1?rxVSHRDxJ0^QakKU&4?O4d@=_9J^wJkFS(_cL>f<78RA(drFD1+EWVY(gIR z7b~)gdSuT<={N*l4?7qiz4>!s{B8c_p$lt=DSsBJmduXqnILgsRohH^tKB)&_es0Z zgJtn!qEvqDPh7`7l-9mU-hF^_(Rh2&r=I5v=Nn#m?yD}pT;o~0)r$!ePDfS5F85NY zD%x?rDJ-}3?rp!Dsr$bxWV&zlirMOMmi|U+uzZSEjBKl&&U?cWyWn+tFP){$yF<+d%vWiIyLyl!&x>r$md?l#eThMI=dFWve3+3n~bev19h(`;#PKQpFjR$=(?O~FCy%blB@PbeQOc-CKR`1#e9@Qj-^w2bJh z#$kWyO4#?D+#IPs;j{Y*6L5 z-IN16r|WCpa8G?TWHdFfjge^FXZe?N;hoCT$GzyePvLta1DD-kpsrx=7 z;q#f%cMtkljLq>J!U%xrLGHFfOWE%&|!ok(mH(c)}%SI*r zrSm=P`a=HalYNXc7p^3=OqBT=m-XpUw3d6CuZ3G^)-r#%Lwyl9TV=jQd|3b28A|V$ z2fZ%&tN)ILSI_CwgCBD>BK$QQ!V)#@($5#zzwK*vPn%)ld+-D=H(;E$jH0&hl(}}R z<9<9ait0I8_$cj#-=o4}nej3?`yN#a#%qo%OoC&B7ri}@>Y!_SvsU#~N!;>d9qcxn5_#3<;hss7jLgm@%>sA^K5AU5;;dXAIsmaD%*LzQazAyc4 z0G+qArXOj2R9;{^M}6zlRc_~<$5#}}ET}p3FpkSz$=urV(DA<4``Y_u2ZH%VoqwdY z==)b2wPbJp;&r!vlH3jLFrO6j=NGE%lCI_dJaGJ$LH>;uZc^|iT+XfrR-;kE-L9Q; zU#F+2pPHCw)@)Z%zsL6UAC7O_FKzlb=EpXV<7`*=iA$f1PS6dHIWpy(MX}`JS#go` z)u{`YxjA`T`Q>~x92_jVd}OIo+TgieeB&MJ_NV1kYa6)+=?|WG#7Py#%zG4U9#Q$! zE#nh4evh2-x_`GtlkWVXMGH#qBrFP( zlDOHCJT2(_r6V7L?7FR%{3yJx)BRAv{D$p(g@z0J4W}&&nErA&FTw3j;plLOL+GWW zm-q)>HD}(;Hno>d3#po6qOeq{?^gPOP@ z_CMV?=fshjHVroO6Q{fjDYLlN*BhwOX|u%WNU2Wz>@mn8?}rgiF(JvH%g&Fc$atHc zTlMWjSaZBaVrF~Abp-u;@8AD)pRo(|8Hpx5i85ZZc%O*gEa%K#5A$#e1In-xo=CpHGrfxbsPFl7GvW zAA4mBU%#5;6gP3_ww)z8ow1+0t4}M=-OzA8w6Ki%z++tQmUDWtbAyA|G=4K5PCwz_ z^zu~o8swJMUH&%LAB}r17I@qlJYzliraje;Kd0zMMy7U*&huGwp0=qEn;zT69aY*C z-Eu;2&%4$M!)qrkYFg^wUmUG+vZAI&Z>d_~+$p_o)|MB&+8p*j;Z-W{)Jk)<`J&;( zEU5^3K6laF`0aTol}z0#^b*!=zOwJA7xg{IVd=q7Hy4z4kH5nA)2g4nj6TWblk4gm zuOb+2Pkf8bJgd{XDM7BzmXlOoZts{NKdwF@iy3e7YVx?X{fi!*@gKjMd*V3tyTJl= zgT#FnWBm^uJD~V*S;*>Ry!O0V8J=bP{J(Ger(U1?M{HjZ%Slq}!0I*m#ub;8y_UDG z(AsQbG?n|(*rPBoZD(CAe^X$Kv=joLxlk-JPErYWBr4tTj! zEAOa<%2?BP*Z%#|(KPpk{Ot>h1wH;D`Rf|*F+WuyS*=3__H~v7qWo3b5 z*mGS&w?0N!W})`Y7kUOiXXKt}?>+Q`nYc`LcJ3ET|M1m+HcF4SUptxoBy{b^1Lho;^-Mr7|{&lAbQa||rC@xlbHFH=qt-njZx%A4OlA+64R`A~oOa5mJV<8m`-Jg?AzCvAHS=|DRfKi*)jc}loOY zg_U~L7W>q>_`NAQ_AhF%{py;94S$|8Kw}p=uF!eFN^Q&G=ic?BCVn-WeQRJ~px*wZ z;p?XDCg%OG^afk@M+d)k+w*ZKCjM-?{LJo*NBn3?%Wm(G(mCI@Ro>hq)exn3Lqp|Q zVsOu;S&KWZALa2Z%s;<+{Z^yyqr#rD(DnSkWiGy|t#)Zz$yq;iB7fFB+1eFrHLmyD z|NNHw;?Npf?xQXWDivIns`hBz!cS4%({`<41*H1Y90#hO98(@nJ}sdVcQS5?)VU*? zFM7kToM7?GTpNq_Hx<2p_r%A|De2EUEBBaetLv<#KW&%Z)K%m1td+hXJNen_Yol}x zsiWRqIO()zLEW~%-8LrD#jO0hua_rY_gg&K?n1%V*9VZv<3F_RZ=Nb0mr&-ipm|49 zg35gV5DR3|6N9v_zE{Ineoi+`VrB(x&wp2+`SAGTpVrSb`STPil)Y z)OqQF=&uTV64JC0jyKQJEhYjiwM&1XBt*K)=Vv zWp{h8%-HBZDWxH>_e*S3Me#(#dtWAX%nZD3AUFPKT(Wek`%^Pz_dgQ7a)YCCGmXOo zKb%^oc*Xg!Y`~}$b8q!o__jA!4Q|@D@<{95CBakndp-@fku*DM@?|%Fm26X}NApX4 z#S}w1UCPd^$irJbzSwG68ExO^5O<>{XA|$~4bQ9R+C7?oRP|IZu>DS@v@SkmQfgKH zE<43EpRxz>8cgxqZWHCXVHrhtp^0jpTihuH{d)@^e33|6lE0Eu8JILF$U(a5ZRiUi>xME~akFh8++5bmE51qa+X2 zEo8(WQW=`$cX!gwC-Majmsnx`25iUgW7Z|7OiliGuWz~EHbwcH3)|Nve|P`e#-i#V z)oJ$RqV_=FfhF;JUM3aQ2CQ>0%hvsvud4m#^qK6Xm#l9pj58hIFViUfSo6j9zxdjI zLEp7C)K8B#eJ%ZW;(?(1J(E1C4bBL2dclJZTIH5uCA%J_fckr*DrXhCnN%cH8qfDl zSUY*q+l2m_ll#(kp0PE(_GQn0W@~_#egCcTl{2G@SbSELi?wY_fSq#0L5ENs0U^b%XUS&ehSbrS$shWfktdjPBCs6IVa} zygp*Uq01w5Lg9O@;P|SQPx}sD8h8De;+y3&rqR3~AA7F*`OcR~CTRM>O))B(;jTwJ zeVQ)5EdT!Egni-kvDt?nx@WGQn0aqjUh2u1u#!zf*ZsDnX}PW#v+l!&m70BfD;1ne z!%KFk@Z-&8dKT+BrMw?_lPljJT0U>d)EW0~WNMy3>ovV=rS!G!v>whG9%b|F;DNc8 z)Q#`{si{tjNtK+X$mxBs!P{7Wa#*&e;0cJU!>i;lU`m^13@RS3{$Qi|vqw_ZMCdt}JeKq8e1{ys(g%mDv)p zJ3aqX+xz`HHOy-BCeUK#Lz-smANo|#**!^6Gy`GXXR)QzIb3FGW<(QP<2KdaCdQ-92A7#+cPZU$^CiQclDEe?& zJ9?snG6M~5rBG2-=%*{eVc<^`*n+l>zu#4a{)gC2=86~rH8c;$WucEgQ}m?-y^=Fq z?`jALnSP;6$8Jf7httv6FO&%iETY5+LKmS{i4Wk33=p(s7J2&;+FObYaBl_d;ED9C^F6t(l@C!DXOQE!Z=uIu6 z40`6|Sa}>_(1UOM^J4Iifh4+0B!AF=P0^mtk<_tkcTN&ep{@xMPk!}JAB4|npFRJ3*1rUayp#&mmML|XIehV%hnI-2mpt-Ij zTGc_3cOcM$4%mXhf@|)n2v67)RM=;ejtGd->A3HBh)f4sUf?ov;4XY;uW+B>NGgFi zoq@H2z*=44Ohg9*CN@~Z7~Z%Q%nGI~kVJ6hKMcYp5g&x0W?w0WXiyhLmd_E9g*Vb_ z!OTp?*wsHW$cHLip2qX3f+_tHk}FtK#?IkB8>oWL%c7J-yH^M)2^tmvB`!V>0VO4v z?+7VJpO{E0E`tji^OeHUX9#)^1181G@m&-SSDb@z*%%AZgcB67;|OKO*};P3cf-5ePr4|x zu{RUC*jlo62S;BupXcT>2sLYg=`82JoF5+s727-0I5p~61|5(yWQ zKmiZ~=l6m{ydIEfq=^bH5eq>hdq5&FprC1rkgQ;Zp}jp6&aa`kNHEm&8^u{sz;9#> zt^pPc<2MaG`i&Ar5P77Bu7HGaiUJZ0Q6+-k<4Ro7OJShI!9Ku+Vnk zCnq$zWk?kGjUj?6^-(x#;^Rb>P3NFaeH2qELF;0)2Cz|&@01A!c>m{Lz9a|%LSGvB z;};K|?-bjy0^=bpG~hcW;kRSrlN^y$=qUn=;c5bWTurknk`qy0KSllzMA$xC*Dlg$ zy%C~EMFe`K3IQ}dDjjdo;xYmO9J;^_Mj&(yf(Mcj2m^y~(08LH)zFH5iUNf}W1yP{ zC@P)^6MH0RoFZhw!XUUMMuxKi!o-8O5CR+!rsyDGfC$2m5Cg~}-~`SC6hmOf#F(kA z5@bdp1`tIADMSe1U;t5~TwqHVWy`|=xQVH{YyBgAj0CN6EG;ZyD1(V{Q$#2Ipvdtt zka$eP*2YLfZ%427J`mwWX;@p^01aUaYrz9oxZJ@fe7%2gBs^h?vRxMx3Ls%aXWdXQ zUmx63!Vc&FaK#{)sqhBlU@8F)W-5XEcz`qculJAqFDZT@i%)=!?i{43Oh7Q};+>#f zsOazyii!ztLcAT&2qVlqBYMI)W9AWN2?2G?JkSMs)gVP_8eoqA#W`|tj;p{Q5Mg&E z0UmBSK^hSNFv|(zmXH!y4iVgRAq0Ts5JBXo>PGmijr0!**2i=P-HI?F6xD%==mT*< zP~-2qup(&59y2FhqvXpG62T(a@h1 zWpuTKq_h^W5FNsVA!4dPXlVZsW%@#<5m=3hXH2mHEL@oXf&)G@ZNlmVQ3fm{209VA zj{(s*&?5UMMQOgkaH1Y6DlEoWlmZ(7;vyorh|(NP6dv@e2AUdz+du>ZMOBCE1mU8~ ze^ONW!q#0l_1{P^Rg9;gDHxFg_7Jo!X!iBLh>Q#JA4C}hxkuAc+Gt5tK5kHiCX9g4 zu`47T3&ofa$cX3thGMoBws_Yafzq+5BO}xK4aF!3N)75ST+GA}_i%3b1hUwYa+GO`RM zRkQ@$M5JO7G|0rIVnTZ`Y!F_Jh%&&!grHs&gLJwgGV?0ApGf)}ANiYxw9$6S*ivL4rSQSZN0Cp3d*(?NONW>A&01?gr z5oULJisV#XJjaX-u=0t3G{eA&i0;-HbQ+D{0FedO~NNl8BmIvs77l%y$huwab+P=l#5 z*l#+U#iKJ&<`_wyG6%b#2>TIv$Yn9mq%o3Q6($!mBH<|qHnh*-DWA#3LOS6okQRr* zbFc;(hV>2<9ZQ261`FJxFc6f59V>{!;4>53EYkS!X+&rYhyP2B?HS#Vu&;v3p=SGz}VOV5QEWqY^+oig<dOjR%wdDfF6S7 zdtCn_1i9GC6Gep2Tr6*h!5C~NwpkN}0YMrTK15;gnTKsJi7@OK;1>+nKNEKIA~wMu z(%DQN$rpei788FB#y=r6tWXn!G3hj-&_EAsGAWKnLugK-&VWCq!C@28)4>z4BPLNM zK#+r-MTo*^Gz7ghUQ(V9wIi7X$yz`HJefp-PF{R)bV6Vc&iNmUp2^~3x)5JfP}dWM zfn`dXBb&y>&R9g}0|J5-#9=T;CU){6iU%+jR#1kHV5~$WzQBY^?en`gOEWmC*%RCXLKHec;hM(v|7*1|SZtC*GFbmrc0r9x zVuBy|i7|$RLrU%-3U-_?#N*=|2#|(BiU+WjAr^}?mDFd=G& z!{;!G>lExqV0KLZ97xK#MZHV3^cLoq?i^}2R{|+E- zA1*l{KzJb~Kn|CKuV2jezh&n!NGX*Ar6n;saUoX{6~qP4CEpfQRFKC~pbEFd?Mk6NdSZs2|b_kGK(ng}@{(egxD{4DbLW3&W$aiFQYL zG@jVL8q+^!5#kvSoWntA6qlL~Cmp1XI*kX1Yy><63S+{Ip>*LAeTEKM*omkvI&3qD zu@@`niK`hZcl=9JQIpVFT-0jk5%&Kq@cLB<`~~vke_2sinz0wKEWlk@91g>30mqWXvtU~@xC|>x r4vURgSy`J?|9=z@Dtvbl5$P2k858caP6k9^a9A=@GiNSvvX=QDja$aJ delta 62546 zcmb5VV{m0%*Zv#Zwr$(C&5mtz$M%kG+vvDsCmp+Evy*hxC-?n4Z~fmo_;9}MF~*v6 zjk&6Jt#$q8HKQ+4*1J&}NkD;)P|&~)P((0RF5np`5l{yd@81*+7!oK8kQ5h$96&}WYEUjjjSR-k1vG%B0A_uq zz8)heH*f$73)l(G2Bd)|2O`2C1NETcfK)JSz#!=V4DyFT2IJuY#={5z&!BNw^m$pn z?xjY;EM?>|Z0X@C)Kh*W4n3L>NA|7I65l@$&kNl=nVe@K z$$)5L_Kk_2hX+q)#z9$<8%x6`uh$6N4pRiKNf#AB{q;?(>Bh1?Kq3kr`T*XiaAU>zU z!agR*E-~fw(r~JBhKusaft0RD?ryAL#zzvktroEP(|j~Yi`64HyfWOX)9TJ(8S`Z@ zxTxc};f3y&@ntFY9to3-7^jmBxw!3was@SEG@=(Jy48wY<1J9YcplYnN6Y!e`YfNt z3veFfVg^N>(*8z=k?p#4tSu%rjG)%Q=W6bUuDjRC%>i>8!y}x{O~laKY*l*FR4w03 zDj|9{-L6N?tRIND4AT@SqYWjQS}j=>0hB=h62FEqK`Fv=6wPVz~ly z@O`et;As5RzTXp6TF2 zzA%Q?**O5?L|#x^bno}FyjfUcAc#pWC0P`b<>4g~x!vj5xG5_VHH@jag~&5a*he}> zuD4�}YBOkw1T%RSm^Lxrc8qf*~uUxO$8ubpXshiv71qNVIKg!75qhHyP=jCBVec zmDlBrOKrI2g@Orf;8AL&2q(6SYVuxdL%orbQcRIoCH=v7GxBdC5Fn}*Mzp&T)lhj# z`+0M#RR-8l1NJi|x~@NHtML0It+al^$($>|n_-HvP-R8rAw+l7h-(Fdgg3CqK)}C? z`w5Xxu4zDf(tz}74$Ja@`EF}nIsies?@0rAppaEA&8IPI)`Jw zimNieW3G-*>9F0R6*U*Rn!8LXIitm_}eecVj1N6(eorp-VoqvWzJL z_Zehr1Tl2SaI}a8+Mx-Z>;!m;#cJAzrC+dvQ3alY`tG{suW1jaFp~_1Acm5nQJ5Su zm7&wtTlc>3g#vXzHndM-5Rii}_nYEjTGTs>B{94v6Rn3V1s*Qduoe4@n|bD;qSoH} z8kd#03BBw@(U^!;4+z74rkFw~7`Tmm7Dz4{d|>?uozIKT$xYJw9Mvt?tskfJCya%g-Y0P>2*OQWgaF zxrIUIjYbO&l*Z8eE(xe<_0YA`+DN{nRXepVF@UIrHMZw8Ro*i30>!Il;V3G9unhY`8^(ec5` z)Vl^9%G1#i@0O9{Cq)JxI6V+$Y-w!(6;u}y_6ZJzu4 z^3p*ZD7qrtmqC6ggKtoHy}rM@J+E9PfLs+VQ9Y{;cl^X31tIw!LJs#zzp@|8&oIeq|K*wqmZM?nGwWo5z*R@K|F z(TdbxOA;RBYE1`m9uv!b6l0SL4#UTG@{KeX&U_bH>YGlfX-N*3@}{883n*I-{B(pf z&)0wAlS)ZRhr2~Inet}jnuBGy1{`rz#(XQE2)54`VDu>-KC}+VUE((nu71UXgMxXy z>3I^%*N%{H-g#!+^?fd$pE5AzEXzm2#BolS2wQoqE%dBCA#^_J)u&I+!!7`q1yLHTxnCG#*&or(*Xfu&_Zx%U# zyQS%v70IH!LWEEePZ=7}ba5Jb*fKyvbi>~d@l>05rjRPKNwNGYE9e|(y5uw z8(DTuqW#l>LAVw<5|KZ|!Daav0YOv4rv8A8*QxgS$ics{YaCX7wFBPiAS?pVp8Ynd z0g`&JN>mN5q}V7F4HZ=H7{Dykrau5?SSqOMR;JFv2{wK9frK@u`JxV|a&TK6vI(X- zf`p!(2i}WL^Clmc?Xm&iZeR=~kAPQkFbNPY5mv;9ABY3XNg*l&J#QlN z(#%N9)cbaKwhaIc_bGn(M_9PIyIPnyWT1e9Vy4l9Vxs-~g|7z3tY+cn< z?xDeD;rd4pz%h$DIy$+#k?51~vi>U&3^S0RA#j0$)XcyFOcX*kCJqiB5_Vn=CT>;^ z5;hKACJr_>5)Kx2CRR4?j3&@84HvD1gU0(mYV98xAwlw`Hh`#Dq-eaH|4Uu`CoPG^ ziuqqDqNA%v!p%m)$-~3M`K6v>u}J@K6?QfjCYG-XDHb~L4F-Yk-x>bxlKH=5**G|v zc-UA;96jvq4dMQevH~U#VB4^AlJNe!$}iQ!%0|gnRl-ECMh=+ui_rE_` zSxHz~{zoNoaD4@A|E+Lveg*#srGG}SvU~;qEcf4l<163<-tp0AtbKwb!u?l4aj>ug z7qIC7da`bZ?U;RU+NbH)lToBi&MulM_ZlfN>IukAle|1aD%;l4`HpJ)WV)Zfeeee) zlPt?Gb74%!hV}cNiFS7V?;`uN-mB%R4UV+AD{90HF?F*`yF0sijXoORV&9arv)XZU z>bH$A46d3bDBp;kK0(2+TniQHG!4rHF6mDJcFo)3{T=J|`26n#mHx-+OGJ}`8O%#Q z_VvUU4~LCY$#%QKf7Lq7miRu)9Dbfy`XB%8dG$USU1saB%KT~AdEH0Usq$cTo7aO5 zu;~p}PO*puT8CNyQf|nsW`N&+_6_sr&c0Y+)eLsl*p+CS23M}?rfaO+qilu9E?+kR z@C}JKLxN}1?&$rA*Tu3*Cz;y6vBlfv{9NiHlp-N+a3g#D3Ed}Ad&lqH?S%9!aH%Hj zw$142X@Ha=B43$z5PjXz;*OmkR+*sro7A8SzZ7XLh;KO%y}7O>c3VuBN^0)?F$F?I zRULv%kn^B7iQq>0jB{el?~q*I*T|<3koWtCVtdfB@8MJVkrU3|2KjT=T*9)umw|xV zR1t4?Fug4i2?PB{bgyx~`Vn0)9Pfy%Z|Q)UW|6#UL@5ItkD_T1W#wwgBb)pmdHZZb zM!u?XQ%%#wbH-Vy1?}=j!H9_h&+^3ivb8*w)cviK>nfX@&bvN-;z(xlo*pepKpM^3 zo`)8N50gFw7-n;{f7=vYfzxNb*Y&TBUMQ$nHmW$fiD02%RgJ#k_^R!!XP@0RM;z=7 zE_#y`@sS$LROZjX|&1?+ayJ&7}$hY1r4^cAs&tyNmiO2ilb%)pfSU_lm-K3aI%7bA)nb(h-~KaaYy%RMR{`j*p_Q}H zZ(Ogxg8A_7pG~-TuLWk%?2;*G_p8Q$k6+zZ`F~@C1@kxJ)pw!z!?*c9k@Bpvd?vs$ zDB91%8w!`!403hmU1cfZsbSH`{O=hrainZlRBk$D=whl%uT+p(yR{2N0kI_4!Xv55 zYKJ3I#I@x*y4`CCTuqv%w-p%`VBw~*^P&r|Nv()Rp|ksVS}$No;!n7JiGKJ@#%VoP zyl(@$CYL==3FDJLYR-Rdq(j)P0X+hH>%z*r^8M33YIpvndHiSgwe>&7R}s@(pnX()Ykpo9j) z0@o_ap$FNlk3JjpB+u?b_YLkxMl(mjfjuVHj&n*>f`4dBSF4_B0FXKSHaluK)mo)P zXCF`5{KqkL&X7MXS>wv!gJ6T-{^INh0yWBBXO1ci+UAB-kwc6b8cn-QMk;!f&>VlO zbU1MPV&QI^7?4Yb>E9y$B)AG4y~%PY zs^ok}bWSj0RSAbWP5*0rGf3sr_AT5_6SrNA>UlFXpg0vJ)We`jQ&XjlLjzp9i5j=E zzg1%t9SP38#&1-6_*CHYopG{h_uh zjymQb#!t3}7qOW5s-GV3SB_)Z0Ta5A8)a~<>kRGh{2YKQ(U=)pDg>O&iJC+Q_Nd`x z%7WfS`!O}-@O&2gwQL3^qB&RXAGUf{vasFuS4s!8Zu440>T~b-)6)5Mj^uL?w}<)G zI@U}~8mi8;+nj8f9Xz**ESP-O0!=tbHcx)hOiTe1PLtK*Aw*)JDUsXdq?g4RN;EyF zo;?sVm2v=%FvOxd)ipS};D9+VL*$n;HfQR^aGgRkv%x8lbng2IO?{tXK4vE!EFbZ0 zP{L29SA6DR``%5a)kgopg$PwoT&n22Wbbwcfol4Zo}iQ@E|sPrAu>ED5UdqQ&BlS3IT^9k!OH@9^G^%-=?;d=r-wNTbanIOHpA_ zUQZ2H9YwIfH4jia9)j_t^N};e%FX(UJ&a}3QU!O!&sQcd_4qXz$A$fMn}me^;sU%b zf_jXi{aDgnJS)B+LzgQS#H}+mc8(-t41~*Y3dW?;L!5!hj_;!A=?0-t_NXOIU8la@ zjy?ddJ=rEFjbEY(1|r|0QNy9ujt4aLSwJ=I&s_{uHtpB!Cmh|fnheoYko)6nf1Jb6 zGhut#2RYGvSFt>7#5`!G-H(F;~IHk#wpnS@~s) zmlRbpX7OWV?Qtk8cydq{^xZo`7I#ms(-LU3w=x$DfL05>uEVNJ%;0GF_T5B@7(k z0QOec4$~8P6zMg6AF43a^CQ1ix|^*PhKC+#ri|*FPM}*}Fw1s6wDRpxm}T_j?9`iM zI*zVmd@)Ny#SnSeJ$Zo>AjDB8JVsmYE;60?^_ukrR3XBY`8gytA^-w@y#_%QO~ZvK z{R!d}lYIJ7xXtd${d>#5KGKB|A@l@r%Be5WLPjU686M8)5$xv9Tvo&l|*q;Pb37HoeN_arvhh`Ey*+uE^=E;9EnpZvMlmx za-)7&e)oHFp}L&7l;>K+xNKa$7k6eC>u8m0W!x>)&no3Iwgm2Jz}vOlYQz9C34qv|7;MYZ83=~;OvEETOauN`6dAKNcIYslEL+9uPBx8 zyNpmqDHLwZ1q1VgB2{t6-Uvh+UTz%K8nL7%Q9ul0Pn2p8!J^%ieejJr$>3yr15ukY zIn!MZ)u+atfzlSP7ko6aT!Iyl)H5E1r`el=I)cSkCRJe+tJ%tV`Fo$lmf##qSM}Y{ zQqraNBz#2eGS38(`ow**y851YGR~AU3#QVWld+05+N>t=h!T5x8nlkUA$WTLS!W85 zA~?mI(#)oEc{8jG^T9$N!sV78psKSf(tdj9R0WlkPhNntH^tfpC!RxcG-uH;< z6Jv9vT6bDRE$`n2EJXmEu>>;}=FNRI%GbXM(wTq;n{#s}bw8g|1l(R--I6~aQwQL? zE)^?0yIF{zWf^j;CVyxhomf5e*$^dz?JXmUa{#p|Ek}_Hl){nSAFfTr(Qnckka#4N z%}p#EjwD_?=9J4xrA1g~;j9~Dy?ZntVngg*n!r1j4TOy~D3AdTn#Ikw;2iDDRF?>n z5WK1={LK|1-E4orB2X7)gF2W;?kvrih2web=Tpoaul8)yud z6*O#pN|}mCF*Abu<`9!HM5|iJCU3Oyy!7hhKX$Ks(|BHVx)KWChqyopQoHU^T;K#$ zCxge;3|X`%Ur}=Dd$XADRc}+UcJ~ToG{P6YPtLBH)+Ye&W)F--kLj3G*k-tu5=2bn zo-{`mqsNS~s7-^(S5k$zlq}$yOu3`?ilGEn26n+aTFeqDT>*o=lEX#*pP2CWJkAMM zMc!Z#gbi(h8-%9@l)g$mQr95wX}rA8ej?!{<+y0foW(7tjSKOOQ$THzwR;OS{qG9> zb3qa;R7X_s!aSK0c8W^4!2@++@c88=qL zuSle{ozWaqOJ-#`hn)m@4axQAMrO^9>~{X%6Ik{nAC7c*{a+B(L;M|D5(YZIMfEfv*vJ%o4> zi>m1ay&ayAa& z=);~tGnK|YH>tr`O0f<`lOI>cI#@kvMehKrDB;TL;}2owze)X`O-BYBCP+$AQ0{#z z-|<1ft$b5+XCJHRW^2uk*g7OdP3udPE>kMb;2vHoaa;Y$jjQ@=7o+nEWLF}=Q4%@6 z&G=w7?ut7fk==sYZz2rdA*L;)>{j$5209%Aa~LYPvDYXjq#5pqK~G1?M(RB9lTiRH z(ICZ3S2b;!b!@gaYH73+T9~$hmeeAk7d)Q&l@88v^b_ilH%*|u#U`7i*U)KhnY}h2 z_U`#&4oxUlv=+_I{oyGjR2U$zQx`!?Ez^`!xrT&^?df}RbD|yEGN=_lUej=;>(z4B z+#hC569 zJcm_KbK1F~EiDKipl05&w9PmR&yAv0aCnD~^H&$Yf4*D4$M)~|-wDIE9xwn&W6;4^ zS<^^BNw8R1|0M(eo2js}ei08IDzg6vR$*oN4{Bg#`449>%&7YSCkC>t(S7k1Bw}_B zRwiB+RuT?gb|#)L;K0to!^FeQNy5p(#>B?T`43@X0RI{bWTjR^KVZoJW+wkHWaPh?{XL^)7Sm+`q?tq&vq?U)#&5qnl3i< ztMByi8QK-_)kc;kqWx3hq?}RYi2o@tKD1ABL8Qb|{9x?`5BT($s$<|w_ZUVu>i^qi z@9bZRulpcgY_Fbw4rPm9Bstx-ncte`NMA93-#l`m}q?wTI;-l>rw z-J;Hp%FVLtmt8Jr7W>ZjW0q6>VNaj0REZ8JtCN%LM1H)8zX^j7?S%~Kbo-0XI|bD- zY0!tZmvpeJDqQ^itl|^;3`5n;7s%(sNC0$6+hw(8e+IB%x7D>X#7BUQ@&uLLMfK(x zgh8@P!EAnx3$l`23!#I$ph<9o&V#B--Y8hWC?At4-L>PF^0=F9nQ&cn*wM>4hEZTR zKk@+u_&3gg-iGdO-dhnbo9rfVl*#PwiWa^*)G~YH-Vw$cB`!l+Nu4_5?OAf7yxNFDO;&G9=_U(*1ZT|{p#G3+u3O_DHBASi>cO7 z>@Oy+-8?wFWzB1qfN&mNV=UICDZt0{DXFN*u^78Ok}>ZN)wIcMQR$P1VH>d53E&vqO#UbqX)=+#~z6)-oU6!}a(=t-+0nvb(bzN;tpN-2o zzmZnK6nGCnuqF39JIKki?$yrijk%l)Jynv?n%ZUk2<{1#J*~2o1rkqO*&#J-aR6^x^X}1F$5LFV5kaLO=(i&O?I;$eOKkNJ z{Gb{7-l{@QQ=kteZL(6YdpRhsGnr(IY)$Bo6vpzOio$!UTXx|vFT5fQY?Y(O`V=Pi zS6){*CgSkZNin{TK!C3i&7L2MUpUqv?ajcqSv?qr30p2W&_`ZV3exa=Z{D1_2mZDrSCq6$R%D8 zPkp~fi>L-#e{0NJQpNI}*Vx)rw?;AK08Sk#=VT7SiRG_bVgchJOs1C6t-DJleW3A` zjJI=_);?fj`C?(ezJYt?L*lo9n_P73>lrC`ypgx~=Hjr0-fK!Y4w0NA9WD+o5aQt!Nin|L=KxidA-|Wm+2m5cW_T-ZJtTi*Kr#c5Ec4c9E=_)s z#nE}kK?dDpyaPzyL(+9jtxcL66&5q8N_tRyz$ix1C(GcNC7yWTrcrrfL=o0$}gyCfkN2M@iE|1={ zq6HttCn`9+q3`&?K|AlKYwD@H`|Id%Zao0;6gJ=BSmBb?1jV~8KOY6#3UoC5}^yW z5$XvL!!Eg8c;0vk^pxcGkSKZImG zr7;?&tYHwUI@io#Ds`y74!@z%8@f&;M6e0qk%#m!;YopaqUW2o@!Hu1bWHI#nP0SFm&r>?IH_cy2!R0r zTVlBcR#K^X7qC8aR2+Zq63gujwMFO~A7mW=kL}*l>r?5!5YZ;uh=-|NVx|vSY6Ex_ zn3UkqH}BHxLx?=R&UT9?Ypk0RL6NEo94d0oQ=$fcslY--iSrCdyA>VmD+*oL&^~6B zb*1)yHDpwalx65@Mv0T%9+lL;icL)dh}TBgLelh3?kkc?E6Li)$NRz2N_8K9d+k-V zB(32D@e_h4?Lu+=NcWMt)c{)^ShN?OgJX7^Vf@UK?SqIQjF(H1aG?rjd)qoCwwRZmmbr(}v?oTNkOVWy$YR-lc;OkI zro+p8_spPX69Z`7Y86oon@>;Ke@QA=7LOc%qXi$@N_ypsVr_fSA$@bj{vdL@6|n6? zI1i({Bx~ZFng(URR$BZc`AC}eSB9q6nQTSBGBsR)(u3ZJrsq~zQtJg4AWR{P#zC1i zL;aJh6Qe0xVJ03&9><5RXmR zouRfXW81s4fq)sFUY+wq@P=k|LOp8~s_IsTS2tmuuEx>=aa-EsNMpP}m)-g~lmb~@ zj#u-M`&p9yf}oq_uATQAAiFJgX=_@cg}(VT5hsG;p@!hJ2z6jL1+d~i+GMs)Z0s^G z)C#?yq6kMTu#e&Sv<615e?2AIo>S)R9g(}-h8^eH#Jh4^F;qEShU*N2U6(H)eT$#s z6db*l!ZY&SSBdPqjL$ip@SU5r8J9LP4sve_yui~t)%k_^fq3W);A4m8SO1ydlx<)8 zvqBmEg`C9eFwct@g~WJE$SWTAbFDQxRqQbh$6$=njLi?m*VKhxK1N9ut5LiXajQtC zvVEoA207fo!(A_XiM*^*tc@P|Rn3RIaGw{(ae)njx;}Y@$CGtNBrw6I5a@TsnY<;J zzP@I>tZ=PWIJx;kKrI~L%_t1hnD)|VJ~SgoWr1)ogy4l)Xmm>3B5&(e#{X#~@uoCf zY$Om$Ja6K!nDS2D3m9CTpTTuR${4vv%LbXs?Zc^p_D`yfjv1#23&j}WpRR_6Y1>ux zho6mRxCe|B9YIu3A$bi(njgRU&*?pqA=E3}+AIT`JO7Sc14dod8HUQ{r?G|E`@Gxayzei8fqP7xeTY-;kLlji5R z96)2eD2cGX7C9888V%f#49exeY6LWhxnPk96B0z_8VaPDH=xW1`MCGz1~Rn!w|z6% z6P)Q5aWqPTMd4PD3t}l^y@}ZWVV{2-1*1JP=%?Nw4Pb^(S1}okVCw^&Dw6kfJdGD@y_f{zBT2r3e=-1+_jWPnW4khqEIh zIL18QaL?Nx1!MZoXbi_mN`~Qb9g`82)F%?gu(H7r6~yfV1Ip(ikF5x%M*HzPuzwVx zDS-8K2GC8Pxn>(@GjYbKCaVHd$-M1$o0I?yyg{M=Sj^;^Xfci}&)@>+Hmw|UD5acC zlUC@iFoc4d5=$t0PpERfHF;a|#=y%+6vd7@U{s;KB( z)d>@*|CPk=)kL?#)>a7{#5fLA#e2j&5OTariC(eE)qiWMEY34+aqdlo7rgFu?3OU?3cnEV#`nj)>tm| z0cd{k(PC-9>LbGN#=Jvfr!xv>7LDftK7g#3;qfG45VL{bHFeG0mSON}0P$M2=U!CC zF&a9?zsIUBmUYa~GU?^4-E$SPAI?&5e4>Pu%044UNs!WAL^Wct89Z&bA=*3#e^7Bz z{ncps!F#OHo-1GQMkAoCOQ!S$X^T9^Na^+^zNb0)Fo?Y?2>M8Lrj^w%r3EOIu z{C4b*RrEVWS45$QvuI+jm_m$p@BI95BGEvp^Tof#o%5KI*T(3D?GUOI|i=7a>>+6?@QdWl{68MPxMiyy+68 z(x1daDQcT74Kcv=(pfFTGOW|&4*Rj+zj_J2hOCM><_2bBY%80ak}9}VdvIX`9F)26@!(I>zM zwZC6fbghWTcu{^X&*5MhGg?2GQJByE`l+bc^LJTb8@|W9N>?~7^Lj;UJf7m~we!+Y z+`DDNYS*UPR6;_KVjp#S6hkN!@O1Jv_X!T+t=jqzbpj$#8BzZ~xf1Jt>@5G=_3{OI z7K#LbyGmG?>|Y3ngPVkvor{U{%ecewg_&5m{`Ko*SffH909lm3PC`&~ejU7+r6vHX zU||8__)vk{)QGTO?w&9H!^6e)#eZm3{(pOAzHavAi1{CT3_A(ymtE*TUKx%rR>THO zHetYF`=|AP4nX{`LkAqJoE-lgI-mi}7;FO%I$Z$${iZv$v<=_<(Z2l>*cu`3N}ZA& zQJ)B9);ykdwmb!nx6#a4KCD*YBceb+%58W%U1bo)Km=b)0p7duw{D2~{){+n8P1%` zX?Y>fdDWY?t$1lUkEZqdd3V1Z9B;nWRgWBB8FkM%_haT9^sco&|NXda=zjskqqJnC znM$4UD>d{kME$wsJed7)GB+Gd<#?O8^?i5naM6+IX1{?XxP>tsBO0)Bbwg{G?KNT)XrHxF5lC=QIhX zYt&oP$(|uY(gx>6$&yB45h@(5C2%~uthGf(v?oBh&+W^a*OEZ^vV7XOf^WZ2B8O$SF_zEbcE4mp;oxsGh2;4^HJtD0Dwv*K)Izhmv$ zwRJc^N-iFRXw#$FSd%CLv{(L7v@y|SH~VSfnTqZLf&-_>ogZQp{JG;asQQlUAGYQ$ zjbWmb;-5|lj1)F^LvonK3`hqlIDNt7Z<(0=Zn|c@ETb7~+Ma?j7-N9C=cN+14oo)6 zw4RA308jH(3a!(%pr!-tEv9;-Dp&`^V+Js-T?6#VCTbA2*4q#PXVZk9UqEIPqc#gwjL;s%nv)ziwPEo{O zvN?jaU<&#U)TMLojt|l8mHXWPUDZ6N0o)W5l~?TaDyScSW^+fIkO6_)@|rAp2_{*3YF=rIoHdq#M=Vi47a~WtVVuMze)aljS)B6A^L|ry^xm2BK<&VqvfO6yG5`c% z$M39hQde?{u==dS%Jn*juo#L1rXbX71&(L@+^TGFqfdf4HaGwXigoGNCAJ^Z?kwHeQj1c%OeIY!g#od;~k|cj#_B0Vcp>isY-yJ{*fzl}Mff6MN zael~4q@!j%%?KHACMH^U4e!I6i2QAS3%d=Iw83OOz7bqmH1HdSSpJD37SjziznJyf z9KKP?FkWB4Wh&d4!6I00*03}2$U(&xznU1|Z$sh*SOf47%G>0yRI)qn45oy|wo!m+GLQVUJ;p zkWaI{<1Eq=wWuk{5?0usw}GSHxi^gVJnKopo zT<>WFq%{z#iZK7dalt#_QzwEDRtk8|Q15)AX~sH)-S>JE-u5OKeA65P*(sDgU65v` zU?$6-I$q9+MJ~S*o{u=EdvMnW?Kcl%?YDa#j{@7EL}&Q^?U=6c`02C954@-eqbCfK zfO}*!a!A1%kE=`dz>Hxu8l~@h^4?Xsa0JLAAOgPM@AerH6s(*OQyO9gm_mXS;h%^D z?}~!M$wQrcjD1Is+&d;Y;bAt?oRT!cQ2pZ)ir z>^V`CHq8Wykm6m_okH;!COD*;q83r(Q7J0x{9st{ady%^FwS&cL%<4Gx)0j#lbJ>A zm*7?=O-b@b=&>I0_rCRohQQN~ZwuzC_X+%B8^m@NAljk-^w8I}UG8U_)yi+g8@HN9$; zKcO|SeJ^&%9(OLAafDLF-=ApUL)_IP`rx=K>-&VBej6Yh>69NTi_Q-z7{bi}0AW7| z9rLF!h4rT-#i?^(DqWty+H@15YQR*iyvg$s9QnZnsI0y~+`YZ-#=Fm|DT*CY~6IR+s41$E=l~1MU;v zNu%9}Onx@ADRCWj4ns`XcM6HCF7$i{o#8iyd9&(Zr<51K6>YAk5(H z<(*?yeJ>KpJh1r->K3Dqr?==ORjCLn9KuCH`b@@#Z$%Z!6KD1uh;3b5sy(5jK&x#Q zo~&S8Ke{rJK?I#`moGI-$K|?=M8%|K8>coK?9_!=q^6mv=g_QU2wencWatQEoxuqK z5kxIatdn|&6^=y|2bXEb4`47;VwA z2NHJO92J+1^Bfjz(GKACXqrmo;K+ApI|Z8r!!fARA0{f_XhUEXc-9%Y*MaQGU5s({ zQ7Em}#QxZ;T|Os_DJO$rLybsUq5O!{x66h?EmT{zR>>M2wg-;-0nE_|N%^)~s$T`u zv4M-mRN*!7{N2mtPli#`;_h?0)P(rMr@cZmJ@dA7-<6fbq@|NQ>gAunSr|QBh+`x{ z2BuoVL<|*SwD9H)D#A#7xo!0+T$#hQgdG*TLG;3VdL2X|NATigI)Af69S8_W7KaMa zu}61rGIO$_;L)wO0A#U7WHL(;0JeyaMsCTD`_;eITuKanb9QAnhoXS&SV8u;g+kgM zSIIN#yUZZormiW$HSq-B`Qto2sKfKwiE1OIwoY<4V=%F?=*MAEwSltgX>3Wy9!->} z_)?bSrrGq|?irBVHkEfLUEl>uj#7oo_b;zyKRTPlOg1qP0v4(a&)&Et|I z=~5a7U9FDSS0;-}!Zve|MX$1lH42{3oKJTn61pF6%zLoA`H3PlLHmYw%@s5S6K9v@ zqQKz`%8t0hc)+V>I+z=oMu{%Ch>?VFy)W`N)WohKATsH5D%61E7t$U?hqbW-s6>58 zJr&ODiuMQf01X}awSYJrz17hbgjO8)_hBFA&c@w-nA}QwV{~+$qvHlL1CeMAQfSufGK*T$cAGuy%xE3dX26>q@xB< zszwqGnI1n?Sl(zghqh3Muir8gz#7dBn7gANQpYT5mGeb+s_}JA*Ah(Xefn+uu`LPa zHn$_6%6J9x8XCCr2`8@t%5g6*2_h>IJ+g)W_~d+-YFb3%2=^>xXalb^A2MGaO^Bhn z2=^Kf0EFpwVhx`%HOq*$T#H?=RkH`Eq&G8%0GVJdneU%46|I z$OmcbsfJ`R`oT}>2`kq}Ys>~s_O|`;SpgcOdrZ|VV}j&DcB56m&mjVrmzogNf3&hE zgid@@vvmdP7Exbl)yjyLPru_Nz(UfNN;%8I0dC!Un_28GYtJ$mPqn3T%&}aHy8u1xyKB7UC8HKg2rnHxF=Q^~txm>ks z@9=GWwq)cRf8PI+s%M5@Z?3GFQ?ugFBk2i0u;o<6hVxJDF`UF53yT~OqEkN_6!HYH z0a#y_Ca^U(bS-@XT1blX;X3ux9v`!d>3D@f-y!i7I=Fw$ZP=i1y1!Dsgn!yx)xN69 z!Ea^}ND_*>P_;@(-XO5nb)0ymyqDNO=hSveP8VunSVk|K z_XAHPbl6$h#`LlThE$Pf(QM|pOn12vaW=jCw^?~P74w|8YF zxmw7vg??ogbFJ0L{{-j(M069g+&&!cMauy&_)9`EmCw#1rl#T5Fi)U=xS1$Uk=z1C zvrYS~LnbFjgd&BlI2SPkIzwok1;Fx_%?-ljd5QxFp5B=He5}Wk5MSCCSvfo_0k+YJ z#GB6a3XQJ;Y3{kpRRe#u7}hBOm^Bhi{`nd_t+cv)na(s%@Rr`UnPKQcHmH4-c^P!g zOQA5odwR!CxE}+~&mMKFy6T#$c~u`SioryP+)BWL+@_RkzSC=7Wyznd=r4emHy_OT zcfkuof}~fif*>s1$#wjZk!9Rk2OO~a3fz4C8#LuQ(KQzM`Mj6lOV>SqW}uf+vDCuP zt#WCL;W)o9KG|BT(;_Nc!x7TidIsX4cjTrLHF*8R4zC%(PQX>I$}hwGq0(kF*S!2V zqul1>5KAp+uLbgn_HjcmG__SM^y%=#6CE!c(x{Pu(UD^_Wh;YG3BtRj zslQZ8U6fX0B=t47gwjrq^wYNt2kFdD-H^GPL05h*74EnukE4Q=?)-0L@%J>$GCu9p zd9Yl~phexNsTfmJAHzBLWb8N@gZr zYXA`MwV;@0wcFa00&~dW4(wr0W_#p(x=c&mbqq#!25i{egc^liJwR?jN|E0_I^8RV zkJ0H5C!TU8{XhEX=&Y$cWjnquGGAH&t`dw!kG9(fVK1{DzV$j)3k?v9cR^wsO{ z=nq1=aThrIXK3HJ*?dP@uQ+ewTX`BjJL2?Y|COAxR*d{Ne&8PeC1Wr&tLZJNz*$ZG zjVt$^&;OpM$EjjR6jA5@BJC~1;@GyXQ5tu5cL>4V-CY9-4nc!E1ZW@x57vRkT@u{g zHMj*28Uh5j;Bp(X&-r%te&6rj=ed9ARZEJhF;}hX9&^sI<`;7$&i%w5(AxvZ;6Oj! zdU@a+ufMQ;8sYFTVS6w}LGMXo!mzN;5KZ%^#Jk9dW^aG z4+ru;4dmu#<=_$c9|k`1DgWa@w7>GHIJsFlxwt_bf;0?&UM?pOKPv|>=fBSh)_?&J z0srSrs6Pmu|F3CL|KffAlRfo!KIxI3`dtr+Tw+rPrI}KJd{oe?2ThYPP{v`%nxEan zTvFme^1mW*09*+a04jVAu74ZuF`S5>p7Gxd8Q1SDtv?tt2rd#I6hRs;${aHr@B4^xu{`7 z1V3h7=|BS}SkRD43^#gEuPf$bQO=DXhx?!LS&;ewH+pEuyfQTBj8B zwqXROG@H3EH`|lnT<&Uj>H|Dt0L*9HGxV_ZBsksd+=cPTut>X)d@&u#WRR5)eP_m^3_wS**Bn~gS zJw)1a9BytLfJ(ZVWoxQ(B8Q7_mOGvs3;|oOrY^)d6Qjmbny^1K71?Z;9#T&|dyy7; z(>~*F=!If1KmH^7Aa$?KWbJ&n|G~bVKh>{&A9ld9A{b03NEqO69a=DQ^BCOmHQ=fx5be z@&(qh009v1z+TbUOfZ2neeiXuekgjr`%4|0GFE-?;H*WJ1<}-am2Wwa>A*cdFAXiR z4PLfZ&|Ge9UPJ997rRdz{kd`n^6ccVao4R`EvbdgvEziQ6JIA(0L@HLk@=hGaGHL(StLv>kk&cF**rfx2 zL%{9bMa8=T_(Vf#gw@Lwm7t?0b~5-u6YODEGv-}IWdESKFZ)vt2$fm|@f|R(jn6r~ z%;$kN>&XrC4N6d-=;+vA2Rs7|oI1i+3+a0VFqto*=DWZWE7~I!k;fUzVDlHOd}{4u>En@Jwf zptX^K9X0EV?p4$FOnT;3tD}=atY{6HZ@2%Pn~)>MB#WHn#W?%CM050kNR}`4tpMp6 zMoWJ0P2t^JK0~2I?XPHB#KZHJvZpy2VVZj%8H_oCuCt0gGO#lb?v$HX(C_5Z)>rio z>XzRA7t=YYFl zI}e%?6UxGhLzt`M@%>FDEjH>$AV=zlBmvmG7h^(#mIqr-wW~N4k+uA0f=6Q{(0Xz* z1_P#N+-P531!$O}@dr|G4aK)3IpHUq2DRHT;knykMJA+$@spD_2L5a;o4C>bd=YM+ z7kq3s6YB5diLUM=v|hzSGZU=;ws7faaERV0g#Mw9bJ7LLh1~O6WdOmx1gH>)Z=5*9 zT!-n}nI>)tXc`nB3Ls0F!q@2PTkZPsoN*py_LEv5V+^1^#TH#3#WJ|4fqP4@MPTbR zNDB%hU-WPoGZuvLQ4I)x6AjC!j`?{js*CFR_V?r<-`^$9m{TImB1O9cg z&x8tu&AMNI*ss^U$2-TkD**nQTRK=KBX6>%LMng#S{t7QX$N!SN+(?A11$7WG7mcn zI+4)v^h!j$?MK1RjW98dOy3=>9j?XNXI z+;fMCTZVNUJm>;HHK0CyD-V-@;SFtb4Ml&`3^}7eZT?=Yi zs6hm$`7k2(?I930hKm(g6*9p>SRNw#(D+t-8*7|ooJu%Lvy_2pfT84S_Dz{?L-i`A zDkyk2MnTy)n<$&G5qZ1KpKM)a!&g_VqCvA&Xfi!R^l zu|n>x*{x}}vGc@etjY?DeT8lId>rztzPAkcncHB#)%=UK%4g8PoHTE&IhHfUVZqy< zUgQpJ@K7aCY@0R4oj-yV>+SVAf=ebbUuN4=iy3V7GtuoPb$6(sx)H$7FlD?|)<&f2 zh5tAosjHLN z@pT(Z6ArY~s}m~~pufWbv|*;*;r+zLClH_$SM$qpLXC?6GaHl{a>pF4A)_7UC?+yZ zr;u62X=n^xag-t5snblo;T;_xAaIY;61_BbT+0at=+#dnz34>Io8!^ zg-AsNiBZTFh`>cQ;^5_4Yb9rXiGddxs;~4hkwD|s{qje6U>#H;P4YmHFHF6vtG6z8 z&PK`V?5l*Y`Ja@zTEB~-fZ)6>eP!`G6AMbCl(*2{<*>qa-sG<=C)TuK>X4}vo>0%t z8cPjueB~5);UDM)WqS18 zf3C!^3_bQ{q*W-1=x4Z@EINYyBI3>4)kJ>&WD8hjDwtjZI}^YW z>33f%X3bxC%#%?`;?xE1gG3BrHW~OY>pXsK9RSmE2RXaE`!%oFp>92+ExwZ~+0pf5 zmwl6<7Eu9SW0esY#K>wJ_zpo|VK)^|JtJXqan4G^AaFWdHl1?fYfkXmvK3qiI&aWr zE+|5>Vi}8etFlJh)=&`|lxlz`?xF$@S%r6!6IeT^G^SlsF=NhW3}~A+z96m#&P~a8 z&x~y@ljw-PkG6`&I(OzdI#~$BD zt(+#55J;u3Ws2C@H&ms1Npljg-4X%j%^xN`78qx@H{|u%m#zE+_1Hztny(iVC6R^zD9=z6dpF8C7KsQxP%5 zkY7Yd;q2r)^_KYBt6N&7sUVGs0LO7uj-ufcFh#JF(B$Q&YN)m$Z3C2)+>Rs9eMHIG z;k`19?jFXi(fd8$-BBqnXXOOkE{<+rq%CeFF#QfHd!27eXA*1#>5sOt+p(l~%^%0h z62f|%XqxOp9#;GP=G<=ZKYr5cimC`nhFz?@(d6XPSH!Yd&=&3^ekf%$j;eN)J$5OL z5yoZXa_vQ7VYw4Zf7#I`K@chP?DZ%jsV%-dgWUl~8|`jW+H+>NY5AL8-$Vj4uHqeG z-}RHM-Gwcx*-p^cKxzz$=MD7~3rlV7A`RMTcAg-(AU5D?2;$ljCe;8M(hKlV5vsxv zhG8?yt0Gi2RyJwgU%yIenX}{zs?d>SMay56v1{tGQpedS-hztc@}QU4GLyvNkaH(% zN4~=ovT?H-F@98CNAoed%Bj)%+z^v;wJPhhd)$SDNxMduw@+XOuLxPSGRjDF%$zFM7#V~J5}ME2ttXj= zgI`?}z^&55*Ry9nmr9IxVsF(J&7G9qQR>R=GFxX!{!kyf#9DBvfu@dBfU5NC2Oqhn zBn+x`vY@L)1aoS$&Wl~4J`3s4~8 z#d#=+ZI;{$JyJ6%PN?nMY!~I)?=6GQ-_&eUtCPNI!)#16SAYY~-G_Ub$mxspz45|G;gu=7T{0tn6%Y z@`pWO4TGqZ18JM{PiCc_p7M1jm6Bkh=Fzd@e4y4jiGi9s%H_MS+IwES`ca>m_ghFA zW-EiN{m_4qId(A8LD z(}~r4w>5+YCLdZD_i6N38`qbG+kW!4o<3_$vIGpyTf8!{J+(Xo9Mxxs4e_YKA|4+* zV;tz9M)fD1T29%oTxp}Biw5Fxt=x2vMyk|{?lrB#1W$GxJH1_un|IoxuRA8Xy<6B_ z1(KhdNMY&hvh3tXNLqgQo_sBkA1p`Fjaj|Zb;$xZ#+gmJXj-YrVpAfW#sn*qt%ss; z6!U&>lf+1CQ0m#hOQ!1h1V(y+Aw`*r%K@F|%~Lr`wd>ma_M}%w58di{Mlj1lnGBOw zxvLsB_s5tycx`97g<2&MedEJ4Jicxz)j(SLjz%BWrmLhZ7W3@6LXSLM8htwnhCtR( zxU$b2QO(`bdvx=q0A2IRnKJe~0B;7td#we|vfe_L8!2cV1)dm1vmJg}8lR?biD9Kj zyC|-;JgG7`V{%T(QG=Wu)88@&`51JI0^dd3ijVou=LTpFI?sS`0)~QBin?z&6o9p3 z-}8!+UBotD)T{6x*%TsMi1e~eYTX8BRFy$73z;_w!&%B^lzdrq$J~iXio_A-Cm?S@ zUe-pt*wM-n86eax&b*27`ZfayjqYC!&ByWjWMMT8PhI^b7t*<=yeZDJ|U>z+_p&WP^5{LmuB?lO=)Dp13N!X} zn91)ZqGReDaaC3H6LvFZr|1+IiYW)V+~gT~U*)oE78;}Y*m!UtYNX#7XEOrPmp+*Z zCWgxZZ`S2p){)$q1@e$vMg}6f;EQ*samZ#1c2h$%C`pYtEY$W1D5QJZnkjxTKojH3$)-nM7>*@);Bu^H8o zPPo7HsGGr2=a{3s{L%%_bIQwYY8k8fJfP;5o*~}%$-UqE)xToX8A4YQPaA*l` z7+7-yEtf}v3`f0tzYhH}0FI8W0*(bNzl^=WJDuk+H})b*qWd7)KTa&%iXtKPrE!dZ z=rcr%FF4(@JN)I0e`hmuA0lWhRCu=a6mL4)vT3+tMw=tw(pcC;{d`YQpd)*9hG|I^bQRM{o3k|y3rp zdo|Q}?YM|YRy#)hIdy$qVe#%TY{YNZarop+^etCN2YP6^xuk>-QGNO=cgG{1 z4+yZryA4l*WFYzobZ8!~$JALoNR%IhX8l8sjDrW{+|0oKZ~hj-S3X7#azNr3e}Dd! zNz46|Neeo3#s_T~qk&nN0BB$*Jc!~lO{6M-8xjJk2x^H`1HCjs1KqYsf;uAMK*mwB zk5bMY3<{v5C^Zlqg#L~EpbDCF!3JDeq#=-MD_xI7&@B}jNZw0hJ zNOOpbgM&d4M4F=lvUfuR2{VX+YI9VfdD));Rn1ky;r%CkypOO_fwA=zm4`4`(5BuPrK|`47L5w{KMi$wfa-Z7~o+n<}UtQhu~Zb{nKSgwStGg689SGR)U@H5|T2 zv;G}*KE9{<&i{B(|EPb{K@YOYc?2EB@b8Lu|EmH1KBNEiM*OeVcmn!ycH_YRHp~;~ zg3bSx&f|gPxc=O=lw2^ z&Z>gt?_qEu>H8rdpFDI(M{yAByfP@XMH!SfuLPoORR(b_sDPRvpTm$(?KWkQ#i9!6 z0P=aisDjJ!PoYE(0nR4}BTWZ3fD;5s$p`5@l}5hN;XJK>f432&FWeFxu=ub{d$f4&FJ@!9M45=<(qQiMwf&X#ZEy(DwcJ#+gf0h5=nf_1H7$TJT z-^Yvm$?E^9{`=f`a!-K*51&J`b5_qR`=g;c-fZ54I^M(Z=!oTmD^sCyK=pHvj~)g- z=kE*qyVI7F{YiC!_}|9<%a>^g@|@KJN$snGw&$M~7fy&WU$G2Fzn$g#&sJ@#24n1|86WdiSxQAuUaimiv9o$Kna3NH+JhT9N%sCK?7!cnoPTLj7=j8H6%q~sFF|O_XrQHRc8DYe2KXZYpa^<5jq{gA z1qPT28dA~p4GZ$0pRg-Dzy`2`o1p=8pp~cMDWnMg1PyrX0e%hxpa&^+KB4he#!Wul{?IT z|5%_oIk+ETA^JBgPbwLZ6_#f zbK?W(aX22|1%Gw|+dnn@W6^yS@+g2bfOsKr@qkwzi;ho4LITKno-!okSF=? zIURr4@#z)(w4DF(jQ{(c`)EDzF+`IVmWxN=uSAc1k~gj-^~cRXII#?Rtl$e898dbu zp7f@0P@luX=X4CK6WR=w<2fP4vI1aRGt_}XEUvwPjnF;yIuxSb-dlo51~v*v=9}$i z*p$JTkCXp->p5?g<$J>NE?aXJ1I`?CA0yn>YR7Vziup6^?C1*^q-wZ6xH>%Sw zvPJ^O=f3vZzg*&8d!u7uyk#t@f68oJD!EnlieQAd#&PUpP@Ic%UzM-^v`YIR5#P(& zUqd@32BCpXO)uG?)uYg|)@53jH>Rd{SE+ukunr}q^4X|K3KZ=a zZfR;`{r=HDK`_)w+S>J!vMXsq!lcp(ld2Gb3SdN!TWN0H&Q|yN4lr9~cnjta9OZVF z)k}lgg(4m!ic=-0B-}FNO*-A&Bkhm~sSxH&!+WV^CzacTN)zbGe4@%liWLWAswmA2 zJTmBE5fIW?uy79PI%M&iS|yCdl4L83ceqz~~L<5e|k-O-cLl@{iat54=?5mV0v zUyHayGULc9<7=&3k-3JUisK1?RNAJYfTW=>pkFO9#b_0)FIF}z&_&W}HqV=YX0<0^ z8-nz5qd5R5%30@}fIav$&Lo)T%8pWC;2VpfTJhyyq?qKNp5+f3vBse}q~L~X%Ajgx z#?4b#E1L}j6cO})4NEVI6V8{W9%02<)RPDxN2sd|E>d-uv!La_pOq#P5vdMj%X5-Y z&(E6|c8ut$L;gs6Hw>KtN4wqK|EyXu+~cGz4}iv4i%yJ*wPGu7r^cOiD3rGkOj?&- zl+x!?&D%~IOMPj8JHmVq-`1Qe4(-cPRdfuDpbn}r^pT?lj0xh9njtmz<5` z@Mylh%y3agWp*o#8M`ywB$WRdkTm_L=d%}IKL%*|=na>cn{&JyX-VpIG$Jr99BN{e zoaIGFBdz48+jmz|WUj}->^M04BE@13)t@5MGj7O_HnFXQLGS$&o_|~dk(_}4Ti>qy zM-wv3eZl>0t&(@G3j_}QaEo7HCg3|9g#0g|tvkH?3jD)Y*6&`r*_tlSegqEisI%LY zo2W@F-Hqp6Ey@vlFr2B4KXydkq0dsjMTjPiN!LP%05i5VB|yZvW-sPwkVP-4_bp-$QJ6u ze|lcEpD1mJXlIgs77d`fA@Kpa#~Dy^2Mn(p(i-6%%`rch-n+qHyW)-Vtb%KWnLk;P z`T4zG`>Y5NXU`lCO2 zOC-&cR0Dw+K?CQ7$v&ORmdr^nZ~{6vRRa6airp8{^);h9d@+tbGx4P!t)O5V>~JG@ z($zLgj7P#gSRdv0V!@5jgWo>vjxvZQXrmVl2+9oEG{G(ak=P za^Htc&`DMt;VgQhkYhLo*zPOIzQo@_(oOJz^1zLuV4Buf4S3=f} zqCFYm&EwQ_@&!F~N;!$N`U=q&16H&)hF+5*r4;bVg=zpJPU9JRfgdHT9WSw#Cf|Ic z#_$jzH8+COWp~6#>)+@t`jYCU9d|M&u5gNxFB!VUA+Ycofzh^fUu3#yThBImQbX}z zTiYR*CKwHPo%-gMgyE|xlxgpZ%`4&?DBaKe;CCHllgF4E7aaZ-iwz6eJpq9My*n`; zC}`3=zCDUM!UbatWkR;b_($1?gv`w&=_2f81Io^dC42GLWsM7|}Z5Y*$exkpbNlWY8CsA}}~e&G#*O z<~l-}sra=qfdo-+sCAG=TRvVWv5_{ZW7)c8uP0#S)S%aKHPBOK9*jrfdzwPWwlVrK z8%qbYI!Jrf_tKxq$6~MqF$a&21%xs%oT)GoP^q}Bp0VO|&AoM+?zZj^cBU=$V7{C> zF$ZyEQPvRBn*)R16}%IOE#N{JPpE>BkVMjA##fwTGU)Cb-P>nWF;W`SbY*E&I z&S>+}S!mm)w#v4)YPbb@rPiAB6?X#K0m`wfTE?KMYzolNEh)q~W=TQ&IO)@gllRcO zlLq+CJydl2qJOY4)vi7je-)s)36vApfb2eVz7e6d7qwNYa&HAGAqdL&^p#_}Ot~YwocO zHp#hmX^%TFN>RM9nYrS-;boH1iK#JXac^wm^{NFmqjEOGC?#{K4*_si=j6pV%>7HL zhIjO9=^=;-k?~HT&U#)6-3|9krPB`GSD~OpyObK~ zl)1B73g)7{wKI-c7pL?LWjxLPdy?_n@mVv5&5$XLm<<@Z(rBiiemjyBBU0*29w(Sa zk|`%m!E>+O2}GyLf;Aw5T(^hG>ksMgdso6LCB7ms>YE3U*=3BS#o)dADwASqF*t1E zZkCw~Gz`Ieh{fcwKJTUQRa52PkM&Z-QbrMnXIess+pxy2eF!ec5tI zXF!EVB=n7)E0@k>)&y*L*1F0_BNin|?lwqPKyP=@UHPGL53dVU zm$@ioL!qG=BNAV-FfZYnWb>4z?ii8rlU?sT#Vd4^=8L z!0uzh8FEdC4hgz?@Ir1*8%m}j_K1otmK3-gRFy6I-4JIC%YQkl4|^v>E9!HMPX<)Y zBu2KzFYR1g`cN4eRwMdu$R1;MtNDTDX~R3=8D(C_7!i&A&Lt&h^0vlY@+P)B!>S^0 zb)oAb`Llf`en94WidqogXXVs6%&usDAiU@en9%YSSA?M`N^<|YYlko5ry-q7RPR6+ zKRkN1W!jG5%Pgo@pAE1*N!86`4Ctd_Fhk$Y$)dc8#>&6r+E)B z)d+hhU7J2qPSJXuFpAH9X(vmiT3vnNzw--K!?Yo#)RK+-&Y}jE|8v(cWdj}ZsGA8A zoV8@gTr;eACx%od5J?Vp^>E{zFtAfM2pW;P@?(0xRZzT((|hTT#j#!s4T8&cOM*@} zk5QsZ;hC0Jv-Y4_HJkJFv9KVt?0HbCx{Gsq`9u*rNMtCI{md#es$}6_-5K@n;mfY4 zQBT(v#*ZS~h((uZcy(mjrXTDPFH?qV>vl-+cp z{fxiA2QjAU7hX*8P5!r_^*&MNS`enH=B)}bPQE6n-hT6QyG-B_@QE|v*Y=F0j8+U|-iSHH@PMbuGgQPY) z+1>8$u9*aDsjeq*h=d*4X9)3!V-tLOEu7FJ%4AAc!7rIFRYCi?2M&msXA-A~m8eUt z`7@L=k$_-3m_1dbn*uDtlFF|BRdi{rYU|3!pJ3A$$G@#z|Ar5Gh@VDJm~igpnT*~U z!{L2ac*#r{65-Vp4{^^2pi_X$MZw}oTPfjRC~iV0B^)ww;)2%J3oj^apk+J zh@#VAY_76L@=8h5G!Iaa_xQ8a+M8gIq`d}{;PgXD)91k1qxY7uqfO`Dg)lu%>3%m- zm*S_Fs6M!7X9YI5%3WA=a+9dy$k7ksz&YKnFF=$b=br5-fk@9cw&iJD(e5EGgOa+d zla9okjwdeDI-$-v&5@am&9greaU)YB_j4NOHb}Cj;3mDik9lb`jk{-3do9*6@pJA( z5in;6a3dGS1lr&t2Q$NGZ0`{y!iR&Ne%*s7aREl`{|Wv6?~Wy$PdWmcl$@Nu9Rr-4 zzd3A9t|txvlyOJ`AvMsz!4IgZJ?O+~Ak^04nf4Gk^%}#R9+rs}TS&!1OGTL#qcEG_Vo@00(Rg zIRquq|8zv1lq ze0+SY{D14fRnN)^kOn|@$*gzd0$4*sbMw?M^8kDxHN5q&_y7rz8ov5t0e~~4z+eAb z7~lzM5~yDid92}KuU8ibyoD4v>PI92u>gqYq~2H>FaRlVfje&jIQ1g3fL&>5hz3Ll zG%OxCwgVc!UMCVj4Z!7jqG|uOw+kl^&+j1_QGhZLXdd3b4e=fXFhYhrG3kE{;d>l{ zTR$)am}P_J;r~BFz#}(+Ra~CmX$AjBL6wt7pdK=!hZM{X4NLHJJ>V)L=zQGYev-eR zo0sG9+<5f?#L%gf0A6rAG%Wt_0rEo7)wsXi0Dlbl>z1j7p>vEO+k^g}i>W_Og&qRn z^8V|Vd7o|>7mJ6B=RezYa#Hf~K**fRC;%=jKMxoG?;Sg9;Iwh=aCnswv8kWM2L;J1AfA+7w~U>N9zJBA`dN+5FEv_j zHd$@9ZEn8i;>6Q-4i*yUUSrS83d2;#&nj@FrbdQ>?hOtQ*ML@4i2sX{uNlgs)>pWbz=%yGDAZ%h35Ed2nvE$G!AOZmv0Qb%W$`5lAZaq*G z3)KZ7sjE{Raq`d@SNMcgKCiH(qN2RK9P>-J5@Iya>BR;f)TLw`D-=!`0qh!#GwiJ` zp$XJU!0k`vumBvBP3T|O?^3(cW7{YpslV{wvP}?&QPS7YT!Sg0wz~lZf<91EYKVJk z70a1WfDYqoKp0~9t;&V&IU6wu-zTF&z(G#w7dIE;)|b zDVD?qixdk59jM8<4)sL}3Kq@->t4oja|`JTxQ}}Umn(#bd=&f^I&EA70@mU ze5jTg8p1+%y|`hxy|_azwzb`Pm3;j0^U^W1h=~*q5fc{&0Wm@`4C-}WK0p&&TztG8 z_%aIew+QMUR0QK11oQeHH!@=qhkEFth`;}zHf)K@o8>;@Ho9ae*k`?#Q4;_Vhpez@u8Wxo(;{dhdOW1PK*^3 zD#maQ_IZ0-u8V*qc^HU1Jb!n{A=wJ#&SnhD#ll7MxS~lEYq%<>a}DjHlyzd;F4u*l zWQ2yjkHKhtX~K6lwD$hRh9d!NEB}M2CJcOt(ES3t29g34Vj$EN7Sx0!c0w!^Y*?1= z1Xj>>scAq3CTg^FA=LOj93X8KG02#Yi4F#n_ZIH1?sXoZ3;jXQn&Q$?$$%7SpM8OL z#z!4Algqy0h~w9Gl=<_PEC9cW{gwiro8p@6mW?k3``DO1Wi|7)TYs1Q%EO@S>?Vf9 zE#RI9rh*ST&>zmf7*{0gVXi%s6cH8lag0TadmZt|fmxbF~*7 z3_j-4GMLuuXN$YHX>r&g(@%5Y-RmI|V&THU$dXxru@U!o8P7Z-&wIocpI9@_+Gz#$ zheS)Ss=Y|XDNHU=P*(DZ$Lg39_9Cknepar8S#G ziEzheuJwAa&_lwOWsXtn8R;3X+wfc=?sqK%K#>qpQ_Ud^(~vIK_vAzCCWaZ|jIf5o zqf1Akq%<0jn7sym1`F@)pTU)%-N^gPJ**3Tv@7!0BesD0GlnuhNflb1jI zm2GPSrmCDZ@t+{8I!K${CTVIm>*KA9BA!kb`T8p}`gne6)wS^21A6p5#)X}lmw?as zqG^F^T}|+_y|12m1VuO}T%rXwgI4GFtfxU(p;Un)B5Z}*@AV?F)_`AN7W+!sf?FEh zh0>+kV7EA=GWk9g4Hr9T@7PA9{{E@pm#gANC1cysB;}efze!Hjn`}#=#l)1jp#$4lvraayvM~mPa5;)tTSnI zmotA}bJ@Z#=lUdcdfX9wXs1INnR?QaDl9u3@8V@&XP*0if+iD!HiTb6fJGR3yV{2H zYl(twxFISh+AWdLKbS0$!zVz(32U^6F&A$W8~ef9<-sda*Jv2%77@)qSy@P|sXx_#San$AG=0Y&;nUgb@&{e`zrJa^qdIW=;t8ZR1eRxnlz{vKU z>bJROC~479Ix)9DHufv~U}+#Z_d~{Q4voUjyY!bxpmp} zmArg>;EjaAwyE|AFmk=^oBTR<0&2yDTZ${yhkTLL7V2)LfaN9+(bqHO87(U|0T;JP z8?pHk1Js2sDfm3;Z{V(wEzg2Q{oKKy*izm2v}_xV2lyi+>2*opj9WS-@|{`{iAj}& z9#it=M{O*$MB_Rj$@@g=i(tIjK`+LuI6KmLI|}!(rO=P351d{?EwVAokJH{ljy2v5 z9GvQV);vmp}0B}KPUJeqKMZ1 z9Nl+roF&Xr^BHi1#S5fE=I4k>QGY6+gI?{u7tqBMy&?gf-t(+>3*@*@|9;bIU+$v; zO-EU@;@}4R0cvMV;}~)Nv#G*ZK|UtNwqwm`o;nMw7dUo;`E(Jq;A_CvgCVkowfiZ!mA)={h>0+7dc(rhSS3CVwlO5We#j;<8Q{he=Ceyv#U4H6l(kyh@ z42rDL=f8*TMwxh%!+l!&UF*M`N<47|F#*s;=|utmrzetfEf zZ!MlJ=+jj|@_?V*CKSsSOMIXVO}*-7Q1>^+c6{;1REsG2Xq<`3$l0D5vL8fUNOeYN z?@kZH-E^IHtb8?U!P{EJrKR2lOyw5?E+>mbM0GZPuWtpw6eQoYRLSKvDO|0_f!@#S z><;^YR=k2qv{)oXm7R|wle2xFl$tc+jq8G)0ea&92yR`3BOb^Sl|dI z%e(0)`nrxUtAwxKw+S^jE#gw?8N@~@IDYJT4U`#*LkUIkH;77^w`)6Dp{OE{-JA8a zMgBP!3p*~N4;s<{bg`0YzDe+fe^!dNe6(wc?)X&$UBLyXU(TY(mMe2h8xc9Ep65!-AS_hO zqXFaE&ZePSJ#CZj1!v%YH4G?W5?JASeBx=C|8Du^KHAUov$0)q>g|zrJyp%ZxP_*! z1+7rwXQhd?Se9saRIFRrB>L!3!o2Qd+wM7FrR-sPq0 z@r@@T1xIIW5R6naWlz#I{DDOc2C$AW=BX*}l18C#SkF8@7I*f_o5*Lu?JI)&> zfoeOu{Sk$*ZcV`j$XsZgO6$pHWA1sPC_wxq(O1im$slI~6 zNz2p8FXdaFhg2E4E8~L=UJ8{RNgoa1r*-3y?wczr zYM-%vAf;Z^|hG_4vKV1*a6fHL4~1(7Url#!Ok5~1U@8m*LCrRg_ZrI1T;HH}^9&57Ix0z@Y3~*@Jezap zBjM0*`$hgh%5P_No|g}&sRs3leOXUtM>DqYTSC=@Ryz!nikS1l4A$q@nknuw=uR;T zL&&E+ySUbP1gz_8W-YdHQ6!Br6zMX|6r;x9E>VxkoH9b0l04D;N-?KM4Q8JKr>cL5 zWu32TyE<5vj+UupP>fC#Cq?u6-!Mx1>+lCnW$^?hvV#?eU_EDiGz#Qcjvhl zE%wSx7Mp_Qm2vS#>uaYfN~kd-0lHa+3aHAiD4o)+L?OOEmgZ-rwd}H5E3v}EpuWiH zkWt{>&=o8`sx%``k`23&uhh%YxE>G`@qk@o;JM%@ogNWg9F8-@RKaLKuk%AydIwL8 z>^B*E?9Sf1b40A!d#YxXIz(h|`DOsi{XRs8*Heb>rNX(hO&0(o>Wi75GqC2P*#M;^ zc8QA>o}~__KjUQ3{4;VSC8XA&Z&sh^<;}BB>{KK|W?o8~u1uoyaE!ithip&Y@{)NR z(em@5zO>?0JRA{j#_&(tqV@={_!PWFt#qx?g>L*5WxkMK0EUfddrZq>dYv(K$HAZw zqWtYop-9@~4>n?wsM0W`SDe6}zV(_6!K!ytL{=&N77Ao0o&2F1k*eJ6<;F5YNoTri~k?^>7uSo&l8ww5#2) z!7A^2R01QT3(NrohG5*Euik_?&(i3nQi`il&m@_>F}^e+eZhyb)LK)4DTU)G54WGN zo;b5gYuYH*XOUh!u`3AB9a76yvsT7`)0&?`fqm$n(d^TJBi;KW46lj>m^j zDTvnbYtB+yWRw%pIrJc3DVd;Rg$TqMicY?p2Nxi9h!>IZd}VJbB(=q)aM7I?7kGY; zqBE1MwY0i9DATYV3cRlJ-zLq`vqffz0DTU|#^d9mGGhJZWqj?v=r1iVb!HtNyqN1* zCDwd8?I&`mJ=91(Q~a%|q!VcFXzS8GeT}d1ZoHLrB2YSBey~;Y%B&wSu+NE zt(RW%78wyq@qHK4R5(?VI@rTHX{F=Jq(^z)S!)_}4=Apd(Uv_QyCmK0Tv%wBubQqv z!FOIhpF8?_*5(~O5CxFv;FEPvSLE?NoT4tjnHN9q$}G?Lk>&*l!Jt9m=HUd9t ztHyZJ;&5KKmjQfsficWO;<#KfKC$x2bzPt3L+oB*9|;1m$gl=9Hp~^5bcA(Q`eSjD zAzdw^k$)5ushZJS5%$B21!klv9rp<4oUw;4yAxa#4C0E=IA}YKL&_3x}KV; zOIIR%y%qQjTW<5CeUN6QaFB3=`Rqe^)2=laL8;dd3`SBf3Hjar*?z|fe+*Wf2|ul0 zQEY2|eq&s%Z|CjbAsP9aY-#5sZ2N?p@319sP;xxp!jFYiYBK z=D^leBb1jM?;5O@`70M0YBG0PWfg0~?#vFr6Gdb{&49SaAugroKHL2+oXZQ0#D|?j zjX{^wmRPJZ|P0i-;QP?pW*gzBGb&i(tGzR!JJ&Vj>qBKs<2R9-ukun zKxDW7@g~qu-cR-R8^*oatLVzt6ZYHh_N={=mncTJ1-&ikX(T;OKE4S2^v00Ck_Uw}?F8QP23YeohU+d*Ju@xD z57oTKz!WjlW2p7Zoj{Tk31=#01&ICfAWbJ9==T4Rbxy&7MbEmAlZkCR6Wh+jwmGqr ziLv8kV%s(*wr$%sCgz=U{0!Z*sZJJYU34Ai3o;d0;cwHCXC8#DPPmKWjWN+Q@u&?J zT5Tog!SXalrpFTYP2TP9uOCa&W31I(Tv*pC@YQyh7!%Zpf1YcDw5G|KThexF%g#@E#i7n%B#)*UOgeIK675T;$LVeS^YJ!w3&o;^J zc;fsWi6-X9XIrxZx|a zn{3|p^2$QTf_wtiDEz~7jYZM88~?0flMyqM^T>&l?=ZYZj1aY z0rc%FU**J9Upn$$XSd6EPw_Y+#_yR19rM>&P81K&nePM5<=0(X^=7u$o=)LknOZZS z;d}!8k5Xg1Vz4?M!G=5aDrj&%LF8Rz(5=>eT8;MfL3yI8iVcswoKa{-2NId}H0i#eocN=9Nrpn>hR^%VY>(|yNljclL@_Qlv zV8e&z+nR|}kE49cR{*shBab?V6oaeg-OBHv7*gMdBg!svsU^=0V-$Yx%p z51x~YOe83Oxb+^#6t}@W1xZFnV*mTX(aK?RpfD8m?$zkXQK5!@P~Fcx>A$oxv{zZM zZgsc75j*-)({M9cCG+sSY&f;kV0d>vIFtp4H=DR=n4@oF_kG@;j&|%(aIo^qXFUBc zNbO0(##x2>9}Hs}3#UoNqLvQ}fHMS+Q~)SI`-xdBi10Cl)2onv=fi6DQXjEXJ44Gq zSYUIR|Lj2FDe9(w6&d^F^zzhpYYYKr6 zG*)}o=0Q5~M|5qza$5b@(EV{Bg-FL?q^i+g?o^!QB)3ceRCJ|(D|;L(J4dC6Gzyp& zsX|o#N3@++-nyp8^<4~srI{tTu4vr^)5bJeA!wAR-x}>u(s;^@PVK9wZ3#QG1`)xW zV|+@TaWxfZ4BWM>hT3^6&;{PvO<5uk3j$M$B^xUJgLa_f{SQ&k`qpag>|ezwB-H$OnOMC z0%PSJd)I;QRED&(9E)Pq+r4|5s@7IB_i0+#ve)a!my47OUD2YB4GyJgmKyh997>$m zHKhWB53?Vxvx+=jsOGZzf6h592qUGN*C6oTG#9Ctoq(3yz>+^=_OboshsC(=v zqPqg{R(J*tZ>U-J<>9X-@2gN=E@W9gn*~6>B|pj}tfCpUZ`OcwN;ff*8p!d%wcP*w z=A``|xA18URsARN9%Bz*?5!V{}Px-7{D)yW(*c zqe8KzY>?F#K(thjsZ8F!@;mNON z;YLut(@v?vDC0bH0qGOfnDl+v&nlM9lB~_{7o#y1M%Rv&TUl-A58PvgF7yM&p}WK& zVysycY6r{Ih8QZ+k{8M|%i6eoQ`5M^)BR{KimE8}%GRR>Y$n|98Gdk_C$j(53Dh zJBQ)Q^ZvriMOPWgnHi@skfjab%ikk+Yk9w)m;b;{g7ps{2*Rpx2GLc=7|Uk42Qd`~ z3odWQ0Wf3oq(O>Khs$2`sJW#}g4?a9!j^`J+Zm^W|2W)e*&G`M-7oloi3G z#j215C)h;yjwe&nr#Nkmi_v-kGQY4==xlITM;QSX;hjvlU5>lQz)JNJL*r4kc@ z0ri^&=W06ak>JA9%janlN(-(f_=uWh#u`Vzeu5S1c!$wi*;-2v8+Ao%L&v)!($T8B z4~)00`|DZ?vQ_3Jh%xuvAd}o9jgN$ii&gaLD(NYO%bA^h1`zG*!{B3P=8W`SUs-w4 zA8m`XQMP?Utj)=MwcWWkdv;?mGEk000g|vbTpQhyjZM^?ySUvJa0**%TWrtPpF2c-ua?K zJm2K5U8gbn9Xmws`X`r6PG3=QfNG8qluPqr;;5UwsM3bpU@DWm=sL|#E&TB5ew~W; zPzBM#(%=Jx2QNanXhWl|qlW28#ySO$0-oO0y9$Q7XmKVTvTkUwNRn0R z78jj#Oa+9vYPl$;Y8IsK!)3QaoylcM!Wwz7D%8RA3zc6I_8j1?xrU`2WBa4(|V; zE?1{uZlo#H;{S*yelQ5w{}3th@ZekD{;v>9Kp=%E0u(c4;vMu`b1DM(E?LU&$bYBD z|DA4*Wd>IUMgNav^?%00`QPjcdNV95I5*xuz3KmBS5h40!Sm4nBWnF$H~xdJG;=F} z2mQP8Kk`pGvjQ(g|BvkTf8F@+oY9(Ft-<(&X&;Cf~@y7L6#a2c2*_O#`s`b=j#%oqNPkl>pAdcc%FJa%r zR39Zstm@p1p*eVMo#UT>U#_BxwI6X)&)0}jX``Q^d2C>3PxrriSV(20;-d54h;C7F zw3m?h+8EC87^3zsOzmIT+B#6Km6hi&lM@h3kPc24NG*^=O^`dpM-<_jQVY6^nSg}>b*Qha zyLEH|@skJ1ZGVwi5=6BC+_}KMRR4UD_#W=;AD-;M)Or_z-h*m^832kMnR0smATTSC zC;JcfgI}cRuC9KNBluuU;M)EdN}sN}%}c>OM8rhy!I1FDI> z-mRs5qQ8PMscQP_$_hFWxAtRSYSNNiE#MugtsoQlnVBGV^7SuEtvAJa|?~Dir1oPMPvCTWh(!0sDjqsz88npQg5ht8q zT2|EM*NJ}0_{P!0qk}KOsGwTU^5)BSr1IktA|^nG1I>xlgAUK}AY|l~MUH4^=ZE!n z&Y=ym`Gs!`LL1Quey|96Gd2ZncnTu^vM=f30a6(bgaMyo?;RlO^8hlD-{J+)0Foj5 z7vrAqVjAyCSMmqZDA8iQ_B-4ka83Vz49w9>h4UA-1BfR57xRwy58`FO<2}#S0rYEp zcX8m%AQrCY_0}L3uLt%O%UjOkgYj9r=CXT-7N;H9Id7}|><@ZtgnO*n{7U&uis%PO zmMiM}fv-{n8JBm7kMz}Bmj;5*Mfk^M?XSV0k4E)l;O@iUuet~LzT;Wdv%0kKVsO7= zQ1Ch5u`FjC>x1>QnyBx)3nayo=XNK>@cZ& zwKRXc9lYDZUBb#m0-84KI@7yteThkzusr&2MA}51Ig$Gd#cn!Em?byRlyK1l)^AdA zQmO0%j~xK7hc)C%4~MARn94C%>y1(AQD>|3d4gljC8Hh=T-x?Wt;S%1->d3t7B`^H zI!2spk<7DvF^*3H2^N%w{u}gogTVRm)eMTt>n>PVAR1-xm@EBnMamZC@bMe>bfXgj z;xPm1cT#>42X?#h=eF6oYd5Q78%nL`!#`(MsvWlyzonRJQ!9Q~H$%^Wejv;DN8y^;}z(mRt3sYDEF zrI;-R=m`dOrRW)UNdh5+8nBz)mmCa}J`Fv^4aSuoT&Q+@$lT$68H;bIR%go#srhoK zdEQZYB;!@%Z5?EV8mx*Aim?FRS`J8*0v-FO8t^NCl1dw~G4$N<>Jf_n3|fSRa#unE zZ+wW!^dnr>%KLZ8Zru3yQ$i)$Mz-L1?f#ovO_B$k#h&77tcldSn!e?t^;Z+}&Tldy z+tfZP!}n%w519Po8=>X-Rw5P9;0=~r=fjilL1VeSW!tuCXoWjemLEXjne+8LO7rY0 zudOG){iN}`7b%aqhiY<%@1!r|+R2Sw551YYc$s5J?`E|nBB0RB0_i4u;Es_6+3{A) zw=_E!ap{x78Kb%C`#8-Q5E5FcMnKd_Rib$nzA&)66xvNQ(YI#0wuN0aXHoNtCRUB$ z8OMH<_0^Pc<<;)0E)KjFF%%`Zdob9hvZ`zMY9I<8(AHpgLDf8$&lQA!7l(-0Ic{8` zUPTdC43l?B&Q*|m*TcNZcImF3YFr4A!ST=$crvWmm#z%b)!9|I3*rI!DkBeFz7_Ri z!^+@puvxpnUv7=~WNyo_^RjpHT)M)F=I|L=c-oCSID9W{lLcmDy5~sKCs>-ZagrsC zO5c^}pt{n<6hT!5^L)l&uwZ)fVJ2Fs^S*TVsGW z9>u~Ie(pRCH3EFh_osXSm}~ylJFX=e`|QsnMkxaZFW9V`K$Iw!ZGQ1yrdplW%`4|$ zhfZ~vM?X0oUBi=X@x1pRbeSLcGR>%7q=>dg{-nA3Vj$BT5|+xWv#5G{jSx`UUQyZD zZ}!%03WPG*M|&Zk4@F~s{Ni-&IkiuwH^)xLnZ2Am9-^;6a`Dtt1W#O1i0>7It#oe%rMTX?!2vesO_Cnxb2} z4@b@M>!{?N!uQW0H4n9;SYtPjBtVU6K&B{GBG*0)fd~6QH_NCJEg`XzRnmKxL7k94;?QcLH@E3c%?xm(^=5OhkOY<&$dsq%{iv1kBL1P4 zJE*#nEnI>zIy9BIrmAL!s>pK_u6UfdtJsgc&pfh)ZYq$&+PD0>_`!g?DHQ8?{_!uZYXng$D$i+v)ek2g^BHy4=5S# zHX4xkeao#k9TE}Fg13|P9vtDIt&uXd10OxHheUk#>M_;EmrdkEczz}px%|W8!h$>sIP^}rKfa;U+>993!$Aiwcl!|ft#Ma$YfwN<5&0a zTNcXW$m6EGg)JsiJ;5@J}ndST!9DB+_~HgDFZqyY?)12Uk|w02Rwr&fj8A4p`)uxHS1|5@F_VE7s3$ zk1HW*>EPk=`+qZv8hEixsmnkgNm3y%-`X`027fdR4TH`bfS#o?yiCZvUnbViAp&K; zsX_4QD|{D1VaD-}S%%-QuRP9;^9B&yTY|^=qxm_abp)hS;J_j7O<)f9p4zesq6}l7| z){2~a_gKhx?PyFW9|rb{>7RjTno0jMxU`*$p!}#PkxneqZi@J%MKrXAONDEebPnUM z>mY1t(PH?QdR5Nd!mR4V3Ix*Oj`ZOp!H*#?Jmm3Q3p^tS(aVfP=8`$em4dk^xW;AZ zv22ux6#WMES!v}YJ!I?`gJkAb_c}8EpG>F4UfG-+GZEl3UTvh*-}wNECT4t9&q%b+ z@yUm5DLx9=$AAIchxftJWu7a}LD|3lSEKC%X8Cn*r08hwQZtPGVQqRjQ}V3G-}(S6 zbZx1H)xJ)x@T28-dLL>73Tgj>Ym1e@Hh953u3KiSI$ra9+OB6(F|?3rz=@%k)eYzr zWfp5#`U0i&-;wf@B>|Lc?_NnX-hw@4shFQ}qpg@#{d#Otw;fC5*G5S7j00@+^`j8e zC33U^cZ1IL%Sup!s}krg3Z2-yH2Qs@4(d@Z|JFrFL4rn{ z1hY=*!xAWbPW@_cgvGgB@W#2VLpv@RMLTOPc{h6%`LS6&eD09mGu? zF#FLNMBk1(R%QV@=k_50zbw4)1RsaZg;ey9JUixlhnKQ2RrnjSbe}&gWQViu*gcqC zOh>#EOBVlYDL)bd`k%&gW@0s=$yw6SZBA9EqZ(k73yO&SH&T-&X&(RQ&yhBCDEcG7 z2Ah!0pzcbYtjlLUqfDx%#OerSqNyGF->S-SH=@OoeKAQQef_u&FI&{@zL`ke(J@Ro zfB)sM-{Wf$0{Ym@9zL^-XE~FZn?}qEIqqKYM?H`JBx836524d>2`QG{&V{r#W7dk+ zyNm#@Y9+7A+P1nK-8J(Pi52+vlpJ>o^`vEy*j&n15v75PJ!$fo!HJb#q}k0Pfm@y1 zmw0V%qQ=i*ES~~ZPV(1~e8K)oiwjXss8KD6`XZ101zC=k>P}d-k+CJtS2~Jlon~nx zWiBC~r@osJupe}lJ=@rEUh+#GtT(rw81}$U?1NJ~h0}z1#Lr37>9bISz3YvU7Zo}p zZHD#2vH`uiw{m$CjMgYK{rpHN^%_kwE(IhrxEroK-ZlzHyEp6?aKxJTq5Jniy_-JS zW!tRRlz4)*i{^oBeX&Uivj+q730u|4SZ`>sTuh}ErwT96YuI7_-);wH-?tzOtRVpQ zALU8PlT1DoaC8D@liaa>-?_FBbK|6c?3`E2;dv{IxXyP>@*PQQ>0X(PZ9rgzoTb~a zv4UVBxZo6I`O*wxFtPdG+LBz|>Dr=bKf%mwBxIt(NzG0okxcp8uduWk9p6#>3^<;Z zIHZb0j|kD~Bz)AZx94eMHV;zQ-=qPQ5Jd=>Q`Qv1v6bHg(#u}^|I)+5-=l^iza&nt zZL(##Pj0Pw{(9;SRrwP>(r@gQht`4lz4OJ3tXF<5j-=QzMNF*%140XI3SuFw`X@ZP zw1^4J&oV+mtfs1$q(k@}73h`%!Ko@E7CdsXjW0!V){Mb(v+_U6btQ-Wc)qy6_o`BF zi5qn*jv)2e`xi7`0ped&QY?8xjPM>)OI==X*5IJOv_DvUyT%^|algc6MnD3x>o*$&Qt$K`7suTbcj-fGx01 zg9^sN2|LcHqt%o#g%o6j_{OsYpptk9^48v)%!FWAr+ZmnaUPx~_~XbS&dSh^s%#*E znzkfHQwy{?g~7i1KYbX<60kP!m6=d zU20B5g4n<6=SPcjsA(R#$)WZkO0lZQ=H%qj3&mR(2^c z2GF3B_<=WW?)K)^{`4TbsF1BfY zu1$%y<|c`%hm2cqViNf7|J3u06OUoJd!hCz4q>h!(ZDx%NdEw8pvq5pB>$=1XWq z4jLPD9>C(7oDQ=l{0bA?R|DTmNgDMvK(ulO#m4$qUshHC7m%9K+mO>DSS9;F@^ zhBdSPq(jk@{MV91FZHuK_}3>rnGSnLEHF_SkuP2a*w^~QqYMg5qXQy8%y)kaLptQ^ zR)flI;&^F_$QLkM*)2VwntyXw%#n$%T(a7?k~!1^ZR0m{cH*;_c-cW@M{r$<^La*A z&p0~ssLPop`h^Iu)3y`NOhbqdo}9W_+!U5Jhxnd4@EERm?vL?TeZjH@4!)rF)YeVH|!ml4; z{nX9hph5R4g*2s%=KG?NOV@?Jpc=F4`PsdA90lbZqW;asVrUPxL(S6GD*~A!M~Yo9 zg^g8hW$527q0G4fMpp_pUk5uNy_kYR;&G>%4{rmm9gq}o z|2Evn_44sL^DLkAuF1(V*~Z7AC@Ow`=G-NU?st(3f08?hqA2GW6~LV2(R=sq4}Fw( z08$T~oMKxN@@iC+PMf@MZ2tXCS?d&~{Hgz$B~J*Gh}up2YO}87{a&%13crtM?ebz+ zj*e4h-;t+b?`=aMqMY`XIijbi zCR;Ia98!iZ9yLNuv4b0o$}EBczs{!O38?QiCmCv=L^E=gMLez+E+Jkvc^ZRY`*^sj zix?esd~-rII`gV97Zh33$?R=iMuW`6EqK$mWv@NC(F|LLLN4Y}Z@2dztp@bz0l%8D z;^56>ET(3LLpu0|10kj88myhf#7GR)UR=i_Naty3PtgB1}_NW{Z{JTCMz+Dm7 zHp-$U?^bD}-t9&CMB+KgnnFhgut|ucn0`)JHDbm%D5gvPh%M?hclUKDUiW@28#|Xs zi&YFczrD1Yhx$xCey>r?gI;hfjX20FduONqWM=B)G4cWVQLIH=NMcK#G`4@Ndg@)h z#N4CEn^tT7`Bo|UxrT^mgZbD95VczQi+LAtfR|+-+z5#WNiXGj`U&2l=v*p%anEB1 zB=`J&sm2V_d)TqM`dz4FMznP!RJaQIPH}Vv4;4VkJvxTX_?UNud>gia(D}JW6qY1r zn8d|{L%z`bSjNT2d(dLb?D3vUaD~8n@zkAUZ#^<D zQp=@kwVAPDZ6wSvO$LvUs)s-r$#FJ}oSB6L=cC=fJaPIVUXro8VuL{ufYl%&sB=kaw)avk+Z2H2;13@fb zV>!AHD$sIS*Vx17GWbKl2G*vN2Lm48@sYFkcP0}k@(;HYLPj5^j}QX6!u-dTP_27{ zA6pQw;o22=UqgPe!4)mHEl{w@wbe~nGD6tNszdf6w&)Y~5Yl9v{$L&CYRmujXRs(6 z%}Q@C&SUnu>^X6???0lzod$xI2#)Q@_dAD0UzjXM&SmO^K>mpWloLBVUy4v)@f=H} z42PbJm&sj;MaI_>B^uYJXh$+{1^6{Vy}CjY#`d~PHn%bIvotBQRRjTrbG(kXqosPW zfGYssb%9rVykX_V$d{^IzP*|654tBCo`R|4wUX)Jh9Lb=Qo(I?*w^Ft+gbSxMN^ao%2N=*afdRW>apC| ziGxnM+ve?;wEn$uTSUS-HUSEF+_S7msXSO3GKc1-3;|zYQxMsQgTa`hSMH?olXxe) zJ3HrS>KH64k0y@DSJPp!=4Wmz=3w4O58}ACh5NsrAiV*N&s(pT6Z2?IhqtE4G4h)B zFzR^->+E&jK-`b7;WQOK4nB1><}y36A9+FIsGs`V*`;P#Q=v=o{YkLAwQ6f3HMklm z{K8yXfvuGQf$I+8`NHFw9@O-5guff7XsVo#y*N!L41XuvyOZ580oWS7yh8@hcZES1 zeceRvG7-9k2U+V>C7I0qHA!xFCQ9qgeGSD2$13s3j3Nc`P`%bFt8XbNXdg99xLaPj zDDo6pvQX4rAVOUO!v+F1ls>7AdXp**T+x4jSsoPujY7Z9gPpS`o~tDeZ&e@JNE|~) zr6V{fi(1ko-r`!*PiIF77To6yZz&ex3<|(%nN}+uGgpeSgPTkUG8GOI?p{;49|zF{ z-6Yl)>b?f`R3oj+J=$PJ8n0h9pkL1nzON-ok^5YR&N6tN}R^$8iTBCs=ka+Ry14#?|vrwKr zX8X|s5nepZZ?8MObNH4*Dk%jNc-`_&@}N)#``;h>%tQKIj;Q+{-`-c0U{_Q7T*1Y8 zKMF0+1Cr(TmLhyhMI&E?|DubvKYUL*WAfz&Qv0vW@X@@nR!6ehTN>msN~$u3!JksS zY@ZM9yP*TL9Vp=KEC`q0bJx?jl=0WZ2Q~`lU=lZs1o$70bL55s<_;PO76=Y!=kPYI z$Q0WBsk*#aODT}qQ44qmNSjRN^BUT%%(D#D^X3^tNR`xAz_digUF^4dzScCLGz#8; z-(^wp%nnv9Pa9Q}mMra^&swk&$Y(FBNgPber=^)`j&}kQ2!#)$5KjpV7}yjvfa%GA zS|(cAlW}_*!c()HHNBCOZbkfkiq@PLjqw|Pb=lzc1_Je)%N9KTKZ^-7*L8)QTOP)n zkl^)+uJ*@L1tC|o4Fvr)6IODSmDoaHM$b6aQ=bVsCa%F>kwT*j#w~kgIm(gN0SYPv zBvI8yI_(dCneTdLe}qe{Srd;HJ8mq6071|T@@d?4O<0jgM9Q?1zyi#H*DY}kg|7U| zBrD#!^7P43QLOF?6lz%x2`9PuG|werxuC<>V0$!x-{jrq zqO52oM4q4(QpJb9syo&Yva6k~zT#idg}@vc>&>GhD6BD8EFzt-l*rIWHcCNOb4ZUAtMZ~p^AN&_*z*HqY!3cq&Jq|Z5jL~vH&;B?$cBJ%Of5pU%Vc>qZ z($Krz5n>JfN$^-S!sxbb=mIjN zg+YfG>Jj3cT&I3tq+>!R5=A3pUw4xdO{jPC(y5&m^u31Qtl<2g|Y zWKg~Y+o8qJKkt@T8=9owcURpVCgm~}1K;sH!z~z?J2t9Apb6W~3h2HoRjQ3C4EmV( z4AOjOebj)Y*s<3acm0uv+b7&8v4}OCovsuS;fj&WI{Zx+MM!mE;;ro9uWnHq-!hku zIM&6RB3)1n*#<4J+6RSF@#^tZQtmi}V&y^9cPBBhOGi^o_i_8DF70sOb~6aTwfgol zF30%Yr6y>Fz6PPr)|a86du@tzWiL4|cg271d=zOftBM=3y}?3QpNi(|qv0Z@t-V)O z*V$CuiSghI5zGYKVycO#b%?tv$P@4P!}!au6KjitihuJb{5Z3ATteqe&v)?bO*S!y&`UsBZ?f{bbeG9N_x9!xEq*|KK-RX zQruPTU~^K2`Gy%3oWaK1Px)Wkf~?1wXi_Ek>y%#M7_g=~bN&pY2oN2o)`}C)AD~d> z<|=Fwjn9FA4}Em{BI<|Ofv=_0ddQz&1y?^Bj}M^n?ikTSdn_}DP0j63%yCg= zd|tO&BpKl884**kaU5?v51v ze5n}#D-I9K>dlr=XJBNhjp)=*wAL|5NrC_T{7raucIWY=0|no%h4<6Mp8{$vQ|j8* zuvp`bF_;U|r1-}Ac@bNQ{b@1enU!zBFu`caa%Dg%fh}69>7`XQ8EW#?>i}$l>hi3H z%)SoNDJ5mM4F31_Qj)q_%E9vH1WtKx&L$)PjSDdKe(4{ywujt&KEGC<+%0J*vfx1G zT)(IEWykZk)8u1}%ru2)ncc@hUz*8^1m1zpFN^PhixxMXrZl~GIfzT2vnf-RlAUv+ zxqLL>Q7$a&T9C;Yo)!AEO8Hbixb1Nfd+th8(>c}z(G+{+@@ToM#4fTt6Wbki+Is>Y zrKAf&tnX!j$6@H}US>KYUsFEUY*5cB%iA7IR_i2TlAe^tr)Yji^>RW3nW)-UzWJva zZbYt3;4Ur^wxhqCHL@8{9?3%=-kUkW)@IU?8)IwI)ALX zDn{8;I+~o%CD7+*SysVjmYi@Tv;ZS2^Cu$TM&ygbGE&=DyR_d1 z&1Or=_24B9KOiNlcz|D@Kk#!1xNv(+-ZRjg($<;+;{qV`n#)}tE6iORTE6ACwHV$4 z1W4)P>v+atu8p#GVr&Vm1Uu7Loo9o$p8?!jm1@u%NY5Qnf-F9A5XGJ6J%Cr+Elf3M zm02}L;IGw?J|cGU%#$27t2V?O&&k~7d*^M4LimZFH7I%EW!2Ao2VvBOZBnoEXTIJPFDQL$#bN1T_Y_S_x-0aS&jsHE-ex3J-nbCo ziML;UvWGH{inQnmBPtixLIL#S)yv`2{F@#l$Gbq*QwNHk1$#D77Q*lY>}E8=*nyp@ z8WdEIh_GRZ4>YBD)(rM5n`_)~7{eW@Sq1cU3(Xs;j5X=Ly|QE6^#dx^%zO_yp{=#7 zxZjKo4Y1s(UuK6oQL#Nq&?(SJTIx822}w$3CzX(b7TfjXF=Ru+bwJB*`dZK`?t`Ap z<+u&}U$1Dv{0GDOQr>#~$Q?5ik_T zj(_B71QuL|rgbG{85s5m7~$X24^_Dohszs%{c_wQ#gJSHqMH3osa=akBH`~f!5_Zm zyIQn%nF*SQuCM-S5dfwuZkpe8it(qth&qKuse=||qQx-`D{ar8=G}l4@vMGsaneTJ z0!!87)C4A3Zrc@zaS8*=#WU5-Q+$imarNP(I;pQ^CuxLOAhv|XezME=r(o!kJ+$JvX*LMvblJJ!fut$e%FuJ7+JZtx3X@|$NmB_qSq zeG_yk_ufle&(&*T(T`v(_4bAs<#UBbb~oDIZj_NLL}z?UnUR}J^s{D7>7U6a@&U6f zCv(8%^kqei*PV44^?PlglL}Dtg`K90EsK`VJh$uL4|Mc|KP=j;+JHY)MU3oGXsNX) zC|aM}hFPpI_|5xfhTF{c#=0-^=n+Hi?>k(!CZF$V`V45oiLVNL(JTf}uI{;jQ*Nk9;1Yc}R-yIYgcfg=G)#WWS4I zqi}Mc2iTZ=lv4LC^Yqu3INC1#BhEDyR-G3*Lh4ElM4v%Qm* zgJERf=bZRmS?!Ve4WbSCyi()&!0u-gcmbP#h3!>wz%yZ>1`2&AO{)0YsHr%Xn2r)Q zMvryMe)NG}04Qx*l%syouXvfDH9DMXd<5BkUm%LsPzsZNOE|_n#Ft~s?kVwMu;k(w zS6=`~nQU;2KIGJ)y;@0;D#YQ7eK@(JK+n&GOYUcX(fdpG^gQbtae-J=iCrh}G)YYA zhQ6M#j20X`KE;>(-AaOsYXvG?k&sw~VEOE)48wfz!sn85I7{)yvM}*9 z7efVWa+BH`$A^_%DW>|nQ{DN0^)P)pL2hTBipy~}uM*{vTUvHcCM2(voP*alNzYQX zJqgAB#QfBk6Agltuo8&MfS)Of4|0dMqcUm;A(|3+SkKE7BtYoC`KJX!gN$#(xFj2@~ zCE;DmgfM4OR=;n)8;DgaeT)l@9jN@15)RrP7pr0VCS?TO98s4}Rgh_&9p8DjItN_U zW6d-Ti4=%nPBO|hs$cjw@@MRL>WF4W4CBbo+W&;<%T?zxYe6zV)4;;Wpbtathvrg3 zZrDS4V%Vzaw{0{dnn*TO{*0x!5D<-O7>8xV8Nz$LVi*mQ+__P!ym^EX%A5i}G>^oS%ee9PgozY#a<>O;KBHwie%s}(F>J1~G;#qHRK^Jgdqzi9cr?WZD zWP#I-!KQv3Abxk6#zW|n)qf0P`+Pj4d3F`28yMb>WQy)1ANVTS*myt$J1ita=PG2A+O;D=*CXOpyO8?F3T4qPi3M|E6v865P9>)L3L!H$XO1D2rM zL=P5h3}c8gdKBP}=WfCs*0IPfdJsy$f9qCsUdm><8~+=21K~B(+1t3JoWu}qlnRlU8AgxIw<6$C4s(rr^NKmzC=JrJn>qH0 z?0DE3L$C_J(5Hw|y>}MovAU#?($>p>DwB+k_V`A(yKhBW_?>;t?sJV`VUR2sdeiAi zUaz?Y9I<1v<&Wc@;t%#3ZdopvA~c#-%KidKSmU%;4hAN@;8fXNBGG2DTbfRCmIQjg z4_z!>`&@tvOzG@XO;xKRh%IpJX_W;Qv;t+uK@PK>T@GRLMW3CgsFXD|RKDUE2+E)_=M?_TA<4u#eWH|4F}HzN-e^^mh2$;Lb0oYfT*hT5ek< zu4x@rK*(`x(ot>GefDeV$9!kzni(C1c8IF{>Ov_WT#X#j;cPj50vq(BAmYkh#!VjcK1Tr*&hm3LnQ& zpOih9dgWE~%;^B8aCkq9_In=zf1N*DQq?265Zy!-D%ACAqbteI0sd=YW1SDP-aFF1 z%xvr*tVV<{R4mMl*OM>T(^P)-d>}x!0|PGPweNttbS}T!`{R+ruWd5io&*9|3nJ?L zX@8kH#0+TgU+|=}AkWezCMl!ong_^zG)U|03@(l|Y& z<9qOPg2S^G-Gf~roA5@TMBfnpRf3;hR0+=W6u7g_ho4llGXu~b(EL*nk^|gao@N!h zp+mo!Ncd4#**8?%tTnVIT;eBesnvKs*7I3sR_D#jiRi*uoX!*mZ(#ta85)Y`ahSh3 za-A?=_6Ehcn0*HLtL(MU_AQ0r#Z`hW`jzk(i|oQH?6YjoT+w1SYe*tD%NzEfn8pR} z^A@g&hoV)58yS8@o(*ZxuFF0`Bi@(PQRlDs9nH*j^&_0V7BZO0*}1_`A)bj6w5q_U z{{D#k%pNyU(o1!Q?sojC7qo8e2+#6=3cI@4xQ;4}cPEa$j(-|&65FwzO-WP7Y3w_5 zf976-N}DvHY11YR5ou_PFpkr>YV2S;Rgr*IL8z#Os;w2~A?2s)3#bTz5TYtYG!F<+ zUrPBYQne#WZzH=UY_qlT?>z8kPWa8on z+Fv+&;pKamzWRKvZ+U;mSDyalO}D>y`PoCS4Nu?w!vi&^>=p-#zx% zr_P_dar*butKR;_f%Bi|N#E0toqhAS?+^cY|2xk=bNJGiuB?9TtuOwFUUsW1UfhJ- ze%r0PKXK&a>he3)N89$RC;nZ1sIEH`mfm$s^+n3{pWN_n_3@6j)VfId&ljuDtu_7o ztQW=j@?CHAt5+YWGWCP^t2^oP=xAH)^ai6wgZR}HM7^#l8v27LH=>3-~ z)!piMZERCT3Uy7D4R7W_Qky(7du-{%VnalxM`-KHYaZ#h`M8>{fUb-{cSL==!q)Wb zTf^<8LfcH-a($5A<^$oedgNYM&4bWr=?hqpicCq{;VWFVP>14eQRHF&A|LDjvAZMa#OmX5W_ z+h>n0Hi|pZx#^VG;5=_}D)ja64Q{T9Z*X(NICVT--u_ra9cX8r>WNjXc85ccn|ry@ zxl_M=*g)GwvK+M4Go2*`*Ot^kk2QkZEmTD))u~l%bPKOd9-La3nOkZ_ry&>(f{ z<;pNg)O{@v3t_N!dNOX_-ozE~nu+_=XUEzzog+<_)HJ;o*MPH

gF0aDzG$182V_9?W}?$wP_6-7%BKQ^A|+4 zz)7gS)`j{1Sz|Z!q6MDrF{tN?LN(UK4t8mhChDlOUF?x@Vct$}+v6`ra2Zl6>xfo8g3)Q}SP zI>SNxdcfOD-E2E7)`W~)BBKLM!EmNVd)TdNv4?%OZw1vnMl-@5HrU1uU$6hI($lf{W3bnKS-=^Y zR7jBAwI=t^o}69Mv#OuTi5sow zD42+cCLkD$hydBwuR%M52m06m%uK2ay=-6_)VT?%`A`t&k%=K@s3d?*E5-D>J!!#W zMu1#j)3Zx66T7DtPt7ds-TP4t4J2mW(xfk?Ae55!iuRGk0_f3)XXcL0ES#L3!!qzf zPW|NggQoy8T{RnHr>5?op{3DnY{859PAil5xyT{3GIgFyV325OxKuxfJ_haS@)1I_ zs!s9hdi9;PtosP3l?(Gl&?HFZdCN{Sh*WOYHs^#?o;L$A7^G^GKXQyj9qeQ48ipl| zH)u&&Pg$V8v6c<&qGd3z4!|;)mcG!%;>`5Y?EKs~=|_adR@BjcHX5OS zrp^Z~`_uD-d@*Rkh`-X118=Rr*UvWIMH1#FpOc?}jClfE84M}o+~^A|n3Qg~-QsHk z(;*S_I_pa0VZsk8cKQo-WsPZz^Dm@k=3rg$%_tMhf%rFPZXfDE;G`N~=&BZ3zW zTY_WR!bttA&ek6_&EHEi#t^-s`8*wSjO`DVCs!9;TzUB@~c}C)DiEZeaBRQ$X9JNDdV7 zJ2tR^&3e8SwjvloS?P&ps~M5&aMS6Lga8D5d@;Lnci`Df!CzYAhB#Ls^G+l3qJPC+g zbde?MDTIhVtW8NmwY{AUbr!^=UbKSy;jP+o3!f;EawhXG-eF*vRP#e@a7ecSF9zH) zvxtNq8uM4b=|ze5(;>EQ%Sv^9;PldivvVjlS|y3DJiqZgQ4lfKMHMx;J z+AgqjKy#m$HnNf8^M#GC=nBSF?;L;*gq;+k-(cB9pRV_#9J`aACChD8WGQ zDoTndSsJ{iSrU9nC>I-G3ntx(LlL;lfI*LG(2-ObI`q(r$$>RP8Pnl`jR=CeqOoE4 zoVuDJ7zN4_UMLf4C1t}vk5f9ZVfdVq+i3k4wg+HFF|>pjqa1Uz0D=(D!3%gm?o}EK z7;S<|uoy*8Yi!eaM4V={Cn_OgFrDQ%FrBPQFc753X2V3BrgX)S4Fh+&N-M*fC}TYi zlZdwNHX;a0-y@I=J+<mbQH70;D8{b>6Xci*-8HT*$<3)5F;aF81)1i<(SimHG6Hg-7 zSVR355Sz}eOQ`#0eh_Raq1mi1zwg|0_-nARUOuj$520aLm*%=ZGapGg}ui5Ax<0IWrCf<{#@x$P*d?- zB8US~FTwzJ6+C^);*1qkU^}poPCN0hX_Zrn^wcFHzf2ObU!sTzgS|--*GmEsW!mj9 zvsrf1zlf1y-NEog*Jn{d(SDfzt=J4;nGcIxL9k4y?wqk9c1cZl;t;zzSN$R8b(slK zDEI{Zf-c12wyT*CNh!CP=87aC&e>c;!nAG;1#Nj{3u@%dt2p7GFQ`01j5+M_Myz&Dgz8kuZF_B z^g~z4BVz0z+(-y#@`Q^63E@osS&<|T@@#LpSd8k@^^zFHpf?E)XI+m#LshSyj`54j z3e&}|BIarA5k$f1dPIy>a+yJ3^%6{s*y`F5U~Whcnkd@o_@=Bvp*tYEFggJ!!xB+S zCiD=g*Qb~0Gt=@|k%XOb*o-G}g8b=CoOo)*9B$ML5(FuCY=SL#3ubl|K+L=_ ziVe3Hx#9$SR)-nHJb#iT@e*4iLvN>%G$BZf8&k9=h*BO5b+>CDC@XztlB~65&3C6s zlF^;0CH2$3fasC_SJV%nr)uOiU)3n}TuVYr-NmTk_ zNGHDK`NPm#L1Y=Ptdt?PuHINb_DMutPmhR^1S_qy#DS5!S`r@Q4Th7t4vBp3jQw{ef(c#ywvG!9>OLknQBCrOGl?}QuViPSwN#4kqDt^NTk zZ$(J|sIc^}OSTbGVeZBy$_a_H?tn>GV*GrXx+w}jpayQHK&2y_uF=p{%C6_)m=IP| zRx7sJp217AZnOO0KcJ2u4*O2e#5A4+wN5Wx$TuQM2Bm%GuTTCrTg>r>j4ets=! zHNhcQNrS2{V5|uxI%X|kAKvB{ds 2$, this definition of validity is stronger than that the obvious generalisation for Multi-valued Byzantine agreement, that all honest voters decide a value with which some honest voter started. This is because this would be impossible if the fraction of Byzantine voters is bigger than $1/|S|$ as we cannot detect Byzantine voters who act like honest voters except for lying about their initial value so if fewer than $1/|S|$ voters act like they have some initial value, the protocol cannot know if any are honest. +Note that, in the case $|S| > 2$, this definition of validity is stronger than that the obvious generalisation for Multi-valued Byzantine agreement, that all honest voters decide a value with which some honest voter started with. +This is because that definition would be impossible if the fraction of Byzantine voters is bigger than $1/|S|$ as we cannot detect Byzantine voters who act like honest voters except for lying about their initial value so if fewer than $1/|S|$ voters act like they have some initial value, the protocol cannot know if any are honest. But for the case $|S|=2$, the two possible definitions of validity are equivalent. This means that we can reduce the binary version of the Byzantine finality gadget problem above to binary Byzantine agreement by each voter just calling $A$ at the start to obtain their initial value since if $A$ does not return the same value to every honest voter all the time then it returns both values to honest voters some times. Thus there are many existing algorithms for the binary Byzantine finality gadget problem. However the interesting problem in this case is whether the celebrated impossibility result of \cite{flp} generalizes to this finality gadget problem i.e. whether this oracle which is guaranteed to achieve eventual consensus makes it possible to have an asynchronous and deterministic protocol for agreement. A reduction is not immediately obvious. It turns out that the finality gadget version is indeed impossible see \ref{ssec:impossibility}. @@ -93,13 +99,32 @@ Lastly we are interested in the property of {\bf accountable safety}. This is th To come up with a solution to the blockchain Byzantine finality gadget problem, we will typically look at various Byzantine agreement protocols and use those to find protocols for the multi-valued Byzantine finality gadget problem. Protocols for that with appropriate properties can used to find protocols for the blockchain Byzantine finality gadget problem by considering running them in parallel at every block number. If the one block protocol has the right properties then they will agree on blocks consistently so if we finalise a block then we also finalise its ancestors and we can come up with a succinct protocol. -For example, suppose we have a one block protocol that calls for a vote on blocks which requires a participant to observe a supermajority, say votes from $2/3$ of voters, for some block (or else the participant observes that the vote is undecided). Now imagine running this vote in parallel for every block number and have any honest voter vote for blocks from a particular chain. Byzantine voters may vote more than once, but if we count a vote for a block as a vote for each ancestor of the block in the vote for the instance of the one block protocol with its number, then Byzantine voters must also vote for chains, though they can vote for multiple chains. If we do this, then we see that if a block has a supermajority in a vote, then so does all its ancestors in their votes. Thus the blocks with a supermajority form a chain. Furthermore, if only $1/3$ of voters equivocate then from if a participant sees a subset of the votes for chains, then they must see a prefix of the chain of blocks that all the votes have supermajorities for. Intuitively, the protocol can agree on the prefix that $2/3$ of voters agree on using this. +For example, suppose we have a one block protocol that calls for a vote on blocks which requires a participant to observe a supermajority, say votes from $2/3$ of voters, for some block (or else the participant observes that the vote is undecided). Now imagine running this vote in parallel for every block number and have any honest voter vote for blocks from a particular chain. Byzantine voters may vote more than once, but if we count a vote for a block as a vote for each ancestor of the block in the vote for the instance of the one block protocol with its number, then Byzantine voters must also vote for chains, though they can vote for multiple chains. If we do this, then we see that if a block has a supermajority in a vote, then so does all its ancestors in their votes. Thus the blocks with a supermajority form a chain. Furthermore, if only $1/3$ of voters equivocate then from if a participant sees a subset of the votes for chains, then they must see a prefix of the chain of blocks that all the votes have supermajorities for. Intuitively, the protocol can agree on the prefix that $2/3$ of voters agree on using this. +To ensure safety, each participant maintains an estimate $E_r$ of the last block that could have been finalised in a round $r$. This has the property that in future rounds it overestimates the block that could have been finalised so that in round $r$, the chain with head $E_{r-1}$ contains all blocks that could have been finalised. Any honest voter only votes in round $r$ for chains containing their estimate $E_{r-1}$ and this guarantees that any block that could have been finalised in round $r-1$ will be finalised in round $r$. +\subsection{related work} +\subsubsection{Comparison with Casper} +The concept of finality gadget was introduced in Casper the friendly finality gadget and this remains the finality gadget which is most similar to ours. So it makes sense to compare these. However first, we should mention the other protocols that are also called Casper. +The first Casper was Casper TFG. Casper CBC\cite{CasperCBC} gives a recent and clearly specified version of this protocol. It's fork choice rule uses the GHOST selection rule on votes. In Casper TFG, votes are blocks, but they are counted by owner like votes, which different from how GHOST would be used with proof of work. It also has a flexible way of subjectively finalising blocks based on graphs of votes. +In Casper FFG\cite{CasperFFG}, validators vote on links between checkpoints, which occur at block numbers that are multiples of, say, 50. If there are 2/3 votes for one block at consecutive checkpoints, then we can finalise a chain of blocks up to the first checkpoint. + +Epochless Casper, + +Casper... + +There are two main differences between Casper FFG and GRANDPA. One is that in GRANDPA, different voters can cast votes simultaneously for blocks at different heights. + +The other main difference is how the finality gadget affects the fork-choice rule of the underlying block production mechanism. In GRANDPA, by default we will assume that this is only affected by having to include any finalised blocks. +\cite{CasperFFG} does not specify a fork-choice rule, but it requires that we build on justified blocks for liveness. Later specifications of Casper use the GHOST rule on votes for fork-choice. + +Only depending on finalised blocks gives a clearer separation between the block prduction mechanism and finality gadget. It may therefore be easier to adapt to other types of protocol that achieve eventual consensus - and there have been many diverse protocols that do this developed in the last few years. It also makes it far easier to prove liveness properties. If the finality gadget has not finalised anything and so does not interfere, then the underlying mechanism should reach eventual consensus, which should be enough for the finality gadget to finalise whatever we have consensus on. + +On the other hand, while building on the longest chain in the absence of a finality gadget to maximize block rewards may be rational if everyone else does, this is not always the case for building on the longest chain including the last finalised block. This is because it may be likely that a different chain is going to be finalised, in which case the rational thing to do might be to build on that. The GHOST on votes fork choice rule of ? and ? may be more rational. It is not clear that it is, nor is it clear how to prove liveness for such a rule. Further research may be needed to show that there is a fork choice rule which is rational and leads to liveness for the finality gadget.