From 20e6ffc2c8ba3470c2a6f11714b8b887f841338f Mon Sep 17 00:00:00 2001 From: AlistairStewart Date: Tue, 18 Sep 2018 17:26:20 +0200 Subject: [PATCH] Fixed typos --- pdf/grandpa.pdf | Bin 220714 -> 221024 bytes pdf/grandpa.tex | 94 ++++++++++++++++++++++++------------------------ 2 files changed, 47 insertions(+), 47 deletions(-) diff --git a/pdf/grandpa.pdf b/pdf/grandpa.pdf index f39a92c41e9026dcfea3fbb9fbc5735badbe157f..01a78d134a178226ef0e4cbb5661647bf1210aa7 100644 GIT binary patch delta 64944 zcmV({K+?aeyba*K4X_Ue0x>g_5e6!M$&TZ=_1<4mx5z-3MqETnK@uPhbZ3%NBPn1G z=^R)VZ3`_+jwDy5{(jy<%95?B>KWu>k&oo#+ZX!N!-t=~i2P32REk{RJ?!p8nWx&w zJ0tQ`mGbVPy8CzXbt6sEHQzV6OkCBCn|qbXx;1KWAMivYy6UPf%gdbep@^tWx z-;QUPiPUDGi9@jQmJe9$DvZU~^>Z+(ksMq(qoW?(LVts&jq8)1^4 zJDfhF=soj=sxGqt;&JPJg(H!S9YaveGc6*BmqeoaD(rFnSd*CW-~k1V;GOFkY!CK+K3opzpfyD?g$DgeS%JAUUjh;^q^}Z!0 zVflhZCo;H$=UXQL^C?7JSB#W&4hWw%IjXa++}QP?1va=+rJ1x# z79UWrfx-233KR zi0@%jXwXaL`(qs}iQrwo;uwa>{43%mpHx=OE~di>Vw1I!eF6Y~lc^6p?;RL(&wId5 z!mhfl>ZiIolWt+<+9+t#(DC;<8X}CVjt{imsvod1>pW+!K^whyOcH~yWd|Un9KW8; zG;CZ_1P)b*ENCrX${RL6*XY7HS_VM6kx!g@hzB(VD~H3ERW~MSO2N^~SxGLLg4BRD!pzMe`{k6(ZRp zOEiEG4!+joOj1@VkWYUh0s&oEhlOo-Jk}$FcMKPNE}E-x~_7tk$e;2JRe>V-FjFj^13Ld8imWITuY3^zvy!|~CD z0Ev?WO`c}Ut07atI9Kn)OgW30h$#wwU>YN9N7v2>SW6c7QUgAfFC!J@R)u&x59ZdD z1VrNFj6 z1vEprs2NR3Nf)|8%4WnJ}|9cMEp9*Gxh3XMT&qx`i8GMkx6*RUEyW=z~Ipn=gQW z598E9aDlHbYrw=9SnHbCOOdaL_a;7Sz}Q0-dewv@`1w#z0_qcrcdL7mXxeY*uL`(-xA&*Xgan2Flc!aTT@Po2zjQ82uHC&!ST%M7|S)>jU2WbgmQRiAF6x`-kd<;kLrI~hj_cDc_9D&lDJB5Vd1j|qKfK|&ucJ3j@fvM( zEjB2HPG&6x_G0w&S&-BD?(LiVe=o=UvU4~L!(_lumEXo}4cHi#D!~AX)k}kd$y=pRLo)($?EhZCNSEzGUDVA!PTtk&+?M2|) zH?S1Gx?89_@EEI#i)>YDM7SWkB~Yfe%)zfOo7ODBfEIt)EPoGw0wL2ZQw#Ng3}Ot1 zAw8+C=)Fj_Fz*S$z9R&aTBu6qLa29qExn?^m*X!C9A}uzss|2SE6*$j7@Ao+^x!J_3qKaG@vlTGp%X&h%o_qQg<=7OO%akLmSow&a4X9sdb%9d^Nu zMgHSiX3f5BY5xD@x>G2ZAh*)93CNHuqwr9LgTWnxA=#YXAMaJ3DkEZ+hNTamA3ppF z7S&^=v-}U>0h160DYFFB>QL?Jr(58?0!TYOk+$m90qE^nd+!3gGDN5J2sDMOa=VKy~@ekkfX ze=2CME}xDl{`ej+iTJjRacgegZ(GqBfdqu0YlZM3wUXnbBJmMZo<4u)HL5qBUo_KG zOlM}n-|>+_^qU-tCMU4v5f1f`H>H;?__QzIx56h{sfO{XI=4Ue6rB(F_rarDoND?K z;Jcn0uS}m_Xc>|3AWh;E>Z@SvyvBm0&YLiZ6(u2;CR+$-=`E*6T{N-K5rnX__wO!w zltB{IiJ->>K(#tk)364q_QeVH4YRiv76X5R4q_e&as&i5lDSU|uO7yo5c%E(>3uFc zyN3eoT}2&Y!3PRlX>dN4Kb?zlF{liYRe>Jp=MpSC`Jx)lpi&Tl5WEmRc2xv9s)+oS z4pxbgk=sBdl!=Up`K~w|e91&6obk}bQFhru4gr3sX;y-Hm(byk`%OMzw!89OD3y zI7wRH1Z8?FVnj|hYzc>8(Ap&5!=dm5D|i;m;l~YVNvvGJeUIhs?ZItl>_$+qm^wP* zs9f6N^@aS@x-=WQ1(w_keS&C~#-}VbjL$DsQL5M)@MZX|^AxN2DzZOOvS-e-%hT4CjIGR%!eyt!4 z@pbFB1WV1NS}f5Vn4~H8`z8RqJupqE_vl2d0+aRUP3L(Wa zHjTF|uXoI>>OFczFejbsb{DtMkO^qTu6l3?9Q5^`1n)BiFZzD~O~h^7z!*NpT$<6t zjsdrvqN>$Kii`<6saQ<)OUX1TO00p>d*7ME5tSpP?>Iry94}Rms)`y&>+m&mO&b9Q z?doNi(H*oFiQ=a-X=Fem_hqs@?aVHd`uDJ%g&mr14&>#;r*REf! z;+`Y5U_*b!LbEv=HJfF^+x;(l`k{{zdRpDBK0TBIf5mQ%Hxr70d0c9Z9iHPHU&aRw zJC1J0g?2WFz}HPWF8EJ0VpgTRV5`tg^e;u;-bcjIu;!l5{HF?68FO4;cVTIN1vP&O zxa23Q^&{XTJ?S1|w{iHVH9^JxbdY1HR1W5d#yznS{;rn#j#+mT(x!Ui-t9Jsby{V;4>mLT6$ndD4 z;Zc{-q#D~IHDinL{*usgvE@GMEZ;5Od|hx#U;qbqI&N@EQhc^k(r@IH0?93m?(Qh? zx6OYLxnWA^Sd$W19DXab@RkK<{AEWNPtFcM(M?WG|5oPL5;L#!6{2ED#qHJ1fRBSB zgiUR&3cF`G9QzrZ$?0*`&$L*_j0hjbAU8W2uLHt`3t_^g#5l(Zad?K?8{y+&%E!UV z2~Ca19SKB-`U7i1Db^$p}p&bh(=@O|-z`!D_j)sJqq zvyC8E0s=ERlMx0ef7M$_bKA%jzWZ0O<}zSq)Isl!EK_BtW~!W;TU5y*&H)l3kuxNr zA}A~R_jyZWRfD8$jmxscyZVq=vM5Bb-4XwhSh5h-%XYxA=E>IO z$2e`tkLD3pf0S8u*pjAXhHu!ByOlsYTT*J+x1 zKN9Aiiy?B+e+n0K4NUqrxHwvt83Cpw!H9F50Ar`}Zp-&PB8<$7%!{E}OHCqzw-dq) z=WxOWJ(xqL?57Atr<~P)H_Z_kWO7ZMd%2|X!s@9p)5S>Xgd0kcHc8DCTKm(-mlvGg zyyofIf8^lVQCLlGNLcB8BCOaqC#*r}+@FzFKa^FRjAa#4I8MKM=P*ov~*+wDE>VZD3FfE?X~2;e2? z7ynv<7f1hMT(+%_Y4a3hC-nb}Bl3aav@k#ce-VT!;yw;bEwev=e7U;RB8OA-Bhvyc zgRnin{+3wN3rUXdbJo0p}Jr9TK;}S;J$Ex8TMgcGcKHb*4 z-R2lS9IEDlXT3dc=ttG|nTNti;7V4-?iGtp@StnO*i+x&faerBK&yJiOdJu()!D7P ze?z?k;nO-h)Q?H>S|zmYSb9j!m-iZ29(gvRl-4G@eLNgMDPgnim(8w) zR>rh<*{b@GOS7+1R?LxajjR5YWV!}g5!1~%rh`We%yrX3n3qd}HB$NnUBTdmj_%(# ze1xij^Oi?CkSAfm-lsLu30k|&{kkO%e+*cc_`=NR0a5-4O2Ggk2mrYf#bgT&G;k6n zg+_1o{G4N^G6rm_Il)Z>u3z;?j`*Yv!`qPnl9N_BZP3$h;f2`_4cuBuTf>vdBD>kv zbdp;<+iyIGb_?ISU(v^P+4etyRpJlps!XeX5UP(IzQ75a3vJe?ixR^KCQccNe?d@6 zaa@4!Yz}%PrSe(llnd9#1#`wOvDZV=)*0i6dj*~{!?gj;bYq53WYbWLfe-X_Bm)PG z^sLLsr?Gva0e2L62=I$eXYWxcP!Dtgb`DsdjyPa%N`8TUPi>;HBd+`fDIQW11Hq10 z--O5jf%EGXwLh`!hN>PFgn5q%S;%^OpH#KAV?@S z5ufpI_N_3%3)_gzc6A_|2t9QQo=fjU=q=rA;PW{?UkWXHKKFr!`~jn7nYYn09Or33 zt)?8DJlYRv&Fr=SOm6i_*RNzplBPnW(oWpMYhYv!kWY{KIO|V>2>Hd}e}JV|XMlzt z06&%>xgzCg0jrv+?)!=An-S6T1ZzN2`vl1hL(s+yrfE0Wp_lt=Uo~y-3l|1`6f55G z;Er+7-yF-sk-N)d(!gO9eu{E_sI`AZ0~<1lTxxR&UWz=QK~Kh*iS8L=DKdc%h`_jm zefJD+We#-ivA}g|iz>H+f2@!3Dheqs^R#4KKzpelS{#k96qUjH)xLfN{KLDd`Po#6 zoAK+eYMS!CYPdgwe>g7$8Freux<^a+&~b0aq$i95Jq*pO!!vHF-befi@zD!Z^L~FC z4I2r;m^vfyy3d{PY-?DviQ@2a3D&OMZdTryvnRteL2?^Tb=$b5lLF6Lxi|9|6y#P*+mjIBj?I2dsAmAD z-H}rA{7-BqPfYK?*S|oxqa2wRxf`T6@;qr8a-$||lO2GS2j+`Eq~p>;4>kN81=nT6 zliilhu{FdnLaH&de+EG&7_V#teBN`j+-|XvQz*Kr9~*unI>k0n?@)0QB;}b~C3jIw zf$!}K2-tjXvtQDYzV)K$PIpY&Ut5F=T_Z*v$*9}3K?OC~aN$ANwnRhdz#mLxy0gD0 z16x<9Gog?irBxQNI5Bl(bQL07Sm|aL4H9W=?CVGsieAC?HB}N!z!rl! z8`PT#bzUat!SnYpr&sVHgm6Ojx+gyeJ%DVvsGfi$oE&B#wf0fLU{H2*sLNHW)>9(^ z@m%<7CwAvff2>ZO80;o!{9q?2_ts*1oX!csdIazAg6PBd$X^dq7s!7M0#`h8b40P# zp`)0O?&J*VWMM^-%l~U}iIEK<$Fidy!^)e-XuwwW{`=V6SCr`?XwzfC6p+zqz3tpB zk`uBpCu{*Dtbr{sn&BfnI{$#LE(Z791__X4wY3{2e?<9rXf*ISXOE@DJDB2=a#K@i zK{T{4UbZWRB)WCH+2(XVaI zCVaa&f1o^}c_>%VqI7skS6cYB2Ekv>ztmi$~CA8`qB7hZ??N_vGI)tu~xPJrDh-BYk3S6rCdvZu|K{=Ll>P!I2x z23vXDZy_$@19uTGB7o|)zqX*SWmFLhB3DcTf7MAWoitI}naQo!WM{_8$vuXVkyj?~ z5exRtK=dHAQC~4f^v${O{#JDqB01sRU^8=7F-{MvaERzXa@k2rs#OpLDdg9ogFH(Uw>Eoz&SC@zs=cw7V}vWi_e=Y32hV&x-+F)Ue`NA+wuv?Q z=6>qqU!mgRHS)=JnomwDvorF%G7pM^f4+66l#4Om;Tk2SF}D{R=(&|?uNLt#fwEzN zvSHi>O1Ih^H}$^Z_jSEp#pa+25oh81I?VtEo@IP*fu1sRK<~;M*y|*l{-tE zyr+DTnRM-*?Kv`&#C1c30n;`tMMDLeO`#Z}{OR<6Vf@HSz-*)Z8Fr9;faj?2f6Byr zQWNh<>3zpHjWyX_y!wjq#{7k80NpjOR*?eM#TG-#Q`Q=G)+O7!w3J5Zq~#d)Ab#~~ zdi!PD8&i(|d^DNZ=&!!urMvp#*Yv%Y0kqZEDSWe6;^=aNikeIJ23+Ex`k23oB;d!u zXS5VbsGD?!2)Vk%R{uW0?!2)!e`o61WMM}eqtdXEY7A>>>j$)8)gZs(k4N@=3uc3mUQ0?*wWfn*T@-Oh* zmdr+`%br{H0(je3Eq$qZwSWfP@LZI4r{!Bu zR0x|-Fvy$>LNO1TA|lt-@Poj%x4GEv)A-3+8!SgX6}j_2XLQ!$%EF>u*&j^5>xv#6 zW{aDeTYNFB9eV`m=-dJRhVP2`Wey4e8T#1aT{1^&g|jb0xH1|@e*laPmse}+((c#i z1ouvcX--aR>s?phUd5FNzS?o=DE2chfCft&WuScaTa!Tj(pq7(J&*f~{7hKs#%j7* zRpoa3+;1p>3qcy?<+H-^s_k8Cw!mzR8Nl@w`bCu-mRVHszWckkTTtD7*%s8c_u+NS zmbYOz>+s8J4$ztPBX>NuD`?~bOTI!MB-;UDXa_Q49X&bQj-THAbp7UkR5-OqvkWly z0RlKMlMx0elPod}e;Q<)7T=_UB=7=WAVGi}b^sr|K4`l&)5>;Bvn}-w#=kyQEK;vl zYi8|5PNFD^Di*)0`l_h6ci;W+&fR$CjW9QN_cvTQX1TaA+A<;a&E4+i*X-`r$*j5E zNR?;Bt#H|wTVb=N+EG{gSRCJAQ)Ey0prr1mK0ITKXKh)>f1%svc&s|=J(g`-Jd`cn z-8ZM(-|qhP!#mDL;s_xbcm5_PLEh4kiNKsG)eordX|^YnGRm3s!QJwLxb%$c7Z&7YKcJ}N zhpGuFV%~|f+tj<3CI(rkv!Uz9+YPQ6WGrdGM-;XxcH5#we~G&a752d5l9gc&WST7bpMV}E zU9UZCk0BB|3c3Iebi{#@7PJMQh*-e;pd`WrjlTj1XPMSw4Gw}S-opWBA+ee>?Dge@ zuq>{48h%<*thN1fuv%qQ*6neVaat1J0jvY&yP~SwXcBlX-!S-IZ|=}jf8Wu7 z;&3X9-80?nn!2P`+n@%(fZC>?2)xAiheJY%V@4)-U`PO5(ACvQ$v{)<<}GcH{GuiB z9-8_gT2t)lEg1U<(lUE2+GuRBW%R69d$fkGe|)4?b58@VAw>xE@Zz;lVf0)n2oX#w zBXGn#FLAlsJabEd&DN@jRmUcR&(rmO;$4x_q#*ddEN;!9lBm*DrwEn3T*6!Xxj zhhX5xOb72EqQ?FrXa^_t0_YNTlJ0O^ag43)9{lhd+y|X}H4PlzpG?LHRd59Ze}c|p z8CqaAW^hFd&;qJ51nIv3in!1Cg4V$LK?}KBfFQw7X;50zm8X{4Py2=%1)xDAo9Kt2 zygRzB>Ntolk6|gNuG*dt1%^TG!W-;%V-KmM9bTsBLE$(1G z6}o+{w|fFDS+>+Jpcpo&$1n+be@>I)5cC^(4X{QMrXi@Dw|nX>=+c%QTZjk>T&Ier zr^jAQ_{hSF!=bDnV%OuT2~=lWf(W56#;xY`sioVZrJ?uD;Xr;2?0sXTK?_|71v$EO zxgLV$z{iT^fRe+Q`6Lq?bS&34n4q4Rpqp4=ZY)_~qTi>ai(pb+xuaWve@A2{_|7ay zlNAYrRurfh-GyL?uuwi(64K{17&vYd`!IZB7d)#@)SNIJfgBGsdk!H6o)QD>X%lr8 z@!_G2B=j4)`113ah-rjF(Sh)7NW^p&z7|rp5tV>8Q3+@u31aBjWcD94kf$r`%*hbg z*Ap=CnQ;Im8!deUwS{t2e-JNW->|u(C#WC128zDSPk8Q`b#jHDxN&N@j7hL5aM&+l z(kz69ss2^YJPZJe0^yEFB8qF^`Z^WQ0hVSa|K!_9u*8BrOs0V^BDhDR{to+X-I7MY zqXXK~C);SSjwyYKtH3yd4Kht~4wtfQgwQ}1^wfSnalx1&8)4qdxPkeibvlnOcNjLn*p9{l4;@$%Uo-_^i8mve z%nJ0hdBNA_y#k)dnn7jHAq<@91~!($LWq>ub5FGr9cw0Le_}471L(_=?+35v`Rlx= zo@sKb06#H>Z?yhI0AOX%?WY9bYTE07srr|^@-$Ic@?GHH%p_4*@yg(QT#t}{kkE>U z=r%RBeMNjP64X?8M5eokcpaz)^5n5Aq%O!;&xaiijg_!CNl2nqq^Q_)D%(et705~? z+VmvQRGziee@-kpCBk*=u2W?slGc&<|1OWmf(%|V5sPpnOJt$sXqMi+OWq?&2k@=i z=-R4wT+tZ$Jn%HYAHL4n`0OXTlvTIC4aAUV!7PZT!xNzC3ma~HC|AT?e7~^Gd58;f z014~I*4R={w8rZ-JP-QuuY~Bj*-15J4ub=mhFR~2e_AUE*}O(2N&y?Pe?%ock4_4S zOx}P4m_?v(VaP9NDL1dvl93ZF$*3iTnO?M8!e=UpQ$QXNTpc5}+qR}5;EEhVvYhi3r|iai9I1o^!X^3C zBV%z$e|nqM4PE;RI(aed8oMUUWE7V%O_Sb@4mIqg%DY${Qp^l&X^EgZ*zlJKDyUdG zv&v9?-miULbDOWRWtfBOs0i2lcfvk!cdcgi^&QryC1t3n1jr<-r34XeYbVELz^7E3qe~?u^Q|A>ZYCWzvRCDRf7VI$sOQlbEhG-+@}w*HhW=<1PYQ<6 zi${yZ4b_#*+CyGCnEh9|U$=<3IOuOLrevq3Y|A?}#-b2}McMlgOoT>Gads#SJ;(>j zf78@ume*=FTuP>leYJN^)Md^F!Z9Yx6Ez`1!I{fD#i z%R{oj?Txe-7Pkm&qhCOg8K@u~Lj`!^e+5ZdXoOm2E=O<)$C^BqIN?zhhYW{NU>U`y z@!dW)QW2CUULal)XrJJ(mOA{DF!{n*@CbemQ?6hi%#^&YO_9S66%Q=MrlWSexdK!R zyW-6YM8=Gc#wCXG7HdnSs$={`47pf;O?yHgO1qq>`HbX+zM9GvVxRqL)7J z4 zcSip=Oc-=>rr_4KTSz7N=wt)h55W#O1#i94NBy{tOf6&ckOyv3X z;Nc~ZA-!V5z<&HJ8go3Fp^c26p}*C*oQKTOQddGIS&;{i?EIw*S|Zs@DE~EH@+!xw z%S0hla@tpr3+hjlf3dg|jQAMg&gA^~YeVCyW@c0FJttUcmsWm+;Q|7~a8~hB<$bmb zF!8ARim)qdD)9-R206#W5+kPKZ!QWSeE0L+cmD&SwRTsH*S@plyKaAdXE>xJ%Cy&ed%2G% zQ6xpq4CkApmsj6>_oKV;%o|}Yu5K>4a?EmZVYFpJ>Wiz@#V?C~d%2XBFY5K08vR{^ zjcW1kQrN||Z+0EMZ*OSAn_Yi%y}iG0dwOj**>`*~9lUS4uD*=}H{0FizpwuO-H)74 zpc2|J?k_3==OxX^z~;>AH2(fB!VAzjgl?6seX$fyFz3|85^otkUK}GQ$l`s;W3kP1bQtdwsE-O#8JGy0CvCfG4y#fi~?I z$JymlTf4ZrYj%N{ZgG#O?7N=cUI+A=!amk8=WSYNQv_K#mnQsL4QOT1Rsij=%FQ9P zK5$kX@AiSvcLdwJOKpI?+Ev|eiI?1>-h^|ri+VPPUUyCRCSbJPbP-?R({R4r!np!J zWar!8wP9hgc)M?Q57>W{i_}%qYuEGz#DH788o2MOzX@_ z?H-Uj+{qgz6;BK8N(ZjoK*INJf0u*5M~YZD<0W70?x9!f#ecRtkTjrEM7bG-DCJjMrks)Iu3QW|OMKDI~XBoI^moC}~KifCptl@8_Zn`%#DfQsQ&wtUJx-qqce9f-#8a z>VSwzn?{XxSC4=2mcRv(I;AQc<3^?NKL7!QSa4#Mz#DJ(mta*$yaLBu*L@3gkH^Y` zxyX+7XPBodzIcC0{DtiX1gP0zTP#*>cRitTiN(BS%F2^aqeh=VZ5%=!wtBlK7K%oO zz@@FxI^vv~UX#_L&TWLRS$8Euat)-a%xT?ilzm)xt5JXYK?0Qbi$4LuJue{&mXLFG zfa$;vlFyWH!YSx>l;OHv({c7u0}R5nexQztIIXB>-TpQR;h-|^wwoqcxUfdtg@&%T z`*r+uwVm#!=wlfzfs>>TzWY&$36d3{0Q!~?c-7paI+8FKR7RSvC)15&N(}P#=SyK0 z==Eqff(U=@cge`n>-DAPsA=FOXdGbe?h=_48UYRHCQSg7f33LMrG@&3H~4KsbGG=w z4YdPO?C{W*3ay7GtSU}${tL0kMFgL$4=~N~M4C>pCIv8i9R?d(x`NQh%>6m zewKepjn;`NuQCS8ppsx6)uEQOlPQJ?G3>+(JHZ-u@ZP>JvIf7Hz!9yLRNz0VSvc~K zQFfv~46;Z1Ec)`{B=9A=l`e%>a5haHCz3Pjk`GNjcTMpaSk3JQPqc@Qc5_R8(I^(A z(0I@v@=Q|e-=Eat6sdtPkPj!Il-))#wT^$cB|+kqAA!{+>j^Ax2Za7vfL1dHkxxz+ z$&bOUAvB##g-w%bm7oWuojEq`=DO%&X(lRh8Z-VyAU2bH11B;8?6}n1&&P_H#s;r& ziq`jFH;pY>1`pb7*zE;*O(=>G=xZfZt9l#6K8)W@V>X&OoW3P7V+KAEF6I|(36)U$n}75 zu+P^*SdipOXTd8<5Mnn30hEXF;aUM7bajH6>u_yivTKu5bO8l!+!KEkxRN5=k%R*X zr(%;tQRg|90R^=M{>IoQpVb_Ao2#pm z_5q=_6Hq|A=y2}@7QaMq2{D$CAB*50E2l7|bC*Wi#b2Y-iZmh2caeruYxR(l3_3)O znUdUh6mt3KG1ZZp$L>e012&vrkIdp%Rp~>5%tT0zwFR7Zq_clESg-SD-SjnB*?>#b zIaAdirq2zsJZ^X_5O{Rj{!$dKgA~W-N+xrVi0M%Wht@~4g=ajJ2Ly{us-_Z5irGcz z%uEl}4R}qpRKim-9~;9>8orPp+G6@2U$-|!_Y=Zi`vt`{kC7BYy(vx6U?FnBU}1v{ zRzyD;EPM@xFQtF@2P=&DCv*{1GTcjP7T@p6jKk$&?u`yOo@UCW$O<-*GoScPz3bcS zJync26)$_B5$(F3@&@*od4n4!4gZR)xp3Lt&4!R0;;|!#r@)(aXPY)W3rtCXAisQ| z4PJ$`PQ2?^6p>&fL?narWs@0%k^83JlpLrf_p{sPV>*A1e=$La5}6ORYGe7tW*aLk z?s8>UsN5=rA2{!b6;PVlN}V5m#QHt})yy*Um|k?0UetV&n5gDJLl0(+@E|e6(5J43 zzD!w=Sj?(Jupi!25+r^}k_h9#oUsstm!(fg#hh|aOMdmEjMMs!>W~}*CZ23H#u*x%}W0$CSO{~YNcPU!W zN?|XtE(~kJ!ZjPj>_ImNhZ$d?Bb!X}U>DA|)bPlBR0r`}XZRR{hN+3e!qTk1D)ads#Vt@=j7$cB}x~94jI` zNGnqvaK+5L0_Q52cwwpqJ%Re0?f&+T`a(hup2HnQcmpxqrUN5Sg8I?TP@-D=goZSH z9`1iF!s11XQE_I++x((dvvzQ0yQYbt)&yy)uEVb3{|bDedNjjRkRpT%ggfyoL^&~1 z`A7c8;BFAakUQY&X#A=wR*ePr7v$9uMp8iACDi(+A{KJzwq=6Z<>#k>QR zFz7cRj+gPmv9Oc~7fQ>?tYU@+s~EFV5p#c5ZN)jal021x0YSQLkbADCVf*P5;KDO4 z?L37rRf-B2j%U>)1q?OQMm)WGWLM05j%NKusZh=g8RgB85Ji3E)mSQriftV<8nniu zIqZ)42_0j3_^5|aD-O~lMjPvOv$>6v-|S+&d9&K@(gJh`39W8_eGSrfvtP&j&P;y; zwyS8GTdcKhVli|bo$Gajg{y`14sfavk5tRcQnkE-xaNO#+;Y>*s-)xgZPb;KZBT0> zm&|o?7)b@7DHd>(Sb!w)kA+I=rPE{Oab8aip_F8(DCLowYNH0s!=D)@BnWn?_8DFS z`QUlKEmMy(H>#qW!Y+R52?c^hV!?l+?-HSmCqm(dn}>1mMKKd2z&)6Uq1m4J!f03qgs-iO2LRZlY&GmVx1>B`cJWfHmu|wjRo& zu`g7chg?KU%}rm-Ggv07x!sykTaL~Z;faEvk|uu?D+vDFc#C~ZRf)$`m0^F{ou{fe zs77-(72AkRDD9u7P3bJHXLh(0o2szlPcmm)F!iY|n0kVGe_5p2{BJCnpe~5TMbH|d zW=0~-SfZ4~d<^G8FJ86p@M5k34($##BK^A|ozMSrP|i#oHsxaR19pRA@1xhVT~k*$ zNqDZBdX;-b;nSO46TcQ1 zD(wp{BM1iQ>BEY&EZwP&{G+LC`1&JNOe&_b+BgcW6h%~plrgM5P@{h@xvxsd+<`?z z=tscy!(^Opk^iBne74IaaGAr&NpX9yUh5!P9BYOA+8Qa7Q1FF^=pbVtolQ4sMcs9%3jz zDbZGe1rT!nKh}|~PBm(qvH`Bd;8P463i{_3Jl4UT2u`iXFnvQKR z**%%aPul$Vr?GpC#FB9so|5=Qyo~|Z1z3Ge+z$#pBnN@dJIWlQNW|FbFd^yTjvlUn;)*e`9CUTBR7)~c@wjLP+SB8Gc=PC1}J~kTT64?xDmelSIjM=DhrGE zqxKYS)>WHIrINCe9Cr6GmMDwyJhVf~it_8zjRr}O0%yirN475#hyfcwqw)2V7niTT zd!x-FuwbQKT;42%Qp{Puu*NZ|%;NHT@$<6Xt*iZ+5zE!KJv&!ULF4-D*ULYD_eO~9 zWn-CEZoz-)t&cQfMBXzWLN}nPkY?2o$@X^D7HDe0xKiCK`yx&4bvK|+)UJ^9ZgaP; z+SR*tg`IM_N~>?{O;wmG1SVupsVz*Um71@eg=n%ZQwjKk@+|mG9QP{Fkf)R zgqd*PPq4ua*zlABoYR1P|14Y}!#v!SV}O5<&k52RYz_xU=l!7w1)n&r1UwM=wAJeB zO#0<5aq?=n#iw>vZ%MMG_i+9=2V8q&Iw^oLyB3dH0yf|5cbn2tJLXlt`fULdVIQ{V z`!AgH0u`8E^=Efek{8f-gLu-y_Gx8^Jh9R2=zj}Rb6cgp)h4xWckAnJFS~t7f&hOi zgw@9+K+sW`PXJ|g5-6*aKzU3nXA;QTDToZbHvX8neX&iNBb$Uv4!`ExWFXX1FE1YH zZ2wYiHmgpoLHod7M`A6QcwJUh0v40l^1j4f!NVZNrXPu#>Hp>qBoL6PY3kl$C?k#Jno0M(J2<L|zqG*It z)UQB$h5z`nxyNld(!hIUf-%c~@Ah?zV;^Y{ZYwrcph;ZUOFE`rU+=-pc=&YQeX4&PFObPdb8s@oTpAgYGzPz|^ z>FBmQJkp0!OaZikFu&iA{$zi%S;jcXx8yqKzffp^uYE=Duo(yVZYHTa(GKek87g zjS*Shn-kG+z@E+q*P!g}L{E^70c1+{1(+*%a%k3Ty}Z1|?)!%N-}PfuZ=yjrm}u08 za$46YE@c~E!KU1anDKQO=p$W&GA2&aH5`mV`@D@FznLZrOTGH>^3`vzP=E7@HT?MJ1!oGD{Sb$47PuHE&0@WH`|9r#5*Yb1fNnyELnL59 z5yECkz$&~{&m#e=gQNK5jaKj5)P>`$|gn6!zZYLEnf#2G=p0XEVpV^{jW z*)>H)3%;`%!t6JNU4tjAhiGAn6e7te&@}BMHSpKe)$JS~E*}58+P3w!LM;S#@Fhv8 zO~x4xxg$1!0yHvZ3)U%4FEkV5U3Xc9>zJ`vT_azY>&S|$4=GZR=Epy*7cV?``UEe21xqBL9_g2c&(q!o|t*BiPeFnmLIq;UD-h-~8Y0yVbPe_CQ7oI}tP`TGg! zo3ul0^w-gtQDhmP_e0z~zB3+$SQ8^dJZ%ntgw`Xq9_ns?is6MwC5rsq5)zZolPDE- z(1QhX6Opi@2FzUVso96_8AU8W81ym?>x4ljVUVZ`*3^2a+uNR4Y7A&j9ap>Ubp)QK z8%e?=mz(fa-esAx34muLr0V<5W+oZkllSTE-p1#YW_gZN;BtVo?GTVN(9dLM0r5xX4RoT zJiH@&x3h^I(`J%xxvkbH7tSovI95)lY`96=f=18!uAfH09h}*duo!cgCgLXH3u(pE z?2I29lX9pU5H$IQ%<{CvZhLVxS3}wq1FJURxv6-6Zf<<1(&k9iT>xj%jV%K>NT9Z< z+t*2n5+wBZlzNfVuG6!_Qc%|tQ=t`^I#J0zWaNy6F*8|B8O_Nr7{Mu>jPZKvEf;fe zR?FiN`_p{}J(j3(k~<70#~@KI8)BK1b`YqiGXag^u9bG~7!M)ec*>D04r9C-U#&M$ z{16*|O*(W5uIn#c=zY{}7%o{gsHmjl-2jzP#3dajL5@MHi+Mv_Zf}viEoRRLx#$IS zw3?=Bsew?1zmN*Xz{bAIhvykt3~yjYHV&D+|Hd*uBv$uDmr@0L`2K^NG3>4n|66&xtBzI7P!)-p z4dTGAVB6=}pdLzrd1*n(R)N;_j*zcz>6r{=XgpQoPecs%Jd}66Wa6|8J?c30xMR?N zBc{+Z3e^CZa{0M(sX)wTXgM3rQJ*7LYYt!(EW~HLizxuDJ;--a7y2CXE}xPE>9NdA zqtkqQ~e?+1Nf$Dj3h6N0;%`sb&O$g`!Z2aUDMDjVdS#MwBK);pi8{l+3*DriIyCPAg znURxxOCKFp!Q)+P>g(t`1s6qsC%6IdN>|)5Klq3ri`(%olMSmZh!7ZSk3@WTpC%iE z!;XT(aRp6tzqv#23+pXJw29FK#I;5N8df<|`YE{s|Hd7t{d92M>|lV$^GtRuYU;^N ze7LQ97ggKNOwwkO<-(q(ih4n(7&&%ztZeA9-WH{tgGl-V=Zm;GVAz3w;%a^1s(^FP zO@3*;SpF~^KdibF?qXd=7EU}|&1?>(teiC?Lv$XG-4Lpnso(XJ&HS-T0>lHT6U!6W z)G0+kwz&&2YcoFRuKbCMc(y%!6z(G!Jl=n~`oKIZm)o<#Fl`4{xljwt9QZerg14DE z7Jp1<3b<$D#ewbIf*tyQQ%mPW)#Bo*PQlI@ox&+&cT$P<0lts3zr^^%ZUB(=-tusTD43Xf$wJoH zo_dNc%tnzo0Ky@zVP%}3eub2R5>zV#jTKEYuGlQ=T|b1RE{f{S#H#(lDEU}~5R<<3 zGM^#6W4=g#j5SxM;i)z~$4HEwg=rTZ2MNm-eLc~>DqnN0rr!@w7G{Dkv3xuq7|Pj@ zx{phxs85HpaHqg`4q{@fbz%3=xr*HdK&Qsa?9QpE%c3U4+Nb2T@jN6E24vBEoEQyV z3?p>TX%<%j2x<0{5qT7| z(_|zC0yH?25e6uK)g0S$hvy$kF zvR(JeJySlF$gsKTBC=_Ta>5*{}I~23$!DJdlFB zTXI@_7l5V=V6}#Fhr5!LMgiE?GQYOW?8u0+5_cR{eYekSCJEQMz03%DYWd=#1mMhY zOd2*5$wCc(D8Uru!u{^Cs9s z(|$n~)e6{*{!cMYmKV~R;_?V7F#xO$u@2P$lngSsYwx$K4BeO^CbIc|E-Oo#_4nVyn>a6O2TSdx`W~Qt z^79^U7z}W82e%pEhI;__b-UR#;Wj|+re^`903kK!LP$Igm|%`eMmYEoUR77!Q~&bS z{q??S!wrDzZe8!|04ZoGzwB<;E-w)KH~!lH4h!&1?H#Oub9N1G=b(7^{pGuVy+cMU z7jz+iG*F)cAA^SEOfIfB?|%8UT&&>ckBgFUV2nq%bh9X(Zjy`j;^%jNn{1(|f-NjD zk{;Va0v99B=C|NPg8F;W762V^^Ro}~5siglIcrgZhGEuIi4!2*5(p>D;vY+^fLxy) zg8|QXPuuGyXT|NV-L_t8c(HCCaIOZH>khepqXZr>gqyJYUs`0xMqeE6=O=%$0c2L6!dpOM>&D4(z49~dZUn0Gpmsqe;2K?A4clql z+x-rT0mgULZiygX1F?$+hIa^o_K&Ng3d`^eIfDbff`(y``~4y16$lCM?|anggQHBq zbP8+)r$RUZ$mY)DXCF2S!~$*0h}3p}LbGNQG{dI)cgCO!>b#=>+fC+p&b|zX`|j{` zhJYdN7XW=TZ(${o!W?mNG?=9UgWqJJaHD>~Wo`pjs)_0~0wyQ;_^ICKNT`V|^@M^G zOAbad=QE6f0Q4tIuAHnn{M%lTE%*{t?7U5~1AT15^l%Z)mK{;u^CV0L{tmW(%+4Dv zF2I+QM~s#sbhzD+8r6bg5!y|&Z7zZ-Gl~d3G3OiSHf(}9!VAySyF>eXz`hwmfF5Rg z@B$uk;L1p;_GZQb6zaLeOnl){7y+DXMjkxzi$><-f+}z-DWV1@*}!X?4X9MGbYMzU z|C~$}1I7o#X+Lz`J#vFUGT(-O!DGFYpb?$g$7@vkx4WfeMNs=V*{gjVgW7*|>K-pZ z-NVzM?fqp1JQB9=wMGD8q&@vBuTd{cpr`liV02p{w@K|aB1~-BE+-{WzfLq4w}b6oY~#U~0$AfyS^&qMWfsA=HQ$siTvJ61n${4s|XP)96u*WEkQr z_GYg=sdXWQ0;DEu=IjTb*pDe;^`KX7+MOq7wSDr`9P}7W-Z}B`y37r?S(^e>L_CaD z+31}R*c%li8qX{YV>6n6VHVFV7qTpiZ5y~Pfy#-E2lj4(x*^>nh#|oBvCpZ~G93#)jzW1o2C|4?nssvYogekIgKvsrLz?tFt z7|jgPa&U(NqVdl){&CUdL`Ql{3WIgEABZ*FoS^}@Wi}dyb7?StXTuoyB_=}(@nTZQ zDJcy2z@oQ*Dj~%~q{OUL9YSF=crEsn?C22`2U#^m?TeI)o@9Xrz41*h$K#S^<{-%< zM#{%1{l)ZfR`S$XAv$ua*OQy{p$6#qi9!3TlLhB*v^OM^d4foT4iuaB!?~D{eUz2+ zDiho(Dra+Cim=6hMY1Hi;R3xTH=sUsB6?332GK8vi-)Czz;E5Gs(tHxY+Tv;-@*6x zmvgQ+wMZ>?-1Uw&C-~mrEIu~-+gu=4!r9Ghtn^tq-Z3U=Nk`ejKjhg~N&RZJ6+}>W z;AsOT;ow$G!j6wlgV>_I4>~1gJ9Nl)prS#K`VO-Y=%%TEKA#ECg{(s7uO_iL%!F7x z7f|7`^eGotx>|<`A4S5$UF#(rd5wn8laI3M!hqc2g z9HDEr*R?;{O`CI7H7I9GC)Q=eF1{Rb$S&h;h|nW;`8@{SHg{}_S-QmY17j7lkDLKk z_@vGe(!)y3Q3RA2Q^O&;3_%1@`RF}0X1-RJsiKLIWC$fEMaH}vMoG!&%ffFuPK@$V zVES8s)^?wPq!Xpaw=7$B*}W*sIU+V$QzDC6BabLpOek?8KtUcaAk&x|oUb4!^q;FB z%d-&9zfy$jw?H^g5sn^~2IKIla)nfo`JtWx<6stWD8fn~4#I?Y%3yH2r0Ab_Scb`l z2U0oBJD(js%&1K5de)oF3no27F2yOiWM7bfO#o>_CqPO(JQ}#Dpz5sEv!SgZC1(EP znr|}i1zw@Yj2OgPT8%^7tlRHkCtx@TjSukTd)!39BTZPdsjGf@Ojv_SBFs+wv{;{l5Ov6Z zrGXqzd@;P8_;h%=ZNt)S?cx}ial#jXfl{#L#s>IuU`2jB z6~r_AZlzuKlWS`5BmutBN>4fpZhgN-=WCfm`Noqmq|ru1{9$Q$;Ut2VNd_OSA5|z5 zwZ9em9z3D_pxwGI4@cUnb3GIkWd-cwZO{0$^t}u;#`8EHnwyiK^@gjT+0)A#3fjmxOuWSVZvRpbN_?A1B8SQdC; zLC%cwV+fR(5G?kzY2~$(PD-aR7qwFc`x2zcJ}6EPiaDFb}6Xj>4 zJ#lUe(rbt$VT>7npG*XXVVsURa9joeqmGR*LMD}fE=;%#C=6m+Q65x%aIVj(JN1SW zAk(mK*FWKVq5W0NLCRTwSEwA7HecZj@laDt&~A0UrYnIP#523+#*V3qjmtvDc5oag z9*2++bu3*|rW^0kt*ZSvc3bBfUKsGdJQCPjqGLSn`jGI|l~0$#D527-zqj^-Sn9#6 zKFT?Opai|4pO<~l$T6sM19}#)208?cMW!qxnH>i@II#yrIX54FFH)O{GiG2c9D|p* z1xrdxW?i75U7!%|gym}=fVuYC&%@2If!|&y+ap2`aWZNDebz@XBNZq>PRAL(GOx3& zFw+EW)@$R0$3oEa5_Ej7xc?h|;xT)A`~QCWw@#plxrPgUB88&I#kLD6cwbVHB@2F; zEHQRkuR1^J@+CNb7rrXN8kAq+l^u?UZ(p*0n!#eqYaJL#N;_^~_?i-#6Mtux;F1VM zJ;Bu(1XrgBZqCY?$&*P)dQL>B&rCwfuTQ#;BU_z^Z2cT$6JJP=IV)ytur@e)Y|s$n zDEZzBFRwxd%PpTN*y6{V;?4Tt08Mo2Gf{}mX8PdDgO1UEiK|-1TEpXQ6TW2$DI`O{ zuuj6+ObV%)OCqVH&!z7N=f1sr@>LJ^br0U{{6{XwLN9DpNqhoEU|5iq+cwB{%rj&^*pA&RNxL`*= zHApXWhW=LpUY_G_X}s`1U;(0lDb23#n-IuCivw$bs^I%(C-A z8^Tv4bZi)nzp$J9mktoB)CyTups`r|I+=xUW+1Mvk`f*0s=KTlMx0e zf7Kh?a^tr3eZNAF^2BCvzf9Vf?Idk8nNBf)Idn!MWr8?YpnPa|@q&Bh2FVVZo)$tZ@sYZ6>5%+^!ZsE+2OF_Uh-`@4x!6*f&HVdA4FGiah;nHP7>BS9$sa%Utp;8DHnPVNkemRB@e{jHj zPZgb_iUgwQcFcbhkm=09ABK?at|VW6^YQ9Nn&mfp`imbx$#tfTKnT1y?O(zuJD3+x z%3Rkd^H-Z@;G++a0f2iZ3`CF15xOl@z^YDF$vwe*i5X|x7_Y{IhXN{`S6h8WcT&d*xtnMR7`*ra|t#yvX zY7bEWce5+*&# z!CgV$bL#B$=rz16H5^`UHq_eIaldw1#7S#<&M|@TpnQ})!3CfZyU$;dEZ{WfT@)H& zll#bvKyL+XGXj2-?~7)iS{>x8HD@x19*r7{6bn*%FeWgEm}QQhe;?0b4#4&8I`F?# zbPl8plB@hk=NhJX_wDVw-`?TbWDCAfmXKhWho@fLZ{Pj+Gh3|Svc z3)uak*rE;s`L%?ve;LsNY^K4n7n$l!pAUz}$1BZ2!>2@z1T(O=OD~c%BfAZG(vPLL z&}lnZ^Nv&g{sEM!YZ+<;1X!I;bU*}2Ah}q6EOt+^6$FUnC~z9;3St$W+d6r0IF|sd zn;7AvRlzpU-R|B${hn9*vMTxocTGk|Ru~5&T8xkE4~XX?f4MZ^$9HJ{M*_`Y_&T0K z^Jssd%*IOcE-VQf1T=zh!-fSdx2GPkHp2697lt7O4fPa&NE&>PpYkUD$)o1 zJ_4LZmlgGe3FpKkDoJ4`;&B9r%B+R-Fp3AEq!XfNUc93dXC9hhjhFYilgR*@n~_>1ml;D2jnn7tIQ!hzz>X8ud7wLFY78!5$p}z#Z73HWlK^pxoGbx>mLl2Pth2R zZIBdYfBf=55URLi*_)>Hx~?}X!f7PLXoVg}LiM}5CT*UhL5d%`g9YtDASk?#tY_>9 z0vVojwkmfj(|w>M<*{_k98FW4ZjPZ1NJD)lL!WX?l;TszgsG)WGqlzIBHNQMKhy+9 zUUe|(;NaI)@H(1kc?%0>u%A$=!+A=#nT&aHf5P4LAn7|%|7nf;@T%vMhTa3C!87mz zzCV!S^0S!d3T+d9sVpG}|2Wzx0cl6pzmdyis7(XW&4dDDEeYQLvpSN4Q6MgJTaum? z6Yi3Yp9%%Rp15qklNkvV09q9#`LC-;9ypqjUx5Bhrun7ycB-_U&3m=+hn18CCs_`m ze<#Bj1W$K(VF#^?0NnuKHFZ7$_XA|e{T(O5fL4y>Gzx7YfD$8Dc9}GYoXfa)YX;GU zYQ5EZ8jN^3C!$q!SUVZ5Os~hlzs+~Q910rO#*Ngns;Q@w;c6hm=~FKVa1!bxv^xqI zrqC`Fh`F9u%{<=CbAiOO?5SrFFU~Bj&aTn>)1{{m# zunB&hj4>O@Lma1~zK43V2?3l>^xmBV9;AQhEAr-vT4l95+@pm+uQi3QXu{Y9tsOPd z7zxUPUh`cXvMTa^NBcD~6C1Np@VY6mjzJ~KB9CATc?6#=k6?SiBjFRuB5X_|e_zm( z)8l!L(IykU&pFF6B1G%otm_hhZ6d}V@`#_jTD3gGKq2cnLoQ0SQyN`^lIX)}A5#%s z-KX~^vcAZ7o2OO)hXlcWerTfQNcQPaibT1iTsE~i{uK;5;eFUVN*iXD4TV>+w-r3t z&YR}2#Wh&VRiPKp1~$O+4Iu&Ee@hzdZVv{wTh7Dw(89!b#5FzxuH(`+1XhoE>?UR8 z&NG_sBTa8lG+~6;IZBX$M;8)g!LuEw$Dk{n9&=#%=}th;<;Bi4&j1%{w8IdRhPBtD z3>Eg|v|q|lA)&TN`r|AW4odHw3)s3BZ&+L3IBrohlfkS)T%kQvtsF3*f6C2RcLbz? z)<&lcTSU6hmD3|c{bvLN7&^XBBqmLLBRi1Gte`355_Z-jGc2>G{4o!TzLPgC2vNGw z%!7Oqa;;UwweV$2d9r=tPy02Ag)l+hM4ihqj;Vc8e!{#(8Py@^=`!|(XgsJ!M7Pk1NV^`fBW1SN#~A_4~fb^b5Aq5xWn-w!JeG9bux{6V&6i8@8w@p zc3qaBO;w9%r;e2+!dgdq6`PjGlG!7L)A5G1Y)DEHbJ&^2g>_jUUV1qNh4IG}WYZj? zWkf;t90gen(BL1cLGL&bk3H!`JXoMin9q=i=NHgfC$i#NtL6Kre>RroLut)87ZH6x zjXt2jhJa&VRrQ`aM;J~y5-vEpZ=U57@)cSgjsAjmI!o<8|jeEZ-j@ zK|03;2sI*J@I7@1a|X*&x2^~b433PJ!F?flZbjy%MLJC$%tao(g>@c+hM-boTFs%+ zmr#Hr6XJ79J$*h4e;mc=M|PIJ&dv(5N%oAw6B z(E4EjD(U9PKD;=JSK>l-2vV~)G9Hr#GV^j0KOxoxuV)oPtuY`LddQz1dql^fa&r_a z_sc=}K18z^7#gWGs|JPQPy2Gp4C39b3KYIgB8)t7?5Fs;e_#G~0FSAxs}Nw8(O;9D zUynn`T}y@F;Sl$+n<`oM$hm%|gw$uw$rBZ%s02Eu?{f&gH*%Xcy=p=zc|^BCVqulo zpu+mDGftFHZ#I+=ACw)nd1~}Es_KpV0FRAhSm?hs{UCZ^v=TN>Avd{#%a^3nB;auuS z$ohbRG#s)mLUKjC@Vi5+M8K8=ID4UKXbf=mziYxwR{J>#Udsl)krc0F4M$) zo~U6>e`;8((}x{VHlv1Na-+rDbvGiA4L#}DZZ^S5HB?TaqwNGRZV}!C6@RHfVB4Z8 zu)|D@+1fADne^@qXVPi=1yDB{SvFIQPZO=b9m-vCPW6)Ttgj2a#&`5QLtz2(&0SfQ z)i3?9Shb0-A>e?GC~dGQGt-alje~L4izlw#fyxW($mfox$ShOS`Y=9I zJ1ZbY`ex*Sn-};Eoe+)jvO1-WGHfB<6=FHTq ze~vY=#GN6U0>;sxzz91;7uvIO9C@(=6^+BvxED+h@9w;yD$hAH#kz9oGE)s$J#`}l zOTzk_P!wnc5Sp66>g$425nKZhl1nmz5m+y{e*H%koj9O-0F-eH3}IhCPBZr zv;1cbORZyBwA%Aq&Dk3e+x(SAlLos-C#@&ypjq^jsYWn1}axO(y!(Cr@&=?+X`BT^j~M zfvG>dHXH}1xB>LHhC?7=|Klr7e?-25s5-r)GYS5oC4Yj6)8^YlbFYrp1=8g<5v8uh2#sF`>VoWtP)rJ#Hk&Ipckt#}P}vO80A*xk71GBXFpmSa{VDl5@;Wq$p310V@dASKyOw)SFz zAPh8sM)%hrT5qpjeg96Xg(FULy|}tvFd>N1cA=FaT&Ts>&EmJ^KX(_3Ew}#9ExGvP z>gVs@+2o%DBb@044XxjPxqrA6hAn?tZ8lXX3Zk(gP-s@|1-Hvb{IlJC z3YFDGUG2i_=iTbT_tLH|F4=OAaxN~T zY?q7?r{a7*TwFrC)$Mi%Eu~P)w%)A5v=~d~r6kdkck^mv3%bz68Gm8@%!zUaIw#V} z&}w(MJcbA=7fGA%V0=fHyf7qFM03^+c@C5M5}G~M>vi~iSK+4n zonM7-`_-xm-zsS2wSRy~N4U+kAkh~biOVPqSNQ3AyV=xj{1AJD(g*yHFU5ItqIiD@ z3d`t-WW&7MQXhg)%U^2OB(W^rv^YD7s~9J<-ujbpjg$IR5J)Sc#Bi_+gMgk564$q- zNl`*U`1y6|yZEr%RyWrb9&wbgZo~e8wh`?{#~9|(5NIc5uzxv1_BKZdusQN|sH~c> zX}-EQAW$9*NI`7FVd=z3ZrH$KGZbM~!T-BCYo^GkHm^f=1gxpI@N+LlEhgU%y*$F>Xw5AN@t!K zDg`CBxTGMk?SGAxENh5jV=c>V9wnA1(>kG>kB55!`$gT*iK2y01hJ+c=-0yHC^%L8 zq-_viV;gKfVadZ0&rU=rV9Bv?IEZq_ zBv?XKKQBCi%z3#AopDR#p!8Em%p5slpl9Hu(<7E!c7L1_xcY3y+G7B-#P8r%!XjLw zIk>CpCcM_o_4@v%Zax+yzhqVsSmL<6`n1&mW2LEE{)DST5S+@L676X4@b zeG>}Jwhe{ZZ2`EZ0LY!bEt2xEEuAQF+}|maO|`D~QMS5`QooH2Iui>;LB#9mUkxn3 z8fjY{jeqzC*Y&$WJtgeA*xyfKhU65GT+Z z8w@GXtv3P3j>L}A zgX5$PjK+$#MTqAv3p6l}WhVl6WWNp14;_kzav$3(a0151=t;E2G3cf;SA-OJf39|I zeSckl4#>QX3Y@r}(s_nBf{S_ah3U7omlis1d-q!ES!f7yjs;z|1o?8HuenOG7{4c;ejztLIJ4V-iBu&0Pmr3$$zeZ z-7x)_yTX`;*kKRQpJJcEAVl9GD8>~k$J4*ysH?UdF7tyZB%dY-#q3}WuqPN-n>bT# zm+Ptx76~em3V|lqpTZ}v7XE{m7HU=xo@a!b#7x0|+=S0)VVY3v*Qylfa|VWD08)QJ zB25+7j5)&6m{(B{p@~A>hM_zw3V-j>wg%&?B{6CQ7Eq*UbA7QvFb>9hn9Dv?c+76} z^1f;7b*QRtCm0fR_XET_a!BN~b`*UaL>&-l`&bF(sX!PIJc`u$5-dMN@PK6xfv|a? zxICQjJOAKGVL!p911pYjF^X8`)SM&okaJoN4F;rLeGDUail=&|Qr%&Ls(+xDUJ2pt zI-)aZaqT5(TBw+UXvi3`BS%0FAymM7y(p_N&c52Ly20yp@px0P(+4DA25& zwMW;V0Tbo;Id?=Ry(0oIg#H_0 z8TxR1^@IXgL^E)aY-A$qmfW~TUhw}j?Qz^bFbmBbNIAYRt7PHgRNCIzTl2&iZ7L5)9|L+-? zlv9SKUj7ib)g?R(ss{l2OVBXaYl%=(G&GKi*Cm<0{8TiXushP8=1fK_KZ3dArT;6& zdc1f}07eRp_}4o?J*n`Qbug6kOj_ z?bh=dP&Xgc8VexLJ!v^|MdXfWtI>zQAi~7$HpIPraA0S_x7^Hg*=CN5-jbBwB9D0Pi3WAG~=N}dwT{wg73V)B#TX5{~T6FA|A$&fW z`MQ+CPN+I8NKui5+I6va{s!l#Pfx zcpnjWc<0UtbE8Nkkd%%GlG2I(9;OYiVTS??hE}sAC5N3ldgr0j%NNibe~ke>4=E;{ zJS)!$q%!PNA%Du}7i^!gPr=6d5i(R}yBxxD7`sU6<9ZW2;@7?bO{q?xDb*}Z3E)(+ zV?5<4+MJ(26}FWQ#3b#BNyZ|Fk9D01p=t^#G6_?+?zvkEMoEZlOFI#A+e8yyl};ui zSqb3TzCdU|H5-Kn3^3P(sTRh~m}-m+bQT$uIZR18n12EO91c@b3qhfI4u^?S2*;ko zVV*saX%16Bm%Ia3f`DkS5lqqLzgO2_l>x^1J72N<^}+>2QMXtdd>+N?XYjf%!zYsC zg)AJNQtTZF+#(6;-S++v#*L8%##joD#wax);jg&%oYg)Q@2ZDY zDEZ7ccy6}kD}D;y^^w$Vnb~DYRP*J}s%h(HH4M4iqZ0(oJ438eN-Wj0v<9dvWn*U5 z&mcS!E)`z`?S-Xg8=eU%x9cbcSTixY;`AWE(tlZ2PGWGy<~L3a-eO-phCZu(cn0x( z;Eb=`kTErbrUV_lbp#z0y=EDQL`CSZxsFXe!U-)({4XbZI8_t0kxh8Sb|jH^5nWXW zf{iTQ5D(NR64mG_m0n&2+$SLpub~GNR+^L-gD<^a!wV$d7%EOt-0AQ-EwS2t1De_*3xT46(Z1mD4}0Iy;{- zncgVv02=eBa(2_~bw{XzJ6DE3fl%#xDu0u6&~HNDJ~hD(j*7{kY(nF8cNyBHG+w+o z)Oc|?b8m>y%*-=+a&%J(U9O8$6%c|L{`^RcDS15J2Bbpm%dpAfnR}$GzxfE!s_m#nCL-HH6E95dA+<=4xnTU&29@*qGK?SQ z%RtA|gdycGK^Wq__J}YvlNVG{^3$VG|ND7uQZk#~3lCQFQdxudV^Z3F$kg(2L!>?CIKk5Dll&(B^iVvB z#=&IMl$(-@ckBU_Fw(|npZo*O9&%&B9P~L3w9+JxqM6W!9pO9Jz;}3QsGjtZ;2`Wc zad4DTp@*M8ez@RKefp$#+NDoX zozNfn7U+*)mhtz&n&&`gl(ghCu|h_T&m(IP@IV{hu_XAtoLnO)1o`5~1dL0Pn?i3v z-uAIu8$U2^RcY%Dc!n8wZ_lY`olZDnM!Bgxa-f1i3$ z4_ofRBA0fNERyxEVyQnpeR%wF}V8iCvaIWT}g_Ngtldhkr$OvsFr` z(LcLlKh*o8sfW7iH~)V68*f+fE=_5B^03t=f6kSWjj@uge>oNHv2Kr>t%1>Sst~Zz zkBw20AF7V$`)c5M-){G~bSmnWm-yF4g^Y{-t!0$XxBk*MZ%EIBN#YF1-YOICY|d2l z#R0E#Y4nO43jFiN)aMVoc$eu6Y2S`}^VsA&-uvb9^0L|LJn}u9Vbu=K&@K}ARN&yp ze+JfN2FbHJVFqBD8NivB&JUiB+WUr)hf^`|Vp;9$5=2Ua*Ki)dZB>9K6ID!e_eL9AnT3;W3)=0G5}aT?0r1=i z>4^XRBTVixTz%u^@2$s$*RTuOLMU)ze{vhO8-*bJDFw~*ugIxAR@0?-*{~*wo{%b? z??#b27Aa2cQ2_*a)|;Td*275_!gXYgI5ULvCNa{GtPz1j=g%_b&w|_eOIxxLDK)bq z1J2}(1?q|F?$*v=-RZDCV+ncQ8nuhlBoo#%Mmn<>SjF1U_LpWrQc?O=M|IDOeI44flc}VR+$xWLh@;_5!ANX|j@kOoOTslC)%HVo*$+J%`ijAysT#b-e`MHx?2grVsT*F z0lY`5PSQAW`5&;#EHTj+&zGWLtD@v9Ci)$CRnzcn>j$B<_|6Dq&KkTS)B4I1${(9F z!%zu43Yr=KG{Mk~L=0nsRkvX$YYYH(RNTuk4W?Kkf3xitF5pmv za9jNjVFhUgN_UXV7L@*iq4zratvP)jXD$fu)2(ooj@2Yxicxs(-m`acj(~}<5G=X& zG9j5lO(7NG{^T!BDQC^Bn|AoHQzpor#vHND(%9u!afapSL{d&mxWgF_=X5d|u!7w& zB87Gy)y!6PthyCpDVN82e?Cg%EGYI$URfG2z9l+ck*NZlQRoSi^xS}IM`eMB^qBfG z9eqA9Y5vj)Cb?173oo-|jl+W%#tO0HM8{yuOY3;)st`KxFgw?0&oljn59U$9KR-1m zrNN$b`i?>6aRN%40*mGtfw|9_u|&bkN)ZTvLz2s&M!b#+hhf!Rpq@0w{Q+6P>7l+sZ7R(q5R{KLiw2;UnNlgv zsesvd@TiWmw1X^-NR(F)MNZ{-1;8?2!o)nWsNgsNU>aUwG~Ypt4ve%bZsDLbpLs=+ ztegVngE0Z;uvX<7e>_Glg@1y0Nv@FDXfh22i9$srC6udEq2$Zb5c)G4vKBzIthHu2 z8rZY%S&oj4%kEhY-4H?!fJD}16Er95D;MVw>84|UWarMo*RLdC$w*%*rh!$A zsVMt-_{>$D?yh)(7ikvnoXLa2-GhlUm4)na!*~{_7L+?fl0p+GsMp-r=-8(2eKpPW zcx&D+yRRm!f1>PrYEp5Yj0jxjqo}wp4>Fwmv;4>f+%U>Fyt=kp>o^5*E%en^uNVTc zib&H@aXiHuM_?#AEWRz)ZbvR^V7icHsl*Uej6{#Jl|TrOcgQn=n_n5l%@pWjlj1`i z1ZwYU5UPw__AtZw^J=Pv$}IhVjYY=}G&?sI2qVtgf9N+1BN7jQZw{Ks`r2%e_!S)Jl;wyc{_&rkuOg=EOxo!1Y@q}=(Q;OgoM;xc_Ljd&&jJT;!RX-mPLAG@Y{mUZh9f_e|hSuz+v@XATi!6p3dPZxHU--BLHVl z5(J1|eDM3}?_XqzS_;ij_x16yI3By|SfGu647&yTpd>Uy4~dYGVn0HlhPS+a&ok`l6A@Va0iT8;D7fQ`WM+yr7gtv4O z!brk3U)Kvl0p)T<%1WYI=D5ef)WC2Qnn}_y7`UiQBvK^v8WczDy@_QF-#nmb&OBN^ z0%CW!mh_rQ zmVfYDFwQ7p>0OTnId+T#FP6hDav)visrM`a9w03wbv!i76Ia|x&ev`iLLWe-{8sUi zqGgDxZZ`opjNzoTo?U)px41fbxC`FUUG1Bl&paWd`DYB6FHI%er0%|AsVb((nMM+O zxMv?aw=mBE8Qf4-9EX4uW9nXfmaG^YPJiSJGqbW%-1_Eg0X&x%!8?tPHCs&2!^R&O z7=3O!ZgRFcV-l#Esy(t}jgc-GEzCS$LPZnoAK>Lz8`?M~0QApW^E6_f==t!H^X+~2 zl^2W3vCGoS(}*}x4nL4^@Fj`?r{JGixKnwsVdca*Nk%X~qf%Y>!h4i5e>-CThkxB8 z&ww3Tave}L-1lR!G;E-{B;qH8n&LHv3JDTUg$7x|oWO4=>C|nD+J&a~pGKKGC8Y~4 zQX>Vgq^$L}0bfNIh4S?26mVW=JNcU!UGDjJifDMub0diBWyyuDAL`zUKV*dOCT6Y& zD_u~lNlBI?SjRIr2?&;7nN~a2-hbnl8AH5c&~O@93X`A+ZWJOW*pweUR8*ni{Z5uI zq*^CNFknFN--5LM9CY-^sC9S?1Y>#HQ331cVf@5F)&g_V5XhyBoPQ*lb$?-SSak9g zh3U(=QoQpqB_t3bMk3Vog#)Pjz3$&}A#$7~Tl>VCgkm0}8e~}?>QcEBAgm4H70m+< z$AK}}GjGjNPcoHq0nd{}e&juK86<)Ao7gzoXZPkA-^$*D~sDFZjKXx!mx!lu3a5flM#6nvpKZ+0RuESHIoqrD1WsX%WmU1^4?$JTPr}K79W=6ox=bDW(K`G zz#ck4AExJ^M2t;DmOOfNI)A_QqD3j_H2R|-M*l>2$(EORs_>Cf0sYATde=g|fWLAmoYcq4KiLw|A=&Zl>C| zd)Q;GkOH8ohzdYoGG*JU@dJ4pKrFewMPz{oTV5tN1>-Ccfa|V(e?^Yx6)5`w73oa6 zK+**XgjhlaC5paj7B`T$bz}^V)N`CbO{#|M1x(+!cs<9Hp*sq6>VF;b@r`F9wl^}V zwr1pPX)FmuEhIq)FD0RO=uzs~R(l6V=*|RJ#1HR13YD&5g{J$$*!Zt_CC9Tz{Ky;I z!td^QtQc)la4|$!*>ndsu%LcF0q@p|j##UK_%J!f;dc znx(PAYTd~)uTn%n{H)MSs}l5;CxKN`L|lBGwMftI1J@bTbbn<0mn;bNmAjB8s4Ox& zc!`N^4)Lul^gNBk1tBLdtb`m~dt$$a;3H{?JD>UH<`q_af{}glRyc!4x{kPDYpKd@ z2&uowmTZ$lPGL&i0&xK@bEhC?%AI=IWujds-NAeg?^(usifBuoYF&gaYAv{9G>X2{ z^=mnT2C(>V41e1-hU1Uf)T+hD*e!tT%p$|eBgbG0HhCOpcMUKqAC9O2=-N zEltj>m|Q{n{(b-XNpg(W$Ppii%iwPCL!hoBgKJ#KHDDF8 zgCG~Ncutm$SvBotlJE~n0@DJt=uYh*qbx)v!Qv?AIa_`BVt5FIf8>fRWzy|AOEC5< zP{|SiT7-4863JoDeL6oJ6gnldsFy6-ZOOiOTf}T3I`+^o^=F=N`g&k>J4D_GX+5u| z?pd1K*?&bmuh=B$LaF{YAEJI_lRv=|=fx^T(7U44|1Y<6$yUBwVe5WHSm2#(xee6z z*M4W0ZtYy-k!J_FH&A$nheO|SO&5}XlV;`8E&ZJ;YQC}fJq_O1I9W_&C6Vzuh?>CE|a0}=R$Kl z*OCehD~W{WE3BpjSBck>&YanmnAwpJ!d!Ylrvw7RdJ&TF&o`wF$%KS&1gmD~0(;!$xXB@}{+hpC0FviCLGIXD5NTqj6S7r8Z}ypR~i zDSrrtDp;vxLoO@DDyMB%pM3SBh-od=laQgKvJ|RMn}@R0fI)2yZ{C7%mEI+7k|}`J3J$p$LV0Anxha7#l_vUnd{intGPF;hYTi3?P!;7RCk?rxBcV`TSgv#@}2%Ot$+@f(Y8^{G7EZaHAg# z1El^ihMrnKyq^(RJjR(BU@IEcIe#Yv+*8$Zi3ac@6~g_*_1k#hXaN}TA9(X_k`wSa zM|7{Il)PM#8(*&@u@|C~JtmhYhOhNS>UCNqwyY8vy8apR&fCy?;XT|KK}g!L;cS$G z!?fyq5#a6IEozzgEDOu#ge}z-_N85|HG4@I{qfYqX}gY}f#)27UVN}0K!1gnk)GdZ z-pzS)L?+<-?#K{!1$;LNo}8V)zFn;>BxCnS-&8%Px2$t>MP_pNKma^wIh>hDImOh4K#RJ)a=ME>QZ+}D@+l&aFUj)%{ zj|`^Eq7^rjo1$i^C&I1{A6pA%7s;g6Idcaidk=&}#1?Xs97hzZJN|)g`q&aZoD%N~qA5e9secZvc@lDf}Ph=#IEW-nEx69Na1gq}6M&D`aFQ z>6iXuS$D_1j;r+FQc>26_sH|KEWp@E;2Eb#KN@#F*K7A1}J~cSWA!NHVnS+ugI+q(0DD$PxMe= zfn8vG9&`@f9-PEU)UmC=vS&K|_2o;>%hPi&F-1}oMNuEAe0lox`CFQMs>J)hP_Mepm4DYEEP9^0{%2gFtxz5pivf8LJHf6YHZI)OZr1Sj2&f4r>)T za3~sB*xJ{%E~BPzypPwLqRMUzU(9*e3Gd*Bj*Ynkb9P`6jJRPB)@@&p*7fK=xlHk4 zmq*Y`(=6IIho&Bp&c#h&4$YaYfP~fr8M%MvMp5wR){dj?k1VXmvEHG=3;JEE=qXsT z`=(}U%N9?z-!o%8g>^5}d2Icn$E0uaGO`E$zEQZ4uA+KqMA-AU=8w1I#6jRGrzR-Y zZRfmL)SvMj3=f=`4_hAm?U)yY(8~&N8smv#L1u5mod@S}TB;$mv?fqj=3vC;fT(|a z2g<|GI7)F|&-~fKm-l~Q4VVk@Z*EPIr!d~tGHK^nb8sy)-e!Aq@PPJ>5cN{v{Uq5i zbP&`mi~e$h9oM>`3zVARySan{(jYBN^!>nm@Lg2JGbHdF_!3NQE8@|1P1v~g6oc$) zHmnbR$UqW`2lcjXK1}l@<%C5tlPrG+Uf=vZGWCj^f%t*j02tA;9Zzl&nW)cburAXG z980wp$56I&Q@dyVy$kaojY&x1LDqR_!b!p27Q8(+a;Z#FFbL)M(a%HlIS!!5(Fe_% z$J>@6KyDOamr_^YrLrqnx}zHY7O zB2+Dy0n^jC6s}Cgd6D163lcDgZJH8Q$~Xa}G;ywEyUF8ri`eAZYICLZ2KV&FVF2U0 zV;q1JuHr(QTNu7~+LU=jr!#fId;fv?Mt{DC6--DaWaa@I3EUbsM?iWofk0UN0KE||I$00^VY*qfxZD$9_pPG zK9h1$1MYqG0MQv%Z)?VL+P-I1>sju*x@}`xTcvRYjn<6=&x8rOEcg^Oz(n8BC884J zh8LEiITUi?Y1>Wc2nc`FdCPlO6*j=V2k}P5X(d|2 z0)m*hx|FmZNg@DJT&d)-)n4fQp7hwVGK&K?1zU$54Q^v_{eO`Zu~NA7x|p>Ok2D< zCFJ}w13b;xT%{IrBvC2P>5i8=u1s-@_uNCITpZIhdT1Zgx#39XOO14B=zyf_Ns|Y+ zt+y6%e6%}eg{pYz85n8Vu*~D4Q{dew_=!Wdh_|11AH9Fjx<+=~Ti-D(ZurA4>xydw za%MaNnp-UrUy8QCDu3=BLe(0dWu()RG48azOqgsdVgja0j*euP?gIH_lTK-2OLuSp z?Vs8<)$I1kJDM)mJU6GQx3+p^gW@WxHLN^_y`8zvC+;h zx^rly!gH7Qga5Hm`4i8e)2)nJ;d#UcT6l(3jlxe~pFaHyLp;dqlM#6nvuw%{_z^KT z3NK7$ZfA68G9WTBGB!4s;D`bg1u`->FgTZS90DhQjQ0gplndJi3e(*k0z-FqNOyNP z3@~(eOGyX<64D*gg0!><(%s$NDR9QU_q%m}|G(Bbi?v{`JFdH*XP_om)nFF0bTS7@ zJ2|>Dv$L=X03?*u+1UVWY@94?Y#d0`)S4i7d*DA}Bx-G-s~gD4QQ!{)30I(*J6I-Z z<_@-hQ*v?y$a~lW*f|00JOb>z0&Hvm4mLLa{~0>D3IHU{JVBNKB^H3ZlOxa#iCV(R z*~b-RZQ~9O^S_S(ItzLLJ3l`!(_iiYF$bV4$imDKpk(H519SjKv@o*=XgFDbfbKs3 zp`a78ad&qXU}g34@?tS_aAR?DwHBsl0(gOc+-(5rKsTVPC(sh`t6+e#nFH|e%2<%7 z0h%@-x4-2YPFC(-X0AX0SYQvb06MyXJvaDaxKB0$9%==is>;@<{LfPZ=e zU}s_fm+l|$Uqm3sznsl1ESwyi%^ZC|j@AGxkUbEfBCW{c?(NP5Fmts0WoTya<^=YC zH}f)(^Lb9C}@^!o=`fgCNZeidQq;moS#2y*cN%1QoX0u~|tmRSSc z0o-hCY`pxO0H6y1=xt%c`ioxE#~Jv4my-RL7+gVspRmkPF&o{8{o&x#Rg#J;AR7`|5`F$@P~kZ|I(ni%%>w+3{r~f- z|K;-kZ^M7F{J$;v|4m5R!`}WcHQitO{~xuP1IXUz9|Q2xdbooRK*f|$@Jjxr0)j8+zaga@Eu1WWofro<55UaT)yxM8JY+E92Kcdq zZ_yIy{nru$SXmsM+`%pYaCrd$D<@Z^UlZlw2C$0#68(*M0IcG_5ifv$RpK||2e3;0 zi+I@ptkS;`JAhT@H{t-W%Kk>2;LZGv!0{A*BXB&$--r*us{9*) zX8)@Ir)%*q;s%phIN5`Lr}{q$7uPR|gTwEDzsAjK`3D4t1pa0KCl35i1fE}d7Z31> z{B{9%+Uhq18(94Txqd;=Z~V*nH{|C01wH?W_)G8P;ra(X*u?q|2qv`oT@bj>Ha^Za zK*v8Uz_LFAvVm)`{R4vgZTANR_vp`BzzuZxqZV*;elv4}T^+%H2l0m^e++>e zZ0-hrcl?_>xOHxS_GWH2e^7wq{|*3tD6_iTxB~y!1aQ0Dy`27V0CRZ!0l|~=`~!j$ z_xfYaz~0_}Krp?}9}qkk-`~lBnS6n+e~0?dgU!Oj6+9XDzg|7yr{4eYUtc7EKyRQ0 z()^5*gJ95A@ZUp{uSpVjl*&F_t!^ z=&nT<$e#QTo9p2tTawgTAN_xtyjLIJZbh0K!}~T`cqsO{j|A}*v!>{d|C5Wqc8DEx zGh~N6b*_sCADU`D_MKO+jQ8ih^2MQunQgV5Y90mTpXC$Gaays4Ath7PdFENu1Qc-Y z%p?d5SZCgU=u_7>lUO;UFJ$uX8Ib~x;y8=^^w&7v-B0^2S7>s$brMn$>JyMaUtYWo4WCYJq>^^9x`KRnO)yxT(wU zvEF5QVDKCBZA5Cz-9Y2uW>et(ssRuwm*=IqTV4B_4}pnGcy_;s*EJc|TPV zmz+$`_H5Nav|*@^?LB`1%ZYZSR%-%xfg1VNQ4I6&UPH)t@i*bU{5O_+8#kXmi5uhY zJ89paReD8<54>B~_j)F&$$yM*Qu*0e8kTVNHUR{=W7DDS-_wxKZU%pU zyj*=v7aRR-72UL=KkzN==%_iI3;{LCmW9N$dN3du#7fyMX`tx=Vc}- z+jhe@OZ0&(zUg(9n_=Aw&b3hZr`Lv^dXQABk|I%B2Z&=kKY2dnOnA%WsX6w4BK{an zxCN@Fo=MIopB+b1EcO(@VdE7Mci%=FRJ6oB5KSKJ8 zQ0uK#SJsVB2Hf}%kj^{@T98s3 zuDYBC8@9CUaH(*4k{e{0+{(3os#pLEX@f$1(qcRf`bA2E+%}LK?OgvC<%RWne28XQWBp< zI<#m7+K3(w6}Cz3)G8i1RVpg`$Nh(jCgvpkHG@uq!ztkKK+Ih~5dxuq!q6-Y2eoyw zd9`okt^5#SI+KS}pi%`#FM;ohM`C(zKoldbKC*v{B_+DjP~PWfYDqsNBqqiWcc`c$4k% zxsWSbPE>6YI~@jYv1_w`#(o!nEn0i^a7@mY*rk`}$SeJ z&SB(K-m?m*GIEo%B?kSzcq8u zCPNTaVL!}c&4Q3VCrkdq=|f7HzG;E3q%=Dw)2IKmYyj<0@zUZu8Y>+Hhlpige*cN0 zTVA*d2s5WG9s~Q}yNA^G)tO5^#_y(fN6S=#6WTP0~YCk_X;- zLRhRRqrD#y!Yxqkb|%3@)C!-6lSp<|)y#9;mr!dM*Q6$A80VY*Cw5YX@~!?jtm=3r z#(s0>;0Qr~zvc2F#E?ogPP{#BZNa&`w&AErG*qlA6&983H4sx9AK#}L(l(aqTIIN#0kU4|o?@B1!)1o+B=-9mwxSBlxbghuZ$&&pkq zql@y(-*_rZevMI*;pL~2Qv^NJB#F&g6R$hk^Y}nU$|J^0t2A5)DIjhisty;byb}{6 z81#%t3R;=4&!^dKxYOI7t*4zIfzVkP+kQjSna>uY0C*o;QTPj?~COwHt3HFCx_i{^7%G**th%r0m$f+2G8pzy9!Gg|%sU-Ul=?6MEK5X`3hhdjPyLA@x3pL2Zqe@7bhHLNV z+pM(@^it!hC5=cIIjOeyZj58T38E@bXr~zG0 zOTjjUN^uVM;IK{)gEW@WGHbD^PkF3bEn?I_vZ30CZenSM@+FWa-g(@fu`=Ms(xgDi z^i5%e2DRpA>DoTz~;>wR5jfiehf(^deP%AFhx_ zq#?DW@{cZ`W6vfP-gHi*%f`~yH3&oMtBH=F%gwL3Qx|N#q-1s)l+yF|(tQ1yYct}Q zg;GnnuSYwzXx9Bjv*(;v*EMKrHJ#Pb#PI{PykZ_6G6G$SC{o>S?vJsLNRwMhJ^$g<5%#&3%49qp&x zDd`Ryz9aIQxpTO+n`)XR74x{^P4&oB292VSa|aAo6S_S%ihpxpMm^tu-UG`(Z^{=& ztC46Q2PPU18B6-kI>DOsN6Z1;PO(bCDGD9fu4CuLHr zW(HBAR(Go2T*0#8xw!s+2k<&S>jf8ONM~>`^sp&7#jm*MFMsabt;-rxOnx$eyJJro zNk6vWR=(pecNXU0m2VY)x@>S`g+7V?Voi5d=8dbygyt@6P_@A~oFwDc*AyZ^rcT9g z#DhZ<_2A%BMGtBqjP@MZx9z^sDUDI=RTnoVQ5QF}?>O}SY?3>FtCuBE$E{RS4YRs) zvWRmU4UhefI)wVEvt#3Y$JYdB%`Q%WNM(0)V_wub7HQi<^IN8;bUGyP$ zxx&ge#GvofEc1G=&PC@OaX-1HV3=GTIWC2CBcOg&`MK#XrVPuhi0YUUlPUshvVv!9 z6254Slh_cLjrT2oUNFv-v}WwMR6#s)<%|c|`=x7%tonTul5p~#eTSO!`v{^>`9YKP zoe^KM?i-3OSmOlYH3(@@jGM0ow%lRlYi&gjaJ)Z#ej`Q4CNn5F(t^9F<^uJutUuXK zleYOR8$&Q#D8Yr;ac;{a#NA#|f;~yM7r;GCl#1l?ezwBFxsEKXK`-D zELt|Da!tQ^vYN{yPAj0JuXnfSsuT`K3ouUpBSr7S(E-Fg`4pra!j#^2>0}O}0`;Cn zkyLfl5$R)p#%uBUAvq)BU=29-TL9(dWDBMZ+K_=-grZHk9`kl+poZ(Sj~O>WNmWm# zYNp({(p~0zVdSiyH;n_5vbK@=7@KamuDGGz zODRY@EZxEjV>8v&d82lzRSWjLf;1`BltQ};A8RgufC=jUxG*auyJx z8nQGgLNBmwi6<~XPe%wo?2s(!&{u|=+O_4JeV1mHV&pzPZJPq;lZ-go7UTuqXRs-u z=A%l_GjG>ftpYe#Q!);J6!&jZ$dsjER_@YTDY=cqPm$^BXgvk|ylH4`((7%AGe!=c znx(dX9quQW{dyXsBKv|cF#L|pfn*h6;nKs%-Q^QV{%A zCdi{AxO;i4=c0Z5^k@Q0&lO{zMDqGZAU!hsz=T78ztLh= zUO3QVvoXqVFjeC5f}pWWz^{-<7>3!asZeI7OSR=?J&^Q8<&D7xly?lVOaGe!9~e2h zl$SPJ3~t4ea=A{6h5&yX(oU-PzLFc*TBF?wUafj@jO|Yq`T`@TyS<}@eVObX7Y+77 z^T1Bxen?Y~J5eYif0&9RGTfPerKr97kKc?Jc!*C}vwg-NP0h~ou!_HxX?F6j0m>ViEoBPB-3^W6bmD4K=gV+Gg_*6a?5J{Cl82lNGbqwk#Re1U~e-*$|2 zdzZ%M$bjaDR&6h$U*>xm^I;GxM!0F0@0iS)S#g}^d%+|0se-96z_h-9l)BqACI4i( zW5BIkq{Z_`>o;S=pKlowac7>?2G>iK&8@;27u&wBgk?KXAjZv?Xd$-wj$c|ISPz?R zy-V<@m(Cqe7wW;*eehXsDz6xWdSGaS`fh#m!X={1Vbq<#RVw>&I6q_d;-hibn2RFN zsV*~3>-aJd<+dm>ag0}g_=x^n;bpq4V?s7mOKGJTFU7u}WQ4j9D~J1&QeXeoz1wzi z@S`2SobFYkRY6(iIP}KL=+h%3_I$Cf)KN(a#&?#3b@I-!9tsBeMGaoG&ILWvYJ^vN zu&1_*s3bHK^J07QD2$(WqB@#e5wI4pUSFpu=WSE*c-CnUY3gBrzNK6ws8URQ;TkD9 z*%irv7^S^Ay6w3SlE$~xmQkExV%)`Z!>y2cE?hHaZ7OrA?|~V(fwYP3L$A2M*C(y; z4U;T$7e(Q`1!8^7$k|hx6BV|l7t*mY-BN0c5`LM@A9x8|2d*7!OUh6Cr?#}{q6dtZ zNVrCS$N#4JUF`dR9DvdxU81L3mn8%CM zP44pV;aPyvOFGjEdT72d{91Lj zbdX*uA&L(@^ru!)=7Se~)tNPR^bcH@DSwZ}e&nLeHa90!=4R1E zBn4<0-uO+5N`JMnNT{9ihi!oVg|C}`cxXUDui|vQ26l9jK(JN$v_o4-w;1PX{LGmK zGDq)g!uK-aS$rT4Q&AHR#g-N>QBf-pMgpcYbV-q{G;fwnPTC*9m1I;sgO=%-xh_p>Z^_8Jd= zBY^-tfDXu<5cpk_hPC`0eSZY-Xc%3-RyEl?#tV7dpb2PG({xrVQdT!8iM~~FDtyvW z;VEaa{I*_6Buc(Jo4O}vOjL!xtAJd!B+)2H?Y=ZL6W+=SyQ9I_q|=3J(1e`_Ks`jU z8<7>KG@oQcA`6tcN0t(NS5Epp9Y#5SbwaugxASVt(&_HrrcZLt2U4O@mQ&4fV;gBG zc#CNW&Bg#vf(8}wOJ5EID98W#`4YHa@AjHohDf5f!cDN5(Grn_J@WgtUOucImLO~K z1gz{U<0*^A?+!M}Au#CFa7m~y6!j!Wcq&JonmYqQI!|SD4ivyLG09=HOyI(Qm!;3_ z_&SObrKMvoEy0@Y-maWVv)7=zbuAiF>JI7R{DE+_X*NO_*PUZB;2E(w)4-#E_dfQUGHua=9*|nUn z&YJba&m=QL`tYsgc42Ud2JNYTI5?)pp-ai9UV#KS8q3lgGzEBRZgfq($%e3g8uSq$ z&1R=@TA^gT{u=JIC{d>dDLL*khCP*#dtw_GA~&DMsrSJ-P;LO-wYe{u75dB}IbS&{ zzN+n3squ%DpBi!PjT`J_zIyzG01xTVcT9EcWEtiIP&UgVa(8G=RytyTz`N}qO-P@i zA&&0i-fn-fwPKH;LQs}WGu^Q^VlC34>ErNv;2aboQ7Xn7B{-s#c=S{zf-Rg;8T;gJ zLBvf714*gCE=!_UV;J(4VLnTE&dNqMaFTd3Ka^7GDZ7J&?fD{dwx0{eQxf5aopMP! zV$%{t+eFrm0jTQTeXxpuAxo8a9%BQG5#Q^c6)r71%k!plT@&WAe2EzTgE3mkO2*aQ zsA7~Rsh%S})h>9;Sqh?5!$SQ)q(5CtQJ9rs6~r7dLlYe0c#bM5e80wDW1DCYnxDWM@G^Wm240P(u9<&aNQxV`?}^`QD^!B15(oSGj5^P2NcOF z#tFn@?Ol7fj-LL1tT~mA4sL)hlFRBGLZYGNN{^ha5q^BZRKzFYZO?_QYq^gj{n#i& zSPmK}nnG~M5+9TJsAi)RwvkUv;t>a=v6sKVyd_abT|%RmEbF}Lu>RVI+FE}U8fIau zDPz6WB+jDM8PNEsTrQL{3l7l33Z# z^B8a^Y#(yEt^1(92@%4rM5HFV1~2j^nwqSEk#lz*N>DI1yo+xB+PsWe_kqNvxp{RO zQ&ftbjK<+{r!r2KW+jrMbuFrRRd^eLwW=((?S?#G2}iISgC;(JPR+6zChNWp3!}QY z@$IneI&_qO6a)T87t=%mvV9|cnZ9GA3lKA5f|!aa#xT8^y)!hF0>U<>C|M_{{OHxY z@m>Z+Y(ZkTa?71U*j!^Vv)WEIweM$udWE|Dg`Xg6VX`*!X+(skj1o;NEML@ytD?Ml zVu}zcd?cDdz2)LD%-ft(E!1l!3H6XMf5V7WU~Q0pZ-!h1s_@F>ATs@u!9z@4dqgoE zG*@b_n<_%Qlx|X!9BET6?*v9bNJ8@PI~;cf9emH)`L;|=iMu1HS$a~ZQX6SPsgLiG z1oU%f^0zAxBN^1cS}VAki~B+M?Ja>6zG-Y{pdoKJDlvAG?jy1eGt>}nPIvv4_okWmFvo85InHqoy)sXG~a_+!2NqV0DW z4T>S6eQ*E1O}OKOk6e%RYGQA>V{r<_cT?7J+tO;WVp+Q#gZx=}P+>S}FcQK6oYV;~ z%@kdF^=ZGwmkzE-=Mx~J#klcRm!7|;(9Vqb6%-d?u;;E_gu z#E4DD!sWnt|1=+UJ=Lip+l0x*JemJleU&gIiQh;37#6`wn6L2#R?B`ls5)rj&{vq`7uG^H5Vpax{vq%%AI&O46z-h=1;RfMz9$oUS|_luGR{=g-o zN9{*rw=m-U2i1&8;Wql93p}~gB2Kn{^_`XC1@Fg1-e>g5oP1`?glbYd@vY3PmD;uk zR1}4*>e(Rtw|h-ch~r!y^e&2qW}!b7$6M;r6jl!QqTi~0$mbpNGxW-VsBz}m6Kt2J zdrD&5IK1dFP5%+*jxat#HR=~iZ2hdJXqSDes0#z~Wf#%l0X6& z7W%^a>61={nq!t%fIU#~a@@jGk=z5-4VYRSjbys9xCuJqTASZwjbN8tgb3GXgmi&_ z3h>=pHDyG2s;@TE@#A>~b!svns)!&>aG*9!=3_gC+s7`E6!k#V zX^EotWhh6&_Cn0-a#5b@3ni60Y;Sni8&G*jUU7V-j$kF${K9Pg@oiOqc_~!M>g2uc z7j&33i}PHn937>8X3q=Mi&Yb^%D(*z4AMy7O>SX1pwyU&>Ol-nvEuWf!bS+}nQNUn zq_!DLeI1S`et*Wjv`+$}nYY6pcZJW!+1)ZyOKs-INt6#<$wYUH`uSO=byVU>Q9(|* zeWjFs6@d>~fGja{UZoFzFw5>5bF`N6NVO|`vFl5ZU^tZ zn!2LlK9OlVj zAk6P3!QgEqg6v;^W|Z}F`EoX$!e{7})s!ph;;|@(Y6x5H);$8I72P{=72z^smzhfI zl|0KFZQ5t)&81W+&DB&Rs1tpAy9{Ct!eSh@>Lyn0Q14aw9)`3`mCorf8w!J3_K5dKyuGP$GWM`M%v9`LT=!KW*u2%iq|is8=N5vTYYZx*u`z(p=-C)H+FfpP-H(d{RR>l(Mm=lwQ>?>A4mW$XDzCXNd)|;dcXk>vQ zaSIwoB*m^m!RZu|fj~IVJnXD%F4uw$Bejh|<{lLDxOufy9rBcH^r;91*%*cd&DeFzw4Lim; zhZH)0Buh$T(ywlxf~fgcrikO`p1NC+J%ZEx{m2jH!a8xLIdmU4l_>~bllIZFHr|7i z7|J0N+vlh|c*5_D?O_UxRq!zKDs>3G4M&*pF z6Cn*Qu@1JVI~ZU)BW!-QLOn&)(1&)k%_A9qIMR|sVd2&Z>viMq3ydnQjc!&e@=;*d z1Z7N^16H)q>9Z@#I04__8;jLgF5r<8plx$stYyyNJzv{$*T86$(r&m5CDFS!wZM?Q ztMDEdLK?mD%!4am*z%0Jrlk9X`$n#Bq3ASp!uOjkYfd?zIMK&8YhLtXJ!~b0rp1zf zpeGb#*Lzfguf;2mP9{^|ALsGg1h$iu1f>fnn{($B^OGfZ8{iw5_HpJHR->minYZ3- zGC3tJp)$2L^$N{ZaySuOVIWQR3{-Z(bOhRwcJu197F13tU$A4id@u_LR#4nJ93UOV zh-F_Y16h-6M5W*2KNNE>Yz6bR&SR8+WL?5;IA&*!=r>X2Oi?W4reW5ZPFT1!xfGr~ zFkV#kqaxNOo~>eGV8`7k3@=y+;H6Dz#G>KlWKxJa?ItY;WG{H(^h+0r*V=O);FYB( z@1KCWHAS-4!{*Duk@1P|HVQ%p2*` zin5IdMRPoh>1fQZtuHPh(2wAV3c?7`TzUFtF%iNe{m~k zY*F(C_MhzIR&CmSTN-~cUio;lrw4_Jn8rqs82Vk&=xWeb_DiXM!MM{NPKU=+9iF1j zU}9TC`WW30C#_K!ie$sYJst?DxB3RdykDV|7Jtrq`L~>W_vbk(_5fx>Ccz;Dl}bYh z(RX>_LIP6QY^SPI*QG9skAz1mwT2058uTKvvVa9*F*S-|oe5xKe;}T3xXrgav8Q=s=LYy}v ze}tB21e60UV4mVbwkx4@agU?EF3^R2by$_%(zi%RBi$ff61&-eAYIZaDIwi02%GNi zP*UkeDG5bNx)G#P8UbnK+s}L6^StNToa_4d2d-Ib=AJe4o49rFHNqhCvK{^>&xzV9 zPbSQl@?KKPdBijGJO5s~0Q#a`&x#fo?+9I7rp%0C@vV_Q)O?te=}P>lOHB>*QJ$28ov%a7Xm?!|wqI}!zT*FMPul;*u;Di=n(HAkP5qM0fHKV$ ziLQ0NwsWiaU^X#8&$1eYfeocZCuSN{f%w)~EDdt8>I^ z?c;nUSOIpycRIbBGxzr&m=pbMYOA@M1;DGC!oo}z_h^S9j6z5@K|k=jpfpxXTMTS@{<5xf zxfdZ(Y~0EYb)FP@GiB zdnu~md);~5GZX0BG-^G%b*1^iV-kf%?!-7n-dtUZfHD_ z&>vuoALs9~#}O1OUt9^JXRofB6sz3t$N3{y`xUkEgiT(#rX`2%?$2_xWnMlZ1EPYXBIV z?CJb~c2;deXngV|>&!ZsDfJES*J+0Nl5zugJ?+zlJ!RfOt-uU^oE8@ zHd9w-^kaNB*a1^5rUX$~N}u$HYI<^l(uPv!^Kb%akJ>0gFytcE4#2wBJ)dY;jjW&g zP`w;<9l-Z}MKNb;Kuu`8kw1FQ)qISz~XM^H?iCI|*1e8V3Wd;z{sGuXg-AY^gT>tzXHZAIHQ z9K3Rz-|ME>TJte7fSUcbw(Q<;4fV-lZ}6}1k_=b2mf~>(NdI!gJ>+0sXg3SkQXseX(!{1VDHZW~@!Vw%MxGU7Qm z`)+)lm#MDyFr{9hjR^j71X*{dZImqc=z4}j4T-X^u*T=y-+Ua&^c1eYtuDAU@0aP& zy<<%wUL2dG{)6k}wUXnqZmwtePPW&qGnBQ!*uz(!JuHYy;>eBsCuUBR4r4X>YULL% zHep*V0JlIOL*{V-V|MXNObdgd#okvu=wJj`@p01f5k^vprCsp(YlQgFOX(!%j)1u0 z{A9Vw>jW9KA;;FWG}-h}qPAUXtU!&eM4^ z?bSu@Z19Sr=-HlpIbFys$uFbYEHPst`ez}m_<&RsfKv2)90MP>_-Y)(hkOGxzFJJO-B)~bg% z>7N*Kp~}v1ADt$ddk-|T##vYD$2ZmfcrfElNHlu*vecYYT7V-m8a4zZiFotsYgy~XWs=%?t zaS1w-C(1&%q+V&TGH%$Gh=Fh9LGW7gb{_nfcm71)9V=f>Mx3=Y1i)|t1_*ONUT?^3Nhdd}p-G4B-sGv_JxYC8Ef zTG%N@%2)99Sp;1;m#^sR))b~!=b(!sO6^D zTk_LVEs89;!NO7o%TZ?Jh4c^sy~Wi;&P_rKK2X3Dmyh__OQ8UajLLzjf#S&ZA31og zo{tU#{pNhj&S$FmVRi&P^1dG1X?~)uw*sJk`3Oh%DcgNPCcW$f2Yr#0+tl(Hy`(>1 z-#aSOV-JP|BaD~WDt`HJ07+hY>E=1R*bzfigM<1l1f)wc`rAGnDeYdr@|9mX9Jj*i zUVsmoE7S9LmtDNMtS6_&;QG4U^Q4Fa!_M$h`std($NQ8PWfRFX6ih83JqsTGAG&Qf zoMLC2ujC(a%li}MNc^e3e;k74a3QuWE3^rNPQFsQ&1zaI!X+2q zDLr)s_ctkNlzxs=!`8=ykZ+j!&qgfK(n?(aDJ!m4^=B z>H8tVuH_boaALb81xYtr(LV~oFH#pD9@szYa_aGnkA5e{Il7o8IHe})5L0yAO&7ix zaiVG-cax5weC=qJA;^Csx4V`pQ^r2kmsHDKPSn$^z;5fKn^lx}xJpjq%5Nqf(YWDB z$#=6q^6@No)rd`c)YA3kisOU5bn|yfH{Ux6V@4AA+cPSDV%yki`2N5m*hA#Mdhw^6 z5#1V7=nu2O7PI`br#5*5dQeuaZ!cZ$ljHjioly7PBBFcm&wQ9*(FvX|V`*!oZ9o1& zjo~5dT}qvh)rctwq#@eXI8p&FSL8o@t1rMUsfi#O)xMkG)m~$NE8D) z`?f}~+7U*pVKc&ce^UGt7(>E>oh%LN0(Lj`r=AT=rI3_ljjaa<1V%r zRpDW?UxH$95RLVWCd?(^NNZMXr^Q1limA`%mBNpbV^!s{^r2Rf0=aOxNn7`zkgDB7 zpV(uk!bb)I0&rVC?eFOrq!mxJM2#?_JS;t{@DwuD13OdSJ2GKhMB4t)8eQ6#Dd=kb zSTjq9pdl+!iRW*`e6I;+dE%5H`#p}2VS_R!5qMdDpQiS7LY_2lJ*NIeN5;2uMw?=T zrO^uvA#!MHk(zCWS{A8LZW&&gYVc&s@YANW=c5waU-`5Tjw!n6N3Th&MB2z_%-Fu! z$_pf79Hg&#UO!r{*4PurUgaSCP;~83Ej*)Di3oX^*QAqniK*7)f5z)?yGq&tW(+-4 zA696W0BQf$Rvh^8Dlp$2!>&LOtUumS<=9-!IJ1FxOmQD)kk2?FU<9or&@?agP-d&%e2i@&M)uw*^Ax`d$_pDArNHu^NUOJb`*_1lRMwrhv8eo6DSO-`zO>;JR7k4) z%q`mwDP0kCVd{2I~Tn(EVNq0L>Hd=&Sa-+Fz?(JsMwVcbu3Z77Q3+Xq=!DU!)ABij0G zkstb{PL_e|DPqmfuD%SyqFDxGDWh=^=TiO`$4p^m?fV^^q$^8(){=YTbQyh{ShO~D zUFpK@1Dl#3d8VZ*#63Dq_zO5cmOnba{{uIn#Q0o8&SZ=`*2(#?xrJ4noZK)`gN zMQ0x(m6bZXWA9@=pM@N__%b&xD$7~MK5S2*aIIvoC7=b!>?fJq3}>2KKTfHB%OQ^Z zPmH3GtSmd?$fyjy+>}~8Ji=bOV153HD;rR*<$#bq_i^fN>*nB}$v=37rV{pN9Z-Q3 zz_WLFwlDTR@(_Qa?+=#ajkZn)XCZu<=F7qqISP+k9`WJZ@lcoMKNk^;aRSzA3yIF7j%eO?wy_171cJKri%1L3;&3i;6^&kr)MzOL z9&!J`H+$QQ{yob|UvNh<@4FcJWjrApElJJyCXr8U>oDWIUrdKi(*{4}v?ANfE_zHO z*VB~APU=5W^59D<9<8AwV1RELp~|b68ugyUK+yYu<=C{&(V&CYU9d*qe#Go-sz$-h zoj&KHe-}omF8eiig|_gXORRs#yEl)qONXmw&S;Yy%dy;9io^=B9k`i|B?;}84NN>h zE-Hzw!!TO@$MG9wC3_p+@vC6ZExw7n8+CU$x3y#FJ%MAT{2X345I!HmMUY_z|J+Rg z(O0=Tt+fHX`OV!H9+kfuF{*xwpCkpxu4p3PdWqm0LtX&d$ImH(jnB$$%jrn}7Od-& zNZ0Dqw?}K@LcnPVWA+v+{r#=s@v`K_%{5KK=0RJ}ops8#ia5*kd&cS@=N#FbJcK(aXWxufKW%ZO<{A zmNOC&HY%b2=BG53Xv${Z9v{FNFgnLc|EE%NA$KFZQn8v>ji034(nV!JL1LhPm2izKkP7S+ovuH-X zQ1=dKyR%Xh-@wBjL;O%g9XvdQkZY}?0G~Fm9+9q1Qd^-ISLL+l`AygjZ4`U|_E2WY z$X;RIVPevkEZ}G9qDQZ9r6B{DUEz)J&v$$jP68=-zGs(^0REj{B!LzC8iztspT0|) z-;>aYLGZB5emfP3B|I17=Nw$>#R50S9(~+;_av2mz$6|k6HOKkv19qJtL3nzG)-Tv z_N$+0DOZL^PE~01QPnl*P*u0$r>t=IC$a?ug|u$CI2&JRhlC}b_QG|^lnoeyPim_k zEG>>@{pUM9+*chQA6YwrF3x*WsLg4v{Vv7UhaK@zlYxna7803|44fx@ho-)3ItxkB z;g+j9F#=@A^IeG{SjN=pJnicX#kC$<>G+!dv;40C+f)y!P0@*riSps4noEA${hrPi zeBYyC>MoI7R*bC{?e%SLHVhfHW5YxHRl`mVsilX$6i|4Vs z(1f0|P;S3ZaXVUAgX?%r%q__ZmXTAE_- z@`bNhr8>ozk0r@NjiUeNl}G$G;c;R5bRnEu8-Rx^?M(d2V#J_Fb?_d}wV`UZU5_q~ zlEm$E3AIx%y~{pJPj>Xo?$DlY=zWUP=c^wBNMftv$`IqChgXxn-ym^$Us~~hfrArN z`)GfhWsJ%(K9-bWfN3W)hRm z%0}OP`eplPk0X>#bv{NZ*wO}t#wETcID%c%YGQwQ-Qjjd?EmeG-P1J`e=Ww)lK#TY zb?*IDMj={Gps-cnlH-<^pY(fu?G}exS*Gj~#_C?gFoAYd&?Mi`7M18j?95nuA=4l6@BG%frR3*t+E0|sZNn+b9jwPW^rGy{=j8^ma1b~CJyk3JO8+53b8S)&Wz{=e_+^?y84UV8BHN(m#fVH z%SY@21o$vm=2#mm-B2jD_O;V}r`~1#E3JWV;0mh_j)H*6Z zp!^7kapR*bdrgAhzRsW4hQ`8V@sRg^8qejYtA|3KL{QO347(Xd+WqFytk(h%Tq^if z=Uw2qyy@C#n;8Uzp7;)8g}H~`7;=h*ep)tzC+og`>lfR%NOdN;bpMv#nOIrjmr3K6#lULYhA+iOrW2es_O?dI?j$i{d#_}22*0qBu^n9LlavGrj z$mB6?w>k*w7Nb7On45Ii&wJW_KU3}P$5iheD)B-JD_eEe4(eypEIfUM>dB`fEzFQ? zgw4c=9eNTSL|Ra4KWTO88A4jl=FMr|M^l=6<3ukR{bhLew&%5AHHXT;Go{k7F&NcY zTZXA<$15ja*pnVbHbCkR;>ibrs$rWqW|>d0`s%+k(_-<^!#xO_-xRR+QYZK4T5jp9 zL{JfbE9xuvHZ)DlzdR=J@J!S;lfN&Vj2LGsx%Y0CqqS(ksy1#=M+7fkg)-dhhLozP zlEDi-mm@qxpf9)a;8y31+1Ahl%G;E_;mrSSvhovCMWPg5;%pD*io5p zn%$jYtc9+i&_v{IQi1Wd5cn)$ev|HXoba>@i7wu2>$2J~m(%j=2AK{Xya?itKm=*b zP;&D!abMi=t9#YrE{%&*`%XzP6T{I*X+Wy*7BQtORniK=HiMVoEZO*3hG(-uloQIt zjoaq2gs#a}hx4lh*8^#08K*};N_n#*nE@{goW$0|K|$z(^V^I%vl6_6$GnlTTS7gwARK6YR7 zU7fheh1y=ET=No5*EDk_fSfsXhza0ttPnz{c{R@`TeNnzBqYWeLQ)iWv36SB1VRGZnP(l$`#1(B^#ZNx%)K!U)R z;k39+L`IhWEl1UF8;?!P-E0wavev~OWG|#NY80r#t%K8!W$()|Yq7u$3<394xSrfB z%GI+L$IAy9l0y#tut-@x=w6Y+{{qBTZ_O;wtS&(O22aA1veoFZS=1zGjxZ+VVpbcmnD^C?&n#rV z?nT$D$Le0$*tgrRXK^erNXq6tp08yh6_YuZ47d6|`KQ9BFdsW9NyTX$n|xo(OIG14 zSf#|h(B<{UQfQIvfDAnj`OpuG6W z!Ha1w)tKU2PZb7z#P5Y$gn|OwS}V-gZ2!p&}2iwTI~_$`hl->_b#aFy3Sv`_SN8D@_E*rP8S9dF;&?{xReP|DohD!w~(2 zSl~15z5K;9!u)ypje><1G(czVUx;0aQsNLVlR55gd0lxVC z&VYSeHh}fM;2TMqb6|83=U)3DAdegQdaqfsAr+w+h^{IlEsA#t^D#Gs`M0SR zKaS>xi&aaNCIG*+j^HiwgLVet9F3!!4qxP_7;30!P1&xAuAXjS?R}4*hMl=A;V{$& zm>Vsxw@2H*H50`_>=yV^zxe3#d70fsOpSxxQTJNjw^J307hXL)dN?sMt^TF@+;-u` zv;}R}h)ZvAcg4VGe$H5}OWq6ETbZo!g3ZkWi|W3JCw5_rip`V?!d0SQ81aMIqRIHa zpD6QluV^ZMdcGI%7OFG%X~wfKNpdvOan$D?j(15zv@9cU34%u*i`1?{&5)L^iJJ(K zWHL38%qmrSrg?@)cey>FiR$EOkPP@>EzK)SNMI=>qq_I_)7PwFgEJvTUjZ_kCt8j_ ztBK>(!mIXA^ya2}2yRty^g5?mG{T;oQ@m+@ElWDvPHvLMTW2n9LZfK5cW{om(GsTh z462%JC$Qr?&W`BNOyeCS5mom$=x!A2Q3$2i7sS?vYklD3XygV65f z?a_JHIG69W7=Bi6?#CXu>aLpz?yf)iAp8>}oTFglTHq(u5F(t%l&bDEQc;#XSJAMh0|bOa%kth+8f_n+j6`Qt}@QU1PgULRz)9UECYl)(99#A z%wa19hau38?D3UFs_=xo7nbb^%=mFtkpKKn!vCt^6?9!@Wj$nuyB4#40E63@N1f3A zg4#v449&Rj(b;KcwOiMAg2|p0S8%m$Lfl`}zlbpYF{f4qgP z(Bo=~0UALy@I;#IRL>vVX5Te?Ktq(K5SCm%^DUyJ_@aDK5__?(3#^5={!90a6cB0%+@r>x)i0B58KZ(OnR= ze1U0fR?hx6&j4N`mPRXOf`!`W4GH<8U6qg-Ie&1RSOZ}|BF&N{miMctKK<28J3Qw; zgXjqCx#5LfN5`-^se6lLV>T`awDFm@Ek7-Q=f*^j4sjwrOI|6Pi4*-9H+7zN)Z{Jo zU57nJYkTo**!VH@xXyWSuty>vH`|nzN^)qXDQ3Xny;iLjn^%un8!STekEaixe*pnG zb{$#SL$fwMBhbs6&R`%Ud(UG6%ug8ypov9bukq6I5=|8&vZ$l`&Mwbw!qAsK+TF&# zbLeD*gk(nn>#ev=Au(+lyGnVy19Opzx>bi-&8?TKj+#E3ezCG|&_LaP?9Bv#bYNn< zxRt2Ev8{z4G>9wz;DERxEtz`DSH7|mDkl#}q$fW=v>E(Z zm)wGhzX9cJ!9ZIaVIiZTKW}%Swi;!2P7aD37J!SLsNxJH-+O)*^}E>K&zEYyj zdbAtY>q7szzSEMEf%xGPv;(~S!mpo*TAK5$Kud22tQn%Wpr%!%)X$fh{gLuLVqJ=U zcLL+vkWhMfZDorzp24G|(>V#(xTZ#t38^M@M1_jT4Ui#zkXHEc_JW2T0*ouA?ksnX z4n0w`L&HhTg4$;h&h^nPx4M3u@>Y7ou(RB-c|&H}SAI*{=<8u89Rq9RL7b?|nP>id z5P+Gt|2*)tSG~8(cbn_G%6iiPLY5(&eP5y`pfL*66vR?2!8J`pLmAFx$g` zzxm>0!`9ak_-eC_ex!o5_hpk}5SgQb7o4OIw^#joj`qgExx4%;#!-<+IseFS+9gJa zn8fRLg6$%G5zrAg!QofSL8BVAH->M6H+Iewu;FJvSq#FznB~=%6VKYaBV^6TDU#fN z3HpDfovlAs?0;> zaM5lMq6vBA(;s*o!b7*0$)ab}LZ(p4w)B0yjonL;K@o1(Y{IE_3M=yt%$3S5I6}BixOOpNzLj%> z`ER<8uZ|6)2|_M<>EbiS_{z{Ev-ylo!s8}0$WqX0&hj zmB#(~F&I*(9xT3|{q2rWDWyw(O|8b|FK1h$s^?4H5Yn(FT^0glf%z&)+pta zDr#`XYVdJ7bsrgL(Lqd1UeEiw1ens0jMawK=kjAJ=g@$DFz1h+p z)StO;An$YJ0v+hNB=1*J;P64eZK7FwRpPf`+J5d5=4b6pbgZ=Uo(Xs-@!{hdj zy!9?@p*`Q6KS78T*Tj^uEWP=_2sWl43knvawZdoQ$m{lDK}{IXbuGBV2hmri-pGB| zPkmg(C`LiebZ$3@5Px;~&>+{xZfQ$)j40(KkXAPo{qqp<dga+UjK%@El0pT4gK zzSW!IuS4i_eCN=l?;R<<{2|yu5UjLvm{%@vCe4&?o-enm&} zbRp4Umt_yVi(O-}Bn`i%RwRb+pX-~-Xd643bApN7!XTVV z*6`;P%=<+K+=$P7l0VYc3`lmpzdp;O$5Etcjz=qTG3Rj2jA7Cy!PMR8GfkXVj-56dWF0+EJi;T*(?<}E76gy%{jift$I^lAyFY~u zN#nm?#IOvPEHs6N^)Jq2>9Dve;bI1H&JBhXvC|s+qtn`vH{*Y>C$k5;S2~b)y*uy0 ztf)KNZ5fmd(a9uk`V`R1Qd6M<)7}!EG?UXbIfR0BhZ9wQwDTjNwCx)U6dp4#+5;e z5S^{_Ya%K-=|afD>b~BKyoS}r$Qd)OnYBM5^8A`~9|pGaKF|pDegyY&{5b}=LfK-H z#PY|BdgLsW2s9jf%cz0V7q>Si*IE?dBAx#C;?*UHQLnUjW=8J$t4ljSr}*b4f0yA( z6YzY9?%rv@P#QFJnjo0n)v5KUS-P)RQ(skP6!E*xXOJg|>(3cF)Hl{dm$$RKU|?9H zhzzc&QG21tF8bK}$=kFqd?fhDyX2=u5Mgw2WDjX4@>5N1X5+h!8kd({^Xo*I%qTuI zhuD|dBks+U2Kb~)RL^e54bDj=$30h8YV8>9$NPSsaDcToMm=_ehS}We-9Qz)z@XhA z%3Slkc*q~{du#3~i_NTy!!th{z~SwO1NK5j*Kvb2#xeqnhAC~j>A2(&DP8}~q!6|5 ze59o$ESdr2QO>-WCqR4OPIj#6jm~Vs*1{zYGsMq!Q=Vv+a+bAg^}Zj?Ru4K@U2G9p zd@ZwUx7Ck#)VvCgI~-lAZ!(}ab!m<`W-iJ2`}aX5+$Hol>)`@kH3Y5=G|MZmh;e3~ zCjW4ZkFK6Ag!T(kS`?R6pT3cBNmz~RG0J@CR1$gp;_}w6FKy!`jr!QHLSugIP!;KR z9R>u`g|6SpSx^~xE zUV)Pa;iBQ1pJk1+W&M7Cr7cfHcrJVHEfbFbo%lyi4#B2{A{|ruoSqmFJ78ruAABD) zA0k(l17vSaI3_o0>r*$m)=luJx4ZjQ>&wyOO$XJ8uMItUw84@A^r!}Dw1Wq!_iEnAT7%qg_~QpjF}>M=nBV#hJ+u|6C(6JnRx}IkMxYmb1*^|^zP^f`meQBt9bJr; ziJRh9OrCDsn2;64#Z`c~QWt+jcR8NDn?Gg;Sw5!C+SGXd!FQi~?;qToJLp?(KrGvq z9GTGl#@?XtB55}6MROXfShkygO-0=E9JV|bMnk18(zi1hZd_cZ6kyr48!s00dUxm+>qL6*3A~GzO*}P0UxBn4V!1>gw(`hPbdz zuSI75M^S;^kb(T*r(~Q>#+_h;@v&mbB*2h?aj!Ac#41OhN*22ut9xx}^=!h_`=!^u zA%5_jBfTO#O}y&R?RPEM{g^_v^7MbI${zl~XJN8i`x*r3B@QJ$OHa0*Z%5>F_dAR+ zdX=~!;_`;BYVpJC?aQZyG9q#ZzuVy--oE-I%1iS8IYjKU@r7F@2BRNtcOcf&ujH|A zlkK4^Sfm3OQJ)HE#!h0@hPPk}K3?rSv~PBP1QupVRvM@v{ftGlqj; zx$2HH4tu{Puv^BsvW1Xu8XwL5r?~RU>dKOmJd#T4X-pt=s)Xy!|-VDH{j8t zx6oq!YeT~z6n&2r0|)_u)7li!8UOXyvI2T0IT-#(;IE%Y4v%pE`V9nt1O?OL714z# zAOf&EYcS+(&x+{6a(q1T|i;#g(nSgLe zTJ?Wl5rn0xAf+J(_@bN`2!p4o{|!=2L9(hAOIk6S5pB&IEp;vuw(FD z)c|0~znp;h51$JFV0Szt00P`q1_r+K5Fh}G;yM8VK^Ro-rEMKJ(`8W;iqD3TrZAyBX&suchb_&?2x)C&LlS0Sds8!?jWN0R&KiiOgFN2oQm~ zQ2=^}832VsQT>U$#vY6k5q~8@C`wo(Y2Z5#h9IB(Zz~}FH;D=Wp-5MuDg#9t><;a& zn}Eo9;CB>+B5i$#_l}zo0zil$_>NftuseAH2!+A!DhNj=?SGgW30CMGH-P{^0aOrz z01#x7{-5~!I|m@6T>y#-IONdtJE#T$K&Yu2$qR;|m>=mSASz7&1QGndkVX8fh9QaY zJ3sP8R*3c0fn00Z2i zL17RSmmrlE1l%z{R1k&?ggbk%mD99J1u2R(1hoDTDu?z<DBCWc>Ue`oVAz2=ydjxFFl*|ByHf$caQMH^{df5gfB@ik zpo2_wcY+E6yjyIMG(l8DLXg8jP!9(IA?x=)4uXU)1Ox-4o)}5{4~+fG;t;UForr{h zA$NiWg0wiQ2ayr*UubX$7`1%-6{M)HhCt!4I|5-~5UNXHNSNHE{ava54pKoF@b6yd z@A4rCgWL%MxFGW9ALc^h4Guu9QOJ}F0sYgg0!SJRwI@Q>WMrEBr#u9bh|JIbBqHAj z0H|dFNxM_gk@*^e+ED$K!%?Fi0D;|!0RRN~4Ak<0EYyHICxJqdpE*EL5C*xEu>mlo zMAUtP$Q}mOGJ?prmA_s5zvTmoePq*t@(?((KSn_{vRwh8?nBaGU=#}?TNpShFp;$k z^zX3yHx_^hWc5JJy2v&J{&#=z_d6OGfZE+5TN5CvsgX3~tHD1Hf}}x#C^$mW1pjIw z|4}}WZH)j71t5R5I;iMJ(!dauh(OXHcV97(;dFN&>_1vahX09eBr^=P<3`fp0%_rf z=n^l00^&&Ff7(Q6tYN)!vJuQ1Q;eE`bgyeyT$O4s3@+hn~95?m&;2F TT;%HpKoE$_#wM*IgZuvga~p*6 delta 64631 zcmV(^K-ItCz749p4X_Ue0x&U?5e6!M%Z}T+b)T>Bt}>8O#fLcduLZoG$OT4AX(##f{hg_yg8NTH2{yh5AR+{8#`vAYb2Sk8d*!MUviOjYF zW{l5n%CszGf!H2IR-{$|J_X+*5dG`cs>B1T(k4fTc)x9>Wk{JgUf3c0=<1fIgKzw9 zth<&s^_M1YZ!6yM)O0YQgEskp%8TcoVbx_iYm*bQ?`hl7we@h~z2gy>aN~6F$vq%L zz=KXpt>H^jViukn60AuMHPb%u^g`bv*>&yU+u;(xcr|_F z9tY~`aIS85&84c_1D|(I!|8K>Gq)zMe<9B z(`OXDXTDI?Wfnj@ZoRK?B$BaX2#R^8MFjDZNK{{iJ+2>X5)&RgqM#AHcRhoA+g%Pv z20l5`{?{;DlDfu?>+xEp5)>=gK29`PD;#*?g_$L=7y;(^v-3b19^ARn^U0w;w8SJV zU$N*!2A2^t8<&|(%MvJmB1-;n?*w2zR>XD1NJ-~_@Y^;=b=H*|yB@T_23M*ylV-`{ zBWhS{u!YLIFdFb%kgRduUs@i7^$(vOd4oIj-k;DK(8?Ip9J;<9k0;(b)Tg>ZRp2Dz zd)!(LdZ~PWs)HpFyz5sSqhK=sgm}p(l~J>c=`e!WWQ}B>0KjB_>I2Vv2gcm<93U5yn-=2ik7c57?M>o-@~=jov#ZiNUwB0}xV z64&@Lggp_30ZcA`3cwxH-SrS)*aHB#V1_*gj!e3VH0|>T;YbNL=C3)0i4jDaPzbmf&~a_-cqJ5U?ZNY$N)p^K_^=a`9)775*wyEN zW(ap2J03Ww)!2ft$RY^F;DD?<`LRCvDOau-{UcI;PRJzGL!9~=(b%wL zdC0+k#GumwrGqTi$ST0WZ*(E_Y==#M<)o`G*G_JM1R6O}URhgFsLCfKRF5us zAuT{lkqUd`U#vKTZW-N*)K_pyh84^ouoSvbGYKFEo&0+Ap@=A`l%#`{hH!A(#o?w| z?ao4meY5tYFcaD21vz@b3vY|IXeL=t&Q#2pxt0#0Te$OOgpw~)#nHQoJ}5-E`2zTV zFisr=7x?PB226~BwXS)+6#0yJ@8Y8dj6GDLH%&N#pO5uau42z~BR|dbz3_-K6%JfL zy1VrK%s~kQ3xcAHj@)VBpdscU1dp$W-dW**26f++BaGVv9Pnq}?7}o?57*g~?6Mjq z#Rm*yhi+vp)F%}0R`(*&wBO8M6>x8V@6VG74}KCi6S-QX4v>8AlswbHec8!dcip84 z4dpV!s33CCD3Q@F8rdL7Y*s^k2GJvBXV!A=?kmdpTX$)zVI_(gsD`E}_B&|(AqvmB z9<6RuGy{)hHCo1s8)5ul(DEd7Q{aC2_K2q_Fy#v7IvP#E|WN~37mgxv*jxfi!;X9BigyOmeO;@~=DWp9U zIagOq*KFk%sJEySDa};eQ}`;ezoC3s+IiJU@SSJ)mn_dX-2r%(?n)FI=9Kdku*&d; zG`j~*3x<%XmxgV8hQ>seaL68i38<^C{muBDnj;u&9jw&5zNvj^zIrw{w$}Z~U`=5o z>_CCM9{N6Bse_sbbF!82Ucxmt{br1GW4 zal<^P0QR{}y&C>ljuh>Kokd^O$g;xsTW~;-E!6m>4)zV25;+tepL^eb)F)`ddweLn zb6YqC^@^2(Pfg{bzIzT?DF-x^6ng5oKHOusX_ikh0eH?cGrjuZ4bOcYy=jWqXrn84 z8I$H^@y1=|TEC#FBHn%EhEvY`ra;4yo)^e-@f9Hifwk&K+4R~Xy+r~=5g8t9j9Trk zr3J2_pjy5j-AAVPE7U-LyPIkIo#Hy5)qAf9Ri)PCKdQgr{W{= zz`imQvGuShbHLkudl--NyH!ZK_*(R;$&`6&GxIYh6I)lPb5$vpYMER^mBreNz^!j! zDSUIcP#f?VqwH0-DlJ5~AiF0}rl!onudkcdETI4`{;*m8Hwc7(OtVZa)B`ezF&KvQ zq`IPan`%+KB?R+^5Q@}5RWcVsz2|G`6$QQ=e_`M_^Bn8L^m4gS*!8UpVJnV?e_4QW zg?@@dvX!ZT5WA=zIB=~zvlP(r&MX~zaGU%Q8wj(?zXHRziUd%6PXHnaAZ%hYR8wbr z>(+~xu62Jajb18LR3()kcK9+sy{wmdy|FhCH*)b~di@!;_WUQnZP*1j*7|?6Z>9eK zd++Om8qh#QZhaodv)Iz(dUOVW$OyNPg~^ zwQ?b%5FPx7aQK5QKCCt5ar<(YH&KIN1aqz<;P26tA}zE0z%NWLimtc$?;K<_=qV_f1mRj)f>+*n&~N~Gqd3D_{bpo zO%6qq6WHAq6Dlsy08;FE5 zkr6T96^DZ_naG4Q9=bS64@CjO%D#*9-CFY`>iW5bXs)w4_Yp`~lz+Fq1=Un*);>v> z+LD^AeQ~Iv4-`CWN09O(=B?TQ~# zu8w6$h+zSp1IikX!uO(%l4_ZG0}WIYZn=>s5WS1;t^A0g8wj77b(nf&a7eZbT|MQ0 zj#)4PX=dM)eiyO)0DnmjB1s_@vxvpB#?U1yFs?5N{c46R){!IS0ua{p5I5!3%r&_^&rX2!9)CdZ;L7ewE>X}HbPK|jEF zayFc)EZF)o$~h&?YOrWtNt|&DN|N>YYZt7$aSxsM?BUU<_J4+B93T=WN$Z=SOm9Vu z$jOE+;Sda3o8)^q6rNxO&tf_JxB)GRl?%Ai<$TCl{t5Ud`0l zH&ehZWhe>yE`Mkr!*B@3Hk|H3!Jx?N(mQ2%50Td{kB7!!T-BS{t5=4`o{}owf|UK0 zskf`zObme29Z}x{gSbng88Xpte|+>$LTmr zajodveqm_{)s!l)yQ_iEZuJAV{Ma|*++6{I1)ZvB>EshL!Z zC7J`1G{t^j)9X1rgMz?YLAlV8MxLSYyr?F_TwN6OvMV8ml|`TN_^;;&2&===>apFX zXyNsxI2dlJ#)}(Z zwZ8)`zkei&n@DRIC(q$4HID$wuo9(X74>PRM>nl79lN=k4ZDonI=VvHBfr*J99Xqa)k69CrFy(rRq^tQ3GimzGkjzBfy|ty$mzDgVrKZ z{B$Ob3`pc2O+YK!K*VlMA0;kj6?mNk6e5()L>A-|w~bfMEVKRnf_RfJGsE^|*I9!! ze1Fng8<*3twdZxh2+|27FLVN?W`vJpEqtN-D6+8<7&%n}Lr%cRNLhZU1oLLOP*1MaVDLU+V>$L-L$1a;JDS;an$1iK2bmqXOd%Hw z2XStv{XcrN;bG@%yIV5Xif~=$G{$C#X@9v}XnmMTstHjr({j>J>MS+5nBG$J&Si5O zx*0YU!Qpuz1KGkUb`TqJJ1k`4FdheGVpw~K%Z%u+o_g8kb}GA^vJ`k+H{eLX zF{(li(#Pz|p^_R;i^1_LrHrcu@#rb;gksb+*I@TKL>mVho@J#XYN1*CV_T$V zY!TjH5?U^{+((_|yTzNY3r-0P;NVWj4Nggl&vr`sjhs>-xrNc)9R>cj8Gj--ObH!p zQUZ&^Z-o}#vfzxr>fqcn1H~1gEFaB`<#eV>ZPHwrgm>^dI0x~$0 z@ggaIT1j)`#udK%SFn6BRk1qg9i6ReCS_Mm%D1SJLna4EghbjTp#rFp_3!hR#>xgs z%_z>~LNpr9US7ZDd&~QqZ+`!yQHvmgQ*Lo{zmQrB@A8GSUMOuBH><_JmOqudU2%1- zbG?*8iK~C#{0;tQ2Y>TQNUIhZkN=q2Yy&@k^6J`V+493Z|3k{bKa>+*`Su_0;|RTQ zB6ywSh+JgWFSKyd@t`aYGJ|QX@bIVW!Kja!vWfL%CY+nDH#&oq!e^!(QS4W6V&|5d zLwq*zxqG~_a#=N-+il5R_f?%(F$7`rjwXLkt(Xa|+X07)CtDYvxKZ$5WJ$f>fuD&ZLe5zK3;fzC5hUJ-3Jg)-wh0eL?}~ znprr@fduXh36#l4G=S-V265tomp&%Ksb!UdWy9z2)@W}^_+Ur8B_i#E6($F^lQ3A> z0n?x5`XKy-93yrP0(Q_zky2?!wz8vt=}nrZ-jDgXyTv@-qVI3qmAHs=HvxK1W!;t^ctk$ZEHVp2jh323!vxt z1({6K%^fdkys+9$sG`GIkGUZiX_KO^1l8kDA78$~>Gf+)&ngGcj?8K@L(EEl?-ORl zzImOaGk=C#{g792GUioWvfz%6SFfYYBjG`3u)dA@;1WKzPAKOt*1oNEH4ABkHckQFY^Ly8lJz^A)vx7!@zhq`PYdDgqbhW=D;Uw9~t zgj-o|c&>8Atdo0?wJ^5Sw>aP>MGlavUN949L~?a{>%Ojbz*^_gNnWdjw%wK1 zsrj;A0*eFBMwHUpEbpG`8iW!y+kV;X%4h~12(MLRiD-FDd$(MbA2Vt8WlD=VvaNB| zACi}@t>s%c=WZP=V$PgqS_pHzBxob0PtX+WDwA%OWlFxlp~o@D|qhjIw$?4>5jV;uMh>grSfC4ZpJ<=pht;e44XL;C|TrGA%dS zYn{|`#`xi0;ZFI&wE>ZI;|rfKrO616!2?Yk@j#8HCDPTsPPZCS??>qKzIf7rJS1uv{8 zHrrKA3K4p$6gHRMiM-c#U!WfBg?DW)R}a0HA-_jgS!S)P499sMkg6#LCyzP=S~I&1 z0LZOAY4?@vNYa!DQ`(7JYz?=V0p8Q&OPsYSxyZANkpZcHJh1-&g&qMs7QnV5Wn}@V znyLKziTIll(X+(W0Gs-5mYEAdJu{f5-Cze@9?E^$w7o}W4Eo4XyywB)#X)~_DCz@u z7l)*hLl^uM<@``&|BOmDUrM~CHh|!z$g&yeWQ>^zo-vl(68M1di#ynU&)ludfX+Q0 zxJhkMWp)sM@-bdTCdFl*uNWK9UaH3yMB^*DWUzj@ubu$>@UAL;HYI{){JJZfrg$hD z?vKbH&I=xfC1o{W&<9k5kKOIg%nf22S(a1{nNgFqNe{rv1NFrp(oSj6LkT}e!FAE_WOqe#XcaMx zkZOE?SpyH#L>LW93>a$59q5E^s;Bswh!opEy1L{hu*nOz3ht7m8{oa29ub?*?DD6y zk8iyQ-O&z7gk2QF)H3li1;gAP?ZO1X8sadoQ;%OYduOem0cSXmwOri+MJ3-zD;QryB&j}uTMDN-W{O~>Q*WVwCX3s8 z+9UlBs6V%Sf*7Kpuar&Dwx>lj(n>3#^u*`gmIc8*na$b)3p;r;3#x?HYG^`#2jb=3 zGMW1`!uW6k)ng*Ahp^;>%WNJHgB|MAc1b^`&)#y(D;pvxa(`{BHsRZCjr@dv>Y-Rc zi-O?=CA9Es!H>t9`Al}qDEP{5P=zqm)ke5!$b7_;I`|l42zkf3*rtdheWqw_@DW!- zBVrS}U3eV^E$J0@RB@;qIstd5WKY3{T(~g4WlyUu{ohtwKt0SX4Yu;M--2Vt2ku;6 zpjutt^+^l*T0{}Cz;a>YsZN}K=@iBk)5PtBOGD3CoWoGTM7#nG#49TXEWym>jWQ*& zULpLJG35Wzb$TI>qK(HM5*R8osKl8oh8fflyhk@K2RDx56e*ro;LL=t7093#$`pB1 z$Su$74NEq^0{$pF?jnW)YtghGhykwl69W+aa6Qr&+KluC1;Wng3MsLFY(kxq1MsGO zr++v5<^ako`YXV?!cDhkKvOy^XK;ZLd9F?xP}$oC&a5j=cPmuIzQqObN~#qb?7~5# z%YyPNZ1s^_6Kis|ernm@pvvJb z!pL?SMxGI3`6?m)+D%b^CdMd->ynhlkX~${y;i2pDq;?Sf?zoX!MF>AZnZgVs(r)n z>uS4-%|X#2&cdlW&9DWYMSO4JoicOq?%EsJ>m-Q&r6^Ae4X)xC<)O!K()D__zmb{P zts4rAk)!f66rkDQi4n@5j`|1VM_K}A8->lVgY*MDN5xhqrbtbHOp((2j+2ZPC6zJV z6}^o4TxkxnYu>C11+v~M!=-y80;Ww_3BK<%SV-ojXvWAFI~oq zU(@L>0~o8XP55fF;b>@c6(yI_1zgskdQZQJB;d!uX0#Mah?{gl}X?D4mJ{hjbZ(4^@tj**v3NJ=U60phxKL@JAtteWh~b$o{Lys7ON_t_488` zOLB)w4+po!p1n5c_neQgLM}{STsbH@qdVZDGnIolID>&&Ko)r$GljJzmR0_^p=e-% zhe_6+$y{hygL5yamRZ&dX$yrqedO-S%h>#23brtS36`e~ zU{l{TDU5x8GtOp!yX^~>zEr(hKm%@gE{e9(@~tHb!e$c;GG~I2&2vqDkn8I9fnnPu zF1GvNeKNg(C8*{E>)?0SYl~|Oi*}`cF#WEpb#NFXZYpkZK3F@p2++})1N;xCi1}p> z3IG{;-{E~SGHZpicIv_vQ9%M=Y`COaTbDM!J|nn)chXIBa#Bz4x|;Sfu0-(Fj>|={ zpK$>+nA<4sVK?_0G6 zYGZr>Tvnlv3goc5qKs+oZ{KY}boWJDMBApps~971-EfxS<01}_nf13kwyR~7RKUoY z^FfFg9T0|gz$4btlVj}o>6;&JzWERDmU;){U!N)#saLBtv+yD(Q6xnci(gfJ zMe5D{cR#*$cb<78%-#LN9aoN7F7AxBOh|oqzrXt}yWcpOHJhzec~)$M%f4)c&6;XY zRqbPO`T>g~d%}i)lB%2f_>3iZtZqwr%mTZ0YTxId6Wy|JRRiIUk85 zgk;?LyPO1hLtQ2UbEZ_^p?aXvo>0mt$6*jT*3?ZD;au*@>I?OSk?*!bd8VDX+rqG3 z$K@9__JFl0pm*!lq$C*s{DJu5#v_Tw9QTV8W@?p{V0TRoBuidyu)_ zmqDg3&eiuy`j2Io6-l_ZImP;}I>ps;4caw!y4oFnc4%PFKu1z#m%75Gzkv@9$25*YVl@}o=j#DsSzPhd{k)`9Yx{PvRAm4K z2i#yBmc(}eWx`ZZ)oru}qnQ&ke3W%_`FMa&a+f`Sf~JB3T6*sqeERHt&J}Dz4Z3Q} zB^5}+bne$xz(sE+FhO~IpgF4e>^BVN>rEVL>hC-1P#n)?v45tQeN&fIY8%u5m`U68 z1A)zae>^6XIA&yW0fq#?1>IbYluQ`4?xUpbQC+kI++$OJjFuE@das3b1ZSB&0*0vs zTSjevz1pKCbmb$Jng{A|3n@aNR~N5^3Zr(Vz-=+9jKCgSVGT1%-)*H}UPV+$z`oA& z>}Sx@b6d5;mjOEA%N)LyV1X)r!g%^EMlS@w>BWl}!LxZ(X^j5X>#LWRAYQXajKRuiquz=Xu z1|ef~z>glTCq!`C?8~U8h!dY0kaY=9mRZy9!o&6Yx2em-GT%J^5!Y4K5h;DND!S&} z{uFmb%v1?)!t|;HM+%-y3yC|FAfQK|Sjn{2Nxa}dZBFP^#sfMx8vG(?RinzVe55Xa zgB7*ZwWy!t$4?CvJ{;jQk?lUUOKt;@C)CJuZgmbpWD7AYnH`sRhIuPpfP2m~I7Z0~ zkIT!Kmcx`)pwgjNcL+OVkvn{etNIfBKDk9}nUi83HuVq;{FvR~8${DsUj*&opk4q) zqDs;o_A5@Yv^#(w{sH$vCtpn+hwmqUgK z;|p2?>jy35Y5{@-KczuwO;?^DinYQjZC8Ng7WU^wW?z$dOU`uoV#jwITjcO zwF_Uc&DKH?d%LkVyPQ!gr-pQa&fTerqI5LoFf8t1J{7usu6G9lEm^kIE}$5HHmJui z33*9_Vi)uq_zbW{f~z5@Ty_VlE$Gpf9b1S93S6g(rl-eVO!&yaisP}YKgO!Za}#LJ zt^^T6U5s1J`BO`;MN3^Dn&XlD7})#PNP`x-5DId1=`RpbIdHLJIiTdwXFkZp1|7?_ z4JN23Cg>&>m?H}vbt=wD7r~@|x^hpi0FTH_@S9nXCMyyKtte12dJDl2VWE7oBv4%6 z8Tf4z>o9y`6|_}nDoz-VK#m8Ry@U`0t;7I(+C-H_Y&@0}I=-cgFF#)>Ux{!iIuO3a zaIf$U^?@_r zA|pIE0sObgh=bHlt^*JZ$i56fvk(KO%7(PeLkHj^5ZicUowxw5Z}aXPFlc7-Pv%B8 zB^JOx83txVB#(Oi9X8jxC5?dl256-z+k&VEWao@H{C&VT3f+SM%0>H$3dA6>rlTif zbP1naKsoOxs$&;5Fau}41ID9fbAD9V)AQ!5l;d)~pWqO%3lhD3yU zFXMLRi?-@KdfTDf0BSqx2NZN5NPN*SfFRzDWHKv2)aHe=t-M#j6WKPX>^Ve$3%$TL zQ$!%g3pEdPM55z=QHhxtPpAOqvgG=~2YUWGU#e%CoGQRi4C5QEKgE7n8C3ge?7x}u zIv}b3B_BP_5tcj|csn!65mtOOxFXjhkfl*qBEB`{Qf$T+B+2y)7S>sVc+Mc*#UOdm~vQ0VPMX^zD7}9#J}gZ{0>mSGD8AjFATfPXpfT>zs|xex^rR zb%#yhgggsoK@1&QfT1sJxbY0#N8H7C3)>9QU-!X_g!N-VxnDzOVH=_zzlNF?zF9Kb9BeG5Z=K})%LotBK8 zXh}vbDNORB-4Z_2NjQb)0m0QNV!LfCI@cn+F5U|`2CXkBH}6jwyLkFNJzNT5J01#N zXl}@ip#~htf17jFjflbxIfP_6U*rF7yvLDBNT6STl21J{o(oBDv$~;Ye|Sz_46DYj z36mJbWz5i|9}al2=lFnk@nA?XGjOLRy6RxVU!tp^V(H8(UmcO+`ElEPjVMR5K94Ql9J+~{0L`Huz^9RF8Nb4beghVXiN@f?ue6<5%Ob3+vhwFH|>jY!4agVDew(dZ(v6PEU#9 z-)?1Rb|p)KS%>RU1fmcGMAP&sC7J{+3ndmKovKH32Mg z5~S?(dX8!edaMVjn{wcuGm+1Z|6aU!`_l>f_2pO~_D0$(lUoF~(J!FL3_Osop8`C8 z@qvsi6v7#0E=O<)*O@#WZ9-EOy9}35U>U`y@!KI5(%~l!yui97a6Z9bEj9g!FrHy7 zcmzL(Ay=>uW=d|?rqE%B!w)=yO;_yras#LqcEy_)Sd1B6iA#**G3t)y1wVN?c9d)2 zm2nwm2sRGSk>HdkSM z++R6kO;9Bk+9q~^cvMoczhVeVaVA{YO_b7S{2_kDFW%FkA91Q^2cC- zoWeF=3)@DqeDMA6mW;~fViL4}`Bl*7GUo66cG&O|c+lE41`r=Vi^DM7p004xH1tmz zm-ApbTIx!$B>VB;i=DrAK1=+X3FW`WKi*_lb(z>>%1Qf!3Fdo>SZ8v6 z;kBjybW~K6@P3| z*znyi_uu^wWAGuuvq(PV0+SJuD}PyUB)1WM_pi{KN63n9-ee2}$Obl&U||HXkUZFV z=#^Sh$DTWihEEends#yK<@|*8|3};b9r`*})&6zYo zc&W~u^+IWTc6ojF%c5JKUuZ8E^>WEK-Cct>)#B~B@{4uXY_|NozTplJn}6nNeShC} z{MfE0-^s=J<$bf=*0<@!&3beG@5{e`_oI{}s+4s?#~e*f++(F@cC zr0#k$_SuCBN`zp}F5t6h(;{Cl;VbBWg&+O4Em0AL_ijdo)MrjauLJf7qO$%>3nv|S zs;bn>jK=XI*m!m^>h^1;Y=2=wSqUrMk!ACI>Ag6=FuGb?-kr+@a8oWe4K64w?s1cL z(7MIejvHUoVw=LOUJ38|QCGzU=&I-TuT{Uu@hDML-sC4wRNK9>6M&92!z zf`~Y?Xi<)x##!)j+jNDc!5BVd(k~0bSi#!*4x|z=*26jP$RL(!E)+}Zv03k6l?7H> z5koKin-VW|)V=h#-5rlt^Z47{1Ml_b9$J8H|5yRh=Eu@4jRqGYau5mEN*|GA*Z0Xp=8^-Ez4(9%<)Zhze%dEg&-7gZ2S=3Pui z?yer_Es?80u8tZE>3W0m2Vj6w3yJ(Ni{=elx0am|nSiUBO&zoX>qS<6bRv_T{TaHO zN-o~vrw!jXpg_$A@73bE-Cm8@T#~Zrh4K0*;chVENVp3~I8F6t$5NDBPu(H8JT>}E z>{Ih&HX7WxPJi?@%Wa95(gL?Ccg%(ZRmPvN;jp_#+F@xICdS2|fag(`7OE>DrP*6) zFA*BXns7g_iO>V=<4xTzS)p0v^`KA7r0FA#y5^Q;`&+MvY`9^hJMaP9E{~CB;a6Ad z-7Mtu z8nM4y7l8Cku)Lf~GJ*fXW#b@9j>dJ@KDd;Q=Z@}AzlTO&3a>7e4<*tzn2h46l{FCtV52;5rnh%hxMYkkO zG!yBWP^G~wntj{oM_rsy1ALW*nP3dxFa7(XTvQ-8BTAB&(xwv8%n;B&2GyZRE1>GJ z9rKLkX)o}Bb?6Ie*#TMxDDpLg11At3i~DP!H1cH z!S>oAcOpHSSq36oW^yvJoHVjVs2Ha)P0peK1oVe;SD>ZAe*(>uGrx9B^X%C1kmk_} zUhlf1sTWpKw$_!B;ieybJ)FCW(9LcuJ!oaoy>|{QnxiwF>O6I6l0#Ij88Gj`? z4xTz@Th-4YBxz z1$%gTM@h-_roAa4YY5jvd>VQ@mTnCoz0-87JG^BwJ~`it`J7-7W)Xg}y?Lg!77?*C z5De%q7@$rVhuUB!Qt?5IbE8BxihsaQ&40Un#;qDo*PC?eU^&PP(1~SCqf6S8F^W7P zo@rCm+Yf0EMJLV*7wuQH7Z9#JX)i#PD|h^?#L0fP%(#?R$N?Z_5r~&=cr}XN`HR&) zv#)aAVwS0~DUX?^;)I+8sf!sK$F&kUR^}=pe`uM7Gs(*=-+OEFE z)yE2Gw63-D?jB*BY!mwl3yr(Yr+Bj9CrOycq}2{Hc|U%-01@C@s1w4yT++5p-W zpEZgb*BKCmAS5`vnXzs-Wtwy>DAX}9)1XvI%`}cwKm-t;SLSnt=LJcCu2z0b+g}g_ zBfQoH9n;Zf9Rm(h?iBdeZv#H8)60V#PwZA@c1u?Y|23s}qMR6`%zp-UPs?Rauz@gY zBd3Af!MuqR?n^>!@)SylT0If5+3*acYryf6u*8rNee@|cfo(kmh*WO?aUUh!qo10q zlJx!170*_zfx5m?T{jnJSvGNFg4)?-ozxZoHtjH5y`6lsj?5!SiVgbxZ zoE=Q=wj5|hgiB}`6Mr`kor(AWVmLn%nT4#TRJ1WuAut95M`%XgYlkH}56h;j!OPNG zlFb>Le(FAV$ojD3@xb5#wEd;1TzjGWXG+(@=2Vlc38C4T+!pR}Uk*SXIaM<#p_P3` zHG@%+Gx&JZpPu0ZW%2!{EI3l{=i7LL({APr3YNb_J;THg^`>jDc3dF>Rxu@I zO!n(`EF0KfmJR8IcJeFo<|<4MY*xIuJ{~);c?QsIc(QB5y}*0~DDulkp5PT7b*F=U z!x0JIP(;#$FMpriAiTM6>QxCqUC1~)VLoKzM+iH_OIjQZaB+(aKR)qM8#8EtoRGjl>K?mzx^?GN(XN zJ*%Z)pPq9DBz?)62=A%nFnv$}k=lr0!gCY&U&_IBseiZ(Y{_t(_+@+U!g^@)+O+K% zzVyL?F|$L}eN5w0deZIbL$13#r4P;=K}Fh|XH@-K@I04yY4WSxW;0X|at&)Sme#@z zjD704$>+06UQLifT|~h$Qt{>|63Y);6P9#RBK88Uu1f`2^(KevS$e3FI~Q*^e5|I} zFa^xAt$(-a3o>KlXg`@TOa%13xi%c{$EGaWRFsPoulYJ;?ew_L4ZNjXD8A<$-6$WC zvkx%PEuE$4a<)&CMnG zcjc-DUx9P0_3rkL+bA0c*Zy>Zo=6R;JTukc-+yyEVhp3I#ZTx(>2o@gc5M-NsWT&D0F%($H(*ZG>5Q>3l%k`g zi+@qCVtNM47AM6a?xXzpfyyUy;TJGuyC%JtW*oC0-vOzju*304$tW5SI60{oDXh>6 z>(ukhMK;B>=it^~luF}VpH8NjF!a_(ra8aaGfFS89@^UJ<;10R?}G)Q{Q|H{;; z$XyzNFDd?5E}PYD`ubs$^rgApZSpvz;D0pI?&_-9-t3ks;WM*}?R9e3Ef(B1sT8_S zXnWaU^=cvC1JbM1iE?>eE|-7#_`f<$xoT!L(rNlO+0P_OXh~6W=60IihNS5yKL*V9>XjQ7$s0aKhE&@bX15HKPDB%;VC@ocP0y9{%I0(-bHcEAUw0=V5`l z8Yx5}=k@fI96>F|j)!b5PGV<@Hz6ZXHgarkam<>=wta0hwo%DBB_~?GU3JC8gBPlr z`?49g^#Hhdou~*VTlbTzf@m-dXMfs<%$GW4zMQb(Y3557%;jM&wrMd`*gwvr@?QEV ze1A$dHfzPdWS;ER%%}Eh=J|g!&UiNe9}7B|GZt}0RwGr=0MA6`l*R;&l*%q%wQupH zt^o<%?ps9ub3=zX{nfz)Hv(}cq*4fM2D{!R%f4Q66YV5iubcXMijwHln}1D{zGcP1 znhv05!Q+a3*Jcek zHW}}Gp60qqr(@FWd)QY^_if5_T{lE>=^)1%p>=q_LOjZyb_Ey-iV;e6X_Nftq5m|E zr>{R!X`m5CP9o4Q5rI)wA%BMqWB1(XN|4qlJq5M65dITz`8Z^H3&ze3aQKNa?sM7P z6V%u0=nDGB_XreJl+QhnI7zJva_`THIliz;MCA(j!axA1g(+eSur5RO&MWdmMVE%r z*Wl2I(n+27#PxvagsKFcr*qTM?b!FcPJjm8E{59VWAo7=wIX%|?|)0acbSeACO+Ds zk5=rXvy0vq;Yq+_*j^yJw4AQA90}M+f7o(RX>!J`0%n>x{}by#dZ!vpOxf#Jss|Ez zLaq2uTY#xOh9D#xFDPrcE+M*aez^SR|8XrNw6ls(Zv+A| zIFs=rDt}9J+_(|G`&Y~@qbd)UcmuVkXtS=`R4SE}mE^Fy2U?;$jOU>pQdX2-pKdfr zf)qG2);h9%kuV_G02+<2pS-+!_1zn#7oK?|%;M^H!KGx@xP{S{38@!XH;bQ_?S4}o zE;L`3yY^xwt%SzS#jjU?{_YLu$;;X>CGDc1w|_p;h!J_mocG;;rb3!kLnPaE*=A@e z&I&2JR}NX4%BgNZ9jRR->HYR@Q?=#0O@*CeS;p13^|s1Pj z46M7_WrztNR`kSvj3bJLVctrIBP^3zEmoWB&7xPUxYg`MTOWQFw;p1U#32%fTB6$V(o zB9>pkp<)|24^3n~&V|g!VKdC{q|bU?S|p^nCxND2fafm|pg0cbk(J(07A)(!vgLWr#eX(d_Ae z3sSSLVqdw9t@VC$)9qz{$Vm`D1%Ef{lmu`(3jGP7EYAXEc@`*-X{Ag8Svv=jf!Erd z61Ok5Nqu6IaLM6mx=jW`E!6Vzkmx?()J9 zVytswESa1b-3ITrdC8 z)Vuej=}C%06BH;~l146@pglup4G`1DW)uH!??3_pnVP2VErvYOh(a-8pLYjmcjg)F zA>CQKr)wakVosZQ4Wdo4E)hiol%jqG+9m!gmd!nG!;%I*AQQA+{(FC@TO9jHgK%4+ zQGzD1T`%dFdUJCCi#zn}Z-280q(Nx;%gM&`mGw$#wX9p(Ot4dc1Rb;;4!Yw=#v+6p zD9$`*^)&;69|Hmkl?TOd$JkmThm=@81hLv|=vUCs*l6}S>j%tl!@pWjNatvc!O$8p zLCw6&Cz#~+1vSib#XcgUwZ-!CzNMqv?eRz-axn$a23-GsKl+o+W`7alAm5S)?M7mw z(UnWhwL?X`Zr8D~DVxB4zI?aY2i+17_CpiR8$&vFbOrZ_yc**xfKY3&@Mi=`agZeU zjYwmFov^Loa1N*pJpq;B_eA;PqZuW}+v^#sD%o`vS}rJUKM$ zm0Dh{vHQNE{&)Qt*_&w44JI1(p`6w=ic8+cm#`^&CT4sc2Kq?Xpp5aebWH)qpn2X# zPv1>1z#u&YXc>xwPZ%9#r5{p&%YLn8-IBC=S9IJEc+o0-7au3 zR_MiM@%GiA)iMARtHD%$s4&05qpt|*lPhdOT=@N zOfY~n&ULZ;Q&rv|zDoh94SzmB)2Zc~3vb}+RlBNbo}NYlX9t#(i-y@>qke{4Wuo~- z?Q5{mL!()zLw|1KoV`w=?%QrY`h`|LHiAaNM%g^>$jU$Lcl-M|?meRJ9kq8=OVc12 z9{_AXlfNR_EzNXOZNjw-i%)!!2aM3e_67PNQt;&#mQcR0sE;5YTj+E()NCpWVbL#K zC%$(GPRn&&5lG!o@4M)tV7uIP2qG{d1bc1i!CiT1>+AZC9GZXFS;yHTJ(}{q+yMHe z+vqM(HJW(>S0$Rm*yv}40qLwjx`_eYk^B_Xfbae;$jZK{+Zxrq_Qd(DoytN4GrZ*rQ}0mPU|tZZ^IU^FEkv;hMv^XKJz@95y^IM zLdv4N!GObZL+^f|q{3}n08pw}FJE}_<~gDMe_c2kK)`=1I24pf;dRj0_&-4d>~*aucDjq6W-dAE?>K?iqzFKp50A z4(o(LL}3u93^vqysM~cr;h9W?j|5l(~TtI5zB4;ejQO6f0EN;$rbsKLrgj{ zf#CQaEx zN-=ABnpPGh3!=Ld-I35l+p9xGDDN;Q|y z6v2@Eg0Y+2$!MphesVVZW|TM`t3TgcP-BT2r?)*b)U@t7T#1&ncee6`*L@k3D5@z4c0t-pU1TpfZ^!$3*dpoS8*=mvBUVx#gBAjcrp z*^D7Bw@-z<&F0Mqx#$ISw3?=Bsew3!Pe}J-NaN6D!qZ$V1~xDk8-~o@e{Gl>QmTin zGbz0}e*eM271EvBDATCGl98EABk)Ui4vtI= zjLee3Yn4Wxs+FPo5j`8efnCA2SIM9rN`ZNCLD5Ko*3F)fuWspgFp;tGRC_-WG1&7^ z*!7Yr(>(OZ)6ip2K@Xoo&nQR(U|N5O&y__5VkSY$**K2;98p?*1fyUfF5z7W{ww7` zzO%Z}rI2^^lpIKpVR{;u9+b0*K#Prleb@*#8vO5NwV~g^1%?0fI0u402w}F=NDk!= z*CC>g1bb@$+P(P=?GE=3XgX`5qU#sdc%c7%&NI+Cbxl@iiWPlvO*C&VbH#sy1sECq zR?JzUz0Z(5Jx3yP(Nxcj_DAG^WBjh?{0)VGf(8TMaJO%%5o(bv)gqDSIcN|)(tFrl^3DU9DV1yrPb7NFHaKx*qP5gtb~+I>xq?;XPz1= z=-S}&_({?pdx96@rU7+>0d;@SoETG&p)WU=4G{vI8-0WujupD+R)7Y%{Aout$@{tA zl!u^L3Q{BRfFfr;Qxq}35&$0OPDs=sP(4pBuyg^oIc7_=2>~5|jh~!+h(5FtXf z=vlt90Z!Ky>V+?7R~{-A(_)fo>EpuEJG^U6eG_~qZ-eM~I{;qpid%o?l1N&1JI*Gu zVWa^O0%Prwi0|*?WJ6fkQdl^wplR;6cj$d#r3DW*F`9t5)*wK`Drbs5MPXCdz0KxX z2kDKVAMIGw)RUX|u&#R-RhiCAQhJi#!k(rIdO>yJQKfrUHuSUJWu?3Tk#tAS7jbjI zup?#F>c~|A=f2SCrFDON`NMGhu#(Rnm*a+1c@(!KRbEi#9sE0{m`IW(Tx%uAmL%mgMB;kmk3?JH&#bnxk`=?f zd!aM!)*2U)`&~Hy^dUqn?lzgzH z2TQOh(%KzZ1EvRy%_`1@2^|>h zC!&OY_)u>yO6Z5U9e+K__p2n|FUQ-2XMKQo$c&`fi6jo)dmWVeoZC*JSyA{CsVp(r zQZXx4P&I$zjOQSen<_?Lgy`;~gxi6aFAkxYI(}=^Cw-{2K7C^dZ_|;Y)Cdj}w^cWi z?wLr9)qGBL2sN8D0eFa>dW9 z(JDN(@Odi@IF=F;4(x=&9kEnE%7*7%(_|Hpc70`Wj9F#>H1+VQfk!U(bB~>4s$A94y-$cV=K&eN9>S z&koD>C<{~y%ikae^2tB`f?tTteCcYzlf(3P_B(!wOgF!y#^lR>da&Y_hon3}4D%vN zkLl{n{|BK$XiBr=WHmDNvFhnVBRP3j~{B1O0x`A1~g0`-7Y1EH}c;F0N-> zN@k6l8Eu)6dUmmz{W8C*w+rFs`=Z)5i=}jWzP~M-a`EfMkKg{ldGxr^%w&K0ETiW> z28e8CSZ<|52+Op#vn6LLR|NGyP%##YS*d0b%=^^4m=&sh)y?4|n(-c$zh^p2tRb1R zx`p{`0$t4!w{n=$Ka|Y1Pb3w3KVnxABu5rZ<>brenG0mh+ zt>p&T^IXoB86fAnZSt^~iU5BtK=daebmAm9XVP@X`F)adQmfHX5R{CdB+I$#-<1Wl zZ3JSN5Vi&3i8sL-mbU=Oqc*^1{EMD6TP$_%<`=gp8TVc+)V#VT@hH}7nz*gEWwWR8 z!$R13y)SnG_-9&gv-4fg==t9rAk!fn9XPfsGq0YmQ2#gNe%2qiq1 z49?&~cvV?6PwmTB_gDL>4mSX=yLGuQ1E!#*2<&cGFP3=v*K|$49RTjBz5@u@XH(&F z9*cM1U%dOrJ7mOc#%F)Z0`)oYF=$9B^z3T$?w4P)*$Qs{ILnv>#(4Cgn_1>{lb)?- zKfn9SXbHm&ERi#(`LQK5a50|Q^b(S3P=7C40#8XN zL&NQTwJFhb{o#M-3$NPg>3iBi0KwP#QQ_tJi7qy9n8i(a3rK85%BEb=OuZYRY6#UP zs04t~dVbk12jgN(znx;xAXUX~UtLvq_+C2?lSOzKF;AHpW0|p?_TL}U+cGXYZQu_K zRvT?#jGR|nI#RbVc~^AE!H&W@fkL2Sl~xHh6>b>kR5BX5`6%!T5QdHQ*EnduwPCy>%{OtH{Ms+1RI1G#L~M% zqZ`YXXWs-NK=}&Wnf`|qzB=nft-hY{`jmMtH6sUj5IX?px`Ery2xwq4mZ$dyyh3HHfu7{d!RWRK>_!UF!SYQ? zoN@?=xELvw!Nzj{=(zIZ)4z)CzS@@k`*sc5B$J^{+R{6#G_4_+(drbjZPLXbMiU&^ zE&_k*Ly7_7$Pe5^+U`9e{n#DRLy+hGh(WzOpFULj^#>MWaY>%eRgQeJ9;!Pp^MCC)T- z^U_b?uJAYT=Y%ukAmZoe8bf^sRdh?0r4V8+Qtt#GL#bob8JPF(s8FnuM-`n_pr9L= zR648#mw+E2?J=4;W_9Ncg@eXFSNO+AkRuft45^#1i+x9|?&bsyz$?ppyKpWIrc8gB zfY8V#NTFU#3OyzTdIqXBe&dj1VG1~783BLwZa8>iwRbZtr+f)akbuHO@0Y{u!@|d4Rk5$V zkBxve!F9ejT~4{)JkOYs@~G>r%-Hn?kNdIO-=^X)aBKVJUf|ZAm)9L0rM7O6A^ct1 z-{w-inr#(RTpT#sKuDE&9vws-A4Be?zTZ*4rO$BKkl}#I0v+l*%sil%mYaV*hZ!;n zA!|8`#No+HT<0knP~{Nr+EYwwPckVcyb?@W`?QMlX}qwN>+&--<;qa7CeqZ@x)3g9`*)i5f0v4eWR*=c)~3wIt{nImjv!4@qepr%A7 zS6Q1=!x6CpSY*uBR}@5ML6L=V;YkmJkbN#L*I@!!1p-PMH#PlsdD8gEYrY`dZ~q(@V^dEnsP6Xhgp%rw%Sj&T*{7&JVO>7|u=ZyPTWG57RY_-XU8j6i3qfMeN9JX~F;s&%c@fxjnrxVR~N^%P{jD`&tsm<1fF07>y6 zOpsS*Lb7l4+^rX9%S_C6wYU9+7`9;t@EpuJ#{O4!344 z>bX3(lYy;b8F-!%%r}Ym0;BL_7R-R-W`==nQs{trl{h7IgW&f|2;J9spqK?0dj1pn zNcE>`dxJ%PDoF|(YQi|Us<$g&=5OfQOBW78s{=gw9v8tvR25)0WzmB7*=n#yOynac ztuIbNAlzlrK!|@wju_sK96G$*)&X=|`Y@)8q%*2V7ge}_>Dw7X*gjRf znGU}t2a5Fh*W>kPj}j?Kebl$#D9%G1h@-2*d%v8D;^gac ztb=br<5uXF-_T6kl+(1(D;h+J3;*C`%`j)jD~8T==h}a{{+v(wcoO^|>)s$roONH-$&DDMh5Jj?97q6Q_! zbMQXKqJWa@@%G&!5JEpDeYdUf1WR`{u<_bw!f{@O}YXO z%^f=j=i41mokLV5OrC@2b$Gk0pb&h@q;Gk6-*)3w;eHhw_^M6YmDf~0tAdkp$}N=_ zS4@dBGpzcI!oUkla&C|#L!{J*V0|Z>HKd(vR6B*aUOOdDUxO6o&&&U3N&BP*20P-w zCSZTIC(I^vn$=9pS5)7oGVO92X_C@7If2B{JWU+UggC1DFk9+$r28g3mZ)j@6_wtc zkGTpEm**lr(tUYvPQ2%W^y(r>7-Pzxl8L}CLh>O44(kA5)3Fgo>8KRYgbAMnRXR#5 z>Y+Cq0Nb>>*KRlgA`R;{?Gxl{(N*USsmXt4L75F|o3C((q&X1g+@_1VI_8EmyXS_! zsp-3wRn(M-U!Cf95y1TVNMN5c+sEU+2?<|RP_9%D>Nn^i zt=ju*8uY~;ylNwz11zwjV$ah)W?GOzojYH8Uc#wsuoj8hj28JY+R?%VM;~v+7L$MO zwR{!ewqQqjCUPGtSRX2cI{|!6A((He{WM&@HOMwv9*^|!L`E&Y&-(CXpaGR{F^xm= zEUmI~Y?2!0XOljgWU_D9{O|j$<9~PeZ=FI>QwH7#M%oQ9zqW zB2`mqBop~}mJ0;e1-*+mBsa_7rln5HYwja6w8&cLFWV1_ou>t})Hk0upDt}9JBexO0@2}u- zR9?Y&Kg!8vQ+5)UE0xr4?L5j3gTiS~T140<|1KnSD z1Mfb(`Su6D2rO7>7a#5yLMi5~Us&UqRA%wvZt-(*ziHQ3zkc}f+aH7&jg^`ODHogu zHEDz%jR;I|-wpVMbAO(hMR4Yw>jvG^2tOTQb^n=9SJD^luG(xfb1BZ855rIzp%#_} zr#y}@OnAFc%nD0`_~8c~)7~$xM}t1syJemM-0JRg@6rf9`kZ6N*u}MAI_T-5AQ4?NzCbd~ybC}9^43#>^P{};+`StOTK7Zf=4}(-pPAUq7V!AQ^ z%}{2ThkqDTwz*QG`0mrywX(%`JNlO}qEZ;9twah!u-(7JQEoIZuvEZ@hcVyS%-2CD zxbKzb!y%29Nrx=$R|j;8t848pv}yj9RREZ>{c$}G;%W&M;c%gex~WiLJTPxv$Kfj2qQ0jmeGprpx3&PqVmPzxnxBzPN)Qe*|lyfTGWF=z4*)I%yWG#rrq^ znN5M{#e$&%1wSzZ{O-{B9Gw9cVa1=E0u~q4<#fD5R0@#q5SAJbQ-RLIZ$I$9wk`!HW!`_*88kQ>%sjBBDKkw`IAdMl_@FT({XhBmgEl>1Vim@@3D0 z>bL8=$3M#Ev2LpVqX5Af87FChYCYYJKYt;stL&FyaOlm%KQf#KsOv?J)05?a`en7~ivHvPxVBR!XGQ+0hrI*qOy z>WdQ|vx^2qE$z%MPDlX}J25sImV?o#n#5i&W1Mj<;6J1puue&!)^Kzb$5u)UO@Acg zpGaYJ8;SU6*kMeWXkN8(*l!u_7C|tj-2k}G(CrrhZ5JttpD#_rPpP*v?GR6^lP?jyd6YSTd68L^k z-YXmxfPjD#ROV8XLZSU(o)KaSF6NfSsv?_YGa!3A6U5Y2Lfr44a+Cs)fjkp*niFvq zm;RE4pGpG3ng+}q(IiR$WL48Id;r}C%24}zO@slRIV))t0wSOib5^d%q9X5^kp7jSq6@uy z=lqOkMjf-%I)$#isn&LIXAtR@n~(d7#w7;=olQ$Uy(!ltQ%*k(h5#p_K4QD4RAG+o zQiHV{bk!c`yL~E!cz;$t{7J^ka~LlUU{xdY%yKh&kn8Eo>@BLN~(GSGFs@y(Ot8VW0w}=(!wT+ppG-2w3)`pr0 zOQOG^*K(7F+*ReUqTQ18iBB~t#^97ykAbA`5{uA6HNj`6CVw%^9MmNKM8U0}X1-#y zOZ`u7RjEN6xH&^-zRX^g=R`2#u#kboZd;=L9@F!i#0Sa`B)%s543U2DQ$ZwC*k=NB z>jxBkDt!!gVkqv-?0r>kR*#(#j^%;da=%R=lA!9?l61BQb1*aD@vjK(kTj$SO%Auk zHsw~Kx3fNx_VwZjGg?~f$OsHAM6hpVEI`3h@pWCVT zh)e_5jR6|ANOZBQq{k`40B9!+dHyWkx2h+(W))4DKH-i=XO=T}DmDw??R$gMk&w&_ z%?$hcA=Q#lYn>*og`{b#jQ{sq54ill%C- zCXIu=fqxoT-@yF1Mew&HiUy%1x9+Juk}n+}ZW7JFch3vCxWefs!Jd+qb+U?kV%^d} z02W@-c3oDV%^emoULX2Pq_s`*s#cwl6?beN>Gryz93P94%p7*+dEq=8Qccg7ptRvo zg7X3*_LTH^LV`RcYw#bMQSY=4k3IQ1JYY~R?SB`j!;1^#Y%)c0V|4NEvCC_Pc(P_% zm`H)3!9Y-AL&COins!H>6AtH)p^wq-t5^AqeT7ypqrXt$>|@r)j*_P5oDX{0^gIfY z%i`TW38W8QKu{Cm#Q@aAlxKvNrVB=3U<_r9iUCY2piAcGXLPn@go`2tnaeUJ5W%HV z3V%UFjGb|Sl1cd`t)4kw1rGA{6I^P?N9mps`+Pw>nnOKWh33Ta36b&wl9yYe4& zWRnO}YQs1Sm5p=MkYk)AE%8HbOjz?SOWqd{f|?~!NHsD1A>iDk*Qjz3GErDPjf)O* z=k_3X9*R*uKjyVKpp9JN)qqzC_9Ug+j(-y1ogb8;t19qG-Uj+9;U0?L_YgMKZ4)!j zDg|vgJ|QL;LNQw|Cl5P$$l^5FqmM$ECytQ@=Dj*`iWEITulYk!Aq+@&+f`d_Oe)V$ z+6*Ui4i~8LjMo|4O6pfz6ipdXD&2GkRdg|jKhSj~%9G3vr`VqB-C_TT1Nfu#9Dn{O z-Q{Rc!=Iz87E&>;%&SfGFp5`tKqEOodzl9`AgAaP^Bdo|uK}e?OPYr|*U&qe9_UEU znzDPnv&LFswwNxksQG<a>IE8*)20j`=t#2K2^z=xS{Z}d9}B*z(a@L$U+nB%G)lu zi2KqcLAHC$rs0rv6>BUy^i{AxTUm$s&;e%Qn1k)D!;$SRgJO!CmkJ>8CVz{Z9Vn)=N zo4To+kHe6%`?^XQ2WX5^9Dj=0VeAMPn9&(BSop#99I{R2uA8|}pp0tp=5+BdTfoW( z$3s{(3XTsI#o$pEb58EzOKQr+g;ym;mldFWH~)NsC*(-RPmRjO)0?!vVXC&q{lFYW?^u5q5;W0waoeD!}?lng!qc8m&Egyi^1gVKPF?qay*->Npns}y^vv-ZPxQ`C4Ojo9 zH_Y-`0=S9C9&EhgL9KW;3eP>P+qk-P3IfE~WZ4Q}(44ycBY2d}`1;Q-UjOMni`Rdy z9bo(uSADpIAjQpY$j@9`uS|ckAeXKIg=3vD1XgcOLHT)5x(!Q;E^mZVKm+-$2n}uPVDj_$*O#@eHclU#WF=I zB&Ds*uTM9CnE{3vJ|uZ77ZHPjfJURy{q+aThpTsAf3Nh!GjD{MT-{ATN@k6l7;Tx5 zdUAC;`DOag?M%aT6aL(>*>6`re*L}6{z(E8U?x1a{_uG=SAX13e_A{|G*|>amCVGt zW_=qAo2P9otQY&4aMMpSVW*qzAF0{y>EUs|+^l!+u>xPOH}S>&X1&<$WBHl>Z?j)) z;~07AVT#9BNpZE96T`J+?kO6qW z%Ejkc`DwXY#nSx@rVZImSocNhZLwI#QnSMMt7r+PnwX=sO&n9F^X62)D!xRAmMrfj*6 z>2bnE~W`OpLdjygs{BU{( zr-yczHM(zhwc#xK-OhTxt1P``QmeT1y6`xKOp^J2`~S*$63J#w3=^Uo393fsZMP(? zX@Qt1Tx%RGbYVE4X?ZV;nHT;F^@lU(D6i{WmVc^Eoim+%!zDPXLR%X;Zopo zLEnewl|CeMwj1Z?ifS}-sEBhGLH-$wFxYxZz$6nT-zP>hVMMu6KH_GVU}&F)-{1x$ zXmoeWhi3aZ*3url4V$nQT`;_Ob;Kb!#&tI@+JE4KT$Rp*!|-TNZ7_RcgQ1lvC^lH> z*MDhBA>3y(HZ2YajsO*KLtg#9S+3*ba(%OUx?Qe+uSh)yhpP2Sv*tWSFbqjbPk*?J zekY27&IlEcK`MH!EtZmxx?SGJhU?8f)*M|Fjf*11iA6E_qC^?ivF{jLsqR+}YTc}s zyCmLn9|Tv)#i|z5MfWP-x2;l;HR$URO@9_P_dqN06g;}~t=i+mJ_PXEjI;|*JWe3l-xixP(q?q!kt%36C5xt&O-?1$dn8!W}Y=_R#6h4xw4eg2rrmcs(;*L z(Y=K|oxBD9w@uy+9|O8e-VIwF^KJl+Ij+xj@G05=Nds;WZEzg&BUa;tRCjF`82Q$9&g@0eeyJ&;@IELW<5)ko^%2sepIB_a>R7`=$(L0U? z6~*8VmakO{1R!G0sEq{E*avK4#D4C@Q;Ntp5^Q4@c56m-1+>gz6zr1;j zh@7%3vd=8+)P%Q8=o8XQ+eM2`SlSQu>|PqC<*6*o)=*xF?5U8o!Q5B~F*Vg>0#Qnt z8^8PR>fL|dk<$4DCd#5u!|YKjkFnfOZXVwK@*AJr;>#Z=94+5XK82_c7akjRK<(BKL(&VdZf}Me!tBOK!D1YH>xx0fR0v6^O`X^%UF8)T!?+F{%wj}Ws-I&|Tn3lPI z4JeArj=f7ULvl(bbcv&XqEQ$7dVVYp5|474C=_IFfO^7ljZHH(Zn|pr(Gy`MQ6Jdk z=8yO)m_>LIq{W)WGf|6Flldq7kK6c~fcrWYJ6+WhdjTeA_wbtG0kdVqdWrzjR_JEcQ@C>-i4<=fWY**MGPo(!adODQ-G!%mYo`<`K{ycF>{`S zLIwI#fi=l7z0rM?{C_=;)!La)u4S$`PXc+L%rFR#Pd5>SQHz@((0Y#*BS_5PwuR#s zF9NCA?y>;uI#CvJoL%#k@KsbtD1X-Flo+$6JK=GRfYRfT zO$Ljo@*PHr7loK1?$9sC9S4qDa5I4Of?K9(Ezu)+@!~@uVLG@-#Yh+k>v}$xs@u&? z<%kZO79PgR-6GKQSQ-i40s|cM27H1p_!DTmGX9HnVxnK2=VwgY?bDXrL{P(a%#UG| zr(~drsMXBE_J7)91U%@luBus_xPhbOz3-7lNA5`1x@0G&k1e=x5Wxlhj?Dl#O+XKT zMLD4EWpC=8Aa?ED^q4yZ>!``gAQP|M4{+KSkm*Hq=HZ!(YqtQX-ddpN z@3ENJ8*s_mLH5=T19lGRq+%9uE=+Thj<7Q@@TNjYDg%L#q~GgsX#)!x6-kc~v(Bhc z#lQkhMym_f%c0ca0t$BC?AmK2tuTw-Vj#vYlYgVWhk1oN8`;F;hg28@2(o64()9~sW|4=*wrgIOOir*cnxQH@kGWsONm{I7F|h(qTxb-=F@*KZqPAH zLD`LTa{BYkM^v%gQ*8`+DXJZ-u?= zv)e*mw&@1tSsJ$nl!;bPJSbrTO|^@~`{sEOOMxB2--k{89G{4o4lmx-nOyLFF#7!8 zX1!mo7yXdi9ePVcdG|Px$~kk~oZyuthar<1W)Oce?vx%A?}epsPZNJL9&Vd-CVx<8 za&RFfl40^FJBRo}b9sE>vU`WS=2PsmA@y^S#1F|cRkuSXf=px#9aVP>oeY*m4Vv`a ztZ#Pv0BqvR8W91EgF8jp8JArGEQJZtp{;5`utn3ga(H*KCpw9f4*aQ^UPaWWFb!W~ z4@8eDn{#6LrZZ`L^V|@kql=P#T7RS5@w7$=Q8|zs5@Q1-Q83U_aF5%){pJsVua&AVw2TKiTtT2Nz@39XzI6;`kq)?+LW*`Tqb>P9_#YU51L z9L6KQsx514U$Vdh4>VliBY#Mg+lwv=VYiBh)06`CC7y-5EX#AaV=1ntMAfy-BFMzG z@GJ^r`G8sEr$R9LEQ)YP@5E%MY`JLTgdrF1)nB}raD+V|4DIOQlv3jS1az*X871SK zkms3?Id(@=oAM@}c@qYsYCk%+AEA1dfXeN$nbOI25McyxO*P$#8Gn}1bj-8|7*sX< z5Na?ce(6<-x8fJ#1Aho=LnYnl(mz=@vLoE0}QH|bH$MGOwzC(UUorA12|=#*sRZ})*GHhV6e1$gXpm}un} zJgRQOSU8c71BWsnH={8U1B4si5ggp6Fsf6}^;6s3ecN&Tj(^o;-?1j%CRIn$!c5~$ zv+7qffH^W~f5D_upOM!vE!kiS=EEfBBf4e!__zCbD22kog(X~2lWx<{($f0Tu?jBX zBC#a+e&k{e$0T2#n1Jo0OAy?)^6o#ix(Nf*Qq`8;VuUz60F?(!!XYFWEU1>IyqsUn zcLcg@p^uqH9DlCg5IUStEYjS9f#B~dOs@ORr+`*;0bX2^_}4vZYSI} z)Ha+*>-Jvgr}%K+q}yg0ZA)!qX1!eODl`BHx=v4Y7Y_FfWI7J;ZNUE@SU>X&v#Fmf z0UI_hHaRySHZ?RZGcYnBGBYtQG%_GIHZ?9WHIvb29g_{AULP?yGcGwcIUqJMH!d|Y zGaxZJI4(9hG9WfGIW9OgHj~k39h0Y_UluhnE-*4OAT>EOE;TYXAT%~LE;lqZvmBxy z0TeSXI5HqKH8?IdG&dkJGB_?ZG%~YLqcjBpHIosMDSxFJ%WmVy@jhSSTPVQduwQ%} za@YwrzytvjV2$h{lLIYM5_c%JLsIto?^Ca)NQv@bk&9K`UEN*psxJD=)2GjWwe~^T z*w|D*JnbKpF>#jW52?#yZQR3C_3-b=ZnjEk7yYv@cVn|F+h%O)Ve_A-zwvez7tYc4 zhp&pE>fK$?b~T@ z9-F-2y}z7aUN&2uM}B}abf(}8okap4%MC2O&VOc*Je_G~0M?iRTzTpJ=;^4PZy9Mk zmLo4#^{%Nvq%{488*7HUx~}A8o~W8{i86IxcZfCeP+cF5-U$IaF%BpvqC^7qc;L2qFfvV>6J z0)JuVg4R9%ig3C^eRbPC+Mf`?CdsuNO;JQUlsc~MJS$63-U+lzXSN?=EB_l0uke7sO zJgOVU{=6FpMm`UM;CZ~TH5fCWfH2cL&U5s^OGlo#r|K&Pf28V1vBtn?o<^tUaDNQ) z%`@=A_MI0lZpdS%HP3D(0E^|GX$SBgsXB3SlI4HIDiag^;`ve(Y+Y7-#f5%w?xt;d zw)3M=eIT3EZJ^e2pRMuaXF^nK0g^El0d@V?v% z7h;0CNSEUjoV)YvUF4rQ5f*|aH(n;#$Po(SM|e2;b6d$-GwY@uKJ1hUawoEK(oE{& zEKiqlhUJ)vq%ea}xWgF_=kzieu!7w&B4l_HDvTOtt3K5Iim+6c$9Xvb1#_WM)e@P%(65N_g)w)#f}pl zgDo$uwnfrOM$e@)u&ax*lePG$?Fi3TnfeEbyV1otL6fQq%qka zkOiC`F@Ka}ph}?}qk{4Q2+BvBMFUXFOsN#-RKRRKcvKHYWK9NH8j&ckAc~yI@d|)t zzEq2P42SGE0ALzkVKgrwMh8Z^6}QNsCZBmllB}Fk#Lk$2vtKK34Syb^mclS2JSM<|9kc;ST+%74~1xh1hJ+{bb&oW3hJBIJ&9IS1zQgUqET*>HL#QYowGE1Sm& zu9^Yxdy$h>vA#~MTmZC9RgS(NRuZseq+cnffmKYYDE)Ex%vJ1)E1uvfn#M(D@}ThS z!NjRbL-x2~JdK?N<<5|#&;$yaHTN|-wl4cvO*1{-ns=7oSAP>$QT8J>sW?w21TOPY zR9u$_8D9LedgKCboa8%(7l_t6b|9{WzPkDiLm*ZW&P|HrDb_dwW7%WzZLxMca8U!( zr7TM&hM;03dYG*QLU^@9o(bIi%qZDRf$&Ch_(BJP+PfNrDx*jrW;lOdO|?*&x&PN# zbew@^=f(nIB!7c<-M=u5NIU?(IcOs59hac+M??Z87mMG4nb>qG{zaikr7@=Us=)%W zY85D7O=`<2i5aUTqO?3i~e21k_^#K*#UJX1IQtp6EgQE(ff= zjyumq9KBl*sM|pxHX4Mk`b;o0kZ&VIsRn_UUf6*&Q&&@I$N)Zf7+P|T1&%JFud+yw z41QbC*?;XIqtPy6NrMgmN0O%eG}39c0Wu18BXi1AG8$JohwA$qZHr?c|jS34O}XpK){D z4?IitFhRQjNEIowWDT_>C1kteg+{Q)<|L>uV1FvTw5WU^e3)>2xJ*#jdMqmpgs1bo zE0{&%%%@OpkY^)L)%}F~L;(w>WupUy0|3GsItk$;;aaaB1fhg7xh5qgQ6qEQ+h8hS zI0?%nE(}I4<`Rhz$-MT&5qoW7S+h3}Cz>;#Egyk295{xqJ>|b8E+IZRCSbGR+~cDb z7Jt-Lb}s`T)Ynl5u2V>E?RYp;1$d0O84banN+T_6))R77x5ldku#1@xyMy_{%=0;>Pd&DGyA8svS)wP-E_f+M}C`L8tD0jS1x0SfM8fa)Og>a z!OF0Mnk5mxA=KP1r)ZI>&><6BfZtHlsaspmLf89GlgKkAwF@p%Ck3x0k9gmJ)1s?^ zX+IqU&f9FKd`H5|J^x-p8y@rA3gUWQa%Rhi!nfux8R5f;nQOyJ8`Nr2mE};@^UQxu zCW7TRrqxcx_w;GT5U*HcWg1utlb{Ih6e1>=lpj5mRH5VjL7Fe6Tqj1*aUlzAL0Z4{ zi*`Av=rdzB;VlqM`4qlp4h;(nUk3i-9Qn*SIQ^mriQwcu7yahv7urk4^OqCkX@S+x z{i@@ud;qEZ)R@Ded{n^td7M6Rkg>y{P%nU{Y`g?Iw4 zcD$|r@44Yu8mpk>j~$FsE%yu%TaM_}_+3gTn89r%q){wbp`EQ+VNRb~vPR7s@;I6c z3I8QvSWZuABnhS+sx$hZgo*+7N;OkBUpy}rRTO@w{j*R5BP>tD^=R2>Fl#TB*#|@P zYl-bW1@%zGo+L^PS6;bDanm9Pve{?16V}4wrD+=H_#N6f>WRY3YQ8MPU0-Fp6QV}7CTb0HGcfi^`aWDyz9>A zdSues4MTM#O*RkOmT_XU%>zs?Q?Ub0)+YL6a{U`OdpBIR4?2&!c5ok%mPRBH#_EB; z-3x!oK3Yf9;D4AN~L|<<&lg3(^rM=kNiN<;GHPOjc`*{0cjRl_~^T6P6>ZWGT487Y= zJ3q&9gN!tt(RrT1)Zlm`wL9?lx#@_$Lzb6QHJk>PHhe%~3AbLFYal|q+QXi>DXs%8l6FH|+KXwV z3Uomg*MAR8n-2!(Oto*4qNO(_j`67sBA&#as#@6U_F>h+&9txEBk))&qM*@KBn4Vu z6J^_~sRzm~Kv-&x$7*w&*zz!?Ciu=4f%d*@-`|Pjeg#f`B1f7<=O{WSgOEz(pD3|z znzbD`%4d$;6T^0@8jKTNCa`DRp5xBYouzf@9e?WaoqJ-oH_D3bo{3}$U6f)8BrPmK z6K^e{OGs!Wp}@52dIyo`t^!w-hw~mqO4qPM(|+OG)D+r|d(XJY8@GQ0Uyj`QTyfXL zkX}f*vT+GtUj}=D)KgW>!z}ah|zgS3IO9w6mx$#^dPof$Qohs~nn;9%! zEE+@G`Rk79oC`gJ#o+2ii0nv395XPxla)Cx^c)xZHZJs9TO z(B^Pw$Qb%Wu0o^1^;4vUTtCRV<0OY{VwCHg?`|I9D4;g(fOUrHUAuDa>Y@OLQvP23 zMOcze7MHmxkR^{ziXIo+Qnu3zmkGE`T&m!XPZH+I1C}h-dcNV+{moIvDoZ!PI)7ci z1{6%3=EdJqI9$xe7Qkb`!}$U7XmTH6lp##cv5((5(4dVjh+lL9bn3#eKQYY>!X_@$ z9;GkG{>HsOrkWiR`~n1s9FJmDL|3ks{J~Ssl}~uN3EhYmqfAa3bPI=+ly{T65I%Gs zHJs*rdc7=-k=O^9UrD55rq2R6UVnqEe3N%zp-~bcq#Py)EFFgWxe=c5W(FaHYn%rj zFbYt?+eK~yLCY(M!Q3K-p9BWRd6vTm)K`VLBt#qmAVCmD5CrP%;Uu*0?Q&HWZg*g8 zuaLpmt3f3-LThoyo0V%Fcpl^V;J|COm{{NFm}u4!!DXNqbm#NpZXGBE-G39i+o`^~ z4PZ{dsrT?*l^79vE=*Qp5`3Zft2x9jbBJ1vNn!dI9C4PfN(8^l3%x4xA4p5LYUL|h zJ+9eG$F`W)JKm?AJTA+*#`ASW1BE9a8>fzYxoH|_Ci_QAD4*|OXc+~p2kXY(4#7N* z>>~nSlfZ{73CwvC2L0v2-hbGN$1O7)34$DTfqGi%DJoWyl>ko6Efo4O65_mTbfo#i zKyeuwNInSpE?L~cuBDtA*AL}63$XKH~}cwYm~!AXN*3V*kRbc3#uREvmV zoV;PMiy4;4f@BfR=cRzpyCq-iQOvZ4?c|=&L17B@r_Fp}YBZd!TvaI;R{_%ea>9D_ z?dKoWvL-Gd@_9`)n3@FwTim^|vciAQqp zb2(K{P^mjcfF^;6O@CqEkb$g()-%=6Qu1(F?f6}1gfRK}K42eaDK{0hRmvk|xNcl< zrS>mOB+v-o=W0(-Q_Y|;ypi`G@QovpQxvI#$Q?#^5h*j)AknP|fJ?jiHX~-m8h|lt zhRG_bL}=ANtf7$SdhGq14bw}|B%K2FW+gzDILlP=? z2q{&F8PI6BUjTWZ+C9BgBEuB{_S`@soh^JDaGXYHoNv2&E=R*Pmj{!Sx2VwP8n>(6 z4Am5*(T|23!7{BKgds7zl|rpEr0^~ z19#p{G6N3hOz&}pfN@1>{6~c&2Gwnh>gIMQ{qtQVlO` zxD3hsShT{%AUPQDbTD+^owb|voZx*l@I z*hmptw|uRW{5{ANa}L=YI_x^{*bv2B{M|{Ptq`ZN^4~!Rm2B zJjTF{MB@`9Hq+o~$A)iX*j?7B$V>?eMKv`Ec6-0r%4Tk1q}3T~2VYJc*b)<4KqWnH z)529i7T`xPZroqxK$Jtontou))b_5aD=L?f z0&5g|uRId^6m$s+<5L&h%NUlb^>uIg_`+I0iH~E;ceY zll8$k12Q)*lQP0M1~f1(IWRGkaKbkRF)%JOF*B2_!nFc2Fq07mD1XgZOK;;g5WerP z@U1eiRzy+~CG=2Wfn8vG4w^%^2icZmHj-%Qku?4Fofj=Xl=j+-H5?9y!;kZ#zdU|= z_?D(CrQ$Nn^y=}jQpUtKFIIVGV{Nk4<9_vfl*M|zQA%gg({XK7^uFF0n?=V82d`_R zqnbGte@?w?tN#6$^?x6azdn2`R%Kk~I!E=%YNLwS6eTNuS{H`a<|^`C^UhSaR>*{( zJu;GLJc^7c=E1@DOf>Fwt&6Dc>S2i2n+#}BoCd{R&3aTc__jW;ZDrd7e|LVpfrY-` zyRI6Y?__I_hakHNB({5BAL?pcZ_=b-z;X7 zjbpV#ffukn&x`2s$ck{%?dyuEEtyvzT}MhS>>DgV4KE@;1fxI)%rDsP@W5pey%Azmw#Gw38&Sp4%t=bVQK#vJb>V-JLdBRf#jF>zhMtp3*gt+s?bs#@2ZYv zcb+AC-|)8i=t`?>R~$Zt@SMcnq|?SzIP)oM;A_wKmo)VikQ`XKQJF` z7g4f|iJrXd05?1}jZBY@Tsuu+i5os6nO&@g{lN|yh<_{bpxQR|lI`I5;7KWaE0S68 z^b{iMuaT)&JPhE6uAABD$&E)p$()Fv(*cGg7?x@+hT+`KPtBg?_dcv+FV5s@fpzNZ za8q!$1#6#ci6~>)d2N1+ejdz)Lc!l-I`t_siqbngT_N zIDzyC7%MS8xyK-jvjUDf%e+C5vMr-j8l;D+tv|Mq?qzC`Be3)wha0WRIMLa4uIBjG znST!Ptux4RqdzgTc9^J{KJ>ojc~MMZjN@zQK(ui$QnPRx(gavP@Sv6sfCaI{u}IB~ zA4!%>-Am_D>aByJVhK#5Jy*DetU~q7m{2&Z6b@va8p)`XU@(47N)CpTLt8aXOd3@h zm(XEdsePhcpbHxurhtq}!9+FL_b)t4{(oA8O5HS@&;!uceBwRi7mWp5G#-5?9&6`r z2?sltD9*hL@6UVKi!MZR&4S(A5bsd<_Vv!~`Kn-qe&i9LHyo>o9AzSXN0tcP2GYY( zoB|}P=e`!U?_0$O&ET1uhFVq!p|V z;pRABMI^b%3^q0y24$R6$&yGq!H2cyp+e(Tv;)o7k`wPxUgxE`E9}24C=T3f52j6bqNaRq!cTDEqzP3 zXP;!Y@Axb2Y<~87rX5C40dD_9>77?>E<6i4(nNt*N%k&uTpD|wys6zwIh*14rg=!I z$E-vs#5K~PmjjX_lot1XTWuX=@zL#=74mv$ACQNcmKDpo+ae^oh_|11AAe=+ww4oj zZomf~JXtsR2__?h9zc3F9eLbk5qmB>JXJCKw)`Wn!nYX7G^C76!oa-k1b|_f8^5zEu7{i5x|4ghPQAoJqEI_3MDdb!9#IrKw%c!A0onw8yZg6G&kxmP0X)S z6b{ez7R{R~e1?2%|EmD4=zod)Ocb`o3Q)yI3~r$kzL%sVz~OTTIPj>z;@st97#VCf z5XZU_mOorhsjGethvyTCDFP6z;06h);QDTqzZjNId3JGe=)%zHpbwxvAHD)FbO;N$ zk;MEY!(|-{v*q*bAnGpfV%FJHFXBUkGSD9=_3&{U^1Wk8KlQ9=s6)r;B&JJ`!ER>^ zU5ZIB{(wO{rQH!bK>@rpnzNbyB>x0;O=h0Eog8jxVyXSB{TC)GXHy3_ZC&qYs=bxPD4hd zpiC!dVrK*tv$J)kW1?r|1_;Y4F);!d8CmEV8JXe8$W$zxt%3iD;mFj0j!qVKw%mUh z2s;7|o!?|4hR$zxvUawA04W!1022#w&a?nS zTa#aghSpAYZ~lgVu7(!YhDL7&e`Rh65EE1c7`_$wPkBzpju!ULPV`O|*1t+*_(k*9 zWl>ubVLKZepslkL+^_sZEF6KxZ*BKr_*fXfwS~$1> zB}M)*c@x3?mYD&a0c?znj2v7n0H6Z^=x%Jz@QYr>!yfp5my+q1_^kpTFMB(CfazNi zKpzWJ;M*TKFDFA+Ai&wt1?c1Tr{cc|j)@6iVqxqIFanxc*uwp0e-i^u|Hf~_ceHQ^ zXfwX;9ut7^*U!J7bl=v?#Lm{*JGRW7mHcfbyT?paT4tOU~|XYk>gD z-%GB;$i`^=_KWHN^Q!;l^8atcf3f_(E&2aVNX*6B`Y$!*U;6(awV{oLwZ}gOZ%gaq z{B{7cc5i23`+rTv&HvH8otClH+oQwjZ6*Iw0pBj?zad3!jqOZ+oftD4 zJHXJ<(a;0#ZOCtk4dBJ}c8exJ_rI1Hz(8+n=ltdZcq`8bU~1k1u&@mMsGE!{zh*R)PAG48r1(qTyMzmH+qY1^c%g^VB~0M zYz2IK512atmb3gT|9hAJRlKEZ{4ZjABQv&tvwoZ7|0Jxeza%y`zXSdnFoVe-@GT_p zH^W=v!2d*G|D|_uc{_^VE^oax{SDs?O#gtazo5l${LA<^WMlaSUH^#qOK<1m_y_%) ziP<0UjnMpeL2rFF_pmny+WukjCi^2G<68}uf55kXTm1pwdh};4Zw<8hqn5Yk{AOl< zdvmpYJAps+Z^hdEPUg+o?mz0cV(fpb-^lFW-fXu2nI$XJKhpnBlJzZX`?qJ2-S643 zzBR($+QsP){x^xk@6r51E-vJ7=JYk@f%C750BL|4E01>mTWVjhTMU z@sFV}z4iEaB5c19(DjcYu)Uc(y}d1e{>}ZZbxziXPUe45yv6?=;O#NY;B4*){9_Z| z+U4wK_lLt9hsz)EZE~)Ez_-NR{#dg&Z}&go8@!N_xaxQ#_;sKQd1+IW@>*bl@Y(CIsTMl4IZmp)vK(AE5fyS!@7#LC-M{sgEDndvY%A_mvP;81 zl}yq_sYdDq6i$<68>RomB8GB*ro)G!Mmcjwn!di7LdhI^C6xL?1Lt!T#ggx(wZ51OoiF01Dh0E3kx6o8fAEb+)HRLK?-x$t0;fz$DDf;Z$4or0&U_F9WwnMb84l9 zQiN?oceU&Ad^^)t)>l9f1?~^jt+?vq1~h#~VtMq+7X1iR=V}%!ApTx|yQ$D}>y28c zsbwPG0@viXSHLuarum_NW2e_+t;6!b;19anki_P@fri1&P9OC`{$74OGdCt`QFHC^ zrA6*k{6xqS=Mk_Db)X~~GVOxvSI#F$!(d*oz;mGo9HxytMn)}8$ZpVKyc4!8@AGJ% z^13s*_O3!%(T747_#y%IyA$WsHXoBmkB zaJE*CK`&D5K`0Zu!8Ui^N1D$nDc-$3TQLx>6X;=i&y`DmqE@cj@|i7Hk!b5Ef^KB5 zE}&oNV{i}Gjmh4|O=+o+9{RqW+WlF%TbR&5^tuX1Q1+*GCI8HS4k!6!alr_%g4@lX z-LOU^$0|auL^cgENa`vd9yUih3ZC3(OC&|eDDvlJd!_ezL%rv9=S1?mv8((AFg{&3 z_%qkE$=^|eyh}q~jwVanSp+B1ZyRV(JAc6u!c|te%OUYx1L>Zf9N8oqn%E@uvM$#t zWbJ7L@UTTDgIj-pAt##M^iR25{XiKR{$d*5xT5MNSi68%ojUykxO&t-3?W1U-NwR* z#y5H-0mv(+NL!J~r$Kw2iOaCu@JttYAdG4JP~oIgvx0Wb8(jK9r$ZBzbX9~uO!WYE zeCLV%Yv!c8c($T#Uny=%IQEuBCD}}T2GQ&UoD4GvX0>*IM#}rE&3r#9qDa$VjX)UV zz4s9?Ae+2DDbV_BViL}kP!(82vx$P}xU1h&ykC167etgos-%aU@2L@%8U>MZE&(C$ z_Tqs0%w7#g5}-ETJ>GHnb4KDPZro)AL-8P@*sPfwu^3x?jN7?#7^!#VYk-|1@96Gm zB0T(rfp0y3Z#n@JW3e|(@+)u4zRhWE!~I;^%7FRVN>FDJg^96UVM!S$aGd6PW^S7n|D~{SzU>Lv{UtOC7W}qPQO(?q5s%1j=*7D z#V@^(mAaSB)MP9hj&b#3U&V@_(YfmefH`J545SdVV1Kv;k55;b)Rd-QlEyk1pz5T> z6d#oKG7J;e5)#j7gCoHASfoS@m!=5mW|n81QcJ90msB7nwSL@xC~KsP!(7wuz&e}; zjtoS9-1XtWU`r3rk~5Q;#T!+6hTcjIV<*$P*!jwqG5273uDHY|XN69)Q>V007a;U@ zA(T$Ma(y2yTIKJ_m5#?SrotK;yIt2gGs|=?C+9ETj2`Q`dbEX7Idp4_+i4}uGLh2} zZcNP^U68+-8577?XLcvt<8&aBF`2B`#I-wr^xa}oV~Fe*`XEq!^>9qY7~83tZRdGU zdVD{A+viW#Q~rHo0NrhUWt~~quB3YvP@(_KFKIr6*s-tzz!yU(3c`}HWmCRzBQK^qoT{qK5cj+*;yS?k&`%M&MLGQ3D*0qC_fR{3 zUSQ36lE3AmtFc zCp&I6j=}W0JKegCOhJ@6o0~vQkV;udhGB=d1mlDawL~~WFn9Gf-I}MuYp4UBlB9V~ z1JYIuDwY@~0wf6}h|^1H&Mx+SXO9YhCgqmC`Wcv!;ESKMx1B7!KI+U=qWb&Q7rZZR z2p(Iqd#~*NrCHT_ZMTNb8H6wb@=S->4Cx?Z=Y;X~EFJ_T$(zPVva++|;=NkW%i7>J zWv|ViW07KhP_QW0CHJMoT~d4%K!`atp%`@`JfB@Ps?QKh%KeKL*tFTF0V{=nr%EUo zjTrfDEn-o9;3aJe>GXSTG7uB~?spIcSo+$d8fszhG5apB6tgN3R1{vXT|Z{s!vP0r zW9?rSa6UTvna4de#<^gee-4T?pt1JCfw=`L-p+j17cj+SXTgzJRWNj&@WfUfLD#R! z96|e`Rmwy_U9!~|g;E(KOVek6WbYrs#3c$bzw_rp7au-8vFBg@}MsAx|%# zv1UQr%E?(eL-6saJ0#dF^MlTZH34F=wFhajJC$ss$D}XqY5~#Kl-6byo#_ikljTv% zM2&kTKNEfq>8wBB8?q`gVO9OMm4b~C zldrqrm4@9uR2a#Vj}{cf8gvbb^IMs;&LQ8eyVKmBt)-YB1yNrZ-~LG6k;51u4S2yu zPhqftwV0oDfi=p&=@N#2|}Z`aTQ?pV)G@c&Rxypx^Ch9L^`o9iKj1C zVxhh3MJGZ!e#n>Po4MX1dPgCyPo(I!jhe#c!b}f6&Lt)SB)3JJAmdhYq0eQ({a`TVh@ymQ1Ek+a+l!+pge2q`6e%AU6040vE|55tJJOGygv%Ezi#%T2BDUK zJ9QLr@z#mQAP9>Z1gq`mn6I@B^pK$|#*K>Q+bOj5Y)riW=to-exs7;&g{AdYfoqoQ zNGr;TD-@K%V6&V6;mC18{hnJcKL4oSY3jN!zJX8x%Jk!ZyEHv~_2po4W>zj;NAg@ouesaA@&%cwgCpwQ)M6;Q%M1ku9wm{A)v#d$@j8lMyKu#* zOO`BDFwUd)^yC0HCi=Ou1|Rc6l*v@S$u&!J#8kr2C?(GvX*=epKJ{x}_o5zaIskoI ztLO0Ei*RN|)_{FUGNdflOttF3h4~o@zE|Q?J)k7>eu0 zsm$t9^G*(H+!a$2sUNDNjo|Bv(^s^vAD0)lTC3pH$t@p>ZwH;O&+Jmsj0C*Cc+9}V z5D5ztMtETw!_ceyY1JQ{66`Qy+QP3H*$10BDI}SY(oN{xRE|!klFRVge}_P6M6yPG z=iTIgn_A1c_dq|;lTc4%I@;&yQRMoOa9zJf$g^TFG&AIincsD~6$T3I;Ij34Hndv< z)G(Kb6Z>bL4P3%vD3+PqJP|Y;%pJ$J7_6p%hqA8kd2l9Ja{0ZrozTpFSsW~3Lb@vv zn!sR)2|q;4F0S18DW9TAoF5f*CYqO;lnQp)0oe z%cq^YbqO8fsZwpIJEnxu3ksTQH<%Q`0p@RRU*Gs>%CcXUNsL}xzj ziVe<@IB}=m#sF?YB~mV3b~N&^2OEzHDvLVoaMyu-%dQ*sq6nEDB_Tb0B_TuW?}zSx z-}JL)HPg9k*klVUAy#)z7ST?_p;4n-%8}}D{fZtLEc1fbdgrr=d{zwNPYy-M)$#oM zOSWbdHJV7FBvuP|k%pZm^U7Oc{rZ2>&uikH3(VP~mpUdO>t7w&E(LVKAhgRrZ8{6e zLDI<}*d|0I@Uu4w-y1gA8|Z;GlTq(1$=F8_idiU(R5o8p~b(>3>&GlW#NrN9B2d+E22qLhr{ zgFK_n=!=RDV9~{W@m4AnO=lU%JQ=*79dK>uwp;?7t!0Fn;xu{yY$G^{a1LL8W_uha z^8@&|BE~(Lgq3MJ@NyNHx_t?N17OO`Bk(MxQVFsPgF#=dDbJ_sNMQ(?fdh)$3^w+1 zY|d(M%Z>sLaxfR23iG=bst){6;R+lJMpYOdryWLksP-v=v38J9{&96rXAooPm zppr1tn%hNFnb^`~d&c>qm5oP#1dpj7gyx4Ob#eWbp_py~B$rdo@68d1wG~5T%u6)s zwgY{Y9bY^Q*#NQ%n&QPj$9V|2AfoVeA&Mt3H9;^Uf(6+8W0zMaC~@HK(!TJ)r+0sB z7!Z-L49!8_bV7GT4|HEjfZL((;#(M>sjSQ%vr4R3uBaO>1?W1m$39+8kP$Zd3dyL za-UDppk){n<+`6iCIlLd$-c~dT4ylzVOdQ`Jsc|N+awk*PIzCwOJOSOGyy$LsG+X< z?DKR}*U+fhQx~NN?>{|%OJ+IJM(KQ>f zCO~(I1denbx&&#FLfD)?fGwFfNEz!HzvXzSs`FeRt{f{JHpQ^4)}Ib7S)CIAt(s`N_9^>%N}+4; z$SXbvO0+WR^uwsV;hr9Rz?}J^ycM`Xdc#TTrv2T+yK+t!k0nyai-hINuP$(=KE@8+ zG;Ez7zC_QsdZv zRcIWp@weKbNyXk_&`q%f-Qrtp&PoU@eGV`k`}l0ts6>C5dj0H5;ooONk3un`yxAqv zGCXhX@kEHl5r>iUPV;(3_*;3e&3>I;eWkbyo4$A|^j+P5JX66Vk~2f(H2lk2)bPd` z+#2hrYNm4AF#SgnJ|BB1njO;;GcI#d{D-1mP+fsj*?WUIy~!qV=^GxlQm8z)zQY!X zElEd*Q^6t@Q^CMh&G!~AW&T~uTiq9J6Q@U$D4LGQ`}iW)H{3B%3nm26O8MZ+fH*9ax)uq8YheZaAHgM}`Er@3K92EG}dWgD_EiEC;K02Lv8-!?%5U z{oIjuPSxunp_8|5L!F|N7;UK$y$~y{`L&8YFC)GVqD1gD?s6Uz+SAEQkoV_4f}cto z@Bs{eYKzFa3=(oqmcI`;mGC#a4z>Ky(|P(t9g9BmtT?z{BxhtAOtaY9z7mvSM+_S^ zU#JS(>N#;~c3?JQxE1}`rB*C!BAK@vRpY^9xv`{d9PEL*6|CRv=9QISgITxhGi#AV z%1BP?>_v)R=eUCm(5@yeN%i>B_uXxNZ0tCH2j3CZkG#ud3ER&ZV9iD4f*i#AULqk% zybR3F&$7LJSNBfa1^$m#T#_1Bv8K7jX%pZZuVc@TG^q0h8lp#q3CR8Q2kS%~1eGv&dyuD=iwOASlkt-bSp&&uqEOf|ydU$2O21%#{~o+4)-zaAZfv}Q4-aHG@l>ny%@oP#7nQ6A zM6ufkon4&gTfONxaC{tac%Ed~4(|gcfQU{{AcBO;H2bS!@AG&PMYv~uJ{6sQ)(;X2iFik*@d64N7BG@ud%wm}0*AsqURoAHh{Kydx+yV(a=s zgTw`pRA-RcCE;}llY@4bZup+K2h{W*!3Ow#7I0BZGWuXl)#(s>&7s4bvZyY2{x~0S z*%C`L1s|Tz3%*uZEgGZ}{T#-L6!@f?pZ4HJRdHs98a{;XFwMPYVo8#J-&DDT9%c^h z&Z8J@Z41NN60?QbRxb8$~nX*x^aFbK-=E-;Lb7O?!E?vcEqhMe0i znI?Xu3hp|-griqo4cdPc?Sy)aOV zlr_|(fJir}vb#Mh^zg{I&0sw=IU>jMZcWd8-uw`9OvgkXK@&-TVO#@-umB%8I!gd3 zyQj{O^##)Kb9kCGD-QKYfHWQU?6P{k^0q?6NQGdDIK{^vjGmU z9G#ez1jm|N>H~B&Vgo3mvR`I(Q~HHIZDf+7fasnxlkqAx?QHn&fSc>B6Kw7eA65C~ z_K_^~d6^X0yG;at;e%K_SR4@A!Eiaoji`FrdJg%pE9+i4FN9Zel4=>6ST|&^G3?Y|)I4RbO-f^{MVt03M-YYWa z0V>=e!J=rpu?;uuzePKYXs(SROpX9s-as3gZfKiCDHpf_FXXy+$dsL= zV^WKVFIZ>=v1<=D`ZNd;39qJAzZj5Cz0tx`?(OE@%R?UGSynFn`5xi4jcXh$NV6U(Ro$@y#+&9C;pk^@MN zO}+69;Ab}RIdWk!6|J|j4MU<{in!G`PLNYMN->k%>;%L8@0C#F#pw<#GUylKy8^4y zlVN>-qPK?{;l6=`9Nk5I+OD@WWeOpMkrPQW*fG;($X6%tWp;aD8RW;8EkGH=IwBE% zbd|$_%$t!PFLgG?VIzS6C6Q*5z}KwO323LDPv@I6HJ9+6!kx+qB$0j2_>Rx`auGV) z#|q&p0yAVKSC|ajxCGKVnZBcKQ4xLbFRw#?U*VojQ%A4M`JsD-Rn^MmyzyK^pRPDZ zID+e7oI<3WW_35L;9a9=_mQSTC$!0|GH|g?&gh)pDA28Hy!^g&Z}YYQLy2@RCNAdzS zT-?hGdY zL97J&lA4+(xN=^u$ACLN>wwd3jR&PokN`GW97TaOX#S7kWQ27zEW7hyJUo%Xos{#} zM#Xd*5BLsEO{+iO3y3lilG{A)lt)RBuY?k}tc4Y<@@>N~R1`WBh2M-f}rN&HgFo@+Q+}G6-?>*MNu%N^KEGTb)JVIq?Z4VA6 z4YN%mK-ghXa)cK>(L*hR%7g1vVzQG5nWZOaSlywh*nbA7m9EKIc(O3#BWyML2@BJh zTBu@*;)zgqm7hJ2OB^7I2}eGtxm+;*{xwBh^b8-f7Xrf?8 z)`*zw2HQ>OzFUszghEmyJ*H~n5bU*TRS&^roO8=2lif-=s7QJq(;{T9D;7;3WLc+S zL*{K!0OWNR)NtRv+5%M>QF2?3bBHg#Z*Kc3EU(!%IhqDO^JZX2 zfM6j<{u~ToA^ZH=MBGUMtc;lt9Yt3PU&;QlGSfKU$^*OLX}YVTae6*6HP-8n4E_)z zSdV`2>9S>rT?`g~IWidqof-Md^L*I#bceD;<9k-Rshn?0tJnc?TpmKlkT9lvoDHv# zs@BVXm3|9{_8JnL)WMVt9_s<8=i)4zjq3TQ2?gldRTesp>a!Ek?oo92F6>{fLhN}* z&v#JzFA5j9e3x(@)gJYnf^hdA6jG=7TB-alFeFd&Ss2%UcUB4(+#h2(UXZ3TbLifG zt|YJ$+Dc1bscwBhcqg4+IqQe{X|E9sc7oM~%0WiQFz`ucqPZ4PdgWj*{FCC>9FB1> z9k)!7Dtq=lo;ESc=Qx^;!;5Z% zgh^x(Bv^|E)B*Z22tY#J*t8(TyoNvRyq^16O$dmpeGS7(>JB5>Ogv5BEPQ(*t@Yxw za(OVKhloHlVs#+GYaJCHOn^)Dj=OY1W;k~Zc_oy8jA5&$^DxN+E@1&$&Sn%pSI1R! z(w?$gR~1_mwh>T^-|O|RY*=R|pf;wgX8$5oMVz0#@@gX)Glqjly(;aY0tZwd4QxYy zKJxoW+xR7%jHU%yQmlY=@w+2FYhJo_$uL)?g~D=m#*ZB9bqMVEc+Bl&Aq==G^>k(_ zpDId!iogn2r|vE5ksy+c&$CD~)n)tWTrUtVR`uP=d-pGp2|_(L+4v-ZqT~7s2N7rm zGB1PD8v&4Kjx|Q0YKHW+HE6DweW~|i9-mR$~-pC?v~-2tJ6}Z-hE|_$GKb7 z%1Jkp18%ZPO7>I-rkx(>x3 z8E-=6AILYFYo|HPTrHscAc0fFl(ZZCiAV3*06Uj$72PsRh+uwy-1ndggb+RYAU04I z+nXJQt3CBW^@>R%Pm}!;m_b$15T{JADf}$w$cp*7Z&uk%q`X*Ia+KeRr?D7!Es{Nd z!80C0}1B7Dny! z@IrVWAdK4S;ETHyy|1MFoOM{5z6Vdhm|~TCR*k(*od!P0&La4zTSykgb;I-OGoEow zJIez45RQM4E44Nsmy4N`qT2|Y%;OOFrMkOBf{db0J1^=WA)ZO%zIPH zXd!vNVqAxraubMQA}5ZeH}R`K`D<0i%B~(eunAaQE(wLiuU_N*FAW2rsiW(!d_9|x!a-@{NPBZ za|5l%Axlbjlmwch$?Qs-^@{9&rF_(FOj{W2-4PWR}f9nU=+? zUea{T$B~$K0v9*F`#JwL2ymTzRJ6T1?GFVdsWY($+d8{(zwGU_@>QvR;c<~qb%qEk zld^Thd3lQAs?9qQLQ$+X-sf7Oq)t|RBitusQ>7!aAq5_*;!GT$k-F=D$IkxNGp0AR zMEb|LuZV=c0Z|Ley7&c-y#C3=BECQ<*KE}EYe5Op-T4?>xvrF{(h!S+FGSovHt|q8 z3`7jkTUfBjgw!i4O{nL`;%0iB18l|1D#HP!6#aup3}2bHm&vvnQRJ)G<}}{(*wfIW zUP`!Ac0rD_%)tc?OAwHM>-Q;HC%~$F63=IT+Ea4Mw}!EszaJfv%c~KhokQ|)lAi|Q z&~F_{O zSY^`Hlju7*w7O>}#DyqQmt@Ci&wiHBvU?}J{e41V8``lx) zYh#<0GMvPyReq_HMt~JnB&v+^Viv#;=!ODC`U_~d&)}9>uV&(B(5@dW*{UFvizqgn zdE=-Y8=D~rqs!bUc;UvbT(hA{7Pef&u1P3M(LYM|F65sEPI~^ZWXLSx6v9bqHRC`k z&_tD`Zd@$%dw!>X=Xj5R)n2gjXs18j|2U7?%Do*Y%OjRI)s!_SlM^qzTL)c7yN@=% zup0hTg>LKPCaqoE5&~^YV-N3KIkO$s6*AmZ_dt0k#CKmSf-Vj%hTQULxeF#_hp&b{ z{?amAhXVv-$dOD-#TI5n%3;a3m=6VP3tRr2E%V5Q>6egy8@3tgqgsumnbX7zSxN6} z3?_{o8XfY^9%wEq`Ve5NW6xGmkWr&HvxiONal_L=`GSi3!>~`apeKHo@(E7x3 zg{rMt4ls(7Wen*MsK2{J5MXY$+M<^qfUiM0eD5?f}If({jF^JzCBK`ud$J z)EUHOxi?~eI9BC-7!lJ|!KyCJ>_te&l>J7t(;>*ugpE;$Jj*$c&1Nf|NcD+Ctm1Sy zKy<_OQ?bj#rbX;Zsl=>`8iZ!UXqV%JBhE9SDSc1f>_>g6DlO;97QY*RbrI>H=)hW<$1dF zC$l3-F&7L{9= zrfh;)QG^@ZBe@X@T+0NQoqo-@FGC@G9;tbMRu^{gF0|gk&=+y)B*=21=;l{joObM) zx-1iyJ(?_FLHCblX5l=k+uv*h&7Ar9&`4@?Do+`6Y4rN}si`>PFk0N+To>Z0ryLuV zOSM1%k1maQl+`YUT(sD+ zB(ZKDFsG{h?A~Pk(}#@}>zj@~eKIRsIN2`?SE>uS6OX3p9HJk}vR5h%j*XQ#@4nt+ zuwAu1!uQ>KQrW{8rX|`81loNNtvCor;CF3kvv9PL!HAPAICGX-R8K>G@KA%O4u!pS zR21IUKTMZ^G)PH`q|-BmG>CMk(%qoaGIW=K3@L(A5-QzFcL>rb-O^q9j`u#l``qvF zto8DbYwfeo+5Op@!8Mz!0o$MNC{(SfksRl}#LQ}Tp;ImK1IlZGASB1))fBtia1pCj z0}UWww)9pt&!ZsQ%@ZJVaKDXQyS2m12>OEJN}6HrlL*G-G|;j@>(E)nf(k)3&)X4 zyMD?9)&I+BeCNUSi{I7qJVn7Oy=LsJ57fua6IElo0~(|}+UBo?4DT1d)NZ+CMZ7xz!saao#u)$D&9dgU z`Qs&~Vn=&ybAF#j4wnMvP{&Le#}KaS?>$|qpLsttoe7cO)-k8>?&pc3jIH#D~813SM*Ny&dT@XB^YxaPOa&3RDr$~ z2L-X;y00anT~~AGo<3#jOWKM*c0t5OLxL%pGjSwJN+}JhuE;s&Otq#c5nSRm-npm1Y7Q$Cz24dhFiWX0HjnyM8QdC+ihAo^a8@;%VK3XUr#16I-)cp7A^(W;+o z2UoQwLy5En1b4|lRJwia_Y}j|*hK+a)SruDvqttChb**n8?(5cf@#t@vn{gGan(t4@0rMth<11=TK zr^rh3l-&GmxhGWEzlNp{y&LIyb-y6{uM6{Ym0Gyk!%rU-lycwlaHQArsl8Q+hf|9d zDE5UZ`40*s@5@@Q_b{^msmOjk5T|QZlJ*{7$lMU|kxFwS{R(;h&{^SjjN;iX;t(>9rD!~SBI-SQvTaT&pL;Cz;2OK7;M63o^+A_o z>SB;o9+9_>z2GlXm3L)I#mt;9L!wh6CyI;L(x@9Idy#j=Sl3@o8OXPPVxi|)I_h(r zuvD5)A}`B1L)4m)#MrSZ1nGsFxH@9G@Pr`$}fB8rPb~8|2%TXAhFMkZWWe ze;Tc{M0v+9>SIQ(lD8E@Xn+;vFRGTPK;!gjRVDU#}CnBZqxQh+`r)Z zQ)a&dHLc{Jrp6YRONl2z+hO2A!t(M#9Gxg?>DSuMM;(&24)9t|1|7lOrg4i1hUhbI zgAM)yg&?!I%Dti-oY51(hA#fsict)OuJv=xou3{_br?j;X2!CN<4hQLbuXnvboApD zJC#C_ZmU)Fcf<+p1oNaQ9h{}p?EU_9AD%!$ldPCAuh>^A?KHEeOWs{O}MUiG$xC! zjrIE8C|f$oboI}MTKK#uubAeod+Bg%!^K$7Ais_y=IEu31&qo-M?5Iqz}EYdH6nLe z?4ylwweD3wN-=#ZmS@O-ar?>>i}h4&L z;6iSQFh5;`_nq;c`uH{e)V)-X7}nX>8S}FaI;Wx=gys!Mt{t{6)mO{!bv#R;oKfcZ zCK@?=uS-(_>KvjrRux!9xH%}eC_!Za|9leMB5RsO`3@WSG)soADfInO$a*W}P3({f zffAuJYS1)d;7j~R;f1JvGj5-;VX;FFP9G%B)6K8OA2QuNXc5$RZ(9s5vn<|;Y=1(l z;?{QPbrjw5YKP#}7dP$jWpP+=o8lvu?K!djz#&({m3DWeL~CWHo_%EFt?#17F&6Fm zyt@m3^aYrP0NXmTqwAFvQFcW@+o_X{Jd@=PKLtJ>N)K}oSC~dL-@@i7Rk?k&FA9z% z>LiqfT=exANCZ1P?42@T>b{3sC2{L?q55b9$cftt-;jc!IFub5cPF$QarFc(_l4Lw zUz9>ii%3~5%9Nd%zod52uKII*O3TlWB|PkTKQXtas=2m)QTsmPUQy(-ZYPo8b zT@SNcQvBc8m6)FF5s2!~-Fp_)P}(nyOj=O!cnf|S&pce4B$y$<^lV_VtHa%$X{nW% zTJQ9A|6;04oLYbS+URN_3o9pSzF`-=QNjlA*>!v-`VoZ@~=t z*_H62@HFBAD+R01H;xgz(AGl-DV$8P0SbA&Y_Wb@BIIm4tRsXKk7**KQ0a&z`JNJ^ zZvL2c4xD8m9^(1!(#OKHPxaYTk1NumcKY7sST}O&#KjJqSNCI9i{4!%;mXb(km^ep z%Gj$%R;UrIbZlrK$REGrp|iAfDkdGG>GyRuR!r+^Yz0^9;{T-c6j@^rM|OYDTgG{> zKK(eOF5DobS=UMNMf$YBta{mk6?9ZVhdLIQ_PMiB227a7`pRu?gAMiGRQi2rX;>+p zQU1!g++P0L{H(^8?6|ak&wvTM2g~M_Q$+<@{hESHn>3#uciq>oZ=b`(LKQ%L&**x$(bL%ShnBjlm{i_ahVk))CaLJMs7|_?y;?o;WibUPSqUVgiNy)7rO>Tx3G2 z!n_J8RN21p$6k&*+%G^@jP{;N_l)XaeJ(YVApketc5RpaVyz4gy9Z| zil6ZC73X@Iprc!v3&n~deB_TqYS-mGZKL zwtQdQ1C6TX3n6-mRA}E*bA1a{dNYKozZZ1aCb{%h0ktSJHK0^XDW1dHMjU)yZ4EL^DzmnItb|d!at>u&k=c zbc#Q~XyP8{Ml1Eso}_;xi7|2||6EwR7~SwYIdU3jao3)JW4b4lbezxna>sE{FS%}= zjbqx+Vw`0L(W-9z5owY!r`Ln8md!9@EpC+~hhHr$Il;}J^r&wryFd}XD8J7Trd#g0 z0b-gH&~pg^y;j&!Yod^NNX-$Ar26?Ww<2HA6c0Nof14%1r+y)FEnLL#_jBJPA7_rY zO;zXmIT=*=!8u}B1e5}1XFJWcLi~2=r@vl<3t2ztR|>FSy+itbOl(EWXXs^m*UX9b zqJk}_*9X@W+*&5QWAR!qf}9H|NYc_WAJb>Sf)d{A)2yH(YlmLhFo-P@m)JCgw2bLr@vpoj8lTIb;@0i{vgH7O`KNCr zH+#6Zf-I1;6#e{5s?{2zuZs*DyQBk^4MtR5a-_5$_vP=2&)4!5WQF$4a_Hel8$JH) zPiNHS6jZ&5RYUm)q)A0Xu@Jv|~J7Ba21TO{2J48F)5MbWK}!K-ai+_UreX zyekWjCqhTqLu88`&n9z78TXLV*v-BcksM@je_Kfy?R>WiJsls3*Vj0R- zY!RV-2m|X<*KDJXr^z1a>4}j%~xF-9u(hx8ui>BQ*?fdfYtt1?fX}R?ykj3H@ zUG3$J=iFCy#Q347RuLJtoMWv8ZY0!}dcsrB_58_|wT(3O?<;-J6Zj&6Tg=7bUpg47Ze_Gz z>-@!ItAZ3cb|;=lS(@Y6I5X4AeTkM-uxJaJ*+{2Rp;1xrf;l~_n$Aa5MbF3Bym~9G zj_BGh(tmKlzdVEli#EC!dyOf;$M#0=&yp- zAA9NXF;L2f-22#UM^m96Ml<4Zl;?sIZPM^4)AHk0(FTP*ZY$&IZy*t}=917o1^QsQjm6ww@dpH-2M=&7gaCI_>^GP;g zefXe4t?%lch~AekdgfuSxX8_>%f)&v)j)Rv^Wfv{TZ}L8o?&^V4<}#?R0JVk?M=7p zF-LpZXYdD&B;L{GDNBjV0q!BQ2IKfEoCUXtU$>-Rlt%y`n{l zG?S3`>>UYo<;)7Ar&1$ig#3F0t<^i0;6f$ViHYd_c?w>-)i0vwru52hB7h|&I`^J1 zmO{;ZGCx_1z{%P>JK_K_bxDZQ*Ps#J4JQnjf!QTFZ*8g^sb+ zp0N6e0=O5tT2#{_E3Np%%e6nx!9?X!=AX}ry0Wn;I0A}iU4EM;QmzzJf(v;p>2m-S zu?SwW*6-Zo4%1&xDx{dSt+OQRU)CeT^%uxK-sc&MdF)7UB*3c@{ld38r`i(5OZ4h7 zpsp^eUu7o=EaLKD;EDFQhaqJ5Hw+87yqBykXU-?z#A_+9?;p)^+G5S@&TUr2-~g3; z-_&dLhJfX@n%-OXGlzr^--9b+@E=8tE(=)Mg+rfOm5UIHn1S*{OopF9u@iWZPBq;l z-?hI>tr$x(89zGT4pmWZh2D^2==>M`7U*+O|TV4@ZM1{KUi)y=4NL=fVm+ zC3@p@f;H4B_E<=Xu=5^@Ts*nMs)C`nOj;eX?!H zp#mA_@3dW9=oI)%;5>+?sQ+N9(pUNOdXz>XH1eV?WpLxGy|2bMV)n;EAMLEzqEwX! za*5yA2G~^#d4GK~s}4x66vaZpk3Am68LG+d6_0j~a5(jh4%f-d>MC4&BFAlUfX_xO^rAZpC#!Px zg$dyrRVCT<^jI#1M3?trPJYjRisdYmRdX(Muj5>&=co;7;+yFCdTh~M{(5saH~CJ! zE}7iCZNZ8lVO#76CWrS~6v(ypt}JVJ3Cky2_*#adS@l88d^Nd&*UAQk#e3{C*;jSy z+SkN)EQ#Pd^2;C)n+hhGwU10P(q{XqfsHo zvF+u3@G?VyW#7thJJ+%{*JkiY_VyZ^S9-R{@!NOk^}-6b4K&#A^*{d#zo0sGAARZW z6Q_=t-~UPP>;9N9TS*MLZcy_2ZA(+Zzy`Rb@6@a4nMl0<4BqjlX0V(#bJ^S?xY$YOqc^ zI3ZlAwV968lh;^sZFS!|QaqPA=^<4^YDBJl3eRd_>#YLyPLI5n>Rat6@VI%#9>AnC zfg|4d2xZN!>Ob>AxDqxX0!_Gn+sKeD0aD*c=;M*bew4({TP@n#N5O3tV9i&WRX+?G zT#8=2#vSi1Yve)y$0$?hd&WE~c`BrR0a^)!1zhe=bjsa{m{*qI9J^N{Bj07G0)Iy3 zU&Wa>^t6=0eaR?~U(74x#pWqIr(k}IWuP|4=?7NPHX1n^CH?gH{j@I{h*uM~oFyeD=< zNN=5Lfyf9rdSq8Io7#FeQd>aPd1UA?$m(0EA968vz(0Uy{|t#!K&!uLxZxzk^jZ1x ztIn9k487>?mqP8#GUMXu@FzGF{05yaF$4|itgKY!6|P&O@gO{v2kk%=3cLrFE@AI2 zrv^LSp`3xuP)+2+$J${$mN0C=hSx;~F%N68eew~wyS1m(-S#wjE%!!N>qhSH+UKLhHvUu7t za4qj{HKAoiU{v%q8S(K&9^kiK3|@2ET_63p^u$EAr6DIIo^@nfD%WEG*E=ow@{AY& zcJfRg@3P|-5!I$Am`7j2KdqoRb>Q*#G^=50jrEen#6TUr_*y{*U$%-X%ZC<0Z#!v69-$DEptaX7NvrbuSw^IfKW*YCuMv!qWok4jd$}j* zF0`~3vkyN*l3!)RhZ5_HJbeD_i5u_|R(^ixBS!YJ(v5(YG%XOfkiAV0VhwHl-S+9l zqs>yy2QND!ro0;Sf+b@W`}UN;=uZR2;l)l*InUKU4M*O~_IW;ILowIOXz;QvZ^SaP zpa1044R0;VBUb4}tOYM|4ojG&6ae9G>fW_xIY9SKiZ- zQfaY~@k7X_5wOP&7bJeaGn4kGRNAJiaQfW%6P5@w#Si?Z1dID>1>^~DBL&#xob)Y> z*LCySss$+>QgKg>gU^SI?x#xO%;Yu66Z3O9Hj!uusg9I|Of1a{t=o@+t`qBOT1iKP zw&H&A`aicB0FXzjqc>~4SLRCAw`j3_FH}BmCLDk)sz${2_oh1E;%amdLxfRj-BAh9 zSYa|atXkrAG9YS-xr;p-dSE+mNs}uUZ@<3?yz21fi+V6d1-=w9n|+*m4KM+2geWF~ z7KB$#6uz|kC0rbYi7s=BX!+3F`a#d$xrvp8n~2i-z3W)J8*uQRH*5BKw~C7IyTo`A z`^OK+%3E>uT`kst7pvhpqRniIf);tU>Hbtkk78fO>SdpImTXq{R$)1|TwEbJyz~S0 zxuZaT<16jc?JCa z)YyUclgT$#U0rEf*&L=&bwyP=pOnC}-&4Ctk66c7g$-LWl`a-4&kwzF+_<;f+8>DQ zik0Y3X&wA9Nr`i!x6_3Y-s$J-QpP%Q(2r|mZVng_x35d#P(#&MUdTn zq~dBgdzN{Q4XOO8K!JiptepI zE>L}#?Bs#vDWt`4hP40TG|p4`#f*Bn45d4V-%K3cD+Zhx159~MdR4MgdmT>XJr}tL zKRp|EJlL7-d6?W;|0(z=ka(K^s8D8=0!dfP5bWBVZc8HcS=(Pxy)b&dMwjaRYM0L_ zY>Ga-o~@X@6X3yNRBBczmz(&6lw11kZb z6-$1#vbqQyK33Uw=!KzaBm9n)`0+CUotvHydNY-8Dk$SC)1T&c5y@8Bh34q zOAiDDKmW5lWS1Z95Yo#3S~gzj!^^-z1LOv)fOc}5La zs5aT;E^>^F&yY_V>ptMjM0QsN`P<_6vL!+GNoV+X%&3o8oin(IW5OHgwA3 zTVlp-r^hOm_Q86x_$srZ=`DV@S;N<~p4Wm>8E)ooSihi!{Z6%QIkWG+Cb|>3?)-Yx z=j%qG0#3XoG%?P}eLGtg$0Q?tHh})q#b)S;2i~JL2hCAHm`6^D!R+Sbso*A=P#w-D zt-O_VA6NR@>0u${CV0DgXF>OLoSjtWejnhDesI_!(y5Ewi&cyy zgQ!9_i|36KR^9G(C{&nW|%LWG!pH$Lf?u?cu8wm9h+{+q&H*09@B{5KJn-R*~ETluebfb5@pJeye@ zZ0<1nK8jrKm02FJ;F}Ml{dk2q@&ZX5x%ZEl6ENJN3jD)pKkr=oGaw|ksX@J0rXqW2 z5WwNiSn;T}bEY?;5tEo^wON+D}hQ) zyLkMDm(Gi(aFTN^^e2Kn_fb|~Hogasj@)wyjT?RKV;A=D(}LFte+x1V@Nq@u_8wwF zNH|kckf{ah$JRYmg4-N+97%eY8tp)R@>SS<{!M0U7TFi_D2}h zT7uzGl{U%$sX03T`%vJR(d8~la1nX5xVn{;cEmNw% zRF-B6^3nA<0YTr4V0iw_Y~Iy9JmRTbqgA|g*plS-KuOmF>1-9Gb9})?nK71E`9wa= z+KXKFd?L>Qo?r2tcG|Ehn)jRPT@nwwReaa%mS>_132OYul42NZ|;jdb`@0s9nWeiK?>l-MBvcd>iIlCVW@EiTHTKFCbN#;=VZ2 zM;&@U2L+jm{5bcVOb-gSh?+z63Dqe3mg0qMg_J$NK>d1aaPof`16*cJY@I%(G*{*g zGB}st5vVE7tBT6El1F7zHvVwiUn9~e#!>SQW1bZ%&NJrvjC{5t?V$O6n3BNnYFMms zZd+-PLfzu~?fk3O9gmt22tc6|I^7d;e{d8Jc$ul9MVnmL^*Y5D%PvS%#+1!&Di}*ZU7g z^IN1vw>J_8V!e>=IA>LcnvhMIepWUivF2Nw*6i{Ruwie>6=jx|K|UNkUVciQ?Q>Lg ziv}6GN_d^y)cg0D_yAl?Y#gGgMXZkQR7(klFYu9mDeGF&pKTxP^%XWost%G4QaA;&qc=(3$g*_?^7ylN00`iLPh1v{2o6k@Z)fXL)y+r6dc}( zZC&3_5HDy)78pInr!E@0Z92wGbD0DuvF;NZG-~xYqGs%AC|k96*$AL z!me>MV{e&5Q%KGQf#Ogdc3{klZG-3H7))txoTTuwC75M6Pn2-od*Y|JVTN z5nnjeQav3xtv2H-9zp77Y(E+(tK7ROcdqs{p`Q%i=_4QU_Ug7QPu5jK|Fi@Ia!LU{ zZ7fspL=Jy?`*!nL_fJ-XYxQ>EqtR5kP?ybCy=1L&^`8hD^~+s);<`|xsc{RzkZMYE z=1Z-4`RfFS5o`hDwrHC8*`mjzSJaZoxAkTEF`K{Enc}yjGwQ)?>sOUQebZey3(QB2 zoo`6IM{>=d)jXV)f!co`D$7tq4*FroayJ;M7b1^TWh1V@_*I)&0$)7#x*7=wIYIeH zm0^#>5X6Uy0QW78=)xnpKdlxv}>rw1leB~L4WP15 z$Ci9+uE~D8`Jl|*7|?&utJ73SxU`>i=MOuD8&u4#pdfVlq#O~vH zsl$%mIg##WxasoBy3qM&+xUmvbpx|!FR_$88AJ5zpJc>W$|^drvhY2%HD3@~%;^1s ztYzy9BP4D84trNhkDTj#eq97kWrpd@WXktuM#R>=woWf^tJ>g!))q{(HLk=@8_sT@ zOJrXdHQPJF`z_!Mvkp`(nap==;n<|*F{-)Vd|pJvwHXN)+h6Uq)9lYZq5cayqgIb0 z)0%8?@?@i_j&IB;wrN0gvc)Vb(w`2HWmgF={i8wYBTHLA6E7G`aNT$Z4QlJt50UCS zmT&X99S(o8`Yho01!*meKkoDY`t1{6S8!p>&vVU-y^C*k20{xNUwIyJZD%Fb6sZ#T zB)U1@wo3?)ySrGJ^qI)+_eK|d^Ol>S1;F?%HV?t|#MK3=hWXMj{JW zEE*UUT-dAn4F}z`X(~0|@5Ps>_|E>GmY;1tP7CJO>_YE}Vb^&v;v|2K(0Ttxx-lf? z9qwh$^8#Oj_2+bofjrg6#I3(~s`-4ua@{nIW*MFD4cN`}c}~j27WD6C?F)iVUb|#4 z$BR%^VPWs4)UGV89R_!w1&^y(NJkvip#oJVpMp5%(4->_6`NtJVTbamw>`mN-CUQD_mHYCvUY^lu#PyR+)D+&&ute54 z)G32>?_apK0U12%E`ESms+Pw@7N1I#deG%ATfmOqIHow9Mut^iRMDqhS8+rk`|DXq z9|-ahoNfwJ8aaX!Kctjkl`|u65EqS2_mUwc%)3U1_L^ksWLX>V_sbV) z9LK&H0mj|1&i5;nN2D3lwKiGX$lH>axaj3|m-ggZIJJSj`&nO8U_dv4ji zxxOp%lJDdr-xp8vgF?Ix<*m9!{UZU7VY|kP1*zE(tJ6YQ^GB756dK024=$^{!YT+J z$P*!TIuA==$0ysq^!jUGbdN&k&g_2%1RFKPq{{DB3tMZxkkPc-icG|zqDPKf_l}&Q zzZ{l89{!_4oaRp9UOcDmuYRk$d@>AUVvs`jz(1z|(x70@6%U62O0I#gbiPubN?P7z zS8tW8_V|-_%XBR$X`eO-Qg>4J_cBa5mI$iJl61hI1~b6T@#NXS-3S2j#BrMEKO> zZ{|fgTo;~i)lAn-j203&NZ0LtD;*A6#`j&<6&T>D^o<)=RmOe$)ZEjKE*^Kk?&^f; zkLaZk+cS#jU~7Logd>m(iLfW=S`$Y2eaTYEB^tkvtJ7l~Tw^>e-}4>!n1nA!DdjRf z>2+IOtrzZ}!9Ol9P&48`1Z~F{v_+f?V-tEmQ2H&=G<5}PPpije{Yj7~BC6kFa%R!u z8kzc;Bk9T$EAG?wkfddlI1fLjkFSsQ0lm7HWEaKZC^K`R)8P{WS>zTg&ck{BMzJCo z?_)J1YfUq^=Bt#W^Gtt-#8Cj1{Jzc3F=!%g<$5oBPML{?dEJfsj$WGfac{)*X~;xl zE1%Y}Q~U3UAzo3waQ>j-;_m%r54MFKot4THXV8bomc<~RB*&%i^rqcI0kXH~+&cMM z)4!0V`qU`8;{7pw(}k3~qL(2+WcwKh-p{7rt_~h`pq9}6gT1p`G8WU+&e$(H8J83k z{8GtX*)pbV*1cZ1{uiqNP`BGF(%n??DsXF|+sOJT`i&Z24$yBX%ntp*bA4%5grMME zlrMD`0Rh10sKSS?G!3uS)D_!_pv#WKFQUK)i4mEljb{otHFBkXN~ z7Y9cupd=0r%7Y0FUbQH7fV^Q=T>a@Wko;$AOau^L;&G`Sy1%KxaqWDI2+*a51TU^ z$=`oLKrj@J>Qu%Rp@SfxH_jkX6rBpLC@lnX;|MH_vQ|M~1Hl0|&Ok6!_1|mYn@2!l z6oD%G8dzBP#x(!}rK^g*1_0kY0-*B$bq$KZJOc@XP$z${fnhg}5D=8S+TRy%2m`@E zs1!9^F`64Hf?yET>i>NLg`r^T=;z>|8`oBKB${}mSy2!!%LAJG9ZGz6f(oJkml>e9fyhXi7H1APX9-v}`P0lN`D035xO z7egcfiolQs0s?^08+?m>K<-4}Qbb2pAaoe-MQ+XlNHg zz!)?D5Cj8Ygal0kV=99dEPNyUKoA7IM)_Z%L;i0W0|5XG_XB`1zzr7yVUT~i5d97i zDvTKtv@&qaTtL5vw&lOw4?z1L2m=fMlZeI?AP9kJF$n!4Mri;*05}vgBiS_l*bLjFS=G@7CLZh8R*`ahHbV!9uVgqYxn76Q2;7zzTScUJ$){cOnpK~Vq* zDvXH<01ylvWlROpy4J}3;l;X)`3vpb=^1;Yd>v@-A;rHG~pV|o<~L;S6rfBFCaVE|e~FapyO z2oQQBt06$xjRzq>1ZIy%zbA|dX6W|v-~GVgUo!-n2u3de`lkyapc@d3<`V{CCME<8 z^q5Mc7bKt-^l_Pqr#$7PFnf)~f?cV=& zE(`?uPu~4c+Ck7u9d29}M%+jfh%g9rLunZ7rZ0q{|EQmTg%=_W17kV}O}kO0Q1lWe zOg?mX!z?NQ6ph)KhCqSBV9XTz3$Hia4@CprO-9%aFolBPH-vn3$9Nk$l?h2zj|BdlNSQv;2oaokw#+H9xM$>LU270VPb7JtJ z!Qp>g{hve!q9gMEhSC3w7ieI)(b0hrIJ#wGJP5hz8T2>>#cUsF8XR-}N24JE1Bj96 z=>i=R3}gqwp+L-riKamTn0yEjx@C*~7q1j6jiXwM=rCmA$N7&GnA0}2qcVW4UMGf4gy zexZrzy24Zj0>?}VG#?sUF!`Wp>J1wD_oN#%FecyMISm5Fh|FIa=8TP|L4{Gx#<TS)Q_qi<3NiZsz{n%iYSF1pPX? N@JP71<<#U!{y!+0Y*7FJ diff --git a/pdf/grandpa.tex b/pdf/grandpa.tex index 3aac6a0..31c84ae 100644 --- a/pdf/grandpa.tex +++ b/pdf/grandpa.tex @@ -38,9 +38,9 @@ Each round has two phases, each of which has an associated vote, prevote and pre For block $B$, we write $\mathrm{chain}(B)$ for the chain whose head is $B$. The block number, $n(B)$ of a block $B$ is the length of $\mathrm{chain}(B)$. For blocks $B'$, $B$, $B$ is later than $B'$ if it has a higher block number. -We write $B > B'$ or that $B$ is descendent of $B'$ for $B$, $B'$ appearing in the same blockchain with $B'$ later i.e. $B \in \mathrm{chain}(B')$ with $n(B') > n(B)$ and $B < B'$ or $B$ is an ancestor of $B'$ for $B' \in \mathrm{chain}(B)$ with $n(B) > n(B')$ . $B \geq B'$ an $B \leq B'$ are similar except allowing $B = B$. We write $B \sim B'$ or $B$ and $B'$ are on the same chain if $B B'$ and $B \nsim B'$ or $B$ and $B'$ are not on the same chain if there is no such chain. +We write $B > B'$ or that $B$ is descendant of $B'$ for $B$, $B'$ appearing in the same blockchain with $B'$ later i.e. $B \in \mathrm{chain}(B')$ with $n(B') > n(B)$ and $B < B'$ or $B$ is an ancestor of $B'$ for $B' \in \mathrm{chain}(B)$ with $n(B) > n(B')$ . $B \geq B'$ an $B \leq B'$ are similar except allowing $B = B$. We write $B \sim B'$ or $B$ and $B'$ are on the same chain if $B B'$ and $B \nsim B'$ or $B$ and $B'$ are not on the same chain if there is no such chain. -Blocks are ordered as a tree with the genesis block as root. So any two blocks have a common ancestor but two blocks not on the same chain do not have a common descendent. +Blocks are ordered as a tree with the genesis block as root. So any two blocks have a common ancestor but two blocks not on the same chain do not have a common descendant. A vote $v$ for a block $B$ by a validator $V$ is a message signed by $V$ containing the blockhash of $B$ and meta information like the round numbers and the type of vote. @@ -72,7 +72,7 @@ Note that it is possible for an intolerant $S$ to both have a supermajority for \begin{lemma} \label{lem:impossible} \begin{itemize} -\item[(i)] If $B' \geq B$ and it is imposible for $S$ to hav a supermajority for $B$, then it is imposible for $S$ to have a supermajority for $B'$. +\item[(i)] If $B' \geq B$ and it is impossible for $S$ to have a supermajority for $B$, then it is impossible for $S$ to have a supermajority for $B'$. \item[(ii)] If $S \subseteq T$ and it is impossible for $S$ to have a supermajority for $B$ \item[(iii)] If $g(S)$ exists and $B \nsim g(S)$ then it is impossible for $S$ to have a supermajority for $B$. \end{itemize} @@ -80,7 +80,7 @@ Note that it is possible for an intolerant $S$ to both have a supermajority for \section{Algorithm} -We let $V_{r,v}$ and $C_{r,v}$ be the sets of prevotes and precommits respectively recieved by $v$ from round $r$ at the current time. +We let $V_{r,v}$ and $C_{r,v}$ be the sets of prevotes and precommits respectively received by $v$ from round $r$ at the current time. We define $E_{r,v}$, $v$'s estimate of what might have been finalised in round $r$, to be the last block in the chain with head $g(V_{r,v})$ that it is possible for $C_{r,r}$ to have a supermajority for. If either $E_{r,v} < g(V_{r,v})$ or it is impossible for $C_{r,v}$ to have a supermajority for any children of $g(V_{r,v})$,, then we say that ($v$ sees that) round $r$ is completable. $E_{0,v}$ is the genesis block (if we start at $r=1$). @@ -90,9 +90,9 @@ In round $r$ an honest validator $v$ does the following: 1. $v$ can start round $r > 1$ when round $r-1$ is completable and $v$ has cast votes in all previous rounds where they are a voter. Let $t_{r,v}$ be the time we start round $r$. -2. At time $t_{r,v}$, if $v$ ais the primary of this round and has not finalised $E_{r-1,v}$ then they broadcast $E_{r-1,v}$. If thy have finalised it, they can broadcast $E_{r-1,v}$ anyway (but don't need to). +2. At time $t_{r,v}$, if $v$ is the primary of this round and has not finalised $E_{r-1,v}$ then they broadcast $E_{r-1,v}$. If thy have finalised it, they can broadcast $E_{r-1,v}$ anyway (but don't need to). -3. If $v$ is a voter for the prevote of round $r$, $v$ waits until either it is at least time $t_{r,v}+2T$ or round $r$ is completable, then broadcasts a prevote. They prevote for the head of the best chain containing $E_{r-1,v}$ unless we recieved a block $B$ from the primdary and $g(V_{r-1,v}) \geq B > E_{r-1,v}$, in which case they use the best chain containing $B$ instead. +3. If $v$ is a voter for the prevote of round $r$, $v$ waits until either it is at least time $t_{r,v}+2T$ or round $r$ is completable, then broadcasts a prevote. They prevote for the head of the best chain containing $E_{r-1,v}$ unless we received a block $B$ from the primary and $g(V_{r-1,v}) \geq B > E_{r-1,v}$, in which case they use the best chain containing $B$ instead. 4. If $v$ is a voter for the precommit step in round $r$, then they wait until $g(V_{r,v}) \geq E_{r-1,v}$ and one of the following conditions holds (i) it is at least time $t_{r,v}+4T$, @@ -105,9 +105,9 @@ and then broadcasts a precommit for $g(V_{r,v})$ {\em( (iii) is optional, we can If, for some round $r$, at any point after the precommit step of round $r$, we have that $B=g(C_{r,v})$ is later than our last finalised block and $V_{r,v}$ has a supermajority, then we finalise $B$. We may also send a commit message for $B$ that consists of $B$ and a set of precommits for blocks $\geq B$ (ideally for $B$ itself if possible see "Alternatives to the last blockhash" below). -To avoid spam, we only send commit messages for $B$ if we have not receive any valid commit messages for $B$ and its decendents and we wait some time chosen uniformly at random from $[0,1]$ seconds or so before broacasting. +To avoid spam, we only send commit messages for $B$ if we have not receive any valid commit messages for $B$ and its descendants and we wait some time chosen uniformly at random from $[0,1]$ seconds or so before broadcasting. -If we recieve a valid commit message for $B$ for round $r$, then it contains enough precommits to finalise $B$ itself if we haven't already done so, so we'll finalise $B$ as long as we are past the precommit step of round $r$. +If we receive a valid commit message for $B$ for round $r$, then it contains enough precommits to finalise $B$ itself if we haven't already done so, so we'll finalise $B$ as long as we are past the precommit step of round $r$. \section{ Analysis } @@ -118,7 +118,7 @@ The first thing we want to show is asynchronous safety if we have at most $f$ By \begin{theorem} If the protocol finalises any two blocks $B,B'$ that have valid commit messages sent are 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 such a set. \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 $B$ was commited in round $r$ and $B'$ in round $r' > r$ say. Then we ask the at least $n-f$ validators who precomitted $\geq B'$ in round $r$ in the commit message, why they precommited. +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 $B$ was committed in round $r$ and $B'$ in round $r' > r$ say. Then we ask the at least $n-f$ validators who precomitted $\geq B'$ in round $r$ in the commit message, why they precomitted. We ask queries of the following form: @@ -140,7 +140,7 @@ If we get a set $S$ of prevotes for round $r$ that does not have a supermajority - Which prevotes for round $r$ have you seen? -to all the voters of precommit in the commit message for $B$ who voted for blocks $B'' \geq B$. There must be $n-f$ such validators and a valid respone to this query is a set $T$ of prevotes for round $r$ with a supermajority for $B''$ and so a supermajority for $B$. +to all the voters of precommit in the commit message for $B$ who voted for blocks $B'' \geq B$. There must be $n-f$ such validators and a valid response to this query is a set $T$ of prevotes for round $r$ with a supermajority for $B''$ and so a supermajority for $B$. If any give a valid response, by a similar argument to the above, $S \cup T$ will have $f+1$ equivocations. @@ -150,7 +150,7 @@ So we either discover $f+1$ equivocations in a vote or else $n-f > f+1$ voters f \begin{lemma} \label{lem:honest-answer} An honest validator can answer the first type of query. \end{lemma} -We first need to show that for any prevote or precommit in round $r$ cast by an honest validator $v$ for a block $B''$, at the time of the vote we had $B'' \geq E_{r-1,v}$. Prevotes should be for the head of a chain containing either $E_{r-1,v}$ or $g(V_{r,v})$ Since $g(V_{r,v}) \geq E_{r-1},v$, in either case we have $B'' \geq E_{r-1,v}$. Precommits should be for $g(V_{r,v})$ but $v$ waits until $g(V_{r,v}) \geq E_{r-1,v}$ befor precommiting so again this holds. +We first need to show that for any prevote or precommit in round $r$ cast by an honest validator $v$ for a block $B''$, at the time of the vote we had $B'' \geq E_{r-1,v}$. Prevotes should be for the head of a chain containing either $E_{r-1,v}$ or $g(V_{r,v})$ Since $g(V_{r,v}) \geq E_{r-1},v$, in either case we have $B'' \geq E_{r-1,v}$. Precommits should be for $g(V_{r,v})$ but $v$ waits until $g(V_{r,v}) \geq E_{r-1,v}$ before precommiting so again this holds. Thus if $B'' \not\geq B$, then we had $E_{r-1,v} \not\geq B$. Next we need to show that if we had $E_{r-1,v} \not\geq B$ at the time of the vote then we can respond to the query validly. If $B$ wasn't on the same chain with $g(V_{r-1,v})$, then by Lemma \ref{lem:impossible} (iii), it was impossible for $V_{r-1,v}$ to have a supermajority for $B$. If it was on the same chain as $g(V_{r,-1v})$, then it was on the same chain as $E_{r-1,v}$ as well. @@ -159,7 +159,7 @@ Since $E_{r-1,v} \not\geq B$, in this case we must have $B > E_{r-1,v}$. However 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 succesfully identifies at least $f+1$ Byzantine voters in some round. Thus we have that: +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: \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$. @@ -173,7 +173,7 @@ Let's define $V_{r,v,t}$ be the set $V_{r,v}$ at time $t$ and similarly for $C_{ \begin{lemma} \label{lem:message-monotonicity-completed-estimate} - Let $v,v'$ be (possibly identical) honest particpants, $t,t'$ be times and $r$ be a round. Then if $V_{r,v,t} \subseteq V_{r,v',r'}$ and $C_{r,v,t} \subseteq C_{r,v',r'}$, all these sets are tolerant and $v$ sees that $r$ is completable at time $t$, then $E_{r,v,t} \leq E_{r,v',t'}$ and $v'$ sees that $r$ is completable at time $t'$. + Let $v,v'$ be (possibly identical) honest participants, $t,t'$ be times and $r$ be a round. Then if $V_{r,v,t} \subseteq V_{r,v',r'}$ and $C_{r,v,t} \subseteq C_{r,v',r'}$, all these sets are tolerant and $v$ sees that $r$ is completable at time $t$, then $E_{r,v,t} \leq E_{r,v',t'}$ and $v'$ sees that $r$ is completable at time $t'$. \end{lemma} \begin{proof} Since $v$ sees that $r$ is completable at time $t$, $V_{r,v,t}$, $C_{r,v,t}$ each contain votes from $n-f$ voters and so the same holds for $V_{r,v',t'}$ and $C_{r,v',t'}$. @@ -183,13 +183,13 @@ By Lemma \ref{lem:ghost-monotonicity}, $g(V_{r,v',t'}) \geq g(V_{r,v,t})$. \subsubsection{Deadlock Freeness} -Now we can show deadlock freeness for the asynchronous gossip network model, when a message that is sent or recieved by any honest participant is eventually recieved by all honest participants. +Now we can show deadlock freeness for the asynchronous gossip network model, when a message that is sent or received by any honest participant is eventually received by all honest participants. -\begin{proposition} Suppose that we are in the aynchonous gossip network model and that at most $f$ voters for any vote are Byzantine. Then the protocol is deadlock free.\end{proposition} +\begin{proposition} Suppose that we are in the asynchronous gossip network model and that at most $f$ voters for any vote are Byzantine. Then the protocol is deadlock free.\end{proposition} \begin{proof} We need to show that if all honest participants reach some vote, then all of them eventually reach the next. -If all honest voters reach a vote, then they will vote and all honest participants see their votes. We need to deal with the two conditions that might block the algorithm even then. To reach the prevote of round $r$, a particpant may be held up at the condition that round $r-1$ must be completable. To reach the precommit, a voter may be held up by the condition that $g(V_{r,v}) \geq E_{r-1,v}$. +If all honest voters reach a vote, then they will vote and all honest participants see their votes. We need to deal with the two conditions that might block the algorithm even then. To reach the prevote of round $r$, a participant may be held up at the condition that round $r-1$ must be completable. To reach the precommit, a voter may be held up by the condition that $g(V_{r,v}) \geq E_{r-1,v}$. For the first case, the prevote, let $S$ be the set of all prevotes from round $r-1$ that any honest voter saw before they precommitted in round $r-1$. By Lemma \ref{lem:ghost-monotonicity}, when voter $v'$ precommitted, they do it for block $g(V_{r-1,v'}) \leq g(S) @@ -198,7 +198,7 @@ $. Let $T$ be the set of precommits in round $r$ cast by honest voters. Then or Now consider a voter $v$. By our network assumption, there is a time $t$ by which they have seen the votes in $S$ and $T$. Consider any $t' \geq t$. At this point we have $g(V_{r,v,t;}) \geq g(S)$. It is impossible for $C_{r,v,t'}$ to have a supermajority for any child of $g(S)$ and so $E_{r-1,v,t'} \leq g(S)$, whether or not this inequality is strict, we satisfy one of the two conditions for $v$ to see that round $r-1$ is completable at time $t'$. Thus if all honest voters reach the precommit vote of round $r-1$, all honest voters reach the prevote of round $r$. Now we consider the second case, reaching the precommit. -Note that any honest prevoter in round $r$ votes for a block $B_v \geq E_{r-1,v,t_v}$ where $t_v$ is the time they vote. Now consider any honest voter for the precommit $v'$. By some time $t'$, they have recieved all the messages recieved by each honest voter $v$ at time $t_v$ and $v'$'s prevote. +Note that any honest prevoter in round $r$ votes for a block $B_v \geq E_{r-1,v,t_v}$ where $t_v$ is the time they vote. Now consider any honest voter for the precommit $v'$. By some time $t'$, they have received all the messages received by each honest voter $v$ at time $t_v$ and $v'$'s prevote. Then by Lemma \ref{lem:overestimate-final}, $B_v \geq E_{r-1,v,t_v} \geq E_{r-1,v',t'}$. Since $V_{r,v',t'}$ contains these $B_v$, $g(V_{r,v',t'}) \geq E_{r-1,v',t'}$. Thus if all honest voters prevote in round $r$, eventually all honest voters precommit in round $r$. An easy induction completes the proof of the proposition. @@ -206,14 +206,14 @@ An easy induction completes the proof of the proposition. \subsubsection{Weakly synchronous liveness} -Now we consider the weakly synchronous gossip network model. The idea that there is some global stabilisation time($\textrm{GST}$) such that any message recieved or sent by an honest participant at time $t$ is recieved by all honest paticipants at time $\max\{t,\textrm{GST}\}+T$. +Now we consider the weakly synchronous gossip network model. The idea that there is some global stabilisation time($\textrm{GST}$) such that any message received or sent by an honest participant at time $t$ is received by all honest participants at time $\max\{t,\textrm{GST}\}+T$. -Let $t_r$ be the first time any honest particpant enters round $r$ i.e. the minimum over honest participants $v$ of $t_{r,v}$. +Let $t_r$ be the first time any honest participant enters round $r$ i.e. the minimum over honest participants $v$ of $t_{r,v}$. \begin{lemma} \label{lem:timings} Assume the weakly synchronous gossip network model and that each vote has at most $f$ Byzantine voters. Then if $t_r \geq \textrm{GST}$, we have that \begin{itemize} -\item[(i)] $t_r \leq t_{r,v} \leq t_r+T$ for any honest particpant $v$, +\item[(i)] $t_r \leq t_{r,v} \leq t_r+T$ for any honest participant $v$, \item[(ii)] no honest voter prevotes before time $t_r+2T$, \item[(iii)] any honest voter $v$ precommits at the latest at time $t_{r,v}+4T$, \item[(iv)] for any honest $v$, $t_{r+1,v} \leq t_r + 6T$. @@ -221,59 +221,59 @@ Assume the weakly synchronous gossip network model and that each vote has at mos \end{lemma} -\begin{proof} Let $v'$ be one of the first valiators to enter round $r$ i.e. with $t_{r,v'}=t_r$. -By our network assumption, all messages recieved by $v'$ beore they ended are recieved by all honest participants before time $t_r+T$. +\begin{proof} Let $v'$ be one of the first validators to enter round $r$ i.e. with $t_{r,v'}=t_r$. +By our network assumption, all messages received by $v'$ before they ended are received by all honest participants before time $t_r+T$. In particular at time $t_r$, $v'$ sees that all previous rounds are completable and so by Lemma \ref{lem:overestimate-final}, so does every other honest validator by time $t_r+T$. Also since for $r' < r$, at some time $s_{r'} \leq t_r$ $g(V_{r',v',s_r'}) \geq E_{r',v',s_r'}$, again by Lemma 4, for all honest $v$, $g(V_{r',v,t_r+T}) \geq E_{r',v,t_r+T}$. Looking at the conditions for voting, this means that any honest validator does not need to wait before voting in any round $r' \leq r$. Thus they cast any remaining votes and enter round $r$ by time $t_r + T$. This shows (i). For (ii), note that the only reason why an honest voter would not wait until time $t_{r,v}+2T \geq t_r+ 2T$ is when $n-f$ voters have already prevoted. But since some of those $n-f$ votes are honest, this is impossible before $t_r+2T$ -Now an honest voter $v''$ prevotes at time $t_{r,v''}+2T \leq t_r +3T$ and by our network assumptions all honest validators recieve this vote by time $t_r+4T$. An honest voter for the precommit $v$ has also recieved all messages that $v''$ recieved before they prevoted by then. Thus the block they prevoted has $B_{v''} \geq E_{r-1,v''} \geq E_{r-1,v,t_r+4T}$, since this holds for every honest voter $v''$, $g(V_{r,v,t_r+4T}) \geq E_{r-1,v,t_r+4T}$. Thus they will precommit by time $t_{r,v}+4T$ which shows (iii). +Now an honest voter $v''$ prevotes at time $t_{r,v''}+2T \leq t_r +3T$ and by our network assumptions all honest validators receive this vote by time $t_r+4T$. An honest voter for the precommit $v$ has also received all messages that $v''$ received before they prevoted by then. Thus the block they prevoted has $B_{v''} \geq E_{r-1,v''} \geq E_{r-1,v,t_r+4T}$, since this holds for every honest voter $v''$, $g(V_{r,v,t_r+4T}) \geq E_{r-1,v,t_r+4T}$. Thus they will precommit by time $t_{r,v}+4T$ which shows (iii). -By the network assumption an honest voter $v'$'s precommit will be recieved by all honest validators $v$ by time $t_{r,v'}+ 5T \leq t_r+6T$. Since $v$ will also have recieved all prevotes $v$ say when they precommitted by this time, their vote $B_{v'}$ will have $B_{v'}=g(V_{r,v'}) \leq g(V_{r,v,t_r+6T})$. Thus $C_{r, v, t_r+6T}$ contains precommits from $n-f$ voters $v'$ with $B_{v'} \leq g(V_{r,v,t_r+6T})$ and thus it is impossible for $C_{r,v,t_r+6T}$ to have a supermajority for any children of $g(V_{r,v, t_r+6T})$. Thus $v$ sees that round $r$ is comletable at time $t_r+6T$. Since they have aleady prevoted and precommited if they were a voter, they will move to round $r+1$ by at latest $t_t+6T$. This is (iv). +By the network assumption an honest voter $v'$'s precommit will be received by all honest validators $v$ by time $t_{r,v'}+ 5T \leq t_r+6T$. Since $v$ will also have received all prevotes $v$ say when they precommitted by this time, their vote $B_{v'}$ will have $B_{v'}=g(V_{r,v'}) \leq g(V_{r,v,t_r+6T})$. Thus $C_{r, v, t_r+6T}$ contains precommits from $n-f$ voters $v'$ with $B_{v'} \leq g(V_{r,v,t_r+6T})$ and thus it is impossible for $C_{r,v,t_r+6T}$ to have a supermajority for any children of $g(V_{r,v, t_r+6T})$. Thus $v$ sees that round $r$ is completable at time $t_r+6T$. Since they have already prevoted and precommitted if they were a voter, they will move to round $r+1$ by at latest $t_t+6T$. This is (iv). \end{proof} \begin{lemma} \label{lem:honest-prevote-timings} -Suppose $t_r \geq GST$ and very vote has at most $f$ Byzanyine voters. Let $H_r$ be the set of prevotes ever cast by honest voters in round $r$. Then +Suppose $t_r \geq GST$ and very vote has at most $f$ Byzantine voters. Let $H_r$ be the set of prevotes ever cast by honest voters in round $r$. Then \begin{itemize} \item[(a)] any honest voter precommits to a block $\geq g(H_r)$, -\item[(b)] every honest paticipant finalises $g(H_r)$ by time $t_r+6T$. +\item[(b)] every honest participant finalises $g(H_r)$ by time $t_r+6T$. \end{itemize} \end{lemma} \begin{proof} For (a), we separate into cases based on which of the conditions (i)-(iii) that we wait for to precommit hold. -For (i), all honest voters prevote in round $r$ by time $t_r+3T$. So any honest voter $v$ who precommits at or after time $t_{r,v}+4T \geq t_r+4T$ has recieved all votes in $H_r$ and by Lemma \ref{lem:ghost-monotonicity}, precommits to a block $\geq g(H_r)$. +For (i), all honest voters prevote in round $r$ by time $t_r+3T$. So any honest voter $v$ who precommits at or after time $t_{r,v}+4T \geq t_r+4T$ has received all votes in $H_r$ and by Lemma \ref{lem:ghost-monotonicity}, precommits to a block $\geq g(H_r)$. -For (ii), we argue that no honest voter commits a block $\not\geq g(H_r)$ first. The result will then follow by an easy induction once the other cases are dealt with. Suppose that no honest voter has precommited a block $\not \geq g(H_r)$ so far and that a voter $v$ votes early because of (ii). +For (ii), we argue that no honest voter commits a block $\not\geq g(H_r)$ first. The result will then follow by an easy induction once the other cases are dealt with. Suppose that no honest voter has precommitted a block $\not \geq g(H_r)$ so far and that a voter $v$ votes early because of (ii). -Note that, since we assume that all precommits by honest voters so far were $\geq g(H_r)$, it is possible for $C_{r,v}$ to have a supermajority for $g(H_r)$. For (ii) to hold for a voter $v$ i.e for round $r$ to be completable, it must be the case that either it is impossible for $C_{r,v}$ to have a supermajority for $g(V_{r,v})$ or else be impossible for $C_{r,v}$ to have a supermajority for any children of $g(V_{r,v})$. By Lemma \ref{lem:impossible} cannot have $g(V_{r,v}) < g(H_r)$. But by Lemma \ref{lem:ghost-monotonicity}, these are on the same chain and so $g(V_{r,v}) \geq g(H_r)$. Since this is the block $v$ precommits to, we are oone in case (ii) +Note that, since we assume that all precommits by honest voters so far were $\geq g(H_r)$, it is possible for $C_{r,v}$ to have a supermajority for $g(H_r)$. For (ii) to hold for a voter $v$ i.e for round $r$ to be completable, it must be the case that either it is impossible for $C_{r,v}$ to have a supermajority for $g(V_{r,v})$ or else be impossible for $C_{r,v}$ to have a supermajority for any children of $g(V_{r,v})$. By Lemma \ref{lem:impossible} cannot have $g(V_{r,v}) < g(H_r)$. But by Lemma \ref{lem:ghost-monotonicity}, these are on the same chain and so $g(V_{r,v}) \geq g(H_r)$. Since this is the block $v$ precommits to, we are done in case (ii) For (iii), let $v$ be the voter in question. Note that since $n-f$ honest voters prevoted $\geq g(H_r)$, it is possible for $V_{r,v}$ to have a supermajority for $g(H_r)$. By Lemma \ref{lem:ghost-monotonicity}, $g(V_{r,v})$ is on the same chain as $g(H_r)$. For (iii), it is impossible for $V_{r,v}$ to have a supermajority for any children of $g(V_{r,v})$. If we had $g(V_{r,v}) < g(H_r)$, by Lemma \ref{lem:impossible}, this would mean that it would be impossible for $V_{r,v}$ to have a supermajority for $g(H_r)$ as well. So it must be that $g(V_{r,v} )\geq g(H_r)$ as required. -For (b), combining (a) and Lemma \ref{lem:timings} (iii), we have that any honest voter $v$ precommits $\geq g(H_r)$ by time $t_{r,v}+4T$. By our netork assumption, all honest particpants recieve these precommits by time $t_r+6T$ and so finalis $g(H_r)$ if they have not done so already. +For (b), combining (a) and Lemma \ref{lem:timings} (iii), we have that any honest voter $v$ precommits $\geq g(H_r)$ by time $t_{r,v}+4T$. By our network assumption, all honest participants receive these precommits by time $t_r+6T$ and so finalise $g(H_r)$ if they have not done so already. \end{proof} \begin{lemma} \label{lem:primary-finalises} - Suppose that $t_r \geq GST$, the primary $v$ of round $r$ is honest and no vote has more than $f$ Byzantine voters. Let $B=E_{r-1,v,t_{v,r}}$ be the block $v$ broacasts if it is not final. Then every honest prevoter prevotes for the best chain including $B$ and all honest voter finalise $B$ by time $t_r+6T$. + Suppose that $t_r \geq GST$, the primary $v$ of round $r$ is honest and no vote has more than $f$ Byzantine voters. Let $B=E_{r-1,v,t_{v,r}}$ be the block $v$ broadcasts if it is not final. Then every honest prevoter prevotes for the best chain including $B$ and all honest voter finalise $B$ by time $t_r+6T$. \end{lemma} -\begin{proof} By Lemma \ref{lem:timings} and our network asumptions, no honest voter prevotes befor time $t_r+2T \geq t_{r,v}+2T$ and so at this time, they will have seen all prevotes and precommits seen by $v$ at $t_{r,v}$ and the block $B$ if $v$ broacast it then. By Lemma \ref{lem:message-monotonicity-completed-estimate}, any honest voter $v'$ has $E_{r-1,v'} \leq B \leq g(V_{r-1,v}$ then. +\begin{proof} By Lemma \ref{lem:timings} and our network assumptions, no honest voter prevotes before time $t_r+2T \geq t_{r,v}+2T$ and so at this time, they will have seen all prevotes and precommits seen by $v$ at $t_{r,v}$ and the block $B$ if $v$ broadcast it then. By Lemma \ref{lem:message-monotonicity-completed-estimate}, any honest voter $v'$ has $E_{r-1,v'} \leq B \leq g(V_{r-1,v}$ then. -So if the primary broadcast $B$, then $v'$ prevotes for the best chain including $B$. If the primary did not broadcast $B$, then they finalise it. By Lemma \ref{lem:overestimate-final}, it must be that $E_{r-1,v'} \geq B$ and so $E_{r-1,v'}=B$ and so in this case $v'$ also prevots for th best chain including $B$. +So if the primary broadcast $B$, then $v'$ prevotes for the best chain including $B$. If the primary did not broadcast $B$, then they finalise it. By Lemma \ref{lem:overestimate-final}, it must be that $E_{r-1,v'} \geq B$ and so $E_{r-1,v'}=B$ and so in this case $v'$ also prevotes for th best chain including $B$. -Since all honest voters prevote $\geq B$, $g(H_r) \geq B$ and so by Lemma \ref{lem:honest-prevote-timings}, all honest particpants finalise $B$ by time $t_r+6T$ +Since all honest voters prevote $\geq B$, $g(H_r) \geq B$ and so by Lemma \ref{lem:honest-prevote-timings}, all honest participants finalise $B$ by time $t_r+6T$ \end{proof} \begin{lemma} Suppose that $t_r \geq GST+T$ and the primary of round $r$ is honest. -Let $B$ be the latest block that is ever finalised in rounds $ B$, then by Lemma \ref{lem:primary-finalises}, all honest validators finalise $B''$ by time $t_r+6T$ which means they finalised a child of $B$. If $B''=B$, then by Lemma \ref{lem:honest-prevote-timings}, all honest voters prevote for th bst chain including $B$. By assumption these chains inclue $B'$ and so $g(H_r) \geq B$. By Lemma \ref{lem:honest-prevote-timings}, this means that $B'$ is finalised by time $t_r+6T$. +\begin{proof} By Lemma \ref{lem:overestimate-final}, any honest participant sees that $E_{r-1} \geq B$ during round $r$. Let $v$ be the primary of round $r$ and $B''=E_{r-1,v,t_{r,v}}$. If $B'' > B$, then by Lemma \ref{lem:primary-finalises}, all honest validators finalise $B''$ by time $t_r+6T$ which means they finalised a child of $B$. If $B''=B$, then by Lemma \ref{lem:honest-prevote-timings}, all honest voters prevote for th best chain including $B$. By assumption these chains include $B'$ and so $g(H_r) \geq B$. By Lemma \ref{lem:honest-prevote-timings}, this means that $B'$ is finalised by time $t_r+6T$. \end{proof} @@ -285,7 +285,7 @@ Let $B$ be the latest block that is ever finalised in rounds $