From c24a6d81c2226bfbf267817d84581bcfebd3b7a3 Mon Sep 17 00:00:00 2001 From: josd Date: Sat, 12 Oct 2024 12:35:28 +0200 Subject: [PATCH] simplifying quads and rdfsurfaces --- RELEASE | 1 + VERSION | 2 +- eye.pl | 9 ++------- eye.zip | Bin 106829 -> 106823 bytes 4 files changed, 4 insertions(+), 8 deletions(-) diff --git a/RELEASE b/RELEASE index ea2ab1ee5..7fe8efc11 100644 --- a/RELEASE +++ b/RELEASE @@ -1,5 +1,6 @@ EYE release +v10.24.21 (2024-10-12) simplifying quads and rdfsurfaces v10.24.20 (2024-10-11) preparing rdf12 support v10.24.19 (2024-10-11) fixing issue with rdfsurfaces in cgs (closed graph semantics) v10.24.18 (2024-10-10) fixing graph:statement for cgs (closed graph semantics) diff --git a/VERSION b/VERSION index 504eb87e0..f33ddf502 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -10.24.20 +10.24.21 diff --git a/eye.pl b/eye.pl index 8f76d565a..9192bbd75 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 v10.24.20 (2024-10-11)'). +version_info('EYE v10.24.21 (2024-10-12)'). license_info('MIT License @@ -5351,10 +5351,7 @@ % quads ( quad(triple(_, _, _), _) - -> retractall(flag(quads)), - assertz(flag(quads)), - - % create trig graphs + -> % create trig graphs ( graphid(G), findall(C, ( quad(triple(S, P, O), G), @@ -5628,7 +5625,6 @@ makevars([T, S], [Tu, Su], beta(U)), C = ':-'(Tu, Su), copy_term_nat(C, CC), - labelvars(CC, 0, _, avar), ( \+cc(CC) -> assertz(cc(CC)), assertz(C), @@ -5663,7 +5659,6 @@ makevars([M, S], [Mu, Su], beta(U)), C = ':-'(Mu, Su), copy_term_nat(C, CC), - labelvars(CC, 0, _, avar), ( \+cc(CC) -> assertz(cc(CC)), assertz(C), diff --git a/eye.zip b/eye.zip index f7d2331a630aa9f0985833fa06068dec37685956..d0532000056fdffb0b56266650e04ecfd15a4b27 100644 GIT binary patch delta 101211 zcmV(}K+wOF8~|l`WiMrUWiD`RRa6N813FL&XF5;{v)%lM^?JW{0Q*=~ z_r@(~hs|&}Vlx7pgU+AGDm1-_F4|-nf^NfBK|NSe;LwLX^h5$+5D@%%WZItXt%yl1 z7^?x0(Hh7we;IAekOJ_6n2h3xD5=UFt<;g|>w>+QjxOCte^ANw;IWwj2S`xd2!Lh{7_oIiGC;t6?wk zlk#Z=@f>98tSil7cvQ?E`uuU9?%&8O@j0@s5mFa{yJd0rAZPOuvAM){v(*%W^z8jFq=yLku zd^{k-3Ar7Q-VZMZ7v!h&34H&lO@BTNr|(90Qvwj<^PA~MGP)$^Hy_DAhc_2(GWgf+ zcrcle(YP_ZzP%a_plx{5zq-2^-n=Dm0Pki5N<0Kr2BOmu!2uq=o(}tWSLb7LdpEuvO$IRh1(3ZN-dv7hlz+kX;AVON zqe2@QyoWDj^6vcV3WsW(-vRey zA6~b~#rgI5+X2TK0hMtB!31~Y!@B`C;dtlp|NeA1y1{AmM>o?kd~L%l$I}$`!*DWa zlk@R#f&#f5kFMJd6enPeIDZkqyBP>7C~A^h5dgvOcauR%kX#JTuYlGBk#UL%@Bz0V zYw85jeB3c}MNbI0D{|@wTm#Ntl2b6#CVqa6Y4~*ZvVrc5z#rS#fkQeg;({GOtONYo zX{5Lus?)L9Lx<7849y7i>@)=-4AMrG{6i90(0_TnB2|B|>jT*M z0thEUK<`RM9N9~oE;^Fy^w0B2 z)+^_vAbKF1PDmYdP91bnIYgx$2A(^n_k|z=!=(ZT8#okqH-s6%n(+8Eql_*Xd=x4| zjvqle>6KIj!8M8~$6iXLIIBDn(_BRaqwrNx;4ABcAWnyn2dS3W0cs!7E`F{`62{ao5h;SfW1bQM{3T7}| zEIXJXYE(Is1y3Q-YmP52#g_zI#>!ewvPc>>Dy)G8_BI_pr2tCNftWJ#VY|8&Yk@!{ z1JW)D`{Fy)?LazfFUTqXP*w$Pd(sF?FyX*tI36Z^Fh35#tXJq2$aDexyDr*p2h(~; zSa`0%Ab*Jgspj;HVSWHMz+yG}r2y&Y1ETX*tX@eWe?1Y86AlhJ6NdPSc&0w-p<#ZKtJR3J?# znpfG#3lMRpE1rU=(&2T8MKwRN9~U*PbJR`{cXh|3n<|2Q*JD5IBp|U!*FSN1padAR ziYI-<3|j}Z8F0A+72m{cd0KhWA&V!7a(`^g5C*Dy+&U<5^Ru*F#x2mXEfec56Hx_e zlM(-H

4K$L^7+t)*?@%I+Q(+SnJq$BVF7kDS3iD8kPzZ&89>`4O_5YYWXUwA(8- z(q#!5LbT!_mQ`wjpkq;N#6_NA_EH>&E>@)pQ5>hhBz^Qb-IBO}CbDZ+aWBD@6o1)U zI_65-R^V)@n;VF9W-(ps;%jlb*t!O{u50J%1xCTexnpNw>rg~=rGsbMp&>v9-7n4x zdp36W7mX&1E@Q&ulr{koyEe-nW;Vp#k8RTTu>i+-@p25CB`0uh^-5!6qg|5a+GOk5 zgXxr+l*Iv^0>~~Sht!IB)L0xVq|pY#^AbF;K8rQhmsya}Y8pYUO0Cqz{Lm_` zC|g4;sdX%oId_VzL~el5Ws!Om!#b4kdE>FJ@s+Oe7hU78y2iij8h^_-Vlkk!9C2)y z*6qPBw{5fn*`N{^X1gxt*Sjn9f=A#}URF$`7UY-(hoU13~-W^heT^wYwilQe>n*lp=U@X7VGz z8nTNlW5+`ghAjF{8X?768h`t4D&NgW^c2wV zB*6oU-Dtql^t!#nE++u{+BILWc;0uwwT+g0kT~ph`SS8O=S3Q8Jc9x#2;aINAR*~H z)b!%uxm0`y>m=unGxVNK!VP@y`4f?$+HUqi3#Q;4j~hu&!wZ3 zzn)1#B%%A`iaPTPVSiI3KEJYajpvms-*oU+4jx__=i%z1MNT^6T$4f;AugX_YJ(}} zLz{4rHU|**Iv}5Klfk1U+VIbS|Db`q=0`Ectd;h3Acw~KM%wTPR;SjXzcBzIgA-54 zCqGk_4DC4Hpr0SG)VOs}EK$fYz4;8}0QSIGx^2>vGtXMxWq;NRFO_vDoP)<~EJ+wYnYUYZGKGz|T)O`0!XlEHX98WVi@I3OYY z8rvb3RU*g_Ocu$b=%m8<8vuUunr-swzLiO93GwZECiGFEuRsXdaIqb>gjBf5l7-7H zKWYh!K*wA`On(q=6Y5z$-bgXxX!)CZwWnHEB?Uvdm_b0jg#p-~nw?JbFYFHPC0L`R zRLCd?0d2rfm0?5aLtd|tu}NS?h}6mn zgh_z}szgxY2_AgJ$p{cqEx?0dm;GmcqhX;*v}+m19w#@1SU=v*2eFmaa4A;rjix+Y zY9?Ih*HyPC=o9_+zwke<=9``&1|XY5Lr_vRKX;?-z4)ST3=R2j8$nq@tJI7wJAP$@ zM%*UD)PI}6-7Lqo`6n`UZF~4}i`%bFM&go5OW`apU2FXX60?;tHCL?+JO_+CX%y;{ z9I$!NOh@IA z5TfnmLZ;Z%5NjG=9dH8hPb`>h`+o|A0sQNY)j&x-aa2 z-F#homY;fb`e;Yo^tQ=yr2-b$i%&BDaW|6QBB|BG9; z3=)#{8Tu%+cy02gO%7prnAq#4WFZgG<1nxV?__u8WbZ_Xn!D!NL@$}%1{B};MLhAC zzsM%qxV`6}fq39Y-{LX3vXgv+gb*I_In~`}{*H-g5w$1z9NH`S#1Flj$%_3=H-Fz5 zmj=xGePzg~6}9}LN?M1x^-U81csm{t<1O`QXj^2=lUck6AzoZ*ZKu%4{8_r_sa3{w z5>G*ZTU(IQg&S9x%?osIQ@SxN8%7ZTJ zyYX~EOO{vjwLQxP4WhM<$)K{wD)ito7Y_i9A&as#Rwa{%Ym*f44^j`;H0)>2WpjhsxDiVChB-6^kPPKue6|D~SGfhpdC^t1L z+$`LTYU-9+N#%m&qtOInCrza;sHSl$z}Av4z`ZzY?vf;^cky`O+bWhIM_Acva^TO+ zBmnsgTzqbR+k9@e4upJR58PLe2MWUNMzT+&ahdUZwl?gc%+zLy4u2lTqcrlW0CVFf z`gx&a3;Fyyxk;6zN%;j%fQ%y44m%Nt{`^1r-J7Q_dqu1TBFo)9ZRYhhmz-B&Y|S$Y z)w)R`Rp;ISTD3cRf}MJoBfSWRD0RwPExBT@Hk<;yQs3Udk{gail1Am|NOM6S`3D$edm7&CB#<|j6vA82-Q3H_bVrAt=$r&bI)nKIn zM@z5-1#`~P!@~gargl}GRNlA~uS}otf3fO`7v{T%`8|^BG%_hBx=_=tKg{TTr$OY$ zG=1{=bCMw^9sGR`VJO92nu1``cRn0Xn$v@3-R90P^H|^`XMg^ZR}&AKRjP|DXI*$J zmKNIf5DE7>(kbb8WX?bB=AGn$Wa^-bzRHmERBSom z?hGTyH&tFe8~#lNgWmDZ0ui7U@_5zl{R-l@OQKMcDQ$`nS=!b>*Ba`xLcG8@v&03) z%I-L1zLo*uv44yB>8_QpK^4ucX#^Ix5!iWx&-e;P(m+l+klfggvM#d6z~fAHZ-~OU zXyrxm<8lxztK-L-@_22zd)JaTj9w^tAM0w~`_;Wkp7FF8#qVCLNB6~PXln&WdiXzf zEU=dg?fRB&h4^Of_PPNV$5)RpcE;leH_^)gocoDvI zH0_J8lYfW?{QGTz)JBy>0`W}8viS|ZIl@VeGl47QvRXJ!W?8WS(1Uj~n&p$r zNq{es0)3uy8vxh^zFr_5Ilb1b@bQJ z$KRlN&4KXjgn)Lu{&tK%1+eV$XRz@v$l&H;l7Eyh`10@-7VFo>MQZb%gaZuQ!hSs`d|<%6Cj*|6_V#+ww2$DlQ;NmOqU_y~!AKnvCzu&K!%)#sGVfQU2zH z_Rv^rIfopl#;AfC42Y&oyoXWYR8xYSyM9X>DnJKOlaPvf8#l{#lt^tB`367P8DkYJ zGJiN9wFSGr7mc+AJMdnS!F$^rh~+#XRxK&-W}-XXa%1D{?5z0q^mL5cbb5L!jpg`$ zi?5VNG2=ceRdG;tt2-u(B-nmeP>p}J$;Vbj5Cu{HpEFs<1h{~|d4i>-|Eoga7Rz!> z475ISIJ8haAk`{|PH@vcN@;qF|Kj`e>3?Zt`RjwaC|ADu-%Sou?># z@>>thy_n)CT2^vBTSvto3EFSuW`?I1MY(@F7vjdpbNG;VMQS+7Lu}_Ixs~%AZhz7n zJvICkVYYLG7ki$=4Zjdn!-?8o#|1yt`)kI}^^%eG6>{0C($8Hv$bNh49Xusf?V9VD z2zIZzB2vzE^R+IO`|M7}Kk3tca#V0}VHF)BQ5po(4fnLeFO{=r%SBzk~J+E{hbZnSZQ;+`?o2 z7uELXuz+95Uj^K*+&y=hiv+gwx8D*czw@>~XDMbSOC^Xcyog_o+n*DOSII}Ae;XJ4 z>c{>}h#Mo7Jmk8!u)u%iZhsa8S|tnl?s^u2Jwp`4&cH?3G|@17qdtz_a4x+|`3;YH2>GE?s8WMK#44=zbzi4q$a$ z6#DAMRxYdD@}HutWuo$;i@@D&K)klS*Hm+Na&j!>dg?}1ejBrX?0=j8wD;zXX&g!8 z@c;f4<7D>-SV98XaS~t8a_R6PE7oBhW_b~eq*@uix-$|7#yGD;!~Jp%Uz0*C5cLwlM&IOC z5UQ4xQM37AKYt`IMGLm>VebXQyOc~hAF|oh{aD94$$mb3*g zE^-2_AT>HKcn{;i(ia3O8t2#rR<<=}WBX296T}7LT`7Z=H;~S_`=vu~=9yJDX~u1= zCSeL9b}Ymd(Sgj7#Bl5=HPkQp!Fj;u$a0vzX9TgBa~u@@c_3#7ECx&bg|I|y%aS(0 zhSA7l(MY7Xq6O4qFSe1o7=QY>q_9wsuSJ70!i2bngzdI1L&BEv5L5(_=YUk&>5eCn z-Eu~3YJa2djH?`RrWnv$A<7WZrHoE8&~c)4 zJ@UH~_PvY5Lc|;Kw7r{1Qw#9EgM*3WhQgOSjm@Ui?vTnn@|WOaa&3GvVl9AwSW0DU>3^Db2YbU81*n?MI#V~y%mr0t90FOFmH0R_+K(bJwJ{4W zYD_3cRaxKA7LD{^A9yy{ungT;2$l*@%7tP>Nbx$HPaupO$zMe88A7Yl37Q$3w3!@n zIWGtKQCA}N)r%YVH(r^yYzZc#N36-*2Y;RKdQKY3_qx6_ZopJ&_P0=)K!@ZBn|Occ z*u|a@9=`ax_2x}2y|eljGvRwtu-tc~Z3SMii$v!e?`k`nam{6Z5&%b!e}j*^s2kk= zvZwC>HWwCipU6zyK%!;r-}=HDi1b@dSL+&|!|=-pck?yde32!XeBxqSe7BxiT7Txa zu%$K89K8vMS7`Ro;hF?AORKJQvq7xfzF9_ir%S!lrQYdMe+*qJziDC5EEbh_9?(EE z<)y;93c!(0rxte1n}h6Z9iGQmwBqVf*wi#a+7y0@?#JERZ@kBGIAZ3}c6xdkKA!Zp|`jucQj$k$L3}TTy!dT=~ zBT*9TkTznOs}D=`CD0-%Vt+nl!NgakSQ^5xPsqRz&(TK5naVA?ok?*Clf#V)HOPrm zKA5sQEy$WNtGbLq&{4p4J@{tW_jz4@6N%MW@6Iifvi->k`{OIH-dH0RF)@iTxtY?t zNjueB0sSxV^duUwML?Ctd7;E9Fy_L>&>TPvHY7orLd5F5VM5Cb7ifG&3s@H>GD0#t7VsJemO6w5GGI6S;8 zPv((eLCtRIIk!N$9DfsnQnSceSN zcL1qZ7jPg%UDX431U@<9OdXXCuq?6*Gl_vDFnaY1M*tf5hoKR@UAW`-$-V8kd)v84 z9nvobefIE8HY$?_@DUB*V@h;=WD$A@ivAOaqW>s8{3j)fE`O9BcK(wVEl*jOI~QqC zb~X)r6Le;Q324AfbmH)uAYRLe{jk)-3dY7x3<=t_U80&BQ`SZA7@_L|NboINPtIN( z=!qS!ELO%1FH5JaJu!^`I1dO<1;76A+|!?eGTSEQs11_4z${M$7h}7e;i+F&gDhr@ z#iicD(y<6PNq>2K6R5;T&tqBqnI9V@+#Xz*{`m zMWT4v3Hvc1da;7ixR+2>*LlF1fp<$RMP+RVH0U1REPrH_f!oF(>+!2o+Yi0T5dGc3 zA@k6=VGQR^c27lbkCa1a;tdlzsE}jG-sR}-Ugz#!=k8wT?q28aUdMT_BZ2>E3Xl3| zkD|-@etf>C`YJUN#kaSN;zij*0HsPIlo9vC#K2( z3V*h<#By$3_ts2dD{;Z7FHo53KIcmmN+Y%xDP~c<5H&0Ui^rRoo)%qJXgHRt&^Iv9nwSs zNoQML&ZU)xPS{q>!H;>f#=3l*`^@V=*?(5aczAvhuWww&@{AZCip>a7EYgI9Xjxyd#cvWQB~WAEG&YV698U6z^Ka(@vT zGw#r>9?MSUM1t~FT+QqT0fXI-`5g%Vk&O$^;xE)>1b@N>`B_3) zPrh_NE5(*oF-t1M*NDYpyapjv^_aoAtfp-HnB9WPd1;uEQzUT=OeRkIjBF@OCWsVv zV41Ey6Yay&PjMQbFsljKH!>&7U|N>e%xrd(vqhMnWj963*(@y`tz@F~MANm|&DioX zY0GZjmV>EVdQ``mz-5?{Sbym&ll|O0Vq0drx;$*`GV}2i=$y?CZxK66Y80lm+shls zWZS-U#xN<58L5bU7P`%PXId2RQ57VG3IE9#hBm z-nzW75t$w&-g41Bltg)=9|t8h8XakrDMJr&Xe4aF8q+qrG=C%9<5*z<5>o*Q0Q03g zHgU%$ZatewU=<5q?z&Zi^b(6bM699>`ChpLB84IjlPvQH#q#|A%zWI1n8TS6bGR_X z;Nj*eiYfR@&thXAV$qN(jeDMDfQ}|%L_?MFfyCm`H318N;wX7SpV|oFC@(^=Y@fEJ zfyz(DP;g&jW`APJh0QgadTlP#5?r)}$Jnob!C2bID@j8GhFQw796EAb10*D6J}V#- zF0_uFqqH%SBZ-kDFp)XXmVFW6g`bE_7q;f^Z^j`XI^cvgaER~NKV*w{sLJ0&)d1@Y z1Iei!#L+{;(u&E3M-JI=Ul_iM<#&|G=^VEoR?8F8CV#tuJ(9xm99ewSRH4Ia^JiV* zN2cLmHXe76AQhA=>eE6rz4o;ZS&gsFww>Kc!E8xF9sDv_eUw`lzH8V|$K3DmgL3rd ztI*+Ldlj^E>9~RYdx)t>;WX@M$3J^Hzf-Us#udThzt$)WM;MIr(uk z)HoXG(|>t2q2eNi{QkLL+=dCofr$WhfLp|+w4CO$*Mg%#i8r}Hf??H3Okf)M>cbL8 zMqNfm2e7eh&g6zT_iU2(P%o&j^|p03YorWNhTIAOr)WLT{p(`k-w10f4}KnoD-U+3 z=U%K+T77oE^Wmj#&b)@v>n@{>b9S#S67t7pY zISSrDV5sB%DQnlkYUT|R>}s>ZgFYH<8Gj~AoqH@)9MjG~glDoiOTcwmRp}){c!$s` zz*JWc-@M-KUHF&XpW$BX9G``g%OaWNJXOK|aC#~|MkqhPS{K_d5R7e5$?enm2a}Uh zN#3elO)@-5sx6!@?@4r5?<09y0@9Cq-H}hz8zSVSRJx_6#z&1`cMpEh4bN?ml7IA^ zA+_{hvmnSJ0?U&@luZx}+Xi4Q2LMBqhoP%m-ePnLL?VxbyhcrnxYw?E!eUYZI_%I{ zgU=?^Ci7P>3AhRwjBrEzsHDa&X*-6{8Ban0!o9H{b}wDW&NwItlTrbpjbW(|;yjQ@ z57_u@jDK}|z2O*~4IunO!l4N4cYiLsGJ5FLSNa@wU-Tt{EF(HALSO_xh|dJz&!S=QIRZZMDmYtdH=DhZM3sASzS0(90P{7=$pS>76WTlCZ>TqrxK4<619bpj zh@gHV92>!h%w-;Y>&8gcqQT^1IGyx|la<)% zB4OQ2`ZfuP#T}Bj*na_r5$#8cMj{VU%EyDWM2nZQbDCy?0Cl3jcchqfanA@x!f_>R z>*%ZS-9b@o$@lsbd^o{>UZX!C(v?aEap|~*-&n;SL=w;DsTbX-U|CwOS=vt4fEKU{ zqd-_T2b2>D83o>hnq4$v^hF*;4{f2SIryut512t-L2YMGYJVWpc1Dj=2vkMFgMC^O zZnFqkE7pqt6>6ozX^4+IbxTArvBx+ctJhp>&-Itv&2S8Kza!7Om5E<#Y+SG;#djLz zcU`FDwpAUxq0g@?MZ|vRUxTAWI0?D~gT~K>0C4&23GBZ)hh$Z95d zvQuR#yi=gGrhm8z(@Fh==kyP!OL~_Eh(eA1fkRUzZuc^mYtiq(R|GB~wC5zCyiG3B zCe=B8Vj|iTH6eN$l10#xhVutIc|j@`Ss@k98uGD)%E2fZT9bJIJoQM=Q6G++d8T@|L96Mx_{a@(-3iw)3ouuERTFK9{8 zld33zzv|jl^6Tp3jCR$Fp-!(cgRKr>i|TTt9Ymj|!-+4eYAn69c+4}loLc-oNz+Ta znRAOXXF#4nDH3V@anNI!-Nq8GeCQzga3Dl^b$O4$S)@)K=gPPsqB0%9HkF%k8Q%2} zzp23})ql`47_=-lMN$*fEq|=zz#pGlkI4LdNBetAD>!rz&<;Xx5Dm|Y2XcH35?^XG zz@Cx#){V7v06nv3O_YgJ%WJT{)hehm5L>SJnGo|tpNN8orvBkXC?HPogC_tUd(xyW zYPLFzzpcX8is}QrvrS2NBL97av+x9R61a&;n-~(G6#>?#-4yQD<#DdCxAgz zn|RPMPBTF7OJu4iO#8!-@YdN1tGsWGKA(sPwxHz$`Yzb`I zA%Bo&HI2l$-n1Ziz3IJp?ls*J&*Q~O?9--;c_2E#$t2bNYzlKAH2k0GNrMTRLP4jC zY4{B@RO3m(h}V)BNP~OzOKqfrjz6Is<1%K@J&7}F%&R=NDJPMQ9VXLjIvw~>_VXv! z$(E?$IXWp;v&5-LM=05dh}@uUrlf)Dr4z1<}K#JSHwcf8fq*b^p1 zl%XB6{;Nu)r~um8x?@??rVa~8ct1HgsT9hfsjUl zIP>a^Nb%HYZVixx=9dmJW?q@JEl;dn%;)M0UYD!!<;waEgISFty=}RCNOAL!{$Xe^ z@C9V*${RbG)?yBI4K+`$g~!r}!z((MBGKdZ8o%MSUA2J5iWk%`%!Te|Su-kudSF+Q zMw3NNOUQ+Dsv2NmlA$;;Gr>g3?0=g0`4$hAyCv03Q-c~kGA;`Ww4D~+Cq{>LCm5LR+Rf`|%i{ zGo zHniW}7hx6tLz_jY&vj$^@$bLPu#jZ(=2bYrh_+BtfKeM$V93z@iPkDRL-PlK6;Wa^ z>A?R-n!1*(3#i0Z8YG&jl)&@^QqswI)H$D^|H}YqR?rNPlA`z|fHaeqA{GoFzbJNMx4j2Fj_ zBZe0{MT%R&i!FyTEIlhWlOm5KJSmV>nChyZY%Hm9UT|X-%6eW#f z=j4LLDDT4(dw~>19CH<}Hx|lflvDK)#5xN`kQ_Q{S01m^hYMO@F{rNQK(QY_$nX;xqDL`)R@L zYzvhm|1yYTFD1DxtVZqvcs_R-ZPd<@-M# zHR`{LLBRoW6 z=YPO5YqR#7eNb^wOWZ)my2%ahFA6L-#_2?g+`Ldq1CXz1U0EQJT+k#76l#-3(s9A* z%+61YLn{F|z#C8wpRr;uMmJ9jLey{$+dMi0iMpUlSk%&Z+c?*4qtvb;DAD2>Enl#< zg_(Kg6O-Yi|K(~p?!)M^24b*d^AyKTdVhU7kVO$mdP6w~u+zb}vy*0>;csp`>DS#; ze_$)4Jgb0*R|bz$R2tE>X43@L$Q6gEDBNvb7h2f#hQhIHxU(2hJmecQS_@yCz0qc! zUK+kpFAQamexqY2h~JmJWHDvSt}~K+d&w{?`%I+v;o(8Pe0sC#ZYJ(ll+{*i34ixd z$?^My_-gC1eV8*9{wO)T#+6V$a+?Nk*Q)SNV_hC?Fc_UHJv%}OapB757hf9;ZjoF3 zG|?@7n$0bq?{4x2X@mp0pE)YXdzbU}`&j2~iIKh+PdnKU`y^n!%WveEN3LdT;21I0 z_ZeKfVYMCGmKegDiMCJT@Ql!kuYUouziFVGgg!6OxOq(U$kHwk*KTd~->F+&Tdn-M zI=mYE9HGJ09B}H5Jt-GVqhf7s+83q}p2C;252RGVf~MPSsA8GyZ}1^?ql8bz<k$NKq=*C2c^&!?2{6G3`T_e@`+#yO}b>)v}Rd{d@bw!U4cnY zCmMBom;jfPfuIdmlYe_+F>+{E8d+-OcwcdHw6!CUS9W!wH)1I&T3Jfp%96X4pLmw4 zys|z1rLq82S1cI?*N~%f2S?2mwUd{4|5Jyl^pcn*)n zNb@D{e=V_)Mt|@W$CTQ|@c<{efe$A?Czi_jbfW}7#35Pj9db4iyXyzzpaXJwWbzME z0F>NBqppWHKz-B4MktIgcmvpz)`^H0^B|%m5J4THXQY@H7?k`M&3^?!kaq!`c=$RG z9=`H!Xk>n8H~*WbnqfqxTUrBb>aah)($os0g9H!g<) zPS7M6GObi|SwH>#o0pQp^g7Y~@7dAql;%}5R+S)5l6cg>iUu@kcB!bbrU^yz9IYvH zq@U;LgkTIk(F({jMhY166P~#>i(tc#a2);GbXV2smN2vCM6KnCaF-na?f)7Fgjmac;|A#gYIDJYj5%Cjgc}E?m~zl zWORj3;F|odsTx?V3N46eUFI7ogAnnGWVQdpt5_ucLWO{i)fY*cm+efdm+iTAFZX0) z2MHdDQ1&Wm;UOc{dZs{Dtng5bYVZJ6YPgo*Ie%#&BB<*`0g``Dpv{DmgP2xn!)$^&QE)CPZ(u?&Kn}Q-39CvjUsz#XRiA=Qe|%$hCVYt6 z*-i1x!EuaL@O6YJvqp==VPzY&sWoZAKVrPV$>6hv?TMfui03Qp>k@u=fS>BAp17mF zX@8|hG_xbexNf1E<{%tRW&Es2{mIHFsmG!S-BLUsqQk}~#{tw-Dmhe~9Yg2tYMhDnmXjVI+kKdBU1PrW!Q$C;h0hM1KUiP z>Ma-cL9T;=I`u&^cviLFo(9f`4+5S|8GoAGz__m*yogPJq}~<}>q_vhIpCF~KEfCB z2iJ+Ud(k)M1CcaMg*1F1O3Mcdv+;q*!3QD-ABf`kKp`t1h*I-`!kl~{LO7p;4@6Er z;FwYLBLyFbOo}d~qUgv)(a|h?U}i8<^MT042cjAHK>k>}C$2QU5g*|Fp=k>9?|%{Z z^_R^JgOLH|lGUQ{bfmFwnjm5Thdxmw7(9QIK|k1DumLoNzhQFse}9T6d?t0pr+ zPzXxgglS|gGAb6FWgRp+#W+UYsDGpxwp41SapUzU58QFpZMzth*H`q7*H`q(wa+Gy zdvr(cZgP)Yf_AS&*bW7 znXCUKRsSh-?SfRhkh!+R0N_XF`cvi7%~t&a{lnF35`Q2>4SK7Zpw=4JV}D&Y>(ZLg z3>y%H4*45_qGj=pSJ$-lt=|pgKbJ3p(;<p~oHeV@o>kYDnrqLV{kGJ6`0UxErRF1e53d`ZPrK*7elno9Ck!=GFR0vLc*UQ7 zup@17HSSJKDiT)knL*yMLbzN}+`oc|`vy z)Sm)q*@*50|7cVx=49xcoukPr#v2)|DTO68JxoC7Lk*o+fDqaGm>4iNjA{s7Nhpjd zP_!8(OdV^ilEZ|N?)0$<0}a{0B88YLSG0<$iFP3|GU|sV2-MBGDE<(lt7HnJimoyy z|0yq-f0E1i#+pTslYfC7cV^(mop@#}jpder*KuO+e zD8*OkojhmdKetGjlNs7#B{|WPTZ~hej<}h=CPdJnqa*~dR^gkMQV$F-jieW5(obg6 zf6b)-nMq&Gq<@=9|DTzJ$Pxyr8Gqr2cV&|%B=mO26ODh^mwz8FZdrfk^pKahhv9S zy;bt-jY%>@7S^$CMP7F>y68%eRXOTZt{awR(tMnvV)Hk%;(D5j>z0aZ>+30MKK#`J z?89H1sj9A;oETjlljGzi1Hr&+rNVvR)oF2e6cUoK6$Ps6NuS+HP{To*<9b^TXshO+HE zv_W5a_;`Iew%%Ih;ku2;9#!B7CCp2eBZ#sO#2Pk^{eQ?GfA;&hXS%6INn3^Jc9so8 z0s5aaz^tC;nq0z9eHzIpDEY)pZlmP3nY@gWm(AoSDEWz*{1ksBKQ)v8i<19qCjSp5|IbYR zKa~7`X7YWMeBVs|Hx314BtJ*V&&}j#nn#q5mN{bNnut?ZO`{}Q% zpCA%cO$x=qGyl4hvr2pjb&U9`KK$x;Jg6!i)P;Wx{72s(b)t{Mfqz--*sNFW!4469 zbVg^_#R92H!VS9ZRF#mHH~?ByaEJY&QDLu82WFHJXo z7K#IAO;~M5gjg=wX5tZ>2{hdy;_U-$tKollFN^QlqMZ0>M))s@1`vYZvl+R1XrDl4 zwv3rUcwXGzDCtiv4~!|=-Z0Rv!+sOJNha~IBJup0S$MVb3~7bR=n~1sG(k*Ry%6Gq zm)%ZpI*x{8k*|-w3q9|^!rUJR7KZ~RTN&A8IOyx_lsh=DeTbc#Zb7_sib)vKI{%w|8|tY%B3w3E$RsTAjtC z36irB^HzRZ__jR7MRM`%k;SVqP5ys~MGYRGP;fZ#!}G~S@wNI=ypz>JF%`QB3|SIF z5Y}Uboo*Oi`Qu_8$#3;F^xs1Z4o^fbgcK)c9AH2piy8g@1e2gco1-5MH1+H&uT+Ye z4l&~m{BRS(YZv|02(yu9cf{|x{LImVcF02|elGJA|FFcCGp<2OS%P3wu4jKMTuQN{ zD)Wb^u3?G|jgnm&fZ>wv?0Y~3zlR5&4d0qrcB z_#;M8%oKqeB?#*TYXCyQA4s&U^WZZW(&?hQPKHT`3Tt>}5z2ft9uCh~oMUhIqs&o8 zMfEqqvvRybWoCG4a<)d5B{P4<2kW1A0DN16%d@uFK)et%Bf&7VwfnSS%mq=QJaX_| zeZFETrM~R#gnh($&<^nqr`9wwey2PGRMny^*ccl;H}qDIVexLtAH<^%3MDrL9I_Fb z2O}HRHjGC8x=3iPXHb)$RLB0v?@D9BI&7(h6kRm*f;hX_pxLzmtv2*u zBfzV(8N{7j{$s7C)KM`P10F$BBb>A2_P$80Zy2nWCldxI&&?Wened_H9xS2zrr=fl;wSX0#`Bo_kkYx@cl zB;h^s4&d*)STEz4T7CKQolF5BfLGswy-`48=zgWC2h^1^qLvLSzH3Dn5hs!+h@-fd z0*1kmNr^lP6Zn504hMP5OF|+8`=6NT$beGLBLvTt_V|YPVK&~pZ1-zk04^Ansj|yl zGI`3zZ1P3x8k4vzIOEm^p(G*M1Ok~|%q-8a-IUY5F0(u>2%Vi(UNNP1Q*NN`5NRikjYtZo6u8PZfU!1l*%E+72y5f+RxrdV8M@ zyU3|-_DPB-=U!>-5_HdH6ID_#NM@vxQ@_`pMkaxu-1vIgK{FDB=Xz65XK5?KEY1m) zLZ)Q9dpD4#;@!Y?7|aSl(eIz*F0?0a(dN24?uji5Q5XOHR6yuHkuCxd8!(dIt5&k> z+9`J1D>i?ohDdxx-k~ge{NHF#*b2}5F?h;+|62l4nPim+K;|FJ)1xhMy$N&%}fpp;$oF_i?Ga^U-t6a3FX-(*yXAr#~I6guJ6?VCUh zP^94!XMl-{znHd8i`ufvFl3Mh+)N&yP|5kqCEbeCjy}1@j(87Yie3894Zb9w*Vv&A z+VOt~e0)DFYJtD^ZE^x?e;;<3;GuuX^!`_{3Xs^|_R2>!xM(;~jYzn(^fQ`o zDoS~0=sd%5GLgtyU4!8OTAxU*gN8$+Wm@U~R2&}yS;{rf;7V*b2HNeY9`0aMP_bTU zUQH^f1wIu}u<9sS)eEjU3a-fouO=b;i4lqVyKgM}%c2yQU>2H&4Hk?;-UpM5#?*hH zYfOCwjIT=ZN!jQ>We-8Lg*Wkj{mTp18a6{Q*ck4$_!DIQRI-l5M|@=*U3ABz6>=In zLtXkSp+A9sAFfs&vTn=3*`uHP{unK^*pZ!B1DXDfyIF$;N@gVDQ2e z%8R7}pJqZ;>Z1ll3xnpCvG@&x?m&OGjqOhc0XkQ~Tgh$pontlUy(-+i*8w|pK!rE0 zL)94$ALW2|VD4`L_`{Mg<^}FkP~T^Snd;yNzFu4I(Zb#U0dCk!2uZeg@evm9Yx~WS zai5~yNfzbaEwZqzC>BLe4!^!`my+x{o+iL(GlRjHLX;Ct$7kK1ADNaSjIV#~cM2t! z#YpE#t5b-3x1E=ZK6dOEL8OGV;n>gb2@C)s>t`ShcwYR7o$HmI2a(rtR$>FGKRvO@ zCi9YYG-{-LJ|0fPzDAF6li-{HH}V&PQv`g@DE$oY+nOky8NzETd;~TfD%~#9IZrHG zc0)K!c{jrga<_>?>@cx~H-3Ln_9aAV*;=Zagz>oH*0DRveR2kZ9~# zX?V!&GVo+N0&NIj_{1Cx;`nWC^Eh&B9{82YNw3?x@B!5Kj%#_HN~!;rW(+4IOHQQG z6%GZL6>5PA8n}<|Vex-pu=6Q)2dxzT9}b3#UloNvCHV6I{w%?tW%%ZwFZk z@epqbRm|=SKUFV)kz{tqJR9a?jf_6dItM)1UGnYYkI=ET!7 zpmg$TwiSzdu|2;6iREQk8>Ea_gwj`dHr5U6RbFge_B35Bq$r4{OR-JI7W&fcK=4BK zsHu2B%ACZx&ygU*kz*Md9K@qukQ!CdQ9T2`py7p%1D(ySO=%6${R#Fsv-Ba@)nL7{ zJqsJW8x-&!5g>niM;vv6gQGYk?CR>_o7cMtX_wuf31R?jgM8i_B<;BFEqZx%Pxh-d zS&@(~s-}&2fd9W=_VzUt(+GvrFu<nwle=V z4AB@*2g6e&Gqz2`l$zC}b5bovK4>jnO0$1(4c9=|ntFf#C=pdxwOIJaLG4|^-OT?T z*p#JJNd!0~7Zmlcjke^y1jwr^=WJ;O*4-qa3Q9;{b6mI-`MFpD2CwnL{eqUF>G0QzC(vj+2}Xy0(Ny5Zdv(a8dTP<)M>c$} z=%(}vE4F{y&KFD$&LzN8zdJ=TXW;i$J!(QbwyPn_6;Z5Lytp&LqzuUadNiBDmtH~5 zYgd<9aeNkxqe-%7(Yb9RpL&Iq&O4dG8vALWnkWapc`n7<7Ug*y0tQOY>}I;45QDVu zL7es?coEt;<4=W5v7+x;cCCU(s7{k#WU`0E@Z+=#Aj%iw31%}>!f z4Eq6jhZ)J}SV{oOcV1CYtY#O{V4>}+3--U#a@Dd{yv~z+Zo&asZVQ-+&P4u~*^+>p z>S=xa*KN@8zrx%zcQ4<-kfN{>{ZH<%Qnd1y(pYMO{i~%-ER~LRr zB8(_o1`hqf%y*Z)02{%{KDUOJabIezp~d=;8auQ$wx77sz>Cd(^LxQ}4#odFEETA(nd7kJb`O8m zBj>0$IwE?G@tCs=OMDnP8Ukkko-)+xO^t)YCP4IiruM7%O|EL=?v#{6iRBdHJ$oK^ zc1r~f_qt4kMpeiWM9i>mReyDx7yY@Rjb-C~{=y7Da9%tzRR*!cPMV0cF4RQ3Ox4F` zWHy63cWf^1JIyL+-FKQx)wmFTqK$uQc0er{O@!U(cQ*W_ng|ySrXHW0Jfv|R#my1p z5e?fMHOL$_66Q#>G20v+Wrf}7H&f`MJo%|<9@2^7r}ycm|D>#M$Igqp&SOc1d$t&P=McBam9;?+7II)W z)9(Dx(SYEsG(emhWK8l#vIdZo=9@r)9c{NwM_Y%U@YyqYD7$XU{1mt;QYSu`eFVX& zKj}Ia5o_cxU8dZ&d1iPoUa)_|TM!lB!dnnFO%b&|-;-M0^PYJX4#Eyvx@D312W+(E zJ&~{rOZyM;aN!>HZ2G#Zyj(a3p2#4G8urPdZ4hucEPNG>9&0^Pzhvg%EFxXFYGNgtGF z?T-7VcE@ciA=yZf1|HcQk6fkHa1oADnq!ht%4(IdV_IYEs8$$rUNm2F(v7)j-buc< zdn?~LhgM%g+wC)Invdep6<ZXQjGu*nQ!9n@nZ4l7 z?Ot%}suvvmw=UwEsz-mF`^pJk;-MYfjvm-<-EJVY&X=Vny-+S#Qdi^P(A?}qQ!BQn z3MXIN*7PT~RC;S@$$|Tj7_-uKoxt1%r0W{Nxh>Gwb@pcz#TRGjz!rO$WI8aXIBy;% zxqxLVg0Mw1maDeGog|&fJEQ2!uQ_onAaI3@Jq?6 zBvqKS)N+R|CWU8EJ4|%5cE|k1=pP(Ym{EI^IWVT(mME4uGFcNP`o!4mi5xaXiAKNX z!An;};fKKu4U`#IzGcqvVJWFnGfQ;HTY>zzz?ojolcTw)tJ-jkU$KqO7EeIegc$A) z>Mq>HqDtm_xx{~7ViYkd0MB1A2+)?0W4q6uXBipQCgnMKH>Q732)JzzSsNnK-?MJN2xOX+sTN&6}ktOXzVNpyPxh&Qc?8Zt9 zCrT%tNHGQvYt-Eds-BW_LPpVl=PeT0($ z^Qg?!!*LBh$Xk6A-82-#9O#TYA0_y_|J{(SCS>yc|3j(zN46<4y@IR4s?2$A-Dgt6 zqL#Xvu%9?4EFA!+iX0v?;@KtY$jb#D>>PS5nbLnnB)C~*sPB%X3X;Z~?0WQmLKdTr znG!|{73jPyku_-1gloZQ)Wnll{ui`7CgZkhm6J-4A+pdeHJdN8rqt6qeUYJtroXm^ z{(D$Tex+ot-o+~rQlD0rnOD2=#RraY`D%CBd$s3yk4=gxd4e$iX0I(3mg0^PqwhC+ z%ie$MJ?9IS)G(fu-6mz7K7P9>e|yh7H}CGnSW6ItFv%(+`rNtjyL}(+rknVaScsAD z_<~yM!CkvUPt~kuBsUZ3?OgRHMVckLmEI%3X7HN|SaMWj@><;c3xDh{&*74Ypx>ij ziLf2`1HU&Z8KcGT$Kk#t+c{Z{4xt@;XgYsLeKWwmnr{l4AI2ZTf`%MY*n%6!+iWI| zpdcannCAiH0%%F#Uk$CaIO`08O9XJgOllQah1Za*k)hO-_u{!+Fg_Hm@+gS=uAW4| zLwGtN@eE{H98zoeu^98Q<=z=FZe_*3)^WkFO-XELWpw*hL@njWA9crQ3Bura9Xx*) zu6_&41@rQm-}s=e>!7^CW5B(2lsk-?WRZaKg{OgB@bB!sqPm_CEHQs3^46k!GF7B) zfL)qiB$1%~_2dL$@52WOknvL+qw**6z1_wUlv^dEjdhU4yQv8I{loq;nExtyY*=iPSSBV#w-Cp^l5936VsLFp7A+Lil zNMuxSdq9}!4$g;YMlUXlD5qL#t5P#c>s)lBi(+DFyEo;!dd+g$jr_-tt}h3Wv08g){jiKS8Tx&^J-{+0;@gmO}BRu zgnlWpHY%_cdR??#PofKdFnEHKs;gAM#dfJ+zxKjwp!Bs>v;>ErA?5#h+i&+^yv5UQ z@8eZ>-1mAH-5^9_eF>eO`d)D61rscyMIICZz&?7DA!;18^l;VNI+K5!A@Z-+@QR2z zSehIAm(cO)xckvZ^&jE-5E`GI)JU-jJU!I&RN>Q$Cd1LP=MN%Z1!WCD`2{zH8}^1{ z(L#te9wftIG)N5~K^no?Jx9PHO2(tPcMsl+f9J!SX=vgUr87v@ld(-g?)#_Hb9I?h zQDury(ecM)cqy%bnqGgcdOpPSLdZaPpuKp1UHuh;Zz=CrkC1XUm`05Hr8d)f;|RWV z*}X3FsM8VZ@lE%7D?HOWgYyNF%>s0G5ryGxFufp3@m|n2RPp{|JiIER-a4Xzj(^?r z{l4EX(oWL>Pp<=|XE(@mFSg;~xS5we+K~EMcqUXsetIG81r~pe!}+3+4%G8-I3{m& z&=}@6C?%&%ag>bllye@Ldc)C|4mObt!8>{OS4^~rt>z%`6_1cOS!$TZf$9A9iIBHz zE*C`Y;jlb~L%fDaak}q}{V3>9{SJ-|kI(x6T8V_p^IF$E`x~Dq11!S;rlL<&wmqM~ z2!^>mABoC7eJOw1ZYN;8fyqaOR}ShRF$$aG#d~#3)9-aq+JxfAQxLs)wrFBcMJC-r zh*6#Qc^LG`-=xs2bj_yJHHO>%IbxBY{aq3$nZFb0VRXY6XmBm1r3o&JdWX+gyAF#4 zw6hHl>t6Y@tp7FUCQx!&%oGSq6MIIPyi{O}%f<{IJn(;7@7}$A=bS@tF)Rzz!xtZXEDpkhQ3DMU4AW{P{&Nn3B4)tIKMl9IWm5I#7iqT}(TmrSV*lTsV$DOIMHqUE7* zam~giexQL%G?I-0JWH%shGo#h8R`~_(@XL2e0YC8k1Ax0wkP(Us%>1N4_IvG%U|wS z=2R*N=3b_#d5?9utjs?#rGQ`t0Tal!hp;(8C!h!&fhObNbczmJ9)Fz8VTegysLLjg zrIjI9m=sCRkr1i}~PUm5jb>?N@#P22l+u_k#c!(dU1_qp7k+r{Lt-??5xhbt<|oIYS)g{8^dt$r5yTKnGM<>Wjdg` z$p5~06NchiCl&vCcwI|&|I6Pmn=EAs)#>vEvMS$ zW^I5!{5J5r;dG=ov<*IV*7!$s{?ZFQ%`p3@tkSMHBs4>txNp@CQcEfdJXCZX@ii`B zN+Dz%`d(-`HbF}rXsLr*f-ar>)F^*BTeKc6R9Y(5SNHN0;dj6;vg+{YneBDyKOQ4? z^VrcOd(t#-_`N?KqW`eZx%0hiJbDEL*JaiXMl3HfHsGHO9N^ov@$qK9md~sXzcE+MU?$Qk=u}?W+~a+s;#Y>rqJCZcKkg_o9Zm z7bWaR3*3_yw=XSrZ_0Ih$z`)M_o>9aDhpR_6A zeg8A}z}Q`ppXmadn#Xpm3zC12bz(DBuMSAV=x>jEYDj8SdRI`A;t>(FkvxGpwx?1Y zVK{ji8SrI~8QGA#?|V*yNZ*FTU6Dk)W!SnGe=$V|AEW0_rQg?@v0QAWy3j(Jc(YPmi^dOE_L(JKC#SHp{JKX01m7nr75o8$v`(y&f=8S*HZyhCO?24#> z^{UpvC^m#O4&liz;#j+DUw0q20aiuotBY~qLg>GTN+Grr)Z_s(Yw5SB&fB$8+t`Tf z3VLvP&~D{_O%%qw6m^V@)$mhOL|47tI&QAg=k9oiWv z%r&&T=Yc-RwPU(_EZ`iM%Q=W2J@3UHTlDQrLJqSdqsL{09X&z;k|-cEbevdC}iTIOxtx{I?(0Sn|&+a$rW45v2dL%tH0GD?t?<{K{5iSW*d+$1i< z)9R+rp^9z0+Z2C1L|WIJeCC~wV$zg&-)u^xxWNA83UEPa^w@!pV|gBmV0nTZYW!2cM8&Dw5kjiG2a8GDT**u}n)EP=) zo-z}!nU&u_u+1oshVlT1#CMvv6&jJx(hShKntT{{dcpT;dX!YUQyw}f>(C4?4AXwZ zpO#C!jbpZahcRaHN3lktGY~5CAjNyC!O?%1pjx~)=hcn06=Z6~D)Ke*X{oLp7zCEG zjtw9Fs2Fd>G57ji43eWQ+(5tn<-0>PKRd^v55%A#f4r#&y&s7**~k(xi`ZvGJnVAE zuFZ!pKTOw^hcvU|#{pY|bTsjD}GFoqFGr${=#pT$MLUcBeJK&4!igHmr**!h<{e;)S%EZ;FNk zyBv?i6|68u*#`qlK6A`;Wl|~GW{Sj>(Fh%{ZC-*9k7_c6BVF;eofQy=gW0`=kC(m8 z64u?miWxgZ?}{7yaqQSPW5>R^?7e?U82cM|94r5^zbA*cJ^Kq3Z0xAi`?#^cj~)A4 zhar_1|6B9%08Z>gb^D40<#7~}{F0Ohi)E>ndLO<5b+f&dE$@X_P3mCXjwu6*lexIb zdg<${cB;cLeU>c(8hS^cX0yx%L^p|iY;uJt6&JOg7!E!2@T~Om79Zo&^zwgxfQ#DR zPN8#paxlPg@FAA?e!d&?zPvHp`77FtCVxjJyD_kCR4~Jx-tclX43V@{+!(~T6wtfB zdBZX|AepUo;y;(J4}PVBDR5%|K?V;#qi>(vgth_4Ze|PdxuCSoO`QV2?#LEqY^1|+ zo4LJfugb{_4`%l449P@AsB?eNi=W{h?mE}ibO3Gk64n!c#}KWi+qA6aTp1e!V2SfE zB9JXQUu}2Ywu6F3NN*fq!M`_Yje8w{by96G=|z~$fqOx0UOMtq;9#CHzAVKcuqY4j zWsJ4080JgVePNINXgIiKYx#DcLyUh-w4VDO>e%J# zj-3NmR@F`WIql%^}79RD--oA`@zN_>g{hu)Z6ZvM=-3#$#vT}STC03-p5ID^PVqICnr1Ym^nq| z_T%PsKXy(V4(iT9;qiY5QFzp1M2k6u9*FQ$`dVuzos<7S2T=zEgp_(0AHlfxo&88p z@$g6TPb-ldS-~Je++O9f0(i^I2d(BwE}3z%cv_3S2{CfJm?l zy)wKLAr>M+ELO1!oNP0-?UhSY*0Hk&=~abyS{E_6_p7Oak@`WAz! zbU^)Vg31B$l3k{7*e}IZ*~QW7alzwK9=FebU@hp(ix`5Fp>@D6YVOwb4X^1`tN9x+ z4BiEE{}Fa+bq5C!viw`ufx&zJO!KN|!aQYA?=X*X9pGOQi!dvj02jBDcVAy-

}M z-nf?h9ey>%p(TH32eVq@!K~(>X9L|eCGKB}L)dYe@wVpCFCE)O8kL!zyldyePFvq6 zJ6)`a&kw^uP4>BG->DO~awq_HrtjdrsBc1?dxR)Y_NM5|G?qLYES@hZYXx5kuZs>@ zt`j1OmfMJrjX{be1lVaf@+H#`5*sdqPKDY_XJ0VW5T$>Nqwc^HudRKr%jRHUvsBKu zpiVa04g%PilXq|0NrxLd#7W(Dg4y(*&ud|`sQYl|b+~duue)zI-o&e5Qw=-%I2`zw z^o0Gslqej$2avPu`A6AgocOzYdUYSq{N7OJ_a+1LdvnM99L$eCwR0ycpive|!j5Q@x=PTEd(l;XZ756jJsvr>F$C20oE&=e#U&kfmdKzw~>RpulxHTZW@ zZKu3wwb`tiF`GL{Y{5~lI%jY(f&DEz;n`e;H%sobXs%i-1k+1k=39tCzf5N4j3JTY z%wPF$$<!z+(JjpD)6C^yKzu|=}o-Xe*$C$fL{L>8Zl&0CdbuM@%o=BnFrLB&@C zf_yX9R7@zipU=gz$x}dX-uF@uJ*tzd6zg%5#cE1!ax;ryna4OA?wEXAi)s3)N1EPD zZ=_?Sz0A=%prgdWkaSV>*(}Y;#CU_-^m--}y>jo~?C$d2&*#hoMMSh9ZX7rRdB;g+Ty?>~OcBCAAo|fI{*#l98C>}5O9Wp|FwbdC6Yz~?@|U~ zCqgGIzu1w2eF>^OMSU)N{bA@k!k*y*@}o$Ry&`S>RE`0A3I&;p<`f|#M-;Si0Hfxd zL=lAD@t0OO8KX03TG~LE3#aVPwIP3D6`gsXJohRq6^=>#0y#@~suZizRBKUjH;od@ z#l`~!GCH#^6|3b&3IBjEB^XI@E#Gy51gYK>qCf$`&J~L4YrU<8L9?TiDZTbpCPmrT zfvMvY_&-pb#-w8JWs-D+ziKXfC;Ta0kbf$?4g!--vp^Q9gqER(ix41h`Dw!gjauP`xstDwzn|> zyjm5TvG*?fEB>{Q#!*;p6wJ8kq*y!Y1r{3s-SPS7Wv_<*y0z;lcMAUC<#GYM07+?6 zRyGPl(KQpTwKY5_|BGK}r+SL((=_lcbN2@%gC?L{#w7|yPrO7St{>*iU8@4T1a{B~ zAavsfmOZk8;C}q^mjZuIKm`jg$k&H$80jNN47w8tli?NG_DcaOC~V*c(k$4`*hpAN z^qH`bwAv_f3{rgV!qLII_>$(OjZClzf#|IV&Vrq|=XJt|o$%oZ)Bmyvzi6YR(`Y!D zPW;Yv9MIzEudSd7CX%`do-xJ|s^9sM_2QIvUqtzK4S3%l_y~Unm#|Qpzqw*e*O$Fq z@Pl7^knigP`t%U+j{G{|mjv^Q`s0Zo1>JCGJnT<+ z45KO5j?6=m{9%8X&YaM|jo&ov?;*EY6KhB;w9F*w3kNI)VC#NEW>{1zfUiq9=ug~;GP7+e^$q&HAo(8y{{$LJ{!Gd$xGH5P)KYa*) z;>UFBduk2&ViML8Yra1BUAA~BC#~JwV9@E2XKZAxQ98wtu!Z7p{oS)0bY~BWpC1lN zs@N`Tj>PheutXdkXt^SH*XSxx2&M-|;XPb6CrRrF1NB2qYc)7TxdN;qmV9cz1Zb zJ3Qubcoas_uNML)~w=4xuCV75JldoI$ zc-jGewLI55WbCfp$lwGq!}a&<&~X-Me=C1a@#EBY{%APHp5t$vm0p>d#N+B!?pO5~ z&CTG9#sOF$vbmc&(OaTD+K4*R=Wy6GA_N7^#h_qIioLWzB=8VV(1U%B-z;W;uY+i^ zz=0XA%+{sQw8;Oa>W|AMaK5myCyfub?BO^1sM8<>7f|aHluQBMO7IVTs&>{)=&XNf zeR_a}^=u|Nqvk*HZ}5?Cfm1JL*fRa}z-f8ndZEjCryIbKnJ%2}l?(Hmhb_F`gU$hOA{j|JUZ0|A`MB>Qj3zQa$>Y=`o@}^7?GMe%7Uji%j!zpTh0ruyYLAX$$gK!Z*PY07A@+YlN)9zqzn8N_H zi_9bw3#^wwZ0BFkpAiwzrng}E>a+EEj(>ZY6$Kxba>x2yBMFC-*Fu(AEc^qxqxqno zUV_ZEz=flPDam>D3`abuP0oh~g|AwV4eAab7yQj(&2|e983sNVdCY$>ImwsSInub(*5rsAS_~d?dAsD=RQPAKfr#!&f71$zm zO7r3YK{cLyX4X<|TQCzO zir`_SB0eDiMnS(@eOz7pRpMMNI6_|z`^9SI(c@p%etpnfsy_bp@$Z$jhv>Xq`Sl_C zvG$u>LxdP(&C3eu25YaS9*d>HDNJ5I!&%0u-u@~(LLQ88?8ARsC8_UuXz?7xi}7XZ zvpFi7M~6dT`MVQD_Pc(F<|Z1oGelB@im&8TzQ}>rb_GGAhJggCu!QE+}a4El4$?!!^`s(eZtb8fx-6_-PJJ|zjF+54GHM+0CjN8;fc zB0+!j{ZWTNQ9KeWhp|F6J9ou099$Q8tik8v{7*E|BsC48qB$^3ve;TtuRHRk)sAUK ztlnezIlIluVH$H4%NssE28-tJFM9`WTa;tS&3P&SGw*-+)_J>7!}jQ#!OAW=ZYpL} zhx6?YN3&F?;^Xlgwp1{e?HOl4$~`jmW(w)KxGdTiI%p7+sDL;3GVKxE7@5uxyaJY4iX=6SP)qvU;Rl+<%YNY0CRdK&qkrVFxmiK?m`_0%!jtN%qfRO0^^~m)3f=4uQ zJ{fMJ?-zL&A>G|BL4(CPk*jqmWN$2mw&AGs#%2*A)HbyGw!>(lBMxBOv0xxTJ7I(l z|6!EHmuMI26eb<2CdW=ihcOSQ950gLPs0GQ`?O1+**B0{(o)9K2lJtMs+lIprSpIp z7SDeMUKq2pEV{7VEQ`O2=(bO8Sk!suosDq|kC;y091saH>%;M73;dNS51LDW&gImS zntz#9Ws4}f8V?PZWB&-&UdfN_XW&JeO^eZtYQ{t%)%;Q7$OZs0ytJa(}ReyFm& zPY6O4TKp#`mBK%ly-HyX{#4+;pi)?BgZqD`<*a5NBo0hTSO?L*T|>0XyZ>ZhY`YiYMHn(Cf@n3$8JubsC2ahm&Cp&k2+2DT$_hpB*7 z?qqx8FQduu=ga;tw?%_Gi|WoQDT#sXd!== zjJCC39{;GALql6E?tZDR{iwJ@Lt6yyup23lhERJ=`pz41a8oRVQYc0qrE768C9@cO;dGk%c6Lx2uh_vw_V!H^^lW{!}H+3g}tF?@46^q@=?#OE1 zou6||3>C8*=T>aUwRLxh&kcWa{Q}P^o^iPY|gv>3DnK$Xb^w&kR%l?SUQ0V zX9x@L&nu*i{cmz==zOiWXNHkX(>D-KNk{XGr{7{9h{3pYOljJ7hlUwm38zEIx48yA z|3)##9$_>2UYKcjEF^Y&iy2^%m$?h1CuJ`L5yMlv1qvBu)w-rKs zN(Hv=RX5;@OVpx|j*x%O!q_fu5OR`*hboG!V%QJPQXy)1{&P3_n5Qk3<OE_I3it>2oIl^cmEj5EDx;wsV0x z+X<}s3?9_ebFz4A2%vgUa@tRmsKnw$mpUp>yv=vt;s3k&zi!T}0UxjB9<_+lXgeo1z567DYNGrp8%IY{u*tE_5_>J+>N`T?exz&Mk7m%g!=6Vi zTa{s$Vojc1_AHM&vEB8Sz0{s|7%AUmPuraR_4TCM=+ILSY-Y+hjEscexPV=ENRF@l zKA2oI$TNR&HX6R=Psq(Mx|EN`&Cs&_nYc6!y%jNg++4(npH$BhKdGKW{G_-k{pQoE z#cv9Zx;07i2?l0^b}uwk6{lDHy_LWyJOhhF)Y7h*qv1SBTBXSJ_)U} zf)Huf?nGLU@Uw`tYd0*?){{iqx>KZ`Md(|Q*b$q-f~0sM4YwI4 zt7b9{heMzmQt%{&WfpjFpM&kY^Kw8g-5*X*AxN2BtVz=V_5@4S*Ce=1TNGN|BgJP0 z?2F$Wzd@9K(VULEWL>80`U~`&wH7blc8Gt7n7kz7vX>Iko@1m<+Ej-$8;5+rh4XYpOF7-qG?iTp&7C7tetjR(aa|@iIpSxS& zJAK*RE%4nf@U6K8hEv3wIc|S7-uHjz?$$Tkt*?f^EVsVd&l%Qaw@xWI>r7A|9q_{B zHmozt^W1b*Ig>F@w0-=tMn~~T*%z_ONx}hs^yZ$>WnNz5G2oX`jzn-+Sj>X>kCYe9 zop+l|Rd(dC4nBg@1a%=IHV!hS-Lz?DA4nrrdcb(*%^+47Bwew)ISB8{xRX2Z+jcytl;^bzp@ zj!ZE{&f`k3M~qqmNkbrBO2vP{C(^<)=!WOoi(5Al%($(*Weh-pN;3T@hG<1?i;JOJ zUa^(&-4L3QpnEzXgnVGQW5Qe=w3Q9X{!;PNoiXXME>IjH?oXz;;$%Lq3$S5UsEV*3@;NFaS-5t1!367mJ*EKY5xYLb)I^jbNK~`66 z^-0v&H*zhp)}`7l^PW_`HF4bXNtb+S@Az!DM`zIeiBaLk?u+cYZNLSh3suFfUm|9< z`&&2HhzR_m6T{5QWppv_;-^XHJKla(P5dA%9kClc8zV|$Vh5tM6LDCqb4sv;be3*b zbX%N^=We^McU@M45+uNXLRiP-mKu4Ik;%7{>z<}DqoF1aIt$ih5F!N5&TP?XAqew` zwwOvdm4R1e(%3O><6_NJE4hGalq}$RuyVDBNI*vmO739NkQg%9n$=Uc>yP}dVQAa{ zfwNYo0w)r(u6%_43XW%y-dtDaJd2D9Dem|V;R4TK&x(xj+T_rGd~y%*%tT;<>|Bul4TT+jroo_tzErOKncB zd+iv@P?z6bObz{pFUB@A?)vsH>GIZ`+nE;|@Ad7t1;e|e-1W;MV%fJ1Hl4p^)v`qql*GI%;}+z zeYm-aCVj-4ilYDlhUD>5sqKt|iG)c47Zk+gec&kD8w?}TTq>Hujnae8f!!QGPT^=d zF1@#xkmCZs&o?fxP9Awt_Q&DCzf7%6%KFwXwzZ%h`!?l&5`CxU&@_XBe_P%&?>A!| z9Fw?{^!fRtuZN~q36xDZADF;lDbe1J1V>G`;>dvG9<-;By|EP91}W~1O>HRRm(uFn zE()ZsE;V}*{=zb&!vdM&^0^-d{Q}WZu)GaOgCzOsXvJ30CO-pNMex4*7auL!Xc+qA zmGfY7F+E*>35KgHSBOx{AH(5QxQhFP6Ep1yN%3I*6GrxsxdMd<$(=BA6wP9dwhOHk zCY=I)eS(PmM={InxRfR|Ez#h8^!-tXU{^M+VNI#oHtU?UixjSFe0_~#4TmA`sjhs7 z;wAN~^CJIBEOx!UceO^#D_CnD3FfQ39xpI=h!$smg%A4dvUnhdh&nq^WBF2BV4>4V z(B)WlIJ04IIu2&#Z#31--yC{#qBw1voJJ0f8x1dgY#MfGvDdV&gv@jweFVZkV1&PK zk7zCf1^4zgpkf(9(k!4hf4+``gh8{97}sI8FxXrs-j9)qooG510I4kLA9ZdaMc(M5~58IGzD;J4asK?^| zOsFFO_lD8J_KXzJqwb6Q@hpTla%3Kp4xtf$Xyaf$6kOae4leRQ!o^%zh|Ey<-x3L^ z`?+xdZOn;+iyOwlMIK0)j}Ru^8zltP{oFW!Hs(aZ8eAbVTaUSIPh!U%JDy{Kl+`(h zbaBJedXdMx&PCfjKNt`r$i;8Ww6A$K=bPP|^VpiZbMDPIyfx>tGk53Rn*09w*!ORL zk`(qIRDY|ij)M6RaqwUitfGcyM?`Q&T|?$$&JtFR7sayo%LnPO72Eo;cn(UPkn;PP z=OVUsGEqzKXPzTJU!%?0XJOxa{^YrLF#ABRN5jw$CjkxIloP>0*71zvEhddwP~U?G z2T9R`|M1+am>K)73{0PY=vZESUxL$laX*JsKAw=X!O*-7U&z*tdzxqC zKF1e@^kOVQ)FdlNKbaxH&6 ztHT6A90t6B5Hrc(hY)8jAR#gBmAvAPuq$U_aaC z6g6*{6UDQsAirnY48lBUGxX1YnUs1{N5t~}e22sG>|0F!u3~eYIzG&E>Of=JxLv~I z^Jnu7=k+ZTWM0fOHKXycKkZF&;83)s***9$JfCtA$rr2(NfgwPaGs-R{wa-2z8Jks zQJj{IkrF{}_5JM}>1;Zp2ea#l#@&9<4R2PVNmP;ZDl~~&baq7emt7=(l0Z22@8ej# zUp{!S$fLC#A-Nr@G3b8(n<$Y;3rrNB8)hur+y)w1hrv}V4;~N-uqwZmu|HTZl~&hh z9{y9}qC2N`#0^^#yCm+cM$x4=}VCjuqsC}6+JG^N3Ry|I^73)I_h;JpSv5^U3SCVm#$(e zIQqk@P_)vp`xi6g+B)_sKAH=AxFtWFS#6PC=_3NSH7qgPEc&0OUH=0Ly{02Qt#K?< zK<&EyWhoFf5jWMLh~mL8c1w02S9|T_G)gNLwfR^?s&n{Xp`{njUj;hWhqs?lUO=2|g}G0UNz{B}JG&9vS|{A)(L z96B0!0`yzx{*}7M09{fy7f_GP1&~=HZ@DG%mLvT*qeOm!*4%FU=EU;-EMob--Ef7f zZ}sStZ2aqgo_zf!BZ0=JCGo-zQv0FPb-Q7IVd_{q0&L`X1W>5fL3GE~#mEUVHhkco zSy#zFut%A-Af5#d1^SvV*m@FKBKEr%LzZgr#FKhE6KVdD;vq{v8le%gs3v>Z0UF{e z+svB28A{%#MoB$aggC5D*m$?|8LuUx;G5YZ3jX1L7^j3I)bg92qnNTf-t?Be?Ot+& z+qhU7PIH)>DqsONm9uaD&*s|viM>^}n5^cj)bVm{BR&oxd*^YUQ4FvAaV|=U!nIA3sur~J3{c9W)XwEqbhm(e({Ky)F*r`QH9gJ8&)3Tgx*|_b$}5 zccd01wih0G1m=zbK|79*qHm42QY?s83MCx<%D3$1gfH#-m@%E~PQG^9?jUuToL}`h(P)8f;+4a0~)ow=RVKLCHZ`R>=}Vjm;`KvM})cjN1^0=sb200b+8+M z#?(r4(2h#Z*X|{`3%0;UOzTPrK|p;Yoe<5zco*Bc&|>`q^i@?LlLqLl-XWo4FHO~5 zTo9@pqHjkj!8^i5)5d}|jyFd}xTblwRLT=-IMSxh76|FQMr(`DE&TYFY{2Y1#*~$R zX#nM_;`^FYV<HH;q2k1_iS(UCU4H5}=UK0tclB-yzKg-P_Aj7Xl! z*9rQFTJHLYH};6dIt|qzbm$B|H1kYDE^U>o#)gfn zY?Z67N=booH+jrY8IY#=a{JR1_klWdM6=WMMP9w@F@l@Dq(;a-pDq+{kCv zYgISVBq3NqTm@f%TAoUO2{Yd+Z|Omae+(?Q$3)??0gkDThPUTOUIFAc}Y5_*dKz zhAjxo&_Do|%RgIN(e~APNikKbgKXcN;aQE;a#zj!@SHtQF7F-2b9#_}c-9?6zI8Sp zt)TxAWCi1(OvoWKhD23BOKtua!yB`|NRsurF|uPi#SAF|_kP-7)cY(LwchM~Qwo6a z;B`X^Xy`M^hSM-+(=?gjL$=3iw}M<3Am;~+N@%~JRk=OA^wBhW>(j6Y{s2)*QahvN ze-23l