From d34a32314bf8956c14d303a71d15c63e18f7a5b2 Mon Sep 17 00:00:00 2001 From: yhs0602 Date: Wed, 15 May 2024 23:54:28 +0900 Subject: [PATCH] :sparkles: Pass interface is test --- src/test/resources/advanced/classes4.dex | Bin 48496 -> 51228 bytes src/test/resources/advanced/instanceoftest.kt | 42 ++++++++++++++++++ 2 files changed, 42 insertions(+) diff --git a/src/test/resources/advanced/classes4.dex b/src/test/resources/advanced/classes4.dex index 7e8fb00fec408a7eaf3a7eb45bd6a01b081db869..f74682e12f2f65c326f18917a894b3ac7cbfcf92 100644 GIT binary patch literal 51228 zcmd44d0?DX_5XjLd1lMfWHKpDlP;O2fu?&hSxX9Zr)krLB;A3MWzwdklQc^g)*=-U z5djfUKtL9&f`Fi+qEZN}WXfrHM-2bUX2KrN*@@H6GM~ z7BC2I0AB*nfj2-whf)oo3tSHF13v+QPNl8}-vL&aQjK5_xF5U$X2z5{8+--icf$jZ zf&6VsZ2%8}N!#Ir%X^f{*@3N~>TIQ+0N)4CfS-fI;C1jXklU-&Sg;5j0FQ(0o#X?X z!NuS~@Ef4wN=*RMK@DgGouC&CgY&@U;3jY{_&oR`_$qiBJO};)-UR;!ZGB3e4?YU+ z1wREfG{_Fn4~D>ga5cCEd=lIX9tPhAKL9@lKLam;SHNGuTOenbQV}p6%m>Y2E$9F{ zz)o-rcow`3rVZdna4z^LxCz_?egOUqat4(u2Ib&Huo`rNUa$w81Fi(01oweQz_-8; z!7spJ@H()E@Gl61sUQk!!8~v>SOl8E25<)G2N#1&zzyIN;5KjW28;tUK?}GT+zb8+rtMa0J-8Tr4!i*DJxa|6o4`fj zF7Q3@I+(H-9pFOn1@K2uv`?vea0a*-+zWmR{O3?_&Lh$VJQrUIBvz6O2|3NKe`8Q2Z(0^a~X25*B2AEa%;R&Wux9efM?4HR8L*n#A4uIRh!{B@1N8mT$O`xvC9xw@<41NvbA7-AqiuSmg@dADW{sD5Y zK@LPg16Tnzf+27X_$>GlcohUbg0H{|a5~ruI>C0(2Zq5p-~w0d>q^Y?gV#( zuYhO3Pr
  • )@Xtcr9}d$OmJ=cu)nFflkm3&IT8PkAS5)GEfPw0dIiy*RuwJk{gsd z1?&WOfagH|$4Cb?;8d^~w1XXB01ShD;CyfZTn#=39sq~Hqu__&r{ERvCQu*8M<55} zgF;XQCV)~f70d>Uz-q7=>;M;mkAY8v2f$ar)8H_87mT}+d|)0}3QhwZU?qu}G<4)9s< zW$<h>NrpeDnK1L1+;=QKpz+a=YfmBb>L&*9`H@@ zJ@6d(HFypD8|2=?8USiRBUlPnfwRCia1OW-Tnat}J_2qA_kb^fN5NCzIq)L*J$N1b z6Xe{Ay`UUagC$@ih=E?P8|(w;gZ*HKqD=tPwvy?DuCDF@p9A-T`@sF+^WXvSAov3K zBKQ(`2z(iQ1$-4e488`w4!!{nfp3CGz@y+X@GbCd@Hlt^dDU z;8pNP@F(zR@EZ6Fcpdx|yaE0O{tn&*Z-KYLKfpi1JK$g7-{4)KEdB=`U;{7k0Y3yQ&>yQ4qiD+%9? zywv4d@Sw?i3t{<4-diQWNAwFGM&@p))a^0C((V$M&xIx|w(U1zY2S-X_*vxNXTmQL zzSxx~e880_{9zM*hw$YloO>4gMiVY4{R1XEp7bkBI6~M>pPv$5LfF;coDv?JqNgn- z{Yh+g<;9la4w@AO*$f)*Y-Vk9KbFwbT=UNk%dVSP{rGH90-m4{?u&f*MDPT07tZ9L|8ah!; zP+;gC-G;K ziLZcGP`=RVnod+FYI>e(gswFFRYqQD1@;S_4qao?*QnLH-A*&{mJ}-TttKvXmx&KT z+e~^JA@RdH6JMX8>vg)szl+@)P5MT)L6;|SN#A7BwS?c%DF#W9`TBsJNA?R3I=0Qz!)K4^BuKuBEg=$6L zSe30dL61|*RhFhvwL#Mgb+)E6RWGziS!ySAyjr5-&=M?p96ja6&T_R>+gnZxuY-R) z>6@`nsMJHoz+(Q|R?3{s8$U{S5NYGV(%2Ug!dyK3%PX z&Nh6Z!WSz1IVN4Gq|c#c0y@1?)47H(RQPjgS>a1uXr=}cp~9~={A$CmF?^xIub~D1h+k@G`9B%@XG32z^e@m_wMfg? zs;TNp9e3=mRpYc>we;8^_SG4=IwMzS%C9qWbw;k95~cil6K^nf36*rA&rnVSJ-P+G z^9*08@J}>xp%QO2aiMNp^3ONvLM8nq6BjD+lTBQx#7{ACp%PzU;zA|9(8PsGe5r{G zb>mX*GLycH5+r>YBkmQQ?u-NB&!=8OWgG}S*-#k|rxM=^T~59-XcKYi??Odi6FpDn zkrh}h@fF6;D@;4DWMoMCN|V0Qq&HK8OG$4gei?L?(Yp!{iu@|&)8l!S8P}_@;Ahyq z3f|u}EmChA+C%xPjXkT)d?9hE{~DuLsOVk8O!EnyUZmQ|x0dt{=xIhysK^PGadsLl zEVRY&g$lpL)T@ON>%<+qgzv~ZGm;4({eu+zd zp^|@t$uIFGI_~J%NL>1dP_bhpxCuQQDd%QQ9lgSre4C8CP>~lZ`Zt@nP^sS*=zRD> zMZZvy7bD8>LqcJKLaXygo>UsSP4I)(>>}5!*}Go%8Q;eSf@%g z^{BPbGfloTjb4e1{8pn^sOS|c>1RRDB40Zrte5z9W+>rrXIw2NeFy%O_zvRIpU*b& zUgCd6ekU{3Leh7VE;MfVLM7gBUHTC6^W{Q0cV4xM1=L_;STI@wUC9v7g$1br7WbBbLTqAyp+E7V5l zCC0u>&G@*K8Ra(0xr~{o4gTef`+pO^ob_uq@efhI?a+^?GIcuiI?{g!|9X|D?uFi< zob}=3tdvsTjjR}7CH<4kOb0b>P+u_gi_qImxp%Mwc#HU*YKr=;rjFn4GV!}qsd}CC zPq7oYTT^y6l>Zslg?os9mL1bm&~nNw0OtVtbdn~QNDqHmM_J{P{5v?u2tNe>DZ`h2 zieyR6AA$cz!=ILtpP-6?O8CcrMPjl)N$Qul@R!4HGQ_=Cjd zv&r!15SDv{+riz~e>%#xlfTdK=ce!!db?=<|X4E#feAI-r3 znc-Jw;Q!t5Yv8B0kCcA{G#4Ufae@OdX2H*WGCNP?RLkfQ>{M7QV zA$}146Gs23qxho#A^0yD{&M0Lo%9^&WB5n<*Awu6XZTITML#C$kNEd__^%uO3R2zv z{2f3(GQP&cZ!`SWq^0KXfL{Us zGQ(e!hTj1HHp5>#iZA+?!+*r^PfNq!2>(gLZ-Gyi5#xJ1{8tTM*8f!dME_p+Q@#d+ zPa8<($KYQEf4$+aOX161&H3wPM}5B@{&zis%ko{#1~ z5C30=zX?8BM%3>u__MxFBA?BmfDR!2N9?;$68W5J_*)34>feR3;J2B74FB{|{6YBR z;eXih&q%|sgn!WR&m6@U|15|9qTzETG@^Xrp9TL-!#`^j{~Gvv;TL`b2A>&#BvuvY zqsJ%wNrpd*WT~I@1Nlh%-T;5D;m;;b_~J+T2>&4brG`JBG|?~qdzQ-R@dGHT;u_yY{_o z$`3xyvlzoa1-|H)ddNrekB9%5;V&RAe5r?ggkJ&wIm17Zxab!<Tc3 zZ<8kr`g5Nz*x=)?(A(cONrj@K*TzQC8)TB004-xT*dOv^c!|}n;*ne{#O+PX6hGl? z9gc^_z|B=1Rx4?5l0Q{Xei}U=NzoHHh92>;e8!SB{FoC%}{pe3r()IY3! z>hh<+55f;bO4*miBPH0EttCh_A88e_*=^@(L~SL%pbCC2w2b{@ ze@I4GJT#5(U3#X-({_l>Cn5I;bRu%QLQ}Q(20|xjTB>%dfsm-ng^q(}TVYRwl~1fl zQmsH?seKV`7O7sY8tgy6Tj2>z34}`7LpM-zzzW-CUZ>5xs>HWj`?^i#dIv(6qBhqj zZ76YRH!rlq=d{~WEW#$su?b0QAT-SqT535qIceia%eEWrB5e_AcA%!zd#4Kf213V+ zMt@1*X=_(Ra%FoPyobfYsipRvSX)jB1EF%uMr(sLiKl_-G&^;5HB(n#WC^wNzV>b) zTI#uoGum<$n9^WT+wjQRo@u$YliGTYSz8&a`YK|WFMFz8`l)jVC#ZPn zyIQ^p`41xh9W5_*2%bk?`rswjDD~{4W?svqvOVzyJfE1-!R>`JcRT(di}r6BcUk=* zSz&sZ1)RBB+CV-sH-;d+W^ zb`B}otXn*nU^L_st0>;3b!9U;b5!`X66;}Wtmn$FZ~Nx11qG@jl;rx*DJ|^SByD1| z5%WXip#`*zQzN&1NjCMFOMPS|?9uHnYs`rHsAPSFC;0>DT?FmmW-K0hiO??nT(yIH zi+D&jdAsyG22L;gmX25P-NB9~9{Ph0%^`HY4mA?GS%=C9b?eXxgyK51n9!GWXceKK z656HDue-Pvkh=QtmCWlU*d(DC-WYv$#Ir$}4wwQ{h>ZOgq@F0l$;XqA4EXiLx6 ztg-ed>MoxzZTag+ScN-E>@KzIw5ydpyMr91>Sk7o<TKP^9spQ`ZFGW7RwOZ(pZbTVaa9pR_= zd-Kz>WF4G7|8@F&@fTm~59x6b zp>Mwxu9F@VIIze68lFk!O;_)oN3HkTqtu({fuYs9-eZqZ?*R3d`E!`EYIVK)lQU#W zy^ok5BT3tJy*-B*QzcJcFiGm&IdV)LpOj6lr@ODFSgeqFsz}M)e`Naj4C%!g(n~U= zkJIT=mf!;FEWM+QRiZy6r@kIqtAq7rtR*vj*t4s0teV1lT&iw`H;x%jW{nQ3KnW+p z>{7}z{T}Qdt7M#XSm9Be@o=O!bXbL>IK^vjMfe8IZkJeb7TW}Th^T`@P(|E zyY!o1oD@!*z&l(gkW%I!Vl;f7z16#nkZJzF+FhaX98&`w6~~#-X&oN+bnI`hRpGIl z#!jGwZ9H|%^;COoEDD4QXi{f&llGPUg4DxFao59I)gRfYDzWlf@(9pN><`rJ@mI)R+YXE^^NAW#tU_0D0srz@FUh@H%IK z8dYe|P}Pm{eg&rwk56^vu%F5)i*+5@m=9BgWF%(p%(Z8 zzBXh{ds;0mlR0hcKJ81krcX`tN&9h^5prlaya~y1p2PO8%9&QwM?VhJHddiEgLB^m z*1KG*KyT7u(OVZrA;)I0WnTC^;9xa=+L2k81Y91{+BcZoP%L-p0AE%y; z)N?1X9`2@+^&EX>3Xn@$bPoDHh;)fM#|kqcgj>S)1JM^5-Ki(w?!=i;dV6`=lW#?2 z%!oY0dW1NqKsbZX)|h$p)-WuNQcK6 zkJ3L1nRTlfrQyN`MtB}QAvqQ!+$3mu+mW}iz&Sfiz*md3f4%y-`b0c!Tm5Ah?rmP7 z7cF@1XLNh*OthENzg#(?qh)vf2eNX{mD+EQrdRIJ9NB)vj^4k96E+MSQ&!Gaj@}_H zEA5JzP>*2(h?2E~<;rJw|`(l>bN7*vxm#8!Ge3=zz_IVp#snx?RMX4vQ z!gh)G3i`l5Xpauh25upDMJ8KQkln7z?6Z;o8-2Re?j!UU-k8uiSqryw*Hh+mW^bP= z@xNd9qnPxc(Cg&L^~-GT#K%}Z(mVW4FTi!G!`{F?Ovmn?HWlB<`YK~m=KCDHIu2SuT<*T6GW*KjNbU~g zxr>E&PlL)`gV-mzXbK(oS-q!oFk8(e&1+;%Yy23$ivBk4Eo9A4{kVN_3_DNR{r?Qv z@lf|JG>gzDxrv&>{;JR)RGhPXfr|pyShrgb?hZ_*ge_N8YWtlt^Y6$%`p)w#?Fm_B z+NM+{!biXJd<{K%bx6HC)w7W3iH9zd86_n?`u;Q?x)_Og=>7WpeSGKX`CMj!f1rC4 z6))pXu|Fj9a~Z2ie`q$fDf7%D)PsDPeIlW=wdWAw6YjCoRifKxi-hqbz43p>yb4 zk>*9JA@@oZId3uafQnqP1bPls()(59CZXLba<}kLSCNN>wvcbJ`b92xj=9UoyU2u3 zH2HX&?xs@F@}w&@MFsA5Qe4?Exn(>1pr>M6xm%h^UHjKMz>_^8&m@NlbDKtL$Jy(5DK6aP7iiNPY1@g)Llb z&Ck90TMC1`8+;(--f(*7c{v#bog2uCw86# zF#o<$;(yGNbNyetQqLoo>v>hqF0#tVIi!$U$0GsfjN+V4ygx6=?;q#qNf66(I6IsZ z&K*am2-{M6;FLlda2yLnA(z92W5IENg{ZIyuqYHVv5%ej&byWhv<7{XRIu1qdy0e1 zLP-nVJB46?(^N=qa&n!T=9KwXsQ#7@Dqm5l?-o2($ayS}Im$Wjy+}LC+BQ}#4}N-$ zv{pdn21=}6-C9LzUeLK44se$_kNP=x!vR&{-e>SE1n>N%#Pcofo&8gs+a9i+@rB&; zI5$3lp-i_uVl8DlH_tg`)=JeMxl-|@#B!{aCkZ1z?%L_@`Ts;6oc)lp4`>NBkm~Fgq>K>hQ=xsKH>AC|b=bkaDq@9L z7oGi#rF)myTH=v?QLZ(Ga7(m-aJCN1YA$?z7DJc&aed^D>k`TmKbEKl%9z4Fs6X;o z?sYa5a++MbiTWh>iPMlx-Q$WEM4x<|^cx8!pMT6mUg}jwPwEfdLTFd$R=!6+R~0Ry zhie+fxjc)$jkt3MBmNN7CUmXV=f9hn-Foz2P?V@yJlD=cfz-oo`_bns{d@&}BYNcB zfHKvp!d2l%`YZ2KA$ElK!{e#s>*2z%w|WXYxo8E49=)^hEKl7>`ft?!?vQ;Xz7FgC zq}e|PoIUC^_Bo#yeV*{1>H&1sqwCa$z+|f|;Iv;rl>~3rdM;&DiJoafX)_sR9YIIW zUUm~$xv@WTFYg?Sjf}Re!t88S{b{r|qIG3M&L7!JI9hYG#s6HjvPnh z*{tp-sKSDvDr5kZjJZJ-<`t{L{BxDeHGy8)LCS8fj1f_mvy7YQbCKGpO7f7*FIN3$ zT&Vu=!+7Wb`<62HAmK6cB(3>J@zCAmD;qP5wyS1ci-&6XF3X!uyqQVfVQ=TWW5M1o+X-c3K?#4UCz8Cez>L89g8v#q z`V9NO+LzeQUZ+(}v&&M$9w)s;pNHvYiI0q-)G_cFeLZ!&y3abFAYIObCFt^lm>nZ$5`EXO25r&jn(m`;oEky#H~M zwi~Z&dxbB1kf{6EDG&yWgL)KWgBHRql#D&0HaV zaqE8=nRN9xv%31DvDwk=6|me2z2lOxj?>U1g7{kUx_Hi|$0feziaGJjbz=SuDPobJ@k_00nQnrR`H z2~YE(Qui`ezW&e`3H9)oQ^`4g^t_o(F7ay+y)o!S{g6%$WO^NU&=CjWcY-n!;*+A9q~4BE^KAw=%*Wc~^w_-FiyK zWEbTPEG_k2!qc+Une;5(BlS$m(|v9Wf?|OaA3dW|ysCKCX)6i4AJ@O``mvn)rW-rW z#=j+M+laB_wxRS9X`i!r4_wy1RKGj#(X7Ys55wu<$+Xk^mmbCcZl67ka;K9k9y&yO zl<>E}@yIs`#Y5jne2*BVx>e+CewKAA;iJ9RkuZP3(l)1IjNo)L9- z=Z$XondgnY?{VIc-p1YsUE;@WST8oXHV%<4^Tsays|C(mPi~v-g_qi9?tFo`Nq>}( z>;s)XeID}Cr{kd~(CPT}JA~q)$MyHO`Oanr35TmA%uNwinox<&T?2j@B~xC#z?Ep= z=}t;Zc+b-$S&HR-#lB`>L7K>Krt@7|5dxxA7)D7hz17k2z4 z9=wve$=y{v^lfUJt=lsm`5xiq{_G>jIP+lo_Phc9f7_mJ|Gf=e9AWVC?v%bG)^UPO zSSS7YaZ+Uca9aEz`J_#Eg?^}Qcjqvfr=)+J#fmNCOzQ0P9QU0kZX=odAJhB9Cf$eJ zelmKFlXUsqLs_D88#<-WrH)-$Z<6nhjGRxCyze3HGWd5+&Ww>p(j64%`y_377^Hb*E)yJ5B zU7xQ)&(Y_v7bzuAx02NRG~{2=<(`30e?=%fB^-@c9_B=oE$`tR7hYf8$-J~d&L1T~ zX0E{ZI8!)Qat6uTspsVD%^9RV^$e2boEUi8TKTd%%aa|b-iD@4XliQ6`XqOnju!5t zvyoxF{WR|a$;`G-DCdqWXh*iA<>N^Fma!_Qmwe~+vIR|?UiPG%UP^K|YkR(@a&tt} zjY83s1MSFlG(D`sE6dk^P967oxo!S6qdVJE{YflakG^FM{w8{uW0@bzy0v9@nG?|o zsV5?1*$(6#@5$T0uZWG=g*ic0{S{ibt-(8i{lBA6-aM7(v*t}x?7JiFb2rX8<^*sc z<(5*1Eoaugh+l*$%Mh05x-yS_mbR5=110Ly`nKQ4jm4DHWGn^M65HpwuTqbhx1DE5RR!7aMyq`4c{a2a|4c3S_sEF_+$!4X=i<}#T>J|?7q6xN%3LD<@i#ckNzOHJSMj!@lc3wu}y04 zc)(pt&eZn*UfbXDAKLG}Uzn$#A&H;f#hymW8po4^ah@mCjWp6Y|17JDTTeNAhR4d; zvm_u-HOj1H|BF}VSY9jFTN315MEc3^h^+oWZ2>pDNUd~5%N`2e>PF&YDnCBCj16e8MoBNaH>NxKci$1X2$6d!2`{&Tl=7Des@3M#6 znz~D~F448o&$1#}mh8?-c%xiO)oGPMYk!v9jEp|%va%_)-^Wjve89S*a1O_?c{a77 zE4g<9$8)FQ%pkm{61Yg~9Mt#1S#qMWO9JbXX_QmwNqKk0+$hN%ihBnzDE9%%nMwND z3rg+&lX#!Xn{TV__gR--dg*-Lh|1<-R84tuyj?VfudWCjL11es3NVNZx$rkUXxgRNiJ={mibI zKOe>0Jz;Bno^5~7`##GPpJaP0d9m4N`@DN?^%c9xvTf^w-loa6UFWqX=1=fhKD%t2 zXN*;pXL~>Bz02|pPO^PfUMt(@_4#^cPUc<8V$DL`5Ui-EgSETVw(jtXK98fX-qA-{ z5!FlmWG9^?_VFht^EdAmTjyWOJz^ejHs~0r#v&CmftH| zVddHCWpADBKlxnC=Tknv<+Uvm{ClfVPfktp1VNrc(Z{SCZSUmyw&!uLceXX&=b1d&_B?0rqJ8HOu>wA8 zs^6;6iTj+y*_$Wtop|wV7CxK5fAZ&S&ja2*&+bXK-QdLp+O)?iu>aptZ>mtNYlqo-%b%9YJ4o16D- zw!JUfCvCO^zpziN@2^J{z2O8sf>=~;Q*bJLnd_iB9FWZ;XE$Pnxs>XM>_b%_Ond$-BYKrZfb(|Hjy>q-)jn8Z6&+$Iz zId_j0^hIo>co)#;^+#yVh&_quV^(qg3@g`{Z%-yek zz0MjJ!T{TUn?3EMXY8B<-cuL$*trjSTjy`K$2?@uhU9(Oo^#4&pW18NcY0U%y!+^# zJ$CTN-utX~t)l#i+q!*0Jn8A$PB-xTa(ubIF}}PmJen2rc{so2vEnlJw_CS+H&Hlm zALa2Yd!J_X*2==1cR6pz!LOBRjcRZrqd!}(!w-61_r3x3sacb$j6F#I;m?w+MSG^& zo)f(cNAFMUbD4L1AEaKMb0^vUYUzESNli|+dE(u@(!ZHV=F4Qt9MmI2 zW-nzK!*ay}h7{|So^%j>ZT_RuBk!CT>lO{yiLZH+z|Fzrz4yBL40|%#^0kPZOGHFA zHM}0bS#nu9G6#DZFLS-O%UJoKtqyyyuw(*Ww5M!TRleZe?^LD6yC6{y>LxX@Y(L}I zW99k1POT9=hg#Qq7bZo|(W3M5^n`oq; zdA;bq*Xy0=vrp#7oNl!5wex1rDN$2&UoNn|XXiO$RNvaqEH&|TZ1g#TGVwfWtKZ@R zCIOm(S?Cj9-)!4+i`Vy>Re>SdH%UDAX0PuVtBiQw$GpDHw(sL!pA4h&{Mokm72BR{ z2mjCZFxHeEM!}tkvi?4g!#zHaJr-?DNI$kckHVlbikgh|Qx`AO0Iyb(Me_Q?UAQ%m zzpPMhG@I_7h{_VpPDBkFdaI!~8!AuVgnyBt=Nh`m(8Y!>F;s?w?19~T<>O5{TUV`T zhoR>f`Z=h`kJULO-#z->G1=QsgkuvEzL&RUg`UHIQif1h$F-U-e;a#CLjEA~V)q&# zR6asoh%O0BIYQ3^l6D^&oN}D}1Ek4L<{;WXZS+eXsh>?Qu|-0+K_#DU%9V4rz|U^o zu}XMyE|QwMbv{p@lP0Q3*x}rU29b7sA^I9jy?fMtZD*g!dk$p_Un~%Ngvx(ns~Z-p zlDzXwc%qi$l>p=>lIB$r#eF(-Dw{8PzI%_B_yjAMV~N-+brE^jHhBl-X5#l?yUaK8 zHyl~&)&yUCDn1c=?%_YTR+4@nC_1!1n0;t}wudW+L;FLA_Lq1nt>xK|eA4d;dem_v zxFvqWf8-!P)iQxxZcb#~tT|-$66LkQkphX_1Uym-T5MIEDm32JGQ(5pS^mi73sTs@ zY|oKwtk0Ho%qN7g-Qy4Kk2<yXn$@pD-{S9nY@d9Qu~lc+jsmZF!>px*1mDPY=?NIg;sOwAyT6X zrf`ob+@?BSb^f9K;bg7xk0*p)mY8N(5e(Vr_bv~R&zCvhXg4PE zjnnz6GL`qpCAQm4fuP4}dg`Rh)H$pFqnsnH%~Cro9rV_%Q$80uJ3cYzR&H{E3!=cJo3H>#roB< zWd3|H+4M0pa{SRCH=7=sUj~prp{2ml5_S66q5aDrxlTr4K&?Eqf1EoKbcc1ug|3pf zq|}TG^2wxPM}ty*LO%M73}b)Em{5SYW#ZENvefB^_K#22F)-JdSwUjVr|rk$Rmb1HO0VM&t!hC+)rhX4m8CN)Y|IHVoW0|%O8@e)T2Cu=PWo{~ z{bXM81drCwS2&Y{fB7SqEO_)G>(G8}VBnGWdA#H;rT~5~B258_1dw(!R$QIvv(v(6FhKQC zfcnwz(|uVy;!LeU{1PHo01XSpKUyCD=+1(FTE;qAH$HMek`j}6_L0+lPAHclq1BHZ z5@SNy42ir@KJ_V7dlJ>5>y56BKT(^++If7&+BmK2j7zDDI5!t6KF!5GF(qX=$_iy; zKpsE&d^8IJSb$GcSMSsXQ2WOjNOWImR$tU9*^(KH*+E)%%<^%Bq)lz+i2}!~N%zUZ zn5X-O4_7ZqcEx;Ipv#htjTx9DBgvVW=G5iFLKb28YVK`ZO8ZJ`ii~8Z56;3mob0o_N>nh4Fab zkX9x_D~HPa2l_f=gM-QR!Sc@D_S6J4Ec_2O?2HX<@9RqH{9mYus^g6neFIC|JGakn ziFNnJI>j%k)vi+0Mv7(f&wCb(s=1EF-q_H4@?X_|njxx+of3uzW3!vqjI2&Z7JooQ zuI}<~#~<{ioqb(B-92<0UwOQJXH1{bO% z%D`}ZQEy-8**)=X%Hmf~EBMX!is?;iY{m5E9qqf@=l0Uu=e7~8iYumX zX{MXcjqPpU+20$RJLr&wjmlfmgn+N2Nl05ob9=mNps%NE?_4t~=63fD$GdbNM)AJB z;i0)LeS2Cv`}$*zM+#%xP|wcT+{I={HHy}0X|$#l99MB<1w_I4bm`jQ>1jDfYC*}y zG@?gVV7O=QD$}m-sd{2wO-1wBeM7xHaeOv_gL>kzK|GM0Ng7idW=+Qq#u1L6adP8y z<(U;x*|Q=``iAKUCq`8MtjN-?ZLwrR?yShFo_M6WFTM@7HCyFWMXMvL+DU62QaSV6 z<9+dcJNt$QPgcSCofy$Gbh7f#cW7Y#AfxD%la=RWdV-Ya^J?JKai+gTyg3^EQZ6jOS5?i5RxN0#u4a;B~*e898(40AQRIVN$%X<6TMMo%68=1#Ny|qjQm#tg9 zxUFf;YL&N)J{OTyJ*JBcxcP!^$5Z)k$aE;>TORA}?NfeD7?BR`9_ZT{Ss`8@qZ4LD z_Vf+(GEA%{3sW%YOv+xp^jR}Jg6wn;jilhoQbJkW`b=uvf;HE(TuR~H>{eS7b4Y_L(yelK|v z>!h0bUc_73Q%e1(A1S=E9jklVd#iE2Yz`Lp_4W;5#;jwDF71u&)~ol326G)dTCtR$ zX0=X=>5^MJx5swkxil@6lw4(OZgXT$IGU-g!vo#zox1i@k0#d^+siJxQKb<&VndPI zKi%q%77|@)nsTI=p6O&cr|=Qod9>D+m`TyQqb4?5qCZXByZW`aLR0xN}&WT~%JysFwbhN}}aj&3|hPY8usltEBpW zp`_-2p`=!nH2gohwo%om&uI=>raQY=FjeMUEk(}xk1{r@Q{I#OV9(CsUM6cfjI|8M z(lVv{jI0fRkO9bGdpHq13gaBwY>kX*h#|k$0IH43+^d z&3^PnGqJcN#M1iHIm^9Qe~ysOFt;4J45ppKj<}C4U%HpG1pCOuQQO%?R%R+^)P=Vk zI?{}|w)TN-u_5QMI+(hbN!wvYNN3WhZ`9wb%i2<_~rn!7aK+1oeB+^_E_q>CLz#_@=3ppO)4ipSZ>$OVi{El2WK z#ddZW0XcI{N+Z(B7PNh6c!0^NA{|>FahJq8hPO$x#|JqHH>&Z@{b)}gr^)W_7#Djj zJiCYuG;+?@7szlHQ^lAw>*Xa9Xa0jmYCe)=`MUidMycwwSB!kotzIRrI&N& zpOKwszAL2TLW_P@By-UiH)$Pr{Ecdw8%^<0($NV|$m(WPr4@8tF)58y zijtBv>?5*vCh9)uxNK1Dj<{Jl0;hdCa!iT&$vTYCVbmq=W@e@-iAjfvXHae-xcf6f zF)QJ}6qP%6@0^>sXIa#@mr1@+Ri)87LQu+g9~#T8kL&`C%QNZLQ*yGkk15|eJlG$L zcexinMXvtTnOZ6}&Si*!D|YX6b`mLVAnD!1aeXH`ICq%|vG^xiDTBoPV@a?pJ%*0x zu_caK3dezClu|uE>3*q8qCJ;5kN#<`!J&cSPR8P@_JOly)*GQQA)o9njcQ`5UlS5; zbEMCo+-1r{V>*O8%dC_e3}@0zG-i_L>ptY1;7q~kpGp-QW^8Y)lPQ$vibLGz>xbcE49h&R@~?KD zT!ls)Po%KWh{K4a1X|XuZfjb#R23v!O}2`{3p!IU&ss{&p+CaI*Y?O@Om+`LG3v~w zrc0hpebQ=OwQy~AavC-|vRCTo!`U-hBW`F}_RL6CN)=tnG<)lj>Q)YsGs@G{vtwA7 zZTi)Sp1uqoVl$evtEN`Xs%|*3ia_+l>Ur5SmS*$M-D@Kg52rF3my}3jl*9ZFO{sEC zsd7yDm`9s(gwHdYbfjb&(?$wu6SpRp<-ruMr7l=05-W$cZcWXR^kr4G__Cq4c4~B1 z^u(%~WQ*z_-6D0PL#QQXmoE%C!40=(PIBo z4@GNJJru1=dMnzH!CRy4$>6WiV$#2(bnp|Sb+{}Vl~99mUQVli!9}0rRDNrZy!4Ws zg$hTX+9^?mMx44OCEq-jn%y>UQOnACgQ{?}2_off+q8D63OSo0X9kikrgG(x#_ZWO zO{cEhx=od|@rF-?|Jx&-!-GRSOOClG2sJUuVKDvxIE+rx#LzM_KhUD11bZ@`ZnC*amLa&ZXWv*qJ-pScY~%t)U+)<@==tU^&W&0&#P4Je9NC9z@qhhMa+s$IM`o<6oUXFSDARvipBgX0zCk&&IOiVs@rf$vOui51 z&Jig|W{&W6%4=ULpb2Bq-^pS(6jN50@^n>!sPc8iI8vybuD(|HjW6YQUa(f<&5PE~ zz~N!52~>)>ygca)e12*wJH`u?&I^?)OTzk{FOr=rCV7)KpE(Y*Nw(yIJs=Y0A3ZZ?5f|oa>qI~PL_i;Eo;`bHLYH{wRK(V+NG3Y`sCV_WT~EWNzE#x!+OtQ z!tzr3pvu?jI$XgKi7q7x`_>Nh;dO%Aky7b31B-Qsa5lI4x>gIU<(^dKAkcbtPk%qh zOdVO@&ihcby7I!=sJ}Ot>0O()EI}F3mR3>GuXy?G}aWShTCLK!V=Dqa=$Itf6BXq zR~i-no|4t8{JqY*djW?=NpRlW^Kmu6;W_B^@!3_0P&5&$PK0U_p;{EkD!Ose-)r z=FAwrJ~pfaDp!-Jv*%JaSBomIZ^UaPik}w-4C8)=aeuY)_Dg39%J-~DRi*Ov(-=d_ zuL*DX_scU1cfban7+WY4>g`nloyKT$M9s^xCb^e?DCNjM@K8alrVZjT6(TfpH)GR7 zl%Fs8djNZ2IIar$a$oOH%qbST#liO7u`YMcl`T<>G?^24iUP-MC$9pP!7X6fnbhgq z-3>>}HTu|~3+t$@l>NL}7>UzE;yfTq>bq*9(aO5+jCISPMEj+xqo$rep?R-) zGpq`ZPrB&)mGkO5-lH-pzp8y+bw^EISB5N0L?+t6NUW*OG=P_iOsuoMy1T13)5MZ^ zVlPvX$ai&Cc6Yb8XDXLB=n(3ti`K
    Erw7S)>Ss%z#&D>GDJS+!O)uOn8|FfUW@ zTUH}N?Uhxr4vfmAsaAwKW0lp>n#znqbt2RqtM80;MKjHyyoe{ob#^pVcV-+Byp$)J z>N=ub(T+^T@q!*gHC3_t+V<{Do!GprhhS|rlXg{irj9!L#XWLV*HqPYx6jKo&nLG7 z$t9+CUPnzO{V;9a0+j9m+bzLmhfx|P{ zlp(JO7;ByH4oq`tbk zqoX?0EHWael+?x6q^hPWlWoo>&FnOsjYBmXo~n7BnY#3-R|hGgK02?R(UhrEj(X)> z{KZ5xudXW7jNrUdh+J(~O;Pd{p`*Png3c6DUxVa{gA$d7Eh&aRGFLwm+0Xhcq_PD5Q)Rjj)zV@adm&?ieBbL~7f z9T~d+=m#t1nO{>xS(L3@U1fE3CV!6BCN|SG>$;*1nZ|BghW8iA$>LlSYp>2U0gcEh zB~{fhrFL~^EGhL(#gXmMUei(APVNj&8u36yO6uz9s_*D*sLCMkKF@H5PhCwzS3A4) zvh%r(xBl!Mf4ry5bBpaQ{;aoXuXTmx`++^tDw_C1dt$KY$s$#BYW+G7+iBY z#P5XO<(+7IEpL`rz0N)Te5s;~4E z?M5#uohm*_jkxf4k&Tp89@I(dznFt)iv%Z(2pm>i=ogul5u*)t@9Xr+Ct< zTyA~RTffz^G~Hw+iU?7JzvzeBs;5PN+S+ZSQuW)DxxD1^*54`ei%fx@kq$`|kR_r; zPwN8G>ek+`alAkNv);*$2LttMt@>3~(E~*f*H5#Y<|jzOibXcH40{@ z@6r7p#Qu;$%%ewrPjb{dHvI8D+Talz>bJ_Iq>UIoL0oJxMklPd-Y;~bXTrJ(Z3+92 z)3tq#tYzYxW$CMNwbroFy2i5Zu+gw-!sdjANoWWb{iW!0%-nOuh83Qod(x_L8un_3 zT$4~xjDqZzJZ{l69BVp{ah* zQ?#P~9dYKrtfHHWK9RO$r{nGz-ErU1M(YuG)I!HmsK4l6_2m|Q=hS0XuN?7E(Z99w z?@Gh|LCkBG6LxFgp-qNy}Tgh?r*-1B-k}bR5cCvj>T%jFcdFt0>uu|7MxkW0}_Qvfs+s zP;O^GJyEv^`3mZNPQK4b!Jn3|C#?F9TlJr_>b)Krb)}yA?^^Y1Gwr&ZM%bEA>KNmH zkH(yt$mcjZpz|He(axwlE78YB&ynt^%cX+eqG#Afotn1CCkl7^?z4=xQ!_W*DCz%` zmVPhdjukH#{r*^1ID)?^`opmVgVf6|dbQ~HN3T^GV);dXD*D05eefr(qBZre$QF3M zc<|)(oh(sX$EsiA#$!0q5qt%^jv<(%o8`AfFTXdz!$rS2mY`GguZn(oEWtdA_7(lE z=#`94=2x1n(WWQ1MByURW=zch;Zs&B&qk*s?)b1;q=6 zwNbM+F8*fZ?v1cE2`gN@6xM+)!n$M2sVLlR6&%_ktis|ZSclFK)=Ous{AT2;GpvGl z&Jfnv;#II7+A6H)x32kSxkbq4%fx1U+?&Nlc5V>lJO z6~jl?WM%D-SXV_l5P4&JXTihUr46UhhFxO%4vQ9kX-9X#TRW_Rt9syB$HVJ|cd%D@ zPxQtMUh0+f*`%LK`h&Y9{n=gT7reSl@vGdISjEro<~OaaORbCaziDPw6<=l{cmq2$ zDt7n9*5#J>v5WavN-aG9F)jaRZ&~BT~x4?Efg`srOs_LmO8du*h{c-_~1{Uhw1r%VWKK zfS=v=ST~B$401 z(yYfwDR`MLkL^9Bcmb99oMe0BDxK{zcBa(n)~l`i=}#hh1B`;lBi2_eYyY+UyEz{JQu0~ZUlsO4*E%_`wZ2A9 zA_cd~*9-Wu;2rt8={mj+UnkxRJSv6UbiJ;}gV$T%!nZ^U_RH77kMZ@Se7!1P4}F}k z*FH{hezjZ|_oNhe>y6r)#~>ezT&BNY;Jf$@`MT;RZTQOKXGHXFV$}c8P1duP^*kFK zddB}ryS;Uj^&I{5W^{Y)X07|j)(0X7Z?+`cAqZ9;zS;7W?Ei%IQ)=)D%X9Vq;7hk) z(Y3egZt$Xryl|_o$Q!p>FIfdw+=fSO-x}2YQkQ<0F8!&yEW7ydUDmJh!5!qk=}ya2 z@X(!vUX`zF@6zgiC+ZG-N~^o+Q`R4>f(Jh(>eOkddsWoED$M=fs}54lg9oK9>d#j3 zV?^oJxy7>(x#Mh+c<5|tyD`O4Nomz7tu@y3t&*BoTu18uHc7p$2w?j!Z? zK1n^)Cn*)hyGVInr@Y!H-D_@fW%vTpUKkRo*M|1fkA^%2_YHdr-WrxHQ;WC5eoCA0 zvY4Qz7Y~whpkFfF&@U-7iib(LPp3SlQ)U+L5v4liHJwskyn~c?w4SSaCD*LteWYBr zOZ42dOMXZHH+L)bDtHq}eEK~~MZsc#XVh*(zXO%A_cZh;CLG`&OUMTzcOq1N+rJaK z0}O!=nY4#Y+Bcw2n>1JME#mq2IyxE*U2AB!q30QTm7#YT`jDYdL*?HC_&rq0{tGn3 zkNVdGv2BZ?JE0n7jy2b{JVgi70;1C_E5 zLhlD6`%6Q!9(3aK4c!A3*)KxBZqi;gbix-L*-ohRg>6vLABRewFGC*zqW@1OZ4&?V z^6^0Aw?aj}8!GZ2g?_^DUNyYG8eZ9#l$r@d*9Jo`H1wdM&l&1_$dQ|4=mtYCF!V7) z|7hsAFFW$57`olitD(7vC@|$S@lZ;H;H**c`6e!Q%4Zs=Ii%EbkosvG6+eAcynj^u zz^M2`#HFtYkZvt==1R8Bkd%g zjo{EB{?&2l6VNTtr=aSafR8ID|4zzlhm<-KDspE*|G%!z7o?#m3ggG87(`(p$bw

    z7vg`0ekcqW_)e+d5w&xI@TUFH6{UM6N86fs)2 zr7J~U9TBgt6@A|8Za}iv{SHap_2P`01325HkJZdxiMw0m5}y-KC~l5(v_0ZJg_+>{ nvo=n-C$ZO@|JRM!*WAp5(Y=W^lqiD0yBD)`aKx!RjMea)F(hqpHhvW6|4YffGwa8>;{*B&w{r=^){tO zz$d^n;7u@fyHaaGKR5_(26ux8!1Lfo;8pNn;P=4Suhb+k8I*%cun?REHiNBT8+a1@ z0{jI`xpdSo@J>W8MEBFR@6HH9B zH25_r9A?aeE#O-44e$n-Hloxi}@Ox;5tfrr6wLET=)J$MrQ5mfJEOo2~<=fG>=JuqcIHUZ~@tH6WcIq)7>a3OX9 z7lMbt^WeWh$wf-FfwRFS;C}F3@E(|QG4%%r!Dqow!296jOQ<^-0=I*2fY*S!l=%pj zfB|q7xC?w1JOy3`Zv+2j*aozKGr@Ln0Neq-0bT&V0Plga1B@%M1e^^9z}4U`@Okhp z@GCIxa@q*a0(-#C;9>A2_!0OGcprqWppKvxYyp>pd%+Xnr{H~1{t@~g41>GC_rYJl z{Db%|a6Y&k+z{1H#wRAJ;LC!A@`mxD`AIz7CFnAA;AwpF!F6 zj47}MjDj1%!{CSDb?{5@8}JVJBX}QpK1RQRJP-zxK?Rrv=7D;!1Z)P~-~wA(@D%tVcm@0d`~?I)&KLyK!7MNjG=dgz3Rnrw2K`_^ zxDnh5J_Q~H&wy`(AAlc&e+RFC{{p`S{{!9!f!kPz!DKKKEC5a5G|&Og1m}T%up3+s zZUMJ}d%zdK)8KjV0{98|5AbX77Wh5*0QhcaT>#_3WH1}d2d9E1U1q9tU3oUkBd+ zPk<-EH^D!FBj73UGc!3Z2K>!3n4#)+0ARmka z1t0{9Ko}H*@n8a&2ui>tPzuVxWH1Fx1=Bz|kiGbHPyuFuN-z_g1ZIIMFdNJPCxf|Q z9+(dnfND?+>Oehc0F9stG=mnf5VV0)z-eGHSOS)UWnej20Zs=iK|5FlR)byOD)3Qo zEw~O`FLBIfi|zQZeChD(o8X)9n}k_*bo#p~;XkK@y_=IV`6=P?gk{WofqWhSAuxsX zPeR87DGPU{CIR`}14=<9GWSELfNCQ@K-iVvMOZ$c0upXR<~|daIy`8?%LsqQgga7X z&L;e6lfE@Yet@vlX9UPcbV_)X^t*(DiwPe#;e&+lHsR|DOS?oy>UpmT-%7gZk@Ula zMgIXH9|>QsLr(Y#6Bb)Z_yOdlEz%#4n7p`M{gJ%5Mg0-|Qjf=wc?c?Yd4jO?yVy}a z!zL_s8!=(&-%%5O9{JrS{4(J^t~}wrt~}u@O!!^Gmzc133wvV|o+%+;1)5f?YE5fYji$A#R?|9Fr)fPm5K_N-8I6=vuWnP8p&mnRL%q-j z%K3o$H8OK$EH|2XQ-bbNb;vcTW_1R%+0?6twf*DnVL?aE)pN1Y<#QXFEjE&Cr}@u6QL_i`UrDDOwN{rWaY#MsD4DeNad&>L&J=p9%!*zq_#oFt9JDnP4m?Anyys8 z)U--1Lf?3mt5!fKsFmt}NT0wsT&Cky>TFFt#C(%<|pk>tL>&RD{dREe3 zQr}AKz6AbE(l-(pD(N!6zJ~lvS|;=)!#|1fB>a=qDTcBi()<$jx~A-LjQkw*O1`<8 z&Q`6^Sw@dg(IfO(GauZA#|SM3l+Xl;mE--wd!e2noy6Hlz4PU76tLb4Uy++d- z!xt+28p9XAB678cFI4!ohF@#=b%rlg_;rR~XZZDoFI4#T^x(gvx1OH z6)NLY=*fo4cs-SP2lO=Z6+#ygm+>f6%2~vSka@ls35hQ@c35osVF@Ew(wCU@B_@3- zk{=;`De;5QWk&BZS}5|%luysMWoF(jW1fGXdM|_bb4^RsFAUvC`O8gxmYex3acTbw zqgSZtU4bXKNvD^nwd6aU^mWjcMoy^636*)Uk{%G+Zumll-)`E~&Wv*6PQ8Th$UF0E zmC3it$gg4si~K5ZhoPS^^jFkN(tizIZSn~fd7;vt4wEia(uLMjzcnUZsH6)O`89-J z*0f5!ZK%|5jcL~!>eWJgt;x66*iYh;f33+camg=K@~<`dC0?WBj-GYIWqb&gdaMIC zl5ZX59MaU$D}2ef-pC6Td7+~J3=D+%J>qfJ#T%f5CVkN4A0qGXN#AAaKboMW>Jy}ovVuBv zvY}H9ooeVbL!EZ)Mt^|%?ZLB2z4oB*f6*g!Iq8>}`dw<~$ED1yTj5{E%v=ora%SLf zh+oe7QbznB?K=~Ct*TJ%(2tS+Z}4wW1?oQNjm9tE#7ZXR-Ha#yN7C2w z5pd6>8%cZpar)s=68Xs9(&azKxk32v!oS4uPl8X~k3Y-G;xIG`IiV{(A)emkfVN2L2Q9Uo`xs@Kf6-`k#mY8^f3NUHDQj`N;e@3jaOB zUrt(T{xjjf34i97v^d`NSpJ{kw;KNGX?)S2{|%)!8UD%){3-Ce4Zj^eSrYvx`RBsF z!tiDNPOYEt+u(oI@K>kt&xYRt|4qa1Na4%f#t{5-;O9IBgO9A|srsYv2jEv4zO2`& z{BHOc!#~IHWj#*kABKO6;jf2JmND&n0{+v6e}?2|0PKQF{Vsya=M}^6B%G?h7iG_r z|82wHkjC$We-!@AFN+pgU&rPb{=4u`HT*Nv_+p>@Cs>yZU)J>0@`Yas|6_(PYeFjj zO89N?A2$3s@JV7-a6UIdI^ciF@aGbj{4x&YBmH|0{C_t5d87$n>?j}M55WJa;h#d9 z@Ws!|NB9@R|DEBtkS66zJ>(}+*>hMKQKEgi?e}>_E$u0R8(h=p*aPzq_0n;=Zs13GU;8Rpea|hI3FLRnEQfloCyjD`=Kno>TL2z9m}}c z+7+3=HIvlNQd`17wW-*zHjNLcO%rl-o&fth(bG?!9Ox@PU$EI{tFU*dYpM#>ie8(% zqIVxMlc5#tc7{TKB2;FbtKt!5g}6QFobD(57rbD;iia$km9M(3HKhH9{Hb~_%b@4R z6g`0x=n)&s=PLAwEjL+CTWr#Wa~ zY3LN>c7;l`^@c-bnwG1bYB=;R+SQ9?GLIv zf$4!zIcLviN)A|IyTa@AnOBwhhPAD`RK9mObP=`8_emd0T>8xm?e;nSCaVf{vYa|0 zX$^-a)3y0lx#iT!Ny{ZI*KW2;bd5-}1NG(J!z%0>4wZ^Ve_7yJYgeS$+M{y4&E7Yp zhBM0T!_-!GhQpyrmW|eCYbsBQGHG_&>T0H~zQ{6K=Y8jcKyA5aA9r)7slfDRi`It6 zw)PCmZJo5%bHdij9M)H~(sVs1D%ib-t)a+7#&$oWAaz{S;k{s?lSZ{Qf zsR1iF>%;5gkp}FUS-0E%jpTJ~_-!;M+qaqYJW>Wj&!J(D8LKC45g6Z$?OIaSN|g?txaA)9|Z|DjIO`apF#r^&$L za?9yae2o>aUZy-&w)R)kerZiV{hgsdBgyuMDQO&%hbZezXmDIec?yc?%^kWo$I+Vw zdEx2Om;0f`q1J}aMCRa>&RbYFTNwZ_|@Y`nHj`ts+IunKpV*<01FGp;K-U7Y_HOJ-Ks4tvACus<9K2ZOmGwRfD1@MIau5g}vKvC{*` zwbRPu*r^6Ptw4W2w~!ysPLEL5`D5&K!H2Wciewv{G5-a|eCb!-=@mQuXQ-Q5SI+7e zE)pB;T4by0>9T*Y)K=VKyxOmR;K{e*As;r&^EmeF()J5m6ETrvF|p+lRh)mJa%?9a zD_L$P+dX|;+jShrcD2|}PBs1bp5xmtmwuv;)psdN_PJ%`5l<0hY~`4-C4M597+c~e zf~u-2S$D@~U&LnL{&G*X*z9I(CZkA3ZN6RXJ79$yWdsEd?)ATpWs-R_wfm>XZTI@) zw7ZUWuhs1ye}Z-gXt(&!pHo(YZudaaL#DL*82=ba*4>#?Ut&&`J%8y`X?M@qIW;pW zo7zryUrn*pLi}2ZDuN!HJ}FCjX_oY|Ea?+C3bDDP&nHleLf)DY zPapQ|svfVVvmTf8M7W=)Bjc5Ljc%(*2`7SgDd)+r+*6KMGEcg#a2jV492pJWR&g4q z6pq-do0V{^wlez6U3aOJS$CbYi9-Q^=^fpX71s@%Sg*|$YaxAS%TT%RK{;y2^f zn^dh=>e|3;J%c^RIrun7Hh{I6yy{QbLe@%pilv5=!Wol!zvm=UD*QW`4G*%n`aLsb zmOrq5S18}|vwBxeFrhQLJ?!b&-(IJ}<2Q|;ObOd~>Xq-Q^VrlV5GtZer4;APBl`tu zhm+#2hYe~da<;0bme-L-xNbZ3`W_joF0w3-tnb-vu=O}LIM3Li(byoGut7d$$=omR za^7=G*x*xBRXBXIwF6!SFVDMH$WycO0{2SW*~wUeNAUqp_)}fQQ|OI*RE4*J-LJHV zyZO`0d5JOH9L@>*1ND3TQ)I7g2ga9suTz`CQ`K-}nzfXaI$PW7(Lif?p0kGLsocB@ z+c^{1s?56wyDBX!XSgqsN6rH5$?a~ha~7yq#r7Ok*J`UO52p{0Pj%<9pUSJq+s+Mi zFBX1>9px@h79%9S70}TdWA>hWIX^Pnjb?3~8)K|Q8@$=>v-Sw87Mo?nL? z8V+wla-!!AdslV2RqJCMhv^%u*qXz+uaNaF-zt&~nXzFZL2Xh=0`ieFK?SuP3dIQZ z6Hdu8U&mv-m0vwy#lbeXSWdpXOTt9K%do$#(jQ!OhjV?XsHWl5UrD{f8bJ=t)Q z(&@6vI>@chSk39OcO>-oYgyq70^HepD)yZ6pxF_#Fo>*rHy^(H@GaqGS7vpv7n5E(3W@dN+y_=ki5pEK+yzR)_ z)WA7AOvYAAw0*t$-gF9yCPw0IMh4 zV?WYoGSkMfap_xqgnW zzjO9oP5$(|zH_uC#JhG)pOXk5|E{kSJ=!a#+!=Q1+2`C7?v_!X62}3eKY4=?5A8)F z9@?+J_wX&g+qs`P2i>10T)|!1P)Phz1zvP0G>_I)cv=YcBVS=JB(y_Y4iP>P?;Q0r zuh%N`^>TxBg^G-C(eY+h!ARvo6TSdBH+&v4Zn!f=W`&B>x1gg9ItN+{oeix*M&i?; z5@$a*UT7}<;5?PQU1P?2w=>4yVJ)BK{r^Kab$^%r?0tFSeBj=K+zGy+PNa1*&WDeAT&Ru6otuv37;R^jEH@bLl+pIj&TpnaR5V z$&%v`<|d4SJ`u(;CMfH{Vz0-KNht%azAlpg5A_fU+G2C)9eq3WOXnQQB@OP30Oldfg&X_ z$+27I2AhLERUCwC7Y9S?D+jA=;acln@fL0=4)U(x!H|375)r+3s)POQ4DDGwP3-6ZsziP=j>-W8>`@^gBe3!kXct6<}7Srl@ zg^5+jM71$8;O;y2CTkS0k;vbVWbkBIf0K40eoUHSmmgZIX7OSDo%apIA+;Nv5w{KU+&L4AJp`)~x|Zwx_#wPozqutT(SGLYy~@ua83B>q3Q=zh@HxV@Oet~-{Io0w{AK+jM^%XwM4IY zo|UQl8~^Rv-rcgl!Pa5D&oTR&fU|d+#rpec(dP;8ts6#H6S_`s4otHu0#5%0R9Wy& zt>8>{As1YI*ihO{ zL-l-D6wD*uM8CvC&3soBt|Wd3VfuIRpdtT0KeoXwPYsUPioz@tOt{@!pi30dFZ@BW=pUv_asJgvGtJl|8m>@ zF`X`H@9DHQ)gAPbUc&6n53a}!dc)-_yum_wvbl=qZ7p7``!4GY9zMd3!+GZIr3OwY zml~AuQx_u16J$IB>kIa44(T(+-)o0rJ3E~XYL;D*8umEpo%(#jFiU)74yDe4pD@-_ z=d1hd=@rr)zZFk;_EdnZMI}Fi=;n0bN$WR=w#7kEXg@)lO^tYogK|iKB6i>x|G`)S;*7-R`sY}3mo4i zYmJm4yj`I`5X#ju5|-yLBI|m~JfpvpXK3Odk497(Xw{NA6Qnx~M=)M*IWr@#~ z*75TTq)Xde+bra#7h0*A@Lbyqzk)Y`heH2AsGmFbq>oSco4Mo?yG})K3_3-PNbbZs zROT7cUdLH;{u`e7MP;R~LGB4W%$)n3NU&=CCughiNR?Zk;m%=KWSq_+&$7cFd3KNg zx8>PAv!7WwTXt!L^Sy!P<-SXJdXef$H|Pz=@}OREk$sFFAcBVfW+O z*Ihr(aqVl~Q*p=6R%72XwRz0kar;oli1g1^wKy@}UAsH)HLStzk0Q~p7Man1+Hvgf zmK#IwY;wgzkI^4x{Pavb@?}Et(3cY5sk3yS?iD#RZnYK@KHhsKZrz6{L*|{-{bh#B zHfZX+*_~+n1!LOo`i%?WXZIUBKBV7}(Zh7&h_)7%)#n)J=ol9$yjqW`&5b?>U= zNLGGi&#J{)upMfA$$<96y-3KOcerxAvzye!q+^ zjxbocKV|Gl?Kr_EYA56Q8>Gnk;q>?uH~=jYrhOOH8zIz+~tl;xHue&2axckKI3&Q=3 zW@i;%q1)wXKGsH#EncJ^PJ3kzyg+_=C(D^nFT>kRN(H|xrr645ga)h-{=6YPURg8b zCUOt^&oe0ZJLnjS*xWqEBSCAudYRR_>aB8h1N+Q?0H1#DL=kSMn421?*?1S+n$b5dUGZ%W(VdZ1SYv z{q0ZjzbjARf89PlA3ewSUq96LmfnKP=*IWf?V>X+44Pi~-Y8=5wusl7Sp zK2?$9XyKkTceifq!@Qdzo^8KS&K)_>?p#O9Cy@9l>x!IS3Z2u-7Bq2s*_(2DDa&7@ z>+?O8pC_8`5{jlgXm`G&=?N8HUAgf=HQ|eL3;JVbcdn=IK5DiReJh&%?Tj#|W`1hc zt!wsab0Rt^^+aT9b^-E^_2g~Lf0sJu7Uu<3-Ph^eu4eCK_WzDPc@yxE)~BCoP`?K< zJ_kwOQ65aWqtsz;PsD3q&Tnt1$P$+4Y~shBq;KWUx=bC`x6nRLn$ypaxfE2(Y@g@R zYCUKESN4x`mY2_qOy$Ve(}|WKIa`zcE;<&)1_~1W@@-bMokz`?C5hm z>FeZ?XKB2XQ`A@!WWQTm*vUQBSvR?^U3mZHS#h)TfoQCh}8Q6FtwVyXd5e{<&5Sx1MtL43C$y zXIVgQ+bgW(_={J6puASTw=7tp$KgR4f238~q~*-eX}6MgSFZ9%`U80>Z>XB_zDiBX z{lNKLR+_I4+*Od9KQZ*d2Q}V;P_pc1@2jcfzF@tcm#>@hL~mI^r!LP;dv;t(Sq08q zU8^P)s5kbkETPSleCma_4$UWYS5bj)Qn7lx_b1DV)f5#Kw-j+p%R^jF(G2dxdU|e#R1cU&-#QjCDy$)oIm#RtIwAW+eTj%gUzI0pEBJzXj#`;`toIT5MVq z(yh^V0yDYOa6Aa_4FoRHI!ELVm~vRn?6QEo1)?mSMmfcv#Qm_{ZElq0eC*x5MkOaafn3V7e9K#lj_>Al_lt^KNZQ`@|G z^QzQ%@hE%>)|Pt4wX)6?SY?G=?rSp1+El==$M_^OY=G|q97sVMKBR!FD^;-BR^PX) z+S*XO-4nJZ71;KB_I^)%s_mWYwLCuC=iO(k&)JJC+qT}b7frM6TCX*wa5BrfU9rtG z&MGOez3SX(V?*rZkY0_N#l&V<| zNW(e&7Hn?Q|2FFnO)K??Tmf%%RL%OhC;YT0zRH?dNNaf(Gv4qfYF^3Hp8i$uJZ6RS zJ(H+C{p{o%4|kKN>}gNmD$itVR)IRzFisPOwV;rq3ft(@d_8pU zv*&EKtq1LsH`|`4?1fuw`#W~)v}x1IukOE~zyE^Ot2Vv1pVuG3>JfV?(PypF!Z}vH zuh5=Gh7zC8w#m-h;~w8sJAeQ`E?hOMz?u+VVTB9jT@AU^3R{nR3)(zWUt1+kdM)>y#hbdB3wyUEFWyf6BY6 zZL>Y@v-Uhl!6Wwk)2{iGzw$0PKou2di z@_hNealV3H-Ve%&`8*u53Ro7IqT8)Q-c1zFC4T|Gy6QG2S%a*e1=sRQ5&Q=6Jv4*k z2gA<#8T_EUS^H=d3zZ5;Cs)$)N|2P+rL1@ z&~%@V8ANwXE5-B3>9atLyN^u+UZSl{93GycUk3I*iZb=emkKcOSyQxYK=hrqXJiaL zI3?C68g3I)@8kB*4Y6!Llgwik_`Ob>_j)d*%{AV|Ny!VfWE)1D z+CPWsfkCCYGpP@+uHeC6^q$#o+yCS>Ln82`?cHZh3NaXN@G=-C6*5Ua?)|jIXt_tT zNbuj|J#)34`+FxoxtDIv?Ufq!N*@RKrDu2Bo9LnEyk2x4_IjuI>{C^a=LY*eyI|h@ zGJfls4CEr~n|6UCM&qrwZ121&=TJwVBPfpI8C$*N-OHS%4{#dSd42P2&-Gs4J609- z$o;6q^RM;#erQz?FSyF<+id%;_WEQBRTj>(y)WAKG&}g5?O~oNJB)${5oLk=9@h5w zJob3B;Xl4>d!B(oTNDi$@24qVU(m<9Xk?MR{%|i=E#Osj*NSZbBzjhOHhEytsIgj>s}iL9G7kE~vzyjC_= zAd#DZM@m79tx8jcCb?SXc&a@spT2fc3OktVIhGwcav)#QslK!!=n0lgI&z>Ec1t*dn;lvQuQ~goLc9&8Bh2kpl&Z#yf(>0J`dq5$upxU2^0=I9Wrf zWQdjob94=KMGJ!y!;VF4U1jf*32q$f!%|MVf0aL!D=}!E(9R-lN8w5rmU)ALP>@77 zi%HB01u;Utsvc7lT4wq@SrcQjRl$&re(%Zv`Fz>)rJFjDZ=%juldZg`ud>}v3Ish) zH_;|trp{USSLGaA+pMKNbG7IArM4zZo$PdNf$smOlNp0<$8;7ZOz+3;o{%@qRL+n% zp@khwH6J-JJ~>95o^i_7!_?;tQ=dCbSLK-gdHRY7#roBXWd1^_vKeD$l>2LgTOOojYB7V}nAJJW$-6(p9ka$;whlYaKo zR~5jMYGHg|$X_8tU%DVyEgMr#a+Fh!$R9h{&A?k#Fvc8yZHXlrlodIxz%gVT$6{5- z-o9$DV-KxrQ9{+2p`n#!s#e%kC&+a6PO_@~E5~a+8)$RVj$_&|P{%;VOP1G<8Nr?2pM$y-VR{NQ?q0un2PCunCYK)jB)DCv5k(r5loW7V^tzCwCT zmKX}jQMXX`G0iZgOrR>cj)N|AMt)&p%%*kHs)@QdFJn=P6PhEG&J<56aq*N#4v>&< z62@tPiJ<}$ACr;Fh4}SLtPM#Ur%VCuy7Tmq6;mh1?5wbv3{X84pnmlG^jH>)IIcB_ zT|&f)pkbldN6TX$Jy@_$=XfXU*-syoq=XaCJ=Wdlh4PsaTK(85F)ozLlqd)l(w<_q zH_;r1UV3Z%iPng((F@YdtgUf+*O`~n7BOx%TZ1!mkJc{d!CM0g8((a zrr0x4gVY63+sBzm3}5M1U#(NJB_0d!AU!*7qRL>XLaF4+z=^9BQg-Cz2w$f}R8D1O&-Q41TdY@t zy|KRN?txJiOiAn++&MHj5*t?IDtiXwqy6#S(b4|Fxbj!__79KlS92@-E2EY3I{HUO z=WW;@@7X>)81KI@*4q^u8LjLc)MRw~a4gz8Qdy%GInsUo@!olh`m(Yd#I>YGfgc9hnGitw$JN~^$o;f4L zu2HkbieY;&@*_z4ek^;Pyc_FydS z9PI7y>u1>bD&x_eF?CYqaC7BAbZ2*Ov~u-@`_J6nzoBVe=lT76HlDexuX<%&^SpRt z!;&*ppmI1iB4aR6IWijU9*Ch}bbCJ+;+j-0**!YS=nFY9Q(k5N9#!O|4DXIF85r!@ z(I4NYtSaTH;+GLu&2CrYt7dmx5Zx19Fu-VEuwir<0e-J<)$EO`v}*R24u<)H*uLn_ zp@Gt)g{S2CW$dCsrNX08ub0Q@XD3?2MdawV>qe45G(2V0Zt5 zHKt!bRP&^I^;I1^21f__DfIz9P33cu-F+NWEkVy=I5dsA-v7+eom!x}&KsYZWS% zHr7(jraI)a>72AQ8^^b_WATO!s&Hv^U|@r+Cq46JqO0g8AWJ*Wl zvM!EiZ1?s{5z&EUZ-9`(v~}pM}|pYDIR6iQAr>+Owd}U!poW~D_K59 zw@W2;*`(2?ZIO{d8B>Jj&!4aI_54^dFc=jbp+sxMkBfS1g$k}XbM4Zu_H}Dj!3xG) zL{{~fE;8We3%UbO6}llappbzUI6S~KvD%fV zo!?j9&X=dXLj~K{Zs=OPcIk4J<18*xDQ~+>o}%_R9zWg_OIj_Fw5~7FfK@6a1vx#v zMlbHlyJ~QIT=6vD?x?I*IUUuJwS&Vu(dqA~mJmrb$)p;c zl@!g@2c|*_k z*iI~$p{J6PYfPQH9NCkOSJe%>hx?*Ey7e=TC)X9*$1b{6We_@MLy%ol2HG3=B zICkjGW~*xaf5?@kr&IPnl}lZZ->Rk^TSAIttE$Y%-!>c_+TPzYvS7pZDBHy>QexKy z(z6>z_lsZ2Fsdj^OZCwU3s&&8BD%AGV1LHBa*XU>q4um;KkMmnt1u#!)YV-)(7!F7 zaX`3LNXjl_XbhWa7|FO3Pqp^Mj1sM?JY#x~oG4}SXjLa=6i95;%pxqFfRTF4VIUzV z%4B?GtjCfp=}WWJFS%(E*OH;!rQ7=lde`k?tJyCu)@jL{tdbjc55X+m~sMp=CV zky)|`cWU zOwFXMV{qFxnP#nOdM0-2l*`gDsUplucRwy>Z8(w26nV3MmuxdmoGpuK)^M>B>(xHS zG0oges@CGl_r%=sm$FV~?5{D>S;}>81&l_qb;c%$m*n8n>)bsaM<~^mmSt*zJ}hQY zF!ri1ONC|pOSd0?O-cCPgjhyr_9s!7iEVgDe9 zt-ih(_gk|IERV9E4)^rf781mh5JSnyz@m{*lobeU(}PXPPDYPd9|L z!M#rVQmvITW0JRTGNY0PO%dS~zmr>)uKjY1N;OJ~OlM3kx%3b|DYKS@#QMR3{vM7` zQ!~ps{%7pq8FrrkEO2M68M)kc4>0n$_m#(E32P*inVDwr=rryR%wwd)AkgXUG6+Ux zRGLAcQyrZ}?)5rlM>#ALgqZQ+!3ibWl5H5H!>CJKU7VbuB%BV8XG9L^ zT#cEaR4ZY>6qOh3*|{Kb4Y6c!A5Oki)nw2*Mo`LkpQ*~Fi0lH5$+PL!E;-rTCzRi? zdt@jU?{)7(N?iS^o?03;(Pc;lSMAy9>?Bh9K+^km$Mu!r$buCn#Nwamr7RNsimz1N z$Le5LdIE{s6HA=1l)4k@sB24_U)qxB&t=Y&ae8ZHba;0Ub8$^{c!zksG4)Q!Cx=U` znv&Y~goN82ne!)inc`^7fN;IcYB}ILPBYP&NuIMOC^wnpQDtK07+0-l){IO7OI=xW z<8}g}(daPa#-06Rio#&rS;Tsi%}--@6kgDA!90p6H)rAq&nBahk(lfr zMq{*@O--*ny1CEVux9c4+@u>eI&xR*$EUe-HbmUeirkYUH7QMWB{S@;$EsUBO3qpy zHtvW~yIeD_#*Fk8@DQ8Rky|sPW^P^c!Wsg#3+q~P=Pb|V&kE~GCZ647tz1$fL!}(% zUs;tJw<M9ThuXC{??T>WJn>T7wDhoHqzT0G)m5q~LY-r4p zTr6U3RGy7IhTX`6WFKGh7#70Q*^PX8HcEiUv_8I&2xtOB$2CvnNjt-z>c$o6!0OSmARg@BOmPR!$I>I$k;@v}EbZ@ku{_a-( z?!kTRqm-w6SXn)4K@XLQj1ER-QNP_gW3wXNG2Z`*MP~KK_wc-XmNSSF+Z`2>49>(f zr3c)19VhdQwr9uM!BIIjFW)yLEoM8QA7HBqsm%2((>pmk4y)pxV;{wcEOR3LK1~(s zZA^0QRX!3fyin!K?N4llGhNhH{OkOfdH2J4>1_Ve6F-@m?>?ECpYncFq$+J!w6MNz z_TO4U?eR;fZTOo@s5?OkHGgvn^~W!vrsZ!gq2c%?G}g{mGcxw{*e5k=?uQUcJkC)K ze~onF;g71$kj;IjaO@ar!2V6g$zh%<9GkJRdbY|TqqzUBK{ZK&gClZgan3#N;}ccX zlYCvu^${sa#z**iU15h z;wZ$>k%ay0hX=7PL2XEB^t$1ty5pTqtiG1j0_(XCRe1<(*wH^U#BowbHb!|Zh~8CR zIA`ncO)9WGI*hhgPK)>^fni;9%$HvWI z4RXeJy4LTkOlq7%%|(nV>L2Oi+!}bMbjGOiYr>1}L-H)bov=YC z##YIM1_o3>r!m_cQS;8INgjx+@UcJVpn}wzK8VLuh|t(wi_Hj8e!k?jczbwvTov=> zzU7|qDg4ry@JMt|tk?Cevi0H5Md1u5@e&m#wT=psNC|4DH%ic98-}6Tq2L%#xO|TA6EOB`! zLFG!w-2_Y685R8O_Ne@TfnUCPeKc3788DqnJ#>vf6Z22C{F0C(2M(Gv|5#FueY+LI5@Qt$>&vVlB-JA05k+&&TaF6T6tbNL} zuU}dF)ol|mz4X$HGCmw#obvdzVqryZbzgH&UvFK-+|1Ig$TT!Y8+y9C8?(tI-=IRc zySb^krMWq)!o=ETp1n!|b+xs1bq&>73rOVYqEEOJlzPV+8hiR`vlX*MWNNzWqTRL8 zrY!Yds@oRp>*=ZQ%T~19qtYF`QLTj=Ya5!Id$Q>}cK0utYGaLkvAVwI}9_Yfl z8yfjpn5_8{`=!Kn!|`6wq9U=D?w+RRn)+-N`S1#zm$gvY-CSGWUDMt2cTp*gj`sG| z#abF-f4f3?i3^2&y*1UfvFg8r73GC46gD^2*4Ec{*Z%D_l$X0uNS`!EqxFA7w}_VR z?&`YU+S=@f8+(*UoDvfIeo@lYTVGpS-Po74ZCR9PyVP{oH}R7sA2x56Rl%`IFJr&D zrK$TvDwFbSqAhjZ^^Lt*vMdvs+Gb{AeO}iR$wA9pP%aVB64DIzy zwdTfX7JH@M6-YCqwY3d>HQ6S5s&vXLWlm?-HO6Ay(VlFbnI*3|IGQ=qUEdw;>#qI~ zm35Yfy6T3O>e{BPtsA?$lm^x}H&#cZ-Pv-CdCHTvgf`XHb$8cg8~I~$>Jh_oT2o(> ztt4k-VOB@CHGR!BEj`&5vb5LQXiQUWOSGGpZ?f1c?QLN))G>Kl8f&tRV&`=?#Dx&FVJCTxxSsL*VEi9B-`Xc?(zcTwPbW(ma+SC(k zs>`;XrE8NqGc+4}Yn!vp-L5R}){&D1r9KwT>P^Pvl#*)dd%A0T`?8jl`WD^Teu&n0 zH$=&u#Ykf=`=zAb?%t;Ep5~e?^6p)`GkqHCn|q_|Fe@%mo=w(K@1&WYEuNcgZ|NQ0 zl2Pj;mhUNhid8b{X?sera;9PJFG+z`4r(V`JS%T zv!Xv^>&~N5O0PVjbh^VHTe@d66)s!mb_S|i({xzqutf(N zGUV62=$AU2YGtT_tsCX!E?Jo^f1qShS`(ZK`AJVzYf>}H`o>6NRXba0zLL|LYOInC zB|j*o6~b^G$zx)o-qo4@3=lB14Ee@gB2klJRN_So3${3gSu(>!CFMs}UqwQyoalu^H& zlB0S?{Ig7<)5No^$vE>8nL=dpm;5Z5DdSwy^YonLJauxtcKlq4GCX3qrVeon8u_95A0&R+49pB{ca=%0#l{mAr+RHpX(t7z;g3 zI)A2dm&lq&)^R1jCF^<8hUHCLJtZreekI2IwN-LQ$tNTgBC~%;PN^U|eI>saohKR#gv$#x7MC=^vE5`=O+#QHjEm|0wzH*lpv-t&-JEFUpQ_wzT8q%-x)* zq0^LCXv_(k;t0N4@=6v#ezmGK;fe#^N0(cd-|KyDc}dZ0%lH!&9=p^kopj9s@AYe} z%i*pmvz}dPJr#L3TDhe&kw4fj@^`e)DtfeCezR*;=?m>v>3i++S7!1`=OFQ%F7)Uceg~{I zAK7=;Si$SpdV)vSR;x$WBIhYAZ9(qM_0|EZct-0}k;m3sMGu`JtWfDGu%74?*3r(> zo{HStNnJXHRaClISY4Xcwe+dT^9DVcok) zSVuOkek$_L*;difO~M*qx(3!ATZHxamUT}>-q>svy|jhD^5L6MYUQ~9&Oqq7bEVa9 zp0}as(Q~b$7tXPY-T(&(-*GO#%-lO!osE(=w{9wWek+DPcs}g`FP)Fwyi=}-Sn6E( z2YSydI@$yOnkYsEFZ1@0W$_2A4@9g(k#0m@>g_2y+$()Joj&Z9s`pv+@R7d0qL=%u zqIZO6&4f1q@0#txduV&S=*V_SpGEp0>DTX&^hb8=DtdN@;#cWjSo+8izlYYk=yLt% zfUJ{CFP7XFN}~>6c&YcX3;Ej>p1Fsl7S8|6#3myLq^=_j0-m8;p6Wx9E5ugMjedmm zJ4P|Ws0@KCttr}3f{OxkF`s!J0s6uV%;pi0@zZwS*4F& zD&5yudbkH&0QgleZ zp63_)7riN8*ME$!mp{g@6!rwZDurBsgKozIH&|c8q(q9|5s^C%@%4m!9hI+#ZsO~; zn<&n&mgwS+NO6a5*0p&Ia%bc{WUw&d(%0qdz%9Ds%S*o{qKApmjgQ`9J!e_Zu|zWz zz9SZV;}+|?%z<0c?X_2E-QTl58oA?EOR_x*p_VV-YI(}uxz+kUE%>Xgh1;mn z!P})F)(=JG`P+3vUccRX$twEu?O4?IwWIDwy7aqs=|}Fi?9!L-wtkEa?jry7hb>Rh zLx%|+m9K+$Yjv-Px_2eVz256TY5mM9df=0yPOV1WYohMxC$+i*_t4Bc?vb{rpIfDm z5oH|bm(E4x;5I$zwn^WOE3K83bvk8Tz4iDyNi8UCB=t3&`tG`B>-zOFbY_>%2@jM0 zSX`u^i;or^j(du(8T1srFeut*lx~OnsMh|hXjhe`7m#vPr@XU`!7aagI_E+D1`U`D zB)$g9pHx!Y0QFU$F!U{`Oo%@~-#6itKdn?95V`Z9^82u_hTZ_~0ADa^M@`z#p?@%G zuH2N*paY1Ga||6d^jbsjHS{q?BM`aC4?AsG02RKJ*GO1+n++W@^g*cD<3;FCOh)v~lHh2?x{%n+b7rF)dXXxBCxpPUMLfUyoZY#8sc!!a5?b1#9GSarE zrEepBD``U}ov8loON$>&i(j7>e;_UXNLu_zTKuK7_|dfZ>uK?K)8guJx26saro}^P z@kwd%NLqYuTD(3jzRbjB{LANSpp7*7>yJXa()iDs^nW&VtKk#XpY3V!Q4@Fj>m{T_ z@4>Y6pP2MRY3V;R>G!6k|EEcR#H16|pU2YTPo%}4O^ZLD7Jn%%el#u4pTW`}w>?6; zF`n!f#fG?2^tD?j0S@Y-bjL`13Q2yd+*FJaNQ zu#$oi)Ui=O^R$%}j&VevP9(iaeZUD`mp)b)`kl=}Yw Dv^g`f diff --git a/src/test/resources/advanced/instanceoftest.kt b/src/test/resources/advanced/instanceoftest.kt index 103b67b..c86bc48 100644 --- a/src/test/resources/advanced/instanceoftest.kt +++ b/src/test/resources/advanced/instanceoftest.kt @@ -8,6 +8,24 @@ open class D: C() open class E: D() +interface I1 + +interface I2 + +interface I3: I1 + +open class F1: I1 + +open class F2: I2 + +open class F3: I3 + +class F4: F1() + +class F5: F2() + +class F6: F3(), I2 + fun testInstanceOf() { val b = B() val c = C() @@ -37,4 +55,28 @@ fun testInstanceOf() { assert(c is B) println("All tests passed!") + + val f1 = F1() + val f2 = F2() + val f3 = F3() + val f4 = F4() + val f5 = F5() + val f6 = F6() + + assert(f1 is I1) + assert(f2 is I2) + assert(f3 is I3) + assert(f3 is I1) + assert(f4 is I1) + assert(f5 is I2) + assert(f6 is I2) + + assert(f1 !is I2) + assert(f2 !is I1) + assert(f3 is I1) + assert((f4 as Any) !is I2) + assert((f5 as Any) !is I1) + assert(f6 is I1) + + println("All tests passed!") } \ No newline at end of file