From 8694de1551898b18a6c0de3c7dcbef717d3786f3 Mon Sep 17 00:00:00 2001
From: patham9 <patham9@91dfdad4-c543-0410-b26a-7d79dded8189>
Date: Sun, 27 Jul 2014 15:08:25 +0000
Subject: [PATCH] contraposition only for implication

---
 nars-dist/NARS.jar                            | Bin 134214 -> 134349 bytes
 nars_core_java/nars/inference/RuleTables.java |   2 +-
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/nars-dist/NARS.jar b/nars-dist/NARS.jar
index 35244b1d840a384b8bc782462dab1546c208312a..b7901076317e1ddacd759a63dd284be17fbd57ad 100644
GIT binary patch
delta 13752
zcmZ{~bzD?m_cqKKy1Pq2y1PNT5$P^Lx<f!<5J9@*&{C2TQUiiCh#)P3gi?|sDIp-w
z41VwM{=M(~F?+AISM6)9v(J3ip1~}P(QFJH9Svj@5+n=^3?%fB6dXwi{97#_@x8?W
z|4zdOIN<|0Mgx#H-Ur;!5WG9~42@sWW$@thMtU+qA_R}VkvvUP5-ZJ*jRa~o^IH0t
zYy17tac6&Qen=y;xVF3}k!1TGii4jk>r)i0hHG2S6lN8T=sv^cMizQDoo@EXdL;rj
zp<q7tiR5$<9sf|LkxpK2?t_(^h7g+Hi)RIQ%`$OT($3#L-d}vOIhHRj_*nTqO~}EW
zu(gWG=X#zt5<I;FBIe;5ZpIPNd=cY%jlr%3Pf8xpEAq~7O@g{6u87~fv_>n=)S-zk
zuB~LVpLJp_seL}X_3?VXT|U#GcJEFQDS)ZqEZ#L0UGT(qCw288tyxgq6`_3MCPqm}
z?f#Bd;524GKinG(xE_Aa-@5Sp$$`t{67QNN|B7rs*%{{W_38|(CH{~Y^v;@S@kL>P
z^xZX^!|R#=T9T-Meza=qM*|Fp5?pq_@~zJ*9Iq`^uh1u@87-4yeykP$R5=Wi=d-Sn
zVmFjwZaQoVpe5pbL0IPyNmP(}m>0jPbR(;Db6;MXcW#+Tqjum$<eM8twBH;7ootT0
z?*mK*Ig2l<0^YJ%*2T?I_d@SVMwWdcS%TShaIevZ+t<F^#2jTU&B&-@%5uKm<6w9a
z`L4Vc>v40{Q?kd^AbV!m4&JYjh&K(SGLP>VSN@VO(7A6PC)paw>QPClX@G2jT+x#(
zyZl3k)2Pbg_r3cGb8L;`>+TB;Q%g06;9+h2nOz6(8nPkwn$qA`j23HX((La30ZMx~
z%0B+w-0rDg#K2g%3=Vg87@bx7o3{g9{nLba^$?Dc=L>8preE%{d7?jg^X8*Y_jC)}
zC&rKXk3N2|nwc&8bhlijlpxt6CYk<gk$9(^rGTw_`!Lr2ciYZg>7p^eA4o;5qx&vr
z5mKQq7R<_9M9=3RDpU^>r9)>XX7+wIwGFK2Y((&j*sGG}l`yH5E{zmAA3yfH?CU&L
z>O6fk(;hRC+^SK-&-AiQq_oNCH`0#>A`ycRKQp{HPEEi<qhkv4mS3os3@IP(WaYqa
z9u4X6Jor(418ryRgR(83qKaN1Tl7w2=tcQ;-6gw`y!2?4rE$~)0~Dbs@7=MU7>q7F
z(-UonwUJ(-lsAlUo)g?ycNrbr4=!DP7+k#Eb-=zBP+=>k%65+Pf<U=cEG7JA@P_T2
zTn0Rh4Cg(}h_55P;_XbCtXpR5G{8{AQcEA?S7sp2CT&RON;4?(ZD3EAi<Qs*5ZS<%
z%akTBo?fj(_l;P&>{A0YobG#a<-H<#SLQjrUrF*xLh?P7VtPF$VrE6Q!Hj7ZMJf8l
zck=AKu0Pc~<SuYR!sTBIsTWNODfft<S3-CLHr>SXb%X*YIhqv~+$-2RwS|{4+fYT%
zmyIU4Pr0-wD#}OJ{Ej>5P~}_=2v*4x>~|-`sOlzACUaENNOClxdL$er-jOux`a?>j
zSXwXDBg<k)rw6uha(WZfxVqVWX-4(80*Zcc<h-14%@I^wHSO~7nVZc#5%Mdr_SGzM
z{;pH;e1k*ie$&P@B$8~3F_LV}C(;?UCUK{vxPQFr`3@{9HHDhuK~uy}O^r&+BH{|U
zBKs!uBGM+^B7-IgC`Zyem>O<0vcaH@_7LH{Sqj5i_oY`Ykwi@dKZ_L`yb?V1HC8P?
zh@`0a7R%X&G*>QlWH-IePM##gt9N7wvHe0ITD!td>&)g%s4Q<1cr+3%ox>_{mQ3aw
zTYQX$&Kuq~I>H}|KR`?*+}*eRp>%+DSyb=@1&myfJYgFYhYq17O3l-K=iTxDVo`GB
zCcz^&nzM_Vu%NM(H{-UNJj0V%;YNiQ*pZ>7d5E3uP2|)8yT3$NbsW`<67{%}DPDW-
zr8o%&EVB3M9GOY5gSTD0yOwbdMc`VGU+WVYwf_8G_aCPsQD%{3&u}|ggy%-FTn<Hj
z4>c3d5&-BEW2p5|cB{kirS7ytv>Eqr3bxcbI#=(94K}X^s%A@$LiQ+v&_9+&sFwll
zTdT$T#Kg3YkzL$n?mnR8$4_d;S$3Nb_4ix-Gp6xUj$V15RRG#PQoS0pzoc^GyYsHX
z-cvSM*2u`_vVFJDAQRjN<ea_6bLy!+ntY<wdjskQxj>^Zl=D&qhDWG|KiAl=C`m6#
z__oQi5WZ3VL37kZIovehb59#1>Mm66==Dm246bnHl%BLMU*^w3&{J5+Z~PRu@z>{f
zX2Z@&+z)R;C&sBfhm>R<rxN3}nkM~>c-=ZYE%u2SKQfjK>mkE*F&4dp8A&E?LcF|f
z<jf}uorOr~ry0jF8vQlOy`%kDQ8hH(7Ys{F9GX^~y*9IFi5#-ZfI^o3{x_Pwck;@I
z^+9@WA1&idl`4*1^^|%(9+b2u7Z0Se_~lYzIK#|`v&sB7f9*MUY+QL6q<Vjq^K`R+
zh@R+m^AJ!PZY|qYOMhi9>z(J-DD)f8e=0tVO26F{`qrIWV<;MA#Q9E0lb-qn>Fa^(
z%$?0#hMFoo)GOD0v={fkN%&0T-#f;ynpYO3pcZX!*Jt9X!NWOds--6=?^@uhoP04`
zOVue|7(YVzIdWmGI-$ytO~k-+1bZ+wEg)bhA;azP>Z>qLtgg9mv*qLD68+zWDB4U7
zN?LN`cu)Yz;GDO*NqdiuLrW*WVBH~N-z2l_(|oeUBhRe_;@x8P{DQm>jSi*H&7ECH
z`#%mV$))WG3rSvGgx;HRo30DIpPM<BnGtvOmahetg5-R0$7VEnLBetlclR!}-d>WI
z7-hMm?C_(fiXmhB)2*VhUHw*#YrsUPJHg^rizBq(OI3w){-kn)x&FwubkBPU-N`_S
zeyU2#UyuHLJQyR>xv>$yVX|dzG|FagfQFypE&24`hRhsK4wD1<$bh&1yG)4P`L)l~
zzS1N5hS=%4b~+P(OQ+^sbM$04(FJbw<Z0~bP;hA~YSB5ns>c5UL*To>ex8w=-{+b$
zrms+UX^2_m(r_G>@vEyHUk3B$nsCg>U5iuSg0+T)A5rT&3X|@3n6HInG%xp9+?FuV
ziDRn;@~&PRu_wyJFS4H8-4hHQXgOFD`o+6#C1G@<jvBl{^w3sux<IBY{)NdE*NOwO
ztW2nX407f?_i985BgQ;;v5WR}``#*BIo2Wc`zQHGrxGSdlBRF|)rHDVKB#V))1{c4
zVu|ef-!pr0=xC{X9QmD-5=~DYH1ezS_Lsg@qnSwd>zI@sJLeHxUnl3KChsv!(8*#@
zHGEB-_D-c<?tAkmcky`sw^<p24;E_ii6aibZy;yQ#nDJo>!$_lq9kTXrSiP8c$L2x
z2Q}yC6PMs)maomqYe(Di6_7o~F^xN1>fhiY?sclFcSh$<DpX68QI1zPXS!SKEfyJ}
z>7}T{!$$n@*Hoe|MVjF7B&A#(!M673m=V<*;`^AgETJ4IFY525w}jnaU}tmd#m)Mr
zJgW05cSrNdhE1!n75^Qw1;Hq~?jqt6j#+3-<eN5hg8WNi@wtailsQ6qIV<vL96Irp
zS<&hr`h`9W_;S6&dF4P2E5@=Md_=x+C*Ijr1$S(flH6Lx-xjFtmN$<ZIA?bD!rt*j
z-|@m<I}ha=Aj}JUS5Gu<OZq!}CIB~~v@qsTN#ss_W~QyQ@S37&6mAnCwUeMWv#d6>
zq;XPvQ{kn?>zLYikKSOKZTSam1HRMGFeY*_Cf{L9my1~lJZ!fcz+)$NP>mGR^Iqk0
z5*bUO@~mw_+f*xGWvnCxRom<J=AT(iakpv)A%PnBs}564t-3*2v#R53rrS#9tZ!p1
zw*?pPTw_0(!t(UVp@o%dDc>E9S(r|Q_H{M|whGqJJ$_j;ST{BAb>9^Kht@(2`s7%S
z6yd`zd;9kS`jokLzC&B-D=DwDZ;;Gnm51hf(-%YaossjeE10|=*?-$iqGHz?X0Q6d
zo<1BG>&>cG;?vb5WodLE>}^Bb^?jS)VA%S^_;V2Fca}sm#?l-m&aU}YiTGH{SI~+H
znE|{_K(i(l)f3ykeH)2`NhtMQ88dY*UC)D+a8pHMl;>+IJZ|0zJ>%OGvj?x{a#(#s
zlkg~W344}!aNmuR&a-BV&6yO5`{;UI{c6b%uZT2LsQSs{rd84-lC3X@+w#7Y<J0F2
zyhqf>n5Q3Ou0r#Kf2(}DO#4oJ-v$R-u%UW{b2-o$f3-=mJzhcxUA=%RvzE*!b=gu|
z_IG)``WgdfzvG<iQ%zd-TTBq0!~fD>5`cYw+0F6-Pw&gXWdOd_GBVA;*P-~X#{0pl
zOo#YXQBYk<nPQG$&Eo@1?spDUEm$d&N!e76Qq1CO8iQawg_Ul%?XQ3**OvZJMlEc<
zi&b;~X(#a(?eZ@Yd$kc}Z(fl5KdgSrMz4oj?0=}_PxCIuIc?f8OG7+#(x1uJ{y=Xm
zsdrpNi={p@jIls(xF=6xRnyC9e7&#?)hCD3G(^m@U9#=L0IWkT*p5Hh&<m+?PNJdD
zWO(%ROFUNShT@P^n2A9;rHq<2R77x)%i-xVQLf`do*6=^;>HbaEtInzu4=URQM>33
zLfc%Uef1}Jc7Z!cnO^MFsf~Fi+$xkuJ8kX!@<LkdLSao}jCDPCKY2(@y?-t>_}+YY
z^*lQvjUByQhwk0`;KT$}8hmUoJkk{+j-CYlSV>2c(@Bc&<*&uMTZ8fj*Ptdj(MFXt
zFH(@dCKF%l%dzCBQ|hZR3ndIr<G7C&2jys0JK+iI;?|V6oe<}!SO~pnnS@AyWRu#a
z#YNsM>7gGo2$#EFkG;Omsz7hAE4=GprX;x?|JEAkNe0@fNO|{{H+Sc-splkJt$796
zPnCC;Rc$6TE!K`1&*Lk}-iktH!yl)~?`H!YkMR0j_U~BEG7l^U_CdJEToh=?Ke#CA
z)*Ij|8>?HIAO{Sjkltf=sf$UO`7mTUGGsbFBtghJsTPdvv7GDA<UhgQnq}&R+`J;<
z{LZ3u)n-0|>0=CeMO;ZH{)?l8Yi7T+j22xwR3|RCa*iFF58n$VB%YZ<w=|U}KCiD(
zTNIX|ZS#LTaRKwt;y>(9wjAE*kVt*(StfM)GP%Co6Q$PO*n>2#O)C{3Mj7Dw*!=UG
zd9ri~+BYti86*r21Kjzog~IGOhW*)hd9n&Veq#3GN9T>E_T~3B<^*5M@j5)S>_K~*
ziW@{azvb*Z=_mFg$V+(d5%l4gu*)swtEZ=)s;#8^lWymEr`}?7<&<pH8(B}wv~mr5
z)bZb?)7fQ|V}EOyBB$$REGeFDau)?pZM>QzN3Dr~r2Y9NbErwv)z2cVG2O&vnFskZ
zrvfZm^Zc#%+SK$R{$4jD^AFH*EF4SwMsoz3AcqlH()*LTD^v+QB2d_Tjl8S?>|!BG
z;(<mq9XSc(#wQ=5@m!2f4aO{vbMI6>@iCa)ov*Ke#x*R<UU6UxiSt}^Xj7^wg05FA
zh@x>DW~_?-I*)FJ=9FObRg@RQHJ;H#No!<ilGQY!lw#6~Ur^ruFIHh@Nt=tzG}r3T
z^0Z8zAff!-?c$JiQK;kc@7eF~T*KVNmRdJotVLK*6z1ddJ=F^>I!%?~s%g<_ezh4!
zS?g@FT9Hz{X)Q9#W<zG8-#6`RA=yfjWo*yg^g~&DEJ7~bk}Z*FmMw)MA%Q+brUY`r
zNPo?|J~hHtXmoyFXDjsfIp&E3%?VoBv{^+l?19GqGD;9QeF;4iuek|3JS*~FXUs~p
z4UgaZMJd>|k`XK=V}b8aQNA!r#~JLOu*Ro7hf58mn$wi<kB@HQVhk?CA9=De#m>n{
zu|J_>s5>7g^^T!+E|D|P&H%-5g{68`g>VNYB$4YEB=UrLaKb37H(awkv}OH)f3C-C
zb4DR`7A;rGjaSe-^Y$1p|EVCZxHOl24%^euSk)$(Gf!5QA2Eqidys}x2|uw(4-j<K
zjxua}$4trI3#Lcnuv07P;ti^|d8!9y_4sMFlXaB7X1tWecA)+u`XXWcjJd#niv^ZD
zkVM{aP&vb+6)RFCM%eQqXZRFr_l?lnX>k~~Gw3<HrlbQkA?_LQ7mq!c0uAp<^s9!T
z$arNd&b9^SlSLUHyR2zsZaez$oA+B2?=N=bYWYxbw?AO`4*#7Y%yqamkD<Ins?_Oj
z$}B=;G$gR@<s)V11ZgOZSuV!-Hf5);rdO}ep^&DJ2U`zIitC`A5;DJ|wHfY?R-5@~
z6>mFWk#`i@TVj4C%{-c*((saMQDSdkM(Ndv&w*ZFglI$P=#@ns{lh9Tv}d9Dq4AJw
zitJh<Idl3RoTwiptjc^!vO~rXHLdOx&i8hb=Vu~`@u=84Q8v8%M!{UuP2xnF+eYZq
zs%XI`Y?JXZ-fxOM=ObBG*_^uF>5-3D0fVb7Hs_Bw(0pxf_59LnXTvwClg&1y2Duz~
zIUaVhvv{dLszj9P%T^2R@f$2io!()W^4ZG`$OYnWD6&5ygix~Uo!m(oTenO=jT#8v
zJIlq=^Q|1R7yd$%gJ0BZ&_lW~7_ofEui?Ga5GW#;39}Agx1aVaO5Kg4dY`1EE1Ich
z_F4_gS~-_w_06?!?IdhX*D1<>OV_xhXC+u9D|^@Khg*vs6c-KE%a7T=efb7SM*|%L
zhoPqigBS_PmIDb+|EC#;XsI=7O8R3V+HCzwru2yMj=d@5w%ta?(3tNahKZQZda@vv
zZano+5Tm}I95RAEaYWu&8&D1)=0-sr@BySlfp_t8g3SKCju+bTuX!3?C{E-4(>eqV
z5?TS|X+JVB8@nU55eELl;EQs;l|VEE)8dmz8;4@65pMr<2;-A_ZezHg{`}u+jXyGU
z|4qP+Vu3Li0B)lv*oF$%Yvjxq{BM_7Ak8oMYGNS_u?olFPNPGa3BqXFVJ%1F_bTLD
z2Zyy>w<CRH_U#&64$Qv<2pe}{p0_(fD2BA7{c8@2UcnbzI_Lh|7iMF9?=Ctbc)W)I
zIXG|yP&9rR1`wRa@yR!oh%s)L?bb%~kGlwR;m0w8Y@9ekA%KstPY^&Eu{jtV+9pIK
z2#oK7G&cYa3<VPqL~H^kjt8LLB5)5Mc#B}%-~)GV84QE~7lLu05J3MYRC1UH39xso
zXGsOPBeD&HgZ%^pJ^?kD0XF!UHa<xXi)RK1{)H<Ytb+wuMEHm0Z~}`6Sw#L}NkTx|
zZOax;fN%mG<|qji-Xi-i4(Ngm!Gnp&0oJ$SFFOEquofl2?3Q|30g%Hu)PWI1j~8}k
z4p7|2122zDM7S_GZWFg&;c9UR4(R3rup?HoT!6yc=nyprTIB*5;590Q5a#R#1R`wQ
z*5V(&8XBBW>ItMF<PlX5>+u5a-6|vU0;BQ)UfoiNXuz+&02vfBSbt_lcGF(KLm&{7
z;ci4dT6|VU7`A*gS4^QCMhX)DTx{ApAzEs-7`FUwt)Er($LF8k#u`)?3dmJHL2dSP
zS!#A}Hif;JY2mqZ{o?YA9ZMQ{Y3Oy>*QGC?_uCvO3(il!T*hqO8C`q1+p4pfVmTF{
zk7hAaVo$-;XG}Q=-8Nrm#!muAQS#4@b<3LBKLtX0?agvyB<Po47MZi<66I^WO?Pk`
zMkz8!8bK|Tm(dSsOJ&_Q|MqfH%A~L?;JjN?CK^AJHwt4}zeiGk)5(%!W82bs!<iS!
zVW>)Z439W0+gn7VrO`f%$)VY@cCF7|cveF&umDV2X7a0ro=wS_Z>?Mi&@=Zz@OjhQ
z<hsc)Un;KzH${=}F5b1}PT|#%?$CS`R<r!5$Uk27Gb4-HkE)P(RT-MyZ}bQF(!qJI
zh5=5b^t>d&4Q?4lT0$ORPkJ3^WU0jN(7M5Q(589JMX^g8|1qZKz2}8d?b5;FQ3?`K
zkvfW7%J$8MP{%yB@Vd0UAd_p=vCvn?Y7OFw7<pV@wGR&}i+7#qWGp)K82YjW@|gSX
zuZNG3?Tx3bm@{}61dCaHeA6wxoBw(tk#$nY%(Y;YJT`=vM2#nP#TMU+k=(N~ikG<Q
z#js~vo_Wf9>T?H3$jfC5cB=cNm)DCU(j5<4_|AEyuAmx(#~k=ecPosZY(2tv%lsxx
z_vZeFOXRp8T~N0Ie&Bf!{@3LdtH2B8&i5m^eBCM3zMUqUR)XI|6(uEikvT_`DIEpL
zbKQD$+9_=Xc8~!<{n>5os8PN&R=Z!lJz>F=ush4xk=1X4e|N{;t7qD&Gj)Yl|5Tbc
z97XapBWQxYVd~~=3hPU;9-6f=oH3zy4xvRlMhkZt9b@i1ph8OA!Ji|zv3nXGVqQN<
zRw!$1AbZdC-bQmyeyGp44(p1(c*U!yi36R{@AW&an>}jkIH(RE8^-uf5)d#MbgI^m
zd^HqS(fau``g2kAx^lO8hGJ)p!A={ib%7%%zf{Z!6auwQ_}tk|pBQGXoYuv(9H*!d
z#_NMp_4;GD&hMdL97UoJSqK_G_$~G5l(G{+WIc!O%NG!1U3^-=QO_T9dDW+FRai1y
zT<G{{ex8?K!GbSqz&NbfHc%W@rv=yUYnG=r*@O(*a<Z6kG}lfvsjflFvE86pcnZ4n
z2ceH>l~4oNmMZ?y=aYtCKsiLjhHNv-#^Qlq|Ln}D&@0(^npn=~B{epAir?g;m_Hw>
zS_RC=zX+odIcOSu@2l-#>&LW?-GtswRcukSI@qSRPFBqu<~4hc{Ch~V43qim;gCAW
z-?kIJNAMWqm5r$#cy21`wMxXH>BJ1lKz7Jq_zI1|Qm0u$g``VDDL<s#lOW_Dggmah
zFDRIYBU5YVF~Qh|ccgJ;Q8s1QxoGS8nljPfw2J%PHF~hcMymCTxXetP^hRF-*yw9d
zCCSF6AWY_GCFPxoTw>Y_RIOnRV!FJEjOXchH3MUacdS<fimKmEUyyYS_lIhm^>=+D
zKSYNjd;26RZuVdYlVyEo?M^3BvAo7}DcQ4b`Y=l=obg`p>gkV)YnfvWG#Q<z?_+(O
zVathJl<B3%Pkd##EuO1Gw8Iz9>Jp}TJd<rMya8#<jI=QrV*-DIBfhd1ZURH&2)ziZ
z<LfrE>eC2MZ4V)BA(Dhw-pQgfA`0l9HdQy!ugO-mTTv^Xmx^6Ko(v_$V$43V<!dT)
z56Q(MVm^*^@qf%V_vm>at|3uhUo?HcpeLkkyxIH8!s1aoz08DTNJ_WcW^hNmPU-7u
zSV3h~DO6X5$Lb@Mh=R*uH*En`X||}CazcsdI8B63f!)FUmU@4NUChpDMrVFleoVUp
zw5(sREQNWj^VN@OVoX!9WEMKZH1?Iq0R}P@WZIvc)Zv8egIQ&`=~HS%tf_)%#h=o}
zcUB^#Yr1595;nS6J%}3g+pbfAct6;6ZscyLTR&nxl_asrxF-7e*vK2TyVma&hRR(=
z*PZfL{j78N%}!E{;+d}ta$2+{-JaxzPeOHa#m9N^xqON~lj798xVuVqf+C%O(mY;_
z{M18mOXOFA9Bjlh3a6`>TCVg38(Es|I}Xceq+PN%q|Yf7foJZ;S{2jiHJ!L`vL{&A
z#Yt<>+{(DwvS`%Np8Y7RL6cUxPaP~NU2{x}=0QfiUiwMeHrE18S~;mNt|Q~f;cyXJ
z)~4}sxcZpv+5UPvPEd-az`1+Sz;X=@vR;&@wI{EK;5pqG-<Cnp=<*W)kI7Z^92WdS
z4q61m>3l)YcP<xppg=QyVe^c>=nUsKEz<deFGa`N&*)2xtQ+*ZUM2jJG}sfcyE;Eq
zN?@rq)iv--Q9W<PxzG1{);dY&M*5})YAw2pCj0*WXE9tB#$Yo=PkqcO*<}h}`X$~Y
z8MkNSF%G6Shw&A^Ut!#+&~YfAr}c~<9!qptAH-cD6{i$_e2fy#(D=3j1+Qi5E6)!d
zjyc}L5wtG(ajFvnxo<|1b1t^8WRLaGx_J7iugZF$E3jlk+)y*5-^2Tby0lqOaiF0_
z`c$kq%=zaFv9FFulsTM5nOb7eZnPqTlfJ6(5X>n>H|BT#a0hbRKc&{PQLyQ5Q=w`T
z@mLmF)3_TThdeQp{=6w3Y57cc86P(&B9zttO7(dc^$C9nV|5bluhdR~bK>75wIYT1
z1j*w#zs-Nhyu}zR|M8RlbkJqOT}%-AmW$_S&8yRB4=6*QtkNj-P!jFN?1S>j(;ll~
zt&jmLYG3>%7ad+V1$|BqPG<pbe71%V!w)A3QaB3R<o85U1%s$N)uF`Wi%Rrc9Sh4I
zfk{P#F3$%~h^iD7rkjN9N{Wkrq47tzJ5Ek9-<vUC4YeE-63dMm;utAJ-;x`G4wME0
zl?G4zxR)jt^NL)8uDE~Vvmb&vBpsKu13qT%tI|wX5d<IPb<IC&V9}(cCU6aNM3t3b
z90J}SEH7ycQhphbBh95e6UCXJ3$;g^H(1)qYW9N$xEno2iG9h?DX4Wd<}UY5wjKWg
zZSO&<+%EudI#8=#{i%^nl6Ve3{U5vrk0#!;RJ`3qM&|Hfetsf3<stn1swdgX=>el(
z7qx>*_T0|W?-t>>;$?|X0(y&z{tRNgRE}vZ@}VDMj1Iy{mB<_wQb2}mT{#wJsVH56
z0(G=d`Jycsr48c-4!h?@sFDlJ7W*2Vu(h3dl7M#GIqDAMyT4Bcmeliiq5Kphvjsa;
zUPpYcXLtM-JB3B646pW0X}__msEpRneA-@dGy?B`StNLX@eR4#HFq^<*UNtOneLXx
zq=|&_H9o%I?<u3{Irbh#$D6yUFPud#RS1Dfvq-SAG#~$GyXK*DyHP?#!qq2oK+`y5
zz@jx2se5iKg8QSKsUdsvH8kYVHlVA4hfZbPrsk+f*aTg<HZ12CICV-J4hxk3IE%^9
zQPWx9){WyEUAb=Z$(9$WJej-j)CrV3A}ID(z}@}CJRiP4{mA4KQAp+uG%$rg_UeYK
z*jc?FmntNNe&t9v|NSpYo|pSA7!{$DI$am4ZwzIH6O_r@z_ZGz56}!E98bXJCaILI
zCD^V&mL#zv*_>Ba%$Qv8v4tqlbSH)Ms@cOT&rFVD+6)WM>mwIuL&>rhRV#W4+xp*l
zGDIRZK{8*9x^&<2UA53FKWb{HwVBeE{bkC(SDYc=E$4D!!uADa=J`kbRPjnz>#p?z
z-j`@3qmEJ*8nc8Ccz#2RzZh|*Z#gS7Yp3=<n5>qbM;89-KK^)4u*&=1QcSb*W1A%1
z4iEZ1tbyp_XTyr43)?Vf<%`NkB-qZ%l@*WD^|CBZ*!H$c8q)+yAH54=94jdN`tS<b
z9|qCx>nM8#wz^6>af_p$>dqT_o8(G0tHDGpo4vpc4`y1{0<t?$dsk-OPuUG3ExKf%
zJ~z-cWO&!p%};5xnK@Bp1{!a8yj(F$Prh%Pr<hG~KOCdciEXs#wZ6tTUjeN$y^81B
zFPXN5Oy$d`u_T@uPG@(^KeNTALn2eZTgB6!+hD67#?GqD#D^RAfT3)KpDIQzX|iHZ
z=nZN^Qd`{MYJaZe4=5eS6dS`klp|}YTwjT(hHdlV@?%G#{QH-asL6-&IojmF5oHir
z8PS)A^~7Jcdms7GQ^F)VKD3<EzrG}vc8JT3U)56j9CjEO)Pt6fWY<Py@8BV?UMI0v
z<U1ctd}1ULOgI)9`)<nr%0supDw5FNlV0ddu1}ZPUE}F*VP&Y$LlNKC+;I$sJV}$G
z__|(IC#%KKvRSwIpzd-T9@SoB<JZrmNcrcXf*yt~fw~uOvDf<UeuLskiO_%f^&CT)
zt?1Y<h!|xOn74bk5N?<LbfcewHko5UkmBnPWLf<FY5s8}-}lPuo1@_^I(Aj{cFq-x
zY7b$0UK-+g%}sL9PW{0O*DB7hFPAxqQ!{%`P>^@{G|}`&pEocu>>3XlLn!f478H7d
zCEivG@u`l?X&Fdd&rGe-=9$@!HY5mYHnCY5zfL>(pjE0+8oO{gXL5GMe)3B*r7x7+
z{+WLMqF_)wiEW9ihQgKF=r_`ZieZ_o#XL{Ck@>HwCvpll(7F^Z_XC*_YvKhA-QE_`
z06kk@YkV#8`%BvBD>HO?PgLW}R!553rt708eSd~2#yA_rKZ@qGv6$|NiA{Tr=hHhs
zRlcQKp_->)NvHlTPXqm!FK6^(eGT%mHMhybu|@2A)JY2W=G#_OS|2;fQP)Z~beIWg
z##^EG`HT+%c+hiF`3BPu*I9j2e$x8PUkksjOi$H_3W_QpkBvz)@{L*~TP}a`6z<Im
z(=Y!#{JyMAoZ&+895@WEx8v9PcD>D4psM1DDeS{uvn+7r!yFl?+xy~L;+mGKu(A0>
z)uk`w&X(i5!Mz$<woi+4%>n~kL$pGpmID=`In~`6Z8lJ*y%(?6gH?7-RaFey6*o|4
zikEw7eWNw`owtgPdVO8qvMDD>r>8YZziFG8fthes=j)4>MLmkiU`W!84Wg%X%}pIL
zHp`7~HgR3~6#w~L`cTEAbPa3zVN>b6#a3rjrU2t|ut^alAUUV{=aJZZc4J}ERgt9a
zZI22v6$Llwyw4_!X|~8r{yv!=cUOVwRN2nOo448E{@83?(RPEh$X5&d(V!VpcGv;3
z%BsV5htvJ<T%v>2sYTE&6bpCB63GF|pOD8-@f?IcDrhW>C`h{R<L{A0@U2z`I7Use
z6)2-0_~!J_G(|h;FpZaz6)3$sc9nR#IpJikL4LRb{n)26B~n|SFZH5e4fTYDx0tsr
z#ZM;ZxHTp&fSvqUprCK`{0UCo8kyzzyQ9ir8ml4B)~KY-_RsIeeK@<qu3f~Sagt3!
zmM<wgOsPj*nrwf3<Pa~^`c^2C-`@O<M)&?BI^4_WRFCx%v|sF;m^|{^kjri#s-E8b
zI?-FFrT~@tcu=tpW(8X5N&Ma`yU1xl{}!Q94qdKccvGo)hI&1XN8>`Ey{OBZ-j@cO
zj?Fxhc`Vfl(XireHf+CJMe>H@TiQ94w|NDXw5;9w>NG++O2d6cZ)l)=ib5u#>|k3c
ze_X$zoG^amr0xcHO^9`n{MjM1buc@H71|(p<^a9&$n_$5s=Jf(*;;CP!z91<ZZf((
z|M=sdsU~}d-<PiEcI_jBu%2*QTOps$>XKQhTps@PW&3)s@qDlqqp|yHL}rOq&houv
zoBexrrUx~e>@GUwIN!Lj&N!*hETWUxG(giV+L`UhZAmtj_g_ls+FUfuIU~>_!V)SJ
z4JN3dG0r{)ae1@`WK2-rnlI{|S`}E|=3+h7=+l*y<9^7<nJ}SEX2|(+61>jp(=*&s
z^Z6+l#bI?JGrWA6a-Y6?Iw(5!!bT#RzUbnLt>B|}?9oGCJXvk<fOuF@e0^T2WVxul
z;$C@O)TY9Mha*^Xyj`DJdh%xd-BOIGG>@_cwC(Bo;(~@;#l+Gx^$t*5l}o{pfkr#J
zvdS#<>ELl(lWdnF>6L)ihLM*~-6T$EzVihxGZod-_uiE4m(JfkyjW_VWEyZP<57oX
zwrn~}OwKFQmu6!V_<eFOb&b(!B?&NnWD>}m-|93TN7P8gVPIEVt?%Tzq%>{8WFFY`
z8#-L=6djG3Ouw%;TJJR8h8a?(OLh{NBy}Z&yMk~13%_Vug^gZj@ZmWMbALJCjl;+O
z7fh7Ur_rY#5@}t!5{Ai7V0P=$6?@a)b>vF-%LL4o=Z*B6RAM=Tb%bBCbkQudi1qT^
zJLbMDC{0%}ss5;iQNF{KJdX060Cx|5<qWNW9F<~Ctb>lZTi=fC_~`W>`SG)s@GYsA
zTl);-<#0xo7dn4YFK02^5~4u6)I(2yc*n*@)4gS5n%Fxbqe^Y0&~;Sf!jxqhSHgUx
zSeZLFr<sQNp#(#r2vd`;l}T$44>qXAE5K<ID~MK&k*l~UpwTUOna-{=Y@Gdr>k0HC
zjf8$iS@(@dEQ@oAQ>w`Gs^-^1D%2|2&5Wj1TB^~l=@d|*c1lSK#^K!eX#{D0`1x)o
z#WXL!h{v#{ar4bHtk0B9@$KnUt2{J*VKJ8Oy_)VFG1XR?z7eL&%{KEn{Z7`^eu`U5
z_4m^?$7+1(x~M_pw(G0;LrNp#FS5bVE0H&Ml*vVseiX$o#!-o+NS>{tEp%jL`tiPY
z<y?Ayp#D_LSW}pJo}Zv3(!2Saki2AOY%{5TF)jXX^At%<e&U3t`GI<SoGRzoy)TMJ
zkO$IvHgQ4WODeFrybRV2%XtkjCO77Ho2-`W^KX`4G>qnQP1>k~wjEA4h8JJ3LPfBB
zo^bJDyqKzRs<z?gb(k0NsL#!sI?7*vztkGT(og%H{9ax1uWK-qyH-7UI&~;A!(Sr!
zQtZL#8(f9Mp$3D+$8<)L$HucSqF8Po99vCy4rZUezjhMbETpD7&y@?Rq8vwZtYxa;
zBt3Br!}CG$D-SQgpO6}Rj5Ml_`c|F-2nevc%V`)$_ts;|gWK%aLmg2rqrx8!C`*Or
zsfXX|Uhc;HMn-h^H{!t<C<zi$EBD{seb|#2;P>ARQdmwLaB$0lcT>qhQVe)ov?&2d
z#r;>i6b5gjGTsV2%LAAZTtuH9){_Su-F9mctyb8FBA^k`@`b^>r2>cv2%k{HCTal&
zVg&oR2f)0&LO}F~N&A6;+s5*3m)2<(z-<`?^bj1F!3=PT@O9g3hOhYDy0~?CwgAxG
zYVB+S)ZhX(1Ro~14wT<^gyAey#Ek`bcnF9iMy?~^9%6Jq0{9VQ(Gh_7lQH<^2)K_J
zd5?hyh%x*a(7{6wxm5hmeF(UG49FtZ7)}5hARm-D0eBFkJDh}YDTDDRfG|Bmh4+e0
z5)*=il!1(d#EkUcpJ;IT1Q5D|5E3w*amU0&LV8Aogmm}6Wsue#(&8OhK+~T94#K?S
zPk@F-)(Z*A-NxI8*UiSsomWQ#fRG^l>u=IvAzT9D;FX5&MaKE}(xoDGf-=`NJQfl(
zBqWNz+;o69KLJ*R2ewnV{!KvUDL?|6!oLtaPdE?g0uxRFS_JtDLGFU@PXTTOd5+Mq
z3I)l|ZZ819duMQ3C>*r>hmJ<j7|+w{BkBH6M2>kgit=z|NYRmyX#R>Q0Ng+O^Z#y|
zbGSZAT-vKxX3*;V4-Re!-ck~rM+26h1Eh#JIuSfrdYV-_3*O&52MI3VOR|~pC5p70
z3^Y*l;*S|q1iuPQ^DHC<6D|PK+l&#h*xvgNN2vvl67^p(rGY&c!0m0-9zt=b5UxlE
z2Au&ow^=Nf8EoZ2K|<1iXOjLe#k#UIqcR3i_39tVcCn74W%#x$F_4fL{*vUVP6O(w
zz>Z%4>8(u(9LdwK|DTd3b>QJIfcG}!E<d7tZMbKz|Km9dl)d~@nI4z$kQrOSgv&o^
z>p;*0?P+f94FARh^9r8XJ&@%J;JNi4oF|Ik2T#o%g8xm=d2d=_FWvv*TnN{PppJl@
zSASBsi=aiP(!NeIf}GcXFc-gu^Nx4Za(Ah2)v=JUkdWXwz%vMiFNx9a|5M#g9{*F@
zmx|ku^}jU0(I|z>lm3O9!ag{C4KUr-Bf^2$aoX|`4af$+>_YJF{RU`|Wsrfil_OH{
z3Ifo8$-n=s6d+cfqW~Z;3P2Ao{=?mYb0JcgAjS>A#ejH1si!&YIuRa$|1F9lJOEV3
zgIjF-#~1VlZm|L%03YDPk01p1)`EB1nZif70baO;I|xhv{x}c-AOQiuaQk%p2aZd{
ze@nn8@C^LdCnm!aLc;OalYgn$Ba-m89bUNIsQ>E$1{ddr<B(AVp#i!xIw6R&D&q%)
z26>PQ06nMxE>IkR{E5?!jn$b8jxQ?QBh!DmL_!jw1;DQ~@GHbvxGVzIEC50y*~kq1
zIgRYyeVu#*|4+`8^K3R2;C2N5&%T$yec(1M@D2n*13_a2Wgw8-$IBT(L%6_b2;}x%
zQU|AjW$*(8!hVaT=nHoI0QfFZ;iW_MSBwpk0B9x&$2}1FPmHq2a8urLpan97?Y5>5
zE{Nqs;m-;w{8=IUOBYEQe2EOXi`dx+LhFe-$cF+U1%D$$h;CJnS3W=LhHt|TUV>bI
zsajbeL?sZat|;(W1Hl*+2<L6A?_sV_qu~A$;jz;GrR4t*0O=nBbf7upPpkkcJR_=(
z0C)(0$*LjFu>Zem!2Qe6jLSbM@bUHVwsElkpB#W;aJvvBSFivT!iNZP0!{<PAp9ox
z_5i0rgD-1&f)Z#D#EmcL2&a*WyaBM?3%CQCqCx%~Z*3F~oI&v22f<71?~S<lfYWFY
z&RdNB`$q-kUs3Y;fpq8))>}}H#EIXQz-_6(k>veL>NExb<6{6m5C<EAb9=a958SC4
zfXh0={nGs{3-+M@*}?%jd<*D_ARY$f?yb@p@{3{kL4xECSNvP44}5^}M=1;g4#RIS
z9|J;h8`Nf02yqWQQ&4zi{QWXw&WD4M2hjfSc?bWwLIdF|2I(>XAg2YVfh*7%^PgJV
zb0t|igTK>J?;;`n4;Xb|119A5jk|y_;@%5hVE$9xTb&n;neZo28vlQ*JFp)B@%!P`
zZHe`#VqCG{sWKV`z`YOf(`yv-54RP;otU}hQi2Cq5H>_wsj%U}je?@sf1Wu<IEiew
z2rsq;fcDnlEpYF?I_f6Cvw{OZ_W%BkkP41t|B3h<p=!ScfR~#9CCG;ZAwY9Jf&-28
F{{VkfakBsb

delta 13562
zcmZvD1y~hb)b5!>cXx{*-Q9w8r!+`+DJ9@RB&3yaKtQ@dBo81ZNH>DCG@^iXigM4v
z@BaVickeupXU|%Dt#`#<vxjHxaX1~bCk+!<M;!%~6oQF~3Hc%P5?2z6_*Kn9{%$cL
zev@$kPUJusOHr#0xT7QPYuhla@R7WIN2Xdia$;iS{rG!|<PJ$}Fy<H_gjE`2SsQHB
z{~j40TIgSAwY!rX9-_`l0)2j$_*4`60PlGiPI5mBRoYN^Iu^8H)Up0~r|Z-umulsz
z#MEW54U66hlN6`ncH8H|Ia61wlX|0{<_uesU%!~t4BgvLU;py+`s?-eQTB%9S6SGb
z^TVfI5Uu<s{LFZDfdgst?;SAv^EQ-|nT=39uzY5>gRF7l>8%~_{qR=&E1V~c`mn7I
z!^XL%uKUbXjYj0Z${$rdT<)E@GkB_6u5N0<(M)F?l`ZBa{iJLa{o)H-$}bL&q`hJM
zlx1=Zk8bygRtrUg%`1(DW(79?f$gt{&FbClrHy8<uX(D13}|2MwH{u=BKo|uQS3V_
za4|Nfm~9q$ckorW!CMz76Cpa51gdAU1-{0X1UM*0SI;Y?IE>D<1L;yy6Z^LB+r;H_
z&>MPdT(-aZZHq6JaEF$XSDn7s^JAX&K!<+kk#nwe{;CPtsOnK*U@K!4#l}feizWG|
zJ>uBbTZ>C&0fybKsPnj1unvlJ#lDgfsaWfD2Dfo61?mtWB+xOamfm#D`Bbo*d_sD~
zI`mym9{(~{gzK@~M~Ye9+8&ZGoyqXYv%>GWr<Rjmw<!<nz6%c?pISR9x4NY)k{$%W
zxsD!DUKzH$UBx47*FRvLkMz!6<ql(R>DnV`xa{105Oz)DwsVGR3X`;V%q5UlXUX9m
z%k#7%F<*Dx#jOThIMC-yWb135>TF@{IeAVqGiCdG<S81@fVw2GlhFHB+M4bv%#3TV
zbzUswvNzp*!eL_>JA&@%>e#j&{Ia1|ib+0Nl+x)yG5AAhZ@ZkQGiKfG$XEA|1&tJf
zqL#j%^sQeOJ+a*xcn;&qTw`W0*mckee6~yXVMK0lK~6pS$I?Bgt@gpInYg+irrDpZ
z&{`XNX9<no4B)f(=(!opn8i14qVDBLhE(=z5vMBlYyy@u{%2&@?Th*=vc!j|of%=d
ze$hgmAMbYYM)bl)59UdCa05>iW%?NvjQlTsndiDlM1vXvg)(8!PG}FQe}}@we+XX@
z?Kz#3e3{yJyrNhO$ax^9>U17E6hN@&dhU6ZdK4bnzJh`W>y6@&nb;?|N{mSq4i3{6
z4vriZ4rZ#l?)DxLpw?Pe$Fm~BEd0h@#1y8Ls=|!+Buvnq%PHk9Io`Y%(*q}JX4jbn
zI%<=Hw`wBs1~sm*EtL;`E1$KNL=vq!E%P;eoKh5DM`ksuC~(dRxuGdLcrPgqo){^-
zcq)%Rcl?5PmB?fNL2V>=jiah8Q^>ANd(_w6F~U$Qg%?&S!{kM@)OosZ>kiqh@}V4)
zCC_7osnuAh#Y+wH1vsXi(kdu<@|jCsbTJ!Je{#AVKj9=K2@C5PGmh^WKL?0M3D8CS
z(OcN-O_p(bdxc(yYQ=Mu=&^uGh7;cU^-3hAO8KfnCi(30lJP}7g{o!c%H$r21-C@s
zWp6za5uTbbh%XwaqSh>yi2v>!sU+z9N~zXa%bdr`I+>oh+a)Q7bsf6`@2xQBYtij5
zDzdI0ZHr{Z{a{XB`07OJLk+Tt=N~DfcQ>ab0|f0ANSFrascgn?ZGOB0?wXD2o1UmF
z2*y2+8JJWi=;hV6`$5FqP1^hQMAHzpe0r2BI&~H67k5Wj`jB1xosXWKs6CCnOOvx)
z>RotGrye&xbF9P?sS{Mta^_U{@Jfr{-0(X5)u~E}Id4BK#>_PgOTEBy@&4${dRq9=
zqjv4D%>BZA!&Ale+I~Zy54yX*v7Rbx+Kz1>;5?!f{_Lmyab77c+2-p9jtElmAcJ=I
zxD@h)to`a;rTVSl%Ypu-t=ZhD^SU#v;A!;W3>$IodLli~fd)86*iMfY>|+U2`tp7R
z_^6@oHHJPG%yXLa-Pc{?snV!n3-U}orW7ORpz?dX(=O(%MnVQYm?dG2bac&3glEdf
zg6jGeWpU>%{P|)@Q$(N|%0M1z>VWmh3!vdqL<W^1Ez}`w3mjSdVQu`VMp^7~+F(ew
z-t=_+7Hct>^bq9@DfOvDf|g;|J^WSYObWeXykQj@SoE>YCl=v%yfGZ;4n!}FZEGuW
zzj536N?U41p4e5w>)O%#1@7$1J*E?o9$tOypzS34&F<Je<uu$I=T|TfhH;-5y^-5%
zhO_AfhyE9B?#<>b)NQGR6LF+<rb|UpojuVn{EFhc0$2Q`18IKxX(stC$#}UtI7VrC
zU+V*kb1(zPIaQvA!L_SWYY&{mDrpN$n4~M<qCcg3qF<+SO;F7!h_e?aK(tbJrue3v
zh}PPuu+V0g@ScW__<kw!4Bhm6luh-8aK5qs)7##|i5Q(K71wL@z{~B$B>G<$+>f~$
zf-Jmzs31g%ynM1Aru=Tr>mn_%&ctvrI|+qo1wNQ;X3p&+Wy{r`WUjKsXB}L_CPGVl
zSV!b&A!SU@`gq{sA(F!nOP_k@si)O$P;Akm*kf-e>o0U^A6kN68d3bxJE<g8%?aVZ
z)+g=WNV7-_e3Go^dtlDfaDV%ES_sDU9*wyfi|)SBK~0p`=5+VC>Q}}n6Q}c*Fh+I7
zLW6mjB38XkYPoJ7u@PPgMbdQj-L6Lp5>tHG+g>8;ccOT!g8eto(0|}PGj{;Wx1Wpw
z9)u$s@L|RTdDfAxi%o;UD2-u2fO_%lu8HO1vp9*^PZKD=Yw4d>j+joN2!C!6uhg1n
znt5+6zU(*m_=QQaUe;nMy}~Q~jrs(M_w&xOus-RZ{9<KUerHThLt^DT`ZLqwW$7<k
zM|OwS#XXAG7)kvJe41Y})0|m9_wqB1^KIf`U7vC=Jh;<t^zbBSSxfGMYKVbGHnsXU
z=O)M_(yk^mXdX~3&g<gjIa0OkNG%(CZZfJJn%$~pRN3cTyZ@?NH#|$^o2lTCM=YDq
zQyAvgItphE8tQJfTyEdF2<qZt!nrz*Sf(;BF7}DchCD8MUnPEXrK|(p3~`tE_=#97
zXU|pT=za-_&$8U77R1TPRxK4mF_q}KZ0aiZH8jbC`Nq6KmA-Qcc?CG1e0r(pPps1#
zN1Ua@S1kH`=d#EZ4vBOdi4WO|-f5Xg*1&KA1^5JH_&C&lgl7f?%|4Qn6|}7ruHIwy
zJ9Q!&;Zsb{-AZFKqM5k!+&g+(an<yGs!Cr<wXOlSy<4YcB!?oF_!@1m;yBB#Ukm$3
z!u<37`aOve*)A)e*aHN}-!-_)A4pW958_4U&xrWWj_l-9j-IM@y!)6gtpk9naT&0M
z+vMp#ekjuVcf5GUoZwO&H_v0N8^P768|D(%eeZYW%2Iz^4||C%!)T8|CRVyMUb#1V
zln)(`ob;oi4)TUQqoK|SDOb_WWo)jGQ*kRHEvrggJ;}ylqhl)MT+C#gB@oV1%JNcN
z&Gk-+vJbODIA14%GnLi7WU^u%4m;Fg?oPQl<4Tg%>8D-V{`pxC6<^RRVn|04N=NXu
zhGVuSYF*+|aHP-Vu0JRifKqVgdq+<^S5J*^)HtvKeVBOe`>kSc*qE2@bQ7eMA1K%}
zywy8hbJ?&oFQ)w{v!VEivugFu!23qsK!%^Guw{o0RFD35tDobT8o6z`@~A#}!yJ3`
z76zN2>CZo}no%i>iRX~wcx@P9SXVN3K_K=tmqUb~X%E!}xA_cplgMymos<-p)39fQ
ze0rUnJ+-?#a4lseu$Mm>Bzy8yN^ITA(cx0RhLX+C&mjL(Cze`GwxOwsugICM#+JNo
z{Q<kTA)UNpB?l$9Ue+sxk~lr~L|BtvyrJSj;k}HP&EXw=Kg;LS%o*11ZwO59SA2YZ
zN8?E%F6BdIZ}@zun|}R)DhvLp0gZQtUS>{{dj?^A3w5$f*1U18K#xeOfxfMqzN(>3
z&G7c12mr$$sJ@cvB$plVgN3hLbH;V#X9^|oFT;i*Fx;bkF{4${{blyk0oW(ZRVufx
z+D6>b2Lx{%>3OYXEm!aT7WlDg03&R-*Q#2@YUvTQ>@^EO*<1BLPcgGvJ+td(Q0baC
zh>@LOYf&IOCy82lFGK<>DhwD6H6p6fvMvK&zp7anx6dDpOyJ?P;}4mkm6R`k@nAg(
zI?lON!#_Q4WZxk2Wol3ER~n4M<Ed<92}B=FH|XMH*=CB4V`+?V#YSeCQxKQ9eL4oE
z(31u#fv4O6=~1T7$b9B6R*A~PnzX<S2bFRR;U1>`c-3G=v-SJ|Ii(XO4Trsww`D#a
zTI~LY2Vd*hOoI3`NF5^yF8MRktY1l*HQr{GNE@7FqZcuG`1P3Whp-7u>pL^U+r8ll
zo0>ZO&WWXr4YXEc)<QRxVIP|;YRA5E*Z2GeuU`p~%PA4RoPIz%4^|x(FlOs-;?{VV
z8Hh{IiAzg}u{b=yS-T@Y+nDC#g;xBDrj*cMhv-K^u9zH)*gY+&p7Y0%0|)4~JIvJa
zYeMLEoM=s)r0mC0Ir6coVVXQ;D@zeV(MDr-rmDr`60g<1e)=}4RbPkrYlcNA>(uKp
zxq()MA5_qw?r5p6?ByN4&qKc13foKRq<eM(r%<e&sgLjA;&`VcYEN57C{Gi5-ho-f
zL4~Yh6JkR1b?0?#GB#zyJ6S~ClI*!>k9aLfFjjnn7%YG4+58B428D6=yM_=`43+b<
z%((o##l>BfY1xw0hn<^Q2@ii+pYpOk?qz-0%X;FkV;pV;Q^6%75AIZUdzdEDIH7o~
zJv---ARrjO5L2Q#xb-a{QDjBIrQ2~*$?s5C#y$7t<OkzfH9_`!IBXiOY@L{MJ^2(=
zC8f#^P~kgq3L_AuQ`I^c-4#vTvnY5y71<(K`k|}zA!ESj-j3Q{R04W6H2Q@sp$6xM
zZySa@f<mwqVx}d{$IaJan<;!w8Uo+it$oz2K$h;E_l)1h0{iUCcWk08NAMSi@mrJV
znxi<2Tg}-mBGkXRn5$2}6RheAIkuHj`zgj^KH591eSo#t@om`w)^%6GT2stvqCj=Z
z?KmNPyvyxSgP(_{^#|s6TadTwyOwJpfy3nN3?8{^K=5b3qp1OhlrjRNhp9feXZ^x%
z4ivT%HYFeYUuG0+`43!FQJ0-k&yke}XW-h>Dw<G`-_P(()IIr3^JsSAM_p`)fyWUX
zqjr6cQMyf1Wh86(1Sa8mEBNcZ?iWfg`DFUx6{1U-mbJ;~mLG+IEqalCfOM>tE#JzT
zbTLYBi*Zwj;MK&h8M&x;(NCf+jv;UJFuZZ3!-KZ?=nJ9_Sm{1kZ4q_#8NLhYKB-%j
z`qW=SZibtYF_l+)EJodUjn>OAY0Vi`9ylU9Sl=X;6G6upR}Kr}mn@fpk0|+;nV>i{
zZ5!Adkp?>8ZF&)qz)O5~v+U;Px(%=QO@m&x(lj;MUg|XGGz~0t74Z468fJHwK%@uD
zWTT`W(?=Xb%dc-mKJ1o`w2X|k{9yN(tp1pK^V7DmhNm@mYxK!6`P!bl!iJ4;+eb>W
z2l~A`Yb{Arw!5%fnUk8k&EhsJ4)>c9Y%E1-uhK_71gc2}op2g^9`g5)`+acNBUj{~
zv(KrhXu-L7%S<`?L@HUCT=@aWXOd~4ID~ac<FkcAI=;joCi4;X@_F}ln)C%$)Nt`m
z|LBFD&jO)Ygzy~@N71q&eov?<Q|6U`g2(%v2=rHlD}Ifz#-{KLbq}(;w$n#>Vh0Xl
zW#&CB((J0G1-#vnT#Aa-HoYosH3sbX8oD*{S=>5GYA5Y<k~ZU_v00;ES>E`h^Z1)?
zw3C*7G<Y`uqLVW+8P`Er!|#2-w7VD_CnDJ2PrdQ8ik=B|w?{Fxa&X&xBSEvBogXP6
zuCcl;)iTltQ*gVe?`KihsB5C)5t!+d<lT0drtLoTFo>0H=Ks<`ocQ*6-eij|Y1-Q<
zVrJE6Tz6$e)pI%Q`*a6%%WxG61!(Joqa^jIqNfJf0?v6Tbb9t%-$Iw}b5!5=UNP;C
zmrQY?T@PC&vL}9HP{b-Yn~uKFGLqD6)3BjsPWo_V9_D7n3G>fz(I6G3Jm%CC#?}<B
zS+tioC$sN*eYaX7rdCt2=VQ+h8gy#IBJE|S$Skfb7(K*qKQu|#Uf-X>DwB>U|7u+Q
zb*|R$4~0Yaf<s+|_A-&|IDB_aJ~kT1eN#i(WK(}<ZW8k_#oo#Am2GSdbV=9fAl0uj
zw}Gw!D*-0Z>x6M9W^egDe~9+GHXrjJr2_YiZLbn5oTyM9?fR6}8Zb0`=_~Dgr&#oU
zgt)uxdso9R%GI|cVip}eDYH{iQ@_&ai;Y=g1!h>&VjKjT2CYA&*LR$IYS**084Nsl
zChB;`+>-a2H^lK|kT+OzR9A{k=e0O(3uS)YyEETOL$(Z^sydsu6Ok-21Q{vAGezeY
zkqqk@As9=`3XyXg?|P30WvfRkgCjQIc+ec8QQi-ajbHqIaShQ?$G}`!G_Xt|hCn9S
zAqe_^dt=BJS8a!+A2zZDCZ=S{fNXoUVK9M#Cjfcvpgl7bIkE3(f`yz=_hv<s554tK
z5hLim1yIy3`EsBj=j6gDz{yj9tX4EI2|zLiA9EmuMl%pX_(5j>2r+~2&H$`h@JTU}
zQ7acVfgC~pEPx_;7{mgl&jI{e`A9h=#Q$=mkldOm^BWz)*lDDBME8yh<hekA(Z9&Q
zVeC6n)Xt@N{#zBh*6o$b|1fHY!7((X+3YOAf1Aaxy~yc6P9W032<}`0M729bDoD&)
zk#g=EY>{$~+Qcg8%{@|R`X@r@W3AKwWz=dlKE3g7{5>mjL?AJN?N<O{El2yzzinZG
zIKL3V2y`uCAn}O?`EEvqiDoJU{U@j7J481a?0dJ7GTM7bHzXp(wPr`V1PC5n4FyoT
zi3^!u&<YE{gEyc8FOcrsq#TZ5Y21XAokanD#0P#LW^NW~kN_w`B0MAn7;g|#i2yDn
zql*Z@_{Vh$@EbLN1OGt^tRgYs6V!kQvJ#LTQ@9BoV26nyz;+gZ4LSRb1-SD+Ifk>}
z0oIUi!11|&1*9C(DjY=^XhQZ`Z-^;Lp!mi&<V@;a!1qQTR|yEbxrtH(R+0TzxT^&~
zi8Omt2=GiRVEx8FqCpCHx-HOj6D&fD9`54=xFe^)6<2^Asfp_b<ow_CFu;f1ftVW{
zM6wv*0bW1>at>MhaA6<drq+^?pa~CwiW@B{Uw|8i5o~Zmcm2zf=Zpsg3FYN61+717
zgq6g-BQYYBrzC!6*m#?Fg|R7Cl+d&r@Ezr-&-G0-uE(A-Hz*V1D5<RdY~j9LQvTyJ
z+Qi;otAEo=iUOSTtLdM+*L&AAy(CMEXAmN~!p4P1bYIJ*CN;4M)bm{f8*!QKDA~K%
zQgIew>#O56RQZPwJk&%*BRCj-6lpvZG}>TZ5PETBuV3I(o#8X28O@l2ZCwgU>5mc+
z1&_p1ITwU7dvPXT^1OL5qI@uZxIqbIvIQg?yxA#|f3sSYYW@v<*}z0Ix%L~BPhrGi
z!0#1q?MB7G@RXFY(ZfZdXJ4BFWq5U(dNh^2VQsM#1Hl!zvF0tto2G!-t(5QKM|u>z
z`hiW)>*d>MzpkbVpzPdxOX1QRn}TOkW0+9Z`+U6%%i}kYy|tQbS39Ta8W^v$-`Aj<
z;*peVBC{nwEas~E)yR_b+5HV)9!uWrc{?Zn>e22e6#gZ_HDj2V^*I&tVf5tQqJ5{N
zCNTGuT1}e_hJo2c0~y1FL?XT7{(c9FY@X&fE31MVgC+uQFCUcS%D%#pFsqYQj(ixg
z5O}x}th){UIs{k#QX6^ilSXwQs}<X6tBzf>N@T1>aI|?xAy1pe*ppjb8$LdY5}s?>
z*vF}1{)Hvdx;tlrqW*_|vz^Pb{s+AGhRR{)k7{!)ck|55>l9v1H*P&iuOgF~ZgPUh
z()%2o@U(sC7Hz&@ZJQmopj_^&=UB=+<W2W+?Q(Y)ZX=h@`T6?T{&BMGSOrE}9d))g
zfdM=)?5=d*I`-C^oTWQfO5BHm&<`<wiPP}8uby~8oUcrl%A|6O>h*zzb&Sdc!u>;-
z=CXAk!+za&vZ>7|4sFhk1(|E~R`-ZIjr5^i#DHslwua8TL~M}-)Z<G|m&@mPeVIzF
z!{zXyBMj3MoxW{Xi%qO=8ilc+14RNjI+;ApB2*~wA^Zj_SQqoHnq;-{r9BiAW_Y(|
znY^@EU%EP{2LCwxR&1<>o3K{Xw{2Dh6XiWbS71zQSeXBQ6y6DRfHP1{!KpBvFJnd6
zxuU-4go4NMbid`C0@)x>mS50BNl6m!yVX#V&Sz;063k1rea21>yDPXj@g#!YDe8kp
z50sRAaF9JzfSYl<C;VYc=x2Ti#=X+JcDl+HFDha(dj)%l;uh}P7Cj|bN%f9xfE_bt
zEAlb}VpLw@4&Di+n`GPsfpd~+=q#Omxs5h_3zQ#Kjd>pFWO7pkgt<}#q1ruO`sD0a
zR4YkR?g}JU%`REeczBYEjwCR{ht8ptUxlhhX<mO2D%uL7H#tyaRjzNRTE!0)ew4g}
zt!+!AMJpe{UZ|2&vt03zB#W)85BAxDQLgkC_?s51z?R7Nwim&r(5Ghy%lR?*=-f%=
zjP0HCZ)sk0rI;P_etNbdqF-;=2+J<Euv*#k9be6B^C3T5YcOGb>r^b7!JAtGJ6@lD
z3G_Of5>W7QB}~TV6UuaB>6_X`&1H*uY`N?jw2@T_G-NN59(wGDw>-&S$b@l^2kt`?
zv5L;Hz3g6cSA}<#c?nWh9@j<qcC9;GS}D&w&Tdi+VJPXayC*K3;e``($>MxXzpEX4
zKQAdXdHJ-JCa><u&Ca-9O-@^Jqu|h8#a2V%^{)r!3KnvnXXw6wX_03~nK*0aB27Fo
zUbup*`?_YsaEFX}n#*s|_4_cY<7Zxt3VBw)82S?DFsFlJWZ$(t)=wt79Yc;iJ(LjI
zu1bLJI($1aib(po!!o5tm8*T={QQXnZ*b1Y)vc%V0~Y~QPjxIZ97*&Qb#3&Nd8{TV
zCsAnjJKWz;7o<<i_6V7Iz8NRTrR`rfTp|CM8W3GZklL0Sx*IKt()>{$R+OuF+UB-U
z%(*V=&8R6<(WBpq6D!Yk_|w$Y)a4fwdruncS?Yuqv1F3|&pa*8>ZvaLAfG%LVW!q!
zI=UE2zN(YV=uHLQSzkyc41Ai1f4axKI}ArX`ITx;|E}DPvy-VBGvkV#`4sC^!JT^8
zt--#+)l@$twPA7a*NR-S3~ZE>fGec>%MSuK>N~40$EecrsJ?x9C{I17xBM<smHhj>
zig86JG#Qf^WBLom8e%AJbu_1XJY%}lmCMg4#qoXIJ_T2T6JCbXzRxqvr>i4DOV;eq
z8DE^N9M?at>+v7^#IaO*fM0#r$Y+tcVYYbO_E@Z?&w>Z`YS==?KLS?mQ{JM#W_4si
z-KxUt94y+J=Pjz-G095nw9s|t6wF)fe9X~WbPxiGBJy*-qG_|rZy&P~eiG{Mdc`Pr
z&XiDc^{yvz>^=20Ipm6MPdBitCvlvU&!oo6D5BL}X;;AdcxxQZSK_Uyo}v9ymGeei
zZN6$VTTthk?%LA!PC1NPwqM&stX|?)u)c~{9Pw@bWv557(u{{P?oUS(984b^#FhN6
zz`Uj<AZ5O~yY}@Wk)u85Ahv~OTt&ylG~{>a7jqp{4A%pZSV>ZxQ}wHwo~p50YUz7A
z7lzfJT(44kU`Z>!PZZW<kE~wk3jZ$Wdz`!^|8h?BBFBqFB<WrYOcTvP7yA>b&^D7g
zfBX{p_?MM-CKSva;(OB~+R9O(!;97f2Fqt;l&aMBnzTG$-dGRuyM}&gElk;YxC4FL
zvv(LoEiK<pw%y9xg+U#1k74k;LVR0ZmGEy#SiwPW-tHZr_b5M)0q9j}Pj>(GBvdTh
zyDHm^2CnpTW$3u35jN>xBf;4AD+2eLFygx3)A_1!CSfZizC9`9@^$<8mSwYcK7BKW
zZe>n^b(6<qxu+YoHt#$)9ymo7$=ETA=ZmhCAB!Fgg&emH{1pD3K;VR3oyV@ho2xcS
zs;GKbgoCZ5l<boj&MR6tv?NAhVRZN#wc{bg#NMecgFf6`BL+tELaoruP*1qK-?=PL
zX-UsUCAw|0aXHJ2bl82i`YbM(NRAIj#aow|-AhGJM1Y+}T!>8ZImQcS{JF1`WTn$v
zP>5vRbtEv?)%D1#Ru?|!;66o@Isb(y%!d8>o`!8Z+>Gxqdn$_Zt!!gS_7gcd7wL(z
z##TL6GzEGF;}jTOfmB^BmdhTsRrbI<p~5BIH~4p`C9K2MN%yvIJBefO_n9)fFGVNn
zoy!svLi&^UjF`lDcU+TL<(~{i8|{aYDUmzLzXVy+Cqm=Y14Ih#gi?=xh0BkBdOlQb
z<1R<=_5?1h-Yk<6?Abk4s=9B~?Zp>Rts;c^{5{$Hv@IX(Rk8T2aNhcZnS>|b8x>sL
z;!F>gTzzq6O{hOVb1*AL@7mp^4}6Gnk12%!QtKAu`u0O=G=W+!ucD(j>_k>-^0&ID
zrfnf=a?VMzibu_C1%o1L!DDVq2hSkv1BK1eASPOjc(q14QGCb@#c&nYqBh7OTn!h!
zhpSbxo|mft`!Zol(EKvqdVQZt-{!>4g2q_naoFXp#c2+uml(zot>JH0Nyt0NHY%SF
zMpb^M@~cP?hFq&E*v~0W8lPMrQZUJUZ6_ahl3nlIma5L4_eompx%x0%noWCJhlUqr
zju|~4&#CqOy=IM4dkIzhh03bP6Bp_Po<qhxeY`DhVi>L$_uV~$LN*aPhc}{xxKvC{
zN>9A_s$75c;4f78TDbJpT8eg>)GQkr_|*k$Oi#u+XlUksk$I#7`$cDf_uWA{+x3$b
zRV!bn7{DyOFdoO}T*%=2j51g?mhj!U=@ar8k-LV#8b*JGoya?@;8D;3CB{MM_1nVj
z=WH}E-8~o$XUbMjoLc7X==?m<QzwGB3w+nMPp@@TQNB+bb3URtW$O+)BdXAeqkN>3
zPI<(08PA`8CFDSg(-WsRo~CR3z;7(St{5D#R7-wMw_Pn36!s+Q;B00QT@3B$GKqdQ
z$)Z5WPID_a#lt5pgVr|L#bcqT$3$;VlS9iKPfiWC%_{o&Tg~TYc9d-m6N0TGt_lp1
zV;w(HyiNg(!37WMmQRF-s&Q*<bZe!A56JNfW`&Z<N>a4)59-p3#=q5tj^vO%Vy!Hy
zb)s_z$f-%yy%^r<+|sr0UrZs&mC`UFq7HM`2|wh=OBmD9a0!px&0E2H5%SSOi1^Nr
z9o;iM*i(6a@tzkrYqJFt;wh?M^?0(ByS@cW#PNj2QB06FW4;(2tL01Gr+=EYuSF&z
z`M6&!zH5*xRyJypVJlF5A%N6hU_c}eRzSfu#xM7ZlYeI?LG_!6mLz*>!y4+ZR5Yv5
zhq<c)^>n|=Z-2l4;2zZi&T#A4yUDcq<Q!Nu(J(9x&BCcaFFIA7`O(ZXgEX$z#;xov
zUz~jOefG4YRX%cXm+8JqIR4THN!)oU=kr#SwXWOoa^zAX6kjeQF_qYI9~xc?V&<XL
z^(8c*s&WFu)kG4vOky1Q+GcT{&_6G>d4s)`x0^B`iRxb6XW%ekVAcjI{mAQ#)Dv^{
zt_+5;C+hUyQ-0eO%A2Ta3jIWaThhtrtRqY^fFDu8%w$VsmkDV|?g++iwROsQnbeTY
zVeoixa@9RE!)CZHPEe(e&BD9^oIK{yW73<YYuy<N`i=TH#N|cT69)S*gZc%*$8oo9
zy13L8uDnkQ?ay=~eEHgBHl>Q{+nK*TL+`YNDVQuQOFv$^)j(Ge?#{fQ5H}XC_4?ME
z=GcVJa%qX5X_%THLDkvh>gQvmYd|z{Y67Mv+5OJPrXdt$J+_+guDRLrEu9jTOhpfR
zmBLI-<s-(|-A(H&QVQO8*q0`_yk`iu6x2t4df{+vj`6%6*D=EO5F8u`axyApeskcq
z4;zfKGfX2%>zbI#GGJQD*~siK-ONa*$qjUL96i(Y+brA^hg-z+u`;Hzzw)U`H)2Q*
z=DG?!=QFN(!FsqNl+`;C%#-(+r)bJt-jb)7F){X{_I_cz0?Kh?5j{JJ7Xzk*n(E{i
z>{#J5om34X(|1v<X62Yu8h-2I6L9z9F4$VCxs$5}$+sD`sJ@mGJyP?QD7B+_#c&tq
zx`O1I)dt^_i-a%3dM3Mt(aaLgVKX8z;)3#nt9-+i5zZd3UN4g|H!w&H?C;hI$qLI4
za%NqO1UaKIH*11Z-f<}nHF^;OgNIWYBqwj-Q}4Gse(<=crf&`T#%%UlY2&ezOu@{j
z=7t7+H_N8SNM}XXB{+vnDjRS0mz29jdm1)v%h{Eatl=Gu-I=)ynzn6d9C8bfrWbd@
zh1M1eXxA67mY4T7jqcrEjSdh^cB0fSVh+HLUsE&f)GtkN)Ik|75SEHH4HR)-=9uez
zxJ7I!H|>qLyBzUImN&0A5KDU0_ZY^?Tc{l%zH2*^dH)de?bqsHsnM_KmK}GzxU<8(
zg{wA%TOy=`nMDsZXO<$5vK9tLR|d;l5@eT8uEgO7GN<gNJNL~Oa!DU{1OP`)V{ij_
zHfzaov|4r%Se&T2r0kI@({=Pak~CZt&GX(9<McDU!qufGrX_3`I&@+Nm$Wc#j1L1U
z=2l~}6=Lt`$3L)tYbPbJr^uSoacL$CzAg~px_>tIS}h7SI#{_Wn7H=`69N6bCuJx-
zo^i7e-xXkg(ZH9<Qrf3_bURyBKOmMV2>U~$#`V<_pH{VPFh8Xgv<D13u(u8lytT&5
z-Sgn1G`qgT(*xXCNBc6Sr!7p$u)w$ZQLj0&(1RSILG`z-G;KV4mRvi2n+_~*Z}GLg
zVLiYTO7@J2;UgJp|2`E$yPhhPWI<ddbg1=EFEva^_Ju!nqm^0Xo?I}hX7l97NlyJE
z{WG0cOp-Qt)$fS=Db>phJ=fXxBYmYLL>;s0?fxv2&WxDJlb~|DXv%`^a2+;-YvIj+
z8;eV^cpqorG5>QH%6r1L1hL}gEEjJ{mBYm2TvGOmg`PmZd5gaJtYFYb@JaUylY3qH
zpx{(5jUoTxxwlmD9b6Lom$nRe&!T?hOQp6^W#YKE7lynVaqKir$}L}G@Td85T!LBe
z_;Xd?ncyN<Uil98Hob&+18$lx%$<+5NVnn;N9eUxLDvNf#~SD?)gF@(6kl|>ZP4vW
znV0*PffuZ9hui(ecU)~Y8=l}53OP60=$LvG(}X9hB1q2k-EBrIojBKveZTHFX@Xv&
zaJwUxxYoscsxr&K!o#jGo<h?b*L!`eh_k8)xWy{><dF)C-1O6jwwD?OFx;&po~CnY
z>W;mxV+Ofm0$se|@ZNoXjxcTO-`dXNu*ii=w5$(SxAH>Vw~UoWekEBG<QQmI%cH$)
z&Q|lHVz<)&0F=Jm|G-8>cEL1L(;Zy?W=ME9s4Q2i%s^o=%}Z$(_3&FLT~5w>Lp>W+
zY2~EmTe4hc_jtiO&o0i1Yhmo-c)kvz?mZ4i^shOiGIUY>KYcqOmq3a9@cUS1icBSq
za&3F~Vkpg=xe!xtf=%CB|7{X}K>Q{fl|iwcUTczlUz!?b$q8oVq}hghZCOj|gy~Qm
zxLWZWyT$&NM>PBLD@*%BT>Bvn_>}2yv3}*$+>|oh{OSQO>f*Q@HGA0YVI!q+o5Iip
z{hp8aq!K7$q~&l4>RSUD{VxfVy?L|TO%Y$!%!^mECA0Gl@UI)OPB7Xh&HC_HjN%8W
zndqvS$bVa~Q>(pOik(u%twyNvTd+@H-q1+2deV(^bi07a!9%v)<<T5j(HQ}K2!RD*
zF3xt8zn<x-V!g%sP+KGHvw&xl^P;-Oyjm@Pqq(&$x!_~mjezIla<c;*)One55d$t9
zdY?NU$3H5V&^RKaqgb#JMq`g~?#plzU@VLM#HFj<Ft>^xTe}iH3!aYIuR7$xPPJ_^
z?#_Z|V`QHl98MePFH7s21b#YJ53lZMk>GaTIk6a!FdiKK_G;J_R{5r&@eyxR4cvb`
zt>oD++AVv%gzL__ZbN<_HQJ_}+$`)R8C3&8PX)mMJ7W%diNx~VKsSx`+`jAgSMzmM
z)x{yEx7;_mghWGNP!&y)H515i1DfycXK(Pv?l$C%*o_?lue+K=a;W-qD3~DxKjQ5o
zl-?+F(wu$jAGwG7oi}vjFzzRnyeK74f57SV#L2yDD6*9w8cQ1LMhbyMasS=QheKn4
z-~ZF|1dTDFL~wyPU<t{BlOzDmc*q+>2UPq<2s;a4K{61XcPwNt_D|PXKM$xywrN4B
zDu4#gTnbPiDL8_XB0=0FBb&)l*idqKaVM~V#JTC`W_|>^Z#u%rW;FcqFkp?O;0sg0
z&l~Hr(?Hx!vld~D2BgG=lE70J0E`<I#32F=ylEY1K=yCp2nr2(76Aqv0^-QA_7IRm
zjwgozKXPO{0+3(xg7!y%Hgaq@0(6lh)-j-i|3m2Kz5hMw03DA3S>#;FF+dAtmrQPw
zWCAsh0bE9;oW<fZYYYYmBvBaxxdZw4)u@=PqQrh9iPTm*0cZhI(D4KiLXues66)oc
z<iv`vqYgl^A=nTICIs=BF}R1E8T112P65gr6WIrjswAio2m=NLf>^MBT}NJ^;wf+o
ziRXNZfL8${Pk}o~vI<GYf<vbOyBX5We<?xm|4l&DA44D>4}2c-x;^l4^nKuH&x`bj
z6k+MlXU{+H-O8|DVncyI-l0Pv^ndC4gF0sbH_{&L4B_;42$*#Su-!O~f%e8d4xvPW
z2#WeIrH-e`I$^XoQU9+Mkl-8vkP-oMp944NJthbmKn4BI0nQt|^Z;(yb3_tY5qV<%
z3-3h?_~9JjXF!IjE5?c${r{D628k{Jfg7Q6mLoS200N1CLLj&Qf>Ho&E&#zBdztOi
zM@$GIJ%kYLUqXYa$!4$U|LgzC1;Squ@b|^dC*dIHB_bS#tmLXJI?n&*lVl+^H46;_
z`HcHtXan%&<sbbvggzh%&R+sN$n@g;M8Gwaf$Tp4UL<Xbq&MDz0sqjY2pS*(dwv2u
zH{Q1vmS-9vvX6o&8ANgZ>v{`MmT6@Ae|*YLJtv<><^!?De=F#M)>nU=cyWa=5(rlQ
zLoOo8aPac#pA{PK%N+iSQ2#^#fzbWSA_VesAem{90c<+^=b0gMBl+S%1%VVwLLiKP
zNp_8cFMj>8*6|AwB5XUEV22t!{{`TR{kMz}h4rti^v6GC?CklU0tTgiBalXaBwOuK
zfF(x&?oGWSc^?nKtlt0|6B3ycKa1@<0#6&U=6wIcg+K<N0BD8+@Pk`F0o<DcYMLvD
zxge^H4dKGy4+JqNfBoly@V-VE=)(jPuWwGpz*Yo}!i^7rZTJ9fsvPtW(n0CLnLol>
zEaKnaPl-?}GZc9Qm8u1$g&q;4x<QeJkeUgl1;|pHpvVK()Hwv9ka`BaDG4?JN{gaF
z3V@5G0OS9&zNn-23KWR-wMP^M=U?IJfrxWf31m)25D3stT5tz|-t3VKPz1g#C<TSm
zAg4_bB#JW&0A8{HOkmURe-;z2)}By<NQMH|f2%o(73_vWZ=U7@gf29J6C^-^vfQM*
zJX_>-45C<$@%|gQn-Bp05<=|nUMSF;rFw#buqz`8fTNNKZX<$wgFsIjK(B<bJAo+i
zzf<>H4geGH0yM8s{{Y~lB8<l=f?TN3+c)c%9nch=g*e5|L~PiIGW^$t0eYfB*^tqu
zBbBzzK`&G&8Ti5ipt_0pM&0{vAy|vZqbI`uzqbZ7kPr=u{4XJ(G#VmzP|y?&iaZkq
zpCd@<q$5~_2EC1>5#JZk0uR7%h~Xxf?#{G8Jw)YIB9`dZzx;tf;#>ic&JAF`F@GZ~
zjQ&jC3L%G!2>$Qt<8cSTc6WdQ48(x`c{|M($#4WBa03zYf6LB#f*;WTIJbw6NbnnP
z0Oa)n7(pI{F49FQ41~*PKA<TEl=H^!zyDzPJ8LbE08rBxpawhs(H%kP0-oSD22=(K
z#ff=Cs$fF7Z+52@HCvSc#KLnS){XqHXhY+{RLnmqdXG>-k;(wTWyE1Cc!3GU760!J
zfT*~CUH+NCpBI^<uk(Mm02wSqFmEzJbF4r0_#8o_l;$Gb&O?CXVgK_ue!G^I-bL)p
z^@x|u-y!;f2Uvd!g9aM`Rr(eT#YPl{7B-alCZzcY`_4{8qNfmvrumms5XjdLNKxdY
z43;BR54*sAZ0MhtWcofD1vg?7iA8Lge=pD25J-gcXL)3C5L&8JNSYe-$NA$$E|RG<
zjbxI7zor3vkPeX{q>(-3%;Y?Xhx;c~aa=^GIO_mdwGL4I_pJp(OhUhW1+x&s=xYav
H03iPd)1;od

diff --git a/nars_core_java/nars/inference/RuleTables.java b/nars_core_java/nars/inference/RuleTables.java
index 3660ed1..85e8f0f 100644
--- a/nars_core_java/nars/inference/RuleTables.java
+++ b/nars_core_java/nars/inference/RuleTables.java
@@ -44,7 +44,7 @@ public class RuleTables {
         Sentence taskSentence = task.getSentence();
         Term taskTerm = (Term) taskSentence.getContent().clone();         // cloning for substitution
         Term beliefTerm = (Term) bLink.getTarget().clone();       // cloning for substitution
-        if(taskTerm instanceof Statement && taskSentence.isJudgment()) {
+        if(taskTerm instanceof Statement && (taskTerm instanceof Implication) && taskSentence.isJudgment()) {
             double n=taskTerm.getComplexity(); //don't let this rule apply every time, make it dependent on complexity
             double w=1.0/((n*(n-1))/2.0); //let's assume hierachical tuple (triangle numbers) amount for this
             if(CompositionalRules.rand.nextDouble()<w) { //so that NARS memory will not be spammed with contrapositions
-- 
GitLab