From f2995ede0d363f568b63573a3bd36e38aa571d43 Mon Sep 17 00:00:00 2001 From: AlistairStewart Date: Fri, 9 Nov 2018 17:51:10 +0100 Subject: [PATCH] More intuition for accountable safety. --- pdf/grandpa.pdf | Bin 297157 -> 298325 bytes pdf/grandpa.tex | 7 +++---- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/pdf/grandpa.pdf b/pdf/grandpa.pdf index faddde6080fdb1333ce580f0d901bbe74eedc4a7..7df08088015f8ff18add00326a47f58d094502b0 100644 GIT binary patch delta 62773 zcmZU)bxC z&7)XVMgW`Cjw|hg!kB?M9@4H54e%P>|kJUDy ziFNAXbH6c}N(x+P=6t6_LeZ|Nfwok1BDg$dq(vl>Z8y;+EfYR0M5VHn>b1;&?KTZ} zF;8omGlrcc!mYHOO43@e1*pGYkH)dk9wvNW{yWpKYR|6bGL7YFJtb^;&=}K?;=h`8 zSyK}#=OeT}oLM8}=C<^A?%vt((+e69ToWhW+_IUkbbq~?DN=fHf0Qn)K~;Dv`zutc zb;`#*7`M6I?`pBumpqZmea_#2JKUIZ{C?i$7vb7C{Drv5NcMIC$R&)E%l)er9!NFg z>RydyX+WO7UBPw#jr8%=J6soT!`#`*2)naP=Lt??iIMBQD3z@yO5xppbg>4Qs?xMx z)@QNKHE&}!o{(#EXd`M6Btp;@H37mt2!?QJM{4msX?}l}6<(j9&?yt|d<0$f+#d_Y zV_uMCbi7J1*F?WE8mMda;ZR{Fa)Imjo06$C*|(Fi&&&+q%EjQ!vF#7QE9(BaeP)i@ zWu7D+U|XNJ4$yFLPA0zLy4V3Wa7JJ&4R+^%BQ5Mb37f19`E*6`S=^e|+CH2R`kah@ z!QZX5mFossmLg>QcNm^lnHvaulq^QeH+Mg!YU2jYlX3lYtHcLqip*e!}N!xW@cc$ zQ-J(+DG;L$8SGvg1wwwo;(Q+6799%78AaCGB{3D=Ui(ElsUFnppe#2V7NK`38EvMbYBM(f@4Hm+wFT<$JDQnz#x$2RbxQ^!G=i_hoD_Dq?8SPKI$lSDn2$A)0rc$4vK# z1Avsz@BGpz2dGh@zh|q`x%J)IqOuU0<$JuAQj>5JzxS{jobFYbVtV6@P3junXtzm} zJB(C@0^{;#DYkR0hc6$PK$}D}Q(Sy6ZECPLC&8FJynie`YJvR?UDg#$VH$>%t$K>s z)=TtfIPQBq3j(jeu!Ac;Kkeb#Kk)ES1VGL00AvJWS4)So#gwwb#}4}~1mo9SCZqMJ z^-pOs{Vsl~yOzkjFIkjSb2W-?{EbJ%)Pm+j96c$KISDFCe$JVKE@0tGjN0XQ13cSU z{ab8xe@KG%*VQne3!E?^^*o5yi(wGfS0s@qxlD{)%cK0W)f$~*-qIEBG0~3c`v9bI zK8yjo=BFdoJ?c&bXQ)mZ_JKotVmqH@?icVjL3*P%oyAM$yLf0d4-B|x!MdK*&=IMK z<$&L}B;lNb;h3*D`M#qux3pftvZ!W`2jb9C^uYm)yp3M#$x0srou^9Q&va))_h_yJ)ZWS+ZP=s%$TY_Cdf&(|#wEBXY$SnbfWv*$}a z8!)_T@n}cj(foYbbzrP%G2e5D=xJrrA2Jn2mPXvC;`nolz!%_l+Hlhh z2(=VjjXoj+zR&bp2H>LL?%RpD&~X`w+klaXCJ)?Y3~be5vdq!UE|7Gzhm)W?#c)DG z{QPMV;2_G;T84k|Yt3Tj~WHkqVvW7n(LzW!Jjr(jOqLM>uy@I12wVzf>&-(^x zV+()I6p7|l0!g^Y$n=H#X%x7p6hv2e`^DyY^s+YogSW2cEV#4lFrg4mJ6V%W``C_d z1eyLPsxoRS%`Wgwg5Ssg9Be3Mx|aU_mB!a!veR}E>(U{j;k@Re66`365B#RaWmEwa z+=7+jO8#Xjw_m~4YE?fKB5Vzhj_nJS%+*_3;5c$I<~1JIwHc2-sT_bZ4L@2O;ULvY z#W7|Gx3}<}%rgJ7j1i0%{G)ITl2`tTg_74P2e#LXI5{$;7Ab>mQfjEsPHI4Vz}v_p ztaV##SyOQ_ib!0bfN6h0b7_^GMZ<#HwJYF)rW0-{{JR(~0WL;+v4sstkTfGiwF+uk zV0ymyjKfg#Ipl}p;W4n&ejKdtayKJiEI=%Hkm!cP3HqG0Z8VBAeY1=?f5%%JmWVd> zO{xCzb1bq=1#zM|K?VpTd*k_;kyHFa!`oI@7k`#X1XXUI3vEZL(yOtyboZnlmk>-Y z0O5Ce0@gD))uoAq41a#}tl?Qf#33h5*yE zPg}%AlaBq?$$6Qm{XLW6If$xQR>)~fER6?7#H(umwG*DL6u~-!X?ZuT@}8~IJzCtC;aNrF!U8 z^z+?(&2r`;zXl&6qre_dzHfdc2!((0d~hUSH)YUr#{@8nhl9Ge&EiD)RQ_>h-*jF; z9fyBojC)P?GcTvqO08WPSv6Pe3BZV@tvoieNedh(nZ4TC?V zbC22MvKodgLM1f90K<+Pi$h%9PbL~w^oK5ieJ7BD?-7PGX4QisMLyixPeRq-AE&ka ztGIe~b``lsP?@tT_ZOLn1e@hX&^(wA0fW+Ci~CN@c@F9?77%4zk zz*vBPM~U3MiB1f`r6*5LoKXbtWn!*8&AiZgS1dhkeLhwkngj>gdy>cC`K~X^1=_JRq=;7g0=`^p(P2_jJRd;CF$+TLBIc!CZIRcJdxVleyxRpUCKaIjhu_M#k@i2K_2595CB|&vj8>P z%@!fEx8RVB4l#!_1pI*CHod0FJL@Nd7rp3IdO=BGIF*)XM+t9Tv6h+L&Ug2Ap zQMmPNq&j;rX=Ol-Fc`X=JVr9&=U-OFx7Py$mK=^UB1?k-+7WCQn$v2OpWj;E#^Wsx zh~)g}OGxmhmJYDu!9ae`MnI7cvk)1!7|YIU#-BM9L9la z)?mhF9XIDI$O}Z|HDBsp`U-cd?HHHISKa*i0}FDAgeXYo{Z%~~+MMLLsG9hoJeIs2 z^#=#+hyoxTg2E9tw8!14O$9GC_wEB0XM65<%{3UFT|mYjvw6ln%rzt_o;N+TGj&B{ zup5`+wB$+(3%Z*Ww^KGfCqb|lc{8FxyO!e*F;j>l`$V0{-atw;*2Qel54{3U{UrpB zk!Tc71;Ndk7#_|6&CSdU;!QLT!%Res@J>vKpvC1RV599)DcK112Q<`Q!DQu9#dj#p4p^Ccn5O{(++~zrtJDlHz*Dl%*KcA`% zQb?*QxIdnqO(`0zV@UoSG|{-$BE5Nib@YGC{%u_$1F!#!`NK|(bcuP^LcG& zIAhel<0AaxK@qR*sqXK_U*`_5)=*(mSetdg{#uJErNwTxpK#|PmZ{yZWl$0JWY<8u z>D{Bu;WCLk`c;<^hu<4ic0h`{v9<~32xrkJ}J_fW)~gb z}>pczY7Qx`4lTYMY}Ah4_SRXeXm$M??7fnfl}1`(pkXnS5<{(tP~G)s4mdq z*#)Xb@Jzqz4jRo7e+aamatTI`@f$%pY-W;fxqoG%(|uYU&L?A=h>&H&wg6D0bXh*Y zT!UY_9^VIl)DTcsCDyg8CTv8=a&%|ATgzzJQ=j>t-M6k`a@AIT7)xSxfo;gygmO7I zV%gP$yRU4;n%AQ4TIJ zVRm1;*Rn5vUGTSysD&$KA@@Y*OBTFMLK1+`s7DD|3Z77GXxLXgZN5@m)5y;l$9aH~ zu$Eku<=v&6?Tcfiu~KcpqkP7^-bl^>=%h1Pq zbM}|%v)+DT!Tl}=ZD*lxE7i8Z5oxTgHZR`NDsu2c!EE%U!w(&z$B}}`*w&B=D~T~K z-|!gEb1VY?FrKZKKiQa!!_ylco_G44VlgKoRHXB>Sq~>+oMy-2>-KMIGsnr@C$fYP zdm2V#5Tu`#1J=vzMxnrEz0VhGT*$=(OV4D+oC^jxcV{ho^E9CijTZU@xiqPRg3pAE zGB;V8N~tkS4(N$81yJ8tN(6;A^g-?)C8Ty+e~Hy+iiyjfom&j%)A`D#ON=V!($&q4AywrTFCYOH4?I& z?{J+2M|lB^u*~b$ll}D?nakI$=e;HI$*R992y+~<1F^zb?tI#P|9XN15rhe`T{7i_%&+E^zqZ|vtB!6e)2Cw+l7CaN^rggE8E3-k zr?IWT0(y$n^H|VXR90w;Eazoev5F~$Ej{RJQX|$QJhx6Sx;ca z=U&cv=V_QnC1L#zNlVq2cCpg~w@^Bv)rHxcZfJsf`}PJVpBVY#Nk-#>Ki`+n zU$;b{U_+3&^agGb|McT1EgpzO zEFb`K6usg~Tm=vdb3nE}*s_zuSq$>w?A=E+Pf$}$BS%oAiEoF(f)}(m^i~hF1WKW} z0u7Mt5WaZPYM^?F3VOF9r<3O7JLrjXxFSzKXZKuTgScis>WZWAszwbgL({ur3ji*; z2}xz*u^;Qfc)VIla7UJ7u6WsQAA19+ppbJ;{wfKxaT{sIW6u5+_`&{$h@a_bEK=0v zX^_(4a9nzJZDnw5aVG-M#gdT6>Y~IXTLIf5Ohutv#KDaPkXjhaQb9bGKu(XMykd6Y zqg98?Ts47t@^8u)j~vF0)pP8|tiw2n2wDIJI3k;9Gd;{Vv)_I}ye&z;8M2m4BDs0* zwO7L=`j|m6xYLiH2qDu!`h^Y^;XUIhhUI?rHB_nwOPf3p`;2IuEk-|%I7mmk384GQ zthi)O-nT97>gl8IUW_Yz{_sxDn`n8o1@WfgF{C&D%(|oFa!=sJoT=ydRk>iXFSMsu z`A#m1xqdK*q_MDf!MlFL{!+DJ$29Mbl`GpxjvSTv4Clu|5Hxd`0=YgrRZ1K^JxMqjpY?r{u7vl4}$O7Yh_JYLchD?c7vkH!atq1mjJ*kDqOMmscyD_j6*|l3OePX&X()7t{Xa1`q57n|zLi(eFp>qKv)~ zv=m6hd>sCk>_yFByC;EBa(m>P!;ez+Ty7P`z=14lVVXbnBm7CJ6v{Mhg$Al2pf`!& z-dg(StiXvKl##mshG_9L37}q}nf^t;*Y;pmpS2mn;4l%bOs;rAp|R8}Q71NVwey%Y zgtC6{nTUG6he2;`nm3DfERG`U?xob_4zyC`N1vWb^~&mP*J>IgAt%-r$(JG2IVGQK z3;#63h5#H~p<*gf7m}nZnHH)?1vt$Rk()%zK`-)h_dWcDm4TjE0OW&W;uOy~0x3Qp_ZMQXAP7#qhx~JTF6#2ny)(pAb1p4q}2am-iPN2x?JH+rP16V)(7X zp7i%X>tOP6ExM{(0?q~*j{Bv2;;p3~{NMY-XGg|#z~OvN_I>S;&7@ZFSCj=LO*o$1 zeLqmB4ZToY_Md}sjcDUegKssQ*<0}Jh6lGC+tWmle}hUpn;at8GQ88hA#N-2t)t= z-1t-4dJ0p(D#n>RJUva72SVRM<(%;k(FV}am52y>Ss*(2CED;RCl-p*e9d*3kb;<{ zN`w$^JCqwsfrZ0?nDI#biOA5S1#Ux(ebz0}u=7#Hld)yBGKk^7Rz+7Yk$7^(@H*4s z)FHo}7?#j^&fg?P%VT^=$`;2hIpUs04BJ3HtL*MBtK2oKCSNwJJ0nJ3BrbMMf^8BF zW8BFlk%zl(2^_ZM_m*tHDP%{7+6xCPLwJ2x@Ea4xfP}=IcQqYrUi2331H!)+4ai2# zirY?btS%uLZX;e}AT6-6m6#gK$Sej%^%e(h55gH!(k_ac zPq%larPwo!PYo-XH1d_t>|%lk`5<_1Lw}SVoz0zdT21?*#Z)RQBQS~n+-B!|o*lDT z5gm+(yNveGsSwbsQtCSvt&5-FP5i=W%?uI&&=ER=I#Lq>7$dJ+sXQKGh4BYX4Lt*$ zgu=t$rilI}BM=bh+>l5vLs}U`$hXXdIHSi0-aoD^F$?P8RudFQlk#3UKah;1F2F-W4*ieuIl#|oaC6FAC8W_cYJ#$ zls}!`ci`1i5WeYdmTsWb-jQKpiBYCBUi4>%w;U?pSNN(3-nrY-sRMrlP3h310qh1< zE~TLwNs-@8p6c5?@R`Pp;J!!4Y^@!!&1mgZB1r^dwTFHq+A(D)IjYIj!k8Bv$yJjp z5rL5!0II$ASa=A{@cOEZOrG)8?N?*^@?fxPS=nCM{m#PX8NTf4(*r}FIP~=E`j8wd zY0nLLjH+BH)Z0EyEz68Mmq23|AlLjn4#{)YaXtBld~Hv~4gJ~~iAt_+XFR2k>Q{F{}z2FAvLl{vUotI~uo zS4w14m{axu*Njelp85+zsg@>pP|$Q8`ANb@{d5C)=g*7a)*$oLW6xBnc zWwG#DZFv4iu0qiy`Zalc4e3s*{wbnkC;6bVqCrRoY@y34W-Oh$wrZ?D-Ly#L8XxUT zkHBzT)d7^aeyGe~Ejixz_WYW(u4cPU_IG$=vlY(h&!dmw=khP6S&xj#k00AS*NpYa zZ?df}$5P&zQ(s$it^vUqC-7^QeMDcKuF6|{1ngpv)6`eQ*2l{_>qpRctatv+&f8Xi^r`$9|P*0+hQ<&%r+sqSVpUuOX%%09A*0fZdKJeSjY2xE)N39j5p2ceW zA`#w7TTzyr zA4$lrG+`?&5dgS(6gZ-8Y;MjkLzi*GsA6XlI|cR8kWc(TB-b}?_ZqxBtmL#K==aNP zBb7<3ae0UFiHXAyK{>PFG*m0sf9=_MAcI-Q3O7XW2(~S5X##}oWMnf{klG} z(@fOrW!|tQk2l|dl0NKLf!xnh_5?0waJw!7dv)aUN@E z;WH+=-F5Mb&tGiXN~&dY;{7q`(EaeEGKD_`e}%vTb1inm^rvfCX1;0aBz6M3{d}#^ zXH%JB41Ysq)?XIqE0=8Oz>VJVv%4+xJ8P;2Tm%H|Cx2AKWg0GwAMTqlL6^EZMsb^7Xs6T>BivGjEAb2=Z$pyg4aM*bMgSk`@SX9kj9o=0_&0WdZc-Ry3WNBD= zc>n7Wb#QQWb0yOyW8((>XXKy#9}k&6f{+k`xr5n%AlW}(BHM`yF$XU%Gdm|Y85cV% zGbbxM87CVDGw;7RE)F*4f770jCDP@fC#Ghrk#O>GF|)Igv2pwpu=0>`f_RyEIoQeA zIJueG+1V5GPlyu{^RN=zB9LGt$aL9wI1<_ND5<&sKTz(!!~c^Ki?+@;G9Gp^ZXOUb z2Wz77JZ7R=9tIZ2|Knt5|CbwgqR78l{c@2KSFb4(W2p!eKidfs(ef!%qp`uM6J7Fg zAlX@Y|JxF@q4%#P2;|cBSUWRW;e?y&g&uIYXK*PoF*FcDtlx~<;bSCMg(K*_5K&db z^yzI$0S-|lBD1Kk#&H@w02}d-tn6bxIXzyWZf1ru*$q|>ZoG@#hFX}bApCCq$AW(8 zZ8$ZoH?G}JR(~1a-~Kpo^aMWoA7iLDBPwR*m}P;N9i=XbwlajuQ0FEbvC%;$#-e2P zlOwsvq9nR6iTN4bDdsZfZmLBLpvL3qI(a$eaEtsNPs1_^K9QlQxe>{^=D2R)2AOU;C|h-wY_NXv#8TDdf%P6-X^qSDuC zu_f62n8AeS=CRY+bV9B|X_%W?%lPXahsx7(Rl!TKuio^Q+h2cPzs`{?E;KbGT_Kj5 zO5=q0O*C=n2R(y!f1ymrnvrcBh<@fx?TA9paVR^C_Pyl7nS>EfnUo~d^L)y%cMQ0x zJ=$D!IwE|eE=`8Fg-he|cjA*^R?m;|#ZP<7@a>tt4rG?KRpa)`#aGpU^NXxCv;}R3 zeM#SLZL{^sXs6waS-q9-pd=CM5!CfKFJ)r&-HPfbVp+Vy#qD8YD>n)tj{1?#*#gq$ zY5*m<%(&gJwkG%WvG@41{nisCi327{2#=3N|FxN`eFygq!lc@KTjPX!5s@x_0g;!~ea{6hDk!^z&L!#*Z_;qDy%|RYlu1_;gYr zKAKk=*)#yTpr{ECuIOy1$$o9=y6V2&$#-ng{j~aO%IDVFM_{HKKMd(@c>rL{bR`9I zKTx-zs9X2FYWyw@i&Z$(UGFd3wsgPwtm zxlM)-;Ttvg3g;O$mBKu3;yVCBTj+(bJt|6_CTLsO(p_4)hN8=NmDF$-h3R>Pj0rY#csce$8KvGJ`7jT4|?M7jRcawTrgSv(~4Uc+$We@%qgYQroui z+8x&yPH*UjL|FM=M7Hb12?n}Y>lBrzp-*rtp>>uhZ;J|wM>cnDrFSos% z>VDb$i5sTThHU!UdEpE+*+>VrdJ?Y*VL~Sx4j|v3?@_RK@z>PyUtgMV$-C8%HG@E)t(U@G1mx zN3}=`y=@ZzT9`K)cI77jTZSDL&soJ$ggcAC_`Y*YgZoQRjbZeVN*9G5k;YZg?G&oXsG1hP(E)!*7@bf52hF(BRRgN+g zqu&Re5+pGoV*jT5-iN@3W%X{P=>P|L(^VSCdpCBp$-UjP6tA|!z)L+fLa$xg(@O~~ zV(&f2Q!7!FyfMJSD>;q9lVq`>K0q(cR23IsaLEm|e)|BH{oBxcXnXQE=%13yy0H6z z`%NAxG@^2Ku3&yuKr(b|1Cqf9O4#n$8ZnNqU61G9y9&Pz;UexwZ5pRVCz%RmR&WnL zMqN#g!SMe2Y_Q)hzj#I}dEjk><74XAGbk<@3i0nwntP_#LpExtwH=3oqgA`$ZfakN zzs4{8ElL6YOr|91!yr-atLI;Sj#9q0JO6fYsno>^%1rfUGdk$Hjhz)L6b?$ZkWwsF zGP{7vKViuN+5h@Rl4hu)kamha{czIAUl%5u>_H3XZmDG6IWXs3Z-)#}HAK*2IoJ9*PZ{FQz)+6vQ6S|M zfW%uUHBu(^c4VfgIXf4cqTajL7)C?{Z)9 z?~&2CFm7WeRvFJ!xSGGZ@<9faj;eEIU}#UNvN-g*G#vyDPf8KrRbHPY4ZVCL&|*Pu z^5y@re>$U$g>+Y+G;}#@4P}S=0{89?r|3KYcTk zQAwIzpFTdRbD|PnTr4O39)}o{aEz!4M@m1gy(Xdau<@{wi{4rF1<~|b;zrS`qAKzO z@|Qh>I(1KlS4oABjw85b3*0y}!2TN9d*&V}L`C$jd+hfc{ zUJeykHu12@%_h z>3e0$L(?F%!=~h*tM0tR&TvT2C-068w0hgy!k%_weH&zdXlnAOky>?EOI(pI(jy*` z)P{xicS85L`}l}>xM7Y~)liYjbjlSKU_G{{3EW91sVUL5$+q(3%ln**cuNxnQJkF?0P_N2~&iP_kk1{Xg%b8RgR zTU%^67GpsqU0m6sW^cecKBmY!O&L=t9#L$3$8RS4-5x;bwNvy9|1%5A7U`xRu){%_ zMkS>Xz9o3t_M#Iov`H@xFa$Iuk%w2cSuC~`(b)MRw5XA@qP|f*7NWGV9IC@1xGUVg z)14$yMWH^2VkEI{g~~@6!{CVg-b#KSPN6-s2~>R_8#(Qiy!>!`yh!zgL*EZ#O6pOk zYluhsm^5kfc}(q2j^^roy)F0xCE)Es?TL66ePC0s@9X;z@tbIs5iZ>J$c09i-z0#Hk|jBBtGrrZJ>`9yGu~!RCdLPEfGA zJiq^_HVV~Gp14vQG2Hrtw1$7RO5M66Dev6VLGDaWg)_7JIzzOPk1}074Ld~3WsZKd zKlJ=vk0Q|L8sGQ<2&{QjP+~Inc)PZ&pg6$E8`G=UPmCUFlRb7E5gsHQyXr;N-4qLl zcNQYyRnT*44wKu_=YkXWUU^b>kHWss`ISshJsB>2{n8u$^^_c(#C5|rMO=JlpU`rA z*jsuIaWcKJEkBfRk9C?0`rf^5*`4=(f`o*~k*K}dF>HAA}Uc>Wu2n?^&J8#X#*n|4OaGwKDI7&B@$`3F#dhqP|k256v_ zq}9}C1ATLmxts-&W@tB%GaJ&_O{cEb9DEr_UjB9)*)(mI|AZQ-n~0wcHz{TC>q#?# z=z4>kE%1y5TyD-C%cY&3YW2kokSW8vt0_lLEWO3pidL!`IUa;4Nd;&@$#17JNN~{4)h>7j~vZm*aq1r!mqRireKP z%8wAUTSlxucn^gfGH6!h2t_>UFCIf^GsG30Ig!x~Jf>q6Ggtt8E#0S3dOdK~jwre? z_A7xBJNSy>cyqhwtU_;d_JKymF%w}`CavB!;&RuJOW^D_lV!9Lwid39QqykpNQ*7Q z&X)X+F36augX;tHQz7!rnwQF26zh)Hva?d!k1-;|EOp+r9KOek#@!yu^Rqm`DL;5R z9&U$#eyWsr&SVOy!Hm;$%Y|cZ{&st~j7RZTA0jkg&v3|_A76#=mhPSGDBQ1+f2F({ z(Y&iMTqGUe>g)=P5**?rt93_%VNnXL#JN+@UIpu)OCtS6!ngKnux6bms?92~g@3== z99P4pJ2#^jgb#`vf@X0M-%Y?CQgrpAZM*LTCI(b#@-Z+UDQ1nNr!P1PWeRMd_X*dx zo6{iOU-59XvpPYFJl`7^2ZsOf#;2aj*!?C+n6kEhL2huT=u3?07BTdFdtyy~U=JGX znUuNl3oD|Ai2W|^*w~(Aq}`sKhq=bXznI*4WZON4rmS`DjM@DmB=2Ejh&Bx;xZ?W` z{1!(sOHO#E4@aDkgANnmD+_(qP>{)2ykDr-3!=YB)^WH!_E!y#$7WSGTN!$<6vaCaUxS#ezo)AwLH6crkGXng@I;@GO!g6Du|lnphN%lLJC%B z9SNc;Ci{Nj@}&0@c88G8V$v+or#(Os2&3BOi%_ni6uDE3+inbp__X|5QxW9+-G5JN zMNXWD?e0=9BSB3BEdyl=`T{ZtujASydW#Pqa4-$0leiP?qS7%xbEd~8-FGSqaS>#P z$6kU}>d5(!c@2$@Oqy!zNn@tUwcGa^Pg^H+FwQMn-}VpELiEXq_~j~uuPLz!%-cRa z2_HO_u)BE2hgJj>qMN_?Mo`N*wvRh*#sm(7@0ii|8&f8bp|GIsTmf5uVlR$CINv=~ zXgmC4+n^{WYzRCqJ-T|yp0B+}{F%)Q4t)@wsEp2be}2IFy58&Q(XAVqJP%B~#cy`w zb9}GlKxt2ddqwbn#J51B=jfaU4i=Z`dM<8Or5D)$NE914jP*L2;+MjFH65i-fWd=;f~r#O^;5BQnywGGN&o58HEep&H*lTOZ-@-0e+M8dt<8w`bV= zc62$xAbmKSXd4I@d?>)k8@^T}{mOmOQ{3jER_EFHxkW5;t(Tw9^m2U%LcG*b$& zaau%Rsbob^m6XG7U!^6sihf+-T>`Q>G_d5`_Cl8;!8!#`ge=1pQ`OlPVQ*M*NKTcN zwo8heCIcK_L|fMjhV<)S!Wv1-KCg}lqdxS+KlGNomjo|JW~#h}L#XKa zj#E|7w)MU>b9woBh$rCy6tY=P5C|`^YiUVkFiJ65?8u#`1UE}i!SThcdzdb=uxPt6 zS?@7>vG7i$4Ox1czAjX~))?6_goc+ce^6Pz9yY4`J`aO#`%rwdM^XB)WZmiAm(3cd zWPHmrilnE59S5I67jy*iC%RD#Jot%X%*7j-#0~ z6isd~7+aL^CiA4gk{RC$g+n`UiV4p)^$U?UV5dU-mLWdl4&>dS$uHgYO>*iyJ zM54Hw&(%Vf4<##NhAoSw8PII&$Awb-_H4T8Dt}{06nX95zx>=(vG$ZG%oNAPr8I}D z(jBK6O`kV4Nm;s-sm>EF15v>13LEM_{&V|h^neul(OwS^Tr&Kb4~$p|bW)ZcyE(a1V}%gGxZx!fNii8Y?>V(X9Z7&?LBf-sJQ0B% zbh(Sqv(>#}4+H5(y;w5v`*M2OWaWnJ!ka0SEuGhXkvySC$2@SR#`JvocgXDypB_Fc zqHk5PjDX4r1(Q$PmUd%wcD&w}Q~+>)g9vz16;UyOY&ho7ObpCWO3#N#XOyU)7b#2Q zpeu+^zc52pQER1rsu2;}N{)b-=%3;(>B9LVD}ilA9cp=uN=S)Fy|mS%Di=DZya7*X zul+oIg_i9I>kw7d>C%5NNvp|oTtG^SD$*4oMLd+X!O-aMCfF0C4i~HjiJast7oT9G zPxI^l0kw%iO$K!Te-g{X`d<>u!}ebb`X8Hk)kF@ipU9MBm?&}#h0n#!MaIp`$;{5d zO~%IlkH3O=$aq+}nYsRPSd#yNt7|#mu(`QF%sd?bE8yl~W&X!<|Es_R2c;U@fvb|T z|HHSeoNQ#=oIK1N>>x6BPA+C1ZVs~l1hesQ|D&~}&}{T%LPCiI&6c>FoSe+Oyu4%_ zY^=;YtZZbQT>qljIRA&~X0~D_jy8Y$UkxWOJ2NL6*Z-qI%)?ByY0<^yWaVZ4$A`%{ zSy`Du|L88~zals}LI0NxVf*Aqfta~ixyd;G`FQ?q$A2I%??1}>AAX$KikYa? z#+lgCMgj9r#`&)6co_~cogJUMrx0AtgvHjZDmFy7_+bwZmz^x(1h2 zmN&`&6o%*0z z+>4=2x*bV~m%2$Q#;8TF6=AluaeZSJ?p$A&-A*~b$Pc5HNezd|iCr@0tXFkA1!4Um zk8pX|aqkS*X)+-Bb1#<$=x;b75{3#pOM+#$!y{MDsM>Qo*PrrLedaqjI;{Mv7TSeu zcI#%})|zn%7a!0$IU(8n;|xq~G&`VfuP8P0FT6saL2*ei@bpQwi+)Yw-gq1fwsuAo zCYK)@WHKF~#}?HN<2W4nMG2Zm&q9uoEJ{o~tqZ|#lYUWO(=g^f$b%J@)ITt(`oJU; zl@3ihR{^_%3QA027Opw9fARPPyIH1a!P1X?Unz83!E=EU&c10Xea`JpS^`apHjei{-Jb{n zbK{qk_N}2*C^9fhNO$I7P-GlgInaSnMKYcQU@ur;dpcn8rQmr=-~qH?aDraH+!Y$X zRzkWc9&-|gVV(;Ny#NNpSPk`9=u)^tvepJ@2T)?)f@V&s7%-luCm*^7mLZn=R~=A4 z^|iAhrYtF)5H$ZXlaOix{qGRIl3kmx8#t2t`8LftYroMP<#d-4w6FR8D5R1_qNmF< zj>3Z!u(n$l)R+B*NRXij-63@tzV+ePOTAmDc*qyjDQL#SvI4I?M;voK@8WoR6i8Vi z^C&ud@XzA2=C|~3k0*#iZr+9kzFg3F7w+`Kmq zOtNbIW``r({aR}WM@GYn)Y$AKd)r2i70*sWH!t3U51_`pSCA8-_mtr}?m@2dsU8l+ z;$*;0K?G3+k_T4dqfLFTgOJl+cFHHm%wK=~?nd`*`+M2UKh352g(q)NTo?IniDVuc z`c79{8ShQlQ#xaMgdFK3|AsVYyUr#Po9_ODX{+%P0~hSlAKVJ}4l!V8x}({imwt+yQyC#&3HYiCjk7-QZ(M+Y$bnc;!1)+5{v(k&z*3f z2^PB$)zWtF?lStWvPDtpvJ9OLL$py#up(^eo`mARLI;%*PDevh(T$_1Ttb!KDBL8J z+#F6T+ue34M?*+FCD>zbOrRK<@Ehg14UT*%_^6|g;i|kvN+<J?ReI_z{8!j0#c6bAK2NPXdlFH-g9@h4GyEQ?D%cG0TD{O+p6xuO-qKGw0n zMKi>e&!>)Ig-_$|?(ROgyK8WFx8NFJaJOV| zCs=TY;O-g-?he5rSg@VE_q)5_-QBZ$&YaUTLsfNG*ZfgD_0+G+3MBQmzothonSht> z9pwTwJd$G1aXKx2Vz#X^>ujl`)rzW@EW zuW#<+kc2M*pfauqD(hr-Jm$c|LoZ#KOO{0}y?+5V$OHhb&rPS1w9}((cd&a-A5HV+ z+KBW4xczvAb^X|c?t8U~%H_)!nm(moKr7NvsD2qFO)ibH9hqE}H26o{i4w~(Oo%IK zI4y-&E(7BTmbT0u--}oMt1(6{z)lz@_w>9X4ommheOZ8I<&$VYD;rE#w?rdVcs}~h zT0J|Y(5BymMTY2Aw@ga(ZGS%nT~lX@G_rUh5F$l6odId4k6+-N`uoBh%R6*DI^vPW z@}K$A)jgrxBd)jnxzFFA^oMKJb`C5j-EMUnB!_tj^_!dNJ=gc!*FF}Y{W9J&C3f+! zXvDX3e#APCZX3vP*T*m`XZAnWGiF#_1$Nn_pmtex+C> z7{1k=K>Yj@UA=``p&hY~FCgf^S@D?+afA?ydbKgjni1#@P#&xBkc~rZ*FQ|m{`;?`-5tww>T^C z`S>HD#tm-Yup=DX+OA%FI#jxSKZ48`PjA&arent7o=GQ!l~9=7GRaYrpDefS1UHos zY%|dO?;UWDpST};k=~5VQM8Ew(WV1JKt|q)<@xN$WehaRV{UsQ&g$UvpUR?Z^*~!| z7GlUUCps!OHtKQB_)$~#235{ofhR4SxrWqm3nPc)TVrz*ibM&BAeIx{_2c!1S5&Um zHOPuuv=96b)o_W3eXASkHqQceQDO!v(LZ70Mg+gY%;4TWZ+IWJtXU0k=PUYWgKl`4_$MJDeTKPdtA(MZSy1 z8uMH~n;nM3V7<7Jthx|BKYGT0Ps5muNN4o;gyWw#7osQOF)fd8l`zfP(AddW29oIQ zL@MW{D_#w+N=VPRRQICXguKd#)({I8M}-J+AwBE(&R(%Cnn3f&D6Be|BM0oq6uC?; zkjgtZ?m-hM8A6R>I0T+;$bby_1@EXax8 zgD+Pwx*>qX!b9vrQ~PWie)7c?LdGz^f|BFPw3)ID-p2F+gNKq{g65-xoszzi=LxY| zwssDt%A?c`;}uq?2yA27${^5MnL0Iv!}4KkV7km_ON^DdIK(}ZSQ>-s2`68ZNzu_}ubxM=xq3swpDZ-Z7-9{7>z8?Z}t4X?0J6fFl zZ9B47d4(+3%I;Z5o)g#ZyHR_9Ghw64MxIAh+bOBAY>;zLaEoEkHm6%nzEV1`6xR4n{yD}K+R!ZJ8?Lk#KHeP{PD|6%c2@uFYx zxGn)%C_F+%8=BC9A1DP>KG(A0W+g3zn!NkD0`VO)CC#m9Za3nqk(IsqLJD1|35ypj zdz!0_wDxy*K(jj!JwD-&uqw1^$xQyTofVEZRp+b2=I#XUPVwhWb{d|YOCms@l;aS=8g-UY^I6xi!a17-D!8pMHKF8TZn>PQ zh^A%0wqfxA_;#CZRtnm1XV z;RX6uMNzCNrVfvAvxXnyq;n0B=Xx|i|Ge?4WXH4^i!&bqOclFfAJ-_LC8s7@DraDf zdVl0t;=9sHJnK|&Vm7mTb2R@{N~N5mj(Lx&uVk9gd{ztVWQs$lp_Ur2fY8@8M6$7| zJD1s_qFc>jhrD_1p3dKB^YwJHoo~O$gzwJTX#<@<(1b6rZ9H7FTwy~|*|nd5xJ<5y zTvO(Ce5_axI5KEKYDdDUE9r8{7JA=@U3nORw`}IG_mt{*m^*%javBS>t@Y&->{L-Z z{(GATbEV!c=jwt!E^JOnL;uV-297Y)xtS{ZqPc#E#^_cn*?euq>QfTFk>29Up{1C8r9^j zl~ps>2v|CIR4m%ihkA3q(5!ptm1pdM?!>6(pC4pRU}R{$psT5`p2!GDS;9vrq5c&5 zwnQbtHO;og*Rk7uKG~hS1PNM5xLD&**a(bI2-drS0UVthotk zm_8l9!Z~@${F!UPTKmqs$_nw?iV%Y9n8{3jG>yS$zM*x+? zwNA|T*`a9m*A89itqe!q{IN z^Pzlyb+I>VPrPrOXG`TLqMsGf>d~|DNf!;!SJ$QqKB_KF*)(6)+%cu$8&Zr@GTs@M z0%Kl{v05fo8(dipek0;&N??g8sUt6j?E$QcsHxhC>3>@-#!8?kW=|O?e7Vi$|Cm;r zI1pw3vk4!H9Sfw(5sM;%G=(H+jjJA{uAv0<(DeancV@EfeI=0H+1w|JQ2$f+#_t)- zN}10PKopO@HTQexMet47ND)i&IM4pt0|*qEeSX6WulY24U6?e3wR}Jb4^WC%EAv4t z2}B~#4SR8owcMX?d>FIr3VOPoFJi}LFY5~KXFsTf8tPeoh5Htn#qxoj;i|N@<5~@X^ReU6 zxym;39h*;%gAReb#*JZv1k(RE2A`@+e8EWqrUnb}hIXk$Kj+?UfPc6L-wY8xj8#WA z9?8V|Vx;}F;?Q1q8Wr7{^x+H}n7s|u@!BHhHHlCqY7Mo3->{8ZGj9#-QHQ&}$B@**BKEsWU>5oEMqFE1-_9)Y}V!bN%{b5x)k<0Wc z;8yw_E)T&H$JKt3@c2O0|Mf-%_`o_Tr76!}j{2Y9|8r&k(6 zrKK7Q?T)-2wi1T!*@XHxsa731runxJh+m)>$L`PXtH+0-Br+h-(59cJp}+t6bK)aL zD8w8$$H@2WFLdj0Si%r~-&h;BvUT|0)>Y@;T`1N%G_=+8_T(cLq56pxnRY|j^)#Oi z7@FtOf}cKq`ZUuYi}W@+b47CY@+2AY^kwTj4Sk_yb)?Kcu<#|IXQwRNp>^HunkW{T z?c?IhbAaxa*=dJf;6%@J$76N&l)w7r>6CxEtoj}UTe+5I+f%*+x!5YA*yul>f-V1vPi=tyD5XmQdAyl3RRLYQW(&KDjoSO4n-M`{;bynTx|GNaa8O?!DVe=VrG3hu;~gjY#6I!- z92-|5?q^Ya%tgt$0A8tGtF16#FuRnsPgTq@M>JoJetc$?0-bG_} z$0|X1JICRQ_*|g`z^P~X!cL2TpgBy~R;aufY3RcPR^q86Vv zteSIKo8_~SxnPi9?b!r2?qlu1SA@=`#bHL9)vpdO#aYWph3|TF^%OCVKBbRD!NUmL zPSw1c;AUfbd_(gPZ<`=_tccxcTJutak^^M-qBkmt^CIf=V!je~0FxTzrVu}Q_Rnm{Tn~m*23hc4{PK247wc~dm^b)T>4cdQxMuBerW8gtPlrj zeFeto%>6=N8D2K~4}sKQTQ)wX6MmeFRDp0)-cDZ)FtVXi4EvbKT~5uKmD^rftNVE_ z`UX7;?!y!`j{57uOZp^1Amu_#^aRfMgDY~m6}vb>0g|tSFQh~AkO;!W2)qX71nV!K z)5G`1mHwRFeyNU^;}Xu`d$A_b?j{c6*{(=0c4gXg`n*p{BpkrpI)4m<>?0*qXw-tcsd25DAzM9^{$l#=V*Br! z+5QK@D>B=cXd&a&FQUK3yd&USLX{*c;*@@jMx;+6cqI(p)H^f5aP+9@y&tRbF^khww88C3Bgtv^n`2@LN zW2$!dj7SQtv=#~1)~I?ZJ1{a!pzuiIf?R##CQ40kzMNfoP8TSC!0JAbjuu|~;#R6G z?N70d+=~{t5^xtC%5#jDVJ^VN@Ef1igG1wk)_hvzgO!n4NI=eP>=6G&(l608gvTxI zJHa<(C<~wyQZE~Iwiko+oZ4mKpAld2ZfNw3ZsyrmIusA-QqE-3+Dk?8Je`c%OU8tJx`N(C~X}@+5Q{&oA^fFn`CSulLNTDAvtg4TFe%JX~ z+V=<)5w9}npj-_hy3u~5wu2{%r_?c)w-sxmw5>9KfogQVLROCcX>7wMuNQqq9K6j> z>Q3BiG-~_J_&3h3`xp1&3W8*q?3AIBeBBNwVF*2~a35)#o^e6CFcP{s&}QdOZ}1n5 zdp?pUJ)__C-*0+33e)}W(OQT-15PEgp!NrWeKnru-$FUZT9p z(jfI6!+K9KiDCA`f0O4ejS*5Gz6VWs*c*T0nD1aZg@T-zow!5*sAZ*#EDs29NtG0= zll#ISO`)Xno}#OVtUeDXZ&%v}P==lu-Y0xdg`ARkVW*{D9TYSeo1$);*}e|auWrKu zc1?V!cyQL-vS0O2`!>}VnPy3BAP}s4*o6Xb>|2SRgY<>ZQ=Zu1CNh%z#!MuXJMRiT zA<2ZP;Oi5adnuk=c7OHc(?M#tHNjbaeQw#mq-!VS5%1##|`qOA03zx~tu z;eJwljCKc|{GSQSE@QS;Ul5cs<%mW+P_bpHrbrwBRW*qU==JKVS=!P7F?nle(RGQJ zr9g@BMJPFg1Z<`017Ka&R8F$97;F?b)bp3?5Oq>*<|1l;q+<4m>+ALZ%IG{1GJ|tu z;0_QLkr_wFmY;ExDu*|KWa&0faiIBx5MlV?GF1fTb*QsCC5$>@^k_Rnk|~e|=rZAT z+fuN^?0&%fLD7({D*clxgm~i0TNrbtG4su3eK0R)*7G;yi2ZHG7RPf31~IL*z(7qg z4$TW6qcxhB!QfbjF3(5u+*xMPRx(j1-Y;ZFpZ)II_NVKNFzBRgABY4^iRh6`(TsSV z!@FX-EGvfF4Hi0_u(B9Kk;#{+fC)&KEmIURAuo_Nvl+SdmmQs0uoVm5`m83iL{#R_ zCu*i*uQ!M?VHsnYGJVK<+`PTP6Dw1%Wj(LPlXzD*GhFI+dJDD={$c|He!)4FE9q+Q z3(qhF_p37~5Om1M!qK5iu2Y`e^_Q(0%q|dvlDQghAswh8A0H)x z{jbJ~4`y|G*?FPn3TBXCfuS*D&U)99wqSO1tmOX*CEY$yyk4kyF&G>_iY z`cveMxkU6g^0O*72SB?+k#l0enzKOyK1@RNJut@yv7r`aRz_ne9heb(N+kMqxUCtU zl+w(RfdIIta%3$n*$A9)KvELFQ(>br=LwKdt#@Jwu&6urj4d!&pPfn6%=nrT86==G zGRRFzO55nngUK2gvl8l9V=Btp%D&E9B5ICCs&ZHknZl(^Th_Us*MG{rRzgF;@E8e2 z`K4s6ynW}2xCE=(1*nr0N8~z8G_=~vvKH6BLP>w04#`{YU_VGiAZh|>6cS_!-h-WW zB+|P8`bDS-Y!WNFJWbDV;|;ZBkq2p-Pg-U5xWn7OIiL)i>6N2f{-M|Y(2cOA- zv+$1{ODw8I=~EItk1^aL=J5S17tt7VWG>-o%82Yrr#y)rka?OA+6Rj*Tf(ifhQ;p^ zp@(mTdk?iR;{<^9y3QREm9_8dEVVyuRZXL3=dlvtIo+TVoVcA zvn9~%9(q99zCbgXbUEyuFP)>itmR0g;|~oaee#gpUarN3eM+bRq!0w1%+8NITJParRxUg9dc!To<5|qcLHxmIFiS{o>IbbjsTK{B15#` zq1})dB*Y5zU@RURes*O(bcubC3=Y?8`YeC=O}c%Y+~b${C`k17)Yg3E5?R{g`|7tm z%Ax0wy9UU+{XdU+>vPk9H;<{|sMz5TU!xp_+4|QK?rc;!AsM@}F<>C$k+EtzG`hjcBOA;ampve15LTyf?yC=4F=>?-MZA__1^?fRzDOrg0cIw?^( za454N#1Kj`YRl0X>l2rwIRCz8gb_bh(yV@WWf~hNb@3#|`lFNsa~^R;*76T47Mq6< zKfVzE^i2Nd$>LS`^>h0bdvMqu{7NUr#&J|??r{_l*D?>znq###G%Lp1Q*A^NbQqv2m$Z`4$+g1t+%1jbJ88`m!QIhEe!(g>fCK zn3zcCW~o&k%>ODzyG$akSYR8*ebzxa0J{MD~x-y?VvMZLd-%t_i8ec)cBa0_v81xP%I+xJV zT|vgF3cA&Q+}EqGb*tKkCeA|pRoM!|+hhg250Wy2mfL9#P%_&)i?MQSu9phfN|E@?l>Xp@5d| z)$OsKW7dLOQ}9O9+l)5PvHf7{JVM(NfD%&%!m8P_$(>|#Cf5k}wTSl?rfph@k%t5h zalB%Z+m{P16-tx)`Dj!+kk1oHZ<&e?Fx4$bnfr}La?E*5$_UWCx+Xg2s-X=zmT18F48BTXv8&QV<_=ibBHQNwVThGV8O{i-5{$k zdL%siv<+FNrOfQpTff+$wV@pF#ReO@1%EZMExCRvB~6?lQOoy&Q>YghL|>5#c@RZ^ z8+!8jEnh!=pBL3tc}3;whXi+?V$!tqhcI@dk2D}Ta;s>S6^6Uq%Ag#Xm-SrpA`M@=IGYrZ{}iEIue`H@~Y6~+sWY_Sa@@I8M-TPMcDNzx!qr6%ZU zuoc)3JWbZk6^fcOhW!xVjenX&(ei7*=9}Lh)%q|kf$tIo9{=*Aphq&OMu}4GYkC(1 z;>Oo6!Z9YQpRjQ0_H%X=ir4IGc1eXS1%}-!U9((CK9^yhKemNT0iOo>E6*L1uPGLB z;A&R9I+^J&!*#=h&XJ`h*dFG;P~{l%Hd4+`VkC-+Nyk2Kcy zNR|7B0be+Sb6BSgfdOA^)o4yZDH*(mvUOHS%gepPbFoiAb{BC2M;Tew+1nnI*^QFB zubY;vKwl}NhvE973;bix60*?$WDFrHWaz|dY9E?SV zAa$;R7kn$hLQHt)zfTC4?m6~|E~Qlom%Ih{48B>mmD26REG9WTqVYW{PS3Y|M4Gwrc(YpORa>Ve4vp_fqGU}VrG+4L(tZf)IOjV>?Jk3$(ejAk zbJWjvZG5C(fL$>vd@3dle4bWqw$+J#&BX$;mY=y%f2eX7!OSYO7nJ+&wAWx`lTKf= z&1aag&PBK_f8Tq=B7KGx^Ef8jbgQ%{hI@o#9RMA1y9SroTlX_Sxn8Xqn-?$)a1ghk z_@R~|v!7Y{!o;uL!;GXMN>{N;ZxO5TNuzy@(SH#7V~Ho=AN(ksKY}lQ@%_>be^~(D z=R5}9=Rm)0V8r+v^-)(`a)W%5mEd71-zZY>FcZ0-kjGh+A1ZVbgNY}K)slD+wh-uR zpXxijJP#H5-#h^iPj_o`=YJ;)fCbOLfSD2unE#^L|IU{=0epXx3RwP6KURR}AB@Wh zP9XRTnmIZCl?1@a!429y(gr)Sfj>;ixxpC)T)cln1Hea4u!73P!^XkSO~K302|n`u zmqLmKnw&!e3ICD>t^Yv4=i%c9>#^KmC6%9z15CVm_`$)U0s{Y({d9r@2~H{ar2zuY z!Q=lWz02@IUP9Be!Qu!JiBVB_NX+p92g01qd)9)N=D?{{En7Qp*A{`9YC%k@{d1(yMU zJWn;rIJnsWe?4AaKCnCsc5A^BtpF$3h6OjxC-5)0ZgGkQ!aD<>7Ti5PaF_%aHy0ZZ z54fxVH~>O`kAjPb2kid-&2#t*;xRxiXIeyHjt`cS!R>N#fG+{uCGa3{femAUzh*K8 zh~*LsWN@xQ_V>>5fU_hxxxk7rctpV&6MuUPmXEo>#`6Dc@#$O(RCSJk#|ik`VV-|n zU9kE5w-y)o-~N(=9IvoIITsorl?!k&@W=`LBNOw1`wI4j!GkXV_@@}lr4{Jn0s$WY zmVmjz!@kqPw~q?#PgF^^+rp3JFk5U z>1E0F?9xaBa5#y?&cz)#Gv%DW5FH?{UmFu2Gm!aw{i zKF3zUcud~BdSKLTE)P=Q+QkZM6Q}yt>OPyO6oJ-l<*&l;YV|Nn5NN z9veh|!09ymT~oD&Op!5qWZLHJ|61)25L+M0$fJ*#*urwf#N@d0Wi{{ma#dSCy@_)Z zrS!{B0C@6_`IqBL=nTX z*G4`bRONFgwX&PD2Qk2jYQ?;krXr$+xtj}Zlc^gW^~AO9Po&z2fqa{I2jDFl!#<+7 zCN0X!c%mx3o$!)~cHPJ42SQ0%obe_pP$R{6^Y9Ww{x zAP`cm{V0dG1x>*n16RilK#II~*^b#EaE3jL`;hj$k@oQAYE95*$`gd6zvqLtPrFGh zfH136jK7PsqB68~%kx_^O8~E`Mu7U=qiFxIEAw81u7oV7d?7BT*m&-mqqj|9!%kcI1Uy`B%}tRBzIQ8N?`<5$d`Kc* zcPVUCX?%LT$ggBn{z?HgD)JaJ*~u#d2So9h^>;%m=!e*OpT`je^!BiCj>01~-*|mX zJ=!+Zbh8AW|EaNO@T@0NBeY}n@Fy*lm{-ZV-_VA%txOt2nRL0BPB>Uic{~_Xn*WAZ z()c5mP~Nk}za?pDvHje1w*0&OR7t`-FXLQ%ywQEdXXZf(o1@s1>GS@kh@QaC7~qvs z*o8rBlSjlBT3Hl)tUY`@5i$z-#Aie6iFc53Fz-&RbAb&rX(M#J0qiAK<;=`ftYEU+ zPT4Z!?A4cdXq%&oj zg}o;wk+v#Rq@T8_z0eAy&-Lx|_yu&{xLL>PrrySTVzxRyzvxCG5c;Ak1Xb`6eO<&; zj!>sXh;aEXerqVF4vyU^*B>-(Pv7ZJ;TTYHEQWz<5j)m3%J@Y@$p4T^wM`h7S&?Ej z#L2=BY1|iUPa^8f(II4lH4&mx5^dFrOC2_bHuT-6D)wqCd3M4){yTS_iwy9MP;{#M zW5jHkv0mW<%`&IU^?cW7UHfefZ#*wGvTK5CcH*xHBG3lS~W3=DACOTFdVn=_5 z=uaFC;-bUve}`78renlg`y$r%93yryA;Kpr{0@(zzo7$8A@ndt-Sz6_W5^~zE=OYV zsqXc(MXPS0>nil(LO@BKZV?0C9iUZF>-E>8$w7^PQVXw7;4GXlnqjCh(8gwaHq*~T zRJpU60Ha9+%kl(>`BJnkRgSej%R`ZnlsjSs7dMK|@F;rueRKqMrh!Y|Wrcoend3tG zyNE}O*GKw~9iB7d9N$0ey-0I_a!QoG}HYDg+$u8B2!?jB4UfrW|b1@0Dk_sfL~|K32zgRs~j zb+2{AI2+`m>hE4%_>_Dx#N@1fZtdMy)d$F`sFfs1=#{Yu&hI5tY@WI&KUbxz$k0Ft z!Dz-ko*To05J==@F@6Ttua#1(&UT9ymdzj!%G@8G++#lq9Q*FFyFJb#3H9+_hW`4PGVu}aBl@pv(&U=5t?hT0(hjULZrRcLP`jnxl^W9ZsGoQ6zvDwHbQ+1~z^+Vv2 z&jbe@|O@r7$tDLA0hZv&3R&Ev$P#imJjK0ozR+1KP z^o_Wmu}Yku)&c@zgQ@L~CQN?S!`_c84Opt zo#PTo)#Y~!&J)frxtzlO=M~&1UQ3%Di4jc|Yqs$x+A{J9HRN#jci+?l!?8aTVZr6T zPN5-DvVMkPVNxGOl#+g8>4b)VX5lz4&{Sk?uvx}$@&*_I@#@Ti-UzS{i8CJ8b8vUM zC2q@R1jwpEC+poh>>HpGIVWJ|dap_;SEVi07P-9kK{G9CM{ zh<-$T4()V@&(i0mCIVO?oS01#Av1J94{&H0GkJRDa5>j_T`xtP<1;>~wXR z989vLu?VXIim$vhD7))KXxti0#!5sAVlM_?P!%Cj-g%dq%q}~)^_OFGWJr=Ucb&qZ zR;w2Fjn(OEVdGmbv-E}lqOg%IcwSoC`h`d-E2DoUvr+W2{7(Owx1sfk?Pmalc~{^F zhiH%t1CnaE<0?fqvZJ`qk^}I}UwYn3-*Tl4R^xCNxCUS%6vNM2!rIB~vw%&zcgv4a zSjNZE{80?2E5)2_7~-2QgBENU+sqV8Eqh_uE>FVA@%?0*;LhrT+t=d8YrtQJml8tn zlR|EFKnz+p%=Wcp>Ae}zOB0CK9fxECtvj`@t&J%Nf8t|Gena-b0rVh|LSbw(l(HcK zTc}_?@VpJF2Fa{;Q;`An{7l>WhZ)LEdNZt!*}Lon8ybQ4;DrR|Z0_!DTp5O%&6;Tq z1!^*e>!yC&nl?H$J4ptXyu$P=KzOG6oknnS-(&pKa1AS&xrkGI=L#MlS z9-qHJ`((pH$v%fmup*avk}%2<7i zzYkFp`tCVwyKEh{vsE#e($sEOCYUKz=NtXu^!oQN{tO37% z1d9tA%D zH)`#5DCpryU(BtF8~Q#OI&Iu*$KWMgTi?iRbE_FUMg5uGbrUCuc7Qoixx}w~_m-IE z*1eMxiN{tb-cWKMaP}4(?d+ugQ3SkopPUyN>V7g>?i5O(-*v?dt(V+n#9cAai>4sN zZ5dj(2!_DC<=elke__-lsccA9_c+UC|LvL=Dn_QJVt9ApOubc{Cexym3`ITu!M_W+ zags{|HB&FvYaao6nmm!>X`84!-GHQqMn)`Nkp#Y}%~0z=+%ej;Ev0#<#|p?Fqcyv- zAbvW^EONUPTX+?C>}xmcA9D3f^4Qia3@o-s%q z6|R#rl`ArIayB>~J)dhe!U8>;we80f2=aBzcpbes%W{X+qAtGY|EE= zYaIWq2@c@d_k3K?72+0@dCapL0%)majG9} zzP{CXWD{AK6YbXhr7uFs?u?nht!k{0GYvBkEJp63neq%r) zq3HqJsh`?#ejf}Y!uF!|WD`1dRYDvrpG!I$j~0?la~;50=NK!@K8SzgQ68$tO7)%U zew*Hk2by3guLrmv6j{XkIJ~jl0|QNu@EaVLCkg{%f`o&bc_pL#+L}6~>OK^^Lu(AE zKeWsih?Dp1jMhLR#MkQmwP2}Ij}&rHCr!(v)uAaSv>hMYzMa6(GEgQLz>jZOAXoPB zIb_|sG_bRp}=H6@bm-ph6j0u5-PK9VUh?Jdi?{! zBb874=F$z>PBxrpd&JWTEEE7`i`LWj5_?e9ymS3SP*aI5V*dWMp1^ufhE61p%j1-0 z`^Fv*;sp@za)A+7`Wp#Hi-O4+u6Mk7&g}L~7hbh00S#gsfWG%8udg<@{AkV4q!0&2 znOuCSY!LF(Q+HeOuuv z0IvEWP5@SPg`6;f+Ph`xYOI_(A#0BO5#lb*UJiI7I-MRmp-q_s(pH#t;uHl|?JgFdZWu4P?cXcbZTc5SXp=72KJnCnNHE3_fujTcPrHQ-(*axKzD{ zktpte&g0w+@~7{^_hmD>ep+e9PKmChfs%d96Y2+H_(#cOB*!iH2CBtf4-&{(Igt8n(cyi+TgM+|OJ3Nlrg6Zxl&R?C8&<64>+)i1X-0*eo(Bo( zM)iL%Jx=f@@qbtzn2-HE8iS@UO+m?*2xxp@OvMN0MBD;gY@7n=8#-WZ(*6nuG<}Wo z54U5zLcr%0-~s!XVB`e$LpcH5|DlmOUSXzFLP2svb8_;h$3a1ofl~Pi(zT%=Dd2fI z!ARFr;~#M*@}7p#Oz6aA1@N0Pl}C7GNR-W2^rLm;P)2I2RWm_rGk< zT%w6YFv_{8%~*2?Cah*quiZB@gLK&*6h{*ZMt4KYu~%(va46SBpSjp7Gbv_h_CMdB zql%Mh(5vEm9+*eJ6w~qXGQziad-(0Ii|bZ>XI%b;e{8&?Y+$43YuPhX+@EK;T278;xBq$5=jm!rc$jk+H1H%)Iy-LT>8k}a3 zUlY0hD9oCCBIM<)KDXaRwg@~VT=~SxFFx?&M;g7f#~wxPEkp`BM?sp$%k#;lPm&@w zHd$)ysjw~GBxzm^mot|EzYpAF)4>=wskhhf-r2tGiuF8ISvb>6?Vsr2cf$U_hC__` z#81RQ86isg23()&0jud`eyZnBzD;}Ff;iNpwqeqNw>dJ)Yp-);YOm|#M9jsdpX_bT z&}RK`ejYAo+LKi|N#@uJZYz$DqLo^UzsGJl6gKgINF%=9!6tlcUCZH(Hep{+xc2^X zteYaqY#D&y#JK@wD{5BBQ`DpZe51I2oN^T?*dBH-CH?e~bl-8W=!5vko^!FA7cWdV zk8j`70Lp2dNdD)LQJ~e{f-rsbSQa3lv`WLbv`Vpvt9n6os-#2-3d0!IOmE=D@;Ji# zmzySDWJo=M5Nsd}MZ#|sf{^MoH#+d#Ij|amDG;;Mkso)6 zlT48r3hFe%5+9B{wl)^$Ox5rJr$oM0RCBmyqO4*+%zr7e;klte%Lk5rHCIb%y>Afa z%=yL=qj>E6O?sf>MyB~x9M}xmQCM!Kn8`%r;NG#)h(Y}vO-RuZ?Yih8X$`UQqT;oI zuL(aaXeZ-xJ;iNQP)x%?8Dv6H?arth{@e{yrm5IgqyV~Auf z?fB72PY_C!ACgm`VIG4Mum*FD#h?_VA$ad?=jbmm zKPevBKx|V%>yM+P5d$|@sFKBI9_(BfeGL3J!kW?eMjK4C)uZ`1Z8E(E_*T0?DqC4C z2aMZ%pX88^G35XF{5-ONGcwT)5I%nq;aCHPZ{RzG~cYLZdXr=I+8&yUs6DD@udr23Ux!ag?Fyi)CS1=M>05*s0SjPQwT0s z2jVAY)ik0Pv05$H@1-ou)Ny^7rh1VP?Cm}wL>Bv-v)4qBr@0c-QU;rjUOU$2BLm!P z(%J5A_Q7sBv0!;q?E2D-DU|M+ImE9PxHh`%^*t5E$)>?!A)8{%Bu*nZp|<5OC;|?b z-+xRGxfN7=3HAq`ezm89>uPOIJ+IT@Vf?C-`oM)?d0`nxYmFKA+RuA&2 z2$X+c%CZ69A7Vtw6hc5zPebHd;bcD2h?$IusT|TI90-*elPoo!_g%?*Fp-kn5SnRG zUJxU4;=t>k;5aBlG)hLw&J1-~wEd~g_U3e}SKoKQ#HH^g&J(4KGZ$tN|Ck>yuwnAitGBkc&_b zKiWN^QRbGY5qm3dNe?qb6hkCn29avk1s-?!VDqKZgg(RVXK`LPDSB%FCY`d>b!fH{ zSOM20qBGI}CTQm#t1Lwp{+3>^-5K%-;22sn%-h58Py4#v zGk|@(xjU|7psKl6bL9*fXY9y;8Hx3$IFWqX!=Lqv-Xv0(i!`xTKg{j;_V~dMru85< zqS#NRgd+(PK{h3n9u4l-uku-jAY9v|FSf$4lZ$1%Ijtg+({E8Kv$unem6V1b=_1<+ zQo=+^AF%sw^mQjkir8S@ztM*)06X8%6#=M%By(+)Rx3$;Y;uw^pJ)O4aQQ7F`+Heh z3POnZ#U)W>b0*iFi8Y@$^;R=6l}91KfDpOSu(F_^*hJEfId(lxmh!v$319 z(_;tE2bwOVa;(|C2JQia8Sa!_hBfnc;SVNaY+b@WU*cf*np=r}&E9y&cs>ku8#DMR zwUbPP40|kcBjl$BT#FQX`oXC~JioivRI!E`p;M?(^nT{e>o9d8-=9Q@Y~>FNG`*3B z4op$N8M@G|<883(mBfjY6rftjGJVA+O+Q!+&OYgbErmCQ(xz(l)>b}Gw8#(rKrBm{ zVD{Om+~jIIp}^PAl)aa#5m96RL-coGPNPC3{=gs}WaJ;`SCJjP4* z5AA1>i`hj}9QLMd2GOogj>a62MbPcv7E^lypj@kmSB78TWxg(bXW4ECPoK1@fWBJ< zv;3$tEhs;PP!R2nBA`QD+~L>_+Z+sBtS`0NS|C{9Vmi;t_iAW zx)%LEj(9~Bf|W2%ItDG|U?s4a?&x_qOtVp%)g`>}DPD0ISjIPSC4P-FZ5X>dM*M#N z7|~*ddxxe^?mdqyFZ~iZB9fg(yUFqgW2lSROlRUQWUAdyVr7xsNwE>CVL&CEOaHK^IC|KJ_y(4kvOTO58#=LtQ^eEglX&PLPb zEddrjCvGvbv!0`lI2+oY^tbAZCl7Zh{cu7jj8xs`LV!0fZn~hWB#cS~kUT&c!h_-1 z1@h3YWCzJ~I>(+nAwwV5?bZZ#xFlnq#DLM(EpQZR@WPMY<#wdi<^~0%s~TP=(O$lX za!QedXTxX|JGceQQadO7=Pq3Tu$A1!`dcy=^Yx}o)gov+x$W>fhuj<|XD~uhOCJ<` z;;fPZ+aWP=+8m*s86{#5FcR~CHiM!j3T0;DN5-` zQM^I$G{6>7_bM~QQzrP%2@OXoZIj-233=DG_q6=w?y91wN@<1<)D^#OEE%Jrgqo-s zdhbJTP!gSKFCIyE&t7r}#Sj#AWJ834M4+n;L01pBP?oustFyZRQkGAC?0RFBtJxoA zI-q8L*p`H~OO3RLOwCV+IqF5wiVHY!@A&e9vjcqoO>^okJU0UkJ#7K&6jvf;Rft3- zj;r;_49}KOGTMw`q%>wL<3y!7Hs}J)XwsS!u0vE88EbAl05P!`r+tEIwRKLJz}YKh z;=&JNaGK4Y17hw0NXYld$bFkyV;(R9ZGQLti$&#{B%U82*QpE9ndzJhkc#E@fL}8Xsg9TR&x*R=e$gD5(7j#XQd88(k{s9qWbc_GN)?0?P)vjx_ z1b26L_n^hy-KCV`P@G~#f|dfsCAe#$xVw9Cin~+Xos)iRt#kI;Xa54GWF~>@BJVTD zJ#OcpL7z5|te#mXNNq~1%WK`<$`n2dlde(WkA#^h?x$??zZ_>BOvXpCn;45l@$MJ# zN|{cmsGEBZhhW6g-P>PmE>&!w5%{DaJXJNkD%nl)WB(>+O{t!g1MRyA}KYePm6w!iwDO(W|s7?vy5S5(1C9!?8+9J{ zs_8l3S`MyfE15Ze@`B5v5xcC(AFfv~m8NTfC~;g}e3T0}-K&EqjzLQ2oweraz0L01 z)g?7XD~;5?qjN)n%nYT|BWF*1*~s}iW)lmMx~}d4u^bxWWs^1Shm-V1SW8nRUn`Vo zuPbNFS8q5sV_-|M4aHQuQ37#r{^|?YSZZ*0*2z(}XnKg3WpW+Al4wER-jaGbaKB2{ zCF%0hs}xLn6wl9X={e6BOYGvLzOT&v)fE0;9ydEpJcR5156T3{^)JfgpXHb4e^Dlo zLJ0_ELiGP%kwVabzbjENCLVwoJoX77M+V_2xF9mJzrr(K2!p{5S#3hpY!LC-fA|4# z2o3-T42uiE0&x9JAc9A50N8l{vbg<+8sO#PVHW^$gD?IbDgrqa_rLf5MJ5D*|6~gp zAS=iJMiGGj>sSa*AjruFHpd0f{IAP!LnsF>ZXR&@|FP>Y@BvwJ{(S}jPA~-?AOZh> zh8X{&HRIs|=lH=efmV%_oOXudIwmS79hAf)dzI-w2!-{3-|Qam;q=86Mu@@C##55v zkHnSNE!+KY=CvDK&N{qs+kGyR^xao(U^{YXRxM`T@69cFohfP7yW)&I#1nh={`w_Y^WFN(mzIgy)00;!maEm$?ih}{)U|qLThRT!<szrqkl%CX z8K~m)sDS-*AWg9+#t+4sAA5nI_Db&KPc^>$=r1J65v!982t{ng$qL-mS~1&wvmH;a zm1XaR>aH?Y#1fkgqihD5Jg&Tw19Q#{_Jp`C#n!|QT=`YQ9Bq;vNmJUsuN+U3FI!

$>%jIbn77y`4CxYcYc#f4p52{Y`l0c3*td{IZk?{m=PN4qS{Sn!MR_d&hP{G?N>P`@}Ow-0fA@tQV0 zHufAtve#bG^CdrQG{p8KZQZS@wo)|j^4toKlzrC|7?{d4V&Yk`>lj*8v(DM+KXuxk zWn0*EsDGed@y&etHIw^il|!zmcWJ%KLJz(`g!K2t^qtdmp44GK{v_z@FKgSqmR%uz zcokJPX-Cj~zW0$4ky)Zl4((EPful_)yD_wG(h##D)q!SX#=vMpvyRMUty=X=a;Oe6 zq3Nz@gHBqxW?<0uGNHMV4 ziEl=n@i7f|#2!^fsl{6Iy@@0nf9vU(FX4W3{&v6OlF%}g#s?`mN4D@rXye9@Rvl*a zd|dz<($O;Mq$81NCL8r-cmj?7ECxCBAd1B}ucQ*Fd99s|PZ5vVS=~#bRVc|WCw9xf z0~|mFflH!Bcbi@eatU|}26}(;4@roTm)??@fjoZv`G*r5&XogSvx`Tu7c&*zq zv=-mT&06YyOkh^Hx@3o0j18apM2@Rq*v0Lat~aTj1-`?GOiOoTQ3_{`LEm#7=zOTsb{<&{Rc%;Gtzr1nVD-^_ z7*(j2H6c@Cvyn%Qqj&#fpKc|LFSDa}Mq0a9jj}M_v!gLIpYLJ6#q@x+qg)xCGN(zSBh(qgjK(?;7$E<+zLa1`YT}Ye1zijGr^G;G69Pmj-yG& zqA%nY{R-~{j<+mhG|UekM2sAcTAVFWo26PVR!^{j9m(>6FFAtIX#s6f8*VYA?9U3@ zeh=q~7QiBp@59$|Ex9q{tc2J$W`z!lJ7{8%5;pp2ufP=X*$z>Dvv>oMk}{jdu=0{t zXWZ(=B&{IuH&`K=rV>Ys#F1CVUMhKZgeYcxT3cC)hzD?0nmMW&muiaY)D60K?LCwb z*Z^bSz$r3>mL7{w%x~|6Yx@86CMKd$`Z0a7KM~izr%-q;)}MTA-jKN7m&^^)pi=8Q z>bjt?XXX5smISF>-KQNI5d;g(f=MGfYgWHb3kciyDfT55l2OykLaT4uTfdJ58Vn!f zlNPYE%SXi^1lU2kWEGg=Zn>k>erX|i_#ECETeCI8Ae8F=o_$>6*)sNK%_C#~O)nMW z#*$9j@-TKneyrank7U9ZX}JQbGn^zvmTNl1B220c;{Yv+xVlpYZumwCx^#AU8`aUD!Xf?kcMF(!~*x z?L64VvmP(Uu|@mIJ&{4@D07~2uMYRtt@d_7%E~kDV-a}Rz<_1jbeKjEQA|4XArB2_ zBGc-KB^z{O?pGJ|T(~k1C!t>GL!>6%=dwvBRhq0BM^?wTp-44;3Hg^IjKnyfYRb% z6?>2XBTm3R=VgWEAf*bl*lQ81z^$duJp>3;?yWqpO!URHX6L*DcB1(xBV-o25OM&u z+HV2^^lD@$egU?G(iw@nl{53bsei^J$5N@>b?)q=!7~45HhowmYad1nWGs;6Sw;u$ zySOS`?YLUV-z(kf6)B(i9um;kJV+d|V%n~KHtK(G(p7>r5myO{M(FfbkWGQf&!XR` zJr5%xH4_Y$Y8AJDhYvlef)}c)@0G93=;L;F-IV^F1^Fnyua7nwpr)Ms!9;skjg_?c za+}i$(?oy7)~M*JyyGAP z5x+9F%T@^(|4jpQc`?Q8;w(IbBtVS>m(|i;I#*5gk?I%mlSh0?5D7NEXk%8Q;M5+W zRRhqV|Bnw=?OTT}l07p}-S-dn$02!Gf&me$%v>og&m+=Vx#ijWO4H}*@dec1JKY+5 zeyk+160k>@8(_o|?wsx$}WGMRsQ3@+0SRSBoUlM6Po5=BPzXL9{{j6`lA z;pzQMVYkup)e2wlSpU8TE6y0yZNc%eulmP4J(T zDajfZp#(e->Nka;Fh{4E2^j?&Ogk>)J~iDMe)_CsZ^ta7($u2pes?Qq06y!2FG(`L zotAc=K)H7Zk8Y?@>DD!eF7`V{LRTtH{!l`c9FZ6mj-PurlLB9&m|>#&eZNeE0=ha# z8J*DQ47^YV!dxwCWdNh2mW#CFl!OEH4y?>&pAbhuv$9P5A5$l6{gG9qY@+}a-{DXJ zP~18C_PEjMZ0<0uZqaOvK!v#EH*6M-P~D(2py`peGH18Xz3wJ<;2Mk)+;+1lb9HJ5 zscMCB_Qu5O*yV^I*TEeEOZRV{5p7VO0JO@n0A_j4j9?TyiL|Mh+Y}m^S>rH2R~2J$ zibE#oy5>{E37ni^jD-xN8+9MMCkvRii~eVZ7SQ&WlyLbAQNv;$n*FCK_}@bNUn!b6 z?V$u}|B&pYN}xTrIDII1Fs+4%{Ed3Z$yyCrv9%SsK);WlQY_MO+oP_a#AJcJ%>;fD zpKWDi3lc|D5fTc+nUCs=-7|1-o&452s;2@$BBD;Q=h}xRUwgmp)=8{xZB2dCuR}Mk zwY@9+WS+H7FaBQf=x78wvD7~sVMO4jNWKx7dNmI}5?gC7PgT3rVZCxbcwS-e<%Nyo zJ$SdX9t@AZ7cF5?9?0Z7u72*X!pDAQOn~y{)_^u-trNy}2f#F5>k&2@m%Mw7)e4XZJZj(#S$ai+ABrflaC zu{Rab=SW&Fx;y6LxZpR15W7~z#>p}8^vBjv`q?9Fpfnz^a(&SPFsGU_Y1Ln6^oRD> z8gDjJll~yf#iN{bPF(l-UfsRbngtRkNNfjf6;-iF>!FLcfdVGE!hgb0M`4%4lZdP* z_L)bLlDz5}zx9$?nR(p|{ArRD+|>P*?f2Uk(Qw*j73CAxRQNbcWinZd64+lq#7x0j zx`A@^Y7z)XXjyVHd`mD6Oh$68oRIWy?9?bl^F7TxTKxBndpGzyrf-owsm2N;AdJ@7 z-9lB8+3!hMv)@(N>;^9Nd~OH$YzBM!+yL6I05{-sS8`>!@6`^T9_*%PmmrJ{nz#MEo(llpVx+ zU}aV_YWEe(j&O3}wd`7|<0-ulL;w%X?1{~jBVA;JtPIDsKfOf9AGsaJf_;>0Zo#*vfR`0TP9oJ3EvzB4xOA0686|$P&jxiS2+ ziQgwJ`giU>IQtzxM|F02;Oh|JSvCSnRl$KMpKW!9`bn@W2;^^`$w5@fum&Pe;eUQ2 zJI;`u<}PZ!QmHi=!o$;CUsB`DMAzS5An;*UY&|V7hCyZME+VkHVy2kHH}MX)f$FxT zpBmLx8N2z%CVk_jQ7FT?N9Xr%nd9Rk%!7MMy+7{HAaBCc>e^-{l4q`e3vrvL3?UTe z4D~-RyAK19;=x=+D}hK5c#tN*!_0`7tp{n$0@9!nE!I5d7aAC4*1fOJNN7yu_g;mO zD13zoX_sociz)B#JJbW67HQu}e!@4oq8uix3_x`5tZ9j=zh=S35v;&=ikB^%HR=qM z=I0=JEOkJ4+LVN4FU-#HBRIYyHV$&u3Y0i&TdbkST>pKm5(d)E$g0EU*mYo^d3Mn< z9$-NK+;KW_vg#u-K(%$Qg(l&28;BZ$RjM%}(z18KkecgK=Mz~aN8hyqY!sXhrC!Pb z>bckCrx%qli_70UMVKd=h*Xtd4dsVtxIq)v&nxIyE;nlR8EJiSW|y->mMkx->&iE^ zE&DFUP?ESpA`0rd1=MyIfBPk=iEMdu4x5b4!TI=mReM7`1{SSAilugGaK`&+H67y+|eA?q)nyFZ|Y1uRAzyagWwLPsKm;wo88Kj6ARUCvV={ zmy%r%$rE@-3t)Nk)(WfR0=8+Bh*$8&p7DD$VxLmD+Xm1jQQ3OGvCMAorW)6rykhqB z&`F8-WF?A|=~R&K$s$(R}1D2skptz^>JtIbo#J&NjEAFslP?T+&`{$R76X(EC;r!5<5BsJJAi zzA@mG6B>8TEz89%!J~ee_qSXI85~RY&r8};bV1+O`4*iz^06_!V}_oMEslXIVQGiw z7jqS0Q6%|A`1mK+W?Y2rD#rCRba3=-J)`xNa^J*XY22?Kde~n7SUZ@56up)f>Ygxw z@$Lw8prjnvOdHoZ-t~Qm6~>vPRzso(qOQu zf{Dpvw2K*AybB&(V)*nU8O>7;P$rI`!x3mmt6;fs*}5*~e}{1`VD0~ZjH-D4XZ%Fl z+u0J#3DHdbYe@9pgDXME;EIj~l9%~Ar$XlVf16zYHUj*eTyX>W|NZq}S(Eo*L?(bK z8TVhwKO_yr3-RLf@yEJ&i~KgZz${x-u(fzKTPu;30x016o-6a)MlluQj{Wm~Xj1-Xd-;7 z%m5mk|Gfv&4Uo`nf(ru)A0Q_&d10B>k&!H;-+dv)X^*g`ss>q`~)sEvHK5BTrNe@>(*C~-x z^AT=EC>4i-#eNu zph{G4J+#4!O@!`qF?1a{t=9Kv5^*$)@R%qIyZN_L?dw{16-&Q`PVt#~YMQ}I09HFU z4rxO|DN|wL?P<9c;Dqxk`ud2BrkkFE*lKln0#hRmSqtLX!K|T6sOP1&VEqQ!1fKu8 zKVvIZfa}-9ktLLZkQqBBP*2FjYX}w-6)++z<|6GQeg? z$(PEi&9?_%JR+RUl%l)I#$)B2HcU3MFWofg&J!SOhH3^)nab%g4140@B}m=l{&mH* z(k-(MgUoN$-ki`4ZsUe~KwCqZ@ackmsKlz=c7T}o4`J}4a8gkdD5`smZDd%P`lscV z%loO<<(gdChszpJ6c)GI$-HEIF?H2DwaZHtlDF7Y)`2v>x&EOq9A~GeGL8wotwVx^ zAHddDRaqM}-i{K!z_on@(CyeQ6C-wJrq&3xR%uqqMosBGHmNXp42JHds%CKoCb&?w zqUoj_v31t6-xAIqgyOC{otUMNrfD+0v7b)>OGukZ48J~ow!i-+GR3E8FfB~!i{&z3 z)AM9f>ldL}2jGt_9)3q}R-VLh5=GN7Ki)o-@3W6J6$uG!Z}L`HdblBmso$PrHc$ww zSe_zG^Zf&G$BO*ldC+wuDR$9;I^399yDq5`20c2nO>aEnK=7izcXCJGhw^~>7~%Xv zq?fD9_IQ2_E4kXmz>0YCI2_;Y>Q5M0-&gj#;<*>T~%OIwur5@dve5>uL)!F>?VzMUr0w_& zwgzMJ-4GfV3J<<;kl7xVr>uQXD_!K)IVt{WNnqwjHz%WK=J$FIVJ@wQtR~3o&!?Ne z*4HQlYoitj>1Lom>sNHy2MVr{uRZTpE?OZ3gBC1Ihe0cQwb@?+#5iH6?Qhf1)}Qap zAnWY9)txRu^o)5FB|`O-p(txG6yumB<2Z*#f#Ly&*pLq@wYWDXf;>8n>sh@kA>atX znVpt%fgiqkk@ieXSRH1un(6Mwxj3Yl=2|4Fwb(A_7VG&NgI)4hBVFH1zdre-*8J7Z!EZ$OZ)Mq!--15d;Uy^qQAZ7KHJ z(_x0(=g80Qslz|F6b9iTNv&irNC6IymPU>^mr%S$cmWeQPQR|aW1|DgCK?C z3^HergX!fq3`fKu*yxHjaa}0+W9z;)xs61Q;Xna=!jI;X;f$FQp;udB(bl)Gad?fh zhv8Z4e9fo5QRL!|4m9|dfwrQMzY<#8JbN?+^$KshfsJD{9DwkNgA^*yTd0MtGbl79 zPh7f8a1(i=t=m9Gc%Z6KGhrENn<1U(93*xk+<<`WOK{U@3OaA6vijgWo$Y1CcjcpU z6cS?VtcpVoI~jZ?+CKxO>SU#ruVJ3n>>gxRov#9S-sd3nqi$%-cW@Y(k-p=P>+6N+ zL6k(~#wIkpBRz>3VIfkrc_T{vFm=K;qKU1qNbtwYu^&mR%9kEJ4w^INLk=hL1PIF; z*Z6*0C;#pJ5D(5qK(D4EOWHS7>l)SvvQ~l0*98^4S;*bJi1wjW{vd||dofr!M7k=} z7G!@oLAe7WGEWQa7i{I=7@u3s^L`3B=xX!p)ECL452`Yu10ffNxD1IRLdpm9R4UUN zmH4(MRZ(%i&Xq%>X%b>J@e6}ZK#r~(s+libLAT~RHof?xYCj13LHN%lA zhi+2|S4sN_R)F8ei(*?~(Zo6q?oyk4p>I&!8<$hqcPMw7n7Xlrgu-H2% zm>AnIWp|$6;}Q+ovM1Y@5oLE4mdG1Kw5%3@53qK51{nBs5_J41Vu*@;Pu@tMa%GFd zL&gRYx=cA@Pe)}4#t;TSYhiDNDIYO9yPMcVDywGuBE20ykp@3Z&4Cjd*<7P1RXW`2aBP`Yqp$N=9IfG zuKn#={7s%m46U9J$(%CN^>jOs#nS?{{90ja%R&3%@bf!8irhd|w^r9e)i@3)+ETwY zWvlN`8B|ZVT*UF+SUV0+N3~DTpanB_rVKR1d0MLFSv{BAbl;-%*@{>1@@s;!RU;X? z2BPwo-;I67;&EdmbZ!RpA6ehooBNk2Ts@B}6J_biRbF!wgoBdzA_Gb20gn|9s zHzIrD9nGpJ5 z?*kl$pv~b%ZPuQ_$u(yzxylQ?jP|6LH7tX=a7`k)-R$61W7Oi< z16P$JV_Hi60EDCKi1hbNoU8PmO29RL!yceN8X{50-}@7lR*iC3$)Q2+QFm2c8n}SK zj0bodT?A=YObNP~?U6@lW9Ard2v!mfa!03p2}8<9_aV?>Nsz?HLc~WAejnIHkcp?z zZZ4w^^H4Qf6&(aWgX1*Ib;szcW+s^g7`ebUhr+-S#dfDq(9ES_&X$4aN^K_OXkxPJ z4d~W5B(*1j%e6gYDrP|yDn#t)qy_DkqD?2&XM!jS3mkpg@{gN_ihbOWl7D9)Vwvn` zc1AqDq(0(RG0x~rYbDw)+QjUc3CJMAvZcOHO)R_p^Q7OE)tX9j!mBvmc&xSCWeY8< zvhz)fe-(E1ZSd^v&l7^--Niykng0jaO%Yk+O>c~74NK}VnZRG`i6<9k+ttRcUY2m;2LyPJVxGeDb+G*_z^}&K1*yK&CARYLz--^sM_%?MIrT zZS^tXxhhCF|?pp)Pcw5)hkvruU;3A zShdMLr{J{xIS*s;Y4H1#OsWG~qECO=&Q`gF%eQO$J_T$8-hjFKrGn>uyCaYQx06w8 zn?>WkV{Hc1C$s(mhG!4F>SP@0(%H86j1L+utT?S*194R z{)rZCU>ty^Kj>A51vMl8;PeNA&hloZcJnC-*#_@ybhAR%OHb!GdUl}&HZeQG40J=i z#oI^}lpZI9mrmu@0`ETqVk@sXaesn;v}SDy)j0Dd zM)Kgcupe=WsHu%BjFpfp^0lHRz5liMOp+86?N0Yfw0c)j7EE{d0qd6?NUfMUjBAwH z3|`)HFhRaQc@dsTODg1; zUD^-ZKkxOJ8o`s>U9tZM6XXHFZm~6o_CtMPv)NHYT>><RcdM~AdG?&@o)?>)fr492>yb+agSxkSrS5{@+8UBin%q^MPT z8ZSYmfH$|SWW6)GiG%dR^wxcD)qq(AZyLC38RVupnPDBGR;F~UggfIH%>8QD>%wPN z4Qla-L9(buzwiTBeO&qp(`*nu&_Kx?PYmCB&eClZ!treR z{3PCV;1^bH0&djIzV141gby&Q(=eMq#&)8dHn?cVSPh+gm3!W^oscpbmmndi86N=g zMVt|*CQhkwo|{)lzHchwdNp30sGuYGR8ZZ6qXi{_r|5b_O7ISutfTJfLuUqR{C~~8 zz(m3TO8^iI5(Y?vZ$3=h}84=Md;17y(kpAB38oC6`TAXBe@ zokJoDc@!WdW5o5ZE!>b!Nr()H7c4Fczy(J^_QG*NxGyg76fWeNeWCy=1TM$}3PSuv z|6KF!@A+JRjXm5zaIzRc3Nm&2r!5k^AO@g^h~7~X2rdc#ir$I1`TmOW|Kp|qH*Lks z4g7ygBp0J;1YIE|k~da(R?OhLO_UT9uYmWcrX;Jk!pFzKh9gJuMs#yW2d;1JG=yWc zsb)pma%vOk&zk*X1zysy+vpvBZ+jSG%znEhP9e=-Kt8(`=096&GI*7j%I-$XI>)r# z{PKy?Uk+~{E6?7Z!zctN{3$K+Gds;@-3dTGCFNlbb;m-_Jt057L(kYcwy63XX|O8u z4tT70c6P)q{X+LVDQcibFgj@Q|4z1$WZRY${k6u>c=cS?TZeTS?}~|#_sgA0>c zSPV2-bM%}QaMT3}HKcoVVh{#dQWp||f};lhd`qOzYZZCcBogy!!*~3x=`+)yWJlI; zO|iFA+xkg#dCMZ^Vte&@vVMz$!o%np3AKKq;t;Qb;EiMX!8L0A*gi1WH*dbNwE<3c zhbQ|5)2E^_J!Up-kpGGo-HM0};1LQDTYv^aoiI)u*V%GUO!_IDlCfZaTqq`iFay>i zPhMV*0>;8v4!(E3Kx3eOO*=y`>pu!KAwQstTAMDTDQERqYiue%udNHZhX+sk1s&>! z-M@M?wpWtD=a@|(6o2gUWdj~&)GQg?Mb+4C(cXUze=VS8gyv4HtIe*=l>E|V`8wf3 z!LODW$R_Q!aJz~RdX%S3R^-V5En^QzGsq`-erui7m169kf2b%_)4`+}ZaindP8rPJ z7}0e`*KYluA)jg=$$CjCh4N6^-kH69dyh)^UTf1qme=@B+{e?`s|mhm<<#Zl+GnA_ z-@a0BPh=8Lz@Ey11X_fg6xgE~Z@*rgO7Dfu0=8F!ki#>W{tWbTxLAodP;Fz9OS6ss zQFTNl`nFTdXLfjV<~4a1_#hBvjl-5riIo2Pc`B%D+3WbNPIHV@E-?h!l0X?^a;`pR z(rZ~B=x=WWJY$cJ1_3>w9{}uefg!9ZMjD_8kvf4(lM_u#L*unr(32aj^wAUDbnS1> zX7)pGF_5%M=ma#E4c6dS5JA|S-+T{M&meg^b+489DR*?xnEi~1eZ%<-nF#Dwq%b27 ze^^@1bdI#G5M?Fwc+2KEyucsmak>-!o?g{jlc%aND7*|ZFV1J9JD;_|c62Dj6P+18 z-k^;ljU`m3AUqcL^90TCQRiQ9vDuzgg43BPKuVH!0=kEta%_Djkh};yOp6Ilf;De7 zmmM!2W3*SAki;=Vleh&41sVh4nw3guB^+ZEim9$TM< zm)uLTk}00gZU*P5m3<7)0y}b*Z;tuMhWb%i5M4 z8%{%IN^qLAa5Z`qpdZIX_KchG%Pw?}nd&gR=WX8Se^_!&d5N-Fa=|GCGpKKHaziRv zly!zd=;l^uy6G}T{CvlS#`0o;D8qVNlD8zmRaWQ#`8MK7*XrK*6b@I!XTRyIGMoq& ztDWRAJ!Dt^GlhY!DI~stcThDZr?b(0_m`5Jqv+MngRY1dwK_gx zW9!_z77^S7v1p8E^5q}h@Y=Ktc=+Um){d&o+PanA8^Fn;=Ka;;Bc6esl`T&?*es{o z3k(e~&lwUveG=g4c9z0e}d;&c;+iJq;)2I8O zrU1Xmqy>!{Y!dBt!{$7svX2I%Q!z7{Hcu6=A|7z*OG%kH_ji;GQlVo11l9Nb{Hd4y zP6yf}$+$oAwV-P-5o(I(+%zAmDQ*R7qFcvr zV7Km?{tm?My1a=XI(zMiAzjMQmk773Yi$-GM9_zenh{>ArBPttd--hyP9n$l`cUIK zFg$Q__}x!F8fB9*C;N}EDswSc+yGQ9fAf~N{`QMTp(?Q6JF{(;%PaeAx;gKL2en{U!jVqyK zJ{L-o%E;J_*qM9YvzGv+;qOuCtGug^;~5w@8Ry^(3>ts;rK>Jl?xp+ytgpfiTpQJE zgHU$vQ?fx&RRl{&A4WCNPV4yJZeRb-gB2I?I;XwjKLUuo8>jRlpZGx!EUkt;gJK`5 zWkEe^6jJj~EXL)bFx4Gj?)JnYsZ8l@KO$lPFH5NcQi2G{C?t8tOZL$=Ns#V+FJ;%v z*kxV5D1Vc*18njAh+_p48|nZ-T~}w%foR*;69}MY+WNBM$jL2_70z*u{qiel3-g*<{Ku0kwno01 zP3h#fS%&B&NsC>1CPZ#y6FPmI2bUF#?&z7Iy-1-;v)-)OW>9XiKS0Yx<^2G!gf$47 z#+0^#No7Lf?K4VdYG$asmcE=<#y-Z0mCv(Rn1de1$CE>&AV4tue@I#;DSuO8DKEk9zl-nS;&NvYfu?o%aXyjrR?}Y?z)x zlyTzlyW? zBdsv{uhzZ!5JKhF5K+3RkM$343gV4~%tffPXD%!aNy6RhDboFzLh|(Hv4be*70x%< zS%53>4@Lv%JEx_6aBxt>GtdN5h;5inTo^x+3v~7*`o~&?gZ{*R49EG3*Rf+!GL?DN zT&U|Y1cUecveMLysko$)^Tw=PwTml$DcP(5zsxN^w}qlIZuZ9mK~9ybk1SNU$S7hs z+t=RB*6(GDwOSXNsN!iF&BX_!kCF?YI#JaQ6?j5vk}t zK9aC39mN-jXx-(I@}$hJ0_LZTDm_uN?2?;;>_Lw17w%Dc7WXvE*~$~~pDo^|#*Sst zMhK}iRY7YcaP(1fmA2#3d+u!yE0KJDS%bC8YzGnEeDvhn6V~0K2sW=EDsOeK5lYQ1 z+RgGB(T`VGI#FtWa3f-@V3cuYW`ca|Oh^_3)a8-dE8E=+VM{BT(j3m1BTe-O>m*k0 zi(7)fy4}&P)4oOB)4%B(grT`)YGk|g`)JbNU4HRbq0utjSg0cyM~-E-Ci@!bHQ+ZS zfgn6#V{#)@b>JEBw&Mv20qXEuJ`~JLGaLq*;7HBF<)gV0^8TRXa?pa7Dt{-G@u@sx zoZ!~`NNJ$cbW%nhCPenk?>j(G5HT*ZhA+oDn>#Ce=YjAWdorWLST0pFh|LUkH5`w@ z*IkJuT8;=yMVSGnrzW{4;`^BJAn;wsTZ(nMjRWi-eq^A17@vU-=!=30*koEJa?u07 zmP9k~b0`Ke`Ja0L8Mn(d@O}ymM9DP%xir4EzWGtaM5_z`H+M|rX*7+!^sMlmGwDqo za1uN&t}-s}30=u_u8oe!s9wrv5hR)+f>VvVA05WE_bK?zp*4l#j`u_3w0G8RB<%9& z5o$(au{(SPO11ejNG6D#pVPf`9BOrPN3omqG3KOb_18RAz9@Y}?>uWRY?f>yCcDJ8 z+iSYiwn6o#ZQ#@AY47@)yf`nTkL0f4wm@S~VbUrhHq5?70eY!VIG~Ho4E8~^l4DKb z!Q9HCUk@Krv?p+BR_;(*(&wiI1xv`oZ5;m;zOxh$)29k30)5BoF~E*k*?%w~K9~E$ z@Q{C52nl_|aK_bxY%QjsGWy}-aHgsXSp3jbe*owY+7j^{cDr(O+#BC>+^vpo6z1Xc zl6%AvFYme#tivgOeT#hf;$l33G549w$}Rhl-(02wYkH^rz$J7}y~$Ton6*f&a{eW? zj$L+_35B7{3`8!(KAgQShg=9tXCM0@mv09zZ&DsJ+F;^EU7sPU_9Z8&JHX=RVUbxC z(-ZpVdmn*QzH4{Y${)rBLzmd}F;%J--h!UCdjQ2x9M)oR^)Jr)fh~0p`Z!B@E|0?s z!MwRBvza#v<75F{o9|kbus%D47&sU8yh%LZwuS3x34wyPpgp0|-m@|;#BvbJ(U}G4 zf`=r?1%i34&AQ^=t%nRrw(@=n@GIuduWkvsDs||dNp~l<$JUjAiw+9aJrubpapy~2~PclY=bdwNnblJ1Q1&#i+OS@1}G_<~IVUp<#TOcKn-tu>d z=-rh%)pKZ;W_KPtc=yUOGw*}^^>vmWf8CCnx)7eV_KJ_=7nB9<)CQWxG8GEWBN|x% z^Bk(@WCL#YxVb7#K9Rk}VkXo<2>n7*FP`6_ zvMoGvYjU;sQy1@;h^9pH6oYfN(g3fHAe5rZPd3@rX^~ODbMET26RF7K0OR#vo1TQ^kDcDr!p#FfV=sYH4~5w<{`Age*|QP&8C{C$Cn`s|nA6 zqq+8`jTx@dSFHsmf6iwQ9QJW>&c4i;5GjEfZ;dMlwh%|@URj>R*u;HrWN#f>MrKgV zZU0n7?(5f^&^o2fMO!Y9xUsHF$vW%pI9`(*22mSI0pNuTPy0o91ylELVM+Sdq7c!~ zg&FtNYSevfiAYemLl!yIb*(mr8ywI&=63}TP*&n(RrawrBBU7kX6@^t7g!y8;$$}j zi(@ZDU`0L4383S03#a3Y(Y`Xn4{{Kr=glWg)Nf38mwhOXFPvA@iq=G~B6?U)t8eVR zILn{Y)w1@rZ_eIzCA51@n9q^*>f>D8#RdoW9dABRg`>`XKZNF0|Ev+Iu9*V37wrW4gg({d zX?nl0H-OdJYDi6|TK&Y3kAqFd z&D0X<^kf*vC|)&WvHrg2))FM;Ke&o-G2GEw=U%(^cfPq8b?zcY5T?2K7z|4O27}XKo!E9H za_5*ra|plw)E|E2;K91Mx;zm$3^&`?`*WkoPIQR&kXfn3V|ZZSlv!g>+e-*d5C7;O zOZ_QOu!Jg5WiN?>inmnFIEaHnt65d4vc+u*E^QMpu3NOjr0=|}jw`yQM~N+xqJ01T zK28ntwo2l7fGqeST@GX?j63lxN|m^L!azr5%4QV!)$&JtUVq)3(tfNO(gV)~bD0V0 zfbXFpntruK&5w!<=~4*|w6+C`r7(Th=<0DJJ8L@L`fF+==J0f$pDKBNJU`n@=JmR6 zHGg&4us3h0Whl*_@hA^?!>WDGF&7k-$Y)*3^_UT^8+3jMBPb7Y9l2iW_SQY?c zW{cH_eHl-~+rzumM!mWb#+#Z--{4Y^agO+neM)p|o20zkaqpeWTd;pfdjd4Q|1l1^|5Uu?~O$ z_n)56|6&s%fFOiT6#PHfMBaa;Y9Ze8f3b-W@%Ud>@xSUfc?BU%p#~`rL>kTyk%#j_ za<+UBKoLS7@(4h*=zYmc$j{CVAr849 z@^*d*=*Yzb(XI>pBXI|-*h7Z5czOUW3gF-2tpH>%gj3{)=;47p5bHU_FAmAfLiFQ* zjpk(kJT~_Kj^Oe^B=C@Auf9GcJPU+iiqzm}eMrdnUkdvFP>Otz=gQ5`2d>u#(Bk~} zuD|(T2xfVKlWYLMR{HOKJPI+C)JI5 z5a{vW;&9@GmkZ*5P{JlecYT)E!a1OH z!>{YD)%N`GvOLQF9gTj{7DO%hq2RTc;svobz&5H%K%8Foq90C4+3JN7t4IMMAGS_k zXmoy-we&<+Z}7bi@IxWJ^-?<&KHFPh!?u4{s0T1W&GQ;puIniDj4Y2n&`6_7QouO!UPK zZrwi>%AqHrc@oo>6E*FmkuSQvdJ08icDTj9iLeY??kBA9_sJ^v+`}-bGOKDCr`h;( zAP(;b#tPzyUm8Fqwt?C>M_AXLV%44EL_^WO!$n0G^<$}o0@DmQd%&21(M56;&j2^AFG4oW|o(Ez7t*n#v=6M~-`6O<7ZI+#;$29+dek z$}2xc4m`32rL}Z}C~`Ey6*BPHGbh|h;lgR7 ze;4eVNiw$#$u|S!PzsZMavC{Vy3?DVjlRZ=#sve_4agh>g9J=y?p}P&(4cDDvitBm z@iRSozH3?!+2ak{r&^A7=3o(5!8P2&^4nVEd>AWlvEA`Bs|WUE}Ci zz7Yx9bt{4<^D~2{QCpL6@sz4Ymp>RM01e3$tPcCvE~<6Me{|_WMVf3K{&4=GqjPFB zg=l7w!ipb-vrz49A=;xV&G2q2pd;6@7}7S|Ej726KUGroAs>b~cXJZa=^c;chtDQn zw>BZN0{6~&ryCXTzv8poz56aMM^wa4^7iCj%{<=^BEJ7X)Zwdls`oLB_DEa>HG>4( z+msD8u2?fnc#HECb!|X_?jE0J2UfyyxwpjrGvR@ASRmCV=4fpBT?$;~VfXsegOjzi-3%@8O1JAOM~i=y(>t5yT$6B(RKT)`>L5G9}F{M_iPrX?H)FvU;1@$YG7~c4UI@Si3S~cMniF+ zde-gmZ|UxHGwYLX8ZaJKbZ_l3U!`VzVUfM@n&FOe^~*l#H1vTJ_1b%Ci;b&)ysR46 z&5sPxD0;oFoJJ2@WmUSM=y`@*lU;qN_P>6TyOrG*Gzvnyr^HyAPQLR!si^5(`6H&3 zlx*`>-OnrbRpl2pKfQY2f-@;$@`g4{gy`tW@vIM17vIQ3c2bE;@+();J%%6h)T)otYBXYDd0 zFMRI$yw;}KSH47chs~2W;prawHLFfq>>c@1wp2dEZr|8a`QnAw8(#Kouikn>#YCqd zqA*8$^pg{Bwic(`2zHyTA)L$yFy=1+hG5y=UkB_F_ zUhiz*@~ztcT+NAj`;{IQjncC?dgA=GnIrD*pS*L%vHWGL{nnn3s6OyvV`8{Mj`60J zjh{{EW;-`lZj*d6rZ};+B|mOLv`S5(y}Q|ttjtF1mi3v&YwA~db_O0Z@UG0<%$fIr z8Tx9^2lt{gyRP}9Sx;A4ts_V)iu2tb#NV|P$xbp{V5@TR)0f*W#(1TxYv<$t%6K8`w4 zq3SqemvYFt(ETT`PLplY%3a+4-+?Vx;;u3uJaVl`k z-Ktyu@4aDONr?@2Tej6&w(Sb@W$ltO((m$|v@Yo(TerD0!FA?4nf+(GlQk~r<}41f zOxrvDsxMX+``vC)b7553>pM3$L@IU4t_;h+g&urnEvequv*ok*YhSHJ1wS;r8$ToZ zf?{4tSX!l`x=Z?-C_T5OYL&gR;l~B;!?sVAd$`4ueO6gk#cMOo*sXBIa>gB{IICK| zQ}sk)>e-*|Eg4mpSBIqso?jQgK0x~2PHEFdGmGb!_R#V^nkuw)&J1x(+)O`bdbC3( ztE16c=V46u^I=m@-atkfob3OT=SNRr^Y&bwtuCXpI&_2lu>lW z%gAH-rX4b#N>je>{9387DaJ(ZV??ff+|j-%UyAom`*Iz<|5Nvl{fsNOH+e|@xT(YY zD*N!H%yFOoh#tDu?i*vRxB4fjzMq&sj)(5?!qeUg*SsG{muP&Je7UcKi76IXbgcDL zmuXS07cg2>jk>y9Zd%w?hWbqufm}tx7|piQb=@5Pa4gXuj%G(Yk-_)pvGMC?1U%!;=yS|s^cDrKKt!Y2)=i9K0KOR_@ch@xB>6r4V((S7{ z*CDl2GMz42ckssa>+R^3p)KIlAJh%)vTJ+Su92TJvFzsF4YyUa;+*u~mu72b?Tp=t zti?0!^(Tf;GIKAucGZ1cL|uyM0oAzt*!+dzbDx=R8GUD+wm>y*;e`Z4neP((_yb4B zJ@e?(9gC}UakJjBPaM@Nvm z==@%VF`MaC)bS+KIKV(yifYCbD;%3>1&e3q#j zhm_s6QDiDKW?g2)P1lS(H=*k5MN8*Z4U^uwY8N-{GHiCs>Y4m);B=YnB*qcNeY=aZ zO(eG})_JTOxAM@W56|oTd*f8CdYd=Wlbd|zL`_X-Sv#`Vb=fsn<#-)IcZlwd70QdI zVxywI`Q3NXu~a&9-uABMo2=6MT4R%^E1WcDe6aq?@7_NlZS07q8S7b|irK0fISp+~ zniFy?67*6fzRX(weNSD(Wy_Z<3jYywR{hhvsOMkxD^Jer6dU?gKAUG~p{u^@)NGfs zYx-_y4^|kR9X{=o*?9NIg>J_~ZV8ySxhL*M-Jm_Z@swsLSs`iiZO)VElgX?VZ{sCX z$K1MH)ODpL=0JhYzMYX7BX8tMbvd0pmhV)3thg>U!mKZ_?!~ROD>n?--3wN-$vU;; z*1|oxH%AvOvN5;T>-8|{y76{(%%y+QXCQ@IUP!yXKw#x$H2z`^YH@&R_T^veuX6;& zCjTDDFEJ7__m({SGNQ~+{$nTes{UH%Wfv@$DXqCsd#p8cMPs!u5*1f-w;^|`a^%gQ z2VUPSveA^Y$j@J%IKeG_fEhHrbX~M$*Y;28SIu4&o26Q=F}h=Hif-cCG&>cQd^~aP ziQ%x42RYdntfmI2-Z*m>>4`zY52gA?#WV>jj}@=BaNi%>jQhRx4I6iQ^3npeF)y+u zC*09K;}ubYEH+zuXQtbpiLvI%HgnqguY8rV6h6r)tT8(zO86)tDK^Xtpbm)k2{&Ky40rZ?tzfKZ|3od3axjTfzM z-&=7*YI8F;^rXSd(RHzK)VC_Ub#-!ebcXt~q$zXF1hu!`bB1j{ljV^$Y00S5+qA6cG86#3zj?GIbEH*v3sRe#_8gW0i6N8X5Xz`?zEk0nhJY^&W71_ z#O&Df^Tg4N*H)%=8=|MQo%AGLbf<7^y ztJb^Jzjhq0^7FF5SL#^7dp)I1kEI{1*PdImG^#Il({Qt^9Y(y6w@nI728K(Y-S=AQ z6}{Rs&8|ldyY?`3Vr|L(V;(!(R_@-wy53$m+}LmvbBg~Fg<<~$8Zpytr>S_&woSGw zwA)%ZV{4$x`|YxY8{Eb3YS#P%FXo^r zGqOFFer`rr)u^W~7k8MQ8M|at4?i*_Ata+EMZDo)F zbl$9pnHLnxY3kWyi_4x1Xf|=knJ+;JjjfGq;tYesG54Hm&EPi|YgYt5oSWwt8kk#D z+q8d5(byv{M!_NOZ;Za>ZpzQatW$x*r8Kl{J?|=QX%jRYN;04JquA`h z`;T2?ozQ~+lB3^5uYQF2O{&UHHt(OZjpn!v2~Qi)&M7IRP5+o)TU1Pw588B4aa#?Z z^!U5}(GLzAQVy#)NxyG;JgHCWPRQ<*_a6Ozews^;1)LbuJEp?pebj}L*Ebb^URXJ- zTRQ!Nbn>otE35xLA5KU|>cUx3vKQ=bL=+@FwNUiDPaG@@@Hzp13yzen%9xzNjF zx!If}Z9ai=x6e1fk{)=;4i_BSw(rbE&P?gr&;I@ycuK^XX0EV5PZp0^6}&FsL5-r{ zXFcrDz`XWb%>31dmL6O+Kjv+`Abk3)bewK?QU7c9(E=x@+}Zj@Y2(?hRf3Ux7mHBN zo;Cfi?>tTar*IdKrd@t&MU+BD(W~;hx-G#3)JwFHK?W{ae z7xVGezSCVMu<~kLlQXsNav^Bmv=7L~fSk_Z7jol#R6KlWZcI!v-1Jsg`ehY6-}x1*_Fl-; zv%b*q^?7}qK zQnh`~v>b3h^zgJ+>D>9Rg^!|>{s}lLn@&p~{&cfr)aHqkz51(89bWz5{SlYuQ9l$* zEU!sme&*+UpG*(j@MhAd32!?7Gyia+#MF%;XkXa8r|p}=k4xuNZ2ON^-2QjwBp_6rwSW=Mn7G4*Qzuu zb&RELsi5!Zs0M|AF)nd-Td-)a`%8{Z_WO3=rBv?qUFZCDXKPljMoP18R;e%O=1Jau zdv4>4S23A6rD{hNp4Hyxe3;WUb&j6f{5IxDr*9W0Ey)?D|LjqDh*y`{@J|(4k6J_h zSvK<}hXppx!KYM2WS_E;uPHn5^n7pd)7^AKZ6B$Ylk+DQl*(powjLh6O>T_+KHtVy z0}>r?jgS4^04BbO%|izFR|wDFE)?BE6JnOc2Ztu;Gq_x0A6S{P4~(x~jEvRd{_^<` z+pwbd>fB$x|8dVqBtRElghNP8k$XjATbIFxeN))>6h*!q+@FQrT($ft@V0MR#m}4W zAg#fKE4xha{|_6+Tm}cCPs0C9QBY1|=T{9s9fi!)6~%-Uy-Wu;ju6t4$2a4^`*!f+ z2mu)JpeSS>o*a$L#QUQV8BGQQ_MTzSnh6`MOd=B#HkElS0&NC9KN``-bz_m45Ns4e zdcqzx9WD?<7*BmR(9Y*Wa7&DB2JRvWbOzoUgG{G^YeyssvBEdRAkvz29)uQPuz*i= zcx=ys?BLIl#s7nDiTlLEUhRk|go_8p0yz-m01zN{C4>}(aH9}36JFVKc!L=#Vi9kA zN*tn+2k|O#SyxnHB(YV@6^}Ft;W~jNKE5ChF+_McBOWot55<9p0dX`21QCUfy$4vN z=#~WkczixC4>^s+Gts$RAcyrQisfGs;lhi2v%Ka;c_N0TJidvDYB}Pxc3!xld|pAL zyc7#q%ggiQo8mj%P}woQgr7~(2DfcQqW_;_AT;aXhPAKIG69*0;9-e~qSo&ndS4cc zJ_MJ8Z%9P6fOGp3k@W~qh%G@<5ri)+OG2y>d{HVQC;XO-Bp?V~7@3Mh&=7|3!7`+n zhA@Q*E0K5z86kYN3Q0i_wlE-#_{|YEtVNd75U$WA11UnF$am|J8$^*+S;$^nytV;R zz+0VAIec_FO;eavk4!?8MaLZw(DQd2n0Y~`RfUflkYiIpB!Zk#bpl&Mcv6XGjHrqZ zLxy5wOyMVGS{@Stk^7B{AGe{s9z0bLLuCsO+tRL#LO4TEcLdY+$%uv-pyK^&p{4~P zw0-(`Upj3B9_c(t>uje^X`Od43Zi3iuM3er8J687ka;; zoiP~NBz)Qk$*a^B(V0R`dC7T3VlCRvlB}V&h|U(qvn6}R;7ffZ{}QW#|1(GOk?QY8 z{b4MfD_rIyxzqrJ`ZudIg=3dXnj@-|*3tRGkQI_nI`~~DR8!P4{7Hf2Zfe6AbYWhh zWTB2&!+cIi9;7ym!4#@hNhUZCZJ6*liq1!5MEZ^BfDcnq4Waok^d@&`FA0sNq4Ef| zMGUUcZaTVC22XWIRq|a>R3uoq+AOpb#QNkcG)R((VfZL}bRr%$8&$@A>`@P(R0Jq> zL{;z(d(<81v6u}QYL0-BG8+IK0x%lyn2pNg5iS6gb^s{v4|D{LkKyYa&>$Ke!*9Ew zdbo@uIs$L9hZ4s-qHa({iX%D^XxQV3E`ai-o!}P_XF8!lQ216S)CB)B8<0V6h;l7m z&{4RhGpd01x}ZwsjjF#R5afeQXV@)-fgbXa30?6ikbji+YPlq__((lIx8<{r#x9D&FmjTH&pJ zs2XnVhZf=){-`$o#Sh(#o6Lu=o&Kl>jl;oD`lIo9_k6&bHXqed5gq61Pq0r6jWXjK zgUMs#i|3lBY?3)RR;h{0{&^~w)1khg-kD*Wu>V}s*v7x922v$ZYYC_}Fae5e(UKa|L zomhyDl7#m|xc)+*L~kJ~HEB?qh7>|H7o$|jC7^WN4f1IY9)1tWLhzfx7_4XOLZ~Mq z3`U-XA1Z?ngu*}d3xN%27>N7;QRSeZ{>cx1ogqKWW<-4a-A0(^0F;XnrSkBmFknl1 z7&;CG-##3?+z(h<69#Rt3rAJ)k74L|NPvD6aoso^^u(TUR84uXaZH$V5M?u2>_5Cv zz~_X)XdMVgM`#ZYEbtNZ3u|ydG2vmBsGgVMsP+W5*jaXHLSh1O_)cUPYJb>te0&5t zcI>aA<+3C(G9ntLluV|Gp>pQVK~cm{Hij>XK&OE5-WP!;(@?lHz{1BwqI!d0){$s9 zJS{sMiOxhhTpk1e6p1>*7oCAyM-g8fhzhku^u>m!TrWgl#EgvHX3`0%6R(ubr8DtLQC>pbkrFvf zK90sg!5m_MkP_j>0`5s9atX&$q(lfRkM9vB@~QNKX2d^1q8bn8cjTP-t~d}l&v?{W zlaEoD#D;kA_?CF6l}}t1A=QfUS@?^1l&3|f6Y?OQ3U2}VI4ePv%A-)s;_=z|T1Zvr zu-Oz&uyA?;^!UpJbb=;_PA!^?@o>XLf>98xom?*m+`1zu3%D`YrLB`|2)fO@goNeLPmY{|LSU^xX$>b1zz=*%U;>m;@WEg|R zr?LYU7vgvrpG~0@qq8tVg<|;PBs5(MMl*%$U_{usOfqVSvUw~F$CA-R6xLK2ejpjG z&|>ol(>s(zq8b>Pu_an$()XwHTX+JEo%J1;ia0u_Bl(Cb7aK!B}J= z#z3i2ss{x}77mQb=fk2>ygU|$@dim3{9!M~;=l+eBXVHfM22BNJqgC-bICFb1oDZw zgjhpZ7=tC&H3CS6!AR8_OeU;y$(fnt)-iZ2I$W+2$K!M8WNCxOF(K%II3A0`X5ppF zP-Ov!xI;xwtI9pg&}xE{TRlEoq{32K^Qo~qqdINr4S|m zA)3tu=1^duPbe@3oix-z=mao%AS3c&SA+s%6DFGY`&%&|bQ=Z6qcntrVMG)SvAi6N z&KK1I?f+9C2V+vGhJiu0mB2raNO=q;hJ*3QN(=D#WCewB;KlV&S&${j0-Mf)uvjYz zeF&71Xobifu;W7D{UwzR!=20z4jq&v2@haga$XoB#QH$2JPw^Lk}@%IDPjiJhT0L(PO=1WG44=JF({5O*&)0wic!b~){!&Atca`?KtuB>1aj#Z z5v5bSJZJ~GJT6B7`iP9k5iPgGGjo^}ndfr26!vq8z9W}MXY#3aum`o!5OD;f32B|Ml$l3C58^QjG? zQ)P?Cz(D>fEvEJp4>Spxg#e=nA&*Nn(>xw%UUD74*1__I*hEmBQ9((AJ5Y@)xQS}1AC@tZ$7#uPO`78jEhz9daG1`0< zmn$F(9Bl3mH5Vdc_-rPz0Z#n=(Vftn6r;^&VU$YXvM@!#@!2rM2Fnu+DG)}tcqI%_ zu@pfYQ->dAj<-u3juw_iN^R`E_vpS z!98v&2l+6e5RfzTIpnDWER`^_?gto$Tp;K?CV2t}Ft{o%UI!fmPq)80E%>!oq%*)3 zE~#|@;}EWUhxR+2$zhTE9bll6NO){G5g{olP)D%t6UP&P%Myz60T>_7Rm3X>TSB&M zbTB$({Q*s*6Wdv0MDyuj*~DS6?ZJa?AGANeg%EZ<;Bq+$5$@lUIRk4G%Gd^tLMK~0 zfUzj$G5D;%ic9cosm_2^HHm6C$RQ{cYY8|^rmT0sK!BeY5*`Z{5#$zgSg?#B;RzsA zH1WV;D7!!qpa&>0lI9}z7l5r~JRq66RA#ZrqY3sVKr!fJ24WS%T#np#3?3I>oq?*l zahcRL8<))|2{)h8wmz4G5*3t^3Q|rtC@k~q%>?E^6SO{O<_R$Mt;1{r8^b3yhEI9lb zGdVL@)>c+v8dz4gERY2&8*3}36`gC%wzZk2Pem~$6L*Y>Ik9cqX2*7CVmp&eY}>YN+xX^r-uIlU^Zm7I@B3G4 z^;)~DYu8nGFQlUnB%oK@xI(b7fO5Hi04KDy?e`n8{I>L&kEKoK&HBqr3u&s?%%Y&g zW;n!^Nk)Qr$-R>-#4jz(ke-&F2#J)EOeRg;K~yNAl#%Eo&L5Meo9msg_kZURDpOU& z>Fus?LNqXW&0FZPo5}~=)7o2ibdJy6boDoeh0TF4M`v9hFIVbCqk41QdzEYMKnI#y z(+OY8T*7r2++ z>e_g0Y74U#jdh1&DX}^?^+fZWF7Fnul#1ZJfwTp;-x`T2GL8g`@5)9KfsR}~VShc{ zUCC{@?))y8UcI*FRNdvjh}|FBfOM%V7uH`;?gT^(Z4wdzQ}RO z4aB!hTRRiZyUV?Y72{D3m;IXbb6TNCPi=O4OUKBPJXSqPhlZbw4}6Sc*X^qkiQVG^ zF-n=g;YSd^8j3Z?`s~#0Z@$^Jjz1!u2b!}xGX)$cOUdfvnM9Y{r~-4Gfen8#+Enr7 zIDf6CNLETe9~S8_H51lt&_JJ)R0{|Jk+yKChpX_KsCd5$ORg696mnPJ?zndXzT~YX z08AoH!vX~CQ$>G>+-v!|e z*=nps6tq#<`s+3}j}g6`0_7c-AYKfXq}N~N`zkXtf5nt%(9E4E--k{t{{9&VSW&Li zp9^x;Et)ivHiP-@@r#9&c=Fb_@-At@sB!wpCb^0DHIw2%Mw^AiOCxE{@UrcD)`8{5 zH1|p4%G_OXi8l+f?iQ!J?RR}y4SrHQrg`qUl;s!3GRX9do5>MoFyIN@`Z-AeKxwA( zHK@tB4Jq0p>tp$18vxjO8T}Kj8=#1~qW*NRgw$RE8d6Bcb1q{n;R1YQ29Nmo#0%sC zR+Bs&CazE0eM#8DATT)>uHwti^FqWY+`F#19F)cVy@*<_H9kn_{EQB15?f3>V<&^elEqvtqO9=3 z;gUJUFssi9XNoF5TugqWri1-W~hLX zy$?4DUP=dJ;vB3mC1V3~l7<*BZ;JBJc-i-Zn@bwvb&efLt>Z2L_BvFKo1l4_e|jxp zhUM&O!A`zUlFAvOcscWNiifO*X}Hz#@WYxBmouQr40-(kfl{@w5IN%|;3o^6rRFxb zC=}$J-CQpd3=nS}qcPx0AkX|;#xW6jHB2HQ*g&f3_wdab{?~Ls{Wyo~mO9G44zvYB z9W0w~9ApW{eX3p<|d zn4<@BhYn4SxZgv4aOAe#DCu+I{A8b45e9rX^WLa!l|X24vBDV}V*b9X_Sf6T1)yFY z@;*YWV?H>eRCU_eMERB9Fb*B=msdht9yOJCz21lMEq|$LOT5@*Fr&OL zIcz=LpyrEwdrzvX6B(+h!^di`U2sv5V{$)_!LnRp=uuFB7TJdwcPYLek#Pl$W}d7G z{g3#OPhe`il|eO;3|dJXKex2s?H!4+@YH^2`AxKA=CyD35z`W*P{DzXC7akYaK)3N zn>83LyaznyCl`s7D}@>sXpUa9 z{NTOHIN_O=JY`Hk`>8+gs*2K^un7xSnb`YyV;jj;YheDgl( zkQ-=J(4{w{D~1zjLd?{dRWil3DMvyH-llS^11K+bVl?nOdwtO5bb_VuMHsgmI-=3- zhClcZOH^BS1Lpb>5ZT_&u8l6Xv|uQkX9AS=h z@LzlZE`ILU$My$8X>;ThvyI3uYwoz;p?{jvvvwy(WF>CO`MTz)aQpX_AXTV%p=UUZ z8am`?oIOrDUs{A4DK=ljRT^ck7lBKyV@WWuErkb66j8nMm|6(MjIxH|W0TA(hXU~$ zT}i@M>OHJQ4hQ(0JfYr+hqtfRR$tuQZK5HS%$2&I>x#GZa7hu0BPGf9pSlBCrbJmp z`pF*UBnW2_36al#!XG%B*?0zWTHFghnlUF8q_TW#78Z;;tsF(2>Z=nP`&f_sOnB$I z4x}1{uNdZy%Yj}|B9$$T#t~?CXaUN*AMD$`4;P>f@vN`?@I7s89WZ?YfQj&$h*QlE zZ;hFJogyQk^-(ATmm6KLZjn5rYj?cVqyiEmo7rPFlxJZCjgv$@K`t3JkK1%~)&56P zczL1P95LMtbWWc@8BJf_qjB!Zh_TGS=~Vps!6F#MR4y#gJ&~!gUO_I4sK7d*<6;m5 zy%d#+Bii?UCKR4$#OpvO#R(XSFe%6oI;3ufRCIkkP%2^LuGmU{+p35@%5)!OY=WsE z2}>;^U_uk-jG<3tb`=4Y(N7D`gc*>x^5_jvCLIXu5odPZJ&nd-nonB~+rgk_l#WES zjYd3Kqy~)%MzbUv_`WO-07o9kH_&89_a@hkj`eje#{*nn;`bR~88t`!RSj`wq^XsK zIFd#AdwF%VqQ9!6-IRb)-v(pPszx5(uzmc*+O`F7kt>!%@>|RMzfajNxi3oTb!48sU zDxReA%0~e@;LZ}t;KOj?#H#qihCN?gi9y@k@PiGUROp*5$AfGH+;Q!AXnQ{vA)7Gn zLM3J!ovhUMad**d%ZeMDXQ1hdq|QwyajG|hady7U^rl04$e}lMSg{(8jH47H55O{x zTzNEnvB&1bbY|!GUN_R>hA~R<|Nh*0$Cn)U=czi7(|cn2D+J>bu4o07p=Vh`+n}A=00u>; z-rJ}gqTM*59LVa8Ro8(mL{6r1(#;WC3M;01Wc6G^XzR=a{gh+YZ5JLl z6W$;^c|+7GoD|T515%XTUW9pgij8ee@n>@Q8P2TqHr+>xJM+d<<}DEoq|Bt856774 zb{#p2X0|hYFH-W0wZGF#STyD~h`=B*7W;<#l4!6YtmY=;p}8W2w*4iikaI8{ z`J2Ps&veyAca#Wo)2nZgoThy}^7?&$eQseru zD}#6uAuR@-xD$eP#3lXlW_XTnak~)u;K}6>97V}Y5F9y&$V^6(60d^tZb@lJef9tR z9EevqKauRXKt{3l;(39C;&ncxN-60m2Ks}Q&zHz~6|k*$UsAW@o>M%zB}y<4o-rS< z`PG(0sJ4}tFR)H%C>p_rz9GxgJ5jUUh~(5W@Co>WfjdlO)^L&;b&f9Wuf|5QtK^

g@k``$GU8eb^vs`Jq~M zQFy^XR(3*HTXD%Byjx*Iwnz0fr3!_1pe#u^t)F$;-wGbN87Y^%`}0#vPwe`Bw4$t@_2SsF@1F^KnY~h*$Io} zx{_vsiunr5u&d$Jy&sv9B;7s8w9g_8{X5}u4xgYqnV*?jbIuN_Z)ejbA>l4&vpP5- zz54LnR%FYrQO*~ywATU;)ICX!WheP-vlyrTfl-~kvM(8w*g@4BQc%v7$DDkzVtz{O zHt6=f5S8V;8>3_uU}-bdz~DKS?-;eIv>YtbrfJvazBBmTG*obd4DHUd(raE??ra(X zKYHxexS*d}^4A723T`Vm3-aN96K}LsOFvDk9dksj`wk8mQ+azs=k8RCpxg4~qtm*R z4yp9HXL|l9-A4R+HMgM`8Dv71ZXB?mCo-zd<`3RR$)`a(TE43OT5s z5StjKGh<7BX63V0(?j&T++x!QVp6xz=9h?91}aduSZShpKa;8Z`U&;0u$qWfm_-C< z@5=<;wf9s6KXmj_6+V2zhJlM#f(*4W>g+?V!6De$K?Y&$ketlSpp-CHcuqzD2Q!JC ztBnolGy@-W9)k9bg@l=nn~@U$nhcBm#w5N&;;EI9$s)S5;gM^-G;m?; z?n`b}*W7mKcC%cmwsF{_-mzs{WuFUttkfoQtCVBPu58h?aleAGnnhOe?b7|*_85{O-XJL^T*1p%Ifr8!YVN~p(c_U4Zl9a^o95vonBY z@7Y77!MLxlc+0N(tel|IM3r-zbi7(I(rbNFKb_(o*=#Y7v zmq8m*`}7Qsz@-x?!BeVZ$Egc+^({!!eaACv@IDQj?7~^A8)y|X^DGv)01z&I_GsJO z%TO4{R3^=HkAxmQw60xUtHvbRNzW}b*50zE;AyySbt8>C);6xJT6aCJGPy)llgPk4 z4+E{-*Hiu$Zkyw+3J!=N{x!qXQb!MW0kQFLdPMYc;CU_nt%x=Zv2z9*sYkC>YzYW9 z3I7i7Q8*R95f@K@ag8@7##UW{N#mzk#+)$o zY}mfx)&*|?FP~k6EM*lPB~_xVkxaA;FGmrrp$p-6^@EwR;X-GfyeTK>pg2Ou5Y#&z z#S%j8{o_`=C4dh@DS#B%@lElel_2yn&$$(nhu&nu)h<__r$d@giS$w*K-}n&YxcCZ@!HmVyD&|B ztX$dq%B;MbB_5~pDxDdh%ZGU{8*rb$yB?hKd8|D@l9(a&18xJTUYpRe?i9Z`2mutN zQ)E{FOYG)BGoBYaX|xlGoXF2iEzFXG9e}?FVBx&d;(`3&q~$T|00kNXGqLa#-fq=< zfLbBcK~oL>DX;qs$4LDXTSxT@L#&svcu`#ne^uE~N`4Gz#>9m>+DshkZaFzH7cNdW z@vys6udfZd9xb5yDvb~(;uMU44LY+QR11UyfTZ?j)KI1D-rZxJNKM-61G|lwy?;%W zlaYL;fMD~dMePRt9Cay!ml8){qs#L}$9&&YO&_(qa{gbPclRb3uH8Q-17+8XzU|sG z2!%GOF4x@3>`g)e6p;AurQTZ~qAUJdLQcYxb#NmC#>lNyIWH>~459|VB5>7La^ ztiGRaqxAZbX`o6Xe6JXCORCTz7e7&WlccE^GYWBSSZW~aimmSt2z|&p+tymq{XnG2 zYG3s+bg=0`x3)+2N44@=7D=e`gmBW=V?F9(EH$|4QiTuY5yv+r{ ze27RF6!XdTR4h?_LGQd*&5E6!QiCwIrUZ)e0vr(d9ejJ~jNx@PZt5$J7>cfJ%Ox*} zlHDeyb6ZILHs*so27b&m02Ll=@Yj1+GFLe^kI0M9&0Q$}OXtSLOs%V^AYYA@`>;0* z*8%_d`dt?D!o10+15)`?<*R9%JH$Y`4XZdGKG<~}lX$Tfg;tHJLaYAH`JgAy~dDx_IR)11ou+`szM69OU# zBE9ZAQhKPljRf|Kx11-{&&w@q)%@S36$wBLxzxvkJ3l+F_`{`q+CR~$;X02DNiB{T zUk@JL*PV?c{+iteQZct|g~Jv^t{nfqBwvICze^Xy2vmiw4`*~08X@$KFf>BZ$@u>q&;r+{Gcn!y!9%7t#)%(bC$PqO#nUdi$;oDQiIBP@zBmDy9#>gJtT06LI8 zLfO}jQLn!`vy5LI<2sKV^K*QMm?~XLoSX4#P`nHid`H4LIGla$`vb^`yyB_@q#`Ik zp|UsSNZR!KZw9MhWP&s~qoWxZ$rWaiD0zTFq@-eGrU)#A;IL+VekcF0f3NVK39_D} zUm^rzv7S)FVOFBCXk*M^+rOK`lFNW*V)sm>QGh+JBs3DoukRosF%wD?pdrMY2xybj z^R{sCw$m3!)ZbHrPYqPS@6+6EEnM=)%Wgg`C*{@qUN;N3nfSu&Hq^Z!A-N6$^;vYx za|{1Ex|X#)&m*$m?E38a9m%Ql8gqYi4i+Jo8l}9WPPK-W6R%=uWZRx64FJUVa+LG1 zhORA;|HFkQ@wtqA-?50YEvN*aA2lx* z8E0lS8~;N?FhLenwcvX#lhC;{wAyX9>Yp_5dC8(%jhi3pkB*AKi;jT4ny1P^9{_9%gwxp!a64{5}iMXzVO7Q5WYyQ8|05OB?bbsnW?@w*{v0tlG}V>*9n&A=#V4>@?a0D8B(RoZwPrxX}9hrvqBq_E~j#A}&3D zwjPC5u6a}eK!d)i#lU_H!u{OmNO)14BIlK$uUH4#721<3NWh7=W;bEE%sRo1r>3%z zs9xG!wd4{R40+?rkCdCe%4@fSf`jMx4Zz;}{_9*H(&B)&lKqEIeb1ol&!&%pg3t(N zLIh>0T4WU$Ml4JwuWtn0H4|gWuD%@fYbwcEk2#|D4bJ@NSHL?s$R41RyCFDGh0X2c zYTk0H0|Sxh!crnQon%-6QT5Z>wBbD0sDG$Qtb<}B1r;Qs)1X?q4bmMI0i?1TXNq*N zx^eBUvglLY67bX(f8XmkEj($SlHY6X1$}kt5__Wh7*=dD8p=AP(?w zj8ZIBf|f0EZF z^$Yo{P?i}$D-y5dJYKA>v{!!pZo*B#y^=bXgm7P)pqRNS;8YazES97@!lk;?T=W}r z2=Tj+8f~)yNz91$56vXd3q>)RuOlDsfpsfl_Q?oCm|7rg^A1`}7D|oVa_D z2YRJ{sT^&E@5EmTByrWjJjX{vBMjYex1xb1pqHc+_ULtjF%Yi7OYQ( zN}PU%k@3nVhRg&=e2R7pt;;p`Fs7ah5c2OIW)_E>^p~nAFFc=(?q=`=9o@ z6GXpo^yKF5*ZkNdkJ@5&9@w?7fJ>?N(lx8LCB}q_!v{8O41~ZE*N|S^kA#RbG9R^DxeJ% zbWX0wJok$+D0=JemRk9HFTt`5vY2^Dg$p7Djw90E3pZTk4V#tYb?1euq=8M*{#nU5 z&a}+!nSEFT>d81?8>GB@KYoGt?_KZe`eU0O>Wd%|G>wDVXs@pOxV44ETF~l4;$nScTHzfdHpX?d}fWFx9oUkphdYms6yLp#~#Hy0}Ntu;da;ZlEXp=kZUJ z&B%FII~L-&yQ=1_mP`_|ZjPOaG#_jZ?vAFHCccOIjprF&FNFhnYbOxC_;Rmjzw}4n zAo};1F479KD&wf|W||cOKDUR=9_H6QkbEAYkG?|RMgm-^i158{PW#%GM6mUTC-v?A zh!;APfE?1&1mZD-2exlz%D?BYuP`7tw@WXLM$^I@m%pVjH(PkLi!b`B`3C^zRH8bd zSSSw%Zz#BBm*)Z^3=WZ^mf$hj6%I)u|54;rm~pGf5uJu>)o z!puGy#PB;R(K7G{cn@JmKx~?Uzk-Sp8IB#2%yg;QyeZX^so5cyArR6+Ep2I!{3kWN znrSS-u4t7&>jHes;<2XvH>*%}-X$8CZkrJkdauo?k%K4}&59>3uFexaq>e7bLaN_1 z2a$GITvxu^`7Eya#{Q;h2=HaCzZ}2?hrVwCq5mwa*zDp7s=dndY#o`M@A=rbv(*lU z2;GTnj8GlK8X7o3eFttEQwge@$seu&xRDHHE~Zk;ex@K*?V)*z^R=3qT|NdrmD|O^ zQf*L;|5^fM9J|>Nfigul5pCOS7!#5#GqPXbS^HD6Z06oaO!ATQe2uT}(~x25ge$=O-%uI0K&|#*#x@UMxffVKqj3 zQ6A_=LoZ^1NW?R+>p?hMSEF?%&`)@if#|Jy+bVRaO_#W98$G5L1|4xz6qqf+2&sXp z{8!Sik&Hp)9H^8WxJy1}Sri&JN_wqPq$|wARLo%AK<6s-+)$9D4`kO%6MpF;_i}t802_P{FfAI| z-!;~=I-!Q|mUXc+#8>yLFD4=Uci0*O z*q>gCu*mf?F)b|_RUW>iah<)~7w`Du*T>jXH<5Evll05TotkYZs^1%Kc*b+!rHRsH zA{^rcfI8~hUJGq|zowiHVuke@xr^KO?(g@iiR;*@`CD!ZJ?t!de9g ziUja}j$C9vBd0k&5430`hcB67np^G(rRANy1DmygPa?lOgPeE^!GIPSkw|xYP-5pl z=>AS+zRiO&TI+dS33UEWt()MOHXxOyp;zN?xFrC#jIYTib*8DUaZJAGadai!XRxN2 zN~Hw`bc>f|XRRiw$zwWxF!l-3q@_HY$Z#2k_|4lkp95+ZPi89i1g}rucbwIlZ=7~@ zfCl1vE_M_d+b!hXEx@Mh}<;ldLU9Xo3Py`taOJ|MRSmsv_}71cUTJ3 zIm5Ilzt-W20f57>s!Jy~RL($|*?Z-s-5Ca1;m$viGv(EzKr>b;MXI$UA>hF?P&ap+ z?pYj(Vs}Ijhwf0B9ci~oeV#m0mgbf#Pp)laARpL4NYz|8I(>zFS8ZP9YIMm3)Mu2@ zOu=6E@N!vyNn6+Pscl9L9F1-vR-WIWAbhSZ752Rbn%2A59Xa4E2omcg-OcOaYFXhlD=4XoVWk|LBmv`Lsbxc_tKU*Nx$ zeJzhab2GC1Q%MdMc18|Xb`mybRz_|PE)ot_4n{UER*>Q;F(@n( z4Rl_oOvJ{?&d9<{!otqQ$jZV+!p6nT$j!<^!omq)02_W&k4>2T0+R=syt%W=_ydgA!=F{u>T62P-4sKP>vcN#=ix007MY zXEsb`PL6*c*WSnqo|hM%Nt8sJ`QK6GNRxp|ve5C_{<{+<4NWZ)P8JeYb^s$M3-^Bk zHU&uy3ZLehc~q|`OobC&M`$68=MR@-hz~JO$UwyLUct0 z@pB`mz-facg7mWCQ_i)(Q9!xV08mUeHY9+Z?Z0Y!!8_*kPi>z*BU@WA*YYDcah;vK z`C=VqxY}oGeXpOplS{GPPxDC2k`Jo3WGKG*(^vl~RCA9be^i1_B#9rE*(dOEe>iN~ zLTE6mC{5ZeFJJq;L)SN&k7?%WTK77nh5f#p$XvN7(3ryrrOnw^e8u$X`B1XuXRofR zXjuuo>2Pu#u_3h)tNQrpjdXQ(qzTq~a(_dxTZ(gGUvF9S^4+=!LulO8*Xiv$`v|>k zbSN)5lvUocxvtUF*YBR1V(YeDdJZ_-h_SbMPDqk*5T;dCfh_%5%EK zz#jGu%Ey6yo*#W2fCuE#aLUiuY`ml$U!ehsIb1!~1uoW6-8cN2fDXrwxQ-r_(KeRF z8D`4OLo(REljisZIQr}fQ6XNrO9^_}jN$(L{sGkl==46a@04hn6*CQX<%37C*Qpg& z^V>(3eA=MK)voFyKpq+T6R6!NwfVf=ZTk&ho-Lpd92=KKK~mSDPflo{PT_kXdE_6U z3JsU2vVY;mp#zzTp)31jwkC;x55y$zUboY#ZClw-vI3p0%eL`lad7?en~g1VHM7W& zkgT{%utbT5`*u8!FI2_}gfWTg&vGNZJrvyfQx!fZ#hFUO^S1J?b_cz*zQPDT3P~fpumW{ zeI4!~yQ72r6%P3HuHHI7{MY^6*D}mF>z6#bHU)7)n+9I(P|zK68UHoI1?e%cyNi5r zG*MVb%|a33zk7wQduimgJhwk=Q=PzR?UzS?3n>1^b;*LU+?!sVGh1Vg-_!;M6uu&M z;~W?$I&|`NT{`DowPVH5gI5lizulF~p={k}nPTBK)lyzjy&aXOJmRLU79NQ45f&YZ z4i7XZX<(Q}kbq>cWS7xaH4-iz32&dS{>=!|+j33o5%gFcSHMW@c1t#M)r4?R#l%lD z6;`gj+h3@2u$dgF;b-Ueb|oAGF7?#>z~z;5e8+Cq0$U66g~%`n;TZ}J823?p(*El@?yf%(BAS6XyWF@u~wjBgbvIgw$hpG)>jC1K!rSiwOWlqFMZ;Q_piuDMGv~6O{k85{eagtl zwmaNlLI^A|Vlwu(rwA~QE!jPSGZ^di-{_yJ&ER+c9kF2|;ptHpt=HvE#^U{iI)Zr0 z+qBg!R2rE6<-r9FtOk#IFL!#U>$XhL@9z9k<8qNRx1&SoBd2X1UE9$~-#ex+XT2`# ztUexK_tJZ@-n!&BTMh|AVx<3u9Uq08+UBCh!S9U5|6UTmRb{YTrctWFB=ZMqd=On?%14ju&T6}rEzDez{2qJ>iwNk z^`QhF6bV{RU~=Y)B`YC=x6`43|3!yrQodG~_x0k#WQhWc87;im%c$XYUskH41bo2+ z5OZxgt$@cgqt#j*SeAEDTjm}2X-VH%GURPv1X_nK@C`7>g;l}(c#z33SHR1Bz&rAU z+q(uF&TjX@8JYzWbK&&ZjQE7DFvF0R^yxIrf~is8^zM5 z>FJRHHqaG~1>)7TZg##535+cu@xIUfp@;fbFR|p>CTxJHUOsX9k@1y=2wofl00hH~ zuNaGf3BvphIv|xgify;}RviQWG^IEEvqC$ykOCZx(!_9-Hi-cf5dlY~<bZvpf^KO`Uj_eh+4BJrNFf%}>96w%g5$opRP0@+q z!(Pp+{4!W{XPn=&f?E%Y`(b%i)?p2k4)=P|mSY*Nq35sWT(%g;NO}ZQ)WtBa4ZO!_ zNzL`Hd0@St&U#BSDb>B6U2P#CL2W&36_PYrjG0m^+0A!@e2!w4j=b>BA*Hl8C83!G zz6yth7N+E6{v|%0NR1^fsXK8oggJKip~bD5DykaubZ`S+r5bNFiJT?1CUy(brt~#- zYs`fEd^udr4eGt3Yt=k(jqWki>@T(xw8h9LY`SB9r!v~xNLXHmF%sY*+k-~cbS$g^ zW>~?@S`K|(bQ0H^qBl-6hx%kpa5!QBv7aM$z4x_#jrT2=Sqo*C_8xCxglz5no)J=) zltX-L_kMNnAXwE6N|#9CH85|h2c{@ud&BM3)yfjAbd%xg0RS;xBa}O-NX5I#0}&vrrd<(b${XjVK^8O z5mP=k2gLK#xIIkP!IQy$BK}jYLRh)D(%^4y~exqUfDml_*>N>`ok&Xhgzi5n6E_g!5lOz35ofWuVS7?bI@6ADcjX{- zy@|y*EKl@ez_aMPBznG!VZ!hPq2{@ND-rqA+lxB@>XmDdW-C8k=q)K27y+?1toas^ z&OMFs+}rp_3&SL=h_AQKo-hQ~CS0nQNX5J#l=F2@AFPz>`vTax-MT@7hhtW($Mt99cOS1TNUxT( zqNNUN)J7^@nD<1#j_67#;0}(x!1`1}M|3Zl!<|M~@&v~%I&|!Z8~BNcGQqez-BI2# zeOUu9o}IuLPU=s-mVM`eep2nULIejQ&V(vt^FU@JQZu`QZ42UN+ckA!uDaC>h zF=2xz{fVA`{S8Pe?4AnYR6QKlE}G`G(47!p(%P zi5u`ezVQTu3Hd?}(*9iACSo!GkxDh=ss7+p6hxei4fr{U9r88sn@$(N7+1Ca=X8G7 zcKoxgw0J)WBe-nn83^&jEhMw$(Ipn0hSv0n=(6n_iR;I!SCts1~8jK|81WCFH8JI6PM?o|DM#!)R@$>fUO?H0Ep)g`1zG z3qMv(7Mi0+KK{i&#JNgU>U`t%m(77qDvdP9RFXEclI8TLz}K+8~l4O{V(F z8;E`mp41(R3YcnQmA?@TuLypiM1TiHJ5TzEI7S8W$T-%Vk6u@RWhG1Pq{0G&)B4F1qfeQT4;I|^;8TD13oqk(=t0F6aEHtX8I z+T^4A`3+V;G5Sa=@~Cy??bFaZ&Te5X{&yi%(UufiZ_()asL|VT+7EKkd9LhaMB^db z3TYKmbRhYW4CK^n=q`JK$gmRgzO|DSHA%4;cN_G?ckAsIsdkI!q8zdEo-hPC1@{BA>Nc)QfI-t#MKmg%mrL z&6@6QQY^EQHyN9AJQ$Pn1J)RItjV|%#==Rs1u&4Pcc5n%&AjDBJTngw!>c{?#V;Go z+2x~0*|yL^9Hb`gs<3^Gd-Ea@NR_53{9bmdZo1rGOZ@@5&LH*cTcy0_O5;YBbx9t+s$oFAH?t-Oghg&C6eX7@tEM8O9AG&};1d>$dcMt6)!sC^_X{EwZGC zvga?<9#~MoEXeEZ^6F*rrkx`NDS$wbPNp^5&!%Yvn2up9^0%i?jl|ECVT>grjkxu^ zHdY=LJ({+TBPX4^8Bc$x@ zQP6s&^YWF7IPTF>;MtXj`Vv$hEo+@49XKc$^AzWGVse27>LL+Po+gKn#BF!&u*ezt`&@?k~);cuZxNj=s*h>2lH_zFQ zNyg47*K0VNhd1OZK`)&kF4Z6HsWU~9xv5AU`E-3im{kwmbowo^yB3uM1DgxIPio!U zXSwv`$^>(0`$dV{Io3QFOv@CJrS|f95f>Npm~PpznuCuWgp#?UCPda;LvDDwj$?K z8{#p#&HEB7%p%IU$C;Uuc!dQ!z&zF&#`l{p3Z_2!T*XhYOZ1k2Aqyj}2neB4PHNgx z=pW5kfys1(8`l>gEOC|q|H&qa=(Uq&`GUFWh`tJbb_{oIugi?ToJYK&7xr@wpQ#(_595f|X6P3iAI^E?>jRbv>W^jg#vrnq0xiZ!faHCosM#Q@3- z>?o#|;lq1JU)SWR+Y7N9Lg?8DBR71=*K$u={T~8Pv#+PllWaFHl8TmiMBZ^FZ!9cO zjgs_e9-Hb_ox++e{F<9p18f6n`%deXOP}RrX{8196&@?t*(-g*nLNM+NG-7zR_85x z#gB5*719z$apZDIH805@{gJg_IPgc`Lady)#C~t~F-oBP#3xzK_DFZ&qp@(YzdGLf zy~yM-^jjtf#eAO4=&wiP{v)1&IJukaNY6CG#JrHL`;e|7oCn4`)U?edTne;0Ytxmx zUw-jr&S2z2M%bCg`cWT{Nmd|E#>Iu-E}B1j(tCIFYRI4gLHRrPVlQp=Jlj{MF+;nk zrXl~427<6*x7};BF~gMJuSX4pxyBzux&cF4%>s+J?z~+renIF6vp2`#+dBkFmHa+I z#25Q#=0r|6N0Bs~!PH~MUNW&*?s-vRU{immIs;GaLi-RC%~`U5)1)5&DhuMM;!1&Q z-?{nw{5am(eO*vCthsRqughEW3b0$)#@)SCpg!Y~#XTFkpu%N32qLVs^Yi(0H0dib|Z`6E`>9jf)(%~|+MasKh z$%yobt`w>kiB%RrMXm?bQ!wHe{UV0(_F;hYIhA)MIAq`n=g$)jsgEif(n$KzRL}&a zWhRd#e@<$7W4IKGMOs>@am{cIyh*o$%;l$gXE?PVu{mi&g_%>bDy}@=^W<5tI}6cann#^=DZ+tTO~7x4%`ap6}$7B z);gBOxhAnaX)(U$Ztjc9qSF@!*@n2C*h`9f-_BV?1|#k`A2UH^=8^pwuL zM4}7oZ!pJU=VoDK=4K{g{Rf_$0A>;n02?FwzXs3$;HZA1-T$q#{mZd2v;RN!|KKS` zlMW6$JI6m@{^2V-2MOyxHs$;$yR2NyjI5mO z|GN$*=xIU=o8=#MvUC0OS=N80e35sqegW>qk zR2(467G@ZBHdaP1W>B6B2I#Yy1eWa|=duA-Hg6M^Ul8p;ve@COB0!fnVc5J%C z&fLGA&25<=5Y$$q&e{;DnKHMd>D(PV+MmyMn_hSFTH9IV7})C0Z?Bes0ZcNFAq_G& z4n1WbRcjZ(JrN}0Z=K5-Vk&ucZn@E>j;uk2+Ie%5*YQ<<%LxTAP@&IGF^5YrwSV)Fr+f1QVOLdxZ`Rz=Ri%sahei^ujl_*O@EH(ac}ZhaqPLubACl=U;6 z)_2+14@ubW`o4cH`Oq$}*=1zCQ~&x48!V>T`ScMyqZO%YQ@wL))icI$YCWub__1W8 zM+x`<8KP-1mBq7dmv>p5Gc`j)DkhjhYK+PV{sgP0MmzIaHW3J$H~7hU*ehwrEK(vt>Xua zRmIBeScXPGRPUE)HqvlTZw22k_MI+hB?C(*AgQ#m6?Q#;FyRnIld@od#WYFM6WDK| zKjHikssW-tNk_2P2WhMw&(a2iIcq-(h>6lSl0!?;)$%QddjG6Gl%DEyq!=lR2g00` z^+x;xK!*~Ju#FG`>=)T~gmX}Eh}>c7!lJ4mX^ZI(crwqYdVX@8Cpr7DX7?7t7ItC` z0MqaistMTPg29~VE_OJMO+BpiZMeVGMWu?Z5B=LYUlR_dRsH(esA0>(=Q<@ zsrMG+w>qW35ktqW1u@5yv{|b_SN|_Cu-;Z9wL(Kr#}7dsbLnMR#~Ibw7kvZ-S`mwxG0IMX*{a&=I)8 ze(}m@mF=eZS5SG8Huqa6delYZYw#Q8qRr`A>x-A93nUNw!luE1v!X77Old*=S?n~U zmGvLdHWD7|bclF5K|$;3gQYQ^iSkJMJjRSifN7J5+{CU|-pU6hK4!BTIBw*X6WLS3 za1AN))$Dcu8EZ$gMt!HTzF!B#oW*3#92tQP#fJgULCMhTkf9e{_`crVs+g+w@{T)D7ies2Jn|lNg0)ucTNA z6!M6*uv}qPn)~TqSFzvFXR%-5H3?!V@ZL!mdIY7R-w(VrA|WU}fboJ({_aPJ_!t3D z?BykA0$6H?-Tg~Pkj?x^+qWe!&)#g$-7udj?9D?w?BV*3)cY&x^jhg_rBjvkk>fh^G%@fMSBcm}?A1HbEg7vAWYHV7#xrbc z=7@sh1Z6eba_r|Do7?%*#2^f@!1kR3lJrS)2z_4tM`NDc1J)ZMF`xV#0!`K}VVd%? z9;uAu+nNUiwQEgpU;1J)snuIAz1Q;lgE?&y#vvg?Ys+(*`A(2qt?di)C|i^a5!Cct z7Le-2Dwo)rPwY(2V2{LqIY@bbwX~|Jb<4{9Y11TWoX7AXxQkdx*-bo^{li%SFfdwi z-ezhWTv(hHUDQ6N<&qT-&Qb;$86?d4O)r7N-8M1jpqmC>n!tYUxan8)xsNWq^}0-j z>AKNrOVo`TFC@RJ!`T~{U{W`8m&rql98!Q;gC$$hZMn^}NSz{w8-x+73)ErHOyl8>H4 z$|uEKMpu2}YoMv}Gr%!z_90+9@L@P9G3{h|%N>w_JlQ{F>l!jM_!u#vG-P!}u zPiyjqlP?}gX#sYFMb!(u4-N3=Fj{JemD2aDv(!ulGi~$V zv*&j?dwrrvq2w$ejftcq@I~`WD+PJ(!{z2cM$#e;gC89%;L_eCyVEigfpP$Rl7PG)btjrf za@7p0I}?MQzEcSKD%=}=>@*t+<>2{pk5m4MhHKHYA;P}C6@e77=vdhj-7zvZuAU~? zjm8r4o~+_)18uyf&=b%0 z@ocRxh35m|T&9IHrq>rJ{DG`F5pBS>sPuR^P&4RH+0^xVrLrk6+BUD>Ym( zilH7V4k~9;xANc(2gt(E89v`@Q5cF8iU3z~{}W5;0MFK(CoB9eg&<&?j)lm;PMmL$6s1aV=G)wM1+ zn#y;}af!Du#W36W`iuA|RYwC&zYE0f=LMj^&AxuIZ_#D+WM5b{3?C5tMbePTRWQZ449d=E6Hl{&JZvF>+w zxxtix02Rk@zD`c6d#3+Ya>x%^>!5um^8w1D4EZmNLTsO^WBax~+k6*myC*XOwm zbX9ea?B?xH${3SG-&dFnLkUrJ@wB^T@HxYjdUMA_B7;ePPs8cgCIrT9#i))${QKj$ z9ARNTnbgTQ9|5?D+^E+_-vq2Zhj5oN{EfqOAbOhlg+hRcal*k%Xd)CE+rg{v08p>r z`~LDmL4?Xw)*UcVYmnCeFm2B%#IY0$@fZc^Fyg{hpDeQ56aBk%aq33U#UcbXYJ3+W zd?5!dUlPS>|Gfq__cvC-@?NXwP6xY89gBVX+sg_BeITaqt?AG~UzNN+{T7efLZsI= z;ZfK?i@Z%-q}+`luhZ|ZoJyfHcz}k#+GT8Ww|$<=gi^g;xjeIZao1d@VTinDI;oKZ z>HOi9O>Nx-OIL45&Wez;&ZkdI73Ii8WlUTAirnbe(&hW}FRm2*v_v>PAG*%EF#Su8 zgCl{6eU0fvM{2GvH_X3xMDUCZi&37Q1^NtquknMkz|Y+Fdf_&O8^%r!1!|16{bC71I}ckMR4khN>sS-alfC!X)@ zgt7CoL-%QTN^{b8xi`0ZdSSwpo}{ z*}D=jqiqWg8L#A|s)#Ea3AAw3tMRBBdgMF`D`BJNdb%`UkdBtNHVJlQN+c~5rOd%Y^q<-N>d(u7AL&K4=i z$5vrE2$Rc4izYe9L?we9VT^ssS~UTz`;ct-LcS@dd7i0JnS|njOPtT7Ymj{!Pi6Ck zLp^`+G`>1C7Zf4XRfw@o6wN4*tSxPfszDf}HDi3R+f;ViXjB0hp8?r@7=D$-!%$tv zCg1eWt^df%=b3l=cF9%H-K>^keB;Ga(G=IO@?fl`;S{Aj+9#zOL^7C3 zaO4M2v&N1TH6J2B7%d-Ra0)xiN&?{wxg~@ zN(W?0mzC{OB1*)g%Nipsv|-R}9&|VYrw8Tgw{%VAgL^(z9L6+Y)FHEKOQ&&ClYTQq z+FS=Njx?6mOlE~?EOUF5!$MHR>(1^Nd2x0g+p>;iGnnx&21}NgHyMEe<5~C*hzCR$ zV3ohix4?CL?bGFLwI&x5Z0Lj|L_?3c8VOX!a&m zhFbZ=PZH=H@u!hwEmL?IfH>(|uPN+I2=A$~XaaGUN|^2w*qSQyzsceG%n@vvN3pYC zNh9t)L@UHK+Ez*e1gIR~_w1K<8>tE-diHh|s4@UKygn8IM(JON-gTVHGvNOePES@? z-eV?1=KQI%42EelXuh=+d#mBv-3{ay_PfZwQlifb+`l^>_3TnrEd2rfC(8;IK54vZ z&suIpQ#MdL$&azOvZKrTc7MFfl`M{^<)`2t(aeuU9Bk9N7bi-j$(hBh$YC^;f**pq z93h8*5Jg<3j1$A^{GqsPr0b$YQa@++H`h62x|U^8TBQ!Du5oIA^m{MgAssfqffV;kX4zF@5t^C{(9JUJK$i^0;EJ+Rg$q4e@DWuZglw<8Z;}NF z=byyeWjm4oD48y<&Spk-|0`#*GBbnpR}ySi5K;Ya|CNX5AOBV8zu7Da3lH1BT$Y9B zKb9y9&%f?0=<)yIwf|TC8jl9B&@7FjBFf0;T9HP^N|WjtNn+$a{Ozxf~JE| zE;l1H$U0?VV`pUL{0|QP2lrynAp3>-6vhEKTvT>)L+1frdL?)d_|B$ZlF`_m)1&*uwVT{^@LJ+zwI8bd!j+7?`*HaT` zHI)(^L{QE6dJ$J5_2((^OubVh$DInjfBL6=_hXqGJ4Z9vVl}MId2G^~8aod!nC^+~ zv$GvKvvdj`->FKqHd=1_dxNnjkI$F?9@TmP0PkBU*%l}Zg=h=2xB`0!k7JSzu_+Co ze~E|=kLd7?KQS2*-*MROpR3~RH<0{3&(Ez}9a^)Fj?|q5KNU`d37-_A1>Dw}v%=NP z)HlyY2FwWDF*?huqpe~V{KE5aO;SeNByJ04_jlKKd;}5inzs6UCF$1ZKPHj#Jm@R| z&8r>NvZH@SxKobETj3VjBkw{|dMp))8;ZNLHc8&D!(O z%PZAhIg&%`keO@c$tth6Aza4EpHgJMxwqO}uk1FNw?<`z^|RaaICTAT3UAf3o9{q# z*Ide@!}t{&+@6e)>ihRk6ua}9r`4So;JTHoRXOu@5ki5AU^7Y^`^D(EQzN@Kr?$hw zGSKYfx+NG(q?hZAnZ=IutNlZ(k7l{L_OxK{y!B_3w|^WRHd3~!_*ZU%kUs&?74f{X zieKh3<~uBTsD0W}FT<{a>)}S*J>!o51bq1mmDz5|^{{2E!6${OSTc%-V0!0SD&}YvY^yA}r3*5B;8;>E}l>i^u6528D z`Lx*l2HvhRZAZ%*-3+w{uRNjQDNt;r?Qz>kl7Qw$uVD1BFV7Uu&?p z5jZVLMU-%{MB#U#xl7_0Ijao&$1B`=759y~(%&t*`f%|E{T@OQgjN>?*-pRh#qbHY$rzxKZ)3G3(!qN+Y>S9>gB+9j z>NGv7hVPJy3Jh%pKX$JcYxCyV>+tfd*t?h&(j~|^@&xz+Z<7XVwr~c2oksBC%HB9! z{c?9R>4jzBhz^Ak4eOLzPgzC)OUOTGeXs9q$3GP*no^Ah1y zDOU_x*rwQJ(jhWvzhD;#54$4elI62=tBjEDmlW)TnEfy8~wqoi3(15uh$a5#%a0YUo#S2zI)TFwz4kDwE#@g+UzX;<6EL z2{BX35^aISpoz%#YV5 zskk}8mNn%@cOi~^7oG1$ksC|k`4;Ak)>PzQvmhEfwJG68d#GP}zLWGjeg?g6ctDs< z;o1Ynw?l3?J-r)rT_tdRaDRy^oIEw_)t;WC!46CQ94oboQo9Kf>!0?yFa8s#h8B_h znNv6rOpQ+xvLab%$-ENWT@Jy>h=2MnNr(wW16I~hGuR@rUlsI6co#+N50l#_l;KW# zZMdR;x|5E{G58y;i>U?#tCKG|#Pb$**J>faV$NG1$()FFs!}180s^`xl>4xA>;RD; zmL27Yu!nmj7>by3gt{J#0M&&Dvdqvko2n|q5P97_%gwv8tkTvbRscFk6-z%}IDr=_ zXo?1voE23}Knw=ZSI-P}yB%$ONbv_!BO(Dc<_TLmr%5W0PJx!?Kr8+g4F7erY1RP{ zEN0WE9r-Qkn;%JUb)P^6JcAwLuHYiwclL)wpGSbM(mudmaYWWND8ExT4 z86qAwv4l8*>BU#?LVb6M%*k+Uh+v2m(;u1hbq|tY{V5=4u8%VuL%T`_B}nlkRE<&yZcw!&G2KJiq({ICGioqJ9BxF3$oQN(E$sk+;=StuTnI zH$-UtungNL1ls!wtikhSNEeDMz0mdCtPb_3=zN=9>wrY> zLPnT|9myOHP(vqNaab0l9KbKqWpi6poCiu#Ahm7wrCs)|a&-M}d|yiqUpEmS4Iv~V z`vLvkd^0hbAtFKUP|zSx+c4;WDXMc#2M_NxM9`(ae=!KIoin#GA4DY}qgGcq-gw@EgX^2?c(AyhEmuuR|wJEHTo7)H4Ds zj*csAjxwmDa=v2kz7cw@etHdRyD5izsHK(+HS(7%KXNHA2+u9x^4VU3dQM~4ov|_S zjuksc{y^BAbXXU-NanB|MVs9sd_PL~3fNYv-Dg1@LkbJCsI?jjC^1vJqegVBYwOU* zlWl4&nj7lu2nWW>Esrg~!-};I(h(5aDWckq$nfF=2KwR}BGvv9j*H6>lYFmTx#g+j zllXv9vrOx1tD5z7N;6R9^UV~^@%-KCR1x(cR$^l3Ra6OfLVs4#ig2u7WwWC%3P9Yi zsc@)Oao#*i-tegs6G8<8eM#m>^r)`AG2tbZ z1sjNb=(zDgKxqY)!7eay(+*44zg^3m_85y9mN{=;=W zXuHRRF*%!dtLE`+F6$N!U(Vqu0nmz#Y}as=lFI}5{8Ih{Y1DU0tfBY0vPQhnw)7v4 z=F-sbLD~9>K8~o_54B z!EZ0g=`7{N(s*ZOJq5=H+EEe-EnG?Yj-=d5xYL>ONr0ed95+96V44#^4vg61`0}W0=^!Iwv64&~I9}edQzvOY7BYJQ20tw9)zr&F`nw z5n2#Gj`$_=wb3|5S#mjK+>yf4Ews1&fKo z(@5CyvqGt&)IPV}XZW~L)L&_dkBQIBMvc?yx`ZiWV;35-2G47NJ>zDsA;5k|y&`Zp z2~9)xi3u|N=tkmulhI{*x`u)6F764npKHlCkKzYeWB!{pv3Qn579vj^Jd_KTN*;Iv z6=_6$tar&1gA!gSZllAOaW6_%JD`HiX9{iUoAe;d^2}Byn5kqX6^h|R0d`Df(oMLQ zGedd}2Dgy-Ffam;Fm~RTSfsM+7x|6sS0@0+fZq-EWTyb-dK;5y`hX(&c<9-U?!Y-I zKT~3q&dXYGE3!_ekMR`kq~>pk0n6dFO$J4t*a>2mCRrBN^C*Kuy{UfePGf6*1N_Vj z2E@qyF5K)qbE-_t z!odmxm@Fh5|2)jj4oVr|WaQyy194K&aOQuG9Zbv$a$Z?@ct|)vu#+2vQbB8H9^Kg-XKIs`bxj_XI0YgEm z>d?6=F-TzrEtUrqJHQ1(tDtUwkU`4>BC+hC1Ow0u@b9yFU84alE>u8OvN3XiLIwUw zH{j;v0#yl`3raO$XJKJv0eP(dp}D9)s7qBMHa1Y=0V@~Cp#5jzpj&p3ZOifRRFIVQ z&(O3tNN_Y@>7@!GI}6C#W#%Sf;{qAFpw+Xpf>y)^n##op5@-LZ*5eujD0!tq%)tt( zfEiQ)DBge@bc#6GKox+p2|!Sok(>G7rv?5~?a7r29y@4dAjcOJtiTLf4I3k97%ONR z7Z)fmf#lzVr;R~?tE6>7g2Uplg3v8U#RVPnpD+dxc;;YXUMj&hk&}!~e-k z0KLs}L2(I@*BF@pd0+i6Ddq&77B+4mco+t-_Zl7R|G$$RbUu05*nz}1WdAjdjg1GC z3;{g6rugq2pd~Z2rS*RY#{gR0p#RriR?uD$G6o$j%?c76DNPd_9OvJxg>G$dy#H~B zk0c<1s5!PEqwr5*Xq! zB$qKx{f3pae*1F1$b?EFK23=OXUQHQQS^JK?D+coUz$nc|S(!O@SrrwdqX2==42#Ou1Dws)V#U$O%BZaPhbqb@;d$g&zvrgG0-zmlSR3H{FR>c?z}~#hmvk#v{I{Ck zxXY|+QpdMxU}LF=zp7+MvS7^I z?`wl`r~yLyko_xce|wmtzi6qR)FZ2iRg-NC9I9nocOMwKfK3(OID=o75Rneu{Z>B0 zrL+iFUyNOJ+>#^nsJ&BYfc`{SD~w!#Wg_hGJ#DLa|J?~#UrKgL`aA0pOn?%r?#84S=@JN3a0)j>DyT_$wKck~V zGJK7gg|uY=3=QVoN5!1!j9)F81$zU9NqYh#nHoe^)o%g;LicGkJpPj-)e(y#e4KtA zW@K%SDyqmvqu)uP|Bw?HrX`5m_l-L(BJ}Zuvfn`N+{%A6Z%t~0|FD#}Hiy3(AS|9@ zjZcpx6_rA9N!1iu14kTGEkbe^jZmnjThL4ymZ^9Jm_F7Mwcw@>YjNK1)8q0U;8w%! z1{%I+7Qe!1kc!Ne3`#SPDOOG5&+8pfzP2jZ48w4tqZfeL``>gqRi~_r!LYz3f(Tkh(OxK$z5ot+Qmz)vHLO&`so?AQc*)~#^Q*I^<8weD_ z?aH*u-#>R@)>V&fEWg~*q2Ao(K<$nT$T&jCOXAIgaC{il$%T>)$v{~G*p-WkTlH0=NjKETfct!Ba&9}!j7%Bd ze1Wqirv@7bA0lw7m?$BblEifg;;X+6b!J2`44mvJku8~<`JIx186)CkU}^Z}$)(9I z-;%qo-XtX$Hsv>J0jr}u&*sdrq|_I3%m=E*PCdU2Pm@thN#$0L{-f6z);azLSMalT z0FmU4eUMjoo78iIFoUTLkE?o|PnKNdGexVdNbl)DpiT+==4+W;^Ylap#dgLFvI`!D zIpZmOc57OO=Myr`YICT`$CUYxV@BVwy1gv@7MVR`J2aAR24j^VrVKd<{J4SkkSvU# zGWq^>Xeo372!`oYV{_V?hUXG>wbPGtK!Drtc4U)@=UUOM*BE)9`ULU(@Iaxq6feRuX)3y6O;1A<3vgD4BXrdHDVm z6d=GfhPADOb;cRfkGrX2kAEu{g}`j6PqN$MW_ee&vw zD|M6XX^B;+s{JV+4s4D0*LL6m;I`GOT+hGTCT!~w(Z;nilR){b$Y>_{xT|g8ywBu< zg6awnnsr-US-%DvOxDiJB;o|p;?IY=v1z3i8=HQlYya6_Md0EH$?HRplf zbCp8!;0w?9LsBh-KK9*+&Eh&EFAbikJg+5_mbP((v=9S3m6UA)zaTO`(G%Ee)jog4 zEXtxw%S+WD=!Gl&I%JC^`H8?TTEQUB~qEL7INjmxhEQEV<^z+p+2eOR)Qc zF_JA}4jYoua17KXf<`YB*hlkDzRbNTJ>icVuSzhFt)`d;SwZT*YdHFuy6ajJG$RkA zZLxhC>w^#`^0|7iO7)27S3riHQp=51-UOV3JsHHwT^Zxeo)Utb0fducXDGXRks_Gq z$u~La1+86MWB!t4%9Q6oX=4N1#Dc$YD%W!o!EW-{BXX~c2D5Dcr3j4HgI1mKn&l9{ z@4lwo|Vp+(7XiFLZTGpEo~dIt9zUB zsir^3JMHQXTdZR$hOL8Myc(ehE3Aa*y5cs5OfU^ClbU+aMi8=^I)7scb)|=_~ zH!Ajb-y&eX=Q{0$M^A0?Pnllb74$ps*maxK#^;x;v2U{rhp;bw_OF)hew9t-N{2?5 zxJ465-#Ppmv4Ml}K&D|+Y}`2c>+TsVe#c)o)k6dA%_EW^*MIG{n-8%E`JD56e+M8>T3>F z#O;P{5==ulLEI*r1*0L)yIia4FVCW=7Wf|ur+16=58!%mqLKG{=g)QCt9jl zUyLR+1{{D@=kw8Apc&d%NS_7r=sVAM2p#3k^ll_DH-u*!oM9w|vTQ0(Fxn?|+dIRs zL+Vv=f{*HrOk3eU8AOq?Hzspi&iQ=j9nAWMiP~Q@dSP_1Hh<>M;U3;mDkP63w_{G& zC#dt>d|I?E%&w&}m_0&G_Sf>h42dpR!yx4yt^gtw2QI!n%+uZ1J&KFqY5WZoOkqOz zw-her)6DA;CJEb3gZnr`fUZ};Wok_(7Jo1rzzGY~;PqpxCEqUwlCSTJ!sTKc{G!1U zE2qZYASZi*|3b;7V99J#E8d9#vlY^nfkEPH#r(s<`sE|lqb?}m6msk>n|p`)DEMVI z7aTx*wV@PNj7s;LDEaU75;q&2L#<8kxZ9*{TpvjV(JRX~#iO_ciYcOYE{;nSeVH!W zJh!oh50aidq1CVKzd~PzbW(FnUoP^X2lYs^fqK#lV0WiXy<>>1jF(G7g|G8O!jf_1 z>BI+E2TM{=4ZB~3Te-jB2gg&28$%%@6_Q#CdKln1?J7jXM+*Y1 zI9$wB!}DT5%W1!t%(&h_g)9D2;*{_vJL|_=lVsq2soS@l#3*ccN*HwOdm(~J797>9 zb-D~naKs|4=XfXa$~!z(jccz)+;gGL(n9IS*gX$NKg(?ldih9X5x4w1EU3Cr1y_9T4n6By(+XXVfs(Df>1Pc`o$;7uv)b$ zWrXE{?(-||oR%qF%kd`Fj0SpYSJQKcXjVe(I(z!DlW(N+PEv_)9t*@?YXh?&!30u} z^GAb7IE%|=h5#x=Q0wa}q!2s+Su<5K3?n7`Gb8H^3|~FPXPGn5y3t42#sEb&#Rt4> z>#Px#><_)N0S+_^E#%43b>+F-IuD@f?h7#}bev+UJQ)Fdq*G%~lwQ0nlFm9k-_k7k zkGbM^y?y|(nULf})qS0F`%vzWwEGoyZcJzW>2s~WqE#F>V@Cz@S5W={feFY1*V|Oz z@3U6Bik-6(iV%O08_Zx6utWRAvysL-35tpODg}j?KCi!z>C9C;3`&mkl$l+vWs4t< z)*JnWN*UJ)b;LW#K{~#!M`ko}99P1du0e*tI}*yw=Dsr|giO>I&iy5B zDJi{VjD+M||_ z?kpSJ>U9^CekRnpzaV&iBa4@} z0Dt#K`T7X7S3`;WD#c!oC4%0p~*br#UNK-z5HBwOHy4jY{Bqz&f6aOYe&9_5 z^J{4z(7f^N5C^*p=7^YySi?KP+c z_3*54M?YHb*o0rN?Em2H87Se&d4<UIjp z!~80l8;1anhcPd#!~g0kAyHTQO}GgrJ&SRMx%7KW!W;M7%i=6zxk6cg&e=E%e?GH& z#-Sxq9Tvgg+b;kU$l*kC&IT_C4=Q^9SfH$Vh9UO1%s1(HezGM&%E+YRIXE#)USQ(t zbJ`CwOWjTGUsUbbvveN4(+_>H_?s^xz8fAzK0@DPJi1c3b4+>17pW)NNDXJg|K1Y| zozWUSg?xIsZkC@C{%*s#`7&b`7=rE4{VfiBk6i6_bf_L+_6oh1td#AwzLT=2Yx))W zYLkeDmHjen@1RA|Orpr?uVCjJm~$o-%MG$LGuWt$VCxrqlq=@z5Ao2`Td{+L*Pu?p z#=j*wNUT-mQ|z>M9S5@|-}!ffAHOrF0ofbUVgK~XPD8tTH6FwL@lHll{HU9? zq1u~gOFrBO?4ww@k6KVk2_{SyN3h!90_kOh;~H_B*!GeO^}~o87}u`M3~@L09*Drg z+ud5PgYNVtth6G#$+f1tH%qMQtHwQhWH&L~19_TAn``R6#-cC}z;wKz4~{W^O0=2V zH%YfGgf%qs&rolKXQFh-wK^;#hE@rMBDD05j1<-Ysy58Yr#)bA=~rWXy;qg}FldU3 z*^6Ut3?hRrMSuJ8IRR%9AnObu4e}E6l3064Vdc{!)T|^MwpP)x6nuH6Ls;M;2^CtC zr?rAj5ZGCB-!ptfsGX3Iy%VO)g6I(ksbJ#e2H9*n5Yrcy{@{dyra zh=t?Kp~aupb>OTm^oh@vs3&4~G=^J94ujP9?gdFT~a2%BN=64QP8x^%j zeNzo@vW=y$11<%u+SJkBKdd)$n}mCou)L16$kLu?ArphSGPJf)w<|h_w*sULt%V?~ zD*D;PqWk}T3s~XE%OOT9gWZVmFQOh;+{|2HZ&W&!JA7s(>j^$7mHLsbBxV&BCfJYy zIMfQBk_pzbQWgH4b;*6iBhE~LLWtdH))Xs!73A_}H2FlO1oKlc*wGXB#c*;kWc}M8 zo@iI1I>@HLX(=&V+oD2Ex*KnA#nFfSx2VT2H$SNvjeu9=Z#0h0MwkPz=F*07tXl$} z6x8Z}A9D}EHu5J_o7bQ*c4>-RMA-mp0NH9Z!*YX8WQ6lHeenxF@mCi>^h(AJyxYw| zbG9swg9|~{vHB6cEQ2R^joX=Q-$?*vrP*oA3fPW%%wo#xXS8RnQsTZ#|NUs>4RH?_ zFFWn-X(ow#FbQcKf(J>RT;GB4h+6Rv*h(>m?a-X z!Uij`DxN{#4g!o=U){@}PBe3vxOmx6RGxkN2gw>ZPb3aG!K5NFxU`bvqIYKY#~?k-H)9V_JKWNY2)28afoU*qTRx6K*+{f_FhH{`Hf zcFD#>A%g>$Q{EKoOyQSuNtgaSCdsc)TRv#CLsKLlUF58j;*R4}4F>6?)-*IiAxfPi zP@oS~3{f7>z_21m82of8z`$oF74kBnikjXO`O-ti@Wz8AD-sjDxtZ3}}uryXcq)iMJ05Wtg_wa=~2HE8h z=2Nd$cOpe@KqCxb&O9L~$`k=l{l_=f0hvEgIZ<+^1Iot zGH`;J3jgs%u`i_}?A- zf5PPk;w z{6-h}ITX);EKYwv)evO%P*VMDOukQ1?%!{9dktSTBxIB*Zo~f3r~f5@l2O{2jegZo z&I-(rrP;yAtIW9Pm{u)x80)7(pk||N6?+3jVHz^JBH+NNt}^6N0|^f^!J6o6mentB zyepbBGzrs2Bs5qTozm6Nuz1p}NX@}hI@}&O0`QTMd_{3^1`2AahHk4XO*g8_`SjIuKe4_V9ymqQOFo}*2%}j- z5U&Q2>I0UMxP>0<*L#SX(Ju)*94LnK+d2o82@$XM7(MerG0DS&2+gM5+IK`)9BEO; zc--MMQCShcmDxFb<**>X^)|;xq`>dwVv4iMtuBwZrN_C&9x0aUZzqrE{SC35@O9Hm2aAtz+W#Fpafnr!>|i` z1CNY|I^Chk7(Mccc!w;Ds=iYxJbMDw2Pi=Ar#Le)!gN2CTua;{A>%LxGRj%a{l;YU ztpyC-u|*UCS7Qhep$5ZvbrS3338NWb1oZ zOh{XbGa!EnJEm!@U7xj~FUaF_%;H--rqq!q9d>>`h_cl`dOzRobiPh57Exg~k`OqK zCR8a;fi;DX^3LdL4B#Q9Bvo!^9dkcUHUMl;gV?%k;tAD(P2x;aBvfbmtiRf4F#-NrFli<`^x}Zt>FM>wvc(gq>PzV$n^;xp#$GxlKh@l-fHr4ou}A31QB*6z z_JB!UI={HO@LQw7n<7b^Odf@Z8O@6xU7U;pD0KR&@`b%>jrcfhJ~=p>e3!@qh(p13fFu z&f>eI1FHGgL&YI{UmfTPO&^R(2PA&alzlTCw3GIh#zZ{Cbh)GRSv+}^ir4)DBW!C*JzR}GPrKyyqn@^Ie$of=5_g>$c&&l3TsY6XQslfONi}>Z>rO@sT&Z*)t;D4NE|BJQH%JyG& zu7A#){}E>Z?veksbJ6@ist8ta;=sRE5dUop1GoLRkCl@vumNy5>>Oa))!#S*aATYc zEKvB{qW?z~kbHs-z)IGH1t9-ppJHQ9M#BNH5&bI_;lG>VV8HY*1!Q!{;w%;P6Ak6z@0pd1EBcdQ(#XQD?58K0Qdiy0(ZC>!E~_XS2_SW z5!-)$8Cd7Q$OU$l{WWnV%V7fu|F+A+0N}q`3lF13WtB5weO_m|Nv zmu-u`-5`Jn7i4}EQrN2h;q7KS0e!kn1Y3)7jIq$-eN6O5FEv$q{$W0q?(X8N@rpSi z`!x+tv~sGySJuI$N7if#9ig(Rvbt^9mo|ihq9CHHbv!~0CjggXaz7)vNrrM{yjHOl z=k)A8pE$KxPW=#;Q&Cw(9ntM2f?;G?2%ImH&fPnQ4yc5IlllO$OzJxX@hTqX_w6vq zZ>tjY#A@Gjd);}WzZ$lXwYD;C-Po<)oMkn^b(cI$x*1-YoFX+uA+1Hc&U%@bj&~Tb zoSEihHW`gDOycN_rqtswpkSH!FZKysE@C4uZup5cMs^QDRRBj zY!d@C^1n!xf$dC7lt&%8>Oe0`97bb5caCcNm_uTJtHM9GdABUBo zWvlxCpw*KG20X?{Q`JI_aS&hpSQ1p&WzI6QM8Or4vJ%cY zFXk4gN7CC(x<5ajx#>xgiknxSIt3s9xA0tAm zHJo*YWY06rvDV)<>lekzqBl%TQqYZ_ws|0@;E!3Mv+{;*D3vw9U4~PRj|uY%0zlcR zg21h&c*P`tqt?1vgeb&iLxhHJR*}`?4w#kx38Uuo$IK6NbKmLIF|vzN-@}V|&NTTH zNDjz0zNqBYZW*Awa>Ge3u5TS2$$#afNUhpGC!scH2um^2DEo*t*Ow^{$&!MhaW*Y6o%WnMH z{M#+C{=67PZX~kd+>K{>O#b>gtN$#!QahkC7sg5>;&P2#)?(8|V4I03FC6Dj9PCmz z#Z}nm@8`8?*IFOT9z7sve`5)G;;dVp!v}I$s-R}(XEzgqUx9GoIO2#)aw|yLl*;eY zeXL967$<8&`WUdeyASN@S_y2%zS2c`Vr2JEy2oWavBIM4VhVFkMfkk1F>s#8IPzM2 zE%9^Bnzlic$$*LagP{DH$P8R-FB)3@>7Xm@WX>twh90lSX%=7oIP>iO>`)TI2E;@D z$=b`%L*k1E-*VDOizWmqi4+L9wV++}s!uRq?_>xAEn~#uT6NYlQ52t3ow$|D3p|S( z86g)r%9L!OqI!{tE_BUGFHG|KRZQWKS==3f+ve^fg1ksnPir;Gb>_jtDIctJ;YkGz zn~6*I1G*Kx_B1{krj9>aZt~{=c1sm(7<)+s5EmG+6#_{Z;IQ>83eVM7nz3hPY8$cynAWLIe883vpTUy2mc%0gpEV;U}aDq@`xd_Q33x z)V=!5jaer_9t784ar&V9glMX%zL>yZ99K7Vp*dvL7*u_BU#v`~qorZ=s-nCm@IR&3 zEZ($r_gJb$^87aVxY6~I0-SG|iyOtqYg5>dR-h2026L!Eo;v^6jpl6>%n&FDGgqHL zzS$yweYA5Vw2woJ(`*+)b3I|aegQ@rxyxe8JZ6Vt2iXjdQ~@^CT;CHHAFvE;>t zu$=8W-U_v>@R>6H@ zT34LpB&V|>YH++GVj_-OyLw1Y1}%IV!M1*!JrUik^uUJvfp0Q&DkBwhhE&y{am@p= z?-w(=0&k*?6H6Go!`erxykA4B(y8B|<5kCc)-;U~*1v*Mrc4X!bVe97ILFOU85eFN z+TSS1r}~VkOM4dHY&VKzyD!9zAgnF=m*u^TGN|xuPjEJnG%( zXqvv!dg3I9>y_1`XyzZ1>$*dz(%vxy%8kRQmOmR>Cf|ay>W!Y6$wbj@H4ac*aVoO6 z;}{*M0JWg*+oB zD#@M~$i%^Rf>FU%2a-YpK4vW{YJ!AT-K?f89dA$$yd=(tkd`?yz-gUuGF^k;9e@2Z zG3(Ft@HB$x6SW{hIN-%^wddTWcep`3LP)w!ELV{j*=g(}Lc@sy7fQ~^Lku)uOE{s5 z6s_z^yO}||_x`N~*f#0IQ*RW^B4O8-?XLBp4mo(L#A|k}qZs8+_J?Gm(yuT)H|f7x zale92^E8Mx&l)5YR>#{c63N*=yhen%WOxpScvw)|QcNP-s3Og9b5nIZ+(gt;QnVq8 zjOhN^=9>zRbCM`xU@hh-U}RwQ?HL>4vQa$_@-oG-J-+B%Gl;JjY?OpMI!rQZS)^e_ zOY}3c68-qqH{(3^#v^0k<9a%iQEM?u0aFIZZuyx=dtF-Zf;rm3`8U^Y4aVkt$xQGrBa>Afw^e2z8aWV)UEUZto^X^N&5x z<@HQ^Y6r8$jTa}07;FOUQVgE@!f`=Dn2B@?(tk$c<7$lpBM%RPGZaQqG)Sw5BFhku z{zy~mJ^@(za>8wn;NAn?;JcPbhuSDCcKxWgkNLP^{0A7NR8Z3KT|K15Rn@rc{lfc2 zbaV|1jn&)aj&}m(d?Dq2dlg#uF>bjtb~Rd8=~$2Nu%dDNJ~u%JTqGB-YL0@0$kK-# z65V%!C35ZeL|>fim!=eKoc`cq_1M#bF3)+5vKNcsMMMc;O*C$4H=xrDK}YGRglOyv$=xc=yhOqFhY_va#?7pYpezg74Hj#6Le4&qma zYV-QV65Egy#&IO3M^brILR$ioL09(Baj3h3DwAXr-`Nrq<_1Kq$f++{(pw}owjge0 zG)gDqR-cRjV&n767Ywp<5}fR&h+xL1P-i+cX@jjC-U%3}aG9SMH0bQ};E+(B{F62# zE(i*WhXRQLeI1RaHm@RoD@vXXIPXKOhBRMk_vud1 zQ9BiiCDem|EM#L!wwS{vCg$lWv(*B@-e7r>ZL*0R_bB1>nrE{HC* zFzud26%g7VA0?B3jp_u&zYVhSEh&G0*!WYVM2pidh7Pych_yvMtD;p;H@d}Ug%C7gM3ItZy-PS8{#;a>S=!6}M<@)m zeJ~;{s+7WD%=fhe3Wm1yb@(m07&)wrEiwJ*DeqfIt9P!}A^9}uCcF&&h85@lx1~5g za16Ctbg{&+i+%MLp$nxHb7y}~Wg=E$pM|ZcMYZO}3|H#2TQSST_B;y)BkL`H}taMhzg_g!)@Tz&e*^Tr}Lo#U#w zo&Bn~N++#V*FQcd1`NV%KJ1`o)?aWLV+PE*B*9 !4sko6HX@(CaXxDEf7Ay_2Y ze0clD(7x22A*Ekd!nG$i*e71)j#q(tfZ}1-gdr;k>j-q_(Qf;c|EU1J0zPB{Y2W9D z+&!o5E)5E(%mrywr6^4YgZGCf8vr`Kf_Nw{8$nUlML-JBGw`rdD3CXD@PfT^gKl1I=~Gi9ZDwgJ3I`e!5oyeyMzyUUoDw(W|e z8EQ{rl_9%JuXz~JZ#mU|ML&&S{90-u$_)MSH0B+P*CD09w#23gxxB8em5~T9!1=G43iJ47h`9OXuiPqpALCo;DNrEBFtZM!9o_V!*_m z5*vs)2}yT#X*GSPjDh12()$1drdHvXUw8kPa=TR?f((x^ItU;;@Y*E8e}$8!mL1aN zM;E%h;2zJhynPgp!0QuMeUp9n!Ma1=7pOlSYt1zJ^IOJ_?dApGB6?22j?!pI=Hx^G~(}ptOpiKWTjQZVxMg z2Z2v(`y)xN8*}yQtcEgO+oalbCOB%p>X?rF{eotayqfPnyW(mDEK`S-<958<_O`xz zhZ1F6_EjjdvbmFE{j`QpM=f*{e2>43nfjfqhniKk(Y}&fNTLo&4{!6b-r4@LIFF5( z<6IwTPYh}2U=;z0Of9`TPwR)Ma=ghI3>wA`(tN)X5!flrKb<6`vykCe{(VVE30fo- zz`hIb8B{>S%N_`uD`YuL?WDi^$QM+Jfb_hyQ;tULTeWG_T~9wZ_uNUw`=WFQ@PQ~^Rtz}t-X`ob`*!bx826^J|>ly0?;ki zjsu2Q2RBdfRR710CMLJ|k8UuMdQCNqx+vxBC~1*6E%x=cRopqdyTj^3XZ$FBF3ZtV zeLi}+zQ|w^(>7@tu4102JaW&7KRn7oK&xH+gx7_U^^I;M(3m?Mx#MP~}Y z(Zx34>x?Wra?*0Z5a77-vWXtZh>P`q71p@_#YqDGQ&0MzIiak7tsVzd+^oQV;y)3Y z{yQj?73>H4TUq<-B>LCqzpNntGaVDWCK*5r&;s-8!JZzl^M&;<$OvrI;a~>WzSubv z{B;SFBWMBGNwfeJ5^#nnJ3E+-1XiQ4fJ% zztaKWaQ_B(GJ{P;|0Ih7!7zKUxd_PlKNn(QfrtNpdCFhz5gYek3=;J}bfnIJ6m$N0Dyw{f6cJ~!OsW$FN{($GaZ27 z-;Nd5@EN6?)Z?vtL>m#_{JQr3a&6}}6V{W`3WB2* zH~8HCXWpkGp&`&sHA}Vf(!h7Vy?>D0zmU%&^aQ3Ng?e-Skh<91Tw^CCTXB0O+nZ{C zCyaGGcz91wIvof!@dy{8Nsr#$mC#cty$#tHiVbb}NS@Bs6q5Gf9&wTTi+|;l_StyF z#+ECuCj)QC^r0Pyj))llB&2o36hzdTuH19-r)S-9JBnyfP?UHtJi6RCn074~X^-5+ zmG~VWH=ZYM=dByRU5q&6$JOCaiX*A{@kx)q!$1u&FRtYrQ>bxG?VAKhMVY0#`*}tYJbdO(ExB zxpnQD%8%=j615C?)->JQDGTd)Weoj3smHEtqktSb$BIfO1Eyq5D(HFT(CT?b#s7ee zXBB7JD2-GW$sM>h&={D?qZDFp_1o56a)#WfI2$}wLm3W*Q=^F+AtvIOJm zIc`4V{D~Blh4+-1-IyA7x8=ftA*6ua&&^hx;f5fqBH0PL$c9{psKdsp+ld5)W~eWC z-%%ii`$X}m#1&w{POyl5$*MG1X7~*Za6(_SAE5HF)m|ZnSj>hI1S#vtl0#XlG{$Ss zK<|+mP-I>Cr2UFB@jk5?a=B40i@k%9WppA6&|*t@XQ`1xt|Hvx06gG~+aom*ZkOQ! zQJ2D!qJ=)<`wFa^RjbW-w`B6SX95b;*FJOn7N}>T>9#Oy_6bHl`|KE(|09zl5n3Tt zI+tzuYRr6znXi-P5#&XQa9AHWVb&}bJ59a|g4-uL~p945S|%OHJCw@mg&B{EF21Fu|=Ua|6uqvV~^7hjbbZv*K-t4?R78&Bd8W(G3OU z@@n38=R!_J`eIKd^n2t?36ZTz55D%lWT;jZAlU4pe>0L2*#!!jadRZC5d6xRo#@I{ zPeY2B_n)l3f(GS(#uWIn#n&C#@d-e^}i28DIAC7tpQV!;XO+!gIC~b62@I z?TAR&v}Rj3K1)ISS+L%^!qZqIZOx|X^4TuD34)?nh0K9l!eETo+Q_vCN9)111o_g6 zoE07{akvI0B}MuZ6j0B!TMDy8XyvlRQO1r?Poevc1GUh8|~L5ewDAf{08%b~27etc~cFSFLmNqv@wf zaQgVLyZKBCDKOPD5IQLj#~g%E<3uf70;IOCtb<9cuJ5v-OjLxG<}+SuYhwQ?wa z6QqMMr z@SmVl6~0|X$<2LlBxN{zp=UpZysc!4``Azix~(n-EW<(g!xc_sDq7hyMx_)4=K;BB z@XRNW1|0aPz3h7^dj+B+617N2hY$i_zUpxUdh~In+D(KNp`NQoYoY>RcW0^XT=Bhr zq)M{*k3b%{hY$OQA}}GeD)bdkVeC(m!(@+ry~Dd%HWLjco8$xaG)z+f&!PIAa}%OK z%6z_o#CJ)B9AO$suD(A4TF$St@^MABzy+!x4WpAr{e?Jsb2lJ z=SRDb7VCvZwFcjNPgX~CqCR*rYu@~-1-TwilR^%HM&`SZe%U<3En-3 zE~8+(g?4k^SN-(Gbey^`foxWLEHhy+y%rZMm07(4V8Ak4GIsCCDrSKsFI7 zjV?HTO3T2)gXrYv`8VEN1Q)9GLtdN$FnkV;q@v3$F&IL>%MPeQZJ|@Rm6D-SiF7_J63#1n%jY% zt$4srjt&tG34zU=+5F@*3tH~90UeF#t=0`@c|Nl5cM%1UTujFzdA0=L`ZN9P;<@lE ztL46sx%lcJB1^nSnsskOhUz5~);mErY$CP!;pwLG(gs%hNHf?id#`SyyPZ)zb!}Q! zqBiW$4P4c0LW#spfov2j)QNHgDLGX# z+;cdhy>hh3oUc2=;07^$GWsbM;$Y{SG24Bgr&e@zuFcFIjekky7}X z{%}MFzxy&GO3dSfN%)p3xjusA7w7lmi%Cz}HGienR<*%vyNyS4=$SdcjPoHc`>2qhQneoi5pUMYxT<{9mB*dne8dF}k*i~qvQ2?z2|iNL z533$oE0Z(5O7HzjJ}cKa!cIb6;K;h*Dq{~LEhNjmz7<-%BD0P)qb+TC=_8Ki0=03)tkH?fO&0;1?4 zf`vHW-WGv?lLZf?J}Q2%!=O_Q-!0Hjw}MFIZmH4MZlxZ=gXO5X$PGIMH!Bsc8mxVW z5pB$52)?VI%%~ejtC>SmlBjCl6SA5ym6D-3cwtcY&5P2*>ULP_%xG^XW5}0C|CuFZ z8^&Y;A8`w>jAa1>T%cPFr*>h<3`BhxDMbrwK{u6}JpoyMy@_gbu+{p8C+atp*n$D| zKn{DOrZlDYp_MibWA|}P_S1y?;unoSSOH>?cnZA0`!^Vj<1XSV0lVrl%%^v#$>1KU z)K`v0o?f?QoDQd+G4TmA%YMcCqs_n)cxgPrH-hkUBDG)-eYIT1Vni;njwI(`OzBql z{=M^fMifv@{EPJ0=VV!!1)lZol(F*BBucn7> zcp6c;5wK>9hQDh-kW7Da!;^k+(JGgNRDQb>u>`gHQxTR5MTbQp$e3`Zt#TB40%c4& z`5w0BFFee9Sb!n-20Loa ziyjS;Gw(Z*3F+pIvBV3X9&v|DZ!IATFrKjT71F>myi{ zn$rg=_#ha^9Uz%#a}q)Rv6K?gLqCNX|8(p7R1E_rSDw%_et5sD%5P?_I%fO8cm5Fp z#FSoBJNKzj(xQGl*n5h(;KTlR8#P-E57sl^lM=)}MO4S%lYCB_hTa%D_yuf?`$GcG zPZYooNC!T5^u{uAntQLauk zxG~`_IdkMAT}f!i+x3I)w8aEJacMgliuzzmGEQXk^bwRY8Ii?>$Ml1*-E0bRN~+C4 z`h+OA1fQ|KJ54iZW6Vqp3}63VmgIi6MBa{3GR@Yznl|jfsMF8>J)&fZAfyF?Zj9*~ z&pSvh$Bx|0-hTL@9ENQ~M;hotO;+c04OMEforZS4D0sV^4cG)Hk?N@$wR%8mqfZQc zhKKO^B`*-KNyYQ6$0CmcJqIlU(Y^Z_VvOyM?#7$zod#}?YU=b0l7%g6J?cwOkQf@qn$NcM)60W5XcFft zM=z4)s-q-zBB=WEb{ILu#tDbc*9vtJvJ9J!k_3yV@`+0OL@r<&aaN-rPmpLn2df;-LBKDm+BW!ns3E0thzX%`i{f1H&bUu*$@a{|HIp?|I~|K7pQ4!-8(_}3k@LV%BOV1zXz3y}R^BZlA+ zShl|aj{o|aG$HU!tlWRgF|2==u)_Tf31s>A4k*Il^{ilq3hRGuprZjmPL2`;V4<*r z_x%f!`3EnZe5nDhi~JpjV*zItvaqlxvk3!4{{cwbP9Y~qg5lBi!T`zy+G{pQa1jO| z0>FX-6SV)Smz?X#BoH;nb)0Hk4aKA~;%)e~Z@`aMV^zn5S8?X+edH5RG_Fsh=O`Ty zU3q>?4~H)CBQN>l+6deTZ!S_&Bh3o;_D)4;_jy0y6#T;OlsKz9xv@EpoK2vvQO{ia zSh~D<09szB;jnuZbekXF+c@pL2v?GC!!6v*7AGD%o{CmyA<1NAxEH_&#->Tf){_a#0)h9dKlE3i(&?)W#t zDW~e&=I)zNfz51Lk+XUAJHd~F%~c&(BbA7j_07ho+fPMw_kZj=xfCsYH1bf?2ueM7 z{L*aS>^K|OnrA*Zp@`*}C#>I5-?F8TF)kZF-pCy=?ZfuU;eJa0lZuzvIH)s48zmr^H1$}ElM&&>MN(ub4S(to;Ze!H80 zEpOdNh^%SbHuVMd9-NLx$Tu0I4jJ3`tj>U>LJ*Z@={}FqL*@2(M(QCR5w%zqwe{Jw z>h~%1+t$ew4AkMVqG zu4WO{D|XJ4aG~<5uMjIE`l5${7K9mVrZlE8uE3tKdT+39d#v(%Y2KbRiiDwUe2xjE z?nb17iPME|d97?aU@)vUpw~0UajKw{?x*#+K?%nn0i#t53Tmm0I;PE`s?9Ti$HLoX z;T%zw;LP>oQ_3D`rtHL^BJ3LCFaN`>B7t3dLQgCzc*ifMJ8xZ~@dxLAbT7Lq=xWsS zcEYMGR_#RrNmxoQbTRqGC)%0G65)oRKWnd0Y@#Q+Jl2v;ZSlzj1eG54tTN+PrM4OA z4&PFDR%4V@VJV$i2mDVG&hE0{i$4{|*Y7rcTmwoKV@g@%87U~cZuWBUoEN-^bHqf_ZVkY8rZ4-t>L^Zoj5TyTT*rOeFw*VSDQMBTtXbM1a_dgp6E*^BjRojCN^o#t18ckjh#io>XL9I{Rn;d1HEG$S2KjJ%65b}xz{<;8^$C*@ z5@UemXX4APgJgQE4XUxtF4>9?BAi*Lpa382I3PQm%Z~;!y6oczPPzP;d52|<^`9mo zJRXss1u`>+3u!2G+Yq589I?~%*(2v+!AgqdH(H1SQmyCXHP+)pC!}A&pk4pEx221f zantIT0A-yqx!_*(>q7$OQ6ZPpp!1KmO<8ufwm5^JX7$?_*HuzO|NTk-@^4`Ap*7kd z%mR$hE>gSq+IkmL`s4LAfBxx8QPH*JrNp3X)iimhQ1 zOk^;apnsb8t2Wy;C2nf?GA?Ufx0x|3K~?(W)cCk!ih7BWf7o9Ul-M?q2ygR96s6!0 z=8tJ5zPlTmZ>cM( zz((&WIkc|mr=`he@ks**p+;xk6%W<}{--9pSLgV+>wb7j$brVtqi1ZWnC2Gx=L~Bq zAjz8OV=Ce}2Qt7oJntm z9Cu@^k=pS7L0-8hS;Y7inlOjHhZWQeNhfDaY$0_4m?>}qj0Ml2OT+JErjFuDSqg6p!`-~oX%o9bE|eIOTT)q zT}70W?z0=-7pNSmJW3c8V6Sg=0EAc8a{$`FeGfJPEur`AD(xzmXoj$O;i!(iiDyWG z7@~UJLnn&()w>82N}wU}Y&4Wkoz}lD(U+-ioKC&>VqS<=5nu6@Yht(-L7hQ>5L~as zwHizcr#a_k(1N6aN*bRrFLqd{f-S={Ln}V4kS`c?mtdP>p4zYA{>B5g=vo&~8N_tY z(!q9ss#O+X@6LX>$xac7=?v=yQmMta4zKG-9F__v*#LVn(lLs7uUqW?INX^ zo%9zSJXH8Ym0KUD*O@5mksDWhE`Cg>yr`I8T^~_1)_|AMW%otyLK&RVWB^C@*;mAm;K`<)`_i5T$JpcfV zbUM;eZyKAgwC{zxd3oo@)id1mFpb7L_Hau7LJX=PgsG=8FC3Q1j<`c5J!<<( z5I9EcMny5AduNYnKmF5J4pT4S_u`>m1I|F0056V?gpN9t&L?~MWFtb=2LWay!s*Fz z4{n=@cU7d{vMd1rjohBsJnW%iq5GroUqxy7$zBd&I6X6aF~VFjx|qIMSp@(P&^BIB zIyv3Uga-nvIo843*FJLQ59A_3<;hnK&@*9%YIho`J1z3cNS3JZamRYu!*zjVagkW? zpkB^^smofhTUPw`rDL_$2hK=Q7WqOBTGQv+YH}TiTov`Zx(#ddr+jyz?TU5l7B&m( ztA3TUX#Gg>q9$^_PA6X~u_9ynKksRTg=QVE<5Dz?? z|4aopv763wOOA#(V|=ii!&cB4q;r?1R|poh{am@T;oDD*RW!IL(o~E*5oL zKkBWwt&|Jl+`hq}asn9p3#@w5JeYCb1TNB4n}ay-*3QgvlDVL!&iL*Q+j*+h$YE*v zuTVs`faZO^eYBDhOVG*uNc7WCpt05iC`EE3wi3gKw$KHNcBz7HN&{@S59J4Ye|D4> z#L(21yK4D`UStqiR5Zj0BdsW+Cre3~P)>dK`zK-#ztuD84fg=%6?uzA+mPWWZ&~w2 z6;jBv)_8mLwneYcpy@6!C61;eDXb}sJYL|V>6sniiXslrWc|K$u)9A>_fc zPdsSu6VahWdaMkEHwMklnuV*AFy!rr^C(nHIF^ORT_J7gT(j-|>p#L9C{8p^H!h2i zco9pLk!|2?WNMBf4mwPLf%R7{*$EzBkS~M?vn33dnoE-CBq@G53s!jV{ej`|^N5M( z$K?3Qgqluk1)UdbjqI5g3;Ieb((fLEo;XE@Nj}BteQP*5$XNIC3ytPx6H+SKn|LLA zEpkquKe2xHxYIKYqLQ^$arrwdIok^(B}EqnD|4=$=Of)Mbn9+|EY5%9$jP0M&cu#s^Y8}_CT@ZDe#_`&9#G+P? z0IJoP4T7i5`CZWB45jC*TlZ^Jlxm8{C(}P`mn`?YyCv;RhIO=-{E1zu){Ju7~c z>JhD9w8WDy1u>F;`UemdwH7L`?KAFZKweMjrAd&2-xk8r?cQyLV{QNXBvXYwgV8 zVSZ|j;9}A?_2gqzdoc zoNlM50hrsQfj-sz{PFfu;iCebcBnk4xe(d;Bb+>_H57~)CdJ^@ zqzD2c-Xq9rLK+QU(U-x+b;xZ z{dt%Pit7ZOtw;t59i9v14@rl6P?Y=_{f3h<8FRNm^3mtcQ6?O2`r~ISxn{Vw46kn{ zCEsK7Kg_+#eaiC7y*Gfa14%hNf0<$diO5OR*RJ$1rbi}VU%Ag4zG)x}KSrwr2%o;_ zd28A&gff9!FBJzw(x1aud~G8%tG0RNha;|O|Ci-v51RL&j-8FI3hKF2bFnyVKuYm%uxB=eu)n?M!4GbX?76s z!46meL9Kbr7fMZkOS2g^6_e=icbT%(!>3MJWE@m~t-!C*G8y|6=lER>is>QrfWZO0csdBaaOR_n6@D+@8nSPb7heP+7MnYqn09@Kc`;hl%0%;m(USdg;S zDJEBP-TINe4~3+|o$_Zt+P7$m;hF>2GrvzlfeLz`bMx;vJ%@RsdOE3%epz1(-8M6K z#W*)kM79P##uakA?xTlNR#i87Oq2*?0-3NPPMn-pr`WF#*G<>YAoHU{gq!gSy4vnN zv>1MUtG@80p-Gb_-{-<$W=S{xpqUg*e<||4NZg!(I{yx*iifH$y0FuJnBJ(+&-hd= z9~8!wc=4wKDi)aT5NzmC`J_NTM}bOlg|1%m$DN2c zYrastJ%{{4QLuFT{(ocQ?JrOBVxC<6RWp{Yw&c~wJ$`vX?@3Du94 z+ReQ87JIgT$hUi`uCPUer#)qWLrHdbbEB0HzmM50-gm#2B-}6}9JUKlD5RwJiUe7j zmfb^xP@$6XkGLs=uC#;lHEaKT;sK~r4Cv_@yks9NWS{mu!o;Ub0qxw-Q)(rf5Z6+J^l7H2|USR?0ygHLE7KfxZLf6Xt?fl5B8xou|>KUf2 z+9diu$vW+Q(w*Pzsd4lS*HH zf>}6_(|8+xYlr8*Mg3LdZZgLxH}y;7{#HUKeSRM;Rm$fR?qm~P z(`OaUZ&jDQ;*v`BRglONfcifKOkExUC^y14o*lGliiEH(p8NM~jA7!t0>wZ2o+YtH z^s55hpI0_>kILU}>WhbYV)8-yMSoluW(DB0R4Fu+EHzDsLGymcEoz6Jhv7E{SlQ<1 zZ4Ul+7snChO*21?y1hbjSPxs?7s_5?WcQoYCcb)qx-N(I=<=D15vk(3nXW-q(U;ok zC$i*W&@hSM*MzG1pc@a2&{%qF8FUk8vc-%|Tykz1oJR=pgA_-3{Hg--PX5W|oS495 zY#(z$f@*}GT+}Urn}CjYnw!igDD;CV0=vd>R`_7-B#K+c(5rA(8&j5CRu^~uchc)2 zt_n=RJXN=E2eO=qrXQN?r=M6sb^XiV9bpnxwm0m4DzP|$NuWUin-a77jUksczthll zB7&K(>vC;(LNZQN5%KO19pk+}omkrdWijAepQ7k#=WNAAjn5wbgMMU5K~;13sRi1e>5It#w#;2e$8I7xp& z%G~tgJ6W1;H!B<~aF3PcM2c@xa;V>sN#zxM8C8==Ad_yyA)3MaYu=edg6oDMzit_)h2m}k?{!s#g zHF^K~{6{lL`X7ow;6IUx$>kaVcr;FCFpL^Z_y&UE;b4_tG7A)dDw#nGfSsJB2~bX! z*Zd2v23LqV!NG(qe>vNKQQsV#j2vJhG&tTcIYJY>G)fzQoUmRmk$eSSj?2o%!pQm$ zj+>hiyge!FUqRkKMDTxY?4kw00093=0F#Tf0APLKKfmm8$5~q zzb3&}ULX)$J;zQa(gtAA{^u+knCT4!^Tq$EaQ}~tNHCH+Ia(XQ^zUfIWOO&MFBd@v z{G*Xth>~%204&L2cHpbO>4>b{z<(9Fb#-Fb8gP6cD^nytr)}TJ)7c=-3G4OA%|x!} z6s5zRN4ZK4N7W_Px#GUw@`vVE^iEHFMaCA_=ljvOzpvZjMDhCkS~|+hV|+F8<7Q{Ockfcsr`jNk>b#E0iAQ|2L`(zK$JY~(;kZq_ zep#@(RI3w8>JPj%O1Ds?Cv2X%H&K^!FW)`|we-bk5aY;_G#7>Ls%?qepp5@I{DPag zo7QP)Yx%953m10vD}j8`$>KZD9XdVfcZ`K;M4qEW(lm?B@DGz^;n=13MG9)6nRNy- zt8L4B`yBKRr8c6B3)1<+k5$K@7){^$8j5ttfHOZuUtz~Kxu4-UuL7Wmvk0u8<59{9 zEWl}XREn}@>|sIL0+tqfa-jZqzxp|1u3Bw23FVxEQ%-~8@52giC>IK0;1?*L z(0D1+c2Qf8^E@!P0r2v_-aC4J3wB2(QKgqyN0ejn$Rvz)wzYqgQg7@B9oS~izo~T| z;Nwu*Yy4WD`)DL16MfNPw!biW(2NkssdTR#fE?&c!ZQ_jM*!)F<`rl=^H{w;mCe+a)*RFozQk|XtFx(-SEbEv-9LOKn@#em zX-|xn+ay>=j1G%a<`c#h=ufe^+miC^es^-yGm?aL$z*<_XNr1+hjws<_%7b=96E0G zB-^LzE9n9J!SEb@TiwAv1N1q4Kw{k&d~{`~=8onVWEx7LnzZ3XF*7AjPpxehOeON> zjM7*9(Y6%|`Qijk*d+i^E0)K{p*kswx^wlC-=d8a!oXE6mD6Stv?08`tuy$Q+vpO( zS>MSB;n0wdckZmrw@;8%I^pUDew*p>Q7m;@-Qb=Op!kwjR@BRwN(#8 zHe(xi-veVWT&2~zeooakr=*f~pX#WO(C41c2qjH!P|oU7(`Q94_8`Y=Wog;)8Z4?ea?@=9j+ZtuIh(d&e&*N{%fZ3a zv1)5scz89m*hf-Dg{T9ubO)_6odtwhB;7i;uvD@D15^CKQ7#%9*NeA(Y@c7osz$Rn z=}2=+DZE|C)eERoc0T*Kw+dDA78_Ok zufyCz0XTk_*euAYTG|o04?2QC6n!A&u~7L32U>E*9EAoZ21|nlbySaH$R}DKI5BiM zj;Dr}z^_H=476=40~y4M3Qmk~!O<@Gp=|QZ7w+EnXfytOu~Ud%BD99q&|{5fWaZUN zdF<3B?6a>lppgMjrv>j;eEe8=s5j`qFJvcBepp4z0bJ!&%&F6R7&`bSI>2dHL?X-ll4v*g4J1tJDp%S2a$t z!d<=TJ{v)}XQU^EmMjmm6+cZQYd(YzY+#^z@s}}t2k~+(_CN$EvF+>Fm)QT7G+k=8 zv7AykV!s!@k_+RV1rA3lwQ+Aw4+U*JF`D*4N=5AyAyLcue8Qc^&lx4{(eIbYZGaPT zk>!-4oN@sU3l>Lc$qAo*kK@`m%pg!k`5;l*8DW5(??uE$hU15II4UjVp)gV;9LT61 zj+e^;0{N|2r>-2x8jdC-e%qak$t@ws_#&i=14Ego{G$6&6YFPT_xIQ{VW+em#j{#Z z(B=H6i}1h+#Q(3bCy%RX``)>2Lj#S{Bb9^-bN>XW*h$}Kw zyh^e?iSP`SIq#)-Dzi|=mwAi~nLYEYVTA^Sgi4y=$+v_g-tSz1BMW?7dfw z*)jKzRoe%d5N_ADPBq<~rtH`l<`dN4CEWe(Z`3-YhF3b7`r)Uxw(A&qvWL!vkgbQE zr`aFBm+rr(d9!BzulMJkGBnm6$<``2J6tUDa$Dybc`2NwO!*u zf$fNtQQkIRdz?A!rg8bcMt$DUV|CTV`pQ*3*PgJ7p0GH;N@+W!qs!QU^zD16KbI(7 zy@w9f`{#-E>Uo1lwd`uYze`od8BeE$ujik3@w`(qwAL|aVBW&m<41-Rtf|i(kQLT` zpQUobnHA%+FU~byZtL4^`N*)urPhsk`=upcEd2L(?9fYtoIlGoZJ1>7A{4_G;v73y_nVjNiu{$>FYQsV0+tQPB)BSIMK4Eua!Ltokjb`uj z-HM~g`JXCk{yaL{U|wbX?E&-3PSx+(TliqO^lJ{cI_Gn7%=Am9K_Sim*7aH4qw1mM zm%lGh)HJp@uH9Kmqtc`S0aJe~Oh~qfE1I_W4~?jy`>&s;oqG?kPphFWzJ08n^MukI zY?Z(A)YCcHNy?h~_p|()0(|maQ|_BzuYLbf;bbapsnz?qXvW+phojQ|@auazYBGJ^ z$UV4BhYVcW@^}Bq z!{@K=v!<@}o$U2LDcU{G_Aj}V|7)E@hr8MR{YPhgoi6mym)>zJlqaMX z@P59P!Hx63RnM?pzcAfnX}*4@`^v9Lw59)%3ey)eY!`ps^4WE_pM%NGI*Su^6_4VM z-QCw~kGq2%%F66C`eW|-(F09xnx3wUxp}DOuiroT?`Rp~J37Mk&8IuIwVSs~e^!3{ zFspW(iEi(C*Zk&PbBQa{E>2C&=8_w(bf^r`@3CX?g__9f!DRXk+}{0yahO@%?4Uu{ zUT*ernkX5Tc(O@}a-{P0mqUq{ojSK0sW-81Q#%b%uqQPuL97tof- zVeF&R>BS96NlVS77Ll=CYadL@&A?c~A37uF=}A zS(z;>tS;;3CKZ*RosygVo88R$Ws{G^$BbLBcgXaR+yUcW{A@D)YB9M=w`2Cb2)o6h zr;GQVh)^zTkv-v-Wjfz13fJC7ug+--wfrZytM9)4)TUd5oI2#sY`62O&CupX_dcm? zz-q)8d?*SZ>2&|z);>-KPF&Zjve?0X**bOg@kZwwBdg1@S1;6C(8~4Lf=vBfHB;-@D1ZqJx!}*r=r=`yClJ1;=mE)Qx(1 zFC|kutubgu>ZVf9k7b8$^;x|7?=!k-i{7M;W*{)1zRo-*cQy^|IFX3e0~OccTBQ3dN`)CT3k+D>a@U>-9o+|LxDoY3C-s z4fgopJL|R5*I=^s@5)Xe_gmEljE~DVdirMA?y)b{&*XZ|qUtp7zLUI~>v8fl%-`;V zj}`Z`%CuNRJ&{q`4-Xwqy5Si=Vq^VJHIBnpc>KP6d!LX_O&*(eiQ3UM)+}m%Gtf9lz#EAN;9(vNmQ*$+CXhoKH4qxAgF#{;850C*!;G zPAWP^3>lhO@vQQrwd-&<|78WQqLGkoly|AV=gyHoFFRaX+FWvF;kNXpw|Z7DT~}DH zJkmLLSIC~zOO0;mUdjr8`|?bnmgYT&!E+3E8FjBQ+iukTqx;z6xQ%PH9|nXOkL%L` z%^p;0RaiF4>)P3yduor43%j>nGUO+_JB2}h_W7prV}Tuz^Q?cr zWaeDx>+Iyvb=wuIBgL}^dQk)C*E>eXe3~=+oPCK&_q9e-%r=_@>SPi}>?#{=+v6J! zEvc1nY_=$yE^gwaHgC&ZOtlYP+~?)+&v@t8w;N;?R(HzIbeUTBWv(DT#EYe~sxHg;%NG2O|(_`>IVyXLigy<9bE!_sqI$J@L-Np4!Ob!_pU zrDyM6USj?@QrrCYPHX);b;|gOy8S0Cz8m?+MPUIzB5?4q};V*K0wzr30^(t2%+ysGZ$!5fJ-AE`Yy zM-_VY2@em<3vycUZeh)bzYciqS#>UTZj(#8%h*acoxUjr558VBpSXKM(u=}53tzP4 zUUnK>b<1g;JH8zwlW>$+XPzQ8Jy_8wX0CzSOs0-V~P5 zpjXxY-0IvbV}5ClJ=?dmWzwCqvQ?6?6RmR^u2))L*Q3TAT*e(RdiM36TX=CV-vz8| zsQ1Fq(twvoZOS&7zAdks*TXpccq}q0{gm|V+PgnLzJ4t&RoXbNC^=MdX6KsI%FO}4 zt(!nwPIT0^tS~BXHzcKcnXUu*e96Z4iC=!|bu{Smpk3PjyJpH=-0Lge>AKGKX`Z{) z=~DaoB{9k9{NH^iPdyv0yxw*2{-HW8Pb%#!$Qo;-$;m(8xJslZ=S9zWtvGJ=vMM7u zp>J9h8)oo)=lvz0bt!Kf_hviF`l;S8sY?AjV{y#J{;({w0iRk=PQK|Oq!(y2am0%Q+(*JE|WIp#H~tQpIIMdd}LlYe*WjMJFm8sJ@xW?9KWn@Mcwmv|30z^zT^C1p`^m?wrl>ijbq<#`4XMv zzi|8AiR*W>A3C?Rch*Y3JLu!5!7cOU8_Qpgs43X+Rr=SvJcB;{uIXeMnYI|T1W(rL z-7;`{f|JfHX|dlUqryuG$K}KC#oIYELD@5U?47nZM0xx1&c@+Sf9sfP9k^n~3%l#l z2`L3PCF|{SPaHVCe(zag%b}acpYI4D7B8sx+~mA{)64jq!=HpM>HJye>Peq=k2FeV zjQ;ZMWk&7&WY53|9b0=8M6YS7rFQ&lkd!%iL;AdelAUixA9xpVTAumK_}kIf4)=*J zI?_Bmyg`dgHYG+Xcj#@p@u4s$ZuqN`&dLeTGO8k9{PAgJGo`1Wi-P41o%DS`dN)J^!%=av4=s7)SY|6i1&zdhDyVhkzntx7Ry>>$4-3fiq zhXh#OIC`#d`Wti0gA%X*vFZd1H~eYMyqSx7bd@sV)OQS|zU%wb|2T`vs1B~;e`XMt zW~_SENebEM_*JMjt4|CGH^2GdoLHj0F>DVB9nAa0CeqqTF z4~`{#@|@f{8qyqP$3adzIETteAtxK0UCnz1`Q21l*JEKh$1|R=#Z_^z{v?Cz90z1@SeBI2e8o~6kVrV;#lFZePmk${Zzm8`S1Gg) zM|PzQ1!rpcR^TixjjzWMG9G&Gq%n+-;_~2vP-te6Z*LD1yv{G^fBz zp@?8Gf`1q%5?#I@rtOSh_9r^$=_KjoIdYw`<^cH7QlXOy2noxTN2L;T2s}L%U@zwq!4iTh_nuFzl@L<6$(x9m;O7gVC~^@IOAvJV z^~C@psC+~= zkvjqw2RU3b26ZieahVuSbW+a_M@L+LnJ~r$l^UAmfepmYA+VmvV`0EDE~mRnY=}T8VXhc|j5V|Cwu z;xrD6*`>a*D;cD5y%zyHn7<1VYfjL(F6Nc`#w)x=5AO|1`W?Sp`MUWU_Jo*WiY>pB zrZKvQglfer4lLBzC}vekV!-WMZnaJ$y+<2XFI8w1{}|A96&l9nF!m81tp~K+UK33s z#4Jkb@**wNz_jMBe3LWkOo-W&D%3r=;)1d|<;5%1Lz(T4ekT-|9*u%k`nY;D>W`Cr zksiJ{8u>y;c>q-J>w%^~kM?^&@sZI;AHVfL-T()HnS^37>5Y2gbWbz}1joaG@~RIq z!-ihSi`Ruwz6fS5zT$yQ@dhs-rSMxXsLRI#8DMG*(8;i!57bdK26cftc8x*7P`$o4 zvc)U?0B5u}5HYw200fCod!t}p>_B3R+xtO(runEUg>qBu<^vL7@k1X~pP}jgxYiq3 zDo+B711jGaSNI|esQwxhLBk#V0Fl9weo)ysAE<1z9~uA^T<}9b<6n~rO}u(6>V^l6 zMLI*i`7pO>p$Qh_DM(q$yCez{rm9|$kSd*pOs8t2DTN*KD!BSy&xyE>zd&H^SY!^# zL!m&+UR@8L&s2p+f5QiVqWZ1!pWeL3!vXHdG*8bG;e&oi6C3#>LoM~?sPIZeitmp_ zR@l!UeUV7Ha-VTXgW$i63qa-){!7Yu^%uNmBH9lC>^lj~;S0`BLYPOzkwM5A1iK>$ zZO7Y#kP(g!Myqf@F!~9bh9F~!oWpboipLru0I33qf%@H$^)HEG(RQ2-e-i|53PB6; zmJpzxHwD@81GIAr>aEsW3+ve6sbSzt0hOk3;}k^U$SHtYABx&zyHI4Jo?+kd6oAKY zI3N^-;I5(2=%rB94^;I_C^9#ZlIobiIw5RI;>K+h| zI^nc1gmG9HC%@q#8S%g(qVfi-HD%T3i4~7)mMS>9Yry~nIH4<1KJstJz zCP0Ni1yB_XPMeOpb`x+0K?Gl@>bVI%1{HPx?p7TfzALWm+l96G{dCk1_l-gW@q_8e zsDt_j5gZl;(3Mfh9{WTgLj(1dBM=#>*@Fm)7fWB>SpLN4PnyFI zqtRgS=9V!iS%N4C=Wt;xGFN}Ajztj=a@oWo7bJ)Gg*Y}2xg&_NXk4xOMuS@E#q%&3 zL*gLyH!x|tRo`IfS0$i9#_(#A#eG6O=)8 zO5vA$83kI^mJY5MX7JEN#B~EKQ6U7gIEOD(@ODT*sgO(YokYYynqdZV6$^{u+GI>7 z0WHH1sel$5!}Iw<3eq?W3uOugKBp?=<1PUuf9bKsOrV50FDm52xmZ;pMD0RKiezv# zUkF#Thzd#Yr+UdysNfAj+csq!t-wLah&3S@cz-J_Wu+9}ttw^ttE2_A49%>X#gp>a zE(;44j0}6tf>vpMz6&Vj3KAEo3i;<8K_Si3_~k4RKBIta*y3W~b!ZCO?MpFyklvP< zQo!Sf07i0rdS?M1h1;*0nAS*;GI2qnP2PGn~aZ+rRigugOjIa%;PY$-SITZyVc7gVs?!wz5ZVS$%F0NYu!9^lEYL2JRw$%O0Wkm>p=AOXC!E71%>c`7 z8wMD^)1ysi0LH*$w*Uso>A%q`zuQ#cPUVbv%pWj@mWjrWk@NmXfTs|NA5Kn+bOz?G zU~+@}f06+hAG@}Nag0!ppwpaak}62*KhLE6=I%%^#G(q}T6>}C0z5e<j6zDaVuWv>1Vp*W zXfSZNSval?D1fLl;DH341`9^P3YeuyHCPB)M6`@3v?5uC6L*G{DaD*Ha*^F-rD6-l0xLp=V*yd< zQ~)NHDvY{Xs;&GtC!<6SbFh*t6h8+MhH%_DnL-q#aIpF-v;`ckx@GZ)RC)Px@Pr{8 zPfiNtLh-X=E5yN8OHl`Dxi~(BZHwa0kW!^kTww0SoPggGb_P5;Bh(Lo!AdsI+z*}M z;08!h!!X;w(f;t?;0eW12k2mHZRKm`VAH6m(+nq4V2%Z+DeMf(@e42f=bKW4{K3Ns zE2K!!H-T~iOfGyTphyU*1l&>ZXfJFSU^FM_G(_02yejbD02Bp`U_Dsj7{kmK1q9%u zF>Px`l;0L>SVm~|q$~@IEusoJF((`;j8x%e9mJMG zT8?V1=!x;c)1tzZ@mdZJ7WO{VW{1Ibw^G=bKVwEBd;`DDFJb)>6Fviefsj?d;9gq? z7fL?NSvG=Zhm#~rgAE}`XO>nBlaV773`sdVTKxYg6D{DiP(osGe4@du_^@zzV+ONT NuGOcHtLF%<{{sO(2Ot0d diff --git a/pdf/grandpa.tex b/pdf/grandpa.tex index d54c715..a875309 100644 --- a/pdf/grandpa.tex +++ b/pdf/grandpa.tex @@ -283,10 +283,9 @@ If we receive a valid commit message for $B$ for round $r$, then it contains eno \subsection{ Accountable Safety} -The first thing we want to show is asynchronous safety, assuming we have at most $f$ Byzantine voters: +The first thing we want to show is asynchronous safety, assuming we have at most $f$ Byzantine voters. This follows from the property that if $v$ sees round $r$ as completable then any block $B$ with $E_{r,v} \not\leq B$ has that it is impossible for one of $C_{r,v}$ or $V_{r,v}$ to have a supermajority for $B$ and so $B$ was not finalised in round $r$. This ensures that all honest prevotes and precommits in round $r+1$ are for chains that include any blocks that could have been finalised in round $r$. With an induction, this is what ensures that we cannot finalise blocks on different chains. To show accountable safety, we need to turn this proof around to show the contrapositive, when we finalise different blocks , then there are $f+1$ Byzantine voters. If we make this proof constructive, then it gives us a challenge procedure, that can assign blame to such voters. - -\begin{theorem} If the protocol finalises any two blocks $B,B'$ for which valid commit messages were sent, but which do not lie on the same chain, then there are at least $f+1$ Byzantine voters who all voted in a particular vote. Furthermore, there is a synchronous procedure to find some such set $X$ of $f+1$ Byzantine voters. +\begin{theorem} \label{thm:accountable} If the protocol finalises any two blocks $B,B'$ for which valid commit messages were sent, but which do not lie on the same chain, then there are at least $f+1$ Byzantine voters who all voted in a particular vote. Furthermore, there is a synchronous procedure to find some such set $X$ of $f+1$ Byzantine voters. \end{theorem} The challenge procedure works as follows: If $B$ and $B'$ are committed in the same round, then the union of their precommits must contain at least $f$ equivocations, so we are done. Otherwise, we may assume by symmetry that $B$ was committed in round $r$ and $B'$ in round $r' > r$. There are at least $n-f$ voters who precomitted $\geq B'$ in round $r$ in their commit messages, so we ask them why they precomitted. @@ -335,7 +334,7 @@ By Lemma \ref{lem:impossible} (i), this means $C_{r-1,v}$ did not have a superma Thus we have that, at the time of th vote, for one of $V_{r-1,v}$, $C_{r-1,v}$, it was impossible to have a supermajority for $B$. The current sets $V_{r-1,v}$ and $C_{r-1,v}$ are supersets of those at the time of the vote, and so by Lemma \ref{lem:impossible} (ii), it is still impossible. Thus $v$ can respond validly. -This is enough to show Theorem 1. Not that if $v$ sees a commit message for a block $B$ in round $r$ and has that $E_{r',v} \not\geq B$, for some completable round $r' \geq r$, then they should also be able to start a challenge procedure that successfully identifies at least $f+1$ Byzantine voters in some round. Thus we have that: +This is enough to show Theorem \ref{thm:accountable} . Not that if $v$ sees a commit message for a block $B$ in round $r$ and has that $E_{r',v} \not\geq B$, for some completable round $r' \geq r$, then they should also be able to start a challenge procedure that successfully identifies at least $f+1$ Byzantine voters in some round. Thus we have that: \begin{lemma} \label{lem:overestimate-final} If there at most $f$ Byzantine voters in any vote, $B$ was finalised in round $r$ and an honest participant $v$ sees that round $r' \geq r$ is completable, then $E_{r',v} \geq B$.