From dd66c5e967db8841eb076b0365ef7ede5ca737e9 Mon Sep 17 00:00:00 2001 From: chris erway Date: Wed, 17 Aug 2022 09:19:36 -0400 Subject: [PATCH 1/2] correct cert committee sizes in overview --- overview/latex/sections/DetailedConsensus.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/overview/latex/sections/DetailedConsensus.tex b/overview/latex/sections/DetailedConsensus.tex index 740623d..061b0fb 100644 --- a/overview/latex/sections/DetailedConsensus.tex +++ b/overview/latex/sections/DetailedConsensus.tex @@ -27,7 +27,7 @@ \subsection{Randomly Elected Committees} \hline 0 & propose & 20 & N/A \\ 1 & soft & 2990 & 2267 \\ - 2 & cert & 1550 & 2267 \\ + 2 & cert & 1500 & 1112 \\ 3$\leq s \leq$252 & next$_{s-3}$ & 5000 & 3838 \\ 253 & late & 500 & 320 \\ 254 & redo & 2400 & 1768 \\ From a2a584923b3995e9a0613ca2962458c70dfc69ab Mon Sep 17 00:00:00 2001 From: chris erway Date: Wed, 17 Aug 2022 09:21:14 -0400 Subject: [PATCH 2/2] rebuild overview PDF --- overview/Algorand_v1_spec-2.pdf | Bin 250091 -> 250197 bytes 1 file changed, 0 insertions(+), 0 deletions(-) diff --git a/overview/Algorand_v1_spec-2.pdf b/overview/Algorand_v1_spec-2.pdf index 71b566c1ea61d8189a7862a2221eed9bfe45acf4..e37a67f130bbc2a5b0df3b95d8cd286ff49314cc 100644 GIT binary patch delta 19191 zcmV)2K+M1Ep%2xf50EASHdlCJuoCJaUzi_ zN!f9JeRr`SCCZHL$;ARdV6l&Hzg_t9`o*iaB42UC1kcp!`ewy5%`&4_T4ju9a&=v; z{)t|1*KJocRh-CFM3>t(PK1ui82)^T$I+&!8`|(THhJWV;n2CBR<8E`ge&V$DSuaG zG1P4n|9kz*igV6nW>$&dEa#T4`xqM=xvs}e{y1kT?tb-Frf`DgStd}|L^35-NhX*` zRnYXXKJ){eg4?*cz=4TGDg>Pu=_+Tr7TO=@nPEn2kfRw_nj~CrYE)X}QH5q2FfQTI zA?DEz2d;^QjrrJwCx474BgE-fhUA-U3Dp+W5=*+Nj zv{1HP7~LGbce3$gY~|4}@B#heztE2SC<-H%cn>FBv0N$mMaKmrLoh`eefGh$7($D| z^dl2(z+Q+aixZ{N=$*HhN936_YTAJYHF?7|l?(EQHpul-9Zd@QsoYT1TYuUK;zt$S z*G&OItI1om*6->33^4vn=Wc6v7Zm$YfW@5;vyAG&8=MAHGcwidETz{$s;IAb`>ms; z^#KA$L$5Y`-ni|aRt`OQIt;!PI8e^vPuC_ zg+E{7aTJo(st^VM)@89R8m}BouH#%s#b@-C$gEHxF8KEJ4ncSP>h9^(Z$(qA-42x$ zlp`sJ^jkVA>FAs8em}J9uGnwtl7w8j?M(uITshR3aTs`^GXS+(5`Uyf(3L9>9UuTM z9+e@(E66`Qri5VH!0B+x=SEnZ3Cu{K_WYNI!-iz z?LApg?A(AE;mzP0IDdtYcJOow!O6IbfGj6iaz5dbBN{p4GK@9_rWQieWC5BmI6~9- zz(|7TLrNzLtQe^r;cLZMzd&?F3yZ90LssAhWDQ|CvIb6j_us*J4R8i*OZJMBtGP`X zd>nm(H)LScmwrJ_0hF9g?n5pE%6-?=LtSjQ_sH@ER?MU!Xa-Iuh5=PQVnkruaDmO@3AO!GjY>4FK0DV<{lo^}P5OEAGz zqz&@kLr(z=IpgN6B&}WJdQaAAdi37H&6&cgf9g9G{SJ8swfelAp}!3H3CpS<>_b_h zdW8pumOgok#(%-%&@hP3vhy5=L_fyM>mj2*2qWehfq>+NtXF4&0KQ)e#8|c$++i3` zLm>3A;-LyyIh$fze{Un*{x~Ppu*vK?6-4k)30iHNusScm8_#GM=dvbwa z3|l=x2ByR<*pdp!Q#+4U0I58UmN06H zR%lisV%(>r)zKZ+Rm3kHJVvBnBnQK6CZ2M?J|%}`LlqYf$iV`m_e;zPuMc(NI7s{! zTCOE{Sbun%=x4h)ki%t2UU4m+$K~wcK9Yr;6U7YmD@Z~nnphw#tLO)r# z#;YA~&1#LGFPnGj$2@)y3_5Gfko)(4}+tq<4;i=!<4;$#lXsr$#L!Q=^=c61NSa^1w zzAXGMYEoc8|0f9V=PHOoMxf!9E2&!GB!BZFEr*A?-09@j2}5?=@wARPQZH!)(e5pPZVDCBLU7GclrVkUJINmXOt@= zLsS6R5GF&AFl+4zZN2#U`o;grXu*IAWo~41baG{3Z3<;>WN%_>3O6wzFd%PYYO_rT z=sy86m(hmcywuP`t`eCaGLq-L5F1h-nIIX^=)&S2wGl*RQ+cVY6k7t*Z^y>*HZZL)H3vvxWbQ zX7kI{_pk_y77-d{ii0rw>(AyeD&IsT1YSfjFXEl+-v4qeWa9k`l0S+dC z3d!ezgA(`wER~r`>ojM+{K{w^w-m+`rZ<@K1gjz#38F@nsHk<4uZa8Z$h(-=o9cr{9n)nj#UUy&c$0Of0a& zJ|=(S9SS@f6HAB0Gl+~G-xL9l=CMb|L_RNF{dME}KqZ(ln5~g4?NL)awNtxOh zES9>@yE&${gjfMTz!S0a8FLA#U^t>DQdx@N_29TzY62W^zTrwP0}dh)mNbBa&wyhA zsSLv!nH)=Piko@{97~7|xns0hK8ube#D;&|5sM{C&gG7a#U|i^p@7kaatE+uf>nTr zn1ROvQW>nljn8AL01h~+y{~2 zNPtZ0%u^0ZJmna5TI^k*9Iw0lZSnUi!Eu<`ry6mbCdqL!!p|T%JrQD*Cb*snTEI>u z?B!<5IbUCGGy@ytd)Fg-Lm02CeOVQMG6Q_w!Uhbw3-^8Ax#6ZhRyQeT3M7Q;Ug0J| zO+jxh9`9(RuDN5;j!?oSTS|dZ3TA(9pv3X1Q$~7?oboQ=4h}%!U~R~Rk?N~0Ku&;{ zAU&#V%tXgjS}?f+8%qze&lA94V13F#64qkU8YGVPv#2$QQI^S*?Ki?94?#{7Ok0G{ zgozNa(j-Xe2-;yO0Okakh#ko!BPqa%kfJ zn2-mR36wL@vt%lx2~~ibLO6d$lDwS<+sk>|D@%tX+dBt;cbjrAOcpv!t`f;i!x>sf z=WLO}usN;woAUCy`=Ux&+Ju#ugC`t~X>Y~S!?V~IyRNu#xw)&|;IGCcbyuX5r-UOQ z%K#!UNX7qr$hfV)x23AQySKxk#N8L}+hbL}JNiOax?dJ|$;Vbi0oi|{V(R&^9~kcY zG~K-`jBMQkgJ|Di!i!YL0{8<3gc~BE5a(IcKZZaUIf%hL4t|1c=@Z(&6M?q{#-#{M zgCOR9-rGc6nFlOAYCcaaBoP@fS|wM=27~;CBh=5K5g627szzpAi{&mCj>SKSfA{ z-5GmCNVHQzo+cz5ibWRdU^CrgH6)U}55~{Tb6ovoabd8*?5x_Nm#ZyPLwsayQBTws zFxoZ}l`1Z93HK)p3?CJk6bFvX9<^u1_iRV)$ z1xH(ZV*gzj6PaU7G9xD#Q^Ix{4w!v};xtzxX0Jl5^Zl_fGzn~w_9j4ac#xFlK{(4s z#wFHO?j{IUAb5X6*11WZUjCS?eUg041!v6x2KR~h06X$gDJl~x!YXh&k0(vlywBTv zcURxe`a*L1=)h~VYwSxJW{b|QBnz%d=^-eJJ0F64Vq__+hK*{|YtxW5w!S%LCxV}( z^^=2Y*`{Iu>>&CWIFu;@2e^R59rv4XI!mh5<41ZbOO}71rGlK8TB_rI(`_>SWtyJn zUNLsB9Az&?WGw0~6}<#QM%F%h<>KcZI(OdDWP$Te$W1R(ttE=2=!Ja!`nzvaO#$#N zfI~G_KS+4%CY{5G8D;?2Cba zy!X5{eS_I&LQNp5^*9r@UE_Q8%ADWr)fpd7ElpnC6>iMt@c28Q-eKtWSnY-u|K!ZC z(V*Fr`!~+ldYxA{y+WqS9m}q?ky`9O_%GU%+5~?^bN9tHAZK6OlCm>PyiID!ERjFg z!f3Mvin#ul=T3&n0gbVbG9t@5-Js66zCPRvzcXQD#q6gkYx|zBAI%&8lij|^8+YsR zZGXP2O^Ep}%Ws`Amn6REyV-}lpDx$O){lBs1bDkJD?GSQm3evBO{l%9#ck2JFT+so zE+KzYnvjLKzpeW)iT7OmmLDGW1t`Yp$$HO$VT+IDUUZbVK@Jwfrp&1l~GtGk#tyS5XSIxf5!L74S~?62vbx*94Ha2Hr=ETw&LZ*=cU)5+TTK_7kQ z-T>EJd*%WsRXC=qNxV9rak<_X)m>*m&+UJX61+;E9eB3h!kV>7wB5t8b04qWjd1Y> z1F$VWP`LqzEEou>!Yq<(`w9g%JUPsjZg_t^gz=mmKZ6FoJJ!wd;9J{Y_=mKG?>;Bttj$yTevz*>TSeE&7ysd$ zDa7L!{~tf=ROdc45~nvTFXg?h+pCF+&<+SK_k%wh^+%=P(9z2PTVQl3%Yak>yVIdr zrV#V516-Ad{#Af~Y#5wY8(6t3n)ZL<7XnTnCr&gx1k$9B8RJ~a!y^jMD3oIqG=oER z4RxaRe;`mn7QAWA7p`cS3Dz|BraXi@%UjJ|>966ze(OHwZi)7g@Aq!xP_%7+=YMaU zT%bE-dIiKy9@-@?KJB8lTjrqwwd#lb&c9Y?9#ohey5!-b$tGsQl53xm%>REk{?Cg5 z(&nWav+=rl>jrmqbyFJp)}|xY8v5e?%;1vIc{wON039b=Y+S{`V0?$OiSIlcq;l#z z>p1DnCWGT-?>IYT`X-(GQ2J}^JL!A}m*6`Y`%aF0M@g7G@m-{Z`QwwwaRei(Cutu@ zqUBx&r8kA`C_w-XKGWW3R78J1bMsyN!WW)nI9loa4x`u*MJm^~dAZ-aaD*RS=bjMT zIbEG_DV1=%iQ6m5ID?$dho`5NSLxUtEt~aP#bmd2!(}qD^7vux42s= z-`|%zN>PsGwjF^o>syg1+JDA`t*BFIRxDC_q?3Mp#k? z2n2`#fztmWB2h8`Rfsnn3eXhN?pnp$C5bcZR2S5u zASl2c=?-wXX#y4mcYxje5CnKaykP(|$_o}0@V|k7TLi+w04UrZ4X}eb!Vv`jWWRC4 z9RAohmyd$`0v-Twv?mMz{`&m=&+0~AP$a_D?;rZ_`xUxxdLN`^!1t%)zcFQHq%R;q zKvWDMAR;adkd~4HNQwi00YU%HVgP~vRR!>$P)&pb5+MDj*qbT+r(o~D?w|Xw-QWTI zJC`2vMzk;h_dgo91d0RgZ@z^8zm@(wVo{)V}KQ%^rXdj;?=yj}h*95AF+t8o<%^ zPJhJm$8Yj$$z0(Gm;urg{_9l%2nYj#|ApObmc7f(%i(#W$lnm`W^w*~q#D8=3H`NU zBH|JN2nq%9BLLnANkm*65FmWBicpyEZw&*41QAH|O$gwoy&!-C5=HRqMkT}nLZDx+ z-`n2~#p>8()w-RrL@E`m4vjT(p!t4o_7m)U{kW)-BhWO=1-lcoPm812!%K?9 zpp^2=XGq<*dAMqIB6?xRaJODUoA9z~Mj+87!7}XW97l;=!93kvT(khwZC;A6zNB*} zr?V7AQ`aniTB&>lL7x&u%L6PnM3TFJ`Xw4w>#+xb)&b&%;aco4VT|*=*lcoCFEm#NYh-vY{z?zpv8ibbPv-MI9|{XMgAn2~7%W>E5|%#;4NRgfbn z&}nEfAS6W24R>C|=kr8S)*Z~H?dBhz?Y4vcY(1hTr&qs4Sa-v3m z({#j9(7tLctwD?hS{-H&-iIfB9E?$0az0$b#hzhD)_SVmWo-$CWch;XLoG $$-t zFOSn`{Acri2o@MUOxHbT;fY?A8*fke;{DTL)+v-tPFRyo-)6^i?Q!?e*uC$LUJZj= zpK0tioLBkKxY1|V>1icje-IbB8C3Is_;OurC3A{M1lYPeEI5(I(SD!0B*ROD-}>oz z$fR36W!bHVS93&i$lR!Cnp-hL>pPQY4*O!y=njAKLYrvd5$S%mY z7DID9*;kMG7~n3QafC#`B>9;S(;S~d{MrscPnxE!x7(|1ag$G^X>!E{_u-j*5ed(}q zJYb6P*<>U1lOn6@lSJL+nrRV7O8vc6L8>U@A<1;Qi#DIB^bj7!PV91jmD}sZS*CVW zlGg8B@(L?Yv}9}Si3#-jGkA}PmlM_R^gnsLu^gC}HaEx|Yx4NoezI=8bdO}b!gVfW zGhJfFDOUpL0lvucdh6?=6lNBS4R4d<+;^@$27w$rrlTDsZeP0=s|%PYDC9YNAO!Dg zXpXg#20e2kZJ5d?n$jMB;rJzmEHeZKfWu1@C5BoGUt}w1CrdhOerLc7qm2n2%MrIybd5p%L5w@?PLH5G<`=*ui*4bI6PJ6<%od+-ruU?IP;`^x z!wGWr1yOQUCYkJT>$c?9lG&mZUd~RjL-!@rJKx01O>r1Db8)hNwG(Nci_)Qy%|y}; zi;AnYHSR>vN}GU(v{KjfI_&x_zEWfN)f2qp_P}@_-FQ^GJ(cvj0X6q_p`43UH(tGL zW|icqhERH0yI3}OMT4$e{8{a6DDJ|JNh|dt|Ghhble}*t5+boFYvLg+JMM8LbP;++ zM6VyPa@OKdrrgLWVzNk-li$wDvPvHyx1` z_*(RhtqZSzF;N?LU8PmwAgP2ncuC;F0JmE0Cy*AasHY4Lj2Be;;Z4~D5st-G)tH)R zi{5mCTZ{ecszX7+)pG@+nCG#x-|`g<`(ijd8M8)x>vld)bowK5Ncv)96Zbf zmNS1wNO;5{@pyCG`2=+ZWj{{FdyiOs8r-b0l4^!D%LC|0{)#su+z2t}A_8Y^h^_`}) zK%*vy8hCuy64oYt$u_wHHi? znUNO~o7>8JSd1Iiw=KO}Olwp(tO})cSsG-2NV8*axG+5&jjpmrXNd(liNjLgYUstH zhBRt5%lY-&@g%r5%IPDT{Bs<}lt6O2s!ofz4Qg3qXTR3NG5l%05Hsq3 z{nK!=J;%v<1CI2EzJMC&hrX7AnswV{j^wNtz1GLB8Ga(j9K{?2t_sbq@+!V2YG3{W&QaFE}oY* zV#`d=g0%0K)bq7M7Zj}R-9qG zM{&S?aI@ulGJWvpCc3qNhH15*)kYZ5Gdl!DH3gJkLW$D0_|s>UzFF}twWapPtE`gx zcb*`~18(gD!Jka(`m_%d?(lPe&WEk+GqN;TGK|!wyxD$TDy*a2P(4M#rnTLK+4{Br z=xXq=gUOwi7Dzn_pu%`%9;HP=o~kWrp`&^iQkHq_u&XItaYu2^89m4~E+r$xouFB$ zUQ)Dzhl}x|RU&@$7JW<(v0MaSNmC{26mXXBTe##L_EJ8!C8WMvx^KsSe^B!o>#Zjv zZ76b>x?Z2To;xTmOAOb<)5=cPF%^?JQ9wuLeZqGk>YA0h33p1!Qr2x!nXT8tzUQME z-^R9WQ*llEGY>h{)Ub-e6x-~{=tvgMsEAZnvqv9EN;V1DjxMv`s;|}cUdQ{u^noU@ zIf~PBDB%@RorF2-kRuy^0y-7*Al-+2J2DKx9SL1d%0|v1S-wBDiTad*6d~D?TkEdE z$BJ#dGfF%_ip3n`tDBF3>s%refVu9?OXlBrPsC^?m9UiDJ_+Cxg$Ib|= z%X3&6&p%~zA$P2WwKZ47@hjHjg-a@l3bKvWNjp4yR1Qn$x7AdCGX`Oj5YXLqgn8-2 zp>Qi^w^$S+HB6gnKwm|GMh{fEDKAayC@%lm%-VNyf*Z#-tYzqWrBE$|xnW=hEk#Qf zq*rvjpqZrlA~GW_C$6tLx16PqH7td09P2Gk=v}KI%(i<}eZ&2!%WB4yB4ch~xE%hI z=O|GK4RG}1Fe|fv!@IQ6J)G`%qkK*?>Ht&51&lh}Rhw(#Dw2(%r>#QSkId`|!iaZ- z)0f1H{8FWw8HI?t7I00ww(6fAFF)-Z{1z5oK*no*FNlGKO_9ieaW|w#AUKP` zZ7|sRYes(B?R(yLOh*7LaoS&(1j+C$x$c*qjwBshgvS?uQ6@6Q#V!QyQb=>+<@XMg zymdfHl5Vzz8ukPu+64eQ;&Fx)JD-If#AEf|p?i=X9;y%af<2|ZRM=4;nj$Rs$GE6> zHh5Xj?`-xyEQ1ETQs*Vv;z9hW`^?$Rl^{AkSG0)r%~yJ9R9fUmhD132KAEl8kQ8f^ zI6FhL{jG|Ba}$$Cm-;VcgM(HpNIS^SpbC-kV+^-nkW6Hq6SFvWJ;TGnbTzp|dYAu< zFXAI_zH7+gFF(XyVS<6_CD%@^B>`5?K7G;hW+KMh?d^6mEyv0EV0TgT43$-lyn#wk zLg^%Hetmq1sA%N;wH1sdBzM)DLa1okxhg zZFu~D9KL`mk(|bf=D1Tz=^H;iDON7|@Uzs*_Ro=_jWJ`T;x57SGFQC?sy^;_t7V-J z8$h=%YVlv$8i6g_?%yJ56rAzV+o1ia(wOS9<40K?{MJi@ZJ%3;WJ*u68Q@L2E~H7z zOz0@Pmk!i*U{A_tIZaa}##=o&CH22jS zB`dDTApK(LE2)BEzTTp`1spG;X8n79s$+JvyL>?OtPSbdBjB9IqyqQL7B92j*>eAX zz&zuLmMv3F-K}~D-u1FbiRaXK6ZY@xR;=Z+^TFbi-U2>#ygRz2OUbe4M_Iz*rln7a z;4zBZrQur24pGJQ1s|EfPq6Ud0oxjEEn-fD+)Jp@wE1QwDOKScFTQYoEr z2Yt$;yNuhVG0w*|Ce+Q&k2I)l47WXhaG#4UvGq>~xZ=vokM$*rJD}#vO(S?oEB8eX zy_hDgm%BVLvF@s=!Bo8FSuiMn;0Ysbn0PmFi}p0+v9Q*ws!HC(#fH90od=KFhY~$` z?Hx~)mV(_}9K0)3q}E=HQbtA-6H6PrTPP)4lSfR9U_Xs4hD*A)SBtb|h8yaCR5wdD zJ$COWZl{4Nz2^a24O}}Zt~_vya#v*g&i55OIBe&y7DF3B-#W0pW2Le`YGu#27aBI5&=uK&!yED9ytQseml4?66aBqp(Qpxt(_X+w{u^ex@ka0E8&cA-j}VNQYYY)HE_vs9S3`-nVRMQ6 zdx=ByXDpzyg?j~mOD-)!c9thwdrjV&Yu|UrvDyi-OAIOAQXCavsy5DjIQrpo=9yLM zq|laY8`t|(D>8-WYO3s0J zC$AF>&R%8^W;8olLU`gF$3>E~y`=%sU3KoeZ;6KARh|ETJZX*I{Dd>!KR}f^Lx$lW zb?Z(-Q8wS*^zBf_4yu)oh$_=}8u5?PPFCn!6NS}RioR?3#=pBy+Ou!mG&xf}j_H{q zFz9ZSfLlGF(%e++Awv+3EiLT}v&Xdp&j$FbG-AheDf;Pm87&Cz@@*Ki*^yR zkGQ1fyNG~)@)UMB??hNPt?ki+{io#}$m902c+MQ1L2Kz;zA<*n22i>Bt#a#`B>q`e z(!mn%`5m_7j17a$Qny$I;XyYIX)?n&UQ zouoZD5F{;mHEW@#7p}_4wDtTwixVAnLRlaS#aHcr_X^@O4+X`!wKp%QXBGJHq9gdk zy8Y&rDyZM$6ePV?p8xXTK1)YW#tD86lYs3dc|vAfM(W{YDr@;ufxyZWu&FLe0w2mw z?wt6&+NTc2P}EhM_?eqS&{pvD8!@^+oxqmva4aOYaPPDw86mvm1RzEDPp`tj1skDk zh;z4pZK}8W4Omyp(R4n~ee}I}^+wM~Trhm?;|m^Lo0iQDNY`jQ_mFB38Gk%QE_zt{ z>f5))kommh(g?vYqg-6RFHA=xc|`Lb<{)IF+q69s0ijMy|%0nDjxDke+q zvh9ZGE5@yY2X*ll>s1uw&Lg=kf%mZu#aPC6Rph8GU{gz9Xp!4H7pkGm?0k7?6}eO( z+?IQNJqrXCCr!^1SQi_)H}Hu*J=_WyzLMfEm+Rs(3#gLlIw56>P5Id|{5j7pe4m?t zgQh){u;Np12(wUiqKVv-j=OBHDQzY8mJqh7#$|pg9|w0*Mq1m7(I5xRnPUNX3<5PtbEN zOQ^QKA)lG&YkZ?dy}=nz%y2Ftv~X*G%@xKutk&>31HPPfr&$MOO>3*WojZ|_i)!%I zk1%mhK{NhxJ+FK3)MzH35o5t@Z!Z*(KEVA6HMLHXBJKN5uG%3Sg%iSLdzEW!8v%7$ z0M^alVKbJOcxXzOMuhBr#&bG3kg@Isn$>N0rC&-jXyP^06=n417;Jmgb{wI9Ey>9G z`i-PMNfCd#*UZ`*E1u$K=G55qm%#JFZd9ZWHdcWknOJfU_e$rO=2?dM^#8NWv|_#2=YD_%9_}JE6E!b((#mC ziT!Al7xz}lK_x~TQY$@Y`^aV#_!#$n$q*J1@jhXs%g-%@K2<3Q6U@Eg55M>@SejeA zi$k8tWmiCuI3$?UBP-^s(Ty;`(6x}{sTe@?gLbXr$j+nDrlBItFB4q=T(`p-GPn3+ z%yVM%KTc?^=+SQSmWF_TOn7)rmaVeYd&jV#BMpj-D&E^6OlwSp6hGW-DL3tQ=Zbe4 zO>Kcz_DuIAnw$cZjwDPg>8Y?6!9(h3$cSB?Uu{?AXC`S4OMGJGQpsnh-g(SD5+>a! z844X~lttz_-J&3oRs*wV;`Cuvvn6Kh3gg@Nfp@MuTUs4HLIkOQ)3=YlZA@j*8%JH2 z#x35KzO}k(P5I1RB?FH?-IyzZ}1iFQ>evGWPGKD;Mx zFH=dFfYck$Dok8|>$0*?wq&qUtS4%D++LMZM2pRD(194zzLlKfy@XeAyl&EE1hs^{ zKHf0ru5y5d^{g#Mz@`ijlO??ew3fVhZ05E(>Nym@Duc0tN}tRX0u$b%?C zkcRDcbRfn`khP|f*a!ZB+XAvGtB8b|#Iku!T6SB_j0C!Wkm~y}gL*LdbA_%e%Zikkdx($4;Y*I(X=4;$YBw+@s-O<_|CfF)>BCdJo2+675E1 zqKFo9Q6CA#g5AOCkwRiTikEuhNRceLGh(I~wk2P=3b6`biXn9g3=cpjErkh#I)5s2 z?6?!J%aIU&m6Y}u4S|McT5T$lqGg3nAE^t4{A3TSg^zmCmN}&`xgYMNJ}n)xHfxw` z3W>p($IY-iYB+7dtqS~oxG!^7Lymbx4Mi;f$5+QMB#2qV}=*vyuU8=}y1vDH#HVZ%Yx{7(l5SLz#(Unv7^Q7V!1{ z-E3rky|x#D_QSf(yXXCq1aZ4q5Hc1B{m?c1W$n&5sR9$UXV1cNsxR+__Jh}qhIv30 z>lqPM`IA&&&s&vHy$qJWWb+9wQh2f3sxN9iEFUou2F%DQ%*(Lt?dIHUlB5hKmvNdIC~77D^eK3;(`1A zvQM@;di-tK!3Bd41S5PHy=iQj(CS9>G8uxL#naiAz(+A!)|3p;$$*+*hsdSZGWz^~ zXoO9Q9Z`?#$J3M6&1oe(yo@oLQT^fQOmLC&_vLD?qLa_)(gJKHHDD^bh`j){D?>`n&rgqY`d_na}sQ?!-`v$PXI z{{!2)?wgmfYyuO9>pudw>pugkcnC2!FgY?XFgBN+xC0vqF*h(dGB7YUm%z9K!vZuo zm(hmvtE^@Z8jS`P&}j5Xw6>;Ejds4#CeUYWjM0tNjR{0@sj({4XKt*wjrOXs zIa0rIPSc}qTmqYGyvaM-nntEcXTEblqVx}P5^|gFiHUkQphNxYpXz`8Dw3c9?(h9)YG~&K!9p=XdQw_ z8)J#Xf<)HukUrWF@(oEQ_W>7!v80Ivk7jCtucb8`M%<7cK;7Dm6)c=U`V+3&h7<`E z>LjanXf5hxdJc#S_zadf13k2Z(@9$_>3=-M0o?AQrnL;l5^)&A5k$5d4y}ynfy0%G zI}~=*A<+iL(vl74d82_0I&cM;Er16zt=xduQ2=s8VX{Fa1ya?poEYtnAv_2^z-bkt z3Q+{e0^l`RIM{?9hY?wBtV8%%@FAj71}z|NGH8enJR1%nYiSLOsB)yTaSA;ciGLjt zz0Ny7{b zzqvX&p3a;1P5b<(!=`;X{W5Pp?9dQafBEFI3p@ajwR9!m!ToPYM+2U=!wLvz`w;49*PYThGbuwHN8zN1aCmz1Vp zaC?aY@bd2b{KF`(X5Ns)UZxX ziIL)h(reh$O)`0pg39SV$}!sP`6hYYaXRH`F70R>q@_-&?!purL8H#Q`76YLO0RTN-46%te|kNNG9Z| zZ{cLB1uz;HW07#94D{Zy#--Ijw6u}&8?-)&@6gtCO531&_5*8G+J77|i`!@sM$&r2 zqtaF~>oyXC^$(r@2!iqvGY31j^{l}54%@_=VAyKIik6SW0bg3m1&L2+jVKUAYe$J3W`DR zKCM>7?#s{pr`%P4K(nj_yg9KBcpDYs7U!k7i9QE z3NFhMIe*oIxZU(-;Ts)kBo)18~7R$BeH?; z*~EAlsqHCs8SJ!_D@k(j@%*v^XJ{YzY?l>;liQp*b5@ka6=sQRjY@5kP~bE6TlZA( z?r8NKP{niNAr%dLC5LBb#hIEfDq8UeSQ3L?uGZX70SRDn zTOkfk1+uW#QhSOP+(xy$Scj_Lx61p4H-E)9rEhSwF1;z#+Q&hKjv~G&GdphKaJ;9S z=azj_j|x`O=N5$xYiRg<{HLwRDXl|x$92kE&2f&FuUIZ~p`7`O$L~kDAi-G#Bsp4> zT&X#?Yt#?OlepreR=^n%BHs#gc@dL2arn|tHuJj-&#w*OB*%PMSmRy0bfpa`c7Ix9 zof?hWBJUVC5{grmKP96$R6D{C>cW1eX0$@dTv716j#tK=haS%Hi-IK=j|oE3=N4Ik zV_B{Oe6H8`n?b)^$gBHNec6<{!OHbyO?3hJ%L_#<9nYC#oeRF))YsKzDI?1)do@>m z?EC7z$77Xx-&zjUMN$2Rq`(8{Hpkk^+F==1U@9+6fnB-MK($Jhw=f zv{OP1l(6BLgo;)NJ0DfCK3_77S}S^UI+8v?E@uCzjl7J1xu86!G&KnR@kB!3-P=CYnE zQe}CjVY~^8@)~R*Pi7X`TsPvEMMXBa@S78*LigagtXvwr+FL$BjHCOWsd^@JG24yv z45oP<*j>0mmbo35j9E^DHgU1beHtsbd@3}#jZTUmw8n`}p5H=pDLv8xPLiOcBxVX_ zSrn_eo16Fwl*`L)(2IO-g?}f~9@8uRn$vp6hn-vU)T2swI&aqYK5ea=w8a+70?W_l~i{TiVQ5 zt(t<1vtB`B*sm!fS-e;GYtIXPB_cS(6>Qj7Wo|8#c@}5620p4{MCNoww7qF>+uP}%H1l@$rJc9)&o|R)JOAsdy=(t$|9@)#ZvSt3bG0k59L~rX z9d-TN$gjct=(%y>s_^Y?*S<*&f}sC{xznAc)FK=|um5|pbb+HFvL z_V(cLcLeLf@xe&6YFC0)#kh*1*F6;N5=AuvVKfzjR@Vp~wWiir7y?o zNlA{&Jt9ZR^zsxjKmFrwa^6nAoX}3e@q&MJl7BkC*MWXHqlEjlQynlYHr@64-7W3B zKklyP)6*k-+t+XRpFZa}7^x1d zljZwLc%+ZjW=ILqh7=AorqrTfF}OpwA;f2Pv))i z_oG)&e}95~d;E5^Udzn`F4yS#MCF=anoc-;+iB&-k6vWqX_t>nN+ZGr(jj3o`*U(W zy*%k^7J&(8n)EJamxR&f^o*-J$$1p~*Oa(tCwG76lbcnrwn}o3kDfm|e8*s|k9$K0 zdv^S1z4(hU{T-n4VH7Ghb=91$GTHN|Pv5+I%I1vKDW2@XjSh)BCi6X9KOXn9%TKe* z+5GQ;H?MDI7t>Wkw@O#94qm)^h~52iyh8Wg{&wG~Bn#;tb;{3Nrz}g8*IjLn!*HxpoN{eskqWbbT1}=RKx2(R`&Bl)629%^4J0}!i$<^uX@{HD+efmVn?-GB1{$ATqBz%7u+D@zAeVp?nh=k|E$?cT?kb3a$Yy~R* zq6hz7`{C^7b`E756nD=i-2(~xeRewke9PY;VcwTluP&+dJcR`#*=UnS{nt!=ja*+N z=SMY)Lygk*8Vz3A^i>K2l~S#e4oj818LE`GSE>J!rLR%yYoscLQmXVBLZsF9`t*O_ zfb{f9s;>{+R5?vmPIE(z^!6I{-Y4`G8pbu!PvtXTVdRGzne8>|y%gwcG>B`TR}{(> zM8hD`c6)_-H}}3mgQ&JEF0++BX{e9eUZ36#vain|rroN?Vx>?XD&)6UsCUupDU{Xb z+*m6V)li|Zy+W(EuD(8lnD+Iq_f>yl^meGuH>B#-J5yhsVWO@BDAaj+jXK|ur~5aV zzCvMBQq-ynXul?)zadNaZVP>VHYVvRBl=-RG~bY;d&T~$Huys225nrOee_VBZ%EMn zlDx0aFhh@@^TPyfz9B*PYTdp-Nf0P zDs@|msQt#4Ih_e*+Vh*~pN)TAjY*kmyQyl!R8w-rulNR{4MRC5FXVLd*2;0UoHhC^ zFef=?lN?paF=>q)y^vEf`Fc6!5G-=sP>$}P)tjI#^;nUk*2w8_)|+syVb*J4?oi$Y za*eTGgK-D3UN3|vu3(DWDn;)PKV6+XIG#^#=DUp)rOgjd=wi92cN>3sg}r!IyZoOH zR203-|NTHkF}wU95iBW0kRppNxX)%6vw3gH1=okZT1>YzyO!^En_NrxyZARC z3@goAjcCCI%RnQh1CW1uF#w`!*#JbYI)wm0bgl>h#H5M|6xeJVrP*APza z>qkn*zD!bC{t#fj#(sB&cU)s)jHxG^)J=W8NZHiai(H<3k4Ar9&#N@RXGb-y6eY$n zJsFl&sqmy;CBcoowc(G|AcA#f)jAkw#=ykV72~Le1cqJcbN8{E0PA(9RXuT%9~Lk0HP7GD{;q8yJ(rLdw!Px9J{ojy_u8Sw`H zk00_WRvQt||JPlIe40&X!nzGm7AOUpk)nwIQxN$Kn}8hr^l`7R>-C*w4>c=$Y4$ct zD=o7UDsa%CQCKtxDv%XKK|)YO1O-7w&;uf95`^QRp-}w`O~UqfIr;EA`|Pv#KIi_f zh{#M338HeTP)L;#J3vwhP|w(YQUW>9&e%TE9GDAR8QV+Bg?Z4;SPyAFEC80bJ*0)O z2o5rT#^jI(i@9Vs>*6vWmT<|+wwuePPymIn43@(RSP83OH55THlt3w@APrS2lJBoy z2IcJ03Y%afV-=)kSOfm5E#Mzw18jlqOsP_6>f%ZP2PxHs#NMwt?@_0URy((fqS_sx%GxydAI;c7cCb z|KdmCF!ZRjmHK4=Y5g~+4CY%Nf@9FD(w*{oN1%@>9MU*}aUk>EPC~y*-yfem0LS43 zQ+QSL8-pq%pFIu1DL4(oa0W);ES%Hi!$&3?H8WMY{MIiiu+dnfr$$eWVj4{}`e*ci z&uE=_>*$(!*P4Ku88tI%X4K56nNc&NW=747ni(~-VwJ1@XR;ENuRlGNs?0p|lu}Lq z^^{ia_~fZfb^M#Ba@ENePZg?PX75&NNd5CvrJ-}cQ%1vBv!`kew?{o?HN3d*sYb*1 ztfyKHzh_TSr%BF)r+Q7gW>bSE7biV`HEMG0iD+`;N91N+riZ2nhJ+eR_E@B#f2zR->0#0n#p1rKLJvqFQHg5#o*F_@AkA44!5hR|U!!^$Qb zuovRV(oAcfybkt?ggnEOwi{{DkT-l=`^azXBHzH()25`K+K*+krJKNhe^SAJ-joot zhP*{*!=C782@}5b{pD zk>hL6C^t3awq{D3klSE|f0E2eNmjfB^OZnPho2#mh_iI&^CA*yR>+)+RY`~{{P~nl zt5~c~$1p%*U6tFi4a&jhIxS36end~n+(`}WqHoV-NRsiZzbC5S%C=nl9V#iQM!10T zTOw6N`m(>@kKMX2_nW37Chz?ACWAk|8XK%Q47@ZsB(+{*q>0fxe_tJX$N&&LDMN~2Dk&XC41$WXyG`6kCRVO zLJmfK8Wz-)0Ll5$eTZcMxv$%1Y|8ES9#I}3O+sKGp@SL~f8;?kjKfj>Ou43AheCy; z3&TjXI#<&urbRxsyf1R264Puz=ZfPEYzbR%B$ZI7ZXTNgTn7%E? zm(C{R9Fx9cwO&#Y(f#jl=~iUOk9Z4%s~lr@m7tj;VPQg~F!3(!j)-X-;pa zqJRlxq{ZU!VL>iG#%v5VG#_0ro2X^#R49~tz`P`x_&n@(3vvvElplwO!K0k;XR%r( ze}i}4botK(9|79f9|IGZEdi0&9-n`t`dt$c6;||4A4?c}X209p199Ku$#HW6LKW<vAb3f4=B&rf7t4if;*9e4f$k6w$Is%DU@5=&43 zxgl+iNy40SXR!6;=j$i`1Au$Mdj#j6|m?uQjdEYquZcIIJ4vJ8>T{BFN`_2Q=&Zy&FrIg)UlSp=pNlnLS2`0DD# zr{7YO?nf3^U)Ha>;$gF8jIFB;)$8M7L)H3vvxWbQX7lUS53mS}77-d{ii0rw>(AyeErIkTSzbgh?9&+ zLIlT8znqiONMe6N%zl+-3(te&VzCKuFbPyhJ`Ws}zz<-l%v4&ZIrHULM)SC( zFrF~I#*`;m6~RalHDXnhRTSb(C04qJZ}AvVOs2w6~8XJX=F zv5Acz!Df)SfK-z*wJ}&Mb)R>0Olt|T0)BueV#O>vmXHdD zBYGm0r3hXRj*F!xzyaqQuH-V{AQE9o1335$I2Mq~FszZuvDBuxsb|2kgxHWfMw{ic z=vYE*$Q^&NSfb=y?zmWN0v;F&7+olL06QjF1$c-Vcq|~5!5ZB7JeCUJfTP;GY6c=p zhz<~mMa%i}vV_hd?m z->U@2VP>Cd#BrJ=$H@pkgXHu?h*6s0dM0QAJCU%@He1g5`f8&Y*dX7#9@%TccwOzw zs`!%`;OiDPV9;H-@AJ+LH}$c)NikC(AyoGYHwkJAdTa4`MakQUBtwD^kOrC7N5e|6>a++Y;B77!Hgn*SMK|)8+4oeYmok-y}R?p&A zJN?wy%RHVIpHL#)>S&GtJ)goY1h9nsi7=f57AXvy(|W%tFR!~Vs+6ToScy4! z!qJ%aRxCX{i+!={iW`@kyV?!@W=v9dMLKy(I0CW^AOeF_{LhDs+xk0Os>-{2I~+>f zec`@6R^{8HFJz_rWpS5$Y(*519V&mOo*(;x;l5AP-Mhlb)-5oI_BAHFNOdfLKTtrp zArcC4o<;p*2!xS?7|i3~C&-pQq5V4%cw1mxioi4oV(#a?NyL?Tz|y1Ui^M__kpZJs za)oR#$X`gJzCo@w!C>fD;96gmRedntd2Bx*3KB<+uBQ{vb+T+zNIc*y!smYz54)&Q z)Yqbsts#&>3~&LV)ahUVs2cVek%5=#JVy0Xghbe#u}6eNJ0;|4Lc*a~WU&r5(>+#0 zBFXz;{MvQGrQu;K=Mz zdsa-I!%AhDyI{{x6y`{#&P#t3?9xOrN&|pQE&p3tfPK^~ApcLYfH82N+g~OY+A;~J z2r1!)AgO)!OLC?WSvW?0JXxe_sZ6=I$5kAr`gYbAlG{fIUZY)OU(zsJbao|K za7{`NK~dcK5abghOIbB+RGVI#hODvm%`rO>{3NZP98}9T6$4-g(Z|4{Oc6N11tjjc z--OdyQl%b0(o9v3unxdodzoQFp26B^WZY_R%XB zKkv}F^NuD9oOeQQ`YhF2qDYEf$TzRP|1Q-O0N+CX;)wD1ln%dwI-;?9ip!ZgLZ2+u zJ;48VB3WEi?Y~Ma0{Km-1i?DF$RaH6Whg@Kq(>nTKXErMiX;V z{BEz#_;6}z^6IW|V>XA!-}&?oL$}9jH?;UCXMT+a&7R!9alY2;yt?TXGF9$acBPHf zV*lQM(Vo;MD4Kt}FRlSO``VV2omt{dQcGru{J9oJn=Mep^}jrKGE5F=jD3_5S=Q+W zb;kAe;a2#a2^%YBKTTQN_k8_m-uR#F_C?;fTaR!1^IdI1%y(IS?~J)5@kQUwKIHv$ zxjwdj)T<)E+l5)-!F{UC%e!tu?Nu#qi^hE!hH`fanbLoREX4h7-G@oM=i>ML@USmH zF-}j`dkzd+d?@##qr44ruoyONK3qG?x({|gjY$<8J4R|o^VVP8#k|?Iov_q#;mrub ztS4lDP50E*P?3PUz*1u=?Sp%xdsmuH*3J+5=ri{QxaQh37dWZHF;z|C)%lFe^}eX? zIs6}v-K9%tWBcr9*&*+c(iXn^oP@JBPv!eXzTRvVT_<1shjXS7k6-+M{H#-*`_M?7-mtus_qJ}Y zCMrTZAhg^M{%q7Am4ZV@F9U3W(V;8@QUUBvhh~{V%)btBRUZ0R0sgUJa9V9(<*sPj zi(h{TIDMQr(eMyRlRjpQb14sxC_JN3j#1DI4%Ic(iPrytKm}RwrZr!W7Z?vUvf5I1>fm$>+}i`H(LhX&ND zAM!i@TAg`NVRq<}hmR(km<>y=eM&O_-}rw&F9JxLmuk$$>*kFc+||`hY3N& z^Br7*?_}&dIr1GPVe-UxkrL*QPa?+=jHsTZeISXJdl{786t<%T0W|nbd!JDe`OJUK zckv5fc#h#{rSm(CVnYpF^ zV|TP{)@v1$-PR44$;8UzhqW^>qEEsI$`Ph9j;s-LFWpcX-yp)kOs2=8Bd|2ND}94+ z+|fKlukVDgylV__$olChx~S}72H<}eRGc~r@d*6NgWrr=Rn65MkhllGxifgTBLm*e z$J|}6OPj4>lV&#o@#dQW@j|*|0nEA{ovl2lh~y8rce1P0sbM}>1>7?};2tb)t^LQO ztVz3UnzC+_wT4JB%~?Fy-;~&Y#~ z=u@}oQvoc?5i~h43NK7$ZfA68G9WiIFgTaNX#*4lI5ROamvC(YDSxyDR8(yjHcTVk z4Kj#y&CuPgbci6xzzi_NFbqR?hjgbyiy+-4AdMgrQj!7+7Sb&r>hnI&`@H|Z*7vQm z);VWiJMMkm_qA^hHhm)jC5WpHRNWPh5&#JTr2#5Bh9F@85GW!D1PT*!a2Uf-&d|SL zLJm_X(jDdsm;SE+6@MfYjJm;8!Kj-!9alI&+rt?E5&?k3r9l$XKp;RE2$cFypes@u zpbGYcK>#{}0Bu(|)SZw+#TDU$gxNcwZkGAaFM!*Y2LO_ilHmWH4p4G|B4M^*I6w!C za)7$rtY`~%1{k^8!k{Rhf0f{tbwHsI(n3OBUS5J=7k5Edq<_6U4?n;QhH?NHLfxTA zPbdWNi!eYJ>;nD6OpuTRVC(>M|AQO3+M&F_NGRY2aE94J;qEsX9&iX03AkAtV5D^) zpof6M{{-Lv6TlDnYi|G`LD1jj{>uJU2nPS147Rm(bwPmPJ}|gFzz*gN1?Z{Y7eslZ z_yJ%zy_ zQvECB1|s|ivxlMpVn85JLP`_>bpt@XZ5@Pul{fZ5K!1NbLBHS|1_6EuR|LTBh6FSK zW(U3b5c;`;J)r;;(gPac_ur0xTZAAG00Of`0c@c5FgW2q)o);^-5>kr@R2ZYfCcbI zdmsSt*Yo$E<&C@`u5f3cf5LyCuh2bB&4(H$e191K?Ne5E^#=F}h=>9NgvCGrDM?9y zgcuMI@PF?r`e4{!T>$?{)q>l(0;K*ld$UXbY1s3x^XL9+Hh2L4uBGdGBU&hc`yY)z z0*V1`Z(gAPXQls6`TrC6uPXmHjsI^$>K@L{zunxw{r?{~*ahb7^H;!)W<5|h`qy#2 znF9F#hCYD)nOPku1m@xLzg{gA_+}22;P%dcZ+|1qT^;5Ph3Lajwhn*9@&`BhHDt~( zI8@)&9ro*10SJJA!2j{xOqQ+F&CTI{qsZSb=*{5#dr398tt;f$gb9m@1Hecm*oP2! zBP3xlF@PWFW)vY%@822*2noVnQ8y`o8+ri%J69y(uM-s)0|+Vof___~q5z?rp>+ZO zjem#<1BC2cJ&=C`AfO09$o?M_bW_0nzf5s}5bB?7;EmeQ=W!@FUi;{90U?3TgD z8u5EXmlab2@g{MPLY~cV6x!s!qrZcP5@5N-OZmf_Z06{Ani4&6&8nTuM;P!mUVo(2 z&wNcd;q0C7@(W{O_a2734CeGK*hiFOlbn9a+Zoz)bAIKetH`m;ceGvO>n>>^=WTA^ zEnUM?|Hv_#8HnrB1xYc&e6qjdgDR`p!KbEvty|wlw+HBnU^-^Hhdd?CJ zVunOgTfOJ#2H$ObZkl>C-Y7!{nt${LR(PLS6bmN0fs-`4c*}n1GM;Yb(U9%(=rVOv zs}!lV8cSPO@CW<6dasb3Wn;FHCGTOanLTaasc6rg4PIyJABVQNu7lkl$K4?=3|5%w z98FE3a@)1->1b6VKBgzM4f!k{$5L%fxQy}a>3KN?Z6ZzjL_?1)>$koT@qgsjY20PKfBk?i|hYgoiH@~ z+OIDLuox9wF{{SE%JB5Ut$!1XPQJ?#XqD;xC8OS8;3t<^-_Ez7orsuD7z6Q$417Z<3&J>GO+N?Rg=R@H|o?fS>6#lp% zLA&Tz@_2KdZzOUGi+}rBBkX1!$YSVDCN9bG<6$^g_IoTkl@pITbn#ytknY{CQ!vdb zpQ7`g$~A+2w`D@W%0}-I_hysrWJ)Z(QZUHkq|Ft@>NoG7;mQ12!p9inV$jb;B_+N- zuO)$31eV<5Qq9Afyu)e+EZ!S!%{k-yJONp@RNl#;o+42gN`J9`2KH&*RVu5WwAyT` zu*OR~lA_HK6WoEN^M%E|)W-F$A(rkf{D}=pcahqmM(<#^B5nsU1>7k&(03d9Z83JBSnpWAZ)HRKXL4EAFYOHlatncD$XHbXL~tSQYcr3 zz*_F}dP%DENtD*Lk~i;I@!fT{C3{vwYnn(@eQE0<1Rk^iVkYQ>=Eq`J4!72CY^CNAU7q%pXx;<&U z2P6ye8q7UqC2I@*xhXS!x1&u;u5HJwSBthuN6MXNg4R>TryO#`aV-dh7gn3zqLXg3 zny-199Ois*?$r0^;4vL)C3X4HK3AE~LP;sd*$F26^n&(KJE6}#EBrA_@mPIIHm*-X z&;p~spMPO!QM`D6p9p6`qVyXv~UGsIo|BhFUczHWf~z zlXyAXME4N$$PeD}m+N9s?Ary2Rt{vjPKtX*kAKG!wpdl1t*r3I0v4ME+@uuSCs(1@ zD+G#l9Y4$P3tIeRy>w!cskYQotNJwDn@?q(Bs=hHWYQ}nhBSpzi(5o94Hq@(JH%dA zO$X!6ZkaUE%<-!;`;YT3g~f$qQ@w}4hJBhwPbX~AV9<<+wk9-IYJU@whAR_485_P^`4IfBR+EN6DLKdKC;ps2?O&otlV_{Pf74K#i87IF!l8DfvtKz8TzHN5snLheaA^_AVh3Q%_ib5jSJ;fD*C)sJVuOb{AGr97WM@ zb5>GBNp8)ced`ADHC&^mdd6n%SkYCT1sjr=Pt285V$43qzW4r>$W|A{-u_NqNTr^`gtpR9c1}a5ywx*GDNpotk`FHv zK9`mYs&%?r8lua-n;BZ1c7K}bBiPWpppPx$62jJHNQ9Y|8x)<>#Jg937t*~c^|64? zsCqyZLgh5y$CzSsxAxq0Z+|GV!U~lk8sH!XO$TvEbFGy!tWQul z7d5a(<`RZqN9yW*re9?D24fJ6>KQ-1Wx6HM!QH~9-PB_K(#LF-psSqCvc`9ANpViF zIr#Y*4YAm_7>o&l#8lP$jbe|H3z}OyRc`j7&uWBjBR@S0CEvCmuYb|!NPXfBcmes` zozdf6Fr##3`(+?&w0)wm=<*?CnLC_U`st}_Jj6P>s7OiYT;C=Zwqk{q>DgThI% zWN#{s8FaSi9GQleXI7DIXV{2As3v*!)Ck0qNa{?C9nKk+ojtpyI+z~wV4lq|jNL`3 z1VIk)m<8IYSAb)t*xu}0(`XogUQ8+q;vQ@Eee^>AUn48dFA6zXd_Tr%u_W;*U zN;F72hlq!mv4$#bT5c4spoU0DSO>dN6vaNOIs44T^ZK#q0?W&Qdk+h1_?jTI@>aGh zrccBNDS>L{gDC#tD{3kRo)@rVY-kWbkF}v{8Z8E=C}V<2Du0XpZ@eB)?Ymk>HRaQ? zyzgOq3<7jc_d}5Nex;WX;*<^k)G5V%OTPK$CZN4o6-B+%yoSqZX)~Sz*Qz)yFj=DJ{eur}b2$5WR?xhcVhD9y^4?5S2wD z8^%{y{~UP?IL-5ZI`0_rS}wXVsHQ`zd&{>^>m?gb*?(X&k^-us+ij+cP>RVA#WQiY zw2`q-#=IRba9{dU+=&p)i^b|O1QmEb;})6p##@m0*-+a4@TPS#o@r0|9;ccb7CJ-Vj%do3ZuVv%?`1 zQ5LCQ6n~rHA#m<+$U;J<>x?Vw$+O21U(;NLNjGGdJ1PjUqU)H4NP5YzZby0RBx!Y9 z5q2F`S=@!F8hT~RGSqn{t`RfUOQj_wsF~VwhA5g~kO#{TQYr)ojBYkL<_l62$&y6D4MtpwH4@U)bynC{A) zQr2#^kRYmJ|g8lz?ku|rCbtv3f7bOyp(1OWHN zVhkv^z6n{xVs$aoTcm~t>lu1LpV3{)Z)x;T5S993oYy$&zpmkTeDEnGjn;6n+C!qz zjpS>`siTWCVPtHM2%2r_2ZIzcCHxCxJd9w6+}fjGlC56sE@Oi&PWhRMN%p1QsDDgg z!25EtR*F-Ie0c0IHBv5YekR{Qps__&zPCYP?BrB|_NK8l7r1{}U}{ddbvFfcu2 zTWGY!4K*^4M;n*MqC8zzHXGpnD9z%$t&0_vQT0YH-D0YxroX; zc5+;_RN~1u$=5C4!h`FghKt0U0^dph?8;a5Lfom8aonp_!a1)Zcw=p3_^A0I4r!g> zl$Y)r-IYpRveT9iRb}9chbH?DwZe)P7pLCM=O(JuHtTmWa8RRnE31M zm-Drmu-t7#PRcDr#UxcT!IQ2UKZ#k7r5E$BtqaZkutLg+DKJWn&i^2jH^|eS(=dnO zhrL)m$xF7+j6}%!MNU5^8_ovKXpYNszi#w+&^2A^>z`{p*0^D+rGK+gW5>H%94`Kf z27k=iY-XOJ*tn;FS2gdJ4%vKS^w~iMDAcs5j2ITBuvrwUt!x)jz>xoi#jp$u zALh5I$=)dHK*Sw^S-@mJ5ZFm5`BGpuVeWH8*EqG}DR;ovT>8tHkF>^lc*aCJnR(&* zRdu1(yNH?SLTleRzki=xxp~pv#4)=xd^stEujypJ%cAB|q;zu@ddF6swKQ1@mfiFF zw13b-6hHA8TJ~N$C@fmI zL?9H{zj_yE0{L;gJ}S8SHtgrNEZx%j;GwImNyhaRv*AYq-GJ$X3Ys`JGw~T{j#h66zwl9HDc~MY&{~2YewsITr=$PUt*D&y`*yUPW zCM=5O)SREnd2rd!-pmEp=ETij@D(4WH*$Ohf;*_kO;h|_!DX-Xc@_`eK6{Gfou*h9eGq||yIVlS zY~sfv5P#QPJ{hVU!*l>Z$3-%_Ef!=K5rVDt#{AtjVjx+#g)8fCM0Oalr~BIPu74If z@SoB#JZ}-Oj$>M@A$~3+{!!=Le*oQQAGjZU@(|!rVNvJ2&+Xc|aE&(;V$YcEtVZ_L zE48JycQ%|aI4%fr2w7|}bEZyIHS=JlE_$j#)PHu{Mpy?6T1B!I!wa38J6(ktzBluh zY*X6KRD&B)rav;IDa0%A$yA$OCkx4ag`NE>jLC80(pU;azpJ163|Z5>aA;}l-#_UA z%=TS-pc8BKNv<|275f0rgt^QZHszFimix0m{uXp5o_{;O|J^C8Qt_;M{=8G8kj{iX7ydbF3qh(ct*!`nBAFjvV^c zk*&ic@??Zf8V{V)?}tn(U}fh=Z8rTlD?7$nPJYhW8|&b4gu&T$TM0ArE_qyN{0zr= zf|Tteed0SB+;>)p2R>AsT^%(=u7AZH>3`{^PM;#j@QuJ>jzeei-AUaHW@@EgYz?b0 z{h%3}opQ9u&=e2SSVW&_ddGfvNY=SyTt7ZlIfCh)B+!R2io>hyRcWX%aFZqs#g>xt zhT7s;8czH9s?=dewJZ4OwHwU}e&ky-X1BhyzB3O9AsBQ@&T|r0%9Y>ZWDc{cUw__a zF!Y_2v!jUF$>2G)cT`$Vd3Bg(asmCKX`DV)5QkWc^%8m`^th^5xD4PYiW&0=1(Qi(Nso!Z*|Ay1JpNOe`C( zKCwE`)5I0~vr_)J_eoxC>WQEj_kX?hbDC*+KK#fqKG6=JcZ%gSE4cXyZKW`D#FpBUikMk-Sa)VSg-Y0RM$^WW)QH@D7JgKyvE%S|cIp;p3cRPXMbB`iOxe;LO%SI50Z zK>YQ|hTp(XN&ZsVcCH7072@qjWGvB1SFHoza$Q1qxH)KBf{Dt%c7Fxk7OIRlku7Vz z!~T}aT6`zg2hhSHx;lxhyboC(zL$C{okdU%dwm*rZ!Y1fz-7vTMEBP{LlJTrCB0Zl zf!GMchgH}ufsz|8%<Rt`UzW9ivY?*w&rfRxI0qb%FNwiy-D_B8pnAvqcK$oQb=?gXSdwk(s!4W!@l z!_R;bM}}iY!|%=BCl*<6hLy<;!gIGq9&O^&>=?n63OqKnUw_tTJNKdt!!-0ZHii*H zNT8gv*5$nN_`^2BrHkqW>k-^yKzFi^*hG!aEZEmTiEAGoQ=JQNUX@-AkZlPwB(mj@YI-GJ3TD<20_` z*GK9qCgv1B8-FV1bP@PMZAxfLe6Nl4gTs0&(I3Wb?fo$q!{`0jT0?czEwtazec$iS zm-dr4S=|32&N@KQFrfCfcg?Emonj&HD3*UWW)W)^$qCJ%EIq~Zb|5J%JlpLoe_uG`ht766zS)Rsv=zlS2GkLx|rO1Y-U(MpRRbOuu za7gP+_8aw_$`W=enRsKA&kmF_CC+LKy|6`|7Gw$`F5XvrohH8`Je|xYAlrcokeGNM zxthmgVpyD>JCjMZd|o*f{(UFSzA+IjreRmvW&IwA{v28gu_+E?qvxXxD5h}HHv9o^ zj)SA$41d)uc@4AZGfyrXtAga%XY#>0YZ3gj8j6WssX$b8$k1JV7tk{@NdHA2Ic(qDV1b8m3sn973 z?o^^B`^!J5nDZw{Lf5`ZH(Na+HkZ)s^z*_=Qbmwcln@up1%*bjzw~^*Rf2gS5=vL8 zl7D|I_2MkT>uo`gjHt+tv8MHG^v?MHK@ecG47=HvomdG^)jSy<@r>q*f8B^XD)N&N zdC#pXeU%VGo1xn#A%O!^Qc7(in|T6pEZONP%Pp6t{88uJt}<~tLtk*Pk_xcnFmd`g z^DE4j`#QPxs4oK%-HlBuu#XqR{X;=?KYv-TWspzw;r!qMqh&=Fjl%w+Zk#gT>jWfG zoPoSNQ-<(KR`#*!0kE^CpKlmdP*Hq2_~wgZ*{YV&ppU80$>tM{^Gt0^8YevPml*3s z|E5R7LFX2%N85)?pWwlg_pusOpJP=H8&_ga%zv^e$sz-Yc0IW63q%jIl$gAiTYrsM zos&9tG*awqeI;?K2d56cz2;~qR!Yw7a2eXXhr>pE#qQZS(qU^+DELa9an?Pe&la|y z<2D$DV{wp5u2%|8b9t7Vw#<8;QqubHt&B73K6&SCC3nh}N&2fg(^tMd-~IGbX-3`q zW7tH4oz2b*0h4{rk7fcA?r98ORDXDSg=b$m9O=cj^dImHmU#1uYL*oeEO?r~J^rc? z8!x@Nmvrj_z8L=vRMbp_qg(l0ObI)$kl_Bvh>fbKOk+O#eo4y5jwUICAZZpl493^w z6;N|ygxkP*ludG(cK(HV>6`hmnxEhen6<l|b!-u0#%Px(E!u*BXxF%YQutWh^+e z;S+f!0~zVbSuxTPmTU^uGody~4g#Y-1P>ItB42W{`$(Ah=#qV$KHLNmsY|IfZvs_A zpWjbLpj{Y6KM`VEwX-xQk~j0x`+iN`TB_$Z-z1;}Tka0tqJnYwGniPLIngYDkR3DW zlWsPiIlN(1&jNI{QkcS~G=H%yY<%%kQ9=Y(gZ?h#ZVFcd2h}tNAC;%j*%f+r#Tthy zdAWI6TeNnnyTMXRW*7J5xuqi!nK7mV@<)xEL-@sLV$i~|YMv8~fRYtWaOAu>Y0b;W z4-23ZA1s-HXRzUmmCM%&32aeVTeVMm>M~ZI!uc3p^Yv38_^jDrsybm7{lGDJ3f{E9Hn}LZwBd_gHDGD``cgqo;mljHF9hnE*CZSrvDr zRh4s|=)@`liM570ks5zXTv9*+O(G?D=%sOGLnQ;GI8iC%=*rRT#?vjQD&?cvkxr9J zM3&A}T6vN~+UcM$%8@Rlwxo%zfK(D;O$1M@98{NHRL*LW>{aE_NN*}{wcL?3jSm>* zLls1zTcmf;kW3fBVR$eVDM(fXS49y8^sSoHNc4Q#Cga8nvy%ID+st6j5AnV9#0d#@}P9#YQ?JHQVXlzCBNTtX#5-+8_-ywaZvdUD1 z54jK6DclQ^NbqQ+LBLm&9u*_5$RMDuHS|;(P9XgWSE(IY>}eQ)-J!Xt7XcmOf>f=@ z9nvUvrGe9htl)nNV~wlecH<@Vz`a0GqZCIFc|vh$MG7(vhYO*0DD0>MPY1*inT&B( z2_S=xhbIwA@Bo+%nFd}%P;*3KutFp`iKxXr@4}8!5%2*{Ef7^?H^b(X0F7ih9nj-2 zBA}Hv2p4bcG!ibF^%ngcHPMiQS9=)r$TtO#$V+4=R?o%--J}#w;-DXGP~3W(CdWpEf?Vf{d9 z1wk1!O+b_Zv^h9FSxa_Q4{NoIdnUKRm`-bz-gAFTiqw0t@}A;?(yQB}m8;?&1(lI| zo>H*dvsJLN;WWb1SWCEhlAwv-1-+*!w+6bKc#`BKAX!!fjdK!{TiOXIk3bp423ij&G*oql>CC5vBGU}>IKFF{?hVXIJekfCQs1RfNhW6b zyz_s_1%W$g>56s?8Va(P5J6~yiSiU|R|*IRg*z1UwxZkzBxqgP+)9xgP>`Gr(3qWJ zv74u!2{do&mlR5CG(NQ@CGnK>a%`e2Z)m3A*OGGSvdO>zDUvFWI9E z^vSTsxs^aPx1RCqwKgQ*p)KiJGu^TuSgU{BMvqb4dW|qjE$u+Ko7zHV*?K~-d`ZD^ zncsZmVCS|R<=EbS8+Z})Td7#l{1!Oib4$4ZFUJdKa~sl9x<{M&v+QOLnIfL&Wh|+V z!$pRjfz2e^(D`lCmEZx9kg{1sk~-AVRz<9ce}*A}k@{3n^m_McsbCX4WV>Pa5Xyhe zdg^k%6{TQaU6*jLWmTxum~+6%*kW?HbDKEWR0X(mTPT@xX$+hw9EU%r4lg;sGp7uY z5>3v?Sk`D=l0zGq3z0aeW))yjBIh1#`5eW~&6yirBo)P{;F^YF|$!&^M+S5qIwC7Mn3edH~_AP~kA)d^mVNNql>@TjH ztQHWjc>~oF3&LAacJ*IE4vXDc0M^NI+^8bc z+ah(|=cVr0C4hI#8#nTumvCvIm?ElXw{sne$`V@;TxiHU$fg{!2BDt{w&*#~a}~xm z862QECN1-!m?3|2i5OHVWpR4FR#a>2nCLkklNDIx$)4{LgKcaI`BZSFko_)!jURuO17855? z*r5e9)0*o6PQycO#uHB`w9C?5ZZk(n8vzgnhvGdf%|K^tJ~^Zvhto^$^Zd+X1TSE2 zlf?3_=CXS!ZIh<=X|sRKqD^y^Jc;5BmyLo?N6BW3jD@u8_!#0nvO(h0f$>nOwx`sk zu+l;-B&Cgy$LAS1LtDptdzv9}avLLO&VsT$!mMyDQ7LUo6!?t&)?8)08(KLA)a1G3 zp`=%d3(Hfo@mP)?y&UZvZ{D0Q4e-Eus3@8v9}H5Pk8qrKthax?SKtF+o}CN+ps^NG z^ja>c_;@KLbLObdQU&M1kmmw->XlpuPbzZDGnNu~#pfgE8tsN&<-rtMWNkS+r8ZHL zbwLJRUu;*9oZ~nOc$bO1IYnfVbjab6QE;Z_gNhXV2A05}=c6_EgF^yXo>qv1Q$dOxD$urHDxTf?3?m# z!YcK-MPb7lD&8OeX`AHa)*!p%IAyiuI7iDzEEBmZaBO-)N0_N;FD~ ztYO?pD0WqTPZ`Ca+DZJNF70P(M4Kp)D+(Uh@TU95LJwp3LBWcP?i zsEG-RN9FNA43!jmxgz@qEu<`8-r$InH@09cbp#mMc=B zd8A^z35)y~Y$-2|%(A&|q{I4BHn{M~i4d;2uv}KI3~u*UR}f?9yr+tuid@V#_jv@< ztaR)yoFMbqhAZ9EoCbB^Vwd}LFQ4+M(B#&eRQ#Y-Ch27PDI}ND11;br2_lumOrb1` zVl{s@V*?+7Vt%*{dX~>^;_Vddp4&u8 zw&Q@NmsShM&uaL9B-jeY=XK`P%JZ>9W(kI$=LRfizMrM?=-dx{o|b~2JNgFi)J8sP zl@uJDWebUZzoaC|$$MqL^n9YXB7!qq#)f}=mB*GcnP=&@RFs${=jY;6IDGK)+jxF< zGr3+|-J}nK{uo`-ozss`o;`c>uY;q<@1>v{)6vDeGKu3ce;D`3y6TZacEl&&lovnm z)cf-@d?ZKP-A;Wlx_&yITzsR;;C5KYtpVn{dQT?SptIz9k%|q+2 z_16jgeIM6fuWoPZi~3vr?eFVv<5@ka|F`~cJ*_Y6S$$Ps&Bpb0eT|P1r{k}S)VpC3 z*W;VX)p>nW&+Ga4JB^%Ae$lls{`VP1=I58=DPBq-Y`>TOVb`QhO3 z9fI}X_+TJfrOCl6ylJ^G&079<{1hp&?Jg(2KrdKmUDH*?D3;TazVz)8y z_v7~;_D{*cCxfd|!9aYc0^fN+W>{HhL}{QXg2ag-3ymMNuvsu)CKtt;!PWfs@^ZA8 zT+PlW^XuuT<5Rzl$)|6RUjP1>Og?%xWU^LEpPF#T%Fvru#v??)osLZl_?sGg4J^SnNqwee?K z9g_w$6#UO%YV#}DYRjT~Y z(esZ_kJuQ$J|5(9KcXD`bBqac(3m4Qn_c}ixffoYu^Y4N+O}?$(2n0de)i&jDcSmF zDE5t5#=iJRo@*Aoi-V@_H?f~0|7HC$MKX4XSFJtb9WR0}H>0!vju*VC=6>2%&vJ5H zt&y~qjA!SF`SG8(qiH?fuP{O@yR|gEsMRz^Dozu$u^Y&^n zKL0Xh?&U=qz*ni8cCX7xGGMiTk1bbgw>0>H;-H`R!&Z6!#nY!Bem~_n7^n`kN!39N z;pc>b-4F&j-jfgJd272}W8_wu{_yz4lf$=cr%SEdsV58J5B@UDvlJZ@5P&SpfoL?$FmCf`TX@$9TAR}xIv z&QkAkG9!#;;|nhAQo5sm;J>DvJvqCbj&9muZI$1i9=(2Y_>sX{ANPv(^l11Sz4)@2 z{0UH5HwYD*+BRpaO!oTu^YNri22l{Htx5&`;m|pC=#Xl~;6DE4mg>1h+mB;Qu>U=W0 zpt&Yrzf$s>;j8C=pQLtK!sov2H2dwB1z&CRQwwc{!07d-?HImzF)OnQ9Rj41=NI!+oY=M#OYoxZcZ&VCHux>&25n54ePmyq2PEijN#50`pP`5M`F?^{ z4@l6RTDPlEFP?)KO3=1n3aJMq=ze+H)u|WKR0x)TO6j8XaM{Dl5|V!x+f#E*-o{TK z=lJd8EsFZ)cZ~Q+Di41#Ij0g-v#=^GKBpW=OtF8H#^e&F?z> zrZ4|!aFa~LR}$iuGR&GWuWlF9$qd67&ni0{XyUiFe31mkX5eH&mAcMF)PAM&n8t)W z?Dfrm_F`0(yW~kUOROMXp2Y!60U0;rhOF7NBwQ@`;XN^8f%t?;gBu5l-R9GWN zF6HD*zFtn=1hX8|mm?c!Vjh41kDIHULRSolF2AG8O~?qC!D{mD+aoSx&d)>FF~cpW)f)|1bb~f)$NGNVQT) zB+lr&M1)X!;!;vIsHRIbp!QTPHEA(#(3yejDah!lE|nqdY6z!x^&_QyS0<^Pz5}pc zW4qhp9oCo_edx$0bwgJ#QZ{t;B9{k$+o6%yW19x}^q{7NqQp3)C&SW~3Qx*532yAn z4S%$Q2-c~#budm1fr+UL#z74U487Fn_DeGW*2_k#@&*D_i8VJkM*W%_uusJ`H#mQ} zAp^p0kG*e2d7raiUx9tL#TG`kl;gXpQfO(>k-To*)-!DiuZi|3K2a+Z?I)&^;rk^v3;aqa>=MX@Jse&UFW)#b|nUv6HIE zRUx`85R0vvU8_t}Q(TOXsE)2r=i^m1`HFU*eb%AU&9?skXj7zTlL2ZIm*dR?UPCiR zMKv};H#9IsGBz_eGC@NyG&MmuG&VUjIXFf+Gci6OJTpc`H8w&wG%!UnHZwOeK|?S! zH9sGb<}CODi8)S(#-I?O_cfsX>E4h=L%f z2C;%5D1yR)1EDBzU^NM(N#wYHAR06bB57j#yPSOZoqhJ%d!KWES43n!hy+m?Ef7+9 z#QI1I0qPh#LP{V9b}@FCv7o`I{^bs;gH4&j02hPb`Azr27dVD({KjPGKE()zcHjT^2yUM zoQDf=5iY?9T!t%}eCT7cQ8QDOoA3OR0vnArdTR94D5lXwqkn%!|BTj|w~nrvcdZeq znNc&NW=747ni(}SYG%~TsF_hSD^$7deHh!dEsukhT?yoDm1kJ@>Hqe`i!S44G-r$Rcn~cddh0}`q5L3hMzY))oPNH z@l>Zt_d=@I#Hj5_rMkDuMM;=T^9{r6xmdKO5$kT$zv(Cu#vB=9ekykU3 z@wv#vY-EyW-`Ii)emW&J>3%=<#?j5gUI&<&#-=G~w