From 99add1889c174d0dbc7ec139a0ea3739732d50f6 Mon Sep 17 00:00:00 2001 From: josd Date: Sun, 15 Dec 2024 21:26:48 +0100 Subject: [PATCH] adding list:intersection back --- RELEASE | 1 + VERSION | 2 +- eye.pl | 13 ++++++++++++- eye.zip | Bin 106730 -> 106772 bytes 4 files changed, 14 insertions(+), 2 deletions(-) diff --git a/RELEASE b/RELEASE index 36baf3e63..93cbf9dcd 100644 --- a/RELEASE +++ b/RELEASE @@ -1,5 +1,6 @@ EYE release +v11.0.1 (2024-12-15) adding list:intersection back v11.0.0 (2024-12-14) rdfsurfaces are now implemented as N3 rules https://github.com/eyereasoner/rdfsurfaces-tests/blob/main/lib/rdfsurfaces.n3 v10.30.17 (2024-12-11) fixing log:satisfiable v10.30.16 (2024-12-09) fixing string:substring diff --git a/VERSION b/VERSION index 275283a18..071973805 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -11.0.0 +11.0.1 diff --git a/eye.pl b/eye.pl index 4121b8eed..9397f782f 100644 --- a/eye.pl +++ b/eye.pl @@ -22,7 +22,7 @@ :- catch(use_module(library(process)), _, true). :- catch(use_module(library(http/http_open)), _, true). -version_info('EYE v11.0.0 (2024-12-14)'). +version_info('EYE v11.0.1 (2024-12-15)'). license_info('MIT License @@ -6626,6 +6626,17 @@ ) ). +''([A, B], C) :- + when( + ( nonvar(A), + nonvar(B) + ), + ( getlist(A, D), + getlist(B, E), + intersection(D, E, C) + ) + ). + ''(A, B) :- ( getlist(A, _) -> B = true diff --git a/eye.zip b/eye.zip index 5fbec61f732b3990907db9339f9cf032df48cc0c..4d8198d1ff7c8d56437a7699179330008006bdfc 100644 GIT binary patch delta 101637 zcmV)6K*+!9!3LDV1`SY40|W{H00000SgVhb4H^fCJ6~srJ71A5LIWh!U9odP0t4R$ zUz4{2b^|2TU6U{a{R702}~id1WtUd1Wqe zY*kbV00T@rUuR4^U$fo?I{|-?8Ak_4FS>_E-NT>u+6d~{7MKTDpjX2QyOb@hR^JaE zLwmW3m|^X)ql1H=yMTS1H}=*o*oG}|FlGw|OM}lI*)lY}h|fE05rSpILP0B7a^TO0 z74*mgU=I-dS!CLt?Jb$fEEuZ=kkJar2!9c+&5#4|oS8!SmJMp2v$=n7#V+?EGs5u} zw!;N8U_G)Q#tP$yJsM=rO{Zmh4EvHUwuY7E#}Ny;h(g;!8XabPmJ`pBhosxFU0aQS z=p+Eq0-~UV4)NJxpbL9}@0_L;#4}ies}7snNO~4W&?vBxB-z1v^!$(s?l>)=U<2PY z*Ni)YLDmBlXrx3Wuw{R}^4;Q0Y|&c8p$9{9!kPOZG8*v@ZbjIF;0xbz{54L^^1Zo@ zGZH7Q)&#oDnSak|E>geX)qqvW0xBTLw5qybkvI;UaV0Pq7sPAkrW4}uA_B$Rro#e1 zr18qr1cRHr9kB7u>&b`n(SQxd>~?hXet0psU_YFX;rkCA_F;cGd3*D2!T@4)em(if zZeFwV>yPZ8!|RI<8~p2bG#HQB&8RiJy1g6@plx{FzkGKwyne%80p9fu81WEH8Hi49 z7!IgN4F_W+b~PCF-@@1PSHsKUD14SA*-xK8y-&Z15hwu<_gT%S#-pb^Z>xA0dCNe{=hBG<@@R!rtCo zUJRh|)c`mN)4!bzNI)5`DtQ(**Y9W~9j(vDLz$P5;9RBZ5hBwzZ zjsDH`WCUM3Fw4;-Mg1@w4?668G#sNqUXO0BIxQ3@VBCKY5x~11NGd35R?rB5;P-dq zK}wKa49+is))fEPM%s6JcQYBAW9s%;R@0FWM3x))zEbehh9f6gA}LxGn8K z?&2TA$*_i&?FJ4m!)<9L@Oo;&y}Q#yZ{J_RWaqp>j#IEy_u>zMV=6B#108f$vB1Bu zZJ)rNc+Z6*g;rKe3EY#vW(0z4B`B_GbwBe*b_#!g&dMlnug?1nd%>@hH{&OS0G^J` zV%v$jwx;*HWGskS(Cwwr451TBE-Vms3Igup z_I0L}FM3+JX5AL1a zCJ}!DRKxsiNE+q>n1jXrV7sx)yx5(=*Su&F<$8V>w@%nwQ0mBX{^j{B>4gXfTm}rM z%!Yt9MAXD z8r0ZAE!Uy)hlqQ)Ysa3wut5t8pZ>v~JZFC)#Fd#Q0$#t&fRfC7Xz6+sB`HKD@l%ai z!)qPdQL@O<1|%>VW8M&fHhyh((+QB)QGbas09nA24?@1MABvo$y>SRZ4hDP~oKCD? zVw*>`!jQcX3MPviqTadh!cGNpuD&1%z%?p?7y+RY_=##M`J8aR=we={G387al=y$) zZa2DkEx+WjVW}(|u@&AVwBIoF4hgP`kF~SNqGxc@pg#*7W6F9uIv7+J;>gH{Ou((t zBLcAuNUKiq*>||xg#^}~vr~G@X%wAs(g^As6EGW&h6x|Sk3;akH8u(Qm;?W=i%!`h9$}a>YE})TuZ3@f@z<*ex!8U($K>GQB=)9$9HgMefqjcD zWm%f2gP+J=HK&$}&y&~<@@yO826QE`LW9+rMm<?TzsMYVBeD_#yU zPlsv<^Ll<%KPok?Q8Z2vS7+Db>pFt8da)l?5|Egu`cF1JFait`=o+Nu0tuD8tVzZ(f02`Vq2RXba8HymwG;6l_^%!d(){hsZx8LS*R`} zTWWB%;Wmi)SYB+^OWhQ7#^UAHCIS)`dx@H;BmAhzz>-~RR5i77vT}B@(DG7@? z>E`)Yjoqv*5qd??Ze+U^xp~K;(quV~9hL3F0|#1ZtKbG;wR}D`#nd~l_6adXH#`M5 zTo#7L&FPj{5H3W-gWlh(YF1rFP7>0^Z*P~-vXZrVtziTZ&dtgkebG57NVzKBmG+ft zqXs+VR!nhYd8~hsV;Vb`)9Sq_cSdW7!YjmJUej3PoP`BRuci@fuF}d~Od+j`y2T1Y zP3^uDnKP%%O5_F@e3q$4G0x^l*LbXJe4%UnN!R$ZuJP}>#$Sq!STCsPDvs@nQt$n0 z+gdA-HClLS=Iclc+CIe-u9IGm;|Z)-nPIRmlR8M9mwbQU<5BPE;NZA-a4gnl(1X;8 zl27q$W~YZ9rgPT*euS~i@?GiuHEb?yAZY)Ge@~hrr~UYQl9Y+(cclnhy)fx?uYv4( zz209R?*pyg;jh2`+B-Pv9UW2CL_9*m@zC{9grSJOk%shB;+v^_Gb7Psz`v0MMH}1E z0M#7y4i0~NL;%*cYd#b4tna|SceB`m#Nk1Y)Js9ovosKS0tGM-TDl(~U+FvC^y1*D zRD1`^A?J=W^qx$@4SetE6H#&8Q?bR6@aL}{pGd*?uKCi${Bs5vpYUF5mKf;{^Kf~;$4@^h@6qz%7eZE%43jlug+8y@kZZDJ80wU+tR2p-Rehxy)hQxNbC#6CnOB7d7 zKU#^1z{XrjOcL%e?pZ$GR59Xc@k{=~PrZMvDh7sfF@u16a|5tHwY%N+pV%GTDX><> zsE|ZeDfPs> z1X_xAMi>}9XBbFZ!IEk+1I$!lM!u`S&*5W2x(HxfQ#?fhI1h9|ix()i8O#Wg_6mOj z5lSFIULq**1P|WgWCV!E=CJ)>m;Fa^pSizvL9< zaxDHE?X+IsPFQSQBVX6j;uXO=y;&bLn00Y*IyS2gU9dMDAN-Mj{a^Txm{}hfa^h@# zXh=$h6}j6yj18`4X@e==CK7G-z1x4etSj>mWa`TH@a-1YeTUu1TQ7S#&Whr*R-YlA zTpAN|xtD<#fRQJSC4W)_w)flVsPtJ44a>5_fb5-ap2^g9rdvx*Yv?+qjXw;#w#+BKl4r{xMLe709)%vS!(MgRAq)=_d)Zbj6afwh2A1GE)tzm!?__LT zxOdvdT{68>D8JElKKZeD9Zt59zo+*=exUPw`7ybRlzf9s6h7kT)OOp&3ox=pR?O7r z&|a!fbdujrH1;>$e5ZdT4Vd-&+E`U9YV{>AX&vUq2VVf-&1k@kH{9c)ZLv{$VL~Xzs={5iMCdgV6RY<~)d2IwphK9;?)YYA&B?8bc9fI?hX`2-jgL z;BTxM@SsLnQmG}-3ePHkphGDzs?)P}1!nGBQ!mtEueE9nLUdv!3-JS(JefFIx+sRM znB0EKB2@xLmxzCNtlM`OwrsK4m%P^-e6Lwgc%)?H01_9aNjcidqjI_D%h=(P6*0zpj68@9j(3g8kpsj|Ij-J|kHp%CSu801%;x(v4#EqGPxR-q)0{OCO}3RYKv8fL;wCi#g$v6u6kvh1>!1PiftEd zwvd?DVQkDXN+rT^DNU!H09v)Hd5oRTQOl;LL6nAyUw z#(TBl=BZqAz}*=}kFV->^lbQ7H4J*kTMI;j*2v>U@8D+;zg-bUE|Jov2a%<14Ro!c zJ|o2Ym{UvM$E@v+L*Z)~kUMr6KV7xz*{*-Gn>CHVA|HXBC-@nkDM=dGNf#0u+sWxg z^%!`DnqM2TC@x#6Abwm8fK_GuSW_BrEOl>N?uOAzkcd!bI`W1><({&|&XFyQIDRs!u`mTi{<<>(0w+^X6K}hH2*% z(H7Nm^gfe*wHe&ck8gOp{w4I$BS9|-2+vIzSjWq+$M|CciynOjAODOEt}n((>4MZl8kT?h>!6Z4 zq?(QtD@hEJX4C^s^G@#^cQx(rFqLnZ!tO`((zg|#B+hLCNwWND1m?{~VAE`LSKZ99 z&}MjMF#bD2uKumLabPF>K3v)+;Cgt?Ch-kSodUv z)^vJ$s+{HMZo^)wj$uZ9G^+BT`K9idB2r+xU79ui)nOm^YJw<;`u~`!8YaL6^dJqE zmi}FbKpx9-OboO>5*&Ic3P`oap%dJsk5Zc4;$Qqxfb@cJ5+>q2_qKlyH_PNmCykVz zcs*zPyO5gjK;4-wJb|x%_y@1g$|Hx$S#Ww1Q9hgp?liCGkD zFSSGM)t#l}_@o;T?VXq+6fG--o{gj8FBa`Kay!G*i=x`UnG1Q_<0*Wodm;^-6d^YA zlHAC73ODI(o(6u(Fq?ll!b?3*;f5{)HE@#eZ{mV}qiHt|@JC{_L+3lnNHmTXtI*TL zDjh!lIi=&rghhQZU$y2%QMehA{bt!)_>>gj8*Ysv*q!DkOEoPomgVx?XIDr5$sc!9 zc@B4~S9+29HqzAos@0CBsHdUluom@)cp%EJ&SF>}VTH^Zf42^XI&)9=L>Lws~1@ zAXfZowH;S@6<>cp-Fmofxl?tlr?aOBZ04^7xPigs2j6z*EXAy4sRFTq7y0vXyK|!O zYWXPjZ{mWkO6<;rykSwxL!o;E3-oh$yR#tCYFQ|DH?t7%zaVI88Zxc(?z|0VCE{r| z5ckw`Q*<~lMk#?kUr2UTIBG4r0E&yy}n)2LmH<2cX zmO3s@A?*GnVat{bAqm&Bx@=6qIM@asX!Xj{*q%ii z35|qJmd$5>yZS!okVe=Lvl~n5v%0#vy1KfmdM8b{YB0@=OGdA4Uo@^#NpMMFI_H2( zuI+})Rw@=Q9s)EQNTQw<7Bf2*2vzr=5jWb!fgOJ}_Cj$$*-VUVG|)&jYHSEphF*$%q4O-i~` zu{^P|eQhQpbK2-yU`;5S3f6u6#jY|USO*`OXf}oiGyHysR4kHeijD^Y;bt2v)UXar z&WL{-1qt6p9ihPJAcbJpJ&i_#*%U|GEQ)&Qn@KsOed?U1Ln>#cQqh5%nywla9(}kS ztnS7hQ`DIc^vQNlJrT5)dhQ{(#5XLSn;w0{hcC`C&+tIpz_*1EheK6R+lYf)jzQIu zGHNy-?1$v2XTjDTY{YLkSklV?He|D@yRm=1XObCt_@IN(NJdD?q<32r4h9lX%3S0G zSV3xZQSctbfu%19R5Z@F35-o^%+&O)wkC)tz}r#=V`m_pN%u>KUQjdRX3~t?W=p~p z1g%(#H=YBTV~OF|QEF&b9*pgZ6)8Q5EdeeG%b7?#N3j{t>bRur^INTbuqJ}nc;J7t zKvpXaloR8;WZa=^xAM{n83N;g>5b)le8-66u;4f-{EI-&>^KaT_%mUN*rX$Ej0vNW zN1~BPZ$%4c#okaObus?*aY-SWAYY5bWJJnv4GEhsTZV)U#38N*BF_P-wA-CbBf9~K z*wn_|=>>6_a8@vp^9zQhB2&2A66Al0h}?uK$JrP;VmvXRw?mX6B0CwKWT4|j(RA#0 zr|f$d$yA6p;%R$3m8KTpeG5{(Wris@@ zR}JAL9XK?c8Mb`H^J6=7#;~EWWCfowjJ-y?l*k#G zEtJ)EDuvObbvwjjr$ew{-dxnvlE-{UC`Up-X_d#<=LuP(szUG23yX>y-vGcA4yzhc zxq>|zu@=BTtfVqI^gqqIgZ+Qe^8!@OW~8XwC+32xGLBuW%SwEl8OnA(^J7d0l7 zqpGZLXp06run#;NY*>bFECox2$K^t?A*6U6&c_f*jpQ$*_Y7f8=>*Mk{^&tdpUgWLIQrPa7|)*rB#1dy4fIBZeK4Wyw#=N>QZlYsXvA;mEW|m=M#&{8w+S4n(|U% zT?ODsr!xyX=FLHN$qIsI@ zEE%dyGmeZ@hZylF0h{FTT;eJW2?-sdZN}HdMZP`|G47MsInjR%Do9ynECqHL^ozV> z4UhYsT|u<(QAqejk#G&R3b{I&`=%%!xYYX=wNc(dU6QuM$z_K2P!^|RCsI(w@(7+{ zTSucUqHTVc?DTYe8aJCx2Y8#^<1bfgYlIcp#YT@L9F?QU8~*5}nooN6o~^BUC+?Rr zHLvpi7kCk^Na}xD)-Cfqv-m@pau1lBv!>E9XYB9TVKio|YJn+ko42UJNtCL;KGBeX zq?5ME%nSfsU1JOPbmJ4z_Q@ND`}E;LD2$mcOX#e!_v=B@NyW{Q$q@;~*GiFFh*`aO z+_6_evh)@R*ozV!JjqxjFDDi`txNRJAfvryo41UOCz5~ehZXt&YS94=m+zHgX^7QM zBm+M@N0I>Nx;NBruVWT^%yqWhiTzqT%dSK$>uAJUBz5(X+!W#$ zIAKPdWPvA!3qRTmY+6t;S|nY-E#5eb^Qvr?YK%55IJj0eRWC$W9w4TCr6C4Fp8#F% zBH(ue6$Gf>2vBtcyD64os<3%@S<2nI4^e^>>-c{NY%Hdb@DP`ICFwb@#S=kvjBW4EpS0o@`Vm4d5dhz{iy6`p6>r5ET6<4n_Y_ zdiZ}&N)%lvJ?#D`En1$iE_W}|pzLghL_2h-g9&KBOmyP#njrGai2bnA!y4GeZVU<9 z)PbU!8&lRr?--%$hD`7+TTjkj9O#K1t}Ir@4KGWltUWP||2PjVPXxdI@XXVni!$3L z<*1RCyTCk;9~Wc0oZ}H=SA*G)&2OhEk0yTtm3S_5c>mf#wjWl!qO_Ak)G&}^Q3AOq zuo9Yjpnp4!3GV7x({5g-5r%VJrx0fsUD9F_@F*NqU;s|gm{5+#aZM};^PgO-m$F}M8QbGIEXOtUe8sLC_{F`ehi3Ste`aMB~;b*FmPtz-4at;Spx$Ny2m#U8D)Rq zw(-Y${4&+f18+J)e|K?cJ#=oEz`2uM@ITGq@gMEQb~)dV&$ngEZ`OrA^~qlKsU^Gl=o4503RL`pSZWE zw;Q96KAJdKF#Gtcwlc>T6GWL{rGhuYBEKV{#gRyWO-i6$6#gISJfxhjW(5gd$*f;(xXs_lR0RDkOhh#34b4sjQbg~VI|47cRbA$&lja=pzOnf+rA z2`MiRsS+|4YQ^={q(=qYd18M)x2}2{rm&T`VAPi?Om(00#R{bn+shU6s9p%0fT7HH zh3$~≪fz$R3i=E=Bd=4dQqq8l^GnP25^LU3h&vP;j4!WW3#(Rcm@l@)O~;snn&WV>H&Rhxl`oZ7yUHm7K@k zx+T=ul_C3dGr#U4G-iL?p<7+Loyv&><*T@w z`_{M9T(s#W*EJd3k`R@D11$H5p8pRp&H@cNe(1?1uk-r}sO7$$z+v`AAt-USr*Rkf zvfT#szTI;VeY=Ms-=1c@lKQZsj}~8V;PLj{3&v>A-MlRaQ@8Y}jx&MFFeS0lS0;b^xkbdb%yxBo*w|&}<0;TN zpB>&Zc9hg8Ol!B7H;~D;ed&y0QXVr>5&JxJoAt<%PIQ{@Y4Aj4hT_l2PxDEq_n6aq z{M*%_aQTs4f$px|xkK-c;LXjB60drVWgX%i8q`-0VgP#t$X4(Q>LG1bR=*#qx_4Pg zt#zOT=goiG&4-mV9i7Z^or&L#{d(M{w`#|bcwL&5?>;c5i>$)mHSLdw?cz0ewi(> zA*_ zBiw)ESYZJYQvnG8^QBuhamyxdJex>h6-!?3x>bVo&Wk;UuA&Y3UbzDzg(8k4E%OM) z^8D`HeB6bY!?_T1xHQDz;pQodDfmmzVq>3q(U2*Pdy!>;jwWG5W4ZBx#NyF40ZV}5 zD0xDk*a+b$FG8?vpSGoe%1pwy_7L8^Uv=F6OZg&PmK+kmG-=#_>fT`Kt+a87VaJgEO>4(1=HXV%)<{2~6JP ztmdkR&KsMM#T(rsvB&Bp1TzgZ_F;viqb{SP1Nc}qCw)ttqF#{pP(P@*&9-&oYorVi zk=zP^r|3}6{i|Z(-w1DO_wS9uwflRs$yv7t;`=`cRmdV}3)b+vRc}iQmd1aMa_>q? z8jjOc+>#Q7Mh^{TYar#|Ih>B*_*C2)pv=f#t*2#e(lMeV0m|vMWv+$#KRZKP9Xd;D z^H0#yYIC7au>=b(fQ`T136g|RjiR#uBw}ok81JebjV$)zw zE?Z&6w`~TVmW8qnga%9FrKNwuxgSPfhQ*hw-tQ@!`(3QH7pBFLt;QAuVA~DAw$YmP z!1zkJCm6xu6E?BeLNgGJCez|;VYE5ye#E|IZ*eF%R;tctdk3Yr31LJ?2AWbsNcd3xC+X2e)MB_+*`27KtzCsS5T- zvs3BqNBObXy4b0KU~Gd*ZlBIS7_gK|@@C~~lHo~Gl;QNvQb`dEu(wAf1L;S-?%1d4 z4H4l}D&103+ZUeBE1ArmQ!_d_& zPhUDkB9TWTjH9MSm~q!UVL_ih}jVB=h z;m*VlyF=H}G7bvDq*Op?V_5Eks1YP?1U6-x;9uQdZ!`hd1qgp8k#K$jYoK9wvK~Gt z2mbVIZF)6DEd*gS4kmuzJN?2MfGJ-)AC1lj{#tJ|TpzE090I)Sm%+zi{e>S+zM#(U zbi;52k8qDdP3GjGOLwHurCz!GoVra*W%2OXW_L0;?Tmx5-&XiEGqA^kRdPqnA?&}N z>|YvH;gBggJX(KGWocb~i3xncAC9MAIs}%Ez(&FC?@PY@j}8~c+L@fv;U=TABSyI) zjZ*dOt%@=N`J~&md8h28@K=FC>0gZ}eiT6qJCaYx-8sfkQs5yTCZbD_YEHX!0o2i# z9rQ)YSJUOvonC|_T9);7zZ(pshRrsW5y*{n;JUvE^$~xlYU?gYMKvb?Cxz8Q+uElN zQYu(zZw5eQC&nIzI@Su1SSYnQKWBx>!@_!LoN6mxC!eAM->?v?r2EuLC_1P5Fq40 znra?3L_TaI&M_K%Cg}(GD17jCTgi`!aU$Eb@m#3SVYh-#b{Nbf1a$q;CECDI8~9iX zxu6E>0-4Jk`o@isDqn-?#b`F|kEUy}(?tUCm-K(_6cUTOByYI`3?tf)6c$AuqLhyZ zX^HDEW#=@_1Oe(qfA2^!>EezN7lq?W82NQZW58l}P!wD8o&FS`Yw({}=nqJPrIJBh zIx~mX>Rlc9PYn1+4uj5SGmWXu+-V%H%y zj-4S6u0Z4gtJg0re%ANL(+h}SWJZdhJ0N+IuS{HSV?&lD>Cw~Z((6LMx1*}`jeCT; zQbg>4{uTIegwvoqFsS})G}#*s^-U0=_jG?Wz>?t}{u)XA!bDax!O5O#Ug22>r8UKa znNI2_Jg0v+z2&znUWhGPEXh1$yd%mNvL884Lg{k!OQ0nrfKE;wFFj zY2kmwu1iF-_^+bFr}bzo3*NdaUNxt{dE~ZXr578ZG@-3h4nj+co>Z+1{8iVcl3!OJ z*0k$!4BdQ<*^+e#qg0n0?I8Lz8%=##?_=qu#lx|&<<#QWQ<{?7&8}OVT?6t2N|BK3 zPl6u9><*TBNr=%1reU<2zIC>jmz+^NBHp%MydKvY0|RT zCP__9xBOL+cmCwmdVJ<5KHA?KTEU^SfOZgigJ^VCd?$zgAfd0u1MIYk57w-uchEC? z1xA@DwY&!F8?AyW6|v=tUobIG`-v!cU}`B&gqq?6zsv&QvA0*+qGsDvUbug|qm6#0 zHDV9jIn2OYdB;ViR8@y=;)!gYHRuRAXM{xlK8VZ0s0&qTkI)_uK|uno~8e&WIFGjpmL4 zNoaoQ5M$<*iQ@9a+Rp%7$-(P#t-oAZzmPDiQKYvmcNHlvD$>9B4d%jtOkLMwC(~NY ziLasN$+hrU8gY0lVsnrYNfqvy$0L4mfTr280Y(wS8|;2=Duh|v<4>MX}e zbgJ>NS|sS3*D>tGDjML57WpP!WZUkNnN~$Pf>E_)p40Of-9 zjJem53{&4IfM`2(B;?it_qL_ZF!XyMCQxoyJqQ%97lT&Bo#s9wL#XlM^ zcG7>cix)eIcy3;tnHAULd2wb|T)#=YxSo+2&&i9Od+>M0i(|(T!;76F#f{*_mO~kq zo)v>jkw+397sx5VuCLNh0TN5L+~zy@wmg2jNx;SrYLxNNq777w(}F*zGzN&X<9H}q zvsiT4C)mAj$IrAQz^ES9i7!>s5LXbBS9X6KWpSpwuAdeXijqdLQ*^;%zxQEv zIE8>@@SMDM@8-6IzdNg*2c_#;@eF{3W&XD?2}&s%l2$VbhgPWNu6dj31w_{74H174 zlflu2M83kaiixq-Ro|JYm^hYst;JG^jM}bkH6KgjGxACNNx|*z3zZ{(7(}u6m)s`T z=r;{;xc#i~tR*!AJ$=I0FRJPM&fa4%gK4Y#Qiu*eaHQ@=nl|2cY==_BN{AW@RpY|5 z-~vuFaLv>SUvQHO*qEhiA!5yH92bA1#Wx%=SfrLWcu}i)&;}w`3_$G5mTp}J?SiQ? zxP#Pu4&LFYL(VCkelS6_7JT;cJf(B*hWO-%>!afjabWq1z~aDxLVz@P$6|>d2Nq;`y1Pny#5{T~ly^;xUWC?E|x&ZeK?&PDm#!IfFe39Bq&O)@>CsB8hP)>3dvy|kRmoTnPi6|mNO#)#% zJvUL7dg|vnBus!!ZG+Hdp1^PP;pR8 z+(5^=$qnu<3oJLr=|qa$yiiJGtgmTZSs;;I*(6&PYQ9F&alzT#PE?FTE1^BWt56Qi zv1TtuH%|*f)IbqCJnjRD=b%bh)F^q!IM?l<)UF{Y(c&4+Vz4TPS%iP)6Yb%n|K)Nt z>BH!Pj3TxlM!pYgKrsvEG$77>v%9o*nUvxcp^v!LJPlH^>8jmgs>$%jSX4H$Zt0HDZz6 z%^Z^Cy~|JheXO6j#B1M+2d?b;01~#}<%M$0gLAVraEvz7_Zfe@$YK2*+ZG+dn~Anh z;(U$Jimwr}zwDr!ls+racz;Yf$F;OSg-uDKDr#-i_qX|4mkD39+wNI z3AFzyRiBBnjn*>8e7B^v?eZ1Cr7yaX+nYfb9dUE`E`gZcx*82qx4A0S8l8b;o1zbd zzG|ocQHWJbOeg{fg1xB=h5<0P3QrnLlB39*e^wAH4 zKXJIqJNQRb+zx3_4d$J64xxBJ{DhoFMbbUs8pTEho+CtAaQYv8tU8_`Oe0PAF1o~( zr`WgvCqdquBw`N+{&^Q|Ot^1b1y94B1TcW-J$vS%b6|gGbcUaFua5LGOb{S7{(Zj`XE zxEwl}P>fNOD@Yyt{znU~^7975w`Lhq1yC!6%Gdpkwtk9`$$qD*ZjGpl_v|U^Lao%m zsg=TSaczI;ihJsZ$6O03iW(#g4|V~wJZn%SJZThyY6q8PSlQ5qh_(PUNaBm9jG=*& zp{4@N{sx{-Es?h2_kv+}V3P>&T%aN>8VvPAL}-E|WU?!;2LsN z?%=4IqIU8U?|GTz5nafH=;-3@|M7f$`oxEzc>W~IU04d17cW0(8NvhR@fF1xEs^ySd4a^w z{xl1EAF;v-`qTvkF`y0yhNvpl5$QAjIED!_i@>D}pJ|8-I{Z%sq?W1-B=tS+)%&32Lb>e@T69v!UksE2g;z}e0J7U_TH zaTa-2W|)If4;}pC*(Q^v3k7Tg#aF46E{A(3j8*5N|Kg3yaflN%35HB7)m+t2fB)vC zq!__YbpLyPbUUSa6^&ITB$Ol`HL#)qO`2UQYHVmikvvBm${gwEIXWR2Lyxrr@{ExJ zhWvzQZo?wj@FN^Yzc$@fb-E=C?TUXHkeE6Y*o|X+B@$j#KS%7Wien^Z59P0z>$Ovg zNUTW-M72pO)UMsJ96yZCSC-znT<~3YF!Qxn1og&983}hG#3M4g!Y6P|e%DkDtX72< zM6@pR4U|EMculhU|KU|El768=K*#EfB+biCCe_Q%!n&6`@*S)Mk3=Z@m9&5GkdbOV zQy?o=cqm3Scz`N3TubnrG!PL~aM+Mc3JZt0Fza!9QLdii) ztF&QeL!Br%my|a!As8SB+{%PiC6_U*u&%1F-KIajF;f&iMD6URc=q6s$tw6dLX=sf zMdGlsgWA-ZwBR2xUf^W#*}{J&M^F&N^ELK$1;2X0PxVw!+)>}+(&MAqkz-u9P)&0X zj%PA{)};Pq<&)H7QG|Xeo{!LBY|!Fknp`a$Oxuu`Hkx55J=f+mJIHGm3s-n+a3B<-&hH$aOGKr#?sq z&#Ly@*TDJkLBR7uh9);K?kWc_ViO>#x5b0N61*D@cqOTi@P+)rbz<#K^o{vIBu!Hx z4IhZo@`1v9d?0f0fyluJqBuTK$jS$z)O?_@ARmYj&KKYVk&_QNW)%HM!3QFfq6?`g zI&x8TG!Gw`8;sO^AaZ~4foKjskU!S$h%1e6#0PkPXqv+Od&GUYIVwTb?58fZZ%zv7E><*Hgi|4PrF zS1T)(tLCqjiu@$ITF4uY`lz9Y6+7&lbL@YCbGl_zXQYGnBnLM@H9vQ;q?Nu{$+^hLr z!O{JJ0bTWj^I%$RR!i1d*f1+?h)NswN)OCR4@9L0_DT=UN)JV)hb3*!n$@RIs~aoL zji*n4U1>ge`t;#S^C3LF*A35S-E&_*8PMAkh8n3CRBkZ3Z9G@-OUE2&_atmqW=`?PXV-SM0bLJG^!MH zGIY+)(PS0ljSM!F!V;PuB%t$whE6O%h-`gK3>X_mHH5Au6vh-N+KdvWjx|=vVZumv z`q+elhHPMwLQIt_TE)~vyO0>3Fu#vebRByTm8;w$u4p0o0w8zjuh z3~jlRoao6d#;Hq3+)Q5)B52T25(3z$@Xbr92ZonM(sMKECo}24X43!6q_1Yuzs;oo z&rE+pWC?@RjKA<3zp_aa5_-Fnsm4F-%MTZ~tUq&l$h%%dJxqa6`VnSBA!)D!&ay@6 z?IyiSrO+v@#WZ9WAS8%o2O?tH(M~ejWWW{EnQ^+%vnGS#R-cRBD*5%sBpD(L>)5s; zuR9oDbfu@S9Ca#J4a+iVK1xxs`KwuRGfjWRO-sd%&CL`wAN*ng_Q5aBR8=?4s@2U@ z-ELGW4I3}1G*eZ!0liWEHC4|ID;L{rrNUOFQnk$OFR8}7`J1ih&1NH2<>scX^5$k5 zgyG%Otla{!MxuTf;rF61LzC{)Fe_dbELbGhMUj40|HYc2Y&#EZ&{rNj+FXsTw^4t2 zuxTT*hZQ(N3G-6r2%_u*v4)KkKk_G^{XXuQZmLnzRw25bXTwl{{^uMptEc&Raea|v zfjP{L6vHHkmI^-W>*D}WK(D`bZPijw={M}fX5o%eUA?PTx36zaLu)qhjFTZp@^?fw z){$ivUW#TvMRw2r#N#*eYe~*G^G}Cc)G^?Hsw@WpRr+x(A-6Ov>8q?&!Jo~Y_s^I- zBAXj%u*iZ|80@{<`&D|hufs~=FO=!ZTZ_pn$K>6O$@@o4-v5iqE5zg#WAaKddG}-T zR$}s2WAdKF zC7+ndZIs+LlUGsls+s&4B|kQkpP=L?X7Ybg@_)_b|DojnnaTf$lK;<4zKfFYn#uph zp@59!XDIoZnf#QzMxiG^CofOv$^XDlx*Ew}QSw(a`7f0GR{>un@Sp`ej)p8|itNf& zjq*x;C+txZajI`|-V91jH62aGRO;w|RZ<6Gz;SjYN7BmGZzxGksR@Bz8;xGFX{2ma zN;EFcTfZBP!XP~N$m^>R8|Si8l-2xeIH6E32gB~U5Ap84)(qJK6{(d-$=cVtY9A*B zny<0gUJ%~vr-B;1krxpWz&yE#+D?a+gLb%@62d7%5IgUuzb=1*NKiE?6bH|L{OeNA zD)AxIG2*NG@T=ePpsI9G7c%f4eSh4EK8^_c>4g`YWUq@@jY9VQyw5$YKln;nz!xwT znOT@;@C=Dh$de|L4Pt?R5W9LI#EpmDPH#4eMiY^*qqqw_?*e-`m;@HL2PIn>^mH`n z>r98+BSzIb;H~B}=o8Q; z{(jZlS@oik;^(g}y&WZBE!n6v(L&$T(3Hv9Xtz>+S~e_-6MQL+a>tJ9yNH7 zL&4#|56`C;#aHO8kY;azVk&kMb|6XWLRgQL?z&-g=}(GvB(T;u(0>o4%Jr)EA?3z9 zo{T=jzH3gviD(*sVzd*Z7ce)Gg|hyCf@#p9u+WbNq8s*=S1QHKr689EehCXrN*Ddq zsJf9xmcS3>+~c@K^2DJMZJ7Dhe^_B$1=k>@EV0Wezq1uCrI0_A$wwsHFomo}$u2v= za7lM|iHJp=V()sLlZQalicePFD3(o}7^QR2{E0dnL!$!3Ys%oH-1bI8 z5^=7gGb1uPiApz7iv#!~t7YIy5ZCaX2Eup5-cEJq6Ar4W` zXRF|U2bpl9G6g-$;r0^*KeW9}Vi8CkLTTIvopw_;mPuN*olJJ+hw}(I1oHpMgzjMc zWf$iU;{{jAmYAr6Ml%G3_o_Ft9+*{~(W{6FdZO4QOD%KZ~K|K4ae>G}A9>R}M!h;?CaFoTCS=x!kESJ=iCjzZ?DbU7*3 zRE;9Zg%>lleT4~Exr1aTDiQot}6GAWTqVFLfd;UMqxNl0X1{}U4(8Bof3glN~&9^Xi<5Yc$^ zsyz_F5^%w&OqE?0lF3sxW|J>kSD3_Q!I>Y0xrAgB2xN9Kw>-mkQ%?K3%<`llPH|Rw z#gy7jxy2^UL$8>R?7l<0{i@d@AA+!dI5eMF5!j`5QSwufR@C&KblX*%d!i@-;Nr8< zjyc!INFrpfxA)nwi=66apQJc-?v=(aLHArXQ6=?8b51Hb^?Th}WD@wvwXc_5G$TQH zt~d2$p0*;);+#+^WJlH+$vK1w%2TI4H5a8yhmAf`M=SwupOTH6L4<({x=1pG|4IxfYd=m zj*J&!CzN*D>_SXq?CuM(S%@gVdkR|;?i{sJkF;~YC8G+y*_7TT_lk>2=i^hdPi732ymvk4R0BeOL#KA<-R%kib=6Hr6 z0)@*vQ#C=K@_c9ZB$QgB3;{XrOp14R8|oaJb1v!ut6IRS4k%?8eoQrirXKjdBnAI- z&^H+sVhF`JK84PBb^9g|0~Bev#2H|s>My3P)1tPlG7K5y0XLJ!XH;^3!g9&C;=H3z zuCXKDL6~AUk93DG$tN~;Y=d^_#Twrai(0Jy1Dl|L+CPAucT%L+t-8_cqWiLBK%7!IKIsnj~?I5b+OmHtn~@gb0i5JcN}6Ytl*JZG(8Ln?!f;a-bBLFP{- z>qvaWS0>R#cQRfh$DuRSrN0*XQ|R}>dgTG@whWv-y4Uw7XraZ9?8F*_m>3rV6M+Lu znOYgj$Gl254ipA|gXgADUMv;(G!v>)-ytbl7&JF#$Ip&*2eLVPe>w=zxeA^)Z>vv} zt2ysg;pV*#*r5X|ylEY({;T*X2fPDwe+$4LR)qaMaG!$uq$=&;P*ry3fimM+O~J(*!J*~xYJ&@ci{t|?;R!uI(<@SQO%G~MwOgML%AFZ zhAb2sQ#5QJ-y!3nU{81KdtNF0KOA`*KVb}iz>K+YAO5VspH=wt1pYj0OAnPvg1fRVPbuwHu4y=wfDsjv;vX7?lu3=Qai1FTJ&CWn!s>I}MsIs|Cz1^c$)0521W zHZa#MV5S81u?18HZYG#)a6NXw#bA4>>J{{V5We%!nwzvkXfT4qUCX>dFEU@fmI0-c zOS4^D)Qj!;cMxt~mbF33h(##<9nZ$5VR_4oZOU%#>xC2r(R3-U9aub*W(Ojrs)uBM z#ob!wB+eaP+dQK{b~;(ZP>j>5CdQv{&5Vs3Q--SfxdUS>EkIrw#ggEYAcIx z!VvoPbTB$a(qh{*s;OChLZ{VYe7si-mu@tGz9_oB6+Y zHZ^Zm5&;g$)k^(qqb)gE0rKj~5l&ixb@vLa>nl*dh5yO$vG`_>odlypGis`y<2_R3Q9ZHTKSVZs zuIX+73M;nS{cB1byA`$dNHA68O+e4rqxqD{^m=PitG&!h>9b%GO_TkW&TXiE;uTW5 z24x0o;-`UXsvO4_xo~e=6!UR^2pA|mvs>?iLJZQ*1kW}U!A;iAyM8KU3LSsPvgaJC zdrtg*W8G`mK67Z^<{hhC`KN!WtoFzpaQ3bE2SH82fr}q!^8fvB>3)_?{iGj!);1h+ zeMNgBN8ajJE;bDQ^d}<#;Mi0s9IMZ7Z-S}NU;VX;c)*f|9ynH2CQ6Tg8cvF$)&bN~ zHUiv3W$mwiLD>kbn(w~~*kY~F2c`CAjBpxvNoU#nb*(Rr289kGCx`8f&59{X*pB6; zNZ-1DUa-3aJ7)QA-UBZDbq)cqL{~Ru@bgR0r)V99{eV2nj-+TTB>?3+uRkbOvkOtM z&<@lE`(J6fYFTSu=W#xNx9or{w{^`_XCnX0Y^A`>0JT2;>oykoUt!^yyPdZiF>mSY zLsiDaw78Djx}q|BoQWLpJ&>sZzy|8_!VgId9%b9W!Eu;*@TwPJBRkov*U$wXNR2hL zXgE@1ht|dp5;q%|)A9wXIy#?phuWn!@4LC`wcG<~t$Jh9cga+LxgASwY`Wn;klQ#e zS%OVKLkGs2>-?hctwTNk7E1=I^XDWixgAjT*i!19i-<2}T+zy~#7CB-L81oWi$ksI z)JRcm0z|)OYQK8l7N@q zQ#Rgb&&>b_=fxv`Q#Bhq?4*fE>!eL|z*Na=25U5^bJylXzuT;WZhW`7QjLr1DcY!J z2h@VmMA(gf=fh8`iEzhZbBLmKB%+#E3;(Xh=?gUnGQVU9!_^UcvwR@jYxGsWl1 zlb@RQ9-SC|dY5kekIVXYzNG!(%)JB1G-rd=x>Ha==G;(!WJ?TLnotuv2PFy41JJ?B z<1x#>E19lJaNt+2xJ^*sCv0l57_zO(xYtdSC>`6f^V zQSl8tqGHp3sZbm6eQ7@Ty{BG{An zaWCFDb)$G#KGFw+y)~yJdZ}JMa#YlB993toqVD;BW!yUMx^EqK-S_^|eLrd7q0Rlr zRZ0!p;3%cJ2N|WT76!YfWx=j$QLx~p>5!9d%%$mWLJ{hl25e9dNhy(Jhx*xDt`Xm8 zmf+`dihMI0T73m=ceDs-j-NwU00G@^C4kE^lDZxThvrBqnp(3pRXF+D zwx&O}rP8}gOAg%1#F(FM>ICLCG~Lt)&TXTAzNv35Mp1lyhmMS~$62O@OI*R~k(P^i zraDTviR^&WOgi((b3X*yA(sE9op6#Hi*7OI4yVFpo1K_vV1Q`))?yYN@YYF&W|M>q{IkIGCv9M|CSyWKa@O#?S9fX=vc zMuLa@-woMng1|!x*Ze<}s()mEnw<_$!oaes-COIr?sjCSGiDSYN0&uFx;guqu z8Kcg#TX<1sit3X|Rz;nxjf$pRqeNpY zp8W2ALCa%0X{!q5RDukVh4!c+e33P!o_gsE4mC9WwGH&&gHrOVCJXg{E?$k0`n3AR z|Gp=yEOA84-}hF%-}fCa8A=f-PY~u`@3*DGQj{`c#{GJK)qAz?e4>_`x|6ayq^#4g zZV%<}?3?G?z5N*52V&kO**HX>I~RVp@1x!H1^y)VUgSHzYLS_M|&6(nn9C^h9he~`TRavpGbzJakQxe-*8QmHcQA;`U$K459f-v|!2akm->cVQly!hZ3HmK`5D4FmW zaBm&uKA2-XP6vHw(5axr<@9SN`aKLHrC!p(;a!ybi)2kx#*a0pX=PI3JGOd-G}c6t%%Ck-MITr}YK)}>%$_uOls^o@121V^7C<^Op*Z}wq-yv5UQ@8e~6()W57-2h(9EuoWB z-wV#XV2Z`F$b%vP*hgPaUBiUw5yz!!xZj zI9njOEI{WLQ5fD4(+i>$?>TKl740u3qsta8Oh==fJX-|zeVBJDIC@bqd>dZ2?m z3}YJ}j<7lO(RS3=!Xcp=@*@ptFR*CD&gX@6pq_`L33<(fMmx7bDY;mRW2D{Z&05Nz zqT^`76Cl0O_)7;{c!u3+ae=2$wD++Vp#3$EP(N9PnEZhs{q>1ZzH6G7v=G8kc?M^H zdyP!Qp}#Znqo6h>xsyun+vg9^FEJ)KKYvz zP?av{lq$$@$3I8h^RvH4qAm0120e^_ZukNXZlp96!DUhJ@EL3VVG)jYci?^AOMjmA zzrp+fN-l$!0^xRIJ1LXr4vcZxn8E$~UhD1KH*Y=k1+fMAU|S$>uLJGjL9|mpIE#tN z(n8$&a4`$&l%_oi^}8d>TAcH z4=dD*)>hz&-qNCvEE5lK8N;|~0)Nj!N8*tYTq5RmMl$<7f{WQs4&1%fjRY}QQV|?*{4N65P=V>pQQX3|vHquk7Of5yrd*kBvjZOSO1D7Z& z8v}UVSg#DrpocTmEflAh;^F!5Y!MyF1Z_|3SytP)L?5u&%;&@0Pt~bZ4$QqwQS%-oA+wx-F2?UpDJD;tC>}Ff5%l^UJe_u#+3cFag zndh_g&M5a}?S5DxR_>f z5J8LXT;#)N@1dC#NKRFM_BBT(M;^|>zA%e=F@1^hXu=t;w8x;Li6F8v6&0wwPWXHJ zRmRv8S1y#>W2S1IY{^2C^g>!6s+xs77wLfIV-qzCMO0qJPHS|*8u={+U+ zTFhZk$~l}Tvdx#KEgFS`FXhm`EM(-0+O#Jf!d>KlS3I6Wajlbze>FPyL+Q7op5&H1 zgzeF{Xo1~@;xS{f!&BynMH0eG0yqrAibwk-R#c1c5Ond=%$IdQn2m(M8=9zSD-?Gh z%pncZch#$7LTJQ)OH`Zn-NmFPw99q}!Jp`moolo7jw$C>6%jA4Y9I(jw!Cl>ww7 zXCCqI_U2SU=XdAhL?2eLk>IOUFf)TgFF~RGjA-R%)?+SzV5I|C=^(5C`kZ@%QF6Wz zN?QE7RBXKN<#*)T1@qRbVK9OA(F)J9f)AR5OX zXdE8B&4ZgyD=i9ELBA#J-&9NkwN=DwP+w=QviUEUtM+Nf6lx|$L`aPz1p^4H^Kx4 zt(RU*T!`7f6VFlKbRS>RUVh#C`LgzO*S_BP7W;aC*1g@fzc;e)@8%vKyX*7wcVJUH z+K%8s@)2AJ3+h!CX&C+Oafc#FtxxZ+N>X?)f;N&TFvnyDiX#jsFCzoK>M?sTVvBLd zNf7DVaCp^{5X%f(cj7Nf>EL7Tol@O5Y0X$JT2o!HBIqx;#HZMc(HLB^Z*@&X=HVf; zI9d&VG48+>DC-mM@PJ40e!|m4WN!fMlL;7`Ga{dMlt9I6q5{_QTL+_6NsE zb80TTSEY@cvGl#x^m?WWzBiiKL&8a66PSGm)sA#Xb(O$~|?Le#j-Z@cy zO0L9nJp3r1wC*yG#crRlrL)Os$X(wWt0F1_>b!&1KLdoL4#+gX-|Ffxu;eAk00J;^ zDzKhbzKLL!hvGjMQO(&%(sQwkG(nzr)mp%8PfHu0UFjji(e9!pMTnSxLU6lUPyn^9 zQdMqejR=BLi`KO#AnNRhTAu}jX*mcZIEf+<#@&hEIfX>95*7ZE>|q^Jf*p$Q+#xzJ zghUXvA|ZXbA6iP9zM}EOlJtTD2xoX3XFZlIAv&}IR)h+`A?6>4TYmY$Fq30C66&|5 zD#sPkjc02+xIPME4XBrYQkr2!V$C$}2z6u+v8So;!Kes7jue4J>~5Oz8nth2*lz<| zFJd@ua$IUIB`VMtEI~I)X>KH%aTjAv{m~IDP$0B*(DZ`6ZNp+yJ_^EO!;C1)E_5t{ zy&9Kz3kt+p0H&NL)R{U%DeS7|VutfFM2Ko1<3-j)_;V%n0=`#%JXy)`B|=p;G5=gh5a6c#WCO&*w|4 z3%5roi#KPkG3K<6}1KBJNW~h z#oOcw4DouE_5Pb~zV;355Bp;Z+?QUB!E8FUDaZf$P!dg5P;_SPL6o{4v;`2n= zxl~fLPKXB)-tcu-!%mM4%6F*=8RxdG1}Cq#vZeo?;i8gvd389pM#Zdb0X(wTK&R85~PZAtVnw8 zY(4i#*P7;keS-o3gTzW$yK`rLy;%42IYX%S zMg$0~lb|>CnE?+fN(wI2;i=yn4aId@Qm2ynXU#Bgz}rThd?znz&A9b2#hnQ_&HCQmRfDNdq;alKI0n?=Lq{l)zF)XlqJ zr1i#nF&9P`+*MEsKkcScqY)Gr>oPzS)epdM8lFtZ{!Wq9)Mx}ZOALH?j}q-iNuz+^ zOF`I)dWb(4JJv_0Pf?$%UVjw&4qFOb;Eox8O+&9pTR)WzOHZL7liW`cGIB%#iGkc) zkSKz%JNeQIr<2k6OIq4Mn4>QpXc4*5>F)6}ud*f{j>Zut|Q82yYycNyMJQzs5MUv-j5}`u`e@ z%>!|6QeEAJgE&D(?C3Sc-GTkno-)Hpj<*)|cNV9kLEnW&`o`O;_XdBl;1VXnmYK#= zPo|3v2VHDPbg_|^E;ha$U9{|BijwF8s^v=;bvs=+9z8|$Qg^(h34xNcl>bhD2uy!% z=dKA-Z#J3u;j}}ak;D*QqU~dJ8QB6r0eH14yem=Y4f|{Ul@G5nt~Uy%GX^QvPI6nd z0nnYCe_r)!=&$W`PSw(r^BJg?%jLpX#K=i$Q&u(#L(vTrt+fq2DF2IJXs3!_@M#wK zmbv=_l0g$tF5?mfqbFXX5Z4cX1^k4)Vg#^*P5_}BH?ZoF4Fvb&Payg{;T(nMnBKAfZi9S-0RL8izo?TD`odDHu z)=kZ5-O!9W49S(V-$I7#^@Se668NF_X;L(E>dy?kBfn1go!z3M{$%P$K{wo;jQX?Q zG_BZgv0EdYgf>Ucnl{mYzMcovgHbfY+L1*ll6#wW7KCOr9OGwP5#@cWQz+(|M9bDJ zCE7=eb7QmAUUaaZQ{QxqKId?~()TC9=hTWYh8IcI(ZrTy4f&ZV>5@Q=R*&$bZGLh{ zV0($hh6lSY8r(uOlLj%)19;8-jv@#IHRXahj}ZgrZnX=y+J#$_!Eh6Q3EG7pS-Fr! zAXH9r!t2?gI#^6jMF`<oiz{PHHwVauSo>izT~ z{D~jatw962$MEnU-&LtxWuNln;Q%|J>st_YmL$=h7^H`#T=yVh(G0u#}F)BtGfTx9omz50AHp$J@i> z?cp(x!=o1TI_^cq->v(uN3SwYNWhHOmP!5HTQF#i;EBAKZ+8yG+C?riUD!E?H3nVt;-{LprXc1Zm{B9N-y zwchR>?D0o;DSEcrd|q2^>#Ms-uPLVRGLRp;S`H>*VoSCtzq%(M&{1Q-qvRx-z9kVQ z5aLeKt%!4fI-ucy6`SI=7uEjSXfFm1ri*+o^H~dxrRaXl)3O?1!gXZE${ci_p&|b? z8iiv6SsHaSRu9PmT~qG@)_D`hJKVJF@w9`667V1o%>#D2Ze(zRnB)3;e&{$0B+xb7 zPwSdHe>9rl*dDK)m3}ufiO1FNxnI>|G&h4Y`VROKkgl`j|J=((2Npj~%$$Y#VUo%k(vQJdNeDynLmN zODH#g8m?EOBtZrX2BT?5sU`Nb1pkGa>Pl?b&aHY~^wSc8$KGWwi1fqr>BSPIg`#?> zZ=}2_Q-q9WygZmfM2m@r*31?!gdmIrAfike@7 z{rNBmmkM+cE(7SZdJwDoD$9qf;C7=U(vk(p#-p{zsxPZlGOaSt4~SajoLmpxQoD!o|O*s6zr z4sEfAR_3E=NTt_T_#ObC_b)HR-k@GDG`OKE4~upQ7EGPeqIf`1O{QNO7u_IiT}}Nk zA{yEg2yUA466vn&CdhAN4VUDmA~Y=pW_(>l?e>zOZgFrMIFhOkZp&a4O8^;R>SPmx zyU;XFx?z7b6evhuOVW9Z*4Zw}4xZY7!xV5LBAxK!Zo6lKL=kd~RK&6kU=*~%)koEh zUnI`ef`j*P)Gt;m4((6Ni!02e) z&JceMD*i6(21E|DwkHS@H4G$BEf=e0|7u(;|9-!?SFR#{eZN>;ft24%rFHsMWUkZV zze`bfB?&1StK@`wg+i6am@7v1Qhc-<=RC^#REg8o7g z|8Q)+DxcEEf?IF&aWwFOXXAH&Rgxf@zn|%BJOI{mwCWuy67)ykA9n~8?9~;S6{^{} ztE1uIy2N7*J{RYIqKT%dX$Td~fnk!x){1&vct41*cJdYvU%kihbAC&g!!$-Nhh_wM zAA?2n4_3W*ZVQ%U$jx~w05fm-)_Jo~!}jRw!O9*wZYsuChl}kFNApyFr{d%B0v1>> zm+d)cK*~KbRc;FD?kAA;JF`CY|IW12$0m`~P;{}K*?I#d*_fjZdp|C6xN>|vskbx5 z3qMYAapgxqWXzp$AHPI_jto5Hwat2d=_q-h8YT5y5t8#Fo}EVir`eJ%#^5@WX{2-B zCP7Kzrxk6m*N$YuYr8>zl-Bp+>EU5 zMLCK?_|e_*C|c%(`yJlPQsx{U*%WqgSb3C66GPt&ZeYbxb1}PPChex8JSPqh)dN4> zj*en)U76RwktWO|B!!L#=`pA0wAV~o6} zknTp9puytO$kjR&ve%YEJ8)EbZL^~gY8zU8$6@Nw5eKlHSTGQvoiIX&|1iqpfwTv8 z3eyf%lVew;xOXX!m&x#FVen~|dg(K(2vSR0%2@hfo;Oc4g9f>D9x%h=*}@BBewM`_ z4|gpr{@j(@s<~l*QRkU=Hpbn34PNKUcNUQlvpJd!Tj1qPdC)=vbS|fs)cnh=D%(-f z)p%&P{g4;zKCC0F`NttbIYY=keXz`z% zR0{uG^(uu8_)~%Vf=Xef4NjkyvzmF3cxOt&I*1l#97kt=S)QI%wzag|7fp3fKTOQY z(brDf{-n*_tkBYjZI=jaN8S!o0ju1}_9kD()6ucL7m6rqyIBkuGVp+nv_&# zL&XhJCeL$}NvCIK|DY(b_HOGewq&yRjo%%Pzz7k58bH-1#yp`k4Ucb0coWzoxo zn{D7!M*;_bGyLc-c`348(%vMJpR1*pU-~&nFh3CBkFCsBe-sVk$WY+BECzUmLSZaN_&1ob^&+BF-^yA)Ka$B+qkO4B8hzwP9!{{&0jJ!@4GR7x@Du z;`A;)(#6oSoDt-qw#*%>VMNt=A{z*&9Da)pKPRR~TK?9&q~%0!Yf)Z92GpF52SE>i z33Sntg(NUgfX4^?MP;Rl|4q(nov-!w0x((~Uh)N#ncyylPC`-NK%6HXExt$I@a@sH zEiSel=CTtmunF3{8SqZ~*G%mE9PEilN zZtucoMdCc3%7!%u`IuG|~xl~_}aCYoJmHti-iB)`cbFIDX(Hb>F`-sLj@X8NY$ zGY@G8k-@3o8x2j7AU4bZeyycWz8m2jtzjJX=PRgG*iwC`MI0%MO z*fR-@dYTt$X{qe0w>RmgtJVk21fb_2&Le>VX18PuN;T23#v zdx1LJ4XpVL9@Nt_vUqCV!#n|5eKw?G1s)?y`YrIv4WAA+^bzXh69k}Vja3U#J6Y(TN;EU11~f8xk$yl7fMY|f}aPXxZ`j-U@q)?y(1v;oevE^QWdcjN) z&K1iz`^BH@!cV{GlNncC1gjQ|Yjf4xif3FeL6+$|8>r@rcC9#%<}uH@)F^EAg#j+tqg=6CdHW(FRAD4MkP`uBb$GYcMh z2v%>eC+@(0?8h%N;fFtTi7~XK$1dewZ~Tjw^Pmq;4B&6B7cS#_40~v}`8bH&9>Z>r zVfh`yZl&5EQL4rFOK6=Hgh;z_E7F35pGBnIxMq>Io+Q%Nog(c#Lf?`k$24ML>TUEt zvoJ4ra>>zh&Zkv>6JVWM0vaU7Lyl{c6Oa0gaH_iDgFR|pMC{nokHdUZ+43w|+UELG z8p$<>oR56U!doIthIRYwnIe3u5bRJCAn(K!tGjg;)?S?^X4VnP zPNf;_8r|SFlt3+R8z(ab3u=EZ1lO@fydmTITlKu2$LQ*89|71xEo`TLs8G{`)wA9L->M(3S^ZFVsUPaMx4^fz zz*%o+O%}48Ti^`++};A;>dS6#fp2etZ_F()oFZO-FL3*-@xIr$x4zkKeKq`Lx%JI{ z&afuCbxOfmXNvmhfLA8BVVzr^=ccR5nT&a+9pI;DI*NzNfe7YL65iogq3#G>=5UC| zfS(RJ648@kF$>~9BE-MybLZS7=8-VJ=hn>>=*3Rc ztQFyGvCL@_z8eeAl?&k9rfmM1!K2J;dT4N9!>e~Li-m^78dPNsa0d~Y_k^-+`9?** zO<_urMpoam(Qq^wUj#jUL_AI?Q%sTbxDr!;6r+|v(h!K3QgH~2w6F}i;kouC-E~C! zZYz&{15lunOh1YdT2VXVVyKo^@Ns-Mgk~h@o(>2hzcbu3VXoe_l?}=Ml=uadE?$0u zJr6Mebe4R&{XCH}=aXhQ;6P0ZIA9CI$_jQ^a6(dl zbO%Y+_X;JnM%}RtNZ}nk5tc{fo;Yh-`da^neLbGPueq6OxP-NW3E@Gsc!PFXO>*zP z#7b*fA7fo=mlue}~b59;wuOSB&z@||?D>K$9-zQey`Q}dZd zb(S9SF!yp9Urf3D z)Wkt&!I}(0guwZkEjld(VIF}QQwgUs@QO?tJH{PcteI*h7ch;I1-uAWF82`$=x9O7 z9ZVV$Lk3&3dg^xlvEMZejT<0v*2+}iL_*f3kI-Mi@hsAt>qgya5S`(Fm3iyAbnCfv z>$!AmiE#~{OX%yyb8o%xe_jt~DC@^D%OEBhR!Ai~jXN$2Z>w>(rF_S25UpCK+HI_L z+vIrD0=HjL#tl;zdzTraSQwZbg7t{83X}utD|5AR$>I<*UMhe*EyP6-K4j8N1=D## zQ7-$~o(gx+5N71WjORFi-i8PMwXS;hjH2iC6K}nJ`{pfpiKFf8{(Wljc-3pixFxup zzGG_W<|Q$X0dclNhe?)0=G-n$xNjyc7~U=YULXCk!?A)SeyW9P^W3|ZZZh><_&B!X zQb`W_xCwFH(Sc$%?kE8#?E?B_)bpdL)0?2P66$sRGzizDivpH^MSAGt0L%uWX&>>X z;y6HnA(6FIYCD56cl#Xz7Zk+g{mxOgHyA~vxl}ZR8>L#dcXnT}xZ5s^uI|0PgdC*) zeZE2Jb@IrIvOkUn{xJ1T#-UX?auiG0EL@E3W`jOXcW4TG@Ne6D>iuf0gJTi|84>9K z9bAvT9-2oBxaq)u`M?AYONmDe5~(}giX#KI93^?|YzoM(4vh-p+8wW z52hEh)3son`{NG5u58!Ino_fErlDyUDcB15`WnSb07KqW z{m4;;1GX!j7x`DBqwx0M)*3CZV6Ay1m~WBW87NEm5G~FMAN1L<_)ZKFb@omTEKk)R zLhX^D?y#yk=EL4>e-g~g-)O3vzd0^#$*o=611gpwB+UY9^WIe)Bn+AZ#JCQ#ot(K$d=MiOJJED308(qnJNfbA zJNaEZSuM5CTlG-RZ?W=F#-7JDB;ofxll&{?v0|Q?HMVcN8J|>;#ml9?ia=Zw6P!xHo$&`85%BZ_!v9x*zp_- zq^vJEq>F2w){8vmbs^gB`N4o#;4gn;rhP54IbZMIoX6JOU2t!{=B+uGow>W{*4+2c zC%%83q;PP*`fFu<94v;2clXD^I%;TsLA5X~HU}WBgFJmRmD4g`|Hvkw|d1 zSPx!IMwi7u{mH1)4?YK=?kO&gl2TsOKJcUHrqIvR1?UH{fbJxiUJSn<4*D)L&pT#3 z?||^UccomIFO|LS7pv><^P;O^_bMMA$~>|fe-2a1TC5FaJxze!x)LKZ=2G-H?%o8A zm|V*r&+Dy65QhP8AjC{FIKjo43rI*zdnK>uv>AkX&}QhLGb#1Dj)>)h#SVw%`L~$-{gf9vb$nRl)Pcsb ze|58j$7fF$8_ug6B*;8pWNOBfQGeE(=D?w7OY^&rV|YI0B9bpz7m_HbBjG$p(fm^y znS42VnW8u?8zUux-1_^QInw!bMEB>{5ly=Npc`JVLX)T>7gcBywdnka@P}O_lE7Oa z-^a1~p#1LsGLP1FgyeRp#-RKCZ=ysZe=RUkd|{ZeaB~xAWD^Egt=zv)D8Q=xR>ppR zvs7B&oO}G&YnPCRSweR~yM${tOUT74p}VMALNpuZuxwE)3rbzrYaNk?aYT1P>xgT% zB*?{(pu2!20WlZ6*XxdhX?GC(=}TdGuqsC}6+JF3Mz0p{I^7e0HtuyJpU1kWf4l64 zxi4MCRB-f1m!W8-VGnM>jBD#Sq{Y!f*uyRP;oNGA^hzHQ+n`|y7;4e~H0}ByQ0O%s z>1mB)nF4Ch?JrA#sEMH64n-7?#I#qk`?%U`AE!}TG2irK5hm5)AGT>PAzOHF&SQ$Z zxWp$YZHi>dXyH|wAW>1jI=0dde|>v=ES!&eJo25()F)xj@&AwfJjT9#9*!WPLEn_ zrmO|glo&1MKP`UPkKPB<3w1s^>U?x=&+~Cu7h1r*}D;eC*;ed0q5hbTOI@`rfJUMWexIKk|Z*#^>O{ zlh+@(hVs&MU51EMB)mu6e~eD3H4OEUB(UYiRl_&4WmKcdZY;E7mSdJfJ^Af=6q;$h zjriA`b~$u3@c#6-(ETfQjRCr(ZZ4o6nF}DZMBZ{sPsK3pu>6@YCeQK1{b47^5>V%DVC!g_J!r8u_FP!Zkj&VvjLM^}UIf^N(<8^P< z+vz1YxPyzO;WUT2f2jhNU{g8&=Kpk|&7as?WeW&S2USZe*EZsV;Ic=C7a7Iq(x2p_ zlsKIG=w=?3kCIP!3ygUP5zG8&*@v}>f9_x5pg;@GQ8=154CP1G2>4DdO6o}X0-BcP z+&d>czN@Kh5N+MCbH%g8c*}B(wiY-hJzI1*ulbsrlTe0ge*+nMpZMbeiD`7=Snqp& zchb91)83L=kl0>&`>v{ESH=vTgFHz#~)&&Q1EWN-Sl({=}` z!yI=HwPXn|tXz+=jzt8@e;3?geHhTF<$d>gPAzTvdGEaB2*t=9RuSVuUZ7{6>)}^}nIE2X&ATe;Fs#9b57-@rZrtc##Q@dXw%r zZVx!pIQ{YRrZ}a{c=F!l%rZ*ena67lqwf~Sn0oY=o~&Yi%h|^JDGlyD?`n6hhFC|1Uu}2^aarq{oGGp zPG+gie}(vm^QAfYdJH;@llOxV-wJJ;!an3Q%;yZC9>l?|8lv77m~2_xE?+?U%a!eN z)!49cmF;rXRVgV@?h79CQwF4IK34H0#eJZnJb@d*tyS*@c|yof5PqAuOcMF$LP5Ea z&%D>FZlXy-u!7tQz5um6V)GJazE$4VgA#wge}uPGqDoCwv+?-awRo}(vzAzZXVw@I;gzQ{JQFGEU?eu(c$OI_k*FI%NYCJsZSbPY?J^R+PjD2;sQe(j>3d} z|N5rx=NzW)3z9Ey=oVZWzQVY{@e9Qa8~Y5PuHROhig^%AIS3k#}pyuaD;m6Lx>+l@lG87 zf*ZoH1z{N)2*7grp0yQiU#*uEQ>8k{_RTq-)krOO)w~bSo_UQs`rcu@<=Qk}Z<1%@ z;TrlMK~^vc%7h#;V@Om5v@H6brScePf94lSvc7dmc2%dCAw}RmNE?j$fCZzjCBH=n z;lb;M6wt7}+6BXDSl{Au4A~y5-3oGDfSeyNDxv+1R^`rY=%Z=$HfLcE`~jkrq;^Kj z-wR0t