From 0a3ef339917381784d3b96c25cd00b29e6ef1760 Mon Sep 17 00:00:00 2001 From: Daira Hopwood Date: Sun, 2 Feb 2020 16:46:34 +0000 Subject: [PATCH] Update incremental Merkle tree diagram. Signed-off-by: Daira Hopwood --- protocol/incremental_merkle.pdf | Bin 20825 -> 0 bytes protocol/incremental_merkle.png | Bin 18608 -> 64473 bytes protocol/incremental_merkle.svg | 1999 ++++++++++++++++++------------- protocol/protocol.tex | 2 +- 4 files changed, 1173 insertions(+), 828 deletions(-) delete mode 100644 protocol/incremental_merkle.pdf diff --git a/protocol/incremental_merkle.pdf b/protocol/incremental_merkle.pdf deleted file mode 100644 index 79f2822e4d4e9113bdbc3143625d484eae778d79..0000000000000000000000000000000000000000 GIT binary patch literal 0 HcmV?d00001 literal 20825 zcmeFZW0WRM+bvktW!tuG+qP}n>ay+XLYKR`Y}>YN+n(y@d-a`p=FFM3&it7*x$bpm zFe5W|TvtTq-kBuw!lE<`w9Jqsy#>8(y$!uNkc{~B_;!YtklfsK(k8ZM&gS?`Unz=o zq88T9CXRHX)&|Zd!X`#`#wNVHkWS8yCI&W;?wR#!Qn6TU&>fSNQyifh;fVJDs8Gb_ zn9Pmim_r0d6vL$8XQ=DAH;+=1Ne2e~56G-hI&eIDkMYPNlAg>bhgY#PcMuRsGP>>F zIJ_N-elVifhx@BPZzn@@DbH$u7unH#j#h4l9;yZ6<}-9t@sLI{+%zr{Fv14hhzErd zMCWo}pzvWLiGhmSI!g&8{oeP5hn-5%L8l3vZFE~uzu(q@-6wl*CtLK>4!^c=PeQhU z-5s~Bir4Mu=WnGuxo{g%Qf@tzdtBk}Y7YtJbGr;}Y$akcJ~1Cy8e?X-$iA%iS$Zc& zCA%@JGg_pHNg=%HsxULCjDRN+xJ-61c&3(gdM!_HV`V#>!%U$h1x8nzMU#l52Gz_> zCRTS!QVm2Cb-{vTX9c!a5A7D=GMt5%sG1r?SV+L1RA?A*#ey5r4Qor&UL0c2W{p9} znhf2(hz(Tgd@sjUg9SO&nwN(dk9t56)CMPrF`x+-a!MM`eWrz4r~)-yH z#W)ha4y*=tM2~s|RwDkrLpc4}hY}EyrzauejPQ^GX{Oos#c))&O zKBS&R0JqpO=Bf?%)>7v6n^r))Su#vYb&c>Vi`2sN+A5A?r=Db9Gyh*j*lF#H;}_Dk z@lWU99Ju}LGx++WxIre}O=jZlRt`Q)7zbykrcz<1Ewfdq2||C~Rt3c+ZdkP@kG*us zh_9};FpgBHC(JhzFp*?k%_NW% z#Wpi$3`aVK!1PGP!sqxQSmD}Uq{$Ky)U41{HXthC|6r2lvZA0>o}f(tM320v!3dyg zeg)v+hI*o8d_#L_nIVZxCNaF{Lr12)Qd4Sn}2b7^v-@qSiW8W^vLtE%;~ z70+|Z3TCy!*y-S0dyMX|@s=v%;mdwCp_8ks&jx{1@(XZ!Tj{=lOqY&4u1Gm5aDg>3 zS(Yx}=RE|LQ2Vz%Tm?IzH+4G*(s4R?k>8ey&j+{nD(SIiAr6@r=W3|C)qY0TXjz3f zbMe2LOqNdU5iF@ycXyg8We&7%J#-Fsy#sci>v(eD)7pPb+e?U!nkP3=>)$G($Pxt9oj~J7R%b`f7t5ol6cVM3lch|{K$V&55j~R4@6K)5N7=<=-BpE za4w8nx4~>dL{f>bw#3BMhh%TqG=gnkG^`!V03!qOVa%BBfn|!ZEF~d`C-5jV+J6!@ zzSIc!q1|^q(@&WU?d0OTwfJYpd+CKMT}RM0o(1gkKBS4Q@jpDoSLlyZf&Al3{sb84 znc4ni|CPw{ZY&D+1T6Jn%Fwyv;Wg;vH$T}kbmR0=!ER7?HrZt4UA0agiTy6j7${8 z1R?2^WDK0F@Hzgf^`D;YyoUh>000^Y|MP@0AM$0g*B1OZ@Av=rH(xvu{{7Xzf$&eq z{(+5=h4o(u{^_OLt6mvB2fc%2<&%A`Mh0pL+QwQ?D!Pp%y2m}DY z-z|VhED=X6kO2ITf5gASe-eQu5Q&HN88QBu;M4syybc2jpfnB;mkxr@1jcWQ`+e*i zK)MJ3qZEK~3gA!~K%52$ek~}!DbDvXP=It907fkU;|9Q?Gl00|uZ*u6c;CkW0n&v4 z7{vgLV*rOT0pd77@SQ;U53s+FfdHgS0Whio7*_xetpUU}e`SF2AAGd|1duKUz$gb` zoDDbx4LB49FcbwiBn>ds1`y`~f`9u}`>Q=LfOI(kMm+%I4#1%|fVk(c3^4k2KG6QV z!@oi8ug?4nHYSdL!N&am3T%Hm|Npt=G5lG0DE@cM{(sZ^ul3bG9VNq`uKgcv@2`&g z-*0?>t@{4g{OA8~eE)aG_s?mM@jr}@_3w@EYbN@~v?prkXah+nC}`)dh0nyniciDH z^4Ff3k%5-s%e~QwIoi3{f4N*GI%P)#TPJ%1M-y8k4>}>Gf6r@lQuxk}E`OHl|C|>Y zS^f^x|7Leo%JlN|z&m-)w8ikWi|`fvv;Y(Xz`%dwRoMQ04MGC=^t3FH`1tsAMh1Tc zzZ(75!2ORY{vUT041ccw?`|vpaiR?P4D9sm^#9F=dwF;(&$mB4W_p=P3^78)WsSiI z^(4UbAcDtBr$Ef0rx2U>7!8k)$(ZW1niBMdqHC3~RNODlNNOpxhSi_Q@Nay7086f* zG%THLXi%wZu=FdO^38tno*#S7cDj^CKfy>ht43kxcM%;=*7 zS8@3`+Jh2&?>qz$Z*Wo*ez~zDs>Jt2?P{vxW8Z4M=myaMFopUqfO7?VkJff4#>M|4 zvA2ApYP`5Avy1_djyR%zAleghJ(*#@7QM@1t7rU3iYVKEjf?%G9k93!8dr?@*3>$R z*Tb!fsa~(|`kX!Gtwv7cGjXz3k6scs0bG`U}_`vg|*zqyb_9o9&Fup8@LSjgX(}8 z49Xec3$Ty}kZqG4{4{)0d25spr|N)y?6KO*P9p1y(F}>d#exq2>Oqa~1KarwK~3ty zU%?mT$|NPT;E+_?qDc^Y03Rpc|KY&$A+$#sK(iGBWS>b*Qfd)y;MB(Bi|HsoXq)6o z7uBuMW_ab}9$bJy+t-QG3GgfrXf>5Xbj8g<5#{GR>kb6PENa19)|C$MruPKV#&5j` z#;h;SG>3i`a=J^`4XqB0HN6sQzmGTk>P)B02FZu2wJQ_n@9<0*$@&JaO9oPqQAV^l z^UTbDi6p2m8XbA%=nuC0u9EaYNkJxNfyqPUt>i8I*6OhEwCoOQS^(Vvy7?V1&iPK6 z(BMYnhVhxlrfBtO@d&FYwJ)?^FU|PQlj>;;)*X0*Y}uG&ng7GTX&BcL>Y1=PHItMs zuF-<%Jdf+hqnqXoxr2^%d!8bse-eY&u4(+~!Ts?GZqSeS!?%s}!(-|Dy*-lVr%4kW z4;QG})}nhms2w~|x+vpSf;hyo_y+Y>@$`}>RZ+~T~SSO zsUzz)Yi41vo2UZJP9@nS2(Y4-R?X4#c2%JzcN|I_W$7ysh8F-(1qdIjFnH)pK#nQ?FNI zo;PAq9@*Q(XXsr)i~%)7D!PZPiB^YYYp{qsm^k=5#%=tfxPuj5NH}6yi)RUKoltZn ze;jePH7EvO6u8ZL9U;6hzO!``OCvD`r}um_sIL-{4+^6vK0{O9=Gb=Y!Rqnq33c!9 zSDvPvKppLKbf|BViHdj(w+pw!V8zO2dFxKIyu;wLi^BM{)HKyJ(X?C9UomVMb)LIR zXhti&Mdk+lWcHX$tnHBr5OV)^Q4rbh{le{od+LGJ6yzF_ED0A+H-$BXz&Tj8+LTa1 zY_%Pr9#Z|mz$3nyPZjJsBg$#OrBfimGy&fksnhNbIT0?GYd4v{w?4pJlbX#|)Qt|< z^3CN#T%9}xYO;r_$EuH*7oZbCNrIL`3=eU^2*q1Z+vF$&ar^WtttxR1Ku#Vkd&!S& zGsdMY#T#uhm{w8fLnSPbf6)+S9Bk->$de6pyF@gXC&^74>aImPu<4OWZvp!{al_y+HzYt#1x=1u= zoW5wTEzl?Kv#3pAp%B|^G-Ci@N1CJvvuo#7qPZ}VrOmM75mWBjn4JsWm_z>jshA}0 zvP`QgTGky12Y|}T9S#CR5D)uUz0l&NTl>Bx5hHs2A$<1}fUwCJx2~cmx2=sQfT!I@ zev)jk#=gg&eL`1YO;E7$KD(db0^|c(x0KBTQ<9VDn!Cx)K_3~eGw({bk<+v!9#>>- zxPhwbChmx$eR_gq%zbvTpG>Nc+}sA2!Msn$UTD&TpYmE9pv zLJm|CAZ}|=r&|MvA<_0b*CL+%P&$kCD$rIJ% zwDD#AwGog|H@A*XrW0w|Sti3{;&MMyG7MQUVDk7Ol-aGz+Y>YwN+V1fN-HajjebM{ zdm!ejCCANiCW|F|a{ORUo{h;HHR-wMESpM8Mtw^Eq#(H`v<=i=f*13DE795&j5)z(d6iN%%l^5kI zmXh@SOpuIb%=x9Vj3&(C-ZuZ$g6W7vqQ*h$sYR{qgPP{O@%7*MkMuYi`@b4R#@j!} z+rkMTCv7h}Om3`m>34>1#jV*H9U}`iI&-~ltRbwtJmor)&&vTnB|uU{&NcLSvAa=n;T zqNtH&NYUH?38~?fNWq*Sv#)Q{)~WiQ99Dwi6v0}tvs;*q(rP$o3Z+SWM(b$3#2bDF_8bC61Q=q#PJu||Weh?5`u zEvG+kEz{UE@Pb)|y8kn(?UxQiB1UO~QrO&YP0z}OmF&5M1i5B%)Xpx|Yg@x~+agUh zUY9n<5%&lW3!-nBQEc4}6*5FbB}xZXbIie3cd%5rEiF<7rYNjC6JG~3yiOd&xI_N! z3a!Cp)b%ne{$dYllpFK76{})qB0`1hOhi=9TH;dRCLGfr`f8of&*~V(E0co@!Rd(< zj1-C2SuStW-VSE8PwJA)58?O348S{{@$(p*#12!2!L!nb6TOcOM4Tnu4snPL3&u`y zo1(3xc#B9EWiMH4qxAEaZ~4C7$tvIPP|!XaJi{+zlTejVrCz%cv-G3d`U8|Oy-`EKSXp+9@rl8Q35WU-T;*xuf5 zYx3OqdcqBM*}-;rN9Fe-dl?vCpL2X4{+yGT+N;j~Xwu<1&qiQQr3@MVmV-+%U zg|ZAJ#o__$u)J%r@Fu=X%>=$S2C6D~@2Cm9gg9^asY3AKqzU2q@w5rTSG=Qe*OWZp z7Dvt>!LvA~I6@A}gOeBLMY{6H9rNzTsSEeId*9p77_+W}F{{Lm%`}dpU0~=G5l-1| zV~wKSZ^~K~GY$wIZJf5>nMY-D*a$yiIBf%XN5?sBLylAUPTV2csqv27DU)kekDr*; zncwwqsJeHK>5kl6sw_f&?qbL%w}Q|R5Jq}xUf5u>RYmRj2Jec>`i1S1%JPjlFb&E% za0l;`KZ@WCV(-6e4>E{(bWS^rDQs|Y#&C@2mG7qIzrp+oJ|3|jko(Dh6#$`f!FE!{ zKV?7owe@+-elYa%E5<0MK>F(l5(-~`<5`o}$_I;UKG-<}-s!I*F~trqK-iO8O{B9u z-sxUZyR!(B*{?`3lUv-K2T#(phj7@F+jnjp*^>(sMA&r3+_%iDrVQC0sxev|x)awN znVl)SQ0y05?j)-ix11QZ2M?$0i!63ny|c_OurW@02QY$Y(A!9j-`<}-4*PTiLJ?ZJ z#;;wyV;_lxooON59079P1KX10FSfA}72BFRAgfVjQ$K$s{7y`fc#_8B*JK_>5?#SO zWATa92hoMPK9}vaWUoh1bFaSaVgWK23aUKe_b>>8KkHct)+WeIjZYkh{s~JLBbchL z#TKsA64nS?v5(j*0hb0cTAh4_Q-D(8U<7)6#RwI1dXr_ZBDCxEfI7<0}!w?1h^OT?#D z{8JfqU!WsFqO>JSM$;GQSL!md@J4RzzM{JhLx+IvJilV4Smlajb}B%}rG;wcK9j93 z2cxD^d>v1p8F!l?S9P>wX+5|3d>`Y~7)|&UIoS@Xpce67!ae33<#4ajAc@wFaTKNi=j;9xhr893BCzDli5My(d9yfby5B9kQ zIv(pR?{1Sb$P!Ce6U(R@Zrx7PuN|z^Z7yaWQ(Q0H6J4L4%=0{n(AL9y(4G(HT<#no z6mTsTlU9`V$!3t^qi-(vA>dv;Y^2&iU2m5{Jk~`L4#QJiOj{c^iC#)_&x@*bO^}L< zSxke-RlCpQ=v)P#g86tnG(lGxe*C;z*dDck%_#0dUk^D z@GA-M_}GvdRIa^rfe%lvbTy+LmsR?kNpq@H-kfg;LVsM6&>8afy>Sac;sqOERRYrN zsz^+HYQO}x88YjdB&5{4&$w;BccA2AP{nSa#*JJ6lrQP_9>W$m8;)8!v1~wKyVpBe zq804^01TwnmDwJh%SbA)dKHc|mydlGj`nS7T@p4$By%L3^zn8Df6kZ4n%G+|n!oLP zH@~qc$-+iD{MF#c^OBCS@OTH1nnye-+@R&`vlJ5Shj(G15odp`0Vt2~-1lwo8_8>XMU<(MkL4h>gqYV zmWLl(Cg%5b_sEfYr+FvGxr*qyEU~i_{~+BG8AQrMq(^d_tW zQZ$6M_q^F%%kj*??7%B)4;rWDB^Z4Z#`Jtqz?Y%(H9CrOerdkd>!8e?8tv?5X$s}+ zO$+;!ZFlHpH22k_wH}hcAY~jxKeQe0Y25221x|@vXUAb5$d#Uj_Z4o2x?Y>*3#7d{ z-{YC_5zrOzeR|xvWsUOm>tu-0Xd=m#$Hc`KB?ekv`<3O_5tC|y1((J0;( zFM)4(AtEllN)VabeY?HF@P(M$X-x?_C&X6S!P-F#3hwGav<_m;aw7Qj8Qbc%EPSHv`Y!P~xqkX_>Ne1)eJ?UCwE@=}5+K=mrd$wONZUwQ5BBB{o=|YWPmT^g zj3C!V2hu)4St1fM^a-fMf<)>9+NK~1A!YT}WIG*!0!39_Qj&n#u3OT}v=tLn2uo5H zPB%u}L{Y7^uA;M3GU1(8;yNT* zfUQP_ge14q-#-r98BT_jLQzT__wEU7NfR!lLGc9qF88P&x0q`yxfey+b7=Q&NU<3E zzI6%=diEyc;5%R5Q<_aK0R^=YFoSru?{Hxd56}msL}VmVvoW0P%QpfMM=_royz$gb zTMlBbX&7wxOoKb22Pt;8zPCsHp}?b`JIX!V0Kbi3hspU)oTYGekezr>)CvUT`o?>= zpn$clS$e0>z%h6Feuf~`4gK7Sbw}QFB}9aQQIX)D@z;?QAJ7&PjKIF$M%LPjGVJJ; z#u&{;+#$UaYu6QSF8{TG#!rIVNrf3>uhtt+P|3)FSf%1yyS0aQn!gA zBBJ?C2iF6?>i}#W-D$YoJrF(qJM-3Zp*^VXP0e1vy*Mw3(cvR|ybdfV3UvNv$xlR@ zHC$9`iRI{tC*;exppM{b*EZ>p$=&_!=%XLxWv5O%5xgQ1A=L%$%*j~_rq*-AJ9PJ8 zQzl7avLb|KvQzhQ0UojX7Wx@I=#0AA?03UJH}|-F5vqg}kTm8^Yx@vj?KkjB-Kww2 z-S+aZc@{%Ef=EQ!^hje%fw|x5x(ZdAiQ@HjT<*8F^poZ2mMG1-)Xrm`+U7gJUmFeP zJFZyMIduEOavZyV?uh*ENiEY^tS@qraWY!WaIq?MDW74n%D}PW!cp8kfep=HuWq2? zVd1GCjW&=Gjt)-S2Zj-WBjnCYT{c|9P#qdO>>#iphc}_hDqEqS@W!(+3GeT=LcWb$ zos2!Z;TKm>CsCE)X&R$3!T^3*V(m$erx>U@!8YD6(BDBuJ&xOn($9Wnh(U6#Mg|2% zp6F4^)DA7_J~@vRm1oYt=)z$c&TZZfQcxcnmM2E5wM=v!-uSf^ib5J%El65fk-+-m zF%C=8#-DSS2sNse(j(A++%0sdI7t$fm!pQIMb)Z}tBRzaOyEnXM(-Flm~wd$8Fl07 zje7u3x$Pb3KNVA@TF{2e!9X7dW?46R3elR5n^YLQ8X6q&VDvjcC_%N&GpLAi=URQ1 zZyTGd-BmQ1UM=u2TM6RX1x~PKJ(J@MR=AyZO{kT7h;i)R zR<8lKa6Xpe(oXkc1vi`D_FCFl;wnwNvHXReH~a{@1SaM&fgX?EQZl z`9$-b$+LpbablJs}oJXk@@b2@`RqQtGk^zU|8KGZjGcCsb7y;@E>X(^R z?>$*nD|WjfqkQunz+2DzEn{?d*l!f-y15FE_SULSpePRN5Mc-Wn|gJ*sCsA>%rXocm>OEZdQj*ceN*vs5qMq)IFAZ#0cm7h08U&<7oASr=<@N01TPeS?bUrJ|! z58E6jEMRirgz)~5z($tQImkomo~klNl+m-daWJYcXr8h^at~q6jOVef-=KYfaK+gD z@u%3XJhM7r*=B0_@sU6FhFg#37;l-k8Uy#g&rDf?M7?d0f!7m*sur!^>7B+ zfV&Z(A470@jhT##63F#1netCCxQ9M&`h$(@Z`#(UvKU26lu?wnLNZvxN`j64YPbGu zXE&Bv&U(Zj$f)^YCl zSe>x`0i6azt2WIIb_2)O_!aWCRCV4sFPa2>8j<=GaqWSuiYE~Mkcf*>qL$_0&2V9o zx9z6@mfHM0FlJ>@vHdoMbT5TFj6ff7Ru3a*u;5as>||d9paE8oM9?j`12B=}q-gKu zjtyzUJU9&aD!i>Qd#wK6L8jPG_$e9hOf1!MtoE4bBZ{^qz1x&2#8+ym_`)^EdV4j5 zVQSLTh~54=RL3PfGGnv!T0`RZqu1ll7hlc-=AtRCV;y=ZB!|Y0O_qmlYO5%3m$EYn ztFLFEDCDTsCqt0rM1@Oqq4aok!Guhwsr(2&z^@tAc~%Y@2kIKZ_w2*^r7@a(eG&=`IGhwKkRq9 z(p>0HV>Io^HEq@v`pA%N46V?`9;B_rmPt?N$tw$gOvXBTY)9@CKbb7R0hSwI;MVkszzP zmpJjtYCxA*uaaO{$_UF?2er|WIk~xMNTb-uT}WvxDZ2lh;*lK6;t^LlMl%F%X)z+6 z5PyYS&LPAF60CVxR~UNnc)d6}_HWD7f$@M@F0E0mYtSw_o?pEQ*V{n$PHE{Zuhn|L zD8sD}A-LAyu{rrP@GEtXdW+V!ufrztGtrTIWH3N^{*fOz9jrpb!(+qXNOK4j{)X~g zW%x1jJl2oTz#BK#kGTmLU5UI%w28eypeG5LbncLLlXUU`7BU-=`5F4rtcw8c?Wd*32^O zNVP~D2a!z}P4;dbK=w|3ljOIOGo!343tM^SU~B4kxNPM_4&HuZ)4JwyVxL1C&FOW= z2S9Ur?$n||M`al+W1*1MfNJ5qe=sU-XF5w|Lz7>%JU!3TvRqLYRbE%=ytJ2+-CMdy zSCW-?x=>I-a!N;J&4bhsbgZf4m42+r+MaRz+oZ)Zy<+}hUK{NSQ*V>UGNdT`U|iEL zO;)Pk^PGnI*kYs_SnYa8M z-2SQ^+#&XF9a{)7fR#Cr zEE~(-5SjISQY1yMbSX=n09Km}B2>N-gwi?7Xzqt3pj+IM9iXh_XXlrhy?qw`_p%zhaIZ!j9S- zAX9^ow#7f}VQ^JGVe28cVgH6P{)_hgqgG&JrDys#Kl~p=@?QcXQ9D~_VG}1KM+hFA7<|6Ku{$>df2w)Rc6~5Lg^lZTcKz!vn#b`c z0xVvttaD?*T`-a&XnqDLH>~4itqh&3pw2I)(|%YF9*7$>cRi$@=A#qcevw$G8rbET zu-~jj{x6<3$O)f^=fZqVa-#`l#1><{JgqslbF2$;SoTo0%oMe$kgL1?SC3wb(pV}B zY(Z!?QGbW~|0ogr)1Uv6Iw*f>6#l|p(7?&$ublrA&=!tP&O+t}j(_lzHuy*Q3$eds zflgX%EcEy+EUbTI5r69cd+gvd{25zcdL(5#6}>BjMZ-}-j0TZM|w#<&HC ztb)KjvZEC!xNMGAmwZFvWnA2T4f3H9mj{`{kl(t?Z5CbBuYa;2y}m+B^K4MHwu4tGq8*~$?{raPiuZm9Ep`4}#A~6LyPlYl=+J((Lwj*#-lAd>G^!E6#GSFDz;JQg6Z z`j;Tywjn@OqG=>g!$dtuzZ{rWpcAl|pBC5^ZVk?{*gezMB68065D@!Vg&I(N#abTZ zE|5(F3APN;UjJ$ey!OA$-w|UM8j@ZQqvb1yZr5)+M}2_0Wr4jRt=N>-wny;>iGg6V z8m)W3;>DPQSC^|Gsf-kJc{ZjmkAgmF36@#8f2&P@EeBvqpPN ziz8!^ohIO%I<&=J?av7uQ8L31-DbY=jSYbut(TDxW%^N1V+`hjuBIC{2LJU0#+*l- zHPVd&uLg_{Wk-iT=!FBT=i9i6acYs)Qi!=6!4Cm*;>hU%>1*I-4R=I`#5x*cLR=E! zoHu+KGD`s>_*&zoQi?{eN6iX#qV_cnO@r*YWN3>S-I)$HuS90Y2kTeNbLVQON_Hc< zq~go@lvJG0w&7ir1C(>C0tAEKjq8vWe>1{+FJe$mxV$ry4MJ0x)#O@zIiB97-N!W2^CE!CRS2>ruZ9BaH!jm zpxsQdzrRKn@0lRzC{=IoV%4vke>%b` z1Xc`#3WEwKi2t!ov1JQSjIlCwoRe-wSD6aMZqbGxkA%q_GSZ1nt3Rp^`e zMRc3_6h|NiaL{~VVgW|gL`wtz+!b>I)ZA`;hK5Af-1RBjF)cFkZ8=XqmDc;2)ALxq z`@7lXNgJEBCU902-Ma-VvyHh5z6HO)<8LI74TRaw*MN+{V~x_I2(wPx6o$yza(zw`3BALLfL+HAi6HhuqD1#NS||HDN6)-;Za+G#k-QGraBiZY~R zcGQKldPCov*^AvzTq=a6@8=@;OF{`LkT(4+eT+9A_pdz^qW3+k`6icH=$#z;+9fMX znc@;`0vc^$R5~Qo8*6c`p{6O+z0(;-V1gnKLvB_|X{{rh6<+)O(cJ9RwZWh<*-H|! z$Ft?zJo)Ccm+b}`w?(!#*3N@>vqiip&Cf3O7M#aJ!#=K1W}*#>UXT|XjMmyvm)Zu2 zRx{{SnBxn&r;D{73gDYaNmDGzE@mn|qXq50$nUXH1ng^dM(FZujbyS}^qKqzl0gC9 zGzqTTJ%~Y#;MEgIsFcwVKM8zZXH7?My=<7k=9|R5GNp5dWCdGKE-< zlL4qXg)lCHiTt*fLSTF>AY9PgM@l0G>%mDU_<3OFBHBTImI#xMKMl}6n^l@ zQ^)CMEZ3uS+z%Q0&MoJm^Qh?r<1v2|&*v^8t10wx$_u*rt`E%Uj!1%2o5}C87w(*j zPK;Hy=9PG$9++ywRLZA_mxxDZY$h2E1H4?MDf;@GM(R#F<%F2CY zs!U7LMNz>ZggnlWBJg`0LnFOfoW3eXDTG)IzNNI{KAzkHQn7k7ZZ0fGSQSWpP&AWiDpqhRU3MdAQmx z``{8&S-8g=2$6yc$U^LOGIA!Qo2MZXZQZ|Z;Cf!e9+DMTRoL|V_;4Mp;O{1n4Xk#H z^+0!1apPysl+CP_KGT%#U@{JC@97Rp12yMpAge)%5+b(cBnlFc860K=$pDg6Dy(8A zLH)Mrx(-`eF!U;2LA}Q9(6KqaN_qIXB0Jdf%2S^e&f&ptV`gSO=v6Q?L4bA&^h;yP zRR8k(he16JJcU#H%0k@T7+^gNyYG*$W4tod(*aAY;g4Z;U;vG5PO+EBK#Dghk-C6-m@H4~2trEs^l@YeaFU8R0CstaxcxY~_v0C! zAs*!oA{XhktvquJWfSkd7}mUdapgFB6k!h}U#AK+shdY~1X>zp7kJ53K(cwHf+cy%!pd(r^&`CAFm63)5Ugp3mh;@bcgtfvufdg=Ac z6oZ}`HKh|Y5^5TQWOhedD#7uih*w}WdBF9nvXC@ynS8jV5kivLMH)%xSo^_s^j(IM zbz1uPZ+-QMA#|{$2Lk2!cZnhlc4aI>VKJ4HrreK>pP#i*>gX*-+W?qJ&w_UH5y0b$ z#0xIvXW=yn!MnWD5(jZ)=vOakc=4L;8^KB!6>(V(vD&xh>}Lict;MUxz+6O z`_Z38ix>6jGBd1RLk#ydRD{olOj{^CN~cD(hFe4%V5cEr1$F?_Kev!yU=HIzZlgN6 z-49y}UgNRIK}uJ0QQo%@{ZfFH-UAsYVOpc=|E7ylWnrkpK!KZ0R}-&~x4O*jOf7F) z5~~8gM(5BSw_4l19vHK&3k{5PzdK5{0IZ~52cNgLIL=SgC?R75n>shWu%~I`vO??? zI(K2MWnx#yB1vim_8?Y972vI!0eUh}2L0p=zq-o&BoI$dh;aXgtFJ$Q? z`LOVS+6psx788<^9PKJrs~mfZZ9`kqzhUW?tEh&h_xpFvDrZ`a>W^9j4%hPgufnCX z)GW(7utl{H$(n_(rL!h>>dS^MlIK)e=QcR3bJJm#IId!eNaahKHb=memgZKM&MQAs zTgRG)f&)#5_v=_!G|MMYOhc+*bX+C13lJ6ZV22wbXfD)kZ7kwX&MRP3XH9KPYNE1C z#k8n)%?tCVPih)D3Oun|49o4RDVC;^Lr_cG=c!pVwaUjEVhRvQi&_#30%^<}IILx@ zA~jCT8(Ee#fIRBBY+z_(H#b2*4>@A7`NOJT>j8-kth@be zm5wbPKbGXzu(_;CCn=rX=*DN}ScRvJB&*Qptq|tbxWcB?MI~Z=SU%&YXwY=2nl`l& z2*!aPFf(RowO;htlTX@jXlYKq8Imed8sw^FUrp!m&Lgk>8WS_wv&oT;GbXi0Qo?WJRa2$YF0gVWl;xylMBeU~Bu!EQ zpxq8ZO?Xgv?A?}|KY9F>Rt=cl6JiO${FBD_a@wRgah?(3>jqpAi}a>ztw0R1bK>te z$xAf}yl>)t=~F1%JQ$md70Y3Abdo0$L=6=pFs0(qB;4euqBK0(iao5ebh#-2yh7x& z!JaFp zE-a6Wp@`;DdPU`uzo<$5zS>pUXUp>@83DP*5zR5_U>#d75yoMxu#lWaHKW3(nxx0 z`!TpQsj>duNFeGA&A=eL-pR+ef+jsM;zE~~tkn13o(eGAK)0g!$K(ivm1Iz|HKUWZ zKn#7?V(1*V8a1$jm2z}dtXc3*q?ie31=EOv^q2#iq=$P*kn*_$jI?HVg>k}|TXaHq zQ4%%7^-y)a?njKhHm>%r>bsKTRG`N3p=O>p>4Y3x!^<3Zc4AjrUDpFgFJ6E9&pnRX zw7sC{peqbvDux)Q@PSdDup8~uo@Mf!=+!50C{q_Y4|t6zD+TuBLyoD@M{i}5fyqHd zo`_R8xgkjqnG5^R}b#pYT1iT@CsJH7`%g^9F?{UaqZd~JmhuWd65h8Scj98{0rqbGxh`1GU@e<>^y!Da; zM0?u}?by|FBATOa#Zo%^qR|4n7zqsG5B%P_qHdTn`nzzmx5uMn`4vM%zKG=R5Tl z?+*yiU7~nl(}BnFJtbk)(=2X+Z|`eVbb5B2gU#lWPdpwViLp5?MM>6553-{LPDPQI zulkS+X)Sm=@k?Q~9ZvM5iKpz7fG%R8SNWNSwz?YoeGzj{RB4l)MxGvpsZU&ahDjcx zKE55~8(F0xwae(K8ADgi>dA^}QqkLbt!6}Ro&%F-dliwF4VijU&TJZP;*(llhOw#CuxRfA`B29qMHyFN3+hiB}h z+ddQFOr=$eVfoSAw5q(l2QuDl6$7lZOQNcdIuWpByy+LR*aj^m8)oe&66Pn*kA8Zu79VAa0(MFLpoIIp(0$ z!CnX1=cWA#}vpB%iMDnOhcs1MSu5*C8_l~I^da{-f z=Typ@>3TMFFdD*YCZRGb*v-uDtCxwIXs#i$%}swb+m)`jKZf0#4!L>g3rmP~y|4-# zDbG_H_97wER9v#z;;k9d^;fmAl-1yHLu!|I1@Fzd6Ab^Z;=@{CpAyv}6m2U+xM0IQ z$~!t@*@0%GJu+gn97jUOf5_Rqvzd_0<#Y3Z)#*cCul4-(qR#96jaQ2!S`@J@$;dN;^qTa`v-OR% zS_jNav+&7dJ9uNMJF1eJ^g`hp-TGTYSDDB}_rbI5ui;I2p|>`*vb$SX<@R*?Ps88T zSe?EzjXPHbb}D+vflYLJeST?!Tm` zDbgLGjIf@HabELbRDKjjtoMGsn~T5MH?gi7BaH5De&~^O28Y^P??fXeeV*ArSQ(#l ze4x>IXfoj=pS8MWnP(9o#}Ryc!ruDaj5G9t^gD>>_Qv#B?aFC3CgXK-=knSN9nY)R z9wODMN);KoPM5H}Dmi>%Y*OYN?l!};J8g;@TGix*^%m|G1C}BKk=!0bMK8Y6LzZ3a z@{8%wYv?L2zCh+HygC**FOlQyS90qq0X!!oGmFe|?jb`xA6~vXj4kcs%L$1s-Qpwn z7T(^p+7jk{vj87}-$4(qj<2;-pRnY!4uRWvjKG8Le${;<3V!^c*YS?+!7J*$q-bje z^cCA~%(s8bBD{XGa4!bmzzy)rzrup-ZHN(S_P7?=xPMj zJ-tT?*;jbGKWll10FqALJ-Y{v0$bPz>~_1En*HkRm;3jg+SkSK$(Wv6pq2Oh{hbe& zs?9tcnou)xZXRHwK-Ft74MlvUHb13T&uCxuWd3f>+7c zB)3z3MDNfb+p_lX$uCK6lNzX6<5Uz zQfH71I1;cD!jD$gO;d;A&WYaO8%~E%cn1rH3DQpyfQI64BmZ?izQ3i+>3=1g>sb=l(3TgAa^>d0+IjkI6Q`DdzyJ?MArp=pS3F}7q zm08{P2PtjwR8+eu9kW5D1+w+*PXsVbG$EmO1?!=}5QOOdgxvDRgNS?4UwG5-XBspd zc`RsUL_Gp$8YeZvQn2cxL4arTCMIDn8uDy}>eRaDjF71WL8G$0ijb)j{+f_daa$z1 zO~$^}?!%Dk(gq459Zg|9Jt+1LF4gYWkm}znL69xwt3rCbGqd%e=lkV@%YR$Qrz?=F z#s~&`M5xEZp%7u3E?Cn?98l<++K1NN(o&)wDl~zU&{2jqXJ|Um26G_O7SMB{jX<6D zJ7Q_aL75;+H#g^n3zjGoq}T$Md^0Woj##HHXh0f_F?0?MImE(TnUkQxksF(enNkX-LmIVL5_)_!*cuQGw9kF35e}0M4+ofuLZ_ z_4xPzx!=M7gAlsCZgqOvKDqezE@8Ip-qIyLu)q|Meg1}H`-`&r!(y?rvHtt(8jSz( zMW6pEw<`Ew+^VpNrGcu8($@>cGIq9h|D;&|yfyqUij{?h?Tcb%W5#FuqI17K<-zcO z$*?m1AB|jXXdFctruw6HrJ_P;LorU3q804U?8oe`gv7huyLw7YdWq1c4feR~CD%)K z^={7wji5pr{Ag>n6crKLfi!rSGdTO7e zTX$Vv6!!jf`cUET!#A%za_Q)+X7}j1JGXnU3AGS(Rez@#aX%R@Zx#lo%^q$?y0?J?|Rti9_aZ^T2P;y z+Sc~s&M&`^=DQX)%&)D@U3;VbkIqW|%=(3{d86T6n$7GWf6k3~_pQ48>kl)dZ)-j8 zt-QK8b!@|lxyc*%JoUn4t6WKHKXBGHJbIqyWB)5TTGO(?(FVLM#S*&SlICuC?#8%V zo(S>Oh@36Y69mLRKUWSs{gRkV$kR)aGxscB1Sje_HykL=Kynqv738;27*`R$4X5iV z;-}Rixy0Orx3S*?5iEE(x3OPCoL**k`s!}E-}bhOAgUz}*b|;FTx0r|f`7?!S(4D9 zP|pF{;#0Ga3ElLubNn76z8gim;Wq1KyMeg(MX|>ou9lc60OPDRLt>f$L)WDRPzbaD zKmo_`pbKb{g&*a?Bl|E+x5>PKIR?x-k~nA1nfKr~lMD#s;CBQ5+^>hlfvPuVcjj~X zJjSYwF*TtWP!uRC#uCO@CV(4o_1;#WZQs0Q5IkaH2Y4vN0XA{Oo#em-oh_l(5X2-> z!oN^K3rkqBEdq~Jha0|1Op*N!LX8HL+^%4jU<-*m0#1#5Ww#Hh%s_gh(%PWZQuWN@}pxB>+qTkTgJu61Zx9at$}j_R{?j zOn8Pr2Y@O7G^IgdKr_%opxHGCfMaNjcLhFMkj3{}4@j863?+oyR6)Lt7&04v_CZcygWqiS#chPhfI!?PfeuvCMu?hfPcjt1DqdG6 zGUQ3z231paA-a?e_6DWuN{W{9SpwXWeMm+sHe%3pY%!9FNT*N02`(uINQ>T`bRZ8=!oKZ5A(5z$< zOE)t{)}$nBsd|_2|BtYxz;esxs9ml#n&U{MvJNpxT29sSauyaZOP4fN%BiYpVZ}0i V)s#}*}EC_-nfJ*PZxKS}w73o#!T}tQ>)U5~zXrlBcNRtwZv`{U8 zk={E91VZlwLLl6^f_v}p-sk)|_qjjrIpk;T`ggro}T=+PWEo*4het_9*Gu1Rp8fxP)gG29e@J&1J3UUhk{d3^cYqa}l zzcZ`h>Ha>EY^GxJ_s_5+TC4x~^6LJWXy+6^zpeb|q7&(aBY*$$-!5RV|2hf=`~N4R zj($8z1M1r`xtjGnzj?-h%|Z%wt20S+@9B}#oDkG6-rGk!zci^!*LAtJx^XeP+wOE4 zlw)R37tTZ9wB!FZ>IECZOv_$pgtN8Gv}`@5-{JGkNw* z$$KQ!BvvMAcPOWPW=fX$TtEXoc^$;9g~gNEu6ZitVrCV z*VO6Fz2=6!rPG|)-l~~geZilCmq9a%@7NNcU<9%wN4crj&CQAY6-$FAYXdvWtvmP6 z2*%rLSd${&n9c~uqj5K^>G!`+jBb)VEk4&Ob_+o_M_>BozpqZCKFTJmAr-R)u4=|Bm z% z{@_`Z+4(l{KREM|XOR-5>7O#w`zld3MnHZ!LgXzpvcQ}B9w@VcKpXzOmow9rVr`*4sN0s~5x65Mk`G zH^$B0>Kia)+!-)Dou%bH?UsahGg%&w35QG-6zI?U1AN2opy?R|nyN-Ak&!h{UmfFw zCCx%;@<2`K*I)=pXCM3Oty+aC=e_wa$$ASWsZQUtD)3t$0!s*dyYCtar;-@C& zUy%8uX5&qbhFx*vA}br)?5sKc$&-@`)l1LF--8t1M(lnL0^~)dXJD}G7RhVg|I-y9&TKUAg48O3NxLCh>$YaX4NdsLxxWdJNI!X5 z$(yjoNEi!Z|9*v0?)7ekrjj*uQC7R((_cA^7zhLm`)e*%QlwbUo9Jl|se}P4O^EP&IPjkY82W6e0w(U0AQ1UzovEKUM74&IbPaY)J zSZW@>Peq2yl5bKM1>_TJD4`LiIA?OmJC^=RzQM(6;{5{-6X|?2OG`_l9)p15Bjse+ zt8?0lJ&7b1Z(bUQnpN-Ds6hU6=h&LUB(Tj<>@sZ|#hT#iV@ovxKxd7nQ6hN_Bh?L) zVjMk3F@q%zjo+to%h&o_o7>tR_j2qlGewwQca>YcTh)am;JI;B$hyy0$9Q18H$K-VsGEpOsq`VDmF8_D3LcD{f4jgM}2NRyU4lWY$5m*c~ZbPMM;X(H5RjVCQpAarQ6#=vzTS-BX^DKM_SRZ6}wB* zuF=+1%94Nj>~XgqOlo%|kw0D`Nr~b)*+w-c6Owk5R5uy)q_C zxwF5!jV`Z>X)D{<%&!-)q1K;3AKr5Y@nW6tnQ@!n4{jGCDK+L{ zrN8(+e!u6ppsF1N90fbSABpH=kt2SMC~0z<(lJT{B~mBBlAqOg``a42vS5}iY<+_< zUf*LPvSxTWrFU;;`3I{eH~xFCpL1ftjAiRqhqc1aMylz^Zij)RU;b=7L)Xz4Q8ne* z9tj=f>+&3(?A^}Yy$P93orFVBpU`17;D+fsQE@?IwG*LZ!bxF3j3iim3T(nSAH$-d z@<=;=#^$PRq-6#VVzQztB1^aAa;mqG%5+=ob_n_IM*-lPK&gyhivw+6w=p^D!ooA8 zuZS1do7OGRrifL0MB<`Zf+fNviLiihn*TG;BSE!L1|NlWp?<7__LaG4 zsUW_&yz;x4%V4C13$mTx?c#=OFP2-Xvkn;r_g0#nEH=cIIhC?CznjE1XbC)*LlfNh zo4_g21Vtd(=>{4}wsWyJ=NE9z&Ep>s>yIJ~BSw-e9FB5WU&Uu*b}Z0?*2^yG1Mhs^ zET(sHXB0n@#lMGBwD$IFM?dUUDd0cD&*GSvfL&%&`%4Uh9HMdcNM-abzC2I)sA{e~ z8K*mQocRTCmgAJ4H@e1d%|4FohfY#o9eb z^dLIN!Mxe3vy7D1G@~PfaR5$GNFZE@iQ(h09xTG_=%IDfs?6UkX|8VPam7kCpLkWu zrQZg5fW)EhT1{(JQFEVhlC_JZ!m@QUSo~%262)6$s2Bn_X2*YX;=y7Jg6fa%{ZO0~ z;Rz=*ilA*g)cF;}2Tr;w%`*KoaFNH4snuK{Jb|B;j)3OoZx#0eoTWA~JA_hQO}F2w zG(bnBn^@pbx0&8OgyRj-ewulXGL5}l0Es)~nV)D-Sbzkz2|pmCm+e0Tu~@|G7mB27MP)~yJg$y>@reh+t6E6l_b zt9bF;)|~hH&!n4d*{zSxEg*D06<8Jh=Hsg+U;@2#2!vjJP)zj-E|3d6g;>7ND!f z{H26bf2ckdqnf1kpONO=pF2+4iHF&1o!6Ad#X?c`V2=rnOqZXr;l(d;dRwFA-f_(` zG@>iz@q?InwZifN$+g?1bg787QLzXvsZkohqm}m!`zRLIS;nrh>aKg=jc?=)p(<<7 zw=I?vQ7w*F=4rVh9KBr<6ISw+4N-UrfnuE#=XrABj_docLtt!z8NZe%bAS=z8S>?s zr-@ogPeqEEg}f_71N()Cm&$_g_tk$2VB0oAKZ^;F`Mz5a#trUVdqrbIMPjV_#K7yG zjG?|M`e>g0piovy;5>tRYYu27+Z`F#l;5Grv0KRgnrk-$cRA;9T)kK%p+J=X>O8_V zhbQa6kJ9U%&PV!NmU=&sONuKnY)drXH|@_x1Eo95U_UyiJ=bntb1+2LIp#=_H`lsy zFM7hIx@o?c-oMbS+6K5)6`jVHXMO&x;zsOg_g-!m8}sHF6uy6F{m{X z297%kFK-KLgEhVU4DZcY(RsZNV`f=z!o%VkLKjd>vcHay9jTnK%Wmh z#lWc_2f!Q-?~m?@c&|yV5Jm#RM3A^ymSiDSxfVtn?p-Ll15#s7<0oJXdeJ^J+3lmL z`^jB|IGG0eV|p$KE-!mZyIgQEHbKvr?qaYsV?s+N*_()MiOO=2reFm&Yu-daXuN&SN=wX4ueqN^yA=wAeq`fb?9k?7e zmF=Y9i8vqC#;x)&0xmTSp)8PnUoVS5{`;4qIkS+!Wyx~QDrUbpIFTY7OYoy%?bkZw zaQi~=8S4%&nJWOvfhOW_Ega7~ACW>^m>Vc~3V~FBXqMU+4qQL&Lc`r-M=(&F96m(6 zM-+JIr|VaQ6JmmB#PmF0CqdO!Fs$_HdL^i!)4$O!U)CNTF~|gVDWl^TRqSAaWb=o! zme|{^z2cnuBY@Eoixxnt(Oh$Zh6gkG7@XW)35^r6^+#ZL!|`dmS%x>95QU$@#3HP= zL2hwL_0vY3O@o^(x`*kdfP0PKL&{ST8?#_* zb#oi~S6rgUW?R zQbstZ6ncicVNp|f#Kje4Baw!KyU!t_0%AaT%mZ>UWfhlcce{vx4xti;vjlJ!9XU}re61?D7yLoco`zi?(;{0V zLkzF2OBEP>y(m90S0LS2UFhBkd*b-(EG!R~^O151d^Nn7-{RQcLMB;)X7B^chqKSI zx3S7jnuRH0Vy#?KZ)Z%S*cKpfH0`f-TH1JYSODhTC&4^8Hx3P;`ZN1%nkWzpZfHx# z9B-~DP3mea@UJ&*3D%6%1O~Z_sIT|~T$-#DW{Ir=rzdCf%>#%?Y3AeZjRdndackf17~QG ziAKe*Kh%UF>VLl<%Udr^6p{44k@nn$CP zAe}&CH3zjh;#V$B?L^$^4|D)?nSVjR5geueP(7@idaCzZaG*{M6ydw+&$DWJ?AOmP z(+XWtf1NB-8lds%>kxFz`0Yy4#<#mdO>zZ6=EBUJ4BkOB6>p&rXbS(Xvxdv*?+UjT z4t3EMdK8nR>WTg41WJu5+JMF!(_&%#mt(I!cT_Db3lrn6p~mAbe4q;k4<2c&%vZY| zG$sasfP~T!7Ojcf9T1D5UjEP^Q0L)*%0W+e#wFCxYD^C-8;Hm?9ZsQvPK(PHS0nS6D z7D#?5p5Y=FPne;_7G|YVWPW50Lk|>UYG^griHGT)hhXkB5j*wbA0{DUWMgL-n;;$p zI;B?;Ed~i45B_tiv6@tQfTfJj2VhgQ*iK()&dVPLI0JR)f}X$VMhb1E_<@#ycpNZ{ z<{w$Y|I3>Ndm&c#L1Vy{J_htx6 zGA{j&`dDR=U7!ar@$(?1Yw3Y8GPBC7fA0l=1@=I6bO^!k4yrtujIg!O_cd+94}l5O z^j6c&Yx4jIG8zo9wgV7Q%I;t)=^oz#E zUYH+@?n&Z_qdE9)^?SIz$gaoh1-7&2RbAl#7(;OuDD+B8>LJ)#3>0{`?k`=89Z36q z9kiu5{5Rpi0p~7T%V^O_O0Fm4I6IMF})n-KjNKF89`n%@8eEH=m zHH9M%z}FCg_#{HjbJ}~fK{9fm%>Jev03N&5TfvZ6M_brJ`T%Gyw$6ir-cY^;euRAV zH=Ds=1A@Z^`EgnbXG$`|#4^|!Y>Wk#?X9HKI~ILBG4(|cwGLg625`6qSs5yru5KPfRrMPz>lGgrh&q2 zy9UJ~?^cn}>Xj_bIlEgRD3IU-r5_y83NJ82=$VL#VNikqrqlqxZF2QTedw`$4Es3? z8F+`k=0twGBM@BsxQ9*ZMPp4qNo{!eqECa!&p&FZ%Hp_k7>0w=W$FzvVAHuK5355- zuU_ZNl&0&Jq4p86GG2R23ie=OiIdnGZ)B7mR=PfvkNW(R{G^UYIp_>lTCCE2W4f)d zJC#m%NDyaJ$Cq)&q}0j%^UwTKx{O&H-Qgx>ZF_EvJ5!$Qpiy9Y8-?1>s<0fnvR;)r zO8%bcLh5=mCZf#9C*?Mdud~+l^TzjUDM!8vlP@L=bv8uCEBO1lIPUz}*zk^W>_saB zpNSN18i&*zrZPD14yh5+H@iAEEpo9-2}!$QOOp4IX97)x?;-&$dsO~p;HVt?({X1P zVVcz6563@!uIjeU(@c@2dl6;f)gMbQVCuHAuz?w=3Ai|8_{KJGdCjfI+|GYy3CqAq zF5Q1R>@&DlLpzXUcYEmQzVp*V<-gmN#i?;%rO!)I45*I3Fxv>gOwItr;L? zo)H25^p!;cwHSg0|9VU}1#<_zh|D$7R&|Q&UkV(#r)uhY86TmWa5y;%sPI}@m+Bgn zt!XGGHhSu8;?SCvZc=a)^^!?0cOVT zGubFkG)3(uXg4GuuJLm2{_Se5=iWL;n)o8l0JNV>F{LyG?6Ug*BUJ@zpOsR{| zzHlhndgIr#Rmh6KnfA&(LjTl)m!(Ygop8R!_k`~$^XeVEA?gV!S@s_W;i1fQWmoS?hWeW)_dPdccGPkR zwdpl;K_#g^(sKCP8|I~P|LyTHn-^b2+@?rIQ}L}0 z=VGF)t*EVTCtG9Il9tv`kn?EAdA0oqC(ti#W|sk7?jM0inf~2dB^v!5VjbF%{Q2g; zd#f0@XvZE7bT{yVEfDM>;8IZtx*$T zTfK7UB&kX1jN4n~+liPRiHMzB45`Ngp~9PgLXI-tE=yXlo@K8ODe~HtiQHK$veqE} zd=llhT-#_aHig+Jlwb+XKtN0P#N7EDpQzW0`^4` zTM}Cez8-U1U*?fQj_a8yxQJ$Gur+2eHMq_f>$TjgK%D?BW}DXAAuq8!u<_7Q!SJmGsC1Q zx5tQko$y>-gXH(RHEU{xjzQ$=b$ne<-B%R3Rer@{H5eBJJ*sRfclKYDU>qV3?#()$ zJvb(o^b3Y|!`?B$9Q^uc1)$9t$lXr0qUoA5VvuJ! z1Fnb;OH$p%{I065va|hi!ZeD|iO`TR8>%Wjrp%@QHIZ}1GmYw9K^-*ZB>#LlF&cUK zXhmP3%jO8x;@b+et-~$vnssuRYyHqgg(yNcLtjwK0*87&BXn;*I#=D5ccXQ<7!$9u z8lzTnes35N&==@GJrv;k)E~NJs*R|%ck|mQyxjB0t_>%77_Q8kufP%OY6_h-s6W8k6cqV=I-ZQ)R~NVs(Q;* z;$2lLWZzxP0)nc6-V>|CrxCSwjfOCYfcNtkjO&rt#uq8jZ=+MrzHa!xe1s!00ALc?2A4PW_A$bqxMUK;aW zA&o55vDc320%7mYswc)sYqc86o-2KC z9|=#2T;o!C!RI>?qegZ|Z*uCp%?JgE6XY>Ni5jczg&tlimV9wkM&Cqp&5)P&L(_9p z_es!;Ik5E7=#|twP451I^dz=U4t4UYAuh)7Rs=SI3C=)eIaGhZiHQJgq7m zwvCk%vpowf%ab+MpXNP9&-R|VP;YluHIcpq10Q(Rl4-&>a1VLE?zAS zy*AZ2wQ%Y$R;_tTK9A5VS4#W2*8bq?>epks;*v?@=G0@?Qm~GgML5(y*Y3UE{K-a5 ztHR9e(Zoxw1w#v6X~d-U@;EcC5PbGp%>20>^4nGgjrEO3A&8h!b=SGKt>NULdg{qZw&GGaiju5z+q`WW^g>pddwbgXq%Z86k z&t){qmQF)m2i}`+nZDQi#E2bPY$X{U#uD&o?tW>}wW*sDEsxod2AD_kOJ4O!p*yYC zqA#Aqm(+mg9KX9Is!D7RL=ir+gh9?b?|5lAb1oDSZne&l*ckt9EA`UEbWK&{c+j4{ z#-eE506a;>Wv207M8h#v_D+UtTtC_GtgZ{2&xBQv=&ypun&6R5o=ZwzlvdL<|La8& zxX9JM*9GgNBHLm<#%g6;J&*t-sG{Z8g}8l zk-@W=A-%D(+0{s9o@_o(*>G-s-IczZH0E2ckRO&x%@Fo$$(#kj*(+<>8n`xfPvPAR zKZ6w5e@W=(MX4oze5^JRpJOz2`YLESSro(Xwrh_#V}H)MA(ut|$?_w#Db~?_!zQiF zVLbo0NR;W|G|mTzLaycgPI$gby8S7THUc`R=0&B7Ben;)?(q=zXfpOTMO44 ziV@snBxTbKk*&3rZ)uKzUY$SI2t&M(-IwT|n)gg!es=pAGn3%p?78`KR7-x2Jpi}T zmIGo>NS_#FE2tk%bBxq8BW*LYSVn5?9UL z9TT1z)Tc8a(BL&cF3Vjvp0=V@q}{vq`PDU?p|-W z^idflXN}d3rq=!dqz?+cm$i7K=?+MuXUsgU!L$;aHy zxOTpFOww3gP8-z4uwD0e?>4|(UVXTMTSG`i(4 z<-SEIl)wvElBK@yUYjzij=y}+9BF8~RuZR`^Rr~BV}V3(@_FtZJR+Uq{Dlp!_!X?P z1?ta+;p8I;QTXY)RnMyxbo5?zdo7SA zv$u5@ounhA2&1hlPL#>lvA9yuLrH|5OM}v?C)2NNL#WhAMWpg`M}FC=FCS2JUf(c7 zTVFrN0h0qWpIX5R%uvGODskytq2m&xm#M~TQHS!eY}Gw|5AZlu#B6W^@Nf&~y<1SW zD>CuH%lU@M;Sun1tM8918+~AKWVeBJ4LUW|c93ywbgRY;uB8X${*e%^DfJ-p; z>wNf4&>U*kcw3jsat3+f&Z^!`V?k_vaJ2@UY(^Z)shwDXk0Ltq%w8#q`P8t_tFMC1 zoktybXdb>@AddI#NO10p8@t!**_nXylf>JDRx?`?-D}wW;P|jZC3B|bt-Xf=|9Dvm zGqdcEf0UMYFC|Y`>o3*>j+C3m`MC9fs&k+QT*mjGsE1w>5>-WYAwAK#he{SAaO^6s zAD#*wY;F&(CZ)Zs&SS|>z@CL&`5nyI{8+g=Boi;s&c>g z1ug&725>)IpDllZ3?B`>bLd=-#5PUR<}$cp;swP{tN1>q1U)vdKvq4XhMQV$+@dopf0{v8yI%eIN|sN*s{xW?n=HeFTh4! zZ;U@;vGr$T6)B)<#;@7C3Ro=~0v5Vs9ktMmmY=?-Y`WT|@SF8WznOuz_x7UWv&>!r zD{H;-R936quY^`1#838>D9jcXo)lE2LyW{N?o23)Y`Ny|w)ajTG;{@T2O5C%OxEA# z)?U;od{|qO@G?atYc&^61aMFkHd#krzvZ><6@t~Lp)a!`9qwtdliBz~O0iqIz4vNV zsJ|TE^AYtAy)lpgcd^vT)*$tdWo+l$EI=3ecZwCZUDKgg_1=Qgf1b4FgMyC{k;#a9 zZ-vPRXlw)JTJ4D|V76u#Mp3%se0VJAceBLkn_x~DI4kuVogUxzsI!YDvsoQTd&P1e z)c3wP!dFBIeP563ms%C^mdT5>s0hYVGv^ZFbH^M8Igl}^!#Zde4QaVIgt!@#a1tJV z7I?Jw0kBWdaJTnmjSRl$z+j^0YLz?cm;|-Oq{aBm3+; zIDP0alrZmnQu81JtMve~QV9|M0PrV&Xf=teoV)JZ*8S~NY{TU*Kr<(^%V_1Wb(Y_+ z&Ci_k3VE&Cb>wap72EqY1sl~-^=U#05nxaUd(y28@&<^EO|Ei}S`VP51&7bhg3W5V zfY9=JX+=~06Hna_!PJ`vLCO7!NK_Nz{!MW=PgRImCQ;YBelHb!3?r-cc`Hy`k#MBe zt}7TvN`HwP5w#f1=uCJ(1_YHBaWYVUI-(i?9$8zWV+E9{nNEE$%tZYUB=S$#y|cAD zeF=|R3Pkp{!Y>WVCoB$4M4@F3x2FS7BcLYpxrY(&_RFVlY95wL>cRFjEc45s=*@J> z?oTRw@F;+xzkWGj+rS&r&Z`lpkX4|Lx}$n_G|(PL%nv8~^=53Dkm`%c;myY{}8~3UK#{*&T{YXB^p) z4YJ1!y=$k%C^VBUkSsELYAzU3iDo*Wk(vZTGl+Q@j$Lh4t^e7fKo-3_t0P9$!jpiM zfDVq}mNNc)?#U@o*fPI>DFPBXGF>fK7s9RT%~^N9Fu^_;#f_){eJS<>QSYmDv-KJ9 z*X}j`r7gc1u<-`$AWKLpCUKF|pyErKaVK7=i6>ZFGMA6KX>rn?^VZ21gZou|_84^4QK#iFO<v(f!TsLPg~yJ=vTG%m4jBv` zu!DoVxTeeLZF-w$i*N7*Y@-je_^okNV-?8R5Fp9}xuzpig@-$@`nGEImf@(D~D z3a>4O107A(S4MtLT&p(S58IcIps|bPs|G{97zZFCvf!qgn_=VoeuLFMu4?aXKo7|R zi8?*^8Q%Ifo+Wn9)tO*KHb9F&@-MnYvb|SzCIE}Niq}--0EKy9&~W#Qn+<{* z%7ZuwN)gOVnpRmTuRJXt`?_ANd-_KL&p|ouI@rUsQ{D%1P6Fl~VeaiP0Rx!3_R;4a zSQX|4mecgOAw<%GAyn^%Di(I6zr^r6Iq*({0RS27N3lqqifMwjOwcXUsS6KJTowp? zm*rM(1UAAi!VQl(_{!rq?^j0qNY>G1cS7c7_A<<9RPHNql18=U#7UsPvD8fazDjdY zSMQ>)>|d1!=g`>vtMec3H*dqfB-4gP#9Y4FxadFkjYz%2478Y*56(>yL?-Gm(Z3-Cz+0o#B=FmeJAlr1&vTqjS)S)5j832{9iQb^8{OWybgI(2f zUPqduFMvtIP1A(Ny9%)cz0-&O(*MKzz+2)A_oy3tdg!A8Jj3f3KR6=t^;(MX!r?5eIMklRGN zAwA)nGNX)fxRCFNTA#e%BN`6iYq?0NC3XG+aG#qwAv} z5u!SFU+jS??GJV~SnY{Yk-8H{6F~8dGj7lV&MR7k`Vj4Y6w+PJ6^yHXM=*l&S}&`I z%UctNtt0(i3)r*M?_YUyw$`iy?I$@rDHD{--p-1YdrQdBrvDvgcA5!5Mlhl>{0LZ4 z`!enPZk6R3b`Rt85{O zKqs){)Dhq|Z2pkc5-(Y{vfQazIkTm@H#Vgelvpt{g#TKBCZQFWu=;wQR$oizl12kM zeNkQ$6b0(;#|9OV;-aZ6=RIJHUx!_<+!@&HX7%Xqgp8s7mP{_G?m4dE&)x8<^)4|1 zIdYw;Byy`Rjwr3Tmp+^m0s07td+}O9V8v))K97%+a)ak!BSol;p)r+Yt zT6_*`(BYyHSvH~SVY#K=aZG5KeOQ}pmNiDgb39{fOY3(8EGj?TU?y}MR(9=$Uc6!7}c zG0hL%=TRBAOme&yJnVaC$*#4oXL_7}q}w~=XRZiL%^Ev5kB2SsrsUZ>A#~a$PT~yk zdAJ7fmeeQ1eoOzvZu4dwc>jEbSmZU)%B?TGJ>a_QC>DWEw>7o#T{x~7@M&eeenY=V zZ&T7HT)lTF{`p2+q16J;VZ>j*>)q{YI@Osbse^5EBb%e~o>dd-NX9GpS0*vMl#8m) zZBB8130-LAPsmAUwh3}R@tDA5?Pn&YVO>JqN0&8*!PQOF#33Z(v!jx$c$q@vVECt= zoGjm~UDIxRq(Sd(scgc*{72}L8+mW6nRiax_ zD-}q_LxC@RMrE9vu%pgT9;3hRbu;z5_(gx4}^uL#JKwc2Dd%h2mK4 zN)e25`TE6Yn~!F!v$zD~cEZ(9eu!k#_wDC9dWzC4@aAlGJ+7FpzkFgA7j)y$mh44@ zcutW8FYKA)AglIj^ohfLq&Fwwqx2Ky=}IHJ(4As5N`mwnUF0Ri> z^EBaucK4CsbYHaoH<`w8v+)c)YWS6fT{VT1JXc7nN2iQbskT)Gqc)!WGB@LiRcJ63a2@J zIpxmNnm=PckA5l`6}*ZMFJ}pGdG`Tk{UtMZY_@ zBQ_ST8DIo7!mlIECQXc&H!EL?h5gPuR>G^D=_toC!V!jJ)aEX$_2kqbo95%K{M;m- zxOe}I@4W4u9wBWvVUt%y77jgsJrDCSVqc<{mn_mi8eCDBUOnbu(D-p8XIgmv zb4fV$Fv`+zyXE>8>p6-so0}rE3jFJ^oQZf^e>|o>Trbjlp37Y}s!ryev7EEVJ*^9u z3}y;U?|*4{wAv@2KlynS24*PxN8tTW*5|X;e19wR5Kfkkad?FpvQPUaqm?a0Qk`X_ zo@b&kkS8oT9G|vMl9-Q~{0AC(L~k|RkC0e;(slf+Gv7+~$L3uZ_DSj?&w|*W&SGp6 z2NivK6=2hyB2v(AEJQ zgj|+rzU=z10m8iZo`~AGq{!K;7!os*>CozIICUo-sKUO`)%cLWu^-Z+crAcwm<&u@;3w9H0|;G2u!_<>Ztvf9YV)2SAXN=lE|0T$jS#gvGZWdcl9IF`TO;+)cm5Brrx+Z6c zwZOF1`MeztBnnAUciH6}ZnpnrP)&E@&IFi9|7zo^5~ah=MArtup0mX6&PB1NjunmI zy5_%vKFH07GqDjrDhR8x6G^qB56t_YT_jbkvh)A*-*vWKUHH^#kp36THC~p~h#1+l znE6EYV9yuV!dG5h&Qz_CsrX>Wc??x-r0SNb-w-fy(meLc<$t^WeDz_A>^GUPGOjVv z2*G0wWy9<)VcefbA8=JU5KjAe6n{ir_!q*bn%s|MJ^6Ut-ipFzE;sO!wUu{-1wS7_ zmOXrbjh({DAlahD_UFIey=Ks8lIK!8d|iy9XcwdUAbjoa6_aMylnL1o7I}yAO9Lk& zc5hdHt!xPR3Uu?Y0~if#yRWuI$wlS5MGW(`TmsrCYb$kI@cnx+iVSUW!}Hs}JT{1=-Z~0UEO>3Gur} zxFF3>|BJczV(%H*agu*;z&O&iKgg-F{GZUP0PIsbYT_=T}t z*3fiXSVdU4D97TlxA=yVgbdnFV0R_j^}E&uu>w;D1G&Ab@rcp8^)BqoERv`G9o01h z^V}_wxlD_nB8>d4KYUvXBw}YzDm8CQYHrx5zOpQ@N|!n|< zaZvPW|GNhShh*D<@<*IlR~^aoV?x$#4WAl(;wL3|c`yc~bFBm=!LesKuloeDu51|^ z7nuGB5&agT?aR-og?orVx_mFQVoKSNt3OpCGdGmG#{6s|VTx_7JYu)rCufW`l6;TF zC*J<$ZaO*tKP85(bRNC_kC%Q{?~!%0=IWmwREjLWEQuU`lw278Z8E4Vroq?al0oal zgWo9|^3Ae`QK?|+{0qTvlaVv1BGk}~_<8mvQ6c#XSL;~z6l0H9hN{#;&pEWRNH95U z7kxnaQ}O(nLt)bXxs4Ye<_ta4j%Q(CwGjnGpM;SaOXE*hPikJU}bY=#u=a;jL|P8T5<=-bb`PtQf{ zqHP)PbUv&3_~<|U%rY=pr=$B9r^uWd7u!;_XSU3rtQ-B@C%o#bRlPr(4mWr+Pq0lC zY+C(P(*2#%OtSqK@&6ZBZvocy_dSkJQLz9E5h;U^77&n}iXuo!H$zEDi7`ei3Q9Ai zOF=-oJBA=JQo5Nsdcdd+*kJp=c>g{M-~XORco6Qr=bpajo^!4RW92qu`5FCJ>pib; zFJt2Z&1ND)oszJ`5BGR>5@!TlF6^o7RZsegA2DbtuQsABni0c|=q|hS1K*^k8CzU$ z8emHxJ$o8~=?;~D!d(h22++53LjCQQS4ibqJ9!vi{Q>cscvT9 z!c10-$${GH2KQ*U_zXygA0qQa{_xsKKg)_L^_FqRJu9)_J&(hMTayLoY!g_R_%pKK zXywi`G-EO>!;rcbZU5waocsohMvV$j}+XdYpRHM4tQVszuko>>BqRl;$JcI>MPP(SaD6+ zmx>$avR?19?Q8o1ot%+8MebmMgn-w?_l;P6ckHBY{&U$_KaIsdF_6?KLEQM+qiVBy zqUw056q;pv(IbJ!bG0f;UbD8O?L}_7_Pc$A50$UkX%c^_X!(YZYPrQ3Y-ilrVBGv!jJh2r&Ou8=fnD}t1~ZG<$_#-KXR{1cR|&(dTyrE^X9 zlJgU?*V3$QiQwu__1RF9YtE2{7M!bF4S719f6>q86xi)<4n-V+`D&YiPL$3o z)(C@rgo5U=Z2eqO=zt+t{&I!Ug?x&Ho zBfijP^P$i!o9YNH-<#h$Vr*gJGOv=A(~Hn~o?9cZZl;)cOqv}8c?95&66L-=vU9LM zN3cKFIo?I-0nKHi!^4xgkoz`)ZoiWk%_QUHUm*3L!gQXl#Mnah#h0yW<^RX|e(Kyo z?7_$RMdeJ5-?!A1)ut`3sgkt2h}uH2E%)c$EAi(^E6dR37s#(F7xGO;9pk+c57%bv zu>AhTp>jO;%PQGbL|MDmT)~EZECt1^+qJm_GbxoOL0P2?;~m&274+w zUavaFkZ@eB%ZezZ>$^X-%LISr%;11(r@mEcGSG%zFjji+B77#DtV5gR z>MXwR=Fv7RVw|;@0loalaQ&H!(iYc0T>K0!iF!Vu;b!ry^{Qm9uvDF}e+z3VQ*-Pwx($slwQ6Hf-=5%`L zF+k@XpO0_O9U%~3)R1LPklDV&IYbDbxehks&0A{~kEsMqe!A?&7rGh99>(|6w$XZ+ z{61?9X|--8-#4YQ9^bp^NFLhU#DGa@MugSq?)NiL z{m9>30ODRLn}`Aq6D}AAF`#ky)%K!x#cZr*nb}dY;a)OM-rwk@K;9wZ z{L{YGelaQ?@}6@j)lJVHDn#Ei#uWuC3}Nef+yWFgcm>IHyD%`mFqYf8BN4q5AdNLl zjnpMiv(0P`^eXhvI8Eeu8U;gD7&KvFo(mqCt@QkHGs%_X|F2swuqjimrFq?ilVF|8 zli6rR_4V$KCaL_v-25JC3W1kAKj}A;-murVOLX*-XWbudn>E>PP*auK-R4%PB(`nhwJvRqAtAw16}2wo~o zymZLyPpVxy>o}j%vLbTOz7m^>ZkD}z+nt~IMS3B1#HGEi@cPdi71S~_Uv_sHD9)^u zuZ0QlJu^1S53k-?a9pnJ_ShcQmw0=3fU@7FxecGPHHpR%r*XZPQ};e~h!N=&MX{!W zr^q!)7>mr8>9xXt>3F|@&kz#ym7FnJcZIipOUzzGP?XG@C79g3S;qOHQBt4Y&T0D|%B7t7 zhF0I(Z~++Vzg|NBt>-up&6LXp3w?qxFSTRc%|gh60=+;;u;6nsQ#x&lLl?F~`7Lq{O7fcQE3P-%Bs=RZj0 zg=$wCr6U<(@uIv_T{`N!vtgck|6ET~^NulIR{9|&Cw_1J-Dk$-SKV!pX=6>DZ+ooN zhMZkCJ&~Ie)z}`XtW3;%J>y5j~tyeTRbQQFhcHYgUM>%CekqWeDAu2lVG@K6Hg zJ#5h_qxvLO3K+_3gtz->_WqwQ{+Nxi;rm8Pdryc%l?RWET$~@T=&{k%^KTTTJI&Of9+>l*u zwd^|I0SQ@5mq->#+O=w=&Bo_JPM*)zaK5!lliu06cZaY)XJ0gLZsthT-s%MnO+No^T+wfL%`^Q(iC*ZJ`=wq zXeI5&eoUSejE)NMJ%lVpp>g+g^Il!()=o5`;g`>w7?5y%(Q>z%-OL2q;}-fCYHa$*`DdZ6ycrJ)~=^95{`C!Foo7wgn2kq&67C7LjLW+FDRwr49p@mt53^?fd9S)aXNln;kw+qjS zYs9QbT|6{4595Womn@&^l+sMEgL*p{B*%w;Uy@sq{UBERy~0@g{nrDT79iE4Bf@>R zZfjP`U<@1hDZ9ERF#~GgbWEECE?^%q_M%KEa6hQ&5F;2()?jZw<&;4>U%tyxude>m zS6Q>GjkYV*bt!Bgj@DA12q&-6X`QM|+1~Sw_r*t1I9t}K=T4j@aoj$;m(RIe+2wWA zn^CBE57RNTRIpKHEOj)1AOB|g+6w=>bS2?b-}GLq_zWFno1{77OQ9nxkcZUvyS{ek z58GDO))b*j>dQ;V8__mRKAj;7M;yechz=Wnji|MrBEVIjt~9Rpa{q6}94d{{`8{OA z4p`NAdp5k`9(dmc8IhLNmZLK2NbWW}zehuoRvVX&wf`5ZyDRXdZ}*uA{t-uWz-Jy$ z!OC8_O$mLQtA@;z+V1nMOa;9YWE@1-*+Acfu z=Zcx$W1E6}iB-!qOPcMaTv>7Gl$;=3Pb}!ADyV3BCi%k~WCmNlF-;!NvUpbT_@SyM z{=5|_tiSNB)>IL)oAUl)nF&K=j!@1?*rEqhw|)cR6(kkC>kpoGnu2fFY&W&JZw{}Y zAdh#C5KoYaG$a*Cg94_*lNakJ3+O_6)GyWOmrKDtr8;fm8=u#0%-PzP*eqL)karWxa9s3)%5+a#0^oAG!0vY(uyD0Hp$*i zji5zGV!J-Q#G85df~7`u$>AnEo?lVfwqjB1Q?W}pXAEU3S zd^nC_HVGF~*_HD^QG@TYoxb{NmLz-m_|LwkS1B%mko{;#PoV4$IU7r97TkA+{mzbl zw=cQy?P)r29Iw*Uk5Sscbm6G5npZuE2x`q$5alVy{un7S-t`QlpucitD+ zSmJ6!&1W6M>jihr#RdrW#|)KS)$@2j_ZQ8lsC-?3h0g4)Bw<#Ak9ewzr8m?zO%-ze zvq{TD(Bik9fj~J9b zUeYo2d3=fegInIaf=%fsp;u$$G5Uc5Ca7HfEHhdXM=e{WP{96Dxuj^XN|yJ>HpL^@ zwHR+z55iFL?l)?_swR`pq(LVZnj{LwjA7cMlP2qr&yZMn(@8}TjjW-Yx{r^XDCP7s z?U^%xFohvhtlf6-hjR0~pEWC`iEBNsw<)+yibcxqGOl33F>i#GVA|7Z zp+d{CTg6|#9vX6p%{vpf9}fd2=^VnQekXGbb0xmAnPHiO&Gp)}?4yf~0TbT5Q1;Tjb?(ja77EOp-l-g!_j7@{S zK$4-?35hQFoTDr9b#@f>gxN~AcWH_D<^9H=!)-;>>EAtx_b~d|-VRWDZnI(|X6VXK z_m^(0MZj5G?1;<>XRc|@@@UY{hKk-2$*fMwAUrc(lwB6DWqgB__c%|ARvP3vJnIE+ z?0{*u7>XE$>qN}9k=!beG^Q3EOojz-K)XUpPLjv5#A?37Klc|_ES75THxtW1`VDS8 z8A0zCnn043%{t|EEwb~^xv%}2bpU+TUw%)brCKWtRHo8j49Y{UA&~DA(n?F_K@iF#_2=bM=%v)=h zxr(;sp1sWA4#C{KHfCH!>73JvzBvZfVo;??wm|d|h^QOzE5-O)% z=5!FzQn2wUw3v+z4iR0eWPMn+D;mbVrYo?naMTx29uqe0rzFTh0XHb;TlASF&ih*W z5aeQ6>r%ki*6TZlHab^X>!uH)UcY(|y(o-ErbTA@?}z*)!rjeQQzx7g%KCZg1|;PM z9zOr}@^xqat?~q#Q-SC9lKozQk4A;m`6f$>)usww-^}tYxr)?rF{H-neR`$e_ z^Ow4Ms^+{_ntepaStXZa2hZ*CZ|WU!1HSO}cXm8&YshA}#wcJeHZg1+V6>Q5P`zoS z?^C@a!0Y{9g*)eBgwk{6&=rsaeL^XWt#PBer*AhJ3Qk$r;Bv! z1+5a#Mon#6#vNPtUt2D4nYq24a+VW)9UQGktC-D|2Nk;&JCZ+F+| zHv3#J6Z(nysSBWLvr3eXq*B1JW0?8skO@=x4ED0zfLQ+hum0>^Z#jp7Gm~mg9{#>7 zn61f2n`Ic7q`{_QprV$;N9TxIc|JUrl)vERo!$dQ25B{4ghgs%Z+;kt2A9w2k2-Sa z(g0WgQI}Kpv?+-Q_Q_Jy{o)2%(0CSrtT&mMY=c0vxod$ulHmtohg?V*R^6l z+@T-+J9#}YOf28xLC!a#+a%`Nw)Dhdz{#lN)C3Nnpv3JlYUwE9k{b`lEGsU#5@W3G zgnP|s8N0=E02?IL$U@3A{iq%E!dR4^ho}682@$QZgKysZ{~*jc*A^HFZ}i@ zSL1+vIxo8CwZm?yZ9H5F_X5cwDPcLsOb4*r1%i@+Y-}fClk;%*!EhzG=!oo%@|uju zj*>j_Kc_f`MjsdZm_dnH^BQ9ErtERwZiBqyrLnq+cl+0mSbxQ0M(ON$@FJI9NlnqS z{k5J5&yD<-vc#2iV+EUX7ZYr?SJV6b@sT@+ivo%C39MnM`V^`Pw#10I36;Y6SrpOXtZlQ!!-B2*GOwvid1LG6~o-9a)C_W6*-NS zFk4qG%*ldQ#vQD{2eH;h^w}mKnj?~E3Tw0-hMI{8)@hc}%xooKvg77gMnYeAFr56_ z%C>WvVC$mw>TtP8?x?Mj6%(44F2}2EHBC1RCQ{r2U{|}=Z_s_;ix`sx?s>*;W|yBQ zX`?O5V-_HX+KJ1IX4AEDX!?A4z?3A?jWp>D#u1gnR5lj!L^{(;V6m+IEXbSyiD zZx1yLU56Qk!`_T_|D;{(b=ipml?y977xM#k%dcy7#t;^m#VcN4j{#!yT*|-H4ws^P zB2;f|q^lxWRf1gWIa}#$G!ikGRPug5!4?RFMyUfp=EF_qvNVnikr6;>jctYTCO*}O z2_luwyN3E_ z%X0=Swe`)Y#aAh@=M?felkRE%9;EMH(yLi|NacH*j&$UpWE6CzzFplRyLC7_CjTsM;cg;$kQj31}~hyD|+kNja-ZGqphruCh{Dt z{IV>%sbsI3rOunHD=Y!$TmE&uBQ*Z1GG{JwN_cv?N9P4_xi?bt?%ydt(XK5~u;0We_PVtOzwYe0sj{lT47w*(F_mV6>OnS+hJJlq(d(trjdNt#)K zI>%Dt1M}{jFY`8ReDBZfgK5lknf&(WX0wloBQs#I_2CjQfkM`n+f9s+CRqu+TO@!5}`XQ6~@%OJ= znWx8$e&sB)$Bj_GK=Q}|ZgH;*Dd@_;ZI-2D;ys z*<{Q;#GD~<*vm`K-54iK@wHvuIjSh5q&rvFRJYd=L2-I*$@k8t(L~_&wIA5z#&W9p zjfvAsHC!bm76uogomaYSUc|pT!ZDqz&)bqF+v9ZakC#c+m1?!H6eMYng!v6BWYzNA z7_v9FF@J$X9pkMGx-q_51W_-;X&y>FSFMZT%3BT=PSY5>9NY~9hWwEfOgzj`{g1W0 zI2N!5Zatg*^nk;}{!c|0-NIh@mCb;#kqA2(2ra4TFOXoxgv45my)0r0fBegFf`ycq z#&l?+W#Xe*7}Z?O$4C9GOZ}yWps|~d4qtQQ8A;4s%>aL{Qu$(1*LRPK-0F9PkU^lI zRtY1*ppN60-qTXr%}Mq(-5z9hv6xEPcs~Bx5q7Mb<7ex%o!%(^(g`AfZVIYiqjszp z@%3qmmWw?W@*`9nE#!Iz6f){5ySD2^%t;Iopt|;^*JK5D3{>jF4h+ zN+47A)oBE5z2Zioei($`cq4@+;;Ec6KSA1Mh8y zpEo)W0%3n$POX+r-RZ&uYl0fv>#!N%*CaC}g}zrseJ}Zo?XlK*>yFxO`x%BrR<4}YPm{?F98xnAEJPwA#2Hx~NdZwmt5+9Ks(!#1@(iGeONYsTkrx>rcf zNI_qDLaK*Ofk&I;h@_<%T5)U?X6jV@B+{EJxnjphQH&sNyIJNU(7sP5h>zGL>P$>3@}hV1amcs@X4Zj&1W|9pxNCj(caQ2 zF$;}-2yZkK=+wsTtxUR2MW4e#t~?>IeB1R{YeaF2U8P8vTwxl6^=F5Ud;Pkc5>1sg zRXQwm&uzh);BC5a3v_LoWU{_I!L~Vx-m}&)5q9PG9GXYtYpXGtxz01I6H(U-sl&zK zGVXxuw+h>8pOWyH`PoETk$U~C$9Gc1Wt)Fw?i|iju4AM9j~O8q@zQKPjkTp!UW|6o zQ>F^{U`lM;0@KJXLE01SgwuIG%ddD1}m2Uth$hz}326BDkIW z)cYRWEDXI;s|riWTZ;pcQVwLtZOR0CBLSdWaM-7(VON=8b@mIAplgA=CWJh3BadBP z%CNltq}74}AuUQ3TzP+I5r*7Yh?LuAt%*6=q1h`z*=E}q0`K*EXQjY*ZmM}sH-y)b z=Nq;wumyY6`WHabUi109JjLU!4N=I~zifSHB%TDd;NJC*w#v(Twe2NxdRd#gkeFySO=t=CM*oEJl{o$S)H{h&Lax7`mt8oc%ZUPjhYvEy z?jU{hq@8yr;cY`S3HVo(H=4eCCUm5wN;=~<6W6cO9wYkmsT5sc3BU!dO$I7pIde@y z@Eci*tA^^NY(*2Xx5PQ)Fi!Zd$)`Z5(|a%LJcVd8J)6mn7E31}6K4W04&KLY;O4qy zK#h{{=bZB`0Y2WMxQz{VZKdjIUKG>Q=jgi5P({@Q(m`hikY~T6`Of9b+Og@1CZEjB z9`5%lI!~Nl%CFgLc{_d#G>p0|yob%zkL4AHi#VlFbHXQ1+ayDGC(bQVgY>v?U2BDf zIRY?t`0Cs7V0J+TXY&(y9b+=-EfLs&pUe`@0+_s3aD*Lh;4cI`Llz$Td37q*chVG) zSueVvmDR*k)86^aS3~#Nk8!!L!%D-Vrv=`@a2S&6&%? ztmn)Z%T;ZA0<&AnaWJKPc=uXiX$L!-!o~-Vwv8fo9MgBb4)$;ZXW$`3vwH#gB{=1c zI*zttFiOpec|yFw6;%v+P)_swZ!Q1;x9w`8@G|Nn79m~Vye`d&;-Y39po89L1^Ef> zx(9eC<2Tr|p!Z@lh2iOT?dx7u>BT@LTz9zT=!ibhEoO(dZ8Jn!r~kUMvf9e)gXF2k z>yi;O#PcpM|0F94tiDjT;(~WSFq2H0k(B}76*4_<^67<%*;M2V$@BVv3u032XO&M) zme4WK`IWu%mBb;SimxnxMQ~s#E_+f{V}o+6Q`=W@rOP< zS9zmTChVXyklt-{#87fXl?1A?&{9tkQTWVRn+_8Pt@aXaJ`TFp^|Z8RM5hpC9zCpm zUj#)l_#P)F=v$ib0)TWb)f`%wFPk{St1FVnj;ds@&JJ|ys`0`lK0k>H8UF=o7SiMoQIXbBIAQwGkw1Hji*#>#bQ~1xUqN-tET+S6m zlZY7wA`?biF(tt#_8m3oTE7fpPmkz5cAPGxugXmpfVo>PV~^#4dlMnQm&z4as}o-EySgFJibxDlld7Va5;c=I zbp9OZvpAR4C3z1xB5?qR{bq}hwm+CoLeW75Y1SYcRqZX$DJ23d3-TP42Pm=u5hh)B zH5N=I{|1=4<=1tO2MDA>rJ0N*hN#A|yUQMKf@%j|&vBARSaI&w1Et<%+ti9!x%j*q z$qGNONK{26EQ>M{2B-rSgkx_J?=PT|(n$m1*v0PUdbhhLvAn*H1GTR!R29IQvIp zbI@CLGEvb30B*MEL+C)CKYHueDK%0HOKcO0*d0@xQZr-I+lb7Y74Lz~b-QlYtb;AE zd#i1hlWheDx$Z@+jjPp}YN4@-DEAx`U-4YCW)!yC#P3tn8^D2?6hIJY< z3IbgnYsl!yi)IjmR7$#I%`$SMN92tX=B^KIujb}@Y5IoPVr_S-Hxuc;WtU)U05 zoeqHhO@vKj-7F%shbyY?&cJ-Fk7?_EqEUg;##Y0r5&wDfOOp_{Nwv`-hbX$O1E6k~ z?^2TkMM#g^JENpUqoRbh#SliKm>r;HN|e`=HjKf0YR=uo zuZun1RQI^{FU>XwWZ7oqf#wc1PC_Lrvnk`*Hb$(lDxdd7C-x|oW#tPSB*oRf?{NXn z&YWB_<01RyqNLGS#rA@pXN+|EKEUO6o9LLvypl}?92Mer)wn=$1KLUV>Nx~hMz5=u zS;bksTUMZleGOm0Xg_t~jUebVTOu20GW~O+a)Kk>PAj85e@z`bwmxA|U(qDl&5Y8L z;B80e1;rb%0bngOzF*uP*jG#GTg~hIqWsnps4P3r9 zkqa`s9u)*?TwAis-pn?u1lL%w;gS!ArE*k5IvZN&rsM6z$ISN}ZO3${v^^8Os;EGw zwcR63Yyh8z+KQYp5?<jDDk=;-0{`YC5>yJ2fKK&UB$ zzP3nZR?@r$u8#XGXv?ZEMl!YM4?lE?I3hwE^_K9+>#eW&Ge}mRz9EJ1*j!6z*{a?> zwfxj-YrXm&M4t+DUr6Rw)CfJ>Gdwm(toB5gb1yrrd%cXMW;U)@2_UL zJL1e`g-ybw8J}dWGY4vuL9ZW438H4>S(bq(*RWC2T&P8s?fq0<;)M6EKl{AvBrYxq z;V~gjc4*soIMrYhJ<}6JuApvM9dJT}8i`A0O39L}pO!{)CIm+~cBNPd67uLzsKn2~ zZygxiCUJ8Z@<&E*0vDWq$!i`2w_wers$+&}+NQOPsD_?wJYw8p=vy zi<*hr98y~0W;r_|MT(J zTXx_0F_-n>6cXC#`^u&W5h*;C|LYVeFP7SpEO1QRf_JohS>V{Fm)aBb1o$VB&U4vQ zIfz}beP(hxZ`Zmu*@H#JjehN>CIIBvT|>my<(4^I*plE3ee}Ml5yFfB}Nju9~>kpR%x}osnR3_sLY&m+Tq<` zeRUe9_!HG8Ni$1~DnHDnLI;nH!t_#uKnJdP5!h+Y0y&JlnI44Bng<$_4m@QWI#zwXiR#ohGf2g82t*mbIZqXTf|^b2 zfj8(urC2XxJ$KXy+hz}A{*r%iZM}o8N}+-?@j-dW_j(a{T}3admsTs7E*?;MjY1Q# z-y8TbkW(bylJc|7!NPF=4=BZu36c0jB=|MIVyT)%N;_8<$aKmMt&znOSDFKm%fpis zS}%q2r!KJIV@;T;kMHUGUZUOE-W zt$LZNVv0v&QMN_hrqi)B2Hig-^b620!byOuG?p8j(|I7L~+@248p=$<|RSHbTr28 z0)QmpJ|&8P*YKZTJUaoJt9p91u&QkLMgQih9H$r&k+GEZVqnB0bli+!pg>v^Tv4ER z8L3%OctN~kGXsF39=EnO zOG$-NOwWRn?ufz8xN9S7g?(fFJn6K|jLm%P@0AtzcBj#0{y&qPURjMt1xFb%8K&M9 zV6bxDm^IG!ahN{Pt$G~5|LI^WTBJeC(23^JN=q^&5hwLLG^y&Uy%0_=6M!hBRUQyA zNY|d}NOJ)9#Y}18sQH;d&Hbc$0YffGD;f0=I6`c90jg=*by?PmM(eg6%&j7&R6F;* z9s1Og3DwYPkf-{TeKaIuh79~rE4mwz?GgseocDuZIx>_^_QwN;#dqt0=p*CAH-+Ju z#Ol3j<&;jfXBy`#+CdOmmY3d2#O<dn$qMJrA;2<7b{I7CghVWv2G%Tst+~H;0N<`%07`$Dj5(_JF0L)~v8}>JG>i zU}ITj50yFUS^>t)$9m&)62PT(pfX_J7W&e_55P>mekJ0@2`CrRX132Ngz<|!Xms^I zenA1)*gutXk@(t#6DX<|MfE9zw{h({zpx>1Y)<$IjWsAWGH7^D&ql?2jc)x0fcDnk zx;e1I_SLNc=osVoUX1c{PvNQ{#|oVap+<5d$|1$w>&FApXu%z5X!}~@C5lZNCAPs=XEr(4?prE3&<{X8xb`zL8eXS8ti8(&14jsd2JuZN9 zpe_5&=C5pOcnTf(a_-fK$wMn*lvX0*fR{n0)(n>9L|So6tV$piFumE(49#jFEikjI zrRUGxgwv98nhX|Xw2Al+vYs5eR07xs*t>T1jm=8BYJODi zpMja5@A7j%qrppF30^Lpe*)>WZs(vxV6mz!8b}>?r!!< z$hyZ}Iv~+Fl`wb|>WLWPf~z71sBZIaclEtY5Tt`Wb(P4B;&-)> zA75Kk=$L?FN_PWxo@(rGy4iE`wizq})T+6olk-kn-?gV$+4%`4IBJ{i+d}VUGJ)Ats5VT-?7k@^od>38H+&ccFjx26-XAfNKP$Uao5Qn+ z^J}H+E~gvUSPwX~p4;%dK<$YKV1Q_KqQDNOVE`S0)6_4(NVrWUFM?NTx!?oEq$JVj zp|8^qvSB^z(+6S#XxX>7i+q+&2%{5bHk5r@kA3C^h(ebodEeO>K*gxI z^2bK8iOT2ol0)FiR7p2d1~9B~x~y8MF;Q5bzFpwhU7zg_|H*2)*}40pQaz}>d~ICU zu;PFSfNwv%8_XtZwo^s#M*Wa`No5bxdshzd#8k8lv;oHIJq&){Ma{alO3Q}=}%M(8GbJ~;IOhvLBltN zwg>9;=fOlOdb`wwh85mTe#v=vA}}7%A@xzE^vg98n`)C_>$ppAQj${h#piPY0;S|f z31%J8ALIORj)KHgD3j4n`iLk1p$pRlBomz_868T;n)w(cKUW6)ZaoKRG)WFr#K}Al zeE?ocajD~r8aa@zuHxN~%dza$+?#4Y!REjk^q!`3g{{t-6*^|?nKF$ZXOCsGoh5v< z8zo)M2i5Ox&zwU{0;o844e;cMzCZF0c8dd`%`IO@!Vu^`1EEsjcy4*y(9qsX2(aFC zOqq{O*#$agW;*G!$;M7{cF2=OBlZsE>qO;>-r{<}=Pil5AUirr&jiPV9fqnqQ6ukh z9e-THNC(yqWO{$X|KPYmm!-y9yWa=kEo9=h$QfUsJ3~mhg77FokY|ewfF#LJi|AdL zCBVkR05BM+0jJ?=oovPI@lh;+18!r7IagK*?^$ooCbIzS(Ic@6fCZ3j$lV;lz){UJ z*|43 zd@7T~pNE3(l?oaHqQD94Hx^LqMVVr~5juA*O<4lIF!`Q7 zHnlEAZR(vIgUb2>q0e0b?Mrd#oH?PV3phJFj{u#`DhseLYbgNor$csw4G6t3A^75NVHnFi?)*!72~if@q5!_`?U*UfbQ$L1_(MrNn}@w zyqQgwqIB#?u`Q&cp8%pW?)jJ#kd;g#T_U!$Tz8)gFre!53Gi=EXpZkw@1@a|SYXb^ zk2C+-gP!GR20#NJ*teuA)(FL-t$d(IHgS7k1#nK1Wr6*3UCNyYnOSH*1PGRI6qg@` z*7j|ji~ywJ4PY@w9Z0BHK}$051+YYZGOzyAcjIfOa}@G{fjh1YC`~FzrA0~0vIrvS z9x$P2pJfp?J=3HYuXSr1093coU^9|B6@D!%5Qz{)N9Ew0IY!nYgpDNeArkB*!CdAr3d1scbXtbf>0%dgmRSh8p&5v)K|?X*A(L# zx#*JIdchK;w6?uI2|AxY^8w$Y*2nLNhsBT_d?>XhL@IJ75Rd$E&R1vgm?GK7lDc+P zVPj5NwWN+SN=<|+FDfcZnm-Ed;wy;Kr{5kse+xJ`*xv%hRYan&E#2Y^tC~)!-RLZ2 z^h|RuFU@BW2CiLd#RjP%L)>HpDliq;5{)8lVZlAWa%Xi;Uw^O^Duccf@YU#UJ?LcJ zikolPP>IiTJO6wZR^UEXD!^288uVGJ{#{+epFrRJ$&G?ghRi!TIwHSMY<)*lP+VxY zsjStglF9WXUNHij#J((D12HL>ZF_8!bz>%XJJ~Botv4AIb``!2?9CXQdS&)!dEU5L zDv60A&5eAyAh`g6Z?!knI#d&UfXI9E$v|8U-iN!>yB1f9`#Mkn1n!^KTYMm1OBJrR zpfq?3dQJFx&PB_Ol-PuOuR40EX~=pnNL~v(n4qB&LWysSc}kaBLaGSe=bCc!8bwh)%s+dvw| z3fy-ksW33hI3Jv?8JI{o>6Ne^GdKSAAK;Q=jhtBMK^Xzw+ZmB@L+e~&3IwiXhPAnpeSo?a$^A*&pwQ5Cxxw}v zdf%;{Snm-Eb4`%8N0$o(ZidKCJ?6*G9mR{rmslA~yRv{Dz&s@My|xPW!HBfI@3P~T zGRa=U-p&){smh2eB*J_iwKUJX^nz1$+xytn3E;M6o=XB8Z+EA6TK7}+a(^de-FF(_ zU+2AGptD%qyB{hjs7e0w6IyhOiR8R7w%v`gLc^x(SB+J5vfr?yey2YTW=D&=vgEoh z&LZI^`mFo7_`Jyz5{q4)vtLDW-OQB{N%1HfaXKLObV5Bwkv93$jJ{lKiSv{75_YXf0*inJsmY zjX<4+FmUupq}=atBn7dN@gqnK(q|hlr(0q}huo<%A`Ct~Z_u1Zf0D4WZ3V_JPplc~ z58G0fZ^PTD3$E9k2Ysdn*tFx%0^|GS8)I`x)Zm*>R~uxuy?$bxdxKe{fV(d-SH<&o z>65UzpQ3r=z!h3N(|dGiqumogI46roSY$L(8XV;s&&A~{I5q7%NYB0VtUo`f`-y7~ z_o1ZyBaw3Ab4uv#z@UMsq}MkK1C8BP1*(2ce(7A$;<8d_5YzAuEV)8sZ#(x1H;HLs z-d_H~kbIEa>#2pCklot@lZZ(!6%Xjph?)0t4Bs2cdqKRLK_m563&QfhCf+cb2aGrlV6l7m z4rN*!Wx4f=ZCZb7=}|7)rqIa4U5aPbG>1sL7b*s%>an_kAC}EtpYnE1oGN?wJ2&Ff?B0y)KZe1=bU8EmG)nuj@9z&4sNrOJU+SlLw?z*2dft4~h;8fcAE+ zfAbbhjiYC0N}Bf~o?=&6bmLg!SrAL&5t_C5_oO9y5y!>H)S+VM(n7hsDl7!4$uV&_ zZAbMppgiE-8Svr&lU~E4QO*23*;EnZ-lZ`XX<4s*s!zV+K_4JjG7`p59fHO~30DY) zldf6Aylc9mLM>f}l0wmf%wu$CK|dM)cUSHQ6}|njfBx*#(tC@=Lre0>Rvy=T`U-04 zgxXZ_mk3HR?tBT`V)XJ%V`X&L3Axr)(l$Vq&}i-vd~H?A7&c$fOy{vFlW~o);<-^? zvaAftjSB^ERd#w0zj6QGH;0g$Qc#2Edw61Ue-Tk>Hq5aop0YZ{Iw95{3P09Oy#jv z<7?%}mv$2AEWn-ZFpdCQL(BsEd~ZhnQYB53mWGXv4QSt{9O{8BYZ&voKZ3kRJ8YaoJsHI&N6m% z3A@f$Tgv$cIUH50?E(SH2fJyR2~3iFr$Jlt|H~Z#I2x69ts~47RZv?X<~}Iv-4D5z zpBR9B2g_V7HXp&$vYGvI1Ts&)Vj9ucntecxCO7`7je-v0;Fotg-@|H*+N=qo&H1;6 zRFG4rz7jtkQ|VqeeS@qA(iyLUV|g8o(@0Z+2EdX8fxm=;4v{vLk_*fRdERKqG{s;{ zUe@R^JjQ0F&ZhFPoFWsf0evOACcaRS2zpR>gms;rPTR1Pn#*ZYwb+J)+chdu!&=&g ztgGkS($Ictfp3s87OHA!6CfMYo-;>psv!~781#>!awWMFZZZ(YQbd{HJLd6gJ?7@3 zVYuDmIHtGPQCor{y#r4x=zu)VO!MUzU?7RQar&Q*?3sI)r4x_MK9Bn(g47Rvf4K-6 zDD?iPrFOsc4N*i9#M$e)S;D;jI3Um$2~q!ttj5vtw9qS3jwUAR>)I{#!@_l?8yV#` z@#Sac>mERW7XXAsZfFB#y#}_|b`o`4^56p0YMaME-hY#W0H)MoP~h%NSdTn4TUJXCT{ z(A_(K$u6oL^CW!>RregVY#IiwhP26a-7pUhe zg8k#QZ0EJv;Dm%hse%wKs8IC7vXjv8S9%y)z&tEh+GzsM2>xFyrmZh%TH<;><3&V< zio4bQp>o>PDeg?RN@Lx;5ot&9R-h^eA0_M(Ha{pE@`h6WHy2>0Xc*6U48-?0(YL5# z>4{_vt3GA%E{7N_lCXR)q19o&4(m6V)9eGqX)1;HZaPu-S^lW7 zj5czCf0Niz`2vwrFHMYu9jlj7~`JCUJ>tbnRu}i#CrLR+@;MWYq`VB`5 zEio*2O2_~OzDtLDXbXc(8UOKojzYZbaSqh#bJYD<>Lq~>75T}Gaw{G&K-r8OcCoR(52oL_R@%Tlt!ZlzLbBK5Sz>Asu{AHi&zbxyYcpP!_bo(^ZSdiU`6Bpkx z#0#G^r(?WzhxwLZh_ z{5%^@yJ^Pt>N~>K_`|kkIO-y{`(-A(+;0~D+c`qj@7JgDey!Y{z`65Ye%$#puzjeU zRFq1!r*h%q#Yp(Ijax@P&RUXYB5=jH==M`@E+{^|TN3$uEllQAuV096>zB9Iw2TBQ zW{I^d*HJaA%F2ttM?dJM;F0mSs5AW6FGNCP#-g6;y_sB$yeHqo{i8`0-=@DW#31Z* z(w;s-7=ER+$;U4}q*|qQj5YA>hYugFe2-u_nC*X`NdNu^X7>ia2z^Q@PFD<{In|dJ z`J!)ukLiLxhR@zAu?X3iYViV0C8O8M-Q=@`?s@$9u{q0m_}}pd-zB~cDt~1BLOWJ_ zhdE0T$@ke`pwucP&(_?dUiQh|HLC=Xcl+1Y0nnXI{(l378EvM`p^Fd#^a+`d&D%v zF|`;zf6EC!V5i9Ybl zzVH4fF0zi4kmD_U%DHaFMu^lGgn3?uGq2SYpuQrws-BA`26s}A{GV1MkvHApmM`M5 zMs8TqlU*1*>h}@BLWOLs<efq8%%-q72m6!?#QU^@(Fi?8VF-x%m16e;9#P7 zgtJ7`>ODF^%Aqe5Q`s1g%A`XVh10vgWft*T2(B=0s?F!ozTDO^dD#_5Fq=a6jf2L2 z8346*lW$%Hoti=FhnQRhH#kjot)H?nmW5Vs{XB+8pY;V_1=W-|BHQhXf=?@8is<~` zm52V0lq#4`9UN}T!d!w=*$T-0tsW-FG=?x#(ZaJI-pCs8_!T9`hzeLxX-CGdeML;L zuGq}~Z9mbNff#`TZ$rK%FN9PHu{oPau@J9R%1-p@m6PGBF`k%4fg42F#qHpQ#b-?j zXTG+TfPQu0|6Guu_wOf2|A@!nNjAxDeOF_vx@KC8QC1^~uKLfNVo^==Dl*`Sxjok8 zN-Hutf3m}<22=ch_7e3QHjiQUMdayq;>{%KCh^c9b+%m}R{3wlD2)$a;}g1k@Off! zZ>o${;Z_^z94|G;)6Bsf?S|G!7E>?^qYikxI9NZ^3EB`#(|s0Kw<{Tn=0 z#L+sEAxa_o4J#MjRNwGqmrqA3b0XfABKg-(V17CN%fZ32Hm0SeIPqxjRee?2UA~*d zlR)~k%UEsdH&SdERsmUa+q7a<*B6W-9+}se#pCTb6ashor~f~9vAnwd6p3YkE5$X9 zzQ|wGm@4a!eflpIY!l&YhA{AMU{_X>=-=EIRmIZ)dtZS2Z)-Dr>f!$vAVh~YEGh6S z_YM2*lX9|fx&}#;JZC0289rX&o1g^R{fkHpQF5>%&i`d5;!gT(1?9#!=1>D$FqoIiinPYQnpSu85QJ_MZ0Nw_KeUF1iG6l@8;gmx zoEvR_uLb^fmgFg>o%5zN z64}rnCmv#(r*lplt=4df>*Eb&D>|)Zt@Ygm_%`*&FBA7q1kibNTOhRy|pg z5+cma&0W_tE%Iw@+Q_x3zw4X(mT?-fv6!cKGqi4=_Z_3l%LhI+8uVbK>$|(JAl^X`x-`^>Veh=zgUM3c5JbP#Qv!zh2 z7Gb4G9+{!6EVdjL!&nEr0-&F9Uv;x5>oFJwjkO^?r~r3J*#}W((M7Zy$2w+aTvy>4 zE9knvxS^ru`~|lklgS=Yt2HnshBSeY$9C)Pztz6$r~aP7A)yb9R?*1shY}^0`$i`+ z&86eA{v?h6G&nBTwA&kiG&s{=GEepP!V5K?zoS+qQSvGv_))j-XYgKH`d3CUlBD-x ztNje-!D17JKI6~SKW&nBpV(|yv1OKA6W`u6x!k^NyUA_V(L6`hJ{{cF-K$-0cf{iL z(Fij{yn?RhrNG4b$%*KKl=4J_vuDlTL*-=ua8D21!ILrT)ngNO(%4U7t{?D3@e}Ob?wZq%Nx9oYF5rwo~;(->lCor z%w`E>mYi8`y-uf66z8iSO~K2n;jV2~MWq~AVBQsH2s&&JN71maNDPlba+DfFDfg+W z5Gkq7STJH07*S(AjD+kYMx#?2@rei#Cc$gNBVu3$J4g5DjE)KMF(MPfaP|Ifz?&`p zqR$_{CwW?^3bVB`1#bKa);CbZj38!p%c(?(7})>T4&IrA9%q?O-$qKDz16dg|LRmQ z5^`_Oy{rB0f$scEy}e}pLgjXhrb|e8^d7qmiQ(9D-^Rqx)r&=!jOK5D+|LWr1%3Cp zROpi<1fz)9ZYbq&Y$0scbNG)EKE_Nf==dao&eGe4OHqRF$mo9S$@EGmbY?O>2l2c~ zO)kj@rsm)wD8?D<`ZptuflFxVv;^#8<8O5VmyaDIjyLZsWsBd!tNMmtN>zyC`cqgu z3RevEz;3t@)&Ztqc-w-1<2>!r;)6{!3lGyVGx~;}$EAA>-2UJjH(b)b6VJg)9X{>9 z(T?R*&hXjzay|X<^i$%M;-wCwN6~n0?dN+;lgQ_nz}Ay$ybXl;#xi&!&kG_A|J^W7 zWSI(HknmwHynGpPxgdi$r}_75kIT22ScknTS3 zZhXSvfx@2eZgfAn@d*IqqXIhAEsL$yO zN$;`SgF$kuXLEX=uu&qAA{^1bS&b4)VVT)>Ak$2Dc5&_UYCMn4>DKd zet!vGd@QiD5%+K{5?j)>k!X3B3TOH`yf?d%mH9mNl_WD}LxRQJRcV9U6`P9fN~D7E za1q~ioaCC^VOlIcY_ReJTiyWO>1iEix|j%%mi&?N2YY31)j@TAL~4x{-5b z4SmeUZFi=Bks>%-M-ZwqrfN%oq4#;sVtH$Dc7+ID;XmT6?yK6*SGmCR%$7&eZp$Jw ztUeB#)cjI@Rs3(9h2Z4nSIxQS&I*!4=ELFj2acB*_|8{b%r(XLs49%f)+}oYF)GEq zDOeJx=J%90H6n_9EuKpUJXc5aejK$T73P-;IWHJtBtOaa)j@neUQ;^T9bd_`4tMFa zeSAihIi2ZPp@h|eIl1ZNN7NT;|lYUArdZ27UcV9x- zWV?u?de$4VAuSy~Pd^*TOds0nIQxAi889M3RR-~M*I`l~nyC_jGVR7-)XQJ`_krx< zx}F8s7n86TmUD31&pa`+iShBl&k=ZEnIApzP~41jXDljBCiy-S&90U#h72&jfB$}C z_(kgpc%E2T9sKu{J%-(9$CD4s4h`;yztp`&#lCM&U&)*t-pGrarpX*HYzE;?G{Q$7 zEa%O&IX}`kSt||eb^ad%rx3itEE3D9Jb`PZ+7vYK+;L*^@;i+?3{f>W z<37BCrUcq#qp{(iCLir7Ytn0q^f&!#XV&^_Po)>{KG+rD zI(0^kfjTD*M??qppRyL6!2WMc!bD$2+CT6A^+4_`yt@giue_a}83b%Ja6Rjv=`7nT zk{Fr5#PYej36@$v#h>EwR^Vn&d5frrjtbHl+Ib-Ia`7E}(}J^BvjfKCA{!=O`QcHYB~ko+7VN$%c4{MPq?Y(!{eoA!bm>C&QDje7QvF*tXN;=6!vAXqYjhy0Z( z?&*m_W!|?m1a$Wv=rQL!H}|OFyQ?B>Ez!KTK5WPHZ@?0gsjhh0U7vge^?*)q-`c<0 z;+yR$ccO)6X~y`xNi%e<{FVcrx-#7W5GVGC?{heazf?%tH#9YpUi3O@wc6qIKhIOS zc_DoDthY57y>^_aboKR`YWwh$-v{X(yVq%_1pSvRDR#KOLlFZfOnlxC=t0*9<9# zo82|XQ==0JqN`2+By95~iJ^4zX_~{oIo-96F>4rw)#$Rh25t@4!w_NUd{1M6kiWT@ z5O(9ePdT~J2j<#vvObQn#O}MHY5rey+Fxc+Ga$2pziwq_nttd1Sz+nC+rJ_lm z-q^U%G~945@eSCSv>UqZFJa>8XrFJlpboY{Gqq;TcYWjigzXL9@7s!3UR5UW(RVtX zMTWk5!;9El&Rb|g5U>M##|7ymc80gPfNOv$lKx)*+`!0lb@vuN3?~Q}szPj>{q=17 z{PPmyjs3#Q$rL+PuWR}rt~(ZN57MHMGQ~3nqQ_$(A1Ys~>PTyx$hTyy*_nTHi;Rt- zMRK*l{nX}$>RI<3F6eS7nfij6iMn7CJvsU2#tr3of!P|zGNVL&vdGn!&1U8WeAwFn z*#eRIVcZ70JGqA@^YopOD&|RfwN^XSUoDzg=LO+%mgO4N98K4dP>{r;N0TG1XEB~` zt$P#wsU_B&Efv-J9G+QTE8QltEdaZ=zfHC8fxZwaYfvJRbDgoFTqxijeX+TZ@{>7g zos^w<9@8f5q~gnGJbvMeswv}P!<8y!YQ-|YH5O3W!u>-Mj?fS)lrQE8^kK#cYfp{f zo^HcvvGusVqNmekgTMwwv1mt=-1?h7@}*zEnu(4T`U-N0346Qv5(B?IpoQYj9bJxa zjq%2<^?cAYcplang8sc{6(q5kWIw1_YC|B85$Fm?Bn^gJ)|( z6~?rPCC)NZ*S42Hx#D)Q#*pvL&3EY4uAeh`e9mm=dW~*H2=e4XU6jsF?Irjm>nDAD zP(-ERoX}{|;W_%whj;Z#Bh?WXVOJT3TNk)R&}gVg&*F6?xLqwkN4Ie{y=@; zuJr7?uzI;gj&IzKS)d|oQLTUBfqF+oe(%&d6SjSE_eoZ&>*|dqlitPLe+F1yWElAB zrB0cR&5qz1El91W*3Lh{oLrrX&HSj9uQjm_zga~oN#=wVEL97~H2w~0Ns09-sw8mU zGyE6&=Hzt7cl02Ropz7YJmgMBVqUgI&;!y1@rj z8A7KD#uM3woL*C9AuDv?l>$2le=_>zTV41U<^qC=x}%11LJ?X7ZVKTkN3^XjYVGyL zvbAg$WYGq@3_)qf=20)LZPa_Ra9Nz}ia zABTsGJU5y1`>ft6F5ZrdM|4wV_!jB9evt)rx9Dy3ubtn`f(Wjb{vdChT%rUe&%Mu5 zD0mOsU>k#IUFNqwy#o=!qwMK>xm%u*g^9XqRCU@8!v(BuO##flQ z`&)8r5|N8XE=%(XnYL?=EGwUgWgnym5Q+vF__fuV$7tQ2kk~Ub-+1g4_@$^o<2B@(h!yVyGmc!<#!En- zz(>FdA^jdTT3h;#pl@7*8p+N0ca@^67l#y{#)L(!`3vy2W?KE(p*J2c%EKMDN288s zALt0Ac%7BF?%!Y-%X-#X_qFNPzh3MgO^#|4X^+0}I*S0P8Xnl34_-HH1a(%HE;0b6 z=^6Pe`1+*|{v{C?5ro5*+{_mnH}$H?z2`YUOyKx4qi$!{jmrYhq;c32PhY<@nW^)A zA3I&zlc132u&YTsi4!|1k))M58yx^IxgGNtIE-bCUy;$kfaK3p-htn9h= z%^oQ}<$jAVrV&W2_$gJ|*4qTi~AbiOqjq)b@fMH^PXCC0jHHkFO-ae*aZ5*QS) zaZnUD6kho|PHNMJKCoZ6D@yjkXbkV1l@;Vl+r80Aut=V#MAejDq-M4=d58$Uw}K4= z4=Mr0sf0Y2wxV<_<-MvbL!x?>}g@ zz}=w|)0?4z+g*z#Qjuqmn1X82Z$Z7K%FS@)$0)U0O~b*H*7BbT5Z6AZHTN9+7*awJ zTFvU}KM4mek7+N}Hp0h@%jfEP00-Tys(i0@KLml2A>(m)t4(yP1^7T&CUR-LFR~+= z)eB}!L&;seey69VBBN!ytxazxa%ChwExFtqp;z7AhUw%_nw?yxi6L~??85&Wd4Kok zyl*v0EQx?BdqgZXmW;s8Y&8d>;k>Kw(hd^a94|@b>g#8(uHQ9(@nx8=8XimnML!Iw z{PLq=w|KQ^yV^i$?n~ythnz1Xsrm9g;*3=Jbf*4%^r+gdQV+mFiwBR*K0HXBm`Mo7 zhDQ0lP|ISr56tyB!=>@-D_sP)cybh*dJ_G`jNKMP1kd6%6-?zw$5Vv4!tAbGipLhm zHD)V&?|Lk1B-*e>F$GnTaV5hZyuf6L;MTTB5#m^FU zO$cxgMNy=Th|u~Jvy*e5Dwh7kf)6WEDB0W$s>?3N(et#KD3xLX0|>T+Jg+P{55vo9=F-| zE$h}Qx11r*<1n2on?p2;QLB4#`WSpGP-388Z8UBP1P^c%KX@aO2sRYVCC-dPVEaFR zDR`I5AaMmURtj5PfaP`0-7gE^)9p7}*J?P!TZ6zC-6Dv=9eM9+voZg)>|qT;e@{)#ih7UR?$u4p<1z=%L$9W&3f9bva`;2p#7U_OZoDP?Uv zhFHl`k+PAUN@#?NHtNMy306qieV&ZlVwUAk7r1q~UF3Y}2$yAku7VRV;^**BG+;;> z&Rfv)uE$88pj**?L1s;EaW$gr+A#nibU{*5nR1KhP!@Vqe_(j5x7{ZoW3CLn292fa zAc?-_cv5cmDvw49)4E)%l`=Gej=nLYBQq@*OIb`p<{*IRV%=Zee`ni(00Ph) zICK6NwX=ID4}>G8HY%&Xhhy1eaIe7Z(>mdjMk$W`dYA1JM$GwAtur~OS}qsQaHzk} zrh67D$?q9n@FECn25!-QQLAZ{r#)qSix&&x-{e*D4z>Cts6rMR6uA5?3sxT2Gw7RN z&*c7^E-Wg+Z_(D$iYBM7&s-i|CaxtM^0XnKIJ>(atuhte(&8x7B1@jBQF#={85K4w zlA2i&i`44sXEg-wmT{56m7`MY_WL6RWe@p>5ArI4qIKl%K9IN)Y%7JcekE#&immkC zNoHx;#E8@0^KH2Mxe`TOlAk|uR&n5wad9q)?=~7o-u-as%>N9ik^$uVL1M@B8bMcR zMfcIh0{3Gd@xnDPS$Frv;!DSWT|uKug-RG}y9r`fhz<)?h{1Jpzg8u$P9I@ko&YGU zweDuF+~`_Fbj8+bIPXvyY$N55@ZzsN$&K-wB!Hs4u z^?L02Lt0adP_+t;(z(j+*+w-U!R8@3O5Uw0+Q**{@Wxlksdn740{O(r+Wu)Fx8AA4=6Z2&CZM2-s{a?$k^`dbo=Y ztSgiM9TOrQT6Bu^N;0>wq||X+$s|P8QpNU}Tm(u+8h|~UE?_S@LFtM^pNCC@L+1$* zk*h;aolY9zG!7oP)oyl>ujokxHSv(rYx$yVB~S{2HC@w8Vmh`@3f_U@lH?4O;^m`Y z_WuYbz`*R41Q}T)L&(U6@=*9h+Y|~tKc#9J-|gGopy0Ie-f7?0i?4A$ zAb_Gzx$qx-qpl0feAEad96I-}3){|A!r0jQq!7FiyO*^1{F-?3l|o%&>F<8rV6$p~ z_p-#rDcU_9;0t*UP8nx*(4XLR`@EhZJ#~A2w1pT#$?(~Z=pm#H^>3I5b zVRl>NVUj{M-KQ5DiWyiKgQsg_)7A!I{oEDVlsU_jaW zEoh)bt#0eEcqAxL;5FDW7iYJuLYnIvdx3`l>oOkCwGPfo(FqCG;qxXlqty^zR!4c! zv82g0U90{$p!F+p0H5m*iUbQ@yUDY*g}+zWBwlqO1mc&uxYr%+P&YfnQ_eD z^Sga8>sThLU&8Lje-rFhl}cLog}MO&6!(Qnz}Zc@!a83C`cf`4Gu+;(6T~#s4@=9Xm5JKL*_xtp>pFTf2gj@>fbQ02Fe~}C`j`pEcTlr zDD7)&t1ks(OU_ET3_>xRBcHW9Egq2}mWZJKh@{r@_OHyxbH;vkl2C^#pi>Z9ldDKQ zETjG33J{bsv+$ViENi7n$wD5gUI~igBKySfK{*sCSuxm+cycf) z0?41BlBb2}ay`ov>B?qy5i_!v z8$%LX)eYuGWo>-+`YGJ7M1KhAlLpM0KN$7*BocsEE(b@f2RS4*IQ@HjS7Q;3bFAEv zuPl8EXqp~TG5za0nVsJ!{7zOU3{YU)B}J4%L@)Z}l!b;xI6x{*RaA|-@6DdSZGTi( zSt;QRLr}00x~J@5zvMZ<+c%d^b0+d-u^;MgCE${1!c??9GR^N9kWhv~Sg9fn0N`w< zTTT<`^9MBw@<*}Rh%A=+;}&<`e0U|r=%C2`WRr?&Hj{{b!1_T0qI2T43fiJtWWBUERus6z5#0{Q}UrgL(IXS^lrZz=s{D z2^euXirh)F@U(ZwaQkUM;}MAUohn&COk6zEHR(!?#kWk4Xr=U4Ab&K)Hi8sE&mxT; z&k^1h@$_2)bBC?$b4+#ENZI>{%CQ&1iO`rtGPY&hUxoNj(wilb^xN~pDLI3sUj7X7 zw%+a>mpR9Ar)0Kd(g z-X+@5^uMA31cFw+4pHmG8B~k_9 z8(P&j*W0Y69w%n$54-r`yF3F#a}(jZ7ch=?PR}-J&--xsj5_{5AZ$uS7G$wB0C)7O z^JUQel7-n{Z@OgiVB7N%<5yIKTRH^Z3xEnBWb?C*%LoWM zK#}lzkujY=PnbQ@7SJ}#zC&(CgR$_y4shUFU^2}@6x2?Kb+$l_pgC9GwKXZCR2Uz; zMFUY#J|Xo4R!Q=wHBUh-(h?Zi&RiYyk9JK|_E3Z@x#B=Bdo#haEyh9@b5W!GSYz4_ z0C>07#cvrsct3?pVRKWKs)UszT=sR}yH?oD>9g4^3pu^I1ZZRh02ToFjq;8ik0V4TP$lV{O)d$IC0dj$E{*Oy9X2Gf=-=!vk%ar=dBZRWaKXuiUl%FF9uA6akc56<37QUay< zEUQs+N;s5W0$MhgG86uF&L=sDV7Bo4Na(^PUypLZe1sC)6=wGSOD31+{qwu$FfdD; zC7r;xReg#OHEIJK_LnLvc%l0c|9hpvzRJeNX26@+{4QLAA*YhkpB3D=;Ch zl_n=+ZER=?eR>0#uhkB)AeuX}PPISiAo;A@f&d@-mbJ+mpeUb{o2d^Ywt$Dlbq(}He=G#N>rQbqtI~ZbRz~?x4XK#yDPhWn24`f zJ=5~i-nNv}4&wV+gB?!+)RDZZIXbXHOY8i+7*}TjuV=W*ZsYnvp@0FtaH7uBHg0LI zP!ZBAm52c21t!_YF?HZYFunif`671O4~=}EZgIoA4G5FV9iP(?FU((>_HIu2;Ixme zeWP&J?Y7Io^E+nPzwAE)&A`WH@zIkp&tvJuHiz14^fQ~%n)9fm<0m<{|+Q z8>+sUXanLDfr9vTgQgVZ;|EV-M@k=ar~7c-E*{5?LghU&vQ2_uz9(z#W~i!&Mrkt* zFbQ3pISBeUbBgPK|K_=HZ+(wPl?+kfVSi8MW};`Ri7-C0E9qeNxpN5!XoAdEG8s^h zmg(nfKR2GuyI#CqbltNE(ic33^~FI+deiMwp}xkrxe*CwXp0Y;r_WfWgdRznq1r_KlwQ4>a zK-%3ui+&fUUm^wm%EP*R!=Tb_)+m9-fv(={`-lrTFhIXS)MsW%Tys=I3CuWM8kv_+2?m-wf?b-^+NQO=WVnr#j$FWS6J!t) zii~COPA(^16|ZzjXd(?%zT98)t$DKmc-2}5#T~`&X%jo6f5J6TI9f<&w)L^0I~qXyQx|L`%YQ zQFT(Hn59pNssqxK^X)fC!zU5yrdW3mDJz_L)rbh6RyZG1?-t|VhPBm7iq?Ux=i|kH z?MEat7n?JKSz2#9X33P(a{f(lS}QWn0EU1*_k+t}=>*B8rva(O;&3E=H8 zxh3{qKyAk)C+k&Z09sccaJiZG33^sqwQwLo23%sPa-BA{LQ8HYy)WrBWWrqQJ7YZ% zu3{I31eZ{~lR(e+X(s>@M2|zj_2yXSXs8Le@&HO8{0ak5owM}mQHkud21cu8=GA7r z_nYrw8bC~P4=TgsH|EfA*+a#R>F>H=L5R?F+Oruw3m!nSh3Jl`QF@`V03}wd23rSo zbm-5EW)SEjx#*!GxR?jjIsaOFDB6ViTJf34Ntefy#;YoHJYGB(ZvpFiUI59MuZ3Lj zi(%hy32`|;h)A_$%IMu@gHx7W$TDW0l;K(ULSj&+75a@L$AM`oGww>#4BCBO;3!ur zw7;O*L9rPoHs5IBHGpvm^1X}NN5(c0uP2I)VcCu+u<3c6p&2TiZKi06GSD z_Cr9J!I@veO|~v)>qk`u1+v7EAAT7s41E9^%T$c@_K`t$(^7&3^Yl*Ujy^ z&aB-_w&)n}toDaz0X65&1ngpxmp^D!L`B~Zt90~mhcWw@3AP&NV_{)c0Hr~R<{9xG zheaUB7o%xy1t_Sf$Z5!kvc@ykryAQ&u5YW|uyJX3II9Jo9z8E#10>SVxgCP>Jt!nT zKPKY>bH9hiiAT|%=+cxJQz;Yn0#S5jO^q*}g;!Emwr|}Z5$+H+DB^2SLBY4y-;nDI zg=(k0z&O#UpFVk#ao5I*R_y<-oR^^e2M$12`HtAb$M5@%+ekW_%5g|85QRlX>_a1> z(dm`Yk=O0|;bs_sQANMEiGFs9?-WRXgl)X9x7|y>9#7OhYg=h+^VmLKZpo6A5jFD8 zq4Y-PTWYI0xPL1`0<*i@;k4nN+>i4dbhpiSNCI*g0f<{QNRjF(@rCP-kuGdO4 z`G&!z;McHFr2fQO+6v>t*XrI)JhzA{P^g>IJ1k3A#;>mz9-!T^SHle@@__V>SQTPS>6k%o?clU&@Dvj z8`mmy5EF%ifz z-wwEEtyVWww4*;j#W#e59xNYcLVYp{dyjo5?0W@Q1Q~cy#Q1eeuAAsbNI?RX0~?s8 z47udMaVlBX8@E?5AbkUDDfmagcy#W3s7_#r3zlRD0B=~r(shp0trQNxY~P{ldhR>@4nx^-2#%$%P~%~S&iM;;DI56TB{)N0rd;F+kdxPSDU!<#XjWl#g10c z?7uv979g^n43F-(ro0qYfoixahXP8Vtrl>V~Lp$X3bbkK2C$u zPdMfK@4qV)B~(VdOp?yd^(~&!<$1kuz!f>)Mc#^gL|BVf4j}qs<6;%S*%|8N!D;f>azU9oIVL9j zI!#TDSpe(@BGR`*K}xj>0ivRNAJpq!&K?VdmhP+S50-rJ+m`8j3zQ2g>7JQ@=ahZ+ zn$jB25a=t)@dcXOz3nJjZvn+hGBOrbz^1FU-&6bC+Oq>)g+CP<$j=!;;P_E{>^H0J z0hO?+lua=M_F!{tlyJVu_En(c>AxpZ&h)yB|Yub}=LY08uL z?3IjD=vN!PXMxgfA%Jd6Xt$Fe(XGe!CFcL0F-O-QB65%Me3#I9*y`;i-zKHZX1#+F& zm=2RI-dKCefo;J9%q{LMEe=O)bdy4(fW5|FZ7E4E(_#k zTusNWz&a42unC~j^5B=N-R|FMetajDSp4-Yp*Y)Obdg#&??=fdplU@ceyiK1I8^PI zE;ZnvVbkT#nT#3I!;GjksZ1n-si?lgthPCQs9}ct%1Alx2ULi?cT{9c4))Gs%~AK+ zGW9DU_E0?Wd7(c)Il_a2x(7V2oAKaF;8u`^5(xhauL#`^DMK~(>X3t^qA&RE>35pt zqkqu;<}<4MfB){*T4%KYYkaK;1m!|94!WwVt?sZOFPE4P+x95`>-cXh%$^lD^B>|H zR%4j&1M)5IZSz2JmBw?282Ma@25^R+97NYs8V;Nz5|Wc~lCK>^-15JK-^Z70Vb561 z#9VqT_H)uES}lGs;{?h0Q3k3|4$k4lqQl=&s^*N$KklNILmSq2{K^332+8mb1WL3_ zCGOku?U0cy|J!jw3P?8rt)E%XIJI|fO~92Eo*PS2TEv8MtYDGN8r{_=8 z6B@^31>2!lF$4cZi8pRBaa6EXKXCS>$Fsr%&9!fjm%68s0f``=TmFu1;n@5(y3;|SMwwO1cu(f3rb|v?0B>4Cl1rS_7 z<{*FI4|;-46MB~<4l#*hffoDsq{#G7-q~NPNSh`js*N;cWS1b-dSzl;B3~c?M1pWw zftUR&#F|XzTOXk?F4!oEuR;)eLm?@q<92 z%odW^G&jA{zcBx(c7e(IYBdkLB--PL#K*r?zc0u|4r%<+*g^sQ zKVuS0oY8I|4t)UwDEhDJv_4zspwxq+D@^83EN^Mm31IBjFFsw^ETaPlt&QTnyUFD97kX~7m9vOl5q%wJ`BubSKvNANdOA$nTkv|Ss>@`oyf+=O7h*nlQopB=m_ z=-^n;k}QD<0ET|WotxDiRKcxO>o2$+XjFhTgBIW@z>cBpuAs_etnd7Bg#k%a*H>JO z7*SvbP_9O2sZUv2=~rOz03TGGJzbZMab`nbE1mUOI;rj=Z9r`Ar;%3B?|o9oTk!z7 zE<>cGYt~ePO}eVlrG10jvlJ7?W^)7jPsI#4<~jFmoyHJr=02^`7$`Av8i(j$0VIXH z>AvTqdLN*I>U1=u|I^ca(c9Z+@UZ{~6b2lD5gC3Yuz^L|m>4m8;IiQ#gZUq`$Qm4u zoEC3E+aVbX9}4K*DU~O|h{^U@dLS>;;fc!Hq=fd*#9mDTsaLzi_kh<|!a$;z0|K7az-6DK`K%xV(?Ksg(%{IE#wlGFA?%F=G~7z z9(R%mvvP#U+)CpUxs`8LI9ISntMB7c?^7xpjawa*p-4_aZ!|7F&+ zyXe`1{s;&RG}{g*o*-P3(_(AXm2#-c934%tRmX@i+?hDX`VB-DXIJ2JRKvOelxcnPb$LmLrbl%6gG};9C+iQMunGM-C!9J<7ncnAI&4g z_BS$x`5pV#dCbmKYmi=Z3$T7X%)fCepwr+$d2*$vPyI3rdSpT|Xkkv%iDPl>=vwEDNNMZ0C#oM zL=N*wv;AJ_AeCwO`CrDbUM2xs3GKwh9}W-;F~k+G+zfp0_7D%i2nIAj_jtiviT7Mh z^c;YA!7#^r&&}I8&6ng)o1jA+IE8jrCXS_q1`yVf=6c8s-V+1#6L3lzl^|R=1Jnpw z%$S!qpKmb+e>zV}`Ev~VZ=N2vLv=Lw$GX(1p*KMywi0lb(4=qDG$S9@qUhq>oJcS7cB?r_3gQ)n&2O zniUkd(_=|=nlI>io$F0f{&zF>PR3k5-h8Yi4{>JF-WRe}(%VN!?J5;ZysN|4c%UMZ zE?(?NF1AzLnXxP|{Ar(-fO`LetUgty%LjpBrqDqZdNKwfFcg*m`M5T*V-<*S@ytd6 zb{Lb@!`qxC$b91)eMWGQzW^~e4(L<1lBdLoSq?=)lfLJtqS#?a)6%NB+a?m@(Csi)E}(xw|@6+sBoc0iPMn2|=e%!s_T}-VA;wL=y&G zG+b3xT2(30+@ByC?WFr&?PN(ML_1EBdY6c3baeOJ^Sln~D-kM~#&4|R2yGl7NJAM$ zUtDWtmyUY3Km5}L|EBs;A^+b1*Vq&-4!&c$8!I&4AO^NjD;BCk1(ZbCRNC zvN@A_eN(kJ8*xWB;3NvCo!eI)XawIt$_}?AF819JvRkDmMdM-^#8?Hr(Y$QS%>Aokss+BD$%524|u?c&Fe)50C-MT3lm-j7Yq& ztu2a@AA-oRJoP={?=9h1Y1&-(b-hkMakjW!!Cew?_Sf_luWxK*%XW&2(#)SuYkVeV z9oceO^3@1~O1>?NK^rel$#btp9;iM4fkh_+IZ)W$z{a8fpWD~eN&vNbJOgI~xLf-4 z)x8nao2*~eJKxKr2Hi`_mNP;?WCXAw#JT6T@7jX49|5fVXPJMZ$x;r5i1mff)533t zj9^Lo{UrL1UBe(C=6S8VT4LvHF9xv7lhe^qfWJh?CkM0kqiycAt;PUu3P=`F++#-P zJtd{szMGi2ix(^FtB+p^^nGnvXu7DYi375U=S`~_@N4;!4C=PZz@acHf#Nxxnao)7 zr6$^RKW^XLxmpE=9=C+OK34L#RT0!`bs_;JuGrWg_tVRgxXAM0a3HEa#!u(ZgT3^+#IAwnfiO7U56BOaMMe_C#y=KwB}iF^?+#n4oXcW%+SP? z&(E4PgLd6Ox3|RAQCAVU@7lNsB0A39OF(N4{3J&Lt~J}F6-~Zfopx&|PVO)kfY~NM zT5pl`G3A>q)4GC1^=RUF^_V3wyRHa6pF<$B6=xs*2TqR26AfjHwehC8o`)4{fxeOd z9KS*j_QG`0m5;WPXFCHBv<88`>Yo4TWiDx3H1Ab}Ik*YM2CQ6YKF$e@insh+{6-W?KL_nGprAvqTq~GkC*xeF6wWC;4X&P>YT!|(F7P|??j9PUhyLl@$3vcqnzz2YCL`it*|jgX_~z0TcxYFvf%8$V zl8MJoq+?_g1=H6lROSsZ317Bk@ixjvgU6;z7e}?1WWk^4r8S$fqAj3b8K5ul*-39- z7ye{Jx~Z4;yGHa@AxDL(_z`kTFnHqpGtRcuXsF2f2&p8fju(vQVz&Q4mqBaUS?Dfj z6>9o>iB0;1Cz#s_Ml;DEPe*7?DQYmETZf=>;?6cnjIsO(p#qVGdX>hFKF0Srjdt5o z`Omi4e(Zbjq9qkLxF<6&dFdR_XxCsmqp*m;kU)?lw#ZtE|ilLGS)81Xy~{c zxU%{u9LhBn(PGn?6V~%;5oodXA4;Y%kWmKN&`f93lD%QIR;Tc`&A?W)(VB8%}yG<(iX|F`bT zX4?sN8jO-dPM3d4qwHcjkGoqp??0d|*D zpfyp!e?r|bBj#n@j2oclmhpy#ChM^`N&8=o7`?WSd&3|;softzb7E=mPbhwf?YRHN z8Pq0I{vX~59J#3*3JG_pKQb(GB{SHwHK)_>2@=G_t-*)}N_ieRa2#uk@&?Q zr6~J-=m`w53tg1N^(UeWo4z^$9=ErsP678K`De45t!%+3ypxC&^*!nRbs0QTD-6LB z%5w`=QS-_JW-d$k_G0&){vXg#Su@J=O+ljR2RM`G^_}&8MAtcflvf4d@oVisL?r%Bsq$g}XtK2)vZ5jf;3Md!+4ZCqtkmy}Qv176JG<71YXnkLcLs>57f2%lhS$9MM+U5b0@4?GB~w zjAmX+NT&fo(F0wRTn&snMpXY>Q=WukGw!1+&MsHvT^KMXiRKf@-XJ@A%5}pxv~Vh_ z#$)AelUb~dJvCdswcV+R9C?YAF{f@G05S#FcDcU*z|m~X zaM`J#0d;;d?#OEUs3co;Idt?6a;6P#%+!*vO1^um2~bm|w<(=i&fSS;UUFD6K4X|d zGxA->TelGs%%Ni`?vLdR`hDDEbovmCQh*gfQ{pg(fH5}{G%WFJbJD!v}-CJ+F6#EWj z!eRFY885(6>KrjQe^XHw9H4E{Gt$Ce;kBi5qvACcy?yuiZJO5vhc>Kptq#+iBB@Tp zR2JZ}Hr?wV$ju@y$td~rTMsck?MgyVhc>MeRx?%SCoUP<D|49>%;qkp5DR`xF0yAmQjHgY|jdOyjB{Bdeh2e#6eQg^21SZk_1P+X|=a0XBfz}%xmvFs?nsc95FXi#ne#UFO06tF&f)$+rIvM|# zRtZsmNwa)tLHY`%rWD@J!@*H0S&_qijz43>F2+5Bp3%k+e$@eApz&U1BQ_z_;Wj+@?mwJBv7)j4$PXIB%7*Lb? z-QCX-PO76iGvmk4j6rHp{B8wzwk_O_QTS`kr(B=ku8Vikafbk%0R3t9VQ!rzakB}b zgbVR)=fWH5;-$#50kc&*}VF*tWW) zwPxV#q=r>2Ro(G%J0-@FD!NTtNIe9cP5tfVw|CqaF%A=P`JDIt>?Sg{5P71cJ)p&9 zFBz~t=^a0K|8WTsH2azx>4O%aWJ4bgp&oWj2~U^4mwL?-)RAFQOkzszeO+z>!aYd# z6FQvFsGn+;{rF4FZRAOjH$ZB%V!C_Zy&XRWv!2UYv1I!OJ>bdPvSAr@u#+op=-`1YJP&vNkWsdVGQ|MqZ)3ubFeuoY%OlVqY|tQr5fGz^7hr zL)-3HYa=EIoCV?{>9sAXt;@)r`YJ|DvX0JFW%rE2Vs35*Zm=#~N^t12sG%h3(9apj z8_=j&Wyc6G_GReNn2X?2n0y}RFqvE)ng11v8@HAG5HK?>gz>JoUBJ4`q%jp(Tr&*+ z)R-^qQr&|iyY*gY?vtC;SJ)TujgJ!Y!DXgP zZh5gv7dXjE7uc|EcDlPG_S%fC%o`$oW4qO~BU49WgpvLn#9&8almB7>FOejz zJTo%<9h8~ye=>v99h^*MF=)%vEJGF9^;|#jPVye@tIv5a7AI~QwWbU)*4xfwU8pV@ zqyC-MnEXd?N}hxIO47ym%v?mcRGhYNMW;_D*Ebwvd2;{aF~WFs!eLi17iE9-_qAM^$xPnaZ8l{--qfDsNLOoArLiJyD$5vC&uz$KHvtj54H*`+vM#dS zA74M#u5s*HDo-R82z*4(r7_Jfz9}X=R2t=GpK|vuPR8|A`A;h$sy#G!zMhJ)+dx~f z(5^IrNtlE+1#WuNBR0E_!y}62;hU(;^R)urhqhMS$p`PXdl9U|#!!OfVOY(xpt_-c zCO|}(KE$nV^s;;OHV35(l)TiRdMpv`V4is0x}!YXvXIXWoGpf0?}Ev8#}xoj5V~U0 z1qnoU%cQRo!>Q*D%6C+4LmY{*yg;+&-;+ohNes^1eY;vtYVD#HUxK{`hS#mY zW1{B-@)g+tk+S^aHZ1n;p1?^_y7jP0pQlu$2J3XM=C2wJ3l5QnC{!841Sgey9b4HK z>TUIlY+n+$@&Pp+x`(uIl$}Td$@iCd4GYhJ4}RdOc+uF4mx|OC+SgK$_8dWv03PDN zz~~_ujd(&=1|%+Pmhzn<&JMc-hn?^_yXg?PZ)bApu&zuRk4zmcB|x9)!%t$_awsyj z%EX6TO|)HG6){QnBd;R;6&Wp-{nsq#MNPpM|1T?A<3D(RZNJ|*a&Q5*Kh3vvLn2Tm zIfQU&UI75^IK)<`_$~L1yacS=AAuYk1<%Pk%(YGnKS#>V>f%lm8WkCt8Bl=1+>yGa<+)fJ z$AEp9ySPl9E`#}Dc5jTzq;6RSxc<5hHq<-2<~eC-!Lt#G25^SPuAq(*7A~F)pg(ong!}NpZ*J`-Q}kM literal 18608 zcmeIaWmHsO^e{Y#fJ$3*C?L`yjf9j8-5t^`okOXJfaFLB64EeqOU;M~2uQ=wC7nYf z3^30f_4j|@_v7>JdDeQ*T9>(T?mqkMv-iHc4v`va&xvnQ-vWU^#9&1^Ef5H|69mF( zynzqgQ3>F>0Di7}%7Arl04?x_bp&vI(@oLP6X-vVJ#b_mfARxvQhCW6cxk)Zdih#- z*noU}eYqW8I(b@IxY=;Kdf0v1eM$`iF@nHy&vg9Kw`YCR?;c-v?VoP%94m+hpj62; z_mL-;50DTepfyO{OKE7rHT}x1_-k)|Y%^4^NeEuw$1;FQjvsuPl_~L*-axf-aPB+vv{E|1NSfttM z*~ruI{lhrV{@%J~5|Ff)$FwN`I05F@g|sr^pHo(hD5-9~FHk*^Lm&$yVCamK0l)kbGDP%nRcpyt&SY>($-ewZ06t^4fL(Q0qRMCRULFbW%$d zP=M;RxMrdFP~+Q(zS_fh5XhcF1&#+mDk?3~uy_VnQdT}@!57jJI;?&*EV=gr8Xg)CC0w9 zUgNk2I{MQFQ~ZY z{GrAMGB;%w5CbyZ8-O@}|EOkYy3LIP3N4ZWSc$Rodt<8c9Z)Ee@&85K(DwX-{BB;N zq~ydO|46$N3jhmkXJLNC##HkLplYr65`J?p4(RhNmNi51N$4Jc)BLx*jq02uZyg-! z7{pf`RBL_Wzy&d0Udxc%)yN0cSkt7Ur+J)+p(!TRvb*l(;!NJLLxJwAc(|7AI zZf;y^x6yQsE~F@y>WMU}<-la(ga8yuH{(MA%-*P6xq%+wF{k!4-Kk33q&dGUHn0{d z7`GM^_D1mKFJ`*H-z;T8gZ^O>{FwZEGyjz&)B zH`h=IV#+X@(ZRCkdj!`&($}#oJa{8Tr`2aE^9a+7&QNN0+Fw&siL7AfaX1ic6!#Rs z%nAzv2Mc(=JGEzB^yf(Sfc+EEns<$mzVY(cI~+09uhYXF8mR^bjLnaCt9{ed26ldE zbERzXKisst4vOH$$}4q3R_*CX?7fWGlA^s@v8Ul5x{fZMYhjQrh1IpvZ^e3!6!kE8!$`5|+Dtq(>X;%k;XWAnQn3Fk?FN&x z%{}w?EUF}xee_UUWtij234MZq>Tm)yKsl<2kN^a#z0b-I0zG_QkoN!@u0*YOh>>-o zS5DD+=n#`f;%FGRPY(`BI{KKm`N&LIYj~bHWAL?0GB`kecpQ@js=#Lon8tV zT2O;RBjm9ko1hNmO(uuWd79NS8(-5ZaH_9u+k$B>;ChNi+zz?Sad{Bt%f`qc9i;%1 zVJ|RVSgT1?z96oo zr|y=X_f(K5YAz&2sAi|c`uG|Fzy7c{6xmR<>jzHxackZXCljMHJj69~Kbs0fb`L9a zwHYCMhom9x%=uvUlzSRm1oP(1_wcLcwOLwqQB_IMm+?myWYfpv;NdK0Qy#W9)IJ5X zDcS3thDQS92)|0rFk6uH4XmoMH+o%qv*6nC)k(adv;X^RrvU-1-M8v)Lg5u>@cdKq zhA|DWud-Op>O5)Bt)Gi>_V}P$4y^PiXF5^_KJQ6e?qP9S_xx-zP-4@!Ig=UCeQVaG zG44xQY_j09@h8=``SpZYtUUnU2>l>%AExlbXkZ*N?|L~mKL(9*E^6R&uYR;?WY-=n zt~@o?k9J{`c>?;Z3QRK8;KO4ls_gSt1iIUZq?;yolYj|DVR;7tH~1Jpfsy)*$6rTk zohaTrcse`0Ju^jlDsOM*{rh!!0Lyn+75>ohGfP~{A`962og|tdISH!dTtrdzZjcB> zA`PtWMA@6XXO5JTEp1GL(C0MFTuHSf;Q=^200!T003&>s@Jo3LV_!A zu*dV2I@e;k!g11aqr=*F7&8D^0XgiI1=OFbd#GhhYWIsH95a(hXb; zJ+L7TDxXI;D-280Y~tnI1m@t3#o#*had8SY31m)P%NLvkt$*yc^wbzSdBuXu7YATz zf&Hqic_?p|d?ntwf|^u^OOCs~sEDss;`F~RcN@U-I#yv-4NSiPpo?p1Ra2WE*eB&# z0)vnl^}Sv708ax;w(tU=egrYNI{E1VDLj`sCOI*CYA)wIX3hrc0Z>HR8o)Rdm=c-l zFP3A?g}Hg0>Tn@6kN@&~{On`uN{|sivafvD4*p^=i#?Za=yML{q$v#^(Aon5+z2)R zeC4~4++l=;sESrvslrNtAQ2p)$X=Um2C@ehG_**T7e90l96xIO3K9Y-+J!zprilRN zz<8fL4M&a{p!M~NLTdc^1jpd++%YI@3Sk0@Pz1QN9w4K1uK@A|%>y=h@06zpuC-;! zI@YqSATniYG|>s-GHj6Ob02`328ZVG3&HKnS#_-ffC@j*cp&=_0KzkX5!|RTEODE{ zIru-$O=kYF3bPZK88AG7ncI`U<_k5rXWz}_+WzRElMo37Q2dP323LI3YzNc85Y>#X&i^*;Hb z=46ej{dT9^_da%{rJR!^xiDw*IM@L+)7IOjfGBtBURLdNMtl>Kq^K1{#wcZ{n=W8E z?}QRAk$bu>;WIvaw;?-=qF*wkY}Om_XTWKE?cNK>2imGBx3{@j$VQGR(e+#?o%EUl zh{IexeG&_#Nk8$vPX#y6?r!np9gDO~zxI3jt5NDbk?JbF?yPpJ-wW+_*7-NTbZpFq z-<>cGdE7|sdG>9RqO`J^L=L}U77vtA0#RoR;;f6zuHm*u>U{boc#Zh z{NqT}$4aJz5TWg7k}*$r^{ zLzB3cSjrlw8D8mQpQp!w775p{0;-U^6rVv2)) zKgrHqqby*s)_RX9AW$_y^Q2UKN)^H9L6mW~0ef-kAS-0_I3=A6-1B4mMIA-csRjy; zyBRoNVjkj+nl#@1{rkRaGpt(6AL5bJ%<;V0!{@QDer&x<&q)wM-0q!6y^HQUwT$Dr zQ;u)m5z>P3}yIc6prB}x=y)f!mE9`NPuKd24u6|-|QFyB^-90cym6?riXtw$n zV1!ZVCN=uAkdK8IJ?=RUG6%f9Z?6Mg3~H1J>pm~OCzjpsrc3;ong4rKO-XSl?|XE) zQaAPIpy}k2YG(6$9S|MO^uiu!D~yvZ(OSq@)-q+0d^}uHDT1fI8DEa%H6Pj69M*v| z|8KPvUAmv5YMSr!_&QRg5RKdMOR)8|B1_A)&fuo(^9{=KMqKSH{oT|a6XyH@y9j>Y z9g1su0m>Hf?F%u)Y)ZOv@4 zsr8p%l0p(=bZJ3V4zOxw^&}SLj&XQzYt7+;tm~G@`hvMo@P3wZ??Jt3fzV8>pv*W}{(s-!2f*ayg7C?X505JI~5fJFfSP%9C)JKrUK{10OjuH3kj=mxyAh z$8=@coo_zYAW)aT3YQd461Yh(=9K6(;mC%gek~!9D%|QC2()+_Zxr0mqia7+R*?77 zLgW$Pcz*|{J>GDs+g`3Q8vb(Md7R53Ja6;9bB**cF;pRZ6^L0#iz|K@>qRFRA;S&W z9GnU3r>BIzH$tmrJQYD8){RFSGGLw_>S~=w4%ul^XDtQD(`|Yd2gs9YQ|=9jA?w#Z z=oQlj5twe;FA(@b91$5(bh#!R73X2sCtTTZpgvJo&ZGPrYxp|e0TNG@QzWLzDtE$0Ac-p7+?xJ z`rItk6Dum<#$0+iw4pE5J>EOctx3R(p->qURuD*SamOV{R|{_B!`BM$(uJ6vDhB8v z?Q1pCI7`N-5X3{dc&I}uc#xnu3i%W%{$21I$eCB#TivDXU|} zmG9>q&=w1U^nnSV(m%df@t>(S;gT#1C`$0au*$D-lK^f0G3cTM7 zk1r~qkd)*X1xg@kPWN7F2|-!CBC8{vy>pH|E~jziQv%QpzGO;!sbWXJ#aAV5piq0A zkYP?tqryj5rrNZ$9+lCjVV&lVAy%Pzi)B9{udTyV#bR!;{)~)_%H}WGB&y+%_(@7s^vpy zzs7XR&+DNd$G~+T%$&*ZNXzGz!!D^_0v7C+oro;*=3r$RKS;XtAWOjMlf9H2lPh`= z;6j$9s0X_s+VA;OEN@noVeyGfTd>`?P_Zd}Y8l4CfpNq*LL#{k2*hQcf3Wrco@ZE< z*T};1WSfH+B*Usq47rQY+PU{E;I5T^T4}eCt@2b+_-W)5hzRI2pK71$vp7rV+?^YY zj|6#hM(`n~c}ovu+r17}gOpK3W8U)`}VY zHr3NQw4!h1)m)o5my|tvgju!QLn03`SwZ1PR-eJn`69jBCe^b#*U5y zD-|*~KjLdc+&HIyc)9ZH^e$-Xlkafpa~7N4rg*qX9R*Kge5_(TY-(;<71peU-`WjI z%$YJ`ASFPPPF!6n3b(*bfgRvKo z=^o}4*vXsE4Z!HxywY{K^aspI5f1`EWSkgqP0Lo#`M`A*SDKvEhTL^cFpX}5aH?^A zDCIAy?+&@Yt=@TFH`0c@a~zl4et{in=%WCknjR*(Ou|y`I$7POy3m5u)4X>8Y@Z%2 zm$)uHK4TWpZzsp$(gYzS-b6Rh^WLv|S;k-9S}t$0Ha1=*@0+75uP)_h^gxVAK8O2* z0k0mxj@3X@T>wqGU{d>dglV{KHwDON0}P23s3Sm@&pbca@-31Lip8jcHeJLAKM{pR zVt5Co@0e58>*9Z>55IdY0&m3OP7^2WFE&dc$UhPZq02iO3AsU*V8}ugxB=yNE|uR&j&s zntGdN_jSQ%F!9?l2yN-Q)^AVl{_c6%U%K(dU>5e$Eitt(&2}UCxwv z;&LwPjuz&jHPKD?4Kvi0oD`5i_woug&g^G3e-Q8A@?U>TIE;?rYH039Dk?|upidHN zly=H-N%*b8osRk+X!^R&B%d;Dn7261F2karOg}e!a#==fzBh(MyjRamL0WxB2dRDW zshJfF*NU1hH51u-Ez`UeTBFi(eijX7XX@V-lX2*JUD$Nj8SSs-Jqf?_G%2YIY};h< zC7EhJ^6<9Uak{X5PnojG&F+F(@A}TYncv^W&BRNlcEuKG-Jv0q%ptIh!3jSBI zU-}5?8BD8u(fhVGXZu%;54hPbYq*zUFY^wIisgOAsg&|}C0Mp>O|^IHo8uKn07A#z z(;dsj(&E;EZ!ye1Zn%k9({|o{a{?pHlIOk4Q;f)a&kWYp^nR)B?QTJdjx`6a4*UD{vkH`Ck5d* z0VK81J-bE=L~X4!#<& zBj~UHtM3n2gR2omum#l0f%Dc474u-W@3OoC` zen1G7kA5r9+klY*b47)ow$)8uQLy*os_*lyaGVp<(#f>5h^xFf&2GL->Dr}UciqqQQ>;fXumLKdk>Q7b9A$%^VVwV6-~awg z(f0f@@P8g>Q_?8W8Jh%4(foCO!*FDanLa&eZzu@uMJi!ofGS^YG>pKRH51q8}XzeJ>8Uuy5VqdF^iPS!Hqudl5zj^y53b|K~jQ!5b6W zHX=mTDChWf>>W3HZ8+7Jbv}IHJe2nZv$ypjW|Hh5NTS@`pIs50;q$*8{$*CuyN)hN z|Di)dlppI{YDI(vv#7uyYp-WsWuXLwhJbd1(8Jx@>K``ZmhQ}l=3O6w2q4fbzLt&- zVUtvU&NViFtYT^`8Ufo3Kma!tj`|Om&s`$bRKMu|g5!Y#;OPFHV?qCY;l>kSqEB=n zDSUr3r{CIm6+6j)9-%Y;!6)O8=zJeyP{czKn3EIqb~AlU{yD8@dUzbQi?87`PbzG} z4`}u>4&cc0)(gwNPiUWvE>y-oMMhAYeAC*ZVN{%YWpUHsLm)~DSlg6ea$0(SBe$+T z`+LqOPwyZnDa>*nw1+!wsJ}n%z7{L8DqS|TQ;JGpsBM?^7mAtqnfdU|?}PPQr(p(J9<`usV9RA?@16(IbJ<)4V* zFB3%C4Q9ScLN>00!B(A{drWb$Q%j|dZvVp>q==`@w4VTH<4-LB#K5Y9>2zSUgh#S) zv{pbuYz^GFlq;%L{f~KdYftioR%aXL24zoYSW*Yu0<3i(gecr16lRE@W7zS@{)~LYz+MOi@+DPwOXbQZGv6pM;a}2_y$#_6h8PW5QIyzVY9EJ-)>E z$5~wrBd~iMUdw!4o8yHSox2_~?bd%s3)AJqTT)*e80k8c)UmZKDCkt=6`}-^#Xz&T zFWWuQ@W_*h?!%(+J;8r$<|1NB`+E3`kig4Q0#zr2X)7%D?z#C-#ldN8UTg+1=YR z|1#=iw&4~*4`lvheT#d_Ta;Z7Wy4#nicM7!cmKR%@Lj_Zdvc@1AT5yNJ{5nE?Cf7? zWcV{yw39>#1`^rgzqJY4%?5Y=X@vV&jd0ca{htmX0EG6*$3Q|Xq;F9sv>X4;L4h;Y z8oyWY@3Qc5cpv>uLrYWgCW=*`nb*Gfrw*2Q69E?+csZJW>4qKuKOIKVEmD0Jll33J z$G>O#q&aQzj|JTru{yH5;lCvaf5snc9j-j5X7!(rmFP_9<5iu%Zt_1GP!?)2>!1?% zCjc3SBhg77+ueX2mazp;fY;R{IJps7#Q&z-zvMgi`kzw54cB@uQscw<-zvParX4cq z`cuO3?PvTm?pXUeDZ1T1suig1_)m%dRHBX2Y z#es-<@5%a`-jlW9qkFl?JYwmCR?r(zv`ETKWHEed>DRA&S&5cl0yJ9xWECHQ~KjHy-Pd4bdKriMg~OTd&mdsNFd*9$ETXg5Yk-kF;wj` z<}?1Q&SAsO{Yp0U*UZfVarlXPdqzBS3dT;}qiG|k(c(+uN2qN8?5Tphe*#J{bCX>+ zCFNYmNY{{C-8%_&7Ik3Re&iR3QB&#@XeOpLMu+wZp*R(jEfj|B?pdZ=eEI3pd`p`? z@SwMP)qGac$JJ<;oo&X&Pl|ykMfqm13$A{;@m1D6_nY8?UOE)oH_#IHYvyH5i*?qb z3yq?dO}8YX{?&8cd-?D+7>r%V)X)qa=$(%rE%C@wl7}!#X-OrHoG(k)EtZ2Jje#$V z*uE$SHWlwsW~;(mURYXv-n8vo0# zueybcY1*iBVF`2OW;_4g)FmjSh$=i4Gv#C_|MMnARYi66!Myls0CIQ6*wU9xvR5i# zH>bMAg=y-*tbK(WCAj#LqW7S|yW8|~rGlkKb-YHLRMhz;=8L3x-Ae1?3(5j26xaZ; z$lPLkdZOeD$V1SZs*r~T>h`_DhmW?6u7);%Ap-_9&FzRqy}Ao3Fp%s**wZquX~m!G zP1!k1UqoHX9?%lSQDJ9_FWY3fKQ)`NU5=~jnYyab>?GaW%G2%KKHdf8cd936-C%H; z>G$Ewq9=ptauY@tYGt6595M7@S-RukeP|m?Nyhf2R|A0vN{%aG(`<|WJ}P39#|?)WhY~} zLYUcdBX@|CYYXm8L)b+CLD4H-Dph~(#z86rG{m&1dV-jF}we52}EXOS7H;=rOa~d(slxb zu;z@b`%Yzi0ZBAa05_>?rKTaoATk^cvrx#p9+p;i2iV6_;s|C5mf6x(9ykBz3AGB) zJpHuE@`h(Yjd@3(W3Nj;W&w+74?i^w!KhvmqX*=NwMMK>BU~Mu{i~ zo~)B2JJdVwfCzjkTj>f?-D2J{xu_|vZ*Q*dADbgLBQ4q2WNtJ2E~coZ7P^C0?-8!G zHK$>@rx>88XAD%9;D>jMIXFWTc}m>@B}e!~Qy*ZQ}4xbf(r$WMMvl3{p@~Fts||L%0JYr_Z?+yh7zT$xIKTc63@A3V~*@ zKm*=p*GIxyvnEGgr-k=!uJk8(BNm+vWhHQG`)<@-xw4z;`MumSVdfgr9A1N65;?xq zl0?ZP7{)H-rGWY|F==F^b5>qowVE5Q(f-xpSbe0I(Uy+kv(q-c7FKO!=wYU`N2kA-_`VJjJxu3(P2k+eB3kT;%KL%q-4&hhG9(LduQJl?=F zZ2Ka(lP28|xy^8}2^8LB1AMR`2F}0r@^#uSw4cz_K{f5MgBH!axE3<$eIm>Etgo(G#{P?U!qK!4yrB{O07sz3HKgu!vnz(yux8@jrw1ENLU7^1 z@2|&uj3h}wWF5C{1W)FY#uko)zxr0!Jf>kT+Kud=*1o$AxB1G}!u0$Wi%WtxxkG%} zy~*4wqNYkey{rXnYV8{X5ISs;eeI(>#a%Ka+=+~O_?*;` zf*?4d?$HxgF_Fj+*|>R3Q_GV%w7H_Si?s+IhonFs=Dq;xtsGJTKlH{5Vzm-8DE%nG zK0PEZ)z`(E_2lD&dOm^5<8{6_+J4Vfw#k_u89f|r$OM68zK8IqdW?~f?@o<=8kDxu z?-3n(kS5r$%A3|T^&>)l*2a_;ZHW9qzFXx=gQ-h6?3nridO?UfU=km_NNcyJLrwi~ z$w;E8)OJGBDr{8>@#j$0RKFv2V#1XcF98r~&_vDv{XR)MG0k&sDT$MT?Gx*ykO~U5 zd*z}n+I5JMC6}_t^;JUrpfK>IMWBnJCuQ4V=K5wu%+E*?pIbhC7T4p6@R|7eQv4nmF_sSuuV!IMW(;?uVXM0Bnb-eJ5Z&4Fj+`7vMS zq5frE0x++115c4A0L7{IzGl(HmiWi^UxC>SUdP}k`t~gj)$4^JEnN)4a1r`Ladipg zB&DLXGzK(OARY1LT~@wjZshgN$tAgW$(BD%w=G?)ulI)ZEtXaH^Sp5>yOI5siyuT= zSOqo$1`%@4k#(wEt@H#2Gs=Be`rb-e$9MS##jw>KfG|a^mXeD-YlV#~Vnh9wGF+}B zztpxQ&&JydHu%I&=$iAVf8+|;9Zm7f?>4>GyoX-<=?|z@)G0T zkEgs-ju#;S=g4x1yh%YyGialgqE_V@%t4)6+=nafIDzwyqd$XJk&oA*zmTwoL&=C&6C%In*`n=kCEny?}XHywd>Ds?zfw~$E^^6D4K6DeE1N^(jehsm zR}UZTnSb$VjNTlHo#jEkc2}8fZ7?8AdFhZ6bd1U{^q;CicNp--a-p~l^6QK}rftmM zsZ)N=zO0_IF}MH3bKj-(aY-o&I{5aC`@KTCX7gygrHN{GaeWTtj$=wt4DEz&A+1D? z>B-xAHtu2p;kCO{rubwDU-Ypa?XxFDTZH64d3VY|5e7#$fGi!OpLKb}8o&KHZcO$c zQ@`yA5mjl}{UMbPB^1(Df8356X^UtEIrcYIyVALTZ{U0|A!2m=Q_W5G^v$c$1i%-Q zUi$A@_9%HQ1L>g19}neq=cq9#hsv`a8*fnix@;_+`zInItw`4VknWTcHwIg<1!A-h zx2UAm2(zjb9~Ai$oMF7a9upmS5gpn&h>gjFl6{uq|CP#Y^_lOFI~E4&6_l3@mi`Y% zYTy!AEc#XFpI{G}fcB#{kzf0Fu2BOOP=L2QNJO<`iryL-~L9+TKAc~DN)Gxk`&M}VgnlkWtF>zA zTl78YA#(XFEZ&*u>Dea&=(qZU8}S4%11{Q{b&X6)-Gor_7k z{dC&AFcXr^FYa^Dy4vN680|cE@?Ib6+KO4r9PTj>9$sEj8>XT#E6A4$uCSvI(Q$Wo zKc5v8cAO~U6QU=6tqGLD&xIV?aGCv%xpjB~vzxyXTOaHe3+O5KXml(@`fa_%u(Js2 zGId6eATU00F!mC!jXGh6^&dk4`;j4=pYRx*1}n+W+p}KkYk5Qk5rlm%HE-2IAAMWrb+?c4e7cGvHw`bkDMW?E~Ju|xIf$HYIt7(TYg!%f1w(~g3<{fFn~cyg;u;*mXW-0DM=-K`0I179YdK{$ z%!VnC@1_M_B%Vl7UeC|_q8QS2(QppblWab{S~RZMl!}`v=`v3(8Cqghgs#G`pjW5A zo=k;&Yco1%_XV(#Of3W=TM|C=8SHG_P;0#PQ@DBd_q^p33Cim`De{EgOSOjpeV%7@ znTMR*jG>g!;|V^hLsdasTg~Xi?b!NvPBM&xFHV$A-8ux%yCfQvt0igJdwRWlf4-YW zF_Q7uV1%?WXXr~g4$=V6&?oe6@|=yA8B_|f{Tz7am8Av9r4Ar5h*|gd+!vR1=Z8TdDdLi5=KUDy zM~BGg8Km<8x~KC#x$Nvc-h&p;?ayT~qd{>P{gHBnd`7d+Nb)u@@m$Szp?uS?aAWVw zqg0PZlXK@e6RxWhjy}KTd9mXeLKbk=KnS9h6z_psZxY4Emb#Rdj3u(okpGvZD#7dXJ}JWIfF+pq6pZ3HXyC);!RHd0)U zDA{N6^{$h7CH+#mfcO^;gg$EuK39?8T@#)48^5IH3n&$`6Mm|{-7{HEp4+v#+m)#U z)Y(scYBsL1RU5C}dWlr^m0;92NteV#420Vs4d1~GBN&>VkLl_HY<73{>~!)EdQeRB zGlvbTsV2VWHc0Yitzt;ap`>c_)qU{rC!VKebjHG4yN2q3D^}Pepc=HlPp}j8ShGFi zprVx9^k{Bv-f`IC!`4&D#Rag~_75v&FrZ~?TKiwXe{@JM<>YkvAzOVPhoI;Ixt38! z97Ya5;SUK!)=&n28+2)={9YY6Kp=kOmkEWp

M7J_6IqK8+6XV}5m4K@xN zar0ZFhup(#YZrQ5YL_u{!DpfXU!wOIKr)*(q-&eKaZ)-mGC8&gA$==W+Fy{Dn}%y! zwewfp3pp`sCg%`98PUd2Nj=L7645Vk*z6Q%7#!5h)iu#6g1m(5DO2za!csa)j%lbyPoB#+S7?I;vw34%$x`lFi2Y%>ciQ1zEA`XByeqdu zFYxe%@BHw9RA9-hsQ73;B+f^a=^oW=Q2&aH|Au=uU5+O2MX=1H@B6`?f3l55$_r1=HI=N z4OfP0X^o5)E9%-s~`2V!cvYB9*LdTe>7LM3A-|?A=g`i>w2l&@%--Q?8 z;n1`JeDLOMNGS9E8JUe_;FfMu@?EEe!Nv30G2)P2tl$=}nT{^(U%d%GhgZz|tWOqZ znYg=Oa0|2vCyI5#qoPh678}gLP=z=eSBONLHx;hE%J)-B9$@=QPp{HgqmwY5NbyRm zFc{no$9MHmf-#RdJZ51rJ|#)Md+%+fQP^}&+MSUERux?tORe|wDbTb{^c)%;Z-S}< zIQaqW_Dy%nXcQsf#)crw1#Qo=viz<86h7T~A6$>RH;ag^}Z- zx2LN5#-(?(M`}j2<_4~JpO?Bd5+T+cC25p?J4Za4bOO%K8+L2jFrHu0L4lzI?}vZ= zdZ8>QKDFQ?UV8xCw?kc~E2@;D{hu{w-{ccQFaHSLSF!-~Lk4Yip=P7gcgt<7+Gh zNx`5ZrnyE0bWKfJQaG~P(B%Fn_wFiIa|d{>k2dO}j)Na5LZ^35`t)`&Cf>TxVhj)%+8;hhk6e8D){qzIG7*Zipc8?!V{m4tvbwx+iH6{TP9% zhi3&}JoB9ie8cR}*-E+@Z{G2>6g?`G4oHFT?xYvxg(wXF!-mvf-M1fxSVd zX=qL#jLhetkdBZK~rvj{#m1b-)im%K*5sQ?)jjK{62SjfLK+CL-tlvO&nzpzxmZ{b^GY zXCe5i$^MYID|XwUNz9v%1()4Ca_0H@EYLg>I`Jtp!fr}?26BdI?U51hneIX`l>W<3 z96LLw^Ilp?*17MG6Maq1a=HMKKdFc_c{sR+rg@|&pg};L zu0mGG5gb`=a38w!;3(Mh3P^K~XZgzjHps-nnQm{geK+YmUTYRm)O)#iOmTj&M2a3bw_})kuC-jaqF>DGlu!{pgfNM?`ful*5nJg7$~d zM$I0L{h}vi8Q%LVST%OCx{K`coFD$ibALU3-jr%oGU|Pl*NDy9Mj;BJYv>TUi#~lK z22XOzeRy&E1JrxTlytow)2uTvkecsZlCl-1J)jj}TL4(n#hBLL(F(g#W`*g8)1OZ~ zJ5pIU&=ry?y(`eJrJ*5hwK3e9tgx0k*rR`30;6`ekiyT{lN<TM9AAJTGeoz3+G+l);DoCy{(^oSh_FA^b>=EQ>mLkjk zY(Q#r#wsNL2@hOFBH&bax1Y8TJ-=lH>^|&=FGt1ipisW^ zJu#pDVciCm@%h~^@|cgJroF*Nc}(i*u;s+NWrkHMuJFBD>_*NEuc^srJ8J{_raAKS zfre{U1Ntt9vrF4@Rs1~1quS~tdFFHl%ZZ~OMIS{*-g;FaC(pY(-1?3_WX04pWPft1 z-anVVacjUk6E*89J%}!X!LVQHmtU+3uCB(XU(eBhvja@D$04re^p{&Z=evjM$Fpl$ zNdK#eV#Lh=hEzK7tyEvBu^*RRKoVbSy{D#NGlWN~WTYR#yzatOOaJk(sZNzmz8 zVL)&{r-YPUGOBSoQ3qfs!J-}P$MR}&U~{28R!hsHI`eFN-W!$WI=H-4SY)+U`l9#w zjpJQm=^8UXWntB3=}$tXW3nTz<%bu5!692;v12T>(L5k^bMk~NfWjoW?$+VK(Q@g# zqYVPo`UvUVzJwiRc)-a91@zLyf5}{6CE7CxqozD?quVD}FWUM??U7f0e&MvK!VhdZ zSAd=Ubro|A(^%1ahnl5OV z4ZaqFMmrr1pi!e!Nxd5^(b7vKX?YFs3otN)XHvnZbx|kxiuALt#N37##jX-Zwpvb* z5C%;pM;K}z_Z`W&3u*uGXA7plIK1<^LO6k$*~Ny`kfhV3c*n^W6}xV)kssFkztJt9^h(wAKo8X0V!Uaziw50io3TBLkl)< zUIot!JDtoFjkkxJ!x(0tNNpO-gxx;AqTa z`N`XMi>40xWI<+QUtNrfukI;>(Lmty%jjNihU2<&3RMEhF@&V!XgkL^S#%Ji?@ZnK ziYqLhJqhr>Wd{_%7#%?;X!BD(hR|W=WnUiJye$ zyuiH6lh0E&;PUU261utW4tuJPDXNeCsOFqK93eO!JYZExv5wA7Oa;?T?wG|1y^=km(d`Nk8~lxuIO>yNoNz0P~pW_g2>H#}ba$TStN4MBAo9e3&9 z^%?d(wm3T9zrZuPI`V9KG5Eq|Zm$|C*(kFjJRnjylFrS!g?TlMdW89G((6P&9+AML zz3RFt-$m&L#OTiVU(V{awr=RQwycbBb)xr~p+SC(T1O-Y{q0^aSRl2Dl5s=pmQ@-rnP<9wmjrHPlr7&V5t zGg)zRHm1HlLGj$X*O2hp!^`M?nhNA9Q$a6pmr|KSS8+rICGPHx&ae9GBwh~txQAZT z>HcYEq5xKVpEY>xo31lYhQ7k}Lh;Z?wMf>8?X#rB490tzd)$#371Oq9i_c&XuQTXy+MwYd9%(F!{_>Us89310`UZ##dY$=MM8&r^GG4(HT@)Zd#$id)M3f=kGw- zv9EV~>+4>&e_Ep*=&@y3@;dr}M<|&6MF)auG|tY9KR6)NdD?h!frv;LijCKRn5gbwgTl>T@&?vbq`}E>&qfpY|;$0Y@6*Q9dI7O7WaL{+~@#ZM8{&wdn|1ui<>|f@Ba?TmqZknw(k_rkkxK_-5dGo1w zT=e9X94Yy&6M>hra1>N7?#+aVMF#Q(ivYPd&?epx)Q!HJ;S)(%V)Uuc@05$Pcw2|C uQ1^7gB~^OLvmN$H1^8z{|2vI&Bn0PH5W;fdBBToY9#~#Yu3YBD>;DB@u3-QG diff --git a/protocol/incremental_merkle.svg b/protocol/incremental_merkle.svg index e6bcfa19..523efd18 100644 --- a/protocol/incremental_merkle.svg +++ b/protocol/incremental_merkle.svg @@ -6,6 +6,7 @@ xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:svg="http://www.w3.org/2000/svg" xmlns="http://www.w3.org/2000/svg" + xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:sodipodi="http://sodipodi.sourceforge.net/DTD/sodipodi-0.dtd" xmlns:inkscape="http://www.inkscape.org/namespaces/inkscape" version="1.2" @@ -19,830 +20,1174 @@ xml:space="preserve" id="svg438" sodipodi:docname="incremental_merkle.svg" - inkscape:version="0.92.0 r15299">image/svg+xmlcm1 -? -rt -cm2 -cm3 -cm4 -cm5 -? - \ No newline at end of file + inkscape:version="0.92.4 (5da689c313, 2019-01-14)">image/svg+xml + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + rt + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +? +? +cm +0 +cm +1 +cm +2 +cm +3 +cm +4 + \ No newline at end of file diff --git a/protocol/protocol.tex b/protocol/protocol.tex index 8a801346..588144d0 100644 --- a/protocol/protocol.tex +++ b/protocol/protocol.tex @@ -3015,7 +3015,7 @@ for the whole \transaction to balance. \vspace{-2ex} \begin{center} -\includegraphics[scale=.35]{incremental_merkle} +\includegraphics[scale=.4]{incremental_merkle} \end{center} \vspace{-2ex} %\sapling{\todo{The commitment indices in the above diagram should be zero-based to reflect the \notePosition{}.}}