From 484f625b2cd6bbbb103256134915169ab6eb80fe Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Thu, 23 May 2024 09:49:47 -0700 Subject: [PATCH] copy --- assets/swe_bench_lite.jpg | Bin 37633 -> 36449 bytes assets/swe_bench_lite.svg | 60 ++++++++++++++++++------------------ benchmark/swe_bench_lite.py | 2 +- 3 files changed, 31 insertions(+), 31 deletions(-) diff --git a/assets/swe_bench_lite.jpg b/assets/swe_bench_lite.jpg index d7455765e17cf56cc945a89977c22ee11dd0a78c..6d6d3e8070f4da9f9abc9e11cf1d47134c0404ad 100644 GIT binary patch literal 36449 zcmeFZ1z1&Gw=cfw29=OTN{|qxr4i}wE@`%OgRoHq1Ze~Wq&qfMViX_* zKt@DFLPS7DLPA18K}JQ#!9YhtLnpX}jfF!(NJdIRNKAZ(>ORdK3I*LZ*CNP>-w7vqi=7)b=F`D&B2;0z&G$G_?2VSlQS)I3IBd zJrNcW6%&_GR8m$^Ra4h6Ff=kYF*P%{vv+WGa&~d`dgblo``XVxEc|UmWYoLpnBSX zpIq_<1Ax0`>j!6l@O2Z)7c4wH96Zt`Uofyv&;#x!JOcSc#9M;$NcuL|6wEJ>aUO>z z71X0pvM6lfKDF&Z#iL@Krry3}?TWL1#@NgM5@$ac`^nb`038knI(cw60sMf&6WU}? z)PEoU9)tfj8OW1u9s$oM^%hkUC47|38armRn_!*gJUsRWIJ{LQ;`gk|ag353Dt?{c zZ*(_o>4WhFz|j ztoMp|G}2rEUaT))0Nib~x*FUi6*)L6Eb|?Bc3E%g2=s|*tvM`)@9Xf|36S~<+vr+U z_46^f2N9L`ewHm7XT3*`ydg>e_tL}W0`PoLCp1InD7aCFQoTwrcU08Owe6Osc7$A7 zYyk0I-Le2_xUg;L(Ot1Q)eFF@j7I4qui|`Ltb&<}3IJ^$QltEYx$doJ_HPG@iRjf? zF8~j{)9Qm4(9dQw^hb+1bhaQ_)9a+ODt%{)Ic<#D$3EQUXZ<$uB3NW!Jb7XLzx1*R zf~Hq_Wo8X2G#z53-qUS|x2-ENp4m+2#MYbP<-@#vkM5&P^YwN8*%Dl0a+Wz^anM_f zno<6UgXkv@pQmovbz5_u#M3|Iv6{|eY6@G~BKT}U%-#!{Xr3JOU4$P_#V0OZjEi<{S6Y*rj>NSL-IC90Q z)Q|FEWA81$5H8G@p4?otdCZd<1wDJ~9y_u(WF2pInC z%>IZnhB}f)HL%Xe=n=fDmrNq8KkfhfNBJhU*$8Qs#h$i|UX(&O^#_qgPfuIbQUPbS z?ji1(V2saTBJNSNB(rR_ayOUP?eF(hNZ*6rcO#-X3pK@X;q~yyQ?1lGPORHLTtXS+ z7u1*_7?|7k^g_tVKaP`81U zEVv;?_A7iRPp_D9yfOa7Vphu(EnH_}Rm^6c3h8YI;jxOOf)FQUa8*KG=&`D1UULjn z&~xrAk)%6unljXm0MRwjH9N+Pjw;A2sAdl)$0*4;3~kt`d>g1$7lhVu053gT*2?1!OwSXe zX+#fbo9=L`i#?+UCt`7JQ-jwRn=JTiHDy5&b$IfYNTLr^=%i!H z>qB1C;U!cYodi_5Rd4M=As=3LZVTc! zPqQP5G4!~W( z(t29zac4R5!5M#*8dyI-6S;%@21Wu`5I?NwtV(e$>SrhYq_4}Hw}jKjh3Q>7Y+F;} zJ?Dd`HAv}uE!if~C(KIn38gvZ!1u^Sh)Jzc)|Ul{BXceQ*a_H2{1R1sMk%B2*-tE= z1l6n>|?y#4r7}>sy(vVBTv*4R|oKBGsaWR zcM7_NqffSd31Ivazwp{5e97pa4jP>qe7Pl3P~24X`F>B}kt!u$buHa+LANEi$|@Tu zOLcc-19?_h!Rcj^U~4ls>7F?u#=vA?QK0!Fa=bx#u`qh)-P4%+v#c=)F);~oIBoEW5H0{g=<-ip%&#+Spz zyDz~-7F0#a91&Vtw2AxkxDCC8lTq5;yPLbrVm=5VEiLe^dnj$%ohM%N=CGX1dEPa? zI4j9nQm$lcVA9vYZ~bmxG-}=8bX9#MgQTIsOF_NdQ-eDPh1ruA z2H^bN(N^2v23dwEofuB87+wJEF937^cN}>Egztyl2{d$mUcEjEXjj@yp%Gw^Op zq{1*tWhTI`1#FMo=v=C+JVf4|I^YvwuD6?Ksd{bzD~9Y_FiQp9Utr?yR=er5Cncum zZe+RRR%ryRp*0bayD+!BR5T;tD=wcd_1iZilHA5Nj{&`X(xWv-U=$>^^|@u7l5fD< z-D>))eKor@#;u(O$r|x|13$?E75LkFE(Ucp!>%gT;PLdzSvL|P(T>Q2l8c3}2!gBw|#1V90Es0kzpxUl_#+cQ!tQYr#X|wj0}`N0Kcs`>>5W9vPjbWj>gr z*B23E#o6+JQ+X27-SzosFmTa-R+_It^`nqYY8#8F-Gji=Cn=PUTvHDg{o8w*qa9|s z-4f706%3~py*v@4c=%~<_UQ{xG`R2y-=Cz;~Lp_ZeUFpeC|&!a6ZXySH^86Ib- zBzHlb99Nhr%$^Eg!VDN&xl&V;dq2z(KAD->3NCNF&hm^!?(?iHrl9qfWR7NTL4k;3 zJTfO`8o)|k*r3+Gh;yGZqb3Ev3~N5rXN2rDt)PhPSvO)6ZbBw7Mkj(*UU#zIimKMe z&>H3N#BCreFX_dUI2i`_v5hCnn6<2xo{W1YtoeVN_5Q!XJ7idE4XUc`P+Sf>uZQeF ztzrSJWPe(~pGPjEW;5aaK>n{A_p3hVA0NJu3O;(#x83xt3w2EMGaO5Ht2Y`Yt{!r; zAPH8rN?%bNzqoJvha!IjUWxpUiMf56RRQ9uBR@S%!(O&B=&l|gY_bCh)Ep71Oaj{dr%pHFtFKHr4GYxv$HrBQMqCN)<*kM+urG0utT@O(|zG*lRnh10%Om z#3Lf<-|YlhyFMfi?Y{v9S>~5UWi-c0H2*k%dxBK#xm3bN!u&7XM6Z0{uAs+0 zeL8y@>LGe&3K=eg%;|<+00?=j;Qs4RWe;mr_oHv%+!#LgcnMa?8rLSIaj=JKu!r6z zs~TDwgQ0v0Joz{Z>l1AOQx7=LZ2Y@(K{#eZBc;9@&sdKQ{LK!s%QTA#ZtI=1%Ga}x5;0?dN$1hjV@TFJQm@@TwESmtpG|?hdUHG{j9!&u zwq%7P9FjeMajdEmqSKTqivD!i48@{Qe|+KCbIQ$P^k|{Hc&nxuFN(%@rn-obzK}K~ z$35w(K{!4HyFcK>F%kI!P+0sXR^QD6XyWW3&5m!(p@93~gJO91hGHd^O=}K&=^&S; zAn$%3D|_hq%dVS+MY*0RhNy|*?cQA$8G{v)nKXpJ(P3uc`(5|%TKbLhd(L5*w^jEr zF{bxz*t3_YKbr#T<4&vx5?MTIonu$Bo4o7EZgGEobDgrHIKt?qd^w5hO~pY=@AS4b zGoTe~4#PTSCq2cqQzag^sD5~p*{@pZ|6gUPs12;csAK=X-zeFJoa9^nr51tdYES>=txIdV~+IYx&7l49e(r3^59$ME2M~aOkiD|t*TYRBO=^#HmYRqQsJ4qRToQUCnFJ1xUw4c&0y8$Tzocwk*nt!wx3n?$%$uq9teix!4B>+L( zT-Tbno#7B=bMKZH#{HuACkC=ux&UlLkNxfo0J#QkY-)0G$}Ro?=!NQ8Dr9q2dk+Hd z*morNt*2b+$D%<8!r~-K27rfqI5N-uryuR)#P+K`T$=yNO)1^UO zHSK`&iZ%Pazq;GA?>)@>-*{66<5e*An)wd*y)S|WOF*m30V~d>`I2XbvP&PF96e8S z2-4uWWKl)!_hJ0^)nAL(|G;ti27BbMgaO!`4FebV`K$>b`4dF`P}lHIum%>irH1P5 zWQ^}`B^5LatgvXgH%0lRt4U3 z7uj@aNV@Ey>`o$5k1!5EUKj@kcj(Mj`U0RedaTN#&GyTMR#{+Ar|uXe^S7#aoBY1+CuOHZE%?0=>`tQ2UQwU%hvdC1KbM3&z6Bv`RdImaqCcaS zpiM5vl=}k_!cN3ORRwY_*&Hx24+Nzs^SQNbiH#O}7HHO;8ORMPUS=7a z5Hs+>pMLfpy?|;8fTXdx8o$jK=JEAxi+drST9X}pBlJ<9EV3r6`x87cAyZ}-e|go!gBMFW4{ z7Nx^9);N`LWg|0_70E7=Z}*Chtm%yp6dh6Q$p+)tCSE_Rlv&^ZV9DHD%j;aC*StYy z?ybDAxZq!`{a=jAANt^bYu!JCVYux_HJWc?&u2-5eQ}xBEakTIj!$ z6S)m;epNCU88h1jD>Xk=;Vq-@(8BFw?O`RW0jTe-Vll0#eN*ISwpi@X^pQuAA;XnF zva_tTKW3GOEUPQmSyr~D;!(UEPtTwiIW#a|6F;+o95f9B|~n)T_JU> zNg}X?ux>WJm7|hs3>Fl{B>|%F5;t!+!g}7#WeF+1qV z8`hxQSF9E<%>^0UVYLVv++}#7*&RWHnEOo`=4nif5Ha~B)6*LG(DZ`WZ4g_;t2cQ61rY%OU4jsK;pb(5jeZF&*jMfL)`-gN=sxd3RaCT+zj@!j0NS}qwIpyS1p zehvnR+A;UZ(BrXzH9=txJCNOe%H@AKck0UAfr^70>kONiab~8OJd=ff=wBLmEN9_f zw77N@4(?a0w)Ney_gUeNo~o!3bGmbL7C~^9vCLtQjUAk$W6srh!WOs2Wsf)QF<`&J z^GVI*nciWG;^=XUjXS2diBYn%`}&hogsu_ecg)R*9NeU9c6F&NlA<-WZ*;199MB>v zO_MZV=fUfvC|E0d&OX}9+V^8qw|cf_Kghm%|1f^5sY>KFK7f>2d~;cOkDD8Vjyoqj zlX`y4tD~~gMJWuaZzFRri)nw9+|I(l7DwIu!6V6hZgUPY`v=P*wwPwGzi2xt^id93 zY|ICpXmfGS1-ZXqsj|1`#9wVOFEz>;AD+}2St)fK5+_Nl++Cj?Eiyq6YwIf5RN{Gr z0Iq$_rit<3O(1oW$lKeyxJFbjD}(GJR#4cimm?iZ6ZHG+kCOcvw8t5QNc9PJpwPMQ z#WPUhrkL?U+(C)~(L};zjdnQPq01wb7A(L-fzMabkzN&bibEIzOsv_H`+#GCX6nrDOvbGachL>xFi*4tdy}^94 zn;sGB>B^y$Pm?C8l|Fnn$U}1VxMW#4L_6GN2jsSwr58HhY7iPMk#*Twe@O>K|Crmg z7buvK<@g8l!O1zY3|Xb-vwSnjr%xaW?J|yI(7lr?b?Sz3#sc;%JqYu|IfankNVW>d>-=jJL|y08_e&BqTZkS10w$_mE$8D z6sVXH;(i1HC2&nz#i~9oNEuK9+=6O~QyeW3-Y;~BSXPznJSiX6CA+_77ck4#+C~;M zAM+@+V5{#l-t$tUkdGz=^<4yYXPI!Yv(gr>pdx4Br$a6!-;EWlhsAJX6#HZnd%Tz< zkS>vu(*BL6@fldEcbG(BqH_=UQ5PGb-HYE5oL&od0X0`hGpsPCH##VnYEC?_w@6^h zYG&z@@?eEAHVt#8@)3MDr;rOnc_)BW*lth@PsCYr1k>^+oK`Sc%ja4cT`RgfH=?#6j|=m+LUpIlGbQ!oI<(q7n!HO3Ppc-a`IUFpj*6 z;A3|zv5M&QvfeeLh%f4Mr6R^BVfTC+M#$wdMElwULijq~k)@f*3*aR76jjRKDeZeU zeJe{G-kNSxv7Z=Iv{;hb`+dn9GwM{VXNd^jDF^_P2W3ra$(|IY#id2Bge>6Y8o8*% zaIoqWBWZiadvG;`qVDJwG&8$913aLSF4!t|cE`h8vKYBHJ833EDPa;;MDON8gF3jj zSo`!!D|2KkDsM}Oov4!i>CkA~AO$t)u`=Q32JX`AMJ&wwom8vr2M3+Bnhs^+CXbn^ zh1-VR{aWVLZl3#Zw&0}*iuEuiMlfZR2w;cq+!sagLcaipl%%<(3j;Ii8QQ4Y z@2lKXVSi{Bf_8K0g-nlOWywRe44+t;LcrO~%w4n=>kO&{4FMC=NakVZMfo7$*G-b# z6g#Tnt_dD=Yb4y#8Od@69=6P}PfbQ*L(@CWl%nCyII`Orh*vU}@Ma4*t zdDbjr4x2ZZjs{_0CV?W?6_@0$!HPb`hgqb;JXq26-zgc&=>c0dk{{ zx6hN8Wbma5LIjjoQ0_P^Ym;V?bPS4243RJB6Nw>{YLHbmOcJz|deHIh9 zK6ZmDb@c0TFT$ATSqIDc!Z|L`32ZwOALU?`#X9IJT$5r&9W#=uAeJ>}L329!Nsyq0 zM`a<@mDGms|kUJR&fpEg&DxY29GQiiL4hjJ@6Rr_Ri) z)hZxZ%{c?$*KXd*?lPaa3(OA(KifLrD9R>=5OiwfVX5}ngRwsqs_Eo%#54`t5iz*L zn7w=dVB>+# zo9zX_=}Uwnzf{b-&RY$Otgk7Wog#^BR$~^68TmfTRMZSItyA}RHn;Xt74J%k;cOu# zJ)+uf%jIS7+;~otDpfK$!Y((~MpZ&v|5~xqd}`{Uf+*q}@1VWU_^&z)1#f6K?Kbn; zEz78=%C!qBFeCHa)N=Q(Y%#QNo5pi2?4lkE;SSIodC4a-;#eO%)7 zU`+JAm0tt;iJ=_)9&}ZhLKl8?;x88Mcgyx4pB2Ap{DklJ$?p--?<&Q%hADDp;Q}Ds zJyQ|ZOCq5Tzx%{`^rn*qQpws(MRxtRLtd~=ishhXO&g93DZRHvK5?A?VOKH0n4>`& z0ox(Es;Gh(+@Xq5MW*8nCPP?p;>z$zirEol*slE48x&^o6wZSZw{;cja5jARY#&5w zjyPdIKG*c@c>`INo_I^Y>yUd=eTJrKWT+W6VWa42x?)H}p55yE#R*T=OGSDw9F!G) z-glO@_dUuB_?}ZuQ32Ja;Ai4!$`mYyJH!B|HY`pZR&9nP64hCoSs}9aRCxh^k zK`O}R=pR=upCPYjY(ae?3YWf+THhVqZdLv)Q0rsehGWz(wV#ARud;-3RLR?+9-7|* z(wcpsIr7`HXMs=!zFfO=%duO4(@o@!^b1@rSyWA4_tlx zQZ$=zKk8_AS{qi--w~)Bj?#}W`|_}Va34qQzFlugZTd=7AVPHi+6F!kfiP)^Bp~F*&jn4%-EW0p!xYfdVXqQ_gA#_@d zP1%kDU+=NWc7QfZ7geFbdzDEcCG%t{UzgzXgR`YwveWhBK2sXFyP2UA2GES=S}vXz z$f<{e1cpNUtTd!2Xc{BFcf#&@3Lr$5Ur4!V^X4)axc+7Pw&C0R>)r$?q$$<}WDH zqq2MSvT5;SRc&8jWpg@X!3QG~BmDX=4`6tk9AZdwNXwHo%;m|2<2Z0>xWzarx9)T! zdgG|xz8$zR2*MM0OBFY*>N!%<{DE`9=a~Y zE%=J7rF`1x+m|h#uFQGLHX_5%D$k+HT{aU-&Gj{4UK|K$-o_{KcoDfi!M#hzHDN6e=TTYE5 zFQ+adyC1mEI%0pNT#A$4{lN`DX>f8Ct2gOdxnSvOMrJ1acXa1FoRI~p=G@k;KN@f? zF2J%*_P_V~SFC$k?uN3$BKQ%MW0jQ6<|?~yvBxHoN7YIfl#@CN#7iDoPQPhFC45hM z%m9f*v{)xOnkK%H(#oqlHSG1_ov%BQ6Q8ua>sG@a9u0Jr>gYP>2wKQWS}=%EJ!Iho zv9%lMQEqI9dkx{blA*~wzYR>0v<@8~eGqy#m?3-mGu#*EM_J(#gAN!X?e4~!xIS$i zStNny9re2K_ZTVWP>sV-jZ4AV|~C+Qi~D4~3BBd58n(X^0cVgr^nHuy+AE2%eG z6^=hPTA_zsw*hrta7pj`x8Qa-`emq%7jM^KN(I5)ZXR>ru$FOEK9x3*?K3p$w}jX5 z?nBAY4tSzj_QV(t?Zt~Wk}lW5+M=)nNz*p@XCG1SD!8~;WuJ5CC8To?vZo}jgiB`$ zn%J0@a7829F&BjKWQvRiVF3&{>r+|MlVe^}2FjVB0thk`Z$2G@ng*x^%Il!utsGn| z+rfHa90mM8=lIv_e~1TL9ihDcMra5RJ|Mat9<@p$R^z=C}H6HueNUxN)?RPoMF!|c9t7>U2C zHDGSPOJco<WyLbF;RCTAa0e@J5v+GU8fX)Em8-fSPSnK z@I$iaBN8N;n%E{gpxsi6@GCWNVkxsoCyUj1*|A|JDyNR!E-3=goRqAvsv6QAX(4DV zfUH)GGW&Xc`Q5-Lvgbi=3nkwHNhV+?{InKKdKuEq=n+8w?Fx6}si4_IxFe$4V!Mcc zszeI^4B#pifsXb-Crh9ZFzRN;7G+7oCm$E_^U1*v4!CF_S`tpk;|jtb9!d3~BeDFg z23gWns5x;-aV{eVU zJulu%`K&A9fCHFhbf<;Z#|Z;CpcOpDdl~Wq7|@Eel0bCdpoyaPn9+0n6S)I~a{jjo z%}93}cb0lg;u(?$xv=|JcuelO{2Pt5~<_ zC39wba&Z4`SJKV{0(b1nLGQB6{yvv1)mTZPLqNWbYU>^_aJx2?JuOjvMd8?$XSeMj zS@&rnLWg-v_xo-nWjl8h;~V4J^#Hq9yM}0$%kjl}H$+4!st$Tb#kTqV9Kf=2J2brv z29n$+p%(zh2h4NCv-u#`uSaeSVMlzEc9o4`Vj(R14}Hl&4O@wr>3^Rg221}-76tHU zx!i^*C8lNxx-u3Y{JG1r@BLh3T~J5OPiIX{LS4`Z2o?3m0=x9Kd<(JWuAWh;9!b2F z7q%r%`U7_%RR367T998ttQBM^147fNK8xpSC;i_dW0&hIM;J#r^4&cbE$KY;UnE_9)ZGsZ=4QN*np?L8(m(n$MX20IA^Ti?H8lTL8 z#%O3WsgOS)1#DCPHU#%+&d3FTY+8kmbRPWDpEmVhER$cKN|!uDI)w)3`J$P|$TpdF zaekO^zp+rit&^1Tb=eH#-1opstCjL)#~lOuQ&)qbVk=danM&^Ys$PdmGy|u*v6N9I zio0A~>rZP^4PFS~-!K=yADm+r<$)zO)klg#{o$ov3vj;F8c_^D?3A}CURGGyYhlv& z2^`yuF7c*_?!=&k>uJ@l?6y+qQB>n?#|qL6))CKAye(FI@=(;cvn^)#)sn6Bi2Hui zZ!owV5lurj>s!$~)PgVl32?^#bWFvX(P^(_Z^xqghH?b9W^htDA_4VIp@u=^_x#12 z<&*S;oX34;LkFdyl+R2`qYYuIQ50Nqu&?de%pYmZ!VXZh7!Dd@hbVUpN&k9rpVHn= zbsRbgS_?3L2pQtUuNYJPTf;^1lF}C_rsv zp|^jcx6jmXnWu*`L=>NeF%(V&YbM07q%lpDo;}S_et{&R* zVAILf1|iKVuM9Twe)6YHzw@hXLCbKD{b_SM5!h&{=E6-PUYQG$rDC0GmvnmX>#lRwwhkZ8_^Nn9&ojfZSY4Dy*kdZdm4h{rB1Cs(04**10rc5s%Yqoaf++{Ibr6-v&>&N4I`Xu}ppCwLy+~isglYx=9UR>W z{mUjoaMiERV#iL)_^OKemB(Kj%}%vIcJTsW9Gq|-Sk5{w{(s>E}peHi^Q&uP*tc9MQUjWwnG7}Ncpy!^;W|!dc@~klG60d(+eJ|q2 zb_KfRw&#j9cc>RjVX@=buC!Y4vaw3ucVE`*Pm-mCewMGv|9fr`CV%e$C*CA-(k^K~ zTbKWoEs5r&e{&w~fE$ByImPOItG zm7xk$jqk0fbz~C=Iu}9{;2G#mG+SFItfo*#@K9-lWGDMwk_9jC^+`b|*?+{yz@+Ew22vTTp zd!osUa|HX++vyVry~7$~68F*I7|hxiKVeIp}AX`>s9Ph+9e=P?R0N?#tT{4A0@ zv-;)q6prkk?sai(Oz0UPK*)?`FGkrar3A^M z7nsIZ=r%9afO#rt_4W$gzLfv#u3zPW8vT6nlnl&vIAvnV!6cjczrw(I^es>8*_g1# zR=Tjw3S?;#&^{c0Or*D1sh431*a8;kSv4JUQKuE>#?-`~r_hTTl)TWt#r?3^(QA(^ z4e+GU89kHy>`^d?N(J)%8Q~|&bRq+juBZcx8ePTr7PEOE;-Q$D(rJ4iGtD|DNn&&b zRUjK0k?X@X7ZPCgR&DeJ0C_w#O7@Mcqr#-|YkfI9DuWeF5Fudba&!Fd`O4_KdjU|S zIn6khgIoF*ne<Ysk{!e0>cH>>n# z!lCM~xZ`itoYgNGhy1_bjy&H_4su72zkv)kAv;K}J21)8{D7`U7}xMm;EHgScEMGS zbP|!q=u6TDMKmwlnXf=bUn+E!O)5%*(Lepc4eUP+UqRuo;2%3P)cptr)fnH5zTRs` zm(5*hGexRD;ZyO7;)B3e1n@1&e4NqASY^7#hX ztOzswSchkOla&}b#loJaPBE$SHw2~dF2QPcs`ESo12Nn)v^$M*M2Wi@Y%CEQz!XF+D=r>Whov4Rb&WnO;2dw6eLug;`Uj8A} z7|_Z>R-$j)7*zJJA|EqS(01u!e`1V(^${vtf(EhDG_ED|^~SAXAAj1MJAX>F{k87= z4roK=p`E5C{zLn2{!G=u^&}`T`RfF4NWWotXIb!OcJjuj_{K%B1MZijW?qz{%t>u% zYErL2cPG(JirQ0r_{FV6bhC9!9_5+!$F1g3gM)-h^3Cak+TIKLVU33^lw06@1al6J z1fS%{9bGQxRA&v{rn6>O`H3#f?4-{my-HE5|`dqcna~ zsHU{oXV7K-MGtwULU*fJ^AOyTtk8ZUdM(;f&}Jj7Y9t0Vg)jj-SH?)R+64gZ1>ris zANV->i3|#0op&{?dvEmkOs%403II4-Htf}{%8zV%v$=C54e1StS?+W~t& zl31X6`!AAMih2>wo+Ri(lg}q=C&=RLPD~LYcSQ4{3FyysH-g*0WwTuMAU9TVY_LG$ zZf~gxVcuO&deyr`G1o%(2hDoZvn!>Av z&~!P4R|~<|lwDMpu|~i9Fq`{w>T`N2jxBbAe2e9;#!^c>W}%IJ3-^w&6iYXLmg*cSAyc8G9T4J z_F#EcrQ~wZl`WN@*Y5t8=g&ZB9GiX=47nO>JT z%MBgvyvIIot1aQF=GY#WfjcxI%~&1SxFujo9mH<`ikJW&-Mi~qJbhqPBjip3sg-AX zI0?s?SMZswC+qDQrdRD==ebA)FJ&QjOZV1A`cyvnpET>U6_pQ9i+w>s^785@oaLXs zGg!M6&v6dXg-}$i_fC7KO z0f2HVe?M69Dpq`{z{31#GZ|87PMS|*EV!;?#oZl$LIFCU)xPhtT>n+9*!KhDXQj*Z z3)Sn~uQykTU>d`|Wzen~|8&A#XE%MlcGOk>FubA7m>>UvYS8emz;pf;lFoFCEJ4k& zgM4tO8~ABMH?sakIt?7uC!a-|e*>rIHQqI;r1F=6+Q|{#QVpgzTj0#J^g};G0AkDnW%Ti}v345SQ$C_zL}$ zG_yWhqXc&kas3bFh5LYku>t{HQt-_AfL1HNXRcK3i0 zddY9?Q@)>vyFR$xJ76)*VwxdzUx>A!#B+Z|Q`Xra*Uiz*@UIz)vY! zkf3*Q{`YKxxD{KZbkc56`thmGaqu@qxfMvwj6!+7) zkTs$yZFVyNf0Xh44qda!Uhpp40DQlKi4wNFc-YSrnz0T@D8#sM!@kXu#!TvUWkCyH z1Y7bv5d~dSn>qoGO4N74zMZuo&F%rbZ%+w|{^izB+C@b}V4wHT4i7Mr-UORQ66Ruj zBpP+zxM@hnoRg`C$=StvO>d*p-@N2M900_hUfkSD3uaB1L3s-HvF)xjQ)7_W1%O2x z=jkjFi>thiiebd{cR<(mQlT`VHm3z&Tw}fx^7{8HB^bvJ@(%_VO0SZwD%(p(li<>P zP2UgRPg(18Z8_<&$1}A5)+V#b(P-#?QG}MXg%w7_!_zcFGaQ)7M}CF-INAu&=KkT= zPaK$48=RX~pfPjN$zHux^y+=dOAM`7Y1ujFF;-ApMk5-}UZ5;scC7cA8MeIq!WGdX zS2IM7`^~P+(wH!QYDY%HyUf?gkqZKA_xz;hnquK@_0S##_v<&N?6g6-tLF;z71+H5T79}LA(cFAoMxvG9}igtd+ z7@7;3z41e;Xwu;jtV}kye;N9}VD@@MZVMV~C8u1`6mUtNIU33J{--i5(=I|eXONY7 z-B7`iI_Kv|UDt6Z{W5qz-X|)oJdpP#)P$sCwVHGW%^Evz*+{K_clb8^sq*I4g#I?@ zzdR>?J+jxM2NenG>&R{sanItpdRKWC3x6soI?L^C3Dvb*ApMH&YVL13u|FW}d!RY`Qb+dQWYN3vu9XJC^zv^jB8`8WD!Ioq6s2iHs0YA#2q?I-zeWpJkz9@e*T};0I#xJA zrEs8UilxEDqUeTTy(p?!myPrm+d?gP*|8!oC9_$Ny#MhBTIT83V;x+2+n(HR-AD$1 zI$1sP!OJ5U*;*@36v%On=1uA!hiUKu@y!`kwIv@4+(!LSM-$P%Wb1m>O$*ZGo6i&< z^c7zK@TJpNZbxo?T|RhLTOF#((*6LsZP9#p&77O*=6J@ZoHsdc-r7PkWX5KQ#IU)E zq_&t!L8frsIJvL!ZF8CVB1D=k*xOC_h~&qDszhYwwLj88-Vr4S2Rkp@`O{& zocxUDHNZ^+eNU*Km5wVbw$y;yzI-UF?yWM*mCcokLhO^c<!&p)yIeZln*UVU!MboepYO#dg`Rn^M}l!l(+jaBhhKY{k>^fGrxK zeP=8T@~s79Iu#>NI)(wY@ZqCq@uqO9VneLsu3tA;KZn}jSj`upe)g&3MMkPNRZUpJ z$}r{QAhe8gfFI=YjX#{z4tWH8{QMGfJ{-zqF7p0bf`Hrd;D%<6kZo^@ux-#_qM~(w>Ew6 z{e!0mK8jB_4a~zzojVbg#i;D(es_^l0Fu zEnKvqXfSOXU`GB<^X)rw7%KTMY6f8shuFL_KF`E~Bnb!dvJk?g%hz+IKUPG*PjScF z+KhN|OXTpSm|1|#3>YdcEf3#en{gkYmvYwCQG#s^nxaMq6OsheTpUYJ5<}W3^R{7I z8bYuXLz~U-S?mLK$&M@;C61X=Q0$++e@yx8UGuyi=PVr3ST~ZBu*;qfP5EG2MY(Si zmvNvKF_@&fDw*8{7W#9p8;<~|s?yWaHpS-{_vh6bmnnsq-r9PS-i`w#KrYh9;+8W^8;g`Nfh_& z0fF3V1M&t$uZb%SBKcCg5n@RmcPSQY#uB~TAh(2T{z|ZSzU1z13XzKR8Ot#9BDQYb{z{|Ad>}pAlr`9sJ0XEuS;+zi7nR|CFC;4!qtkUO^$iM*gZypI)v^T4g;`;szE69d% zCD4pBoL1*)!4(&%qs(>J>ZV%fOrWe*WvMarH<20Wag!7Wt)B#m)&O)HRYl!rT(Ikq z8db!xCG^B$#ZcrLJ?o~t>RVSwJh{y2{c5*4{8*C=ob1wutHFCY@a)^|pNt&g6OH+q zI2YmkYfZpFl^V*T-r`J#hi=$ax74GKCD0=*#+^54;WCoT-2x?>u)AES10xfFCKi+; zK4)bv&=0R}Gy@ceVW26%*~-AH6bB{^x{Cp^60!0d^3ueldX{#Xui4$twRPwO+f zM3`19b+qqxnX**E5o+cco$G9owp-)v8rrhHJdr5Ih?s<8Elny<`l)Fc<2X9wee zc}L-zCE*G^xkcL zjI!8cOJ&L~m^0d*7lBbB=Qu2*bvv}YXfQ3SY96>-6Y(P?B}pJ4#`^i5qz!LVI|_aj zK?^Sc9vw>putFYB|2k5QTHL@gC;*?VQ7NL4I@bgL$jbnjfpxb*)nAtRtH+F(7x!Do z*1EIR((9iqFWlF*lj<=L?YHd3dN7UiQoY8XS$19nw`Emjq$GA`Z)lyhYhBXL?7)tY zQ=OdqqlDKG-^3nFd75*u*kIgj-)2h869Us#+9}s{Jxsdh*zB+72b;VB6VJ>jpR^d< zL+1*(fnj@4QR4?b%KoGo3p{60FIBxMYJl*{(awn)eHMD}-P&AJMOjEvA)*o;%Lrldk$TBF6G!v9C^NNRe&fT4 zZI1R+c8UigqIc|C(t$x+X>XjZGiMfF_MWAd?)S=zI#6M zwy@n7675wiI^7AdZ)lky(nGF!>(xrpYXzYwfjY~ElnW&*9}$WXhY*B@Y*{<&Vb~Fh z`WyNRe|YU|ryXuo1*~R#o1-s!XLDJb*cDtltY1;duXihmvWlL_Ye~cv!V2T+A4D)+ z?rr>1De~^pQvHkdex7fRJFvd=ts7SVE``)t{bekGmot^(*dtVjR zX18t~8VbcJ#jUi2QoOi(@gl`tiUtTS!HPq1E70ODg+Ot)0>RzdK%h7Tr?`D5`<%1) zkuiQ7`{utmR~hT#9V72b)_CTc&z$o~O)?XY{;nXThv+_FULnPxH5ERdt*cb|2FIiO zHXdK5e%tr>-a%8boz9ZqBR=UAJ$J!hCp&^Fnd3GvtFn;Z% zu{%>~8A>PBjS^Wa%-B;t-q(=Xgd`vCrtxXptnkGeA7h~Uvd*@e6P_6kRiY3N#n@c= zJ-Ca4&fG?0ZsOgPFqM%{chc)-1Vv{2?c}iXH|UN8AU7$Gz^{wij$ClY09}=rWV{Ar zAZ!qE-|&~EGh*+H94O=w@GYfRxMmJUgIPpg8lnqaB@P6|S6zLmR?|YiEn|6iTVj`H z(`$=pRQ;F>ii>rq*j|^7`jE?qq#!pR-wtRP4RbF0iB7X=>}bmFUeaaJ`9$B0RXK_A z-yqfh)7p4Dimw9ZtTlB&&>X-j9M`|d%Sl;wOQgWeQD zI@F}_0dUs@c-i8WpXQuX1ALC7bC{p)$;%}=Bgb#Kf`FX3>-kSt!K-PQRr!nl4{aoujXHNzXU4`hK4TA9y_5C#Qm9%pB-l&Dq&ZFqp=DMNt4k#tZBIw`lyoieL+0IUz=}+wP~^G z!ZUL-p$#oo#Ju&^nN)+uqFdD1u6!r+3QYtmD+ zxS?UzlD7*PFK0IrAc&FsBZ#+McvYV;mt)}*Uz>1)Xj>F>=6Da#bfgSN*s+`=+6X>ZzDB&6^8+tUz4AXxj`wgv&I+aQcAca=gLFuR``sTx|!H z{>eeY>5GObeu#=0`lpStYHI94SN#gw{JY9zf$f$7VYqO`ALwPT?q=A+>8qKDSM!d* z^Iv*=6Qp43{;9^AmSm+6G=@551|mNbo?(nE+T9@2zGNsvZIv^iGs6j5UI{iL*j8-K zSsxo}TnkLAKZ&vN+12)x7XMfp&SwPFn?EA9ET2FZemTvSxk|@#JR_V#GR~?$8~q_F z=2mC4==1=uzoVs=Y<0O@!;^r_6@!6S3D!>g1tyiXqf6%1d9gYa&MvK9H}p>PU9|TNjDqmZQj9pw zFBtkQalW&z73e~a`&8hZ0DE~}Tg`&3#ryyD5L6fMiFh>tRZC3IV}ulXxMbUkJqVIE&!5@`}&bR&sHn1MRb`cD?-F=ReaB z#uOijrxsW4i{Hy6d!@;a%li^3AK2v)g09pq*w1j9?A@y%l%=^5c^ z+0;V;KF*G@UKQ%ErPT94vjT{%B)>Ni3);0gT2n8Z<(ZGMf`rB#-nPf|F27vh_x^+u z)Lk|lc*?}^>1i0|xo{8jd}%TlsRKQA=v$G1c5ZcCg;#|aLD~bs$&B!WKCfMqj};}o zm0)k`fL_HKwM*xZYJ++@B#pts$#hBil zLT9mZFr~cD_TP)(9gOs&O_Vanpc+t{OP5Fwv|g1Yg?iE8wY-S1V2aZJ8VcX1vCmy& zTR}O%+D~#qEduyc$M#@-Ae^U=&48lVcpb%EJ-%vUu;I_Z{k@;tb`Lk^6ZL%xX*)H&BvB>bpE3bKaQ8 ztOj8ng+2PMnq)nC|&L?;Q!?oKc)bziUww znEclldAu|pPLbnY?2?bEyPq|%U#zxe(m1^K5H)#j7!1-Sa&@;Fr2544^~`<1R4dRCKy(QgrBOOG_w8 z-6TaHKoNO#wn&7t*v`d%VvprlNRp;MVwIINiN7w+=4{f?oC%kp$a&2KweU+}j}EK! ziN$EX7&@=Yhz7vQekqiLn*?~R6kMOZ?ehf0+O%-+YR}z?7jq_*?OgsDam>-_Kz^q8 zcPb1AJ$lkTfIZXTh2D=`JE98vkKFYgCuCWTbvwm!I1RCUo?PZp5gN4;9KH1G`X~=(2cED``5tanR6}@18`$w%JbNiNJ`|a9#4%uKx$@|L=X~|I=E>L~XOO zK69j=%8tPYaL$TWu_-saO9N$4M9bmF7aOR%_)cQ8{2u%;(@sTSzM;jAp1^2^~Vq+=@Jc~hA~lb*MtnsvFA<)_Gi5*O zk1G$4frI71N3JVHp3_xe8RJ|KiKpQ5}}dmqE>IWU}b(f_ec8T)ESj5&f#imC~(c zd}isRPn9WUyAdRh0K=og+bVK@3MFZ;5zJlB{myBSY|ie+-tI=cB$vj?2pZz_a6+fP z<}O8H_wT1{U6XI_f!Tx!5%qHVKw}ZUROa2om0-G(${cgfAz=hQXiz0G@bj}F!5e{U zJ&`Bea9i^AsK|gPlp8@KB#C!oNN2wI$7Cv*nSbR?l=ZSW+P$7!usBhVs&~j11G|Eg z>aA-0Qd2h>6JwgfhX5q%%7BW%N(F}#Y_%>UmBr8L@{cW>B1cp3H#UNA=3;iM+O?{7 z3KkS*IT&kNDR@mxr8g}UjyZjV(bnr0%R+nNtGaic$t&cOc6$ztM`meKzZPS+Pj*eL z0j_8wuWLgNZL6qC3f%e7`pYKzNrpj@;<~8;G6;xLbzc^pKJv`PS^A|fyKO9*uZ_-f zGgk)%n>_As7t|1=ARgf3d^0tepBmXLZucl|zN^G=w@GltF+v}*z_l?*yKzQKUv$hC z?MG95;v8`fQ6!t?I%Kj*5R;}%*oY0l5WalXhI7Y}Z)~7sYBc+1vUTJP?+-m zAO(M~pYMbLb^)|%EcBUw^q`Z4&gPPy@I)4p}!3G4_6 zPS21GgRwiWo;q3bkgN98q=VdW=$?FYUcIfTCWVGgV5ktN4ZSd!`+V2qmBX9$XBQE~ zHoz5QJ1O7UT3qiqd0)(TR2ve`-OS>DIP@H*4p~zvKS$#J9@JBwJD_A|(!10OZacCR zi)U?>Tl;w@iI(SIO~Xb$eH?C0K&0D@LI~<;>JsLw?H_1T#TczEONe+b-`N#6u*)2I zh;57E$E{=oWF@1VAm{4DD}3Sguvd?xEN~_Lgg5SfPEg_PPACtg^xdR3e&!EdgVC?K zgy>DDj{xbE*|3n!MDtCKVqBn3>|EteXU>Z&u?5aIuDsd5)~g7yR}H|$doWA-j83X) z^Ja~j#uB*TJHjf)#bovTBPsH8I!nEdlUJ$Mg~;NLj`QGV4v_Q({>R(F^+$U7xWk}J_#scWVOl4B-Zb@W zU)T?;(iYywgLM&%jE?~uzqLHMo}#F;!{$ZgL%+e0KfcTxwYlTFhW30In3)b@*`?>4 zZ6J6qS6>rB6K8seEJ{|1cqueRneR2g4Dui=b%yP+_<0tZ85vZ4<1pNsR#c(18K7iH zl*Xpp%bE43B20HJnvh86thR8rzA*ZfhdEf?-1Ma)QB8%OP4CBzYVBUKnE}*g*UPoP z2GoLIH@NX9oL$P;H+J%I@rkP>(O-bo7u*9ExopmwDMotfRc^mwX@q3s!M;ad1fREOV&`sSN_Nom z^b%oa5cNJ^wlu%V%NdQgubZB-XDW>^#ix!#ZH7@RtI>w45I%27n{5B|*vKKD3(OXzeDAp_i%F5@Gb8G0#JN0~tW0-OOgu4?(e zpD09}tGJMC8TEkKxah5%2PB%eGVu*B;?}agP8X&9_WX8V+990^62gt?DYwh-Sx2dD zs;jO-X0+yEA8H!D<3sl6-?QAqv-GV1mT;r?+!2jQ=VbXJxR1E;^-u0jw2PVZ0i4m+T_33DhA)SrnRr zB)o_qI?swY?+0SoyH~y9i{u(mbgmhZW2oN2;rR;5GKvI@$nv!gFYYyxi?L2EvA!Mk z_MqC0_M8tb!$Pan2ZU>yc}$e3iBf zeQm99LhRgvJzMYGhz0k#4q zyx`D~^~dUFe}>2MP<2-dhEWIXYwew8OTQ4`Ucw6t(z};@PoZad1YLwxFs6)UR8u*d zF+4u)q>s#ET?jcBH8?R7{p;JsQ!#4KN=<^Q#DeeRE>eKGe@kj)OFBU=X-b#wBpZX+ z%8fC2+rsg1{U?TYf9jbSf1iA=a}xfLU-?s(u;?uW}8iGff+38JePc#XEE6S3?;|HI@T0S<6zD zH9R_}A zX87)vw+)(FGiAR|!5A>>?O&!De2JH^e*T(%Kyva?T9WHpK)|^Lc@0^XK>8o)XZNWf zubx#kmq)?zzF9dAjK;J4bb+e}sb>o>aWwa3U6SCqgKJXxExWO{z$%CD$2pnaC9)M9 z8xjV&S~<`Mb8kjV?9c(V$PBbab(LyvqW79_)v@5(S@nm^G}pM;Snt+28r6CWxT-%c zdT+dx`8Cz$59t%*o8K<1z9HiV+x5{#nU)YZ$v06dTW*ZP-@k`S$c$CP3gDGYhYN!)`DvNw3y~X<5;

@>Y2PI^x72H8LG_+Vi0b!3Uzr zs*?^FfvkJr#Zw1w^999PGWj3MrJ$#= zzzo1t-8_E)Zy$AWRh?Hld83FoBDL_-i^NB6eO^MCmO^W_e=Gj*&z`~P;*T>-m7?s- z9_#sJ)ac`yq+y)}#IF+CYaFQ?#UMy+_+zr~_Ad2(4C}=`2Zvp#veOVFXcW93OD*%&WKr08Z zR%r}wa)X|ZXzIJ$(#7joC8XPS^u>7?YUd ztm5XTB4k+x8TZtx2uGjeUiE5BSE{iy&mbNsDU)jyaWILbTmqGo2l`CeX8pzKo3OG= z?z7}g@@-r}`5#ZzMkasLp5+m)MQ>5`b9k0Rt=ZQT_A}bu+cSHXGl|~-vFY513|k~> zTq$B}Ez)V(XY5~I|BC)3j<@oK{<&3`on}fdUwD*brict5$aNo@UoZYa+1(GirUunrV z&-B^8p985_aq`r3z4)0RCB43@+L77U%2{5}BT-Fv0NY&aXV0}(Typtn%Jar|yKKM^ zaPYc{WWBErh6T&;TLw3tNzujE6fW+0fgRjV3qa+sxf2PsH$1VU8#!T!U6?L3?njx|C!uB1 zGmz&%hZ}Y3N)#XSOatDSGTtXn&ccwjF^(UV7JmU+(JjUG6_~88Z6MlOrg`1fKx2<6 zitUu~pGp%-5U<&r4-)6xlyBv@Kn3%oODgaYR+H`ci&86aI zt@}>DD$RIO$syX?NjsnSW!JFd5BP9n#M;?Impw<3C2p9gluR(hB7UT&qJq+@rK3%+ zr5QTQS0|tjT$sd7P@k=;2V1q4Rf6_iU+?4gJ#%T_kXXQ>kZ{ zrWX=yKV5bK^58Gd@Aoc;P9K?xc*1jS9Q$jFhaHn`klFoy=J@UhQsfDJMEDh~*)mdN zlQc@TfhWTY(+w2__Eb#YzZNT^gX*GYu&d=CwHy(n*%_JR^!tv$oky*inIlI0x~(k{ zk1d0&UGg40FvK-Ob!%E@t2}l%$qo;Kc;zv!d1taLkH1kbw{q;8t8%Qhbah&ieUZm6 zZfjw@(o6pMrSds0II0M`s9$eDtxKNBm)vq)s0M9ay3RdNK%&v0(Wyl?AFS8EP`=io!o9UhY7l?-LvGivDF^>Trh z_8azJlv6MDlp52B8u?&Z%5?cepMi4Cj=Qn8BRTjSw3{KE_s%6>Lye932Qw5HgIgkt zo%D#-O{iy-rV~E#eR)|s%T7lthD)qi9K_n~q99qqI=T#+ck);Eh~u1|3N;vTt6d_0 zBzBIB?+5}AcGv-{3tEK4RLgql>#WO-j1<0sFJK-KByg$}Fhh_JZS2#GI@fAs|8IbrjgRI)oWMv zIWVG!+N|z~F}c$fEsPZ7Xl{vGFZ~5*Hzp};#^x8V&qym@zco?Z_4Z10umrtt=(D2T z7B-hSbnj*s({q*s_+%e6w>5n+g~~rXf9l`kRKFAJO0n$_1+=8Y8F!fEE33+%W?$<} z8EsR1Z{xr19>f!HUGe$9x!eXA49Karg zNlrMJu(0@-v1u4mEJZ4r+kI$+*geGcN>3gAI_;fQvuAr>r>7vR(TiF}NOl$0Zz|3H z$H7_E=0fPa7F*rc`D(P1lrW%6H93 zXRzOZ*29`HpG-yVxS=>AFZ~p`VuqA2{*ZhT_@46EM+*mEO*uz>)r6n) z9}K*X3X)5GwlSa;j@TO+pO7F6XxT&e3eXXkQ&P0)5n{|>YiBn^M4T1#tz)gs7{1d8 z{eH=laq&od)P`J|K-?_P8`kbiEOdg5YpZqXr*;-Ra9W0kZ(~-~nB&^t*>mia*}(G< z>7u>MkGwOUNcqu~kQMDaD^% z`{v`F47#8a7xMeLR}^H3sejxN$g1}_8dO-=4=3A6EZrilm@%IYC;A2(zmve8o`^mC z5FoOBD`ddPcs=u&$4Qvx(#>^|e`QLF7-1-D2_}QJrbaL!qV;QlC^uEN2s+sxoiAp& zIL@w*&R}wVPG9O2ry~N6LwjYJhZ$Qxg~$SeciV`gE2XZ4 z(7jEvymzRwqN2laef4_s%f E0NxW>y#N3J literal 37633 zcmeFZ1z1#VyEZ%sg0xaf4hRa80@5*{QqoAb0#ecq;s6Q=5`u!#-5oO> zZ?oRHa|cYzBf!nZ&&+;@?Kl%8baZqqOss3z*w@&o$f(%MLa52VN`tiM`+ir2-w_%;x19&&8sF<=v<{?e{Ai6jzM(w8ZpU@o3wPd=4F1rAYVbbNX3eZCoGTl$O`{D zoBJh#yFqbz)#%jh3af;VtvfM@Xzq;PSUYaoNz49O!#w^=Ejw%2dAkNdSjb2~=OJGK zK|nkEbn$K&|33b0ga5HHkS$w3m^BsGRaj0MlP{SzyvJlSdS`-rXU`L4_fCZr;#QGi z|6aBq_9~~x;AZe_?vo>skzSA@heqXP?Ps@x*C$8j_F);QZ|bF_#%0ha$Ow5h8)I>W z<8uQl(!Rwkb%{Q&r9A?B52G(j*t5pbR4v85% zH{oe$g~%mE_>pZ^%?VMw6|oN5y(vDaas+yrQY&5f0+wTqoA{3p!dq*5}5HL612! zq{Z92oI@LM34ev(8>FlpHi3<-T6Vw`kVH@r{YvRgaknKgoDSLAcl@okG}m{ckB3QV zchsM8b`nVF^AY;yjOaXU7Y?7@48%7Y+~75Szt*?FwBQAr7F7>Q=a(qR;o5?Ih!}Q zR&^kITNT=GVEn+#Mn>x|bzGc9dr)dM5s0m!9U)=oh*Gu0jr9e$ z9LasJ15H?jlZQI|MkuX{f0cm&4~p{(nb-@ybpPicr7QTxgA^5Jn_4ou?-kzO$Q7-1 zbF)?{7INh1=;!+$h~1n;$~S}=XPmBD>f-e3OXQX^MIfd~eV9Wz)o7!aBb{5h^w6BzuuS z&HkaO&Swg6;OB7J0hCt$F7YSPPp*y5q&0k_LvD?&2w$mErnt%|GF%py_r~E;Rz*xz z(4LA$c6~TYz%#xy(KyN|4VkxOAlzYa*x@ZkIIci(?Jd}JDE?!$X~f$LZ--e>3Xk>2du=TyzYucd6E$TR^j0zPdbWf;Uc24j9TC|xtvtO~&Vyp19~ zQPRloYMPuaPFsuR*EHVZP!$1Z$cn|~UAvLBG*f3LNQy1=Rg;|Sy4B^k$hKjmvSi&A z_r@Xkn#Kx+h#Mq+^0*vXG)0#)yl+~U)CQfbw6z%V1{0Q0 zs2V~^b7`$y?!m(1OqKDf zEuF5*zb!emhC)n|Z1g7lwVMjdn{3NfX-H|y-SQl?4^;9X-s3{oMrjMm-&P|Ca(jb< zzm1Bad{M>sBb>+8d|dpTaxU~X98#g0^~g`-QVZ2(>=@nv$OW+pWmqLfv%{mffw>ht zk>n8(2B#M5#)N3Mslah{3WhFojxnrJPf!TU4TC6qe{qb3$aH8Al-e82nwx zg9<@|gdx}T`{wrpE(ZmTEhCc4KAL`3f1dd?NpD+i>89G_@XP6+!JoTRWWN-^VlcHv z24;77U2Em$_tokAhi-CxLwz`g25#?5Z;E#etaaEHs|7zQ>R!5mzekkW^2Dl}W)nQI z>xNO}Y?rlCkNsHVgMv=M(ET-UVkF<#HUX=cwv?XnfT8bw9;>2xu)4x#=1%`z6>7nc zmGocpI?S^wEYeM7X>JZKUz!k6aPWu|Zmj2{*fb%*?j7?l^f%$5BI=VD4`#rx2vtT# zzP8Ng3z{{3xjF+60plNm`niul!Tk=JHyXSu9vXjdl~w7?E-aKBNieIn76RF0&I=eJ zm*)ts#-jGuJAsZsDVlcs9Hw)tj^lQhaN-;iI6hd6W>W2hY=7BGzz`te^rb>C+#R6)jx|@R6TSm0nA0k{Cl>hewEKw@OyjfIfCN_&LHfR|%1Vmx74>??g)&z36 zf)TrraoKn`;^~}(BhVNcoNhy<^9Z!^0zt4(hZOzq8~<&de-Da(Pldl(DFQ3ltiFW1 zvgwpSMs=p?kT&H-Km`BM(Nx*fgqTAp?(2`u>mPw^k3jSwR|0vVi>HUpepYBw`a-8V zW<-VnJ)aGAv+2!-P=&AP<*6W>hAdmcTE}7?rGBc8#9pru6Wxt$bCpBA3*wi&^CoD3 z{RJuN=0}%DoN=+qnagRegca(3i^j+CgIR`_d7L* zi46jzR+}3}s0DjHT`k53Y(H{JW8+DRKi5I-kw(Dg&Bq zX-V!H;Yes$nx;u#hHiIAxCM8^ZEmG8L`Qq`ZlC{*?}W7AXO;YWR*6mQVm7z^i|;2; z+w*?AJ>&bOvp&pjg3l!et0wPjQlZDb_;uEr$%)7AZkWh#8%#jvFR~#+i~779Cg@hC zH2W`Qt`d1FlC2^M;i#aNWsxr74RTC%zLBs+nAA=p<}TG_^O1pMOF1;;Js7g?GO^JG zDJw9uJV+%?cvuso)!NXhUiu0~`XZyg(xL~a!VWuFHF#9KcvRGW!hDP+Y6M`8FGL9B zkj{^$q=3<@;l@PVL6UrVRdT$+Mo62=f-&E-@RiCnH2AiH?NQ>{*esB>~hT$ zvN*z)tCATSnR$7l52G(}QzwBeATr0ty3i28RA0*`!f}eJv))B^} znucqK+>zHAtG1x2w9>ak-`RKRP0NmR|0V&(=G(J!Lm#%3wa}GuO}$|9KgQnw8`L5F zN=s-(Wy{04;KORfI>3sBaN~XHKz|;YOd9nh%>IypW#)?JoV^`)slZ+L?zOt7?HI!v z&B*NOjh>j)gu0jNg~@S0Dt8w~K_tAtJV}L1HYIL z0pFBT8Ev&3)l5TI6C^@H89uBBSUR(k1@&A8K$gidsSM-V4}*+AzQjmH97@G3$4vdw znlOfUp2K?diGF>C+lfb@;lOpsg#4}4WvS$Z(ku~R=9|bKHXebf5qF@cDGtFwngiAF z9%b3HC&bQEMXy}`hrUyCVel?_S?-C#$(=zM@1P=*VrLoed&`djqTcnruh3_6Z^|+L zz4^A3A(DH;grBmf-fn`-r``&P&7+iNvWK!TN%1<-VgJvR_>GNoqi(nDFlV1hX3r@* zGd{OfH~2oRsU82Fu2=YQu-MvJ*Q$HfTl&-5Rj&#z^19_fw6Eia!Q&$JhDebGf~>{< zBka)(8nOjzgqgR$zLq8$thV%Hdh(8!*1D2qbVp#muQS;^+^?SJws$TMTjQq2IGwqdjY8rEF}k%xL?W& zJ+_(da_bR&7MC=Oz**sHK|>xgA8X)f&GFnyEiC1S5H7`bYK7hR)L6pAC;QN_8l7m^ z4FicCMrCRaVGfyU@O@4<&i%|<_9o5KBQo0CI%DE`qjXW0UiNV^`WntqW;L?y!AT$b{D~<?(iXsO1W6Cmk`d(P%QfOc`^7T0)Z1aCtQ`aw-)$ zceUXa^VT?fD{63%D5y0cZ96~fu>S(bAQWGt8=Cg^up6Ec+)+5RSD`xCvrjUcE0%H? z*tnthB1(<=ur&t_VQCULfTq9f2AOpr4>`GGH;uqFGOC11BJjN@KSm<@@~x5KnT; zUAg^R(Z@w+zV6d6w^PwgAVU>=H^Z!C`L0x{HJu@P16V+#0|Awngns}sbIjXB^S2lB zVv4i^ynJUWPCpCel--*>0_}7r3}sg@z1NG2FI_qNsP!$v8FIL3w7rn)V(@j=DBI=q zlk?mK$`&aG?0HH4vcy31a++wt6e`=(+f?h#sUwc-o%M*>z(%||Ow*O1{kU13 zQ?xr!^?2{!4EeiR|9$n>!|neHyL8_;cyTy|cpP{<7`nANU6SZuaTqR=#lrfY{^+_hb#En zxEHquEi$77HwdY(e1E1wHbF;6B4u7(G4EzVig-I->kf_bH3PvgWcXGrR(aj-3se1# z2CGC(Ugik`tD=d`HY7-hEd}YP2!++HsKt#s{fMuM^sr--6REc-MI3u^fRWwq-x>VGLyggKPKj?JDAKd~uD4 z#mg)a0u|P_KPk6bE-(bY0wZhE)I5(7GO-P5*drOr4u_z3ij8AXtz{db{$~k2c?}ot4+j#YkiYm!tl*W)|JXMgUIx*G zLBbfLu-3lqD8Q&!oy*98CQI(19W=x1K&Pw4 zgaT7&J)=d^EG(4BDOwIOtk-2%kae(&sHG%+)lq3 zdlNB^m4BUTHk8b8En7!sRbM^wJ(s*=&HVP@ic#tMHPm->Rm!@u=DaE{#-0xXFTF0(PA>Z$Ny7SS^v| zJjK-_LGprNFz##+zeR?mr^}SplsG$7RUya*3Tey|$X8=Vx}_+2$xHJp#?dENI<%jvpUbBbaJ3wl-h6 z5;$ox{i8tnUN!&pDb|euM12|6+Vz>$g6qCgF%Q^W84{;iY0Wg`dY7}Z%>6xK`LP@P zZqv$-qPeWxm(;e)KINocE8GpcULxreS6ZQ3Om}4>1kJBVOy}N16X%fD?KI91Qzycg zw=W)uG~XVTARcr(a9Dy52u$*FWF-g1HJQ^ySZz$bAruna$Xjj@pvPn}c6gs>%B3#7 zRWowOigB&&G8MhdC0*_|6EkJ$2a@F)e5kh>%fn3*h}N!=gW8E{b~aOOT_nkQn9Z^G zM@G2EY^>KWh=XOz;$xgL2425*;q$N5|K#bb=~OOXIncO;MmZfLEz%QPR)>fVuf579 z=5)iCx`DGbY?POq49ji;rdHUqoW;D%w8aqN@-kp(NznFIu~8dF(AyXb^_19ZQ=H;7 zHRDCvZmb7g7e*iZ$OvmSWUJ(;7ug>0x#Z-1RTCqVcek<3^Ru89R0r1rzAB`h#B44- z^@gRJtrUxhz4gTs@J*S!2xPwlrSK`+kJ|I5SsW1xzAH;{ennq=`TcI0v$ms{@qIK+ zYuZegnS?zub&&y<;7gU@X;Wm{u43D5D?JK)0hfbt--xTS)>8zn?MEQ~Bar&Zz&1s; zx$biCt|UlVlfD#WMgaqF`;Wo50Gc4StH?!jm~Ia7+u2FYcV$Qt(a;NP8nYfdzd`;m z!Qlub0A1@u5K0e=dJcOk5i`nw2(e*XS>N zOduV&E!0zfBVogjue%kqBze5tLTaKb=Iz{%2P_UmR}jv?29yA&Lv)q{W4&@0AQc#` z0sDO#Uc~{^Xi?8MO(_`#6S5vW5ed>`jvIQDU#^{1}r~Ey%&>R@XIS5`zP2dt~ z<=(;(C?Ie(T~twxh|>UPU@)nad%<0%X)__j9>;LF_`G(67Bc10E?#P2>z8e}(X7;X z1VdaNFfvDA#=P0tAxI*8R4+3<@`oKGXTc(dCR`7zr}m&XZKAye=mWPy#^9SLmQ+gR z%)S>cQ-4V4ewcJ@G6-NY0;sVTU<27>8$h1aEnTS;(f#Ek@SqBGqx%R%4jvaPc=SK} zE&Gqv%>U=eXz6hMy>)=D`k$lj&ic-6Hfw*Ie6X`L7uR zMq@u*IMGPC=`f2c~j^|(w&nbY*Q~B$Aa4lc=xH5EX z@|hk8kPMDJEWhgT>Qb;Sx48uPO%}dsHdHUL-zyLE3&H{3;(gh0gM2HaCCUHuGVbJc!Mv-t1|^4wK4kU_ znUc!kw$b`~tPLXv%VtRqC*_HW7X&xgU+rvm;OK_Mvj%G#u267KkSP~c+HN~v+^W6r zgGV$drssz&FJfr<=~n4S*6$-r3LMV@R9R{Ca-2iwiMMEaY!6;T>3hGU6O30gtJ-Cwwo3@gD@;encOKa#1@r5(ieEnz%lA&1{`S;Y#FX zei+2*Q%Re^+Jk=bMLCb{?j?&2=C_1 zLDn|Mmci3>F*P+{JWeBkX!A;a)I+EqfvPH#4EmDujzEmiZ#rH13-Ms|cE~IGf_WnO z;n#*0#cJ*1ezB}@_V5Bt^OQ%)a};EuUlv8|(lx#5zJ!IUsYc#jscx8(E=OmG(yCj^ zN**g5{*1GHwdD=-^RTpPlnXe*vm(~dDGEqDN8>m%2pq0n-m_19fP8WAg+2Sc1V`Ms zvOza3j3%V8EOZ1NQj^uNQHMTEl9y)VYWze|OG_BZqI|mXDnzO$S+$SlPGda3p%cH} zg6jKirCEYK?;*@?KeElp2$VqYCQ?D08H>7r0FmE5$ zl~7L!cug&Cz zB!E=KbDO;?FM4r8s&seD`o&5*i%q$7^nGb@32Tb_17zx4W(M8ZNyn2te9Brz)wOVx zry0CPadY^U13k9*q8@&hYjvUwbsQNt7L(x2L#n*uJ8Adf2$V0y>0BAefo#ERzW%sK z@KIn-F3rTefa#}>Z{1milH!HI{*S2-yKgl<>gU;N17vrS6B>TH7XOup`^xZ{7+`x9 zytc%0;Jv2;(cIb*B`g*Ogd9{r&G}8VLH%?tAN4Ywt9P_%$|1VTXc;gC0} zS*t-B;|%g5ge^9I>I_6rPsM;tN!;DTz%_(u(L!=yjjjCd-E)F*c(y|K-xs9OL=fo# znRVHm`RGr@i?fwb_ne;h*>T=UDFyt4nb>XCGYG+CK&7sX5>Wu?Q$x?#O7TW&M%q*B zk2St@$&|pTIrDvH?90Mkxd40k#+}bv_FXl(-JpVFjibw80leOTxOm9G4C4sg(>nrP zK!m*4y1Xmn1i#Blg)U#>UbU5dPyB^qu3=f}D!iE2FEPxVWSVhf;JG;}pUNYVhblMt z$mTz%&y{)h_9jO%U;l(oeb-RY$N%nkOOLp#bs~zN)7N{Zw5AM5ZU@I0l|(JmC?2G$ zZh{~5#7BABpl(Q(Rdh2))_W~GDcr*>{vv;k&@bq#dwV&_dofrUiRZ}Xw(;YF>(_@e zyqYxOwE^sHf*wUi@zuu;$XD~ge46BKTt?S07N@!V(gWbH+hG8hu87$g$XbZm-HJG@ zM<}%^_w;#jP$X6w#~@sq0BeT}c0=GhZxII^gyam8)O`6mg#e@!m;|=jR`A(PaX1Oa z0^UOjQO}z_MvcGeTFOEmcr<8rbKGj-d@nqOY~Pic7%2aSP4HbIMRM_=A%OeWp<_=1 z&+`(d@gXpy@w-BR*U|vOeW=K2H^Qax;j^)AzBuYq(t}_DQK82DhaKwSV`qh))hx2C zD0*kQ&Vq{TUZ(ITi? zd673-;rojD5;GR|PxVLxtojN~S;US&p<}Dy1@(}Z2x`Y?z(i6c`coGB?Yimtw_B(U-lslBYWN zMvOBBN)>=~i;94*nO!fJ0I6+u9~M^L&u@^L8DzZvt_a3Ld?NuF4Y@M_Le|&sW|mU4 z8hOD;9f>Abl1%EhJh6{_VE7 zpa6s$3R>wGumtfvI9IxBR{JU)vVBI4Y(sqcnU^4n2il}%Mbuh}uF~eMh-BFv*>%A2 z1wbEp5dtLg2DpnPVjQ8=-Y@*CxY@2_`$)qUFstt4-)sv+0GZA~*A~ZCVkYUA6aX!B zVxV#iaB>YUrmQApgE25_D*<{u0KuJPFh5r}eaFxVKjFa$`XKtH4tLM4E90c#$hMX^4Fc!uEmklv9Ou_3>yeGV@k z0+1sVvdS{2X4i@Paweu0u$|h;VEbhNq5&0Fq3RO>NFhZ5v}Ei{>6h7M=tQ5z4(Xl> zkA}k6`s{JVEhbKE<*&ll23KZi#HgeW$m|HMeLGslC$1FNd<~W0G!Pv{AFh$|tXc?W zRsJ+!=k#5g7>3PLIDYL-z1oYt02NX;!4NVIB8Qt+ zfPN`E%|Lgtcw^6@80$uueem^>nvC1mG_i1G(^k|~LUZi5XCJ(_dm}+7ph1?pZ-{az zut0wx+G7xkAXUrqjE=Qo4Uq_jyt_3NfQ#(68Q=HS;nR$;$aT8=O2jpOSY5quOpJ~| z>q7|SLsNzPP3WE(pa~&hX__0m0k8fW7nc>^I|Dhi-R8Cj<&GRK5)_h(Q6(P;KPU5U zHc%gda>G$s%1Wj+k(FPV$=O;P5_O=OZEpBc_(10;!=Lb3rxw3jtRn;SKKU zgWleYD=g5$8xeA9Z!Qoq-F5uV=lq1j(tC_LdN0fOd|3kVCn8oB#NNe>92#%RA^&!T za`g&j(YuLVT&PKPRkqi!qHpx4*_xtRDU92aChN=DN=47`j7E9)K?#AbLMO05 zeKH|Drvrxg#2cQFUY}u-h&usp?DPK< zZ$17d?=C4~8(9Oy5J-xEfQSNuLb(gSUnnofkdR($qNr@?BR>OTCzSN%#Z_Bs&xRzqHFquExffvS#$54*PvE$3w}K?;IWg%x>1Z zhW(`CPRC;)MnqWew{iCSsQd4{l6LGBqO>W6en>Mu^&$NdGxrM`PJE)M&>|$?M6-I! z)PJoqh%+fxZC+u|nSY~cJ6`8;!NnGnhK|S%G$k8X!zY(Vw5mZiFE{it%jcqDx|c=8 zu2*b#4T-NoeC)Dh<<@Dt81*Fi41acr!QyY&w^+TY zpr2P`agvW!p}&voyTEtu0r&XV`3LNbRkeST!2Vx$|0KXma~k?G07%4|f&_%;j+Bwd zI>6V9G2ZKh01RMwb_1Z6r2zmGK4%F)`a9V9e{&)~u8jR3@Rzb5&l(hqo zKune2Abl`~Xy_FHbN~f;01y5Bi-BP*!{8N`4TAljk!y0uvwz`fWk9QQ_KGn~O61xG z4`SO;24LQH_sdzD3)JrYsM+qjxDvV{(YMItKOFuvKzl&8Wp)APyB`#A5u_`eMpGu3 zm8`WZK>b3>ktVbT{RMeW=tvbYCCF;DJnH86wiO9jj4Vcx#WhxX=8lZHfUk4D8?BH! z1+nism$e3Gog=$VE(~i_b?AECr+3(>YTC&jssRGsXuTNk%zY(}zgLMy$HjB)7|>9Xg?~ZO$EX@L`F!;MLKA=N1B5ZIu1tmVuTq6I z;Z^(L9hqht2*LM<)$rEKD$XxQLfsFuAUo9Xz}?Q%L@x$|x%f8g%zNu2(01X^&}Ol- zlpz=pVD}No8UjQ)1F;lmNxAp{@ogL@2bLp{=~)Q$X^P{nFAw!so~hx= z)6#w^mTodocjmp#19Al?T7QfNFI^m@t^GcjP3YL#7Vg0Ud?6t-ohI6=aL7~+5YgF% zPJR-YrDjG1d>we zv3OoRDNf_HC{Aq@lZSHr-iCcn(meZYZgt9hw}!R`sF??;qAOh#EFe5@j3DYw?0?3g zm-fKjAPi@f*IYp{Xi>b?a>cS(+|1(n4Uro`q*{+XuMD{OR{@bW&^Uh{TMfl7EsAP< zeJO8BH*x+Q9yGyCq&RJ{%(>h-cE@c@Cua3q-@2tgw_C2~i3N+ioqjCCX&B(9lC6Y( zN19V@WjeH%#`P|t$1D$Hetn#qLW7acZq7HFFG%OsyO846pWyywME3^G^*ce)j z$*lPw&X|`og8{B-$Efv3A{OOu&e+oI(18fj=X(pAgbq6~i_c*yzXqC_=Eu|olsuy| zT!DN&G$lE37@}!oZ;*}sR{&daAm0vS0>nX|b{N^gF^2t{GZCYMYd*go|JFXqz~RgR zI7{!$sq-@^f&HW&VoGD%N^N7GcwMoL{)K(B2=>@4onTp;B{9Js0LK3PS)&XZwta1_ zm~3l5{PX#~Jpa^K)*3nr&D-xhv8*ewEw>IYA1Dqqj6vGsX9kmjNQuC-$}x)>c@>4P zQ!YOnCUy7ki&81f8Z&vSw@gtfubBSlPR&ty+>>I*mNec3q(}YvgCmelxy70-oPj;Y zq_+<;6$r=NSJtw?@+8L11gaTwSac-)fiSzu4kv6*%aeY$ik z0t>XmY~MrH7Pt=l;Te%xX;1Z3ta!E)VocN-9#Z{C&>{WJ8Cg<%>|m)J>YX#84y`x> z>1|~$oo@Xq{0QoJ@TK&zr2B7?`%k(+D{p3xLBcu6FsQ43RD=}?_yip>{wGMrTrYwv1ttGPN-5npPZ!5CMJ=8!{Bp@WJ1E^Uq5ZtO&@W<~G2j z-r_n~g3r^3o_j;IB=tg;0qVf|n@dHf3pz1ZISgr0!Z?={(_(7Ac-Q)eA5)>XEa%E$ zS|+p^ynA&svkYLfHtpX5!)3Z1_rNa)aw-4>-Yi@{ULMsdhb^Wwr)(X5Ut|Dw#qf~w zmuHTjM}Bxtm)`?#7c^V!;%;R<0F+8#!NaHr-1l?PVQ@=ds~!-OwpqE1J8hJ*c2V|a z93WW=|4T5cB%qyvk{j4-97^R z4TslnCl=j;Lw|J|mdUXl<-ie|MP?(ES64zb0GqJ5Ysmnu4($((#_iUvRMvR+`l3#{ zUsUYj)e8kUX%q1{{Cv8&kIfr)`&PWOV3^XVeb~wq?VpqcpGFh}tG;0$1G(?Yp++4$ z#ZIHg1y3pTnNI=5;mqBqb@5zH7jW(LH0wAfny>y4sF8Ah;mVSKwbL`;oqGHLP5e|& z|0z=S0Gcz|_#Z&{V#Jxt5ARG(pG#PcB6xoJoGe$KhXi-x`do#0egHDFjRZRCH_s%J z#-Ib-QDpZB#IDNmF$LQ2QYUbOBTCx;*0MSWPv*xzc2Q+c zz|8=bM0`U$DKaHJUM+w=vV^jW0Ko#!ZU8f|4Ci0e3JqYJ^*-D}*md^v{5lcpv!{EC zfJgECGEfXqeRSVMoi=k1qgR@%*`p*8G7~d{ui8(D8D*bYLofzcl@sjJ zc1>>WN5CPZR}T`_V=rZsKW}Ae5gcDxQstq5eYAYNZTwt*2iF1+pf`WM1Jbya zK;7qu`{1?!@Gi*t1s&)gq>)vm42W8T1@~4K>9>yypAYzuZWcl5x-s-sY3aCnDnDNc zJE?FUOCwjlZopWh@@O4m7M_6zM{>CdT7rB2*z$CMdIYN97N7&_rWeU3UB7=Xa%-awDqyoR+W9lGdK*T!b{Twl!n=8QJAfv>|Iwkge zbo$5Us?mS&c_ZORXFk_#KlBqDGE;052DPndz1 zSQarwp{}#M`<#?;(1NH~)-{TEy3TS)f1g$<48GW{@4gP6rVl_%((V%Cl755R2uQd; zHs+{>!|}b&6RU8t?1)W?p7ac$hi}=VHC3anKp(U;Zez=xmpA#9JaF^sQbzo-s$AGt_PNke9VZd+C1SEmgfT# z*!s^e{@I9?71!lod?UEBl_h=L@;>c1v3moc!?6YRh~p`f?F1LQFL-&haugh;XHrX= zRE;(XAceLQtB@*#w3tC)O2iXi=w-#-2Rsyo`p%v1bE0TTwq)af-vxi!O(>zYuIUs| ze`u7g%kf~yw*HC>yVtOmvymP6W5oJvwWd8K{p*1u8h6rV`hH15Shy`859=T&&nPw# z-t{2B4Rdkv1qJ_=K3Wn(p{;5hp5qN;SkD);xRW>((qu=E^k|6QK2k-;=}yr$7k)KT zNhtR~*JVq6UAC(N`HtC~I{3RD&zwG82$!-Qv&Mm}eF1goy!wPskGq{qQI8G*R=92$ zskC|x!vgWkzOETPPik%&3LIQHQ$OIx^i&Vk6u z8UXD3Qo_HYne%v~^C&@j!`1w_HR>nFEF!V_jPRS7o(3V6QLRR9?0WdpWl;VKWscMH zz<3@P?obJ&+Y(G6a+Y@ckzQ>Em$VOv(iw2ugkU z^Oek)Q|$fw&#;_^c>Q|*H@f{dy8WGCUij}rx2F^|_6@2;6@d!J+QrGhDw1x|meL~n z#S|1ON*;hgO3I=3dS#@Tq*2fHZx{QJKD93n)5jR~Hs1XcL~A_IorAfC9UYY-srwa|zql=!4&rj<)vFV=R}K|MNMX1c zxN+wRR2-l+LU{7>(lTShCZ*rP97BrFGq$YJIZc2v?C;)+J_W{i{*V_47&+E4x zaUwd1FYgh~vD!F|p4pmKmy~wnEYPC2qJ0iLZSrxXqF)~6 zCdX$({_sKOmNbS09N$hvBhYy%lSV(!rsj?x*2UZ63!(Wp0BV%BM*=xb@O&o=W>3um zFZw`d(w~c_)_Q1JFGwiY_Vuj}vtL;c2}+bhdp3Quy+^+N^5mN@3}Oe@b@t|Cf)Y;8 z(Ns;;y#G?7(abAr@wT&VEnQ~-p!)5KaDVM$UsFdSs;Q#kjkgQ(JU0uOuNcp(#V4F} zq~CFiOsOAUIMH)z z_b3Pcyi?Kc6+j_vB@dPD$FM^x-s9v2hJ_I1A@dvh9=DuW#0dMQ0@B9A7(L0uAQt$R zY-1cdaUZlRN&QHdx=~v5;VF@5*mC{!6|I|3Sy~|5p9TS-f97_Z`5( zfuBrG`p$2%5Bk%}>NOJP2HeGYe`z+3XKU2KqIQG{rv^Sf|1dN}SvXOx!G_O5ti)p& zg={%g$zN8$-BK2&eL9FwhSEP6yT4k-`y76x4ysEVS7MWzH>A!f7eEq$Fo`G2%l@&M znN1A8C?M)56Rnr8oH#oPN9!u4pS5vy;ub--={<^n8QrGZj$y#?{s(nRoulJ$;bGP_ zd-WcF=*>h_=Y!6?i99;-?PK#(y*nGHVm~b@#((c`Z6z~=5R3z&qXD{L7eeu#(K=!8 zm3=OEbr#vlwBczI@TVdwrunV!*zZ30sm&<-*b>C=x4PZcqm0B~5W?#`4^BM|Qaw8> z+Ef#^R=klVX~IgE@2tOf>l$UiH{W1i(3j2%uEbdi<8Cu4X*wkbCv9c=(!uh`U;_Pd zF=T#>-aq7OKpv`)$YAy!9~uz~Dx+%;#dYAPgEz*a-#K)U>a}2AV$2RTUL4Y&C-6_9 zv7<(Nq1Peoxll$;I-%`Y>p zdKIkIh_!mxi?-~$!4tCm{F2)~{LKQqeYYNa8-dwx(HIg>PGo^>d1Jm(xpQC(s~EVO zdcH{$l>hog6{&sX3D{rV%V?Q0z$n7jn$C{9UYMA$%2aMQS@z7#h zO8(buU>lKcHtk8OAJ+(qGU8{82K|%6*S{uiXlt3(8oPnyYA@8j=+BMCnfIN%gL}DU z^tu_5t9rYNm|HvcR8fa8+C{Qk)B<%}RsG?J;-ta(vVa6)H*a~2s@P^PYMa}0FX}-{ zzz-k!|B6?EH1YnY;uIs!G@G>HSJxe`WDq`S){WG?;6f6;ju@<|TQR3$Fn43;O?!@u z?1>WnF~hfiNTwhDh%+KpTjR4~%0ND1TST*+u8NvADx*Cwb+JOsJ_aM3Icu5F4x8IG zEb*EpM!uU8OBLAe(8}CC*im$3jUk=J2vs03#*gFEz^45Icd9aq8Cz!{kNh(bzF(Vqm-`M+F zKS#(pK!6VUV|>LpzigVOv6w0aedo8xxUf6P>x~U^es#sm)LU8D_iEL%wi-M|{Tb~i zlzpEB83>JA`r0h4PX(eFl69b2hzJ{C*AiKY*jbyW$a{Z?m7eKGc7ND`bj*ds#pNU@ zk(zFXmgbO~h{>+D z93PPi4Z30Bph5gWX2T;I0~)Zpo;6_%J=@?CC1P%3+JNMw9HzC4%SjnS!|bx1@rY{NY?HTbvtF)#b< z(2k1AH^^AiL%fxnXuYqhyhCT%Le~#Kh@L1H|Q0>m3M`*31deC-YyO_j?Mi6l5@it;$W z%q!x%Eju*!jAJvskT=~j2Jb?@ffHegY>6ofN_e2eu8XTMV zxJMIEUW*CF5fYFQBTh{!?#+4z9WQ|~On&ma(dlb-$vcho9(=^-2B<(L=wqO=`5Y zSnRUXU*)MTUrX_Rnyo!*CIjJQ_r8)Kesx~)GChP`r#;z`U7@t-asHyBGP#P)McVb7 zg?E_f`^7r5GMDs}MEuMtt(O8+_umQ;J+;FWkm)slYOYt}S%OQdZ`l2{dxeQabVh@3EPkwNAJh2T+Q2Lm#gsN+#AM)$YF#txnqv`7N{(* z0&-By2rHwuE%MXw(zh5#e5$!Mk?I_H?Z$>Sn31NZ)d&L8rWN4-XmH0~d`t#{@K&nhiKoYe#9iJpD)7-apDADS^xj08ll$H~@Bhxcv(`InWq<&^`4!0-(Z#l_oQOs?{-nc zlkh=N)mT=8CJnicw}$r|E+6(Oq&S(dA}w4n?$P5msBs0f09F(B-D&yd+xVwu`7)EPiPP9u(YNb7u2YbWl_I_H8*-{JS#?ZxSOa4dD&ju3fZ^*xtPf)sl)kEO#UO#PBye^=&>W$B1>BjC+Qrnfdtygmngn zf02$)Q%#q`*E3Y(#PHMSmL4+q6;08_h?QXt@+Bp}szK*`-+;?D5L{GlkUk#FZ==I- zs7kPmp5LcTM&^^k0Xf|nQd1oA5UwHC$I~_6&cGh;{QCoZgMM$vG6fr?Uk>~k0V*9A?sw0K>T&h>l!i~Kd^g0(kZIl|yG zAsVL)o#7u};CPxx$&4V4fiogf1;)BU2;-|7H^=dcmHHTe8UOI{}g# z<{T@85vG)lZ(|46vF0{Oj3Stf1Q?*5IZPFP<6Bfc1Ia!PINIlQV=&Ucy zq4!Y5lm_lUnZ9`=901Ni#*^{1yv&RaI+be?#>5h0HKJ5n36ie@vA#oIpSIwcKljd2U) zutt@bT&3;caK{OE)TwEMm?5k*K$<3B;B<}vOBW9vZiGLV397SZ8{1u<*x%>O zahDPMP^d>lCik2)2OW>}GckLLFq86^)dE{RQ88++Hvs6gUTm^4DvVY z-aChQkLqr%^YM#3HsN&qX*9>^mbo%W25zQJ_1&Jvd->$3*|lTl(ceOLL=K)#qFMsv zA=)VIMVU$HK9aayqW{$1uBTR^H)8t9Bw8TExN%A#X#w*GpnD}!?iqPptudRk0oKoLBYut_zfS~kYg+jh zW`aZ_+n2fhK?k&#FZkOUcDBV9ZD9%#D=(+cAWy2b{TP`b1`iXfd)9q8;p zLKdi;%Te=><&Cub8MWbb_o)-yr1^Y3)F9aZC=C&y(w`K64-fW{T2gR?Kmw%-7Jq_* z*Bv%ZPgl`K<10tjkp&?yESx>8-l?d&hn%OV5@}-0$fOxIVd)oV2i_$)Tp$BWwAnucx@;i(+NNIO^SUGsMeN)Bo`>Wp`-K zSAYyLagHuX_pgpIM45BK4x`RcHY}IV`=Q3R{M}0+YkR{LQ#`HHdE$(AzDnucXPmw; zt8$A84@r}N~0Fa|023FmQWvi>Y2Lv^>E$;z zM!>2#lJZ!H%rDw18EWn)Zd3b6t4J1Jtg4)GlV( zRbK&KePz$|2`N7L5o)KY*5;a`QgzheCl&O=?998KN;si-j?A)P%S)@9w71s=%QLQm zYY_}@Q@LI^kTF$4OGDm$2`QIbHJ9^c35RkXlVv_e#wQMDkE2SSh1BQCQXB@HriYCj;5i7f{?YBRqz7B*$xK5 z|31srm^={fliX01I8dYhVkO~1A=mKGw-bKEa-$Z+p>0GwuQLefP4 zhq(?MD#~|5l?y2J1*(gn&0X6gifgst4LiWh^`m_bBj|k|V#nX50w)c@4{7 z+|H0AE8yN!o_c-+_~v<+uY>dT$i`ujm6K7|;ohmXY1mx!19HW$Zb4pstH~K#*vdd# zZ=xCd>|!vi_q5jU8j7^vQe@{5pPeH=B9kquV$m&>ch|sDb@j&^v-@{@*U@~S=(0em z=GpX>H*(>Npl}9x0v!PDRP8x<#~p&Fube&$)Sxlp;Q_!VGE)DERx6LE*s2T2$tWqB z56(Hhm*i)fM3Wv8UNxx$8C3*kPyUKJC`VLd`vTk+7`RoK^tiUgR5B0@C>Masnggt2KRC`1=9I59r%XX7E)!UlF+R);q9F zh)kOWNq+_39UJy3h!_y=7LnS-ckrX?2uO{Ehe#B+iG_&RW!>RMGphh_m zmnZaQp7aL$(om1L?*>v{u?$Wp(yM@G}bgT zpeRvb^5>ZNV29c#MEZLk;F)|?M*PzW@4g_HYQf|(XH4wRCSE!UPFR20&1cI6WPI09*kfSGZ(1 zjOg*XZCbD^?e_5kfo%d;%Cp3ajLvxN7MpkDE`_Y8wBvHG1($zae}%(>TN@(Rw$BX9a+5o|nj67gO6y8%B%fZL6j&Cb!`O|terF)Ed!W7Hqj7Lx^*Fku zu;w$yNnPw zV^U1sesAxihLFJW(+Bjji36~$u?h&|V+3@C{#xZTzmcx(u^^Ny_|3~9C6XVJZABX@ zR*_wgxkoF!j}TpjYNJVA`(Tp~ams=VbesT9`Go%dh2<@V)7159bvREmeRc^&RT$5nz_3vpgb6^V@Vt;oM?yHG^%P zWm__vSMrEQK=RiL-d(q}u2!Z=G@FTjTYXA~+!5Xjg(Trqyp6exU7o|*aF{(;`q*B6 zU1G{Sn+*@l`t65rtK1DOM$0#05E&IS=VK=EB)wWHpKHOzw6cvaznpNj_WuCDlh@k5 z`CF3jZAsobO-pi9fNJXdOT)g>9~e2w6n?s?3Hh{Ltu8-U%2_qnohdgnI~j0?3}|eI znm18CqM1VE&meA)y9NbQ-7uznHHor2a}@F2$W2D8i^($*FXK2V!HRZu=4SV16~=Rc zxnyiO#iW06mea`a4cpy|OD?yh7I}62e`cRu2PxW4agr_B{7CQpQynO=!NWjF zCWqg2ve|)DF=X9!%_N1^PPde(s9{fcIT6)HJ=esNjO za7VDw2|mVe$ZNRB1@HyfDv+zhc)6WATBCCQVZ61Uh`M_Tani*33N2svUa)A|8x;1y z3S@$MUYTMuuS;;y5_2q7x zHYM((+`zo>=hTU+`z<3US%)H$ue@=HZ@C)kCgoIu#%RY-A8EPXKD^o8NItQXdnr^T z4`R`y+6H6vr^upEf$!Vz*=X7D6T=^tGx;njn9o-pHYZ)M1oQoFZkk;>v8?~rIppgY zS1-jHZeN&IfsP4qxp35cv#i{W$)uluBvT*nrujIs1z<4&kG1~QnPHq7?~{7|Yl>hA zl}I=vn*9~d1GK|}^*i3FAk+K|JF(K&)`p*aD}l9yxbhw#98@&ws4z1i5!ccE`G{C( z>2l3ijC>0LsNmlylSx&2gbV5(GsZnJQJefsTrP5V;|sl}5vp%DOkpc0$A> z-4v@HB6m4*(0V--b8aIQ&ubbREv(d}5f)A{G1R!puXQGx)r(zxs7$vQNlWW|iR{eW z_Pz^uli^3R>S+Or3jCT3C&Yqj$GYj=!~>grk~9VB->p7*5k3pdN*n=ax7L*-_NHQk zp$?73Xh^2!1Af~~;PW?1ctGEZK!d}VGFIKma+j8kE#WO`Kit?usn}ar7G6{+N%Q+5 zZSHSL3{+?a+b?$@e)Q0GCasAKb0iN@SK+|6MHOk&x;n2Fuv_}u9#%{cvK34!x4SzV zv%%ElC{;A;k`{89rcyLNYxW+?#)p5eE_f*wB8rd0d7ZP+vP0o5d$e*=5S(hWs}y`w zwgHtDt-G-f2)$h-k?#$> z?hjyuL}jISs-ugAX;R>;cDg%$L3y)(VjJ*sHN#aHf{~1Z&kjKG50D21@AKh}QIBan z{OodyPRkxSXS6o0+}F`FM@Mx}eHE^&F?&)zMiKj69q4l>R7Bv~0FEr59`!5J9%H8z znKggP;Q%KD^qQ_Y&Z13iXcsM=GYD##+0lVD&c({1A}_N)b-)1>Ib^V@{F)KCz@2;E zGjifZ+m(@aP+!i(5@Q}V4f>a>@?~y%q=Q~d>8QZk*ZYX~(PF~ zX$4Zj>1hYT^COOhywm2Sc}yL5qk-$)OMP%om&Av?(ht<6`gXCXL&mQNck#R4Hv;0a zOl1)b@1j%Qe|FeLHWd#e0FH}(HKy_HzXV$?1JH4wYrXtkh_r|GNj>NpTS~0`qB}zD zC%&Migvu9QMy=07-@ah$VNfIFA)H3q?O?>$)0g^QHl!--f%d?%>1NVTeB1zMxKT3` z0&*%VYUuHU(_Vi5{A{j=SaD;v4VWy*I_Lm?<$mE@Cxr zow+?l6iF3{WS)Um2DapcSD4dM$8ENryEdbVM*ETdmB5%oC1z2u;3;TOvXk!Dc_VXS z4fGXQ1z7Q(Q;>l4ehiI#$S_DEtaNyp*@XvH6LtJM#LLm8IGQmo$_5v<)3-VnDse5- zh)RV7mM#<^y%=RIddQ6hF%26HC-vGGazbmdP)O&nk zngqF@H9Zn45FU6#`_%lrCki}8wpMV@4#i-TZo12e8e8I81Lf3ngCR;)+wAXG{@;dy zCt-@za-d-QLcd6>F@gODf&4eEGo8yR&*HPyWS*}^y~_1n35IAv17`K#EbtJYUj|x4 z5Qiq0E$HBsy*+|eoekL?*w~b zYzFc4&YvaD5{65EB_fdC_Vh20_0pe!{{ckSnv7e%&tn0t}`}JIG3=0{v3=1R|yOKJZV7glzwn*N)uhAxTB1x7h zg)M65essyvCaQXQx;YqkeAj>Awe$LG$@YC|$DA=)Ll(_s~#vb^4 zb6{FYy5uZXJSa!*b5Wyd`IVc;e*h+9OXK`2+@Q?277e)J$IFEL{?a_Jzvhu*DHtn> zag8Hw>sbi|*U4}oqZZ=2q@IIexF4`utK-v{lV7sU!l`p#qbcsYx|^Vz;CE$Z94TXC zIj?E%^2G}U<)-lp=;tx9i%V0QqziO4lli8dzbj}%aUxn)6*!Vq;wzt5h(`%SeyW-(cHqbhk%wH{6#hekzoI(J$V(t>v(N^SI~EcBR%ae=)NO5oxgQ zVkUqhIc7520_ir~dF&+FSUP_{lRIZ&)1p*Pko589Qrz{#@n%}diURS_yXtSY#9J_t zw=o1S0pwxKx_-D(Rj|VOzSRK%P20gNA0eu~dXKJZ0?}M7eDex8Yt>^H!a2PsX5*TU zr^aO|_h7-)X+#|(SR z&pF!O9-P7iHlCxB#4&7D0#;)H8zrct{TE}03bE=WQqw&%~& zY|`SGyV$SCI8F5sadXzt+56f~Vcy|+-YvuMvi@c(#TY-TK53xF@ONNs=aN48%oj@kp6^*+)U3RT34gDyhm`J;=rL7g}9xoaFL2-){J{ zSt1&ZWj}(>f_Pt@J5;#$^a)e=q6h8eth~LyHxxu#Qs0=Iy3>F7u9S; z)wVX8Iy40*@EZC8U(dk$fLY*J{|FSnoMy3KlK%nnbD&f>A~eY!d_sQUz#u<^KV0a9 zixuvRUt7SumUS3c^(eB{pCt+;)c1E^N4}89A&f^zoV!zQHWo(XT{ipH)}=*LR|ltX zz`p(V>;1Nqlh5pgi~3xz9Zxx2vLh4T{Ft+HRG=L3NGOZLnH%;i4jA)Lju>9-7Gzhf z@J3v_-c4ZWQ_(y>!O9${=ix%0$OcD(4!}pIJKi1n1A!dqf0tB{*R3dRlsLh{H`7=L zDMXvCND_U*u&w$TjU-O9ob|exyy6_m)y4MSJQQTBZ;ZPiEmlWV6?waJvl{;jO_Gfb zRk;?>Uca4ymboN}{JwXhX1XGG-t)yAuwVRtd(rY5T2a-r=Virgi`iI5W?#Ds(KBis zd76O>o6bZV^ZA=Lqgv-V`c$vSkL%94JENV&?NNE{0t@dXtlzjL&>)FD+ z2w5S5igMee_47UJ_2pIlvF|_R$ZQn(ElbY7b-lA z2AC_5%ZZei!tdcqDnhxj_NzT08?C8w@#2@M?G7m%&~kI0rz|b>L>tX2SajxoyUqC- zmVhMMc5@eSoiyKG$D#o^DeYmuNAS+HNX)x;3>(Jt>P?zz0fY2}Ys0#*`1WE*z-C?5 zYq7eh_1oVuU|V{T)cv*iWoymL7nMQ0h1`j&&=;dGolVUZ$Fw%q6KAN}P zwo@(BgNf8D;Mz2lppi}S$XU+4G zn#*8!n=f4`L335RTWp42Wyz2FP%M-Myc{7^SM^N0zMNqe7l32qVSO>(so5&Pp2koz+^;RQ*c>7!a^!& z^JfoE7;bkk34B7IkO5M-IBx}E;h1E*6080p-h!-pK1i)dmC6y5JS6L7mcu#?rHi}GxVxq7?5>j)k2N4?pwREzhLXX%ybc?dV=3L{#m%wCcA=@B*vRZ z`itV&=f+5lny5=Xk-Z11=_lDkfWBYr75|hA{a@)o_)mO?2F}wM|Fj{HK4_-4qs`Hh79W12R6+mp^O9Qd5ICZT{^_>9Y? zd`_L+xpwD^*J1e_G%sPJAL8B`3&^%lr82&;8So7bfitE=Y5%zHAeZ-v0f_EQg+5wT zZW%p;s#&;`{n(MH8_x_E(ZHT+7X6r4Q-+@!x>z$$?gx7dB z-2CQ4$+(*`9^&R6y~^}0b)JHmb*wl0j`VkUSn}oQaXu5UEiu3Njeh9bc`gYq!Ap8? z{FGBzn$KS$+$u8x>fdK!LAL72s)2f0&I(X&G=~ z6i>+AtM0omCfvjySpAVh>YTZ(ERog}BdOo}wG4NT5l)TMy_K57epnz-Xzo0^jqz*} zuZjK#bUw$TXYdCwb&nwV%lyT#4)(eI6h*(9D(X)Cx;Y$loHXagnVd!X2vmcmm=}q+ z(lTCs`l1adOHDJ`6XWraO^9n|QDEFG#(vu3sMXSRlosi}6d8;x%H3#Pl5kU`d*kVU zifkH`=`m2%-T?(7R8puqD{#(x%f$2vxDMWWGo96$q1KG+z^18$PR6*vEIc;sNyG~D z4Lrpn($qq$n`+QQWiH*|aIqpE)6mT%Av8 z8z1)Qf>rymXakmG&D~vo856(pl)A5e&3(SF$8|bH6`$k>JELB9@@SAm`D0*QMYaS%h@0pBJFCpp(jC`Xh~8{uEg~*gp9koqT&n^ zAGx6z-Eo<;(BWFye?Yf?__5FM@ozQ{z`>q%iYfpWP_0q5HRAG$8LFps#Td3Wo6ZyA zN_>A>NjsMmO T>HpE`{_lAHm&Q}!&yRlruiv+p diff --git a/assets/swe_bench_lite.svg b/assets/swe_bench_lite.svg index 9affe1f65..419998794 100644 --- a/assets/swe_bench_lite.svg +++ b/assets/swe_bench_lite.svg @@ -6,7 +6,7 @@ - 2024-05-23T08:28:16.091496 + 2024-05-23T09:49:41.227630 image/svg+xml @@ -41,12 +41,12 @@ z - - + @@ -453,7 +453,7 @@ z - + @@ -479,7 +479,7 @@ z - + @@ -601,7 +601,7 @@ z - + @@ -674,7 +674,7 @@ z - + @@ -886,7 +886,7 @@ z - + @@ -1007,7 +1007,7 @@ z - + @@ -1043,16 +1043,16 @@ z +" clip-path="url(#p3efb973a07)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - - + @@ -1089,11 +1089,11 @@ z +" clip-path="url(#p3efb973a07)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1135,11 +1135,11 @@ z +" clip-path="url(#p3efb973a07)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1167,11 +1167,11 @@ z +" clip-path="url(#p3efb973a07)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1186,11 +1186,11 @@ L 690 161.676713 +" clip-path="url(#p3efb973a07)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1232,11 +1232,11 @@ z +" clip-path="url(#p3efb973a07)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1411,7 +1411,7 @@ L 163.368917 273.70025 L 163.368917 77.285649 L 96.917045 77.285649 z -" clip-path="url(#p009365f358)" style="fill: #b3e6a8; opacity: 0.75"/> +" clip-path="url(#p3efb973a07)" style="fill: #b3e6a8; opacity: 0.9"/> +" clip-path="url(#p3efb973a07)" style="fill: #b3e6a8; opacity: 0.9"/> +" clip-path="url(#p3efb973a07)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p3efb973a07)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p3efb973a07)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p3efb973a07)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p3efb973a07)" style="fill: #b3d1e6; opacity: 0.3"/> @@ -1745,7 +1745,7 @@ z - + diff --git a/benchmark/swe_bench_lite.py b/benchmark/swe_bench_lite.py index c940b4bba..b8949abfa 100644 --- a/benchmark/swe_bench_lite.py +++ b/benchmark/swe_bench_lite.py @@ -34,7 +34,7 @@ def plot_swe_bench_lite(data_file): colors = ["#b3e6a8" if "Aider" in model else "#b3d1e6" for model in models] bars = [] for model, pass_rate, color in zip(models, pass_rates, colors): - alpha = 0.9 if "Aider" in model else 0.5 + alpha = 0.9 if "Aider" in model else 0.3 bar = ax.bar(model, pass_rate, color=color, alpha=alpha, zorder=3) bars.append(bar[0])