From 8f2a9e9b95e67dee8b16a92f2d0f2ac9943b3e53 Mon Sep 17 00:00:00 2001 From: Duke Leto Date: Thu, 28 Dec 2017 06:37:20 +0000 Subject: [PATCH] Update HushList protocol whitepaper some more --- whitepaper/protocol.pdf | Bin 309036 -> 309333 bytes whitepaper/protocol.tex | 5 +++++ 2 files changed, 5 insertions(+) diff --git a/whitepaper/protocol.pdf b/whitepaper/protocol.pdf index 5eaeb4f677df9d32fed04af8457e0c5ad708b333..ee9a25ae2f96f79ef18e9a100b499c5438e591b2 100644 GIT binary patch delta 11490 zcmajFV{j%=vn`w_w(U%8TNB%u*tRuEp4hf++qP|IV%wNI?>(nZ-Kz6deSdcK>fK%Y zNAFeDy{fCOQI~H~QOOlW#p#(D*kQ@%mWJ10nVDGYQKDh7Sy_mgi0zH6VEOo98D&lF z%v~&qIXPH~6K@fy5_e#+fvUQB3rIK4qdg(#bSU_vuH;I?4Wy_cNNj`0+K<6S)F27cOm(tz$yBOxVv9$p4%k3 z9B*usH;_UsB^?X|B<$}&?ILpQ9|>yw8xl5(fXb|;We`!3=4ahhfasAsNsEq+?Ir`V zYZRc_ELy7|s|Yg(CKSe7p)MaEZBMjtlI1t}R1@OY9)j*(C&cT!Q3U~-rBL=$WGyvC zM!nBNNc6q$6XYi&@PWFWLPwhZA9D*T z#`XgWo5Rk=I%Z!6WAt!UoN-g5`ufw`4D_b(9Ht+9*SRA%a8k_WPEqYlw@eRi8b{Ga z)_g&Y-{uoH6d!+yB~;$Gv>v~DLrGU_N6?nEPi%;}2gx2u@=0i*CrjO9s^bQK&x?Kw=?%a{X_D zGd%&YpAiBaK_8J#Rpyqm$38|~@l*uLOTd z+||8$y9c7JsFF&zhH;XLg5O~w*RsI!v|(ouKzG2 z(S!oI@fx8RK2e_nt+52R4Gxr@rO|-G20k%Q0R?p)I7~fJ(uBDU=;|POJquJwq$Z3*sZ(OA{P2N0F#4?G3GDqu)RAz5 zxjJ}KS=4zPA!)K$cd4SF5#gqLU;wCAC4^W$!qA^m4r+Bwt7^9ao~Aa9Q+EbvI7tS` zeLrd{N_i4^P*2B3=7Cn*f-*6;zYElH9}GhsANgf2+?H0@Lr`j224;7+1{Dff%|3y9!Scl znTU1ama6sAN*YI~Z73cDBUH3>%wE`*FwlL`YIX8BpCIYDJ#{fxQ1Ezog8TADyM3gJ zRrh^TyqeEkAuO?e)`!#zr3M(9(d{`kfFf;TDsA>>_PeS6iDOI zdiyKgYGkui3JMT1037H-W{ zQ8r-w!6?K0Lgp<{U{(erBts5Rn$Vy?14y-e!4M-6cS6bM1L^Xjb6g-q=XnvyyDq>+ zk%NZCu|q_kLG8%aCO6PR>hFV24RR?FU8tlZ@1Fy6H&_Sr zPAr+9 zwr)+6a^=+(z1ViTCZ#zmk_kY1&H8WN?)@2OU+#jgsE;{s0Bn#=TOO`x1ADg`0vYFYoUox577$9FXQmbNbCfh1m z&>&f6+~;3`(Pl>nl@jKKH1{EKnFAEtTR7rww_5xzHwhq zSRMMZxnT4aHTd?6F7WoTSM@4iU!90yhK#j&uAMZ_3z1zDA2DCM25Z)mrQxLai=_&D zxe3s1v6l+E_DFp1n_ozfW<1S?GfH3WUwM*qnG_8_tbLCsSK(W0mk`gG@LbY-oz$OB zJ7i}oV~k7RfNp_@+T7U)h6M;|5$mV1boT5h7)tF^HnWrAo^4bX8*P4h-yKi7HAn|D z_+PsV%m;kmc74-+IFW>`J=I7aD1Sa(%NP?SmmZ@;*0c zF6sv(r2>3&tgY_HT&H4=n{u+3v@JBbQO)I1H3U2=t<16dZ0=i;^g^ILZKz$KN$bO( zuF5M=Ja6(DQ6C;ny@rm$!V2Gqs|Ssx+S;Ai%6AhE-I&rz2)BzN(#m(6uC(nbi3735 zR(rc{Ag;bbO^mtza4>2Y7Uvpn<|OQoV~6maED5Q71w&+y-}7SV^H|s&ja!VW|LJS9awLj+X7;CZ0GWCSz>Q) zLC>c_ErX?8G&}tD-pVQWTmnPN?)(DV^BreGzF%Gfc-gUr3@mp?53y$m-eBVXv` zz(pw~W!@4hqD5v*fnsYdIa}+^mF8;u&AFC(Tl=fS#rDmXWMkRQmU~&+*{1(F@Qe7s zMG}w{T?e{GDFYA5srj)roBkTSi~}%p%_MNZ3@WHxi-a_uLF&AdB4#d}`3qh-d zRIfqGs!~=$wN<@Aqds=vKY(*Ly(wOSKPDvB``H8@(SPP_s>^6B8?K`l$!OJGNWzt(Dz@(rNArMG`BA-mF3(AaJ^`zv9nMqM7N9gX zG_1+Er}cjq!R7R3N*%S*K_bP4WAZ_KH$_OX1QS=?X%HY{smp!T>IL22Qz3*f@ft0( zX!-Y6C$kg1U1I4-E>QT1T-1RSnG`8K1NNo>eV+8;>CWQ!tHQAAG%v^wp$?V7fr{+# z&*DM2aH$iI#K(wrk3f>EB1*k;FtU|C6Gh9#6df)Q2DC&~|K3E(@xPjW!8%&1zcEi4!pXI1K`!qY(x!i?$D}dd1P)nb)W_G_MHiLhFr<)-pG*+ z+s7JA)LbXOZ^8%Cx&o42z9&s<`zpTv)^NSu_uar}B~x=gTFDAOjqECPT~BUWXIgFnknw>*&%@&dvh0aEALd?4-Kntq$|;o^Z&Pp zNW@o$1~50~O9a9KIO0*zz}Pwe(-%+yn>95PH#ty!Uux%OCY7lpDLfwLXL#xx<^M=i zj1#UyMGQr?9q0d$RLIir_3;m#TAN7u$^#9n#Pjh*@a+7^ZvA+Vr@U(1lu+nV9+wZc zLmv6QezwC3?i_mACJU@}da*w#?at*9fB6WkRX!Q*R-T!AO6K_ZyX6a(d7yg?G^-~% z(6e`k=3A9f-tp>G$Wk$VX2Kps8CG*y)thJ97-MxFZ~NRtc}{j z8MEma2uA!fX&_QdWqQ{F)5M*DUTW!vBBD^8pLt1{V$AkDr0sU6k_>&lL|zX1c6ilL zINWCuk8xbpE5(kKcBfTitvn#M?*%=XtG^*QE#HD}o_+ruMnmRr-;QyWulV`x8m_t{ z^1U>TZ?f#JG!k``6R|}9N)cNB`K5yB?ismoXpckah3;WJ!!6a8ob9OzY#6H66x#{N zkyg%2(L~X17q?1n^Zi5FM&VFM2T|UkM11_>68JEs1_-m(1BYjYdJ>)(f&~(+UiN;U ztqVBmbqD?SX*YzE7GrR$Z491sFLYta3bo>5Mscoi(LKMXnfJ)KF!$#_e4(EYvcm_b zo$uP%qj1B3cBl`VfHVn=W?4vKc;DZ zQn?YzmvvA%GTrR?;l!4lR+6@>pf_68^WQ}bamS8!(6n@M2l}Sy)vl50csT2_l0*>C z9gk|U3QY#gvkdQ$!6#l7<`_d@fsYb#V5*UqbnFwrjY(_}=hV&{AL?<2wsxzda7R~nc7yZ2J0J>jFBUexSIFXx#;cz)@+D{@C?CI5swH7hh zO8eA%=s;?#&h;-iI7EB3g>8LG_0^Wsu`*jQXecD%K<#in#FuCXAMr8}$cB(!E%Dn# z<}-wQROSS1YQT8di1E-%GJzI%iDn_cB1(s8Sr>%~g}`zH`}Zr3QkbD#uEqQD`gEBr zGfoJRQKDSO^U1QvDCHoHU6Z?7_So- zwH#WTn(VyaOZZd}yV{ju&4u27D&%cre^TpNy)a+UQO+vkILFKt<4pH;HyotE1GMgK zo&Uu4*8snOgOj;0N|369L+w5@fk5E5f}(E%$<}6r7Ng@L(--~=DwODhkT^x7Qu@Y_ z42|iUR;&}z2viSa_ni|*r+Y-2*_ zp(0Z{tUZA{-cfXY2-bzHfJvH%+JdIrg_QSSyAK;ybHpRWuIi~?NReXHs}PfPiPGOv zMaMK@A1RF_Ya8{2iqH>JZphq>`obJAtT5_-*`Do8j>N$4f4v?d-vbGvF`&8O12z8VO)9#aFr|z`2iUQwgspd$qx+# zihf|gc=dYY!cx28jyaK=<|(H#b!9)6n>9(BXZ{mTWhPTUWZDyC&w(M<)=QW*TNn9c z)-1(y);;?L_=HkeypWHHuJ*mUK=d%#e0N1)JiM`Da_kpT&};ihmjfvXa{R;B8{LYb z&+}%*)ooSe1WP*YWS@G9zTwE9F>y%Ch^_bEmbA-bu#IEU&3Wf+#Q&M?QBu>zsN*t^xBG2Bn6 zJ!}M63F;dcQrP6!xoP96#Bp$W)3o(peXTgqpMPEl2{DYYT(>f^^fawB<-6FXCA-d% z1gyY~`~(bASX2FU{l#Ys^xoe8gX*jM;SYtF|H9d3xl^FNFr+trizT+s z*3$+)>j?!t$xO}u{Ie_nVYB_3rgM2j@3f_;C=kblaqs>)CTbJ@O9PruM_Cqp`sYbi zr?V|3PR=0UYi%Q68d?~KEl;G1PFgRo2r=yZG*(j0h1~GiWKF&}hGM+z8na z0gn@0>)2i7Rl|g^=^lhas(1|NT%s|t25^*MAM+X#$&->DXa0275K*D_WmRWe2#K9R zCZ+I%){y4{)H2*1W1N-Rpe-iM=l8n)=kJDIHOs-;!McjNZS1nuxj&i#`#p{ z6f7YsYLPib@9Fw9uNj{~6tg&V*$_3Le3aJr$5TozS<|v~;`bxyaYF$+>KTtbgF`5{ zYCb}&Cu1Ag9}(R!l=-h6GVa`~c}&P~yO+ANGu{11Y~&LMo8^YzTr+ zjAGJG&0;-K_b3Ix>$Yhei_y0cXMXW{_YFshBg?zC(;B4ZgBqk%zZ+?gH>%d*PZK?g${t+nf!{;4uHdea3l2a zCtS}a_i)u6A6%&gs-h>f9$-rnf@1kIzP@9fb4zsg*REpyMJ)#>;)|%yHwWklId$;i zx^NOml7R6(d|doVUP0Pg8^u~9llpEWgVPbSkAA4oUNGDoMm3igz4EbdUv1OMLR#A8uIruVV!JZyRvm}sY4Hx6l)svjx-bDKrkz8KDq0lcE zM;AUcM40KM7F2qUF^j_@6NbY@T-|+cM=m=f8Mc_G2yA>_r|wsWys>Xg2+XRcy%`j> zEUB7^mu2dDV4HNM?1Cyg`M{r9TMqW}GuzIK6BDi2HE)B3Oz-7HIer+mg#*_{ueL~6 zt&)oJe)QX1Cuc8c?U~&$*tU*p;yu>+0q5iDol(Q!lZ(%L6A)fz;mN)#UO#)~jvHtU z<$bg@G69BC!${Zq2B*(-wWkE}7Mf^2GGEYmT zqmp%xH^tHPdpE`}Ue3?@^9uCUAn9pl6J)pX;Nk!k23ApYJU=*NL=I_!7g_7(QtuZn z#geQouxl7sSlT_)#Dx_Khl8Uh)ffz3nf{cBZwV3pg^$aXFgtnG+EUOF=y{p-YBQY*%VkEX zYjwqY=*ErkC4F($jEy@g7A=HZqY7<}G}{<4vH> zD5!r)8<+l+H23eVQq$OWY7mqF6)#2-)f@` z{1}1CO+*G$;rm??3)aJl>$4lT(JM2E?nmjID#L*;$DbZ~!o7w+b=3F&j`~5r-a#kj zqNG8IBK$pJ0%SABe1q=STY{!CwSu7oI0HxZT1WK&DF^`WRy`X4>N^+<6LYAu8EC7s z8Q84iKg619fB=rss?`eC1PfsQFF-Z`mI)8wZ0(x?%N6*S`7c5P0hF0J^`8Tybru(V z9uAb5wY7i(98>3C&j0n!1c0yM0Jstz1u2m@IR8hAW#!`fuaWCY+u9kAGv%vB-#_-b zNR(~ol>V0$*`_pK3P0ia!H{EliA4pyqg*{k1J35#({IEMseI~)1k|e;-!z(fB8$C0 zJI+LHSlh}BVZv*~O&Ibpc)`v;Eb_B3im@iJUNt|P=4#Mi7w4hvgQ!7yk_WJx3%k(N z8{LuRY5Nl)aL9pKjA9PhW};NVzl0o`)P6wjGeBO$!1 z061HQ;*hyf5c6saMggp+!WadrTzC%F^bGhN8iA2z?&zWm6(EuI$Xc{<;YpH)G!8|& zCU9d(IrM&o@Lg1%07S`l(Z&GckUtd*u*QYEN(SRe_=v!^D!|{0C=k`eQqVM-hCBeY z5QCqS=6yVtUa0_z2Z);klqhk6y4I_5FhMmPag)hbqyfS@mFVpuB@K#jf?xzPeY(U+ zg44buRe8gym@0OKbTnLx!NRG|nvxg{grXZ2^GFcg94#BlqF;Q%hH_FIvQHVRl{R%6 z_>)jsVL$Lv(L~dT5aX8Cp|h~Bo5qEOV1W}I)9P2STtj@$qIlBfF|oKwQkziy z-`ow>q~Cqd#5eiyqtZeL{Y*&DxW_`faL(F5A=Cf006WePW zQ%*0(zP#MDrWdl#MX!kjJ%7X=2_7jFUfhZ7@ zsl=ayI1>HI^36xlCdXev`Io0!A`%XS>2Pf{ZqGl+F98bIIv>eU(E&%LO~OT9nEDB5 zk6e(cPy};Bg~qO}Lp{<4XzocG|0xdMLL2{_@J0mpCi2yS>5wFm$~5QiNk@pNVZGF6 zG=J9up66vsuv4h}_5rrJ^kgD{{cE~Zh@Us{WO`V1Mj)CEv+gg#ZzjV$=@Ry#IZEcL zUwdDq{Nb-90Ho=*FvvsVSDvuMlWgPT;k?ZvIOT-ogf(|-E7g)HHc#^*|~Lgy8t z{EmAoHI|eJP1rx5NDt_)pMnI3#8kz6tk0^$aL!k(gM0{)d>925C6;o=0 z04m{EW{ird5ReZ5eAy`(qG~RmwR943|fJx zYMexX3u$x+c;REr^+fkM!-?on{%|qF%f$iX+pn5rJ&_qEO29qQNLXV-n!P-blSJB7W#?49ctDz@{}&)I7QvzK0|5&-aIBr=0GSBmCESCFpDH+j^e)WE)iN$m=L$1 z(0>aQy$-p`mD)@fHZA)tfJo;w8`g|EZ5CkBnAGXDnAfF&{0P&rLSAcHEY~IVr0s7p z*H^tm4CegMsGD%Ysj#&KQqfctA0^5CC}b+!1nD!W&E_}3%tEZD)!P=qV5)y^tFJ_? zxi~umxnia`v53{l%aRcyA=o4wzhcK+K4ON0xw6SG`T#s0;^)Z2H->n*oR?#J=vZLALd2tE@LTA&_ zFN77=5JutIGL6Qc4p9H{Wt>)WwFL;gDOtsa=rD1#{IVSyKbaPqI+hk7YX1P;Wr`Zk z`?C;HekSue?_smi2D1J4bv5^vaVo-w$2QW#&H>|*Yegu>2VrC%Yk?5!6ys_Z6n9|` z-o@9`ZkXecsJOKexMfU-8VwHNNs`pIqF8zyQcV5{ou-;wVn4rzqo@lfm>?+OItLHy zMG!y}$f=?^1J<0hHF{`=2ikNolk*^=rfSTzmGdVDg^|i=f=YLT=;%0=I_1{70al%F zEf2Sg;!=lp;XLTKj`Kk{?GF;b*4EgA--eQR1?W$$Fx&N1U=^}>8TAiW7rkQZIf3ze zQ;N9RiZ=_69-DK`OvN5Ty}j{C_nYUO-p^~INW(>9deLdMo9op?mB)1W+2eth>=%{% zZa4;a*9|+7bo6XPU%nG!hOn~D&{RS7gT@EQTXaeD%4eLAz5PftE}Yos67xjqy?sX& z-LAm#%dy-}AhWb}92e0{TBbn4Zzp|$@KPhz0t_{Z*{j3<@;`0D-5eKeo2)8CY{ z?oTnqBMI(=GJGY?tO;p~fcwNxw(shM-1A}Cg1oqsU544pa{S3zryq=ms`8_Y(kl%k zcglL|jgCGvK;0!d*LO!288R~`hLdG`Y<41GaQd!bMQsnYR&hd26h8h;1>ikj(q04-=E)hzdh$f9?E#M zWkVW)cs3mx8%_5bEl5wSp$$dKZ5HetI^{kfgWIU!EjZddrCjiE<)`Q+?+>Zg2^?x=aC73aLN?nOuJo=-YgE%`=p{alVTkPfw3#wNC z>ZSO()dG{{fj`#}a@y%yVe-#QTJbwL=Ok1iR*z7n&r569s%gx`9l>>+vpRSp zNMs=!F4eAf#j8a5rFormb>+d0WH*Pg__aG~nOd5$q;%Ovpu#-)a{=mHZ~kJtU*WIE z*Py!s$(+&im4}OOn@qSJw9XC~)$|qRa1?hd=q8+Q{%t#kXsaEBU2^6-Jk1Tzxl9kF zLMb5ZRu*L16tv)MvXdl>KR4!l@$M0xFG|p-qR!>McqP=}5Kak_8{KqW`B+%we5*Yf zt>-L7C4}B{9Bci`hSI&@%BYlfiQEYZWDHC-?mo`G+f=&q=*GR!WC}9(U+*+Se=R;d zf{tq`?vB5gI+6m9Ff7L+q=5&t%3h&LoQ}{K<1BDVhoF#6R5O2`(tSvlTjkDk>R`9&uk^CD?ELVuNlr%z?3$EmxN^kgnJ`teKp4l2s3*AhK~TNt!IKVmMNvZnSb9 zpdD*iqLqQ&q+_1l4QiDYv6nIyTf$>mr*p)DDxMXvTieBYv|{g zKAfWy%dl?!gX72H71D{CS8+r2`_*vqBfo-IrZ-d0G#(_V$t&-@!`gPy##8B?rL%wn z5umt7hE-C3*Cxt)(_>Q|<2n6+Q`~w=bJcjpY$`p}z|K0pc_zCDqJ!mN=If(9Q2XTa z&Td=}{^C*$2z<7y6j%XrH(lU&cqE<;TW>_4f5Y!6b5%W@tiC<8KLz6pej#6OXW-N_ zm({d~GV_C|nfX2AhTeVS@1zXZuzGAmjxU-a8owdq?_}v#Ke)+t=0oL7ENNF*?`VGl zR_tmnR_JfE6kFQO*XZhoto_M1J{sMe?|Wi4*mIk^^9r0+B3ywh10f0F`r^}XmP-K; z7w4>$Jt>lf`Y{UeMoo7r4x}CY?zuec&nh6kxyv~!y@~WHX_+M&zHzOeCRHCshIrLZ z>@CfYN28k7#@{^_6l1c-1U3bOab@9lIH%B7jkw(6MkFbb8#$-&*AXu>qB~O+yF(d; zMfo!B8)&*zyL`YUch1_k>YDXO*s=`jre-) zvD2(6NV@^p2}K*SL~%%2&bJG?{=9an>tu_fegS)X)L!)2AdkV*8YksSo2N< z^TbJ0&OMu7T$uthlkxQF2nlHz4I_5=>oe^DnZ|(yn?dChjSW6K#y88W`b;An|99sz zj2$n$9iGumn?CK@+m+4Rm3G|=1dj`h9ji>;%B`9w$WC?I$7PPr8ImPD)qM2|MISXA zgD;v08&=?!&46CW4^=`DRr_T{>zE|R^Ik7}Kcp_M?^RYt&xn-n2_>Ku+!rOH&jeK#5+B9#e=ujVTd<{dg&K;iGi2R6 zcr)9rq-nbGYMOI3YtLY_dLbe(}#szSrvIR))NCeFe^{fel03WtSd#PYSGJ zXZ$*2o$FORj|r>^r#GxF_MqzkdbC-Iv_1oo8#suMSIYrSDf?Ny-tS%3e;$A!ay+s2 z|67`3Vc~9Ftpe|aAYtWXX4j&IWt6iw5jAu%C8iSP`8V%#GPAI7F>(CoGPSV*yb_xO zmQmc&$=QXN?Vt7E>xQgMEdM2C`6y4?4KN{heb7E@5JlYaxEaBas2#18Za7tN6&d79 z{!}zZ{Q9T~6v3msvMgF(&%UccK`HS|^JfcD44eSPowI;(W};bwW729^j|v}ky2176 zwc6VF^7|s<Xh4tTV+Am^lW@1+2|2UQH?Ollf z)#RU`s0_;}WoKsp4{`rD5+&B=6XFo&5)wW1_jR}VO}D%>_17fz5xS)tdwxuF zerXv94qg3~0uodCyUeZ*gU{F&ry0R!R5||I$lWhn0~Q@>w(}=a3XPb5JJwRY zDj9CPdmz6C>=ON@ULBGQb4U0#5~4x5BxfCz5K#(fa~MDPd%bG;#Tvi?TV}o^gaBMb zgJxCjk_o%tNtxb20@#m@4TWZa%GQVCfS(1j7_XcP1w@y;8GK>h-TA z)k!B+=}P+REZw44U8AE>DvL`pvNCbNQ_e09t-|y0)T771Ljbvw3g9sy**Qqk=J26t zl6K&6K>19{*e1g)2^Q$du#BLc3yS-|0wnYl?MX6cXF}qQlb77Axl{N%QO`1cDDwRHQn$R95qGJ=Z-@Mh0 zWFtZ&ClSA6@xX7dJeP*0i75tDrnefRJO^jdK*v}Tqn_Us3_V866a=S!zlp?0|E!Ud zl8)&yzE)P7>M_@dd&0$6@1vu3;{cmeuJ&Cq2UGcD5YC7_(_)tv&O7X{+bF`QqNs}S z96SisL%pgT3+GrkXPzMdVWAu5cbm#|yN&MS!nzb2(Ud>^dbELwF}2#`H6rQN>j&|v z1^Sb`iCRNy@Zg^8cw7!ElS|7i>@`f$VQYV~W|nrI2+ykRu28)_@!9)G#PG((2#1~M zP1^b~6xgdBvfKlND6_Gzl*tfypVISgZP-XX2UGB5htKh7@i(=lr0aMix7zJ$Ze$GL zFv5+}As?}_tZult&p~Sm$!7$^^;|lz0i{Nr?iW{ILgwKv zH%HESS2X3(jSC|iPGzqR6?2SYL)IzR;wxXU)-4mz^WqJo6zI3FysR!)=5B5|#X|_A zqsbN*eu`x|DQ6nDHBE5tmU-4)idQ*RxY-4!B2n}3cG<4vc*uRmh6taL5xB=GfP@+) zzD>SjI#7~*Tw_@ahUCyaim+Xhb1*j;q$^gtB?pK)g0UOXLcvZ5j}ycW6w@|#lzqYT zNhimrIyO-?DkI0ASA{bx^&^GPdDr#}acIks6hXyP^c9H+S?vDUb2s#d=q-#x+WRD9 zywJf*^2)=xp@2VT@O#I%6v3&{v)V!NS|a+*a%CkHC#lI!sm&73DO_fXlRb5U`e5Aj z!w$y!ejh_ZrB>Z&EOiODcwX}A1=^=O)K0NZV=_1p#RU7JHD&ScvsJ-1h6k7U9lS{k zoeSRF-ps|-+1$kLKa|5iHt?)$31}FNUr1$$;K0T*ym5r25#L?F9@hxcf)=|64m!ai{W(3bez<-aVg*Xt~`1Uo?-T{me~_Vh4>Gw@be z&!h{D7m!3!==d&-V5uNM;iDRu4S?$Bl~zWdOJI?ui1Ub%h8qxV{tX&{lCBJi5XD&B zFDu2Qk20xtAK;bNXBhTi0w72;!R-0d(ohqSv&PSk6y-<7&H-S3;l{fyF6)2y6|`NE z_+oBDy14q&hc{t^JH|wk)g>%P8k>Yj@Ci#c73EvSgyR8=;SX`DF&To`Sujg+(upwS zA@N_V3392^j}g@EA=zp|;LC7^q@^*F3t5Aw?j-}Y~8Sxc&UG^G)nN5AOoq$11+B5C~&88`ZJFJdmxs&+mz6cex8xsZ~Z~C zF~)!dQ!tQ9{}Y%9Rye5$->k$pKOHtPhwY2gx%<)cK9pwZ^CuqZgZk^W z?(^8;sL{(_@pm_f3q#BxxT)sDT(f}&O>yN1huQmDJ?Mn0cV+cnZh3Z7&tB5JqkOXC zsWJL|X8u+~JleVO_D-tDhc4n{6+=!7<-r|c)g64}vEIl`x~S^9l;E!B!uro8uc=k$ z4VS5-0pfK%lg`afnv<3}6{1=8P2t@a{?z!0R@}7YPFhTl5Wdk#KNU|-&3MDTHXoK= z-yACUImrLJq)*y`XX3|i%r;%+0tDJB6xPFD;_h z#c3U$P<3*e${NW3>{YBDpDSjVHE^vRPwX7+fA)JcHZE1eKPFhp+dzqg>b54MZ#e$Z z<1_8}CVMrD(`15pPHm|XS2OX@bA)r3lMGr|L#1j2S7XKh$bGD)DkP&z%eeC5 zVMW1)w&P?Xkq2$P(yfF!S;l@gyH0XH_g*-%84nkZL^EFy=DJCLrH|+x9V~JFu&(T0 ztbgv3Z^%kKF^4_Z$uO!sGs|^**J!At&h(?wu`XVdO*)%>km9^F93x6olL^}0 z2?C+sRuubXpxMV@bf$o9knR>wMoC0CXB#*^&(9pm+HI@JT(h=QXU5(u6KitV=3Cj3 zja+vHUoZbexO`9M#&|q4^BNl@B-D7!V$K^b^z(i6(_i|VP0suVOyaVe^%XP2QEO8^ z?1s1YUG4WaJ_7B$xxQG~@Lc>)Yov4L&>(1+t_T6Ijhi7?-k?H+?XUav)laU0ZTOY& zi3+f}F14i-uA5Yax3sZ`n+n0)soIfy3vOQ>;yhx)rIW{-M`F>j+jp-I(+@RY=l;;2 zaxnb5kqDL)>4TCwGTZs&Po9l(bfc&Q-rcBr?)7gWM>3_OVGwBOSvR}!MAm>6Ly*ZI z5{x{4ZR$O2!s_VOFa?sChobZAwC9O*i|_!}J2-epq(+I0`0Jq$`&Oj{+$qO0JQmDm zfhMWJCM3ZVm8a_nXxk%aq3hEd-N-mBv4z0T*GC^tUgAOh!@UVLm0nzs;r2|-54Z~2 z%^77uw{=zthkz12ai6MX>1y4ddLWr<_Ufi;*XoCA+sD(@aZTdp*YYK)YC)UF1Oags zfEh*J_w!&}I0l%55*2Tj+{sU|O=?(epKxq*ME{?Ki*twr4Y2-4Me4t#W_3%22c)32 zgUUC-m30`aQCiDU1&N*oklto*dIP;h&k%1-@`uB=q2f}f>pF}wG z?Ih8cva40AuWRv5xv3pCTQI7<_zYG=UN!5Q$-i3fj5a1#YltUGIly8SDD>wFg` zrA$64?{3e3Z03bnS$^_sqf7TZ_@_o3`~nAr?HALh%yliAj-ysxha{lY6UFi^4oZ{% zdQ#tG!(nTB@(+^y<=v;dq({l{854)KmQD6K*IB{y7i4#cW=+xrkh<|!$_XBegM@|T zKTQEY|NoYJASY|uEIt$+NJlSeLmbO*ruKGvLRP&>x|+`+7zvfLPd#1O4!oICPvBtt zbl+JHSM)0GWK%blzz%3jiNYk~%lGWkvw+Oyk>z;*Sfre*+vEVLJ#(c>}pO-e2N%z09;hRWW@sZ;{j19egL*Tz(99nVHGNF?JY;&W)09RZAq z;q5ZM&@=MzD@%Gm+FSnvA?VVi^d@xN75Fx+)OBw5s?t;IZ%btsg)?d)`WSigrsqfG z-Ftg&qGISd;y1fxToGC(xvEfBvfXoD%Ib%U?45JV=vZ25!VfNCm-fpM10iQ7Sh0bd zrVtQJUC?_cqEI9N>SA%%R+(F7+>umKF2!}=C2RLPm0|Adl@*Oo%d1`viY90xB=GJU) znF19en?8&%l5d;;EC$`sC1Urx6%mD6-P1Den{``Kj)p-aXgEi&WG~t<8C$s8mCoH; zp-6$KT>q$z3VFT(tQy9e;re+9{=^)0D8J^O%s8FL%0ib)^W}T1+1Klmn$V*mKWuxC z{#^)-EToTbIx_{GbkvyB^^~JA*^{xW+Qq9#1>B%;NnqYBd{nc}^NLuVjnT3#l z=4rMku|DjUU<>s5S0N|DJdN9L`?wJr^y`&l*QUexK_O?dDcfl10-9JU7TX`-3Tekg z%Y+1V2h-O|7E*i37Ph)RM4l4Ygd+x~Pv7VC2Y%@AZ`OGMqmD~WM3Y5!b*}KHpa>B( zCorXwSmb-++^5M~1fRaOM(t3pIQpdCWO zF!O(9g243Q#w{;RRPud%y*n?yE8D4;ZePSA*zS*64;F~}C1=)-G{dpj+qso_ZT%R~ zOff!X_yRcT`8U}RwOZ_}vL#_f5hB$m#V`JB#g_m~KKA)IY0^X}z_n6(4iMpBi6HmX zE8nh0xbw~$!%KR_a+7Kj*@Wj#%b*1z!tnH)fEMnOSOHy|v4LFvot_QsGh5_jI9Zv! zc=zkDVQIdnQZMh5aiR_&?;ixOeB)RnL2FtHjHj+vR;B260SccR6uKn?@v|)~o|CR!J#r&J?Z=b05*)H4T(JqlIq} z;ovyMnzm1$w2>7JnYjyIe)Q#a5EO ztk;yO1MVl?v%P0(?{JxxkPzH6Mc{1l5s8J>HPw9J`~^N~W*K6!X#HT%C1ZxsK-S0? z9_H0fIWT9&`Bh%tQ};_O>OZEl$o8PnrF*(v3fIklK(ODKMdAq`TS8W}mRiouDOvhbG6fI?YM$43^vr0-6M?#ZITgp0RPMv6ScqSkKYR}OTr zbIkp&8BAAn{6fA(vElO+Z)q`Ye_#1on!D%ThPTq?_W@vGB1WTj77ux|F3iY=qN06u zQ zxpqbatuBhU3;1pml+qu4OQ7Ku0j8S06_1{+YDz%tBy^@29BzVPK3`XaC<7|@nNOl75m@5!}> zzFkfS%%+2zWkB_s0$QCYZo9zB9g2Z-06FFMjL#PLsllLv+@8QFc2A{ZehZ3`%NXx! zrYEe;FA}8XB@(geY!<6GO*z0`G!FE3eq$1)dWzHZUgsyfGL=8i3f~-r*bz*$rsqaa zQ98KVdMk;goLwQh4+!G>*pL}d&fz>BBb4wk&q*p8V)56Nu5*B-hV23`&3H;g_MS0b zeUhutNfta-Qtj*^Z%{Mapoag6nZgng&&0AN7e-t{2P-ATT|Sp&lEDm%6O_-A{%jR@ zpS#j`M14r<~j?cD!7rpdwseQU6Ab= zh+TDi{Yg!O|1@&A&M(_iS!G(WKLVnnylXuTm}Z!1;OOea(yd7_bdef-0%|tn6^Y|BO z5UpXRpgt_TY1n|jaHSg^_HmcAy z(_E;R2yF1n)`Vcy029~~DSqycMi$PXy?OAWcn)038xYES@1&PCR7RfxzcLF7KRh@h zEyOJhHR7nlv3R7=2*>V>08)D?()Wn!4qbp_qpwa(pFz9yDuQ+!4I%6R6*eLH&yX$= znO@gFDA>dNP2c8~P(9ly&7x-o9$)gR&zKvQdfWP}J)fBm(IGWJ3wC$CsTV^ao?Zi@ zREm3qDiBav;(WdMA_^4nPY5>N8yZ?pej85otx>KQZ^F?{-UklEezT4YmkJt;L@GBg zc;5Z_QPfP1U+R=z{L#YxAPWH+3B>q20rB{c0i)l2RY67Iplg5nf2=t}uYp%!^5OE+ zaczPHvox%VUwYTlZJnidP1f-Lp=_WWgC`zW&Qn8~rX6%VR;9{5y z)BYbQ6c_9N-FmWfu#^0|;F%@U*72c;L3XO0&KoSKmyh4l)rG+UH(|0rilZ^gR8D2x z3(!b2Oe0*SS2Nyyk)cWwFt|KC8QgEMM&`hs9^8h%#<-Sjd(g32aGd=Fv<86%FZ`J!0gI3QxEd^_8rsE3kKkQ#2Bt4hBrE51QOsILGOU% zrk+G}N!B5O+i2PE`%dqVSYZ)ndAL8c>Ej$a7ie3oX}G3gnrS9(&j^!Br}8)8JJ|wONv6p2cCZ>Ahfw zJPAteYki@WQk+fL=}&3ZVduyTNpo~(kQnRoh8b)hXWTc>o&0inFJ?#>#uw^x_BY+Q`k9#DPeoid zn)wqbNHAoarJRTE^H>bqZ@mgo{un8Uht`B{Ix`L1}eB;O_qNGCV9cxjQJNt zv3*{^bTu1$1%+nC{~rm!0}LuKYArAVPelS}Pbx6NY?ZeI|NH~V%ES2|F3iLdqSeF_ zvQzo5g!``qqZQZ&*#ZyF@?ZLW05az z0Re*LU+p+*C`kSP(Jl>wTE_)vOAE+>qDJB7`ro$?I}01@zi{W3o}SBwWUAjvZC?=w zZNUw;ZM!P@n&y7}<()JUb*wChgj(GYhXf4;&c>g|w;X#g+jtU6s_mTh3NI3H_Kuk& zzBEBtsF*QND%S*=95~Yk(fwWEo`D4mjktvdRZ4&PG(~9eQU;K{{cm&B_L%XwFRY#G zW$6@yk_K$d9{@E^W%te9O`0$;ic+?O*Y-mTbsC3uG;rK}R+11n+ zPYoS_3c4I0Y(+_>iYs7~7@tSn1=|9M*0?$Co|S@2C=npaU&#m~#F2ycuzW@%H}_IY z#)w)O6qqpI0ZIMJmc#RKsW>u3#UJ2nM$%(!H2xSbHKk*b`in3(i5Z1|YcoDI%s_nE zU<8Y35}`u=7#IurSwI0#etU?2m}$5v_3Ek2>b_x_feH$pL}X6aoxSM3ggKE z$QiAW7qOe6mbxhET+UqvT?cFr-V2(uh-VoFVWBJ32X)IfvghXIqhf#HcDLegJbkwW z1Oxq@Q@PHD8FTf{Rx@DHd^C^(!Mxuy8pZ&FbW+Hedg;9*8+Ls^GDn}^Z<1+MXiW)s zX6t#Uk$BDJ3Cd%SLW^P>$D5Yig&8ddB%wGqjFX2g0SG1_jk3m`c;@h|YaF}8;DeFa zAB`P(EY3uGygzyHa#dULi2C}cD*Nb$`mrr@^0&;Cppu{hV6X#EYXM}Sb#TP^Krpv1 zMspkEDok)J-7qTF-ipcC=E_-4an&ml5^98nBdAOs(CK6T&D?oi9xnzHGnm{J1WyQ? z*E70`vXn&^^eog7gmQe&q9-FxYVzn<{tm)X5^cq!Ag0{G=K^YDIFc7O(l%B1YIgbI5@nXnnhF!gPq*IT`JX`X5k`cB)`2Soe}BZI;U=8a*Qs z-gGQVSlotb(heTrhplg#WFg+i%t_D8Qhy28=$bmoNqL$?LeZy2reyLA;l9!dO{y;e z7muuxy-USDWy%Q8(jMIilMijqgo;k619lJ6$ykO;wgtXTkdNYYi3l-1h%Y7(dtAS| zZ^f(dCIMwuyF8FPlO%{Ky!M1==^&fpF!EG88CF}4C;FNP;}~v!#1pB#x(pY_nQrlk zeVT zojn3rLN%0pFB@zt-Hz;_WtYWbh1xPPA&~^`X2xC#L|M>p7JW*sI~KEcl+7aRxQbjQ zyvUqO&NAa-F52K${dJno7rhwQpj9_#7`-#sOzMQ7R~V= zSYg-@y%~$d`A1?y2+6YLl0(rK=iy~Orfw?V2*&CFNJZ7G8}D$&6Lq3lg|;BZ1_{KsC`JuSL&&m^?$LZRr?JW4u)wtm z^g@e6Wd#!_Q4IRb)-r`>JSb_ z0z>>m^ZT*q&+R2dl`d`*6s<=dN?Dq)zZ={OlM9P9pe8?z zA|59%0&N0`;gTk)XsN!11OR4mfVV$ELmv zs+&o|-gn;GhAT=-(7}@?4=5JG^S0bB+$%$>F#I9`v1!ZHEf}J?Q|ljOCt)YrB)a!j zfzf*-TT1%^B|L3IP^KtV0FqKO$|4hyj>zj;GGlTa2Mf-uxk}gPHbmb?wTkpMz3!f_ z?i#UoK1_Kkz9)xRnN}1f*?7nBEX<8alpY)=%{~%{jFaOMRTfx3QYE(`=!)Z$WtPuv z#T^}j4iu0)x#?Dc+k@zvK8A6nNq2Xb2ThZX_k~OjI|Js(t20x0q?FQ|(Z}jpg8z(M z1`C)dt+Ba}`vD%GcUBSHhYcIFE^jV5_@sP4L+Mx~KK$C#eNtxm0UW;qX2U1DT4=y94hj#Zg~zE$4(j$DubDekc7WvcAx@)OE|MR#d2 zj{412r7Pc4m$}4s-(dE563MvcaLM*I(9^K9c5~Fl8!eopn4e2y_BweXh~M?&b$@@Y zF&BwUdr(rC3onKQ4SV}`5m4a(HOB^VgTE(TzKmF-odHg{8jq{U2iaxQ_hpUov~e*9 z+J|Yo5q*pO=zv~^nitIUCT7p;@_K3o)41N1V6APWO+G<8O<6wf0htZhJ(GqJY-* zKZUgh^>Up|+jjLDT=0o*#3??#275zicg$rmk4!z=J+-A#Z^`2I&gxC=lRQbbNTFY> zkmpy5yqPnVGpvz=XTM_&;spH|KqtP{&*R(FGfGC?{Ab_oZt59aOLy)uHDDgYLIgsq> zG=%@tIkiM8$85QBA6Yg2pq`1DW)>U!Plq*k`#`SND%;o&2T0ku#teFsl2 z9#IOUJ6=R^Wp?ASS7W}l*g}xk%36n_`>s}=3t8dhAHJIbk=Y3*zO|r*SlnpY=;S7l z;Tw#YghDK9oAZD$SfY06rOC}X9!aKJ8WUQ+5VvkCE3{FMTf*or)hjDyuZ2=*=VMC$ zKzWG+R;T6~e;MsJVNq~t0qPZsPE>_tRdUd0H@Rb>TMt{5wtwh@ZgFebwX(7gL>SnZ zy$~-$6wLCPHna?p;b$?%>*Bq$^ft-AKcjU8O}WG{377?%nvtso25D! zMy{d;fGDBCaGkl%FjOqY{>!*3LzEG_qC;6JWSnj}n0_>Io}L!o6qJ&_?2xgf9=feI zY+;D3-XL?7`K>~$3ptaTmPcz#bc_CL-G+0q#Zh=ivtBD}jq*=P7)-)%Mad}Odt^i9 z+tpFYZHMBE^^GggXfYX}yhmKusN#a=y^=?@@;F7-b%1f)VvlNAgFETdX|}QStp>qz zIb@-fI@=KL$>8TwrI8me8sdEtsW)V^L z_`S7S8kM%z0K_9=lF+R3BfFVtb!@wB^up_pp2ZuIw7yM8NkeN>27#8hV4Z3c{YDjE zQ-h4-<+pCLy+^7HPU^tuZ4t>*Gnith3i3hNvEY>NXPi|{gr4ryp1di2)Sp{$*o-A= za%UWdgzK8u`$HIpVw#PFPs2C)rmDABU@xVRJEsP&s-TA}u-8(tom)azR~rO2V}z}> zzu|-^+L;`J(ac9NdM(G6FfWHa)RNb^I47A5FC$QpA z<6`*di1D%Pj!*9s3AdfGw}C@?NV|-DT}Mn^=I1NUU=C}0jP8G$r9X6$Uz$&6u{+;+ zLzI!zL87jusJ?25;XUJIodjGat8{2~RPzM$hT>Tf&Ds}ccovu#>U1Om$^+N;r`8;T z9pzH@ukpDUAvvdWo~mg)Ul%ey%rE7>#4jxGl@vKney@i#T}n8gEa=z4X@8*54#xcX zi(}bwm7Byzkm7O_?5Q6!S+1HY-2w*NhMlX?LEfP-sxVlPtO)Fo*DUYYmK?h%gFD|f zA&VvDH-5@9_PS4p3P%CE0{&pnccA^mEktYO96)I-)z*$N(Y-%@vq21BbF%?s?CDJ( zPis&rvrl5fRvxa6ka*HbiezY_!o(Wq$nfvfFM>WyStTH zzwA|AdsZC9Q5ucQ{Jup+War{KHODpbkCwE(X&@c3%MqR4Cra-zNn?_e5C#O0y_L8c zsuLRO?|&y-+I9mJ?!VMq15_n8>tFoI+S$dGg!6x)0Uj=re@6w4*nmJ)mfeQ>y?KC4u3iJ|KY?*^!VA>xVhMQIDwKtAUCI& zsF(zYC_9@77dt1LxFib)n}i_A|9=be--G^V5{!c#_;36m!lZW9WEIqq&YSm0GDxPj zy;$I7IZYeFeqbbh8);O&h9rz&kb|*jg+97iOcMpLJ{mE)3izOsd_!UMc(%a?dcJZY zC;LnZN5?f~4my3IW0y+K_un`q!dMc9zK+kL)P-CQ>^vkw;|Oru6>JX^zYt;b6h=-) z%7<1aij&GDdIW4qhb}7|64hak9d-n4!akAXN~(=Q=3|VBcf|4okV$csSKiE2ia~6<4Eb%!sx(XoyAZd`Oo4K{K*uto{>DFKl5Ckf9oRbo%yX?59E#?PUoXjw z;c-z8;mE%V4~I6sv*8lf8boUxe&+hGMGps}+}2#4ltl04O*2|P9tUy7cxV8rc69cg zSOfn~f;m>*#Euqs=e;|U dx%!S6d+CRN8bcctF+7ls8=jI