From 5753859732886fa31c0fb62af20fc0bf89220f65 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=A9r=C3=B4me=20Euzenat?= <Jerome.Euzenat@inria.fr> Date: Thu, 25 Mar 2010 22:44:53 +0000 Subject: [PATCH] - Upgraded to IDDL version 1.3-20100325 - #9683 IDDL Library does not work with OWL API 3.0 --- lib/iddl/iddl.jar | Bin 28837 -> 32172 bytes lib/iddl/version.txt | 2 +- .../exmo/align/impl/IDDLOntologyNetwork.java | 4 +--- .../align/impl/eval/SemPRecEvaluator.java | 6 ++---- 4 files changed, 4 insertions(+), 8 deletions(-) diff --git a/lib/iddl/iddl.jar b/lib/iddl/iddl.jar index 8c5fdd483412622eae5cdc3f03f365a844d6b80d..d011b38f74bd7a0d517ca28ac7a7eb3fe40e1c04 100644 GIT binary patch delta 30123 zcmZ6yV~{31&^9_dJGO1xwsDVb@7VU-W81cE+qP}nJKFQS@2OK?eJ52(x;nqEbdv7A zs#9|CtNQa7f}+fCFc^^kX%@wvd<h7Y$majeb*uL6<^SoX{_AK-%vP8{xtK1PASSfX zH~+i%0#RNvi4wH!ZaM@J%Ysi!KI2G<i3mk%-?!14qkrFR7}XaE-5&X*tXtWX%Hq}a zz+z1y#PQ#-r>1SRVfziJCm4?ang>}{zwWx!Hi@nbjz=zJ`|8xP@RTa-o^nyrvkPu@ zt?Wv&>Sn|0atWeI&%0vIhS~mhB55CmCN@3J$<kVTC^j9J1J}4n+IQl!usPW5-2s$m zPGjWHU;hV?*?&NiFn{5L{jb3Fi}L>!On%XU{SU^Zq+iU)|Fblz1yCeG1_7BP0|B8* z%KwFvboUDx*rEyTqq?#p7?v^7^YrM?L^cQo=%<+=OH!(bN)p0_vS5QvtOwKOk=0Ke znCL#3ft9XSuUXyHtEpM(L{DpP^-uIyvbL7dxze|-k+E&j{ucOF?<-N4o%5WUCc{px z>)RV+-1gq<Im`84{nz21`*nOU24aZZTh@PbA3*2^9PD#=s@wj;<@`5019W)GgYkj- zH&XNu<6aQ-M<c-aU1-pt<Db;v9+}VdP!J5&eS|+VxETq&pxCh)3@5>6tbTw%gg9sj zsPjH*NGTboUj)qC2#Q*S3b}j|R}LkhJ%gB;$gy--Il>erE`dwt&?Z7SVhoT?>R3B` zL`J{}bj%%gig+Sti1!E_R*>dXI+RAi1XRasQZth^01R7(>xXe7kRvERAJBBk92)}5 z4$Ht9l=2A_RPvG2Xxib5K&{a&B#<=AglMf>P}6AJK?R3q%riRm4*`O;gQ3Q{G1g$Y z`fyqIaCSIR2Yh@<SxxEr(uPg_7~r#Eh-fyzk(TXjddHk$4)86<o?&<tPMGatAw)N* z?dpDx?LnEd`_dqkIdqTQ{wH!jd1Ki_^+v8ya5uoRW-<f#N4<`5+;DJk7rEV01Z=ys z)6$e2Kp1~%+XmC(UREMtY5{G%tUsk))UXd!BO(0xznzE|xEJ|ZpIw6V96H;u!juMf zrwjJ>&ya&Ms_pZ1%N}A*ba-?GYV4<ZoB{+crnYrQ@?1_e(Au#Xk4~%5INsSg?$^Nm zME5z7za05f77t5TBmA=_?rm#ctk-a*gDvH@jCqX{lFcMm>#Qru4ephFw`I?%gZ+Cl zqf0tTZA%lRTv^54mG^LDYDrR|oSlK6b4)XA51OWg;-3+%T#{W-!YzH5Dj9w=MAYiF z_BK|UJqQP2QBy*H@;R}k$D*Un{*b_Xb=PUgWYB)1Ovuj=ndR1M;t{+2*<^2MufPpz zE-7b70Ho6*VW`Whn?A~(K!DxR^r(oYZ<>uBVzP}b-Za!m&#?SqHzg*=wOj$F$zL|i ze*7uSl66r2wVDzFcUC4`*JOFIFrl*kletly!S7`bQBYmzBtu+?trw9@zmKzHA(z3k zz`)zd3j0V~DteV9E$Kxr`nr-Gr)(V&8j~~Q1+c$kZpIqXx-6If95X|(#FRt`cK#=* zut#*S14Z8PwCaSnSg~YT>1qN@VxM}jn5(wdOyWe%W=gVeY7{9DW7gs@iu2aD6c?7! zJk~B{v@~1A^0IGAofz(<4y~iuC!a2<rVM=5<YaW}B&DmfSd6)q`giD2ta3MVx}+2u z)^AORCXnO5KB_#K$5rviYIcK6MMB1v$KWpwCSZC7ycxxVUbwN}9<>{YQjU^KB6Zq9 zF>pZ*MFVZvd0wQ~)<#6<;6eEerGgHF3o3u8f~mm6bx={hoj*w6VGzQ*FOPm3NQ{0P z>aE(2d8=~ZXGh@g4W?gq=ziZta~-(jVkZzzGM(uW9V7$h$q$yeASE_(_23;mq7+yz z70qN57RlM)<ny=$#rmK9H4uke*n%n|ITID%eY>ScvN}4z?bQy#?n#3)C;TnI!-ea& zQqFH#ji-sGA`&wetaDm>6sFQ^?_*<BJur7w4s1P=F>D%TwG~V)4!GZ;ZB5~(>|R#M zc_u8#U6C)ZWSuNaB^4f%wJ|4rEAMflEAM%}0x)bKI8-W`Cd7cF*DVWlQy5fqqcdB} z2_7t|6Ko5C{D2X!2vKHIJ-4dzCFpB;V(8K}@#_NiCJXQ`?n8vLjV!!gX3jdg-RF^t zanL`QPK|2v*@AG0D}fW&>UpLV0C@AwmVixM)+2r`mW#Pdrll2OYDUJn%LDfpMT_gY zrW&y)fZj0nQXufK?&_?45l)-BHmaSlS#?@wLyxBJ<Q4qORj(6yP5r#0Gn}6!0v}p0 zLWTl@D`RWkqWEUKV#`i4WT<nhT)H?~j4or9g?&?~PTxeUnqnbKeibWuEVBTc9WM7b zbWhr~)trsgACx~e)n-u6PLSNCoOI<;NJ1pdU%$f^M@517l=mFyK!4r|T4vnKG}vyv z5ne92v(AVnr}^becv6n_biiB2A7uK~s>2))%oA1w=x&`6?|XgDI!jR#YkiJcv*VNF z8AX(~75m8&zHTT+=<c|LQ$KXVe!|Lk(rxk9*lPKk`9v@6sOn{2NK#Pus&+_1GCcJM z;%%7_VnX1I&bi2tQpF)tY<WB4Th%*LY~?!?F@iuOVxlPJA}JoHbl0i?YgKOlm}WI$ z)jJmoofJL#8gGrz{Y!@4K?x|Z@(@+1I*MwkdhiT;`5c8s5K_GqS;mxV*y|>9X>+^u zO{u$K!A}B8F`UT+pP<3CUIs7epYF)-cUYb+>26@;_HKa7^mT-dw#?0C09y#aj1Pk# z5B4Or_m5Leu2e>5g5<pie%ko`Wh%VV+U3bGS4u?Z(-bC8d2Ym;MNfk)JiYm|W@l*3 zWKj5Nr*%P-D^b$;?d9EF-GzY-a$cj&M&o$tX(>mP5?2CAx%7X}eeEpiopw73C6i=W z%p4H44DeK{+oE3nF7t&x*bvscxU>==Ap2<EE-mAl#ZMy;(Wm}E{n~uV(1KV>?QfQ` z=|3S*P9OK?z|WGVQy^?=Vr#9_6{#?^L?bZNa;;^TJ9JjjUG)x%Q1OoIkyi`Y@R>MS z;pt?z2#sVsl)3)9M}n6Gzua5P063Hn3kIqK&uU|<Mr2D4r|#*{4MS)j?$mrjSdY}? zpHU$DC*|}Q6)r36&<#u;^vANcCvTT0zii5e%G+mROO__Ywkz9^b9QyixQ_A%aNi{Z zfQ2-1_Lc7#KN&ARIwS6yb3y_d8Ut;bg;x)ZG`&-a4CgE)T69rNsmSxL6r`&;^}w0I zSI744PFLKHXr{7#*WTuN+qg*mfo|dSMpN<|$CBx>0LKou_cJW?+~n20^I<lT7H3cX z%`&`=R7D(OAJw~>?Ixwn4cLQcwwKbEMr%%Ex?xqADR?-XW7g7pb(>SzH@Hl@f-7+f zIn|eM=Ab$nvTv{pBzZm@a;q_oY2ZL~MZy7}7hx8kx4545)TnyROclE4l1onmnv^mD zpmUIw#a#0g@ETWVJOxPg{Xsq<*0v@$pL*byIHh~XaRBTVgG}(W`((3IsMK?gN6M>$ zBZ|-LmXbx2v!dpTxhbxx+qpS-FUpG$AuuL!M5eBWuGm&>U5v)N114RqfX6nkjIhNw z;pCs^6@l|^?~+B%A4ctJ@};G;IG&RbGFP4pQV24dzZBIMxOV4tJuHV*H|r^k{!FX! zA2WQWX!y&Lvk)l1zb4%4uVNk)i<ma;;GdA2SY*E-O3Ikak=C8i6J<Lb?=;))B1>J1 zH9h>P5hfpJf}~GVP)_^J3rvSy^?_<!{nGk@YC#7VZ?ea10bjeW3Lde<iAb2N^BC)l zvpMtSyoF>K7$|CS<KCqMX$gQ69IZ)ARB0gNwEUMWx-X>y-&uq8Z*b5+U7kmfHv0F@ zMy)KWt#HMTJsDTJ??dq{^{oAO_jV~xY8$8EMTWHz8&TEtH2ntnBrr4OE7TrPOvfh3 zqk4L%bM?h=sJnkdxXqVobe|;6y0)Ymean(O%(?-mtr4A_#K~)N*p(|r4LDW4mR;m= zcS@S=*H?Em6Mpl!$s?w_FJ4Al=Hy@zHPC2e6#Y6?ujbKpZ2-nJ`K|i@tw*(k1d&Eu z|IdHz1KkJWSN7oFfSTVu4tXnkch88LPcVJQ6^sXasO5~L2;Td`R)mFh-}}EAUob-? zKtywUn8<^@2ZmzOa0xlZx5MWJ;=Kn5allJV&?0#ygy3cILoHXH1(|X(X$X=PS>aeE zh=goHg<6Bd3fP{J-uZ_VPoKve1mT(pf;U9L7`lvLR0qA*fncl!m>&lsP>C+y(v{r% z_(hg+{zkt@pCPFX^WN};olqx+m@dm3u=t9h`Ue&FH4}Z%PF+-E`nP=@be+pHk9m5@ z(GaF_Lm$gI&tK>^O*bG9kUf@-<^gb#<p$_5)8;FB;F#@RIr~;0)H(x3TnQeDER^Cs z1^Jxy@fn|iz+SwkvHdZGCnRQbQbIx)Ri-B)@*6uCwFkRIMx??XdL#F}qkB|ygC<f{ zUn<2EM%5Nt)phjB(t1T?NvgCL1=t7|C*lNoY|2GcEm2OcP<<R2IvR_z5iRL(cxRKT zJf4Y1!Js@|yglMrm=}dm(7aY%b5>mupFsUn51cq3AfL9?Q!IuWzCSpEQGK{ZYR8zQ zUgBj0SxarrrEcQASmMcYz4UKd-9*Q!JV$fUFJEKT;K0Gg7C3Oz{if<7!SgoP<|B<? zb7S)&j$MYoX7KzCxOn<5&cDQ@7m5@W;NrAh6Y4st$~((*rC6k0k^gsOw%bt4Q8Qc7 zG6BlC{=2PiR2gtaT7`Wtsk*CcRAS9~eo?Fot)$~+*El0Nm=I}bX*9H{nT(^aL)C## zGQL{Viaq1On-f4ATM0XDhg@wxF5^AMIKloa$q%l;E4jiA?fUrdgi2&(2cgV-Un^`0 z?~pCz<AOL)+DLjy^@QN!WDkHpi00eih77dX_}wH~&=7>c;|w;76Iz-|Ol4XH_d5p7 zyO{&6l#0t6(=iXUgemGi<nu3>Un^wX?>Q_v?<NP@eNTyPOdRm9(r|fiWc|juQN)Ws zk%rs7h^z3TI<OKwSTDpU_(fWuF^XnJQ1HuEp#`tFhTiKf6JC@A6L@OghC_bq=j6cU zEivFiq2YqxxzK*|y;o{D%Yp25aHgSB#yVnFnUE^PiQjslD)_AMelafyU|y#Ar<E2A zA%>qFY)-Z5<a|8}(eb)tw&85SV3`x<40YzL(3o&I)QC0@DIAg~Ot?r`BYz7gT0}u| zo)a`eX?+zLjnrX)i7c#Nayc2jM+tb*GF%D*J=sdkWxY5Npn7l=(xjxRy>YpbiA)Q` z^;W#+COO{`UwFVH@v6{FHKcS4vU`!1;?=(fafPcC($x3aeLS?Uss76GPx~bhI^yvt zxu3-Xu_c5-hH~#+HGe3n_{z!UTjH;Q1J)hs(r>-74WnfwhCZz3)P;Ki!3o6HQQ=h5 z4-@1{aAu}fl=Y>Cw3f+Fq*)Oa(li!8@YSsX<sFQ>3HmX@%6~B27xBLLBzfE%iV8hA z%#Rc3HEc;^64IXx5Pf&WCVj$`Ja|ON?J)-H9TsvcIjLrpJlV$Gk5+1r9R7ycP)8Wj z;4Pf|MTPjG*Q}!XTGvtW@dAtyHK~I*`4unw6+@(_-HZK#Ae_{cc4*hzmGmnMx^XMQ z;X0*zrZ<N59s}b_r%m{Qpq<A7K41c=yqaw%!2y#uEf@D(RC=~0X9MPkxg8CSmwbZS zUbFY3$X^iJL#1B_^k-T?PipC>FYup9`Thcy-jmPKD@Z)<+r!I)?Hh10h*1TgP$Dq* zoBp7>Vkos_$i~8s;lTU9K*cAkPGiNTCsKK$vzGK6Kj2Qx*T`wry~dVz9b@e-=<Xry z1oyEqT?sU9y!@H&0n*nd9yj%U>Wfo&0Vx?Qsys6};l>UR$2*Jv-IupwJ<TR7YrVi| zEN}6#><{om&j6$8Ko4kuK{%V{=N6W?qcq*C8g$8U6&e{Gnd1PjD_LqDL@?cHh}cDR z(%H}cj~DdEm^(mVPpDI0Wf7V(4+d%DFPnr`5kV&6Cn{Z7?7$!?vi5Hh@`Eo_`*F4> zhVC=6$^+HXP$APK^S@Nv+rsYOI+|BHX>&PFwA0SlBOSbNn?}0rG1Du5Y7k<2xWSgn z+jZsg1oJIw4nbZ9DjaZD5Vm+q_P@c*HXUCT2!*-DH(+7-RerE{-DmTJ`Tso;@4VeO zK>{KFKQ0Ce<bQY;d_N{6dQcFM=if;{Rs5u7YjmKk@|HZR5}KYlkBe7^dU<m=Cm7n6 z<rP&ql`T%uyO0QR!|3qTR5HQUfa9jDf*f#!aUUHuBtPO|0@C0c_sCX(*U&!W&z<wD zZH<;W@ZZw~tiS1Y3{h+clW{xRV0UN;l<Ksn8FTPdZXe1BO07hK#3*ZMXmx0ID4%Gu zdnT~;L{pg!FLd~{_GOiYT9K1>5naBgABhe|avVjJD93X!U%+CSOSF6TWawx2!o^J2 zy_;P%O*Sso)7b>w@}`?XXJ$-&<y0(zctx^y@PzbsxqV76R2(Rw1G7~uYXsLEY7KV~ zS*`-yA|I_1l^a>eU2GTTDUF|Zgh_%kOb22!wC`bXJS-X=@=T~ycar0C#xK`bn}Bmh zgvaW%*O;KYV^M^CVyEhNmOAJfZOHAic%I1(p|xb%+Ev%tBUr4hb?NP#@FwP7{}Z&8 zy47wJ{s5~nOByyFk3;n)JO1~pM_q~|R(b?txG<RuJCDcj@|UL7n!Z*I{cggJo+nVk zm}_Th-|9IXlSu&=H;j^+&vByCg`#F6w^RoPz=_F>FaY<8Jn5aUBN$U`z$(65mBAz+ zwDGn?J^g-h1~m`4Edw^GKf+n<6Z-L7uL1No6d`r?SKPQi;_fu}W(M6B9UuSbhch1! zE%+MD4AqLe(#j@{C76eOL_LlIOP1mnNjIVe215<;V!4E~_=NP9z6MNJe&2fofyb{3 zLWhceq#{H(v;T@)I)#|QF#~}A_lZK1{T@sH1p*SDB!s~Rlu_6cLJOHA3zZI}W;jU@ z@PtR|WUjXz300)FQZ6nH1g{#%jV~C2Yn(YEY=9sORvbY*j}zIRD7-0ECi6b^TYc$} zJp1wU@&K!kNWr0asDz2Fpix^QFy}JkU*^_#?l#fH+=102`;O&9?~%30vb2;}V^}_k zK;@B(k;=XSM%3~ow9ZS<D)Lw`s|rv`=;+xnC*xXs!ws~`pbvSp#ZM?Ge-b0c6k5We z@^UaUti6^OMfS>Y?>hTHF^By{Qd<_GGh`k{0UOFP@nkR|y;1s_ah*&2!K{((OfqGF zZHN{RJ<-Sb=ZNi{*5HoamO1n4PVQ{3M!|vAkJL&B9B57OtQ~iM*6@D2*CYoYT0}Db zM|cqw@ekVUSvQka@WRC8CZB&<A&+X-EX&CC-0ikeRmT#dV~GUxjy<!CUc=&wuJTjL zSDY_2{?@UOKe+-F=gly#&#H}T=e^7)jA*?_<lfc4D46tjw?u?XDN_{kvL!pM3u`w~ z2-1K6(-;`fPkwE9FSv*FnU0tB@(90piuwO-ut(WN5KKf65PWG65bFP>TJ<sDfD9%! zM$XPNI?z67E7<>fZ3fAv5@A85K!PANQ4Bk}rNV>3*fJf+!Jze%cBEODx|(jMAuL*2 za%)~}RyH?>2mm?_=*fm9n_KGMdvCsb?zUAm-@92GI~%m0W}?QxFP5j%nSY<V?mc(D z_OB1yz&sxukkx$sUsVneU8;>Tz!Xd$%^7WW{qhm*)y#_!K=w(<il#<DlOw`a7VUv0 z9FM}F*K4Qz;9vc6vp4W)2P1Bm<RKo$+*o)NhQ~p?YT7Z@^>5kL4b9l7jUkj#n~Gq+ zQBUkHHno0jn^$FPZj<IfJ#{Z;|0=A1E7y+j)-|SSuGb@4)vj*fxj|>Cz#~t6-8g!b zRzSP(AP4lEBnX&+23g@S58DP4+V24qDx=_%9nl7VoQR4>47F%~C#Gu1Wko4iu$OVg zd=2O+WEFTEdMHz`;pK?hR_{DM8py-aO7M@A{ED&j6E-cCFw*B%nqnL?S^VfMfCVlx z(K7cv=HzHNHKG+vg6cC0FvMom1ZHqkH(kAowJ<$EkGD&EF>f<`2u==ha#LQM!$ld+ zNLoOzGlz?$8gKPknDV62Cs{8iX9rqSgR2s`0WGeA*L6o$TO^5eC_rDChefuoDinQ5 zI%NLZeW<rt6fr@(GD6P1)9dHUhXp;GA*}s{-S-_yBt~$@ZR&#>hy}GU>w}?ALUFWH zGZy+g^ycpOq@j>tK6tyvZ)v<Tz8%3_11w{SI%>$bxA6smQwf+@b@swcTQsL1({Dby zZzwsxfpHTuTxmm5=A@iwuI$%#x<1=R(2X)2e6Qhru9M0n#oti+E9-d7rfMo8x~+Jt z@kLfdva<`ITW;=cKtk0Q2iPJsc6?zCw9~A6oH1`sLO2>F6>>{*8%Zj}#)&F~1cj== zOp-C1=E>70F;>P(+&_02d~V0_C{Dd~#Hb}^T6M;W)Es|aTOwiC&9W9zq)pwb6l3H~ zrDC8q<CC1k*I=;B90<v?ZkYKihh?Yus$f-ICrh&>P^n~>fauT_MOIV{*7R<F=BF1` zgDll567+J^YhKK;Qsn$O{()6bVo5Pui%tH1kXnsD-hGu)WTtwdX!=Vb>})T96+?Z@ z#J`w`kD#HDE?uQFQiEl2w7?dHcBLAfj{=P>P?4F|`MF%*NN+c@8ijP)K$hjQq;4z` zWV^=BE~Qcw0u1Dtt7qmFhj>KV60sq^k)XmaKP>=TY643)OW3&PFhJLkG?jBaZ!W`< z!Nkd{5E0eq)aoATiD1g|rb?e~lAc-XQsAbpWz}4bL!`)1dpIjEs;nsB%eAuu8|e|= z)^YGR9}0HZ3YF6IN|sx}Qm!#|&_nhku6^35b|`Mh0Y*|hksFD{;LwG10W1)<mO$kw z`1z1O276^>`t9)dYBB-Q5-p3Orkll-E4<sdE=0T+dhCu2A?%Ln@fD5ns?rAYEZtsz zoO%))(&eRaOBL`hhS(KFED3n_0q|+Yab3y$?~l>fJSdeasaI(&Trx%vDzu%>5V6*c zkovKXz#Xz*H2zxD4pfuX%cp=%yr-Z2U@Y14`3k~>7$0i<gIVf_p!%H+oMwNp*}OWW z+l<1E(^j`MDLV{CsK<&FCU0@9`bNV-rnZnXaPO|q9Xa*pT_z=h+TR>OIp`f{T{}*u z)J`|UT<z+lF&QPp+0DM8ODZ;13l(9eDZZ1PK*veBTx_+}_BDlu5hodDN?Xz+woGP6 z-i}ytFyBITM{KTD^;%k%%3-*X3O{h2fs=72>#QXENSiw%3l$^ST9Zbzf|%GPsFsMB z^rj{N`(}j6U4erpvx!ywU3}{>sc@^qIL@H#N<IALb&0Qv23;wf<)pA{vhthD>#xzj zz~tF_Mv5hhrDMjw)9PWN$yg&6+T>oAMyR$aL$i-+4l2`)nZa3P*YWi#gELU>vWJQx zdMOi`+|k})A4_y3_t1r0%$EH+lu_=EA8V#I1*j=*%RT9+dOx>$hr~N8YtD_YCD1B6 zywFZ@O%*6Po=|f?1~BTn*&pvPCh07+KoVpI+RLe6kHt-r<~1t6@WW`Ld{>GL*cxQJ zOxYhh!33T%yT*GwhmPzn<vm+=Ztl*!QA{h7yjqEDj(t<n@toihalyeI6((6^H8WrB zoE*z6zqORy{YZKy+DJp);GZVcls~1HZQaoUS>&c0@fe&E)st39c9~x3W3TEzz^xvG z{Wg-VYhJJdyR%gCBo!N(W*PYn5ANS<I2^uzn;{6eOn;xP!#2WClycF2u8cb%656-) zdsvdWWn@bMCJ2+kC`SL(##6Vg@)pZ9{mR1^wR6uMDV_N&{gYofXeg|GIo-Oj4<?40 zy8t>h2?j|$$?>F2$k+(a%2{=-09+*j&Dx-Lbhje-bEkx2V33Zpg-)|YGW6vk?@d+w zXumA}eQA?(FCBe;+@%72Rpf)Hm*lm?Y%HUc#i80}Rj;*_u|n-fF?={pUUArmq19?4 zPBT~ycJ!=b(Sl$o$emN|U(W`VZ&rA6G&IK3<5V#pPdzJ}5g0c1rM-$l1e(<ztR4!a z^Md}Z%=?a<SS*vozq+!iqV#snvhEpg`C%fwjl`<hJ4%A?4ScLXi5e*~t6k#zjiOI< z5CT<`VeXX~LK^-rFp<k(6d}kpnrh(tm}-%$a!l5(zPzKK@2GoS0XusOpyXnm#O{MG zH(8FSqFe?&r4xiBn0glE23$W5dNL|PoDF&MSr5VdYslY{kL%?#4_YJ8jn(B_kMAbc zz7WRm5Q{h)>TGc^!v_N(+Kyym9dncqmPlBNLMsgnBj3>6BHO+l!f#LF%jSmX7*V4i z#!7{+$ZXsV>sdb=(!1vah45KNocqlG&4apF>6LG-^Vpw*=$@470fg?l9{5FgJ0j!j zfvtZ#M0*c_HYG$DgcVp167K8=u@3R6$3!PYIAF4lkt+XiAiR~-T%6}D#DN!m)tH5_ zl5}YjCZ|WkKmwE>#2eQpD?S-vSytv!8wLgc?U+=bR>4D`Y)4C@hKK?WwbacaO!I3+ zG0KTrNGg?BR}7!_1SV1?nBqN~V-_mpOcy2}64}s;rAN1k#VU#*JgS9^-<Vh<B+iPE zVUHZE=cL*KOzDF0Z8*@4MLQT0bd^2BOu-<NUP99E*%Bo|<M0Zb)z0o_qlI(r`IOu= z@3!&mo%fr%kN`Yg$bfIXYqsOYZpo0PIsPZ-nTU>VaZ~CtAdA#wIv@`vRvZ87Yh%jP zEsj2MCN$4JPQo(hOw!}2ph+dJC$SX~rxSxS<)%?uXVgihP3TXFe61;FUyao@e}3jb z0s%K5qLI16j#Q;Bp<-*iRHw+KGv)e5B>ov|h44BIH4dni<|~%caLq6FM4tVa@H8wS zSUR(+8~b1UPtDt)vk&KrBI8AmEUFD*XidxuW&0iGUx4=*zJ_rWIerv?c}NG<c8WvQ zC7FF-i<+cct?xjr;5t}ueeJjo8KOJ%Cr`p%WqOCZ!wU0Adu%cd$~kUUSzgcS)UJ%% zY*AL_*dfX!#@%IUJED=2J~3e&<*AbpV}M2z9?Dt>7>J_&1Tvp9N#<u@zgHnfG7Yh7 zSA?;m-2XEMkFM@gXQ&3TQ?%TK-8%mQ>Q!05yVz5G;n*+vi)$ccKIO<&`tU{Eq2b$$ zBSuxkow4VYEl&92wuqyYm$H=Z_mYXprHw3jQXtb(EJfI+m8iOZ*w3$Ny&t$~qV(l% zAGk?(U>SULeM~JuKfp>k!y<_wRC)G0vlNwWkole<>_U!mpl!?<)C><Yu1HVfW|E&W z|B_2e&I1py4qnle$z#3#BwfBU6zvFVwwSf4)#9qqe|?+86b9mKt$-WkNhZ&~V|BJ< z3Wvc50W0l)TSPW3&jnQ%ykyH=Rd7u1B^L1kyjX<QJr~e9w~wEf-3yCE@BE9!#wS)< zh?_tV>UF94$Cd67Uq7p=Ml?<(?4-lxe8L{GGzX4zh+g`}OmssAO@h2Q2dqnK%aXJ; z_FEd?+O|!>+KPf3MPLs;?Kr&mBI3M=X3ftx?Pg6$;fk3n$Y^wbIt9^LS1=E}f8y!} z_$q;+M+Y;OpAa!?9OfD`aLBAF(pFLvRzQs}*5h}XbJCxtwAZ-$K|0}I<-dqI5EtXR zvfO~l&@#fBAMNcBXD*uRakf#|(3f!(xgz^k3eQcp&Ll`K%<Z8c454cS?T|s=f71#g zf$+=AdHw9r5xhYMZAZ5FglzH4q`uG%c!C8siaNs~FI0Kj+m$V0+}MCUIZF3{ckrky z3@ll8Cr2#C=dh9(l$C4}3L?ojWP$wSk0g@MC1z9yxc)LHpC`V=EmfTAKSpu~Q~gyU zVVH+x)rSN?6$%L{j`NonPGnM&X5iI^FuEF5Baw*fII!@y3`(k8w;LB5tKh!`!ua|x z(r=!lOo5=st=|fQ)k*crxC<)F_ww9zS?{Z5lq$exX{g+_plRo3KW8ZShHkEPEM9nN zoa63Ggf-{#5j!LyU7C5+4AIQyi+bRb`!QGOE8OTDa6oRdB7C@6?GaCZ%3JM$+an!+ zOIZC!?n4#cmAq!{3kW}FReWOr+xLuC7WveDX}je>UfevwKrVlIl;xM~jx5|^i1meS zB6c2r=hN;YLO%&iFBEp~$=tj_KluqtMm_qaZ%XQJ93vY&Lvm@WCL$_-DrqG0T~6{! z>OBZtM!qo@h(9n3Cyy`wZAYp*5-DdUUWO)KMinVX97sCST$5=}x;OFw!sNEvej$ta zq6wTvo*o5%fcZFO%cjXaQH${Z&T|ug!WQ9&or@7YD*AXK^WliObml_@?yg7~5G`XK z$kbZ&%9hvlYv?Wb#3&k+#bn`H1Ctc@oT#_jpkH#nQf}N2ypPmd_sV(+(fYsQKm1fd zo=h%3p})``QviabXQ{_P)v3aN+%G?%eiwij1LVuKdt42QANm464X~Lzy~$Tdk?#hm zOhNSZh_8%~9}@q+v|qNm(|Z+ng!exBz;D!_l((I}gOKjKTGaceDDmKTU}SjAl^!J; z#SSnE>!M_^DVhg%mIV|&+f-8|{R=nJG8iy1I{I>~fZ*N0=1ii_wTf+)Usey7J8D_X zWFC&fOg9$ESCtg<fMWLH;XM=_eR3`{sXinOV)~9nCp+$r!O1nKtqHEE_apd!((C^z zX$mF=i!J^Q0s;mJ0>bgX>GiG+AuvZ(PGw61%WpL?9@)u+h=Mp?)zY#ae#FkgQZyPB zwAnF?B1dG2xI<MlOS6K`lPqDL7f8bWI!GSoRyw@2NX*Jl0W3J1eP(n??7W*Kal;}^ zKd<k)yL}S4Ys>xj_W8>{>b;RrG<}gN+S2huk&g8@Ret%x1!)YCOQyKe2yjf=r?7y~ znMPnG-$a`(ucAG9xH}Z}u($XyGO`LzJ7<lvgK+s8LiBLf7GmVt_enDJfVb*x2GVSR zdB-~>E9=dZy?c5dbM@M=a6De8=L*witxc|MAP97?)*F1QF<Zpc)AI$_4kCBz8_;tA zRg!qKX_RpQcwN`#uRgP529C?*j$qf~=atVip>N6?O*rF`H1cyE()6KE&>P=>g&RK9 zKw*gcY1|MYjGt@~4^7zAYILet7ifJS&^9&L+41mIZb7M~C|^ExzWK8dn}SDavj*WJ zBTuxsMjuAUGXHVS9<;>AE@&w~!bu%|X^%8Tr-hRktHRygRBvfL1m5$w52f7D*oX5m z>uT3IioRPcdul$>9Ti|>sU@LEkKwq(ud!a{&cQQ2ax;xHFS&KFlhXOlGOaf_?!Z}D z^DRGs*RsmG9e%IEx8lIhA$GVn4fv|0-#!}2zu&jK#eWvts^YUk!A%|g+CYfWT!MmL zk_TL0L`TAiKBS{(0=bUOrQBk@MoQkujS?W?E{e#Fu`Yu(phK>56;`fSoK;Kab!-qd zD6+1&^)HHiC7joboWX?CKD5ubZhOje$d(#oy9wkGXI_t)lLDTe6|f<|L7|}+1fCHA z;rgJ9mJ51hRnPK0Vpm#;4D(%LpBZ1v1e(1OVt!tT$^!prfyF_B$Nb}cLOvpAy4B8^ zY{9X)d6_@(Fruiw_{&|)R%8;E!Co*g@X-sXN!NqfW8SuKSz*xvou4W+(y&LzX+HO; z@)5p1ugr-~mYCnX(5+h^-q*~^pXYm6i<wv+6!cKhX!KyJCwe^9eblLACwC^JB#zm> z!Mb8T<GUrxK;)^e8qCjm&P=J9sm1I>C1V)TYi!e3<i(;!DMN{lceFd7wxW1<V9cbT zWI~U^l^$Gg;Pm=<pQ187O-8YC;6k462xPUmzh-Liw6eyA%%V*~CEkwvFGNOt(h?0U zMaKYaF}YQWgqulr)Q;V;h?oKw)S$UT-Lv>O=BH(NQRvM%>5>Mn@+4!zqJ8wg69`2@ zKMA?rv7$lGD9{|+t!lA$7Of80u!jGB|NpLY<o?<$E(l1rQc@l{D{zDd+T*{9#Is%5 z)0xM{M3A@{BjiRFqV!9!cq9x`BV;6;<;(c);Dia;><kbkof?@IHR~&N)G9R#IZP`( zNNPO`TfNRsovqDHxvtHbS4@~=!L#1a-EOT!+4vtpLg!uIw_NWzzuS(t6YsIU4|ou+ zn7fz$rs@g!xq4HuOdvEJWqn{j0JI7!TP{DOpBqda)q=b}v|k(a3aXmYp>~kNBY#`d zy$EuE0+Bb)wzQWX#=8%aqLJd#&bg`P+6S|%e~94^q2jtYLHcMWnp*>;&oi8tAq0P$ zry&Oa7C#fNc_TupcYca1iWlaAUD+B^fQ-csKG-1JW=(xKB=EF}0yAo{X$-c@;?c*g zB5FjJPJSjh>P7jVJmc1g8|t~rx+&YYQ;6O{K*@Cw+ZQor*WySm2@T<EebolL*oiji zT0%Y{u>*eqF50Wo;0G48S5ef?u`ws@^$`JA+D>7;f`=jLCs}}wbmA78TNh+25~{n0 zA#_*Lyny(SJFr8uFABbWedqbrGGyl{fT$}?{RfWvSb#I|livn$>&ht4G_Pp&Hv@;1 zs-ObYf8L3a=33^tac-pd+87a~%Rp&elx%*8AiO~m>YBn|MDWr$E<u98y@_l~p<SVU z{g;<tO206u0qMP~_6IJ*tDG0N*uD<KtL@@sQgIu7F|hd#DdrBvBN8H4eVvt{J%azr zXwPKtt&y;v&}%(zJ+9}P`?Y&e|GvNGT0f+xygrT30n$6;!+?1@a9^$P0X3xOG@xrk zq2kP(;nn%lCnx(D6U<L~A0D)i<legQ1J~+X-KekVEDLN`dHwF<FC-|C?4A-7NO6y; z{cQ^h1d`u#UVich0I9C?2woAS8^gY*VE6v~qd@)_*53t&u+)zX`tPB!$fj&C7J1b% z1m1`e5)^LaEZgP2HVQMp%pq(L7X9|mzBb`b$r#5aG=!B5S>agb(13?-9IFH5P(kgu zX9H5}lnx{GE!>AUYC%1)X*V}~6bIReG!_!I2gsZ=5KR{>E}<Z%@IJRSzt|2&>2c`$ z5WL&Nmkz~JZgms=S2RJB3hQ>^$j{f^eVOp`9O`qcC_(<81T5-Vhp`tEf%q=gG=ZJE zbu&NKF42R7ypcIlhhcqwi+h;h`t2Qp#Ae%7yT$Y#!JDLe$OYy#^xrjGOL7)kX#Ul; zMc@wV=!W>sR!{<iuQL_Fpgu&DPEi8`P<KoXrQlWXgTuKM2`fz#Q(A0jp|;oTv%56b zP(j4uXvO_4IH<f@k&PwroPH{;tyaqDaM<a4ad&?9)WJv3+?j2$_Kj>F=g4MKfER18 zmtsAr9MkL#fV=Od_Y)JLNwv7bRk*4V0xa4JJU|y?!CEDSPAaa~myS$<UtsbaUrka_ zs-_!{iM!xu=8yF)kIL}^e4yZ}J?n_&Wb7sdL25hbegrCqKDwD4yfmDXpSP8}Uh`23 z4oH;IJY$FgET?!GZ~o&?upB~2h?SivIi&IFp&uVYxG@P*<dxP5K;a_0;C2effD|9v zJXrM@RY}{fw)Hxk<|XmE4Hj&|L*dqnFyh~|qDDD~8h?W225gP8H8To|z+6ceH+8=| zn$t)NzXJXHA`Cfk0OKdRV%pk+`CjYo(uhBoGjMn_3kZLd;oV#`tBm&5PQ+6%s1PKB z@X_KVC`3G~8l8!VF>GbQw%qf>fKWZ*&6QN!Av&3ZJMCGlT<qRv>Q2Qe0B_O^G1y9r z{Anyr6GG~%Mbs)5xaf6@LuEWmIZi7WZqxV3_FO5`jg$rp&fbKe^9c0UKWa*9IktRg zT~h)%!tjMBIrCAA7A7HqBN2oAnihubhM9JI3xO1E)JC+KENEj=5n=U=z{GwYkpq3U z$<|%Pc2TLV>`0U7%gSgnr5@}kzHNcZM<@#Azm{r6Bi<&i>I9oSm&M!9j{t)cY9-F` z;K0YWqt*0zjcbfqYdaA*2CSTKI?K?FgHGo7#nyI-kSa}fW)CJrM@gM#OLwZxn8%#+ zZsz(Kp@=s-(K%7ZH`Bk8z*Od~N2e52nH3dgkIcaXxdufAtiJ{ONw?NE5I?f75+|>n zKJEO-0TPjxkD|uw@uE_t*a+0ys_Wxu2qjiLzsh8RW0~p);+n{;?JvW|H)5*sb&M?O zc2f4mo5}A}qK+zRa0FA0%jv3LxfFen3#BI*^yF(yjb(pdz!HYkfyY#qm?zsA&X7*A z%YNXwUTFH$hTqV2tk>#_2?Nbkcn?w$-lm9!<Zyo+12a>`Y6EC<9RokX<X!2l5Tl%= zLfq3uLkRm3)jSY#H4eZ%ltR+>P0{rOG}PXqyGsWZ4$Nt~<@eL>Lt*+T?s2`o@dG$7 zUg$ylDDNdbkfV<AfFoHjz%XF>^hA9vwUQ?_qlzatVOW=?-xyX(3KO5bdU<zZ+}I$& z$rHABS6nM_Lz^aD*m_yn~hbOoUPkh4PB%nzKV<ZV_IKqm_teRJ3z`cODY!U~-5 ziJUBZw6vi0i=6a*=E<2;+_<O~HjROLmlc2=B3W9W8b1mL#${N0cePzG8#FJa`FTA| zn8^4vD4di%Zh)N{Mi_+jSv4c8I40q`vE)b%Pt)kfs8vo{YnDt}d*Z9dWptN!=gy6Y zPDEtms@+oZPai#D%St<v#tIg=Wx=HzC=VrA6zkvJN<WuCd*T@6--pl$=FBN)j8arw zqk-L1zBj=DfyDP5U!ERm)8)boBo1Px`pPPvOtoWfvn^&bH)11Ctf$QB%+tn&>zm<8 z&sZ6)0R!7MvPX&wsL=<P6-^^v5AsdBWsj`y8O1vw7;UddAQ&`Ts1dpTdv%Wzy;3Jp ze^FBMM$%Z)n;8NR>OP0PoW+m9e4>04c9}k2m#>9^2L8>|W3+3oZe}FY;xilzlSj&K z1`S!s@&Qw6O0k|{oK-&D1_9imb*k?)DS0zGXnwJi8b?gHb2JajZRM;u()j~}3+sp2 z%snQfiE>-62J^{Vm?_Aj5c2!sj_Aj*BfbSvU21Cz2FGQtireb76+ZB_b8E`s**uAQ z;`g<{k+0b4dsi&>jcKT4G}K?u?GZyL=ICUL-N=nu8Prr2(=7J$s=c{+GMAhFl-bQL zv2+nlu%m1e$rr27*Kn>cqhhJg^rcw4<@a(lf^qih8CldGu{lv0lBTd)Ig>s%Jf1(Q zDJzGxdxH<M*G+XYMma51IzrA0Mk?6V6RWU5^#TE3PQYG)`yU<J;xXTW^xRtVJkz4L zCyo^Rle4NXP``pn!T$dQlHJe@&uI+-n!fbBy8Haewg)%9&5G`zIpy}+NBP|lNQ4yo zGhzty)2<Fq73M&gdLL{(sybtHw*OoPLV%=Ouh<E%hvvx+6&G*H%&3aP&j}X2KQa)5 zT*HJ_?X*yKV~A1BGrEWerCZ~K_b)@r-Kj54U$jB(BkemR^GbAOpsmYN@YxUne`<dP z;h{$57tN0mglmyp$#Qz82Ya8y$r=jm+CyCVmzQ7Aq~N4r=_4-o<`D%bC+a&_pZH1M ze%`d`$f1+gL0jb)haa!!G(JrqDk%`(HQ?Zf8W8FJ;Fp4U-zCn?X`K!}18dY5?)78o zhj{77c1WKPJ3p%^X^$l5#`rIK^6u!Z$_Ft8&!zze7}Cd_o@72>W}6&3I>WHVj))Og zQG05^WuyD+FgNM4l(#RxKPO{s2Q8@5M-(J3;csE>0H7x7GDZoLv*$N^N*vHq?3Px> zvXVS;9-LT%#3~unrC~MkDYPQLj59%r7B|vv`nF>B7QkpaT~$m~qh+aQQ=10fO>k|; z_SXMww;e5>LKs_I3v%NVIW_8W&Vpa2(`M87gPdY*n)1Dz(pl?n{CZV_dmdp4Ma@{S z<f3+q?5Ja*RMbr(CD+d|X#y;5D&{MwwUWgopT+meGwQ6ou7WVHFN1u8g?Q;$PFNwg z*2?B0Pb*Lvs*Oj7K3W>jL>A%X+6sDTX*VdCB|S{=<F(A_&5vr&%NcTaDy(w3kVZEb ziz^a`3B<?8Uga>iH{EBy(+HV8i*>rQ?22H&7C6L6h_z*+_=ui!a0Z6*bD4FJUE&b# zazVGs-Syw(@U$tLOZ01L-w&e>Xp;1jC$9@c*A+dJk1vFt(Aq*<y6M{q5e|qk+k}2+ zaF?Ap^UvigRtHay|MsZ&9V^wW*DEue{Hql>tbT#OkB;(U(oUU!@ua;~wDa@oz|<O4 z9v1jRfd89?*!)I!-vG$CYr98u7HbPJ88WHY6Wxo2m3fXJ&U4rm$bUM#f}CCH?s748 zKP~bmS43hoZioRJ^`(k8*S@L2Bl3_-MVt}=E3L}Jo%IE1;fcHI?5=b=-~^CtqD6s! ziiz+ErhVqHADSzDo^GX^2xOG|C40<GbFn_<hh@Kwir^M51Os2t`F5)K(F$iCOns{| zV~TAE{L)^G=1CF`hK5pAds-thbVRJF8b$9cMjmzk7<?3>6ByaATlvV!f{FeS|Bxr8 zv6+aS@*(WS8{Xr1u0W!8l&Mm~m1SdicS?bW9j)&fmwtZxee7~rh&0DcDsNvP+OU*A zmruMmozMz`LI+Gm(d0I~q2l&0jj=r1W=p*q`(iK<#~GvNq+`s&qMOPKXD(sh$$}G% zyx3XD@w(;9zGEl~J~ZAM&gTFiel)KqR5oE}yDPJ0H&jPsKJgJNuSn;UU=&qOwYsVB z#hx&XrtsnI3UuC%@J%-{SCdl_N#+=$(kW0ZbtD>?NCOoXhTR%E)X$LPOWPM+aJ}0i za$R$jmwA6+3(e%Qa;D%~aYn)nN!wI#rn)Ewt2K?FGW`Sy_|2YVK`pCDvRIvzrd-M} zAE8c~!R6=c<ZBUQ$xwYOILO)zD45nAl$&h~P^temQkz<N+@0gJDhLXHw?@aj(4|bc zv`&QU&j4?E+BfVmD8)ZAM-AtIOD3ZPx!fK$Y(L?DRGP!Y<ey*8|K<qFT}xaM$?#(z z?!D}>QqF7<wN3dru!gjzI6N)w$`8dTtLwp0Y}j@&Z`N#;Obu!MyNk)1C4>3z+mMJe z8myDvHirw#InHNp0wb=QNQ@<>b;ZZ}_(SWR;wf;iu{B4mcafnTXCx0Mrq#{5nf4F< zb&LsH>cc3d>5!y@P86;?67dm2Ar;zQIAw!}`S`nYR|qB1fcg<=0eK*#cX42qKG&;S z>uDL(5te9e1M!W{5zLSo-04{Y=;BMTIc+uL1rciLR#fJKXBzsG`VpgzvR^y~8?o|m z>l+Zs($hQC3MWH^uyly^o(@D6v~2FRe_!%_^kD4W8zC3-26JEh!3SC&V@_jV?coc$ zn<7^*Bv0$fFSc*Z_O7pgkMRKh>RaRe({=RI-sZh;Wbck;cW=5MNPG1C*7_#6e-{^M zfan{7KG!#Xw)OZ|;~jUtuWv}O+Vfv<#X8Ur@+aheZ{3+1&5+Swzll&2-W!iA02CAf zGz2Ug3=Nb4)DDyYR3DTkfCO{|3;>mkLRG~Lbz=Kzw0)$gq!M+92<wLRh1g9yp^$Ja zV@(hgNtyo$jb)G(46P$OJ>&p3hMZ&&oX+6$VL={Ct1z6xZcGcEL=Z4>qLRpj-UTc( zdZQjLUvV*63Y)nYZeDpV%^ayPgXS<dbf%E@LozdZQe7MtPLG-4E{3tzV_%^YDXoI& ze_)DKiVwadTdpo(zj_tD(Jrb(_yk3`T*h0+rK)EBxVlPWTC=eZk-lGwqJ@5n*Gs-4 znwG>VOJS566v4a4^IyUyD=7H#T?Z=J_v8fFOLHZ;_-ooR?^tIMFqL{Qm0E{%oWhb| z3H>TN<pYVrdLH7jqBnDZN(DnRR!~WFSS8lX3@#n~RJ4v0ZYag`H^poH1BV#Cfa2`p za6ZLRn+abVDaQeaU;{M;ADrj{R#A&Ct(g(5W@&FONcVLr2z6C(FX%9b1Oe<S>{kMh zrFPH_Acn>^#tR97F_AQ+;m!z091UmyJ&nJuI7mW@f*}aO_{s_DTUq4PD!9l3jX9HG z)o@)hxF1&=E23QzWV4saIx@~~Qt0lwVEw}}YZcJ6IqY~g$St}5pR)14@{Dv)1Y%)o z9&2k{tH`@BcC7tUB>hsrG!TZm3N~Th$C@w^OT1dsI9WPcM7f<?*ErGGIX)TpQ=d^& zwbxGW??(&d!FH<`Tmby>8}1g&>rkmsf%>`BpeH!|EP&E6$gv61&U~=Sql6VY3vnQo zth=w99$M$qsNr-ROKR}%uQc^?qhMVmMYa=5s?zg5q#a{L51+q~VnAmecE-U{_4Jm( zkw9H>2|@0gVEQ$ljeW&4B9HJDG8@(x^#;PtkX@|kAj$)3C;(>`WG!(zy-#!jXT-k} z7+O&|{2)0PT1<x0`-;24W>Xm4GqDo2dO*d}?{c=rLp`ZNS+f8#m-($!Ng)LhbCgbH z`z=T&odVxUQR((#Lm(kMnNb)sBVA!@i~8twr8euIH6-nvX~%0M7fNClkR}U!*4aWV z^Yj9Y)VFj`5Dh{+0MDz|fhuV1QrsX{$gcMI6ZZE*1aaun?~rpV#d~|prC(Go*F)1j z)EqFc_`#YwG011_pLbzm)&qxu<gpN8$JC19f1BF+3<+VmXo2|Oiu#7QIAG|K?gW8) z0V1U6igwCW1yI~&iZZ7Z2Uuo>o<pgUZc#RA!2+ZK<F}IgEZ0C#hB7#h5MoauX6h~~ zeiZt)(^iWPdToN45>Gm9_RK=1V~@o90sk$ub!(XDb*@F;elFrp@(3~?s(tb!i(R%X z`@68SVoUre72pPaJ`YYL+lpbOCT*(hjvW1js&tIHh?71x6~6Q+iwJE?dpnIHLp#;N zWX63AdMUza22c4s4OvIVa^f*fi{o&vdPXo}R;5Qxet`v2c97`6WTBta?`U%BX(I2< zg?;ul^$@_vMiHH&>IJ&GLJYhJGCXWk6^E$4T&SvTD3I+wO0Ff@f;_bbKqny6VqC*E zqmCwC{%kE}Vu4f>Y@<Zete9y8dpc<v#Ud%%p>BqRUlx-jW>B0;rma+@hSgeLjKSh- zYxpIlo*`tBvgyGxE;axN;aFfAw^LD^VH+p2O*D;{#+aGNq<~}DutQSeG)Y&US7fl! z)YHnf1P&clLB`o-v-qDNo)lb(l`<uPoiWLbxNzZTH=i^@!!;4ZEy(kt=hYVN4}3X- znc;;sp)>#KMlizHHqIlKs2&9iksF3U&3Z)=%V%NKO$uZWZHg0mK{~DUi7?9Lg_HLK z1CI5}a7h~Bh`ceEw>SbBRHN(jHxlpMln$9Zf!C-hc<rGUk^|(LC@i^1GRphJ4k8Ow zPZ7XeON-bOu<wBK>gd4s4(^8yGT0;bmO=EjRT;_ZnzpZb;vku!k9|^-m8#63!!s|J zaZF`XJ?4CB02+su6pw<srV7|bMdEdp)N0V&++@9$b!c4CEL4aH4C#O{dkYz?ypnA@ zkgZIsXV(ElfCltXe4=kZs=b<=LOdY57ngo~J7!o}#sSfBe)oYnmdnc5D#@$$hghcZ zLeT?{ZK_bRABdL&4~||3UqRxE1LHmEz*9S=GR6s`6**ddq#_?1yQ4hDNq%q&hrhPr z>T~q3D%RJglbB8?(litEbI%7<z|N`xxEp_u!9#8ItBTty&tC!0U%}}(<x&!p*)40L zH|jlM(?R;xz6@{>%Yin~LwGxkGa!sUQbuQ+tR%gu#Q6aVs0F`NaL6s?3!cmbbIymb zOR>@ch}*%N{Xc!ZbyOTpxAqML_u!U+5Zv7*xVyW%yEDOE2X}(IySux)1_=;cgS;fq zInRCW?~kw7tTo-ee!Hf+s=KGV_O5GV!@E)=jWaO82zH+`&RG-^z9~?!;)l<~YGwv$ z@+M9sY5G9xhz|e{MP^-woh~!j!4eDQ78dYD%e{tA88f)IrwJ5GN9N-<<<;e|7|UO& zGdz>SQrR};ij>Q1VIXAZ%o44cCu-^&sEOd&W>si^N=hX9(1XYe<<bqagM)$wrtnKz zXHzxQCTo6<>VU`Oyw7CQrD5#Qs2}8-NW6Nb-R6a7o-qbuY%qZpqVybZW04zM@qZi7 zEZAf@i!_oqovi0NDR4Q=aVb-8kVXw*pjH^yHp6A!E}oD^`s`&{JP~<QH%Gh?NBL&$ z#i<KK{bf6sp`3UgBA33~#l&&5yghBxh$xRVx#u3qSil{e2={5FnsLIMAh@-!TPZaM zx}em=C0H2<HKk8RF?fhUy`e#lxmwF$mU)Xo&6;kW`oSKh<))^-^5!Iw^6mt49C}e_ z1m7jKICG`=Ww1ahmxk8r7{{%un2z6QJw;zrveyTk%E-ary^Vhx%g%OG!D}2+AGKqS zhEYj5*>wGFJG#d0;g&DGb92c&o$=->X{G+ASC<L6a43zBe;j#OpLzL{Ss{B$bV5zw zmv=0WG{H*$t8lMxCE)?wj1I&OIHP8<2TBi-<%bxCY!vxVd6Llvl}L{Wl>79SwgSge z7Ry2nD{Wi4ZQp`v?{LdO3Ou;&tjI(7j(0!4QAHKT&lF=&Fs&f&8_p43>7#WrJ&)(I zO~k<i8^I}fk;kmp&Jdl%VADs8elT);F>;3O1hZUK1;wSQcRcVXOHPmLj097SY6MI= zgocOtKEKhi5Hx=G0*KywGn>_v*^5#29{!w(NTXCeXiX2tV@kLgDJNM<kFtCsSr9-O zK~)@&4lxNCJ9QUcm4n7zL7DhnT<!YVM%)+*Xy-$9qGv}ohJo(mN_IsOB@Ez(jFD<( z6GiL=?CkH0>yCsb<MgbKIc{57r@E1u=+Y)LYuj@5CC*Y6<*Hz%a3)v8t5Qx)w%ne7 zPPYBTm#iqga=m6>>L#&}r$D=LJ~EkYv-0Sajoa?^V|FyO)J0-p71XEel@IqrcC=s} z7$NgR*VySXD9JJ1_+w#~_77K-Ds8JNdt5zlM{?bG-(1@B!kZ3qovo(*8odJXLh20> zWv2VG=Xty)v=o_&qB`iuj#B6aP5&|;aTjl!#Y9`3Roo~YBknv*7K~B)uPw;@VUaiI z@k7}K%Gf($iP5ejzO8MKHMBun^tXqxKs#L!{_LTzGj-z4BV=ZVBxBhg9t;6e&@TK@ z@Mtf1_pVFHgZ-^aiCl<G_Mjl0Cag#7FIqJvR;Z@DfB^flPnT97Shi6=_#Ax82tCq6 zafioiH;%K*Ii>PwkL^g+6uh&84$ptF-{KVJ-6HOyXbi<5-&uRPSqUrV#%mW$0Def^ z1n2Rj5<ke1&kR6TcfaHHO>N(h{NzXPN8DQfeWF<M7Xx|)QfTV$F-CQw#>D$i!KUk0 z(S4HE5jqEvVM9Gd)y%2Q40@EmRCt8cQMpg8!ahkp$$`BT&D;=rqjREcP7VRLM`+$0 zQ1<wfO&(&jo~C4i-_|qMfB^C9Y#_|(Yd{zkoE#oq;F&Z1Q}nTj8VFm43zi*@{;BeU zxT)YR_iNJYhnz@(w+Q42JGAp&<2F7&T2rZg3uEe^b*R}9%q)jZ7IZFCG_})82|)yl zAu~O>gaymjiUtNG{z37Z8rz0a6)1K}14T^Vn0~Vh+)?n@_^!V4`Ly(zAp)}e&cT1{ z{o^A1Gp8mFavIqBuHO<3i05MldK0L8dg~-<s~b8!FmGZIERd(Lh&NS&2WP99E~JHw zuP4j3fyW?Emtb;sHQUI%>HZKyrAt8-t{on__yI+8xn8(NS49EiQdC}{AD>>hTk!eC z^iG;>q7dtiDO+x{-RHWkYwLc~?iX-p^EX(==Th&ZUSt$kPX|WVM|(_N;6R<4lzS9* z)xZK@^Cg$A2k+EocOO3K>7Bq}y1P3w%F=`QHZ5N}rrq`4nR^J#lIMjiq3VtfTIIC? zxR*OS|5jhb`Hz)bnnymk^LvBOwikOJnrC9t?U_-U#G6%mVSLmhQEHZLe7$j+>Oe8} zU~U(Y-ye!mkly3whrG>ufynfC_7H?a<jc?GyblRB^C8@q76864J9PxRhs*ssfYV$3 z?7%jkQ2S@I9nY+dFQ3o)BqQshUeJ*3+wUb)E^<F)AMPOVtPk~JbJho(?n?o@HG0)Z zyj8x2mpHfxOTp8eGl9PBB#0s;0XA}xf+s!&r%m@UI*Bv)p0K-A0AsWY4Wdtfx+<?i z@<_<Yq&leD9fzmY*w4#@*3c}O3d(i@O>xo^YifN&+yh?P*z*KdXVn$YS!JYhDo-R` z+VI%sAH<udB!6Ch^gOd&+G}l4%&GM~7WFGd4j1~$ChbCjAJ$#_RNH53L_HguC7D9W zgmF|if7EEpI#Y#=2eej~b4j^O$f~X92y%9Kxk<@LWRzm>^+{V;WX(W4xy-M`gQLY< zbR8V8=3_Aq%ro`oST_+>$qO+w*J>T0yIUe5Af}Rh;Mx%uj=w<K4gA(5M;KPNs2*=v zZR)bhXVqHf`qQ-B#^iAZ4si*aW2IPxmU%_hSL0CreX4S^9#H?cv)kFEWX6M|gdMpU z@N@&=;bwldx!`9o8;Sh}F!?6p<Ce`(BLlr?=u&61iqkMRjOYfH{mEOSr4yn;PLc9R zVO2u*^#;VHqhprN_h%9;VX=mz##;xW7^@Z|CP^53uaeWzrW1=8ygNqvJd_s*YEfG1 zk8mL>0dfO@n?N2W>2Kx}jV-3NR#9;<wFJ>;hT~~)09<;pszAGu2R1<LOccQHpk+f8 zt@F!Xn|o~DLssPNGSS}Wo3Z6_flO6ZKBmqX!r_O{C_WEyhzQBE9^`vN4`G4XqsyTo zP|vC~ab2BMXBWU=G05n2&#NlHT-4`IO`SexLlI-1aA5Y>162AODN0ODi_;jXD~!%U zlI`HquSiR{tl<aDr(@apODi7P<haPKZ8+SnfpdzTTDBf*$FksHYfieMbCYLqVE&lg zVD^Ps<p3G3)<s}<yZ2_xGNk2oeyhAp)a(TLjszSq?o#bJO6t<>CoGP4tFrNPz*1H( z|1lPQK9D2%)dF|zg5HvGJ|Ss+Gb13bnMB?}Hlmx7Ij1e0a#>7LQ*n^loee+Xlcm}E ztmuOXVb-4gYo<#@`i=`Eb{B`VF2WKUsmqvxhwdN(2aQoY1zC4McVBHWYGT5|$_=^w zPeg?k=aY#B9oEO#MHF3$wJP(G&uF(?BD{fLeSj_HBc}Rgu8KEQXPxB{{<QSfN1<fg zUffV=rl`4Z0=#_rPRQx4t#wGpmkNdDY#o>RO5c5t6`ae)Oyx(|YIYWk`ugzH%GYdJ zKk%M-RjT`pw7OV%aeL9B!cOhi)q`KTuMo7(apE1CHgd(yAGyz6Ime2!oCq?DpiUK` zB?8S$HS_~gN&M!_PFWGumZR3d1#=n#M`^yIUhK2-h*h6TIjOe&aQY?)%O!DRRRei0 z;>SET)>UQ?bFCJZCT@QD`S+L++3|4*2c@dg4>hDhX`}I3w&F#K4WFdcjhxh@tF`Ey zg}tPgu-R<oJd7%_DVr`R4eN+T(md|cLQi0QX41=qaFdnF`m4e?)L{nE@vBkyB&E&A zxdAy$CRdlpczSp*mq%HG#KzwB*5aug@eXZn*Vyku%@iK5$mr@keFiHnrZQ^2P8qtv z%4ReMu_#w=eg?>;&_j!PgDh>|or5#gw>(H<%M_nfXt;Zetc%sz)b5#oM&Q@fHp&D0 zPF=>oRuAmp(O)28)$yApCk&`ge)Het2--*;j!AGYPI!rmRK0}WWnDt<gl(x}98|1F z(N^etCDv1Zu;`+*7_7Z!HFX}B=&MkaGe8xTG+0|PP^8EHG3Zx2G}4Tt14gy;LpRn` z*Y@a$vRNU&DBE=2X4W0<MKcsW4ZHz}w1<l1f_b0g$X|Nb<ASYEtxy&Jkr!8m1Tm0o z8(_YUU_p@ObMY&P9Z65s+iCI&&2u$LVjC5rF-0%7SEq6N+o$~E++!?l$zTbwlvtwc zwb8{=laL%17B-o$0QDr%Z?6G+#j<$^lO6V~zr@bK=T(SyOVicZf&79Wn?l8bH>MB> z(1Q-z8<!Ro;oMQl)67xm){p2Cx~m`b`t#gp-QVB%Gf2Amk@e%cqs+HgMj&7uB>TDj z20n!6yAL^7_KO8$Zh>d0`pI~a5h`lKR0pzjgx`ykdE=t<vF(_lzh;C%i%9M{w^7_y zs32L;{Akt=r;ZwwU&vH`pV>eK)Pl<nn&0M)3YH#e-QkT4GDJJ<`?A9Xmn^kRwFCco z2NO*hPhd{q-as7fJ8g)9)VUTJBVi@6LlT~&&=(LUPNM*h!`EW<uN*LNkWpV#zM`u* zY4k5R!}gGoTP*?V%}U#`CzLl|V2frHo7PL5`zxADR@rdEjj=np^{#1nfY*+m`HuBq zOvq*gnEr_sS+PZoQJ76evBwz1PG*39jo&jrr$>X6>TYYWxG$MKamimZ&^h;nP07Js z(S|u!&OUmP+0jMSrz_RPRrY%{huZ6eV%T=e+?-;k4-|0rR|#x;WPG)^$?U&EJj!ER zMSN1lSKNSp(P$>GX-p9R45UADx#2`*rs_v9uPG2GenQmD3Wx~X%_`OFPo$<Sw_#w? z<_v3AJhLB2{1M*vjrx~HGchHa(?DO)^?r-s0zZ=)iNOhmgGkyWrrc)AuB(2%-$eIO zW~~Y@X_KW%8T&r%ez+UFnsqqMh+<&oaCn9j@nHrelPtt3$*`=y2e8upQ>FWrwu4Cv zv4dsQ=cQBamda4-O$Z{hLMe+9PDW8GgYTg%jOi?wh!$8T;>^#$SpucmX-p5-mU3Lw z<isAlI-124vA#6<k5=P~<r2$Fv((Jx9^vZD+3MFMI#Mo&(;YzDew`I686u{fX3Qmy zRpKm~^mhLqhlAHqRUjt``-=Q}u6vqbZGbS|nMHf#iPf9|1T~D{tgS@kUOUU=R2(gb zpUMaL20+=D1@t2v`O={pGR3@k3O|-bDprf~y&eCO{!%)!#h`&$FWehh(YV-B)1AQ$ zCO=Ml$fwcXPW|xq;kjdcebBpD$;~a-I6RXX(>VM=ii!<0HLx2l6R*U;bOB?U9S0t3 zmYpN06Qd3!g=AF&(kx&*%zyvT?d3;jjvJ9*U)>;a-5@126Pn1<I`OBugQ1{lp+txn zGS=KHT&B453~h>`X7s~D)>`Aa6blD-WB?@6UB-ETijX@Xl$s?vEn1VIt=QC7irBL? zZ~{`Vtnb1#T?NA(8)|i!Sa;t?4Eja#C55$#cPrb5`PPN|rJ(k@y!FfsXy#(+zZWHE zU5muziEFMq#Tkl@1)R0q@fx$A-#mV$ZKGamoZA9|{qJ)w7}#I2K00wW*gq=`71A;w zYjG{`Z*{}s>ELjG_WjPfwk-u&OA7z*6ySab!CA`u&w*whSmKef3%^i{@dHs6NlI0z z{4)bW%>8Quc*C~&Yrw)-(8OQBpDFq?mvgE5Be-LnoPW9T%1xmF!M*!D0i5GM82qPN z$4_cw2MhsZ2hJL!hMW<Y!87vpf*;}ZI3-;ng=!X^xuVZFefwSu1doC2jkrv^wY1zH zg*a8$Bt2bao(_8}M#SU#FtBM|Cc2S_JHGgobTUgTZ-%G<ne*K~Bx^>o20mTtT`LxF zmA}B^0->{rzLogx@j{R<WffkC2+QUvl41eg-SVB%YRD{LZrW~gG5JcI@DIIlLomqE zF$8%yUlI&-I8<u}FK&S}^#z2ILsntKSZdgQv^q<5av$EtH}Cyh_ipDt#fVCEBfK4O zm9r0&{6t5K5TLR1Rk2>K%+e17(22=e5*2`3B+o{^Br;e`e5<_-vy79~@*%Ibxb3D{ z6p_U4V`>xEieZTH8a}$_jf~<S258_Lw*<W63@S((IuqnAkQj;mWQ!x02N2_b@IX@% z+P{$@mNO!Yix4ixWnQFFKuVkHoRpWnd8Rfw?Lqk8{)PS9zv7KK2(Rzj03Tq%z!<<l z3U*&WvC<!bT5{+LsIQZ{t@Szy>4KNg#PaaX->~UK<ZU6olVOowG&(1@$~Vch;XG2l zLg=~23V)U~^k%+f$KA_trCxJQZ<Og`W<FfIo)}L(JMVfwt5Uk_P*)iM!qj9O>wEUu zeIJlfFr|ZY^uzn={c)i#QG0Pvz65Fjy!#EJ+pgh(0BZN%>4foR3Fec1+*S6w+xu46 zBXtWKm8mYDO0zx0p1{OfmqP|KrgAlA(}>)9+oJkFP~EBWx{zc_G>SoVC!!-Ah)sgc z{3!ah)I5Z_?YHTy1Mf&Jk|so5k`1R5qM`E<k_a|4^bfRIB%_)X?mqo`RlH4DU@Pa& z(Z~m&q_@(RO!_<tbdc<Bc)i5p*c+}q*FJsAiUMH2Vg))NjVUuqT2ZcRQX@gn%DK4R zn5wdi>0k{y7>jGPg1F0G_>l4DabA&@K_gp5s5X@Z0m=1tb)<`;6~m^$yyQkvy5VZ` z7t8X^C(I>#9T9FWWoO5uUDTcFDCGE3JgQe<zkj$0jY6vlt4a-Jp&>3cRhFU303NhT zxlz#P#^gB~ZnNX#^3<hqlyjyu6C8`E10Ol+_08Hd^~sMTGpySAI_0s0G_8Y&BGL{s z;C3Y<q9tpas52I#IF%1GZszP>;vq7Rr)=)t+ub}=&VF5u(Y7ldH?!$mqHoAdkei0U zSS}BU%Gs*A-t*FnFPOe=sa5eZ>|*W##9pz(5Uz%1`iys&5HN88{Q?K5p_xJ}SX0ye z_w?2?Mp6K+yJbK03zR;Ybw^hA&x$(T&Zh{0J4%p1;v2&o?5D|(n|uLWUqtfb?98#M zRrH1Pm9$r%0xyd3c_|5&g>V8dV2t2_o|y3KcPgkSRG~=JH;+`qE|~kln7<yV#9c7+ zgE60cFd<wpA&{sM^<&ARs4rUf<`(+TFENt&u}yP1!W33<1;<TXXQ-x2JxzPZ0AzQe z^jhUTfLoI>)@3)J6-A`RV8*5phj8)wJLPdd8o)JO1MCB=1{YS$nAU=51^fq$xBuP- z|8tqtM+OXnBHo2CE;KK92ZR&^j(lVq9i-N2En;73prm>N_`3;7JNx}ZT(LJ#J5$;F ze!o6GL)eGqA$vQondhh_c6NW=j?KM1#Uky~=TWMXJQy{-s-cOT5bdAP5zxLKRaeqw z&Inp7J(Fe09l=kwgpNDDYP=&1o~aC!y!iSVd=&@UToBS6D8P^*i(p}Gpv<>~P?Ah9 zo5nI>vU{o=t@Hh=jVt%w&hw3B4o>8fA#FR*^~S;>hOT9?N;QfgvX@Kw{>V+*M|L@C zN&oT@Ue~(@0x0H!1955>=p!h4G(>o@$#&BtoAx&I0QK)%#B$-+P^NdW2ZHz81ZYuS z0Qgevd(xwYmpHI1f<ey<=btm{W!*$dDkF&a{Y|om*!=?LA+P`5vcaFXIV5!>^~c0% zC$PN}+}xlI5`Ro&zlOM)s+z3Y)~Iigtmi#W3jODy(A%V1E+NvqN)q(Uc8dJbpn@9t zN{{s#@%zMOV-!fPFZ*)-6vMJ`V!yV)-+&5fpDL%Ly|jA(N2iX8g*$AA3zXMEcXD}p zMM(i7)|?bMM>!<&SoYOlFP=)^zq4HQ32#yP@Q15Rp9F<(&8eXcF+VL?#ERRyBzZb8 z&u>J=I;DR)y@*+P&Lu;H+sXXQiB2b%I!DGH+NO+C=FMfiVeHz09V=#p1HlPCSI0G2 z-L5lpC%k5M23HHqI$wltIo@yWF~tBVx|`MJzPDjNSUpINlKZC>{|p!f9Dh091Ia0J z0LNtC<uZ8D*Dk+63ucJr-XIMi7to38C`Y4WR)3Wo=%rPhm(dvtizFxt|I}~h7bm$; zih1IzypS4(Env8VdkpyWd);d)Gqvl@_Z7T4LI;yr*Ia!lI5H_R8LxENxJS9Vd?p)9 zsU8ytu?b@yw^MOiznONARp7W<s(R&<H1L!mD^T}_R{V6^kfpKDm%sMKfv0*ye}BN@ zh#c9^e)wjW5$3oL@yG4l{f3+vo!?`NeZf@=woE`^j*aF(U4MWBf6gb5tC4TrjBRF{ zEoNf6JoOvSXoEsSRJPyI2Mt=qrrV3gYg{CAT6Y-kW{(41F{STBjvo}VZf)s~DS%ng zTu}JuoLp(AqncdS?Vpz^5{mXdyE^mq?(xv%753@pP6~ct^&e<UI--4?;VArdQpjp{ zzki~!U33GxIVtCh>LIba?)KfSjO#b|4V20;bHbfk3evalaYnpD(0xCt@Dr&-irv3q zqLwQz<_{+&`FV>SWA&0AQe`^OF4Y6&cT2;;YhFIg()Ono_YW4ug(1Q^e{l4&I)nZ} zP3PV#BA2_38&zkiSNx%o@6~^~Y@`<{!KygJoR}O_);SCWC5ttdK{L`tiO%#y;At2f zz6N5VY3^_gCcVcqUQFEg$$tAk0z7}7lisHjbTZ+9f&G*N1ET@?E7JqdxZ&LK7iO5L z*Q})Q*J^3k()%t+x1!^}D#{bhI}jM!({YO-)hpK|3KMCG#)DECZ@yzlTI2@#Q%)z% zwiYBn!%Id=rQZ;D<lJw}{_aG{q1*-@oK@CSSJ-e4ZN2?|%a-%?{O!8g?%^~Q>U}vd z#0LjPT@aCZ0d|1hEmjTu21AZQ2fzSeUC0j$eMA}HY4)Jl$(;`~IdU-MR2^174kR8= zR&eo8@51KFP3Xer?CINz$dng=*+DDcT~Q=gHA0%QysnAvI>|g5fW~Gs1Vv8B7WX81 zTbq>IM1Ic<G2wYI*8UYprrlFbZNf7KSCNt(V|KVlg{#Kh6GHz!ltMsW-tFXZ!JKMk z%rga7c7);S!-rz^xB=DPG!aBUfDBk{sYYMAE{_O7l5Iz2A6-5RL~a)sHB=?PyQmHe znc%VB`E5HfWP><2MsnL?&;3hZnp>wCL2po~D>8Z5y#%3g$Aqafqf2kcpRYY*MQ^Iz z-GmSN!L`kVz`h4a%0XcyKgdhx&iTtE@V7DIh`R_l<b@=5J6azTa*IA{h)LwdeJH{m z0~fn4sZjzho{_TyuGphjS0s%4xd85v_WP*ong3_+L<GGFFP;ZHU$>~pDwiJccFn=1 z7JWp$^IrDtA55Jya8-j?xK%E_tTdzSoI5VdJ$+n&R(B$xs!oXA!OAUNJNQ;_4Exod zmPhkQkX>KXwS8S=Q}Z^NcL>5(Sku)hTUJLz5RjXH^Yb2ul5<hy`2oAzr9FGqdS9QH zyE}bVM~vD1)rBwaxe=$Q`vVvXp)sHI#l>d;-?-)tIN)f&#JvlYaQ}sehiFgC#2Yo& z-HxM{8}%135)lPbY&RX^3v2<e8sr^}ciyG^auXx!nplJtD*Th6SICFU8FSQ~b?MOS z`T~1>_o^y-020!<4ydIz>4Ih&`7|mpVAW#vI%z`<5@vTqrKz!%4;6)E3B#ts%Uzxa z>s_nH?;_fqB3Ry-xR@TN$mnM|HQPQTV~`)iMrjBTbwDW2Krn$m7XI0W*Xw)dv^@(3 zYz(AP=XOtSC_M`Y&K;6)@co0kT(cDiAUww6nGzW(WEXO+2d4>f=nE_@Z`_ft9t{Tu zQM2ENo{i37KYM+Wef)4l=)O+cHcuQnf)(z;XQX_#gEP3GfQ<myWf_!1#)AgfEV8*w zSF|P|@eJz(_eV!AxKE6Y^Z=aZ_|O%=@+V~YM_=hdq5aT60bb$GAVm3;J;$q0`wYWs z!w(D^oVd-Agvpm5aS2JO6Bq@cDaLI>BO?(*tR)8fj7g1&m;j&0zFwHd=Q(+B;M|`b zosl6kdki?s^&})d1$}H}U2zyB=h#NC7V6mnKBOI-K8mqP9#HP(N5+hBh%}1Y#$ad< z$_+m>M`jBbTT9NZa$HNqHc#9oW=fg~HM*Y7cJw?1;WqxTuxxCoWOY5!SX1`6DraG) zlIpBhS9EaXY}x-_kd^<7{)^*5!3$>nMl3UP4=Q4+!W>V(c#^eXK4k=m@+7hXzpWY_ zn43!p`Y@3y1-l?)L6^(fCt__q+AGFl_CpLZszcg{{x@Z2Vw#;Jy9wY-MlT(_DqY@1 zT{{6n>{1Ed8v~%c{TTo_*xBRZ>FvvlmEVR%0bQg(C|$ro0S<RS7nF{$@PGj$CST2- zsckbjVDMzz(x~nQF6<E*EVXFW4HPuco8*_DPmeke&Mi`ZVD6D2`DHDeEo}7|&Itey z4)mI@2i!2H;K7L;ec*)RkCCHrC+H&D!^V6@1MG#+gSNCpVKJZK`6M=FdWtT}_J3hK z<N0P1D>qUt;Ud8gx_&aoF9`GB>XwUJs#xoc8J53Df1rixirP}RXnWv=>WTsK6J1V( zcNp1M@99%8^?!fL_2=&;1hH3N(!-MasWY?!HR9LC?u0+)J0*RYpCp3JMf9ns#4)*% z1C^KxS|VGJppu?acGau!TvujOJSaV<`tuLz#WtqtH2QbtV?JY|bPaCFJIh}*J#a$- zW4iJ#a<&OCV&GrH)LzG_fd;_4w}r20;SX%`+q++0MU$DU&ccItS9gGF7laS&P;U~J zky95JG<si>g|hT|4lg92-h%Xs-1E2L##Ju19(aOCq4c`3F*B0Bu{hK1xCVcyNr?sb zx1-zcoY{cz9RtW%qDjtb6SGaqlZ22^Dn=)iiF>$5LbzrUk0|o>{%ir>x#_UttrEh5 z^dSrNrTII+oJItS(uJ_@QO#SCqlE)%a87FWNqiEuBW)+gj@m6#bgFR8e=m#6=Tg(l z=L?p=8hBuxZs0{lLgrmEz61}%<L6pb`V5kZP{pl>E00P#%3_6Be4JjkfyIoGG6~<0 z8?F0lIG}%E9;BQaWE=*By|X(e5ihL=+wniW?G+TGC?P@^p~x4RHIy92un1Ew5SPNe zd|dg$reKycv8#E&otmmhyC5%V-pr9(Ct)TTHi2j!M9uPh$ETjLnHd8?LH-B_F*3I8 zt9j-~OAv+S!y=Snu3tVdZ(lCXl9Z|2bA(z7DSTesSJE;*4YLF&az&+BHZNL|OWXkZ z5|>o-r6i3r^8_)tFMQvK{62-4Hd&QoR#Mari@UohzYfzPvECEwoEkO~?GSR!D`4jv zmUbt7M<DTjMw@tuVV+P=&%Wp}0hc;gGE7&!Xxt=dQZ2t>7ApKkQTHTvky5d!J`0ga zYn^gl=hPHPXCn{HN4T^QSsfN)N5TGRnR1}NO|%4!RA&P1V}$WDL|uaBmz0vB(TFm& z@y-n5#xe#D@~MeSah8ji8@-B@i-z%$hI_X1YioCW5w3v@j~gf&x?e?-zF|xtd17i# zzLJL!zkXt#Soq%0T)*E;`|DIKYML4NuP{jHfPfNiFGV-tDIS?h7&MEK?bM>h37^U2 zSD6NHbD+6B3+klcC&g|qPcaY$&?vVoU^myx6nS>*7wVZ=)cOKQxp)*@_RZh5)pe2Q zCzcO-(<f7gxL>y?UY-Gd>c%M!V|g?3b|k&4#zpKNesOWz42f@N8Y<kLrSB08bsRcl zO&cZQalfj8oD9MQ+UxVY_*c*F{lg-oY1USiJW=TwQr5>=W9}`4d1GHn!qRQHp%!hf z%jm^I)0)i_tz)2})g44dB~TAjBo<E{Wey~r4&qh0@E@^z2a19W{b+);=828_G>-CX zoN5~9_$Gv#t&o|R(IwXohRX2|$QHA>zWe@O-zN<Ma*^i;C-?+K&`_5j;=!KO@(ZsS z9z)**8q&Oo;_Ecc__`_^>q!gI;GE;Fej*@A9*ao6_-;f$gcY*@0m4&FSk#$O^<1)J zsAv}MFjGHjS<%!Ny_e*d>ADa9M4%jj<i*bArJ9onG5isSK$?}3R@Dj41I7PP&|bu{ zb=I5^2)q1i$6cO7HzpHb6BNACuiDgEsg`C)dk?mhuB{R*X7u~Wi-;g>rVeC2zvi%t z$>lmkyffo&Z$%`lzhD3#I5LbIg@}878|SAGH34wV5V*?ovo9UpA9SEdMNH62;}(to z${u?UWtbiSvq!A{QO+@VAYdU~b3I%k-4r_-IC~b8eij)ZSQ||mlO>X-%#Y1AL0Hrq zxOlyjRWGJASYL~~)A;rgKpIufs`-TtNiLH0bJEocR5@HLk<@S3@;2|W)`(WFCcVxE zx3R^_&9j#ThDl%hT9yM2-0yuJlO0o1bsIxZ^2HK7iQ5&Ef=8*OD|i(>)caYzq@bTp zz$SLuvT8W%W4|tGba&5MuH=YGCKj#gSql}3+uDl#kH{uF4Q9pLhpNrEZl(nujTlZe zzg8Rbyv)SpmJZG=N*6X3iZm=r0pyq%t*Mjei7O=e$LlwRX5fu7P=TA{u8)*#R7V#< zg;rJP%bNx*^;+7qn$t8>yWt0)JP&y_fP2et){IIr!fjI03es%@@X<#a1~pT6%-zFR zH|}CC^_-m-F?@@~TqiY)coRu?iJH?#@GzXJal|D_;>J`zIKC+{tYU;gD^1fOi#_E5 zwpo*$`-Q)m(U$~)2d*N{nn`N0j5=dDQWUnWC*s1^!isrw=h^ghK}{sh;Mmt!0Dmhd zaMLo<lAULnrUd1ts6<Jz<kivLWnsCc7QVO~AK0v|u6a`3H}#~H(w%B$!ro7v<(;jC zIe8u7-kJQ!wlObgqsUEZLCHO2*G5N4TXM_50x!%h*i%t@Tox$BGO1X2bU(ozE|Cr~ zOI6e?*%f>n-A*wNW*v`{B+==C0FLr0cF8z>X5%n_CYeBr5jcR8@mKq(!&vMW)BOQ# z8zKz&6EZMn1_T*$be>y(7&4c|pLO>vzIvS(E6zt)*!9I?>isW2MXrau|9)>5{{coB zF9Pn4f*|i!?gIv<AYDBe$8Rm<4~^S-M3>v!pF={l0axy^9>a&Zf8IPQfmlO%IUJLA zGTr_Tv0B;RGD4!i?i?ghQvBpc9EhajbjdGlDX~D7*<hhHXjhV#oMYmn;hd1`Igs%S zG5ztHL0Oz5@uM$?On>L2dcwB>QYrJaZ&bj_G%v`cr)$%IIF(d`E3MUqc8OxsEG~<z zswo}x?HlZ3D7a!94@i<vAYhtQo77Jh3|A|-;;n*%<&NAwv~AJ^PO2BuoX_A<zK0kr zx9Gk_KY0)*eAU{1rUhcbxylGo8<<~Hlb*dok&ZnFDQ%yqAuK?J7_@Ym!>itKBlk%H zYc!>cCmqXOz1C^`ysqt(BQ$w`L1y@1sFLctK<Mt$OXzV8>6K!Y6#(Hlmh=j#4%{p? zAfDUiYbA($ip;t~4i7D^9f_4yc|rDkA1MxgjCk<%RbbjLHXuk_acN=cQNJr`Q(h0E ziVk2n-;`m77-V)i!gKvz811XxteORq!W}6}c;mY_$5vw%0|Gh#2z%_|$v+0i98bnv zeLC{fljcVuwG%MLNPyZje!$#Tdo)kf=ZJX`P<0qt#KHim8rML(HQG#T*}U;7xmYT? zr_sS$DVZS1=9Q|!63z2bB^yXN)ns*TnRxMQd+hvXsd!<;<Lu+INb>#C@z(8X;ym6N zM7*YvLRK<k1KGyxui{0#>4wzlTV~7exT%%Vy4<mz2;u>@A;4GB28CP8_<W53zA=Rk zs$<8lF3OTInewrTGt0WdvGHoDK?hpqQ?w|9WHhg2E>*QdKIG(&UP+dSRVr4j!F{(p z=!n3UF4>CoK(*-;&j!8`(JIZol1269!;(()buRpl{uDThYvsdsY<L$_4<u6$<|;{b z)xrlC8`jy$-#{Wef4(^f?#+1)Rn2B4D})3is8VKiakcGqxWR?%4ri>zT6MgaO%jBT z@!nw91ExCr-JqB9tYm!6k#%B``Q{%KKT@|BsZ%>RV}x?HE*VaLr3Zq;4PL4?{G>pP z_e9GMKx`CKn(A29E<WVb;ay1E=PCLA)TDOENU0ZE7!Bl1kUR9v1lLK1J7X=eTwrWA zB=}D0dO*58D(!>#8~^lcJ65cyp~ap8jv~Ifc=rWOtHhA#EBX+gARc3&Gb6$=m5jIo znq7mDOB6$lCKd{UHjck7z@@c2grzLUFi_e*lDRUhQlR2?9_K&-#Du~$kD4wPHNu03 z2+nE@9}28anaG2-D2npP$5FImjA59uhWXP3?BfBIIg2v|&TSW^w<9ng^8G%^LWsUZ zNo=w)*`=>8kZq`Dy;T@c_X?-D^d2*uFbp$qsD>^D<J{pJsu$7m!ov*ng&xCLm_-@6 zRG<od(i$Y|LpnArUUG=CSno>HWv`y-ltdTG18N?Yu=dNRqY35F1#5zE@Q@f;Rv)b8 zDl`xq#JSBdg>=$ze%koW_HWBvHuv;<cwQ6&9M$zq_g*8K^iBrD%<?k$6+Gj=E%6A4 z9Wbkh+7|cx&P>l-+g?cc<_k@9m?_VWgx~YI&&=e3K+%#5N$#uPD@EU-iMwF%9+S5K zKG1KmGld=LUSK4WfyrAUn11X66E_Qk`o=>txC-sg;xvHtddr;0dm?4}@Px@*DA;cF zf)=+E>4L{Lr(<p!(Zvj`Yx(X|8v2pjfCqiAC~hY?1AyKaSv3R90?(F1DEZ4i{WmSI zv_V;Oj+Y|yrsqyX{@9(6T@WPqq+|_Y5-_Vq2=|Sum_H!-Ng?>im!@ydbfyELbaMRB zVm2V6$4eAha`ToP*X^YQk)L_%wvd@b>a2Bc-&%H*^BKW$Y2@OXrz89os-;-3x5_*p zkMkUMznd6rNJ)9sHqGB^Sf<nUx?NJ?X3WMj_c(cl{h;hoS*sBcv}7^2<P@gT4Xk6o z7$2!)zZxH?v+^h;@MC|(E=F+QX_atihDkkn30mz%8VMry^+w>{l4y>*?jz3XNZgy3 z@ooB<71*SZL6vJ+YmBxjdy{arI#I7$h~+RbXa(@p;eu<Dmkw+*U&))YD}<GIgxu`0 zu;H8-yYUG6$V0UtnMaqe5yU1`3jA>t=|)Ttpf!{m%BBeCny#1m?O;E`Eh->gH=ztu zTXwok(6e+~FglB4v$(d@v0h_&5L|a(!GCxywHk(%c;I=HB+dXmZij_fNg(P-nr|7z zHF{Id1k&uucdS**CHI1qAB4QtY^h<xUvWzr?(CDiYYscTM64YeH;$PQ1>R*c$MKRi zl5KC0)eiL|{KXhc=$T7|<>F7<DyaN~tB;TJInH;8^$6rgV2W)@E%~;w=D^)de7e1A zIrVoR`D@SOkQ8*kkFHB{qp*EtpYLXkmgD9#GbWowm*<lid+Y^y%W%Z&rF)OCM@jE1 zx>no~F+C3w3>rUFAOgG4v$yKfpNMF9!ZMkj1%mlUFUXCa;~!$re=~Ip9<sRSJkQTC z`ScZq@X@BB`v9Sf>0bGTwj%7~5P=_SA5WaN8Tqep$;(*KXoelhzhO-*pS;PO++Y!Y zr&xsChR+ZzYGMUHXT9|R_1IVX+C?|q{w6%VZ%lpauzB0@wF9QloXhOQ)(z}P4heks z$ktQ9tdJ%pEJ`eaa>xo}x@7_ylxe1X^Wr?AP>i@K&r2~QKCzEzw5=%_IALpWil~q5 zZ*{bB45|a6H3VWStw@wK#*WI4K3vi!=(*RQlDu(D-JIrUD8Wq1QgOhk%lzs{P=b{e zSN0u{7!`E++y&IkPjb-SRg1WVUO;<klT4T&fEJ6eS?#yoD_DDqpHymq4Q!eNkGOq| z!V^U<(WI_nsuS0XUwm>bi$FXQNu5@ybF)ZR$IvhNB%TPBzdHQUQh7!W6VCtW)M7<| zmK;))JN_WzrlsLN-m)F%H(tt_sH%blz7>aE*+MHr(<2a{Y}=m%a^PX$#;`<lf)c-P z-T}QLJ6GAWR5clo{$~sQ@>GY(2EbAy8GmhFbnhNTX9&OiB+Z*+1VqL17}`Qjnk{en z<U1pms-(=RA;p}KX4!0pUEZBpajN8lTX))Lx>EGDl!i!krD#?Yt&6fk#^UR8KKP2u z)_W-A{4_8?A?bpy4!}|auqV^5FzXe>chA+;%lV|c2&b!M39)+*p$L|l;k#}y8^dk7 z81uV!E@mAx^Pg{}`IyU=TO%GJ{=xAl#-tL$J+c>^sp%NTI^W2NLP9sZCx=7nCq^=g z?RcT37)HMYY{mC2A|xVTdLpRlkz*J&OrW~e)%g#~f(I~}>sPIp-y0f_ZY0OJ5UpDF zz4kjUM^)_CY{!=8AGLlyz@&SrM{<=}rjTy3*{W-)tJvwV2MK1XxE0h``sT_Tojz-* zu(FpWE!SAag{dUEmU~WF7%lYInK?aCFqJMz^EmOkwPz18m4Cx~ZYrB<m@B4sS_2yF zuwZ7y5ASAUAe|T81mA;jIbR%<#(rPRb08#?RGHNG{F*^XEoTcI*jipBcz`nJaS;~v zb6ziws}F-tDmAFMEni|r;_J|IFO)sR@BAIP#h_xMNj-_l`UdQqa}?spWpA8XN4mY@ z<=jzvW8XTxX-2sU6uB16XQh+<x(S3^Exp}+lbyUKypXGi0Jq%+4oP(;<V}6P>}s&k zpPIg^Yt(N!)}JzgxvM(umhJ9p*n*?chr+|@y}t0DuqwKI5?NcK+q-4)e|>V~qD$^v zx*9;g=#jDcKD)JE`9`p@oJDi(By2n>(GAJlK(;NkhvDgjEF%rXM}aHHhydom63|!M zr(8~q+wdXYBAkPTa9Ag1z1Ubb08~x5$}56mo~o1JWu^HylDP6>fj+ZS9N;c^bFtC8 zz$hCh`l0oE$MH8^=jD;Dlh?-$Y8WRQXHm9e#DkA1)(A;<Pyufc@>1Xs7$5%0F!`QP z^1lll=*WT!>5pgPzxgIXgqEzpKYptJLhmc@ie~?_pn{zVK)w3_O&#g~Z^8dx1El}u z!TuPK{l~z<*3rVi+TO(J|JM`^4D5fc|JW*kgB-xIsQx*IKehdD>F+Dp|K0e5`+<XU z!SO-dR`5iB>h!P7lK%z4!1DbX|A4rE5>0|)tPuag|D;EF_s;wa2B80i=dC{f1^=sh z|LzE-{uh{t`4^<KCi)BhOKtsMpd<EQ@LhZz1hPgW`g2hK(vJHVJWci&-n6Fv5BOhI zDljnGe}ThP{{y0e6m8J{R^gxcbTBZgf5AJVf8k6U!vAFB?6$#!*i(3q`~ZNSY!Ls6 z^+C49g7~EPcYnDpDoEKD?{6*s#{9f@?ACiDu>Y%I0_FdK$^U}?jx70y%=g1reFy)< znV``8b29zoXMcKUz2AS~-%V_$@ovQVx8(opkY@O&;P>7w)%;t9VLKwYe|)Z&c9;-U g+8_gaLJ+zAe-7eb4!M7opsM>0@<GqK{@MHg0B$}jQvd(} delta 26756 zcmY)Ub8se1&^HQiY}>YN+qRu->?^!t+qP}nwvCN8Ha9u<^M2oXPd!uBHC<EvPxs6; ze%&>nAf<;Oh{|$c;IO~`XN}q4@g^ct0Z0Ga>8OUuYW_Q$|BulBBLxX{5e6AWNhSpm zMHxv6HFZV>NrhMexFKeAiC5uoF-RzaB*}ZQZjEkkbn!uryo+SXrIJ4q$|FAxT|9fP z^Cz4K*90_^aFR`f>85q;R;fQ^tG~*`5_K54%zERYVe~qE;=g4tE`3QHf!;J_XXRM2 z94rgjs4wJ*dlfiV-R15wYhI~Xm!ghQp=)|`xDAFk1jwmJgsIPqL3j!1eIEsO+q~`- zmuR36@hn2|Rs5oVWm(?&iL+4Pd4N2}S5W_-n(sdTy#HzRe;3$)oTUrX{}q7v^*<8H z>>yO&|A#RGp$GpTlO)H3ups^q6Wch(y^Heemm_uZ90((Dlp6-1H@e8yR@3h7Et8Xu ztxWuf7+J54K1o;_{Wu8?-)?h6CSq8FL}(jShjq!-E?rbFPLu`$_9?(6RaIV2PE7g_ zwivYXkczJNLU6TyXx@`xfz6~)^KF71U8K#=?a%XOcXM}hv+Mkg&*?uXPmqBiRP{p< zz&6zIoty*EpW<MB=O-+C-{q0dVejztmG%qddtxCU{jC`ksA7WJ!*Ec)^P@1Z5AhW| z=&7-AAOP`QDGG6QqVRKcy1&yizx_%B4ZAccwctU2Z${${o(A(&#T*06B`T5+i=wWP z5$=z{kyCPDjzMcuAEc%ZJ!BYo62qfW!041UaKR6(LIy+(h(QoiG7~$64GcpNk~ozG zNx|k&IJFJ%fS$qf%O3CtO2P3<9{6I=HAZC<6X`NEjD?fbJey(1Yd8fGtsRLvV7?bZ z#2=pmB(-Y}U|<<l4%z>+X({%hW##~HAXSxiJP|4&Y2XC5PT7R5PTeUL*6QfDq3&?@ zo&`{riVhGJgaEn@%b)7LNZlY~tZv*qfEid0qhD@HSBKRhav&L44!1+zpm1OrXa&u$ zcAx_~j|qqyK!S^b;ny<OH|`b|GY%h63^V{mgUu@+qPQchzVHo{3ETx$16>C70XHOO zCS#^sAiw<20D9mrjjSIU9hgwy{^AFrpg=;bH<i4Oi0tUjcWf>qt$Q>83|BfW0B2sm zZm9N62BKd15V0pITM4Eo>Qm0^eOWN+{C8l!$~|sRnpNHLX)~;0{ZKC;cmOX_=PM^F zf1K%V1}pPTVP|JXjQ3QI)@~fHqcgMz(UIb8U>m*1V2}@)zns0jPHF*fKH5Gq6qwwo zZq>0mL#~=TZCzXHMNsRd=xDGSaS&auMnmR+dkx)@iQnAn<ux59k80A?%43mnh;WH( zQ#>U%eQZgZTO{JB#7bamlq`+gVlx^RHl|U%PJ&Ot^&I}$oqU+5O=)Z1bf|FwaBNRx z)q0{#x|R&1PW2c$f*uS$u8SO<1-e-Vv;i(rD?@bRnfqOOl#i{dIFmx?maj*0_K)1W zSQlk{iPX$}G*~#^q0ig67&139M<*(B!#2$`3@%>iMI|g&aYhr$JjhisgKd{GPg61} zcS_OtnyCeZ2)g()TROE)A_gFv?zdnPa|@i*B3vFXVw1S_X0vqKe=7{e0JA9Ia5?Fc zZM^(yToovHXXiqkOfAfKmvL_N(2?59yA2+dw3lS=V^G*)Dao>9-IE&0Fnenj3FI;( z0r}1j+`H-U<8N<Ha`b4IobnIN|2BTR19#3%eklKaHcM9RmTqgy+yA`F1V!pK7P~9A z3)(Y~%(NoOmJIjw<zKts14{@HOH(!QH~_eNOUB@YO9v)^2>u`N51WQ)D#E~BTz=Si zn>%i#egq_%Hw%Q@k$USpa()ST^e~>GLbLg1vBaXDX?7pd!-g==LoFITacbIO7T9eD z+`ZV~5s1BDW`_QKjq)%fGRXT&Kz-Q$!D%)iA5v+6Fl6hVr$FKbNVi-WCvN3PIR>sT z3(Y~0=|q|;Gm<1A$!YiGS#F<8)#a0Ph|y?Anzt@kSwxr1f$^0Vrg!h3M3Q$y8LUDK z;HI&@W9=y#yu8C5LW$ecg3lOxkf-EaNcelfAp;{>qc?2-_DinAV2}X!)M+9yg_E5f z>&_F~2O>I|qER;;=t!%*^fuux*%ppJvv42*h}<|}7c-z=?i~1w`TLIc@i_i93z4-s zdqS0+W>=9ha~$nuLIiF+xzVmI5p!q__WF1wh&h@Mi{Uh+T)Y&;q~eAgrQY=DJrc}; zp6HSp+G3Z5ZO<aIIU-0M@v$i)MkHbk6ZDdgwY84Jb~CFL_z<JpW@#T*G%|smsjJBP zFVc<6*>u)U-W)AO3mMVVx|82B#?EmGUJbKoM1bWXgfGr1b4G8Z=ZfGj?9HDIoV7a< z{KY#G-wYQ+fcx+0MEO_jLyU`;z=oi1c3*H$y0?n3_`_r9WjI&;lq%F}rD4ZoG~Am( zDh^-R{IxqAU=+z0;tgeL+^AFr&m3R2kHWeDhHu*DM_t(d@R{_WByFBUyZoZ9M@Sm= zn;!!3*Szvb646ADKCf{?;n|<z`I!;b%{aHR?WvJjh1!cf`5oi(AClBv(+C|ez{ZhD z?h0S=kM!`_{W$J7I50{%bAMwWjjekqTerescVEl{I2DI@P4<|Feyu>Mw-kvE;S4f# z!&`@2xVjjNB6ZRn=|qd?e5#b=NL6Xq6V2+{mX_9hp{-OqvkD%9Fs}J{UHfk{q`SJl zzP`;dQQWY>?PBS!tZYnEhB`%BMY!Zh(qHRy&~vtao^7U1<UPwFU1%8V{5L19FVi^( zcb8urP%6oyj4g=ILk0Y7TRg{}E0!gvFj|>~)9s`ui0StmYM(sIX1aa(c5XhOXY#%* z(#wS2dbSKBu_e`ND8<NeD7)sL43b$y8y_gB4`=;!`bg+OEi4a{(zqT9hZQ!_4G@jY zy&W{3^o1Hjs%BZg+)at^#Z<+I5=|^d{3JL>APZ}YZ4yL>I=T<rbwltP%DimPi!>d5 z18xt9qbfWbq?RdGbxi2#a>)$1{G=5wo<-Df4P7NM^%^0YS(1(Iy|38-sTs)Q-=Si^ zBI7G=_ujDjgLxFoj?#DZ2X@+dy4vY3_^?TK=E;#lNwQTN51TjIzOuth{6AUEE&c`J zK$r2tvPDN1aK>zc+oPl3dDP88zHlvd>vsq}Qo~%G%s)Zd?RWMNz{<mVr|z)+uy$ln zhsx>n5qHTLU$x==14o{7V7OC6cCj}f?}YufJ-V)+)bRc>u>r0+!q0%sZTuV6lxrKU zRrbZxl{xQf<v~8j7o6*(mgOHuK)ovouyIyHJ1O#NzjANP+dC<;qlYqN`6+=#OsCuY z2W(&CPM|O6OKrIKjVbMXAGdEF^&(WAK;?zi%JWdL7Cd9K^SB;2^5w-`+t5;v=I%{X zUHLm}ULZb(jrN4#%|I+Kll24lYDLsDd#VcQiIQ{?q3)&-M&S3uEt5&t>+D4;P{J_- zW0ZO+`?oAopm~7y*Vl8Vw*H#b@Xkb@BBpUr-qdUicWPO&8{G5@^4dcmcDibA2mu-V z&>~u5CU+KB;x?yLpGntoa33Z^w9F*9fI>&xLvCW84IMR@dR}9Y)+v69z)&ikms|`Y z2CL+vR-E4jz7~POYleU<&oRpeFs($LM?$4b$nFIrszsZXZ>%ZqEBpG0&w+{p)kCol zjdt-=qgqd^zMM~MkcMV_>~MKw=ZaSX=DyTij($@vo+D%pM(5;Lxq9q)S&|rLi%X#| zCPxAZTG`?(DOU{VFQdx0duhBia#kHz3#`n=s8CXC+(H&<!@X%P=QXe)Aj>GD_$5IF z@knrSjSI0puPv)ivoXkFMeuEzeKTT^>1eULncbvv=wt@i62@5MG$PRipYtJwTHU+; z2lO;;bd%*SUOI+BGh<{Ds;v=i-aN$*Z%xF@d!C(M0dWP=3&Qww#8CO9u;xe5__@+u zXsCV=AVa=N8Uu3`N0GM$xIg^PL0aAbhBr&lCWRrB&1<t+XXC|@enypjrIndqrdi5x z@<4@3IO%HwRHIqwD$OW*A&zI@RNAayN<QGGi>6x6NquXU6X7k&(iLuER=PJCMZ>1C z)%BmG&CuK{d43rapK1{L-aw+b+}5j1B=OPc_|&cWYm(1VJHc)P)Je-QpPD+si%^eY zT=w0!;J_hZaVZGetTYqKKvvo_7euI`xPMIhE$<pzRiUr9;!Bt|s`!;6i2fI^BtONS z+^1RmHexCjs;YWzT=0Do`gDMqANrS|@HeX%^20dJ=55oblrh)ctqMT?C4SoLAfA1t z>MJzl!{u9%%qOHAc!=}6U#!@t0G@xvhyWiH{s@u!u#COJ$3s}B!3_%FRpUg~aS!1c z)CKl6h$~rZxq`B=C26d>jV!-b{->ZP?EATLMV+lcEjidmj5&7#J}4s0#Yx(U?@i9t zsbZIC%nuP1X&^>KHs)0fCS)*xu_7S)0JZ}bG2KNFZojn?*p~}nEdCa?!wn=m|C70x z;7_hXgA=Axio9fX=}JC={}JT&XD5OR`wrPjT@3_nFS`)F-P8?l20PHpe&l^o%t;>c zR0_((dj#$7Pr+|wb+{_TFt;J-`wF*1O==3x_+Ye%$>c(Wxe(b+Phn-&PXWN3r3V$u zW$CwM%+?GmFcj3ohFP!PeZZ*|j6lz9av*#@HU$FA0-hnF3m+o_`F?{nL?4Hg5VMG0 z*%FSV@OM!elR1s`xwJEEj;v}90#<;GsuQr0Vf6J7stuhh8U2b{uVFE*sIp8r3>VcT z5h3*Xn0`z~&$W0E*&Pm7=2C&9SlgkAr_O_iayg|LXj5f}rU7O9bR4;EJ#q919)X;1 zE3<xvoWJ9_<@=57Z~mCs-0Jraq_y|$M|qoSV@oijF8^oVt@jU5X<d%0<dSGu$xbkz zg3&KWe5w~ojQnU&I<wf-aX_!am8r33281BjhaeYC9jmGJ*5aCOFkomQNE+u-6^6Qa zwSMCW*bqnXkFExYg535^A^xHDgr@Vu-qO<xGDlpim9WPYPA9{9Q{PVUS($CzwrS`# z`~75ed)~hV8Mi7#P7))lHsLlr7SUyQMsN}QJ}*;T<c_jQD*NRa^hhG{<+|_q_|yCo z^>gxb`_+H&0F0mgvG_a&j#__@JO4A1x}H)2>T3<6YD?-%kw9LLaJ<rFUt%3nMBCz* z6qTp|FBG*?gI85jNCHvn<;`pz!eDXCz^yrQFxPg#dr8XO^6b(TY13A>4^m95@01OU z<be3{!%nnV{;*9;qq3o<N;@!cV0*9@*tl{52EN!?$fSJ%j@U)u6(H_N6(C55)wStB z8t#tUN)bS37=x&kQA>Vt_I0t|c|6z$`;ZQniifBz;@Tt42c(}Fq9T=X@*ZU%%7%O+ zH@H>IK&Cy21@zq1;ARQJP}zh46)As`dsQ~bA}_Q(8jnunYl0h*Bu(yml3LWdd8F0k zh1JlvW+v^MI>muWu|T{9^@R0F2Lu#w!g$9B{!F&G7rtIOiL5wP(2AmQY5W<Gyhm8O zW`z{2BC0PP_AH^Qb^lx7N-<gMe0<V|p~7=v)EZf_s8Z3YN=`A<n)XmWm#W-yVFlId zuP;w&%2mi8V;hXzmFt=kK<N{5mM(qy8ssy(Lab?_uFx6*fWZDGfpRl&`WX(0{lJ>i z*n&qu?-c~im<;X-@q7gWqZ(GbcDciH;g2K_(_q?5-Wvg^c4zD7O*{shBFr!&3j-9U ztDuLqaZ{VZ%MukshkY23bf~V&lGMTe1tZdi7J?~g_=Px6<m}bAaPnS^cIJh=JhC8> zR45_x@2C+zR_N61X71SL4Au&GHZC-vxFN@PHj#Td_I8rY%vJ#my8TP$B!gEfxR0!# z6+F!yYKQPQeK|_(Et&C<PJhS~_0W6#tS%>E{^b2LrCL~v&j}Z$M;4Wzr^4tN1jc`h z0??|U{1a1+J%>vImAY0E^04{n`thn9p|$W+eV1jRvR4>#Q2q_k2Py%4_MpYs4z%+^ zsJ7?Qr*ouV5B0bXnLj=74su*@Yzdf0DQXy)KRbW}VbVxtntGu;y|L`eL#8q^o$s&! zcd$R++zvbNh>PLd0yTy1n~|Y|@@$h>>5+4Gr$wru-`BFk;Sc^agnxSpFuv*r-CHg{ zvX{TE_6z{x?bITj9^?T<GH@FWE$Kf<IylZvGFS;!3AYvM`(ZN=4L!xjElT1hSLS&W z&Y@D0_N<MPuh-#rXp3S7dRe!D!9md&FABCl?lqC09z*Sa5;*=8i>+3k+$BW3$zj=o zpcI_#t&Qr2dcXlLNOA8VzDhB45pRfgUNNWpVwXGe3-!3c_?dySwf>cwLe&~@)~dD1 zV^!`;+^xTBG>7_Ze_-hgyWe`9h-enV4WBlne8Kiw{LbkgNc=rGqpUE0}YrUa8 zv|nTN|IH+An|K6z&h-dFiMjbExAJ$~x+kUF5_>+5D6(20Y}d#ew$eq`1Q-qIy{M>F zo*CgR6~Fnz4E^B$`hSrl=wJVX4ryqHm4kx*`qlj(u0)@_2!flu4Zr}}s~RYwsUQoq z8*JEjt7}`Mj3Nm)?zYuL5JlSK7AHun5;sOh_A$JuGU<3`Uo%`7-DBNVMT#zry!{ET z|0Z(x=qBHexAQpN%XGD*Je#}i-}nEuF>=h_q^)QI$;G~-?o5XOF&)@hYeI2XjZ<@| z2<h2KnBhYUOB+Qi9|jM+^~B$9Expr+EOxfb-@t^}(p38xve&{XvmL@{noFQZH)5k^ z>cO;{XzSdGbj5-lmASI>1W%`n84l`t-ym0DG;(eq^}AuKkqF5{kCVv!J0e(FW{uW) zwrr;)iQVcf>Zgi9;L7Z#KS&RTjVT2(?=w_b=$4{PN%A|~-#`io!GnRvOTVMlSa}T6 z=Egrl7PhG(IQ)_52(ymWwtQ$1{VD`Vvu?$=_4MgxDN&8_aRSWj%XmX|FO#TX(<Y<i z!$}M$v1dIoe$K;Rh|-XBI?BbH&l&X@W$eZtiF1t=!~gZ^?w<c--HB=^55qGIOE+fr z!k}x()&Wl<MNS9Sh*~XWUGeWeNQZQ`cp+Lg)l2(AihhB*pjgKF24u4K6W`Owo;6~Z z;z=(-@v|lQfE;19^@(}83J&C(Y$;FXh-|YJ12S()MPhLCMA_sT$Fv&7#UN6RlJZH7 zil<89O0Zw(u%y|1LuA6?hn3EiQngnpDE4lj_VXW%_iPEDsGJDikpA~ek#Y-+^alC$ z%M3Ibs6&t(=LHWWXJIt6GjVl|O`KN5V?hrCQYFi?%FA`Ad6OWwgL8t}(sIJ27KM>= zsB-CK;)G-KaAx5!I*w#%ib9hR284?W%z<tYOEk^%<XhxFUcMeL?}7yo-2LL1Q9m?m zlU>aj_9B8q#Pp+o*EZQW?S)Gn9|m)tf}+u))DX>|ikSvZC!WyCu*cWp+~wiJBv*5r zQ9tp)r`|SdN}l+@kDi_qLDpNKO)~d7n%c8j#37jrwnWCq3krt5#W0anL5tQD5t<@g z!qZV5>5J=T9G|CO=Z+2&$^JDLQn1G@3gjJL7r_;fi^?gPkcr~G_IPba&*We|;e$7Z z<_jw*l}H21pz8Qs_yOEVk8=uHM4H>Bc(IDK7*pm$1znTdva<i(h{t<Oc6+3om>pgA zDWF+|5N6BQ`6$x;eJaKHFxAxaNb8CMz>=JJirb@Cf@ZZFBfSm^p?`O2^aP#}7!H2& zjIo;7#H>>*=X=o?hFGwE<5?_h`a}_y(fAh-C@T@~tJFRa{qI}K{mCuvf%)|dgXY&S zn*Z~k<GfITy*lqebSs=6#k7V=R&o-34eRW!UpxU2RWH&J;-c5G+~nx8e>paD6(B9G z(lR#_T3TzLt!rENw$^^H{#J?BZ2)J`y{&rgyZ!9@2lw^He>>-38E?KX121$n!*=`W zcXQ^qpJ|o<eT$|9x)JrmZYr=hpC11H5Qv?1CsIZTj5L8zl)Nv*E_!2*_azU*<i{O` z%=tYcb<aZh2|$l$nZBT&yL+mn7DN%F+b6ODvBKdQO?QnwAE7c6_lu&+JD7gQ7L1)| z{+99oqF2j5o<8$Bf|K`aL@^pl$GcO9HyYF`e$z!)lDdDU?koHSyAon?F{h~JYOt$; z?ED-93_=LDp>oiUE6mi{jlD#};d3ZawdA+ayLd~;Tcn?t?h=6gYd_r_S?_*V!C5!z znrAYGbRjeEVeQgriCc_0%UKS;?i!PrQ(pdp5*(BY^5vezcWOgcrbr(vHd5%tBc<ge z!6EPHzp&K%_6&t8P^#odZc=GO#qk(W*U8BPEHnNm-v<xrJhH+5dy7nDZZ4A>4Gb(8 zLYp+1BeK&={WWM9wu^7*j%mxLeBuNXl}-CMaD2vPN<h1)R2-n-<EA>;6t{HXMp$Hr zR+OKdw8#)|fwVPez4MIbElL!*O*PXYt=AKQmXq!=g9(tNzu}-CzAVQ5doW&yI7x~M z^yuu;!Y>?OOd6ld6jN47s5-o9VMzb00FZ8jr;EV3VVquuS5s1P*7D>PgJC}YL_~T~ z!uBW&-!va)qwmSpuqI&u#oy*gTxre|@sPY%fIyHj^q0&^TFYT~pS@p%te>E+&8@js zb*9G}Ei8Rfck;)9u=37@zaWG-%z9`98p>RLd_kXHvvBLjhVd1YBgj#@1u1oOlxp%z z#w{^6?l(4f9iJ38bwW-DoZ3*p<JmHk*QBsGl(=MV9%F&jVk|ptCQ~MZ;=r5PO6j0? z();k9;!2*z@p`$p)VOMf3d&mcr>+=m(MESWD%B#NJ1nt?pFF8s?q>3NI#LS(A8l^X zR-1ypj0d|?Nu3ta2>0CitzvA;2(i~r&5BYKU^VYG?I@zNg;m~DNwh{=CQ5sVP9&p} zvPNAwog5g83CdOsAi~AC@kr^1O(QX9Hq$8|&s84bx$N&?Dvi}LsFOQdbA|{0@)l%g zZRC!{)J%6re(}PA1LD(47X;XWR;Rd|G@FP+C#n38)>HKdlqyURbQAk~$cK1!`eDV7 z#`Pv%#M*Z66y{zRlDcV~;aIe97Td2oxyD?YNq9p}0vbu-#}8}ajUMabYl|0v>aK7> zK%slsG+^4T0@21Y&Xe%-$HLi3WEQvhld(qfeO2C36+J&VStqlZ-Pi({DxrT#pBw6P zV|9_mGMj5dr0KK{8g9Tk<7=!hA2!!>Pu*cPsHIZD)lZ!{t)cQMofdC0Nhz4KKLUH} z+Shv|P|x%y+DU?9kCzGLFse~rvyax6Fr4D{1mk6&9qGksEnRwQyRYldHG4)n_WTCU z?7{cQEEe<F;M61@kJllPRK3v0ebUF9Svb>cj9kBvhWQjDlsPo<hgU}Xxa;_@NIKrT z+iHzUSv+IOXQ`KRf}!?)sM6>w)Q1Z+@2>7!8Vn*Qo`X;%Ue=7c+dNCsQS$LtPO5n_ zhuWaa@G}@TekoF7$nm+2T0ZlbO}D{N{?1^zY9JIrtl$!Vmbx>LqE7W5pI>X#azw)y zZeO!8w36VQ%6-Tp`6~j;hl;i@7z9JFQDM~cUI2rS1$p#U<Lg(py4?t+OM4H^WC0Q8 zNGc~LM$2@|Cc0h1)!)WCqRKZGy+^dZFLWWbd)F_~QKox3jQ%mlqPN<p{liyU)Hg6A z!-;gEs*PBo$~QLP_t1(_@mqFO|1lBlS~~$g+fG{x(F11@!?rD(boN{=wZJN8rB8P8 zTX_`la37X2y`dGE5@pv{hwi*aQ#~wojUX41hq1=y#T`|4tDSa(lA$@n3<8BAwP<<O zaRl5Boyx~`jfLKEVmWENA|okfM4D6T)JOxuNJ8{vVP+4Q;(?2?f&fpey^?sKsB{+7 zJGX?%U`7TO#6serw-v64ZRiry*HQ7Y6^**3Bg!XdZPj}%(#u789y{it8m8@%7&jNP zKWCaKmRvVZ@Rd3^m%5)|bzPK9!ra5+wBICY+Zs{2P?Iip`boAUbAoBpw?Dsox6{~> z7L!ai$>I%ESjq(~VNf8S=e+OUnPXg1=s7lflQlJ_1H|vIYRgJp#0?K}ADQ)vC<um< z(nO!y-(^GERcGyFf-!b_mG|Z-(gPW48o)_8Z^6Hb6v7Dh^Y>}-4W^&a;{ujUbhS){ zSZbRH!pjhBQ!tSkhrR6rf)ME?35ZyK?OsfvzA^y6bLYs1^hwUG&?L@q-{v`a|C|d7 zudH^2)d@Vc#N5E{UUn0PKVTCF^llhhbk#BMhM&DJS4)c#?3%F?T;vTE4VU}P#8qW{ zu*&zx>qtdFSDVp6H@}hNzS!l64%-y=g2*91YY6RI*-$}Rc3K~+Y0KKh?uNt@)G?cv zJ7oZQ48tTux0Kg;=r4G|p6OZgq?QvWc-ZqL$c5L@c3uA9r{zkRrMqCd`>I$sq(Y`Y zK6=$~53%rsr?Ruv+NIZDF{+Lk?z3uH>{>PaML8<OYs?$L#nsLw(q@1(T~@W#cDG-w z(iFmq?(T|gX8r-y*P_^!gS#ku1qFT}?pFfurEhWcM>1&m%^r(EJ*89dz&~;G_XaQi zv?v{B+F??KhnF>2!rESVIN!>+r3P6)q2d~#46HA2l=j*xzQ0_J6*$Jnd8>d)k#5sn zb#AqX0;jE7i?eU+x2r35`aE<`2#rqc`()drrV43EHUz4F=NAR_#@x)4lC9+pp40-b z)wH>qSzxXx7VYHG1R9gNr2QR;{&kGKF5gP1zk01KiIOX71t3lYgqaINIr|MzL$1DW z%lH%VikpR3CQLDF!1selk?(Ya469b)l`1o(3HORmeWWjOqR~KB*XcGqfOzpNX33jN z4N1$Bo&-nNz1dJpU5b~B6-t#Znu!DP)R7abAXMT6WuF?A(=rMdaI^zQBrK(K7(%Cx zI>alvohYs!Bj!x_1L9_a1Vx@gTCQY@9EWC;njA?!Fgi3){qPpsk5iM*`6B!=3<)B3 zif~9@aeFjD-KhxbTUF|ZcasvmdxiJOBK^S@U&E689H}=QQ_}uX2BxL{vn=|(Ps;FF z3(7$EX)oR{pf0~h66;?sJgw_OwD=m{^ygc7(~CIe3QBa+KYgX}rGQ-a^xUUCrRG(- zkT6NKR}1!8kVc(rk)_LX$qGdm_xt}&2mJp^IKa-Br}%&6n<M0}U!4E{ln*``g$fg> zgeHRRU)F6g-SwM6Q$krw!Uj$ieY9RxVnAAS1=@5W+SaqhwvBK0rU-DRG_eSWg_so) zYf5}y5!pY`90?TlE2p=i5I}xqzUAYa|Ln<UGXes2p`0+ewi89`;}FeD(o*Fdus#;* zlRYHI16Cf+*O@a0bO^4w%T1)i17m>tbG97`0}XM#4?h$LS{&%uPq6j;hyKbQRq%~c zNH|Anw|e#1yo3q@?S|T3>koM+xBOmna)%mWZ4Fo80>SW`mF50>_rBvU)%+8Wp-~fj zZP%w%<KyKw&UDCxuT*pzTDTba^Dxoy>#TfjzYhiYrVHX=ve|Yvcor$=eb0d%?<|L1 z;(ws)=QO^Ul5|Xw{d0|<`k^H){K|8PWhai|NQS@V+blZ$3{jY<O(@6)bvI!h*6&+@ z)&*$c2yTVr10wjW31c7#WROuElt540jyjW+K|Ah#hO#rc6PR?Z4lG6b6o5ur@Zp1e zW;QE&^U!cp!)&^yaT<LURwdBlCNqzjZs@G6A{;XVJ>vwhLzs}~z<g!<)?op0Vnc|F zJ<KiUNLKr4$ZS*#EA;0jm-dz6qKhWX1ZUXbKIzlkK24tvT3+uiz&G5|+$Jn!lU^46 zA|MPVY><Gn$SOLYWKlU*CVp<bM2e7^yxlX1WL4UcHKh<PKWpuGO9fD_5PP>r>_Wcn zghAGUh^oth0a6^5JyR*X?^vK(Db{rJrER%ZPE@PIGkkQw*_)SFI8s<dJ`PEMgM~*< zn3bkH`UN+4nSRkb#H0K|pTvuMy&X2Knk4PgC^TuhH@xXv#~}0r@gbR0iY!~qoWwpx z-{?nb1n0N4Z9$ww1sD)TmTCpc`p0-CEkhjblv`0e<5qc5@*!GPS+a|U(fuC+qU@$X zOGt>Ww&bU248za+W^2f<t#!WK1;^EvvLv}=B@_6{iiN7>_bz7l>Nv_Vu`|9`tX(c3 zx_7dok%95&y$#Z=E^Jpz-GVzWP71v&<>GC@mYh#RXTa@i2g>Nms{y<G+~2Lrv3N(Z zsGJ5!`Diq}*QwqV=7)!JitcWSmRyWDDov;XYmiv{Pt`+3*xB785#^o9f}*LLbW^&_ z2_=2-8}xrySi~-orkL2jex*nzAJDP^XL(@&`WmZeJvw_c+35l{pIe|8qS=-g3qghQ zTcX)z6zno`db(=nUNVMDg~^$2ma4d(IvVQY;0o&M!pEwq?y@k}yBp%j;G-B$Vk*u? zA`khl`#x-rY2?XK`>$u8r#+uH0<SyG`>wasWc7QW7QeJ95UB4g^#6o^I<o`=Dd5vs zxibe@A*XRxShNQV@<hObB_S2yHCdrqxkCqOakS`^ZI%Qy#+J=}b7N)&`3(X)J0!>0 z&?^QLf*3k9NmATl>&Dr<#&iUCh>s;9Fb_!yZBm_+LFJqiW9(t+kIyV2{=Rie1bX}D z)e4i5nDONm4_NL@ofE`tPu3d%;oDd$ui@uT770MO1Ngu?;O5O5^u`2s{(0kcV`xYF zc)j`Ny+T4T4ZwNrNx(B&I=ev%z<XO<nb8M#UcVj&AiYjvYZ}uTk{<g*@UjdUCwN6q zVXGbJ<3AjNK!{>nwSXg0;lR@|Lm{!Y%Kal>BY}{*i-q4SImo_e*zv9gBJGdS_2wGw z4OXO20(j^SVR7o!2L>brd!q8SKJRkB@J-A1DUQ2!3T)9M4t%h4#sfn9>yh@yvDaB| zKK%d${k{Q%&+vj12atwmk`8_mgW-PMQ@l84ez~JlAJEI+)WPxh0}8DE`hj$JXt4UR z`6>67Y44c+of>0GlW#Uah`K>%$o#{(`G*l#c~|5&{Q7$@93(m?0slaszVl%w=QDe| zr)`{_!Gr%mE|!jLEd}Sxh?v*AN9tf7i=2ZqKlmG~I}1o76Q`I;VCvvHwr}od-{3(u zt6;%FF#RO7;K-7|j4?v6RL89zJYnkn_LpzW;4%G`Cw9&KG1?oj1gXFJK<%w1W<UA< z6T0uZQ7-mPku0*HO{!S3hoguJRT6ZtUTO$z@$tyyx0Z)~5z$KU@T3!Y$M(6x*bzfW zL-N@3AEzB*?VRw2wW~<n$pbIGExom6a0-?rY24uKr;<43^+h72u;Tj$LL639k>dqp zdhDCaXmB61#qR^)96ROg<0ygv3fUfVngT~P*;=)fhc<wHe7PPC3p$oy_%qns(MdV} z<%TW7ntvl3dW<m^y#4yZ_#+#KNpMM!8@<qmqWAOZJfM*;2U?9uw1Nzi2$~W;D-ZtF z@b^<hrKo&XKSNfGgee$V?VJqW$5Ua+0f{j_Zq#{6krO?TH+JAUo726;g4xEj)Y+KZ zw}B&RV{ISzKi4HD(<G8AHfnVl>6iO~TxgiEZ)=lxjsWgSd3<;-Jl)c@hZ^~Op2%sa z8jrnL(p%D?qZ5`&&<OoGy0`8xA)-UiMdbiL8VmlM$cTuGb1{uyoz#x{H|Z)5l%IL9 z$}T7kKD8G}d3b%lLGh=y#QiUSIrpHYp~g9bBArFzD<L)|73utIXt9Z=ix9_uQBmgQ zY8e(a&p9_KV)-6L7D|3Mshd)2>l2x}bvyT}&fufKWPXZxa`^r(PMbb6&h1PzL~(~Q zY2=@S0IU2mMk21qg#e0o<)n&UQn!t&R^hiOECV{w#5C{#GA!7fkEF_zfzCl-D2hgm zh7Yc0Blf@{_8BF)YHvNgOtMj1Yo$tF*oJQ;&vdJS9d-GW+i><vd}#f|N;1#g#UE%W zYTom3Xw4|2MS!H90hT+L7zIMsNip6Nq5#QQo)~ABY?;7jS+9saDQ~%pACItv*Bzc{ z=UN7=`rCy8v1>fQLr|Ev5T$rT5qULfkrL<g+MX;y5Ohl+7m9XeZ}QhnZuJR1oXk(O zZB2eADSz#R99(m&sf)BI3`J{w7JY+(?g4df4~GiFu)cy{BQw!8Je5cK&2Z~INphRy zFzLl1ctL>e(`yO+;Z-Cmwk9?P`&}JHRZ$LTJ6z~wmtf9YCo}p;Llx#TQ99vg`>0Pc z@3t$!Gj?xrfJRNrDNfpbbXW*|KdfTmRh4-h+<7%Sah*Eq<iiiDfK_wlKGQ%Go*>V* ztHfQ(oWOuD(|X9Q�P8_!e_C-qR2gJhCO)0oM{M(PMlW%o?HlV_EyQ~BJV<=X>v z$<@}bi&0jC&O4cKm5BOHr<|3i0^plP+6Lw6etbJs%-pJW?P#IxTOt{f$;votX>N&N z2$-nlnJZCJ^Rx9KD>79%lz6L#H43e-yi))Ohe92aU=W5$slQ?JR}HlvvS1K~-&Wj_ z2bUk%VD!x&;Q0R|2`0L~jK}#38EgjLA*Z%M{H4P%3@}=*q}s2Z*`kym&pBu#tdk`; zQPz+Qa%&Y6kD^Y*KaXC@Z4DldG`Eje$!<oz0Ld?u^`t#DHUDiWP6S(z`Q6>?*J|&N z0SpjIxtF5-#s(G*?H>}ceyfjK-Sc4NkLNGKtPH{9Mb3O|vR4RG-$0iQk$(YGWh;6f zg$?taN<WU`GyZsvrquoM9QV0Nxj&=*2K_EPV!GF&?F;C)Z2gfO#d?2kf8+aaKC}Kv z6taIjUHuE}TV?FO64^=|<0pt5;8iD8{l@j>BQibf8>4<tG&3tSY4^tT)gHrC{RUfq zDcT+-2zrOlUq3XD{e_>Gza<Ogk)Q})%~uED7#2RrC}H0R(=9h^z9b`-a+D_+$&1JX zP874uM|4DfM6`KQjSw%Ki}IX5u8(r9daI5~z)J{VDqY;yUjJmxr1vmo;=@7&SCPvw zYPiS|YCOm`(Y|B9@i6pI)1;u31khJjsgtHwsb;D(%3)Ng%M44WT+jns+wy~o+tO<Y zjoP^#o)`@KZSz&C%gGomy~OQn`Z;CDP8H<rxmEDuUdpB~By5A_t$JxS4%w>IXQNjS z<lOW#6_1D5x~YlK*p~3Opj>**$gK1|wkY21q9$=(L|d!awX(vQ9cA~<CuC9cSrtmQ zRE9uWSNi%@DHO8ixAcL+R<SkU3fuV>5R}O$WRwaR-x7qfz6>RgN3yW&7-uG_QU2;1 za=o;gOVw_mI7nv?0Z6?q&L?nk7RI&C5hWLF9}ls^nKJQso2u(&3NA%%Nwll7(dssh zE#j$Zsy)(Fa#SQWS<f0#v<zmv)0-{R<uZyMgeDSIs<|ye&ssnw7B*KM7KSBAUOP6_ zWLxD@$x4}2O<8pCawk;f#t;|Fdv_!?ol@EAO$Mh(*dKGVT-w|++4|%xjSDxMSlV2Y zQ1wa)-D=rO@}-l^B^_vl<#h~G$0FCY1QeyXiX}*!V%k>OY-CM&zIZkzOU>*Soz%9w zBP+S<Dz~^6jZ`3SiK52eAT4zpyx{-RkW`O~B}JQc`7Vt1`X;wL+UvBJils{)`EHt7 zX`j+ZjSGaKf@M_e_?J+mu+K1e)^muZ&?>h?w?^8Fw;1~83f1}%F40T#N##=iz36l- z97`Rapvtb9lkn!J!=Z7<@K0L7f9PFgPFJr4EV)Ia&J94i=>_yHVdbGn59gm1+duTb zU6zJkAu%%dUaXg}4}AZ~jmftGbbSW-5Y`u*Sj(rHBQUio`={5UkMqJ^q)ERdk6LK` zz|8DJivlVtT`})7qxEk^`t-<b&MZh;#z;{fVH1(e-9x2D6jZ%A;s_g8^#2|KTG3R> z5PuhNM9l!<X14sz#Q!Wtb$yBDFv+{Rlf35C9C}peGjTomc-gL?8Kf}C7^&P(^tsE@ zZEy_8G0~a7h@R6LSt1}(NEJbT#>w51r6X;;nu#*eS#`9#?384-Wpe6Rm}SF92tF=P zKF}Z`cbXhiVwFk}4}v~n`=Mj*bf)vU?r<^GikbjXlqg?9l0VBLq+nxNkF3YbX5)f@ zIwUiqhbYLc@dV;l=sB7*3ba8|%A}Sx!5MqqKrQ{Vh&-)yG~`o+rVdGr5vbwCzLC-o zWv2<^bR}J>kb+~|`6SYX30B|YESR7VQ>DC_$Z)p~cQT`^I_in#HR@T856GBU^~eW> zp%|bvI*8k8T!gwx)<kC@14liOZALRfk5ZMYJIx)hw>5$<qX?GokiyW<I)WA}q^u}s znD*n1k`ZScIsTH2v_02oLT*0iWjoz9--d=cf3?3s`D3o3z-gwHk~7ZEhJ&rp?`?xy zR7LumrBymk9n(pEW_Fn1@Z7(+KDdfgF#>pGD{7t<(zE{6mb@}-N8QJb6`DC3H}7BG zn{-WkqZd)*1tZ2Wv~snTkA$pi>0~rM*-YWXNY_$*ZktY8myuDRb!#z7l4D4IQZrml zj6#eQqy2Bl#!{r5Vq3c`^JvWYsz8O?5hFYG#7WeSs?5kjLmOwvW>#_D#j@(e-UB!) zC3U%}g4*0c>V&+RP@qQBov%?~BoGWrurqTYBUzMA>%80?eL$Cuayg8G;4zx?IU?9p zQzw02H517f?jt``W}H6z=N-}Ch;6b7V2!e0IrB9VsQ<*N<W;zpLi70**x=xSm>`h* zrlTKWS0~4Rr`sw1!rJ0KTDg^_vkyf4Xij39FQ!$n$qi>oM6oIsJu@fO$yQ?3@-wT~ z5$C~lrmpwH#6PPXnWE~RLC(H)gW9V0P>v-+dd*rLjb$rcJ8r(AFRDZ~VmM7dH)teD zb6uZE7|j2OR)#5F`s0NIb_)CTP5Lsm87-IWq3tst6X8|F8x^ae<5+Do-w6B*76PHj zb`yhut7GbS{u4>yiaotCgzpfmVqq15W-T-X(LAvyQF}wKB&UT%yHycT=Ev{KW$)1C z^UZ|^L)2Lz%HA)MDOviD)Fe-C__VWyJZD43-M2`{?i)*C*{-E&JtjrIi-k#Mt79+b zuG0A(ex;@<)|0GUm$lN3k_>oaC)6y8`Ez1&Iqv3q1_kxmFJkJ;V)oBfg&T9n!LOgq zP0>RGqKn31WRn#&RKiK<t{-VVU?hL{*Wu+8<sjGj>whu7g(xI^<k18m&fgCaA9eO$ z(7*S^?@P{m1^<`l)&orUR~lTtc)eY`{p7iw=e`39_Y<A={7^&vj01UYg`9hSQvBy( z{V~3^N%Mr7^MtUJ5d1;<$-j(XzPJam4%RQ;`vcJ`{*ivA9o$x&{pzT|8mJHg)sFWJ z9vK)Nm>n1%m=?A?Fgvg+V1{N^#z|qOwoo1`$PtnF2d?fx6j;?=*wq)f=Lq#J_9oCH z9{uouwfx}V?O|*+%mS>qzz<)lgUQ%7;JJmiHmVGIkEPL02nsE3*mze}17fM~gHi2( zQE`?Wln5OE=L1$BYPM}4V9Zq~@Qc2nJ~}I{82^1k16kKcQFPa(=0#5BNCmM_@}qSo z(CG`;OP{=1qq7}8Dm!Dcrgfg&*b;2gEVC?DYKl)`*Y?3z)PT)_&paTpD|V)#WfxVM zmN1h|F7P|;$!>M%;A&2?RLge!pw(S7eXA>2F0SRLWqS$bdsjlOG!W&R_Or=B>-W)2 z5VJFk9RG@N3esHA6{VoPIBr$6gPCEsJKQ0MSfE4A^GYXata%`9)f(m=VNg#QsaO9L zHy8#9@C=)owg6`c3G%;!Mu#(LxalD9n)W!ePPzWw&6~&d4;V2pt(-?b(L3+L)IM#C z_j7LReOu}&6v%`w+Ew{~6Wgieib<Xdogi9Ydl<>PB1U@(0l6o}ZP2*wIp_Le5A9I7 zvk~=b{_!ykiXNH^#|eRCcgxsaK-(1xH--L}@H8@4GXQn`Ld3K9KRMx!h3=|CRZL6( z+CDFL=H8W5)-*x_x1P1NcDFVB;h>hbo@hKWP(G4Y?U&GQq5N6nxk2`ImX5LMoh0*J zI7!s-^s4~1hJV;O*+B%Ud}<B0=!$DQJYY23On;X7ao-ni68I6bPA7*q$R;$-o|=I< zEoZPyaX=+Q4n)}Iq@eX}?@B??T~Vf#u0zbX7HHM)yx=r|XA+?1)>*V}!xiePwTBnt zY+HZ^AO_1g(PO|ZxhS<&(?bn`)s1+jurjL|fA<v!IepvCzTvPx$%b2dH)^(!9n{C7 zJw;A6P%!sB6^MRS{M1~}Do+fN9uYc5rRFe=0erixp$WKbKOph^wcebzH$HGIDDPz< z#GxNfMZ7d?qT-EiozDxph`7$X?(NyUtt<GakRBP&eK&x_G1dp2)*!CXS=q+z92+0H zkz;B`IgRH#L>jKsBD9G)k05=1(`6*`pAT_jkoidijf`~L<T8A6fze|*%*Qe~#%wu_ z4KV0AtELf-j)oiiVOtf#t`a(1($q|QFv8z95?vn`cH?vrREM(H2|dpP@#4lk^9n_E zca|dScav6Cs_s>+^R#JwjUk<x5+6EkzT^h%7_Cw>8*0@bj>>w}(8X;#3-!&ZinXfR z)ikGR-CD_N)0>to^q$4FNhJMQisJ)<eBf0j4UR=|yc(~QEPLE*XExXiY}LX7wLhd7 z1qX=9#SHefH9x(4?N)DT8{||=Q%m5~5`U^~sjgRAAUCb`Ay=cz1gtI&9`Uf6R~$&g z2v3TA0Ia8Lsip~|QK^Q`w9q7j?fYNv+AVfrg!UEm9v*fpT(udC8eDrsJ(Ii!QD7_Q ze9I7tp6P7ckgvV}7VP7)9ODAJNhpLO-G*$|D7uzwDYL$xf<@k;HrjFh4I%I(Db%b* z&o#>{I>Mjs&fvVQtz2<R&(PbU;pKJ?a!^_;c~nwNEeo!_R3|p+Nl${lIx9Q%mDBW0 zW;`v7urXv^_lQ$hwD7DpEvU;*0@#VCP$*Et+_(knpfl|y;r(i3=yT@(sR9T`{@0CJ z9|Uz;5r~62D&p~*hl8sXT9sr9!(k33T_&WM(}HzwSfQP#BtZstUp-3KprnWqOFm7$ zn0nu~n7Y5Tf=<=RBCbf255xWaM^eRKou0<9tT&<bEx0u`bf+e~S~L%)1DM67rZg;Y zH%E5Icr=_mJx*gIxJU4yFu<YC^1F}hj&SaVJ(b+I{&cm1(U*wj-g;}d^5<(T)5fd3 zaP?_lVZBE&6g=Pur*@=j`!!id!`sk2Gg;tFH-x34@p@;&oVM+rvwPf)Q8RaR4%9&h z^MSqbR9=o>Np0WJ%re$!99YVfx<Lf(WiOOuKmECp5_IF@5a|UaYC69BrC&^!;=TNN zx?B@=WdoPHOfBPspWW8W;^WG7dU6r_E-Z~=OVgtn@NzD^r`w!+>WW*C0<Ro)k|t#+ z6^K`GmTKb{zJt(-g5e>lE>_2tlZ!!oqmP-+BNtZ&(_sjJdwdtk1`glGD(!IydiiM{ zC@;?Z<XALaR22`<l%5T_ZIs(m&$Xg=Gawmv?vmT%hvIF-ekZS{`YGz3^HZr9mm>+x zbDS2voD~~d<>m3Og>4M9{)shJ`$D#lY9Uf3FFzP2sjIXO0^lLMk7mc4nZ@8w<~o<) zT}RB<cx%py#5Mhq0>Ummx~hIybM}66w`O^J4LX!P2Ptj-eYA{K(DL&pShX^g1dtN7 zYD2t7i>NBEWRfa1HxLz*n^&n4?~qICpah!TIWx8hq8uS;w{nN2BK}e0O?1Sh+f51; z*i7h$+c`pCXc?`gytG572yagV?b*!nqb<>$uC`;}`<Aui1d2gyz-L7J@<JS|&F7Tt z4&Vs5QIF#CO*kW2Y@&KQ<a#~oXCOXbdOey;Xmid_!w$b!w9R_0zsH;uHSON(R1aHu z`pzxIpN!NHsqUYJath>_>r4r&Q6?MMTcyLJkttF}>1Sc`_`>%Y*IpWr=xduue%Vz7 zj7kUK6bcAl1BuhEN~?HEt~x!chR_%+v`)*b%6>>8u5)=I8tHhKhtzSOb#N*4N;SM) z{kJaWl=#}W1b<MXTlj0oeAC8qSls3Mg6HHe?ea7rE9z_KAj{Wuc!NJ?Y{!ReB0{&$ zCPd3xYL*-AI1Kf~U*_mDYvmg8{#f4n+S_pNFRf9@0QFjMju1Q&*AqO`mohX0if^a~ z3}y*0X&aSWyM?Ic-)p=*8E((r<_^4{ql<mpymu0-B^g#bYTIXW1BUAEN>!-KYb4Yh zUAcTlCa=11=dt;@L2O4y&#u$Lb`TLVAFuW4A}X@vbzb6}JLuW+g80S(0}PNuI2=0| z58YW9Kt@6Bp<mmw(i=kzB!|12f*K0JmWb07G}5sT9Mtuv4w~TOMztzq=j0@4T%ORQ z9q*<waSZkTD<)98ULiWdmU`CN2;cU+JU!|)n+JRR&F|&R+kyDa?+ncbCRx{0Lzdk% z({@}uvtuZ;e44OvC9$6I_C2;6fJdqWSd*S&lOe!&iy)<5`5M##ObW4rUrVwe|C4?? znfn6CGl5e*8zmJt<?c)DuHSKTJkMl4xM0m}S8&)+`m}tGPy?~}f&Uxq!4Js)ZZZ7u z-*4UhH^dc&`|B6&|LN#qN?`&4|1-hmC*xt|;lY_ruXDb!l;#qO%qq;XVBj56EiPKH zfGW1iYezXbU~bvXcUU1+TeRw(-wIf#B?O>vA+YP}A=RuB>elMku6_3Xy<Q&w=ws`i zrVMHDiu$IQPrl9mclx<^{Q5cj*}L;|+kFGs0RE%e0FxGzi{fUM4iD5DM8=0;Z0d2T z4aot;@%lcL!PZ0`bs&7XYtSk@@q<k}?4mXd!IA?+27%MVFlj7=Towax91`waAlQs0 z?qRRuk5T~`NL;dj){u4TjL2*NfPn}=fW*}>y#9CxNw`OSr~rF<G>f`dWGsjWtPX;} zf7%B4cL#YMSo(XH17q|6f(JgTcZ@yR;jhvFCOmH<q}%j+5S(_|w}PN(?r#h30i|}C zw}hbRdlOD4<sm6_{jhl1w~Qc-H*TbGz#BNyf8afh|390#cMlJb3<V+;C#ahgl>}ze z!-@cQbMCQ#Of>6D7gsRvy%LD|sVf%G^BY1vB9~8jz5SJCVC&?){x-ozJIh8sW`b*3 zq9=hM-?|W=Igj7FfTZSpR-3)I@7{#&N7@l5FDb%V4MW`}40)FaZa2a%XAX#8b$W9S zh&O?u4Nsb9q_F*CkUgk-^<-zj?-Q+V#l0z?GBGMH_IzJ<ZJZZ+z5U<b7j@q`4m>>5 z4b7H@T(5|oz^>JGt4o~qi}miE7!%Lrlc%6-(8Suc05iZakBi&24MTknesNrH8edAE zIqf&wECyj)CeHk9X*HQCt>FWej}A@^_sFt_9xu;1+l@x!gDt^)gI%-IL77#;IZpi5 z0M5v943y_F5Ux@<Pc7ol=?{jyT3n3}X^f&_<z9grP@$@PU!`~WB2$E|**4isFHVQi zG1Cu}j!L%HyZd1(=2}YyV|#(j>9F9;LaobTL;t)<b6Z$Q#iZ^1bZerHOP+9|Nw6h; z^Ea8Px_)Fe_|m`5wx)H?m#tGh8`tR1iJc|RGDp|5CDi3h_&7j*h#Bq8P({dm#T)&N zW+RRk5PGKWDDPlEsN58;ZD~|h<B0ZVu$NYFewfo&L_(;o`i-=Y{IDa6=~yr@?a-hr zaZv^s!Y7iu%;sejjQ))~%ob(hiD+RT_?~RXcrwYixvfRMQ-4(bmNgI+$$qn}?d<SO zyvumXN#~f@A16pAcS^xua3sP{erSSWG|r_C<PUO$)pz=Ev|Lgk@bmkoM10hvB^+(n z@P*p95GPbyoc8Yv9|teX?RZ|hna%ir+WHEhxR$P4Ai>?;-Q8UVcXxMphZEchFt|HG z6Wl$x26rd8LqZY)kDL3x|9<y>Z)&QhrqAkqy8Bf1bj@0OZM_+HV(e|32d@02J%373 zS)IbZ_?wJ_Dzk~peV(0-;-$dKTvZg0(b7s^BGII4No<uJnWy~`&k<PvU+|Y{*BaQO z`?#Vbtj9|qpPDoc!%TqNYsOQe_^zyV;o&Z^so0^nL-e2L`inQ^qjU{kwMX)HKj=LL z^7+xCFI$P`ujK2PbxdS*aC`BnKc+bd^G_fqJ{b>@vQ_Q9KUTY;m1bH{Ayj9`w`70D z|6cis_*}K;^4J*;e0Ze2sx(l3dHXe&!q{ZlV0=nzFvgVkVnq&s7B74_06%9`-epw2 z|Aj@r*>zIO{wu+3o$(_zt*v+4i9TC${_)+0IBD$=`MswTQ**qH)d%SNNpPoR$j}sG z`I-ugUH%$;qBa3r_k(jjnH@zGW>adHSz}HK@}0`+W<nGhQ7I@i8?L0DyPz#oewK=5 zo%^SJHPl4T$XYdk!F`(}f^3Mb#VkAxd&t+yz`H<-861p029B3U%OG?LS;>U%2!5Pk z8>QcLwP^9dS)MO*v72N-=e9lQoa)Zsewr87K6(@#o+CIGz1V)Ssk^%7=jAZ`5hzjB zAXJ|Ci>6qb#{qX4nk6qK&y!lyXaP|*k$Lg!==51sUi|<NYa>^;r9Crx-oasGsi@4J z!%b{Igqx?oM62V4VEIgcs(F;nZB)jAZJ3)-nm*y=6J_Q>wmF=1GQUdis_b!O$znN! zoGyP@SNw~d`Jnb}We$RoiGN954`Xq#d6N}p5iZPoc#NLa)sOi0<&D5chDW;BKRP_u z`P$-kl_Nobg&T0waC3ruvCA0cf*ZgmD(f-qeP@kkG?LimfEw`Cda#7oMrYjAXqtFU zsEyU-ON4}ph{HR7sGQ6>hR(@FmIpKZo^QWXB`rM%8LH5S2t;~J)_2gft+(H`$JUu6 z_%7M;emPR2UZlZcN8DU_TZn`141YpDP)jlu+Nt~kwC*gW4Ij<1=6NGz+qA}uHBs4L zN;wr@(n-jmi$K|7xnG&dQbrSnxC`#&oD6v{T$_D?fM?easA}nU{^DlKjA$T(eqp5f zP9CU7U%*8Zm4d+`0S&TqEs<dpfQo(I&a3aLaXr|Z1#^a4%FjuRuo;n2zc+_*;$y_N z6NX6uaIlp4BW>U}LV1D(3{-jjl^FzLv%2+V;}Ul^QmZQUOW)mb$!Q?+^&aiaquSqc z3NT}{F;bI84yfSH8up!k>)5;Ehb=0V(EsqxZ>&Qyd{psNJ^!<z#Gd`n>i)aH)O-`E zF>&HOE*IKVY4(B?2jvL;_a!~tqkNudCkUE2z^tT#xfx`wj5u8jwWmLmDZ4lox-Jsh zn~Jfw>(a3wxZ#q@`S(9LwZCbm_Eq>W9)E{%OYnsPWQud6fsPjuVz-DjOkD-y=I^5> z*tu183ZTL-noZw|MVim1+F<E|oq%!<s^O;;z~>{koj9(xqGcxy0>#y5_}BIvl=VbE z1JBWXkM|+(!bUBL!kb;Q-bgxP<uLO3Le?6E;o|VS#)QFSf2?ytP2+>paYd`!5z7vL zqX*6ki$?ua3R0d5!E&tJ*$HoGc7>RMcVi)7onCTVOI28-LP;%E9}9VXqyE0fxId>V z9~vk6Jg$5igi@?891!Dhlak>Z^JeG>5VJ<X8a6~xr{c=rBw=8Aq>@z}>9V9FD>5)t z6A#@5f7*Yc%5}q7tEMI2*D2|tfLB3>m&-0Fv`^K|N1)a&9caFIy8trOl%SMlmxkm= z?}sM$O<ZcJmTO*A`N5;)tW+gF3|)$-JGR|4vrNZwsU-i4nmtqjp{;2Wzsz3`V5MD4 zj(u;g^$~}(|5P(<sc;BEw}cz(Q+kwFl$!OkyTG_=4XWa!j_lD22c}tJfkqg~Fxhm@ z(S;6t<5miUrU`_71cW&?<bublh4ZmtR*r90PNaFVy{R)nvvi&EksW(&{iu>tfY7Ug zK&(q0GF2CiG7qVXs!3{9q4?Yi$i6BQ&lxt(ZYod7C{Kaf>wz+_dB=xI!k9LI4DG44 z^jTL8p21<^V+^<J4Fm}dwGayl`g?7<0V>dahO?VJ{#&eUFohPaI(aezEl)XBateq+ z!kX=?{@I9Fy$4^xSGXx9D&7~eJOsoS)0@=ze)odp`%a`&k+;p*#T!aHsG|QlB>wGv z1HMt?f%_|khr@x456r4=07=#ur=9}||5sabOB8Jhm{n5>&{G%`!-|;UQgS$J)2jW| z(~J%;61x`{4F?Sp|I%tZ%s~KtCD&iTs0b{DJE+$(F+SOvYB^DY6a2ZqHYZ1p&II3C zF&!ii+M+n&&085}#4yp^v9VW8XyVN4O|p4L7URUqK8~w3u;3x2c~o4k<nQZT1Yyhf zc8n*zGP?}`2|Jd>gTCBMo$QN58#X?@d*)t4xikI>Py2Ey>!N@pa02N5ct_ri-nLLx z&9HF!@oP|-d-XRb%MC;!afmRb5#X(Ios!aSTy(B<r6QA1EUQ&u7K@Vu#AVxMIf-0_ zyQf7u<$G_GM3h8jPjvZe79x*K8(k4Zr<16;8+!_%VQ9+ARAKqye7;Y#v9)XG^9{jC zqD%?(&ZelxMQ(1K#v&ONPMGfVQ`O2ReUV`-VZ+4y1u^+Ib1Y@}gp6i$*^pKxQT8Fq zjL5W~EW6+7ox{@`Ax#8Itoeue-G|1Dhz{rmN`ITxr<!<kKQbHFLnS@JuCK&Veu>#m zI)u|8`Xv>XZAC(PoB9?l60=<_Je%Dj0Zps%$LM#YA*mTaW0)lHzfS*unHt5!BVew* zrevkVLO`&A-Hb`Wc!5|zg66t1rW%%!4GZxa%D7UI?;CVFXrh~8Elm~#817`ckk)$6 zg?<62wf@nHN9dmG!WfCv&yUu7GWg$}D>#}s>76>JSAW&${c`_yKeJ6L3aMzy9fE@A z*0c{Z_;ye!(g3NIdqYla&?r(4S%aV)Q+7a>A_U)inq#uwPi3$Ri2Mb`yc(L*9A~Uo z=;1UH=t9t$59ZaLyv?bwcGD*7xjZnOUuRy0QX#<i(9+rR^ce2Yao^Z*eAnb0KpyV* z6X8Rd#8&wyw~6~n+{K`VYyXjH|DH0wI*@|nv>UODv6%AvE{ZGj{$fLnaw}$S4_rKD znKJbI>v;m<;ajL$pef*4lxT=1U`!<<G^P1eAIg9F+Y*8v=S#zZD#yi1GWbD_I_#lm zHXC|Pc3h>s>ywN>)En{`UYJbB=~%c`d2+_h`+cvJAVbfob>%Jn6Yhe`)UZu{tEg5_ z!#)sk-tpX*soB9K^J5ThgncGi@Lot_ly0G?%ECe)O+g|EU^>wqrX+sP{=ouT0V?Yv zWw(ubWD@tH!3^-#VI!ItC*;~#mp=TKZZvcAjgH7@&~0rI!LEF+T8PL!F$@J-p_apb z6Qv_snUlhmCB6q#F=T|1gTOCb7I<FUt#bm^Tatg$W_3UBuq6&aGf+9R(+TKdOwWJp zoW87V)bR2KuHX$Sgg1$Hsc#)6i-<p^@rRE_yCmUR!bFH$MO!5nI*mu!?%wTp6Rj|Y zbQ7$M^t=;=%5WQc-;R`Z3RTW&LY_cE_KX-~v){|^8h-GV{2rgWEIvr4Iy?b^vW#eF za+sECB*;anfmKu8nSowL;aik^)$3WncC5N6MP5S=pw@RM)8tsv<iKI}Lk{C2VHz78 zp!_m0CEB+-gDve97<p`oXIHQ)SuIsf(l$yK5WbS7+CtP%f^1cdeqOKIg3(Vh;?-+s zaiC^<QQfJpwRP0eB=-oXwVLsr5#jNFNm?0Tbx?l38eIjx=9@A8F}wmt>4^eDI$gdu zs+ws2CSa!x3?Bu8Qc;C|_3J;|7Hj=Z(Pjj1r_0x=>mER)7s7Dw!yD2~9)e@7GFCP; zK1*AnPS6+|-poREN_#_AAQPfRBf6W14%%`T$5QGtlFe?5eJ7@p?d@<`wzy?SSMBd8 zvnIwO3?Wt7cRZ1h*=UgZ02)%oyaa&(UfRrq#OYxim`2GXi%&4kBICnTo$~SToGsBQ zPYE@lcpAPU;voHv5{0^lYAs6Gl20g$!as>M3NXF*xpf13LUB!M`nJ`GBO!hfniV9W z|Ga_iYDEtE1pW$e1^?G(@YhDZ_p!K!<8>8?UN;2rXMJ&?r8)Sl-+&;kY$%S-*dODq zc-i-raw~=Ga6GA(v{2CBi*dDR4;|o&%Gt>|k+T}~;v4j4_OmiPk9O>+g_fz3sgdd6 zaCriAXx6Zq*oQpS--0F)!Cb03dQ~O;>_xK)CC*8fQ>!hYPoZil!f40wNupnpr<LJl zF1I0H05t;Qy4l14!+w&ttB0kEn@*F}8eb7F3Z#3LnPKBryj8`%h|3i+?U;t_JZO}a zX#O(8*r?hG#$wz&i-_Hx*TER!{JC7IOx4Dr(A|a)vl*Y{K}dXl`+oJQhz1FMH;<ej zlSL(Ko`yHNlZjpX(Q~w8?A)J~?ENs?TX(2(8-WBfzkuS4IPbnSOiT2t4@$I}Suv}( z`DQ}O7l-ZMm+N&i%~Py|1^@Z2{97VzA-QO<2NpKu12$FWRf&XsoR*y#*_MLf_Fxg_ zkejDJ!_G&TzJpCcC#j-BWL>H=knfnTA-<WJONsts>-+6J$MdBTsr100^Sp=q+TE{? z@6W%#-=V(aF~%j^w?j8r(f*=(QxnbM&6i1_9e3Y2M$C*1b7X|9H9f<<z}KsKlS1yZ zVzqLDLIY@{DM9f*osXoySaG$428%Xzxp93W0uH3*c7}MuJV$@u){`At4xcWqc3wtN zM)eDs@M%2HAy))X&T{0$$&A77_o!flu20_e^K{}~mN`T?b2a5!Vn|7Lw)<k{ks+iA zNB$(XOU$uBf~LijcIL=a)fzi6X-dSkR&zNDO$3ThJ~W!{3LD7ek?KiCMd%={BMzOk zy>Cf`_08;OU=Tn;(L&+Y#7lQ+m8v+1*pKe`m_60*ts-jlXe?oHZ5@0YHk)AatB$xk zZ*j|I9+_dDTl3qpFCj#IvK#k4!O^V%X<9DFlIwfpNH29S^PX7x6`uoVvLNgZF-~X8 zd>FueK#PN{HCU`YM2Pe7@iBbEQmhzO)u5Abc@)5mlo`0kBjACzSrt)-4eWk_Zr4#O zbFkH+gHub5po1@Blwg9d&&4$d{Z^8fKM}Y;z@o0GDAjfM|AECgjlELCFmWpK<A0^C zYJIdqA;5-!uoQhwaE1W88^2oM>A?pYdfgO^(fEyBI;1Ey$QjGc)8tryxs(hFQ<0;D z$&*O9#GKGQ!JFml&fbHUG)?c^bs<6Y?gXms$P6;#9Zqnj=-5MVu*8LKw1rgB#Zw2f zwgX(Y13F#6$k#8wel*<$k34<l?ajJ!3Fge9-3q)$htO3g<KI>Gt-}Inc4QQTCl6>9 zgU1hS6oaP^{AhYjZxv{I&2JrOpJ0N|!ngacs2{^H$9MVRja@@?dI3)fY~bbKEh_MG z9<KlVJOqy*qyxoz`~9QxBjHn?0c%>H=;N;j%vb4!{B<m5_Rb>4BW_$!g4I*b7?9b; z(od*t8^xQ|1&W8mC<ZV)WLa=h3nd36Xqoyc;N$XK`Q#PlW%ZcSX2%G-Cg)jbIA*4H zn?JUHLYm0ZY@1C;+o&>EzmP&*lGQy6*V3ge+6(9A%NR3LJk6Rc(Xfz&pSH<|W_it* z!u7AuqHb>cguR~mNadLEX%PDN3jMCcvv>Orm!Xt(-zA2jVg)crjlts8kMG+SE+gw( zia0%B#dJmopP}H}ga|XsYK98DcN0&-?Yz;2e@}V0d&9IVj8V69B@eG7*R}?&X1E`k z*R~Wv%hn02Vj0qnk$(_MRhN8ii5qWLfVjL%0lzG0#_OEqT7o$}=uU&JSe2>C$qyP( zdb+Tgqu8xvSpmW-*!ef1ad)k0t`0A8;9GCKZDb!sNQA&+dP29sG^C~&JN1yx$Q<zU zc;+r>H65;mU~*dLkxz&|JIc-=-+41!Y4%~ua20?D%m;qkACZwZ&%uWYR?h5Gqp`rq zr`%-;k1djQBtz4~jzfu*PC0|3gwqNVgt7>^{9?&B2Lzdu)#t$kpvnIll>8#*&P5`@ zCy=v`=S7DRjpFs4_Ens!s`72rjmjpmW4BzFs`Rq_8!ys195T&(iL;ld7a6|n`>|79 z7cRPvvg8$0GIxEUTroOc`UO(?IUeJ)=mh^7MLjZ!ic?DQF;^z}Q2B6Ga=>i6#n*?A z02P*k5-5`Lv0Zkp5hOyA?tr!U;<VXC(?FArMC()itrAXVP;SqtAA?s4%pU%&=S$vZ zNdM)on5Sz1T{6;8CoJY>y$8i6A<uVq1uCAVP9I;Yfv?DTXR)mjlto))P~X&#@Nfc& zLPu-_=1weYbh|2kdxj5a)sy`wr4G;+^yErC7Xh3!Scx-N8EsvP_SKc(!ykHjbOS#K zqEmptyZs&#ZzSZ3)LM6lQ9xkfix$Jdrp`k#&rAUm7_pR)5LsDAAoe1a*#A~dPFQ_W zmCjEBCtkS6+kou*O2QHHcJ{q7esry}imsSJGKn&3yX^;7<VH~Gbj>?$g$Xax26WF( zO2G4{by%A_m<StIS=&*|{O}S}o4n~~1M+OXaQLUb47VR^jV${yJwnbF0mi)A$89lQ z8=uj|8%qhGH+s%%4LC;JN4>xwu+vS+1|{1JB4-A1E!%R&gcUEX8s3iux%MKVvaO=h z<D>M6<I`jb!D(RRGw%EO_JotB-bngFjsY{FL=rO3!7~_QwB(TUzBy`bJbh+jd_-pL zn-LhdiYvO!dFL1c!ntts1K9n2aPZWlR@sh+wtN@|S&<iG2hqI-biH&z>7YP1k(hYg zJrIU5(|*)V;N^LdZ*w$H`VFOTOnk<k6`Yfwc{=f}8bb7zMk^SBBN&M_<7WR69>D+j zYG`2`Qy^tKPF$@0HjL3b!eWr=D+B(=VF$}DoR1~fW|&E63~ypo11H^S!b1<^?A{YO zV_u(BfQtC8+=MqT9F@646W;DoZNga+f(mqk<cHn5#D@uQ=EGe)p3-kPuT$d-tlTlT zn0A>twqjeyd<C~?c8NKHQD`l@z<`X%45f)FA)tnfk?8fYOednXEe^$oWSt0=c5&(| z{f4AVVK@N(vF&v+1LG-z-#>9|z0Z(+q{b)h`;Ad<DFiVy>WfB89jH1?A1FH<b%TC; z)HL(CN|r1cEs^X=d16&mz?5y`(MpJ`7Vui-5Q&Yld_o}HV;3qgR{I!l0t|g5Cla~X z<F<JpIRb@#8;OQF_x-nkkffQ=9SqrHd0LA=Dqeh)3}4FVBj5fVA(PEdOqci(X^EQy z=P4m0&a9CE)_vX^cm!X+3$p#zYk2(Lsmr`Arc=(0?$wA#V*K7X6$+xP5&xi@Y$M7W zRSNQ&TdZJIv$1>aQnK`RZeW1j@8_2WFTRV}D^ACPVNzMyZJV1Y4v~?%n<M%(ukj>) zFtU;Y6V4<0v+h8_F}iG_!xW3M>F0Bm<gNRNb_v-`3iDR~0Z+W-8=FUu@i*?ZF=||8 zQPgNi&<}kK`*&TX<UTFU3|K|3zYznahD|trU_a{*Z@bp~V19Pa#sg@v;=z#NCp-}p zkPo^#dskx@oOKkfw9-+M;ugE4zB9O)Pv|dH`vo_w96ixM+Kr3QH=jVcVPIzhF77VP zDf*dKa!)!CG@xVkgxf>2+iUfNDwDK)gN(oZxwRB32{FmsP#hA!s4rxB0y;u5HWLdB zb4>-Z_9e(K-mvS40=fa-Znr@scm-WGqnMrR7$#xPj0zu4bP-;vuayk8tq;qxzGOtm zk$P)id%QwyO{2GuJNkX;l8~~D=kFKHP4eZsTS76)_WDL;>Ewsxbd2GP)9GgiT8N}i zjJi8qH0Y9|L6UCV8g7LAJWjnLY>Fdw-yf7|yQuKz_uZRk03Ib~?OHJvS?BHt`Ixxy zlMD0lI{zAn)quogwc7*tJL#%`fCibh#;64habN~5@!HCfz1!J5ja<r7A$R7ey~fzc z`h|$XPy}ohA2rhx*?5>M&KqFm@19<_3Oc!Wtm5-Fax+bO!#1GiC*NW@DG?s$EGtDQ z!xyaW&ZMOZnDF(R+BQPgAcy~`fasvA5u->o<P<_fP|rQ;uZ03j8nXM=EYl&k-NqNI z6R$S;*V=uiZqWXnP3#nqa7(|2-sShnPQY$SPok~j!|_DN2kY{(P`kvkjgm0fQ1Sg` z%!$Qy`H-+B4~(wQwk(Tr%>C<xN|91E_bZ^ne55fNz^1L)jd=pc0(9hBH-+zI$yJ}% z6PBzS`crvM?bn5b@LX(&6ca}_k`oeDjMJ{8IoE(0y8qt8m*$(5>*0$|Ofwens))=K zOLk`PQkF<FS8x<v$s4>Z!I!FGXlb!7bMAEiE*-+FFA5kFbfHbcNxGzKWg>A0wF4iH zbtSu~0sB+X8+@nocQ%QlPn}e(<ycAv#)?5^toz*R)o#ybb@JUT=?KufdoLi{rsF~* zxcS@HJ<6<$dT*IhLB39~Qn5K-M3MhO5oS`^E?|MQE1Vcv9HS@)_&q*~??}=&Y16IW z+^A(1Zeas&HsQV>Q!>An3ALM;CE=ZzVhvLPd^JqZ_?cyu1fy4iL9U4)V?$6KFigZc zFO=74TJa$%i*+U42#&A;pbez;B9bwV?5J#-OFqZ(W}9KVwT^|M`S$8I(!$JX)Q&FU z)F6tFx8Y|m#5O8Ql4VS-72t2O<^-H@Ygw18<}jO9{#>`w&;FuU^^8^}O^e=;?QX&e z>>s8Mz%$dhZY($yZNwB;eVCSkTIz9%vZivw-j$;HFg^fZoxrG-ss|fjjSI_Rcs}*E z&dI9x(y3rhn&?7+mpGuIFwRwj#A>8wUpW!vhc`j<b#zyXH7(O(cgL2jSUSL*2bEY@ zumVp(uEV@4KpRbJ4~ct<Cu7=_5M1a3T(~u>g)5BZ6>U;9JLc{3E7;KR14H#20kwsi zSKb|seA}OjmP@cw?)ECs3az>hv^~aczxPe=(NZ&G8eqb^k*M5&>JI`Pic1D_w=2az zTL_A?r*ZUp)%%Vn?d@%-oXxGv@JHO>^09P;ivLD+F&u&p>wcmHxg9$~NkI_+W>A-J zA#ky-O*|oX;}#g-bsoQL;{Oid`1#%X{=3!vRoJij->hF=U^#yNBBx%1-6?!jj%B^x zj)~SryOO+SOAv+H*?0q*mD^5EeD#ZIBSpyM%f#ZKH&>sOGFKlcO^pG^R1emZT8`A` z(Pwg^s2}aC`fiKU8Emsd9~z*D0nl*@yu{LtqqaEe^GZ|l>4MN&3pHP-=B6;hT740O z7OHM=mBpF4PoF><g{l_Lhi3F2MB(n#XI1$NvgvhqShZtOB}z=PBg>@d&2YBb?Bdiv z$intb$jo<?6`!5@LLhLF%d^+kIBI9CCzKUhHLBb4N)nb8E?!Z!--|*!0rb~Dj5KC@ zA`S$xmm!a@Ct_=`$_h2&N9lFj{17^1=O|us$DIMaLv!E<7Sn2RDx(#wX=SfD0?PIt zAB4=~W^9fW$%(G^Nu{ODhQ52Z`j?YR#r_6KS51WUiXB@(>ub`sNo`x&Dc1d?@Ho+3 z?w(vfdk*#t6;WJx`QbAG;7nT4;vgq1SD6*Qk7(LxyIj6bJ^7ua--g)0j9`9JqqhPA zbwIu)`7)`4Ubh)kDF{*hdmO7~wU`dpv=*r2(5aN~haca-${j7uC{1VJ?#OarLgABB zTsj3eFO9JfqtMPL6_*yWUgXQ^>OedXrVi4W35WI?R~CdLFJx8#lR4oDaQo29Zf98G zlAp%53%P_4e((E+&$+_={C$`91MJG6lK0i5?_z$@yQIMsgQq&uL7iaU=}O#}m3V8r zCdgocl3wW)5+RiaF}meb3r&2bjb@iXD{oFGH7&)|0GDpdT78qQ?phP$$#;5@GOY)y z=Cvm6qPZ%x^46d0z<j2&jiL`7F-*B2-n?TQ=dc?y;U&_d>lGy@t1FWOlRw@x6(_SQ z@|9Ls)$T5bGyGt|p^J7l?e1@`&ElrgsnsejKLRa{Zvg}@5UtkJ+8ncQH3J9`T_QQA zY->Bd=r_JsR8J@HUZ0O{y7i{ZF9ckuFB}&RbnWX?meVU|f$@c!oRq{qT1*(nT@SnR z`-XtP=cOikgVj_g`5d!x9-hO`gzI>9q_b+{+LWeM+8&y23cAdF*1=dX!#Cbm&*XSy z(J2YAehjbL<<b^tsa88Qt?aoAF2!b-YHJgy9W-uYP6*Y;z{cs#+^J3bP{zuRAfjn* zMfx(b+=MY=z!IG>T^lj({p5+@TfsCQ3i{}S5S6vyN1!vvljzr~n%bfoySqb)g&w$# z#Mm2MP~Y(Fg+G@=;#TEWEPA%{p@M(QX%ElPncdt+8L*o$oRnmsaJJ%diIR`HK?_(m z_J=<gd2LfWNhEt$`dNLLXNv_x6G!v$a#&&^*L+bE5b&j{sZ>xvfe<zy>+|oPCZiz7 zW$&`hPY#`Jj30aZe5i{|(0PjBL>wiMTopPQE$?K=`4egB5mCfbE@ANlQ`>TgCb|Zo zrvf>7j>%;`#N%3m6`P;<xi*KtxMiF|70jLAoU&XKuw2`*TxT2Z%p2`A#;lWkT!l6+ zO`Gp11o#J`nOhX`S!}t_*R2}_yz~>4$t|c!Cwl$%^W}4Wz1H9I@oUNTw||G+3$__; zC-&A*uKHSM0>iUiB1O;XMHDKLsj%HiS7cam7;vTpZ#rFCCriIqTBob97fT;=r;r!5 zBc%LY-Bm=eB-McQARTN#x|bejfa|L8btxih2cUQ%ayFW*<!}yKF{w*+=wBRT-n|xn zMkq7K5RpLf@z}?(*JSX(`c7pi4-ZOHFW0P^viG`gfP$J#IQ?XMMJ-(YXm+hyl1<3n z@!J6&g=A{0*?%tLSzzn9M0V-t3Sa6xgS-dJ_hluq0RO%H{he}n)Cw5`zp8kD?%Y+U zLqMoHD2~Fdd~sI?t1RvbWCZ$5TC`8A`>|7t81xHAYlOHXQINxv%T(OHT<}}=uwEYJ zRQ6IsIT4LR6Pp~;Vh!tizx#Up=AMDl2W*<!@2C1#Q*-{4H4iJE`X*TlXYBP{&;?v} z!Zb9WSK{?ehO(V`c6Tkc&Z=L9?sLmc9zfRRs>4%r_LF|PNyUQQ?HSUKjI0Bbw5TVC zyL8c;p9+B$M|2*?%8YX&9i8waN{I$TwO<A9813^;{Nqm*NrSF}V7+Ltd6u)PCOuU% zE7zEsaPnO$)+Q-e4lI+gV)Wz%6d}hnEz>P=vp_tca=*#!xg49Or-szHWzXajMPS5+ zwsW?ut>gas9D|I#7xqVtyH%`vW$`Fz*#o<}C-E&Jw{E(~C^I_K%zcIzgBATF7OZ7# zxxQH4PCDGEvznTAW|cx~WeSr{ShLqb=>4cTUd61zSQxJI0P@rAmMo+$l3^~%hp(3v z@K0E}qJyVtZfA}5Odog2Ch85P41mN#FL`X8HljZ4o|cJ9vRdua1#|{nzf$9gxFfr5 zn41)x<H*`im8zRROV<S|FNb|_u2jFHU$|*eWc1oUa4bVX+{DgIjJ9pccTXD?Ol>A% zDp{KmpnP4g=hD^1IZjT)pqVb0(#0N%AkfHxllMsAkgJ@jCXkS?u#eX@lmQS4f7Dvo zF>l!Bz1yEB!Xh}cGw*45SI|z=ow_z|i16@%Yne8?-FMZ#sy@4kpn5{xybOKYKF_;y zzN+;xg2`5`n|dvFx0bxb4=j6X?P+MX)kDmYU3Gr4$z*vH7ry7|ZYw>2!ij;D4ucqn z4KHmyI|~0W?I?84wreH>LjuGvGMDT3kzl(KW4nF(Zq3QihGL-<4wI`0=XfpF$Roz6 zk4G-Vv;Fz=U8n|IH=%9&KzKT%d&%L~r&;xT?^$<`U|V|sDBD#*PW^AzMOKsX>Gh6H z=iEhBE;#zbleYLdD9k#iw(T6a`ophLKik>jV@mk-iA`kgEM)l_y8;O1K5v+F>vzrP z6=og94sh&oUV3}p>Kr{_ko{2iSza7q@&ELlLTiRbfziLIN1DlQuP_i<P>a)$(jd|> zhsQ8($aQMTE<?b{UxItkD9x;GRk)}s%f_WGG7Fh^X4>_EW^k&RbEEl1CNjtO5Hx)R zGWNdw%*a@&$m-hW>;`N)Gt85ge15LJ=H{-4<$Xx%0XfbF?OiD{tS{R=x*4<-E4H{C zjC`AVTFHOsQYlKVyCSc}6YetT<5-^e^WMj)!szEc_&Sv*2*XK7YJ2~2hrZ2gQzH4k z?rJU=&HhZ@rYi!<F;#L~T39~Wg_M>H`!dJ(OpogzSVeFh!BrEkUB=$c$*4lhIZW<y z043c&ir|1|%Rjhi6=$2aUS+-NEK|>D<o;CTH_F0qLuap76ZjQhU5-X!g+b9KE5`bU ze&Cg*fP}(&^G_uf@SZm>@?V6-|CC|@)A(@z-;yLg1i0|89LArrCI58$Q?4Y*hX9fR zT<t^jH*~^>07?rIT#t<f{^f)8cOer*UjnFzzuNG@V!lXZf8FGtnkEnsbpKNt1p=Zp zq~mYk86-O6KSTWgSY7_B(<ZpzSMX2Ze@qVlCZ7HSD-EH?c^v^WSkCY75&X+%??0&5 z&(e@{+*cqqINJ~7PsD$@v-}HqMg9kP<45`j_>Zpy1O)THfKk+cfLi`Ie}Ml|hyDwA zEc^<@2jj?KGW|38ztsZ&g@YjapD$<-7vf~H;QBz4|LXAfYW<}usCa#7r?145!2fjk zYl8ZJI)D`d82$|BkJR85xcv&`{TEPA{;$ZdKs4}R04~}8!)^Zytfu$}j2B4uN7V2a z0|*ui#DVft`P1$lNciV&|ILT7{VPD1>MKy>59klw^E#xGS67_B=)?cKN<)Oy|3qUB g`a9ac$$|gC{+gtX<{w~^F&a2M2n}Y!?yrmg2hiM`!T<mO diff --git a/lib/iddl/version.txt b/lib/iddl/version.txt index 7e32cd56..fd3480bc 100644 --- a/lib/iddl/version.txt +++ b/lib/iddl/version.txt @@ -1 +1 @@ -1.3 +1.3-20100325 - special revision of 25/03/2010 (revision 49) diff --git a/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java b/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java index e13aac2e..6f9ab44d 100644 --- a/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java +++ b/src/fr/inrialpes/exmo/align/impl/IDDLOntologyNetwork.java @@ -85,9 +85,7 @@ public class IDDLOntologyNetwork extends BasicOntologyNetwork implements LogicOn }; public boolean isEntailed( Alignment al ){ init(); - // Bug in OWL API 3 - //return reasoner.isEntailed( al ); - return true; + return reasoner.isEntailed( al ); }; } diff --git a/src/fr/inrialpes/exmo/align/impl/eval/SemPRecEvaluator.java b/src/fr/inrialpes/exmo/align/impl/eval/SemPRecEvaluator.java index bc7e7c1a..70be963b 100644 --- a/src/fr/inrialpes/exmo/align/impl/eval/SemPRecEvaluator.java +++ b/src/fr/inrialpes/exmo/align/impl/eval/SemPRecEvaluator.java @@ -112,8 +112,7 @@ public class SemPRecEvaluator //extends BasicEvaluator al.init( align2.getOntology1URI(), align2.getOntology2URI() ); // add the cell al.addAlignCell( c2.getObject1(), c2.getObject2(), c2.getRelation().getRelation(), 1. ); - // Bug in OWL API 3 - // if ( reasoner.isEntailed( al ) ) nbfoundentailed++; + if ( reasoner.isEntailed( al ) ) nbfoundentailed++; } reasoner = new IDDLReasoner( semantics ); @@ -129,8 +128,7 @@ public class SemPRecEvaluator //extends BasicEvaluator al.init( align2.getOntology1URI(), align2.getOntology2URI() ); // add the cell (too bad, addCell is not in the interface) al.addAlignCell( c1.getObject1(), c1.getObject2(), c1.getRelation().getRelation(), 1. ); - // Bug in OWL API 3 - // if ( reasoner.isEntailed( al ) ) nbexpectedentailed++; + if ( reasoner.isEntailed( al ) ) nbexpectedentailed++; } precision = (double) nbfoundentailed / (double) nbfound; -- GitLab