From 0befed72004df873b8b8a03358b93ceb32d0c9de Mon Sep 17 00:00:00 2001 From: Shrenuj Bansal <108157875+shrenujbansal@users.noreply.github.com> Date: Mon, 17 Apr 2023 12:12:15 -0400 Subject: [PATCH] Add API and CLI to unseal sector (#10626) --- api/api_storage.go | 2 ++ api/proxy_gen.go | 13 +++++++++++ build/openrpc/full.json.gz | Bin 33856 -> 33857 bytes build/openrpc/gateway.json.gz | Bin 9537 -> 9538 bytes build/openrpc/miner.json.gz | Bin 15866 -> 15921 bytes build/openrpc/worker.json.gz | Bin 5224 -> 5224 bytes cmd/lotus-miner/sectors.go | 25 +++++++++++++++++++++ documentation/en/api-v0-methods-miner.md | 16 ++++++++++++++ documentation/en/cli-lotus-miner.md | 14 ++++++++++++ node/impl/storminer.go | 27 +++++++++++++++++++++++ 10 files changed, 97 insertions(+) diff --git a/api/api_storage.go b/api/api_storage.go index 9e65c1ced..a9e632998 100644 --- a/api/api_storage.go +++ b/api/api_storage.go @@ -129,6 +129,8 @@ type StorageMiner interface { SectorMatchPendingPiecesToOpenSectors(ctx context.Context) error //perm:admin // SectorAbortUpgrade can be called on sectors that are in the process of being upgraded to abort it SectorAbortUpgrade(context.Context, abi.SectorNumber) error //perm:admin + // SectorUnseal unseals the provided sector + SectorUnseal(ctx context.Context, number abi.SectorNumber) error //perm:admin // SectorNumAssignerMeta returns sector number assigner metadata - reserved/allocated SectorNumAssignerMeta(ctx context.Context) (NumAssignerMeta, error) //perm:read diff --git a/api/proxy_gen.go b/api/proxy_gen.go index 538e58158..303284feb 100644 --- a/api/proxy_gen.go +++ b/api/proxy_gen.go @@ -1085,6 +1085,8 @@ type StorageMinerMethods struct { SectorTerminatePending func(p0 context.Context) ([]abi.SectorID, error) `perm:"admin"` + SectorUnseal func(p0 context.Context, p1 abi.SectorNumber) error `perm:"admin"` + SectorsList func(p0 context.Context) ([]abi.SectorNumber, error) `perm:"read"` SectorsListInStates func(p0 context.Context, p1 []SectorState) ([]abi.SectorNumber, error) `perm:"read"` @@ -6424,6 +6426,17 @@ func (s *StorageMinerStub) SectorTerminatePending(p0 context.Context) ([]abi.Sec return *new([]abi.SectorID), ErrNotSupported } +func (s *StorageMinerStruct) SectorUnseal(p0 context.Context, p1 abi.SectorNumber) error { + if s.Internal.SectorUnseal == nil { + return ErrNotSupported + } + return s.Internal.SectorUnseal(p0, p1) +} + +func (s *StorageMinerStub) SectorUnseal(p0 context.Context, p1 abi.SectorNumber) error { + return ErrNotSupported +} + func (s *StorageMinerStruct) SectorsList(p0 context.Context) ([]abi.SectorNumber, error) { if s.Internal.SectorsList == nil { return *new([]abi.SectorNumber), ErrNotSupported diff --git a/build/openrpc/full.json.gz b/build/openrpc/full.json.gz index c5d21c6da07f5c98dfb1a47cdba20964b2955cb3..e56fd0fdae6e539bd29666c71d040c2998b06652 100644 GIT binary patch delta 29474 zcmV)@K!Lx&hyuZg0`CFLlTFQtZyrN~vy zYRNO;qd+VU1|R`1AiF2dETDvj>?N2X=havb=!I3_I;E=k=0WWT6*qH%LTr6g|Xk#9F96RFe zYacq-$ckC;?P{P1cu9#~q$?B6GwT zoQma7Tp)FMKq;59L)P~YnerJJBYumJ()-Luj*v61Kn3m<5j8o)o@g*+zz?V!I)az0 z9t@lrzJcEBX#ibx)r;8?;{kcZ&=rB6CuvjiS`G|wN+E|^09?+HYy|~sz{F_iN-h{f z=NfQ&MW%=#hE*T<3^9~yNA!D)Kqy2crvMYoG4$}?2t>={iU<|Knjw)oMUb1}MxeeU z@!8Ll-%u`p@7IqX{R-=svlYHM9vP;K-9C#jDXI?5vA<+y|hec2G4q}W|x1;uSg9J-+%T}zuxwH@~?w?E{K*BID>(hid}waMe-ZM(;4sW_XfRw@00$q zJ=h*>MbG-H=b~@op%89-LmhpH2fbgb{A3MrPQDurswz%@_U6dN@{chlFt|S^ z4s|7iy)k5HSB{oOB3goop^y(6V3v4~ps?nC_Ap0t_K@7`HQtVW{Qw35yqDccO@pU@ zF#H91*?{Rpnzm#-k6mp$=UXI;Qp4g3&DWCno^fRWA{{&6qDy z3vCE|i$}UmFS4TGX~MT=qn4K>3FLXWC0Vw}QhLtFl+8e)cH%rkU~!Xac-2|Av!7$r z_Okch85qE^{9DQpj;I(I#F_HO#&A@Bp?jk^#k!$!9P<(x$+0h7Ze+Uv=l$K%g5J6! zSL6%jXdj$RM1cSS7$7Bdd@tGy7quba*k_3M0p|Z;z{A(byH}oXM&~HyeZR$?2gV4v zq3=mC<_g*O4+fyeDDWv`cdHlfFy>I#=C*a|9TFA}$I5 zvKz@xW_aloY%d>MDf zp@d-<1>z$L&e0umLNP7n2!6dh-UpYTPAkqjkKpt1#l`!7kH;6_PM-UwT0Iv{*wcbCE)e@&)%O=;Gi%wFKODd@*$w}^zScX>8gT%e?l)r+I8>| zvQs?A%8l|7vJVIyLO*$V7N9u}=la2C8Iai9S55{wDT_vMzjt_YRJ7s8W8X#7n_z@@ z9LmrwpWU-Br@9k zA?Wv{F{EUJnHQqtFK~!|-3}L7Q}0K5(zgSiY9=(bSW$;%Ld!pB5<7$xr=*H2brus9tQF9Wv-J(kgX}eVIQeA$jX0+h?J7J%n z_u<{3-urNTBRzm^-43eyVt>Q;A8LP6mN#)XD8e=8Q!*5rA4^Gp^S;>Opt(tJ$0PM9 zR0cUwzrp*@mmr{&+YR}RHY78XuQ0^h0$8*d%3VQq7gTbKROYe+-@Zgm7_V@a| z-_d<63Biq&`2C(7^{fq5vhgkB+cakQ-bhx*oSA68C3hEfUrbukqheB24%^S7B8he8 zgE_KOlTej<(%R*J&0xD;yL?oUy{*-Yu3vrv@>M$K)I_IfYMnZ-6AtS&NYr*(g+y`B z$_>2yQL4;znSF&Sscybi)fLswNb%Y=}t7rk%#saMD^sbU+ z$!il~_6*$8&AhnQuVei>OB`=lR~T zGYMKPdezi3&R6wjr!J>YAtbT20LYRt*>!6GGqc231~LnMSPU_9oYlnp`Y;7B0i7tn zQGYQ4*t(52(`{tot%bK1-mXs1y{XGk6-(;)Jlt}6E+S*1=duoAUDI6aMNQRez0x+8 z(1EG`nd-op&qxPGsi5T1l2{>@Xu>N}b{0k^Xo_j*12Z0GkrziO83rgpuQ`292~y`p zq*9${)p4YC9GMD=RzQ}xzB;=inK;C*)qltvtdUEXO^JT4DrXiwbBDPY)877|-#eEx zvRu!7gzOI{Sbo>|l^D!(DWRu~gnN~_VZ@8_ZM!=+SG?dGQ$ZW1c+}&HG5czBg zHOOa6q-Io#@e_jX;S3T}BaqMPm0&`zrRtM?ic&HzQhIzAt2!ZnrA-&08x-*0pnvas z_du*6d1{XVf{?4S1Wpl`VFOo0=&a$_tA1wVNI zvJYe@Uhww^slVU9{P8clIbxF;u7BU4RVesGB$TQ3%v+;zyiBW+IL!4==xMucVMtng zH5?x;Ct#e z_thr5eGE}&<7-zgP~I*`mZC=Y{e+`HkI-_mB}J)9%)l|$$;Ex@%qoC(OMl6eYJLSm zDBC$R$X(>iqx71oWZeQb$5~6FBqXt@LSlTju1F@W3ZYTPlk)QYRDu#h$!jqLNdpjg zkfT5qy&_R&lE~%Mofyo18!B(>sYHpmnP&}A%SwQ_u;Zc{Ex9bjZ zeuAv^ZDgwM;_cfprQSk`tB940Sv8hT1#QgU0!v-DEHBSv08ao+lI{a^hgq_9YEP&= zn~hB|X$vE(A1)R{qNNl!(S0UQTaXOv4#$2%&}}J35OljZ0WRot2Y=HvS9Nkjw3l}7 zMdx2;;)M!MR1(7;{eA+odsKI<>=Wf54_i)eQMF1*%9me#&KBLMCku9RhhD_bBCRMJ zbSYwh5)TsuUW}nTMZrt(@i4k$c1F31&i#LZOh%hrEQ=@Lo`%xW2pJ~RC_c%?fJ5g#lvh@W z_3Tj3Rf}0-wJ8k7aEioZ4>_Dwtne!mFLAJ<6&{bK>5WHn6@Pv_j3(T2{uMx_E2ha+Z|3SY!Z(@zUPbM4K=;m zctb&`d7xp!>3@Rd5wW0>5@FwS<%RRiEGv<|1Um8eNX;0>=EGYc*zfRaV(SH3GcS;u zpe12%`mw>`%61zaWy=O>QHVzQ0*Up++C+a!jY=HoZ8kLZH5_$qc zBhF%9k@6_d5OlY|A50&>aiF}1#YTZW#*Wmp0~GJ-Vt=xPZPOZ1=*kNKh1{@Dz{S_` zU!vYZbfJmYpbJf@IlM^tHrSYt_=sQuv^Z>cr`EHc>)WKtV#V86_o zVMZ->3V(x}JU8)TUEsfUZh%uvu9^6=q3cT5GdTvR8hduB1oyVufy6I_A zF_7^~150Di0&V525EA()s+Xxqs}))?b_wP8K^~5F(K!+D)KDfzcY# zkZa$8o)dZ!0tk7a9;!IjL^g;I)0tpckBoBBw<-p4q~4eSgf8nBR24#{R|j#BcLX`S3?N~X5`=ClJMx68goq0{^eXJYxC!F!KFSJ_bS z`aL;EBLi+U)DKECzP3$!*T^Ky@Mm=GPKw`Vc4VsS&(E0LtBQz>rB~^MGZ)^Xx|!fM zm)fG_0*SqZxYism64fyyDM=lm2!9>LQrZgSO%}+N(zrWO{2+q!xr)EHRe`W_i67qy zvC&fasmfKNPrW@y6X_)r?Vh8_Lc>wj>c&=#`CAa5l5QBu|A@sb#yfSXg3Jj`9q7py zD$bQtAz1DiNAqr-@bTC^ikJK7{YOPsE_37|htr_9ueQp68*cyh39{L5>VMbHQ2y%m zHP4?>aP6V9fYM2FIP60}=ci)q4&R>_QyOaXcmGX8IiT2Vcf)qJXC;{qOL|j0+Oqie z>!f!^mw9K#sf4RG+X$@%TAeRbFK1)<&u7K&e!^roTbv-&HA@c=%BBiKXU`NZp+eqO zg)U3M`2iDGET@)AB&u!_{(tx?eYoO3LloS9olH=$7*a=#)E=@(2)2OLscx8Po0y>( zbTYYR!T_H^4rcHM0SFuvaEOW2E&a@?iiB4NUQmL7ulHPD+F-_wfaA5&_m%xLYi22> zrANs*n9NJFs~m!$s4=^RdD1NEIyPcw*zbMDVL@-`S%$L4(@sU z2;R>T;ZmyJKu;0MJv<>!fFMg+K|%VWDEZ(FAqnW-tI3*vFHl&!ebp8C3YWMeBPd6# z$*4EJCR~kVt7_4BH|Rk8X__{uVRWf?vxQ%@480eoq1k=t71Pw%InlzUn^{6lM{>2{ zNVz3%^TlWJ^xHwzQGX%{4L>4s2-}7=fM&gQm0GF50h3^N`LsCwHzmz(iOn@|q-l<}gYH;(sFOS-W{-jk8ykYbO21 zNYn?^rwn?XUW=;}BT1Vkx>>c%M}EQOwb}bWd(mItfA+qpE*6RxC3*bv_|8WTNA6Lm z?hGrII1G>&(@QLA4+ewn*Yf|DgTcQ1|NjWH&UY6VI;B&^=P8{Q+c6;V>&LGj67JF) z>}Kt~Bgmo9(trCudr?eq`JG8CFq=D_0GaL3;ZDDI4sT`3pva{D)x80lw$~$DLS+(H z_INTmM2UEdW@j|i(*sjd|LOlkfy8FfT8+NZ;S3Uj^q$BG!5l-iz0}e)KS#``M9qzs zBm^&`Uus6hX9`l&O1@VMHDvM<=>y2R{Te4MH56*VPJh@1QvFiD|D>TaLnUsZN~!Uc z&ms%G?a)L+Acd}&3SCK|b(1ko!?&`F;Ac-^3w2llz2@R+i3y#OSxq7yQX*%CkzaYi zV^pJ+Cm}1ZtL>ST%Obxv8w_7+u{L8fvnb2#v1Eysy-i)oULc)Xnk8?OMb@C3Nu@SB z;+gf>)PJ9pS?MMHQA@NPV{%oO(9A6CmOiGMeS0O+9=hGK5|P?5S&nIq)ug->?Ar+ID0ZHEq^h#~Wwv ztpNE=e4mEGqD(KR!lV+Dz(`Cbrb7dZRk=(z%?f#2dnor5GoJSMwzWhGbbrb((EI))T}Yd*i=|kBdhO|gk|tUlGbrm( zoxBs}6aLac5!zs(697Fg&Va(>vUDO(_%3}XUun-vLZr(}8O2K5ZMtW)P1ibZ+U^29 zwl~~5x}VW5(B_73zpFh_FEuoR-cp!F)UU)U#xa>Osd`|d>9s{8n%6}rL@^Q}kbhz< zrobewEHj5LimsbdC+;0dW%>Jolg^d_kS3vkHWtvv0@_$W8w+TSjEyuh+FKbmEYOAp zT7%FUgw`OmVSzR*(1r!tu)yaN7Pwh{u6Kjlv|p!~>D}~YJYAYXm9I;^HuH38QnkJ= zRi>qY@m}AFn<|t!)FKwAfS|k!;>S{fn%#8#v}E@$f@-^y6^43 z8T20_|Ih^u1E<7P6cepH=;84FdD)94thI<>nUb!^vy-q_@=}i9>I|f4$ey9w{oQtL z))cYq;`=?8kw^)VDxnmYF!#bIL~F%UhH^_OmEnJppi1#o?U@gfLRGH$4u1q#rtc+k zEdSojN3T*vck7)y>g~T-g%h?UD_SviT4ePNYFvFO2YE|RpJ0KVBM0G|$k!(yok8q= z5a>!gxuhI=;)!O>I(4m6cb%QO{oe5nB3ve#ZXHCDSp_DFKDU&NTpre^`E-3d)@}1V zeVSUf7($5+MIbZ zO>IqfW;4?;N2TgKj6S!urE}cMOq)pt`%yZBeUtq4xz=lp$fc6l7dvTseQ=(^$eM(y zO!fJ+oer3bTGAobZT`;OS1>zus$+>(b2oooqD_0ia6R(u7q33Hd4KlT?d)fb9B-Io z-=^5#{1p3*4)NK%`W=}GHn09u$*cdALH|x|9vi6)-m~kLXg{i61@nD`f~}Jy3GZ`Y z^Cfuk>Vne%PSJaIy%^d@O?7x0KE=IBru~?M1hg|eCCCLyKfolQ^V}JEiQc;d?Rrej zzd0F z95D{(z9_Lh*p^XqSa7C)UZ8(}q54FGyn{ZVoI2DiNg>qqV#zGElrOg+y7R8o)X;34 z#C=nnx#%3t=?z*c)kvB|mE_f#JGM@a7G7PFCfCgcCOHNdC4U>qFc8QeI^~G!MQ5Tj z8I+YJ341f>GD+BTyVm2~?x=q4Fb;!EVu#jCs6eS|CApBpDBZ(WvY8?=O@ePmU`(lJ zu+|FgcD3ZnI%MjWEMp6Dj^;jRfKw2t_W-Kf?4#iTx0uf)+EMxZ;^!wv(qlqp1~M^7 zoh{*tud%ZAJb!AtoNK|*lfZCAKi|V753_>sbo<@jPQ4(ML0+h}^i$QVL|z<2_BC)( zAS^W@Ak-tH#AQ(f9U5yXo)_Z@-8xpAi%4biiR1HRGN0(OV3xAf^!4>r^twBPEjyZz zlC!I0|7xTA?h|LM+>WmH#5Q)js;^z}yFOV*tT2m&On(uErjF5)|GX~wSM*P>>2(}> z%o>ODWIlPh``0>gpO_OjGu=|=y8%R6%+nm+ohX9ayZzoAlhm(*J7C5BU@du?&Xq@S zBbR!mGTOK3n99F4(Jyg!iWWW}v)GdVmT~BL$W0&Epd`NJ(pQ2QI4bh(il}G-7$CrS z=v)IgM1mSlwFM@kvCWOku_oE+_Pckrxmcsg_zmLre%*vb)sl|q>>LKyh;J!*Y`n4s z>28;>X4Z7AN(OEr<}yYnWs`9V#t1l6%xB)+oqrJJ+G( z)|WoS^{dv_tGL9OoLVozi&t?_>LQm%T(?7?N1EeB3oL2hmkAMMSeq+;OD8StdK)@F zSf;oWa`|xcv(J4KAfw(pAv0d&c7Y`smQ5uW9SAt2o(DM!VlRqL`Vw%RJ40{zet@YX ztAFvSIlb#FS5TXT_|d1cnYWr{-pYL=6Xwzrqp8uF`}n1&(2CQ{=$uVE7f;#jZAv3M zdCU3~Ew@KB(~~G@8y>wr;nC{~cD8HN#>k{W9%5`cz?0Be73fJ?=oa{7I5z-4DLy7R zK(8TjUr%T-Mf`OFhzOvQiHC_wp)70;jemZg?GE>C?bgo0cIao?nu0ly_^y=KKDI!ZdShEb(fS+`uj{Ly@ zp)LYr^^BHW*(U>Q#Q<)B%Ne>NbHryb=>GT=fqr$j7(AS6UAmSiaC z?~0s$z5L_i{|??C{{F|={~f%)IR3x0_m`glA~!goMDC*8zyQOshX6xd;4MbyNZuOQ z*9rb0zapYFd6QtmWm>%bvpxT4}Jr$b^V?W2Ro7>oqu>! zaa=I@oR>6uSTzew)@22)D*aowpumel7LoduThV6CO3nvRG+o2hy{uO1b(}hs+@OF< zPexKsUBC+onCxs1KvW0lx1A}*woALw%I-h%a&D`ziy<3p9@4R{0%*75^xQF@N&EXt z`D8GVIjQR9a3DRw|Gu)(b0v zgBLRdZ!lu~CAh@?1zJ8gZLy!VA|x)dnn(;Gb$YE2@2u(K*sC}mcg$ypu*708SQVn4 ziPjb6b^@{4}+dqP~RVrGHhKg=>#8liyVw89C;&W5)3ua`X|l@}H!tn}WAC(>&G8 zN~e0ZJJr4si{31Hv*_(H(VNvIkD*Dn2Nh?Jj`{2ZLZ2|>G`Mf0NRrxBdgL!gN#HwM z=kPX;5KMp0gu()4k`y%5B}s**`Xtkh&%`~elW};N7 z=OV_X>oQh*W6014gw9YP;E^(%#7Ipc`-36(9CA#1``@>RTO-N#Eeu?NavSQvTr;M3 zkrWj`QRk%CET+Y))|Z*VFwt63-&2ir)QRlx%{t6I+}^G@X?DzKA0r^pLYhW(7h9PJ zczQx=Z|qEwGxeHEntx4YWs2vO+nI{PdUr}x#LS=atTxBChZScA#AihO0D6$LoVaoA z20QRI+W|(iJ8pBe^E=(O2j3ic)*Izd%++g!(^A4|R1uu3*PsA32lqNDSStaQP%sfv zqMVdaDlunPk_b`;;wfp-R78myZ6s8tZx1e|^j9&O)uX-LcYgzCf}CAvdpy~3M&ozG zw{M+2_{QCPJ3{Z??v1w5yTNz>cbx6LJ!c3cwENkSOWgK#(PC<3U zg-m4&9r5j0mw$8vN#twa%l@zEl+Z4CCJ)a=Jg2^^+JgaIudO=f6Xzdq)mWwp#>a+1aekIIMfS?Uy&cua;< zYSx77f_68mlu?TdJ=6*hFLqEDpwnZHV_2MgkN8nH+IRn^`lw)HNw+^Hkf%|9B)A(7 zL!&bUOAz`P;$A(7m*K&^eAaNchP#s=CK-SCM>pJet8;xR1=REgbOPpxF*rpmx;(E%G65T<&^AiJp2m0-LAF<& zqojHbE$@-6qG=+`v^?oloIOD16N9d|6lo=SQXWO9t@HY`;^k4q%iHQKFCP&nbT7KSRc3rix@6Y)4BG@63(3VZO29 zpgL7dEFMnjbUAS;2t2f`6m51cD0N4wrQ~^05Y8cYWZ`t6 zD^Jl?7$OUy?bUqtYQ7HT0zhahR5y6N5_NMK2!al7Q?z0NMki7{J62d2-S+eVxD@-W3l*&f(oz zfN6mFeeor99K_fuX1rdzg?$rK50cZE`md%=+Z20i=}=q~zinm)o1FZKSF1_kCv?lh z;~x>#%X8(&Lo-Xg>G|Punb4F)j{cUxc*Rz0f>QGOgF>ABNb0ik8YojyMIjSo? zFJ0`x%DpJ|!0k$A`n&2hXcvgM=kPWqsoPBUA{CRcEp-uZb`=<$w=FhixD4buwuXzK zv}X@`(Co=xqq=CZm!4m>!D&xW!0ZgFGnHI~V|m0IwUR4Q04Y@c_X&pc9b$rss(HlrW^Sj4%)qjy+N655nTlf*Ek2 z=OMQ{cU)mon+d^#+kgJ^=}7ry2FewJ8trCMzsPyD?2pTeS*3j;QogCJ0NkO-v0jWe@=Q#m0*CtH;-M2Q zrG#q~$@a9@{jfTbNlI(BTk~uY8ms|lhO3^{L%?<`o*5y%bmNnN&H+p?9bl>6tYpz! z9c!2Vl1qP7abPg|L&x2JU(!qx#Ab4!hE|nO(3`?rx>(LYj8j=w3x=9D4GqPp=_Zn+ zzNghfvMk{c9o1|R{Go$Y}z3nznkP(f6VQ&A$R*qOx1eG4-&GZ}0TM?0$thg)Q& zRLxVH&~wd&(N0C!>_^Cs8OL+T(FcSMq2E{p6)03jEU6jtS$RNzw&6chU4F z7~vgCsqLE&)>_8V!I-5uPlJPAO@y9GMJS0+CcV>hq+Oagqfha;s>3pV^^; z#09E-1~A{cA}1V7Aodu*lemz2z$rj?$O$>>Fb3OV8H;5smRVygV{w5wE+~)VTURu= zrto05;;dCxzeNINIe?(4R6&F=@>~q_{#5DBh~DmhbmP}Z_*t=UBh&G;e?#=e1YAUH zCh+2R2D!u-et;bW*o=mr3&u!cjtLC_ydn{t;1tZ@4FWSfodFMDBM;9gbpf3KOdKzi zF}|39e-RayBOd+>AfGz3hDSB)phvjcb-6R_z)UO2#kOv~(z%b3=XSSMXzgKZ4_kY9o$cYgSTtOtpXC+6(E?)AKSC_?itefZ zy)OAz^uMN=Dx;ianMCK>Nc@oN;gN>i9k$7x_e%-rNOi5QMS@i?d9ud4>i}GTZmmkNDq&Mq!cIkAjL(>$;4natBb9T%u~Ntps0?Y7Z!gi@_aH|}q?&yE znN4d2f3A&AqSQ(lUwKN^>>!xNst88Y+wx~H5Ua7Xx!zS+M89{5ooggz)Su@c&H_p& zWt;uK`n_Xcz5LnxhRGofi3%ovSWxQ#L5C8#6|8!HPDA3V0EHuUKX0+xkA6=FNa*3z z(GvU5A{3(EyTDTd)s+3&yOc7mZn!#+#89`C@5}4N#SEDv#^KyoWBCmeg30uZUU2>4 zzyIu|e!cDYZ*1kDMP?uWu^3AXI<|m&bKCHHG=h3F{`QfCK&h=g07mQ1vG4qIXxuv zhM%>Ep2vg-xEc2RhRHI2=%#zLACvrs@N~vCH2tK1Xqcu-TyV(IxxVDO6H7xA)>`=- zISBhogmgnb4HvqhcyN00emV`%R2XcA2s#IHyEMwVpG&?Sk<6n1AxG7FgcdqgX#8dH4)wOQZa6Y1A~WB_v$cm1(SLCQXL z>ny$SpTh7LG~`pV6mwG31X@K(&!lWx7&TkXOTp_{5@T-Lipo*Ya&Za z&)=q&Mt1f$wo{7psTPPn^7qlV%Azp05n6S8FAF6Y9!janZPNj(`;&O z8kXLz$Tt3e*{9SyfZUm#g(WvKFGSLr>Qy-U`wzYQbb+S?x!PQN30{2vVG@3vX`?3m zIHuMt06E`4IY)DS^=(IBxqKi^L7a`iddLW@%neR9 za>ho^*vOe?kuxdH+u=3Tv63het_vghyElq|lwS0Iwm~NZ3eo&6zva3DtG$Xm?OCi) zl}WA{zS2|{!mPUdwGwrep$KybrYqDUu~NX-9+o9NUyxX!l+hee3&}%5wT2+=86dOP z(8z)u3vwzl2Da5IHplG~%W+$d=_<@(Ydu@**(w&RSgiHDK^E7$iu*#c*#8g0gOKqy znH9@6={$sUJ8o>nUhZ_KOx@iHZ>D~4m4G9R>oFPz4(jmkDyz_~LbnRtDs-#RtvlSh z!`A_v?GBU4INk#ooZ7RiIei0vYiz>p4eGM7b&!b7C|h6HTeJm zjd9-$yxy9rD5Mbr4>Jzvq~vrJ4FD#N7m9@dFp*);G7@_1QRmvmJgzu@=CRhFrzfY; zU~Lb#Ms4GrZQ$jz0LM1)(&A)`lWpK-2_hTT3ec!{%ZfJTy)?_>0o`SWfU?1retj#BII@}vo z&AD|mdL+0HBAzdg#E_m;{(vAs|*sl`~IJ`zm z)=#MC(OY3aD-pd9uEN1!gy-isDqfmkH#)5Y=kXjk z&2LJ0$_W2WRmL!Xg)I*uaZu6bF$DOk_KNZS5?EgG*CmvXdt8R(Yf-%B#gYG62Mn(` zX#?RcNVg!}g7g)FbPIbe?6t7h!d?q|+rr-6s$7x^jGZZr(-!yY>dOM(;>;{v2MhPhLTM5RDf0;1|LMRS`lnrAEi3TEfoRAWTqkyU8gUS(jMN~`B+X9!V zn`!7oGX~|xIT#~Vi&KCI3j+l1X{b^e>JD5HbO#-O?%m7Q((H(me1^%j{0jzXt6Rib z*ewSp@vZ@Ku#Z#czO%38Rh^={vL}<+RT=p(8%F2qVdWG!(DNcMY`zOQ{^ekZI`XKk zi|VUcByExOioBrf%x!TGKdo%cSRFhE4rEWp7K4nF|FsutTR~EPuqp|=0MG$~yj?W6s#;~z#HPm(eE(5;o^On|4rdUPW1l)R zbDJhzsFgV*+3wDciAJG$wmQv;BmWcMKp-rRTj+U+8`>%HVY}q~oiZG9)`kjnktYlF ztqHjTA@Qhl4csu0SvDicuU=w;Iffn>Lr>TrMmaN7{|bi66f)p{2iWP_sCWu+r)XRh zR)<+i^%zx}=lU)PwYI5^YpssVvR>K8*dA;TwpWt;!Wtso8zO5nrWWQ~m~Uaeh54HZ z^G8*g{TZHqMEv~?#2y@b=s+R3R+ztpPLn+ip1m9BC3umA{PoDar16^Dm@;-kQ&eBx z&jt4}Rj?S{%_QA_>NJoW1$2^v`~P4Oss?-pc@(^Vi}}nA;4J|(0L({(KU4QRw>L@| zgP9!CT2mOdt|D}&Cd2%ef$lm2m#Izk~XxZr_i*9;W zwZ9lHq1M^GI?D1~Y^^jgf}VaQYXq9f$n zb?kGt*XFSkXS80Zy_ftPJxOgPAR+-9Svc&fGo$ENjuBMTZt0 zT6DOH=x|h#Zu|@4r+N97*S1!SYFTo2jo^{YIO`#mOsUd8D+;U8n!?Xrqrc5j7 zu)N2J)qh*p3AR&_=<*BV(L!x8y>!*`$)%*ug6X9xluxd!-c_&R+)6lF$;{G{G(S}F zV*`k!$^v=pvGwtyb)9B!Dv|-Jc>{UKnoqO1YL#uPL;90~wR0{mRg<(KDby%uLxxqs zTKOEjoS^{8OnZcKaE~~EVGKfR!5fIC97vmL_BPNgP8tf!g@yT)lEiX3hl#@(&RZg&Rno!NWOqk`j8NSgaV z3lt2!pfACTXw$!1VHAj$>y1GZMN!6ZwZ7O?*It>fi1&S;%69OYF1Edj3|wmFMd{W* zgv4!*$VzCKFSu8SGe`*Xvh^1)z)bN@_J0t{yJ451^sAPBrJ{4Ss+b9s({+3MJ)PNd z?(=)Kol)Xh&H7yrDVgA4j@q2Q*hRK#%M%{Peo1tJ_v);h}V z)%(v7g=seaq@goI!8t-MLaA;vhlxb<*~~eY9lxfv+qrG?-=k^$^apNRH}lzB5`W3h zkVyAPxkorSamC9CPNTfU1Dl!&P1|qfye*q(%O_rb%Bt~gMKZDyeQ}#Da#L06)7rGQ0KftO3jiztcrF0oT}A#PsmTth=ZP-1()hZv zxi#!yck2+l3-z}qT(f1NDK*-!$ba!{O<%#c9>@ao$@2w1s8TVIrFDp15D0FV-0^{c zA#d_pl^J6)RkJ6_n2KD0V`^LAgaa)1iRLQ%5d?bMvkxFRq%Ly6i`yA?Wdk_uqrrB?VQDEHKcbe<^dmBbrRHh! zBf?*O&YG&2kEjC8w$U)Eb7n_C;?~>gm@5KmbxfcwT&Y1qhPJ?oJmjGwe#k#KKt$>r zLdol-a7bKsMF0RWvQYc#VP1J@Z3Ri9u=I)Ott$dvgKslL0QEWB`hPl^$S@Lt73CUG zQAIK>zP`67Wp zsOLZ|fB7CbPz=Br0Ure#zTRR!qal}CS0G;)AMl1m&7o)nWRq$FAa@IV5lc|s%!Y0d z0k@*xvV&Bv3(@QNBY&m4u5XGSdsJfJ@qK*eJzZQN?-LXlaPCI!DmGZw-fH3RSo$ za;bqA1vIo6+{Dyte0F(%U>n?%?#0R-c-9B@h(53~fm&3)>j$o!*Hql>RI`*zp96oV zE~8$QCM6ut@p3pvkyu$Io#}zp3^%JdmzwXc4WhHVop!g=!W#>3EWCLV@WuwwtuBbp zW@)fl8jOMYn~L1C=WxPL5p+ww{USh~R4vaw>mw9wogCGn=!8TKde(Frq2~;5E6Fvh zxhjlW^4vf^Y!8n{zf=0{n)$U%|kC1&p=unPB^QxzKjtxQVN65|sG{<2JCe2NXMqv3&&$)lL zn6=G~vd{|`f7oI*g)Z76H>Oc_1K1SbAOcQ~ z;^z|@0EQf2+6!Zk0jNl_XL^ZNZl-^j?gMv{YdKG5?2p)t2V`e-y*C|&BtY)pdy_k| zGyUt$XylIQ&WQh;4E-VY@9t*7jWfGJJ-N^NFgxt_&XbNL=G%(wfO?H{8XQs=9iALD zPZC%pQ7Jdam>_;jgX=Ag5MF{8bLf9pTKI>-eowKn8ev%^-9}z!J60X}Qo?^)T4Krv zbONB~$=~A;dmIx0MGYk-6Y;5s3EZe*>P}J?zQD?YnYZ6|8O&V#lm&)Lix`+zqCI0k z_Ea2k&p4s-_PdJ2h{*!|3<;hf#t%yzN9N)#MWvC%Yb54UjdZ-TUDXj2376(7C*&d= zn3HdFUBe1GyPIHl6S|Rf!$E&V0xh*rJ?}FnDEI(FkA0m}cV^MHMPpTLR&3k0ZM$L{ zUu@g{V%xS|vCRrAs^sRJ`*t7h+g?9lw>H=8WAxP)>V|{Mu3|5{L+x{=YN=t22>7~_ zQPHM*X0clh=a^!lFEQxVr3iCOtC6}8_Uhp9ioNk=4iE6BXRIoXLxZ|swUG;uJb%LG z`3({&JefI#{|mg&e2cgOy0t$Q@2Abx~c#lJI3K7&=MBIS{zNM}QZwO(upvlkiE@Cc2tO zQDiBFw?5d^2PoPAg=0nXm9K#SBydpIjPhnk2FtT3F>z+_5NG)j$dvArWk5}8FvBni z#pER%B(_iN1cq{R8;>f^`mLQe1lPvtI!@(3pqP94b%|yb4nd*(cg$tuM z&h0=2$P}3p>jpe+^dq{3{=R$X{{abr|DPl{l>oPwo3pdFL-w@gnwNVhsYle%-PY47 zf^Jx|;SRf+Xc+~YDu|xpkIJqtJ4gj*?+8x9m&JSj3HNz0tk`pd6MpA6A{jqwcX@k- zLz-Mj>Q~uqdzb|i4^U!iWQ9A zF2yrAJqph)kddJr%T5-Sc`x9VNBA6t1f7_Jq`s^y(FvwEveNVC!c#_gQ|j~ILx@(z zSMLBLBkEX!@3bQst?6lvk?hH`|NYFLwAwHKVtOK+^?C0Kej)TKA;ISb%s(7F*+84* zhvfa0g;_BTT#iPM9|WPn$s}DMgQ6@oF8aq#Di|Hr!+>G}q z{FKv@vjpwbYCAZZy*EwJg4lsdn&8ijYiojh3mc@9>?YRwAVOYaq~cEj1B^ zo>PaFtkU=1X)i)B=5rQmo*FBWtZ|JX-+qBEf!eQzVl zP#`>3uICvdAf6urpC|tZC@HwfQiDpS5FN4KWT-X`3>*{;1Tm-*a>2eUh0Vt+&KBHx zDX@@m9`A|-Yuap-2Isqd83yxT%$xt}x`*kr^NHbwpg`@~^n`)rCj?F`am-5zZ-$>v z+Dr2-WC7z#4C1IHmlAJIhGDYvx+tjC`_Xv191qwn6&b080jV4KAwtf+E<6o#IIekT zYsyv#3dZTOqRD;F6DKEGQ1}b$8dwB$Uuo`u7Xjc3VMQtkIoE|LkHd35hU_STM=f6g z1Lq0J9{Ge}0~#cAZJ>suBx{wFq&?JC!xM9FAk^}~Q1mg-F*QGlmXTd8D$Pndl2D7L zeE=26OT^Au)eJMfM=*P*qZszad)85)DuOr1-4R;zisVfzJrN4^VoSnt2`~4Q$+kn8 zjI2XTIH(xJ)T=jBNFIy=!N1ap$S9;vXdBM5FDg(Fgjz>Dxf(-PWTMs+qi~(jLBhDu zWU2C~m<5L+5y^~V(4+RynfS1NkzsUaECU81zPo_Jjj|o0{I*rzX0;Kvb+!S^KeFm@ zYGj#Bo4{SgMFtz*^qe$D;IML)swZKl%#4aK$e<17f_}Z!N-geb#X5~E5dkOCmz~iI z;9TH)u4Ft)U;?boTmw$cg7AMPcae}29<~e`nJ4CdCDDD#`Z5wjLlSz+0rh_L(*wwI z&g;lZLz9z4k}CXJDC9bNMx~MtAEW5-9o8S_FyzSjGs0tnak>}olb}GIxrhcQO{^8< ziMvQx_5uPGz_s!}GQ;_}n8Zith$5<=*1@~ZEjj=3%)aQSlP_(wB8a#~ODHg_v^B>> zy0lGsF8C{s6|4&x;lbE~2j<&c8xjj0^Fu+u$fTVXd_7RET<)+7iw&rI?B zY>VUV9vj@ms%uCGB?twj9-YXM*PG9Bx1+wBC|$Xd2}7$mw~cIBW)fkh-EMKET7TlU zevnyG=bq{A4sVh|^dysd{nd41-D1-m7&l&mVTlKAxV*6O-qCZewRR5djE$|Q$J!s|gQM^)@Lg%y>XpQASIpU7R zL23>MLKuyTkfqay|K_PyAcE@uvrE&qjsT~I4tmuH##Dy{*b8F=&8_Dav@x?lrY z_1SLwSU^&W2;myfy5bTQPJTw~_~H$9_CYfZ%Z&ij+YF50@gY4hN>=NFA%OSy0@SE= z7~wc~);mq>d@5t3^0bWb;{bLeStpAS;&X#o7K<52=MO0wPVNYuR*&-Fyc{RIxzd&M zNsP?qOLwgLmFyFMH!FDt++l{FrKg7s_hu9@Rz>di;zlVc?gEIeniV7s6;UMe7OmXq zhUoA#S|Hb1r?w0RnPT6`vEN&;x)n9~G(B%U$&|V(5`o^5aMr0IzOVq@5=g{f#SuCr z!DYjtUU;%vlWCF4DiF}Npq#j~(H=9!NIjonOi(cFeUT1WD7e|FjE_h^?Ppq~SH3>B zXY*Sj>r+}b^MI1CM1z_LK6qY2Y?VU4VDK>9GOR$WmqN$dadwb z%$$%HSe?)`Nn50KaTv*CY`AYfnTZJa{B$e8te|hvkt>R{PTnK|&ALd%UE*@8VqsBR zVNwZpI=2V78FyZWaj2(dH(P{E9DeitXTfDRP z$~ptJPj>Rygn)3AZ+Fi1fYJP|c=qVRE$O(iN0z?*(v1U>#E}0jDx^!tU$VKj%iTW= zpMJilhiAWHdy#4r!{Xn}QQ>i)8m(Nd2Md*bo%jH)6u=cN9D%o8#u%; zH;)bT$7N{T9O45L7JiZXV|5R9h)XcNgYjh*mv%g*gkuYFF z^T;oiwZ83;vu<_^%6uIp3!CWVxg6#qq6hAH<&9LBF4A`NL!6o@`6d{x>T4Rtx}pEH z;CujT>0pAzv^w?y7FKkpm3g9HJ}ni`#dtG4RCfM9pt2llF(qm$EG)gu^HeYBidP7z zvGS^(9NZk6@NeifgshVOy1T-IYjsMe*kf2&!nvr5>Pqsuajy!J_y-h-PB8BaPeEL2 z<62}!CdY28siTQ!(Ck#KWL*yg@m+8WELH++>GHwJ48^2%Q!%4^^JTm{AQdQhpiAj^ zgC}3QCGlfWNd7B~8owUH;dC=l&Xnbt;GwB9Ok{RG!)FF@AbQ?g6P=@(FrNvt+Wugm zH%YsYrwCcYk#KIore1tRRHe_`G-oX25gc)8LUO-EtpSLA%m;h!=u}T^T>pJB1Gp_+ z^J}k(flUVGPWF~(pS*iTg*R`x93@xk^F6KF@0p*3Zg*{Jv6k4{G2Vkogvu=|?i{DP z!3gAmD}D6tG40(Y{~!}hdfu(crL8Xn7QNrGRcB47d-|6f)iE&3m-KG%!mB^k`i1Jy zerQ2qvbi9xHm^;RW5-8law@s#0Zw3Cm#f%vA`}V*HDQcbZdnZavnuTO-mB_*jDHGN zVdW>f{IS!YO^=TND7RhExePNY0>vEQY`9cM#rDlPW6xJa#8+qS_43?KJr<5UsroC63x!E zk)!^|92+NFA1-dgtGHQFK_#a4(hvo(suK1#Rduce3nRKhc;)IIV6Vj7g_)%`Jy%EJ zwqyeo?wQ87QDf}Wz*U=-9fMMLNval}$(grPY9dm`U7mpprNCefY7idDX}42pl0#uD z&tH*8ps_GBO7^C%*eKD_DdQ|pU#*j`1iGmwdt1q`Fig2a>7;H|D@Vq}R9CR{r*^&# zeY@8Vc)2*Z1E0~C9WT`CuygUUIS(thwWZyhm|qwkm>7`>N?y=v|(k!Pz^M#%(C{$sqTtAN~R*< z$ipq2E({ugfmFNqniGhA)rimf%ps1|)a+Ecwv=H5+2&EL5t3MR3#VzU4RkWS%& z9)E`ld`Ze(tmjYz3Nf zc@l4(Yv5dhtgU{8U9xAF*IIK=AF_&q zQ}Ik?oc0l4D58w$z(F&bd3J=yT${uIi=4M!IT65sDs-sD;`tWA>Z~v8P7P{g91$OJI1$3^Jes!FqXhsm90SkODp84d+CMHUZ7t z)t~@lgos!UBKM2M^Bfg#f;YQc>o{vh54zF@&&8Tm?%i}udFeTL#MWVa$Ovfc?K4_b z#kd3T2G^v)x3@z6Ws~D062)6E>JEQHfBDe8?9LD>>({&`r*Y2}Db9p&9FcfpTvqsM z1DTU|8#<;Y-%{gT!Z`k`02^0B24U4CHxU515S14KL3kMTLs%fzB9F1>hGs?r=x}bj z#)VFW4e(}2YP+XXjy~VmG1k+yL4wvRo46sTWF|p}%90gmLuOm5=kl6$n;&R4<6P>y zTF5AV%IpH>P3y-}rp9CQC@*&WhpjP{@iBETsu3e!!EAS+yrSq%VvW@G-@Ui+%c(vG{$zcu|WN>Q>P)N+whwXRNSdI#UhJ}-hu??)u^3! zgCO#>h&Dx7@iR6t_*)OzDGNeQT?%Lt`WFetH!z+$ec=>&uR`WCD*ZF^Xq_6LRPjlM z!dU4&*y+vlz=H5BlMZP#w@|1rB}uTzUy2{e868I9=*NiE&0Sruj*5wr+GteL$v27t zywtw5a&z#FTdYeiAeZA4y$2iib;{l)erDCM1haLg)-oB%QRlt*?AW`C4wIuyW%$2Y-TtVjFndPv2)RX`Y3bc~ ziAIg|>sFEh4e#_QSf7X6t4RtRZ!qW>;xn<8&(9L6G7NZI)6p_K_Mzb1jHixXT+ku- zDywj-9=p0fMfqy2^-cuFrhuM(J=J<**J`%1t|8WVGi!%Rcz@P%-j>?ZV1udax?0)< zD}b@SsVU!zwTD&DcboD`MBYWsF4FSW8w<0eM`V^Jz{0E8CI@ncA7YjM&x?Jag@KjL zo9@zX)~Dje<1TVShkp8}FqC1R2UoA~1$Ybl;}6%g&GxTvR2g%#4tV=o?|MFIwKM-x zXL_TwlYG9TjXV50kVM_xu(#%&=qQ_=4wRA_#DFY^u+qMM?AjfOhR6q_qG_Oa=Ru2x z!2E%%MTgndm%8jvN&<5n1b^D zu|B4r;zEujPlMd1FX2vG>7}U_Ds;%&v_2Vu96$*hCFjoK3(Y{(@()pT`gL zzvKw5Xt27wxpIk;E`x%8UDZ)H2xK!a@gvWMpdvqE>Gy0;t~{;FWp8n^1ar4QbbZJ6p$ zo1)`m-j{L39N^+ax4HPF%e^-O%k1*Fg z=&H4C*EnPD&YQ~9>H#i|j@DF^R?OLK77=D%`Po*TXkns_{wa~cOmSb#vUQM}0QW%g z4^-`_dA)ab4bWsyRbHWnw$*#~xnC4vQDFx~QHY=^&VUDuB?Hh!jy+*8D5-$e7vdZ= zA<=$|2v>#A++X?>Ix~@m%n1{+(GI;$%7MytNEbpP!;1o<^GHlqaF?mThRRTNv_`ai z>86%dHT}xMWwv(T>ky}`p87TV^yBLFX8K5&f$k5~748Th3ev489&5Fs5I3m9!0&~p_3sQa> z)1ZU1m&t)@jH}Mwx;)BLF9#e4vF)zC)O>PKYJbhwvE`WM>lJ(55gYarBkWi$=U*)+ z9xIL|#3-%WJfMl}hwk#;T;Jqgf61KxMgs7EK3xJn|AP8`c(A=YzQl#*f1Q5Y=3efO z0ROIcB;6GRxA?;}(~+bpONBOFpRJx>&p0R8Y?nFtzCZh;~W}FmLW($AT)#@3sD}L^7V=qI=a5|m!hbB zg68Ag&+I~SLf0OW9+wI`Cd8qv0{QL6_2hr$m#M ze8B51-DRcdI~2)wUZH{?dOp-bO{Yp9qSfNEt8$OgC1amz6zv!6uL8R%!#dXBi&T$H z7cN05nDlbc;_oAA$f!iap`j`s-}n_b6KHB}X)=$mIIG1JwVmfDfhPw_s=d{dfGsE) zOl|Fk4<3(eC;QjU=~A_TYJm#*NSh`1Tq5`Cd>Q|$C|CtkO2KBs{G=28;I^JxdLyjvd{Zi^PWM9_6V{uenHb9455Tfb_IQ z4qpz@ygzX=wZgy#OHm}QRMuG)fco6~VOslT>s7&&^iIF8l-7Vfg>b1nBxxu&wg)~qF5u1Ob*Gkhlc4315DCTyK@9`Yo++-Il}!J_yMo)=L`^K zs50N2RQGrZ!!#?wn9Y%QF5AzwCL0gl5+qOkg#qV&mXNGVm+)q}s3KBcEabJiUismT z7An6agpSi9QK@P>0&N=!uvsNPA-W2gC8+$9VEfvl&836nL5*?jiWjdbQhER7b_XFR zpN^!&KU%hN*A#p2*WK(_-(!VT6z)KQa8G=KzHt)lf*XsT*+u#`oEh(tP)C3LgFrG) z$OTXTzZxA>nW;I1me(K1S2v=(GfE>9nskY7gdXxD;j zWn2M#QU$wli5VVD4Bm*vI8Gpzln0+;t{3h%*Mb!837r%`UBSf{b^>f&2G;M~MDy-G zX>kI?JDCp6a{NcZayiQf7fpZ!R!z6b@rxG5jPH+Z+{}R%K&=uBvU|Ug3Dg>TD(f(f z|8kDC2162t;YLqwp2#Zu57yOQ3wH^J9EX$rPn9EjKeuMoJz<%naEPJO89;cznw+5> zJ6`b6abSb7bM|k@F?U>9Ed2Mwk+T66bcWE(b+8!YxTI*IQ1EU$9bcN59dH@?#i5ix zDh&F^meyplfM`Fr28+{#XvwGFnTXU)L~_RMu?C zRKSws@K%d4OaET~d0jJedJYdv%!p&buC)Y%T zz=xohEmvW7FYyY*7Ee#gWgHnA1rC81F1byEx|$oDNel#yG2-8h`b$3Us(abC$9Z7q zqmaHgpn!ot;ol$k{~j6HST5xW9*@|gPS|qv9z0@Q-GYT8D?eFZCemrbmF+9y>{4o! z8=^zD)i3G(vTrm`sEn2m5|&?zl1z>FRm8VbS^PL4CKOwi=44osh}x$2tzRU;%xcPz zyGEIy_E% zPWb!lm1Y6o0y9bnAL)XCO|bwauf@vp3X%IcJSVC{g)d1nO?U2i^+x${v!;wXe&=d= zKXZ%dY)b7YR!mvNPh9iVgGSt|**94s%XY4B{VMd^W<4p4$tgc3D!P-YDOb9(sRlSy zqx?bOo3M0l$aZhOv%Y0~7UHx><|N~{TtqGM$LXVu)wcd*;>opg-GlFunu8WMdH2K| z`n`9(27DAb{8L;tbM8{7GFN2JXKhztL;&j%>nPBh(*#sY%6msC+r)s`p8QaJv+yMx zX!V6+>KO6{!h)&Dj01`v$Za;E9|Gv!{0Xs~jowgE(%Ipscr!7AEcApYHy?CKdT_ES z>2J6dEV|x0wy9JT6^)D=NE{o9LK8h80`qZ+mt@QcG zgboG?HA0jg77_y`p+i)MlYE5fq0%ZZ{ft3D1EG|VoF~0MfO&OZ!`i!exXyJ|PDYn` z8H6toG{ycinsoKcw>HNF@D9lH9a+#ah%qjuLioitd)E)07UmfO3y&IB>Np?>8$=v% zl~=#^fNVO%1%nA&JR$UVz&EC+p?tUx8|DuLD2y*I5?J$yMZ}AVeJ^dk_xy{>LWbt> z5HVZ_n?MiOVZJ};8M1ExJYPSNgxqwPPZFl7rx=lDz?%`WWRx5-2reL2nW_&h%B=NZ z9Pi--V8VvT|Hw$#0E1?%dA*A!5*hy12zCjM?zJiC5#G*D%h0lsm-J^!(H!{hk%no= zqNhd__5v3gP-xUnJ_Y|$@&_FOi0o3Bt+WY+B|?T^#U(C)O$P!InF|h9tKhju*@4_V z%24W#FSd5*&}K1zxCoGI8-%{JBu|2L{KRg&bAO&+n>}@~hM`rbM&MRkrfy=anRgGN zvQbRzHX&7z%RdRto*`gYHRwhi>enGZ2>*6c`HICaO5 zLO$DatF(OC^-K!|$|(RW$u6uF$<`pQpV{jy*e68H z7t^aE`uAAuk@VFr*B%S4w<5jjz==FYh8P5BSK>eQc1k?ZuD-Q*A=5*aH%Wgt9FdZ~ zNjfldHyXqj+-zpnhI1a5eYux#=Qm9|CfRh>K&dfzH1kpfZvkN9Ly0orX>NuZh-d_M zS;w+Z4<>7eaa`Yp-fj?*|I`=@mlY3DeWRq8w|y%ckstaGNw;WXNaZ;PqmvtLj2d0N zGBajv)&9+xeYJL@%C|tUMd!L+v(vFIM(a4stX|~P?lUb#KHQR5Sl8Sb)*Fq?s&)aT zo@#C1WFoKc2gps*$R+I!R{FGOY0b|o&YGxvbUkg4!h^k^_8P4bZjM}2p=%vdsx)*1(Ff^ zJ3i_Tztk>trs|o$M~?^aVy05d{6WUbnxyxWL!Y!(gg1C%4$IguMZS5$+Mjt+@0sr9 zqHkwFLIC>9w!x;~Ae%*^SH2Q{(&Qz?!li)HKuVF}SE#Vi>Bh+4zKYmfP0T@aJoH<_ zqbrn?SNuR95-C-pVNDOkg>6;Wzv$ci;&`AY>-4^UH-5Zbyj}Ern)n|?FQNC{aNhA$ z(p5&?jh&}f?<_*s9g3IFq8$DdF}xoI6d}KCE&;{#ci#p^wFYwe01QD2C+ev=f!GIlNnFPcf7of{?Pls|aI034 z?9)Y&I{M=GAAIMmr4V*ui7Gq5uAD)4lvDcQOIvH5QN-*^Nr%$ixy&w;4lK8(iy)4y z4S>TDqT*7*qYE}vv_)1>rFE!SHSRXoStcj6TSC`8n!k`TwN&tsM2S?jDV8-HU$Sxa zH9ggJ-O^`q2lJr=D!?R=y@{@4fumj7O&T8pBzbv6%T6ZqOUvCCyA?4S|U zeU9vqM|%*VrUZ0617gXEPWt`0?0|7 z6!hpmN=X9xl-gT8Tq%dUdHy|KkIuf8peS_PEKM5SidDlA(A_O?4&G~(Hs@lU(U`!K z?ONfNhS%gmzWEta$pqk=UaJc^r;&cAM=Rb+wh^F2BMYzn~oyIf72`KZwjYHb#_9?gWtoLGU|o z$0QMaMmBn>g8*lw_EcmOYnG72{OR=i^TA@eAu-QjUF_U+Kacb9-dI)Hmq*^%g)P)v zq=YhFivs3Nc14bleeyeO!NoMFM49O#LIg|$!r^n;#s z#@v!ZQl&~NB{5DbTErM@U^B`mchBl{!w|as6hn%lfvpT+P(l%Af&)V0?!#n*st`=4 zrZD`&scKX$O7U;>CPMCTv49>C)eH*qpC2Qr9B@-U_`WC$4Aubu_+VPO>3m8jsiMbI z@+XQDo8tY)eFPIKUm?p3gaf6+GOn9@tEE~N!8!Hdx6X8g%F2Bkr6w+Ggov}cj`egr zNw69; zrXj#mp77IZa=SRUGXzD4WUBzhLb<)YP)&XsL(CyALliEuo3AycsRQcLS;|cJmt%YR z)nQ|>IAmSvi~83210bXp%r#dNJ|qS1&z8dJ7m7AHT=tCWZcJXe+(wNoZegk4S`a4o zr_w)0z2p-tj``O?h0V+69!feLUb{MiiB8S*^nKc4Wm9Z&^$wY|(g0~6qERv)zF$bZ z((K!LMDp(k0of%TzoN35YgCBJBk~3M6XlNkh2%)^&5|hlnE=B`5je&9*2q3c$y2!0x{LpwvIkqI2=lXds^B_-LNGI zMwP>zmW}cM`YR49!Q$7p7XPjipc*!6T(5oO^#$@-tkw>Ar7z)E8v%%`&hI@cEe4l(B&+E)u!se^nA7Z&>jtL{<3quf=Bk;sARI;r^2dQ~1Xy>TAXTH}uq=vt5` z$=fBXYAeGdcBm8)5A1_^nM}8qy2&BgSaxN?0p#6e^3vuwf^w6X^#{EF8@X5C)gNNG z7MCu7S-l!Po0-pvdN)@1q9eV-`ASVFwiYoth;BWM{PvM>1+dDyowd%EP9F>s_D<*i zuO_a7lBW{|>60Q68bz4uRn=C+zn#d0xVQAyx~o5jJn)kD?e?0V9H^^l+c}|<-7ujJ zAG5PJX)j;)mZw@DU-<^#@x%w8v_82QE^T^1Zrv`U=B-5&$OHLt3~vHXnZ+yWlM&AW z)dZi3-m-`Qg+R=_Mo3xtG~M#@hI)ijbOHNE;)g~neyPi_9rmKvx5oqPX#+_wMORef$ZRTUt6Y|KefZSf166 zq^FPGM|Q**<{3F})nV-J+=G6Uf_UXbl1)F;Qk1b#u*^LtO;W;mr{pA44Mzd-Xjmxj z^-tj?>YI1k1RRdgdScP91wU_a`r_UI{CB@6NJM}W5!``_2@Z=j7s*LxQ1;Aig%hYI zhV~DLl4u%5ditXE&*QX%^eTKE-F}?7p}&UJQx5xlJVa_&{agje%Ob=bc~oU!^Do;x z&2<0qBX~K1fjfB>B1a%cs)?xO;(d@ASphb)3EIZ9|~CiWciC^SFWRK1;5S~E8~QUA(RwiP#J{`lgC2N;LD8u4rk;<4o2 zjLu}tNy}#!3k5GhyY#(j;6}5Wh-(~iRv9!dbTS(j!LSj}qyOYm_UG`0mP*~aZ6lk) z%q(1Aqsywk-;~R-gwZ0R!i94K*lf@G$1N_uXalW^%WPCHMJ*e8w*$Y+;1cvO*eC*QVgkmrQI~0Pa zLP*$7J+eW3}qk%_MZ^wL!qubl=BUMT1i z+$hOLAG(SA27NArTJMGZ(rDe;p_!YaXi<-!;+{>j)2mcA{2(=sTY<-7hLX2@Y}!rW zxY6>|+CO3}n|LM7_e4mKthTL#q#*CN<{}laqv1hj-xTLJnHVu zsI4cSnv~tDNoBHku1$XY?VTsvS#JwUV<2)w3|b2%T%>shm_lHT@Vgsb>r$WZE1wP+ z2bLvtZ5ZTl@BA*j|Ky^6XeDVDWyq7A&YHwFXxWl`9OJYM9E@CvNCq2$0u#T}rIdld z0<}mSC$Y*3o|ozJSchPAt@wj8DWkRZLDux4Ysf48&-fVgmz<|*U8;cOoEHNA)s@=I z$9SE8>d;JA*A_6IS_0o=+WX6W5M#8?g@To(h>>AD21-+M~>ZYtD1j|YpRz){Kg6e!@ zSYxrd4WxH;_L^e9a(!#@eXkTK+2$DHyyoD??(C@tkaO2-?yHiYzS%i5&MV=UKx{N( zm!WSq;97F&wLZs=0*lor$je>~3r4DvQkpY5ZzklgW)pn9>YEJr4NEK#ekPV)LdQqQ zYJ>~+B4DEI>H+QsN9c+++rBqQjn}DIb_)g7T6K!sM$OZIA~JqNd4vRJNNZ)9EQY0b z7FeSIe2)LNm^M1n*t>u;OxGRY^p%ACV+Ke^JR~F7`4C$V2-k$8f0f|k7I)~WqU#N3 zH{w-fowwjnhWkFPDJ)tgytzXfY*6ZUl)a8e3nC!w!uGRF8S}i`ibdVur8!-DEQdII z5-wJ}zGtB#O#~T2P{j??ynw8e=b1!q{sCMJkWCd`!J7aQO2zGb^FkF`eKsqQwM3y5s{6rJR|u=B6~ZnIed zY`I&KIjvmGU^$0m?*<%i-2$zX$wS8ClPN~a&dro4gK;N`SR2=K-W4@g0EI?x(7bgv z`c-a3^VYp9+%)RpAg^9odYDJJT9+fj4Xjh}kzO~h*cKNI;7>h)V!zbptp)DO8U5;s zGm44UR2pI`(Q0zxdU=<9ERPKjqXen}PtaHus@pEc*{R!hDI_)~0}^J}>lE2`D;@Ob zk(sm&?kKW9Nw_9F6aRv;p*2OeTl0u77F77!%Jdv2$w+ShHNb4Y7j{=4cX*-YATs2oI}H~RX|Fs!rdj=Apzcf2DzrHY3E(~``vTOQNr u9O-Ks6cdfRC#<2pPG2D#rYguEkLdID@o=60g#-ff^+klg8B#O}1@b>8JuPFPMvkORcHR2bH?`7GL zxG3=MF_{7^=J6a6E*Ig}(hKfO=y`=ts2?WlCz{dM8M(6 zQKJbMkGj8I7+^g#)iOMS3UWLN2PZBf98WL`3bYQf3j#6w7$Tej2pIAvuT`0`SVfMe z0bMshj3F1`nA#RNf8hW#AQrRgFa&=pIMN3Y98woK;Kl6>J2QZZi^U8VZOlWDV@JGw z?L+4pxp6CE^}Ga-xB!CBqSOqs*;cQgRZG8#af6fl;rMUpAUL{Z?risd1V_7kJYv^q z?*B#a{_ThNbngE(o=?#IWVAEEqwsz=4AIW;W~V1KTC`M^e|j`rtX49dZtv{u)JTTo zJF(c#A(^6Rb+wZbC4{P^g&145b&358#D7Qkec%sEo{iFU4=I`8=_2`3!b2yLro3;W zFM@Z$YmMwFV~PiOIz<7KG6%^5fKC8Z+VhGWzCVA>2=v*Ea^T_sIo!JkoB|iK>u4b} zJjWgk#N$*$fBh?h?i}RvK5&tbh%4j*C4kDW$@;R%n6?86z{K%FDGeQjea`wAsKC73OR$pvHR zTmw$8$P^L8u<8S!A%;@zh<=X|2!)8`6kvimh93SKfoOSL5uqYjGbB={2y!#r2-J5Z zKKpqxV}HbEJRm!x>%HkHBmr{&-kaQ!o#|h1Mk9AbcSii*WatmEe|I+vZk*W->izoh zqhDb?e`sOX&R9qWZD$~f&WI*nC$nyg!6ASxJCif z4^Grd`>bU|#H4fN^Pxc3u;cce|L6wYe3CM#H9h-4#`Bd7aBV+UMcY; zOMjC3XrZGlB3_P5h|re}!AXkU1y)epcH{wzom?sHoi~KKQ-IbIS~E+iIDHG_Tw26L zmwd(q1-<>=WUxIP?ezM+OYB@D+4`U7AI<_wC%ygNe-m%;KNklxhy2G3{pUabDJ1E! ze}^2=x-Rpx_YIRn8WP^yf7f4B`2azOl4HUHtQk3{A#r>AJHvkO2y$3j??+!Waz-z> zrv3eAFZJtfzbF4XxaWdsIe{}6h^g4+hgKxNAv~S&-hOY;>-RqCAKQcN!FE(4)@5R} zI)Of#uvWKeh1w1Iv>xw<;=$>~`{^`5e^bb%^1YOcr0%1ODLF@s!?~}fhn(aWcxqbx z0}VuR0zI(|B?&cb2aur;2+2>@5a;B((V(j0^k;95TrB?>V*-QwW8zR(GT0kKhIZv> zX(Xa0h!_g_paEuy_XrAW?q?5kG-nUVywU z3Z5o>Yc^_mNs>UGhg*_mi!7z*j7-@K6ly2VGXxelnTA)LbvyexHf=9^Z_mI0j^*D{ zhHym1z#z_)H#UZ&3f&vUDb@{*f8&^!$ViTT;c_F}1vu~TmKOBZ6}ci`C`bF?WFiU# z2*3a-q2qheUbv_Y0mnW=ybmz{2Lm3yM&7;hd^0*nDewC&_B=2~zzuy*iZNHnzJD+P zJw|~~8N*`_Nw0j7Jm3_};0?MWE}qDJPM-8-641Ho2Am_n5OGleAWt3t7K{Jmn*p;DE(6!3){8awptkJ_8=TMT`S3rQplBGY%yTyC@JJQE-m# zkQ0h&DM#?@}bbCttvOe{gYje0cKVyyH-YZu#t~^@wntDIdf0Mo)@KiIQsl}3-3oWYZIb{NL)03=eOVNBZX-6*rBkZl`c3am4 zZQc{TCL33a1VA^A9yQgUxs95Wxa}5QN=VzKYM1KrOEsef*WU^I{Jalu-`0B{j&Gy~ zu&vucRbT9H`2IufPs;Kp?gmA;=6p(qV)J7uY2Ft*95grSf9-gr9)-#vC+atN|M?OG zlybWvztM(dX7Uw=IRDlt67G18IY&Wne|s<(^n2-@@edxHvfln)zxO-3k0l|vkrKb( zlcS!sp-MKsWqg~)4Bs2c>XXXOT7{wP&uK&m2y z;{Rz8^ zF;vukfS@ZeLHs*^wkz4OIXpRvcR;R)Izo_~RkQ$WA!7knc6wLIvgEaiFnb1W>1JMB z>({YU(Y!cVU=~5c50?1gI%;yGVct%E!|1fuj9YuDr{yFv|9A4sb`$8 z>dj7FPM<xCs?~a>Z7iV!Q~fj5fia(v z4vbPk$)hE)LM+jQSETGLj7-oJ)6fTIJj^05j!-fTP=a1_`kE4?&WlK;I?t-(Nb5K< z6%?(2EOC8xc11FAh+TiHkvCW)moA$U{ajVfEPCb+b1|m9{XxHXE@x!9p8E*dA55_P zuHREpU0vp5SR%+K!%H)*lyu&3TSbk4N#STHmkW{ET!py%W|2bVvnA9ZpDmG^Q7Ohx z2)c(eNKB1DKC4%P3B8u8PxdKF$+$@A@mZ|ug#48@U4U*-z<+;(zVF=wv4-TSJq8Fu zuF4WPMO=mrToIwOl2ewDP(DLJAE@JuQh@Bs=C24)|8N@r3I6wr$lwD2`1|+b@&87T z`N4Zx`2E2Z0ss5@_3Kx!U;nSJsQ=5)&o$+5H1u5E4e+n;iv1V-;Qh-!keztJ-yfv@ ze*f~vzwG9SO=f?%euGw_;1iKhrq(lWjmGgZtw!Q7*FT}B?Y4y>Y3RJ7?P z{4-F0dkd2LRfHm%DnM1;d|SP7M5rp+>HbH|^J1G$x1J6O)w-%8%U|4Ao9y;6M4gSV zUAaJcyC7ML8r}C3jsiVG%gL4$r7AH4$5iM43q< zms59QF#C}gyN_avIiJW^JO)@;D{+z3ikI0SQy4&(v5?iu@y(Ls?-m?8Rik@w--!^9 z$UKGwkJ^7;f%r~!tBLH6Ia;;gP7{O#AQ*Vq%4#dCt*m}hvU+z=cZl;7WUX%_Q*{?_ z-;OEu7D`-2tX#~hv1}@6WA+wU>bhllc^(6J0$`GKAD}zTlC4vFLhadXY>G)+7+L*r zu^199rMQXiGkMyAWLS4N_7j3`OEH3=+ry|1uLVRB)n_ z820G*6PVqjx?^RZDF1laa(auZRZ3F6{OWVI=tezRu#-FVB7PQWMcJTB5d)NXm>}?C z4BaUTUV@K@(H*lh%2jmk{|jU?+T>zcJOTGKl$J)wFqua2Ngn3SFLJI^obd=6&il(* zfY^VGdTwujd$={~_s&p&sf(Rx#(t(ZGVY)` zPThf>vmhibkL$>)RjXRQG+EWMU?;0O;%C9CRt-*Q;2;JZI`^TxvO=t9hkCAB%o3|j zVK9bMBp!Rn;jChXUy*o;gB7jtcr;CKJd%H_@Z(`LS#};`Nlk0lf#EvXs|!gyN6>A(5Oigec>M7_UmS0!>D9&?3PQ~T4HJJ( z7c7s61(lQt`<^Q=oM&cPiS#AViN8l`#yB<~-U7jXhgTC@FVLEKfz$*o347Cz4Gt$4 zg4Emcx2^)|ZC#Mq1>)^JL%OnYfLOhD*3>#t&k1J>1W?qdgxr(R6A&747W;~nM|p;z zy9NGW`T&jt6YIA)WK!2749si)?zy6`N<^M5;4E;myReOvk zP((&gDOX#33{TLH?{I>^#goYu86$p+bV+_owFzL6$z~vv+Gqp&W!4NcYO#M)7~JH! zi5Kev|E+TaoMLj##GegaSGu0bF+kPWvr8qoH>e9^Q*i0q5)o`^3g)LA)RO}|Ju$dS zA>BlcDooRCt`BqlSO9r5EID-Uhhm-Is^1eD0woHJ)`*5&`wsM+(322A z$OH9I#jz%`L426b1jBk{l#9MqF^D7e#snaAnb#mf0NaD%PD7N@E~UY91stQQ5GuVo zh=aT%$l+xG37eE4bW_=pCsZXwT*x8UWwxTiCr8pI_Yn%V>r2@#rodvEaF@_AefD)iO-I+KmAJdgd zvo~#}nO&2o+k0=SLgVDb5})o2BL^MI57=fgrb#Rge<~0f`tamPAj8FWOqz6!+apD@ znb)I?|0Qi3fgmK@VEAtog@^l?7?+o616uQcWde`sCIT{&o zqoICKn(?)5+Pg+3VTM1WYj;xoHnSsBU4MSYHtOPD3;PzAaAlju9U{ziQ)$loX=JKy{!s_l}r5iPKb?`!cSGM z5`F6JIhsf>nP~SMO%@uCs#Z6)V$9!y_>^?RNd8AGW-;EWOBG~JXzD;uzEE+loC?8m z&p4WQ>x7TT?oqtlNAEu>vT~Ut4>_C$y?wP+fBxHW`?pV!&3;qAc82m-udjLjjDl+q zoduLmlEYyi0y;kxV|V!eyqMBZo4@;S8p;91X1g1 zGfpL3wb@2!Ezs(GnR+=J%YQyAe)kh5yV>Fdp{`kafKWD77&?2VXbBbat}1j{3eFFh zf4E{fwNxTeb(8SNSLwqQ{~4m-{_A9dg2j+JYNYm%MMAIztWI^qMBBs+#h{bPEfWU# z4014oHwZxBpnyY6q;BbFPE{nlGVp>D1bn^c^3nz~ZUh{!mAo#?FZrF5S!$YC4ju4M)l?e|eiP zK8vT{4yuk4Noe>Hkwe%vq)An-!qVDmlUO>6i(KH3Q3Sj3$HdH;AY|R}6cH3?&~W(v zTzO@R;nCu8cgXj-Shuwxb1ecvpPQ}ycDw4Vg!;Z;V8JKz+)f z*XgymIx&*8X`-7|%Y5V)Twa^K|FakU_5Ek>i|S&bcu|taFOTnhoWJ%m4q6FzbAGaiLQ>ReYY(X|Wvx62E@@`XS*if4#wO*4{gU z911PH|Fajx1ef2Lv;woa(+QB-4ju0Fd*|?0rVNTq>R;U(plN$OvL#d|ab=GulS7n< zw`g`oLp?n(CH0^FPZUUO7OmCj8y(IdAxQ6uoDj@0RNG4}P4jcad`i^ZXh}lwGWw-v zRD7l&HLc`(wNOJQFOfcgf2`ZDal%qVp$6=PT_Dvj_4`j6Ix|$_7OIpQU->Mu(Ay48 zGz3!UimA|*6k0bK(=>c5y9j>v6t+-@70_!go|c%uu-OYv?}Ayz_Wi?%`V zLl)w0#=I{=ZM!(ST^yN_T{y?;B=QpB)mi-9bQ0x^%BF2chEdaI&2_wS=H3dB-^BN6 zC@jkKaw<$JF$s*se^g?s)WmpgMm*@-VQo4F?LyNkXDJt>qEY2!3^C!mJ1@Zt^<9h| zjEZWxi}9*=)oblzjM+8xGHOQB`OHG5{fQ7b)a@=BRE^cj&Ij%cyF4HmZyP-FZo;~* zzn$9L2A?340iZ3HUR1q<+om$~y1H;G&*Y-D7Pp_cr*CISe!vj>P1a!P(xu z4%xQu{Ec^se*#() zyFi;8zWuKDM7`9|2zpCl7E!+vs~E>*#-!?jiKf>Ue~oBf7oiZvNQ6L&v6uprxU$R~ zx+uDCN}afOB$egw2TnR$20)sG0@_$W8w+S-0c|XxH8M8R$Y^h6*swqw7HADZYYT8#p00$~ zMZT_xe-#fi&UCPWPEx>RxDB5n9DsmQ4h~O_SO<=+iWra73nQo2@94g_|7OsCi2Oqr zGz^>)Q&CK`@}P&q_vd9Vmax_$f@Mm&BF|33Udc;2eycN(q9J>RZufWFwOLcdvWxHc zSVkfxM5=^RT*BN7pAfATPZ`QBrBsIhMS?2De^<3h#-r5xlfJ$-@&c8(l`Zz5lxd~^n}`$3>9@#Kh^obH;8bVXu5R}NoEz8DEiz|GIDuXpXSr`?O3H2-8SF>t4E9a(*XLTVF(Q{rVqff}>Gi>R1|w?{rZUy%({?&w zE^0}KShx8*b6>&i)TxdoTFu@3b%{3Ze*wew$g^L(`q<{#U$?WLHFCURj(wYAfAdr9 zH#)>;^XhkGCfL0CPbIJZQwIH`+B`N=8N6rLEzy2dy$a_02nAawM-txWz~)Qv;?)JG z0i2@u?0PY@kDBW6G<=GClT7!F* zcQLJBW*+YAIiCL3HO`si~paIEnkFHgnNA zn$sJ!RH~6Qi7LsfGk0vA94)-MejwZk|JGKn2pFQEdZs+HtI4x@ArTghgM#54)M8G$jSp21oxwAWjpxy(hZnKYu1KeUhlW0ff^NXLK97&G}l^Mvye;{?Xge$(r z%GUF!?Q*UKLr((375#hQamrl6S{S*HW!h~N@cWf z(J_^OZK7Y|>=Z40K4!5!o95PeTbnyJ!W@^uy*8#!2n#0@?1;A?e?sE6J#1k>*)Yn+ zz&c&nR9DujNuNw{ULCt-RxIPt^N^c9ut7qAm+Z9pK0x&>;@zA*jZioam zoN5b9L}Qy9mt#$`)9rWfYICthlkpqG?ftq5iK-o%AK(e>!)D-tzqbQ%6?gQ*(OP zS+1Zq3Gt&(XESd#%e+1r#xcJh|>DOzri zXr?Do&^A1JeZr&H73^%+rj3zFgFM98a)2kHu`1A$w9qZ^$#8A}eo}l)aDZMz;=Z2H zV2b$b1P~EGe z#Y~TinTA!ltz@Q(1L$0besi#ts$7MV)acc@SyM!ocCcm{ssTUgMjiQs0YY5_#_Aa@ zxw20N)`|h#0+%y%Mdpals8}CzQZT@0kn6-%JY>LyZfH)4SO7sth*&I9(BBm~{d)Pw z#s3|=Km7fVv;RAIe{uYOXYVgR0Yq+aK#AN%xq$(OV-Ep_xWHSC&XK$|u&)#RL4HL< zYw{++gv;9*BEW&3CtA$(6En$yj@21Mrs{SE(jNQi}e9lW6 zJ*=7qChM|-R+auOTTtLdA&W@;%B^U#W+mqXD4MR}>RwhW^*T-+N^VfVr6(gPr!L@y z1Wb0e2Oz2g^xMu9W80Cz`=_df;Sj3 z{t{eb{{k(ao3_}`S`iW#SxqE{kUG8Ahj-R=aqLwbk2~hGLs()l7_16W&qV8ra`Mbu zWC~~IwanhRV6_MehRZ~fYr0BwPwJ2IuRs^-kvH+=PXapc?Kgi>i2WX?O>0acQ&rU8 zv9tVc(ChbP5@Ru`LIg$NQ3dXu4U>Zui< z_%XYv=fndgN~t>-xfafsf+VV4{!s}dAUxPx4aD6f6ZCDx(MKU_XAqN<;%Nsj zLVlXsN>N|J@zQ^)%)+%tnaS@ej*J}h*)ijI4mtV=Tlr5?)lI=$n`xeEW~Ea-+ns9P zh(&J}y;=13nCQ)FlE=^_+k=X;N5_2j0ijQraT?sWQ6x$2Dn0TSqa^U1t#f!AM+l}r zXF_3tGD!*=>XM{FQ+<-@)ymaLVT8=AfrHzB{&Rh-fkl4{yJnhI7Bf+*)N>Kz(sdcD zy)k6y143sg5b#JDPGY2{kp01sdk#6Kz5Vao!>y5I`xXYSK)DTdV6GX{yGV)(pr~_F zY!=hvRqM;lV3=sFsPCypI_gCB_hudD9&T?}oHRS;vyTxFXdz9bx{IyM13Wz;wKsOA z$eDUgCCz`PvNFZ<%I!?WVZA#gDq`kOc~+Za+rx@81L89xegHj4T29=!c7q-Gn(Y9i z*&VmJ+WDRC+JkQnJnN0}C+6z4!f7etG^z;B)oW0InuB|t6s(niN+_5JDN#;JD3zEq zD@g+IuE)!RS(t0} z;!2k=vBPF!3ha0BedYW^gn#OgBAda{AHAlN%UgWJyDn!Lp(OIP?`8j2bV_I!Jd=m#BA!!UQ!Fa6ghM@RyAhqs zdN`W-1k#_^#2bg92olktc{fl@J zKjx6@rN25B-ljQtTf%^rk0vuTtzRE=(6UJDBcWby?!`&M0)^N9myEWXc;cg9gYq(p({m~8gH`TdCBJ=bz znHz^RBz*aRfpUtb0R(Lh&D6KN(sMKmJ6)T0WC7#plmcpc13Ce7#2B0+7G0j#BAI}V zQfM2cU{7N_iXhvo&QVgmhL-n8R?&Yn5oTJRbSlmsAoGbq*ISCTk~}GoBGlG-{aNwy zDB|U9b(WWph#yk7ZHTw1+D&}7LAn>+-YPS`Bwey`-Da@kS;lqS6dn&P!QNG;@c4-M z2kdba9L^w_mV6j9QI?@$BGXiblcSg5#jE1;b2)()OSDY0om_ZP-koYtb4GtvPGp_7 zc|rqqmpMm4KSnd?1`!TCI%Pm5CZ~=Q1_5#b!^AJc z7mIyN0u#wPsv&^xkQ0jU1#YqDfiaSGIU+Atf{~(cXN|vw`Sh!%b}_+zO-X}vy+42b zXttxJhEniHJM@%|Ex9&4zYW1pW0(sV$-^YqLKR2 zyVfRmcrI+PL-kePt(B+fDh!c@(DrIRdo^E&a&lCgn&^Vl08Y{SqPjDaigEp>+gByK zR{m(IO|6)f74K}NyBvRQZwcn@7T2S1ac#!lQPRVa-Ndt-cm;{RQ=88z1>z3w4IDPLKK1axGU=Ht!2O;P1?kvDG!2G`W5;_iI>=ZNJ-NL?!sRzkvO#N3=r)`S8wR9-1iQhIe zgH2BU#H-b$@DsY_;qi}%>gBoerhpi`TW$nduzWm7bR__F&~+6no%yB{Th9bsDq_MBHJN!XUUh&Q_m z49?pY8#7!6@*G>kMNrza2R&%^WUo+PBa18%W1xmsbr@+ON2?_)qP1P6i81Nb7U=F!60}wa?=6@)_@QNszDJKBLgn`5*1mr8k zQ6RVZO0s}a^-BWzdac=>~1 zW$m|jpnv2@n1IdLn*m;oDfJepf?NaT3PFu_GpS$Xyju3hWyP%0z7Q$j)K&oQP~=!I zMjLr1CQ^Yz{c!QniI!5rHHu_=+UtH;oya7mHQTLuwg?T@fHT8Y&*~vyyA{ujkY2j+ zNkHcSCYTPeRBu+Y=&g>mOMl6wKdLw|82zE+?td?7CJACQIZ#8ZN+{?};VoS(XCTI@ zEUN`WO`C>>V$^gK$x+|aYB5sBtwYHT3OEChfXUAGK$wM-K|H7+D#xiPkyPwV;^e-C znV6Xjwuhsg)r7+>vQnz%sZHp)=E7*FB5d{}WXFu-IppXALWj_AEP@IYDkGNE4Ed}) zAb;|Fa&$ZRNV#sdF0p@s`0wccC3vBpERL!zv|l5H(li@MpR!Iyhm!^W<+7*98qz-* zm_i072muHB-Nh|sM%XZ1DcaN9-x>CMm$bJZ37CHGgF62i|Nf#fg^PlJMmHPu`l6fi z$aZi4o&2FEQvC8PKyw_<^@Godqm-+%7+v^QtJ_us@D{LjU~%pw0VL;v~DfA;#l z!;>SyYBuBKceRFqx=l^>`hPM;v@7?*$a5ksc{C4c#UBkN_ z*89~kYU+bN5Z3G%S*qVHs_OAG3H(nFXw#OWu{UYwi+Ni3=sW)G&5?`c6dPj#gFO3V z;!qcpsr-lx?e3%kl9D*8OWM3Af3``8-cKg`3J*@y9hhJ3X6?HUuIe8ZTFr@OBeBv^ zuGoG-0Qi$11ulOF!%ArdQ!$W@jy*i9Lk~M|Dh@rQ^k^(Amw+h|jRrua2u~J9r<62U zj!XtEfk>(w^?6dtILQJLxm7g2&+Je^;sVt^1DJ1JkrNIk5PJ;ZNnA)h;1r-crU-y(m3vK&CrRH`6C7U2WvMPw|vBn{^zdP+}orh{tBJbnav1x!r9QT6@^q!`2>N zXL~p=77f?vXL$v1w1C+3j}XheqI>FpuS@0okYTa204HM0!|nNh;Z*71W~044OE@y7~*cd)yu5t?TTy% zYG$4z4?%`Lh#A;&NvBCPfp}RsCs%d#qE3G|QogF2uHYQo^+8%COa$sj1l{7LI=+v` zMLv7wYRC(-l!t~ff8BYFrT>ryltrsqUwK- zr3s?;SE2<{oio({F+aEZ4+cWwQ8|^h9th~%Isn(7TdNYRO4wADuv3v2<1;2GI1CWv zNafsbtQ2wtDnr`j+eDAvw(lnN!e!quYT{?S1*6|zF~4mL!yES7SuXG(4j(*F+=8vaX9zYSboEVU@|?U7hHe%?>~E~UvK+8`IpK+T>5z%MtfxEP`iICU61sw zq^+VK^qlSHvP(U$`CMEStEKq!-Z}r9-LmhpH2fb6$YCjg3f_l zIoB`n)U^5s8eB^?)76fY^%UCuY&5jG?_}ASNZi;`?)19k40`XM* zQ?)L)g1XNu=tTN88Nl4cU4N`nkg`wRI!iD7r!f2l4f&KT#hlbMfmV^yGbx)EM$K09 zQt&z!`R%HgDB5PsmjHn_1ir;1-P*=@)*9gHnoOH)E~VW9S>rVo(I;d=+wGmD2sD2RsTkv}!x_Xxx`3;)L43vplW9bM;T~Ixm+to1vK?F;R&hB) z0g@5(gmQ3?IDq6HICMUjOGd@aV+Q8ZlezUg!zeOee`P6sq&L9kw|(qW;MrANk^>?C z-gsO2jNVFb+Mw6(eL?(|2G{9F7s%l>P~|U>?4|ZwsW)o=NdJGCdLTY!XRa5~B63T& zBioUb{x}+3BgJRpLsZOP;J;CCf3!1t^KNhScC;(qbLb{9N@d?n{C-RL3y(cK#bXbB zpn>|VYOb`}<=hxUx@1tI5dQeyn#j`9^S7y`k)8dG?Udp?c@hJip7iXs zn6;J?0L>6-MjU^&sTzs4ZYFR_>NJ~Ln}(%#E3%D$_9^uaAa`bGVabim3z2lDdKHfT z{zLCRUEnD}t~S?Rf*0R^n1ml^+NcRXj;S>ZK+boe=JaWnld-(3)(_cCT6;`(4y4k1 z&e2?7ecKUOE+0r!5N9K>9x?(ebAywOoUxHJHgcv}6G_oMaf}Dzsfo-*l&2jt0a@>|khZ>@U;ME?~}?n-UJq$+TF9OIei0v>ukcktINjL zK_WJz9Bdspu}xC1E#=K_kaI1|&l)6Jv#QvtVylX+Dz>WFy1lL2ds)o1H>gXJc7Z%G z6C)>cw5=1tv z%d>W|+@aWunnSUfAcW*R=b|I(7xkxN8zZZP!3CbFq+y0QOOB=M)31Qj!YNr6`o4#i z-O%)atjTt~Jq2q|!9LO{SesAabhtOF%3a3r^u6o8_x*t0w20t;%2YQzbSq8T;mzIC>|{a6wCdvjXO9nk^o46K!;y9O(jABvT?NZ;qf_wN(;ipWn_9pCNUyS*?7* zO0@8F6$aRhhMo(?2w>s_2r}d2V6EA$3D3`ORJ=67Zgg4)&f__7n%|W0lo9@$s*GWO3R@mR;-I3(gwm?kZwV`1?ejU=@#}{*lS_0g}oN`wuQaB zRk-n4JDcAsQ|4y3_gfrwIbNM zLX@jnNWolxi()N`U2ATO=+)vuiw7+pw0O|s!M1pCuPXbn04&QyIW!M(h~1q90N4um zbsery8mmx)_UeKYUMIf92)ad1#qmAh0VE7MVzj}@Q70HMZZAh$7K(79f}olD&lIyg z1z+A1z-|^eS>R-WlLbzj2%O$lWi?K8|K%O|1ly#4H!hIq21ZrxB&(qF13Wz;T!x7j z3+*Lz--7Qy#`hd8fy#8Zx&~*-XjR3Nik^rrEW~XQhYjIdKb;LQWCEs*DWBzFmp)%S z6AeV}I3XnvM*&mG2bCl6il~;Lw*@X!H`CCGW(>-Wb1+7#7N-Ca76u61(@>={)E&4Y z=ngu6+`E^prP&cB`3#e5`4~Q>eP>_Gt2#w@Wltutt1|Lo zHjK{I!^$aepyx$i*nAgq{L8@*b>vZ77u8p@NZKOl6?s9|ncLzXep=a>u{wB!0NZsQ z)4eCT%HEb7GZ!$zY-kJCRNM3!)+V(!skKQvtxdX#HtD;n%<~LSmk4NX9?jgXE5GAt z<!vZ7=kSsv50BHjO(%V6kTR~EPc2yE~0iXi}dAn$C zRkg~biA|3o`2M5xJl_~^9nK&o$3Ast<~B{bP%CprvfZ5>6OBUiY;~FwNB$?ifk0Rs zx6tztH?&jY!*98n|H~vus9?U%kWxa|}H&hMurL zjB;kE{uKM^P`&-GmpYHd>+*IFH!WxcYGu|3!x zY_BBwg*8OFH$>KEOfAf}FyF#_3-dP-=8vi}`!hWKi1_;(h&?#=(1Aj5tuTKHohEx4 zJbO3LOYkBK`RkE;N#ixQF=gz8rl`KWp9}6|s$em?n@PHV)oCC%3g{#S_y55nR1NqH z@+f%!7W0`Kz*_=n0GN*mf2QttZf}$_1~WONwWcs^T}9|lO@{xEh@YuD)!IrvCk<$jqdNMxrueE0U1Wopq@#RdsKj5S>$egGed~lJb#k zfv-Ytmezz|0RofIOU^sFeL?9S++xoIgaVI}DGII#^nC;aFhla3la;Yn#xA-rFSl08 zF3T$xF&a@}kiE;Bh-o{}(6ZA<7Txr$YJV|YLanoVb(H0~*ji~~1U(hYX7leEd;4Zs zvx-BG0)KW*#(V*=mI;GS)n7%(L`TTC>)7XPugzm8(!9i>6YLiHzCf@;jTKoG1Ds?} zSQ+Lm1~XesyMdT?owpIQeR3rmb^9J&eHJ@g2 z)hgRohx8`}Yv){CswQbeQm9eRh77BMwemT5IYR-Gnf3_f;2v=R$vtrBe2xf@lJ{W- z)PGUdt&S|a$BR|2`S_VvCb0bCo;bR~{?DF1gfHOs0h(drioXR)LMTW|iC^rJo`qu% zv)N}hWxf6F;i#W`ao|zsTD|(!@5y}p2@Un~3g>~=+7dStmV2;z6_*g$A7s2m*pdG1b|CEW;=wLok~rHSWh(*c8$|S z6gk{9jJsQr-R=zDJG1wmM+L{HkTmy!7AP2cL0^Iw(WZa3!YB|g*BgT-ilU6+YJIV( zuDvo{5%2pxmF?g)U2J<58MxHUi_)!s2#MPqk(JOeUvRGuXOIx&W$Q0qfSKZ*?0+GY zcf&42=~pfNN=4^tRWTDNr|b6idpfh_+~@adJEO$2n)SOLQZm889J%l3TzgG*V(jF> z7fQ|%L%~g1sfgjin{N>F3q&}UtaX&ztM{KF3e#--NkeCbf^&pigi_sT4ikyyvzc=) zJAO@Tw{zR(zem&h=?~ntZsxPMB!7~hA(8Hpa*uFu;)<6OoJM(x2R1bmnzrA{d0RHo zmQTF=lvU%~iezLZ`rzPRO!Z6Jg^G-5EwMx2mHLcWS(O@1b+tZQ<)*6Cr?qKq0e}Sn z764cP@LT}EyNdipQj;B0&l6p2rSWxTb8Fba?$#l87wT_KxMs^jQ);wdk$>aan!bW> zJ&*I)%z#d=lq7d`#M{?Cbgq#bw<5;wrOwOrS(KVVHrvX&$huL4 zo3-CL8VoAZSICtmuuwZWB7bUjnbbICIGm6PT_|ou``sA_x;KmOV@cYcBF+E}Qun<3 z@P01ls-wCA#)#h{MB-3dAL3x^id@bRU_NrhN^zrWT;$zlW0?^Q$<)A6ax+1Q&jK1w zXMmE|&J1EAFM^kwu#-@TIuJ4&Ub}wWu5rfSI(teize+1gziehZ#eXKzDh!v0GDnty z)SCrQM}zH(!_rbZenc&y=|^M=OU={dM})unoHbQ3A5jIGZKGjS=gf|P#I3i}F;@iC z>X<-VxKe|J3~hlEdB{UW{E&ZefQZyLgp$`u;gGoOiU0s$WTE!e!@Tm++6t0HVd)dm zTUP|U2H$3g0P1tL^?!9TkzphPE6O#XqKaf%e0`fI2M!DwlJQ5HN|dgXNnjYON=(2D zLIDgpokNZt$!j!Das)9YzbTHz(kIiGQO|)`{_;I=pcsHL0zL{fe7(hdMnf*Ou0Xyp zKHv?BnnTeD$R^bUK<*a!B9@@MnGM|_0&YdWWe2HT7oykkM}JCpUEdTv_Nc_bG*m&%dDmK69`frI%RPHX+-l8Cj zf|fu*!;15=(b5oOb&jBW-x?0Z6smAhX;Ru@EPvozQ&4aUHHry}?4Ih^oQ1l^KvzX*^gRm-!_ z`UnMECr5QCIw4Vmo;96D=sCmNN^;F=t_q`;JU5UJ+ry*L@05P~`1jr4zyE*Ff8U@_ z|Hb`}yYE@>$A26+-|jvge7G2XV#oC3HZhJQsQL{3-u_R4%h>df5W8ZkG&KfN zReL_Qm-fQgV*o0W?3rGom76K1`@o&#TF#Rk1ulP2?z2A34!gbc zq$7#>wjw*AUgMkwhtx%fCr8bb1QtnD%FQt*h~LuSdP^gOm*B-5`rnln{$a4+Q*5k8 zSQbgQk(b$yRY$&*u$GpX@&TOy=y~$@IK&>u1VB+kNy$Wf>R|#mYM8o{l!Y&_vS8-z zw_OG^7e8fzq0%A-rj>ta&lr$B6-V4NPN=;7t|BpFvOqsWf+vXa!xG1lxwuPFX(aI) ziMdoG9q(*cb;Lx%rMb!pxd;d5P3#pgymWh8MoMkJLdQe`jO95oh)O$OB6*B$R3Av%p;se%kYn|-hrFl0H+_K#u)Cg6{+qvqN1Raqi z$5N_`u1JwhLk=Lh2fn~Ij0?OngJg=>))l!T31#T}9!83IM3z(eQ%UuIFyO;L039YO zZGp=fx*}0g%mATWQ*i+$uQ~N!YvrH|F@TBkx2hudvGeiG6~d-Hp9vyJ%w3UxSei1_FXi+ z2}XFwp$y&f**%-Sxx2pe|2-kY+llk{?)+vro6~E4J9h7`;oS~v9BFAcHSMNmHz9Zy z6D@V`NlGylMP2rPrHP>X%%;Nl?(E9T&ul7)Jp=hE`+Dxkk8^y7`5|>tZ-3D5olCV_ z&cH{={$Sz@zw7soZxG?^oKoJ^@GC)hNEy#XuXOWmW9H?MA3%maAatPmDxQ43LBTQO zcn-yUOudlk_Y4u}@%!|nOB{XBb2JG_MER0(=&4@x1}frz9yy_)c^N<@e)TlV&!y~4 zOHU`m38LOfSC2fw(CQUUe*e9Xq{Srd;SRnNx#iKBQN=D{LG>O59X_#n#&B)K9VlPhS227;K zuibeIHRL6Kd^uCIo-xC6+_an##4|e6p;%ivs%-)omqdY?WoUGy;-O$;>9ypsh-l(P ziKU52{~~eIay&B40|-C5rL4V^-_4HlQm@Hjjd_kO}uep-8Ec)#jON+#-3@`U^69<5^F2g7#kmP zJRDYJK~;WW=@@opWJJr2)(nX%pL`rR;t!+0vjKFv44p;H&~nJs4G)8&Kh z;b^xf@1S-&^#6TAutQIA%I|vsJt%)j4^I1liUV zxfEbVM-_xZyFhY(J3|4Ag9rl3sY5-0xlm1gsT?o^lz8_tIyah(;>)mbF28Vhfd+Pe z8?(Xjr|iTmjq}UCx0lT3<=Rd~Dm=9c>D&)nWHv}wZV(mw{YN3JYE%|hr76o+zJ}Zn z4dk7w(qVvA+`GkBR%AGk;i3}{-Qlr^fJ5hVAz)-cY&upd6Nn|GPq{El1wp|8fgmIR z3Ia5o&SZ^0KZ9E#-Ly3H1A2p9|0S@#$M*j?oq+07Afl^+ z!s5ywgc^d*OqGl@S5iWhc`p@WIz&#B)uow_90B~?xWX+ATum`R>c_pD7ZD5ksbsdg z7tslpXgbId5?}sgl5IHiWoCGPIzyr&B*of&`Qh%xXAtcYgv12Nd?glrQ$01J0m!x( z4@b7JT1hcGQc)w00>BVwVhP0)CFX~?z<~sekwOui0*2=TjiiDXlUkSn7f&Wgb}4tL zhiz4l%oUOCl?{-3LGv}Ebtz_Sc7U!(NH|uXEAFaT;i40YRT*KK3{13tg5={guSDa8go8GSyGUgekYz7)f%RUXg|4EqngCf~lkj^N?{c zgEv}U(jY(%2Siv|OwFl(DP&hf1{^TZX#ne!Kl6|W2d2pQ83d8FK6_v{{p_Y+#~Hut zvSeD@wn2z)(a0%A>Xw!9-u+hG3^&b|mt}Ajx$+7_V0H~$ z8FzYjhJon8B%pH{E6M?#07_n~J!Tg{@44nlu9!C~+u3QI#&5yJNy!X1^9R4#84a@= z9&I{S=*jZ_?&2MPOxE9R6FWZX*z%T|n6VJaWy|5U4yzM?hygJCx5{mHg8~)B!8qh0 z1CS-b8m!yci`-mTVF1QxxRUq_F>#GFn4q5GK-5E!*!|;&)u&|(yfB~@g^W@@;dna^ z-l?6nh8JzA`#l>w*IGNMHpG;DTX(t75fVs4`-WQTx`aYgGgi5}zJ&AqmE}cUhlL)Q zKnMN&WuW4J5|+9P;Ldflfw7w52Xc<)zKSh$<%?_-vr-U!ForCNt_+ZaeJqit44IAY z0+Py24x*Or9qOPbXWYiKX?41CMJDaK-34s*rn%ls38un0X5Sg!ol?%WVriok)4RGm zl%%72DaDkgV3Gl%sF40*lx&^DTfH$TlkO`OwLk%XrJJrzxG$(Rx1w@AGqjpAOr^CD zB1J7Ex~^4Gbo4=OAV|-uP2sQ+&YDeCsJV4(rdj2T58!QdRHU~yF5~h`3N&U|2Pmd$}7;Up2`u6gAnML6ho)LGqxu{j`HE5{3GV-#?f-o20HL zRS7G9o~uP-F?55o3w23pUNuievv~<+~@ z=((!N>Z!9bqhqiVqr>X^2Kv70s~44jO-UnvB;a90cyE7uFc|cE(WY_q`v`K_oo1KY zwENqG(XijUM8RC{J<0R!`Zv6be;?oZI67LR?}KZk;iG<;1cOGsY#N=KaA*`?9FMI@ zX*E_xhdZK?GcJr*d#BKvf`eh*opu>L^??Rwh`5+cj}UBm)m;t2x&W6rGPTqk?gkWp zWVu-pL@0FG(1Nbw(f~ThNECG+Gz7k?D<5uwb6s0>6i=>5^fpCFr%jpAkht9jsw|4d zTvA)h@Xb}kr&xt;6}DB_R$)Ju!XDM7z|ZK4mK&g18q2w==g|LNZL0m~MsqJpo8N+g z=9{a9QERH%Szejvlse03bw|pD=W6|bTOHgihkJ_^P@3eu9Ua2}mTnTITZP$~!rau* z*3nK~j`fd-A0X&Za!h#8GQoP5hFNCfWMel~)kG1dig#+YW_z$8k9v-ev??3R=K#qU zQPNhW#iH-0l3s3slZnoODa+2FGCuDS2V;Z?@B`|G4s!c(#!a19ROXURvX07s>Q`ip z96Cn~z#E7?IQG!9N^)7VVOlr8ON*GLdXotuc7~B$Ek=qoy~9+C=XTjksLoIE-0Xul zb&1wLB7W#WJZ~-5WbO8Qe6qUf_MR+kA^~N=PGw)zP4oRc#Y0-|Ir2%>E}nX8H}Ep^ z!tUK|tQk_awikH;qe3R?C-3rq%Q^%f&jBcYUvL=k_{jy5AxZo1*3K2!&{EO;cp6qs z=1V+3RIpo@m?lzR?Hz`yde^=}trdPO0}Glt2WwhvUSA0V9iuF@cq@--Y}1!)r-%_Irz3N=gUXLzo=VvmN{aWr&6MSH-$BvDPyAW zG8H#tFbH}nrd{>QgkbkQb>(dSE*f5|2+z?O>7BWN2mFg)27$&9eC8aK0+S6 zzd&Mk?hN}velSE>$YeIw&zPLiTOlW8WPUurGGW@KkdQjR*;#-N>3oj);S72nB2y&k z#wNlC8eIROu2V|#Z|Vns7jt@zKFJ$|;_~{{L4eTT74J@_M2=_q+fzK@bTTP_`JOQ} zAA9%ZZ_m*rL|*y3OXydy^Lse|cL;g;%d-GG=oB;lmHI4KMD_6_WS4O6V=_%rjb~{b zLJvE%f<6iuh808cHGpJV!S$gB!#qP#SA&pMbmt2VZqc-|!OJjz7*{a*>E1_y8{nHN zerD969^@6Tzs@cQ^vmB}T;B&3Z)PyKuHt8!8=7AYjoADmGEq=fi>&EklhReyg!js+ zXVQy`#nhl`c6m3bm|Y7^D(2@`le+1((x6^ujy0;6Un>nN=cQwVsyRv4pk_|!HmF&U zC=Kdng+h~x8Nt|ppkhwkHmO;r2pZJS>ZS%2GcvGAy_8gKQZ2318`Mkd*Cy4{x~fUN zw5Dp8Wjh0{N^aJuL`Fu|R2kq(UHxHl_(@ub&mnQ?oFK+N1az); ziCY^%WyC5|t_1f!r&~vK4l%hv!X^-{UBYRcg(Y*#^Mbs8U^1(5+`Nf#RmSXs%j}aX zt(=Dy!_y#xSQXotCAY~+yC)r}F`)qn;#%D~7puSE%C`Mha{}NgM1R=KVH@kp%}SQ? zeC_Gi1|Rw0R(;s@NL;g~x^ZVvmw2ooYA>;Kjd*(xVJWpIq8&B252+rL0a`{sMvRv$ zNOc*6)sI$xKU)20^`q5~IsLd@mpJVdGnELerAAEZSLwi_8vFjE5P7mdlO?Ux=HJYb zZLYpDy;%@ipW-PK7^2frGC(H)-JsxJCwayy_cIf9J5x?p05wUnSd617+(y(Q(k2PD z$%vw6o!T&&Gpx&PC0343=DCE_i6~UbomaZRXUHXgwl2iBNxWS+?DPGH>6L0}CThh} z>nqiA-877P&+z3@ddrq|0DXCB}LCe?(s{X2N1l7vwZG^Zt1~!7`X@QL} z7o`B7K`zhN%CK_e0-xTZ*mRKbH9*=N)_|}E#6}wsJ9X)FPAR<({kC^CN41wb7SmWf z=~nBU?@NoOq-O>PTVjp^!~=|O^c9IGNAZDwSUO2zef`iLYO!*1k*9Zolw7|rzotU) zO34l(U)AH4-*cuDN{8_s>AGW;s(n>(G~?^O!jSy_G(hQ!1S``X-`scpBNt7y3$Y zMcIl^D?S&9&-#U(e`~Tap=Pc=bg1TTn~Sm|GEKK7q86X^b=f<6bqO}qS3N?|YYClG z1k7EVbLf9pe&ipo5(0+OTeh_zcSezacv~SJ^=yHgGtF8Ah%uSaV6L*&!!ZrHc67?T z_p24sR_rxPKvA48rI{v5i}+?h-&ris>v+f1&_S zFmffcdR(Hs6v>`(l1CzWb_&PHQ@xT&7}Wk?oIako*#~+i%Y$)eD9|sZ~Gz2OK$o}BhukKQOq`zjX z%peVKr7H|rQwqsm8v4ed` z+MWj~(rE<)+nDj`M$PbGCuV)FuSUQy!)n@LT5sDcyyz#DEo@vz*jR5k*A#3B9V^Z0 z?(obbncABwgWnA5POYoypx1KytLqA6+Fw}L*ceZ>+Fe?&vJM%$P}3ZLRa@fOyWWLG zZm*ED3ZPlu=o)81a}R-a3p~DCpqW?Nn*P@Gx2FG-HvKmQWNz1`e~`h~?;VbBkorJv z4gCV0lW|9B;%d$#_6_O89TZClxY6^#B#+mU_zisSgd_>si7wwu~ca_*@!b089u za76(sL0VQj{qA@0BEhGB0E$X%i=EEIB7wyM1Qv_M?r$Zv--rl8xgbNjT=gulQtR(t z)lLHgK-n1BXr@JmP1RKCq)fdMF7O&kU3$fHO;A)177|>Yj5=)fPDNeru3t6xOZ@h0 zidv1ZtSFBzz2mohKM=j6!`|_c{Du5hwOV<~G7dyyiDf}|3u%sjWwoygD^Td0=C+!7 zaY1l|VelzH{s^gO=Z`bwMaVyciyJhDp`UxMcY3qV4VneeL%tlMcO#VWqTl4H$&$aK zMXLjLi~0BZ{hflT0sf~%4uq~d*5w{aYeo-~4t>v3t4u#BeE9&dzqGxq?rI!^6^?I)k zzD4R*GOI5t1_L|jwwlIjdhIU*91SrF{OuDQz2|>e>a)7}7VW6{Zdt3U2`>p+0?^$O zLjy4pNC-iov{ogr8JNOwf_wm(P7scKfVCRiF7ivKx4u+=y|uW8iWb(gA{HaMvnGgz zCn`Gk>riOqTGu&I+A~e^2ja9%T-qa3I?5(wY%`=*bp`xL< zsG>svrQCeQv{!(%4S0}%0TQ4!ehB9T&=9a0BAt_eCt8<@R&(N43}o`s;+yYmRAAKW zgF289v9!;B5cC5~n!5t)r9QCXVPq~HC2~tC^gN#*^0}QF%!H?$VzDo1%6T@ zo5o*=&rT|KQgNxFRL`*z!>IAfY6L$~7Tv~!DP{~)BFvNh-EaNg8D_IM;@iG3cbw9g zM7`sKz2+vka*9^Br+FSbqeD*AzpjH{5n|~*jDyC1ZnG(Y)r5RQYlCdMM$i}NHk9{C zA8m!b;;h8*p!~H2KI0gHAuqT{Zp|{Gu$|oRA1v zE1ODYIr|MO(NmTjv~sDrIMkFct1`ENl0{ZlEWgfOdz@STHnS-eAgfPmQ{vjRT_=bg z>!*_6s$#>5ShCGI_%pwdlf#=@uraBBju@^@hS&Zohlx^(F6Rr=TQbQFEKe7+{Z_6s zE0|pGt!DMeSmxfSW!=2z#Ig*Si9*0jOKBTEn;}nlMeA4+FN=$r|@kK%Jw3(UubeWJ#$a?6wwaZzt#Orpbs3SH)pZwXO5RVL-3*0&%j z)=+uLbk#*)G59lG3})$Lox3nmNwmwshAJa+eyk1Q;GhkBgHE`w<`a>uiV~*?^PSZg zz6*lnFs>XTgsp0ke|m#F`hfU<4xfK>X~eMVXW7VB`EE@so&y~?DrT3I9j~(|1W)iDw3i`FlbQk zBV<>YWI}YE3>TUDWw!#^4mnURFzmd~WCmgN3xezrKi{6bFq8h_ZY}Dan10%Rd4`1C zeot55J}XE*Eu(%Fm+Q6a*NjcuW_>;%MN`0+ZFT1S&Ya(w^E-2XXU>1>dUI#aUq$KJ zTZ+Q=Nk*$xh8nr(IvGlTD;f<1jct3+=v?bZ>~su+01*R!m`s?XPveLVhsm?A z!Zl7bl7=}8(qEO+9A84RK(;yu74zGJxJB%fuP-0w^`A3_p$vpwUGuuUI)g zRz)-4!lp)MaIGtp41^spn3w@JMdb{!iXSznnw5)W#g}%ktEZ54&BBbeubG|E8|RyO zxW5#6OJ5zW1bC2t68Ry)uxaz(As{x>S6j`-;Ba|hY?$2Ub-}Tn#?l4H{&+EZuoQ($ zVP>`fW0<4lB2eJ~Z<`jM3ZwUcQj7F3CA^eNSNWM5$3X>N~ALsiFAwF;Ky3b zpZL7wcqa%Q0TZh7r{rGR*zYd!1CpjQ>2fOnmOh{o6U@oDrHNSEk`{JlFD>^=*chx$}eT_D4vXn8Z@CWMpkjOIf zZ|Wm1irIpA$OjR1(v8cskz#iXAFQ;9h2|{gQO}t6YS}*Td4E&~oTSF+3kq3T0I$o` zS2U^)s>RbMoZ-xeQUq+5g(_aNGAbHqygbq#@*XW;C7Q#`LQ#w3LA`_K2{gj9Htmev zA;NibwLwa_hO=+C6G~yY)on(c3yalN$tmnTouTC`ziY=<57Vr6`Y8Q|8|BA);zhMPBr_Ehd#w-MPu^YyzF3q-#5E;z!>7tzi2A+d0k7jQwV$y``f43 z=Ysx%JW%gOEC35h&l_q}%qzyNWV~oQ6#uX^?LT4+j!+*!#^Na^BY-0?hb*~^kaydI zfO?Z6HkDL2x9`b4xflYdeuD{GaD7DFeEZ1ni+gY=+xB=Hs#S3jLL)GwG4TNs7+gpvRHgiCdUMFgD@9K+MQ9~gye6FSbsb{9`KfZ4 zfq>Ep@tA0Rd6$Ol^h6HZB_R%A#y(ekb# z9~cv9`-+WDvFbY?pec;Ju_(?Ti_KMkb&o&uU=W}X%pr*wh$ujW#i2^!h#sLA1q;>G zpD|(r;Kb+%dPH6vAzu#r0$hE*y^}6#l0pezm;v->3ojm9}1_`uQ-k1&Bj!q5~h_$NUy1d!bm7JD9IY#0Z@B4IQc=suW_u{RcfmG~C} z0iGZLfluQ>fVS8S5ns&BcjZ$L8eb|J^NM&lL?M^Prx$1Z(=PxWf)9{^2N=YNiP>;Z z(qasc2;>S-9}MD1kqH7oqcIBQcS4cORvdX_-uzFD#-WG)G6r^p9`1%M#2b3nk=2@m`v7lPK<#ng_22z&hP)(m=Fn(0>fVEwE_vH;E> zLpI*d9va*E{7nsEr7EQ%hl)C7_N5itju2(-DUw%g#EI$Cyl}I*qh`u~i}xX&W>R2K zp+NG2U$}Tt`t1kEF7Xsc;_mVTWbY9=g|qbKrw~nXJXH^_#4g!8-tG53DPd4dHq!5v zUf&G{Garo}!hL+;QHJKxc)>=mA19BqKZj&*KJ@-NoIdQ0r*sm{2ma#(J{~ZkR$j5u zjVC_N`6G^`M!VDR-H5G!tek-lkbM@JBHs3U=MQ`x+)x^|hS4AzIHgQbypmGAy>FW^ zFNXXCGV~sy6WLe(0~)U z|Em}&$z4*M%nnSL<7b;TCQCsMc?nOz!8DqyQDeL`wj6$R@F|^6}p4^k`-|o(jfw-n9wFc)dA*A)XcnNV&AV@wz z0y$cwxFwz^CAY6~mjZ^h`JS9!oPlTziMmHHEb3}RUU}GmCGEp~gXoPK13{F}Gbqd7 z6KOxw4s}Q$z4U_uzuRlOPngCmGVc?LLsEI2AbQ<@2P&9S^y|Mc2xKd5hZCAj8|6oJZ)bFs6F>--G0c%&xCP@AJl{pZEbzDB_8{|k1DpL39#bFBraw7 z*{8988OQj#-3hS7P?SzH7gw}&My?)I^qkL}`*qOGGO){tw`+Lx%u-ncF4r%C8KRpu zWpNF{g?OD!P0QF}bN%Se^!qt;S1k9U zZdP5;MpOHZ+~H{&l70@uV9`udP*tsvh*hJ18wWk}=AaI8SAN0|C@KYMaM*|xiFNEk zO@U`JjJ3T5rTul68{{7vFdEU;#lB{$jzH>xg)g8*QXx)`fXOOU~)gS0e>CLYMV zz_zgyPT@j$9}f_Ko)?EOLY%HhX~2oIK8P7AS35vN!3af3#e0I%cVcVpHqLJ2eBm2^ zr!DBsN{}}l;>~kKym3d~>tJp=n41pf=BdHlJm*uu>pH}El{2z3JHNv@AR)4Ld(Z=P z$2c%pypSd_-tsoMlMa7S^aDl!Vc{K>R@PgrB+kGbg$Q_bI)nTG(oZ}QvpmdyVQEqq zfC-?XFCEuH#`@rL>U-k8Xo?uo&c* zUC}~NQo`cv@2u&=KT)~+wk~0WmIya!gjp0WZYWg~a|O|xBj%7oA}^0EXJsN zX&<(r1%^LV{|nco`GpO1zOd8wI&JR>i`GutYe%x~)#YXQ3USmJMoCq!lBFqN(jJI0 zi4G6i!%k97w0oay z?noWRQHOEVVH|ZBM;*pdhjFBjgZovux(ni+a!v6B`tHX;qw^Yx{D8>uT#(|OxwPHwx`LIbRmL_lJ?A9ord_t z@?I$d`LRtNTiByAIbmK{a{8l#Do8cG%w`mmV#Y9Qfg`G0-zUnrl{$eV=#`6{2Es;j zXCZE6!(6m5Eo>MUF<$Z#`F#=plBCw;5{Hsk5kL}qyDAsD?9wS4#SZ=uG^KrjfAyj zH)r7yFGArPzq7NuCH}wL**O;f|EJgQoy+{5PF73j>-WpmyV)$jd`UUu4rIou zS-wPnJ(!L-N-~ca7qyU&i4P;R72zo=GYd7fb`>JjB4`bNB)^p{hv^(~8-{dVwv*w} zmJ>w?X%7-G zKp^ItP(%R}uK)xD&4UH-LL_eSrO8R&32)zj6M~{SKjcN@kjA62yxk?#Zx7@;HMxnjRYvPS zms6qJWm$gjPor%_nAy#IC&QYO)tDm0;TrrTEm7}yA8`mj+<(;MyBCe9FCB<=~BiE4|-$N2U9rV z>jy_*Mj69{KtR?AJ9b26yn(<+e84nj!6NHov$BbM)8^^hovH}$Ilb;2M+z6Scm zr00bDlIOo#9%NZD{W}KgnR4vN04-=>NbLhMM$k_nCC9C598V5Ep=@EAAF4vaB`-Sw zfczRhsEGKGbMp)hVH`wN05*0@IZLG6`N{#xsf_5FAe<`ruUpMIzRKX5(&MWy3+pKM zxuCGR(^iK&)Y9U3T@jyupg(nh8n_{vm94k8%JZ^GZPnv)j^G#1I~E>RIQh$Ia{kCCUc+S~E8A;<%17x}v{;s@$E4qiFK>?FWvfTEY;F*< z5I?{Ofe8|T6~=;EVS{+~%PIRwtGv?E*EUXRcPhJNz(hg|G3@+*09@h7<#Oj`5L?v` zpyGDxg>0^GDzaC~m>cPp68M-EL(tzmk@bKfU7}}=oR{M!wX_xyfOA} z74$DEGaz#5Ddetyw%2F3_jRbeKTgWLtqARqi{}!vrZR?CEjJVW@y%JFaAGy$q(HHO zKvDeGi4ws@fLSE6NSfv#w9@WfHo*&BDtv~r5*9Z<$t?fY*G^J@Sh)on6W-WsrO(lG zUIPa^I~6`Z@~dB?dBY`ejpp_DpTDBTowzi2-(s)Pe69O`tK@yz=E}K{p-fDMHkBWC z({$-l>1BAt`@MZn-aSAZ2mon*UKXQr3pJ z6ouG>fv&y_w#?dlU<;gF-f|5)oqjFfzN!ytx6SZPyG;*1b7Q$tnI9Xz{8fB`v0|dvX)IGbCRg?Ce$e7pYl; zN2KZc!6V|5)!~nCgGIzQ*I&GFF^lN-ZHf@QY}>|wBe;Ls9MBc`F-t}ES!ql+<*)7t9ZsQDPezq%wH1X{A5GhUWi(7Q0pPZKdFYs zXfD?j1sCzA>_)0)dTqwZAzwYVlXM!SzFmQr_Q_W6X+HAePea3Z0Mk)nLO zWnB9mHK82dhjeQGzNW-Ovfvj1iX*WKK0tPfr&!`Pe1PmdLZ@(+zWfxTDUPS=!Ij7^ zAy9h?KB-So23}p7gnyHYax8!K{&7ukD|+o38EN#pK~*(=mRQWmfV#G%$KIwL^|7sD z{M2`Bx{pxzo~ZffTuo2*_3c_Ux7`^@T(x@hg&g7LH()vUd#T!F3E}bMq>1rqIvLc- zpoTKYjBGaN{*zVpUnrRV!OrVi*J>RIw3=^qj!M-bKz^Pkmj$^7)_Q+&Q0&YyLt>sg z9fp~@%Rqf^AQ2iBw3?4R>PsJN2<9jVwp1*m>O^a&g6|IX-dXwAxS|hh{lP`*RQFui zW@UF9rO29Cun}2%w#jB&b#6;~V&+P$UBr@y2u?CyC0RIBsU*uCV-2~+txw4{CD$tCS}ykGNV%eRLNf1kiEyx|`l#E{uL%C;ON%q$ zfANDUA9nQ9+u*}qISy`0Ue=c%$+^h!_IUAv)*sygk;dUx*0RfBMO)fXms zRwP1rAAj;6aMjV=e)<^|FCQQ0n`d(EPPOS=z(t&)vbm95}-P{@3oiedI2eGw;@z-9nu(pA8%V z#GBSvo3@@PjHxG204ClF?c-;j;cBnhEv|4tg6(DG4XW7GQjuVW;%_isv zf&IvN#^GL*KL?fpSd-QVfq%Ckg6$N~-Wi6ou;rtnxvu#{`Rxb9Gm1h%TPje>D3XI% zD&TX#N>OBT=4~L#+%@G0nEX}(j%2;N+%?7!8k56Ab1*T-gGqlE4!Vbi(cc?R`or#c z+}+z7b_YE@87vh4RmZiS@uUCf=yR|=#74oZ{Ir$g#bv2_WcJWM%SSD`-c~WT}>&qKu;zF0X{iAP7?C$H5N&hCRc2rQn zEMEv#CSas1giTm!fo4ak7QFEc$Zm?{j>KCnn`4iihh5@rozeic4TG}S0A}$Ec@7d$ z;7xipGK{N~{KFOkGbUt~&?%eJB%hLMcu)|+6tLPEK=!%x>3>?>vmup`LEET07|&R# zg3m$~JS+%AImNS6AEPIzN5K_FQA<3f$3(Hz~0bL#PlvaYI4L6L*l6 zK8aPeP55LsRDaAaIl80guI;c(s@OmYQWiE75y6gSLZ9Bh5(&vM@Zoz1FQFHxUetsO zc4|tCN?ZYq9DVey*WVeCY2N|Q3^Zs-iJ2Nkv<`Y!Tx2B_H%$&~rF2bfhKP&{*Uk;n z&?4|tu4O&w6$IR!;@MfKHpuhduxquwdxWOv<>3JwIDb)ZFM%n`S-Cm4&ElmCDt7~g zO~m{_`g4jZ9rO#zR|j7m;v--IyB?ZHoka}W=-|EZ&_jq8qA@p14gAvDegqK|DS^WAs%1Jpy42{INIUPWF6>|kJ>WS=u)M_e|EWi~BsO`s?L%eqI{(SeVC!FbNx*9;St77S~fVV&#xTI9SF{O1+% zi+^xmXwxSmQ>j}qrZRO=DJR_ANkox=iWkRG+NSrBvB8HtcZrDjA-CKP?=#ud6b|?q z9OO)Z@kbF1<>l)`Zdy{xJmgGx{oq08LBxT`H{?`_hnz4cW<_S5k?umB5@NB^SDu@i zlQZ*->hzHNxX2>k1Af#eeTuMKkYt!JydrDoRHQ)^c_yf%su_QTRKmrY9*JmGZS+ZO z-Givid}ZbcW)v)V$*7=fj?nPIh=wiN4l5Y}-}To30A z(pz6^afqO2Gcn=l$;o2-o!FR6`Z7AiLUamI$LVkg_?e|Lw)#ZJy3evd2+J$grK zoyres5F#9qb~rzIsl9lWeSSsor<(sIhHd0Bg8b#QS-lB&QrTpc*BligTK1BMl9nRZ zNLAn6lsrbFz#H@3Ju!#Wuv=WSCL-34&U7u_74+XW;|j)XoNKX#D3+yImSR~C#f7nzG3S7I;SdUXR%%fV$oeH*2qO4X}(W5`;_WJ#>GDeDVG{SY{LQ=3sg0A;&{_m3;{e1N#0)Zr#aV&uFIo2} zH@#N6?pop@O<=G{21-P&B8?x>oeB@1s>sN5f8%M22~wBMW6kFYvQVNFL4i8p^3dzl z2!G&vF|tBKC>xAC5NUZUza`tf#I2=z|6XYwl#H57@~B~*`@~A130ncgCj`c5hg|h_ z>N-X-M_6CUY~Ct)pxmW$P$gN7*{c)={>O zf3kI+zOA!gS_~qc61=vJL!dO0LMfV8ogRGCsnj`(ZKHLg&bc3Da-~Wb-v}2xD6KV- ziUmAc<%N*Ra>58w5jSKZX=!H;_4!C}y=b7#xN`V)wC%K4MfE*kR9~fkB{yb5dEFi* z13fIQxWTcDD_Zh!ZT89FNK_DeMO=2Qf1eZwWqmfoKjVe8je9CelxA-{ie*__>aB?D z7^l)TnlGE3bm4BrfxI0*vDaYfZXW}@h@Hs+$MJxHL&HgOX2xQ^umDE4@GModJ6*&Z zPA1S`4e2e;q1QO4n0WArAPuNDEi+LXJj{h_ilPJga~l(s9SBR1uB7rSne|oGs zML%U~k3Uxbd73yL((RZ-YC?tBvveoxU2Mh4fcT0j^ANpmzd9><>#KdNc442#?$y6xZjyfOqSVV<9D0l#H)O zrQ0IVXjN^CiByH;H==^K(=DJ1$v2U*q{P{i6KBKX!pIl!?h@K2vZvh9?>Yjm2wIcM zXVDm&7jz}7Q);QA;|Ej^S7=ORWa&rXW<)t58OF3hG9)xw9*18%?To z;EmA5esKY~YiOHS;ErS1HAo{1L?rNwmfcU%j6gPUb}&JrA$fC>B$Ke<|j}0FV(Y)$C|A zLGF_TF3pFywY81?WVTg|3XksIzI{CGC;9nG8BwOGVo9xMNr%M+Q@+^9_A#)m+E#xG zg5a7b#;@E5$mi4GPz+Shw z;>Q=;Uqdb7dW%qge@agfq<_C$8>vV8ev6e3C2$q>H%R@xf^@kv;Gg;!%>kxS*l>;( zb6F;k3#5n_EST5O?T3}OcH-KR11)?z)F}FYM(#Dlf56pC?FD^O9jui*pAs{Mhbv{c z6fK;;EHPM1n;6Stv;M_lzqWI+G+8Z)Dq=iv((UyJ!wp4~f0bQExY;c}Y+#48KIjy= z3Em6dNX5EN8qC-o_%rO;!@Gb^mvLG&Ah~ z%-~;d-|8Lx`1~Z8YKm=*T@y}ky#X2;jt}qfY~@dPf0s8)_uq-#znd7p_U5zd(Tqd|Wf!|Qsk;1(f8RtU0V1M`>f9rE-B7$OL zWCL$?Y8#G;>?!$(KHM8}K~`~W*k?z6C4bi`Ro{t`eS@hXWm;C6`3chKCvt&9NI?Gd z%L0+?f9ieu-|L+J3;&bN*A0h~My+sGn~Ue`?eX?(@T-}4y;4n6X>AgPBhvCmi6|cBRaV;gqVL@&dLDI`bP85|0e;EcHE8GOvXlg@~=?5>h7woo*N9^!ta@>$p#& zv_Yi}*3<^M?g`wNK&cZ}%BSA;$QIsM`yRnOO(4GJNL_!_n(L3+s_yI-{vH$NIkgcol%-5~>6kARD=a?`6T(;ePQ771L8pZ+lEHi@llc%xxmH zqk&0$nD!CyjsQW^{+;W3v><1URb-Fie;`;1GbM&5TJAMtA*IWIP}{%Sgp{#NAB(w} zXMWYpglem7J19tEX1x1v=-0TvBGGvb$yN{sC8_AsX>3rvkJj1N7$_ynMQ901Ao=Zs-!Z!NIL7Hj-;p_K}huf7@e& z9QtPVG5Jp96!qLj7y&DE2vZ~I8Uqj0o1RAGN~Vtf#kL&d=49akIuv;bl@h!?B{=(K+y3QS z%KZif`L%?=kAam{VMO>|&`~0fHYa8F+`e^;EArVZxm_??BT2IS+}p^{e^l0y$~sbU zrVpKUq-1zQDV7|M&$7DYOQD1Se|k)_b{pBw0N%4nF8Jh6uMF~WPL~KDJ0{de-Hv`m zL}dO1qU(DPJNoHuAoi}<)s#(aKV^i+j*n9b11}hhTbK#frVH6f1}SR{GeBGvamzQpB)S=x(dA;41BtT#v*|E*#ngQGBiu$ z(%K;^^c@Mm4p6e*N2c$1Ai-Ce0dLBP?t*tRFb_dT$5Vn92K~pU|6r_-_PWvk0-kWa z7#qN{BKlPu!R~tsFeOlWvk+rMp}Vv&ph2j7DlLq z$oAv(l}2c2D@;t8f96lsG*2QEv+g9RxE3Q%*fVki$_W9Et!-FhG?%8@R$un8pzaEB z>z+XJ-EWZzy<^9+0EQm0j+}*UO4p671Xy_5H%2>`z%-$GiJ$?m(J$%%rx6pmQPaUN zY4DXE@v^y8q}kKi&JTF^+y zC5j@y6goDLao@6zvw&9byd9a7-9o4^>C>!~kRhO9B>0_0WsOoXDGR zKgKHz3rgstfUQq}0e{~MNSt^|&7H-j7TV@g`R$81C@qoCW5VXdTmv#LD_|(jifwSl zlUqA_O_jrMe@5hSOeOCs1n!-HfGd_}bV^T3rtB3IcOjhe4B~eNcBF4)OLSf@NRdUS z5J;8sA{??gS-~x$jj=nAOFk%$CS58zpZroUMU?i?dDP5F_Xh|XjEUeP9Fi$RAzF|0 z?~87CV8FSHSL9D9YjZ@PWbKaHiA8C5otUF9+*!F^f5N`qr)CoE7nI{6%=;tqF*z}* zXAs5Ri$qvfTz&f?8&w~VQd)dx?YR2HYT8z@RY?Y!QZ`j_>Uk{$_A^op#4FA`@ro$> zhXoZ;C`CEW&BD#Os#=J-u+G~};R#3GWC9PjGNm#rm06|lJT|U(&@HIyLCE_P@NOWk zS?e_me__pP9z3W@?w4p?R?CBLC(i)W>r-4%altKC@+hUx^ji_v!KrU}&K)z!KRU(@ z3vrjUz(X*yc62!6vp)Mf=oJ**;5g1Tc04d8krHe0We!SNz)A4_{G`ZfOF;!~1er27 zYIDxpyalzA8AtoMu|u=n;f7*E6l<37>BeM{e{=CA|4xK02QzhiU=rdg&npUP6z( zB*G^f0LEU>iKHIW;!c?OMX#ZO9WQ72kHE)YTr>D|scBfipCuoKTX1XvG}lL6*&Jd1 ze~U?U3wK%C0iD?tSqSmB5eXz^-&uAL9(U!u-W-k!MKwpbDLus;yxVl0v3xS95g*M_ zZIsm%M&{)waD+r7fumV65?W)1DusG+lqu3aMYh|#d#A11WWS(h7FC;&4ZU-F;?&b3 z!`^FJ_92*R1u|?|X3>XjYFP8!dRnPGe=1AgmbjZIEQ5FBZvy&>>SI4_aKDmH* z*@pqydXB|VD~&p|{qYRgQJO?{;I`X_@w9OvuVujQ{l{`cQo_~HMsd$#w^ z_rCn+$oRVaaPn@Tmn{l0d^2bOdcU zK?b559qkYI_%rl~Z24>9kh>EDt@MizP5$@k(nZNqr@>Z{3sG_)UBJ77VK3kv5B37y zWgy3wNgS;bP$&Y%FE5-qvLU1|e`FQf1Z3&JitLi5vSQ;EizoqX!(=DPeZuuq7YlGq zWcpc3Z0u4Gp4d2`wKD(GusNpaxx_W}5ykj)+uJycE&P4v$bvB?EVK+a59x@1OT6V{iu$t`}oD|u@2aadOI zmZG2M+#-8=0)c5EyJqA}e-5BEWhQ~KBkpKRjo!5M%&bkxQ6)#WC`V&*$jZ^gJE5GL zh37#Vr+s4{a!hjO5j{J%O}M0fs6Sm8`*4me$A|H+8L%v9Pva-Vk8r%e&SVlj`$|kB zGDt{9%*FMU8BGC&(FVy*5qxT56}K%^Qm#|du7FZE+D>hyc<%BxDLbS z`sZI^W>U)J+EsF5u5Aeu&H|Qa#mU*X;kvWzsxqG?w}}96CfM@S?ms)&FDom;_NeCV zd^sS*^Rt1A65ojd5JmpdOZ{m2Wc~oPi6CB~%GrLrvb_K+T(a6-VY?00(mJS}6wp$} zb5K?g;tB$jMz_}CIZ^L5U9Rs~&?~N%xzUi#`C0i@C<8|sI9qhC#)zMFt|s1zm^aBv zLCuyo3M1g9dBX0NjfA|nG7p?-h=LLOF*J6M? delta 6968 zcmV-88^`3rO2JC7WCQ`-lVt=?0eh3R1Uv$7zmxL>Vt@Su5!rPG4TxO4rtAu#h{&#_ z!p(Y$OR{jNQc0FO#u{>sTc46^O0HGNwOs7Wk#a@tgk;|765(J^^-;H@UlIJxmlkKh z|KbNzKJ4hHx500ysR%jl5>&c?eXFTtv|X0B8|hXtYw!y1F&b(V=b_;dFd^T_d z5N}#vZQ6RGFs7b70ho9zw2z;8hO6BYQ;V2f%zsX(JT$5=u%h$Xv@~L)%XrnEfuPv! zmJ5o4!$Lt(L3;}di#mt4v}L1*R?(c>W74D z<84GNYojzm#XX-E_uTJ`aL=Pv6Rb0Y@(_G89D4&ylUtVJn2KX6j`_4X=E0zZV}1bs zpW~mk*d*;*eI_<`9IKM=QDFJZj&7wayNjmRHgi-RX|?P~D?rf9&a#Kq948own@!LU z0{fBkjKg7*KL?fpP?OdNfqz&K!FGyg?+n9P*z(cPT-SV}{PqLl8AYL>Efpwb6v;s> z74SJ=r6@8v^EMD=?wWE0Onxf?N3z~s?iynVjmhDmIhdH^!KA+n2i-%%=J$2s^ePE_|boK^f_3bQ=t8BN1r2``;`s`dRp;8{eQiJ_@GlfBUaBv z{?=AgBG)^g7 z_6wq2PVwv*;O)X}jc+kayUeA+cN6wC{jt1{$=a#7qq%S_eHVF0vAen>0qUX21Q`npuOcr3b}+C`vdZ?0%-!e- zTw)KLaIX5`BQBf7GMkpRCeV}rW!)p}=)gz6U_58;YlewR3x>7Lu+DXTEppxo{_~3X zMSr+2wCNL(sno3)Q<=J`loM|5B%(+_#f#%8ZPWY6*x*B+yF^6%kXvqt_nB;J3J3fQ z4ss^I_@fAh^78c|H!Ue;9&#qUe(<34AmTve8*-||Lr$0zvm&$3NOz%539(q|E6+{M z$(eaZb$ZBsTx5~&0YB=KK1CQ7BpD_Q?;YAX6=@Jfo(bxxYQ`TSm2k19M&I-z_d)5?ZsLW864)7B*fx7$F~^XmCQEM56MMH=0{ix#+e< ze5;5Bl~K|{^eEyX$>gmoMg*TXr3 z^w!r}93tr1OpLfdVH`HzCTruwOKRhpg^CS-oU!45s@Tc4`Q2f0v6C~1-y;h{kKU15 zr}9G@ga`+u9nMc)YA;@8pI;IDspfx)VH>%OAb&Y+R&T=xIoiHP;1GhK^!1^u_pxPmbo=UQwbie)L5rC8R3v8-Nk zxsx-0i0d<}GB%Zi0@p4y*5gzS^Qe|`r-H4MD617#^ym+|y?(!|6JjDJskFg~9Tyqw ziYUo=lxWN?9FtWC9;APh3x^*5RGs@=QH>I2;gS>BvUl{$1|Q!Sn#XKWJ=B})gV9?Xqc0^c5a(+8NJv}N&aNj zedg<+6F|1Rz;VVOU%Y<~mf3{7IapqL$ng+fWnTirfWH3``M5c%xQ(EDaaJJvOV&Ng zO|O-%yOwxJ6BsO#ff7-xNaIIzr^3U3rz$e?+<2N|g4AX6So3*;ER-lkP@oRDJoGv> z!XNlvjI7WQ$_673L|Wd;Z^?EqacimGzgt=dC8Oq&JZf0yKCu#L!d3wB34t-%Ay<8! zx{lF|VZi3GN&6sPY8%6km8nqQKa|ABjU_Miy1j0%$=nQO>nK}C**ePBQMQhMvUQZL zqimh0Z|m%p7K2Eq1g~x55GakLP>SYNrw8A3Ds|3c+i2aWbM8l(T&WVqH^K!EN^4D| zVgZj)mQ0X$&Hy%Ubjcd zKo3hRZgA}4ik3WFn|(4k5*5UMUJ;ia>nFuQS)a}D&v+qi@`@r+s6PeVrO!|aXet)&~TERnX#BJEP&B1JWCbrP8acp zlL<6fLwbvI=rztMCLTN@NCWCk%S@C84|Cy~qUb>W+{OfDInyNO6{6&ShDcxwm>#Q6 z(NCG$MAiiSCJVdYCug*%|`f495xtLoi_aC!c zp(BZqS4TP0;ms=*NzxB~=$H`}4?4LTXCC*JxyxI<-oShC!r-CmC01R%HHTb}6Z^zZ z+@9Du*lxG9gkIKOZz|}2F9}ZSw)Sk$-?|=-jmG?CR@(MsG3E1k9x;E)X``Gr%4wsV zHp*$EoHoj7qntL%X``Gr%4wsVHjf4Sp0CrUS6n#!Q(hRqyt5_`OpcQ#U3Uvj&+RG? zOde>_0$c>XY;bbHTDI+esVsCv7FS;BC~P8D>PWBB;hz*y^ovV>Q(wS4Qv8+{Y^^~K zNdVP^5LSY(AcZ7YK_ZAM^-GdLW({p40Iqz#s9z?wEjyN-Y>g4U$+ zSv1Dx1zpMNlv=8P=y=0)yjxu0_R@2(V>lMeQma9`DG1f{DwNTkg1XUc?(7QMMw2QX zcq4SNS6l$@8rtR+xZ@ah4bsR05efXFW%rXbBajW89ZZmDNZygrAZARRaD4Jfy z8gjF1Re0NDWJmkOHCnD0W0HVg=R*6aZxQqP={vUP8ar2i;O>&pRf_pA0A$2UH9Hzj zkozQoOYUdh3FbI5r!GWj$&Ru-7fF z`0>T|*HBA;xZWa^pVAWq>EAEcM(WYN-(sah30y_}4N`xvAYJYZ_@_QbbAV|SHk_ly zT$Tys0x9AJ3+6R+`(fp+ow#=7KnvdvHH!Y9k$VmCA8_?jdqJO62W#cdr^Jlm;Yt}U zMGNOIOAOZ1CdRVZtbcLXukBncO;$^yiWm=^bbI}O!Ei&-WM!8TZgz_g8`$Bj4?0C| zg7<=Ra?b=qu)_1q(XijqKRfy;i_Hg|6D z-Pl~-faTEF?tL*dKn!-})Syh@jXQ z*}z+!+J<8ydrCf{5BG*#kX0NT_SunN$=`KK)pufK-(YG;nU%2pG;%AW```2E7TuVuDSdg1Vko0nYkrPEFLWV)d3OB(un%dB0`oT->1-q@Hk`M#X zCEn-o-VkYmWK(V%G3M=-s3E~xkDi5M)zO1J0(7T;>z@gc_B;9sEfJL&{r(~KI_}db zZBS{0HMK#mdjj_*Q0j!0@~O8yvV}L+zDF=m6Ns-lQr91~=K7A5}CiM^M3kKiBQGM|`+gR4Nbp}nT+gLdv)zR^GnBiVQ z0wkkumYrLZ2eRJlvA%CVUIpN|gen0B$VM*Vds(n`xL>?N#q<=@+aA-)VsBI0#n4Oo^e1mV3=uNa^w))b_77A!RJn$6{{g znO`+Cq1r0j_6w4j8SnlZ`ZeyaNOWF9vK53uNhM!*Uk!qf=5#=yh$rl%3PlBuJAu`S2AIazps4n-bI9t)<&k~IeS zX^Ge?={Y~UNTmI4K_>qN#2=B5p=mSy zUj$OMRw=r;XFe)Y??VNDGM1K``>uc2B{8vGCFPg{CcUxIV*$N@w$*NlGvb{;ToM}~z@s^x$-`s0@~8SErOY3qJYND}#KT(kjtTWqx1(PX z5t%=M==$Enj(&O@h`lRzHDwdqPZ{B{<>p?3*?ZD8RQ|L8LcKj;;lEbI{SX9oj|u0rny1D`ITu?S#(_5fwS49(KG zw04LJeMiEt1C*@yk?A`gNbpr=z?(9nyWpJ+%tO%8@syy2LI3gTKN#zyy>9fsfG1op z#s;vghZu=}0@ObL|UEX3HIodO|~79rshk0z3H6H*p`nI$H{?_a%JuIZNN%*&XH zt;`o}heg{7sdyq63Nu>RxK_Kx@UH|Jij24Yc(G&+5XK@TzCp}QMAjFwo0|KX;7B#o zsv@ov6JYVxVM&W76wMOblMu5tjHvMLd|4EabcfQEsLTc@MZNT}kyaqvGf(%Bg%K(t zvi&%Hr4br`+6og>rukDf&6CK)tUF06uEod`_Ke(sazcP(Ya5mr&84Zf)t5aisJlYk zx+jo)_giE_@7S>{fT0JhBWGco(sd&%0T!P2jnU2}FimJ)B51&C^ou&cX~aZs)O0XR z8hoWkylieICxUrn$sY?=Y)osTt+U@|V}(|F-N9ymN*`}2zC?vIH{$}$Be=|l7Bmua ziK57F1(wtWC0#Pq;vv6~+sup4{tn+qLc*0RPnZU!XOsULDWmf4skB;jd7F6{hHB0z^bYrr}x%iTQC&HG4nL0kOf)^yXC^vblu1_`& zR~q%YgFcD0L=yx}GDEiPV+%nW^O-bZh!+3sBN#)AE+wZ1)TwPIA252o^pF8Bp~qel z;gbyjV=w4LQjckICrtdJ*U-R@moxlF;Nvf@8GO3bG%VoHl8?eIIJN+q>!YrJY>qJh z#U#3gyDaU1&TNV-g!tQt1d_7vEISB~yK-J{4o8Kenj_qlo?;H(ZMx1_J{i=AkLIX0 z%4!ND^YRloLZXqt(JUDWtuaHDLcKW36ltF#+il*x(^hS=Ur;lPs!hm--nl(->S>W- z?=>y^5KOfK8MZ95=)*QOta)yKJ*`w8l_mc~)x}~uihthONtNuYl($6~0JMjhJzcn0h#Oe#v35PIjPKGJ*rlffU3^Y!f4^4A~#`|mCM@PF7n+k5AG zU;cAsd|iGxdVk&j;Ga5YpO@aJkGFsPAD-wPo!rkAAa-H6-B)Cr&fTSdbB!-O$C=Pu z)ea(wLUe+`aIky0KR6id9V9vc50kG)+xj%{;MlQ!X!{HQJy=-y)B-L^pkWI-f;OBW z1JR9+_J@1?8G1yv{Izh%-HCx#`o)JP|NC_5qGYMlV5`W5C^?WW;9bG67x0b;djan< zkmJiFj#ddM6anLx7tS1i*$~nfvI=bivUFfYcF9s%vGIyUlmND2vXkUK;rgkI1vn-$ z{VXLmcBuzXY#h*9nSW{699NM}SfxBmT2*JPCntfwnAB?As*)nBtY)1{WO>cfbS}H% z6!{CKf<_EveWd0&uE^MBj99XN%=v{n)y&vG#dCf^Ar_=O!tzx69{ceKKg{U#dcUkhL%yn1K; zjGu;e9%}Ua0Q^tLW{-#-DyN1f`saz*r30@7C+vVJT>_^EUS1+ z(a&>kkv%zA+CuCOPwno}Jq!Tv9*OpDv7jILDUb!}!+>SQfOW@e|@lI9_09GKrpjC8iM> zBqSr|;`+*rrhvj|gJh=&J~golUVe0(n=vqMl9M=rh6Sj937VLXq$KB-DC8BP`yjzeL+g9FmQ(H`^ph$$W1&{cY(HLK*%4f?cmpJnaA5z9&$A8>msPG=uD2gb-lr84aw9SJW0fm{=)5EDLuuD0ylhi- zPS&vGWbif!TXAu*g>UNswBI82H`SJeUw z!`j@zneTx{<`lcbTm`nf{*kvPR|jwNM|e%c_ul}jo5&ttU`nKE&}2%JqA@?&g3#x~ z9JTo%r*nvtm6rO|K~7@*d-6W{6q{#AFyGt&GRW}b<+O^bgF5mHOAkHDoA*d5V#*N( z^>Byj#h|I6KbN0|0!eD(H`l3$*!?a+e+{M1wMT+`FlW7!52#K(kWC0q_o^TjQVY}y zye-fz_z4f!XjW%)K;GyC|CE;7#@?Ufxs`SLA+fwa=u|ouHz4S-_jw5Xm>!@n`JChM zXr~6=?^9;j+9y1}ti$dOfAb81)N4)-Tx<3oJwWk7zOPQj|K!M-W#;b_-xxIaHhWu^ z-%d$eJbM*e%x)2}8Q#wGYW`{4|H^{>-UB$Yb9UZ69YTDu%xRk!X6kDnfLI|u!8_{_ zZs*SW#7P@}x*5KH^$OH8#giOgCyj~PCC6a>5c9rIy)C!M_2M?8nZM&=9bxhAwrxm* z#HpYa?H=44Ji;SbTxjB0TuzeG?xt8#^fK2v5A`w~)MtS?S zanuT#&C9VF@Y6-c4obS*%rpNc-8`j*&ATpW8trHZhngRyglhH{J^XXXK-pymuV*+u zgMSN2NLw{f!!hQu;F2!bYQBD)SgO06Sq5Ww%e^VNXuFU%aDDNkg<8&7rVcQX>SDqb zF)T}%@QhhQO5N-?@#6;*UZUhYn{j97=EI$km|ISCKz?`>xW> zuifP+%s#os_wah^lj%T_VZbObis9;S5pugkJv(zT-JlwIi}RT>KLDl~+|;ronBL+0 zvlNJ1s4D_oX1ZdGrEL<}se)i|A8|V8#C}_;+QU#)7wSv8;BpM(k__rTCTzAhO>X2nC3oarc+Z2t76r9PC@IxyA*h6T7fz`5vmcd>czicR&+Hv^72w za3$l7>~W(Lj%+*Dj7g3u(M(U?!hu`Bg19Zk%0*Oo5-BYk)@3wq2>VO^vq|ji>YG77 zaaEj$%f+k?S5t=cU#K8fVNd_$)ZNf>7tfJNJsF&Tr=;hQnHVTw(ig&bZi_{%e}Zq< z7Cm&Sr-;vpV0LC1?RS94K@Zn~=uE~`h|P&jiM45Kn|OO(TS=~XmSDsm_%>&AF-kwO zJhd4$hw&j7m+!=W^!UmTU=GgYIsQ;?ZASk(Mcn0m3_V#mg|$&wc&hkQWfzhpClmg$ zL*?Ug2yXSHF&5xfs9buo1`GS0wG<(vsO2KB)+>|7!R+v7$A%b5Qg=-F1_dUU_6nLQ z0K59P2L)vlB%a0OZU5-mC*iHt3sEQg;g;nZGwQADxh*b_Khi-Ol8mzec)r{;K#p9` zV47uON`8#u8bWI9hTQvz7eQTODlALonSY27YXn!5jS48DT#OXDo7Xl{_rbnzyVD!< zwbWYc>Uu*_AX~0*afu=fXI(z&U|CTl?^#ZheDMl-deA%xVu~71KUBKDkhObCj5~b} zv@E9Sv~c3WON{92Hn(O#g7zaNr}#G>AwheD zSw?qzabd)i2}qGZ^Y3}|j>>(inInhB>}nhEF$YMMYhpl>7F?{NI3@D-OKIB81mNAl z5~Y6IZ3izDJAHteac9o5xWbG$l2I<*VwaNXK7wQdA24tr!3AvINNQd`JH6XjN4nIH zfRAUzf|kOI)5J3TirIz+EAmzS$i#czLG-b{`kHGI^)Hu*n+TG}gW_rZP?!c+QR!0t#JDh)|cv@%`XM@-8w?_cY zk?4b-xAPPsR#N=54KBh6b#Q}6h3zaJ7fiE5`K=Z#$G4ltiA1+zngd>x49dveuYwdK zC(LXaG=seac@cstmrPzB(A7n40dyJow7yNPejn=c<@x;gOu77U`8YVi@f&9RNvn11 zbI0gf!$owD3K<0vTZ!gKs&n7J%yW5~el_`2hnw(=Ud#{PF5@v3m-+z;CUtlT?P$b- zH*%oVNocPLx@mfYwBVTAH(TMu&SaIlG0`2ju0y14q_NB8AUpat?G=g%;Fr+5+ipg) zk<2-yIq?2KuW!~BUTj4@RcZte154Ka;8wCpdxdYm^$-jRZzCht6#0dm0+%}97(a3d zr!+!A;~)@5!BTG!DScx%kQu*^8}?k0ST3?1$9CWdUji4y5A`W=knY3ZePzyG+aBE1 zJGTv<2@vgGyYkdvXH;DPN0-6hv#atr8ZIPpnJc=Yvz=O4gEB{*wedn2fuOz4AE zRU|M=)M;+wXYhg|IfSaUt>PsA6{pK(kBQ|vq^wvRB3>vYeD~UHisyzf(Z!qi#ZyZZ$uAL78`g*r@u zjjtag>%gLQ5vaPu0>wzu3Pud+EguBk&|NtMhDi>qHL?UOLhsMvt)>%bFT-R3_I&!(FMsnVA^a;@EIu~sDsgvYSR;3YGnJoVu58SR!x6IkTkN}y^Jw>4@j)~! zXOIyuzc7F(SKWkOUs5r7sX-JC3(c+OpUK}xi~%)UUN4Ltm4Ky#uE${{s7beb!AY~IdcGyx_7#py>1#%o6Mwain6 zqSL)p3%QsXXT7m|#*uqvVP91tE}Y@QreV9w?l4H}^Nujc(^0p0k!o!znmE6xyoNq8 z=MI400PHKL4Sb1s-9%=tC31BtF_< z-SAR1PoQ;c3%3wilMCkGo)z*-d;6W(Yb$FxC+1qg zOZU*@E8x}$OZDRHke4c^?F3%Z9dkk)Q6hW2YHj9gswcY7qAZ)3tZ$VTpZfqMLIo{cu6<-s#i(Z zA?`S~1-@(}M;fy}@nlv$YrixI;wM-^73@^cS5c|%XUX>3o~MlEK2civzEt0E(?2Jr zw9j--l%$9hAx*|J z4mpqHX2^*6NS5zG=0r^D+2*_Ky)Z}nBE7IQh##>JiM7Xt6%r3koxS(IE&~@+xkCcn z*cOAB_?&m@Ba%IsgsZ4k(FMMd>CD#ye?W$(itg*OytTKgI3o3ObjLX#35(~29$zYP zTj+{QUQD$K1_;s15h)ZxWTbmq2$h=_DIrt#b|_hr-c$o6>IjR}|9+jwl`$AdRV(s| z2+Y8Q^?BYF068f)qbw#QNCGwY3;%B8`Y6M&A6+dP=1K1%Bm)O_x>_)Ezn84Ks50Ko zQwGhS+iR*O{RPAoVlz$@=BSzyaU-G3GG??@6(~`xJ@OJL4f!ATVRTDbTr`+4)%Wz( z*@NQ6zj`e|Bf?sVipkimPE;v<=gHz_?;{m>l)>%hu_=ATb+ugiTmY3Tev&eHGd+wl z@}y-C+4GSNwg)$ZvnF;!B3bYSR+tQ&l*_|X*~_q~Ufp1%QM6ST0~4JDoStO5TEIn^ z_z6@dy9KD1%u?NhyPWlFu+@uVt1Bv%zIk9y+)t472q3*AUcJGLR3d0YDRm zu_lbtJS_Hvt<_<(6F#bo(j5e)c^9*UsSU=){B^ffRH^F|RgKYTl6p>BxHJ?=k}srR z>;c~NYBacCXD==*B9#_GozjM3nDln_3^rO(QOvP5Fs_aHgZPIXcVw#_eUeNFMwc(M zffyFKS%hTfZ?P{chHpma9$j%_Pr%!qm?MrE{a%FDu^b(i+~)#QKc3yb0AY^OeEu+O zA84j3@#A^>^nKCb^Brh9O8GRK3_T{8dcUh`I>>qKYWD%S-v+!S1$EckNT%$8cY{Vt zLOXrW<%|a+zO*ymuVEqAqBSPt9s%14O0hXCx@9;pcOQH;2>jP z1ygHMjh+2_<(OSmQ0|@I*OCU;yt*6Wu;nzaH9g^kp#hKj1UwaCiX?&z=Aihf5mqoX zz7MZJK5CIB60e@A+;RhQ=@N@f&mm{%SdBPT)7Of=a)@WO5dSfV3%U7E8}=4LyeYJ% zUUt|XCp`X;(qN+*mUDOZgzZ@ZV2TU>E~;tzl#^_CK2kn7vsCpGeZ*;G6PS)}LGP23 zf0Equa7?R1?{YcaCTvJcH$;Fcif9|d)qTNPeF6SSI&aj!+5WyuE39Zdsp$Kg=owv` zb#0QIg@5YZze?@^pPZf{B$oOcM^Q{v*cPs7=aS(4yD3A=v9bIVlT2yA8rx)yH$S_B z<;HY-{6Tbj)Aix+G;^FqDz4(mA|D!SS}K;&FB>=UW*0-%8Oq`teHaVSWTqxeQWx{Khj5cy~6W=Bj>` zB`Z4fIPr~Cnc&REpBnf9$YwoMwri=9DKboB%gAM*`qb=C$ys|oASU?`=L}4Qr3YoO zb0-caN^saLTRN2w)L;*36WTbv?d@XJE%@z>^BLJXw4y z2zvaU{h-oM_-1$&{Y&-SJgJ-at}JB9o~o$XxLr%b$jl3?ip+r)DAPB@c&6eF*cyMT zi%m5>iSZ74T(-_kwjP46r6Xy4?J_8R#+-k^(iF_G+#RFM$7m zq-;cg3G<%Ls{xd{RgzyT|A-G7Syp->XDNv=VE+?EhF$xU1*wHq#*;#OpJ#v=pDg(g z#%_?Ri9eMUM=MMhaEM{4kwn*N!ss;3ELDauV4kY7sIAvehIJHub)aCtT1FSib!6Wl zfpC0Y8k=ck;U?irfhCSM-|X?)4N-Iz?jFXbRY*O#-G`4xZN7!QGTV^u=`JIOBa8x{ zW}p~g(M|sYlkP;nf>7Ce-i^xAH~?R!1&5qG1R9SmLGleB0Ku(9k69gnpA;6G6K~l= zB(V;koTM}J*DGr*u5pjB(@Ci%@Og%Gh{?%id@DdI-yujXkmwvLSP2*rs%pmLm=mvX z))}B!QR%24402%}AGaw=yeL#00CH8Y2ls{VxBUh9rbA&Bf4W~8%X$z;AvzP8L^L?X zm>@`uL2S|jmO8YzSp%9luL}d6ZZ((ePbt}7#sFy;`hmN7Nh8of>phuDlW|L zqRl!sQO8a(kDkr#O&tExj+2HJ0xJrHM9$=Vp;1+zopI?lF{`J+Lkp9J zT<9O)U>JuDJ^m1~-SFS#2QK^NB6ipq?=!`PuIW@#LCxsp2BXQAv_$BLZinI|*2c8d z>Oe%?K0B_lF>Pg)%2MToH)notLS1#VFL<1vki$!X)xDA%)Rlo-L@6#@i%fBz$&R=_ z1Jq{|>w`=~+MQgN*c3)G?Ze#O4#+!(Cmu;?mxgR9^Nu;6w&*9<75nkF#nv@Bmoe-NZa~7kTtX z)eZ-rb%UWrOx1OrqO3v)jhEgg<&(T5px!GnU>_voMo=02)z#p+o!lts%zbALW$Pg| z8M|{w=NXx)@+*Y;+1=KrkC)o5bLpB28V@(+R)~Hy(t}xpp0iRPaad_Ctf>aEkWDB* z7=c&0o7J#oSPOC7RZ_%QK}_EJ?6Rr4HpQ_nb#S9u99OFMLRbSA6{7Y8iBlXEkQpDa z>c_9r>@cvJ(#y&=xBN(#x8VFYrascai%Ed#i}&p%VN0qu#Hn$pcz%Tw`+4Z+Z@k`% zD!abs^h=kj%Etsx=9XJ8=_IboL`f<^w8V+ z==FqP^{Q?!vQ&Fk!JF&Vi13>NVBmJ@1v-UvG_6aB*rGRvj^NBJY zV|HdJwrSKQHGlV4$9*q7X)O(vg`~tBF0%`Kf|GmN$z8Y zE%#n2uAN1lGCLl@-PK#hiX#{)c9BoI*jU$SNK=P1t3YH*Nf5jV&AlNMutj)DQbkH_ zT(t-}smaF^njBp2ShWf{NqOl}MA^bX3#q2z8zdU7BSvTvv#wqw<-IU}=d)RQBge6- zpNvP@7G}2aA%(uSU@NeFde(hGaEMGg0HZ@VV7b&oO1*hbT93e;F)mTG&&$O7=gLJ( zYg_VbQacYPT|{nczanHbU7U#fDNGU5&h2dElV!XMXIgaRiL+tA$PJ^xyM#0KTYIi| zYQ0fqwM#e%6%Q8}TDpm%P_W?_4ayAe@)dS(F&&KThk_GEcU>8gsi_DY}BrRGK2>u08s774)D)E?&Io;izzKqm>SeUO2SEz+MEH_dDHgg)Z^1M@rCsO}G(Z zpROmh;==6PiGASt3Z<%u7@R|UoLBAEl>RlQZ9!bHmWj?hBwt;o?QD{QqabYBw6SQs zWUC9sOM(>JjNuTET(&Wx%i0E{t{mZ(a0qGC~4dq3u6% z;~m7dNHXV|(b4)Q4v%L9ze&e|4y&FXj`p?ug^nutGWkSCEP^siT=}&byxQS3M}NFN^`I7RYaVumXbXo_zToBgmFY-a&`jzTAoNaTE1*Yb3eO{y={i@-f|Nmi@$ca~&Cb8z2HuVOFk(!uyq>MZm0vcIwH)B6( zBfk(1_*YYKMY%MZJ@2@J@h$-Y{_QW2rTGO|RPD4nc{a5nkB8G{0fFuR-~iJ7O18`| zSauO2PI?4l5da~YDde1q{5gK;ahxYW8hRdWQ8<&Oo-N9Im`jdoG;L%|2!&=j!3mhz z)MOPX&r^yC{E9wC{GXJ3P9nPc;NmRiuDw_BQ)27TwC$IQCJqb{)vG;$T_T>en}UL5 zEdxJq1a-87KQR{m_uBdN8Ns;E^|9x!tu6_9S*aJ`SY)#(qP?6wZQ<%e4T4b4YY-o_ zR8`;f4gYmA)#02On?CYY{#zuSe?J0>E8wloOj&VlRd^C^0b7?HZ8C`=RVH~bFEXgy zRlQ}lK4$^0aEvh5Yy6W(voaW&2&>Rts=)~YZ@g}C{zoawHaC0errUP}c6`Z(kEpnJ zQ0sTV`?j0RwNY}~^T+9r3XKN+zn*TP_b1JymjjE`|0Ugw?dKkT)>g~rJRCCyl4TtH zAv7%$>Nd(1;(zK(lMl7CUvIos;?yX`m%RGL1RPaam^wE*@37ZhDe57k8p;=Hwa2U( z|NN3xS42!W_8tj_ufNuC^(Q3AP||l>lmLDn_IN>PWiQ%E)^-?*X)oAlRhe}p-?veo zq9DvJBqWqKt}^RNe%F4uj5*7Bc!mBQtdj2YPbf&)VJ!4P8U-Hq zy~^wCDLv7>82cKK7Fl)2uJjVN0|U-fXuBr$JTqMBEudps8K(TzWs4s~%ETx|N(kjD(Bhjdy zvBmc-0RlP6=FKhvg2ksCpk`tk@IcTOF*R(`0_zs*%Npnl2_?Fbm3(MWvwa(5BpAoM zjS4Z52}qQL4gxn3)9V{1kz}h#3Lz+j&!~1`C@R=b=2{EsoC2( z!CdlO)HpQMcLdyE3ZBen_3u(ENFk@i!O*yxJT6ng8heSm`%U6fExYcCZhn(lU^Bkz z7ajCU%5jxQ-*P`ij*XWdEJz-0kRBBMVc{!*wU*?zS5so?&RP8qxSVjdF$f?F{Z*%9 z3E$aT(H5nhk6;d5l!)UDXk`ni4-w2j9)xaL5m406ZTMPu{Rrbxv8Mo`6#uqtTix(^ z42sy2?mm?QD{^AM7W;rrIY7|5p|6o^+UfLJl>A@i@5)qm%Mf-sHFxsD`OBfq`J1Hl zS37ZDjmR|5be%e^^JUj>v{I4L7zgknW1I{G5VXdN+@K;-k}oUeMD_-lpK{P_)PRBi<_a9Lp3r-7G3u_#ZEiKMOWS zGYG+7iDfKxYS{ilbJVpapMrD+KL~T#l@O^0D*%f)hcVBpG4)iBvG zyPhikz!}jm?Ml$XV z=4AD7*X{@Du^!d_LgvsQJj)e4!n+Jh^4>!1cEQOwB5e7PEg%W>m9ryY-E)@fM+}!b zsSyNhQaW200&wYGfit`=@;xzS#DJ(1kG_Bgm1~9~joQg;kl-s8Nzt0J2j~Zm2)hNH z=-pzMJ&jX(C5|(CfgaWyd3r^(F*5%`FdB_CmhJ6wfqj*Qn24wZYRQJAdjP4;d?pOwQEr4rukA`zIN1li1x7(Li)Z zg7PVt81bn0M1zXAIJd|x!8_&AdT2LldE1mjc1?Gz(JNnhB18kmf+qH&=KQ1PRy;uO z6vX1#rf`G7J>2BUQJa=D3O-!o5F9rxS=prs$|R=0aija}75Ez7obSfYmNQL!uuS!qzgA6IZ;;i!yo9g})eKp+`$uUl6bp!ABelT~B2IWv< zgUf;%DM=9PNj^$yLY*a-tu;YglvKd4hraB~!pD}q^flpez8-Fy6LLc`OE1G1>^IoO zJfzlf#K|KLwsTIlXatBMs&Mb1iwUojMnNt`2o-)F6lTcZe4>iImj{^qfwv&akFyWq zM`T@@ys4F`;yx!MsMbP#^UAmAST2~W%A-qU@*ahbFU%<-lYf(w&U6rJ>3y*(d)qin zY+Cs;kZFSBM?2NLc0JssL1|P>z(Sbtzk0`mUnJk&2KgyRy&c_AQG=FxL)1UEDB;8r z$RC_Jlyd%OIKnZ{1ZPnZdjnR!jhY6b2Aha^?R*Pvnh1(o4%GTzS(fsn6 zLB*1bM_6;%RBmI%-d&5!$lL$y#<59B<>aSCeVue(5O~5^ z<+P2N`5jkHUloiFh(fYN-(TX5bmAi=zYQ z?&!Y+`AuWE{raJ5gk*XU`cg*kk8IcSZ;BCOYGL3(Xgr87S6 zuqV*>QdiaXw=tU)=_x2uqoK%BbdY}t6cfy{BXYwg1lX<__7;PF(NF@wn zFJtA=-O^yTo}qk=unuI6+iMcEU?Q27N+S9OphsttUR_%m(FpV_oD!T3!O`+dM6BEd z!lr{Z5|p-al|P)^zZ6K$ioFT%WdoafcPi}yjX-{7yGDHvCuB7vOqd16Z13!-v1v6) z(gT>u9@{lWpf|W>?jc|vCH6~(fM}4d`H4)R>8wfxcVnNu5lqu$8TjRL(iY zkGb4dcy)Qvb@O)XNw`E)ZMS)A%2hfDjo`#N;Xgc<4e2$KMKf+V!(z=zLt~*z^+j!{ zfww4UXn{%Dj3oNs?JM9~Di#}MQPeo9qJ;;^B7(*=;Ux>oSJr`~+^Mu2l#>$k$cRbF z%_w(km&N5d;Z{y9rTEN>xgG;e9>D!XhWZVn={r%wP8l_b>lrz0^2^EFp!!G+qja0bN$&bwUP7f*tbH)1IB|sFcsF zD2auz7|AmSR@acFmM(*qrh^mph0#v2VHqbdAW@fPvm8`!^8Xj{MHH5L@3Ll!Qfm!Z zYG!rVCV$)Pu{8gTD!8t;&~2F(TUH0C+aAL_HdHtk;Yw| z9jcsJS(W7S^8TEg8`1>Uil^c%_LbQ#uQ4|!;(0s-ssm@a^}*saZyppDM}^+rddl4W z!&)9+<)>BvPP+HS?aFu2r{E_N7rETmtC&=^Gg)pg4@;hy^KA-Tc!*LKWio)Oza5D~ z0H+_cdwq2*NgMuM4||Dbv;74nAT`O4+Cx!MO5*02HomoZJ2l92)a4#)122ABpH9ce zpp7Fv$MAOE*7e#at}?ff{_8PGy#FH7khs<2<`{&ra^t z#mKtJKu68t-I2CsM&pkhmM6fVmNB&Ur7R~%A(mRw`Gn~yO0|HaYrmP%`XsF0E1&5v z*4d}?cvb+Tq0!iyo}t32UMDBzwv2MY;51&Ho%-GSbxVlVICz<9`rvx$>Yz?GoNbj_ zR!lNqM$BMQ%l!>cf;x>Ap^$~y(fg?~50B)n@*f#fne`F!N^OvE$PJ)^&Hd!#IO-=J z57%KdtY-p|_LWn3B)cUb^{#szA%osf#996TPBZbzU!XSU&sKqtQ?GmE2)d9lxCn*c zTUxY(ayezA9VCW59~Aj-I6|@9330=wAAf%F9va-_mjscCdd3X zeuUUszXDheen8~GF**RU_Zg#0H*K^`1ueI>Jn6~FM9pW#4D)6lTBYXRn#wq3;I{)# zYFo{4;0`#WLRQ({w0s^)>HW;!E;D-d(H^WY#cVcQ$n_MBa`{>#$xcuR%x1k%?K-?? z;7T}e@GQJ&x?k-@Z!5!xfAx=1Irq`ep}L;K+BJV@+H%oXP@@7D(b`vra0P5INMt|z ze4L>EXfmJhtl3aE7WWimwC}8n)b5?cD1#MbQBwI1-$S$!zy2QTqF#iu$JG-J;U*Cb z%FrK2&(NF56vTERPFBZ*v#PP1)I?YE#U7ZVZhVNX5gD~b*OvSqbddkMzjWZ(Aik-T z^__mOLopEyd;Aw*u4TeZr^)#kL=Jz3tJA$-IOUZ5H{fg_+m;PyAs7WxJ2{dMMGGu+ zI_UHZA}5Uf~@h=%y_CUaXnBxpQKnV5S@WhqhSv(jWew)|RGNm(XPc5jLf{ zGQuJx97e53DIMRSS()Tlv0R;G#Oh@-oa5oS#838aQ>Ft)lnCtMc|6f8!=uYIG2oFS zp7n{2SZ(cXk3s|%W7L$4(f_(rjl(NA$$BEr$K7xoUQ!<_$`nMkBi36ET)(}J)>da~ z=S7zz)+=qsNdP^W%;{zQ8 z{bS30Sss2$aytFWgDc`jCV~VNG{l8Y&C;>#z5`NGt7OS=WZ&B?h5y{d6tzyo7;SkPdt*(=^z*407^1- zju>-PdBxb?r~3+qVUgMoM5+ehg*>!GGtBS<54_t_l2>^)f>8Y`x12e+jdTYGb@Mfr zDiy2(v2LoP-tX1-YGN(6baVROZCJ$F-DpVn3NzQradZnw4e5(a-Snn~aM-7zzqkrR z>P_eV6b_U?=+NUXBOj|HM$U6q zBe??TU=W?y(fL2c076TxVb9m@Y1*3Uj^;9yNv9|3`aZ92yjL2=+6!boj6DzjEjb}n zSbe;BoT1i?=Jt8M{>!IbT$j5>Z4!Qq7_2n86_VhA>0tg{4Y8_YtAw~;)P$TZ%Lp(H z9r;W}L*i8RT@8U%!oV8I#2^tNVCH}|zWj5jufN%5@u;5+vV`M^&e1xK*T5;};UB;;v znESu+8d>@jUc{xF5}-FVlgmTa!^}Y6MwzP^O(rNa7sk_sZBBm?@;_&lr#DU&gM^jS zOBKPQgzJo`0T04}-UCg}6qbNVREG91eGeaAXjLUbPx%>@!vftcx-{Hz744*v372|2 z?KxZ)+SX^5(SgUtj$9cNkJHBUn*=(rmJR|U2ODIW$SBym+?m~JWHR@MH>z9iL?~W^ zlJ1ujWB`e%Gaia_Ku{O5sJ=k6>+T+ekICxYMFe&i;OThN@(L9n8j#{vAP9kJY=0Sb z$nO({Az3;3Yg=r;rKP}X%!`1)DT_F;rRp{s00V_9g;lhwWSI#|yYa+izE14~NDbqN zFYtsQv;Q*+UFSIjWK0fJJ*JFoenjslKV743L;`{yJHmST(O~rA48c-m^$J@RH~zSh zGJTc+Oybdys?Bd3q$Z_@zWjbCgLAtj8Nx0OJ~l{aJ|7U@Z5x1?HI9eE-GV(s z+Ap1abIkC~8zU-{LcU11-`N~I@I2G7>5fBwF_~M+j)b(0+85*}x=0&1#1A#w88vP< zqK2JZV+;jkVD}EktdV_e&wgF_AgukH`Ol(cjSg zpvR~<3BqbWoep`5VQ94#8oMnj`gH6pvQjon6XI;(mr6iQ3~oFL{|&X82Bpr!^#U$_ zq0rpq%T>(xl@1<*W^thhk>#7+E{<_7kC`;lz*YXSw|XM^?wp@&7BVLaS>gro3mG93 z?O_AUq(4;kochUua&b{QYr}tjy(2eZD846kJ`=>!n#T9xdF(=xfOLt?bjt5 zn?~j)U%w}8rOEu|k!Zr>5yNOQp+Cl!ACn|~|EG5k{Fiqp;4T-Bpu zhCVU@__kG-2t|)14(=WUB{7_!LGjm*UVtVMUUwiIw>E#Sy3C};l-X)eWUbcEW!rx) zSZ>A9)>YoGTP+jEb4Qa|w~ScGn}$vSJ&;LGhL0f@m8Is2v60i;n_mzZGZFnpmCu=H zHzvMI6x2ijX_@ZYQB1CD0EY64>=nkSeaP~lZKqz;b>6yCKJNK?F)90NL|U^HF;;vPAMr`} zAxQdDVj?5NEEV+aX3PyJGz+pUGem+_l9k)motBr|T7qj-vFFE`kzpjPS7FgKT`e`Q zR#p=;{6^@6jW!c2ne*D=>o9%#_+sEW2py2@bmy@|a1Gn>kuub}j3j_QL3cB9(Z=*y z7xGwwzEx;Z&JylhSR}#jz-zKIAVc|t_@Fy?+lN(^gFNcO;PM5?$7clrRXYvx2-Dgd zP#bdc?v1x3Pof?Hps1{ydG+CEbk>;>SDrKlNsP{E9)md}4+xiAulM}RF?;q1)4i0Z zk2k2a#(>Gv=7Xx*Na~k@yM-==3vN2$=B?3!8)h}AhJ+|4SB?m;1eMO_f^Bts2~Spx z2eZ}4f*ZBL1r~r&e1^dzig}v9)ji_LBcF+cq z^=ZZ5)=aJ1Mkcb8JsCHpgdkh_wwOwC&DAA;l@BgtcUt)=QZSPS(R-%ESaA6F(jyxZ z5rzwAmcp27EK?j+owc?OrnHoJ!rh@9Ql7SeGPS(7HOheBap@E*` z?~6GaV<#|GJg4Qslwc52QL}WgNuPa1CDTRQZ0BBwUL{|vVg_jt9os4}Gp4>j$MLG4 zKlQiH(JN+l z-%ND@`D3m@T+0KEn?szJ9Q-!YwAcA<89o;7^xwjl#6CIT3O1_J%8G)>$-cU0=ttG58}gj^&KO z_zR#Kq;!_vR;GFHyBTZ5_AlF9Hbj2)n(J9xAyC{hb+CW1@N%5VVSqVsjG$I$jc9|~ z!Md|=t{0m2^;rcbJY;ku-_ln}a0qT_`p3CWUKf85NDfvDo?U){@e17j@p)y*#dkvT zwt9rur4;)-*O^bu)`*^i;g+zg^2etn=M6B_5#9^5;)}@qe96u~yA4Pdu~zC5_WTZu zgMRznM0lNJ&(uyhq zop>ZOFW&cCMi?uDGgpRuyj)yoiYP<7!~hk)USH3XAs>PK5Zm?D4KmN*j3HM>G|Fq> zvh4y2iNz{O4sa7yaNKO+jSBd1ZiU_|8h*nk!ZlE7=9)LrRo*cA*9}0^tkQKESruz3 z|6KUx6#~sY$NOsgZH^|y?hR|S0T&44Je&@0jJ7?ia3S{L`lQ6X(mBd&Cyt?I`Cb_b zw>THeZxSbB#+g1*{7%WaU5AVo@dz5UO6|3p7Q`irg00);@?S9IIZ}k}3!JG}9nar* zX<3R^S&9zn>v815BSCtVzI!S7=-GDshIcn419!1+!Zl%tD_bx%;F#I#$O90g41qqj z-7|Z?318_Mb7c`BArHZ-)^Kv;D*OxuFXkNvgXNt7tIM+R>m#!88`9Th`{%dU=3rO- zvYM0KdXgKaVG^68io?g^sg34Z2A7?)HrERb4f8WT|B6^6@ya_y(oPPH57!QR`=|_m z!-jLKA^55_i=A5J`6uCHcN^G#a`gPhmq{HLDd@|yH(LvErV$ax41)TMoQ40bjNB5E z01&8c%G@}FpZsV7n-aOVqN-L^%TWjC6}xAF-pa{9YW)G0COK6BriSL}37s3EB@bP# zI_zfn=77?2fhlBDcBu{SDty1H3`SI;2ixX%PPW)XY^XDAhSjaai|gZ?c|Al~(XgjpHivLFE40B=vz8`R_9cR$%^&e8bT8-yp~NAG!_Jkc#r)mx}J^ z7Wlie1Jm|jp^3iSWe)q0%m{Ih3Q5B7k0=OB!kjxA2E`!F#tZYXN|nLkFrryBqi!)-(Jn2W*GgS;{c#@_jtNgn}fWHeb9pc#{=X;nB;akp?{@dG@ttr)< z?-Um{5GlyrZPH3M9{QrG9MUG?c94scbThuK)SExjqlXjAGT&t;h$J)cQyq&>&yW)( zum6;XjeK;VYZW3GWEc-AS5*_5*(oD?yqpe pXZ!W@jc(RVTidX+hRt9s^1tp&=GaeWFtE?h%N+G&5^PAY{|71NJzq(0$38Vtz`V&e*=K`D|nHuIN0s976~340Oy8-a}K^4)Ir2`Oyk%X z><{-RM$f=xPL1Pl2E)uo#<6iu+1dk_7boD&#hKAF?vU$$VM^o|gZ=)Vh3<^Up0Pq~ zNiEMf{`}1#aK%4;k8Na9O!nWHjJj_u%SE1N^b8Amri&dW!Tj~tUkiFe=4)btS04EJ zicuFX&__&=d&S(f$$kQH0I!@rFezc^f$g8j|NaDCLHTmuZ`1?Gb*cLk_;y2X7@h-f z|BNu?5@;uXumS)4Cm`6C&2E^B*xDuFXM*n25P#}{cdq*zWmjv*p)Nxf|KySX%m1pN zi&swnryKHkL;m{fFQaF8>(vUn8{^n8dWHjCxRQfhyL`%Kn>~kmSWJ!onosGMp5Y>I zZ8N?y{_Ljk%gk%`eWGj6T%r}^@X!NXIX2?`81w#rU^p5ZUwZs=fd;fMT}|5BjdQpgp5BCUp?kL>lx@lPT46nJ&sIr z3?DFCu4lkSE6NbCF}XE*#@e-wV`Isf;~l?#y%0_IO}ctL_vvlVaVf{^wasbw^~|QT z*DL6MG33664u0*p^kMU#1tR+k`v09D45uUG@v&Dce{Spn%Z~0v_=cs>B!km9% zwzOP${}$Sim@POo1*nisXL$db-Xij5Mc0IzJSMjGPq09&^Iy$fx&kXcV*v7hZg?YlFMdkKydhT(GVy!^pqLc^J#b_6Z;S-E z`P#MvnET**i9I0qTR;wnllBUE9$X-Ba&~${AhCc&kp~E6;2vTI=F|Wi>x|=R!XEC@=C1`Os9m~}J{KaE`)WvgXB7gUB ziRM3nS1agzj&>w+Q}IPEMw$3c;8P-TOTgEX!s+qz@$zwPcej~8pIh6qHQ%U3qZnp- z&0TpVIs5sWadyg|2~sqU2mOA(=a0fTJ`%1fO6S)C<>}*>FTKE-^tr;Dlyv>cPHKGM z0v*zV(Rea5Z;fQNFNdCb9 zGzGrEMbH8^HE)IFb|B--d68I|{hwn#O~1pJ<{TW2rUhc2uADVPr;x!slR-(&CqR@5 z`cK4xmW8Yfj7%i`fzA*_tjA^jj6wgf7)@1mg zKOApGj3-xCjf;zqV8j7U8wY1d0lD)Xf2$&G#F88j`lDgb5Z|6iozR7mS@Rq!-hHVJ zpAvFCe-O>|#P=)?$48~&FtC{#3qt{*NECklGFxMtVInrg-u}A>hKPkMsrjVPbB01< zas%!X5{s^gh^26UM&j|w5@Pbsq2{s&oH2hy5WA=D?Y_T_`U$*B_Y$+MDAM32boRNOQ* zgJXkNv1}8V*OXN8d2I4&1FO2dQCzAXvkb20N_u<$&wmxG|1_G5npiI?q9%^UH)Dk?EHIy80^Q9!Vp5As2QE83G#SUDL&|o5O<80| zt)NN2)C&546BCQx^LcM$3Pn(g?4dO#Y%&%$51(Cc{~9}2i2aH-!i*6I2>Vy-*$OiW z%y(=FJ+ENRL>QEsH0Av?v1}4Uf0B)(oXV|4-ZR!_s(42At}|K=5VKqPIJV2Gg4TQ)PqSy}yt)(h@hOixEWTCVm zj)kgEyx``OaV)K(=ISNelZuwfpb?8rRI$M-JIDzQ^;bbj3C31QHEJ^D=avhrWZVY} zUoR|wGtY;e9(6!L&BpL-mP4)3(-&r291aR>3l~9#-a_+s?KCqhVgQOP3jefDng+R+ zK@3Q~QBXtKClM-+uSj%iiXR>z)Iwk;pHX5VR|HvjB2EG$3-IX&d=mG;^%C8XFcd-% zh6mUZGVzI6mOUA5fj!`^3BhC`!YcUt8*=`C`}L=*|Ga&3^6RII|Ga&3_3l3xZ?1m< zh}>b9k`>=a-$56P(@_sGz$ozO3IPYQWlx-~^S*8f?~Ff-A$h+<1enmad5?)Ez$mww+^3iH9-UE3}(z`#Wdu=`f$UPvOFU zW7I_-P8zXx^m%?_&gU;di>oDctxK^EWgCD9V5#Mw1GSd9pTIkx_hXp2YvO?gbZ2mZ zfJto|nS71_l{|9#=7TsAL;JOuB;Qud8Ci~jnBPjtDijVmV+I#+g5cOg@NZ za$P2D1^&f9JYYcv!7B?v8#r)dQ)vApA~2=K_T=0HZ$0xi9z&}hSRjI2$T%EG0Oppy z)bkE`_V6wINCZOkAiImnO;T*O?A?x5|7FJH^JdPnB2@jnA91|D6zCi29{ zL`)}VOgS>_0Zioa3;)EVT)qf@dqnmwrU9(*LbeYKq2M=g{dgx4hA3uuPF;ZRkh|fN z`}Z0F2P0ENi}s{JWW%qUn`qucxNEN`L3jYVNCcF|7YDDzc7P#!!!d<-6k9js>~{c7 zhVL-j2;>n94KK%~cbF{p!5Q%wf|d_m0FME_A;N;1W7lH<3Xy}XWbEsIobu_5&qzQR zA_!N4oo#N2{G4NenOMy@(k`+Q^k4e$u?N;3ny+mUgbUpjSUb{SG@-dfAi3@PY_N>5lgfRX~N#*QNtW!+XHwW(Kbg>t^^Pabj30G4c!Be|FM5V z&KQ{4)V%e;nlNmqCuoj;3HFwP_O#Xc{i>t!pdg1TkhAC5V}d}Ml{UzNQL;j-f|Rmg z)osz*;Yzt!=u`}kb#8D|4@@3h& z<6%LnQOG8g-mV=HY1LA^!~hjpxk1uTb72$fVl3X7Z1gnK~ z0tv_%S~*N4*Sqq61%P6+mT+1$+sp}y=5Pu&bbg1MXe$TK=CP*&iyq(b2D(HTr(&A* zuJ8M1;Bi6bN<^j7`_lyn#~^jU!ZB#w@o*AF6()|Ok#&`=AX!7(-bjCy<$ooANi)mw zvkNpIeb;<+P>}L)ilFVCP~u?=xxdfnHYVsYaP5hg&6uix5^TPAWk#u8y2Gi2o6l=< zA?mQ4$^f=fg^y1`X3qVG)hxs5GR7#udDZt#yoUvms(Fj#Q)9QJ8wc7Q;l`nEk!(}Q zYodJ`qMa6mKqZ%mY(?PaK<$ETbHHweZu8OCg!?pvdsGzOlU<{Zg>43AXGFVoQJaUl zCfFw-*n@t5QJ_kEg+7rx}#W zFL~Wgn%Cfpk*i{Qs!yi1QOqI1x-jBosFW0(%Mo>ZO)_vvE>03t$v-t{G|N$HRgKaN zs`OQiNmbgXIJil1(3cwOg458Bj$wfbw0l2*2{W9+oR0p;e|2wK~WeGr|K)jwiLlo1-Zy6!Btb08=?w! zC(a3l0c`yWtfz62>7DTT!NH^~$|p+;-MEs=;daX+)&Atx43a`#v&YL}k7-#PQJfNg zI*rPx0NfRWC;E;UuHH*9)7C9=5TFQ_@_X$I;O)4S}L)-vP#U@|HQw-aTWk^6=a zx+ar;5MO^Uh!fmH54gxg_zqdU8{&z|TpM6Q0xWt@Yzi%anHQ9C)FG(fe+a6UFy{x8 zgMv^G8IE`YiHYn}$l$dLi8s$7I~6fg1guEbSdc;Hx7iOGpPh=}bO#}KU;I6)+Hw|k z+g2)-3@3j5UcQJbM9LJ8I8%ulw88kp+Vg%PiSU2<*{R?z%9h9#v(lMVDwzJQU5GQ< z%6&LKp{PZX4~D0sUn%|b!`FwezyACG?$9s)%bX9BH=g_HUvJGnAAWiJ{%ZJ(_l|zJ zesDjY-~IZ(Y~DE9y!5g+?K^lf**7VOhVetOW6XJq;et?)VYAt8pcG<}6!Z!BC-Ca$ zoUfDH5gLDH>%~G8SH4NC>k1)?rqGd@94hWdV04 z>i;#GT#k(Ah+AQrgW$M~9z)c^u;`d}JRZq#>9v1n91nWNTj+J0ka6b4rb15CnRkWc zxa99Y=-OP0VWuYhBl0}B$XSWsx%F^?+DuI_1%gt=-DM0e{EKbi#q* z?JImKufVacvG}sz?+^CGKiB>KvH0iTM$hmA&C45|(}l$1oG!BcD1dnU^7!TPv1i2D zC6j-9#@Ugthvp5<8=5!LyixNu{ya6)?Bcov$JDvB?^G?NBu05TMPp<9Ra`hWo~V^# zq8bRtxT;?6RDyf5c|mbr%6l6!P|omUJd|Hi*XM>hx21<4HKK+%Q1X%nI^w)~k%P0xOz zvd`nQxEWECaFZs7(wNeyW-S{nj=`8$!*c0Y7<}X1R=Zgx@D9DIA+}pdDXtiA)>T;9Ud3z3TZ(_G z7uZC8$&Mg6Gyd!&CYib;AK^px8DHagi4iUrJqA}!R957{!5pceng{y(H_G?mT(sc@ zfpX@)8P|f3hCM@6*vh*>zvj->A8MVeNPJXPBw=zkl)gyJsp1#SDr1O+tX&L4u8fl2 zh*r5yv4=*85x~Q3N$^-fmc+6h09TaVCq@#0A`}5Mg2l?w~DQ ztEq=)#B>q#kdXQHBzOkAQbnPn?$yc>#YbINf+i-Yp_F?eB4SvOF(Y}zuQ7j#pxwBf zW*(qUYHH>I?j}$vgRHKu`O-rhb#=|1lT4$6L?y|i=h#cc#Iy-B%D^hVfjMgAdpxQw zm<;ran^7}e)GD`CJfbbt+sZ*W_rlD)R!Zqk`c(V}Iu&nR9#kJ5=)(hjc<^M02QRji z=i#^@*DxfXjf!Mw!RGZB~b<_=;T&TRCax|u2C@_-ATgE5y9 z!u5kGDfi-~T(oCmJiC9DG$kz|nIUf+AN7ngGNWr^oxHhBFLLw!M@l5rGqwv>CC_^p zZCEl;awO#L2hgPHtiF#C+Ny4?l$^+$-jr~ti%p!ea#pC!^_!G_c@2V)vHZPS;dgpx ztarxW!Ol2ksMTDPgzZ%CTVMCr@ioO%_f}~qslb)K@NJZOXeEE`9;IOUq*C36Yat5V zS3a*u7$G~J`1Av~Jtn1vulQEJgNrMQfE7DE_;=qP)w~=kw^W2q4hguSS0jUcS#6gb z)UXF4D(C^(l?TwuVH;p$kF_oh84WSl0}{Scae34+v|l=#9G2Edx{yhsZ5bpECZ9E8 zEzZcCR`W+3WC?#~q~JDSj}-1(@%E*#%*=H5y-KLHT(x8E;@h5!k4ppJ{JTIdrk23E z*kO@qYaCDd;s0ueu={JYvlqNq%$b2(o-8@;*6YVj) zLfLhGX&E5X(p2Jbp1QGHve4=kcrOIgP3A{Fep@k7ezbph{%OD95=1%km&oHx*iq%= z9B5BcIytA`ZU{4fK&r))^U#8f@!g~c7zM6;uPZ6*O3J#D@{lb`{I-gGcwLFN43=BJcS+}4>Z>H4R|pIXF7}i>an-hn&s9+oAHnc^9=-jycyUIU zFm_T8MgV`#@czjXVj}i>J>ZPRqYG$R$O`wmJ>VSVJ+G7`S0!bD>dKFBsBw#kW6ZJJ zsuYROnwq}v8&#gEX4}g$gJc)6%-SDGg4>$SCw!e9*nQ*N0i@Vqi=!9~I~c^lcRL8J zLe3ASqtfynSDjV(xvH%2Ba}*B9UB!zP+j7ufkrAwA-r{iQWx=g=|z0B$T>flj*IGY zV1miwEnodcawhz|pnRCLVXm=rg_98(7=I_&@{D6nYdu4RoQ1!BL3pub#&PxW=u0}| zm>v`)bqfo}`+(TV*=cT|fC}ZNfmFI!Uj6KdPZ)L4zW-4fMW;LHgsyY2)-IPH&E=9q zh*<%Y+eS$YbsiKWgxNVYMT$XiSCIYteC{D8?V&`9Ot16coZ8p2G!G<5kF{B7N`K9W ze;@UXKrG5w&T~W-Y$<=$)+Vi@6ze3{1z4)IRTum5iRnT~ zG}l)zO}!izBxgw3dX7DIf-TM}%{ZdBvS5l5GQtwRRca&-tTYoNP+0X@Y+7$%F>NsV!oa}Ty-FI9F7ewBtn zzu)f}Va<`6MtfB1q0&57&%l0R2JF$GAUgaKne-01?;&64CTtT2P~;Q&{3W6dxdf_e zFb;pca}}6Ez1Ss^z`}$C%n(>}3C}37kZD5~0av!c$O9`#*3h;$Lh5^nSRPo(S|;8N zVN^tXi%LxZ3K1c~z%9fewmm@S0VrevPfVF7&btGGN(^=q1ANzU^waxhU0wYTqpJ=6Y0`W z`)Nx?TQb`g$-{ye^-IC%Z!8%f)=((NK@^E)k5L!Tp^5fSpl$m(IU+nQ@>V+|@N=@= zJ1MLSgN~AYw~aQ+jHEgzrz2UGo*hM##{44msQPUEVe!73q zcc~&TD@~>qd^nQ;2a}$$!X)-9?JbPPzBA@q`-{cO;(im%qDmmK!UNqOpVkXWYkV51 zdg9r^tY_nx^8}LWkvX-HaojH~cv<)KS%6cz!nClMoeq|3p+iRnDIQX7oI(ck>@{^2 z>O*)A4eEE@jRK9vQLR5CWdEe@E#H4Ua0s345wu>_dR6OHtyi^P-C?~tF35ZFwF$i^ zHicFTZ+jk~T3WW5PEGXJk!nqk;Yn_@)ml_*(JC#f<++yUzC1rDNGg&d>^)*4AGoO) z7vFDRdW&wl5!wO9T2^aWt!1^A)w?9CCk4rLzU0CL+W0HFM2?M3D6hI}BfEd|;5~sX z&+E1$*RsF zQVXRt`$+GQFU4C(`xun%%lCg+XWdBjB=%Z{YZB_U%Z&uUVVjL+8mBMM)NV7oo-dvy1y;9#W*1-_ZS)H0nCL(&9IC zA6kmfQ=KF+sCwl|Qpi8ajSzZ|ruDgkKA)6kxO0L(p{o^>x*jJ1!;|73CI^<*GT<`$ z!jlglBoa|+O^1ZIZo4gu05#NWQXZXPlSLmY0_c~MaUUapgQA)oYr^mfU9D%{#uKd5 zNQS4Omzh;5%bd37@pGuwWAz2 zDySIX&+VIk8Fiao79R(oYAcnPL~(F!t)UcZ#h1ZrBS;%T-5Ehz!=FzEQT zN|f37dyTwSawh?(NdBzX*xLW}Nk#A^;B_Q`(l{0iBL9OcbBQeZl~|@bao@h{BQ!3q1DWdnFUkCY;cDCPNn26 zRgr0+?G=^L_X!-jDJ&*zhtAtXYxIUqD-?|aOa01>)gEP>}h z6A51DAM|br!fc6L&N1lT{{q}&+ZK|-MVtzIfV$ER#zlw!)~4nySQCbAu%a%yA(Q+e zDSu);v$3~4!5yCc3lvU`ND1Y&>QV-g^4}s;0^ul!0UqnX7gFf%_59H!GMi%cn zn9CCzBf^YhW8NPOM`NRBT)6ZOTgZ(+JBKr5%L%(;&}Hu&YA!k0L4VLQ-VrPLz!!iQ zE;i8xa{ZS^KL-7T+BRg!<(P;U5|Pwne}C4ld~;a@F;w>d*fV}b$cdsB1R2%yh6QV- z;#o?sWS!$DfA%XrO1Y!*CaW%lXwFoI=&yg>PU19OFXSXfyDIoaG+P_R9D1w^BTkYk z*ygiG-CmR29G*%BTe%!JW|o<1kZL`GsW&Bgs3uuBJG@>>Mn6ShQl6z8H;po?Cx7*_ z&KbZ_&+xw!(z~Yo3O-d@tI+eVyiPA<>pd+<$n*mRMLg?!d+jy5K0gB`|M2%* zQ6FTf7>&biEIK3HtA%HPR1nbvfsH)|=o~oy8()ZqzD^2eNQl9}+ey#^lVT(&7d<%0 zWL$Pb`*iI>pJJLabpgbD_GWm6lc6LQ0SlA3Bp(Z;AO5eghjK^RYEYBnBqe|M_GZs_ z()(O;L+&AFp5UAnbrG--v^_9GbN++tPzGJ*1!we{nRc6*h6RD+l0-g2_x3$?+aH`K z0jVCHhnIm=o}nk zkzl9ZhL=kr=W5GJ_ALe36+abM;oX|CHC>)hh6ja_%Dz;4<9T>NlbaFKmN;C!a`gmc7O2bKE;Iz*R?_Jc!BK08@XIQzIEGiY352YIg z6`@oWu^Du0xzzC@2ZrQxf3X+pETYQy@hjynB#t^_#$9-ev$pLNssFGvn)$c&>M~mD zHnv;}QoasdLFcnv!Y?z-<`~)5{#(r6^FNdnYP^dQg<956GwqrhTLnuc(9E6{B=u~J z*Syx+v~1*=)vai(qGyHv9QB61fpEH)92ow{Drj07%p4L-OD*IBe<@c)(i4(pK4+xn zABpIt0`I7kNGBW>k4huGBK|(1Ytl3eIR}!0Y+Pf)CX;z5B!AfkSZEH{ zHUnb)W!6UEBmg$OM;_aQcM#ifW}_4UAx@VlA+K-9d$|u`E;gkhMG5$e(+lq(W!CqF z3Q$RoTl3wIhh1i=RhyhUrw?{hK92gO!CPT**S5j1NkG-{uwi@kkl17wicztdej13! z%-G7LVhYQ=@Yt|PeuV6dV}I(0$A(RxAwo7Yb)`YFd954A$$p+I`O?A@xEc^nV}6YCLzm2G`iRLQKf7P9Uej%$$+8WG)$xZVwluHF1&k^>F?` z#*6j3gWBebn`~SXryEMta zmgs*%PT0cqozsPwvR^T=(pxjmsVn3$xN?l+@vvuHyU;}0R(~aR!cQTC@f7oOYDSXq z)8%;<*e?iL$d!8NSG37C2&OXC*Q4z0>gl>Vf#wozy(ei4__FaGu^ftp_DBJUHyc(p z^K0mxQi6(_)-Lky%jtT1?ob}r|17}^O+NQ|?VBO|Li~>zCeYoyBPJF5QqEo;nv7$6 z_y|UV0BTHBNPh`2FGG#b1@Yu~Jbe05O5#nI1@_4|ul|D|W+k9W-qRD3k$ieeq^@Z= zCZV44Tz!RiMkKVC%2wakZjI(A*gQ2GU3?#;D=6s-O1grQuAr3LU+9>rF(=LGTa~m+ zs`;0R%;b)LyQeOB8`Jt+nA+{v7S&rnTuN^A)hbhk9)Anf<}r7J>L;Poqsft+x(hzz z)M(9bIc|%ZIwI|!s7rMP`@bA>r(g?M*fMt)nA3WfuMJ7KQq-t1bjEC(6@7Pnu3;K; zfGU}$aX0F=@s=k7+bdP4qb1KLqfu#Yy}XX3)kzu$&{-LJ|9X^;&e43-suGz}ce049 z)?|>OynmEM4t^h;FjXp7A1b5kL>3< z_-J38Fy3LZ0FYRK&2N7s<5!h|j>fO%y*Zh1w86A`+ z++THG@n5yvM>$5gR<0q}14zZml>fl!2&w|}MjO=WEP-4vJ6+<873O-joSTy;|x z>Z-gfR5L!Ts0-DA`QkV#a9o6dw+m&UG*7-1o;)l~;upTT=q}pEJQ)MinKc{-+7VkO z(X3?4I0A*2GGPMVtsJ%i)CGS+%uWRtirdh<8zS-@@nV78@X9mB@#1FZiW7lIp z_4wE1hQKwWE66bC<4w5f#VoPe)y(;0G3QZfm4T2J+vbcV0p({={A^-t{{$}*z~iKS8JPL zlfT__pm~d|uoup{KMCg>1Rr^;CG?j2Nr}=;E-aZq%*ijf64Meg;j z{rVgn;GEC40t0BUjQ!BKQb&2K*yv;$XRkV!3ZNk?+?pvu) zo{wc&-N|G#mAvJnX}{l(-OPD*Dy+`wjPCsTzXc zJe*dghRFBK+vCz;D32?Lbt~?c5E@)9;$O>uM&?w3<7GFMm;7^RP53+ISw?B> zx<-YrQL&{O6&y+`OF#Ab6@QXRKIN^Vlz}cwr)>e`C1S3yc|>ME4es&sDc}-0Ha6iW z$AS!XUv&U_?46sb1-JEb1j+gwZ%l^ol0`9c>SSkAxmY?G8HPV)8zKlCL@<4I{!oOk6rw%Ry$C5Ymao7nN< z7fhIn6IX()IJrr|ZGYs>4RJ5_40@#8rK|_CaZbUrjgc03(kpwDZWC7y7EqeAR&7$jz*&ApNIo33t4YB44n}RJ&0S! z;0%XvLOZ+%oUwn>B1?$S6+xcY1I_^mLRu>W|KnJ96Z@Z~@HOa<`=jZ&gX6F41!=jw zy2X(UyBNl};1Dt{Sk!KN5c2LBmo`=DQx8|xDQW6*4v6dQ-2usN2^WsIOR1aoiAu)Y6Y#Oo;# zzUZbavJY@B*GUd!OD{+W<9nA5uUgHSmKr-+<8U$`9DhxxvpqB)_4mfsA=;abkhymR zC&R<}cm@yP)DTt2bNMN7ypD%G<0E|Vk&wSnAi0VMIYGi-haoQ?T)K90fxfYAdVfue zUu~Rx?mk6iQ}D8G^hba~%gwcE}W=5H+M8`d2eGQuG3>M_jSJU4`4D8 z3b9pJDt{R(D5*}zk#ql9To4KQqR3h&(19jq8xbG+Cb+a&{Ca6Kq;e+_^ zCr>=6OSBPSrHG{vNtMn-vaw=K*z+!g{+J$~X?aMMB<*^xWMKU^Bc+FwAnycRCSSD(KW z80wYm8sb-e!Fe9^COjLTj`%55L1~IKjzLk1up|Yy@WK5Oxlz?*Y$K5lB$9(1WQu47 z;eUG#ipW6@ixXoHP}f4P^zJ$?nj;qx6YbxS3kevrrL66EFN`7KyA{9xf8N8~MZ61W zA^=_F18|YGe?xww3>|~(CHBAyu_d*_;>~kxGvxZ1&!8u(*+n+&>(I9BuDWs&jcxA) zWGmjaBsXjg`O$cEaCA7DjwaKs97bh1SbtHg_;n(?RVYPU+051Zjkml%-k!H5#_0#LQZbatAulEi~inN2nJQ=Y5*l?hBba$BZH zmkz^uq7WR#+E{Axx^aa$HASz8YjGK`TArLItKHS14e=dWblHHG=Sxff;e1QuqJPRV zfoy7fkR%}}3vJaCQwg>+39NK*^aG0Aop5jca7=knR1zjmuC0R?Vqn_FFT_A~%91*Y z;YHK=VNr^VPXjJ>I@mmfP`ckaC~!vDdsmDRA5OKe^as>gdYkZawh3BHo=*;@MLAJY zBD}}MYA+@uDAf_jp{-u%PZ?#;sDA<%OY+>vkBqHzHWgv2dN`Htq{$IgVt&+IG+BJh z4yuv|Q;B0M^ng9Ke?xA_*<2h`-M>f7TylQ%5bLGDG3wv>8M~RqKjNArd8>oCz!Tb@ zD9io>6@`jdI7A5~+z-K85Rv3x`@C*rzkR@+76 zxQY`oWJRZ8RmWnnY7{9=!O7+sW>n6#IatuR6T(BPE?#E23?qx zcvv1GVq)PtY_0kDdVZG2nqW#qZ9?0Yi^e+$FKPwQH0f$ZMYz5I9`+sf5L>j)W9+rs ztV(~|b+uWU_4eJJm+q32uzysyl%J92w0^Ra(znnd@!6Ms6HG_?!A_9Zqh_i@@emwr%@AZ3wUVp#W|I#xq5wwis z&%@q`Kj`(pJl4%-@R4X%kxzEtb@`tad^nQ;4|>K5ljuiUYDDw4GbUcFM1sFy&ow*C47PGx_%_UfZMqt>sPN&D4ZvJO6<{lqWdJ*eOqKg`6)T6P-+_lj(Fc z;R~(vH5rsAFgL%~FMs;J>_($VMt+I!&rgwQE9i`hYyK*`Xrez#Z~g1!o}&_k3$8pW z|3XDjE6M0WSEINmDdmeh9&Y7kq$e|BU$(tCEKg-@9n(@2&63CXQY@>mdvRP#KEL~6 zGflYM$Ny>AJdAp&VD1{xF{&(WytW{NuN}yiMg_a3wCGD?iGNXfy5TuBZ(DN2Z8s;n z&4XY#4jqNR_``X!z!!Zg_Jf>?eLus{F)`O^*v96(a{lv{qf##GCbHDk7t9u8MMZGGpm0%J2;vRhvs-YF@ie7 zN&N5u1zaYe162rgf ztXXt<^nZErvG;n7t^H4*Qehh5mu03z1is<`yrPd<8?3~bwssU=fpPA!c=b0b)(M(V zt)nA2+?z}%2Yche^k{E7pToVQIhyz9)BXe@6uaiGDptMU_hZwAi_&kI@#sX_e)>D?S$NX*}iIdxZ%leGmI+GBWy@~+yJOi~=A@}op{ z9e)lAG6AG)ykd~G(Qo2=6$O_T%HqRn1t*#*Yq;D_8fds+R8OGda#5~OaYf&Br{caD zBB(zhzonAs8D|SZU37^&x^~T&T!=mSW_(1ei{-|{CbW&?;o*3CczD#G9F504{z`hf zhJ*3pcsiPlr{dw&J#>uY!EibqAN2>*>3_5zKF+p3x%lK6$CGi-_#poJY`_l}pTJ-= zIyAndaB--|xT3tr#G?03aHW3V7hfOIiteWsrLY?fhlAnpV0<|2C(-MV`iDou!NH(E zRzh$uAHzuo!&n-9E{5Y2hLiDlI6mkfjmIer69nHShLh>x;Ang}5o?o!;lb`Oz+?v* z;BcoIV7l`RaJ1tL@YsuM27<{#tAB=Os$u)nQ&$}n@oMbxbLxU8Mo%k(P8GrPlY3hD z?-;qKCI3#5`(rQkoI%TSFfvgKk>B4nk>3KLE_MSYOWFdnRBu(%e>^-IA59L2N0S6{ z@yAbxTw3-|52i;)qw&GfFu9tGMCE#$HaV5prwKgxMPh+e;AXJc3A0mJ^dKju}eTZyBVO#Ped4-9|hoHd)8fb7GVA6g?+4X+i(I*rX-<^J0_T3p^(_Sx3-wVw3g! zJRdeO=^Uj=bnNc`A~`JJhxK*U>~enn(+O9ZmG2qlq3L z{mR0gaZJ{>-80^Q5jeA>vcP_A(~sE4!T$*##Lo}TT2?ac_ly(qxA>C-JfUmCe5j8V zWw>ipXAXK%DbE}ZB`lg8+;#C7L;YL!!=O}bXH~(|1!nUQO1!Q!Bcfca%6xqATZYxf zGl-_EgC~mKDqSQMRK2aySoM~uSfO3TtEyrZbBl?u8@fzb@topvBv?F$5K|1Rc$HTj zB+^2q{x?GED1BCEdQ_^xH+zy4Vl~K4$Uv3$aq(A5UmaBY&l{gF&(#^dyNfJ$wPyTq XY&<@GdHjC?009601(YlV>JkG0Qk0b% diff --git a/build/openrpc/worker.json.gz b/build/openrpc/worker.json.gz index bdea2d97e12d5b015cba88845e201843443b4e29..ea2e3066f8858fa4e6e8f0a096f8d5827571a996 100644 GIT binary patch literal 5224 zcmV-u6qoBCiwFP!00000|Lk3RZ`-(*|0;y`pLQTSdifQgf3)e`-t28>a+Apnc9URB zOSH|2OzBE=QaA8-Ur>^5y)D{OtR%z$omk@IkUZ!7ek6~`C&_UU@my0nmDH}*?Mt$R z$;6RPpCpQ@jigiQt3ww)xV$(6A1}@&S$aU8j~x=`P`gUULJ!hPmgb1g9LtwZZ=NIq z=Pc_#u#HRylkP{$y1>Xpk}O%sH$Cjqu!!&9zfYZ8GFcE4yz{{?e>vVg@~)`2FzI`+ z&i2k#faws5e$eh&_0>Pkt;W;ky zC}!nMpzR}Ba$}FyC39qmgxKmd2?dcQ8VIodz1oVnJMC)o#2NpMOe!TC#Zkb`x`exx zEP3cZ3+y3FI;GwMvEgt%WJ1cG1dUtC+wsye<5i&gmB#EwRW#%7PL?o5kz!=pkgP52 zEr5LhL8_TI>pXXCbl1oUPoa9kHGXIwq%OoXs#w%!~P)YL-=OElh+; zGTpI6{=%lL>`1z_dn%E2lc0(p2>nK>FJJ~ODTDC8PR>8;|D?S`wQ3#PNh71T zc(!yZ%_w#K)02~Fkfdum^OH%$8al4$Fu6`_#z0QSwlhANL!Tn=1iJXd^_(Be|C=Jx zojU*ZwLjE)tW8<&!3^sRTb$G*%2mWXidckp7>kH%ZHh!}8@1*T`P^Y!N!Tf@D*u+$ zL@8dR>&_yraNWXn3)fwX>(=`PuG@JewgatjEFv@G^5U5Sc&CzM$FYNX;~cs-=|oIW z#`f>hFTOe^WCHTK|BSeeAwgcp#3z^W;r$CO|KU0FJ$B^_%i&#KG_ln^!xkqx6jt99P?WW|JP=FZ#%slm z(#69_uXnE%21Y_CIJXd?c!G1*4bQLzJXXDr2xSi1NA{!>rWs>04GoS^04>WyzK<+` zH>GvKIc08r;&^jpf$@OC`&>jqFC06+aq69*FDva5 z63dwrDJq&@jL z8HcBj6EE8sz9FHoMtvfRtU6+SZhkt38-EGB$HfK$mUV}09 zay>y36sm0xe|r4zL2AthkmXD?4Lc>AG$&~lcDliV!1T7Lz&uOv*QX_ANu~cGw(`GM zpJpcc?-}~{hYx|O-(%NhZMi8Vw|AV3H7UMa^#dW52-NXPf;do#SgG!m7TL2op@EhcV%G3C~4^b1Cr6oy!XC#)_}R zeAmL4P~S|^`!e2GM?GsWouIpd?h3jq=x!d}eZAB%G*V06;o625PZ5POXpMKc<2)O&cZX-M+(SN?7@@t4b3lROCJXx>=~NO9$foOC8Hl# zkI+s0*uFixxc0-pz65{WBn7xjRpmN9J$X=09)r23yEa=Tn#_DdbB8rmQ;eZ3eS<%e z558PnUsG)3pW%0$r)rSq0(uN3ZS2o;9(}pEmQEE}`UHKHSHqb@%!TJ6LZwq>B}-~b zl%YNx_LZbGn`bo&6t5>Ola`W6RR;RNP=}h45KHZ=N?+9mdcRi5wzVm_(&;JbbWKw= zt!E50B`KbwD}#}y_Eg2FBw#0B!hS|V-OziZfj-px`Tb|4Bb$9 z)iE0=8PWqJOVzf^`y1NG81)C*sGkrn{`mQXOZ)y|Z#Ww1MsK7g2Q>Eh`Gnik^EaXO z2YLR6w7%*T;3!(327y*-eHsE2kk$SiF$WMc!9OpNDv>6Jxdf&i$0+dTM6RBv1bbPX_3|^U?4V05GWu} zK%js?0f7Q<37J7N@%DT2N-h)8 zd-;cFe{&wt6?Hrq++)CVhIT9`?_Id*=S-SEg3C6!F2{{Y(A0If$wrC`a9ei;(D5(8 zEmG#@?m5}_k`r-Tthg=qwc(o4&&Rb3NM}ALq6K;KuZ4(T0Tkf@OI?OeL20EoQ{@)P z1y5^<8@V2$K)}-Lk&@{u-NzERfkA(wj)uc=2TgRPV^{;!8SBXGj9_0IOpGz?!J#Be ze<3`b(eP%6uZ{`rprXw65@(QH1?z61HnX49@eaTDXkBdHG;CW*-rML#qV&8e)`pz7 z>(=fEY_IJ0m)@Yj&^^aQzJG;$Kh$Y1i%(?EH~qx|TixsHaw?iEsKn|wrSaK$TF!if z4>K}k^MV_p0ILW%6Yv# zjrHH0)5jcvnwm!DxBXe~krdO)mo=@7bb9wJGWUAJWLam}0v@a0M}#t0=OcU43Db-j zaWbPapk;Z;_mKtgrnD|Nr_4c49B+;+FkS)({zP5~BoLfA7Ba!R#~C(f022$dCbBx_ z3!7q-z3sTryhqli78)$|Kw<$1zOhs@=+C;zNp3w?V8%F5M5}7J4pfXxJ4PmZAEp?Y zBaVz%T@tHHuWfZ{FsjOivjEP^hP9g6ungQ@EN@iTpO9eNh5^6v4<^jo^ATn(hcL4y z3ewyX+ZUwyjS~PtnqR=k2-4ivk?ED7Pab$z+h57vX`kHw$Vgq|CH{i_3-$$!fzP&51W&chT-!j{Gum7=YT)=+r#>vbzfcptN_^81+W7}QHua}?mY0uBZrxa;1rH= z1PSM#--qy+kB+R6d{E>8zep5Tbw1v$mT}gE9#>_oYmTaGvJ_-K3p=@v<){5wZ(Neng}zL5s^Gwa0}Bp(FidND zK1^RBXrBew5%30D#&YsPbjTi|eHlar6Xg5B?lOBEU?emten6QNMjG2wd(UAdXV~K1 zagH^mDacRume^qy;9m;dx{Y8np4hw3bk(;IIq=Nr*@H}K@FbJ0bRb3x8uGC9|cUF4iM?lYEi|5Gy} zzWV!u?#-tgi`+~$P%NOe%tG71q4N~^CGtvvcmnZW8{!!S=R`5Le&M10SERO?Yg&{# zY&$6_Qj=hqXn1^mNnm12Y`6`W_y*RM#7c|UHxoof5S4m}O0VGHuLR`oGdtgA-hYC= z#r*x|=vx_{g_($%dJ7G<4XmUxJzu-)~{SL!B{1m*Vj=$S=?%h{> zk5Xs($zZ&oU~?cIi9)_(r`$0su&@uuHmh5laQ8M&xEm;gf)nnp5dD<|+Q4l$>x@N& zaqKvD$wvp<0uKG~AR$W0#|PUA=g_RX`u0@ZHJUI=bLDhXOi->>um{A5n_Q z^p?!w5>R-L00a~C2z+EZ#PR`k0CVqf3MpbgDD>|EQ+I1&*Z8Re>(xp|#WXa=8rH|M zif;)j+sv@w9Gt7!f?CcaH_}Aea-pW!Orl%|8_BlzeDnCj!_z79fFC717#-f4zNkvU zm($T#PaiESIQf`YZIZc*r{^9f(=tU$mUFN^WyC7>ytU1vgVn@Jj3RM1cAba2y*aH` z3qDtj6yP(W(42kD>6A)py~)n$6;ruu(&o4{jhrt3=CnsE_#Q9O;Rm?ISOJH6##m9c zs*~`KuUf?=$D*s#&0x3jL=%+k5Do7aL`kqQ373HPQ1CEgZTcM+SBH9U1QXi*CbWA{ zu>ZLp6W$8|H~C7Y8kvD-G|||MOiS0Mb^5g0F$F1&P*CmdF@#gDuhOXh!zXh*$TuM)m*(aV>zjOG^Z+ieS~+ z2@XhrPbOZOCZFyOaT^@r~C+`ie{J(HVEW@CKZw z;DTlS2ey!5W77R-nim)uNRlNJd4`J}8Wi#U`}diBOQuU=fOj7F)V)FmwcSfJm4Tyzn>#qc-D~1N(?mfLSNJEA zfun)EH+rPB&yd3R;N9-Q8MLhP&oV%+YrF5k(=EBBcnZAkIibiU(Au^TeE0wewt^(L z)J1gZ67UN_kE!C`%iven{mrIVOUJQYicFSg&Hf3qWt9KUQCQPiGg)((;O}qA`j&kE z{#}wKZ@E}NcO{)lk}NsUg^Qpsmo6KR$*SYn9`^e_d>tDvr=o}wtS^xJYVVZX*}S-Nm-d-})9LDK1HeJ4xMG=0IKb>Z3$ zaw%rzOrhl=S#lzeHYIap2!+_`GzkQeCF%>X`MutWxIgWB`^297jSMQq8^uw;&8CFA zwJf>lKTGT)Q#z&Y60zZMTx3AXp7@Ph%e(PXQ{$DR`lZI~rl+X--JL99ibBOmwIN3(Sl8oN|_xZ!JuO zQZn7KMBdV(tn5&_q-s#E7%umua?8V76WDOn1wV7Ne7GoeM6U&~QETBh`djcJN;<)yY)&I>9 z>CWu``Z^f(RMw_6_h5!~hD}cD5$4Kc9(gQ6J&Z+!wKhc}c8%I_h-~h#t0d?YR+V>4 zYN8Y`(sieiR=95Ax`pem#dWJ%j_bA`iDg4G7>m%%xV(6(0N$zO#I`Me-nf9yO)?P^ zl(GH00r=*06Y^iI6aROzW&r>AOqUy`MNB4{Gl zlTOLfverx&9Y~q+UBr~A`wOSmZOe^dBS-dsp_Q*ifzo)?#bm~G>`!PdQO27reM}-{ z*mK*wn^9kf-B_Z~s#+_^kRU^^jSOjeHW~Vrz=?%;=dod~4BGP^ybH)pJ|77)XOobi z$2d60PLzYmMV8%%AaxYvYN;ye{cKhG2cpKDQ<3~UyzDs-v3*9pdwBurJbWD8hWTjt z9skWX5hs!Mg>8yEZ+b%P!wAY;Vs$94`OU3!)v(Bwrrl{9Ev0o*$daXqP$B!Pb<-r` zAz{=ajkisqHS12_`E5!JonRA2NX8%r=n$-aXE-F$b8Km^G2ru~=FZ8|-bzfyO;D zx3#d&dJiBm0R-PzsyX!L-S|@GlXSxL98Op2%`)E+%^K3Hi`8_?>Lk%6A16 zMND6!8D=sflcn_itdHaD-AASk47eQ)+(aUJE^Lnms&Y1mmW9YH*e1k;mD~68veGUg zG3^CGo)@D7JHak}qb@@Xc6mxMf@BqyxIwG~lRJy7p^XxRoWW^qvue~xM0P}t8Vn~_ zlty;i_UL@M54aej_+HeWN~fcZkKMwF?7v3lS>XHYKv`MZiFkUWt9P;#?iBfc@ zG&jh9&(Xg>eDGEM9y<CYV5X^(!%KlbJK~ zogNzK5sy+7HM{MPYJt1YHv5e`$5%##$BMF-2op?ZhcV$z3C~4^Gb!-Rox=+4Mv5=R zd^f@uP~TM1RT*!jqna@!e3nNCs447s>rWg9sfjjKWB zTFQrdy=*>oPNp^|0b*IQKQl=lC%{q`u@UyZ+{)XwI4%YfO4`U*C|SZ4&CH^S%FN0B zX?t{A6;o62;D5R&OXo9UyXX>m_R=*rM+(SNtA;b17)#ehgi5E%T9$eV zQAXNmG*IHwY@gLAP_&+;Olm@=o-)*idT*raF|m4so-*jELv2v2WV_mwOzE_QbegL6 zRJE@URV6N-qAA0%+Uxfey_A5RYzYS`2{m2okB8bw8)WyNo{(^$>#E*Y#=4%6P#ul* zvCkVMsasyb)QDh*P%mg%4gNEk2 zhZhd=Y&G)um{{=4;t3$A6$p;6?n&q0GIdXS{#L2`TJ}E)Wo{pursJOlT;1g>ZFBht z2vo;xpkPQ3kStN#KJTxqV|_drs^dXSxai~O6E5ldNBz-wtm*x+8XwTeksn$4QYMZDZo**J_!P?()uI>v`FhC0ASdQ1*RvxdI2Ey=-2>IR-oqxfU=Tt0zj*T ztAYGCCtQ61aIn_b4FGj$eKP=1)7aH83usQb8s-2^36}-{RV@0vmHmLNcuLKSjdkq@ zsEV%il(9bO55#^zn+)KU><1jp0LtzM9LoSAuwX(84QytiLaSz3Nt|eva7n;um2fX= z$*5JrB~hYP!Xo<BG8rz6!(>yS-csJgw3Bq^3xFkptM8{ zulFA!8t;zpZdo%&yqeb%IhSzqmSbbjpHaU0px|)zuNw<$QU4lN`x{jM6ytB1`X@o5 zUFsi01^WTH!O8hc|BGJ{4OAmIh-e@Y4b%=$5Ya%#6z*k217(1Lhzxp`nSzK6YH?tM zhzt^uK_W6JfCv}O5D9MDz7H<278?oT!?9y$|sJW3=1hm zF1d*HT=$nfuQ)~_p<5+~Bc{qv84ZprW~n~fSx(91G2`LS<6Bp$Y&_jla6ewPC$Ho( z5mn7TJo}sdfUcGvD zk_()k*CWN#mAa3`cLT%0v^O4&CLJ`@l#Xr=QD>qdqcesBbvV^0un$L) zEd7P>Y)*rl9lqKIwET)v*Grs1a^#JSk_k z!3P-`vbp|^P=Hkg>?wHkTMfJ*zYJ#Ky>@1p&{~1VIU-@YTjB)u0gpnLdbi|2PqJ-v zYIve=N?cr3iY+v9vDJS3e;sDl@8_D?1G)@0wS$Y#(leL6ww5e`ciw1VvwMb3|FX&5 z-}>fn&go-@Kut{}v)lfx_ehFq<;$8@hC01}7MXdyVZ5v}Yyy{6?;%2&tMiaG?F4Bi zj5rx#8PGIcrY6qWkH|ccn1?^_4x?1nn9RZ z69s8*iR}y0{Kg4@Ak8meWCUq$>&WyA&?gJL%k8hE@3fC^f25?Y@e+T*{ssGg$?ShP z%x3?W$U@LV*M4w6GC7%lA~!GVkM6c!LNenGno3mP6oF5-QUp)6%v{?**i+hEHfrGa z>C{7%jg+d((iQ%Rg1@Wp?r%yg)9pch&$=%!09F9(YXjKPC=Xy4_5*J`a*!zxPT>TH zkZ}I_eE^Ty=*SAm21Oq53q@g7XXD)_ZutcKPUpzw3b7~xz-T*5T6>O-^Ors&0<8 z#@i=2Ydh?}Wt=sp$7LDohNEh#Ecuzwf=;eu`KdbVjY?9u(3gr%6&zS_V8MY8gz2Hu zQ?g`-LGc4hrO=bup4fX1DmlX@ z?~Ze%DNR9sytl*-vjG1>@K0MvxybcTj~_lX6PaEq`n+hXw$R#Ncx%(!pMuRDi_MkX z``m#?NyoU|m#Jwu7$2&$JWg-CtDJ8{qus!hv(7~qLCys^f63%r?d>Dyym6nAoYhaw z2>I&oOIn#vHx{`WZ=hH}Yng?%fkS60@=N5E0`Uamy*9+ta?XijZvDbV)mNl;nQK~< zI&3>BE>e?V7;AWReMw+qOKi9enD_?PmBdPm*f$eIMG%#Gh>D(b@K+3StIW=KnX6CG zcbH#oj=q!OS(u5KskhKz+rUb4H2Nh{6M=yO178~k_H)j}t9BUP;iup=b^P7FbML<5 zdz3iKPX?1E1=|DhNEq@RIpvO7fr&jhu~^;WguAzK!rf3A#W>2Qg6!K0er0xPb1x2k0DatO9xf1@BHa*3kvO*%Z(@WdC3fc!*L= zX18PkSAfEM1R$8AN8lmDCZ-3d4VZg}Ge{BpL7{gKn7W%wtHw_qSg)2cDyE?k*04F2 zReVcO+Gd71=ipq;m(;W$xsfK!mI*caW)kK)*hqG@XPd_#E}qSh3%oGl!RYYj^ktOu z<#hPf(?`?vPd?^Vn|SX0>A8!^tVogKJfbqllf2UFYF$Z%(Vn zIiD+r3h)_GXv{xmbV@0;-e%|YiizAcX>(MXMoyQ1YueLOa=yolb@%~pF;c*xo-tBX zt?DHF=E2Bl>o{L!4cs3i=bAsLefZqM*VDXF7G9x*2Nf?3_h2FjAR})-&m}`rX@(#7Y zxMZa%@Z9H{ZxFo@?F_ZAs1|cbEcnZkLLpArRa) zcko*Go>pYfN($4LnVoFxifQS_v`(Mad!`_T5elz6cAz)R*#-?h8}-9mIjtv>vwGy* zHF2P6BJcHgEh2uJBLfA3TxyaX`P~jbM=$G!=Ij?<8^Dgb2VZ8Gx5E zjQt0;^F)M1@0V6|MH}f=Z<*eEwnWO18*GVMM>EogM!dSOHPQz#h-(4FU0NboRRpWn zMmR?~F+`y)bCS(4SN240>mKr{UYMkS=7lM^*xgR5Ms|Agx@z~lAsp3uBVDPCq%Bp* zaZZrZUl7xOFEOH=D!I+a7r?R2cIXONwEk@M+f_BOY~$VoOG2>)=p4BSKoAiE&%|g6feX8 diff --git a/cmd/lotus-miner/sectors.go b/cmd/lotus-miner/sectors.go index a32f276a8..61e491a97 100644 --- a/cmd/lotus-miner/sectors.go +++ b/cmd/lotus-miner/sectors.go @@ -67,6 +67,7 @@ var sectorsCmd = &cli.Command{ sectorsBatching, sectorsRefreshPieceMatchingCmd, sectorsCompactPartitionsCmd, + sectorsUnsealCmd, }, } @@ -2254,3 +2255,27 @@ var sectorsNumbersFreeCmd = &cli.Command{ return minerAPI.SectorNumFree(ctx, cctx.Args().First()) }, } + +var sectorsUnsealCmd = &cli.Command{ + Name: "unseal", + Usage: "unseal a sector", + ArgsUsage: "[sector number]", + Action: func(cctx *cli.Context) error { + minerAPI, closer, err := lcli.GetStorageMinerAPI(cctx) + if err != nil { + return err + } + defer closer() + ctx := lcli.ReqContext(cctx) + if cctx.NArg() != 1 { + return lcli.IncorrectNumArgs(cctx) + } + + sectorNum, err := strconv.ParseUint(cctx.Args().Get(0), 10, 64) + if err != nil { + return xerrors.Errorf("could not parse sector number: %w", err) + } + + return minerAPI.SectorUnseal(ctx, abi.SectorNumber(sectorNum)) + }, +} diff --git a/documentation/en/api-v0-methods-miner.md b/documentation/en/api-v0-methods-miner.md index 1a1499305..d0b0e045d 100644 --- a/documentation/en/api-v0-methods-miner.md +++ b/documentation/en/api-v0-methods-miner.md @@ -159,6 +159,7 @@ * [SectorTerminate](#SectorTerminate) * [SectorTerminateFlush](#SectorTerminateFlush) * [SectorTerminatePending](#SectorTerminatePending) + * [SectorUnseal](#SectorUnseal) * [Sectors](#Sectors) * [SectorsList](#SectorsList) * [SectorsListInStates](#SectorsListInStates) @@ -3415,6 +3416,21 @@ Response: ] ``` +### SectorUnseal +SectorUnseal unseals the provided sector + + +Perms: admin + +Inputs: +```json +[ + 9 +] +``` + +Response: `{}` + ## Sectors diff --git a/documentation/en/cli-lotus-miner.md b/documentation/en/cli-lotus-miner.md index f3595dcc1..d304dc11d 100644 --- a/documentation/en/cli-lotus-miner.md +++ b/documentation/en/cli-lotus-miner.md @@ -1671,6 +1671,7 @@ COMMANDS: batching manage batch sector operations match-pending-pieces force a refreshed match of pending pieces to open sectors without manually waiting for more deals compact-partitions removes dead sectors from partitions and reduces the number of partitions used if possible + unseal unseal a sector help, h Shows a list of commands or help for one command OPTIONS: @@ -2086,6 +2087,19 @@ OPTIONS: ``` +### lotus-miner sectors unseal +``` +NAME: + lotus-miner sectors unseal - unseal a sector + +USAGE: + lotus-miner sectors unseal [command options] [sector number] + +OPTIONS: + --help, -h show help (default: false) + +``` + ## lotus-miner proving ``` NAME: diff --git a/node/impl/storminer.go b/node/impl/storminer.go index 44ef7ee6a..e4fa41c78 100644 --- a/node/impl/storminer.go +++ b/node/impl/storminer.go @@ -254,6 +254,33 @@ func (sm *StorageMinerAPI) SectorsUnsealPiece(ctx context.Context, sector storif return sm.StorageMgr.SectorsUnsealPiece(ctx, sector, offset, size, randomness, commd) } +func (sm *StorageMinerAPI) SectorUnseal(ctx context.Context, sectorNum abi.SectorNumber) error { + + status, err := sm.Miner.SectorsStatus(ctx, sectorNum, false) + if err != nil { + return err + } + + minerAddr, err := sm.ActorAddress(ctx) + if err != nil { + return err + } + minerID, err := address.IDFromAddress(minerAddr) + if err != nil { + return err + } + + sector := storiface.SectorRef{ + ID: abi.SectorID{ + Miner: abi.ActorID(minerID), + Number: sectorNum, + }, + ProofType: status.SealProof, + } + + return sm.StorageMgr.SectorsUnsealPiece(ctx, sector, storiface.UnpaddedByteIndex(0), abi.UnpaddedPieceSize(0), status.Ticket.Value, status.CommD) +} + // List all staged sectors func (sm *StorageMinerAPI) SectorsList(context.Context) ([]abi.SectorNumber, error) { sectors, err := sm.Miner.ListSectors()