From 64c67d13cbabe77d974672f33e19a7c27f4f57a5 Mon Sep 17 00:00:00 2001 From: onryo Date: Sun, 7 Mar 2021 10:58:19 +0000 Subject: [PATCH] Sietch in RU Sietch in RU, fixed mistakes... Sietch_ru.tex file has the original versin of the paper, so it's easy to review and make changes by others. --- sietch_ru.pdf | Bin 447066 -> 447064 bytes sietch_ru.tex | 28 ++++++++++++++-------------- 2 files changed, 14 insertions(+), 14 deletions(-) diff --git a/sietch_ru.pdf b/sietch_ru.pdf index 4cb407e35f6c4339fe448a5e44da507cede109c9..91a9d4361afe0e9b1ab914bb08920faa0e6c8f82 100644 GIT binary patch delta 57863 zcmV({K+?b3q#M|z8;~XeHJ70#0V#i_T3K@(w-J8lubA@FZiNfs#*E)|(MfE%DiJHL zvgHR_+?XsKtB5PRq+cHZeV}I+yQInw5@!cMqc3!S-55RmKIq}QGkwqBCzofBE^Hc1 zQq}}NT>f`3)~FQ15XYdLOT*>$@XP9z(|T=V{u?d)_4<_yHve|`JLKPfy>WlWt$u!e zb$0`gubfGFQkfjfV)z>}k+i~RM>DN%q`l80nnrZOw+8=aI*HerHm| z_41!t(s3|eIUjA6)HoHxG;Ff;ld~Y{PdB&w?T4!m>rGz0{a7fEtN*M=oqycj?%tOd zX{A*x6o-woDp@;hd?qzIAn||f)0-mR7S{f--S1%0-{8;RKY?-*ikwJfRFu!+m=y?1 zN{gwe12mr1QiU-oOQV&KdMwgd9aS`O2+C@-+Gmt{%A%?%gevvMWM1v$Gw)HEh+?PA zQB_y)z)j&KTH+2yt+s~ddAA7ws(MDilOv+>~H!goEZ4CLCv7`ZX z6^l}rT}OuwQ=K58ZnQ!fgP@=7I+|kFDm8mBN)`hAD~?hrYm06Iu33B<^?)<89`f$z zWok7{VJpFKWN$3Li{W@$rG|D(8mC*@uN;Aq&k?`X^PTIzNTZ~i<{6C!QU}kNY1_u) zn<-nOD&ilPFETx!;7orz3un6iMPBf^qu8u&n<7zqr3<^!pav3{rE0# zRqHwHO%<#Lju{&~X4z5FXqP69=pa5T(E93@7%9rG0sh+L=SGjA%ucwTlv+kwJ2{>q*c9{Jy;1?q3)0>xt%a z+|H2#McZUgnfwa8uk2gB&q1K%!=vF$!b}Ps5H?WrIIGA~R~3%QTO#KX+ADB41Q$S? z!_T5$vto~cV9 zaBsH`)u$ckqj(2}VzPaSOFropMgYzHMD(s8{6EY_?L2?t!7QRyIHU7d>4;O;&Xl6* zF3@YcrKx{XQ*DLEBlrW)JpeQqE=DqRz>(lF$_5c67#yK2Ouwxwd*PWPR9VBpIEt7e z4=57zto#-rItVJ3la5PRr^0n~!$yrT#n$S`yrp!z#JVD{U_D@rCXIooU{vax2Y4-J zJsE@Rs5Y<#yDcS@8VcsBtc${l3_mV1eA%Kx10{dAD^V&?_-B9jgfy+lxgxs}z2@T)x=uuL=zPqx_ev{w-9W<@NPd9;$R7ubo-#_g59L zzPamFq2A}Ziy^B*+?0`TH2$j(fe8nP0O5aUpi#;t39B(eFDVI?OmZb$RjukHg z?K&Fgai}Q{PXdJdx*(>8Sa2Z*@IVgBY{`Vop~}-b4reew&BF@=_aIV6FBr)MNRh-M5T;Y}u7&T!Y*BG(I05MNy`9*ew^$)MhghGEj z(T`3bB8OQuwdyB%-bcf6hjkt?5M|qtTI3;}$UK8Ijsyvmb&<*1x`y}L`lOG8*4V*B z5i9?SvmI3#SS3;@1H2)sfA3^e8q=}lO9?;#J<%$Nf)!CpHUL!VI-xe1`iW@?U^T4@ zx(BnWyQBpmXIRT?Z4YGt!RhQf} z$qo}JK7gT7ujIUSRJtK?M?f5BEK)c*l$YU`iVc0(AYkaFnIb>+ur4N2&O@ut8(47m-p$6zhRkZLf~oJ)VQ+q(Pq zWVcljd846#BiIMqF+{Iq(n01i_jY|L*VrS_jgl+3!&)k#Rjtfqj#^;}eAs(~`{qc= zek9_<)q?CWVw#p+tCmUAJw;Y*+u&@1_0}CRIJgl*L&eLa5B8eKKZWl!(9Oj!j ztRwPV?U*z>G|V_EKSe1xbrF9k^bmHZzG%6{`O7A%2P&h;;& z$ei<%gCc-Nx&=TUsh~E${i9w@0jR~-2x?>OfUjN$4lo06=m{P28+LJQffhH5f$}xw zcHy7C3(IqkQhMTc_LJNF>)q}9UT=6(X>#*xi4)no20m}J8pkv@*t36JnwQ3tb@u!eibR$`x$D2dxe>tbyQb(_x@|49NoY9lUE6gNZ+e*CaosR zN_zV7^N0QJ$K8J0yXNuA+l4+E4RlLb;O|AT_wIex6kM5jaiNhbpAgE`>%kH60ytsV ztsPu%{*u6xQ9-ww?)HCODb#*@yZwouI+Blhk+D+p?>^qXKL>7}Y_HzcN4=suK~?>q zY-?66P{FKr$w1>Z*!UJ~D){wU_ItfKl4L2wk^bd1+dTg;JFGJSp~lt*-k9W+J}gI% zmVjP_;!g8cqD z8gK_KVA#Nl<_@K0Z0Q|zQiLTb^&GbE-0I8qr@K9;8K)*ca`%8hvy=VnkXkv;eYxz? zg$^9hrbpIaY!#E}Lms)Yl|gG^8!C-zl4rxt*?HjRiz{8izsELIJsoXe9$u3{+aptd zvD@!=cl|3$G;@EsQw?b5@3)`-EWu;<@%rxDBlqK>-H$gwALm8bp^3AWQV2bye-Q98 z=V@Ghc@4P=R~^eJ9i&Fi4j@WglcscHe|cG*9B%yO&F1BgkN^Gs9WxSL>vYuqLc80q z@dh=ts5idqvLR|MBGge8OIR4G-NMUL5apm1VKufL+gE=JdV#0w2BLr4HsINspC~}O zI+u=p&)MvvE4@C5J}dKcW0x2@fc^RIn{qL-F*!5tB;0I%@8eXNWhIuc6)!FVFr3UqF^m>7p_z)-QkQVyF?{=&ZTP&OW6xdKz-tPuf(p zs8acSFz-2Gg1A{{Px*9rqi*l;GU=x1alij?_wA!cZ_4QQ^KVyoTXnm8bp7c~8Qi|z z?squ*!qAnKnF^M=$TfSt7YeJV)?L8RWQ>6)`+Rx|Ps#bm@H9TVDBIxsCl}*$cnXjG zGn^cuGw~j@S$<7qr(A#K6d0n4lt|6e0RIPmi>}9$&~W{49qZ9*&E!HENQg-pC~Pi?IV_F|u23cwZ>Yk*o|e=tX~whOjd7qLbJ)_(LsE~v zetg}MTD)GU#n+D%w_lt-I(VvGx9Hm*4K7Z9SvXjD<6G_N>eb@q(lo2yxaFBu>dZQK zW+Akee$;|*R<^VBR0Drq(Ni>yHOurC0Ke_h&r>gS(nDz;2kB?%iBBUq%{}NonD91) z@#!h5bQg{EN^`~kHq4dAesR9O{`GN|Ec6(R86;^|+N;hlZS&LVHwRCRtCm1R+rwg| zv30%URcJN!P$o>LW%}^B$U^({KP-w1V%RWs`Ufn8<4*|h122D96q}bP^!2o$j%I18 zQEG0sHiTN%;>F9ArWH+Cmb+>Up~(;$!%+F83kfdpNngEYF!Y)6FrmK@(x8PAPO%H_ z9d%h$fwab}8O~kE!8CFp$k~FNYD_2o#TQQ$yoVT2!pE_R0VZ=p#`*d2SLx4Zsd@I} z$+OglZ@hT&C82-T;in9V8$mLT5-awRhG24RVD`TrDM+`nL?L2$#k!>`C(Yj#^(@X8 z;t9A$2bVy@##YBm$Cu$@KSA*)jNue%T<%Mw_Wl#K6?fZxb*+L<&@6#RnM!}1V5nA6Idws2+KBod<~Z`u z@dxi@4z`Lvnfz68CweoTj3Rl1p(ncw)MQ=(SOlB_dUy;$FodB?or+Hpql_>x!j&VP z`P{#2hpxhKd+;iOFj^nmS*K^*{!uXf4lt3yJi2=Oesl2M`wcb82oK*~ZW`m4f9?u~ zR?q8yFUEi3cQ6)T3{49OW<$f;$V#n43x(IEnh_zhb=jrnpOL8B#)Xt2fEp6<&iEO$ zhcU0Nv&(A?H# zFdi07DTjFw<$^)pm!?Uo^f@gIy8khpTk~zQQpJB(3Mt<{Iz7&bGAFQgYVGp>oaZW2 zkccb?`4udQi168nM$B`Kj#+j}Xm4vqUBL_;Zp=;2tM{yw=^jarZoeEEa*mu9Ag8qc z7Auhdj|ZNos>DXU6;h9^{m9+M)mcA#s1MWZ?oLMqIXk`|j^bK!RlUR}C&i_tQMxm= zN?CtsvF}KnD8|j3)ycPqKRmyl&_3*2PwK~S&XB^gAKqOV1ugVum~uf*o9}@vy9$Kj zI>aS~YqX^*7XGJqh(Cay4RJpT*zYh)xIcJU`Fm57yjwXoS5CyqMu@Etie_b8Hv@Pd zIQOa7yHc;8q76*$x7X}Vg`M42A>Uo`F9m<*RP_&q=i`gby0LosN9b_z?)oAP6>h&; z)1!EG7#?mm>+{gQxu$Wz8eD1}RwC$gO_nfy?8)WDCca-){Y}%O1bWt74)$Rja%-&v z6z`u#9|edNc;BMJp$TDTC}~#G>NsoO5T4qVcKxj5AKhR&3SkMzt^N-)EtvvOh-`mW zY{_*>*-$uRBH44<@PSY>`@1=&A%3gnrzpfe3FL0tNwlM#M1c|pea3bFNskdlCLh7K z2R^vVK6t`MO6792J9(=P#`LHhKbevO?vSDvDT1etURaN3Pc%EPjFbjUN(S?GpsG*Z zNXDNCTZ5L@jQ4BxaufnMXqdkDgfxFWciEFy!s;-GQ==6b?C@3_YZ7M$hjY3tiLG~X z9TZlQ3msjqm#8Vd*t)~)svTzfCfi%L)Vub7K|V2rj&Kg>Wc~KH%d6MhcvHO-HU850 zU9&5BK;MHOOtG{UT~$!5R?Za383s9L0B&qOi4T`EETdw?l%3<={6uTfG7^7p$I+)u z=tvFEf4{s6dBD%>$jicsnWOJlMiYBM>}U1)Xv$5iMK>i)e+T@GX7{B?DrQqH&_9|WtDCI4h3?TAV^BGcc1zoVhIul-?`viK!}u9URhE> zkufSM@6Iy^zAWZ;&lQ0!QXbG|dV3imxB%30j00(JE+y}cM zFdrDx5~LCY0%_1pL4JT}0tJFT*no9{M%VxgK_?sx=!jN=hqR#=ju0zBGaN(Qh&rPV zonn9=6B4u&Ey<6BAAm~`S@h7p$R_$AJz$pQ9ngXXq$h&C?j4K*unj?RNk_~DwIzdp zZgQ{+o5WTUcm_I)1_KESOit)Vyb&NN5-BAHEZ2!aEXE15CK^yizwQPKPudIj0c17H z6KEAe5l)069%F0}A&4oEh>UCiEMXdUj3>}HQDD%Leu~y_D1bVpBvg`!OL!DBHwIcF z7V$WkEV02@SYu=aiy)adCnu^sRqbD|-dw5nh5G7d zdwzRyb@_*ezE)43Y`%JDIpB}qY3<%=M|Umyx;D7n`mQCd^L_t3-?Ptc|J;8)H*;lT zEwf^z%cG6SRLp4h63v5VHPcy5F>Argz?&^*;qf?I%E*kz52#C7<@d?valXKRL&f}A z=4|r&Tu6fo`e9Fs`*?Y*%lzJeyO?KpZ}<4<>FIyVUh>yjfzt(6ciI zGrVVSd+!Av*(VVdpziL;(1YxMx3{OAP|EeiMZcL*0<8$eE(xVz))ioS5XB-N7S~QQ zg(Vc44P%E%qj~k;v zS?~6cDHL|5XFP&07Gvz&shxADrd+9ohv`8Ts=fn%x#UKd468J|gl&LQrG%zr^0xB$l3i}TBJGorS z^IhCTMUyUKg3%j=A#re!jAorjjp$8Wr=|B5%-@ z$lC{#LDFR%Jy#%@BJ!DP!9Y}aov@rN70J+_=kvsht8V%6j!zX$ub>(iW6I{ANu}1Ix7NjO9D8c|FU6b!JA6pyw5%qRoBN(fW2U7-h)^2 zz0b|^)+&56gWf)_mi@9j3hkim?U4L+wfZkZ-}O+sZ})AbHt6Hz6Y4?cLHNFZ(8h15#ez_e1rNhly6!n^ zEIxr01>5vv#E{#}8$zXc;Kws!D&KC(Eu-~~u?YjgRKE!=lBDVz|M!c_pEm8YtLu;3>uw4aM8ZHzB)hMLLe}=7cW)&X8Y@HX$++u#x$|R$d9%|lkL#v*5&pNzo75hknJ^p zP;T?MkjI5QF640`2apVnO@BFVx|`}y_o66 zOfP17F&tyvv2l&~4I6Q9ac@IoH7(k=IpDGj+$3n2H8&oXY{)e!1;vya^wnWa&r=-~ zTS#yTuu}t3$%#tV7P*gE$94p{1$K>p4RX8~Emls5q45;gvDw4B(%`s>aP7`h!|(^e zrzQovXlnKdB7=u#xIYs;;6P;X@HVW9%pS$m2-9>&VG~xRSHbwknssPLur!}wS@4ZU zhdb@+*s$^I*p8r54{;?qJ&aZ03h8u^Z);rzAbPt{K5wM~14e~!2;zO9;re6GXFOt3H$ zLKBQYg%4gwb_AE}EP^_ceOUv4Rst#3tJh&2+Ywx@gU{%qsFh?0*i4eTX&sw8{2H)G z*jO-X*F<8p@WFn$hVw^&C5Dx(R5Wn6Mp=Xc>v$2?5j?FGt4dJ{szxJ-T0{Z%tDZI- zV{M9u?W*zwYZDPV_zxe~v6&;N6ISJ%L{9^(Nm=qu(97xV5S;!8gm82L3X^{vDFHW= zQG6w zZUZ>G+BqZ-&;2&$>hD+P>ie%u_xbJJS6_c;tSh#-K`@MEV7y&E;5`C-MxhAZ zF#_KJi-K>VK9PxbAqfDi3VyNDA<@1CCyO+2bPm&}N{x-H5*ustvf8krfyYNANMN$! zCtckrK`bbSfiSLSSv~D}Ll`mzt6*Gz-Ij>5a#KmUYclxbDex2%+~B7fzkiKK@m zI4kbfPp^1JvX8P61LKGkEY}Tm#Y7Of(F$6_B#L}4NkG-qjl;)vNg*Js6VT=1{jZ;% zJ}%oDU!=!JQj_va(0BEnc2@YP7?MbGjYx7Zjm6NbJYv6{@=UH;#Wy2Cd~b4pp3x3L zFz6(-ez$}@{L<<4w(j|#e|pY)Wsm}}EZ5~L3C70I$YLGknnaKsH2W6TrFHRZ1_Bo` z+D>u?aU~hEC@0y_b_^BKvhW(Rf8|L*DH2K(bc(&oX|%&x3)*2&uryZWmMvcd*bQv^ zk02{o>JC=Xz3M(mGp=*SRij&fm$AW!!hbfk3h8Qa>h@%wDs%$KDry!8T8U+8|7yOg zP~JAyE@^8=f>x>EtBz?mQP4q(YfqRG{$^SZXu5)w=ho_Ozobrj%UaTO%_r8rNRpjd z1M)%XAM02;R42#)j6i4nm_20+78*bd9T{CdIz>l3jLaQeCs*gg>yx;Dx41KQXm$hP zRt*^9z^5g0GYmO&RsUZ$g~R=e$M-2ytC8qt+?O zNr-g=KXlzT$CFR-BHbNbRB)W`VNWMRhV)Aqv?l zxiZ)m;HNwtMq|M&W}_lUW5Fx`OwrfIId@ROC{w2fu11ADbga^U>1YR(vCb~uIUTXN z)G0Vq%76n1e3ybm_WW0BBfOqX6pz-33TP=bQx{+_ONb}Y2ad@2{KjIdzoP-ibL-M} z#T)yXB}pD5pnvuTP`SBV7M0?1a9CL=>M@gALG4q$KC+=anK>IMCu4 zRFKY2xZ+6pPE5jo35sVjMqhb*mMxf1ioRsAN7q(oopB|m zU)E7?J+Mae7?PBnki2&_P=J!@=%F(|&UEJPig@KRg+LsmMe!gQk1|C#w7#}FZ$xO) z2-tJ1w&nANkImu(dskF_BqTK(G!O+GfK@uB^JT*)$2O{e#KS0m#EeElexTgO4@5xr z+~pCmzh$zmA=dd=fSbAtjELH7l9cDXPs%$gvf;QL^PU}K)M*29#2Yd`RSfH2Jt5)O zHi~N#?XE<#t%#asJ6Axb5fq-FXiy3W?2fF)^PH83SYV+gO>X%G7fBLiVPyj~jyzty zMA66WcO;vCx$M~BGqm9|W;%&##ds4lUBEn-5}H2BZ-VCv9h~5&{e7F!g{ImhDhf|7 za=vCEaHGtmK3b5vY(u&62_0W2Iv&hO$H~T&ojsN*7%AJ@+nJgoeaCiqr?iOSR7bbd zqwkF-`QiHHa_UES_~FwN-YI%Txq7$4ZQH7Ua3lqPDD4rdqbllS*`}wLD=A}PXl*qU zs(P2xpe7mJgp&CzCEb{k!~FbGx(>=On~Y~JXfT6kg%b!+u5W`o_BpWMYdf)}7!X`> zG6*~o=vm&usEkwv1%+qDXhcc^M=FrL1K)Vj9hh5C_N| z!zku|fM8`G?B~3sphA7bufF&kBiw z53UKrEE+=yfVe0rzS(ab2U)I8GX&`-gRWJR>opv12qb0kvxrk9dqT%*Ycme~i1fU| zi>F0YqEx3LS8AT{S*I*oAEPUr8#+!3chic0gRysZQ?sXWqDJK@+NbH4YCmd(>zg1E2(wLx>u8W18f7%`0Gf6&iYS>Oc~ zNI7hB`K*($tsthFT-oTV{Ul0)^-j8fZ~7#zz@&M{P~z%I7PAk`*iN$9QdNJanB1<= zwl-Q_@X1{%*=Qy!VXibYV>vdFH3_BJ=yc~^1g7$OfLTYn1tRhfkVvK+JFeRz8P`0)OEbDb~Wz5Vd^n-5QS?;byYy=u+t zIxRYLf8#{adE5JjyTY<)bbI9&xfa9SUtNqqk`s?&xZ$=7X6&S2+3zMq2H~o6af#Z}Q%lQBthdtz)h`?$F6)L!Rz z#l|zudsTD`fm{{e*NJ;=6vdK%HnHnh8+44Rp1eFU(fqD-7QQL}`@SswxcxRFsf&I& zYF2k${xy#J|AwFBQQc6Lz4ntUxRQ0zvZWt&QT!%}u}hrJ$qwaU%|%mOR&`PESMi{_ zrKSs8t14p4A;h?BXU*+?F*#gFv1F0Uuc@-*;Z0=#LYQ{$W#17&r_Zg}kl z1t>v~IRXJIm(h^R8+jKWcbXmoUPqB6*l>m<0C7nH2q4?OtV9Oo=_6FRZW#6q#SpuW zV({xMqNp9AV55=^Jq^TvZQUs1I~Gg7y2T`ArO$bXFzfQB;}VVkOy$p{v37~sjx-i1 z-JqLMnS z*{&J*nvJniClSBprWq|wYOeJ~CF^vWiAE(}R*F-7%dn~OmK#L$WqF@Y%hjvg;I+(v z0MkTDqtM3_Z0xe?I@KUgjJa?Gq)E?94l6=wFb~;u!rLx#k|>R)YbniVXKI>qdT$|j znS}XL3z^N5O#Wk9 z2KTp1)+5h*6D_IGqz+ES989b9xOP{hq-J3g&NO>#a{cF*H*Y>b=6LIETAcI4`kX;W z;>|(TK0VK=w)LY5mE6A0jHSZ?wU24Bj=d<(G(w|cHcjS#*nEv9!u_(^Rd*d=`s`e> z%o`Q2h1_0NCkP11L;BL4!IDfAV^C_TNEEBatCNteZ-z>jhW^JHCSzANnbwF?U8SyB#5N|reChr1V4^fCr`ne?2Qqbblb?&oy4 z$$)=aeEKW?8ApdZxE>0X$bb@s75!OlnjMw zEs2eP#^Zd0r$8^XiR}{aF87E!w%F@<>FM~HDjC-$nZ#LgU!ylla%e*g+`l6!cao4o zsSA?nO&{!0?fnSuyB81LO;D=Y)SM!JF>cZ*Fl2UG9-`|jrY9dpvPC8>EBT6I zEufWvi>v)y&%|M}T|W~^C`OvxZ|VNT!)&7|g@ew;@ybq6uqW8TDTmy#*5i`o+UPi>Up7 z^&f9vmTznMR$SfKW|CQEl6NjdsFwzLJfaztrd2$;lPTJuSGN1Wa{L}7@8funK^Y3( z>0(&ZMS7<53{meF1y?nlLRj&enn~|}PU1|%lj=$Lb}@A#ONfeeq(Dc>mo6jltjnN# zhBj(k5JZKc2vl+Ij561%Yyo}olCQF}u?;gCrVdILO~XMEmr2!!E3&VSKjg_i;<(Wp zLn1(wo{jgDi4#7|yVK?SLZD`1>QNvsZsN`y?`_vURD{QQJZ^QLju2PX`_?Z(RrfD9 zH>q250(D<=rwd&lxqnA;_NJSk1%%l4?}zLCC4-cuKhwN@=fZJ`_Ud*^+k*)}+xC6F z-`{=pU$j9-Hk0iuDFQG#ml2}|DYHQ=Vhw+z-Fk!7kfK9H^cxmCE57wAzUp+o_RiYj zOPYCm?LBM9yP%epTLcx=LgwEl5W_0}fyCy2JoqlrsH1x&s~&RI6VpPzcK&+`yrcwa ze|FiZ)x`_3miiZwEQacwVkt6HGFTA z5;^B*+uoRKVGG5c>zaFddjWNt|0@RAW0m<|g9LHicq}{_1!e#x|4WT>xjg4|IC;#h zTE2cfH)Kq{Di=)hQks}Y6o|sQ4U%JfgcC78W@+K7lI{BdLU7;KD@#7Ev3-|>{Q?UD*N0@C zWV0oWV_>{ecaba>>#m~A-M4qfHG1bq$jEqNmmFg>3 z2hh|NSiU7&ha!wQ3ef9Q`!~IAQ1~^u_B9%sJ~)^n#BM@UpOn9V-yJ{((_w629|6#F z>j6gOhBD9RaJL1?Mga$qumyLp0QmmH4>-a^^GX)Tl^kXAe86ek30_wG7|#xaS7i#z zln?@zGh;O{fM@HyrxBG< zH;k%UqmBYxfCG`HRb~=skw(NokiimTiA2@?5+1Zqo_Um*Om8Al3lWP|_u#9nNQO#_ z$W=u-C!U@lOsBB`En1*TGcTJGZpi~*)Tckay}$qQiGRtmVJs5Ug->Z+{JN5Ox*|V* z&4=Ip;n(m1nL9S7DMLQ}%*ItK@O25vm5FcyyCc0-JVJ;C!dHx)K=GcHD%8)*e%rd8 z-LT#)s|&R5k&*2=o1Pl_lsrERNIWYR1-IECzNkX;*RQ_dskIfsDNw*s{8_+*;i*=C zxHLhOEq^y99qA40Q;Q-nK)n0#_enj9x#QB7l$0T`Qm(-?BkMNKV5g}>db zLue`)8)(wG7UTFm_XIT;LGMbUkZh(n#WQK6vVS)IxSQw{J9iWdN|H22QTsshjqPy; zk+J%0qE)&eI8lYn#J-ykPw?9Lh?Fn16>IjziansHlwn&?qm(SGj)6QR?JVhK>=#AK z366w*K_9=ZWbK zje#3@XS%(Xwlu^t;GIQMDxPJui~_Os#Hr1mBR`X26W3M`wugx}jEtP+PfmILPJb3w zaY*bOE5fGpgjK*{i6>bmqEaG8$)F?Sxe&OKEnE^j-a=F2bWl^JTIg3#B%Ft!+lTdr zpc}?%<)hDzohyJM@eAu=ZbzG10oXvoC**BAYh#IET5NL{)#qsCdPl} zZ6FrioLzz=>xidKGmUs)fg7BkXn#+0)0kfp0cd(hH}l58{BL$ldqcGjhI|YU*g1#_ zkBDJoQ>W+v^pR&1iZ)i9+@rWYJh9{vYRbf_^Ab;qNEwurXx=50C(caA`|SL%N((w} z6bgo@$46W-GX=MPX1A4%f4P(3nLC|*xS0XC82a}$Dm-g>Brl)T7#jG%Tz|Wtv;qoe zfsPb+o?jqEl}<3e=P5itOLJ~lFmTj5r$9NB3SJ<~e@Dj0=v~zTIjU4&fS?IrlU2OI z@e$)0HD?Z*j}(3+>VPcaNGCB+RMH5s{`PQhNuh;wzCjy@j4=$JmG7-# ztIOs}0;z%g?cLid#E!9qLsaS#LlKVq#lxae29GrkX<@VVLR-F{KdpMhomRE z_J$obcBXaGHit1+$=*92-qMbLm!Y6z==5HsQSuu^^Cy~}lbp8{j zS;OM8Rjc0M?teEY?@U=O_(YC%u%ZqTW{-u6=UzanrF5;Dfo>EG>a56-9?z=90qUHY zim82dp!2)VVH!nHf&d{5Ct#FwzI8OgG{KzB3j;c2m4geSBH7Eq4YgB6;*VB&j3o1_ zPm^34+~~kq2z@#2(z2&{hn{tUSCgcju3f+yqzAI30e`8ItXxmhJm%GrM@E?+^yhk* zvm2y#GZvO}N0qFSUGpRF^B?xG&@f8|UR9o_DVv;?R_eAC#pvoHey6Z@+~m%66(&Ue zGWZ*!=VbpwKmp36D1Mb;H(@ykPM2duu@!%xmzxn^ZEbAxn-g*;7s1kk-&P^5QIbvs_l>64;udRgjp?;N|N8(lwcBwKJzGA3>wn zyADTQBMh;%>GlM1gvx!%PS7XNQlR1oOk(q)w10e#>uIGlpcyh_yHNeUhiYvZB@8)< zq$>6{9-jaEcwY%%!{G+)VuNB|2)rbfLMZU|Y*1N)y4Y-kLl|Va_QY#7n52?2DkS1m zuZ=1-M8s|(s;q4oPMM}@s0dgjvHjF;L|E}mew)Xb;TVHnKbqeBkXw|(b|yH7o$N7Z zjel`^x1O)sQY=gWsO?x@OhL;UtmhX7^@0K!%a%yZgK9~PXy_9HGb0F)T{_S*Zj_=6 zGf!Np(bm4V>QvIOIhE~(NUrtQnXzHA4Ep@>`F+Li<3D&8t`EG4r}I4PRJ^svr>Bn( zPnaqgf->!oL8ptZ97`2l?>Tw3Zw}gW9)B7|l9X67CDF5%2X6i}QYK-}&2bD*Btk{nJ-p{_)METF%J{+;6X-qvoa{hspt$QPR{LlGA>Msd@FPzA|cE zX{1YzAZep5PYq*lV9s2PPl#R>$GTh|n?jiMr-yexy#4m!X?geI-wO@2lzl*A1b?aH z#JsaulK((E6&kOMRFY*E({mFi{c#K9NFr%FKp_D3P!PSU+YoTzkCIlW+2 zjNf_Ll=BK*t}+aXXKlcOy^>sQ#v&N$Gz^x^7pxNc3=72G!D!A7c6%TQqdQM=lp;Pn z(P0TxE??WRMU{6=c?VKc*^WClx_^#mRXFH1Jz`=MgEFO2Be*AEK__KI6k;<hT49dc5a# zhiWmm1UXGiJu#c+%)J4+t;Fp|etk_Zs{oX{tGo&~o2qJx$qbz)Qg+-cC4W#l0LJz{ z=1||+DeJ=68hZ_9TBJ(;!iF zMCk|bxN8m5+aO!PIi4(a|9`GUDDB8d7UHl&zZ0&26X{rcs0_)#d0g^YcU18LNMB9gZ;?d;;mKJ!ucvvwmu$wqkhHTfBJlXLT21&T*eZFPx0O zp-Fr0iPz9q7Xh>F?mSF;3W;(2;Z4l|6WzD>8?MqlsXGdnt|$caN`E>O8Qncc7^eXj zAanQC~f^ zY$iqC{wP9!g@$hUP=B$%0H}OR$eX?j$OJ~e`19sw1-s*{L(mv`)dM(OKhe^Xd~dkm zzCqGKow5R$Pn%_AeORv3wpLR^kbJD%+{jaYA!02AV*3GmEs=b;21PEa{tBT=8oSuw zg3J�Pc+YH*VVgW1d^pr~W(Rml5~PtWl6?ep{7cNOYiPk-%-Bi@}!>ymSrwX*G1 zFtgWsiPHnD($WyLjn~jZ*WAobLITHN(k!P7aAO_$o2R{qZ`-VH25~vop_Eh z)h(%dczvzMHm*NIy>Pr1rKW^@m8qLSrH^2PIz?Lb)J~*#($-(i)VQq?0n)3}I>#=BqgY zH}+FS=55i9_w~bAt4O+55llYpQ#zPY)~-<+=i7BrkADPm(Lap@HQv*}r<;T6?<{no zB95R>W5!zua6R~6h$8kzbtW5`RqjTF7*@quoJ*5anMX@6I3t(sjd@h~r2=RryyDLx zR8Tyc`i2B)jMP^`rBU(Lt9(J4EU_J%1Fn2Ib#^IBHgkK5u3ciV*9*~UNqJR{kLfx{ zhhrBkXMe^2DV3o0$E=I9=Y1bhiVV6VQoIOBZt#uEtC@hlk8-zvAG<82o2t{Ma@qYV zzwO-_SB+_GJd)11kf7u&HAhCiKz{xEkKmO3x&Hq{4Ra44zWe*E8!Wm_Z`>GX!P^_O zz_ycaWC_(lcR>iW^>6ENmzo8eOBX+=krMhA!hdjGUWbLzb-i?#iqvCI9C=iy{l*q@ zv(^_yanUVdy`fvhEy-EsHld-?B^0yjl%lyY2|dvQ=U9BS^*T)ZY&pQ=*_hIO&nP7VIh1P5FhdX|{ zq+`Nw=d=P|6t5io(3`oI`MXnJ#Nq$aHqadKf!=f?uqK~8vL-SPhU@yEB% z5B*EMZhk)x4IXJi_)TvPkmE;ZM}DEVF524 z>ahd)&6`jD2g5>H7?WpADFQY*ml2}|D3iKO5r02+Uy~-WGm}mxbzf?GI%=%Mn!0wz zvOUv$`jP|zf?V$2$$pSd+9g2{1VP{j@YL1sSL*7AuT=T`=Gj+Ye{cNNGA+S`t7pGm zd3OZ{CJphwS69yuFKloxtXD6ri=WQNzvE8`t{d9A(-b510 z;D2N1(-R$^cvm{>(ox~3vq;3n9$=|QqTwOZus1#&%8>TRugr~^4`p;yKGlkVE2M2A zlv)xqJTr?-B^uzUpEEb95!joPE_^f%Et4@fFQ5JR_4j%+0T4?T8<=wH1O5QE_U+9T%EL@ z7SAi4MXabP5)ZV>F0H1uyqY%#5_O=bxIVFQ;VcmeP*znnEz4R5SC@+PffNf{yS%6) zsp>^f&ch{AbycRQ0;nvGK0U5$R)@@AngLiLN1h+|CGE{~<9>;H(Gr^N(`P@`X@8fA z_*qWGxk<&PC_Mgj_u=-&n!~5`>+b!-UF<#E{P@*ve6^mTRw1q>2*t@NP#8^2nkjYT zJ)cBruky-!lPH`VER$0q>V=!E1|(!B({#If9<{}IT7Olxj4%ph0KAS&LvE?+`jbvL z7)(N4os64iqiGUKNEkK0&~^SGWg6emjc;Aiue?8??x19#99odF>Se_IXnT*6Qc#~S3umfS#2honRo;^J*1}2U zaz+p209Qb$zmaSozVX5gr86vzNwO?`h5W!BxuaNm(a^|YFB1Th40?-Sxqg{D*RbK+ zwWCwk7f+?OPBKn^@j!u=zdm7AOiz^PROaAYZv?`WUZW4i4R=o3d~W&S$|*0^ER_9_ z8Gpi6YH7swNsn!i#w8T-Lfz!#!R3kiBXyCMLNZCFG>g;}^}|8fdSuHa4%*ZL#I~gV zNeCW<8so^Sp}4zIzeZJY;-NEQ7bBUi)20kZ#K|O+FTs)%XAmf|LDYg)16y!ESDwJe zE_7?>JI_Mn82ES880&bKoy3tEgxgL2J%6+=SoYtsf7ZS1#Au;EbRhLhowsQ0_s?H% zA6_4cMmkcE25U>@Pbfu_0k&iMG)EqXX-YRo*QsD6aT6VluJ~y<>ME*N;+^6yH(sU=lUmplet%lp zfNTR(oFujQ%aDqlg6?QEZX8TtgK)RWJMeV8XyGzJpco9gqoPqLoqC<}+J=B`>=LwngU);Y{6%3>$+#nV1sKPweIz_ zs1)3#0j${h^AvqOnxxT%oL&z}-YG^Vy0>urH2Gk_4*tq{C|(K~_}Xe68j^#rFE}n8 zAs|80Tc3>O$R6C}!qfop@ z3Wz?IJ8Vg&6#{#w0@9J-PViemn4Lod*^CeyJDF<9w%9!fX~Yc|tq}B(hTVWPw0WF8 z;DGQ8VUEuo*B}tLp)bZ#(cVxfhQql&!juHXCYJcFBwnTo z)rbR6D4o8A&Ef>*HjT4@&X9S8uX<#*JEKs^xlQPau%S9FDRo*HwaagoI>pPk18a*BQPF@R>bTRUPtOqMqj3S>h>n`$1 zPp{G0rDLNk^D5d?934g@H&4#4G|>v=0_15M4cF4DkicmM$ZPP|sf#5ScxmD&NAH3r zWs(VsBXxK#-yb;e-Rt{a+Nn3COGs_UBldYI8*$oipV6_`6 z7#k`_lo#N6In{)2BcndBChtCe_~YY;v>i|TUG$N~|=wAjAdy3L(=}i_v8h_*iliW-9<)aMjP-hwe zDS5au<((CGBG7IQPL@%Iqa33_!?+(Y)*$kT+27BIv2TEd8}?{Popq66-uM&IG3I7= z(udAZn-l;(=`0P7$8Mbx30<@ZBTG5EX#o*to>KU0OcbpK*Z!YW-JJS~r-9Lq zUfXP!eXH#z1u(E@wdYA`{~1;rANo7>!q$5QRc9i9x|9W_x7V7@)&8uJE-M>xp z|Mx8>@WPXzR3CqFYB^kv?`Dint3%6aqJcK&fe5-vI#lNY-8ycwHgE!)5|BTWXPSy> zxY2ahM_2(8wdxRKqQBmXIipmi!#KWQpLMjSOKY^^LobiB>J+Vqi3fECL5RSyjx0 zQD(Tob;^9pP|>ttDuxI&KZeMI+;Cm>M;94YgL#x>N^UHMe`eBN54S0myDWXNL3z^Y zyInBN#}ErT{}noL-R>-{Bi>ac&+3zbbBJj!~1sGX?R-8$+7a~KUnjIK9M#rz&pLzaZJC&OUDu*pi z$-+9$Cl>`JMF|CF#;MqWiiNE7n49GZGZ=?Ypn9oW{D{`3_S-*)IM|CbMqM~kSD|u4 zw>O7Nrbkd(uw;!t_GZt!F&4UoopRY58%J5W$?r^KBdpJy=rSChE8yMTmT8S<-d_t~=cOJ-D4CUdvF{NYo{AZPYocJO?+; zT?zeJ(>fJ=N}1T;vr8KQv7LIEgD_z(UGw$ALv^&5!@A}o&p*F;Y%Z1Vf}oSJY-T^x z|3@BvtDYgh^{tmOI?b$}=9$I$f7jc$x3_OkKivP8j)7eHr&KEa&m-keQKzw9oK!pH zm&SiuMpYyEY3nU52Qfh-MRlrnN;@-BZ%#z|Wvj+%X;T05q-JREwlK70M7eJeb@r4a zr5y00x*8RZoh9TWk@-2xB5Yg3p-eSEXVVFB{DpelgcXz$pBK9;=19zjlIc1|Zc4;>VK&y7T~Y2%G*7vq27j zd5fiq@^&V|3THcT13*}HS?a@|n9qm`e{={6G za0{dCOP}SXx^9^Q#qxAz2baYtui=y|dW5dJxK58;-twQY0yP^&h%m<2ElO{i+;{@; zkdl+IO`z0xE3T&OT{U+^bk+DAs4K&N`8d;ox;xiC>NP0c)(R0P67p>=bh*&sf^DHs zdNRCCSp*hFH!1Nc5TNex$NAP1aJ@FgUf1mvC?vG1`K72e$bvFwx|&g$2~gL0g5@&7 z><$yIC(XG%z+?q%ZIM+caK*@IuZVcgcX?zXEuh1GtF+8kj0e=ydJRgi0=%j$i5RbrX{Ae6-4)ozAv>QI6BXT6YA#69>|*(SiM!R8 zzh;5IBm+dErzwFr@*q0_y;#Cg1twqTf=A>~#q@&Y;cTVt#$L_(kf#H)hzt9BBDt9^ z{&PhDB*v$h#)TMzt3CKTJFpgoViQ%iWJL=^Zbf?5&P+s0G1k(56G$aDZ`5$3FxJS& zn$Jp6pe>KMZzd2T8IriJx-C;hbvssH%Q(c&Y{<36c_~BFNviU9rk zkgNxbZ1&7Z0(>wu+g&7!#d?0Mwz~M`LR~!hO5wkMzW(a#Z;iiLrX`qgasBg!cNfvb zNyqfp&Baf<=T`gY)`#cTne?A}ZezSUIHh+#{_q%oemqw`Jq`+9`$X;>4DtEj{5-@*5_I~{;K(?l^s$@MSm z_6<)`n8g9~Z=T2yg-eV?3(Q2vT_21ID9JHPm z&j(O{7D0(-7C_QzxLbCxOr|I-`}{O-pe#xUr|aqD-!KnLh)*Hft3#1L&ytyKDe~Jr zElpx3#>&46$ed>?WT7yK@+!YkDOj%p${e;uDkKjN zFeZ=9w3$!um|lrh?3IZ`oq1DNTf&Aa>j+tQXDGDgBHiZ$g$*oeRWR{P~byD6!! z$u^u;x65QBuI?J@i=Pr}O6{Ir|2-`fLRv_vE30-z`c{)t7u0@pQ?{#U+uVm4RXjt1v}rT6Yj^r}l+?BhJXMEE2WZNsArr0`;k=Kkj6f zJJBv3q>jv{q764hdUA?s9*yRS)1qg8qIilFQBo|Engdb%VaSW064!N-Lq2_D(jJU5 zG-)GZZKm0=jQ3I`ARxP|s?FZD&`7W9(UDcEA}$(_0*x94sh^unK~5`JqCR~bd=yBn zMSvj>mybX0DtF1_WRpJ_Yp1A}*7E=L^2PnDv~jceT{~1dOp0nqrNF+NubKycZ;GGC zx5asBdPDAve1tD?6Sa$}vMBm^S^T<_97^2|6v17kCNULG&;|ELLFum~<9T*U$=17jMi#ojh_GMve`Rt4jq? zIiy6Rebk4X*)?uzTAWW33`v40K%-SRrtuBsS9QPI2z$qbPkIK2J_EN+1{6iyHk4UW zV5Wpc3SH_=otuSiM&U$9J!!+tmMA?6DD$M1C93JDz>>>cCOyX_vN<__UiW**OnB6y zDrkpaAgc|f_pVd=flQ5xlbLNJ)BAx?t(k(+=L$7N%Q=KE6Y91FOW$a#e?3p^B6F{9 z(D%7DjC%I!?)LS~ZJz$->6_o)Kisc{eoi3EUihfMVDBKV&$C;j(BfQWag`=gZNW14bec7cZS`!!mOo#435MqY(ry*X{50!r%nOklk9%qt|;m|5!QnOJ5!UeBIHg_ z5g$Qat=S~4&^5C%wJ0KiT8BANO=A*y#Ezm#jD3+A{l0n;d}|DOWf4j-{=+OW4m{YF zUUk)Gat0$kabfb>e@1-BbxJB!5?PY@6rv{aDPMDhtQgL7{$@mf`OKl4DEum6$pSdk z7y%m3oQx0 z-~c%A7%ySmfj78H=`e>=K!{igLIuu=%Fk2&U018~$dysWhAE{?yT++#%9?G=BpUPK zG?%Dxs$9_mP(6TuDziql6+DT}8SrcaF|-up>WfdKB$il&(Exbq6k-5Kt1HIC9$2iv zoNM79JX$utA+?9>8-{y1{1}9XTkasdDpqnZBtSm^nA+8{euSM&qz>cbW;>#t&y4p8 zLoP0SRs!>KdLyzCPBLo=QkYi8>_f|(wdA}4uoInatTi5g*L8FN1_ob>Q-T#u3yZ+n zTu$_!0HR=c^;k`m^2}i64%QV`BMmEeymo&?uRqb}zzTuQzdB3s@awbWo#=HUSX9K| z&Pu3`URa_i)JR2zN03Cx z2#VYrog}({0G@RKpv?|K-2kIY>4lx=iqRdsCOFa{9BBj`3BLz{HQ1D`%mT{OUEHdu za>*J9SHPz!&APk!Bf_vi7tVto313zOmzfT_>ympm~YATmw|tT^vpY z%QL(AK%A`rNPheMvuyECzq|fa*q+b{D@RC3orD>GOv8)8#3ltZt6XbGPwpOG<*DBP zx1`Bxcb)a)!`;Kf?K^z(&E5UWx9@K9UuM}od;Q{N9`Gx^t?tw5w(xDt+mu6eb#H7? ze$THvn=62t6)A<6DYg<}n{yyKDw_1^kJ+I-rWK0yz%K!j(E(LP9Xe$=Lbz$L6&bFC zY}OrrY!m!MBt{drQI-jMe6@5;m^kj>=0Hm4H-s9*b%@>%ArzCLV73OZcE5aD&@e_@yGe zCF}&k9mJ&{ie3t7b$7Eg;;tz#q%xKcPuR zRavqex3sa&7(#b%SBz-SuLn35mS%@^7?aa(RiUjaA-DVP*`LtWJ$d}se+*oI4p|7e zw@#*1i<3OOn`oet-A18$_j>=om)IhN*n0ccVqCcTk$xh&9t=h{hpcNj`8EvXAsn?5 z@xTw!S6(X)0q5GGgW=P)P=fOtj@p>3+3wcfohl534rp_#RVPQ@2ugTYV;F6PKqpM6 zYy5HI_7q0N`w-B}Ll`KvIBL^sij)Ya%Qf!$rlRVdO?V&hiE-UF(w~ z^C&V0zPDv|WY<`8JKO*>h3Wnp5q$I55$hUmKy~}#ped_NtxE~2q8VlpCqUK^FRIrAU4I_K`2u5;Sv6h=lT%U?D0;Sfz02j0Jeub+czZZ=M;x<(PlU(qw zQcP%25s}f_E+uA_Y8&K+5EFPoMQQ(5MhGZgTz3_$1@5FT>~ZsrO0CMb+-d}2+Tf`! zkNbJ7n_38Pt8PN7V;H%Ab)($Ox?Q*UMpiGwr|iT>u&LzSQ))_ zR(M6vPmhLJrW%+e>)~ppRlPLO_O+8~_UgB7ysC^pvzm{g5hNU_t7YC0C){G3S&6dk z)%AVu!HFwEx{0!)ms-U3I((=kE;kms;AL~BY8E|lfhMR$4KIUDEhzWQ`>OSal%w8r zVt3T4Ph7%(fy$(R!L+U><&?p)Wvu2nu7i-5ZbtXfJ(OA0ZqVvUc1_HM@rNAXRQ5ED zyokn$&uQDN$~d<4t!d=Qu=Cjvi<`TbO6pCX}{$Mi@h?<6#V`Y8i>A-=~f~Zd?cA__O-$ z_dL;w4tZpMePF%KheB)Sc-zv`JMl*6o*Vf2&u8B-bz4d4o$R;BMDk;+W4!@r-kZGz zP4FpQGQQM>(U-cgHgQ8Air>u41?&e@vgX$Gw5hpcQ`U-vl$3@VS-Ac#bF7*cY@6i_ zKk)&c6tB8j-b_TSRd;PA8EmHgjLfn+C?QkNI}{mz0(6FL)Xc-maG^vRe-YBWm|fdx zD7$#-opLjd|5~AXiyk-(5Z}^&!ot0wBo7(Q>Vii;*y}&BK&Euv?)e`@$}i~Z=(BF4 z7FnY>6gJfNi$31rvR#vKEt6ceRT~vpJXV3(FVCTPmgasKp4Rwn)!7~3Ifu0)%^_~- z{gD)Zt@)mc!(eU4P&I`uBZKJKGjfe{I(nI}&5nh0>*@AWnT?cB?5z#+c~tvBru>BG z`xFbPv*y^RI>E17@a+X?AAhXr$~S)SvF4=LpKBVA%3ZvY?3j?BYij;nGs^OaU2=Op z3*-SCE!xCoomJ;AD%~`j+MsM0LBLKhx`Bd!a=Q7V*7e2l`1Y)Md}om3=A?<7buHwB;sX(cuTr3Sif=z2O z8a;*lDwub`R_=dpLS6T@AD zVkjb^4~ro3_L&6`nr8hzSxgH~^Vj^gtJfTO1T=Dxch)lu5R4Rmt&J%6(gYS|i0GYZ zJsy1^MQ>EUDr>-_wkuA$hL*T2#W>w6WKWdatI24_#qK{<*g1e*f$S;q$j*m59T^oa z9Btd=BZm64>-O2UA#H^$)0G0GKYpvZI!UWaE6uiDp`i#eeL482wb+_R-WI(JryYQ7Mmt*TGXc-89X4+d`@yT|#ZNsQ&+fElndDnton^d<+EtrcJ4c9%h9QAvqS;3*U zinKO1H-L0Xi(lZFg;NBWoS`*UOCt2egRWg?VocB^5hmiW7} z&op6CUt28r1#XDp6b5Bz^$BiO2OX9rfIt^Zda{!i@WEYzNdnGUin@A=k24+!KAszBr0%(8UU{|)r%p5N;`f2_-VavV>4O}|bx{jB>SO_%vvKtx-=MAGzvCqwE#07e`d#H z9Vt)lPSA1j)?W(e%Xfd99XclKQ}aZPRid=bPQFezs0Su*C)qM5--e)<#=gJT3lBjZ zU7yUnD2jTA^<450uaJ-Jp zywm{Wi?j6{4giH-9|Q`6n)U;QlVp{gMa`vIPD`OCe~>2k`82hQ1Yw=}B( z-9@6jWokHztD6X#kYaC-sJJH|#MY;n80M};+@311)_-*_ceUt?#UpLJPn%zOjSZ(b9O|TEWL`Sk1!2=<_JmDpEo@57CywiOsE`wh+aiW* zs})X2-+w7t^IWJ<43HU+5KkgCqo6C_^9m@d5PYr&R=n)cRnJkO6UWn>fcN>w>m-H$ zN#yK)cz?UQd$)V{=iSdQx3#w<_Ymabo@Dae*vF(|ldw~0b?v*|GX^tX-QT3O-akBk zmG*nC%UMlj`%<`M4nC*~U%^NO_)3+KAKq%plYjGkY#4B?jtKRFa~jH}zK5V-M1vj~ zh7q+yIhsRekjnZ5Dwr~EGTb4REdJMyn#+W>E0w{uurj28uRYu% z5q~W)4K$eHA#LAtGAb*<%tit{tnlfli>LeR$DhjXs|`aXdIb-tz0hIVjk6N;y2k5M zJvo588{C2qF&~|dwTpVxK_KSZx*}jVF!hj+?@3jm1nwL76a7^D^>m3kaKOjalYQ~k zq*YD@t)nqwC+u!-)DFmB?*zJVpz^-j#(%aSpvGYRjh&K0R^QB<*dWs0Tm&ydFr#Lz zFJXz5DZ0?}Jg}^RSynwqiMC~AXib07qQIKxnvrc0zm1F1$WOYGLB*nZVwNutN=6h0 z$+AP=q5;2>?JwPDvM$5Gm3czX3%~QG-t2KXo&+P9QKd@_p$ckyvEZ}oo}>OCfPZh6 z$S}83{cVm7tO>#>b+A3d9d6G!+CHdp1{5lG_J7z!|B9QqeGy=1=`d*WLOP9+Zh@#w z0i1@t)H)`GgT#B(qh_UWvs!QX8+IHt4YEynXgn|STL|!ckqvFQP-&}*J-c6ASa;)7?`~ldbOjDi!%;2 zTS4U`F8JyyJxeb;c(n&(sb^d!D18CBRW_Ja5$swyE3hp^AuzJ5nd7Nh4>Ge~*+k%d z^$A;OWxquK3@6XEEIo~08Gqu&LE@;Gem}kZE4SG}VxAlbG|S>LwY)*4~~!O}=by`DrSpU$ptey3nav8DWUM zbq^aV0JpFIrBoF-#cldC?9*rNx`l+=KI8KiiELkOsS}#U;v>5|8-JX$BgdA?v{$Vi zZ}W)rJ=Kwgi!G!L?Qjo-S=|AgMQzuL-km=69ZuOYlyY~i52ZHC@mm2-OxAbxVD-iI z-~oi;3arDeUZ!VJBWBtiBz5v)QJ*#a;t7xF?Zvq)#={!>5DubOs1(DV`&X$N%UaqE z2$hD_dv8BVjHy9@(|_1w)EKEkc&=Rxwf)E(bJ5L$ZEN<=mWjD|%ru{0az!qG!MB^- z{@&E-KyPY;_@*te0b9?!#-ry$uaf9__y)n^HJX){mg4#v^72W^K9)*|>Eusq62eH)Ixy=>ChQ|Usiv^ zYV}teDZKRus-(^wOy4Kz4pd3qXQIJSot)R4sIR(JW7e!+{+H<&HBS2S-kYCSs_K=m z-3D+i);pcb9M4R@DN+Bv-6r*2A4s^0V;p3TT5>oxe>nmS4?yo z0W)pB+3g?!b`3jLuug!LPO*IuY$Y}ltOHwK1pDikWIb49vqvK%2U|1KWRWb^9I@y!ljAnvkUoY`kP4@9ubjH$i&iT4WomH z(Vk{Ge4ZALF3&dmx|KpRQSt^yD;kk^fGgq?pq2mT!{mQ4Q}GAdQqcI=!6WCHn1_vK zPOP8gW%3ps9?9Wx=B?u(rFJWsk3>1K_1pdbK7WN(E@(p;+9+?s)pG$yE-v5Q{59R| zQR`{(c!lRP!}%!_VDWhRQu}46-IOlTWa&th?L1kt0A=5d-n~i7DwXIfb!iJn&83sJ zq8@**&U0C|;Ge#}%e=k6&3pPa|9AK0>s=-l_pk5nZ$I3oN9EfO`QiQj?fd-q-(U0L zI_*g3H}kYON1RP3g?kp9&B7Q-7-ze`x_J#B@)1y-EPnQ=QYii9h-GA!Y7itCL09A* zkI+D;+&qphEGr}29_M9Y%k#oPl7>h03rK%Fe?xv}c`j068sdd3+RuV5W-*hEKC!2= z#Tpa<(+Plcy1PR22mv@Td#K%mOVqQUv|ebp%ojFE>R8n1=wh7Q;!vA>uT5oQ~~+U>tA2yY^NnIm2j}a z-0A8ie75sm&yx_OL4UX>k6T#)VozcN(yxt8FktDW-=Wz7sX^0|&#P&xiP26i4J%<< zHZk}F&5Bo*VZafd>>G=ULp?tgzLp3TnaKu5&HHMFJu)B&jVnjD$ZAcqmOX8=-k$uG zDRMa5`6ss*7D^FUt0<>C!ilE+cy z)X++s$;U|M^ndf0+xP#u8(3YlOy07;pNPIP^eK92U+Gt}l|_U!S^2|gBXOQ)uW5yh z)3T%ZHUC%O+j>vlP0ohu2|yTnBf_j0*vJBikWpk#@J7&WlQRw!wWzW1oy%?=mdS}d zdvu2c89w^F=ecS@2nnmYoyYi{nKpZj;uBV?WQ{ zX}$1bCl$27n!t>(;oabAjUdoQreELu`16Y&@}%dl-XWPc&wsvp{o)c!P{ z=EY5Y)PF<1;x^%`lVwRdZ`!NAzW(Xy%}>`G$WIlM74{V=!8b>!ln`;uPvTk?#P}>E z5$6=}7ORPjvCTZNK*e}M!GU%kYQ<1Pt$AP3WEaVpbkIewtccJf@!63@nT1b=Z!0?< zss}ALy;zC3?*B#;>h`M}}KM z90k{yKH0z{y!^%?iM5qk_ItiwZcv9g@0r7J1%%Lm!VMMmR$UG`I`Q$tgGC%3$8wSkE`-^sv;sea) zn&g>8+Kg{GJk#qax7a^qz2paU%>a-q3r1j?6`k!>=8^q$ZMvlVMi~gzrxNh0kdg=`W1IIP>YRYd`3l&c z(P)~$gV6ansRl^`5JuqNP#0x|q|6nzgmjB`BI+ugB_&JM@1Tg(_Y{2kMWl)CN<3SV z45b;a=%8%`>Ac|CEG+ub!oq%x>VH0)0%Oii%whRV6Thjzc6{LS`W4X|GZg4E7f~Qx ziFcfY2%G0gH2;2m^|zbHRinbN8g>2Y?!FXsK0bpgPf1*Z4fAcD1wsP3-fVZk5MIwt zCeV75Uax38t!QAylDE;Jdc2A%FK9tGV<@d1l~C5b|( z6nbdlSrsD1+f~*2a*^N20)M2$!V$4>9)W9r{&xT0Z}(Vl)w7Jp(}hf`*6Q9W2v(lH zl!KO}la_`&8QXpJD3G+3N9B8UuwZ$tb((k0_oDu2>QRJ8=HQx^h=0P^$!lAYi&AUkGEZ}DUK!b1H!T%GTuiiky`>|wM9D1Qx_8#CwWroE zW`U6|$KtSz1Y6(Wy3GF&=mv_AIgJx)!;}-%WN44{Jb&*T=7>2MS&%tm`^|gbu<%d? zR7;Aa*Cn1V3*|+yA+1ew3k^8&OOhV{&?T6pXUf)wg0iPMPClt)=WcYUT#!9Pu$3Zf zst3b<>3S02`c%{P*XGoGWJ)q+ExK4_Uu0WZJV@e<^@qg)=(M4QYW1v1&!1e3*Ln<8 zPcwva`hR7kr<&VX%ZP0W8?V2S&mC>bsgVX-GX-~!0vpQ!_|q?-zcs_;YdtlF1~;AE z7R~g8Hd3>oKhe*H$g9iDS9)Ax^RmOYDYCVwO;i`1OrD;=c8{$I=R!_Vzu=2^0`+5y zV0^m`PLAa4QR&Vm`>;kJa#W89ajuqKlnD1Nmw(|)A{t3tf69+@sx7~KKm;%_WXMIn zaCAe|PmLQAoI_fV<{ZzA?V*I<^|j#?*NyFK2LP!!_dYuav8clXCvlCtUGh6hDY9AB zx#fX#Q~oMzQ63G+PP_rv^d`DR^y6}T5<8ypNb&q!DnvD%6|T#&B@th<&o7(DPWs+5Cb z`AS(R4S3?l4H7bi2S5Z}xCf+IHg6|ECZ zqK+|{;fTqpLanzu*^m&aCtH{xJFY}&xJTV- z_K}v5%{@St>t$yBa)C&d(I!NSVlxC&G(!(x)PZGVzY)fhvGzOy3F#2pv8{}66o2}* z9D;Fn|LWVQTWi7VBC$=v$O4ELi7gy`rn|~Z zN(sj4+O)>M?$d>121Wf5IfLzM$VIIo>82@ty>#ar>z!Me**o;TCPx5YHp?Y zv?O6VI4bi_vZTEVH7rPwEE?+uI)4lB4L$`R4=mW|09(HnU$^QbH^{Q3s93UG@n=-Nct|A=HYT-EHxFLjFh=AwogT-@w7iX2{#%78WJSl^!! zD{`ySR`egXMNc9FH+$xEjRWOdbo8^K!5l%%e$}_rG%C>u0?xK=({!_p%W7|1`zAWj zI8`~JBUGKNM`+DQX~vkncwsw9-V~eK@^;+3et&=u)V()Qj~Sb+JW~<133eZRw4iC6 zY+A=>wy~9)n4;)WY?BvK=VWTDCTDC{POONP(AQw>N&LvBzjo^w7bj(QN3%@xjQuvc z?dW-N^W=9~%D2u+NNVM0pu zaQLr`>xmf6$|+DVXJpY%4@MFNGg>StoF*#PafZn-CW>WJM)(s7CL@96P$*1Ak4E%_ zMoFu>m`NQvCecS4tc-v0Oj->JQJsj;M7yvO6~UBLMA1wsTHY}g2@FsuBiWNeqGG^> zG)x&Khzq7{M3k5*7hfe9?iDC~bhLt2`MX`(}F*tAyI zfs7<7SV>}(jxeL7uIR&zLJ6h~rqIN5gkdIx*q~kzbWdu-bZkNfW^@b%Tg>htRM> zkOJ%|*a&<;lhKhksJ2F}R>5jQO*Pos)2BUtdOh)s?~Q-QMcw1?nzOonewB?cdwjnr z2fq9ml0Sap`|qAU$<|$i$VD63 za^Hb1sRDlsJ69p3)OxQDoZ2ic5$=#LV*>{Zm!S<1pAZ-W7%5_w3lO93W~({7;Vcll zml+O*z#xRlFbb@pm@WhR1(Au}i%gg(Xf+B=(g6cMz}fOek%{jjGGzmbLO2iuO^06O z0<+oph5Qa|!C)MYDWP3pHAN}VW4)O#wR^teC{TYbScn6hFwO)x*)}s3Ei!e;K2qch z*$Ly%v-;DF{=691?G(=iZ5D@K*9E7Kz%klA5X_-SPEQ!e-315FjAG zK|}z;Qzi~J+S>7cR;NWa{xI~V-z)3WVbQF{1faQFG2x-;i?N0BCv#_PSqeLpNJ%7E z4;Obtv>JCPr`ay(tCLkya{NpyV_RH(T7k=!ktlA-W$jAc9wWR?7f>|jEG-%=}xB82L zdiNY!Fh+Tuwg75$GXU{X(huKu&V4Cd-@zZ8ky8J=ob;>c3(mXblPkc0?hefS36d3d z_C%OY-{s2uIg$zy&s#KM`8&eFwl04!?Jbv=dRv#5(N0}kC>PK@h7gicQo329BL}cE zB8%N*0I!<#@@-M%tJ;_5ZY_Te{YLwng7s2VfB4X?^esIqwXGi2G*l}wE#*%2s*DNf zicM2aZ|OP<*$&+(MM0!CY4z>Vn-@Qx^ndOjobEDgi#VXDZFL~&E;Cku7Mg#qdl0?V z<|C!NZZ3Uw;Anh2%mJLr|dVmQ*;{%MfXEOGBT^~6zvxAL>l2win;sfNa7$D_wb)3`}{Sl z>tfXiqBW=BF6sA+rw<-Mb$EYUu37jH9$o~9cSl5&4C(c{)MVU;7Sy}}}dGY6yCt!c9^aFqpK|O4v zXzQPgKLvoJT9C8&)8Xy^+y8XyXzPAadrZ(@TBUpHR+R0l&{?_6!>nyS2lRAWydP(2 zG4Parb*ds+9r`LQvq^tll%P*lxSv$MHCt(?5vxDONSxs93$v+Sl~4tX3VKZkwu^X$s=D*MbUe}yr=ophX`V_M|J801mb)pB1|-2dGqIlmyI^d-3S z6&WW_YQD$!`2j!Veg2%kXphjJ`7itxf6d?UWB!)^kDuU>J;gEmEC0ZMXd&v+h3YxX;!Aqh&N-L+ErSV9vmd#JK<+MdmnJ2IchO{dJ9Ep`aeubt zA6@hGX_1e%V_WN3pRsX6$3xdN9p=Xa60IM#MYqekOa^|Gl$X3(VWb;c%mwjp*Z%t; zgH_WG7Y%w){4?gQ*^(*d7|+wDBH&hmtnhPW^;-(9W46%EKGUS>~g_-U#;5W++P^npN~4~`W$tAju!eH&HME0 zA%D{?cieS9?z$f@bU&VUn2#DYd7Vx2Yku7M>HBWz`)=s_g`w}~V}9=%PlrVb`|{-o zc7K*vJefLh*PJYjO}b^1`4mYjh6Dj=CI;UP_T6B=FxbyWWnG`F>ys_?$>x1L#4zrb zE4qK~Mc2Jp=w3`a%tsBftBeSp5Snga(+zAE1~&5%*Ii@X3gLQ2Ucn(PXy{P_aatzh zstxh!b&nshx@-ucpykkCWvM@TvA>A8Ot>|=UrO)j;|inhM6x#+i%`{X$7g?0PDJw` zjp(W{{wBm_Z{Lnty=@w3J3i_Al&;+EZJB?HRp3I6w9o`GaAG9s%L!zKaS)4*09rt$ zzn5kEC;h#Hm%F@CQE@bdfne8YxM5V-bhVL5!mQHoW1NHy*pja zpY57^#D}17l^?FZMA?)retUKu-@Z_Z<+d4NyyiCHYv}j9v)`2KE#=TF_q*$_r*7`^ zx0a=UyDdw5KUq3?OP2A&#OMugFcvLq>1_smsrZd{<;*Qvxag~7G0TakUsybNP8^0h zbogtO{V|MooD(l+$LllVP1&)fxB2a-m$s`5(dNNar~kKe?pda6+IPEmw1weHo_u${ zyj;8Cug&!7gV2?1dNp@eq1-xmR@0AepqnULw2!&-WA6NzJ3r>mkGb<>?)?38=LZKL zB8IgGfDApqpx5FNWITe5N09Ld zG9E$3BgohSWc(khRlmu%niT=U34fs#h|8~HTs7sV&N5FVX@8Nw<7AJh z8|mLuiX-(!M$>AMe?gKp-o?d46AOu3l1X{G#jP}(G65;0WEPjzWrb*jzne{|ZJu(y zGNrehDdUWpUt;Q}d}~ZOHD%_U(-M>(I9oO29I{H77jVvszbmG`1$5CpW2&+!vlwkR zZG*K*X`cUaIt?uu&JEXER)1DVcVSo;iNF&??PELM2xy(65u^UsfJw8Ps(;P&7v608 z=V0VccgTo4H|SxSW3%j_-c{`RRFieD@5`?wh_dI?z&Js5|Tk?#0#)9VtPV zEto7N8a6@e`jSQ>9(!vOQB8HM>zK2E`Hz~2>X=yz6eI%9ypWynWPez0lvuqL**MFS zr~BuR?@G%C4A3%xWVpGsT?xywQ#3}A!P}sLt;9P|whN2?^5$;~71WM25Ga}p>nfdU zr!#fZ6o;j|f^^izHMJ|*1t#D|&aLhz+ATak^)eqaX1KFSTawmSTRKg)>~33G;BFo* zOH(}cSAUWScomxv)uh~w*<%g1D!CJHo-bhR8!bSZ)B{CYg=xtM_K$~Fdp+?x+X~wyeZfArBHvoy&at{+J{_}d3y^%U$vaB#5 zDGgC*+>Juz2(fY31mnY{zuC|=11L~LsPLrk-%O|d$ahd-&VTjYk}3nvVbXL?shQIE z_~GNPU!Kn_k1L58=#-@1!LebvUK$Lkk#g46X5no%L>EfOY>gYPM=__kDXdc8<|I3U zqoe3_3oVaP#@!3ACOQ@=r3OIxes^|}eaE8AZd>8J$)j)Z=)N=w97Xou%CzHP8vs;Z zhOw0PkbPmOhZA{SH4~2pnLGDm7 z$g3YApygN)*YXk|wr+t~u|#|M%>#sHwcAvc>=lHDV}EpWoZiT$l-92Zyhgt>Hqb~D z$%!MwqeK7Q6$yi@td(l}brz;EclLL^@#fWmJ&-*qTIPOzE1e-a&`#)b*VE`|g`5X+ zd!e<+)455%R5)r==1jWXcBQ$%wup-L5=l7xq`IK*#RG8#@of!!=bSHA|BK0gA=3tB9tZglAw{nV27I4o=LqA41CSXn^OK zl_GRvInKv*{-3_;fSE;K+FU7z&i+lWT66P5_kRF1puQ}XtJO{}*Qf`}DK_(9)v5o6 ziasU4?j)K0gCuWf8X*b1wPi@lW*ySQ^}apm(Zj!KTyoNz3VYTt?NxQK{F1rsTxI46t#pFTD^Gs{7{#+K|trI}c! zy?^o(Q`%gUmzfSV+?N3(0H3zkW(3+UA(b}k<+*6%7BjYoKpk)1k>9j#}-Vf{S;#*t!tfHmWqMaQY&z&8o zmmeho8YOT8tPl#-SqaW(*(JoZ>GH=UcZD6Xk3h-9n;5AW6~igQgVvIlUL^q^F}qT2 z^Wn-j4x^8@x|NSTs=e*T?#?K`))mE7{uXprToucU!d$kew>DQde)DkBx38D3B>@(H zjX$>Xy4XX7S^}yT5SkCV&TJPsbE{7>kZU!07&rSC-G$aF({0Jox^@p%F@?ki)(n?I z=C(GUkXU_lS@*o(=-=UM5f0Yx^ky9q?#8bhWfR8hUq5B7odGcI!jjYt?d)+8x&F>x zhyo6GE^v!gL!7cD#5>VtK}}e8vS9`^F`~ok@Z)6}saU(ydraTyR5O8SS-rSrMfKsr zT`)`1skHSkYqA(4_>SgJZ@&5un#F_1w|6E12M_`{G?x*h1}J~ET1#^qHxj<*SLisZ zB1d>*CbvYfWAB!?T(Ney%5iFomKd8GiByr46Z_XMfJQeOGee3>ya$Q%Xf%L+e%%;x z_TfyN{rHW@zu#YdbMai+v%c+}a%We+o>_C|m2agFcQ-aAg6#tWR^Dd5Vup&V3t8lKIF z*y8{aqs)tnq6`DQ$Xl>kE((@WMp$2uFdiipr=6ewa`k_=px(KZZEs1BiH$`OM;!%r z+H(!-!Cuo_+#ODaQcBBV6mf^z4R@Fbyw5w(`Pu@7ljq8#D%04s3wjDWi%a5*_e{0c z%=l2W511CTeA+J2*tlrXmZm08G$cW=@uJE&!t08+9&a-XLc*+Q_Rbf7i?fGOT%Q*8 zS@e)i#Q=Xj_gClgGcjI0nwCwzsZC%d54bOEMOPx#%yVthZFWmH-h#0$?V)RR*Wn(d zDEl88w9~M^BsFU>bcoEF?XuDbPzv&N6ltPbyJ;??6gR7N-23~*ZaG7CW@3LbP+u~IJQW1E9L5~@5d}KfJQH;c zdU4Ch%bRIaGdi1$D8UgNCU6zW2pP8+zv8toZylH-iBcu?;#*VV9fs~HgN0S#s1)-c z45!_W-DXA;C=djCCT=A$wM2%>hF55Od5Faj2OLGQz%1S%xQpk~b}W|$8MRWVAkQSn zFN=Shn=Q~)DOYuYN+T7U1Fyivn72h&XQd+nZA(?hYERdMl~4Ai3T$qlR75b7)yZ49CCRvBNBlVIF`Soi5c9F1={@| zs~Z}2$SAxn18T9yx3m`YK(h7hV`)@y{V9KQP_DI7Kg}FkBII43qoNZ|jf?<5uhYhy4ymR%tZ6eR=f? z*$ZSg5CG&hfuSCq9xMs@qV~aBXIXWf;yN*|Rnk7DI<4AX7^FH3hcl|pD5gzos#m^mrR+y2B;#aoh#4URUwc-ZFGc)> zGiroLNWxBuzVBMoKQ4LQDy^90bEY)pHK}l+@Rou`T1$aKY|pmFs3iHcR?gEJ;)8in z)%IMFY8lU^6ur>M8iEigAnrurvYmfmwj;{|gf*91wxNKlf!5oXujfhz@f)w2dHjj9 zdt0;+U*xqYRw6K&90I}7kANRhxDqE3p%`D{WvNs+LYyI+D&&r`H7*r_P6{O$2+Kw= zB~{3*o;m{_T)ZUC11Lk)q$splkbwfK&{a{ZgE)PD0BJoLyhoSwsiw#|KRJIDJYmeR zu%yZ_QQ$6;Y%1tDHB}ttEBsK*-I!6;f^%SO*5}sN=pq{zZGmEfC)_HFqB4!Fsf)*u zm%(Vy@G@B$Qn-n@PZQMOU=nR*i5D544eNhEc*JERyiQUED#*`?JmzOVk)Kma80^Pk$uBwd9@?Qo zgzV*H(&BHWA(W2LgRrH{K$$m2Y_Xg{@lDMX&XR=B<-l4`s_UC~!irbR{UR>lQyj9~ z?w0T>KE7G(7lA}(;v@~YqOu9~7aJb&6~%Pbb*wOlQPvMEQv_w=vejxHDv8` zn?iubr;g=tF9u=X&`eXkK8M^f2UAVtxuTNMvSplXf-Me_9(-8U`CsrA+F`{_Zxs*y zqI3=@%GNxR#No+{huwe215K>lME!f*!{%-iwcp%qcx%{bW_5y>T^Px*^Qwwd;BacY zl3fq-_2K^B>}iY0&AYUa5?!JlAs?9oJWm@{%n=xikcVQ?i9%oC^*F_QZ`0V61ZXGr{5V~#RlpuS{HIUJAa8d}Qu^c3((2MDm}Dpurn@DR61pni6{ zyxwnD*KAcdZ=!I#|8nSLp@_>DIl*DYxDm>PJPmI&qgM=kI6sk!2!wK===@hqNy$qR z#{?>Xx5&pp&Yyo&O+^!Nb#JUh+OlL`LY0X|Z7mceH!0wbR7@bX=u2!bvknoGCt**Y zL(FPj%nzf~V}U}so|TAI6KvG(N9yBErEwVuaBJ8CkWRHix)ZuDrq_cWKv@dQTp7y_ zo1I9hp0e54IhmM24%#A_gtfML^>no5oY%s7Cb+tIh2Vb=Eu8jH;FZp>*Ob%2x$I4A z#kifL%lZK+AaLX58^-+nmUZIMJcl&|P=2i=D*&AWfim!R#mOkUvcnai$G#25i8%J{ z^hUi%v3)QVNI}UdVEgoljYG@&`lTN;om; zIAetbBT{{9yPk^M15+C-nd!5sSzGnsyf}K$JcWO!NnH#IV>yxEN(68fzVl?~guNvl zM!?t?|BSERyoh%qmm9#d99Ngsd!Nx^COPhZxFJ7GxdkM!Rq+l^X78pZ`fI>vb|5M| zwi9QW0wD*)r<4AXC&QC3jv9@s>*dTL&ssjI!5Q<{9+}Q_{76rSy?H!if{rmPT;V4O z?DKyE7UUwM9~P_a0xn-{?sM(rQ`O{I?GzdQ_tpn3$tK@^StRPu`755t;bysBZGOl% z-><&Veg+CS_^k$oWQ(8m^woj=3?99_dNsqBkLeJo&~2%im@6C9Y37yXo~Iq3_~d0A z<2pREgIcl=E*IS`&qFifDF?PdEuQiMokf2@OWUnKlj?_9yXyzVOY(Yy-DF@ffbP^l z?GTE2S^=Ifhg}@(%Tu=2)yWlA#%A~p0m=Q5%ph_~$g@d(C?#-!SrVS4LL!IB6dulH z^Jn9~W|CIk@`BPAX%lD=bas%bof$NSEbBn#rio`lFCfuQeh$b#1)M&NnyQuZTEu^J zcm~L28)lYej2xdlSv!E)Y^_zGFDDXN8)De(JXK871yYN{)oA#!!tUtVTSOJ2VIMKt z{)Das)Y*b}B*IRd=%O*%NqIS0Q- zN^hN*TB|93I8{&&M)P&po*8`AlQ@5!?{pHtb5UKNG}FnkVEwXkK0Wch7S*3_`n$ZU z`gBi>KITC5QF0t{GaBP3aE7`p_%)#$#6*HHda$rzRMMiA0WYUz{rvrE`}yHF=y!&H zpPt8jy!^P_{xV#zRl=xINcn5D*YoLC6o!&x! zd{`+d)ApS&p91C8^^C^103o4-{$XlI?)=@)fW0O%3#00-+g;=alQR~ zzu(+G{LyZ%;;aM{eCmD zCDjYn{J46EJzv?}-zT`Z1k{j5z$KVeyc+U{r)Z7wnr57|w%}&1aT0&^^?JMdw7C8p z#4N%ryZdM?!2nfry^jlu#w5C6TsJ`R=HdPA>Tb1O+`|3k$HjWRyxrwbc!X%39(=u( z3^B;?m?3H(tmU{Jy0({3vcq6Fu9)2Uyi@UE_-1kWo9+A6?L)e3)BlI{itcoi zUjgm=)qc0%E*E#~nG}D0ui3qk%6E*vWba-lrS10V=0AyOx46Gutv}Ec)x5pTH%Xwu z0Il}5Jnt9a8$rLPJBenk8z-LR9U7g9dxzoP;UD)7a*q9VNZ%tb=!_E0o5g;!i$?cx z6^+X^|5*GMTY`(b&3-c-IfZYnBb`U?(Z<3IQT@s`-$59Doh*NPxt;Gf^Vcc7La4S8 zTEyD`FVetu1R3%9WdauQ>doifet9<)Jf&)V*R$^^g9$es{M5KJZYBzQ+OT!&-2WrQ zz6W8a0E^duCaiuPi>czNc|tt>>DhO2U6(ILR^yd5&A(T_t+GShtQM0JmR`30iCHYb zw2nuQUzFye@S35*v3hesm;6O%EHP`(Hg#O*_z=*C4;_JtZr0ZZjt*$4S*-Ad;(a`qL` zv#W3Z2kacl=!dUF0f(r z3t>f|1c*5}dO2HLTDbyff6QqA2?8|jOw6tAt(^gy4t5Ui)@D`!es_0wVRsidCTBN6 zroTmMKp?=?3J9>UwgUphl$3R36r}((Qi>V?DIf^wY+?scb~ClJHUr38n*l*CKw5x> zgEPSH-wwdc0c39dFHSB@{}2GV1D##}60>l2um>nesEbG{DXIe`f5e#8#Q-KCbAY_` z-*S+v3-4bv(9GHXU)?bPT>op?nf%u>{jc@kth498EhYq3R)D#+nJd5)XlV^XVE&hG zG9U{Fz}J6=&D|XTlln`@u9zi2l*J4F+FAb>{9!QRo$73d65a4-it zg8-@y_9meJpiJzof9<^fzqtQF$heyP)j0j%?@~`tB%iw=e zqM{C-K8&o~oB&34HWmOY$KQ*GgU#>%&^2>&b_Rl6{}KFeFaPoXStKCP6KIC8w(MZW z7iyEy8eZWqQ9M@(O+PndtU0i6~qEh(W5NUV;rHN;6rU-Qzb?utYNiPq@w03LSo4JEEH3hxH~~R`(cT8L^VNP$%y?lHKr;NPfJ+ zq#q2n#qCJt!?&scI6HA_ozi?S{F`9i{YUR_jKZc{>wok3TC;Fp@(OM_SJJ9l&Aq&{jhFGU) zlG-Hu=FvO$X59|wZYd6sU)ip~6szs=QSm}zy?ac9(Gt8*pIGy$2Xucuhi13aT8H`0~z0|eb5_)?<# z=A0{98gT|jKg4W?2_>Utv58KTnL6cffrNg?`bm28iy@`Qi!kCX#8RWZl=X`pxgqor3h!`G)FGCnnV6?)3awlhWL& zI-3lZlQdU(Xu{e+7D+|!@UGPfadr{&Nq(J2IqZ8tc9HumD++@jA~IuteHraFN+c_@ z&Fxjc4S)TvPUu3tcz1W;)u7y>e`wvBkVo!ZHFVYQ%PLu5gP0=yjiWUe;EE2sOgl}+ z+ct65!p7%`L}N^1F1h)L<|$D{=!!TyJ)YZaRozpE(@oZTLdCRFfxo6DSO=v@Bvd53jBPn8^wz2Vh@16PF?s&G3Y3kk6tc%OZf1|eyibaM` z3)+iKiy^N!zK_MM!(+4@>3e{V_NI$4QsRd8P0+BbqipPx3AOA_IUvb~hblB3SJR|O@#SgE+EhZok1@ivBU=Gi*v8LX@`e<0b+4;cG2fK< z6B`W)qzmU5*VFZ*3f1=?e}KSgN0d(ISjw@@{97Z zIU9#VAOLUKF`uoXN)p&g+1*7r2Py_#7M7)31!X&%vu|_$uz3r<+R^=@p4T`X_5u5I zam!(Vp^Teif&ps@E`&LC=O6s4LMhwm;w4u%k?~!^{>koHs>ymie*`}+cB+rlz$AJo zOXtDL*EZfXtiHg_Y3VD zMstC`8h1*rp3_8fjvBVU5qm`QgOiy%JD;QQ*ke~kDw;Sjp*2P+q|^6s57A36hZ~0Mzmcue z)_efomD?E7e-cG7_(!Pgl2f!01==nWGI9o0e|Q{i7^Zoco|y$RUT7 z5Dw;lMTnHBsi*MLw)y$h#&J#|5{2F*%_neD3ufj+3GY?jGpZP0u{kHDm1_|*lObT* zAQb?%mpqO&A#RJ?2Ms$o#Iz$a)%SSHP**#D8k3j^g01~{D}>NbQr}!j$eq2)Q#?4R zWl)1de=#~3w;Oa&cWFn#!zLxU5LBnf15B5IITH8wHclysS+{k6He?Oa;a4e1pGsA`ghkq}xxzj~h2cGE@ zKa9X0p0^4I3>EPPtlOsP)Yp0XRX)h}Y(k_`rMDnVtqBaBs-N+`_LPWi%Z$kpz@Q^` z++uNx4YMavNfvsdfOTp8N-i>7AT-yg(ha5pZN;4$;kszQSr7pCYNg0=b8U3w0MmYA zf7?kf=*38)Cpg`|b!=B*yQ+!6y}XQ>moH~AJF1!mg?#`ynUc7xh`o8zM-c^!J9{-^ zC^BgCPSka3f1T1drL-h@nBGyPV9%ui_~il&wKb@9o;_x*uB z@)?QCFC4sfYIgyME0T13mfFasg+)2Y-8?6^1jni=wQZ;pQBcNZI)5mM4g4v>e{?xN zldmxmy%`O3bf@&VY((|Ap4X+5itB5YBA+UOdo2T&{zE@*GbLB@4N zI>k@j%P3STuPIrN6XmY%LXfCTcd<)X{Vax@N#KDm3{)xTAHb;bT0nhsRZN<{=yz>! zHC1m=pcpg4q@T}BKg{s09a~SNe=`uzbBRc|Lqmiy6WceS`A&b@l`1Y)`$0s9Rx#MR z@G*RDg1ewg4Yq&0vfced0Ta(Es{Kz~1G>Tot1@Es0OOiq8ee#pFUofT-Z`ERSOBy@c7;_tIi5;CzhtH|4*mMJBNjwqbI_Yb^{es-WYNbJXXQHk=rxdQL;&^dS}=yg!BCE^ueO^|N@vYRylp279W? zdj$`HNM$(1^$l-&0I1 z`>RopR)4g~o*g^_8}|k}fB5Kpq+m*X6%HeQZkvPYL|n+vrcJPJuVJFIOPZ4H_-eZv zQx6ggf#Wyzj_S@$x}AHK#^3SOArtyK)OL)_6VS0i3aXYdZW|RGT>qAwOf?5j1}(Do z_LT$iD<$zDX|3E1fxYbKMTd|szYB9=2oT&iP57yy9n(VM2l64xe~OUPnaDhHFg6r6 z6LCA^Vq-l>_+0y|$2O0x>jW-J&+T`7uNsn2mU49}pEn*^8o~^!JSsxI#FN`Rk{boh zbwz0B#j$+AHYhLXz2eCvy_!|>gwI{He%EF?zyRVt@&AFMu~}8qh3tdP>Z#-hqbi`t zMKV%1X^tYlAIznNe{EHO`e`URo~^!M);FH_IDoMJRwaHVI;ci53h{k&*)W*qT=bJ+ zNl;$9S3+g8I1j}d!nx`yTbyrIs#+&{L2F)*kiwgC3wc87t*cfAk4e^`hsS||nzvvw z-W1L;uzIFa2<^uTl&W@KOx#Jg<;2ds2pd3HPsBIL18dIh z;}7OuKca<$e+^$#iRJ2|Ne7b3PAw%Vo$4Ylq8kNG(X$S!kAJE?q1jsxvhzd~hy*{& zQ!#yDO9s;P<@w=xgPOW*IKQ!!{qzDqv~UVtV+hya{0fB`fox-}{lo|Nd8UFG1-*q7 z%)T|8_*?uEaSiF5v2?)u(au9SY>5`>c7mA*@mOEle-)NkJo~%!wKy|I`1;SnKxQ@0 z4N3~}e2C@*{FLr#UrTw`I*gD02r)!yBE7Mh{9?JwL>};DpMGA56)1S}HgExfgg;Vx z5d*;$$G zDqw&vf9X{YBgzv!alk)uU83~J(|)9)Wt;C5n67madx;O5S=xa5f2e2`C?cs4&X2c; zioR}!C<~y)VvB!4;9+P7$XLjMZ+GQI2Fg2kAP1L9lox$kF!5i=Vs$h>FG9&JvXDu# z!#{#UjKLENYIi&B<3fEz0U{l6kA4B21*~mMf2bhPXC9Q4bpC+0=(9K`$!7%ECl#wv z+6~Q?>5J!caSKF5sJ%Z8JzN;!oZvp~#9E63%EG!$h}}LkNH+ZX{RbD~aN4G4lE9A_ zsO=_Zn{4xj559dQ22}UABJbC=A(fJUTrg4kNsGI-n)Y;%g)Fg+568P9QeCTD^pmb< ze`s6HwOvV|w<_47vas2-Cb@xSk8M*lU&)5xcMx>*?6Bdb*{$?NK9@>KH9wB}a~R=$ zm>+Q>XyAkz!0pK9OgpTjjzZ^aZY? zG^*=l)0R8E?gnjYm)xQXck|kv19K|&X?L$o&aEB}GPdPxsq~-RIOSpw2Qqx7f9QrW zV+4UX_h_>}04ihyAlMfgYn5uzE+{KqezklfG!;om(|M~Tzi+aRJx$gg%i^R0n9WSD z?}M*$DsnuyRRlrPUHgG|r)?xk^s@0;RhgK5bZH;}2#9h)b2f#4RJAPM6vJfb30 z1fwP38SONQjbx4Q4Mie(CT8`xe@z6HR19cvfB!UI+{R5# z7~0;omdZ%&lQkCHPL(+P?(XCh|MIHAFc7aXn^3(2o)ebVKw#iYn8dZDaLh(FfyfxnA(kZ)pd(?jTZNfco4&h)xkerFM8 zQtj!VyF2BV?RI=uY3qChe?_avSk{x4ZACVAEX!h#=eR%8JGm{%Q6z1Lq(~H;niA$A zZuy5i5*@(9!^C;0_k@9p^5A4wQtNeqUmtp)>;b&n@fY#AC)!wpqDL2A+&BL%K{9A9 z-H25r8Fb9ZBoiN>&c#Hq56;%byL<>%;_nObbChJ+eMRDF^o>27f5Tg0R{&hPQc7hl zdJb08lkn6h_06G0h=GwR6{y|%w#B^5fkxSUbG=eij7p8mrug0)ys(8D7?svZOJw)Q zg8wSg*Rf(~EA!`<2I^5=8HZbu{gfX0oPHErr9mpoWp|lRZ31<{QG0NTF(#I_Dwjr5 zehkO@YUGS{xX=u^f3@L}&JgVkrXb6$Li2pJq;8GtIedHkBlX%jI9t)yVt0PFlAH;0 zg^!*J><(Qa5%Y;q6-}icga9B$dopci&s4 z*6#V-t^+Oxf!?c=381(CzqS1U)Qp?ps99N(`KSU8P>%M z&b1f6u*bukLO0oMNX|8vNs?6?69uX@ zM%$v!YlgGZHQJ9hCav}5l=(AFvbDPzx13brcNQqphRh2u0F3y8l~@*PXqQ?rZ5Z%{ zhg#@Qe}JoRcRM`Gw{FLU7!_Uv-3}<1>-fHvS|dLmstKF8c?Q42C$@=PmF%wa`_xR* zR!OoSdd)Z8oUHrtO__~5C7&1?2CriTWa(6en~4Ywo))waaT9FF#LSaJm%|Wz+p3C` zq_j(@K8y7AhEb3}P8(4VCv$d9Vejq-(e6Qse=vLbTB^!HgKzoHoudm9)(-r45?g3I zR6PnIcp-G@srzp`?}LhQMQ-m(isBTlT^NVO=8UzryvLY`XWC}@BwM>#yM+1_|G ze>AFBen(~;7JidXFgNi|3E?%YtX=jeY0-5w`+ANMcZeY2C6aShuw<_xC*A03>q%zs zXs1FPPvylxhFFpl#@{zEU`|ua8J0QUbAL#=F@-qfVd76^7spN5a<+dj&m}H6DrLQ& zab1DS-R=xU%NoOm#e_ic(mgSXgV+Mqe;UW-Uzh!oGnFd+*O2=9ha|HDlV^ckHx!++~KdSSrCZx{Hxc_T>qr1ceAYT^q#j6=6F}vK<_!X-v6bbB4#4v z%lelb5x`skH^&&H9GrGcwq3aUe_+B*R!Dzl1XVGSFNQ2(i%jUjuVM>*BvZajHzopt zkLQM<*O!T0U;*|eD}Z_#sdaQ2oLA)wPq?s!m5TU@Vi$=zWX&8$cCbH=mpnp4*IFhR z_i9Ed_iAqNMq1(07a4-;o>O~7yDPS0bQi~V1x?(&ALA^6<|uoYwtxKle^hmwVS!fy zrI;s3qUZC)@>J>imDLP74wZoJJ*fOFSn-EGbdx@VwuhV%N~IWB$_-}) zSqBK8`I*EjN5+vFB6tun-O#RsAD4S>L0j{87muYINdzrA2ti zw?an@ZMTf!Y39_En~R@WNs%Tj`QlzrjUbRBa0X*(Z6@-8>fR^EijPgj^&Sj~-Nd~x zW#~Qks)Q#pCo*0Zf2R1(X|zqf&3D;slhMiC2$lZYrWFm>h5O`4vIt;V3$fm;E0ni# z_}-?KxW^kuFTF$3U*MW4LzX`vcSZ7H=Hrj?gF1LF?SKdcndcQ&NwM8m@c;uOMMsoz zIQx>Ax6vi2X$Qn1xp{p1={DYjicRG3SGp^i8yhg)3+L%@f9?9wrHyALHHW8F>r}mz z912Ej^&G~*d_W)ju@nofB&#`F#V}p?ZPEd#;Vp7mREqk6?A@6xdO%+{nL9LoQf`cN zZt=vI-De+jpB+>+O~S&q|3X${x@0q#`JBzWhJ9_XgNJ$_z5>q%&w8g&JzZa=U@N$%M%a%|r*zuVrr2?w8065ADM%G+MUCAD7>ZWYaM zD?i+=OHaki*9Uu>tMI6j^WXmCaBR*vA^_Bj`e=;6f63jTyxEgMlp>)9qp>uQmJyFk zuoj>}ooc#E=XMbh11Z|6ho1U2s{`bZj9RDf7b|n`snJtJ;=3ioSijavYr*qftoB3G zQO5)({Xy9fas1|LjEg?XAfOfktavMmj~} zCGqy-e<7BGor+N+<;6zt9CDe3rvEzuP;Zf^^*K9{+ToK&Z7$7~e5#P26Mk*~y0w9k z1+z7|D2bE$N07WpgQ7X`7szl$?H$@>*LUk=zb!rJJwv$LUcY-Ax<&JLylGL-tS{!m zzG=xL7}jeS6j@|unq$YM+sRWeDtVT0pq^Xje@^v&hGim(L-sf+rlah8M})a>c6+5nu(+BQ zhZm$}Rk2~^R+lw`$IHdv(tHgY5a2M81+3umcmpp2o9wR@jC?}5$qWx`_oo=6g}&z+ zvU%rmG!;g!O++=8>9$TNFZAzF#IoGYNbZc|+k-6v zY#jFQ>IoeS<5m4|?7r+bX5pr&9C0(63a%2mK}SWt*>qF{06StkVkSmMk}_7#`5~;o z^Y-wVfYp(@AZ!zDTCUfa^cVCkn|g_-_i-bxGg?3_Dpo&p`TXfIAP}9PgN0EMwyq9k3^NJLqJ@g&%2VL~rF2Zo}(*1*xX8q;JK4m2%i?#HxI- zSGiY7KbcVJ{Vs$9+Eh%ae`?Ybmzd1qlm-X(#(zmz9SzqTfdBUM9ISAXy}&njc-vd} zL@iZXKRwhJNWzoRfR}zVdLW;>f8dM~)A+cvV{hbfKlA4~^XFlp#abs4R&eoB}TupIEx1hieZC{OF*9W>L1q$#^Il&Zm0r^|FuBf^80!e6F zBiF9)F^uX1Gw4K{UYRuJJrmOX*5g;@Xgag0aFhyyEK&E}QP^s~O#T4je_YN_5cv@Y zpanPfzc4m4CS9j3WMUnxvJ9U`fS()Y|i{I$dhA?jten^)=fa{Cp zV4qJsA*TDv(IJjuEurjro82c&)d)v#bwZHe*mE61#%0(o9gPieJ+YT(+t#Lvm8W|^ zP{6k}R1CtwAx@M1$ZF*Cf0UK%Yo>Bikuw}o9l5!wRmyR!y-N0hKJverLVUj#Q}vuu zBMqufOV+#nzu(L1(%H(soQ+%1&U%5XdZ?}lT0VyAiRPLDimDVR76fU?2$za}-YfEc zn0pr3J%2Fc)!+l3!37d(>b_gD8ef(e_41WSUa|ci5QwttbM>difAX?Fw{x#1I{BDP zmrRM2Wo~M_`qY2_)wQ~IM_gYPMkb9_1*%R`Qcs4^)DG~P1!+)=D3`Gk5L;mKL0CIvAf)&n7hzv+#3LXb zTr2m>^y_f4<*1AC_JNb2&i_Gc5kMcoZuy>ze0Bo7FHw*G9! z9$bb5mmJ3teY@GzsXYIZUZ7tVmg>z+^S#e{&v=*Ij|-eU8JdRw7}cEm4oREOsGjoe^%#gh(pmO)<7lT98S)C zyesAs^x(hS<60MMGxAMEDZ+^%dEZJ;unn{^cq~8 z{UKu?3*FJAApAY@hUZ^`HbHtWAMXVlQ#U}BYGgP92Ve0RFVV{ZAJ~?2+dj^^@DfMw zCi)ZBE6D2Jf8cuwHm`V4IizHii7lFjl?}eK%!2386xeHnJn}@5`Ps6^B#epM>2`N4 zQ-e31gU_0HuGS8?$ zH;1I@q!Qq+$^%Aud*O=I1U6poSkp_zF)!*wXU05rnkUC_mDY*kRN#EqKjatNfq6+~ zZMr&we?n0)PGI^Sqn$lC)V?%1;Y$3fCiH*<;8uW!qhgOx&(647wOQ~pY<}YWX-kFg zXX0)30Ol_)nh8Xqs_n(Ec74;@SbErNtJ}i78cGE=jrp?BP-|ge^~Tvh9moss*q9(# zzZHEx0jBK&c#q!JK+4;S%3~bB`MMCw0o|%ue?hIvwWLFeD*TKVfn)Xo5(!82(6)f2 zCCoKmneqeJoIF|B?Cy7;JX8MUYJIP#w`<&pk^)a z{F6@FJwJP3Hwlg!2oK^9y+zUW2vLckiSX)=98c_+**%?ePUg5Of2p#(6h&Mf(25g& ze_AU~IAqU&Ou%=nS*87#7IBGhLU+{gv0}`4!rEz1BPD`thI-n(0^!u@H`OqU)lhWD zfF|$(LdjD-78GT)v4GU78WfDL1I)GyR^9^psO!$^sl zsR}8^ic#7$k9FougU8%AUVzQn4@bZff6sCir4w(}`DMV1@mUHcN-k1L-|7Uz<(B(Vu^(qsP?N|iZ0=kA! z2^Atqo)8Hd=Oe>kwj$y7OO(r4eQ_6fSVgyxc-V7POf7-5{A1u8T%pM*%JiZD8qWySVte&lgN`9bR-su z`e8?Juz9XhT^peP3Zes9DH>Z6!^;w6l=!zU+f)YBs$|i19qqDm(ti1V03*P;FFA=l z@lf+kH^Ow+PtZRdk;8VvJ;xRNf9FE%_u4=W!r=TrVAmU360U=DaXBHOUYx_`$Ma}M zHoWak<6TB~Ca62tJsRuMMsyW81K)oeRuP+MkqY@t>3%yv5HP=$LEKA&*wE&z?t9fK zqf3I8$U=4ht-^QQDY zS0*{~n$I1oZCi)EpNSYW4Yo`O5?kRdMu!cK;7kV3zn8mJE>Fa=gmc#<+azyi(U1@f z{{sAMh^j1OkdJ3ph#0|G&t*F<^~fmgkl!=7LlHxP3e655NT*y9NKu$76xs8Z=?1k& z)ZZ1f^D^1mjOo00r);U4e;UkZ&5EQ6v=7|s+8$*jxf@sC@jduqiM|ToyG7DE8$W%d zwqfFfJssW`n`dbFH1B_vf&)jlu-2i~iMizH3Co=~E${J?EF|}q@&)!*@rde6s}0C) z9GX5Y5yddi6tgaDM=-}8Ea*RYr+%IA-aE#ZRC50&&{1JcvR8k-e|N?a@I#BQ>4$CX1?SAAr({DC;8Xe;fo$XW0ezE^fd?goKY;8 zd{JO$1cQ&$qmE!;@Ta<*Cu8x581dSOt$B$e!+fuOi=?32T!|M5X5}Y&!VtK>RjHk! z;D(BBMvCaAn-HcRe=gMzv!2rWV&DV5UPoUbU)5NgO3ZAyjKm}r?(Eoc*fC^7OhD)# zCw&;Nv~Sz=q-fm<85PpO`YA~3g*>XdbO!QWrXTq{FDtXLxobuvH`P*cq#2KwJ-D9I z4@p#FUXLwCpKh@Sjiz2y?*Z=yNrRkvYIe#fC^XqXZ-rx|r7A4TTTu^vB zsXif|zjB4f4h8aZR579_-yr)}rFHShY|23Up6L%L9^2d{TjeLg6COEszO`C?&D%Pb zH_^qguisu6-y4D)TrbNjI5yE0z+N5&)2XEs7T@zn;xivVrF`~MG(p)TwcGisI&v=; ztO6md%ueMbW>brGZAMC>0#3@>OA8#KbY zb8#&}B}V~9@da_I@YdqN%>G67O#o%7*D=6S>*d7(O?yN)c5amJ4nJa)@q5qDE6(f?W!!KL8Lw9#6 zr$;f@F@<&6lxZM}>L@R^yLelk8RtudFDzkm7Jt&+q|&9kw!#ntadO$WE5X#EJZSap z>9@$ewoqSa-y3%0{{wH~4fU7t!vPbAcgqB~cgqEt*8wn>5u*lTf4WdtW`228R(Dg< zAx^|ZM>%l{ZhB&UfV-L4;NWg2GI$RaH&NP1sQ8Hr0*Bzm#l%`6CI&7Sq}VY+PJGnZ zq9(ybtmsJ$UPA>I6dsl~!cQbrCDbC+6i_fyLd_Z&CpFZ3fL;kRWTYC*P)gbzBVmRz zI8MO~trgZ_1}vqZe+Dy*2N8^d83vg&3T9XhD;NzkoDLRhFvB^AHJIUrf*BfScw@qj z(J;e12P=cvGDv_2DaxR|m?*epa3)NYb6E3sq64-CkFco;uxwx)@*G0|m?R)51eR7o zO&YVKB+M7e0VTj+34~u+09aU<3qU~41^kUOf;P~Gs~{Sve+&h%1!#j2QUP6QEz}4J z3oF6kxFao&^AdZJp8ygmynqGx4e}zSzz1Neloq%G&`^kzLau-z#11$Bp#dixs{&|O z85{?C-ccYgOht_wn6D+(&|*+7sj;Sjy3{yMOF#$sh8o}kdPK`|Ae%ydEcPM?+9`*2 zfi-V-q`(;-e`g4s5pagU84<8T^8~Xq6XXO;3+xVt8)PKFXn-V60gt)JBU$VJ!#txbriN*#*A7 zrF_5hvqN$5avp$Cljb+p@zNSi-%!5=E(827$2NC#ee7?3(>QF0HoCAM!vn0<+!e%_ zrXA~eHSM@g)7M-Yf)rlOyoN8l061B0^Q zfCd8qe})$XK4LHcIsrog@C){1LH7pC0YigThUS4mz`7Cc@LLh4Agcwr{ltOEqY-OR zAkhMIh4=_-g9#!}8tHht1pR6dK=((ZHxOKqVjqQdSJuKUE`veElD&cr08hIS?!lW~ z3{h$qu!MR{b+E=emT65YnMzrL^t-ZYF>x0(e*_$Xt-*K=TZe*Pufr}_By1NU;2IHD zGBWI<#s!oCO3=8syBHdr!zLOOjM)W~Z~>R1deAt{DJ18E+Qr?;&`2Z=QAcJzxP;&f zWr+pXxxGZq8V3Y;X+kyCt<*q98@=n(3f!J>;r6IO0&a;KS59+_@jS*@lHO1qMs|A{ ze>JYB@x)2Vd0LbBhn*eb0oW_H5PlH=0yuz*O1MgGR0aYfwA9#%8Dk*gPc>r5mI(u#yz9@1?MT%RGnOpbP-4k5b4wnHbe{@O< z>Woc`Bd3!dTeQIOL1O%}7V5BZVQ>(d#v?Y6z!1-%Khh7nG3M6f%{&BBJzOAIoJ4hu zs9--}OrCUz=4H?{iMWL96|rPasDz}LLQ{(d*SVcJPra66D=kf#6xSf(fs_srr`g<^ zP@#4QZXHrfwCL4oW-*?}7>WbNe^P0D9?89o8P~Z4EcuPz*1=XPGS0~Rf9yz138IGO8=N=a~YyTg!> zU;-;tX-qku#~6uwdcVCFKAgO#O~6biWo%!&a<1PujB zg#k*Tk}=oA6hhOUi3b6fJ*fsJ0fU!hsRmbn=}|L`a_ScbO(R-Lo+2r<>5xh41UYN3 zz_L@)q_X7kp2AHc%u0t-CvBmmWps8==Kwkjkkrjdicw??kO$r93RNvb4x>z|ZDn*B zsf1vGX<6no9BCOt1fDjS7U`N2;bug~mZ@aale{ckiT4ncjIC}O*o1inGU|jIn=(-f zWE_S#OXV>ONw=3pss`@?9+x$%1~vlpD3@)k22y`Vf=nz0fC26jPJ(zu`3goSY z3#P8*t3wYTn0tx-5Tz3B5koK5N$skQ8Y7w(ZP`5EEcs%AEo2q=^puY$$w-TOc_iXP z3YR>l?EUXS^FQdI+2NV%%(qYaV4RTzIPvL_P8BwVnJ=)?4N|V0>>ZzB*SB#!> zT9bd&)xd5h@PA348 z-YrtWXK1zot!QU>lL@053qU(%K`SXt76fTIkH= zqE7D$yrJ#OacUCi;ipWaw59A-oSW8GB&(r5kw;MpsfDtJ#JzNMh@t~#g3V|Gn_$CtC?Sg~g~LM?!;QUB2YP&hPmA@g%WVl-2D=Av zr^KwWxda}>P^pOw>MK}^wi>NC2~vNQNlX@=N(PR5S%{=6>g7`c3d?Mjtqf?t|LZVtV8Yi?wVh;)4N{dCEb7Voh!fl z9lrv8z>(g&ZW=dsMH%R7eoOpTgbIACi&xu1MRyRs{>4iQ{DcEPQ^fC z{5%Aa8o3mHFoYitY5sx%zd%s<8xd06ZULFJ7TCR~hn;{NWy6@6a@}}KPr|;vmriIlGL z%wjx`0gYq)_BPkcUY3IETq5m~=d>bmE^VMpD$x59LQ9by?wW)l7^vTE0Dzc+I|3uk z{ZY~uD=96tF=?@BXU-Dt9endeqsx-VIqm7>M+8}ALD9~y3C4f)6&^v%!ZHXEn%GMADZObPEQv_oyiAFMN)=n<*nM-7)eO`5{6j&LhU1*GR2| zGmAFBJUtY_AcB7mY+NMwBxj~}PiLR9*Wx1~6cwI;kXzC8udU;#XRF2`0#$1KLaw^cINDYbXuA7*Z-db5Qj83k2$r zJi^lJ0yz5$`dr3@ghA7eoG~WM8En~XWS*~B|a^_ zU88PiruBaaSr)0MPwVMoV2HW*JAeQCPIda_Q$48;=GUty_3~^n`?Q)bcIfx3=@s-G zzdCw-bo$+^`uEd!htHtra{6&OF+Ak)FJo<3;+3bg=JX+^L?erkAs`N7o-O>&bsZX?LoVRekjawvCG!T3syax?24{ul}qT^RC!o8?g@#|M_(P6vbYnQ^@*RYDvCzcd7k)sY%l7 z8A#bmx}5#7Nm?nkk@on>{^`4;?+#BMAFhAXvbB?khQ7Zycpxg|HLfRbY~>Yegf*fN z*6C8%)2d-$~99xQG zOexNz>P7XcI<8KtX?0#*eED<%%KNoiRLknmuB2PVoj1pakDeZ|q-w3C!8MX9RGNSN zH%XeM9LTs;=-GRAaPWv^e79bkO2tM-?eC&ZaVrrYS9{fy>ig|VuDM*xGqlJxm1{cJOs?fsbY4Yg4ot4OJkI5D zuIXI^~f#b;i8rs01x4WDWFOv7gyA=3z%M#wZmrV%oYkZFWWBV-yO z(+HVH%rs)A5i^aLX~aw;W*RZmh`#zzou!S4Q<3wkZnmUiQ~Fq4G>$L>SGcUMs_PWQ zDU5%rK1~<(^=19bifap6BIPx|-ON|@`G-pi6m7&`UQU-6)vAd6H`V9r_v(L->Pz+K z$S$zep7;F8>o-TQ*x%H8f78j|z`gDgQ*P&P=xzJi+m5Q&$=7c0XZPb>d9IQF^`ydo zHhWF!EA=34>v+f|ct>^&_JL2AH%oAYdbygx{I5I0m!Siwtqcdrlk_SgaNkN(CT z0Guj0fWe! zTV>8K4_=>~920yS&Ore)XZ-VceDBq<22p}1?qmriZk#qhhpqf&N}XRjQ6wn;>L&5mH&-9(#d7xX`d0Zo=Q3?Jlkbx$Im%dYew1DjHRUTHGqu>>S?~YKP7d zhUQurq+$G1Y~|;GW6#9&R>|Otr$4?qdCR!0O$Mc>WDvjG^N4?o`75`eClEegQka|$ z1JYP184U++#Ld-+OUJ5ik{Gb?Zc(^eVTlNYZ}zJCFFI@$DS)ygKN z2)zVzJ3Xy=;MjjvR88?1Y_luYR+-Yl{^{Gt_>A%N*?O^}ZKRSYmHK9>q}eKC8q1g3 zhmD1u7PjVZX;+)Gg1h7b;VX~IXsaE4I#z_4?y)~@g~hY3uFALC@Q%L!@rQ#~->v?* znoZxWd!>c%wD8|@f;4avyezl7PIBy}EH&=^x_4T((6@i>nla`f9eK=F8`Zo0=WiY# zgFMSG%QfP7a47u8bArYX?Td4g?;iW;XDf|W>!RoS*N@Z1V*WelGt(tzHp^eHrmKtU zeERWYy{OJ-pJ(TFbv3(&ZDc%QTFk))mNy@k^{R_X-dC!Z$IqYq@cnnMW>+6>mdEp} zSM&Jt;cFYe)**apw8;$OKAgb8;iod? zhj`q{`X_KsXw&2g#2`AYr^xe>Qks8tBF=9VV>;0V|CP4(oHdc{$>dv3qcDFod%%CS z?f>djivRXodosm;;jKNL;=k?oANS1f-+V58e=8rBpe8=0z8^+=h!!^=R`e4aA(%X# zE^B}68Tlrs6YS_8QN%b>9n2QX6^0tnDTK{w`XO-#dOJH`T`cJzb{ySpHqjq`_R?p- zZ)5-iWkWxx?dkWvO6e1iec~n*#BC^uyX}d0zYXcpmU1&~U(k-*(;j}|(5FApys@R` zQ4Lx1X>4Pi^bb^S&C>8wgg#6D_AG^aVQGK(#jaadccxj%aXqjmWJ;z`Ya91TZ+=Zq%0jw-Um;^cM*M_hW2eb_ALvT z+VIca5Q|1*yBhK&D(W0gfFYjhY48BA&ywEkamE)csr!Fm zY51_K&(grWV^?vqU`gKxOT*_neU|*t<7CI<%J6+Jfob?qrq9#Byj56d-{D>YQ~wLe z{(dqrrBH@|P^LTK-{S9(T9!(}U)kdah7-Rf1?xRV>2YKR{_aYvaYalFdVA`;NPq8-K($BkRgL()1oFZ z7{?|b-K;KW*EpXvHA&F}HAVj@IQ`3$5xx}QYL+j}e7%3DKhr-c zUTQea*6nPuX?A*0`e& zw9|*wiFP9u!!A_^_~uvAX^*08ahF}(r5uw;wn)p3NQ(~A4OWT6^yP5kP`XVVidG+D zqdwA~dL)XY+>2HpLTy~DquYPp9~-2#vaaGLRfP@?y+22xm10&w>}sHyO6$ZCd16*Z z6r(eVXdJQfkU8BI>wF3XdAa-nG$+C0=>!58?|AX zGH#d=8#WnLy#du`v*cw)Vn(}N>J1R<5@Is~al3EoafoT=*f!bjl3&>*OC@(KQJ3+< zbu2OTXl3XJn`mkDBl3S0`)OD|Q~7_{ zw;ANnuz^q~o{w00yFZRE!V#sMhcDqEL;Ty5`Psvh)pW6XfZwB1miV``*{a?Z|MU2G z|Iyyl2aw+O+GmR|H^0t5AJiB1;sO58F6+DB%vP)U13bm|#;kwN=CkVu_}|-fI`)pA z9qvD%e{zEo)#~N!YPRYz+8zA9FH+OH_yXsUSMyc<0RMlU4w&rVK}jO;ewEH7}d z8MJ<1LxMb8BEx#n`E+{u8BTC0W>=aQhfj)$vMWJFmHa9auH!?&pF*r0eL_NlY9tG%-=pp%WA1 zzz~yVjxkXh;>`Gd#puY10~05Bzn{sMwf?=&KIg3cuf0PE;YlWhOt8>68Hmo7_UGlp>2>>foimFv>T)~pcbtkZJo3Z6wvmd zT_-JqdbAO=YoraJ5p6%(8fg<~MjJ)DO4(r(a$_AJ^((q7PqHidS9bT{ZnJBGGGx(DnQl+n?*ZEx(^JYokxFL zCLIPNXe($-r2D}r+6A<;qzAwl+GVsw(t}_e?F!l%(nEmXkA`-d^f2I8Vh<1YX7~uC~5852*EI5wVi*}q;11He>&@@Gh z>TUWAeV;yDRZ}@tXKlceg;12K^}m0MtfH;eo@=Az2-#;G8~_KwG*4)2wdXQ}Tq66( zS2CQOD2vLwGPT^UHc)@4anw;;U>n?FEBG|0%UoSXZ@GGlj&gMredOvR8Yi=Cq2^CL zR>emSn^nE2R4qi~xEhCcakUHP_ZkbOH#M(;$7qds4PdUg3YGys=(L8bHE4ebS3}6{ ztrkXAPVZusNiYD0fDA&z#*5%OU@Kf*A}Hh0x_pn@U2ey_K44+_Rm~e_ z<;Y}g8}%4l>-gC*rjJ?J{6&+sgELG~)3Jj-Vc~9GqxxLE2y^+2g?o23fIE{B3vWfG zSjFcoywR-mG^0m|@S0=CM9Y8UKcBbo4u50`&F&b}=|QJCovw8}d2z_!`SCt4r}@&Jd$tXa!r4OH;nL83Kq71V!#dQfdP_<`ot zf_1>H5xFKJ_d;w1ZJ-@=fKGs$BG*L3NRd5{dQpSf#OqpA7seP-3*ZijbZwNC>Ds7K zED-7GsB?{GkFt;4i3Oq#EqXudsFGiFKygS%9ZNcg=D<8y0H*+Eh-Uz2N#v@GH^4r# zh41vGOMnw3>J;Tfk2-(DPVx)tj}5R1Zh~9jHrN8&;0}|6RlN6&%%$@g(Pn-mnaS@ywwMeUX=e58NT1#^qHxj<4V!rS$!Iv~PdB%R?Z>N+>rGs}y-$?K)qmEbj6e3byASC_ zSV`d%#bIN#2wD#t8%d1@NWA!ebeE2|g|$Cy4?9@&H~91SPavFtM-Fsk6qJp}Q7bqs z3C)Kj4v=^hOFoPW@ibCcFUNEmExqu{4^C)_TKkNrp5jr(o|dVh-h#yGn)XXBFtQ)|%2Mk8(Q zlWm5mi7beJT)v9*Yyh8sHX3|7|3zN#xg*#pZXG;PdLt9NUZDg6s3l861F;a94Cu2V zu&8CrdJzSSfn&x7-7FeP81-DG9u34s0cxAg5+g<0)xlpKY^!wd((HiiNvLU*R%avd zWPI_Qis-ul&RHVbI_sKz78$_^2x}gWfN*x)L3WksCL#SqqR%mZWT_uL3hyoJXJKS; z>bdPEa}S>PN15cahr%)G)EUsLhu}{%E5jwNBi+tvHaZ4?U<~Th1HZ3tw}-dM`g%t* zF>c35fk)d!OPTBntS{}GtbFHrd!`fIY=;2I z0QWX)mu=dBJd$-#C??&fxMYJ|VFZxOk4NirmHoSBRJRd-4`vay#2NWtrc-%c@hL&m zjicARg~JVN=71a?1>WHi;J~U?X`&cxb4UO#a;`bp4a2#@K#6S9UKBiyF{|S4KC~+E zPS6y2I;j$&Dp7jXW)R!XtlY;TWCF?K_Lf9I`s$>6prngs!Ac&H^yC%o4~~}P)`u3# zA|4&bxvD~c5p9OYBiIAaT>u&k7b7X!;fS*sWnC2{7#!hQn0{H8_ClW`RGGuUI94&G zc2Fc{S@Eij9^f^p z^<)grqf)^ZY_^n8awup;nHRYe8Gf8)__Rfa2BO}7E=4Iv;h*i@64KOF&aJW=(JK~D zUO^J3_gR+aWP-`3=qDH!TY0i=M25@>qA7cMtiwnyHi&-Yc`!)0hIIp@*`Qn-K9B{8 z3Ail(20(8nB*`;pC-vr=bD9$neNlIQLDq@Dg)NL zeXk0&Hr8DXSq0*zh5pgEOS-IMz zoDMQ_&X1Wu^y>#w2>B#2VI@_Z^PHUFmUI|3VIJ2QzQllPUY+G<*%8)1zAmc-Vu`+g zHx(i>m{mimeuCwFB)B`QvxtEx+qzI956Ps?Gf3k|kifIfGFe$y@P1hz5-%w%&!8>2P2ejwsxp#|1?ZYeWOdpnrfcvjd9U(R zryN_+a5c_(G_LNQq;aM^`dH|h zW+&*GBL7V%()n7IR5xc46Gm5c3zCorW6cWtFx*zu8iTbIKeED9F|L~3(%IL4Cp)cz z$SVoO8$mwUj^TMG6Bb!VJ=pQ3Jfn}mHcG7A3ak7GSCtZzIVwdZ@Sz_J?3*Ly`jKc4 z*9vua5mR*Cu_{?KJWycyvJK8ANS}?sHn$Qu<8e*ZbDrM7h)~rRc{^Voe(?3dse?eFhj2T8^+eMR&R4N__k^yae`$xW(0ziwe5zuy>@l zE+mgRO2~;@+0SkdZ+EvJdVS$Zgvqp55+|~E4t!QgF^-{C*o#<}=lmak(siGWa{7IX zzklA|@79|rgUmyGV1BcE4mL9+5SnlYE=Ri z%qkZQG@gTvEx{%OUn}cguT@8qEQL6de|^Q)<{xH5t9ZJjC&RcX*Dos-AS+?%X>dW<~{ejbr5tALcb3mZk)V*sLN-54gxoFaf4mfC$ zBg@a1imB>B9=WZpgVszpR2ts-RW$2Jr_8Es%5UXek|BT|30I~;cV z{`DlPIo+o^RP*mmI`z>A!RarNab zuYY{{@9+1_h&QFnk$Vf}UO&ehl+di+ z_^OKrFJ%>>j*7U3g`Qe1ygaz79Mn}<^<~HM#e$sS>AXRI)w?Yl@NCIX6d=vqkC>TW z3xffnUNG|LxWOCL$-}y1ShbquW}jqeZ}G|so&X+0?}EGWy0p4+zO3Lmwqi&O^D9`W zha$&LPphgfbTg!{`nUAWp&d*=QKcY%kF8RGr^kF(k{szPh({af_foq3m&d0sK_P9b zKX%(_E2i{+$(1z`Fmv|M+0;@myGs0WZ6t(bcrTmpDLMhuPNUF)QKLebjc-#Jbw1G8 zX3`G7)uU8dw_M6DbF!w%$uBR@{&$wT>vB+ovx8DvjNT1z-=F>Rs~oQ5`zTyt;#vR9 zv)&I{Mu<11FQMKIuh0GkUq7bL=)6$D=db9z%Mo9H$tbx=H=ofdISn!G2dOez6d`>& z826koLENmPrF`1oh}%70B;6!A9u6P(-#&SAmqxdrf4kam#qI9N^{2ZuxP7-h>~Qvl zqU$O(B`kFjYxaC63x65w(Q0XOp$sI% zqzn``m&6lZrP~;a`s)-I8W@_7USiLFTZfnc0!lqpu%dw`CBSGyK z=Z}t_O5+xN*Q3J4`7a9t3#)7=t-pJLOg^caj8Bxzb{g|kcD{B-`!(NkrrC6LhduxKTArZ=<-o%B6~3e!oR zK71~c&^BF%MKM7P9i~oKKtdS$gz!Glaz(Lec|u?77u5J!I)C2?F*jQqk6PB^#miRu z6-`){r(z7D$`C3=P}!sl2`;cnU#%oC@p}!H*poI}mwhQVVb(vMcYmF5%ocoZ2 zY2<*B(*-%vD98TA7Ects2OChr$B>BuCUZl=`T6Nr>Eg50Jp1wNS?WU%UOf5Iqvr5a zhQy2@8Apkhe1D|!Fc~s1{a=q1UbnJDA!1lTx+N+nP2UyuEY26=37AF(m*9tut&F#Z zZo|7$NUu@muxO*JXd~FAkjo0w@e+ZVh%~l*0Loo`1euZtBAb*^EcQ|S1VNuLhLfc+ zxvw9!x1Xr3m`(TPIsuN+EP+R;N}XV+R#7=+L1)^C`hOngIP%c(2X`_DUB#bF{;IeW zy_rl#k-WjslkEaEnO6W70cU_79z$RZVdzq);#0&ZBMgLa4F&~ z50*$irnE%`+bbz{L`~6sO5CWUH6;UxA<~vajae>=BT@iKZCwVVVNsQGm<3iY8039v znxsmf`-MUCKZbK_zU{44kd;Epw@=PbbD~TMY=50vn|z(~T%igQk>w!0f+Z1QJ{!@9 zd9IQ%%T5XHre@R?%+TRZ-Q~Rcz)G3y(aYfu%aI}H$Y}v`N^3V*0bf5Jc%G^f8}*h+ zJ(Bh#bsJY_?d+jGOtaliM+G@Mz8{Y4T5?sr#3sYVrKC~PsamBpbl5vDP88$rO?&q3 z@qZ7`Zzr@5`_6jxqc>+rVc8F#wn{(;y&9%mkkjUSAWNcJ_JfB{zSB;j-KYv1pt9Q3oX{hk{)yn@B?~cQt>-Fj~v~O5&6HX)Xo(FphU?odIO;pGF@Ah!(8vP~gyn zFf)`itJmr{Yu*r^+Lbo_tm7ZuV4M$O3COMf4>K*90*{GoR&367O4*P(VYsf*uciu**Jp!bfuDaRF0oaNdY^g=vj*3siPN`+M?ug^J|rhRa0~F{KP!x0Ow` zt?b#0?zN#0+L6!#e`1Ii;qcGd>g{jWH?OymrF#2m{H19fXaDhV4hKJ&S4qjbDxjDu zA0*;~3w*c$Onp!dB$MEBaAj11m@;lWn3PD#TIR*ubKWVlIIo76zhB=3@_+yHDw45q zOy=bKR!L7;5c^quKAJKqR;J7tx!^J2*nCDNa%(+|Q9x%{CTe?A%4DY^1v@F7#j%Ad zM~-8rO1Xb;Qj=pBJAYXnqvV4vNT z$~a{ijaQWLkQG~2CaUCvvPPw-HyDCpR@s0yu(BW%G{y-b=ad5_9gM92h+$R%q^+?kc#uv(VQS|wS%}I} zAVrvxlG%`u1|AA%0fGpmtp-DALr`GPGj7-^AGKGQGH4G@F@=s+al}-39t~QTHh2^Q zUPeqw8ZD;Mz!4K#fKMQ80DmT7Dg&V<$PR#2VziKKihu$fMnmF(+{S=;VoYlw6%q(W zgJvT60ip>M4D`Vk)D1KO9bh{fQ8*zH zhQ_RhL>g8Ii^z$_V2^jb2C>a)-o$b`aIg& zOvR37FVQ?`Ry&>57PA(-47|Bw79NjtrHt%&{D8WYRqk(G9)A}KJf@gG%bacQ&xJHh zL7(=dxQ~~|y3G9s+{HY*d$-3&Pf!0_F6VN2FP9s+{6{X|6tniTETQbAQPJV24}%(O z=F>6QR1C?LEc7a(LUcTS-m9ARm|l7Bs2HzT4Aw0gFkI*g^LB~(LeJh7%6H2+hxOi@7lwekb;+BL`FzX92J&0nF4~uK3nZgnZ&C=Lm zn$f)aZ*uuwE-&^U|8f83TeQ(Lao!o&2S3V&7Kfn0K>^)b!Ywi3R-*2VZyjvc6zZ~z%noWl z7_)wfS^tIHXelIL2x(>wtVBcCgeCBgS}0RrI%r^Eas?DEfuel}`<+}aW{O{eHf(m!_If1T|C4=Zd^RS0Zm8Oa@7p zb@W_;V2j9Ss|ABGh1a3wWT{Ao{yd*2R$QH*EPuy0L;8Au*KwCNeN!*&3$g5+9~BEC z6tW*jiiueI?Tf+C`F^%Bt;6ub4_ujWpNVSKWlCxyM9abEky(AbcElFOflI`1Dtz6PDYuN)H^wFmkga|bS}5D+8LkuxMR{OXoWZC-t8KX5rw-qb zRg*3MdGu+DK2=@W&Lx>;)MfGG%3@}m$WAw*WtFaw?7#rbsVx?V9{eNmGW9)#|Eoj!xFl<+{g|Yyf$sx!DW)3tI zTX5?;4GX-v8Q$EA!zeR_@PN&r&&BL#Fwg9$OulgIYI3mqZo2Y`#`#5Fr!vy3Tas_( zRFGD$Rr~Vd_Dr}tIoY&te*1Z=+E?#?+-}aA9Cgvu&T_G|+Z*BGlzhiXmMx|_nBwa-pZPTJGibbG2+4*MJym(xu$-SMx6!W}+1%q3i7SfvIZ z`}`%e+|Bq>&Iksbdsv7nn0#Y6cE=0ztL}(k|0>8U-@gjD3BxPtNd29byUvh=i}uy^ z)%ocb0)e@`c&XYq+h1=>V<_z~rimR!ezYChY=HmSk0I;`nAs)J&q1eX9iwGfqe z5m+5^AG?n22y!F#jejFKR*V)ahaxq>#C2@$@UE0RHxaJg2h%Y80fp2ga*L+sjvz94 zc!vA4F#rxk1`qFORb=icre-jW9Jb|zRT&i7&^Wse?Fg0@5-bb8(Q3NWu8s}cu#W8r zDh&`Dnl#hT7l`qNvUWg|_I1h-aHr>O6#KSvX9}(YO zP%bbqI_0r!ZA^2+mZ%{sP~n5uksZP1 zdWWEnWM9^RlYc;p^%^v-V>^P&_3#;86m^me0h>)yH?3pyhhGB@2^$MW?VD&AEqriT zuHnKFV2NSL|JryDcWaeHC~%$^VI9HKI4-e1% zHfs0xo!Wi>mFhmfz5VLz@3cSdv|FqTW_SCyop-xv%o0!OuXnq4e?I+l@agkEmA`-IO<#X!{O+`zf(aS0+8wQ0v_rT*J={ONy)oKY&(++>Yo8Z*@mYA1GNItIp7BV_}^4!FzHjSSu|uS$>;7c<|qUQXTv-vEn@Z>BzxiJ*`K z09F}4U+54BZpKL?4Gf*b^eIxK{VK#p>$t4iB{cAOj|6c{R{W%^Dq$-WFHYXo zcG_9id%=)ElB=pDJJnbWxyvH<>691sszrPw62$f<=LJD<6@!0HLd$ne*uyWKPN#h@ z|NPTSh7~~yz_Q%ruOt|Wp`OLs*J~0%qLb`fSeMqtt`P{F#VDO*6yi!Urcq9!B5=IQ zqh;YeWdHJ$jFKmmCg@~)6~hR^MGM+tkg-&{$}L+y4{Ou1^dGG(TqzK=pnK7Ml4jgz zlqp8HY-5ArEB}Al)C#1F!71R$JeAb}Ru)myK+r-gP4J8PE<$;1tX+`Sjs&ex!4@5p zZX%_I=-Wx$jJdDg8TqhRi!}~*ZZ+>I!(CmLY!mSuE#DPx>&Q7@CNcoNrl@k=t zM2vsFVtN)em`{qn>Sl|sF|*DtbfOY>6;V>Ga>6mFg%f1P6_|ceM!n_063t^sl5;}x z-o-!xN~)uW%=|dhnY%0Em5CGrag64x2f=uhDZ-)kjh1;Mt|pBDm}9lgp9elRRv*~A zqT(YVsY$DWDBu9J&?%WOD?Zt`Q6(Nm`6GX3G&ST0$|Zgv0u|;akMR91gKiD6%*Pzu z)Ldai1h7d`9^*DC@2JRz<2dF$J4i3n2IPoUWPFMkmcM#J!mn)<*CyIsi6-svl4ToL zK&R0vJVDSP7ZBJTX^H10D-W^2LR*^L@(V5!YLJDM4b(XDc;ymVAEVunZ053kgU^4^ zhR>L3YE)Z|H!;&V%yTKB>7)E6crL4*srX5M-)3~KsWw#=g(p`zU$xM3CCsEex*~NQ zzx0nf0y^CQ`lk{dn$#{{H zW=zRpets=o2j!O}h=d(5@L0@j$I`f76#*6iHw^FkPSBNu+`-X z7^N8*3({Po1mt3y|J!~HY%Wmg7E`am6jRRlDMB!<9ol4Gh~ zKg|>hB0DGyVo_{5J zb6MWEo&n*DT9!0*#l5+Hhq+MW?n7PJF&9x@aX|^{%5&LIksDZbMYzhEpLV<;Ntr~* zUK9}L(Q-EOtK?Y_X{FkFG050n(6)J&ODnD{NTtO z{u8^(G8weGkC1K@i{OCDhpy8dMW>tk>=mMP=-X98Z`##~@D8zyv@71aRhg)y0f^5G zCK0BpEeF>)ml5yoe)#s`>Fwjghnv;zU%$Wqc>m4Er`z|BpWlB>Z0e@)%sq}Xh35qO zz@6c`X>@zx61g739bj3IKs|DvxYRlD&@raC@BBo0^}F0%_$L4F`@Hp2`fWr~itnNDfGM8xT zlr?GE)(%DKYdgJyJ6RVsoA*&C#U@Ggu}zvT$qwaT%|(M>R&h~qQhqNwrmBlriz;H< z!Fj)=v*yM=C**ACHJRc3Ybfk^cvl#JtIkOz=@4@NjAVamo6M2s0iCCRJ-i!nSS`x2 zHZO#Nj&1Wc;H=UX4ZOspJApkT2&T_eJh)PqRzfZ6z|^>;#lFuxfwJ++B2-0?IRa5C zm(q~SiM)&T8%-}+Mr=vqw7WnOSaD4e2v)YeSrHDTr;kwSI`G;H6hrJfiovh5FrsvY zoc2OCP-?%`7|`={U(c^74~Q=^MHQfRNRVNp_LZXHc*QgA0vBy zEjbHcY#m*3s2&57&ZEA|qbipQit*WVrP0XQt!RIm(Wja;ySn!3;aC7B>Ph0T23#}r zH5+B6ZX$k*O+&gis=3VPg{;$Q$}5p==~|cS+lEb@H{ZacFN@n8x?a7=4PHwP2r$i_ zBno{z!Nx9%3TFxOsxhw|0cnymlf!~g7|cXA-SD=P9BPzC6SkDwvolpqNxip_n@mD| zsfB-xY6&Vn+d_7;r_ResD>s^lfc4$rFb%zx@CWma+UdvXg;C&=e9cLj>pcWkSqAsl zOO#{JTN7PVp-BmxDma){$&u}@K1mJ3CY)(tOLG0^mv`?zLgsk1IxNQ6VNp(@Be7~P z%AS^IRokLbSryE*#5|z(DJSPiuI{D`IlI z?aUDZqHIDP;K@4)l_R5u0o|t?dok3fE}K+s37|}*r0nE}<=z@qwJi=F^sZ7vQ}@lt zY*S}|q4Fr+1JS56hUbT=0&l4!rJH}3A;jGNpz@3-bR#3qT&jlm)e&*U-X;*ORzCq7s6-yKu)L`Z; zPG-(v_1Raig6>B3LPbvm&g-SXInaz9p4o>Ff!-nzuhh`mv*Q}wfKpHtrnP@0RuYfP zU7fsoAt1U-yl1(`SjTg%+0Il+nJ&pB&XW5Yy;Txj8)6{*zL`qxBP!i@K{CDVgN-Ra zXsfF6n|ZRa_Z%TWJQY>-4Y-g`qbKd#R+WNP0H_bIMlTiO248EZoQNt)IO>{dG8tPl z%hh^?FB5TT9{i0Hs@c?>JTZT6(kM`5c3K{y>*MDBMz+YLMIm3lS_^0;;ATr>5a;5s z3a+1vBoxlgF3g*Sa{o1rLOJz7klRGNdkX}%{AhmU@r+g0BSxbVzC}f*(X3hB+{i`4 zF%~4%3^5EwVagkk!F|z`HShHDudCjK@v!>U!#}gA{q-OBuk*Jxf6IR^??Aw=eUX-P zp5VID4Zj-8@J4M#4w>LWPT z7YBJJq8XN^T_lR|SBUks?LM#^zYEE548s_dq2RqPUaPuDPj#NbOL)HGDuz=CD}Gxu zNa!TaG(ahybZ;0_Co+GBs7OZ&bcB4#G6D~`47z7%qsBHI6^0^E!MO{{T&l8p>8sa# zm5q&Un9(qGP_k$m4uZH$sy5Vhw*o+}$O@vVchu%q}c>fy~>72mUdyvtv);@HlxRye$6B-ZkJ zh5RQE%R#0`q8!v-Xj(XkZ5A#z_N8z72OLPF=pWSd@!emc(i69e9OK3?k4b#xvMb)a_;^^a6t60d*JVkS)P8*c^a&6{QjV+SC1)By zqtSOaXl{PIF*l!mWbohLzy9dsPhGq@F3053&Fg>O#Bh^cUTiMk?ry%_edmLFb#Ten zPr3Y=?|io3`3V2I9Lnd2f2sV13hjRibS%)xzly1T_GM(;)2mcpxjKNRuE6pw**X+q z%wB+A9ooO?RfEE>$+fT1(DcE<6d`sKn);;t1^n&+GMEly1N#Voo?CY?A~%$IK8L$4 zNHz*MfP^i$odv*m?|;D&CYoDWAXjpf$@31UaR+!=@nbwY3~tL5mMI|wEblXHosdb3 z6t6h*J{t88ufBi%r*i5CYnNl><0Udw;I?@K&vHG;V^CzNN8ca~Oc_(f=jfAAJYavn z6Lyg&8m=9O5yUiqmsRw^M>zOf6qCq|%d8IMzkPM^KH%AU?`cFO)D@$u)~KTZ7vMmo zX_c7-TBH#%5M;2#SRzq%zk~pBVsTVugW}C>9jjI!w-7s~ar<+RBiw+8gq1Csi z%6ar+rk8P9*30{DmdF5|UX$Y_EUIa2G5}+9ZyH1Hxu~h7sPMNZ>kyhs#s->nuEjWh z%RNEOMbMj)C?uOHPVr3IsH}gDKkgDrMLf)F>s(s$(DzNjpn=8T)yWa)KkFAeDuiL8Yzb zm5?t`(_>@N$dSnb3^p}q%Ads%Y;Ogs9YlHi%_o15iR-8I5{lC~31WY7rrGT=E=Nlm z_Um^K_dne|{QP54A1w~`U7{y9>wS<@Vdm$0G?vs zVw0bE2I3z0_7d*#zN3G!cqRd72iuMl?+K^TZ`x9#tm2A0KH(a7bjwJ5Nk^XbjxIJJap8w51`I z0q-o5Qt>RKWfX|5Cr)kl9Qm0Ho4B@mu-#3xVPxbie{#y}cd~!5ibG=OSP?dzC#(Vv zOFYRk5tR}#N(LPn&xOE^Y~h^X@fMmAr-Pa*)k42|BH=g$-9D^W1l=%BD<6G!>|6m9 ziC)Kp%NF zp=e{p$=!?V!xKv$p{7i%Ixq2*h?GG|iRN80dE(4;ywA=LtF)lwMxkJcdVItcGgI)? z&+N8x;$Lngc;-%LA8uvC#`_OS)e1uoyQkQQKb`% z?|BN(&(fTyD;PLxol~G3N(C>F<-a}SWAv`-fE-n-FF?=)u*oXk;P{B~jG8kC%|{A9 z5_Le9aHNwMC@N`$SpW2JuSubWbi6_vhm0`~!e4VbI?8}ib3F&M9|$Nb>yL|Fy$y7a z5nVp+@{WHJEf)|;eAGMx*~={-7{_4Xh2yeV=cq!v0oz_RPL=PqVXMpLLISCQeDn5A z6=KI&!XYYkiJ=I`{o-NKD1*luhqSOc^+H?vvtJ8YmW*jcVXaUfASL1W5O7nrPh7KX zJBH1|i9sjd^9+q^^A9;=!GgCfTD8r&9Y{ttCTM>PRQ_V(oI}zRU3Uz zdm(>Q10&2?_gs7&oL^~DwkEh13!?$(CcVF-k(2+& z?#J_^RWT3_n1r~6bzE3hr}N}w=SdSZ`AmOf2}wtpoMTI2BOn8Snr zEh_R7DP}JAc9|or>*92dqMbLmzz2Le=4~gOSuu^^ACb07bp8{jS;OM8RjXd%<~M)m z?nv1z_(TqMu%ZqTW{ZW2$6i3Hg>a53}9?z=80qUEXil}{6p!2tmVH!P9 zVgMlwCtj3Oe(GR?NrE|>_XTvwD)$ydMY4B;8)~PD#2>Bk7(wP$pC-97xY2>J5c+(& zrDaX?20iNpx07U@u35kuqzAI3|EPb0tXxjgJmz-KBcsd@`g7gQ*$q;<84Jp}qe@mu zuKAJoc@Mi=XqY9#t}4#cR87uGD|K6nVsv%!zEfBm?s4a`3KOD!8T<^o3I=Mr^zvrI2C`Nmzxn zQIbvs+f=64;udRdATi;N9!M(KVTAH8ZCw9zmnmyAFF^BMdRM>GlNi zgUWfyPS7XNQlR1nOkVS$v^;-~>uIGlpcyh^n^66}hbnCuB@8)*=O1_%t`E40r}I49RJ^r^$H(XUM@$h6L7Dc)pun`wlr%Mm zn*9S8a9~EBE$aHAQoT%_IQYW&R4E9+elNt^NVa!~6O|4smlv#x@jEY@a$cd!QHCMm ztPNPO7m}*YSOg;-hQX5gf>lDFVS(5?7|q$io*oFo=#EnyrHBttbXWov%U5=6P32uv z-htFqw&RYCuHS!I6%Kk$kC+(6piF7h2yO{j&`B8)h1iTzi>vI09|mtJh=FgTfc`2mPKwmyT6{tO2hKbKK|911ICJXwIH{;x+Wu#lLL3 zyAIP{LSh`hdtEcYMEBEs4HxO2)ZK)0R}+G{mCk=eMt92*#%aI>h+U>H`mVD{M|)$d z$7$Izc1f9yixSr9E~2>Gc4pyi*r-?aozrnz8K73=I97&uE?z|?zSb`B72}!aH|eC7 zs7&=F$YxYFO^$lIYT{j7+|hSQ!%5E2t&25YcMV5QOp?jPsIQ({9=ks!CqX+1{nZ(| z*+YLt{sN%#Eg_%uQ$Qv#`o$klZd9;4&N>8*kypKc!?hDFEy?$W3+@>t9n>i+fcdmp zM%IVrGHq)$H3Z4W%8iXYLLjyuu+<95cWO}NqUx&?9;`3?@x-x&Sw}53aLlDvn%_Pc*u5-Asd@rn(c)F{ZjDRS&N(_14Dq zH>ekm*P_&vkgqazGpO_tY<8}WLRy?V{swilUVFN-OLekxSlulfQa@b7qY6Y0i}!zS z7N3Y8ICKqXy!=L29fpHyh8%B+bk`w<<4;ak40Uy@PtguNc~M{Oxbl)Hj_8wYX}nAs z$4eZlOg2N9nuGaDPQZ8XJ$K zGcF`3IZMrvkuQ+n{^c2*vajm@-`6mA_x`8vXWd}Yo%F_yaTdJ2LJORB(v2*kI_S;_ zfwul_9qv-IU~}oh2Q^Yc-$H*FuF31LFuJan?p%?2?1>|f>ag9|LT=Xjq9`u9C9GF; ztGFdOtK23uRJw#>R-IBbS0+IhUp@T#=IOq_&}K)cIgUR7 zq|@HqV;1cT`;hy)YS&!;u7UcEf;3}eR~z?>n|(Q561(R0i|(!NMdG5gXyZfQR9{=~-C9_{ONV;wKt6f>(fb}(WbktahHFfQbWqYRi^d$)b1i9S3 zll>r_v`c~@2!g;5;Hj(Muhi8KU#ar>&9kq*{@%E&Wm>%PSI>UCa&Q$)m~@E$y}EjS zcws%fuui?O5I@1izvGYh4}a{9F)$w zbX52W7KuRY5iIpcG+c-@?2Yq>GNe87D|2J!LmAzaPqiWdg|tnCQcGfnXJ(P9L?Zz8 z19Oua1$%SSg^#A8WisaG<+C5Z{$9^U2sBP>TC|Pg&hq^8_SLKR57@8~ybY6A3pGQg z61#aUkJ7=h5>rWib;$gs83Zfj$n)dAq`i4=+%HitT0*mZ`s}AVf9*06H_M3tOe!u#;qj-t z54Shg96qIAckdtWV(;1J$FFYVtMv@E@^LMLP@Jp+h0(;MnNm02^GTHUDzCgViNXoO zGJ*0@FJQ7dAR#-MrrXu?s4d3P`m3^Kgi#;^;B;g<;{G%Zg`uX^()Z%3nTqtIDAGP+PI#Lb zsU5^gdYa!lYVVEMQVw~-MXI{*^pU5sY1vTCvUSTX<+hWmUD!0-4v<3Ls+I-XJk4Ta zVKVEwG6aAel!e?WG^78df8i=@Y`vrW{s2NVkx z;`5-3s2sQM_BZuzv@f@WOZ1;eK(@cu!b#-m?!jMHB{kf-IZPgoVx6D2y8Ik?sv34Thi(TC!OJ11>Ex7={$ zl#^=a%YMiV;VQK>V*ALpnY}bFzKFNjMDpJ9B;ApkODiE6Br}@Di7G||u;s{BNgT4= z0$T4f3BZM_!e(|wg$2dkP5L#eN&f;&-Nl8}#%WU~D}OdDohryomYO(!f+G7veQ71I z1@~+Hi199jwew9Y5@^~~@&JgBOj&XILOO1(A~ zY6jik^M4vXHS5Q&widogA2?-QNmkiq%N@#LsxS;G2Uq+w9CelRw!}NdU2eQg?I*Rc zC;YUu39?O?;v}iXUxrld&F9F2L-T6Ox~=Pk+GSv<5;o%RHIjzkF$|<+b^Cur_{L zWO&KZNJD0sRJ1WIm6nwlY-oR8OLo=d1j`bgecu~3X-Zi;HcbJqCbr6eAPeTR482e6YX{{>phMUJ4ob+G-sd zl7EA*FE}!R5D+ivtxv`h6A$?B`Eje+nZxs+pZ@KK(=Xrs_}#b9UiJ<9IEaA-(1Y+k zG=ZKz6B;^y+Bj=_Tm=o=g96yV4!iq&?)1q2Yb!dd|@NNA*wp|brq;*=M# z%hR9bC=~CJ0wRb3hb_spLSXMyKsplK@qca$2(z%zFLYU)o$2ADVZ8@fvB6m{(yE6gnIf?=TEA%su_J%?+91i*jQxX)L zSmL{qc$sFXMm+F@(&<~+EKX2v(>M$044Fsxsz+vE_a2~P98wEdQabomV6X{25jIq(C8chQQ3T16E1i&AiGA=%A|{R)a=*Ew z&?Z-%!)-j)PsU4>+wizU)tl(G8ahwTOu_pz4vW@jeJ4|0qo+gP$!TGdE=C@Zb#JAL zQRGu*-9=`}jLbZk&;*++YdqkqF_E`mI5qv2Xw6%shj0D1N9I(4z+ z0xwM*1@z8qQYM+8IC6&|{N~(&G_Q~r*@B{J-B3OVZ^SW`l|xr{(gx&EnPmtQWGkji zb|VOLu-Xk3jP;cx$_wzkKsBM;$fysj$-9pq{`mMI?SWtmDBeI6P3A4NGJl75QdKlZ zBGNXNkS)HK_+BBXD;_}xKhQEYMyqCpj&%ScOd65ZQuHr_h&@GVwe%*7APw??N$#cl z@=+G-P-hweDS5au<((A=5ok9DC(9^9Qb4O~$g`}-L&b`7v_!yYZEvo12s z8-F4?#@x&xeQ3n2WC{SEbbpox$78oniG(g%gpsA3VOoL+Gfye}H71Hy2WbCKs&7mh ze)WeAO{am;j$Yermwl@ZlL}$aYR{9>?lY`5%FFADlFFzGq$5QRc9i9x|9W_x7V7@) z&8uJE-M>xp|Mx8>@ciMIpT9kl%o{t%x`5jjor>rsMy*k16p3)yqkk(eDZl}>94^Oq zGe)P?q2)BuK%4VG1fi1l)p@preYc}n$G$ND?p-F9coPU*IO}X zl&W+X$9LqIJIqj}S&%(SKSu=@t6ayJ11ub8c8z1P*qxs+b9*%y5J2l=+sSqG`cY3=wF4 z43T@e;kxRNE;6bH^C-!b+*l0%%%q(jZc{3ES^8pw@}$#uyI`7+Ar^H0D|7(e?kydJ z2N!lcILH~tJhF22EY8PKetN0l$ch+y+`rA+xJ*X3B{CM-)04ba3x6;)9^gFm0Bg6# zd7MW_t|Fq93<`zQRgTm5!%fX@o7RJDc6RSHmDIRyw>Tx_XGSh`>TRldErSfIe2@h* zszix>bYbvG;wlQ3C^_!ch)Q!1=|x6L^BXU8M~1o3EqQEBrW;3La9^K=-f*U?xtNU{ z84UB6dEU|2O3IXUIe$BO)`_X2zuE7rU_{`RLyBNz0a|e;(O!rQg=%(SH*H2P)>X(kld?Ob-jP>Wcz^9Dv|IE(Nc5f>%JhB| zmWV9aRfif=)Zz|mElniyf_vnCC* zQp@Dy0luG=a{la*?%Zxx%1&__)ZoZ+lol*YLY{9q%E?cgJP5Wc>r#&XdM1t(E(~)J zk)ewcIe8O?vLKBzuYL30K?gY5d(|=>#3b2)eNe(5xHht>VbH_75 zNXP0Zw3wG^l}v8U&@!0{NsP^qn~a-BsKriX5$v*;gpzB86Se~UF93V%eWKTS0;?t) zXE3Pf*~8s28Lq!LkV#Y&r|h)!!3A|{HN<4OU8Pah9gX)IBtv4u$h=SsE)2#D>}%N&FWbLpC^7appky&Tpx7kU2q&0}+^bQc7j zjAb+Xnf^cW@LTl^`K@ccl+kHs^)$~c&cEKiy??!Zd-~!2w{#3xpP5Ld|9PbRDe5%V zi<4@H+|u|@%cyE3KW)9G;hIFzXlA#z)9jYN<6`oFht?ti_1_wfPe{OQKI z!%pp+k9S1`%EH^<@819M9>LTP(XqZR^|SHy^Kb6o|L@~}(wlc_1wKVH`F$!*ynB83 z{$PbEKw>)fg@p3UcfKY0B;0=b%t;d*j@-cgLy&xi`-qGE@2dNOrAi7GzFPDigqP&0?# zbgqhnOA~H>;OMwjRv*N@EG^2@aiIRP80R&d9Tq(bYv-V;Q??rg{e_Yd@iiewR2k|h z;9;P~ldiP_YFu&G)Eeok<9OARD=v^v0pspmfApvqpLAOtM4U*Fx3$UT8V7jWf}Qka zcz?1)%6@cr5}yWw&;ftIwP!zc`jdKHx0jxf(5lLp;#4n7$iQ?}q7wU8*Li~F`oIi_ z34J7*b9-dTn%CMQqa2=VM0BTMu8rVampK;F3Us`06_eSD>IBuDzr8M7*wOak1z~Hu zf2nK*jMvRFswo)>g>ei7FvZTKMZr0esF? zh`PIRUy+!NZ&R$NRB8JBNpkr0;q{Z-H=m+U|ME=Lu`1=pGnE^|)(z^dLhsNNBaco! zy;D|98_IUY2?k*A8XL$n&;S>=t7?04C<8Ev*6BL5;oHI^dbD}#RZnUc-1%bxe>pfx z(z%)orzP&#)~6j7)sAcXNpiMr*myzl;b2YS9Y#0bdT0IY}~pX-K6b+p^M9# zY?Hp_Gk{35yJ;^@3hL&o9msbUO?$_d+x?;KcN5Ly*Cf^WWP;W%P%_@yx5SKsC$-DLi1 zgpJ^Dv%>SDxCPSE>YaP0$X<~34M3NXrGLx!&dk0UY7m=d`rJ~M8~OTN4n9+5E>)AN#tvvsu_do}Aro=%uW6xiPi$<1`}pKH7? z5k18;E<_Zd_TX>mz{(SfOH|pC6&nzl6zN%mnTVERWTpS!k4kRdsMtnftZ|MtpOvD( zRvvM?OyDmhab0y=CWh*E7_7dQ0Yu8I&y~b^DSgxAyJuhhAFnwei?hyMP7eVxldv2q zf4v)BZydMrJ-u<f7n1 z)&8aR;iYvZ{i&BW#+##4div(;&*0&ufAZ;dQ1IC&aOYr%&;RrL2>&yToGQZ>crk5) zitr}r^k;Bn96|cn&FS&CxiQOBpq1AE{r=zod$|AQ>D{Y0kFQ=oJ-mIxlN4le0R7Js z8G>*Lk!S&#=y)8Wn2{)(wfQSWDG$sEOjlC@>QtA2ef-SF<KTLK5f=srp#hM96bXe$e{>pIQqm!( zH%249BMdJ5AyohhbzbJZdC$X4r&S`Mmfi;#mME7tmnpCaC6)+a*4Zl*p}f@s)o8k; z<>Hz^QOba^gjATqG_5)awqyH(z7c0+m=+1zOj2S;yFh*_?2kKH9!zZ>G>=Y(~gAxLQjOVHkTz~sKea=p!X&GPPzvPB`O10lrRaJ5e_E86rZ1$fB6h zGcqSS>RB5`wpi(rL0M+4EJ4jD36@mmI_o7Sk}XN`y5E9ke?p@cRzW%Z2wLqhy>}hc z4`^ysoXuhznm!JQYRw#szLcoRS}q}c98vcrSn5Vw_3LG17oK}ngTD8zVbqHs9`1j- zyU)|#J%97xpPwGLM8Cw4Wi5P?V6b-}*RPXXqfp{pMRDUMQf$S}v)n8~`W@1MlXrpK zx5TWW435Moe{6?ihi;^?$)`>R;e+J<(5@)rJ7Ly?0y$H&kRrrR&k87Y z5w$2Rf!dlm5ly2Lc|wk&Nr-)v82z?<5qv8Qd1YZr(f-3MF%C4?9$$6QW>N+tK5=38 z+W!jskmHmTs3fpN^EpIKO68~WU--3Dc!EIE1JA!8#9PTe>lx0Vw_4>lmKK8 zfXb**e{2PBVsi#O+kgx$#5nrm(w$HN*}tiYISp&vX-Hh&?u z2k#q(dpZ163JDOwy4$j*pw=h<3hkzE22pQQ?acIWMPo zEF0xX7A=z$rlm3K&@yKYId34@iOM$C7?0yRe>wmIgRjLY!HT9$i@@1j&-9%VM8WXt zv5F}9nZe2(Y$L3O8dmOjtNsXHf1u8R6#|QYRhFRPw`a*a(OXBbu!zB(6;mC(kVFxv z5sM0z0{f*z${W+Yq*%yzpp03Kd?Fbql)}L6Lf+lSCE3 zf3pq}Xo~|=H^|W?_rfkq&CwlAN$BKsq``Eg5$Q;H9vD`?%uzX!%F~_Q$_bQ;m!`Zz ze!CVo>*4PAn1%(oa9QdR#^;$ZU1ns|Xp_AU`h0{FX1$6;WPhT0jfWfr90)skI)DMC ziSvm#D>5Jn{%9=6_}S_6hsW1%-`$m8W_t0{tJit$AMtn9oldt=uaxaP4<@c~ zZ!Aszz@IyTE7>$F{0U$EYgn2~J*p~!qC7le_xzju;xk57(OO>Q$LMeXQL}S&e{~xy z$X%i)_?bYArl%+a1AcpoW`q0}mz}&4DZrkRK@>prVI1#7En(16!T2SbgPEMSM<58wxeJ{t&N`|4O%K?UwH%uN69j><$%`K(G;OAfG z|K<|V%Ourfl>*PK_in<*bI?MU$Y>y-+7qJ3?56r$2055g+*+@RSYl=+elV8Jt9zsbgVITZ3rOIo?VHUZz-Js2MZGOP{ z9Yt+ScINlAJLdyvbE;)0N7@MDa#w8{ZG|#P;3^B-<3vdmM)&PwvSt01^+VaF$W}n;0$j|>q6x=7{vf&uM2S>n8=YlzJNFX0PK0H&(q-VJuiA9I4f95z z1r_=FdmbUA=Hj+hU`uc(bzz?j--*jAeM_k#2+;;jb$wdTW3bfb_4a}#ggO}vyOD2Z z-PA2U81H>+e?DbHKng>!f)%T-C)Si zF-_mBkkPw7-FtoN$RL_Ien=W3^YL{#GJip}+^v2$e;r0&ofTTq^V^dqmZ1hB$$Yq3 zX%jCExP7Z+n!Wmc8LuqkFO2SEXb1@h>S~xbOz`a?&ZtD$%j){(_25L^kIG9{G)N2E zUWX5v#N}>57rgAaRL!Dis$v3K#PHJC)PVB9xNrJ-h&gKUQf8pqX?PYjoX=HnoLpBH ziOn3Rf0+*)(p|GYsw$aPO@qcw5@~Ey`2{G?rG#^lMp9W#(bum$V8;Iih0J&NNnPJ&khzT9{3254n_n z5~D;aD&(iPKR-cN7`#5$C=+9ruaYaYUe-PHe_MT#jscMCVp_+eLEB1FgK5 z=C!&R^KNTEV;@RO0z`nzCIT#P&iUUE(?dWjLm_(G z_C_=TtZ+SvQ>YJxBkeL`({o^3e`a_?2XIon>TV!26Npw_jY=Y@He2{mA5vh&Iiw)D z)l*Z~PGmfc|5kFB@rm-utC`v+LD_)Af4u9Par|qOyIb`@LjdX4{`LvCbrLP4>8cB! zxNFznjzFYz-R|Z08Rg}-I{Jbdlprm{ZSV%7_*I{7PT7w8W$G^k9ZS8s<)!wC)w{J>A%&F@&!Ef8;cU$AuLULIVqob~pKrSZts(RW=B zdeimrjKFjsSGJW`01wzW(Yh#G-#Oocbn{|rQ?cO$0d{XufeE7J<`%5$W8ZOct|ml8 zZjwY>Pun{W+kW(#YvHF*IgpZGf5G(Q4t+Z2t%tTvDwD7rDzmSA*$RIc*=ioN(<}`Qf|pL!@eCXsoQ%9)`d)z=Cy<1RRLp-JU|8UYuN>kfJxLUzIiBQQH+KT|-M;mSUW46|yJF?bT#7<6`%pD(oDNi9-bsdc22%bJK#MK*H>oO6_ zHM`ZYQ%n3^*=L%tsIM&+`~o+`a0-JmwE6_Ms)G*85O(OFbdePD~X#4y)V+~Pv28PKCk>P|MT`y=3vs?V-giOLJfe|nd-$5L8YBO z|MBB}8z5JrynFSr@9uW|Wy#hz)wFuRE}QRpH1QO3oRB>naO}3@SfQfSwp4#WbFa7+ zBx%jd8f4x?cv(w|QFnjlK+&r!IMiCveFu#;*s4WofG?hU=M|l-S~-rVy{2EMnts-Okfts{OD^oT7VS#pJulkj4Q8zoAzc~_EE)wH zwOW7~k3X~Hv5u4{cPHq$cP>xGA)j;>E;UKB+=k)Y22$)UE1vpR~z0R)Sd zO3jl3j4GF*HUTQLR*Xmpf2lf*R4*|Y3qtj@Vz}j~!0c`3b^9P{jF9_T)Pm4nQ($cT z=v(lO*N>TZ8en^Iww}WQfY9rM0AWzmet>Y2tb((swKU6VDb(Z-(&Rp$rgo7atW&@I zVC-1!r8A7XNR+os{YLS06FCz??ClYi_T+om`VUHK zE^3gQFOiaTd{Pku9FiFASL<`*ZB~~6B?`>9_WMs zIEkUNr{_z1cIXt`YK|;rg-Gjqi&8>kyUBz>eN>FhOJ}Mb_%VoeYbnYAm*$4 zo3z&ZhsUqde$RC|tEpUH3YN^V2UTG!7>U4MsSfhPTTS_Kf1Zzx0*=)Wp-ym4L%G!V z&=ZVkP$R>zp_V8|bI1%*IiKJJB+a%V03QCc?^@7;3gN~AQOc&RYZa%>o7-tm%NIUn z%1(Q5xH=y?kE~G(|7BDSpo|fBpvnbn?c>0B+CwcYX!RptpjFZ|A%d9%mmI1-FtMwKo#ges`*#e&bS zdye{oe*m^wBEsBC^|v`TuqFtj)WNn4cepL%X#1eX8BnO0+5ce^{VQ(b_C|D&1${TZ`f(jG{!c?ZDu^FzEnr&$~;*I-I+Jb zNAu(lf00XbXiH-)eZm@k-}_0C7_@NX%Z}7(A5Yd`ertqcSLQy?n0GHYTe0AB(`)_Q-1pPWMU+~uM4kQW2ZzEDv_eDTMgXTDN>VWGfk-N8SyMO&w?OsBp6f}DgJUtsoH z=+%xoF3vdAWCazExZta+^enyP;ME?CrJiw_p!9{~R@q=yMXqbbtiZJtg}}(JR*t7; zy~oUcWfOt-)hBGBmHiU^GkiSPu=F%~e^rPZ2Z^I%`u+6suiRb-iFtA$&?Jk?)UpPt zV|tQ<^3e1$x~>)prI@WrQL2);nyd0NlR5mr_mO6u0Tmus@%<>lPAf`-{(8B(i;_rA}xXijVB-e{68h zjvQMm(q6T8yv-xd_f$m|F1C<1w8K3RW_1T}7PVa~c6a*JcQ$3qP|Do3E|l6U$8Q5T zF$VE3gi?dYPU@ZJ23ykkrA8#eCN6izhsyrx)k47!PafLpX?Dol*>Y z?q8v5ENf{qAXFMw@4fvfF{Z`G1Gj0 z$rZW$1>b6N`+HKS13jq?;+wX>#%n$E8jqe2y+Wer;hO`C*JoB*S&Hjx$jc`s`&cR= zmJ`)iPe+iu@gm6ZYh<8ZdCb<_Z>`=p$H;wurOu1l9;no5F`Mo zOK%*x5x(!QP;_bmGi|=v?H~bm4Leq_PJoq8v3(G1CpHqS16y7M`|Crp9xSriqmd7` zW~Rv^S**ubk5(7|x=2px&ySltOTBWDouYZnudUs`(>Eqp}U*Wg(*rk8r%Ea{9h5R)A%_Izu zh)5`8V(GJn(ZR!LPqQ38PYXwvXPc>RrO-^2yus0mM&upfiueR*<-hqb`CrUb{DHO< zG(L9l$ayB_VWXK7+b4OMyhVpca(J9&?>I=Q-Ad*oQBG|AcK^T6UtyI?T0@35%G+@D zT)>gbtGBm*O*ebgdR{$V;rYyPe$E6~Jf6JJe!b9cPM2u1bR^1lnXOrYvTsITyiUt1 zmFO#VWeZ2mm6PV89)EAnb5*wBpS=2zd3%4C_w-x-@57g`A2O*pz4~x}_x>(DD&Kz0 z5AW~q-sQjl{+bWhX-7K0S?1L_;%qu8+_T_p7RE@zxY+6X_7!}{M?iJ5_}QaMq4bv{ zmXTSiL6BesU6FS@LIa(0^EkS&tc-9I&db7<=Y@kL4Ugy-kbijohWyU*T%^J@#0yun zUj$psYGxaKVozm@H7Ee469DIQcZKE=0&rsXP`d}0s24wLz0z)(FKm+3v8d6}#W=gw zp*Hzmo5~`Q_#!NWtz69C@>Mvzps2xCMBN^*otrO=EeRSx)}Jzh>@Xde=;u)(fGsJr zG}AQnNek0UB0fR}w0!2hxalA7?!JDU*{Z~OF>FFOnXw)0*ulR%_Fe>joHttbXs6bOl`t)v7<__e#jDCN;0RCljYY+wo}UU|ON5HdWCNp?saj!=3X|y|&Ait&(ta+9!7inv-uIo%OXJOvnW z1d1$aFR{+W7EzI6!Rl~Vh^^EWp(hX*{+R|pQe=<=yu}^_utC-BF?(+JM{Knc1QFNT zRleg6@*^*#!$zluR@%%yMlz?Lf4|(l`_G4g)ivwvE&KbK=qp2?qL=oSekEI3L`ajB zKa4gKmwEA;R>(LlJBr`(e+9m6_vGE|Y^a_9grPSg%!+}HEPx0ZMdk!=1l=|{<3Lf1 z8VldK?ABqOo!GNScX&bq0axh`HUvwTRX+3Sd-OFxLpCJr<|-O0#@{PFe;aEz&?igc z8b)eOI8$LnCU#e6Z13agkS%F-Z(S#b$26^+9ZwbN>4K^L%Z)H!G_zX-pVesDC851I zUXdx2hn?qBxBM+SG}-ieRh%v);rR& z)xFU#58b!(%msNEao-tW;s{D6iO4>SF9na4);Nhn$19wLGzbF+ib!J3Y9)9whKK=q z7iHw>Ii}5XBSMryf4_-P8vt|?Odav0!j}T#<=~k^SMtM%Y<-b=RB-aic^+hb(#dxW zn3eYz?I6Vmn9ViGGl{er-*R}Sw^4L~_WThHfNQf57!|ScfcW5b$wFayKz) z5};L|f_>{IZQaE2C!pS{Nkmr)FE|rpWkTY>L+W;5bHEYXBBzqN;cZC?gzfRuL9{4g zNzo%1*~E!8Ho>Q{<{YXA5LS#w8xi-x+#2_t$>^b<+KFNIB0Q_;p1=g;UzSe4$o{iL zNT$H(NB96(f6>!H73q4(59pc!AXgTQz%&~=`>QM?`{~+rN%@U35UNil;8h_d5lY53 z??u!(0h99;usx&EG=T@9^KnuQk^~@(z`vm`$_h!DD{Kkr7VSjTRXR&bma5-D5vlJf z`1FfN6Wf(|_9PifGhER@+X&Km$+KBl^rMA^{TS7Ke|81NoST@#@|h-nQ-SUHz~%KT zqBmwJ&}S~9K)Mp|I0+GU&y#5W{pR{_w~wnvg<&=7=F^A!QqcMM6skNWaSb-iw|N!_ z3FLZTqMdN8j11pxijSki0Rg|$)U~&m-FR(-@9XVw?EF8Ne6XY-L zRE0?{e^h}ck7~ZjJPrQhgby?5yYP`nk4s_#28L>OAz^DLSs2|S{!KAsRQD-V24xh( zMsG9vbdjVw0;FyDlWrj#fn47i9|-sd@I!+pk4>4S6~uVZIpt>M zS9y_}ZVyPydP?77O2=(GJrL&%E1Bs??IO6#!Jdw8iL*New$9z)s2yc@lWUyUnj;5jG(GOisR72|Lp1sanpm4vL>*l*At?%8bVQIR8Z6Gr5JY0Zf47l+ zAK;QrD}`tzs#=0_u^#K-I4C-@&u+sTC+hu<=4yddIuqMkXl56!9%SOErqXNP@vs9@ zc8Zl{iNy|b_W9S#tp&xwUB8}3GH}g2NONCD*v-c-oyOo+wrIExI#ZH7C zTFMTW8o7GwmRW1AKRvrTMl=06e>;ovSx*@|>*rtQ^yyxz)1gM7e6N-(~8aSckkbS8SFQOMSkT&3)K$3 zvCP!O=g+X$b>t{-g=T87bM4HmE&Hg)Y?&7%bq=xtg0XFIUBZ8eZvzF!f1JGuwNJ{4 zA~JMEdY*RM@sWk=A+saOteDWg3kk+QTg$AGaHA#^Wc&0h=x98M2_kaAV7e=ypIZ*6bcytkp=2$1_mk}}m0>N^y$v04?_76VC)>ge^1%p{K9 zf#PT6DT`R`#T_olHv+cJ${7qEco-GPL9u+LER+U7!p6*oS_|*+-yLK#R zYmYdWNXE0!2Xg=x$F)tcHHYR!1b>cOkhy8;u&QniQvsKv;%`M*ZN@$8C0x@+glHah zj}E|a#N;xX*82@?NQl&vEliM&R-z)@qwX~ONK43`9w5tQGP8ZBKxD~i6Cy>i8-gjC zp@;A1z_PL5e+c8rSX&)|gmeh)*jC1O>U(<*!8kj;{Py)@PMbO>dqP~*Baw3rBHidK z+0tp{tjyOsyRqPPk=Q0-WZlDy#1@V|(_Q5yr3B-2ZCc}B_v;=}I>OVTftR#Kh#hD< zBj?F9&nQmdj;)O}puWP&Meb1Ai~hsD=t*SY7SEinaiDy8j(#>Y zm?MbAZ`yU5{v;Yfz}dFlnQoDBS#4=+UqA;Mf2S%ZbcCvt^$4x`C_Na97cV8rn_^R2 zUW!|`uMO~ly4MBjF=LaJXDXsL!R~{P7Br2Mz3TYPHnwsXQxrXlZSq3uoJ?)i+iY~($n*U6hyMdc%j%g5Wo~41baG{3Z3<;> zv)8c5SOPUTm!Sy(G6!&Xn?(uYNtfFR0Udv!BulcTIEs~(k8A-PV1N&UnZXPw9w$K* z@Yn`i^MEH&AR~d22TCiHA}}27i40;x?JBT5MyUfHnFJLRa3Rpc;$Iru;|ZFjm7riu z6{DRVj35d|j4>g%ny8q^nm|MeQQ|-dg|CPQLUA3Ssw76BMIAsg&voE>OWjgfM|LQWAFO zAZ-NZ7^TFJ7|cQ_LSQh9WeBMP6(yJztxEV|AvYP@p1|TDK!C#RD#oIuM(H_GDtt+l zG3Jw0v3|LMvIG`vI?}Xo9caN5w4;Aiq6eB5#sr$^5V*F1mK=zbKt%!(2G$Bw3F@i= z%Se;}Z7_r;%vhN=*kS>qj!oPX8UrRq1Tk0=>}QP8Ekp>N&=yM+8e>=uUK5cvV7*2M zMsTVmn1L!_HpT)oCPGE`gi%2vtly*{k(y?-sKg{t6C@g96)~C&jSN8~3GIIQmazz~z>MLo=6Ns$C#S`v<+9?(2gKv9_1QVFGk0$Pm?7SLj=NwP$w%^=~~ zn3Ru(O+?fa#AIm{QrjrP;w3uri2E9pH-b=5i+l|dh9Yu7x-BC`Hh>k%h^#^S8nwoX z6jA${>OFnhW2e^>7qGqYxNLuV>|J}-_~%#o__D|L%WB}Nj}h79C$|6Y=~MQOy=NbS zD2$&yV=vheJNU@a8hz@q6PGo?M=irBB3YO)@x~=Wo{&gv7%7Wxd%@GE0ecs)7v*Ug zu*2Yo8jN{44wEOrvu8d0?GToZLRcMXcIYkLh)`Lz5tjW9u!Ia_I5K}3K}y(vY*=XJ zW@+(ghqz1}S_NED3^9>o480<98^TB34XZu7K^F4e%M1rYXvnWbDvS;JQ4z*p5ES&w`F>ucHD-UMQ-!e5IoFkXTAFDY z`|{I+Z3)^IwnRiGl!$8#&Jk{Wj1p3Kfuj?~WA5CREN@&G{r8V7t%nb)Ez8hwu)^^m z{D|X_B0mXe6rgla`6g&D+npkVI>EjnG$BH(DZq_F#7~HiRA{4Q6SCLk*j42&r3NEM zBsYU5DPBNqbq{}N2i5hYDc_Wh+aWwiE{-W64~>N-8h8YhQX2?VZ9;dvpEp^Vk3S4u z<@T!PbXc~lUIFpkEwAuU^hNJN8I-xxyDT{#N~Hwi?}zg|T&;Q@%4)XrJY-UYg>orh z@@QJ}oq8M_hls>X0!2Vb&m|8je=s1Mc%xBI6<~+Tsc?T5StNx5A&}LSMwt+?hCl>l zH$wa6_2COQc6DCw5FK)|Q2HzjArRC`3dDnyKY6tJi>`Y22x9=Fd|k%~)#z>j;`7Ns z5?X7&@4BVFwU1J6yN`0}swJP6VyF8mjX|U?0!>*xj&DWz4&5oKP{~cZ z`u6C}iyu$=Klcw#cj>ly5(VA=sP-fMf)NUglrQ!YrpPP?X0tY$2hy5(+=dXFwl&eah)|`U7q~Fh8 zhoV0cAuBLI##Wo4E>pAf+BQPXK?caw*-P9j1*7emMLI0^JQBgHDk4e3XLKlQeV8ea?z> z#Qtu}#tqI2Hf~2}uB!8kF&mUckydQtpm5`cr6bhpbUf%f*BG>LY(i>Qxbvo~Rr$pb zUF*hGd40(yMO(A19F0;oyq*l*m_~og%K@tk^#46 ztj<5P+FgOi`9a4yI%Z{2jzJ#fU9E6+&D`H@TCfXJN>>4$t4TRo+OR#g&kooj>$B(V zg+D@nX1}mk>@|DCj@euGKX!sc_7unLuj~W+js4F4U}sgDUAo4v=?v8l>Xd&vTVIyv zSzcxBh_z#!+I3b|4hT}7IFBFzScpX!MLI0 zp=+A5x$%HR>qfrlR@qePz>U)ClGQ6fI@WS7h=05G-v>FgnpU`|(1Y@yG4pCms#t)Z zWo<>;f6cC;QfF0p>Bc1N>8k)XA0{g&*VDPG!8tU|D;~ip+^FpIq9}ha@+>V7#?AD) zau+#GDb);5lfTC$vPogIa=s*H1E@IhU`r@-Er6bxa)qr(EWJYVa_#b zizc5G*X+2n)At?g`;PVf0_*!Z&+lF1>9DMzU#=QK@6U>wrBeg$n$rc|w3{}a50QE? zq;NI|`brr3eKrhwduR+{ugm z#fZy9TSxax=^gz@!^k@$*_#-PqN?AH&;FvEh{it}09-($ztL4;@=Xy}eEW7R*4w6m zafg$Bq0*JRy)Bc83~i);krtXTL7b>W5+XC!aS|qc<7L_YNq_I)Yw zrEvQm*bYvPUiWtijo$vnH&WArhq1a3vX}j%cc-iQbG+sr@geA2<%jDpQ8s0Z-=1A3 zw=Yx@v28|}thr728u~r&>^J3lOF8t){qFkfshj)!tz~I%%QC)ypDeAoCClVteDsDl z7>k;<^ftr)`0d;D%9>lUumkGb<>?)?38=LZiyc%=CE3_eyb<2QX4!;KrtO?%?Q z-SuI{;?sQtjr)Wd>w}E=8-ffyzo6IrG01ofG9H7B#~|Y|$aoAgwg@u*53{qtBe%R2 z0m2D?Az&j@7D}O^9J-OI8%e8!jGL>P1wFCiA{Dkp@2cS5#ix~vcCKB1QruQkM4N2Z zvJE9_YJ}n74LdAZu`?}82DR#Pg_W?2wYm=D`Mrsv!b&9>pxLtJt`h~O1lSo>BRLuw@G*OL>M((7L{)iHOJE+CWs( z9P2vfD`5Vk2BJD<*8T)ZfHN;-Co~y(BMk(K=EAxvr`qXCoixN@*{+}*wQ)`DN_IgB zxRG(|MmtjHN%26FT1vk(l zn0lxYwsx8^?xfQhp}`G6qP5$@M2i2sUSV&fPM9n!3`j~t1R8fEP&q`E=)b?& z&@lrjP(-Kjr0?BKr~RmRP+`u0^WBmr1I}U6a87BN()0M?2=mc9D6;6G6@_(_TS00<6s*AR9=R#l=6^0Y7~}#^y!_W;Gj_6 zPr4KRL_|lS^IrEP`ARnYrIx8q4FEuSRBx(lloz=O|E{SRs!n~w1Xn3m!Up|SJJTF| z23{rzY2X+t9-&9eF`n%rpAI_3cC>9w(A$rMf*L{YP%X%-A0eRSSP<9p5+Js2fmpFb zd%4X6gl4tdRFv!$goa~(baR~E$cB{Gs|dVCzcV(^NE69PBg3OZ|IHN%gDb3+YWrmt zrZ9K*cfIN6)qy>b{U}=IeSIsNAv(}b=yKQ3=xBwU19E$zwaC%ANv~8mYEkAay4`l9 zxxluF3iT36ISOpTk(uMvV6az$K}xWb4@WNqlEPicps+sa@|E3x6h8FL)aB;61{I*L z4oqrv7wl;mV2>L1hQUsx&}A87bCa8V_dgstKtJ?PUWR&J}H#C&E9LG}&lUoC2<2Z$ zA=&EQiS4+Eh(+}hDWo_ji~gTJG&(cOLA%Cw>_VlPSf;&y@)J{9T$7iX4mI4D0V4pP zw%29^+AblLHtXZLXyX<$ww<|YVzQ(%TUWfZzWYiE>n5U4vwd~M@;u5abCx*m1=N&I#@(JLuv>QIjYlYHq z-MrV72Atwf1cHuci4L$X*>#oX@oP@%0&(`V@7K7;!VirodDMrGMNCDN7kKdPm-3)w z{ebDTIdk3%>+IrNOZlv#rPZRH9h%Oa9lnc>N8d#|>KT_oB>@^GZv(6l3e{N&&S%*r z#I)(~$0T=!9kGu<$;6u&sTdW*DZ+!+j+cNX0Ut4|Qf=|!sy7a!54O6MkNv5=?Z(c| zD8JMd#Z~?ebXHsy%ZtKXwx_o?RyTh0aMHIgm(V2v7JrF9w(+{yLxoxbsumC$54x^w z7ddmQPco2e^>`RJ`wrcO)+W794LRa8eMbSHuAl{!jJTfMB^J|-&!}Rb2sT^8uxA{ zP3K0j)kIfE@%UH^J!&6!uel|H=Pp8eds)y9NB`&L^Ezeba4k3V&`0N8hXE}Wcm1tA= z#RWL4&Q+K384q)ff_LvYbeb=4eWw5`!-jlNX*7(@2-xEUVx!DNMOKE1UgRy<%ohb@ zlo{67GmJ-0#bxK`zg+(#h0b?Xr>w zKnk?cEXici@vCXFh9o%2bUSUv7nz{h@l}$_ow$lCa9N4H%o3Gv6-lC^-87exi<{Lt z?)}|jx11q5GqD(mFR6b*UJ4vsc4H3gh#Vbkp0PSQy|`t><;}FJ8J$%|6z2#A6R?V; zgbZ8sU-8+OuMSj^SgDeD@vABR4qf+@!U7dIEBQQd!)do;vzgHX3K)TwiCalXErFr1 z;S(xfo?_9(0Y*_YFtax>?&7($9gC%bN39ep@H6r8^Wye)3vho`$W>i{(g?-Yz$Y*< zX6;j+m>|JIN(e2wOqhMW$q*kA4=9d7l}PF^*Ius&8b&Q-w^NQ4RWX zg24#KxQ@X#`VxRLhfH3~2t?olj>Ye&Vg~nP0e1iA>XxP*QVOrjgqrQ~E75`$NV=YF zEX@k0Kcx=JwN`)Xr>R4WIIFw~XyXCzBnFfO$e_I{oNJG`V(aEv6Rc^SbR++uN|g2n z;ySr*VH;FF!}vb5+uG&Ayw&>tVZXzfRTvFlUtGUL^a7C$7yz+NpsPot2Tek}D1Fe@ zSr%QVxJ-;|m9&qEPOG*T2B8k8!#S(Xl#vE1rh!%3Imv&~iW?XqY6c)|3PrG%FC2)! zF(jp&(;dN*M6Z0`O4*OHkenxjLCh#K@U>;d^^(U=c}ATfQYK-iSl@T8=^y93Zk1My z^Epx)vYJ%5kb6r`BhgY)A+~2*=cvT_L@UQ>4dKDKsA_#KnQEEOxfHF?$T|g~q=2v! zgv)w@(T;yK3o@*^)Upi)T%BmWdGTtlWMaQ;=I|4!vRn!>7eSb(C+v(Thmv5(2DA5( zO^H2}FxZl)7+>6GDOh--I73=0&pQg*1XblbNEPjehr%jJtC!EY56+T=eUQ~qVJQkM z)@C4!%8QMlA5Yom(+SvVd3@lV>M=`?T*z-MZeo9Zi3MPW@B@(~KUFdyjJ|w1@EWuv zDiXYL1Bi^xFtUa&%8mw-XM2|Fl4fv-q06QP9#51whhVqZA}Ba0qZy=6nLJYpIPR;b zJVu_Oj+bz0wqr$T+Nc`YJx233evS$yQE(IKGc2!~(ma4UMopyJ#ASd=p%o?{3a!zb zBSL?Ca#*dC??YE`j)oEB_wOX9PmPsns^&lj?0iX_cmT z4Qm8Z37W+ukh>geTxlP0tW{C(6vgCoo7yxQM;(jMUewh?iqej(6?C22Att?g!ODEV zs9Ejf2N)BSY)Ymo2Nr0!;gY7dh+O&{2Gg5o5x5X*hoyD>m3bCy5s*)=aU`k0$kl(t z?gM?xWB-g)Z$55q0^&!bRa~Q+(6kp8+H5!f%$MxZ&t7% zbu9CkCMnOzen>$c5l3W>5j@sZ9!l``q>?;U0vuP%#daST`y=r%aWM0-Q0j}>PRBmX zytz{-z1h;yJJ8t3UmRrcm5WrxldykoGIisR*c@-s51WybokEqm=sYN7Jv6>3kC77& zBHLqX6er-v+Hn{)BJ?F|#o>I6`_M?nQOX&P~759XGB1}=vS(@4i$^G8nYGZ#R##CPc zZjldvoIk0CiYnsjj#zQKh2*MmqJ>7yEMz2CDZq|Uj3G7ai=!{A4wEZS%$`1dnANg4 zR9QUYHk9jGVOX`k{MeNN^zl~Gxaxxwj$z?1ooa=2C-huQuLqTXA%%spoCXhDoCv9& zvf0=#nOH#%njsm4HMHvz>qvj2In%;AB}iR->X;vOmhGXWUOH#Frkn}RWp7$5#!Vbu z=uazoOzL7LWLYRp{DQBn|BmW8DnI-ePe?m~=``SW#mFeevLh9McZ1j(=f1gF>^`&z zf#Ky~)#&>ZJV-nz1AM%qChs^fGs7vF(aZyVkKC7@JldT;PAoDR9b$jir*|issj*XC zZK+M`b^r834x$0`jY6Ht8MC2N@ap_gP$zBT4CqjDM<-I+d{LcD`3haAh}`MVq-jG) zR&n3+=*Bvu&gQyr132tos%qBR&q1I<P%4QDKn zphT)~ZP(LT?180?l}vy2+0v|;dT?EwJ!qN2Xc8Aoh_SZFUuEedvi#1Io>$ETP*#|G z^;7)x`YOJOT!{eAa!6gMkDfPWhZ*F!{o#iEFyxjbflgIqEeU|nAw)6Zb&#r4Y>etb-Z0EK2tUCCV8piDEa%=f(P_?#z`aSZG5 zq%KvK0s88vXl{Rb9a<63Hn5j!@ocy2*%^(KwB7o0R6oqMyM9o-B&$yfTu=;Bce-EH zVJhZ{0_b#1oW;47wKzx5BGKd@!@@i5a3JE;HECEkaA(7prre@P$ z^Z%N0T6xP0N?*85NrRxnmkjO9pi5*~cQUt4JY#xE677HFB|v@waQX;ps#eOhh-vo> zDVJ@ST9!F-e9&a=AkAj9*1c>x%qZ=vx)FLRo2Cn-7N@Jx^kaqH(WADQRfvXNT^zTM zC%O_)XA9nu2yd|?F#{ASorTfo=bdRb59`~-ezjTCdfYR?NOs}WxsXUrI)TYC2X7%k zcT`N#YKngyP8HOH*_;m6Y9DrYPsTeP1n?MC*XPT0UMyG>t(;0v+|r`@(@o#TtEx}; zMDJq`cpoLl9v54+?C{P|mj&+-x`9um6h;pS8+s)zS{d@?MApyWuC|{ZeuM63Ja~B? zFT$jsY)m@7j`Z> zI3i2hn{c5W#4FRLp=+si(dT5wOms8oC!;)hYx#`u3sD^6-#FtgS;iSl~2UH!he`4reJ!YaG_ zs4PJNRdchC1Vv>MT~MxDfO!4z?r!yQwO-u8`{jqldcC~c<%>H)v`!E1Y$ZhuJUpg| z+6Qepu7|Ge<&*RR z0k#q3d%BTm*1B=xN!Fp!n7DNqZXNz{>mcLU--PfzvVzVi(Y#*lH@m2GA68MhT=T=? zx7ZR~eBA6e)1FiK);f}T#2$4ltPp?2uWa)TxZzhxqnF$HelvfS+$*?h8&iw;8q$k2 zaUGM4IDVNDi}>{V({8`~IORO0YJJzU+mk_sn+|^JyfbblGJ9IFb?e;!!^OS>W+w-W z&ws_Oei@Ca{Hb|@KmGC9H<7N(tC7}tWli(%)o-h85VxzvB!{J!t$$(^3u%8^$Gu0; zgfOT~wB_)8k)C4|4liwb`J*C)eF*$#b0QdfrR_zVGO< z!|aF1L;;7$L;{D%L<6_TL!9cx|EtC8#^m2fR&j8fr?7p1!(GKIUQkXag+(>Ody|8#~}HgbjfTAnxeo z?P6nP?FOJVr~4-e&;pr%TG-gzxB#>qL5?0a=GFiK4-XF!4_9|)7k44%zeVamAi&KU z2(YvP0RiI5D!Q^t(g0d%B~5@d&;jUT3IeFOn}KZ10SY$eKnGVK9l+Aj1pxZD12A`V zu(0_TCs*cw2sn5EUEKZ>vvhH^2PjHvh)O9dX#ga}Sv14}rVbW=00o)9zEu{jX*AU+ceF7q5R?%m{3301F#)H-H(?%EkeKAMZ1GQN~ZQe0Ij&Ay_35e&;_9AXaRI_0H`_In>zdl zWomB&^8Wwg{s$p{>t^~_2T=#Bzsj-xJ7nW3W#a|3P_c3QE48I5=&wZo#I=F{o{J*T z!p7bH-}S)1di^4{C5HVNlQAIJ6hN{SOL`C{%UFJ zV)5U=KWPnobNx!8CC^jVqzwH~a0|2qG%4F4A;Cg$kn%f!aR z1z_S}X9civ{=IlP+5P_yU2}IA7odaNKZ5`5;MPcVur{$xRc1NJo=X zab!`3D+Et}WfWCb0d-q1szuL@QAU?gTKM+nN>EqPH*VQK*F#k3r#QdnpVrAaR|uj@ zv&ETw>l%bc+fG_rymyeMGo-=D(fdFG{$i*_o3jotzBChl+FOT+EDYU6x}w52wl1y= zb~=dEz2lseYt(FROF!{EuM(=T!qhsHeopv zg)_EvYp+5ci5jn->P^NrA)S7m_DK+UizRVR&^FU}xHhh)+N2U_H9h|V<(48|x9ky} zF#dIa1J|Ts!hNPr_~`S-3Dx2uyf4M7rq>wTn2p?(CS}iw{Fa|o>f;qA<8Y`wepk8x zzD*Ut)j1pm#bB1DCbwT_4{DZA!R#eACVEohbT}nBT}!OVWjww+g*fNRR>9SabWbIR z(hlF)jN^0XKXC!UK55Gszb*5I?|FI$obbVaK0U^-Gzp0%cN?&powEck%t%~_b&of1 z)uuoE#AD6FZ1HogQ^?5q7>R+~IkWzj6o3&em4+L&kK>> z2$jLMgeW0e8qrU?bZ5K+-?X%o*QybJ5oubM47fLd<-QqUJ^^QTI1&;zVY~TZ%Owx< z_$QKMvnZFFK9l21va6XNH31f}I2GmR*JlEk2uu%k-{P=D2jX)}uC&3uUEK=bT2O%{ zZcxZF=}9=w1#!#Io&FYzMm5zXTk6QjwNiZmEBFVL|=bo1Q;!R-QZ4V3);qmf@}l zOI#n!CaugH*|R<+$th+zEvWabfPD|lDfXCULt*qsL}nUjD5twYiDF~1y}KT;6=>Mg z4O?iC=;;Z%9+F=at6vxP%$uu!fv)~_RV@c>6jx%nb+X|GT+@S>>!i#2*d@(c+WJ0` zYK}?HrL-K=J|(FNUz6lyB=DH8X?W>!xy#v1sG3zN3e>iS=tA|)JHFmi3dbKN1Z8fU z!Wki;DNU3~_4>1WCPyC7H8p+fySJFz8_)4IOS^xXb#*=c<0Fe=nd#eqiuPjLYQ*P5 z;A=VS_$Nl5>^)FdXUkOtDQQ#ZHh9F%NiJb5C56Wl(_4<%tN0?Z97;$vXGzp#LOrKT z9!R?BsRm8Y-8?B;a&;EFK9v~weT-=R*iO(5w&^pEqA`_1!~1$o+%GlZ)K*gx>Cz?E z?QG+?QtkbFX^gJ*}Q*pvLudjPERrJp{ilGrB&H>VfpUX?Au%bZ2p3uPRxLq*9~r`ec-`d{7N`rIPwElO24uzB0;7HbxMcUCvhvGU-u{@EuwXRMS5mkW+jf#WymGrdRXaL0xEl3%HRU(`%zwj--T=CwkarIq0v zd05cKRhoD3Yh(A0lB?~e0KblyYK5(^L$-)pKocn1XXM%6kPBDS0c@mY9bgp)RGS1R zg!&?BXU7wao+X}=nvH1cK3`xn^5^O*PCNWK3yaZzR{JkNxH(K3uYF4)=3Dmg|Cxp; zr8&DkVKr-is=4a*upvH;Gj?69s)Y*^R%@I}HvIti7_a^jj+ zhmt(7Q}`1!?mMJM(#zil9pUTK-vwyjcVaaWt6I)~w3BL-<~}GFaw%XXMM4B#5uzk( z8z{YXY?r>+I?X9Yp)i=H`vy&F!_0grrUAhAQ^v6; zB<%3|p<#!HnRi8}`v06U*4NFS#U>>=z}9`d6+svzYizA1=FMK`D;*xzF{;C%7$1&< zh8#72Tsu(kafl1qWYgB1e@ua&1jlISnI?YD4j)|=`h*6h;c#S`Lr2S)Zhf0Ia6+tC zOttrf4utu#?5cnQ?}&R1`R$I_*+Ly+`*B)GPN_JXepKgH>9O+rb+tR3IHZw+eg=l5 zkkJjulcQg&&aO)3o#7Lm2e}+}shJtq@|Y-pD||R;Mgj8=rHb;02?jdQ-&-cs=$*)e%S7!1VDJ8UlT5sqYP zsUj~Fux{<2DaA$$L>8LWdLh&f+wo_{c&<8cmW06lI%x{LJX>9Pz_h>kPVx&z36j`< zDQ?d%UAr~d?iylnZ*LQpm8)5-&gvE+5nn)VmK5F^Vqd<@ab)4*?tZN}iY(f^Gfh2g ztf5WMR$vaEaL5@;*$NBXOSTRYa0;AO5T6fB8l zdlL14fZ42nHy+)`cHsz9dT8YrzQim$bAvX)tWOyv%I4Mg4T;I2_k+QHiW$i(bWT2y z`h6hcsucacl@795QE@JE5AW$6;fY#mT|25|G?YoX?r$m*!vM-~J+9A`8!SYBA0|Ux zy(xWeTQPm^=k=*@*5-au@;n%thI%~aNITReTRmfqK+2V&1)Xhq$oS4E=Y**TS;Z=q zb!D4z;=Hvz2vXJQZVs91r4q=QL|*u!Al1TwLCjk31=Ke;rR4d`0k=jsGmS%AvM}kC6*gyahcP zu!ED;ou2QCSoqe_9lzrnF%&=8R1j+hnbw8U`6IIZP`(NB&GCM~0>A|=5i_$K4rR(< zSJ`w@5~vLdN@uF#F>dZU;~Xe$5BsvIe^wnkIO?^l(l!s`T#UqCKQjG)irfko#l2cG z)5vW{0;;@hjryL^MUbG>%xMaqJ;uR<52Ol!f_BH-K1&v?*Zs9?ai*$$R`C(26+%W% z7|~{&7Wk65c|CM0Ue`R7`I8a18w4BfPEYn#Yd2?zl!o;2oXHCOa*A5ozg=S1`8m{i;**!$vty_F*g;rlJL6XIE;$F6?*xt{an4mh*J0o;UxnHijEkdsc>`Cs5e_p)d}f>yFgPk7xaW zZB$v%f5n$gel@S+jhMS^`=-NuhzZ1d68H^8YrCed2iXss-CHF9MqNmmhh(f_+7eCi zFqB6J+olM$WF$3zo};l~-anrIXAoiIty~ictvdh1e(KvXFvKpQP$m zNj{1VgiG~xjs*Xjbd7Gzg7&;V5v32+Hu8k@TX&r*KC_%*FRvpb4PW78f*G7sP|Zx0 zFxvN3C^en@*!a^PtBKutQFefckjxOG_WUqax8pfg=1TB?ncV0{h9WgdKb+3sxUg}M zbgcRdg)wDBFME2Lsvy7W8Smccp~4To4c(AolNNlOvlJRC6QmOUvsnyIB=;bFO8F|S zmmMLqKl$}}+uaW_D18CC#NN`J#4|?vW9wx>2CAROIKF35+INyUn%HyhAHT8o2M{eC zZTXu^t=1NQO*@fPck8Ig=+zea5Zx(hi=TB-eFM_$iOk=6kzFRD9Y_hXy_7Nrw`C#C zUY;MHH)&|fM+%zCIL7pFFRoEo5Xd*jI!=A@o@XjaP%v7_!0g*1NWLa4 zlhl&UnaBjbAMZX!z?N#0?IfCul8p7IUt^0WaJc1wLbLTQ5^sqSb1Peif$yr?g-S@OMDybvVPdaap(=uC zaX1p_2)v9P09i|U@SX1bs2~NGPUMg>$%^7nOJ;#fIqc4s=S3*_MOJbt4){Od5M%Hp zLOMOp2Y65)(SRsNyyKrh7eO0aQ)&o|nMY-RW!>Kn+YH&9lN2+89Fs~lC>=)TD-0#` zd3c4QqBK6AMxL%raL#a_An~@6!1C}OQxf+NP0~&OfqbXo>y5-Mk0H-njhs7}$f+lX5 zA>6K9?zH0u>JN7Qg}mX3Z%hSqq`$j3yGu!Su!H@cRuA(Ge%q*SZ%SS6`)4NTBj(P# zX`qR*0nfrL3^3~Q`|9U`{`gkgbW56l=)w{wjNi&2@16yr)a)>tHS?GWAt{iuGqA5~ z7_|h^JFECRQrbK=Vpsr6Vb;#EpK9mxrpV;aXy5Cr3YJz~s% z1E`S=fneygHmWsZ-B8wg0_p|EXsS|>X7kp`{$J&sdYf%LS0u;;v09j4--ll1Rpoi{ zstJRqyAOiy&)QL3HV`>z-nS&qhtg9nZz0oKI=4>mgTO7d93)M$@rjF35sa6C=XBGg zwog6c3cBQazEJpmf9>=p0S~^Im9qfwMm^w(N$gs zf>mvjI`oavI7W`Ih(VACSj4%r!_iZ%KNFBX>z0+*6ScPkbiN}tg!d6*PPPvW3s`-w za^w2?-4$?x*F7s^1*PfLU&sxu8W~-jxs0<;aw@R&Rt{?NESW6s;H4yg4)5&QNN1+? z%b5u6q)8rq^KkY}czM-i98A!hO|01k&kav+BsBCRN@nGt0PB<%^?$F#-Vkfljgx68 zbJi{#A{cA^Kw+NT2rccq7F1#vTd!bRC@{6R?Im)$A`UcsXMSC)xVH>9t?>%T+ne&w zaX-1QvU53xqElij?@iBtu_hlokz=*TcRKjdH@PFlSu6uWQX&pXOAYswu=-6Ag#qB@ zW#&54f5JpXd2|Mq)_ETiG=v?hcmnTt14Mlvh&R`v7%)T@4=jF3k`CF(G+`G@1)nf6 z%O)gba5EDgfU|e=tsH@s2KYfNjgqc-tV%wOzHvlw`Y7%Rg3DBYNvp2M%)x4T5uN#_ zy*aiDGcr-90d?BmwpsQ#(WqK(Z&qtdP-*bkmEQY87Pe7?qSL$Rh(W(C1+Js~oGOR6 zvzE{sX-4&A9q&XBQhOD02T<&khp4SqJY+w02sMO8?ZGL>m|5GaU7N@RFr6A|kTW;n z!ZP93M}BmL>SQv12U~3ySrn)z_h{bC5!e$PYt+rb*@?B4cnGkU=1x#3e)Lx2bm|F< zT1iE<&9I)*Q;Ue``ev*zSt7g4=_}wwL^~~pWA96Da z_FbP&0DS@`=V)9WiF6S{obxo5f+vPQzihUMQhst_o=s4HVes@>Mu{`Fbiqeg6uvVR zu@gy`k?WQ7qX?wn-O7?TSYE>=#8=Ju-W`D(qCV)4zt7Qi;3eJL+5T*#7QL+s-XZZ> zydb4C!7+k++TS>A^%bG)0Y1cT!=saJa1GafSW%VEmWIcwV%83>C1^V;Qb9aA8k}K&0w{tlIigzDz1AT7JG( zp5^A3x4DH+)Pe{>&R8r$&u~?_ z#rV_3rnkMEv3#aWwe_^%RgfwE%65pdCHKY;1S7d*Bawp|-lGvp9|55A(g^6^b=Fl@O6xkJcGJuD+!^|%aRTveu5pDgk^I0Y6OCRM@@-}jBXj#cafpN zC>j#TWh>_CY{8)=;?wge)-xm-Zm&>BT{UEX__e^LYji=<#!=v2avP18x>qq2Ka@Tr z?cilrk`I*+y8EUtEVmWlpqIw9{D5vKQ`x~#OX3grasLZ2( zqOUTE7N$O_p?pSFbt?g+t$I%8UoJ4?j}RoiMRTtUm+dv>Wt!aVyvXgHK&m7O)ZUEb zh^4vV0{w%77PKW?;aT&&4@Xp+Q;5T!rUBHTcpjqG^MeNkZV91LX`6%0n@T*M4i_jo zwpey-W(2~Qo{3Rh#8#+o5mt}SfYu^^3fxASXDv;8>GhXcsqFhVJK>M8U1;Q1j36NJ ziOUe-*9+CHqPJzudSoJFltdP$DbaEt+y-n{6Gpyya`YD?g+6foJB-sytic!71`J4O zyfLV$qwM^^>fG~UW4U;h?qb}W_yYYh2?gB;Y`z^7Il{TCC)8!=B2MA@gH~35n2miU z52vJLggn7L*FXBB=O$X`yddcaxK|hi`VGSD@XV9ja1P}F_Cl9e-JV0bS%Ys@BE&TM zj{vWwqLKJ#At3Ja&pwca!D)5hR(b!~178u$$)28}{&QYKz)N9e>_jH|270b2U@nk{ za|}`*PA4`86yY(Hc$*zMkQGUPT|(@KDM!>Q8+Q1!#L@uCj6chrnUL_~xiR?lWg-t) zh;zjTpjkm`8(jhCQ$^>E5V5pYl{i)ECe?tfo#V_23BdJMKxph<&jRCF%Piwr%L~~| zFIq;IC9LT^vquD7vzK7FI&~;&;q8APXAQDI*}t;;9ni0)*8&T?7A(VmIzH|Vbpc30`%-d6=cIoJoaOl_8Yc8=KesAk~bid;Rc-Z9BudGJdPO?#d43F#J|K} zS;2hflHM_;B05){$41>eY<5jCc2aOIIulS(;(~;yl2-^c5f}s)rDdD8Hl-ycSlZ7V zK>eTSr9-izaM*@l^Bom`_99%%d!#XNBLyb|E1#vocHjPd8nH*^nC;Z|34K1s$Puhk z@6s9_f+%of){vUp!xL}31c#YCG|0YMHPHE1z6zA6b2!%LD68nfYa2C3t&sD-7!4l# zvlp-XR{Bb}Z^L2eA(`+JV-8uLCm)Y8DRF4xqq`7p8kb2kvQ`*>%?hy%Hi^4Pc9=zUNlI+Z<@ z^|mx4a7m|Y?rXV!&tad8N#Q}L3eYjDY`iHtpg@vC0Lxy8^I==1x|1jHF{{Em**t#f z8-xDC2PUrLk|L%TUvf zh{N*p1oqSIe20}=$Pusf*Rr>^V0xD>(-AriqsyDm%Ic1PPir=5`l-2;Og0+1OhW~L zevT7qRyrv*3--zp`iQ&aLx;w;WH+qtag9KLm&8+%=R)Q5;wcy@TUd&QdRhGH$lZJ840j|Q);ttQwz zhd0{2=2CNiybU?%*sN)U-bhI^;_ECR9oQ^qjLUCm^vTD8Wp=>Jr26(afMw@HTngw1LjeFJYw??JIs$F9Zw&h~8t_=K|fo?vtS&N?2M{i;ZtSV4Qm(O!K<8h(KR z*xOvCXSIC5&Tq#P3#K1}K>g^CrbyhpO{&{{Swv}nQW`K?D?=GsiKs*yL0Z(Q=KBmD zS5a{XC6GqgnO}<+NHYA#wC!s6O&i7s4+eEhY#wI=gbRDN=9Ax9^W}oE+3l zlBq9$w)z*4E3C8w-w1*Fi@a^mIY~5*pS24HLMFL##>jyV&jZCaqZ7IdcTr}T< z6-*nIEPy{9j8@g(pybWSf=ZS|JdG#LD@8{U2Vz}ggeQg?gZ}R|MJ3H zO;32abuonzv;vA`$v=`;*%c2T;}dwGoh;`_mfUYR6Q}icQpAn&;OUWnwSbK%CH&64 z6DyDG|JZD9RT?8%>1g5PTK|>T56(_bL306{n zbFKrXZM8m>$kz1q5qqxO2c*f^jtahKbgEQXFShA1Q63y%?upM1{dVolB^ zm~28;Y$a^O=z2r?S9s{s>M9?Gg8?#5Fg)xx(JsK~clPD%h^XIy9O#OROY%+(742%B$wy}YJi^<=IH zJH%U78?~kbh5ajL-Vz!8Jct`imJo|dHP76>zk3ZSf~7M0RJpdcFu=0Dbl2OCRX{p z3*$O$DJ3>MHS0@APUdpSfCKvy&=c22BlHL1zb;*X6-{y!`sI!6_=udUr^y&(g!utU zc{3aFGj2x@74jBbP-2_@?C#os8+$&?{C>__ItsE}@8a%HC#iA?;x!x(q01V2cUMf1 zqQ21GKGvM8EeY)r68x^?r}^{dP|vhb5#BjBgc1~3u#M-2nrAPVjJEyb#_c_pNn>yZ zgLun3i`JrdLT12b{JH{7cQy@PY4`k^NpNByViZy=oO#VMiy;vlqt(B=U;Qwvk_ zP5MF>c5;Ogi6`FWJX>!2aXp1|r^UUsSpl-dtsY${%Qn%6OgRL&fp{*?#l#b0hMzn= z;u!Wa%D#{JL*i7eNX&K@1jVgA_Yq`#CTRJ1Y>@kjqaw$yE={~5!xMrMzP+(>2o4T$ zn*4iq6Tg?7RDTP#v#Pv*(GRsBx3_i5xlVQ0DZbFh0k>0#?>FLVUQ_C1!8PeA`gi~L zds#y!N5zk;X&c%_KWI%K)eS-0*GMDDLQ7Cdjq=ozFdZ4;O3B}6Rly%?-x8Lw@mW(rU30&iH6hO~+En5qDAg{B`wb;E|jO7HQJ_7%pwf-Vgu8-@#x4>I9+%YuD_KQvPfdFWm&la4a6-aQYaa^&t z+b!Ly3-pXagYxh+9~Rng{Wkk1dldfM;1ns)v;rrn7Bu&85_QI!5&mVA_GBS{mf58> z@f2dD<}Jb;_<^i!^`vEz!E1O5?6pw=d7{|je8qDT#?<|6rzeiN(TCpAcU>Y+ zdy)*S`jM)?>AAUm9I~=F2@>MwtZGWxd$Un3rzLJ{$Y9apb04|#?yNSZ%ut@Qg$x~mz)`pHc@ zfhb(Pv-kznKdpnUkF&nEBf_VtTxi==AO{V#9uC%ElC$JUQFPDF48iub`11)c4GQEt zep`1?*-=s%;{?vvhf)pdRnH1(SFI->QC1UwWVQ;Pa14@4I$?yh2PQ9Lt@FuN9Kz=2 z%fYT>@?adoLIkgc4`=5jW3YwXA9C=)G%+@9n>q+-83vja0K;` z;;K8~L;Pm2EWY_cTqkIl1M*Si#E5((w@*38o*NJ&{~im4__(K@t$ z>MfXuPIzv;0b8>lPJm_Jm1-(yzUqsA*Q9!#G@;gu5lDdE+pQtCH0;rWqg01%ImCU` zEkV#(08bw^*|4njdDes-*ZSGKpTKRwQbJYm)jRO@It!5FR1DY#x`k2;7a>WV5(}9W zAj4m^A>j>3R>)d^aC%h{frgWsoP#Rp5P4@#lUuEWMOa|9=%C+h3hC>FhGxKj*d?do z^CV`#EsQMPenyX^)H5B6z}=pXeOKt}4F+zOW4~%{U<~d{=F1K_k%&fr2Qe6KU8vU7 z1sc3M&^uTwnOKp)%MoUl2DGi%Rt46nX47{c@3C>wp?^Ds5#&0Mn#7rSto^DNX}0Gt z6p(?)X*c1K>ju8G5cjPvNRudkq~JH$&8D`b+t6HmZfKY{*NDZ*Jle4>Uq|zJxADCx z>h4Xi=7x+heI@STw_irpB&OPA!oE{_Uk?!kE$(Cy_tPOZb+~H!Uv*h(a}vYi^W0dBOt-nk*{LPSy8)t_^Ng>tZ=$nt%t{4P{~NRPee^M>o% zH((!TB8SXEtP+F8SNTdXU_&CgQosuy8WR=d));(*-+!2JiIjjx&=zOlt1=AN{e#UPT_g^C3?6;bzD)S+pAbkXdwdn_th6EBZ@Ae%=M4O=&0mgxPI5=j`yMt)7gS77 zoTHAs@vbC2m075V+ijawAT>xt%^dzo@nv@8vKP=)?aUo>!wEiT90#UQ9Ml!b=_2$vW60W;3I*4XMYfX^;o=W>}-Ur$g9|gQGtFv)=>&8EBYoz1JGXGrl;(5tDCR2-h|7kV; zbdNi1GV`W>Pfhb*O7T+;-ta*$++&spts3ykT-6kJJ(hBRZqL%MWiKA42WI`Wle}#Z z_-)HZ^w0^XmJM8fK+2$;bR_%Zn3_2N&j=y{v_CXw~HPz+|Q@GX#bX zcWEOhDFq05^;w%D7w76E*T6!$KEXS{wGJf3UKdO(1|?VoQP9+etlS^Bj;vhZekEtY z-1;gwz3TaYD_goj!iPKW@DGo9^W0s5v&GeLEdh`rZ{89kn4~&s7ynf8QOy_ODnM8B0_mp~Y?@ov`B_Jjq~>e}$RjHEOEYur^Jb1wm6W z4k9i1BM~$luJqC$SW7}r5C@l#pvhw_HD-jU7|zMiJp(;ggM0-KEM_UA@($tmKX22= z*stj$i}|yA6u~Sq4>c_(`g%`Z2~f#u8y~Cf5gAwR43!~&j#)r3u7Z&7E=VrLOf&BtVZ85ylF}xynmqs&BRu9?oF}HC(0vvT8v~Jek39rO3fAlJ{S8LbN2a-O}j#7iGU`p&) zSO_JDoH9Fl&0N~41Q5H=>?7ZeFA@^H2JN+J=wS6zc8j`T!le#n*(SjtIT68|2(%OR zxkFyum@bU!egd^@$qHplHgEk~Wbb#XQM4a&4VTsxcI9j0>xPa@BAsVlk4EAxbK~nG5~1SRE_6Y3e2J46%scsdvl2R@gKKwEN>(PaFdCW zJ1I6Z-E}+v<4;$SI5hL7QbNjV6`5u}YG;UJe@n;fW3S8A-q*BPGgiCiGl`xpAv{hO zTh5m%lF(WYmYimRq?3ZdAjWI2kTn7ZFiXOYvsyh5iS94ulo541ifX!a@SjaxWbFy6 zp;PZd<@&pHikO1#-((M<=LN^;=jD-UoWWx8=v#()^&>W%xO!318*%FjLFAN?L7N-d ze_w)Hy*#77zCao%wY?3*2m9M|E1UZ@?YWjN+EXN<@HLyqvf53{95VXyc;(Kl!Xu{a zj~<3bOPcwf-zdc8s<)^CD3rO;c@-WyJo=pVrtO{4@D}1s_`G;%l8N%^-weF6DWqlD zj}{9UGGS~jXIim(Se^96^Grv44tGfy65GP`yqntPeA9`YafKM~A!NI4U$lyIx+(c<3q2ebh z2pobJ7ZYoRm>9TRkYdLOIq^|ri<$%%v7#q2cnuX;P{v{qPy8L*Use;Uj%9z-w-W*B7BD41b2tY9?E za5`A1!3^gd%+)Z%3k7pE%<#sz9iw4}cMj-+*fK~5VgN-MvL4#d3abL9 zN@;=f;G06k6!HTM0e{Fd2o3UEn5BY(5~WvBg&inhB>`>500&x94J}53bxDmiWk4d0 z~e_riK<`!oNoDpz_z!?#+Lh}T(QxoI_ zOiN4xGKgdXj5a7Is7DzM#^!M_EIRQx*yyl>8Z{QW91aH9CJqNXZzl+i@n9;5fC)g` z;NSpV1_wujwhU?$plX!V3LuSwT501B%4yLGP)w^8DibRKZ4W92l#DW33nh+qpa&f4 ze*$9Y(H?+~L83NVBnoSaVcnIraElA=OQpr@xe-fnM zl}(F@yPzT92y6|;YuGvz^m-k3!6IS12m#lKu#%Bs7d0-R3{Zl`y@fTTa1NVjP%vf} zOu_|Ris}%Np%>x`4D~_n;_hTnp=$Le=)|A^oHs%vfIn3aXpPEPD;+xn#4cs><|yYUa^Jn zgHVca02P&RmD;Eb1Vm`Js}uUEUpT}u0u<0MB!S)Z*bGU+pVe9b+$m{Vr=;=TYhW|c zW^0hJ*Pv;5fdNgT!J0tOhZYW|%q7Fha3C+TQ6$@frV^NMXqN2^Hv^Xde=Q&`%aUSa z3e+nt@X2(OK|s6dj4aKcOI8UZk;E>QF#=bEyUXfHxbqt935+RQKhb1thB}a1NFquf zG2lv4#J-op1}^g)c7rkiutrK}D0MMJEFllvgb_C=9SnBUZ0;$X4E3%sz;Fp!M3%qQ zW-w@9uvP3T2!*gSqkbehf10IGc$bpb;W8kFPH91%v1xJSbkbvs7C1ggj9=D59X2iu z4nos-#0C-=;u-Wu`aw6w+?u?ZhXjYw#RrR%sE!d8><5g=lMd0m44Nhpmyo?8mdpv2 zkQ7sBYSG|2w=?Id*HUbyr7flsT!Rc8QaVJOW^-#oh1wmsbx1AIf1+2XnZV<-+7 zOQrF7B=<6AT;~$F0DY=x(c3Nh9@lx(xl76Ga2b?Cw2BfkLBxjY9>##@fuxvrdeSg% zT9BL|w~_R(HMtay)Zmw3iw1Qb6s`~F6GR4V*QYUQWm+NC11jA{fiaP&B)U|BO^7_1 zO9$@Ng@fzd&Wm=yRidShSG_u9_2~4)m;^VsI}8a4Ca^-4#+2iEjFGsfM?CiRdRQE; zQwb`yhTQ)Sr4|^FxeVlBWoadaLT&-GVt^4rLxECZfKsSr%=IvZ(6ncQi3*o7sRkwi zg_l^V23LPL_8@gaIrR&JrV%YAPmvVbbjT!if}FKiVA&~YQd#nNPvIsJW~IZaleSRO zGCI4ba{!$MNb2S!#V9fc$b)Wlg{qbzhf$`~wlcbmR6?-8v@G)(jWQG7dwWrSh1Cq>q<4ss`@?ZkH&l z1~vk8E0u(PFzmoY5kE~fg9eYn#HmcsliW$j67(TB8RHgkMmep)ww@4VA0U*|Zq`R!YKFy)3 z+o~@)JlZ+lbn%k1Vzl(Tl)Mg?-XZm}G>*?<)Iw(_7j=48;0r7dN@ zLh-5??NJTjVBF6u;@q^hB3TXfi9Cu*P^HaZxU_!}_q!4Tu5&vtS@!b6M$_$U66m2zH zaT0%|D3h2hJe3R__p%U4Rn*I;1QeFpDq9)OWUJ-s!?K{4RHX3kxiRFQM3q<2%F&6k z9a&m+DhYJ5T72=Kgu8=|lWfpjXP04<7QVok0qCMD!KN`t@kj74!OPq&zl(>!xSxt!aHU@ug z-gqAjH&oa|tQlMe3<@s|Iw&vPknz%(65z`w>GdGP?+Ve=ZRJdQCXe@_47~=F*G@Qh zpIr01N%+Lv3A7H#2niiU$l%L4&f}iwsg9TB*NEVYb#!TjMB{TVyxEMm9bvP@w^d}i zJl%E0SBEfv7tEb+p5y~eXhBZU+Yx_jFW>fC6X==y*ro7=A&+-o`3(kq13}?;L`ZSF z1!U4%VE3MGb^>yg4P$1?b>l7F3H$bv*Wr?>l%+9|Ze~!6#HYn3J%_||FWtU2lx8Uk zHHIERNPfO;$ZI9dHgu9etEGGB(xf$cc3NN1eLh85K2yMP5+8zuL?163@cw^pDL>b_ zy+n$8c}09ptgR_}GE(*@9H<>L1k+#=DP856#dsbA8prtUZLXKSECtuOMA{|KX+`2( z+CZ69pywromLfacH3>s7P`}#%05Ju31V)DpN>Uc9SsOZAgltr0JHwicwOxBy7SxiW zr01g)-GA^2cy^o)Z>>pF$*?EUNzM-BLwvYQR-Id1XNiPii#P$&#~a^>q&F$(BN)uy zqoS<8@Hy&kri{3B$H-gchX|E8j~I7eBefFFEZP9`bW;R_2s*HFk=%cioSE7^oqft) zi?>+lkxyGw!56(en%bhxvpt=NX->Ni^=n6uS?IkGuD5-#yX`jXq>?C>oTl}NUuo$f zm>_o!Xfr|3Qy@C8p)~klNU3zsLDB0k5U4})2uqI(;Or~tbr};922DG1#+Wc?uw_%C zIVfpPS@L+N9JwRqC9!{fwL|e6QY2bgMpmq1!UQ4rus}&wm_N|MD7a3f+E#{^VJg=h zmJKCVt)i!fynpx%y_St4i6;`*Ih#v{JqfM(C9MMRAu?PBC-XE$xLhKkS7J_J4AGXt zdM<*t6hP^LB{N9#u`@H0P$|ovahIr<__X+Tjk=wg)+1zDq@I61t*48DA?Dui{Qd7c z)#;Z{^`ttOU$36j%d^Go(`vrhq3^GzSI~3(>ge^+>36T{-%sBiK7*di>Br^7@Q}xk z=YLFoeyAbEdZ=&*7WmY}z2B)GEzj!f72c@csrIIyp4PLE7wId~!M=xar+T)UUe3-Q zU4Oi+Cl96FsZM`Z_0=2LHg>9a%^V?MiHqstq+U(_R-MhSuBO$edNG@yS2yyB(S|=P ze>|oSBl*Mg$3A`7$RB(3;dqGi4_KCi8Sr2Prq;(h|M9ybRnF? z&Qd(l2Z*R3eXgrt<~NIKeqC3~`g46vSpXX;%)ljU1;>-#&l)?z@wN$1lMe z*GPhYN%0W>*aH7}V-j`TpgOlnb?BcgjxEJ8rWEH<^`d%J9aksSv^uXYzI?g><^5VM zs%7HtG((;^?miUdIsVig1|>4@@e(Y>TUI|`U%uL{be=-hNaK7kZZB2DVb|F z*IcgU8Cv9;$~B#9CfD*RI~Ctlzv<*};9hr$ zDYx@C^tS!%ZAaDX-{_yzSUOA?~9jjo<2VU>)qR1n=Z+8Xu&^Y zjM}%RYlYuBiSO90?i@mK-@56_vQ>I}dicZZH$QR5v) z!4r3~gc3JSo1ep0{xYS`ud5$&`uwI%pwDhr^(~{F7>Rr8cALM7BT-S_N4l-scpHa_ z!+(?UdrihaET(6_)+y;W^=fUhUjKG8y{zg#&Mv1{l(~0OlaGIkDSRms zlz(-T`0Jai5A|X>`*?k;e4cZeHk--$Jym$<*E5`(>vN!aHeb}6vVOHy)_?T)hr`2{ z94j{5Nw6u@VoDW_Dnc!86>D~mZws|U=Lkb{Eez5y{wcQNeX+4SVtT7o@Ws;~-<-T< zRMw_~(o-skZ|!+R#r%~U&=Y?Mo-Zj#PKV)WERc)_12^L2YQ&*qRW~UN*mpN2Cp$%$ z!6Jt+ZELX8cnxgKrwfzY^y0JbUADa%_LNQ)D-{i`ZXLp)I26 z87Onv)zen_*pnBpPQHHudOF#3W7Wzgp$NV7ayvb(x!u@RR87$sY_oqW)>e7a!T#yn z$9RYF^x1l`qHUy-D3$tVsifH|UmDAn+FOlv?*noZxWd!U6+wD6alAPJlVFU!rYlNx&|OO1QK z?unKy^liIlj9ExW9x_M#j^n#T;y4dGlde zuezw@eWiMN{QSue-+%XNcJ<+Ac|5;*HIFYJ9@iglZg)0XJ9~dTs5#i&iG1llQOB=I68PkFfOYmtSfC>a1Q)eikV~rK1w47QAW# z`%ubeb9UKgsS`Mf6uIUY_~1&s!Lzp}2W|2y@}$)voOY!&J+OsMCvfF>$9lw9`sr3D= zd{}~-_>B5~80{fi+1Q2BcbiT0hcCVK8Son!z(Cp14{Ce*y?0Xj#ABbh2?cQ*3gT{i;@vkx zdbFk7OxqW<F@64>WIVsd-dG)_fYUqtA$ z8d!)nrFnl^Tc8y0gQel4)gDV~XgGQ;OXgls8a(Xkv!n+s`L!(h`(SDK1f$Q=z`Ug> z{Y%Qy!Q_4LG<*`#=V@r)reoi-fXUqlOT)YSeU=9HE!HY7+y_U)dx$-b^w7LrXG3U% z0G__?!R!15*lR2nc1m6aFp!4yk3SB>a{=eqcE9TT-yz zZIm8IX5jCxv>I2$#GtpQ-n;41C$2YzKN(!%MI+ho>*>cDR^6N5;0>Q0_`aamTut)M z7qfqJO5O={JS*}iCkk+~()`I!Z1H_r{Cxi{G?YnenY6Yw{OJUL`b2{<{5Beif5qt_ z{=o%*az=uGt-_yPeT{|;862AyHHpDEHu>mgbve7n`J|~yiXNyb`blv5#!Ewf)=Ztj z!5<&EaQ7p8D8SV$Uz+)PQGcc%6fZTLX6t`;w%9Z~JxZ%y)qk`+b=PW~57ts{<65G# z))-$+euHbN&RVkfCQ}+O^Z4|t-x}KKHR?pWk&0oLssnuUE$OsJQMS0tF78r}NhDjO zs}G?zuGP_P?@tZVT3J_dld6A0 z2Z!DtqtHq*s~~nY&`hOu;)pykD>Sb4~xhE14;4y2-^#KaKmFm_a^dc-p7 zVH4=CBo;;>4;gXaMZB3w%lHv-eTLYZ4Kqup3M2mMGu~dTU&fW-k8$HN_|AdO+ptUty&ZwxWay3BuuK^@%!mz}jH=#%YO`7LG9xjg-7fV8h;<3E8G*Rn zH}yEgG;?g5Y-+_~AO17<#la^n*>bH2M+wiv2XKpD9bU)d+vu#U^P+ zm*JUXJ9@iaZrUwNw0oO*xl?wxa^2eua%k8t#h063=bsPii+b?@|F6sX?l-g5 zYW@IE@x3vtv-#}$0seEFPRD=V@w3DI2lRs*l&DrOXIHaTkJ0Yn_kEF?-o+OIeAWc{*gC?ms&@MKZG6e6zg3!Di65o(LFd!y&}#r~N3w{uUHdKU%C#FXlHlII63g*Uw&k z|L}PK`Tiavl#U%u=gF*Ion1Vwr{}18EysF~U+-a;Un6eI_i!4?`oETf!T*=hTmcie zL@<|!%?3e#_nwwMZ{P11g%;XEDbihR3qolrlokpUD3lgx z88~6$L}S#UCoztks!^*`O&mBSS>#|;Y@!pR0}~TtV&cd|O^lOzzrT|&YyEqlea>0? zUwelT!fq~vT(HnE7KkpD;`9NLfm{jRfOelW4+?0FX!l4HP=?lown17B_Mvrup{3-0Ub{cJ&^Z+=B z_5#`!(g84tb_VS-=^=0!?F!m|66p{aMq5T(Bpm@q(5|9gB0UO5(QcqEkRAhLXgAR= zk{$>Ael)ZTq$dEs8q3ko&jgkdeP33YTz7NADX6UQN2x{q3_d&t7Z}b|v=E9iwf=X1fmO7%+H-A` z93lIRfurCUnBoa-t@d1IkV|AA`AUY96J=3(SEiQR)duPhHI6!J6KsKpYz3d@beXHm z=q*=o(NV6BqK{mCMC0U^EL8of$13>9A+w4FrD`D>$JIEri>qBQzgJo4dPno>d5qSG zw*lsgD_{xmgHCI>T7!mva5aS7-eO^7SF3cg%1JN)4g(p4hK<+29l%z&xQUka%9k%dZq7U@FGaU#6t*fG_A^7zkZEqwSHr)NsD zJH~W+&}mMmYaI{yf`#pIt#_I4I|wLU#I}x`{JMqDA8X2rg`Jla;VWOY@T6WTTbAm~ zIb~+^yf?}@YZjjMDb+j-=Qz>vpRZfk-P8b{be!n&-= zf2x5p-aAON3T}aaDo_V1%?97nylSupxHTfzMC4wGEua;&fp*XVa8u-(h!`od=TR@J zH=B4-i|WD{C29uT0g8N8# z=g8FrpuP=Bn04R8lS>nk@IlpNg6-Kd|>~i{;<^M^UTgw_j1z zW`$Z;)NX};4~mL9tnls2iaIUHZ!7AuWbkK2-IgqVrKrb}@83|=YsoKrqkWeA^{*n` zrn){USW3ZC3YL`$_RSwm$tYMxtuktrQLBtvWz;I8RvER*s8vR-GHR9K-HZz@;|9x$ xR`&R}(xN-RhyMYvzABvxWo~41baG{3Z3<;>WN%`ZKhg#e2{$ncB_%~qMhegyzh?jd diff --git a/sietch_ru.tex b/sietch_ru.tex index 9c3554d..f943ba9 100644 --- a/sietch_ru.tex +++ b/sietch_ru.tex @@ -470,7 +470,7 @@ % We begin with a literature review of all known metadata attack methods that can be used against Zcash Protocol blockchains. This includes their estimated attack costs and threat model. This paper then describes the "ITM Attack" which is a specific instance of a new class of metadata attacks against blockchains which the author describes as \Metaverse \Attacks. -Документ далее объясняет Sietch в деталях, что было ответом на подобные атаки. Мы надеемся новые знания и теория помогут криптовалютам увеличить их безопасность против очень хорошо финанируемых врагов, включая национальные государства и компании занимающиеся анализом блокчейнов. +Документ далее объясняет Sietch в деталях, что было ответом на подобные атаки. Мы надеемся новые знания и теория помогут криптовалютам увеличить их безопасность против очень хорошо финансируемых врагов, включая национальные государства и компании занимающиеся анализом блокчейнов. % The paper then explains Sietch in detail, which was a response to these new attacks. We hope this new knowledge and theory helps cryptocoins increase their defenses against very well-funded adversaries including nation states and chain analysis companies. @@ -519,11 +519,11 @@ Hush перешел на принудительную приватность н % This paper will be concerned with \textbf{transaction graphs}, which we define in the traditional mathematical sense, of a set of nodes with a set of vertices connecting nodes. In cryptocoins these always happen to be directed graphs, since there are always funds which are unspent becoming spent, i.e. a direction associated with each transaction. This direction can be mathematically defined using the timestamp of the transaction. Inputs are unspent at the time of the transaction and become spent after the transaction. Outputs do not exist before the transaction and are unspent after the transaction. -Значительное количество математической истории было посвящённо изучению \textbf{теории графов}, но которая не была применена в анализе блокчейнов, в основном потому, что еще несколько лет назад не существовало блокчейнов для анализа, как и финансовой выгоды от изучения этой информации. Но все очень резко изменилось. +Значительное количество математической истории было уделено изучению \textbf{теории графов}, но которая не была применена в анализе блокчейнов, в основном потому, что еще несколько лет назад не существовало блокчейнов для анализа, как и финансовой выгоды от изучения этой информации. Но все очень резко изменилось. % There is a great deal of mathematical history devoted to the study of graph theory that has not been applied toblockchain analysis, mostly because there was no blockchains to analyze just a few years ago and there was nofinancial profit in studying the data. That has obviously drastically changed. -Недавно мы обнаружили улучшенное программное обеспечение анализа блокчейна который использует "семантически обогащённые\pp графики транзакций с поисковой системой и расширенными кластероообразованными алгоритмами для создания диаграм о сложных денежных потоках через большое количество адресов \cite{OBitcoinWhereArtThou}. +Недавно мы обнаружили улучшенное программное обеспечение анализа блокчейна который использует "семантически обогащённые\pp графики транзакций с поисковой системой и расширенными кластероообразованными алгоритмами для создания диаграмм о сложных денежных потоках через большое количество адресов \cite{OBitcoinWhereArtThou}. % Recently we have seen improved blockchain analysis software that employs "semantically enriched" transaction graphs with search engines and advanced clustering algorithms to make user-friendly diagrams about complex money flows thrue many addresses \cite{OBitcoinWhereArtThou}. @@ -611,7 +611,7 @@ Hush перешел на принудительную приватность н % On ZEC mainnet, newly mined coinbase funds must be sent to a zaddr first, before they can be sent to a transparent address. This seems like a good idea at first, it "increases the anonymity set" by forcing everybody to go into the shielded pool. But all that glitters is not gold. Практический эффект \textbf{Правила Экранирования} Zcash способствует заражению пула всех защищённых адресов с утечкой метаданных, особенно -с ценновой и временной утечкой метаданных, делая данное Правило фактически бесполезным. В среднем, средства в мейннет ZEC проводят только 1.4 hops ("прыжков-переводов") в защищённом пуле, что по сути, почти все средства проводят только 1 hop ("прыжок-перевод"), чтобы удовлетворить правило, и сразу же отправить обратно на прозрачный адрес. Очень часто точно такое же количество "входит\pp и "выходит\pp в следующем блоке или через один, полностью уничтожая цель zaddrs адресов. +с ценовой и временной утечкой метаданных, делая данное Правило фактически бесполезным. В среднем, средства в мейннет ZEC проводят только 1.4 hops ("прыжков-переводов") в защищённом пуле, что по сути, почти все средства проводят только 1 hop ("прыжок-перевод"), чтобы удовлетворить правило, и сразу же отправить обратно на прозрачный адрес. Очень часто точно такое же количество "входит\pp и "выходит\pp в следующем блоке или через один, полностью уничтожая цель zaddrs адресов. % The practical effect of the Zcash \textbf{Shielding Rule} is to infect the shielded pool with metadata leakage, specifically value and timing metadata, making it almost useless. On average, funds on ZEC mainnet only spend 1.4 hops in the shielded pool, which is to say, almost all funds only spend 1 hop, to satisfy the rule, and then immediately come out. Very often the exact same amount is going in and coming out in the next block or two, completely defeating the purpose of zaddrs. @@ -623,7 +623,7 @@ Hush перешел на принудительную приватность н % This means that the history of HUSH and ZEC look different from a blockchain analyst point of view. On ZEC mainnet, all funds which are currently in a transparent address have passed through the shielded pool at least once, usually in a very metadata-leaky way. -Hush отключил переводы на прозрачные адреса на Блоке 340000, и поэтому сейчас единственный вариант отправить средства с прозрачного адреса - это отправить их на zaddrs адреса и никогда не покидать пул защищённых адресов. Zcash продолжает игнорировать принятие zaddr и будет позволять пользователям иметь необязательную (то есть почти нулевую) приватность в дальнейшем неопреденном будущем. +Hush отключил переводы на прозрачные адреса на Блоке 340000, и поэтому сейчас единственный вариант отправить средства с прозрачного адреса - это отправить их на zaddrs адреса и никогда не покидать пул защищённых адресов. Zcash продолжает игнорировать принятие zaddr и будет позволять пользователям иметь необязательную (то есть почти нулевую) приватность в дальнейшем неопределенном будущем. % When Hush disabled transparent outputs at Block 340000, it made the only option for funds in transparent addresses is to be sent to zaddrs and then never leave the shielded pool. Zcash continues to ignore zaddr adoption and will allow their users to have optional (i.e. very little) privacy into the indefinite future. @@ -653,7 +653,7 @@ Hush отключил переводы на прозрачные адреса н \nsubsection{Временной Анализ} % \nsubsection{Timing Analysis} -Данный анализ использует эвристический метод тех транзакций, которые ближе к друг другу и скорее всего связаны, или транзакции образующие подобный временной паттерн. Например, при транзакции в одно и то же время каждый день, или две транзакции, с временным интервалом в 1 час раз в неделю. В публичных (прозрачных) блокчейнах, количество всегда доступно и временной/ценновой анализ имеет большую роль для дальнейшей де-анонимизации. В Протоколе Zcash, у нас есть только тайминг, и только иногда количество. Полностью защищённые $z \rightarrow z$ не имеют какой-либо информации о количестве, в то время как $ z \rightarrow t $ и $ t \rightarrow z $ имеют только частичную количественную информацию. +Данный анализ использует эвристический метод тех транзакций, которые ближе к друг другу и скорее всего связаны, или транзакции образующие подобный временной паттерн. Например, при транзакции в одно и то же время каждый день, или две транзакции, с временным интервалом в 1 час раз в неделю. В публичных (прозрачных) блокчейнах, количество всегда доступно и временной/ценовой анализ имеет большую роль для дальнейшей де-анонимизации. В Протоколе Zcash, у нас есть только тайминг, и только иногда количество. Полностью защищённые $z \rightarrow z$ не имеют какой-либо информации о количестве, в то время как $ z \rightarrow t $ и $ t \rightarrow z $ имеют только частичную количественную информацию. % This analysis uses the heuristic that transactions that are close together are likely to be related, or transactions that form a similar temporal pattern are related. For instance, if you make a transaction at exactly the same time every day, or two transactions, spaced 1 hour apart once per week. In transparent blockchains, the value is always available and timing/value analysis is very powerful. In Zcash Protocol, we only have the timing, and only sometimes the value. Fully shielded $z \rightarrow z$ have no value info, while $ z \rightarrow t $ and $ t \rightarrow z $ have only partial value information. @@ -674,7 +674,7 @@ Hush отключил переводы на прозрачные адреса н % Now we consider the de-shielding $ z \rightarrow t $ which can also be considered to be "perfect metadata leakage" in the sense that we definitely know that an exact amount was in a \zaddr which owned that Shielded output and now is in a transparent address. The more common $ z \rightarrow t,z$ with a change address adds uncertainty and we do not know the exact amount going to the shielded change address nor the total amount of value being spent by that \zaddr. -Существуют улучшенные формы Количественного Анализа, такие как \textbf{Danaan-Gift Атаки}, так же известные как \textit{дактилоскопия вредоносной ценности} ("malicious value fingerprinting") \cite{BiryukovFeher}. Предположим, идет отправка определенного количества средств на \textbf{zaddr}, например 0.72345618 и далее наблюдаем, происходит ли транзакция $ z \rightarrow t $, в которой находятся все или большинство этой суммы, возможно слегка изменена из-за страндартной транзакционной комиссии. Данная атака не имеет высокую вероятность работы в любых обстоятельствах, но может быть эффективной "при частом повторении\pppp, т.к ничего не останавливает злоумышленика атаковать вновь и вновь. +Существуют улучшенные формы Количественного Анализа, такие как \textbf{Danaan-Gift Атаки}, так же известные как \textit{дактилоскопия вредоносной ценности} ("malicious value fingerprinting") \cite{BiryukovFeher}. Предположим, идет отправка определенного количества средств на \textbf{zaddr}, например 0.72345618 и далее наблюдаем, происходит ли транзакция $ z \rightarrow t $, в которой находятся все или большинство этой суммы, возможно слегка изменена из-за стандартной транзакционной комиссии. Данная атака не имеет высокую вероятность работы в любых обстоятельствах, но может быть эффективной "при частом повторении\pppp, т.к ничего не останавливает злоумышленника атаковать вновь и вновь. % There are advanced forms of Value Analysis such as \textbf{Danaan-Gift Attacks}, also known as malicious value fingerprinting \cite{BiryukovFeher}. The basic idea is you can send very specific amounts of funds to a \zaddr such as 0.72345618 and see if a $ z \rightarrow t $ transaction happens which has all or most of these particular values, perhaps modified by a default transaction fee. This attack does not have a high probabilty of working in any one circumstance, but it's like effective to "do on repeat", as nothing stops the attacker from trying again and again. @@ -762,7 +762,7 @@ Hush отключил переводы на прозрачные адреса н % If any of the above metadata can be "leaked", the attack is a success. We note that this attack is completely passive in it's core, but can be greatly improved by adding active components "to taste". This is why metadata leakage attacks such as this can be thought of a method of analysis or an outright attack. -\textbf{ITM Атака} берет айди (id's) транзакций и \zaddrs как input, или другие OSINT, которые легко найти в Github, Twitter, Discord, Slack, публичных формах, рассылочном списке, IRC и многих других местах. С этой публичной информацией, \textbf{ITM Атака} может перейти с теорически интересной атаки к действительной деанонимизации \zaddr адреса, который соответствует аккаунтам в социальных сетям, емейл адресам, IP адресам, информации о местоположении и не только. +\textbf{ITM Атака} берет айди (id's) транзакций и \zaddrs как input, или другие OSINT, которые легко найти в Github, Twitter, Discord, Slack, публичных формах, рассылочном списке, IRC и многих других местах. С этой публичной информацией, \textbf{ITM Атака} может перейти с теоретически интересной атаки к действительной деанонимизации \zaddr адреса, который соответствует аккаунтам в социальных сетям, емейл адресам, IP адресам, информации о местоположении и не только. % The \textbf{ITM Attack} takes transaction id's and \zaddrs as input, or other OSINT which is readily available on Github, Twitter, Discord, Slack, public forms, mailing lists, IRC and many other locations. With these public resources, the \textbf{ITM Attack} can bridge the gap from theoretically interesting attack to actually de-anonymizing a \zaddr to it's corresponding social media accounts, email addresses, IP addresses, location data and more. @@ -778,7 +778,7 @@ ITM Атака является дополнительным "слоем\pp ан % The ITM Attack is an additional "layer" of analysis that can be overlaid on top of all other types of analysis, and in that way it has the potential to "finish" a lot of "partial de-anonymizations", i.e. places where blockchain analysis provides some data, but not enough to fully de-anon. When added to timing analysis, amount analysis and fee analysis, it can identify that certain \zaddrs being involved in many transactions and their approximate input and output values. This data is not available any other way and exact values are not very important. -Если блокчейн аналитик сможет найти транзацию, которая вовлекает не менее 1М USD против нескольких пенни - это наложет курс для дальнейшего расследования и анализа. Идеальная де-анонимизация не требуется и на практике не так важна. Программное обеспечение с использованием информации из ITM анализа даст возможность идентифицировать как outputs транзакции, так и определённые промежутки значений и потенциальные вовлечённые zaddrs из OSINT данных. +Если блокчейн аналитик сможет найти транзакцию, которая вовлекает не менее 1М USD против нескольких пенни - это наложит курс для дальнейшего расследования и анализа. Идеальная де-анонимизация не требуется и на практике не так важна. Программное обеспечение с использованием информации из ITM анализа даст возможность идентифицировать как outputs транзакции, так и определённые промежутки значений и потенциальные вовлечённые zaddrs из OSINT данных. % If a blockchain analyst can ascertain a transaction involves at least 1M USD in value versus a few pennies of value, that directs the course of analysis and investigation. Perfect de-anonymization is not needed and in practice does not matter. Software enabled with data from ITM analysis will be able to identify transaction outputs as having certain ranges of values and potentially their associated zaddrs from OSINT data. @@ -812,7 +812,7 @@ ITM Атака является дополнительным "слоем\pp ан % This attack requires storing a lot of intermediate data in addition to the raw blockchain data on disk. Data storage costs are likely the number two expense after computing power. It is possible renting compute power can lower computing expenses but will not lower data storage costs. If one is analyzing a blockchain of $ B $ bytes then a reasonable estimate is that $100*B $ bytes of intermediate storage will be needed to analyze the data and then a highly compressed version of the final useful data can likely be stored in $B\div100 $ bytes or less. That is, the final datasize will be much smaller than the input data but our intermediate will likely be two orders of magnitude larger. -Предположим, у нас есть смоделированный искусственный блокчейн на блоке $N$, находящийся в состоянии покоя, аналитик распологает собственным майнинговым хешрейтом для "рывка\pp цепи вперед с помощью собственно\ppp определённых правил консенсуса. Этого можно добиться блокируя все посторонние ноды и подключаясь только к локальному хешрейту. +Предположим, у нас есть смоделированный искусственный блокчейн на блоке $N$, находящийся в состоянии покоя, аналитик располагает собственным майнинговым хешрейтом для "рывка\pp цепи вперед с помощью собственно\ppp определённых правил консенсуса. Этого можно добиться блокируя все посторонние ноды и подключаясь только к локальному хешрейту. % Assume we have a simulated blockchain at block $N$, held in stasis and the analyst has their own mining hashrate to "push" the chain forward by it's own defined consensus rules. This can be accomplished by blocking all outside nodes and only connecting to the local hashrate. @@ -854,7 +854,7 @@ ITM Атака является дополнительным "слоем\pp ан \includegraphics[scale=0.9]{itm-zchain.pdf} Сначала отметим, что удаление zutxo/notes из SaplingMerkleTree не делает транзакции недействительными и -расходование транзакционного output зависит от того, действителен и присутствет ли zutxos. +расходование транзакционного output зависит от того, действителен и присутствует ли zutxos. % First we note that removing zutxo/notes from the SaplingMerkleTree does not invalidate the transactions and spending a transaction output depends on the zutxos being valid and present. @@ -898,7 +898,7 @@ ITM Атака является дополнительным "слоем\pp ан \nsubsection{Sietch: Основы} % \nsubsection{Sietch: Basics} -ITM Атака основана на том факте, что наиболее распространенная защищённая транзакция в большинстве существующих в настоящее время блокчейнов Zcash Протокола имеет только 2 outputs $T: z \rightarrow z,z$ и основной факт, что если какое-то количество "утраченных\pp метаданных об одном output, если это \textbf{израсходванное} или \textbf{неизрасходованное}, или диапазон данных возможных значений - в этих случаях много метаданных будет получено и для другого output. +ITM Атака основана на том факте, что наиболее распространенная защищённая транзакция в большинстве существующих в настоящее время блокчейнов Zcash Протокола имеет только 2 outputs $T: z \rightarrow z,z$ и основной факт, что если какое-то количество "утраченных\pp метаданных об одном output, если это \textbf{израсходованное} или \textbf{неизрасходованное}, или диапазон данных возможных значений - в этих случаях много метаданных будет получено и для другого output. % The ITM Attack relies on the fact that the most common shielded transaction on most currently existing Zcash Protocol blockchains have only 2 outputs $T: z \rightarrow z,z$ and the basic fact that if some metadata can be leaked about one output, if it's \textbf{spent} or \textbf{unspent} or it's range of possible values, it provides a lot of metadata on the other output as well. @@ -1018,7 +1018,7 @@ $ z \rightarrow z \rightarrow z $ и так далее. После нескол % We also note that all Sietch outputs are valid and spendable, they are not "fake" and they are not invalid outputs which are unspendable, because we belive those could be detected and leak metadata. In every sense, from the cryptographic primitives in use to the entropy of the data, Sietch zdust is legitimate and valid shielded transaction data, which makes it so powerful. -\nsection{Мысли о Изъятии Оборудования} % \nsection{Thoughts On Device Seizure} +\nsection{Мысли об Изъятии Оборудования} % \nsection{Thoughts On Device Seizure} Допустим, Алиса отправила Бобу и Чарли криптовалюту в полностью защищённой транзакции с защищённой сдачей: $ z_A \rightarrow z_B,z_C,z_A $. @@ -1080,7 +1080,7 @@ Sapling Консолидация рекомендуется для средне % By using Timing and Value Analysis with Shielded Coinbase, an analyst can get a much better estimate on the minimum value a \zaddr likely has and how much funds pass thru it per time interval, as well as txid's to correlate to the \zaddr. These can all be used as inputs to the ITM Attack, as well. Additionally, \zaddr miners open themselves up to dust attacks because their \zaddr is publicly known on the public blockchain, forever. -ZIP-213 - это увлекательное теоретизирование, которое можно реализовать с лучшими свойствами конфиденциальности, но меньшей проверяемостью, то есть с точным знанием того, сколько новых средств добывается в каждом блоке. Принимая во внимание ITM Атаку в частности и атаки Метавселенная Метаданных (Metaverse Metadata) в целом, ZIP-213 не повысит конфиденциальность цепочки блоков, а уменьшит ее, заразив защищённый пул слишком большой утечкой метаданных. По этим многим причинам мир Hush и Komodo игнорирует ZIP-213 и, действительно, игнорирует всё Обновление Сети Heartwood, поскольку оно не имеет функций анонимности. +ZIP-213 - это увлекательное теоретизирование, которое можно реализовать с лучшими свойствами конфиденциальности, но меньшей возможности проведения аудита, то есть с точным знанием того, сколько новых средств добывается в каждом блоке. Принимая во внимание ITM Атаку в частности и атаки Метавселенная Метаданных (Metaverse Metadata) в целом, ZIP-213 не повысит конфиденциальность цепочки блоков, а уменьшит ее, заразив защищённый пул слишком большой утечкой метаданных. По этим многим причинам мир Hush и Komodo игнорирует ZIP-213 и, действительно, игнорирует всё Обновление Сети Heartwood, поскольку оно не имеет функций анонимности. % ZIP-213 is a fascinating academic exercise which could be implemented with better privacy properties but less auditability, i.e. knowing exactly how much new funds are being mined in each block. Taking into account the ITM Attack in particular and Metaverse Metadata attacks in general, ZIP-213 will not increase the privacy of a blockchain but decrease it by infecting the shielded pool with too much metadata leakage. For these many reasons, Hush and Komodo world are ignoring ZIP-213, and indeed, ignoring the entire Heartwood Network Upgrade, as it has no privacy features.