From 45ab640a0281aa1073fe8ba9754230746d9af2db Mon Sep 17 00:00:00 2001 From: "Carlos E. Jimenez" Date: Tue, 19 Mar 2024 15:21:01 -0400 Subject: [PATCH] Add results to lite --- img/swe-bench_lite_results.png | Bin 0 -> 31810 bytes lite.html | 7 ++++++- 2 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 img/swe-bench_lite_results.png diff --git a/img/swe-bench_lite_results.png b/img/swe-bench_lite_results.png new file mode 100644 index 0000000000000000000000000000000000000000..9abe172e075bcd7bae1b0822ae7d5835c7d37338 GIT binary patch literal 31810 zcmce81yogA7$zVnph$}nf^-RrbR(@?Qo1BA(%mTtA|NFtAl=;{EecXfhrlJI8|l0- z`}p27X3eZMv(~KfEgo<=_ne*o|9`P>kfOXa4mK$^3JMC2tc-**3JMw$1qC%1^D=m4 z*h=dw_=f7BEd3CrxQBcN{PGd5A!`DIp)iA=F;Om~5};gyE&>0cppv3s{QMaOMGckg z*Ux&WjQ?JP2Clh}0{)M3AAFevnxUZod;MGR9r|YszQCRS`3^I1w6(Nxv@|oMa)#SG znAuoAVB=xqV5Ks3bhLHgXJ@zibpe}={WEs(zDud7zuS|F_TT-{kg1pc`x!MCT!(VT zaAyd7!?KmpbU;DDHGsZQb47B@!1LG4o@h8~z~uOiY^>M}jBO0zY_3+e(7R9sUHQR} zR&YlHDpxB@YX^Q;A?lx3@PnVBm)WVQeqQ2eAw;bKQ=}5Nv4>M}v)yC6M=gv^MMWiO zZ*0P^EFtyp+re)_)KGUoZ(Lkl*jyg`?8$vTK0fw)9PAt%cfl2R9o(!P4P5V9JJ9@d zlmG4`0e3L6H?wsFBSQt<*TB%m$x(=!8hX&LfB&@8(ahxcldK*7?H1@DJMR|F;t^$o@ay;oqAJvO~l1$MF0!_CH?*gD;E?-ud4|3S%cH&VEKg5k--e z5PRZ^x}Jp9psI4(o?>G5%mw5ZK+j{Ns%dSeX2d)BS&Vjb%e5CM z=u{}En4&0Xc+XML?PEoc-)-EY`1@6IR0$Cg^#87bE}!Q`mGB9}y*K&Sh3P5Nf8XsL zO1en|J?nb2le;b{P`;ypFB!`%G@Qn!#~lQ z{+e$|(@9sd`zq7vPB**N_m2V9+n>p_Go(TbRSVRr*NW@42D4!sD>*6EFLB7m+eq}^ zJwVDkNjD)6v^@?dT{bpqrmN%h+&lBtOOjWmjU~Ot6IGh&_M0U`ZfN$KOn0md=1gFa z=saEMimAAA+x0^Nm&GFcHWn&o>z(Jz;g?ZaU~zCncd$A?Rk z`P*078)lLj#Bzq!u{M%irpAZ|GiRa{gv(fp-+xpq)>*NsYCN2pfSFJ;oC|3*x>w!R zZ$bnKRGDpzSM^Ii^eNG;ueKQFnf5fwNpem|qzY)_3&b}6m}wWYd;z*Sz`f14Kcq5g zqimDI)_i8KU1_T1KN}{nX*#Owl4MoCQLUDzoYiq`e0`)yJ5J87>mdpn8D{iEDM#gP z0%*pmBI41{kLGZrQe$OCu+P8pOq1875oqYvIhI*fkA0R3BiGDD98UY_&)oeWc7?(i zEH(W!d;YYbPicX-%`eV&!wEYG%n9}kEK3>>%9}6FC#Kw%C@lI?#nQCd>eo3ucE9pW zy1}mRRa1{hP`hTRIVp%B9eJ=Admj0e7JD6xwHF<%LG$jWS9d75(?Me$qkFBm`P^M# zB{RzJm9o1hc;W<@-SyR>-M!EGRuk29?l0+mg**-%qhe3Dnww<~lfm*FdwuJH@;P^g z1jURAW;7})np-ytf4D#BAYSZqgb8gbT+52Rt8&(7Hi%*T?0DDc#)NhK#`^P1*KMiw z)`SRpwP4}!{k72=nlN7Ka%y3x)hC1Kw2^mp>xTAR<|Cy)6P?xR+uZbvmHAPy9;c4! z)!|edfgmI$e83es!&^yFYbDeiE!Ksx32UW=!|OI-3$*WM$2u8O*4fOQ)QY*-!HhPf zNAB8_MXpJ4M+H2=jb8AfEN^1+go4j_eP#4gJq$;yZ9BUPC|os zOyERyfsDPYEj4w`-)_roE|kX-Oka)AA>u)P^&6iewW5T^lhp#cl2@cVe$P41_SQz( zt?aJ4p+?Ft5`q57<1i%og8qeyM$yA`;wm{@ z?5jWelEBri&%Eb$w%sn>lZVJj@g_aK?Uniz27k%7_|_<$J!`!l5q1xgmYT|ivvF9N ziuW=q=2Ocs4sj30$<+a{#whi^0#;6W)2TqnW>bD*QVOU zZ~4xS^@?1qvjs2}sJhmoW{L0Bm<`hF5kB_x{+hsb&`PNA&90r|S^au>$coh~j@F9)n%_AWJ^R z6lZRL&Y)mM18%DPyzszEkplbe$V6Hxx5t5HT$QXHB{pKp=K`sFkd=OdU%lxVt#WWD z>$0kIeyW*aeyUAd>d|!3*-0Bbkiyv(b+u*ZT;o2Q;o@n@^F4=Np;7QwFMWRnOk*xE z#%j2fq0kyidahPo)gP<2u+I<`5$V(D2M?i}?$i@~678xokHgJuR=M%3qH{MmgPcNBxVLsTnpUzC5$NV!(M)VdJQ{lU z8Ao*-Lc5KfMl_$*hE9AAqgdlG2+CRQZ+@}uH}%5F?wYS0{qyDC`TjI3D8zB&Esqo> zg4pXOzwWVp_j?Je5CLtRj=gN|7k;s~TEhqQ-`9ASc9!ngr=A%pH?;-^?1Fu%(0Z%?v9lMg0rMB26Bv>&T{pH#|f zJjR@|@4hRKV5xXRFRf)j$!QwFBJ8rMBXGK2aaHaO5qZ(DF-FY^w<$GMe+jHS+FUj9 zEmQ16`pf3ptWi|Mk1D6+OtbV)@8s(3OM7sb?s5wm{g`R7M#C?-o}}`lYG;uprRl(| zPvW7#4GRvM!HJg|Oiw4m|yHu`N1^Q(}f7jx|e`le)o+CKw6*q>tMbrZqW9=Q;&{>!glc6k4NOpMQ2P@6};^mLCFdeVL9XFsm~P z!wNvP_eOf{ZZN%if=nw1Y-;bI^}-{)hWaLYc?_s{w57wG#Zl1QWJS?5>UXYF3L`4b z*V~$f_j77c%MeP2EjxZwqiMr>HjjGqcJ)|SVSfIxJ)M5k8UkC)-yXyi3%S2MVfJw< z`k38aNqxJUwre43i-EpH_qo2u2A4~>Rn4T@GERVxQCeqwYx? z(UFICnPI>&H{%c9WHUn6#;Sm;*(0(B0Jz$Ux-!{FupgEsy^_8x`Nm708J|(rumq{1@Zl?rHXVT zpfBQ%IHC*AIvPbq4xcvuKOVsx1u#t~yW+~@aX+{W! z?4y`*cB62G9*gA%7b%kYeH0wtz~l%aUQSwFigEUGkD`m}Mo3e7JsA&Qa>HYELVIs zKJ|&efsXk68oN4S(dEYxYrCMvy(TH|8!6l!VjVFNhVY!9vhTPPNR%t?Tii9hsh&jK zSD@;xnXl`CE$I3wPNSu;>GcWumIC41SuIdQBZ~4T+L;-bN3{9TUVBYSdR^XKJoO?9 zX6~)}hJI!}>K-EY+}cv=-PgNlZ5Jg5)^@2pKS4*>bG5#?EQ{CHh4#(e%@bF5N`=2Y z;>z%1X|F@wGPUDjl3F>p36n%C zgh3zARDIwPN7lY3Ku#SQZ#usb)dpRXrs9n~w<0m6is%MgzgDnr4+pFxbF>}F(M63N z8eF6Cw&6tmtb^&0lP3o^YzXSKj$hZ?wn`&LKdtPo!1?Kv4$f^wOVRu^P^(RLCCpFy8R{;PqjSWA4H_jKSPihG8%#7^f0Nb#BT>I7P9V6KpWt#Tx|Qvl z)I#>{S=4##Oj$pl*j4qHNdug42JGwxxzP&bYRSpEN^F;IuGi^7q_nw1ak^X?$~Z#K zjwFu*w&_Vv7y81Glqej(o6~n~vc9HUj&RML`(0Gu^(H5*iN#b4^}=s~5caUzp?ldi zpMmo}m?Nu-Ld4sX_I+b+xy}nwdIHhCXS2C|^blww!<6xS{J!CMF_BHghnkUqjU(uM zP+s7!(sqXv+$_>I?x?@fKAx!yf>3M)g#%>PO~;Fp#O#hmyl6e@>2EI;m7d19_y|*^ z1gk4jR_zv-6S=AMmG^YdW7B=7e20E)ztcDxR%>3MpL96-(ev|M=DYLp$}i!g@Aw=L zJ!RPDBWzVudmg;Vy}`-L2JYg7l^Pp3dI}464c`84Fa4_x%xKHFx_i{oEv>UtR z%Wi*r7pvnSj7JlBvL8a1?&a0;Bzjw|Bj$=enj$Oh&Wmgc7m%SoOZt3ziSu9sk#8ww zzo5kW(vX5P@{MTodU>~BO}){^&>BqO>~r~3`J;fVBsUn-Da^R8b5x1JJr34arurDA zGGK|^&O4n96NQ=;>j2lX+LkmOSxWHhHF?$wV{88K{PA9~1)U-NH0R)DS!WbOqI3F) zHcnP7j#jBqOQC8DM@vvFV*c#%Gg5}oaJl`p!%S|oH`!&Iqa`U<$uG`Nw~kGY@6!#QrDyE@X{tV0@bvr1OrkpIVLlab#%PgZhZ0!Jr8 z_)kiD%n)$qjGHgdk*C^??)wNn7(M4A!AVQ#ry&L;{hntVrD^YFpYZzaX&={7y5S-o zw38trv0dM;y6g|O@b_5QD^JH<+ezDTg^yA{EI=fLOWw@<<4vA~Yvu&mg)-QTaf+k< zisUcgs`0(@S=D*E1nd3vd**UH6P6EZJj$ITW3^+|E?mADT=7^=3)D%hM14n(GFj*3 zU}mnGGR2C{lON>~r?bA7*iIGk6}`*q$Tu+2{+R>2nE-@zSm~(Ja;^#34@Q&@t?oix zzyp&n_li=@r8Tjfj$d1FP{pOrjsuit6iUVuM%GGJsP6Y9DuN-!lf#vNvkbw>Y0ytE z(}FU#Ohzk6cQ$8rIcrU;HWrUHNY>M0R0m5rNUo^iFvQ2Eo7}M7>3t@0%b7n9Foi!LRAU}x@ zh>N2l!=gH=up2Uc@F!*X25@x>Xg4IG%>6HmNEHzZ6^*>+mA8Js8wE`kPjrs~H6;Dl z4WatvfAe&zlc?vCO22Lh?rls1@Ems-snyFrI7U$d@F3X_>5PB2s5}y+3NqV z@dFRS(jW@>vqjuc9+=DRH~F*iv|`{v|38OQ#{_-xYvMDo{41Q6`&z<;4m1R2U(r~8 zc#c~Aw8f9Zf)Mw=aiprjYB<~JuAX$B7y}VSZ#_(n^&km>=_^R{17OYx&1Xq)ZL6vn zq3u>ewH$eh)7@T?qG!Fy&VY-U0PETsgxaqUm>o&LfJi*;d_#AzoDn`Qu+?A$s`fS8fz<%9BM!jdcS`|r&kP(MXj*(j`+)Oxk?$9J@5Dcwa7JL6fU$r8^T@vwwuCR-Ig%G(6o!+iB2guTi1u2yAf`)!Xe5V=#JS`f=+Hqct!u=8kbFem)f<})Dm zHUdcWP&AV9Zt_^a+o+zf-sGX;VUMSO&hXCG&w+S2^XY7BklVu-*7Ve=0e)ph?c>Ah z`boK_xofY^72h&O_o6qQ?L0mO>xkSBEQ2{QRftr`y;8d+R5cPIuotU%FzGVg#{99CoVL`opL(f=vcLkc2jK!muJ^B@ z*LXX&vu z!SYaE6q!q{vl#~Ni{}hf(-UA9OmmMJ6Z+(T$We14Ze=;V9@Dn-;sdxXNlnJNOX|Aq zP4wd0MN*Q}wAVs;9BL;jl5gDYV?O|zRcD%e%60C&Slv$BkW)N5RV*d?nFPCP!M$U# zyCUwIX%8`?w!D?Hr$fEPK|W&3zd5?&|Dhw2#wt$NxeQF0h=RKu&m8{E`-c7=9`BZ$ z?`&^|yClb)yBhQ2`ubok6DP`P5(jexd1DwH??}chkV4@u%RHKi9HqT}k4H}tMrBdz`b9cDhE&h8@M3lr=%x1VtWGZdLDuTtx^6tPnlIgQ} zv7Wx?cEIl3VyK<>IXzKjft)@d3m;!ak?_$fRW@V8|3N)fa@4+-sQ*2j z$C9GfLgInfolf~nLtMN=y-I7ezBdE$N2hDVW!j5p=d-lOM@E*LvHIxI*9<@UV~y0i zY*jinnEC`%3dIKBi4a1s9y1{u)mSiM?}}y9U1dA{cLXC+(4*5NFI3{l+VQ2yBUA8} zo$jD@UCV({#Y{>IPa1uGecuZ4ase0hF1l${yHOY)y-7|Cfll^?w=1r{QifC;E7=xp zy2$NYJ>oO^XpagQ1}_RpST&v|0+pay{rp0_HqJ@6(5Pp4o*Ta? zK06f>Jf4q|bk@>rnm@_12UEyaZrKoWwAW7a$qn=Dv8bkpJpT&q;5BWsl~xW6{mv)X zp;dwhn|XmNTv{{jJ#iU_bl#6Uqhyx?+|=mP!MFwcb5SaKRI|ug()8x{^Y7V9Fdet1 zCM(y9&z9yLNUTbl&+F=wS3^0|Q$D$X%HkALE`hUiVN%W3q=9@rTyRH5;s;zG*UT;- zlTp3-Mgq~UuNc)Z$n|;jkG%L~MadkPIv!noY69G7l1(#zzUr+kL=^7SOv?+J`kh5u zbbbs}Oj?+zSUf;`Rgc*lhd?r1a$b)WNWD<8c1G5~M+!CVT+ZZA(hw14=+Q}%WOi=N z>rchw?rJX<>)N#uj{s3?hA!+*1OeL7UJg1<%={%(q_hUh$xb^&OBI<9=l3i~C$24f z0vNN4ddUma{0|8f&E+vnnAcvOC*t=KMdT!Dlpz>Wv8Il;=aLfRl%1V75o1JGx#3+z z^;=D+>**nE<%IIQcMiq+J{jUO%KxzbA-2GMbeVXXk5PlL9jY{TqMxf-#ds@ShLI>ZB1uP$wbr2L7nBP%(*MDE<1Jl*NCQooi6p z>5aMaN0o(w9t=op_5@t@zbdzVutGFN{2l+O`#{724QeJzW@wV+Qf{LAp&wbHo7s}nez2jDc`-+Y>P;p_O74NSa->UjBBU#P2k*`Eb4hYR z*L&$Av?ZR*pKWMTqy%c4b|z%P)P-XfYa$ggD4I%sUjAt}hxV^p^$jQ?Spq|){;E|4 zeS^P;C=;OJ;rVh|jPT+)EcH~8a+#xGpy8u+$FaM#0}-kM-W@C1} z%&-P(#ip~1hX%AqD#z?bdSaOs{|z%OEojC^zdP7?9b{+(l7EW(0JQ;lAn0C6@nc55uD$p@yh=6$Z>#m~Q&~n;c?sxvP?DhxP1Q#`k`oA_o z_@u)G!aG29y#B|^^Th)#x!ApQTnRFsKOqu$z!NhGp8%TKiJ$&-f^cpcJc zB;op&B5?%~;kr4!KOYs5gI-;r+nPnn#PUh9td5FRr6Efd7`QVc=T zU(fQVdG4XWDX0qy(05)qEDy-N za7%4KS=f+)x(Svn$Y(Sm^Xd1%u@O*tD7*|^eQ!6n4ho%`AVP+5V0S145pJ{MVF30> zrYzwEU^0rds>}~S-8=z`lOj+$aeJLOo`T;ey+DqS#G&Bl%y8ca?uKt-J3E9q@XTJ7toFL|}r6Ga;Ax8vT#>{89>zpo5XBPb;Qu_8Sl^<6o zDgi?<0c!7Md9$qP3Hn6i^G(;R+O86;h$&A&(8=mv;nTNAmXI-}(Zi+wbhDnK+G%a1 zb}ji%%CF@^r4C|ix2Nzt9!n?lt3kWgPewX6Z2?QaNqy-G3+>1+7*JMDUk1Cj*b!$JWOxl2YpZO#yc! zUX^Xw7VP}xemift3KVK69}G#g1LKE$Xj+&ts!{f`-uo<)o@( zaH7hBgzvfoU~Y`pAv*|Q^2Y#5V>=8fNyl@{Fcw6}X}S_+l38K1dIO7s<#?r;b(XI8K8dcQl4BX#^nL>nVG$S{ z7Sy!UKF1R&pk0d??!IIMo_qjLgs`UZu#|reC979BNBtEz?Bh{bkZ{gA`>$Aw1-K@w zvQAOaV?a3uF*WJ2Zr;-o2s&jQuLFd6SF@aUrvsqEKKH}TjixJJKR_V2v1vLsX}u!s zde?sU<)y4e!SDWrI<|$%!OXf#VBuT3OghEg)hMOX;IwZ5;6_Ct`q8fMmD~4f7ZG5= zTkqI)G39(KC}|>PO3Z)3=ddU-RhpSEzxq2c#yZF$WfqGq#sRtH=^WK7?&uF4Qkjf^&KD+s# zujU)E1I@1#(V++`xw!rh9lb)P1l8krxrej)7fdQ_zdyWMJixA9%{psMD1^!+Pd1;Q zDaQ-+!3isMuh?(b6I>?yg)ttL-Et%&AY3?%Lmn@sv`hqh6?(J4a}22~mr#Mz;$Pxx z#}_5N`L&d0q7}wQxX8IJYDJ4f9)GOu!K~XrrfiS2UctGrhPqfCT@~cnV&K9HT#N9ft=P~QEEm$;O-E3n(h7%`TC?a30X+EC4xQNQC`+|T&t zNO$DL56c=^pKkV99+5dR-{+5HVrcd}s0y*E1ff_kJ5kP-PKR39v?X==DXS<*I5cgQ z?4lY1%c(CAnbKo!mG~O0DqiLmzz}Gp%eM1w3Y+n9xP(vPx>(&Yuoudirz_82s>S@Z z5;!8Dm2hPNK%{Dm;@ZzyozbGrfF2>JHXX`UlJB@&G4G0cyOCq7xA*P+Pgd?(U8+)M zEM7l~^yB078(D9@F3|N&048c#AVc*Jw7y}?#TwoV?g3TY#}!Y(jc5ozC)P;?iw1FZGtu^ zxeEbh$y$XeXlACXrnQ3OyJgj|8aHq(%4`wk7ED^hNms!JkDp?8Tpj8RvZ5Ty-{oic zes>L6OD6Eu55W+8s%>MO=mlD|j?Qzmi2XCjK?HL5Gu8Yjc4k})<(U=)JCJQ{MSyOW z%dIa{%my2xUwmi1LOx0%)=H8YE$V&KN zU&+l>mHpQJRq|5dq!nFx3|yMb1uU(vu*>|;>&yQ2KCx5RmuL? zxKWlk$XNXE+^~N|K2Te9y#~AKOW*F(UqJ*sD*8Go7FTQ+{~tFrSA#$NI}=`q5ZYIB z)yka(<^{d>W&D3yLv`JE!<>d}UI@eWF^J zg}OCU%+c&|v2}TzUg)-4vXt89{}JveXnfKrEh$Oj!OOipb{WHe4m2hJz?7uK7=Mm) zL=qV1F+S_c--rPWR2qnE;u+~we~wdm6o5+t?V)Oa!6i;GPNq+Y{sVqLC&U>-7fbK^ z&Ho%xe}JiRLxcVPY*2?hnE7>b9xWU&byRTlkrM61^19rADpZar(Y7y^H;Vj37YQ|v z6&1A4M-}3y6}2#ZsWGFc)3a0?&sL}(*<$^iV0(}pMM$I~g`=^2og8u|>Za*qIxF0M zOE)qvQ8tA-`_fte>JkW~B3G}3(*M<^TcAkmSLj z2CTvc(8h+vbF@_>>>mp(y>lR62fMi!^6j1ibc6i?Wb>~@E?ZO1N8bY{K$T!K*B;LP zBpVc~&I7UxW3@}kWVPykTOjpT0I5&1$Evbl${DbxV;~Ably|B5J+))GM+#M>8bu^cy(>Mxf!`6av`fR4eVYUP&Et;$J4@RKg7v^eXh!S zlK;EcnBGjEIBr$^gJ<;XQgLj$h5F6j+^#>Kk^zn$Ai%N73gAxH0yu_nO5yj8j0iy= zU^{`bPU{(901P1Uh{9{HKWq-@EmpvZTsa94UA9pWm(3Ll#|XkbP}f(;MxDnIl!2-d z2p#wITOq0*j8$a)R-C@K-4ZU}JRXA|O~AQO#5V|jLeP!-=?4@jqact~=ELQeuJe9? zk;@BiOPqcWq(o2+XHB!a&Anp9$3+uqQ*pMF&fDz%czx{>PPe8od;NAePvms0_>W7)(SMIXCyXiSImRVzR}Doou3 zo_(ufJq+YC3m}n~hp^RkVATf`hivu$1!S!&PY=u624u3bYO4t;e@9SGzKsEUHn@Hyz%+tCGQny4RfEOM1*PWr{X9E~`xz&V`} zBGJ?gU@FEGw*(ulTPn{bbzLXbH!eyIyy&!u1vItj=W+E>h>pF>=)bELJVrV26p{C< z%qi~28SUk(!v)%b*C`BjIgVFGL2;?;u|KSC6dQ@#R0EM(lsAsf0M3>Z-j*h}lknYb zLsGk>>Qp>Ub;#a>NDW{MZKO`jn2trbLAnxkw;lek5Hru>TN&()Rjunh)>brNk);>! zV%@l}rd?&OdS?ohDy)w3477{UMbd}8NdlvQS(tmcFkelha_iVhAw{@RF&<3b*IH~k zf`|a?*ZgTuXN=1aBqsHk^%rIxfo;FOhI9uRcT;%t{hVd%EBt_Dk!L;R9sp@0=DV63 z@r>XiZ!Csyd#ry)lsu6K8ZH{p4JUNm;ClSv8~}8nh3!d+{PNvifPG9M->}EI@ag)T zp}=fRxTdUMRM(F^NWcNop%ox#>>{&>b0;&TaYu7>T_%Sy)Vi(yI0;lM56#?`$>q=DO)m^W-?{{sxS$9D~Pn8>&&$hUlF1Lkqa3d-XQe9J%^1v_D&K~kvbv;%vQ{`>|u z0MrFg*us!clK3EM%SmLVJFxD zc?6&s;Z97*E4gB^mTxG-cP`ws?DybAMC6Vw{fW;HHYNlj<9>*dVRuYQGD#s*{PT5; zfmcN9DF=Rb@c2+!C%q5Aja#l0X_aMHhJ zD`w`jz+SRSobdIV1V5Lmff8p*is?mh<3s)6kpT@L4<0TLRm`A3rHn9o+O3$L% zgp9=f?3i77>>|6s3OcmWwANzEb@b&yuVXRIxlUp4jEUxymoya!xM$9#F{{gV12`Cdv|)R7=}KA)YsG`M<)3EfIW-Xa4ZM`4D5AiU@JM?$CjRHEjT?-erc$ouaSpw6BO=Sw)aD6GXLhv_|~} zr)8Tsbt)@$n`VHHF)A4<3T9XI3^YVBCT)L{pyRQ3x;>X-={5eKW$RKJmEE=9VTsu{ z7~X$>p*F5V-Q*^GLn*aL$DZ?+Vkum3Ft~}^;LY)jO3_ZfuuYd*#@;)EYORg9BlUzH zQx_6_;jvzz6A{%(MqNE_d;DA~(Q_`QESD1|mQOHd?^O#-Aw_^+%TCozVu3|XeDOM* zT%tGax|aD`6nlMGA~Q34`t>Y}Gw^9aCz#3#qO{+#j(j7oSGNA01a3)D6|o?-#$tFw zo{huQSI>cHY0CIttnXqCff+1#u&K<5< zfB+_P&f_ZS3#Jg5S%TUy@#_M_{-;1(m+k9W$DS9gwS>T!S1A068=d3|a>XnDjVJSI z6g{zljz_S2n2RoRXKPySN$qcPgTq%;OR~9q9sPy1krVG*^ZWhg4dq3QqxHbtOIZ9t z1s;x-;HMmuB@G9zk!6l=j4u@VA#2+F^N9Fd=g`#(o(;3 zH~g7cP4M!U`(>N`CW;)BIig=Q7B9K0(!bZXDJ*Xj%Hg^B$R+O@#|n2=Tp>6q_pzOk zeilGP+l6!n#eUyvES9T8G9wpy-lyQa<6}1g�l>@Mq=&nL$<+U%Ag6%Y{ zb{kmsJ5CmUnXt~Ec8a6*-d%9$@?U%jPD*J>UZ`nXEx0nJK56z-NYi>#!EKDKM-eO$+^;cIw3wHy^$w;+oVLZ z+g;KrhrLP{OT8(SUVJ;cQFO;2Ef{p*Y&)!~A95Op?CzO}ZYoT{;5+l3)zjXmwU*)# zX?69jS~aQA;X8+(GH~MHy`?Mx;*m5nRP_?JY<4$aC{k7W*KR`ROs~pKahm-QVCl}1 zv5Mug8XrQgXhiW>$+~TG9Y>u;Qa)=lV(j4MmF*J>VlA{#fL!6{IQa_A6;GWR+uRwG za?!fHx<(~>7x;fcq7F5*1@2e1ZvE+j6gB+~< zVqQI_1gBMs&C2dfN=&9uOQ>vVVRp2G1}CVCBfj} z5w6$GI9eeeKvl|fHiM&U#am4LON#co;hOrklad+#0zJ)rP)u14KB#0asbRCP1a5wPtxsFZZNg!)^rv@#O@c)-m`lqeFtl(I7_k_ak9YquLE>IkFsl%sqOfG$Rq4F^G?8aRcW!#vb zyI0f%>iEG?U)?qO(tfu?&8o{d9Pa}-anQbF7V6iGbj6h572nJHIZ#wASfz6DF`uL| zpdMw0q4k&;IvUjJ+Cp;3Xl zK;)ZA`d4R}L1(kWu5J7!zXk&uO9lOn`Co6(1H&KB&rx~x&nGcKvxhH}|66tWpBtJb z@f3Mdm9}PHHn?P}p{CH=rH51#ScQr1iAASwdets34weLbS7C)`@|Sj!(2&s3 zNATPjIY&X^y8(R`z%F<=pGd3YJuCFs3-fAosqy?A!(SbVU`Bg?m>EpF|8uzi85mJ2 zaWLZ#9G{xr_;bdUCBe`zzZv?cG5=2FH9BB$eeSE-?A=(T`}p9s7gzWpE2Bra18Zs2ryPQ3rSno#cXj?KC?HZl(5SCG|Itx)4Td%%e$PzFM8J)nQ0 zNleP`n2Q5WYYoMwf)glz(Ii-U!EOzn$M&ZH)BlvW!CB%ypv)Qrms6M~cbo#7cJ&wV z8385&>!mL?fK)5#tZGzXcbm&R`fL1y_I%X>6OZ+>KwZ!6Heea5=x8K3I)N>_>;tjk z?dL^c+pGc>Na-$Hi28(xHDK8Z5;g5_cHcK=SZqF;y;={*-VMN|JHI;z61)fS*>8XY z(f27_RtD%kZl%7sZvPQ7(*e69txFT=p8WjrL&!M~jF%mghak?r9}Fb7e?{2R^!ftO zI8C9zxd46e0olE$&mp^I_Nm2iKKu%~?ej$5cdoNR^2;m9;9wcCbNkYj>#XIcKIg|dr=g}FbEd_PcNVO+XWI?{rmma*1`Z)ud`;wW zaWWNTYur;ltdCf3|FwTan+P#CrW}AyKLL`cIaJMKdbbq(%duGR*8?Xj5a`d)vs8z2L7z#&$l0eL)QfAoi5D93bkszyKmXrUNr zdWa>kD?8Xo?_FL2imJVhD&RKer#2yHEk=Iik7=h--K+2BuKwCc9qMSnA_#q8fxk15 z$c)Ota!pzXItwH1iK;6A=M|7H9kdN3-p?kz$-24MgO*`DlS46)-6075*)e}C!a`u- zq2H#oN-*~4YAou@%;LS_8K(0(*r>{4l&!}~(`%xlM?QkI&9Ep7nSiT2!GV}F1{0$yT^TzkD@0rZx7ZfvpPC@_&lKrzc0sCcf zr*UToMq?16AkWhDC;jpYMisprcQt_Lc&M9FDAtU)8q|ShZ1HL?fWKQQh7Q2r@9wxV zJps(b%eYrPy+Kt(pK=5~Hz57P@vL{GfMT)cy*@sY6K8~7J0In_hS#=c_$+eMaPkx1 ze>;jQ!Up|e&^a(beS=H~YAaRBC0_(~(!ydcD{bB=lPjp}8p${X1`G>IpEJ8OL;H!y zyf5>eQC5KI3+QS9Zp0qdT)js3fMPm_hb4gjapAI87Rc<5PF4A|pNyYBWvS{MTt>adN9W-39vUmu{+Ry~nz;?2Xi9+=S9 zh5pX=RBKrN1jto5@Lj-I&I#trAtOSN68q3(C;A01INeW8X9(|!OjVbBF3u`WDMCsRt@F;=HPSbKZxcA! zCe3OuDBb4q;}WMYDFuIh(8K!)h8bNW5-HpF^Dy&ls_Mav5cZGZ{59yDD#wn@keLWd z*0(+SGUl@EC#iJz7uw@&zZ#QqTfX%eOha6ZkA9e7%6T_?y-MGYXM-zsotyNkT~w)R zM8Q-C;|DDk?(2flE0w3t0GhNBxM}KcNjh6tK96dEyk43DBMe?i8 z5{)Imyn8Y%V#QDA68!19z!&(Al4$n1p4$TP(n*@?s02L;e!R{LzcSQ(@$>!h=6vB2bmJhRE#-IXI~by(k5LR&A2qE z9~G2JYT8z?ZZ&0KJx54*9^Br*nE4u~3Cx8K3bLQ8q=nbVD?2Y_@8x>|ua(A~`x_~7 zOer9!CQtawozkG+Wh`%_y`^F)B{%_&r%h%p2enp>>aB724-|F zgE9EY!3;7Ns7(PmRgR6pdqJ}$H$kz3L7Q*CN?Bi7WdaB#7jM*}4o<7IO1`$w`=x&{ zI$pUlo!vpfa4SS_GTg~#j|^{eu+GV%T`y0YSU>gXI$ZIM8F_ct{7B}3X~lyonjZZM{vDlxc{H@v_AFsj)>8=ZKO7}IBEsyEbJKu{l%;w{;~5^(b6QE z)tp1H9fz#zw6+fqz#)s1Pj6EQhP;jFG1kH;MVb_)ZXfTT%6@pzD`*4`ajK?q+-Jdc zQzi>K=DB))qsYFy`7{p4d!yf{%TOgDTh$3;&RpOB`=`Kq*T4bKCZAYD5T~q)T8aUg zUkKpA7uexna%@!WxR>8_N1^+GPH<$4aQ?RUWhRI+_Lr~<1gUL-5@$wcf}rR#3!ZxI zRMki36kCjBW)HbOqUd~9A!f*y6W1bj%O8B~Mz#A(gk(dv(q4|gi!4-aunn8Nb%zrC z;Jj=TQu25d@gm0=#Ut zpUZ;w?Owl4{Qh_&!^w=Vsm66%piB!>ZS@o_=|Xo|3)Ou8mSO+0_zD|P#B{%qew;o4 znwn++HZj3e>f2YK10P~Sl0_x2jMEpgDvA>38q57;VH|2Q%PBf5@5pJk@#T6wnv8#q z1Qa$~K%S20qlC-c@k`3TRm*5@-#&bzsS7^5N8f@-DXy~_MBC3;wWbmCL49%ij&@%XVUS1w0GU{ShjCJ9)z@Hg^;qd zXGW-qva&)}B70i^m*Su-`^ka=kxyae0u7> z@9VtI^E!|7IKIdC`@NLjHK}pgDIMH`J|RlsjgGpUe&1KAilt`1MOi(SD{F+>kiT+F z)St}U+_L@@OSnx~#d^0eAEaFpI`+dVfu0U@jRj50WXF>7zsMCV%S0-Jn^3!NPu!`% zJ6AT#+ygd6Ar+i%3Htu}QWL4R&^KnAAj1^QD+`GMk3Cfv<@@r)z(z_RqTr5Z;dyK{ z^t7NUl{PsLgH#-I9r2G_!Y)=XbSAPv8olswj(L5Jy4myMz06hSE(0s;i{IuPRKsos z^<7d@rQB)aNl}V~6mp8*-CA^IES)E{Ianve$|3an&V5L_g1BMQ9*qlZik)?`0G=7C zurPEm!!Jv@ZXnG<044m*WJp|N)mXNIWP-y+E?$ewV>*}0x6T}JR{@>3en89RiV!O~ zPRkMB{zNqdq$rDul5)^ark9JF_KH_+q~oA#rfVy}Q{{3SzL~QQZ4we(%m5#{Pid69 zzPVEfSsU*TcEu)Jit9>exK!9(f3FT4BAh$@jKRa)4sCVT%Fh`+1~Jq+3?)L%3}|H5pX zdkw-PJl)Hga5aLx0kr86bXYXgao;JZ9KS;611Gm?gSgoaa|Ii->=a@P)Z8ixz|9(g zf637M#)(FE`5%cnZH>m!(W@Uv%V-~2`{{;j2RBVm3@8v?rz-L@FbdARSZ*NF}| z$AGukBkd#ES$lzs z^NY5B{?zL#Flo6Op18jxC4k^q*gY8%i$mkekZq)@s1@X*snk3fy86;%7Mw?!=-#33 z{#odK#esGbRv4Rx(OeiCTPNSr0kQuSLVUT$c>6B^OC7Nss(XB+^Uu#9_Y0qVBT7Km z{1?dM2Q!!FxMXwy62nJpfN}LC{(3~z#cXKmA;xm%!1uV^D~d>?et%sUBX`Y_@a!g& zxZs12WX@2Un*;Wnq&WwOk6kR{eTXn_0r_@L17p48VCIL=J4~Uw0PH{cRfOV=C>5(c zv4e(E%FKW)v#2z@2I4Php^l|PA7C+R_aX2#`hfF4xF*Zj`vKbXhT!dz3*|!RhTs#q8%IkP+{c#rC74>(y;xxW6s zzkz9{0G{Nwm71{s4B~|;CoZdzD$LP7e)UncnhId~+kcWEjTlf-&Ae2suIxv`>hf^S zhi1i~wpvbTVf=dK^|BA!0M^T-%@MAoP5~)|jb{DvTD@QxBLe$pK*E#5)*zBxbk+nI zF$;zwPUvh{xl;bKPD=68f&a>l5tVm+#)TnoFqW((=QA^cj?ne<{4oezhY*_`i>wd! z_c#I2`MIqa3vx4595NJj?0XG3vE8$K5!@;ol#7dBAT>W%rVsEP+mc8(smNQsy1mxD zMbM%#6eG@+rU3S&k4nUJiXi@hK?ZNw11R|0peev#y3))NJ4B6nFY232&a-o5;gwI>Qn_OHOm4wfMf%C(LNYLu%dI!RNxqlSnqiaSAX>1$Wg zXan$BiVf-K$bZUNs}A8_gjMAXwUXLbHVKEoIdSHMDZ&g=lDk~@=FVpAP}ay@OOOH- zwM7eUWl6hJ0pUt|@GZ@#BYilXI#5|giG7{jK;xby9ioTLto%+FNu)q>S`SJr<;E^1 z3p&k%NO)Ncg2uhajH33I&6>f_wXCYKn~2yIRMQrQh*(}QCCy($y!)a7!IS2l0a%~_ z;7|_2s{&=_afE^&}q|vKUqGTnnpX- zGCKlnVXnl}(ZY{%O|Qa&$(V<{IB9AX=5@Ev1g=)QfgD z?E5EqqduHI1mw|i9X)JC_hjA(kd3E)318+KG~&*L>TKwbPs2Q@rmQlBHB@@oiu)pp z(iec?Y`eSKcU>kp2wL{V^sPWKT3}N6ylPAvFWbh`6vU*(c+lgvj)nu}EKkkP*)G5Q z2N0Jncs1T!3BqPL2EK1k?`lRqWU_QER0G#18S$d##UD^=_P*l0uQ=*U4&cruzag0Lotj!X@y`}buMFX7$HSzulijrXvqp|eye_=fi zx$Vz3I?3uZM3W?0ps?}dR)0vE&KYV0mYbpFAfaPRoC5h(L@IO2(fy=C{}OW4oM;7J z)R?CXo$Zt36qBCnekPNj6K`Dze>;qyu9iba&;uOq&r1_#pPaM}itEAtw#k^_-bDA~8^LZGnTH6MZ;sQXzI+o-pJJI8kS6JSAx z)+sdy0VWg4eWr08fNH<7+7i2iup=$5G^bH(8i)6{Al8!fxcH6>Uvu6fwuabF+ zT?tFADVTkYyR?!vE5K0hr805JowH6Ml1kO(;3;es;lva4DF7mYbEXzp!`TC4>U#6h zlNV=0dvtCeEBge;*zOKj;2Nwvvi6db&--k-~WNHl_|n3O z7ZQU0oXrVOV2~o3DZD3f^Dn2qtru4nex#5hpQ@|Fs}a z$bz(l_Z?mkg-KWtgDY4(e-#ch&`OnO*D?94c^(0qG<@S!$C1AlPEcc@w@gq1;>cw3k5WJV#Rqe9q5cR|i+-uUADD#)KSz}t@urkwH;(cJL?9oC@& z%r%ls;V{Sr#!rc;);smQB!uOiDI>kN41~vi#4`ufbO{T<2c*jg*xFw$v3ev*Zl6jl zL?M9(%+2~C_t8aqtAmi^%8hI#e~jdB2eQ2dc!v~$8CN|I-Z~uq0~1NIks9BJ$`R9` zBBbl41s&JWazJ5s?YAIz9=P}oShWQRy)?6U6kiA^?t^w+c|W`F_Cr2kfFOF~F^De_ z@M-5}=X&#!?dHF7S|i;ldq^GnYrKzLn7U~lC*1%k`9R)H#gl6Xr>+?-NW=O3Rq^^a z;Zl8w6};;F(G!$L0Io9AtgE=faztl`8)d02yW7;jiAmyU4f#Ip@J}BaBcX--;4?d* zK~0~zf;SIIQ5W&2HSkBt^cXogL@`$k_D1$Vk8XG$g1#)Phd83Ik({52EI9}-`kb&8 zNKR^V$x@5DmEE-qUn&O&KK%5ghSVu=1J6bbm$f$GU_C~ZqFG{%`kqrUeb()>6|@2b zd*XqL{I##poFdIJXv(%7By1Y`5geqvO~&9)WW$256vOpr(~HsEfr7@y;G*Aj!@o(n z%La%Q%(P1FS>K@dbY_RjOQ99aKRWbd?+zigbb=-5&5{h8c@06zZ4a2=#R^VIyb>}* z6vmn9CHfNzram|~lvcZGwu6}tIAqN+h_q1@$Ji3(f~G5@i<$7F?oL%s(Myi9ekPHH zep0SeT{INNu454`pjk=B{(p|iIF*fUerPg%wSiuCik zG$G&K?M@I4b!~{$!)|UyNNjT;{)M)+y+IdN%(4B_yEz0hG=pcNJ11kIoP{l8xhSqN z!_N9m2q3hrpFKK*Ha|b+67C>`ElXyis^0VM9Z6V!e{m~7f{=)ZnijKecnd= zWpBhN0D-abVcBDl=Jx`!YL2kTnGE;9|J@uCNekK+QcI@6SwL|fAUcAu==*@kUp*rec5GyhVR8=C;B1d$$%%p*acr@9|%ItgSSI_z(Zzx zmbtDp(h>*Aa@o9-uDjA6lOr+t^6qp|G2fUI_}7nWv-=%`27Mk#Zb!P6NR}Sa|4GNs zO2g3?RQvM1r16?&Mny}jA;c|6uk#hE%kI(Rq?j74zeYcZ2aX-vjuBc5i4`yrEkxmQ zM2QWQHZr!S*Rk zkBa`6Z@?U3C5xgo8-TX*z@0i0aCo6!WOo#COqZ>7+uLz)U{+!fs9v=`Fy^~?70xh1 zCv|H}NOsM}8-v*F5*5`qNw#4LZ&bfgt92 z<#xYi*|KC&jVP#noI&U0H@|`8xjp|a&pk{=NC<$l$~SC~Kpt0W^Dcr=A$0YZ|^41&|ZUUUT^W|Fkm$s|`GwaW<2 znCKy>OXr6R=O$yr1Ky_`Y$<(mlr@E_X-j>)V5d|E6|UFCxOCAz^c+A+`M^5zD)ZC( zGoxZOlqg%H;{(n$ImtwSo=D^$bCKCHeG=fa|ExpQpn-R=xc^5iLT=;l2Lwna)o;O; zD7bc`cK_f+P{#lm5hcUT{TPG{$P_^x?Wc_d4v)PC!r_y#>r97}9DP<8diRNQ$N$QQ z1R(LUiefwfBZ1wRj&RWW;@^JTpCibtaBqMjGT_X=)WF|)){6qjyVQkjc_rMz8hH(J!*^i(vEE+d|s?zrnz6KFu-B z-Y}>^{QEP=H)X2gDmhG86#xAe^3^y>jK{nG|6{+W@;^9d>vymqSuS#)5cU^n0y+gX zycVVq+;ymVM$s`!7}y%;J93B{oZeyLGsbyf?x~GHwm<+cppY$wbhsA&hZ4&B(rke7 ze1^)MpDYfRHv9+x5+^h_X$j79T_hmqVMMU}dr(N2szig5>1Ht`ta{lSz+ikZ91XbV z)nvKo8Zf{ha|2T=j+K0t)x5e74!d*C(jDeY#D zD}4G1yvm6N@j69qxpk@B@diXU?`HUP0b|D^mf-dd_53UQwX~h;Ut{;ihxWqBd(d>i z1taQXK%T+_oZ8S4G(I)p6iJHv8Lttqo*_d2Wj3%uyj$2xFWD~i@eTk4vbQb>pBl0P z?Vb+^1iZXSG#C+2w%!uSK&o@V&GJ#(1Fb0)1ql#ntzW@mlXpM${X=MF+_;e$TMv>O zts3x%X0a>rA_1YxNua|&-^JR2OPD2Qe)78=SC03!b9iX6xbhCN9n?nPM0{4hfwc_` zEjxns60efU*DL^!h`QN>sn3Hub$s#|(-W~Ta;q?p>FdNg&8Fm;^Fc3{5}0vW>wQI* z!yJxFBOI+fonDZgyl;A_;!+!oxBIO*IGCA)T*HsGP>q=4@E)QETa6f%<1cU3fVDM6nEHbVvpvz?k(BD)OTxm~ysC!ZcwlzHp3iD4U%H9J1U@FQ)DsvZ zCxqrtnK%zfFGs*CPxWchnB=>~W(LS}uelK0O3b0J#s?K^fu& znV0b7dh&hpolW=$FW4fYs@!!%N?wm9Ba$sb9R?oWD2DX57R0EhhhQr?UOFBEWm0jk zgV8hr83#?<_3Ljv8DJM6Efj%(_|;=bpIx^;5}F_v+|b~&=>xT}D3$#E6y6jrn11_W z=tYgv=*Sg*zRBVZnKJ*Sa`flr0Rqh{us8Jn@nblbpo!EU%iOzG?NT|T{MLg5$)L65 z913^3(k`;5NhV;W8zud;x`X>8$2DO~dqsW-sJ0l+o3|>lwLM@bci3aUN(%C@gM!?2 z^#Z)uB;?Y_l<$!rCEo!xf2h%lOjrYuUrBI1OC*y{v<9+Esc`8cY?l^iInFT}OF^+>CdgCa29+l&2NSCj2&gu?h35i*&Da}B89u}j=23s-pU8+dqNBSH zWux3-*#fyK62}^TI(3L2^@b{}u2!G{e1=|QZ_n$e*WSKyju>j=3V~Obsh2vB^ug|| z1!)PjRDm8&0^-fN>yuH~$BcMfE|+bHVr_lN`Q}4`LoTVg1%ZpQb)}&s!vk{yAD)#t zOHf_LiA9pUf@kxeYFgA1K(K`FEd3u}=1smf^#MIL$0Fh&cK>EO)G8Fioh)uZ6ZAoh zjd417aFDm_xz|05nTM)I7$+60_hXMc0zZztPsD$v8ZzYiU`yHnUc}?C6u1&&EP-@d z(6=d1eY8ZB+PPFtPL1*c-@N8u<)iR01pf(-s1KouuHi)*WI6F-ajx)oiG-}@J#$b= zzi#zw@AU2S#26z**c|h30lVhqbK%edgg0;JBhd$*)btFo3tm0SP^eW{!A`qTx_u^4 zf<*m8%&ymX8YVHa$r}BaxR6a&$Sjt9%W@fR?^LIh6f5vPv}%C&OzOS@q;VqB2tlxp z*847Cv&lUjuKUWny)Q{-2{x^%$7qE zdSA?5J*9P5@jby7Fm+bv?~~((01Uy~-%!t-mQMKKwQ-UewfreH3XiMu?&cBJ%}ir` zI6NLkl)}(ADtPk6RelVGLo{p(SMkaykh{-tN!KWs|NeTZ5`%C~K^bGruzkl>G&L0VI2LS?N)KkgkVaSSR;lqzp%rm^-DbZ^>3Ls7>In#x#-b}9De(q&suq9_+>CJ8jUhs2Fqo}W>;F0MoE&Fv50qaj?3Rcup} zvyxyFy$kRVceh*gz5}rlKVJy-gvyCAlkL``&;&S$;FpCJfq|XMuInWK^Lx;pcgQfMF`R1K1?SRV)m*a>EpI}^QWWV_Ay)1pU+tuoe@v`zYj$fxUPus!D?9xzO{{Gd>5 zV#lf{$M}iwe-2+{HG`FD;Q=@aa=x3|La!v_hzU~Xk$n@-6wMk_x&nLLF>B>`#PUW= z18n5Wm^eEV#dp(?Ahw7-jRIMRG9S$B1Q<9!x zusweI=zWKxbc*PP_C{Dh+F*m31bBt$Ma>ujSQl8$X-de!Er-7(N5xW`^_0 zT+X8^T>T-LLW>M9(WF;0hn>L!I&8e2o6G_F_x=qs)3KRar9M!Jvc>p}gl^m8q;!)c z6P2atN~tS=$rN2pGKq+ zIfzLhMy&2E&;CA$V}$a062uF(rG}Im?`5%m9O?Z0tfHV{VmOdR)*x7x&o^(yiW0?( za$j)hhEV9(44xr8Y(}A??tKr!s8k8%;+leS#^ECg3~Mi`2A?e$ZHc^)*xHb6#Ahc7=Wryd6->KZu(&` z;oPU`99ZT8Y=X@+SNAeOq!ehyWzfi^;- zZ{^BkrhzkAzcG(j77IH~pkH?PLqY>b7kzASa=XjM`1B8346h)#bIj z%sf?6hBeQ4ad3BY7$%-D5b->7qz!toc7A%Q>DZKkpz5M&#Zt8L%KfvSujmjf#Hm3U zqgS3G3+a{78Yb3ug3p&W*LK?wtU}~HkYtyw^=)Z&qBgdq1J9FI@)`guVA;y^Ghm(! zCloVwt~}ZqN84BgjP;o~4@PhW&n0qR4dj!@Z472`q~g#OD=XaAQ~grSTnZuBZWZl` zs=CA{`Q6R!6zkOaR^J)ch#xVix)hGc6Dd6DDjmu4vH3#Ivhruh%%bY?^r^eemJ(2N z?LAsHQo2K{dyw~JE%&{|?+4LG7D-7(ucSnxh$zdctrk#i#yCNDIW8gUt zS=yBj?zT#(5gOuz+y}lEsy99p-h_QfyQ-Lc|E!Q$mWarYlpYaR@FJ|DpAnKVl#Yv5 zw8vG25@VagcDmzhZM*HObk=O>DDvOB@dovB5E~T+sEffwV*NoMh&f&@WzPF?820Wlmt)!?(BBZ_iryE8OMx5q>I82AMsWmHzS_q ze6Kmf@*^b5rZauU9UWve8NN8U{zp{FCM$9p`=AX$O^P|@*3;IgtW;nL%Zh?9bo|55 zFTVC5L|6Q~pTMP$s5dKp=N=WYd`?Ctz@JRgs=l+LzLG5AKJ+X*M UJ!(sjyb4=dLhgFzRb9{j0_yyzkN^Mx literal 0 HcmV?d00001 diff --git a/lite.html b/lite.html index ed0bc18..e909b97 100644 --- a/lite.html +++ b/lite.html @@ -69,7 +69,12 @@

A Canonical Subset for Efficient Evaluation of Language Models as Software E

- SWE-bench lite distribution across repositories. Compare to the full SWE-bench in Figure 3 of the SWE-bench paper. + SWE-bench Lite distribution across repositories. Compare to the full SWE-bench in Figure 3 of the SWE-bench paper. +

+
+ +

+ SWE-bench Lite performance for our baselines. Compare to the full SWE-bench baseline performance in Table 5 of the SWE-bench paper.