From cdf4969c01a857b5c5f62429ea506f8c26fcd2e2 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Wed, 22 May 2024 20:24:10 -0700 Subject: [PATCH] copy --- assets/swe_bench_lite.jpg | Bin 35893 -> 36571 bytes assets/swe_bench_lite.svg | 298 +++++++++++++++++++----------------- benchmark/swe_bench_lite.py | 7 +- 3 files changed, 163 insertions(+), 142 deletions(-) diff --git a/assets/swe_bench_lite.jpg b/assets/swe_bench_lite.jpg index da1492d83b1d6fc3b7d782f8453af6b1fee9fb97..c604a2ad379d1136d966bb4725ee85f8730028f1 100644 GIT binary patch literal 36571 zcmeFa1z43^w=cd30RaJ#PHCi6x)+FaHxiOcOG^n0Pz*W*q)WQH8|jd4knZkU{9oAi z-upY>x#!;hea^XCpV#@$cg-3z#vJ1}#++UZUwi>!NQj7wfM8%?KnB2H(8U-?2!w=y zfQWDn2@w(T`gJ5^RID4QC@84-n77cehzUqZhzW>@Zc{SR+$LwBAR?mWxWjPoJ}WCL zDGe7NCo?Y-3oG+wAu!jkUq?kj#k+9>kC}{!jQKzP=b{#L6A5MyZV3*C90Yq42JR-z zMI(q51cJE+wDz*WU;n_s!ogodKt#HZi~=Mm!T`a-z`?=7!(F=u4-cev0e%O;-@JxN zc3%+Tmb@+^xfK?(dtf{g#e=*$Y=xdJN)|n9kL$=dxOn&kRMa%Icj#Ez*f}`4xP=}H zi-?MeODHNStEj3yQr94C*u=)x?zz2#qtnY*p0D4$ediSv{5~W!>_d1&LgL4y z&?dkePWtxc8kILkNIo_NZtrrX`5H} z^E0^k5tj9~%N9BPnDY3@zwt4}qe{WdF;QcuR!j}85V@pC zAELe5WdV|4Ve7ynYOy)h3(%{SM(M(rMLE{!c{AnZAlhuiM)^q-ZA>%U_X9iic_&t_9}$BH-}Z$Z< zrdRo7W(~+S>>{M1=(dAf*OeI0tfn&}>x^-7VBSZezE-9gd0Th31Q(Z(WIC-V2#*ni_QDMy5j<8`I(**vO&r zL%Oxe`v#<<5^)fG z20YkaITPB7-GUKId;YhKMt8Z5!?wG&ee!iOU{+s)W+&a)QWHu$5l%KN-a^TXLRaid z-cj6d?8ST+z>VhN#=}jU%{--^*R!|ox+9Ar`y6xqvtyo^YbRM3g`77T+pANzc52~ncVYS#aT#^XqFI|umMbxzba^a>dFPo^ZiCy_AWA^`ian|CDXsG9D$VG~d&b(Fs!srpgs*baS&-EfH{F z`#i)mN5h0gV3i4Zk!%odCHZV=acK!_m{4Z zg9X(m@dxI%-@Lv{)=#FE4HMKguVg7RDMl)E?DeX3_Be5e*B1wY0%4A&n6Lii+*G@P zgw($wLUshclebswY0Oi+$;GthFSKx-ag`C9wJIdI48r5(@p%FENLiJ!wSmW~8re+| zcl}=Qq>04ej@FO~CIX?4lZKz)VK_tQD`~t_v=Dkr@6m$S?PiC-egsN=Vr!=pl^P%0 z>n}v(*rE#qn{9(Ab1PrDWum9T`(2MiwRp37aM}rZ%zIwE_wnHc$jS+_B;bneA7@-% zbpd*JreND?x$G6TUWuX{=K5&6-$y^Tt0ERS?i0R%=rm#2n=fybC6qM1jE^e6Uq|xRSHdmZ)qAU z6hf&8eB{yDvM7r&GUFXbCD@%ICmFK9@~;B>Fcz&7XmLrg$B2yOpG9}bBJ<(dCuai9B=4j$NJXv!nVJ;;q z$++^mlBs&k8>Y|~FhugKPsr(=aX0)pb?$K!j8<(4f1Jd4DO405Z>oY>XX!{TA6$BF z4FQ`Z+33&uK5i|nXtk|Sqa>uMaLcoQe5#rUelsnAH%U`a5nKnw${h#{`Z6gB-==oU z2YUrwQ?JDJ_HyXGGjOF^madNmQU@8vjaY6!Fs$gTN>L4RyS;Aw$nqwpaPovOy<>-U zOJa=My#KU134QM~wkgy}JUJ7gk6B$n6Lmj#GIGcG{4Vs9ORB`W!!B#ybH zKYaGk4eo%)ep1V(xTX+vL%Y+FH5EQ;2|$kHLVOQYP% zi8`(C7&XTi1jQ*t((b|Z)&vLtM*9QNMpE74zICcw$2gfCPp$eW_ef`t+>nc%?6NkS zZs=)zP|z+Id$|1uAI2-Li_a>yE2V$hZ)|4JV@o8j=u=@kQ;+YFDg}R44c&0w=Vw`! z7U`z4l+>deNVCEU_8#$qEloTmdnN=o2Bv%qeNDK?a0cbYg6MBmhN{59;cf7EftE~P zZ7rUKklwlg4RKz8f`;rhshVF`DjLsp%BuEc7ZyrRB%0S*3xJ-ZtneAZRpjt*#UTte zIf5=gDVlaCY^KXw4%2o>Xz})mY#%HpGszA^4%+t9c)`;Z(f3T#>=~pYeEWk^-iy=u z#+1RuxGcei=2eEt91%P-Zx#3AbsqA7lTq5;qt0ArF&TuCl;pjsy)SL_Ia|Ei`>>4E zVcsdGC@tPWQm%MwVCs$CyLIZmaOB#->B_oL21x^b4?$uRdJR&d<#MNG_FiL!2Fzp2 z$rd&46v2>vxYeW2*QP*fCQjOK<_h}PBgUI87m!8;PW5kNFr%lLtYpwPM36f`MEx42 z`dWi_IwrKb6`?NlD*yirSR!Ofc}ob=jLa7M%#dXSBPjJr|(Omr$$|T9}xB68_UY|4fR1mcrj~3ja!GtF{OiX6;h&r1kF_lR{Cq3A@RenE}cUG*n49i^&zos>O1B5Ir}$lLmapj>mz(Xy~sOf6uF4r5q( zRBTm%#8WErTq<@Wc3zDiZ~NM0CADK*uL5l?e%=88pmI(57m*6t8B?ckJfHuo9)KYA z>2~1zFP@aH%KitZImfFPAV2@DENB0tgRt|4vy9kGdiIDsPnEvU1wVdHTtC#_9l8J! zlTItAW;)J~w?}BTgDuK0KruB(OBWzy{wcc)5Fcc_2a2uk#Wg?9l{Ef$*%M>58vd)f zJ2S3-j6g6Zw7TK~nS~XUS$vy`P-8+CxSs}QcVFuq%$e5k?#7tZ;I*(z>$ISX67YEO z-j|9YFSepS$R;#LKEaLi97Vb&@{@0tY<#viyc1;j%%7dz_(Q2qb33KE+(#xESDV@_ zU!jHr`>>i(%+6GX78n$qcwQ^wDi(rLq0PYV7lWUE$Px+=`~Ac=*$rsnrNHoW3>M{W zfQE$C8DdS5&KFf709GIY2C5ViVzb|^ZL6zcOMOk>1k*&7yVA+UC%KmlJ({sQq=tqQ zsce?7(_9stwK7B@?=PMggJK*5X4go2+bAA|3OC^Ugt#NIO!U-7zQj3;YR=0=m`Trr z-Xl`!9aiyz{Dc5kbCHShOGSUVJ8Wy}zQH20G3jr6TF@uzV+66gSIT7~jg3>v$0Oh3 z?5jh+w3bC$QZR`Mj%{b57-f=gyQD8AVEc@5RcO30YbIpzV~IK)D9nmCr#G_QX(hs_ z%+D3;kz~153zwE{Av|>V?z8>yYzkcqc&l~`1dxuWn$KZ72))>(sp!D>aof=8eX^a2t&O@_KGzTF>Qqf}P^N*0qc5xw#dy~=5q5HYONd^KoZVLl^$|B}CwP|j z;@KMih?Oxb$5vr_Zgw96h|k)Z$I#DILpoF=m1O0?i?XP~J3i+A2~ddh_9w&fWfhEZ zZ%KMF-Oyd?=~>O2NEDU_t@Ti@btQ^Hrn93(f>+KFhilDJNM%Y>CFg7IyM{?Ov~`LO zxI2*V-7!kN-QP!{QmiMs9Xm(2`95~y+$1{;7_3g{G4w(9&=asHvE`9m_Z@J>$)NBm zvsQUVuDl-{sl;femv!mLF=sVf2HfA71>YEb1vv^{TEOu{|NFu(v zlxUxgswg@u0;{O_^)(vGhwg%4PibLXl)yTR8<`L29rV5KM^Tz!q3$?fF<^Y`l?o(p zr{*Y?!_VuZsiu>lg-Kw=41aL8aN5Aq^#=gv7Z)HhRg=&^FLxEH3(%Qs>k))Z!|omA0z{hcO4_2NawL|u6_W0k zf0(z-63xXi5rA{Q89w0p;%5UWwo?JGU^+3WaA}pYN}y#bVe*V6%X$|Cc~K*3)rNfK z&K|Llgi(=XdvbZ18rAC=>FItyP4wwzV!D`cN7FQTQ~z5N4fec#!j(30$Q;pePh`!k zB7()rdQ{e*B@ZO_7ln&78d8FqkL2``d7dU#^%quj-w;m{)Sa6uUz5D{cEe9!%!oK4(iu?Q#u1?jaV0 z+8ZA1;_+63fxPIr&ed|9S3AmQ`gC+=20GKJZA*=(Vw$8Nx{2=~w8ljVsaRDke17sQ z@MbiQpfP6pSsA4psJV<2`&}xW?g3kW_F{2yY)9yd^YbSii-bz~J6NdhtA&a^YlP8S z*x}R1&!~H5oL>jNGrU=uh_=1KgMzM5n#J9j!A#;AiGFnMzYP^BUd3#Hg7wcJfm!9t ziCfWFt{4eke#VLJaAIRhQHJj8_2s?)c>LxlJVqp)S(K6Vq8fXfJSvJ?<;3Qp_a6U(% zg-cH;-TuNZRDJi>>gwG?-$~JVuZkz=?`$(Z#Fxep>$Q&G`QVPa4eJzmsD|F<#?5_c zj{0BbJ_%m*aKJ>kTJx9d{=dHVQxm)vxPBiF6n4_>Q_|TpU-Ln#H)pQRM;9Op4ZA+k zX>QsxG9@;PqkZke<{dWIRFkRgm6}ceInxAEOeP4*eW0{uE)TEnn!&wwW?{dLIZ7W6 zc;t@Z{rZ>go03dL$ql;1yOW{^jxsl!dHmzxf?U$H&^l^_m2&&nio_t8i zwv^XP<6NR!>XoD;cVp)BY(Xj@ajqFhSxNo0 z5fh2^Cw5rVXoUKPSegtP35gyv^zZN9dM4LVR!8*m<%w6&2al4%&7&>vZRpcnQ)d}~ zWg^v(E|_vh5-5%r31g`sObZ)IrXO3EJ93RS8rp03hM(tMfTY0N7a(YnHs#yJcWJ^; zEBPzF|D_MuUCcfE_C3IEd4WFu8G)X@p>^6t0!%=2_NHrn;PGy z$bUIZmOMl}Z9n_O|7{KZtoH^H~a}+?%o=zvYWhFT2sE29L=9pv2KB*nOjFeW6VEq2_Zz- zwmY2_2P#h>{tW!nk#pA49L6q)zub&C%%=)?IfK-a(XHa-}rq+&i`_&CW2;Q+ds3_DD$&o`Qy#)7Jrk^ zDS=`?` z$IbFI1xq;z(7_bI(luF*2oCDGN<&f z^Y%5v1s0Q0bDnH}b{a^t&C=o(vPo+oiDutQyIvaD@G#CAgyJ3?ELGFHKOwTx<@~m= z1n1KSf!@~Kye7P}%D_%Rg9r-o)YX#m4omSHQMn)GEwqx&h&G#3bk$2j#i_>C--J zHI0KbhBZsYvIzuaI}auAZoOO$R@6N5WXyglZ^#>3yg?DOY*oz8xgHf|U`R~+y}s;c zyQ$s}rHB1H0t*gdIOR8F(C1Z*-GB~rmN3)eXp?PmLbp;%hXws+SBwA>yYr zb&OpD&x?jb8vwYK{=+iul(x9}{F>mdAcY$9ISVh1!aTJ2LmKC(i-moz{?JLj*n z7-s$V`MD^D0eG%Rk@75%9u`2;_)12jkbyFW_o`JPb8C^3ldWsFu=*jLVQ z#iLSsG@He`FWFY=)v}Hi27TikUw;=s{gX1>(VLDc(b6>Ipz}KD4&YcL zfc_VII4swK*XX49f@R>tq=~VFRD8-IT=ds$vTNbCzIPuLa9?XR&zTPkp|F-D&*c%D z+uhVE19>2|@Cjy{Y}TnH+n4s0T|(RV|FsMSxP;b%=qb79Q} z>AdE-&Cmp%$^>9FP{Z^5&2&I;qJ8Gfak_YnT%lB0b97*F*u8`OyyDIo?dqF)kG#78 zRD2-YaEv_m1HDQpsTa0*l_iX&dcW&;^Ti`zSMVPOme!o8bNTw%`tm(G2rCO3%hP!Q$3yI^zS#o!i}?7pEyO007B?P^$)dc={^*4; zb)zzW!;fOveSM5_rf|btVf`j0W1f~~>e4V5=+qE#D`BGk+=tU5$2=*7tPk4fOzxc# z*ZXRx!GIhMO$^0fhGnvNZ6mQd|MdpZvCVC}Zq1uY`!_IeJoqAGSXS~rC3M|_y8AvK zp});$r?v;ude*E5)^#isY^>*SNyuN;#8vlzF|as9-^G5Avkczeo7x~$}=^8YP&bSdaJ-O zhafn#Tfl(^FFU5}scAP>)0X;7w=iX*6yhcmh?7k8$sr&*c$taiM+`tSthbl)#vJ8E z{C37Sj=i(L#N91sHkB0X7fDN@>JHTlrlRzTTC?LM&p+cLdafQ?WB`(7va{0`Yr9eN z2K%n(mhEYVn`oGoGizR~GJ^nADOleaEmm%TsfZ^-nu%UmQZ7N9$^J!01E*Z|#0u>T zK`XnIM@3Z$F69fVZ`$qaDX8r+t@`{2vpOl&hep@PD#{BZ1_kn2AJSVh^Eq%GEI*34 z@ruCD{eY{v-O!HGvKtQT>8R@wMOka2#_Ld4^1-LU(&3{M3MX8?IqwOr3oG>zPfKr~ zqMoRfFB**tnpq3fX6wn)OR0u--R>D}x&5ZoT4-FXmZiduvjzVGS_Cfi;>;3M{1y zkb0VM)jMlR8wIcSpTGLA`=0>vtp5dQKW#@$bDNDev*yRA)Sr|3i6in#OVHmv)rWq7 z%wB-bO~A$AccyQ zy-Dd0d+tx%ex734hDiUm9bIa{jn$mje0p`5CWct}#RpE$!#BkPukawQsWgymE}L9gbR=!?VI-~ z8?;u4JQ;ekS5b#M$|&?9KqRZmeUt|iP3&YLQ#Se0xJI1?CCXgw$~JjWyu{w}vdU6I z3scAHI-*p+;qFG3P`hu^z{quyH^%s9Ci7L5?4iroDou&R?xiMzlnUi_%G8z*vh)U} zk&6mo@d=~m<`#Juc^4velSY;U%OBNJpjkIt={1iBNoyo{Ujsm-WC{QPq7PUlF9X)) zqndGxdChrSd+_!u$EojGMpRasnZBxJf>#D4b!0gd>awR8L*6f3|J@wuZ&SifNg zNxMNvJ(OCkEr>#~?A=5m%!Uk@ThiQQ@$>--pQyAcdl_P@?!AEfaFj&0oC!+|oe^}! z@h)hQx@_}x~geNXhcRbDJ-6H654y&Fct_KT0ZVW|~B@gKXlW1i0r>p;o9 zq_EBJ$5ncF<@!>U!+&{@iRaO{#i_#Q02h;xqxwP1SY0L3aT}ox=cQXmK4BPo z(hoE$))^j7J4SHTeRk)Bj~s7F4y@gcxQCLJ)h3}t@@kz1`5@F9E_-A=ystH8q255m&|5tmp@`k0qy=x@G#3a&KEiXe{~(fW48(b*#n~ z@DJi{c-@HwR382P#KYJ%*Fw#MUuu@u_5|5$>N<8cW))V{seE^l4bjZs)bp+WYZ>3I18B|mV-!s+-P-Y4v6GOz zlObu+S4)Xo{^Qc;`TIe?heZ%^fMWm}y(ORmJvuv8 zUZ=Mojl?^Blhgl|OHN>QU((rgMHL{ht^W|%LUU>kd5SMUxU%&HTnE{2U(oPE$^IZJ zy#?nFa^3zebPvc zU>D%Ld>Vndv_YVuj7QkrImFe{%#}Q9gfXVoY{NJ(F&+p@ekxVb==dez9#^xCd|Ug1 zFa&oy{xx`IaOM`xX$62dt4Gg}Rl8v0o*N$cnB5> zz#zix>K5f<%D>w%SW==OwKGoM>CcZhH%2r(yFe<#`3YwYcf*t(QLfDzsfD%B4ddRu zYec8Ym?nU$(asnY?%Y%%-_{pUyT(e6oS{*PZ8`0ZC(|< zns_k(M`GU`y#C-ELsRb2rQ=on32sz>#o)6oJ`tFof0_(QTL!q%u-ICF)ak?2)i;Sm3@1{0Ik>7O(Y3T_#kuR2 zH#J@3yBcrD=%-o=NW_glLjl-7voIyPU*J2se@o8<`Ys>#XQ2^zM*|w1EtKiC2;~E; z`&Km}HX%LZK$|kBHaK>&t&5ZLe6{MmXtSg|e#>}6niQ%5sfA>js5}N#B*vOA;K3sL z7|6{Y^jAPd9zdqQKS%V<%JUysN)yV^@nZ{DoX|q7tPf7?)_PGwMMo-3=H+4^$k4)N zIbs4nYno9vn(>5(^g)lt3k_skN z<%1|?peTJ*n6MreRMQm;rtcp_=|6=i{qIyf060!X;8OAX>4E77)Evy4v4**5I`V*<~OQTe64d{?Acp#-P%rQGdysAiz@;rubW{iMd))?3 zOXzvu1FA^G#kdcW#;0+ELk{}GQQ_ZP4)oF6o`WGc;n>+JIw$UB0hBm-Oj=X@woQC4 zs|nerpV$e!wT-#E!p%x-mh;7=^DJZZxYs#pe0<~(sIzU`IYm8LyHPt`NJE*j&8MT9 za}D$vTc3Whij`R9<#J4!GQtU7wsK_mWdEpPsb5#8z$e&gQ!b_66^WKNLtjNU-@iF8 zNc`R!R)GyqPGfs2$%z&NNzy#}? zY?jhTb^7vr9;)X?`d9wonl;|fiV$mh3eCB zA@55J=wO`X@k?QlwG(Tw>Ervcni?o$JYu%{g|fx9pDX>kv~sh$u&&`RiF0<*E6Q!1 zN6&8_yecq3VFo?;lqyRkY9ZB>jd40>GsTwoU5rD#^aM7#@~7qZ0vY}i^O&K;>5YQG zY_6+uVt*e0%`S7@UE~@gw)@);SUL(l0#`9C(9aQ=v}BPivqt|}z+->v(yw?x>n@Zp z5-`?!YGt=Ukh!O~;;&rEGfn4VcLWeqcCgESsKtP-22g}mVSSL*=|3#qx(sPy?$OpJ zCAj?(VNgru2=w3sT;gJ{e3$uth=PB(CQ%?jz`Qw$wPH2e?`SImrMts$57_RP~9LeyOV>9BJ=6;}}z zf)BOBxhDOaY3Hitci#S1^dFUGj4IG;-J>`H%n=elfI-8p{P=AOjh{W6ZHTF5vc0Nh z5D#mTp6aM%|8AMMDm~-&UsiHO+476a9ud79YvVltVplDDcP+D-wAT4lmCs#^s{72T z6FLi_TckJ9z#AC9Dkn?o)nE3?Wz%mkl3`b_`ELN)XW!LCGBodQalzPK2a;mr8>-Lip%F%2>`^-M(Zx=4J%?+8I zIJoT0QXGD$Z3bDL^kk{ElfGs3PN|A`=v!+N zDO8uU`SE*G9D7{V2&I7LGM#cvF>8c@Q4z=0!Guv<7imr8`J#1P(c+i)mIL_C$E!8T z3ffClc=w2cwNQ7ps3r<6N8jDHp0ur~-O1>(GNH#%IW8;#Iye9(Vyt(9pQ|t_1Cg z{>x_V@;g-z3z@TRIrj$oW(iDJRPH_4{vdK4^FE?$ucb|QZ*s2CwXCG9vv*kR$kb7l zv2=Nq&G`D~J>6f5dc`{O3g~ckt|KE|^G{)WX`eKKLMX0+w~?)1dMe$BT6@2uLj2E;5#$TOy4k-)V*4MU(a>WQ^;RMlPgW)Fu2BR zI+O~(an`>))&vthbA7IOYckCW1v`{pTno<*p6vDzPn-jXVELB0S7(aA&V)K;kW33| zWV9e9hkR>xief&rw>O7DDn_l$eR|4gef*;#@yQSkqR0NKhC|ku?T}t!O!$X54ajji z=vB)C1f=LGp^LTUnn7jHk(Yy)vfID{^vT&c&9xC-k%q)cvECcHCH_468oKU5;?TPa zrdhpNOlGVt=GmK%4{RsOr-zJR1c~DF!N6_Bp%h-8So>Ee({BD?aJIPLp};@DKj4s& z3If@0y9z?}51?-V@V)z$wZ;9gJOggKfU6+b;0zp)nza?EF-;E$!yPui+q7}az8Rh~ zCDFe*{3iR?+sYq3`0k`+axOPeGdlp8B5fIZ$WN&W#nA@}>$L&I@?X!_Sr|`kPvg#> zb?OWrL<9Eqo37xFKOj02FWSr-UDiLGWfU%T$3OJhj5IUrDnJWNzMb%sik)#Hd*;Fc z_=0)G|FD^|96gdd3M{y^r}sWtCEaO;UOT5}Dq{0L*1rJ3LPNp;`?!qb8PIjg0Y9t6 zm+yAKKi0$ss^5(O*?vFivPFzOCL2Hs6NBILnf%}^`FoIK^9v9Rv?xt;_sH+<3o^CQ zk~5dPr!S8qMl#Jcp!{Lyb!VMe(A#NS?*ZL*=}-Qw*Uf8YS4a z;$B)MsEAY;26D9Y-}z>Qll_L(gT5UHfc-m7Is6}_(UMmiJf#xg8(k8{z`1~?bO{HI$KU_6WQ`cz3w}#`! zdv8k#i#PWSAG<8oAy_D{653fYXnS<`BZ#W7gf{>FGhAdD8E0iJnueh*Q|-}{rp$8R z@#js0=uG_rfr)z}Ad%-`TqMtRr2|TA-`1ix%cZKlE@}G$MBL{LZD*>CZ8E zT+I05_l8I47AAEq*{}bM9!hyJ-!aNWeb|ynekqY%#^T_Aj@*!D7S?zQe*wY=4zV4l zop1K0FGIH1rZ#~?ZtKq#kK~8YJyCZRPp6XfweN8RVYq+;vf3JJfc_r=qtDUNzo1k( zk|@J6Pyk%aIKwYPf$M=H!i-p;pCd4OpWG^af>+Oc&93VB3%}Bo!y1Xi^p-4>IMP|t zmOWC2Xn&2UY{ZhI;MMWhbPN)IXWxd3`V!8;SJnEn zfvZjwmjLGdY~H>6!{Sl*ZfZWA>8}XnRlB7g{95wYIv@8&t1Q0**Frv|EB_2kDuO*j z(BBbEnn0ZQ5<6u#UEg2&5;EJ_tL#`ps?ODLxc#Y_x36Yncf$J7{r8c&y5$p)lN(J#*Dw6NA6(m#b2ZjnOg|fz#yn zCxfw9EOPzO$J3rcW>+i@$Bz4zFOAXD!dQwJKf}|?=QL3MNZ_)B zPjWxR-|#br)E8nSz-R#MasN9@RFC-XT>Xck8IYdoT7DS_V6eHp0NWK>KK*xKTvZfk z4oLx|bgHeaZ8Wrr%^t{7#Qb|cHrDTw?jtAg88A)U09Cs`+wn~FAwR|sQP*scJqxgX zNkYFspL#(sl#V0-@!6ILpzN0m68`rgYTpVLyp0;{Mw@LqgVIXs#+K|GZeylAB7^im z03h#0XxxpA8>%t`3Zi{E>lT>o!|N8zE!b6Py_P18->(Om*DdmBpLtTLa<3WnZUScr zxm?DMlm~jA}0jIT}|CUm^r%cKiN9ne7N zQ#Z5dKvTXWROi~Zts2?E=~Lc zubT6ayJvf{gZ^u2ki`VoqOkl}eXt?ZCuF({(1B9TZVy-;{54z8TFNkAR0S4oQVpDJ zWuN&+o>;k3_U#ZNdZZYsSThmPey^%;r9I)VTbmz_7uJThg+ZNYRz<&-#rOUcu^>#( z6B}|$r+vH>n?*XJ0Jz{kJU2Q}TqEhy@+SE1;jGLU7ct80)-=M^B`q6%PI1<0Tc>`9 zC4sK3Bj|^#^UxLDX|lQuyR4p{4T)?NRhT4NA_C2gp319UfW9^TYrArRTJ-;Q!yJ~a z-DE#RITIu$<{S*Z(@n2^F63-MT+i@wLD>!!rWt?1{}19M{zVS~*PeZ&>strp$Lbtd zuL=FI(;5ouGTdTt|2)fUqiO^G2no+x7XI`oQqfydLE0blvf9j z06KZM(wVRPJNWYX!Jw>nSy|JiPbucUX3LF zB~gPS$=ABiT%@6=5N@x+x!(C8RmgpW1sXioskL{I#dKGZa;zDfQn9XtLddsL!QWoE zW{84VQnN_Erc7PEc>&T}3OmVMuO_5-WFpolWud#Hhv3kSbxAt2*JlE$k8leq{7qq} zCRsh-OvhiwhxFS(5pAQ1 z=x#(5Uc$<}l{-3+e?8<^e9N>#~x91wbs(@pR;I55S26G;?4EF6koZMJouXLPqTZla+~?zUQxYrCI{A< zwPQD#XiCVMc@jbr^_%tN0@p7GK#2DHO!fcTmwpa!{;tEwqkmGH>G+t`=0$fg)^)62 zs&ief8=D|!f(MMx#D5;W!Kbg@e*-Q*Uh%|$cafl1O@f>>gMaO>^9|}sUG$)jbi5tI z7KE>qnCSCb;hrFI9X1sfOh}@Gh4^RQzU0vl5pwApJC&KrHbwSal(en&eh3cO8NcfK zfSCWpAy`EVy`iMsox)Z=mVso$LH;;U0MqznBRqXlYxI#8L*GboYyTZW8L<@+^xJ!# zYF^M$)8jRL>u0x>jdArsaJGwhVD}uZUQhqmb~R{{7B1#2j|I#&&&oo&BbpubU!KqU zoFFe5Zc{bIW;=wfV>*U9*<~txLi^1BR6(qZrL|cdv}6a)6@oP(@W^h59YP^fc#)X* zJ{K;wyaP;7gxWJMNYul=G$*%W<>SFj?=~2}Efs@O+5c>x#}UU_VQ1J|CxhVLqUjkO^qtc5>dV0DLaCU;z{*NdJNw#RL0Kp(?-aww4RHeK`DELTyU2!yJKJmPU~a0eIh40L}y{g zdWTqr(q6w@Ugg9(E+J-P>G?pvczkb*anV(Ef;VrAG*H06_0!sGN0c$cn!5r7m|1YCFo zw@dqMS5v9;`WgBxLT;N$V>EN}V#dWCBeQvc%Gok2PjcCL~pltTHsmwJ{ktN2vudq1*83*w%=6 zymQu8owg;wAy=o6H?P;(uuYfAoV}wTsNvG%=^aU5(F(P zNEVGLhZa+N1+$f5_vS8XlpD)(vjk{~waQdxFwVGewRGdA457v4Z36yHIfGIWe7?y= zci+N^qt=gqtV6m^?q}UV6zEr$NzAW}wR)m9m}Mu%5MPL# zXrEBh^i&f6$(W6OWo@MRRPK|qCIlE_(_j*Y>cPTuV&-{SBSxj9Ao zvB*nWWT*p*Z-bSIYO4#LWFpqgO+tev4tkhoJUspdH=c6(?u2c=t|G>P4*olRtfmh0 zM(gYIHw#*Dk7BJ_5J$@`kWGDamW=J`nrOrc@LwdpXGp}HBS z(81Mh5`k8@E%x!H!j%I5QG(Y@kp(teSB^#Uh{<4tl(b2S!laft&5c8OAq*BjY3lG9 z)6htjK2pWP{wKxxrWwwwI;A?CWNuVKaQ^jfJSOzry4BkTlc?G^i60}4(nEOGrk*HJ zDX%=LxaDD43g@+9yINDS92yq+{CMkQg$oBQ=eZFqaKhrsVuGQmt*$PKs>&fJM7dr} z86=P_)QpU-*s{E;I27sN)ntKX;xs=|!Eq+8tCocvQ{X{q&9?;$B`@dMywwr|;wR4+ zi%^6W!xWHsO^JXAPl6`;xF4oZUQ-&lv$;|{35BpCn(5QJMUom>iJ!_X`dliw`^S#W zoJ7i}e5UF}+r-HsS%SLW!_i-YI%?YF3^JarHd_f0^I^A-n>?nCac*TWD?HWUF(zQ; zm~ZGTIeL8$Hm0$^n4l?bh7@IZ#fke-9q-)nyXW}tL62nE1DyQZ+&FF*loUrSsOc#M zEeJAnfPL%J0pP4wS#(-)h&W+&@^;m>a8tB3YnfSQ|9Se%2qla*A`;4d_{AKO!c{H% z#)yf+h)~}rDZZR6NGi)wlAMYjBAl85RuQ1prEKQirXlo?fPDERsBP4>HK#Gj7}wY4+*MgJ_sL(7}<& zxQHhYAT08xVe3gos)tMQF_Vaaf=g;>VD*NroY#8?pVx~}PSq?dHWM`7Z7|7+HI{a9 zErD+908CXLbzAdcejS}8p{=b>EtLFYHW{P-R&ygEp%$kjJ3*y_V`%#!=0p7P#9|S| zMXjo<`zoYS2KBBUX?cL%H(~|Tne8XBG`O{ zPSI0G2iHKhx!OyUlpO4VVqp-yQdu_S+!1pAd0zJ@W`mo}Sj)V^Ny5|#{&uhXLey7p z=H2vQ=7NjiW6`wtWYB1EnhXjGLdZ$Md0*n#fBXi#g+sBGYK}2}#=k97*s#!_6r%** z>mW`CqZz>^lkjhifrR%yk_h4iL$W+GwOm%haw`GGL9*Tzub72N`gUnoyY7z- zmeB)uY73kwmD|62!I7$_Ax;{)L#d~xSS*D0Vf_*Vg&Z~WI{Eoq5)tmLyj6phq z&x2$?UtYM=K4Br#my@}cz46c<*S8pcRA#q!1p!fh2%Bg~UGQ8T~$2}+~fyH7a9Ji`*n`O>rgupL!ZIob4$yrYUVy+WSakd<>w2-Z20z5qeL zvZ;$m(~b~v(R$?u!c3k-roetJ+tXiQ#oy7S|1iGDE1slf>J;N|WZtkW-|>uTB;4|o zXp5(KEBqp_Ue?NEx*pcZ*n-C^NWrtztSW(FD_BIXY!*_3tmjY1yHm72S>bV-zX{== zO+7P$LvM6N>&sz9DJ`sGYMVS`I&~!Tq%dEx2I(NM__(r(Of`qx3rP0z zd|4TLqI6sezh}`^DB6gQnoDJO9S@C}k(vS!Rx+lx-Y=zy6C_MAgg!Z|VP-WXt3q}Y z1Ir5#&99L#Rc#fH-ZGY>Oqgop@K~1U04-(o<1}&A;&)0zrrU=%Y_rs-WQuEIP_PTj z@}u8Bg9}jhQ@y>o1wa&Axx6ejh6k@Ax1(zeA_4!cYI+-)esenw){26_kM6B7;rQr? zh_6AP5lB2!RuGkgpsSL3z3Yvxnku=O7G!2S9V=i|I7J5v>55)nGJSm)^bi}|@G1_3 zCIdY#c)wSwf=Y$w>dnd=q`IY#s=M#JR*3t;xxy?8mj49O`lfzdhRJ1gK5a=Y@Seo7 zC2Sh<{cDAhiZ&2C;>z2zwr}wHU-q9Ocjs=qzD%27%*sy0kA|*U(~D>|`eU+536+de&OM^}C`c%3T8yM?7vBV#KdR#z4Nl_0*B+N<0XCyN!@701+iVYiKl*bOGnE;0Y&9K+ply+`==)sxDa=;<<(fn}{}~c$y7cQ*A4U zv5Ym>U~wj6zk%T5yjD;^9eQkT!N)-)wf1VqchJJ<4F_|o27f-!{hhy014M|JKG9H2`+?BkrCG_8b)q<{vy^yJ4jwh?x|CE#0~Q0(e*+Cd1MFOf(& z9N@>qtdwJx`%gzY5zuVxE>`+OuELVa({1d2&2}qz|HT$jt;d}K@YEm5b@{NO-RR2y_Q86y*+@(GIU6& zhD#ImxLWZo+j8tPHdZuiKStLbVC7=(Usp@u5-1xYSE*G>g%()sVOZ{tZ7;+@pUBH_ zqOKJyQKfP`@ZhP}+dQ_BWp@BJjP0;!#`#V5ND>omr$D-!h1}ig$#gA7xCD@ZZh#NV z$LO_c?83P8r6}%c%vOb~Na0p_r{}Ey3#K7C)wSD`V1>6SkowyjSTl~08Vye;kLpZj zQocffV|tQQ+@_#dE$Fgp3;yyM_~7@j0Q6^#+-yBks>g*mCq}2$D7r+)MIz)9KJp7R zv75oeJfvzh{lk3)HG;YTPdJX?v{{kroi_jp$*`8cCw()RKS8H`*Kcf$BNxcLHV!E6tw? z89UTxQH~FK7nsT$_qyB(z^qK-TKp+oX&T$3;T@1Y99>mwV25PuRjNQwmZ^#|<(B6K z^n_(demez?TycOl0fE3Q@tmmnUtlDs`NjF%hOWNOyVpx@~79& zG34BzgX2H&s|^r9b}ykokjPZpK-*-mCr%oeNNS93tQAcGx-+i7xSm#67i!zQioR&k z8|_)dQogSP`U_-HYzz20$jy77jiUjF>&>cR#gkCO*@YnIcw?zqrng^uK)lOI;m*t( zAlNpdYffUXd0$HAovpmXC4aX2TsO5yIegJp%wx%*-tFmeN(wo3#Zfq z$=po&LZ=fbz$@f%W>mGdF8vQrnXfq(z51bQxE$;)n(ywGhT6yaVeGvg389Ps-o+k$9|Ri3>(`F0NC^flS~|LUNj4L0n!a>e z2+^>Z@cXruE<2W2hoRY%AWOCOmsh4W(%bYKG#s}0oOIIREz|s-VnJu!3(9q?ufmV$ z``MCq+qg88Q^#OBsgFa&}9tVEOd(c&7-KsytxgM0P)v5u)4x{Z}nArdwQ=7*U#Ka9fUkJ zzhidd9aJyXeLaY>)to{SMwJZ^LAY-ruya_lyeO$UxfDU9p&?+YOh)9tXls@nJYycm z$}%QK=nLiL+q`?#yh4(H0F(~p*%O2(N3mj;;io0g=?{Qxwpmg?S{4q(xI}A_Pm?Sv zmz~-&+U@QCR=yoH##eU>?UBOXS*4Dy`3Kq=S$%kRMv14kh^ZE8tsQ=dX6wL+){=WLj zbcqsnoSsN;SZnm?R|3|`Jr`9JkQII7p|-UnO%ClhB*yI2?9^r0UCBhSTFYfdoJt`w zX=$|RuN}buDEqAQu9cg}Y&(UA-TW};cT;7O8 zgE4o$@7RbNRPnvg^+R-`22hI5P#z!bAj9##bR+F-+|fqBY^;{`d%zP>Zk?qJ^V}{H z-g>tmML1}3$7gm)oI$eL*pGKOy?P<~)H3<$cJwh`^-{Agy~_G*w9^J-A1#;3Y%ja7 z!@9MZoW;B3&6_jt9ihgoLb}fao@0!j+)!xgx8zlEs{No7BWgq?6x_iWX#WQQ8b=B* zSH~OYa7Y7UR^M_VdwbF(;(e;J`3OMYAnP3J()&JgH13 zW3{<9+|73rfk@mcytlmlh!c6k!}d&39V4pQ-JQI9-IeKJHBFp>(38`GilTF*nfgZ4 zW`!?g4>9ni)9orKY(`;8ZYF5+v@wsgT`XSA?`~CZIjF-{4Aol_@=lVz=V8{+R_f0= zbjTeO17}SX=CLg0o6d}(0Ql13pwC|SBF-J)LRkcA;#GZ-{P^O@Yx2bWIEMf=WQF#a ziT00e=`)-UuIqN-=^K35?QB5PKXhhNmek^^eT5BCj4opqBzjJEMWdDcCG6yPnbNZ| z@Bz-qz1#)%9fuQ7u?2O!dng{rlesijWQ~;$(Zh8~oW(q{D9-6zww~6zxZa=hinWF| z%xEaOi8k(~L4ozg5-?srv4Agrrn2fj+iROeTYc*VKA-^BlW8e!b>AWDp`bB>kTb6a@{piNOeP+`pWPgqZO7;Wkq0epZ?44ms8ZI$cJmPPlaY3j^)fjh73jXj^*P)TXg;&>?A6@5= zE3W~gkx`362%vT~@B%bhpo>UYe4v%!Zg!)Ahcgj0BHgrKfoEB*VDqxEd7Y#P{Rxeh z*#b2RWCPYq|4aSwVc0cjs`M`D6pmfMqT!z7<;s6fzusteNKZt$I)ClrN4j^}(@dX? zPdsD?4@3hMP6U`Z6Fs4<`prLn^MM`0Xw!X}Q@(gmCp7Y;=&Wm+gwf90KnuF~p%fO7 z09}fq%92$|)PBy|M?(yet^7-n$}5@Uagl--G28b`Lf+EfPizOS1?XHtf<5VMjF9W* zBoEPMRW9vzf^Fy=>Yu^P%igA=VvM~DgxGxTo(vCbjT2K$D5go)!NvXEY))uxu=(Ch z*#fH&yLeC*+CfvK%>GVr{+j%}qsQ;{Ys|lazMkdK=wF2*MPPAZAlc)KsbPWD9%$b) zLztNoTmXYWge@ifflTemy=`_-WneD&&nFf-jF6}a}H44Q0=+2XGrm1Z~f*rD(F zGK+iXkibF7r~-dWWTdknP*m!2E>e^rJ_9)o*yc^MmblgPrkk=(UY;ipp%~(63B(~- z&Zh_cA44W&(;ixM%F4B0e?=y@Ykg8M-{;qq$RBjn=pRfOEcRvQZ}!ZP?&famS3VZ| zR;_nN-LtII&cAoY0Be#&V)^=<;MxK?_wBDOVP1rbh{eaAh5Z4LlP9U7et}+AvIR{| z)iV!02pIA0!-xlITjp?vS8)8}>dg5sL)FXfhCEcbfgQumt9g>c*C ztBVWsq3Hl;&-3P^i^~>5=?yS_pAQ+;T#UP*?_P6LeDG@u2Y=rymq*p2+I1y3t|W0; z@99v?D^bu?8Fgxa%Gm<^ZjtDh=bEr9#FLkAFlN8HtJx6iIBgiP?1%L2lr<+5?NL1$ zbp;nRUPx~)H#@2TRY=B$DD3W(iBj7K; zoWl*TCxE;J*jrqEJJ2!*;Pa@SCMFy0$8LuCk#-CL_xgDK`hUA}4?iNjbW|?{RjI+* zk=l)R7)L0Efp;FA+K>vz05%cUu5Ei!5Ib4soyjkeU!Rk41v|2|c?KfSGEa@u4KYh& z!Xlz9)50KOgp}BvLsQ1-10}!syxE!| z!jm#oms&w%x)NPWer}{#SZXT(eHCV6mF7znjfqmo33>C!;hLq;G*?1{nvD_H69vB7 zBn;S@Y*c^QF`O-&-mlcWJ8Kl`(4{CQQrtHBbt(wLP>=!2crMR8|4QLSrOmo|w&xqM z-EBWbgBR1kE2HIY=ya^9*zPb1!U&EUGj~$cj~xmaBd{~W%E8s@(D-9U8Fu>lc)bzoIkJc*P}d=KY)&B!JJVj>eI|05QXCTiLAS3av4Sg z%U)6=M4M*PgdMgKm=LS2@a(3=X22;fMHi6h81c2Q@1Z(@Z93F28WHuUC51W|*S?~R zuejmNIKk=T7+R73m9R8ovF}Up<_d!?m}&OtL@3R2H;5_HB_mH@el}U+1!B1&Im9Rw`LWXkomry$0`401- zV@wV8UiILV^&%kK#+o>&2zT7-^2|U*%)7jYYZJr~CKyJaVdcUnGdNc8d!M~5+Rx{X zUJ%$nGe-!WfEy}>J;Vg$;>f18RldF`K?Zl9hg?+^wHI4<>6(Ilptbo!bY8b^bMhpC0uAsY? zxehA(4X&G3sdp;oPlGd$7Q>|v3NW(;Q%Mn16gvW(2!LhlK1W4Z@Ius&m82Wv&oh=S zjTMmeZ0EUcvH%_d<_gAotJ#mS%OjrtrszAe2FfiX^-rPJY#~3|*?*O-{17wg3T4i{ z<@Bn9d34ceIIty7X@33?4)Gp*W6=Y9-0bEyR(YM`z=LE0GLCBf@1G+LUzjz~6W(O$BV`A;d2 zU~K)jj^<5mHJ>$uzc+}aCJ`HOsTnPq@D#p5CR8R!R+exjLk`=RA!Z8B3Ea&MwK1le z)#Ck-uMejB-74zTDOkB2599Dk0c6EvcI5wf$x~}mGC&OcvcBDBT!h+A}P zHdti0|K@I@S2MUiV>|mc%m^Brx=?hphiI)A!%K zL;vb`47sJ7=ojh!VD}Ke&w~LMTu%yj;J=LRH$KU03xA0Z_qNxPoaEv|KB%k;o`6q3rgL3h0~5`WQj!LHGA>bY;t@%`{O zU?e|=?z(%5G2VB)5Y$?VJlIc-oKV(M7$F5~dS!9&eKf)PQ$kOFrZr!}g- zw96*XWDI56G@d!@H4eKD$?}>3)RPJH6J<_H@^G9D3Bi{6#S{$ z@jzYQ!#G5)tob%ofGxF+MJM0j_H@f&XHS07`!7(A*6^pW(4u1Cl1mYb7NP|5AVo6t ziZ@B#G}PXLg!dy1&`RJsvF~{{IyMSqWBMhuU4^dWdgkbp1Xrr!{6IL$c%17>8mry= zx&jZQa)-bTYh)BsGy`##DLdw`h&WHL+XR|rXjk*(BSdI~T7W%SuwP?H=?keBA{nA4 zj_I;nJ3=^s!$$}J70Ly5vV4lCBk>5IHb^HlNi=KCKv=jM_lvw96x705pbXzB!^9be zp#*;B&g-^q!V67}0W&jaHC0|aJ|Hf{Ml2LXdYDI!f6G#vNC>VeQTM6}bR)_Zr|pO5 zEOAB|V~>A$I$Q&LG7MfGGF5hnJBiHpb9OYRA9X)JGtoET>6z~S)HnJW6;YTmJjhcA zlsHdwAx8hD2=>IA!Ht-#H*WA;D4Bu1n26iF?Im)S2*xs!K|9xT+4q6MR*ADmX#Xxj z2T-5Kbz%BLRC+t7)hv<|SQFW;B8U~M)xoY(E6h(#(Ca?@CW@OHPzO{zj^4|gg{5RFuLm2wo7u~g(jz5U#O;0PE7}dHK zif4)se9*m4+_(HZVf;g4=#ChGI>_PmEUWZKJCho3z!LM2{Ba&lQrwEzZ(yhxYEZIW zIPKs7V~whJ>kwB(=lK}=_Q1^Q;seWvPu|G{-Sfh%n`hb+?p4ldERhQX+ijd>o4_&`06HVcyuZn`@O zJ2CE8NZe8+3itBe=!Q|#6Md-KxQ|?aknLJGtSpYW#F7ezi3`zmcER8uoEb8!@*rt8 z9r;vsUcY{PPa-BEO*m)SB#0*j;-(Fa#wux-tDk_KzPJX1?Ax>Ng$oF4GYjMdtkx*0 zBJtu-4r~WI$yIPk{e4ei9V%fOFU!M&C8fv>+em-XX?Om}fS8y_dp ze8stIK|h@h;4fyITK3bEhr;EVk6d?Y)fa@`ZS%L<+|$dFz=^J1F3xALf0ZxWF2vLt zaZcm4fla6y5Hoiol80+e{yWjBFPunzu?cpMcwpDPd$zgbu;anrS^O%cf5{_3VhQ78DMVkIJsm=^XaHr{q@ltDwIYjBZgVz7Oyy;*14*o9>=>N<21@T7y9PfQj z#D7iL%N{uNF~9WgUqaZqaL|ly9SQ09vx|OPJmTM2&c2=+4>z=k%(v{YhP|cf6PwPp*HkOPM7<8j6$-W3+K{R<-|cfZ*h`^Miq5rITP+G* zw<-Y9@6FHSN5RS-y<1stx`|1(v;_N>3huL$m0JZyA%tbFw`J~}U*Tnh=(B2mMRUQn znE=ic2!LH{RB!=)I-zckvj*$#S@M9wF_liorgcxTR|x*D5Ywz!F>}UoKDLD|F-GU| zF`ksC7DCt!XZD)_90q~X#-yr?m$JK0$0`?VVg{kR`5Dpk4W>$Pol>jLC$;;B5aX%X zEf2&Kaz489cRKbyPY=Q)2T(~zE%2;qAN~P}m(ZY>=oNl3cb_{KsCP$1Ttcste1C65aDlWhILrbi99ufn6UT9{^}oJ3xZ zOl|ql0&V^ZQK{q<2ouf~E=b}>`T7iAw4Z)?@HazT0}}gJE+Hb!&b{1H*Et|+KArWg z;$1neq^FS>ibcCUmCTpUzPC3fRHr)nnK_5v-B0)K``MJ9G=;p114NIGva;$R+%c6B zqL?S$Z#YfTT;Gc0IT-e7@`F4}hQo>=qWu1~L`BiIYo7bW+k^!8EtfnRA+r#T9;o{7C%>R&^>4MrdM|wwj(xe zR-80G{j$B+h;9AxQDMsccW$n@Z|>Bkgc{prYi?N8v(4;Etj}c85Zq0KyMfh_>lIM^ zio?Lk#s)vZNjnsAC+3*YcX-M!V@_;#K_aa%soa*fG^%ED!TrVH%!s zB176=FKI+I$-E>_$lCWcfyxf8&h0){Bp literal 35893 zcmeFZ1z1&Gw?Dd(77$cG$t@)5%R&0qO4UE(G)tqyTIp&zZ5p$moo=$>r#D&F#K?n#4ARXWz=yU`m z2tq?aK}A7ELq$bJM@PGiiHn7afq_YI?K(Ct2_cx2gpio{7Udo4TjUHB#KbiBXc_J@ zv$3&(sX2M?v+&$uWn($31OXi#9TNldCKlFB7BXTomjCwOX%*-y8p1Z>A|e7g=+adL z#H$FWwIDDEgn$h6_N>D{{tzx9A|a!oqM={L0A47-0bN2sM7)HAh>VPc1ibAGJO?3N zMZQMHEP!$y`V^Ji0+;1QKr9-?gPdwS*{*d;RxL|6^vn1+ZW0hu-KM6YrDJ2~xObnE zOYotPu!yLbxSYI#qLQ+Ts9-gngyaR*Y1&4&b4-1cr zPe}Zjl$?^9o0nfuSX5k6`njgIuD+qMskytSx37O-aAoPti+Z5Ht8EM}r`}YWQ`yWwuPS`KHhC!H!2*BVWUIjrwdxtb} zu9yFF{D%ksYch~2T|b;L7u%g*MiiYZkurL~Xf@6@bARu^9c1%Pi3s9ao@N^=Jy7sE zt5^4S;9|DkDab%OK%QN#5=Zm--N4P+v8BU;G?cgXl9E%8&}WG8IJX;Pum$3>{mN4& zqgT6yU23UMK`&O9PC?EV>K!%C5_0$Mm6~SR@NBVN)#UFHRsUkM5VWJoYsF9MDP-~3 zq`a4p!P$?fq`O5re~gWm3~fz>0MX6G;uQ3}Uo#*{bKk#KlR~9jAbmu{(6Q;7nntip z;s+n%?W!ey(jXzrfc@K|vr4C+S4p)}`7aByEU|N@OG`mCnW(kUaihoAo>{-^D15Og-@6E;;VCh!VyIx4ZIQ@^0^D z7l2Kz@IIQ+Ay=~rmyDp>2x?lDXFRr;O8Zc4h@XYT`}R zTrnMPJnyWr$8sG4;fve;*A0fZxC}!#+BbZ1pQItIcz|ZcUD=c4irY{Q*UVnS$qPc3 z?TWl8m}|SQdA;Sj;^xZDMU%-gp_MgcK9mv*N ziFy)z-5vh9n(sGk+jYm&HWrL`)g=<}1EtQJ+ z?b$mAxTpQGS~7^ZM=)XyQ?o2(z#=+PFzf~E!nyFfc%YQamA2!nmduOj zqYwerae}_t4NngyvR*RfOoYJpIeGI(#gvDCtx_bt!5}nR8k_Uh4lScRx+>s6NiDNJ zoXPJwcZzWAtw^;;LBt^JQE=D^EyFQ3Z&596!F!gdkG-z4ZIEjgY1rYafU)s9UmOtX}1ZQL~FAHB;Qk<81sf zQ|6f6jfHCDVTlc$Eowmf~w)T*?j?llj9;t&C1t( z@RqUFwTfJBErr}YhLkI3JoQmSYbC?MistfzToRd4EU3KPV)rz5XzA-Up^sxi^bW0- zjqy>gbN*ARr1agU>=T&dhJ{&#Quk#tXvu_$NzKt$m-vZ8(oR9wqp$Bn#LM|~<42rR zADTY&!wCqOSc88otuU@pbxD7gsJ*MQdRs*+94EB~T+@>z-JDktjiE6%w7AFRTr0DD zs7m8Ia{JySirfS$xT8O{DbC)%)^1m%7W}lZXO-&u0e*U`o<$GkHh5;=^>U%3O~%)H zEG@P7vXApd9&UINAb7{L^IAl=C-qMGjZF8utqbQA)aAF_>GIuIqTs8jq#MlXG|ebC zOEs3Jygj^zHX|f!=N2o_SkFzmZA6IGH{qM_Ys5*0-wzcHq`zJsqKJribB)^@v}pWl zec?D5eEk$OaQ_q(IAEtv)!#)K^drb z0G)!8)NKygjhEK#r)dBy_ah1W1hN)xg9{rH)G+-G;I?*AC3b z81F0JT8WeKc1&S z*oF#$aR1fORN31EUxLdY>P#%_oPw-RL3AKzTqr;Cw`0IOATMG{fErKkNEUld>;QWs z#Ztn8ld8nlJMkn1b&vAcbHD3np?f!AO`69k)FAco@LQOrbR*0c{IfvX&07=2+mf%q zv?>ZIp`L}*`=1vKNvAqU=Z5J*cN4&)L7U(ik@G^nzxjf{pP@SJzuZplOM1MWGmyNbX)(o3U8#8VP;{6RquU zMK?s|MN`E;S`^Q`2c#vL${E>AU18G#RLx9FH@Y7&&8ED^v8q z8)hAH@+9kOQ210RjNHjAt+t|&pBa&Y^U5pWogpRydi-e01?V%cSC`)ReFi`GbDDSM zp!w(^b~4fLPYWqK>_l9=cy&n~){tMh2A)$tF&%yAHZ12q$$OH9dZ}b(&4=F9Juc`{ zP60YQeWWHYU%i|mj%RzwLi0pW1d{qj)O?QkJgxe0TnTu!O?YfAKQxeb2e-rBi18c{)B-XBMvD7KF3rFky{YE%MM6#7TKfEOrVk>qLc1(!EVCd zD(|B}BvMw6cS;VHxOIp>Mp?yIJcSu@iZjE6L&Y@4DFuCV-m>!}b0OcGgOjffxc3JMa~!=TFW;p_ z8|*#>%?wpeKpGW>J9;P-3$;WxqG##8zKb3^G0u(t>{tAp#u>Ncj8*+YD=ZqNY1vRe zM6kG3C|$9*dg^>1UWY?2tV84!^vRd>S@hN!c!*bVvKj0cxzivhWHtWtp2!F4<89c{ zV%O@xliik_&Mx)6pLgb)PC>k2_#qqc8E@_vYc?g`^IN|vAG5`NRz`yLckPK3X}tW_ zoYoL4?=U?#9_M7vb_VQQr?W#@N)mKiGx@yr&uB8(3_7aJfC~OL>c7jtf3E(1Zu}p? zm!-gyYWODLkrFwR2E#1EWTY#0Ok21JjOWYHMFsBD?5*X2ovfY_Su3|Ru#lKB z?eJ`3Ey{Oa24&~0ou5#gFYMl77-S66>)869+8mZ?VlaxFG?NQLy>A7c|l;wb!EcWKuzfBjW?@GLOAJq zLv6z&GkW)jA}k^n#!J!IMu?PWC7kFDWCc8xrxmbvsuogG7}HmubtY!y-=*awr@V}Q zOjpu8&s>m|Z?vmeIpl@4`az=9M&+{?9?a7gn_y+TPPXd~JL-mQ>g}GH*IWV%T9fyJ zUzrro%y&$AFW)Ni=qJM~XRf>1evSPyiUZGOd^B0Z+oA!wK}4f8n1f3}6SyV$*(Lco zZ>$oP1uYpFGRQpCT0eODnm@edTQfq9vA<9td;6NgG$na_Mu&j~^H#a@j1Jd|NBb(e9tnhY>HjwbXJc##%D2 zX5q~}5l>OnsB+Z7gyRuM(RNOUO$Eui>j=}ebRb#y1&2D=;g_W?^_R*z1PrRD_h{TY z8Ae8(l^cyVI|a$x-g6vxk4+d*)q&`~&TEY`n*g;c7c%>uu&P?d9Y6>Awe3B{Bxdvm zlBuz?eMn*}FtiDF+tfoQonNexb9=ti5nQPkvceC^fz;3S22t1Ftv)LbB3od^4Q4;EN^@C~A5nCR64;Jq3Yt;E=}tF)d|S!xxzUCVPv-s>kOzo!-EDj#j7HHN za=)9V|9%$~_o;#~i1f3kP#}khOmmeRwz+YXfqqw}A{LXZ#}fxalP{+r4#?7n&6-6! z>_m{joyv^yu?b&nse{QUL?K;t$JZd&BMqm{n`JC6_SN4wBzuuKe?)E82j`}F+K*0%1 z=~17S1KY}xT4Prsw_0m1ve^Uq2*RBImVSc@;k|hM2NFfdN(81}9_$nBZCZhZ#3{%h zh>JWw1(7NJgeUaZPC;;p&N1X|Mrmy&@WK!TdzOy=Ii=#hcwbo7kj63>!>+BR2yyO| z1UDX$B?}9}G7E&TC$1zYucSTFhlpFlbetvwxiA>{{lQJOmRq`-b1s^d{V_qJ14%vY z!Mra8>w@ziVPY18jP$0cdil^D3Qe9Q#@e zP78HR>9ONNHK^}GRqRS<@$K}w7}qk_@a)QMyS~yS#qzk)`c6w==ctVeEl3Vv%HF5& zXTb;Co2>dBBwBN`YI=9{*x0jEhg13)P`~nLA?PvAbR>2pv`tK{{)nddFkI!MR*v9h zQ@aLg#NjtF0M=|R7)W1xQW|_bqHWl^F?ze-NBdU5*Hu}=!@A6bO%b$UD*l@dY`R2- zi&dm?Z({P8x@1%}sAezOzeH;ylYrr%5|B0&NJ|Q+4ci^t3+x zM@sq9uBpa((<7S4MlU}*%e+cLxe?a9WU;Nll43$SpoSx~|2asR21PXLq zm-TMB_`d&zdS>7L*=`y>u!tDFOA0Q+h*;~`PMD%(zn?pY3ze1mL;C;GF8lAkC-*}; zMN5XRVef?=cwex)F903~3IT0=cUY2kc3+J9*2oPr z61}MG!#a}#m`l(}gq^(Sb$fXf;z{zBa*P#c66?~?5*v=75pJ-tX;%)4o@+-B3kv$l z{N{DtdAdj8>ohHhg9|*~MfyeztFmLd;R=#d^UkY23rJCqxU81cvo|th$%bycVvnaz z2zd7RXt8gFY+B>dJnh%x$lF~vAwy4}GUPs4z&rsRV(u*QlVJG7W7S!5`Nfrs)Z&{j zlin!gBgqQ{V=o5qn59X$JIz_liCzcc%Mye|OkOK@94M5!CXMvAk(Jn6!Ie_y>dVGV z$Cj#alqfG;obmV9Ska0?WlKUx+{J^L%iYnc>(OE^@9uUEJ(s$wB1p{4_vUEU>w$mB z6Y@sVdVap(lw@_|Ca1ZfrD5wrB&;oo=NpZv8&8oWuW&!F;p@BYJJm+de;uZ;#%99N zMNytbpRI{&YWb)u=tTr(grd(c7YM`w-moI_6*72YxGjVD+ZECcQvIRC_K9Lx@RO}o z4Xi&QVZ;%%qks`mo8Jq#pno_cq)=tROk1#P{c<+s!~u5Qho~3-br`D z-aql*fD0F{eDwcp4c!-ZIqOC8av8k2WMr>FIyQqaHVxL03RsemfXvs=MN5tu>K2Cm zoKp-kgWi9x{FK{e_R-*J;Edd-VV4ek3BE2@={=Fk{^ViRk$snuBQ+IWwV~S~G68{u zhRpAvqw91li%KhLW6SvA3FZauor1%tbf7BG8nIpSLMOY#n=-W$_V?jVCgW;EWG~8y zXY4e&dW|$A8x}h?$BYKJ`o=1U9_BFIt!h|6yJ9)+Ih>#Q)P1dA2d6Nem}wTB*avYL z_1O$H9#%zEYCwAtVXC+$OHS_atId%-=b7k4A*;9!$YADm8G{`ngI%Hk9CCgU?w}+} z{Vd!=jFbRlLtc1d`rz`5r=LnZI21kK*J_iAc2Ih(gcqX42l&(9yD`m&~1URq{c*7S}-T;`Sn37)()o{kE=Mu!ExLzEU;u!XDFs0($< zp`&c}8nkDpOl7vH(0h0qO;=q_jM7O~26cTa>LtZ33)SNzMfQ-Fj0JTm(K3P4;~fya zSM@jaiG=6DPN273ihZ(`vKpo69R;RKaQ#8;`cbQaW#cPF`Cs?f-)zA3;y%{(j7IN8 ze{sqGHjL3iPfV@sxIguASnPFdC70}`WWr{a&GtqPdKG#LIW?!PRz>*wA~P@!7@xXT zpS~dP8-U0A> zh@5OfK4+|eHyhx{C-irU+|)l_H+!FV;i3O3QOChD(qfBA9)K6ID+|ZDSUv_$P zDm|HZZh;Kni{9#mO;8-uz`KB+M#aMqz*8y%_xeM0h5CAN@Q*${dttTRCa&wNwI%6I zQEwMi&zEmm%bB2l;eC-^--Y8H@LuC7=yI}-&qLiipOlH-EciIi2P?C9$f8l)^4qq| ztZqFDsmwQnEF=T-TVx-4fxkdA>^uC+dQlJ5 zmN5TkZI{P;DrY`3H5`OjXRLC=dB~4pVd=}y45cmmaG}aX5px~K&QkCr7?*cq2|##C z<%HP+R7rMl&gp#=b>DVmWnjaupo{<*h(vzx_+8_AVMI+_{CruPb_!P@i{S z(^zNW-zK)+%?$Te?4S7*ayRA_6fnL8FV{W=b%uZJ(_~a_QRrrzxMxuV%n49-^HxuU zVg>FO`UvOxMEs(-5rg&gXw!GKp;vD<-gUoK^2`slWq-buS6rybRf<@2@7Y5cQ{u0t zsC7$N;0~8IQK~l8Vzxb zLNND~_`o3x(04(MHR^RyPE2i84Mvu@Vm!Qh>=+dfOcZI>?vQP+ioQd^C_wq5-y3Kw z_&L4hqqLD2y`c?b={1&MSKq%U z+8yh6AAfmSrDb&0+|^7=#lvx?r-G702&QYOZRLmVBBG7(C zc^5we;*nn>R5`Lr9wkPZCye z{>Ikq7-dUey6f~F3Kc0~1(qCm5$i`dBeTaueQd*p%8T^^7ILG_>(;9n%%78+*wv1N zd*F_M13&4QPAz(W=fg=oT%ld@ty{>v)d#=&yv((&1mWDl!yM6D1E(Mo$doc0^h@Xe=2L6)(K?H=X6F&dbs-5AN62yE zDaaKt&wA4n(!UtrurUX`apHfO!WXkLbt=ta<&~{+=e}Hi>^N^4(4R*pthS$nE1}f+ zU1*1HDw{9kt1dTX7R;iYo6G0~nQrAr>gybDjGfF<#+LJjhteALxAZx+YUa?KtfDv@ zV^9Tw@EGpNC%9p`kQw1J0{*=6lara$J6$haac4RQRHmjrX1>rXeds2EER}P=qs>i# zns@Vxu^Shx=9qZjW7cnG)udxdqrqLLCvm+kXz6YXmY3pH%J})4TIf7cNz@xLSip2c z+RxI+{!pK{{C4g6`I4a&u8s!>|0;pkfuUatPPGtUb>Kehi`8 zJMi`6#qr8%xlT)WDbS#~CNuJPN`Zj)H;R9qA9urMmMTXftqPd_suc-u?|h)dehY*tLAac_XRTkl*m=kM5}HdUj3g^9N|?f_O3H4pq&oR7aM3$Ib*WtzsFc#3`? z@Gm&Q3{JpJ-FqMqY zqlMG1nG)1Vj~v&H?zH4`k*GnX=q1B9Ix9m^dP!8gs=#4*(fEk~=uj0*6EvbIqq>^W z;AhFr~v>B<5@wUx1CqK^n{P1a6-i}$74tAz9 zJQc=2EAlq zg9K+^C@u)l^!6^+-|ofa7$kg~%0y?fAA|hcLsxunsWU<8`ZoVTsuxCi5#hh_-A_GR zbf!Th1KuSAS;nE2#WCnK0DS!Op!eA*DSV@}K3D%Sby(8w8iw!6yDM^gx}F~eGTTeC z@Qf`C1_<>>RC|{~ukqMfv?6leBvMf-#`2jYjdSJPFq}$em%h3*oM6kbyZNfL&`v=v zXNG_|s{HOEebTzd>>eDu=Z>i`l|f+?^V@`E$ZHUsUG_+3T{xZ0c%*_9MxzB`dD!eP zom61W!8)uyB*f_Rw#i7C!a$VvMLo*>nVZKnm+GwK7P*pkD_@&^$$C;40`DKDSGnxq zaqmrQlMMy(qxJiI756hkyg~E%zSPP=wU)-=6NBWDCVUN;9FNw@B);nD>BOmyQYels!7m8@9kh^><5$g`;6$)ux_03fQQ-KQYH(_^*M@!0yQn)OZ6cTXIl zLQk}Q6hQxUHd^xjIFySz!CT?3`K=8(prW5){Vz%D@tNSu*R_Cz8y5vH7f?kI$QJ&f z=$GF-Ib%IQZHgXf>&21~UaOS{Y9i1Qlpp0E&iD+VdpWaLPCfzgZ~VG;3pmBiy#|2_l{PNm+6+(h_lSU zw@CXMXsv1+km0|c>2?DVN}sv92p-o#(+;JNo$mpmSnsf7hUDj>gBM4y#4m_mNroo^ z#J9Jd-ij^Wdybl|1*bR{Hh!>9k^ehWaY6rZM(DZNe|1k4tY)Smy#tX^)A7D`Kq^G6 z0IA4>6;CvmG!KW=v)lb(QUME{P~wo_M_*3H-eF|=IS%C~5qo>d4Avy9kD}WP3efLx zcNYs|D2zksKcF`z-1DFZW&NjW*V6grW|smZQ$j~Qg>WV=k^$fHe+IH0~wJW zJ_G+Y0X5>FqC2h%^3e5>I?68brO-FrR~&VoL^wk-QU2N4xP^GT)m~() z>+cUiQfK1|&4HCd=m2NqH>vvj$@E`;CmA45L&kp)T2!1u`!fmP?}1~g-SDHxR0o(@ zPEqORR$jXg-{{Q!jz=#y(}LZn8BJFtoroB@hVHNv9T40SBQm0ahUo2Has>?AS8_EI z+lW1+b?R zRuLD_)*rJx&YSl2#ntKWOtiWs`&Aq6q;*=PU@68WQOxbz{0Y(d6{s|QR3xg~j`?|s2z4{ht zcA0noDM;GZJ|RMnCH-!71p>*6OYsD;bCia3&2DK#l%_vpZL|@?kxaIF{mnytHUwOJ zM^8_-mX(wO4f-P|`S+Y5^HKp%%r7ksJajQRae&;w81}0?@4cF zYW5qL@!js=jp%B_Rpp}mN`!(Cu4qtA@d+_Hb}xhX!GxyM1WO0BXF3~X=Am{YP!{s$ z3Y84&$lU!sz;dMh@EGps^3DWyuyiN`BxZdpKnqSm3rS1-=ogVhnR(W(p$lx1w;~M{ zwf{Vi5w+h3tXfs8N_*GYpnB&FKz_RefW<#<{GK3)=bQI*V=HR>bLQ$<(@MG!cM|h` znZxtAJH58?DX2rbJ16VKjX>SJo}%m@;G#?H<%%$Nh86Mjj}nLx_dQ?!lf%wSf8Ib& zJJ%#vYOgzx5|KDL5e^NXg0_0LGrya8;9qLQ>U)F9%c-CHEDsJE%(OLd_5-Z;RRV-= zV`tptE9kZYjNh|TJ}6)I$zj*al{0Jjj~f^C4e&`>Qrd@`>-#Gsqy07o=Z5b=2~$<=e!)E|<0(}DBZ z$=ZZ?YxNJakIW#UdM6&WKmEmz0$>J6f>nXx1Tg=%C+9a1Q{uwD%Zl)KvMfooO<^J zz=qc_NkOx49_y5OA(coxK++0cCabR$;%|+KStU}HtC)q;VrXX{jYhp(kt#!{|FEsZ z!L*YCuQ8+y2~i5--@BG4tiq23a=ku)8fBk`AD&Sk`!wlwbAy#-ZP~3xdEuJ79onv_ zM>XBS4ceC9`E2BM8*pX$C&MNlFKCch*;bvTlEQp!_cA?yOo_CT0!Gg+$?x>Wf4`Z_ z4*nSh;HW&_KB3J_2er(aYBI0UTvEO0^!iz@+R#hUe)<%vVm@LxXsl_jMlbnhQWO^C>`xVp>p<8MSZmSM|2}SgWZqGlg&s!rjdt z1wT$LHT$B~x3~L6wmZNlj^pb#!Sm5mBwYQ+cqM+UCDIDWUZ4{M#Pt}g=2xm}=<^Y3 zwN#M`RBvyMk^4+Cuc16*T{beJx%4qQap_Q!@k*q&vHo?AT?uJfz0ssBB2f_GPm|OO*M$zS8ipw;I39y-VrE7kA zr2x!z=8^h6G5&%F>VKGU^Lu?D#ob5%;a_!uwDx0}8BT0W-IzIU)0fj0cM3_4^R60Q zxN{yzWjv2ll!i3Wj{-}t)^C2&$^<|u^}vc@?^E$E>X#orBsKuGk=)hPV&v?E-r2ov;g@k2<*8>5aCDqrwhOgSOUz_^w>&+{4G_Gc&U(oH0RE%o;P(mmLBKY!eO zdh&(%77&drIi@#UoeET*3#1tq&6_Kup<=DBUgdYY%KeC3fb~w#Eoia7(IxrPf@Fnz(+ydX*3};Qbq8deG`N?G;dSFO z!Of?^9s;BuVU##+=pM=e(-g=A0Rb~c z4bG7CxS27n9P3Nr>#|JlirRVE8I6DuP?>`8!&4B~;!4B?Rimq9rK$!%O%+1-e{XjO zf*Q1310q>gp*vc*UY;mop85zPKDEkFZk)OVT?yEKaVy;5c>h_*=*``LU|H$p2JM~9 z%37!x#KT7Usc@hQ!@Rr@0fRUWh_s+-iI2W_dzG-h?wBIIOiir;{V94iU5tKG0mz2* zX5WbB`dCQ9;?;S<3Z;*e;t@_dg#B6U>z^u97fFfpd#Ki0XfSlZdB1NPZ%pSb?pU!)N;M*RCPwpBdC3z8{fDw6*g%WhsXL{%$A` z*Gh}dbUcc`JQ8!38;0{od;syW1fZ>dCKDQk{PJTD{6IB|=dnsP8!s3jgSjr?MtQ}3 z(Tw$AU~bNHe*Pm0iox+SSlLhIdF;{v|6U0FoEM67Wg5o;M6f zeqS8WPS$_1I*|$|Hg>R&R*qNVGc8Bpe6hffU%(=*ZG1J_Ql0@{=osPtdl|atdQatW zwXZJJvw*%#bX+3YL^lxE_g>z8S$X6&D?j=NsmqG`GCiix`sbY#!&%&%?1m_H{0OAA zXb?lzJ(3)5C+u=%#%8c@6kN|JOf)pZ(QU+B)Pi=tMbi!_)=`{~otC;%zjeg%Ri$V0 z(_2tT_h?*WU9mbXC+Dhybu{+l>I|6i3SsW@JqsZDo~I0YN!X|QeLzWWtAeE^YD*Pf z8B2;+6C$_t{TSpexuc0hQX`ntc2XBV=5JRx>f#>5(CBZNpS+alkJ%8*LerQSm(6^g z+{YVms(ib0{q2ICtqITM{q4W;j*?#e{~7=eO@&# zDzN=G-bA`tXn+LZCYaVaJA-Zu5#Z*_T)KFH{09HhCW~~|CVSquMjHN_z^We}J$^#x zmquQY>I(CLQK+&DDgqNh0Z4CwQT%}UZvupc81cHT(9h1epfFq=*)IM+F4Rh&zh=-z z0#qlfvd!;#qtf5n=IMp+ElI~^-{UL`L0Q(0o`JN-HU62y^sV#Ee^mXwQ9LJc8?}#= zXAXR=lwXtWyOY7#A?4(2w?8|i;!y4^v8AbROs%OJe&#sz?)$@U_^oz4oxg458)YO+ zXFQ?#Hr{;Rvs}%4EU^Xe_4l#Oj23d~6aI8Vczxqe%GgwBZ6<$COvz(!7Fq*f&6Yen#~?MvlLJol-!1}&TuWaq z>^E#>dVUj|juBWxFXU_1R;FLh87lU;$f0y!;cu7WoAe-r1xp|ZCi^dQ>(6KI83K{~ z4|x0!cm$B~Z}F*+3kyTL+V7$Vth(vG55ky6!C!%GV23|kS%6RFk2-#@Gi_o*%`n`# z?qoKO-q>JRMg1)KtqBqgQvPYQq&pMUW*gtI94heLaUXt|_nJvtUf;_Lp}wDj;O4DK zze&BqUs0l;jrm=S%g0>E!dl2Gy_-=Atfkq^e_2rf#~YW<(tRR+r^_4kuXfg*^2@)Bos{U$&7QTs;Q$`-3u5|Z)1;)sTEP1^w$n=ii^Hm88em+y z>z^Pn89+a8SI94@O=~;I#>%}T-{Z81jFe~ENTnmhqGt1z;fr9}N<-XD3 zkZJ(y3CI3)68w9c?eRM7m)ob0st(KXbJ%)rVx)_*=nMhHK{5Oal9y!T7F z*v#UN)NKnZUBg74Ypt%UTa>{Ba@6~-zPVh!HN3{QTcYKqy^8a^FleEx$(Z3ae(fh* zZmKNDdo|e46bo<>z=5!Z^yv41=<@^tJ}RB#hJE>WGDt3fYbz?(Mf;d$Q~G!(XbU_g z3+2DcM)WRCf(+@2kN3+XmWh+fqvcGfSi;_Qu{Ak(Ytbpl41O4Y{y-v-*S&?b4)Uc1 zwhL@1PKD$#o`OaI2Bps7T8d;_Hso{|2ojDpawMY5H9{ZosRxdHTWlC3YOlS6oZ`FgQ?-qnTxIO+_dIQDgQNO za$<}gfofL|sNs%H2mb5HbNOQL82l+fRz7{+v_6R^!6s+?64_NKI%BCuTr}(29fiTa z-uKfVXS^~Tou$cidOUsv=cdlzL!>!ECs5}#@+2M$42TcS{L|*w$3F)K`cuLZ;@&oQ4~g*c)Cc7Bg!>=S zjeMIvU5~yf3Nd|2Gy6V8eh`zoifhF;^{=S2DwV&z1?`_K_6nruuJai6@m+l4)kL{- z5a}WEky|nAe4KwDPw>A@9L3LhFLJIR0=)&v4DO{UhCD#4Ccr~IZz9~}+3ldwKSfD> z^qxs$JFB3QYnF=*_<&?<$($SIb=1dE*benu|hZk_prktV+qMcNFBJ4%)2c|B%l=`z!II|NcLv zqD+Xmqu4UDj=hJm>*bwwfky7sh6{s2WM(eL`1camcrJ&s4m>`M3rNJ*fDrs&k}UsN z7tfz3FyQLEMXk_*eHOrUAu}OezENZ+)8E}F+~UWHvBryKN!ZpOX*Z3f!k!ZZz4IfyO@L( zSZ751KdTP&R!0qGA)>SHs^3+3NFCu5CAOPcBbry5-91%MUST{Gk1YA+g9PSAKv4T# z)^S&+i;j`s%1{mQbyX<_^ZZS6eC2np>MuI=`?D!GSRUJp$n@qpfT_VBVYnIev zX**MKL@cjwA^XjPKtpz1bl%-uJ?%USDz2&b3rPaNf}b=*{W_|lHiShiNi!h>w*jH9 zReVmoh~E+wwP^A#!a&yrm(FiJ7h)gN_Kh5*qiJEj4|428O!L_&nA<5ELzvkBi~H9eX1K4mzai<{cq35iC*cL`JHI`Qpg?KmC)VKD-b1cI_Cdk# zvxEr+G>Tionf-la^8$*ZT!fDP94^9Qb{p|}LT70cQL?TLClcv&v~nrFt2M!$X}8r0 z>4294Ml*Z@3+7n8FPDZ3lh5Vhf}9|vFMqJROXPn4^py0n|S)Moo;*E6C)pFUHTQ#=BH)?&B>ed>eSCs8IOTT;fJMkj}y zS0&J%Wk`qtqGM03qu+;AktF+YB73Rox`Me9K8fhHh;8=10p_Q6hBJ(}SETwFT9wSN zlJu2b(Kc;OT5n{p)HW#OxT{JTD4HF^zgal{>`KBO8-mtFZ(Q-5$4tGd@7FLp-a=n} zRy9h+uQ{0{E?cZN!`L7tZFM%gtVw6nP5N!CxX11K-b?ZUNWOh)gHflTSrDsCPZkd* zN=D+?=;+exDvcp^(Z^`g;}0CKYP7N>tc$SeTZ+cMJ9J~Aci-SkGnr1a&-X<+bb1r! z2maFbI`|5U?lWsdo-0-wif`i77HvObI8XbOdp7|5zzKUZhNo}(*hwIFVbi&x z`Oht4x3yUxqEs4YC_4nq6U6bUuZy}EeE4_;7O6G5Z`(fKJfN~3Bw%854H4r3Gx5?% z1Gsl9JV!TH+4!q*rV*h|zumGGC6%|QE)PCpa${o~$Ob_BzoFjmC|E|5ZMyrZfz}aJ zc=KVxDx)8(pG7#RVMBV?c{hwBfOjn2&JO*9{rrcgcR1x5ctw_!;RF?>>+qOE(n>ae z8*{kM4SzD7Xjcw5$E$w9N;SKLcCUdQzKlC7Gy`f5O_4-j>x&UEbvALGVD9Sq-FMaq zrLm0ryETXEKj~)1l;a>wULOK}aMjggQDA{swvU%dvaoA=|4RnmE3u#ut=8IzK(S?` zxxeZ7-x2fo_wW?k56lS7$-~9LD{()3L^`i~y39?&ismuv zvp^h|CnYntto*FxzuI6y>h!K_JKg?}HNJIkScj|O^^bYu(H8kMrMHDg*!*t#8&46UlV%niC9gVc2l z!4Kxyvm9-6f?2$vYMnJ5=AuD#<#m51Z{>wm?sj{GOfY-q{{89VEL8i_HLr>iIpA`^ai1;eXMb22 z*xwGf2^^E>6zF*0H?@5%+(g1`UHVn(uNX0$FBI-S;(lun35DQz<2TX~5392k29g_y_hPQRtP3wc6!BPNViZpw673tc zAkag!ARTIZ`qR09K%wdJ-ZarqlDsWi3G&?n}~i~HcJXjd~IeV<0*;F?9$j1 zv&$T>kHX2vbTns1ofKL~5M?X775h7C;kNEvlVD1M^1MF8g=LycBp3oY{nksSY*LS9 zdcNFIfAi+%YXmT&rJJzQ`l?2SZ}6u`U98B22Q*|d$uF~0Zn<&W%ierPNA3=CMDU(J z)`z7nbr}XOAxrw(QrLgE8A@lKusiFbBZD%Zma1lO_`Im-*+a1*VHK}Q8j>dVS5bFE zhUby{+0-%s5bf?gEuy3z^&)3ax<6%E)y+QdbBje1R~<~>invlQvM_*-_&}ex!|0{b zhLq=PHVog}+!#rHrgF{rOc*GBg7p&GAld~sgmIg=G{bcq<>);A4pzb}uWg*gl$ID7tlcy^|2smuV)mq0Xh3$oMfUX>>$|8G~fz&VE7% z>iwhgLwN9GHKsKC+#Z3DWi?|8qk%`+pX!UB45AkkPhv(~PG^{3FD%p53lg)5GqQ9b z6{;b?yrxZov?J%|;Yz#YsQ4k7>Z`kHm|mXTZX1XF2$h!hG2?PZz<&Qu=&OFB6{iY8 zx$@rdf!kwu&_)R0yP&y>HVMPY6T%u*DaH1&m@vF|l%@}1_vDI>{f)-|=7*K(3gGej ziNoxDJGJKg|BWx7UnLvHN$TpoWdO2;!y6U53Xej>v99IE~x zj)3Vm)IE9@@6BeYVptG2v!6C^`4u>JW0(=|>vd0yJ&zO~Ts?aD5Z_y2@~w!BBb?o; z#x&_jkl$kWgUP)XR|$GEmcWuH6N2^Jieny;`XBi_2S-HAu5()EWFlzyb|Q5>B=@1E z`T$~m%TkM}bJPo@1fRQO^o+yDGCh-;EVyHXv~R}VK@{g-gh;nXW~^K_D7-W^?T~19 zRS-#gK16si{@B=mV2!Fb-lL&Tm20qu8^OdG>9aJsU?+0}Nk#IdgMo5^m^QqI*OLV% z9F~X@21Fd`j;I~b5endEV+XKr&x3@Up1!@r#gYv#Xk7$;@wG>4suD--Ak^zBxki}Z z{GAW}v9o$bY`(Wg9%if23o^Y;Z;caSETXgp(i{GQQdRZh43>Vr=KG0;Q#d?ljf z6++*+@nn+%Q8wRu5>JVXu05bKq^zQRvQ7MASqh}l^IUW|>y4@PBE-hb5PgdxoF$j% z!$v^ISXIZ22BX7RxzeXwMTHf5ehsx7!ul`X;cZQ}BiMXFpCQPc5GyV#?YR{WANW!v zSy}$ZoLhS8;79oKqEh05s&~9zThr;^j>IRb&-LDGbC05hWwSF}XJLcuip_*HdGCp6y>VnAj-kK9v*7EE#kn}ozWS1Rk>|-b=a}Dk-|>!jY{qY5%T7c17CS(%Fst8MkLGuO zdMWdZxc+*Q9_dXhD7eQ)b^BIeVKVotTxC z$1bxD3zBsAt4F-f*S#4`tZ5%qVTqS+9?<>pB7smvaO^ z7~AuLtvph_EtNUC3{#_)fx@fcQ3KLKjr9Ny>pN@}a+z{OXw-in?EPB;il2o|eUIMO z-vL=aY;u0JBgE#4e<(7FbQ07&ny-whh;KxS!_1$lk!jIV)t7xY`ISGHa~%@oiFcbr zxniDDE#Yx>GMc$CnJ;5q^<`3|3`QXWp!)G5kepN4F6|(g4tyYr<_YLins*oYK3Nfo zl&k{nb~3;3$;&Q32(qhpOlvD!gc1vRm%m86+2xX9)=ej7hb7eev+rgd?RQ?7Kr+G8 zw=xck#GjO%HCSH@=|0(>MNQzhyf8HQ)^13atOKCmX#1WHADFv<$mt3!U@pP%81ZiliMX%>-*K1|IZ>N^C_T0=0S}g+n zHW{pb22}Rm6(l)j-OsV^Bmt=9RP=`Dbkw=Hs&;8={`7JoJ4z!c;PIA5GRFqO7cSy^ zEgHu6U&N{9-%{eRxljC6!SKiSp?Z|_$!r20Wd6dFIjv)g5!&1jwj(wW{kIi z%UECa4R|G8*u0d)i&5lsFy6*@_%S~-uL5`|I{2f1Sm*l4YsB>wJqv|6q&;Thj$gps z)uAIWVh7*6s4yX2p_`UBp`WkM;QW4aW!z3%_FLdifVunQP+7q4$-K_ANe!c~0rOp< z0i5Om*!vb4k5X7zQr?a&tvLsI{8&2Cz9=fvZtgQn($$%}P^ZGkMaKP$;yuv3Z)Z)?mb~}QWfoJPOgxV5?dx!+i9Q#k3bicT{!hU#<-q5B>8lXocu?llM)U2tG znX9WcF(59U039$41g%b-DG=CRL}`znEZ#vTI5?*JO&2hPi=qebZ4S+E$)=3cyPo$L zGcp)}Jqi{EKWaR6@gGY7hD#5ly-*5RGm!77KO=+@o!>C#Mr|E=T0LS%=^HS! z0u;a8y47{W$;FrZN`?9ZI z>T~zd=$lr-kJEL<zb|n-*zQ1^!NB%p2#@}%oR?Txi@=^qjStn#?^WJPYt5BfTsKXkkIv@slC)0`t ztQz10&xHC6Q)POThb6%D=kIvQmrTqf4yitR<52_(0hMF`FYVc+vRmyXx> zpqN=|Umx_tXR|8DIHCeyG*@oHVW{jf^F`)-GBGyI9a4?WQIAup`RyZJr;>Jp$#Iy@ zTl{YWbd9IDc`G#Sj48K0QW`!I%mrrMF|&=o*hQ3A0Qpfwo#{PQFaKG-RZ zGzi$JrzLDG8fZxydu8HJe3#0T-2I`GaCkO<7Y(@7|K;vl%z<0Rl0xbT&Ma{G7poC^ zlSH`c3?VGZh2hFoq~!MU`?`IaM-l%|N@uWP+9iK#|KtN2e6Yq^Xd0>VAfaWmKIjhG z&vXn&qm}ksxdZYjLAB^QK~Cyje3d>okKNpbeG`Ld zKWFn$rNu~EauKlJ!6}KKT7^kFY(QD#WLLX6?rHUL|E7=yI_nD9Bg7YD?r&cTni`2% zX+gK}3su^JR(Wb>zuUN}Sik?9;hWG@acc#{KNOsz*YtRhgPvMls5g%z7qU@&bPdl* zSFEetscH8d%donVU+1dTqY#TPnK;iQ7CuR!QTCvWS+i-H;2Oy&u@+?Gzp%#X7I7m* za?Of&>T|fq;<_U`KlT+dRZ`MgC#qWsaFSTe?Pm@+1g#S$^)vYomUBG3j?S zk@kf*!36EfF!{pynUcu^(Np{yySCL+z&KhmNSmhJ1xOV^6x=Z*_R;TbB1v>jY zxc2R+&#=2K{O%>29j3g0h1^MbB0edE#R>ZXqUL1CWs|@T3k;2SDw*UT_W|=Ct)X2T z8c;9nCupmJXw>J|u(_JO7a??@OP}@Hq*X&ygZ-h6r`a0!K^1?NbrHbY;U^4q_Kea$ zbFWFovUXJ0*#i1>Q!Xf`b$O-&*`oej_*Hd%=JOY$+P(vZIy!eM@7lah)@}78A=6KP z!1BN=9h2uO-J@GcKVs?F73Lb^o=n`%8<~UyjHckB}ARU$4u0`BEwb zGJqX}O{DqpII0mT@T>P-g%6PM$I}Vt&6_DPNdr?Mp}mpVTZLrS@|*H{_&ivlsX(8e z=oL8wCSLz#@(oAfP#l8@~*=N=Zirql^2TpAa zb~c67Ef0Ou6X+jySK5Y;|Mju)&j9=5-TjNtjlcXX;H0G|A-psp7CwDM2VZj+L$~B6 zn%bhd$C2m`G}`5fzRv%rVy zyO5!&{ED_~U7%@Ky>qkb$Ixm@gV0vk5a9X6i)pjZ_3%L>xZK+%_j(lTmjGJM9tHKM z=f8B;?VMyMkx}-14GV|d&XL5Co2hM09~-Z7nH)g^Hj^z1e$R1Dk0Kbf>ih1jFf(Gcz@P=X264Rh1`w4`VUXB+;+@0$+% zZMqw9ieh=GvbpYx`Dnx`O%2r1*|Rz<|8doxJJGI5i^7>x86KGq0^5nb75Qe#vU^z1yNo0^4g>M_)Oc69g>Z=M+dKZ zva*LHI4XJ@CGm1sM94>^FiwGN@7yYsP3gue9x@Fr4}sOO!pcov*{n9e}kPh9Sc4cgVqZr~iSw6HX~Za&N9 zv*$UaAK>gVd`|S zi>OY>$m;{H)?_A-iV=dRqn|F!lE8vOc{>KsUNe!e_15{?V&l8y8$;Ci6rZ5`j@Skp znb--t405*Pvjsa@e;Lm!t?0D|(~_SV^qB&b4NR8?{+hE!QOYRT3)9UH0v|FR7D^4- z6hq&#C3K*+{zUcv1A$e<*}=30ph5Ns+m3GVtvZqQcyL!(~lbn6~Vg%<;huA5-- zZ$x;H52mj4+cKC*6Di3wett+9&#P219b?YWH>?_@5=%K$qQ*dfr46%&g1{|>BpaHZ z`{A)Ea}yJPWSVwmC%?RNO#YTU$b;mLBsTFH*sP98F`0BZago*9EqdR{jMq{tq^2X$ z>lV18+V)l$;eE)+yLk3G{~>Pt52l>;7V(p5_um#z5AaH*1QlMcOWil#A=gzkgVp|g zFPPmQub#h}WIjjwd_^!sm=uaidDhr?1)E%RxEeGU8A_QU6NuRE_MQg$ei5pzn?50} zax3fX`YkD;!XQES2f8W9$rLf|*?C8EDIku9V9x$leQFV3CI#e)hwl;zGFvG?V>>I* zw|tXnZOH)4rOFECCQu>B_^mC@(QpDZSibt6tyxT%5eeIBCHod0 z53RrW`et;_ZYN6k=_iV_I_t@(Pvep>EK(DP>};hBD9Z-bSp^}Q@wqRp7G$H2SSwH_!Z&#J4g&OU-f=~Xph*^eSU*xTL$ z=?yl9&4^#!P|b$l_8pNzZ(kZCLMkAREM1`b#2IcNqNv6V?}KFxTOclDBfWgQxVTN} zvck#~yyiuF;+?G~y5vhVdTHFp#Pkm#nbj@^(FI~0wclVqwYQ=nCiVOj`i}iq6gs6# zk-zrnd(D+OBMtCd1inhW)u&Z&!OpM zaokO++bShlp@I3{0@l){;jv6_fmKOueKR%-`^+&74cWp{jhcebOFXVUDGy$c`t6RF z68%O8N-^cp@1=!ES_=FvZw!zB&}}s3lc`P7r|Z#}F>52LB7Tgr)rTknL}g95kt6Ks z36g@D3qY0!R&g`IWnw)fCw(hnLVV?Z0pt@e?~NLFYKf)=lr*Zt8he;1qKZ6G7|YQ^ z=erZG#mz^r!5fe9=1O}HDx#VKeWfrvUpQfI2H}TDvLcQ{$Cpk7h8haMm z$bu47QqXdzha`10Q<_o<>QmMwHg=TAhgJ>Ctzy`tBw$jkP($+#$67_gi?gX+s%Pv5^Mjv0(q^wWEreP9ca`1KT zsS^>7t?F&Wy;lySNn~G%3}nU6oNMP7d+wFcIArs|NVi2`z(P0eB zz2%5nDhric^~H?mT0}};Lqk8);Z1D&UTU`<_b+CUU>?c<>*wTuS?V$ zmpbw%SDNUZRhD`7I`F3XBC)QawY7O%5XY2pncMA26<6h3_7O;y)_Z95tYj75$h zh-YS#B5>%|SYch#OI4K7x{+F7&YSZg*WDYYD6=%dK4G4!i9Dv51CG2v(VKgQt4BQr zA@aZ#cI*8krK>5-{oDG@6cO0-s%>-__vndM`DWFmPs5wQ>{2{o;94(+TQHG_X%A<| zy*-Vn_yskq8UrRfeb}lSe9LBMIA6+s>h<4wPlZ(URn8_bm zcjf72_Pn4R%=MEeIA(C-mX?cKxRWOsv0$3@v){h+UgZA&U`S!^#4f2 z$tYQhx^l=S8D_*%`nOtr*IaSE8(z9^Lme*+2u6|UG2Unf86$CP3vs~SOy3!z1MfC< zqEoUP@uCCDb7*D zVE!6k0*sWUsmBh{y4Di&3IinKeFIFBwI8yr(J3b6zWCJR!f1pQ1~aqQpEH}2{Hu zshaq9AFVldYxziGSR!kTGeVN-6z^q|QPW)H9Gi&RY46jUzxW$}tBui1DQHe>j2C}t zNwJ|82Jh(R;WtVRWgfCxsE9b9`~ocyt^-}!V=H8OG?qBB3>OsRt(Py51!_q`2Ok^L zq;7bA8@aflADvl*IvVT4Fay<{0+GhQ!2v%MBw+Btu7|Sg1Lk#Yp!2EY3AJmAv(^D`+ZAC=r=+ua#*agEaV4 z$XQHH!B+YuVfERWCyu0Q&mBzqV$V4iqMSzo|09NLSY*%EB#|sHhZ#7L>OV@A>wQJ_ zxub?+iG%nYIZ)<^@rHa!@hKU)LHZBSZUu3ET^c3gfA~)1g!TP+i>@7g$J1Ejm645w zFi(hL!*0&R{w-ze(!8US{?aW*gW%DExG9~0VM;lL=Fo>1gj3w~``xQ8m^p(?r!rp4 zZ}~5GDnBmaA9%sEi!-dB3!yQPC%01)ZS6-NIC~EPfXGZcYpHKj_1JFS!JjGOv2M=R z{MVP4lb`yUu{sgf0cTnW1I&Z=_Q%&{=O@=rL|yPW#0JX6HlR!j87qW2HseZh!w@?Y z%*pfyQ)mP1cQ^!Kf(B{RM&qt7d*E62vxhy`p$v+L9z)L^WM8J2vL2GoHO-lB?!&#S z`bdsvj_Kleba%Cue-@)L4;$jQ9Au07P*pXJZeod4I%oWe6pDumP6f3`k#Wx}kmYvH zmf1${gU z<01DwC>xvK2F@=^ep7ks+Q_L;YHgRJ{5HkdyjqvKJXztvW&xSygl`U4yo;x{U1x=` z_DadDWaG2J_lctH67A9_<&d-Zs*8bzg@E;U8dF)UZwor2`II|SCJ0v*+XgF|k2Vs5 zUE+GO@iVQyfJsp=#uEwUg1qx6L|~}qmdNvNmN$>SOJE+CmE@<0r{6{mB^=thDhQ4u zc#@&_c``tn*mBuR8X0={0>fCYsciZ8sAeHfuV(Q`eC9hkc-Mkf|HYpdd>RU2e^a0Z z4G_Uz6=t86oo?^L%T^G^FvdTklE0H{2vg$oxZG+oB0}itv`f7q|4slA2?0a%$%#G+uWx0832= zyt7?F_HM@1$C9rjY4{&gKI=j76_i}muWel}L@5;RGpFIXi*^U4KJQZy7>Nqz_sQE$ zM}=al=P+|>rsFjzpqRq!9UPpjP0_V#_z%Z$Qih)G2fQ6^pnExeRJ5B9bpPe{ z%l7A_?^omwFzNKCa`*or5Pw?_@So>Lc8?h z4rx8AWz>gge0oSLoF#6|?rKMljWd5+iTrgZ$G!1jsC5WoUV2*0m#1j$<36hsw?pfy z-OFh|4ROHjwM+CUo|y&D%^(ZGtkWIxx8`lkG9ygq!(xY!+BdgEmADte zk6GrYryH$0xJtpr6Srk>g;3o#;>0041Mxm2?%?oL6kJr zXofsR1Q|~NCCe{rccFw-wLR2=gTi?79JgX)Iwo8;CQi*-)R!A$r?B!b&U$1Dn}G&UXl7em-}g>QBbOo$*#US1TcK9(==K4bN>LTld+;D zNrtM=b7_2YMDk=BzUAB^=8k#8c)3x|S0dHOcUz2jC9bWt*2m3DXRLN!6XqD=Wonw= zV6WQ3Fb2ZX1xd6HW2d0N81$HsTOH8kh6ZRXf&cS`oZOQsrV#_2G!s?g zwuZ->5P1+;LXltLSXnyaOpJPVUnMDJvOXRWF9D=G;*&JisC eV=2sk^L727-~ZRq^`E`?&tCkGo&o&dzyB}N2Sxe- diff --git a/assets/swe_bench_lite.svg b/assets/swe_bench_lite.svg index 5d5f620e4..b115d4164 100644 --- a/assets/swe_bench_lite.svg +++ b/assets/swe_bench_lite.svg @@ -6,7 +6,7 @@ - 2024-05-22T15:45:26.770357 + 2024-05-22T20:23:36.416838 image/svg+xml @@ -30,8 +30,8 @@ z - - - + - + - + - + - + - + @@ -466,7 +466,7 @@ z - + @@ -479,12 +479,12 @@ z - + - - + + + + + + + + + + + + + + + - - - - - - - - - - - - - + + + + + - + - - + + + + + + + + + + + - - - - - - - - - + + + + + - + - + - + - + - + - - + + - - - - - + + + + + + + + - + - + - - + + - - - - - + + + + + + + + - + @@ -1025,23 +1041,23 @@ z - + - - + - + - + - + - + - + - + - + - + - + - + @@ -1168,18 +1184,18 @@ L 690 138.158892 - + - + - + - + - + - + @@ -1233,7 +1249,7 @@ L 690 75.473969 - + - - - @@ -1350,64 +1366,64 @@ L 690 50.4 " style="fill: none; stroke: #dddddd; stroke-width: 0.5; stroke-linejoin: miter; stroke-linecap: square"/> - +" clip-path="url(#p4afbc1300d)" style="fill: #b3e6a8; opacity: 0.75"/> - +" clip-path="url(#p4afbc1300d)" style="fill: #b3e6a8; opacity: 0.75"/> - +" clip-path="url(#p4afbc1300d)" style="fill: #b3d1e6; opacity: 0.75"/> - +" clip-path="url(#p4afbc1300d)" style="fill: #b3d1e6; opacity: 0.75"/> - +" clip-path="url(#p4afbc1300d)" style="fill: #b3d1e6; opacity: 0.75"/> - +" clip-path="url(#p4afbc1300d)" style="fill: #b3d1e6; opacity: 0.75"/> - +" clip-path="url(#p4afbc1300d)" style="fill: #b3d1e6; opacity: 0.75"/> - + - + @@ -1466,7 +1482,7 @@ z - + - + @@ -1522,7 +1538,7 @@ z - + @@ -1532,7 +1548,7 @@ z - + - + - + + diff --git a/benchmark/swe_bench_lite.py b/benchmark/swe_bench_lite.py index f318bb74b..c67f2c47a 100644 --- a/benchmark/swe_bench_lite.py +++ b/benchmark/swe_bench_lite.py @@ -50,7 +50,12 @@ def plot_swe_bench_lite(data_file): ax.set_ylabel("Pass rate (%)", fontsize=18, color=font_color) ax.set_title("SWE Bench Lite", fontsize=20) ax.set_ylim(0, 29) - plt.xticks(rotation=45, ha="right", fontsize=16, color=font_color) + plt.xticks( + # rotation=45, + # ha="center", + fontsize=16, + color=font_color, + ) plt.tight_layout(pad=3.0) plt.savefig("swe_bench_lite.jpg") plt.savefig("swe_bench_lite.svg")