From c0f5cbb9b57773a4a379d1ec4362976e6823a975 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Thu, 23 May 2024 10:03:43 -0700 Subject: [PATCH] copy --- assets/swe_bench_lite.jpg | Bin 36449 -> 37370 bytes assets/swe_bench_lite.svg | 60 ++++++++++++++++++------------------ benchmark/swe_bench_lite.py | 8 +---- 3 files changed, 31 insertions(+), 37 deletions(-) diff --git a/assets/swe_bench_lite.jpg b/assets/swe_bench_lite.jpg index 6d6d3e8070f4da9f9abc9e11cf1d47134c0404ad..11cb8b1c3f7ac9bb813fc515290fe70bfc679610 100644 GIT binary patch delta 25782 zcmdqJ1yojDw>G>H1Q7&9kOmQ?Ly+!}mhMJ6q@+REfPzZHEg&G>EpgM0fV6ajba&Uy ze}g{f(dWG1`Ty@dXMAJ)-xw}j?7i1obJbkeyyjfYe78m1v`#%a0){&+4h!!iIa1r=QEPM@m~edDi?*rd)Uh23Wmhq;Vh zg1|JxCD0776*V&D65zE0w<0fr*~~?ugLZK{QQJ#kJK92EuVol^VgsWM`BOG=7R-Fb z|98PcJzj-PC}?ORXRzn!?{ydE(5C@{f-MM}a(NbDKR5Z~$DKa@)QO3?7nafintfFL zOA)jFI#r|0pOH~WgPApPLS}=w&s4WBy8II8?PT}|8OU)6UvZ#&$&r(1xB(3VOi4S8 zRcRW_g(tn{Q2};#ZUOI8R8WpACfioLTjd&w+0VY}5^PU6<5u#L8v4dd`{Lq%Mt;?K z+%m-hI&{0_S@HLLRsGUrz`&|yd9(2eG)8_ouKm2uec~v)Z&{bJqObddeU?U>{#-}+ z_B#$H5?3VBC_5rkR)l^T2Z3UWDz8lv$uP`N5WmP!+!R=RW#O=;T!CW{dL#M6MW>mG6CVqVa zUo>XfogzXJ=)IM(T;(e^N=}C*9g*f_+})8S(nc4)cJ=a@ZWDQLXmC_MUMLy!==K}x zU=aL#=jEfS$-)$?3@#$S_F(t<@5o(glQkEq&ZZEk+o} zrMjjWX)_)fw3@B6xa847W_%eSo4yZ!OX!f>s#G9yv>8_8Xf?}e1hFcbz}byc_YE@G%m|+BsR0}w zM2^MEWVX$C$jQ1(kB*rut`JFE(Rr*ROb5<*T>>PrLVb_Emq_cdP_fXX1=F$+H=CccW@c`;g4?IZm4SA03L-8}ED6nS#I?O5hnlWtfq1*5z+ zyae+4yeLh^e80#d+ak-j9<&BQH?XFf6o+5FOeq<77;jV*q{C=cU9PE5K`&twaqA`R z28Clj%*4S*++To2R8i$=P%9C7e8eKRNf?;lbF*uxU`8vT=kAmiuZ?3?m(AnPf`438u=%-+jSMVZ?nrJoUs|}| zW^u>RQfb*Txq&3%P=LHED8_^lk9oI^P?-h|lJI$(&QN~)B5q;p@NKaL8VexYoGAwq ziQ7DH$-jFxZ$Hh7P$>GeU2YRr;wpJDJ>*6D$8U72b-O4vmq3B5!2W&R7rN2e&)!JX z%)!(Jz(X0=$lett^6u8x5}GvZAyV*vkhg#3fd3-13BD%01RlDAYd$wTJdiEXhzyBNfKU2-WT?_a>(u;q)`BU(J zVi5oR=D&mg8*{i4e$fEiy#$!WuUAL`K_(K0Gt(Y60t2>!;LU%edlRTZCCQUvrqr)X zZKeEL@ewn-?2ZT)N~7Hvc_n8G9<6X&+!dq(1Lw+LTk9n)R!LDKh6`X-(+loyrH1u9 zlXhhRrOJ%+R>!(JWsFnXO!e{b8JSv!9ec>giFSD)A$bmH*cQzZ*vzYfi*Y}jXR$e8 z0V}}>{%DTVXn{$AcDM?`mPdf6n=)!J!K1o^Eh?CgWhY(#f!+z?)Fm)n4JMqT7Cgxc zTQaPrz*Z2IY=r*+eoxLMcP@cY-nxTra33e%zhWBs68J`Z&N3G{hgSSz1Ys5 zUIOHI3eGVv0YSE9$EA4utGb3^DDb)n_PI0H-CUSv>g1FCX@lz_FZi$_R(!Yq?PSMC z3zAjh-ZABb8fifYZ^Z~jU;`^n=M+I2}4m!gFt!+jnH0*>fRik?UM}A0siYoj>Qe-Ki;% z&|ZmoXIdu9#jX3$bv9lyv@o24HUr|#_2#>G!x8cq$fz}3+RC|g-A{?hb! z3wU=p&I390wlOaNwWQ&Amspq>VZkv9%!@`EG$gXw9?l9A#a52jR}jSpeoF`iGYKbn zR^Sit6rn(*fOos+JdnL^Ti^m1P8t+9>~8??ocgj&h*fZ{1=9@P={YSt$Pw4VEXhbw zIQ+P8kt3=`OBEei+ZP`sKBm;0ornD@anZQo@7F|`T+xt7GIAWn6cqWUq->m5mqvPD{g5e+FkE%-A$LBuhmjU zfHkhEX&J(c`ZUUC6^F}rm}nEf;iQJo3=u_YyDNDW#@M@&5kEv-`)%iWQQR_2i+y%l z(K2`2GlRcyhL8VrdC`@eted$!2d8H)5XRQAGKC(X6u!91gr}nmj_YjT@{0g{zIeAg zQ8!wpwyYTR3rqZm#+ZrjQ9lzJxedf*j<30?Os*fQj>UZ(w!LBE!{cijLhMY>%q+q-R(Tm+@N#Y$(?ipbk zJ|vYI7+}-taGx#`O|-y$@&%aux_v8(Px8(~Po5dMQZqyYf0HG+Ed%BeCcs=_CBP|7 z>~+Q(JXt#Ze$(Smy}~92t_OhAkiSrg92`DGlQ{9r3inDv;Fu;bVG{cfRbO|^g zq)?sJQ{)7b!uQ_{U0JJSXa8{a_n?ak2$#9~Oaw zjirROU)l)duipDQz58SmtQXiv(DnZLQrCUfV0t@r(%9~Z=MwlrBmHw7NBrI5K)n9{ zzF>uata$G2Hk)Hm!pgSd?BWs_VO!R^8Z4;7$o{rolV{2*VZwpon%u-Cu-9{tX{~Wy zxa)k7qZMakaGRzo_ADWf@al&K^3A3-&G<5Bb5j?GHEB_y#f#4pCQkTs&Ui!^JVVCu zWqGT$veAgC910UXHwSk`Du56?T1QbJvEd+!BIR-63ib(i?t*SP3}!$T_0G zdnKD|G3y*0M*^B=BH8n#tE!osHk+PMYh>^-=zQ82*%Um#uf!p6zIS2vYg*|+@5N9a zU;=SPW^W#Lw4(5>YmuXE;wb&PU|Lw*C`SU-QJoa;i9pS%igQ%Em@9iSb(@JkfO9iH z#qu@Y=!B3huHTdPf{=XbBDA7Q;J459O2|GpRPg?&>U3}UQPE;Ij8AMK({<4^6!5T$ z^13(d+Q_AqhyVbMHk|l(fK&W>d~PRO|-r(a^DqeU3UpJsZY{0UbPuy_ zd
hfliXpZ)j1(R4MIsZzr~!oeM*+J`Ck-8WvP4Y|&GB!hAbauEU1xS81kW(oZ# z3Wpyq1R{uXxx(E1Q?B!**N@wq{=a>aeyxdme{OO`dANQ8e^XF!c=!8zLCoanpI?go z)M^0#f2rU8t>WO7qWq~J|E==>JH?}!CP=s781%Ziew|O=AL}QOtCuF^kxC#9_wIu@ zVFkx;B);cC&NSt7_=QCmqF4;^@en5*5Aq0$ZRwZT4W2qKl!ZU;ZahA5HvDXgpD!kH z?o8j?^*F>YUcGpsiryE(*^S}Sjj|w!hf82-*?*DJq>Ee8mnz^a?;4azGJ~6Ws+P3u zG<@jB2CdC-V%)lWkD}goB3yvX`&bR+r#kkLyn%^noYf1uwp0A&a0f-TSR+# z;vvf%?`F7@i1zduq=AA3z4cLqJ}N$v{w`g7(Ke-bMzSapM>V3=zHv1i<)Ddwdgh!4I}+hn?~vo-ziok{#Td;R7Q)xb3%e zp?*5>3qf6-A9>gcszSmZm=cxI>E(Uv#u42b^JQWt#b|U5NdLb_j3V~1Tn`J2>rM~m zb(a;Y`cvmTgj*B9?}_$GJ7*1k6Bx*&dC9pc37@|Q3Xls!4^W0Zj_S1KG{(xza9T> zf+_j(hmZ!80XLNz{vP>WR!f)UQt6J0eDo+$qg%M{SnE%R@msiKrji40cDtz#?@uc3 zBo=eW#WkV4^++>(LZn~NHO{-E`kE_U+r0Aiv?a}9Y|aNpWAzhdQ?4=o&#KMX2;F+- zxKU%G6F~%o;~&D6kOJ9D?7q<5BM-a_Vz?UzNhgg?=BK%5YLAF#DLZDq9l&bO}t`bY}@=YiOI-jWJJ<6_06k+kDi=LS0(6CW=L?67suoI7_B zjjlOdzRD-Un4V8e@Y@kKLf)dl(fD4wz~FEXDS&F=K7sa+ zqjY}r9u?%hAwjfHzl5@zhL)KB)O zL5EEF62Xa4YOwqgATStK{O+iguch;JR;CRK`yU2d z$-+d4ZYT;Qf`e^&VJ0b`QZQ!XdjJyS}O_MT7}J zN{=v|@Ad<5`q)-C&<0z9srb(1d2Z?4ul~M5hwY*>=9zU^&Efb`tV-fEW-|8TdBSGG z0{oQp2d^#18|gW4deD9P^aujicWjF|E2jnL-do_>l-vc<@F(SOdxg_jaBDtw=5Le! zr+Lp4@&{3%z4ZpJbD1t)lV04kOwQ3F=_Wl^xcw(h;707a^r3G4Mdc;n1!^qc_*lx^ zatYjVi-vDh$;E#XECew8KWKuz9(1@J+yr;XAi|B=J8s0vPJFz$+tZoK90IGYL+P2; z;9y9e=ENFARv;eC=FW#$egm&n1%0XRWDUIEf-eAsAEz~_t*OFT`$uP6+2C6aT;13k) zL?7ScbHQM{W+9t2OWYXWxE3g1bnv&RAci-dyUz{ntyjF{5G&HjIafG_=!n#q$0*|r zorYVExmY;SK|MmdqlyNu6}1hvAOV@MD24KS7P!wT*EL!x9B3g3ca5rav(#P}Dmik!mn`{~Ow3~6w$s?;q_?_)761z!+)||Wufpf^A z-7)?a4};l+K2rlGanD5q^ybcKo7JE&fyP{Az7DOM*pN{cF|hkMMJ8s~gMCS^s_czg zN!UD8a{Pn0Hn(BH^H&0=2fbhXEyOS!BDY}|MJMt1BAM4$C9m<4g^LTY*)Y1lvdbh_Z=Wx9BF?;f2AYd~*C17rpRRKetB>4u=%EstHUt(cMYUoM11#J|b^ z1X18OR{;Dsg~3Ncsk%Ft06l5l8D({c*?xiipD-p}JTCY+G*&!~P&|zRhw9d^95(R3 z$be}K*a+h;+-%&>DoA(X#tWSP$Gl=TEfE{w3{w=W78B+J?N!MOF~vNm4%~&njdj

QDI{Qn8Pn5kYV!bQUqQJk%82Pz5HAf!SZB6stgWA%Depm#bY$cf;lGuuxN=?VcQMAm+EwOo-+&h@UNtSlrvZvC`>frWXPA_!+Ou4nC(?x}EEry2Xs+EgOE zNS@9$f*AVB*K%UHA`X{rmF7KM8XD%RYfr+pCq)hpH6Ddi?2a$2yALukc+d&U9a!zN ziRDv#v-ztx(d3Y9u164%8<`rZv^Qz8HN&m&x(5H@V>r+(ls{s4`Nv8j3xqu9B!p;i zV*E1^pkL1++nfsE-Ms)aNK2PKLOJU=ZwB}w@+jC~ShRvPGlDn;q&_X5qXqVCEYjOF zOL}2>uZL>vgNJ`7E^`j4u)QF$O4mW$ClN28BwLij}fd*jkpTr zhoF2S-x4GWgXlNn#VkJ#=`X7P z7h?_nhwt+LFlGIVu?GKb%KE=)fc&yQ!2gB;0$<_=|Abhq@Q0n>U;YH>x{wPkk2?xE zA6Vd@MgP-oy?J#6GyHJ|i?DVPdI2l(78W`7urD6eT5m@9`(Od$V|u+71hnh#A+mxb z>^3EJ$-ReB`3dcd^z#T&W7^wR25gveKju4&4F{BCas`p+41B=e6gS`{O1bg&Tr zaF|HVA|DBhnVFig4jr31m-3f>#9rBao4n|V5cKZZ%fAFf2wp9hW~Em0`A~j~#t;HR zT{mB0cq}6dSBGfyzvwgBS%0vrU82;G9{VnSX2BqYB7my%>*tp}#6W>|HkMh;%i`%S zhHQz`w{$nZztS)c5&_cW@S4hmx?K~|d9++|VU%6OpCz&7Qp8Lo2B_QH8(9Po8Bx9* z=7D^|bGp*gj6JgbXdZceRzKDOA#R_7YyWQwyU2_Ubr(5I=ug)JA z!+!8e7U)K{ecEi+^)sj-5%DNt-Lu4V?;>RA3K9JAo5CP(&w9Xg6)Xu(72MY~-g8&W z{M$7IUIhvK)R%IxVJNc)*k28jn4kO}SC?;4kj|ntYei!kYvAYMz6CiO_j}@i1laFfG~ZzsRt? zep&~^BGk6(>A7|RGF{0qobbE)T}>%m`BCS0A$C1BNfmp%g-33KF@IA8#nZy%NMP1K zd}D5&|FCCRc-Ni3`oNhOPPpltc;mN(G50$PQseoP_{kn>Eq({X7XGWZ*PaGATXW6& zT$4U&41sovbxpeIqSy+GuHOG3l922C!1))@OTZhByO3)zs`vgi+`+j9I9b`(jsw*) z?kUI^YaAzh;~V+@!{PjZ0SwvB!O{I27T~BZUFe^xWdGdX!7~i+A@Ty)WGLdWLeJy^ zmH*haIB-89t<-I!I$N;1t`p9e(TkCSTFs%lBALsTgLxmzaxyxoVr_19L^zI@W6T?7 z)Ht#&jiu+!Deq9m61gc$`DUPE$$k8Mb9L$1Zosq#kao?XddHUcqM&50A{S~l7jrY1 zp}w@MfY9x}w-yY&w7O*5Gxp|b(L|~`?S-<@2Fh|d&L>AX;=6V;D zVUZ07LAj(-2E_yp0uFH8(nX)aWeNBBi_Jd$wHDb9nodeJLJJ3wbG$ zh$5^npZQ+`>-zT-8oih^pyfMi0Z=ruY&|V?a|LmNSPduKXg}%u(?lVSrPVl@lNO!? z{#tFXS7yUz%)zDfp@$p`{&PvgukV{DcBPK45kyq>P(`z~lY=LHBqvrit;BRy+ZBC1 z@8~aqLLpdB)2)CTs7-ezd$_)_A{3~wN$>aV2TY2IPDFm;U4I(rtJs>*m^XOGV#>V+ z<8*3>P-7_)<(c1xv2mh&ZGGz@;4ck|!hP{BQWbhJRaO0fZJ zD`2kQ$GO(1Z^#D}!d9v4_p$ZeZbRO(@QLD+BnM&&iJ>GWBL4mk_%B{<@)ESOet6Y% z;dAf%3{bm!-5 zPQSBw&l2XNY{QSJ|DctwL<&)WiNP6UhN=`y6f?up}P)4SSzo$3cwLO_E0Z#YWlaZDDpNRXFap zc5QJprQ9QjtNqTutJA(6Al(as$| zFqs2?tLpaxf*>miA(F*YiW!aS6nL_-Cckkt_vxi7dzkIqZt{mWD=dFjdM)sEr3%-B z-TA%XRmbjmQ=MBu#nloie3i3%o>FH~0R1@?n6}qF`1A%cBTEG7k!6IZdt7(^<)X@Y zDpbUMVzr0yu0~-g}^~x5$Ue4KN^tJjY@8sa2i&sMByvkX`{OGWs%=5OC z>>uN+h0t4c60nDnQlopld=!GzI`uv}5@#P?t@>;uWs!e94B>BnK5xU9^1>sHc0cp? zyeg0tPV0+AP0DfzC#oMqo{(aLcKp26U;5efFfG&;jDn}kCCli-SCwxxl`3y==GX3; zTdiAD`5@ZS+ZCri{PC^ch|%3>NBd5|Jbh!%0z8WH_#Pwo|tSkL=kY!5KCyyFY3E zM8+Awp8{X7MBHyT_z5!ix*1Oio4ra_Ct^WQ!J zugd=M4Smxp)ZJ5@LDXvc*!hfqPo^|{%YGFXd5WdbHusS$i>LLcz>q8)_uuRNk1~z| z+i&6iTmiW2*E8f8-sG+4b$jOtN6VK$(1RBTnl*Lgk;#<_$HK<&I1G4%T^%TXZU#4a zDD_TYa%cNsOTd%UJl*Lq@ONuLRW&HBD^;VWJd(>x{$&_|JObzL5?fCLpA7Pk(fYsPPgQkJ{h_jL|3*IpJA1#Oc zEtL4V#mjEe?7@u_A}G!P{A$U4rt?dH>f%&jPW+sV1%CZx7o1Lkv1+{gYc%D2(tw0A zD$@OL@Qy0>o^xG5lhrN0=&bu4PVv0ecytn>BLdjk#hVplUR8_dpr-V5Y`|ZGL;A*QQWjy*LF8VP*@or4t4 zFU;HTTIjUVUK>ENov<(qm`U^_xkqzHhMy1EB$nNAGPC%*IC8-}Qj^#rfuZc>SQc(t zxnh|$(lznX^n;LtbgYAdcRxiX|DssRs$Qnb||Zzu}&4jpe*#u-gfw{6{#bAl*uV@VPGbKS2JfJMcW1| ztWA$qgjRQcUF4T_@AHVUQNIK;E5L(^-ReX)n;HHH`FJI$d#ji!czmjI)0ryW2h3UcKZfVG8iW0Fa&+Pzb@N0IyYYQ}@PkUHue~s9 z=?f$3Vb1jRy#F?=f0u*2(7Mki{nPv8&y~`1TAX07XaY)H0#6l>XkJRHSc5~DX)@Qs zic%;^j9!e)5zE{n`HBr`P^Sl1I84=w!xwLke6ZuIz#Mi^EP3g&E``OH`7hSW10x6J zglkDcuGgOEca5Ns3xf+$-RuAxmM>f(Z{iR5P4`3gSYsWoi$_1wM z7HO{4YU(4CdNSrv*_)^biKu3fXq==lH<0(?G2r7$=fWpDcCDSUid>-lgfAv~y((b#^ma0(B8mBeL^-=`A)T+%LME&lP@vv}k9 zI7{q8krK@4kKs=PckPC}xQXS~@7BloCFT^>LmR&-Cs3~&(*sMJ#h5L5BCO7L#aU%4 zxv;rE8$Jy5{{gaPzE-00*#uyD!*@#B>1P`n#`0` zLH9@brXTh1LAnQ*Mh2X8$*bgi)o@jhZddw!=I`u7=e(&Q$U9GzMf4pdkw)Y06L3M@ z$b&X0aLnps?=ri)fxEO3jdiwd7-od6n^UW1Q`G>}N=Z9FtZxgeqaCUhkdyviV$`NG zJ0s-vB>;(gVdtLa(yyMN9?f_s{UgO*icGwbMRSo_BA+#%gn>ytw_tw1YvzD*InSfLZYKl-`9wMzh91JDTI5tsF2{SCOaV+@| z{RP1jm8uk%_d9ZaSiX7XLGgrn)T3GI=?(*&s5@S6cQM_*7YKYOmHqzO8f2a1UPaAy zL}MLakRZJOjJX>VDU)gq&Ns8vKZ#T{TkqY_#yOJU9}LcueNs!CKu6XdmV<2 z&0>Jht7Ci5_q>T2hGlIlcFD$s1-Z}88O4=|c`@_t_Id13f zVka@vui zPTv+u^L~BZy7UnJ)UMBq`wo+4KQxoTihGmit&-n(gVH7@`A*IOgc1xfG|!Ws1^Psu zl+ip9z9EtF`AaK>VZJ4bTvRhRERropM-h!8)_z<)*4U92wceR`ehvyaMW}j+^^L*$ zS~Q#{CbynY_BpTPTibbiiEGZc1~5VM1ccv6?QYl{2$6-0>&)H^dH0YcgFJ9RaeQ^C zR$zNVGh$ay3~RZW^DQVg${f^QZ`Xp1S&@jb>A$yJEoYx6?P!nb@6bgs#ihyP?)vQI z?oAlg#4Ciu{Mg2rIm=T5o%X^HePVuk)C*`dEy}0&-W-2Np8Sio)So==Zz@$|vSH64 zjm2+z-^G`L`?pBFz%dz@LriIxr{r@{wvav#(rco1QkvOF~8RG6LI!f}_& zsg>SCG7*iP+c!SLqKut`c|v#sC8+4>%DVYcWaQDI(&*%~qVXO=QF^Q1LBCr9@|N9> zqYK+*{%i^Beh=2{(>(IRlyM|QHYTul`UT=FbaalhTbov9@!1GnZ#*mR$nf}dbHpyJ zF8>GDevbtRYy$Q5$>n)k%`)~m<13|_&~(Us&AfrKC@sk*j{*6w=yMRsbeEWg^udzW zfeki%tK68?snZcgJd9iVsPgr5+ld%s{(B=f)fyacaKDPH`LO#>cb{>LDt}OMi?sgw z<1-^LTNTH>wQ*{kwm4b)nuc*&rX52-6DYnSj^Umwc_duip~&zioUVbpZ9G;VC_-sM zcN*Ue>~gye94t;fDvWI=h_7(A?z#l9)K%$(Gje}?APRX6)VCx6Hwunt zk0v;j_gdUM%~D?7;E>9NqL^v-BR=hT<<5jWik#@HBZ4S@s`y=LLI(b!?lG~TJ14e# zRxq+aAfu3t!LKmefsUUs@IWajl_X_1@y<8;jg9n*NW2J&icsmN zm~*z-(E{5z3dhO^t!9-+@0ngJ*kx!3F=~NyYyuYLrILVJL*tE3A+EL7Jnmtg9m+B* z%Cr;>^Ep}cMx07htZwWdVZpc*L?&L`r*whUJJ6;T?#HlbqoUFzyLrCq4D`HjW0-JK zggk>YNA+~5%y?Fsm`T&8zBQBH50wG!Jn)U(ovH%j<3x<~Y@O9g$2V`Q>!773%amZW zd_w1d=E9k|CeFnvwP~66yu8~3#E_vc=X5hQd?h?q!muI2@w4T~S@(dCSj>!1gWZ5z zcyQ%9Ai}G5kN%5Pc*`U)-V=fMS#~syo!kk3mM9TT5&Y56pWcCj72W?uP?IN7705W zMWEz+)GQ;~OYM+^-8S!!ykcg{+48pD($|BIgUoA1wQ37>HYU{)*TJvo8Wm_}e; zJVmhxX^H_>-i1`N*WdG?K?wy#Q>V{Gtyac@@^eh0oL;epay@)XPWI!+c0Iu&YY285 zM!<`^+ly6{9WKLeS~RMS!9vr0m7E7!HeZ??ojmIw6N$U1a-e(sYtz^D14M-d1=|=20ubjm}M5Y>fH-HMAB2P-O}_6B|qSsMZ}v zKiIYa>OCe`OMQd0+I}X>R6R;1@BxoX9I<@D(R;Mhq0|`YNA6StBgpLL40@P&$$2~X zUZB%KzSJe~^*etAW8AFXoz({q`otHiKj1}TZ-h3b^Vmrih+Dm|oZ&NQv1iMR_-gwh zz~~c&PAX&{aW4_02t0!0jkPr%x~eeZ<~b{Gc1ZO$x3~9zW3xEhP{hngqHp{7${ zv&^nqbG(Wlh=U)vR=Vs+D4`IILFk1PhMtHIPO0^jL0QbayBD)&RMfrWH!Zb<61A2t z3|fjWVA}`+f$9csjmI?DqWyC2Tj*6cRn44TKx4Ctyrqy}wx z6?VxKUkP#b;N`eQ`IpF0F0Bt&`cNFV1>vL`pZcPZ25I%f!`C#*o~{hrX^UYHzF3ee zUlkw#ns!Lvl&p2#*koXmE-I@-tDTZ~Au;au*$WRIo<oYkd0I)BVf(W7(f&J~6GAec1ZqScP#bSV)_TXk=ur0E^lHT#FL!LM~)w2G)f+e43 zE5?@@#)Mw;IEE45xXx)WfpdCH^sUj0B+7Hp)Mk{jTVTt7q901AquRx|K5zc;m7s~3 zNJGPn7c0WMB=b}6L8H3LzIBHxJJKkeTsp#UTD-;FAx*%*)UAH&{g7MgBhw-a+RckL zG7W{%c)>#CNjTqC7z9)c2W47EtRL7Ex4-z9$%(-o7}hgjCx~nIn`?yz%$G`G$$EuA zCa$#6r8?lq!$3JOF+C}6bBlA5tVJ&IfWNVLomVe$)mhroGPA`LtRnL7jXbqR6z~O1 zUF;jb5c6vl+%Zq=X8rP-5L^T+Suc*IE&IFIHgT!?8Z_!H%>Y)Vwr3)7Fh?M;0J9s zR$zulv?`a#i3WvLkA1LxpuO7S&X!+Z2Wr8*Oa{74?g+|SQNB4CPu<5BkYZ(MPXW0J zheq?VC{@(N%ZO2>y$4kc%&Z@`yCYb4G9pOQH%K}iFutkTab8#&%ss2oyX&HA)@%Gm zPTIF3LRbvJtRCrMt5Q5LTj`%>pQApy`k?gw1g(zFQdit<1KO_0JOo?{)pPPYBPkP8#aG+W*#iFe8 zm8PaJFp?4pW9h&#jxGX6HR6$eYcIR;TK$(Hv-aAQ+A zlDzf6z?{*(2x<*rb(dIw+?zCrM2p2!o;yp2ufyJLAxFuzPOX0Wy}k|3u7B7_u~#=7c=z17581WXuiePy#edIYH08yDWSXM zw@_E@edO}wD0HcZc-fHOJDj-~#A64`h;IN{A&3;>LF4Z?`YJEfWZtRwZL*&Eg&D-L zGY5LryBiS{+T0!owM1`Vsj}WeUGriVB=XCcsaSU`ca#y3E*&I0qaEuo=b`;Fex#$} z_cR#u6mx;ImF)o=s+WM}8C3%A*z3Bd zZBrcU-5geHfjcq45?LP;WG1VR09_9>E#X%^I9rftu@4ynOG~s|tymfO#~epl*?U{o zLTwua$;qb*e%-8B8OTp9>Swez@R3~bXE*X^qwgO10dUO^W>X`+|6Yxl){#6em#ZmF znZkWCjBXl+ame-1tNzB*;J6${4@Ou=qbK$DIy>$w5%flBtiq=#K_l#g0$l4zp^k>!M9Rx%SY z*`bA@6FTX|GdUYd>Xz@AduTUHY2`Zns4Oyx!NP=v=S4L``vUJGPj%A6GV@c5C9V4y zik}4H(i>?z&iG+Izo6@D6y65pF5iyA- zc!+izkTo4PYy>TZq7cP?>z5|qf@di|ykAAY>w2YWl9hApE~P`N(7Ux1Im(;kUPaA& zJSl!#0_mQ2FlL6u27E;LzmuvCoEw_MgR$wjtW14+BfFka(7z2QZfmC@U*M#gV9W#rZy> zLj;Mc%uk2kJJzu5DfZ9yGdP?)Z;yA0)F326F96&I_3&Nv~#7#S7=i-^!-D94t}orowhCqI8Jz+v8qc^)Nf^l`8LfS zi3a}#c&qz6vfG(zr)pc?NXyt1_yOq^9g)_AtNq3il99b;1Wxl{&1YS!&K)5V;jM_q z!1yEABltBSwhAFq*2LxncK2F}{V2Fjsup<@XVoP{vha0#ISGV<{ON9mlmQL=uvrS zZd#=%V*F_ipUB}xF)!*&jkH*0U97TRwD7oQ>B7s#)KC{*Q}Q<}I#6tcW-ZZz9`zrd#*wZ2Rb4~;#~QDmKj8!59gnM zECRe@rm`#JIyB5VqRd#n3+^JUsz|~jETZWpS(&i?@rk91;(r_@Vkk9)HfOl7@F{(Z zT-{wESe!|b@9X>u33iJg=@L)3;5Mpd)4-J+EZGp-o%|T^KAdwwWyucV1H(A0xziN+ zb}q{E(tg9il6@2QzP$Ek3JY1MFV;0~A>bvTV3oQy%+LB|*by%&__3dQP_-iR8TZ^m z8|Q>16(^CtJhGhkxmb*|Z&E3@Y{4s4Nz7;~lRmNzNYm}9ZQr<&x}gKh04{p?T>^2x zF`;+zi9Ve?52!Mr>f2(`t|`a5ggnQuV|~NLXv*0U48$LX^;OaWb2FDfc#Xh?H~0<~ zq`9)`h(^bb=ICmJ_~aW_J3LZY#y~u6s^F_RR0;DG%{*Q(%JvMV&)H)C-LZwvU{9jo z5g%u(WKB9l!Pk67?V%gGKhQP|#kZj->t)S)H&y_74N2+=vzdB+8XvIfkwe~yJSFUH- zHJv^EmvMo3y(5hBZVnQ+i%m0xZRy#L$y=5?tC8DL0UOLK(V(k67kq}x^&2!FWE2W`WqG@AEWkD74TRwUuHFdOdxT~74 zOZ(yc9!b&RVJ8J{No9;AwRTt?O`~tTEzy)c1)r@9@jD? z_6`k+Pu0CPIg4>-PO7VIKG#+HY-B zJBt2gJYTOZlnah%`6Pd+VIOix&raW29Sfz))SHm%B60CyCT+tzy9GU;G+bEn^|KB1R{SRfK+^J7<*;E6Kw~>%JdokjF0$VySN$%EZ64TCG7q z38u{*v(8C!@n2KyT~~w+9a8sM8gd5prVy%lTivIz0%}>437V5rJ%b;tw3qD~TH{b_iO^mO`lhvA|nQJ~r!)nC#JhX2+ zDU4^q?T?QLq55z@XGLv^(yYn%bq1**jVThD`=jceDqGS#>k$`S$=8_t5wE9oHnv^! zwe@FBd5T-Li7*?B`lW|8TlnBXyr~VgNrqN3f!3dhwZ+RQ5=5rF7*@Gk3PAT+8QKo< zDrtB3HAGuYi8t%`-9NY?!OU>>-LX;{Cs(11IYvdWfJVM*1Vamc>$V)nYfN;^rC+8- z0=~4rm=Or7*pB|NBAI%F(|3I@`|57?RYD<~`_!kEa7X+RU5Z67vMN53eFKiW?sh)J zBUL+DU8}*iFv`yiG`zJ_j*oP&M>AvY{U(Q*+7pdQ9ftfAqQ1NmF|peSZT0D^y5s|F zJgB)2K`1I(Rldx*WloEDb0|K|AsK0aQXj8QmIVQSfVm+$2SLqbl_W(J`ZK#^X5o!s zS&3yj*=emI#ltnR+R|bjWld;TYG~w>uHYv^4}IXbHTW`*K^9`hImvhrMjhS8sgCus zdxEH8dUiIq!dt z@CzG;Z1Ag2)1i({@dkV73^|85A@{k|ed zRZPcQS6lkKvqFRmMzg#y*1&@oDuc{x;}p(49!s0<>Sbuoo_9J59aFdzW2H`=2yZ?a z*K`3cp51Zp5GdC*Lqjn%rcqO5zhQu8cFK#;h%I zMCBEAuzovN8#Xfh?$vj-RUqc+oiq3>Rxw`wn-r}%>JRb znbLUbb_RH-(YS>AwB#y#*K>&dupcf0o|Ue zJynfN=BJSG%AanzALGz=tTV5?pmuK9*PqRjE=A|)y#kUW;W+OHF=uyv0dR>XkMuUb z&p|t<&uBR3R+;(jeMJU@^ILGrH#PQG#Q`Kro}shaMq}SIA*y;$~8yau&}iMNuYCzAB&RvJwgtNMkg?h2^$u;snXi-?KzT5IPA|DM$DfF^~z?yRR~Sb&P$r^wdm6v?)xU` zXRO?rLj78EGbIX^Mrno^IfF)!0KhEnyJp&S|)zNm~-9 z$a<_$?|@f(4Sh;M1!I%(0dIiRzF8@|SVmDmClme>I?u(dL3hkRZYBJG_nKTOl1Q+lau=g=AcepFU!h zH0pPm&S^T+Lw~rv^c=3%8ZY5|w1aRv(i)}^RzZTLy zjO@u>AtK~Bl~IzUZ=$fK6V@0#>T))d72a_*Va{I#6(HmcM*H!vq=EEk`2kKESs z$+e5y+GHh#R<{Ic+D^Myj82Jin3N@}57oX!kn%Y4w$%xZ^eGr`rd@oD-olGE4|r#eKG&z%3njfx z)79oM5RZSF$N(Fo@jP%QZ zOMl%=i{o0L6#J5~N7NWn5AG{6&BaW@?dz!(>JsP+nZj{LJ3fKhG)DWjX5lM)2@t6| zqC$zF->enuv4Pu6FKyf!S7eUcSd@D?N60#XZ*NqoWZmo6KXj$Ko@I-nbt3ra>N#Y^ zQYKXLi2SEVFP`-pPMYJV6is&sFsT6^CdRfrc38N<#q4u6ykJfVU_APHa6oJI>xkUm zE)1(pLw_+fw2O}$!h94p4~F>WJAMwp(hyneqz$4Xw$lb~Iufu($}?|sp~K|I(L=0C zYnXR;<_Al6{Ihj3k|F*ntl4rKBxIx7-TTdsplf~NQ^U3ysgVaAIdxCR?*MHN_v$X` zjg;)FM~W{DZ>|=BHG8!W1xHPf^Z|c|nF7Ps$j+85GXaWfXPG@2cUA)uUqZuzkZ<$HUM;?m6jz?LgVcP8l8> zVk(6VE|ho3%QZ1pnA2WLNWQC9US?#+BRRaeLX`}(P~4g$MjsGk_A$q3viA2EcRv4H zW2HcI;|qjW&xZju-gY^ANp+5BnM6#q;5w1F0{0tG2%em_0UTWvj z4KY+HBGeA#HW0ePPdj>HOkDg^N?@h)nQzLuk0-mq5;cLbubU|H4{mK^r3iL^o3h=A zw6-0WCwW!Gj+azxrw>`YvJ2Jtz!erbIGGb98|Q2JLNg-7N^!w_q(2_2GMv)7@~6Yz z=5)dU(M&LJ09XhN#yL)%<~?5KrZaO&pE1m29;a1Z=2p$HP%Iv`5Y8W@(PX!fJ8s zQTm58UL6m1wD;e=*^n0QqI1%#aAD4V&rD-ssYTSE4VXun_5K6$yTJ{1!J@~<{{h`F zm7M@CGSet9Yw+94l80VgL3Xospw~wKadzrk{D48-uZ^c@;Nw4J)Y?DHvR=i5^5Zx0 zD<#?ubsjfAsurYruFQ%lc1jD~1VMJHR;OQGn2E8^F>MCv(ag!zh6GXs1yvUnPbLA; z(6OM#X0X>W!SZ$L;*+SLE$q^l^x@^5TBuU;3-}OOe3pWq5uq=qwn`-OS-y*JN`Rf! z|CPv3RyG~&Qs?JGK{f~)URD3IbL&kRah;uCmBsE?3*n^&kV7KjFUJbG!Br#aPG9ry z-Pz{-K0xq*@S{Xl$ZKz{;|Bh};$|ugSbA+7`h(L)sag>pX91rR?Zed3(9&$sQRRPT zaUY7OE06=s3hLUx%>-k%1u^L7qFJJ&+#nt%XflJ{B$Zo^FqOOx5zX@=%bfYe9!^fA zbjW|KHPhl6GkLIr(~CzX92!cuMe4T7_@jSO3`B*VFz$d=x>my|C#YafGgY4RmRCQX zOA@!Xx~51Wvvoihjo;(YU!#9GtaGa$zxTG?U55RHCkggu1qQV1kU-kVeh z{gP+llXh6QZcpeYv@%5q~8IG8dPhR#&{V*YvlX(rQ@les~yNH#q(kpS;D%;A2XV%Qqz4OAHz6MGg@3 zsBb&L^6`*^?yO$i24Ry<2p84MB5YKaGgmwVD&DmBvLA{Sj ze#;AAY?;Z}DkI)g46Xr4n|7o4zxiT$WQa{T97cRAoB_aJK6B8Y(o!&T}iN-ls z1TMdx!#ZZQc>D~uU&nI*Pea(Qd%p%e+foEKWIUrQ8}%P)!?TvH0$QF>DwiN>~6U7Cu*YHOj$4P%wcrPQCoWHTGiH*&Nx^_!9$zC98I4CCiEzdKuB> zEf}+OW1|eu%T+>ot8TCFe_h7w{OYV-Z#b?)bGQn~end20u9>Dpq?!wNg8+pC=@707 z^AFboz?!()=Wi+TALVw2wH^zl=dHRzDAmO_+dp+-lAiSo9NgH(aam~n7HVA-aak0FIT&IVx_qA%C=P$VAQ*xD#X+{RTmsQ|6b;05POYL1o%mH zIUP%Gno>az#^t{RNp%Lss-Vj4+Aj$;n~|3vEOhNNi?77F)69#*UAhmPqE^nDV z*Z+SlGWGq+e?a@UBf+yre;mv4|CfG0h1UpcOT60hpO4nG(D8SOhV zrm8<%hKU)0)SPA0w{i|?Sy6K*`5GChaV$5LSuI_R^tK#pe44>doc!=)m*pYCSr;D6bZ3=e>m%Y92xen}xy=y0>WX@mn-) zrN)(-)p9xEK16Umu8w1|DfBqxAZbqZSX3DGU+=T9^>=fZbVKM;Q2_tICe@HGDPJ1T z>8;kxVCu30)eGb^&*eT>T4%+oH{0y-qj}(6O)L4o;Q>y*_JrRvaeR3FSBYy(6tkg{~+INmBpiK8oy> zAr2USypGMCTBdAjYiXadN6eg!Xw!y7OwQoq{CGI~Zh`d!)}?2W;@t0$YTWoW!TW8UK)b8(i6IQt3lb1g0q!}0NZcq@C3WbZ)X z6{w6=q!NDtXiZVUaiLUFn4Cx{6#3&`=;r&-EwNMb-K?V>x{2ri@=@wUgHVZV71M(s zhVwtdy(G@fFUKk_7xcofKtw_{NdNp6a8u*I@mkK9cI^=Q7S6q~Q?EBL)$A!9B048W z90jq*zGmy1+L|Nb!ijRM7Ng_k{##a@r$&JmN7)txSrg$E z#)xi&qyl{?n8}`40f5sKW3O0f&-)iOTJPTvX^RnMiBzj@$-Thj_qw-QK25nZ>Nj6e z+yDIs3G<#deMQ%IjwrKM?%nDPhZeBKkr!pDAMt&QlnHg#`@VSt{?E767Jp1H*Q!Q8 z-R0_ua+Hae?vX(y(~f@2SLwRnPH|rSZk{g*GZvhD5koVHYP$!#c<1S*9XOw7^&RjT z$n~B!d0URzmJPjiO#bTishVn-ZcCN~y5X3`9Z0dk)Y7TzMPF*QpG@buk zZ3z)mF@0FBXR@IYl;HBgP|%rk((Nlyaq0Uw0}lw;%+*Pjo4}Mu5%O0r~cX~6J7{b@Sz^&{sL+i~AVcp!`q^c^7GDji0N3a% ztGE~!MD|Q%PbU1X5y#NO94GMOD-a76g7rO*0<O{gS+Xgza!W*XDi` zbsQw>d%=gbW@a$Hlc4jK=L%9%N!idiL|pFfn!CfeZqJ}}wB($Yh1Rw{=D8U<>dC=4 zW;mX2isouKU%0-u4HapXc&J4zFi|l*sQl=m+h%Vxp+&kWQos9-Mp9BJ5s3a1f_5!s)tdA}PU6g(c}3Tyir66ZAg56uwHMDL?1B&zwgoVSxBP#V( z-^Hut=D_YYhwMNV5NWT87YFdXC)P}Srh|9;;0jcDN@is>_}I2FG)i(jSyKDc`SNQm zB7gslZ8o5UCQe=>3=xmzDd0LM;BLxg>pw%4aGHb>$dI52xE!W-%57bifX@DQHBoSK z5O-NwzL#%WCGas!^M&Xo%J!!AqWv6?1ea%@f*5X(K70*>eov5lGlW%cnpD8pYW|8g~&=kBLq^kPg1^N3G@Q+gd{o((?GvFU4 z`Tw|i5b%H9;6Jnn{7uFG;o<+zGvj(&pr*b{;YK0AtvLut@n6qdKr(;WOiTdT1KJGrn`bd5vXv$YbEq5D1*+ZEhi^)mMDy*u-~Tja#iD{lD%fuM!Z=7PKT z1glr69s04SUnCB|zJcA#iX9$kSg>o1p`ggT-z}YTXqRjg3|W|8*FkI{Dl`#8cMs#s z{AsLT#9h2d+)7-O%aFYUGUSfs_L5Nh#c)6hVmJu6qv!6jS0L?)Q#B49uHP=SD}wvG z^{zK+hmW^#6hwbd#O@;J?jjeCBJHZaW`AGxGjiW0AR@lE9L}Q8-_o3mgyp}fypXwk zihW7muIhA&Ey#3EBTb)Di7B5FNDulgAx_7^EyeA6@&#~GJ^=4h*jv5OJ+3}A9jv!& z$veI{3R-bc1s_4^XG#_5eJWZ20i&-1%-51jIr(wy`2c#>D_glTJ8kZ4VBV7*EC7_Q za!gK38u<~-T75z_L8=S+pbgxDYQ<64)P*js`R;9pFw1rMqG+}arR#L28BOV5&Q(8lfA{ns^Icr zEtm(lj}KsBG@5W=WUOhmIKH?7-9t)T)IGLguwH z{5~iDttkQi_vYlkH6@hrIpLZVujE?~VHn2fJu5uSe{0#a$*?lynJz?>)34GQ09B&o zq>&g`>d%4U*e5NS6qID9DrYqgJzBB!)%LlN9V$O6IiR!K>ABtTUB+u^6bCr{;tKv(LYg_BbISBl|MUueJIj z=}_`yFK?74Uvqk#m@OcMiQdSMt{-?6POq@ng{*-z){Z(*%7vl2H+{SjZcgOe#SG%H z6GWuxReUB%9&)0z84DVNN-$6Wf7|DyfFjus|BZb<3NP5Vx5wiLT7BgeXgP6R=Z}4U z`H=1Ow#*6eP^&ue((SU;Co95cvAuCVwBgzmz|{`W{4Y&`$4hFxme2tj7sE zEj8l!1RyeYsqIyj0|5aHMuA*t7R}B zd7{Cf<4H;&v(6OrGcp6hJvg{)cx?p~Z%djk#UG^_5l<)1)agKxj@|g~v}vQGAGc`c z^GJ+ro7D`&AMzHwOd{wuf0w#(qBv<3{)Rh#%0b6(>2i5p_O=t;1OU>*q}><2Bd~_v zg@P^k)GChIO(q1IE?cKVo4E4 zHSPYw4jA zqqiI%dFVdjyM?+=;`8?K&r`vqD(frH`i=38r>~o%zbURvH3Xxr1e@nWre}o@WZ0wh zveuQjzU1XTV826PB45#QhQ|D6qj=ZQX@kpoXRkHhDQ1GSEGDXcdzR~ zi-qYx-Sz;FgKYiqsdl6AP(V8Sy0xLQu1kYc0rvs$lgw=Ae;9sfO0FDpcDd!e@LbA| z=a-3{u}`gP#T0I`p(S#w=h=IO4wQ$u5}Oas07l_{k<7i+NPl)V1!b?B{LO7X^?z9e z_@^>B-MC0Zs8?hp_}6`q=iiH%BOEB*lr^8c0`2!6!lA{BpSjeZ zFM9tcRREelU;Urd@jt0T;BTY-=b;SJ{P4M0yfpk{@ZjQm>>r7vKm7;Y7UY5BPMZ##KI#HG+?H=wmjmU)dOquEKNTxA+sdt1rxL_w-ZlPD<^2?P+fw!GaRB2IIOF$===)WCxm#}n>GK_a2ddY3B%9xRoOeNfDMWr*MZUoFw0iaY z_Gab|9KtGIL)d!%J={Juk!+y-sb145T2K8KG2m^s7>?S*&Y!L`@Rtv*H3%#`#GgM8 zhL3l(e(&D<-AnN*w4a;Zy)0{BI20x;4_{ij|ebahTl!7xQr7M4Ms zrUby(eunXND^q34#}EyQ5l7g|y}hq8T3MyIQo2aCStEPCjmQbNg;NJ$t4HpB0jXLo z@O7iB(`{>9#Y7=mJr-?{P|@>vXygz_oz-EWtUhBcI`~%1(8d;lAk`)lq4)ePFY9m1 zfyJ}k?DMjNOFuN^N~W}>92na=Q~7%O59Z3~lQ8XnNY>O1ur8SQO;5gv_(*L~ni~9C zJ%B{t+hKy)QU|kV(}`*7>CzV=Av4K&En_FZP2`#bvs_ml`&Eq@l|k;X8?w%V4m^jv`T!gkb|G z&FW_2$$qxnD+_)BRfO=dC4pPkZ`)N*dV1!xSNi5Bj0u}Q$LvJ-jxD;J$tw~GlDlap z^=3@6Dc;Nz#i-mH5$;Z0LeQ7Iia^`RAYN6JPtKH9&6&xk0pdvInUbPel2B1GXI!5- z9n0;PKX5~0kR2>t_6WXXN8EoJRLm`aAWE_onyV34>(Hth*nyYGAOlw1jnI7b$X1A8 zezzOqiZbqDbEkpUHwjycy0E$F*8Pu>1Q!5NN70a=>i)@_mgS6~8bLu;JnL~d2ryCxH^sW zskU~ZKBKtq`DG6S+i<&_12Wa8N_XopUxWZi_^p$kTedIVRes1C$qgEt3|S*<`VQX7 z)Cqd7Rq@;u>F(>-9i+YPBlRT_M>6Ie3RXpTXcgT&YjQ4l^b<1#Mz~Xx)}XT4Pt5Gh z%lKnZ9M}sZ1hd2^La;zayp3rb87Z;vsDkCq&_INlO7{&%;kyl5p~@x@x|55GWj_LC z7Lf!T>gWeeYZ7HE2e&rA4{uVtu_!vv>8oLWTpuI}y{vUq`RdvvH)5SRuvH>puDdlL z5hhFh+SwSP95u@z%aKDXq}m zXC;GF_UnlHl?0Q`5pqki4)gN6TPTjQ%n2tz1=ZQ8OnL{v8uwt$R_xYnZw!fSr34*; z$P4*fo%7p{I?}RwEo%41G$tiHO~AM{E+5U!jQ3qqLH4L!D3WbLJK)bL-h8B}FYDr3 z9Ka4MsbX){VM*oe;@uoJQx&JiS!lev4*O)cz?Nj>#Wl5;eNm7nrlPmiOYh9T+g$yK zJ^Y3IRfxw@83Po^hF%PwXMv!Nf)AkHg0}(OEyE`kkC9G@>q{LX|J}t^{EtksatUy9 z0GzD=VKB7q%pIz-#4mnsQWrBLpPg{;0`#Q3mrtvR{&YSyMo%OQb|T^MV}XH}TngwFKc%Pw{F*-yWD`{vX?+{op(~;ZyV-wB(m&5v)cr-SpE2I$SO|XAI$xP_ z3SL!|x-6{Ah|?qthUyDY$_SPoWGaYa?2Qhjmj$EyhfJ4r#!g%qoXH>EsucN|R=kWml(p_Ol~~&~5>80eEjdxPez+rg*cS zUdtquL8SU@a3!z%c3Oa7*{KKFq0Co3=|1R%mM4ZnZU8&+AA`z}gwhF;0Z6Y(4^rVJ zoNy3WO3YpCR;TlBWSdfYDe@&xS?H@4`b~$(uE&?zFKKkcdrMsR)Z#!M>3@1f{U25% z>pCn-;ZO;D%(j4H$&dkQrpk(4q6!_-uoCwc2R5wRRhH)G|_J0U8?IdAlT&qtE4>T2*06=8=El>jfD_?0x zoElrV0@u0aN57l&>pb_tU)tOIHym7-*bp)fprQS#y4N`N7mu2^eon1+BK<)@%$_9q z540!sD|4&%Po>qq{EbJgBEK{IY!=OL`9l3{=od?Ot;o4zI4WU30q8IM32kJi1OBn6 zXg7+e%*9oH)^w1(ao2trM?oVNck2ca8vaCwWe>OD6+MOn@jr3+b^a%Y;+8vv9B_#j zNL|9}{IZ6dW8jZog#89TuhA!BOTq3Xu3_#t<`sy1R+W)#5%wmKKJ5{7nw$h`NkI#s zHSX#rXMS6?z_{=~^3iUmdecQ=#Pq}6XtdNujbpA_V6kSvsrs&w3vC=#beYmVKmVp- zU7FErQG$DxQmmo57SUcaS3fUU zsT>{Drr_e#UiuUJ|565&>EGdp#@Sz7z02Uq{Rz3*C)$_kaIXChfVIH%yQ2~hybZhp z-BE;lJkLJ-<*jl5blu7`u0ZWi+1gHt;P~Y)S7r3sEPvLkhrb+?*km{bs486ASIz|$ z;Z6`w31o=)o1Vc(rha2cR6O+N&ly{uO_qLE=6KOx0m6(~%E&1fSw|i4tq}6rWLqim zOuxWOPRVb759NDG3MG9?%Is9(YG(#>{HqS@8Cl zU;uL1Q~)yM!4XB`qA2F@L9Mta9s%ctCK&uxpU{kgCsswWX*o+sR^-cgN$j>?o)d#S zbMeDzRM}4H2%!MNe9|qvRSej6b5>dr6*x~mMS#t&0wB2p@oyhI&SZUW87q@IMrjog zws7wbYQi$b^0YT6Q~O~&Hz}dW5FD8zkUJvK$L)DlHG}owMry)*Sx)jMLOO_-RmH9u+l~ z;dc)#%Ryj>m207PZ{uK-UkefCG`-Gs0qNxP8(LJ-I)g+@sKm}ubP{vZ%X0H^!#bl5 zrq0b0gC}Ox-_gIDAqoEU@PA@s5x2{>b%||}u^SWrx2szoi5weHGiz?1y?pzse=vc- ze`o_8bRBXT=C4FOi%e(nC+&bQ@Hd_8K%Px@#$ehNNPR|07KZ-iFKC4F6DL94S?S@i zrWbI(=P#B4o`?Hk@Vx-z7mOGHa&3}xxa?@*#gwT3vK>E7M;GKmFcq!DL!Z^>E_bY+{nLg7Hx&FLhwl$@-Lu*-E(^U<3Y6Qk;B6|(LuEzi0Q+g? zH+!TKVk0oC^jaNZ4Z#UlaqZmvsRkD+Qla(i0^wmU8=}kr&awG{6lE4($%t2J-`Uhe znnF^ARuHwiH3a!!U<}VpooTrjcRMD zbmk&r4S7vDt}8yFm}5v|afO#$K=tf8W3Is8j#~UzLD&CQfDazuyU{31%NzJ`6IoG731n=)MhQ@R;c9FZYhVN`UGwK; zzT3hc^Mm$1#=&z0*74UE5C1UH;R^5<(vp7e$Gg_+N8J6SsjaKzlv!3`He);V*kgde!?KDOoVAq43gIp^ zc~}DI^AD8^mv?fVo@tgRY(J|jFZCO7TYTOBuv)RNU9xo)=|t|?VG?@%-II{*W<<3p z3>r!?LT>)d@fh_h(B0QWn<4?Q)0pQkfjgj0q4kKqgNf5~^{TFM?3J)5nQIojxLWAy~Tzvw?zCyrmFPfP7P{~?zp1nMz!#-|58<@e#z6C?#Xp!@p6l*t zU#2~&|KPIgXR$`>FOf5`bL4 z7@P|)qY_5^`+aDdf-uxi0Z%bEjQ^BrAFC&O^SWrh==+6&P7%iI;1l#;3lVN9*-wM_ zF*9pOR+LTNm%^jgM!T~K4i=TLV=QcEQ*_EY~QQXxyy>kcT7bk-T1O32-i zsy}CD{bKgC|7K>m*^VU^uko~om)=L0ZIxp-xExhkRlM{*xNNE%6~LdW!r}GbhVbXm zl$P63)fN?W?}bd|v|iVj1Bc{3H-d3e zU5xG`f3&);T6W!e6>F7Oje8*pA0%v}nr|BU7gGR@R*->9{XW3Yt@qf=V8|tRView; zoX0t*@ApDdOLcF0`y%k&zm$)n{LSqcDh7EZq3y{j!AgA{?cWe@+@ z|9ZM9&6Zlqi z^He6!0xB~|+Tca=CGZ)N%{eszygj;nxJ%h%XWPX)T{o{A6_p=AX5r=s; z+Z>T6uoMTO!t;FkeWF#_HjmPc-LsI8T#@nkh_ilwScFQVFj4V!68{(6&K}p2wYVQdFv0R^kFnM4 zAatK=7=C9fL7uH`nOK*>G1+na7~3P@goICO9f=ZQJo73@@vBYz%? z`Fa0EI30Sp-H*Z^_t}so3|~O;A&$83m4H`1rUg~wK|{fcbOX;VW7ayp?^;clKh0D$TA;~6_DCz{5M zh>V2ZR4&%15#F!p`LoLOJRMT}=k>#8@;l$OI&9a;r%l9|MSBV7-X|3^_sik!-@`Oo zUYGgLdI+{T^k0?z!8u)cS#mNL%iX)xOR#1RQO7ok1v3ivu97dA->5-SkwC%sbIV%w zD896|v%*jZgv?u*(px7V3eKpv!J3gP3~Vp`FT$u z`8PTJS)YWM%5Z*9xEX2JdM(-9UE2rwt0wA0`(yaXKUB7Xe-`j>FG~HC;!jDz=bz>$ z8P`J6zkH$5Tba!vk_NPz9S(>a&nprp{nx7)G`R(xY3`5>{d>yS+IHg%s)&`xsFSoc_PQr>oJpL< z%1)-`{mr}$1x3WLO_Fc3?LWYYxwdx$_c`?MeQc*gKI=m+fi~X9fp*_V1#n4r#2jp> zAG8)dWBlM~7uG3$o2r5`EybI?#0F!PA2rr-Lg|4tuFkYtWMIB?{xY>MA+JJ1FJh_r z-(z)X^mzr?mS2-koR8(Htphn0eWrTRMA+#OWkqxbxwO7k%P^(KdT@W^_ocGvAeC%f zAdAVpuQvh60zyI7vdw5P$_;&x^{08%9j;}5`NEx^^4Si^HY@|&jsa&%qS-6=)wj{% zXN&C;pXi`pQdbNf_F`Y8$g%gnEDcmo9!Kr!lp<_(<6Rde#mqdqtuOmbUgev<=BzQJ z+y`g&D3HUkhX1^3a;(5Rs#w}7l0edzkHf^pY>9v&VFqZUOKk9TrVVAUrLNX}D_kRS zlFe7k6eRnrs%)>sSaMdXSjti@GHS{g1V^K_?1=P1IFCVv6o(u1NL4A77)Z?=Jn!Pf z5><z~>OUNM`k9`6_T6L`zy7YbfJYyy zkr)o}cTT~p0Jb`gk)yrlLU}vB*|J5WXpD{kl+c=4Q(yME&|@M1Z6XQ1Cr8hxVfG1K zf#qE3(O~Hnh(I=D4L@q<+v<^3eQmfJN9Uv49m|&c8h`qc@dhs403pMD-Z*8ia16 z)|#s&u3%-F3-b^G*6~irBmBOxki9gFfE0pd)Hlixwqza2h=%eH?{+&2WY@Hm4v`Uv z_i-m7A-(RM7bSM#Q9V-Kv~v=afBJEXIv-d3C5qI1b~gCyt0x}WmRBH5E^yrYIkDOw z&)X^WrYRzy=8MjwehPWXmmhU>tP!gCd1opk1?EZ3X6KM410XIMp^JXOisqY#M^?%{ zmy$X(RgvXVmq#mz0i06AzN&6$42DU*$liAg$(58LrLt-gqpjgNQ?yCZc)dcUUz#aB zJC4IY*bROP44oY=lA3K9UPP3+c&b5@U?^;~ABN(|yDCbG5)HE$AHv{{cOm`4&;*SUB=hG;lH`&NW(0IGd3kYCg#9VD{ef;r(g}@PdId4M)70lkKC3<`$G5JZln{)YD zQdkF7{w`u$Qy7*~c&jA?rLfWFM-FnA?Fa zUFAr6Ri%FmziF@y35>M1CWYG#@e1@{ix2ceO?Fn+uJi(fby2-}mFgMW2YcTS^NgOi z8_&&=tpA|yK3kt#%uX;xm&YlEb_dNin-APNi$q2XZByG{O+X*YhkVSd#>MqlnQW9g z2LfOiccn}F55Qmn^#Z18j$7Slql|%wI*cpEV#ki*gMf`A?iJPcGszLpl+l+2Q4l6Xba7CHL<6ZHUC`2 zX!c+iJvO-JHKoSlU|kpD25utisK}3yv-IswxcVp6Arc@EF>@#0S~w^u)UyU9b=ATh9pNMB8L6qLRZv8gRey=J*rh z-S_JH(6=K_IZdz z9Z0WPO~P}|?Lh--v#QhsX?-a~$vg7R-VNV<8r#>$z4&*ZdShbF-WS}&Q`LV}?8f=Z|Q)%=_$dv0AJyK>$rAM$# z%Y$Awn&7BJuo;9(-0!@?tqguPq7|ex78}*1J}mfb)`L_|LWY;_Q{rRRCU)<;46OrL z3a9cY3wX{)gW6xwr6aW4X=40$D^y-2o}gu&GrG^0=y){a*U?uD=8FT-ERnH^rP^B5 z-b~+T5lksQ9nO!$gY!?IT4hkh{=AaiOcVpODUJX$G+W8GyAhZiqNJXu&@L}H^v27Bz9()>X&L z;^q!UH#vJZWgIMy9Ef-|9tspm`-}=tA0SkwyM{`R#Lo|Ir^Y@fG;gQ>?!Kvy$=Di~ z^Ud;TTPSGS%7W^7n-K##f6zS)`=hG50N6>+7p*w(1&2nt+I=wx{0}C``fuDOQF#}X z@py7)Q-8EG4TFQ%g){hH?14 zc*8pvPxr1QD{V+&>+`sMu8tu$sBQklN6VLp z&0e?|Da48X(+ndYUyXk#?)1Nm@hO#;}VP6YSB5W?9?U(+|rQM4;7jjuO{lt26t$N(wPMDad!%Lq3LMlf~ZMMJf> z01kcUF&MWsce=YH!}Wv$KTGhcjW=x4&EO!A=<@9h73az1wB9An=?Te_`_X*s0<0*j z*-5I1!7jDyV(TZFI__mc>eedYK1u`3nUhOLzuaZ>JG^_>f@*L2d5{d6bGyMHX+_#- zDtu?zNhmbpiyi5l<9*&z^a7i8K75Pvr;Ct?t<@+_Wz!kXAnhH5wdPL;OBJCHG&}Ov#xK)R*^(R4CU|TfYjxWT zH4wmLzP>wuGOve`rpHx-2g`m0rzAm%;Yk=C^+e`)JcAnWO?vXFbNhP;6GX_}(3diE zP*5Qaj4wXkx+F!5rU%w)|Agf%FEGlM0meu_sc&AZ(oOYP(iV3xyJuUWdukB4R?=;| z#>Uu@ZmG&dw8iFzosyW0ZjPiG2(!r=gMac=R$Ct5FsaI*@{X(mC9e;v&rA6Gw>5zF zasX#8%tony6QjbDkuSJqf`gSH>-1hWAH}ETAeCB~7EM~H!x4Du3HB@F*1!Swi>E%J zt+3VD*2KJtn1l6-d@59o&wH7ZPUOKLgOkw4ai^u%E_l)D-?V0YXKbh+r9o<6ilT#B z?Lu3#CQdvQhpkInhgs@6xtMNKPLcvzRym10poHMlk#{GrXQPnwlc^9|#nPIA6q?TO6QS{)hPZ!|26=2j{SZm>ry>|7wZ#04(#Q2kssF8iQf9OVE!T1kG~ zVr?-VoS$nN?QG8(#z(oSH+b&yd|Q0fsZ4@ODlWOa z#+!7vP>MfRk;PeM-PqcAUst* zMv2QfDSkFwa4S9jthABvzMu{9qa$<_01ebtJ;()N(+$-e*u*~WDb@1GefB80sFqND zcQbVFVQD`XL`Dxjz3+|7%j)49doD@xd0qtfa%CG|D_`!u>v5Cn;@iSL_5tC@7H>tJW7l5?mjKdLcP z#V4=QLc0{*f_H*UoaRN1ndx69JCmtECHjc>jIw*-d%Kuo<#3+W;a#meTez(G`wJ~^ zWb};>NZ`lbo&SJDmGN?7iJH5faWfii0Bxv=^+t+LUQySienAq+9{;GU7|5QCdM8iD z4B|Gs$vQwP-Lu3uf3G#15G0r_h_1h!C~X2Oc;_gqrNYhsLM`g-?G?x(M6FW&Jj$Tm zu7iSHPR@NJD+xT|d?1mV0LxsfnH5c!=6WsO4rU6r`{7JC`EKX6m%rzO$XMM@zJI zgReIui!lOrV3ApcT@S`q(&`y zm3%B}TpQo;UjM|*MY_V%2u?I(wpWk@vJ0s#xJA%6;v_FAR>_WhWDc%4tF$7h<52HJ> z-fx4;!#OgoydpxfKkRYOC_1~{8dGi`Gppk!C9e(9X4~z))|k6%^&(y*dKK#->Y@LB~~cS8GEH~?G5f7(n&Qi-XRG_=cG?a zMYm>Zx($Pt@V*W@8oPoGV8!Dwjk(#67+g?(xWPRJkZYsh_e!oNfojo3|VMyykt= zH03Cl%eyrm)oIPP`!p2q?!QGoeUc`Sz}L7RHyt=#rHf~s}1 z*?CpRD>tJl&%%Ysvq`e>WgJ1PsJ>7UhI+X#1eWp|xWhz*jC|NYkc9b6X=n0?f092V zF@3@^>>?6kQW77j4*8Lv*F@NcdOqiYL8lmjp*rWu-`Uh#W)9hajj%USER=YoN7%L6 z>6nNe6t?=}adIa2i@h`>zP5EO zO_myj!oLwqY(DSQ&a0nvKYUv)>nAqKSyNNgu!!b){DgY1g_vE8D9X&r7DTdV zIgEqQY_5wiu-Fg(Clf3*P=)wc>wX;V{vIS@qWTDgZ7+wTg`)wJSrHspXX3k+5B&^i z0@P!CS~rL-6X%#_*1)iu-2@*4Pp-&rU>(*>edj)8(K9V5L`8B{jkDmMh2|Kru|BqJ zetD*!%Qh^DdXR*kh^MKo-8S2QtET8wv$iC{>gmKi>#rn^NF(vNkuQ>v=#sh}hvZS?G{@SlSqC+ChL5uIxSBpLN4jX?(k(VUC{@NB>)p%H0Cd;g z$(z1s1IkW&%#C$v!`OcUTkhSJT&@Ucfm$Zhj#+^QJ2a+;{-VmW2)%$hy)2N@Xc_AhnozjZ9 zR$=@EdKy;)4=8is+dQ`*go>k%!~EDl5G?DPM7BjaH;1u=-Gk@NPM{#uN)`^~;d7yM z*3hh#9>uHpS05(%dCSCICs*ZI`_P2Gs`_p4DY0IGxwHZh;v5*n@aIL-h021@# zvy4!r)jQSlr5^=FA8Efq``kg{$al^#s)@7vO289)gyNX8{rSB|#EB$(t_w?5mh?yw zgNJO`8Wv?`{$CU;-{1s&u77K0jwIxnYszFivS9?VdH#kEHw0kW60AJ>@rIobCLK7p zHr>OzUQOF;2jv_BGX;wQ^F@Jdj7FbMl<4UT3hXpCvB$lL~7c>~Igh*WM@~Iw?^q zy#58~5+)PzPqE=QF8jhGJAhQ-w8Ep>thp5u(wP~O&S6q0?gR^)l`(aU+T~G)=f<^-J&UAXJj$U^TTURm!re$AdpeQLw#u46l zkUt&>nuDc`9@t=mqq)zJrYB}zgp#~>!Fi?3IG@b7t>x~OoU5lzz=efb8(;l!ifT%X zUU))zId(k7n?Yk`TsQG?>{r?1vJd$KI}KTq>p`yvU!SUs2Trd|ZxU{12AZhScN6;| z_{-Z(x+|A}ppQjJpgU|NfQrt`#k`WZuO)=$6mFnHM)=7h>CzWb)Uo)1V(2018gjPo zeW(oI+YJY62+6V+WSra_gB@)9vn)&vrP_q#tV~k}xk%adi1Oa2t&KaUx>N_H%D#8a#q{iKT$=>(6T688+Yd*woqL(jNqaZQ0LLDg@2Nj1(XdqttS$xgR6q% z+pwFM#itpNJmc;57Cu>1LqB0YqDP`@xTKO5_|i8)N~c!IMD5>IR%~%^v18WP#`S5> zhTgh+Y0Iam$CeLLn;;ZTS@KUzN#8#h9M5y5dQsDV&V~_xE-d?{g9>Mo7*t3VCb_DE z3$oj}0(IynUN$scfdFxs<1xQ)WZbQ)n)25ljqjMKP7|gV z@Vo*&A~E7y;h)DXbW5|S3JN?PcS;}3`ckr!8zzJz1~OhB4=Rt)T8UL|+EnYPlj>V; zFW;v1loLA^9uA*H0w-ylq^01N7S?|7C5g}SIc$J^ok2C{_XXN3Dhe;Y2OE)T4~QdX zHGr59UaPy~zfLOmbh3u%;#NkfLlS%0e)wyf5r+zS9dm+CXm(Au-g2EB%DBq39DO|4 zE=GC!v0d?WDnj7Ls9egLMcztTY#?o;9f5si&)}q&TfQzqjTR&c1Hm!Z#n^wNe@(tvQoBU`BMOeEd=Ll$8zi_KD5EDaA2Q|!B6U6pQ&V=mZFx;y5^wuWYFx%!FRTX~N& z`0>^II4M2-7>=-K&Ia47r+uRayK(^~;CMj`JBx6j#JJESGIEhB?0va!2MAkE8k7s< zNq~1zU)F2MOnitIzhzYJ-vvcqSa^Ll{C+jRMk#+KWmIB_g{rU$pF>CY$)bV84yzj< z{IiZqqg2a#C&e%7B4+UV%-6wG+j>!=-zI{VcUN^xKz49Su6{wR27W*=99S`|`eqt< zJ5~colbqMpnDRzilXaLD7}$17yfgVt{n@g%K(aFY17m$T>eo8AT55RY1@Z5-ak4(@ zZ%>Z&uMjdv3?8Y^&|EF&nX&Ryhm5i%Lr|;VM9YQ2=huF4gOhW~q z5QHuSc_Q!~(^lU(XGzx9kTP|wHs4$@agoFaIwsYUX&$+Dy zn{TJ;@0KsFovvSug9fVWhf4wMsg*O?IrV1-L|ok+Z>2Z3*mIJ0Py~j?F|)G(tC~9Z$Bg zFq+!_4(aV2o7o?^1vr4~+g=12jF%k`HHJT&H##S9eA-_f_hxEidvDe!URRY~V%2w% z&beLm#`kdr!>g?ha+n-sPA2F#Uc$Spz0z&a=CjDM4_rQTFtRz@H);dXUy(?qnNX%G zutv(Q1lg$TP!px=Y*>#@1V>pP*>S{wo6pBYoz<{NUxyiy#nurH=vT-WmSwc^yui$- znuw4~-WJ6>BsEe4YIkWPO;V@QYikc*SFlh&IYM8yC6#I;=;6z+nxY9DpN9~B4X#-nl@Ni1i)6&S#VbNR~kdz@XZ6lxvdxA>3o-p(Z zAjFKeOY0SmW-TzVF*(wDmxSD2P*MIdH|(Vh8I#(VGufi`2t5r~+f`?~mO|=E^y2n~ zeP3o#ZTFzQTj{%YB3M_T*@utYjuM${B7H&y1i0tFNPGNPcWzcwU^5_gcI%=W~ z&iE%>I+TO*&*{tWGsj8wOol}ExSDpZ&CCXB%0f6@L`>sfMF;tJm^F;MEmM{PuV|3V zrm+WR6X*h!%jG*LBTa4fi_a_B=q+Hjt&^ib)d^QaPaOeoUw=A{uckFfgO*J@Mu#N zzomSX$n-VLUlOLfF>ZM;2|b3++;&P7+019sDQn|^R7UiT4mTEt#aZ6Nu?d|HYD*QV zc5D{(6Ad_hUgAQCEPA~aU)+NH|#<~i?qd!F-t_@8rs zyg%Ldb*}$){SrbJ!azfIn5AR9_~jdWn;zwJ>!*yYn>(>7QVQIQTq8EeIsX96YS1Q% zW`&3^#7vgE_K=;6UCFUX+Qmj35@n&)VW{$;X~qeJU57?b-tiEw=;NhLc&ifcY_&@L zflB@Xz_rOZ=?71KLKNZ>`N9jcc}(Rvr3qnz0cG()=j=Fx>pe;sBKHFnGYu`9#|w+C z?ZbJ_xphtiAv+izQPg9j84FJX;-* zg)qT!#qH#*A$36&eM2MsI=SMp@bcp)Z(GWc>(Xngyg%n4(;_?VgOwRqa86iU_MCNi z%KjuUo1VVX%>t7nyfgnTKzz#xv?2FaxVh2B@$xH4yvg%{?!yhsUq|szi&0Wm67a-R zy;HM<6>}pK!K^SP)rAIGkTLslGS2_>ObP_LNzp~R+9cn|zC>{YNYN;Fo>wu}vvC?e zUEn7vusrMkyP=v84 zwGF0X+nM$acj?Z~DxwhOMEkU)e(`)=(DN7Ji*&~J`=5vM)@zTot)sUf3vC_tv)>3G zgz*LW8C|o%d#HmvmQL0RoM`6UdSj_L44;s`+soy+C{LP-{xmWX^XDZX&tq?iaX8dDAUfB(*cr{4M!_7n}CJArk7jjET z$GO(yS#}MRLXFWqN*y`Vm+lJnz^eK(!yu z^6f2&^>db^Mc)&4q50|$1Kjl3^BPYBM=aTkG2$_ir0TWJR~!WT_9 zHN2DYOrI81-#4$txdJQPt9Ej-f-uDzWzZ#MtK5e)~mWzo{Td_@(tff?Kl3PFUlf>+m) zF8KBa%F{Z@FVy@i2Jo)~o>RrZ#m~H{dR~yY0LCvi&lXgyYaKm9%27SADD!9`IX>%; zqrIoU(;lmul0X3}@pp;Z)0=g@;}3fj9!=nL9tCIBVL~KF?_aa+T|CSK$<2vOdHo2z z)1p}2)l$yc7AwYJ_VGpT!^V{^TIWUC$I}}&wY!R$EZZL%)mH{e8e6#66G1N$TjWJL zWffaQ*HMW*()o}oOAQ5>0o9^^3!oM1f0zSUD2E{$eNlUZrj~xLg0a1ONC8QY=W&#O zEt{yjcV~RQ&JW0*8uAdYt8qkIu<~boqU0Kdx4Nx_iaM4epwtzG)ypuFuA-c{SXGkb zS|j$idvPkpO$o#FGw3LgvGQpUU5#WHqLA_8Z#QRus@h0Pjx>9{#Ia=;v&_y$4MT{B%vjnK{SDR{Q0a)42bA!|VE=L|b*@h6H?p5iVed0D^QF z8Vd|Ag>CS`U(Xp%7r4@P&ZY;L|Bn7}MRE#07J3VVMq+%Vge*sXTD`fc66tsRNa6NN z|5&I5xT(6ar8yZ0GxoWhyyQ0kZa|H=0aitlMdO|0r^X^RZhaEjFsfkva+T@0=fQZn z5#+`M;r#ODlxm%ev}~&07`>GKUOVy0P^Bx4^zVw#vbAjAyZC_LKif4L9Q`hEkjJ_Z zv%=E{4Jd`9;E=_{&CE8xwyf^CEcQD<20>po>t^L@AD%dzOn^?uh-|^|7qz*|0?Y!7 zS0ezPV=%*v=r)aVE5i>6^I+$OCwA>p+Es&?HgPLc8)j@8>ib9a8Ag^ zlbqpe2nX<6v$o#*-y)3zY5dkQ0SCXt<1yT`u;YhXO%uJYCR1R2X9=n5&TC&2Rn->P z4BNAMTO>;JyOk>iw{Xh~eUMzZ&aC${JE=Rt6l}jWVCyEPf^)IAc0G9by%$?FL`L8J zmH~*uNYKqjFGh(lu>l3CZLG`dY~SNexA|lJu!x`fG);|6yPxH-%*~&c{!$f8s4gIG z1R~sh_wvD|Hzku;A1wti#573Y2x~ZVRQyM5;4AsLO9$Y9{&ru!wE1Y68x!@QAwAG5 z35kO6g&_>|W4Yr$fEMa@ZgC!`;p$3l)PPJ+I_vq}2!(MS>Y-!l@`*~-8`EL;Km0*5 zU?se8kcP7l>x^;~uPh-*cW_u*GyE#%ppb(-93Zq4zg^aQ6~GGPg2# zRTlIDQA~ni2Q@&S7)k+|fRV}H5A!hy9u=4N&cAbcCBZp{^pPzom=sr*-E(N!W|O^yUWThJ2$ttS~NGICS_{x8UtrWnG%gB>jpwS zFBRxa)op3*(HqbACija~e$fZ?rv6anA>x(!CctQUTN#(plj}FP;0{?R;zvw!AFO`Y zC^p2=C&V+fM#F;&x%C`4G(et-r;XP4jn{W_;t9x-fKJmu62fg9dj$5EEqdPWyn*B9cz?6;-Lo!HC9TqgETU3F-bU$+Lc`*~)(zKq3w=_r6IfcQ!^UnQgluTckSGP=7 z_^(QEZEuB1YtfuYPh>moeBhgFfo?h&LKm7lJDj-QXfYSHHj5lvq&$05ew7IkU5FxD z)>-kHb0^89G@ld(4!Ee88UlhI{n@`+j=41F+&nSK+rZsOFG+$n%4SO z4#j9qNG!*iw02||HANV>KV|8P2+s*jL5XbG)c33fdZSAEtox2i`DVLIVEp%Op3*z1 zcRr0d0O#88bkS3ypfc`{nmi@Wyo%qxfWc%xWonB&Z;mQLTCgqJ@=fTDC%%$-BV02H z5fo5lV#nwdg^6`}YpWECeVGGKBSZE4<0Zz&URd?}*35EWP&_0hw1)v$+n)d{^PA-r z4Y55}YT>0eHrgK$M>zjTPCRcaLMZI1KpaPAtxqMX?>kK;#5=3NC3RCQ5Gh3Umim?J zXvW51)S_>+SKrawVoT8!J3H&x^z^MaS`0rQiLmMpqek?m$B>6s=M(gmaDl(Nx-L3^ z`=pYyE1oXCrw@~TlA34FlUixd_}{_&o4h9r?bkt#sRBrbe@lx+k6f&abKKX!_gt~@ z!`~D5l^NB|=XoAcVa#&=&Odohou#}eE`LteMfirp9adJfe5G1`m~_CIs4R(o-!SkS zrI@R;rEA%Eh0gISD)Hfj$3o520gI`A)1zzY!&epV`E)sS?NUj{R3HJ~8nf2;)55y{ z)uE2^5TwD-%iY6LT9ci2`PCwLKVf#-HR_P0#RepN)ySJ4@jqIIE=SWuJRb%rKZCg@ zp~Xj$d8dYjqe$WkexQ{XuO)3Jqa=OG^LO1u+mHL3Yqej9jX@n!J}09LB2-W)c~w!= zPq1)iu;`-c%6&K$z0?M?j2^Zj>M|DQ7mLuaeIT`(bGhrg<@sWoTt6nHz~o?<{b6xdC$&51y;78HGh z*}WtwrmCh$`V9=S`-S@)TNqQX($>K{d9d+ze9V&^LwsmMg6NBV&~FOed7fSAAWyB= zx|+94S5kA7tmsa|MB@mrZp+YJ@lV~l(6sLWm3M)B9f_{EuV9&9 zf*R)-P|JQ3mohV=0zz_u^VaCh$#tHGh52(+rZVvwrNkUL2jD=(N(_MV+rF5zo*9sB z?tM}zcpz0Zi{W7^Ngdz6307 zPd1=i@Pv)Q;Spsnbn^z)GNr0yHcjG6e?ud2$q<^Og@M(dUylT4zLSWJ}{ev5_D~3E4{?Bt}NS(wShN~5B{Cp-o z5kS(q`8ZO3IgZ#TS8qu?F=hz*lmy?&Bnl<)W!m!;7=5OCpsF ziTD;VDzwVWYP=Hp8%`!3Uz>MFP)>d{v1BFDeb3H8izD}qswYiMe|?_AtUXx%dsjRR zT_ZMhi6%OPEJ%OmIqi9m%X2DS^f`e`wf_bUqd<;3kKT@1eN zl=6|*X6`W$7h&v=gyyQ;gx2fdf^3hraXR@%Ip3h=_?#5{9A==*Fg_Bu{TQu4IhD5( z5jmNllS1C(|B3PSA - 2024-05-23T09:49:41.227630 + 2024-05-23T10:03:39.368177 image/svg+xml @@ -41,12 +41,12 @@ z - - + @@ -453,7 +453,7 @@ z - + @@ -479,7 +479,7 @@ z - + @@ -601,7 +601,7 @@ z - + @@ -674,7 +674,7 @@ z - + @@ -886,7 +886,7 @@ z - + @@ -1007,7 +1007,7 @@ z - + @@ -1043,16 +1043,16 @@ z +" clip-path="url(#p1078447209)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - - + @@ -1089,11 +1089,11 @@ z +" clip-path="url(#p1078447209)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1135,11 +1135,11 @@ z +" clip-path="url(#p1078447209)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1167,11 +1167,11 @@ z +" clip-path="url(#p1078447209)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1186,11 +1186,11 @@ L 690 161.676713 +" clip-path="url(#p1078447209)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1232,11 +1232,11 @@ z +" clip-path="url(#p1078447209)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1411,7 +1411,7 @@ L 163.368917 273.70025 L 163.368917 77.285649 L 96.917045 77.285649 z -" clip-path="url(#p3efb973a07)" style="fill: #b3e6a8; opacity: 0.9"/> +" clip-path="url(#p1078447209)" style="fill: #17965a; opacity: 0.6"/> +" clip-path="url(#p1078447209)" style="fill: #17965a; opacity: 0.6"/> +" clip-path="url(#p1078447209)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p1078447209)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p1078447209)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p1078447209)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p1078447209)" style="fill: #b3d1e6; opacity: 0.3"/> @@ -1745,7 +1745,7 @@ z - + diff --git a/benchmark/swe_bench_lite.py b/benchmark/swe_bench_lite.py index 6a715585a..a3e4aa667 100644 --- a/benchmark/swe_bench_lite.py +++ b/benchmark/swe_bench_lite.py @@ -42,7 +42,6 @@ def plot_swe_bench_lite(data_file): yval = bar.get_height() y = yval + 0.75 if "Aider" in model else yval - 1.25 va = "bottom" if "Aider" in model else "top" - fontweight = 800 if "Aider" in model else "normal" ax.text( bar.get_x() + bar.get_width() / 2, @@ -51,21 +50,16 @@ def plot_swe_bench_lite(data_file): ha="center", va=va, fontsize=14, - fontweight=fontweight, ) # ax.set_xlabel("Models", fontsize=18) ax.set_ylabel("Instances resolved (%)", fontsize=18, color=font_color) ax.set_title("SWE Bench Lite", fontsize=20) ax.set_ylim(0, 29.9) - xticks = plt.xticks( + plt.xticks( fontsize=16, color=font_color, ) - for label in xticks[1]: - if "Aider" in label.get_text(): - label.set_fontweight(800) - label.set_fontsize(16) plt.tight_layout(pad=3.0) plt.savefig("swe_bench_lite.jpg") plt.savefig("swe_bench_lite.svg")