From a5cf3a51c59d517a0df0ba773fd179140f2d50c3 Mon Sep 17 00:00:00 2001 From: josd Date: Wed, 9 Oct 2024 11:24:07 +0200 Subject: [PATCH] fixing log:query for bng (blank node graphs) --- RELEASE | 1 + VERSION | 2 +- eye.pl | 11 ++-- eye.zip | Bin 106707 -> 106722 bytes reasoning/bng/complement.trig | 77 +++++++++++++++++++++++++++ reasoning/bng/output/complement.trig | 9 ++++ 6 files changed, 94 insertions(+), 6 deletions(-) create mode 100644 reasoning/bng/complement.trig create mode 100644 reasoning/bng/output/complement.trig diff --git a/RELEASE b/RELEASE index 0e06d5cec..bae0a18cb 100644 --- a/RELEASE +++ b/RELEASE @@ -1,5 +1,6 @@ EYE release +v10.24.17 (2024-10-09) fixing log:query for bng (blank node graphs) v10.24.16 (2024-10-07) adding extra ("skolem-genid" "your-genid" args) log:skolem iri v10.24.15 (2024-10-06) refactoring graph statement maps v10.24.14 (2024-10-05) fixing https://github.com/eyereasoner/eye/issues/118 for gsm diff --git a/VERSION b/VERSION index 10f40038a..9dc7ccd99 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -10.24.16 +10.24.17 diff --git a/eye.pl b/eye.pl index f6412175b..a1e113260 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.16 (2024-10-07)'). +version_info('EYE v10.24.17 (2024-10-09)'). license_info('MIT License @@ -5285,9 +5285,9 @@ \+atomic(A), \+atomic(B), djiti_answer(answer(B), D), - \+implies(A, D, '<>'), - !, - makevars(implies(A, D, '<>'), C, zeta). + makevars(implies(A, D, '<>'), C, zeta), + \+C, + !. djiti_fact(quad(T, G), quad(T, G)) :- !, ( \+graphid(G) @@ -5396,7 +5396,8 @@ assertz(implies(( ''(A, B), ''(A, C), - ''(B, D)), (C:-D), '<>')), + ''(B, D) + ), (C:-D), '<>')), % create queries assertz(implies(( diff --git a/eye.zip b/eye.zip index 8ea10a4638b34e0f9652cb786a67f00de472b264..923a5be34e97c06dede81c03b54f63be626f7006 100644 GIT binary patch delta 59198 zcmV(|K+(U`!3N^N1`SY40|W{H000001Y1dw4H^fxO9p4RO9qiHLIX~$1+jBM0t4F} z1(UY|b^}hV1(PrX{R7z@1+y>&gaHl8T1i=hk!aTF%>V!plfeZR2TMx^XG=>4limd* zf4jGvO*1cboYr?qoUxtu`r15?EYr5O`c+YilbfA>_6LxZL`jrvr@eW(+gc_85ClOG z03rWOI(z&zekOz1p&|K5BVu}fw1(#(^!+6ncq`kZK#lyvXXJvCvF`);e$)YBLMd5C zQNT{R-IX1!RLt;i}uD<}549A{_X7~i3EMl$JK}Gk9 zdhE%q?q^RdqBZ>y4c!{@ap+WcT5B_8wqFhKm6;E;x_fRi`s=Ie{)HLUV8b#w{%ZE8 z9oaS0Uz;`b?PU!nbvJb0jp8tJ>bS7Nq}MVdYi;N`wI~BAx5=zcqA;dg5Kv#bfB4VL z52%;NYdlaCx;L}ErEfF`9|z>&uy=6u>frG2#5n35z3LqHI=$apO$2sq3lxM(;OpU( zT#1%Oqwfb#p}ks1#IRcAsMq_o1K7u^x;Jh?J8Xu-5t|X%9CZFfR-x%dbkQcu5Of>1 z3hKd%0*5~Ap(hdmgMi@ABh&V5e{V%hV!>DqfQ;5ahWX2AV}=xf7sO=Dw`^GG1zGr3 z>{2f>BOGsOJCqRvb|m>}A~Aky@j({UbQ-oturKK%8`xWZ9FdT+D6}o4(I&QMIq?E{ zNV*-{wdDwi&IQ04Kopjt&G~E-SPgrLpOjB4i07~g*KM+}k@P%{ppjuCf0tw%=h5{; z!l>gkfPxKt^SNf+aTsJhK!HY5L=0OtYv0Y!#Ac0U9C|P$c0CyP-@(`OH^Zyp^kchmIh@`g&CAi4f1H!s^YL`pzq>jg zliR!T?PxN9;V*#f&G6=O45JLL2RG9L7!}&c;5~dHlXvG=S2$GT{0_JuBY&hny8SpF zzI`_(??zV_1896R0M5?eTn)rfFsc64`S7|;F3zvd-wrs|2&jx32qw5AAKneH3CBB! z|M#cE(G5UW;vdws2_%tL7SY9hZ7XY<#=@6ZlE{;W5kI7-pxQzK~a<3 ziU0_HznctFg5+Xweg(89h>TNAfDgC@SyLyF=Hrf;D|$lUxFV;1z%}6PB{>B%ZQ|$G zn1)YhFO%8{8v=XillKWu6Jt0XR?xEDz`<>}E3E`xPc3+GlUNEK2`6$2|C|+3-d&S_ z3U(34Od<@ZhU#p%G|VM12Rri7lLiZj5g)+sCY89nw*ob`Q1Plz>0^_h3m*XklfMfv z0b`T!3*7|=Je-{;lhO<>0hW^i4L~; z0(&r%{SGmIUrS;ImU)-a$6QRpq9R?Df7#f{+7h9c1now)Tauf1%t}p` zrM41o0QyN6Gn37{<8mKkGc>|8Fv3M)XpEe0GX>$2MKtLCy}Zn_%TOdC4E*kT2`y`p z-PbBc0M6XJ$kA7wIf7uTWLx>EQf|~>ht!I>*H|2XE2Pl|-18DVus(}5)|Xij(P|n& ztxB!b#rV)FtteZAFR49PB6IE(S&7^Ly~`r?D28C4jf~nmT1F21O9^s@|s_}7_(N|(}8#ya~WyFADD?+hyKO@ zgbYqRA)oyIR5G;Vc!Pd^z*6JZK`|X6$MohikOSBQW9ha@PtH7Rb(dKy_+uexdQNCb z#R|r*ZM+sXChvJk3;w?)5pe>O_vDm+{MJaA2HWqN5f;dVGa80|*e1=FFUep$9*qe; zd>oLFevR!AQz#L{0w#;(wR4h9{0#uVdCfNYbl=LPwFF;wJrnw<&{rUYY`EACTS6*a zWXZzimLIi*MWAD@ASMX63H2-=t51wLTK=Y%@l?yIq+lo)GYF`+FaY~gv(ssR{)OGa zy##BNlnNQ;AfOHSsWNOReMn5~2$0VuIHUI|Ed;|BfNFM{IaR`B`V8~Ov&f&}B`6b< z=D{FF3eb|*Gme4IZia!hB`jZ>OaZecFeBfU;OFp|kj?|x)(men0M3K8;F}jHHVMoK zky<%{Fe#8gl?X~a!Gn)D839~>ss)@N*k%8j-)NXr675>XvB${`A=Zz#^FeH7HC&3B zdZQ^Xl9~w@`gPUq3Hn68{WtuNtNEs9hylpv&=8bV&CgYjy%%59jiDj`Z6hd4XqB3= zWyh~<(1_b)n0gbqo8`DR|3s#)Z4WcAlY|Fkl_1@DiB(Z9>E!Go*9>g;M_rlghfj)C!6W}YM) zxIMX^GH;KD7AUedfAUfo_-&p+T1KazC? zuI>vvV7Id_y|+(KboyvV-1N4|aiszl*NaaxyBEzAA#1B$Zy}~!#ZxmQ;x3cSrIC6L zJCg&AQ%K>RpI#E8s>pb7`Cc_?rY65UeJBLUMjp? zFZbugU8cNTFQ3ngvhl!MmyU=+L9{5&DL|pO&YhS~_uQ9C-1fg6$Y!u(++}3gf7d4O z|KgS{gM?sxhG!IiTD&%S(f_JhzJ7n*Ki<&FxY~m@IR{n`^ zyy#9m=8M)u8@KoTGY}8_np-?3dK^+ahCs9?W9RgLp}$wVgsEJI~TZ zPpvYBlX&9+EKhrQ&L*p#L2TftO+XG6kRRi~!ayM}Gy1k6pIk;QV!=YfaQ9hD!oj`R zWXS0B@EIE|IpKKG0KRwub6T1Xqh*k6FP39oycdzLD(Jd-8BUvY4of|Ak3xrsmzus; z9&}mXjW-E@TCzNIukBebXb`P+Oa_%bR-p%%xp>)U3|W+|u_~E7T$`kTe~@~>Ud3XG zMJ<4qc$V=4zsdonIz4NaU>3eL^Fkf=Mp;HbfZ1^!=Bmu{J}Cx~pE6gJ1EbBuQs?G9 z`XxJ@<^}Wg7C$RC4BoUD3P56mG%-apdC^RHyX-)JzI0~$-GdFB-<>a>zwx?!xwSO{E3ueSZy4okNE4N{sM)3^k2+pRAm9aW0Gm;zfMy>U~s!p%aN zQ&YEp)Jm)tEFX;~5Iboqi9ay*rHxm!z zGjQ>_`EB#L**XyNg*|XzJsv0sw;Rbm2|{#%=!_T5+OUT*Tbe~Oc(abu$g2X(jbG2_ zg^n%c^XsH6Dv5*g3!DHMMW`KiA`boezw*0(H&0#m3TFyLmMbJ}=JhrgeOF;@4I~Qb zxJe-v=jI+-wL5x(o%%CH9upj*)G13;a@ks~zXXz<9@YCx2y%R1R7qu<@8lwZTd?uN zFMB#kN9x%7M#9VkET0qaKcDb_F|CQ!@7=@v9?5kYnG_RUsOi?d zK6(8)34xOi{&I#el%g=EAei(84#$(`^q^U{xiic>7MzhYf63E@2hA$gMV7NJEODiU zwmn3`PaSzE>33xAeA?}Fk~fa&0aYA-FFgi#81Y#rVsSv>a@LKRZTzy&SLt$|iY*7+ zouLQ$rs`DBhJRDRpm)5pKm=%oJYIEszk>Mfk|>mDNgD%1mbNv}wTAkz533PpmZ(Oo z?2bd`YZ(wHb`d|_wep>&qM0>~z~VLnJ5TT#-=|0#Al!%e)^?P2kv#_9SE_q|Lu9^1 zE6;i#mz`jl{yx^^ziac^yXLfE^g>SiSeMk^FR@MXjHlTqUP!Ip%@?PkO$Hq4;s4k% zgI><0>sz*E+MBsjekCW2zZo&}V#i7Dq(7*enCEbFEt@0lX^9(cRycH(?hWr(JGbe% zysARv+(fZ#-?&{qw#i*+7gkSy-SsJm{s{aJCbU&qZ9iOd5ivhGS+qk+9Iel^Uv38T zGrisBgTC7CgZ}c}K4_Tc9rtiSU#Ua?2p4qd1tlm=f(Tbt!XZ1**XPM0;0r303h;y37bOdpCdVSdQ>isq2_j<|5`V6^jRq5w{Y6`L+(s~C^Nmje2-V(v? zH8mjRST~>RQn}BHF8)cM_LHN6JJU-tPkk3@YJat9&-K;Q&~sQ1Tg#~|P{EYzUi=kv z)j5XLWcdzEICN!NPy5M7;AltBchwFoep{-j_;SeHk4nnlliWd{CFFOibg5kE%64l7 zgx-+&H5A}~)y;h5D=g6f2NOOE88BXWo}sh_Xt5A9b;Y-2vY zExD!AUMmT^!V>5f#g2B-G~LgP?P(CSB=mgNf^K88@S|qW;Ic@en#n52Ej;Fb9&LXP z3;31%Rlx1a-E)_@NMJjE`z>+uqiy?hmSR@2RD#%l!i)F`xcxbic$It<`nPexOF#B! zLR5@Y@{sG^!UF%vy8T%YXq7DFyX#p9_H8>63psEjfsijJQ^AYA$`3c@)co_M1wnxJb)W6;z3d!stad#g8aGhee55!(IVm zU)IupJDz7Sm)#FlvsZ$tb&QqLfoJ*0xzdAYYH8l7E)_HEqMG6kbU%?M7qB`m3Vn5B zE5$0e{C6d5nW!vu5xBbzh;`X}O*L1OlVc&*Q#Y#eLzneq-|))}4s9I$@8SQo_vVdh z97*Hw|Na!?WcLSHLIT-w5?{}9>F^;d)?pogW_b~eq*Y{t;pAk$iKoKmbt*JxSs@^IefI8u zmAtsVh3kwOf%H2#eQP08zpK-?foum|+a@L5>06#y*(x^^kvT1UEwCn(O$F;7{$f{6 z5v+szOf((AGZlWnLn;ZJG#pGPIJ{d)1L=&rUpn+=o>_I1X57YV5~d&| z$3lD!9mpI>49AXALk;tAWY@w-=}Bw}a7kFsSmHT~v3ypqEk#t>XzhU+6+Ghup9Qj7 zX*8Y~&n?4vKr=^>j?)l*2W*aiEQjfPMwE&<$3fwr2Xbb>Vz9(t2usAaENLTX7>zs@ zjYN7YTEr~&{2Hl?@u!bViu(llTDT`84v1?=*lyc0By1TEQ9}@U4oIb)?syW}Eoa20 zHtJ3;h_8sVf{C18F)S6C!rdk?PephrR5{ML$`MG40lgKX3=uxc=p+Mw9VbfHBfmRg z-@8aGM7$AC+q;Q0wE*usIG9LoD15oo;A=|l4ynvTdkJrfhoc}YLgP@3j6q_WcwKbW zI8oA>NyC|8#7JCTwnArw9vWYk(1GAseI#%rekZb=%$_^kff1RqJXsgq4Je%0ZL%RJ zlG}`?m$NfvAC%M?C;TOl^i-EAywZJVz6ZWG~D2BA)uCu?A(1`qVH+h~^(IU_Ry zvl@-1u=ccWhgj@%2o}tZjk=ifpza9eNC+q`^Pu`XA#3zi=>0`uUUB0a0GPs4S3@e- z#wR1z0{DleRJNA>r)hVvH+)fms@beFb;HbDP*uh;j&)gyk29lx{U{Ps8?)e|#)NWI zmGup6(NGTdfoFpa%g~L5V5#t=Tqrh#6tBbi1meVz{6+MhA$BUApqa5ro5>NE^Ky_M zbtPh7y|{6IpSBHOqFJT3#AEkNZzA~_jit6>I7 zO+dUtvxg4XBw|@wb)}mPV&(SDGQvAu>YXn2PM7*)=u-KAO$&Q7v8X)cfCi!|FBR5R z0FHDzwXkE}9AuXaVMt`dWv2tAFe>T~OPKI9;rGvldvPJ!3Dd-Z5u54`LBT;i!BCnd zLzQU;(2?p8J0vAil^mB$T!kSap+mII_`0~r*9RiTJ@O3uEACzS0{5f9>w*Tx*el7%G;<*(v~>6Owk_70(5Lg3aVHh!BcGO zXtYJN&F_$%o{mrBW|PSPZ?n7nX-aL4umU^SK9a=Yauj*XU$s>8NzdN%l@;&A{S>C= zPLDk;J8Y6k6PD#0x3gL_&mfbb+*Z<1Buw zvN5T#*R;sqTG>>+5LIx1*zmQ67zk+sbh(3o-w9L@pn4-f)eY>XSca*>;o)T|ck4bQ z2u`fyBe1AWP}Uc0q|gZ=SW~u(f*pjY21Jp57dT@5ID`o{-kl4Cw4J~@WT?IaNWHp$ zfCC}wsvfu_@W~Np>ZojhWszN&Nem=`(W_rL0?@!e42|gR!X3X)?rq22+s;MmkbW`f zvxjf8QJFM=k7xiNQ=;o5i_k+*^q)8s{YUBHKPgdkq4coxpR{Os%DUXSNQ1JoY1o^f zGYd>W17@NVht~x0T1M=Lr5;u=Hg;lvNYJM364l(8vMzeZ2wfLIf^XS+a`xgtPwa4I zu`+IWSvqCyiDCT5c|dq7`1Ob9p8nR8*)}OhZIIjrW_bg+7~ACxZ~3|!WHDnbF7+0c zjzzdh%Hx|rC7#P1o`H6d?T00=DDC7B4GiR1lt9$rRzg#c%kL&JL0cVb+Re*lEVbyh~b40v?5f3Jkyr8WYO#_^gQqVg8eg^-`8gMr?wBkSG`_7zYss9^1Jt62-$# z*pC6xixrf{y@aZ|&I8U2yjx-^Dr-BSLHGD(A)^f3HvU+TpOxBv=uL*`?+y-`ht3US zICrvpDtddQ96A$kn9xCm97FbhE=PCwI(PRvclSDX_d0j?I?j6?3H(n}c+^LG^<2*P zy=v^Ol9cLSLNtk9B&}Pk3Bd>1h~Ps3KNZF|Q@5gq7qK(i!q{1 zFv7qaVUgcQ(BeoWK=Qq1IYY8|CoYi(3j$N-@pV{oIhF?@DjoDY9JKBk5|!|~>_t?q zl&E>6GCC)Ld+spJ5}8m0?2P@-w&NaA3rK~edrJCc+rPF6@66j|Z|s(&=`9hvcZzRN zuE=im$Z>iTGs*g}|0Q03Hr*RTjSrc0XJ~B{q2*-{dMU+ZDdiAv*jPx+6~J&y9uvX`L@L+YjBVLJ_CS#GqL3;fW1&`DUyXZIu$?8A zbL+adW(r%03r2l`!c_M;U!qVNvAsw!i|U222^h+3*ToKrKFK|QN{+oD3GGtc4c;J* z=&@$G%}&v--kznUl=8J&%KCsy)e&R;!xGr@;zwlcbW2F)x#CrBoz#@=kR}pHI@|Jc zF0C|l!nSG-e$1OS*5%{eXI=-&wo1ms^NV&) zb}AUX43-M)~Q@(^@Me z+;^qDN?Ocq(L!#FGT$0GZ;ld4CgmLscqv4^>=!th?pxnYa?z%jT-Ri9OF~rs4Y1WC zdj3DaI14m?7F5nl!<3wVB8g*QGI82xWJ6&xL8Pz)%XIab zXdjk-iqrUnSxv~kkvUlg)3UT?X0w}|EyDaPyD3`EW@+hYB@?A5ny$@m#+H{!TXyrd z98BHPqdLw6F2j_>N?)1m=jIXHGTYVVVPlt>kEcNAY<75y*illWFs^4IwkN+6l^Ke=9zV?|o!(+x?=gTm!Ub_Ke>a_=6!JA$_~ zJ4)o`6_#~~b7;(3-A5nx2#~Gdb<;!ItgL=NQg!dLl3MFPi9MUOn-5EAIy#x*IupMK z`}Md@Z`FuVr--HO6^VdZJcP(?{o}H;xim1eZ4(${i4YDHL&-WSK`Omgo0p=Ho8J9L|K8!-XLR4>wOy zOu=7z790Bzi-t^T-1960bTkPg8mf#BBo>dZ30MFWN68cV)J6zLc@ctT`?M_$RDLps zg8LFP6H_j1uG!RUbD5UlqAfhee*Fu^(mq~E8X7RnQjX=&k>eU5Au01&0hw@rp>^yW zrHzpsNsJ_ciOhkv?27;|{6u8Bur+soGY$1J!thlrzoSG>=eYf_TAq+L*$wQG6qe`6;-jVt9aft^>k2=91Tjm$qf<=t4?A9)5uqUAC@>W>M}Aq zfQ@ByCO5>nXOpytdO>}yx2>~TBV~XxMUMeBL)Ul$AiMp#>U@bfTSd9XVjpLKg6 zaQ}l$wJbEYU|}9CdmB>pE_V1jC@E<;vQlwFN)$RcG?a~jl!Iq*GK2$9abtioBYU-; zmbFgDh=h2Q(`(DD2=#w|c7}Epbo$d~pP;4H=8m3nX)6vfo?AK|_mp+j5|KgKx$^|3 ztgS8-dg$B`)ve2D1JlA9rVC8Nriq(ew!(^U*-SDm%VY}(4Hm{rONDbkjJ{kJUoLyE zQa1NWth7zjM#xrUg8{JR24Kr*&3eRpt!Va#a9o6)>5VwcN5k=dr1(adSzdNOVsEf_ zI8YiZRp+yf*7DmnA&dx#923faEj*ZJ6E@rcYkHXzvwOqZeA55va5(V0SmqYXQSb%= zLml@|S-TEaGjEV!SDO_c^wDU`Fj?x{W1-@hb_OCmlf_vAuFI-QFA>5!gjNBjx_bEL z^=|LNzwG`D_gd$F_$-`U7Re;%sS5Uo(^Kg&LiqvKy4Ze!U~Gd*ZlBISn4FYK@>b<) zlHo~GZQ*ozPoleeAIZ}akbczbj(nQl5Fsa}(k(SLK5G2Bd+>v9cy5D~q~{E&rT>}* zK@JgEo(!UFf?(J-0Bbn_7@|B3UET5)qf;Ofc_idDYFfm9y>`tL7Ly9lVTaBdd^Vvr znZJ5Tz*Wd#gd5^VB{g0w=Yd3ez{Y1| z{HxpR4aeYY0O21J4n<(UbJ-oQh7ZeuKRH{OTu)F7K^TpKvETPjzpw^i%2&>Z!}Ec^ z(i>i`j#fW^UIM(USHZ_%b<+>WUr^`wx?wnkhpmSpmpEB8R36ULE00}$5NE5RpzDjUr%=WjH+-rl)MnFr>V65x5O^J;9rg=Uphow?uY>w z+)lXU+yCewVT7IWDIKJav5q;mHEC?BlWkR$5%?v4ovmb>i<81%1qzXWJsSHFJVy*w zxKqac)bN&+zKLUp=mcy<0&r4TF0`$E>L8_ph4y9uM7C4x*r#Ky0EvZCn=@rrm^@djm&U2K z;&t+WDJt+?2k|?)+3b}hs@#k7m9_{2n6Ft*79a|p(B2V$L%o5-bwacor~~*y1oac) z*eHIX5>=Xw$A(kzH#HT1sHG}UqMafbXo9Wp0-XFQ&N}KO#C!bftOpTJ-|r2&W4tB> zA#^906d(deNu^!H1qMMcm_S^PeQBzBunzfu#EkgGaPXO=@8k3A{<|$DKPI$@Y)-~= zp+1M*3Od<2Fpm(>^@mqz7e;O1vnAw$BBu*vF7x19H%6)!4JH@E>7+lLti(xz34^-%hGbq(sr^2w18C@1;Vm9 zpqxm^DDWQC?4l8)FY+jQXbVNn!C!TKzzp&VYCC&U1DUondYnR_DiR*-(~@wTMaWvQ zR{XC}D-}*deB7y9B7%uM#`##i=30AyuD{%FhGU@n9eLKRO#E77p~^B zt?J+neSTdjBKAA~8XP6UNzfe_G=4T5?+!2ZEf1mhbU46r;4c0eN!-CiRx`nqohnP= zodTsb#Z8z_>L)y>e>h#zyEH%)YU~djnksR-m$_Vveh0oHZ~>t`CjsSca*;NFsm|#W z6VaZi3DMJ#EP|FaoIlvf3sSMj3aN0`kdG}?4o1n)n#=>}c?Mcq;|5zW05JER4!UTn zVHS()> z*QSzRS087zt6mIsdW{)ubqHI3RF@m=Ao?^NPJCHaW9g;EW1g|))Z+I^nqJz?oLihZ z1M&n)kx1*0gC4`|HkNSZLkG!+10l+*%XS5PE}Xcvd`+<7<$A_)?<*_Kd{0 zZmgvP=$SohqD+)pUW4_mRza14*mA|sgqSD#L=-$U^$#aP0dayKJOS|7lO}CZvu&y+ z+}+VeztS49N9!DBpoKPC2=_p>7;!V9tr=@Y`;<85MADByYlf<4&N(rZLh?kYTt-2W z`2YfDKnK<^ESx_b;43_T%AY!x1F`(3(g8ya$8Ot@Ie5f2_5`F^DJhOP0Suzr#Dk7; zngM!WA`AW)REh!E>LqUC5*3i^bwe8@wqh(@%lSl_DejgGxg7Ar#ffcYOJLIufi$aW zB*yio1;Oi0@5OVk>5h0FFHT~gHeJjE(E&~-sqSY}m;<5V|4dJR8cfg>3OZd(!*7_O z8czyFyq3g38r-X2Y9keN{0Ze4mobCxNt{t*Ugfz>If-oSFqvM{>A;7wpFgoqwnPoj z(MhqIB~C>;Ldixf--=*T5=~+xfc%LkZCDh1xPR{LCh;fEeGa)r5glBAJgoT$`sV!#JCuqBxGqJ$@)p^)i(sZWQBGM@4_Rmz+A`JIkH-L|$)kn3 z5jND_A6nbEE1B9RsT+6IGTLo}G;Q^5VI_(6=p@i%eOtgL0wwRo%^Mh&HmS3r{qDX9 ztMDJ%EJA&*8`F<}|7C`SB$GFv1g0mDl1|2>&iMrWUj{(4f@Xk}6vZb2#0kY-q(QMaGN9NS+79jz zd3ywzZJ`2PcG$=mpp#{-Agu7;LOV`%E#F|hgoq7WOI4fmCM*9^fl1TMN*dk&dd^1= zUY6{Cw`TIg2d*-%A|{|)8lQ6TC~Q38U?XX4fWl$ef#r)!lsyW59&F zHG%gsEJjX5JnP_PL<(t|oGhEu?cQyaDE01t4M!<<^BTN5nRWP^PJ1U+NYY@?;Sd^l z0uN_fwHS4}pIVR4I>^w~)M1)d-()*0JKc%nkZAelcpneCjTAEi;;W>ns~6}YkEh*985^-3AvWc#0g zc1v1U_@{$K3pKuzQ)lDF|GwkJKN>G~(z1&eJBfH^UYwZ~*W-C{W>#FkO}x0Ckr~g( zi=BJ$cgBlj#}UJeog&4p;Ki0h8J3!D8_CVTnBx$RD^MHCHV!RpAUT;|mI)GJjFX)E2%yt5jEUL)5Z! zdfFHuVdU+Z)|NJ=4@=e;bd+%JQh_*yfMgGxyms&BwuEn^8O+1dO)Y8$K*CCY{#)44 zq?Ggu>G{)c4URhk$)LPu@`>aPSxl)4RE;qtnjQPH3L0;!dDWiIr;YP6R;a;t6NWq z&Npys?nauz-F7mEQpBu=TGv#6f3;jlxFBAtFPMzj`u_VGNWb76+S*%8Du z^LLpMe(?_^3`eC|{I+nc9jkvHHDTmeU*cLzyMo#%N%tta&y>w8U_%XmmC9n?V2R$i zi`=$QA$9I}V-LCdhO%d@F?!pMn{tddlM^MNH&4vm{~-`$dc(1c*{R(|yhz7P^U?Aw zHmgsY((?TukI3|2<+A>S7Hn%JpC&PKnTup`<`-Rn%K~?NQJlji=SjXu?IounTJ7Vg zJ4h%eIZ#)Dkz)v2JpM`-=k0jd41WA~!FT(%{}JT2~fGB=;`K zx`Wz#k#t;eIn;@vjRb=xSl zYY0lTc*Y<#Slhx(DD#PT@X`NrH5~V0bXkKO*s*zvV-meS9mt}HB)y>=1lZ}|+u0zq z&hR(44f5;msXwrlQJyTo!z+U~Cn}BTTC+a}OW%q^R1~hPt_v+}dPCvZHC#oE2pRH? z8Lfpc&faLVPA?6A->4UcvbVg^u@l7a%NDVivSrs9Nxr>g7?%AJQv1j709ro1*>pD( zcPq+jtF?q{rsPz8Lj0ihxH-&G34fFv9@$Em9Jx({w`)~+r?KvYHW-Y~m7X2pdAM+8 z^Es~#2DixNe46NTKF#KG&UZI?gET^I+|L|w_D+g8ETa3=u_ z;CauVd+3nY8J^*X0y(fSW)agKAZ960>+2rIj&#vM(FLQ1(Ubg=2v|+CDRLBy+Htpe zixIb(9c!CN7;$4uLsYR$_BZ&Dx=})t;&SNNK`};At{`>f`yVZ|%Ef$yZ_To!3ZPaB zm9Kk$Yi(V4m&ty+s&0*_iue2(>O!s5z^RqO?{RJET6yY~#vJV^iW(&D40edJ1l}(a zo-_&T%aN>{0a5S zLui8Y;L6v%YP*z)qE(bh8TZXjDL3Q~22e_W`Po4!v<3U5L?43@;l6w#m_m~-*)^?M z)*)ZZdVg17($k4X-5w^uNqi}WDv@dbW%N@O(^ew zDUp7~nsWC~I_~s8Ir^3mU6=#W1t+2l35YJlBD#csyvBMP3wLoCvK$@^bRETj=Ub1|iMaXffPZs5bo&xxgSKHVt61#!4jdxxA&#P0gR zIOu>}9+~`u6aXbR(WvX815n@eArA`U3*G?sq;(?V#XN{82}Dq5;~6RD1qLO5|3&j( zK@cS7z7r2$=fT5Q-VKd<@9gG(^K|nhi##hc%)zjS4u0`$lgZMB0yc2st5iytqnQ)N zs&mnQ@y6vay9t^EL#CB#F6*bifAdmO2wW$+|2;dpozlFD#;Ot^NfM75SkZtc%`O!+ z)-<6=o})Eoj`Z^!oe+$nCt3l2dB#WqLw>?Dw`LJ+_z{kyUz_f#I^7b6cEk)wOdSgB z#4)}SiKnTbBes{tF%q+f@>k6D+9^dO)}#cY+9VZfSMFJkA4ca(3-4Smc+ee8eeIn) zy)jZo!d(c_d5o^`30#xkHB|$vRiOnDt;>7^We_4>k*xNAcomDJU#Jj&(6Ra=N%OLu zN%gWlx9;VhZ0sPxBN578B`rK;q*~7u$chynict+7ph^wb5 z<`l*aU99MkY-1H8E-2FL-oGGSH85p&B&V&z9JG&{KIXFgtunNA85M|bAkvObuqc*iBE%--_7dRPwwy-@B6a?{ng?(MZ zLH+rup6ZD^>U&Xov@knzjO!MvX%52CRL0MW)Ss+;l6owP&@ILDAv$b)avVTSrIJI% z*)eqPuJ)Pjh@37*QKacEmK_U&`JRK^iz(&AXxq}0s&WAatf@nPuB&4ymNX)T&rybL z$Qh0qML)33gsI+gVISl=7^qVpB!g#F`|WAqeE1;X*_5Hl4UGHB!Hd`gNa}6zXsrbA zngd=*>LYw1e{h{xyBB?9J`hRMR7k@IqO^RVFdH9;9DE>h@PR0f4-~TUfhaW}D9p(R zB82lf_(0_31CAMgML$yTfykujLMn=mTofJ6!UtvsBQ+n0Tznv!fe+-5wR_@9;~Vh- z-XEH#F#jHLU#4$L^!p&hsh=`@^e<2AvZtd((U2 zRj$|3KTZQJ2*p?2ELX0p74)z4;zhNxRJm^cR;kF(hO32tyvt!9HT0;0i#FtESSxkq>8?k4xhMefnxlH4OFxl=l*6ec_yQPm_Z5%TJ%a`n^9)kC>@n7R5` zu0GCO{YRdPg6ha;m643P3xX9yo6l`QaU)+Jusl_esCU4ip^@tIty!Nr8QA$&0guDS?Qsu z^w3`Eky+`HsPw3$%~`Yh>{)efsk!#-*>6kDhtHlpT53Lmx8}Ox`LuiP>n8(xd%{p7 z^@7TO4Te|zSp_@N23O+_c9fI1XLea3Vwi!q1V9iedmWBphQtT}kGG>8TvUCu8@&73 zpcGnYkw^5OLj5U#mW}96@Q+57Vorw6**Ti5V!V;Tno?Lo)58RGKGe{O1qhL?kBI?e z!>ESPm4w2W0!5oq!ql4=-@YeEDKI!ZzSYZbnEDfPgA z@X|_rInb5>;i-YvFt!ZOgq|1Mw<+{VmdQU z7kXA?Fx={M(OV_I-k2mqWMLiKR^)Ym2cwIw^bnMzPUX5`StiZLDJnL9Gb^sAskm;b zxVFBYqUOV2Ex>clo~qlmN~K}rC6#8X$~K_as=uY`xnbpE>#bDSs#L0$ zx&1ZOnAd-|^}OC}q^jIpw^d$WPlGVLdz!UdAl69K?;`wO^ySi|`!vjomjw%d7Rhx{ zq+i#6wPq;W&O;mYm4}blmt*U#RUWR}i0n}Xj!?q9R5^ku`#`K=ZI^Udtj;TClaxGIYQK$U(R zOUNw^OZqBnRq$tX=lwG#kI3c*8Z5G)6$X3n_I{Nf?dz~o_zPva@>XK<$}xHOWAgqH zllT8(@(M9|#hAQOOx}Z-yrr1D<(RyuF?r8p@>XN={x2r)=a{^I#pL~eGbXQtPYjY< z2SV|(S17_9sL3V#jHZ!%f|5_nUf|8$@$xl)8Q#1L$DEYr;^8Zls z|IFn7L&^VVCf`TN_s!&g<4{0G@^h5@+)RE(UX#$1Uyzq0^yGiw2TqOTuPFJenfw<@ z{;Pm55_r%89!EnKGevfP<+?_BrM?sPsEIh$w>WPGrKXyWreZ2}^eU-?FyJ^lk|Sy5 z`gfG1rqqN$uZ>18*)&qtDkT~h=bhh;hG7t%d&B8uG@U?foU2MvR`ajmghII-Tz1d> z0z&!Mnju@DBDE4JS^HX7?c<~<@--IQ3&MN-R8S)`@**Mvm?sy1QQPUTa?lP}Q$nm{ z2x8~`^w-r-5DBU#h2r3ue_hF0B|d~YMtoHte)T&ZRFw|uLI(b$?~gjs$Kk-gEOuY{|ef06Ki=?IVL|0{om7@Mf=wlkjIpGDe*JszbpBK3V*E#98$R`y}ZD@ySs zhvDE$IrOh!%fZRvaOCS6y;Y0+ZqWQ(*{zz-8A zy)~iX)QVRN#R0P>thOUUESGFE@rca?n(h$s_5rrl@Vl4A_iRy4d^98cmqY^y!SC6O zTs^c;ATwLW%pg23Zf}(Ir&`AT6u=FLS=M`WMi5j zrmS8F@xjY~Zl^aLN5iqm*GJ!lo_Anj?vDeD!-0~mjBGL-^mTSh07LxgE&d|$RG595CBp@t-pe>9xLp0!|2K%7wbrVtFNK|9$IjCB61<5I5Fb@0}5Hp=>I2}1RdHO z{b-=6XJ2`xe^ShJh#7C-hno;yyXdDzn2j{MBYw~2XO14ULmn#ebD5|3hb6Y0aSc++ z5(JxaJzL>YiXBy%KSXs6Q*3CI?9u=Xmvm>}<5?Uf_6*fId73hI2;3+^SSMHm5DNZ4qGg>2f1kmSP8Zd6GE6#DSi>ueQ0AlY zaCpYz9DBPTWsWi`s=o=ImE#pEGs9Dpvo)$LnK3?C|GWd>+ZtS+wZ#VFg`gP;hM}$9 zrv+m!hzjMAgYW9|6-z1gWp5|!BhG_%h<7-(rjhYGn#+G>2!HArOKQ^?bJO zx{wJHskzIVkX?O(SZcP14lL4uLn4UNCAjxrvz)R_(rN)@vMWEDVR2H(|0ff=gYlPL zoIi}0W+l@^a>gA_5ft9*-q3pBP!Gbdd$JWM`sF=?n*5|X_D6nK8WYxGOD&}6qM;YW zf7!(b&8`J#wW0qS0bZTWAnxSyA8R$Gj*7V$@Cce3;Y7A}#jQhxA-UW84yi3bEb~PH zgFQw(owC_li5iYVxqkxZ-yKfJJs&@2dl^JH09M!=Od)PR-3{dPDciWhVaPlmuExch zswN@15P)CXSC}9P?~!)^f7iu&8OPM>f6JHeWC{QQy!saGjRG1&_bW|3psth=wQN}N zT`RhXIFU3#9L2p9FbsxFO5{Q#NLkFIv}_#AU%5w>AhR3CSi9$n0Wfd4}z#oc48@7vk)bvJl+f|!;swg1f9;MNC zXdx0L5wh3Y`)t@nPIa?SQam~LN@JIxdoG)(l6pZhBbA)`z3wzJ3H;>7*UJu?ksv(R zn|eA+TM=e)PN)0z&tR zbP<5qfRXfGwUS-ePO;lwu`xA7;w$nFW!dBZMtj0mc;=76Q|9~M5{Swqt3&`Y2N5_j zUL%}P+G(@v1dXk`uM?(Wa29k=VMD^5qgLvXcIp>p05syj6(zh>+0dUce~^Sk^44t~ zG(YISrt&7}a6BnCBM|$;KH_(B9+q~|xG*RYg%|IU?m`q`t&oH`m?+u`E$7-A*&E#l z&d0b9%$|fwOOzoX$DK&=-flykV{6VuIbc-^Sd{^#?4pmUB+!%t-&fO4^5``zk*eO#P+sVKB~b* z!+~lMLM;Rf(3IFq0TY1(OPLx@ z$)~(ZHVza9gBPYyUMv;(G!v>)A2ldi7&Nzx#cvpN2eNH!e=-QrxeDG&ZmaJct2ysg z;pV*#*r5X|ylEY(&T#lB2fPDwe+$4LmV_}caG!$uJ|oOj2S4!j+H#K;_67)W!(Kv2 zvb~Fsuy|kFe{YVA`xNa?vMBd%k%eVNu_$_S`1N(Wlw{ZOGyz7N84Si0qMT?tKI``U z$g~t;d~Lr|D7h>~I!{`iLfpIUyj=9LW4{O@C8Q0z>18KnX;z#UUuk1XC zypFRH8%X`>iA^?{m#m{vBjxk)a2obCdW@R{=LEQsf4>l%BH(jI>1TM~)2{IMd1BeJ8^U4AyBS`PyG$B|?6z^_zJdfncI51_txT+8cJ zO8vJqV>lUEaw3hca45K}Pzy}ZzI}Ms ze?A0gs|EXB-~cZZh&C`+Enubu^@#;k25u&pY;Zksz{OyDsh-aDe-Kgc(3+dHPiQcL zCr-<}g)TBDo|XZnlUK8?Sk#N{`4vbkFU#5>WyB(szQVJyZdkAKV(YS}>1rWGK{Q>8 zZ92Blmu3fo7pg~1#RF32B+h+~1R0JTf6K_=ARhIC)ToM%>KX6_4KH*Y=xlCnN^6Mj zPq4?Cr4PZb2J4mWS=iv+pn&&?0NFd@s1qC<#UWu=R}bI3-bF~e?EXv;17I8E^WGq7 z$8~Sf%d2~`U#-cCgmh6gZNvlo|NXMJuc4SmD4d1?c7+E`hI{`whFpcHj?qBhf4e+q z@f081WR7FCmHD?}h{kw27@i`Tv27Zr)T|zzlWH;YL2Kz!n*D=oxCXk`)cZ$?sJg1f z!aojb?+Wf_{_nu1EUii+z#+MysDEv=CGRCbUR^n7ODnMMUV(Le1?qR%KN)@spKMC# zpJc__#CA8Q`%GB;%cxRNLi(EHf5N56&&3Kbc#RkC7qk>jhrd=lfkxX&Fgo;$rUEzK zt3w{uQ;QZqvf*<@H>FotvDJ3IU~+IS0iOEZDUvw@zpv_16WXy|4Oy;;V!h(Uoe3so zK>pXG*%ZF?3Tj@vy3C5>vtS%el0A#gZ4>#_E2MPZ$qd%mPXpCNIq=PMe<|L!D9_^% zFi?7CH`4`$7^Hm<;bG$=MdpW zbah(>Kf7#xiq>J+56C;rNJhs}0#Ls5ih^P_yNCu0ZC_om|CN@jf0ni4b)MvN6As97 zTfj_oCi1_`mIT~XPwV5qZi9~h73Q9~yLr16^OnwrQ)Ns{M~noFb1rXdoCMDtXCV80 z|6^wiuu;0Y@Iw+|MAAPeq^Nyu9*4^;$%WWL%U^6*m-*{k|-wVETDE{AJ zsX%qj9ET;hd#D~cN4?Pz(Q}N)oMl+z!^qJPI0NvMp;m8d92_ueX;wk&zSCT)#)a?`ZB(-ZYQbnC>_)${;V0EZxM(o- z_}t_njq@mOju?+<*ygA~=BSY{N1~0{=IAIZ>_)$tLKo%9PfhcXP7FW2PdEK1Wqm7O z(Ef1d-T`Eqf3v}A-6^OLb8e`}C59|bsEM8Zk_6{IXm{oDnB@;jrYjK~_La+X6V&$! zn_4V}Y^ySEHq&ecI67Tc0q%Pyi0A+Q+Y-d5X}4e0TuYa|4O2OGUfgvaODf#6#mGB{ zxJ|CC4SKMU1G|}a=ZB641aGAQ;?y8xk~fkyfSfene*_BbXuEAX+B)=v&z{Lc*>zjy zr@&2-I`P5mBM46YN!PK6SR;SwGUc|-GsAoFf*sz1sQ4D%g0N|dsP*}t)Z(7^%&Tw^ zcF@u-i_AY@qb=`=gk4zLe~5<*_o!#n*Ini1!a49n20_%YPY!K^fWu+oL*eO%LV?2# zUN!w7e`4o)4j)zLMqjWc+97u~ETu4mO?jp#UHlwx7Q0qFEFbBE!G5BXAvHuOA2}-O zx3sDoSyA^nGj3{k+&8s5Zd(b-MuIf($mV$DDy4>taFo&Pb!kF`- z`I3`v%tiA~^1a<#`OZ1C`V!i1pHb6%6o;<(e*(H+Q3{yPv%w4?>-^Eh9*g<$N0wD$ z{4D&NS}B~*>;-pj_kvqjz2M-#brIK8J?h+7PVf>B?cjFwz;^3)1F3bsEG_AUa>0_i z8V85wW+$3ju{BjV`P#OoKe46KTSH3@+=s-Nm9Faq<~AT**9gvSfxfP@KcgtVI70`v zf7rt$(}6j~dGj#I1uRn$ge{t}T(u4EB(MQ!lb2^J9IHAJcHU{qMNll<}XJ7;F!XU+MCRQG3~ZQvBZ(dnkdmH z#%53CuqjG3`ZW(;x*`fc3~p$k%((I`e{+TpOG%ZQS)xPU3gpKH&h&Dg9L+^t)rMpI zifweZcmld6#Bg^|ci}D;RWjepCH4}dh*1G}{(?b(wuBtpefB)d$f!0c&vE^m_OCjt zSPpd-<4i3{Js&Li;Kwg<1znyiboo(#QtG2-!e~SVm#=F-VpYbytAXCiz}|{1e`y~I zi(=BqWwEAUH&$90cdy7hpS9(5m+h~KVD-Xca@n3MFgxOxQ$LNRV$B*8U7nblG%=qL zN@-YCj@3`h00AFs?WdrBAsVR-2F~fy%m^@D^LFt;Sba>)=~^%Kw~MOjqg4(lA8pr^ zE1tvF=HAt*PERNShYJDoF-}t%e?l3ONI%&_8QL0S0kzy#6Q6Yr;!Gi2PQfR6Zy48& zHl6LKh4_d^#~8bx=W*Ch8!88l=+SEBF&a$p^K={-qxdPEkGE!Ksv08VFfi$cYM1Mp%~^sXWaQH!RP(&hHNzRxY9sxFkf8SKVlA{`v*W%t^ z_+x*04wpm({T}s7gzdl|_`ONV7%hH34)-P5&dF+Y2<_NI(?RN+0ru5=Q_%b{{ty;4 zfcs@qtH3I}hGdNlrKY?W&*g&g zp=gyyLELxsBmy47f71zxXCTYskXpl!#h8yR_s)oMD=YT3jthQmN@6=JquZ|{YAHwl zs5?eW5C*^N;IVM^TUaibm(Tph2X$QsRSw+$tGutcz3_dmU?2 zQu>tj(YoCWF4a?c<`!nJJ(;iX>9}jS+h%Ivi{Bl;8HSUK=G;y7yI%m4QbWnNlg0If z%Sl>@U-9Z|lsr0~<=9b+J9apv?wTZZ*HxKR-1L)#dLoqZp?s__vfHBd%842B_fNW~s106;+#@wCuRB<4*I^mgmKwS(o>CaY^iQuG^ABaWYHz$^3znEy zL;Dk0?Rjsyy^A39ONq5nfvwQ%qV0MTUHF5+6P#3Cr2;OtO9lJ27hVIUudSjbIQ$GL z|Igcgf4c|cEuMCJAFsOOzSq0x1|bsbOX&2}_kuGom|zht@}LL+_R*URQRAqkhpXP! zncNJKf4zoRM9jg`+}OW_j!(zkk3OpZ2-kj+Q-t5cw)7 zYXHhGxGCJQHyn!=LbUN984jaCY5)n+2+r;~e*z9sG9Jynd+=WTJ0IRmLldVcok6mm zjBOHf-#?w6tIM2g ze^n9n))5VK{Og|Y_x*m6cA5@&dL1Y|yFs3Nu?-K$&Ajx{hSb->Goc#t(+g=YuxK34 z7lm}7o`=IRd832IFtOE56@8+z?fC>oFwE`wNL2ReOVM^a0pkr!J}SI&PzQ-o*c>n3t7DpeuY=Mi6hEGV z=*6=|6MHH$=?+4S>b%dxpillLg=VE|Hl?mH-1g5Ai~Q{Gl0eD)oj?zx8@@n;e`_f% zO>kM%JAB64byy^zoo#qn_sXAT{jV`Mfs)H&ra)Ml*fYxHr2=DIHfHePf!BKX?(I7d zeL-viKG;6T+v`Akco6N>FU4YFva}GlK3vR#`m1TLIel0PBBI9EGTcth+EerjYbLLb zz~9#@rWOz8a1ZGnpq^v4*S}f=ED+ou(cI&V18T*feNn!w+)(2;l_1eb_; zR*}qpk07KMV=2jtl;RD?^bJVEnou-T+^bI7def}NG+mXH%r%AZ!6_9Te~%}XvG-JM z;}U(qVl!X2+7h1^rd=br;g%m2S&pb0-jY zqV0Tf4zinVtuFfq&-Q&Gfh+7{*?OMu$ve$c$=dy}L`?8a!{|ht)7O1FZVC3#>G3t% z0$=x?c!v^^GZ*Um$_*RD@jyohB52W_i+uR(DKo1883`eg1$D5>f09tHs1-B{Yv&66 z;w=^V-JUzS8SSL69>vIA%m){%Wb{>Qzw!exh-yf=9|XXNJ_jC6l{GpAC(nKdnmMjh z(QVO*MFm&FFmG*}^MYI`yT^d^Dmx$@(XwTdIGElulCK2;2CbCC^I=xIcC6kQhJ!EV z(7(!T(EcdX0o6tRfA__kFcjB1src8!b3c@REBZNZ&O%rMePR_@L1=qIo-&TO=i|k9 zh*S7!>dX2O%tk`s4NX+E6$<4)^CW}x9rgZ{5E^lA)MkBWK8XVDK;1#`Cpv)U+AO_f z$+=ZU{E2Hh)h;({1N`B)f!__MBfX(*@S(HDKce%OUg&9tf7wT6m3GA;p&8o5eXDkm zT2fKqp`zo6uW5*lHC*ZLg#Co~p=1C_1p*+^?!p4o1M8&CGJ&OxN0M(eM{TB8lg*7<>c4u z9@YpQN92_In8(MKxR=@XvqqS}!1U4%wqp~h;|6B#e{YGh`8VC?7PQyh^nSOfJ zXGDJMC^2JKL+kLDpFrvi~|=!|2MO~6JDEQir2TE}3M21Z{tzauims8_HFZ5qB_wkkC# zy0$GJ>=nWM-&L1>H9}ySwDQ!mL^az5;RehdWK`B{^nTwCgAs!(9wdNgwmEjVyGdzbSM>Tu(zzRslvC`_?k?InYaPqEHZ)GylMDYksDNIUIA;F-v-pQbQfjF z4c3i1O1J9J&Ol+Vq1`FZS4?Z)Xy6m>n5CE+g#dDZ+M_ ztQuxtEUuO6!n|Ae?4$Q~+M||5ep}Zve{bv7U7Sq{SRjwuCJCNpIJG$+@|CcZQG%p2 z-*BN$gm*^dCUGI2RyTbPRczbcrr;scy5{6F?{pNCro{VZQzFF$_9s_>3qqsE4s;yj zbJPpPjqI}f(Z>?0O6CyLA8k#4LX1>(<~j4DjL^D)@m5*UBJp_gx`WY0moJz(e~e69 zWO1&?zit5p&{E%wr{a54 z@3v5$AC_<=xS-GcP2_bavJ&@#e?+9=wtnV5vjTM_5}j2>PywvD0j%W!Ak1pNcTSXO zk~iZFFV)FslKaeIs@o?E_-s791_(zT*!_VM)YV~N8HKfdK86@D zoYJgv{WlRo@=zh?BGfn=NqXOMo+ij!lv)dzL1<~CvuiyXFyg~nQiO;pe*~|OIYl)a zUr;4n)`%b|wP;<7U0-L1x%xC1Ov*tR!I=$#FzSx|&M72<{hDysVy}Ua672YR?;g<> zAtZuO5(zoQ{W?t2^c9VFVWiOWAjaSgkM&rxL-nLMcQ|$>|OdAC2q(UEDAPCX;kaY zxEqkB{+I#Y8Hb+{W9*-SpXhwN7lm|E@YSX-}&^UXRW`NGsxBvUI^k+G3aOLgTK zAh48mZ1_k=g>x&8xi9ZxkQ{B{2Kx0c-y5QfjVI-J)PV>U%w%19+HaO)LjWtS(&fmJhRb> zl}@Fu;>2XR%stt#7yF8ghEV{Wdf$@DAQshJl{ZRuH#ES_hL!3ztcxtdgFE};g|wS* ziiQKb439(=tO7>a2Lnq!bG3A3QVH2+T*TGO2pz9&et!^Qe`+#><6!Z%ofQxlg4z9k zkC(m864u7PiWxh^R^?7c}C`x|)fD*v&+CkMAZ`#h6TSikvb~ip?}b-Q>R{cDDFcd= zxwy%C>FcX@f2xBpeP}HL8hS?`TeHjs#4Cw>Y(#}96&JOg77ji0;H>oW79Zi$^zwdy zi`rg8p>uk2Fu;-RAv*Yez8mwtyfNGPE82`Ee@7;}F|ck_FvFeR@NzT^k+f9Y7{oXU z(A&Iu11&fpnXPr=5tptHeo2BUaAN>r0}non&;@5IRq4`%l449P@AsB_SZpWzkbsd0pQf)BlMVQTjdqHeoI`UKCV4g9)EX5$O zC=c&te~kUC80JgVePNINXgIiKYx#DcLyS$dp8Fo^ z*yZYuodZ@@)lK_3?c;R^o!dKpn}+F7Vg0RLBE1i&U)+7ftV(_h>G!j(N^n z>kB(%t;Z7ey8Ub`6ZI?m!Nwr!?QccY+wPf1e=w}Y$#vT}{4SQ{-p5ID^PVqICnr1Y zm^nq|_T%PsKXy(V4(iT9;qeDic+_GmQ3nKslzJB*!Cdy8 z{YX#o@JI4cc2WS-NCV6tR$yk+-6+D7tpL3^oP8G^fb^O3SztgUTHF1=F#HS(Tti}j zf7q@Iy)L{HAr>M+ELO1!oNP0--IhyJ*0Hk&>79gxg({})ogGf~2>!}0bWoKRtd6Go zx`L^6K>cij$^r3`U8Zo@FU3{a#qsBH!Q)aMH_v}yE$GaP7{ZOAb-*ra?$-1Tujy2) z`5Q0{-UV~$5jJgg2L}+c{9D(7!F&EpfAf=P!aQYA?=X*X9pGOQYcMOD0H?K+cVAy- z

}M-nf?h9exMJp(SSrvs&W8tmdF+1Kl+xl3$8L*m0Wiw&u|<9ot13m6@KrYv;mF zTi+);U95S}55quB_PJ-@sS~$yC;&F5@8AWfZ$g}VgeXt;rs&HwmOL9QLN6(6e+6F& zn2Qcsjrd5pjf60{#76?+;5Om|V~`>V(RCV*e920L1cu9?exYXB+1J)IL@DE_JMhF) zYv1b%I~dpunzOCFla02605;}i^P6_k;dT*m0=k`GHofQb8sjYL>fCvAt{mp;?u(E& z@!Hx{!;U@<2mU2JjK41>$`S7Yf8;FU!BIAGDE^wC-tx!u$v2cwzRAER-`w%Z`S~P$ zlIKnW$=|}va&SsehbTt_&LCt0`&)Lxv$+&+mfR=Ye_VB82&R|7 z_qPx)f0@kp8ABq)nP2nW1`xjioDPOp9)E4cgV$DWkkw<8XuH8j(k_s=6C~~isdfab z*6wveq`_R3Yc8nx!ad{Pfa+ShIZnE%C$xUu%5m)mV zXTu%lZ)-74KlMn{o9V5De~h%3IhrSQl+YTIGK{{&rFpp+&w86K+hn3w?%kW+*T4Ju zoVmb=AQ{Au#D|~>J+xOcPxH^`q~Kf~p89CX3(v!(P9^HD8NtnJaBQ!W?{O%Sz!8L+qZzpi9f9jn8KPGMCEy`0D z_TZ|l*vH!N9vx|oUPZH7lj*A2_7Xv0by>NG` z2d3F^cDi#hlc+1^;vz*5Q9jqSdK#>bst7wE>(<9E=QfSVBi<`E=PKR zdc-6-;$k6%OJA8L^|+lwjxV-_@k3 zo5x~w77Hu-&KeFhTn-0)7aGZHjc6cm@fQm&VIpjqY2LAr>0-@67i$t-tfi%kwQolk zExXBoe-d3lwS4KKZl?=E1ph6V^isDM{h#;zg_ouLcS2wfwY>W#NWJNJ?1z)iXgoyB zwSytNLfgmiDzZJd3Ecf$XsxZ`LHS?&e?mLe>t3Ixfp3|+KOh-20p&6-Q80Sq zB?@uH;`t*ZpMb;LZZ)vMY+{RiQ~ZHa~BRc-o^JhFKuLkMF>Q1J@8iS#J$)PKJ0`K ze@B@9mqqMI8zr4a!@+docc$Zj7Ds<=1x+xK)J^b=F^*9E&X25jthD-ya8`Q!Bz4UL;jV6Nley2sToeFCejgUV3X)-~7m9e+O|T z<{KXDx@d57(M%e|I1k`8=K&lG1U1E5JC6|q=I*o$ciM$J?ZTaQ;ZD17r(L+yF5GDs z?z9UD+JzrkxsXL5R8Df@%_E2EU_Ln&A!L`z*z?Ngta^Q>2Y!-}f=_+`E_O=5_4L<% za1a=r!-Tc2oaf5;b;u$EZ!^||k|#WO!??dAr9PLI67BWsP)DTahC z6n{SOp5694dqn>Ha8Odkc3E?jYd<{f``lC5zq=~FJIvi3=KhX{xtPOR9xSC}dBh;; z(6{J*?+%Z5hsV3axe{(*>DR?69 z<=dTuf7tUb$1B`kp3nnHd%k=1IzJ0DcSrSFUBr-r-dbcKwJ@vJ4^mg%aVQQ_>gk9= zi^C_?;369R*XqecAqA|L3K$fOdsE&wnj4R_w~cm5eeb!*978q?o+M7E;n*=X~5ZMAJH z=4>#HE;>Xakb2MLW$;w;uvrWyVPcJEqHLagKu3)^kCNkP@(w@n2qb!vZbdNf-yOYo}mwZe`_=f#|E-A>SjP~ zk^{P?-UY1lCVuUF-Ll8i4)8pP z`Hm(z;;%cYu2$$MUb=Dbua^uBc`^N-7A`&aywi^Pu1V?M`3m4 z${!5MAH(5Qf4F+?he3bUawniSu!R~R^?xqdx0#pV1iH24h}Tm;b5!6bm?A|`PcJjL$T0A^ z$YX}lndP7{A9;*=;DSZe0BM}>Pz>@d*Ji3i{pZx1S}_3^Kd ze}Av6Jw)f_%C8U6kG0?A8Y09PYhG4JH&}Zu^;j$oPGR!$8O}0J_4ZfU5%OS!V;^2X zNqx^li{~I-j4xB4%~8=jIvfJa-<=?`-}OT@H_@n_A(9$Yd?laqMGmyKD+m%b3?xu3 z7prCedQ>dGdQjXgR}sH{P^>ON%Bxaof0cd}nX9z;D=B`iBq2p3m7Gwo(2MA!CfYBn z9n?hQGQ!%4DoNsqHnx#4wACKp-rGmL^&o~28?vbfCQ%H9&fwT|I`q2M@X>pH@ z8>z|Xd^>Z}Q(<-cvz?aFW4pfgf4r}b8p?k^0wQCMi3o)UZRG+nUm7hFuT%bT3HNl;SwX+<0CeTEN6q;xh?%sTit?N|JX8<-bUQkVy+394|F#Df>3!sp>5>Egw!CNFZ^kxqOt69n zghcnRN2bpgJk5#o$#4^WzsS1?>F#z38Z6F?{e;Nje-KSmp%)Wutl9n=- zK9~>9Q_VC%E}aL=uy{7`!kC?9(S_w^S^NP-w|#QMqRun#Y>ZoY#B}oJfJlg0AC50u z;IB-1&|Cs^E~l2%{L8E=TSU>-c<6XkPg<~h);DYcj6;NShLAn$e`}AH^@kAE0ndjH zb_4gJ;<1Zm@I#gDDMJvd(BeNisTBUX>{SYD@TUUz1(m{58{9W7XEpO6abQZqI*1l# z97ksoDO7*|{rA<%+UnX`dE7rMM_NW)7;Mr z?bu&5upN0jOa-iRe<#};e;G}NKVSBLxh)#hS$sG8zi{Ph9mkwWNo6)v+#+T2EJvAi zdS>YnaQhaHZ1bQ$i1ACC z*Z*uDxa@Yq^Lh{2{KM=tq z-kTZ>{Q<|>f6<3d^||mMnCoF06KbcKBchX^Nf@0Rz)_qLO!nh;VDzZ!s_96tr&NE@ zfIy9GE;6ymVQ07n;-*2OFf`j%EA!@@ush>Kq>Tp=+eMI`jO&TGsXO^=ZB}+gfQ)P| z+uE#jO7~=eO0kWD1T1-F?HFX-iEl;!d^Du5lyGuUf5CA^=R(w=yJ%X69%dI42#|Tn zOMh4YsaWh@c1Kq8?);o%VyKwiIJaU$uC2R6d~T5I7kEw?$6c})N~6JS+HMWWgKZf)}7$Wbz5DwQjICjJ!>xPq=qEVb4Lt)&VTB_(2o7fA%5Iw zk=!Zre+TGH-@EuoY1ej+md9f`Oq;CxscZ|Ha*Rzj#+(=tX?Y>*TgQ>WVRPQ~PoQp2 zM}we;B&le@(g|ERLs)o!ULj@df0I)~=WD$^GmK=KzJYK`I+|ZR{TBN`492BnO4GJG zG|ccyI2}U1%{A!xH;Os-2%E|G!c4nkA+g(Af6M@jyv$u7Jt=#^S<6txa z-xVDE85IXZxUCT4Q!21^uet$OT%s0zbcA#k#&&UokdrJtR8eFV!+vm<3Q@!JpS#h= zJZ-5grzX@xuiLw@U79aVu)X8@v4xKgroE~?dN=7Xe*^F>na*XA4 zzSlcQ1VAth!=6cK)UmcmOG{;!z1?vy4&|uo6%56wVvSgb;eJvs6dS>^w-Y!{pF07d z&!GNgL?sq4y3|p5;%&Z*hl0i)kXYgM zix@L(JiH5~(+hW}`ZF>+&Q5n?T8RNi%tai~#$3~mcY{(UJ90*5a<6u+4UU|Qi*@Mc z5Z|ID-eRnZr~jW|63~#!Mfw3Q&&P%%3->rbcD}JOLii~U!@-ww=wB5qkV1hDe-!AT z0y?bn`qK+$3eBt-0@-h9TsJfNjf~8=>LSXnU|j3V-bOs*+7u-iwkXmmF>TI{&ksu~ zqBbpWG0x#Sg;-v1=|kZI69JoO^$7r*lPh--w_)3 zBVFTuG=s(+_B?9Ystm&vYx3-}e`k5riS4ep?4|a!!$|oid)nsgudgT7Mu(nyU^7$3 zVPquy#s%!ULvnoW_rc_%L7s`T(eN#QLT-l9rF=AQhL-Km#HDHIt%%v<<|0P?q{t3S;fKG-hcUFESNY^#Z~fDJv!D-84B&63r}*M~40~v}`B?7X9mDR9Vfh`y z?xfluQL4rFNobuFgh;z~e<#v{gr7yEUAtkCww@%?)}12lEJELcB*!#jVd`!4KhrQT zFI>q3ZpJqt6JVWK{IwIqy~ef4iAR0!G*#X3;V!i%BIc>-$6-GHYI#2?ZFBtz4OE%J zj@S$qB*hD9xXmzGHIr#L90Jvlf+r~~v%rJ<9Bkj6mjiO?{&0E|v9w|O6U|;<1_zj};i{^CPCF?R}*I%ILthIRYwnIe3s5bRJCAn(K!tGjg;)?S?^W!4eO&W#!D z7~SADlsFV_nzWP`&=X)wA9L->DyNe^~uccc~xhcelWIx4>C% zXH6Eem|Nfs{oLIG-|5TlZh`M^fp5(%Fq|UZ%yIjx@xC{Ax4zkKeKq`Lx%JI{&afuC zbxOfmXM+0ZfEOmWVVzl?=ccR5nT&a&?cW37}I7yVc}xtTogP<^9L%{)?Hx5tD=fu8R)%~}!87K@xF z;kz;ST)6 zYt$XPfE3=w6JdEH>#4J*rLWa**w>TU`K zd|rrc0&&n{gQzK%nKoKhzsWB+<2yHET$Km}f3~yo8uFopg=mE}u%@m9g#ljwVli*vQK)U(qfqi9Ma%OIZe})yAfQ;i6;M1`1QfF~ zEIIsBg1DRR4NfAA6K#(5y)d3>iSEN=ag$D#y<=-YZuoa>YChAbZqr1yGOtDFK=0PK ze>tYkd-#ci^fsSW^EwW}_~rA17UC-V0VLDi`3TXx->*g657pOCaO|A9uAy_# zA8H7)x?-zOqQ<_FYl*ck)oz*hr1Gta#`b@AORM_IwrT&$dimrzMWk6G>sVzHF3~cuqJ~LA#iqP zi%ttcm`Ak5RKlqYydsmvj&U0oYo=Ps1x%x40ndY#t35;lI$BV22a|@xkipihf1bKs zf8=)!L*oVroV79)IFXQbkxXAdK`a^iapA%d+ry{9jZf3}%%*SCjBm$&BJ&b-)ouW!dK7~UQI-W>fh`9why z7c8LKEUNF)ZKl2pABWdkD9J$|w;_~nXT1qd)CkC#eqXB$B7?I{uf6)wXlpb^r z?B@7!3P;Ov>Ak\fX~zHxzd^2m#_KMn`}Wol(o*0+AKtp)Yiw<(wCJ2i)<85I26 z@}7CW8SCJf#GRzi&mVm~G_^{gY{L1#1P)7y_I4yVYPuCi1|0XGJ%#LzrO-A=ac^vD zLlM7}R^N6}Aa!-A*^BTOf0h{?7RVHr&;2my7l@96FG)^TwS?Bgj)U>4zI#h+$WrvX-7zk2lJmWvWLtSC`3r^gps3Y z7HhO!Xr(ae6!7a4MC3n;S!TzjG@)sU2JfTqk2(aqvS|%#O3k)ef9IrKq;Os1>uVHi zI1G7Db>%x0FR5Rh7x`CWvFq)*70VEkW&ySN^K~2~44Qq!xDK<0!R9jYevC})0GvQ$zeLlq z07$JN@8rkx@8tLGWVO&flLvh`v)C}52Grn+0eqCRLd;x{+S1Fm_UDq3Eg}OT02)gx zr{nT*8;@u(C&})!Kc?nho#pu+tKhRlo9qPP*$^@KG>}|&Cl^06qkr;)?qKTA!i&v^ zdDwxQ){8vmbuQZO`N4n~K`wq{rhUz`Ip6HwoX6JOopW!#;jKBB zow+;j*4+2c$G(4)q_F>>`dejn6wHT+g9oEv6*V+FB7!sO8ZsYqmauZXD3-lnK1heH z*w&B5b5QDpl;6)h7qP9AiCTI;^Bnp48g0%#3;W*lC(pfu*?$LeJsO67I0xpZIld?y?_FdNr5CsmUd*u!XuP;Tro%}5DK*1nxQEq z{nLp=g0sam@_%AHyej_bkB6Op@Hqf=PjP;fl=7nXfgeS;g?^sRK|hEEbjQKu;`009 zpa+?G-ZA5O`-JBmlyYIdRQ7sMtggP#i>@xa*ZJ^JW)$CW1R1HtMi;54iE&t0!j#2a ziXO+^o1hVsYx(0@9VQ6kFyIY@m`MgdggA2n35jX1J?uoG6}61^GSGW)S8XDPhoUXb?!kxQ`IL)DzF=KQqM(k1 z^BhI5< z`hOo#=rtYbX^mr<0&3UoFH3=_iMXi_MHCN)v0JkHxY}zUr%_t5sLjVBQk}y;Y~5Z$ zw(wq`#T0jbiBC}41j&@q+^aM}qN09vY^5Fg_7EjFAN6?TJC~_XBG2OgANhHVed|0N zLPCRt#<cA>U?z6`RLrr#a)?qabrsx_sY&62^vu)E=*NRz;Sq}B& zx9d@8ru8=BUo+a}(9ysXpx;9GuYc4v2I!Kyxqy0PE`ZDudCM)4w;bum871-)wB~l( zHz$_wXA#Ty?S?BGWaD4=6c1VY z(Fl!@MK#&O4$u%+*=E-C%~0|_HA?EaBE(^J!p6Iu&v-2n1>ejTQScAPI3*mRmf!Ro z#gx_Yrnl^E_mUgj#>LWbn#0^w0SmCHoPG0uHrM7)?5(oJWHn! zVtD0`b5Tkh&U|z;kIF~Mr+>RS#(W78%lv53hqbYP?qB1eKy%JfIGi*La#7-?r z>R`kInwI64tEp@dZQQbR#q;@i%VLbS<~SxjpLaNK_?nxMP%hO5GW0(7M*|Ym z=)|$!cm3|TccG@eBefv0z3|8*Fn0_H+HrgoeQUgxVnMW0DBR zG(czd4ha=|X{zqxf`3ru5PdsJ3EmMdnl=`!alAP)!ZpparBa?y!;v<1wm?YdHCkJI zZsEtbWCLdBF{Z3c11MJ&-`AWPL#cVCueBKA%O<~3WJ>+7sqH}>Bt*sub;p)`Ogv&= zI-Y03qu#hXirWK@G){lKxG7F4GoHLRIkSwC1M_&TVf0{rjDOizh>o=Rt>H*-^a0WX zC&|t|C`_W?WJK~*zE03b)NKdunE6(DOAku?V-Q~MM3tJVrlZk~Yw=_o z$OY=~Cc&lubHDo~cJuhQ(Lv>X=C@^UZH|2gj}E^eyMGs4`nim;-<|lRvH3;`prO6{ za#WmSXqUqPsau7nutln@853G5U zA$G_r+Fl<3sh6Vz#T>jbGing!TONyyd9c26F49{w$mb+@+hv)2ha(VAC zp3{TGv+f}Bt+VlH1^tg8D;Ni5LJpZRB&q^hYV*Gs-kAMGlB~~-ksZ@1W=IjZ_tOTW z-e}ufwzC$5Aqu~ILG$=TR!SIpWsFg9{kyHG`n+1LSHnn*AFr; zbbmB?d1}v&yM@iy<*@(VFP`$jgKs-gI?__i4%w&InEcFI!qyX+r9!3lcQAc=9MRn6 zpS6`W6|Z2XR-RmR!>{Fi{nQsj^Ru^A9vs_ zd>S$L#wgaLMP!r4O=XLE^8wtq&x zHRdpCoQNZMogZ_*3P#o&UXHqB-}~3U(8na`4!q!UH1IF|aDpSBJn_Pz*BcH7_*Yh* zM_bS3(&4^%th5HsDUEyb{QCYeJ29t3?s@SwQaen@7U zjGzoo&RM5is+!ZqQ$FDa@@8y0QteiL;Mm-1ry{WRg%KEz5|oC(Hj?aPHo(pHq_ga8 zw!dy!+-)fho@}CA)5c7XH~=NAVyk9s6GyO*D8Vw@s?6m2t<3roSpS{5Uw=xgEBP8& z7*x$_q&EvyESx0rH{p|!_BXQ7n~_#HbNNNt4T;z9jQb&X8CJ<@Q3qyi!ehLJ*;pTw zv0`(=GMMva9jK^jh{SD8CSKSI(1I~G;s*RH88G&Oo@v0M=FJUQ^`A}}@^56weh3?I z`D{2YPsc&lVXL)oZs-Wu4u80YbO=C+gRfRKQK5Vat|f~)9_rm_h?+&z`!NM+nN_`K zt{V0D4UCkFpYAn%y1Qp+_zRzH+{@i$rRao0O=;PBz!UvIqzHPO{LVNzqJi zdU_j+pCTeOG_A6tHbqUkX!B6tab+>_7As!`lZ!=7sMN*ZV@_+5JAYhW(?#{v5Dj#p zlf^su+e{UYRhrjSQA+_DP$Pb#U|3P+NfNO-e%vV{?!E8^opPp{d1ihSR~FzzQa&3G zFU!n#C#xi4wlL#d$j(EHI;N^|;Eag22m)}e0U4%a{C^)}+*vdPrgwofIZyNpUp7DW zR7!#0#DxfUXPR%SEPqXW|8oU$`K_5NdY#elewlBkj0S#)c`~Q!rsj!i@h^tcaWvmd zS(^A!=1QBco0==C6uk_>>BOINwycf(K=UO}*-gzCRqRGSI=%MioG)u5Kh}KlDZ8op z`qd^0&L;)VF+(>yJH^|;@P4xjd~*tW-|v*%2A=l2MXsAmrhogcr{l(1R<&ZtZH;`dUrC^eZ^7W?k!<>qMK3C5eoc;OVe}GpV`8U z)aRPXPX6>44|8qa6>}rUf-kVErlLF+{h(1=UH$Fxqe|rl$nUYK{GE~hEKS^g0!#q< zN2kD|Ai;9cAji@J^0B)5@bQfh=dU(x_pIBqt&!VLpnr*A|7}SWXtMMG|6N^ud=upP zn@zbtBY9dIx&7ps2=6JaeMBo zi0;ItIB^F@P+b^pZ<^|4*rZQOT8a`PY8XUhq2yM)UtryESBy2sskq2)ev+I2R^WRk zwc;Iht$(alZPYcHo1x{Sul-)B%P?yByHc0%QNf{S`92rT;D4gEki%9vBY|1>+Qto$ zXnHUHnmwAdo5=Wf+_V!g&u`f&ZykiUX1V1g`$jC;H|$R=>omK89cZj%zk$hqJ(29! zm%YtISN_cmWdG1Y_VbZ^H0M@5GpYYQ$UKh3?|;Z!C+|lZc~9oz=#x3P`D7kWKKWa4 z@i-2C$GvUjO|Of({eIa{^JFG-dnN-%4g#%_Orl90Uwj+w18ayer}`s%ac%I*RIT~Ia5i+eK)(M4@_#o}Vm@5c4w~Bh&wR`@=qSJCQUBg4J0_ekoz;mHv#uALP8LK7T3v z8XP;d2Hruz*JWG52h}zG0ftNea)?KQh6EpfEPL;y0aXw!yeY+3ss8?Jb=f2TuaN(v zTH9K!w*c0grLCoh)nCA?rBdE5zs!42qO-E&-i+Sj)xBe^?zd-Wkv{<#b*SK9H0fTB zI?#Rxckp(Zm?s^fSw#qfd0qCJ-G46#XTvF^V7I1aZx{QIa9etW7SfLeu(Qj^?-eVe z4*HB6V~Va>Z|FzjzPg)XUwxc{wdKmzZo&XBXLfe$P4GAy`ysfO;6pibuc8Xo8<~}D zlw#bY=4EQLFf?56ZQe`&SEovRUYRDQxtlXL&rJdN!^tzc03OE=ww7MSuYW8#!K4>C4%Y4tOim`eh7egP?0h{~YulLd8s)}X zAfUH6{q550wVURXYxywBwZHZ8?6*W2El2t6W_+V^l*_*FgIN|aj4`-ZrIgaxw>d<~ z!dXd+%~Rg^kq=Y9$1c=Ket!q496Z8rcA-vgvutC?HS;di^`!F>T5f2ItD^rNR`COA ztvr|MvE|UTVOhz?WxPfos0;d-F5sN+8&e*!tRU?$kmBTujr0dF9$jG3(gg1HTgeTN zDoHLybH4A8vfaD;s~_P0s(g2Ub*D%xaapORhV~#KDjrre#R^Gow32?suceE#GN!Z2<#^y>9tVuY0H0{kD4DwUw$j8vFexOinNRpQhbGNkcA6HC?P}bTROws64sohO^TKZ{m(V7ET|}7E2uu zHR?DY`{?U9e zO!-DzMV0F%)r*aJ4ib)*?!xcfQ23p1vfEVG?1VJuS;XDg9XZ`7IW2m_qMA?BfOB@v z6w}sSeCZpGFMs`Qc+?{oQO(7r;+wl8ty@7_i{@9qXg4+Ca5C>5FK^=Rj%M-qydM@V zXg_vc^p=O?c`3zg>yBg=Pcn<%t$vNU{LO)Atj*og&El_v7tLvYldgj1+lF%4g6=MX zZfeW<-F7oPALqz-tGOeMo7q~{DvsOYIf*0hE#;0rZhvMAS*uESN3(AslRQo_ceh42 zxP`2(*{+gj=Ms}#Pb+t%af4gPL&x>A6Nr^m^c(fN^AzNel$3d`ksdePkL*Tnnj*$FI7qj%Se zx8hoH;eVX$w=`GQd6HV5-0Y6pa=ye~AXlqaR;nvBCfm-S8-%aPERh%ofYk83Jm`k! zS%W9UHZ~(+kruRw2Q$@Aq@VjMw`#mItsWP;0HR_e1rqwhtFYIN{0`7P^xRO$hDGoq z*w1ix$a!=lYX;Uwxf^y+%(#D)S;xX~n zHGg!n#8gPSMc5HU{)>gk2Yz@yxtNQ1NfUYOI*qi%7fnye9$Ui!gc|s7XFgJ}4nx{e zl7VwV#ioGAx4G<2(C{NH>rA`netC?(Bybumqk5>*>0lCNKEc>~OhflG%_KfJ|>Ip$WtQ5sd|5c7jrBWAMqd_Ol!{!(sTjJ7&YNoH8$c_K18!8xKesDnqd+M zgM{(aOL54fV)413c?_sZUX-LxI@M*=onu2ihf_u}x)vjxTvUMb)BvWqk&DQRvk(of z#xQ_7%Oa0u#l;EkAPylxII&@a=6^IyeU2cI_ZGd(zV}R$Y#86#g1C3@m-Y>{49-xK zEsY*n8+}O{Jun)@83%EVc1I&0VTXiKtl0;MGPms2nmF|0x|aD0dVN{mGQp<}qH3?q zc!XAM)dpf;C+)Zq+@DuK*68rtuS5soePi+xl+egR3HRd|1eL%^)0yAP!hf~!w0uoB zD|85yn<$VxW?K!2NPaj&lxC?a+2t0p=}1F}Wxe#RXC#aG<4O6{KO2rSk4UMUl?{J0 z{(CdafQY`1Ww7C7h$krP1Q581kr+3F^d-o#e>wb|dFn{5JC?=f>ZJ2^uRX(jp`5)W zDd%@KQJ?*BG{a2cYUw3aT7QAC07Xczur=TJugk-;?8}|hyCJGML;ZILgW{GMKDWq( z&Mho-)=NeSOU&IyIze94}UWobHinieVPTv=O`EcSh9l2#U&C>dL3+@vJ8Qe;>%I9mJXP; zEPF4~7w!zltdkcBeSnn~?ciC;l2Yr>6Y7M+2`~D=3P}{8p2=U!+@bUfl5L;c2+jyl zfP7k-hm0;O(RCL2lNI^XRs;3bUNbe&mKz}}r>>k>GmOb*nB*()p;>_y;$ z6Plr4EJa3N=x!=~br(aM{6s2Bep-qHJ=!;XveCP?``%~@7T2f%`(i1Bx601tbV5m4 z`)z_l3eXe~9eE`s&8#>bkNt4cA&gr63aZ=uRdel<_Z?B172Q=!ZSKa|SX6f}%U< zfVB}VZb>$gNec4i#JY17r0<_8y=ZB+n!_-)98ZpY4w*m-r<-7ym0{SH{2`aJ}(k&sjc zO9GKmktLhe(b7HdSu^^O)3?piIlK#p|CrVMN$2znFn#gOS_mW$Qiy!B7s4{S_+~A{ zg)HTVwJ4ce@y%AKf(umanZ2t%&c>f+fiV$`*{4z9q6-o)`D=I_7|F%>>LP^-ejk0f+ zLYRL*8T!Rlq@x@*RzKM2loeHkgb%B6MbS=$m`?E7S1VoH*%hlLcqWJ2U3lQ5IYx;{ zj2LvHi{K2+_OoYkHA4TKVl{S{qkrKQ^!)F*GM}cyN#Mg_b2SzZXD3!Otj`o%0VgzTYJtAReN6`Ttnmi*`x<$uB-Gw-r{ zz3kyX);v0A;+p{&xlUO2*r%gF@8TmXgTGpeMGOYMGkwo29-|6&vwhMfor9x%hwS4%Mv5QcU!0e`eUR?W|F1QHVY zYhPyTKe^!<-ic9p)`ixKHn`syf#ou$P2`dX53H>*{TeJ#H0;TjWzUvowu%Z7 zSwMWV6bkTg$cH_`{Ig&5V4amSLYpfeC1>Acudk7oqwe z`MXgNn;9;9(igo5J++e$b7&Eag&iT3A4XG=k2=7AY*|>GWuLYJA3n2Ov{l8Dq*J0q8E^$oKdfCd-XVWC z3tsp@P4vUeM$!w)#eXgIg1tN;pL|-X^oBK|R525PyUqbTIBkxHSK6DX3FYG8L&M z0FJIvkES{+a{1i7L3aY}r=@tW2c>#FYvyH#^>^ty zCr`TQsEhwtvO>tRk}$C}a@iYA@RFL?7ZxOA?#RDbii|Hcd$xbQNK;NSHv5;=mJQdq z=z=u>{(p)M$zA1wJ`z(vNw(}gcQz)O#Qp18Vj&s8=g#7AV3j)m;O>1gq{OEFvKK}N zJA4F=XmRPcS>a+lyh7#3hnbC+v}0l8J7>apq_1YN;Q;N$UuIVzZZHir`g6RSTbpFLG!i-AX)+JZ?MuYq{GcoG0#DS<5 z71Ms36~+O~GX1b;cY57$7?L$(Bsi)N#wvfe7aWAN)F5;f`9w>6Vg>H~^WHzb-RTHU z(SPXsy}p0e8J%4h3zyx=#goFa=de((tX3));IGsQ`h3THWiYA5&EhFQN50JWto<@La1o zPE`+W2hlLptM<>L*xCqSRHhu+AOlrq+h!@rNr6`Hgup39m-xrpvP5(Sl0=Vx53E)9%SYzXrEOk3jg@Y&LI zQ7o$t4h8(atq>-3&B%ima87CvbLohfRc1}wjgYC7wEqRi0p9<{b?&tz50Z;<} zEr!E}2jnZ})G=7OGk?x-6ndl;wB3iM?%1ZVXwAnflyHqy`&gaxguP|&orF?@^^j2_ z(D#hQx2UR0&eC9^-K@MJSMk2d8hr%(t_N>aNAi_VS?fJm$h21m_OaepXDBdtkdA!P=+X4`wM zi;u!<%%wDsQva9%iD3|R<%y87(KIU~KdFg4970p(wm5-!G?BQO>Wuqm0$(B}lgj8U7_*3#_0m^0?3JeB zn7v(!eGVcfikU%%a2gAMSZ+37fUy_d0w7k}O$3<|nSa6tcrN1toMCo!cEocIQO?oV zW2q4mKxBW}J5+ccN;uN_FsgjaxXmyKizkO|sHSlloCE9a>ropj$h-yejv#T_sB!2n zzAx__bfq8Sher-1c0t3f90;Z$n8kq_Lj|kwz!2G=$SNO|!5k~+g=54W4mdyP2WMwK zIt=!FGJjMo8LKgr(b(itha_7^m{!C@0fFUELjq1b662Se*{6pmmO+CQy0gmJIY(6IoL(9oeY(*~SJv=K+^=-YvS!CLPg4~t}>L@5u`qHTWU z`Wp3#tRoS6Enz;k#C(YAnWuxV3>iGzq!`d=oqv-9*zgX&zHcv^L*56Nl|DLVA9@Wu zDZTD^;zvO@l%xTXByE;Ds8Y~QQK3#4;XO6jmaJId!I${5XJzq?zjo~Bd6@l5nQ|wj zA_ZUWi`t_VA)mH@9rTA?2)_ zQh!eE>$)!GJeBq_wX0f5(P_)oHL50Ks)JxAW0SPRsX_Xh&Z0_x8JZ_!<)dkbl?34tQV5YvJI?4e?k4X&r~(mwG#?W3dQ* zNWk)32JYA&4Z1xcLmz4ko9FNP-Er^YEBSbbwPDclvYyB>PHk)ElEDV3<4)63oX8C`{;($Wb-M{G3#PbW|DeVSm;I zET{;^1tAqN>V{e2SW0Fn6R1Lc2?U{%fFB?gJ`}{LPYz`HkGzv`gmHQD9&M9ym*i%- zC~aW;#f(FuzC)X%*!8r`E&QCuzV;9Z0c9V90@5T+=!kW9kD^ari!4bjjguBWXvrjp zp%ri2wba>=md>YX(EAAHl!7ZsNq;&|jz)ukEvu$zR@7*U2;w5KB_62|hf~z{Mw?3O zq*=ax*+5xm@~VPPIWz=D60Hzo64%-qhFJ>@e&W;{ZQ^gz8P!tf-k-s!!{>p+CsMU@ zZ)+LN#=5#+%GcM0F5>6~%u%Gh+J2{=VDNw%`uVy;+9KEPl1jX#EA~0WWPkeBDevUk z8AVOPGfXOAId%H3fYwYWsU=!!e}&%qwuuxclJ7t8(K!BUJ~iw9&}}=%oAkTorHu9w5<( zmKEWtYav&~qw2M2wHD%&`DaTcQ`&6plJO(-8v#(iU#r zu@;uAL?3|avpFP;yn+>EkgTwY7L^`^D20kpwu-aZ^F0dkwv5DvIDaW^05rv|a;x;9 z__DlSTH1u!>h*HQLp14ENoDk(l2|7t>mv<4U^8E=jUJ#35PvQsb!t%pX>gn{x1^mh znqb;al~VW${h<>cPL&8u!DUN^vi0vZOx$Q3DsVccl+j120FEeqlt}wk#!CQh^4lU> zGlWXKLxG-cvrRnd>wo1&35}qIdN{r8UYnS}sS=+grP??Fl=w<584l~(Rmks1I+`7N zFT5jR9wRz!ifxIdHh3xlC`}IS4 zzs_uydO92q{4R}6K6^8JFAAlvbzPy*yZBhVanRNgXwva&<$t!JZvFP6ZZ95n9T{vT zt4>IiJVJ0ghJk^+6_c%M5N`>N)^87vV7f5RMMdPJ%TGA%CWrl=F{ewIrkDnrbq|T5K9EwxIWF`PkJ5snK$3c1fw6sI^lv;3JlS zr?z)WIG`jmommW30_Fj514F7@njuKX{#j9bc8deb^VBK;f5TRuWF#xqVVQ!}?|iF$ zW!^^Ci9-Y$=Af7xMJ(sS3hVfGg3FaK5jAB`#X#2<)_++;be3mNm;^D-N8Pc0Q3IpG z$@#8M_3j<_!0z2o&wZvJtgcinvXq8%D1KYSD|8^Uf_(cV=i7m{b%wTvqUpS~a+OXe!2RK;m$y*@E5~_0gGk(4-Qt}o5Lkqj~3>!ZBsT?#2_{sC&$>P#yTZT zn0$*G+i^_@5}CpL6Cv^sM-eQ??mYOz(E#idZ+}6`PBWvg<0h1i={T0cz`NoYjp%i% z4!2_|h}m3ho39V11LnxAs5h`<&(=q^Lu{igqly_F`}fDa3>Dx2^M`8UZF!LK5A}#+ zDRHD)gzE$Q!+aK4ULnUapVt39Wg5`62M>ySW%@)4L=G+PmVk*C*Gi>QJYt)$IGrUp z2!HP$G@XT>GU|Wlo|Jp(QZ2x~OnOQBrHMg_w^R(?f;F%&V;G0+C?anplG+y70@Y{B z5+6t@kkz4r)h{ju)v{9Drpje(SJH&zvUMtnYP#^&gLMSg?I+Ye1Aw* z_{2oyjqIO%cS&&+-(;HLO;;gP(q6rH+P^n5W z$gN@*e$1&zo&WISfP=eak1O))dj30JP1Ft_a~Tx8cHF? zzc?KVEg7Ielur3Q@4}OE!8Br&Tz{o7q6~k-8uuNmRLLPWdz3iD`3VBzrD=Y#jCy)(Eu(g(&O^~s!gm;jO5=YRAux={K1vZGa z3jQnEsH*U6C>`1rdxPQd<8)*!CkTMV6ZtOcD6F`K@fZQn#IpB>rfhsfn^rY z-0snwJWDan#n&t*EI^fMRxSt{`T*q?>QZfY>tNQ~lr1D@>7W(gfsh}B1Hnm6I*!`f zU8iS_Ptz`my%Y^Eed{)Te}xuG6(|nE@CJVLqCnk*JtVz93dUCGy@ zsXFD7W_+8d^OPlL)|OA;CAeN9L>-EF5U;wY{s5kQFoY&PM@->q6oo8X6EbOAymw?7 zswGb8HW^B|st_^vpZF|>=n0<(5I01utsA1Mh{#T-6LjikK~0s|WGe=Y_=-}C{Uni| zD4vo0ghRc8g?}da_JiH~a*AjLYX1_+l2$wNe2Rin*G-rhZEsT$(7;x<=DgO4Nj8~R zk*uuyTw9h1iARkhPv}ug`liuR1ve8zfuy27$M>z>HYvEQ6h7_L*dd@hK8H=GA&xkr zi49zN(>B(1*7_!G9XmbYeAUgsvNpu&1meNIx2?SQ=zrKj7q)&@fjZk@4orJ9w=JGy z^S`{$yoorh!oi3n(KCZoqOPnWeK_-(Dba4&vf`46LRJ+c3Q3Kf9j!=bcCliySx3Y4 zEMTp!pg_{YvLwmvhXxgCeO+&ZBjFd~?dRIzjC_+5(IT1~HchNqgjn9D@)IOkqc=K6 zEOg3-+03Fj!LIyxg zvm=%0{(tUGA^OIN==Q!I6(a8$yFUw#(!v+F>3@TU_&qw;00g zS$6k;SqJ;=;5V#H9QT*nk(EZ$x??}*qEbEfrVUIHVd?S`i%8KtqA@t0k%y9nX`LeQ za>m1Z6Y6?PqH;gNW9iG5r&>;3>>R3pI1_Urw%$hD*z-v;-RWqsUV3T1scNk0CHbb< zkAF0Kl}!+3Z169rAU^b#5(dJ4>HgFL2O_jJ z0taelelXTkfMF%dm$C!_WQExoUVbkbrAbQ?NUCUVZ!Yp;HIJ9QKLs%gWyY~suACYV z)yS8s?O4k?h;{cMzynzu!?A0<9H&_rg)O1R!%ZjhJVyn(fcc>d?(|;j4 zDx$m8ZB0JLX&V|V#(hrZ9g=4%o~P?VDJJ@82#(28nUlED7ekIJMK{#iphIh3d~Hr7 zg_soAvU#CI-3IZClor=`6R>J&MhJ>wTZtITuXLLiC=(YDm(w!UDCCr3zGxeGZK%P) zPik#tx~SC+>R9eqod|8lctPuwiGN(KayZu4v)olvEDWAZR1L?*dTx=O+=(G&9(kz- zEd_U}7if_UuWkapTGz1{mdjd^tQ4@|S?f%~v78f&W-Blq28*CmXrBlZ+9Vr6BhrL| zDA3>w9EtLEb%mJ(fEuo((Jd6f5{U&2Ya@luX~?$dr|v?&s|?D0M7R1+aeswk#h3Wr zv4%GZK(@cDsObBHWL)G0o!YfOih{u~v<1hI+Ne_S3p}26>@+16f*DYt_|u<%{IV;Y zb>dS{kUEFoctOZGuvY{fBwfr9qWkPDm;{7B#b~tD(x!@1%h!G4rCmVjQx=9qhIHn# z?gUB`ruI*X|4t$#75@Ef<$uA?!*J!n?sRQ=dI~s=AP!$JBekI5OzdxEz zr7;Y*{qyc5`0O);5e3m6Ie))0q93B3PWIY-(dr(HS^J`wC$Hvguz!Z{=A6v}ci7_= zby|e{Oz~hrmx9{gN%=-rgH6&4iJ5Q`Lb%-ftk94`VXx2t%xsFFy-TR9xN1r{uRaT@ zbKJe^U=>g;CD7}`acwX_5Iba;qz0YHdmTXdUw1_HmF%#-CTcFJRm&9uYm}$~)8gQA zI_P4bQC^=Kmd@V5?0=(D1Xb5wi8rM9B6vIDMT+*F`x$t3>ANW|P!Q^L8L>>+*wK7q zvyD-15#FZAvANkblT_q+QOE_3OhXbRWNQkdBByR@*Pl3=sm%Hx7olZ)y-cBz3F$o|b0ySYC z#SA+Vg5qLhm)dH5<(?A#DemT5DX5>kEU)O~!Q-rbJ0B`i4A)MA@NC&D9|X7@#eq| zZ6i0JzWCkon_)P)XyyPNGTF3`Pia@;|$!daN-HgSnoeZsI^kW|NOhZRQ92(ZFjoko1m-z%(vt+hXv)FMss<7D4y!hWFUT364{B=OfHOAJ((e6R zFvzCj8yGWCXoudxw36Nb9DdDO%i)kVt2$W}C7Nlv!=+f843Nw=2>PVmrs_KlRxU{^ znw6=~MwQA7N=CcZ<&1N3S8Hpo-|8~??eSa@Iy$iVaxjM(D>uh_I=Lr@0ABdGnjQTP>N5*Bl%@(V9a~WK#v%8?aD@#GKs|VKuxUR0Bp0d3<)r11wttIO z$}Ut6@WWOMi$=^1czym)gbK34V+7^z} z&_j3YOcynWMKRjm^t6HIH+p+U0)M%t0D-D%c#v?Wx~aPzOzF7u8Fm&B6%5@%K>Ne# z>A=_EJR1zVlUoHP*Uh)}P)QUb$uCe*!i$54=3dLpXt9R;$nTDqJ*>G!9I5+d+1ngW zAteZ>6L{*)hgj*$-rKXY$e%E`YTgd-F>5;wn{cmdLBBDcQ{#9p{C3#?V}DR;sdift zH%UvJ83~i4DHA>7PQEkB<98A2p285QzL9CUbST~U5G#Uas zR+*0u90S4{tc9WGW+NT34zMwtnf!|J(*cKO6&6y>-infQlA-D98AVN9H3mhA%oRVu7!yLpQ10XLy?e@h#7nEW zySb@w#(>$lsi0IpnxAhU=CkCi04(@s>4%S=S~se}+toSh_chduJkNY+zO3z1MR3ls zb?`lEYw->hWy$jsZT_u1bbCgGKr)TC^e@Ayobqt~8ag6&8^!N)=>xXBF^jI`H8@ct zZanNfl;5YwoQLkYSh_r47Pv#AobWitjDNitjTjHJ1>y+Ga(Q{S5DfF~Cv&)@DF`bf zy)v)};5ldV#ym+J#gCR^buyuMathWo+{(Ze^eR~hd+O_0C+d;2Ghyss0~?#$a%QrF z@zT*4fKu9h4LTJuM$@(FRuu{Ses<6xagk3nEJd(@5+s}`=22Hk#$upoUFUeVNqTBfcxOfVlK_{_#mQ%Qn zCh%|pmAQ|pwZe2|k^WoUH>8$cd6?Xo<`m&Rp~3D};-!&O(K7`SZ!y~L74x2GFwyUK z*1QdMu@CIo2Vu6q!Ql=z#xUwgR4HlA%QbAFHvxb0zGj`s1q8%ots}xwD4z>O)I-U7 zFKPoVEnk=rgY^S|2`nUizG&;Hkz^d!nH1l`%OcU*6-``0I@xi4euMKq^pl}u;8(*p zZiURS`9I0Lk3X^4uzPa)|3-f14k_xf(>$>V+;j{#O^o@+nUP6$AU7^a!B*Pc%f8}^ zdsB{tYoxMMlR_IHyl5_c5Li2Ery)yzET_;b)G)&dGw@FnNbjo4rp{?YS5opW(4;=& zpKxI6+FI5=?~nRo{E+FlOzET4T(-?#a;r=FD&^>JvKXH$4U=@+C9UYG`WYpMxb>Vq zEMfu|&ZdKjVNb%rME}cp?$QzcNmy9IhqA_^jT15rE6d9@hPDr-+5&-w^res1I$kuR{i?&W5{lg4ZI88 zxNHu#*H7thLRla9 zQeMrJeK`AfnLliVQBjr?2*Sl5Qdac7La`o=WK!1?$6s5A@QN?{2UL@H62u_=4la_A znTq^E3P{a$1ix!Zw;~e4(lx4T^u`NGxshlkvIaA1@DR{AjjU)1GCB*xo4K2u zF+kTU%o3FDbI&SN?hTw72sdSqa%%_}^CZj)D50D6M3*lc64JvT1+ZEZJz?Khaq92)6o=N<=tXYQ;yi>n zSSCrZbbND&Bj=|quamF+qE%2zYFQ%H{Hk=umARxxGVlnOId0_96d1a_a-Ag+>6P-_ z7K`%!!bE%o?!lPMzfiem#bOCW)!d*kmB|Y~vGTv6k0bisSLPw~BrGklx`b=d z1JJoNB_;45e`#&4n3AAFIHZ-O+qQUEAe+K(p`XaU6dTZP@FsC_skg_!anLC@NZHIm zm2dv8b0x55o!eCuW^|%Gw#u5(;GO(Hb2gm#nKS6Q&69G;e(~Hzbey{C8RU4|W|i^X z%dl*Y8iA^cwYYV=o{A#h1_PZ*-2eHKXbvq z?tG1%RspfLKs7PsUqnJCk98Yw5l+q3kWqWVwsO*rbqQJ>Nub2Jh$JYwl?umn12U=8 zFb}k{n#$B~xO-XSvt0q_@FQxc=lMpUjDIzzib)Kx5wh!a|!dwe&vLSG8iPRHk3UM2!mJ#$nl2k8~ z$Y`MYnzx;V;5L!w)};v;PGP{x16wI8bOa2heLJrDipTwQbxW;@k`HdfS9C z6t5_Lyg7P9;^KHyM(I3!XR?C%p;r)h$;h^DGBr6-v`ZNdt}sohD=G8`enXEjKPM1Z zgyJI6I2@CC%h0Dd-`6G=ZC$4%Rs35h~c z{c@zS)0JGJ-lQ>xZx~hKNJn_tdVNhqTJZas2=|vu{W``~P2@D#7fxsQG5j@-B8T=5 z)uCUcg*s{XQ{|8@a2rkspr*(*g_P>=J~p5TU^J9M$@r=?2!sm=;{IYp1zv!JL8ICJ z?RGys`nQ`KaV0Y5j0a1$KeKgIzY(&Mm+JZTVls z9>@>6>VLnPq)7_oPcr@$Jb*&K%{T*0q#8G{?#lAX%sxAVNVNliy;Sg=JV^p$+hu!Y zq9a=bD9iS&`)WT!qZUQr4OIcH3R_2BNEo%M!{y-XtS{AW{ziAX16Vnf-r9G83F zaxKaZ3D-PZN0f14~NtSb-^)Y2~ef`dEYk`-HZ zVobl zrBeU{g$nfv%FN4*MOE^vq^O#thB`77?0;ITl1GTs-3$S+(_Odi+v9rD?~geD4U6pd zGU~?H9A|Rt)J2>Q(Gzw%DE5JC@9}YVIl<-{|5D})>Z7ucOkD}{rs-~De08;~TrVYG zs`S4Pk1;Y_9^y^nEjz3I0di+ch4Ydw#8nJ;>*xKC+&obz+U04EtGmjrpj28F=NH)- z<|f$Q8Bn zALT)6?uMUgecd#SgqF1mYRWHl3RX(BQtN!VRmRZqe4-b>*;XVG8hPnf^w|bO{6Sdk@UVH688^ok=3-DV&Ww8UN8@ zP3BLP^1?K!z;xHJ3xmmIL{00z`fI`8qE1ZxT0ECJTUlj9F3`HAe`p?SS17X{y7yCH)%m27{(!HO^(O+lJavdD>sn%HM(&R&N7Z z3g>nBBZdSXutvUdzhD5h0@61e9XS8Si@DC4o|(t$c^b^x`)S|DE?(F1xjhpr7S+(h#pp{&GyHT~!w|D~o zWduiI^HlX$(>qrsz!iqW2p4R}sc5s1UdysE(pBEQyMbWPELjEJg3QgLa4vuwfG%s3 zQiPt`n65y+r&4YConPIhJV+#tX2*|kZOVRm!Xj^Sd4Js*_Ua$QO})v}toYQt;agny z&M@paN^M-st|*XB`!>UP5-soOqe%WV535?0rO3`2OYmEWOUzjkZ_6$i%5?M{-ymUt#qa&O;BA=JX zWBh!suMkgnRaq!+W9{cif6Oliwc+Jq&4@C3hQ#h6PZB{#8drWU{+1?v2=rqJ(C*CumuWUO+=d-l#4}HC+B`Z1N?zTqptu#TbwIfiKPKbiiw%CckGYuHoNX z{*$Zua_7KVhjrPb$tO>h@*Jx}Y%!xRZv2uC zd85cDy6I56-w#~`-JLcKe{gZ-E}- z5$`qzD6e+Sr^V$L&J_J0z2t`s94hUw=5fcFLC0_Rz_UoyTc!356uTVd9dG)Np1Y*1 z_I=ugFYla+N6NZY-|-L=C%;3I42sG_mc)?i6BmmP3R2ADB!|4SAp5E}91|}c@(_S2 zBoPg5SJ8a9miWOgJqdvmY9;bM=5~N5iowqTjP@fnq9%%DTI*0!!{cnI7oIk98*GL` zjub?$XLKW(-l-lq0`CS?`x`hyEA$)JD+#z>vz#mlye_Pg*oQPszi(g`-wptDeR<=N zu&Uh=RU`j0s~RGX<2MIkw+*1!4Io`BXPBsc1B4dZM6{^_cr0s1HN@``ov zKUc#Jxj=lv^_L!{>uakB77uv%k%0O9gr)lnnWo@7c=p(gwSXZDw*xbw_5`(75ZB2g zdfmUNg>oT>L_}#2^R3<=g1M;r%&78t>@mFN+-I$>sL4h-@Sr}bj9E;Hg@C1cXCy5R zzENTG=?TpmJp&JD<#iqmlqQ$$?{)gWZFpmZ#2Z|owoKO?GVu-BUzo%FVtV2n)I6n^ zZ^1bwPQL8XTP!b-)2Z5N%E$^eoZd<9PVz)e^%O4W*3)?Sjrd*b!b$w?Sb%}hHY;py z?kN>dJh0udqUsb!oWFA6)JCr_yM+zbF4<~cuyrL>Z8w}C+I^`S08bjAEQh&4Zt`_m zMu_49?OLM(MP#}c91e8;BBmO78=+WO{)u&r_XR~o>?;1dZX3JWACpg(-iQCP?}mJ4 zS?A5t3UcE~Ju*!!vkLLZ6FuQM7miMubfGZIN2872wZ~Q0w7{|atG3%mLbq-DC5+2~ z+xac-E;FS`Q!_Cf7_1icP`C3YychZ-V4gUNmtQp^^7;re)7Vho#hPxbSX#CN5wd(T zVjEp(u*o=k7zc0Tt^QajaYI=S%rZEkFjGORm8_^keNGMkLDtQHQOZYUa zQIoDa`@L2^v6j2_QZFAI;;JWI^DOM?w7T}pZfXAo*S;eTa7~DGaRt}iW!>s*g)3hk z6mthI3A^CD+Le^Lkrm@Kd@ljy2SJO-g(!1=1VMO}qH{sj_y^UH$9YkQlaQAlK z{?-osjdMoZs-sVuR8ZNCV}Hbr64%)|AwB!WQfV4%=RAs!9r{3T!7Xz7halZM{o9W= z+IhK`Gx~PdOmcgq?}n6zPQXI0TTlon@ff&ufhp* z`75p(wwTZs`@(U{dn?y`y5Pp<$(>5!93yw_ihm0cc}CRZo76pg46{LA!A+f>S;}f2 zP&t`n+Z13&A|;@(>}R9*$xs)_C16>&d3C_G^`i zoB1Dd^Q;dqI23&rNBpyXCnmDpz0SgVo6fS_)uWnKH9e zsFIRlLcHvByZ>44z&RQGg1%Z3Xe5DH-i>24v*kLK5*m54euUr%+8Eoj*Cm z-pGYp^G%1?Nw&O%v6=Pn{g4Zfb3cMNBg+R`s=;d(9*tM7V?0taEAITmrRyAX?o$NP zqeTDKr%lOygqYko`AHAeGzv>ckw{;S%lJnp%lcpaKb0}+bx2Fo-T~p3T*JRXcFTTMMlEly9#hK9nTCbmrZ~Gw-!sdgpH;i_4E6jp-NXW)F$w3SBuBBFtMd<=Q;#!^@mR?dRJ4gn{<;*BNZp zC!QXJhCcx68oRyI9qQAGg3BwVYT?`#cC@PmbLXc|KPY7ih43{kT7RC~eH-i+vjc_n zIgr$~8C(j}{zWn$vhXbZxAIb1=acZ%6GgX(b;b#kNI<@N<-NE-@-nxlQ9ndWh>D1ME`cxXR1H&+Tb&4@e5Dc zRl%4LXg-j0!G88$5VgVV`tQ)M0Jw17*3Ua7SQa~pX-ym+3wl^Vjh`34zjC?Q*1+;9P zoo0Z~3NXStsa^N8U5r||u=kX0vD}m($PmdNwSa*F-NV8RK3@VYyrHQ~m=XJU%EUO~OBK{ZW`yJd|R3}X5oLM?=i52fN;Jlzr*W?|6t++O)x zdC$D`=9XOoyS5ubQw5wJtYrh8;TaUsG^Ov(K50|n-LouVauF{@1EuP@Ng4StZ2?8= z^t0B`v1m4FOFKnviSWWyuKLcFP~{-lOHCCVJ`oOBomNky;_vf+_16bjgs>XVkkRBA zOxbSWB1Uf96NDzcx8kmmLAi$VR}AfSESC$Z<Pcy?Sj z88&QOs6iES9o8mfgxa*VHsRJ#Hz4S3lrdc~-HvD&QK@Q;Punex*uD*N;kY}?C*>I` zWBw>NK2Gl>hBAJ+I|`W%RSfpI@oy8(qyK5H_^?B9GEz%Bf-XU@1rAq2(ef)&v3B63jXppsfSwF zPEX@c!|AJaUtiL^XQ=PjW08aFF^-XurVeRp260FFUlAj zoOd*pAo_1QG1Rc_p_)RUn3RXn`lXci^M$KXLxt37e`lONDA|<2Gy~()7h-dM8FlRy z$9Ef9DfR_@dmncTK1N#ayEQSE%zmmb<|AeNhg53mrblU^8{&^9k7eR>eL{wRz%imp zPGa-O7Kb-;m>&K(#I=Se)VlKQ)y6XiZYxnf}CX2IgRLNb5ET!oAHMu11g zVt?q5dRS2Kc=4B2PTO0B^)Xv*&28?AewhClJ#I!{7X*gLM}#&;FVu$sIt{;E?Z?*h zZkilP3^jA?kpTf&^eRcL_S!Mr`8b%zN8ec!qlL9Son?%f{e@4UJgUaC9W>}W74GdN z_gU&^KL-J>J$jnLL@pRwY9BPUJkp`#Ysx7|gw;?>DRXObcgz~=O?*)c-#z;W2^r!z z#ppc@HaYIPHTMBuN-aMUL7Ur+;2P}uHuW-}&x-P2pn z;?Xjx!p1iOQ!#bzgSk|{ObLtI1S3&+l6dj>F_vEW76+*(pVTkcD z$R0XqK;wE!W4iGH_v;;DkykoRo8s~GJ+h;<6p*XsJLxTVDQ+^h2y!rw)Pia{LhWIn z&OaS612DdAOYgKo`)O#@R#9uqHfGMvd{2xRp7X-Bw#OVUjBZVB%B&EZ(4L@?g@g;K zZZb|P{H~C>{Q2`aWhX|uEjk7)5VJLzViq7a2^gi)8tK}KQVcgL)jb$!g9&U#b|G7g zsl|=KZ-Zun*4;D;8C34^+CP()7FoR1b#L!NOuB{jFLwnqr;#ew{H{r^_spU*MMy`zbCe4w zK&4EX%gUO7@5^Wvg#c;M+!ZBLK-$Jc)k8~vw+C8rCi7QGX%D#GoPr^C zzc0zFJ#i`PhhTU*^W1tI)iP~Wp>pgsfq%WcNX~_5-^zhr4Sl@OH z*GJNft_=DLa+#QDjwD!&TH3rqD!#U8QLm-5GH+@$%(q}wsnz#}(oC{J@z#BM0@qbO zz%L4GC9UYS*YVi62eCAu62}crme|_zT{zq~dDO=OEH>&rPt(FRdK(@C2gp^hWF90{1KOJyO5GnggX0`0w9CULw}Gf@EmJ}k-^DR-r;s>3*&lT?ngBCsVQz; z0riR2S5%$3Y+7a!kaf%4!^ z_pi^6A88pGuDugPhksKCrXCkXD5Wz6E(^P^6RO}SI++sOZ!Y&uzfbC580c!78r(22 zh><~?y-rL31PWheDG0r(s zyR_~kq|NjL1YZ9pwz3zG%7c6y^t?Yi!m6!?RaM7%hB(SKjdFQz>t4$t&_UA*I$Jew zE?*z}igfiifoSHd!j6E7E~OvpjsN5D4xxu`nMqh3_F}LUuE}H_szYqP6sXIA&Q5iW zsQK=1lr~2yVchg_!>zA^woEs($ZgH?3uz`SoStmbYZ^2yT*EuSl{A(PP0}En4lN6f z{vS{*FvfE3U=#}KLsDi2G$q`BFtGnti949aK*xvrPk?@p5dXO(=uBv3Xw4+m|77e* zIhoK((0NH$nb4g72g)U}WI^NNPj5i|7hBVmR8^BzQq)j~|6gqFKkX86{r^bZ|LY~! bpKSAgW&aPC`(N3lvMgv)g!f6j59NOV1fR-! delta 59206 zcmV)6K*+!1!3NX81`SY40|W{H00000B5+5M4H^f3%>!qD%>$7xLIalq1F>^K0t0)= z1CzG`b_16J1CuZV{R4T)1G6v$gaHjtZ%0`^It88V%>V!qlfeZR2jTrfTgxN>f*=S2 zAmpD(XOF+e&twogG$bEsL`=_**6j9gGM_I&`~k2)YsC?)GC z3fM`vyRxHoJU_5}w@V*sNKNK@G{k2Be{Gy}NX+QW^%uaB;n?%g3?Jc>MXc32sOVl% zk3G88{p^uNw5C6zp<6>f4xQ>wYi)+i_NxKDGV`8Rch5~mU%sgBUzkx1HY}6luV#PR zkzF(WwOK>oUe;hzcSGmhC=Mg1jteVHdMz`u)`p%_i!zXMo6OoI3S+tj0rjPefB($< zfO>hn#yv%$do$Zx`bKl`aX{`5dk04^4h~-u_G%pw!)lSEUhicGu#Z)BZ`^`**bIjwHY2b(==_naLeq=rqD__|=r(K> z)PofT4t>}|k0byF0l}X~rtR6@e~OsIg0UI^8Lfc~^Ow=a3@HFFh{>35*|5+Hvhc0g zrCwx4INs8BC?f{!Nb=J}V*J$NgDj}&G;EJxU(!W3u($j;A|Yi_Xj@35O>EC{;sx@M zbUU_d%MlQr3xG9%C@e#p^Vue_8uk)DDW6sl&tVg;+hk!Q>3JMMBf~~6f5|q^qw9x+ zQO9Wj1snM0bIrKpFvxm<0*$1I7`ANIzMG$k%^J%%^k7KJaTY#^jF0#ywIXam@TKoK z{syOJ`QF0D8L^W_V+vj7+`p%ME@FMbt^uop1zdn2TUFTw+r)9moJxVgxFB9rnNEnq zvj`U6HXRc9As??eO;EV$f7=0>j4r1i&c_2XoRHh`=>70wa6x`LpTPH@+T_D<`gZhg zN&sSfelz_@MwjIL<|FyX@aCdT2LHSr4<-{b8aIa5w^zdfv<+|iSMM%{H*d&mz`GfN z5)VO@f#`HZa6n0FIG7-@>%qAH7QUXp9$pQnAKQ(~;q(S+UXI4(f1KQ&kEg@_yQ}jt zxqUaj9Zd!>`~{G`8QxruVU)r3;AVONqe2@QyoWDj^7j1d3WsW(zXR^a$RFvCZaWATE&?e{O;RFS8IUZfN8z@e|7;z$icQX)FP}C&1 zA^?Kl-%SQ7L2@xTzXDnlM8+v5zz5udtf>=7^YM}E3E`xPc682lUNEK2}g1Y|C|+3-d>Y` z3U(2POd<@ZhU#p%G|VM12Rrh?lLiZj5%0n8CY89nw*ob`Q1Plz=|hvB3m*XjlfMfv z0Yj7U3*7~KJe-|JlhO<>0fv(S4L<>QlR*v70fLhe4kQ6|lQs@a0fUo+4qXAEli>~; z0=qYp{SGmImnE?R%e>3zV=g9PQIW37zijMeZHdrJf_5X@Ey>M0W~C;}aqOt5A0C*` zQd0 zMob2jmLrbs(zt#f|$-(^T!d!e8~@`_n%>NX#+v~-}Fb)lzF-zNm4|gKa?Vz z+|12-UDT}}Y@wQD|O@x1SUz%e#j?m^I1G6^^Ey{At^x@AwrWVZ93chzkS0)CNlQ;yg zpFWk2lInUQ2@!Dak1KM@&xB2p_`E#l8t*1ozUg2E4qj9m=i%zUMNT^64wFK}APP-? zFpR-)^1e+tNSgzQ8V-ov+hp)yi8lN*;6G>}ulTi#F>9qg9f+4PmytI7ftjdv=x+=_ z$l$~i^2zT{B||%oH|XaFEH!Q&6w?uMOm98|IeGzXVS!9IqhaWWZPI-HoD9a}(U{=F z#{miH*Vqm*g%Uw5V6sSFJ15!1-vIEN*KCtdcdblXOYmjaGogkPqnN{3WjnqgMfMq1F%0eJDui#U)UYo zNw7vqsgO|)0@{F|D#M1-hs4B=0Qp>kGkTZOLNIIrsAi{`QzcBM&oF;Hi~Jd0f-*5_ z9t>in04;ev;~41dW*A6Y!t$lb6fj!?GxA*teh!Zb={$gK&G1G8;5=9hzIlOSlfaA+ zsg)B5lL84;iJ-(2Jot!{5x}K?TEGc{UG|^(jfP1j(XM42dz{=5V*PkKAH-Hx!=;$1 zH=6PyshM!0Usv6pppW$1|HA*cns0iB7=UaJ4M9oO{9N_ed+|lx7#i~5HiEK*R;d|V zcKpf)jkryQsW*YUS&nP-Ph{%a_VD8tw_lr#L_tYQ;Vds*YyAa+u$3`?HCL?+JO_+C zX%y;{9I$!NOh@Ir=1H=F z+mq`_lV?+SUc0GkLBfK6255^(Uxifep8A8fw?(TBF5KeiCC$s>)$Mil`~x2GBUxAA z>aMT@c023Rd;9c6rw?|-O>dhVS1Mp}z4$bQdx8i@X|$5rkx60Y?0xpbt2IRIww+aVE-LCc>-A zcA5$T@>yg}p7URx4JguiC=IxlNI}$ zZoV@v4Vd-&N|#Y9YWYQ#v<`FYTO|PSW;`Iq8|u-}w#b-&2eVl7AYM{wZKu%4&a-sU zQ>%>OB;I%c%hMj7v&pJw5F0pZ6Ocm%V++Eg^aBwF! z88SLOe8NUcPB>mPfG=LaoR+4;Xc;8ii{+RX??vRR3c7AyhSMgU!&1-OqtM~urKazd z2VK^8<4uBpmMqWQYkQUp8boUylR;&VRp`NGE?)K-Ll$LgtV$*i*Cr|8AEX|zSFu=P zQ463Yo@M;NuW~@CPS2Vpn1yf6yikX|QI^pUV0K)Gxhk`~Pl`e0r_2@Qz-aTZ)VXPdrwV%)J@TJf`*;d54b|y5;==-otHtDv!)FD9vz7OqveG&C3>lTbh^VGjc25 zx}pm*e$@;!lm!RDi8HU4VOb*4!luPz&q0XWJ^~7)O}8YI5Mu&BVj_ z3|xF}e%pL*whn}RVGrC@j|U3E?MAXsf)HIGI^#vNHteCymS&L*-mIfE@~QxHh(mw=pZxBB%~O}X!kGe*QFxw(f{?T(&cr~XWl#{`Ecb;=TzT((y0FM(vINA>;^f*ju!RZ`jJJGn^U7Hs_R z%brfskvjJN(Mb7(p7cw5OXvwEbjzuq#AL>~+*~nxBVznmcqr6`Ok2qt}j!||j!J!sZ#?hG@J1!v^UU-ER}L9#ulOI&H8 zZ4Z&~Q%4?3`W=}&pLRQ)TR+K#d=vd6&tN_B64h|ITW zyq00CALYP@ig1S3#rw+`QkLR$$%q0{2x1J z(94;0eap5?dox$cujGXBHzQ_V>^RAt^aphl^BiujWpkuGEpemG3Wu)Jz2W_8=Qcf; zS5=6dn<$p;8@J1cHhCA?h1FAkcYO+?KLY=Q32jwY+Yi@VM9fc47VVG{N9!}~mz%-- zOmDaOpf9%jpuc>#4;rR<$30xo7wXVI!UY|AK?zEeAi`CZaL5jHxq&gke`V{yi|`Gi zXKWH@>kHu zUx#_cf$(yKfOfq4c8u@!FT4C1Z2U7axVe}l=?lI*e1*mOwQ-T!d}-Q3tXyIcG~+t( zY2N9L1E%sFQ`rB19$whC{M)z65s(DSpT?lxWDGh@#&_kz9J9&B0DF;9{u+e# zR#<8|ha9KIsDc^{h^9=uR8euLrUW^6{g&2MfDWPtAr<*HZkFvRk=iWs4Ssbq#w=K5 za6W1ic6~1zYZG>GdPN5BZF3-&I|(ssNqILD-Qkv!jI*<|;;Ybq(=lq(>FKF7mgBoE zXQjMr8TV1Cii4_K-7#4t!S<^$HU8NqA6pep6nOoA&SV}F-~#>{38t3*RfWJUmgSh} zXno{xXrZ`6s#Ol1;HG_)()1Sp#h2mJdfLQI#Cf)Mb~lUU_?pyGdSVUE?sbP6_dwRC z=H6PDKb(W5s^Z#zp>*M!-bNH}U?<75ypfbQ8!4*bu~b)+CzGf}KKD{NRIBPfMd6c| zH8l5Pilb;*$@Od<6@T$(zmc06o?aB?{_R|dl8&eFA&Wt3ILSk7=Orn-c?vga$xaPF zMVRdzVdc(KxZxE)HJqsZbzJaUy}xGsUN0G0pCOm6D*ar4O+ofUT5sVg$!gcsTO!z< zrUs-O>*jM^D)(8@#XsodesWZBXL?EIsqZ39?XNcNxxRWDdJgMhYdMt#DwuNJi@##7 zI>(TjEZ>0%hptTPaX0_X z&>IrJh622Qx|xrBg(Vu`V8Ul11I7!_GnBRfEf#{NuK1RWR^dmveq_OBxiU=s)4am4 zCAU=CYb9Yg~$BQqwUXO z0l$*J3bt7v~7RRQp`%0N)TIrco9DVw?8Kmuab{K|28go>Bs&| zh>DR)9&+7VSl~Zdw?7L4t&)X&cRdTio-PVvXa`n1>V`~n)_Z#&S-N|c4MaWpz7@Y{ z<#{PMeey4-B?nQG5!cF1&86=$k79Yyep4wG7ioE_f+{gl7`@1*_z|V2uqZKW*egKn z%UXJW$MXc{viqTG_DV3dj$6P1N70(Z9ou`YYBspe{OaxCO}>PA(5=(2w78-AI=p^c;eJN*Cl-n=o5 zBWWD|-=AWf?EU~tNFX~-;_F#19X@2mI;_KgEH8qQG;1_q1}r)2&1ZkR`ab7?!IB+$ zHv;;suCA`GuCA(Hv)s1h%w=yoO}A=D%#4dhuWes8u2QjZ@nDUyU`DrcrrqkLr4WzR9g1R4pl^ zX7j;*NN$K0Y~91&3x@kBnQ}g4v#I;Bo^_J_eE6_~&`3r|%A|M76P^_kP|93?#&CF9=jL&an%uY-`NM_MNsShzrEKQU)t;Af0jdONZXfGplaWjN4dE!W4w$ zSctEo1DPX<;n-1Xs9_$C>{=KpJ&7#=E(yySOFTz0me1<7rHCpUtvxWKf@gf-vp`lW zjm8t>xn&p+XyypgaT=oUfX$JA=<&4F-S}kuZyl4 zCrUaqX*e^C7>UcvR_Kh-L*vU5IuIPIj|6VS??jf9*>i_GFd|cyC+mW{0fiI0O*Z62 za+}fg5*L>}$zpANnZjp(E5ydRyN#u-ZPOLsZ6ch?Ak^vdWDTs;;DJ7N8|_jeXJkfT zR->^L)}Gew5R07-!GgK5Q5RDl)E%K52?3>L9#o$vWR1QGy}u~TD{g!P08@DCYDneU z_+-Rd0ROO*%GT2VH0=)dhA#?GHJf#&ZkU-1s>(RVu`Vm|ab~oCA4OtnV-{T0m{5+Y zvc91$8p^>w@NBSQ8M?6$EES%V3&nM{?4(BJt6*k z@pbFXn_7Bj^(|(9!uO(Jx$j8Z3Oq*_iOx6P)pj=Hn#&yXABTs3gO9tY8{Gb~r|$ta z7Z!7$$V}WoqGjyg`obD%^jl6>>l&ZK@Y4r(^EKOiktLXX;$m8Sx1L#A=D4t>HPIZs z35Zu{_R!&)L@Z0Iu5`0OtlYj?MtG-7z0;-M=~90TT`IqSX<=_B7L|t_&_FchrNX)j zz>!X;7Iw^=gY1$a42f*G>~w$>Mn(N$2@{?s{QkLcFD^toVVXEFVpH8AC^)Dm7)rBb zs4~p}I#L~ChonTRlH-zzt1u)abcnVYUl$ko`as0EN1o(FGpHbCnXweuVbCw~a5cQ? zcXkc2%!eU=;TJ{1HP|ZT>SXT5qqrVZw`0^sc^h>}+7c(1DcVC>fR61*K^4m*c#3Tu zjkbuk`5m&;)A4ECY%&?(ZFZMGO{uLBR$vF)N0K;Pjv{aQtCng$>Dha}vf`b%pTgAK z>9MC}hfOkR!m@nhc2k|z>NSbY%{KH^>*siXz1$sJuFT(ee*8=zG6M;|| z^EZ~zS!Qpk}&mt*ezEr`)SEX1Q!mv-szz@&SM#q`TExMgaaS4;djS4l$iBmq9vO6uv znlYngC`SR)oOF^Ms`nbNySJJn+V z{V(v2BpR_rK$XUMp~NZWCl0oHAgtL4k^UE4lD_|C(!H(x#8E!Q3m!32mz8&_x3e)! zIp(%j?!M10hX-E_V>{JAn!URBr^Rx`Evk%P>_qJiILBZrx`D z!HIQz1Qyi^%KCzh6gnXUYsz*}u!9iQfGE=M0!OSLhcLm$yK{k%wi8%~4Apl4saF?& za3Dlo)dP0~J~`q{9hD8REV2tTiGd_Adi4uO02=s*p%J}Zxa0T9z3sSr+qp;`(k}*m z_V7(MDw78A5e?vDN_2f>5qb!U{u76y|0q5DCnbt5lpc2elNK#cS(iH(X;5}H4SN%G zW`PN4z)W=F@R}fA%ZUB3)WZtK#!d`>3EH$>qM931)lo4OQ)4+u{Mzy9#t)8BeB+a~3x4U)USEN=i8W4oN;EnioIEM|5(Og#;~>JoV>{PHqIlQ| z`!OJTv4YaLmrzyLdBB;0cS|fqWo-vE=pNrJWR!v1#vkkPvr^j+y~z;$-N7OA(79m@ z=T3G{MQ@LkLucX*6FR7nW60ir<>>BS=k8wT?q28aUgz#!$9bQ>b7BDO~NAWm|j zgWpU;-#a4>p-d%4^5iffIEBXvc^}0Gv*EGsiT8$jlQ8_~qltqBvxmQbYAbVeF-DXL zMi_V_Eb{vZS{#W4NWQl$XGj+B#3k}zL14-}z79(+$MPUVrGtKlgVsGmq7r_Wy@;xn z5;c!hM&~4O&mE>&A`^;$ow5JfcHARs0jZF5Pf5RQ``0$%oq3z=jop$oy(MDzPVo)O z71@m*IZkh4CRrc$zr@Rbrh8+k@gbA$46ThKw7l#=FQr(~7Pn78%P2!ShASatEzRlN z$_V5}O4d^)r5xf78w-iK0vK+|V?y|VNacE)u`T<@9tcui6jCK*EYynYt8tGCwzI@? zZe91*Okpc=!Kg1#nCd>~OB6~YwihX8QN0j00YjPXy4WGnC%H#|$+0&ipxtlbW&}(nJDDXIoy* zrIm(G*jCNKk9o7kx_q4b%^pHei5&4T*mT@7$1tw2vIE3goSBcj4rdr+`Kj6 zRBd`@>N{T^7V$!9Is6-LybmWi@0nK>7oZE4DLeJiE<}@C+)wQCNsGBHTF8x2=367@%~2xBq`ad6FNLU={Q@V`ee1hPF52{x>zWL1Nr=k70k(QX z&;JJ)XMu))96#XXlGpkD1k`fhPT)Xz!w{4>Ta&m8eA#XTdf)1~hrZQAkZ(=0UP*me z(npK0H}H6S?(yok#AzDI?Ghw~DUUwPook!vj&X{SjSJ4=FVtiN!Ug$RLRn9~bU!P_ zmQ^uJD#X`_#bUe$AyxI5!MUuaZ2Oqqg35Vmn37X}BykK(CQkc|Y$!}7h!l2UnXWz) z?ZeVfaT=d6s|ndRGAGMmT9($#Y<82gMVOyuH$}_YEG-?aWTNy$)3w>n*zz)I%WmG5 zgQ;73RL7aXWtfs!=_`}{+&p4iX1lsPZ0s`g@f7Hs%?@u7J4$L4rnTG48^~nazI4Vg zDUTU{sfc|Ry3KmzNGCeY_T+b>GDC6K`{=_S0kRdmZhAgtr{`v6tR@OA`vi)hY-1qeC6-QN&yXjkJQW5%x0*)==0umH1IJ@ua~_&)xs=@ z2zvHZ3#CoCVpT1(&|w{(AA)i1qgfqA!CBTH@^JTWcju#dOIP2SC3R?0WQ^)q+y1cLv znI0tGa?w4MM0uhg2PHKc9ch#)Ll1FiBy7MM(>A*_Bi!RyVF40T0SN%}r8_op$0lw) zn@C_43tsNJRf6;qi#BxOD;AQLWsw2qyl zv@wz+iIF5QkvY(oeG%Y=pNLEsw&w0{#vva%;Dj}Bi0{}xWQ%vG%HKrQ0P70_$*CR0 z(L=-1iphpY4%u*D7`}?-ca+HK9Je1<%M;QjyMaBD!txwheAHB-!)o(qUExQj;b1l% zcaI4fLNvYhwGLU0ug$i9o!v>nY)L{L{4!X5lv@|RYuHc6-0$#%a`fh_(BWZw z6|{5dxPkq9h^a{7H0)@{KYKa9Q?MQ5;@n0OTrGB?bVGPs)W!7F!J&vb`EfMVI2!2F zc{QQpB8B|^xnJCd3B`el0Cj*{#HF;H=Captf;G2x}`3ejbJ^4|b>Hvu+Or z?thS}mW9R^EX;#tZ$paS#SUKwB_$0qM zwbg|}51kvLx^)?CU|Lwibb)EuG;x#5R#@>Zn@Of+nQQ@}!NPcHsc`Ox(U;5O%VqCX z%I02)m9}Zx2-#|EFaWmP0BjkpS&w+H70vz-j*GA}y%A^mXgHpK6yFFl%ggRZ><#t~ z2TEh5>U_4*T7KImgb^W;V?z0_g$L7Y!iF1QO)qm|c5hglPx?O{4hMc0%iLl)3f@3q zsN?=AYuCYQ<_!|;YO}(FJ{oNqCQF@rEL0rR&On4`vN%h?by-#EB|>-GR}bI3 z-tArZm))P?Uh5oxpM{glBAMhoRl)vndMZ6eC_lhj7uzoojBQZK?bG=Olao?O-l|+p zGCWDDEu1dzNpx55BY9c^(vN!Gkx$bbBIKl0x}~PZM~z>14}Q=M&ux&B^qe8J^k1_e z$RPsDlR=bC5DeP}U@Zp#LzIW1t6Sb;bP7ZwkA%ENO^djH*RFZOVp0J*?9f?*&nDC+ z^H(nkxC$AJa6|m4q{c33JBH91PeK5~y|Ev5FI~sZI4B5{QURfjVW|(|Jdj8a*!XOW ze|3Ak;TW6^ApAqZp$P1EF1zE^@L@UdCub{@>j`Qh2%}Lj_WR!H7uEnw`O5ilcs}q~ zdc(`r(dx&4OMrLvD)<%ENhjSc-DB%DlAx>&Z@^Q56n{k{6=&G?mu>me{2i{L9hgONWTd9Wmg7 z+X7kxvz2UfaZ>oJKq2z4M`J&N=ZK*S zcgnb*8s3u9H*xF`9f4?a+ND%nM_;zl7b#y&mrHkg5fV#T*4MpmFpwHH+f?9|8|lC; zdlBj*P}SC5kcw(f08R?ag|@X%9i&vS(B2Gy$aaby`*f@oAhA$tbEeD+ljmyn(m2&t zyiPuUMFqa=Abv+To4t}mm3wi%(iUL=^EJ!K0z{z`+B@QJs5g+fPKb5`bpT(8pnf78 z8^teFqDr&z*l-H|rl#T#wNwR4v{M8FO|bP{fRjJPSx23Oc#nUb^&rCO`@KPTjMt9~g9Sj8Sh63^zT7u~2}Sz4}H+D_Jh7O)DVKv*^h zloJUV1>S?2T{L3!MIJ>DZK0?+_^YlDm_c4aZD&tvAk%h6k5dR#MZ$x9S`u!v2w5xE zivJaArNU{5k2`fsL@=?(I3KImTx-vN^_Sbta13<6BhR{(iC=4MT(Bg?cN*n)U8v-? zRUN#c&#x;*#D3>rgQG+^3AzJ=#?OZ1-QlIa@&~va$UcxVENzs$4D1pD~ z+EnuE>f?-d)r+A{uQ7wI4q=Ob>T;tUM4zU^i7%^aEWNaN%rmx}TKqmq(@VRVbBi-) zK%PJ;5^4Q$&|{e0#uBc4=pgxUAVhg}d5^(aq)r{@%D5n+G9AG-m78%H-t`c_slh1K z&@&jcEH*__6Vok!tmD8RpIVQ|{Cr3IdrK=gbP&)ELT?Za&x!|fd<_zRUurbKo{{+0 zjkR5;!)%|P=b09SQpXo_|g9(~KL8psp_zg2u z<4M7Y*OC}WgM0N$ZKQ&ZKcO7sGG@>{i8E@u#?&p~&*)zsJ%CPb8>9kTwb zN~EX&+S$5eS=6R~4hu+lKRG$66w08ftrQ^ka^Vg9*@8dY@MjWoP7 z)M#!Ekc8%!4l!n4nY1lWtX<6K>I+_%tMTQ^`VE6wjUv5&ZMl3%ar2P=VQ4V$1!U^V z8#|fSVh(i;HBYXE$I^(yD>|1V(c|?Rzu~oAwSdNo7t}Azh3;lqGb(|4U{{hxlSNHS z$c1yN8em|Op*S%!!9>aIn)vw^50$$m)l5@^8a*;D3ktNI7TqUBlg_LP00-eIMU0lX zRA)IcqJxWnhczET-@IR8hf>i1*QLl;-Xhy}5zG`P$|;NLAq(w7Tc$eu@fe^qd9+YB z!iKv0Lu(s%B~#lZb>psDM!Rj0rmem$tR%4>odkNUZwuH&pya){c>}}JCUrKn-`y8s z75+n;MX1kpWBT#$zs#_ZWb)=!IKYUuP*Q+V8&hC^$k6?X)+#$g^9O(xQDQLZ!2d^@ zx|Xa9sKiwoB$}y|!1M%C(#d$#IiH~a%K&Ir&-4481Y zCh%T{#mI?>XC1tZNFhy=lVx+d-MftvrQW@N;V8v!UV~RBvkrgLY44;8Ng50~96|$6 z;Nfhm7Nbu0Q|s|r2N_!VYCKEz!OBpI%69NPgJNFB=binvz>GFqcn=!jLKWL0ylOXF$!F%UMb_7Z2!}L zZb|D3|8%fup~iP|>TJCD-*>$DN8`m#T6XbbClSxgi!-z0dOR=A%!=!`i5J&1GUFL} zv2zdp&UkU`IAVCQQ>3^Ryx4Lm!_u>2k0|m;!jl3y1=zJe`YAwS$(HMH2j7;*Z@)ud z`$4T39$9p2YH?cdmy}oQafT0%L~9m*6A1eRyZ7z*nRbM|)PoK2rAiv&>Q?ghi=!;g zl-KpMLPAl}D0ciUSPb4iEU{+-`2!cE=BnkTDxBeEd_e(J<}V7F+QPSImFg;Ph+1|| zPa6XyjJ!S5+S11KVafV}juOsYDiEg-knDkz*Y5q?mhf#fgLzoGsYT5INLa~#e+wI$ zl+qt*HIw{jg<9^Kx0zlBWNqFODKHrvT@K`nIIAQWYmW4tNrQ=Fnbo{1g;c0*%vO7= zBt9b_wx1TpH6`qx(W}v4}_)0=GC*R(E0(K*9b?XVy z`36qS-AGfo+fL?CikQ_<>zZnRT$B-9z-bz-*#_YoVNwBGe^f0*tXWdyVzl_0Bb12L z@)|E{wWnD_*OI&MdS5O-z=^jP*nX-8WY^b4sQd!I!EYTZx zk=qt3q|P00>>*d*Q1*;9MsM43Q;zXwa-szE=82j6KLmnIZ#Z@_JGI-07wMR3K3bl| zX7y=PTE73|5t;t0T-Kk^f^Dtj(TQ@igUQ+JjoZSz2r1Rt9=}G z2MOgQ2P#WRj(G{=+LVZYA~Mt@0<+V15oM_dd!9oa&gO&oOrqDP16dT2q&Jj<06QIgI~!!y z8UE(BL4Msm^#`^x%990ncxCYBM5Pg3Yxc)r>05D#io%uEb)kh#ZzvqQhO3AXAw#|~ zqqXqG*&A)v>80U+8}-6a_Les~c7phQ*&-HGw(L41$+wpb!?Hg@YX2A>K+C5$o9<@f zZbeybwU%(rl$@$hh##~bH-|YY;g6ETBU=fRBe!YrcC8BUG}fKa27}SL(z7Ex4;QX% zKIgT;;1;=@PZM3vr`cT2`R*ofkVdGD`k$0*pqU>Gzj)TrRps?f}{QLW7YAnT^dojchMz|EyczKxXkf?-X!^XF!0a2Xk)^C+bVb(?j(Q# zJn#8)4;}J4!!!I)AO{x4EMnRN#4H7Beci*@kuEwYx?t2WdXirf0jp^?MUH||JMK1b zG2%9}V{H=&BW`SIh$@!J{stdXH%e$yTn-&OD8?wt6{L=Q|D%OgxtNdetyy+d0n|#N z@^x>2t*s01GTCoe)vXa#@t!|JU8t2BIJHvvJ+3WXD^I=Bn4=v*t!46TD!23nQ zlZGMaZE#tJl{IaMXbV7tB%W!?7#b)UYAV3&t>Nj^5@{QLFSzUuY!U&U3si)KKcQZE z2u*MvT=}|JZI?1pw2Cq*=wmP<+?P)TQ)tp9yQVeE zI^=6v@9zpsdOFdl+rtF7oD2kQu$tTxi$6oV(#TRH$NP!{p{*T(yt1ncy%9@M(aKW# zR+ikY{KT_V<(2JWEtLhJx?;&FxP}~+J2+~lsGYpT`=2^Y9VaH03_@9wPO8VV3FSS1 zCDN~0Q||sr$DRHsN8b{n3v(d4;6!vG0nvq6L>Dq4I=Xp8M=22fe>@+bKJg(ao>45-6_A$mx4MEZMiO06J0oEHi3d zo%o+-M8R`-h(($&dH-vPg*1X^E~eBjjt39P4SYEHIk8mEryC`>AP#qG?~t>J*j+yu z2OW^hBa?rS0-)q38g)H%0P34Q6*{))L?JEe%knv_6Po1{YR%00{R!{~fz;hoC`54wY?uf21p zH%7`xxC!lGXkXuVRt(3l#!?I#ypKXRH@-wg6E`xh@gU_e`HcvIK(B# zoWi)FixnM`ZLDI%1xWrqfi@FL4q{rR4YLXAM8UbFynzY906E}RCafyCd|`!kRefeP z{qc?2neZWMXE((&2geA1R>9X1qRbjC5{H#-)TY*?1^j3TgO2l$H+^X5#~qgAYUwJ`lz6fkIY35T)h=g*o{^ zgm69wABdcMz%iqL=tl}Z5SbKRNJY_+i=v}h_`u9yq~-&Wiw{II@PYiXc28Vsd?P-< z`$N+d=HDak%hjP(0CAnC6-Wg^H61#bYF5gC$rZls*nJe+d0qu!e|QzqpmSnnZ+b7h z%Jn+>$7!Giq4Izm;Ruoi>i-ygLgk0 zltK$F@`(OZs6PeJvJu@0{?VvX%*oI>J4cgMj5jh^QwmFHdYFLDhZ;Ju03ovVF)?6l z7}XHEl28~^plCBnm^#*2C5H(k-RWZ!1{$(|fkg^2Rjz0iQxok%Vr0}0OAx4=by55w zL|4faMipIUO#V||GXEr(@r^Z$9w!4k?##fAJMqj|8p}h+Si~u-qr-lN7M)zwDzR%M zpcsGrfRen`P>Qe6J9*B^e{PX5Co{CgN^+tnw-~1`9dR>#O^BdDM@a}^t-?1ir5+f6 zUK&X+%%q>pr2m>p|1*=mno0jQlm0(536UiXQZxR-kJ`#6O-ShNjwc%burEJc+_L`6 z=^?LN5%n+yLg`1C4TYq^4miserI(EKDwRT~v=Y;hU4W1vmK}(QX-7NBXp;d~OlQXF zLeGi}hFg6udaLBu81=xqbHd9qyH>+0HQ+2ymsWfc7q|!`P*#`7l^|w?#H>_N2y_E`El}gnz zx4)(u^ZM_$p4Xd=RF#|Sw#w`4X%L2YPqTIl#2ShEU4-9@zFeAgpN3iSvS7h~BDpS# z^y~Vs)(mCad1!;a^6>Hca%{b|%ENUVkv*!w5lWbsDn}4yABZ(<9Q%grv! zx_y0X8d|Y|XPgWFynn{z5!u{8gGCm!!eH;+-mlW5eH~T`f1ylQ-bzefIVSIZOx{0Y z^8Q~;ULhv07?W3u$$Jo!w-l4N9FzAnChvJn-fB$V|Hb6}9FzC2n7n^~#^iPIi9vGf zKqy}J3PqR$HMxYJ(KM1zQ1XeH+(yZ5GkF;$FPq6vQ1TNq`6)_%Y9{{|CI8n<{vS&I zpPBrBDEa@) z|BjN>l$sFewbAG$n?}l7r9|W6yz{%!Fbu+TZ#bQdrW1&bb5$wIYW@|RP$-v!%kH^f zKq&uOGh_=?q*fv&YhUZCeVi0UzQ$sEL3pp93Tk9VUPMFy^W-9bYC9cP4%*>rN{E#V zLF~Mr{<``JB0<%pP#iq-uPZsL#D`GFh_C9yuYSjas?tGS$iRQ}{ZS|SI2`zw#g5H- z)gJ5+(MM-=c3muxswCW?+fG#pX^8`%MFn@*9~u?*3Uy#cd9+2w!=|_h8tox>f!HgY zTZ)TBU6c^`FA_d~9pMrEf90q6q`pt9#oJTe%04W4MJb-- zFdTd-hyE38IXF2Sj(ojKF?F`?@Z=7XUarM-vL*t#P@UU=M?TwQD)bhZXqU{X>?KjpJjF$F@$8Yst1(Ufh(!$^pHOf(@Wb=TMe()zQoNJZLNOJ) z2@F{hLJ-ztg`I8~UHJe)K)t`?VjanE^)>Y0LkkX1L@tCBCuSUAKp~46{r?1$phKIZ z9}P71>?^NSe~Ot7G2;#Va1+977yZ--vyojY~6Lct$Mw5;>se=``;>7u$$hDnDCYj|Z5%6v2) z4$oMeV{iAP%uz-~^*6z@a=b!iW_W6HwnmjDGsXw&pLYO!TZ7B9w%9VgivJsjGBOBE=j7LAgd+#d1dmJ0&G6uu(nt{8#&W+N~ZEtu<0vH$%t=h<8(I$>>OuH*PqqR@zr1Hqlb=+_{>bl2W5POYsf83>H1vWv zf4kVA*|h+zHuPU3z^k(v#GPFJW38stQ85<-9zjzhoXFO$xOIpyBzJq?A+-gFWxgn2 zu*Zm}Q#M;GQNvLv_fO#byTj?Y=i|q0FM|jNzzTbVDa7rkyMcT@WgAyG44LP{)wozw z)g&Yr0`P153KJyZJ@O9V@48qohQW|Yi98Au_#X}jdCN;eA_M!MnCQrWQqCg;&z1K0hWBAM-n?x0 zYhC~@7?r8A%Um*f%EoN+Me7=qxGXs1)&`*@A=v~1nO)2*&#>K;)4ndVJS_;Ff1Ooc zF{O4>Zm~)8&@1L6I|pdDU-nw$Ll72+<`XLdyR@v=*PTWtfuG#?df7oU5`^b^ zQ%`4UE5ao6Fp}P@RKNBmCC!_qDq7X~Gw@ZvqvU5Em#6_OAK6GdC01Md!zfn z`55C2N@&&erVoA!#UnzYh}>1B0B^aJl;Nm<4Cc6o4IW=2{$j|ASFj3@*xvTaM>V); zI8cp9xU}>$nr|vfd1vT6!*Mc^$XZ>4;Q(5nNUej0L!)I{>Hkz59|Bp*HP7HmY&Ztm z?Wi8^U{g@BUT9uTe=4X2J{3@~>L^&%3$8f|uE_JcN zWgJ~}$DZK(>wTPX+-xSHWA!ZS|dFHRru5 z+`QKTJ9I#WH?2d}84e%ifOlZ-Zvptjk}&24?o&|TXM~yR;0L~5Tkg@q-T(n^*h>gW zws-Ln7Vm5Of6b9`pQ7DK7UkY8vaqZu7DZ1EzrJpllI%L3CctPjgTa_WloL(IXWgD3 znU*4qukCjVC6~oW=Sizmh=!|#gtXz<&+iEg03qvVAPsn4{D__Fm7NEX z*Kt;21F1hfvB@U$l65p{qqrII}Q6RTE^VgX>Pg%5ysfr}xTO(-n#?w@ZosE8K0^!k3&l z)45h0lTnap>{)4e$m}xkWI6(E2w?cc91P<4e{F5^IC5+r_?5~@uiLxu0o3=7Yk8eY zssEN{3@0N?PNdNl4h5GLYJmwFxR38)@nEp?DRu{~6#gF$hKpYng+C?u^8o%V!JlRL z^A!F(Z%c0nSqbqFZwXb*?h8L#me)(~g;$MVHWjw5*ldU7ZMOk^fW=1B19N=XF(FW$K1QV7;fxK$y9jBQ-Jc0!0BnPN-Ww$C zxb7`_d38_rt2J4XkS?mGjd+0nzhCzDH5Ahbh0`#=uJEAAaPJ?-kgE{YF&gN5f0ySh zp5kMh%yF!?GXFLV(HKt$!&4+PwoSv7n$@FoQY}V4Xf0hzvwv_6*Fe{rdjBX9RadoG z_{Tx*UBTVV{~g$rrBz7;I3yPo^{aTJC&N$SlT8Wz zldM>q*zV?Zp9zb98C42ONMCbYf4CI+xmW=PukphDf|jD`@Yjkb&}cgeMu&dURN%&Y zb;zT7YSH3HHhiw=rt}Icw%X1YOb*T^z*E0FMKWjL_f4$T|4W0mLs^e>f> zADIKrzR~|6s3|yb@#9SXzyB@Wp|YtT_k+*cc19n@COwe@b@eM3N(O)W;~@ZWY$_~{ z)%SMS!JOx>{z^r>SVx_!e~(qAjMAfqlcK1#54DtS2KP`|`Kw=0wi&B-`mX}EDl7Cs z@w^@*`o>+PStJYH)rE$CK}VdE!*<4I#S|rM_VQAsk6XVe*xx30%<}!b2VD5;93tF^ zu5QcVXP3=S(K-zK0eOcR$>>;00Lph>QBbUA7tvs$?W+s+ztVEmf3jA*&Xas@!U0)s z3z&({ME;lAl7O4)X?^_HZP4+*!rU`=H*dFM-qP7{s*H*0h>?JC&gE^5li-=-3}m10 zf9#9_HcD3)en=vWC|d>&{lUz4m%RWR!O1?ihL&+(YOJBf`j8qsv^KV%xY59TmM>7% z;rY0Gsa-nrzMIQlf6G0P*0MJueV0sS-m%oix*Ps|xs78TY$j*y8xJh=d%<@O#s51j z6{xP6N$Pq-$ux?d6V znuxS6)I_^X)yHOJHiJ5MY%cCQ%_?Z!cbZGpxDbA#jcRs4Ef`IN-RO5V{G^%)7Y(K! zpPM|SaUR9Z5#tdJ+Z;8>95oW=NVGBA935qa-RL({=%PINsc9b4iQ%XB>8AgrtZ(HD z+8@r`JAh1ce>PaHI|UVD&J7j0#E_*4HLeBYw5DLVJgSYi@VNaNrij17YveCorrfr9W_T}Nu)|vr72m>J5H?K_wLagITHN!Vc@+-A z4qCcpk@*K~wB_k&5wx$XvU)$F7C$?02YiP-V`;Zv3(siA{+y^Ne77$G(utbBdy4m85| z-tCyz86@ya$*Lq(n6%V#hb|_CXHYv#bhCEH{Ke=W98;K4dy_dZrrnk(mN+t56D9h@ z*zAcMHbsd>zvjV9S4825!3_DXCI3OLWLvf&93@nO@G5qq(T7+Hj0t zv5n3aPe9j%814@0F5JbUO6GgH#9m?)F)9GhUoZ&JmXKq+&z@%)8Pz7`Ij(=x{#9oc z%c0I%gl@^$S;tjf4|HPBlb*jte$f9*qI zQA`@SEY=k4#!3t0?iG3Gv$mY>vi&s?tX^15F57bjW=H&T>Zh?(tXX5C%M(+RCgu}D zDGjU2vHFP_AmC%I{S@>sL?gAqz&Tx-83Cqi-Yz}}tB;8}UF)U(c2PBbw8{bHqwSh< z#dFx&+`Br}=?Nv^a3Nqm#%U@;e<(u|=_h+ALtA4kpqATe;_*(K`8%LN|n9C|F7(nTb=S!Ag1j-(2b z#+&SV^nOAXqmG#pMhX?^yeyG5Xwigg!D!UPlUM#1v^*x`wrZ7=N{}J4&@MHbFS4f8 z(>i^Tp@ycvwub(DSW14Se`K!S#VZg}pH`QdSG)4X2aa+1YIoUtwdZ(`O^PXbf-wJP zuPqgp;*Jrc?>BqP-s?T*3zpO{o|N4tWt~2LyC{Eq&pbEp?!{P35Q8wuDkA#ax$wJv zAMK`__>)+Ok?;6|TI#`FyF*XatY#!P6Y1?-^(IA{CAyW~Bfw_xf13(ea#UmTTHN~! zf9x;M;gX1;-=kiMupRgVzc(ovqs8yX;l3o>Ia!Skp&ff@I!Jvpz`mMq3Ys6rAHsr$ z98%bV8^_yhCXS#WA^Di+0ptQ`N#I`%t+Y7n41!ApaKB7y6x%Y3}jgxQfv6J81u2^-Wf4&WyQYMalx-mNo;3jbo*6AE#=4` zb;oE4!r*ruJQl8g3(E!b@|oZGpswqnyuxF^y>*m3jGAPTfbxZ>fn4zK?7gD8o)9cC ze$^hk3{Djh!7P@vVzDAnaY8Gr)i5HjMUiqUB z<3y6E$`m25gD^;BRB(GhnCTAAhiFDGE{iCqT579OGfL}Rbfb%6VrjcK<+^&!a@vjj z$B(Wr2avI0tceYMMKn{c2$`D1M08x3<}_E)>D)@ze^+S09V!7$hDB!9K=hMF^?O9a zWW3KH-4u!Y{z>-~wZSWqd!&Ztbq8zhIxOSbQbV`JQwn34{^^xt{-Nwv?TuG#!4mUo zXnz8$J?~AocM*hsDX}&xuoZe;v|Uf43x6jCm1(MAIbaoMi;cYOzAWHFG&^A=@{$f15 ze=4HhI--G&f8F!_zTYp>PSXKTuLGrLH^_4@w&CHpnU_A=kosD9CR9UydLiuv7LCLC zqL2>M^KdvOZ*(U%T3kqp5*dG=RKw1=(cAn+BBkT_Xt zn8tzW{Pl^Dw`(pJMD5|QJcUENhDdR`fA5U_DCkf94vr0v&-(yciG<4YTGu`M8=oix zEW-e%qEA$|J)gh`hPgc-iON2GDcWu)V7!6JM}=1o>L4)+o8!fMbxhOmbx_)b;>S}E zy?C~0VoyaT-9d;^o%eYd^vU0((5!ULrqnft+x|IXk)Qot5-6F!6X;=d!xw09e=Vh@ z2`-CzhtF8M4vPe|vkedHUiq`E|25_&P;yz!6bMTbdq$bORA7wD#ta@j@LKQQy?y7Q zFNiI`2ixa(dmU&G52Bs=rC3Z%mKNgHhl^QIe>Lqjrw>a(MAZ0NhTExGdx~CR&E(Y) z`1@L=yuonzaXKo#+uK?8CL>lve`|`YY$ST1Vnh)sL`+<>l5!`-;>$=5jgOV>pn+je zFrmMF{mCLoqsEk2GmB)|VP8Abd|09mwzdLK^_J#+9ho?X%NWK@6Zm@;Iuh@L;1V&< zDw5gn5rp(&EG2o7QoP}qz5!`i6N+Yvd(}x>Z<^JZrmK>Yxuy_4IHjWFfAOT3OsNf% zQXA7r<)LtK&Bi8vpn*#?l8pg8ORQIhWzfSJ>K2OAOY!i0cs`FRWQ?{a_MWP3 zT%r$HZ05^f?pNkiDhK9Xrl@(3b-Ap}KQX0%UDIYB3&2pxeY zyrm+)+jA#3qn-5CqZql1`QT!ejJ|5^SAGBnQ4J~gg8&%O=fI<>vPP%i)pt{Kaf4+DVhT>W$75{p8?uXKEML);QSqMv@Ppkqf2yIWuQ^pbZe7yJ$ zaSA_8eOW((*+>Yyp^1vNLZSR;o@9`|qu!qqLL<(N+N|%)CsCjss5=P$Lky@;&(B{Ysd&^SDL1q9b+)(u81FETdZ zp9~z}<1_U8e@^SyewN0{1GuBRhAZ8ju%GZglnfxLKma7#o!IVDoWu3)s};)I&Qp2o zQApcvOhxyihPf9d>_-dSlNPrxEp~6pb$iKWvorUp#JwsDS8e39Z)tm1BXp^%ocvnd z!y2LEh@5gC^Z3{j_cGgl)(8_Am|oh!c5DK5+`!EJe=Siq|EBxgg7&(b-tQK*=ehR1 z#<$q_vhIDh{jZUI|1nUY$9Aj>l8<#_GgYq+NW0=Y%1;1xF>q_AdXf;%-MIv4ElsS+~)z6pYk*jWElYaWCF(K zjL2^tC1&i3sDSmV*1;$?gf$M~$u8npyK7%}AGQHjMe3`Iao|GezlTa8wiDFk0W)jq zx2VqBwNl&Ii0cY^aH+PjF~jCki(S4XE{=wJe*p<#rY)QPvi4LWA(x7EiaFg2L#(%& zhIE2=Z2#7LxwW_D6`Q_4@?K7(3E0Silkd(!05~7cSNQb^$IqjO~cpAR;4CI z*S6(@y&{`*jLMpg-tXICFk*1Ug9PyGmLvxVOZWE^ ze@9zW3^inz4y9rZ_LdbkRruB#Uz6!D6E^^yMJ7<2Hw_;va)ZjuD_|}2+kl#u?xGC2 z!MagL=~f-u87Ry(w7chlKFGCWx_d0(9GA;Eh#x)g#U5Mq?My-rvm>L&WrQ6)McD3= zRm1Fy#kEphn0M=*ee~W=d(^VXZ|hp-e{J2mi?c}q3*=GTB*C)`r#9z9z7m!)N|2Q1 z8!ps|@XmZZ@3ify~w6g)&)*PMLjosMGClz884N~E~J{^Sa9L1^^YfsSK* zj(VZEkzIB_`dA`W$sA((qpj&rh>@z!JZFBC5n4Ae-YP3vBpy#*cQCr>@&z-8f01d6 zEY9`#*DZhmTI!qe6jLoczKsM;_lAryiypqko`=|6_O{$lOl+~|EjF-|MFYd_z0@eH zDK+-e{nkXw+E~+a$jQ23Sx9PQxk_tuSxu-XN+hg;L|@Hij8v73ZG^}R+G!DoRo=sX zCZ70i3-0-03CD&D`pg4GUWp+E<}p9X_TIS3;-#UT(z-Lc;}g+#Du6AoPLeGpQD9VqYJ zBl;tRL=aOVA-TBUi%FWkqVZCU6pS7O8@vUw9!r+E0a^hoLMhU(9^xJoA0oq_e-m~YDSNG8)0(XhHI-}F72U4b`wk_(OM|0C68VCK!$v8M zvb`C1C(_iPH^4jL@H1kJ{WCD#Ygo)vhe23un9(iI{Rwbho6M@lVBLTMaRyU1>jTR? zq0ZD9N@0dF6R(<;UqMjKD36Bn0EfhJnzt1idC$@e(7Bp?7Ww-G3M__vBsb?5GwN&#e1^Bj+nSvyf^0+jkJ|yYQ-utHu7ny zt{e;mma>iwAM&U$ZpAV8?p+L$qb=M(zy9SmBO0G`pOoV<1rk$`KZ?||+mA$rY-EWv zh&W|LoaS=JuFWkke?LsumA5go;>Q77gX4+|dAjz?lQ{CM>(C)-NIG&;c_k!cWxk5@ z%tj|x7?rw;lZxds_hidn>?|@GMger{eM>5XU{rHe-YD7q&;U0ZR;t^uF0u#@?(B;f z(r&&f8V>9tJCaPW4j5%03@rJ~*V2_q1!9|Z5!WvxbiB4XfBr#;smTydf5q2!RzQ3R zW_SEOUiLOiSRMN+X6z7~9^mQDXdW&G!H}u@i0VD-vhNQAlz%Qr;kz1z74(_zE=0_ExsM7hW}~gLONm z3@A?K;wI~*f3L6Fsm{IhrL_oX=pB7+%`z7duq5)a6&0dXT-0_rIP}bOveL_2d}2@2 z%liQ?YI_ca&gsd)0Ef1R@ZkITZp{1g#%$-WXfvAp9hvOLz`9Yv40n3N%h51I(o%6_ z5aT64uk+@OwBUebw$_PDT)IB^9SEktjRC|BJot>he|>Hf+6ElEnJt9eg3>n6a|-;r zBU@Oekq*ag=E<%-6elk{nAx*4Boh^(&OtAJhI_c{TvyWpwAo8oPyA^@w3=?yvYK;c zYz%-U&cld6w&;AdU0>S{3K}83aexK?-lVnHbpX~$wZWtpVKxWu1+jVQ$WMWTdB*s% z6obH`e>}XGF$T0^m@iS2gP4-ia9<8mo6*j-IOp3YH!n-}g+2D8;oz37<=cG@F*eb9 z?t7?Xm#aH=4p>=LH|^)NkJlY^ZtwVQ8m2>q^|yABpXS!>rv_#)Qnh+qG`(luqq*EV z<~eJvFYJ)D9!u2g_Oq=_)UWIZ8-u8~zZFq$f4gTM!LSx5*KOnYyI7KYA1BGpd%i%O zob0q?<`k9NkDJr|*g0)Ds5=LR#~(!DQHv2R<`8-yXiw>Dt(|mE{sSFE9S{&w>Ro&U zd)asPBR$2#AIU@6NdZhF4KROLftgKrqXeZ`w(R+eO3)=yrnH^q$XajI*e#bLY*ua+t5X zFGAkLYim;tJNh^r_?PrB{=Sqbe@DCrkh6#fN7=-o_-lT8%OB4t-%vjJCIg>*bH^v= z=ackJo;wL7e+x6q!6`uocp0D1raMzmsY^<@K%264ngv+(}{!j(XKOqmT*gZ`ldY=2N^`e{!F2bJc|* zm|gKjHH@TTb zT+L&g4R@Tst;IC`)FVxAf2Ow*GSXh=Xr9nfVrxjsF!~gi=H+6%>uq{ylZjrrcW-vr z{_f{<<^m(4WDq|RA7Ui*&|b+L%Rir!f^&6v>Z2tu91W8?m8iRBL^rF!vAs^dlR!6; zvzK!5oIQ?FF^huM`e@)ihYVA6z3~_0Ov=K&7*(tRyj$!9*9exqf1SXws&@kXnzW6# zC~sZZqpPxFI~VXQTi{%QMbZ-u2~$G=)dRP@s7IWs2P{g=E*=WJNks2EE)v9C44CNj z!riGJnP$h?>CVMWqOO>Wixg2r`CQYEcY{(U_q4=<`+9s05L(8r>M_muRjcZe@7@aTtI$kDY93jt)I$q zWly0X)8?EaWaNl~HV(GboRcVmusiuI0N^-p@zIQ;g3i4q9F{+YT_olg zQa)o4=cO__yOu?Gi-QY1kXZN^Iu@M;*WO=O=>IG9DMWZyFx6dEIEWKu#ExE5qMfsU zSCgV{9*fagEUf4|YdFwwIUMv|Xe7@yqJg}{Uo5zUiLhm+dB{Shi!}#btVwjSmX z@encB4uw1g z`vV`r;1U)rMb?swJhT*fZ7~^r`Yi!a!ml}wqjO7yyFEGlYpP@1ZqF_#GQ&D4Sd*j~ zts9zAM;vM8>^E23>iV*m3x4qH5%PUqe?Xrz0^X5dC;XCNUQvHM@uQ#{?u>{1X>XEN z?6<`BB%FjcN6wly(Y~Gs)PrF(#oCd1D3U)m)0q<*xbd5Y{XIl^-|7^KxhB!FHA{&h zp2fMbiA3Bv2m3koO~>$a4%aJve;j;Htq5aykyIT`9Bs29*hpQzfW-QF>9JLPfAb@+ z9mJKGZ+NilqQT8YGieaxJb>4n2XHJ9)D&;+JVp$dyVEY*X&3Ia3wPRuJMF@qcHvID zaHn0k(=H@v7k*^rLKcBgImwAfj~uFl`Q%iDkXh+o4^GQMqKKTK-*eLO7K}i+cWzA8p{qV5wb5CLa?yC6iFn4#D`#T=yVh(G0u#}GF z5rd>d-=h1yJ3QVU9`6p1cZbJ34v)ep`jx}WnD4u*0;yqvL?x3zwZ;eLb*g%#> z-3+KrazNMAyMT4x#Lu0tTlRR`0e%TR*E?kFuHDGs1Tn+)_w3Md7HEI0Px0f_cm8NN z#-8JEoRwagnZ)DjRqj{y7|qS#jK%?2AhNleI?-FAJ=zFR(&up4G$I5A&BdT#ON!{U zKqTp<|EB7X%O!BWu(2nN54P;#H~Og4AOsgs z>l>I%0p3dR4}Ge3)=cQEX?^>E#T9KPIiu!3@o(^vZ-G-UX4o?Q^uTF(PJ5xtd8Zq| zkeM!=?v(Dq&(-6_Ww%#G6>j?_5>ZlNXg~U(S9s-rVTO_@f3bsxP((?~9=%!W4$g;T zbRxMdqMRyMhf3SNG_9xI$bbCk`f@;~bS{Jj=izW}+fVH-qUbpTGu)Gp5ti@)hWd7H zOXS)-S3MebO6C&<@~u*yT`BJz*v<-b%{rE;2yzy?4rbtS#MIWZdqvYzZikELsrozq zD6Fnr`GZ0Ee`7ej3RlnlFzByZ?gaD(won74{?7&bHuDmkK)040k=x|9UJ`g>cOy+v zY2W+ka>u$cc#sbBhFV%(TJ*64SDS4Ej(nNECXc7FT$Y!wv~fuRz!Z%JE{hJ)zH(cK z1%u(Fqtp_6T7v(A_KdY*J7D(TtY|Q;28{ z`=V&15z(}}QxdDbk-Hpo37ZwWtxB4R4@(O&k-6+%FOV2cQS%G1KfesZg#sOfivW5$ zm;{kOX?>b@2YbUD2B2MJCYe}Zy#!)A|9bw6h=4Y|1D3`abuP0oh~g|AwV4eAab7yQj(&2|e9 z83sNVdCV|6vm7+$BacxJT(F25AdT}KDle6uuWM|dLx(n(eqctLhE#eHg*E#4(BLMgJiyr%*dldG^Wp(PHJ*HFTy%r5e|0_a!-(iwPipPd*FpDXhd+L=YB(1+ z74c^wFyo6KYJryob&G=w_ar8`ErU@k0Az%zlXVR4T+=x2hW+8CKtb|al1@&v&Q?iw z)zqG`fU^zhgco;PFcTz-;9;a9J|O@`LBCslTwVKB;#@5_LSGL1#cJiz<6qW(eb8L0 ze?I>8@$Z$jhv>Xq`Sl_CvG$u>LxdP(&C3eu25YaS9*d>HDNJ5I!&%0u-u@~(LLQ88 z?86HvsqcAc@f^g9@n!0>IVze*heKfbyAwqAyMBn~CK|OfL{fu_ujEs{$br^&1wo>Q zfds1MVzumFkBa424~o0xD&p4DxE zqB$^3ve;TtuRHRk)sAUKtlnezIlIluVH$H4%gaDM28-tJFM9`WTa;tS&3P&SGw=A; zdAm@<_UN0z$}T!?DrQuN^X(2tvs9xX3hC}8koJLDANoHq zE$*>#BQ^P)Z)Z+=Dy(jQw$n0te{9#+p7+&JL;3GVKxE7@5uxyaym9nC=Fzl;qvU;R zl+<%YNY0CRdK&qkrVFxmiNs2&Dchc z30Clckm&yP$n^Pwr#W#x8E&HQ7kL*U-Q6xhgT*~woh(Y)OqHejd2T)m`>gt5D78s z!|`Pc{FNyWnoEGr<Yjd>n3JQgowogP zn)_Ly9s7$0wj*zcf2n{~?qqx8FQduu=ga;tw?%_Gi|WoQDT#sXd#x2wzXd#|EQQlLt8BFeyOhgsJKHzTLkW~BL#xLJMl05(9ocp zaI+1Z>PX;VMxLL=Z$7q5+Ur8ky_zaI_!BrvThEI`w15X(e?@MFLG+ytZr{R@Z65Ro zF@923lhERJ=`pz0YKyR7Fc5DYkKtfF-Z29fOQJ@vZ2ekB0P>e-chEDmc#QT!F?@46^q@=?#OE1ou6||3>C8*=T>aUwRLxh&kb_@0?#SqxJ&jzX*8IPoc530 z#L$>UHLpx30a}}6oqZR)j3dp*x)WTvZmY{ysxig6XU&D3)R5$P?uen!`A;1f+OdB* z#E%;-f08>z{s5indlw%m?b^=K@^~zVX_Iw7m2E*&jo^iPY|gv> z3DnK$Xb|*}Bo!@KI)Mvk2n+AeE2ND5Z*pqre66=L5yMlv1qvBu)w-rKsN(Hv=RX5;@OVpx|j*!m6*e-4ma*~CIDvGRP*bmN9A!>O3 zb2s{!r!AG`)P#EIb$b`KOLOP3Nwy={&&QHfAadWXQ^G1mG|}w#rfIh@Ao)!eGNx*` ze<(PT25^wi0GOqZiqAZDd_)GPes6eb?wGM&)%cl-I{9wIp|i%H)8p<_$*83wn-NY+ zj$2|p&V7cf}t2ytP$%l+)v7dVk21gb^^!g zb0+}w8PuN;6H70)bAdYB39R`H9@Nuwf3kRM2%vgUa@tRmsKnw$mpUp>yv=v2}RxrhVWm}}bcZcxf(N6yGh?$xff!I6`3 zu@2oF;#;)DTZ~ol^#2n~0vb}eNI$^k`Pgt|;U4G5&Nntj2tVavIQUWy{i}ine^MyW zfdU;=K!;Uce|o`8p_vs!Ao~rC>t;s3k&zi!T}0UxjB9<_+lXgeo1z567DYNGrp?*$ z`C&;#)TZSv2HJ~Wa2AZF-6(>nJ`DyFtjbrU1}+N-3)VxTVB5hPM@Ley$+686doAGV zJ3`}rq-)%dX3)69o<}WPm0_4-e@&iU_AHM&vEB8Sz0{s|7%AUmPuraR_4TCM=+ILS zY-Y+hjEscexPV=ENRF@lKA2oI$TM*^8ouRE$jvail#j;E(6arRxHJvD6)}6GWsh&gpq_`>l=F_U zEWcyeomBfHO11bt39Yk&e-LTc?nGLU@Uw`tYd0*?){{iqx>KZ`Md(|Qw;3j@W-<+jL!cT`@Faz07I<)80`U~`&wH7blc8G|Wyd>hXmlDyQ zW28;mREIR>@W!$lY%xnK0ZfXqoeqa^DTud@MvP$+f*pzi?TV4XYpOF7-qG?iTp& z7C7tetjR(aa|@iIpSxS&JAK*RE%4nf@U6K8hEv3wIc|S7-uLG2);HU&uZF)Yx4zlW z8P;UCPANF+Oi&*k@WSLatTW5=+;mkrlQB=Uef+XUNAXD67qQAo!U2Bt=AO`HUS8rc z;FnR3L~vMGf6RjTkCYe9op+l|Rd(dC4nBg@1a%=IHV!hSEr`3rM$ftd;WOq91D~HJGe8sH8hpy>%^+47Bwew)IS zB8{xRX2Z+jcytl;^bzp@j!ZE{&f`k3M~qqmNkbrBO2xq^(!w(6hUeOgTQ?ERxUIZp z3_yWOGW{rqXhm&{i=kRxv6b=N5So#odpaP5d|qP!AXR1qRp|s7sfL!(S3Lj-4~tH8gIx z(~UaeLk&SzS8Vl3)Yvz2EwR?6+AZ^*RK7KF-1146d};6aY_~^e(EW)~;l}QZ?7D5h z1)>X8#jRf=X14oVH`j;={Gt=X%*$nTe=+Xjr%C5K-hNe0{2(kHu^T)aBT8ao2conS zaagQ#O0a}nd2x%~UJ7fN7L0;CZlewTDPRM+-{sVA7Bne=^vb z)l;|YkNmD-XxspSvsR`8Cla!*e1!fAj%ShHTvz5ii;M~>?)VPj0?%O2ij45u9ufn=0&Mj( z2v?(v0yfO)p^tsIxrruy#G8tv00D;N@lvVnjDv}UNdgxX#N>V8DBBwheT! zgMxos-ZSqvV;vlmxRdnx`J=CgrdA1*O*kKzz+oxT-i`!EO}FC6fa4ytr;xp|6xs$U z?u|`tDB_pW>f0^~q^>SCe|r)B!ZM@70-56SxgQ4o0?|>hybVZ$B>CxR#a7TJKLc4s z@V@#NA1&Hw82aOt^I&o@JzWWgt1DNCP|F{~;Z?Yb`-BrS?FdQnVEz+E_K>*(g$T)= zFme>lVvV*7trRAm0)Bmhi2O$}%j~$6CNwS4;C=M{QHNkxHmzYzf2r9v>zuTU6s~K0 zeT`xbhavB&u6&2$CH1TGBL7M(cD=oKwMNS;SZf{$=BvCOFEDqA7H5SI`s}iJAclxK zJ5Xc!Qd?l5(@D_fSamqFVQ)GPX60`*)y>}=dUK*UZJV4%4viZPFMVtpc4)EJw628A zbRT^L!arbyzi*Fde=Y+B_x3iRVi`ixETA@jzK(;0L9>q-*8r42YrkQ(FxXrs-j9)q zooG510I4kLA9ZdaM zc(M5~58IGzD;J4asK?^|OsFFO_lD8J_KXzJqwb6Q@hpTla%3Kp4xtff<6u4%T--1Y zF7iOa#avj3%ux8>5(%jLxp4q(%!z`F8^*y!9!Qvv5GLIlB?Q#{+&F+X=0w37Tp==B zkGXA6V#ggjo@0TO)qgpMbaBJedXdMx&PCfjKNt`r$i;8Ww6A$K=bPP|^VpiZbMDPI zyfx>tGk53Rn*09w*!ORe6!srff2*vHg82|}@L&|IqK0NiL~ur3L*`@75>}2E#j^Ly z2kEdC+xoG14oaPn^810*71zvEhddwP~U?G2T9R`|M1+am>K)73{0QsSYCWzg420%KZjF3 zo{+P_(7X*_$kvT}nrGua#}|d;y^9Q@^a2;ci#e77jTiUFbT|n}RKVLH6+`U#y!aDTR#MqZ4ESH(a5@vzemJ_n%gDbA0QQeMq$U_aaC6g6*{6UDQsAirnY48lBUGxX1ylzLM~#Pa@phr{yhTTK40 zVso83KFo9KKx5gsUBct@XY&o`^(_))Ud%H!qw%mm?M-svP_(7lJ@_y@pK=k&7px0O z6x5M$o`0ig{wa-2z8JksQJj{IkrF{}_5JM}>1;Zp2ea#l#@&9<4R2PVNmP;ZDl~~& zbaq7emt7>1KsfgA<5<04K6tRmqqQ9&xgDx8=zjm3D3M4DOcb9RW-Q#?1{zt1!Br~{ z9uNw!D!-MnKUgo7R@Y}9|IOMZy9}qC2N`#0^^#yCm+cM$yPOOX+UATZyBpVCcEjA4u3{=U`opVGw9>Hq7c=A9I`%3)nhSflB|n^5ZINE-BLcTIEHT?G z`hTCMUH=0Ly{02Qt#K?R37Ak$#=u)`NiPN_lLxHiAdZvf+meG z@&4Aq(cX##p(V2^Ye6(6MvM7Riy!u*_rc^sosW(>ADvsdxGVE6Zft4eUfKC0K_jZf zg{e3{Wgj029HB+>>5#}gETyp+UmOyRHx)IYk~QBQZK~#*q7)(qB&nR7oKy<`M1OQp zh`@WiQuqtLU$x=ohNiix>Xp`{njUR37gY~*+Z zP^i{HbjQ}k$O$qweBhp0SIIxHN13%Co&^pC`kF7;dJZ0UF{e+svB28A{%#MoB$aggC5D*m$?|8LuUx;G5YZ3jX03r-UQa z@|&Kcn6f(F^p?HtUUGxmxL6uabC{bdU;#Fjvv2;-=Gy#;y;ZiDtmdoK@p5e=J`N#! z=W(7<46pogE=q~RnU8MfQGfX;`E)nOm@gq>nIA3sur~J3{c9W)XwEqbhm(e({Ky)F z*r`QH9gJ8&)3TgR^A6_?Uvo1O%B9*shTg~i zXh32bojBI}uHPN^F4VMlq!uK$7an;8=8geDJC2W{Z;iK7EQnSLC4U_K%D3$1gfH#- zm@%E~PQG^9?jUuToL}`h(P)8f;+4a0~)ow=RVKLCHZ{p8G%rk1Z;&z zgt`1jq2zq2UhWBXup58I)Jk*Ej!Mqg?j^Ykw!lVA>q-bgKz$>f5Y54O7u&kfV*La3 zRaGF92I#EbA)#U~O@Gy0To9@pqHjkj!8^i5)5d}|jyFd}xTblwRLT=-IMSxh76|FQ zMr(`DE&TYFY{2Y1#*~$50OhLU`ZNU>>hEjDH@?k1_iS(UCU4H5}=U zK0tclB-yzKg-P_Aj7Xl!*9rQFTJHLYH};6dIt|qzbm$B|H1kZsq&uE`lPg2bbcbH& z&jmZ|fb<@iI9NelQ>TQ6@ zmc{LI6VhKUZGV-k#)gfnY?Z67N=booH+jrY8IY#=a{JR1_klWdM6=WMMP9 zw@F@l@Dq(;a-pEy$Y<7TRX5QjAy`3N1z&(#o=SfSGv6w2=|PEq48qHus8UnabTqng zEuL%xxj-G>B)If{?svb$ZXVw@I;gzQ{I=|^&9Tqm(SP9=WcPwgKbJA~yAz)@Hs2@# zG_-eLj*4>(?Q$3%S4nhc-)fu)3vQu;)s>1@E_>#H_TH_IgR^pfa=Hr5KU%56|3H@SKcNUI zheOm`AAdspAc}Y5_*dKzhAjxo&_Do|%RgIN(e~APNikKbgKXcN;aQE;a#zj!@SHtQ zF7F-2b9#_?)*VE?bv7QYp#KqM1>>Mh$RRU^L{&gbZT=U-8?(PilJ&VUvST{M3@HNl ze%fHv`z#o>-t2u-3V`t7bwdhh=rhTN(=cY!G=G`kL$=3iw}M<3Am;~+N@%~JRk=OA z^wBhW>(j6Y{s2)*QahvNe-23l*YU{w?B{xP$C z5?H!iyhP(IKbY>C|Dj^!{eC)hxbJ1Jp1ZtCLvo@)8K2aAKgWtc-QhGb{EF?5msk7V zSDrm9t(h)ZE92u`T1YH_MxBI)grS{jG8GJjyy07iqX+2)~ficW?16C>IDm$Aqd0MBP(@1vhU&Q`W4tqOPD#@cwR)+%L{#b8~%!&9_@|jcy=0Z zzGJ33o6i`7ylK%pvD+n5g+^e`Y*zlk8VaZ48~_(2j&oK&5~Wc+Ng;r2GvJ^!L`nsw z{_(pp^eo5AXN#+V{!_g34Yu{F)^Tm&>_%?k|v)=gGPUgy0gtBCb>(nY7j&M849 z^Uge$QhJqr!)n=q%bqg%Yy&$?;5QPic0%e4Mm4mCxt*Rp9CT?i8!ljL573D-yBqdL(fwM$AB;%(Vq@o6yL>{ zODfTK6n;~DjI0kS8n{m)960EGRQ=qHxBVdLy`R+KrSwf%hcL8|#>}X!zW6A37CYmw zlIy2yon(XiQm?4~6-R&1HSUB63o(Q9%{=|ZVTm#9m;Bhu0wld^n@6^nRuO>=<^R~a!;~{8+7V>l zoes7>7L}2KPV${gM13Ttd~8jIxVqtiliy=E3A6SAoHJKT_RIY zoXAk)fZ$-KYF#ChM7|)nFvJB*-f?^5P2?+2hmL zdxX@dez;HQ+T5Kzg-rY4A7Gtes%w$nITJ^9VgW0QUE8LN!M}B1?QwCC*stDO`vJem zffx=WW9Ag?P==axf`Nh?0$KD@!Nw7AD&kmd*c$(Nkpg$9MqK$ly4NfE%7$%1RjzO5 zX561;yG5gND^q2t7Pq^pZdP`}fmZ>ZR)g@jQ7__-N6mR-@AC20c=kctEX$gk+q3d~ ztkv#})wto3s5hMpKhJSuVullDE3L~U073GCDTP9higW1U^=gC8vr*bl0{tu#oTZ@2L}b8g63x>)`OhTsr3ecveN^BsV7mSOhU8 z-{m^hHKgN=Lr;q_9=mS1#}=G31^ahgX_-2`XiSkBBB}_Xb;aE4w;qdyY+5`bwIv^f z+2(&F(!W#D&!>s9wvkucF?QPT{TO}~P?#^jJ=&Sz^GWm|(b1RFB}k>J@VZXygtGDC zaSdFJ_$4*B;yTx2`O;Pg7Ulg7z>KCzRQNRs)fW^{8}BVyMCL2La0Mz}jS4S$R-k60 z`#7b1y=|x7(Ad++>QWyem`8dwA5jYSV>gKYY|d+BgtOOSi!_KR=;pfOZa6kh;gie;NPOfN?M`E6_+9rfm&ryXOY>oqNVe5)N;LKF`@^5lfN6(EEFjWiQlw4P~ zHgRaeG7YUM$UnT@}*f`vuiL5}~cxh*#Q%+hRs<8*w zq2oj8O?aA}68j_F`GU|Sl6x812S_d zWkAYa8O6#_MAb9|0v7AO=Hv6%0p=@xSGHu+ZsvIaC}*dK7xMd*pco}^mh-TjIGne_p|mdUiove* zZ&@d2!{sVQKQL>hzfyG-Sm-FMkMKA<%yK^MO&-NX(2sNB`FEh)eAX3s1vQVoWwJ3a z<|=U76ub@t8aHLj2!Cg+nSg`4b=|9>crKaknj3z9ZON(=`MC_+zv~QCVO)y@)l!t4 zdG|4m*^zC=u{)epc?7($?IUCv&QRV=ue2@lCN3W8uG(>-)&1BAj1e{jXF-e6bR;7tLx_hvFju+LUuK?#4e)M&I7NihgAnoWL2Yb^-!pAu5=DhV zO7f`=FkGei?!T*xHX38qQOPM^K6R8?d_465kSez;7qN&v0!59b>Rb93Uk0VyOIdg~mcw~vvDddDe`7Ee4Zp2q{jC&-!F#qXc~mJ5K7`7UXPo-9Ff0Z0VxdT^W((b) zo;-|h369Q2$pnRIcU#t}H%B0e#AaCp3M9n>GwR`yqtx{O$Sxx8QTFSRmVI8ET>GsW z4!`cX2Zm%~Ad7MGEKdw%M0RXy-Fg{iO{e7i^z-dwPK$Nu`Ce))bVcH4#PeoTPE6HruRZ;F zKv};deO-O<{3!#D!d5B)Jq<()54`cLgyl34S-o}|NCt%d9}XtS`!4Nh6b9x)LRmV9 z3jRM3?Y}Mw*XbZ4&_crd43IKNC&BP-!{CO({Fl1DkvC=svjm?s5NU#98VDg_GXq2l zDolXQ1aTt$KU9|>mo6wR8`h;+r`X8tN1Lg9. +@prefix log: . +@prefix : . + +# Each predicate in RDF represents a binary relation, i.e. a set of 2-tuples. +# For each of those relations you can formulate exactly one complementary +# relation, which contains exactly the pairs of elements that are not in the +# original set (from this follows LEM). If we represent the relationship +# between these complements by a predicate, e.g. log:complement, then we +# can express the following in pure RDF +# +# NOT { +# _:s1 :p1 _:o1. +# _:s2 :p2 _:o2. +# _:s3 :p3 _:o3. +# } + +_:bng_1 log:implies _:bng_2. + +_:bng_1 { + _:s1 :p1 _:o1. + _:s2 :p2 _:o2. +} + +_:bng_2 { + :c3 log:complement :p3. + _:s3 :c3 _:o3. +} + +_:bng_3 log:implies _:bng_4. + +_:bng_3 { + _:s2 :p2 _:o2. + _:s3 :p3 _:o3. +} + +_:bng_4 { + :c1 log:complement :p1. + _:s1 :c1 _:o1. +} + +_:bng_5 log:implies _:bng_6. + +_:bng_5 { + _:s3 :p3 _:o3. + _:s1 :p1 _:o1. +} + +_:bng_6 { + :c2 log:complement :p2. + _:s2 :c2 _:o2. +} + +# asserting the following should blow an inference fuse +# _:s1 :p1 _:o1. +# _:s2 :p2 _:o2. +# _:s3 :p3 _:o3. + +# fuse +_:bng_7 log:implies false. + +_:bng_7 { + var:P log:complement var:C. + var:S var:P var:O. + var:S var:C var:O. +} + +# query +_:bng_8 log:query _:bng_8. + +_:bng_8 { + _:bng_7 log:implies false. +} diff --git a/reasoning/bng/output/complement.trig b/reasoning/bng/output/complement.trig new file mode 100644 index 000000000..2ef805e6a --- /dev/null +++ b/reasoning/bng/output/complement.trig @@ -0,0 +1,9 @@ +@prefix log: . + +_:bng_1 log:implies false. + +_:bng_1 { + log:complement log:complement log:complement. + log:complement log:complement log:complement. + log:complement log:complement log:complement. +}