From ebe001157a16d20d9b597aa98f1e8abf16be8d59 Mon Sep 17 00:00:00 2001 From: luav Date: Mon, 4 Sep 2017 02:30:23 +0200 Subject: [PATCH] The accuracy plot added as a local image and reference to the benchmarking results --- README.md | 4 ++-- images/F1h_Algs.png | Bin 0 -> 31493 bytes 2 files changed, 2 insertions(+), 2 deletions(-) create mode 100644 images/F1h_Algs.png diff --git a/README.md b/README.md index 6adc879..54c22b4 100644 --- a/README.md +++ b/README.md @@ -20,8 +20,8 @@ For the semi supervised mode, similarity between the RDF subjects is evaluated w The output results are clusters in the [.cnl format](https://github.com/eXascaleInfolab/PyCABeM/blob/master/formats/format.cnl) (space separated list of members). Each cluster correspond to the type and has members represented by the subject ids. Subject ids are generated sequentially starting from `0` for all unique subjects in the input dataset. -Accuracy of the StaTIX type inference (see details in [TInfES](https://github.com/eXascaleInfolab/TInfES)): - +Accuracy of the StaTIX type inference (see details in [TInfES](https://github.com/eXascaleInfolab/TInfES) and [benchmarking results](https://docs.google.com/spreadsheets/d/e/2PACX-1vShqU5Vs9GimVV5OXoZ50uFNwhGfySwNZGYFufKo-lyq5-FMDAZ77yYLcFbo_iOGa2kDe5a1bI6TCFj/pubhtml?gid=2147007814&single=true)): +![F1h](images/F1h_Algs.png) ## Requirements *StaTIX* uses *DAOC* clustering library and *Apache [Commons CLI](https://commons.apache.org/proper/commons-cli/)* arguments parser. Both libraries are included into the repository and located in the `/lib` dir. diff --git a/images/F1h_Algs.png b/images/F1h_Algs.png new file mode 100644 index 0000000000000000000000000000000000000000..3c04f8632d22894cf2f5714af7445ff43121dd9e GIT binary patch literal 31493 zcmeFZbySpZ`!5PZ4L!urT@phpCEX<@;HU^gx1`cBLw89ltpcJ9f(lYYONnC89fC9x zL!W1S-}mg_cdxzAI{UA^PAr#;wPv2V^SZC=b6xl6^CXxU=}?lfkm2FsQR?Yxn&IJr z;COiWeqdtYlf{*Q20T12JUvY{^FZs(2c#_)x6i`8$^}?7d4;t48E0Jfuc8yp9X>f5 zcHhca&^X!uIt-8hbmwCX1(c^aNMF6cD~emQNnfkN)aB#VT>a_Mqiv;M(;>5d$I8yH z{fZ9HW{RiJwp+)-i=A6{>Sx~_%`&@>y&1M?4{xn-zh7K${d1*8r12v7?qS74%NhSi zBs+y1B_wP3!I8k9&|OvS@bK_9>R&!b^zzK|wqYX!Bl?pU%gWD0nnsoxtW^GF8uo8y z%&I1f*bCZzc=WWkUJpvji0ZjY&!{=rJa(8ij?lNTz8odd3m8&N=ZoG$|**3njki! z1x!c{=o`zt-1=g%DJzBZedO`_H=U0GJ7Pd5;oOWGI_9q|MK_Q4=F#qBVkaxPHWd$N z!l==$hd=L+zP>N}X9r0@GH^I%Q_O_C5w!2nbhh2RGAQ2uBuTstK9D0S5^}tqUE6+n zZ-0M(`DJmqaAP|#pigMqE{E@xrlW5j-28JkTqrx(;QEbEM8x1{&0P)Ta|Z&VoKf5B zFG<#r6+v7RqzbOGMLdi~GT{a}Fq-qw^S!?PfK({fJLuQ5faQfa&YZTevw^CYMQ#nBU0*(P zvYZY--_r?N&d^DI+#x*8?EI9QoB<~Bt9O5~(5ub$VED$EmHp}NcJmI)v+EI;q3fg1 zlb-sI>cx!H_#}9D$J6ZBMqG#(B0T5XW~SrEb}ws!4}Zsy!s2V~)0A>RBB@ASBsA_@ zAQ-T3z8->pqc3_*>+~O8r1qkUu)sPef9e>Rh^1s5vKFk3A%n%Uo97`y#vTOdeS2|h zh4Tso!>1lo?{B^N_*;0QHRMC++13Xq$F0k=o!n

+d2*crJ(W)N-I~w+NjH6;tj{p6&JdVaj5N6B2Q+##)G8DTIxBpd#Gv9sb z%10^wqvK$X-r3RC5*=LdrER}NgY7Lk;W`(hK|1(2Jl3e?;%G{{RQYJ!{->#QK4H=_ z1sQBZu#@U5aJ=ZL#~D;epL{0h@238U2j#8FRP$)v>t)@a_8ZabNrVpHiYBZ1TCOuV zcX=c$f3lplve(C%D{N8yX~MbKlMr%r+g9XTZwl)Qid;;>;)QcjQ15sk>oRwEiESAv z%qsz+UJVRR+e1z9LC{L}XiJbEFWy(Nk83=<6<>_OuXH%W%o)V2T&iugUfn^bRiR>1 z?I$3PH&QSkPgVLTotDCWAx}-a)~DmjZt$c;7Rk>Lo*D zTx57|9k>vqZVWC9{!#C2%v+X71_Rd}&qd6w#b@y96#Rx-j+l6&#;Yt|wsN77=ic>zAXbl_eJ4uP%;d@27ux*tEh>4+~h$cOC!+EN-lH_~h=5 zuGo`-Y!O!OScZEYC`go2G?TFNxX!i(x&cJ~LuzyHUR!7rO|YP54-DOMYum(CaO}b3 z2}fZh^pu|a=wWHYuNkyxw-G}}*^Ejq*wdEyObr+ue-Pl%?wUoM9Cvc)5{Ii?o!3tT zN6RS-8^dTVxH6DU*P@Nj`pqW%#F1G75$V4@Jpt<|mGE0iku7MosHC;MGS}9QZFo2{ z8PEK5ql1L=NqL&`}*Lg4xb=Zck5r!SV=p7zWzgebFB0CBt8inVzaKF zy{F=~k$ewZT*?7Fy!%Cn7d1mPW8$qb>yXzI%|sn>WDG|h3vyPhb~Hc4-(eE92QrTk zP$-=4n$f{U#^5Mbo&%(&QTa9^o57UB7??}Kex&D~wCV9P;V~Z~l}%)4c=i6uAS-^% z%VYFRrD?ggr3TG64j__r+v*~-Ht@~IS)i?>Z$^zgttgtI4+tmI*$8edsE40JZWSJ@8)1lD|YZ)$3KaUOTW^vTp0 zbU7!#s)t#9)r7VL8LV);qYVgws&&wSLFF6T4gMTx(JQSDrCDUmORBn>IDTahfm)mP zwr!^@1iJv*n-_8?ukr-@c@8N(JSV$R2#w-b95Dix^fD-tbW+7e zV9Bss9A0}HVTvFclqh-z#BZ~o1cqN8Y8afOdeT5iAQ5=%-X^e|>2Em@sK>1L78zmT z^l*B3hg7mNE;Kzk#G`AN`a;`|*el1BVaRf96>kDAw4#P2uVf}R2TPR1NyI>8iKbYZ zSjP|Ma#X?)ZpkzNou1)xf7P-~_X z-6Lmcmp~r&|GID2W|tM5U12m#COI|b!o=6{IQ%ST^D^jx;fH6YZ(7V1-egq_grI-E zc_1>Pd{%R!ISRxDx-9BUw}zvzjMj+WpE3H6w5SwiWTvj8gOAUcSILj-8tmOUc}Xm* zp-EMfPW_quv3@{=dSdiUA>TO6(a|x#R_A*)G<;YqiJ`wjFKcKn$({e1&dgUiD(vOq z&U3?jDM|K;`3B-lQvn%8>##$MyRE_RU_f*QB8;Q54k)5qAv`L+So-I~jAtQ#>_3j3 zW{c>)x|ePLHsuG{hD-izv;Mh#UuqpkrbP1`V+8L>^Kq|#t1k%$7nEg8=%)<$yoG#w zwsmTk)Fv(na2Ovv~b9sv6K^;)sW5ceY~K+FAM)(5zFE^%g3)%XNoC{pNVFj zMzF2Es5yS?;s2m6?DWrw%CPejF7$4x(W|MSURp)&EFp}qICy*)j_amgqE`&&F7Lbv z^imxP2(+&Eb37Naw|hUvba^!8<=X?j!({qsRPS1TS|<-CU~AF>05+_Tt8uu+xj0PV z>Nw)+&ZeWjLfVV8y>YQ-ulylSDV0@?`*T0m)$~~Q$rLi4sQ|PxH-|r32`HyC#U4k*;Zx=Z)jUKNKx)}v{9?j#w?Uw=F#N)LZ! z`8soJ>H{tuei+~BA{k_C54!v2siefJ^s}i0SpJtFkD;S`UHAmVp8&_|OlVngG)GOCRw7IPF(PjC>a4__NtN%)4_ovVAO^#^4<6sGBC@QpXQaDT zlZRNJie;$8bh2y$C>Un)Bw*SnuF3_6fKbTRfF0|630u_3PT28`^X1uY7q!93{>lmf z-Eu}$uB^5{ZivZWo&On5{`0D~E%W5hufjy|)8k%NFQ%)oKf|(80ozt5fbkHGbv3o0 zZQtzJ+^nhpELDG((89`ou{)vHY2b;FS*^8F)xCGs>vOho>;f8bRN0dDy?O5Q!6q}$ zJ=MT9$Fm{EGMy~2f$>FPNyEc`SG{!TO=gw? z;7P~Zp5^|mzfg4Osr+pQacfxRPydadw`N2C+>(9|oRMpz;L=1uZi%H@G0A}O6^WahT!Z84DolhqLO!sX# zP33YNOZmS2^7Iu=E(x1=A58rnpvcY5n z*#=8nBzeGW(96AH@%D2&yL;bWBzl5rh#erH!R9!?CYUb?mdaBV2Dx<6wG#PF}Etg9zc5WOpo}(%;UoA z9^+pKgTa#VczpN`_q|#zQg3d{@dkRIw_ja&Raw3+Pz3P0Hndy;WEwl46zhjt1`kb4 zOpKOkk<-b2!K=<~^bW@(H1TdT5Nqn*{DzswlYi58>h>*nlvo?sZB5$kuTxJpPVn^z zS$)J?56pNg)0yVoDQNjb_;gz?d3DxU6ca-ONuUFeJp#oWlb26 zpc%BVsPW+eySr$eF+G?q;w+aCNu;92giM-ej3%U2ltJ=TBFrRwmvwm?xyr5%Ya^I5 zA~lf%6f$1+#WVuYU1?2mmZPup!IcR7a^}O2DOtnYj)Et)qy3ZZb5}Jm%rG%y zM}kU%TPIw8HP3#iF~L9LQ^%+NuXZ%&DIq$SJy_KmPD#6H8hFMc?R8Zb4O>Sb6ItyL z9Jg;#{~nk6z^g{R#8xVbDM^p%O_DmMhtbAE;DtIlUm z%&Bs5ki~7|0~##k@7$|=KTkq-{QASJRAjmB5x65dQWi+rvvd`aF^QzndgacEeCSGR$Q>C}I!_ ztIM{V_CYZc8GGv)nCok3qH2^T^xh2lp-3h#iV{qv#>i44nWT}f9r4oWnVS)>9&SfryP6VfUw1&(#;8P{ zDV+I*(I(UutuCd`6NBjDvp-n-y2@6Gk#!yIPEHtY&;-|%U1F{nAMix4;r%iZ>d^=F zD(|X3r&2~jddJ0X{ke|_vKRl!Mi{b-cT|K?FN;f8-v7j#vU|*tw<}z1?V)8sr^h*s zw+bObYi(<^5ZuxKhJwI9^~FEO&`<_-43>V~ruGrO2kY#n_FODPFN3yc>c_}KX9aYdDLs(Kl|M?lnSAxq* z72;Od;tO&_?=#TC;SAk`JOvoC6s_-V_iKYWqSAEo#wEQW?FkTg&kEN;vx_ojCsJCV zxRRyZBr?{Gs+%~cT!S@dPJ@UcXV-M5%QwLF9t1>gJj!EPG7!6B*X;#%jqi6kjthxr zNP--rtrCSL?|qfCxGq*oOH30JYZa46C>irK#tNxiBCbWmAdtv3CP-T{ns%ldlL30g zgp6sm&{bxtbSX86uJpByRq&cstY^b>=5ghn=dnfXFt8AUpQavq!2*H?jY`!q7RVT~ zuRv)hMYV&LwK@XqBDfcPHat&Yt_K05IZ}LOE{S={JJNKku{WKZ@*K;#6H57#S8`mG zQ?wAJouG`!3-VHYmN2cWjQP31lt&TS3}1|ye~zgZs)C`p zXww5sV$_W~qQR6rAPXZ8zde?HYD@Uu>U@jI5F@$e2f`S*81hOC8vUZHfVM zobIeo3&-Bv2eA-Bdlk+}zQ%0WdvW?&m?C2oqq1oYS50fw@C9BIF{o;)CSDIw9qq8@ z8iGLPxhN#g`jVl8kG=UaZ^WlOvNQLd9|tgIo*6%gCkJbCfmdnL38&JW;QZBt!OYTu zWj9kWa}dGSyJ!(842bSf7_!XP6{4&z6~}~3Gsz_8Rx=ygTrj|LB;d7o8Isi#dYzCF z5DjX=XEBDXc3cI<+-P+E`28X^&UCBv1|$g~>l*@m{3{-2yStDmd}*4NO`5jeQT`lm zN%zi3?XFA$6s?o7+%=ZZFV_uPc(~)q7@Xj1H_t&2?N0DQLQ<7aUAml~baZ$U(w?&_ zcfGw4N-l{{W#2@kPNBkdQ;w>wTb?E_eGOUIM+BRjXBqznw(_w~&iE4RC_0~3LfAa| zzJ!qBG!;Q9306yeF3Tqs&oT6t+Z#PbRPSgGZs7xF)!z-kXSVkZagr!ZT9~@7U|@&9 zB4sZeiJiKO3_`UA?oc_kJ2Ln5yQXGAg?Ltsj5AOR=AhtY--VK~z( z_++;k1&bw#`UMbV_X3h{?b2oM>q23Mp^|$dx5(e3paxXxb4V3|gn3A&3Kq1G`rPfD z5v%U9uu>yCZKO2`NRvj&FnXTMbJSF zr+1?oL7%OR{S9hNXmYK!Uqd-=}>9Q zCr&h3C|C?mdEoc2z@kwz{e&4O}-rlR`{BYk5bGt4k5=f*Z!uNivZ98j9()Z$@b14X;h^$jF$vmTPugv1oIY8c8XIPh`7oiR}b!m^MG{B4b|{ z6)EYJHijxpldY2(i!WX4dP+;Jy_yG{XgSen{7~xBc(t7^l5QAdKe_P+9w*oq%zJ$^ z1;x1=Ni3XJiBgkLeaZvrY~ST16wWz`jQQXU;UVnj3{`#GWkyA-{*_SxwS(O&C*nt& z^l09oK6{N3=_c6GQ=7giGi>*Q(l#}LSdL;Z<~1?+bE6lQHcKcTgyk@v z*;Y~icnE7o)sO2$^Q*#&yNG>2>LWL)Wu`$SXo5PjUoks-vgUJ3 zKn@7&CYau!(P6UK-WnfYz`Xg&%ZyG_yaa$L0f!#1_3fTXh=k*7>`eV85^WMmi zT^kU@fE&H8&qeY>#j;IaY&WeQzd4tBG3&f}NALHvys58InBvgvs_{xmSu8V)@a?_p zFe3X2vcVgIwf2^IPmV5CG#_tIdEB*o6&|g77FHDwJ*Z@q%R1^?71)I6)RR1RDFmiOT6Vl{)Wi*ZjbshzT4W9i%; zoeh_wS1;K_ox8DNtJ~fBx5*xbc_ArP8fq+C!@0%V1w1Da+sW&~P^wqFH)_``YeX#r z(7s4Ax|}f+(>`C0MTMM$as6LNbedA`w*NN!*71i1{SEv(%16nLf-pT>6;O^1+9Ref zXw1I6%)_ZkbO7a`$oOFN^BbSbJhj|x+C7qrABPOK z%`SAj=;Mr-Hh)LczITttV@CIAv>>b~u~vs34qUnxi41>eSd3bzEeE30^H$@(h3}3K zu3v|bGXG4TqR1T&YeeoU{XThYO9q>>V&2nKTl#Quwqu2`G0K63vh ziP;o^=V_c55`KNQSQJu&AR2k5Ie(}2wo=tp)fP_~7yBQ^Qf%4Ca%pm-u`f?6-*ZG@gWca;7luPHI8c%R+ar0LR8iC|nq((mEw zzN)k;ANI)U;Kj8O(yKSC15^#F?w+LEZSAE9x0Hj#>${Sm?}jZ=7v~FcJdT6C{x?b9 zdxJFMJ(Ej4 zo`LwRv&!3Hiqfm(@w%?0mZR?$Ng+YTO8hogJNFIvpK(Tbh4w&4{lApJ4fzF;La(c> z{=)@W31h8onCnVh7Z{xe*Q#U2h!Wf8rA;56EZ6^#T3Z;iZ?o#liTjkdaWNIJFr#99 zJwD*Ks%8*pi1?(CO4z%Q~`)OH@I4)#nn?FmM>5?MOcyJb$)R688P&gm&;8r6g zJkm;Kw!1X{v>k!y<3+cH?Caf?4E7)Lm*0FlSTS)p*5{z&yvbGte`kl>DxSJ}LPbDM z@-ENFyc?VyeYf5z`!uS2&#JJG?9tMs;zDZ(=UA)@n$7Z;qLF*YKv znO@*&iU@nYP(VyQc)z{p@^iB_bz*V>>jMNnZKya??axw-aDE9X4ZM^SA=+dRBie$O z;b$-HIs*%3CNKbDJ&2W?>?ey!)tX8oq&qGW3;wxpt2&srS7mdCi-vE#Z{U z9#0haa~B6P+TPtu{C477`4N?UJFw}vK=@+iHQ8(XZ37sH+`=yOQ55Kv!v_H?#6pkL zpI;-gUfHqZYK}y6J)O#wElLcW_C2%EQ1>r|$OnM~YWpL9SPFI?*mCy8afZ9J1;kKi zFE%5=3fN+8(|u?&C<=RMq*8+%h(UdrJkU`ApUArESF#)LyBL<8)PbUg+n=+ zJz;R3O)fe2MQ{k!9*y7l;(Z%nRI;aV+HigazC`34hw{{p=zS;U(B?-Qmh}`Q zMGLQYvDVkxeyp}$$RAt+=~tUyteZ?5C$V)6aAAkJ12^mOfuk@1%zLjT&#C6vH7pjI zciNI%t?Z{Y5T(V~A{Jp6Cc1f@nq%)y(rbB3dtu6<0hGm2Ae9dMb5#jDtHsx2a@0YeDS-;hoOu#UNv#zbvsAGcRe+mYjW zIX^uw>`U=EEikI~9tFF?cSIsK=?8R|fbyc7^&3!qf=W`@)MJz#cfr59-qD=x; zuk^e7k?oWUAKhTpgTS>;*t}8`WM?NrtvZPqlrs}b5mB*G!Pd!_~yx?tgHRuoBS+=puW$j&~jgit6l zO?8Q2c$Y|-I0X}F{H>&bge{$o29h3GcEfWHg5Wmia^V)hU6+DLqq#wdin9)mx<%z- zJR~Y58(cI`9xZiBU7CWQI&#Q0zn}<71!qDku!MvjG)y#&kojGLOXv!lrg4QkMuzs7 z$A?*u5k;i}r`0Km!$db~YJ7=7tG?}<$|_&DQvjf6jJk~pb0-%6F?MYqs7X6=6yOoN zU|HxDMZ-$qV+>?~D(+K5xa-&jip{0PqT=BF|8D(;IzWCv&S{G{ym?vAk z8sczf`i}D5^MqQT8aY_{&0X%G(0LAfma_}4YDsQYSog1-FY{i8p8$GEH7yZ?9bfMa zZ}m`BMPy`GG>8*=q&%M5PZ(W%ZJNd%vH=khYg(pVpM3Y~Bwj{l#3t74>iZq z)7i$rmFzo)sp``@Rs_FjvLt_^*Dp7UkFr?%-oU3tj_L!r#)8 z311A<$7|v{tjv;LdgVP(|H3t2ss>w>rdac8IO~`zzp;}5H3r*Rl5%f_=@aqL9mkL{ zWY&+Vt7xaZ9P$n$6!)$a{8jd#+-Iqmrin3Sa9$>womMeg#e4tgQDoo6*|Dq|LxKuR zIKQpg^js7K-pGMcsrKDvN2v%KRhpNvL`5c6pcsO$ta;QjH6+BwMNZmT!S7-M&-Mq! zhY3NHp|SA38+PntT0kLioNH3zRq7#!gpXRLc4)rBqiW{ckS8vcur&6YKM%-@57l}= zKN4K_ssxRgvI0BlryFs1|4fIxsT06;?7>~dy0S(&21@dHzj!wAcYtVAkRV;Xh#}6p z8H(CyTuPOGsK(FUNn+8rc<(E}`h0W(q?@^@tv5mm31zthkrlSAap}FmQvD0v1;=lT zH)RqJTqEGT-=`hyO(sIkqyc}2(Zq{5E<$Y1G=FGXLW|5*u*`RJL2N$hp@OclD- zQhzcYO%5Zpf-oBh!AA+0GhDa?xzH^GP%y6KR80c99!(fckki7YsrtPPM6O1SWQoG( z#{&1ih24l|3`!+EnWix#o+}vwGqKpCz4w(YO~=j{5tAr5)MmP;4$(>CL$@sH^SCI6 zX<)jJmw}owVH`gr?6p>N@!~0d3r%I2D8F4lH9mP6i-AD~AwxI`H!)2bnWpJyXh4eY zbW-n%S`;yq&on;dps!HL-WR!|fhAIxFh`ucGZqs>#$2{uU7l&zlvEQ~t77ek7K$(y z4PVZVfg&cm06t{0RP_7%O3W$1Qlqri&8bV>04BjhY0ywP9lTUh5rV-+RcbuNQCh03 zZLP|60;=;j?(wB+CfY+XbSvdJvIM(7jP^>h68?+{VjS2n&N*Z0OY8zo ztF3U9v13bU32g~BO%l{Ue`x^PA6MI4ntIkl3hQQ5touz`V`8*)3eQHW_ANsesX5>4 zz`8W4L2W>dU*HKJT!{-%nZ?AWYgtpG7A6icQ|YH2>X^FL+6bEY($cq~&S|TRVJ7BgGNc3{+v;=d^m+(eJyxg-8#!|89Z;mraYyo_Qyy9A043Lg18Za2 zK_x^xhaI&h{Wgu=I2}-*tG3HiEqP0dpAx&Fy{P+DE>@5BD26*U_1m_O>xOd z3aOU^b3Yl(*n~v3b}Y(=?j?GTHd^zatPb)Etl9R)BVx%Y3F(RHK=dHV$lg(A6rIyh zo~!*5H;A8@g4FPCGa_!$vuKS4-G9{(2J`%ZR!w}?lRNW>h`<4axX zu=tV59umuRZ7oZ7p@TqS)=ZXGl!efYFO|N>=hx?F0{y{*7I_|s2)@QU1#%22;tBNd z@u+vpulU<~>lV>?%CnZF-Be&J*bm#M8lTF2lM@+wnJx89gkW!=VYdi;8L+9OgaYmH z1mi7KsXXs_Uf4zmUB(73T2z%=pwTVKl>754M@hD6Om<+I=5l?quUnq6IvkkGxAzWH z(+hiFKY_YGruSExFo+He#JeC$E8m--gV(L*jdtHGOrx|ya97%O2}RT75YQxZb8uBa zLM2u4m_RbK=M;rs7_alF&O<3f-iJEoFhV@=IXvp{8Oq3>Bf!)Y+KOM1?*jR3J@hpr zyKkh)ErP#MThT?m06Z8m<9$K~C;K%{l&o&jbMQ2$(=2$JDIOxaOPO;EZ9`hmna*}h zePvftZbh!b-KhGBs{=zVNA=v5j~D@JS4GTU8PMLHY%5hyh>os6Mw7Kj5@>RACDZ68 z&Kj@1wQj(V;-d^*VBK_8&u3p;1}^umhj-FKImY!J-#@jSo}M4XVYcG5UN;K*ycT4q{2f>bKIH)a_sFzP*Ip?gIN zT4pGh!=rs$ucrZ5OjC^k@djA3Kvg(~;b{!DdRPn@)h72-)36?8K`dE6jiR`#6)$&b z#Oxu2m+M8H3hZEgGIJZBj%?GO&{;xxcjrr36o%+HC4r}UqX?7OouLaN4~a|P%z$^? zHDu9e?el;D7V$g<%HJbt7+Y?O90!%624pl`j4S;IB#^T-5_PIL=1RRu>$3?MIzMyj&C+qd?9Yi6%6W zJf3pAHr7)tu!Qs&1xNbXk1)MSu_Ea>yc}iER1z8?LlW8WKDGy?wFGb0^%b;wmxgK& zX@!4X&I`1Ew$(=@hSuM}1J`V}rBvvg-FvQN(Y@qJ10R=-#LRmx#(wHdW*BUQwPpI4@NiQdUkbBgwb%O(nilBakE*XJDX-Zc zsqpip22nF1RM=Pq9^@(7$8^46j5+N{tJ?8OHx;j`Q%9WmsI2>^s)IJh*k3vBFNPUE z>lrQJ{C-zKwwasZTcan0>-Udpu4k!LViqDhA&a7~bY|9mg&fy}dHKvW`WN4d`OWjJ zDA|oO4RiXa1Jv=$*Uppjv(g9%%-^+|lL=zBAh!nQsXQy`Od zHGXzEsQ?{pN;$Rh*dXfyUsbdzsZIwee32$U%yEE!EjcKUWf8~5+>NE%J)8r zi@4egsQMw7_xstHEUdotJ4e+5Da(^~-oxP#H`vb**k`H)C`!sqV|_YA{n}4=+q=-( z1dJK~ku9Q%B+acJU^wy_z}6A%6gj4tn^P<~;&nAqlozuE*WMr2xkS)HRSFM11)ddc zIvm*$v5R=8Ra)YcZ@PA8N?RW!NLu?-dsV8S_t?*jd2c9Ey7T^`jj^dTPCOg0-wOTk zI^u7cFmGHP-69_(wQ+fO^mrxA(Oc%PhT}Sit^;aY;$xJmi-lYX>P1q6XfHuR_sB-9 z=!rNqUJdD(j~NIPxFhpsT5u|S+UYVW=a9qTeU-#`AoYQ2nNs>1;e*m(qV?tkI`wvM zqwC=UbIa0m*ci@#OFW_zS%`9MLVpFVAshB_g+FgPpzwzyeEJr4Y$^ejL(RWD&}FXh zhf6pH=ZZ|!Lt_5F$7X$g&v5Yq;L2jI6w@D)D*O=UT94%%4+gm<2|2c$9~TnTQ@iO(mk?u{>y_X37^N& z7tbpi=nk~6+CbR)Rs(x{t8i!nkPSen_KI?_rih-wXL+f-9n%7EL#}V}xF`4UmR?Tn zWnr6AitC}U&lpfbpP~?s9-EG%#~J~RdjdSz#(t%kQBtoM;1}vRe(YnEz`vKVCs`99 z>k9qGv1943@Ao&Pp5-^1SGB6MWd`|f&uZB(b z4cDkFvxF*D`|s+?43!_shZuStU}XJ&aK`YrJDW*x4NVe9dIq@;RP!Tu-;Cggh9*5< zpoyIZHz>mc;|K2nK7WvW+?^LBqrEte@imvlUozpYylA)NSF8-?vXpRRWVTFItgJqD zMe%81k9I2R$e#pnuC4h;q;UbKU^F!-yLE$bDFkiq{Vfkz!q5ZUzW-|% zMBp`u6Q<8W!ayJB{{J>_oaxJ~5FFul9e5tMj0zTetXIF)JJQBZi+!HXU;ANQuZBBI z_Hw_f03{VhfV#pBmAbkFSY=hB&4x&CtXgB>BIY|C{6A{1Tau+FHmAR$13W`>bPv@Y zbX}r@hMF_;rvx^SoAQ$?{-8K)+lzh9H!`OLWH*oVlcd7_^oi%%a6EoPP#nnf`^3*H z;Y%^iw7 zl}w!;ZHWL=&IV)?g8-#jJX_epOsB(~AO3L&^F8tp96!LiGgTf$BE-t~h)tQCpn@x)EhM2blh5b#_{=(~WgBwrR?zl?NMR#%@1rg#N4! zOLtZSn9Zy$Gzg&C-Lq2TwIJ0-LK)cuA;75;#7!a#lw=T{Xq$fhTP4VSp)&@jr|Ab& z35LHOwjNrp&$c%E1EtfFdWbE=#-$QY$*FAhw!WTxvrxuU7*K0v0n|acZC1k{cxp(f zEPo&u&~En{(mbUYXCabQ$ch3jC_L+$agN0+%YM%fGfoOv3;}hX+xL@S#hi6raHD9! z=C!gUhp{&gq#Ot6?|$^JT3%V{S2~{N1#=q@UegX5~(F9!fQivz$Y z_L*_0CI*w$G_GNy025JN_|IVfy$IxkQLpaQ<^bHk!p|ve@@Bt(z7`2PJxCb83!|oD zm4R(~%{m>E(h2CskU_u8{??BSyhvKupWF`{EO$}5?_iKt9!m;H8e*T401iCTn8TYt zT)TP3KVqmD`+QB{7~p$;I#~ba2xz)u&t&I9>z{@lO^gEkO>`aFXG#0d6E2w^9XB`+ zn}WZK6?YdDby&=Bd6}`-`Ug<7sXrqDd|xCdu2D0D))C&GfhqEx^9aZKTzh*mtE>^g z9k%bLE28bDLjra7-1nYS3=)eeva=FDUjKZ3zi`eIAPWN@3INpET!7yD2~aIn+^Mzp z=^?)Z#u-M7;$O#q5GjH)43G%FO7`vPByE62cRODx* zCxFI^2_XK&9NPpL(}x4fJ>Nd|04AEB0DJQfAGh@q#MqA?w}nw+X*f9^m(slc-!0U? ziG(g=(hjHl$sk>R5$T)LH;872K6?muNwI2f$pCEZ_|a6rz0j^89eRx0x6?wtt}PnviorImx2&XHX%EufU?$F z@9pTxxE4V)jMNZV12q+`JTb!hXzfj6rSu#QUCZETGKIy++{z*T1}9_x2?~qgksrai#h*c3cS#HA%p)pQ0bp=$Yxbl* z9r2J3X5zcMj1x80kT9vtq!#0F1H8kIC`l+0n26c;e})yIf_s7Yfv5kmNjZyhr{wKaaSNnmst6m^c_p22p=+tf>FK z_U-Pe@gVrm0Cx6d-{_U4ZM({&2`SgGo^kY?c#)im@5ku&oy47vfn1iQ-?1m|-y#n) zmvk@v4wanf;i(W9QZhgHFTmT2^aQzE zrvR7uoG^VA_$vK6PAv%x$D9ioi9)a7Yn)syhgKE$OVv?D#C^b}jhZ3>fV$39-tayJ zK@Zo*bH!=Z^!@l7OQ|F};5g+I*v zhYRrkomv0?GyQ*`CI9c=)1pic?BQO<+x5LOvhCN}?Hy+IbLmf7?&Nw6yvOPRZi5b& zs7Y$Oda?o%?k9Moiu_9Gw;Hd}XKqr?_WHB024x-px}ds*|IP&gEdwZsz;bHw8sODr zaY^UDJYPA+478SY60b%5=~GNO*=L#MM%I-a8QBy6$3@y3_^&ZM;rFP|?7jXryPyxm zbN^)1ds8?iFMp(R{ut98*-gVj;+o_2O~sU-1ox0y=M5Z3eY1bZ+m(%#7sKgT3xSt- zv?f$X7|C(>IVYHNe!sCvUD($mlHcUn8D3o2q^lslMssw=+}AGF&M4CQmu8qVS&QuzzZMa~c z&%ajiG5FeR)9{(DeHr6+|GdU$uwgf0G=7%W|6I|_BG4+VwC=(u8=K&e`icI|-r%Q^ zkrCt1U(&X!-wOp=qV2kdy+kZk&yQTzKlhPYuAk>tmU|`@*C5u@uZ5@H0pL)lfy3RC zyO{vm^x#`|ewU`8fD4LeQ~%ST2#hb}?nl#n)K7Z&W28RPk&)wTaMyoIBzHWB+<`Y2 zNcpWA_J8`6p2~hxA4urBv~o_5>@o2+ zhDi#b((~2;6ilv_!Q5Q8AJuv_eZA^8aFGs5?shq4f;idvHu@A`;a{IMn6CR*Z2DKD zoiXGqO}~n=Ov{gySRyuFf6zbPo_P*v6JwZAbF!Y3<{uwz2#|1wqEGJs-)<9-{5k%p zw(ytp=kLlf`(wq=l>kkrt5ROx z60li7Y@SZANhGUz`jl;=&OXixc=JjuO}S254xm09h{Px0k#hL`y-LdcCk*#K7MC>9 zR9{?k28>+iZ(m^c2eU4p#(@SoRfxkF{+<{rpT%6@CiMTz30bw1|4UBz3DUBKUpRBk zFpuloOXEB22FQ0K1fhu%3Ut6}LCU+hlhu?cZH}De|EF43rmWS7=m7CP(N1Qv)jkDO zsxUx({Jz19^TLAYZ_-!U?dQ?pZO7UH@7TY#>pr56e0~T=ADI$aZhL1;Z?=mS<%?#@ z8^+t90~={o?skmsVcwtXocm*eG&|&IGvo5&Y_QR1sRGb-uO@T?63Fk0LUO%e zzs5;L{|DKh*>v5rnNwO^{6K@^#KgE50>d!(3 zD`sQfbp@EMfVp7)iT1u+^TU0;{>@bo9qQ|Vd08h4WZLU^*Zv9niid=NuPcmSmg0KG zFYf(2FoLK5s{`{44vzH*cGB*6@ZVrIdBoMoe>_S+=-Rnbx79SJ+C#SMpEN_cHKgH@! z9ALwU#@_s^sLkhQBZ$rf-Ts~g3_gYgSCj-&|M2m{ z4%7UJ{7iY6w9xSrBgR7m1Wh~QZWmen6cmCh+2T^(4sEQU^RWR!Yf2;iNuhpu(kVY0 zI8qh1|FtGfCesPnT~E83%@dG_3-y^__z&-i&9y|ExmTfSQi@Y7nkU zPPt0Jjt6RPQ2wv=?w24Tv`u+l2IT+E@fx~Z8F?|DYtrI_xFA*l0+9}hbg%@ z&ywXfLnhlBjsBFZQzc8puCv1orDyF4F4k%(T|c<#3-$Y2zs6Z_#;=RPdxtq4QP`^?GMo+ zv;0ZxS3H>TC-Jfyg#V`oP77p&e6D0R$5dJ8so!8lY_!rFI{(ofiHWShkmfyRI6<>A z*wMv^{`mH5)J&C-|Mj6TqPt-r>hgNgz3aN0+^~Ae6%Xl4iI5j>RJT*F1xV*h)K%dI}^k){K~-U-X5bQ za{aFt{QVch+04$Y!Hi2~PI99L3fHl*&mSWSb^LPJo{82&CiFj?xHn)0&o)!RFqmel z_IZJxS@7J{{r6^#RKPy)Opy6Npr(^AJ|tu5;PCxD81<_GH(>r=yrVxC8yeMJ zO&*v&PAJNJ!dR#vmfZ{)-u8d>>hCS;DTS5XBfx}r8!Pdt>pjyL$9q5eJn6Y9SWLM! zmLFE8>KZ#;Kl58Sl2^R4r7&-znGrFawjE;IIC{_dfT_5Yoa)f0@saymMfDmQMs`zV z@M*bJ4SiSz|EK9|`b@Ma44h=M0d;kxO%!sa7hx1{u@Ho>23i3rWQl+_0(AQ&H*2?n zB6l@16tKF3eZJU584x%FOE0CtiS8SeQNk4wwnx?bS#B@WK;(+cyLValo7Sn&5h zF@oK7i69BciCu9i;KthT7eRLZe9^D}LH6UaLv%M|lb|h@^6(8&uW~eBNF6V0buttw z69#4=KikIeTcwojyf4bEq4$jDFPmL;{mW)EA1JO{CL)8n5+CTnDt^fw0VHZ5QumkL z_}b-&v$H!XbC1T7%HLNlI5y@lM@QiLvS3TiH5H|&JzpHD0^qfsr(2^SmI{yMMTSN@ z-(#QL$aea4X4U&1+wb>&-+axtp4HR)m$sx8{qMbXlIaD=ZWl3P5IQSu4pZBV^_t-gw~3A{3C|Sqhd{vs!q5?j^!@8~Cbo_bo@shW zZ1#e0+(7(#p7k%`i1>?R&{$|zqQ9-P`uXI$XTQF2EPFoL_bb?yOSKCWEwqsGvwuAQ z?bjs%nf8m|dGfxBj~mz|F&)~Fjw18FXTnstzTw2pJIPZTe?I>$X{BShWtdgXz0WZn z&j1lC*55rLP9#zN^Ou>g$u|s+SD|EY`2XWMXrN{CFvE)pj0!vnWM95Ku2n<*)%Cj( z$F;AnkTS7~(0s~p6(+Xz(YHUJ|LfQThQ{%jbuIO987Rw;-@~i%Yj}~zkUFB$4^z0951_2c%A|83{}{sP?AylIC2P4!|Cq{&HdL2j>SDK%`2 z=J*qd>r%}Lh~#p=E?%4_&X%C(U24#sYYNDAu|Z1+-@acpM>b=ev#kY2bHlMMZdV&j zMCQb`$CnGlw5ixn=z$$f;Hv&@M8GhC=^|{>(hXet5vfd={cme9wHRB!90C?ZKK{$* ze@%-2iQ7HOV>`$I(0}?lAfc5P@ZoF+b0W$Doz^F+ON)%__1N@FpaAgGpi`iu)X7Oi z3lb&3tjoXtV)+`OMD_K*O?gwDK;-Qvio1_rM^o_0gD@|1Fcu!~73YI02UHn2mnkQe zphG;k@h?RkaPDFNpq0@y64U2?(+ytoFo8$?lHI9XT)-{<#oQ-rIa*|6quw&>BM8?W7WmbP#tS_O&yynWA|#q2X6-LN2OA6HF)-h;$+Ep1lM za3Y+?Kjb69I{4zpX15Eai~gFyE+jl^1PuO8=+3`Zv0t_e8iM438dTb)OnOW>h7u8o z?mWwve+76uL==1LrA^8n9#x_M=}->1qG`O=kw|P95)zu}vy}iag6l8ZA$oyL<Duix|*Z; zy$JRA+3)TOLM{eml|j#!T80YsduCgL@#y7aZ?OU_P6{Begz#7aDCJ%&4%g=;qUn=G zM~^H(cmeO>3zU-9jkK8@Zym9=zZ{|X&nHZGI?L}J&fJ|F{IK7&R=K&$R$Y6D7Z5$ z*a2rpeDc2GtJYt=y-)8CdRsDBL*hcm=4+neD zd<63s`&<1UTa&Cv9^Lu=H;q4nyVJR(8pwATrkYw~gmqC)PEIA3bCO zReHn+>>slc;eF^;bDhUZ=jz5)s)nXKf?tTDnDLWea?WY=)HejlAVWF7cdCZ}Zl?lP z4iwP;SJ%v62d4jQlmC^r$^Q)bf4P&L2Fr!oseB*#!j_yX~5@fqYS z!(`HRQjNE88=60yXDC%#wd9zjo^;RCvW% zR(1_lz~8NeEFb1KqkB0C-Me6?BlBez=orGQ-+PC;ZvDetd#Rs~ASH6>it-_~|5*wL z{k1K9b^jB~>hrRPrDo@jKK9ugV|y8k+mnuc)t+bD_wCIzyf&jYf_|2cHR!;LedIch z`cgd&DGZysp>zs|Nklj_+*c2p4E@F$-Rd1q z+@iVy!n4BD4(<)H*I@0)oKK!hL^nt<&|NKo0tV~w;-rJD60X&_u$jvxcEy#`m>j7k zJ6=oU%!c8mm!HtzG*}qwB04h95k`+cdGXYSqp>pyr98^P-w~#G{x!mCY9W}oRQvnv zZmFPR6FtFwnoe|xk7UeDM=o7uY{XcMh|qR&yC)ain-+mO7AW4*;i*H zJ@r2qojpvu3TysxGOfZ}tF00E*)=~mr8(VqJZZ4e`+?VN;I&^)g;Ekz7ZRZfa$X1X zwV5fzeQR*Zxg`&00s{09z7{S;sMM+U$P`}iX-(tB)@`e`Jy8k~k0Ma0Kn8dv!onMf zHY>mrEC*4z+SwqS96&jC1<9g4Spk=dH@c3w+w+8!%C)4i70UWkP+6dvQBDtfX7Tk;y9zX0c^e-{3Mz+K8Zyk!aLJn1w(Wbf{9@lU+=1ydsp$il-!!Cae2G8l3MD| z>ekW6gSH+vQ`O}xQN(xRjf?@0S*Lb^WMWuzJ7Dw6pYE?&Ueb7-19mgPW1V*YAK<4c z&^%366?aT@xH8YU<@SY#iT177>FV3TJS}=Y#7By;GA=(h=HaQCWF-lsCSAd+S_Q!a zF?IjOfOO$^swo$X)xtfw_X|7jpDj;6SDtLz9*3GX0y{_!i#77rXKkK>hp{TCy_Z)PSSFTD16J_^r6@jH@) znYMGwZ+}4Eoz{gqUdyC=IFAW%{F{&>gbm|t z9ul*z93%cJ_v!<#tzLZ+f1%$Svxp;*7O~i1DX&2KnLt$NL4j@w3u$+1N>5#-;4TF~ za1{Zz2&_OSpU$sun_inUjn2<>%l_0IRPX54)i<_&>JD6A%H8QgeXgI?B3m^w<>iMQ zCqee4Y@=Fh%ItxdD^32(?)jCKp+vBN^W89Hk&r!*%ilw)Z$w+cnZd};R2*M)-fI6- z#A7=}?BwKrvG15P5$Dxc<3uf&nJ;f1O;mWMCUg88nW^%-sD!SLXm~hJFx`L!Y|>&M zJa_?68#lXd*|6zff&S=yEsbsijN;vikc~|nQw(>DC0_0i4f zTmbHhsQ{N6UhqW!u(`C4%26FszJCzyVKX0sF$QW{qyY^gU-YeO<@}1Dip*&6!O3QI zPXb7FAT(&N?47uZ|Dk)tZZ*%rS4)R@(=HtTKu650K6hf$lc>Nn2xd5&vt-7xOes_Pd?m3+T8!#oqLr3@g4G-Rq2VZT5fCdbxiI zxF#=GDudO<4PyOPv$;XK`Z$G49C_2@Ica)0Vbe^nzkZ#Kr@*0?m)HHv*XX(aO9k)f zAhb_FLQ6N8tWc29A|Tohd9KD$j5$o@+(1j?x1Yeu>VLVj!n<-RJXqw+x3+J^oD^T} zFh*DU@i3j$5kOjo!x5l{PWlgQn};lw78DRtQbLSwN!%F z;n6Wlh9iNGXUg?qLW38MmQb@3L1Mj8{usu0NZUs#o2NPV$@O~28sN;> z!xgwy)KhNa_~T_=Y7VCq+Of63)TK9MNFjJVJmEfh)NktsKm`IsP1WI4W%)^A@8Dh? z{5czJwDVh`mYS`utut+4rS&PZ>*op?tLgG~8&;a0b8x|9uce#ko$HbSHk6;iD4gq) z33f9Qs}A8mjfmuDGhg*&xK*|`MH)!T+Lw)uVlLuy=+LHeJZE}!ntIE3r^RN&jCX9e zMzDOhOk}BfeT(zf3L*f10-A1Y$0U~7{A0I!>|K9+!UsP0?*Y|CfK-c0?XU_z+pSiAX?b@^SDaz`(z=h*08?z1LTZFqJrY zGVlgXRpVrl#Gt{qmLiqK!Hg7K&2f=`&Gn#4HC@P=6VSqWE|BGn7?0A7x*8a?8z&pI z4ofw)s4p!NCOwUqNv`z?uiQf7PK3!$_mOppKnWo|M4fpXx%z{^=ZUOAY(ZS$5;Rma z@K9!n2G>iA)C(M8@N8*6#cN726dh!`bWjXdJDaYJmc1Rb40;{wW}fc?E}Y0~S!!G- zMz;xIY1z71r9b)6c*cUTAcc|Bk}Y>-D&yhGA4}b7Zx&nJk;zp)=>|hX2y1rkX?gHP zQV!)f*G8t|J5`-*_&1BRopAbCZZyg+j2Fg87)!ql)Up<-n`6%7w6YU3JCJ{pI;4eT zY#Pt#+>!gDIzhs!_%fj&CbPM<@h(AOdee9Q&MUpEYBa#^Pw#cLYx}`eO9R%?<%Sod zW?x>pcC)&ErVYEXG0{Su1h!quvgatc<_+Elc5M_;4$AH`eXs7nlg1=b31ofx>}qSQ zLV-#3g&909VUcHzBhqpxx`20Sp0y7fI;lNy*K;wUcj=Yqv>=J9&Tg4AM5TI^@A+g% zL(o#&cAcOg$xCUMt%Ib)ftt>1=4k67-nSPk`Am6xoXFpjhez;>-wY;RNL7f{ofe^kQ=@~*)a$gx+$y2d+`NxG-ARX9(1(t5~Sj1>(Sk?oOn;65X zK8^f=KA@J_-fScXFSJ7HMRTiCpa?NHT;Ul}5FQ)lECxKkpYVegPa(J^CaccigL2L9 z0!Hi(ptV<>u7t$AXe?}XqYc!NDa?pFaM2ie(fDx ztZ1cA)}PFD$_M%t%;Itxb*iLYzGNgZKV1x1=#BvsV*6cGhcGnI3k^pw?^M!Z?kJDN z{E5|+z{3}er!dUn&XwMHZ;B^)!#lSR`^_y+$`g8WhT?bhEzLx;rExi5r-xoC91s@Y z&sCOxGM4FFcSj zDfI?+5$6F_m*wrc^y@=_S?j=LBS$66+~>Ca@yL)T`J16x_W3C|!jf0w^p|xJ+4IJRL>Lx3(XoVJ-h;kEf8ZbE3ezzuOM*^BNJ>prg)3eqgjZI=kf zW-{geYz?AIP$9|pT6ERcBpXEl04zfo)UYS}b1nwUxVnT@`gkgw9U?m$@uAwH-y5}L z12Ku7NkvLU;0=w&8|#<_;^e{2m}nwM^rGicM2Oh^r>UU?>|?cZIjyMgtm6DgVZ+$% z5RJEf-+kn1i!Pf!y2Zp4K<1BE2bm|}(q4`U_q`xFgs&6dya+;#dEK&uYAM}JKp4F% z#XTUaWT_gBg{Qa!$`4Wz_scF6^6U+!>~N#z7}D=OvUMDnd$crwIey>pXT~P0XLY@` zGtubgw36cIDW7_uuP@VnO7LB!xjjCR%BIm{X)bWG(+lD_#7aw1!?`D4go4xgl_?A} z!x$P>MRb$VVH6ccth4;}DWMnc5S1AgRjY&{s@~lu!4ETwJI`=N@&L=2gzW&*y)@<%t!L$HS%Pto_rqXp^&%M4Jt(P6WbOL%=G`k^X9rSjqF zWiAmIh?+h_J51PIfutG+4xz@KplDQ4wqz(1!CKYA>Ht z2jRnYtr&N?NKGRCIWfh9&LD;x&2-Syfl0jiQpZ8}tb95s2Zye8Tgz*-m{%>}>{(}s z7Qbi4Om^L@WyCzYqpX6wZJk!XZ?Rnp1)(UXmd>wKAmj`mDAW^1DXh@S9Kxncm_%(v zG4l{6e<&ptcrU;ZHAIi-eo9Ct`8JWZ&1d#&1t~d76r8a*)iT{^54;w+sIL(-@SlNKeKsuGm4mDUJ)f~ zpEjVrREhtzZEN;>JUnnDsGliV5wfP&49&oCkD_insqAQr;k8;OiaM1u7oqc7V!vbZI`aS;^lfLke$NMUMq(}$_QWiDyPi0C2g$y=Z5*`l-_rDgUkSf(eIu2`)WDCQqF%TTcch@|%97hI6jTTfX0k zEGvFIsEyGBL4=35q(RSqav0n#V_*pqc-(=@I$18KUC*vp)PInwNNRxb6lQfxkq7NV zVq&7Z+M)kk$|P$ougwN5zo1A5;aGr)I^;0BGgGu;MH$|TT0%E=`l@O>1P!*|lAdOe zmrpAlzJZqKoh_Oomx7t1q{xQ$oX^13&FzWBPYQYU@!;pfcZsD7?_%BP$uSdZexpjA z{+$Hp?uqMQL_A(OZpr&70w;#%0csXka3L(|6+w-VM}f3GL#9@`|-(>C(6mo zUXtiIt7R4SR)dJn3*P6>r@L&qP8Vs(raxe5=T_ib%SPA|P4np17=y4K<6u~*oV~kPjmt(%-$k6l1_mBg(9F(z1O4_$DMhlqOZ<;W+okkbdX8+Ki(p~hE|G@-)I zIfj)TZc5^gTJXt5W@bLJx{0uKZ*Z9A?FwKq_2a&!y3E*m@kL(P5VNthMJHYSN+|6`yHBo&x4CYS@%m%L8^&5sJ)%(js;hL3Q53$P~Wrw{nc&3uo99!!mPf|TW*!IJO@!NC+jo%hDUtR8fSmfI3 zbGEOYre!Ue_Uapy`Px<9sxIsBz35s5gC)<>Z{7ng7*raV> z_uAnhe(llpERW-nX=3bh;e0oRcZGSx>CZuu6|35#WGBtk7^+(bZp$5T!KR#jH};iL zwr_%t#QKJY{grV|Vhjrk%NS2wg%p->xe%p36B37l;_;d&QOi$p?nZGls)Qwr@_+JJ zHwZC$Pw+X2Cbp}lh`+XfkSQhAaB*M~%BYexLwVJ5dU-AZSDC1d8XWLe8^7osG&JC9n=u{h4S}+;qMqN_cFm5s=Ocfl zTtMTDZ~C;F2XoKy$wKbx2_5UnlPp|iJS-b7HQb$7mIlNSv*&C<;-bq4gY}2Q;&+DE ztJm{Te%|)mMGQW=)!=pIbPM{kr8_n}tap4U>m(`XY!*%PhsqUA$S|JH>lWd_D9Lo5 zfhDK)IBct-Z1i+#I%~P~PuRuUid1h^23y6hTbUiRWlN6-9^(7yZdG00y7IE;W2Zi- zemBbA+qi+a$WshXgc#LsQ3?Ata6Wo`I)A!?QsmS6veC)*!}8tm#-%$>n~ucWYxSG6 zYj3S$M42+NoHk>&k#9c3)I9{*C9SY3xrymtVL%cu@}BJEwLFn$ECP zQ-oG-Z+5iIzsh4!O{U{w4qB2$Y&`fF!)(zjHF~_(SIo0IdpmcODiBuDRNxgTGgj<+ zRpNPonAM!iyJb(Belj_S7@tM(KDwfBZym@IJ99&Uqa!wY$um4V(}Sx|ev({zCk^*g<@#2+T8yB)HHwm)x@?KGS