From 3d3a4a52020d51f6d0b15f0f606d6d61d466f1d7 Mon Sep 17 00:00:00 2001 From: Duke Leto Date: Thu, 28 Dec 2017 19:55:44 +0000 Subject: [PATCH] Update HushList protocol whitepaper some more --- whitepaper/protocol.pdf | Bin 316704 -> 316886 bytes whitepaper/protocol.tex | 10 +++++----- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/whitepaper/protocol.pdf b/whitepaper/protocol.pdf index cdbc82078da26d4ab33a5aaaf1d2d1533fafb47e..b8217a784d64e3b6037b9c1d18d8b8735217b006 100644 GIT binary patch delta 12474 zcmbVyV{j!*({^n0#I{as+qR9}IN43INlt7V8yg#**ye7Gjcwcc?)!PF-unK%Rd3Do zHCInf^{?rf?&{93#9pkzrl(Ppl3`(IaiDzBbs;#B1u`Pcs*QKXN{9nA2nD$;*957067}qn)9d5fr1Du(wbfcRKpzmB)0%#ITl^ z_Nr^iOEks%KK%M!=(MVtLV#(qf)D9>o-vgC_QS1lG4b(L;Cfu(RH5MJ(lg}J@~}A? z5ZEAYrT4AKgRqt-fw}2H70d8gt^}@w1kI3XT(PZqtzVptdu<0v4@vAd%sJG zAFh?iiJyL8#M;=0e>aAiHE z+YqTbsr)-Gg$kE*M$~Q(-c04t;d#D(m`)Fkxt#E0a^Cx8Z9H1}@ZPB$BCH)8YE4DI zD*tLj(k}_ccKQvOuCaUeo52r%oTiNs^CMxyFLg=eh`y-5WmLQi&Q8Jx3WRU!!S@Yt zCZHISme+3?VMyNm9{Xx*nHS@w0gs|71Fk7`U$pX;>!%_C4ccDG^2cH4H z>ZUqzYfx{vWP&2gem!WS zU&-};P3!kJE8vU$c8}BWc3MeWP04D|ArV>Ehd>`e62@mPrAsN2X~qJh*X}#Jk!Qp4KzL~=7w_-my1)qI zCP$fJKPJ`dJb5g^=P3!i2o2oRF-?E}&OHi)V>6_WzwdH!w6)+IIk)4aX*wyLy3pA znLV66GKFuK?>pkY@ky9yws<^C-oy0+@2_wR44?`HB>H z`?R1NCv>dCua|6>vT@b9CQS8+h>;H z8kIelr+xJ=t0u(F-0FP77^uwe6vILxIRx$aY2FJG>{-ovj6QUn)KSFBF+wI+A6qMj zTZm=ao>G$)5y??O4bL3rPQJcc(s)CzI#g2mpA<+PUOX|R#jNnLN*fU}fZ|H8j}&d7 zjPB`b3-4t1BttMcFlp#M+Cde=*Ce~$`Y1KD08vO}u1OP*fQS~2G6Wi5QwL~190GUK zX#L($c@IWxxn^+;@1A@dR9UY-uCX^AuKHAMa;2|n+{%1Y>FrY(a%F*ouw6eFKkXkh zQ)i;3cbKe0rc>kYwthAmb|mJ{bHJFsWcjA<%nnmkS%2@N2@L zoQ~?NboQ+{n@Z-A_Lx5)&f93i`J1*1E3v_RPfcN=jgs6#G!ulLX9F;KB)WRrX`6s_ z^gc+CN6XDbOS-R#u$a``dDHe8z9sz@*(5h*Uwp&lSJS0+A%InN`M&yi8m4V|Bun&d z8UzJbo4c*dMBv-T0}3d9-=T0Wbtq_>oBQEZVP&<+gDa7MDz{0AXR@pq|FvK_2*8-+5^q7%H@R@&`-9ToO%KlPhXH8%;yUKV; zhTtg^%v<*Jq9tn!7;Vxo$=9&bqO{HWHRp}7ULQ^!5Wos&h%RQB z#;^m1y6q?gcELKLougy}^(W4U-Itu<6x?j)J1hAK`S+l(nzCe14l#czrk5K8=9$Iw zhi{JjX3RxLwCP+2cBh#*NbLbVU6LmepQAFCha+EV;z8Q=B%ulZ+{LSby{|DE+jSGc zd9|b%2Y0$YxO9x6PAprh5Ww_HGGE{PRA(=P68mvB04eX+wYcA7cx`x5D%wB9b;VxT zB}FFU{!DJ-?Y6wS2q6ans_ytl2F`Se#Lj2FKaqGx;t;)VaO>`dwnE*+6%ou!n=Bl< zFcrs_kb+2hDYJB<@iFtxZmRKS@CjaRJw%+I<7U|y6g$rt!C}^}=ynQ!x|EtXWoV>4gI%wrrRSpE3^yR?97ePb<&3x18Xl^Do2ipI(h;;}tPK!CXPeTbOPY3LBAo)ulJY0~vq#Q0^Gh7doOl z9RBo3%Tp=y+k8kPt8FOkJbjFc#7$;mKK#f}$aM61EWHJjx-#(12X)w+(Us$s42P2# z;SyA~yGUCV3seDqIaskd+5FuPD+OQ%!+@58dSJ(49`AUq^4oU31qrWnqOFc`*ha&T zl9KK=2n5xx-`ECMUA>hiHd$mCa)g`crH2pisPT!uV2jm?vA6I}(|iX@Kem(@VbGJT zKF664N@$(JLc@sl#K=!HVCXp*r#0+ZT6eogx0ZcvA(n+7OuL&qEWPw%SaDY&(tR}TosIj?ywzABR)&K4*@bh%B zRltRpeF~2MU3Cy92sOb5diTT6XHxc@e~RrXB3=kjg-^ZXwrwU>UJH=zigtJp4K_!y zTD9nP7I`PYE!GpnY(Rz^iQGyQSqBZuGAbF@*-3{u68orDojWzEboq3jqy&FzwuhF5xZB{L;#-bH?cRc0cxy+3q5{LFFydHhWQY=3@7X)dW z5yMLS<oK~2|Rx=5ai^57rWr5RhFiM&LeL&b+ZYk*-lq$*b z%hIgG@tXT?U-JV+osQ#~Xs*v5a<7+L*AZX0hw?ztLO*ZuFY<=SP8*zY*E84{4*smu zz6q-wX+&DwQ4gwUKbvMS$5ki8A=5)~1Jhk+VHiN?dcw}DK#cWUrVyn)vD8hR5o+aG zIAzR1Rsk3iob38g0ge24@cW~%LId+(mHa{yjox7KV``D4$BT;`>0oKG;0dagxU#vT z@A#82Jm9QTvlk3{0)Uf*&6X4C8bw?rE@9Vq=>|FW?WDppNNjQ3mjL~cN{eR(28B0A zA6$?eQK$l>i?HTA&nzKgyoAF33ue7SzTww|A1?f9qa~cx319G@o}R#N@vJPn9AmR+ z2DjYcHL>6sNlv_9WSCV90)3O@=*J-a)HKu^>C`{T9_&a-8Z$x~q;99J+$#i&^ufk| z#w}n9;dqx165*umA1M~Qmj#;jsTiH1yFEbhY?M@(gsrqFcy%ma1gtUwRB_tJl5Klq z6qi&;6HqUI^}S{@JTMn~0SG$$1qY?neE=WZ%^ZabD^q0Dvd8%8w0`IeN1_BZ_5j{6T7|W~$xt z$&ou^z4pQwt6NuK>as}rtf?jUwFKoQ$U6kdE)pSpEyrwFEpuPqIoV>j@TkPUcWF<2 z+pM1#CeiHZsdVFe6>J{+A-%uH$ZyAmny+e*RUbF$P>By7@vZ{l$qLVlSf?OR`IQmx zSI24`KoEo)i8zKX;my9+j*WJ1%CARf@h;=-9b(Ea%^uGPrL3HvH^d5%GYTa10M)=N z9I?0nGVYi5kix?YT>{|M0De7tcTe1{8^NoQ$llOqV!wb6u;{}%Ck_QTpk;h-Y%s5W zaS*#%>q{|FNvr^@;|VI)%+UE+tz!mOvqRsDp|mX%Pb^4n&~DIqAW$m-!<^`7&v2;pT;l%dV0s|3*CL(1cs97=&;pG>d+yDKG2bw$;c2Y;?Hx_==aIg{_0wkB zHAbUV&_QziCv_Y$San*J!SGwsWqz5*1GcsNMK*(p&1uKyax^PLm>xurnjDrOVMy5H zd4A0;I8N0mrvKYC5AQ1N#{c7B()xS2mIM-(3?f|+o;rO=Xp)39T?!^4Zwl@(K|v=F zQyF8BH--EQoB=X^$uxDR%m4>?S{-J#Uk;Nbmzz?C3lCISf<0W+q>w?L5~la2Ef5ws zRL8URGlUYwg1wuQnwgwmHYi~12U`S%95?}=omJd~8Z2&i3@Hnl%>@lljKq6gu0w%v z7_#U~IW(G1i5KckCyu`c#S1y2$rl~H>J0ZVMA|MG*2uQ_& zL^O?wvlAcol?$&j7?CJHx}g=bDA35I0P^P;ZPgV}4NDv}By$_}X?L}M)ymT^KU7+0 zh6co?_k=4Ab`5DnQ4Hp?T@wo=IXq>;}Cd1FK3*gRfgyg{au zjxz%0;Cb+u!&m{xltDKR`CBM`5Ya&oYRDNBOk!k4;%#Th0 zn4qs@!EwR6mg*)EH{r*p74)VNwTBCK?71r4Ec3iOe;fOjE@QqwJ%862*A!8D25t`o zp=UlymXeWWO6mGsp-xlDwsw+os`90RT&{0KdE>!gu;a3G>G z7s3Pk!vdelmVi0Gt%d~OOqtFxc|HXpW4hj5o$3$t_Dqp=C1fMvo!8oY51gw-sl93_*h4K`UJHwglThM0{0TI!Y6}+3&*GJ$U&ijDDns zAJ$nf%eNa*JtwIy_+?DODd~%SOrL{Zer4p`86vZFj;Uya?}@Y|d-Ki`Z#S*Lgv=<*sWq_>AY!dnU*ycLcQLR{4{L zV2L03N8xdJ=k7v{qK#(8FRn~HW#=S|FAN>yWl4m6qVN=3)++B7{4CB?y-qZ}%?NzI zcP(;@s*?~e$X@tOL;nbHj1eaPV}cshvvJZ~SpEw(e{*Vv$bJFmpQee@iBqAUpDStn z_Rt7Eccdl4D~4ywC4Bh%f4xAiV*?~)=;KSKBHD$%+;3{A<8#MW>dJWTeXnkJ#3_dh zzCMCP+PCd#>ZU&W#kU)Bb%@uwd=&=IU!?lF|c8cMf5GYqZ^u z-&fsdxUeWzlo2(EXc;#I@FOW}VI)p#;9JE^|H0)bTy?K^N}KUg$Gzzgl^J;Ubj)}s zpHsnCd8TPVkTNPRV80lEZ|!6}SWxCrAsWS3%(h`qDKw8BF-Q z>T8d-%iu);3e{R`nod9iO}cu2@MjiN+Y4EV;0$3{;|Sqj%87J3s^`oMkrzgcMI?bs zmbnb9CzYk}_<&R=l`VJR**nREv|09xt8BYy@)=Z(NbuXu!dHRz@_b&6k!Vi!?ivxc zMQAVKGQEXy23iq;GPPvE3!p3ReT}1AjMIN+v+}A?*<~K+R+%X4Ax^#~XQL@rXl|7A z{|D?`zA{glz@<_bqwo@PA*0`;9|+U0=t}sB6HxfB^=A+rCSejI)5sIV5O`22Lim-E zm_mPonYBb2e?VyIEFzjFGE(-CQW(>3W*cW`t@)c@CncIPvNQW579iegi5fb6j)78v z!i$&Eo!yNEF_Rn3dnag#PlzAIU04RP%&c5>4y`?_amr*6*^+7Hrb&a8GX4zV{6-_^ z%V-$sA=T1vi_<<=G@~-5^-FVakZKh6*J}uBeSu=Jh*?T(m31I3JQ0~UgT%UnNEN+e zJ?5`J%!iN2FN#f?- zVRpUHg;Ulov^wUw2-t}{!`?%sfJ;~}%{46K@Luagdt4AKPIPZ;1k&;AA&vAGLB$We zea!43*~=H-FH5$^^&KLsXWeK1OfqQM-P;WZ>ma0akv%3Dd;Syc|+{J==J0 zs?++sovAG51MaAxQM_5q8xXZvhjEmQEO6ICAZr6mJm86kpS$J^j1+@0Pc63J2k%B?(7@2ZVH}#M7Be{z!aR3UfGGMK6!hCQ zVVW9`{lZ$Dn!tMa<=197W;&w%%lR5$_NB|;81(vh3Z%7fL&cRB-W^dx&~V<`8<|dM z|0Db(a1d{ikeX?Vsmi92rRs<3J7iV^Sl{Qw2iaJAp&@gG~uamLXuXMR8#D&v4 zbG2nwec1TH+Dt@(`Bo|}4IYFIXyncR8el7Kvy(* ziFgJ{tKeVR){!FGd-zIicNE5w-FJ%&P2VAS*{uVB2k3xfQFwa0xaXQy@+FGiLWl_( zI!v$PUqyki3G90o+E%|NepgPuE$aRmQs8tu{VA9z6GS&(-Uo4V?w{UtPr``DPM1_P z@QXT#eHHQTo4e=6kL=3|=Xk}x0{fI;(lDSzJYi!CP?b_3^2Tj_;lbwFTfwg)sk zDbXmlN?U4IAX%o3>3HeaXfy@SaF#wVVs;`|Sjx3qwdE=p#Rn~pa-PLI#-41x1vPsq zwmL*ADn!{X4`TNKJRPLYn$pND33;5Gr+gcKfsi!>EFQ>R572{oQ|iu_CS}knmNQ#H z?%Qrp=b9p4@n-lm!+5yccx{?GQB_xOQSRXmBNkz{`0@}oV{5`5v1!nx&_Y+88fCgq zL-cKgZu1YpeE-74SH_waFZ(6at=qhAR^&hBY2Q$4>Un7;#>iiH=dK3y2L}T5E6 ziTw9){6l860zIkT_LeRsoP0r7anUieS#M1o!%Fx#tQ9))pu1CxRH%SDk)2TQNdYNy zXR%6954t6C*Gr$~#m?5_8zE}N03YpTjv=iJHSYfS*){^MP;^m-0(%fH zN1;0Ep3e#463~a3Kc~g{9-BXxEUkzrM{>a zR28YJFgF&%024H6BGNUZZOI|JsjsKwf*pC$s4PhhhzZC#uV_G|8tBla_~L4vZ5gI7 zE&^>WPJkQDGIAk#l>3Q8cl1)zFX&ONDs^E4*hsa_7m)+zT{oNMKhmT-0CLsXkL!4* zX$97zlC5`}!lf`Pw(pk<-Beqdq0#gv?3zl++?e)rlv$hMke+WHhGxKVX9yUaZm+Jt1*| z(d@#}>>&RUsDA{y1$N%U1(<^z|oWlV8YPE`Z`Gp&cs}5wP zCI;WSD#{FTdD&pvVa(-MMSfwRs)N~_b-;;mmp#HdwJW8HMfLTdj(}Ff4{?DT#+nXJ-9mlJz^E8z#|FXTLgD74GN`FhXF(kuRZ?H^-~~Zg6Ok1b*+Zu>!nD`Imt2q?A2 zBSeQ~SriDBz;ysO1wuJxfHo8aGL)=*xnx2wM=CS3Y?3QNyf}?i5C{z_#qLNR&`ANS zP{_ctl|neW6O~6ZksQ(;EO4y^7>FrR=3$oWu!97u!IM)Dis#6Jtf{4@;}oV_C~Z;~ z*xMkOLnhH-;nl_vQ^IGV?{5>rlvES*i@gD=55@_NjUt ze$K6Lv?y$subzt8d|;JtcB>;NF-=OjD^~n4axZy^43HjO!ONB&}wI4FDm?t;?a|}$C+-? z?xNf)$;l;8xipuiZ^QO>U920T;o!M)-M-*}Ii$vjeK)mKf?kbnQ&QxXhY5T_F z)bH09{`Qx)w%7LV?r@|4*cmJ`L*Ev_J#V3PthU6 zEiVa+?}6!DAVy7$Rk$4U6Y0eQPH}x1us#>zIa*m64cs={%K*ABJhi=C_Z-XXP{L@B zze*1o>$n@&GyY-OdxPO!xIVkc;d7n$8mXtu^Al!<$ zfH!&|zC2EeN+dkC{TjI%b{9EXD6Iep?U?Un_9S-0J9|YwX@pXW@U8$4Y&XqJScw?L zR~L!b<*7t9IMP;y1BRBzzcCIm&O*sh$MlF*!AXU{-9^B~j?fHF?Yu{00aN5MAZeZ3 znQ~2!j;fNBqNn!r8XzbA1%!VeR;ZM1R}d`5y2qR8Uu5YTq=e^Aav-lzp`rqnlG1s= zTAq@lpTAl8d-|1_EXyj!?C5cYJe`7Gr%F)C_ z+$e1AdWeO&TY)J=kd`b}ZmA%u5{~oUSsf54q@UWhsrkH!cg4 zGS=TLF*NBsdWbd+@Ne<3q_g(s?6i_H#r+1}DK)&wiuRhXm7Tu~1>90j2$Qh2b+ZWU z)DO}T`d~OAAJT>TVDvy=tn#`A`5)q^{0#Go66CL5<%VI8rqM-T>}1H2!R7vN(-^4I zkTcwm3SX7q%7&WDr0oh5^T|yR6jE^KD*{3|U__yqDpV806UQ{SnsDFr7W6dWGXu#t zIq%ftx~B_r6dfY-x1qHH#GFn$imnS7HHyMtx)k!_)yOef*d0J~Wy;EAw^GoeeuoWr z*C<~T2!B#8+pEaC6XdFwI@@r8O79`w&?NblS9$XlDj^c!EQlNwt1)77MVw|I)icNQ z{bt7x7~bC)@;pY~)%9blJnpm)v78?^yVsw+KSwr8a~h;HGSMe2ezXAYrfsJA^MIP% z8_FF6t6Oe{GfU{|_L$ONSL}YO(Piadee-&@*q)g_ zm_)Z~>+ifIqtQR$FRwH=_Vp&rl;?N(Rbie9L{CBE&-&~n?$s&JL-$9NWH%z8z3^{I z=+AYcliq#EMzX#s@vqYHpr3fw8-gS;*pcjcSMnc-U9|60oqPL3d{f@u+E)ypgSAh# z{=a+Buh^bjy|f^kmcqRh+8;*JZ3bYNK`-4MGN`dgCJR@!As-F06Dnq(wx2rlfqZ@@ zfIZuPZVJX{E8H#K#;sboa=wVb+PmMQ8QRIx^Rve^K`p!23_wUrAiT+rYMtX-{qSs8 zJN{sc{)-{RM_i9;ep!<*=qB*H0{xc9+OhxWM2NL<&9qPs8k{%3rdmsD=NVWCRIH;T zQtd=mmLvYFtx**IwDVB(%bRT~&zCYn)KYA_ZyPPMnybHAUvblU$MaAkYJYU(U}Z1& zcdQ>yZHT^J4^5=!+!W4c;;go02M6&_+X{$l8makJhu$%ZEcA! zGtq23zmc|UU zFI*za4G#bKs~0X zeP|Q%CL{>L7rjd9BM7bUIwk9t?Xjr%J}N=1Y(LF+-~UcYjy)yjB$wo?WkwS$?dd=i z{a+d-4CLZ*jb!0Q@+ZjXX6rP>J*#WpW);9|W&yrq$a4ys!%Y?S-o2k|(#pc$zrwEE zx5wCcY3C>o)(_l@SehT&G$5wBOvsjig-;&GqvZvZvsZWsRm=2rWqMY< zIvhdwt)oUpR&lfscWWKS*e|B#k%5&bOBMa&hOg@x`OJ9>bZR)N{=ex^x z_tN$0=*>527N=RNWwZwYl0cnGRW9zpi=&q)J8 zQ&S`p^5|5>s9Dw@6i}8=R@;(A!bUeyoYm=l&$>40;RhV%9p!PYwCWh&S68)`d~xso z#LXFvaLQD1Kkx~M<&`Zv&K!klEG)~p*J`=LVS$s-6PMw!^3_uv?%>J9U3(%(*{G)0 zyvJek`IB(hLh<)aQ!cdF;dv~kt@s*XFl?}kjP#uooYUdRJV!V&1^zU}7z0B7n+0LF zl#aqELy8yyxqwDM;6L);RqbEJ?O(9|7g+uUjsH=<{>#k&1^55#rQeOgun98%%m42N zm|Ez@Vbq{uxVbs`(|`PiA^0!L_zlw!1?2p1*}g=__{$m)!*{B7+Ojs`XVXghAg#uEL{TMh?)bc?az$lL1uS6?ilQv?B4 zUl4qx(lLw^Lh5Xg640q_N<6g@)(HoOAg@|nop0?42yZTH{)Vl#zl#K`kX2SanZb{lZ|I&)B_2U&2qhkjIYsW&4}A(p3aYU6lB%}F;N3?QnW&huv}U7g#3J~K``}U% z5t~Y2DGk&aWmY!L#3T<&wfLhD^^4fAtFonoC*p_cMNsR$^zBZE>JRn0?1M8}f_p52 z4u)lA_tmT&N99aMWN1vw@yB8-r8EOYqT#>%UsU2jwvnpHRtJ!SGpx%F~IEpoSCpCb49tAtEe&(a9(Fpm(fq|ht3_y6 z&}AYK&PAoRA#e6luC5Y!dLakx6$XhHK&^M_m*#=% zX?w4&N3@l0kbE{qtPnIhdr(*XS&}d77NUM2ToATL%j-j`J)2T13YxLTS(7SYE{S~G z_&vavFrxzW?n!3yo*GsKsA-fP>fm9G>eWB8=UX7WtICRbvsotYjy!o?1BQ)C^!-t6wD> zI$Qw#$FtM>XJAa!fn3sjJly>3oH9J(?9wt^JTfxUT;f0}33gtfIESQ!2)WSzdc^pD z8pC;jT>m;E6KG6BOB_R*sVa{T%n^YNwF40a9TyR$gvwV$SzgZ9`HOB{S2_%XeeV#?E{;(OpmXZq!sbHdSFLlcVa2Jenm`AW{!NNh@!{S`dRJ zRbQ0>LxKZF=9{q`VX}KU9Xtzvn<0Ct{7xi$!e=Xg2H}#8J4&csGvLjuplT0|d=EIE z$I!3N$3Dvso3*eP>|=F6VAJU#Ix85y9?DyQebA7UxlaEcOzKe1=p@g!EQ^{rWPA$! zT2Y`?D~}!!TwFfOG%J~(H&2;e47~+pP`FRJLjX`Wxnw2B2U!-E<10^&^dV~GM%f%v zxFpT9fkbJ9VO4@Tx0w0h!}`2|P{X}^fY_9kH%I(l>9}^(iy&zicp->K$T$rAu}a!r z>I^7UAgWC-b1PI$(3dTNR!FBHLo+lN=Y!_SeQ#3cfQiHtV?1wkaw;l%QOM{-1JKj4 zq}DYj|BiK=B$%~hcOube<(&gHIo{T)Av`M)1h+)@+m0J&VTrcFrQU#2`OPzm-8yfP z>bGZmSl5ulXxM24nClY$p$0Ylw^jCE-B$T!+2;6vdYMC51_2AW70Rvo zWq5F5Hkp!w@4f(n zUCIWnp5HzvF6aADGFpxJM;BNqo#kX|Ia%H>?|HYI$^IQV z4c0auN+%i91SD^^?g3}205tJH(e5O1>C76@LjSJm&m?I>Ld5816C*S`2RxLvI@w%c zQb!N-yJxf*COj4)#|t+{0y(mnC0IB^x9<-awJxB|!B#C2<>D2LQ=edlW&K6>^VWkA>P6Ok%7f9%u&{(EQYC|jc{Eve% z3V%tnkQ+39XQ5Y)+q<9}BA@;| z#Hy9&o*ny18yP<>w!og@5|$?{5=wE|0Y|Ycfb5a;`GI!eae&p`uminjl>^d9w0W-b zuG6H?32>yX`cnszXXMwr!B6>;5ThppK1@JFR}4JmYsY_eP#k_Hu8H+)rSI-MliTloElLtrWAl$zUMjUwfJWO9K2l z#(Xt} z#zt8u5mIw!?`?;*|m3}tlQhZPy3cxBY#0Ub*olTQ>TdqxP*Qz)r;{JgLL zYB)kEAW<2Dr>e0sP~ah_A$I(vw9XUD4iPvK;zF*u7sH!H_;PrCZN%(XCmZ52pB(N0 zfi^)$@_l#oI!}#{ZqyANjkK!Ac@j>ITbP7?z1h1=B9*1(8YcS*R%vA?ciwOe*D@if zg*)NSAAN(7`Hmlaf3cZQ=rhlR^HYfmy_ARF<4o&75FDbJmOfPNhQ*u(a!EE~*W)J) z!pzRWZ>caXi?$LJyw?hWar14di7NC&1jQHtTMfblBITdi%nv1C_jOg^qf4&Av%%Pe$uxpXWojJ~O+KHEk zjDz>(tNUCyNvAKyi7nA$4^K!19kx?ptaxM-3{6M`MW+T>egyGozO<4RoLRn% zc<;o0Ka2o*1)F?zXV!B7zMd1^b+Y@RyBUM8pN@Km2fe^T$;)$kdTZHm^$z(b*y=bM z%Mb5luA2+E#IugEdk`N#J&#jW5vvEjp1|;W@64TE*YW{&H$TgyKwpnr>9u(cu3A>Z znZ`n)LZeGOAMmB{n-FQMXCNC>-v6Awf9~rcf%|q_Ayrhix}0F)fz@J#8*5+&H{q*U z+ndeMmleoeUArD_Z%bS|3HqkU^9ohLw%!1hK@xY;yNr1iBzt69Nh9$uwdcBo?AKksdfbo^zo_H-}u%ktjIe{f!Yw#+PQfCC939twmf&y$|w169dEwh=is(S`^z(mx| zvFqlaC#`_w-$IsQReB@qWMc4~$^;wte^hk2&Li`UYL`zQ9b(R)v=wdz6MIMVkR5HP z@IXaHiGQ9TWIug_0FE`l2ETvr5oHd$FX38Ta!KYZawlS!l4*8TTgLaAZ6&5lH#T0^C~z4@ zF%(?!W`P?Vs0X05iN0x{&4AM%QOET}y_g?cEk*T8pMFao?&Ct0^%z^&(ZFWWl0%ErN0^T-Q zHbeBnWMACO1}xqSt9`N@(I0g-fKLJD_&Jo$u@}j=X10Jey6+8{E^?c5V;zF>uIuKDJI(5&=RzVMkIn1p>8qW32g0|+ZIC@wsO$v8G1cA1V{1lUWBjX18T z2hvoSWMct8SLxZ+JxpT8+RtlDTPhO;LkUI>Bg$~mAYoTR`k+Ojaoz~nXaC*$6UM%b zOR{@KTWv(1BqcrUfrz5KfnSO@XuSA0SKOh~NlGyyvQkQ1^oe&0o_jx$wV;(5gr`1< z)NQiXirzO=>EXgakN!QZqGa@sNZ=4bMvyX-O~&d~4oUL|rWU=e$?|e*j`FydXuAJo z^L2YU+)mGsPF6si{3`Kr9KdAW;HmW^XRR``cxwqE2aH5%WW?8MmIz*|$S3IIqq7N8Dz{sxnVj z9Cy+M>G%=S-2`Uz_i)g*|A%f1g6dQ*_dFuZX!K5kpuvC?IUz=U%fDN+p|18ddr*em$Tc$>r(o?E9vBWrR4F|l=Daeh^i>6hM}ID0ZHA|r58k$??z^B#*r^T|}dk3>#bI7U_@QQe?`IbtY5 zB^f>omI=6hj(1FSqHZcu%9vnvaoZU1x96F6_JFK#{17en^7Q6p5Sk;JLeVW3=^BFy zV-VQ{W@}`e37ywNwt&Dsq3@Y0Z48H^CSjB=9Wx+HK=E@5$3ye@9^xC_}sZ>$TJtR{Eoc&`uyXY!`CCfAi2hc-Gm%5pNkbn>{G*wiV<^Q)j z$}@s1YmiyWV+m3Pqg0=#1YD&vAc_e`Zbey2G-wW~PaT=)Zhpn2Uy^n2#kwY&Fm?q$!?^q(Z>6f1k3g0(q7Hotd65& z`9RNYrtplPNvi_|<+7UI??%JvqR)B~Qg-Nma)Ar7vfPP{&~^X% ziHH*`*t~*krfjt2`VI8p{(Hvgs$s6SI?IvMI`NH#g|0^z+H2yd0x7csr{0pV`|L&+R$HUgN(i-1noKb{JaR6(Jh=gT=x&{F{sn zBhIRH+j^#-0Ia-o#aay(=x|anOg(z2;8HS^IM~3&6d$6~K5*dsQ|gQ?Tl!gMyeENj%VSh-q8j#ByTX~8UU%W3KKUuX$*8VmO( z>vyCQRoxITod@m{DL!x0ZVg_}@n89V(_5EWpA+~RVD5fjdN=HgZ*e^T66K^akQto4 zPb_a@@s0~T-F_x%os4R{Vc1R$rEe2T|9;0f_&@DO0-ZHBKRShkJMwCZ|Mghc! zoSTQgvyMf_44X%d>60C0WyM{F%F!!igki(oPQ-#q$Y~ycNPafdjv$>AH5_WkzAKU- z2umY&#%z$m=iO0mkCtjh5aFe1Il7O+J|=dKg>pPG9fNl&2p{o?$8Hcf@WBxe>L#5g zZ4m7z5KaTlqE?~0qoCD#Krkjix&RBJ2vbZ`dxEbDrp3IGl-JmCtV4-t>B19XbY-B? z$rsafaZNud7f1_914ndvp~)e#p@lGXtisDp`wNUE?>HJ_799&n=jknx&Gm|fDVi;a z@=S_-hKKBK4qpK9G+00EAdmPZAxh&`&sfVig7YD4;y#3fiH;$KutX>bP=VA>=t#8u zJ6zdGoVXS|!D|BiP{97u$R>o5hv34{OVV8pgkIDXEl6mc;2?=Vh#@ApP!Y)OsyCs^ zp^-KHy=5RYvIf5lu;tx4Vr27>L|URB+AV*A;6F?ZF>ygz`TZw}xR&CRdEkDiH)6xq zJ4*coJ;?io1o^=WI$(cy)hoK-=z9y8b*PvgdH5o*-y`^A=rpG^&kc zzJMT-Nf#_oF+}KYHwz%;-!Aj(i|4aTC*UsrV~a62ZlM*(jZwS-2Yjr0NS7Jom*UmA z)JVSdlFQ$C(660wk`WDXXvD*6Rhg@LxDPwK*1s*40?pf4?$7wYBw@UF45ml?)a?Sd zUk{o-TV+8nQ9<|0j`!YvWbE@wWnC;M;W2A)Kzb^q*16o~+K+gZKgo2diyis2j*I04 zt^G?Bfzk+Z$uk1bbucMTVt3VI4;_0FD6V-oOgf);4L4}()}nSpwr29$mv7Xu>BD&n zz78Xp8yTivNQM#XF1;@;b3GI3$v&>V@sk7s)$RWp@+Pj@fvw3j6$&x#*l1sak@fJ7 zE9~<;5nHSgSJYN`cJ+6seD-*rNz5zKy@zrhB-HCcblC|&YM)67?)wP|Q@=DCqE8W# zxsijYPP02NIzjc?j3+fvQk&r}vFt`H!KXn%Fi z+pw$7mSoVHY>*9_bJk3ZPh68Mbvy86g5Lp+I#`dNHI2LH?wZ_qbnnc7vJfi+;f z{4ehcvmSH({pp8|-a!k2@T%0c%6f6nV4T4(H^v4!7qZG)J^c8_3YJ`94u>xzB?7)Syzgw3^W?3xmTDpjm?x8C z_V@3KfFI5N4CcG}LM%XLAf1v64uxS8c5%3Oc{g4ALs1V45>8qPGh-ogp|ERMAj?o^ zfaJb}#u&*rKJxKOYxonS!cPOfRd@ResvmM-f1m|)oDBfC zLkyFT-2;9b(GIm|O-9-~%rJGa&@C#oPH1eaV*5<1dmIuc6ne)kJ7YB3cj8A$1R0CjM56{=!-Bm;k!dlaZVy?T2M5$PQ+XEHvy_fY<14A_v$VkKk zBIRKW&vVsBU);;>Q-hYE;cGcjwC>#r??Q;j0e0A+L)2X^oIVY-S7@1pprx1zVz5+| z@ZBcC;=MN1_AB>3~~f-@AfYoZSsKgO6J4TFxoMmuTRz#Y8543S{kfL_1|DUJPhIXJj3|q`5eUsL0jM5%|7f=X188#@K zn>14rTSYt2=G=H;m1JlUe4eG)Vb_kqwD3U@7a`~2d4K+WR00hR)QrI>Zis6yGPWM5 z-txUFA%Zo}TlhzH_E8JPn8jY9$u0cpEkUp_9DZO^0BoK$bgv0b`Bx4xG&e;S`^GyFzg= zmldBXOtR@8!+goqT{rDtZyx;oTBj|```DcAA-Na2Q2$EJ)?IN`vm-tzV}R1$P?%EF z-;N%`5`B?hD$V=bG?6qq%6{w~!$(8%^N+*7^P%M-0;yO`ByeIieY5-Ed{#+vERKNW zkK4L2dMj=<8OBk~xuKv*vHOKO{ShDxB@W83q7Ew#& zsTMZ43aZ)Y><{?zm&5jG+-|QzM)%<=^iAFdAZ(-}Cdce{L?BQg32MR1sF_eG#>%|Y zkmyOMHi)JWN>8gGyx_Iv&1mf8`}7vcj-Ld50`+v5dOWf`+gR2G1Sfsw#AOsZgqdEH@ujnVS(Gf?A32GQ8IYc{oyfPwN;PfxN=&P9vq-`q_N@f+>6Hy z1r&Yt{nSA0&GVR9-d)qva#~?7z%*WtSfh^|1&TmI`6jc#WIEpA%d7t;rn11&-gVCK zm%vp0i^vtPaL%n@EPzB)C@4o9ypwdWB~u@_CN_N#3A^yXMuZPR}MkI-J45-W!)v)yv`#vh+025Zk zGWZMz3H)GQcx#~cBNfHl!mk069FoPSV$U@){wWhO?Hdk_hPPOEo$X;{nK!V)1h})( z()T7+wwB&Rr?(PZbEQm!tAz0vomw~ymKXsx)_FDfG~>~xNbPlcu}~d<4$*#pNSa)Q zg{Xtr(414l`KNRs=eg?N>AkyvDFx>(T!uM?qSWPsnO3$k*gH6Z9JwluWs=Y3S~oCM zauSj$wPiAdV&clc57ct(rkj9*58&XRs~EX%X`*tv*PUthV2Vmwts^k0iX9!oQuSYG zAVsTY%RY~;iPn~_&1rouJA=lmGmn60-cZn5rvu9Q^pxJ7ec;_|SSSqktu%oQ6R&7_ z8h&N5sapu*k5U^L9YRxdlO)}}S6J`qEEJ5Ndkm!_Cy-);Xq8U> z{TAFF(=x{4lhpzM?agtA>cloP=9a+`JH5xrE2Rp8r*7BsYB`_rTG0Dg$oV#Nbky7%?7gx+?MX`(AR-!dEn zykIAWH%fcLu3A;0HK-~eeusJR5$tLVMLcSYuE0FUmBA=2BSWFx7hJkPr0GZ~BupuU za`0#bB;xAv1@kiwN+{(10*+Qz^uoxGr!8aW&)A92wlEVtE2R084Y1u>hN}5VAtWH>pq}C9S)XC*vx+!IX4fY4BmR4mt>g>8tghujg9^`_wdk%YvfluEw}`U;|xO zN$4Cn(0F0V0rTg1uzSNFA89pG;Q5%Pa0*?T3$JyQTF)SI3Z~&Q(G~3j(8XmFn$PNL zNFn?=Kp-FcMw4y;aNyWmTA(Fe1WM%g%07_z-|1oCU9Iv7AM~z{rFDj2etzL|>yu33 z3f{8Mi>S-;GO&@WX2m4-&FOUgP}r2I`X@!w? zhtAVH*zUv^ODch_V%nWc&;!xA%M$n7cwd_G-HVak4{k6^ARftu^D5S4@s~0!bYJYq zH+NuIwAAXVW!V71gP*k>;Cuh|<1+SidTy zcLA5KIwwf9AaXv7(_~^N$UY-So()fhUDm>lVb>-Yy%WS2xde=}`T%fORj}e0o`W%* z63xF*sZoT(fZeQ5fFE~K2=_4wjr*%Z`t1=UMktkaB$YMze}MQ8kZn}fP;M&VZ0U*X zkaXCWdUj45lGvYDMrh{q?Uh5k&*%f4hojq-|$fnmC~l%0@(fk_hXt5n*~m;)5p`Qxf$T zx8R3IB@zb9MuCYD1y_dI{}9!rqd+(zgH*=xPC7BBBvpoB#Rn^gdN2-7g%G3`uX33Z z7YPRnhxeyo($X$UL(hVzCG~Fz6CnsVxT~8LLKU~AJSdCVVt@-msmQX&vndCyQ)Ix3 zD~ACtbv!91S0kR2#e zbdC*Amr6XFKmv-nGBIp28v*29v3*g0>o?)W@~jjSvivxH#Rfw7zBc6acS3q>@73SS zun~E=Rk>;`O?IzbUts62H5wmWAIzOW4Z4qVhOhZ77vO$~P zFbryh|Lt$Z%P4%tJDom+sE~e2EFO^V(NmkR5wP;uV`J18Ul-_j)mvA8T?k<;(lRuP zz0EYzxh@~6Rc zm&=>e?n$z&Tc-4LvD=JE>j1aqOL7kcB0=A(-E_Dg7m;WeKNp0WA|W*y@>L)#h-$!- zJX-NS0>MRba1ay3+waR(zcNIGKMn zJA4>m?E^M?R9qgJYDU(l)b{XiKrQo~3Gn;hkzw!W%jQt#YL3*^Xh61R^55nLW{OW_ z(>4*jQ}oJp^&ZsL5@zBNlx}WA1T?ka^(1W=v)ichc1@&CL#&GCS>0yTBlxU`Vj(sy zQ=o_r1duF4$_NkL%UV6_b`vd3a!r1^75q%hoooN7l>sB=9?#7W3}YW{WMei+M0Xh^ zri1N)CrEKCEcVD&Yam7Va)v;zgUoGPm{mPT?C_7Y8>=p>i_ zEvt!W8#|mQ1=c(z2l=L*qRcd+I)xYO5e9#5g#fisS zOn!o&OG^(Wrx_Y>TKA^l2S>N;U0*o~)ap`xY!mrDVe)XzE_!cH}U>S~wD8j<96 zWxU@hXBaEBy_F<~8V!`=Csx)%xt{rG3`k34QOe8*NDk@6K78-S~CF*6! z+Uqu@L_i%eJi>O?iT*MZySxVg$~ZAyA4EX)d>J#N?4mv-nOp}pqatcZi@NAD%o^WjYOOGZG27@ur>0Ko zSt^dr^Hy}r)9`!3`YZ~+NQs7mT+$uAZp*0xIhP*BSm6m`c!_}R`XQ;9jHkhd!sPry zsq0#{6)obCx`7tAMvFzh?hn_LGyEhB4XrFZYlXdZ`ae({;8*E}f1tF1a^m@dKlz^G zX9D!{ixXsS-la#NPi6r^O5-d6VE9Faw4|L!hS9ar!1WH+JnX_~$&e6lGTKu_ zjDX(|=o6?Pa5W`@62y|!O2I3dH)a}UGDPMuA^tP7JbZ7$k)F(zR3Q-nWpId&+H2;^ zoTw5>z@y*WB2A?*xvnX2v5X}_;&cOVm6VHDqG2H?>4=@bm~jjt;BBw+ zMDD-cXK}L#r>cXKA`fvdrfHMm3IuGF%oMYyioBPkPOH7Wa^|~_eyZqzs@)$nj?tZ- zwtF{UeZI@L%W|853`oDeEFZ<{!eQ9&P_GxdYu6f!2I{lh z9GZ|1Q2wLP;YUqI9G~XI$DXfyBETmfxC0qD9_hbIa@4&8T}L4}G5T3FDx?_0ew~Xl z5>sgGH|-eic_uR)JI2jwKN0`z(mv>&>z8*ZU){-P8WQjFFbKub z+^fiLdF|yxgz1G-;MtSQI^JT|&v&A{A zr5K#8t^CHk4Lgi)WgW;5Nr2sf9eo@$?4^AM z(mIpUKT!b`W*bj9=Kq4H`!aB5?8&z_p05F0-67ufF_V99m_IWQX53Fk)!$ju4~C#j zAc_srrG}vlfD0I7+(bqso-Bs;$%uGdw_m%0R3R?=ezb< zm+n#y2yZ+ws4A&>2;!ODEV0*C)LNr(i(sGs$*zmN_^af1>QGa~@!e`Fz717TOV-P( zb#W>gceI17+o`if@!KYM8KJn`1us zHuh%PZj%9jwsObs$wTF?3Lka1m*fcFrun)VdJK$}SvCri>@*08Lk1u5mdTyu)*sz= zfa7VtrP`)UfzWp6>47o73=k&DF7e8+w1-rU(cTy!CfD@?(ORkUxjbVM#K7KI40;NT%x$J8+@d`&wr^O_cGj(PJ(Gjuj#8yoj zuQ>O60^L~u3eA06x46`Hp6O`0$gLcCe>40@MB8M~JsNvNL3E5$T;NEAx0F!&d0y#w zN~eny)(`@+AA4!Y19>^HGqm4w(Dvxal%3IOKID*{I*B#C<|iP?EZrsJxykIe;(%I5 za4@edt$%uLXqR!N<=cGsWva3K`JV%78y|yG00(DG@11~RfYWDXWz}cpWNka0fKrBp z;$-LINEi4Eh4+6e-M>%+5NzzpY>0HgQcVM=MOIY*KBL`HVpYG}^*D#hD%#pNh!zcS zvfww=I+f^l!>TUKKYdm?fPLOxIQUB2oVCrh+Zq-bW}T5ckc}z5mA-6Q6xvKCCkSK$ z1~q^V{AUdRk3HDD63wbZ6)~w|gh;x^f|e_bLvc#hG(sm7e}rQa4?e7e0g4ESGjAF! zZ$pJ0CTk-?jmu*#aWYjalB$kcV&IB`kY}<>I~$xMUAZX~rYD17lA1kydTRREXv3h_x#*-SAJj6)4>enV&u7;Ueg&HgeA7H^xiS;rzq!_^&{pR z6(dth+d<2t$=*$*-Z>qP^)?0?%uw9p5u=^`*ZFkMxL({VuZ_!Gi2GWF^Xb!xnpq5J z@5W-W%PeS6L%}(fW;7>>GQb+uS8ev*?rmZDu{e6D^tE5@8y;Mi@pZ|-^oS2Q-gz$k zYb?9bR@>7~=E61chZJ5~IHN-y9$cKi{B>~Nuj?|2{s7u|^3$*2&u9HEI()0L zq<3ha1-HiCZng8AfusNAY``H%>A=Du<-w%ORbYc$e~5z}pfof#6mBOZW0$B@i?Lg! zp}hZ$x370Ls{2oj_PTbPLh*@9N&hydXF@a>Y>DP1fwUv$39<0`hfrrjY{L3?1h>1{ z7SsV>p>07+I>t}Cs4yMpGnYqxdZL)R@p;*$BeXXq8~ytZxZ{T{&e+Ubj4CPDMF9$c9xR?kJD?1k(4=XPxFRv&E8#@OdH?JTm|NrlZ z!ToJ(fZ*a>PjJN ztZh68KQ5wX)*3^uN+Xx9&2tA&FQVqv1|pu6k36mAbAkO<6_b2QU+L$zt(b5e_iPBo zCvWchjd4*Fp(;SLiTspMBs(Mh91>81y+&3W`dLD|q&6?YDsH>WSt}Av;xZMk0iz>6e)Wqu9aZMII5s$cahu{S3D1*Lmtfs0;ORM*auh z2L2nhe4L%SpVB&*juqLm-^UqTA1b|{u^s8CAFDqR8Wt-@?;luOzjldj-{U3}E$yr- zKiGYu@0QOabBMP>oVWH>!uxSt8^u!Ky9qwE(+qIT9NwO>p30q5yTi>W8JOby!fZ#96pw@tNQ({BBJ;^(CI-Fh?tmN&+-|G-EJL+Vc&K|b|gE@M&3-wsW)|L+w!GG3zF zbi&QP`xf7v+#G1C_o_k7dTbyOl$E;@<&k*iX z+@0NK9|V4O$5ZCAMV-bGu?4f@QJHz2WZ6vSdCsY0oy4mI-Go#A0`OBcrz^d735pnz Qi