From abe04c33c1183c7e94ac222183acaaf31dfd5c16 Mon Sep 17 00:00:00 2001
From: zenground0 <ZenGround0@users.noreply.github.com>
Date: Wed, 23 Feb 2022 09:56:47 -0700
Subject: [PATCH] Fix fault tracker to handle snap deals

---
 api/api_storage.go                       |   2 +-
 api/proxy_gen.go                         |   8 +-
 api/version.go                           |   2 +-
 build/openrpc/miner.json.gz              | Bin 12906 -> 12929 bytes
 cmd/lotus-miner/proving.go               |   4 +-
 documentation/en/api-v0-methods-miner.md |   3 +
 extern/sector-storage/faults.go          |  96 ++++++++++++-----------
 extern/sector-storage/mock/mock.go       |   2 +-
 node/impl/storminer.go                   |   4 +-
 storage/wdpost_run.go                    |   4 +-
 storage/wdpost_run_test.go               |   2 +-
 11 files changed, 69 insertions(+), 58 deletions(-)

diff --git a/api/api_storage.go b/api/api_storage.go
index a66f22d0484..da66a9a0358 100644
--- a/api/api_storage.go
+++ b/api/api_storage.go
@@ -256,7 +256,7 @@ type StorageMiner interface {
 	// the path specified when calling CreateBackup is within the base path
 	CreateBackup(ctx context.Context, fpath string) error //perm:admin
 
-	CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, sectors []storage.SectorRef, expensive bool) (map[abi.SectorNumber]string, error) //perm:admin
+	CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, sectors []storage.SectorRef, update []bool, expensive bool) (map[abi.SectorNumber]string, error) //perm:admin
 
 	ComputeProof(ctx context.Context, ssi []builtin.ExtendedSectorInfo, rand abi.PoStRandomness, poStEpoch abi.ChainEpoch, nv abinetwork.Version) ([]builtin.PoStProof, error) //perm:read
 }
diff --git a/api/proxy_gen.go b/api/proxy_gen.go
index 73aa2c774e5..cd3e1ad3533 100644
--- a/api/proxy_gen.go
+++ b/api/proxy_gen.go
@@ -627,7 +627,7 @@ type StorageMinerStruct struct {
 
 		ActorSectorSize func(p0 context.Context, p1 address.Address) (abi.SectorSize, error) `perm:"read"`
 
-		CheckProvable func(p0 context.Context, p1 abi.RegisteredPoStProof, p2 []storage.SectorRef, p3 bool) (map[abi.SectorNumber]string, error) `perm:"admin"`
+		CheckProvable func(p0 context.Context, p1 abi.RegisteredPoStProof, p2 []storage.SectorRef, p3 []bool, p4 bool) (map[abi.SectorNumber]string, error) `perm:"admin"`
 
 		ComputeProof func(p0 context.Context, p1 []builtin.ExtendedSectorInfo, p2 abi.PoStRandomness, p3 abi.ChainEpoch, p4 abinetwork.Version) ([]builtin.PoStProof, error) `perm:"read"`
 
@@ -3760,14 +3760,14 @@ func (s *StorageMinerStub) ActorSectorSize(p0 context.Context, p1 address.Addres
 	return *new(abi.SectorSize), ErrNotSupported
 }
 
-func (s *StorageMinerStruct) CheckProvable(p0 context.Context, p1 abi.RegisteredPoStProof, p2 []storage.SectorRef, p3 bool) (map[abi.SectorNumber]string, error) {
+func (s *StorageMinerStruct) CheckProvable(p0 context.Context, p1 abi.RegisteredPoStProof, p2 []storage.SectorRef, p3 []bool, p4 bool) (map[abi.SectorNumber]string, error) {
 	if s.Internal.CheckProvable == nil {
 		return *new(map[abi.SectorNumber]string), ErrNotSupported
 	}
-	return s.Internal.CheckProvable(p0, p1, p2, p3)
+	return s.Internal.CheckProvable(p0, p1, p2, p3, p4)
 }
 
-func (s *StorageMinerStub) CheckProvable(p0 context.Context, p1 abi.RegisteredPoStProof, p2 []storage.SectorRef, p3 bool) (map[abi.SectorNumber]string, error) {
+func (s *StorageMinerStub) CheckProvable(p0 context.Context, p1 abi.RegisteredPoStProof, p2 []storage.SectorRef, p3 []bool, p4 bool) (map[abi.SectorNumber]string, error) {
 	return *new(map[abi.SectorNumber]string), ErrNotSupported
 }
 
diff --git a/api/version.go b/api/version.go
index 228dcbd10d3..9f4f7351361 100644
--- a/api/version.go
+++ b/api/version.go
@@ -57,7 +57,7 @@ var (
 	FullAPIVersion0 = newVer(1, 5, 0)
 	FullAPIVersion1 = newVer(2, 2, 0)
 
-	MinerAPIVersion0  = newVer(1, 3, 0)
+	MinerAPIVersion0  = newVer(1, 4, 0)
 	WorkerAPIVersion0 = newVer(1, 5, 0)
 )
 
diff --git a/build/openrpc/miner.json.gz b/build/openrpc/miner.json.gz
index 4021b573d7df9e690f217a8548ac9c93933b2922..303444e99218463d0aa09b57899655163218db9a 100644
GIT binary patch
delta 12156
zcmV-?FN4tPWPxR{VFQ0(ZyCUMz-j>4AFsiyC0u<CML~ScTbDYR<hn^Q4s-N6hkPj|
zPmTy10oGI2E7qOus=Iuox27}IH6`ptFV(6<CX|5d>v!$!lwIQ@svUQAUGI2((2ghE
zQ?TvXHD`GIbbH(JZTZ&%V;=XsL?b0$@c5Aox91dizn?;Gi=TgelK2>r{*@pQf$+%p
z6pl*i&)JuJPNu<XUywBr|1Lf|zQ5N5kAoDC${cbAI})y{8owOeNpYF~tjdh2+v{t`
zngPjwQ2-6jFK`evfn^(a8e?z;DMPZ0m;fLC67jsf249>DJL+dxNqf0kQ{*FQ1tS?D
zkYyvk-cHxpqL`CL1P*^F*>`7vehG<bF9{EBt@`}($pT{Xeq|dAZZF{!6GR_u=kD-N
z5v6+#UWN1{_BY3BMp(`<ni8tzjAeXec4{m0MqJh0Tp^DB_Dnk-ceJQlYR41*!tZFK
z9h0?Xb@=nhJP`)u4dWZmHofULXdu{saLvVN(}(>Lo%Y>3v|NAvpZ)mHYQ3?StN)uW
zXJ|9)4`#T(-i+33H0a$Aw5RGuEW)~qU5at;Kh6c1P;h1<Lh%eoU-eNUHVV~VtzZ)y
zHEC%NC9RBVGplzGzy7Ml&07TrEah=+!)nKYWosT}SMTcG2E53$Nl(Mz_Bt`F+5?$K
zAOY1J@KSK{<CuRHzQ8bx|MhM|*<I~_iKYMh>fOR1|5~8`{`FU_I=n<$QGu5z8{f4h
zGBM|TiV1W!?}=fX3=tS!x@a_rgwyhzk*aF3r~b*&Aj3a#5TxiGH15``YW_)tK$d^v
z&4h)^AoUm`MC2Yr3AZ55P<E6o)~LaMxPaIu0#k9#CMJJ!09_#9u8_g(j0xEA12%|<
z;Cg{>h*+`&o?y6uE+FNv@XvCvWJASt-&qra$s9ajx?uNj$oc2%FIWG0_x9xXFBkuL
z_x9@je=go${{|4b$Bs>w%)Z@22lL2-izuKraP1`mD@Yd|0Ex-lx*@DFb}ho>!vYat
zK+9q+#=3urUCsd}oJXb*{M{SUkY7|{KH)tJ?xD3tT14GE8r3oIkF{k<V3=Qwz;*z+
zmi2=x_jo8*?o&8-sqLVTCzVt?d|kfU`1RI*;%WgM^OApuyoo_bFn3xYp;~HU5aU~}
z`w>o@HF3clI#W1Dz_2X~8ElMzEp+7c?MJ{LJuH8vBy!s<>6yej%b!xR&)iYgrf?2N
z2o78X|3Su*emlbOuHQG^nY+NF-VvOB8{olcG&E=HZ%+T8nLC&+p*b=i`xwv7f3%Kv
zwKfdqnfg-xo_$p9Si4#4df(umnE#1tn0b$8DmKv3e1AXX()(PcSMq)W8$KE3tN9th
z6hnUte-n~ZOXm}`DqHppdUcI_Hk;Y@K8qC`{B{8(U`@gcCUDs!hd1Pg1g}934~9)#
z>{1ulGcZHcSTI}0eFgT$f4RVf6oOYKf)-f8jb%ggHJCZ}Qdn#+NDbWe)ZMrgEjwV2
z2y!50bRYqknCMa1`4yXixYTce-?<^w1~Y$XU<*^oL=IBq00&VAqkCw%{LMGE!`z0I
zSdeFb`ce#Bd+iv=<vqJzU>7jO6g|T(z(fQ!*eiz3@P+#$qIEtDV2S7AdEXK8e*?!`
zLtqmgJ{VwTI{@7yXTt{fpEUw2j0^-$&Q3eRA+q4N%}qG&0o}FR5hPpy9R!F?LG*v)
z;3aqVDY7<<Q+RJ<^M;&#2GF4R9@7nH9?`(@S~>PTCi6pZMqG-Z=~3szBZO}V_n>Cj
zaVdZta*)aR!7lI|zM0L2FFGQ=VA!*u-_y+v5w9~2Fy&t}%Cv(l1ihOcee8m@i)L$!
z_2>aQOR!!EhtYt>0)hBvXX1nYS+jqSllb=RK~JJkC^pFDf)hx@0xbiXur@Mjm_cm0
z0MA0%W-N*?0k{HPF;4zK55Q%A9Nv&K3Z|BA+__*)D7KOVG{XeD3od)D*ZJd`qj7hf
zZ;sBfOSynl%hybkQSw4X%)8hJ4auteqKtMWPc+tteCrh9OVDFzJhPppP#%9cwbv9t
z%kpvYj@S=`DLcoA&|3wciM0Xn9%746A#K9vw&6^a>GKjgcZj;76>8kc^#bC#E^e8i
zd2<df11s%V3nA>SKUUh_xVwT!rNy(C<?D`nlYDTwM23BjocfM#lu&IiH%hE27dOFR
zv40z50#b^WE9x?YaKsG&xlw<QIk(k}K9^`lC&Tc24Q@h{56)(htDK7tbBuhb;~>U|
zx%CcyYy}=<WW=8$Xt^hB@?;|C^K52ef-Zg6mEWwU&V^*<-h)UK%W)S9>B{w7e26mY
zuF`?6q|STkE6<VBvaiBB%t%O<eI!pBn-$$C(dGm<N_C53n_#{b+TDK$?I<HrH~xvp
zRsdH*wF$A6kll*h%GqxPcQ=B2l#x3p`9=+cZHi`NLc4XSm9gFm>}~{hoRLfs`$AvH
zJ#zSZe6vC;r`v$w$_Z~ncr&}u3h-_Oc#@Sc5dBJjZbf`$R2vXp8QE=!ZU+0U;O<0l
zCwkTrIQtG~OZF{KA%%a{#WbXm6$~`6d3b_No>yNS7>v`b9TQBk=x4oeHQU|ma&Zc*
zG%-6)>jay?VY1~SLirLgvStV3nJFf7G3JE&J93c;a6s)4oKb*XFteQ{GQo5MAn@{Y
zI{<<c+e8L<^{~Lk0$^fdgXi=?uv}Xd8|?1E3L1CF3|e98@tS|HmqPG~J+*-D;xL|}
z+f257)o5aFE_oZ<d=3=q9_66WId;=YUCQ{w-p*R*{KQx5*kgrek&($=*9>WuThNT~
zxD}fh<xH|}7`v&KvF_L_+l9RN!UaYKYH$NhM^NND%a6Nyzt_=x|A4dT3HFJF5uw_#
zzc-#|tlu+lB6@%A98QrHsI;f1d=1c{VjIOV-|x`T-V-x^!IP#72OH=DIo?f8kF<1R
zTRcUGam8;4rV^K<YmVNo`E>K=(4}8iCR54;8y0jI(MvUU7)3u@nYt$4P?xQ*ksgh*
z6vB_9vSq>h*pfBhsEn4|?-Y?m#a$Dg43_PxOs2}xh{}JJ(iSqQh?i|OuAMnaq;XD#
zLX;50w2G*0lS^ux(pwR&tFrO?<tGzNdRduD%$f;>!{$57Htwui#ydqS%aR9khypX7
zBA9E_J*wpmx{U8FS@&=%ku>dvlZ?1sZ^R{+?xuV}lbDo?|H2fzpOq!Vr1}ccE#(;$
zQO*h-h+=;<`N4uB+Kq$|6gsf=>Qc{FHRGq7uMYEaaniETOu#pvZnG*<9QCcOAPMGM
z^>{hzG0MyKiAqAFxf2D1n^F+v6p9)eB4@u<k(Z+)M|rtLDN$(NfT$#DR9BC!nhzQ4
zt!lg+)fnexFGU2Q>3onv(haFdnY57VYLeN7R#ksqj;c)Z@}?rf&}`;O0pW(!L_Gne
zx{_qD->S$<QIUbJ=VfMHA=+THT1G9q!lWNuF4hRepmljQka4?p*>3~W`y7~VG2?uo
zcQcaWM6$#QBnGlhA%)itB<@TiH7byiMJx+3Oh_U1o;ma%K0D=Ub1Q_LL;iQa$joLn
zTNi&*a=H^OBrAuOOr{KeiRlEd{^IvPsQL!x_#Tn)`q?R04x28J!$+mDO|Kclzr6zx
zwo=U96BM=lwr=mV|GRDf_3_)|x8MK$zxU|3|DmgoqqnZ}<zMfNzaD>k_u;DdoBQ7W
zc>U;nI=}z@f9R}o9$aqu)7D?w8TR!uQt^MhM6rl+o?<vBwo9>5Z7z{ZF$)Df0e%f$
z{UUiQZ~Z^FIXU_fY?WF1FX~XXYn9KNUv<a@CYrA2b6(ykRl>wrI}URZVnFEvUZ7y^
zz}3Rt5Th|T++QG(X|YUJQeDb;NTrbfB{C4c$7Jr4@Gt+fMlL-&)s6=p|Ce7UC6RxY
zc;=pn4|uYGgdod%I!JjGS4A3|sGLT5L6u5l%b0Ojyc}zF5{#GrQ@~n~))g_1$9<9R
zwRW}RZby3u-Da~z&)mpRh=DqDuaM}M`2DB7HWs{_i2?tFTo=wIU*a=!9xhOwq49@+
z3+kZ92Vw42diVbN`d#}&2xp@CQ%Qe5dT>+Jo;9yAe^b}>?g9VjTGx;HKmXP`nwKb-
z|IoQT7hIg%^K?53B%W@cZlCzkaG|!OlH!>*vhUHVMyndFY9v&n<PnoHBcpo$VIrwJ
zsxhUHS}M+<jYys(Av>a9*@d{GspJVID#36>tIDN*$FxUw%4Miavb%u-NxFX@(II(-
zGEW=IoE{RqR7o15ic>ZLJf@P8{s>*F#u!&W3C)-WmSb2ZU&&KO1@`Q^-K<RcwX3Fc
zQPWc9d5*&>F9g;?Noixy7y10DK~0W+rm>glS;UJ_=|bGiQ0hmLy|gpaLU0SgEd;j^
z+(Ph9AoyjSb2!lZ8C$7DNbr9nqHo>18sSwzK)!A27q4c%C|Z1Yh36zlg?Q`U6$euV
z@djh30k>P(ELG6obU?81d6n28dy?<J#Rl@W3j1j%(QBVDN$q|91RvAa#Obx+HfM%~
zE``fgxSjcNg&9-+E@Jf0A2yq7GdRO@0>#LE*Tm7Zy^h8!e8>(QD>;8d^}1T7gtN!0
z3UtIrL+Op!m@2+eZ38d=kfrzRiZ7#NE5fg=WGUhjR^L*_1gFFY7NS+@5V?+4`t0P~
zJ-9!zl^A7gI0|4h*ep=nTtq2l*p1+13=bJqjYX7nvsNR)^mfdLq}yqmA%954Q21N%
z-)*RG6uuCb9}F9si3@+YSt3ID2;4(UgisR~&xqk5=pv5!<q$kYUa9awR`Y6A6QaE?
zi=eRqs)%wg1R};6J4%F(cr~sNv?`bLk`Zd8rk9LxGwDbvX4~psZFR4<y4Q}8X_B#_
zN9gD|c4L_@b&`ovw6ae)3Lo;K9K{|?ih998N2w-C6%xtr(UyNIiAWfh9yBC-N-2@M
zUH$%vR=+D3Dr*-E+69Al!C+?#1~0Wp*`TXuY>tc=*2?=J6Ex}-7)=n{Mw!txziqM6
zw%BM}Y_u&l+7=sai;eEL9q(rB;0|rt84+iy(;AfxGO1<R_W0s3r=@P_6K&+0{EUVw
z+W&O#w&V$9uq}Ua3$mYVeS|Ie2;zFlOn^=>%qQ4vZgk(8=7%*gT~3s&Evutlh@<o)
zSNxQRiZPeq<5Ya#Ga-DTjS0gAq-^XDIeIM_Z*OKUU9P&lK93$zXhI6}pGrAf9qj{j
z!(~igurgy&eAF(Hi=2Cg*8GECqL~)iWO5yKF@hH_ZJU2KtR2yh7uA;Dprc*F2VPx5
zT;n+?!Li^UY$w%Wrd3RRhXbZ-Jj{V@k{_{3gd@+meD2pqAmJQ{J>S~#q@$gYsl6uV
z$=l21C#vps$CRn8|C#YsWRbGaO;1sgV9Wj|izMZ&d^`<Wsv(?&mdl1Wq1t7+iAt8_
z3+075<Jf;Cd%#bRl22bU-)rZC?R;=Q=7R|@rsOw?xF%)a^^9|wAWC3cw=6qx8?E$)
z=R}laEAE&m<$lNQX7dy3NPs{+{2uc&_I&ToPY@sI<yLEAbKV9jOlJ|xiVh^x0DY8Y
zFL9Amixa5SnfAg2g)LSL80_X0Zw3A(kpq=?)M9@KaAVofY&HjhO=B2@SscU|;Y;|C
zHM<TR1#cpiP6jQT`YB5vWulFE(S_b#7f#^AaYknLc7i$r2iWu~KHn7PhW(y&w9m7d
zi>M#=IY(qp7vk5`ZDgTW?|3`&YvqO56k1o@*=1kGn*wmE{_H+86yR;vip#}0nnPoA
z;n;uFHf(QpU43TxgY8yL4v5mkEI#C=XI+XtO@5cMnJ96fD(M#PKDoQz^v4H)G9d(^
z+0~L)%1q>aJWzSoM-ugABsDHnGGnTK0{P^rPOg54lCm7Ch?Oi;6NMSnN&%y~xjTU+
zRhl`3@UHTB!@C+@n7`l8tx$L&3N+O9^rL@d<UW4n35HX}{(O{Vjwhd>Tfu8j@V*s)
zJ;7yaq|^6Rwm^k`S-YsWgGD`t3|>s@0y)?=IoH_>EwN{{<B=ZxujDqfT2}f8U1Mlt
z;B5?iA7bE2PGelrl?GpeBi}Vqq*j#AMh6rxQI4niGB#p%2e}nJf^llbO-WOedMkeg
zdoLwqn%RIU=Wi<>$<MZ}t~<;)t5=NtC32Y(HgrsZgxXHdDUh_=j9|(;q<T_;j4enh
zTCS)Is0|!(zdg2~J+`1dwqPe<c$8Zp<q}b6<Jlr<5^5PFjFT#;fS`bIae7U`TZ+rA
zAMDhYJ$S~l2Q3Jk54z)wbEkz)T-ATArFWH8OOGo&8%Ou>9iE>N%AK9Wg+72&e0Z{e
znDDt?2doDC(gie4WCnBH4p<Fk*9(#4DyJG>S^NmP8uf@6$BetJqDXYq)a<>k6$PKF
zO)v8tl6~Yd?SI4tZfiat4`(*u_YI^SNT|UUd(rPT(23y>+lkhMoDaH_+$w)sSB(|g
zyDBWS$Bl}toScdwD6X_u!6GCW-nv8C*3x_Fwe(uZIUn@&tnyfxU^0KlzJ4W~30}{r
z;wgNXYrMKbG<WqnAk<9F&M05oDbyM5SsGOmcU9oz1e>m(naNY-gI~WPJYP`lxOfHh
zC9QGvx*4@qxQF9@MD*nBRGNPmpdz_RB84HASHG<IE7W$-q4!drL?;_)M6M-Vw;`9G
zE#x8*#54d&pHYIL#&cjen4Q}O-~H&H%xC%eip(F1?cVJ)o{LlZ6twDz1j)Wu%RVW&
zQ>uFML*zR&kqP?3R@r;KjH)0342K!SwQNv8rkoWDUQ@C|!PCuJq9}jwtu6YQZBe!|
zWId%c%ihC{IXg^5Y_|)%*d(rAKVws=z}9o@(i3blRjHP}l_rz5ku<2JUt~t2#Bw)^
z`Ub1KNlEa#rH!DWAxUocEHp9kO`VMZa%{`o3p8OVbMvxxi}VH=yG25Y7Jt=LWARrb
zN-X}`q6!DRwhG)T@ZNtb@Gv8t`ocoy90~uYn({^n$Q2h(@uBZv<?3#PQjXq6$(2*x
zIHz*8y++FwfGf;o4p8J$Oy;H1NM*_#Wm&qg9l5D8WAF+{b#-0uXhAu&l1_VAg{sg!
zR<9iM(j3@PMt1lmm#(*_NJglnIB^nLaS=A9#4~81!xLy(UIKqO&xHs>Bdb36CH~xd
zp=6mW-0`;SE^ViJQk(!Dviq0q+#yGhXe?hlIckb}bro!$&d@MXp+M7*#QzT@|MLH@
zl~hMDSqvu73JEL4db@;=XM$jN)X|ohM1CcwtXEYwj&B!3>K`(fmwXmeB2@v2Y<6uv
zhF>l(qH;)FHSB-hz^JE_>105qx^82eh!={<sNqs}351hVI?gt;l1Q7eQNy;5Gd3Ft
zTkru<o@`mwu=4jyS=CB5lsD6i0rffF$?1x%g={Tkk%erry2WY_t0x(ILOkTc1X}nT
zx<o4r8&I73Q3tza^mc&dvSu5?_KY62Sl?oOi}fwm?-762_w|g;8*wD75i*t$+8w&*
z1(>VCdeDa!&s#ii@w~<JeZuo@#?BZ4VIL7e4x}E0{f;&t9DB*jyH$twOq$zA`OK!9
z0sOq4wb<Wce~bMs_U{w+_cC^v2{ij;-y;vjYoL9E%J%U+(pWQy9_PNr@D{^c3~w=f
zpD?_iu}6PP;Mav?-^atsX~0p(atXCknC=}yeCUz*6B2A$@WQd}nOi+kNy1e#;4klP
zar#ng2wFq1BSVm<QED0B>5}z{Z0@E~pWD2j)}ATYvq8qDuq;SU>qH%U)~jRB1PQKu
zO<J?wwyasNwPvj~+hc1M(I>U~kMACs`I7BLDpP;zFICvDwRo+?+oHuAX6&96uziVO
z?QJ9hjZ)TaYTH(II~KIrjP;6kp|x49&DtBAwVU$?T3gcE5*1rA%Gk*3gQ$g|i$oDp
zl-@jE#-hY1ZGUAa(O^?XCE1I1g{L(udtp{uOm8vW!}O!vUFJ>gs;Iu3LON^zyry;L
z4vl|rvB=t5(as@Suzz;2&(a`8S@{D!TnUG+u^NGYpohRqe4ZWbu}+oS!k%D$CnfgU
z`B`hr6>Rw=cUL<T_!E1%#I#P9MubWwJMO((%YsLEXvTiWJJnk6)_U)q^$zu>U9D;@
z*bB8_13h=Ie+bic@-iY+Dp|0aDHxIFn>K%5ZOTP!y!O&~wOJOe-Fne>tD9T5;EJEh
zhnksug@h_vFVxf&EF{&OA&d2{wPmd>+e2H1+PPS3(_X$!>*dyNh=Fz8=~zgpl1&p>
zbb`$q`@G_8Y{8(lle5;K?WI8rwMS7(nqIqOWB-h6fmIg*+f~5UZttVr?&sFs@XmjT
zubJ~7p|bt#%t&L+*yT9)ZB}M$koUqMw;0}HxQF3`thyU(Lh%w^t*7qB<*HK&!;@6x
zhi8d*f`{_X&q`6uIYcW#w$wRVGS20=o#seTa{*l-;D(p!0#X1S1Q3B!i?xmkpbP8*
zOk4_yfevdQ!j<T9>Z7IatJGHbgb9DsG~qt`e=*Dq>uP<1&K;s|vg*QfMxXXn<AxcP
z0lcw&JGC8JN!g+VRDGo!mncfEt~ZomZR-b&w@y&&1hp1k;LRvwU$&={SH=RFrx?!b
zU`{|J3wNfrZM_DsFardpm*1cAjC_)+9DWG4%2;#>tJye|;=o)lSIkfgV!(eD_W_d_
zb8R69xD-;<*x7!&*^VpIkH{xVaTUL(fT-CRC|IgCwb@feJIdI!Dv*`izAvk}1I=pj
zkTjVrWeX2m6`-4I<da0}n|cYGd5V@|z<>ly*?%kxnZPE%<<CSMXzn*7uySkzxh}A0
zV2YSFt_1}XP#Zw*w_w_sN+y3tHCqF!c)by=ncPa8;MUwJYT-Czo1rIY-ubQ9_FJ;4
zqlQsBd3yMTte|Nk@$?n`hGOf9r;tLvlE`nLB50kFnf)5P60Llm&0IwDEoF+EoC$H1
zYN^?<ywk;tjBia7tavz;X(R#m3i;}M2+n4J*nx6CV7dT^*z5TMxGR5XAg<}`h0YB@
zm@bgR^aVY5Z-57ESsW)E#AL7oY)8zd8E|-aE!(&QY<_NmrR|^_;<x5wjCi-)yt@b_
zQlETlNYT}MgQ{Smv|{HSkx<*x*I#yuDTv~9?qWT)u)8?HrgqGbt)p=Qr`qvw(C>*~
zj8of%mX<hewwdL|Py~Ox^K}124xV9TvZno!II%DyR6EvYdbigfXdUgsvG1|TW=r9<
zb2vp-GTPeFt|)Zq`;~1hSQA~n+tJ<=Gk(E?u?q(q=mI(3O-+xqbYfc;q{v}h@f(7v
z#N{V3W>=om%hxmu+kfh4zaz8?7csd&l$#v;-%Vwrnf$6{qS1femne8CF*}tFR#^(+
zn5lHplZ8|yyi?=A<cO%Mun>x9*{;e&t}KnH)TwYQ*MPFE#+5f1eSgj+30$Q0rGzw=
zlZkReB4ahKrRnZ<Vt~4vR0Nqz8}(vRb|P`JOw@1E(Y*IKSeJw-|5c@L6~x-Mc0Boh
zdgntuW8<)w8pMC|*FIQlx7wlDDJt^irmwd=d?Vt+{NZ<y8jDMmyYiGGp5tg|w@|_D
zj`t^T8XaX0FPF%~kRodXTtrOfLyG%gDV9=&%k6u_a6Wg?oXHEA*^c+<;SIU;7PFWG
z1@J6<8M@@ZC?j2NiY?RV?BPm@LGGgpYgxX!bN9K|?{t5;2mJwJ3z@;4?^?Il*N!y<
zvMxe{Ya4J7Gy$7Y@a1TC?mLxY`8>4_9$N@21N(xU#JH!pTtUht<s$a};V*e><Pp5*
zT`21&L|Silts=f2A;Z0wwGKG!X6!(Xs`3RQrdV&S2ZkP<EI159TW6=L5a^N21;HrY
z%D@-$UJQSIK2!b*JOmbYDX?c?<=ychFbFByV2U`1`9Vd39%%@MKHN0`anZq$z*^$A
z5|m}EQdWkZ?JnoNTvhI6Y|0bg^CP0~A6Lkr47;Iqx^|!^F;$g1gQ8r$DPE#O|B+(t
z&Y+#6=dlJVsCjm8@)SOc&pDzZ^9Ff$0ppMRG|+z!9a5Vw;MG>@SkF`6GkJGAF~E@?
z{I7B-a8K2$pRq3}5CHz+kp=5S@}p#$QlNm~cC{wTcY&&e90mHp)j}+(0fHW^&4CvU
z_q61OJU~oct~pEFLBK@Na={eM*binyDRijoFNL?twBO1!$Vk=~BJv43cOPu0{`z#B
zkm`R5bx^3kaH%>@znR7A6wf<J)ZhR0<UJ@D-!5sN4~D~x9Bp5Esj=`TK0Ju;UfZ8n
zi1;)0I=Y-oS!yi{)i;-9Q~F%QcWuRP<??(m9A#!QvvCggBiD`R#t9XNbc5&Bqq^}X
z6a%}db}D#rslMg;aS1ME5#Hbtd60L?IQ4%byuqW-5adk_U2dFL_H^Y??{frh+equP
z;?z-Q26RlT>IYksq?(DhCaG>S<SOZb5+W4`UPELmh`n-*YU8eL+_hM-$GI8TmuP9<
z*O|)-0*z%^3v$i4xB+WLnblsS4*!q0B~b)HXO6uL5>de!1*VO-wWr8gVge}-^4Ndm
zz*s;`I^bb}jRi0uxgk>oOq+PVg=pv6f9VkLCYj1ZVgh1^1lctU-=j#*r)2>Hu3ZE|
zZDEK3Ev6dHre*H;T)Ul6oDYVR+}!P}#@A6YC}wGVJY-v>?is|J(f@4DivS^uEq6=n
zCV6W4!vu9(?K~fhy1BVqSIsQPT;+c+$5hk9g7ugR$`|EPLE}OO+<jPnX?60Y=wvT9
ziHPR}hcz22>tuvXW8QF-XhUilXR}Z(qYPy3Im86KU#{o|*bev$VtUH8kZ<;NZwR#k
zb?|(SoM1;Vf{wLm9oL^r4g0wXK*8Loh7JZa8dJc4Vl&zoWw1!~!lr|{W^8|I>Q6es
zD>f}8b7t<S4PZEvw22odnqkMKuRH8*azo&n+Dk|=)8kDr>BTfQ*=?2c=Tgo=ZW>V_
zi*=W&;)LX(-(L)D9-d&cIOrRv)=&WqDVs`)n!Vx_MvDqpoFdx0qctagywer%!W#uD
zD_yLK6Fb2saG2;bo?Sj&wq}0^;+ZM;E<760G#%u+$OJf`#zSwI`}s>`g6Rf8@F#Ly
zo@)ldiESbSyb{4TOiXNWu!LZ_wkS5(-Gdc0?vNR@!c_M)557V0i9NM|?&2_xC~VLp
zpyI7M{n&aw%*}8LM7jPlPm)wK%REV{+g#?6^gsy)ikEr(NKvTj?LvP~yU<ftwMV%b
zQ0_T)tCq|Q-Y-^SKUJ|vkvTa<?e%>1@*3>(ELU630kkYOQJn`NCAU!}`$O)_N*_^B
zHa|n7tshyS3rD$GS6nX6$Q2Jz)YS=}PS%|B>unH9p{S0w_zmquYa+eMo~UvSiUfgH
z(4p8^ThIxDKMl<yV}pOFSdf+1P+$&QTw9XfTt&%mHGe-ff1I1g<X)m#EsbaI%dOxN
zuD%MPx@FP|Eo5GznSyRJk~umpr&~p@J>IvH*DL2THPV@nsnnpDjCEa)RHHaM<z8pB
zBE?`lJR0d8%`Yd!e?M^{&)Ekaqz-Pil!a<-9@Y9XvhC`{X^Ve9vTjduQ<+?59M-k8
zTTrO5A;+s4cSdHmg2szx3Tx2uGItg9Jm^LK7M+iXig>c%#-0HP=J-A+J_n{7aCZ6=
z1%mf<D^Dm48HIdGRC^1NXu_)@QPzO(D0Q?Gd$~OIGr!r7OaF&BGx%8hUt;P1zIwMX
z$iEiozkmHz6V-p481><x-@El{WO=pa__;R6-?eCUx26lodG(|CARM>#?Dn~y9TV?s
zY}^UE`6utqu{e*jqa|LyLZZM{{!>B1bY#au>cS<W4!7EaUPrsO{r#KXmpF$meea~U
zICQjgd(Nf!cTCLm-D|u=E``gLN7jJ`N<Woz0E{?}kZXU{xTC!_D83izB*BnAuCNoo
z#6HAd2+tSP`(jbiirqLPm||#MSjgnfvumFTV>+Y{9c$wcWw|<DQEpXS8V^^>?(Xmq
zsLE@e0F-?-I*w&4-+4H=-JK}GXHyyWs067zpAed|0}yDEWOol&rfQzH&_CIZq0G~c
zV(O{Vb5DPLl}bV-KZvhZN);hJ<5+DZqIRw=4B8e3Z3~0`WQ9Sag5dksCB~$>d{>W2
zs32(Eiz}^r!ioB>@w^N6#}pIjY~B;Y=8M?Osdv$65NSGmJ8%xw0y%-twuQKl=kb;i
za&-y!{OBF+lZ~Sd&9c${RN#emIWotP0fEeEFNc4oFD$Tkr04Ewa<9C|MxDr>Adwxq
zkE}1<Vxn-Kgio>{bf2JGDV`Vbo*l^ZegRBoHn3-nEoMu)APwrLpHVt|z>7Q`cYAt4
zjJ^TYeQ8?L%iU|_);(J~O(yTa#PIBTzUt+j-y&*L_=kPG+fZ~yO!UZ)bICgSW#9$c
zp>=-=iD@qha@`JC4S}DJSeUi#Hh4z0bQGe8x-gCzds{!NF*d@A3MPDy%!3-aFLTXx
zVqEDc#=S}FicgXJPHnMve9_4;8Ir%nV{Qg|f84}LH|cX_e#irR1{o_*QCLyZA`yDt
zpTvu>i^Dc$yTO$0b|1+3;HaOwSJM5mGV6bB(efyiT4Imo&lQ?}PQNLu?=#yLyDYYP
zWi#}`1ie;at1IjvYgeUE!MCP)ZW}N?CQ2$Br;+XcvyYainsGX{l{3ZG4$ew<M23Wd
zSjSd+TiLE5+rz9)iJkyZ3XO`p5u+6HrnSiRTNAlms~(uSYl^MI4?NFGLF#!MP04?}
z&v3p$@;Ud?gG}_;SQ=M)P)bZiwWHCjI~k9s2WZyU4+iEDI+*s6aWH|S-qCC@g+n;j
zI@*`ZbEzu%(b7S$qkV#p9uwmC2_#q11RF@$?I6wLqhqgEQlf7y%YL}F)3?edMfh|g
z0q0cAJGt}`a4icIhkcOU^?OvNId6Y0BDInp8B3K3y7)e28V=*!&oU#A>8zr_p1>6}
zFx~K6xwrQaTX4!apLDbjSMlGM$VJXQ<7L7JlmGXN%P*9bqL8psW=+7P%F{8vRbJqI
zQF$;N0VVly)t+qfM8u!YdXBQT`U*{dhg`}a%cx^O10s1gRD{BWF=AX?Z&rWegzs>|
z<Ar|vk>@WUU0m}i|EsUJGE<zhK$BoDzgBgMbh$N}^gt9J`Q4x`mJROqLUUW0IL5_b
zYs~it{o&-OKkkplTZxjUMOSgY;MJaLa;hK`Ygzg5YR=pb>djT%kls3WTXXDQ*5<>b
zqpU6X;v1YI!-5VHSXamF#t45EOkdAV6SkIL=;vAHLE$k&5;hu|;U>G5Tx#9ALFGfH
zhTKZ{SGj_Wn#ok;HM>klsoBZSYI8Jbjej8DD7|Lco*=a|@E&K?jPQWTu~!WscR;0K
z*j7O6py{TdI@*_=PI_95ZZUeN7~KNo`QT`hRa!&9!3Rvt`T!YHDb9Zp@GvsRlkKNt
zOulm)3H^8r*JWZ$A)89UrDO|LLQJud*{NIHBAI%|-@YSRVWQs;7m3>^r#V~WbE0pO
zN1r7IR}gc%aIoNs@8z!?O{)<Y%LsA>jLF_<BU*KA{#ef{xg*5&BckWFaaXbEPMn5(
zZ%z_f`J)O3+NYXho~3`Jt61hp54KWVOUh`W4f3B-G1ubRutH4cu7Pf^&s4<0l!>_B
z(L3Fa-qCM6+9iUfcKo&1>9Y$R{r0JB0)@v!wY~A8`KI^!E#c#tAUN!3OH9HaNz@3(
zZEqZ$$esxAgFV;q{B)(t#@(zPjX54c3Cv{g7Y2|#^enw@&K`d&fX(^~=3WnWkh!@(
z;i4>TFIcB-Q|{W8+5Jqp+f(rEXKjoX175undiZ``4OkCwZi5-#DKabt+$|`Ho<qC}
z0O!_5Z=@Qml+}!quvyQlz?>4oWd@~q1=&Q@=D4?&nz1``_g=PdHOShd<_UJ){VrLX
zT~Z1zuvbO1v$ub}NL1U~Pg6ywJ<fNa)WMFJJZ&zqZAMj%wKpcD@XZR+g;t=V2@Cns
z)L@vu^NY=<Yihw=GfOblm#i5N4J}rC-PzePb-QNrldPHiINfL$vCjwNQU0F7OT+->
zHv}zOYiD7Uj#{RV_e;DYUM~j7Xfq7~WrFja?0ny+AWeTEW+gt7YUOnbsaXDMW>;B9
zlN7BkX)Cgd_4>TF+tyIMZELj)_O+0GJ{TY6Z)EefbXJCH_P$CiJ+_BbVbaGQ%bD}V
zw~<$v?0J0u^bz#r-rjcS?@NNv7cyBN=kE-<b~bhA>mG@1PuX8hZCfRn?Xe>VK=ED5
zLtfa&b{>D<&g0v8d}su{l*i}DgWOlhon-9i`O9|hkaJ=a!W5ti;>IXcu8I|-Qg`y6
zWGUM#j5kY>Wx3+Gaoa?I+N>|)jtw68qb|6-IBBqcP+LiB=ejV_Gq!FBVfdFlt(L(V
zzMj2Ywq9fN@XMEAZC7Ay@MfMX5t1)hJ1c0T)a-vM)~Bs4q!n;1T~{l9N5wlqv#~ju
zz}~@VJQ^Mhy5q^gcs7FvlNp-nv#~xx2t{f~7v+QMx|idk9gXyHcMA1`QFm${42E!c
zFg5h?0i5Z>S=Z=|(9n!$O6E|!hVC6h3k0n<_xc;AQ~ZRGH_ZRIT$8^brrNRYo!p`w
zYdwFxryq2?2i@MaJ~{67j`gE|YaQ)3+oj&HFKm};TUpl+8<7OlN*Br&FKjDOvpb4r
zYO-HHQYNb`*&&by^&?sKvvYwkf7fQVvxH2nO-RuJ#Y-eR`9>&7g+t3;*z9`J&Df<N
zu<?pQTF1We_f-sB5|sIi#RiT)rflJ)jZ}ZIaDK0LVB(}K7nr!LcbYSC-!=a%y`+)o
zXlHX`JLnR*_S!KbxDdJWUHgQV7mJOH4QOe{y`#bS=xCykCWAqT-4c<mUUzUb823km
zF~4~A09V>^w>KUSCVF=~9_zv7^z$bdUtH~YH0Wp_`Cnf(`0?Tk==S?Z+HHat-%x)-
z(_Hx{gXtc2eL_o{jaX0TT)@Zpg^w3szEEu8Z{A6fI)CN@I?%F^h25og+)ZBkc=3fl
z_zt=#(ZW+l>n0i=_s8Rr9&bCi)?o7<&8LpmOK{NDkNQW0?zlIIF%iAoARi&wr;gT7
zurlaP29wcIZ!(Ip61}`FRtCxMG8}(TCjG&1(u;qZ$mMOZGJG!C96h^i9_^28j`v44
zC;K9sPn`fvy(vexSujmq+AWx>Hot8!RplcWOrMdJB$z%UE6ssvN!e@~Ov}sWcEGgK
zS4e{CGqREd(`REP4W_*sV46bn-Fl`qnlBHgqpm*c_Kx}zlUsw2ur*zRru~0juiNVl
z2S+_UgBe{{V&_24&nU%Dq!Ne(Qb&V9Z!pv+gMpru4!x^S2BYDqVSYyAqwZvIG&<^!
zs^e;XF|CEGjfkl#uI@rilfe4iVwyzP=M~ck#Lf^EXCo)^wW|-t!=q6G{Jm=pBEK$y
z*j=`r2G`xSopw!k*LK<$-Ccj%Ns!!S+ew_<W!q_l++EvgS95o5r+v#^wH-maa6Pc$
z$@vc-=^X3BzCP-Y#=8k7@$W1_zmeYUO@@PBcMx|NB9?0#oJhg2r}u^veLU!m6NAz}
z8uZ7LVSjMcbTlborj2txw`3-<@);#F1)a|)nNlpRGdGtomEq3r3`~EO+i!GsUWbwV
zSZ6rB$(r^wJIlxocV<n(V%N9EO>?kXR!E!1)e1t|z}&nsAx(Lr&nl!zfPGFOjUlXk
zj~ukJumRWnNa=P>X<s7L?V3`%rc@DM+cl-<UQ?0)YrDR*KY{ypeW_hvYS))u&iayr
z=7_jFgZ>U}+Q93+r15{XDW==?V1M|~Ynx)auPLT6=e0%DeUaK0QCmc95%q^e)HQLv
z>i#X1KKI&dn-$Pz1rz{jn-#E6SpiQBN#7GVwZd)S-d@&E*lWc52_N~-kE^xVxvF=x
z6aF_()ygljQ0BNmkEY7z`+#xj*)2Y!-_tMp8-W|E`H<W`EMssecDu}o@Xf#~<MGjZ
zQvJ-B*p_CcGJ*b{<`NI9)&PubqgE_L7>;L-@HHcs2^CWO95IcR2x3Ir6^k^+6u$gB
y91)aWE7Mn%!X4GF#PO$u3~~6{W$E61t(DQ6XirbKPyasv0RR6yEy?v4c>(~l^V~52

delta 12122
zcmV-gFQw3dW$I+GVFP~*-d}@POSt+Pet+=^Z(ZtOlIt7A*ve7n9P*_!J2?!j+pK%6
zE8Ep?`Ot1nNvf+x*o$7ORf!NNA=TIK+Sw_)#${4F?&`YU@%o@0Pq=Gf+p}xV@c8NW
zw&NS`uLagS?rMofO1$9lBN=Yb3-EqFh1?cD`y_EHBK<2tAc7>>k?$!ylhU8FpZc6k
zca^>$qaI<vcj>BIk{o?bahd<D%Jia>9RwPGh>MtT9R3n<W4#7noIg0~XP6v&xmr`?
zqf`Zp6CsdgaK7G7*Vv+%9KL^~h?vL}ANh>TY;JYfcV}RE35jVh36B)5`uy_A0%G!h
zWgCkQSPj@Eg6M<o+#UWYLSC=ItB`)gnB`cb2+KLfNJ6!o5sHsY)CRGxY}F3sjkqd*
zlwTo^toBSh9(S~;T587=|HAKRqaBmAWp()T$UG6?{D$!jXPe&i8#EB?Ke*;%wCThC
zh)(<N9a^sb&wl)8wcgmv)&EVGGqjoY2Q%DXZ$|4i8uac5+EaA{5n){g^JAR*k8=Sg
z6r7oeP&~uYSACR-jY73oE7+Sx%|+UO`lppqZJP4#;n!ca*cYqf+@!pjZCJ!Oux!mc
z>*`&-+kl5QkaZvdgWK!Guxbxv9)Sc@bHGc%fsSKV_yWT${@1$=Wp}mzC6@m0t9J{7
z{A+>!``2H!>hKb2MFn1>Y<$<2$i$rUDJIa_yeEcjGDKi_>7vmf5}V3%MyjfR#h&^n
zM}rLi#6ggvchI<7ud4Yc5dvBMi8sR(E`!u#h!Bx`3?<xxI78VXr&yx~|KS2+n+QzB
zHJg~o0d#?YyFv!DGbUie57;0cg6jpkA!7Xxc!J>qx`33w!avKwk_{EpeP>MwCUfwB
z>4M$AA?Kg3zg+$2-P@Djzg+x(=iS?@_y4(gd;J?g<Q_XVSu*=}4;{>B^e&=++Q7A!
z2&^DobO0nKZ|jDz#@Mw8lMf3-fB`LwwHWIrb~y)_a2}aL@ON)WLw-?-`Gof@xQEsn
zX%ThvXjI3*Kh~Bdfnk0z0^0%PTGkJ)+~c8KxliHTrM81Uo>Wrp@OAlr(%siv|B0&w
zbj(Zs9r7jyA;H{ffrM(Qi9w8Sx$Z|ean{5IbLdRr909|&EM%}T0=CeR)3+Z1fAp}F
zlE`hdq-PTAEPqPLK66J|o5DF9Avkam{0A9J`t1nAyMEtvXYK-zdPi{jZGZ=((a@Z&
zzd8MXX6|6RgyzV6>|;ECH~-N(+SS@Hm}lxs`Fr+JwPWpOt?PY*e`5Y8s$u3mnyJ`8
zNAvytluPe(m0lM632gXel&|Jz1XBzx{7pzsEuBx$s%+Ua=+!my*=%Op`z%&)@Y@BD
zfHes(n80O^9Nv%{61)aEJQy}{u}fWG&%g{(W5H}0_Z8S1|K$RI6H*9XnFv~71vi!r
z&DUV&*h^uty#O$9*Hd@nQnc)VIU>k`l+l3%U}B<2VdqzD2I5k`0e<I(P#eskfh|lS
z6FEqc0~|yhjP9Z3@;Beu4s#n;Vs)GS=}R$i?X_bdm-p;?fnC59Q}hhG022|^V6PZ9
z!x!$4h}QWqfF+)Pi|2hu$o~x-FFwyEJbW;~%ys~}N6v-~?mue;Ru~xwoSdC@ghOP(
zZ=0KN+ylC6w<Acn06GW|n}X=a!AtJ!Q)F!zr|{m!<_$Uf44^^rJ*FGZJfeZ)wQ}rx
zOy-B+jJOm*)1%IbM+n~#?m^A4<5B=Q<RFvrgI(Y`d^4MW4PSIbe8I41LBFS)8zNq3
z9AL`7W|V0MSqOSJJ^I)MYZuMd7VFUibe3Sf5)PvQjRgYn&(6dL{j+8tC-LpsgPug8
zP;8LP1t*Y*1zH9&VQpm6FoW1~0iK1j%~%v)0&oSoVx0Ve9)QdKIJ_Ze6ihAKxO2gp
zP;4a!Xod-Yb{AasTCelRHAmy_INuzdW0!IPsh0ehCZptqikNq?4;qqH_eB})N}gz}
z5Bb(9!k3`O(0FD$OQAe)YOg7PmgVE(9kCw>Q+AFKp|=V?6KezDJ;WBDLfVASZNr%;
z)8{30?htiDE7Z7?>jlJfUEDH3^X42}23Fd!7DCv6TYs#yy>WL1k4lSYFU!{*_a^z^
za)}K49y#?L-6)~jUT&0FQ!Z|T!D9b5#ss7kEmzcK2;qnu0CJ-qb8f2{eJ;_APKM$4
z8r*~?ADqo1S2-6Q<{0@<$3ct_bL$=a*a|$zNH0G{&~i`M<jF+N=h@7{1YP>BE5BJy
zoeRl-%DsoFZCknSLLptbo{JArM%`69u$4S?FMZ`Xa$5FPc!wF;y|RzwNn^938ztJD
z;6|x#QEU^;w?excp&eypy~aNg*$UuFs5T+C60%#7TRHo!;O<6nk1}%SB;TlEuuaiy
zOlY?bwKCRQf!&S3jx&-eVqfSBxknCPk8f6gXytSp5L`LoZ3u5>7g_<{jQ~%w5(c7Q
z>Cdf*uZ(H~!Yd=Y4bjbDzZKk_2<}ABS^{U^;cUsi<te1Fx|oJEvVwsIHV;p*$@A)q
z1A}pzwPS)Q7X7UEt!BG>T`o?6l_qA#X`NsbI83%&L?~Y(M%L^=JTt{)F2<Zte|sx`
zG64>#9fC6ounT6kvqUDCZU6*cer^XqaAKRt0Iwbv*jNBeOl<I+J_wd;i(-S_Jy=2G
z4w*qKOg&!n^->5vv8NW$T^z<UbeqYxuNqCv%_VPRo6mtl-J={7I>&B0sY@Au*xOm_
zoS*n=9eb?MEHW~=>zX00atoRf9=BqD^P-$d)(vAf)iTx{du6+jS2DQ3$UqHlpy>#T
ze4F-hSMT>an(rTQ7Cpf}u`nW3JN7r4^NjU-=1oMeox>@z0+sgEl&=9gRBWR-=KCEw
z+IwQgFL=^);a~$@Aji9@>5-OBY>TG|F|POx!BpaMbj{J*f}U>v9J=(&%4AA^nP9_$
z?jm}r#tx(CXDd@A#2f0e#VXRHQI<mZQB<}pcpqD`<{OpKa{HYkvZ%Og!jr+WU6sjH
zSsGEfQrbc$74fpI#<epii8RisP>2#@m{t+BZE{JCQ+g|+byYT1zx-r^NiQo?iCHtD
zaM*lj*~Xn!%Xp_qWm)oI4pCr###01yZMsLbyg`@oy(Q}&P9>72y>OBdx9g3#<kH=g
zFK7~za`9i7V)wJMgqT!cA-bhJgCfdVp#xFmB|lhDM7xm?f<gzjUaIN&s%HFj^VMNq
zE>2n&nhE&k(`{Boile@@6(qrYs~#^$Jw|!iK2b?%G<Twaa8nARoI+85Lqp{3w<_{-
zROBcxw<skF%^MJvM2+g|u~qXSW4%?4m!lfvyzHfjAT*s1Qb@WX6)BSzQe90lyU?o2
z%Tbj{Ufxth7@EyIDInaCny4qBR9BJ=_FENsDJnA1^}NiiD?}TNR?DbmSD5sJ%f%X@
z7_=_01~P89F8gg@dY=P-(=BG45A<$EQk+PZIDy1K)+wa$+JVHKNu)*vGO~zeA%+Pl
zq~0@!{=;XdJZ)};kaNiY?iZQatY+(CN=|o*i<xIKW$;T(CwTQ2zyCqiH!#Qdh=kYA
zPPuZ}bb%Z`DvfP=%^3deohGoALg}8MsO7hHd#C;1ZTqi}-yXkz{r>O&y+^<O4_$p6
zy>*>0|9WTq_4wPn4_Ce4-1qj!>qqC)`Tg(zLuZxq;P$j2_)mv@y^K^mFHtO_oTnJh
ziS1HsRGUlWQp`d@Pk>*8SHDQ!%3J@>ZBCAU1Y2d6{);-4?ONsY=2snZfr+N;`J9(G
zN|i7%){etmgcwkNx_}obm^*N_a5uzg3=a1fNMu?pla*ALG9FSX<bR0_gzqt#`y~9!
z|E!Tq&rY@DLC62)*GWmFC7!t_;sc&6AR)-|o(@tT#Z{5UCMu^<UQngd*fM6^6)(qH
zodn~h{}iwmq;*A%<8fc4d#zpVxZBa*LATj#(K9zP6k?!%&fF^``Xzq<X|Ih1?`C4a
zKOxtJbIF(Z%$$b{RA*@XA>e{K=<z|AdzIe3zrKFg{t&{MX#P}^j~?6<wP($1%-_^?
zy?em_xz_b#{?EU)j^-uG<v(<8&jlCf_B`E=0*R;Fr`sof&RVD~sib(OjqH20s?n-O
zs~QQ_D0yCgqs+*t9wwMb>W*qm>0^wFGiW1{CrQYT=vQ_ju4pQGLWxQ+9MP(Bsoyc}
zksTQs>XPhkpg@xDM|4PDq0G~UGN*?GFIAF;sN$4O0FSApq(4HJsxijZPeL=Mf#n#M
z$yf5oPJunUZZ|7ae(kF1T-3Cbd7k62$_s(DP*U1|81zLxe`-*Zqn~N)WqKCzB2>B%
zcQcgwkz_CJ%(M{PLU0SgEd;j^yb}n1S?3%M^nS)xDiIR=i0E7Qu10uO5Rh-1`o*i6
zFNzi)Ug0?jQX$^Dcg4X}LA=4(X~6APHcJ)sHyscxd|o9s$e!f;Z?S>At-^lVN%Yz$
zOj3J)pFhFJ^fhrZY`D#tVWCUmausf8eq3S3l)sA@{qu*-=GqL-@SH#~a^E#^>}#*1
z@d_WZ1IJ3vP`$2}DdFs~ssbJH(NKCLHl~ViRNKJIKV<1WyW-0z*^2NhD_M%Tgw?l{
zF~KSEfrV&QIz+Ccl|Gj^cMtB5Y$Zk+8;$~h*bFuc)HWAUN*Q(|I2pr3Mpa`GCEcvm
zNHDz}^C9VW+GfZfQZW?%R{VDx>KlbG#N`LWhGyadZkC8pJ_7g95+T&Y#WP|!2)c-4
zemMkBkyk2wkk!0e)r4rT%OYrOfGVQg3xSAn#*Px9BVLUw1g*;DykvwLsp%yn+)O%u
zQi|EOx>sA>tF7*}V`Q3SZ0Hd>dXC*#=1ZMqq7<#{6OO`%yeLPp2a}>+aL`eziBg3`
zvU{|pN+J@5r3Veko>EHWZdbp5qSf!ph059mgLc87T`<_$g278IQa0%78Ji;`hPCoO
z$OMgg1x6FZwozs@&2L+5v@JH;78`AUi;cF$M%!Ye`)$X&89TT`n|4OTnd-DgWrIv=
zS++gCILv9O8~Q{Wxh6lOp^ElD-McM$0vT*e+=A>UTOVNyK7zPjG83Q^4D$&#n;YG?
zrukt_OqUZSYs>0r7vd=W$Q3{3p<>J>_&62c_e=<1Xk)@~0Vx~%Lylfc#@m~JnM;?e
zZm-XyM--Zn!u+RF&Q?eJ0NrpI(-*AFSQH<%OXMQwo}o4W;FoBoMK+mSM_r8I#Y@|!
z4QogA<3+WlH|S`W@PSvC5Z8DPN^mUr2ir+?m}wPL-{FAi8V_?|o8(8V65+@*E}#3g
z5lA=(V$ZjBJn3j>WNNR8dGhvuGWm(Bd)+Z*D(in{d=*)wEOgUTR3zB4|H&drIV&Ge
zgO+LtC!yuC;Z3M^S#F||CHX>mVa_;q$sX|2qvX?<%=g;)U^^e&kNIH2iz)d{BCbi<
zcRk}=CWsQ))-B6U+(s+C;W-iI*or$QO1a;0yV?ANIuamI55LF!j6L6fyYmyo2YR{H
zn%JDTfeO=E#Im9T$uvM8W!Xzy<kaE>Ds`s4FhOC96$1vlImKIne@Wy(<sG#c0^C?O
zG@H#qVAB`|VHO85M)(pwWX-MvN5Pv&rISI+rhdxON113NUUZ?i*M$@KaGa5uy`7+r
zzyUVBiqAKNxnaL29qsdfY~~{BhkecwnbU>%^>iCq=+!&k&iq<=AvT596?b;om+__m
zoT@*&&kO~4o3-L{agOHD*jzX^wGG>wU00u3{$RURlLMkOF^dm*=~<UzPm|xJY$i$^
zs7ktpyHD<}H~sMepiBrsXm+*al`<1~9}iTX^^rt<8A*)`mCTrbs-HkUd8(7EAEKlz
zhbm$v%hW_+2DMVasBZ2~U`dr`4k5g&Jl^oGh8O1V_j4;0UWft>bv^wk8M%)id4l0o
zu|FRrnd8YP=vMIB6TEN5Ur%tE8tL?Xl`T-AU)C<_?O;)lA%hpwx<C%LP0n@pLQCvf
z?RcaI|0}u8td^C3{z2Cm+8B5n1K)=jxRTQtS9GPpm*B{EO%$mW<+ITN#Y>dqX}*k&
znB75cMUP;dnsHOo)TG`@!QM*=nPxU%%K6)hNAk06tLqLk&gvB-e~DbCgbf{2AfdLC
za|$HwHY1qw4ym40AY%(sik2(t0%`+C+;5L9Xpb#uk1g1L2^b#b7D%~7)Y*8pNScIN
z1_|S&3MwEdAY7bYQ}CAJa_a{>wPg>UvFt$$0_TJ7IOE)Dp%YhiYw2BO)zae%&&JU`
ze23>}gmPymaiI_36d#@}ASQgS*8!^mzjOgj6PdwWw*yu~+4Vvsxyq@=R~A2lu0}l~
z#xdh=t0)qG9W^z3uWLoYr)ty7Jcnc-xlH>Xae>>K&&R`=4fuTnX$KN&u*F{Vdku7A
z_``OhH6iDN?j*O0)>UJL_O1#G?Qx?bD<`L72#PE1Rj>#NhPUoewzc$LdM&*ca?S@m
zJ*zwxCYa3Mv9DhVXM)!=s(1<?<{GcA5Y1h^4hS`WQ?oP5*LDhZMthb<mBd{YI61+l
z>t|;2RQcf7ZwSv9R68zS0ewkp9KCKvZ58g}xE~QcIXji+1*k}Fl1O2Q<<&1M{tC4n
zbm+a5C(+3U8j))W*KNq<XA8MV1ThUj(r1)lsPP;a4rb@J!FNCUC-Yf;z9RF7V!L-c
zjpyQjls*NmdLluxuhp_oO74`Zp8OE`4ozf&zOYsHUN566NC3lO25~JL6p$%rg@V_V
z>`?G@vz92zduxk+W?Pi43|UVp&9e7!W6ll}5!>woFE)v**U#8gDzNn&yYvK`OjW97
zZ>7m(Z6pmU=@*%iD6!m)qQ1c@Z&DKcZfPTbXlO{1+dT_SOng&kBY+&+GWP;aSjybI
ztlc8LLB?*8P@=_OHPu-B)rb;{zqY8t0k5qBw+g)X3Ovk6r@pX|IY+|(siwRU0&>NL
zQ+((<Sh>0zp_HSyQF7%}H_oYCZLiUC1>g!ZnFAEL6q9+WG*X!|M_HCGY)5XY%ox0X
z0#aRF*E?EJ4y~lq9#)|$bdS|5$GkKLc9fAFe#xclttpZbDk)B!L{?mcO)2pV8tCu@
zT9%gp&T}Ec(8#I}eu+Q#UMN}S3U|Eix=Y)so)jm5hwT1kJ9o$tBpS=tPL7(QUR?#7
zr!zE6R4CB&Bk}(O$-n&nYbDiDOcsNG3A94OO0nK9;p3Sg*d2AWB_@$y$tmkqm5t-u
z#gO`k%;hDY#gs@@Kq8x6n~&j_%ZsQS5?2koH!$kyWI7p8sjl1DCgO!+GHSS#T>|0c
zl#a8_tR&KAY}Bx=<BZJ)!WMi$lqXwOHLU#oQdYH+4du-=V?ce5cXGO7Yav^I3t40#
zTdZ!e+QaHe#-0!lxiEni{)R5m%EAT|r+(DIZW+BDV7aW>hOj-OM=jR3Sl?oOi}ibi
z^?f~K^F|!WYJ`ksgm#DSc>(6CupacG#q$==TRd;^e4p^Vo3S%SK-fn_kOQd)VZWoz
z2ghFW@^00kJ(K44Q9iTjW&l5buV*dxx7goee~bP5g#EpY9cBW}KH2xkL-87DAEB~+
ze2+BN45G)mZ!x^Z@D{^c4BsaV?`Q1M68LrD*!S_UavE^dv0Or}6sCKJ5FdIZ{)7Zu
z7QAq5d*)V8RFZJj4EW2tTb#bs8iLjk?8p%0X_Q(9c)DbLBAdIZ)aN#T@29nA3ifP}
zu_-JIlG8d-$DZ}-*fT+bD_@h=thX&|)@!X<Yt8o9nnm<Ut^VV?2WGxxdy&eN`b!n|
zYb{=D@wRC3h8epj1#Dj;SbG~uK%<m(o7%Qj-HruqHe<b_U1)7qYqR#oX6@$uf!3C^
zwnW92j50Rz`XFi{=ps>ngcPMWkC(A1F-qHC*-13mlu=3cqFv!>&B|Vwl@`-mO!qMT
zD0i26Q@bjv@1~H>+CQ&pow-BfTP(7+R<v`77VMuL?6WjTQC9vy4_CsWYph1#ALt?Q
z5}#)Wd#qFCwy-Cd-${wRc7E2{as^vH$=%h?1pdTcE-|f>r4gZjQpt{c@7A*55gwYc
z-|<eh*1NUdduP2vy=hmgS_}3<E!aTM-RmF1be+762$f0}tY!*Er1_?eSDSLt8n3-H
zUTu~|Yqwss-RkDnEx6*R@}XuXUm>B2)(bT?1q(?vXUJl`Yi(I;%l6Qgp>{6T+O(H%
z(|WnJ8)9HxcRCh-5~^g=1QwlOv&KHJI2&6qXzk>zHE4Tj&_eA|l#-^`?%3Er<62<V
zg}`<du(jL!Xt(>hbvL{-;%nyoN2qK+J2TQ)Gj=)7eVdip8sxn&$SsDq817;CAgk`i
znozt%SL>;}ak=VL!tf*&`QcgOo#3Io^RrSEa}Lo;kS%q8j+TsbIc}#p64YEk7YMlF
zWx9YAKnDRt;M8KRV*=;`y8siHLSmr9+J|r@x}5rG>H8|R6+U6YG)=hA{$C6;!@63Z
zpmT?)o2<I<oYAK})wp3sWdLt%-%f3ZR#LVo0aafq$0drAtLqIVSljvm<E<0aIzg?4
z7kD$u*q7~p>ExBMK;|ii^E#Ll5Xr)wscl=Y!7I!Ff$8P<r#vH{q$-CWf~_(ZUBYTM
z4y8CS*UJ?%)Pfjr#eKje##~#-0WO6UHFmb&Znopf^ds_#Qe4IFDIjV#1`3v{O>Op6
z(T*}UtqNr2w(rYo?m)9zJS0sfOWDH1Rt4zh8u=uD(fX!d!e*YLr5G?E0aNxL%R(lw
z32^x{5eJ(4%?PX<+d!@h>=~FMrj2Vs!35L>kozr|Hl~uvQO(wXDqe3yYbLi6C%83t
zids0%*k<Snns<Kdwf&ZC>ZoCqPM#iqAuDK_NIZRozoFQA;whw%uO#x@rwCeSWM;nx
zuS6?<pJy`{(R@pp;wEQ89Hm-nHZ1RS@gn0}(*!FXPGuTNfW1P#Iv;|w86b9`+z*&8
z03!B!z5wnD8i;E;d!chf5T*;{FnvJ}-W%WnTNcL&2QeA!0NW9>X$BnLUCTD^0Gpp%
zU}-z(hWM@d7$e>-H}5V2iPR_G8d7xi-k>UfSSYR7c}FDFw)FLvoni{2IGwv#Pc7^&
zPOzyRGi2*%oWQAeJRJ0U;uqu8cA=#uPMd9JxiJ(0?>yZ<k%MO#nXGAlBu*@h2-S|Y
zncnU72U<tFaO`_*ve{C2?Ho>#m5jD_v?~f7`hH~_3)Vze?{>8J#Ef6?VC=%d2D(6h
zj(1bjBQ2fSmIWzt7+3s;U@CF>NsQT*=k)S5&BFGdI@<3Dt-?i2E)eA=$NqOynP?`z
zYME%X_azEmO3Y4WgH@J7IA$tc^kg9w3GdW6FgYTsDlCK|TDGe)kt<6hDs?K{$~B;D
zt8wKGM&F-vNdgyXeJLT0<z%AVkjPknjcaMTdz~1d?j{vM=F&#Jn3SDJ+$<CIn{+hq
zJr33-A<BPM>01S{wyhmczMtOtP|w&n?4<_r{Iw6(+O2jdc8ZF8x#{aI58sIRFn{<R
zq{iYB<*q!Xi03%k*)3FXyW{=In?^^O!^<TyF{H@a02dLH`H<p1Sc;`o;d1+b9x<HH
z9W-b10%o@3J$iUUF1^Jp=0E{F3txsV`7g>ymz!eCG&*~@Qeu$%sKQ#7ukPG^?)5ue
z?m>Tm*g|G-=eySJ^|fQofUJwq;MxWp1WmwZ6nr__o%>FuSUyj!gU1%a%D}!LCo%3R
zE?1B;Nx6u<fA~w@8hHfoc^Armx(Siin_a7juSdvm?`5q64!apUP@}4Rfru&ATkC<L
zM<)vo!_d~*sVW3|By&M9O1Cobg}fI-pU;%P0uO<OT?*_OSb29m2n<4sHkcv~Vt!DO
zphp^lp$~TrKwNY%B(RpatpsHmtCW?YXS>UJFISa&8JqIN_xy<H`^Oc3GAP4tXq~Pd
z=t)dfrOu!zS8s}!=+J+pSi3W5=jeH?feLD#-J3jx&*F2AsK~rQ-d(`><30`aLx<Gn
z3wX7aI@a^l_e|d1P7H9Q2mh-a3fxn*>Syc=3Iu?Ecx1skk^Cr`rW7b3xLvJ@@?D@R
zAxD9JaJ3LiYJi{zYjfa#MZ-NUxgie_Q<rPb(smFq5wu(|MKkt;*-#1{>iSFJtupPm
zG7U14^@WIhg3jFs+o``k9Veu^LLC(9FI=jQ({E<6I>qx&67~0gJ$Vlb#<xq_=Y!!e
zBS+hpUTQ47i4PCryVv&T6(asjy^b#DQkGiFLiNoh*_1vP@m*Vgv0J%39}GvCnapgQ
zgZ;>L<GFD{#Ub6`dG)Anya~m?ZmOLMUR<hgd461iOId_BctjrLoia|n2ygJ{GX!~4
zLzf%pl|5ZK)cYKP+cwhrtT=U)nE@Tss`|m!B&lZNtx2le47o~rpoB=pf!7e33SzGu
zquRJ@8+R>M>~U^?#`Psy+V^$lvVuTkS=NGFGcInxT2W@T*Qmq)<84V4LC~3FFM~u>
za7KY?BW~>}a+a7t%7Z*MIWQIwlMZ-TU}FIcNN&g!0n;X)Zz0;b_Fp;#yh*0=keGnj
zAwhP{!uKeW^J!VYfNK|lP+J&cK#QqHvuT<8J=bn06z79~;UqVA`>OGElnjbl8XphY
z7O8s%@n-ZtoAV+-$YRUg(z;2WTK+IW-Bvr#2cvFo?$%W^%Q08^%Q4mTuwXr=g7QUq
zRM5DP0e2skUs|1fDLUE9O(Nns!C}pY$~qY#)0j6LCEAc$#@Q@X%P0exdk!%H@0TmO
z0k#AFf|#CvaxLVWecc;EZ9pA7pCc#O5saW?ZCc0m=TgIdZURs+H>#n70gc8KFre6s
z_C*;iQoXS0V6GXPn);JY@QO_f$()%xY6BR~ByHlwiDuYw>FW-Ao7@n%ruGt2%=CB@
zOnNbmO?F%5{JE5Kkefyn$YR}PsyHEe==T=`n};WV*enkE#;G+_07J^AlA>m>IEB%o
z!WE~8_U>rS$sg}@1-$S^fyzo3YvROCun8O{`iy6nPnWIPfp})hy$g>9G))J&E;0cQ
zsPWJn=6?PXnP9pB5d4W8m*<*6aAKRt0Ix*w4HFX^94sMNt}TiUcK2WfjXPuptuWPn
z&4X`$5PV`!EugzNj3Wvg^a!YUt4=?*o)2>~oB~m<zs!>))yy(alIk{>c_ckhf`Q^?
z9zRkPs(QQ7(=PPXRqau329$e_-Kr(?g7=G+*iTg~Qe;j}QF}dKy}SndJj>OVa{w)i
zO;qPWNXczf$^MZ0veHKsl+Dl3XzNE7=)zHdZq^l-i!*Y?0~B?2!l#op=lpsbgi<J~
zqb+_zJJFg*ud*kqT!SJ(pcQl|Hr5t&g5Xa>v&h&WDi&nrH58b`7T1=fH&;>eTg~53
z%^&CHF}as$R!igA`*JI|gsZPYsBW3GLJOIfXr`dsjAV{Z%js6pYmfJ><n_wAOpSDZ
z=3^=~C?;cF*CW*^&Q7`48Ldb$7!Qv|dPnoi3Gv@gT*!0wfd{FBTP<awTAN3;zKm?U
zdU4v~kF491+*Br)8HaT(?G_X&Y{>Dd#+{Lwt)TIunZg=$yv$t%Jr8=3zeVRGq9UFw
zxUpvdf;qkqiqC=R2ArM#M1kNv-O3Yx3PVOApAyyHLL{2-YDknd;5$kk?ZjR#PyNhq
z_T$q3A<hgw*8Z1R`oFK<Ee!In1^Vw_f7L|wCPsZY==W~D8d+X#IexCq@pmm+-L2^Y
za$fx?J_yHcJ-dCbXUD|*8XI@QZvM%8b1cr|>}ZMCuaGFPmH$+bFdf;kkh*YxiKxS^
z_Mq3%u5Ew+ruQYzp-bO8sVxp2?cAPoDgGT3Gky0OFOf^(a^;bApn=j)<s1Mbjw9q+
zHSTC{4T|qYI!Q33k1OoNFR>5t7sB%e^}bkCv|=~T2&NcX7Zx&k^X%GZ!k7-}L&w_q
zLs_nlSCm^7m&U`Dvb#Gx1gi3XnkN8dUyY7q*~)hw4sLfRO7PiKhCM1lD$gf`rtAO&
znk3oX!<DI;r!DkPwqq#sw4<1Ms`T7bU!{^z$q(YIl~P4W&p1{aiKv}x3xl?WLEFNh
zKUrbWs37>hb%`;lF5lH-5-JE9_u@+Ho^YbRYdr6Q{V~M^I-B>zu=yf?HgoD-G#W&j
z4&M%(L$yFo;InNZ?&Ep9WrSQ^!aYBFNBd;sXhXAXv_BPiVO@^QF=Rj>bK1+H=?e?&
z9qGAyn%pZdvQa0pCrD(6?j!3<x0ooLC*hMU2;C>>R*L5Zyk`gUyk7v5nGNh&V~g36
zE=Ys=>1UJ<AMhei$K9TPUJ#>iKy_c5*7S1s8o71PmQIt&J1{XkyPmIldFQu?+7$j_
zAMZ94oe>i~^5a~xPJS79fp%zJLSouWf?T%)Rzu+DBNk?DyA7UEEggmEp)QPL#@^P?
zYK)DrqJjzEBlDm}?#o<rofua-ig9n!y5dtLzf)VR9ba@ZOorrtZ}FI$f!-fCaneot
zT$vy8z@9<I3RDzUl(a~Mp7$s5BJAR@P1$ZRWxL%6ay~ff=kAqszpTu9TeLh1rIy%Z
z`E!M)pVM#3>if*L#V(7jUfB%2FhQ?X*y;*9$l6sYRPe27p4$dYkBO4X#%W}`|LmjX
zsb-u`ZRJd{wS%*N(jAc@p&-_=mEKmiYsmI6Yg3{p0F*+b;%>w!g}iAka{bmsZr7>@
zX6~9|>+l25vr>?H-bPb0?=zflkbKU)^dJ*GHkQVf9+VPOQSE3n>rTew=>eMc^@D+V
zgbt>CWE@Q3sCP6QOyLlYwT|}X@?5G)ezbJZ>u8_gqsN4Q_<aJ&RW!i{5_UUC^Z4l4
z>y?z~Tg$Q^uI==#vPls>ok+kr74uFmeFR*~0>xn;WOw}@m1)jfi%6}cN5)cRf-b&K
znTEqS_p{8%V>+uSuqSW@4NNyYSMKdS#1@<~&L<u1!&UtEC32B-&v=>e!Q}t_;_?e+
zr6?q<lvxvhFsbr%jBk|}cwbZ=3`amoeq6ODn>-Qmr?Z};tgXI6)88SNGRQLO7|?)7
zo(&bDFky@s7uTDWIN>{-@OYu$e&qQJNEg?9%Kz%?t;`hXEYKvF%db_PB3*8cCOr_v
zM}9YGi)Dkmz0llNCXR72*c$WwL4P<o>W}-Q@m8XLq-oJroG*B_r<$B9$i!M!KD?SU
z_k((KRX3!!j@{NAyO*{3@aQOO3%>XUr^v9Ng9O&qF}pEB1=H8F(}b<%7y5aYc~E%F
zkc5qfX1K|&C6`*aZczD<sUf!#{#C9Zqh>M{dCe}<QEGOwv)UXDTH_zcH%hNrwkJsK
z47|sGSv4a(U~=qL1IQgvX&AN@&^l<kDX5P2Wv7##7Nc8?-YG`60C_$*nq-yM5ODAT
z6SF=*hE$4k1U!t)@nrky7?bbZMnXT{!gZP0Qpl!Ka4FeBl@L>GWOnKnw@9X*@we|t
zR+#Ab!$sou$!X5k_?+mQ<k4q|!4<^ZE*va>c;b8cD@W661jaIgTmfUUciM<n9h*Pa
zvr6s=as7zsxozB4EV>h?A>W&mL{|Q&f`Rs_=9p(G=_-~v(u1uO*OD??XoLKxRLr$_
zHmnenxoe=?>oXN`Fl8dHcl1uTqj&V%j&_NlsU3gqb^7c=N56e4n?T_)QEhL$Xuj!x
zy?#shcqRxAJK7SH@JA9g!g1Rh2Pd*8!uw#)H9S9Esj_i5Ye!>_M^FMY+53e7Bo94H
zubZ>S3ShJTg1Og&9b|6qPq-)x+Y8od+myR@Wp+PP?)DUX`&k=f#ei3@gdV=1R|D1q
zoZDcAcZv*40e1^ZqUR8=0>HVo(Hp6M1}kMXqa<wBvnnvBgm9TbDPBP~5w$t)ZKY=H
z&fLA1?OP49_NaM+U3b4r)@GNKf(z_b(d_JPFA~-E_S00+X^-<AD0Q$SCQqA7Y@1P4
zW9^LzDSWenbfFcfXu?9iG&LCJ@BCu3>6%(_*US=3^(AY@Lqm(zUUzo3Ox>=3nfxSc
zCO=L$+C}X1!FZIvr|=RnK=}<pi`Lp%7^S0@>ErzpuZY)+0W#W5LqM6}d?!2K_bEtI
zh*^n`q*{5MLMoQOn%Py>(IiEyOWKO8V!b}E?Y1>kZ`)e!f_*JypAW`I`5W21EuEF2
zn!T?QOONd#Rhaa#$8zR;@onUP6()Ng-#>i>J-N5H-TC{HAoPVy*2nofgRY%T-TAsl
zV%t;pS5w<o31)lj$N^A%m-3Jo_OYGExAXXR9v>P(FXiz$@*wvWawi%4dH%AUJLH_$
zgfIoDg19jXm8)XKsMMXjCt1q&3ggXEWLd5_ZrnBzpf>A^xMPC{{-_IoE-y|RtRK`?
z(%QK$O!SPc8$uZVWlyVRaE7mEFPE*?*gX95C0N@P7#qBq=Sqa+3)apG+9)-<iuGx0
z3uy%$OV`zk-%;^S&}?i@Ca`xf8jpqtgYI~8FrLle!DNPJ`fRL^5JHjK(M9>7y6)w;
zXh$P`+?_)GVAP$O2ZJGh93D&!eS83C`f%1YdLuM6<C&5<6tAIs$It>n>&?CXhUpYP
zA><A7KQ7ngFNmpjta~T7XvbPl@978K?m@SAtxt}7y<`38-&#le&336b><ina+E&)}
z!$u^*w9<vL#S7a?)a;I;nVRg^kCe$OOLhpPLH$UU{p?&I%-^+tne8kg6KfMvbU^VE
z$xglzN>bs_vKKbHo^&&IDF|%5qL9|HZ~T1~1D6D4{$jC#<Bus@IB6plES%q~9hf*N
z%LOJb>z(FI+;`1COD}08I@;Ns*bcfxuDy1Q2rfjfeAhmq<;7y-Vgp**aqnm_K02D{
zqsd^<VYfu2tJfWW91X_((O}FkUOm8-cHHfa$AgL99goL)a5??_$;B5}J01->+DHD^
zR}Fr=_yW59{*iW@;KetT&@@;6$zZyNU7yg>W+T?qIT!FTe&OTAmoF4s_?vf9q|TqY
zfDW`QWMOxy9e0zLK3;s`559vgO0@9Q(YlF-$Nlkmq{rKT4z4xWyhrn?qxBLTboHbD
z(V#o-4Ps10FE_|XNcO3t^%JZNdXvFqbkv)SVyr|jZ;O>d^1BSjlSzLtob=+KCUSXO
ztPGz^Hb>7cn@9U2o8$eF&B?yV=2IsCQ*X-AZ5B*Zmv#%Ls?Bd3OjY^F1=D9_B?+d_
z$VziyT2eNDn+DVJvbh~Ft@IU=VET-#B*FCASV@CvuLhW=(0sR^X^rN~gXyTNkGj31
zzQp9#;3I5Jm!N6C*X#Cr!@*Hc&tOK^mDo9u^D|2E6R89ufz;7p&>IZ($zY%-r9<!P
zlfh^>YM7tV_^3M>9F30pqw2U?UrcM^Y9nH*imSVS5Yr^EKDU@A(e-)7Gy<_RM8(<2
zNqp_<gYocalmLJ4T7$^1OCWZaZKuI?cWtL#)7`b5_C<Hsb`m6a*>(~qciDCtA$Qky
z+SS}$+iBl&S8Yd-E?f_6cyj*3M>@y)u&<B$qw#KnN&GuY&~K!7dz0ay*B!(ihKS|b
z1}9Q~Fzo5Q;Y1$~dgH{P^p6Jp@nqN^95o$H3Ycl*oX;(pNvwQE$xK1#^GT)@OY6+d
zB}`?wvpWM*<@Ot$o!4O`Kh_yeZ?dL6&CW7%!<|`^u-Nsjanl^EmKD;bakYYwHZV7D
zOh{9n=(7rG5@4TGNMi_V-y;XDENs9vKT^7XT~peZ2z9%r)UGL2#MgFB>ABaGB*5CP
zFYQm@zFl8x*O%J$rI)k5<e)hsF3+I9Lz_16x-V&bZHno3J=h;U^xCGF?rVx^%z14Q
zbzh{mMbs8iTSWaK5p_*mueyH=rO&<g+GYi`Spfw=+GYjpQ&zweL(=yIPOWeoxVM*o
z^%M3Q@qWTb{`2E%Eq1Qz9qokw%~Q4Vi!78mF3_W?viUw>TzYnk&*=B`i~dI7#%ew!
zw-3u0irp?VB78Hj%6NSAo>V_GCbp$nsZ5~1r@6$#sx<&3+o%-_5r*TLBYe%sWkQ7%
zKSxYsC4v~ycEuu%F@-Px4o3u~*UI!MRi$u8wJUM_DIr4~zIIu<cVBB|^d{QV)9us$
Q4*&rF|4uSBNo05e03e3LSpWb4

diff --git a/cmd/lotus-miner/proving.go b/cmd/lotus-miner/proving.go
index ee15785fefb..f8c23a1c919 100644
--- a/cmd/lotus-miner/proving.go
+++ b/cmd/lotus-miner/proving.go
@@ -437,6 +437,7 @@ var provingCheckProvableCmd = &cli.Command{
 			}
 
 			var tocheck []storage.SectorRef
+			var update []bool
 			for _, info := range sectorInfos {
 				si := abi.SectorID{
 					Miner:  abi.ActorID(mid),
@@ -454,9 +455,10 @@ var provingCheckProvableCmd = &cli.Command{
 					ProofType: info.SealProof,
 					ID:        si,
 				})
+				update = append(update, info.SectorKeyCID != nil)
 			}
 
-			bad, err := sapi.CheckProvable(ctx, info.WindowPoStProofType, tocheck, cctx.Bool("slow"))
+			bad, err := sapi.CheckProvable(ctx, info.WindowPoStProofType, tocheck, update, cctx.Bool("slow"))
 			if err != nil {
 				return err
 			}
diff --git a/documentation/en/api-v0-methods-miner.md b/documentation/en/api-v0-methods-miner.md
index 7bacd0e5d63..a84f8984287 100644
--- a/documentation/en/api-v0-methods-miner.md
+++ b/documentation/en/api-v0-methods-miner.md
@@ -338,6 +338,9 @@ Inputs:
       "ProofType": 8
     }
   ],
+  [
+    true
+  ],
   true
 ]
 ```
diff --git a/extern/sector-storage/faults.go b/extern/sector-storage/faults.go
index f7a764e5027..5c542055b48 100644
--- a/extern/sector-storage/faults.go
+++ b/extern/sector-storage/faults.go
@@ -19,11 +19,11 @@ import (
 
 // FaultTracker TODO: Track things more actively
 type FaultTracker interface {
-	CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, sectors []storage.SectorRef, rg storiface.RGetter) (map[abi.SectorID]string, error)
+	CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, sectors []storage.SectorRef, update []bool, rg storiface.RGetter) (map[abi.SectorID]string, error)
 }
 
 // CheckProvable returns unprovable sectors
-func (m *Manager) CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, sectors []storage.SectorRef, rg storiface.RGetter) (map[abi.SectorID]string, error) {
+func (m *Manager) CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, sectors []storage.SectorRef, update []bool, rg storiface.RGetter) (map[abi.SectorID]string, error) {
 	var bad = make(map[abi.SectorID]string)
 
 	ssize, err := pp.SectorSize()
@@ -32,72 +32,76 @@ func (m *Manager) CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof,
 	}
 
 	// TODO: More better checks
-	for _, sector := range sectors {
+	for i, sector := range sectors {
 		err := func() error {
 			ctx, cancel := context.WithCancel(ctx)
 			defer cancel()
+			var fReplica string
+			var fCache string
 
-			locked, err := m.index.StorageTryLock(ctx, sector.ID, storiface.FTSealed|storiface.FTCache, storiface.FTNone)
-			if err != nil {
-				return xerrors.Errorf("acquiring sector lock: %w", err)
-			}
-
-			if !locked {
-				log.Warnw("CheckProvable Sector FAULT: can't acquire read lock", "sector", sector)
-				bad[sector.ID] = fmt.Sprint("can't acquire read lock")
-				return nil
-			}
-
-			lp, _, err := m.localStore.AcquireSector(ctx, sector, storiface.FTSealed|storiface.FTCache, storiface.FTNone, storiface.PathStorage, storiface.AcquireMove)
-			if err != nil {
-				log.Warnw("CheckProvable Sector FAULT: acquire sector in checkProvable", "sector", sector, "error", err)
-				bad[sector.ID] = fmt.Sprintf("acquire sector failed: %s", err)
-				return nil
-			}
-
-			// temporary hack to make the check work with snapdeals
-			// will go away in https://github.com/filecoin-project/lotus/pull/7971
-			if lp.Sealed == "" || lp.Cache == "" {
-				// maybe it's update
+			if update[i] {
 				lockedUpdate, err := m.index.StorageTryLock(ctx, sector.ID, storiface.FTUpdate|storiface.FTUpdateCache, storiface.FTNone)
 				if err != nil {
 					return xerrors.Errorf("acquiring sector lock: %w", err)
 				}
-				if lockedUpdate {
-					lp, _, err = m.localStore.AcquireSector(ctx, sector, storiface.FTUpdate|storiface.FTUpdateCache, storiface.FTNone, storiface.PathStorage, storiface.AcquireMove)
-					if err != nil {
-						log.Warnw("CheckProvable Sector FAULT: acquire sector in checkProvable", "sector", sector, "error", err)
-						bad[sector.ID] = fmt.Sprintf("acquire sector failed: %s", err)
-						return nil
-					}
-					lp.Sealed, lp.Cache = lp.Update, lp.UpdateCache
+				if !lockedUpdate {
+					log.Warnw("CheckProvable Sector FAULT: can't acquire read lock on update replica", "sector", sector)
+					bad[sector.ID] = fmt.Sprint("can't acquire read lock")
+					return nil
 				}
+				lp, _, err := m.localStore.AcquireSector(ctx, sector, storiface.FTUpdate|storiface.FTUpdateCache, storiface.FTNone, storiface.PathStorage, storiface.AcquireMove)
+				if err != nil {
+					log.Warnw("CheckProvable Sector FAULT: acquire sector update replica in checkProvable", "sector", sector, "error", err)
+					bad[sector.ID] = fmt.Sprintf("acquire sector failed: %s", err)
+					return nil
+				}
+				fReplica, fCache = lp.Update, lp.UpdateCache
+			} else {
+				locked, err := m.index.StorageTryLock(ctx, sector.ID, storiface.FTSealed|storiface.FTCache, storiface.FTNone)
+				if err != nil {
+					return xerrors.Errorf("acquiring sector lock: %w", err)
+				}
+
+				if !locked {
+					log.Warnw("CheckProvable Sector FAULT: can't acquire read lock", "sector", sector)
+					bad[sector.ID] = fmt.Sprint("can't acquire read lock")
+					return nil
+				}
+
+				lp, _, err := m.localStore.AcquireSector(ctx, sector, storiface.FTSealed|storiface.FTCache, storiface.FTNone, storiface.PathStorage, storiface.AcquireMove)
+				if err != nil {
+					log.Warnw("CheckProvable Sector FAULT: acquire sector in checkProvable", "sector", sector, "error", err)
+					bad[sector.ID] = fmt.Sprintf("acquire sector failed: %s", err)
+					return nil
+				}
+				fReplica, fCache = lp.Sealed, lp.Cache
+
 			}
 
-			if lp.Sealed == "" || lp.Cache == "" {
-				log.Warnw("CheckProvable Sector FAULT: cache and/or sealed paths not found", "sector", sector, "sealed", lp.Sealed, "cache", lp.Cache)
-				bad[sector.ID] = fmt.Sprintf("cache and/or sealed paths not found, cache %q, sealed %q", lp.Cache, lp.Sealed)
+			if fReplica == "" || fCache == "" {
+				log.Warnw("CheckProvable Sector FAULT: cache and/or sealed paths not found", "sector", sector, "sealed", fReplica, "cache", fCache)
+				bad[sector.ID] = fmt.Sprintf("cache and/or sealed paths not found, cache %q, sealed %q", fCache, fReplica)
 				return nil
 			}
 
 			toCheck := map[string]int64{
-				lp.Sealed:                        1,
-				filepath.Join(lp.Cache, "p_aux"): 0,
+				fReplica:                       1,
+				filepath.Join(fCache, "p_aux"): 0,
 			}
 
-			addCachePathsForSectorSize(toCheck, lp.Cache, ssize)
+			addCachePathsForSectorSize(toCheck, fCache, ssize)
 
 			for p, sz := range toCheck {
 				st, err := os.Stat(p)
 				if err != nil {
-					log.Warnw("CheckProvable Sector FAULT: sector file stat error", "sector", sector, "sealed", lp.Sealed, "cache", lp.Cache, "file", p, "err", err)
+					log.Warnw("CheckProvable Sector FAULT: sector file stat error", "sector", sector, "sealed", fReplica, "cache", fCache, "file", p, "err", err)
 					bad[sector.ID] = fmt.Sprintf("%s", err)
 					return nil
 				}
 
 				if sz != 0 {
 					if st.Size() != int64(ssize)*sz {
-						log.Warnw("CheckProvable Sector FAULT: sector file is wrong size", "sector", sector, "sealed", lp.Sealed, "cache", lp.Cache, "file", p, "size", st.Size(), "expectSize", int64(ssize)*sz)
+						log.Warnw("CheckProvable Sector FAULT: sector file is wrong size", "sector", sector, "sealed", fReplica, "cache", fCache, "file", p, "size", st.Size(), "expectSize", int64(ssize)*sz)
 						bad[sector.ID] = fmt.Sprintf("%s is wrong size (got %d, expect %d)", p, st.Size(), int64(ssize)*sz)
 						return nil
 					}
@@ -118,14 +122,14 @@ func (m *Manager) CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof,
 					sector.ID.Number,
 				})
 				if err != nil {
-					log.Warnw("CheckProvable Sector FAULT: generating challenges", "sector", sector, "sealed", lp.Sealed, "cache", lp.Cache, "err", err)
+					log.Warnw("CheckProvable Sector FAULT: generating challenges", "sector", sector, "sealed", fReplica, "cache", fCache, "err", err)
 					bad[sector.ID] = fmt.Sprintf("generating fallback challenges: %s", err)
 					return nil
 				}
 
 				commr, err := rg(ctx, sector.ID)
 				if err != nil {
-					log.Warnw("CheckProvable Sector FAULT: getting commR", "sector", sector, "sealed", lp.Sealed, "cache", lp.Cache, "err", err)
+					log.Warnw("CheckProvable Sector FAULT: getting commR", "sector", sector, "sealed", fReplica, "cache", fCache, "err", err)
 					bad[sector.ID] = fmt.Sprintf("getting commR: %s", err)
 					return nil
 				}
@@ -136,12 +140,12 @@ func (m *Manager) CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof,
 						SectorNumber: sector.ID.Number,
 						SealedCID:    commr,
 					},
-					CacheDirPath:     lp.Cache,
+					CacheDirPath:     fCache,
 					PoStProofType:    wpp,
-					SealedSectorPath: lp.Sealed,
+					SealedSectorPath: fReplica,
 				}, ch.Challenges[sector.ID.Number])
 				if err != nil {
-					log.Warnw("CheckProvable Sector FAULT: generating vanilla proof", "sector", sector, "sealed", lp.Sealed, "cache", lp.Cache, "err", err)
+					log.Warnw("CheckProvable Sector FAULT: generating vanilla proof", "sector", sector, "sealed", fReplica, "cache", fCache, "err", err)
 					bad[sector.ID] = fmt.Sprintf("generating vanilla proof: %s", err)
 					return nil
 				}
diff --git a/extern/sector-storage/mock/mock.go b/extern/sector-storage/mock/mock.go
index 77126517665..20abad309be 100644
--- a/extern/sector-storage/mock/mock.go
+++ b/extern/sector-storage/mock/mock.go
@@ -505,7 +505,7 @@ func (mgr *SectorMgr) Remove(ctx context.Context, sector storage.SectorRef) erro
 	return nil
 }
 
-func (mgr *SectorMgr) CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, ids []storage.SectorRef, rg storiface.RGetter) (map[abi.SectorID]string, error) {
+func (mgr *SectorMgr) CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, ids []storage.SectorRef, update []bool, rg storiface.RGetter) (map[abi.SectorID]string, error) {
 	bad := map[abi.SectorID]string{}
 
 	for _, sid := range ids {
diff --git a/node/impl/storminer.go b/node/impl/storminer.go
index 38a34dfe80e..5fb11eea7df 100644
--- a/node/impl/storminer.go
+++ b/node/impl/storminer.go
@@ -1127,7 +1127,7 @@ func (sm *StorageMinerAPI) CreateBackup(ctx context.Context, fpath string) error
 	return backup(ctx, sm.DS, fpath)
 }
 
-func (sm *StorageMinerAPI) CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, sectors []sto.SectorRef, expensive bool) (map[abi.SectorNumber]string, error) {
+func (sm *StorageMinerAPI) CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, sectors []sto.SectorRef, update []bool, expensive bool) (map[abi.SectorNumber]string, error) {
 	var rg storiface.RGetter
 	if expensive {
 		rg = func(ctx context.Context, id abi.SectorID) (cid.Cid, error) {
@@ -1143,7 +1143,7 @@ func (sm *StorageMinerAPI) CheckProvable(ctx context.Context, pp abi.RegisteredP
 		}
 	}
 
-	bad, err := sm.StorageMgr.CheckProvable(ctx, pp, sectors, rg)
+	bad, err := sm.StorageMgr.CheckProvable(ctx, pp, sectors, update, rg)
 	if err != nil {
 		return nil, err
 	}
diff --git a/storage/wdpost_run.go b/storage/wdpost_run.go
index 6a86656c732..8b5ee39d306 100644
--- a/storage/wdpost_run.go
+++ b/storage/wdpost_run.go
@@ -206,6 +206,7 @@ func (s *WindowPoStScheduler) checkSectors(ctx context.Context, check bitfield.B
 
 	sectors := make(map[abi.SectorNumber]struct{})
 	var tocheck []storage.SectorRef
+	var update []bool
 	for _, info := range sectorInfos {
 		sectors[info.SectorNumber] = struct{}{}
 		tocheck = append(tocheck, storage.SectorRef{
@@ -215,9 +216,10 @@ func (s *WindowPoStScheduler) checkSectors(ctx context.Context, check bitfield.B
 				Number: info.SectorNumber,
 			},
 		})
+		update = append(update, info.SectorKeyCID != nil)
 	}
 
-	bad, err := s.faultTracker.CheckProvable(ctx, s.proofType, tocheck, nil)
+	bad, err := s.faultTracker.CheckProvable(ctx, s.proofType, tocheck, update, nil)
 	if err != nil {
 		return bitfield.BitField{}, xerrors.Errorf("checking provable sectors: %w", err)
 	}
diff --git a/storage/wdpost_run_test.go b/storage/wdpost_run_test.go
index f3ea5836bcf..41ce5a2e90c 100644
--- a/storage/wdpost_run_test.go
+++ b/storage/wdpost_run_test.go
@@ -168,7 +168,7 @@ func (m mockVerif) GenerateWinningPoStSectorChallenge(context.Context, abi.Regis
 type mockFaultTracker struct {
 }
 
-func (m mockFaultTracker) CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, sectors []storage.SectorRef, rg storiface.RGetter) (map[abi.SectorID]string, error) {
+func (m mockFaultTracker) CheckProvable(ctx context.Context, pp abi.RegisteredPoStProof, sectors []storage.SectorRef, update []bool, rg storiface.RGetter) (map[abi.SectorID]string, error) {
 	// Returns "bad" sectors so just return empty map meaning all sectors are good
 	return map[abi.SectorID]string{}, nil
 }