From 3a1c7cb065d91e47a3788a6d34ff842c78d05b55 Mon Sep 17 00:00:00 2001
From: Yordan Miladinov <jordanmiladinov@gmail.com>
Date: Mon, 6 Mar 2023 05:16:58 +0200
Subject: [PATCH 1/4] incorrect-equality: do not check addresses

---
 .../statements/incorrect_strict_equality.py       | 15 ++++++++++++++-
 1 file changed, 14 insertions(+), 1 deletion(-)

diff --git a/slither/detectors/statements/incorrect_strict_equality.py b/slither/detectors/statements/incorrect_strict_equality.py
index bc7b0cebe3..bd34d61b1a 100644
--- a/slither/detectors/statements/incorrect_strict_equality.py
+++ b/slither/detectors/statements/incorrect_strict_equality.py
@@ -72,6 +72,14 @@ class IncorrectStrictEquality(AbstractDetector):
     def is_direct_comparison(ir: Operation) -> bool:
         return isinstance(ir, Binary) and ir.type == BinaryType.EQUAL
 
+    @staticmethod
+    def is_not_comparing_addresses(ir: Binary) -> bool:
+        """
+        Comparing addresses strictly should not be flagged.
+        """
+        addr = ElementaryType("address")
+        return ir.variable_left.type != addr or ir.variable_right.type != addr
+
     @staticmethod
     def is_any_tainted(
         variables: List[
@@ -145,7 +153,12 @@ def tainted_equality_nodes(
                 for ir in node.irs_ssa:
 
                     # Filter to only tainted equality (==) comparisons
-                    if self.is_direct_comparison(ir) and self.is_any_tainted(ir.used, taints, func):
+                    if (
+                        self.is_direct_comparison(ir)
+                        and self.is_not_comparing_addresses(ir)
+                        and self.is_any_tainted(ir.used, taints, func)
+                    ):
+                        #
                         if func not in results:
                             results[func] = []
                         results[func].append(node)

From 2d65116392d6152e6c747012ddc51d9099975d71 Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Thu, 4 May 2023 21:45:13 -0500
Subject: [PATCH 2/4] reduce false positives for incorrect-equality on struct
 fields

---
 slither/core/declarations/custom_error.py     |   4 +--
 .../statements/incorrect_strict_equality.py   |  14 ++++++----
 slither/utils/type.py                         |  14 ++++++++++
 .../0.7.6/incorrect_equality.sol              |  24 ++++++++++++++++++
 .../0.7.6/incorrect_equality.sol-0.7.6.zip    | Bin 8237 -> 10221 bytes
 5 files changed, 49 insertions(+), 7 deletions(-)

diff --git a/slither/core/declarations/custom_error.py b/slither/core/declarations/custom_error.py
index 7e78748c60..8ed943d942 100644
--- a/slither/core/declarations/custom_error.py
+++ b/slither/core/declarations/custom_error.py
@@ -1,8 +1,8 @@
 from typing import List, TYPE_CHECKING, Optional, Type
 
-from slither.core.solidity_types import UserDefinedType
 from slither.core.source_mapping.source_mapping import SourceMapping
 from slither.core.variables.local_variable import LocalVariable
+from slither.utils.type import is_underlying_type_address
 
 if TYPE_CHECKING:
     from slither.core.compilation_unit import SlitherCompilationUnit
@@ -46,7 +46,7 @@ def _convert_type_for_solidity_signature(t: Optional[Type]) -> str:
         # pylint: disable=import-outside-toplevel
         from slither.core.declarations import Contract
 
-        if isinstance(t, UserDefinedType) and isinstance(t.type, Contract):
+        if is_underlying_type_address(t):
             return "address"
         return str(t)
 
diff --git a/slither/detectors/statements/incorrect_strict_equality.py b/slither/detectors/statements/incorrect_strict_equality.py
index bd34d61b1a..ae06d7bf3b 100644
--- a/slither/detectors/statements/incorrect_strict_equality.py
+++ b/slither/detectors/statements/incorrect_strict_equality.py
@@ -31,6 +31,7 @@
 from slither.slithir.variables.local_variable import LocalIRVariable
 from slither.slithir.variables.temporary_ssa import TemporaryVariableSSA
 from slither.utils.output import Output
+from slither.utils.type import is_underlying_type_address
 
 
 class IncorrectStrictEquality(AbstractDetector):
@@ -77,8 +78,13 @@ def is_not_comparing_addresses(ir: Binary) -> bool:
         """
         Comparing addresses strictly should not be flagged.
         """
-        addr = ElementaryType("address")
-        return ir.variable_left.type != addr or ir.variable_right.type != addr
+
+        if is_underlying_type_address(ir.variable_left.type) and is_underlying_type_address(
+            ir.variable_right.type
+        ):
+            return False
+
+        return True
 
     @staticmethod
     def is_any_tainted(
@@ -116,7 +122,6 @@ def taint_balance_equalities(
                     ):
                         taints.append(ir.lvalue)
                     if isinstance(ir, HighLevelCall):
-                        # print(ir.function.full_name)
                         if (
                             isinstance(ir.function, Function)
                             and ir.function.full_name == "balanceOf(address)"
@@ -133,7 +138,6 @@ def taint_balance_equalities(
                     if isinstance(ir, Assignment):
                         if ir.rvalue in self.sources_taint:
                             taints.append(ir.lvalue)
-
         return taints
 
     # Retrieve all tainted (node, function) pairs
@@ -155,10 +159,10 @@ def tainted_equality_nodes(
                     # Filter to only tainted equality (==) comparisons
                     if (
                         self.is_direct_comparison(ir)
+                        # Filter out address comparisons which may occur due to lack of field sensitivity in data dependency
                         and self.is_not_comparing_addresses(ir)
                         and self.is_any_tainted(ir.used, taints, func)
                     ):
-                        #
                         if func not in results:
                             results[func] = []
                         results[func].append(node)
diff --git a/slither/utils/type.py b/slither/utils/type.py
index 1674999aa5..916cf42b57 100644
--- a/slither/utils/type.py
+++ b/slither/utils/type.py
@@ -197,3 +197,17 @@ def export_return_type_from_variable(
         return ret
 
     return [variable_or_type.type]
+
+
+def is_underlying_type_address(t: "Type") -> bool:
+    """
+    Return true if the underlying type is an address
+    i.e. if the type is an address or a contract
+    """
+    from slither.core.declarations.contract import Contract
+
+    if t == ElementaryType("address"):
+        return True
+    if isinstance(t, UserDefinedType) and isinstance(t.type, Contract):
+        return True
+    return False
diff --git a/tests/e2e/detectors/test_data/incorrect-equality/0.7.6/incorrect_equality.sol b/tests/e2e/detectors/test_data/incorrect-equality/0.7.6/incorrect_equality.sol
index b2e4c2f142..58b6b593e0 100644
--- a/tests/e2e/detectors/test_data/incorrect-equality/0.7.6/incorrect_equality.sol
+++ b/tests/e2e/detectors/test_data/incorrect-equality/0.7.6/incorrect_equality.sol
@@ -134,3 +134,27 @@ contract TestSolidityKeyword{
 
 }
 
+interface Receiver {
+    
+}
+contract A {
+    mapping(address => Info) data;
+
+    struct Info {
+        uint a;
+        address b;
+        uint c;
+    }
+    function good(address b) public payable  {
+        data[msg.sender] = Info(block.timestamp, b, msg.value);
+        if (data[msg.sender].b == address(0)) {
+            payable(msg.sender).transfer(data[msg.sender].c);
+        }
+    }
+    function good2(address b) public payable  {
+        data[msg.sender] = Info(block.timestamp, b, msg.value);
+        if (Receiver(data[msg.sender].b) == Receiver(address(0))) {
+            payable(msg.sender).transfer(data[msg.sender].c);
+        }
+    }
+}
\ No newline at end of file
diff --git a/tests/e2e/detectors/test_data/incorrect-equality/0.7.6/incorrect_equality.sol-0.7.6.zip b/tests/e2e/detectors/test_data/incorrect-equality/0.7.6/incorrect_equality.sol-0.7.6.zip
index a7fbdc6b68cb2bde137d455418999079da2d40b7..99de07e26a1870ec4bfdaaa471a8fe3722aa684a 100644
GIT binary patch
delta 9990
zcmV+hC;8Z|K<!T%P)h>@KL7#%4gff<q*h_JOcysN0032Y0+AW@e~}H_f_tM7Ip@Q#
z#XvB7pudbsLf+FuQJXbLsXh0F<TItsrJ7|tKo4-5!3B$-?drZ2eiWbGX_*o&?+Xg!
z^U)eti3mdvn&Ae@jrLA>IhPVK(`C;a@H|}`2W^QZfgX4sUosCPc<4=JG_-D&hn5UA
zv->YFZsdEJdJD^?e`Qe%@oF*L8yp%PKXJo*8RBV4HwH-n{b-4eEDKT)uOf>jaJtom
zW#4pmS+A2NHC=r?JFa-eG9QNOwX9HzcOMn2p<%fcNVsr<vKCo?Wx?3Xn8K9VBD4hu
zQn$NNRm``wK4R|hLq(y8d1Mn|z<qundWI?FtFt1LkuP}<f7PH2-w!sofCTQkCv`ey
zv?U3!IVRlpe51VwYIH6<TDRdx9E6&h(LQ1nHm~M^0MMTiL*5x}nt|51L~|DK<E?p!
zmc=C3MHB^+k;FrwDog3nZD1KLvGy}UMZ(?7p<SPnjp*K_iT`c7;mq$cl`tjA4xg|R
zon`1y!1*Kxe;gJV&TQOMV0M=~av-5XZsPZThivlSGTbS*z1m2aH3GP?&Q*SjtYG)K
z>|!EN4$%FR*#|J+$aSY6SaqB5@FEvi(=M-%?_3~4R@eBc6)YoT6pM=cY9L&mDo$#%
zFO;k&!nLYt9Od}q-IxL`@*-uVTz1urX5<s$5S-d>f2inao^<qOM>krbd${Wt1z}^_
z6>jmug4U>=ZiN@cx#MVsai&-nOm1MUvSG<`hO%Hs(cjp`4{kDXly^D>K{@(I+(RDp
z1NwpaRGq>Xz4Nk^KCC|i`IuwN>LElE?^m0R-x**Kpl3|8q(m6Q$!cP)I~OUb?_vNq
zS1B3(fA}gv8=>%yjK9LB<gBN&0xtWfgIB(QAfus|r(r)YH-EA>gUm2Q^l<&dg6OXB
zHGRP<h5&>!!aOXRfP}M|5A70YLcl!%n5IT7=>2#G3U<v&QFBq!3uit;%(?~_+&5Py
z;hLi_lXU%T=w$9CVGA<n-^C*m9fh8HR!8~pe_pDNtB$4`b@|S7L2v8jUj(k=T}|}!
z(Q8!5?CrlrMQqaz!3{m?PQ$o>%H9Iba>c)@^zEm|lgImvX-)ou>zk5rTS!xl-}KT(
zp?ckn*a!~+3XzdsrEzVZ+{az(qz?uQtvOFB^&!Bnikx~Ew@!JG{(L06m`q8n`I*+a
ze;oXml)MR)r$>w9Mwh}gxX8R68h24H299OFQJgoo0Y2zo?v@N(zQ}ZjRr}W`I@DMm
zXI`#N7&cUL(=hqOzO9ITzB(Q%y{K}v=3coOQB0>(U<<c4>>Kpmjed5!)V`siiqMc@
zQj&>dY;YDz^V(WOCawu!zV6*UwF_zXe<lue24+`S5f9}R2q>lrXL}%|1r4WdRE7pN
zD+H^YDaEF@0A{g{hXH`EegjvRz-*D9Bz*KyF67*tGb~LrpOQ7qXw6RVkC%L1Te%;*
z3?>r@5mvXDmq&YhqK~XoKJit8wrF>=%h0g?ZjN7R=GAVt<+UfA-WduXmVpeqe~_XM
zXqP-u+K%ubF#QEAa68Qum3@9`QZIk8n!7Zry^eBJ$VWjr?eNt>g4EcS!xxp8u8}@y
zU&Cv58AZsUaj_~ExEVA*GV7v)tZC!RXSTw3R0hZ#l!@<lG|)(zB0f-_6cUD1moL3Z
z@<oi9)2eGw8aVxt)E`~0Y_a4sf7YSNHMnVm1#waDyU;@;NEdD5ssqFzH3@~p+SBEp
z-nU*aic8>L1R%iaW_A1l0VHl;kE?o^O`%Bfa8^xF)rDEznlBy6W0de)i{bSSeT-qf
z1OT+T*&G0?%nOM9;aD+kNXV1)y>-CO#70Mq{Cx#q;lbcLU;J!9Y0^`>e+6gz66`)-
zTtoe?^UUEVg=Vbsa_PBhp1sqln!5LG7BQfiN<)-VVL{XnF)sLMJlK%3&UDoJb}x4p
zJ@DXC(8L&V6cmy%R4G1`xp8-#ro?-*oV0@+l^Vgu{e5EdW(4=mfd13s^S2XAw_Ey7
zJvqdkwQbp(_-ZOv1y_7@f3a<X>429NF6!;6h~=Uu>SYUL_JjZnc1FgnbsRq!Y)S~!
z_?rg5E_5?emaXdC2oQIp7c`oWcoz7n=o1Sz`ZuIk6L3X+cc+2R>v?<mOBb)5pw$sa
z@A@<*y<0)mw83djt+f0vP0ZR-UT?TIWtUC%e)pDoy>e>lWoIB&e@37wt&g31g_K>E
z2dOP4f8H0BUBdt6>qE>5AOhIg;ybGYBGT#2V?}zzg#@J9Gn(z+qvz7lQew)Z{`w(h
zgNAC#QAVazP56n|kF$kysp2L&uU(z{M4&Pw_ZZaO^{)*IYS&b8GPb4YT$04KuqJb1
ztierddlvuc?b;P)e*}H!5mjLp_~Q0Yec&ZXD{Y~>o-^0*(?Q==xw8nXhhVSBs62>e
z5dU0l6S04iy;C}@5&=_?#5)wA2qg08`{9<+o}B}{Y*riJrV?_$kA5r}{o4J7qLU3L
z@D7k6ixCWCfODAA7R4g}!84Bh82AL#&*B-pcyJ!Ji16@Je~G#|_qPVPb#Emd(r+-K
zL&C?R2iGf~T|{+7bs9B+cHc$mvjAl}4-h++vO)hh?g1VRNcpd&`dcF}CR>fSxgoO~
z0ctAUo#?+F_%kL<Nu0PY>wN6_k}O<Rf8E%1h_Wptpb-qrA7GO+&`wp?2$iCztLBde
zAos8trZ7-De?!EQ8mss`Kg`Q3)$F~bv;mH;iaAAwl_Lj=!5F<tWlN78DyF<8R=$o4
zop%*Ro(HJ@>Mw^5)fFFC$K;;a?~C{8e(K0R@LDf|$9detPcpHw{x?E)AAQGuI9lEV
zR2|np0RfVQ_Bst2t^|?8#N8CVMPPV2VJ%RkbeJ-<f882<9w5J*lZPLLM#xfPXy-8P
zYL#DLt6uf23wx6od2zR2z^bF2q(00w3zpB4f0Cz52vLbltU7Fy(VTW)uk<QGMm{<&
zB)8>_KggO@K)(PU^K><sR%is4RU}@`!EUF-aqYLOwEX3!CE=qM+_nDwBcU9*$ZZay
zWy=D#fBOk(UcE@Tz$w=p45sOXeO}`5sf)nGm%%zUg6$9eDo`oVUkajtE}1=r-0?Eu
zI{r5lYxXJl;*J61?Kwnxe19%|gA`RbM*?#~oLOEqAuQUiaoK)tu2)eZ2FQnOcIpff
zw8F>j?75JX95Fe1C)B~r>{%LbH8j$`f!ZrFf6IhBK_G>NB#ZZ%6Po3o+BEHt{mtHN
z*YJf4PbI5v@V@GVH%TjR*LpbhCMbhVYD2SU@Y+Lhpx#JbEtV2IY<sm@!`fPKfdm2#
zg<5?Uuu4r{e(<dq>Vr|;Lg%JVI#7Xj3|G+C(()ElZ5?d0J_75Nyiwuk*ht_dIPY+k
ze>E#eHSTW!-VR|5sDsX{n;YUb%lJTMgYqIDNXpfw6L@baSf&@W?%`q@4iGR-uoDYZ
z<SjN<2%r;G9AcODCy{vuQgMbw+3i;_%@me8{`zwKpW(85)PStqsGGFt?6S@F?8T7k
z_XR^S%nX}KFi5)$6X8MK%ZsFIDnduFe<L9wiLP00_^7hxpNp8S7u53d)bqC;<{ZWp
zJOm|T0fi)GrZ8JuiGSIoNy!(hiDzK1Jt=o9ok*D&s*$qsgXEXG6h>o*2lSkQq8q;2
zwc(A~G8AN+utlR~g;=;eg>04UDuqXUioK%y*44Qo5a>=h5YKUjEUGy-l}}v5e~a<y
zpxHW}+S%l+@ZBr-M?ga8W3M||?H+W_j}%0BTNii$z|BVkbx$+jZUT+6G=A|<E8igY
z>AUbnCv&epW%Fc$;@)XIWR4G%;|E-@oL(FGSPby?{Xn&o<XQC<5PJ0=K)V5CG59;k
zYBDK*Ad?lN7yzjriU2iL{%NE&e_qxdr8q+`P-cBE2Dx0|iMB(F58{PO4U~tWir*#E
zp*^ieT{SYm+Ea|9-KAl&wYoEQX%0{5!20K|#7JFb+4Hn0b(k&eu2UUxJ#pT*X-zXv
z1ubHtT;@KPIH}=WTNF1&l&OqsU`ln1h<m0O3P5to`;pl`g>cQ4L=+(Zf1PnT?wJvF
zH}KZtOoaq)eTZm>vYwF>yOgu^ZJ=(o!w_}A79H!`PsdOxSo@5XikMjS+S*0VG|1|A
z)p>j<CMDZZr;e9!I~(3ITyCf{J%=SC!IxlCq2WYceYAkI2F}dW79T(SWA`x{s3666
zH3+CXV>H88iUwWri&e<Ge^{op1P4l+z~%z9A%(r5IQyPeMN@kuZase}24{OZ)6>{S
zplV3KPxQn5j|PBaWgoy1T%|RFb092;F$^DPC7UG~|3hQeDFp+?5(Lkw(&xf$@p-q*
zu~#RL0cMKDCP<}cr=3G}A-`t>*_(-YTWG!K*RYjt6THC<J_30we_wC?16uD9)@gts
zb2vL?hAAt1iX{k83-83TnYZQP9P8Ye=HW)Y)3;UnLtE0fC(8IrAn?piUqky*2?$DX
zBgz2EJYEZHui=lx(EKelDZ{yE`a+vbqQrcc+Fg)Q>01DE?n7KC-<2Z)E>We9{=>)x
z=1d20vp~Pj0(i+Ve*}CbJC`$IdYTw*82O0!UF}l5$dYISnYQj9Gjr*m$buUw^kidH
z6YG@#;q2_rPi;qoUF-vM{%_F>pS)`C6&x(M`8Lh;RD?&zQg{t^k+rL?+;XI0s;5n;
z*86tr;c4+Rr+8;1m+KvOlvqPdG{R`u7NvZ<u)0MiXyYiyf5f6CPmndR6F|$~TdlnR
z;<LpC!hS*f$O0+)nxx%PgFMDFmA>$4ZxrCFQ53VRJ!0OIZXmT^o0_NeQwTh+z@%!U
zOoR-G-iJ&RD;PaV<}6%s1Q|l`Kvz(Z=L$84hrP}0T}P1QSMU$cTXli>;>Fzohrg|8
z_;CWmM$`0xe+Lwna*~fQnq_|mQCIH|HX}i9JN5v;n=s3ynxVF3PEyxIuy8ey{w>b-
zpya;ziU%*9N|A*GjK%~7m%{kKHGp3t<f>E8f!i(t1suyzA*-wf8f`I{6%My((r{x*
z8m$Rj4VWomfhwi8IxM5j)2Ge<H?IM@z#)@3qVEb+e}!5B{UQ+O*Jg!+jPpjY<mQf%
zyIWlAMYGM|IoficEM?9@J)<Nz@n8I6TIU;qyPeWzJ-NEO)cc7i%b_bZX*O9U2U$Jj
zBmTjM#en{}7)nOp0YG4TBEW2#jHYqe&{&{SP4Jlr4-5HQghj9Q`dt6rL;0qCVsozH
zoci==e<<r+pdN^i(#K_j&S^3X@MC(srfPgnnWpoP)!)@95_yier>rNxzOeyt#W@<K
zIx|X{(cdIuZ}3SvOr4&354(nqK3j!$v5L>6ro!`8jzCn~eOe9bRPURzlG8x68-Q-H
zY2{<=7El6`y8%$^>LD8%8{<NIDoP3kHfx1of4EB>-wr08ktgIUzD28CQ576g8KWf=
zjH0!yQ|+5QcI7mh*5J*DSeoO49Oo!0vy+TX`SGV+(Wz&4X0lk&98qPT0fAPGH+m-Z
zH(Ehd+Z1;KkRKmLFu-6uR@<YU_DsnNQZY-Fh>iuk;1gjsvGL$Y;`E9J?5&nNg&UEH
zf7zs@V^bCR8966*ZM4kGIVC}sw)v1!j|_{(W)_JfDx4($@|9*x^o4~K3(dzAJ6*Ru
zhO0#g*}L}t_QFokf*SkrwW!j@{cb$nb=1G_3tB0ar-7{OH*8>Li_oVSCt)*ibZvP&
z$iKdK&i)C^`Ua_L*p7X%J3ob!Qo-vVe?ehrD|ISDoqj1clbwOKhW8Am#d5HXI~wJi
z|J50QbsIQ7kN%g@usVuoou|#YDwgYmweJ$SPqI?6y-;>32*x9xv4b_a>BY2rRZytf
z^9O?e5O0epns+d(f`EZzg9}hMlfL{EVxlv&?PIXDfE7BVE{sDzp@xhAlL_%Me@7dv
z1=FZ$8hCo&D7=Oe7CYFPVNgnNTyEiw63D9r4YVC-IPgTM4m74!LlWHq>_M8vZl>2u
zO?fdfKY(rWA}UF!jG}8&5;O-7Xh%R3^F+O*Egs-4Z9>({FHoQYU)DjlS=O>Q|G&n3
zIpnO9=a#twIxdE?YRak5R==rAe;#M6F>wx)=vtKOEANjDnPI@C6+G+W<7(g!6*1P<
z2QSRC9ho%UUn){E`A5`9n|x`?apm9ZC%qi|VO5!*$mV7u&mP0@AE+1!gEzonOD>+@
zGcQtOUtcZJbljkmU_1fRbY}_SJTj+HpY$_9H^5Q01d4<uA}R5N2QsE=e=>ZM>f`yV
zhFGP@H0u?DXZuo2AU^1+M_)LVh(->mU)jnI_(SXRVWY)?G8#_(;f$43$bxAmv`rHO
z-H)*-dQ9n1Sr=ih1e;lnA8N;?Np0<Vkwu>Zu!Xrs4%Fct`O{XOXLGDZaw&mB!#I&~
zPrtI*@7tGom?nF8q9ooPe-hPIqevIl_>Y`*#A)T7`ia&X3pWoO&`k#Sb8IOy;+s;*
zPI)*~h_G1jBAU=uinyH#uv6++eHMI?Qg(@k!(jS|>jhmx^++CKg?iq%%zuv#{sJAX
zMw?{Z-xlI-2&oDLfk~nFA*v%2z45HwN{@&Cn@Sp=1c9ys1%vM;e+&`evX6n2{Ax8B
zx&W676wq%ew!En6%%WpdQb~U5aH}U4dm@*Ap#tq9O}C32UY`-yA*Kk6>v3Iwy|#+n
zGApO8lugoDGm^a1W5CD9*o%=#ZeqvZS0!Z19PNA0@zl*48$p{_PesaEJ%wmZ6}3*?
z;6zA%KzxojXYja7e|Ur}Ru)9iQb;-{_7J{CJ-!|Jx`kd5{Y_?+@a@fry(&Z>2iB+l
zB8AYNP*xX21=H$ix8=sWn1Np)MamR(kQdZK)hv}L$%uST)qb^EJKsUbdo|WwY_|G?
z@F_3Q!+;{M@Y+BWJIis@bYrW#d24cshng&Fg4^J#9Rg{_e`UK$QGT!VRQ}cGA>VOQ
zB)yufy+|4ku3!Tra^Uw&_s1uRXr93=A~vsD9C@<MjwpiZ6GIp~f3=O4qBwIFYaGV8
z?eNCvdLoVER<2ti%?9OQE)Bw(BU=K(n@G1UBlAKAg#tZ^5h&k-xwRZF#t~gT{_|>#
zVw0pP{nvM`e-oMt2oWt_^alSszq+mX0Bi&^p4DD36Q7T5qr5Ev`^ajxkn*oBVHG8l
zNw$p!Q7|gM-AGA+1~HhnvUkWstT92Nr<cqkH@*mirO`uN%`*Rl&@yL_2qm=y1i>jL
zR$TX>AHjcH1S~8Cg-DeE{CXA7tZZqwT3K#*?I5s1e_CF*=p2rKq)57L0!a^+lS9Y7
za?=!#@q7Vsg`n?<)|m9fEr7)-7`#-*halw{NR&l97)sDicaI7A6;@!__(z}47M5so
zSKUN0E-z{RTHLZoO&3Yp0Q3Nh)OvT}cc%YZC->_e96&dO%}WQCu}vF&v3%TE+^CQ<
zGp#{pfALIO*%CXI#mu_h@M+W-yB2&p6C;^lI~_gs4-tSm$B_cYgK$m%)|J0;q@`!R
z{DtLHjXg~hgjKR|k0KsJLIgOf!MSJ?boeyS;JcH3hGW7W@kE@2EB544o}#R^tqf^;
zE_(|8`EdcN37fA{9B<8;S0s=<M6101HB!@me_YL<xBN76GJ#u95a9$;xE*JMcPU}C
zo9a@_@h4)6yZba6@>4cha1d#e$lf)G{|KPX(T9?<XF+H=f*yT%mn*WSYxk>hgQaRy
z@XdJW<gr$^3YJW|J)l%5+sx8LvhQ<QBcoQ+ThEC=r2p{+#%QotVS2~Y0)l1V989om
zf505)(^@N9zA?v~@NK1JoU5<oeLL8_!Tk#6A&^{0xcq3}IsnahkoN32FPA+bP6QDR
z(?{=G^bU<>Y)<hN<MWN&uh9?yr26(<$o8IVlXD2J1+q`2F91vX;Z{b%yW!A(?)dV1
zPm#db<jLHrZ&c!kWiM#B2>Q%M9xtoif4E;rHF$1i*hT464Ozk*9y(0;{3d0@+9smi
zwg&`0%edp*wl|*}*`(yn-&8dauW$xtka_&mB6<F#;eYb<*LF8so>5R=*qy%jTPC0Q
z)-SO`<MXBo7?V0-tTa$e0H{)J@gluejV;Hxgd3Zr{S5R>$ATK}o3||GPjB`nf2Gxj
zV{x9A1T#1OGA)+Zmn{4Sm``blJIr?-%-7Ke$$fMxE(3i~Eb*lG7-v$pu+a(1$ZIW0
zg8Z$4et8TIap@4&bN#v#yy2;HF8s;vsv#nbKzUXh1h;%BMH8@%9Ssu!l80?oLRcc3
z;M^?@x7Y`&D){1XShX0$%l-Ave<nw<q3LDPLd}ZHZkpv{RJhfJ@1UU`$Z>=E;O49_
zBamY_wp+Tj609XM5)?*WT%?OeMHGnGaL7=71L6;Jx-$>Lt?ax3BxWg29`)!)Oxz~e
zymn*E-+xc{L(UnH|MC)Td0#noUhA4$0yv{2&9xwm#0scahG@vkKeDv{fAU};vWlr$
zr?FZOr=YHyfRTu3x1By)#6s5YGL*4q&{v5gPmSgLrc8urwrp`%lv7|?8sDB*M8K7@
z@vU33j~cn$fvfPZBt@TO_$Dwsuk-7r1cu>5S<cmIiQH0LQ7u_4w{Oe8*?l!G8FL%~
zJbT0&YU%CTe@7PhmCK}Ff8M~f0OKeGcGQE%&VYABPA@_3=b=_xQ;q)PF`E26l>scS
zdrzNzzlPk7Ho;mOTb!bPzK!P!RIN3H_yWNyL;lFa6boKlRK{xBX5UX!k~UR#NX=&c
zjKcD%muGbsdai6$Ccgt)_q^;TyGBW-p`pD~0j!>BXhKRJp&@lae|tWGz2{hU|AjdA
znAJ{~9r!?IJjK*^A=Te~i1WAIK-#32kKdQ5iI1rbOLF0hBkqEW{W!*eLM+Z6u0d9K
zjY18hHB8W0Ny`fYfIUA%&n@p~Y(V2e%)Pxf43(q9jz~6##Ffu$>BQ&NAsskam8COd
z?-|40&>q9T@-<ZGf8O?WdK}YZPp@=VAatSkap29X`v}F^L2+0!F6g*RX!xHS*GvYp
z3=6RRxIFgN^*-Tv#p>5_#+)2B_2}|Nfja}iPrGE+iTaq|Gj&XBPATRA$6Rh#wf{^N
z{yb|(jZtgrSR+}!4QSpVN5PAIR;#C%XX$P>EL%yD!dxlmf41Z}qrNwxh>{-e4arx0
zp8;OwDBRaaa4+nG*FrHMua|Odk=wT3a469sZAM=S0Pi`9B9CBi&uDE_{IkcU=tYrO
zPwF9-x+pN7oN6AH`nR%Q0U5ViU7ETaP@IUOy{IxdS`y#P$3pQmK_CZpfpQe7iOMR=
z%MQT)dmWkcf0eV^v}vx!wwQlPBCSq@DroM&HQ{H0NNx6&B}SGVen}mahFVJ=1F4w1
zhf!JH%o}F)sp>$$Wsx5(1yzq(G9R&Um`Yx;CCJ4g)rUZ$u`FynlkZsG`b`NP^qKjb
z2yT+{I-HO{ng?OiP0FlA3+X}#hm;?euX!OR33g5)e~i?Q!0Xo?Gm{Hq%Oa>^IfniH
zZ7>|E09YtN$gD0m&G=jSCkq{_!FVptIvspx&+FIMLU4uuL<tR~OyK3w=@q!;YwH#B
zR1sMM0ruONlSCgd?Z)r7c-fgDhq72$P9#iOj<ko$@bn<1rca3r1TId>YD{|`!4XQ=
z4fve?f5g%#;ya@|IY*kAG{s@3ljV;zMFinCVQY>i3OPYBSuhHv6;li1gk7<lo<BlI
zQlBYKa8L^{_L;8dLgP%VVe2yHU?-B{F{LHt3BhBE)pYmg!7wk2DKT;G+4;{sK@cX2
zB-y_ckuQ!ZAXVjFS}6)*(!lGZ-6Z{0GLVP_e>_+AEPkqwvwF}lkRgpvyDJ?4>Y4eJ
zIdgd0KAkcTvJNCTaMC^BIx($?JT4=?qj`$~8}w*>JOrksOv;qn$o*GQj!lu1v)IAP
zEUq(rO*(aZx_c@E!=BO&1V6j19WgZ>IhQgwQK&FwWOl`A@JVXjSg8ah-|#w4Jw)dc
zf6@CE3X$vNQwvE(<+1fh+Dv!~3E^^)Y(NQ@p`f6AmK`@P&r_adT^>PC3im3<K<7i4
zXTc;3nz!~=>)HtxF*cLBlRLzw{R$pnwL(@7%SQrhTx3RYRNL{wUfnV?){hreL`N63
zaf`H4>)c`qD&?DCc|rWF1`Q}l*Hqb=f9z)ZT;OOlGtm=)3WSh&vp~gGi9$>G6q*}5
z@Tu&!ey~p-SRM0)Di0m6DvKRg_KR6Md#5V(lxaG|6eENYU>sHN2Nxu%Y23(NiWho<
zYi2Mqyyw@Wr}GiWvb_oDsF;ueufrk`)Z=8FUCH@BN7AF@f%=}G0nA7${_+Q6f2oq8
zAS*T>&P1DQyGEik?5zfc6F8dgUu?FE_j<9;Aw+KqWW+Rxy2fJHoN_ZhGGvv|WPWr+
zfwecP1W=#8pISVMxH2I+is`Xe=BEekKwY8eVObcM=UP9SI~F4C64d$}=JNcAseTFK
z&l;TabK>JN$h0-5SP?^%yadVKf4sbfg<c#AL%{k{UzQ<H$CyR$vpJhExB`p-o}E*W
zM#^}+74@HOuJ%R}y=>!1vN<rmz*tW%Mn>q?F1jZVK^`l6($XFSf<mR#CX5`0YX^|L
zGuiqo87bxvl5^SSBZ<oihAvbqc1hI8M>3`9QF=J0Fx7yCBx~>c0kt3xf1gr470tl~
z1E-!+v<ZNLKF=o#Z!s<`%iToi^Re8xYW&YTFe10xdY~_rd>_-57>pLj4HdEciac#4
z5ZkbNfu4p&99sbDpiIffxcSQ+^}ANwSM8P&&1!WJ8A`pv@|2_5Dd{eS7ov1&XB}OM
z|KXD{b+a5Y^mhF0k7mslf4jQW6mw2m29;BLcj)KKNp?*<I0nx-M&O6Y`3i;k+(TDl
zlvlpjEiq+&(NGFPAY=@%YSrfa(xWe-5zV2EpnyJ7n<d)wHpoueo#m3NbVWSmIJWF;
zXsk{}a$l6TCzJp5$9lg|U-a3aT_6K1iJt+_cQ)ZW5B|8-@F2pve|Oh1OC|i~nD`or
z?awHRU>V}i9afQT*9dfs#WBUkeF`x_%3#d+N5JXU%%3s8$@WuubWH-GM3IHlTMtB9
zow~O<AW{Bp2lL8Uc7X^R&E?jTtz$wB8sjuyqkYC}bezFguimk?VXA;&>*O}KdF{pQ
zmj#7r=r>7T#|L1~e>@3lRIsKShU}AwUFs1F!O{=x8wnB&;T#;n1ga^#uV*xoAhm^H
z^wkZ`(^0h&pT__XJE}&vZ!l||+&xfJ^ccBu0^tGU+1YMe{hlY3u^>-$ijX0Ip<x2$
z!IMH^#5kv`+eH?CuuXk}y&#P@`aIHTy<VQZF35;GZ6Y3xe-D2=#f_ej$bh2H)9NBl
z*;WN5P}jr6WaX%E050BvuM02I^yD2v6YatA=yNGE^CuD3mPHM0H^sU&6fsyij5{lQ
z9!C4$lTVN?&B$yZD9Ga;pg7G`<Wq#C1<m!**TC-8pC^)#QHBOH1BViWc~k$xa_gK-
zNaRgrd+FWde}acZ^OZ+F2PU&TA|ceRwI@x!k4^VQyQDIf&D;+?gTRoe_RgZvfDa^A
z4M~TYse!+-3o~?2J=Oa=-uOx6v@L8^*5F!vTU10g!;4aS4h8U9Zacs?W=yM^Cs@O(
zinhBLW{P~!-5E=alLFINUaIGId_tBCje^Nu6+rMffA@5%l7o{nXI{5iC^L3`wXfg6
z5JPR93qgL8-NDf>Z1z-5Ej^9-9NjBUSpdl%Gm}8%HHD@*80?U)cwpGORVVtoU`26T
z{WFY3ddZq%^Vz%y9SI^P73JPZ{iW-rh;3VaqU?ljSsQkjo!zOsS7@3cB)`DPg;JV}
zg_f2Oe?7>BU>$~g@Q|2al|4=!GwKS`-Epxg5-D@HKo0Q1sP3h`lObr<kstF7tHCKk
z5FGkqAAOR<eK!b&f+61Yy62z#%(9f|z7bZw3hiamGj-#Tvv?$AcFddZ9z;Vsl#M>T
zU^8d=36OtaNKjXQDybGu*a0<tJ0pFX3{;74e}1~-A;5-gqdR4`ol=ocMxGqd)~VZz
zfC0X~5EDEH2KUgg^F#`O$U~JYY}9jW*nN~tNhj0aOGX^gC(~4kFH(wue-<%E4)E}M
z`|@Y1<`Rsw?JeqewBcR$Ah`MB$NgR9DPcPtlN;S^%#_f*&$a+no^F%=ucv2o?{?^Q
ze<31fxs=GQ;N5<REX(=Tg3=xgGn=mf^HH)~ARZ<@wXRb$re|;t9&jufv5b?Y>xu$S
z%6!_51z0*pGr;2^nP9_MU!mZ}T>e*gW1gI!9JH8FG69wofG6cqKGtrp|Bi|;4wx)Q
zyHuW`2v>ua?P@H+d@`c_KvoZU&1{vOe{{KP3^;O?u;JnWcmxd^e>>_9#e^@Bd$`8!
zvx6!SbzOgS?>NC)Xi%<8yw|0E9I3W2<InJR+4X3|`->^hXV*WTO?6H)K1LKv0b9a=
zJQINOdn$Stn`T(-vj*aL7q5L=u|?U&u*K9TL`S+7?fmX62pSr={&X{ABZvUMe}4JE
zmN{j8aY5ko`P*p5AL_lEbkrTuXXA<UY?jQ&*ZQ6n6cqs%xns^q%nxtJIYJ|Ir|)`c
zZ|u>!(4amX?UCM=ozgz1JB~^ZJ8=x#eT0Z0s_s(H?nsuQFqSvKQluRZT7Jqc^FMc9
zQTo<<5CGgr2tIq_H$CU^LRmCNf1i<q$wu^S0G;jxg`b^%w1M7<O2Q3OS$Z`=HI*6g
z497+Zdxsx+QTcEU|IWLW19=cPeuo3YpbjUY*YDUfBgi1l8WsW_+`->`?>1SSma=Pb
zU#7|)!jg5>Sj9n6k)8k7+JP8JslG{K3s~4FlGz%SC|^KEZCOgQOK!jdf81>E5c)T}
zoNc|3=b^@FFFO2l(lXVrtQKhE-_gQ9pm}-A?dP^O#TizwcAg;o%#6u@3LWI3YtvTp
zjxw3@(nH0u5h9mJ0t0Jf!<QHn!rW)6eaT#OlPrfi>ci%HAHPT0JcBNWK(1W<X)-#&
zI67Qbb-L`e!gBPEL^?dHS<So$RMsZu6bVV?N-D{q<aY?kxJxsl4CcvRXO%~%S?8x>
zN7D8@0(<Ndma;}G`V?2)zx6Nda`*oj=G_2LO928u13v%)01f~+t)y0AwoDf{CjbCd
QcLI~zA58{-CjbBd0MoQ0A^-pY

delta 7991
zcmV-7AIRYCPpv>1P)h>@KL7#%4gf-pcUH!!1P6B?000#50g)N?f0L0cj@zfRsptc;
z2|2S42$CJShOeZ&tFx>=Dh;Aoxly#!4fR(5Cc8nWW(RdAi=(QALINY5GA?UfZ_=sp
znRR+;XT+a%vipt^^2Pk<DS!>IgnV%DTYj-qxWsYbe!PxjLC;k@0J58_1cH%=!Fgu2
ztYJM05_Fgej{UhEe~mcImo`^ncfr1WBuAsriB0~9Uf&CPSRWGr9FKG?hT6<2jL*@_
zaUT3S8p5K#q4uoye~-DOI@J!<cFWERSYCHv4w;Cbnp&ceMqA_RWbIsmqDmxpkpobu
zo*R(vD@*t`RCUB!-bQy@XYD?4R$}aTWTK2`Hu^>Vy7B}jfB2!cUNW?za`i53DqTxL
zw<j{7L9s9bvWcQfTXLiT#x9-yW__)`pQK@KK^x!}U?#wY_ZlMKPcVpC^%K*PY>n^5
zjh>8<64}wOCDTp#L4rykTJ#F++A$xl{bzg`*6}gN<L5QAIO1S~go1&v9M$^<;&$*d
z(@2a}=asace-1nL7L^EiLVz}2qtpC;(1C3Z0~oRqUaFpf=My7oS!!62kq(wuGnS+U
z7W&`#t?nEr9pJ(O;!6!6<~SpHZ9KP<N>&Q)b?7S3zf+ou!C<j#X|d#U8;-%M8FpAT
zu8{Rm5v}H9-mES6FcpbjS{XB?)=4)Y_RBP?AIp*`e_`;b{Q8|G8)KZ2PuU8_XHDGf
zy;=~jD@R-uRSJec>h4=ft5yl$dkcifty0aqmpwrE)vgfc4Xrf>Q(Ek^(Lewp{`MKx
zg!d8^Cn76_51S(nbqk7U2Rqm=Mfhk5;rN+DNf+Jw%KuXzadn5kX2>56@hiZkMelIr
zj*nVwf7js3`6%{f@U4Uom=YwMKG}hxZb}#_xqZWFQxRQLGDPr6kGdOTCyW{KxaJiE
zIJC{LR#JQKT;(0Wo*iYImD|YFuo*#ED;J$Y<Ljd!xMN81PI{zEKs*j>Sb{H_0*`a2
zQZaZ8TBvb5FyXP|Qfbeq%A&-C=*?z8J{EGce;gw(<PFm-{T$l}6)Q2}cOn|XK{<7i
zJUp>N-=s#4+3n1?ou2pAml?8#PzWP&q3z6&*CY1B8x{^~*}P|dndQdH(dbt!=3Pxf
z_liNVjr+Ku?D=TnB_ec|&t@5;9Uvb}rfSo-;hl;63BHJJTP;p_gpRK+I9UC#**}BZ
zf1fu>bkXvmn}jZp!KNPB+;tGdKnhF))!GiA__o;AA>I1wmSzESQYjGt6`J?{C!v$N
zx(T@aqnuBJh$Q$caF0;osr~hY4Ym~}pMs7z0nXW?x^zZrPPe}>pxL3Attod=%8QZ=
z5$zLGKdZQLng30bNw~)?P6@P{ush|@e<fzc@=m9VXPT*l#caZAhvzp2w4_C%<x#6T
z;Gl^%8mM6Y!g+?qY2!o9@$SG3BB;qWAz13?_A-wOVAc^hrm^UF+^+vlO$fr<OKIH=
zw1-PDN=1th-|{E+2USH;hZsgHD;gxFj%OD+mAlJvVYf3>E!X4FBE-K0+`s`IfBE;3
zwU1iv-@AWt*cdXX#z+WM?Z9&7G)#5kxHDd1xHuSB{n-Xw_Ipepo@}e&UrGA?cTe+|
zN*4D-crp3xv+~X+feN2<?~+Q^W_{AAiJ$2VZ7h<C1#qWYwM~bCHJ6sZ)2GZ@oX)WF
z-ZPLaVBF?LWG1sZqzwHXPpFTmf0Uk=K1<^)voa3rc`(r^)BNrviJ%L$x%W0Qwb&a2
z?gwlUhON+vwu<hKWB<B|Bm*Z$YE<f8{YDcs9T~%pD>ArZsvq65FBF{0gVzFF^9Y6P
zN)LC4vgxw3tt3s!7N5M!(7XsBuiW#dGL^IoLBS9AmJ-98W>jTu2_r+{f8v*yz~xh#
z0}(wlR3_JbP$FX5-<8=pZMy;<R%p`MURU)huU~6~tg57q8!80SmA&;D?MsAr0W?r!
z2&&UIaC>h*kOjkfP-IT_KYQ~vfO43VYl)`pu$dKO=+<roMmHNf%9Jr2wDG#Z7X_NL
z<B=Z7<_j}PH5kITTegYme@sZkS8qNc?FrcxwQ>}bS|lVd0c=8+XD#6&xn}14U!r^~
zl7yFLIyr0=W&KeDk~DfM>%w77IA{p&SCmMX<h{A26cp$m!P1Z>W!It`e}%OBlJ784
z!jh}p5LU%!79D96DOGgxD@*m=U>w~m#)zC$`XiX0pqa==touBee=H+Zo$+1H8;!pv
zlHcpk5ZeeOZ0-v(H{kjLl^tVA4W%yXM)<U0t1ZXg7>rL)!lccsfF_+38FK@(=&b3W
zpj?2(5EloAA{%{M@KM2pR|*DWBU&Y)s)Sk(PpPJ!NvVJ9+e<@bF9rV^?r)e)&aqDY
zf8lbuyeR{`4vPVDe}B;g3-$bcwt+8QL+!438K`XG?gCiCc~sLCjHtk|4lR%&Z*0~(
z3VVB}ohG&KZ$P4N2nbbc;T(l=94Z6`R|Sq=AFdNcM5D`OjTgRoKEb3|ny(lvymJMh
z5`Ps^X94DK8o_8M#iFD+6_(N0H*_VV9(OOsF^vud#c?Hpe*>Of4K5TUScB$ZznZB=
zmHy-ejwYp;j<Pv9N;{riF(o4AQJ&&x#*%YD8-Bkep(up!(DfQ%B>vGXpVHwH=4Y)H
zlUfch&ihcCSBu4@U4-D8A-ve!qaE01-nfbhl`Pg43I?nDvZ&3&t{%PG6(JK(#H6kP
z*lbdvYeEt*f23XtwsPT+khOvGM_SPg&E+C~9-p1>32_CaTJ-s|HlB_QQO>-S%_RWT
zh9Bx^U4sY=L|3QFhD8Zcw7dI!7o~Dn?@y-K(agT2D)5`gs{=k&+TJoI2?jR1S`!K#
zvq050kS;G=i~?+G!JL>xh$2S8p##g^>Rf-jhlYo+e+<^~)TM^@q;l%d1mb>J0*91p
zleWclt>(la-aAA(@M&@`HAY@4E_Ct)e1SM9&^KA|+8=Ci>Ku$*dwe7jxht(9hDWs^
zwq%_`6_kk)Ijz3Ek=>%{{V257R=x;cgI8<uC!0ep**ENM4N6JLK&DiQF~qBp91n#J
z#)XS|f13sChmTJx;V?cQB>;SC*VJkWx)4!6Vt6QgI-2wo19S9lLW+02%1OkpJHA6D
zShYfIc_C_mJmH90oi8x}a7TAtiV=$W8^iROG$~B>XYvTf`5S;zz9Mny&_?I?Nexq}
z(z^xZFDuo2v!xoSO9D5E7`0jnvcY<X+Zy`Tf7l?TV)7*Ysu3QeqkB3NcuF>h>Et)0
zeaYM58z~0UB%4_5{Nn&h39J!WqAL<#ky~!W5mH<Ie*ifGgvs2R^srXsR7lWg`s_=Q
z58DiP!Nj$;eXuU#)n(okLcBHD0K{V4(rg3btryOY1}j|7hVW*qz<wnuxTF34gtQZK
ze`lKgS&j^e439}=;#?5Z`>mTP8ZVJY2J|J7Jb!Iw5nck$FnaBfW@H8TIN9i{%D3{+
zR%{wJr9WP2|029C_r&89+(<1>ZT&RX;&K;c)*eCsVSx{ejTGUkHt^L0%ziG%aZdbb
zyABG-ZGJ&`oR(q$dmx)CNQ&6(sZISRf0r*qsKEX+n~vq0^z#tG`gvu~A4)aeOE6U1
zBy%+uUxy<JoVtoSxCfQBVzfSQZE|*&qj}9<f&#c&zxJAJy8fii{*meV2sM*DVHe`q
zchj!(0+kWV!W(Hu%m7oL+r<x5G99yt>&&ky%|4ZCQWjZIN`c-;!0koEf}VUse{U^l
zo^kpOxUo)Z71iV`iC9_KnoOOS?k;SQY+>^!m~4acSWCc_s?#ulcSDr!fi}I^F9TwS
zi{)iE{N78HZa2H56XIO0$nUGr?uB?XMR=Fy1z_89YNdLW)go^-qNyj9h=6j+(VI3v
zq*z&_^2&ykY=!^z7lI`sjD5Zze*w17nb2rMV;deZL~<;Wkc8SJFM^KzeW34ZWSw7C
zW8rVY$RHfY$%)Rx6|qrzRTv+#MX^DMJ}=uQYjnD_bh=FLv_FxgP?)26OIr6K(@U${
zsT8b&Cbwsd|39g}Lzy*}GaI6pJBCu()dqRNT;Z^twepqAp!py^rP1qzf36IRQ9l#D
zs^Na1r9ZP?UD437o3!u-IjL`Nuu06i3rcI8vb2w=4SDx<H~Piub|MuvS<$m3)+Y9I
z<RS?CDYa@E46Ut1u_^4X+ySgEa!<!?<hPLTvoQ;+NPV-;RuE`cQO+F2iZMgM*hC`H
zjg4ukeTZ>LX7oj7hX43Le{tq%-2R`8*BqtKP_ap2@%c}J9uT|FarI6MqyfP~k4W2C
z&FQgb$!o#uPahh5uEiGKL}fB3E31Vj(pM@QP$7zW6WtKZdYoC+Ymz3kL_R}JJx}yg
z7r1vs@Q_*Fxytz=O_+X`qn@V6)E<$mCm*7?<Euwd)sT!^Pp;;Zf7v5&MWzKxZLOIT
zO`^zx=`<>j<KgC~5MmSvTsUOZ*lGq{EvAK9^)E_-^trV$O!<$|ss-FwgnqYr^ac1E
z3ncWkEQwyru&69G$>}<3wX?(G;We4x<6U8lfEnl!t(64+NqyrejOw1*y?)azG<1Q%
zKw^KA{0k}X<B3abf4(>*bd%;Q!>0cdEK}~KTb9HKWDR|4Da@P;={+4JNo6)ppu3w`
z-{onc;9VG`YLP0GSMdUr(Pz9|CtNlJu@4lg_DI9Pcl}D&Ju9(yxE|pd#bK1zKgL(Z
zfZfS%bAwr2hd$thUZ}W0iuUrcl4D~Sj<QvB9XN{U$1c!)e;oJAmTJ_~)pwSyef1WI
zsmzqStT3*6{H_`<LA)f2#eab<N{(QpZcQ0>a@KyfbjQf<fiALLcs0g7rJGh{*ifek
zRzfwP8mv86JurHPPzBGjQ_!7vrKs$s+QcsI4L)umMwSWAWD~$KNy(1>BNL@C9+ufM
zoQ=SZNdT2Of0<m{KY$p`)*9>fc6T1&XTmzp$#8KV;u<XzvjV3O`rwkOOPG=Vu3$99
z+EH2IJR&i+3DqQ?5d*7rx(AX-#O#34Xd&OwVte11K?n~cEp$8Di(N@w<7;bG-3}?6
z`$%gtiHmaxHd5Y96Dn;O{s|L}(+;h7VDM6a=dyC9fA#J4aUYUMA}38vvEIiQT)7Bp
z{7#8zw%IYXTsG>mxjX}m>ol2y*G|15na4&Bn@-E888V+Avi-RaiDq7XMjb`$@?*z;
z{k|P28ax&`HAL`_HB7`-$Y>f`DmeB^d+KK?h6cgw_NoFz7%0HukOHV-b(XDh$je=t
ztLQh}e;x_;N7$gLqP6hMM?1sDqMO_YCc?GqRhgP#l~jhsA<A&|iYbO!He`e_(HS<b
z9h)?lhh5mdf%7|wE=@8x@@0`f_ZnPDT_Ldm1Y1oZJ0VZ;ilDaKORf_l*$Uljbf-qR
zHoiEbWQ}?%7I9&$NO^VKlco4)`g*PAsTP&(e=q`oot%*2IVUhFiMyw^0DOSD!M2)~
zxgSnQVKR?yofQty)Bc7dh$x_PfuFjUU5zTtFzzvIS>v?nBClLr;ZZ<Pn-WN%;Xv&o
zQpy1&R}fSyMaryjl8T(8V+=B8vJ)Sjto(mw@y96BldMB*j_e3i>+~{c0%g%yay@uL
ze`WC7@;WF^N(ZMt_~{d?cOX&`FzsQf==Gj1)5Ddl|DA3mze{5vlnqfE@|8=mv3O`M
zITR`TZ<!=;sz+CV;6S-VRq0gr^(VmzU#Xj&-!2N*_n91*Ai+<#08hn@fKnI!H82%U
zJ4X`b9YU8)I0-vrxwwD|Wk*yLTC4Hbe{Ml0=8TZIj39Eb*VIDfTY>%FBje42%M`3i
z=7DtvoRkT`d0MA3zyu{L`KSowwg22<;)lnM|HKsD+Z(t!pfR;|N2&fXDbu%k)MRK8
z$y%Yk$A*&NST~SsCrl>YAc`^BGysdYwh(_5X_Y~0%RUrbD5Rc|?SEwH)S*YNe-;UY
zUtnEYACVC~nw8rL3GD^X7Ze5Y^@JVgp&a>808GA;o)(;}c`n=YpR=c>w~Ax;2~RcE
zg(G<n(t-EB7<}1yS_&nsU?ALe2bz_PubgloCKK#APyAM7$`ZR&=;c<=brsBBNLaaZ
z@MP_CIyaOB7kX&S;{LQfBBaHofBL20^K!6(KA%!ZAhN-b*<;XSg{+H(A-q3e(%0^m
z4o#JV<K4Osd;#lK&=XPo5jF<7WB3H`wab`LR8=eyY*KK0LCg_qpvm-iIN0C!-wsn*
zl3+9bSJET7PzrS~>X2<=>27x%Onz~{YSdxVP9V8XJQCYxjv{r6Ik-0Be}ZeUM8v_b
zei7Y85`MFIHv5GqHJN1k8>o<M^Yq5k_Hh72!J*SVpD=<rlniLojD?MbgXUTEREySK
zQ!J}oY3lv^P#3)Yr6^jD%h)Q&{l&q74al%)o~_P{@Rvgyqo)>~%1yX_uEv1i1_$Z4
z))`a+-$Ex|EzU$-&mfufe<&Skt84lV8><H5hL&p1A-L{q0iB63*zTwHMCqVZnzrw~
z8g?0RznJ0&^9_*IgH5WX6<lpISxUnRfmR3h``EO6*_l+(c0X>2^7%7jeROlH?*_WI
z4$aJckj*;mB8Yh=3PCeDK#x8a!?RDa8cDt84TGypgqF;>15;NTe{Gj)-)gnh6@DXw
z5+Mqy$-ZT|YxW$d84O8j^H><09=yX>lGqwaThoV0rd&y(*$<Y(#;6G)V>1sq%GEjA
zKd>Hbx%(dHda=R6qKo!i@vKz@$Iz$8fN=s!3`_pegJh<%%$};-3i{II2C47Y;)NPV
zcu)?_?V)E1t|0lze~0&E!R)Cb{7*XC6k84q=Bj<eO}&E^(p5U~hNjDDl>5N(0N<!~
zC$)^p1>d;?5<rL2n`$%SGNvs)0gs7B6$MHm^aE8!p%vV8k$k}rHHl#(BkppTgwp4c
z@>Wgq!JC{)kGf&X|HxsPT^lq{^d0u*LJQZOD~VMPCB|o?f9F>}(4BvX@plB0*?9FN
zve9G0!Tk8X9Xi|{GIRjwOn;2*u9XFoj)&Tdws~j7HJn}L`oig-gXN2o*~?Sab(P>l
ze;o_+=sw^DBBc92XGb#_q`#_1P5Nth%V`)ge?}~;1Ui{tWs0r+-7GV{8-~_1NK8Fx
zc1ap>r;ja;e_OKepN9eq-aw0J_osf15<*%hVrQ$uNKs$@KnK;==|?WzJxlXGzbaKQ
zObJ-cZ3;H;0IoP$Vz$|>>zVRlG}{OjPYv#L^93k=Mw1$6N#414*#zl*54g-#z2302
z-zJ}XtA=g%yX=GRMUa}6G|BclIuR+0D}>)rtA7wBfA$aCP`JnA2Y?=n9I6=SFvHYD
zIAGIEitnviPCbXMn%90V?8f-h?tL9IL~HYJg0ZBHG-2n+-MDUE1sX2D?;G#NqH|8v
zwSsYO6OH(x<WtH1Fcmk=(iW{&tnxd(8nT3X1eK)FB*JPqwY&{pS|`w`?yeatCX&^S
z)$R&Ef2REI@77Ck*)h_W>iJn3V~R)s@ox~uMRf;bvE6j~W0FV9P+`vDB|64#yls^e
zY>?Rp_PyMt*G&7&3gyTZKOclqsVXQS79Jgy40$=Um#zK_x$z<jPKt_S^PeMYyHrXv
zQd&%k=D5Et0-M)d=_%(IU7yx63z&0B%;OxwfAs?7{zyG44l+#jcj*}H=W^E}AkpRY
z^Q}4-SHGvs5V)}EJ9AAp&m41qZCB1qP4a!7+lOer%$4Eg2v&tSW^*jX1&+2zkzx3#
zF``%MPNxjnYO^-zV(2hke-7_ka=DkG>ozM*5|sh4vS;ul0EY_hU$c)B3A~tBo@}jg
zf4Rw>o%4S>os|eLOb+ur_SG>DN#JSV+G^#YF;?%(-{{4by7YZ>;6guqjPI<b!^55n
zmD!hx2LsjoZ$2vqdO2|)EuX$6-vRP(99em|?I%mx)Y^<H=KHTHIwCD+jqF7OmxwQ)
z_$?;wW-?)O;OLnaR?j6KTAjnj%NO?(f5CMRrkt$VwN)$21&7@jUs~ViMw}ch2wwT}
zXZs=CmRX-)#f!1!D<P``C?Fu<I8z%u?ygmE%>ssY2TiBFMY*1(nPx5qs*cvHsmn>q
z;u?X_R8+)+hK2;39Ue4A_HMdZ-m`HD*xKkN85l3;aWppe``|gHk~mhIIsPy4e+dw8
zKW2>_Uk197fm&SMYX!5FH54pLavxZsL5+aWR%17d{TnXX&JQr)ox>n-tD6mVZwsnp
zVYmMGqU>$>%6L1D?8F#Wn*I(weRMo;K!u)YG98=GY{A|5thJg`qoO_V=*MqKqU%fc
zaQ571uwi}m{t%-40U24Es9p)$f7>Jb{q|TlU=q~j?NaCnke4ev9+aUvo!KU~qP;*6
z^Y4_gW3P0bX&tBCJW>e!oKjvqSd?UAtp4WZ;||<Lc59A-`k5%;4KK_TIhRc&fzvM3
zqt9=bv>wJ-E@<a!Ot+v9Uq(ch;3x}8=|;1iO#C2B4z!U$Tgig$<ZEakf40Sb5r)=t
zd!SXuau#iC>1pEx@i*9}$);-iO>S)V77&8OTBdj9XOKd~w8Ps9iUiG2c$_f0AdwP3
z5S2j5BCBp1rJxKO;eyy@fYL!lytPCVplipt=_{T#>U6*<hop&H&p+JXiA<57`qDu9
zIr;Q>FG?-I0GAO5SO`Iie;5r+WlME~+djAL{M|f!e1z`Q#LgM}yrmnT->i6ldZ~r~
zA;Y$?`br|d_@c=Xuv1d0988+_t`L3u7t(LvVKk?;jp1ub<0BT%w#@Sk#t}568$LB+
zA7~)kA19vY@PDrk_Rt0tTZq3E?6Pcn=TUm9krN%<#0Mk5+FTFkf1J0BSTGRU6s?G<
z4!yx%Lx1FpPLX$unVy4#*QF=Uz=5=i?XN|2<D2>>|I?JjsF}Y~7^dfgVEcFf@MR!b
z#{IkvxPz7eZMhc)mB_(5ChyU2Q1Ho}BwfQ1RY|l^a{m#LL#W%`fFgX1d8^n^2x=3U
zRsl+ky<}Mflw6RTf2+)i|4Vu%Q^Cr!9T4)mVnw5qI$giW!T8}$C^|2{j9vtYEP<r}
zzK0rT;#ntMi0ygo9wY-e$cu^4i$cYpdd2M;*(3-(+5mpxL_@hr@`Fe;_YRp!wS$@%
z_dev=lA1C3<O1DbByTJT{g^B4V)VbJxzLQb*>h9PsXuF^e;@hf=1{$RyRZV{I~JH~
z95P+f3J!m<sfO6CwNu%vH<#A>7~PqLDI4f=$wG>XzOrdQ1MFd;ci?(>;f?E0%S4`X
z8iT{6{%_Z}pFUGD(tS`<yasP`m%~Av3Q^t!imgH&q9u6%_O)7)c{&VXZ^D^AQi35Z
z?~nv*G!!9Fe+TKUi*oAsu>MFn{963hZ$txtD%P^!@fPm+Cc64v4UJAZaLsp*@0z!Z
zB^w3#nV9+jbDD7Wzj-0;ouQjxm^D>M2HtH?fTs|6zuIuhkIaHCQdh4H9E8K$wWXT&
z?~>Xf7Udj~vT6|^Q!a+~q%b&jY!P1j+WUWD&kaT&e}o^1$F=sz9{SF8Rnf6mt1{Rt
zv<*5KShX4mLCHUQFEv@H;IOHJ7XII_Ht0f@Bf@tcY}yH&iJa$mQwBB<JLy$d1-~PG
z+-`#c3Hjjm|F(QXe2VO;|FBGKBi;r)XQY(}u?^H>t(n`|J@|icU+MS`+c28aq)Y+c
zkQFS9e>t9mq8=&LKjsQlh)P2Arp>B}L?wV)1C0Pt@Fwkx!gdw${4Jd(YqLjkx;x}+
zp^qrxxN95_0pdcN8UmYy_TC#8ID=fv*=lRq=Fl&l1n70XIs^5uKcsi>F~s2~0gue6
z9)Hu2<`bgJtUE>x_#!M*w^K@x6)83(i}g{2f3X=MW|z4<6UsW*h);w`Ge1*-I;9SI
zOm4QS+JYtzX?(j}TAHrCz<7q0f!$y)rr~E9?wCafI0bd3O|<;_8f<`Ns<NxbDUsD6
z-_wC=j@zTxUxKzj86t;??^-F3xo^@LH&<6JQ)fV~egb;YyCU>(#RMF<3LET5QC6NX
zf7Eet<G;h+n9$e!wuYIhPi72t=pxba2296UEfrDSORCnR_u4*sAR-s7XF9r(HoD))
z;v(O}B?6<)-Da#zqrq0soV@0A4`RU9PLs)FUxw9O(`1MXeYVlW^wzcC6b{@9&J$BX
zmUq<KCqNsz*|2BTi;FSEtitCuwhDw8e+3ENS0vh9E#e-p{j20CnE^D2>Ox!@9>U0F
z4?l9*+HNDmg_>-XZ@cQPZBRkSEP@*Ys;ajNaGM%%Te8-WwdBLQuQ-K0!j!p;5fUU&
zxz7|54%(fh&+hT>R*Q~fd_&$F1#5fEZFlg4Ghcb=LUc9|quu@y$@36{L@z%if0{f(
zAm?ugt^5)=F`<LXeeI2~`$|svbg&2-b5Gkgj{I$$FRA2}H7Ppm`hm`$BrxCC{<Z&n
zY2F5%MvQ$nTi`p`WlCg_Lpqa~uVjM@kB5r7H<W0y3k7Im*dWa<s0;{)kd&@bXq)5w
tYNP8=O928u13v%)01f~`jdxbY3aJDKcOL)%6z~C)nkP*LzaIbq006+mV(9<?


From 92b2147cbea9ae995325f2b53ab6e4c9aaf89fa1 Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Thu, 4 May 2023 22:11:28 -0500
Subject: [PATCH 3/4] lint

---
 slither/utils/type.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/slither/utils/type.py b/slither/utils/type.py
index 916cf42b57..a6b6402027 100644
--- a/slither/utils/type.py
+++ b/slither/utils/type.py
@@ -204,6 +204,7 @@ def is_underlying_type_address(t: "Type") -> bool:
     Return true if the underlying type is an address
     i.e. if the type is an address or a contract
     """
+    # pylint: disable=import-outside-toplevel
     from slither.core.declarations.contract import Contract
 
     if t == ElementaryType("address"):

From abcef3015ad90c76830912965212d2e188b5e848 Mon Sep 17 00:00:00 2001
From: alpharush <0xalpharush@protonmail.com>
Date: Thu, 4 May 2023 22:14:28 -0500
Subject: [PATCH 4/4] remove unused import

---
 slither/core/declarations/custom_error.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/slither/core/declarations/custom_error.py b/slither/core/declarations/custom_error.py
index 8ed943d942..234873eaca 100644
--- a/slither/core/declarations/custom_error.py
+++ b/slither/core/declarations/custom_error.py
@@ -43,9 +43,6 @@ def compilation_unit(self) -> "SlitherCompilationUnit":
 
     @staticmethod
     def _convert_type_for_solidity_signature(t: Optional[Type]) -> str:
-        # pylint: disable=import-outside-toplevel
-        from slither.core.declarations import Contract
-
         if is_underlying_type_address(t):
             return "address"
         return str(t)