From 028db4593528170ed7524010cd25f1a28a810f85 Mon Sep 17 00:00:00 2001 From: Duke Leto Date: Sat, 30 Dec 2017 08:30:17 +0000 Subject: [PATCH] Update HushList protocol whitepaper some more --- whitepaper/protocol.pdf | Bin 326767 -> 326933 bytes whitepaper/protocol.tex | 6 ++++-- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/whitepaper/protocol.pdf b/whitepaper/protocol.pdf index 060a68625df12635f269aa2d1d197244b9abac2c..4fcdc65e8bda29a4f59f3038817e3af0712ac695 100644 GIT binary patch delta 31421 zcmZsCQ*6}5RM zQ39-nQda|;xzZ;{k7_VRYK+B@U(Y7ic(KYb-(crv-Q&Q8w@GS01>PVNA~hP_?a#|39ileAUPv2pxa*|J z0l^a3Qx6R3e97U%V_uPrf0O=w2KyFvEYMU(H{mV6+CIc7)dq$z(JnIbww9x@*7`we&{lQUbg@&?Q6RymF9>OsPT=5a1 z=pM^g`pfl6MC$Z6wq3p^naU@lUB0S_2=DB*y9S6k%e&z%LOipXwEhiXcTi0~^u`^X z{PVeJWa@XxEMRPl%j4t_aibtnBJ!fWGXAf|h?PU`4IsZ2+WgA{r(CjOTXRdFaajJ! zkV8Oz7t!5ca^qxlAD6qe_;=Uqp=aW@Gu4*t-ZVIfWgBd|cofM@p+-BT1w4slu=~3H z#tV=%>EwVKJ2qW8R8IVsQ+~sc2`Up%v4gH%!Yg%GWzQ;euIuemkQ0Lkb`l`R^}7SS z56ASdo6@y0&|lIahxJ#M8F!YViKrv4;dV7eeMGP<2KvR!{1hy2gu$haVWa-}+&VME z^CE>>VW!V@bAN9DN4Zv!91Hd9%l402MLE#s>u9RnRn92revogM&zpG|44zMcux>p2 zE+9*Fgvzw+`L~V8>&C|^4<6aZc*7e+f#;@|%7L!SJG{&BL^Zdx)mV~1I@?i@nzm7j z@)4l{U#@4M?6ta?+vHjhmdQ}{>qm|aCJ85PbhI<_kMuFh${qS}w#PJWCUNRR;3H5e zbtfmt9jzc;9tKz`kBg4&xiKweq^_h)3?HtL1!=aY@vRW47nOxjYodw2YGzs~ij>UW zJAE-PU14Y6d%D{bC=X)S*jp9T(X~(4*eremY`ItfJWwX`XbJ~+Id?oG z!e%XqfG@ zaq|36QDT}1aY>mee-qkanS-mu;G%G-)`ukpqL}I*s<3tGrHW&tf#ExD&^O>?`PqBY z*Z8G%uhvt`Lbd*>ySfWp_~;vicmIw$cNk-qPNqA$yQry%jW60mJJQO;h#Uc9bGRbm z+(TpyB%ST0I%9QFg{<)lmhE4GDZ%$vz1sW77COYoR~vC8c{tVArc3Xo1FhpH0@nc8 zp?zxb9-ny5+R*ooOs&fOeAPvrpQpH0GT{>?<*Y&`rRUH|1Ij)WNUr;J2f?Op3Bnk4W!qBxBLPX6Vu z63oK~Es8*z-milmWN>jN)&)ucEzvV`g(hE<&^ z0!f4V8o=u|2`^m|%&8vGde7NADe$^A;*zcL7>7p zpCToa(QV)APEDPL27S(=NcZ7*$kQsUhIL!_tx*gEDIFuE^qvKtYN2nrptaJ5>6lyr z3oNHcv&W)`-HwL%D!0S^EG>9`KAbH@k5EP;XEkX)fTwjb{Gp|}E3 z6v@s*GHa>%#8U=_U$S`O@2mL@B|45>Fv|lelldH))IjR#2G-{BQrUVgm5HF&i3{hU20|sO#%{{fIY&Xfb`}=SgT)9JAf7LOGMKEE~zTqz={j2b8X8 z?RoIckn(&w$ly0_Uk>??8M7Vyck&&jx(rfu8|^SbXp+QM6Y}2p49KtQAH@L3>j;Tm zYXeGMRsx{OBm-_g9QBUA9m1+>kW9#Nm%9unUw78)jwY35dH%!r?VTGnIC6tcRh^T{ zW$tiC;tH&@R%h4sFJ^!niHzze_Y=YV^2*`+0b~#t3#P*Q9Y9CHWa)2uO<{jlv9JSH zgpLspvIl7J2SMd!SQ~a#*SXor_>0-0Sh0X%Au14|vyfUsh)lmUEUEuxKt((y2 zG&X;L(;tpWij?~ewq=IUc_hmfp|DZIhkqR`2;pGSo!w!L?{2zoz)V?>ayP%Sr^v91 z6Ie7Sq2XBNsV1Zh8-MI3G%@qOrcmO_Fb_tmYDg==blq{^iO!U03j-|R z>A`hns5FC@xrr5FEZ!*|vBDF;7h5V!YXY=8a{8#*yj`t!)6RF0Ha`-aqCOc_QR%oMl70!<@+=3 z%}YwnPL@q^sWA}?qx|d{{u6GGQxw|RqwK-y3PVsqkH`wV-0~bO0>O{d-C)z+egxKh z4}p}0QnSbTJm6Sqg3vqJhJs>|_sMD_u~}TQ_56_FRkI{0oYRZ9jQ}7VNsxu;b}2yt&k(oQ}SUcfG^lr zqn1z2l=U5PckZj{ZUDj~k%2$GTvS?Vh;(FWRYU z)_L;5r+mBoB(qG$&ClCX9CFMeh2)ftDO=; zx1QPwxR_|G#|c-@jkZ@VC82bxD)9(6TTHSRtVLRfS#iqrR!=Pl%#cYI?+-B-SE ztIaaiq|eIfHU`4`hNY+6gi^s^A3$gkwf7U(b#$MRW3W=^QIG+^PTt|1Vj4!3f35?j z-$E4=#Y2PUR!}Ar3m@vuPYSTRro>83FK0LQJKAj(;MIG>rD7$#dmIyKP8y{@ts|d= zG(Al8y2Er};Y1*Aib!HSy1G1-pIE(tyTRt-mIqs`XFzk0>$#W}SR0 ztjXHH5D+X%Al#t90Jifb9GSfSjpKoVHKmcV_a7GODt8o@kKdU6k}!ALgE?XS?i6hU zaBK2AZ`vDTorY}z{ZL_a^{`Y!1DoJQd4q>;%|X(TVXtDdWG)13RM9-8Jmgnq`C#gs zRP%LMJ0IdORqHQk2(>BKvfeeq&IxQ(dXPe%$F_rWg|D92d@7QKcqh&c16<~H|Hd2p zPfxzCA?MaI9aETLQJZfNMi9Wb*g5|)t@58~(70+ki85KG*kugNjc+lV@Ip$Qw0+V8ra~F=#Ao3~Rf+o<>OZ3GRH~ zKVqils~e||eQfM}Yp3O*J0n+t`eZi)Auw-DDkoW(HUok*>VoHD=;mYi3LNk{;(^$9 z{aY8J-{}W+TR4h)cikbVm&QrIx>|j1F6&z5u5U5__5DRZrjl?Ou|`W1hf_($a>T5H z^Xcxbt3|zST(-uO@V?Bn)%HS)8}V<|8r8DBGQIhtQKC;T z!$p3VR#tqYmK<7z7uvkF$%fmUi3*epb5{3~=-rsFTgCB>-?p4$qa9K+x0Ed%qCqXy zU2>2jm=|eSrRUTL?=SmxLU4LqHOW-@dvAu;x88cmL%~@aBW;1HI9p#m$R*`@3qiNa z?Y4oKkRyJQN#>x2$WohmtJJ{J@=h@J$?o=Z&%dWPd!r|EsOR}h7oJn59R^45Qy7=u>@_hV9mUFu2+=$JEQq_ZYZklc~X5R*o3RgDL!2@`Xdpfhs2p5O)L%__FlekyoxVcZX~Ur*GT}KboGxoT2J8=q(NvL!acBVN9&;fj4>C$ zEnykRE7k1P0cLh}vp*K z@?lAYeDDu@mI?bh7&V>rQbShNR5v8iT)r~K19YM4-D}(ipeAuP@E)Rf2as^shXEoA z#v0jWT68+MK#g<}&kNj1Q5Ml1)RWhQSpK!0Ur1(xgl#&`5=C>kpXNZfDXj*IrA7QO z24MLzW-JAUi{VUP*Wfb_s(+b+m1F%P#_Sj9aesz37-$~ary zeYIHX)f)+=7pcP^H6veb zd$r-Qfk)i!_Q3wn1nn5Gq_bwyRz!*%;f%^XKmO{;CDXLwD7=Y8NGN-7uK81>NF||= zux+GRtVEyY$}LD^v19#}oD4i9HFb#Zv@Pa=AdknUZAbQO0w|$r>qWHQ;w)xio7Zu zmQi;rAD2^a-$x`#|CiH4{07yt7Nwsr8$@hK{$-rqs?AzTFm9ew`|snn_$9qeE)Y9B z(VE5XT&;9XYY9nfPFE%Hi}+n!Vap`8AxshY5iy7<2$OAW7?p`cWG`_@h z{?PfOUZC)otcntwE)AEt%43=!uCAbz-8qwCWK;bPIRjFdGBGV2ktDIAM#$^+6=?)l zPC&%M?=T!e0jC`tl)EfE_hIk=`2lE@X;LJgr$Z`qGt3b=jRCFJ*AH9w*jAi9d6ASj zHefvUL{TvAfYSQpkR2JK85-~DPfsm%g~IB=Zy@#L@FiN*dr;_Ndg81-vy3UxUpd*^ z4UEayAn1Cuhy}Kco5RyfJ&OCb^%`<4g+(YbEA086amu0SuB$M=W~GusHmi(=D-M6t z>zb!@X)N`X_FYqy(J`!f!~>t-U_%!hpYK6a>quwDpp5MounKo@!?+;NY`SWGVt7Y> zDnNK2;mzZVqWO3|!(R|Q{gruEQW@qeZ@S8G#@6K6Vj3%+ zAe&sdGb+uqjT`%bN@(?an$peKJ>(bWf$9j)4jVWr(=s$IUnEXlA<~P128rs{Tl@i^ z^q4>tT+Lu8>R9|pQj%ipY0?@eY-Bg)UFLKbq>H3FB$qch#(7(F`7Oum-8j#o7f{XN z+$Wjokwnl%()Yy_6RhmLf+iaEM6wdtCu;lq&p^#Zso3r!NxrT~2%C&1!NIrFdvN7G z%6rpr`;Yq7S>nb%nLT_LWn_zh-$u;$axI)JDCNEISnlcP_x&NZ38f6ZBj5CMTOSP@ z&roMc=uQfTqynWGOLw z!B7~yGM6=Pou&VjK?54^>!C8Kh`VVdh;q=jo1%o07GOIcE5Z)075gYnfcM!(j#|X8 z^P_Oc70pfEFP)cbW}QJ!xjP`BJwgP5Yf(s1eUNx_i=P<;!~q~?jDIee6hV0U$+aAs zeri@&M$a|E92I@Wf7MS?06z%rNTlE{Ey}}s1=bvT4NdJ(p=a z174a0V&0$lML%rBDm19zQvXqa{3OdhEOk&oPI60w9>@JS|8ut>u%mm?j(3!BEDLNZ zUdx@~@|ByRH;OCd@JvvnNL6N&(g(NSiIfks=*vT=y-0}n*L1)fC%+Lzh5{8j(;^+- za+aglp`XylEp$CHKkL7t{wxZbIYBoCA@12G%cp!hihsgcCwHTynbugDi52Gem@S$* z3L0JfFZ=~B?_j@9f$)7Gd8LEdZ-n0WWrpl8SzBxD{R*{mXjAPWa?n6OOqEmn{;Vnf z7T!+mNsz4Y#f<|Gfq;$xcE~B+v)9*^sW8xyQl4!vd$h-sK5)cK1BXEzoW{qL91AJ8 z6t$}1j3|>a)LPR}36&|sFZ5|iymN(?cuv>ZdGV>%Hi|e3p!4V;9EIMGv+Kvf<<7}p zUYYeeWG!0gWTx2E-M6)v7MPz2^-;sb#~|BlLD8qjH(46UVVZW5q?+sS=4)bG=VoYz z_uT^Z%2S=@TjBy$V@hM(!kX>*7*H%GW18ZHW{|7#*W+Cf#u;bpW^bmmBUt~If1H?u zF9|0Cw}NNCfacH3@G}2mbg`v_FmyLL6@cu=k_WTbJU$7=CH8CbjE}?Mbx_*3@Aw?8 z{%DgySDmYp;M=SC_x_Y{Z?2o3zl;w1Z~b5t@mr7HD20%5V&;QxNNm}OLIwIqDq zl6fQJ_v;3FKF3wReePS3h-QJpneP!`H5Hc0!tni!^E=TMi>F+Y5Ivs1K^S^(`to5H zayam4GPsK(Tmx;q4n5o+4=7z=Jl~s7n?Mt1VAD8r@AY=S?**5z***R@oW|ndAYvkN zG_ir<# zghv(C^e&RrBvpF!^P(CCI#7Dyw#9u84IU&?s5GSs(X{dxUHAKM^v6F(hx)#N!I|i4 zwJNz9hd0_<4T;F*%=jY{8ZZcsybs;wOTntrsTwGSl21fuyddeu|!Z; zEJkC7@yl`UijF#_@7k&}7{g|=RsMFBb33DiSIxYa*7NzaZ~bOFr|xNl9as5Grc?y- z^352^FjEc77!S;v;^Z>C9H{fz+oxr;RK^{P1AnP|=!A$urt$ftLoU9Q3p198%IrYQ zB9%Rv{JlwbgY97|?s7RfRcF7dM@E=%^C#h4hA4}YbA0?#B2dV+E=V%(RA=ea%jOme zSPx_K9N}`n^gAr~6ct*JzrXj>=}%!o?Rzw9ijIS3rn%5gUE5f-Auzza8o%c&;Ezh? z)=Dm}k6sj8yHu4yZ{Mfma#vCdw=6wt{O<(=rH*t{0Ppg|Sm_hwkJ|AaP*AXV25;(T z{#FGA#FEFHCnQ{++-W~NAcEz|#*a>Dh_Gm zOzXHbAq#9*KSUPand(dd!x%3|q$gg&;!Ops0~p~h^GvXsS6Pl)!$1EWhv=@?ULi}# zZ{u%Nq%=G>MnxMYEu!IiWlHX>qNBkZ;NY@Z*#Vh7*F?a?D$uM-ICr$|)n;Lp>&R5M z`U|1h^Ii^9-fDiYu7~(;UmvG~DW$ZNMRf@}T*vM&3^<&D_!5c)InhJ1PcT<{56n4t z%3-Agd431_zDdFF@=S{ML&$G?XMU&SN9Dn+2^-m9_WhA-uhwqSlV$ieU(FTvD3Imi zms<_&dRGaET;S4Br$EkO&u?E(x&(X4+ynERHv+hUKwiCjd67vqr-x-JfFxB>ITU0& zHKKTLdFkeN!)q`Wylj45K9FP-H#KC+3>06r%1F}Tc*H=pAybZ`zS<%t+i<;GT_{+P zUy8+cXrJgNhdcswocF_r_9ZWV_^{i>Q14P8!%>tq8b~S*v!NR1SG%CV^RMwOdFN7vu@+<`>b*|w`YflT`vJw}4XW`>g0 zs-*F&|8Y>GAjW#E>@V=T<@ev%>%9NQ<%j&aAE1}rt$~oZbA4lC2->Te-%EUZ;TJd! zrCQvs0ea_cr_a8;dyWBWUkV+Ki<7~mm_9FHN^i9C{Yp|d%XF?3!KnsWVU%E*LP|fI zHRgWFx*=4(T-ILB`x<-l4;uy{|payQ3^|84>w`~r}~54e#b4g^G!fevlLL(vPZ6#<#7 zqaD5t#s0yPU<`C8f5?rbc)Yy^cuny+1yjQQXLFXbVjm-_dtK+xv*vXYfC&r z1J8{FJ$Vyq+DhE8@p|yVl<6Y9tKIbFHOHm#?Fxq=Epl@h7yit0;WY}r zu9dulNqIzzHF`T|jczZ$7#Xn`0Sxr{S{yaL!tJ1;y}I)l`GwTy<7D1K>UUoT;5KYR zd80RU$c0+s@_OrmtEAdtpscEY$NQ`2-ly=a_@W&m;W;+SF=(gAJ|OW;G4V8RZ(nSJ zAUz5@SlyF5ce8n`Bs>+MrcvHiQZB#a02B=biGWoRB`UXX!iy&YH{mwMOCVr?r!3cM z=>+UAx{kH9(C6&8Q1KToZ+n($QGF1#a|Ra6mUV`NB5rg0x-YHA*m) zmRp>b{_!tEA@Q-1;$d@yYBg}B?NqM+vPvkN!~G|@{2h~z;rB;O;r>g$`yu8Xz{m_W z95iR*goo+73;JRIU_@kNO;_ag`d`f~l8ad%2U+yFkh!rfJb_SAT z&rt#(l7ja7MT=fXof|PymlOi>AWa>qicKSweDBF7l@nrd^LgRSg`$K5zcE4YhDXz{ zG@Yz|ST5NmfM1RjBmr_|VZD-GwYe)4Kf@U) zh+5l`#cR4Xn1WSiMIakhRU+sOmBvjkiCE&){Y<9l6p10=`Rsuf*)g=jL5^;aL_88A z0NqU^bfE$v)S27`59BD!hq?M&CPBJ%``D#lzEz@g;r} zyhFL|K}7nPBiJ38L8;N5O#k_9heB4n?ktF_gvTrEU65BE(?q0jd(dqSbU7f(u)uBZ4;SJbb^+ar?eiO~yy-3wAx<+%o&guB%V3c}x9Ev+3LQ+j`6*rvn$>;%7> z6aaUd(&&8d8eGur6*~Q(qtEk`6qJ zginQ@=)^89cRO%YgVAAH2?VUETHF;i;|0lM)Xg=n-Hm+Euyzd%2xqLIRrIa7v8@2} zPQ|ofZlLeO&ag`|YPSftWd+-E=buDh&!TTHA$K<-_n6L54V|gL+Bp4GL*|VK(}P7D zY&ukR3s@Q4i8r;nz?$LoTq<4HyCm1HQ!IZ@&o_zAMlE++4Z2SVQ?sBR2)Y-OC(YgxYGaLFFY0 z2RqLScFn0x-v5Ep681eJzy!ftLHy=VRFr$rZR%nqg;AzEZSeOF#XgsuRUc2P9$n$U z1Jl>Ew{f|CpzTN<_#`nfkjZ5^?XAy?4Z8mZmU+JOq-av}A~63y!o$MM`F{w{A02(i zEiMfIw|b&iYl|SIudXkUV3TY&*4#gC?NU5gMq7L(@#V}Et*~1g*8jfqs;OG6CsdMa zdl8XIGrRcSwx@<^Wpt>7hineS*+`&kHAyHKW3Akg+LL%tm$gZ?5{#YQCv zXMh3xeBO8D1L;80O;{l&VR2+*MlMcJehTiKVS{J|kghNQGV11l0IV$V9@kH+$$-oQ z9TPP&W*?Se-7Etx4mcjiHtu|xNALyar^9^!_t``^FsdnpwBiqnHQ0cYsMkUyP3{x| z7^ot$&|u}=97_^Uk;9i|aS~_MUv+Uqwy*D`g+x-b9*IYR#9w%td=lJ;f^%^TZ70Y@ zR#udVV>7wrA3h9?f}#PEK#Gw5GZmkIL60y4*^2~lom7Ox4ourv@H%}V|3wnc`Bhet zLug%|2;3JY#V>lfhxtH))-KO9O{gHI6*HsQSR1De#{jC`QI1rHi6zWT-3I~s?4LpfBqWHt6IbP* z-klctkOycfj8I!7koGfN0jvIn2GH&0IgXh~TKGV&Op7wV%atkur7 zf6Z!7?3-;gIK}!(re9vu=vLm~py{^$<}3c}g#5%7e-na(tm7?f+ucm1A#f|=(vsz{D z^JxlxXMlLvfqCRWT@w16z+#Ww zt7>B^vx5WdN!zsUG-_MurA|+I*?h777F9ec^q{M&(rqV5h4#@jR;C)-`?zNxzR{8R z99>sO&v0;A)$!F=n5)(>vix|oucKU*btk0g22*7w2F|>$#@HpLR!_ec(f$4u7v9Q+ z$h}!T?l<$#Xkoj_H#ef_{3jaGO~9Fk@8Gv}?X(Oe`F7O~-hs3pH)K7pxBl=|R%q%@ zK2wLi^ycngl|3QZ>Y&zMN0k>$#jhvSJ=L{_v~Hr$3YdzwmwqkLld%B@5`+eFlD|~H zH1UZA;*t%tLUGZb{b>^8o*?$>xF9q~?>bjXrl)ulTaqTY^r$uFFKUg!TSF;hJXy|6 z+eHUXoyc?N{=-sH*aQUUea9{m-0E zq-@wwx77K@S3OO*1hiu*roC{;`d`c(`}nxC{G-{W)w}P&OYX!Q907fUvCj%%v~1>< z>#cwD_0rnC?R4~C3NMS3&%S(hQ4^}ZiLC<0bSG4Qex+YrCn&qK80slvu!H++=j!1R zYGSU`uQ-ZK+#ia+bbWU6{HfQekbO1j3I01ex!>EcJ7MING9tAr4LD=b5$R7i;T1Z% zupwF5`{D1?*5GW z$-OC|eNaFaKwO}9=G#1?Uty<0NOnC~k?m1 z9Yxn_t-F_#b1NB)A4&n2#F$f?ru(|=}V-2zByNSwB%~21k7-!0^u~w zzM`L(h=pIFek{VUrpaWHFytZ6Z^P@;fCldhF`@ui8dMF1AszyGoKcTJZ)qj^L(V3K zKt^E(=D6NW41_=!V3GKXtr?l#v1fr-d_!-=;g53XxVcFMZQk!5r$jBajoyYufRQtK zZVO0Or1^@sTGZ^DX4EA}1CdS=Eg@ypUV?5Y+pBD~fRM61YP4_F9;2!7VLc{Vi$_6) zz(AKh7{&;ApOQ+663~T+{$)i`??TQT@$RW$K*FS(W9i(mNIxJVLqd+o?S0nICaPhpP8 z!s8Y?E_npc9qCHGCVg#=M;cx6H=Sdpp3F7sLRU)NXGSGR?QY)m&XNA%xcT8-VW44;~69{ca?^$THTS`tWy4DDV!&d#M}B9fck zd*?2Ou@unR;c0J#5+t_m2PNm=o2igaWV3cLU{HJmgmf0^Qo7uy^C5+^UA+Ix(Hm_I zL{#=!Ql@GatEUT6#`1pMb#GkJHvC}xhs5#QTKs7~ga(nmKbSehq8ri= z_;fOvwCh=#@t%XZ(%9Gn!BafnvTM)MF&tvHX{tK0oCQ>-d?766X{_?9Aw;mnwV}vb`oXfLCmF;Q9%k_w0yMG)Eq2-ok-`C`c*5Pf2-%|^_NLfH> zUyo>~WKDuHG;p((F6elOw;ri-_7fge@9-0&7v%CLM`fn2tPUmReEfC#XO{vBh*hxv zy^dI5{KuIn(#0T|C*MkX{{S>!I(W2Fn56{J2VKr4I5>5{Ez|66QHbkx@tDWcb3Ooh zenUXDecUNZwVgygFdn}!I%jGEMdft{4}&;eU8h2*&W;fm6A@-~7f8Tj=*}AT#iw)0 z1SJ;Ha8im8B*pXGoG6bC1yRof#8Cw-HWHiGzg~ks7j2pXaiSfp;7mwYbbNJ(AwvE<;qH9<{S7iISrU&Ts0>@r zmWLUR?-km}M`IE^<9bS~avZ$Ur!|sbmK=~|01Gxzzk`KJnp?vIPa|6ZW`%sc-`)oN zkyg2z^+E6g!skg8V$u2TQuciA{AobwwHp3S&OHts(b1Yyp&c z__zQ0eWohUG+NwUM2&U6Hl&61#{ntKFcNx;3VLT+P}GAdtju9>0Jd*>N|j~qrR*M2 zTKVz|9Iwx}7lWRZi=))l$b0$li>TyHo%xl1HEa1sq%(cltw`jOB2P( zj{a&s@_ucoGxM=Sc&&^L*)X9&e^_zxW?xCYN`nxnS_22?Et^Lh<)FPKX9q9@5x#NlvrXN^H|}Q(t#&} zY+=1bY$uNAZLmbhVp^*S;*!aOOOW3KzRR6AOH-CmBKjL*b1md-T!xiL7yragz&9U3 zPAgcGGJL-O=6IEC;htfhv&fD4LToynZ_a%E3x67y(LuPH+=9nqcLi1J!v)vFzKvLZ zG>|MPN`PAGg`tlM{Azj|es4~I@%A^1jX;)>OMEWL*Dmv}-Eb9*C3|!&yOS6W7MAK` zFDP)h5-E#WABJ=roH_(2ylrx1@>uSzK*e7Yymh^Kg78qn_S}Mkf$) zmQnySNaxn&Ct!Y889ar~BQB4lvl#meg3uPHGUwfC`8Y)4JXI>52Mc>Xfmr6oVHMhv z8yi$a8!9Xav`pJT;op0iEgo4knaCkboq+84%%KGEW=lnyt2}cS(}O!fC|lODgu(Dl z|Aa3=zLLc5l5H@ha+hMXb`bql4mHwm|5~QfARFu;G@zi?hxdW^cMxALUrnWfR#5Em z3j%shVwfk2rp1nh9B&d^4iRg?Ef1Zi+QQsZj{FSdgb zr^n*~5p6v%yAATrK6*%p`QcU}w)E|A6@}DD3`$>pZ{f%(=p;f1^P>h@8@CByGZLx@ zTbb3?@uTsfr&z9<<-wyPNK7F zt%4^umNUO#gq-XEb*2i<%KTm$05|j6I;hzJ{@KtDREUP#M+MN>4WYvYSs67zf(O!4?fZFihEr2>ljeE%kwzcjVccO^9~f%sAnTibY?w0XN2WX*`d zC;L&`pvl-$jI|_gF(*ftw3Ui-Ph1ePB)DvsRVuShLN)HE5{vtzX=%${t=HMc?v%pqnjhodW@=Y`9y4h(O+Z69TE?{Hu|gY<~g|E2KsT6VVd2 zR2~V}WB;OJtSeX+^xoeFg6>Q27G{>AD`wCR=XdjRzG?v?INt##uY1W^2B0%0|eVO#UF2RU0V6VNIe{YrAxoWMqtC zbo%p;ITx4d^m*1r(J)UA z%C>C7@n)lttd$y?v!SCj8PxM^UG5ZyX}n?=Ad6=}bf#-VZ9uN|&8L5WFS0ywd z)m^Be1(f8e%>%39@=yq{1pS@fjG-F^i*O4&d3G6`>}iGNhz~K~VvCI5*p6LUk>`ql z(~X$-52B98YPCF+*6yo%KeXSO$?f0lE9+a|FEh>i__?)2eAwozwQaRb#(mljhkYFN ziR!4wpVK(KGP&>?q%;G}w5v{Tx_;vK<@hlgBG)>{&i2r)9AFACIILZ@4+3j2YH-q= zfe~-1HxyNN+@hmMNT#2V$}>)dAtUG+&Ue|!c`h`TTX3eFxTprf`6G;ff-Y4+aOzJJ}=sv{y7I-cU#_H=O ze%~h?!L^XOv&2dHHyTd{!HBsibmUjk)RR5BxF-m;l4aV&7%6JM#yx+Oo?s*Yqm3PL zt44vI+I@sP)Wp^37?elUi!_{g`iyqR*=W8ILfM56pmZOo?;nL+lO=BU^Z-6h5FaiFHPo{eM4Se};%X6Fj z-!w%E7c5+gygWJ>3pe-w7{XI=w$irSZv6XAF4JvP5~gG7xXTgix}|euQ#P}oTciot zk}V_~B~&DmIj`y&g#z)UtKC-v8o0=yf;+(U8asC)XVNu;`~P)x`aFciaF6FNJy6H2qkR{p=nIcV=5b5~x^YrqK7TVQ> zlv5^bVAKnhd=XKsV?t3=@E;8a1YJNca-TxVOfG=m{&zmb_&w0)>Gg6?A)g_Fx{lwN+Nl)U7qx97=9{gEoF6(Db>GJU`p&5u!dTmVd$*G9-B@jGZ+!j6A}8FrtyZq1 zY5jE~^|WZYxApZ+rfpi>bUguDFN3!ogjGrL02vB?liT}$w;WbCTVN`p%07?@9q=UF z!UEyWJ^x1AQwmhq(y_K75(Tvr^w9T}05z|&Nc_f|aH{bts~5oHM_=4Zh`sMEs_!K( z^1u=8xVrY!&2y&K=C$mXzaH&9FnC3fMnlN)TlKBUKq5`xgTk67=H7M& zFxvLPaVQQs%u0ohD@&n|N!Q80t#Ca>gQpU-!@?_slcGE;Pw*w;n(_xJ6QZD)xs~_n zO`Xue?438ElT7BUx}LNWk%?T&S{R>_)+gr0wSnoPodtpFR$&k+=j2!fzrgqQ-b5#4 zH;k#|`J$sF*!p&{vz0-yFw8mOkHcM6d*rn-dZw%v+~Bc1cWHj#MsFBcA`Qj@X83bq zT0N(IbSBR^JC2BM$ zZQHhO+xENdvu)e9ZR2d)wt4#dyCXW{Mi1^FM^)phjFoFWDH>CxvGg_HcwFng)mIFV z9r|3a6%)j_#kwj#LuHnWjPmCY8X9=x*#~1WgzYlj-_f{Zeq=-A1i}7L&SCJQ%6Zv- z=rB2ucL@!PWWlI5M~1tr>MC0dxcme8B&e)3Gg^9KH@7)f_UV6|>lMXm&4_-UHln8U4!ga(6<$ymuXZ} zf}YHV__x!3piK2H#Mz&tJM?)bylMs4CR1q2XObP@_q8&$LR73QZ4{JOzYqPb)b)J= zSgY4a7?3Xf#fsCXD#;(2)N}9qxXrgkvlfId9ep*aRzi1qeQjw`mO|m-74jN3^#DoRC{M$4BgsY?I4$FAgdMOh% z&y^54!0SOn=ef?J8RpCwOBo!2LZt`AObH$c@A67ySjH2Ngu*`+(xkHhMp1E>V%)Vy zANL3`SpKoku+LzF=}E~M9OpL4%JI>B&$aAnICG80VDMh6IW>3BcBTeEiZqe<85W*( zvDT%XC~C9G;LxPzp_fe0iK;iL-Njw+#9`a9fw6EL%j+|j-RfmV1!=;A#um2>28BSN z9vt%k>-|}+x2cOvY2phMUdys7qT4c_B6DZsi)D|`YTG}l$onDcc{lHrN~8l7n^z-w9Jxk!#A&q|VwwA~ z*ZHLfyUB4@S;1nfG*(KusQS=B)If>hu`-n2F!G2lvwt9K@ua<54zs)*BaSdI!i7(qv-!*H}CW_6f_O;aP2 zGiS=I$yvD0vV-fi-uYC|6K_d z-n(5G&8Wlt_JhEKc*TZ=DDDPtxfW?f=-u0V*fz`16C?#V{k4a`pWmkPSQJX#ih!qL6zfhv89ZW(-8^k>K_Bo9*u`uLdJ)MC&2){-pnn% zxCrMkji>?$?xSH)#*310cJ>4gu;}HlhWxAJ!#me-zT}E)8>1nO+oa>XP3dkG_#@Z`14QPwRkYEN8c$l?v_mAQK$g&_-=u zY{V56Oxs8fO=SD81h+$?;f7wG*C>V{pExhsug|XB|;Wo3ANk&0-#e>XBW?zKC(!p9TOkb@psN9Z|=$1pN6u*QcS)?Q4 zzEQggCVMg9WRt&Y7>6=dQ8>Zl2O49aVO`b#kV+ORO{`z0%+7dKzfM8=(vI|+e-=_$ z+s-Krjk3=CrElB61RG(?3wo96(iNF5g}F(0R2sv6o`>_8)DgdnG?Tyyky zjNySMH6#@^JUH5m#=~(rCcV3ck%#~XzV?WTGe*N`+xU*mKU@x>QKv-j)u+8w5|V#j z$YChBR+NCbR2|gw6)nY$UBQ$J>DB;~swtnkpORpc9Nj2z?9YEwsnf!LQ@d2l2KfSL z7ak8$)opZ5pn@`C%LwlEBtpMC*lsq%T z*m9{91d;@zcufHf9nnp7H5vQ+SWjb{%CGCBi{#@)B9T-&Y#dt$R%?`qlF2=6uK3b+ z=NmcQh8i|V?Vr)CgYo1rHDhZ4Gb_NQqLr@}wUKbtA@AF;&s;&#@dYwx$Ma7ID&)C5 z`ABOueY*(r1{OsCSx&a)-+?<=F}6P*0PSJoRKlx`=DXmo^@yCc+{PIRwd>Fj_kf-D zw!rzT#7|P1wwHgy5Oj4Lw>a0FFVHjcASRLjtT1wO6h+@Mz_P3IVw$KPkDLIDxUKM+ z3!BfIyb=B-UP>R?Yn62lf94u>9)~y1Y{RCVvATYrFmzpd&^*(HFWjtk=Q0S%(} zo&RVx8HCL!)9iNrFaE8DJs@2Itd-@7nu7GBQ{yjbdwPvWGn|kFbcV?t-Vd#l`PHZN z``0#K!Rti^k6$NE58S>9Hg>49-b`4EI`zqQ5QI{IAk!G0w{j_5^pbttKadJZ84iT= zLPQ%Mf`T;x|C1^=b4})eMMxgiMh9VIO@9ytqXB5kCU3VP_g!hqy`m_jMi4^@Bu@#; zn8;F3YHTb`&H=NIFeo1;sDdtCx&QigEy5#k$vSGpxsX7!Eg(K0*)nZx+b7L(GNJ_Z zecm4`8pfEYj=LvfWFxj`^KGSAW5=NMWzEJfwr{D4`RIxZI!;UFk85~tZq~PTv&oXY z7Xi|BGw`|`fVzCKkgeG+?J<5>mRcHtH@tPha7ozt;(d46x{M!xZNBtMo|_`v5lQ0- zUYrZs^OwjL@#_g3>NTo=_BS48u+3C^)gu<+e)8M@ecsP+koRZeXp1FTg1F!BZDD3vS#Qb?p4O^)x*5up4HDCZdJe7C3*nB7bhZYr05 z2(Hn$bP!Yyy zH3c#jt-dfFA-24t-5(`%r9@?Wufld2=NbA0?U!*7V$nY~+;Y2~V06KC1q&qkC95@O zK96I)ij-{A&WaV-e3@L~_U4Vh0;A;wY%eHF|M}1+P1v)4g>P}+f5H_Za{|`sT~eS> zUISSotIRaZIXTtz%>}dUAoxiAuGp{~I`=CiS1ObjnaZM!x?=x2XM7^l1Xol~;1I5H znM-UQ5EO|sgYK3s@^0ZsZ8FsCgu`}v3EqJgFrZcOLDQ&fq&X{>8A+7CNwFdMVJ4BJ ziQhv1Hnc@a9jW+48)lj)BLa>}(DDN3?9(ZSz_&;?4L$G~8HazGxvF9Nf7vCL&9>Ud z;%IxC*yd;zV^;ngmG#2-HN6|6!nJwPHc@$}6yy3=m&NVOBM5~1RX)xKVEs&gRPf~2 zt0DEe<(&!SwSwlFX_QbsFfa}Zj9O4$Y5lzpx>Ks#u+$TKRWc*m9{|A9H3ZafL*V&& zFFXKi75PqzN%*>YmN!aGk?G2aJ-J5JitSf&h19_jE7HpMyYN_(95qqp`|`0sm>oqe zhE9w=j~E>+(B^4Gb)cQ7?&^%G>+s*yVrzX!d)6M7%vn&xM4EWt>AG4;n?<|hk;RkT zrFo-kiZpm)?&3~1r2}TvN3GQv;%R4T4WCPh(4N;%#WBuQ1O!Q@WTlkSL>Qt8rpbay z*Cyc~f)2#rYGo^=PD*dWLqY_(&noI%!w3a*N2^gbL*F}U@=Zw~7CHJzUkd-%yGz8|K}=jMdSoN{G@5O5J#7lnmjgIQ5Oh|j??;g{Rr%b zmvVC8D-*9m;t{TP4S~+@zz`9Uf8?|&PZ``6S9KPJ5#8b8OwtHu30JjPNIvvyt@n7S z8T{w{WQiI+gca~od?v|TH3x4>(vo*T-pDIcU!so2yO!{nw0eTqa=VioJyVpe#GSK# z6_T|e6&H;(xw08@$xm-@(yIEsz~h-N90zX2@*Kdp`^Ym{V@e?t`~rHfA}d6<(rlF5`w+9zV9kx zJONym49;8%HJY-{wx0M!gT}~6;yV4!M;OPD`7TR*P}vsS#7gF*-b9ty|KSl*H!=xW!xeyP%wA&tSAEl(0i52S(@?CT=?Qr~benVgExD0r3vx4}}3nE)YX3=68^fJmD9&rjF zxR~q>e=6Uzp-<3qM~wZf)8Tt z*9%DNJ&m*KyYs$&^*;O@n72Y5DOGI1P^!zd{ihS(0I_3>ZFzyx3D_<>w`Q=^Ttw6b zrgGpC_51}hLu4j0J_N~4#RC$YaFnEi-NSb+B^^cc@R97ZQ;La@xG{dm^a6Vw zF4FlK?{9%?Al%Bo$v*4>Ms)ky9fj)qYg=DQ;vZh#z-~_3 z7|&^cyRDPJvZ5q^_J-KB^`ttPX1CC-VIn_h*k)t=%5nlQpB|6s4wxx1_DnLPq} z&b$trAdjn9AO1N-%L+c_h|U-K$^!z{{O3+4Qu`_R-%!bXY_4H}=tS2KFrn0L4(wjRCSk+3 z!|ntEld@A&t?CYX>jaJrNMMUPuObttiSEr3&HxGpR$1j#Sz1PC-(Cx0PJr|gw=XAg zGaNeiqmcfmQPPU^gtf}_==0Mq|NfwM8W98~6ZvZ-4eF3R5X7%S;TE;C#qvBDI-vhd zkz3;5#7>2hn={1-MZP2s%Qy;MRQ*Ex8U^+^KCzjlf5}R0vv!cUqn3Hf+wjkJ?hty^ z^58H3mUVkTDh}lXXX_h`YoqA%WT<`sRb#OId%r&vWJQjK`QM%%Zm$2=)5F5e%9>vI z4oVHs)=u6ULk`$899)tGN{<}f58rjGvEOKFS*#-^Z=wMQ87A-P5CPJur4rX5+Q8+Q`VFmbT9{QrczYec$`_)rEzMy|nRa}xvxC6{rVhK6lMC3VS_}DLb7TUj z{-yEYOCXeY9%2jn$yreJ+EmTtNcTJ*5pKzn2YK)!h-|Ie7cHIXEJvv(_zLQePSfpy zZQJRnoC+Av9h~X+`+9Wr$QY^=w$nFcdN_;e-?Bw7*XY*oN;?}`pedG7Vc;rWDBCvg9w@&TV4?4z_a&Sqh>w2j}G(9**6Sy_KIH-;iyXOcypxC zua^khAHGXZo%L)y_T<#q>`k+nI=$;po$79C5H>Gc4VO2JSi;g*d##S#n+X9Ho(>pX zxOLPl&mqs_hI|Dti_CY{hGbRG_xRTAr-VcBenxn@QuS;O1>^#S_4mPtGQ1&{BwX`v zw~t5sL|wuM?Uv&}<5|}Nta^J!R{1eF<<`%eIuFc6Cvg|3Wyg}r6b?WBLDrPU)%S3( zauC_0Rn$v44Tz+__)Ehuv0wovY;PUC`EbMOEc>ZBd$wBn#NMXiBZXYRl(`n8{QqGU z9ipecG+`?Rg1$*rz8m+HJAmm~6>{oGY^c-PUYn=K;y%pg+4@ubsDMG$*zzJIP~PuN z7MjZr%bs zTlHS>1Vu1!8cvms&Js9d-qLt1Al?|n8qJ#SnNFCjNkm>h&0zJ|y>24ZCW&dAAAww^ zdjg$2A_NfenswwrR6&z5NsUD`cV1M{3Bv6b7Hm`wU`6(p#86e+xU#quEQMC}02}9R zHF^~So4o}%HkEych|Nt;^bR23G(H=R0B!w&S5nL$u>1s*qxi z;A-V}SJBU^9QhtJ6O-3|39m{7&eI2V6TX@;$DxBCCG3y zK_(Uo(-GTT^o#@Os=Hm*naj=c(F!>1i6LrfQN@WDaomQPgM%^KYg>jO{h%kj{Ohv` z)>+D=VYzG8BDj9p`QFC}Yt@Z(9yoO`FKRzRT4 zLlRnWLMvX%J~r%nq0 zNwmZ{y4qkrg;O*4af3Fl0XZa6V^bHY-~z=`ie7@H5#*)n%j20?e%q}Z*)|Hi(8DWZ zq2Mclaxp+RC89CH=j5vh+$E8=&^oBl3mk_qW8~>S!Jlb%Qp{$nC?tYUEIZO-wFZ%6}?6 zAq04!4=k)6$wF!2TQ_80L}Po=f+v?mEC@b27USL%c3+w=r*VQfy$QPZHlkT)@`9G) zUbhU4p?xEJ53v@7$wHm{YmcSi(@~5!@bY?L4%~=G`I$U&Pvvt>#m`NRgJ^YMVq($^ zDT-J$d0p6)kaP&suy)bI_OjKQJ2W_8ZQ49uE?^rKIBt3JTMUUda2H!D#UZ#fM;}-g%`Yv5P6m+;$n!lq+4} zElHUdhh|Cy8$AIFosX2EKA1xD6gA;^$!}%on{@|7+c{QoeOHZXq zg7O6KDvh-0@bWh^SkTGS3z8MzNb_M2Gs!;!ShP_PoWOH4c=%ca+6q0auG$iUWE(bV zaLGKsnFuvjCAq~5f}W_uhX1(r5}%(WY3&y%bIo zet`wDYp^&jLL^K4b5IqGz06!llrQC!UJ;nzpRX&Zq?YXY_}mel-NxsilxJt034qvmT$Is`(U*<> zIkXukO&fHHyrZy+ijk;ftJF11E+h$slwe6ud~luZtCiR5`bW&EMPr(Kd`4(ZB!--U zlqYZ9e8WEp(mj104sV=i?PhIfo+tL+b4dZt4+NpOU8~*t+~*7-o!kG8>30MnIKD4R zvzx2XrXZ=<6d-oW;-9DGMR@CUv=fBjmVT&~|A$Yhl~uXU+! zukeQL@kjDdLq>&|JeGv86XtTCF`?jl7uxFvy1w+Igh`Opwk_DnfTk<{kdDJs3gg}U z12fUBUNon^DK_$HxKyxNS8-~!VyB&uDHIPEuGIa-a502u6COF8YJBuV}8!44e zDMtxLOsyHA)b5zo215>jEtQk~N@P@!XS`FF2{aCvL6h6+ic?DOkE`~3fk8XLTLD~N ztv}CwBc7Fa;Q{_q3BR+X^A^}(uX`IvAcIor$5|Z;DB!H4M*@cK!j-6_gNcYB`QQg< z&>VU0bNtp!Poh=B`ioD<@YTuI;AEi_$9^%>{03Pl7FfTOlvxB`jNjP@PIAeCmQnq;Rum>uQZ)}KoCM3-pTyrOxmrN{<^0;$mQUfAt!0cmXItx zboBSZ3Z;-|+a!lT(KW2=_xN`s&0}EC2jD+g9#v0T`2kb7&R`oiP4X?%G!L;fP^E6b zcTzL{D>0g6PmS{{HKgpnL$u`V)X+)p*Id=XXj@2AfgA$@kS$LYdbGTZ)tCKEko^8g zIyK_z+%8&Rdm?)|VrK`pZu6A>9AYmQNqA%dTT(KeV6PjTJ2HMILI*YXjiAGRcYFD@ zE4Mok(#4_>ukXI@lK15xXn(`)uk|0#x-q%Faz3-1?$TzD8GjgVy8O0?{<`5JaTdV# z#|75e$2Qvp$Y@YS-BXvr=FYAbHx$CNDp(9;3Z3cZ&q@MroCIMYQp`Z&wHM?f(Nv=X z`9E38J5SA;#dDTg2nmsj*=RXuhmi=PS*^_hSrm7XQUc-`Dh(bsMZTMy)AIPeS@P+Um5VgKwtP3YxQzW8C?{2*bAS|i)CjLQ z`D7*t*CC3_JdI0QxHFa+4q9i7vt97lK5t!P3A1gu3Ggg7q%%wWfe3ND@%CBcc?_5` zgpmpWvjPbLh&Pw>Z-FNRcwuJ6T598Rq+2E_ob~$eJkWY5mlR%Ll zf?S+n30QRMwKVK&wS2Tnfppile3jkWPd6Q~Vz+toTvrkMpf*^9xT~rYYoa%CRMUeP zije3h86U8MPy+Pj8u%KOS(I?z7~@YX6`ZpcQ}r64yAspFR2W9F{K`OW2uAr30BoDD z212--r^ukfQM^mIT+u8Cv!7#b?bB5X(k%W^gVX}+9%y*n&v3X#tTsz?)A(M?hhYj} z41euk$B$Bq8Zx$AZC`M54ySR@$p#Lx|zh;!CPy>97;w0LC+U63o(iEv6(X58pP(>FkbkUC|3g6 zVQVs5JCsF2=-l_vd>ONkC#^@U1WFHp)~=XAhF#p2Hqbh~cGUn=8Ck6umP{01p}%ts znFz+xG46j+jP6LUaua}QuRi5~j-o>OYNL*evEjFGd-&+w9?-CL3 z0{mZr{8ymu@h)Iawuqc;|2JpM%Ek46Vmmjw)~dLg7(aD}i-gHCi;jC`dX>P8jpNfy z`|J!f$+#QxZ-avk|{pv_GWRSt=_C55FUOB#B8R|1e? z0`m|+DK$IP#8P44keT@;V(^$dNGMiRmC>n-6h~%IFwe_V#1tcn6|jIMBO;JZDg*PN z0X&|C2|@7-tHrg^-j55*C{1Nxi6m$%Fq+I5n?e@os)hJ3a)E=CR8;bXrpFUiOf08$ zVT(K%NK;njuzYMh?*zD5)Ua0OZ~!1PUQj6ZTWnA?bY*rR6>hi2P!!BD5ZT&=F=5fv zKo1}V9pm>D5k+!Uty&_7CMMv6LAX_Im_J{=p$H zwz!la2AE+Pkh%ls`{->rk1MBoxS0=lzUS*BG?}-lhS^T-U z!5M8VV_W%)QM*laeAs%xa|u#?^FqzK=<(hMjOJtyvF+c-t#9z(MnsmKQjhM*pE!O^ zIWLQCU0e!1w%G1GV<7k~ckwq{wXX3mPS2M(*FB6@uf^Qr9(o(+Kcw5EKkjkO2nkPA z9!*2`jWQ1)8k2ia)e7gNnyMHoL9gpFG9(KI5g*KR@sh&lalKD4HW`ICPghqf005oh_$R*KI5L94pU@ zM{l;J-ECYp)Ny|%+Kf00ypUkcSkkCbtJTVSOZ&9-8>1e$^4Ia$hJ9ulJ@X#!x{t~- zXMQP078|$)b^wf!FVH>;RTtIc^;Z{(?FVH)d6xKkOPWSPgu(m2c=tKb=>vTnCL z@+Fp(sFdv#7PBJFVCX%(^B-f@iio46bB&|X6A6i@UqFEvxKfi_maTCwowUn*ixy~U zmn_vEQM@7PWCr-v4RbshT^euL{MxY-kXhs9Pb!W0GJ?Owh6tB~7tkzz`Tlpr_eFH( z45Loa`V~pBfM6KFHalEVjQgt|X-XFP<#nluE#7d>Spl`40`_nEong#oO&WXk_E?+y z-XU^~6TsaP4H^8@dvh4%JFSJX^*P)TMd!1LYwkkH#np#ZkcPM4V4;|)zuyY8zCf^D znt&$-MGL}S26JBHVPJGHGdp58c6z(R1|zeh5@P(wM~%=QIY0esOAb%1_&5F1$dsk_ zY8d|eOHWbI9#8Ia{w+aW>z{W>3&>c~l`s{qD&QNI+7nV1Ig-}!gU+oLg}p%{gOTG<0C@i4nRuklyUMWl*jIf^)=L~ zf1j&KQTdmik;q>1)OJ6YI+<-Q=0n(+7m+Qx{`bX71EKnqsr$y+l?7#a82C}ID?;mu z3XnmvCpvVvBw}|ad-4nrzvk6yb*JOEsS3jw8+hJzZ|RsD`iUr}Dp+?byw7T3$?FUR z&vZIKOeHpi{Ml%H=gFBF`K{Q+r2N62LS)WdEU3c1PFh`LV{bfqyVFwogaK5|$QqOQzDl@rPKpuJ#OCW|R=j!4x+qP3%l22?lLPmvqjSxwTyp7?rP59{^lh zdk~r_PBJyRuVls#L(ieSA~Oa9$E#0qh}*?5k?u}R9$JqeM$zAxgymqWJ_(8EAJcxv zK{%X&RxVQ=ySJFy(RMMZ0EdbS?gE2X3sV{ktJ{``K)>4XOvQFj3LdEnfU>f=l?W_z zd0!ySv;ZvXBCe47uN$q zCx>v2k0I~leA5zTm0~%WWABL7G?3gTd~}iC1Ff_7ynuP^gpaT359>`2ALn+ioBdvf zYKskj;WFpj(I@0TVT1ufJA@y-Iy<^MVoS5lVD>$(Y5nt|!t|rGa^)LtPXNFE%-J^7 zaUCh=KROK^Sn3)I&WH$b9ek7}Sol^UfCIZ}&Hjnr<%Bx6>CikGG8jpTERhqR&#-&) z*Ip*5shk;0rgzF*YW7(l**^RB$Votn@x|!d97e5PFmmVJRIvxW6&MCM{oa3_ZswbN z0u#jFIo}qmWD^HdVjAM$MZgww%5?TMcgvFkvvDLG>5L5!_nSbkNu-5io}}G)|C1ta zh2&U?~Q`#IoI%&IIA5s}?Qv+5+j?qn>gYYK#t{fY)+Ab>W;2DE#Ujwn1Z zaMPR^Ym2%qnb|UdC_4vrIJznQ+e4_Cds**We}8Y5{gY0Xp>RGi?M_mZI)i(wnS;>% z>?YXDcr1sw0P}lqa3i6UIc<8+?pyHmmh&`&1sWjb#vl|C@O?hkW~hU;@vAK~%*=*b zWQeER`XLQ1nC$0=I>8FwL5YW3jRAVEdMD3uB;i8?`>3%M_91wEjaJ_od3RbvIJBj)FK!`k=*!EOdiXwl+<_BQ_)aEqC>A^F z#Z@OpZ}Y7%Qj&#m1^RGhy`u*CRcuXQLStc~@e^*)3^=$eLY{qSsSjBv}LdDcMS4j3H7P1_0)*Tf8p@@xt>+bj@PtX2zKv8_RGQ*CS@o})+fzSC#^sy zolqyWqiSXnm9n$|lGn8i4}+e=-TyJC;Nmtag~I)2=|S-)n&<2)zHG3b*Et60hxkLj zsZadK1Bd|a-7gllzTl6!m*;MO^Xr`bI-UGVj?ib!F(2ZVr`ZVzpIZz1rjGV3CIrnE zTtE18{84@&AlCC=A@i#!Ot}Re7qdeXG;r}luF8lriv-So`(7!ABxoG*_mT(r}&y5WET~ubzB}BTd{`}81E4Z^A@Xx_k9qa|=C5_J5bW>i#wG7=SKR%% zT2U0_3#}_(X6z0*!o*eckk5M}z8kv zO9{e!=y_l=Lq|#R-g;x_yN0th+BvGU94QY(lvnVH#`qo0DItdryg zZ6Ukwdft{pw>&I|#%ee{Q+twTnUJT-|fB zKQvW!v{pxdD(4~`$cldosL^)X?~TbUZ;l_$o=DOC(N2BysH>{dbkPVPOz1c9X33eu zp@2pM=YJ>??4MwN=spm3<(qa)cG(IWeF7|Xu+bWjZ>g`GdLImVA4mc542{M)Ju-xL zH!<)s>VHDGRg&iZK9!1s$$E|+t%&g1Ge%lEFzmL&WV)j0xEqLIu65@11?ER{V&3Dj zPk4XKcz^U!#Z z#(72b%m5pW8#ABQUi+PD_NB?^j%_uMP&oj97NA=oz|+S=qwP&|KE8c+Sb{)L!*eUb zh2Qyra>b&tE`QU){%SbDps3ftadX4JQ{n>ot_9AKDbrwW`ZXYgMEdUAxz#G|a2S7=VH*&{)6e5LTgICF#{(RnVr9&>=&{%JNqNu z745Fcn@+O@Yf-*ryCbf{8CAI$)MoUm(!aN>Cv#`LkE7ZmHnRZK!o*OtQl?UwyM%-B zu4>kd$F@xhj6FZy_BvO0hvCz;cRQiq>R>YrAglIXP8qCtl;6}$Yxz$gDdcXpuw;Az zzs(t(=;m;b$r-R7w4d}MCP#5@vL*1B7WWKnME&kj_h%%50W(tq zAP5;4Lc%B-iej3=s?rT(O!CpV1V*JwnVOhEOd^IN!Bzgw22Qm(pSGelI#EwWvQw?> zhsBEV1WSRgZz_^8hac!XNuDrYWoTNN+->LF57~^C~Rzn}~%)D-=%*bFTJ` zq?y~Pu;uPr<|q@NDm3Dh3szKY*a@~Vz#A#;f-W|G2FXZRhJ%7UrgZya)871{<#xh- zIg7kAc-v0SA+nr(dIJ8xO=j7vNQ$;;nX5=65slXHjh_k1gu$O~b~@wc!e!`eEy1t4 zg``MXl_3!N)`_ssTRyj5P}4r49yNywFnb?yvYyeCyToa9EkaEB6L($AgHMl*fFaeF zS?Ol34x4HBFO2?~Z{>d$%Iz!04^PZG)i0Cdj*f|%i-c8M;;QvbW3aghcr$DATXb2F z&-dBV_wU<$9MfYWucVBEvj~AIrlci;2j%52raKgLkiUD&NjwpPm?x*ZEM~oY(;uVk zI_l{^(ES_;mGpgp5jD(Hv2oB03f- z+l55oV&QQD4M9^Coo+wgeBeU)R;w$Em*mu>A{5vvQdLH`yW4|O{v|3R@`BZuox`%Y;^wD%-8kM-{1&~stZnHJ7O9T2gPL)*+*LJO zXv_CIRHc7yj;gluxWL`J!AIN)wo`Q{r!T*QIV&@XN^o;CiL*9aj}YUa!Lpg@%{f^(f_})CQ+OH`fiQ6C84wSyIr=t>!U7xu9vEm;{F3i zS=5L>B3%Rr^PfluT?9ilXzTJLMsI}aC0Z9>fqo5fb?g)M8rZwf-+3fvZ?uOnV!b%r zfbW(7IJ)N=Ye2oGlmvH9IRJJ_zylve4v!GRAfmuFa?SeO}r|QJzC#JYm@AvbZwp;IBXFc%frubQmnI zJ}h(+DBrh>C<&FdW^t7--g!@#I`R5;_o8gO<@>9@V^MUzD7Gq$Q?TUOuaC>fYk#_C zvy8o_TCPmsdvEZ5C^qHq#`iZ_S2p#DPoQiN8RE0jMuky=XROjeII}BOOC5Q?EfcS( zvbGSW|6E4+KDLhALPsh!@nU7MbrZ?zCs>?8_~$a0MK9?r1@WZ);f41Rh70YhAo3I1 zN0KP5lSQbE@7UbTZa0pV#<{^)#edd1f&Is&NjhxQ<3#( z-FBp@Y||;xuvI~TNwUXpILC=|fF-FNe4}iaE4UR*f`|4F7p_7>ALt!tvwwc#?X$8f z>#Yn_5YWoHz8$IEt`J&LZ;m&IuE>SHFZPYRkqn&bEij9%T*YL-m|5KC|2Dn@HI3WO_kU7heLDZV`=MUH9Q$BZuU(- zl5%-Dv_+ra8g7d^M+7{S!+&w4uzQrB*}11o4B09qTahYdXv1r=t{ItRZqYSys4B<7 z5fA;kDmQ!}e|i#@Vf+A!fN&+>6X!G^Wdt_9ZCVpcwB5_JCQ(Tg4|BU+)`{#L>4Am2-G7nT{Q(JWT@^AS zen*4O?;eWzt&hYS+o{sJUDI!Oq}m}Jby-={cj#p~tFdN!E_3LZFjmh-YlXHix4TYW z>!y>n>%z_Ns|p%2NjiAiz^SR_nTdsQlpQ3KokGOj)HXC+I%#=<9L&yDH3u;JLr*{s z?24A<(K}m>Xl#DG41Xfz3xQtOMJFE<2B5YVUy5Fku!r(6 z*;f#%C{6~EPyg}e>Aa7cWZe71IW{WPW9EJS^2r<%tCCRPn}5mM$1i4>pjyYL6n{69 zA79Pw#3*CNkP};zes->s_6G?z()MiuD3mrHCHz1Jze0>Wemy4%wKp>7l5X?Usj{a8 z@b>2yPv$KUB=*8HTB(#PlSV4=lWAx?BbN*i)p=er2*Ot=o(rlwD~8w25M?q$GUEa1 zp)A@t1?$L1;eR^0%pEn^sK^A<%0&XpoRSLdpl`W&knHQS+X;~~QQe|c?8?K6bS!xY zLbAG(IV~y)rLC>oxl=Fn0dy8yJ=F)V?~bJ;6)dZ$2>HlXrR2RO>Cqc=&T%e^p=dua zmq(wo7Z9s|vR6;3&!i#3HFtup%Yn9I(0JMcmm$#4P=5xI*(VR!-i;JEf){u1*Z@aG z#@yFh7C2+vHq{qo=^%)_pHRd4BfRFgMBQGwl#^Vf<9)+gCV=P*VBmzM(?Ft(Ue1BT zIQqHF=*1$D7D6Fdrei&@6ymySHVk>Cf(Ws6&rBZhrjjuWv6B)~N*BPxAJ_x;^3k#X zNPJ|~xPM->c{=FDDK}MFun&gD)dhLK-jy42-_W9Pwk20X6H?hDkH3bfRwichc$wAQ zYCOXuvJSAUs8+o!^PG!3SUtkpuFEzb-CE98czIG32YGwF)V`OAVz{nh)w8-q59Hz= zbAI0b5?aD&#I}n)S&1j zVaumCy88cc9f&MRr8C@7_{xi<$2U_!%)xq9udT_x?~7dj!ki37~P>O3u5YAedAa z1DG(TAlHJ{;(=B9m9rt1KbrP0M3Okbj(=`QNaA6xRaXR&pXg2+^?5L}Vq;vej@z~0+OPF}c|JAo09f?K~ zL7z0x6-PjnrfRk~ODmD%`=~YbM)KLndt`;GF3@4`us-)ncIX{>&iYv9+hP#4D}RJq z;OJjaGiLqG;iLyYUOgau=PxuB$_NdsMT;N!X0h2n`1C+4-|(3|ArY8g$d1beOmm#~%_5Oj1qkj=MzZ<5^d}(0^(Gem&-( zuOFAz0F5Nxn^%v1d*05t2_>6!Tp(5cw(p@$jFFV|wAgwW}Az$4@Wms}7I ztH$gKBc;wbj0<^tA)1won{5#3a)Kyz;pWU+KvPwV;Z&OeexlKrn*PhaH5r?#n7~W#z#2q~b&)KVP5|cDcUJ2Y)~z!8PM=fil58 z{SBDL{HY%O&Wvr8O-A9fVW@);LPPYbz6y=I&wsu&0Tc%mb8`)4ad(@yf13;TK4se)9YME#U z*Es#lF~QJ*%g;-l4u4If+xoO`M5<&FKI5Po=%mc5A!y`|cXK+~5J^K?9i9&Nx;ZYJ z-_E=zgPi}tVgdwojQts4L}!r4eAJE;`E4VHJ`zR zP2S^oGyFHT2vW=)8QB?w<3#A=eX3mm4?}9uiWu8C^q!X6-G6GCde!O9R1W@&bP=EV z-UH#6pdI3ySO0(T5v1vV=g!Xm23x#a0W|tz#uJsYdV<0>c!Vw4bUt)C5%Dz4sS6=qTLErpe-( zXYCgTFeOZ>XlYc7H$b}rXn|WJB)}+fRmy^(F;l1E<=?-tN@HL1JY_Ot(^#2xz!2sM|k-U@V8{-?(gOAtDWxs^o~1;SLj%O$!zQHkU#A1Syk^3la(3<-KANqD34Klc)@HH zlNa1ZjyfYuG{23simb4dTew?BpOC=BNrRsGGF@eu2*pr-i-}|!y}~?3b-8|%mKFXy zzlxNLsSyC&tW?b$=_ZMYDPyXABmq=Q^d4K}Z+(Fk^4S7w3?M3Z46*UW z!Li4Pz?a$Mi>O#q3)h5$0oSo+D8~eRqS3n|y$8&s^4;PQ+3?;De19|L5kp$g*t*@@ z6cf$ZY50SKa&EW-|My86e|;icL%QhkEa5Ds4k$Tb9x|3g?4oPT4XQU)iep5cu9LJ& z-$x^Yb3v`PlY>H1ImG9Q$7#bua>YY(4dkX!hvbIJ=^(4?n@zenmeG<5F_}FLT%S_< zZ>2Qkq8ZH|a7nn3)CoD(4hs=r6&f^S1}aqFl#3$08|jATeQh^`e-wq;kzmGvCmfpj zRv8<}Ikpnz?ezr=P)$Z6|2T9noUWC*M&=uNPoeJI_g1chM*Ff%R({Y==sVc%pgl57 zj`|1Az_-S<0$f&8R_}R`gEm?gqvzj}&}dAv-TR9}ebxQ$t7Mr}N$067*}#Ur!%53@ zK$U~D;sI73^1varf3>#g0~RqVp(!E)vUi3#M^#>={^x+lI)YG@N2P6<`;F5R-O0XgMRzcCk4dTV(p6wOufv*%S$K*#Atn@e_$xM?iUouKmp_k_|c$` zYbbjDW|IR0Uqca_;`{5QsMbly;ESy^-2I1+yMuTbTQnzb2%H}jTBoWxsB;*FiD*_xRLNP;b{d1wSM-sIPB zU!+Kx-ejug!6uFd(CFjqMk`p{ErP|{lR&;d-<&*uqtZp;7ipL-Zf+MzyvV}LR~hs+ zi{HF+z1}YWxcMiLWh1gM_QN!RJ&5StQsrJ}x0ipVb?-l4-^haTzFFX>c~8I9%gp-% ze`a|Wrje)d6M7qStGmka*s5yR_sg*G)>~aROrV<$Pd3Iq!18u~&l7H|Wm)NXq_ncN zb8rJA>s)(^jlACpR|*fK!$Udq@wKBg_v0e#?{WPOnE1F%z0a4gXYPC!r;#7W;o?jw zzes;XqANHsQp$Vx`TCvD%^TQeE5idH*csjPF*7O-eNdC|@`T)@z%R0}C+g4E)^;@t z1v{?gZ$J60hRegr&$wIO3NI}&6?k@M*5&VE5SR@}GXfRavMwvV2ifKMu-&#@=H3I2 zMJ#0;{HfN~nf*`5DTpPD{4DC_lL(LdWek7%0kb;`i;NXn2zfuVAOf0gd9mw){l{GgUPm)ciR(1$0Iy-I7s4TftgQs)Er9+}|fg1K=_D zqr4b_$XOH=M8YjySu~U&2Q;uU#2=?On}2+Re`HW8FtI7un(jfe2+huRX45`jh5#r{+YEOc>7j-V^qsK?FiFOO zOyZGrlV}(`h!r|0OJlgru!NL#+cgg1Aw0mtqoqv6E5J|K7UO(kjDSGF;QxWpB*BOV zOe$AB#f!OJ5NGn^JtpYxC&54eBU_g_Zs0d~Zu)W!o&7BY;_O41t z5WGiNRR#1LZifH}+UZl?gTQ|_7J!Def;=g>V_gdBq;loddwKop;$rT`QIYvkl+L9R z-@WmsHMZ9eOdJIgVJJZ;Y^^yKO9El*o3w~!xrfLmnI;)9!G>#ja-e#3^%+@y{^{j= zCZphEozU&j7BCWiDK~Ohqg_V=u6RM&;1WDZqL@2Q}khM2va`-%$^9$>e?{80YXpnMa5UdInF56AQv2)JYE#q zk?TtFT_&!LZorEu6@ZLkwDuScfcP0Ed*GU1moR_UHf#ht`;1qRv%|MCdf)JhKCxDX zl4%s0aMR!V2oZl?U0zHwv$4;SeW?V{blstzu@{drWSQ3d;VZb7WL7aPLkvuE#K)1& zZQH#aFB#ohHjAJ1D3v_+C>TT4;xaezJjYEb)N7iv_H0fdyGlETSai53nwo7G#e>>l zZjFwDW0cKDq_46blqvP-wkh`A$B6y^2)uF5j;?SjIbr)~ zMxJ72{|+0TajRiJ(?7BxRT*ORtzJ8@k}&t4bZ>eHsi#~m3c|tF#M6+P!CyfDDV;O@ zV8is9yI3Z0@W+?N5zT=m^qjHoF#NDYhfn#Ljv9aF5Tk}CTu8|zj;ytuHF#K-0Gl}h zZd-lnnN|{o)Kh?Wbqoxc08RI?vv1W4G*hZ{aB7R+ZM)-QN!GKhxCRlaw6ASs-ff3@ z9cBJZX+}L(Ew)xNGKyM7a0GX9?riE4Q4SXWXv_?JHN;m8@=@yTyQU!vqB9!)PQo~{ zIjMiYNtzucv7bco^clo1nT5aw+hwLEyWx~=ZylLI|1<&`Fp>4W#XJjie8{uHL-v=c zc@c!6^24n73+Z2xOwvC%M35N7%{~ifJ(OpU9tAHA*nA~8!u&5wKozs6__*!^ z6pUj9=KAUvDzcEkLP%6qc7z^PdAFrPW5R!~0l|atF72NcDF;aSjBERdO!U0W6GT;j-fxe#(X(2hU;E}uU>R-9L(ri1Xzm7F~<{hEx zRK(qfA+mNy znxO=sswkTswDbAX<%^j}wsmf2Up#+bDgaz6!`;z2KI`^5I8gh13&v21ksqV_kmyFS zl!q}B#ZEtH9V0XjHT;Fx+Nbr{ok$%ubIQ;~+cmZ%iAG_EiwQhZ{=R zE)iG@36e04rQQ#h%ee6V%~i%XIP!^$?60AD{>wSlgJG9z;YfCN!(Dcew77rS1Q&d7 zkgAk(tyy;v(5bEyv5inxZs49mOK3ko6_FP z$ezo&whst+tlQ)3P6%%2gztY0pu~UO=@gr)cF@O2rd)IYeT>V7-ELYjOjIbsM|$@} z?(%*K?$K4Q-08iWi41WJFqHgwU`U3VE=ln4E5o6R7EFqZfXJgC82ZA~uE&!RYU81E z3u@U z)9H+8lf=&tKMnoB3+hnvq<50h&h#%OKBzJB%!l`q-Ik`>5YofUx5G~sbA@mPY7Pf2 zf9pxqB7>wU%(zybMiJN!By%FGH#2PJegRY?BC^H+vyw(w;Yx91clzMbc!kMtDoEIu zGgTgXJ8Qa4%h_+uDI$MRkT+vxj1vG5XrYp+TMeMYZ((tu89UF%=^;trI}R`kFHB`_XLM*FGBGzWlW=1wf5lo|Z`(!|edn(j^rNEjuY z2wFs;lom<~6`fEP0jMMir_dTIoEBOW0210@gmZ8QgS&{<1;I!y&OLxzKDY2Az!MKgloNoUy$mA2 zp0~CDJvv&P!(I$l0J?zz5h7a8J_|$ee;a%lGEPKx6&E9j3*ZYbn5dZyg@4Ev3glRM zPY?b9J|(TN8hzOhVB;$wi0VEbj9^#=NH!RdBqO-N0AN)RGpm>#uE0)reK;fzCPMAVU%g+ff7V_2Lp0YOFNe?Vy9 ze~j>|zG9IK;2SXjryO;V;h9;*Y(;rLqgLv_x z`2GVThd=*8N_onM86T#6Sn^?1NCAUB4mgZ@&Yd+lZVU+GpR!}-d zy!)62-8yX90`NK+{=|nHJ{FX5hMT)_%$wGZ?xgC{h zqcZE(&l9RY@?fp9c$7}Fy!@Q_UM0ilj{LvcGeaA|whh>>kNq-18YOdg`G^l)&+>cM z2}6DQX*&jLW1z=|WW9fve@blRSx;iQHX8RoqgloH>d^|~x)j89E6Ce4*d$57RW6l} z^<%LEobCgcP02TD#M_*Nqr}rq0z7HW)&GNUrq4Ii0#}dtF*!I%Irkj68c@Cs$*&L5 zmx>oT$VI}pV)e`8*O&#P8or|I%- zswY-Ubsr|P1yeR5e@pgOi)@ya%f$9PFO>R4L7A-uo$1!(?~*=@TblN-JTT+b|DnTO zj~j~)H@>ZRIBJppe>pF~?t`?;U%k^`-SYP$pJaDA&&w9n^L&1-mdbguag(!fAew&4 zJ6`Ww=9|*&q{*~s`aLWqB6?b|(S0MZjr3FBUnU1_;j;G6oP^#`(ROjQx>~209FX~;E z`qG>6_2lYg_Eo%>xZrTvM}1kq#2mjBN;mypPNy@NdS7q%@UXnwbKknA^-UX^HrDNB zkwL5N6xGGuf5&Bg{_AA=XHlKZ=GWtS4MAO2Cl|-Z)kXDN^}CRzfAOMvUHx30;;s_% zlD!x$;l4JdcTN~*ORss4M3=mg0?x}|2>o7)%>a!i%W*0H@t@Jv;-(JKVW1i5OA|>L zD@)$|YquFHotl$7`4IG&gvq7jRe@os-f}VIl)PU@LH?)nNqQk;+ zpon+fbU+)0@&w6?eYg$^%lVSGPnD$-0ad}4fwy)kfIQQUs=X(5SZLapI7U?xZ;>L^ zNa@|k^g6OlHF@gwGbm0y>=|!?D%bSj&0OW169SDYJlv@_fMe>1j#@sPN#52~^%?9} zZ|Aeof5jM%L*HJViR#_>>vB_FHigf+mhf5oRN+(i$aojJZgnGox)DI#2%v5RP~ZE- z`_K1n^E;!P)--J+sHU-J8hfU(XBvB^v1c25wy|d$d)7R&;C9YX58ZXKo&&-gJiANP zJ3IB^MZ-lZDJV<=6i0}Hm!Z@#^ujU&z`_hAf6wm%LK!^HgDh1)DmwrwD1_Afu0fU2 z^P48Do8I@rq5)uWVaspq7?w7|X)4_gw%p;>l_IJMhZuT&A43_LyW18xA> zH_DYBnyN8BC4YQ_rOA@r1Ka>%MM+o^GlyqP{+7llh3a)5a08TO8gs#V{_Z4{CLs3$ zvMKJE3q#r#vh^^{J0^>#2|AQ=j^5^Ymp8f4iOK zTO^zHOvZZtcoy58l z%^v$%M+oC`Hk#dTCI+eQ-G%44zRzw%?*;^azD4%oj6dZgYVTq^HA|grXK8p;mah9B zxA5`|*VlN=sLM#@ohYX}x#Hj`31{{o>%adSK#r5)4if@4H=a;uvpMR~BRj%?RN>;bKRcu#jlq#LVTe^Du?3bo*TJ!`&Sl5K9Jq@_#|Ddz^nKNqJ$L$5;LA^89J)=>iKR`!{(rls+Z0VB zy}+mBemDOS7#khjtn;9$`vKVKYgkCAgFaq zmD?1i)GCi-5$%Kr()Pu6sDELDZ*&^-6sZkh$1Cn}+qtk*twR->$Sw85(o(HTjF~O< zYbFCJMozg(Vl!RpUl!+!RB9gG*!0njO;rw`Cq(!An$!)JdtWyVZvm)B2j+4QZ#EU3 zORdwn7;LWNA*g%&?NA-Mo;%$~Kkg3nKMkr@E{`+a<|)_)mHvwsDOw;;WR zBaCuK><(^I?Tco|Q+2y>?uBhkL-jw=&l{VkDhneZ1dgyGqMX^Q0-H%p@V0KZxcG&& zXBJrKr!GBGVU{{#x7&Fb>bAM5g+Yv`!4fiP0=@))?^5KDJVeoDpC14k){$W@G zzgeTdVeczF5^`J+X>Zm#4?a}ndgPm&7q$o2x3Ey7W0j}z(|;8z&ZhdL#9zjliecT0 z@hQ>?$ESz0+fc=yGxn^M@zAlKRt>RpBXq~&G;piiT`wJZgg*b1 zgz;X5y&&@Tv4&p@erz~&lq?a13i6YY)&dJ)2mpX37jAPEM*7i^VV@8k<20Q*aSZkK zu(T0cg{il}Z-3vty+u)N@Ez#vYY_EzfqM)dIr3v@L2xdt95&6B&dr5!w5*dAY|L-4 z#b}1Cq~m_*7=_dhUzH<16TRLS!-GNe{%c*#OoYQbnE%2SMK%A z`(ZJL+R>d{A_;<;>>(;2@n-yUt4x;se~`lyXIoOb1b+^Gh8)CSSZ!1q8uk~NIEpo`tD0ZU3RENWYLP4bCKIS&Az z4c$?`9e)9-f9A|c25iqK6183Q3gF^xlKh!K;dfaKc%C+Obl#j8Il|8|9+GQVM}Xh= zMSE9q->_9)I1NUDR)rB5u!;(80(+Ayr))DBX|`uLb31_D^$Sac{K^1APxGfP(MH~+ z4@C`p>lPI+vUH&ED2t)k6n({Sl-ory2Y-=*K7Rk z0+R@{4$}qv1m;_B2eoXJ(;)Gf0vct;%zqF}vN}2BoF!u(06S>_(O{{9nuc5?c1=74 z?4L0ai)vg2$S?r+7KvlfuBo42$1?$~i6K3?g^qnK6ZtgR1~T09m3V-8Oea0ZlAxp` zWA)%QvUW&OYvv@3xEjNHZ!Yv6-YG63SzB@A*s#vXC`PI{C*U$+Ip!~pAxDetK!4jC zrVf%D1i0Y3Wv-z*Qi9m^KmSVO^oFgAMDgZ>h@s>n5*i8 zFPFwKie2@yikwrW*b3v1m#uoegxYtX`Umhpj}TYt(wGdq_nV@1qjKWidYIQ;Zs?DHNtiFky?%3|NO zC{Z4dJ`7l~4+Dz6J{)N~;&hgN!6#0-g?@~>!mU4(H_s%dB0c-HES^XQ451fH89;0B zQsxA|a*#1x4Y|}n)^#2FfXnHgXgKtfMneyy(Tw-1Xh^Z)^ZmYRxkYjx4u25kw}qrh zFidL5@Lgnv78PT&%!z!>S+V!P8W-xoFOa`K*Ml_6dWTzI3H-Zeec(MnSubSXgP<@y z*SmFQ+_^36!({oW!*yF9>JP=3_Bd$Dr_0KsaNs z2aP?kb}krurY6okP9=5DDt`&oJt0|SBn;<(j%HxW3Fbkvy#PcVdqs#RM`9gfs!BY8 z2x7M@#lxxo@ch{|k9hG8@(&)%CuD2KfKmz(^{Uy+_gwG*ZfXn=Z$T9*>j;3bxoS_`L zAxMO+NVe5nC^vlQhkuSvuaptpRuER`6w;0A-4IOj;2xoqHlZtRj_XSbJ(#Z?FC(*PHXaJb|1mAy#n~iPnQHAMi#JL*{}uWGb@0p!M%J z&v+?g{@>88BLZNXVFIxLYqUz9Ub!{Oj+IqZy6OP4kUjN0cfaq>P04LW+_<;?N-4@S zkJcl1gNm&K>whAjWt1i=%;Wi4f~S>OgQtnli_@eS<4Wa()2RipRej9Z!E;2i)!$<2 z9ev*#0_4rJy$72Ag%_~i3!tisySC}*t}PhYzUwG)O(lrJQ(SnuTC1j^~uT6Mm(laUUr2;5YE`QS^Z#4F%c59es3GnX0p-o+S zo=y@}(g2-W1zIoqu@ioKVazg-rkF9y$1xm^5WE1Q z?U`C8*c97e&PUHtf{@CRcp-zJ-xCNv)87{D#eWYSQai;zFdWdrZs$ySjHBK0iWyjA zkNdg9gEjYq1YQjxy5|ImZ%{=RTG#PNc?kbY;nIKv@JbIZvvLJdu7V^n{V58=W~e+0v7yglhw1<$(2tyImm}9L6*owLzOOe;we&yD z7k_KO(X-1|ou+hXq5q2^8zD1(^hyR4q-3FW3I$lGWJ)+@SzBla#0yw_zeVz+#$mV8+f@W@k%|C=(QF`cuj0-3?FIR{(+P!Gj+vh4ClK(zbhdBF1HXN2zXRgmHPv~Qp(50 zi^Nw!5-c;jvg1^ix@BcKxI#f9P=Pqzk$F4CC>^7b2V+5A@N8?Gico+@O$;v*RXp@C z;(7=ECxVpZNr|-LC%K*X=i0lUoJtF0OALGNbhEubSG_DL7uYso%#|Jv9f!JiydBwb zRw`;m#+hrA|JTAx1T6TIFMco^alcEhB2uB464*EwR~XM|AanT-%s-H5li>~%0XLBm z69h9dGdYuRV<>->T1j`?MiRd3SMd2V;2R4@V@FOC%gWf1<9IANdE+DpkO0Mg#=@`x zX{292wKWzBnsH8O7J8|!<*NnsR<|o}_0Ka;p097tUj3kwl~QgNMgHn$w~E45;zw?l zu5OCeZ_dYlQ|ayc+z&nH?OLTyZ}#uC>CF0%n;&6qyvl#vEcRnu>aAd!8z%`b{T@~Y znRDPBczQCK9(t}HD_BLdr<*VA9r|t-#&&XD=8b{vlZ3Z7d)?gP@7U?~CBOLi>D@2u zC<8Xa#JRa-;??E9k*maMcTC7-RbCWF7)GJ2zLI4=9F=mn6<3 zE%7~EpqPJT`t9Cwk#|h%_F6cl`LR0_ zIOM?(pFh007FtvApl(T;{6p7=_Sof32UiMG=Ot75Se#peg7YrtU!?o#_T6zE!p0`w zcDg0QLSkz-$t^pB0%d;^!1SEM#9NBC&UNDs7ffA0^!b8=GSbv3%3a=9-OD8hN!=h0 zmmGiOr_a|n3r>=NM|r~n;&s;>DauVqOHMP?a?p zc+SdvdP?fKUYglMuHOPTKLdxK-@jP`9yos@iR|P9U8O6xaM>UTfVuK$c(|iiHUA*% z-|7O{sF+l@4Orn3)E;;-IJS{>Xhird!8PtsFm}rQ8eKbfaL@y#KD9d)C^zs@ zYfE21zgq+zvtO_~KXZLGctWjj_Z@$44GJO@MV8bAdTf~DS)?a;virmP7k3(Yy=Rbz zH(%F&Mn?BwUJOk0TD#}2>*>lbnZD^Q3l<_-Z9qZcmbpw9vx_}9@=u&oz##!}=y)L3 z0i#_n0SWQ?cuPj2V!^G%sdLkD-~f@yVqpMBx-NOdMg;>1L0{!<&Rc!@c)@?aF#;ZU zHbgDpke|AlAAEam5)25j-M6hNEmy+3fbddM0&F43M$R>hEl89L0efz{_j`?*Mc@Il zNYumemQ7kjesTxcN5$W4YiXoTFs`NDD?W+c8b>JbzzZGn8gRSRIXC?Qqc19qW;DWS zC5zefzJiCHhl%IB+c9}&k+^^5+#*je3-HNkVOI z0tchTk~!aNn-DZ*S=_7TvqIz~*4`0k%>+R<6GPHrgq^unr0iO4&)Ib7cxyl> zcMWNq=Xr{EWW0x$WzL2Nrn}GCoI;MiKq~Z(_##0zvI0SP8iV7B(^=DPv4pwPZEvil z!tPM+NMM#(o2uOs=XA6XZ_93>2*8`)%~MMixUg-no^UBeFj#%z!J zKqjgC+Ao?p6=24nkRV7}Hl0vL`qj6J<*0HZ3_1#vk<&_$>QoBYCD2q8WzKk_<}3SB z8ls?^bL%rcbE&`t`lDt-N$A@0GMH`)RqQE9>(lJqn1 ztiLnmairLb;#gdJut(g;w6clRbkCZCsKfKYjyNV`RnHla6#gwgrIvt^Jurg18k66i zOq5PRWZ8ky!SrPTN&@tKs0A%lCc1*N^XAFRbbKji>HmzO-WT+Q=ceuUB?jCs*MGO<|OTI5wTWFz6=|kd1WBvL618AHK z4FGW;X<5M;GfB$%-($mq1AH`eS2C{eh(PWE6u{FYK9KFj-NWz2hcnE^*{QzP?WoY zT9kkKQg=9v-7Fmnl6z}&)Q%(oE&A<9%$e(^lv3AEAb7pULF}0AzN}^5y>(eGp8Ux5 zvlGkfMz03Jq8&;!m}qm*;I=<Zdp3tgCeZXkNEPyY`jyWbT*Ci*fE3xWG2&9bYb`r&yd_yyt($ z%5(wi;GzOO>MgG(%9qOzqD`3$c_A#l$Oo>c_AvjDpr|L0g+S_DeB}NTZu1(p(cR3V zK8_g|fCQ%o3(A};9235nQ%lHaxTru%yXz=>4HGV!f%F0!)nIZjgp6rF(z&~WB=WeN z$3y=qbPUh4`9$DLIfBHomFZ6!dH8>ZnjyFoh_gv%o`QWGLESZEE!=nG?=XAYd3}PV;9cz& zLs&5h$@U8hm{I0NDx8}*hqo%=9hjFJWa;XjX4Weo(m9lOwYon0*YHn*33|Y- zB1rgPrx=O>IuO-fLymtzpFbB=m{Q#^MGd?QqXvHW3IgXd#=wJIvgKzK@^kz?bI|-P zhL&5q%OvDsZ6`t$Y1vQbG`8xKrl{|xL39#uX00}?A7c=`!pc(-uHkcDx6_-3s#BOd zh8~sqvzcbT35Q@D8U09B3W!bt8fkYvKZoi&p4bcTUFApq13^BVE}dilMF0yo9HgIo zK9k&tHktt3Rv+|$KNauzOjBI?(@nv(-tg~}6(}3hb!x7qsbEe#n*z4^UrL=5$dlm? z6O&O)6$3FbF_Um(D1Vh2O_$rY@xH%8^(9ogq6vVXd9Mf8*(6TlCbc)|Ym*!xl3F3A zNLeJk+4RqM1~Y&tE}d?CSVF*HFqrQdI9lDUqScpI5r6-Fd-ePak*##LqH{n)>40baw8# z2sUdW8T3rWX8p_U*T9*L5Mhxp3(lm4>y3)D;1!;iN+1Gprpgl8)10P{X9%oz49*O> z#$P!SbOMet27klb+m616deD^~G_6{|Mh|txm>6o<>wzHX3&%GN<8QhWemtyI9yqe` z#)BihL0Kv!0EjaEzy#E7d3reFNmEWF#0k?9ZcA1HL>@YtKt9$@ML)XM-;m(Sy*4cp zk;crs!tpK-#=h<^;Pa1(2r+q4;4QNxFavGz+8N7W%YSH&r?CPhVdP9{Uza1XlcB4+ zsfT(-0jtmg3wF4$>7yR*R-A)JuPYaUDcH- zS-D`gs(*KSYzF#aMMq$)Y%poux2F|73~-#=KXfQ+DT06PYu?&)-8;G@tdB<|7~D=a zaXTtgFjjC4OFj^td!h+?>ZD>BW-t*=?6U+4V-oDd2CpCx~iK;z*arQk7ZbJv1N7s2n=^L4y-=*D*NI=-M9z^GJ7f5ji(ezkBl znSX~ej~&qU0)>5JkS0*CX4|%H+qP}@v~A;UbK15&ZQC}cZQJI~ckkBSAG=k1s#2Az zgP%D`p5#d`mz>xh(6`HjGca^^a=G9@y)+5(v9^B&_fFThZzKu&airsFZY{aBh_u3} zH|gv06v>(InW;QuHe(^#RKtG7eym7>k5QdWMp^&lovB+T{vSxN6US8QcxD|&WLiwm z6EXYoD)h^^)bZp5xX@SB9 z5FxP=H9miXAiJ!fEyu}MYF;0~b?}^o&%7TaG1|jsJYlO))71~tRF@)VfT6_v_Rc*xjy3H$Xn+eAcm3iw3t0T4IYBN-PJWM z68sJ0iBea#%^3K&^_u-76F(OGu=^1mcQj=UDr!Sepe*J-k>9aBZ0Sv>c7vU>#)SS@ z$$a{G6g{9dUD^&XRk8u|_3TlbBQ{a3xmp~CSXMna4D?V7tXq})_%3MxHQUO0JT&|? zKLWPM-fLLpCP}{*21b}3Az--|dQZBPkh=q}j>BbQH!0uqy~iDMFou2?!-$qkY&l*8 zc3HwjTc(3c641UTt;3Ao0;z*W?dW7w=&hodC_cl-4sBzbR7&10s=K>HHc-T7<4tSQ z#NgxTotvG$yPX2S`&}5o{Cc{MQpL7=ZcFgDfFuyvu0S*l%0+W^A`8qS@SJ22AQW?wok!3EFE5a#jM}5VN7bj@F zLwQGqt+*pzYdq7n1^3&FgTYr@m~NMrXt$e>XwuH+CoaACE7~?7lS_qVlKv*p#|JaN z(mTxOxDu1jDly4f#&+F5>?koW`uh|E=nn%e72?(kNuThJ-P|A%;P!-dm#Ja zKi>?oQVr#EJ*G^<#Qf`bpK>dDpI~t3v#6>={uHRHhr-8@k;!aXN=I#f6e<)Aqt1X; zzR|l;C9*zhV3Qmm1O8C%vY-~1#JXR_+}B5BIs5H%F_c>!Y}UWT7CKC0b~pM_plC1D zyIy3^RdR>)sIMK7i)qC}>E(vnQ7%65)~F7*oychPm|R?vwXKR@3ffyWCzuN*W`BPf zzZR#zw?~hq z{vv{;rkD0N+FLTXG8uzb6VWso%t2$+S3f%5m?5U@{JtVa(^yEnWuwGw>ppJcr)qpB zr#2==g{w{-t>f#0re!U_)2EYc9V!d~Vk-(|raB)`u^FS$X$w_kwIMYs*4mKONs%GlQb?AL z=NSl2WaXFD1X;OQXQsLR1;#?KUO#cXu8#I@Z$N017%lKqhY$iyf-pHj?Zn_;#a^*0 zm}MfsImqT6rS0B4Nu;&hYDys7=C2`=YOC{} z+682m(X2)xmFErf0`bHw+t+5G-*j@Y?Q?*xJQ9x%v=0vu@)-eTj2gl)r1UnUXW-Zc zU3@tge04b;BW{fDF4;v3hwEoB%Gq3~jx=1WyNn&5~+ZPiBHXZswh%#xDzR?_;c6P0U!gEHaGb9l-i#W4V? zz5k-+x#AdVHd)MF}Fp$)%RlrZeEuEW*F#W3)23?Uv*t+Hb3ggLAHDQTxHPS zS)?AtV4!V%!l|1HI3De`yV0HgRj~ZXbtb`6y7MH(22iLSU?aMfq ztw+#P@*uy0ek?I^^rS?8;=!`yX4wJSnPJ*2HorUE<@Rm8&teAomG~+@t|pi2&;HER z>)aQuS-{Faelg*F%;wgHO0{ozw-W}>^=mBoaM52Xc+7_H4j)Kbp_K;2-9Hl8|!W5L><+-%DW{HJ|?xrcAU$%`=Z3)gjfwvsk=6r+BeI>>UpO>FL~#L-k_Q9+lt58v6WM!DQ8S@O_#yJ&u^f2(*>r;Uaqx3! znM4dw091FqTM=sj^z7c+(L1MoU3U9Fi6eC}4L2UwnjC;n>Yd`k@z2Qx^=CSBF&&hv zFY>)0Ar7Q>+!hvhK_O}D-egH=S)7)l5ygOGJ9=~1>frO_4?<`T51#;l1*8M2EC|f^ z0R5Z6mKtB)l_`BOlEdOGUb)QAlarP8Cwl_^9N+n?qE;R zl(BJMd;zANjFzV_eb$?L-(usl^J!`-wenye82d|FI#_2MtJ(XfkCu)->n;FZhTV+I zFB2YE_CT=2>pR0BpJ#rZ)|MC+vyBV(*I8xFJYV}38(U01`=UMqyFXqd?8SUjM_2bsG~BwZjbf?X->;O4l0surHT)v=T)7$`ncJhFKG@CY z#eqAhSY(gGwF4+HO~GJgUMHQ|?^Txv3D5=4zSbLFd0{q#^4OhCyDoCDS-uxNt6JZZ z4jy{c84I>dZJb965k_2mqa6n>E4N7>aCu^z_j66Pe5_2z<$p;;luu|4_t@M7ij3`+ zD?+luDKxSnc(0q_M~8h-Yp@SF0Uj%+%+G zzxu28=~f9T_A*A`BsK)SXjj)&|0J!fpD*4G{~5JdY&l=PutC4{ zjk|k9D*+g=oD?s7f(}%)du`SxpKjg#k3u>7supN`geaXYB%G`?acq$DhhX8vaZ{>4-O_!tA-F? z{PM5Y13RCK+q%UwsAQ=dp=4*s2y|}?R#Tn|Xa!U}jc`b`Hcwi$?ujsL&q@N7!=jT% zTac5}M^Q1N)DXrb}f)i$SC^Eh37VwwvTx?yylt6HB+HkAuWDl zhyX$+<*Q$;ZMolVZ&=4}W53s)f(f$`DxZdBrk&G1z0M1zdFP}{y@F628bB_S4DC$O z1BJ791q-xP$J%@^)uPWJl#K!(M2CryP2q6Wn+D+>hfWjg;aZNLHG-RW$@O8xE_|{F ziW!FKl$^jxu~Bk+LW*_^ToSb;#0~iV@&Z_7hS2OSg%5x6{HlvMNfDwISBu!MH=-|O zp(aFJW<&W~G_NDUoQyhanxI5?qi^C4A1PN6n}nu>w#h;o zE7Drm<8;ub=(Q@HgIJ*E*g`8jP?q%hhgrnFEj`-=mv199wPw?U@~ekme^ioj$~`TsuQNllyw0!`kooO0!iq+=2Hm_r;EaUP?`h zuaVpShWJ{04|km0It{nk!LRCuZI>P$wWHtqi6n?gwi&%amx4ZAN{-ww%1O@u%@gpe zs1^G4cboON6V8$jngqZYWa3Z_+-S5n*04LBTPo}|#Uo2et-m%Chnj@qqX-|EhatIN9chzie5;B!k!#g@{XXB?e4A@_x$a5lE_0oD z z>iLZH%mH$Wt(W;8#e~@ajs-Vx<2o_LYv_BiG0I}yPyyM zeOlPx(gA4qTK-z7dJW@``B^gaRkd0-6#dvFNmZ&Db2{|Tq>Z^eRg+IG!bsLq1VSgs`wPV;UZ{11#YiY z^Nr5u;$&5H@`k9k`OLa@o?+1ZhH;s1pSd^d_;R)sm9&BApNuW1X#}@?<>{oeC#a-C zb+%6{GX$i3#okf6c;vLg3GzHbw-FZ1sH*0H>Ybfz`NdNGy;d-n_2jeY%K2CZrD|8z zmOh3VQGY}CKslq!*hs}{2LVx(@cb?Viz@YsOpF9~uaEPe3GE~(%?gJlQ9Y36-2AvO za20++k|2+Ss$tZ9vB63Kb`C&Y7DF&ZcYYS!^#^RMM5I*Gy)Mna!C2ao#=paUUN)5q{t<6<$UQdfoo+L#5~3GB_K2lfTZezNqLhhJjkUv||Xn0~@t= zFza_88vqfKDCC}RolkC06X)GmVb8nVXLOEA1GVsuBe%Etuya=Wcy|Z|lug>bOiI6A z@MCrT+#Wj^YXGk_LD?J39~v5d;b+JFAOT*glyNbYGg5a%7!`!z2+>SoaFrv~+sH65 zV{RpGfi{PA6w}rxd15^7-#A@=8}FSSL*bhujHaTmSxca<5*bA^|KNM~;I)5xEl+=o z&jcWevi1aK_Ti*Bhf*G$$2@j^T|$m{-rLRNO{H^R&v{cTl%4#f36t$lyF>+kkeS@J zm$&6n5?CqxJ(}eF^Q}^_>{-8-0bGk~CM~)D=3$zsfehrwWKFgg;>ME-o2bb-`wc6p ziVXu}W^d}^>TG6g_aDvSmo*Fv6B7{=(SI~PzW>wy$;HX`Uqv|8+8fRrQV4!8n&tNm zrs_-P4>Mgy`|WlVcd`5_OXe!N$x^a-s>K?``<~W<{)hqgQHf{RW$uJ1&)xHV{lG*% zjen=I`~b%pH&qvn4>zuSlWG_rcbD(x7@>_ripdIdwB~u)X<1#=&K}p26^qGc^UADF z?;2qkC68(L`%M7&FT?B1hWK&c`D>pH!!%yDps}~R#Gc$F%;A}soCa1%hKWk;@s^%M z(AU)26+z*FG2F;giwv1BAVec*pH7Kclp|439n^9vSqqoyLLyc~=E;$`X|?>XHOu({ z`5YeQ3E^*$)B3?GFFrRZPHkwQk1#OZ~5M@M+frDY>A z^t`HN+y;PsF>&Ot`SkMXINQaQh{>9|#FSJ?#LnS)d_LyYyM^P)gdsBf)^4rCbD80K zr?JqgkX_^8Vakfn<&yC+^EY>J0g9y4i~*I7o_)JLLA9Rd!dH-d=n=WD1`j#pI3oM` zL5x2iEJ@u&W70zRWODEj--;*IK&-U(m3+NogB(y1E8!)qU!6bgvVxec4r}U<{IZ@b zA19pd-a3(Wj=0=zOPW20epUa@WRh@2u2IgjQ%y9s$^j9xLk|}?XBsrGN3CTEWyR;hYEqZd%Vo%%o zH<2+D9@lF7$=m_XcbloL)4$d5*#~xXZv-HQ6^XOau(j--NG}I@`5c2^ITb2f{u}St z#75b*4?{;s)qAtl1j4yU^hIZlz$lle{tIbN!j0@a_5md@M^pep;-BaVjreNWJ$l9?{MRSTo7 zYl53iS5x8~XtFU3Fy_W=NV@8^&;jmCKVHmF!Mq@mp7Izwj*)c=HfF44b-PQ~jk-+8 z;4BO0Njm0r;v$?4&T9Q6hn9hcVPJqc1T%#_T!<;sV+qY#&3K)~PJp$-^;D?###If9 zL*cl!ssOx{=d}$=&{-Za8 zmv>N;N4A=qndVyR1ALujqGghoR*fNV2a;TR=QMD33c;bu%)|JaMajDK*Oq&4d6gM| z08->;5I+2D;zNkvuqlM1Kg&G{-552IvWY5&I)gmIF`V0M9XdpBJnwa-yMqD&-x$@! zEx~$olf?c|ERLX(ebdddLks}omy-fdVpIi^^kQLMC-!ZNDFwAHSvDXQ3sR zI!%Y4t4$}^QhCHXH&p>BRJ2+SWs-xbgMm{dOP;)ZFG?k${`tQI#lchIo{mE_K)~sh zm^uG+m}f!IEb1MSuNSLe@)1-r!I>BB#U;HVq?s5aQD2pf76<$aTg0mHbQz^HFv%*0y8AGr~~ zmb~F&8>n-5O~I8`3u%$DnJHvAMiKwzg=v+NL9s{{vb!(jgN~BZhNlT8t!V^=`Ieq87}2{LYQ_B~UXP*YP0M#v@@3RD{+RfGw0y(P z^*sLE62F?WUmpO-=?&OibaA#Hl-)JC3uNiSv03t$Il3yfYcoBjQq<>5+c;|z(<%pX z9^11}z>*IX&p1Rtbk^iGU?(}*sLlQ%%uGj;!H9ULXM};)4X4(1^IrD~9YVds#ruXR z)ALOR&r=8&ob=po#Z{Z}wI6-mnHYM`$8T(4_Q~s?sCSfaY zo8|;a0hKCe4NXKth~wq_fYj43B=?1s>o8EO)7U9Xz2+c_Mg;bG>N6aj6ov)J>l(UD zK^ceA#$u?Z&Sl69c!r22etb1JVCuyWtwXbk$Fl{HcP-I*!d2d$X^8`^A|Gf?G2C+S z$svbKjJShS!eu}MyOpLW1T(7<1WWV1EVKg<@_qv517<f>=@&lFAZDW(TQX{*DJ~-z1{^{#=g+x3d`4xT7PP*X0O~S_y5EDW@h=ny>AXScB21YX;SZCB!Cz-d6z{dr0##M zH(b(?v^st|{4H!sRIGA13{CuP^@*NRmqwjtyDNQ1(?#bS1UgLHo1RLa(%fD z7@wox)=Xh2oTjji6W>_oY3c`9>MYU6@!PZH8L2H3!^DBwAm5pO*eIl~RmkBfTVbuG zx7^skK@Wp)7L>&A3jz1==!tbmAt}i`RNy)+v14YE*eLmt|0ReUS1fiY5>k?ygIw`P95U{q>FFg_G_*?4IS}32;drK4@K=ew)h( z9bATE%8J=B-g4tLmEd*Wu0_>r^mmg|?~Zi%V<@{rFUdN1tsyF}=a+=hVO?Ci{+Obq< z`gLAM-PBrIB~+nOH_kxeSmouiVqCvzzuwZu-I?O0r$Y*J4<`ZVlL=d)5*d?ygGqty z14fxigAK@nH!HzvjaKeJDN8D~XSA~|49M^s#1R%+(QBUbVZHNivU32fd2!!P_@P{I zG;m+sW)0M_1pv75S`Q;w)g@fj1^AzU{1ebtRTnT9n|~nj|AdXK-2c1S=}Om16?Z)K zYo@k5Zfjons7IcQ2coNq-+%zIt0njpsSqe8RE8e?ss-?sounR=D1_zN_8~qME!2GI zebX+xt(!r01FKEt09%50T|f7Vt$tbzdvJRQn*?KGW-M>KI#a|pA_A_@RpQthn&v+k zHh>#hIKZpRrTN+?Q3<62IJk~RVnUuEfpDydU@j0%NEV(X$q10qB&+368!BIT6A>3} zU;=~DiWV$Up%I};UM~NQrD9@^L6g)OATsKYYzHc(`OhHPT3W$YOF6-Xa^O4}fp)KP z1v-p6nHCg1hNkYS$f%L4W6?7s0yAUqE5%eWIfIZ8kHe?X3GM3v#?dvXV>l}7GWBpa zo%)lPrEVjg|7B|DfXL?Tm?3yh2Xto2=m}g`m54@lBm)Aw!7p?gLb6M>v>?Cx6^y$n zoqFn!QI=q~P|ww2;=$vWSTJUUSaAN%XoC}}>;-|Q^lg*JR|aIuiitH21rdNNm-bPE z3{Rp=!2Yp>N7kJK)HII-pMa_n=`ZUNuL6EQh_||Ck;02gBdJPd3pE&Fr?VBOzW$tIB6`<3M8VUx%$$A3v?x zYE3tm92KVh-LtII|IzkMrn-#+I{$))V-_{c6xp!1VX0tV8nvCJqJHM||8D0rtJy*F zv4E8K2QX&>eAkgSo-XS$j|%?wtZw_<3SCBW?&}jz-agFkS9nqo6l$P5=Pki!?UR~n zNvr~*%<^MBb{#GgGDaU_tW0p^dlsP5eJo3Q|@~aJ-+X*M?uuwLilL} zDldcFVed?rE`QXI6a#!p@1!xjPj#rE@<8;unni2@J9^9M;_4a|!?0aJ_u5dV@|RQR zdj{ayL`RZ}Fn1mAjoK;0m9N3=Wd5Gr8xg&uPIH>1PJ~DNhp9|$0e3S6o-eq**XFFQhgIrZTOc zPwzgOm$uUJ+!SJCw2sL@YqfN!!d&X*{t4v`cMUMl0-O@w z#L=3$RbbDN8S+SE$)uqWqqM^@fAc!JVagY}>02g>hWu)$^N{07nmG00GgvOB&X&pm zT&n_R5}xZHp~zyGOQy~s_KQvJ;~x9Vv6qXar9G?0_uW_r-@fXaW>S^)>x{eUVj}rD zmIErTQRRl_%}mK|fJjuwX0VVi1}rv(?W&~P`&^cqtfQJsE5e^%TL-;8-J_n2`g(Q- zpXt`I%r!kFBMSQTWcD14_6;==O}WSc5AWcL5PT#L-9}b1?&&^%5%BANF)=oJfpf1Q z1Uq{`8l60vCRJ*$>ZrmiQarT@e3J;|b=I|W{TT^n{JVGTs<9%O_4=VVD_}>Ua51|h zYLico99CA(aO5is>Q(U*limqw5!{@chm6sslOaQ?8n?oJet4~(Qyf?o4XzOfNEd7& z(vbPQj+Y_xZiVd9hb=o0c2S#EXjk(W1WS=E5fj3+%Xs}e^s(TrUaVw|ZQpj!+@g4P zp8oTr`i3un`o|Z$?#*SsFe>k0s{1HJi(lgb&%d?PBsZy}OM?DBe(s36p4MZ_r-MSU zT{hWH%_@dINX5(%vxe7F^q{jFP|xnhpPN=x$vyFXRm_bay*95TinP;D{gEt_*Sq_x zq+XyAxbs7HtS5X}m$Vf06qe!l9d}2^?mnY-H>k4`CJZ6GNQ7q%h(J5bI)I-1jR$W^ zacE`Ul>uSoDUb_)Dj_Pu3X?oXFnMvX=%#=GSOD5`(_W`eO%^*^p5X=Q3pvLtl| zQ!-{Bz`Bltkikb&frW1u`j_t=)cOZ`SQ8ETX};3hheM1YM3CT%cx?L_K+YrL5u**H zr@ld=MG9!#L6QK~?s1S`uQNFwoLFSF<-ig<7o~Z`rwfw;>Yy%OhlP1_Cf(wZAX;xx z)iIx#TkDBZkc3aKu%ZTRMx8fJV?&4+elt}mUrAJIvd#aQ&KZ7w%U8I1 znkdc8`fe{N^J-d2moMvfo_1#7jq|nBH7(1phhVJX51*gGcy-Dk87n=o+E?<1l08X{ zLYN?*^lC@|wEI3?aWUai;rvd(?Moz}G^d3h!%~mc<=dSoUhlJKL5(05B2v*t5#CU! z&-pDdI7lM@9BCZ6Mq9%_XZy^SRtx+2(Ia8#Iqq`$?-RVYlmh3s_*i-``tI^WVw_Ir z2YU_r=B2_F4eBFLop>h9`l#WMOp|^^?(=Cm3WWIt1pR$m4NJJ11;NRh?b7P_x!!J= zF2bGx<$$ejWr<5DAfgXhxRV06ghb&BG8PUld1a&jO`|w^q4SzCtc<4yD!mc>P?FRN zcjkv7JAg%eF9&seah>}hs)lB=>xDeM8-r+?pbeu)W<1Os`2zmQC%Eq^2X3kamm99N zI&p{&fV=TL&LF7C3?aK4MA(H~ioH}t%M7=@HPKBJ!6GijVoKF~!#25j0kM+Ej;nlg zEFT`VoA#Xzl8|07MY^+G>3Pm;+Cl&FuGN+swp^s{%>!k#~E?plKxD z_V7zy#@aV!GWmC76=h?;z>|z1nsPr4@9$5XCxbym+J4Gw_$qQ|#JeHuHD+&AAQzHo zAREZpSV6fMff8P1(L7-aSLLiZh;${_8w-C0#V;~}$a*exRAy{>8s%u5m5OwYMrA($ zmA_zB*7>aw-=yf&kls|4;GB)XyDD2DcZPb3rNGL*+$XU>wBRu2ow{$e`BNOdlA?rB zZOYTNGfSfZL~UO8o7u%(BAiZL4Mvb+4wC05JF9wz&gw@8PrI(BhFw zv{M~BI}*HxGn@uH9L{Snp!bY?L*1=cbSJz6b$-G2Z5Q?_3c+8tSoB88Y)KRlyk_)T zVa<}ddu1&qzUOq*h^`kd1K`W;<>;ZBoMG@ut}=Gi zm+9HS^YY>wCQf(m4RiAHY@-hFkD50;XQj4p+un~S-B;G1V}o^B*X)7w_PI}DR9|j# zv*e)b=V77Odj3jNk=~kP#ZJTHBa0|?G zh4##dqe`$9Mkg`y*^w?$+DdVO{2Q_|u<>Tt7E2k5*@QhrF(jlPW`hZzzLVbHnE_ zN=AH=$xVW#Rz&JqFka6G{!auD(5kVo^4w)lNv{4zFL34xVt?^Zp>PlO11rJ zKfPMxV*ek&SaO582y_Bhb4MmSj(;Ew;tH_=x^fhLamA8vvG%{@PJ#x{%dm&Bp2n4kFV2CRFuY3lwK?a@4}R)*W>cA7Y* zGy}*k9>T*8IR^9Xx7qCCM%pi8zN2R&gQM=8i-vRZyp&$Z!|p4}qP4DqBq5bLVgtC2 zv~1K~Tzn47hfj9uR(&bHpV842gFBx8jP25lgsmE420ArC#`GB){~)?v@3Kwlc!WPy ziR1ZtQH6xPP8w|m_gXg~ncd9oav*1+Mbl}PDTuyMQ#2e<9Ns{EjlnZb5onaj^Wc9M zK@?264(@V*SgQgvU_mrlUa#pOGj7el{Q+WvuOx4!xdy`kCuZhk=hUHwVU%|;6*G1< zBcc-HVPRtCWM*MyV&eMGW}5K>*bwl4qq#X+8}TjmY%UrwHo7||3nrSu$_ zoNIO*^v}Zep<)3h;4NL2-#wx#=9W+)(LTE(MVu`@!llQ42Q?us^i6F3;6S1ZxAV^_&OQ1`VQDX?yOd_TO+{vNMECH=! zn<7PooY`7r#N-L7;EQ1T6@|l6`FRUMT<=!>(2|0pci3M{gvKZt&N5g?LPQ{$Kt{rS zPHb?L&`i`wX!3HgOlVx|&Gf}Yr{wiSNLuO6>U$x=21Ibi;3$x$LjlCUhv=quyVRwm zaHHPP!;yDESqI*sOh=gLQwOLU1prZwRPk6E6T)kb!9Q56@3+Qm-}m==33u9!wvq=~ z(|#8O)d{g9lttfrqAcaIxa;~x*v(G7lGUS1sz7&cy>`uw&SN7jb}id9dx>VmD) z6U*UWT@pUsI;}~g&Y=sW+g{kYMr=LRCszkJ;)&aDi_Xha7e}BvA&tJDuKQC_c*4E=Bd6dT%Uy7^_+$n{M zy`JP|TV(k>LG%9AQqQ*Dj{LQ)VU`)|klY*rYkh5jTFFxRrD|3x;$LsJTsB;?piIR{ z^yir?d(5x)+}d%&CdaD*dH~JmY2>cuCshfd6Ys&R9}(nEmZ%$6#~=p*F4Y&O93No| z5fDCd5_HFUQ?$3$L3Tjfg}#4P9&hhvQaBj0$c4M|o-5@SGl9c*uaZQoOKH`4IRE#r z82vxW#L0*umDhU>?;j~M3`np-!wB(FPEFU6){QYs&P0ilaB!wZVt{}^;B=Cp@djue znw-$Pgf7C0pk!+$nF!c~`BLaZy~R$P!G+Cf^d*g9A%=<~J(@*-?4~qlC`t@Nv!OI$ zUuaRT`gfM19=P-9f)u)agE2WqvC~kj^Uw$%V%91hu$ z$KZwSv2>P^7;RFumyw3T3(Vl_-{X}DgWg>&wMWf_OVQbyg05RcB#GEmA>lg~NH9<1 zo;IJ5TAqNew1%tEdLHo8t}&8$)3h4qLHd130OuoMjFV+B4uHSGi{|d0i>X!5_&phK zngPMuTN;wXvy_(A8fAGs-J%9{yy~rur3Sx#WAfy1W!Gf3WU#|N-iAxxzHaidKa7Z6 zuh-5}gujXy*@irFe!h13S8jxu&Hni4sGQuM{LvHC3A3e~_4Rg()&Sfl1zY%Ta22+A z65zs+Nokt`y8`xTSeRs!OT;`}9Qb|Ea&kz61nYSvjp2D%q-5ESOa2f)&sokfE1IN~ zP*>aaR4c~Kb!0ZXHGYoE%=f!d*eFMW|4pdC>=<7{6jx=dFR+&>{@j18zYxfkM2lu7 z36%Ki;G8sSw3C&S0z$cmf`IlI`sIo!pT>W`If?QyiULSn6;6-};zx_bbXT^ua<~@N z=~ZHN*F6?crjK6goaM^2s5#1boH|~sY1x8CQ?J?#xl+xmcfFW0y-W{$aaWJi$6-~A zYdZW~-U>eBQxOe#%p;t`H`(3!vsnvi|9HcH-3lr=Ft^uSi>RMyuNerS_6Y{_>-o-E z_>#NZc@?+}*e#=e51R6gQIz?-bRdxU7QK4Xb@+hB*y5?dCK@dHQqpI8u>N$@@Aj|N z=hvJx83l4!aeVs*y(#RBO#{4vIVrP<33D*BvPwvBbN#ci!mJXk++3nu!c1%;%)+c< zoJ;~leE;7g`u~$LH2;Nh!8n+pvDWGi0y=Xb`$tZH2L5+45C|CJH#1703P=!=BtdM$T zgvyQ(hfl{Dj9~4Gw4rSeoU>#})l$C+qqKi}yO8A-bxQOqc_-{jgaacuA-~Yg#m80s z8nmhBiex`HXl(sUwyymW60+RM^A!fNpZMP!n+17sXRlmxMe4mu3Cf*5!4q7Q%#FkTb#lOh60)(Yq*E5Tr&-WlPuPdJvkP zr>J#MxxwHwL<0RieJpoCZ(}yQJXqkIee#a5n-Cs-`i_Xd1D%+Ft&LFR0_{@-=KvIiuZ57`zR;W5REmr@sp+HA;3#%dyRd0aAojtL{mBXaThK`2ouD1YmX zw>!s2#EnH~W2%r$q4q$F{!Lko78YE)BZlnnBri*sn|LDy8Bo7NM{>6zD%0Hg+7T8a zF`a#*f?^zY4K26_a5<^B(exk>=rH^2)gA*;MAwEo>TuC#FKa0{2)sAlW$!%e${*fW zn5$39Pu^5hxGYX2{#C2VG#N z+AkMu1r`hsfjdQ>ZqKx3)X|SLcvE6Hw5>mg>{|o_6^OMgYss#lZ|i LPA;w}0rS5AU`vB} diff --git a/whitepaper/protocol.tex b/whitepaper/protocol.tex index 480d177..d5ba68f 100644 --- a/whitepaper/protocol.tex +++ b/whitepaper/protocol.tex @@ -773,7 +773,7 @@ electronic commerce and payment, financial privacy, proof of work, zero knowledg \normalsize \noindent \textbf{Abstract.} \HushList is a protocol for mailing lists using the encrypted memo -field of the \Zcash protocol. It supports anonymous and pseudonymous senders, receivers and Hushlist creators, as +field of the \Zcash protocol. It supports anonymous and pseudonymous senders, anonymous receivers and Hushlist creators, as well as public and private lists. The HushList protocol can run on any fork of \Zcash that has a compatible memo field, though certain advanced features might not be fully supported on all chains. HushList is developed and tested on the Hush mainnet and testnets and is designed to run on any \ZEC fork including but not limited to \HUSH, \KMD, \ZCL, \ZEN and the upcoming \BTCP and \ZGLD forks. @@ -874,7 +874,9 @@ Let $ z \rightarrow z $ be called \xShielded transactions, which take \xShielded from one \xShielded address to another, and is fully protected by \zkSNARKs. \HushList implementations \MUST support these transactions, and additionally \SHOULD educate users that they are the most private type of transaction, which minimized metadata leakage. Let $ z \rightarrow t $ be called \deshielding transactions, which take \xShielded value -stored in \notes in $z$ and transfer them to \UTXOs stored in $t$. \HushList \MUSTNOT create \deshielding transactions, as they leak metadata and can potentially link a previously \xShielded address $z$ to a transparent address $t$. \HushList implementation \SHOULD attempt to prevent, at all costs, accidentally sending to a $t$ address via the \zsendmany RPC command. +stored in \notes in $z$ and transfer them to \UTXOs stored in $t$. \HushList \MUSTNOT create \deshielding transactions, as they leak metadata and can potentially link a previously \xShielded address $z$ to a transparent address $t$. \HushList implementation \SHOULD attempt to prevent, at all costs, accidentally sending to a $t$ address via the \zsendmany RPC command. + +An easy way to summarize the support transactions of \Hushlist is to say: All receivers must by \shielded addresses, senders can be either \transparent or \shielded addresses. Each \HushList \MUST have a default blockchain and network that it is attached to, and the default chain \SHOULD be HUSH. The default network \MUST be assumed to be "mainnet" if not specified, similar to how the *master* branch is assumed in many Git commands if not specified. The user \MUST be able to set their GLOBAL default chain (not implemented yet) as well as a default chain for each list.