From 7657d1b1e7712636ec3255282a013b48208731d8 Mon Sep 17 00:00:00 2001 From: A S Date: Wed, 12 Dec 2018 13:55:19 +0100 Subject: [PATCH] Reverted to not punishing non-responders to the challenge protocol so long as someone responds. --- pdf/grandpa.pdf | Bin 300265 -> 300688 bytes pdf/grandpa.tex | 7 ++++++- 2 files changed, 6 insertions(+), 1 deletion(-) diff --git a/pdf/grandpa.pdf b/pdf/grandpa.pdf index 0b9836a2d01aadb8f68be4879edad76162274a8f..9c86708199873befcfc5a8ec1d7790fa3d42fbca 100644 GIT binary patch delta 38176 zcmYJ3V{o8N(5_?K*_az|Yg9Rl8;d_{A}I6vnx)VYv8 zD~L$)Q6T};gb+|7r(v{)UdM!T#uFroNti%Xtx!<;!?+Al^Z^Z=`!F&YRzb83Y;+1{ zd71w3ImbRZ-cZu<8w;e29h~8?cqA8I3BqolM581$xe?5@_O`a}!+DeUl5*KO_?9=m zG%WKpENn)C3e7B4rwolZEUoL9lG&icv$TKdQRaXX3eV123RVb}T}`0@n!s%fnE%bQ+`-D_Rv++3Blr_j;1Q1=B+?LdA58zJ{xc5Tz)U~a7I zNdm5323Zbpaa7Mw3^RH)>C-fw+e!4k)#G_~{JWpKxYgY2DL3m$qJl!fZ+q3?Z71{H zQ4KRfvqqU2V{G5fKGH5J_0Bs9&P-a-se^#1VD#M2Qp`d|rhF<+HmIHM9y7{&nzfbp z5-VfXR~C?re$gwDPe1k9b4TY*8^u%I1iKV;hDB_*n3&$?28`~#0d#wCCir^))IOnk z6V;wT4kfeii#N|${2zp!XxLn7N{Bpu3Bph<5Zb)vtKC)^pns6RB6#|@RDan?H@*NS zViq+srad(rk1P?6*8rOe=9bNQEZ3o`{;v7=qrHHNp~W)_mZQL~9~2HO&pfc56!@)q znaXf`r_mAbPb{I^0!I~2BL8&qr8iUMgFlVJS11)7odnm zlO|p*i0tL9j7$x%u&_K{t$JqJ;hen}OI;Y@=nmcnXSO~}sJ|!QBvqhyKm++8X5#B$ z&9kyk2ksuXYJ7U8rpqV2FE~$hbpFKqgrDp}kQ7oe#q*a~X|%Y(uyK7B6L69QrG?pMK?Kl`XD>f6YF6w3#dz zHmPscj5dgDY>C}FrFAhwITRff`XPia!8Ne1o8rL<>dfnltskC!pwdplTpRKpaS5~j3ay9*5z9~*r_c_i>b5eEP%DW7%W6pt2(WY za;8BxJAuliZ0M}?E<8f|uA|mVe42d&Zxu_#VQVI-;@!4WVB)0=b_kBYWVLqV-A zarA-%+{$yYJ3GhG5nwXn4~EA9-p~o&E}N0l6bDUz1V^hlwdZ6)`cD)tqanzktIF zQ=GjyM|CyYSrtN_FwAwF;fGZoBTQCf#jXBW?gKv;R2zPaGX=*TN})Se7!{n&A1KWQ z*5dutn8X+I;<|@*7=(J;Y99{MIKC)aK1AvIDxUSe8cHR(M+>8tRa^GojZ{b?`m~E0 z*4C$)PVLdbm-jMf83RyI62n^{j*wG=psB^w!4uJ;^l z=xXf$Fi^eRKo;{5>os-e1L<8cqV8#S=J2U(GS}I(f$OX!Fb_Jk7L+Vm>JAPnb|=Cc z4_xZLpE`_g?<6LxYANOcko3RpUVb;0mnB6T(gm_E3yrB_>^c~_7cYJ_#@?!w2;&H0 zESr~Rl;_#~9At*M6ZR}Ca4VeRw&_8y)NF=pLr#WZfHVP^ZUuVz(*W)@|(kuO*Hx^vL8?!f4FMs zgenWn2&n1mJh9(Ktjyc?7&B1CmHJQvvkcY9s_Pz_wipyeXH9h^JXC&5y!VIa|Bd3+ zv`lK2MvwNC7WP`Sq&>RXLsNwOAy`0{8o%9o4Jgwxub555%+`w}D)X&d)D9}YDv9kR zAn7zeAg?&qzBxN;jv^IQ3q>qwj$SCJ2lsTKBO zF;!k_7_Kq~1jtBlzl2C=&b}oTnQ!*soiN3z5+{9vTXO;VimQE3)@Q zD$N>l`Rir@ujlK%R|?Brulw0SnAOnW3gpQK?+LGVe+o-Qb{T6d=I!bqSoC`_3Osfa zlor*X`P=e>J+>Q8Cd0cei-AqCZKrhkI7(48Pu%ntXvE={<15KqTY0&F0<4RT zHK2@jB7cYe+=ehV6nZhj&XOqm%MDY+zp;~fHM@_44VNN|K|26<_*9qCG&}4<)qFi( zeCzOdQ#LeOd%bqG(-4xkw%)wvIWu}kOEvgoy$W9Bc5MC^RZDwwY;)$moeh{>jRWo= zKhM|2l!{DPC{MyBqN`Ay2#UPP0I&kOTnR4bUe_hK4ugRb39;KT(@cU@?4r4F`*zjh zeqPU&<=OL8^=zm zMn59AdfJxP%`fd6Thxm?gGf;v8_WLvNd4oQ%Z(_5FQZN0`2y?LRV_t4IXRQDs zb>$&8!Eb-On zbxM|_IxdZg{XPkaQ)OT{0Jf++1y>jh4Ugb2pJ~@pF(ChDbwf>~!7^!{jkH-J%f>!o z**uhfRTq^MW`Ib}t}OYKK!aFTW_2mu>`Ksrhweg%wT$;>!siNSBc*?dSx@X7o{Vac zDMHlp1nT)%-40@GKwNHdOi*bU`sW zBNw(s*oCWl9|?L~0kuQuR>(2_^cGP>*}A?|E7Vn5I=D~WP(LD?7%8~J#97goF6OTI zj%+Puw&8bg_Or2aEX@DKJxqJuYj8)3E;(92RD@*)(zV-#GYGZx4z@y9x2QLu=cdTq zU1fJAt0_|TZZs<#P;PwYjCL6|$reKst@xTPjY1~WG-JF2(bLO0tFwoQWe5toW*9dd ziPrdDNRG0Bvys>C#y#|LL|)KdtQhAq8lkz?(3iQx;2dCn<(uv&DulzB0AP;%W!mPQwRm9as zj66zTDDjzKI-^b_lNGs|3n)TnVU>Gx`cdBHjwkX?*$M#Txd zd7MaY1yAaW6gbgKm`HEY5)eccSW2-ZF3h)PyyzC6+n_h?@V1D{`q4@h%j7E}%zM(~ zV=-}{ER}NaW?V}o-9i)M19^*CsO2kCf`?vIbClUYJ0&|Myg8NbSNt&86g5+cT&nhk zeCS;9l{P2zRoKbjk=!*GMdAR(Od6Oj_;AVdb-E5KobeHwMv#GX3G27Nspe85Ev3Sg zB!=}HjY}Fq#zC|`S?`={c>l6f*AZwE9C=?ajY=hC9_g_Go1_pG z6biQFNGoh03V5cAm-{vN%WxNDEuUUwVQS28?+fbNn?8?300wn$!%V;j1~@x2%m2LC zmUOh84%!`j1$u=4;Hs+e4n~7qNGWY4$q!Yl?3EWp5M}Y&vn35)==>W#>T2&eGJ9OHW8b{$Q}^M%sQHr%JXLGwAXQgu^65Httr77fEfx`!zWMg7Ueujh zzDzwvW7s@~zMp@$eeTB!Fr`fTX{s(w>MT9nJugyZlNnHC()v)8hp;V{@dJtFQG4nfze}D_Eb6xH-uLUY7q)#RB6*>-5HJ6wBE2sFcArS& zQO5T%RwFSbx;@*w6*YFP397cc!L`B_7+nqk@+a#6^cy&)00Fo6=Od!_G+yC8RLUg#JbcSRir{Q#Eu45wEZ`?Zbql5VWte9S5;-BS@1G&G+2$pvFi1W zt4FI6j)PEShw;Y*qf8N+>&ZX8*?3oSooQsYxw;Vd)#cc0H0z3N^}C~5nkBT$c$fix zNRlWa)Y$DN>h7WSCwp>dbyAundpHx*{Od+id63=SMJvsWoET;He#8-}IwQ_O6m3x2 zaRm3_3aP}h>&5`1mVzN5?1`FxX3K$aDRS%#&C0b2x>Ug6*Y5hliB$JE6>|84UI7CIpGZ^knNt&;+b4$qQB!g?>jsW^`oPc?4|n?!@L0P9?$WVM)Z9aDqaWQ~ zR^JKxKH?niX2YU%I^!S|Fs(4l0XZKT;Y2|A)^)A;Q@ffrkGvD;PEb2?oDkBg0{!yS z%db}eN$BNAHC_}uWxo=P*v!v5Db!Dti@-d|qh-jbFp-DSPA4+~k3K~_9oAM%#;T~V9r?T7G3ewyPGP|pj ziAykDaQ2B^191)%TVv2WVB!3~rzAu=`b_wj9OCa7F zE<~?OKAeQeBV}B;oi{=@iOG+P&&DJ5bftRY5b3`hSV}b}R{+<|AQC#sm7JLTt$iJc ze1hX4zoBzjRGsiJB$@O2X4;=?a;WeWXeGl-{}753>Zt(iXG7yhZj8j!-4Y<;hbg`x z)nO^_OB$GezuGuGgE;ND7}ZFF!I$DN93wa2r0JL|lanKUZZi**i-qsA&BQd7cHEWW zvE9*lN!+h{l{@3Ls4Fzc5J95I`-1wM5KopFALW_Y=6+;b8kaOWD518Ez_x%i$U@>@ zJr3ydxc>u)1G2A=(dyx?Bw@lLLNmd@vUxR-2+wG zP-BE}Z6@;c7o4n??ARgOVKfYlMpAcM;(qyU+o1YLYX@vQ@A%ysS;tox*X$VPH4{>Y zA7(MtQc_4Bd--q@l+|7>cK|o0yka-cpZD8Z_3iK3MBr6i>h9xE{C|;nHrUUR$OO`- zbG(2TXjO=>VK&th*0MRvJ?N*&J<5g|vy0YU0yW$^NF9C&h2b@>;v!B{Q4f2&*#YD1oS;|b_=@otW(lAdjp~-nEx4$mn(D;3Bfyk?s46w2!o%5cxOxnm4{%Ut|r4#saCU3!6M-p@QKeHU@4LW>o<_iQBw1rUap7pms< zsRhxxYvke{z|cR!3VcLrrpl(LoD3n%GGx}HMaiRpgf>^pdMyal8L#ut>}kj; zL-w=823f!Xfv+yr?IwrQ5EL;ZjQeXtV+%(twgU0Kwgirv;*C=O7kCy5J8{nB3eNZt z4Pi<|$35j$s5+MCp{>O!J~U#2=-oTTN79uphP%iGkn6%KXI}Uj*u&VTuRtys$#z%V z^!nMd!as_X{Az#44F9r)l7-)@J0CT)=^E8CkB=*~=6pB^+FZlYasP`*@3+P+aSA%% zh=WLXnhK5P8L?PW4cHT)s5=Ko28U4$!!Ani^DI;)oe+qX^kf)(er9r8hb-+!NOv>C@dE z7!Dn-``l;TKRuW_4`_E;Wye%@vSVm8*z4Bi{>m2k9aX2U0VpLH`N2Q5x8}Of5m-=6 zsA{iPR{t6{=!?^M0vV+Ed)4jLhfkJP9j%P~4Y6 zJgR`8>f2ba<*LB6x4)jRmqPQ5$YI`n->c!hMGEGcu*M*58w4hAaC*3)4}zoDg?hpV z&P=gixi{~v2rSwp;D92V!g6*XFplD0UmjSbwQQtSnLL#0q`=e+n+%nNT_NjLv{;Is z=Lv{7GJE>MIpn#KG-FnE*7p0Z|Is2Ev_VELvBd^e{jmY}i|lqoV)LVVFdHhZco%(< z5mnJxqWV>Oj8+x5DCJfAHt0G){pWovma=@K=C}lN8PLKkVS9K{Xpq@%@o$j*^Oept zT+AHCjQ+p!AUuJ_q6v~2K`*CKZ_}^T0lQxjfnLl$zT=oCapH+7=Tz=21!|?6TTUKU zK99OSZPF*{u!=mREWxV*JA8Po1ng)g8>|x-Iy#5Y{{5IV#P!B0Pv5vIcxpF{sNN= zWL#=T1Pvv}Vx?ii>=9ZgYpH~=aL3`%3# z^Hu`356|`YB{&^79+4RDGuJo}Rg-6fKM?`5JqGqJ*&9rw=Sb@x;#>@n)bNHhZv*(Y)2_@e&4qNX_yOokt!`4LM%oTsk=eQyHq$T z1SYr;ZdFpy?^n=Dj|$YYW}{FT(^_1q`!Shj>VgB}w;kv6qZNBWW|d4q&+ju}412^{ z+re~VnMaVM%60RbpbX=l?}jM2u=Ze5oj@7C&ThC+h@$it7{Vjzc%(jnddOtYDBct6 z??*5fZ6jW}<|ReQ)H2#aS?yN{8Q60bFX^1KADZlemg2SQd#7|AGSa@N5ApuRpo0iu zzbzBsP(WI-WVLDg+_CF!K^+TP@lhqi1$!VN;V5f8xSisgFc~PULC8G`ky$AF`Qumk z1Uy@!;DU@f*j4BlErlD#k(65ipO@;emS$M>=f^|2A zpUS)kG2>frmPl~0j7g0S*1}SBqRbnVh%o+=^Zn_K9gx5;bxM(ZoDh-Mm0s&)`|=IF^A!VaIJQ)* zL=E{CbRbBcl}NuueirXlHM(EsB5ut$ua#^WeT$7rmiK4dmeNGLLJ(F;V$DV;Ag#xE z4`$&V=_Kz)l;9SioneM*9cR&#wgi{yFi;u3yk;sTJsobPQ;HjCQ(kY`_XtY=sf=sp z?chhz8Z}O+FK~XVwQ>ct{%;onZC&XRA_#;T~1(7)e?4DDS&)!1Bh8l&m0;yGnA1y6l;sn{FG8g-Rsi7v{^<%Rk#!riF7@5&%2B^N4Qqo? zET$<_wY!@>R%Io-{AwCy5jyYozt@KIa`lCGafOcUZB$6D=N!i4J0(CuMe6z+&{m#R zH^nNM=p)ic;v4TuS(MEaAERrM`!4_h+`n)&fyZ@`RYpT2xZDA# z_f3R}h-Cm*M2oHW&p?Fb(*7Z1_WiI7yFe*)#a6v4kU~E^qgfE{ZenmG5g1re#e z`^UTMd7eWraCu9?pWD0?LX<*A5Ms9ea!nT%?YBW=+W5CLZCwqvXfmYLa#G7u(1oi{ z%6IwiY_?RTr(-llR2tQV*dJZ9kvJa}R|VAkEfm1Y&m?=hsK36sevCgZT<%~gEziav zDJpNf)rL;wDEI}Rm20Qk{A{<#3AK+F)Nc;auy!|ed;9Cg&5WQ!Ad#~oKXI?Z5{rq8ft7`Yn3aizfs37!n4N`@ zftiyj(XcWSn~95^fr*ion2C*xfr*2In3<82ft88#KaC)fxatokE9ZZ%EX2(Jxp8n2 zGqE!=uyOsbijlZfrH#qR$iT_WOw7c}!N9`CPRzu_%)r5sXi!P`-+GKh+!|FVCN>5( zCXPhsntxzy?EepCX~vSZ#rt0C=amG*ttZPddsJUSZZr@YMETc6GOQps6V*(OVOX zt+%oH>#Mm_`*~o>cHkx9Yqfs;GKatVbjv~hIppyx24s6_eF{5v?)dt7nV6celNjm z-q^%0w*hi3Y+rWlwF;`E2uHS+2qLvfa32O4?DB+YDfo0-INf#873J5_7}L!v&tt!$ zJwctS@I<27lmv^CYe~;h_u&;a2YxIck2BZ#h0vFzo(ZdVD*aPs>weT0@Vc=Tu5CwK zqf5YA+O}qp9)zBE^a*(?ElYsdrbvtx8HF4P^M&76G+)iRyy$R!`>?F zK@^L+e_hYAOs7WC_&hIsH+4^CU!VN!gz$I9@vd?0ULRyuaKsPDmzIpPczH{_J~!_? zIq7hT#Lh|Jkqr3Gy@E}CxK3FvS0a|QO9!fCjLQnPFOc7-ius5gY!K(`%RX9|lc8mc z$TERvkYCaquc3HjIs^8nk}%)vKJfuRxMXEu(wdBDQ5N>KL^3=)g^F^(s&X$Zf)THL zBapYTu+b~rvy$9`+5PiOFsgI3w;}3>t2ZA+Lcu#{)?EVsYWDO}BC^KSlvIl8C;+^= z3JSOp8Uo~R`qyp*il~Ejy6QT$u=mD928Rz7ewP@`rY0g)^HS)jFH0@;fBudz*)pX20MPhfUUvbe}-H=*<0uC`7CeoBo#XR zne|K1fkY0SR+pK8hHpIYC98 z>}mpfW?pKoM@9zZdDgm-y!^^ycw48vIj)~1{`I0u!bd^|} z#mNh&J(CP%xVY?5c_uoS)6mtmw5{;N!_6uu+mIie!v0#Z-Id z!>)WoBYGZI@W0H&nbcNfJxpJcd1fNtRbQKmKnY+jHPvJ_nvdjk2t&wp$!T2qtY)hZ zwh2|Ue8KOq^ghF{fR12|#BS|-2eu_cl42K-qtliu<%RQF!u^sqG*u48p`tUS?iBjb zt$p8Pm(cls1PiaMwD2&=BKp$jKc@^n$}UJzsAhpId;$lmv#<&WIZ3|~v27?Hlu zbwQKX$YY2uSMPQmwsR)_!|;j$`%-?@OmOGd1QxV3^z8}pzyx1pZ-6?tK_5aXXpxL; zdC??@^p<;3-gC>CHc!20E_cB=gFahUJ1R@otVHaeAP-`3SHCOhJ@*tRWGb#kD%v-ts`lw8qBjCr`%9I}-@Iqj1FQqo-8mL1@ONh476_$#lzGiLk_EjcryZ=bfT za)!FRHd5?fT15rYxFJPC&C<(P_s3FU1gRRkBE~Hxkj}0nZCcweD55@vQ6&RIQuVvh zw{IxxX{>5JMjryqx0owug^=DN_cROKDKc{M)3GrTHDkb?BB#Gr`nxo#L%L(6 zN+CCIQIbdVH_lWRNs$Gvd?&)MCX+alKsq+F7@?{%6Bff6o66C@?FI#7zv0h+o3a0h zB~OQN2d>GTz>L2#o7tZ46);&P)ov}y+_$gQivBvOvIS(j45f+7=`cx6&1VJTaG77R zCx=;yUDHnZm)so;s~sJHYGE$nUIw3JYb_1cpJxj-<-+^h*)hGolgY>6W?G#td4Qg*Sm$u6CdF0;IEVv!5@EL?FTohcbT(?cejRr>lAU zcr#8Tu~^MkG(`YocdHX@qcI(UNTuQ!_RHGf_4QqCO=+@&sX1)go z-q@ReE11Beq#1e#2SaPi+X7E6$HyGn?!}`<^M!JL%(0ruw`r5^QIQ)6Om}Jbn;a9@ zei<8U#ALd-Y<3r<7G@^vYedUpNqGjrfX;6!ha%Y_mF6-0(FS6&+a4W*1MHTrwZyrm zOTJ_@YbZT_d`4nWX)#b^CF6b(Y8*jPd_*Vc4nA&n9}#X1x7#&M=T^39(MXQ0G6;B) zj>n=$Une4NHN7viTHg(V91dfFL@P^2$*>R%*2-I{QE3EH2I=NU>pphoV0wv;IZ{v_Ibi@|3EEwe0%`Oy*9c&hoqi zdYT(7je}u}2WH%}3>Rfyning@{l|T%zx$9sjKN=i9UhcCbQF@8EDV3c9vj1Krb3R0 zB0g6^u=Y?v;Spkl*8TJ^3`vv-K(JGg-F-;~F*EHBzY&CuLKwc2xW~v3%e@4K9-(4I zT@*{7dG${`dk}^L=YK^y1b;BFN9a98jaWiQkN^$!7uQ?KXY_ePyKFaCF05h~fZihMicF~&N*KLEeSacO%%Hnul@-Boun`G&l&*@NW zKMLV@naeZ>_mCXGy|z&K)An`OU5#Yg_1=K zhC9bDqVQjS`Q_jm^Pzw7-(65xmH2Nkx`&$eg?kT_;h8{L5Z)+PBUl?MEP^k}!4&@$ z6R4~r^!-j|rt!NqlzDxGA{4f}C?y7nkl;}OhjU2fAGySj1hO)tf0N_!8LF~V`m0oC zv<&hp4XM)?r5V&?fShVW!ch61;(+ha>K8Y602l<1!~6&*)g>Ev=LZVirh=RbbEh*6 zE*9E-4Dw-T9*8GGR(|PNGIEaNTtzI-0ryMmjG;b6v5TpV6Gf1x*j+?w;xnd7_;K{T z)zG?!(e}sf)l}>sdx%gmn70=v@y z65y1^^?F~au@Zkc4J2Or+?`iEdb;{Fs;}BxUj#xG+#6Fu?M3Kn*0MSBY8KRoabB2| zXE%LeF6WW~7JN;D$*bH6WkK%T9`N>B9hr8o8&rx%vShc-cr9U2-xvS#FvGLy5mHbI z*KTwA&uGhN_g!21f9o2x-vq%DsYW{@xsQ3;E_|@Z@5-nmw@Y6}QJ6t@1+nN4eMkI( z;}djn&q&b?hsr#~zQIQ_Ya1)V(u$AwvO+#0E|k8&LP&4uXMu6d=WK!fz$gMJ0=aZv z78DMxIC3}O>D(9lZiu${D^+;d7$dz_-knAel_jVsK?O`CfmCL;SvcZ$d(`!TX>jR?bGzEjo6=6}Ya^aC$hG z(XN@}Opp@-DL}xzd>6;Y`%k2Y2 z;7~AQmM7CI5ivPvHJ`f;*Wbf=4bwv1Qxc+m=k&U+zV@-fqWADJQN6ft}Ulw;_Ltt=o{z zm|>Yv1mV0$u(@Qj53t(t^I<^nZY>iIoO61Sn{DmOdxz3601GRaBWf zNSEMVXHO(_wVWOfS--6owg0e#+&Qui7aiD+Y|v|E@DEhVHs6q+Qq5xj5#W<^dnd0j zIyfSqs1Th00U7i9ig3LQRg+w-HI%epamQK1hL<|Ip2AjQQ$#mR{oXtIm zPWyc)xLS~}n;pV&f! z*|>YX>e>!LGBDBsyu#R=?=ci`ebDTELd0kgPx?NM)16jqpzoC9p}&V`ipF#aW{6SaUl6Hn~%s?z~!`*7X;hB?UBoA5pu zT*r!x?unn`2cyQ0@lvS8P=cOj)k1(j zh*sxHX1=d@`4FHB?oLs+mvX>V|felEBE zepBOJTM+|w)8jH|khQ3%)ukd$@4kC<$_0PUJIWPduZOlwfR_@7Q<+@f7u~$OuE2oa zB=&rK@Z;}2sFZoEyiyv9@6zq>h+Auxg%5)-#*EcVcfn`?Q4#!;!Q;)txp7U$KE)HP zbMo*PnHt+rsa;MOP9qM|5qiX6(ayzD1R_&>l1D081ZRRwErN*qY^Zn56 zQk!`S3^1ozr3rOuiCo`SkrNewSehl1qg7=CQ!vMZmxu_e(kw^vbAp}1U2Q8VNalI8 zhOKN-C_n~iW_X{6yx3~;S)DWcrSSOIR4wBeK8>&Hm&Yp8<;Pm3)8o?55dxCEtkR_3 zqqJi|WpTfae?rauRldvrwe5DyA%*7dMn`%21R}u&?*IL7&+M_Fhpx>MzVG(E&p$b5 z<&$R1pPl@a1_9rc^nrUBLeNpkjToNnG4gdynvu{4I9_E6rDAci6q%bKUG#HUe)wm# z888e)ZEfgLHo1MvI(3Ywc=F|}+tT{z(tNUjM^Fe7@}4L!2<0fnpCfl1AjG0|=|&yR zat(W1(7OFJ#8h@3D6Kjx0 zQozs?R|g%S{v)A`#7c>hLkx+o)!JAbj2!<1PnlWS7+4uOi8+`!7`WIHNyxEMZ_Ghq z5+Q5Q6J3XNFj-j{xVZkKr(Decaab;5R<{38DN`coJ7Hq#3tA%9ur3x03j-r7D=`Zr zJHvnDe#ET*1!Q6SU(Sl2*fOk*&BDpX!2F-a{9h8b|Dv&Q{byPJzmLX<_J5$4^*@cB zn1z|?KM2e8AI)WFU}Q=Z`uM+@UPjcQ**X3rx~!~;s-w(MEdNDdXG(O~Mo-KgC5B>U z{15%IB@T}=L9=i$Gca>;{Evh>MhwOL-wxPW6FJ7H6NyrPB+3~eCf1B0Byy%AC5HWH zpK5RtT~m=0TZ4Wju52K|$(Y)iJ6jO5a&aZ^fKmgOI?_<#nt(H9P+eLc>QslMQ>N zZLQpT8uuGY&|VC9B2$zt(s77cX(pMxF7u!Zs)ACe#G|!svY>j!pMhfeiJFn#Psn(; zzuk1?T=t`uwCU+=(pOT-jRzYhDHvj@w?y{PecO8VUEaO!DJg+|@3bQ=bF9m*Z~Wuw z+@AnGY547|-5u}&ug=bn0x}QFS9NL+Q)ipM=LV2`U4ZS2v7sV0eD2NV zO}7dk3uW8d`&9defLI%j*%1159}C!R_kOIK1zigW-B*r|OR}hw8g<}nb0&&nA$cCn zZYdxn{Yp47i8xgWzQ0Xdhgm#JDbH|OHWE-qpXj(`&{5gle)RNmfTg#qU0oLL8Acm1 zUA`Ce6NhL#Q%o*BR98ko@t&9j_4qtu1b|VdK4FLV ziOx%*KtDI0N6ya z2^PLk&YIXDU3^v8j3qP9>Ut#Yk~!=RcRSlqoxM#Djw2?Tb0-Kga6ztB%n1 zu7-q*X1P-e^P1YXYJ$3XP0R7u;oagr!50KM@W|o7*bNtT$s}_Uofy6qdDB!jks?sh zhMCkRH;XFjaz*E4jOrA1Hh1!1x zWAUbUQfB1ibN*z0n&KZYeEb9`*ILd_(tM;*4OMov%cx-bcj#xezyw?}RIQsoHf-#q zjF5%pZEI$~8yLC8=srk)mKYqK=6{+`G2JJROsNy4)sX1i*mT#joA_;-*kE^%}U^P{!F{;E@EdQ$MfqIK+_ov6CufnYp&vpUE9&j~PdeX%V zGb(dYbKQ!em6Do3AveFz7eh@=d%J0i<|Z8-J(`43Jwz8o=S-cjzo5~f7(Cxa+WWr3 zqKRBLhgWe^Z^<%eeaB6WTA}Iz4_;Ry%MvyXsVnl0YS$=<0yQ-+u%Lz%Iygl8TZQJa_Ka; z6ai;LQ=g$dAIS`MyN5a0NiaJx=Gzax{#h2ST9w#20v{4jum%9-N={SKAefjLf1Y2m zVuhS9n0Vfi1k)$11O&`k=FdA=Q23j^gy_IutgS7~KkyRl`~53$Z>9iU&c@LmPqPNc z)ovR*1_=FX*Y&A?@X?qPY&iEfl~7OC`VEl5OQ9rM909^XCNRMe`e4=20!Y{W8Bel% zFgshZAfJK05I4ZhM6+!sbm!58Y!@;gG0{bL2-GvEY-`mr)zezQ%E+}ys_KiO;BTYj zjw_c75>La~iwRFJ-KzZsAD7L_OzD{mR`dJj2>hz3XBK<#_tY76y}kjFE*l~*3FyqA zt=)1r!#c%>tp3dSeF*v4$f0lBMfhEbE*{8bRs8;3f?fc#)b;(S*rPOrD18T=`Wih? zsv?rc50!p#bZOESmP+?Vk3)Wuk0 z%i}Xlk=Oy*%!QlOb_gv-k*FhyeoiZ;WxV_%Da0=8U;0~{soC2#z1{|n*c)!ERVciK zocMN7$og0~=s!gNA$j3$$lEFye1iR~ODBN)7yDE!D{>arIJgUT%!+5=%L;uZqP`B} z-aF|EEwP?rqiYu^n`PT17AH8jMY^(;oXtmq3}z3QK?qV7S5MiBnW{z%#LrT#;|PwR z(y-oPJ9HjbynD^2jl--^J3q4|^Pn3sZU9#65<2cf7P+i?yvx`T^nq&Xiyl?oYr74l zOLdAROSeB7-x`*WR(>>cHA0vYZjt;&6Np^{sp&udqqciBmTC4fp^DkF$=12uOu>XI zhe`&lN@|-l1ldAFmB#PAJ=_6H{~h|y{^ss|-SZaw2yMB=Az2TfK2^oLD)GG|=!50hgF*QtrA-(twNc8>yjIKeK zOM1u#?;A&q#jKtU3=T{Uu|km;T{9n2S4${yI6asW!acajd~`F|4KOtLfF6Qang~_= zT=gH1%3!KsdMRDnt@{Z4E?^?xosRp3;6RUc^WytjaA2fDg`kv{qm4w>*Csldr^<;W=`&QGHZV*?4ZwGpd(H|0UGIc1}>bmXU|!3yK44>W~+dG`@}#(H3?JbmgF{2CNQ3ahvQ0okhA<6J@LBjdKqoy_YfX zhTQrdJ7Nr$tpl40B80XMSDm-rQ$>RHaMn*=cQ)Fuo(rzC(CKG^aK}3+6U-#x91|TaWZDeLA(^^^AG>qT>hYdr=ODU460d^+ zj{EyyGp3oMp|Zzl@8lP*KLBe;$bf}rbSuD=N^!r(IcLM%{O(PH@#{P+E!NpjsV|Fp(-+jxv%hbJ#4gAgf=kw; zKnTVoq_rK1k4h~dfhAPgQCP7U^qi3wf)MWU)et9yUjuSg(l0(7g@gF!qZc-54Lp{$ zZa9vc(U;4+f2ggfON28&NhX&Fg?%d7bJ;R*TDvOqk}Ft{b9!~0X=2{(9r@**;ue3S zPgo0_!+O`BY*@d^=W=#X@_^5mD`Ed?3Yuh|73&$~Nku>#LqJ=>N92fQe||bt#aHHE z8}SvZTm#;5Ww4IvHIJHstII~w%IflyJ)t2r?#vOU+{P6G-*{x z3P+NsrZO>*4UiK#ct~WM3ql_XIk^!u$A5Cfzp#gm?;uWre#5@Us8aa$nKI{df<6rt z1f!jEY6h}ejwgm7VuWQvf2CiSF2#$<%^GzI_*xU^MN`F;9ji#n5_6SEc~$fv^-~FR zGf`Xn!kMm+Fq?SgMeTqf!%{6omu@wTBsZX?+gwsOx8UgnHZo{4%=}gfaml%xKbu2R z~=%bkz3~2DHsZRMLeI zNsI`6p8O3!@qBC3idY^ITON@iO-K6cx&YRzbLo!1Gf`8Av=r$J&qE+t6x~M@lw;k2 zJ67}^7hS4TYV4YX5l?%et)IwK?&?pE(4hz)HBx%62;s2ti8|4B)omgUvE9sK`NfQ- z%`Unfq)jkxx{jC}q)fu(3qTIO>7UaNGz7>OTk7RJckV|kDV1FB3D@#$$fCLG^~SL2 zrV)8op$}^5CEq1+75!ik6%>L6`ahDPr<3)&DCTfqxe=6XyKZyT6|IN3|kN@N~6cU-F{O^TuwuUCo^)qA4)qB44+g4c)%??HETYqT=zEwq#} z`Q-Q8#y5&^We3-h14N*GfNp$De=}Rh#&T6@>12GyU7_Fj<orfmfuac+M=igcY3auqX2NFf($^te!_zh<%gtb2xQ~sAKsk^K`r}SGn0q>wacLYDzl>AKdg&XhlXk%(Z`A#%mA*>l;h!q@mI4vd=^*o;bmRoyff z(9mlrnlgV{tnZ@^`EOFTekX#7-dERDu7z;ed%*pv1u*J<6u6VYeOhyU)!3 z2rVv*o&0dbmq)x;Kbn%Bi8<0dn~x5 zwfNBeidnn>R@|$v3?S!u1@ei?j7SA59o*T>d^;G}*HaLR{3Icw&La_qg_W39AQ>5#yKV-m_V8gUo*A9#qo?G4Z4os2_)5(bIxLm@|f1P1=1?(}lEs z41XWwL;fmgJ0;czof8%!xeVE9zGM{U0*YZs!{C!InMNnsf1aoZ|iKp2kw zW)6&D+dbKpcU%_>2WqND4_a^HpzP#ta4r3X_BJ;JlLaH5qteI8&Ahd4b!e&x9kI=Yeh225-~eizm;iftVB^ zwq9YP!D{NQlm$H{vbs6##;$e002C7fr8qXuy~NZfjG-xSZu`R!BwS5N?3@xixMP5C z9MPf1ZJFx9Xcb;KVtn?bLGR1e%{<(Lb6z8QKE`^vJ#JWObZjnW7T=Awoz4tXZOj#r z?ne)C;2Gt|bwM=F3gyohgpmQ@Po6cP4-^X&(dZWnBMiv3@caGZ_D`s*?ET9V z>5boZ>5nSiSn(@hPdJ^a-MA3xtnvvSgmAx|zMp@%ER4re^t>xRN*n*3aFb95p@14j zk%j?W1tj6GyAeAfuDCiQn(;9H*B?GZwlZ<%(uegkz0&k_!oHl-(%-!2yr4X!O7`N&NJDVbl=u!_FvX71=M8t;jmDzK6np$!Dl#Dim6vM(7f*F%13a%iFsGM%@f#1Ax(|ed<}|tf2A+Z`I_k zCP|Q=;1THzLnp{z^yIstX?nf^4`TLyU0O70{(i?ON5S(1tE&KTpgH+cl2R%0A^PDz z!4sK7!`j2e%iYr210pH%reLkt67T~#*?GA6D7pE0*?D;(P^kbnJO6(qONx}c^-p*_ zKt6T>K|V@|Y6;|qD3SvIt$9*Hda<#Akg_fo4#*-R$Q&Oi4Y@h_z&&;Vs+8poY&^by zQ&Mv1=^Ic2xheU%A)+a_z<-p;(hV$}|GO6=fU7hA!)35+| z|5K*~qo@N=Q=&)F(n0_^(aTd#I1Dx=oJPamq4#$i%TP+?pHn-+7+d{iKHU!rhmp1$h>Z`PEp>TrwFK$9 zRmt9$_CFquuUyh4%R;V!&U_VX7_veb&k_h)eLLN+rY7j^Bv3bgQzyCA$?r`mT`at1?f~Qz03$ zbpKtzxUS^!eSSWoISEWyQJ?Qiq7+ z;bF6^6w)9GV@-MM`po&_^Bun7=J1j5ljz#8%ephL@@~c%_{{qmU(St8(Micu`CSu4 z@kg$)FlexL(J9blak7+TeW#{vT}-42!JtXt{nJ$DqTA$I%Q0TH{aQ@#YVghoj=o(zJ1PNvN6s+Ri zQVxj4-@b|o%B)JHspcuH`o}j{8(TSnpq*AratfSk<(f`qi>q<$O<8u*DOz~H`ln1* zfQ=tl@cnOkPMg8vrizuN#?wxw=Pj>yn1utU--SQBeRkWA`ha!Ndu$yPZHYJ-O9#Y5 zlnx|=m!$+BzP@A0J=#Ovf${*-|WC`vBIZ@(d$^2E;5#HlL-*$svH zYk=d{(1r)By9e)Y^O~W&>+E6d3viL2aUO7x$$AIUd;Ci>!_e`bQg!~6l^$hi3FSL< z#`YiTW^g zR4_7a++fRmRlYAE9}_GqC#BB}!XE3?N>}hOZ`%k8b|@!1#HdDopOS6oWnycrSBr(i|Cw$M|@`SDPU{h(%9yn5#< z$O)!0(%P9{%csS--=Vi5xCAKrxYOlG{rNIkfd{)*rE}Ou3Q$y&=Zr-Tn%VL8SXEiT(tt4YtIQB@wzDrppsTM#=Bs7w^qk&R|WV^Zn!>e_uZ{Q+3-ZH1@kOV(fW# z$yk>3b;v+tG?f`6C`~5({C9%`olx7pVOv{ex)ECfc}ZN91(0(JF1Ma6Phc`s6o&u) zX(3f3>Yfp(NY(beds9jIfeN}=n98k)ENq>-jN&Mg|or;Pyj2t4H8zW zWK)l2k@CTQSxs1m{^amP)$D5B+yk%asLo~k@=2V32+cr*2jUyT zT8CFlz9?4YX#gQ|qdadIQGc|?Ckrm#MuiE}_UO+FwL<}nxrAT%%O(H9O^9-=6abDY z*)(?9-%MTl`eFRSR&E^#D5>W|OxTrYKXDFhyu}xZ+*mwPP1Q6WnBl?VxDDOfG>YQl z|Db(ljd{me0cF1Xa*LnMbEnNO)T%}6mTY^#aA&*=q|j4~C0?Ua4kWIMi4+EUH4NM8 z#gibv%HWX2;iWExHf{%Ta@S$z#Z>BrYOP&Wc_DxuTEe|Bmi(YJ{Jpr; z1O}k|3kn2BtR|gbfL*q|PvRqB#IjVKpnH(r`IW@C6@e9Q(-pIgd4S>pp$~O}|4;FH}ZyLCuw2iO6km=0@=J7~g<{=Uq6t zOD52bQIZAI+kI-&LDG73x8$se%2SdB$$+-8_L9pL<>&h&(g_Xco10~8f(;RW3?Wih zqPC8nKL{mD<7S{alTtsoyqZ~^q(^GwOHl{4qjG)SR36EM-N)$!2`wrpvwClB!ub0M zf!hVWgGYQ)4Mh@NsyfsY4ZuzLSl!qWl|~+{D7D`W$8QI0$1R#I<`SZC@^U0GlmO@( ziEySZW+LE|)3|UoVt0?D@C!5!@=;9>8YzF@D~N>BEl2f&yvHc)TrKN>Yv2@hjHuGW z3R_td8|JHS9Fv=bsi&_liB3)9?NvMk3a^U*)+u|iD2-_rmbhWp5 zveK=@f|4P=b+(mDS4u@ink+NLeSP(A0bz*p(GPEJ z?#ewZX%7oKFku#sbpJI1 zr0`*(?&~I@4pT_DzPMSLr-#L)PsqQ$|J_Z%g8jw6>eD-$pTA<-jqFEp+MGg^?jTtk*P(39gnBNiF;owO{RX!X*#vJGS*^fTp1K( z(a&zPw{Pi(4avcngoI^y%cZGoVsY8wNez@;YYDu^18(=_6gx@n;p!fSdcVi=QsX+S z{?sAHy75Wv8PwKR9a4`&@uLnM-$gQ-IgZ}?MNp9Ht+m99pa?7RdHFS*`8bHM%qjQ1MfG(KZcldoJuiGHr;yU&(txtZlvUgs3Z0$a6CoWV(;!YGF(y7 zCS~VD4obNt4)>uIRJc=O6S|jLMiyI9($AYEVM-~Ym6FkHGF6mu#@n+$owE01BA6Rs5)T);h z_l2^=4!kq}8RnwCNZ|G$MPaht@wpc134;dCOWv%Xy(nVI3&28Ry@@8{X`=ZZ> ziSW7E&bu$9ad01!p;kyDHM(9KH%M1{(hMTce4e+yxsHoRI%Dir8E1kT{)*ui7U8^F zyg$*Bzc_L6Glz@6W;E=EyorE^gUz$~063aA9Rpu@Pg0W5ga}cu_BeKaijIh#7knxH zT+4;C={EyxgA!44^Z%Y*kgLj~76WeR7$ za`mFIOskZ!w9r&>QJo89EGPS`DnJ|eZo_hAE9&SOhKVR=K0}#+{<=gu6-AjDgJ=xq zX)NnhlN%G)u?3o)T?uUHrF7YnsL|ABEM9E@MNE?VDgTS7DOb^OvA`O_md3AItO~OS zUo>C1C*y?a6+Mfv%fqZ#TuS@=U-yF1`n#2+He9v-88QjzjbQYLpVlwebKZ{(hsbVOL^0(y)5Tm_OOiC$0!$`v8{8on>^AMyz`JtbK_r zG;QTGO!nwbfo>BXuZRPdM%=*Zg$si^s~3ZTB{^m;!a|jy4$zB-3Er2UJ*VYt{NpG{;igCDf0|rnX;Y zuSjk1cRmxUm$Ghg8qeNKQbWQfgCa|i>v(qY(x}RyQEpBmdouF>aQ(IYd|V5z^p^R7 zI1It}R{8=JY4PLKCqF1IWfP{2wnQJFJz$(`Gwut5{-U|8xTeY*V7JU{0aw?(J4@?5 zJcULc_>kSS37_k@?s~6(I-00F5=BU9(@pat++vvZ(I_y6(WXwPL_8TO2#85kMBkxQ zS#dF7N$`K1O2R>w=_ZS$X7GEl!vnppC?Q_JxMu6pOv{5)2mocpIG^@Xh1l2q5+(Ct zh}y$J<;OvBOz3F%Ra6!DvWvM3DCWDbg~FJbw8Rz++{NR6CjRu^*v9a1-<4RTCs-C- z&S<+H*9?y+p(Us&@CjI%&b-e;RbTP2l3b!zYeBVET|J>utgs9ja+ne<31ohw=i)B( z?|xB<%0qZq>B?W;-U*o=WsFYb{wVmW#*M)Xx+)_zhgCLzH+4%b&^^(o3y zs#n^D8FtoJr8P$wcGy*w%0>&~Gy*^69Ro(RdCe<|kZ&2cL)*j2K*mx`EiA|?CR9-b zwC*X_E&Nm1?q~&Dq$pMGwdTNrKQ<_geZa#q^iWzXI}Zsr0<%l2%GA^}_@+|EgM}*n(!$@6cK8v9iHb{<6;~ zQCQy8A|ix242<@@uuWJsVdya-gBDMiCYe2tOyGzTzR6~cT+w1W@cmvY~Z z@Z}C4yU9U!o6om&WJ@+a$Unm$kxhnUyx@+FsqE{-7D%2fEalDD;QnbdnhTVC2XRa4 zLOV>Bzh}UZJvlFy*au*^o3Bkng=3=%4HZa-5?jm(BC?gOLgQ)KIP1tY+k||dEFCXN zszV5#_%Yd{VPzxnLYTMg(t-2RL|mvx&JZ%MJfDwMfJ73s2xo+{wtJ=3qI713{dAyO zs@v&O)u6n3*2Q%_i-{)t>h57$37T44^egoyAUR>558KDWE*=Y#&Mv2ag_7b<3%l49 zXBE-9Sb1m&qmXtgQ}r8h+WdWFFDDpUN2$rM#YLM8`IKF&Zd5MRp|wxXz)e9Cy5jMZ zkR!4^o$c3jCfQtT?E=PO9xIwpf@Wx3LB$koj?OmpR@aO=#_6Z2K^{^gXrQ2L?Ft6q z&1AQT==QVU-)Ys4uBmxuPcw;mS2UKj899mW0BwORwJYB~g6VnoqDYEdB-a&;^f&Qe zPTQYFc0z2eYNS4Z43oA-pKuNtfm$$YaVn!Cc*`oDYU~+h7w^}9D=sFCRXxq#1Nbuh zvwC;YLKcznmX?qLB`u&#_(A*)W}#xrkGQ7RYirfcl!Y3|n8u`s7k}iDhT!u+OPckX z$B*2#<=;y4-{LSt)A`yY&zpVYr#rK#ZL%5qauL$LUpd7GL#5FV#3&t|93*C43&Pjiwd+^0|ai^g;rQgWb zycrnv@3HEV1?84YkOS*R}hJe zjhso~qpJ8Y$|jl_V--%!gd2n^rfh*VFD7E=)5#_1|`bw~rnu4F;dhwglQ<#qNmSvs9qziQi|=zxw=cAW`Uu zj|;Ms!ahCa)vfs-Thm9E@zy}}GK_V~M2mXzUCc#bE=j(on(hI>!X=2jc`!yeIi2_F zTh6DS+AHL38hFNk;l)S&6z^4wXz5)DM4X-~(;5dhwtp{r7#0C^ z6hzN`#^brqk84HT?6%=;BZNYyJ~E)kp)bdV4kZ!!^TLKeh)8y=@GYt{QWt z!|I5B_6@nEZlK-IC4C`C!Y@$xk5HPzf9nd(#hFrm>z|^uiI(zGDNDx74N*q6!J6yT-g=jUeUg20yljP>9L+?2sPLtH*yb|4>w2Zea;Bo#n9cqt(~EaU<~_}2d_f%9qr zL0}~jR1*9VCU!IPl>ukZX|G6w)!$_Rv#Ef+%nj~bn31Mr36;p2itAuxdq4O4cS>w`B< z3*{>Q6vmPu>5Nrem7WYR=?<28e|$;Y4W)78tx6j~Qke9esud4{;lSq2^4hb84f`rv z^y}cQz4!6qvA;#!poKY^dT#mXx}SNm(x^ni;p+GP`ceMzo%!|oH0b$GuEgepBHh@L z_82WirbRD2qedCDjG!avO!@mlzh&fCPto~dhZFz3t}^GH`F4NjXk?NOD-YXh15j`k zF@3cI8>Dhi zdn!GyF`e!;x>^!DChLVJl~lu>@yoZEGnVD$NR_U+PWd-iT7Dx)A#PfiCrjM%47q#C zg2XCW#LIkWx_+>Dlu>=PJ}fI8Om!3?St(rU_{{^Rp`zF|9^r#0Dot+mdJ&rY<5T?! zjr$`tS0>u^ndK*~qNw+@cHX{zS}_X!7n*O%U|+&Ity1-4aWPX>1OwNNNiXCS=52f1 z2>s;cOtY22RP+gumUn*`ceRZ}0_U$-AF;$2Ons9)Lfcvn7b^axP&fa!u1%&6gdGYb zY<_g@R$33cR*AAff#5=%U$gnqyBhnlbpBaK`wlU&DGclscz8NC_}Nu~@Xd)#nfzag zQV@XNK$`Z=HT&tZ-*7IwJ=gQY4K%>i!v3PE8d1KE^3p5Nz{)T64^#H&ceb*N2+A>= zRPAb(*tsh_ogDaM{@p*+z?p+m-5qVi=X}*lvC0~Z!nu)Juw%Bg`rmHLsqwsg2b;Q! z4v*4QkhRG3TeU*>@FPvC0(xZ`^taWvl8zF-?O6;VliKD{r2%b3xY)&Begv zNal?Stjs_lcfvE)x@RV0rbgQPoGLP0t>!eH zn?09_;TIlWBI#>RI2^@$+danDgyzb~a@4|Ku&^n{;QcgEy`N4APed8Ve^QBD_|#-j z*CC<=)_yQaq3fz^p>~;~Kd;HNTlz4bwD>himxKfZ)XA>Uc*1(az8;<@#j~QSZd6a^ zO8bttdYNgsr0Tuy`?JejczMm+2;UK**=z+JuDP*I^HVd0FYYtIJ&aI7gqq(@d`Che zhzv*E3-4xkX-+P^XbyU&qJ!+qrqS4Jvf|xMh&QQT9b0<(TG7N%-AUbX(aDUD&EDGR z)tvtph$%iIbuz_hGepY%5}kE-BQ|m^pe`}j@R3AM{+*oF^EU>T;=@J%KF0fFh$NM9 zMH-I~lNnkj%nMSqOTf#;G^nhS?B~lWvkGd@9s#vzjccc1K|=r0T=cts9cL^wRHC(g zvb4!HJPHD`^o&;;oO~$xnNK~`1j^I%QDk5-XpPnIuT5rsEC5l#;n`#LM>Gr-LFHv? z=x^CXLv$5!gO!AAk#1{PG?qO3ldi3Ay2b&x9nTic+(4aMcdR?2|8*CRBRsTMBhe+)4AtCj* z6sXei!RH2LCf-*5!U8!&y;kjE;K)$$g9$6or_{fSFEG}&kIU)oUuggoe6sU%oQ9+U zAIu7WnD~FViQv!u*{U-6lqo9U6+T=fHiP%zgNRv=4NWVw(AlOTnovBUS$iDihvPqt zt~#KP+PNW?9%`ZV{2O&f9T*V2-Xce&!w)hfTJlz=VDqwz>07AGc8_P-UJlpmN5SLy zPRZ-2>9~0v7jm-vi-$m9k9(ej7SIGUIv_F+z9cP$B582Rgd?CGqUkA34CT{r;f=(6 z7tN-AA-9_w4~~i8y>Rin<9iHRLwWQ|qWsF$o8DIP5kylxTR`U%)jk~KtG#>9P6Sf- zzr+)}bf1*5(7tTmH)hqB;qkR?WO5no2QWELcjy3(T9_V_OuH}oE!%d6h8N#qS+H>Vbrg0r{Lom59SwSk>yb616}d}$XlQO*{lnsox`Y!PzQYc5Sf?=y zg3CAS0eLyis&-6ya!WCg==gayTg;co?zPgr%bF@;u1*` z;gf>c0b{=l1s3YT2hIZD-WIwyzfNA%r139i`JBn-khN@P)X9!@zYLb6csl6eLgZMI z=>mLH-g$r(kk{@V0`bQCd|CN~v2;quP2F3wvLL*){zX6Q`wEgzVHFi;*7r*2_@OC% zi;#o@3dJ9jPv?_5gxai35|p$~#XjU#6)@WIVywnOwa?N@Sp{A}z4G~ch19tv#~hgZ zTZ1U#3O&&}dPvQFbT?glrs^P##@aps`^4B^#5v7+i+|4wWH4d)wk%T#be27 zB`2SzH?Pe4$n&wxbwRN>_+Z6S8Hp78>y@sO$rLUBqKno~*6m|`#ZSok`OFJ)Vm>|j z{DP}_=+g3d+g|I}O6rhEgx!g?x_mRZJ56eMGBZQE785JZvzw^#OMy4gyb3%YTcV%Y z{b3BKgmDQ;GpP(U)xrV|L2@53X!xt(q3J1xRjhON4V`)E)i;yaF_hK`Ct*FN9S!Wva49Z^1#G~FhMfm6Xz?DQF z#eMmE<%JCRF@)6IN`(p#wPyq8Y~@uzh{zz?`bw6i8thJ9 z7}u>VyJq%;JwG}j4*KR>{jEa07i||0s=2hwRkppW_E$ij#KLq23DQHYILpA0VowPD zMD#XlnZ*hV%NqnB`X!tm*5R1&q|LCa2&K(>VhD#Hjwg&t{a zYmW=g9kI{Fj!kRnUXOhb`aO7jHx&0IFjQj_QZ~sxPW$#k?xj4f0ZVk`*yxW+5YHTO z(=6&GHDvMyM>TRD^oZy-|5S*_eIwL1G_LLb#bN#%YBqnJ?bzD@Nj+gOXlW}gJ|<1h zNq!%S)8m!zhpqTRo(CV9M25?vI|W6z2rislFXRPWkK{A!81EErCQG)zs;WPk3uDy0 zJSAMuv|#4t@QDx%A4X_t9aC-r23JG;*Kg5TXO(QweIf{{G ziVQT6XvZy2{s~)=;I6zX0mLaCa7g4n+$l$@!3DW&C^Dis-Ivzexxz1deF`NK==#;v z2ouF&aZia3a%2F3E^#l44d2^CMI30fX8qqSDAoUb~-tc>I+qCO*{NevjVD zu(3dNS(#fFE;nDhE7;n{+Bjqqiosb{H=jN;V3W)R~18AbTB1vmtJEdjC)GIGshX%S5A6p7rcqTF@S>BQme zY@v8gkDLUjs75B)ld{n=CT5BJcS(g~akb8nSt*&8q`?o=*+02Ewb`F9WIksG>rSTZGfD4{;ZbXTH;NQm-PWEe)mHfaqAwcOJpVlo zG&fOzdm;h2^jUP5G~LTNUmU<280|p>5oeT(Yz?wCpLKly03N#O3yjL4UwCY&NHoG6fAiQ{eRnAG$y)|6ND3Z6@@Nnz*@?JzSHAx|y)l0yF0r}BhWUHi2M$frY zqwNE}?p@_-oTX<+!X|5&8@{kn!-h3|s3C%Sm+n!aDk=)v4X3rV(}e^<-KjM~F{=y&rD z4Nw2s{+ares0NuUkoB;4Jg99|S0i1`*Va>K;?bOS1-i|kl6OxQ7MuA^05ACYj>K7+ zSUsg)`WY!zG224Gi7&>N3@TI_#DeQNvu_KOb3Tt?NF-DPx_3_-SjO<2jZD5mtpI-UrPIH zbcO+;Kd$K((iLRYjIR<49=yRSgJ!wjIC(MLyRZIokX^t zNTp9AFBOkF*MFg>q+y~&DKKvYEzat&?A<9BnrG|w{b#1R$GZqBl-52JZxRewUXD)1SS0a zNQ#%*F?y5yayy4Dv`gsrI02VE7dZeDR9&w{9{#t>=1)%~C|wO^xS88_xe3kWfMQps zhg|i~@j!Sd@{|tRjd8irXvYPG)D1{N19^{A-iZ9+UUzBMR0TBQ*K{?yCu(}Mg@%Fm z!@)C<&Qx}St;$G(BH%B%1qJOELz@`wHv=*Ghc_txbtupiY$$FN1$~n(1!GLU)X%_z z7dw?ry1=B`;jy<%8_11S++T4~_$Nc}?>~b=C1Fb}2ysCgRBy%tBV{ae)UEn$ z{-O!lMqRu#(BZ}H`yCI7tF}>R!>ym%OeUBvvR^|-3F{lXqvTY{?B_GydSEhI>d1C) z-P-YTrjcD$ZRnK3^Af~C$ymEa=+bDhe_Qs*r$+KnuSv+;VEwA#LbsBCuv3b&*Nx;Z z8O0eLUi>(DhXG{{U;jsB16N=H_VM{4mSh2beu#nv(VPS!ydlIY4Uwq+r?3NFzy=uM z^F#U|377xzN^?O(Hy|%NzrcSKsDJ8@Em*)FKmgvu0Z=0F{nMB@fnZcz05?2Dc!OA~ z!P1a69K@_GAPDyVx0#1u5F)OD8*l+Ua1bpE$PYfk1pxmEI_MA!H0nQ52fRuLc>?i3 zL-0aWuo)hJ2+W}lKm(`X0c2r#1-btdcbQ8(9>3Fi*=4%DS{~~BgHgS9x2^|DxR)Mf zw+`)uDjTL_vN z+dip7Aqn)h-2p^i$!lJF63kP7F zlB%+#s7`Lj>?$obG9M`8exP zvy$9UL5Y1ywOr>B`T@VvooljDvN1+z`GpGuvXbh|6Gq%>4m-~dC)ak&A2K)o+s<(< zDIY)uxCTT!(q<`#_yX4e!)g#wN!k^KJ^zbsE2)~RrQlq=Xv^J|%TBmj53}BHrJW;3 z#K2D%VYSgj&4pdM*Ey6X<-GY!mAH9Kl^S&#tvbSd`|0dR5}tS==4jUmg|;gd!z%iO z@Iw|SxHnjnw1-46J+fVTLzz}zt?z$O_sn>FnLUk1PDj@+och*ciK78>vy)HD)WZAm z8oCYs4rf{Du)WbN3`IsFg2a{?pJ&VEYBHfdDNiRROb6AJ(sHt#2A7nkS0Oq4JXdk< z{OOQF?n{PQ!E_JIES{MdoA@vD9*gTio0CvXi6d!zw196ve}MOrwm(=aXi1%iDe_h^ zn`(8SYh|ya7z7A&YRk`qcD)-JsATW3cqF{BwyX9d#-Q3Cv!gCGMjD0i8aDj$VCljV9q>ZE5G`wLP1%vs9`XOp||5&aH> zetU~NFVQ-mwvr~L$<~q5Z?oJ4jepYRe;k(md1A(pXp6;>SP^^#>iAod39aBMw#qrn zh)@rscN;B|@HU45=o-rQ-zEAw60|dLPs=PGk9LjlstQt~inE*iil!t-`2}8snI$#J z#|v}Bu{?I^#x$u5`)q&&IoUk~ilR`PH(FGZ|P#jPIW zYx!l~LQP7ojQ|O;$s$t{3D>YyJhQ2V#!(bk?1H5?u;Gng)?v0dTkf7r)HW*xDjhDt z#g&8Do7UD=BYt@dXR)nN=xp-UaNgFJ0NHtvnGr0ID-PB0k5vW_utuS2Hmsq+Xo_*X zmV2{rKR)`4elj=I58SOHh5?q{ecmzQl9E7-3LjS;|0; zkk0761GY@V0cTUTTTT$pn+JsvkiMXDE}AxP`7D!MLb#I^rq8rb51IU;wZmc-aOQJyWcPJ8k{Q z%o}!=rYd;K$c}x4_QMsYWj-033UlPtxWA6yqjaP4ByxQOcp5cgWEZD1)aSUsTz(M+ z#$5SKeg92;g1cXI9l&z)qei0B``}`hGlYR{9rWICLcx6KY$O2 zdK#ZG-+OJ48Fb$7=)Pa{G%i~|ZXhvmiRbSx4%%~|>Z`Bz>V=I%Klo;#`*wxY^Mlxy z;Ow0PyK~4Iu$TsYsA!^sy8(pfRqbz7iaJ1xir}s33+(|4hJ&k(_^Mk#4L)(#!4(h< zqO@=6hTn_j+YK<*y+ol^mLZyjYy04uTT~%L3G=XHz(N{M5}WxpoVa|EUfQ_4Uz@PX@Z>+dL`Ab@r_*h)K4A`al9=g?--dqi zx(;ioKDUxo$f<;Q1t>x3JWGwAHAlqsiI|7snL88zN;C5o-UYs3SlQ1g1 za|bb@?9WQ4f>dFped2-2P#%m2E`YywCELiRQ#tm$Uo-UK+^(zJaf!F=(W_G%Tg9y4 zELwi1v^?$@^7uuKvM}_`QLfLsMR{SWqBP>N%T$>H#w&Rf-UKYtA8+>!iI{gM3SJ@E zTgM8nBSs!Z88pQ9L_`u1>Z@jxR$!JrqLX+*8hfqM=e$v3#$pyyYGg;U?+d<6KM0mLPImgo^FJlGIs z#=9O?RqhDPUbT1?9C5C>6bHQ5mD9HLaVu2spc;JG;5(PTX6qzQMl1$E(BTDf4 zHI#g=af2CDaRL$WfsXe&vc^1c7{>gvHQAtYRSMsaE7vgy3$(1Yg7;EdH1q9|4^y9I zz(No|vS5mC0G=>%DGkS0?=FOE`*CUJ8nD;^#k&ThFAON z9P=5}aM$?1(NuxMgn4wWscxg`cNo3~=jT<^rS}RG@{?XcOlBj6cBF6O)6P#INi|M%{6IWu<)5W>YF^7Cvne2?=y}j+g5z zHT~xV9r*|W-TZG#HZwr%-)C$Y^)oV?HDfP|1c?{cfrTwpifXSUXfnQhQW*im&ZZj~3w&VRNCtgllzbTgvjJqNeH~uIO4d~D zDF)>SmE=1gkrZ5OIh9CL1AY29gka>z9!^ok6)boH>w1ADfRn-bV6=Q6hxBLJF3UsV zcQH7JNukrGBs9!*PqmP5h?d7VIeUQ7)^nHA=pIywi$a%hNGt%K>h&wtq@iS(fJm%?bee1VAF#=W?Uac6WZ2%hJ~ z16y`Jn~{PZoJ%Rjpt6>!Xk8nHfW}=KW``QIK}I1rbR}F}qVB)vL`#mv_GAp-H$)Gp zqei5Yvr&hGpY{&R-k~+)QceGBVJS@m*usNkZ$Uz_D7hg{H310u09pU>asLMf0PE5M zY~XnXIUzIyxStll3(F4y8&bACalsgL04jLMcOwW2@`3s3AgjiId0AXwCprKRJTDI< zRf{LOlnwxSKtmodEv0m@-}wQ2E$T+F-_QWSmK%FmIRtq(psY&DDk7Z+H>7ghxZ$jb$e``6&-1A^E7HTZyBU{*g! zgO{HR9OwtD3@gCP$qAnLPm70(2TbY@D?rH0DacF7`R|9)nG*TmUv2>b2-yI3^oJEB z0P=DF|DD{B8}+|V0Z6*pzXAW}NXT$7YQVov{{OEmP>@>yY!m=11X+>)zXO2+TtINu zzdj(uUHE?&1p;|_!2hGLvuDw(h~hZnQ!RE{2nq&qtE8Cs7YGZ)maT{ukk>l+@Q>mu;`n@QXe9^|eRayhadE#`V)jyJsIYyHomwj19!z%?jwj$S`^A z`Of3r@mDPy&1IURbQ2i@g(dEYDvTo?fqCbA4(p4@yJuGuw^Btq%pu!`fG?sv|LyzT z8?U^XL7z#+aLMc6KkUAFwdK6teX<*$Q*n+r_@=pOR`OYhU5w55^^YgJri3>L zEjD4Lnq6_{>muBXhzwd)iyx$%c+OmB?>fQd>F&M7XANpl1U}a@Q>4_B1O%5o&4PlL zJoW`2NUPwykz8rq+ru{FaRA5b zoa673nG%CWR#)Qa%~ZS`)L&@nYsyTCjn+b;O^froyMo!8MKD{l2s$x~Bx7Z+BqD`b zxVLTHL+35TM#D^wnz&rWLKLsMQp9W>8Nt|0;bTyTOmFhfb=>k7(d4Arp9wQvs*0D5 zlauO=_$y7Us$!DpQgkPU!+q6LbuC!pW(=;<=6PUT8>f|5QdM;|^^0V&>ju|cnvHtMzu{0Sh32X;nnu*noirD+!fLL@OQ-=&rr{ql zeo=9eEKIg&1RB|$Yq@EK0<3qHU@I=E^^-wf2B~*0{T-k&xK`G`mfh=12{abZc1HrU z(#6N^TBGM#X)}%424<8%AM_@Rp`=Sbdq^gA_K>?y*drpBMLHeLRzRamd}gMz--8Wr zPD&avh5UdSw%{>VBdm!V%{!kwc@|Iz^J5 zBnHbVwV>#5)M>oNJc*5bev!Ko*j`^SD&92`x>ljU%uk^KQyl`Mx}O*3x5aGaLty}? zOgC5sM)Xi(0;7ffhXf;+6O=ZMR`^K@u#y(dh@O<8DH~W(tHm#Ajn@ea)t$h2HCv;! z52;?%cKfJ`MUY5@IB`!v7s;{fFB6ZF%7Ghf5-b!hYFmXmbCLq`_Z4YRzzxRlX<=rV zhlF$A$r*yj(>ca4fh7(fCh?=pPF1DAgjxhfaM5TPLg-pkkVJw82w+L8)DZh+ZdqPh zKR^^J3v*pUT`VO2(=K8Sps8U3>*_gtjWW#QcW-ex;VJ)R;TE}8vwpJd-d%`WrYPk= zqifO&trO&Qo*p#8ftR?RGOMC-55@4%ht$s_>ZOz#M?o4)x}#!|3A-a^8W>f-fz`tz zcW@Qh$Ns2gxj4chl+5+OK*VRnV}Ow|brFx?4GhsJ4D(Ug$7CX{h6CwNQ#G)tzCU2b z>dAnvtndH4yK%?m;Lch&ZNAhSK_R+uNu>u(Y delta 37725 zcmV)tK$pLetrF>}60qYJ0pYXc7cmP2FvaNdvl$~iQv)$IGnb(O0VsdXTT7GUwh_MX zub5jnl^vLPgGqd_6FX&B%1I?t$-$cgSK^Eq>oFmvne4w$0}YS>1yY*I>{d>EK>)h@ z>o@f6{kyNe7xJbem164V{^7=OqP4lvv?L|hH}~tCp9@BA?_^mPKRn$2^Zv)LzNa+$ z0pmoP>ZZh@fAb?mG@^eZLeencL&;cX7FbSF6$ahoh-70hLhCSKQ}?+^G%<{YF^@RH zL<1zDWi{?ZmYGR7F~t>x68QSvb|HjI+Sh zM8K?mwYs|nG8=y+^WccrMU9VryMNsJPpeJcde*$O#|_?Xnp??=dYxlD*bH9r|3@`U z=eXm#BnsS7qLe=!jzBo$6d+L_?Oj>C+%jD>c)zOm__?Y3cKZqMPfu{w#kz*y<~RZZ zs?-;E9Z1C?@5?y*92=UbsTp1K&$o9}7dcA@E=gB|)p&o-Oa!|zdSSPMR3=6g1*gUU z+#he5DZGeQ_I}f>tSEm0KvS5=eP|!>3UZx}ZntX``XRe-RuV4M7k7?sgZqQs;R`-& zfEtKdkPN)^4w9y5x*fccviR4bYmZ2w;lV3$QGzMepaGOrGPosB@sbtCX1ne2_T;aq z5%#Wmb}E0d$0y4|dwr_AW4mgfkd;UOtG;RQX5D@$DQ~(4Kl`tzk9`w{9v;F%?k613 z03$&o{r6Sf`=7Ob=^8JOts5CO5{PK=`+y;K>>z)7PegifeeznJMr~SI=!uZzjqVD_C?&;Vb_K1aq zevgEISg6=(73^T(g$kyTE0Dtx-?V+s-y~+H-91^4bLji_+$rm^1Id3aiM>5!2aPrbJW5Tk0IVjzWZ z#yB&GFbColL}T(|G?r%(WrK}(8!JH$|2}`A*7-fuZtL)&%_S?E5zeo6kq~?fu8Kc{ z3Ux1SA0|HfYZlL(2sLnj8O>aR%&W6-c`EIyG7B57h?XKjFKlgsUU*aEWy$6{yElhk zaKO?m2*;38stMmPPO{4euV5^)&!<-)St+h168U~}C*Wt`08%U-58I~m&c)@e6y<*< zbm7bzT#*AoD(=+`)zl_f%cg^h)N}|vWxl|W87|Ar7iO0EoamA*Ylft$@vy7z*LZW- zZ$Eh!Jm5mH)?9tVTvlwyYm>f{RVILC^ z)WK&a{8lNyVL+bWMiZmt1+42y@@{`h$j8i#Zxm(Z8^z!o;Wc7&&NnK;s#my1I$AEY z+pvHYAi5@ah(cETm6YOWk3JZztX(pD-dG7OoM2R+ySdHBn-hZ^XHueTaf2K7(Mz z2^(u+*F+jZ6yH3;X5QnhPo00u-=5obldGXH~$tAaDtKIxn&4d}n8Y5!w4q$g^gKQR;^Q%iLd=7}FWfJ6`yKXX9k$m5YnH7*K88vHmjW^(It^U| z2ohI%mi%9fjU=aUdOv^Hy7^F2v2Sf!-@o@W`h@>wSW^^T^H_K5^YwY*$iaGyD-!r} z!)}Te`w>HkTWDT;ucF^^X(Ev1f9lp zlt-0xv@e_}>bFs5D~-~2X`)fDNodbHZB+^{E)i8A0W`{T8u@<>dY@a7ftpP_LemaS zNp+%Vu*9Z*ZX$3=2QFLs2W&Z5eOg==vcsrrkfSsSnH}n?&`%jCmY!mfiFK{YK&oJ5 zsxotdP26Le;R2h)u(o4?T#%S8OP%F{oKMqO+>V>Wm(JiT*&8Fek_o;-e^47@MB0jQ zxW5Se3fwAP?vQ^gec7jJeyRCq#=;cBS^E^nUVDF?!WrJp!I=ZW>VhD-O8tf|gCI2~ zA#lkFa(-FJw`rwb1!v6zoUfr+RSOjdLCy7CPAJCU$5j&5c|t7Bgbg+xTZS}b!n&-k zW<(5}1FM?N1y1!hy0=rNQ`@amrz!W8%Kc0)R`I96VV9fQC>g8tU|eiU9~2_Dh(bEpXrV z{0Hg$s>k`79yowaAb4^xg6j+BxNx^?A2)$rRAOH|$+yNmInxJ^jz#sh?Hyv^Me9Gz z$(es~16G4ANLmB128$SXrrqj3hl6|647k~1Tibq4yKP}ZK1j9;Pf8y+2aq_HyWmlU zqdK-)&}5J4m^dta1BWzcxagG_0tY!gr)I+mOThz((Piau|FUU^bQK<*;{tM><6`IS zANaHo2ada+Gl7}ScUc9n-hHY7Oi!yC3>$wiu&bp`vk_P_WHyj;KeDadCST<+M5+Hp zktZjWU@(md`JJ`4CI=8m#1vC+0TK2Jh=|-VH`^{0AgxJYj0I_*feN323Yn>9z{@;L zAVQF14Ezd|o z1jpm!-!tM8EROxc`J&-u(qpr4`tW}?^>6QoqewQYIRRdGp_=O2I`He4xKetoyKrsM zLUn_LcAs3sbl(j5KOKc9#uK3RK2Qq4@$#OWEX-SKr7nc? z@r*bu^YNWg|tgdQd zZeFi%{;_)f)ZN~R+N|zxxm`WAn@zWS^hNIu``bGxf4%S4r-LigtLIy8R{O)-fts`f z6+i4Zn>|)N55K*=lY*^&c)0za*Z= zPlx?!f46=G&x~XBj!MUdr(M6_Vb?czT*<0#phK8pqZIYHe}Hy|;S2qN9^V~0?EdzS zt@>N2K>{1T+T!w@h9fn)hp)o_W9x%C7zkW_5V(ht9tj+q2cSMP_+V zf7)Rb`*+nB!z^v$fZL z?X_R%5@A7@4DgZv)Zx4@TS>t$GPHq$s~B3%GPJHF5a}*ybZPJsg>5qQtXo+b!wTKz zf5fgBw^_fxhi-)`5rd)BjpB`rA`R*w$38I9c6>O}a?CMwQ&-ZC{JQfkWKQ>y?EkFm z(#T=$m~EDYVx$kr!?8PfMtOeP6Prq2S4vDIo5YwH>3nQTRl?{vIxuQ-vw#dxOymlPsIsQE3YCLOiZer_J6yzf<7+d$NzQe4t+P!C!OA<9_bkMd`L~LyFC!oS3AYP6x#b^e`0{`X(8ZehEuY6tgg+ zSU=N_3M6~)V8>}>gCLCSuza5N=r`jOzta2Su2@%=^Oq^!x<~-4noP)kAqre2s~1%` zFHV3hP5^W`H+Dvc^Qe0N;FVyle=F^jAPR=1xuUc)D}G{8$nw-{Ptez;rrO(v!^N1R<8b|+X5VM zMY7`b@Wy?-+t3T7Y?yTLIa4*Sg91qgH26{XzWa%?0kwjZi2CMn%$gAuXjc@O%(rw&YLCG?G6hJ)r0ra7bFsF{4hmy60=TA(VW=b0;6_I;dGCjfBY1{Yg)u4#W5@hq8o4b;mfm)jAP zXa%UUk}U`-9%wSVxSEBVIpiAIIbWq}Y10LDoCzn3_x7CJ-ueD%YQKKZUa9MQ6ML_j^U zX%EPI1~}y*%-r*xG1b&$PA6`8(7OgV0;l&I84PhUIf)bCdE^bGPhqJAucQ&n7KMsD zId4*M%NI=wGpbs@e?T@Y5X>i98AvwUpdZBzKe7h2TJPOdMKaaC=x@;s3}Nvy6R$Ka zTj_IrAXFJ2Kw~!QmEYW=>x0w_tj!4gt>=K&kDq|LWqzB4NjfhJ@qvP^7sit@0s{K? z6ZjWY&z#k0&?vlMHL|9##mr>pNdMTihTL^!naV` zMxOfVe8BL&w#k55Kwkl#Ap~P7lCDNmJM|{whY|HT4xB9n>w!xuf%WJL@!D3bu zQCJf+0nR0ee;CXhRk?Guje7?)7=a@qU6Tx7@xzBxgL@cI2=tcjQi z{`Y>!vyez>*k6}?5qDCf&D`X=A%YNx`2l99kR)0J1W8N^N#q<95P&!?A`bok_4Rf07xbk@Q^Y{v&5$LFAuT7-cY? z>#<4in}jVNpO5WZ&-U2DZ7f(!Uit9h^Fec=Q|&xA>ddK2{XO}v76$G|yPLe>eP*QC ztN^$@u{6CS4R=#J!yAgHuxkdaj`gpQ^8?~Fe9Ad!mLMAS55NK2vC8h@RwqA?|)Sy>c zwwl;`f21$>el%12g+#$B5QT~Qc?fPO(l`8E8`w-6@Jrf&FW5=UTyLJ-Nhw#apZd%( z!dC^m%t3L%qleUSLHg2ee+-_NO?U7()=vt3f2iIs6Fk00@8lOQmSr6BkG>$DST2HJ z#Bq1HF`!d2CwpoBi6H-mFcu>^*ei|&6Gx8$(X ze>Px~&IOFfW<@(lEJQ0YMxd^Z z?M#0 zi%i@XvA(P&G4!s?GGx-Vh*5`qKFW3cxO;fB@nLbSe>=>0Il2D$xPoT zZkM)xbS*G3#$91bNqT{bUZjHJMOR=WC#HDWkghMrU%`4{i>?wD-O|p>NW9M{e+&fw z$*+YE_@kn2OMj={dG5VkP<5o;5K4j|!(%A&Un{F+2NNSUeqGedQssVOedae0jK$~8 zAYdnHnq{etFyI-?yL|Wy;KHjn0=#D+reu*-T-p!f>`77typ%F_yUPHBoUxN8Tf@A$ z#+pj%=6Z?nYD`vqM0453EfSXkfAsp;pP@K}6i(aq>q1QERfuav3op#D-}aj}c(4wS zr)`&lsTkM_osoF%qi%jx;!X=p6MZK?7Dd!HBiH<+==HNoE%UeH3Ew$AKQ(%bX(z@m zEE@z-P z(@ZDB|A)5U`1H1YXyN5!<1@c9M;t97=T*aOzJ#0pZJICQnGA!;r9d(!p!hhlaHuqu zq71ZI?@RpldoWICBd#Gne{5ZRIJ}@zfG#S@n;3ot)w?72_&7*-{@D*uA#zaO^9_I6 z-SA8mA#)H40S?MTc=P!F9lqeJ2rLp3@ClE=nK#>MBPXC&z5@|Gf zKFLW>lbq`O8xidNf9~fJ-?B6Z%7s1c>aRK61LBTpF7O=FTy)3~NLT2oYuEYWwLVLg zvb8C})28{rlux450REZt1Wo*DCd;o*T=P-HMMpAgQu@xg$14>%^syvYakslBcK6?f z!79)nd_oq%=7z1TOo#2`Z(2kssO4%ncJHW^(+{zNTnS_&f7rKv?05G?7*LDLGmh$P zVan>#l-Wm3xfBCrqPdg<3ko1I*B8#C26T4DqOTH|2WvW_PI&g|GdhWg>x;md)w)vZ z7x60qfVfrx$Ibd{qraD(zs7il&sDSldMAP7Q7f}L@kPU*nOIAco*?)LvAb5&$m_*U zW|{`)b1M2Te`M7(dJzZls1@jtgpb_TtCRP4Z^{tJMsw-QrOmlq=t`$ft1B{iFNlQv z^)U&*P9$VhNleAP2bR+BJ@6#QT8B!2^Sum=7$4AuZ{yrFP}M#X3So6{rNPtFezP9N zG!4);Y!V^+;h5#!JNv_jD8y)lP#CI^#RCMm7Gmq`f3mjqM`mrGMH$4Hng8&7l5b?SNtx=S$Ts!C@w%zFYRX4CKq0Mm-TxlxDJFN|KMFuf*i)VtrYEcFw?y1xp?0Ri0WNf2&SWVKqYyX}5A91kt!E?|*Ai76++ z`{+QfX^!~Y(od3YPzc3CgP94`utDUC+ zEDsSujptTXWy@4DXbkImnI&jAPDiSw!ubgc2VqjyXH|Iq+Qw ze@6P~q?c5lODcx+X2Q+2<)096tIx0zF1Xr)MDdUih=g;p#dV?{xz~z3IpZ*;wHaxx z%CyF~i;5A@FW+q@WJaq%2}(oSY+O*Q-CWcxMu!P1sDUy z1)(xi`#TJ#NIE4hixlLr@6^rbgS%7De<@+vS1aKp$K zAR8ss>M!1`LoV}?Rp$;B5JBe!<>-x9N^}^wf{L_v1>gie+&mOU7d3S zVUat=;#&KvkYM3obyAAu`(1pal!&VxmikJa0k4V|XT)@O3}<&{kN1y1VV@8pP%Shsp~bH@YyI{SU^&JXz|cUFU| z@dZBdX?!W9)j&b;U^^9C2QuOveK4A4g4@GspEu#gI(Sa5jPd)Xqe`^o{AJ+B*L)Fvk#H71UjOW(?W;}_fx#$M@mVEjcs zToaDB0ZE2^xKc8)mcjJzexQ zJh*{v{Hck4?TqquZ1Hdlz<926+a>4coK{u| znx0-dPRCBbHDx?Xn+7IP?9~4XZJ+{K@dPU8jb$MyPG$^`Ch1% zB~~%Dy183vw$ijB71yhq+tuIJ-*ty>yR8pjuCBSQ)`D0u(0eCwd*8|->?r#f2 zT0=Mt5c)e5MifNralp5(M+%VKMv#B-|GwKdh{e^ls4Bt)U0uUmt(5rTgPTKr7}`yX z#eE6q5>}eoIM}DcYz!lK?9V%gSc}Q@&EfYHkw1oG7ZWQ571A ze5OPywz|$*{k>wcw5Ao2(BuSyVFmcupbfxmJP5moZ8Ov#w#{1v3@CVC7{h-6Oe0eM z6dF_+NSbgdU_pqmVhT6|aIFFOp%o_}uEtis{Zzn@B}VC0HsD3* zc~?YFm9}!&>|CypxR`5k&5R+c0*Ygr7-O)hAnXcAkjeFr?WZdabOI#Wt1VE zM)>&&JGeVEp<~=WuCVPp{ARd^?>+sxz6N}qc6E;x`zB20!!``>Ciqhr_vc492^@0! z1si%E;6}o~&+cVYkFWbLd*8+Vq1$(l9y=Z(+0NbJNVm|k&)lP4g^kd4Rre3;dp(h z1-#K!_QeNJcFjm40b#JG*G-8egd$ASbF*T_SshOYcwr^;>5PBG+U`m?;Q|=mh?4?< zFbz7suj2ys?XCrB2Dc+no8v2ok}x6(H=|(iU6I8vz;-#t$5{nzi@;_^HdZ)I88Pg_ zljqsyE}wlcEEdw4!0UWSJ;@y#j}N(v51`8 z_6>3+9=^)B&9)wZvtfBt_u+#ue7mW)NQZ9oZw^h}xBHL(5l&<^J2Byj1;OXXX14=~ z1!r*Pijp|41fgnV)<1fot+a)yCNfcZAQ9N`N=I36BB*}>rVO0=$CBD~aH3)Mxuo_X zDgjml&BzJ_QdsuBZ$EhWp|-tkK$iD1SiOZN)K#k}<@zQCfwnKo^hOgVN1%oP&rpJg z5(T2^SHa`h6U+mIa1~Fb<1MSGJ}r>yBq8UW*NBEuyas_lYQ4U3QmKE_-W3LfqZtlg zX{RK8hCzReWo9vvGl38laG6%@=)juc)Kq3HC1VW zE6UY%1+z1WT^Ha4$y=*)Ck1^KEI)1Zufejs49oHymN}u8Uy5aYN>PPVOq*jxRZxnD zQ9*#AMBCH*(kPxQimtPnqUb8owBbi83o8^fbj5$?(#i}G(wa=`7fdW^pA3ppJyreu zrfWVSZYPO2c7gY6{opqvVlRDyKx8MBjO!n?oX zspfxw?nps_q=Y3y#rt-@Db1WI!UdhJl9}#dE)!euI9F;B=M1>W{H&gKCz4jthR&vP zrwZtHqb#ulXH--tlo!NzW&_k>-L&4GT2O^RH85v7k99 zLeu_ql3i(bu#Ln^X^EAWSF@%;Rs>uhnxB6k+XG0@__#0|Dg1F5rn4_E@Tg$@d)a_S z4V{^(r#*0!^>EFESW`dGB9p0-NxNW1@vJqzF9`sKFgw!s9||a=q*5n)a6_=C!V@gd z64X&xMHDnu+=M|@@^q`wa;3bwMAuud1i_Oxxw-#7{O=yT{Q=d2(CDtHn^Pf)lI(vg zgq{h41jx!fKM#fuN58KfB%izm4{K`t>mPBh&B5tmQmy~jn-P*$8>Wumc!O7{MYB=6 zy*+pd9%{O~B3S^#jPMmU9-KUteZhSvF5h<|?YpqPlZ|JJBqmMn11Qs&RTCPM6B=VP z{d}Y`XCejW^aEg%SsQtzFFS?XO%Z<-Gc;{=!+lZ6P_RRuhp0u9iXj%hy+p>y+%M19 z9ZrwE>Com{w*gC;F~dFH9l9NsiVVi&wuHjkX%NzEwsvsZ!`j7xbTsa|XK&D9)_4o8 ztMHZ*SLo|qDBXA4+c>fE_Lm^)r_=FQp;?-#MCj}&&aTFY0M>JwK*V`Y_pN^<{d15W zD|c?Y0*`p-*r8z2k_8gnnh}b1j-9owKQHOJWZebRZFKs zVA&(6#F^9PMTER3@-Yd;`H>Uo=Z`(oiWee)c-r{vg$SJq5m33nMF8yQZLAY^bgt-; zAOX{Jf`mq{+h9!~`eQ)?r3il~FQ5rtal+}$lIKMWP*aj<;U3Vf7)1+LQxq)>CG-^~ z3;EQ=mJ|7c8I%+qICtH4i~iw0RN%R#74Q)!TY6sN9+~q*yB408VDaDZFK`y$41E;7 zHvaec=13UD@k?~X;54G#Jj+vbl9TX@I0?Uqlklf<5+tvHXLNRKw_$%h@DK+qdDmbU z2-U(#rTCOkPl;U&MozAWr+Koz5#DC;DE2ZN)+FBI6;7+K*>OoqD-pU6^>~IoYznQ` zYGNbuHkqR2qwFb5j3!!6jI&dr~ykLFczt}w}&+sm1eVTb_4o#+4xb@$4Se@xEWfM8@;F8d6+u< zpUIRIWlDNlrZmDElc_=pdb-?xConBYWyL&}bV>ufTA%?5Sdr$}s;(*`%v2Wg$OdR< zmO!Yf@o$D~8Ig@k&onx8DHch z6(zi4FKiUEgvoy+)$F+|JE~?%(qq-EWU(SFY1qHI)m9+E&V2MK3`z&hz&(D5mTo9# zDw%uqDw!)}=A979d4=)wE^Z2gCO08^$_KALxER+ygnjm1Q82BDvHU_2>X%^;d;wMB zX>eX_W$~WaH-EZ$^Ya^bqE;)qlAL*yvVed0*=G0VZ~uR&R=4o-&#Q`XnD%GibhmPo z(Xi9DtM_mIYtjX<46dOIcT}@eT|_BjxeMnHP|xea5)P<;G9d3tX)>aMCVY&2clJw4 zWwrj#5RJ|mh>q~%qS4{t{r<{Day6%e;!O|${t^S>ov}Oy8@lqQ-Ukc%ecoh@fRBPL zR^P?(@X3GMjjWDVcTnXq936zegY#hdh;;wrqhr($Sl%}Sj^z0F;V0}O1*v-%iv%&U z2{WtlZwKSnAHzVw)MA5)#m&FL;OJ5Wd&btK=*=MhvjsFW-16&xQ)R~;FEZ`y}aiQN&z?PCT-!f_~(!|s*?LP4l>LJc0<(rw5 zA?AOr##IcP^bt3q{R84+@L?zzIkUwkF`VYMaX6>}a`@YNglvAoS9f7B_d`ZHes+k< z7+DQ}`^J-?5h$p@f0i3##>@t&Z||@M$rCC@@`UniC-m6#kfkrcW8e7<5hEr^7FI=J z4qk-LL(+ut6t%-r+D|Y*+)PG`t51*d%7hAv0~HhZ#}E&@tc1! z^~pW#+K=~vO}e%p=BJ2}spoq8(Fwu#JA7=AHSfpq_YNTV?#3r9VRfQ|Xbey)sbL3S8F&!kUQT3()7zfK^KNO(J zETsf<32vNupu=e&;s#5Lm*C72quvIq0ic&TTU<`8^_aPZTQlUB)!7lAr5r{4y6VS= z`Dvf!RE*S|<#-iPS~-SezOk41d<;!-sZ~liz9@_HQdOX2-L{k;lauovh zMQG6R#>IbM+Dj_Myd^5lC)GD$HkiLe!>Qn=;pXahPo6adFVJD>N=rV*?|4N9$gl2d;`X;ktO$D12UOI3DfZiWjZm4!OJmF z<7H9!UxZw$JpI26xsmo9=q5!(`)C2dFxmu$j?pGi1kut905<3?Jlaw{{H3T^PPo!v z>-|zb^gMSI<%se#G8qntW1; zz1f&)2?bXSIWn#fcM0ysuT7(L0`}lcnKvGBjoak?whhGl0=MK z3C-5@6vjdJj z;bWrxEe2lAdEC~An5GjPY*cbq=NcW|s@hUU^HBw7%BNn9FF`<<#%6zP+LL9`sAonrWJO6m_w z`32q-$=2VcmFIS3tcBchO-xGfc}jfJ%)_KyI(XLVL@a+WWtS$V1z`R-n%V7mJ&lb) z1MNP0`+4-U+9~5K%>-zf$#0hglY7i^8P%T?Nd_%OgH7{^mSeN|1qWib9r!fCpcqhUeQ(fq4pfu@dGMEqG_wWfs_4mw8oh8Z*%&`% zt6b!ylS6+A-jxp}A@eixwH6g8h$0hAt>{V@aC%qvsR4n{R`s4_R$8VDSUs)J#p}AH z^GkEi)vGU#zd*!0Q89nb6VCyc3vEEJy65qkX4u^I##12RH3d)YV ziO-nXRay1W_IJUT*5PG}3UxlIlb8qybD2x%o!ZN!4(`8sYWJ8)ua{H1Ez!@(q(2)^EJ5VCxp(aA zG0d$EtAvI}>AYPO*U&r0LS!rR_h1#XC*z%KnU7|2=@A+-H$KeYY5voz*rwO0Et&z0 zAVPo3({?>4CZDnEWs)U*JMqYiiAVl2*m$rN>p38N5fBCfNmX6!e~L-~oP=x^SUlY||G#StW`(^rH@`KVIpObI~TB}YlWVacavuWauw_Xh_UP5!k z=c*&Uq=4_)U}6$|)&>GVGG^iSzgYDJOOaTBvNh$|c4Ct)#Bu^>DQ+k4;xMB(H!gpA z-z|fKV;%<`_f(1U0Uw&5a}cO!Ws+n*j1a8B7Vj3(c=gwdXSB?m6KWng%Tyje<+#W# z)*_c?DzIK?9wNi~;1HTdT``rSuArQ8Z^!B)qlY)A>?F*>%(XZvcZl(IJxnnQqLSnF z&ZWU&8=G)xkByO${|~%l#_IE;KVaAT=;BE|X#WACqwR5|dBHT@*JqE;b-DFg7kWGBY4FI5;jjF*TE+tuT}F z##X1vWS?G%=GAmlKnQ$rqDtc9%Z(S&^=Gm$7PZ^K*h>E^?4{>a$O5vRGH-Q3R%pBY986=rs`nEiFW zyZZahpP&z&Y2u8q*hdiM?ChEm>162j9D3PgAWIC4f0gv9){8h+Iv943<4 z6k%4woSNy-iSAFviE(Onopk!A_Uc+vJ%7An^KJcn#m#)PtI5^1)^vVzb;F`MmLW=+6114iz@-7ENvFS2 zu1XU!e`4T=alStk=Mze1^KA=I6~qn0{EgBGRFibkg!6u9tVjnAP#in__Opk?1O}*%!@7U95C}bZvUg21Wq?=bct*Y1FdUGtaKU}A4vg7Y ziU^|$W2KxR2y+5KErFbTCr|Ti{<&G-)dg@0e@&E_+hxs9D4x81qRwkdQIRXjw_`i2pe^of7>8!z95S*_y_o`!!w*#ZL_Gi;VmGw?-Ex4 z?|ua^!mt8p{IY4=<`JLyd|mIte+)L{`vEbm+;W2=j~J2 zNbC}3ho@>C^>6I70+?1`>hJ})xNd?RScI0%HvDg+U{LGP;Gb3 zUGrECKZ0rFM_4P$w7Mt*7}26XZ+9gng!P|2=nAXu*XKoqq@e9umCJ}A)PSY?RU`lB ztB&HqFB_#mvx;(JRsDD22xUqVO8aB$zO+3&Qu@vPShD2kaPR>x3)6rVr(~~5eJMi7 z^&tA8unK(Ywa}ZQo=4S4f6g)or>4ze_;bB09X^H_%|{qKV$*I*i_lV~n%=GFFT?GglA^{!cafo=W7+twdB6px%Ji<>fj z!B$c7Tm*7bN#V zg|NUyuMw}kreNleo{xf<^N;J|p#oS$IOM*|Y)|?T-~q44 zpaS6_r7nRge}PpIg#lOvGO^ybeE?^mn5kX_MnL1AJ1?ivoNQCo(Z+)m9+uUvM^^t4 zj@GhT$s|Zn;m$?F)X|16a9hBJyc{+xo(?KvLnqjH9*{9+tX>7*UxhVfI4`HTCtt+a zfk)n`)R~d%r`J4xC^>e#hs^AGc4Q`ftTx|F5Eofbf8`RaW@L_Wknm8E6Qk)j=QIn1>bfmcu?@?n-98B|#*F-E2&Jx=>OW5Ea&ezwoh{O=8#2W zB6S)5e{Mo67xvu;yCjnFTpjn|`1Bg___Pgp@ZJqGcsGKZ%~7BwJ+h%u?|wud#7ERW zbug->0QK2BExli%4K0a@j-M8xHO2u;N}D509Hm`zgmzJ96D8UO(OHKj0J&n=QG!Ol zUes}2mH!HDxo06R*?T^GH@{!#hVe}#aNOE1e|+2bC1A%}?_Uhl2i~`cl2NE)LYd$k zHh&_89#SPRUXdMMMcK&)Q*gpZkjSxX1)Ka=G(I$oTYtisu7CIEGyI>@ktiop>38c$ z1BI(Y$Cw=4OK&AB&_!KNR&DK-L)>KWvS}V&ObCx{{oDjkBD{Hl7N0$x;Y0LDSGUX9 zf8Z@n9HrfahAw1|&t1s;wL3o?90okM6MYaJD3SRQ05bDMaBc_I#3t6c{I{>6#|GV! z;mbox&W!E*O|X9-#%GhrMVE<`?gH*0Ce<;!1gKV8eg@TQvlZ0mP}s@4AZ zMvjh~jB=#U!q`uq7}1~AEX$twEe1|)e`(KP^QhFM@z|^)?1Q`b0OUb}@O1;9(9 z%VuwSk_D9w4>FPODz}Y&5C%^&cUUKbQ}&Hk>Nvy;9W9a#ObQVF?jhbXq~seSj+cyH zw#Bg+FR3DF+6YCGboP*NRnSuaf0=`EWD63AAB!V%P_@k40?BUzxI7Ku{2v_AlFR7RBN zrpFu-S?4n18Cg{Y>sAtqv8kcY4~2PwI0gZDQ_?NC(YbZ|D`vF!15{repm6S6P^^9q z0o%>jX8k3whd)|Ph}HzF$2y_}f6tZkyUlvxga4?*IUc<*@DQ^%V7QN6E|d>Yf|0eV ztFC+058-KuQMtryy#-j5!S^;ycQ;6P2yC#sbeD8UH%NCkOCyaSEFqr$ps3{syh$&- zn=MLFMsa2J&8%VWv|8mo-+%;hHZ?>%I=Aty4`D>_!#l!w2>|?7j#!)gluUl}U2OBq zCV52PNu%ii?M%`dM!_^YZAdc`^D=r0^2hFnq^rIZY6f^e!pd6@og zQW3|T)sXKjPjNp~z=fI$%5sv#@~w4Y`NN8{hN=>G*|%~x@1EqM#-vA>+m*y)3fU=~ zYFeM=rxQyB)(6QZliuPP2$bo+CmK~yJZG-#EQ`$k!7z9HGymrKkS{`6e9Uw}BlGGk z&_MDWFQFQq6xa_X8)=c!>z#eP{ZTukGyPllxI{(C9)TSokMeBvQ*fCG+XO@HgbW#hjAUVG zw4DBGrHE|*Yy5BPf!z4GFC2bXMXt3ZuF$Mc8{ zk91EGoIUs*-?o_h{j51xpis?bQJ%c59!vgByr^{AS{K=~w&$rbxxEWP&kx-!G>3q;| z{9dQ$GSiCn;^}Dia}qU^iBAWi9G*WAWtE0Bjd0APfHw74Mj51j&zP=KwzJ~TVZWNs zTk3qJ*3Wl}zpLtVzEV;Dp>G{YKBTCWr|Ia)`@=wk6H|ZkNpS|?dhus>-dae<+) zp+f{=SzKnJU39*&MruZRK&-C-+SW!fDrUbT zrUP6>IkA}Y_$fjj5IVi5Jk7{M-k_gl)~<4Nj5qI}eU(oB?kJyqO5vdW~R%ny*ieN@4o_2o`MQir{g#>fS5U z0Ad%O)S$vJE1FlY>vPE)-!ATA|CZ$E#Z7ucuWS9bPLNSp@e# z8F=AKtuBb1E~%Wist4;qo;Nd}|LYIB|q+nm|7RtBLZyj(yk8--%LNIHmPy%-L;Od!+cGj zuJce>+mNAVEP9QRP{ABuSo#)ozxRX&JX`w1J%2jGh!0Cb_|Wn*-Zw;fi$G6nAbe7k zfT>LTlQ~ZAD(7X2v9jFNEGtHSeFC=>Uj?SeahrGGk4cAcbz4)4e(vQw)0{j`-2GHJ z>_xKE_`dSq>tlX(rpcPEss2HBmgvJADyb`fjL@I%vU}~=3`{rIk0aCzJV_b`u6=?K zT1(}}GjeH68lFk7L}2z-)2nKmEbvsKhhe&ppw92$7444ns-CeNZ2)nWkamuJ3f9?B zOyFSfK>JHB;E_&YZ2JWI6>4u^Prda~8}aktM>^fRlFX(tfm5#1_U>;29+Bu*ac5Xu zg-7En^O|3Ux7lje{DhBJ^?ls!P8XgO{Z%03 zk!tS7!@v${5^i5y9=!@eDV$CsI{A|-n?sOeG{sqA=)A8ZRe9(lAmv05)3C42GBJkq zO|C&sN1a!C~S^?=`x~AYN?)QjUIWu2PjvfUh6og%qG{@ zvUm@u`#B5q^^W5jDhw|X`0tu^)3y+i^nh<#M$0GT&)oQCPFZt`f#gPj&o3D$D8J?tM2FWT_ z<}xZCLWc^KD}$_t7SW}HN|Pa6Lx^ahLc(_%8;a;4;s1f^GP*ZN;Z^Jn9=!gX6?1bF zJ_gV>qv@>WZ}M3o9A5->7p4NkF`h)ce0J*>{LaoMf>{j>d-o(CJK*BtlY1D*Pd{On z2X-4IcINcWmId#?-h#TJ`{RRmu+>h89NcYiaIO3P7fdQrt#}Q8baoJEZ8JJM zIx`E6dUIrb#s6@4wAtVW-B;+Wf$f{+DkL|wmguV=e1pFW4RNq{nz}xJm*Vf1H!su> zyeQxfy}I&XasYND?RUS_dHEScc?hkD{hPn_^Z4;V!<3yl&EE-Fz4XbJQ-yJ=vB?h zhTz>uXlVC@xVG3vq}#m}lM)4(OQi-qnWXt#8pTQld}ADtaMduG4M#QZ7uZ{74KK0n zh^>huK9i+92!(rkI+|v~zZ`?!`P!@dE3dJ*g54i?0=i1abW@z5+28KZR?1cw?OwK; z>GcD9acE@=d7d+=h}F1x63x-GwDCpb9ny@VXDmb67rgGjPE3?yS+^P4bL*^rZyVKK z#dEy~Kb`eaqNs)ObA$=J{3xM_hfgk%Z2yycDqvds8$TRO{9EM7ira}<(-wa?gX!l1 zy01MZm7M&${r>+#MSlvD2o$o6RzSq#YTm9g$^{7?`au^osR>ThFYM30lc zmwWLv;rsgEUf=CK=_lkPRs8NaZWiq$RpArRTfg+){F-Ay{&q+GLiuYYt>32mEM>Ca zjC3#R?Qd*0A(Pp2?FwP=+WbWD^w%HM4h9`7TM|uj4Te8Ctisy-$-zU!|* zeR_tX@DvVvNXvOct&{(}HA$;0&SZrB7VRZUZg_btbrH7Fa#Vdt2s3%z^6StRw|l8P z{wf|f@ucx7b6#|Z2f43Xs`!R9kqv3Z9}E_uhYbf=Lph z`q~)&82gCkti*-HvW=60XX{y_=N9X0x{X8}97g@|P~T3pI#X-x`YOTQYX9%~(=kWj zb&2=aq#S0M>5M-{{bTSiBgZ4vs9RoV;KLA*Jm^o3D=N5uNKKbLBYH)TSdqph#yZqdY`9KvYaJm$`A`ctjQ(J_9uBPImRHs|3}!Cvw)>niAfm@X zu`NYZ615;bgT36L*HFk$K6ANpm1*>hj^kBEXtbCt0bhvDnbPGny@6}HkQs6T#5AYX zBtwiRD1GQSPi1`_b6_zK@eD~VjOj!x;<+e4eg@CP%!nyqeT z=AmMgpP+UlY;E@2bH*}w685&(arpN*I9jr3ikMU*d6Wjr&(8>ag3;9h!sWFW)iL@= zQjyV4e#d>Jgqj`QFonYYp3f_cZ%=UnekA>0+$9^Z`JNLuRsR&hJn_Jc8~Zt2U=Y|G30su*1|HG01f5%lq8r&~&jhC$5J8+(3Rz!`gi zXyr^W#jF{oepFKWUJ}1yP|1}gtKPWFK514{{MQ8f7F5QU)uQbmHwWvR`jgofOlDGQ zn8GW#50C2nU*u>Q;ZaX0kr#tQqeggqOVHv8e(GQyWcS5e(-hMyi1A{ct|cr933p>Z z*K>x+i%rYb;lVKudcuJN?_zu|;c{YLLv%xewM$stJ&_~Jwk0xsiqQ|~B=iV5D|AEr zL4u~l7qZJ5pvgr_^7QqL`u6iPC&Wi=ltiixh8JII>QhHq;$qGlVfggIS~_E0J=#fw zgEWbJ#PsCtIrc}E9Z!Z^+)7A`xQI$-V~U^3Y7Xi$T)$`*%mjpolHA4l!pjk;M*C4c z2c%3G=h5d(1q(bhx)TpR9w;RypPaOr>4h`aDbY|2#K_fS9!%cI*0y`djnx| z99F+sIJJV;gvlNU4JEQ>ciFGKHKCn08+gzGy;lGECVyF6=bAv^2r-{)0&FL!4q79+ z$S-z%7C%If(@0P5u!921fnRyiHy-OVVNkN;`zWLF8x?KDu^OfpC39`cZ8ae9-a2%} zrHA>l5+asXR(71`uS?!xd=t2B&q-iHXmY`tN#Ql#MK`)39Vp>a^^%`{k6K%J zuH$hj=M}#nONmw(d~jn65q2pNpJY4x;XRsf)uxqAkiX)*7vgBj5+Z{0rIGfM^D3p3 zZr@4os9wQA5rbOty%HUAYeo|pGV)*O6Ge5RHfzLz9C%MF59;B@ABte|W0#+py2EaE z$lt|UbJ|l;3Ql}lL?IVIF0%^nFR!ed!}H(;l(PNrB|lBy(!L)>-!}c&6>?Lv%GOi2 z5N3x0Fj`!XS27I1o((=HrJ7?-3Yce8DVEVJ=uG3|W%T>KX@#!ISM^;+mt2|y=j8+m z-}7LO;T|=IURE}^77wBRqc_X6uEPM_$HIoc-huiGw0kzyzw8zc2@v?^yNKMcb%lI< zj6rXcm&Rs1%n6O(4_N$sHGj#$r7q!p@-oni$HmL2_7a0>B=gHJjHVYTA$QC&5&_TZ zz4rLl$sb`l0_F5`9X=6CGRCO;S- zGIf}SVnXe4TC?A+aOCW4fJDAnM)k53K0x1hV5}Hm1t@?95r*OWbds-o+d8oyX@@&- zXT!SLy<6RuFL+jXD<+N#LTdsDc*1+n)U}hnlu(e{h@H@BoN` z0n*^gPwE;PKOgCQXd%hpA}9{cl(Zsb;Qv;E`V#z@qr82)pm(3(Ybh(U!*whgOL}QV zMf=A2qfD}Dcm32vI*%c``K6Y}U#a`Puy9?rphiD!5`tUf6A;&+yzdFN88k4?wWnP_ zd~%jlDz#L2a=4E$^n^y*Ja)*?wVHUA)9rE~7zpAb!IU$vZgLVs=SQN(1?^bED8D8lFU(@cReWZ{ zhLrVE{s>NQ=sn8tMl5>!*j+N-Du$MEAT1`Z(j`CQcoaC!fX#ifVlT2*UjMmOF7oi6 z_Ux(#V=NoET-&ulr~Wm1`SH<=y@18@=})<3MPHU!a0Zq5jmjar_*Dmthw+-pg3u_s z=|ebI&2dknKq^%qN9c<|6CGTJv8z-1-Y2L+z8>(B;$GF(i8n@`;p*X-Woi`xsMeUErFhFwgoMbZ0>V1TY&{ zgQ^kASQEQjZq!AYd4MJxMk*}h%jZR-4o@q11wWh(1JXuc@3UZmhJk5fu@O(P(NA#Z zWu)MihIj+VwiUsAM@sOb7!=$(hc_=Kw3B@@rM}HYq;W}nTd3))U!#8h&7(B#w{CarSBNg;!>+vk4=I@qd9PkI&c z`tdRlc*bt$CObhu(DjpmZqM7$NR1EqUZfHZcWiSxdcr2WP<_LyL;AC%{jg79SU_i4&38(!d6qH(cK=juq6sef>ZtH$q<&(SJh20!?e zmyydaHMGZ|!WUg&m6TIv))O+r<({#XJ#%rX6~tevhqDF^vt?+7^lof|q5{?5DwDs1 zp9vL9=#dkpsxNgtpuL>PVn-Xv;(>Y%6lJH{XwAJ%V$wRfI#QPnXA1wS0_JveQaNQ^ zp9|6Ax6tPD4S);7yS)u?fyvE_LVo}(4J zUBVHJJkyvoIeXuVTMLiOSEd6QW>V^CZ-OLauUv2hniwdbX5y(6KX3IO+a!lO3;IKO#H ziBQ6TNaxE~0i`-DPRkTHEz2Xj{Utpy7OrH{V2aeD51F&)=OeE8(&7EwV^``4J^IWFeUG6=!FnX8glR z>*@j@V}GI0XoUfXY`wdE%;VrnIPyP%R3XLQL`gmQwzu5(Q-lvwoRy|{sKxgd==ul%AuQ^m?D>UQkpMJD=JRz zay_l4b;MgyX@QkG{Ol-mSSBf?HaB!%&3)ZlWwEf*Qs#N(+M?AlN(e2SiQGpe+n!uW zhs`7np}wTz+*wZ@Kn;trG+pa4G5F?86{{tdZA0p{*5!24x|1%=JOW=F^;e5$XHWB` z3`x)~q7?ujvN(7gn8Ck&i3)X$c?@lQ$F%(uc(pRONb6;2QLP9eVK12^T)uNsZFd+| z@z#7*Ev}L*+cp(+Fx+0HKz?1{{D?lHRu*X!WjTLG-b}reGWg=8x&j)Z!|MZLp+1S` zDsV8vie{q6#cBTe0)B4+bRn$=kxSe8EJVM(WK&S#Jkl)9Se_>I02A3>J@xI9!ahg} z#(R)DD0rt6-2!H~eklFUFHvoI-T_Bo5iSC7?yxGi)I}Oadzb{^&ucuaewerw73*M< zzy(0-yQ~o5M*(+M!ykvL{6{~mrzF6a*d#-8TDFPaeEsn%8y*ZCn&>jY_NM|fh4r6c zK*-WX#5nBxVt~$N3O9#Zn_dn>%t^lLtR}uc4CX$>Q@U+Y5%jsB5YdlxPSSrX(Ja$a zo*6e!kM1f-mrXF&h@+sS+G*AGCOyH27@UZS+4v5f=t4|+>Fu{26~(&Tdc3=YC!KET zLc~X4F)~ShaE5L~M(Pk>aq_P)Y|^P}&nX#3+wrZ^TQ86~tf{SMu(kZ^q(OFIbSA^# z{4hdOYdGBhjrKXW&w0S>bs>pR4T`QDX^Y?sw2~k-I5z(65&T0731@yx$TJ-*O^fhQ zxo0|AiiR9(WH~QU&s`i>$#TSlS-y;v49tE3S#z*S!)qgwOZmS&bbdf}t)^@fmYI48 zl35e1roLbdrUh@=qoY$^`mp7p05-HOS-m6~aE!(ZE-IT=-Vz8`5oy(k;sCjM_{KbB zo1l3wz?DsT#10#xO933_T7ymCPbUn=&iFQ?5wD}XU=uH7IQn!*et*6 zb$mKRe;irqd#k>q;p+a7x1eicBQxEYPt@s41U`DVD-5~u0l#KI;Zwa#-lz}c3N9AD zqKJ*Ee7A#Fb zU`wMvkj3J@(Rdt_ua+L}{7&-8 z6G@3$Z=$0ma^j=0h97aM*g8s+AyE%-KTj3=z^GFcnyS-ZE#O^Al&UyS?Yl)_nwbqZ zf0x=Ame_AWaZmRCjO~jkG-N)x<7E)?3*qU2szVO~2!NqTcol~H20@sGkooEWVIgLy zFh~IKe~6ault_dXimXItlOvH&ujTse81ewqdLSoAR0SFMtEQADe!I1ySt(Uwd%Xoid zLiMK#$>an=ksb;o384Taz>G|E|C4?%dFx6Ag$W2D37;S&DlGy6F@upBVMtK9_cn=A z2#h3}B1Iw)0Vq(I84N)t?gRf%Vm%HLpLQn$0hqx^8mb5~TwpK|=_uqsddnZkG9bTA zD8WdEstAPn4|5d&7DAFqk!kn;FYry8G5_0`8U*|^00>eyNB}5|90;-tSm-|kKp-ek zNi%%!O{hS~Ad4UYZy^v2={hs$&jk`eg5<~%{INv+fE*+;dmkA{2p9>8BV+!jhY%PU zrvEgt$ATbPt^kot3RDm_7&(3j6qKos3c`XRjRIkrF{t2->UEmTDOC21R8cMj9V%)x zItVQChmXnwr!#ZkZa(=PHYoXi#*iyanN_<)`n_^41#0f*@^NeUDdJ56JDl%nPap+B!zj50O&pEUYtt^^ z6CzzwouD?IEMev!K@mQ|zSS$u?d?#L`RnQyXm#6G`v=7ymC5cT51JC@t ztI75coZ!KH32K}3@~1V9ycm@DFU4nqtY0KlVR%oR{`MxRU0obtJ99`7*L##1P-Adw zuKp%t*4w*IT>1fgV zj9TUi%kbyL%3PV55DvI7kC%9GrVTR3Ki+C%8VjrPzmWT~`DzQLA4K?!?`xL2#8cAE zd~~}UgXeL-!0SPD8Vw})XDJsz=$ldUT`pUOH@VrrSj*1FePy0|Y*P!v(d4XuLQ|hG ztImqU@l{s`enx3<;T9hTJVYLbbNuSwOF<9HYR~Ad64&T17W<{+UoXB#^xTpv4sE5a zUEkz0(>29!)bnPWXWC3oQky+)RY8hjdwk&(IJB%^XDYDmGd^PN!I#F2GgP1#dCqwe zSSH<{w^1FTv5wdknvLi`)y8Q@&Oe2%?|0E#!!edvdCp66=OMB+Mr;saCx z3r^rY9ps5u)Q7V1@QFea*wZbzI)aVYbn5#yb9dcD*V6`maP!`g+oz6Blh%RXJBXoJ z=97Bv<%%AveP!w>!G!zaWb)3^%j=y{)lYA!N*iVpXqA1MgPKzpKDQrOOjoozek@J? z1m&4cN;18C_kwRg#%?#^`{Y4iV@!AGhj{q0YSf`|OQUzp8c}&1c7h{z5*8HS>@E!#{|(d&yDg$p6TQC2XwpL!5rmS=EZ0%uVDQqoMiLt?C~yU+@b@^lp+81Ylk=(91t7SK*qpt2ulc#g!k>>-_`n zx^lWq(Z#k-^^5P>-oarP0gYI?ff!nm8}YJ)j}onZvl#8-Mbg^ft6D5Um;9iNNk^^^ zLCnq}@Ajlf2(1%FJ4blZCB%Zhv1+u5WAdpmFGaXm2jYzdkZsAt{d9JU80SwxsgxyJ zdIr|UjOU1a@UKcZUQ3%Ew@PXis&!X@-_uHd>~f2lE;lnQo@ZYKxu1OMd|}|YuH#4L ztI2qxklx+(>iKD+U~N1i_%dGa-gmrXsXk$3F2ZPhcYu-@d%G1~wVIQM>T9}G+ikqm z;kX1$Qv3m%z-UE3X*}NBjBwMp2gaR8gI|I7*uT2R$DXLVp0l&q7mP!YIoT`)zt|zF zVl(WkBT_;e&d4l2`Hp4nLehl6MnW_?-Mxx9h|mzq;{}eS(kv>|;1y-_%9B| zqOxpA(Hx$txMC9+7WQ(|)LMit_>~t2X61~D8ExY3@|^4%U3d6QNdsE7w(jHs8LvuJ z)AO?hwjQTfp^r}DjG}O%p=!m#A6R5**KuvbPog_H?!_&fVo5lCLgh7MeM!7*>FQI< z`Q9g3-gXV74r5}(_rN#b`1L78i=VIH6rfnIFnHBCll&Y2v-Wi@%?GC)4)VI{9oYKy zR`mjN-_^*{C-*2=hZpuRsx*DPWIE8`e3z|*6G75Mxi>pXh9Z&zeQb6MulriYrZL?m zSzJDaKcH~=?fWJ9wa8w;rl9BbG@e*5^eFm9?4FvlDULTO1FM4OfaQ~4FnLczqBNFQ zS{ZY%&70tC75!EZiPb{>K9wd@yBv*;cbQtD3;x42@cK;NY4V*G@v}O~ zWo#;&-;EqwF9q0Ez{WQ8+(&7C?>S2oUT07yT9mBGjBKqjTkz|BS~^gAvi;%< z-G;Hwo3$IWqmo=ogOx zdquh`{PlK=)Qx^XQ#e(vW!OCp`L{>e*UPUcH@alb%BMsat24eYcj*g0DHg$u7Q4hH zarN&*^~1G$BpS)MkdG3nJB=@e!g$mr1_{n_?j@s}iFpzE!3#Ur2+BqWe1`Mga)J(@ zy92!+pkv1CguK z?wZ^B#28pApZ`b`VD5Q*j+iT0c^WJ*7lLBd89EG*3{&97(};FnV$Q>NmiAw8g8vMX z|Mbkr=1V!I&bLkYS0FE~6m{+b*+x#UHD=bOXJP!4MQRG&nG!4mIleTLhya8FQMgG$ z6K?{W;-N{qGV%v(>-TknE~hmzH#QjTulc z3i=hIuFTrDHr_DmakrO+^?5rx=mT_5iW8d9)J$juB1P-q2W@!o@hodrRk#Tce(KrI zSQ4BfnlSY(9~8$0h-mx<4rM^o`I~2n|)ef^dvB zqvxvhTCu1!g+VQfx}e6nIyaFBu^Ap{K^k{8xW8HJ{URORKMxa~%21f8LxNFvKN5yg zR=yhA@qBEm>X5kmewi<0s{Jsy(@x=6_R@XQWrU`bTi!?JW?2C@_O$w4ZHCy6 zTROQmoml$Hx@CmTs0B+Sm;`*VZzfXB@*>Yn$qhR2ENgOFVt4ULNs-qe?UJ$7T8$HpTULWpH6?7m);-YlQ>&QC_WC|3vieYiak{~ zI{X%-n-b?oL3a{+L7rM^%cx;ngnBEtC5uJLU=fYEiPgs2`;(Y5VNecTwIf%wj}e7& z3}dIbM%Gc5^RdPAu*Hw>`-(11LlsgkA6MZCAb&B)>=rLG@m8pCe*o1x@7^9fZNP;4 zH0e2xB`eFnZGP6h0pIJ|9GW17@QF1d-(a#+^cz+7hQp$Siz+bDx0a0o>^+$fV;LN% z%n$iBO=5|s?C3-GnuZ@Z7VjI$Q`Db&YTLCv6s;?l`RVM*SS?JwuSgjy;Jj13raR)7CyuV>>rCgbuYr03&l_|%ZQXO9I)BgEC} zZm{VO;|(kBxq6dLO=?lomveZ7VhkI@#wzq2J-j z(7D3PWwAh`sPYJ=cL3YLgnEIZXbK*?lA&8;uTx`s8C`G84@Q~w2bbX(5(0Nmf7wNT zJT83{uAI*>okSFo#(ok4s&!5f7aX8I^{$9CPTW_@SUDS#JGJs0kf$BGQex{#3GM62+|B*vN+H73CPhl+ZnqK3wq=o3#h6x)^@fWA-_nXq z^uhPF(1-o%?Y{W&ukOO&v!vFkYIpnM*d~;w)pXyD-Y$=jbAX<`i>`lEVsv=@Kuz*p zkkd|FG|)3}++Q@HR}NB5M`$tXPpV4DXHc9f0Vb}y!ntPkZ(m(FW!%Wa@@bFx^&Jxp zNU+A?V}C?Gpkei4Su3ou)E>8R`@~RWxjS1w7UF*WQMY|%3xbQ>Is0gyhf@A6J)rrC z`ArEX(o6P3dyl^~P z!Iqpm%XE!$k>#ia|1LR+h#c2rd6l8}DP9+d^<|I*#VM1dB`)@a2{4FM0Doyc@;Xxp;U{ffseuZHiM;xBqv8?}RpJxierI9h$V!12B165Qf&qjCU_wYTp$Hhs5d7ba z!~cLP2rLRzQ%WSN0~8Wr1|x}wAfOQQADSZM53t0DK;k5hSTJD$AOwcMphN{?Ly=oJ z!jPmtaY|GWrU(+T5k~m@DIznCVK77`vWO)FKYXYKh^G$M%FRo-n}QCuXIT>!>J6)4xBZ`pkEHbd zeNCwyJ+ID#3@AOTFU%^^g-6Fa%KKNkUzgwVCf?jC<=f88Xe`s*w266miyFDzWpPU+ zMHjJsy37wno_=DkkgO&O8~zk(tS}qe1&>ZK^DP@Cs&|>f|D6K9c`|JtObZ27A2@E} zTZew5{SwSCEZsjdlf@|3>mDCHPTTc7&>tF*vvmxP)K~ z)HwJR(6}WeO2IZ_A0;1p_DW&#>+e}c&ELyobbKXc!H)KpMALy3bKe$o92u)zWMA2f zuB(iV5S7_VKP0R<6*odM7-C*uU?#h@e0>FdZZ5c-eBzhBXYf*%&n5)N1+;=@FKJl` zdDEx^zh^$V{^%i6v_9lj#t`hruMo(y;%|W-rF?ho>%8Y(yQ67-lF2bMiR> zO+HQYB5NBOjjY_R2eCPuP8*EyOCn zp&uZ!oM$={ztNP!xTbUeAu;73fB1;2%U=7Jr%Sffp8t&ro|U|_n~R|+nvqbNj!|*a zhf3$k%jVp>r1MMCfLO89r93ybIX^`iAXftJmCEzf*s1ZszT5Ry-1|XiQjM zn6f}K_-TdmqZzA>GjDlIU1g$iU`WiagftaoiY3;zm`)(#bksUCIp|sRE>^*jRDN1=%Dphu;F+m_)glC*k5pNGP9c;Ap~*it+Z z{qAG@%+q|^8SDOx$vF;^I%)K)2VFEG1Ve)(vlKR=-SevP{e8Ab`@63GSG*ctQ;)=T zbe_BQ59No-q!6gzew=xBrJRYw^5>tLVo2*%yd>k3h>W;jgG^7O8U5vPb9hoR0rK=(kI>FiD)K7EIce9vb7b7wm+`6HzA(=4tM~L z9|asy{K5{($@0{jS9`)}Uo;$u_LyFmO~>}#Ct1Oo{yiKZ+s`I z{*L#IKjbiAc_RHK>f2HjCJC0IYlmM%EcvCHkNniuGwX!x(gHL-#uT$zcfg z$Xl%KT+m6Qik}W}!X;N*pM5QvA9zA9IVBI|MR)CfmaFnuxVeXQYto{PD=B??eH}^$ zH$`N+d2tueU~#u(TeU|~@Ar0jW%ok!H#|l&s%BfP)Up*^$zwyNWR`y=N)&Q@o2ygt zqn9K7%%1RU#>xSn;>~2ryq(E{MIR-BZ$T?R65eN2<-dqR`*oG8gKUTg{Us}b z;atHdecn#|%kOa#YlTB1jrUBE{U4dJOx!t_sa6CHOB1E(iwLb1d0&$=Aa*{7=Y8+R zEW@@y(_?M%(^ET0u`Z0%dZfsbYzcqiQel3)o?H|VXd&3c+JLLGt@XV1Rl}25>iz*L z)Yu!>z1q{TFR!gz*!DDkL(CQ&uiAgce$IRI5#VUiX8hd4#n}vi`UbuI?dQzy5HyeK zp)W(f9~53Mv_4*M*I_o(V}%E-(M$^yPBjzEh!NmAn#Q0; zUqpOt50v@xndzC#lUJ3SQ+6_s?cufdl;vrm?=vG*1(lh?7Tlj^ZVv<2F^%!)H%c@&Zjvg0vL7+Ax6Tr(?va}jOyt%b?m_H7!N z?_^b>>T||=THCi)fYK}o6plmrrnwglJ7rqcSm4{EM_IG94wfvq-H2=!R0jA~p=zA! zu8MTM=zfSjuEB9mgpWe_g$ogdT-GXAzykiJN6&u6-No^{H&v=ru#C>6Wi#1$9aX{< z-N;LSF5}YYIgZk?oR@;7-_W?j;&$!m2=HhO^iVkKfQM=dXG*mWhb$EnZk_l1O7FKv zcz4+NuGVES9WrAbQ8Nn>7`yNuoTrH)J6;{>cN81&+jI7PKk?Zqbo5DU)R0@P>VQ;xKbZ z|GbLQx{fhXR%@5c20h98=NPW|Ir##DVFDcw%dh>PY8xT)Vr+ zQ}hlMbyW@C50y`>#OYVzEL3B0<|@0{Td?0h3-+edlLgF8rII1LWe_>bDRnIy|IujT zG>&VRlZ~bKTSwHv+1R(W&G)KK(=f8njE}SHrj_8kzR3d28{^k1sd6uik5>WAf-ER{>sh3IIjJQ*4y4En=n{ItC8sB9uXA|qu=8+s%1Ye9Cb#S6 z(OjbNiP`-I(3f60cDzQ?%15iEufIp9M2K_RYR_(Qkk^7?Yl$0Tho2H~=0S2Fi0N$# zZZCIWn(54-i+Z#28#s{@)mw1zqfjz0I>0uo5vD3x^7`8nk5(0Uw^q?J^VIoX4m~ef zsCr9&-aplrtUPldmbbr-DJV8k0vRG~lbxJ8gjYAc+7mTt&QG!TM<3l)s@=e0jf zC{CRV75RsT{6lY1=fZdgMTNFpn_;{rL=|qybH-4@Mlktc&?0WVFyzpHfEHcas?11ff)4v-+#b?7}e-t(I1Q?2;Dz2Amm>e2!MDK zic|_fE}#GI2m*rlu2#nYY zLk0){6Z&T)NFs^|0u29;R0Nsb_up2bFc<_8^&hD)5o)M1n`ejP$*Cc z!502!tjMz${#J}U)dAuCNBD=B@{bS*LG&Yq=nw!5ahrj`ieQPr;6q-BfAxSsP=rmy zANP^w{!#Sj#%YK^T7dxn^&S8NAkZT*>U4#W{F1+15CS2yF8``Sl4JgDhqUldJ7kt7 z0y_$W11<#qC*BaC(7#HM9sX7#1VA!d{&E0 zBWD8O|EDid=syF7|KEve;~-& z_rL0p_5ny97xEJQugd?a10wTy|CIi}&d7GiVE$7lgxq=W?{>(k_D`J%`0r>TpMdbc zA7#iWAcyi#XW_p?2oe?&{{Jx|{I}CUq-(-|4+MGj|IgD7{(nb@oZ5fVi~oH7-*5pS z0O5b`1qcuT{(E!~DD-c`03^8$^mnu%0I;aS?1tLTUo%l16`BMY*skPs$0Xf&dO+91t-_ z*og8qIRc*+?=pHFkiOE4H2w4XX|{KiD~*zR!{&mhX3OqcT)DU2DZN^VTF78}$Xh2V zuCRxinqxFrKWMtvl3bwTwN29|0IDbf$;Cz^RR6kZmtKH$ zJN#FqUyHvDkBaEjKjO?%U&umvr&Q zv0G|!i`5l3TAbbd2->s7F9ruw=^Kou;S)XVc?r;wpQX{OJR5@rx{S1*Xq1+5)K8C< zDeRtq9Z$+NO!YT#UysM()N9<^Wt&&Vf0Z5Q$PP^l9UCp05 zVLiKP<6Xs)II3{xlkxtdutbju?K6&DyvuhsOp=O>>stE~P7i6*Neml0%)6xX{}MN` z5lQaa?%c$@mmu8EZ)}Vm-4vND4w6*z0c$E1z{a0cW(z`aU9D=7Xqd-s?DyF%%pe%a z4G$3+wtouH7wcsqO=*czgZs hze7G<-`*a+KYe+8`tkVn+aXah@^ZMjdHA><{s7h}AWHxM diff --git a/pdf/grandpa.tex b/pdf/grandpa.tex index 7c69f4d..d823e82 100644 --- a/pdf/grandpa.tex +++ b/pdf/grandpa.tex @@ -258,6 +258,11 @@ Note that it is possible for an intolerant $S$ to both have a supermajority for \section{The GRANDPA protocol} +In this section, we give the protocol for GRANDPA, our finality gadget in the partially synchronous setting. + + +In addition to a set of voters for each of the two votes in a round, we assume that each round has a participant designated as primary and all particpants agree on the voter sets and primary. We will typically either choose the primary pseudorandomly from or rotate through the voter set. + 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}$ to be $v$'s estimate of what might have been finalised in round $r$ given by the last block in the chain with head $g(V_{r,v})$ for which it is possible for $C_{r,r}$ to have a supermajority. @@ -321,7 +326,7 @@ The response is of the following form: \item A either a set $S$ of prevotes for round $r''-1$, or else a set $S$ of precommits for round $r''-1$, in either case such that it is impossible for $S$ to have a supermajority for $B$. \end{itemize} -We consider any non-responsive voter to be Byzantine and add them to the set $X$. In particular, if no voter responds, then we have $n-f$ Byzantine voters. If any do, then if $r'' > r+1$, we can ask the same query for at least $n-(f - |X|)$ validators in round $r''-1$, . +Any honest voter should respond. In particular, if no voter responds, then we consider all $n-f$ voters how should have responded but didn't as Byzantine and we return this set of voters. If any do respond, then if $r'' > r+1$, we can ask the same query for at least $n-f$ validators in round $r''-1$. (Note that if any do respond, we will not punish non-responders.) If any voters respond when $r''=r+1$, then we have either a set $S$ of prevotes or precommits in round $r$ that show it is impossible for $S$ to have a supermajority for $B$ in round $r$.