From 22cc3d89927b8f8d4cfd190a63c9cfd32b8ad477 Mon Sep 17 00:00:00 2001 From: Duke Leto Date: Sun, 24 Dec 2017 22:54:51 +0000 Subject: [PATCH] Update HushList protocol whitepaper some more --- whitepaper/protocol.pdf | Bin 294049 -> 294106 bytes whitepaper/protocol.tex | 25 ++++++++++++++++++------- 2 files changed, 18 insertions(+), 7 deletions(-) diff --git a/whitepaper/protocol.pdf b/whitepaper/protocol.pdf index 37e4ae6df57aa1d0f73ea06f21ff80efbd316035..6759e3d7bf325c3d442bbd428bc38ebc426a040f 100644 GIT binary patch delta 13569 zcmajGQ*@?X&?X$)w$ZVk7#-WT-LcWh9ox38j?uAgbkebHcQo&;nSYMHwf?iZ3P*d@ z-c?uaDttx%`-+ZEtt>9d#Kz2tKs~oKyo$ih*??||fXhwBO6F*4iy$C?z#?zqVC7~_ z24dwVOLvNg{077(3n~q=qJ=$wBE%o}_j|mf$3x%JX&Q!rj>9^k7^fZe5 zEk^j+QbHhLq3YcJvD)*7YQ!m_wu0?9ejVYWV@h?`c@I=YHwcZHr@t4`sgxY9E= zk3CgCYhaFRz1eDLX3I#=Xvm-9RPKgFAwBJ0_8U1ysd!Y9Xf2LqLxrvdJZ^i zbeh{orV6yVrOpMV{#c13re+m@=gMeq#|qSh&*Y6?+96&VQo2GN_WU@JOqu?A0Zaez zI)Px}VD9SXVqs$czoq|ud~B>7$!ye^O*%-WNXabJ*iD%DPLP1W7Cv4& zf5w<)N|k7dvmAf|olCl9)T51{?Q0fy8SQEmvC98kdgs7+9#Hc}gjCJDJ-DXz^XdLo z&`niEmN{@0hOn-QbA`fAOQH95B!wAI%(V!2iFgPfI&rx9S~Cw1$(TIFP;xDc1S^RW(jzkJoALQTRDDl$HnI&w6%et{v}cJ!QCcZV~j z9QPhd$FLnP5g^Q>Rp+yGw6BN|RG0g<6G0R}gCrafaF=XKv$zmnzk!3)ahB5>4KFqi z*K2bj$$$un@sW9&D2PhpXMURbT^$VRfK$x?GEIay@;ODFUpPbZ!AKR7;#?yEA^ZcW zWKsP*34bmVyQ+@t1mLut7HG6#I%P^d?V=slm3su8f`T7{3+e7PiE=~=Gv^j}kVc=5 zzk$a+@6;pX&HVLd9XsC}Bxs%(><;&=g>>OZR0mKHR~J?V(Qo#*I}4*Zu;r_GQM3fb zTgZt0(WbD# zVnp_#A9>uFU$X)N3J=_zc4JNI!76@+JHB8FoxE zXyR5+`4PMQP~L09)|7ac;I;kqF7E2sX99m@C6az)+ItSrPj2WAEE)>XAEY*r6al#U zmT~3u`>glPXDIU;687~}@QQ8~Obw)8N;!!j?pp1+N)f@y!;PaN#r*U4oQR=K-qk7f zBpM)I_&e2Ocg+kkWb6mvBc$>mBp;~DTGV{MbBLTUvK=Uc9p%A8Rb~4eLLziBR7^>j zg@cbi1OPVWvcmu5AO39cjNlAQAOWR|!aurmic2Esq?i~{+f+U@s!=_q>eMa#RO3z+ zHP;F8AJ+ZEAPhK&g;B+frXA3;;3E^is!PT#+gOaZtcYxn9-7La8mSYB%#%e0P!<}= zQugMD&;`k*&ZzLiUF2U%b(TWF+}8Q`ev#JIRW`rETs$$2`E>Ugis`3)5CNT(JowBm z)H-DBoURFfmpv)2dkgl#*HIDB|L!xqzC=yeyQsDiDik4lW-2)%py0EdXa`*+PFV8g znH#`uLH6(CKRd9cN{UHmLLx--(8*$n?GfJ3?)*y{`630o9a>JSVGaw<2ZPgk#-f)N z+s3QJ^u-7 ziXPayg{hG{KYZXg$@^Q38I)EnB2E3`VSii@(t1|g6>W2EdXjKcn_MnU$RaH#!k#LE z(C@6f!3uanLyDt6!m0iyCTE;NmGGV7MmaJ=I6xDQR}+|)hyfyt3O@Xr^3sILQ4Rf= zuTKBv0pM>6{_$wYEx#&|hHafbZefH15z`6pwYo5>gpr@cohJ7Vl-&qW(;;g3AR7B8 zLO;~GR89YUlQ%X{mr2s-2uh$}-SVZL5!r72SRz7!zK|R=u&DS;k=V&8MWS^5>Z02x zr!XiuT05K)7Xw@bKk?8dD?)_sITerHEl=HH_i9q=Or!RW(tBFCVQRU`s5F+o)L8G!?{9u^Ej$k<#*VSWb;cnN?Sw z@B5ZCuVbgW&Gg&!Yd}5vT|JN`vOUz^Gr7J$#q4Z7Ie;8Qo5@>T*Fau8tiuEsQbwJL zC9^wsE6dN{VL8*%r9`G>%F_VyhaeV6pGU*{ zEHrHt0U+F#(iQWdR~G)QMh^EomvjHMx+u~$Zbfy@X9;AO3<*nGfb0YCvf$utR8{cumPm2wJjCsMpa6R(_{-o1$Bj#``kA@Ps|ExyjGSs=X+hd zwLSkTrg|`ZfiT3Qe4cm#dbj*wBN`R(Q*=_uvz%Os!$mT1Lk=^Iyda6DT$DU|BD!D) z*iSU)Jt$$_?}`WBAoA{qlKFqa6buofAaUdbK&|2HApgF$z9vIvQV)k^S6W7rFGp}( ze^@5`PTze-=594VYFPbuYt9#v_Emb8YGK>3SM2DOLgx=o_wE}#FwW8{Z?FlO{JhC2 z3;Bvm@oh2Y#nDGcZy>;G?RGC$(+lEyCznZ}*jyax;8}A1N+l1b7D;e})JKy+H|)q_v6D!s{7}gsd}CH;RVZf_3|b>@f`d?L3R*~QqPMbs zjegT`ri9;i)*Xa|fT6qJ^so4{k~dvQ`Cy`Ovh+Y!X$ZX7Wgx@rsDl0jF<{Jou>40$ zvKhx*u;eu6Tk|bO$=yURb1f6NB&}w92>i`a_P-)9 zZ(_}N)`=iScc)}XvRv5dw4KjlvQmlaPG{vBf7VO5cb?wnp!HnT+1H`sv7{!mXvT+{ zYUyA@dW5A@1YB<$V)Oo?=f6k{F;v3PLo_fn`+a)XhGfGRE;w*2!e+`c_i3onds+&u`s7M1u1`DrUe&|I5KxB zcAL^z70nO`2-|PWltC>XF)((x9H5z)nldPD_kH!UnOpEd$?sejSGg|a<~uja&#spU z*E|k{$TaLGjnSlro1X`exU=t6&sPrC_oUokl2+)3K(8x$G+k!6Fk!UYFrJ=HHT0E4 zv!OFh(l4{#>jb~1J{P*#Y4Ru%oee5Zr!!vdxRX=1x`Y*e1%c9t1>$$W~UKm6icJVloYbfI+cOOE)L>;0o{9=2;>Wg$dLkaYPJ zrW7+x|B8Cgj#xPi;gpi&ObxvREs@ExS0nocj2=_!us)p0H|CJ$vN;e^Qd8y!3M$IM zJts&;d1Rhcnu{KSH9yl_LU>7M+o~r6kZKG>a{C%{UH88T)3^>ABOONhiY7JMuC3$_ zDGlzw!9c_{oHKbU=48`T95LbTkU(#W1N)nX$7QEaD{;E%(X4R28?!tbCo8ffKdb{~ z?B;8yjyREI*H;hQ;ikZ1firYS%dbl${%RiKLpG&H16S4Q;JBF6wh0HsjAD~mTb1nS`9UXy1?|p38%r+=9q=k3ruXYd zEJcfgn4Rx1UX;&a(!!~U#+V5{U@q}~DvCn8Sa^kTGCye5Rm2>>a*l%?*ug_9S)r>D zo5M~(vA>_}Kvor)g3EjZ*TGRX1mpLkbB_qWSoOb)4o!Q&m>6Q$<&J;#s0=|^4<1So zjac%QP6mMO{*I>a7AIMMT{l_-^o*bpYt!tcHG1>jH@2%_}MaPR?=A<{T;` zYY)!n0@!*>nCKF9v4=h#q$pQ{i_PDZsTa+w54W(lE!Ubwp4hYG29)UV9Jb`#o|Nzc zc{q(-BmePd?otkmrC{ghc_)MNa8X0Hxg<8m6l=A3`7>}ta1ZpY~ANa)s`hDGAW%V!hbyf^nB|^jfztCk>VZ5 zYpX@Lm|ifA`u=yA6?g6qCtF>p1o_!Y2j{@X`PAQmFPZOGp3eGGZh*h)x;M)x7(%-r zVCVD0-7W)m0?TN|7q5;6bZDG!Zd3}Vr%c~7qA`#d^Q7oT>wEiJ9E`f zhCz1vWru9Dv5Li#xHj*UrP9AqziV1ex}q1`(HiB?ioUgJs9t)kvoh^pI@IR-tdV=# zxW%ChqrD(qyZo`#>U!+=2=geRh&?UDBd&qi#n$)^Wsmp;^0!00X}zkI8;t70>^r!v zpel-$<<@Vv!pA59u9#0Ev`WGR-LgdEYN(#985Ambt(OzJOYiAO6V<#nc{|C%(LPYH z5*a)96K9sy%eB<=hXpoeHU*H#>>v&2j}E0V&Wm~OK2N0vvX_IrP8v%3G{`;#@scbQ zKLnFxR0maZ*a(@laV&P{S1~Ju(&~9#_DHu6ujA|3`vPa4tFpC*j%3DawatqD zwCkl#?_x)-T{|0hylYdfkK%=Ve-`>zI#_;JLT+y5)Zx=WI2hl=zoy>v+W6w&Q8Rb$ zS3aAvz{qyNSmBkwp)3aWEE5=5f99#Y@sx<^iMhdn>JjgfOK*3n#sS=qDb0)ZyoND^ z9mX&6HKgLgSTW!LJD%)PZhGfGVd7rrwuW?7UUoFT5YzugknnErKxPq zGR56#e7`o%$L{Cg?AE)eK=~Z^-E8r?k zYF>i!v9srC16N=ne+l447B_6&n5-EhA&da*!9@liUbQ!84${3*j8r88swD$+m{FS% zD0*|@_dI$#y)I=3S>{d(yXTW3_XGUNkeG+HoqALZ)HsDd^%(D2_Fd_XDkGBxP#f=0 z9>3JJ%jY!YIUqmflSO+ChoT9dbQWt+nlVm>zJ|ino3&?XwR*lMjeT*E&M*aEzg9~T zd+2_Q3W+OR>V%tpjSN%ql42}AWBem=n(-})36d7p4-D#YW772icXjoA{66vki}F8I z*6h5=Geh1PSd)$Usqpo=ae2>CDvC6ml$6FdzgSRz5L*Gw&* zrmuG95&iix6P!|N0J{m%t^E_pDvV=W;KaJcNTT{WPyFib{b+nqi(QieKb%i-`OLCS zc2A>BJp-GyS~GvBQ`m9<$wC9gqF&RPs^@ZoOM2KK0d9SD=MRv59Vqjget<%Qt}#OM z2XUxM8b^3G8D5Xh4i%2x>IwflXL;PSXS*8&ZwFSm4E6fync@7mU>MS z*5rnas2{6|iaU{1sIGKcKj;Q2WHM8^?WI9GESceaENP#rGALIz*TyBKcv-<6<_{ng z%v#bPu3(z%_@!sD7Hrf2j%0c2VXiY1rPl72y*;1Q;WA+V#$=rA37%)Mo)uW`eyS)j z6>^vnh5IE;cX`sDlB?&iu{&s;%W07kT6MD`pBA@pyGsLwb`%n)mO#x-oC%5OKkPP{QR}N_q}q zwLpsZyEbqwDXi~hI$r#-!lTN>KwF12)8;P4q+3MR5MoM z${{q&dgFfoNTQBd+x7~Sk1_k9?#{YrUV5=mTz2akpQiho8+lBVeiyn}t-LE({*M_yDfKWF zR)B=5qViB*;YMw7t?+;^_>8*J+Cwofecu!*BDb8EBZrgkLF7tM4mNJmZ#@4G>G!VB zEKi5oAmQjV;h$4PLWbokT`MnHoqLl z4HL!fcsRV|Mdg+awQu?bTcxcUUA5K`gS1Mus=VU%r!VDr7mGtu{uG1GH4ZHSJrp3ykoqOjTp%${HlPmIwkOcW`qM#gmnL%uEny3Y3#0Y* zVLU~g<+2u27N}6T!gNR`Cg6XK11;F~Jt;i|ir+5o#lC}k2fk4uxEcub@XFrNNurGC zo_Jm^K~Bv-B8R{09Ml9F;qrx~wlITvPMw<-pxLIhxZaW{%*{NOj|dcb_xdP(^q$N3 zBVk#ZxVrapH1u6N#CgHKR14GWmG38->$$To^#!ID~Zq$NQAWXTfW6fLF-=6~VxK z4#VHm@2o)|>hDOYKUlL{%j-v|Znx_mf?T35PYthBw~L(%h`{>-UejL%Z?v18RyeDg zinENt%p#4s72;c?KZD9q^FJSmK(;Uw^vEz$^jm6nNP@L3y<1i|=dZ!Va2k1DNX$y6 zzr#tox8q=?%c+kc>>NIifZXF`?Yu9d6H!opHX>OvFO(!fzMjP1{q4U?4kZDAwvs}= zDYBg;j1uP8!XCbViq{0kvq;UJ?bsr+wFLe2O8tTYZGmcWk}J-&l9x>vo5R;gEF(zZ zW??+t#@Hq{9Cw=H=Es@F7qx8BcY<{!687$B2JCUHEu3>{@W=yBfU4)FCPjs0IS^1IK$7)=-8_v&fbkWp?n)xdYij=p3 z0)hp^YIJC>>Xh^s7JUI~mRV+UG<-|*5C4kMKK)7n$b?8osnVI@=+6MnmagQ|Q2&uZ z(s~p#{D9BYMZPj?;4NWrj9Ppln55Tbw+nbdlryf8uX^uohyTT+&# z`xB>AZl7@ANtHljCxj{+T>p@O3gu{NJ{hF7XVK=!XQueRI^B>wQTW`PpSjvrUwIP> zBaMdTXt>p7>WQ(*pAMA?rW?+9u!}oLmuixB{Jcj;$C|UFiE9d$*QI15@ZdM;Oa8%S zxvHRMO|0na8A1uw7#@>cT6?xTCnR{;8c~YqA)BmB6OWWo5peev0X8li{r&}qrV|3+ zS}0r1>i#^A17dN^dx!js_)wfoFDVJh#?AVF-q=fBJx9Ve4F7E-w)k=Ify0{_NXm-j zCHnvzrVFg&el`RtO`^g$Ea`KukLM3dEghTg1zi=p$3uY#td5OLM`ofKWz&U&adv3g zFm^UVQ-vJJ2I^qgi!m5EqH#;N$SwinyBVAj<*}@oa_c#GWHB1GyRe!vqMN$XoO#{^ z1t8E43Q;mYB39<0ukS^jr@n?!IxHTLW#J><{D31cv$Qba3gmIqBZ&6qzF07dmj{&9_5mGfuGPr2G zKjh{M!*i75mr;I+D4HQlAc`c1?wAXjV*@f`qNugh=XBK8sHlN`4am?bM@S@=G{*(e zc4WLXg(kR#h}KioAbbql6Dr?_zNxaG?w0dyG%|j~N*x8tPdG-}@t^go9z)1EJ&#paAO? zVQZL9zL3PuqKp%AShSrN@3FStAAG#X{o`5K&fP?2pv zW1Z#j$xZc1E+YzSQUmnhu4$0SP!v4OU8ZTBNrC4cz^=l8t~;SKCMlaWyuAB+fz@1A zF$Wui8duEOP5cl)_50M;RK-sTB>-n%g)>v(tN4XZ5HJ+*M*KBQ+q10On_@{bt)3;D z3GURg*V=PO~duuN8Aj2|8agY7xgV2w8m8Xkp)aKIpLD2C5HVD@&DU zHP%(ugy=gJKbj>Tdl+6OC?zlJ&GzFLexA`k?ZX)T-kAR@*H?$ST6-_#Kpv~>(q<56 zl$Pg~Z_t8ww)^OT)Dzzi)XJ>BPTC+Ug z>Cs;y!C{kYogR^gPZe_t60i5aA{Cm+QtF+3!i;$gxZ|AB_ha4ED=$gba<=n-IgCOC-Y3oFWq7f zt{t#Q2F%-x&!FbFb$zN|)@~=NmY=$O^N<=m^t3y>_dWC1dD#gRfO7Rb`6@&cPdD`x z$Inkt+1;PXb7z&F9EIxJW?iz_#83%uKEo-8Q0=%(W0yPEe};GNV4JO4Wiz-W}tG8>xLgVt3XHPfx3OynY6OGRr{O(8c!tPw*} z9e0|CbmnXVT}*W?=@3csYW8r`B@lA1ViH=>CwTsINJw&k{nq(13HC^Gwt5Ig zjcUt|AK>F;~4GK<9PdMwX_o+hEcpzz|E>t5w#Up zh)wB8WZ_OaJbK*d%G)Gw1x3*xCfnIp6VaDi2RCNHcJ~YQ1czOK%Uw|?$*Rylm+-8K zXkUTVi>m$x>e_THwE3x!wSz0(!IgP6>*{KY5x~u+iUUYPuu;IGa~mHultO-}fbkKB zDd3TkrYbo(bwof^g)}W$5fM1tpy`#(#3Le>2dBQVKj>U>7Qxh*5FSDH4eX+!8=?~@ zrJf7tG<&S>ro%t%4=mg`b$kRz@A7+xsq72VeuB>c8sSrelT276hRl3wsx(M?iPPXt z{cGn_aPvZ=(#&KI9lPCQuyFS?WG>5X!Swx;Ikl+8CfZku%t?dB9`oZAf7Q)q)dO3) zvl*m68?+h|vay7(JV>8%Mw=eZLEm^W5(p--K|dlrVkpIudZr1zL6sx2fTz#hU1p#K z$r2*)dsTnvDL_xR-Qr<&WNSC##=KU_u2t;BP`+y3j@=K2QnP9P;wVmS4EtZ1`h&>P z^MQ`xC^X!qHO0sJywvc!1f*Mt{b zng|TkSGBFHTG`uL_9oE;B*vff6xq8y5O;Y10;^AxFe+Q`;*s8Sc53-WZPtcbY$ShW z*yUyg%Xi;plWi_=5&s8UpWYlJA#Rf$?N#0t7s4O4-1OkBoFX=_rOuhwy3qow(r3*v z$L>5V@gl0)X`_z~3% zrCo1sldlcoXsq6@#$(7>ah!vAl(SW#?59R(d+TcCycc*qZxS?Ev=hgiiT|v2Xn9VA zv3tTzb5q5q#%Fh>vDD6qVV2SLAJ4J%rY*StdSlKb9##tl;WUN!!vp z9MAs>UGnRzM9O5)hI~vlmiO7VCbl(p1wk zP7JO|DH!cCtbi`zEj~bKu|hE@)nbAjoHwTw0a87+*gg4y#EiII!j?>lpvD74WAlO2 z;%udIXyi#4{SwOnh0vq7izQ)`@Gx1>a*V@47%e81-;q*@H!4O)$#KW-gOwPzlFH5_ z{hnFDLaw638ZW|5hpH5tj|n1SsKK0y^X{mNOuVBdGhWuUrb;xb`*r|)2cONc%0z{~ zUhT_xo`*~Iu`nOfpQ@h{R@EbMl}vbp)zn16`ycoKPEeD&66gV(t1VIt9P1xAPk5dn zL|dL9G3B|C{8sJzGP~LXmTVKwP?X2rLSY=He!97G&SV z`Pf<6xY^j*LG0}R+n9cA4;7y*AW1~P1wvqvv~h8DBje=Y{eS<|*m*&`|6g&n?y@e4 z;diVxRop`7%=(;JrEbf#-bg$iMM3RBl>Q^S$T*TPDnVv0{imNIDwr);P)bI-tx>BT zcyPb`^XVckhzy=ddn9Bj5CAD` z!lH?3{pgep2=Fp1cK}=aJGiHc7iXJ#s0WCTJP_C;Xu?&V`k1gAohvA2^(Hr7(3aH5R#4gT7fRJlkq@69`*GoPvl29UP-y z@_r$)oHLYP-9+KWITl8}7R|LWje1Nal@W5MMHT`#0ISD&_l9D%gc$9E-EJYuNYnUv0em z;lnjQvsgy%$L)2dU~m7Ky9M(*8s(Gr@_bw!1BVri$HP4Nsl%TlY~4dyrzf`kZY?i6 z1up|zm&G&}a!#}rO(MVU{QF2*tT6?5VBW`1o+N}ielzzgaqW~OUYQ^|^e{>-j=$Vq z*k*BT2(a8||Eag^1FE0l=*ahcK;LKOo+7>EA#4Q(rzBzxRMQzUT$^)8vlsm^A7z$LRKl|HtDKU;Zt8{vDyve$zPP zF*J))*J0c1PgVUpUZWd{Pxxw_WR|Xj!$*Nx@7InUxz9-8$mm7u(@KctiT=Nl7poZF z-P77mI4Q}<<6`l>)vT_*R>?zhtbaWPptonUuaK5h``0`gXH6&j!mp6vw?TWcp3SDz zGkL`)TauqD=7(kOLH6YQ9sy%p`$zHg71LLH;8MsOSGET(SAKqv-^aT`^mNm^Eidsj z_mIQN5c6X+U9OI-B}Us?Sb_VUAr75&{%HM21Gke=@bdP{I$mF~L?oL2J9rWca8!It z>dia-J!RU91oEFLZ|>3I1pNNqk!8w|?`6VI&0Ha7DYc2fFZmme%@oA1OP`vV@OgoJ z2`Fdv(_hI49>4YbYDv>2GK~!7t9@^)2sA%?GS$Cb3-o4S)FI0(Cu{nr3%^|M97eaX z^zi#X+Nv9BpJ5(4!aC?)JEyOsP22^agWSG~sK*GI+;VthZIE>Br#S+8o^@u#ou z^WrLrPN0cDg3uPITVLl|ne3YEQx~}GnqwMGnM5xgLcdOKZm+{zu4j6;0DY{*VL!xxMQ!y|}vi=T@svIfUQM-Oa(W$hxg>yp;(D zyXv>I#S?{d(setoaJ&3Ke(XG}QKgxL@{Xj=|CWaC^q_yKD5fHnmG1zn7!qlNMaD5RSi9j5Y1c6e=3IO3$b(2&AIw%m5xp zQgQLM*0%B-!R*-R$?*#WJQ`A=124_EduZQdEMPonpAtuuI+KJ0pdz-KEgw6HnXRz9 z)gy8*z5EC^Cp3CPXuTKfD!MU?s2AXxeV+}7SE-`iBo|)7zh$NSJ6a`;{?Lcq8rg(r z<|Ps}A1*vtt%DuUrk^?cLWf8L-y>~>bV8MKT75{L6P+U0GsJTDcrD}b>opWkXqb#wGMd?Ko^DeV7sKrgh(|fi9w@Gc$y@nxvvhTH<=cHi)?5@l z_ksi5p%fq(1Wa6_+~jcwGYc&bA2&kf%e|<5>h*QDyr%CnaCh#OxV4jy%FN`DM&J(Ap zZbEzP$V;Dpde#F)C=lG#cRT+2vEpM;8J%C>spqc?q^Ug+MrToJ{veOj{$SrQZm7=1 zY(}qfelybqFx!K5w|R4q^Rw76qKir5uwf)p!NH zvW|%l%=HdHk=TcBLbj5;k7^h$S$A_RQspk@@j2KnK7=jqSL!a!*NIJgI`;cIr2^+9 zdCO6NRZFZ@>RpYmmnK8rGFP6(MAO->PMufUx>p+AY*n~b$DWSEzD}9IBuU<3lvP8l zRpK3^uNMwO-Y{35nvXf^w5dds_2LGk-|)dofC3hmr23)gScxGBSK-q3cojjdx9D3J zbV3hX!B0US-I(Xu$@#7gvpV{k_>p9GQp+zuC?jRxlzshsF0Mu3bBW+TYQrDHYrDyQ zk$g&?Ki!XUBwW6cP15{vi4T3~DMEJdJ{V2TmRS>7VD#OVAUu8~`G^uqw6dnqFn+GE zkf$M{sj4xK$9Zkf!D<4~<(IRf`a0_gQpbxpwX5~kNEYiTF-5D}O3hJX)E)K4iL}{( zLJrvO)?jqK(9pajG4Q*JSBQN{LdWE_q1h93bS74d<@oXV3AuEH+ zdd;fnD8rZCgehx~!Is_T6;_FmOzj9tEC=Y;0|DF-^Z^vwL%u;(kdMajj$q4R4ndw? z@hWY?l-k3-A+`{0{k~n{75}lc7dwx|S3$nUxW7=BA$0pmNRZ{Og1P2U_=IUsAU1`4 zt?z}n87kILg;6zDzg1umQSwMC(|;qVDw;e=``z=eD6BHsw!!C@a>@$piRUD-4R;n&$^eky|~V8H>44~81B%4Dio}9vr^k36HTjAM8X)%+jiyModHYQ7qzaeX^3AF z9B+(i7YJE@#Pun5-bzu<%>i%Sd_Rnc-!Gaz4!as6G`!q^f@vh7xVcftBn( z!5OxRP~MKUA<><|=xkl~xl*K(UTMTqy2K^#lU`QCm*7~{TS;lA#8%*=lTPFOv{$V% zs2q1xRbn>fOPZ}*WTCJGo>~%21xh8v=U1uRjBlJ4~riVU9j Nzf~t{2_;E{{{`eSudo0B delta 13450 zcmajGQ*hu<^yVGg*2J3Fwr$(C{f(1}ZBH<We!z9j-e*TJKLgl<^7Plopw^5HV{MF}h zGA(AJX&2car$mAqz?X;g?=*_0@~(l{@eDnQ<5v?%fG=R!!n_VyE=4+>EFfNO;ib^l zhuGjf-th;_TN`_$YgJK%g;G?8T`G(SM$zd?Fwb>o?qB3Egi;I|!u;OFqPR{*;*t%2~gjN53Dm+bdZ%PJE`kp@$bhK#m z&s|{=d?>&Hdz*nL!dox`k8!Fc=Xq^gKSeF)+037Wb1pDWG>%oIWZ4+^Z8gF z1s?qVFzPoO9czZ*o)OpfkB+*ghHich*;MEF84lgt!OYdo#oX8)?!Vdp6p5Rw(Fmap z0gQ>W5f3*69N2^wdG}Su#CJVM>QQ#hO1G4_rhAFyXVJ^736T{WD)VSKegh(Y&T!5zaOP8HcwQPDCoa@ zXv0ExEsx1F8;5f*xyf59raFfygqR6jIWtyib&~!z3P3V=8u^;hkPfnZ<1Ev{`G^9rJR~VQ%EiZab*q97Ph6bbjQzB20OHndk+2_ zX+JtR(td4;zMvSLr?vD237sLp*Yo!4u@>90#{Rq~)F9D$J8-X+>3XV!$b4Inxx;ds z_R>3E4Jdpj^E2@4Y8zzObs0iqwp_SAg7KcC6QN)lGpKH7otB5@j$7dVfwRy1@x2Tk zY#xG0mG(B@imSZ=fCRnh8M-%Z4`7Yo@3=q=Yq{7UhM7ms&7|w;UJ%DFE%56i15grMWnMkff_DxT+U5pT7p zo+0F_7hdn1P4T8h8ZVfYJGE8{H+^??0~zsk%78+!yyC+-biXx5)H&MQ9_U;KZOetE z1|lHktS|FmZf>u)W`}U$D3=J5Dhac6oRE4(RIL}TkC6?XN8RzqHc5m+TXg#A(#VL> zGc(SkJE~4!gp0`d&udGj1F%oTM@?}rpRf^>hIkT`o zLXlEQ%xu1jRR}%aAGO0P%9{)%h-$*q+Q>Qy*rUfuqiZ>79K^dA7o8rLN(5PH0MC|@ z;B|PCT6ZKtDjW#7AbVgx?l_@9XRXvfW$EIwm=E$;*e_ux$b8FO7lAGJ z4UX*ju)qXSrlCQS9>v?%xL~G$ip1(7Ezpl#{nFu^dWOkj$~}ldGDT3bH?)QI^6vah zVz)FL7itjK83?c?`R+T=uq{lr?V|dDKvROJnRJf|h~gPBU`pQ9PFb%DP~t&sTAtvR ziOO(U?7wq@UovcdbFw^yQ(vY!%J^r}-2F?qXN!}3mVE*Af$3rC600yX0q3qF^o!fkLI#VBF9UFm`Ja@a0E3SXY{HI}M1TWAV*L0x2Wkr*@iU*>Ow z8b<4nZ%`CPJ^Qh96RsE7K&MBA!eDYWRzC;SIvnhsg4FoGu?`$}x*4sg{HOejD;rX`R)TCSm zjwj@E+^gtb>@YpZnv_XBo8;%xMMJHY1-hGD>o`6Sh{3O|s&LR1YfoX_$>^Ur&L8w^ zMJueGHxFNIG_lX2z)1$Cz0*xeFO7x2s#5+MpHc+aBwDC4U;CC~Xw$@JpzI2iUakKw zs)-)p>6kbvXS+x;LFopTm~1f?B&fZw9K zKacL_{^~ojQwx}p;!|0348YhB!PT)Q&=jD3<{M9AUOSlpR*KZCNZhs$DMiNCf$0=0 z7Qeky@knwNx}h7;ibYaOlAGKBd#+CE%O8%t9Zd!bf+7FP`FTjJ+VMiwf*n^pkYubX zx5hg&o*2TBV0U=Dqnd7mn=r^#af?w1%7zf{JvEtxFqGqoOEysZ`#+SLM*I$p1WJXF zKp&`w7W4*z3~IRb9nK5uGuOA-rIY=cI&Nv?sI>0L<7KA;QW?KcD-OO62${4LvQ6Yi&o@Vvd?XSmh{N1(_a34I~zn|8THy3V+$A)Xj9b-I}6fe<)B4-UI}7 zjGrlT8@+fKE zcg_%4e~iH0Lifr;8WVgMlmL^;2MrI)shB60({8d7adrN@1jfG|K+{2eAkdR>a4{PV zC@K)am^qU1a0P&7+%b>M;oIrjj8l_c?a%Yb z;;$#FOX{(Gfpzpm{orMDe`;#{LweS0K9-_c^MU;B9DZ+xA|nb?#+W1{_eSlZIT}PT z#;Lt>z0b=ocU4JDhfC@!iD{}WyRCcTyIfn%-sqZS-6f#CXS)kbY>ejlj$8^QwucAV ze@2nD-(}B20U0`ZF)@}F>?E)5p+lodf6U;=Cb28wfGZxiOUMie2KQ&2@f&yoakc_h zw*&tA##kIyMIZRD-!f38s+o;7>-)=yE@i9ITR0Des+ApAr~c4XuTm4_^D`QN$nh(w zb{drb$TNVMWLTBi(Ev$#o#mPWb;lT*J_37d*xbMt3OduUH$+u^1F_x5YwIO37Kt+I z$SdCI>wVgMe!AzdGH*h)S3r_bUuZ`&mGJ~^&*2kb3lX@o#hQl|22W!~D$%U~(w&$* z3E!B*<*i|zfK3Wpgvt1eDAdAR^>2evO=hIIN zYjhg(^*MU>R59BF5~-)@*P({bt;Wx9wa8bmh`$q}w%u{kUQf|$H3XM_BkYIzCTYT} zeJ{ge`(jfunz2e0<{;-hF;9V>t;1Hu0b)@ihuv3NFRZh^6CZLuo5$}p>370SW8@Q; z0}pgPoazhX_$nuWIfwsAuNf6G=!6tRKx6zxzj+EGb)wKnvAWY6ZLNG^af(?(wmR53I^4gh$;KLhb3=OeP~?F*lAR=`iB=l8!`c#!`*I|`n|lx>i~&fRC^9(bFi zLp;ky!=2t+NP76Oodvih6FNvT7v~45$wWXwm$1uF`?Po^z+0kW@oXg|RKcn`8fa8U zUILAO|Df@BmRLiXclDy)DEA0!Bw9{|LdRv!971-i4fyYf@SHNa*|O^&D@VYbHW0et zU^i$YQ%W*BNUF~?tdnLF?u%88o%8F^cFhsrtS8%;JN3jwssj|nbjmn`>uH6!S9~SU zG(q@v_kb*cDRSn8scj2u)&&J|VD)ttDFUjXqxYK#*V!j)<5#UCe5dKqDo*PZqvx2lJP0yUNP4GFD3$dzpRSo-i z`Zu!Z%ECMj-Un%4yp^|!p`CKu*8DZ0dwkADF}Sb3E^Q<^rMFx{(vwj=?pt350(7gg zx*K~)?b0F~k3JzfH(Kl)jXC3)vd2>ml2Sx}VW{u4T)xD`@C&9c{NPxH8vrcKO zFO92{BwGJl5)%=Bi&u&8uDgJ4Fg>a^-qt&1+C8-tLs$?gi!biU##^>QpwWF6h0gFK$=o-oKgF*1c(ir1pBSd+HMAwmM(J5o~je>qml)Z7=A`a zH^~JP;w8scNW>#B>^_5u3RGc5&Zsbg(`&Eq^!T<5xl(s=;Vg_X23&Ru2XfL8W7K04 zCZ8&%&!pW|Wx&ZjLKa|%@tEf^)iJ}i4BtT#;Voqw1+?)uRAA)Rg<=l$jnX&t zlDz!oLY+?%G2Mxdvv`8$(@JnmpA|D8gaSy{i0^y-D3dS=l`Z}9fmaj4F(|azPw<)Q zjlwhRZg^4vMdxGXdS{ESd?lhJtnUU54&PwbxFv*{SydrCK%he$t04|#Jq3r-E=N-P zpB{UY{PkYU+(@{L@SUj9dx^!G^6)^*sCV5&MD-XRb&U%q%9>( zMW==Bd`|DS2;mt8!2FKeW-TB~UNEqtN#5T$k=+c6nm> zsSaC9{0TO;c0LWVOzZT8&|R(5&HK*Tnxa}1MwID`stQq+<(qG4QVlwkQDkRVq_?q% zLDUe_kr^U^SqRqa$1uA*q4HZwegP%RfH}0tV6E7#%@Csj$oG}T3g}MwoOAor3E|`R zjad6<;`d{NIHVE7@-Ng1HF1iOnDEh;mp}NCHpEAn@O(lJu|HXacUEh-B!-Ex^^`~; z(wMX&gxUx`ky_fz!De;9grCJE%U)87^K-ZV!7y-1kgc|^m@W$%ETI0-qTEem@#c2M zF(K>R-ltJ70jl$M_c7o{ZHi+W&jyyg>016!kw)3!PdvJ8TwnT@T5A-@l#Z!QRMY?M z^j?5kt6b1S3y|+~dets!1cqP+D?qbl7k3ITfHE(bq{|CdM~sMt{h*ud(n$QZ`p0o9 z=z~ew59Vc78>`wllrgrGPkY!1m@c=j_X#lfa_FOLz-y$74t8FdfAv9A-?sC$2+v9j zt=I!+wrQ%J*5xF+h%{weIgaT>z7otgxe4ch=*lGH-pV^no`z`t$FrsMeu=Zkd4LBG zx^8Wr*2ZdXV1UVj_sj?gT-#??t&XX?T?X$s#*Vx%P7S4}f6w(_-+j15F2zma%={5P zwd^M!0J_!t%J{wb`-A+!JOlGg=gm8za*AgtL3vmiw`PHu#N0tv&a$h0q8~UtK)O9lAEuqp$YJ!PAIw=y-7EQ z(M$OoC}u(xx#j72h88miG~Vx5V#k&JM+y|@bUzriZ*Uc55X_k@Q4B%ItG|$9_W1@A z7tPzq*ZV3_?9e3OZ@jzTu@B++FChuL($822H9y(8m5zL9O3 z0qx1?U3+25UPNs*^Jr$oC{Q@XwuJZYB&`P#&as75UJgu6BGv#oOp=($&(&GAe$zfq1O0)M-553z>9S zkqL;~1qM_@Op845TXJCW4IS5V*sv%MK(>=oM6CaYdzK!DJb~|MhLxp*Ok6#eJfV*b zg1?aI_$4(FcSP|BMB*bE?t|%MB8<9(;$XRPM;ll z#G@G@KkmZ~NI9oXll{LEm8==OAD^w+HD{Kb6W%YE4>S#AcXBU@SZhoRNFZVepqdyZ~faX?GcB8W*Je)?PVIB@#IO zd$Q|pYQsJ%q@h3<=i^S0KSHA>kj2|GS1GyDz?wA}c+sFaBO>lM|CZs3NO{Ln6rnKuIk|lK3(f zBYoe&CK&-sSTguwv-Q0Emx{vDJ~zq7e>|6r72PuIydlfKRT$2j=L!GHNFu8ZizEH$ zWsW|3`(5O`urU?JVr(2uB!QRyA_C8BSdPXnUewssvAJY5va;GzLCfj`?a_0>PE#k+ z{64Hto}1$ z@+?S4*pBl+anpg5s@5L!14kYgt(kBOtw;PJw2u-Me44YuwE}Duply8JOt{r$})-;}Uq>xe*IxBySJSa(1N1T|$AfqSyP-bfJe3P&P~7pc#6TI-NMvL%QTtlByf zkY~u%K~upj(tF6(>73ikWO9whEAmUln$h+WJdxfiSJ5mVRGM`0Uhi-9!`~=UdRX{>3iFBNa8nH0u}SSUV5u*yj7HDR3(tr@+el zH%PLb<~Yj&ZbPJ}FZu)*W5$4gO7yTqoyA}we||N-b5bOk9Rh#ARrSdyI>VNbLgAo! zS`=??wSb1@1l7iNG~^c1(fR5q--NKhm_L5Gh+K{LPH-<{vs}!g475ob%r9%-G^LGh zTb+$1djP3neCSMMOmC`)52)KB1H>8N^&x@*`&*F8%6W(+K~6V1Gd;@21l^R#3eP2H zyNKR%SMbouoCLpOk9o(dt{uY|fb`Cv#c=HpPQ%JK5M#V+Vy^>a-Vr!<|^yQU6q5smy*ab{+_up9)OW?U1Q>UA9&Nhr-Hvf+iPq zoOuq(-8=k7rx{QNnDl@Av0hY>zfs-jtl#GeIWNhyQZz6~IB-RX>@LH_C1meFP)6mG zg|4~qAL?lp{C;?%-S+k(&kL~`K(gG>g_}x@L?7-C9cZronQOeRm=0d~r}sA*v*n8{ z$UJep`B^-x7lp`}6a|83^in-+*`}M(uE_-@;Z+i33{y7|;FQG7c?X`QW1Byb_tWAW zE6yxDYIecNjA&FdTm;+u1@1|&6kphQB`-UXCXJ=YL6I<#gyW|j4ErZL%AE)o1p!&h zosdlZV`SkVMSl{QAN#O3zS*R-`VXGY!*dSV3tpyV8o$2&pvFyzB|h<&kQ-$Rk(sOD z=9p2z+K;vuVAdnR*BUCP5z25RFOE0#5mgR`(Nzee*wnb>#E&Y<+`ULOlhGy5ZC6k#kGQG#)TYKuY6JOGK&9j* zIfo!}4b)2VlvFdlPhV*>@tBPwW3aD}WkOcncMq{0Xn|VRy;))@sGDINAQ-J|Q#94i zxI3Ft)|upXsh<|^xi}^?!qqo)9T$w!W4n2um(p6xM%$0`-YP7m3dV)EDeF(#Iri+e z_(s}d%m2E8o1Bfq_(Q+Wi!PYdJ`%LtVJK*smSK*pE2Ce$r*n}UNj&?6IC2JttK;lt z-2D*^cp6NZcz^ATrWAdyI%p|k8ePzNUkXId%y?cKLhYMhRLf=_u{yKHX~sa?56XU6 z-v(QLMVy9LCY3?YMycskk$6p0fqW>BQA86tdRccdJA4m!qb@30~CGXb6zSG zy>DZ)QwG|k$P#{;@|fQcFhtGV{iJ8s%H4(M2C4mn%|;kec)%~cvm96E4Yzda@g&J5 z3c|0JRAavslm2h$%56|FOGeR0`caBV z_g~Upc19d zlmco$Il~Q0%#4>1jBNz(9KtjW769>v5oDMFlYrVFj$)pg5}82rQ`a1^p4d%lHnnK6 zAI}Js;v(huKRRPdcvv768y1Z!ejUDy7>V2y&#Z4uJGBC0OkauATna8#w2=XfEai-p z(tJ|30D7t&!ER0TN=Y-k7%CSvYF3THri>=m7!OwC9;=H@%LlnDiv|v7*(=c}M8+Q` z1&JNUI`9$Ijm?_EO6)%mHe0FhNkH@(i`6Amh*((N=0#E|oE6|FM9ZZVxlP#8MvVdU zXgcF1#A8(o2}g%ScP;4?Tpjf^Mn}fL>p?-BgpDK_h;1s|29H3y6qyiBI^C7d$~!K! zn~ez)u~@`{3q&+2P^FHJ(CU&M{Bx?|l^IY@e5GvC}SvQsBSAq zU`N6kU3hB0+a>C8gQH|4d<`?27c0cVttqr2=wK@%{7j>z0erVC{DwVRk24_LsN~65TI#O-}W~8z)iUknxIBd7wroH>vRHF88y!vB@ zovL3FuwL-Cisg5P8dAE}aBGQWxE}S{)tAoT+4KZfcLC;6*%gm36%xLwpMCJTnEbS= z9#Y6w+iH5FkMN}{-@pSbM0MKLhUQ^ncUbk)JVJ9bUcJV)MCwmFYff9n#tE>YLm_4< zAMkblmIn0M$_Jd=mNqL@ci2C49Gc~8t}^;WL6qEto5Bsofpy6e`cMF5$%`1bRZ_?t3E`3gYqm_|2{0HY25P%!?2CPh67_0Z>#aIs9+R+pp4^{~LP@wW` z4cSX6H#~ba_hRqxV}GTYUh6ZXw{TSs>ZRYtux7sU;>!!1=4O>|5G&HIV5&7KXQ;pm zzf(}p-}28$eVX}w>!|)|FNA4&iv4F1=SDn+Cr)rpuM8ZVGLFV_9?L?J`j_dnphhiNQTqioga*?iF zpsRR~mqj>%=z`Gtk8AuJf3w}_aFMrMSpdBF!qAZ_q>+St2+q%y^xSixw(-%tzJ;w( z+c3*}r-U0C^VlgVPt(F+DmCG_sI)!Bn!zwjHto2!>;uD=8;{n1KdWVaF9yRtLF3GT zvo7L!GJ)UdR)cs9qNf*EZ~t%weu5vgDxsLAi*+{Xu`aY+RUQ90>F$ zDGdB|oWBurIwaxwr1RqvO1#O(~b*y_gmbzy95tXtPr zEt2cqgNAAJxWOa{N_Po|$_zh8a$7WH9Nqkh)FWkx3@_U^;N1v@J=#8$Wyway310C4$A|8h(Fg>41uJn>j7ZolI3Ugi6Iy)3Y0cl_=! zT;7Nq@yT((HA2!)eSj z-*Jui2?dOjF+1!Y^jAI;o;)Q>g7hZ^iyweA=&vA}7A7V2RWd^hpt*bYFgnfTss1Ch zamSKmix!(aq}*cs8}vJy0k@y?+?^wHQ|`!$>z$gab>*>a?Iio{>7bw(4f+P^a0Qn( zR?~kxj5K`uN!my-7@U}XAhRv8e_aW!pai3{4P>BX&9BjY_UjsEB$p0$L2i{qCExd8 zXr~7nz+UoZ;|h)fQX1U2D13kY?(8>KgP554*)S<3m*{C)`b+sgCeD&JPbRA`a9b6- zCe=@R9VtGz#{qXqec3#^=bTrUWQdy}5OvfIxQ&o}miH-zYOx+&r*S ziH+-AokcNw*D!H1a>yu>f2R;h7 z@I-=4CT=q{4H3I9aXEbs>g05^2PPPph_DfF$NV*hAoZRk(T56^ibrAsnz)Hj_T#6P zRDeMEX>NTayH;bo>9R<^RNuAj9c#>8Vq%{1Hl{!o_s9mfp@43H+QG?nf3ytH*LmmQ zJwtZ!DtH-k0`k8NJuo)z#xDi72T^Aru(16%{@YAXw1E>)Gv#`7UMWQ}% z5t1x2Vz%||<_gkaAy};J!hrJ{%xUi2EW&*iG1jb)32wqKrpbFHMH2%MwO`&rZe?4b zpj_Q3ao%hiF>Lo}7;sb>nrJfId@G=D!7`54pjf`~xeyNzpj|Ld7%U)|ZLnYnFnluj6$Eay>}>dQpuhHs z7li))x)fG)fv*a&-Q|8l36%|`+7}b{h^$s$h5idxDNOnAR~%h0WnClY131i|f?b|P z8BBld1$K)}l>c-$J@I@RfUB4=21sNNQ~6;q@t30JlPn>M2+%CSHn1GNSO z56V=;%$1F2Vw3+$1eAQ#8lm zZ>ka?DFvt7FGx5E^mZbl^zWy~An@jr%^ILJIbr$g(g0*^rwy54Tq_Q9dfok-dcB=k za179kop4c>yYtq*{DILZJDC|{%;0Wx?f+qUnVeEb@af>=S_=`^AZId=D%2eg?(o-MvY*SM5z8DVLQrf1m-+<_+u_CB~NDZJ=a`nyRO~9t~CbU|m-@ zm|tgGhuuxzP2ldWqo`dNhnbi|OTHZK0!tH~j6K`|pFVm9no#I#+a87qH;_D=W-0ut zhIPW8A`_M5O%VK-;b{&z!9_LBaMfbx80_BWJ6lr>I$wS+ZXQ01bMy9^DvLbx^?Mhm z89V`sBccJD>eE+6o7tY%|M?n0E|x=6UIF=!ZU{$0(CUluT;&~NoJ1WRVfG!(0Ezv8 z#1u8nGQV5vAmH|LxH7QraboDe5VdwEK%rcI8AhqUH=AJwB!BYXpG`6F7|=y2sw0g2 zJ5Mu=tF5^cm$dCv4Hocn_quy4sBG>YX_(Cv5TLGDI4ypRcjw5~_mJw#MVq-lDEqI( z#YW7G|J-%Dww^H7k_58MNR^R*68#Fju5RC4RrRLInY^0rhDy&zH_>rLnF31H5rXb4 z!{g|qVy(ju)$~8PE-Tpst%7-7FULPIbm;%)DAvS3OZ`T)p3p%NH_T@dmYiCIccXG{ zpDZ=lmEVDv)3sO+rLk45FbJxUEIkT2MV7yo|r3y++B$(hIM8B*8m>;@9-4s3OWJp&@i-~_{ACQNT9 zzx^^$N}&3GfQkJ;MNTgApNu*bM%FXJ7mOAN2UmFz;KGZuNEMXuG#5B1qsth4CC!~H zMAwAMu5mvhJxZ#bMgCX-2Ap8cFYeBR9?l#-2h^lw3;OQL>2FOy)zux{f26t0v)~QX z(xjPeVbQi}Nev}c(7gSl?yPKgdZ`>2B(S}vmB>s7f3#8wZYbbUKP|vbV!5k1X5@X; zS4|rx#f&@79)I}s0TUjqVHo$44H>n8J}_5MY{^sSEvE`-Ep<8qA{K@kinT29+IPM5 zc6wJNKdv4cx(tTncbpwe9V84hp_4Z>>~yC+{GILyop?aYdZ5~>B})W&wj|5kp!KC@ zU%&ZzLLK4a|KWMrAm+Jr4s>37%}H9l!^B?SP@xCfE~~qE20rH?yuJ7lo}bbh{mfw_WZ+ah;}=W(Ml0v8f$}`TtSycS{$~Jyh)jB(`@Hx zzo43?BwGbq9*c7%!WGb>btcBfFOlqB{kJ7suo^p()x_ZBtAr<(3v=UY?Q+SYCfPPtY2@mZGxK*{DnQQ2x;W_R`1u%{a6 zO(N1bLO2?3IF4K*5yGe+u3^VosL3gcGJ4ER6f~AUwl3)K**YWr9zAbb)7Ak*3rc)8 z=GWsD?`G&TY6zCb$67|Mw=I;XQS#nw84uam2kHoN#}mO_6>lv zo8_6*T^>3Bf~C8vmfI?oyho6kiX(0N1MO12O3*y>iN?+0MmcW{aK4E&%l25y%sV=0 zuQd7@6Z{#{BWED(^X4hQ=jN>C-nnM^5RxI?u{paNl^n#0u+=*{lbP=6Xm$w}B z*>p_fK$$PvS!Uj%tz+Wm6QtSLp@G1#Hf6hJTkQgYVBWUe1Yv^3^1Hw)SB*7qek5!B z8ROMhUFq?jNS zQy)`+xa6(Mn={t1#}e90|!BnOjSZe|J~;5yTte(P)6EX+4y= zgatuJPrqqBfxn{FNm9vC0w}=L?g`QVB&_9ESu{}iHZQZ8;!xZqCwPQEo+nyZiHa{X zT?`*u`r|XVvjj0E%lB*i58EelA&*t<-O3P-`7~f~?CJPH^c=VMrj8N z$NwVk{~L)B>+-QMb2AIGaB#74a4<`7ig2)tNU(4Sv#_(XvvIR<3yTU6|Np1xBmO_x z&c??4fBvETNE%bXFvgI$uBPcIw6;)&5*JUDK*?0LfOHnJ&k}adLmP;~Br#T8P3k)smu(G21JcDP z{E{IJddVor4y6(l@+R;SNdrD=mt+k@1Nyv=MOzS92EpqyZP?I4w}Mg}eXGNA0_CHk zHLl(z^%7o=)(5lSrNB*BSQmy~CB5k5=`+6xzohhlbPKB7#cMUU@C!L7=d?zUH4UN z_@)2#ohqW)!dpE|d<*k=1y$`73|8c;SjcC7e1