From 689786a8753c5d30877b98445ba67bce183af370 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Sat, 25 May 2024 12:14:48 -0700 Subject: [PATCH] copy --- _posts/2024-05-22-swe-bench-lite.md | 6 +- assets/swe_bench_lite.jpg | Bin 37317 -> 37241 bytes assets/swe_bench_lite.svg | 170 ++++++++++++++-------------- benchmark/swe-bench-lite.txt | 2 +- 4 files changed, 89 insertions(+), 89 deletions(-) diff --git a/_posts/2024-05-22-swe-bench-lite.md b/_posts/2024-05-22-swe-bench-lite.md index 9aee4e78c..d6f51e69a 100644 --- a/_posts/2024-05-22-swe-bench-lite.md +++ b/_posts/2024-05-22-swe-bench-lite.md @@ -14,7 +14,7 @@ achieving a state-of-the-art result. The current top leaderboard entry is 20.3% from Amazon Q Developer Agent. The best result reported elsewhere seems to be -[22.3% from AutoCodeRover](https://github.com/nus-apr/auto-code-rover). +[25% from OpenDevin](https://x.com/gneubig/status/1791498953709752405) [![SWE Bench Lite results](/assets/swe_bench_lite.svg)](https://aider.chat/assets/swe_bench_lite.svg) @@ -89,7 +89,7 @@ or if the AI starts going down a wrong path. Running the benchmark harness only using aider with GPT-4o to find plausible solutions achieved a score of 25.0%. -This was itself a state-of-the-art result, before being surpassed by the main +This was itself matching the state-of-the-art, before being surpassed by the main result being reported here that used aider with both GPT-4o & Opus. @@ -400,8 +400,8 @@ making it faster, easier, and more reliable to run the acceptance tests. Below are the references for the SWE-Bench Lite results displayed in the graph at the top of this page. +- 25.0% OpenDevin https://x.com/gneubig/status/1791498953709752405 - 22.3% AutoCodeRover https://github.com/nus-apr/auto-code-rover -- 21.0% OpenDevin https://github.com/OpenDevin/OpenDevin - 20.3% Amazon Q Developer Agent (v20240430-dev) https://www.swebench.com - 18.0% SWE-Agent + GPT-4 https://www.swebench.com - 11.7% SWE-Agent + Opus https://www.swebench.com diff --git a/assets/swe_bench_lite.jpg b/assets/swe_bench_lite.jpg index 40adf98fd05daf244ee2075bb99f5cf2c7ed1ecf..1b7d106f23ef444470a298e274b59ede644243e5 100644 GIT binary patch delta 23548 zcmcG#bzD^6_CGv?qNGSjgD`YScd4|r)KCft3`ln#6hTEo7(#~b?rxP9kQmCLq`SMH zfzRjO>%G74_dd_>kLUH8J+sd~`|Q2;T5I-N>%G@$OGiIRLofMA1!&jE8r5{J^$(F9 zNyTMFw@!vqu#3?w?eUvUTv{Zv)c$!HroPB;Rj}@z+%pjFd;%AF@?{{cymS-blauIM zv|7M7lMDXYQG4EdJyd#>NGJtsk|yAOkp4q$^RkkWAT8HgiD7ValDD9w7WXbDbvAsj znRtV8>*S*L3e?)BP~?==^fx3N*cV1)`Apvwsh* zak$x#Rgvy@A{E!ez6uqNdN!&o9tZ}aMoO?Ikc871tkGX)&S%{rz!X85$!3F zuFV4T5dfJLHw_l>D3Mz5zXJ8cqpBXYU4iZ_EoUGlSdbEI1S}9%!Ehzi2lQVmwV9|< zyDysKlVAwfm(y<_0nE(}Ew%{5!|#NHzq&jKzM zE=|K(rRq-+#scbhs5VU&SnZ!{Kp5+xZoa|2BkcD0HZSVNIY@VoTv`6QeROcX7ioLHUsjb( z@DRL1sUN(Zl~kN#P1L?j4#~CbpkbI9nEat)^6~mOpl_ghtFc1TwYANsk4v071>;<{ zR=DWB?68(TLTCADe~m?$-k16IRR=lmespWdWo(90gz;p7lj!ChlDN{<#{q9Pt)Z2+ zlGCb2j}1CC2mIN2?4!#OG?n2gXhI)- zJ)ozAn#Wt0QH5Xxyv4aMoasiYY*aqmdIXZEFya);^O;(ooLq4w`o*2z zM_dCiX}xXWi3=CSPe<#{Y9>KK{s1;wDx!@9UA#P#DdZ>_j`}PI%KaT<1o$-QgG|rjstAW_c|Oi3`M!- zh#jlu_J5*DMZ3^YHpOdhA0)2twTZ(Xnt>Ix)tE7au~IPtHt}9`=N}_?1uFtt9Q2>H zKDr!BBSJ$6>k|#Cp31|heQU|Vq)=_E^k^(TPTx!kity_`5S9fQ7%@E~ z;Pk9a5G29ZtCd^WJVKkv^qHyqxrVIbEAQgp=hlsSb(aL~`NM@Dyg!^(3HI1^kgve! z_Kj#;;hg32#1tGbrMATy&&+9dq6Ao3Jq7EBC6(BZoJAJ!!Ob7qwb)xE2!*Ev{$z6U z+I_;pxdkry7Ys^ORi#OHErld)=gZ%U17BNX*|44>St#R=Ntsbhksb zqy-M0%L@(f`zdVUJwtV>$pB5NYtE{@?O|L5J>j_BSWc~k8aT4OiX{a-m?Z@d7Adn0 z=(g=n7)~$OQR!+zp5%1XC3%F6AU`GgA5JFdY8zIE+VL}1RaA`9c-*(-zBR<=j8h~s z!56US<<);1KYAu!cKF;VeOyhVK*Kj;HtvKd!+0VJ1C5LzboBa$yf<6+TLNXR!cC`n<3sW83z zhkz1dGy#q3k^TJoU+aaHVys2KF?%uHvHNI5H`Se_DC*`|S{x0-(sPOlcWxz!z7O08 zfB$;^eak6WjdFEx#`wh0Qxo&+t*9UiOJU4nnhLb_7>c6Ayw+Xl=wWq4`fIo9IAwF} zsdu@;0;cu{yg(fg?KE=O|I0^(Q2z-PkL0Jb`HzpoV_wjA(zHuUM(5^OSH~PRn}3oX z;(GZ4t^VV0LN2dJ3h8tA@5!(GZ@0mAz(p`a#wVx(rVN9EpJFnJ91x>PkjQTkodRr< z15(+$c?;%yuq{Rk*dikXs@w-ki6i-6M0K4GTDPdq4`~TWo$p;(p-j(S-$4d%M)Dfv zDzrkOcTuQo;wWp=e$%fqH7>4r$^`Q38%-jakS<>a_5u!v^b(hR3dV^J=Tv_Fv9m_- z)aKfmHdo?AwzJ1clN|AM|?l%-kAI5*Bk+6W1zbQpJbq! zzS%~@0>YKliVsbd6za{?`N{;SC7Un2o;)@(_6U$eY`A()%8AT*GCUwPv3!nA_2!*j zE%}y_T&g2yR-&^bCZ2d{drt&Qmm9{LlTl_f@{vv3N(pcEs_&0t##O^!-6dQ%Nhk-B zt(PnDUUF=3X9SWi&i>>9z*Q@BQ)uK%h!D8xqlLQB{Xhgaw=3DE>}0D$ujQeuO8gb5 zMjjmQSFtwftrcvuHkMUkpiG%rZ6p8KJa%(_vk!Cgw;8-|^wr>|c_~U&0)0*OXLkvi zr<;XuDVe|7T@uHS9|8%a3bhsH zt@~m1v3_d@ei{04Zs@Lks;#X<6fq*MKvfKgz{-*uUWE@TLm_(g)RSeR_@1Y_YMGP0 z-kA_16|7ire?~~$S%$wt7X5~b?PbXYThrp@(wgQt-^u&=jkPCZqzg#a_~c8^%L+T- zWa)Io;+-za$^pY(F$>8HClcO6l<{ZDg^;oLHLI-k*VUVA9{jZU+UDBRf$Oh+jGP-C zsIWsRLIvp0ejw3cyX*PnuD_%yp8uO774%}C7N5V_0@kL~E-**G=w?}mT!DT)Xl6ba zD)GAlt;6>?l2Kk4ulTxqYhW6T8Ra#QOHE!_s}fpebX{(($*G~77nD=N3)G(uz%Hgo z{9%-=Z820rQ|i8DhVI%?bw4MUx!QH zE70dwlY>pEeWs#O=POX3)JRP@S&V3dzMb2{pwM3kJAnOH05($sE%a(`Th9B-7LY9 zyhu*r+?`{fmoYpjNw0jNo+A(@{1e~fC)R>A*#in28^lF=i}8cn!3-&PbgwTj5L4VeS3T;1QdTJ`YRn;^^tnP)9CGXx^tvkNCNI}^VtfEE07lR z8ElY51t7ueJ1srP&7({{Fk4fxV=mPRX33{3cFob(3lxfVJDh3SN~C*s!3!NU8ka>` z8ZLT;M+ESn=yRhI?DzLn5wBgTpBRi}Rz;E%GJH_={}6@$+%lJ$Ie5VZ$JsZ3HUKmo&a}K!@=EGM+Uz2Z!n096dE6)Y zo!_4OG1Xp(f)Ne&Ir;|l9kz~^)B~ZnNlY9cOK*G@In~}UQ4Bg=9XVX%GZ-s~^o^2j z?llz_-jo+6+mfcx8Pz%Z{L$7j*drWm)}dvOcsVQh#WPK?Kh^yLe1c2|H^M8Bb?>ap zpy?}{+wePc%8CzuIE{&zHh;%=Ol~jK%Yge%jK+wvL#+sloek@w`TjbI^B2Fb$UHF; z3cKKC1lT9X^rzD@7cw5OWV4maQDLm|Y3sHi>F?{xBfilEd@^4Kum{up`E*icPgUsF(PTAlk5J=d$ea8CkU&QyQyxx zIUEY7!+Eei2|8eod)-x}L0jTrB#4cWJgw-ar0F3L4ViZ%$j7CxF*SKJR`%a25}i?fiD zQS@-#;!_>kD6AH3*V$4%lg3~sd)Tx>cj?-%Ax%c19h0i%SUh0^2`tkuHz=&oS)+49 zl9gI8ge(mfD?$ZE3M`_CgQj?^mgpA7eEN>@v4->IfU|#PXe@?arT&!OKpwqS5%7J+m6T_Osh{6L}7Pee5f4xINkGX?_=aH`n z_PvH;m1cM0Igt#pMDf8BFBjO;@xxYq0>j_tx{R-&IOoh!kFa{mV%*GznsCg|mT040 zcD}jet*dAMx&oCAj$0sLT-y#3RU7BdhNs8&dY@DPUu^bnjr4Mo`}d~2T2++@W;W$~ z#k2@%5B&-q?YKD$3%Pz~X15S$E&TXm0PR|KXPr#&3NE+tew9_hXFO3ZYePF``zU0C zodsPNI|bH>F%CT_db>y-l(4NA6>JpGV6mK7evCgg9P62GG~WHvF$wUSn1bw zUYo~X?#o=(S}(xv^3vfEYsiBBS<26NjnROuVE$jl%m_P|vw9B!Z$%pA=ZQ66NLsQ) z_d8HnO|cP))6^rxL459heIY*bL48HUJdq-uQ5?wj+bWqkZAuC*rGk$Ge5BZwG}OkH zD~nzSt{iRt-ZXjwBqHHFSZ|A^82-3_gTHg4?&}vWIUyb}>;z_bJS6V@CXq;)xe4I9 zb6GjK;$+gD)q0vhDC6P0C{JXk(bZ0XAVzblIh%Z-3De!tZWSbTC!E%YwAoWHQjq@= zpIrV*^=1z(lBdsyVx1)gUtR`LoV8WN`1qW<@@xDQcDNBg{{XRh1eOy2MRle}kMs2oAb+ z*q0z>%_4Y^`ctn-pY^Uqt5!2#9cR~_fo zY8Q8OvrZIIVL?M5Y+H|*&g@S$)242@xm58OmZo#A1-|4$VSq3VkYVv$vqxH^3%t#0 z6S~tJA()w>zp8oSCBD~nm}X*Heyhj2qd%b^OWWDk(&FBv(KnFuyFGK9`jw>07x(1k z=^G9Q#}#&@KDrjFsqZoma+oQLSw>ue+#d1HQ_U3vUcZjLIUVo##^V1p2(rZ5_y4&K{kG3d{t-6=IxsFnX2$c1Q*IZi|dv*d83GoQAf z!fi#>4nhz3k^Ma^X~CdB3mdGOiwPe!O6$LffI+!;ffvWc>WKCIilEDuGnpcD!fzJ$ zc%m;FdDf8C`Eff&iMvx!(aFHldYDQ?_c-fGBDGtoi6+n26x=%k;8^+Litc8t3)-k%gftnjI#WL7d?HIK<7ODx^Fgu0&{6Zb z;Ph(WNLG$_Oci#v)afEh-oQbxs#vfA;eag3Q_?_U4e48dl>ctInm=(1VECplBV9+w z=7%yqOLQ7WJvC}2a84eq3vSs_P0X5J2|f+o8WaDB`FZjqrY+GS9mPiJNM1y}NxFhpxYe4I zQO00Xpq?hi?N~zvT!BQl_Ia|oK3T(+)5qvvfBZau?=Du-65Z02KR^K`oWl!F{u@2Y$6iJU!*NFb{nkQc%DECNTZ&O<;`}0=NX`8+X_DH$)B4Z=Yl~ zdCX%Rm%L@dqHcPbYz>p&K8#J_Xi=@ULYg+2b+P~0sCX%33I2`y+Y&=uC*+@J7$7On z%Z@eqEvc~^L-cP~n3|qR2EISvkL3EG(3X*R$*beb)}e-qpQn>A;7h={32ELb-kiQs zi#@i15(0zV(iJCxwU5f&PhddDt(gku;ru)pY#Fh^s4Yv*p+p4|gPW&SW_Z0zA}ukv z`#Z?lmXzi>7YHe4uFZ{!6F5-xboZmh1H?x#17*BB^Nv7edU{)$o;-b-=(t=#!6O-L z-a7?b*ap3}*;5?bT||Ju{w7AQ=JRH(q;`MqRZ-|rngVilaoWaG5K-~;LSdCX9#O!R zFix2aZ2WJI$(M=)oMkpz%%l zd8oL+3#9$~g2H*sXJ+?R>T@HSEc%)hQ}7MsY6N4eMzN8>UBtkB$s)UkUjM+p9mjfi zmBw--3mE3kcw^i5yh$UWM7E^dh(MELY=6mGiRI>CR^QZ5o`v&z3FvFS+7lGym5%bIEfQsUh{ipW z^v@ct?Wcg!(?wcA*0N+phdfmK)E6^G|!JWA3;U5ocFu*>` zQ7ea|MCVEjx|X0Ma0nez$4J=|UpT9@zZu~VKjK;=Q0@a?H?4c2evTb59A3y+Gu0;b zj|a6s!#w5q`3t`-da@s}RT>6dC=JH6gw0;=U4)N>UlWK}&f(~T_3Tk@9`Ik!7x|C< z7)C9}VkqBt*((|hvPbL(2K|>xW#;DP zXxYkTqtyOG|N7 zep}iJajWIrconn&dxz;a0d9hc)jlF`?e!d#>~nB zcvJjEI=g~d)ti_1#dzA?0`_S$K~Kv)aC07>i-ZGUoy&yR6yF)LD9tSUVh?SbOtcbg z=ZXNTQFv4Jj7t#I;H$eb6|SbPjQ|d%7tgvUwN2x8a~vwByE7RPtM*CFO>^4f!%KBi zu-Pg;Kmi)Pb{?`+F0<5*)ONEGOgHFW_K7;i^56FS^&?7f&PqBQMI9#XXcI zR!94z+{(8i=aw&!yCyg)H~I%@bfkQNi@sI$KHKnFh#mBAa^ zcw@nRX7uWFa$8U6?+ZbkgIBc*CEBMsT}Xlf2lhv+NuqRfEmfdHrgb3Hj_TNJT)m>- z_QkNB_}PNiVpqKg<3|jM?K`xAAZR&(A`v=Z(&nyPoU@GNOq~0LC#NVr{^9a8k87QE zUDaz;!*DCatUq2U^k6)uDin-|J5YL`{R&j-uL@v;+LK1++Kjn|ID&G0ZC_@}Qd!%+ z8Z)*a=TP%;lEOxA>!iEp9$T~8Gwx*v%LitnFzI+b|LGX^u=hsWDp>)7Fv|jKoi#u_ z$$XS0d`ZE3q3VdrrD*H>lCmUK`DGi{nG`NP#~o%|8D{Y%y8hdZ&xg4Y%7fgliX7qe9 zs0r49ndSNBMu%_L5Edbh;nQ(ZPk#fS@exzCoCGS($!(tsdQ-VRVp4dP?>;RpS8W@9 zbMcG88k5cvYe^g%IV3KWI&BOWZf|AiPNWr@F>^)jB3iU{2P7< zaUZ?MU%FvP4)U6(`e?8ijhE`R7{!szkIq+Q^IXwRdx2>;~|L?i|zsQDy681ua1VEWe3GLA{`lChKRq%C~%+q;5vVzRxK9t@1 zAvL5pegQK!d$Y`D?m4#g@wR+UI>V60n`M@-`y|YF%)NqnC1lBH-i8p!NdI|{81%p2 zLK`_|jPk7q1KpCS^D{u#pz&I_=Nsa<}Y?*HG}?V$;&(3Yy)u&tm+sT zd)$Dd+RegvWz|yxF&2%dX8pmy|AdVeF?YnqP*~*8Y$%-c3NAPqDf#QU{YcCv z8J$w$Yz%GPmbPOI6Lfh;MNWnr*!Mb#Jv6rUk}jFX-aiXQEi@4je(vPY|6rE;-H(8a z0<6-vYL`sa`x|lyos!_w_Ll+`wPQ01Kks632LudJ%t_7AjWjPO30+*8T+-KVkj{D+ zGTklWpUYMnuZF~6S@y`QV;MJ!_1`)zr`DxHhi#K!!iEW{0KC8L=-^)gpd*uvEU^~& z&%pV*UTJ$-aA9p7G=8CfIy6k+H1h2)q}M68@3JO|904R`B3d*Xw0_pihNxZRxqy@9{J#HM`_7gBJFaogV zv{y%3CB6r3+m(<{%kP?TUeNF5BRG)^B$d z@PVz!A+*Yud8qwD;nek_a8_=dx^Ph+y*d@Cil_HCF`pL6A+$nS`M3*!;k=hT zc~GjSA2aH?=XGTu?gG^YLcuk*`vP)>C5cfX@|_)8>b`J$y(l z5ZD8$n$4{}-}g>0w2Gl9z`jp8?y*T|e)gj%)n9l{95wqZIGftdBl0&?r7d%GF6aI= zEbYyJpHj;2-29(%F*|3<$vbLu%cU}axZKwnAOC{QRC_KXE-m8d)#&Gr%n}ax>AXpD z{vH7q1EFU6yRH$u-d$t_WvhWBrznHWj+8nFSumQMi7Z!H>Tr06VbTWVz`uwezJ}U# zZF@FQ67O%h)l{sS2c{j?;`MLMdEzL8ki41_{1V(2DN zjK7g0bf=BqHhD6MXQ&@p0`BJjQ>SFi-Tz9-Tj*$8R!)_#5eJ)*Z#|BZz#;2nVhWGnRfeKH!9H=72x`X9}iVJeB|F1V>3fcTGfF){uRhvzr$H#YTx?<=U0W=NsfGqB!d*L zyNCJHe~vg{L93lVzAIwQo{LIJVKO3Q|N&l=vk|9e87 zbnLq=(x6u4I!#FLi;_cyDk%(UM8O=-*LPZIJRQ-kVWf8c5S2gEw+l?CU-ARriMY?N zK+G4XQggCjd}02^#NhOdWA`)TpUPjj4(Scm?4Gp!T+Xx_+n&7pSibUa2HZytN{9Xz zQ!M^&!%{+J<+R0K_{d*@QnB|>7dU+$3RKPu(Y}`3&CnfRh)AHCD|9)z-d%nK4iMuhVE;C;<|xZCPh~Fj0Hi6SgQ9$In0H z?l9EQU#Fo|*yF8;V!>U;wTP5RjHYy>gNxjXmcW7J!Wv)u&?~L}0#$F4g|7kDAH(8` z8CGQ(x<|RhMZBefmQE6GIm{&ahR;wLr0#8ytSmS`JQEd3#XPNA7ax0DB)B0Su@4-k z;74|}Qs`t`3JgcDJGX&2x%%DdFvN@a#t!pIMWeGavpWFjqsS3ijvn zPn-K)!->^AG2Pv~s(&@)7IK;Gc4x^<=+-XtB}E6?cr$(aZGUfhSq;g_4KA-XUU((^ zSZXUvDiGv$_@GYeV@mZ9$0S$eh#O#)!Scfl_EJ-tj%ve6GE}2$wvd#aGJmwOt+8Mc z3B^=>+=Z}L^*SIY`DvBLeR~x$0(U(0SZ8Sd;I*z2N!u2sBe4*#cTQUwDGjmt^kFlj zLx<~xHj4$L1f`lsEx_KH&?Q>$6{uC`pm0d2s?_jnTWa)^bQ1Q@zTxyG05HP^y9`Xe z2mEFOc3jJuvMuc*1crNb3h9IHiU)_D5J{6RXQgM97DUw5J;E)>rVHo~Q2m$dkkZgl zh1f7&-E?_-ryU|MjGkR&(+)AZOt&=Sd`CE`Xz3PG-T&B^mKjIunu~zsMd`Qlb;d3zO$HRntRa zs77C9uK~*5w)}g)jG+Uqaw@wVo;2yOHV||`-M|E5ym`hsM6}+%#U?%Oj1WGhNct-? z{_W=J;P;29%q`M^7$gl89o?7Ldq-=OVAh7{&h;Ei1x|F{ELgNA~fLKhD+^%N7!_W+Z02x8lpWxhmS*M`sa&Q zyzVh{HPHMVG1}CCVZ>(oG}+Be^H7zuQvt{4Te9;_LOF*F}ulfJomdbz9$fnz6MWfOf>?! zpd<+tiIv@u<}dm)92w>zFMbEKS+*1%Ctu$0_9bbLaP$Y)+juO{JoTHe5~68Yk)|#r z`4MVwIJ~u$-p{#CI`TscqtDCasEnY2m|I#xMZ00Aut$=lW=OM_p}C@gG*+-L7OfiO z_F2w}0PCb53o7fRwbt}-aI0c;`1L+;P})>$VEb7t?xp1!DrxuZx2`tFTb3lbvz*K@ zi5zswM!9Y^_0j5>!yl8lgLxPyaNo+w%5`Jg!d9&ggpVqjpJ~n3?G?AW#RMPue1kSm zUtfk2z8uHcC~q9} zbI5g)PqD6|s;N%TqTcs2tEM~En=!{Ossx=-&!7qpam5^uNYAapG;iU+O#jGNI(zrF zEXXCsZuMo^STD6b(4`^lcU5M6=QKI_4R@YJr0d~mL^4zZhwp7xa@H0xhGw@ z!mC=7hgb=fx#mMBrJocPw&unEL~Q7i=?kEHcyZ zyf{^-Fu)cbsFyd&Z$D1d*59iKyVF!EooT3%u1emkjusr7`pA|2E+NQj6nLnXgGpOt zg^?Q2K|_(`@>W9gQIA`$i;Jf37k??pvUOH!7R1`?b)9by+sH1{_Y{KI{_w|Qx>A6n zca}=}v59;Q{jA=&>tyGBehs>{Fbtk$$tbkp0mBT6u>92HV8pZGt@P%qrZBmnr7l8I zUc4SMZcMXA9R!z;TJadQ6M)coi@Zw?ANf|;f+Y*a+ZrMYn`FVrLsU|#K)$oDk^788 zoiq-kQDNU(v{gJvG5?^z3BSqvCfe%im?@n274S#qTH!E~`#hFXs=`Nw>{5h%FN;4D+0(nm?Ab@Q*} zK^H6-8UJ9_U%zh;H`#G0KXv`2e=8W#S3;hGU20QjemaB{cUKzS&N_LB^q_KYC(!sR z@UnO#R#Qd1_Ds3`)!ow43MxxCp3y32V|~2dqIhVAM`p2Yyk_LdQe!Bi<|Xiaf-q!h z0pvK&RR5{bVs^Z}|5w~jHY%)a>`qa4`qp&ln3S}SR_kqR>uO)N$ruTCiN_V?edHlMXBUhQ$REwW#kEzAbK;c-8TM!_Oi^8$) ziv|BI*};U%zZDmFW$S2b>kRmj%l3Am3u`EHbb!%4$*^iu2o%z4LZw=@kRCxDs^Y^70^ywUUdGCFGzJCQ0@0~g81@wjwo-n0Txsi${l;qtZZph2tBpO2t^JJE= z!YKWB?y+D<>5lAg+#cp~6^p=BofR-G`1P771f&L-X-%1o>*+OavvkA)i z1Mtyw)Coke*yQ=qmf61b^X@aym#;4%IJq+iIR!gJgX%rB)y^xNdVZ~RlS+7xFivIW zTf>2Qh+wQojInm!gpm>dW4UhMVQq2mrSpU}oKKVN?eNyq)-DHI{#52fir0G#I-HS> zXsg2eDfoxMd+&B6GaWOjUwGupzjX>SAB^v2pnl9pI$aY!QXxPhzjP_iNZEj8G;FiF5Ei}s!s zBy>CqSp9KI&&_WoMWI*#U<8Enh6_)x50C++QoC_f1TC9#(}@CcJfoz4_WD4hMZL zK?oQrw>?@z78VHN*kU}vt5X8IaSoN^^DN)e81g}3Sv%NMr^4R`%{_|j3{bdc(MLVH zb|Vo7f8k=9V`t3~$PXh{XD%A#?@jHC?m6a2 zzPG3s4Dv5|1~!WuSUC9W?FAL)Kbad0`)M=O(z%czG^DAf50^elEvv_0fo|Ws0);}U zMG<<{Z+#8qDupOT!e;K9(N?V!p6Eo&3Jf>ax5CtjRrp?q8hwwomq`M$k^a=g8sD&= z;M!0rq-xxI!9oQBEwk?bku~u0_`TXt5l#CQNHI=!GAgj)BUOQOJ}z&9`@RI~g(c9O z>&sbt!WC4yN9vR84hQsZM+xK)5@%TDbMxe9vxOenkLzo;8!MY4abuA_pSx{hKrzqo zvoW$%Y*tQz&A7ZNBc#3&2jW*%*AOeEs=}%q0o{JDRX>)H*-Q(q|AWVI($O2_;I5yH zFBC<#f}}E^{8pjV7_6v|bM-j1exPL!Tf}wC3pAEtC_P`xOY;{t!t@Al*`69Fz*BUI zoKhB5s4gke4oAJwW<(O&c31!#U%jL~W31I^MRf22UF*_)YX-z2KZ5l?Xk&n3{XS)99V7aJ|z3k_vY2bdi4q#07EFKp@y3JqG}I`27n ztN|e=<}XAP1*!}FYezB%Dfp0Sg=CrL9U9oHS57Y7-K0rldG&c+CHYL7erBVXOK;Rh zD$ct62-?i3Gq&6~IitRo!kC^g$xT=?VC@#YZD~8j&vdJbLB5R-IxFp>Y&Te`!M!A@ zmZs|aRA|R#xqb5X?khs;{;r3iIIlGlN;?3VExp*75Ff={!TOX{(GpLz5+1H&9dU=6 zPHmA@H55G8ZWQ8Ga&ZTVk)^j1Yl25lhY8*l7crGbO6cxalXFXb;fzuu9%e{M5~!cy~A)m&-foDLtIjG7AWnst)KMd7Qht?>WD9Jl3I_A|9Tt8s^|AoFnaD>Wr*(RU<|nPpM<&Pno!_0s>6OWoO5!?^yAyxb0RrQhHRfQZH(C?r>3<_!=DYNeOBg|^oUV@E6Uyd)dbQvXjl13 zipT@5BBmOy9#{;rYS{dd!QQqA)F{ROcpwJ#TbX|8Y^PMNxG096HJW;L1jLa-!f5`Cm4tZw*C()CUS3~>1D!myfWHTB=HWt&(x4tebE;u+FXdTbBjEriH zEBjo!;G0G0Aa#&mQK5R9e$|fZC(mp{lksVejB4lW-WNzqmCg{ZqaG1n0Sm8W# z{F)BVuM>=?FagSYFU(0hHG#H*I2m@?PD&9Mnpu(T!i0xKH~S{GuqtXd?Jh+mm|4-re?{t^;AE%yTLd>K6%crVV5hFGZExgBdMnCOnR?6RG4NpD5x+Z5*_rMm4TdGWW^|~c$S*`@gqFB z`R|q-^yth^W9@#+l4*Gm4@Aq+s3Wo^2TlC_owC-QO-cWrJUP(^+x9t!IfpnyVw?E; z`Oo4CH;chx3VHw}-~9N`4Jz7KKXRNZ7Z5bFZRnAG4^|4^OT2h@A_T*^!HcA|`$n4!0eQOwciaSir2N&K;S`X&%AO z#mea_`M*|wjI?`jb5^0>5oVcDB;RDCY(!rNx-)Ea;J!_%V4b@*64BpqY8~#d>AiR) zvZlLlB&KdF=e?H5)u9~F#nS@CZr>%9&`*@7`EuKzhd+Lrbae`kV*0S>5x=9t3hghA zhKqMgo|ja=!=v18r;Rc-k3RTz8lv0YKdJOZHc(HNRZ}_SVE@}(@Upl>hKb&}xC+}M z9uS*0WzJ)-)lEugPUTL$CTN7C7trEIw#)Hu6mFOc9+`5=r9;1im!OX2NKw`ryw&*K zzc<8AvL;*0%))9oQIH1|{nNph?+;265q;y0bOJ59uyEw~vXCY)sTrtzg z#w#h@%C==iqsNZxSDZteJkS}a*oC0!J>C;X|O$Cbu@wyn7{oKbvhYmcv9dV zBrG*0+?P@mX)tMKxPx~Q6zd0f%}Oi<$9L)*>yuf6gg^v+r(&&s_=sYDoSKS8t{+q9 zTxXsS0~u^roj@;c^M&{cBxh$eW?EOr#vomUdVL}k-L0#wA|XE?09X<-T3soa)jM*z znZJ(VbNU`juxB2F;865jjuZmm%V$;R5O}uZtnZU&B}Urk+8NgOxklojed?xVWq3#? zI4kFUs=0!cnEqgU{?g2EN8Z`lk&Kf@i6JitC+W9O%5d@eq|@r1b@?Ed_`7BKTxmYJ zx)`~7hfB=;{kQTb)c{E2P8t+qwC;8oxzg=q?(yWy?!2AGMAGfM9a_O*IE~i2JNNXCXw$kFY6v=x(7_Uy#gEL~KI9_#g^jpW&z*DzaVI zg_I4v(@_UhoShx+)pya~M!xAJ1MOO0=3;#~*LuxgyI(o@`qj(BxTFO}H)-d}$NS9G zDuQP%)fDz0n1?DZC=l9}b-}{(mC+FtOfnTD96TYe#Ap!id#lxOi~5()+;PKIQ6FWA z#)G_cj+LRe4LNpq&QYV!ip3}6E$>1#KNMF&>B9gfY|8FFE(a%JP;m21ujJ`nuFb82 z^@4_7Or4m{y4^#Opxi54r?0*?awr48Hj>mDki%)g^sHzsMU3=Q6j` z4g&6iww<`0qpGH2wz`E6roz%P(9WOI%xgAzXgw${I z^l7dwuY4{WDlg0ZrsiONXGNO8R#~gQ5#fTzG%F@=fQfp?-l{e5fj`Ofok(Bk_A0U} zF3;Es89n6g&`r;Ik-8HNeBzM_oE{u zpiRJKLv{B|WAwnryy8`fw~dWyBkdzC0HrR_ieajxrJ=Q`&)FYcGmtNVJM=e~d6&*z((kdrIl z5kM@^wSmJEX5qEHgL<@?jNFGcPx*@b*Ly)Z@<`jqonx|ePF)H&?s?9h4(sakFHD8) z^?rxWZDf6c&26!7roVdJ($D(hlauSc6W1 zgIm&;G3=7MPdpabI%ke5G7t7lb(&i{a&BDcc~=2QmtO3n*Oip^9fwY0e(M@NMxbTG z`H(lKMMvw{>ii4^iWE3a529px~m@D?zC?W z;X35;60H6ArtYb4Xd9j?OqSNZR17F0!l?j;iB zLbR$|)=MS8SGFOPLtEptEP{PutHVCY6GTjctiw*Wsii)WjNo2c%VJjKruA6$mhA-U zs;|AHw@xc$;YNxs06b3}-&tExn8zpL-xLa)URkTZZOBWZN_6SQES;n0M;f z-4Nd|uPlU3WP2^bhRNzy>hS}Z;?MTGx%UT4E01G|6aXHxnk|d(WWSdREn?ASpuQ{M ziP+HcZDQ;yI@Y6(h+J&TeUzFgD3KcK8&g?-vU0AS;&WJZd4?nbE_;t>wCrrTFgaSM zI|Ixpa1+SeJfxk|G7>#XS~J zZI^-#*&BzhK1$l%j@nFcyUj|gVOo?E<6 z01M@WJaA$on+^2r_6%KlEcX|1dENtJ--`EEZw}(loLxa;RJ99MB1$qQZe1>OJZ`n< zBp{F|A^fh+%bXxzV<};~OE^hB<>f1}KBcoTk3<*s=x^WTUg5{SYap73Nx;_%0Gcg# zVEv2!1H*cEN)6=q>l&hLx}HTMZ3+CAv2SwFknIao3f*Kkg|71wOy8}-V_dMv6SOF0 z*2}6Wj`34I#mkL@$k!OZ$Q3q4zBdR#J0s)1NYTAK8*U%D9uu-RpyN_uUmqp+y0SIh z)3!iCfnB>{k7-M*LV1OWDeUt(Lvo}sXvj#3F88F4xT|q@y_69wl!x4 zZLn1~u|lY{?nG8N6hF|*mh*aHgf=GvnD{75?`$HF{T zb3<|SutL9fGwZn4ptF5auJ+=(KY|0-mr<4yQc^ZV5*y1cdNy*9jXlv8#vCf7W1Lh?9B3ssms;lBF^EK-}82 ztxvq^qhQ{#STj0@0^3^h_ov2TWf|c|tXzxRyOnkxKhiu~M)*d(Gp(3d4!RoXm1?^= z@e;DzsK9Sa2h-c8nIXnsgKrG7GNhHRb=(3hAALFzbGY&sfJ6s7{<=M5?jP>u%0aUG z0DyChUAOx!1GPoxhWjt408QigrgIV%^Nf1D=buZ^uB`mBnp(?usj2}VWn*!rqlske z3z1EVB~0T8y94i%c}LCnIE$7qN&*wg3@>7CMHQr2a+W?Z1roQo{b*UX#%LSYpyn`17^DGF2f@Xl?KH9!Diw1H$nu; zZEMk8rj0IOb?;CsaiM8FL zT^Op$mfOKn8SY7WT;39G!&!elhf9Ea(}cpG7#j`^zB493{ESJ))^fAGWwXJVo`qKe^(94VbMVOA@csW?$zI*1(wb?-=_9?|A zx6OC4;MDcqD4?Gbf0jrb`W>c^JgaeJmacp*8{~SS*6F-p0YJ6Um?Bj6^A8UJ11{|y& z+++jUJxfNjNYnZAUq6nl#G+o|0#2A>z6nSwAo^`iy1)Mg+=&zgI@%JB#Ll#RmVOJn z?^c8`PYvJ)1*HaACb1^8S=&ZWMcO?KO9&qGr70qAIR&P{0i9N&!Y|wM zs}SzgVHlU1(+7Mb{rTP)C|8`Vr1e~zKoLW1do~wr z$AmiGosebHUR`^)mu7rOLo|i5c^%k=w9FYjzc+2Z`QFDyGC0!_*e#Xj=@k;^PR+?} z4B2^Myh0sxNRE@_P{F_d+E-=rNsl`)=4Z1j(RQo(4t*7iaID(=4zrux z$^$imvF+@UO$%3uuX^XvFadle3gFIL$j}RVFlQvw)5b6=L(_*(g{_Ehs}}^Hhv-18NOzNy^W`9IJx0s*wqAzCJiwkin$s?K zAdfyXw;rYK-wnlCf@->r*MKW(L;D9RYZcR~5ZP{_Vo2-s4#piNV3oJF>=eour&WUV zqX$qA9hj>1SU7k!dgS6w4#B`)F0}C6fOSgwanjtW*7U)i5mpAaNQ@O1y`?9ltML#b zP_FG?6;dXT2_&UulC?1LU!dB{qj+Hz;R~Olt5)hL$Gz@$|6~5^%5?Q06*l$so${X_!kvAbQ9a zkHj9rx>Uvwo=$S7eVls-4__9La~@sX36lRY_wz*Rc6ej*R~N++7A@)t?nAdA4$HW6 zXRnTof7(M810Sb_mzpuEL^3NF@{E5pw|ohr@6&v^ZaG7 zm*6JiA&|=KF{!}~`Cxl3LshJ7wm)moId>#M*M`+JyLSlq-g8Y=d;iqLi#HG_d&1PW zrY_0bO1^!z7)rt8iw*WfOBiq0eZ}t}$(Rk!`$x;ux}q`k{RY32otg*+y-L}&)3!8WS{%^&i?$MJMbCh@j5c0K0wc@8&}$p zVAm&zz|_ULE=XQtd8Yb((>AXtHrRvgg>uI0VW*b5Qb1mzui2IZxtPl1Bq65OyQ+MT z5y1%6pB*XtEf4o~f_=MgI(?3g9^NgO(b2f-=iX69r0;m#*o-auL3-2D)MCL8CF=5M z(3AC#dTN!6G9rEV=jA-4G&@drOm$Wfrr$;FlGpjt!nUYoGbRu4fqH?v4Ca_7PD3A{ zrs`9_QllQ``J*8?w*|JM*cu-{O&_$FX9t*m-LSpW>s9vQ>4vKUc<% zE2e)Al#1XE!3MZ3u2&}D(G&hhA%6iD3_>GnDy)ND(n)~Iay!&QwvRM%+>=M@G%@`x zBvn2=QoM-ZeZCdaq9Yj%J$`lrC(vKuYQ~}Tx5UvbN#|ExjYlW0?26`6LfE}Sa(B7v0j&&Xp1g&V)t{R5uqh~TD?wl zq40-bRim_*HJNJP2R)G&zKpOYxD^{W5M)W5JEulnOOF@jcfMIT>v8SbW3!@fz_Zfh N@Bcqb9Z2(c_8-~czU2S_ delta 23835 zcmcG$2UJwc(l$JZiU|-TBSAnwqDan&k~5N{N)AKLX@dw#4kI8LNkbZtoI%M!G7K3c z!;q0U!0->8bINhS>2o*}NyuJaMG7pt94>d~V zGF33;C-e{WKUXjuWznN5w#J=%NukHMvya?6XC*)!>H*zO7oh$C58F?v)904y9(+^* z5$W+)Bnf4rw%65MakJ%)uui+rS}9cl*Msaj%e4FaQ;k2Aua`l-<2?XN+0pY1hPX&1 zec2oT&P4vu7$<|feab3!!eq5-mm#n&By%n2IVgoQd~Ube=R?9KV;YY1ne0w6W_Lrh zlrSFaV&^&2bZlk56)y*OEaY*r?`z|#Msod8q4%MV9b1Yb<^3!w`9x~U?YWo<&X7L5 z5`d7~@C0+_0yJ8eio9L)v`A?LSj6?b02%B7tMqkE*;2{j$B`-$gbcS-BnUvi6%6<> z1In;*GZodN4|XuPeF2KwJ~g`lm1^p0R0w;q@5CJpGk@5PI}4<_02SF^%G#B%`M4YP z0uLCiLW?OO$XbydIF=HWAV7=#w~;Sr!LYp)@oy6Th0Tn5L1cKaONDyRJcPKCZ2*Ca zn(K{chE<|7hRaX(JAHm$fZT!4X;=gQO6t{s*!@*j{H^&kQ=i9P4&KZ0vQw(C*W&?l zfd%hpR)RqJ8t2rEv{4|*oORN@V!EFoES>H3lwFZ9Z*Th4Tnp8fgz#iqAvxZuD6Kc2 zkjA*b;J(kciRZClkUomGD7)3#P?fgHh#|h~DD{3f8zfk+8SYxzN3bU!5E}JJT`1`u z<$E05DsF$aq6Mpti9uZK?gzl7d@_cC(C zml2KU!hlK;C}YScp3A3hr7kIDE1Q4!>a5=F244`@wUSe?U-6@N*wGhi<6QwgLN&D{ct&f5jVh_~Gy=`S{ z>r=WWUzH?mf#mz8>IMh4K=1AOwPUsqSkx=eQY+9lP{Odx@sM+--od z5pKt{$56|Iw53f=9erhY*TpD1-{h@L6e!Ur16J;2JndHQv0|`QS%|*|{RQY1!>K6r zM3dDPj2+i9K=_HH`N3*qgY+lH6Vq!fejCP^YdQ&m`R=x!htg%(;>$!J@~RXJ{FU5C znYis)n_OeU`tl9?bG?qw%-inwz)Gp4tFPd~ClccdOX!lbqY6bRdp^<3V}{TW8(nbShWf zbEI;06dd3KdXx1{-m9@DER8DgY^wlm4SHkzr(Iv{A^QZ{H^$BSAg8lglwPSb=S-#Y z`81NPFB)WX-^8}-;q0IHocF;)sB7teEuxOrRKL^KMz+&Z#=JsL1{~yq)i4#O$`dSEq}O@sh)J>TsD$bsD66%y(taZc zo@X5E!Z{Kyoes);mbsum?5x|dS%edB0WN>*X#KDkXfaNz+zC%oC%3(i&vdksjm|k4`9-KSn_cm?piWm0da=m$p^w_^3leAGFh?@APEq z6a`4YHfyHGGPf$S)v35-TWG!QQ_Qcm7M8j@W(f(-3k218GA@1e3YF3Z@&9C#q0As0 z@CyI|(b8L_XK(O;Bz0qUSULe(##H+=>701wlg zzVj&0J)j$F8`W7v@~jhW8DG)%wtGqIJb4DxA_pMnv+&G0$QBbRfMK3_*(|Aqw(6kY zntcVfuU~+=kIqXkK;!wa!WZA=n>WYMJ8Awl>cBZM73Gd9w=x=Sx&Yk<^rc2|7uZkk zNuaIT!Uag&a?|xvwX8nw1{vkI#)a_3y|wU2E%D1 z48%$hFFJj0eo2lP#G07|_`?nO%|`8=vs50|$8}$TSce)<#p`+hc$M=QGW?FUkWa3t zDzgDjR*)kU&1=!;-%)!PAP&iu3s4FG;~xJ=Dv#aW>)i^HyWH{rUbM+BKp(ln?u?6; zXWc1Xq%#1t9qBoue1+Q$bp~pAuk|{b(()SUy3^=wut&tX@VD6~EE-3&JM=sp)H=3U z3K7vQ>Com3{kanQ(?<=%&px}NUUWi;d(JbN>BW&V*5?VoEj*8iEDy>LV8ARxR~O;> zc54>{Umgp)lXj1UD!_3b_(&H?y>lp4*SMfhAL|Sd4ZRh}n}ltPysqer8(tt?$rdF8 zm2$}l;lH5%;qXKQ6cs6nOH;khe$AZBgHHK{$7|^yG&B0L%UUjkOloa=1hiNrG&Qn} znCy}}%Q0!U8%tpcJc;H}Gnz4D?00zi8O%Gs_1;uumb5*12GjsCBJsRP^b&}6`BGg9 z2Lf^811>AdQ|M)<(n5rA@=i3Q znmF2YXS>Jo!YhVwgi6FBsF5Zgkpp(ct8n1xseTiEMFM}iO$7PPSI5C@Y_H4S_c(Id zwFuOO5=zZmr4FSl2(}>uVoF$CMv3gFN&4TY9}&>ujAN!|8I0_Iwk?F&+LUtF2X``z zztla0)B1-mI{Jn0V`PDyZQXCh!rh=BcPJU|iE=0gn`d8drIE(?&h+gkQWNV9)nNfJ z!=OM<|J5QboU1I#3(D#r%X~(?LV9L75-bCq?r}FtuZWGXsVJW8EOQ^d(V)=;X$oDc ziB!rWzDx1Rp`Fp_VeqL|KA8VI#q%R5+$D}J^}3NlMg2RApH%hgk;K!f@t-lj(?xst znD=97QeS{n%M}Zsqp~dI-n2W&qP+&ln)-c!lU;96vDDVqdN80;_kFArEsdI9@`te` zA9X*fvBEQZOD=*i{E6GDNKa!7ekz(pJFTbaEj~X?lvvkNv&LAX#tZ*Pw0!!~+ZZDw zVt!CDg&V;pkzB12VX&J;+4@u5UN)N7b*^_DWDYWKx&#@qeh7CaS*}mno#^6yrVx4# zEPQJR+3Why)kZfr>xBJa(NOcNc)DTl3+M!r-~F^3Hhn4;V!^TyWN5eKk1r{(&&|3> zOjcr=Ck z)Tbs>>v!P(XcnEZ9nh%s7-h{}bJajX6wESp5j=a^usjL6;1tP0p#F>wFUhf$$i{-m z!2&6qoHXbj{rpZ_A405^gV+*cDMAmtzo}Y)as9RbOeru&-ru--7Yh7j0s<@s%D@dqbpzol01f<-u=kv0 zx3+08JR1BK(}$L@W1ZsyWc=Cs0HCzIIpZ|F*lO+7OqKguhO2$pW7PZ0cc`v;Y?Q@g zvKFb+>{pS^g^ueJ@ajOoFkClDYPaz1pHyWiP3+=*I4sX=_75<#}^-3RhHzsC5! z#e&1s`OzmPZZ%hWUF=^}r<*4O%c4hI#$-SS6T&VX3sw&@J=Sr8fzw90aq8El}Rp)@~crYegNB*D+&d1yF6i( zY1TR@4m+xDS}b$hEsfZ=e(zE-@;?U`YDb;=IH!6StkoD7OL%(UsEa;tjrztgySA-i zQXPmDK`S{aL3-Kwyno66nz^_ljJuwTvS3IE`T0PX=;B#6t5>d&d$Oo z&>pf^bu9CLCwdJVWUeA%Z|^p*+&;xF{} z;w_NKZU`V;${83B4!UJ4{FdP{*3J>FNOJDSh*MFGs!HNmI6Te_P#u~Je&w(v&sw&) zFZgMzS6D*3yuM^ehqTB>JH0$&gXgoPOUx$><^W}xMU2fd1BIJQU#kWZ#!bosU@fk?70-BP9Qd(g9v&@6k{wnm8|t(>f|+|pTaKBEFxF2om8msXrwb|f7x_|c`Og@DYb%-cC}gctzcc;P?@muh@7>OfWc%UE^Yh@|Gu(dVo7kBm zd+cdm=zv(mAojH-2y#Ksb15s@Xu`jV(yY)Y@`2Lo|u;WbF|D^XQ7uR zrSP}jpe)ENKztq0S#zppUmAMrt#~V~j{g^JP$lEy0@hkEs9Mi^DB>fnph# zC|wzn5hLXiBKv=L#rdD7$b+<{INEFGC7}<833-AL){kE0`x)Javd)Ar!ypZUlnT7) z3!(CTsEQcQJFZ`G!If749}Ek*lpphKDrbZ93TDLqAx-kXcDS23;!3 zqSQgY%E_m;jcxekZndVE?hBC+q~VFNxdrJo5Y>TQ`B-IHUl*zxeq)~LF6UyHSKC5$ z_KDS+stl^QAv;lr^okgze-eYeH#(SA5q9rG_)J+>!sPiIr1Ig7YSBw5(tHnsKEa3t z|LD(kB*U)rILblOpRZ~7{dmNqycpNMK?kXVCQcyuEt;Gs0NaTS`UDp7M6?z;v|7+} zM<7$0D`ZA=$^Qs#R7c~%lradhqBFm3V0}jE{QBr;wT@rKv-l6p_cP4*v(hu?{!#P& zFBO5t8Z&%YeXDb$)z0^pjr}A2ORs+#(L{B;aC|jD%i#pQX1*x==Hp4>om2ejFF}p4f6F+cb?$ zcV>4iZGJlI4X@QI$|d=!eDgY4v|I*a!erKekdLeVos2d0XO4*z@DxTg2#aF9deDYt zYd=wYe<$B`*B?K9^G?I(&G64fLPKZjbUu%FZ%h|{$nD`t16W(@uy5Wn7KZ{t_fkDJ z>z-uErMtatR!sIwpcCA2z~m&N-RTv*0~${c4%yULws`ZPb-C%wqQZj1liu4DeiLIN z?SsCL|ADmTA$@Y8i2kw(=X2Pi^d#x#vNp(8TrI`2=eV5uri zxyU9MeP+LHY8Xv`x!9o}knFm%y%G!Q@*bwlH@}7{vs355Its4M8Umkkh_oZOF|(H*%TTt2j^Z5Mbqa(Z&8w+u#N7eU6ci+hSydiypm+I1t{5*Ok#r=_%M; zQ$k0$%mnUq+9IZO3#M+XH$0YTyJ|ho}SIH+KsP=PCnOvn>2V zOKSpp30A_NiIT163mS&Y)bZy@;B$5yM(3r6#y-XYQS>}h(HRsLSGudk`hMpHe?HH{+lLq$>t6oXceB-)AI7d_cj4P@w}mJKC0)CR$9;_+&a0_N>8)Rjo!Hv@CVr z$HMOnyq(`%lz}o2U0=8xb)0HBE0Foi&BI%q{BG5X)*{EG93DOqDF}Q-yT_G6_7%+A z4AFxvp%Rk?f)LQ_3nxr_L@w8w0=4Q6X4J|F>szq9CP`jPg{Xr(6g| zjDGhNhx3WbtEYZ5+m~8Uj@=i(6j2K=80Hm4w8NvPY~QA$m;35LrVjE;N~F-&0>L0i zjwBga$`{S3YJ=@vOf1y%k#ze>6O33eyL$7Ss`F*t_jFu097s z8YLeBe{$7`X3h&OuA!W?yN!PvD?E1@Fg7@!J;1#Hr6v4gPn@WKp^gr)32&c!c3$1O z6Hna7BZAO3Vf5Q3yNoI06m%60RMn2tUMaYV-MZ z9s!S-0gBO{O`c%j)n&rz4re8K9CY~q&zfrzE)>5`i2JbRY!*~D28HwmjCqYK1B4X^ zuc4%EZrl^2yz{5Y_=6L01w#eYKujjbq}bOWiq8vz&yl!;zBJl(H`VT=9=10|GXsh| z*l+NLu!~Dqx=(p#*>ih&c1K0St$GY~cWPd6!F~#6h2MO_T%HgRR!?#$6ka}aZ1@8$ z8k>%8Xe+e#iEZi2r#W}=IS#NyF~dMsr89C5t^vBOkp?evR%=FJpDOdA-3*Dgx4L7T zC#!H4jiB|;+$$5=um!bU`oxDGYO(>)+xSYKl5QYYj_rrd>Opeu`3xVpVQ-4c)~gH3 z%@-1GgtLCD=qV!ic;Kgtx>r$Gw&Rm{16eYasl{}zX1s~DT1EKTS&8Dl{oEwT^MQ+K zTP5Hn49?Lp=lN<`N$I_p`^$JbDZ0fk<@h>olP}lme?(S5$Ul7!at34tk}N|r6Aj_c zzEHEAmwy+`m@WPHsIcYaxi)fm1iKPhdXSq(xdeNc+lQ*oTY8mx?)VA_pO0;EQjt)3 z^f&DMdL&S&Q>})M4(pXWWb4LIy!!(xF6VyXh$`^5U~M~O8jv6~zO>-~QuO@KWk&?6 zv5+xYtRE;k(QeMWu4h1jZEp4unozCTR|>FuO~H(5*RBfiXC=D=-R2X6tpG-SJ!ka1 zHdQV`pkW%|S@iSFvR>;doHYXb=!uSA%Rm1cr8m(xwG;lAF?lo?{(mPZ|G$jM1OLZC zd5|Xid~N>duoIZ5cXuN&gDwT!0(h$vyAT{Q2wUY8y0&qwDr89_H@kHuqi+V9j|CB4 zfX2Qthz5X+l&tLMi-;|WUZ^!xd>u>==jH)QHrP4u#WFPTQw4zCm{n?q&$tOHqfdrf zX`2SoK~;qUG23p!_7{c6^h3`RWlG`P%+4uF&#XR4{mK;HoAeA9&~%-1%u2=4z5u=T zKTi$BBf9<|kQ$QW7-^1akY^dUmbFG)6B<&@`r3WWjPy=cglK?n9@$9Ukq5;=eE|

Wu^@@w}w{ePw009#U$_iq=8mKE-U zMLbu(J#l0$;R@D_X~v5RAI5;y19hVK0=z{>A66t=QLAS;V~x{PF(Al{D$yflOk?N0 z$z=*$kBn+`H-UN@_Sjj*RZn$_{PTem^_F;upDHoXiQRoZcQSC*gQw_7YDseBavac9 z;|x_YdE9C9uMA5x^5mliHr$Hn^8G*S&8jPKVzx}-Z3$jSPcqEY(V%@IWhk5Y_HsmZ zTnG4fo=Xk{pn~j4vro?u%a=UlB_SFdy)yQo6s@cukJv9+TSD!etxjCBMy`39v6n{& z=~j`2tf=4v(KikGecqgm^juCb!bj+}bRxB+$-|CjL;XLqS>XGh@BbV78vlD~>G_Rz8h-Y1R=N_ey2EwD$37}2sj0I`U*_!+NEx2KTtAJ#HxLdLPDqs!8;~#__e1pQ z+Pd=QC4bo!>c4Qi1UxQb04t9RkeiQ_t>HFqZ&(QWF_mJVMwAI1optEmJ8N$AD7sqs zVu$>_vy4W|qVmgDG&ErMpZWjn?{GDq&DD69WT>E@fOM!x0od4=D==^+?0>^p zcuL+nI_&!k_W?kWD zuhz(USwQ*nF77|>{_&1nxi8KCc@;CNu3miks82Z?6&q| z_6|be0-H=N;g0AO@>0kS~gk z4Wn(ch7a1{PnCcD7xcq^N_8wem@$v;FAU>PJR=(Spj(qEiE2HzP_5e`Ys>99nPIxRsHUq_ra z)#!9hN^vlHD zg?X-(&-pwm9V%P1CdXKbJsFh1+J4J{hegrwCe;!IPtW*)0-{i+p?zyq%jVZ)nS`z? zKTzm`JI$PKROuSddt;oxDl)GM+hN)^_r z*43R9;vtE8WI#@tR(<-hSJz@&6FfYf;Q zLBv7&DoY1qkqV)afBuI|4oO%%$UA) zq+$?WLoWb;UKRZTB4ek2p-!Uzw>8Ns(5E1N**IdRyfd!bX}3-_V zC8A&Vag0{h<^GcXf1vQ{+^TTOHB*c#JDyMA>D%ffL70QJ@J)b(-}NS~MDP#4H5hJF!r>aP1;CsPi(c*?Oz+#GJtKh(tO zcWxnHb#DQG(@3=X>0N5~Ka|_@F7?0Wxz>v#NVlw)D}Pumw{_M+LPJffBaX#Q(2329 z7obL|GfSQ7*5C|*Fush~^qSP)Tg=g?GJ3-kl+x)w&=wQleV|j{Nc-}?_6m85gc;06 zb*t!lRDJ+TSQe^NwmpPfh%>o+``tW!yc2VXW=>r)si#IKxd6xntx}CmtI^<)ir( zC)F}*H=FlgXea*UI|w}oJ@8+o_-8-=Kk@iK;dqDGhWiN*9fSf=TR#VohJqR8tq&FEk6P$;=dZj?7po%_)bkpd% zP+C9NBzH-XMtTCuSTaWQ*vzj=6A)d8{PVs%pJl9Q zVzr;D-N(Vjis~QbPB&Z?Xb)zndnZ^cth+Iz29M)7F&U!XVxHP3?UQXPuZKwN@P2f1 zV%Q{#i`Jejawti9M0GSo)#NMad3TzsrC%38WD_T2CCCM+5}0swe$A!6kK7DWV}`h74`@XUg1(9_IGBrQs6rka>1Kz5q6>P#GUVArrhf( z@WGwvq-N!AZE;mK$|v@U7$U$J1DZVN8c)s>FF+u4w#PiP2OL2@sa5#;ZGYF7f#8@9 zk@hGp(H$U8293`2eH7gx6g{pPhrBASluke_GiyY>xSk>*c@~s**XfnYpcY(uTA$>m z#;eHZtIwhT%#BkvFwnI)EOK@gcz)f8l{N|E)hPD@E87J~rL;J<>DE?eX{}sfdDOcg z-#$_yvy^>|w|#8}RE;%qR^Bo~YdCnufMkUGAqz+}z`Q+gTrOWOD|5U)n1i`RC6HjB zzYW)*t!mS#MZh%wE!XygHL{dX;Rp@a2*yy{8^)w(yMu*@Zx$%ger`JJR?mB}sv;h{ z)gsmC^fZCn+%SIboPD$EYbdR=)(;j-?%Sa*LS|eoHG^f^T+=wuzH&vKxWul80+KB% z?U=q;Fgsp%&-Gc-(D@u! zZ?x~ue!$nJ;oTz+>k^sN4kxjb6o&`K%wu!vT4*XIFL8hjo!CD2Db?Nd&?KLuaNnO) zki9WbuKWEwL(o0;D>GE3O%BJZ1Q6}NSH94$BFm_k( zSj6o^Bi9&eaP?Y}H@4Cr=*V+dZ;LngWA_ku&AY+4Tz(iL@xsTs>mPQxKb$>oc#LYE zlBf^J=y`(W$K`MR`W&lAjG~pW+s#uiVd0zPfiG``vdqK0Gt}NwpCe!tgyN242&t2@ zovXFQ>w~T>C^D1AQg5$3eS33h1B1cW!9EzYZC)t7K7mTjS^J<-`c;lq(*9Z|&a#$% zpc;n|m6v+=`Ziuq-jvRohKAjwZr(Cl-+abpNSkhK2s{v@z!s};S@UE?w4^U<4KhG# zX=0f~uWg=UIQ34G53m40Rd$AQKmSBcISaxDnpGiKodp=(}H|nK?-d0T-f)}K# zzTxYa*EvMch&t$!N4(ij!+{4cNmdqG9vuy=5*^;PGI`>+QqO)mjx}?KIE^wpZ^jM2 zOm%0<@`-8G?1aHxxkR&W-$`FVXa9+!x-2z879yitI2Lp6PrK_b&Rtfk%_H|Lv|kc{F8;X zhRf7IJy(CHT75@F5!w;hd|g9B)EMb7Ul1nYt+X91Dj2VBv41n=;{j)3Chm&x!!_%z zw2xpJOeb(gC=jjya^+Hy01==Ip}*^b63)0@eceQokF^;Ntz;zoa1OPak3eIp{Elgs zqjjsvSWbaJ;qo1&MFn$n9reP93|;Msw!9FMDY2!=hs6i?Yl0aN+?X{{eXNequ6^*%t_m}F%W1u_axFG4(dA?(v(}rJ zk?-96TF;+2;r(g-7bX_mBR}5pJrdvJ-$*k~2$3J&I0(75ZO!mNw==SkAp8T?JB)|H zD?+ZW1d$dm4GG#Dv!bU1)jinO) znQtCVVX$Yury=|1gI3~1>TpqxrftUoNe{@H-cdlg)wI<2ZNODD-hu2j)!T@g793Ff z8@)m(Pj11n)%T-4gmtM>PSg934}#=G#syq3xAwU(5Coc!xwlGl)(6dXe9~iq+1Hg} zMeGSTT%#o)f}l&J4@b1i&voT1M)xPzGE$IT9aEF~?Ua2S(zGn~7+8b8+%`fob78p3 zwc&Cd=`{&TJc}>G9nSj!y<+jiuKoGuQPj|EqC{&kz-6^r6q<$|e)KS+79`+-D7JiH5CuI1vAM1sL z{WH1wN$>0H+j+X2ETR_Pf*Wbn@-|FVf+bk%uX+j*WaxZLsCnFN<5F$b{Udggs3`KS zv{!B3j$#z-hhfme+##Xa{qI;4LiNydgU#w*j?oH7jeP%-=u?GbKX>|Kz%Gu;bU-d> zA>xf&OKpi}8vhjEKA{HH0|f7cqh2w5ALc?FsP8!o7WaKdVySP!fRj-nEG%t7usFQFG-0p92JAGcK-R{7p>_AF7f znPYDTqWp8uNS~iQVPW4a7bGdNUi<}KB9A(Z=~(OkIZA863j}k+2oE}(@4C^%Q~VqX zt1>Yr{bqLhEow@``NK!LK_R@kd}gZfU;QDlDeo} z%C~!to&4)!6gR>yUnR(K03DFBhni?=-L|1)w(;c@$o0X+47i?BpC3FrsW^J}h9@z{ zK)2ZpI$nZ0l+f#A{6@==oZnZRvr#AIl6t3*4Yoz-jLqjApGjhOr^MI2gI|?D4fnYQ zj$hmtQo>X-ws;F~wkV4V{$cLPraWLNBi6J}QLA`;rkL%3Rab44W&kLwZ7JD%v1t3zh-WX0AotGFudSs>Rk%_N4P1LiQs zb<9>Bp$DHh=|9bAlOXUuSDd%_lz+)_3sG;V+Q}Kn3ZJqZkRN2pdB}#R=!PV(mHPRm`h`n(FG@tcrcoU!#$zH`rxvQ;QEmlW=azEcV~L5g4C`FnIF8 zUx+ ztYKn!!kOSNbglg&DU+z$eS@kQXW6#kP^jx+uM5l#KplZ=vzartT+YEb@HZ2W}Dai89`I zC`1H(iFAXu;L7<)$$1%cNHapKRsq84_JB>;exz~3&|;vj-q-6TubufQo>>_xjXD86 z8hcxVU2CQ(Jr#;yq$eDtRG+$IWm`%5^4C(~keq>P2)eEpnRn7F+B091>GR?^XQH}h zJ`o<1HPxNpUaDM^=#~1^s9cR{?>0rmioQAlM$;;7iw{-c;h3AHTxRT^_8{7Iawu^7 znQFOOV8dQ+oHDDqgHC)zBiQsQ{IP)2+na#SSf;6(>JRZ8Qo1A%<26`p9CWP~)ocW| zS~dcr?qqK`^E|BUn*&jLS*Xp9pPC40X!b9q_CFu@e>bhz})vss02W;?JN(6X1lmA#|r zhadOl7(+AyW$u~lz71Up2Ly0ETI$M-<`rbhr?FH<{5!Dyf?S)57XsSEbNf_*b02>R zkb7^0W4@c&^U?H(<|FZwq690q*S>XP(jao#aPdw4_DY!kPS(DF+HG6Ijc~Tu(zeeHbXeIU6zEKw(QGK!83mZG-(RNd_qcoakmwo zoSIZJ!To&8$E8vTZ(F;vhCavZv9~>UQue9J2>vE4U3C-RmIRB^*LXC&l}YK29O+c} zmro0%SW!x8IA(1wmBh;CO*6MmIS}wYzOcJsm89Z!F=4ALlY3cO#(3|rSqU&&%=aus z?glH+FUZz63`I*?0dk3qXYgC?g8Gh;&lyrZdV{^qbar{dozYoI`=_39(GyCggwHz9 zFh&_ng_WQS22p=_c9-6r>PT6Ka~S=KVpU&^00Esd<$G@&+&R7Tu=WrxPw9=v17Ak2 zGvNzX6~b8&eB?3JSQPdNYwX;2Sp~SGk$W@aB%2y3fU<9@m`o11yocuS4R&F!i4Zhh z!Y)+lCpO4F0UqQ|{Gm>w&~h7Z*alWt9!?|s{66ii+X%;ZN-!ll14g(I_sx$^r*3ak z2*MSlHbJ=&m~>KMlOHz+YtA(lK4=YYah(Q6y-nuf2=)EuX-rmZduLKt;u^jN*R9*@ zz8qo?0|Dq<^@ekmvx2Bx#mJ*mripF~L8h;hNBY`;iD(?0E=jjJM!+k|blt&RtRfT6<6JxgK-+qx-FGos+L@w%p8p?y?Wa=T4M2S< z7<<9`Njazp`XJZ&_Gl(Y;_{rFI%^zU(u*0{DyR;_`>xR--Sva zD_FWOpMt33E)OJ2f0YR7gnPHHK{3q+q%K9b2vuzsm9=sMv?9KXP*#TjkO6>f0}1EH z#W9jUv#PL@%%Wy$L-Idc!{}?Oyd#^*WoTa~=iQX~wvtxp<#qvTmj4oP79iarYMe-g zyaCdP?b8|Zdd^l2UF&qJd5;I1j;~U4TU7CVLG{U(FW0H(&KB}WefXe*Hc&wv!?L2d zv$5*~33a8o4F7!P{<&nIdKsXbfA{kiwGHN%K9LXor|Nm2g|d-d(GM)6atchsIup3D zGjnXQM7PHTD(#1YoeT(ShhYba$);L^r>{PAs=beuGp2IFoLael&Rm4%JLv5$c*fW1 zHdn1%{M;#5Ld3+UFY>Ry%G-2O%2Q@Uk8*izjo*Y+G92 z!&zl!o@Tn3iu2-QS?=FqyjGZKc_;v`FAI;LGsi5E#FKM9=w2Nw3OafGixH zCu?TVF32$RJjMi>`yCyKebu<*6W|Kfo0Q13*y*H`4`R}#DZ%HX_Dc$G8sHK()mKtT z)GXo1)R7zOow4LmJi~dPqKU;_E*dT*40aYStL$45TjmD{!CBw}oLe1w>WQ`ltCb1P zt>^W7oi`ehn>mvZ#OGx_hY}gNW=%_NKU7lgVw2M4(0nW({>%d z<*zZBVdO>tQP2<;>FPI+{+mScP=uyHPyO%&MPQf(=y8S$LCKF6`(KPFVu$>wI3ecj z={2bCsh)`8gtPV*&57SMIr#g}-Toc-!gsm42sp1t7(CV1u0&sF^H(J1o*9&{6{P=r zBqh6=DYPrA<9YyvQYAOV^mKh#=@c;C_wXroH(Jl{v{vpm25uGNlN?AlS2vw}?11f? zf~b0ZpBy_jeWei5ExK>v;%MpWim$|*OeXt^Apk4oDVCB>JG_oL_XT~US%$@`)28eM zeHg8Am{GiziFh0s-F# z9d;osN|Xz$cNt03?ht#J!m`!})^+sL4Nlx5C%Xo$I-vfT>iSFoW2WUJMBC5b1dWim+%Jw_b+ zHgSJ>_CXlP{j|Gf zkO3M|fUwQ25YcBln%Sly ztJ#SPl#y;cs*P3CT2|6W1EKxAj~|O93w}li(85Xg*R@!kYA0`lZRK@orKL}z#j8nI zNZVgqrW85PzuaMM4QopUKjhG{_I_>?GpL4%`8M3488cM})IWTtTR)c)_n38GTwztr}#{iu;F z2P~kI2z-gxv8CgB_iN)o@3I0hF;mI`iJ|hF!)6WDgBwm&LXd|%kp;Goj7H*z?bm$G zF(1g(@7lnA4xrQEteY{V2*RVzW61l)6kSv2dT*Uby|!d^usXN*qRMIY0%H&7zSmNJ zuNp&F)n_PA$yey#JRxxq(cCgv_APymJvW9SZJQ zUC|2Q6{ctqweNT<$Q3W2MY`~Git*l98~U4mXC5BYFzq3u`?vL0u!gu0f8}B`Gq)s^ ztol&Y58ozF4?TH(d@L^ZKX;Bt*3se_h-i}T-TsF7L)igbpbI; zQGs@tb|7?WVn&_R&rN|}VznW1gB!5zrtQjT5>=iVDD_Q{5nua)HqygtLL=YZ9SnWp zHQGrK=aTOd^tfQo&T$wZ6iNWe0R)x_`l&&M+;QRVThI8I5;=sLq4snwph5Vym1r6y*oS;evp&*hZSKF?zDk6z9T|Jx5>s0Wmn} z^qqZ*xQG5kh`H$eTFu1bnUq;x1i|V=MRIoHVp+IJ6p?Z0QX3YF`89x2tJ!sqd`(|0 zVMOTIn97~hy+gR385f1$4U=7-X?4zLC6O?>KFZ6B0o<*NrUvIc^z+4~FG57RMYQrX z%caWc)3<3*S;TLtY8qn+sgHsG%V}%lr5lq!S8XO~ zR}mvj-^Iyy&$g-{N=Pp6&49L)PR{D&J?l-DX6_378PQgRNTIE+-kFJ@k6{cx)re-C zfBmJd4%l14qV>I%k9s(?off^dh3xI>?xU8luns!SqMEV0Ij{7SnX0*gWSB)rdU@+9 zSG`~_s^`QH9dsTS!i@5Z>J{j}W_TQJ)py@u?d$Qoc8SX3i7>8to@iHE28<36?g~=1 zZggp+j(FZmFeJn(cjG?$1WbBwS#nA1btEnpHQ-A4#r2DUMFVwXV|o83ccRr^3CWU^ z%p<#}c6zUK*HP};WfU5~t#uXQtR&62?$bm;^_N=1PO8V`5e7=={}*&PTrOBU%_}x& zLtEzjRW30xJ5*Z54MSatlmVWK1IxEa$XX7|)t7Q*7&F*{@4m%@guW}t2=(uwLn;z0y=1-exbS05mG(Bz3VWD$2EA2582bnm#m6 zl?6ew`sUAHHGN%|%m4l`ot8$IT%G21^=Z#oh3E&8`ONy={AsP#APYw;s6uXwN$m1! zSS+IMp|P(FwO^_%bZ-1i(F@PQ$Ru0$M=2ntK|bU_APGyYdv6@Ixv5!rM#UZ05F{K> z|NoV8p5btH{T?3CB2g11%IGD*5WNi{qCX5Gdhe6TXwiwSi@^}0MDLwM9YM$=dZLdu z2xf@(s6mL5Gw*xebDi`3eAw6ewm`AyF$Ndd}o^UY)*KqcRNsw zS@K|n+JRG!lsi&k$K=u*+`oJ4$8DvWvKFjU_OsU4gMX_k$TKeK^#;dQILH9#H-+0Z z0bb=Y8GDOgIP4G18;*|)Zv|^5v_RCgCXk{Iu>`XY44gl8^)*^r^S({P&=8m$zOWNK zY`f$>J2Qi*PB8u0oO-99wW0qeKfT&O@J0(4g?iZ{TxzWBYt5Y1{HqN7eG*BLJ;)E? zwY#YUsOf{Qv={AbnKQN=iZ(#5_X`~{b-gO#3hItBT=; zb$i0-=t$eBcSq|>)T`DiqDDpKODqqzWEEW8v;HcqsUG+9q2V3a&@M68Vo~qr6j#)m zce(CmS;lqwPc}5V{V>{-| zF(b`NA3Qc+VJAS~IkGsA%?}!^v!hajV4|Db+~V=+5UiwjnFXwfvJ8a$KLQL%IvzM@ zJShNv9~Ka6;Vm!oxelHE^Y2YLC<=ZQPe-urqx#;l-%@xwo*cX_vjBe|s$7LzC_gW6 z&XAww_Hc|QNgH^oe{fPeqrx$T6npA?u%N|}@ZY~_C=k9G>>!mVE@^+!^n`k-A47=C8~DP%b_KdI*wbgC~aMDjHG?MDY-h-~c$ zh-qr&_Ocr`h`td!=>)05K_vLwipuB`a9Qa? z4e=~{3sx#HBWG!WHG%049Ke0LoH^j4-pbY$iOt{m^_1BN%ezZZsVGC3Z(+R7mQAtF zam;B8J#U8ELce{|lzKyqZ~p^A{r>cyX%Juc>)n}=KQ+`Ty zziaE-C#TDd{?Xndxwd7T!q01V&9!uaw@T0_*1!?~@mrotgdY?%JvL-Gc z9hpxdt6&P^1f9F^&Eh59Cm%W%oaHMHa>Yh|M8>i`G)u4c<8gd* zwh`oS*Nh;R5+#n@5dX{jq>lel;c4Y;G^Rs=61beI^4o{XgeS}XT4dF00sT^E*&X)7hFYDi&?7olzbsISnFBq-7_x3me}7RE_YuO=6@J` z=C+Nh!q*3)k2d;RCE&7(oK@6~2567^-9#M_r9g!8;nt2`Mc~V47(0r12;hB{>vmzb z&v+gZ2RZ`gF62K4wAEQhA?R8cumFEgk~*y@o-S}9_PR(kgiOUL`lXIEX0OKoj*pv z6jxFuuPidwGPg1P)Zh>d;Mzso(>qNc%5hq=$1iIA$_)?8s$cJvD$0Sc*a(i^-++nP z@$xXZ49X9$5V*}G@N{vw5X<=_Ay~?w7+#9h|5BqMXaCXB29eU8)WM7kdS$%W2VQ<{!5a&)#Z(5fc69 zOY#dkqK`%iOH1~J0vc|J*`uvs@~g{RNsvw&UP`hmZns>=+Bt(?mVR|#!a2>2=EPOC zDN&#dcc->UZCBMp?J_V-lgu7Ppo_bdKq#6o?i{sr8r<5#u%XUXqf%r!wJ959iU>qk z>#Hi7U4hz+WmW>mUsCNks(ndvxxG{oEqz;$yot@GHXZ{|AN7J4e`oM16w(x`8Ja}i zTtQj>?0`Hb^d#Z)B&VZ4z$YNn*?;MgQA-;B%)Oxn*jbLJ^@a&zCLCwWr)p{Q)@vKB zYP$3J0qR@%E>Ci+5-cX_a6&Si@(wOEB^g^Oos{?bdGl4A$&W?U(?N?0QGQzKtjg zz0DH=OtwM^lrkxbjyOb8F}BR5%rYnEB5M~|rDR`|A3El&zzo;3@$XyQ_$Pqd=Fi<(tm`>NzqdYl_}2lcX0xp z9q1Xz6RJ{qjSQA#?_=_})H5t7nftTG2Vuo2izDnx!wmzR=jM#YDn{6!xU^o(tcvIq zMY2QD^Edj^m0?o>FC4W&_Il301~`JVLCal-`B4=%`pAGFexDvM!atKAxL#WuIT0X~ z#_cHF(`5UrkBtXP-4FSdzJo7?L(*eOL-P6F^lakVN`d=Y_PVs8zqAP>VwNgW%s-Ii>X^0i)+NYkT%8>Wcs!U)OV_Q}0VX zyv1?IE03?5s7XKuUhg5x@@CFin3CI`wme)(7aeGd|8CBa(#Z2z%bEd&M|M67#M!;B z>u!d4iXAUJmHBj4Y1|lD8foH8LFS`qBBvOKstXmMi?=huoI9Xh8!sexedV{W0_c6b zBXHr0SCZcco-{X26n|t-mE_TJwv)j6$rB!h*Rid%n1jXZuX#6{)T%mf%QOwq9~pJF zfIMu2_fC|h`U0BMJkSonGpkp+{d;b)xKkY5>0*nc`dhal9TP>TBPSP@Y!>03?6K+Q z6v3$mx_0fn=#jKs-eyDg;4HWFiY+rb(qAW4EN0ORQo5=*j_jO`Q&v3{%oYjEwkXps zv9(x=j5rZY2MZ)QCrwX;ySONjaYnP@iQ!rA^`lQsSjwD=Ee1f-c)p7;Oi;=S_&hj3 zEDwe&*63Rqbo*ok$JBkHt)U)X3)8GO6TpvAZ!OQs$<4@)&)b>z&eB_3aVNbk9F^a` zd9OMFziS)R%#IMzgO_7#Lw`u77IDz(@SSN1-6MKbN+^+>DZft!5a5EvI&#`WAbP}8 zxyVyYl};pf&5U6tQ*Czd1V$=`fqK;qq1@(Bk6l>9S5krKfI?a{ir{?sYX4L=e4@`4 z^SezxD65oV#d)J@gPSCKZc<#P^;7nkc@u`*PzO9+4l_-aso@S=tzA~+1jCg`d<@u?TYUemE z%+xhNj)Cu=q}h(+aNpIyi^ig-drM>qQ;#YypC{UicA*)V_GA4bf=j4BsB-dtAIo*x zvC(HF*_h4N*zJx9HLBf4HEaWHi5iK*3(*plJ>?;}ewPnire$nkJq+$%?q)rw_-Sq_ zNfHmnO7dSD5ZIC&zwfwVgV9rs2l zq)?zWafnB!5?)`#5ZyzJ2q1F*(4Ct9YG>k(!i-P(Hql=KumVFvrLVkCa`0 zH+LWTAwGW66q*3yw35uF`K#7>py^Vi3ZBo4EZJo~%(B-aS}svYk=X{Bt%+EMN`LAV znqJ!Sy#KJXAxCteEo+Gdub=QHfhS@mlFkTL9In7VcGJ8Y)jYH^Aqq5=#5#D9F~o?f zE~M`-W0j4PTHQ zZt&5}N1XftolMT)4`K1rA$d@^5!}1exkJaNu``-F+OU&4g@pfD21mSQC-o;(Di1`> zBahmH@tga0OV_(v@1apsGP6X+=Xw@9gV?8iZVF@!bp_RxqGbkI9ZN~l`UIm~1c;IG zj!0X0s*(xHe27|-@rL}$Odcc2+fbRJ^SeFS`nft#*9W0l(Jm<`tkxV}N~iTsy^rXc zPa7~ce6W;nVopCvI>LCzMt&85l@*Tbk5Hh<;ZYiuQ4u}o2h{2}%M$2SN>iT){~MkF zg*UR-s-=W8x$iLgsVovJ$+WO9`Ap$kM@xZGdQCY`JK9o%IyWbc-$Cy~55pCMXH*(i zAFO_wUTw4rfr#zh_uzTk$Zxo)`I&qnH~b4UV$rPl8S-(@g2{*M;UgYM=hv3;T-R{< zN6fZ?s9#TF*>{E6Z^nG%)x6LhbVU+K0MMq?m`Zw8)ux$$zF_+dL^{F7mVIu*74z;5 zr<_svu(=bNA5+-W-!rDa{C|#xR4(6kr6V&7V4oBO-@M0xo*(fwAsG-%sMaq;lv}YY zS?nWmA_x%|we_S@hf$vpYfem5CMbOfi^~7T>@5p_P21>SLWY_2CjRb)T3{JR4rx zGM$3d&J>k!wY|F~9Y}yvPJZ0g95Wohd?wcI;3jZVx26YP@8l0cnZ@`~?tAx({0liQ zSs7z50sV@h(yeTjB6l&ZOy%ig72`hEi#f9OcnE9^J9;wG}JM1heV>;zuHl` zGylpa!HP12F&RH@O!dy4>sIkCLtQHl>Jn4VVuOx%Xw>y5!p52xzBAkW^cY>& - 2024-05-23T13:12:59.895266 + 2024-05-25T12:13:05.168797 image/svg+xml @@ -41,12 +41,12 @@ z - - + @@ -412,7 +412,7 @@ z - + @@ -528,7 +528,7 @@ z - + @@ -774,51 +774,12 @@ z - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - + + + + + + + + + + + + + + + + + + + + + + + + + + + - + @@ -954,7 +954,7 @@ z - + @@ -1039,16 +1039,16 @@ z +" clip-path="url(#pbc28a2e89c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - - + @@ -1085,11 +1085,11 @@ z +" clip-path="url(#pbc28a2e89c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1131,11 +1131,11 @@ z +" clip-path="url(#pbc28a2e89c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1163,11 +1163,11 @@ z +" clip-path="url(#pbc28a2e89c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1182,11 +1182,11 @@ L 690 161.676713 +" clip-path="url(#pbc28a2e89c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1228,11 +1228,11 @@ z +" clip-path="url(#pbc28a2e89c)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1407,7 +1407,7 @@ L 163.368917 273.70025 L 163.368917 186.321891 L 96.917045 186.321891 z -" clip-path="url(#p0eec7a4844)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pbc28a2e89c)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pbc28a2e89c)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pbc28a2e89c)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pbc28a2e89c)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pbc28a2e89c)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pbc28a2e89c)" style="fill: #17965a; opacity: 0.6"/> +" clip-path="url(#pbc28a2e89c)" style="fill: #17965a; opacity: 0.6"/> @@ -1588,18 +1588,8 @@ z - - - - - - - - - - - + @@ -1607,6 +1597,16 @@ z + + + + + + + + + + @@ -1743,7 +1743,7 @@ z - + diff --git a/benchmark/swe-bench-lite.txt b/benchmark/swe-bench-lite.txt index 4dae1d9fe..ea071b69d 100644 --- a/benchmark/swe-bench-lite.txt +++ b/benchmark/swe-bench-lite.txt @@ -1,7 +1,7 @@ 26.3% Aider|GPT-4o|& Opus 25.0% Aider|GPT-4o +25.0% Open|Devin 22.3% AutoCode|Rover -21.0% Open|Devin 20.3% Amazon Q|Developer|Agent 18.0% SWE-|Agent|+ GPT-4 11.7% SWE-|Agent|+ Opus