From f3041d4e07e4f3e9d1764a1ab6698e3ff44de70c Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Sat, 27 Feb 2016 21:14:39 +0000 Subject: [PATCH] The viewing key holder should check epk. Signed-off-by: Daira Hopwood --- protocol/protocol.pdf | Bin 630412 -> 630659 bytes protocol/protocol.tex | 7 +++++-- 2 files changed, 5 insertions(+), 2 deletions(-) diff --git a/protocol/protocol.pdf b/protocol/protocol.pdf index a49298ef4a3b0e24254fd7e56958052337b95ae2..1ae87fb5bb91712f5b7e2603faf45428e86de001 100644 GIT binary patch delta 19192 zcmV)MK)An*y(WXdCa^#=12s1@lOgdalWQ{#f2tKsyur9~aJIa0l5(76Cl{~xz@a!J z)=HvGQZqaL_2~w{2Po( z`u2lTvy`NYsoBllOp2LinotdI%h{)ScK!M0uP{f?G-2=!&Jjc#Gh0xiXzFG)U)(e* ze@9Ev#7-DZ%eG6u+;~fx60RB0b8nXfw!zI7eG3j9rX2LpVH)X1$9@LXpIz-DaIkgWU{KFavfIsdUqdZ5|f| zmu5Da_s($~R{@hmsBYt3Y-3PnLd~T+f9u%JP8TB31qWTILtPwN>V)70qnZdKfFO`; z`W*E{O-B=x>PysP{wHlgTxbj8LR*mOd1JU}YeAF_w(dQ0S=8kN+Ci~&W|1}Si@R#Q zuJDV;<_{6_7Ft`uEtmmmt5<6tqm&Y3ZTMYNHWmues#pCV{cd73Atf~7-GrMue=FDJ z_TJ4CY)lm;MsT2>XwKbij7D~%Nyc<>uo5~O&HFWxNkkx=NUFP?|M9O6F?|^#Ai@f; z123=Tvc`GvvxOpt@~IfX1~mFFF0Uy=G4jw9Lt;UE3B$SSfY?CV0kKJBB}u5E-2_;K zUN2PQ9wN3t!3a`{sR2@!Fwe;#f4d_YBuQUp4C{1zJ0(@A z*F$uj@&ki;NJ$uLs9-`5WXlai(pd2k3kI*8x@cb>^!@0kJ! z6)06jC@g##viPst#7RYqlrSMiEFV*{I+v%9n7j~i;N<6h7ZHLWg7xfKf1F z5OUtG3in`l#T;$lsyp|Ie;Zg(;x@5kI|M3H&9m13^vgBV^Ww?9AZ(4{HwNS=ogOo^ zfO5$QGrdhlsKy~ZugWd%+`6$1(z#!^Z-I9Af7-M)ut(?j?zJv< zbznh}A%24w>!ygMh&+@!LE?W1x%aDSnP2nhUgLiecaX%aBtLT1EwG+2z1eJ$dXMkKj_-(G@xv_7HB?gD&ddD{(To;Uci z0qTn=`<^F<_u*&Dq5&lqOK+zMBa)@wPJL`?E10T`-xMC2Y~!E&;?_0&kTody+*Yl7 zs0-)1+1hFuMyl;(!CR;-(35hssV_L&m7-Z`9Ylj$yEVEWe@-d#bU16Y@2JA2vmsCb zALj-MwF>WJz>n2q@le$9(4}-A0LnYRtF40YPZjQFUvj9E_RFFt)X6mk|F@`MN3AiXEIxpN(O0B3(F!Abr2vS^EX1Lons?SIgd?KA)n zXcGjW2Q~A*e{3h;5v#taKQv-sb$Ff;jVdDJCPpf+a@R8Oo2DWC!YXGZY z^%g`|M=S)DW>xLiKEUL4;qnCrBOiiF^Z;-pCtDWCOhcp`Ixq*31XlsI*kIAb`WFzp zWv@ZV9I>|7SO&GXSCPydGt9MBAaZkrD;z!~tU|Un%mbJ2 zV=N{_4n3wE3a-`fvzNx>vh6avwHX}7Zjp+oj)y*$vR`E`qTjeKJho;8|!!xV6+ZUXO1(@7PmIMw=tWN;DKVGW8bc-y8Jyu zf2JdwDGCK&?;*P$rSsn2?3T7@8X!IIEZ=3VGs1-Mtr@0L7-aGV!hDEYM-uw&ARi?b zP^!71{kAFZ$F%^`Tih3Q$A+yv+;Crb^o5Hn1~ItUaVG_F#F-glD|$BXQ9}Dv*3Agh zCupAayo2VdW>v=8IFPJGkfCTKcLGMEf4YzQzx?n%Mw7DbmcEl>nWagjrw!C603SKn zrdOniaG(i>w9%v!Okn+`$NA#4F$oUUgspm0+gLbeOhMucjA=-G6MIsE9xSI!lkukKxfEDyWo5ZO&M6N|KaMX+vrtQ;rDo ztqSc>6cFRccSB9lf$)$3fo;ZKe}>=0@dF+S_!;}AKNkx-8j46p5B$ZjQ~uKNJ871G z6Ria(sF4xTxx%F9^JyVXGXHtIej14&#nO3GwxdD}mDShUU~)utpBs&yc zN9G3jm$02U+^TQ@SXts8U% z4o_W719h~g+Btri8;5);;ATip>!)}G*9l3IbLe~s@yG9iN%jVJY%E?jk-K2jg(V06 zsq48P#yl;EIvex=e;q!LpChn{t1vrS!rD&g*yk-9u*d}zC1r1=_$8aK(3|YEyZtur z%DH1VsDk5010YZJQYGG^xXBE!6U)cdn0cn?I;boghdW^!}v9Bf8*uR195HA!;2A z_ww6ql!EJmSu9vWRH8!3gmylb%WrPf9I{Z1}c#yX?LY;xKtVIP-98>q9{AjN5{i?eb9u(1Q`fHzjlF_X@Y5} zJp_9jO&AHrjP$tcsaAAKoKl9p$4G;`8A`dQ@4S>HjmRkEPrvf_FOxB6`psm_B^0y? z${0|*md7kU$mgNOclkV&b5G+-tvO^;zjlF_Nm}4-f1Njyv{2M`NCInqR&1#c#oQD4 zQZa`d>envtGBHa?4li3Ho+Z!xk4BJ-B_7UV)HNjS5+)?$>7iO!9|)7+j}`)83)e$^ zzfrQCv zcdA?${XG(F9v-d2@jlhXPS72ncKyW?kF8@1L)@T=Ik_+bc@uU4dEbobyBN!^k>)R@ zjBeccvKCmZ_P6U|F+TIYk9R$|hNxx^x*q(X>#-A3e=NDZBQyS&Cq8f5s_q!Crbp54QkuVt7G6pV53h@D zUc)|5ySDqE8N4F;u9N3|0ZaNLOn;S-$D4f|!m1fOC9k@jChhKsd10fMPiyt56>!0) zHE(yd5-%7TZtMjkA${_a!6ZNn{{faf0#f9&+(1Wu0yQ|3A@L}aO}`d@@iL32l1Z#f z$}?=jHNzCXAX^`C^lA{pV#-Z8yc` z{kB+_=f7V3_{}?}CK<_pG}lOvPG;N^u9PSDLwP=vf=}0*Wxnwrw`=^DO}CqQS=|=f z@bo(OAHrUaveq5SOmd>6f*l;?&xy??F}(i!3;%b^JAXGsu!g`dRPY21MMQ_jOe#G^ zK0H1Ta82v1Ub;z;GQCIZ@&1eUY#>wOz-}id{Nwg6?u8i?R4Aa7@w}@ z+nR|L{PgY|SUt_lC6H#gJ;<5Cc64$xsXx6xn|yRXaI$nCR#hN350~n4h)YeR)%Bro z^V_ia7s_P5T83@BI`ugxK<*9i;LxykGLxAiOv(wU70GI~aJLmQ>)qC$M|5dg!Yr$4 zJ`~&Q_5C)%YN1GfW*c5_^55=@O;LXGo6Jl9FZ^`2zN+;a9xT?kx483tSuEyGq5Wfg zc0Di4d<7aHlyK)wFiU7+d2_m;&{dVT47dsv_1e4p%T=-P+uh)H`Im%>Nw|I1(7(G0 zOAKfh2di~fK?!9RxJ!W1eqCNJ65E5#TcIbNbw%a(zpwItz>h{|niHyPndye?=F1(Z zBsUrvQsw@mH`t1Ro&auKT!+VzWdB(ChhAmZRh4@#xrghkhNk~8uTVu{;i3SI54LA% zm-AMVthH0Ltpxi7QLNF4`Et2Q@y|Ma2mWc6#e4>(ZE0D61vBZa`ZgsmBKbiZnrOr7 zCUHdrg0kIz4Qng!$rbEXM0g=^xUiE(Lzh19bE|kDWh#YRq1hWKy zGnWm2M0_st2k#JIJs_@W5H|*C3Ch-p;c6W=nmZf%;(zUT4S0nQit?^@O3@K4211cC zREaG)U~RkVMXj%la3_V1zIwj}0uOvdr3@+%VgXcG7g7au z*EuZRgr$v^*U#h>e-KF-o_Q(5IuI8MwpfyXNdGVpL=6fG^lG&VWUqSGw8^Xc)z*s! zk67HnzT5m?+hCl{M&PVb2$x0Kw^k5SxM(`0;Y75$Ux%IBnu?c8Z}SwqaPTJpeO(*! z(X7BnLm;96-UWo%oQIg2un<+hZP<7yEMPnho|^|m`zak7LjX@3t^M%jHtdss z08;=c!59!FvUcq66W#}G2jZ~KqSnPqHsoS|P7uPNhjrXj+J&*KF;wrJFcOfq6L&?C zcSb001o7(at2d6DZ!gY%JM(O06AlI>jGQQ?91JXO&p!T2CrkL_j}zbl_|^xv^cHTJ zSyYeJx*Ak)`q-@ig_gnu|q><&0$M%rB&V*0!P{I{RZt(g9k z393?g5F|RZ(fE(%SI^BBs_}c~121@fw}Rln1qqGjM?z*y5Gh1Y%&~F6rKst~>0!%T z&_aNkFaGN2gD=r>mqvD)^X*jzPZ3cNiqb<<20@AqHsF^(5PKP@u9rwm~H8ZP14=@U^zVS;+Mu{;;MOY1H-!?yR;?w9T$5 z!e1IwG_@(}UThVcq87w3dxR;@lw>}mM9Mx=@Sk1i4*%vw2vc+&kHNzj&)lO+2SVGh zpvr%{&)c)FL!Ks0l-wh9H%k5IfrP_0f5$D#rK=*iNCq~!nis44P1v!?tie@tZDMW* zeelo|$4zf?4DQSPWrCkHMyL00-lZ~Sz%i?iNtBn@-4dKs9jwBjCd;B?Ly^dp(OcMV zrD1QboF{W`Cc6c{AtH8PeS|R$N75`DrpzC_EGVI1zB5RmsqW>K(XD}mRgIXxe@)#O z5CP&ZPE5w?!_JsCHFx?EQA=$&skaSC2ia#)Pzy0Z!@WO+dv{Ni5k?yd9{?1U_N%yw zk|Y;XV6v`keWHM$v?(4x4pI*YTp?yK5CG4BdqxM^cnIgXFN>7dgwq%;4%I^&l>~}} z#{qg4R8SfPo@W>2TShds4dy3Ee<xs1H z!wDiioRwqH7!;{A5P?BxF^Whnhx}86NCiY>f&I28(8xV-K!7GpNW>bTe;QJ^E`id7 zOTbT!PO!(qYHqk!Sc-*e!3j(ngT|n+6eReD%O}uC`>J6-=7bx0LQ=^v zbcH_`9=V*A2$S`T)q&NC_Cp3BrX!nnt3#2(Ont8-sTZm(i<2FFp`Vf*Mx1|8y_#)g z;y9kdx+b1>88nI|i}YxL299*n-xjC4Ev3yI74so9mC6M+`3+c#@BKKeOx3-3Qd87! zO-Y^8*CjfO>S8a%8JuTP;pO5wFXJv#+XZ_$h`H&!IEwXvSs9MQ2yoe|=~FXvXhSH9 z1ILnlbq%7)rr16NS+QvfDItG|H6Z0#=VymiCQhv+NB~Fy3g8A^j?bUoCm4WrM(Y^x zC`ICZ)d%n#47wSd4dY+|QLpAZ%gPJ{Z*(eTZir}5W1W3=Ul#2qvm6p;mt!uJwGM)@NzJ zf28$I9&wDn>`As}$SKBg1Xo8PvZE+O-K5nR;$=D`iphz9G+G+=oJFAq%}&V=&5k<6 zxM&6$5soW-Z6bRi@n{k|AW;b-q&WZ*N5HcK_;)&q{g5~Y`!YZsX`Rhro^?DV?yITj z6KX2@V3QdEPe*~mQ!Ib$>2gir=?J>Pj3yR-fUON~#8X-t)y)nl8wG_p-a(E*M4SX= zN0T_Vs5)3^jq)IfY%mWJ*dMIj)syp}@A5L=%w2n5_(@S=oDsS2y(*ylBX+{??k^$X zSrrR6PGqNdn*zT3`O|IgTC?u=^+<#JayKtFsXn`~kW?Ktk-k);=`9a#dgsaEajaA@ zy{E~H(-^w*std9uOjH@qL)|G<>Uc_47_ocaN8%hYgc2y=jLB0bZlq+yAoO>2W%s;~ z%&^Hh&hG97mfr6B=Y3e)z#pEIdCMVx@Qj~opzn}d&76(w6)TMCb;o+c5T>1vu1n%^ zO$9;%-YmIFz8QuiTfK_2>@9dyaqe|{RH};Dt*S`F6VZ47umXZ`8wuspz=_%ZDu1u^ zGt(I2%OJH7(fsF7k)ejSbEAWOs&H#y4U*`!0<0XbOVm<6Q80am6+EyJ&; zaJ$PI`hYsN*;&VCTy|M?x-#yV%F_pEp+3pd2Bz}lp|Qmn0m}1g{wY&=N5xCW7zjYQ z8Pz_9tNpK&@6SQLHd3F5adn7)eVBdrA&-7p#q1 ziIgBC%HS^`pFH}lmq!g2{zR6?fjlEh=~2-;3i23a@)ooM2UIMz|Bv#HkMf$vdVE+w zIGhgpN>QG0FNR04`Txr4s%YRLe-g5ALsXWH>v@0v$Gd^ouR(s`GV61H-?U>bSzYLx zCr}10OmtDEGZCYl2aYFVbc9fdj8oU@KTSp4SO+l#aR z0<1cf_?NL80~3>A&K3eWGm|0lD3hSh7=LvT1oomYNglWocSTsDREk<>`|Eq=LUM*0 ziq!7fFq%9qMGoh3F5kIwliA%Ynf>EM;{N{q`o*_zSu(>IDbC64`gX?IOcIH(6tnBq z?3cMfA*z3&xd7m$feUX>?NqzO(^}oJ-i+}k{ zAti{=lP9wUVJIcc&i!NV2BnEN2uq}tg0W`IuL)1=AR)X#6mcw@G5e2hgq%r4VEbm8 z1SL3~Eihurt(TWeJCHGdJ&Y)qGjH6h$bt+pk~Rw-Vhg57sQ7Z>@i5|C_{+f&afDa` z$+TVZ=4wIGc@AVw(s{jh7ga-Vcz;&^<)9}4-ePzunSGo!SMOfTelf$}9IJahG$)*6 zB3YgCKRdIjC#XPHXvrRM4$15V|`Gftj&x*9Mgz54kSq+kvIxE@-gm>Uy?=ZenS&uk zc{Adtb~79?skr3;rgTP7BGcYp0!CqqWC9Z*h4DFVEq6uPTy3{Sy>*N;e48z(Vjvk9 zM965PooROqZ}4QEXG=YHt$*S9?pW`SwSA&zMOO=^`22dEm-goEuCgQZD?Hb)N_aIQ z`dlDRS{f8lDO7~C14=iE41Wb$s&>e2WDX#7+77^xedqxvyb7k^h{t%au5Jw_ka47finYBV0nN; z(jXI-gLC#srmtv2vLB-W0LY%UOkAxGK$T`(pt_VHsvLClbD~K=?Yu!wa6lM6&_PnP zDEd0GDTQ#-?pq^dhmJkuW(pBTFELCbc7jhdOMIeP${Rx%8XSfs%$%GxHUME*G-J>i zo(D3sz>*u?USPOM#DC|Pns*U`0z`qK*BUMQ1m%5`!4fenP(UegbhOB*^8zKu1ga(X zyYJpcSV9tnyE9FZq%my?J&z(HPZTkFnU~XwQz(~UrC7W7p-D!4GYn_*Smw}rwg9h9 zA4YRZp5rD=k+uT+Dt2Iy%)~MiH+x-RAsgZZ3`tSK)n`(Xlz$;Ys8bRCL=}0T*T>3P zVG*#G!t5>UoUi_7*I4Y}v>ZHaIt9qYnA)kyYA1&!(;;2JDLV=eiRPOqt`f;V>wbn+ zWz3fqeV=4>MoGeb97i$3e9ewoOqPN8wLmDV2b##;3&kUexuF)bjlu(JaA2(Te)J{l5tUf ztaav~m?_mU7D@zuqJaKz8zGjt8k0}*NMZ$&XXKOl#D97n34sIg`)d>xBvXFy3n)-| zen&7H1#{A=-_UgFBRG>#;D~%Czv=tm>ndBu-~$f8aC_Y4KIUtJ*9-{nt6_}%HXii` zy^gC`LN4+AvxvknlNyY;&o(W_c<6fvhXHBp4AB|K8K_UxM0<80-y<0}X5jCGjTpDF zV9_v(*nilR4DIRHgpwGfB1#@Q`WC9yDiA?IEO>Oh-F0vp2 zOF`3EP#H)wY&;Aqr#Kq7)ovS6L;|$np9?2LJAUG^O@}4IK!PChd>&Y83`XFi2L?m? zetm8OftI(0{^4phbO2XyH?#MSM|c;S-=md_id8 zQ=vtijVT09PaH8PYEI{6pk;~4OSOK)Nb2?Ca?pjjy%VB7k7v_&l=96Xk4)?X9S4`3 zPxm;^0GZ9{d4o_`)LT%25!Uq%KmPh@SL-b@*_0xffGZRJ!M)|Ks`5iqhgeRUhb1N3M@X<|Y zDqv=ZdCXO!;P`i@<$b=)i~BrADh9Dl3zOOAZdVocdh3p~wvlb=HeA}X09=nyYoz%z0l#tD_QBn5G@!4?8=&f-UC%ITj#n_D08G5}LPe581I^1K<9enSU;X zNJR(?yKJLCuXb%$FuTqlB4WfL`cva(5!@kxRao2UAp(KjdZS*!%0$=v^l7c=Fr5&_ zBorN28wS{D(lE#Jgn^XJi(8kKDP4MIS8g8Mi?^}j2`E14>fnbm7B*r~AvU>2_VfF< zF{DlrlN9JgxxbV}<`mODX}h$9j(^-WH4qI68<-!!VpHRhg7!nFz)lCDQ)j2cd?t(; zOZG=IW96>lg5yn8OQhoop)g^k}HX!E)6JU`;9&4e2*xfYH zG`_Sc^qZ|@b!0DK#L|wp=XDs?1RVxJjj6FvsH=S1xhn&5UG7Bt0|Z=qj<< z0N7T})A`>3SoKmVcKdd8J%8CZyjJDA>MkpbL)L5qZgwnzAIt1$+!(mDZ4dgQ+qu1A zrz2p=fOCawGBHmwH_NVB@splAb1SvoEAXyi9Na72-_5SPGYSCLO&3jLQ8fvihqv<- z&iX~9_1G(y47EIz_T+dvg@F%m#AFY}Q>u^;d^Bon|zhZlugv#4VS)EO1Qr(p}hXOlJ9C4b+Oc1YU3C(uR<$JFb4 z>U5R%BMi5z6KRtsE_I6<@Yxoy$f}v7D4nKzZB&uH6M>ZH+g;K%HPc;LNI;Ai#7`KV zYqaD^GXD@QR1t;JP8TLsst#*FWd(q}iuwNF4oPKu*~De_sLKli6EgU-MT$*dN01vM zqttq9;-e~7&VL5#C-QuIqU3a}Jy8()f8CxqHFqiWHlJ8gA2t(4#EWlMA1{b+s2AVd$Kx9%R6M@vHF$XOP4Oz4;q{<8nx(`nbPzricd>+D z0-#TP58;_BuiCMadMBV8_$v{{25(KYz5w(8IH}aYoPR#ARF3xvm~>&jlGa_UMvwR1p66{7XEYU_m?XUzuWHo1FrG25r2UiVzXvUTFZiinPk@Hsz# z`gN@fcz>ysN%Sl*M_mc?sUUQDdlLBrgV2fSUI;^48$SyQ4e%iZ8;l^v^8K~v1{nHi|MU%9!H5zm6vNO9q+&UNVVt)ug7!M;VIvVgs)sW~ajCfRbphujT zviYnV(l&Zl+Y&$3r7^ZZxlXrXGS?I&H0`pygi2d1(HFXoVIJ$$7BO{!++MU))|mMX zTyx>{SP!=)Y4d`gdDb^p_QkxvRHOP?;pWInm(Z>{4_C2>AA!xup4)McuifXj!TB{KAXL)Utpj^Q9coPrC)%GeOLnx@qM!jod#EKNTsfCX9$ zoJSixAll&5I$80PTv!lyOd{2*sw?DflRt|Cxpl((qzx8eUwOhIg%Zm@zo8 zZWKdFlOgdaf8APJkKDEue&1g)kF$V> zAt{QaY!roKJGJ8=abp)n>-a%CqumiaBTXfZFa7mBhliBJUG62DP0$vGS0r_KJD2ZV zG<+cz9R7WT|I~VY!WS3t{L2YXzPmd1?Yon2zEfsVutH0{cz3=iII~(Vj5JIb7}+e| zFMr{}oPK!se|>U^Z@v@xd_K0|g`4<8HQ+qhLd-~nVKxsW>w~Ar7lujL)=>zia?MJE;e{d+4kpa&V=dsYrf7kOw{E5!9-X{(uB+FDbKT%VCzUzr1fr*SM8=VM*CK9TY zF(Y(16uUv$BV$>KA_whJ(8!q%TKL<|CE{0PF4f_qXM~+IOtBm|qk#S42s}&N(y(00 z#cHCvf3v~p>kQ`EvHMiXJQqcR{i6Z{;7mxhSnp5Xf8dJ^y!?K_SytG^XGgk+r3#DFc8j+se%e}$$mIU>*wDk#3DiX)1~gBi1#wKNNK^VWp-|Cx9aWWHzMUnzoGt1l|MRZ&Wc$1pPa6Q ze>O>{ZyDD!c|4?z7{j!DC|rJZo`}|$e}k6c7)tOw_TGWr6%OR{!0tK@m@E5Te?IyQ5YTuYk-$OR4YhgzE+=;w@|(;dRp)>h zBcJ!xzNKkkC92wO5_^K8WD_{HDWkx|LO)E#XiPRYioqZ6>~tl~vPzhU%)v>hTWw^{ zG+sBGdR-26a}iio4vz>EGmGnG03m`ExtCVC8@BE7VhhxT1?sw|R(O{5_;i|Uf1s^5 z)Llc83gS_MWZ}lTYF!^{kd=gWXy`Mx+vCp9YFaTr$5NTLe*P&Ra@EDJZF4qdIQ z-9j5w=IfDuvC1{m9FI^itt2h2e{Y!ZewA~+{J9#AU6abXVY%F1(OG$o&iXrxgla1W z=|EWM@#Dlokg;TA1oGnuZD5H80|Xa3W~lbu*h~3ztjL^cEN`$Z&@qxvfeS#EE5ZFi z&>g%Nh&m(Pl*>ce4X0p2U#YuocblFF_H9>D3-qI**KL#14@`UV2@*fmf7NF)A(;Eo z3G-_TKP2Esn1d?GQ8#IyeK|W*dl>3{{qONGzEP6xw@5iz1Kg-%#U>K=|m*l69Y2?zme_G7Q+H=~tD%W_`Z9+;Aqw1*$HVFx4-6$k6g#+w#l^eZ$ zHPEzu8Q2P)$%LU(_Wh|?9{1HI@S_|i&bS6zch@KDj9}6xAA$Kzf=`f-WYYP3FMu9V zu~>GnE37Y;n|nn768NvF?Bw0dcy14&J@wXY2Z%lF{N3yR(&gHQe-1LGk-cok7nO%oXJK+#ZZ`E$ zw@tYVYoi^MIOGRw0Wu^mL}m0Jk&%&#h}Zt8x$Yy0ZHN`=Zg3oBX3ZUCVLv#t(l zT@vqJzauT;%fs<(2W)ojz&Y1}2p6wPGK0QX6=*qC(M5#Q7?+!0BO7G3T93Bt~;&nFUx>PZ6CzPh?*>s&7~e{U|q=jifvwR&0Yc6;Y? zGCRljjz;KB0f*Vuu-}?S*T;^iF!EKf{n2ZHqjkCjR4<;rdhwQqTEAQxtEC>5(Os*( zTAR$k?SY=;;9a44Q)yDN!WMC9GA=VH0G_OHONkJ~5EwWk{F2yQ!xmCK$nH7=Pn^ZO z_Z1*S!t+@0e^8^RFLxJh2Px&AIJv11)Eg&cU~ugvxU0{4(xFX#^rY|g2Y@T3`SQnh zs60GkftHKdvm$yvzH6cnX;7gs-ho)X$nKZskIs(F5U`{#_r6sfP@Ox6otcYm4A~@f zoaMmN+ak0m8h|vS-1!NUiFjg4V?y`=q|SlGsQ`?6f8+O)h_4jE!OM%9^u9?!v4+%= zi^-L`l%k{go2p-THCb$;5C_4E%6@&VML`6eaT5pR_ZGq{yerqzf2;sw5GFQv7rM+j<#TjMF9u)KG$eyZai7G5a0%^8tcw7kg;yVNchHN;hci(#mE3bq_Ys)oZ~1ujJk&B#w~S zf5(RHJ%V!?1@{FTe$9mp9MO(o?t@aFZ;)0;8h#nOTUh1osV2&3D|MQR^u==0W#IPk$Wd}S{1DdxH7uLj2hh#2vA zRzy==ObM3a+~*ZIjK{&}m_lHuBr4}#e+{}<*Il>!1EGB5w|CVvOYn~K>T{y(+Zz^l z7egwlwBnGjo1u7=aar8o5h6U@##1>Az((g{acs3sShMa^VYNGe0>EfUS+GrsEw;+E zqN%G198%vPYzQ80aaq_nXN}$%8xsdq-~cpy3gIZPFt_(K=a(lP2j`$^R^9YZf1q9D zpeK+dmm8Fc#?am;ZRqwC)AEw_mCklBS%}Ql4F$_Y7mXt%NPKe*+JLs(DTAF%MBQj2 zIhcrwztgCo_lk!?LsRuV4Y*LlQPh3}PdHD#l+WUnGcQZ#6>2eJl7lD&OtLR0Gdh2JR*HveK2Wc>Jj<0uCm{ zhygv>a@CN0aP`rZCY_YY%`J<|tDtoAs_25WzU!)MrysZ^=?Ag}^&@rMobhQQ;thZ{ zDp1NuEQj17$@7{}*A9ST7UpaCC?Ogqf5wSy;blh@6O+V-mIy1$* zh+E8+$ODHmU@*eQBxj-D|*;s!nd_58N18Al4&vo%yrVQhwdUYjPhMVk< zV#w4JVzvebJEvSp=OMM&iS$Pe<2FQQ3StpMhOhi zX$N@!ZP{13eYSOpy#rz_d}P+=PCy(erZ5Nwcm4}VsC&VXyN$qv)EAeb?Q0YGHLv%F zYyH8F2e@ce?o%JRq+)!E%)YIM_4vct7+ngMP2Zj)Y(PwgfRS-Aw4@)$;?7tahV-8fPE zj&q&x%p?&7t>~iz7nd^IUD;e5%Zn1n2MI6e4vs?4Ei}0en*7bNR7Yvo6?grAd~{I{13Vp_g9>xa`y_hRJqId%&j1nu zcZ;OOknr(pG@Xo(&_< zcEF{8cNw-|TVUQfqFcg{HrznccY>jGjU^7n9ESvJXp#jcJ*S$N{Daz=vkjQd7v==@W+!}=0SLse-sHEQ5c9!z5(8mJL5|qJB=mOgzOIFHf0cgph zq2O^Srv3(ix=ldMUjXQkunr34kdl{y?og;*0NnyKys6*u^wuE8O%U&<+vPO3FXMI* zo4r9V%;0u}`i$who`&tWe+99*w^f3ec3WyFeOq6t>$V8#O^r~0jYgDy zy!C3=ll_Yc=@6`|*N3U{CPG@~y^DtclD3BmQhx}8MS~?N9vX*qBQlT%fI4~XH))OM&O`NJ6yzgNfH%O9K2SJ$ zh>uuEbqH%jpv2QXyAKwcGiA;t=+|3~wBr3iDUn`@*8-7i ztviHO@-GhPfF5p6f3Yq|+rR-=8O^{HrGTkNth}fBN<>qK0BG8Pb$qgfq(bljU#=01 zN6NV`&I6@*lMd(w#3iMn?KfF_XmdWN3X#z71$3s9ZbDC-@v;Z!l{zR4qN(g96_uY+;DGuup?5MS zkml^8c;nxJ?k2R2MmEa$gF6oH-lOT&hBn0_fw`ZfNmKwPL$$#w4|G0(9rHU z3|G8Ff4zo~16?Kt9vHx+T+@Q}X*4wA=Ckyq#H9LEWuGXZmufJ6DyPPvZH*MQIEY|k zPLUV3m--ONss_v(G)x$m_@)j%%tAfp_6DcrLZs*{Q2c}s!df(}+!N<1CU8lTVRaPe zBs6-|D>xN%==x+>R23sJG|)|MV_Hs0oRCGdf3qnl@`fyUhJ?zs!*O&3$yFGF@j1dA za*eV!r-p)23m_N@7n+(jVpvF%K^6rJFX+(|wEP5|vp8Ls$ji{Ay~C?sW8i1Kr>j^J zb)?w@8VzbYi}9n}blPQ*R6Y&0%b{-wW1K<%$^HZ#a!`n0)GWCXMFEh)klB-ER4BhD zf04Vlgd_5dgTNF}>Lc@&=VWnhf!Bhgdf;m{KDmX6MBREi4jB;<430UV)X0aze{$NP zVmYwW#1|4QYp6$x1*~^1zigm~#8Eof`YV;|fpnxuS{*4Mhdv_7k2K`nQFW|C>98IJ zI|q${cu6$_=zAgwpag39X}6ekjoU}?n_EcNfvpA#B* z8PM~Zg6b~qTYt-)s6?o1)NCcmY!DytVJ(Ly22+mGV4)yUQ&8V|0mZ>QJ{PA9f30gg zt#k~*M2-tgwjiGwI!H6kx7 z(fyGGIY)BE5|k)BY%PG|m25Y}!!RBcvEMY8%4h0 zAC>mFs=GciD_p-e*D$ngW5~B;h7?z`hb^{ z4P@Mxfwf)i?H(oyNIB(z(a=iQL0EV7h`gu5MwG(DXb?+w!H)KrDRNSZYJXbvKD*gltwIj;Bbuc+o&5la_g3gOf9X4Ipq?bT~v{R1ezBF7`Uot z=|K0GXw8yv-O7?ftVncY$rE#wq@P5q0}{mO^Rf=tW4PpOwr%l!9a^T-z)JC6DpNse zAjNHFEQ@@9R?aotWZvXFZGY-?-1NoLgiB%7mCuD(4IiXPhB^%U-s<{k^mXa>b*AMKRWTmvuBd7iY&#(%vVlmpVWXsI^s zh2S>~oJjDb@}OuzHS}c1Il-`=o%x$c}hXzbiiFhT>N7$?-<=7 z)nw%P2z2Wi_dRS*xql?!o^~=Vhk_;l;z{-m!>_59akOJ54Yj0K^3c?$Ks;{x5>qzF2+mb|e? zC7yP=6>fxaNu-V3ME;1&bN`g$CL;y`_}l>3=X_byI7RZ%w>-e{}rfeha_84*r1fNBojbAoxQEe~`8Zf3Um3FVjx& z^DCyvf`9D{=tKX1fVtZT^S4Jw@1K4E%%6=`pTGaIs%Oi|97X?CeZHQK7Te+17KI-_ z3S*r`UF^`evIJii(0eHdp!X&6MwQ67uO8o@oEL8&@}Kx(`)>jFY%+r?Y+ofzP>-`3+WZ^#wGGs1=vWFl^!zG zzYdt{ZC^%c?RWc?g5FE`{rBFB&n&RHZ@zla8Ge2%e8Bu~Ism_y19bf0BYeNYS76Ue4n9&C!p~-#62~Y1Yx8`M~eZ;S==WFz#$V!m#;x-hTvK zt^Q`gK!G6c|Ji4F*vpN)c<|HltJj6)WcmhX?qW8a2AO_^-}}tGa3aoMV>%y@+5Dkh z8@wPXKy&$iU}eBj>5c*EHCB#PtWd7OxHRnLsgB>D{P6n62Je&UXtui1UEw?6?5?c8 zle@Z?+V`oi^H&c6@F(p;to$5I<9|oCLfa_fR@C~CwU%5Qy?*iP!@C|HsfA+~K(Fm! zV2vfS{-P!Wp0UFd&wB5mtNv^CNe>~KN?X;R?Oqo6#qsl}4=|L$F9X~t8XBfz=);%> zpC@*9II2s#Ef+)FX|>2Ixf#X0&5F5q{L)`gPVXG0(AS%G4ph4GE@as`Fna77w*v3eodCI~^j2ed6_RHl-W+qBw*d!B$Cv)3^H-wYM$Rr)OVYrKsv#J<1GpHJ3%7Rk%UwuCJY(_W+al1L`m6enf$W8z0clfpKsr5X7)EQb07w@ zg!wd+Px43($tJl7pWN2$WW!!Jt2SLmmXi#U z39DMt_WngR(|Tl>=p9+G+LUGsVVzT&uvfZJS4mQ^xdoNgqzX1argAIU0{hme4YYO}sevu1 zYp#ye!WN&YY#{YOWLlv*}*~=A< zX&>274v>SSgB&76`=Iu88$qtuNctwHGof}H=2=s{5QQ>hn0 zjauyb5WLh+-t{Ave4#Xe*yy~{AY$*XDGecBGN*JB@yQND`h(vpPa}QlveFrZ&G(hg zB6hsht~7%1?zqx9gb&{WN%_>3UhQ}a&&ld TWo8OCGC4RgHVP#rMNdWw;7#I+ delta 18910 zcmV)1K+V5{zb1^mCa^#=0W_C^iU%r_YcmahDhnpwU{X0aTi!TvIZooq#p^wAB+LwJ zB~d1+8LxkRx&iP33VO^Vu2e1~3WR`u_tyQe=IEIw4Bp@zL9{Wm1tp5+epd6zPor{w zv=q(UgweEOy9&#Vx1>4YngKm0H`LLFkI4-wVUrDOd%fVC&uy{1W@i3?-^83r=7(>~ zwjsDuFQo}>26+(YXp4ohOVMTshlkOuFB6hbBr|!pStrwIH$xQ6fZaqc{WQB>rbWS} znT_Us={ZiTfJq`$xA88uF(@;m=F**ib!um?3lZspgD%veE)FeqLhyo7O@t9Z5J)zE zj(U=&qlwA&CF(K%leQo(v;}dYEy(=5Fjb@_;PU{~HOipIaVtJdoZ zUpzH`NRYSC+6ivK3`kqOTJspClo)Fx?3%N&P>5E&>i-mW6Qc<^p&9Qc+|)&Xxh}W& zex6`sswgpn1NB66?q_2(auZE9ri+7>(Aj9-&zZ~;0^vkb-R=C3f4xuX%Mbw(R)8G@ zd97A8&V!#V6fu-f#RxW_(SLDyO&N-j$EFw)3*yTd&Q%A*M$(Rm%@Qj~LJjREz#{Z| zp)&uFumuW6kW)+zkg|k%P6pY39mybB{xV}w$Bf~GO8DET3CY0g`nn^*01oMSRc^20 zqxEAOq-MWv%Z2mOg~)P$qB9Djqa>HXiFfOAS+r%f4M6MGtzESN@^(mPWq;17*m?lO zK|CG^ec&JCngnA3!dw$%{qM%sxP(yiWr05uAdThH?pi;%E0D;~8@t8N)=#*rtBrr% zv#?uR|87^*ZE3@jPo<+1o(liA0llr0wxt54P%b(`yd@zM z#j@>&ioh69OXs%fS&4XWf^;0}grBW!)0QZ4r#zl9B6-kVfRb$mGnEN@!b4MR!c$n= z*<%qS1C#`Rz|4C<|84bTA8nm>YNh+gSl)$Q9TdkuRlJ+~vIMZcU)i2eFV-9? zdY76;KC!GeJFkYE_UTN;(H6Ymt&9mQlSM!dr1#lx?tKOxS_m~|v0jJqm2GXk0qY2F z`ycdVdkw$?+6008N6q}N+sV6S(e%@ujpodG5)4cY2!@`2%I3id6X#c9THPB!2s~~v zur()M0|`^`Sh|5&h$78HwO@ybvaGESqgY;rm{XzyfERh$vPfnc5XI02IEW&+3aG_` zp*2mah*pqAdJRG#P4!;JGN^;SifrbYVZOG{01si#R6jR`S|k~YX^)zCmixGo z8K)Ka+U|Eg!XD{;#6T>ARA4TECHi?iwa$@*nDi>5#>gL2u1f^#33^Pd0-N=THY{M+ zu?2q4I7_S{fs)A@2SoH7*D2f%rL>q9GNZ;{q&7u=bg#CjhqAX|P*!bs-Uotz22}=c zhY5ur02m|Z#d@Dgos{Lo4E#JMTT(jj$@TV<&oRgcq_SNVw=RLh@U8c$K!@$=BTdt956(m9_ui{Jke29UWsrTIXNX6;$!u(h z%c`z_ZJ?$?QdT}80yRDnO$dSL#Qs~Y+!3r3h%tbgWnFsMH-&dzKQMq{zO42E3^sO& zh;iDD7CJ)y;QNA6*Ze~48cdn$Q$1{a;x7vYQ-G#~88co6+6&JaXA5tLZOWV^_@5Z) z*tZW=UH;}^a$+-p@zM<7e18j&+HW@01F)rkt0Z8s7iutipR>*g6N0y9m`Gue$rlLo zF=-u{ppn}S0#afD1&klsZ=3RdjQx>ddvEKG4=|4=@DU8VXH(35iG;Dmje9YOBaX}v zT2Xl}?NKt!>1M>)6I9Q7=0SB;^H8Q*36QHrl%QxLbpk}Ax)0btee*6wlY)|84%NJW zW0q!#zA8`;X#--sqCt};!GR_i&PJ0?FaaoF$S0UCPFs`UP)jHptVtcUrYP@4)->e3 zi9xBO26gCh>Zr$E*nn!buWUa>#OFi+@uTh&SarE6?(G@Z%s9z4dxdMJ3LIca$|I5# zW+KV_xFp~G@cs7*;{vl6vQIE=UHII8w5og?Aw>~4#0*KEBpYcG=3tRJ4*7KwFF-1f zxYK|Eu!g4dYU7F=7`V4vTNka1J9-2hbO#(@5W>zXVDn>mGztqUCsOM(W}K5O=Tq{K z8X#{(P-s(VkD`DoGW0j52&6uWjm_HU~DM2!SIwmCwQ4)pmqMHz5h(t$)3hvsaVGH}~ z@>+sycWpY2Xf3DI0QPBYXdo&BdBeoo^B^5DqKCIlW1FUj08PmHgTP5=fTPp!zgJlL z3nfBj0!HUq$Dx7sM1vfH-Ov|pk|{};UQ+;f1J>0J>*DeVh4C|tI{bov-?4Y(pAfMi zMMVl{Kq?(U^<#Ji{Ah4#MAx2Io4^_zvXt&^;wM|9cp0{89#W04oG> zkAAB%Fp2J31-9&V>6?2iFN&`BYnR2o>D7Ur7<`v&BJzp$%WcyZ0r`1++=0AAd6kdL z#8GA%CwX9>avq&QH0k_*m_-K=E6Y4)B@UVE5`K;VB(CBl=?H5(p<}zZY``La7f_s(y_MoiHh(~G za?|ei+hteR9lOmlZtYOR@wwai$8W#JTR|tfGw9Dlbx6RkgcwW%Xv5a!mJyYySTwPrqiDJfUVn{du!FDOvvGaEx$A)AZ4GHUmRS~A zOp3EKx6`VWg?NlG&)-w|^}S#Fo13d&uKW)vpa4b`NQ!}9VZ>Z+u0DLsW-E9JsTk6* znLW9w8#GtrK)`zT7;$moDx}< zclVoy8-A%yHCBi0C4ISxJ~|%G>w{)2CCEq!`n3zZOcP8)4IJnr8*iV&REJlednbtX+lOZfBKcbf0>Lq({CnYE}^i^P{sh`wLE6=Q9_R`zDww_ zoO>EyYRxf!llrv_yiC%9fwfj2uq5|K4OE4I{!V(tlishDF9^=lV+nV2OchnKC9 z&XQ;TVIa!I5)WxH>Kc-3+9%`b;aXfE2$SKD76M=k*F%B8LV@t3t;=HVO9WRM>^J!L z)>UnI`Q>b#aP0JV=wCP89+{du7`t~DV{W@*F9DB#nKQg&2gC7cBqdA?Mf5fa*>k0) zN5g7vf7uu7R11XzJlE>?Zs$fQ6Jjr<;N)e(IKquD#SIn91hGo?JirP_UZxeRU4eD> zSl`6`Q4n^2n%UJcFg6^f>iMpASJ5ARDFiP+ZT;Q!wO!p?Kh)Lblb$5rVW4NLHm=WC zZ9Z^+yukq~7{&PXZtLm)&9_4inDfOGWPyyyX?v<%+x|WYb`X!2;drm=VkhVhQrDrw zSmN1rYGH^QbZB-b7e*j&;x=G^6VLW-j8)f33zt(yH*Z2+3oKUq+qGSc55DiyZ4a&? zs+ohf2R~?g?AAr;TORgTcYna}q5ZhAo5~M=;q^d^r}SqpyWCvE^t#wKP-nK-QV;)B zv2=H3#{YlA=S^GH9plyXQ2NB>wD=g?ZkILe^Lf{H|GE+X6eQE`Km@;X%yNgDK8+Xx2$dJ5bGzrkce*lfy{__g6 zUqMEG0yHw0vC;@Alh3~vf3e5OjHi-GtV_x>2a0T2U80&AHf6`jpU-;$dO-`#wXMt{ zCpAIv0eH*zHniyE}&^UW83 z)SF8NjOm?!lP`*geg@g*&Z~S?{!dKcY+15@uOV^K-GiT|aIUtQLx7f41TECja%Z*c9bQzsS7w zf8nRI^-ZnUFtAwP-{Z=UWwDq$h4#ZZb~`W2d<7aHlyLh^FiU7+d9%Bq&{dVT3^)oE z_1uTY>s7Jv%iZB}`Im%>NjQDh(0{lKQw(Sp2di~fK?!9RxJ!W1eqLTK63c_lTcIbN zc}3;df2{Jre~(6HniHyPndye?=F0=9BsUrvQsw^98*D{DPXITrZo_aS+22=w(5vja zs&daIH@LoOX!?hFg(?aY7X@g1usut=oVSu>t(~H6CDLxhGj8YrY?cNd8@ZBUZ!zP-5+ej~3RK<( z*}cy{Igr}Gsb_-e>HT_x++eDP1+eDI56t~Hx@Id3Ikv)x_dPhW2?T3;0Z;I&PnQaa ztRC~K_hbL@cD-_;1P&o`xFr+J5&+IzHW2Ztf5<<3hXC^daZQ7`F-S{Lwnhv$>#)$= z+0YmNYrks1D;y}whuSGcTd)`iMaobmmgIo7?W`BIzB0m{6gv9q{T2v3@DY_Vs6dDX zP+?t26%_WqtJVS?o0-C{nSZ+Tqn~ecn7Rp58!fNL8Mh$$R29nx?j zTHUY1&TUP_%cZw?3SKz)6M(+14f$x=iO5CMGoc|6Q2_4(LTt`MOifsbs=sU4cqlAj zJPn?k2SocZ9U4ObPaCa$|K&cclK@iy8YsaS5GAs9?C%oZ2W$u8u+F5`#Y#5hVt-1L zdBh%nyH{@CCa6l~ zL6GRsM&m!2UpzNksK(Ek54>RfVFkf~3lbVF&5wl4m>^P!o|t3ffJ0H!jnl)D_n?IU zHDCP4pP7&l7Ztb%gnk@b&bRa51(QR?B7Y^-FJrN5#PuOwFs$bVi~C|V->kk|TIq5_ zs;8@@K`MC6M8_cCytPAQs(iN3w*3?a29esh(E09MH;nzf;+426K%6=ittTi zil#P2-HWYaQ`CYOW{)t%nUc(Blt|e}3jW!J?(jD+LYSiKcnk((Jaa?W4urO0LY4pe zn74ahhdfQ1D7i=IZj}0u0||$1wtricOIJm3kqj(yGcQ(;o3LV&S%a(Q+Qi%r`rx4_ zj+@@(7~Gfn%LG4Zj85;~yiH}wfMZr2lPE85yCpcOI#`84O_oK)h9Z$Gqqnf#O2gh< zIZx)?Om+)?LqzPp`Uqnhwxn6uOqqZ7vY>>5`OYALrn;9`MyCc6RyAV&Hh*@t zI58QkH#=k6)ZFPuL@l-9q~10l9b}(HK`q1t4fp;K&fVQnMi^}?I8+a9R1zo>9tY@I zP(f)Fc%EI5ZyC|lHkh9vp?|E4fW9&fijh16N%UzzmPr&9C(v;ID=w7^@Dq@5N)6`4 z*$I*f*4p#1^%hU(_7SHXgT^qoGZ=>`bPR4w3c(bZn1sYo*MNT%x1ST%dLpg)aE3?^ zXXO|)21P0jL|_nFj3QFYA^+4MQUMWJV887NG;$9d5TFSY60ruThJVzpOQ1C267Z?f z3HDT2%?bAkOR-QbID<)J&=?e!f&|}ic>;~JuNwAaPPmarRDg~$^Eyv;lWTF7Y!!m^ zXIa}w>s)lG>xoldKW==T znJdMzSU5OCwT(F1R1qrw$rpcNiq9)xq)sZzrK=rM*>Be35Vn1CY;gIHF1G_B`Mhq* z;AnH+xMVGXbD8XS5Bgj&#J0KQi=8ZBbf7@N@Nr+8CsMVwZyPXR)?q-9!7@JGB{ami zEaA7NW8naa91aLEIFtLxG=Jnub(V!5DGYSf3_sp%*7tr!xBUlSgdec>_`Q}ABW>z8 z*rJfc%C@mtpQ%E{H`DElzG3l<`GNq>Y7{UkXBfzT+d9-Q zOLQjH#a@UrIM1TO%hhdO#$Bei3-)plbJKZo6zc)AGQ18Wz-6nZPtDAs4WTFw982=m zEr=$YV*3ze#il8wgnuB`fRtyQpB+}2IJc4@0U!k^fV=2&eE#$+Gu&8H~GKtI3=|;%Sb=HJ0d+F%;7A zpe}@vRIAJ{dH@Gaxbt)RzDFQ2%st2$4CSM+Pq>yNn5eddT7Pl4*7JQ@pQQo+iPkrH z#4-M|C)t`I=NQKkTpfkTj-n8CH?77HFVh)OOil!((bBNzEDAMfc20h1cGMxpMKj2V z@Vdg+CbAb2k0!AL5|toAngbwl1Ux%{f9I3f4~b*2F9Xz(*4Yf^S;s@-zM6_Yqo$${ zHklFdbQCB&$A7X;mumt~N6-ysG_mjlY;ABOPHAaWcRQeL6cplk1~~>1aTb&vP2$+1 z>R_QY%7Y-X!8}M{f3S8}C+9(b&dYo=ckO-QZ;A@zjL3cNRRP_X*a?4lyoQ8lRV>_f zB0GK96!6*KKi%f8HS2y~Uuke39_Ga+)n^wLlB%O_q*m`}ddq{G-g)x!I94i{-qU2p z+Zej@std9u+^901hq_a!)bTA@VZ`qHJ`(Q{Lnwg)&X_#s#*LJW7=-?=uI#?=BQtDr zj&JM>=i4F>2=3?mmy4hKe{f7$2AoQ z33xN*Ci!L2$h{61e9 zcihU;2WX)_%hCpJ<;g>pX^a5nw`D%NZsmP70|6*EquR%Cwf}YU{W-|jM(Xo0t`4ye zv(G-{(J!l*J^-}ovmyc(f8cGQxjmrnOoIa|!g*{WkrHG?8T9utyDUFjIinztK_+iOJMe;vrS|_(-tkdh(^!u;3kZj|gT7LfC)|tSQEdLda=I$I z@Q|N`EZh*4W#f9@pZ@W7;Pq>eAGpkV-*@e`maH!H%@Zht7ACqVf77`UqnrnhZ^Y;b zp;X(#{x)Uk;2Z!_fKAdqfgU*oJw?jU}aTH8C~aSoE<#Y~IpoY})OsDtnW>luPh zH|hWPzzC1)7~{G@e@?AS3uhef8ho`&88SOc8|xBJKI(Oh=ZeOfW=8)Qu|{cUqwSTd zb3!h*i+fKM>U52&@Ara>C(;Ucn+IQRtgjCBUu}PSElfjT$HsUm9So_(!J^usv3+!x z%p8+}9`TM=B)KRXJTgBSzLxOpHdj8?6ZzOSp4SOcUKqx1y^X60h4ju6qEDL6#_Up zm$A|aD3dbJ7=KL=1oomYNglWocSTsDREk=A`|Eq=LUM*0O4Ld=j3!S@k;A#1%XhBa zWb!acCjWSmxW9kDeevyEmP{~4igPl#y`OM4kwhXa#pHG|`E@D~xtU>1`1HGcUOjE= zVpHDCsN~bT8;Yk-_BykF-sSURTjZsFQs4Z3`>$``Vt+nSNC_hJ*eL#4rI(< z4O2%?Mv zdj-(K3@h`Gj%maj2a+U^NE`(n`55;`Foe6cUVpxf%)yYNyczLxyBUs{RNQg^Q#v6i zk!f!)0i!TQGJ%PZ!uS}s=9{8yuGZ_KUOUDazD;ISF^~)lB4o7D&a}CQH+VA5v$-C- z)W7g_v#+=N+CI^d60i~Nn zhJOMrRXgN9G6xVkZ3p1UKJeXta2Y=kX90Y*ay?;Js;LN}jSRUYzG{}VI;G8{@=_}fh?58LI z0J5ho6Bo-JP^B3cs4iuQDhJ*Cm}nAEJ8zH^91unibdVG+ioT9)N+F!I`_>5Ap<@rZ znL>ooa|~17Sf)_xK+joAhi4m`R0R||Vr`^PqycLK7=}f&Bs#+MKxk%Ia--Zc41YI? z`21q?V}uxhQDEt{N{has=Y5;O5-}`Mz!~s#w9KgE5+zSb6l?eU-P;ITNP=*8rZJ*) zN?k(NqlkzdMU0;3=3FAaC!I44XY*L*;CeCxw@n{Lb4niLCQOmG0{bdGDHY|(%eW&E)jzSm*GxUFo%O6Hu0%(yap)FDu&ZAsFsE1jZFYHh2XtHsR=6?bB5gkN{ zYrB;Jrvv}smuPH|Qv6I#5BUf9S`Nbdr?u0*$j&(!IYT|fxag}^7pQVXg=RNT`pzH| z-Y_^I2UEm{1xFz+^&4&ar&IQTXdwvXA&!rJR_gXC)Vpo41XMm-(RDsAer)`UqFG%^E-msD43H@{f4GXpTU`g0!QSP z{HE_e)m1i+!3P|G;r6)mZOqpMuNe^DSHl?jZ9wV`dL37>gq-8~XAy~ECN~&ypKV@@ z@zD1U4g=EG8KNVOGfv%SOM=4+J^2o$K&~b3d`FM}x2$0#Fo;L`ERlOM%7-3!T z@Z+zaH?`g(lT9sx3Ai%hAKaU7sw&?#g^0xsp1KF7ngM@zb$`CKSJb|%q2|t&2jOm^ z%TXzJmiZo{R${kC}6SB_M~KHA*7YMlUr;$F4xSMob*uoA;_ zhjF(zDV=KKVSh5Mb8~h~ryrL&9I3Lm8zlB2M=F5gPE6X|OmHlcn6ix@!o%GAQnSrc zv@2A>19LK6sX&76-#v^*+7g=yLm zez&p1E7)TGpM3$sW^Z&1CZT!j_K@xCCGhRPnQ23alz)W4u*)_I^orMZ1+(k?DI!K3 zqCa)oEP^{EunOxkJwza|TW{1WSefXepFXV>9i|h)n1rI^io*aKO&Vrj9x#xyX>sqe zGNnt;Y|7P>d+|P2JORZgT_Jo|#==GnD#S(?$$okFHipzGVv+)#DEF7L$ed!@CvBIO z(2={Q27jUtE9D*a|FSsmF67_qeD?QtE3 zH9?0#P-AK=6zYnf$Vsx$W{O&{OI2W9Xlq?)YJcE{%2vqJ={nQvKDpbbKOxhY^^n`= zCPXj~T`xsZKG@$ewMeaPf~SYiz<`v&CLRjg1XISSm2hx|Mp7#sLOe|>8MF`R)pu^E zRaWk@xdyPE-B4CJdS#1+O}d)%STiFT5=qa@IJ!z~HUPGj^K|+*09L(Jiru~)T@UsR zuYXnfrh3TAVwW}BfSVml;Kw}M8#e|nZQp~w=yq;z*y#vZGT>a{x=hTI%+0cCR{W^v z&fH3E`wF~k7zg)C_jk1^AB+OPb<;-ESX4~{=izNU1vG*?hb_QS@^ZI#%G&3i?5J=w z+6&s@U|C&WC8X(wqvN~b{te8rVhcZh%zxd(e{NQbygJexM^DtkW!JDX&QLvmh=;(5 zqQ0f-nwG#`#rzSX2e+}~V|zM+L&F+2?l8ZNZD|f~JJtHC2Z-C*sYS7yuQogDeZhX3 zma~Ym={hj$fN929(sV+>&MZE{McY9YaWN7=F)#C=-O#;zZISQhRk0oLHzdGChY%Nq zTeGNR2h!AFzI*d>4ClXghj#wXB53&+%JeCl+S_9G0ps{?71CN6c08t_>c zu*jmBq$r)Hdwo=qy%T|y=i8mrHZ{?0Sx7*P7sO8(9qY8@NiuyOEmRSO(oPpfRjPJN zKxGAhy@>h#;0{S;o7u#9^{Dd;0wXf`lUa&QUq_G|BPXf#*2G6utek%h)KBE`{zS>? zss2Pk=>K(p;@I4!(A&JQqC&3FtfhQHIH=E`mDM5Ags3AbvgtMA8{)+`iw|eSH`I%7 z9^>(i5-J|w^cp<8_@;Oj&G33q9nDf=7CH#;i-%akF9FaezK3w-%Byy)q}~bW2L4Kf zvB6sttrd?FUdq5~ZO}rPt~f zcqS%<&6ONtcl;S!22xOX)2Oc-f-i;9AMT@^_i9APTV8qGQ8-OAMGjqwOFIX2R3Tbl ztF~Uaan@`=Zj-xv7qfjV>SfP0EL$fotcd8y2p{tUs9)DQgO`6wnMBVFbJUeEF9o6V z+mpy27=#W)_e>bl+W1*eXn+qP*kA-PmhZ1!8*H>nu`7ekL4Oh*7nS@8HkX18NVUb9 zOFf?VLtuk>dR7y~fRx9uWK5*l2a}$t`F{2VyF0Vt12{@yUQgoM`bqw&Xp$DTMq{pB zc4o7MTgL)k3;}-#<6%TaPX@eEH6*$UBc7EV=n*HTY(DFTw2dCsw!}|$X^bsUuG4Lp zOf>}wO}i{Fq0$yh^o6ctn8!M`MNC~Fw-+syHD-PT*IYO~*28T{+PvUrp7o7|eKGGZ z)u?_}xH+=YCAIa_qP*W!>&%0N~;< z$~dM|gksa{6nvD+|4hRNX?QU<4KL12!@Jfy%orS4H;SR8aZNEE2!Rp9cL0ZR;SZCexOK7%keI` zCApT>U*B_ZK#*KvSBj!MbUZQv@ZfeX-??!4LM%A^`vQN|dVj_j*YNz?84td@JNDw@ z?E5!LFAOt@Ocobc3&UBO$c2`g2@NB~;?wdsF7)~5iywo3OML%E#MAlMf){q;Pi2qu zU<)xJ5t^m(K$7nqMZC~V!nT$|Fcs^?O4^5|tB7p2SHdKZ7ZajqL}cWINHU$I!)|{e zf<(`0;&`-Et26-?1Zw)W(BE=$O;3!NPb)V5ph>jVJJ~WztPhB&ZX~OeYpA&N$v1RY9LpU|1rJ&9KW4Aq@s8T10uc0+-#FBYHRL(-Z4l z3TBoXr*nV4$~g#A=>de9sW5)yJUVWnCoo*ISjs8K|F}B7fAuCH5(x@4Ug{xw_$XVO zsS{{_L6lBy?U*|GJLO&-fW%VWXV$aG9GZ5GH+^2sja9syw|r-{tvArpq#*N-}0jiF zp}Vw|U8q2OJdS^hmEy1}2BaW6$I;|}1pTK~%=z-yvfsCLC}#l08nM}Hs64HqBB02M ziBa30Jqs)Z1{QfF{n?`csHrwFDY=Nyc)3mwvVlXjO)xoQkv0>5u~->gK%vq>dLlih zuObs!^)zz1%i13G=a#zbW>a)Tux;9sTA&Oyy>9A|Ccr%*dhllbwJLAOU|{Zl7c0x# zkTO87&y>=Ux)iZ(8@9B;c0nXDp3Ig}I3Iw>a+t1%K;#X4EO z>uDMaiZ~0M(TJgwbseyBzb%V_A6Y+g#x~Ht+b&ori4&&BO+N(q1c7=ar$JqZKxme& zg{zfV7LSU`rLqzC%wY}(FQ`P)Q7>;=KmaOW$l3yAlW=4G*4xIvC>@+y69czZ6jfg}b+#GS zMnlMO$PIM#L_30sU#p_@r*pD~_RYFFu4YCvt?sHBOgo`wh*iTJx{*7G^Iy;c|7H28 zVlY5GXQLAid62mc%v39XPFZ5~@2UzFRhMs?u6$Gg1`36WI#DP#MEn5If~B^IlG?=9 zzP=y@;>+Fsasy1Z?SXH$1F;}pl_Umzrzp^>K>6LE3rKJsgm~K`h~R^ca+GoJ(6ZUM zCETpb%&)p>2x+@=<4!Q_+`vk0_)r~5pxl;s7i_HOMdnQr^c6aP{G?pHEjOF3^*B*F zh4+?5=#5zdRR#OyG@9>QqQXcUN<`R?^c8fx5fVVstUcTM(MR`JeW zU!48tj3NmEU@8Ek7BT3e5OR@k&pv(Tivr&Lh^`pI+#5@|1=$-L^=uX&&;Cx8=Xvg} z0CXY)O97>Dewv_vz?$H?4CeG3Z^&Py(8Io~fR#%4^5>>69XLXiBDk1aHDc$phbF&}>llUM zP6FYMd0g)6A?RWV#k*|lTICMaxwXg{+0aIlO+v?-4LqHHEkcVT0f?Zpjhirkg zeb}$adEJTpo$vnD* z_pIvOzIQ}_!!!@aFz7_zQP09EP&kwA*EEc{Ta}&Lo>Hsv$hZk?T$JAe#iRpdtb+9+ z70E}`hrrlv1o9N(@itO7b?%yQYcQC;Y`uyH>M=ZJapaxw^ViQ`-Gw*_<_u?73BVG# z&Od-~QfNrkj9p3_hj1_7K1Xwahvb3H6O9qZQ*5q(sdhNq{KGFlou|?AUjpyiQv?A=soXm&hUzY-FbR6dpO+pO-kRo8{_E{2#c@-gdR>$v)ezSu)s zANI6=jaj7zja{a4+1+lz2HGkI?7ww|A4nP@ub;a&=Mk*SFq}}$@FN$}aKzMuxeH2N zipx(#)(K?iaXLxhAg~1?TD39)-4i7X9W9iFwiXZ~gc5vyPeiYMeFG~C78EA;%n?S{ zrH$0S(9q4=iFn|HZMZVrz^6IS9e)#WJdvD#1Lve>rnnf>E5*4>D{vT(gHNAAU?(Fg z>s~dwSKG~-?T%2scH3iGB~pTSoL5~DW!Ico++GZ+sA`5ou4;zjQQGEk|3rvzbcLg` z7=Vq|#^Ts&>S4{Qn}yZ!SQu3b0HY>l!8YZz*vi6+rtYS1NPR-snu)QrHwYW&t0f1GG&HdIBkOR-jB04DDUghHg)>L>^dQ zW^D(Pg_*h9p}{iIMdJtw65kv_8_@Q2tY?iTqE4Df3?`zcA20kCw&7|Fb=h?^U_%Y% zvpYN}rhJpsOSu$IS@TNCyoUOYTi+*t^3&^>S*;wxI5B>C{P4>^ehpk25^?ZUS{~H1 zt2W(yk9FNeYm+QW_$9nx)TSGZ`;m*SW3u0}xUT zD_%Z7$8OOAw*5BP?{Wav%8rfB~{1IO1O3M;Vw8}1& z4e05|)~@*ctJVxRm=qoYIx^+5Ci&p%-jfD>l#ca1i_5#1 zbb3|vKuPk@RdcH!xFqQZvIX^jBXr!D@o^%;4Pf^8?Qw1+DTnNSZX!oBvCw8ZVKSNj zTw<|ugSK+yQe7L*PSxLdz#h7!<0&W5bb}V4BW|}QoO{N|Ya|(gpG{A{}!Ew3(=g2{a zQ`N4Z$SM3hs6Eh^QZ-==bguTTi%=kpBJ`ayN??5Mz8A*J7g<-v=}Y?!jc^$29#QI2 zCmR3 z$hUW{cG9}EGTTs1*vhh-R7-FvhhbECam>KVjTN=)SkDR1ND|SY72WK><{+`%WcBqv zyDo>5*Im`QufcvzHGa0eYKCCi(~NfHhg^^Y9Js7D71jvmH6*xy5=MjHR#$CVGABX4 zAVy2)b?}Ec(xsCSdpWOoac+Pwkm*1gUXqKOIJFG_vydOj;l<2p9&vDrrBZp$bc09+ z*&IN{q(FaoiJwIO>Nu>H&v1 z>H>#2>H~*3>I8>4>IJtr>IRF$0yQv~vC;@Ax9zP5t_Oc8VC*er3f63250#+z0BunO z3Vh||1~YC6q2E}T_}eT@y!(H)Fi}cHW1YHjVFH?k7mDyf+&{v9|9V*eI(oA{0mXba zpUnp&A6Y~`Fz~L&W|S84lBf%Kg1tE^+d}^XrvGR$8BL$P9wfY=J2(nGx6tG^X!1A5 zQXQpTSKNQ~^U*~;4DfVx4l2ww?~~|N_Z+D7Jp)Jt+%1w8L&C?a(R4CCLNAC@I$EOX zuabr!6bHnUd)h!p4@Q?iQ20SD0k&0r@urHBhd7>0Ylu$Oc96G|zJV>#Z2L5O(5id5 zZ3s>Xw**ZXCR)0ZXr=l@n=nAMZiv>-^I;MlKKOrd5WFeLXx_1pKAcb(v}Yb+5wjW-euT=ZGm~`h;9i(+HeC& z-wB4&HI_IOa~u+^p-B$7NuR3ZZi-WieZ5k$3TAckd0PnM288}j5cZ;o9q{SNPXSP= zgoS^ymC<7%k>z%1FMKSxH3+k>(w)RmNxiY{EahLJj|HA3D1)2O1-3($td!3J(2_+% z!Q)U&{S5$hn}C|X0MH>}9TdtTB`*Wrp-{U3x&>%>Q@`WstwD^NAl^;4%V}<3#_b|D zdxKt>!R-k38Pjt;4cl)EVsme+1TpQl)KGu=w!U@;|Ju{lcJjBL<)*$VbH`cUc)P6R z+2D-JX>N0SLt)vik=Rrk<^KwPmwO)rlkWwYC0GM{B|X6}fZLANZ4uI&8lnCgjVS$i z>(#C&`xg_^Ay`+h4^!n$gtW|i7Y_j>Z4VWs{tyO>21`;rG!Rv%LwvBrL1>0;5}bd# z%Gm%ld{l?HlG6@OqVdB` z2Y8Z>hk#ngrpQ@6mp;1fhAdzq;BqI`Iqb0Fq(SZ(t zJne`C4QYxz6tdlW5_K>+p)Y^Bn`r@=B~jl@+xyi75vL?dsIshxl(IT;$`j8iiQ;C8 zTWRH?Bn_8;LPGK8v}~1)>P8v~m(5hM)aRc_GtDVT10FXZv>_zdr@4OayB(vzIT}Nj zoIxjB#nP6Gl;fZ4&LlNRBu3l?_d1j+vOB;qL|`h zX!NL8a4P1|^~tcPDn?>xpqt#rw49PSA&Y2dQ&8j$S?~-Am1}>8U$(L*Ed_ID`I^{Rukcpb)>PS#l$a0w9GUvnR`_P<~A! zcW((tQ1quLVc-z}ISgatjfOy7hD%G9n@v9CJXakq?Fc&P~SnpbX*+378qja$KS1Q*7=}3{ZI#NImeMFKUX~?^y>R5-;VLb|V z4jKdTl4=If_e2sv53-Z$=I69fLJEtyZ_1A2diUWKAx?iwi|7&CsL*clGAELS!k7jZ zP+ZPIw5O;*!vZQHpGm@%WP9z?|(uyls>ffV3Cp7Rf zpyxFO)m_@R{+2sYiBQ+5*-DbxAU@#3S`JMNrW~cgLP4UYpuY10ii3H4E>0O**LYg# z7=no$7npx;Poj?Qf<*<_gg!Vd39OEuOi&KeIDF#3jMAvcfKytoJ+>(w2Q<8H;Z;o; z1!Ij!f|Np6%6%G@I6TQg2-P(l`gN*=}?zNqQ;e{>rPyk!J2d=PqeEYfgErvJRI7YbZcNyO(F| z9L0GS-=-ozfYz1knTRt+)B|}CuhAyNRP@C9O6~Iqn)dIAKY0YMNh$96rCy1r1$&8V ziOPQ_Kapd^we~ExZOh6wSjv3Mykfa2aH0ORYB^>M)i6zK@5%0y|FJRe=@mO9`2PEvveeRJIKk#0r0d4vTW{I zv^d6cvNfjNJR!QS5*b(Ohs)U6a_{WC3G#p3f4gg<+u>ca2i5`BO?e~mrp_`qihRL8 zD(!JqcYS15xPEP}VQAaNkZ;KhDXwM@TWk?EyAwH5xutyJ{Qs7&zol!dbhR7ExGw{1 zyV%=3OcaoE$^oOHm9B%Z?&=YFPlb&rg^AH1mh6HZ?J-m2q!iW6t~vLLZz1F8JeGf> z8$Wy_sHc2C5Kp%=*E&K<|s)&iB<^W+ss%N z`Tne&Yq-h0$$8q;>A2~Or3sh9sw;n=GbeJpwk}?`6c$)VDejJHVsUQmJF!v>XcWdYV+4qyGvTq#%Z35 zVPmCfQx{8k?zqitnpp!5cuSPF;3UmL)7Bu>G&<1csmeW|GXQijrlIS(S8AQ}QRWT2 zlt;*8QkrPPxGcdvI@QCqM5Tv+I+bwG%)K&Sa-Pe35<$K)V?(^kZOcBXPQy34^@I73 zyFIr5?%CTnkN)-a*{k`*Xr|=7`}67P)~EOH+32f#I^oAJ@KYcPcZr*)^?mf^^Z9hz zKD@7z-FV8MpWO#Hb|Bv6Mi93_AD>4HeD3BSy>}cRizoDM_ZA5-yl3&Ke zHxv1-%KQf3nK(P6_xkY7OL_+rUt7%YY);yD7wH{Ler5Brd6kpjW#l(C@tw_8ev=d5 z=`7xFtQYftb}t}Q%9(xMnt1X4==jC`7Jhvl`~l&Q_$8e{@P`imAZ-u+V0VLGrk&vD zS4@!w+ZoV@{{H}Tw-4rjZ;y`NKm7ohKO3z+fB$7w&z6%pivFwmd_5g4w!^P23O{}n z#yX3-*r9J_3BD|#_fif(?@Q#3Dv@trJ-$CVFWx@Jv*j9~rdL5H%ggELYafNM7YZ*Q zJ$?TmqrfEI1cA{20YAAxYs5nRQ(yj~xlaD>q1I;@OcMXg0NIMzXYc&0)*Z4PI;zx_ydy&6D|ItfN8mf!~|MC+NXp+}V7DVe|343AkGQ z&4PgfLEQg;v(NCbmm7KU;HTqPuM5k`^bO41#cVhYGW`m__nCR&M4Z3IbUq-n`9r%l zctKKt=JNf(%7CNN9Rt#9tQ@IWpV!cRf5(3&$>iUfaRI z8cSyVMNI}gV}~c6_1-~O{nzS~9zrygwyHndy)5vH7#e)#C^ z@yic?nZfY}{({2aGs@yK;_}<@H--18r|AUvHUNlk1>UDS0di02t;X;wB+o#+Ip#QT0}hssFa1gDz1+Z~lb=b;arJic z^#T?_H!8bMU~X`4g1+w?3f~K>x!Wz^?C{Eey#0<>tHN0|@)xk6`~p8YbupQ(>1$S( zu=JRWk^DX`b{|}x|Mcemvlo3_{0%w+sNiRTjix)2-vAXiysW)kOfLEh)#&$Hs2)Fk z{qRwLem5=K9ZV3vY^%fo0>%hB%>*ztH!+t$lL;9FFf}(Zw_TG7I|)!QMn*+MLp4D~L^LuuMnp3< zI6*}+H$pQ+GC46aMMXX!JUB2$MnyzJH9C-WL(6CK;>*hI&!xf+s$U7OXd zSmx_E#!k8v?5?MYBujm*TG(`}#?;PwQU`map1KT4!)C`+t|1MucVAUDkw(~;E*+q~ zYe_Tgd!QxjNESBtSY<0|0sI2(P@mT`>7#5Q8(9`HwK3^`D{NxYm)T6Vkap5RI!PDV zO16=1?r==o$qurU>>|5K57|R{Ngvru_5sCbblv^H`EjLwU@oq70A93HDF-icQRyJO zYA6lBYr3Q~2yZ5#G=xaS6QyB9PJLE7gviSYr4dAvZErxTWK8r