From 8cc2777c5f6afa9113c4ed877a45d5e38f5c9150 Mon Sep 17 00:00:00 2001 From: josd Date: Mon, 23 Dec 2024 13:34:23 +0100 Subject: [PATCH] using --explain instead of --ether --- RELEASE | 1 + VERSION | 2 +- eye.pl | 14 +++++++------- eye.zip | Bin 108576 -> 108588 bytes reasoning/ackermann/test | 2 +- reasoning/workplace-benchmark/test | 2 +- reasoning/workplace/test | 2 +- 7 files changed, 12 insertions(+), 11 deletions(-) diff --git a/RELEASE b/RELEASE index fdc7574b3..968d977b0 100644 --- a/RELEASE +++ b/RELEASE @@ -1,5 +1,6 @@ EYE release +v11.1.3 (2024-12-23) using --explain instead of --ether v11.1.2 (2024-12-20) replacing list:quicksort with (list ordering) list:sort sortedList where ordering can be "<", "=<", ">" and ">=" v11.1.1 (2024-12-20) adding list:quicksort built-in which is not removing duplicates v11.1.0 (2024-12-18) reverting to rdfsurfaces implementation in eye v10 diff --git a/VERSION b/VERSION index e9ac13b02..427d8b7fb 100644 --- a/VERSION +++ b/VERSION @@ -1 +1 @@ -11.1.2 +11.1.3 diff --git a/eye.pl b/eye.pl index b3bf7298b..039172774 100644 --- a/eye.pl +++ b/eye.pl @@ -22,7 +22,7 @@ :- catch(use_module(library(process)), _, true). :- catch(use_module(library(http/http_open)), _, true). -version_info('EYE v11.1.2 (2024-12-20)'). +version_info('EYE v11.1.3 (2024-12-23)'). license_info('MIT License @@ -56,7 +56,7 @@ --debug-djiti output debug info about DJITI on stderr --debug-implies output debug info about implies on stderr --debug-pvm output debug info about PVM code on stderr - --ether explain the reasoning using log:proves + --explain explain the reasoning using log:proves --help show help info --hmac-key HMAC key used in e:hmac-sha built-in --ignore-inference-fuse do not halt in case of inference fuse @@ -651,12 +651,12 @@ retractall(flag('debug-pvm')), assertz(flag('debug-pvm')), opts(Argus, Args). -opts(['--ether'|Argus], Args) :- +opts(['--explain'|Argus], Args) :- !, retractall(flag(nope)), assertz(flag(nope)), - retractall(flag(ether)), - assertz(flag(ether)), + retractall(flag(explain)), + assertz(flag(explain)), opts(Argus, Args). opts(['--help'|_], _) :- \+flag(image, _), @@ -4973,7 +4973,7 @@ ignore(Prem = true), ( flag(nope), \+flag('rule-histogram'), - \+flag(ether) + \+flag(explain) -> true ; copy_term_nat(''(Prem, Conc), Rule) ), @@ -5073,7 +5073,7 @@ conj_list(Concs, Ls), conj_list(Conce, Le), astep(Src, Prem, Concd, Conce, Rule), - ( flag(ether), + ( flag(explain), Concd \=answer(_, _, _), Concd \= (answer(_, _, _), _) -> assertz(answer('', (Rule, Prem), Concd)) diff --git a/eye.zip b/eye.zip index 7b6ab2c5d0eee62134853ec876556a9194b8d261..0ab74b6b6d5e7df358a3cc302c1e632562eb29be 100644 GIT binary patch delta 55390 zcmV)0K+eCQ&<3o~1`SY40|W{H00000Ol+5t4H^f}SZQa^SZR?iLIY4fX|Z!b0t4_p zX_L1Cb^}m8X_GJm{R8ejX|pf{gaHjGY?oQ~>hUAXLWcB z009K(0{{R7=mP)%#60_R8adLx^H=CLwZ%9e7(cRmyI#ljIhZ8e`BgxY%Vqsh!ysTb z^U7$(*jHQm+rRFX=B*jP$=0zO1L}ub-K|!urQt``-Qm^xkqu&phwLMdnCbb^3O)y+ z?=RTETiPB6ZtNeve_$7!jeH-_cjFEOW6s$siUM)c>n-hQ70>o9-|g{79&%Io9uM&| zpterBEEas~`g0J;aO_!VhL7+rBC)r(UjtrpPdvKyaPcT2-T;qy=r*vAL#G~St;|r^ zem%k$Vczq4@XQqa=NI+xxfwN3gP9zEIsLl>`^CkZaOX7 zV+cz?Yz;HZk0Tax5rwveJUYzwEGM3$3<=n=U0d~lf8?Y9(E_GmgbvBsVPFe;f$yA# z6~r@`f~yXj+sJwrN6;v+ku=%CarFF<3GO&8;9!H?G}cTy!a>mkRA{7BB(P<@^4;P{ zY|&c8p$A=ZqM7@kGV1XUZbjIF=nLO*{51~E^1Zo@BN8XA)&xN2%)jR}7HMCIY9Oi< z0Sypje^yl>m?VzFW?U%@`UUlxx#5J^y@|2LHMp4aQ@3 zGinX5ZZC%eXd7PlFW+4Zuivm&KzDruPCNuxe+H(L8-^V!R>Q#~515j$tM=cCE6|L*d9#BSe>Zg0i|=>7uOUJtKdkD!;q)!=%v54}Pg z8@z`vZ2b28@)EmhoxcO=M<^fb-`sv24d1+-u(vmt7XxT~H2}%ZUtJDlS1_pl<@xZc zf5R@$ug>2Li0THoj9Q2$rDGr74zLOPJBR=Kli|%Z4x@i_JsH8*4vca%Nl8Bp$Ab<# z9}UN-kk_M|t4<5m2^2TP1n8~@k_)Pu6)XZM`2F2@kTPT!gY!$^HAZ3_VuHL+5oE=k zK!uNY!d&tb28$It^#k&Nv*+v-g0zY6e_vuAKAt^q;bO+%CDwM}u|HH#Ft1o z5C(oPqB#%4Jbl;lqAlrRenErf#}EcXQNwPI%hC?)F8(o`3~PAVZs6cF+?H2@f3N2j z+`Bss^!EJ~40g^d?D#|AplS851WI9+5*-XyvB1BuY@fiIc+Z7mgwi9)2PcgEWo*#1fzJT@3vv_v_ zG$|v9z7QlC1jq>4Sdg(`*h{e)e_|(`T$mv26cpUW!%rTk~<%ox*laoico3%RO8n0T8DO&Omg%AiHy#ecSPWgUz@{p zf}{=9Ut&x^7BJ<5kT2|qf1)HQG!7xj!Gtfv)2a1KZ1bpA84?PqU^2NO>z(^9tW==q z>I*gjI7cNCBP28eKT$2Em=n$yUEJ4cTshMPZTxVx8(qAXUvktiRhEs^if$6xZx}|0 zgjVIp+EHZLGX!a{p9O(26+P`89I6X>WaPt6z^$<(BC!lfYfkame|Nasg$=AdXQ%X* zvnU4Pq!G+FCS*1o4HG$pABPZsYkU&yF$eiw7lW*W8+q8I(EdWe#sw@=@J)ex0*D`$ zXzuusCYK3S~&)IB2;%wWk43!isoR7(T#(!R$9*?ENB zl|spdU=;$(oIGxZf8f9lZX>c4Kz`>YWL9J~;_5^ER^)2C*|dNpD7gg$Vvol*C1r?& zI?$?fZGlK&UzpBkRV(8*2sT_Wt<6Z`z^o?{+*Ky#l?x+r`~>mu_)g(!Uf0Lz`hz}G zh?~bjJsl9iV9_b6J)qf9mij5~{}3Qu%q3yTLx& zhP(ko3Cz%7b*3>7795zppg2NEsA5UU=joCXH85*pglScYSzrpmHfQql7#te6xQ;L4 zkmrcIwaa83F$=H#Y68%R>jh`aB24rOKsva&G9lWRuZQ$ z56bv6%bQnlmwtpI7urJeGw&Ug8~LI_3~5@q6U(Z!e?a0fFE^r*r?_1x_rsBANg)2< z6OW2&e`E@@t!ft#{>!2)9CN8{D~)!c8waRwY6)HI{7ZRg*t&wHSl8~DGwxv4TOK=sYHHV=$ecN4Q6e|MQ~<4?NApLLCY*ERl9Y{Ys&#a3}_SB!e^SKHQFg{;xTOCw)LTGaL_o^YM? zdK^z+#mWqWeYvTFt@D!adpznL9UL6@4vxjz40^D2qRppxHnY=157Rkoe?P`pX8ErC z{u(hCHZZjR!@nobkkfknJz2_)=Xd1@e@neE>2$Aw?Rvf5Umx!SuioLWzy8`gIO-i8 zQPo5|!iM9a>!Aum5q%>M8K=ZIbNOaLqQ`)LBMZtlw&MY&Ip`f6_J{$@Yu9`x;#uE; zb?;`e1B=6h9+{Vtpl4|!@&pdxAT)J9z<#CgaMO!}r*iQfEQg#s&d_@@3pen+f2R*b z<#A7?7DJ++zj}Nk2j9EqOB45><2Z!P1Ai)?T$SsIEaVx{6N%*pcXwJ@$9^UQlA@=J zJXd&}we(E~@9N;8rg0uF@AueASDtrr*q_KNDY%uw?dyGq5lV*;bVSkd5(sy8MFw?C8F)ISi>AQrqF4)C#FAFxugkXes&`QDF9*Q6O)HOQy*j zFf)M}`L04ghmQ&CB7$vA@e~E{Jg@~#Uf|efFd`({D=0)Lg#>wxpvDtAc#D%BARn8< z@`E7zkK#nbB9?5|3XTw`(1o-gwNody0u*k2y_a8dhH^O;|BZH9f3I&RA~w#EuWRY? zis7B!tq&U9y4X1#n^n6m_?u1+{>Z=nFZ@TstPc!1aJD`)B&WiR+-)4jhETJ#!4+>4 zjW);L?LyX-`3DMhWqbH`i}Sw2Zse_(y_{r4^;xUWu$^2Q6LYzjp%;)*CXFY5QXRJU z+i9=#S#=H5vcrJwf1Pfe$n2@vbF#1mwH@J86xOJY7!9aya?-&H1W^qx8fpLNSq)kO5 zD&V*CUXX~OLE5mEEJLoQNAn7Qu)(VhQf|5Tisu#RnkI98f8hlg@h!0{NOf150oyII z=_Q3UmEaF{L@~d^j%yvTY%dySc95GnLe|!3Z>grjwXAl=#9br>S|d$awq^$&mt%#8 zn|e*i`%1>WOLNtj=6xyhoq5p>WDioaV1OI?Q1S=tsthPdoT+k~fzZ{rt%ib#G>WXr zbNI0XM!XJt)nSLwJq+w+TZvFaI3OIDg6|YKTV&tKf84lm@3f7pWO}DiexvJr@?-Hj zoNS|bPw#>JK0faZB0W;okkB7F!M(LGL`5evOW)7`vJxh(AMrGW`;=vAx zJUPI1e>SmthOvgFHbFVep?seV6*>y(Uewn$`{W94F$)X{-Q8s^i3E3YlA)lJ!zWC% zWQC*K5%_EfjA>yyf>%+pxmew7$5gILK!`~U_|E>4~mQJ4{=) zSnNyD>kYow%qKijGI9t>h|+91+R3AGx##2d)njwE-`iiq^4|UI`D?F7J@=BXL7UG| zfA+B_Dk{1+!>K3oFr%0c(#5@Ex=D!?8>r?&AQef5DIv-%4HQ21{yfWdNCeblC6h zuj}92d;3zi;Qx2^eSvdO%t+>l3M^B)0Bpnj$-->5$-%n?sEMK*z_{pwLQ&z^!hV05 zTn$UMNJZl&NJbfJi&=R;~ z0%+CF<}m{G%Z*w=2%`d2mvjmhWNj)1nw=aqr&5S=d{=hI+!Ws`dxDH%?T4Rt%%6_( zeeb?esV?5*eq~-sKfxk%wJMZ^%eYXsD;IX8E*cP0U#zYA#@4w~^9r4{f-dtV@@r3AF~!5hr-ti zAXn@%eL8E^vt8vdYZ`$?F#>@n_!*xmNgCKm7dAGwle3G07|JP=te2nlDT;mx{0nQ{d0lN@TnoElS~*3uMYSBGf6t^}ZHDkOx!sh5 zzSx|D{`Ac`X!aEP4k_r1eAnM21s!@p1xr&qLaQn~6bC?VV2tsvY8`kHK1DU@%dg{z z2lV~6LDl^r&ecV8MgsLrMymN0J_4W30 zuKgW`@(n}S{fJ)1w&Ih-xg{XkEPon-d$SSvG#lMj7jrB$e;WgYqM-C3i1xr(c{yQ@ z(qL4>4LZb7CLb%QSyWSoBwc?`n<@Z+Wr`g78xW*W3jI9 zMI&vo4py(oAZUk>L}4YwiX|tokl=8`ZH=?Dv+`rzlM#B;>FKEomZQ53Yo$7d8THYr z%AMw?x?_q+f1&MmY1a5xhke|uNunU@|6{6Zn1C11gEUxL`ga`xMJ&rPG12-+co?B5 zA=NsEPH~eyYH4zdfAL2F(hI^#nuz1v+dADWvm=`{a(d$RobB&IYSIIBXSVPJzWU)G zygn}9R3jyoGFGnK6xk$he^IQx)ONL3cb1ZqlWsh;cM^(7 zw4xLs8+*lHEZVK-c1EXHMHRkT3VGY(DRQWLA`OxhF*eJR+{k%~H0f=g26@Ujn7XF0K~@%2)Td5JLSBR@whl&xIe;RKKISgiQ7c0M zf4o5i`q8`HMUZ5*A{4>RA_V*|NSvCwOsl;+FN0a3c$#&@J@xby9Z^z62jXw>QL`iz zC$(g)-ttxGZN^c)RI}SqDpzu}GSy*Kgedi17E}HN(^EuLlnvsQFm@F!Jso+1aM{U9 zy?7Oz#tbcY=>DWct#D}nL@zC7ca>`Zf7`gGJU!e^rODByPKpw&sqfr1k6Zd>%0?jy zy<}IqB;|J9;Z^6I23okwQW78sY3eoiLz&HeU(+D~VH-#PcX*^Zr6yp9UH^Z3Z{C>3 zku(nf?@uvKc7K2+B#<2^@%1d14j-~&9oAu%7r{uHH4K;mOU`=p+25|d&pBXZf60!# z8v%V*S65e8S65Z1=~fM?nQ_VJwe5?>RVoQCDOl$maLKjZaM?=5!o>rDW&=sov%+F# z#{!|=0A$3Cc70$+jlEDDP&UKnY>;U!I8F~%1L`#J@w>Qe2$S62Z19-b@j&2fxU3M6 zyE}XLN?u&w!b?Vtj`|&(inVaAf8W)q*g&>}u5FW&?o=#KtZZeQiO8Imx)xXy%BF&K z4}Y<%j0o1jQzn{?;n@to-ys!?q?)4RfpECl#tJp81Cul2MnQsjQFkaXJxC$gbx)(w zU^d0^HjAPj`esrNX`i~N>5$5qsZ?~}tfs4mgzO%5Ad#(!Q>f8e`nJD(xKPX%*2^Al=I8Hb#n8^7R!%~qc z+-(o?RK#yWmE$ap9Fd+F&|4wO5b>RiPBPGOqG&qyyHobPi)1Rq8}YQgn@Up)@V*17 zUh>J{%bi9?Q)+iee`OwfOSl$190y?$8i!(J3=-4C>!Pa$a*_@l8qN%hKH~qe6*?o? z(1@~x4g|;QBWV@!JCWsN_T2jnEUJ{{$-3Y^G2zs1pbR;Y+-5Wz;^MMfRjlDF)8cG} z*iv=3v9z^qx~#kHWm8#4I{kmF0f-trAjWQ^T}tGP%p%Hae?gVP^wGKTk&-zax|*A)vI(qwMp9tg%(0_ZNjl#f@(OU<$WY4XIqgo{U%v;2)M!86NtdX5GQw z=tTjlW;0dPtrT-XRT)Px)@3C=&Wy&CNK9?agNqsy%28F;H?&1V9@qz-4K^%8H?9Rs zg(u}gu_2^*e;v*z5KoQdUq|m5f}7F_nj4$6nH+JsC18p`*&zB6vXRB86NP?|u88JDYLMWsc~NgTKGQ$6eG7ZhzU+fA;{JKZm(bWF~GP(K2@Sd|{2q z`7Nibb%oDi_+f*)`I>LO$P!FGaWO5vThA;lb6nWcnrM#R1jH*ed+2aYB73D(SGw6C zR&L)cBfQh4-sw{Bbg4gvE|uT3utyY&%1aAqAe!=0VO<5_NT)LkJLb(ncF7QiL^fP@ zIzS4ef1>{Kg9%R)e*av!7Z=K$FijjGu&M446dcqO45e8zRGDTp8L192;!(mj$w9ir zRTvTyIz-!yuZxR(eIR1oBX4w~8B~z6%vcKSFz6R~%^IHgJG+9I-=mQ5iz49~Y!z~K zGWShU{BWrcE^4E^jk+XliId9=?V&7M#df5ie~RT1JjJ$-Mq5PN{0`aa>G(8mHk}Ue zHoME;uhiBEE3ku&9!XFtN0GPu=}R@A^z1!fS@BNX?`3Mf<^3=4E?SY)wX9p_d1mp4 zFy$UFH)l|?&-!SV(ycd ze+>8N^Mz0tGh3F>S!S=;gQSy+nA~z7T+I-TnS30ALLI?7^OFR3;7JBO1WRl<4}%;`tC1{U;7Z|51AQPf8SBC_U`_CoNi@vMzTn z(xB{YhD1AbsDlY;z)W=F@R}g<%ZUB3)WaIs#!d_g+SGxfnj2HrMei7)f9r-!@GVlo4OQ)4=qmxzy9#t(;tm8+a~3xk(Rr_JWn7OW4oN=DPvcI z*^kZdrYVmm0+o0!b9e>YLAD>3yrQ&|L+mh+V^IRRC$JKldZ2$djS2DUSkrD^rV)m7 zU8fLd7hTd~67VP-RA2y3f6$mvjz@D%EC} zn83M{UF6a0HRaHmcm;$ug+BGkUiPZ7*KSg(KZFn(y+~TORvU{CvX#Y$0)AACZ>DZV4KHGAbPu8` z7drTLHT1nR))2~6VkA!vje=8nY?Sv=d;lLF8K1bfsJ9!Vk3O0>STK9|tF|)77ZXI8 zV5NdL!Xm#Tp~aC%e}LqB%W{Tf@uFNJ4;BQb%;W2@GbAeEm*tD7 zTJjYGmC-o~+;azYmdJ!6U}xfgwjK9~T0kl!UF6a)+y0eJcxUc7dlR=LO>eH)U08gB zaz%FKNsiN-m`T=0{V(yd>D~lte8{9bLu;c5EiZe}ODR^gf5q(+&@#%9j^RoOSxa*| zw=x2`k&^XPNhyc83&%oYt^kHx^7IfsAX2&BW{u4LvFC)8_lHyo84I=I`fAdng6%w! zpIcYGHB;D1Trlc;6{fn+`EG^Mi0%D~c~mciO~6p*yTW!z^hy3>a%2xlXqTdT@CI?b zkTuH!hY^hcuBu(%F`m zb7`fa6Sh@z@MB)Mu`VCyKJz+IwpB77o?pc48<(*>I>v`$v(glcG+|*{7o*GWGdFiu zI91!dSs`c9H!+RJ2k`0Xvp+d4?!ezjxyd#cvWQB~WAEG&YV698eY%-ncM%#h?$E6+ z-A?61g7Q^d&GPkz&K$2zE<=q*UW;gS4(Xx?B@FID)roQ^C+)@zvmt5Cma7#i|{td9) zBYOTnz&Hyuu7NN$%PDNK3vVeVYnOm~b^jBH$R7Js28BM>gg&l1Xd@}>J( zDYmSNSyCasMl2TNH3+Gy#|+M8HD%k!>=sncOT(0$B8g*QGI82xWJ6&xL8Pz)%XIab ze`p_;eu~pL%~?&zzL7au2Gg>%W@hu7oLz_cS$0#joXyhG(Ml#tPc&Vd-;6CUleX;U zZ8?~_rAKv~30#ILiIu)G+0QK^wq>@f%frSlGapZZ&iU-{u46|@jl#5cdwBzyY}=R4 z7$)U0BNegFL$_Iv9O*=-`5p*QRAwmte~kPzpLBYUIjzUPU=0eFAK4Y?{>r_3^zH~= z-s~vxs#jRnAtlfNAO4HHF9M_rn z_1Le+ZF;Llj5K6RucQ%Pe$QhbNa{T>EHN$5AjC>G$kRtx`lKHm!<^a+_~_(eYmjS z)U=5Vs@Iw$6}{|Ux2vt_J@)`j-~`@O#{0GR+QIj@i4rPT#e{_ZuBXzG{Sjk|{RcQ@ zrX6{QK2?B@|5C|=Jg2uE1#NgrP zDT*ohOV46spLx-cDUExPWq^(*VMJrO@qxtR(KP|r0L4-Agg&(q!cks?VA(!xO9Pdk zPN3kv#LUE$3!7^;_1avfCAeq{kFj6>g0ZxZSCWPX46~GDIdtT>21v}#q!plW5DQ*- zqJ$Y62RO=s14x*fYlwMrf0yj*1oMWp_%?>QaDQ_W)1d=SAc#YJ4gVoq%t%#4C)x;D zf*43X%^md^~c9kNd(lR;hAIsLwOe^xD@tWHr7v+jfp91q3Dub#UEa^-*qJf4H|{R~~aq#4p;> z%dtX-hdx%&&IRZOb^#*RB!$zkqn!|4<<8R;^g9LHkuc5$CBbcD7fLsT=SE%3V;!86 zn8P5)SB>L~KJr%+>M~Mj;s151lvGA&WPeHJ3=omr3V^5RP|y9VV&UHiZz~Ue z9)&9pc4w2bZV$xwe-NsWMbH+k;e%ywLkgD0j&cVjB@M@EDsD)LLZgRx$dJw6KQh0#mVRFejI-u;N=b15e9B*#bg?rSZ~I z;oJ|SFT>)?W$#tW=3a@lwrN@%*=lSs0Jhu!Y#FUt4~(ysdx8-hK4BAkBQyiiXfiFn z5k{NC?nmrffA$WCf@7uXe73hydYceNgk+#8Wz`mTO|uEdZh&pR%(U4pWNopt#OY`> z@Vi)o7t2xb1_A@&M|2m^!D{9W5^R9;!h=2^bONF?$|gmKig2s7@QCoCux zpu-NGe>M1QLTxgC^^$Z2yG0@ zeGoN*#ErnFY!m#e+v|-c;JN_8BofX~U=1|vPFBN*<-nhwtxT_`sD&Vm#=*qzd#7Jm z12E+)=cCd2z+dT&hO6V%k3)cW^)mPvtZw?@f8-15{9ZQ&gD5Q56oElEb6*RF>A&mzcm8 z{NZ@|r9)up2y7JG{=Vef|LAaGtewdz9d0r@J7Sb;(kNBW-l`}gkWac@nRm)g3V#(S zf0X{!c;ZJ9w6HDtgxsHF3?&5~;$b4X1gYkr(u>!_0uA9_G% zOo(v$es9p7;58`-p*zK-0HHuiD(xbEFbI0V6as|oOH<9GhRBC)#5qQT&m?^xe;bLyEdK+^*QWT(8&&id4zzjKe|L4IBEkQOCcB3KwThnnM2>YF;eAgFufSf zrv1@$C3d<<0RED`okC)9hvZ%F0KC3$K_u~Po_f)Z3YMki znx*Yz^=ScXKMI6pb3i$fkWt`0sM$p$MqlJn^w1WHnuEXU`hXea71Vb2qy{o=XY?e7 zKvm?wHa;$x(r^~JYbCyg{|X&d;WWf&r@AFrnb>uRjbmqsgDVhu!0Po&e~X{>{qghy z;uo2bBIpiCp5!YNm)qEoWl4JUG`jS<(C=-lDt+S~p{^7WJD`6BJ{;jR=nf33KO0SU zM?-xRMCd&o4X|Xmi@!z^zc7*2OmMQNnpb$%L1|6#V5XD$3D4;tPH*`xja`Kr`vXVK zN)!NOzSpAPfzt?FK-AG`e?YmNT%=8^b3(;Lv?pppU^gV4phXU+6n0XBR4l|oDkAPZ z`EWxeW0VZ7$y|Y+dZ48>Zc7FO088ZApo^v&X0fh+vFj4iEdHzL@M%37%YwJA zidW4ka2~mBSn0(EC{1Xql!MTcq9;}B0)N%DspQwyhc)eb978u>e`B^}9l|Kpg`7H8LhJb_Xqk)qZgHfu!Q<}6awn4z!9!C^aU#?dC-`L+0FS-B(iSz_rt-qw9c}b0tr2_J&S3`L$vZA8rK&n?Gh)~- z#y4S|B#S-r{|v2*(ypN`T5!S)y^=gjDhpEZXFlA3xzm9)e|!vQUI+NHkTS21<@_u^ zmUSSoL`T*(1QH%;j=k+^R!WM0P5^^wJn^7ooMwRDS7_yJ>H*m5CGPMN6_AU3LwO|j zX)KJ(`9#zy?v@NO9`M6ujcsMWVABo(K&xrQ$@QiM!Rt-$#dELej?^A6YhqtKT?PcX z0uC~%Zh}+Te<-2h|4a`iObQkHJY9yvkJF(VPYOnynZy7fJQ{)2Mk?s|+t@L#ZU)_x z_^8Ib%5$4?64}^cGQFnL@epM{e`1|%i5i}xgJm^Ke2sL3l8sot6~Uw=n#2eO`4dmt za4uLE@Z8%?;!m9W9CRmJO^rQaLPQzb3GBbBxQYs(f1Ry6k>zmeXn`dAlarH5p$v-M zN&#X<7v8|1E%>tyfA-0&qTlsN_uK|uno~8e&WIFGjpmL4NoaoQ5M$<*iQ@9a+Rp%7$-(P# zt-oAZf4`70t5Kx4Eq4_uE-KQ$_zmX5fJ|N2V<*#E%!#j|=E=42SQ>G7MTb@-dc0oa zcgeP!8BlQXg8J3GQ0y#g<||MSELhSgzNirkx!O)u158;m6ek8Pm?)VA6+isqp>lVs znrYNfqvy$GL4mfTr280Y(wS8|;2=Duh|v<4f9fp9Np!05uv#SOo7XYy#3~x#iWd1M zU1Zztl9^UTIf7BOWuaYY%T#ASI|Gy^j~2Q}*id(WXjSB{WY(Lci`-SqXqOYxwAHtT zJtkJWlK_?VZ2_AI@Vpl{Z(zdOq)w9dOaCIQ!hdM92=%$*Oh5kpmzgkRZ3t=1S#ocGVYvD(f?%t z;*2bGNSt8oMH(1;V*`x65r34xWnJ@MHAqnZ3_q4?dQxN2m!ADkGMX`w-idd{_Ohqp zAM1A@jQJP40Of-9jJem53{&4IfM`2(B;?itfA_pY zsV_zodEdgyFyU@Z;bjtwWfu`BJ9yobLYnR=%XWIZ_ebSD0QVND6uWtyW1Y-8{7t8C zlqw|YTM0i(|(T!;76F#jW7QmO~kqo)v>jkw+4q6v!#Sf3C06PXQ83 zw%q1B__jQLyGg*>4{DV0$f6BYi_?O?q%;PIv*UOqTC-Sm*eBS%Z^zHHBfzL0)`>4w z(hye=lUH^eWpSpwuAdbWijqdLQ*^;%zxQE@J;=zP5+OBLEpLM13@_tb6`FbPU28j@Bs35Qmw<*s>~=>FoS8U`%;JwKX9b(Mw&L>c5H`I#7c-73svL7v)}?wGjPq+314uN3fP#XY9V6H zY8)4%#n&7$SfrNMcu}i)&>A9F3_$G5mTp}J?SiQ?xP#Pu4&LFYL(VCkelS6_7JT;c zJf(B*hWO^N2PhZ)^Ly_t9K%`$mCA+;?7IEpV}x%mn^!+n9T!X zLycI=f(2o5-?&=cwooB;WO-wceEWv7XRJy1Pn**6{T~ly^;xUe`E=7Ai4ne4DRHkxW-Ga zqkNItOU^>H+9y$WkWfx?7PFM(n3piFO^GNXLrnrKkFWuCy* z4voz+&Q&xHsuQ$sfH#^3K;o)e=fE;+v-X>PP;pR8+(5^=$qnvb7g%nL(}@(hd7+fX zSYOe)vOpraf3iuoD%5<9q~n6Kxt*vOhgL#+fLEa$m}A9WjBcJ5gs6ccwt3tK63;=E zu&7b;wsEf8MyXvxP@=^%n#EvM46_K$C)&eD|I6iQ(udJy4e?;d<|z*5^!juliz1Tr zhH?;Kr-N^2Qq4NU-`pnEue+!Iz*Yuk5nIgA61&QMf15ROhkVgRYvKE@H`;vAyS_K- zJ)i8wZ*=UuD*L{S9*ZekcAZ}2OGk!b+3~@7sOI;NI9e+{%j~-SHd5YoW_Rb{p~!rC z4;tT8oc2h)Rb}m|?Fdg*$;bSJxP|M1g_vs={wO&d)Rj0wa+?PG*Q)SNW4$YFFc_UH zJv-tTe{uQC=7L`v3~rGJ{w&c0f0oSypKpNj9%{rQxt}>C$$OWd`1@Etaf#Qy7Y|(7 z^#LSozsn2dm0%b@8KU&aVw-jHJEqOIfUW? zfAJG?8Wl$ z2fKh-o;4^Eo-_(UwS&tttgLB6L|XtFB=N;l#?U~?P*VYBZw*hUmPp(1d%>_ff3Qge zcrH*877d2_AtE%vk#XhgUbS7yMA0hBq>TG!r<5D==NKrZ{Oq6<+Jb#jqL0Cta9=(V zOy^0L?3&gr>yWQyy}wH^3F<`SZVwaSaxxIK!D@0(EF2H*N+U~+9PcYGleTsQ^2)9* z^hPX2MJr3`TUm0q@)OTe^;@`67PTNFpZs&nA@jlt9U1O}YCg9e4Vl9DPfOE-ZlPf)mk&1Vk5N5nafH=;-DV9i>3@|M7f$ z`oxEzc>W~IU04d17cW0(8NvhR@fF1xEs^ySd4a^w{xl1EAF;v-`qTvke=(pA2ZpFB z)e-44{v?J8GK;`#89vhx7j*ca3CgFArz-H2sG!W6&`{7BCmVMY?|08&e8qOw0oq6H z2GEJxXPHs!>csyvCkmd!BRA4~$@^bRETl0!Au=O2bS-XammBzS@^fOToKH7OtVJ9T z*4`m!6S2E~FbO&!mq#Z5e;@@QfCo{!>%kIG-}I3b3gZjj0QSUnBI3m&h$sm}Q1|LN zDdq(RCI3b9UqKM$@d76vzAl1?ue=-jXn?bu|1HwZlPvPA%rFO|9y<8NvrQ&T7Yf)0 zimy^BT@Lq77^}`j|HT`Z;}9ok5)7GEs=2J6{{GENNil+*=>GTof9Q5f^C}vvN=PV4 zJZfM?1DZ6uRMc40gd%y4)|5HY&vSG_FovFJ1>_kc1q}HK&)k|tu;E8Ij(%;rtLk)1 z7}^mtATf0)uoK7lN+i6feva5)7RN};9?D-a*K4N~kyw)wh-#Bms9m{dIer+OFI{`* za>0Y{VCHMD2=V!Xh~;IoBI zj-Vij=PT^%5`Oi7pX#ZexTC(srN>9JBgeRIp_=9(9M5F@tVsRI$|tGEq6qy`JRhOM z#wW)C)Kn@te^i_uL+9>lpBb^p>2lmin(kuRu`rkqUdX+eQcjGvEj_6!7hu4eI^?=K zmSR~zB_4i98MYy3IA#?6z%~=6ddr1lF)r-Ad~gMepKh9);K?kfi` zViO>#x5b0N61-~;cqOTi@P+)rbz<#a^o{vIBu!Hxe+?gq((-}Ae0(5s@PWv|2ckGW zP{_&$qSSn#upl3Z5Y89i1Cf&tIA#?6NWljplcEc$C^~XcbTkhim>Z1Ld?0f1foKjs zkU!S$i7Sn7#0PkPXqv+Od&GUYIH<)nq0J3PFjRFpaE5M#X}&tb<0U7{{m^l{CYaO3gKHydLF& zJFdEI7lZQpioWssiaxpa*#vTr?#SIu?vab!f1|%8xkpZNr*u#$OnEkZh5jhjR5WbM=W_eUiEQnOyxWbM>F3>OWYef_18)g{AX4@^90LuB5da=< zM?1Kv`e-+J_p?DMw9q1t=s$(}QvfX+(VgHQjVi^Q44t!cG+D)XBZD=iu!N?Ee+lS( zsG$=J5F%S269dMEQ4OIh3578QiZ-K!sbh^*a+omEojx{UpdlMrq!3f(idHc-(JmxL zM*Xk^fxcN6#UDa+l}uq&(N)IeKjkI!PjVUGShMJHGO**$9Nf4Q&y1z9JamjjoU%GP z>}P1v$wjRayG8ECA3|7Rv4vV=iu#$Wi2U)iJy3BBFP zRO27^<%f$~0A4_$zt*2QJ>*?4q8_F|DE$btp^!A#0cY8w^mdb8rBdjWR$>~m3x5z2 z#IgesG3{t48ErD)is{TaUFcbn!Eme3MQ@e-dSj9dk%e_^Tanitj4!&<(^rlOQW~!>|X4UF?s&3aRm4=O%RGO(O+kjrH z{+6oehLwx0w^CuNQmI^p@eyu?NnAOvKytux|vA`VWT8d$kLw`#JpY`?e zy0&Vmr}P{4VzY41sIJ~stJ~MNrlA!Zc*e<)Bl$Zb8|%n23ok{ppCY?wf9mlY`IRK+ zoB5~1E$SF>RjvmBRr+x(A-6Ov>8q?&!Jo~Y_s^I-BAXj%u*iZ|80@{<`&D|hufs~= zFO=!ZTZzdl$K>6Q$@@o4-hcm#$t%R<6=U*BF?kPS@|I%qmSggs#^gPZ$y<%d`@fjH zpJVd=6_fYRn7j@?F-UG52*t}@p$K!JCYSKTp+@ovNH&WcpME`%oN#`s~Y8%`cBxRCgN1z;=CD@nrb?l zimBAmtE3LXfaB~)j--{V-%*m9QWFBbHX6NT(@0sXlxSR>cYZe-g+X}kk=IutHqK?G zD69Eba6+M64u;)xAAjQAeXSX?1u9Z2k&?Bqb=5vj3N&A1vArO?*G~mCcq1<&B7k{v z5w)ETD+ldxH6?^oh9Gv{Pk&wh1d*U>QYa3d`PZeKRpLXaW5ieW;a9)oK~?FXE@a?8 z`u?~ReH;z^VXriwf?rKQwUcCF;No zH))HEhfQ%2G}_bk0TKQN$sHuUe2eL1O$2hGI=2B2 zRIW?`z}5lSI)4bZ;&G@AA_)6_I8}iJ5AsugfC?{r#}jP?m(!w|7Fp6Jh?5lyE4r&E zgHsP^dOV4HV#pS0uYeymPKuzZ;na#(3&jDmCakt2qA-_iGx3Pc1e)#;@%90>)$qH+ z;(N9zr#_ky{!5|(gy8pVMlK)PCy<#fV`dPZ7q>S`+J79%=I}-V8_v-jZf_W6^uf&w z4i0t6K`|!7!2DASgf1vGNNw>j?bi1Q7=G}TvVbpODl)S$&)^vnpO7a_Bpbv6A$Ijb zh#L>Po!)E`jV2;rM{yT=-U0ToKM5>u4@$N&=;>(C*O@wfu6@~ii@!*m9jH=Hv~3P| zRGAZ10)MM`XfSQ#8FrIq#?G9cmLql@!xsie5iR~9E|povALQMpcj_keVX4=h_AZJ& zK=Qj1mUiIMUv-9-%KTv~Q?iBl!OKU=!CTE|&?lfx{Qa`Gz3fFJ#m`?|dfQ6CTC!1T zqJ_Svp(&HI(Qc*uv}{!J#23j;yGQthwoCAbJ%4KOAcum(fghevFN&|xSs~5d0>xD9 zChS0x)P=AfE8TU&=+d7Q>qua&uc7}QN|ozX??cLscRU$=hJDwZfD_R)#Aqi*FJNvW z3uXQP1k<2HVWA%lL^td!uT+YeOF=FT{1O(LlrH+IQFSAYEP)@$`I+Mu$rFc4v|;8~ z|9@eLaTQ#Hl(NJwr~J-VxRgTvP$nOdY{L|?8YR2z1j8lW*(D+tb&9>~bxs}vO)EZG zd81f1ablFtLGvf-Y?LdFnFxj&9~gwi!q0`0E!AsXjR)Nz^rja+B7Axtx0ltU%gqPt zE`A0`!Ji=iOl=iOQ}zX8nCgV@ib;T#I1;gIgvGDsMy~~c)Ro9Gg!XrXKQ^*lC%KUc4lMxH=ZBgIezIr4TdNdew}3nkmY%@yKU39@J! z$2R8@JQor`T{G*NU3!7QMAW9Gsnil`8f_QM5FFwV^?bGpevk<#DpSz29Bw~B@I%|n zBo=|xA(X~#&}lbiW0|B?+sR~Cel(AeLm>a3Oy~~AUv_c+FkWz#Y>A0FXn!z zllOnD)s#9a=3>AjXljI0**qP$4k5whZtpv!wg9nAdI*>xo=(|ptwb%oq1-=#^Y4yk zlb(+ss2&Cpj#wA=1~YhQgMaP@vVMhaT;V8Wu1c4aVolX3l3aK(L)%xFAUX9X!w%r@ zs#q`MAb5S*T82ykAb?ljg1u2dV_eoqQxB*sWkf9-R(#irRxVB?O%O+MF9i&PA(Ik$ z6ejRL91ik6pM*pP_CGPvkpZQgM~HSU?eUG&3K5MrFWUnVTmvo`m4B(S%R(}F%EoN+ zMe7QaxGXsHqcE3{YyyGIF6NeJ*lx;cUzb^)7Q`veDzBJQyD7KWq-5_HdH6ID`gG=Jx$l2gCeokb>rpWOI**+DZBgy(uwPv>bX!Ys}Sl|rUuyL&f~ zrsCbebr{SFKyl&+XMx{WU$G{q+ucb|>`{ok`0u9zME8;OS|G7OBPm~Nj$1{F-}Z`) ztsx>`k@qOeF8?>$6}G}Ne*(^J-~XmSlqOka0+2e0$dU0P?01s1QRa#_=h1#;e;mff%4j z!zIoD6IFjPZJidiWtCybAP=~iJU*k66P8Q973Up&a*ZAF9>Ns6d89jhNj|Z$V;i(X zFV^^eSkz+m@7n|g)c!u~yptlmZqCsl{m`_f zfRnt#Jkp?PMRo`Mr0~E)lj;4hU=<*-iTtIHYH-nTpjuo>H_rhRrMxqA zqTx81N`GXnuEB5stxu)aLC2xdGOhG~Dvl3S+`~2?9tDCe}WcT?8r{6F^GwAAutg*u#~Blp?u7%WaB_#FnD1K<;7Bg zPcxw^^&OI;g+X&;cKqx}cOaXy_ossZovYw^^S1glxtjA{6>i?^fE_xZ!kgBi>c5JQ za(}=(F!#3r{9#Gh-vjq4s86cGOm*;^e6KAxX<=`G05^PZMCY*_z z=UOi|J5QpI9s5-fDIsk*_VarJ13<|78GlHlQ^3SQ&h^U9gUIVRE3tvppPtxcFBi$7 z0X0%SpNwWWucz~^t+d};%#D96( zTB@3`zhquoM>6F86dUZK{5OhH@{OvJ%z^11eQTzBl%44wrC_>68LvceUL!7YzRpBh z2U_umr1)u=wfuR?3crvF@XV{NhI5nXJhAK%*0CO2ra_<)9S%+kctsbcokH7f67her zyH1QSkZ6#LYkit^!)b8#1>bp|1%Fo-K(y6OG!3+LoEpo9F$?Qf^;mYYx#|?GJ4UDA zbeEfGnoiN>b}7+ej>jpma8(D!bdDRxAQcoE`)wMAGr#;kosB`01Nc4Bhl2L1wzlmZ zIkr9gB<{4=?Opf)=zE7rfli;)SyVIRlTjrn(oimkf*}iq#uN?P$9KqhD1X?~9s8bF z3jYsB-o{TD!yhnXENWmY0Q#G6?a?+jq1Z7i&p-V3i9zho+G zL$ujF$pS+I`T%Q_rpaMss5*l#p$-AsYQes3IKayUq7BSd3z#WEePRKXftv{?8(dEu za530ks(JEzOE*B13+dwvDN&C9YjNExvR zrLXX8tQ(fMyx6+z*1lRuQ4md+;@W}5Gii1pQmT4LR@|*+PU76*NJR6a;p9x|BY=eB>8zk+xs4jYWbx(GyHCY9cE`+a*c!2-EU-tGj6w`31 zvoOGMH$VsD-an2ZS0SonG|=}hH+?+C$2NK6SZ!tTO&CJIo(@K*NLp;0Mm067Pw2E- zjC|0yy3~FD;JUeiu7B_K{!t=Ix@xiTkAvE~g1edjJFuyFtC9$CNUm1uUmI=7$qJBH zSB`Mf3aqjkn1bj6FKr$zjCo*@TWf+0RYFQ zLg83_etR8Eh5qWVRKx?8H1xo+sxnb})NoQ1wf3QwvJv1ODl32W3(7`d)qMX|z!qzT zJ}9-!-@j6fPxn&1r zxvguaIurR{W-A452B`J%U$?Qy{|XDw+}*t0ig`}lfFx)%I#QcW8Dq^zTC!f$r5Y=8rnDBT;~^k?;Ps+cUUq| zoj)gG$?bru$Cgs>Tts{+>B|fqw4H7i~Uw<5GRi{RZViO?xJyZMD`zCj^%dm>>Mi2o1q;^!XqFZ#NxJoy=i=5aih$smZr^2woX5O9Ple19lB z{ZJ@yxWTujA4Kc~%;BSo&*%%bs5;~>f29=0s3}jsq>G>9jZ@c(hvg%EFxXpjI--~A z+E~m&hv!T^j&~`_Qfadr) zbOjL5{f1It<2(@?0(wl-q0XrtR~gTq6=mKqFGo?cN-wC>Q0R(#uAFr} zZbQ>`jo{oi>g)Q}Vid*Kcj(9%dz@ujxWpB#9%;FVXR4!wo5(ge&7?DrJoiJO9b)-! z+6gDQvFH|K?rqU1TW#0rUfmjk_(fxQ)3 zNIn!6yrhv~v8G@*ao3%6FUdo`wdHiz=dX#7^1@<7*4-1&w~MOjqg90c zkG4z46|dlWP2g0gDU^VNi-18Gr>hL14@q30?4b{Bjj`}sZaaw2x-M|8fG?-u!Mrz$ z>qeW-_R~Uqe57NH-Or1-cc%@kgGTgdwelDZCirHelO?1=14GW+%?wpa}A^&$nwwfUDkis?p52flK z*`~tNCG3WVjpGgkawba#w{lqb02?01&}+> zb|h7hH1lNFqks1(vM6=T6dFbK$t0_yPS!?6Q?5~>F&0l=`CriTm`>WNLOGQnLu8>{ zY6xFsO{u3|`hr6ZO@D0-{r9kx{Hn=9y^B{Pq&}^F@vnAel_idd`D%CBd$s3y$xwRF3H9r z`rNtjyL}(+rknVa*n5%h_^Mgz!CkvUPrs~YBsUZ3?OgVzMVckLmEJGFhV7dQSaK9( z@;c)C3xDD-FW?4jOfUq6-1HU&d8KcGTCE~s$OE_624S^tgXgWxJGa$d3Zwi_p zCLh9rhJPGV*n%6!TZAT#pdcannCArK0%%F#Uk$CaIPVOCAp*ExCbbHz!fQy@$WUs^ zd+}T@7$3M+c|^p0>rUe3Av~Rs7y_~^4yiT#xQzLldhd*ws$u?8rX;qrGP*S? zqLy;xkGm7J1Yz*I4jv0v)P?1OdGWz7Y*5#AP=7MvG2q@h%6&jhvMoUQ!goL}_;>b4 zQJqN$mY9bUd0SLInJUsYz%ETMl1R}0dUArW_u&HsrTD3hQTY@3-frV~%dL{p#=1y_ zvDdLiC8d{GAFbQHV5pwTGq*5*?df8D&n8{N#Whn4U;OUm%_y8+G#75F-~9rZlp0FD z>3=J(CtUQ=Lj1y5U!z!rtz|iO)Z&gE4yn5)N!@i-CKVP5B%z)NWnAbS4N7-(oW&jP z>(;0@wYFq-B8{bPAB*&ga6=zL!+K>WXDioq%JAe;{B+Wk7P)r4yhfVYY8Gr)au>sH zul&*fg7_JdLRE$cc^!m5BAQ%^TH}W4px*853W5ZYv8~SQ!rd$m&Es2TfxG>EruAsX zjq3M^cFB0jLAuQm_vX{?DQbgPB6mFv%R3O(+I3jMwWWq`QKuBfF#Xdj$NWRtt$*4Z zuh@bG=GD;N1h#kHn{MwS2>nuGZB$?@^tx!Po<*t+#_omJKkvBj{E-U>|9;uR7{y6RCN5w1YT7upr%)=o)7V}5Hb)RXfNJhmw$hS;3>-c z)gzLe4Q3IeeyPoLel>zG4ZBxm9-lfwJ-+E)ZG~rAXK=Paa#?`REut{IBc>NbDc%d( zhAP@$Oh%VQ)LTb1(DAQ&zTfxzMcQdP;OW(%^gsuB7{)d{9AR_lqwT1#g+oF$QP7|H9UNjFD*^zt z5{X;qwXS;h$3jsCm|p=*Xs)m>x91ZW!LqpLBN^JKPfpt-#~F`l@_$j`WraFO42h=F zf@4gx?{!exgyJ_?5WRS|&|XhPCf#0$<(l_-6!gj8q>!p~L8nwghTHx*;-8=WT@r7Z zKRD=Nbi)^Da4n^&2ri3yhtF685Q})UvkfowUi$N_|25_bP;!~P6bQc)8%mixcwmgn z#ta@j@LKQQy?y7QFMo(Fzz5p|d3zmb4-cZ9`pH>LOqLen)`yE(P`5PgQK%0~K}7WX zT87(qS$pVSVa??668QUCrM$st^l>&WzT4Yb_NHT2L~DwyY$TVUVnjnJw12h&PxY1-eP)^XfXf)h zO%wQg7CI8ojNlS6?=zCw?-7LbVoVWv5qmIE=LV!ZnvYTzKF8c?s|9v6xDePj|dVih|(>vqblePO{iP*WDR>u}@ zqJsOnZ^tdc9y(gSMqA+Pz7y|IB68+JU0=C+gK!<_=s*N5x^s~apS_4?QXo55*;gHv z9eGFx`_e4x#q>qWBMN7@)*geJCW7e7R9K)AJK^x@*BN6}kr0I$oK}e$%Eb=Il$MQq z$5g=Go_{OJdCj>W#YmUTnHX!OblzmY@dPl4c1*b*1;B_(3tpI&m0AVo&h!qHlU%K& zo6Hk~60V10Zs#_Nl?!EeI*=Z*2c)AFYndbtruU5GYjKA`G3Rig$TnY^#%L4{zLZ1% zvXGH4YSW%{40ns zFA3l{3@aY(lvr6UzC+-}PcvWE0%0~10&i%dqODNee=w&sNZ(Pfj|rg>Pf=~wcNUYI z&_3H81b?DqcCO9Rd#0RQRfN2_mQ(HJ^ESX=$s73Ha5mN(+6H$#>#jxTFa4I&46~2Q zDu2_9qfj%n9crvPP-;jV&X!~{+)P^`lkE%HSOg$ zy`Nv#p6=S$8{cAI&$_qU_V-5i{oUN-V|RUi{tj%4N81rRNIrrKVL`pjA`PRzJ?>N_ zDfa2@RY?l*MbJj_1m>8`KyifO*k1()~~n=u-POZKm>iRe5$Y!*kWA;#^yf@OWe9q#i;-cNa& zi0%!5eKG-Kb4KLTjuNbRMO46=e(PWqlh+!D@MITptlhP*yARs{t0L9b#eX<(A@tuv zr4ZW*YVv@YVgFlH=j~dlZ3r551wFV_+YmfpbE(BHUlI;UL%o0mFw>T;)LDBfk&tWd zI>nssFeKJnO+z}tJ2uyBzTDc|@`_F0AA2un(G*NN!N?tbqIC==lwhN1bCDxcjCutV z=BDA6Xsc3_!n)h?!MqkcRexM{=~pB6n@KComE(mX6fFq-_W~2A}b{LG{bMYVn zJi8^ySI5%*{lwAM6w@Ku`$(x+gS};iO%=AIz!$eV%*0~_XORii=1s%LirknrMoCYZm@3DQMy%!b_SOl8rt3SK;LWIF+G#6;hdVwIgcN$?|;P}%k=F`LJqTR zr0M{K9X&;unv+$-%;Cl9qAt7j3L|k!1ZW0&bX?4>*R>ij6!w=r6t!w^hi%v%|X-d3rHYHLpYJYkO zxF9ro>_EpcK1aP!JbxaC-H$$&NL4b2$0X3!^e2RpRA-(uKgtNL8yIhu6)h6yJg++# zUv&9`S-|YMMHc6J{Ie=R04+t0$1v5x& z6V$+PdoMN0YD$g0bU$*^vNqPV9CETQSQZQ2Sgz9ATvik6iGLD_o6MTa7`GCovBn!V zo`WNI?_nn>PkgtG)vgZ~A6<{l-lJCT*R7bGGLxAil3?d=r>^E&=UufHFx%78#%EW0*l@JFXh{(wrVw1O78F2jt5lWSStEj=)S`9m8HhSNqSj}@ zU|J5s2u`91gmHJ`cTOP@>_mmnBzs(klwgPAd-sSA41XaJM6F0jU+%}2lBTa{JhLRd z;sC-K-o{yvB};CUrIcn^ zkyta0dqN%AL+okldoU`(k0V7O5xbjayhbft8}{1(*Q*$gn;e&#ONk8h1xwJ4Qkoly zX57VCQ-6PW1Pc@hZ5=edU~${9Se1{0u-Gu8%CZX`i(s$DCfXoD>FhpjPY7IinZa+La5Zi8)48BJYHjF^MCXC((=OX5z6AtnQM$Wu48${*e%$B zqj+z@E4Uh5PTB6k=Mku-kOT`hRS(7XZz0nYkPd7vd5Qw%wbiJM-Ga|&0I$!#ycOZ2 zAOQ_O4<)Mw6i*lkIW!%Ccv3u20~zs+fSoK^b0>eGvv`|4gCSn9vfh8w&DXwx{b7Gl zfq(nct8ti3w>IVYKOYKD<|I+?k2dHdl(t6`_dhH>Y| z=@C?nR1xo{GC08n`I8sdhkak1UneXpb$_g{_HN33;TR8Mn8u&Eer zYE)y7S_;qd!%bk^S(ixry~+6LFfV& zi?k4@0bpIlDFNg%_hiQz>~T6CMFDi`DNyIgB5dP=P?rl;-YD6f*#S2jR$AMza(~AN z5AN)X7t(INDH;y!3Iudc!cr&7J{VZ?S-=KYCOw|VO0*kxiB?|eukE~(xaiFvJ>+=V z+brQ5v{x}>hj5>9V?T}^`)2IeHHItF2tloh))(!ndd z4LD95FT83}2kUlB8Bm-o#G%$pUthIT5dhzb5naBcZxh zGc|!qFK@9yB(;piDZPv{{H9?Fn9a;la$Fogq1^2z3s6@iW}RUFW)*4xr6m z!g}J5KBLuio0iprD`R5-EPrtkMg;Oo=c~<%$#(eA26sHvkUt@Quk712LI6EHzqKF1X>Q$qif4AbRjZ!7={@rv zE#z&xi0)(k+LRvau|&OYXT35}zp^VD45HrtRz$t+o_PerTHHBn8*^)XvU(qPvRd@K zk2*QoX~)bdDz_gur+@pgbJ}oFcMkjUA7nqS#fbU~96}(vXX$ILous$=1NOA#7+Jh` z@e$mZ-j(7Mn13V>WhVtNjWodgVFf0Iel|%w*>jtG%)g5cK=8_0U>Fc#&USe_3O~ao zjUh3>6A{;H)N?07e1~#BaI($Rmgg?bb;r&cq^H&r7OEn@zkfUwK*s9kN^}MDkKbBR&cl zDUuMXvEj&<%)3a$MfRi!OTLGGKsnaPdvf=y?-v7gMrNrD%*lO*=RcmU}Hhv zy=f;Mu8WV8y6ptB={;Z6itf7XQ=H~0$_YK@>g7$m3O3cSqmQG3Kcpw@_oYPP;5~qx zWzRp#Cga50(oj>Hc;@$pGQT$&nBSW_=I3C3^g8rTR>uU~2I1q}ont_+Yb3H(xU8 zB(ViYz3PHtTm|;G?1X3YnAnW*n8;OYwM9K8wh)7Unas=?Ln6glWSGAtS3ez$EG|Y=4y^)dbAl!%oj4zEBEfrA1tW*`J8!~iP&MpRm+E{OFgs!vQRaj&q=|BIz08! zl7AO529r9KsJmvwe8s-Bb@H8r|Er1EBFepQ_UMkqEc#LFCt#k+)*Uw?<~%F5a{U|RC!@|D zfz>!TdBas^Tye;h3z$>wljt;i*!rN>i;x#oaVYEEgLO5Xk7vx>T%|8zuY$ zzLa1j#kG9b2@<4wGl+o+1iMfm&aV);r;&(Gru5oZnG|JT2d0is;Qv5z;*^TLmr2qQ z{Ij|2o$!~mi|5FX z`8oB`jG}_hy(Ju#KZRW+<`+^vUKQuGH9otNMR-FGMjkRR{0kk6&VnoNuS@j*75Zd3 zJpY~QRw*3B2{K|wuPJZ9uz!D-)1q#jiqTmttmr#yIM8r88uVRgB+sg&fxN|EEVzV; zuw|xszD%ZzH3wa+Np!K6mM+%59bL5S7WYYX0oC%Qi@KdI2oe0ZVA4z7Ui5$7^A}#0 z^4|%8J=F53>-SpSDrbX*3$lrhaEO321Tj*H+L36G`0! z&luwf)$gpa>3H`=lyBF7_x*v7U~mZwmLhA(MIKs;ytY_uK7aj|04VWR9mmmyCBogF z98f;hF>beK7ZjOYn-n=*(u~#(&8Xvb4dv{&&}$y`WiJ=}&>(|ih64J?Bk+#=I^mZD zi;DV_sUHR1aAz{=&wA6eV!tJrH{m3-IdaytiT3q8pdO5(8P<+0LXrFlzRrTsz>VK5 z?C&AU`&Oq=%zrhBmaSPzd^AFw8=FYPU2w3UQ{QxqKId?~()TC9=hTWYh8IcI(Zu1k z8-k70 zJMF@qcHvIDaHn0k(=Oa;7w)tRciM#n?ZS_&T*x92Dt{+A@f4&(b+DM6iV(6(W$Z=e zb5^}R*9(D3NWmvR02g~2;ClLVfj9;W&SA@-x$OP)A^eFS)2%PpHsp&*SWB$=`oeeF z;+?>>c5{P4r$-*~leI?a6hq286m?ZWvyj@TvFzoCgOVz?%bKHH`{8f3E|%@7>|??(lebc)UA2=5crwM$xYvuETuaeP!Ku zJ$jXKLLwHuu}tbKZ^4(m1yAI?e7ke-4}0F_c!k@`6M7(NFLtk9=VxK&?x@v`o(iXcpk)Ogp6h9}!4Z z2d#Iz`@85Hk*z3tHrjk%TW#BlIUCHPiw=&*+qyuNw*@H_is&{kU(p3Qvcd$F9r^#i+nEgSqqJ8(fydGW%bov*O3`3 zbI^Ilk7VreFY*WdF) z$5|kO&h|Du_v6%e{%AD8p5t$vm0p>d#DC-JRqj{y7|qS#jK%@DMr3n0b)vUKd$bXC zq|f27X+#JLn%9GZEh+ZWH6nqBc!D16bNuFd2KYLNrq?(y!_UO%0cW^$MpcBckh;pi29V%`6(zKp-BmeQEtKoo5=|Tt%&co5dwx8Nv zMA35wX1FIGBP`(q4E628mdLe5u77$o?3BzG0_0nzJiAh!8L*ud7MgV|QxW7`?>d-+ z#}QLo%kCA;PPrW}qNnQb_@l78a_J8S<&WX$GF(0P!=S%vxf9SE*g_4E`ac)!+ssRF z0^M42gkzK2dP(4k-HkLwrG4+C%N^^+;C)8S8)|8FY0<|HTy3@uIPzusntwc=#&TI+ zzS71elp762qk+q!L$t5l)?vY5H0>z0#GaPmzfe1!bYT`&9txueCPo((}#yT;|F z1UJcf&5g!96i&`Z4TT$94;!jn5EnAeVFPyyk0u5_uk&zXbY?l8EPqBG;~qF}5#>P| zmpxQoD!o|O*s6yPZ6U3~oHPxo^!f_l1K{)i<%QTA)a!)?H&o?e(JsM)sZ&}M4+yHs z^h@KS8-%T^sUJo}Lwizdr@lnGFS`ly+gQUTxv2>qxNy5-g4;3} z#WjG8FmM#>JvRGnn#Bt zVEMaKME1LWh~_35w==|FgNm|c$G zpeP=RmBUz}nw`5k8V;`4c&x$a;`~oE(KIy;p`tl3OtRQoQLj7prPYpUMy%dr_&L9& z%V8QL7t6~(J_d{C?=O1?ZVQ%U$jx~w05k9S)_J>7!+-YZo59L1I&Lb)SBH!34oCA; zr{d%B0v1>>m+d)cK*~KbRc;FD?j?}+fmt8=KQQg|u}LH~6kTj*PI?NgZhvdjGJ0$c z*k1IhP~*zLkATRSJ0n8j0eSA|eaxe1*N&3+sZmnT6(Kn<;@N5Bf0|vh#TZ;?GL3Z3 z+axF{{C~8f4ffiROn7ZKh|>DLJTLOE#H+~Ldsl0;yn?mnkzl~6Ci}|Vj)c2Wf}4@m zy(mX<2w^OY#-r#uC*1GwUan=%10-k)J2`?q82gPce9U6X%oRCVGsK z*A&v-2op3|TpGDrheGzoQfM2FN^fj-6hdu7t8Y6@9XjFwwjB!w0<;rG=Aa&%CoS?(PxO$(sWrA!dCv8MeU7new281n68&EvfmJSyi^9 zqO0-H@f4r5VE3$V)B+fX2;~eRd)9{^E$a^4%9qIr`dZ+n=<#pB37Pf8D@#GaI(9~32)oQZa2$!J^q<$v*y zia9j2>&4wK)wLfLcW7wWfjjJef#B~>{h=Qk8gvtGwt-U}2^`GGqqX>@$aYD4ljylu zQ$+`V3P)+{d69?~@a(I|%`k|*(=F~>xW6re{vgJiZBehaMc}eq7cc5_Wb-Psn*t}8 z0ozT0=QQ|Dz=XvePZ?A_Lt{g$i+|TOxpLLjuZ<8TucuUh(J(@dY>qXt$YE!=Yk$N|gT!uV zwyn15%>`k1Mwdt%MIyF~AUzo;8`;;L{IxbOyP`lUJHKhWdM*9}O}D>*?hhaXNaIQ@ zGTg}K*RDa=DczIhN5vEn60o3|wPO(Jr@oci7F#kpF2m_X1v_3Wgs4IHx|cTeFuznp zfXqug{JT1t#bS5Z9p4;BV1F0vt=PD9>+U$H8|1bL-kiq4sqBT)C~O-!ZI`)8-7$-5 zQ4v-Gv^LE;`!~j{5?tYaESI-bn22+4TL`DAA<6UH7K8T1Pi+|5i9a0SC#7zP-9`QY zi8#HBk90A#EN29Hs4a7cY8bI;p2}vnDTm);!_SH7k(R$TFKIc^+kaY=*N_1w~>6oWQMGZp_5S5HxTDZM~m-~w|ska zZHtR-hq>&83v7baC*Wk!5H;U^Lz1Jo6#i9UA!4m^i<_rr!qPRac}8LjEO@&`)3@jL zPs(0!Rc zSEo(8c@N2NvM5hgyE)I1G=PJA2EfehRD9+k6CyG=^?ReCDStS{hBUx0!_>)lBXp!S zWTgI729=##DzX{jwB)ep=>i|@AW0CxfLNqSXw<8{NJ~p)m%ZIdFAn9X>Lm=tsA3H= ziQ#@yE)*NVvbPgBbRjzdpwFQGgfMn`v7HOl*-l{1XYin&o|DB}Ljcu-lGAyC1QHjI zFx63c66#?W4}S%XJs{!z>lZOT5O{bON~ag@PW6|ccATB=#IzCvj+l!$ppChv9q$IE zOimn(%;a9}Iz$}o92e`*%^|);ONi81g=7Ce!8D*z(2Mi~;td=d!Z#21aO`{*XN>Su z9)*K1<wqRWA%icyj zj?n?L9@u;aa7-tH>BN|OcSw$}{XUppG{{SjCQaY^ zS0LvYUCMVK=V;mf(qo#2nnCoRS!gv9Op2EL)XiV!gXOIV=4DWWJFr?kOJKEn4uRF; z$m^Svn2xiOdGK6>&h+M$DEe8ac{BjEXKgUpqJL4PYIl!`-aRJDlI|W8{RVXL9XuwQ zjfHgPempd%e(oL%y?ZS5?y*qu@9weC@94463_MUYY3=pz{WxeAJo3=9-fmCa$Nkuk zerCcCf8Y~i=$an+lzYAPFMZB~K0GmizqwxajPEh*q2cD^(sOqVyE}&EcMQ9eYJWtj z7JuJ$p>l&%vp~c{zU|m+p^drx3l+F4m-J0Q*d)>T4Pd z(-wtR_ek-10sG>2CvOm?Uo>ZvE?Ji;yZ!<_XRXDHw;duPCNGJ&?4?8)_!w!EHq{|b zIs6u_#$?P2OaPN&Y^S3UTu|bzqY+~?g^^Cb*6@ z;w%~0->R?tJO*HAdkDZ5YGEt&1C5#$wHa(9hj1@SVQw?iTp&7WmfO0>dfd%>uW-8t;2^ck7$&)>p${mRsNK=L~DITc;G9 zb*89~4tR)i8`inyd2YI@oXMD%+&+GCr=xhw?2AVXNWuYr4NDjukA_1$2K;2wk%)g9 z4U1V2{}CbnWv`2Vy6-lbs_e*N9ef0*3F_WNY#d}t$GJs4n}rigk0rP=?VD&)DB!S^ z?l|KPJC1FfkLIRX7m#kpT`T3qg+Y5Bn^RhDHTV5NDIrL8=h-V@!dp}^S1KHIRFJJ z$@HTbp%t|)E{1A(1zpE?Luf{V?&*LK@`2$h3UhVPRyHL26Y3XGx_J2s_B?;Y0ML1c zSYebzC=TUSKk2A0J@JA4O|v1UJM{BJ%A8NR;ot`~Dfodca4sv@Vc{f6(QPDI|6C}c zHR_J5Knic;iLgAL_taU_(%0%Y?CZ(=ea+2O!)sV8m=GRDi#KSO)g)K*ORTh(^)c3^ zc6otlOg=BfHi0;3u|d=n%S?Y8Evw(;r`_?L8!@g*1OnSxc@6nc!eTeW8dy`;fx-YZ z9j?j*lpJb0m<#%|k`kb2-0gk8EM}WkaIu&-@LJrq?X@_0k)q}K1~)SwLl97`-U=w5 zTn7~MGb}mmSAw{k?r~lsj1z5+^&vr?X^A|`bOzm@7!_{pzR0fI z23#PzP*vReC1Pf~zjc3ejfkK$Ix)<>T*eoZE{;ID*zxwOYT^eW^N8Kx*#uD%6FU&4 zoruF?ol}A(__=hmqTAwRJa^l5z3Z|Xlpp~X!a63m)X0;JOun65_cVL6}F7$W+3q47?(f#*T3t7i*?k$puWKWC1UNmCJuUL;^ZmP;v*8hQyG; z)~ueoU4QI%4MXDw2%NPt6*!TQb?GDYS8zOw^ya!zcN#=zcxB#sF5P)9-FYtESz_FP z=Mwt5_QG53`=3|C8Or)`%rb~ch80rDPUD`-!rN+`Z7JVz8$_#?sdgJ{-8MPiw7~6G zlySq9#op@-mn?q_Ob)?%#8?H&0rj=H+PGwKh#4;xK%N!iq8T4DX{LhdJfSF;eQZyp zJ7@?qa$?4F9B;z||5{f)dq&Z7`iZyRy?gr(yu{IV_TT|Ec)aShW84y4PTw&#bn}uJ z$ACE7p~EE0A#-jQC)~G_77Xu>es7L`+2L405MVm9t5!7uFs`efAeqo~uHptBO{b@em|SEGvpmPLB#V;{^0qG=!Trs6n2fFY5! zRBAf|M0fig0v8m-H?6+yqCo0rS+f_R zA*%&HE|4iMpZj6ZFAxPe%iDl7NJ1whtM8swc>{lB6(PDpXCbs`qfzKjR?dUz#q4w? z7_F{cB0?>H3`dvYD((~1wX~zc&v3lj4I_Ijd4WQNJtWBR6} zm}PccN)xl4TpxY({c(q2SGMb9O{v*7)6lew6l?{2eT`xzfFbXxe&ndaKHHVfi~K9m zQFwoQ?`n;fSFqMR63n;A?F^J9e25ljg%A2{SUeCzM4cU|LGG#gL#RCx)E!ne$9&kE zO@ev(8%=fdH^-$dxwUJXoJNirAB~1Swo5*=I15-;LT0*;J_6w%Fv8!rKlLF41x8~w zpkf(9(k!4hf4+)?gh8{97}sI8lQWlz_hWx#Vker81wd*Ic_%+!d?&weC#!4iGkMU5 zbBhhLSwO9Q8Nf$5-^Q2=Qd@f2*8V~=vPEP71VCeH<#b#=ZsQRR<|Ns{TZF{cxU;<2 zD^7ftXp@~FJR2bfp9Yd)cY5(N^JqHg4rcy5yx4r`jBQA^m5W3y)MIgfF4Pf#d!v8o z+V+eT(4+2)`|&JEec`^&*dX zU5K`OelQ>w_}9NN)4mqjoNsn-&SQUT?k>1D-|*I)%g)?gbZhSW=M&$*NmAHt`x2bai~Bj8^6`Y64Myf|__b`^xTi%n?sI%mIN7_% zAWC23LU^&jGN8dq|Co)Y0SQTa8>C{WeLyJCa%+aBkn~R{5(&;0>%oi3=(6~yKN)rU z!RG+fJ;lXQQp$_k2YwXY7W#jAwgCMg7SNpp(~IHv!$A)+^Soom^Y#hPJ1FJCe5vg9 zpjcgfpBG&XyI1+}Q09@wS%xX1r_|U{c;M73if}qT~1N+h6PbP zp9=DOrp+MCgEm9|oJpxSbwn)hFLpRA&%edw@29-bspG>Urw%lhjoT$WK7Y2@a9-ac zLFUCGQ!}27`m^3N2M$GBn%{jK!}BQ@k^Gu?O5=)wFtqDgr7fBI5b9<0hyOhu1Ni_xpayH5ASpN)In$mg*x>Mpxs?n_rO6&(H1Whh!{ z*n?Xzqg=_HavnIJep&z0ya-HfUG^hFbJLO}qXF6nafZdRpUHrhwXY`^!=w zY9eU2LlMOzG3|er>^`pc+Q(^>R?Ij3ScFM+_=m0AOUM@9>+_i6E-vv2N}D2?GFo_* zCP-A&ua2#>L*E`B3+JOAk9_Ac^-0)s{Qo0AkFjr^ha*U6khn~@8V@Qb0%YvRmN@cF z9xuB}a8w@TfysBH+4;rb%lC)GcZo>cH6r#+hIoJL;81^~MS{?h*_5>)ni8YM{HMha z`_cPgdZEroN1cz(tz6udMHe@=v~jQO{E?s$RpP=_oS(9fj|7g;!pL<oSd9g3jaiOP>8^Lyi)iJzF)Q>K26iyRP{=0QcVxO zOVwN0$=HAM{^?zgCLgoLorp8R$_3eB|MM*M3|yBsCz;i5B_n}`*doCy4^sP~({;OHf8Ov|Is$Cucmz^DPKd^^5 zw;-NHtp@s9?4^$+vPA56FNQ4D$h{}^b|%vNBgHGqel$iSWKm7_umdy%^|zTdeKVB2 zPmO<)daej@Se>x(Zs#*zOE}v%^M$kh!!b??N2ujDJx4KRb-d{%{2hVp+SYXp3!7A18gd;v|%a_*fI9^cheHi$NE z*}3BRV!Y*gjJ6gyCOuztIB)oxo0Cw6Y6BU1pZMbeiD`7=Sns=jchb91)83IhdJ&pYRM8_Sh;^5 zV;zeKl>aWc!}>6wQOkSo^PF6g&&Qq-2!%<&R(M31%YPK?BBl-#>R>nijH#98pdHye z&|dC?ger&V+fhpJ zj&RYmv0#nk&5;qVX^}0J@`M_Ww5fly1wuNn(c0p33qQUk8!$VMF=b^MK)I^;zUI^z zO3f>Mt;GmmHu;SrQ|f*=JGSIw;t~7O@gfr*^(NhM+#YbGar)!yo8pu* zuIGs`GBFpt+7Mh_Opn0B>GK8Bv0k*1bu%*Eq8sy z8+*iJorY=C8{iGJ=UFDJ9q=0g0#`O=(x zJq8`d$@@WwZ-ur@VIOiD=5q#658~if4N-3cOtvg;mz$9Oa%rnvH8yNqWvg6uRZ0q! zyUAmI%78S@$10wtxDQm6CvblwxUuYQk|%`x1mU-d%OsJ1E)L!{b1S`m` z;0sX8BQ`H#=3C`0Jt*<_OL*5xRH>oHXqm?TB4`liN6N->>I6}SkA;b@&cqfj3#SLNDg0Kt?1Yo)R zv$Yj%U#*uEQ>8k{_RW7ep4CV#ch$TP&!2mZd-~pCyye<7UT>0TX#7d(J4{U&1&PBOJP55T&q5NS|P(A>s7oT2nFz7M?p<9?9e zxWPHL@89xK$N2;|a`52Kj-&aVLlXL;fxUi^d7-1p%Ts%P++Evz4M+X&e({tK9(>!0 z(vg;8cE~=x#^irz))Ka!$Sf5qwZDVu)8mNdF8{2ptf_bfGqv*cq8rYQTi(KVf!}A> zi`|DRcBvDod*bp9A?=s;e1f>wWKnQ%mo&24|#20AnPYH^r59gPMyyh-)z zrk;dVtQ(#+PpQ{PJ?>5@2tN~dA1BthTn63vh@$2rPNnv@B1RWVC8S9{q*h|H6Pk&n zH5Ezo3t2`B-x^tXq;7-(c5=emLltKWiB7ggzBT4BYMh88cwHQGzY0dy8x6J z3F|FG<(_U3TLUN8hV?qTnrc%3T&^)(f@V59j-VDo(W3Vc*RiQEORV)&-d(%%d3V*4 zow0VogENgGRwLHWje4iLqX$7>5IiVuwjYw&CL@0+gOhXCDVM6|bn%o=xPiPGn~qew zl^-}Zx7w))Z2j5@3`Yq{Ltq<8_AwjaW_!|E_BPvJw=C|qlm<^WQLbrYrbirr5>~NQ zGq#B%*hiFLnQc{Oa{X3jeF?1p&fG7v)s<{?HLsE0JXCS*B$2-fpNzD>rG;K5TH(y) z7iE7pBwoLB?uXoESS6?HIxuS!9^);{#`>6y6`K>5!JIGaKt)YMByMXm@wKf0Ef`}X zZot2i0b?)dxdtq1-rRsy|LLS5|3-%Fhp+*c&qkB-Y!YN0wp#np5DgwPZ1FsnpRm+o1!LNw0WrSxU!gd ziBV(TsMN*ZV@_+5J6vAVMfKDW4fI+ki+Aw1nJONuG_R?mmI5@OM*Kv}TC#xi4wlL>h$j(F8bxc*`z!?#3 z5d`2`12Rm<`2Rk{xU*;oOz#3|a-QfHzHEN#sgwf0i3<_z&a~K6S(^C%=L+QVTQgVm zI-}qHve--+4g3)EWKPvh%@ft)UyOfdlW4J-vNZ9d%#}7>H#JvODLM?o+0HPc3^hWm-H;`dUrC^cPF7W?k!<>qoU;NggiH$Ec?qB5Rsd_6+BIqWTUc` zd_m4YPSDaDkaaYmZ-BM{6fAbJApv8y(N_~pj~c71)wL{i*L2WbGaKDKlElje3D4HX zZKu2>nEw`}S1w}eD?PXo3jBYCOVbO|pV`8k)aRPXPX6>44|8qN6>}rUf-kVErlLF+ z{h(1=UH$Fxqe|rl$nUYK{GF5jEKS^g0!#qA6Xf}uO}RfOd0HE}{p6Vl_K$x~o(+{KA0v{y z5n7~5S%CY`QRpvr(`0WYpR1-hEQ>6JaeMBoi0;ItIB^F@P+b^pZ<^|4*rZQOT8a`P zY8XUhq2yM)UtryESBy2sskq2)agtm7R^WRkwc;Iht*ljT)HPk0q2;5m{a&fdFlza` zQkU>i!J%jQJ{Qg5f1-c2ki%9vCxKb_+Qto$XnHUHnmwAdo5=Wf+_V!g&u`f&ZykiU zX1V1g`$jC;H|$R=>omK89cZj%zk$hqJ(29!m%YtISN_cmWdG1Y_KT5xwBS}fH>v+U z$UKh3@5oyx??)PWPZ#3o(*?NsbP-NI{abMHI1YZty=~-8uZw@W{eIa{^JFG-dnT)`~ujzm?3gnn`A9I0zW5w%5}; zcvr+>RMR-jbrjXx$j^=-uiKg*UD;?{+Sv7uYO!y6{QM4dG!LtWhJCTM;cVz`fqef9 zXl~=>#0GE5I4j3H8X1;bZ=QunZ=F2> zu(j;HOsnsBWhdF!_@#uUSNbyse~|O0`lRq{aO~6?cn1Yvmu&?fRM+$e7>53Eghzsg z1RsAad+&dw0aXw!yeY+3ss8?Jb=f2TuaN(vTH9K!w*c0grLCoh)nCA?rBdE5zs!42 zqO-E&-i+Sj)xBe^?zd-Wkv|0(b*SK9H0=(@9caIUJ9xWH%#)7LtRe)#ye@mq?iYl! z(F{_sThp?)i~UEqEj>aD>Bj=t*)Z~Z#fqqdKI4DJn4)Xe8~TyBukL2pS0ATfZMm|w zn=ru3nVsEw6FknwehBU*_)w1AtEfWtMrLIjr5N|9MVZ<>3=P+NoA=WH)u|F+RHlh( z?&i$Rb5j8RaPo{UfXDHJt)*A-Yf$SoccJ6;ozU_93LXB{bkddBj*Z{U!ESC7pSfc& z=|z8zgSEQ@lamRrAw*URJ6{jh+BRmqM!B&T2_Z4Obga8}Y{^OQG!9B>AZxN8`|Qk=)Z?m{6K$NE6-(mY&kS-SXT0J8L!a?>ViI|3pnTd z#*{}aD@Z#Gq&T@^BmDu4M;EwmX#)59t>lJBl_Zy<1>bi_+3wx_)emrgRld8wx>F_H z(gV_?YI;U@9Zc@-HtYMk%_`sBX8o84ut#h0mh3snJF%_a-EDp6cU$GmYL&Z7t~-Cp z#KDjrre#R^Gow32?suceE#GN!Z2<#^y>9tVuY0H0{kD4DwUw$j zp7{MIOinNRpJv@bNks9@n;BCj3djuviYNBEV{ z!gT&~#&pp$MqXjb8$VP;@o%&v{3gx+{5!%lkF&%b9o*QC@Vi6>3+)KgoX&p?ceHS0 zJ3_TW#RI0ep7WrfRG(KcSU8Z%cM(A)DRfFg%#?4mRaCiNQoYz%SXA?A8gS0fnPS?yi!Xh{@uj~Fk9y=Hs)e{zd~F+D%P3nl5_B%bS0=yQ8`Od)^P%EoeV>UG$bmlSL`TZ0n9>uAgMCd$;;E z=JGcOqOmr2M>p4h9emxK<~QjoXt8Z5mo4b-66mJ3oZoFX!;5i_e7BlA(zuzeWv$}4 zEnbi~^4?PJ=;LO#khQ9GcQpSNGR@-@b9ZZWgImbjn(Zoiel9W1^|XI-M;bS{g*d4ZFN(Zt=&^Y!06U;EbbOTx|bBC=>wlXsVgH+p$^?VHo% z7pCtn(zbJh|B&wdH(? zeT`hLT3M;C(3osHgKmEiz9zFoVjKWc!}Ic>8=hwko)FvEoP|kpRX>q_?yuac z@y@k+T<8Lbij5RV=#MVLUN`bPK=;sdLm?X$!HbL&k6Fe-=5QO1c78x&NjX$JQJrfY zfIOcx021`N_-xu+kq6jWa4rjl+cBA`MvAAh_RXg9k%go8M#Fz`cj9~h`WO0`2Hk-d z495e1=!a9h2|e+`k=Gjy26Mf~YU?UTw%3@GSenW6O+H|&t$F`?<~8oIEf&dnUb%XY zZLFlk^XIgLT&i+U-hpXTFQkHU;cC*xoIBz%@zphSvcyzKx<%L#ME;9~$OnFSKD}6o zcu5m^>^hCK#20_fPRSly!vTaE_-|)1Qm_s~+EJ2$b3(^-KT`?+QkB<)0e)w~bSJ+v#`GeZWkgT%x?_pipC%V5y& zbtnDezBoll6Xo@nCG&U`s6#k8Nz7~RN-70^lLA)%N0JkZ_Q6#}I#f%~m zfX!%tP>cG^JTJ5!OhgSqSWm@Sf(Q=~?T?(h)aBz1u#LKMtWiLwx0TQYVt|Oof-pNl zDYY^9v8=c_!5zdQBnYQAY|xyB zsm~Dv^4_AC+4r7Fk`3cqTM+l|{nEanmcbcnvZa5~18bu%Nuviwqd4OruF>vz>?7=u zFp4$%08!?ay;>88UR>8QUqP=g%UdS+v_Vwul^KuFs;$~U?CYc*H-h_%3dkBAe*2Z^ zAiQr(UV;)DSt#Lt9D|?|IB7cbds(;^o|doaW`z!cauWrT$84(s5y=ndh|(-oCA-|U zY&w6^5Mo&`ed`&?BK~ArKK0K=lguMhDraTG-;Dp>%rYRNuVWc(I2qyz$~plAZek?H z%^-aVa^eq1pEFM#sddM)*j$}-zV5Z>m@kyGmn7x<&L--!KZ)j;DO@eRq)ICg7N7{} z6}IO4{#AK&mVLRCdN)KhXQ=<~U{KsL!{>h%nb5g~h0c1(C}D}Y+eoJf!kDAyn^`!A z;u2T-CLF(^n>HY+BtTGr>>0lsROv~I)hK`N4rYFob*NhPYdu}@!6j~W)rXAkr?4=3 z)9i##D=tX+l*IFVv8?9(hT zIY+th$C4FHFNR1s>2iZ6dh&00EO*0SuqNME=!ny^k@B=iARTC{^_DN9PN zKToI=j;6fm2P-5|fO;l>Epvy`FG#k1ZX-A&Kmqb;X&y4VtVGvY7=4N<>>)l>M+5C7M23l>M+44SLHS`*ajgV3dBkic2>W%bqRGsCe2z z2aL}^(Bhk=P{a#G&O+Vu(HSa1KFn-?dg=R!c=#8y2qL|Yr~vsevU_O%S@y_ZYi0-S ze?fodcRpkCuq0Wlbx#LADNTRASqe>i7f=F!nAv_X2tvdo`4^MEfnqT=qEh0k*%ZkO z;ZTCMd|p^2*sH)b8ZAt|T8njiz)-O+pA=RS%qoNKEP`g~r=`G%@X1E++U|Sf8CYDS0_=;W4Bjd`!`YOQvi92qhZLYGAUg6&N}5@5HktV0v_lxR z`pa3^Bx+ZNvxy)?qZbwFPiOIu{ufag|8N!^j`}lGX5foB>+KLO7^VD8oJb-r-`4>x( z&yfAuwy^uN@c>Uhodo^2+1M9!<^Xwue=&+6j98h7k2vDQ?+kxN-M)|5tM=1uCj1;s zVA%YNS!5gq16+iCvGh9W!rnnY%qAvhka=dWde+04J!>vLEaQohzM36eA?YZBGUU@z zU<|oqTOViL0Er^xuTc@30W5p;!_0;Q;we~zkW-@m+g<_kI{wuZ%?=)qHPKQPpWT-| z{>3aZ=uW2~l<|KrmLenA+vtZqyK@FI1%jeG=zz5mEpACRkx2^j<;1#k6r}H;DZOZE zwwj{}E{s1c`LpPP^J(>$Io{EP;FNya3JmcG=%=GVhwkd~53}gR_y2@a^wUyc^e3J^ z`e_yb#Ij-IFGi8`?gR<%eg~{h{T_nYNJy%JC4tDO$dZ4}>S*bn_pBLx$m!c==^WmL z!+*?b{rR> zFaw11FP48I0a!8ye|8D8(0^MhAfY7e;YQgvOCiiZpbY)uD$-F78>=5|bjpe6Z@wF=@ZfsKE+P&3A5kAJZhVd^gFt5FOcAR??D z=3k5=gD!MH{+gLoU*yyq4bHp6VHXvkpXMkBLFlt{y8PX23Npu|C?GSY{j?N^d!chE zNWYjxMvy(SYBkVjwSsfu!;&AJqFnf6<_)`7%O3t?&7*TBz8Qd#>x5;GeL4#CEUMwExB^&`G)kiWYMvIhBg zTfxYmvIf~#M={o%Q@t5NzBL11zAk(0(^7u`pT|EF(cr_9qsS~o(?!eJt`8qm{mS3f>mSPhSUdcA0{4k3Ks6=4nKH~u}G#hjJVsY;Yzw$em30wwu39VV6~ts+s{ z-DZHb1@aF|S-*>qi(T8H5t6yKQTl2W>y0LTd>_rfSc?#4qWESl^d~Fxr?r0w2EdMZ zA1lL{*rWU~ni=~{PfPJ$4@&iV*34mt^*3~#lc!yD)Wv@+Ss`RuNtjp~x$KRmcu7s| z3k#AlcjR9zMJ7Ydp6y>R(v*{o&HiPzWy3Wtx?l}}zhXmjSGk~%#1v4HEql+MjY%eP z|9X~KNCxn^vp5`BrOtmpxO<Su1VP@kc?O53O z&Y3VC>8n|6G(dYX`D5t;*1=N_zCsMJ~Z_TO!BuL)~7k7os32sQnp&=yX2th$Ixl|!R!Fgs@= z?ZXmF>8L*V)SkO2DwG5eIAKmG&L)0zfm*?h?3|sIZ2hqg?`fs4lrC9ckXL~DfdcBd zuB3sjh}M5PYGdbqh&8$qB!?!TAt{dF>4gxggw^9W48+rk)N6omV|}T*%!)+3NJ9#I zf?a3|egAZJUPi4JB$t#1T*i1+M9CHW9(09=Mj>_^u&E)jX)=ME+QMI#-gED-%fCW| z0Pxjm$dM#vvl6LViN{vqp80%q;82-nfLq_;0AYVy4Z=>;LkAZY4wQ`*UW!#*?U`(!@H0*UEERGLJdSW?}S!puZXs4qH(27 z9ld`$64>y2SNr`|pr5oO)3l=1kN_{Vx_rYwCQtTQYpAY0le{%aKhbJ_~AG z=!r#93N%?f?l%2y-!+*G!VgPqTCuViBgB7zmF*k2!6#))DP!F@{QJmUp-G$JxvVLa zi|F1XQBXN`e#XV>(!fZ?h9JMsv?WdtpDj%n#j@()P{8lo3SmOmj67%o=cEQv=X_8+ zP$`=vzSoBgW5DM&$xW9<+p1ak901r@_L?~U7;g)M)v$umw1LsGfw93`M=N-%t*w8m z4H?B4;7tg?peG_pqa{W`Cx>I6^e%1Ps;m2lB@u{hS)KKc5FtcRl&50S)=@tCzXbI< z1cRet=d{!b*k0S)k|!DWslYzzjxVqh044C>VmNGgK)zy59fOrS;|xckM_NJKeQ4^A zZ3>Ile7r&l*GRRG)j3btTlU^bC^dgr4;du_ea}dIi>j*REDaXg&Dx9*AlIjhfm>E(WYGG6bj)@f5Q%lc;HX(D4kc-%HAyU_%plind#`ozQFx8Hl;% zCpD3WLuks}7AFvo2D36fkf0X6Hbff=1{)k05r>07R5JjgC0MHn*YLGjQd_2_>bO9& zv}|jF1X>~uVF19#p?K29cvxXS^{`hYS(`P+k5b#Yf4+_>g-nkp9 zXx!2xPO{epn)mc)1x{LDn{9tfP=wxSHXitNd~A#~jSTXnfoh@;a&-IJl4lE-s}rFD zT7$?(ok{;p;7g=rQW>2E6Be@DgR?Uq9R_t9+K8id^zA^vV6AtLhefhbqLhbe(KbJFeU17=){zLkmM|Y%Vm?Im%+tYFh76u< zQVi&`&dC96c!yu#x0lT!?*q(AA04v~y#}6?UUxF}qo5l~(tv+Rk~T{nR4Hhus8A=2 z@SYlMOI9rK;7fejv$FWcUpw~mJj{NjOt}+Mk%BMxMeWgwkWX8{@`a)pp0PNhvMblQvkaE^dDW~>zU6*p6O8c1FRjs7xwB_m=Rg*E* zK`@iCNm}C6pr?QHtxX~cO|EC$!^f`!Nn)bbR*O)J-b3fB8U)Tp1OPB?cr1amj>GRuy`9vtScE<#V0kVBcjAAK2i=~Kp$|2N&GUEt?xc6| zm3+KIavfB7M{>W?PnrxnX8iSBv49SLxTR&UP=Xt}-ClQ0N90H7JAFC;l6@sN>P=7* zFif5Y3Fc!46ee^?}!>n*DB{P%>RH42Ef>24o z50DBU3SxiMCkL|pN8U*|!niznkG4s?0Q<}7Jg1+Uwa6I zfU=K40cnyZbi}&5N6{y*MV2I%#z_kwv}BUQ(2BS1TIy`bOJ_U?q@~09z^NKRLo>XC z(PYX41wuIBT3Z_&YoWmpdwQcy{7pI@TI$^UGZ=q&I0`s?B2_zbww4hh*43>_zBw** z5i>2|#Vl=;_Ur5fTLaY4&sQDN7P;}3w9zeHr_LcJhu?L|wzy(M(NORVV^icgbsExN zYo?Rbk}h#bkJ3o(HcMvJP7)k`2Z;n>G#*9L7N;cYqmeVQa){& zA$&v1~*=n8|N9RI$))ZP98uf-OuN$YzgoHiAJ=nhzwl|xfUE%uSKi1 z5Fd&^TY`wvW@|&nR?%++Kz+z1hR;>HW7mI%kd7*k-92J}8{^etEi6~bQ5@B0b4Yk- z1?#3DSz!|`x^W9B1{I-7DV)V#&QXxJWh6GlA!P%gDQ=Zpr3b~A<@M6iCd^i^mopxs zX}?M;qyLn|Iw@HnYv=)U^IMiWo^ zdbv?TBWR%>PKVtq6B9U9;*+FQ8z+GNT&X3)VO_fl`5j58qC@Y6cO)!RM5j%$EwR)F zPbB~ap$+UHRKX5H6>O>2B49sLz~+CQDqxdT6>M~F8HEvIzkVq1*O@IsPe-GH-=$%} z=Wk~3MWOVyuAk+57axl^4%#{bO*+}E+&0v$-(J-1#iOnxgRNxM35k;U|F>fp7|2^O z*{bsHmf&dp_TUJn3-er5L_W&Q-y)*Sen9+m#Vb7Wbs|2|)m58C7M1b8`63|si_>b6MvuyoqPPsbY=Vmd)N z|5(-tGD@zg)=I3!rqN;xdass`U44)mEvHhIl*)-(J0$}?Vw87kdm@AbN;1<~q)`1^ z9soBmq{@92f^_1a6}1xC1 zxZ4eoZPGlW6aSzmy{Ov|IyK8=^9kR;fNi$T$LJW6H_ew@SqA~RTC zB1Hb-D1znKod! zs7;-z6sK232EY+UiqI1AWaX!6=zxUdmN0oantX(-{eFKi@gdNE}3vWjK;4JX_ zUcDRnj~{^pqIdY_wMSy9pqxnraTrc1-_Y?N}IX)G&+w^YKXthpnOjTpAx@rU_jMqS=Duw^Hie2~}r6Tpa!;1qB z?vg32$gh9v`A^mQ4Lu)UBhfJCnLB@gdSA5jApFdpeqg>~D23SF;&dpqWPk<%GUcbV z3s1@g(|%C$Qo@KbT>Wa?Z4W!Z#X3sce9m~&wJX&hMK~B;>4p>3CA4;>+5plgDZ|m& z*A!Mw)B=8(5?l*a8$j7=`Xxl=p8DhB?xe@=i$Q%Od#p0g+i@Dqnx|-M92kcPFErQ?;GbdD{uqcEWkvnW*hd z=56OpZRc#xc79Tu`DtEoKB(=W-}5wN^DI(Iu7C#0dcE3{jtNQpI z#EfaROM;=Nt7_I&jlhsfn~QZfY>tNQ~lr4WG=joso-+_=HgzY|l-hRF0Zg-uYH9pO{B93dUCP&^sXFD7W_+8d^OPm$ z)|OA<5w>0;L>-EF5U;wY{s3NEFoY&PM@->q6oo8X6EbOA9A{)1swGb8HW`0Pc!>}( z_n-JIhUf{O2M{+ztgRcOs))!=XH#_QX7NOouwW|&jQEOD3%ewdo+zG?{Dd#Nf`uly z)q~ypa*99!YX1_+l2$wNe2Rin*G-rhZEsT$(7;x<=DgO4Nj8~Rk*uuyTw9h1i3e;V zuh&sa`liuR1ve8zfuy27$M=7&-8Lz>tQ0=&)Yu`QJ2{6P=>$TtzPGKs_vqL`7q)&@fjZk@4orJ9w=JGybA7ze9Cj4?^p0WG$;3zG8ahpD9h~J}wO#=^E#0t-`(Hd_NzTPj{nq_wnn02t<4t~SR z#BqPA9a(84tvmK}Au83wUfRGE!HtGPEFwjVh{oV}M&2kErgeXcz{?pA?@g%dEs4tg z2oGZ~Tb^n;b+L1(uGvh?g|K!TZDY?T$#kcqadPRU`KGF|rkCWKVn5RCRW?DCvE6ev zFiq z!2<3>0`1S!PQkn!hi+R+3DEG1LKxpPIB?5!}(*3Cg4n$~c1P;{9;$W<&0K-a@ zFJ%b=$O^MFy!>7=N|Tl(kW|s!-dyCxY923pe+pt0%8Y+wv0OPd9;!hnRok(abr9?B zL4XIcHil!@dO1$BSYp9z&I8^(HL2;8RF@TBZ^c%fneI?G%%($hR77{F+nRig(>63# zjQgC*J0#CkJWpkvWmME{*Y;;9hZJckN$KvCF6r)2kyPo1KOrI^a7hdu!q70(&`38( zr$d*NbPmFU*YmFXeed;t*ymnruX7(Cf9qUl9kb!O>SyDG)Cn+t7S}wUPt*oc?~4$! z5i>1U3mIxSd~Eq|PUWzD@Yl%MxGIhdtbyr?7($Y~I-;@!s~uq;?dRNd+=aF!I{j>2 z0pr3)3)<^$*;5OH9y+B|Q&mW~_>+a0ykdV1*o*8Q}GZ8Muj1o@fWc<5vt;O&Fqo;|e&+pH( z*Km5Gc#d0N<9{Fub_R@e#xEZYH1y+&Bb)$g%rG5$+*o>q4s3h=wpDmb5617c`5{@pF=1dEiq~>=Q=ljpuqx0ytH^T~+>R+&D!G+vtI(ua3i=7Lk^No4)yi^>`t z)x_Y^xW(=ht^3xb+FZ9B>CIKjKAbOWBWWF9dnqJI3rYiT-LBq3*ocs9it z7dY?ROIOYJverXJM!w`r>ECoQZSXvzij*hJMrnBYh~5yYMrKr=G6g{9Plo9s-m z=aNeBA#Pmaj(oHgaSgqE*cL7iY9kOII?!46F2{BiiDqp|S>R!6yVst~=5VFi z)ybf~qhx&{5#8Q`auqy^FgvU>Z+{D|*k-D+=LG`kbj7!xPquI|ZrW zvhXC_=A3BS@1wh|h1}!Gafvo}zNd6cloQp@Mu+zhK6!?xPq{|!a+TU%i)*(XZfx) z#IYU~GnY2NGbCuB%gHjSBZ!AZH}TV~+SJ;3sgK`k*)e(8(2-1nK$(;bl}es{&qf;^ zX*DA}v*G<~My3KDJtVuID6vn_uG)S`++}_5D8A$6LOlG{yIeo&JT&8UGpk?=U(`;3 z>tLx3Gt8O&dk7zTxYsWlb&mNzqpP!J2t@<`ZY%x@*M0 zTR_ZrzcU|NaNevHo;~Y{jF=y65;too-m}P}+!Qpx8vbhLc%)Lt^P?@r>=j>)^mFOh z54@Qez)?K%cXfTuerpd|SC+s_6O_ajB}}XIYZ&)E{rm|;s@G@j!Mu(8C2yp`lsC8F z^yd`mb^CC->5#>H!99WtC8i|{EbTvR!E`)&`!u@lBknKJTVQAv-(^yXG-%K@@CuYv zF>`Es%oj0(ZG=BOh4{~2IhAU3IgNeKs^)#Z0-A zE2G^X6qVn&d-;*OKs|h86&;~=KA8<2V^mD^_yNYRa>bqFC}t|D9+iLOQYN&~gX_4z z2B0ToBDwXZ%2YKSmhRRxlUx>|-Oux=HV><6eyhT?vF4?TlV!oZK^I&gi=7UcE0R<(O_OGr%(IvE!1>Wj z5{7|UZJqt-u9&UrA$9kvnLqu9n#odS_)65pDBJm;)FX7v5Ia4e#*v7tJr#awiRfE4 z_vx*JBifp}$x0dukC9!GUUx@oo{!4}C;(55Yx+IMT7g5P0HckYpzSwhGz$+G`BNCxv(QaBwjSesKtvg4){ax_UwG(cdBv=3c4?hhW|~GqHsYj~v*1pVYG`)$aqbEu0b6XFzW?#sKlL{qrFRVB)1?D!fXt8XR~QJl z>Bm3N%K|3_(k0z9ZA&V1Y)@|Ju|O^Lx2urT58d~x^0)zD`V`@*qw@!IzBC0l9^7X2 zMJbp_Z@S_b2tQEag#H7Z6wq;9#9)O+)IZ z8rQ_XJ6z!0UncgCi8n*ds>0jJ$YDcC{@KNTWPH48L_gd5Yzt%^IDh?ccZUVw&DqJ$}o%Zf^Z!*j4yils>1jW#7C%a82Piaj~9ojV4CDAjV|;=+Xk? zlOwVheb+0lw#6pzBkk)&6{f->;y99+ne}L8#c!ot*G7dCJw!Jq;v)NkNHQXbo_pv2 zmL-Ux;2t-W`LZL!4|K1}SiJ~c3TJ+NA*9p3vt9*vvWLyF3)4!L-JJ}rF9RlKj?%{d zEf*+w94!xm_V(gR2Ue|X(wWs&z&Y4^^z!aCVX(mym5&z&$9!hn6fAzr7%aal=8w{2 zyp95@W1qo{!Ixjc+a+ePJr&QiI}WIUz*elUeQBJG1GWuEfLmNlhDTd>Y5CY0zuhBK zB?E^rE`rWR*KsQk&udI^;a9esPAiSh_mpd|^COob&p0v@ILgOK7h3t*<#_QHD>8Q= zdH&(ahLkzANmHFv3us*2X-ANG=K8UGu9Z$42!@U7xrjrct|<+A&%0gOu@f~$XNF-V zic2E=gNaYZ01b@3SS#|5v1;EEe%ydX_pqE*>nQ$6_eO4GDiFMiHT!V53XD z9Wl`hEPXF#7M-J&f+rBEy zB&9|9zb|&ci1#cP4|kH+Pzt14$~)66S6_ni z`o7BE10GNnli#@cNT1n7lI1y)LUIsM#W?=~%J&`8p>B(W+;<{#SY%G|@M1u}Te45n ze!8`&en99jRgf9~lj7#N5LvLApH+oFrRy=}va_I((L5H6+H=eeott9d5F#|BXx?(x z4w%|zy3O{pC;hH2cJ7CjWF$_0V3n z{JJXK(FxLpYNoNXm(bQWWD;d00*~`1K~xu>K)U-W=i({bYcFN;WMC&)uW`$63R0^3 zihi#T67|NzcAu{^#ipX7A{2iV<_vT11A)xJb;aUg=g5L4>>29o)*%*=+W7*xQ=PD~5VrJLea3R3p24cKu`z6`o$6e#dF^KBaqh;{Zwrk@xo$!*O1Mq2L8Be+ zi0`*qqQl+6C1ukMjnh93_s|pIIp!`f0~w=i7ox_5a?9iQHX#QhmG7Fr%N?T^btT_IzNc=n;iwFp_kVV({X#50^RMkM3Pl{4s4! zQ5eS9urSE6GW6)>UhiHg$#0{E9~Fd*-aS7*&zQ_<@ZsW)Z9A@}9lfLyIUeggNO*Yq zi1wH&BY_1T87L`LoZNG%Wp+$~B%(kLe(K;twh(`z5tA!DTBXFu)%ubTZJniWX6@DV zuZgb(=Wa?I5n^{2y*}^+MhjFVLv|JQ%N4SQnborwlw>oWim^>h{D{$Y?hEbZ_Fr7W ztU+##GOR0%Y_nD5-(*y^Sl0Eg=Ozzx^^Tbiz?G&Wn+eGoO<)?UN;&vqC zGI7~j+4P(Cmb2Pk*O`GTZMSgi%uRwT( zUdu#Sp8G8>KmA5kWS_C0-N^1NoBEyN0H^AuyJQ~P)1?T5nVT9rb(1muL8&*J>_%+{ zbFK}xm@>Q3O^Y_j)hgCECRcm+rRw)3(pk6XKXtF+@MnHFfa~$F@@#^Mg;^*BJ*v?n zof?PkWM7lq+(ABto7YM)8fT>FE`yntf+zBOqI#dA;j=(Du_6Hs4nYM&?WcCRcVSB; z&EagLQ?eynP=64ZLU7r<*7Bz4&2iFwIO1cpLjcIu|5?_H%Q8w~iX0DqITZ?T?l9T5 z+03)@xO4|*fIa-ta3DSkTe`9Z3NtFH5{R8iKET##CG?j+b7mE5Ak(-vA=5hezL=6c z@rzR~V>DY`$(|kO@q>r!-OZViF`ZV7T5oljNq2@TjD67NJGo}GoxC%x+jH4ZHzD)u z8c*cA(?*!cv0TNl3%+9~-Ng+02&QT_S&5%b`!oh<5OCnQ;Ez&MLT1~?Snq&@jv0P* zZE1&uiqm3QxVjjZN2Nwj!_=OGv{X6jSar1Et;Ap=@#~=Zrfgqs2S|_K4$kR3u z$hiUSKU%tq>WZ>@ivQ8-{=ZrYnj3+Ff+_?z4#3>dP3zqXuZf7QXTq6ZPhk%yPicNx zn!!I>2{)8LV-r{ML@mfM_3?55w-PL6vpW7zrpW`S=!ViyjcKrA_SguR#^Cty8 z(lS>I7fFXmr5j5UHqV+&c;Kh1<4l_Yd>mVfh(ROUFM3HNj}_gZuqmyQLRJaiDwv?5Rq~g8Xwr0vv2eKH5X&=IB<YWXgTcjHys zhQ^6sJm;*y73#ndVb2{K_rY3w?|3{v>sePlr%m3JL6xMT#kqBs;mEO%VO-pHrF^X2 zrt$rsBFc7`i9B#XXECL=SBg0_8;Kzy$ZI>|nHpyo4%{$FW@e!Z(@B4Sihe7#m3_O; zh-yf)m~PB6crUykfXk(3q4Boze($JKoO-8Ng1R9=Zi^XUlysjf>bB8veX^=?g*(^E zvv^3b%NJv7GMYese+pQ=8nPR5Y!W~FpgL`)Ibt28)3#mr^R3|$vJ=}1PUa*!6^(X5 zzK^gCRBj$Yi0hSi4o~6EX$M{o7YDv|OE(hXOvq`zNn_UQQ6?bBSAlJ`t8!9vd@v^w zs+c97b`rJJvp4z zTLinaEL?03rpgOW)isjfL5}cSA#Vt#!~k_v1^SXpeoV#~=#2__h6%zE(?42o-V9uN5xaibp_hZ7z z^edjJJcVutt9Mtf_^5BzA+$hm`^D-9t^FNPbB~)E7;Sv?deke_Rq8xN+lsY94y%T@2}9}%@aC>)C}^7Uj#N7Sn3e#j;xs^ zUQ6JkV$4tiQOk7|gA$j>)IiO}t}A^}M$y@7NYGfzQbnQO^kn5CF?IFZR^uF{ZE+W_ zX)k$ZL(5a25NH#Dawg3Z35R4e{ebm?i`T+)}t541ctAg?W(&S?ISaf3SflAPQ7?|lVi2j`c6(|5x zg4>~*1z>Hk3^e<1qJ|z7fVIGJP?}<7JU9LIWMcWwCQX0t1;v zWs|o8b^{&5Ws@)i{R5aqWwS5@gaHk}w3JyfZ#%=&&;S4dlfeZRf4AdhXSd^JXLWcB z009K(0{{R7=mP)%#610T8#k`M>#yK7)6qIlviyAMI z`u>6qyru1NpvL~;e+zcO*~s?+d^hTVFy@@Cq9_n2z24G}R`G1#^4%VP`tF%2_|Gru`{!oVfDLML{N?lyJF*+5zcL%>f7^=&Ozy7vtQW;$SS69|!FI@NoZd z|A-k!2S+cuhezF`gS|F_I<^Jo!4>G$aKbKSORLrQgU8Tbt|Dewd+g}o;Ag-(I?fw= z>lSRo7C0EQe+7f3!Do+b8Jb?i=N+~P!LnhYpcO1R@aMw{dSn5x2MGQwGHuWHmds=p zjMW0jXa!`1zlhdm$N_lHOd)*B1~t#w+_z$vdyyI8cnjO%f*G(L*$-od@xvYsGUuk# zvOR`gvpvg+=g33S?bxoZe?~xb5`bs{QBXpM`0Oyyg}uOc zPSXnF87#q7hs|vyJ&Pk~6xc|T?BG0le#iuOoEA{9fp3~?#vQ>R>j4ThQX&%AvR?Ua zaVEBCE#lCFAvxj9eGnOq_y@NlY(ema?>PP%r)K%y+{PJ+lU8d2UFOWc=QJ0oU+`+c zs$>Bbe-LC^Rb8-19EZ)g5*UmN;x%*A32}H4f#Pk`VSyjgc;#t=!A;%{*!br4kiU7K#%vZioorT@NG`6g4Yo1VHfnyYV0;$Swxwmq2Tb$T-CWc%MAT ziaUXFAMb>@ z0ztMC6xX!6pZOy@g+FIyl($#seTKc@*U6jl6G8w_$7ZqZL|xlcgzTl~haA2yV1M&0 z-dzArN(j6!I7tQ$GD0#IL@em`e^O|M&~90e5lxI@8J*J*`|basz~~Bwg_9 z8D>HdEzIR}+#uPhcN`SxRtX}F6iU%h+fLLOzl&QZ>@6sDWI6xxe3tY=gaa-EhErxkz#1ZI;x$A}e^0D&T`D3H zIHLlL^3ZgIMi@XP?XAK7;+ZZNT2TVF>aD}QhiIAA;!rnYa#68@#W6xgL zpoN7`|6os^vk>CSOcMdGUuHl_WzM+h(H^^ zHoNHrNb9J-#2A1qV95s|e_z-SMNZP*ID{Yv1HKGSC)O{q&7)dj$X*Bqlf?~D@7#A` zrvf=wUyuag8kIndfKUniM75NBPB>q5F|X5@awZE({BXA$UA&fGa@ep`mW|j7ZxY&X z7n6gb(4zA^6`Kn*@E#fq&OUC+lD$4@nB;7XlI&&`7~H1?B|c zKP=H;n>ir;d_Z*GQZySlZhi9On7|=V!mvKsto_tHBNNnM$%KW^yV9$rj(BO`9Cy1-F z>+y9RL0Y}oe-A4ONX%3HCz~D^0S1ZklRiX+r32OsxU`ANZ*sPj5}tI~{1GA@+cKo1 z=^gLwm$>;+`5@yK=-8HtHIuQdV073Gz3&wW1&fE?k*tcPZQ;`H9hTa}XIkTBSga&Y zVI7p=XO=gwz%Km=SuV7N=4akJC^zy&1sTG$@*tK~e`$fhV_t4VB~LM3D38ODW{DyG z;1i9CXn$m?Yg^GS!2Oq5SvclW+g6(GLN^Z(-_#Pi*7=w6)Ub60Td}U)F=yPtsJA?K z?DUp8l)%=t${0&WMQ9ml+r6JOwk*4hF-06527-5Ok$srj5Pd&%Sl`F; znV{0+e+ZUKK@H^hDq~`!U6Jt06szgI=~S6islCoDRF{!*muE+^USNo_t0@LGoWi0q z6SSpy<<`%f2dErfvkd6UU9`dVey)fWSf(zckCl{!#hi5W{Hw-p)|LppB4{_V-HP12 zV^L|c9LJ8z_Thm8t+Z8e1F%{?pPFLo9asB=f0&{ho`M@L3q#}PbW1D<7b4<8@9$ML zt1cra3F+duw@YYQ$=bZuFaikYW@V1P=$sU!Tovz1`%1M@gB@}!rns>@R>(1poy%$U zUX(kdHALYRVlc01tZ~l5f}~f|2sT$~Rz=-n1)-*P--*nbQ)VS{0}MXP)T0<@ ze{-a3Jk~Y7&^7*~Yy4T)_;+37FU3Zz7gTf=$96@j_kOi)trf@`Exa`Ib)*GtpW+GE zNw3H81XirfFxZz#9i+}nzVGpO{$>cs8@sLl4tAYkxn&SZ4XI z^!^$)7d8;I|HHp0&5+Z6{5?s^#PhpSe}t`Gm~^_=Kz6-e@2`*dfmZME*I$3_9US$J zj;LxP9wFg)=z1u^P()JJ+iFnp` zVBfo0>_Fo1phxPZAm~{dh&+J;7zi!h50J0)9d3GY@Kh?kgXNHO#~FH0CgBFYfA{o> zs5tJa*kVZd^H+~gq~Lqkd}(6-IgUd}9{5w~dxBq7g;o`@_H+}&|y9s8MdND7}W z@?7C@*3vf}ysLwUn#Os!yx(IdU3uQgAwQ8?NJ67}LG9rwjQx)=tuff8Vh3wF>>U0SFnK{DgecS*v1b%kc*N;((RLje}zO zLyhUprXUA!CdR_;umd&otkqp)tq}c%uuKXQf`BOaQ6mrs(dSYGzEk!#c42+&L45Y1KNi~@P zW-2fv-&Nq}@G&7>1hB0so}vJp2fCoe3l!T7W`sz41%U`9kRUG+lz4&%Z*ejL#A9>V zez42_qqxwph$Y*#jAM^e7((ig+G!A5brf!Wy_a8digGy?|BZH9f3I&REHZ=nFZ@T$tPc!1akf4*B&EWN+-)Al23NDR!4z*3 zi8lM*?OfKC`3Ev}WqbH`i|f9_Zse_(y&Pvn@mZ_SkWMa*iMia%zze|0lg5%isR7&j z?Q~T7tcHeV*H# zdPyM-CHR9Kkx-tD9pq+)khL}HTZ*Z0EvuaoaTiH})<{E^t;vDKKB`>GlI7{#gr``>lg`#;IEWsoAC zO>vJxkJn+ZI_waJhl#yxD;A0X2LuC4@SW<;HraPFe>N`MJ8k1GncgXs-{?A@{8+pW zC)>#1(|aI4(0RW6nA}B5zCk7mAMtZ)yY1oy7}+8#X6kcjFV!bH$!{kb`!%EN0OnP^&oqsph%z1Le#!8?H`WYzP@^oV)DmcgXO%zD zp%fU^=~=r1Gxx2j7wWLrS~UhCImQI}BU4 z*z8N*>kYowtS3BDGI9Wki_)YV?c`Cp-1Bk!>ajW7@9nQ)d+&bs{I%Dkk$cI|AkAmU zfBV=I6%pN=;nWlPKBE{9(#5@ExIjI$1*G!G0*A^B8?y6))X4j62*;K8X+LAP^0_fS zXR}9ENpZDlmcA0vRE;Q6C{`uPb(Xs7#5YVbP5rk@{>xspKGe@FHMx7;)@Zn0y6)B1 zsXCX+1&arx4a82`xq@UqjmraUtThANf3vgpHc3MMf*}RImAcLimekrx0W$pPu;1HX z*T1*-_N8pW{_pC?0^=Z`k*pErSf+FV*oO6!x!Ekq!Mg=0iJ}?6yy${LQQ+9Zet(%< z4NFp_qH+@;qYSmhD#W3G|DWQ@EmBv#GR^{V6)wfLi#A(G%LBz23!_Pa$Pe=K& zcTZHRoA4OR(mv;-?qFy{h2 zJb{o8jn~yk)wM$T^!5q;#fm51f8_5S7S~9j)5xTl*g`}1(@M>ooFSbJ_1Vkclk7O@ zpodhXla#lAN`grrWN|#@O847Mi#x+CV!{46^%qo0+;7*JF0!0;;Wb}gYTH31wBx7^ zNxvcsd((D1lR5=WH>dJ==@z)fh)>!L%LB@AvuVt1;aB6m+Hmt!E;-=te+;9?S9Lpj zHvFp^2EF601tLLf|C86>HF>?!meLeLlap}$86I`o1Hl%{rsT2*k!4s^MJF~+~Db>Kz#6xF0Jzm6jw z(D&O0QTKy5R~OAG3B)rQspePsC=8JrWdhHU%j)1bnMI8Ppa(C6w5z9<;{czI1^Se4 z8vxh?zMdaKBp|Q7e@FmC-mO?uDmye=M*A7+-1c66o#SIq_y&TfwtysA{xkyfW+Sj^HoB{B=2&Ppe+Jl#jM9T3+5=-{2Q6jZze)cT5o}f3V#y%^Lseu#bB+K@>#&e@s;k6W{`RkOoUj|E@zIk7YR~23j8p4m}hF zq*~+932xFyDNSziFa9V%dO99=v;AF2O?aU0%od)&S3mrN z*JtICL**abFsYNV)=$I6wPBALW2e~Pu2+M)L9&QfxG(v64qPD~Ms zmX$)!#!>MXi*_5io#E+4QSIN%g}m+Y6h72Fkp@nR5Sw{PZsa_LoAfqM13zV$%^cyS zo~Lj_mw_5M$@e#LLBG+o8wdC!G1{T?9c3gMM~hYHX=0TQAOD=v@ngcGzL>9C^P(u+ zjL3eof9x%MN(%4|w?+}{PIHr`nwA&Ka(V8vt0Vv9kGrWnhdb3Py-0ldl~ zHp&U(C;3}2z^j`@)t7kR142@GFV)QG`h14cf03Z&Tcv66zM%$I`t7jqdHb_^%`E@Y zJczNO8dWj*im+=Iq)sVzw2h^Ces|{ibKX@CTtYJ2yeu~mEB>_Fjw`&1ub*x`+_v1Q zI@Z(KQv^2iR|4F?VDf`+yK|Oe*0NNA*uabY`MBLVQFyg{l=?SuL02VqXF}evsO6#1 zf4zYP`nkK^S&(S8EEKz&SqS)F5HvLnnbvuC-UhQ0@iZHVd+NCdLrunx1l2u9MZVZaPna@L#A{&w|!&H*D!e|F^E z24O{deq$8X`XAxv_3v%zC##{+>c;IcwM zZtd*dD|vB!3;!53F6wu1D%JwIe|}e|VguO@y0%S9x>K<{v9f(_CL(j%=vrV+D4Pn_ zJ^aP4G9p+9ADL)2h6gkJeuq>nl4^>M2Lj<{8!ObX4ouF78wCm9MIE8Q=pcn)*FB9! zgV_{E+ANBC=$lD7q3C&0T>24iO+f1OG9ONU-iGvj8`jN4{Q!W0CpxE60b2QtSJ!?B~((5yTh z+Z8KPdJ*7Q1};toY`?0Eb$k@60u1~+87f?BacNRk=}|Hf6R)#p+@Rr{ORM8 zLNYRjl0te;xgf^U?S&N3`<3( zaJMDMQxUldRgSYUa>RIIKyQU8Lqv8mI>|uCiK6M)?@rnGE|RGbZ^YB~ZYoVJ!21rQ zddVAuFLxRjO{v`>f0cREE#Xw~a2$k1XdH@>F-S}kuZyl4!bv)CXgD)$`H1JoR_Kgj zLu1JjIuIPIkEB(^??jf9*>k@$u%%L#C+mWH!-P}2X)@$Qa+}d?h>Ob(Rk0?oOpCJ> zVjI=n#?scd>8$Rylucz9>Gb@uh8}A0P#C+7b}5lFGFvFCf9+HXqets@h{aBaV8Oh( zsHY{5`HoPIgn-gAkFU=YvPM;f-d_|J6*s;CfGHeSHKcL{dop4zfPYv@Wpe0$nsoZPHrTKX-MAJk z6`qs}#fFgLe|0#YKqNJie;vJN2y03wXl`uMW^%;kq8#K$U5VIbEpFW3cxB$QC76sJ zu_kjLbiV63X(-?8`p&okQ>EG8LTLgWl80&H-F{;idqQ0I;_KF%H?{OW+gr>o?M1rk(s!GM9bLC^My4Q z=eL}$))hX7;U^95=4-zBB1SDC!k$koDsL>HfoRH0g>@BxBc0AH?3gzP*(F0564`Ls z=>RE=e~S8>4<7)OGGi&Q!=PW}9cy^p@9YYqeUC!IFN%a~uvN&_ z$=o+Z@xZ0tx2TQsHtLeJB~C6gw1=`d72A=5e=3$o@D$rR8f_76^E+gxr{mMO*>pO< z+w3lXxl&srtiTR7dL-ef97W#pM=#ZU(zEw`WyL#jzm%zYmG{5Ei)cks*RpPz=b6PH z!jyZ!+?+L)jyYq0#}1=0TU858aofB_4Njs|{q>241SFlbO=e~Q=;|6#G#ER5@HZ zQH!NG?TmT2p#@npW>uH93_2^>?oZ#0fBHVJ%dcv&p6}hc>+5M6nInDUi|7zlj=bh(3o-w9L@pn4-f)eY>XSca*> z=HX>2ck4bx2~MozBe2O>qwyDP#nA~Ns8hC^lpTbq21J^E7dT=9IRqRw-kl4Cw4J~@ zWT?IaNWHv(6Eo_n9=Id*$&qR5f2eGL<)dAgNem=`(W_rL0@c7j42|gR!X4*N?rq22 z+s;Mm(0?)Lvxj-IQJFM=k7xiNQ=;o5i{wL4^q)8s{YUBHKPgdkq4coxpR{Os%DUXS zNQ1Jo84~T#p$;aX0W;Bw!)t=bFC+HDQV(lj8#^&1Xj2D@YHmzf7rkSIf36!c!MAKZ zIeT%SCw929SQ$6GES<9U#4!HjJhVI&{QARlPk%1TY@3v$Mq2Iy^E`fBjO}ucM~qz! zWVf{ z*$MkGAbPQa(xjJARoBD7nSpmpOlf5e3^eE--#lcLf!oF(>+#D}+Yi0z2>so`q4m(Y zVFKq)c9BP~*OWtN;uRb^sE}jG-f(<(@pX6cb$9V~cky+1@#Vbuf0DreG=s-~v=`gu zd_O+lmMy>C`Y5}Q`bdgKHZ2MO>;hnkT>`mN~G`+cEcVY1j z$`#p_Cpk`UVkTK1^}oc+rh5~p@gbA$46ThKw7l#=FQr(~e-^h-K+7mYI)*DDWG&6< z+{y^#MoQLGC8ZqVE*uMqxdIq&$)iK~fJo(fn>8}~#~u<=ULH~#IqR3byma zd~RL!)=Xh5alxoBRha5N=Zh6eBes_-=25*6HUUGK?+V)?(I@$j$&o!Ip?zvSf7`RPlv2J{OIaU!sXAh@e^>&8XZ+ZVoo)%qJXhTAt&^Iv9nwSsNoQML z&ZU)xPS{q>!H;>{#=3l*`^@V=*;dJTczzMDZ(PRm+!!B<%}P@&(u9R+U5qZf&)nQu z;Z$w+W`&$ZU&Az>9l)oj&;I1JxC4KaO=@J7*^@H6e@`uv*ECnx*n66|wRXDj`gWk; zJ`u@yJ2R`+^pfN!!fR8hOHIdUtXU87=O)`+$Ra8^kG*qCsIe23xI?$P zbUT$33CdS-HOtoxePTLc`c&RIi!molrXppRVT`woU{`gs>XA9nLmm-x;9K& zY#O-te+zlW$Ew?=7YQJZcC7Xe#f&x#$rsI-1HFr46x9}9)ESrDYF>>yb;kMW&C^;d zB;0qUy-K>C+oEf^G0J>v%J@%08CZ_hnm{gyaQBe`9Iq%h^thq-fQGu<&xF|u*NS^R~Xj6k>`KT9a<$(QbD zrP#76W=Vzk8nIZ6*C3>-9y2(X)s$@?vs+L(FAY<2iX@JK$;4@&kqw2(1d+lHEYsCz zf1-U@`YBH1G-ov-`$pzu8BEL4nwiaSa&{f&XW32BayCm#M=O~qJ<)V+elxbbOxm)W zx8-2!mLAn{CU6<1Bv$&$WIwlv*p}I@E)N^K%zQirI_I;)yN(?tH44+(?d1(*vTa{F zW0;i3j8w!v58Y-xa-3vaeA4MX=CmIFb~Pwmeq>jm`z!bE(Yqsf zbF-twt6pJQhd74@_0@wIz#ajz6}*CaNSl?_??Q zQ`06gs9tN1RP?fY-LAHx_uKo*Q0Q03gHgU%$ zZatewU=`QA+;yu2>75sQ3|&PV^1X5gL<&V5M_T3)iskwJx%s#YF^6*@f9CMo5QB%C zrzoc2FFlKmeda|&rZnzFmH|4Ngb|J9#s?CMN7n>g0~ANe6Z+If2uFDlf@S-(Ee%wD zI)Q@w5;GH1E^MyZ)N6B@mf)f-JjQu1V z;K;Ns%to>I2vR}+qCU?=(`#Srkk$CwY}+}a6cCss)WLOw)knE?f8pMSU3ttc5x;0h zFUJZU9{N~8I~SlE*ae7KlN3(Fj&?$Hl{-&Y(C-v%N5VK4lmxepT`1iUo*Q*Bk9BZP zVh)2GUp0;|`p92RsLM#9i65My9fC$Y0uyfQz6^^mm%Udhn|meJ+NNo7WUH~k0N8Q^uw}GnJutpj?g>V4_=HXDjnE84qsg@R zMi^}lyC1P{f7v@63XYYk^V!};>1{$75t4zXlvP{UHO(d*y8*WOGSgp`g*CP2nN{OBa(siqh5FH)AWXj@F|sUsj2Zn`q$lqA9TZW z8>A#XXGksm*DMHfNXznM5Y-jL9=8El%K^X;u4DV1z}PuAhayvQ6->Zm&0*fa?MTlSnu}fi=*uJ6R1MmIHr!wlck%q85TM8V3`<@11^O z4ZxJIoR3E51AnDA8m^94KMn!j)yv>xu)67of0Hk$^LyPe9Kj>pqfnDMdFaw@DRik< zF2A5|(^6SHJhs`L3{E@aVC=UQKFtj5v0#k_|D(f&v34e>bhydr?1)jWNuyLfd#j?1KtAbqW!@<}Dg0HS ze^B~YQc=wbz)4}b(6;uegOmyu+M59o*@>}-p^mizBo<0- z&d*t4^02U88mHQd*U6`-z&9+!D(OD8e^-(ybuZ3o+agC`mS{PYfE0B?dq=Dh^#;P) z3DKdT4&V!s@lS+@rTB$PRB1LI8&1LB)KvVTma0IBc8aK^2}Z})5N&|stfNjseCPq4 zF(Ja~`@KPTg4d)VgzglR0)zr7skDpu!64`bQwR{UFHJR%8X_OI5$6~UK9lr)e|!|) zf48ON$HX|1?b>)Q)aS5UK_@#5<`DwA{^$~I;HV9JEQMT919gGSWe$Do#z>W~!SrG@ zoAyW3mDuSb0r*S$b_$8b9g=sw0}LbDj}#U~9-@?w2Wg4xFJ)7JM1Su{G3nx- z5f_EyN*MWdMq|KYcTf~t^1c2Pf1hjcpV#OQNQ0%4L0men;Wt*~2a&|HdFn+sDp;15 zYnHZ?)u#ol{U{KY%>m^^LPml2pk^117=4jP(L-A(Y7YLY>jP$xS5Vv8lN!jhozasR z0#%X!+W5F&O2b*?u9f%}{ws7;h0_q9o$8igWn$MMHjbSk4z57t0jt+9e=UC2_s7!< zh+kwzil93nd6KV8TyA4SmL=)Y)9BLcLch1Is`QO}gt}5h?126i_;7^NpgS<=6@ zD^UQD`Cf~D2Tmh!0Z~V%e*xuoa*;Nv&IuJ0(VnOYf!&aFf)+WPQrJliQn3&Vsff7u zj8QVQCUXUP>VcNlxGfnB04$MbgD#qCn8o5c`Dx*Q#I8$3v-q!~!>9FVEDPSc zDqc0Gz7~WPv9aaU;@4A}lH1L$Tbx}3@&rnekn2x^9>eT5mU-o42+4;dBFd}F zyAIAGb?P`*#sv|c=?J!|B#q1Pu1EOs4@Rl_PHEDz*d|F$Ot<`1kpq8nYCS&l6CdsG zEv?|tSwK4oy+JfOe=8oyp+89ItMLFkZQ_G9Yv}-bX0N~~6Q!2dV127qP^BWaT=5Gg z=4n3>1rJRv#feZ;oZy#P06g~gN?X)yo5~A!ceK&3v_|YJ5qbRtciW`bQuuj z3OLB5x(QBUf1`wk|1&+9Fey~%^K=;wKTd~gJSiA)W)cH{@Mr{58>yhuxTr|~;y0KJ12T18kDW|wF(hp;eK)l38z(E^=2bqg_r&(^lUW z_Lx}hP6AZcw*_n>!1G?*ynzX8lR8P-Fa3+K3jd+aBGl)KGyVAYUuMEcGI{eV9AK_n ze<&%ysEsKwWa$1xYgIKq(AMF}VA_HIk2PH`Sr<@=>pMskRw;og5u~J($+&YqMgNxp zh%>U#A#sAS7inPZjSVpNM*L9%mvzm5)gVFrGyGVp=}C=6UwZaG$!NwzdMDl)+smGY zf2`kuFy>Ck&s&pf86s9 zrM?(VQn--9{6>Tp_Q*Dv~stsJuGlJ)eC!idu~MyN5h9DIkbbV zZ%Xe#(jD?f`!aR|NO%h*JuC`5e?e5NGq#cN7>J5NGJkY3+d0RXN~3DdsBU(voMXok zqjHw&l`_75_do5@x32I{2a6UL4^B>ju-!Eyx2+0E?(>;;<#E}=f#;> zas4*&;(A7AJSQ)9?!n&~FOD5Y3@>(y6t{vGTMlJddR7cBMIK3bQXr=Qf4ja)KLtoE z*>aoj;M?-}?Irl*O6yx_(wjC`uZ|PSFL6{oaQq_8=pFN`%y0wY&+2GrWv%Re+NJMIlpL z_`a`FUBwMi)79B&V}OK_f465^TiTdDELqzI}lEHKG+P$CK68`S2dLEW; zYQ-}E5|;Vj!XzlAXh>SkBph0ymb>O{rWX)do3}(nOa@0668Q?xDkjESSAA!qV&Yil zwH8YuGHScF)qE_8&&Vh7rvmzzn9X?n@y${J@dA8)@2j+p!%=5i22TEL4pP&w>j$&A>HNCw#$8Dqv%ls)dL( zt8rY67GHD3V3As0<3+9JL2HOyF#xeITe@`_vS!m&^6eYSp0PUVZ98ttG2Tp0lz`qmF?0WiK#=JR$gY`Z zc6<0D9W%{G%d^<5K5a_N_kTQ;)qfS+gA-b?t(AP5#K>hXf08AMy)L5UX6XcmK2G0Y+~pJ)#s{V$iJNgqa+HN=A*o2NLK)9cfLEQ(0d z8_Gd|oesX8Nj2*Xe{-8uzwVy;16vuGMQkxcOYAE5e{I&t9r8sNt%dKq-e~hd@A}@T z_k6M!ztOSts_gqRdMu`F*>!r6FC7_%Wyc5Sp_<=6;%Ke-EVJwO+emrWncba(ha&Uo zJ!pJWaoQvGR+Y7;ufw47Gkbh_@m@-P*>sz$!!|!U#r49jrFdy!C-W* z^z4XVf5hc4n+twzFt|k?__IV0{8=^+e7*t7d#DkMIiWXNO3kG zLgOq%Z6gug?{}c2RbWI5D4`RpCAIy?A!1cdM<4w#_!Eb#yoY~8#jTJA)nML9=Mahq zf5cD7X;dWL1FlhQRNy&6lm(~%(Z{Oe3Bokebnl`|TzQI(3vd$Ty-6bWVBnv3(Z+=P zwpH*n+(`ffc;55p9y$khMrZg*M-D8ESv)NO5VI7h^>q(pN4g84=z>wh=t+J_1Ounp z6gdh;?YP^##faO?jwhltPwN5++}d)0O+6Gf{ilQQm`olOK76|F3#Z)M5d%1=B?)o&kW$SeY{W%x`(T+rcvCMcgeo~po8qJlDOLPJ4koNU}pyx%>8@fF)y2WTI) z8$c&&pJhg^s}ujzoG5q>kK9P}CGUSNv5>~_gvgB8(6zXwU2fpR$8UXe+5C1#|xZz___!lzVdG9qXEut{3n3nn(G@;{Yx29MYGAc0v>>8&nQx#BLc}YQ)&CE#Vv+O< z6#_a|UnFT>wlk?-winjD+>`HMC3qx4*{h_5hm2I~nF3j{!b35t!2?vO;aY;{q=AT_ zg2RSnQdl^|CC8k?xS@*`9g=OVV#EbV{yl*<6G{$ZTBQv$e;evV!MUWofeFC?Ip9_% ztSY&TVTE;7eeE{=@r{|H@F8kvH^s9DhfG$%*Ab%38Z8osm2K3f)}#ghi17j^gU=Q= zIf8;9p0BX4OZe3TeyXQ>;*R*X7T| zSc+uMa-cL9T;=I`u&^cviLFo(9f`4+5S|8JgU{xUU?% zh)sZ`-WCr6OYp8a;FY94!WZ%f*NL@z(KqG;ku*((e>8j`O3Mcd^YMYm!3QD-ABf`k zKp`t1h*I-`!h(DtLO5T54@6Er;FwYLBLyFbOo}d~qUgv)(a}77U~Vu{^MT042ckLn zK>k>}C$2QU5g*|Fp=k>9?-BRq>d-2HxX#lGq=KND4joK2D`mjs3g39_VTuh-FN3f@ zx{PShe>$^hLr!O{JJ0bTWj^I%$RR!i1dSTifF ziArnsN)OFS4@ISi_DYY;N{>XPM_oQu7f!z1I!T zXWesOKN-;56NVb87gTOAy5tW@*pW84oOG}+oxDA>%L)+#4ZI})f=Joxa11mgMgVxc z9qr(v>Z9G@-OmQ4&_atmqW=`?PXV-SM0bLJG^!MHGIY+)(PS0ljSSY5!V;Puew1o~!O6n_ZORWgN9MOPV<|CE=^Kgnf$W6h$+$-s^~b8zEMJTsQY^3X9BamwoG zu%DqtCl|F!>>3Fu#vebRByTm8f8s0jPM)*!pIao%$qem!B{|WPTZ~hej<}h=B1F)j zqa*~dR^gkMQV$F-jieW5(obg6f6b)-nMq&Gq<@=9|DTzJ$Pxyr8Gqq7er1y;B=mMC zQ;mPvmme-}S%2pAkaxX^dH_Q}yuX+Nq4XonhCy1e=L>AVuZAD&pFuv$YPhUCeRIVD9 zWzu|{qGIzmv*LQ1itCn&YwPPNYCinc0_?+Io2jayQf*Z1!9dv{Vu}q zMPG&{-KSwzyewF-NUn<_{i^<}HAC5U9@?O39q^&}9JI{up0R7K7U{+7_@#6X-#{zShYbl0F4u35beAd^; z>)NWNp3-mFi_OA4qq=%mt!`i6nub8EW8xWev0g#{i(-qnq0yUhZ@NzDEY)pZlmP3nY@gWm(AoSDEWz* z{1hcWHIx5~lK*Qa{|_bq&rJS5l>C2Y@_m$i-%S2D4h3W+KS#;W&41))nn#q5mN{bNnut?ZpBDbRe4#rA^mUOyGo;ElY9hydov zMbvgWtQ@q%)szrU8G_h(KmB$26GVclNufA+=3kd`R*4UxjuBtghhP1U2UVqmx{!hY z==!shsBP~det6v5z$9ye0EhVkg6mAq1#SX1ZWILWq%w1Eh@Of{?Nd&m#70X z+@vis9yY~A&}dKB3&dXH+)`Yy>Y{|ee~}352#@IhD}RL;o2c!!GoId`McRcuFs3ph z^?h3{-k$1K_F>5@N`Wm$;owU-^ef8oA zP`NS%09yxO>wh5FipQZgh#>6y;Zy|@JjhS|0V=%g9Z$3oTuzH-T4YI^AWl{+tmv+u z3{E|u>G34)i6L90y#jvNI4OdrhEpqEEffdLny}iAh{9a5&BP-%6KJ|a#M=khR>SWO zi|^T@ocd@+_%DeD5Q5*c8M%CDpFn1|jF~}rUfkX&X@7Glo5LFgY&b`AxV>SN(FZp# zI5^ZL2gR5S1M^QU5W1k$AhpHAv|HaJVEDmT$^yQCsmRR2JcDOQd_tZyk!%nPgxJ*! zA#ObEc6zf(G@6Kf9mQSfc?a0T{v@!tJt*1Apr@ljUuWv{x%Or6E&d{LcA!c*(Y86< zQDsh434g5Op~19`XV^`e89Q@&T8`Lt3||-=MYQ;bxKw5te~@>Z-l?0=hoxS3+Pf(B z0Lkx4SlWS0f7KaUD)Wb}Ovx7F2QMEf2X8f>L7#v&@%PK#_Ocg^6hD7;>1`_kYsp5X zi5B{vhNeu;M!S{r)3Q;?6JI1Z?H=J1+AhH#_J63sgB%JD2Yz@yy(qp$XN5F-3lvka zo3H~(QWwH{taR56qf38MtRsQ7zJ~sLC{?aky$>lj-tlDg8TMUs0!~EJ5Tl(Ky@0ui zER^;C6HJ2+g@t}J5Z$n^yizG(3@WPi16uo++J3XE;k>n zyZ9L(1%HD4GqqJDP1zTWZJun$0z{K@bbo46aSn~7JX_eQO)bOeEat>z#3c|rIeFFa zESmab#?zSX5Vs-{=0w(rp<;g{;qA_Y&tUngpRM&NNzwvXUYLBrLfh*rXew zsmZWWZNqrw7liK10Ly4>kjoeh$2%zQ@;VntKexTnkVG6YURJh|A$iS>LSP5hMigoJ zsKIfxqbllJ!gF~jKb)V$F5B!B4z8F>OtjTA!>wiZxZENOIxD3~gUwg5=bn3_F0o zt75&3gW&aLYZ)>HfB;^73-(3tM+TH~9wFMbw8uA6D?~Kjylf9da1FR%RDY(*E(^)zDI2rN z7p*Hy;*^VY?}(eO+dGS`eo=tGr@L?WWvfljfmU%tv+(&~Cr% zwaAAcEDp^lRs?owU6lM(q!l&2C*5|{=AJ4_0J!*Uv}4ZoF_H+`>+O9u>>{VS*(WJZ zoqMIROVB-+O;ky}(SMwiN>2S=cNUohesbgMWe3ej5T5HzJ)Nhm2(vgRR0^4r?e5(` znu>P=*I_U#0L6(PoCSVgeZ`ubZg(d=u}2~D;=i8?5Zy=8Yk|ZDjih|7Ic^mxe%mWH zwuXp&Mc$(A{0TU>egB&RQJQ3x2|(%~B1guHuzwRuJ8gC$rZIN+h1e`a zl;1stEeUsyTB%3cxnGn4(1_1vl<>-JLw|Wh5);V_)^*VRp#Pf6OTVMZwAhS5@DKZl zng-bLfWphOg2yi2+ZQGm5V65?Q@Xe+dwYjZq95P`zwz*J4pr#uhLo`h0Mlp!F; zok{WTZbO}8bAQf7Jz!M}Sk(cg?81+!CeYLa-VNr|Kzi$&1Q2YC^^G=HNx>YxNofHqnq#co>$A7}1fvO_mtyzrrKgbyI_e0Z` z0#5P{^GJiH71<%c;PLhe97l?|>fCLUNw|60b{$c3E`qJPpWEcxBV&J`7LSZwUD?#d zR&nIm7Z^`Q`Nt)N;~g7^r9%Y3k-`HHO{Vw1f>nUTCi0g)s=-CWfogFj-8=_Ol=9Bd ziH753Du0o+x(34mv_6$u2OWn-%e2z}sW?6avXpC{!KK(}0<_yvgHnK1OvQSoc{#11 z7Wh;^!K$NRRWG>aD7YpUyqt#YCq^Xd@4m6@heaur$UHO+8!VVNy$_}rjhR8$nEDDB zUzOsMveAFa9)f5KZ{q#>mlv!xY)ECWG2CnMCx6KNsbn3AkNC+3<3>fh zl`P7=TV!EbRV<309DaS>E+rWkJxzeoW{ZU}g(xSQP0qSKKQhgg7+>4(6iP0$rOuO< zo@>3>>^zA+cI;O{q=dBL*w60?3;-ePXMZ4#P5~1KIoB&Y4mVH zG6$x6^sSlhQFf+#l!ECNWxNu>d5yTp`8pG2 z9caZLlH#Xf*7D~mEBrz#z%#G58qQ6k^Te`8SjT#7nFfJIbT~LE;1yk%b_#8`NyPuf z?m98TK%zk|uJviw4X44`7kuY=7Jpn>0MS-A(KOJ~acV3Z#w@H`)nnPo=BiV$?iihd z(_L<&X*xxh+oeQ@IUc9L!c`p@(>ZP&gH%vx?6+wc&iwNGbT$S}4&e7h9}3#5+S;~v zv#_zgK>_a(0e>Pf5p)pH368|% zI2%+~58u4rMMxWVeQeXpgX`u7x_`dc`$vf=>8i!TKMrc|3hrk9@4%+!tx6)mA-P(qe{HlSCo4c+ zT{*%@E3ocffpvWa>bLMe89o-DZ0hr$WR>95cB`oSdsuussX9|a`kLdasK`(B3NUz$ z7w#9d6z%q5t#|^Bwv%9VXhu!dbG%22JgTRb`-jMe&lTMbK!0JyR=a;qiDS2-wjK$l zio6Nv`Fb>;GMQd)Eo!xwSt)%MOrmMB-_p4a)la=bO4p#wU`_lqP)(KN*diD1ZHr<) z4gmwDXLjpdP>4a=nc&%mBDl%gdDl;cOrhiNS@xVmb)O_+h-2V+q`3yEC2K_ zmDL`Z1J1q`|9>E;DL8QP<4pd)|1I6mvZ(#^QNu}5)Y^wy%0_^DsI2_eFDM&Taj}cDeF6k_LzpnMA(V);FG>3`!>}KaXW5Yyjim&jeCPEC#cFmT3KrVFx?uk+EmtjT#p^uD=awCi z<+iSw>P+N+nXMGK8KBn3f8E9+|0^s!b9eK0E9NboeW=Qqm=@P@TUS(Ok28^dz6UZj z0N6lXUVr!@iNT|68#p))GY?+&0&HX_d-WQ+z19MuwKvhTQ zlkQNv)aHFRm%WyIAgyI@O!_XFDz{^)jdeHt`*It{B}=dgXlUPfbDdxGy>qDN-(kr> zb^e@$CAR~r9$QMia}n{Sj4N6hmiWk$G)U9{e1CDMRh=3sicNs%_e||q@0;Ac#@+fT z2NTOl#C!HU?);Vt8t&Jb2#u;XBZ!z|?W!K}Hb4DyLubmy`}~C&;NZM?WU6Lkhn+ML zX`Qr*4wx!=&0viNb?(@l=y#e`(2egjm#T45Jw+SU?0{M@nh3km?|k@4H4!cvOg%m~ zd4EXbJc^qm#v>ZGIcktOY9!2&Xk)%PI?4*W(Ql^sTzT?S)83;K!%y$ijsHnm-_EaT ze>ijR05Z+lV72ZPRFFA06xk9(mL}B1&VEUPb02iD@_5Yh2PM;02@d?q6}JiM`-Dv` z7DKjG88@40wgMc#aULP=dnStK|Nh$&#eb(+w_j8pSWDOrPFIqh7k8b8%{z~om)KF%U$CEWuqBP$GiXbY!g-29uIu&XIz9-G+p7+eF zaJ26r;x3EKKVUm5?}>z6ApSqZi=TVczv%0(^5kb6n#b{2CW9af%O{7nLBJ8J@PDE3 z^h2S*;RfH9eh{$}Fo%ySKBF(#qUw;l{FPD|qozFlk}iIZH%?tE9+r>v!C-IA>4;vc zmyaA3^&3aknX9OKei^rpJMLS@9rwMzbl*=Jcw}?`ag|cTHaJRY?mU_LghJx0)sRxtt>3%!XE9LE9ZI0-EFJ z&=o*H_Zv!qjq^lo28U57}*`uR)8`nJuN&J!5;ds;J`&+X@TZuj$BSN;6pzjYBlSbtsq_my?6 zGJ|z9c;C9+kZPT?JWG0^T(G3B#=)UE5{jl)Y)utTzP7FDPi(35?$VM2w=yy2r|UX_ zxeZO%HG*^7sITi=i%}F`-=QO8>~WT9;SyJ{dZgtdo~e!!ZX(;@G?UIe^4t%Bc8KM_ zX(ycI#-dw{xx=Y&*=9TD*?$-b{8F+)OBH7=wcI`~r0^WdkEw3{9y5nAnh?h{X4E5P z4gzYoJ&Gj|cNostFyzM3OjlR6;ACLvsm%8oTILKKmXazpvqY(!6ESfiH|Il|=D@D% zvhldZ7BpY90bP$_xD=>6SQl^enQzt-dr6R6R3M(eU{D~InseLFo_}WK&oUSs2J|uC0vWGsjHO9hkx$Pi6>$Z|y#0hF$feA-A4KR<&Og$Xe;PJcFH_=T4H!Oh8xN}B=hy33S*=mBoLkidYKa{F} zWSb(>54S4p#GL29eI_|v*HTv#_7lg1B?RD9k;5xRJTpd}XSvXW9Wsw4Ml z*pXC0(#(@xkAL2y$fDFSQ)m>`CzGs-I$0YPO}R#i##lUg<$poTV>)T83guLS43UL) zsUdukHKm?<=?e}uH2t+T^xwl$@~b8b^)6nGkovUx#lPB>RhBp+=BwRh@712;B||9! z)qm}x{OvvSe7n0BWBWkNyCfTj z=yT`7@AiGPn{MJyV(&%17HO8~R(ihx8@6vMV98OC z$?J&kFZ_wWynq`Zf_{&B0>XCS5B%P=WQ-QSmx%k4Ea7C8Gz5a|q3Iy?&4B!BzA0#a zn0yEe8h>&~VGC{?ZxNa}f`WwPW1bU`3!o)|e>Jqy;=D5mh6vz(nbaz<3a=qqBSWbv z@5OVuV0_?Ob)~!s>+Iet>c1Uo08bh%IMap zh+4{#KkiP@5`@9;I(RHxQ5TjA=EVoUut8ndL4V1F$AEk5DE9$1$+iIH3*P~`;NRIF zMRg`2SYjSZ&Xei-iHqml;Wp0M&(cBd%KO}Ew@TW8|xw! z#$Lx7m6Tp$eY9@(f}wgU&)mZNwWo{qJ)3k57uQTJeDS-JH=}TR(OkHxe)kJtQfesq zrhl)vo^a7e3-JqMeT`xfwwC4CQHwivIHc~HBz4zSnN(OLkc4_7lyRYRG$`HCaTa&D zuUn(u)Y_8Si8PkFeJs)|!VP^04eOPioUL5bDZ`UX@zY6DTIAaG@)~Jot68vJ$z2S) zz4Ax@3*u);3RM{*wkk2Bw9Z90x+o@=w);k| zt5+eX-N=9Z=xR8Cj16NwZ0M_@nQ}GAv?L~?G5HiQM%xEbl;AYu8~3*OnT(MV(R@!}L$D9P7`d)D61yd}ZMIICZz&?7@5o#Q@ z^l;VNI+L3rvai?hiikB>nw$7T=zsWh(*5Y8`j2pZ2%^tUX{6W`o+;{is^IBG)6sa@ z^9PZyg0cpn{DPap4SS=BXdy(K4wBz68l(o05RKsMp2I`I-6`lUA0`PB%%H0)lLd3@>!_4uZHwH2Oeox#}x$z=gLw}`^(o3F&SMJQEwg5K*zu8`F`K;7ip*IfTvf3(gPjjVHn%+aD>gFkG7+}77hv3kRNGC zdx1qGcD^X21NA%{O~`8=G=JK;4NA$yQXC`gK5y1i{uCWY6P^I+jmBR(*updHPKygX zg`&NWwE*p}c!c`ND#YXu{OGSwgz{a}d`$}>9F=Eqw%5o+9Qr#GKMMLYzk>tJV>JMP zRw7aByw+9E{!}Q+0OKowspu0;ZqFw$f?aXXM-sG8ADp(wjWeFoFNdZ;qa!#p&47dGr#63UzyCm8& ze{Rsj=!P%Q;95#U5nLAa4xh2+9~R+gXB*z?!XwA zjTt<6;I-bpd;88qUw;r=fDg6>^7cB=9v(zH^@FpRm@F;Ctq&KopiXJplTaU)f{1AM zwG6lCvi8iq!kWp`CGhvPN_m6P=;Lf$e7Co=>`lk4h}INY*+?ou#fW}VNT0Z7CFLfI zC7ZDvUmxq>K{3PLaYBFl`nyMvM(q``!WN0SqrP_B`LIO2Xn$=5p6V?v`p7cz0GBb0 zn7iIO69=Z%M>;5v5J?K`6s3n5X>Md0@?NuHmB%t z6rt16bP}A-&^gTGFT6SID9JN-+2pabGUN)ABIywm0yA(C5|1iZdC?%I*IgwS6kEmD zT}X$=zAZ1-oj`Djw)5FK$Zoc^y6hjk{r81Lr?87<>wkGZOYe+wPuA{-C1T}n+8kTB zi3;xPz8$v&d+1>K8f}5E`%b(=iO87?b$#XH4T5!`qXQAN=*~qxeD)riNrB{4WnXht za^&G0>x93jUuBFJ{*Q&u+a z98&>zdw;GY=QZVi6eC+QM`Emz(m9j;wiCc0nla^S6aXXYEO=d3R%jKR`_em5OmdZy zZZ1!ZNw^M*xt!Z5RxXs?;Xr!89*~aKt7VcnnBFszuf-e&rJTcgBHMgv+M-c7_)-r2 z%R)x3s7-s)A>2j&_r>Em6xTYb_*bKIKa_qe>VHXY$wSy4eTx>@T__$i7CSs;j#wli zyd;3bFsyjAPhv&2_zpoAKh1nu2ZY&32)v<*inc;=_rV;}Abm%@IwpihyhOEG-&ss* zLc45t5d4V_*||1L@0fCKRT1&xT28f-&)WchA#dP!!`WDGXd7Jdth*MSzw}#9Gt53J ztA9i<4nob)cBHXtK&cTK1s*Co)EF8UFeNQAj#wE$8gk|lzp^){3OcWxj}v`Z!bXCx zm%+>o4!s10_A{cDn^}*!fRzqlrGu~n=yUE3M#=d?C~5KQQnB&6m*0_V2h3Zmj)|D> zN%21(Bi8xY(Ik7vHgEX7KOUn0aEJrvQ-2#-^?_&{f1q)A^fnJ}KCQGUSOpmy>;()Q z*puey_np?SgRVi@1J|ura67*f_7h&=k^v+Y2!KSyj_odm-bCMuTcNy#K9#pog|zK9 zadcm8nEPtN-g=Gu>-Fui*SpW=x>e?~ahrQ?;=Y@Ot2T1lgSCCQ5xP{1PJXTK$A68` zv4f`ElRZAR#C=&2Tl3qS)9lZg_vqMt+Ob#L_UlHNz@YWgi-`*{`*-3w>YMK4*R+@4 z^nQL_d%A01Z+we=J?q|X+us}6_jhxTkKOh8`8%+w9c@SOAo&O`ga!2~i!_Y>_P9fl zq}Hc*S0yRD7eO1z6PRN%1H}=BlYf_y0bll*Js7dYxaTB@^ldo2YDtJ?hOK+?7o~LY zG51cX?whn`EElb*E?5!t7hK{~?8RsdF4?!bCL;6jkXan9h8VZ+3Y7H;ceu}^ct7Q7 zBClAakvyfPCH4W(m@7Pqc`EqM-%PTg0f9$=SMN=^61Os>UiPkZgPlA1-%{`7xG3ph} zmz#!5qOD3z3h8dk2h&>cQh#yPrC*J>ZzioUcMk=>yCA%Q`HhUqnvLG?+hH&Q&&7iT z@a&c(KOIZ=_Y+53Qw)b>&m*N`4fd85HdWY)0$P&~D{_O%%qw6m z^P8KRmhPeqxxuWOGldtYi@NYc&>c|eJ+k)RX_4O^x6Iq)br)xo;%dmFwn>6#8BV3n z_njpyWt1Q(%{N@A6EVdRxk+4zr`1i@SQXoL?>=~=wyyc2Ejk^=q$%;f*_23usQu|B z;DXTTu>&2)_#E{@@qcz4c0c-9B2~#89+E&?)1MGVQk{9u{3s)|ZeYAsRY`%k8dO4R$@cOnB~r-#oi>@T=ury@0x6}H&r&U zKTre1?Y-0}t0^`1(*3|m%i37ea>&WLU|Ae=W4TIeb6HKOCx1#LZZc~wW86xV#u{(f zcn*%*y@ws3Jn`KYzxKlt4*VDNnQN51?nGANUXX}1+}6+BwVR->qd2s(?rQ3y1yM7H zzL+GTi6h$N+|Q{e5>C-7`KV~GxzS$B0qsDm{oXlIeM+vxb3FVgpS12XkHv1Eu%)xf zXvkgP8p|Ro0)OhfgVjF+grg3~G{E2L>M*e6CCC5*FmWodo>snzV3mjBKNnHW*+|lJ zv5Pc8o_5t*z-&)T8=qb2A;Zz`q9sL$m_l&7T2KJBtx{EPXN?GgQj6BLCm`zVh+3Zo zgK0SkBRGj75XRk!-#LXuuo4yilI&p}Qi2_d@7*IhFn@$Z5Vay9eYqc6N}9f+@x+q! zf&&O=cpGOumMkGUv;tOy3cw-eABS6h`N1%gV>%M*x1}n_7151nYdg3;3SteYmr|Nx zMPkh~?g@2d53#4I@4=`DKaLcEMC@*w@fx*nZP;%ETrXlcZgN~|E+s0^7c4Yb8 zf&?`DG?c6sQ2byZ+|YCc;z{v94PwMM0(P=w&7J&#&f;zI1crFM%6k7zH(&b(_J{p3 z1%K{Kuf||Do!XS+|9mJsnUh4lKiZ&=P+~I4>;N25w#^g@q(Y73Wxy^xD~a?vbuF&HDy%o{mVI1fdI9 zEY3ol27q-Hrv#A8+>;$=u)pbe6a~3~+Ky7$4G!4^U z6rb;jCTh?AloZ1!D)l}NpYLPw`G3}d3W3wN<|{*d0TBV~6^RU(=oo}mQdaEJI0vur zHsCmMyzr_?9jx0iWk7MV5QkbXeSOtVMF4y!Ms)d(zDsC(FKOyeA|D&mBI?IQZR(Fh z&(s7ey}ZRb$uzyZAK;?4N6_e;o*WGDV?6Mf$^QIXybXu@PKlQDY_!2m|9_5*dt+eT z{9uMVz0q(y3X$|%+!#0=2tF*)gU+G>pd66Q*E;cHPuGVKH-Q2-1|V=Ad`90sGm#VF z*v)JqNGO!H1;nAiuRF4ZfimfE(q;j6wC8u_g$FZxc827vBGftP#m{gLcb)5MI)FBN z3G0bJ_>5N5ZCX|fu8fTVuz$ow7!k-Tov$`4CfngdBcwMDu;AaDv~C*?z&fcmnDk=N z=D@umHiwS<6gXI9j4w+u2rSCOdzs3y=_P7%5K~eb?#n@HZ;FK$=VIIB=CD*sdAMN# zXYbB9@n@V|H?Y6+A?l@j>>V5relNC@cS!|y7ZKADdfvID^o0n1*MGhqCw?><+_Js( zcCSN2sIBKN(`Hz-%tEB<-ivaQtLvpKzOrxA2m$o){MLR1r@3|eDW2K!R;_ySruWQy zw2-&$BD#sdRK~5VE&Ojl${j7G|~X`hZUF<`q?D$WY2B#G5;<)0KqF~fnh*|Iosv!DEthU zG={_g&qG|RQO}(S@g2(jz{xgKTb{c#*Bv`+ke*pfSg4Bp{(mY_CHBfLbWjyDtd3^V zoiplZlioS+#@aRUD!cgkDqQe5|I6v@ix|QZqjkV8WAE1V4X^1`tN9x+4BiEEv=%n` zF2fcf%fEFU7`*4twD?R+n5PWt9p*7Eh1yGEZf<205KQ3Y-Pe~HImKRrmC8H(jH2V# ziXF^qi3hWqgMXe4bk~%K-zg4Z$7#mfT14M_Y!_)%W_t3joeMi{eV^>~dW|W67zS#x z&prE2ow$`l0dQh@hqYecf;jgGQJ(D0(3e>(c{bQf9;B=leC1&cbjWg@5Xn0kjrb^J zq)0-j#)czbGVdZ0lQZa4sJB@51v3j#$|ULzJn{VU_kX%<4hA+isB8=BWTWjMfQb4WiruTeNE4u5lPjQ;3C@1uotCu(ND%e!Rjy{eC{*a!q-W$~y7c&? zh#owOc!T^KdmY&ApORR6B709{@u}FnRcZD*Hh;i$&bloZRD3lc$Twq6H-&=x`9dt4 zJOb+GeJ}MO_By#rQNuS`RLtZiH?s(qd5p8+j()s#JxxFLNYk6?jpmHBmpNJobd-o= zk}irqn5#LG>Ct8^F<;0;uiU#gf3TqL=X2&|CSr#XS1li+F7?m`$U@b8J|_hi>hRP@ zOMhO(7)OWZNhBUlhT zql)#}mKHl}HG*YtCvdFloq%~NTX)=qnDeaI&ILT495`2Ck@Q3Z<<$^C^}sCz>Tb~W zfW^++#Y2IYL+N$HMS|>#0TZ2GxI5M3^?&U+JKedMOMVq|agidnI-hIW@orGcqz2&L zrc$qVNv9=0cS-|D#kJVV_%5YQoQ0T@$L=Uh$MZiUrM|h)a<4zV;QRqS?Qg;gpNu+t z0#@VTFD-j*on{y%P)4Mu&RP8Pf?%C zULOhAjsUZ`fc#WwWUokDKb52HpF%;VqB%v#$Poo?9KNx+AW;Nick-nbPABLLnwB;Y z=E51fb8SdiMQ7e8&%Me@g=4Y~uYZ5Cgr`ceDowQ(6?fApv0Q9CKp>+t>r$~=Zj|s3 z_)>zA6xZ@yCrFU$%^(IQ5bQ#MIKM*Vo<<@%nbK=tWm1%V9hf>kf&T-=iBl@}UM5LL z@XzM5cf#M%F1|0d6?w7&m~RSka#5TP(o&c9UaMTNH%x_|IU}IiUS2Lf=pPus7%B#Gl~j2_m*%}{uFkRm|sZwcvYO!*7)p77U2y&7MIt#A6zb?`LSLlP~ z@c4JCTcvOiC&-8$y{5bY!+-u=PK&yADn@6qu%hp*;XuRXXwY||kvyu72J#kvvEULW z!j_rl`7)U<)*N)PCeg)OTDn;Kc68CQTihqn1yswIF6wr=AVl!rf=MrRd(r=S&tG_1 z%6}&W_E5{aZ-UgDO(uRg?TjZQ#9TWV!b`M$j4mTN_^b?Gt%}Xqdw;|Jiht#!aTHb? z1@na(QmmcymY)rP?&SRQvR6ZY-P(1OI|IkBa=8FrxumoyD;tHO=$eVv+8Q2||HUt~ zQ$6bXX%_gFx%&f>K@(6e;}QjP^$vG1a{B~AavsfmOZk8;C}qcmjX^e z1q(08*N1Hw=_5yg+kX=Xh2s_4_DcaOC~V*c(k$4`*f5(&^qI2Y|Jo>V1a^Gx!tbzj z@g>bm8<}7c0?}I!oOe5M4>g7lJK@7IrvGITeA-4yr_pFIoBEyEB%sC7Ut2*FOeA#^ zJY$R_RKK&vrsLfgQNCRR-uDMSg25#$Scx5qt zEGp_xrhXK3!=1^fKkH4?iv5;g-h`9T=EzyoCfe8YfO;^BW>`D22u1QI_&N(h12=xN zu)l{W?^~ThF=5vvTDE2>@zDrzZfqhEcfrAaPJPoc`kce{O5dLZpHnNs7+xe*M-zwF zZU{C~moFf(eqJ!1roQ=+H=yE5EH*sYb8 zfa~ec1>zViIEO8R=Cb$GhwvwUOt-#V+mJ6NVJ)%d>kHpyi+2Lk+RY6HogR6_Pu3cx zQw%BZP}Efg%|dFU#jpkp~caQYH$&a{%iGQqLAKikO~+SjC)g_5L+0Jw6~3RNqsZB$Q(m944y&dq*>%o zI{subnxJL<;DPtP_HKJ?d&5It(K0<7pjm*EGwqQ2e?%Zv9kkx+M7E;n*=X~5 zZMAJH=4>#FE;>Xakb2MLW$;w;u(=*g!o(VXFR|G?`GAfZ3mzpW(exd8W)~suB;AT& z-oG_*LISPDN&Rc1y%;!{F7mm|XDu|YMfYQ#mep5xT}NiD%t7ZFKa#P>j~5f4E{(bw z&zj_buBmqc>l|L4vb<$3I%p`bz~-TO!0y_O3{DVpTz}6G9cO_AI@{au+>cY=`J>T) z1bdFZaaMX|W)hF9SGix+V>CB|Ga3ir8j;Q2)QR2_?a@Zmkv@mRrV$}1XkHHrwxrlg z*N6lj;t6`N&+(h<8Q|+6nqK3;3|D6BQfOM_e^d3xvG=d z1~6o%3#U7!d+-bOcronu%BaF^zeFNRDh%yMAM^^Z{4dN<5+!!f5Q->i*`qg0-NE^2 zf=(pEBFd?9b*QxMOVfJVjr_-tu7(3Lr3)c6I1fh)+kR?y5k=1#nBks$jIe}%4=~iX z3tJ-B7P;!tuv0Q$2#{};^6W}^X25ni=A@Z!<5!33O}85spo6>m`9Fb~n-# zmG-@lE_bXOgZCLRZ>Xi!r9~fqJ8-qxHsHvY>1*kjrtISfF%$V@V^P*$Z8;D9Kc&9#TM8Hic^>-jUhGqmFJo65uF zd17sQlofFwmU5q~g+>yNrmuwrbiMEoS32w_^6xRTMGQ!l!ItF*4X`FP! z{%9yrki3?p^A@eMRgxV%wPz~eL_|8_#ocz#1c@T#7^#S58^9=Ng{zONYrjgIs|5$| z;izA%Rvtb6W$o7o&86z&UmyQoS$l|1*_B@(q91F&$u&e^GS<8-8Z}sZE%h)h4NhV5 z^2yIKPW8@M*%9)8V1yGNUN}j8J4B1;AYM#{sZaE%XdWGofaUK_5!vthA)1?L+|Cex z4Jy8pbps*?TH6%_i5dnHsFsV>vVS!$mR~(6?v|^FUq2{TmmuX;skBPJip*77{FM}S zSCWvTu}V&;SLj9bQ4{T#)edT+@$#!&bP3;qN*saMx#&iJ7sZ=ac}Kzda1`_xiui|P z^HuqjHWu7^`P(mt@aResMDzDEos9>;T8_kXH$;N|==hZor;gg3s_*mT(;+&0V(&$ zRJkdnyO%)P2WEZf|G>1<$0m`~P;{}KIq4~|y8W$9%jmH+V0+Q0LX9f}KLR3S?u-b9 z2jsb<_c4#6T{}wNr$$LVSA^ueh-asf|7mv37GrRKoyj!PId7Aor0~;-EtT<{eW_Qe_-Bgt4#NnZO;HTTsQS7ZN^BS-{ph#~q zk4#5@9{9KAJ@bAuwvl6k6+9p$x_><~J;mVZO`K1Lo9Hn{UQacSgg9SYeS zOQCHzD!sAUQ3$mSt-kFrb?Ar#*mf)!2+&R#p~HU|W${4Tg*t_4hpNf3E7D=ib1TQ! z$?#`kfY^Q7rO&J)NG)k8W9fr=-aOR|8syS{dB6;dX9F*c`B@fSSZW>wjaimt{($5VXLg59&eQ43%k zB9t?P>{%avw5&gbs1Eo`bg=Wd4;7DHEQ24aY_A%EP=yx%$w{T~&tC5U<&b*!=-XP_ z?TerG>vMO3K>xbu@ z^@(7tgeau&gU?M}{cL~c(dugO-qc{|&pytNK6I+jg$Kc0kJ1=kJIx#so%~FK@8keZ zjInev*6q=ws;j0Wy`ED2MZ*YxHL^L@#3F~C;jR%k4HCPd*|yrIHy4E68C@c66p7d_ zg7jpZY-C?|^4HqD?1}=Z?EI$f>b3X_G~NCJx<7ynAdM@r$Z#W@U%Lifr*u!29~DzT zNWg+-){a4>pZZp6TWrbbxD2Nk73_Gi5TXX%>t5Q>!~9Ya0WvS~@bBt>WEP9vVRw9U z9D!Z1w_@Yct-Ir(Zjjq1cyk&Dr?MAHqp)q{v|Z*Vb;m5KMMYQ%(AqTX?B5u(N^phy zv0UC#VIt1GZ6Tbdh9u8(TMXJ4Keb_KC;o7RpOm^Gb{F{rB;xcgKGMa|vYZj*p|;E& zs$s;Yc`BRPrW}5Y4L>J;rbk--*1V+UL~mY8`1#33{xlHjnI+SkdgXR8B}&|smNx8(~`rY zrwe?rgCs!&17eXTp;52)A}uYIUG{b-y*QMks+TYnqlz`iB!>G*xln8b%id1l(1q*- zfIfrz6T;Z(#da=GXFGv4pTUEAdQKK^4FOaSN>1km5=dNsJi=5*ZAT|5*t_JD-< zuV2LYK;YqBD4kxoJJnx)+HrQe6VplzIASj1fHvlucDx&uGC6TDGLw6?>kx6Ub6l)L zH;4EZEg@246^{M?1k->rc@z%5ltcfrV1X10bf7>7 z6)3jc>rXF#m?@gNVufeF9(7%d>erz%XU!kf?ii@W#=R)V+!zo78IoSKkr$ zKS%og&(R$BKd|RfvvOq^rdX3_mp#inY_WT+BOF|RmN)elh$B>A_A(Evq)JzEq@a14 z<7b#mI7SD|dSLSzz%iW&rW0fC-61)?_WNLZ(I789nlyduUxA!sbSd9`oTFv?OOI(9 zY6j7NW}($cFezH{Q#XH^50VPIRsXVBd>2xVmi)B=D~9jI@6n1 zqUdLTo#xR1)Sk7$V2ehTs@**%diR(pOS*eZ^c&E{ckq~KHWt#E`|;46`nh{7^zO0H zyT?Mszq`jmzoW-OGw?vsq_x+-_v4^h@W?~Ydb>SwANONF`k4to{DDu5p=)~NQ||TF zzw|i|`tZa6{^okwGrq^LhlZPvOV8ag?CuzUmftb#POAM8rCNN~h1OX?h_q{WA}vVx zSwz~k8y0EnNg{3CDbmg(^j(wWm_{s2y^Xpw?~A#{&iSNl0<2R@AOM>{WWR^RIM8uz za^g{+Pfk@ge7H+3orq0c`f-?VNn4&{OWRz3N+Z~&u!1+Eh)IEj8g9!%R?TD@4o_h< z*62wJf2%QY$2HJ;A5ms+Ej-$df7uNyd+=ddM#%*t9reHx$GW~4X z@lvGF5|Q!=Y~a=jZCIbSX8xyAC)mEUUP>hm-H$oGa(1R!l4*oI?>6LflYPbJhHP*+ zDQ!#W^ra|d(r9Dyv(cx=#@ZrV@svn&3Lth_hr|f2+Ro^B91g?I8eL zf2f76)DJXjda!!dTi`qO!wst+>Mr#|{q7d{?iM)f?X1Z{uICmwLqB)7z<2txyIbJ9 zTi{!B3k;`-Hw)bUYP|2w-K}r7TVD--S#Eu^pEIn@rv@fh%vNk<}TG%RL8{6~cNm%T3f>Au@! zs^Qb@KAM|mT|l}W zcde8c7ZzPRxtTogP<^~o%{&sW0NlEn0=?L2nzbSvKdy6{gdfSmbL9d!w<(){e`fF~ z^O_zS6xr}Fp37pPA+ZKkSp(cbL^?j9EL*-&(Qi|jQlyd94{kIZO~w~NPahGF?8+2V z2)Vueu>p*WOR{iLJ1^u!1D zH_e8a?$FN@DRVyMhJzo}q~Hg(z`3kohlP_QMYoY;{d1v&)~GwK0x7(WC&Kc0-cx5y zOJA$su&*cc_cb?D4XgMUkT!Fy2p8m zFix~N)`tXnrX}(a57JLMe_8g9t&#fS-?6FrOryF@6V1%L7F__nTi@oGy6E924$|9v zR?X`;1ml;_4_f%G><5rccjse7^M1b;Z9i0>MZ$4?7P^MU4R^XxCw!e?nDp>z9a`?f%xy zH6nu2=)^Ghav5Jtx;O&qV#nLBs)-+j%p-P#XA?w8Ozc3Eb|MaobxsME;OElKif)UO z@!W0K^{&fmP=W+l2KQX@|?GWm9L-P1H?G}OdFXTh2bLWIEinJqdk1YsUQB2x*c zGVqE_8au{qT&$UDe-Dwb=;gxykxpe2bbmzHrXNhqGo=fQK+6!;B?|)tmXDI8( zG0Pw(8CFOoJB@oT3va7&wxxW>Z4j+mrrK?+b=%~4(*n0&e^JH_Qx={MR=_lTL_wMaG@DfMc*@Fkv;PI;0j&VzHIeo{}(9KI?90THPhYpi0hs?QMoN(Vx zS}?pj`n@^&e`SYb1xfr=3)SYicP-s!>bvl9oXKk?Iq2gy#F$41irKiM1i!Qk=#x>; zkD^X*g3d~)*VWS?T#YUYSQhD_k9{y3h^BqSn~LKA0ft1@QmO3>5Z&!}2wYGQllOt6 zY;Q1%NOP%Z1~*EzYzKB~gyy@VVv|9!pzfAe+n$cwT+jt2fP^-ad1RXK7L zOV})2jO}KFJ|}o+3VZNx%X{YiW~_r_5|9}Y=>Q#EkG>w7M+>;=!1=%g4oitg3=%aw z-HIavwj3pS9B&HQ8%v>WP$9gr-C2pi-n9C*ivp>iWzAlMhO8F+xIm`3eC~%qzd#h^ zEN=tSe;^5+kgUFYR^<(lRfOmYorTb%jYgqASve1;7qioqV6?h&i3qj)F&tfntGG{4 z*V2v(Kg02AH;nAD5k~?AKD4N9-dKX$LOgrdnjp>_?VwTx)DNW3Fa((pC_s1QA zUD>XaHKk_TOheNyQm_^9^)-r>0EWD$`jMjwfBS4#Ixq6CL`UK6y{k1^Ucp-PNHE_b zw=+9P?psHVNkCZ#31--yD~=ovg04&*VWL&Mh{~W&ySKWdI-Ld>dmf zNNwq5Tl)*i$QF?S5CDy(mD6$gxQ$0Nn3H4&ZxIq(5pqD^*!@N9$_d>TlG z-RZ^8%%ka`JDBIJn3I2^R}tAu`{H`IbmP-7ky-Xk$SXT--1YF7iOaVuUd5-Y6lU z?ia=Zw6P!x*1&#+85%BZ_!v9x*zp_-q^vGDq>CG#){8vmbs^gB`N4o#;9vj7e@y#Y zWOKgRy*ZDqxx3)re8XFFE<1B~(XF}fpHF=MCP`ucLG`!F>Nr>o5eE;(!76HKenbRk z)Gu){<}6|5__|p3e)%9Bwqjd97Vjjg6H*#h)~SU`6YOfQDt4+lNS%=3;J&)X+F@1T?m^QE%agJN~{eO`1m>|W)=Lzzcb z!(mEUi?yMwrwOoIS7KzwT#6pY-J75hlWY0odA;=r;xOP1gqUdtC%8Cs0SSp|ujCb9 zxP8Z^IGw$H`@L2l)egeme-u>k$M(x9Fe=#3b~#1O8x}j`25*o!+Cv+1eq6$OwD*Q>d$)995@th zX@2){49}-rMDlCag(M2j>xd@Z ze$WkXR-s8$k&7xciCT1iMEJul5=r1KkniJIy;7Ek>^v?>gNRe>U!QBcI2*sJrZjxi4MCRB-f1m!W8-VGnM>jBD#Sq{Y!f*uyRP z;oNGA^hzHQ+n`|y7;4e~H0}ByQ0O%s>1mB)nF4Cp?JrA#f2fI|-3~<*kHoZFvirE& zYagdkS~1`BV-Y6R;UBhcFCklaug_zOyST(BC~b;l%4p$Lnjle8zdE+k4t;xkES!&e zJo25()F)xj@&AwfJjT9t9*!WPLEeOJXiAJ0^Pd(!>__i|>4iEU9d$lBw{me; z7G2!f(#E~A^GAY4REY~yaem4^J`y-W3nSMdVc}Rx<9d8?NGSMJ)PPFXe0QkBns16y zh!~Kha&mG~Df|=BK_LR~@k-$@_?Q-a7;Qi@uq5D_r8Uu7m-CRIDG8aH* ziM-{Of5=;o^y7>Y`3YKcyX~73%lEU0<@*{dvP<=?Jiq;}JliS_jb`TNfiI$k^DmduClF|G*yN+=6%(wHoMav6nuQ$P%&N zy%@4oBln)v+nGr7j})&c`_UMUkVQ4w!w%38f7IV**7VI#@;)_6>bWAsVRgdByPeN? zE#Yk6%oon~563tq9HExq^c=;M)$yjc>}~gw8{Edl(r}u?+*ASAU{g8&=KpM=&7as? zWeW&S2USZe*EZsV;Ic=C7a7Iq(x2p_lsKIG=w=?3kCIP!3ygUP5zGAOx({m;|J=XA ze?fs3oTG3wZ5YartP${?T9nk0@C7t2%ei+>czjn=*&y1uW#@|Li}9B0G1^+-nDl(n z;k@B%ZcaiOstsi5ed3P?B&N}cW4-VC-AV64O?yXbL1O#bBagt`F(7Ei@lUu|q-bgKz$>f z5Y54O7u&kfV*La3RaGF92I#EbA)#U~P1Rjo5UL!aZ$~M?JHkcN#)37DH%CUef2KvY zRLT=-IMSxh76|FQMr(`DE&TYFY{2Y1#*~$50OhLU`%-He;#df?KFyb*18!%bq!)y?3jV;H=!Ao~}ak zk5;PiKal17Pbfml;RyBChY&xA;+;7D6*q)o3&Juq5P;?K&(>D7e|@!HQcRWVAlo!8Yp-BeM)NeImsoRqzZ0CqL=jiIstq{ zU+@6J^qY)9ILXxFJOJyaLZm@GL311TaE8*y_&)IVkNZJ>;|Ay0zJJR{9p@9=$iag@ zJC5de4oT>X2KM?v=7o+XFHi0Had&O=H5~Q7`^8f}c<^l}e@aJMirFFi^cs_&SxeY@ zBC}Me)cy{pPmd#-yZp1ZvZmq{%+$)$i*7hKZg~se1%97hFLocQ*riSYiy>HUI_TFJu`ld~0Okk-8BE z*vScJ4^^BkBs$p|`PP`jsBt2W;B|4#{VEt)Z!{cteb!EikAhkiK4 zkx!m@;mGTa1_S&nE6<~?=W^+AUp!V?1Lu^+J^B8CUUWa@C9Jm$m3z8DYz>@T8`kUW zYN|~EaJj~C37YBbID%RTMT_1)T*s!uEV0&8d3Wv3=iOCHcE;KT56(1(SdCaeH|m}0 zjvfSke?jn|xY>S4W}A$l3{K8jr(CL<)5TLh;Rf<%Y&ufyR({~v+-j#Hu=Q&rFdQW) z4S{VW*~e^vo9#(w+1qS?-LkmbQW`wjM7gGonI3TfN?65K&DbW6U>{L}WwuqB$@N>A z^(C%go{c#O9&8|z~-R%}jK26Miw0~Iw5k+`kN#Mib0v|x;lxB>r428_L+=Nho6d2<6+ z{ilpo zf6XK6{g{HZ%&OiqSB-l721d%oPxqQW-Q6=Z{A-_W+{@i$rRao0O=;PBz!U zvIqzHPO{LVNzqJidU_kzKSe}nXj)}OZHk(7(dMDPx_Q)%VINSH1I>rf0H>? zH#JXGi+?eiO`^qS%F@J-GFRGk-PBxBrRXpSXH$Q{*|IkB1I?E_Wj8fnRIwZR==9oO zaK5aK{8;nFr|hQY>sOm3xR?~Uzzp5&>=bVU!~4xD@GU6peZNz38+h997P)RAneMxu zjvHrL)ruj%O&62hrt|MB(;MAWe~k0$jm=5bBBxCkmC?TMdASX&i{DGhqSSOzS?s%? zmz(Ed4~5*t1l-wVuFF766Y|`2vg|KkKtyixR`4`cl8wq%@&!2qIYCQrK-STKz5&_- zP_Wp=h6Ie+Mqf=ZJ!-73R@bu7UDH8#&1`h{ND?m>Bs^Oix1I8mVE$W>e_pwWsju|l zMkw$XE=?~;e`X7FQlD!kJNeUJJj}I4SImtZ3%BX(>vGs9_M1g_2wGet~tvT`|@i zr{W^J#Yt}QTY>MH)QWf1wX#;VQP*@~hL(@M_Isr+!>Hx&N?pQ7e+7r0<@;PThyRJz zLJnKyoCIdwYa2I2qUpW(YxZc;ZX)B`annw~Jile9ymb)Xn&p<0>>IIU->^TitkdiU zcA&A6{RSrc^+d8?U-mW=UHLaNko`jo*)K-&(Slp`+@${ZAoDm9zawv*ydP=gJza>S zPZ!|k(?vM>^l!n%f8#j#9rw18H@zR!be{Rn z&Dm1E3#R`4Q+jGzRzelGZ1l_SBM4N@2d#3ov{WtqJ!zWWf60njzsJ*a`Si>65xKSTTPylB{#G)}Y9^Vb;UHkJ+FnoZ;9U`iQBC78*HKh&BR@NW zyl!iLbY-J)X=B$rs>QzP@$);-(LAgg8urE3hO?o&1@iqbkiVf4^WmCy(A4IC?qjAw zNBJ#}`u9%Re<^AAmK-m?2P%H3h~f*<2kz}B+&GOfPjm7Qc?XX8+!Ld_o;2jivUA7f`P+ij>U>N$te-R!D8WMc`vFyE*22??`@TL@B zrTY7?)n$+Tze4_xYHe$^-U3)}mbR82R(}DnmP&cM{4(!7iO$N7doy~ASND#wy5F9i zMgA0E)S-fZ(X=}pccA?a?%?e*F;6-|vx*P|^SbOcyI&B_Ml(pkZcWSHF7_Ycw)6-s zq#p}le`mwU?-eVe4*HB6V~Va>Z|FzjzPg)XUwxc{wdKmzZo&XBXLfe$P4GAy`ysfO z;6pibuc8Xo8<~}Dlw#bY7G-MlFf?56ZQe`&SEovRQJE&DxtlXL&rJdN!^tzc03OE= zww7MSuR*QX+=Y(UcS6VaD|Gl*(@9riJ2rkZe+Rp{O?>8#!K4>C4%Y4tOim`eh7egP z?0h{~YulLd8s)}XAfUH6{q550wVURXYxywBwZHZ8?6*W2El2t6W_+V^l*_*FgIN|a zj4`-ZrIgaxw>d<~!dXd+%~Rg^kq=Y9$1c=qeg~->Ji>2wp-ykJY-7kZi!Rjlr1KJ5 ze{N`ttD^rNR`COAtvr|MvE|UTVOhz?WxPfos0;d-F5sN+8&e*!tRU?$kmBTujr0dF z9$nzNr3u{Yw~`wkRgzqa7JT0!WxIFxS3ki0Rr&7z>Q0q(OAknos_7ZsbuhWR+pO>F zHmiJhoAqNJz#gr|Te9aQ@5HuxcenMOf8TADGpkkZF1hX`69+?jn3f^s&y4OAx!;W< zw|u9`y=8*LqcrPwn!6Bjr`P?y^t$Ccz3!b}_uJ}q*H)_Dc;fe;Fgd;Kf0}g%Dftl8 z40@>M&uaBs5&*XGL&k1}{z=r}md!cEn@(oF)jQ>^JBa+$bg`z<#lVlE^7Nt`f6h-E zyoo#dxOVz@cD>Z`P@|6XiI2Wc79* zVBtV2-$ewKq|hk|F;l+LR#D}8N%dl5k%NSzrMvJuHxz#7o9s5#H9H|KcouOtc1KP( zN>10kVNuPeX}~!@XNqa-F23{)$Cv&#JnE5)s21W<@y*?l)~z6|>*iO#e`q%~;b^+( z9WQUD8$TW{r%-yZg4Q?T8e`~g@y}TfCyLA&;~h z=LJq8MiX~8&)0wReC=DyF9|o#i^!r$P2OD|-st7wwQo+3lP{z5Bd>f~e`;l=x z_?pZTiE#i(4bRJiZg`$GctUJra}pM5L5p}WSN%l#xxaF&#yi*QaiI$!DmGFep+C9| zd)>(I0Nq2+4TWr21TQj9JZ2dSnZs>3+W7&ACFM}@M0Kup0P=j&07%g5;tE<&8gvI1G+0LUP^YuOG|GH} zvG`{EQKRcNWHL9a6i zqAAKm(%7_ke^U52+WA@ts&%WJ2Jy070^FtyN09`>6f=rM05+omLM`eu^Ssb{FcCEb zVLcUR2_if|v_Eq0QkRc6z&7g2u|@%z-c~{rhyfxR3&QLKrPRjYlV|PcIckQZ@N;*< zhGRKp4t@5Bd`&y?8OOS(xaar^>T$26W9Sh(;0?PUfBh`e${7orKhFS(^sL7T_53G&8B#j;zjpB@hxJJ9RF&*<*RttILx^R)^sQ$ki};gi z`P4rfO)`&2shpJ!e>47jGs}R8zK&(E;be#>DC-0exQUS%H-q#g$caB3ea<{}q}CnF zVsmxU`MTGhW4=(%UXqmaJDaG_{v?`Xrf{|Nk}9o0Sb!p=SJ;~G`&Z@BS@z{l>fI34 zf1IKIyMsY-%M71eWJ2c_7CP%Cql6{qZX=x{2xE?(Z)V{fic4JSn{fPwZrXsPk^n&g zvS<8mP^Bj+R-^p6JDB-V)}d$2`d-n>f7K?rB6epo8jQ|8jH@!%G>vgeC;Bohc27s> ztZ}jI@h=m9fa*qkhIGXaJAFPl>0qU9j zwagt#zaZK6xsBkA00qdWrFqEcvJzcqkw00HKW#PDDlXkjEPJ*zqvB}?9WXuvL5pveLJ=<%ISX~q zM`x%6`7pEn>80-@;^AM+B8c=pq5|Z@$nK&2XW1ivt(hIP{{{V--}#Kmf5Vbwt=2sq z_@p%XW+^o7T|f!^VP^ZmAP5nUX|DghL71@_AvAV6Ot#XtXf- zYAx370Yk;Qd{S6RFslr@vk01{pOyk6l0UL%qcJkb#8*o(d`k|6=of1dkWWY%^375x z{0|kCmc7Dq!CnL|IH4K(f5lQ{{DtnO(pPsew8>AUqU5KgIMAbg!zUZPYrF4_XJB!S z3a~GhGI*=(3};hH%Gz%e98!R$fau68DQRZK*<|8}(+*+O>Mv(ulc-%8&L)Bojb2ow zKb^%t`d>t0{KHvvIO@+Z&a~go3Zt|}{-$9$kN2sDDm{t6N4+vwQ zW`O|hPxy}|D}r0+;CwckMNmljX)7*R&Qp7V@c`aU3PQe=uTYB0l1X6TdSUb^AVIui8(unecNkfnoD6W|46e3~&+l#nS7f z3wsCsFq@d1LFSpg>RAtG_N=-1u#6{0`f7G?g`}eh%8*Y>fidKcZGD_|10;%&zeYuD z2C(eW4>KDMh^Jr;LQaYLZ+ivE>-bkwG&^`a)6f4Sc;5b zZ=)af?9Lg;6bOp$paa%Mw74bNL?$W7mlNyGQINiWru3qv*=mj^xG?^(ZiwD=@?(pr4Kc9lEQ_Kg^;N-~SUz(N9Z((Vuww=%-l#5X***zZgZ%yAve5 z`yH@4^?L|neVeVmOy%>ol57_(2Kz(p4%Uh>z- zgzYdIouRSL?Afs8BEl-aaOZY>%4k(y}=9+&c9fS1YpS+{MjYU zLjP^4fP|8;hZ|+zEQK)tfHL%pt4K#VY^;8;(J3pc2nion5z zOYlq%x4ZDbM{|r4kr*-PL>Ivsn(b%L;%bEcImK%1Fvp`y==tAqWj@VD)4+$r=4vb+ zCc*iIe*xu-7uG6>uLL&ULd_VLJ^sa3gsHovuSPL+fQYbqn13;f47$((`DFeww2k1fkE)>GF58Daag;qJYep_R~@v?uE{wApK$%8A0~Qs?|WB)e6pq z4@-V@igMwPnK$fSEqnNnHIL4j_+|h`t`n9$fA;Ap(7X7^%HXe-Vo?N})pXP$R>n}= zNHVK|ig#$&^P*%1KmTTH01g#pYXc+1!0{hT9^iB6KwYa(Jg1kLcY zLr;;Yi1gi7ke#ulueM@Lu^7ha7*QUg){pqILH_P4$QtC|Z3QEL${J)}9mQC4PW5I8 zfBDu7eEGWUu}@0@d>;QyM1v1Yjv})VO&2X=yIKf=cZ603f>Jw7ODBJ~6|CSQ6?QRFm!0Xp;=4npb~03lsIc`pZ%Hv()ZqXRBnb@h?V^QP_!)-~lr%eYF$=0byhp z6F}=@)%=XcAR&>zMkYFxL_U@L>RrLT@+SbmkhT8d3TcqQ9} z^200|pb~+N`-}&`&}{S#Ig*^RWUW0K(_Kw`vz3}mC*3cc#P#21*F-LP@W9#{)33n- zMZ=zcS@vvcW~-nR=Q_xu>tW_R*WoO(8fMOO zog}8(@HOd%eXQ`NpRN)erYcc>*-8`D2$baCbeLF{w2DM&cbfs$7RWy=W&JKbE_Q8) zMo8w`M(L|jtT&qU@qIM^Vl6_He~IFowa}le%%9dG7yvuseXI;)Vvq8}XlCpawG8_- z3QR$31v&hSy$IF+$lr~E*vxR*lfLLh=&7B2m_v(TEbIuO{4kn|eAEH{W6Q$gEc>(- z2yu33%_Mpt_UR~qBxunF}aJf?0+74=;P-o2?KLocR}9k!Xel4!RR)KP|<3 zJt)=dSu=+n*5A-|PM&trQ5XNQWQCArC1GM|w8=6qyV)d$xbQ zNK;NSHv5;=mJQdq=z=u>{)!FBUFCv45>r4)w(LE3HYS1oqQs{DvKK}NJA4F=XmRPcS>a+bxapq_1YN(E#nm3A~ zS+VAQ3`dtCG)KRfe?`W9#n?puZB{@>UuIVzZZHir`g6RSTbpFLG!i-AX)+Lwt zMuYq{GcoG0#DS<571Ms36(#}9GX1b;cY57$6p}S#Bsi)N#wvfe7aWAN)F5;f`9w>6 zVg>H~^WHzb-PssU(dhfVzJJykpIsFT!|wFrNnzP@Sg2Q4f2)<%=(0Org@Ql7D4@1@ zU0 z;DkA$IGgy<1!@I1vU7G;vh~M0yr-4EQo3Y)L0$poe+LSv}7jFc42CQm+BNjrFDKGAk1CA`L0<33j0=^!?M>c^S1@kX%w4 za2exO5hYjfd(agg8im+xz@~=8rpW|uY72i|de6PTF8>M<0>D?NAxDyw%}S(dB_3Oa zd*<`ee}O|~ngMQohXaIdH3&OV4;@@sI8ZiLfEoPS>S`pKs--0{$hs#(e>&-Y6k%%w z@&>^$n5s^IMT~}LUR?>9C6Gz0NWM!72$~bq#0Q}ZqKVQ9rDbjY@Q}e@3Sq&&8ev<{ zBKm?qcb2`~W$$fC4(~$Nba6*z3pEhkyc1fXf4w5ws)@#xHg)vwNMOV7UG4W{82A`BIrHpms@b4pYg(hu==dz|yE~0ynL_y`$`570hO9LYn z8-n~k)0Q|re6}=Q6w9iELjk{UD})JMGxDGXoRbKNL(*{P%e+I?|Zyl}Rt+uwRHe?iIfHxrkgPw>ajg}Y% zog9vN(z~>EtFG=JmP8=3Wp&m&LWB@OQJ#uPTSxim{}R;e5Dbonozqe$V0&$EOP*xh zrvm$=JHEh50F=Ogi{Y^00r`qKbqrSSj58dC9%%(__o1mfwka%H^YIELTqD&!e^%!_ zVQ<-cC!y3}J!F&!^gSc-Evl-Lvou&}H)}IOfOO-Q@qv0;+}6G|Zfp7Dwsy_9)z>5y zLXb#3z1*f#3+Hfm}c^_3LsN1Jk$Qz(QdC8^zmMQ29`KqS@$gQI4tIFzK3 z)+DizGJ{;R?Y-8;N8vT*QkqApe}Bw?#4w1u@vwRQOy8|mSC+ST*KF9No|>ys^bF9(z2}y5@?AugaH5_hvG>a z<6(vU)WcqpWNF$JA3tcVB~e?;vM-6DL%=t|JSbS}c;{}YqH#-)ILTfYe`wy*pA|T1 zeQmZaK@obR*?8d7@v$+|G&0DO2C9iZ$kFXJ_ivK#oQo6IE`z7SZ+37fUy_dH9)Min+P%`GKCHBT*d`B z!|dqni02%loTIPDQX?dQf5`r_cc}0@lyIc;VO05;ahp*P7Ecb_P)*}9I0x3-*P}L6 zka-K_9YNx~t z3&)5%9B_Wn56;efbQtXUWT;p&R%0lmvB{+lNw$tKt%!*N0?VO>e*~O(B*rf_vri9C zEQ1CqdcW+wG+H=@L~S^2ESIa~qdMce$y^)>1fSw|xDTEcv6iTM!KGfxL!88UdbNim?$IwuFP;T?W`-(EI{ zybmxdeRRw|^cr|le|p`?)Q^I0C`kh%N!l!RP^F-qqC%Z8!h344Em^U^gD>%A&&uK( zf9=@M^Dz6BGUZN4MGC&$7qv$#LOyK)%O|p?wi^tbx>UTBlsF6+ zG`XH}4$Lne_|2(kbvd64BUx79&~#`hCb97HqYPnyOZ98LW`!>kKfP!Ws^LMmd^4YR_rl*~{jP=)#ue+WV)0Y5-0d?<)fpB%{YA9*L? z2;=hPJ=!MaF3HVuQQE-xiy4PReTOzjvFmA>TlhJReeEF-0?IxH1*A!u&=KqI9z~zL z7Fm*58YeA$(2_|GLo434YpJs#FP-rqkd_YX1E*>P4bAWlMw2NI6bRvfYi(_Ctc3#*;+=3SXZ|y`R2ILMa;B-7qhfY+OM+{YzX{=*we~<2F`j`N)sB<=y7S^_jqZA z!bB>DimZYfp)!SNc|nP2quCI*R#B&7XktLT-B1(9PADm9hVb?K;Zk!2N1p^w8{BwR zZk%VN>VTCtI(Yz{bU&Y~vL(O+BpT7OA~JL>5g3+LOQBEcK3(@Zj4upwXj?zM{!i2%^~5T6|9?rWQ9$%=*BIi7*vER zrEnH|IY&X>mXX*Hhm;L~rnpsZl^zsdme)&5n=o6wUe0)kru{0ZjQ&#+>!f6Ttf2?Y z)r+<91C#-h$1qZ-7A24dCkb;)+L@pUf2QqJDTS}lA3EXTREfY8T()E=TmN3e#Er(G z0;gk28GV!r;E2*kiL_s3yaeDTzb#TNL#V_%6zJI-8BILt>*YoXji7~kI30GcOibWZ ziBFPJZJYr5bETFHhjr~LUiVnRO-jT3O5uG;0w!~5!Je2?xgf_5)Pz5^(e^s!h zT8n`FOaYsBs(?*WRj|>yWfVq;{raK2UuU)mJsph(ewT&?pTC*C7lqQ-x_*}LU3@Iw zIB4q#H0flsa@$b1etS{37mvD*47QS0CnQSZ|KE;bU?6YBWUI=%TY{tY+k+#RF3fXL z5&0-He~XAR`vLLO6|eBf*NONK+xtJ@;w!_sLFKOJvii0K67{9{=o$SAp{S}U;@n?{Q* z=)GD#cJ)DOw46#+QYt5E?UW4oh*93D?THW$D9KD`kwW!vc>vtNkSh08e+bfve^%69 zyyAfJJhckI->{V@8Oi!=Sf*fbyVz=9S+tRL;){TWIVk2v5zD!-!aBYf;BqBQL`~UK zG0?SZ>#QL<%d;m;f*9xH?nJ*Mfl=Y)d{?J>?Tve2SKg=RKGS$tS1J}+O2au6zb)bw zI*?gGzI~GO?LgZ)Lt8`9e{|kjxmnUQ@?$@mal%b)C2kpYHcJ}t)pC<@e`(#RvvGPp z5*hc5mocBJZ`&NI*pivmp_Wc-Y?w8ez}AUV1Gd>VAERSP-ZWosWi>bL57oW*o_STjT>ZuHB%oCIe~aNffW@-?2M4R~ z&EXQQM+@`Vwkew`Vi22+lVfboVx1BuOuj{p?YJfciOgVmi4ggRqX?E`cOLxVXaM$! zw;*MwnbFsA6UxSP97|!~*l>(S^g30C+p!eH%pJDPhyT(6b7WT38`!aD>!aEsW=WP& z#f*;q`{Q1Q3UGk=e?zsdw!DS-hkC@ZlsHn2vGsxdVZO*KuaIMzPwW4lG7ae3g9pXE zGJTx{f_4^nOTa{nYo$^t9vY*#Gu4m zDh6-C8rYXHjKg*mkv9@aZ3}FH>a%5u52O^x>QKSz7ng!+e_1JRQ{^(YD`~=U**cX( zHC=e?!8(F#IvnGO7n<9XZ%c#FkSV479gYYwZ`hod|p%h|wi_@Xdk^ve7$dsSbE<7n0O#4B}O9>;&aP_Nk zw>|6t7waf(^Eu;9*RE856yacWr5jFAm(bdkY6D20qzp%6UsG5$Q49ECN^mVyZ2)Df z>6Z|de|zeWi@TE^yDtWXhb}7ArRH9$@}1@)Vr{Nz^Y4P*i?kT0;kzf~f#=l0of)Q(C+)hz7>{xS*^mSq zN~zfd8S6@91-U5k!K}b7zMu(SV1rnz;J=c2f2a!2hSH&3u{RivKF-F*a)Q`HJdy9B zj>3vp7I)8wCYHT7G<_Qe`o;_)K}v1Qe3RayZmG%o?uNHCsNF$~fAR%(xh>h^ky3;* z5WJyDc7O_h&>nWZZ*X#H*PxA%^rm$;p~lQf-PNr%t^G**lL}Q+8W%}4Rds51rSM^j ze=UpP+XqBug{geaci+-G-JOhfPSti!=WQoc+X?4wXQH+|f1*K3)VW6~F0sx^U{y-x3P*lHVo8~_S$a^p zdISmeGHF6$;5HqILE(wO7uBusAH4b0L zO01^J{xl>uh&8x@TKBB6GGf}m1eO^abGt`#@+`$P?^?5%umDx2S-Bu+=mV5nf2d2f z-K~RJZ&S9AoTr0UdI$h=3dT z(Tf80(Djh?{#l*}+7?Jxu_d};bSYntrs|YSn(=L-&Qq40TU$PbN7#Ca5OpZxLA>go z`U7}v!4R7G95IEbQ53RlO~|Bee{r0VWvG@orQ2jE;Uz-E+<)S;7@{Y99zfg>v9@lA zsv;sgolViHo5d4V!h)?BFybppE$os+dZKtn@)N%73Kp8+Ru6XX%P9f{sQpVMOIq#7 z^C=2ST{mH3w7pG1Km%LZn)6yGCfQ_OMY6K)b8T57Bp$Gdyk18w>6=DNe-+$J364?d}1%>7) zPiSiMfPxn`(a?Jh@f9o3uqHsqbd!()5YzlfCA$Bgdou`paU#0CuLoqvd&ch1gQK+Y z#cleaA%2ezHVr&v5i2~$Mr*u9_o?g{V{y zduanx1UDKEv4|8cek)wu6Z=9{Xln4y=OZTT1I1r(&5japYi-WPA0t_orzLX^hAS=wy@bY`fC{0?D zKvG3>dvlQ&f2(=C?ENW-Q7AKx#d77;c&G-QRBgvv)*YAjVu=N> zIS+XE)TE|UQe9Sjy%k$^X1YV&Fq;n1Q4!sxZfo)}PTSB}G469J?~puG@jP7@N@bm8 zP#jFtt``Ur+}+(>gR>z)7k77e*9Af#1PBlox8RoG7FgVZySu{%CrB3ic%JXnd(Knlq9I)=dn-W2*| zR@BfkkQJe$EFh;Ix2#kH3N2oN%4D>JwPdH3zoRR~ypmt(astMWglIZ(%*g+6RUh>1 zguS&F7{D+rRoV4S>8Pn7L zM!>8)Q@m?FAXS0WT%Ur?8w6~Um-ZpKG_g@XWoVrPf94?M=;*usA_P?g)IFNW%Wu#y z?$Glb&Q?9XWDnovbBRXHzDtQP+srSrDrGCj9SuY5&wJY5Ni*5{PLLM?j+hmD7{HJl z2ydr9q&>2XI$X4~>lUPaV0%|soGPpXG3+=c;5k85%B$mL^wog&)1WvjoF*KTipPoy}{2lpy)&^$XU%s0vZ33l3TAyQ2wj_IQn!lRUrDZo53X zIMz=$zy98*;Q8ZTd)F=O$Likdk1mt6O9V8Ue-H{5IdCR!>7{Nin~9jQL+?j#C7gW% z4Ih+~JAXA*7>!KE?b%zm`xr%t9`q5#+*a$=308jHb_LrW6wX-$9#_1r`=BG!2$88y zU~cRN$Q~zJd?oj$Kl1@3`K@)2>ecnaGs}J!>2m3zeb*>JQHlMq_s` z|NFiet)i+O-%a5{{@k}GmheRUR^S{q?Wbk@jdu2k-!h}Fw(xJCEk)rfy#z**mDiOM zbNR2UfC80+$6Ogp6fKr$*R+7idYh~+J&2wytmM7%m3oa&-+ zZC~+3$TDfoO&;~dBT+_rHKW*x-y@cK0^Ef`VAg1R459DjSt(kgA) zF=Q_n|B>x<--xX&56X$NxZAz+Jw$v1O%rng^zxZ^iDReJLd1Cmg@3S^5Ng{-V*Z(R z$dW&(@vTr>(~1$0;{1}iIgeuxFk1lFLmBm!J>HGYSSnI>y&&$wc3}|t)^WEsl%*ls zZodzp5)_Uc0DGd=Z#*JGa#0h@*wW``X?>OWIxugz)frlvyys-I>lJ?2(R?_cp??rS zYur3WZ*%yifxe|4f(<1Gz76J8clc!1wPp8Y$~HA>MFR-TP)lEDZX``FRfPGKH0zfU zdPdc%bL}G0%YR!>uojZ7aUIy614YgA!}$^dOY#fpz}Q$$^8;!wkOrA{&KYgR+H95g zQ@o^M3T|#gj^P#oG$X+wl?MDq(W1kBU~hRe6=y8#USHF+9i9f-*BjHnYbX8iJmQG3(0jPzEpwm-GF2 ze^}p2gQLyr=RHLW#wtL>@-eoVr|xX?%t(y&SP@bV&E;^=hZN=M&$c$OD~;ky|D>rZ zAF-Wm<5Yp8-rDS?uF<_XufAn#C_)?6_j%^K_##D; zzaN>*btxbMs#5ExFeWs?g>{~a-U3IoQ4;jQ6y!@MXCexVBJ%Pf0Yoi9ZD@~8cB+4X zg|Vt-?|nOphA^|qVRdO}{kF@qkOiE93&j=7;(8t z?v~Fs3eYVvQt;d&<|C{|(o(FTIWbNykF*(!Q8oSt+GhP{;phF`^HZmMm!8MQeCR=qg1%=!|Y1Vh|`z{uSy-OpQNjz`~ z(ZYmPERq`-xMY4_DotiV05Ix)Ax;Vna_ zxWP@0FsVn;X_}3jm*58oZMN#xo-oaJHN()|G3RCJs7_XMZ_wy6sMptgQmAr+bfVk? ziW@3^{LIJNsNMGCQ&tJncwFSr6eNb)gJpwk@8TZIN6i9FI}h4mYz>CE2BW276cbw2 zZcwJUB5+Ke=5(wCY^71UtbNd^^R!u@5Ta{bpTKyxZGZnNFb>JWW2W*quv|+> zt-;eMJ62;M@xwUyGpe%`V1Dk4JHa6#wkKC;0BMd}n+6YU>Tq@CInD4)T{@h^h11MT zIx-?bv`F+x^Q1ra{W=(iS`CjS)U9SN1&9&E;>`~0NQ>gs+^9}CUyk~umiI)Y4*iZM z1)Q&6Ml+0d;yp*>aGfJZnlG#OF0iCFIpGhra~|_kl`Y4VtZk7#3mbM9MS&Xk@S9Bc zNt(X~z<4i%Hb1qnfu!p+X~`6hh+LRe=N6A8Ax!phRqSH+z2MOpAV39)_UrBg{lT|f z)8`1Un~shropD(J^eH9M>=6$46GM&PzdqwEHMB7Z=_J8y6P*`V`Y7%6b*wM1a1u4y z6{1ATVqhdAv8Vd?-RkE6tP_ew28iWTad<$4kM<#xBy6}$Aghk9e*dlQTFht^L53;| zztP1nV?PEjAXtu>ioP_??20~aA;HD#j?|Cu08@AIxgWEMQb4~uSvxs;FsnAsD_l%q zaA|iZGOXva&Wr9ghTx}K5ol@j4c_WBt_n~p$SL7%m(c^|!H2<=V%wig1#8>58aUKa zRobZ#m4H`A=eK<^(ktrITZzij%+&W9?$k=@t4Xb>VlVYiEpLqwgi4TxaHEkz9?=3x zQY97_-XfGH40crIr&v}l`k&XpM|cvz&o(aQf6Y%Wmd`q+0->{k=PNt!Q-+mnUI$@k z)v;3a^88JZ1?bAt;w|g-4?5>qWgmtRWVf{0_PX&ecV7*?358f9uZj>Oo*A>u5={Y- zo4p>cufgOB)J}DAjA>gvBa-}{(~tPoO>#3M*;MvqI>lH`qG$&L^5ChtJ(9!4Pbn$Y z;Rkh(PM;Ezm_r$Yzk7qK8s6#I-wv0db@O_+`Ia!moe~)uI)qK@YGSzAV>Gnb_b^ze zt;!`gg<){e;zlyfZ4_NAI{07`HkYHyj&Q`+#DIAzELN2T8%Z}ZS?R7<6b>V(UOKo zoH;ZgD@>0Jz<2hL9mRNe@gs9(HiyHtgRBR-!}8~kfhlTO1$#|(n~I8o^HWC=BCh6o zrr>7|C{euw`~f=N*EfYqnVe5cElKS2M_odN$+bRCnj-EU0VQhuY%w1qmaJZ21bK`F z6?f{^X?>ZWJOKWgK5yj4_S2umC3rIPjWEJ0EFrRM7ypE5 z@kagtj)+hvJmQUk2Px9p* z>B-?oJ&ofpO|*blt_FM>ffzf8fy{HddKP-xoC)^*OnUuwjV0crB?4rc6RnB^q#xR^$AO7R&sVW`w@ohjk^Y8CuaVlil- z2oU-s^@0)IPktr=GkeuZ3-eRms2G?wtSs$?$c_7h#1%j2Fwf3>v-3}6WDSxw;}l-K z?bW7dba+pT%iv@VbOg+-BgG@83{%8$)xfeWhp7u&6F8JffvFW)amk{#;8PB2VzImk z{oK?RY6sgHH=|D0d*?O{QO< zMW(F!V#N-i$x zVgn;-fa&D9ImDP_4v*8Ags7VghB5}Ti>$O8_q^w~U*6EpaTB^9gGV#TpUj4zGYHF! z7-XCP3+{x*t(Zcjzdc!KQbi%xg6c5#Z2QRMTN`B@^3+f>2?>{G=ewWZ?2>O0u-$Ju z9CED#>VC{KqcGL-RBvzX#zVvTgQ6Nkv&C%d zO`BZYDv=w5p`C?DKPRWmOTTBQ9v+v~J|IT3nw+v5nuN1EC>P3nbMdFhka$DdrQgb3 z+1#Cj0;Spg3MA;ei}s@@+6gyOO6aTUjcN380jc=OnA|iD= zRRxJgBYpsX8gGar1+s_jZjpkrxPVeE6$W|Ru}=`msAraRY#f15UTMo$nAgB%;1Yd8 zv>|^pDbR_jlU#@8R8AlF?pO`fP3O_Z(JnI3dv%&gA@;iNuf@0>@2_!~Be5w;$OXdL zM8tM_KVr)_S@0ry1^D;*)%V1iXaQV8H zK6cg#h)f}F?Yc-F<0#5&VdoJG=wzGDToOeMC^>sLje@N*DqRA2ppDVYV9PlfY`Qi{ zP&o_Qw<6rrBGpQT6~>2G-#1?d(A(C3Gh5x*z?a>`nfxl#5cOH=t1FCUttNrC(l}=d z?AbuXRL{6JaS?}Z?N6g?@OvVc&qh{@?KUx`()dx=VsI;!2vE)g^Nse19xO<-*{Xi7 z=6|e&`-3kR+?4k^J3-vhMr3c(R85suwqLFUGQH?FuI1Vizog zd!_oDLmA>;8uZ&k@FjU(F5qV5JC*fpc(!M>$bU3p%T!4LN z%9`w@uIOk|Z)fjP=m%?;kc5{#tuYd?@a`EQxoe&uiK^Eo`FcL&pS|8^VG;3Phx)SD zzm9=rwAbLS28cmJ2uKGN008`B7ywFuO@IxLuDqs};!8(L?biUL<{cZmmKXE!#{eL_ zIz$2h{$2R^xcRvG(bZqB#)JSw02<&Qt$n)Z`Tb4+K(GbzKU$jdD)O>g^8e8~{=Ztu zs=FaXvufCI2k_zuygf7!4Qw)csc5jqnEbTM0^T4V>5+!0T(Xmq4B6#@Zv_7yW573f zq?Ion(Vri;1<2%W-zTY+QUOV;N0ut|bkCzaJ+mOHnsXea7toI0($e4k-?Mis3z9%H zlMcR7dA@p_dUv}OpwyY)w(Zby7WrhzRsZ*Nk~wy>6rYqXjL*^ZKSwlSEOT0roT%}tFwc_q)tyPJ_=M;*>Axy-%fgz2{lLH_npnZ2XB*CC{y ze5#ks0g?)-zsVjReH#r0Nd^Z+c+0Nu>@_D6wv1A1HhpwB6Lj<>(@S-{By#6=b^=Uw z2kSk*KZj~#nTsAx0i?FHu~@}bsz%gYB@xNf>-Jkm2kU#JL-2D!6OS`v=zhKO_0(5t zPZvoc#$#15;|X>V3g3>8#Kl$2^*%_+FdFKzXba@6gt}zYeI{^WQAf!;CTyqAv1o2R zW?iQtN1=Y|2^O3qfw|DTyyts-BPk=@nYnzha>cr*Bg$1QT(Wshxc+jV7<3odsNb7! zN?6lrUd{DeeA%UHF2j+?w#2k63f5)^IuS@-fwp#+21*`Qb(|9A$xLep?{3Q61R}?| zW>8L^ZDDTf2iWZtlzFu0mYMc?z+eQ#J|F>2UHR#-JH#Y}vm~{`1A<4WGkUr-+_)3# z9W4G4=#1zYU)0Yj)-s@F#`8>ty|3!kV!?m~#36H@L&0$icudsp$AZGE!ah2kZq2Ms zd7YqCtO1tilFbj~z`HRg*A?A})=u^8m*q~?!al*=vK2p{_~;a z!;#SS3Hkj_>J5tQF1^<;uIbfuO3Y}L!|M$89iM{6r?(|CmbPWCFW zEf=Jt*6XY0{wwp^GMqf;cUPnK$`9#tr$_(rv{vl*Imx6)u?XbJMMo`&hXeJdFkw{0 zS@!zWi&{*?vp@BUPZ%Xg+YOL3y&?owq}v^vwC)lF+U9~H1Vsd_f5^e-Cf++U2>>9Z z-4!D+{sWzVPozngAdn+;rx}(Ys3XXxRsOS4r9G4&s39b#sgxoJ3jO~GBYgqci_nV| uh4=3O{u^k>{{rnFZOVT`|C?C@Z+}c_I diff --git a/reasoning/ackermann/test b/reasoning/ackermann/test index bad785883..f5a9c0748 100755 --- a/reasoning/ackermann/test +++ b/reasoning/ackermann/test @@ -1,3 +1,3 @@ #!/bin/bash eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3 --query https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann-query.n3 --output ackermann-answer.n3 -eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --ether https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3 --query https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann-query.n3 --output ackermann-proof.n3 +eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --explain https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann.n3 --query https://eyereasoner.github.io/eye/reasoning/ackermann/ackermann-query.n3 --output ackermann-proof.n3 diff --git a/reasoning/workplace-benchmark/test b/reasoning/workplace-benchmark/test index a37940b9c..f51369658 100755 --- a/reasoning/workplace-benchmark/test +++ b/reasoning/workplace-benchmark/test @@ -1,3 +1,3 @@ #!/bin/bash eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-query.n3 --output workplace-answer.n3 -eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --ether https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-query.n3 --output workplace-proof.n3 +eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --explain https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace-benchmark/workplace-query.n3 --output workplace-proof.n3 diff --git a/reasoning/workplace/test b/reasoning/workplace/test index b78e093d1..b79f6fb06 100755 --- a/reasoning/workplace/test +++ b/reasoning/workplace/test @@ -1,3 +1,3 @@ #!/bin/bash eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --nope https://eyereasoner.github.io/eye/reasoning/workplace/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace/workplace-query.n3 --output workplace-answer.n3 -eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --ether https://eyereasoner.github.io/eye/reasoning/workplace/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace/workplace-query.n3 --output workplace-proof.n3 +eye --quiet --skolem-genid 8b98b360-9a70-4845-b52c-c675af60ad01 --wcache https://eyereasoner.github.io/eye/reasoning .. --explain https://eyereasoner.github.io/eye/reasoning/workplace/workplace.n3 --turtle https://eyereasoner.github.io/eye/reasoning/workplace/workplace-data.ttl --query https://eyereasoner.github.io/eye/reasoning/workplace/workplace-query.n3 --output workplace-proof.n3