From 17381bed5885735fcc704848d38008eab6ef7dff Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Thu, 23 May 2024 13:13:34 -0700 Subject: [PATCH] copy --- _posts/2024-05-22-swe-bench-lite.md | 4 +- assets/swe_bench_lite.jpg | Bin 37370 -> 37317 bytes assets/swe_bench_lite.svg | 1546 +++++++++++++-------------- 3 files changed, 774 insertions(+), 776 deletions(-) diff --git a/_posts/2024-05-22-swe-bench-lite.md b/_posts/2024-05-22-swe-bench-lite.md index f762224fb..638ee4a37 100644 --- a/_posts/2024-05-22-swe-bench-lite.md +++ b/_posts/2024-05-22-swe-bench-lite.md @@ -27,8 +27,8 @@ Aider intentionally has quite limited and narrow "agentic behavior" to avoid long delays, high token costs and the need for users to repeatedly code review incorrect solutions. It's also worth noting that aider currently does not use -RAG, vector search, tools or give the LLM access to execute code -or run web searches. +RAG, vector search, tools or give the LLM access to search the web +or unilaterally execute code. Aider is first and foremost an interactive tool for engineers to get real work done in real code bases using a chat interface. diff --git a/assets/swe_bench_lite.jpg b/assets/swe_bench_lite.jpg index 11cb8b1c3f7ac9bb813fc515290fe70bfc679610..40adf98fd05daf244ee2075bb99f5cf2c7ed1ecf 100644 GIT binary patch delta 26439 zcmdSB2UrwMw=Oz}2#SD22@(VZBudTRRu5*Q!BgTxrd?^68Ke2B$ZV z4&nf`#TB)R2RQr&0mrv8RV*CQdMTgr6%I)-oI}2r?J`CBTDZ77_=Mwq>Rx=87v{Ps zf7MT$`gO=YhsrJodpV0`mCt6l3+x4KqEGEw4@sv*1Wt;+kp`be_l6@0er7`VppRn4 z+R?S?wgZcIoZo}=6$!K_ugz}pN>UE#c-bWYh6x!q!GQfpLDJ_t_Vc;O6YZ>;pu*{4 z6JGl36p~{18E>W}eMf0w@RO)ZV*Ooo8>2m*ug625{;(%vvd%!A_&b7$LyENyAo~OR ziM2;YT@JVkl_#SV?emg%EDNsX%+3%@tVgfw?ybF;;~DQ_;eOmLY2EakS_R-&Yenh60q88Y|Ms%v5} zq@U^>t5&|3oF8;G=u3;9`GR0DyfGkUPh%!D_337c%Ot^~K4oGrR(Qn+PmZ4C^0N-_ zRnv}W95>qgJi_Y9wQsgm;UKp%UGOYhu>CX6_o_}#=9TOfE|XS1QKrrc3*i&~%(CZV4ZykwuJqJnb+>bg3-4gK=g2&H7LOo3_UG;B$ zFn{_HgS>;`!%_aY8!Tt_!Lbfmlw?kx_Hp85O6Hk0W)dwSJ4SbcY$XZsqkjWs(qG^$ zKeAu%M$DA#dFRA$51+y>-;*@adu}0MZ;eWv^+ZjPw_*+AN@d0>)Ts{pK{$D%94jKU z2$#con#6{uq}7E+{TqQSL$pW$K|KhnE<*y+WP*vZQNlu`Z^HTrv0y!fIRC8zX2k+N z8t8E>#+K$9;XEDmX`|}69t$#GuG&0+doB5>r`sCTqY^pt^?IPzJq#1mqA%U)uozjB z=2O4<3)f4tZ4-BXTtjNVoH0-ND$4SZfTJ)n0apk+4L1rlu}95ku#{(!KQ^{*;9JIR zTpV#7Zplfy`!)>cPSm860)Jfa0hIzkS5;N~$zps**^E8xVcykiS8slxxT;PQ1-BJ} zha)OELYkkp>3t}j_UYvI?}lXaIASkL;_a>z&%&@w2h#S9Z;+h=Cp>H z?j*VdfApLC&+fEb=#YyHRq0jhTx2GbGZUY8Az0C5+S1Y$j`B3+qkYLedBfo{9zi7P zN`0k-6g?OKtqkv1)h$$+r^49`!vBBy5%9madl}$=>(k5d0{=UOFQYL8ypzkCser0z<>YQ zlTZ|4Z@)sBmwK6(7L8h&29)L<`VaJ2qgz#JjXU#^L$`5bAGvqNL9%ve2y{I^ z2lWMcIlN1qIL!!)VQ=gUE7cuy{0#o~NxRr_ijrf5AOwfRx|l7<2j@G*Xv}yk7L6NOc%kAn-m18SeorOm$7! za>)@t->S=yGUHqryx$52;wLl8q;WG9)nf#8HokriirYT1ItP{NLUby`eYkew4u;rX z@5Y_JqCW=}IbDd{owWI97wRD)Fj9qjhi$t z@d>K<138Q4?K;K>2=KmG@Zx2!L0X?Hp@9o#>ar2`>;0g<=Tyqvj6cL)e(^DLAyNRx z^I_y%fFGsAGo{q6)J4^7WmLB6k?LL=c0X*EOBA-l#f~l{Hl2)myKg=BvwgF~DHB~! zX~T8%6{R6V<%jR~Z6yX$!nLh)z6N!7nb@exW^CSH8P*9AR&(JQ8Q1L3J$dZKubm#D zb*KBct21J-c{wf`i!95@&^BOMlyFZ;urAV z**WOhIq1-K-4@Ya6oeu|)dc?;58XKgmMh*oA6fxO{_rwQi`&VeWiN4`Ge?4zs0W0&Xn&m~gcA zph7>iy57qa2`jn2{ALrHTRlnu9cy*f?(#s)OGE4wm7SJfFgfoSN#{JMnNMyO0t@EA zL8hz56lF#xt>fZlKgL^ckI~$Z)vTxOvYdphDZ8c+3@szXm~&=~?({O63%3c9KCM1= zN^Pt575x%r>ufkBGml#^0oc{2FL#(ys%2p4zYwolHQLPjNG1?vFd@qja1ZB=D261l zHkGf#=$F#@LDS`CmEiGOAAMdV9(sVw_UmgFb%9IS)c~T0r+X0@jlJJ$sus|KA zbC4$UNzSn@hXWKZuBD&!9d|SFN@IikJC;XMfSDHKr{pdZ&K(E-n;7bGks}|mi1}Enr1CTFC&tFwR@ac~; zYXD%{5+ecD zLLF5efJ^=NQ^I;K^arGJmtRXj{MKxr?vXCZ43iZOpCQl$Sftwg)05RJZ+Nj28EzQj~K;c=X?c zu%zsA$7ikyxZg6wnhoPAm|qWJ57=n@?P}dk9IFTRszRJUXm+bOoswMJGrmR=u#3 znJgNg)af(UQl$cV+17^*kMo|ywj1K_pY@#eB0}kEnSLywj#f3kFx0+nXP}AEyyz_t z8h_fn=XQ{Z2vpVB{HL5pSnD|^R2}^sd6VGNt?>y)|$bqsLYS5 zPzQHk_9*^l&XxAK6fJY}3L%Pvg4-kGD&_Z3u#c?3gm1K(Tc^w7wnm*0U04`#JAL|2 zPo_apkPLjYW@yLHj#XYjBXnY6y?H+%T?SI&*hhLPMH%HO-wqP4|;F_3<@-eS&8raOAgQRUY-7gk5yEnVRW(BP=?OWKu;UymVDF>Eey6EX*XhRpE z5aw|2f&L}#`wflkov~LQ*2i_7gE$5oPo(Pwf4#=}%o#6!>LKr6c3x%=94{k>shd}$ z&%U7c&OzL=%V<9jfb);Np-{r>`sUjTQiMGbA_4R%&p~ha!f%X$%d>8jE-)JFyD)J_ z`HQ!k81&Z)Uis!?$slM9@uWB0;EIfM6K-=#STK)lcka0}p!d^eF;oIl(xJ~A_I)|* zyPp=u3#aUgdhoay|Eza1>%${g?Dyj@wg|lDDd=krFmuC&L~& zZ4lrx2fSf?OSf|Nm#KU={j|~JB|SG%R;{)@5(aE?`kKcqm|U_uOEGEJ8%yB{ z0*Tg9)4DOETsH)TnXNlNf4io_ChKs(1JvLFF%t2D$awG+_^UrHS|a2ysL;*73vhvu z)X=u4fYu=4L-jdGN1_Zd=S_+R7bQ2241!|bXnMLk*i&sC4_xgXWJMoml=3Bu|2kyO_-e}-^!nwGunap7}p5vdC!m7B9m z9ZXjiZ9@jdl(4&vkU33}_dU@*B4NZI!%WRG9^QZNPzZOhFXgWf>0};z1UW@81V${l zyolJx$bz~$c;dt&JaXRb&@kTwbE||{XJ2ilm&f?R`uRIj7yAkA;YVPaS(%CHlTBI# zUs;q-4o6@t+bP{L#i{LZh(gX(kEdCBMQo&fMe#&undb;rgH98yDQvOkt!mb7TH}=P)7ERhy*-s0{~q%TW3+FNbsvT<-8o33 zT%}M7m1U#&q}};38WRE~VX5m>Yc^%8V1(e%pxr}WF2ezpQU`};13{ILm$AAs#km>kkONanhUCx!-VBILN%_7HkG^ypC`sU#d^p9serG zqa1cN|G6FH1o306jc#r>2=8Xs(RxwwV8h8DFnC3U`))UU>O?NohJ8NR#Bni@NLFN@ zpJU-RWr=NqMNbjTijiK({?UuDpm)oQYXYgpWuKQ_p{#>)J4VTyNrdh0=B6>0+8AS@ zEYDJML?dkYjcC>YsO;Ib=pWOQlZ>$mZ!KDI1m>BAjjF^jdi2Rewz8gBWtfb%;+1jH zj&r`8ec45E70Wm+8rwLge=TaV#~ixpOk+t{=Ko^x!%4UJZjyJ@<7Qs?0WMcXXWsPG zmn)Bz>r<2Ij5-Lqo59l#{W_IiBOH0F?m9@AvQ;KzO<+%-37#**7?L780Mwr{5+=E{ z+S`yh+aSf0lLkDarEawKu1U6X-?oLR>M#K>uW5Y5xM~_WT?))n^);^G<^bPWfgqcH zC0RQU??-N3)<|!fc!3TeOC>=kndJIaH?lku=j$5$LDB^gVb_Et4(vlf1+LknCL;Ay zG3Cu%Q#Ma^8CIiow6(QZ{Yh?uut6IAl7yiiWHTFcbP!VP{y%G9VIl8IU#FcZ~m_sg3sL#JA79JI_IB2|sS^pXs6`j~WlQnNb0D z-K^%Gquaq~GGD_H?b7`RtBtqNHYh2*IedZl`c0D(?1&sz?x|FHQNG+m!_($Vp`$fk$^?{KV0C}rOwdlbB z`ZkMmkO|>AXhphS;@4`99>1I;Oc~4!d-$LZ=5d7@DB%4RGXoU2BW)K0wzb0+ z5Zl)0TPjKQSL0&ss1rZeRNs%QHRi=K-o99M(PynupP6S?w{OUIS+r0x7TvJ@oM=@4>>f9*NZGZ z$gHFqEs!D6e(Mx>D3UbInt}w@rC}NsFImU9#-D1bNLY@yN2}&;?iaYLtsM!*icE@_ z#JJlUQ?M^2^Rg>p-+e)M%bRkICH;#Frb_vc-&pRtuG^b9=ayo~`1OaR+MS?ErBd3o z%sP>y_#9g|#6+?gn|qFL8U`%v*39#_fXE6<+D$yxF14zWEq=K482i{`IAWa5^{puM zrd}ywo6D+hW?90z4)5a|4;?5VE^nPTB&<%cG1rDOWI#?xmGInFmnD@Q z9mI$~G^b)G>58=h24l419i<2A6v66|BfB3HIUcq;fZwnid$V<&2~E`50#7HXuIad` zhuxV65l`yse^@JCPq>$zMMR=M=%nFN78n4&f_JfSI5~MtZ(8k|$JIQFbwl1ua_5%e zq8WHhsE|$AxXF9n6V=MNC9Cc|)FE)@Iyt_w z$5d2ksM3KzM!qA}O8(65O(o`pL_Gcpm>AKX0N9(c*vbTqp@a*4eFQ(sWH$tnF6Q=+g#_a`h(Be%hrM&eAd#H+Ch`QVQ&o987J-Pf z0yG9^Lo}Til{m^4_C?=qeG`|_FRw2dG@vN5*H15x+z@y#>lX74gDpr+VF6>a3^^j@ zaPC4n}ICreIW^@`$oe1J^ZE#GThOY?y)*jLDL(0-`yzqKPX*CLl47p=e#ed zYTHGnN>)*Yl!0Z(N@PpW*1{3_se(aRlR{mxh1b2r1j? z)`ZHISHx)&vMJyDTJo^?@fPS#O7*HyMPO$82Wz(kb9*CGrP~Zt@1qq?I}3emX~aK& z3(kVg0JpCK2CL7jxfTbX`l{fh)d~M#2(DyVn8#iX0aY9NZiVJ46#UGeqrw$^v;7hN zv@+rc-p!2^`+ZY<$z%Uc^5q6RHxe~$hP2g@L61VHy)TLNr%=)|vL*SkZ0JcPEqe@x z9PT$iv(Iqo!{$TxxW;j!o?P}03|z7gVouccyZ~j@!|kYEA4Dt9C6otZK$rY>#$}iS z$%2t`!FKof)%z%LPVS=Oids)pa5logkEA>5~JzB>EZZdF48RosxBXh3npd9S_mv3g?#pwb#H;f<%0=H&plkBw=df3KF@aNq z0rJ;Cp2B)WX#wwQZ) zmW5~!lJd5nGaZQ>IZetU!tqhIZS5%HKJByXfCm(DLH-S>R=3;fLQ*b3xU=nW=HKGq@KJ!jg97w}R{S z`|>#Q-sYd=zBY0H=Tml;tLY&bRWK<&7T}YQZm!Ltm%&5e$ywS656<^e9P+QI>Gubl zkm2s1h2M@H_>%3LMyEQnI~F(Joqmg`)ho&)|E_lJDrGb}Z)n_NCU8KAuRTEF8QpvC z@nh&DMl=YUdcAtUo_%XSQGb7@z;ZW`D1Gxr!~4yM_eElZr`n8u_ja+S3SZ~-2&4fV zt#x?UaLlE10I{2?UYm9IvlP=ko;Ir_zer#d-Eqd`C1cq62EG9rOAiU%)LF85LfpF4 z^kG4H-ueEw>(npCMjpPm5sZe!58EwC^nb$K@QSdDYh;Df+T1@ z{g=~$({4*7N_%tIp{y}|I2b%!**8p?n{M9OFn|h`8#n2w6Rdd@lQ>fTi&nI}JUR0bXPTYY7ZHfSCN$lJFB2n3(px(JckB8@X7 zLT^&~!THMSOVz`g`Q*nCO?K)m)Iiz2Sx4kuE}8z@ZOrV&dkQoyVI%lQxX)i9 zj^?y9^a;xmEb7#8Rg?GtknD~mAB>YJSH9Q3K`8L3!x`slV6V$tmu*Q((gm+?iTE(V zNYl#b#q<JtP#;KkZF=oWfgWht5jGx|$ePmB^AZ1W)6YhnWMYr(>X{FJQ*Bp6Yr2Ivnp=~a0 z-8snYAmb=?!>r*&4izMcn9rI=8u?ki#~3bsjhBXR7UtNaha@FJEaY+^S{01?~w&LLxE> z5cG&)k1vJt6I8Gnp|f{|i948SYN%s|*J_5b51S*ykV}S*Eg4^KHGn-hBnYCU-cCL491;t74A=n@f9KS3$RWPgq9Q3G&hCpupc5iMJ zELDaYW+_V~+~=9%d^TQrdCPx57v2jMD97uKUyQ6pd>j%4ueBqhCmo)qqUV|xe8RWJ z+5vka%Oy;8F&3TgKg42AVhsMK`um`)0ir3q>i`}$Lk;d!6wDixQWh5`%Dj^ z|H`zI=>MvzUHQ)|*t*~0=b+WmiE|J;@*MQJ;N#iy2`$_iX!y5@3|1FHK}QQB&Ow_V zrIlxrtEeBkuD_eizlo+)!E#!`at>1Lcg#JTay^@hGNAvWVlZ$7*o~oGSL0MP1*Lqp zEQ}t6XUZQwh`RV4f~GdVA7_z>$Z4P$jqdVAUtJz1ob2#cQpM#A{e@_BN#~1A6XITP zxmpF6jpo35gGPPE)JQ81OmisOJov{)1m{kYi3Y|I$|lOF{+LYe3CT~v)bHm-rH}*z z{`C5F*R*b-?zA^XvjHjscuxoi@rp~AyG{gVxbnUU?2dpV?0QTfJ2ema;NL~FBCg$M zD^CatuO~kgizuJ|Y0^!LrrPW~x^h}`YVSLgK6;RgOT>ME4Gss{_5Ukd5)k;c0u?Es z;0>>Ghg;&&EQ-?G^k4qhzx=S_N@VE)8qNIAwSXJi=`cHq;Q!P7$a&bl1T$beai)Jk zyZw4{nnid(UN5RTfAPZfYevk)wmestQNQ~K8+7$8P-sxCg(iB?-g7o2hC1L^jHI0Z z(toz$Xgg%>mmxL(ld8fp3_N>0EK-e)jLG77P2I_o&KMH#l?V9fke5A}c@EN>(Nu=t zZ2ALYT!DFUvHRrVWC6u&LJ!o$`}ZMjsEhGBgdKGcc4tN;-6rwm&TV$uuaH zs8EXFXLAKoRC(;)$^FO_-<$A`5Ycs?b;(M_*FOh64LnPIMM!p)_!S*2#pSIvrg6S) z+-lb9?V7OAY7SG+Q7eiYS&`r%NIvCo-H{jdLH$R8(q4A_V7&3zSJJWqRkTfBv~ZBc zPm>mRKRTkiPd4|7SUQV`C5FDX|1`uIu{l+C=>AF%ILc$&Y#YYD&YtO=YeiW0#XSnZ z6B|3G*Bi@uy7n2h5mkQW7H{B>6fCGM4OQQE5xA^yA1dL!^7+0CM+skuZcH;_RKySl zydJ0niwG7Syz zP2iQmS$%O|Jv~?K49kkQHgy5|Ywec!Ym2Cz)0N4_Y1(8e-II*H3|lnk=cm;PTU2`t z`>si(#{m&Jwpyb0wS}&q%^nX4bTsH6%b7e*e0p)6Hi0wZ%jJM_M7fe?9-OW%U5qI| zX|2J-8mxkXKmuMxkRf3-N$Mf+fVUGwtUK2*!>wSN^sYCys_v|-=W$V$7__AxNf1iGpt zujsENT!w-sJq%W;N&?GK#k0drP^TR~G>kmhy^MQ^Ue1l{l8D;HS%SaM{u1M* zDQf;TdzS;coIUl+ab#3oPPS6iyIhPH$8n8SIhPL*PoJwM{o)6ggOel?j2lb>=n~I& zb>Z=9?;K|N>Bw&`y-Rei=FF007qw6s3|Zf1ik)to^Pm$XYNryB#=jYMO?tUPm9(vE z4!ETnDfn4aAtG^0svRXPNr}6AyU9Wdg}@yB!h8-Qh9KQCYzp*be9aytj2mt^W?Eeh z{PJZD&nb21t)0ofDisRN6`~VW360!Box~Bat0R<7gIUlCxFTlh5<@O#k#X|Mm9qG+leg4l&(}Ve6!Gn2<-vO?5{<7<Af@88?&eA(Bs`Vjq8)Z zin3AbKhi7HA;johF`6Fss*ZfE3Z0?Pe2<+J>=olXL7nq|o)5TU5 z;9@$6K%GKYLY5ln>Y{#P8d#6T3A7r$`~H#<8+_Dh3mX44{CrcJ(N_e8*kyo5AbzmF zfb?xLU;Fr1j%uL}l^%No6QtGbrehP5Az0(yjYh@}`VN{GnV7q9@73~Izq_S_WvkDq zFqUJF2V}6fpK=poQ#U+GwFM!7^o(v)6v{HJca?U@`pRQgvCGQkIe%(qWCfBkLuXXw zt1QEUSzfM0kKjiDuHkmCAgW)(H^D&xf{}jB?dDvp^D_<~UnTPGd5&o%1QL}XXf5L$oCTON0cez>0n*Q+pKfPDe+y@ zRr`DgorzV0%hLlZGNR{wd8x5l0p^ZlVe^wiW2pn+?x6~eM=_U#U5+Ink9HZAqL`zc zPKv*ICEOAZ8G>yXvjeSe79*TxF^0-e2fSwPlPq%^5{wz);L-yUBdmDa5ZK0`S39!* z(5Bw(?4mOfR@GAFb=q~gvFwA$gY*^lj`VOKoxK{+SwIFTF;w^=zrK+it0? zvlbQ>W?3EiQyTper!Jg>8s$!H4XRs1GDO0KGGfzfQh)!(8to=AnH-~3PxgVfnE0*( zgZf4WSd#%GSC=}(tMWBa!aiS}vh5|_LiU}}a4S|jT$Q8m_SF;Z?SHgVN&vHgu)`i3 z&{#Z5`Q2^ROJE8W2w$GFUi{&P&VDmA1DhC(Tq<_nGcP{+S!G#B^dBLzO`SA@tc3flZFdq{D*`8|+H=gbbK*VJQaGCd%>4XF5d=9gDezIjCFl!16J8 zyZ;{QVeRXo@SHzcoVDm%j1*mp4R7sG>c@i`gY%7L?-lIm zWAz_s-NGlpj_MoXPd8Z+X%Atp3lOaphipu1A>z1?Ee7ef*e3TWdLK8H*TZCX1m8S= z&b&z$7p*^0{u}9q7torz~_L=0-TvBJRf2Nig@7jb^Xs zqaVR|CmjcWYm2*vS;1|e$Uzc}QJ~3tw(Gxfq~M=5V=&FqO8JDfB{rR?hgVZ%WKV1e){T9L~6kDa1w#>Nnv!y;FA5vi+Y91KYqnj`%49GvGM_0r0dH6*-t zt0k(@xr-v#`QgI+x%*btS5SJVt*>nsJ-5T$#H{#QY6i;m`KIuBKJi5zyTz`A0kSRX z?U?@9a7RH;@AVmqu(?6qhOP6Yv+H-$G z`7u_1IpoV(hNx%kC$=2*Hbs295@7HktG*(^bEAlFWsZUAm`p5Ey>rf=ZzY$b2+rm1 z8@qP>(9AuC4qCmMndupJk0f;~X_tq$VZ!`p*#m#U3N?j0`KPG82YyGu2nfX=#~fNG z=P+CAK-inJIog z)zZhZg0E~ICw%EY=uriX`wADzLcZatj4#4Xy4iPPHF#tnI7-cx&W`w~qSs7|hLCyr zs?S75<#o=H^k8QQRpgWXG<-zJqHJZM?a@*H3fUp9oyGkZ%k^9*W7yL-Zl}>?=TCbe zmS}HG+TOQ}ni)67RZO(%@}KY*m1hvf4m@4KEK9Gxe=u`v)qNbWTdVN$8l5qOS9DN! ze=0qjYT5DKVatz|B2i`V9nxs08N$Gu&alYIwVUYjwy=L?qm6OeBQd@;e#j+&n7co} z+HjFCYUm#Lyw=D?MS@`%K3CV!5H(6MBovHEij%g3O$!%<6bClb-0OE0XXUSmI9z?U zmG%azfcYGn5e7skgWUQ4!sMiZ?(?enV}|v0<4Jzctne9R-*OG*(rNjLG^Q%;SZ29A zYqc27{U}nnbVGGP+1lDbyD%~XqCei2A4)zcxj1pB_<+fueRPe?D>;91bh6zE*O5k` zqc^8GXW9TVGp1_gO4Q{b1|=!3ltTvq&ZLTjM*yq1rfC)gP(luYe~US+kWtgVM^Ndg z*{+0g&2x31E1)IFd1F2VUARuv%b9#=dizP6EUMOjc~CqTvkDXQO2}Nf11bNvB8TiT zTSS7AvTdctv=NjU?@0aOE#3%aruaF#*hHN{TFtT{i;5Dv0`GOxDpR4m{`VeYMxs|k zTY#4iLI4y(hepW}XnLG_-LLinINUnHbXfwvZ&^HFf~ToseZQ zcXyJvHb};}>o?YPK}uV*(oLzndtQJWsY#QdPOLE#VqZ~VHhOr{c>I`?Lh>25dc=F7 zIrIoaybHWdxHgGfZzs}4fVrEtUHWCcV5^2lLFIN+a$mLqcW}Hjr77*x$eI>>Q2P_Z z!W@CTk3a3c9PO<=D^<;HdijPpSW#k3#0_(6pATb=ME4&5R%!0~fVF{NdMq$wS{Yu% zm4M|QEqe!)vq*7gSik%XqEs=mKe3vTg8bSsIbqaJ)5|T-z+R7mJ>bu8FQzaXPM}sB zq1cgLlb|ZF@F@H)C#fb!*&XWqjMT@Yg9mKlI{o$^InAnqs_Kor2gzuk& zZmcem&{(uw7aIUbBIcbKkJbU@>e5d;C3ZA)FCU9_)OA9KUQqEw;E;cZ4W0C1Ka_Fe zQJkCby}G`g58-78+xUuZq|qtav(k!|V6SWT6s}RC6K`{@R>T~QLagj$wQEjDZ zw)wh9Qga=K=N#q@ip}hQ!5$Z@&p9*Rtp3J5QsJUg5Lgm@qWtrPCsQ%t7)NW_uNXWZ z`NX58wnR5gcv5JeREL&$O>o@BwrdVf^G$kYo)!!5XQ=oj^FEi&higq zYpjV9{p3%pzYX?9_VR!DE2UKHcBPY^-lVaL6A58igs*=ONITSMkQtHPKVPHM7$n$< zKlpjR;el5KMgblGJgbSeS?nD*=4DY14^NvHEsm%!P1x(Ohd!TBW@zQ`em4Ftu2+1+ zhBa<4`+Jxbm<2OpjDON-U65>A;8k~TIQWEr%jimAEZ$LR*#1!(Ue|=3U4d_$6MGax z=IE3DsKC5a3aQik>|C4WqU1%-7Jfh%siF>JI#&C>k1*H>0wMfx(t{3HTo3wq>hFW$ zRTkzHpRGg~&boSfq&2ZCukWLr@_1wZ-xr{bZ-AT`OXMQyNS z%IBLdox93m66jY0*SfCkY=l#u@cmwjA1X!X9nivg5KiXjXF8E)EkAI z@GVkTJR#rsOmfE?CH|fr!WzP91X4QqPhP}*pdd}P;*7WP<&3ha5FX;6Xvzl`Gh!`! zRrHG2r;9lcI3QXh^yqCpEhT$!ow>EubRq%BR({_640vH#&(L_)m=D2>U{VaU$+|AK zGH4Y~S^O+!g+RSM3*=s=n*>t}pc49!>k+EmP_>iWpA|7_+pjdho_mLrP{r5Ju=sn} zd;(~5C71m}Rlqlv!b0VtwFf^)uGb;IJF@uwwMP$1Eq(#GE2%R%Y!DfUBe3> zIZL+ZQdP07i0W!<^K+>5%72PRqMqQDc}y-4hb7@(Q&{M`hV?2wf6e&*YvW<)lTQ$9 zN^#!3KK#u5MZU)1=4#t^Yg*$Q#<)pL_%vF@!B|lUe#E)I}VKe ztkN{{YgzvNLipx1V}eJzO`^H&7D=tw%>zJU2(*$OfuligrZ*>Z<4qujBzoVjl1h+mfDp&(M}E9XWg$AbK#Su%PD?|kEjO~^YnY^nkRVvk6rL@~<&feC**Hz1u zo(h!@^5f2O8V@|Nv+ZR4g==Z?$xlHwBww!cqlvXM3kM$-yIiy!T)!%+`g#mv|}{Q)#wa{lP?J=J#Qqdix- zdCH9L4mzU~O(ip>2*(1dPp<(6qnVak8r{;l6pTqAmMiesxSZ8mRI?e>ZpjRYx{axz7sP`NDG=L+EY5pLHdF&KWM6$#cueO=S(Z^__2|1GJ6->Jj=!k zi|3)>5ttVy2gf`oqv7gvWh*bM7$TVzoQja2=9y9cY_$Wg0WJ9$**Up@Uw7Y9WC_)I zrEt?4@-%EQ0uUkaYN;zTn^RUOpTbrj4(z~t5$xVnJRj61o!6@YocRUHfIPoNx)gX= zNsXjOHXlhJ7bVzvnEKaA%7dsLM@Vl9w^zcAcCz+Gw5~faMHO}eo-B5?)z8SWqarm_ zWhhRu-1&`>$Qk95guN|Q&S}!g?Xo0-v?YIGYJs^Uph;IG<{eV@gQtV|#N>pk1;Kk9 zKetLT!fpM^8m3&Id%jNmN!cgr!$h0#bd60S2Xbs0fAf*_R#w#;iWHL(AKuMVU`MH@ z;aj!2Ro+&!ZkoPs$-Rcy6AH(LswWkFkvEH+lzztDmntxp1 zFc>Xs$E}#ia*Dud7d3KuE5)4Z^)1BL%3xO@!WErnw146q7d@_8O3KrDiZQ}$DXy9` zZyZ(X;$Vb<4$ev5`P4_Ny&Hu3@Nx7Z$2+yG`gblbqx7s?B&Ho*+Qq&PdF8x9HN#iN zvtMLGTKZJXY9g@YE2ZbJruffS`q{zL{e_glD!T%(ETa`NqFVvTHkNU{R~#ezJ*x^Y$tr3Zs0}T6{|wGlQ|0@%nM#4dG&%p8 z!sq3*LLZNFP_xp9pwl4v4zPJ5EfNc)6WePr=p)5howM5cyyhh#d@8<5%VR;^{~_%= zf1$kRJvX+HN7_RN9SpCOr7>(PiaQ&>z9y%ulvWU)tK2`6?bR-W6yUz!qO-^R&@1t} z??gKv1k9HW?}A^mk0>g$iW`g*#7@t0#*$qh6{&O@40&!$Qac1cNKCfW8#vK?-Kq65 zR?(dHIp*Z@)ibst^m7M4-Gxs3Kflgb>k&VD!j}*^{_ca4=_e)oPU`&Dw%57VUhvqg z4-*_~GUgS$26gEI<|Z{?A}J1fT=&t-jZLN2xSZ$-#$I7vU%afd4oN7$^hQw$%=XxK+4(;6rY z&NY#{8NpNRuitSno|dFp1_vG^&?%r+#_gia(^4@O$h_j^Tt%rp-<# zqf#&{guaAGi0(yFNK-$bxTTS*a-wbtccy{j=(lNG0hLqymnpi~{N>;XF>$D?cv)rd zvgDF5DKrcE5g(_+P&?6qWTi5}6=*%H-|NI`L~iCzz}DVRA=R$or`pVgv&l)&zG}Lj zA!D636#n@}u1i4w+2&`OWN@;s>h(3uWea-5)8bqyH$xl5sRUckDIn{gT0bLhb z&2O|;?l!*KDkLT%Kag*(ZaRL`0pGU-(SGy4{}bl^OdJ?pL){(NX8;Y^D=|4Y(b2ne zgjsC`uCZq2go}ZF-Kjr{_!DD%&*|GP^8_s?PUqiTJK*sFiJN*Mie->T3ZrU z=w`6dh!>+C3Dhvb^X!mtMDerO!x5zWSd7^_a7?u9(QmuP!1Dq-`FBYu`><#wCJ1#R$h`l@CUeX0-!$LVFF9c2|v(ofC9lwQl7Vta+j0 z9oR<%si5=8L`HAZnxclTc%QLg3O3a&Pzt_wt(A?jCzgqRNGON5^vJn0aLZXdZ^Y$i z%}mpv-OP9e$_x^ZYU9v-_E^?WXH8$KR~VZ-3qYJQG9W1S*Y!A_*G^oAIw(OH5HDcVhKQ;J;Y9_?_nhPS0c?{FJD^OdrX8PLMSd>Y~0jG1Zx>Ki&$buL*IG4x8# zP8RP;m@+gmf;L@wa3w%GmRZb8tA_baj>vuu-*|n>NBA?VfV~M*y1;-4lBkrq54C-q z-9U|OxlPW*8j*}?Z0VTct=c$HK-Mcv%#?CKX0ZI)kX1wVz{c|`G1wh}w;vtunhnPf zIj#CzV-hRW@7lw^_oK6vo;732kwiqD#ZdK*s<@}le#1GIGqvS#wmWn3q0Mdef#MD2 zz0}iwsS(3i)oY?eBUBjJJT7w(+1xTvXbOyZaV$L~I}j^=dQGa`X}Z*+ul$Xe;A|v) zhq7nZ*Jx$vGHW!5&VQ^GgofSh@`WdpEH_8n&_5sGDj;APu0LpY>$>4G_8{NdzrvJk zY%K{TD}L1VL)WR&!;VdlT$&=g(Uj-^Rn}RCMcM6pc#twkrD5n$U_j{>MRHzJq&po) zQX2H3l>vs5aOm!i5g6c=2Bn7@KwxNiNdalk?6dd2&WH19eS1EwbzN)ye)s==-gTp1 zO`%ISPb24*lG%FkyI)c%41u6eh8giX?|L5+CyhtMMS6EoLEYZFh+8SY-M?y19zpf_ z*@s=P#9Z9n;%l3d9HCj9f%$F~o5AMpYhogj*AgP#iQPd2Oe`OxzO*a%OSv@~I{r`P ze&;?qk;y>nXE7%k$X=#z#q=Tojx#Fv_jf5)37Q_DOZ6%DiQ=nR2Hf9a=@n2QC_wiH zWtkmSC7Fu!m*|V-))*B`90dJ7k0RNS87T8*7r;t4J6J0)xr! za>;S7p6@9^W^GvDqmL|G~N#t}XVG9YS=C9t4_lxV1>VjrNE%|$mIACA)42&Jf_dyBHq)KEkOA zdmD9G$nn#i46nN+#L?BxgcVlMSl@dr(I!89Gjtw8C>duJh!a8*hUG?YS)V1sM`*0J zYR*FYRMEA#SP8sTqA!mCQ9p=!Y_I(a>MCwQa#^CKty&~^qFP8QB?T#E4(z;!S0JT zf&rr@sG2!>Q&XeqiwNTsCnq+CY%Nf6;RycvWoOL}wEP=e9uK!U>nm=X=F6d(rl%j7 z@C9v$HWFQ zUvM8Yth7g~s)t*Rf@?mX2^SBEGg;;`>kwcD6BRk3GnWr6wWF!H*J5*r7;?qwU{5T- zHW|yRi*=YXx>!*scuWDin6hsyeY|zDD<0k)4~Z3sje@|0n}C_Zs8!dR*0g6oqx;)( zsb@V`SQX>tUc;g)2IG#%Ca(a3()R>NTAqO5}A;*UGD2%B$=`|-^FHg zU{ZU0oO3roJ-QL1qCVy#Y#X^^+=_iZ@0rw(|v^Az>Uou&I7gSUE`0KIWecgdwLNdar(!nk&r#|a=)6KYuYxkL` zmj@;{iWhgc%nfiB*-;QL$ePsROp&O(?QF*|Fg$-eEZYNe+`17sG%8(=+ieX5KjDf6 zFF1&{xD;&IkgshaH3!IADFyVjjWrsuw09xhQ2z0EXr97%S$ZWAS z-wM}}>48+1e}AR*oo5hqc*9rcD10&mE2dFss+&t*_-`%ee-VsiJa7)son&7eX8!@H zHonW^ICSvIVw$j(<8KyChO_J=dcLsUm3=uH7qBfk2dfTJEXBMcXIKyssB`*J{!9tf&+Jv>tM@fpg)X zFVq}<_O~osNCxsmB$pbYpi&sivac1{!zYNA&ResfCwWjyE-OPANMMj_TfE};WqIFy zA~_pJXUZQ?CpSQ1{@Q1RMfXj~p?FNb1|}o!IrM`U zQJi#C)v;UsPbj`p)Ht@#@M}Z3S_PtyG+)ruV;|SxDk^zND1f)+6p{Jh!h*-DqG>j! z%y+;>5tD**j{7_RMV>VSh{3#BC#nYHozC4)Yedv`^txDal#g?2w%G{QQ3WJsFp zOc?kY^rKBpJV6=!-(2utE1Pxjq^NKsHH}V|%gMrz^lWBFRT)F}Fl4rt1FHSYQ$$1g z_sj=oHSNAqhuXrASTw)BpFT$_Ukk!rBMmy%1C6{?rn^$Cs!A?9OXQ#Mman|1sB9UZ zEY$x;V-x;TIdWg`F!rV$=iQtA`n3FQ!hF#HpUvO>zZ{Vv$yc{x;1E&hNKlb5Y8HoX6U@`k*nrJI^;wI_c(CR_fij&x)~GNNqD z7p){SD#>KK0DGMjRWMIB)c^cIM@P5N#R}FWhsawrHMbOGE6L(>FP}|l)n8rB?pCre&R)s3haaodj4o^+Vw!mdD z89~RS8(dTng}*S;cSh%aXT!;-d8G>f6IQRLX!x4)wfst4AqK{o>PG(DA{imDzQjzd5bKO7T^G z$fJ#(rYA5dIrdVDIvu2I)ozR?h@3A(@o;MgTI~1k71|mgi-LGuXE(NSt%73JdHb{EVhg~J)v@4;Vv*60!t{--PMEj58r zBG>)@av*2;^wCxT>Gjp!SO|uao1CPS(>cSgVn*k;nRjJZFuRHVjHt2(IRcdO+Wu>( zhLiH4Mj=>Njl>4ALjCdT30#g~8$N2p=-k~xvmnlu!{VjbHOOlvb5{s>&v#`ct1N{v z6D8%%BW!zE+tj$J~xwl@&|)eJ*V6GL!UBi8P#kzb=agZqk=Rdd_huct-kw~!i+SQFZj?X*?a}^ z*f45>u~aUy(6P`gJ^eCm7g#1|U6mO)W-rDyGiGt{ZH(v(n%bCE3pB0Mm+`g1op>AfuYX z80T?J`k7*i5h3|-+Th?rUi|zJtNdVXAN#opoq>`*_7^Ux8$GQgJV6#`oBJj~TcYH{ zgzsBB4Ui4g;ddWf01C9&ewY(A@i>Av#Mcn!xV3w`?)2)RKE0ylo7$(OcF zK3k|4cp^xujc-=~I4USMuJ2l3gU0<{g`UZ45XOn?J|zZF#}nlD23T)6n2#%PCn8*% z6QK|aeXF5e08344<&m)RdG0C=#}8oh10(+d))E#Ln3SuFk;Gl_52 zJ!=%(xID^%@8zj3keeh0;y9tXa6{jP=> z2P9!tu2PH%GY*2}oHkTN!SY&2KO_846Snv|uIK6&vB%s5>>OBsXO_~M{3*70K8>=U+)2r9XyAbs=8JWRog52xbd)7w4`;!zHN|z`JZ-DTlBXAM(E@4)v+XN`EAnZ+fA{whCcc8@ z%C*gPIy_SXA}YJ6$|(j{Kd4n1^WjG*wiaikrKhAuXRS@Tr)ezAIb%QP49jfaW-5!u z?^^jcu)>9)up(?l(7IS+E*q65&zZUa69L~L=)}_}yxVjjz$K$a=%g!O_>h}ouA7K5 zwNT`$G3`|9v+2DPU1AZmf_vov!g&Vq+>tqWDG>Ft3x875SrnMzef7w3QqoelllHayYvayS{3NHi7?CSo z3F+^RBH2E(f4nQDFRfKuCoqcwyR>OnL#<64?PB6a!j(6D_HHg6K+^rbR;FPxaRg{p z6yl1J$7>7eAv+1V0Yv&A>Qj^7E%cmW=+OzU+KTzJYIAIFI>1-1YZp4^8o$fy{Mu7y zfQOejp3;{f)<|8Ly>6NX>aT=KVOiWR`MV5PRuUab%|AvsORb)C*4r{MckZ;XJHfp-7O0;FU=vt0pEQV)NaBVTc(*N)KF z;6!;tgvkJf7~L(IrKwChqR&B+x#tf$QQ8@r3QmuL(!w3%Pna#(+~rTJ?7N>*H=Nd@ zEqQd~e~8%sB5M7>Ju>t=8>}dMTy=y1g$@o=Dh&%k9Uf7r+%Al!Q7TA$6Y#&y2#|9N zwOS@Fn96yd&Rc1Iq9lh(w=0W2cncn!nrk1&q#Cg1ny75Z17xL|I8 zy#ln02MV@OO1ZB^)Ke8FkChC1m@j8Y)}q*K0wy7UDTSQ7@koI;k5e4Ksu&PNC>mc2>kdfUov$ta1-bXHbYUnG}T zI&X^lw$CZS6PYYhS#b6opoqPDy`OKIr=!^oe6{I8UY{Skh9x162`3~J$@<;;&TEF> zC?c#d0~npMeruw8=3J|kXHmha_@FW-{w&h}c!yF&d+ftV!`x2>%U`a;Yihh9$dkGH RLnIk-QVsWQVvawv{{z_#X;=UN delta 26389 zcmeFZby!th*Dk&h1d$R2=}@|*yQQV2B_yT0g+&NT#}*Kf?v~he3DVsS(%oH~v%x2P z-tRl_`OfcLC;s?dmlNk+bImp99CNNQ?s1Q?cT3v6i?n;+PA~!ci-PEk+|2<^l=wV; zT3&myE_2GZXr*!Fnrx7LTY&@i50?sEm9c02=_CG8W_pK(R%+J<_aq;DEM6qP0Y$H{-a=_1c;?E|=A&$iCjhCMuLw9cC6L*FVipH{emU@F8qX;7 z)m~TI44J@)pNBOtKjBcvA&d6-pjoC~s>mQfrdSmLN6*!uk!svcwXR?$vu4qqNK~Rb z`lP%hW27@h#bbOtmekM(`6L;w&J#^;2gO{QL(SVLL9FM81$^66WM2E}Jvt=$s>*Ns z*fY_wId9BH^Yn(I;;gyaUT~?*LHql<&PGF40~ciln$=1GQQPzmRtftTAr&vv$eeh7 zzE}8 zNjjS#O}Qxv(C%p)(5(6dA@I#>ZLl6juXRL=RF9mMte6#dTC|#DN|>=1BK8%-Qh@ur zbYz6i;>4Lg<%*EuEpAlciF^llq$-fKQ1C>hMoWwLIMN9rm4(F`zHp||>WWpNYf&Cu z*k(^APbr0T)>Y$XZd%pdqkKjO&;zt3D045@R{Sf0E=fqqvO3q93sZJ1N^d zPA7^@QFrdUHF<-rp$+osh5JZOVT$)pDH1f^b6YRuX&ZTKJvoo;duCwUdtbqtB2+*= zgH|g(V~F6y4r6Us(fO(OtFSZgq5T$%zK7FVUGS{A?S3d^*m@6Ig^4igRENqE1f@Q9 zek%*S&o5onJ-c*FwJAjS^DICQ-Efe-GVKPG7-n(+4bhquZ^+pE7R$ETzB+XpZqs$F z+@3!*heM7NqcE|qHtD00P@y!HJ%tCfN(U!>3H_;(P4A%XqG2ArmnIbzP50#>)W(gO zFk<+T#~Qp@Aa(M+Sk8-B!5P8Mq*w9Ruab6>mW41<1F1oGCAluPAfJ&+2u0!v7gDAW zW##VKD+tN?qWKNzeZ>t3TdD@{b-_ccLEb>Rk2jzXU5c=2ax|QF0sF7PZnzk95iw&l zL@n6OH=rh?>>E%Yf$rsU!&$E2Jj*b!8d7w9Fn6Uw*e*~dxkC*W#wDfBUJ*X-l&}@E zxdH9Pnh74ZjzQ0@p|oND994n^Y=}z-XlNp4apdV8_7>;SXMlu+TH$u&3(SUi$S5ef zePAm~&c8O73DO*-8d{B72-L2bVE&4TL=wuZi5<2O!gHy*cirQkL~koAFv38FO<>1~ z>LpJ`mgNTeKFpM|&sdY8u~vLOU>Xx-YwH&DDNP0G)NH0>-MdY`iHPI!hYmilH|>m5 z%|~M3mnh?hgZCBDuKTQYmeZlvrNC04?}zHQW_<=WE%W9eRshk$WFGnTTBxNMdXWP1xXuWE})c$!olJh@~Phin=1+IEH-1*mF~{ zA?W@VJwJZTqF2AT8!kw@F^Dn_KpxBoYoR@3D7WCPoqIuuVOawZj&aoEjHV7Q?Omyr z`-(XkJ;t^!qkm;*K+@zEkt8<^M{?p+Y;VD2Szxh?o|D;(+PWc<`ShWk8&RjTVJJ7Y z@#saH%sZ<3YGeOF!EYK198OW;aP;1 zTTg%41X}@vOCUsv6L8hW5?_DExCv+OfN zR8;xeJ+S&{1Zyq^?&f2hwwCECbv-v4c6+TK{@;88{$1n$fi~dZ%gi%U-W#P$Lx_1Rq$fvdn?_Pl^SVk_(;LWwe&&;dQ z65-eea!uJ@n1GTxt1-~#WOH2HdQV&z5~ae6BgtvAz}_6b{odbC5x*IYTv@sjXbR6) z(r3Ocn~`xT3`kl4*(S1!b$rDY&zc2+`=}S=^Qi5w_o`GY8d4bA3>nrbN zn0EGsiM+r;rT2^zDg-;GW8Y!Br&>+>ONshDD&pJcyb9*j-NU#Bsill1y2L}p35w2; zpk6dG287moV>uCGSg#ZH6vePWzZJNm`J{7POW-GP0aqki#JAUX70l7FCwL7SOBsjx7I$l%A%9gv_!H`ctAc4H?ol^4$~Q|$Ep)mbSGNufC<7uycw zm`*AWjW<$J44VS>7J!d1?Z6(SlmJMLZsFXD(fUXmoi2yr*|1T#JfDQQrC4vHyHzh; zZlP9d1^(kHO-=JKK4jJypABqozcIocyzl3A{O{nAr1yGKH=v9I+gXXD)b;KAuSycu zpjsRYb4up40nHjaQO zXwVP$VK?%2oAj|g+H}&^Ty7^ifBl#$SNwbH^eRuYy~}=1OEvK?S;=6*`D&=fWG~CcB8~7Z--?8YA%Ko^=^j(ivMwNdG=D2^ZP={9?&Z4e|K8*Iu?-+&JLjx(~QN zav)j-3d5zvz_V;FO38s(Y91<%QVrzqz8y-gKsm|FvR!%H%xi#D&yzUU%Nw-jK*!7Q zq7ta0aZ|;aHwnT_j7!8uGgF=E;Q~pH5*boJ z;RH&&IYD@8m!fy4w(FE)ppSH9u)uf**(tD|FyYpk8=od?$k+Q{vo9n%Bv-}@6RP!6VIe^(TdA?gt?{6w=-B?3FnTRet2Wb@Q@8iZupW% zLykRd|FuX#D(~Z~Qb_G3dVE$3mZJX7x<2mVgTCmGPy`f%>m)Z(PPSbL0q*P(^!i}y z3rS5!yByC?J(GIc5!-5k3U~gM&$~G-ZjPW<^Os^ICQZ?cgu$3)JDYJ^oSdhEn(st& zmq<2Lvv;g_JRw$y00rQDF&GUrhb|o{a|&J^UcdWeU+KM9!g)c{@awXNOVHDG#rB>R z&W`ER%)5>m5eXBVNmQo|(tPKFbr&kmF`eSB9I4bD#(E&^`-N%d?{O!lg>7*BUvw6Q z6;hX=l-z)RyIr^J+1Kw?d_QZt-CKWFwc3sWctmEhJ=cAsL8LX5cjHOi-JU|6Vand6 zC1!7RihP=?@wwz$LNm4y+eke&T(X(guT{QZ(GbTdNkD$r^Rw##;C__b!;&9BfQ^1m zo8hlTWWzgjdb?l@a0^F3_|FRC}FUh%H3cYeLeWZXoEKFuIiBr$S=!B1;yfI=L)_{8ah`z3Ah%FBFyKGa0^Vk ztCQSa?ri=q-2!B1-l>a$U+=Aw!atP=40!$C4D)+qf88klOY?vP{;dxBA9n}-7yJJ& zc8|qlnkLzW!Na>%4rzb!{@gfSyE?6aPzL^v`2@g@C_3|%>@NUcYAWOjh=?u6uo&Rs z!cRLM7Z8-%(64gnvpOzUL{juNot--yd^N!<6qmemrXT2`2=h-=FI}#o_XBhFqPz4W zEeqk|;G3HdU8gnc;8YE!3py*fhGY}Z<78i`rK~xPow%_>>a&~}cOPMrH`+``3O@5b zQv(F3&U~cqVPF`#cR|?)O-&RnImmJgs%H;ZP%O?pzSYLv_le3_jtC?LyW?jYk3L( z0%yz(CSVN4!)H3K3)bhjRt-N%E%{sX?;>iq&NMO9%D4-Cob*v!hoEu*Mj zjim~4F}l$FNAg@0WHTMD(JvMLpH)c?G1R?1QK!f&%Lg9&$-6j7H^X>VcU7Y)#P^ zQoZ6<77rJYC)Ne^y;=?qr_;ysX!)2uRC5tza7h~yl=Y1xl1Qn=JAqO(Bza(JbRGtBRrK z6T3wDY4+sfeX{@`stpo$#ez%~Js*4abW@9wB!K~X8!pmu_SL>|_pG_nR{DZ}&7wndTtA5%LABSnQ*wd>aWzA`A*QRG+%B zUk58piR@peuF2uPDh?M?*+3?BT-PSfA?h9#pB;O)@|HmI0kI}YZSx#nTNPG5E6`>8Q$>PT*INhta@aFVj zan1RT3WxB>6+sPeJ_s{scEf)2QJcLZQk3z_Ttde2)-98f0Ln5Lda4#{Nzv~xab+(v z{CX8QjR7=sT~Sx6k5>;{0Yf$e78Duh9x zORlhGVFYs`NB zWLAcaidZ7BRmyXCNz-+o^l!f)E=7eVPM_I-PWTFVMtEzWGpm|f)fy-_){IvS?tj!#o_=o+oC@n;n(Nx|QdhTT-^ z1o{*P*vws0%VoN%3Q=Rk3?JaQKi*;;!)xVtr-#im2>38n%f zl@WqD%51;UVUh(uLU%U`kx7}DDa>%selsqSmA_7CZV{RM4f%+t?GC$)O5KkGe4UR^UQPgvlmQmK5Qp+g_(H}fs+ z8QHKEJlVPs{_L+O@wGuOJsk-n$(i{|s?*=0urfD-94Sj3b}>zP@>fvkS|SxpYkZ=N z==sHk+E20I3RVP9rw-HZM%Gv_FpV^m&7wF$bE$ia&gmXj1ku2G0U4S?>TdU*5aPQh zNqDr1bdZdEbvufK>+Pb}%M|X%I~mVJ%FAVD<(@ROov8$VtTNY24WvN@3z!jt$?>Rw zdzCjJeEl({en+i5=cHGqaiVs)@h8!5$RgGr6gGW(FH@ksKBr$iL>g)-2Nfl}rzAqH z7;W69M-87aaBR-%Tz{98wG{BAMwG%%d&fZ-1Yfiz9w$aRN zD_|t7Ky!N29s6BsV9CAP2+QxKP#BtFmhi^+T6!=V<{f-i6caYW6CC9n9x@#S@~v|+ zNB!Ua9o_mB=~C7L@&%>+Gs|y4>YktZy{$A;1L;^r>c;i}Pj;PrZ2)OeWn=UQe^VfJ z=D+eyf4n#y(1LpZ?2&cBk&6Bi{7NusE>9uYGG8;uJoAg#*9fc(PTOEYN8%B;K*L1$ zMsA$F&oYw?&ncIF$(=bcts7*=!yXNg)qY48@*g{$QlnyzV7P3vtiTG3QZD zG05(?hipVS@)L`Ly=Q5%aR(k8tMWA!zG`I=OAx840PieLxj!dSWckSzT!7j*l@$5Y~y%f=a+>Zr4(;ub^C9B9Z z0Ms6M9B}W(jc3Y2Gv!a^50c?K<#(WEcl3FZ7>M;BpA<))3#aSs-+<^z8ZIeoyWSlY zDU85gdiNWU&H=DSS=*E;kq~+o9xstWAd$g2;-JtH;4ZYi#o+X>oK4{kO7r~FcXX`>fi(LWkZ4MZa{>@Co3-!*zNuI-5CB; zmGb5C&pCXd99S10SeFq4{U;TJKikaCjIhr9hcRL7&@HujxBl82&_BHg6{0Zt`&XPB zcT$0%bxV>F!e}D)U!>=)*N_xl|Jl`iT`o1>yI%7`ak(giClCZK;(0EpQu$n-!sXfw z@~8S)IR7h>G_;mY-xtY#ND#Ub59=aDbQGX5!j8xoJS&JFGQr$ zbDZ!+)X^CMuJ=h#IOA@n+lZGi9%10&l#C_W4=BYbgkQ8hNwPSEemha(dc3hK+&;AK zdedZnt3>AKrAP1XW2xsteZ#GUem5YDCNG}2+qj4!__-PZ@G!3E%6k{soRz;u82h4@ z_0QnxuTbf2Eae0259s%@!}l){(fWS`Zwf5jxq$hXbbWlXw;`9YE0_@!!oCf;{2skg zdOhAoaK*l12!qm8Utnex^m{QsGl7x*x@RO%FZ2G*KE8hjZ~h=dQxstDRUV0ETndbk zQ5Arg+ZTXQgoDA;GE`6Xf9<%+HW0R#hmB!3`dti53HJ}gjsQdKRDj-Dk;2f{QJFuq z`BJ#h5c9k7Bj%{W;u^4QMAsC}c>0RkcJdgB zk+QA^q;wn8Foei);THywgQ-e*au7Q2n0@-R#>_fL>H55C&mtm)*d(?G^Ar)Yj%(Ig zuH==>0!ocGhH{*x5TF(0f{*&B-A@kcf+ui1<)SPd^K!4nKYMV1Y&R zVxRpB=(+zNOr|JX4}lkGJ<-f8&mQ{CgIddXTwo9yBr&NwV1`e-^$F}E#Dh$&QI!veMkc~&g&CkwTg-_02Ne9Y2=csOZNLF%6;0^R07T$nF z@$J^ibJDB%eJI;w(Shp9U|n^=TS7?Hl66z~Hgi#jrMjD2!L8Q(~)Z90Wy(yj1C))r2QV?DK#1N9=>u(rJG`O`R`CT)3^c^+PejoupPe|%CL;p^K9 znyZ1Pz^JY#I!1@?YT3We38RJLo0RschpkcQ1Z z-BZ7PNIyC{yd7VaY8U-t_5 za|+#0R!-7ZPBK!x{!NAbJ!=E>F~J+lzP{VA@)6VR9LAD=#6VzIaVpL{8`nhX>&^l-(i@Oc zS;n`;$_AMAH#kna6Y&Kt3hUA#U+ZO^Eaz>nbnvx-hb%`KD;QIp?WNL`YvS9>I+`f< zii_r>lr0oH;C6xock=MSj!jWo?LN1!s1rWC0hOv2Hu&!69-HeEFM0we?`|iOrT9t| z94=1u@@{rmpgGti1%MONVTJp1|9lWuqDl0eeadmJuHYqm3e`pV1%8^^W5c^S{p#ES zn-LR0QGO_3VY#g;=n8GyRMflyk<6>o5-%6{-$^HT`aDtZvW|9J1*YKD1wKpIM7IF2 zF-2GO7LDDFlf*QTNHW@TMHkn{lxqAJlr#P18Ce2@Rt!KM!rZ6nW2qx*KjP@YGfkti z?-3Np4Ieors;?&AfD%lDTpQ*E+>-!Gd9q6egF~l;n%Y69)lA!7>V34@p$+^eVyKby zYTuWr(?4j3bR1#%TfM&lZH-YBnFeKPN;yr6KBzP|5Jfs;9V zGB~a|EzO7mPjC7;=v`m0yGe3>UcBpWt+~mHDAjnrWt@>+mcgqwE7tz-DuD?g^GC4x zC5^*cS(mo)rebxmBuRH1RYZ`SB$=&lJT8@`&XDI6V3fH&R?{V(y0F=Mc?nNKqkEm^ zC4c#m-#k0wha%qx*8567Xd~tLK^x|uhs!RbhZuIO3Mi{I3jJDB%rO|-U;DiR9_fO~ z>XFk~^Zq(d#e7T%;fk6w5ti&3@zYNsW$)@oE4;U)Fr`T&=36sRGFwJbx?(PbX zUz?=^n>ZV^$FBlE!5G!QPYea>_39-_0sHAs6Dv+8`Rp81Fu+9u(6#A*XJ^8g-spQ` zS}aeMg!1jYB$>`~6nYlfb~FFXqIuURU|6Rs!mB_qquOaq^3-n+nB1S$)-brcB_|sd3r{o43=m0)wEEPry{OLYq4Z+X|jNi{X zSAbvp1K@xi1o(i(-{HI(?>|}p+|jnuk5DX;KXt`jz!%2V|4sR4Fa+B+H0xxFVJRxP zdjE^PLTvB{mfk{cK;AI_0kICf_V7QzcI-Rcj(vyJb8_#Zy{Z*F;3Sn`K)3|Rvrfrn zcl!(b!cdu^-)}_3Eg|ug;STcX{0(`rRadX|E>v=VS;WwJhEMPQ6Vd@m0$S{uTBP!q zNyL5x%Y~7CXxLx_)HZZ0uY=)bCjOtMIfH=zkD%d~dWka2h2hD35^1tZ8GU@})O@eo z^YUAP8-O+IX6KEF3myj@W4mRFy@YK*q)+T00kjL?4_WzX;Sc_Y!)vAVJb)ONm7#+a~7m> zUo8lN@+?!Cw`z7(D8nKA!6PXSj`+I_ zb~d;o6?U1U!K0uVak1&>Z+u&9>nLom?RoX3(T)!aCe_>c6ks-h?G#ppWc zKefY>$wy}!W=RqV#x9!=)AVmZ4xXVR579uB5ciDmH?=-O5G zJ@BZK4Y0$9-^mtW*L>}Io4p}+chl;7{9K0syR>W9?b~a`KsAg&x=ZBrdvrGj%w7LN z@@U3R(D%-PamTq#JAlRWSiBbq3X%4HX9e+yQ-i}4#gUTJ;QL{jNrrBLEc{})#6H0o z!a|4=*=YdTu%h=Gb>k5h=s&dm)dWjmiiZEeQ5&{+OB%WnA4B)9V6G2K@|pjb_tjli z(|E%SNz|WQqP6ZWMsG@$<3U?D&&BZ6?d-Cx6yFyggw{vFT%j$M={rHizyt**P(&@A zS2%(r6)xd9w>(7uSf_Z`suO|JW&PQKKR0v)Cam0rSKzlwIDn!5GHmR%U;Wi!&rLJC z6Ew)`cF2&fYnYrNx8mX`g2`D3@qg;>rwp;4)?b`zI}_*&HM2IS)Da3`pcpzDEi#k+?^`u@7!fhX;SOA_mT8R&W2 zAt#d74}qG5e~EzS?g??7A3cYRiV9v!+rNbdejc?=_dd-sUQ-KQOi2 zvZC^Vx23l&O(*@?-e}0^Zn*!(qMm9W;q37JeYP*_^-F}n;%B(z2F&-AuSvG`_=6t< z`|J%_W*l*l4{D>V$ORd_Z4bq5B>4!5lgIFGK*)$N$6@=U<@hJ{}%$&`u{F4E%aN0-d(buO1t22fpT6rkfW(I zZaWgoMKKMye=*tcX)x&7ps0qC8~hgr zy3ObVzbB;v+pr_U0)PnMCsKs}|5n_FME|dD1)v}aPyX{EUEG<^fy7TV(=_8ZQ`k<* zK99l)VevhRY|o|*l(kR_$*GVnBSTIom*^yl&G~Tg+)^L>Bmb#r*nUgYoXl`do zU8jd9@I=>i5_fY=cXQBRM2MyM2U%Tn)wfQvVxBO3#l(@8E#rKW9@gE~_3f)3+?c>H zn^9mE&3Ecku4=j*m`6>idk&SqJOWz7&P0r0sb@>DFEdD7A(&b8l7PQy(;LbAWPp+? zs7Q|5Z$KeR16SPFkW_WEZ`xb_C$qdCG@hSFX^VnvY!ly=V&sl&pW`~HDc^t|ylObS zN;+MGbs^dN087IWgh|pf>}~s0&i>C%(kJ%;H z+_AI4VVdNWIRZVL`9OhU;8s_mwkd68+~h2Qzrm?=`ye%Zz5NrD4eDwXmJzU!79J2* zD!WOtDb}wMF>E|tKWb$Yf|ak*Zvrn#5jIba5N~nlq@y<*Yjl5t9cj$fZX1c`I3sr`BA~z z&OmkVMAjB`9ARUP)I^3AQo^>r(HQW&Ccb#Y@aWto#$f!3X`R8f>3$2FWztL{^Kk#< zH}WpF*RHps7>KiLyhlS-U_mW>?!Q+zpkl$; zo8p?IC0?T|U-|Ul=~}nG6bpYbDT#vF=|tvn*m3IGZz}*ZX%YZcViI@b;N1>6{1m4B zZwdW^Zwa4+CEDAR75-Ry`j(8^pDQi<tI{crg_MdFFp7~O zdpAWfa%IVh>+wY**$2cwu)vI3^hE2NCTgXTEBD6(Z27A&#vGK&EL^svAMqK-n3NdE=-n*ApaTZmdU+=0 zXWE+DB0B6h+uFTS4_R!|yc6%64g8Z`$5PbLAs>km-P_(tmYl&d=|ZYW#PWpYw#0eX zWSUjPI7O?;u$@?zI6f2~isXs#ZRclIecn(G#6jJ0r{h0iYl@9Gf@Zi|F@Bo&I;0rP zCs;Q}PR(h(8Ve_Yr8+Yj*{>AO;=;Zz<+3Q?Q;l~eWt+8`NOAcx(I_#&9IIHg3?ue) zBx~@2?Wh+Ik^I)9#yJ1vypl#pQ~T>A>MbLB(CSVpMr(m6oAV;!dkvto(EwdK#pXF8hFB`U2@)UNecaUv(F)4T{3JPHU7ed11|zS)32$xP zGhBw$lhk7w(K0`iAEwDB8k)6~s3r4D5Pyc79ni5!q#7<{OUuW=ezzy5&>g4jYG{xx zu0M5(c`@prvcLeSUMx1HiAVF==83UNmL%I$ig6#G+qLM`bD-17sma4ZOJJEdW1$eTtTSWvv)kr*l%#2$W-MxeEo=p z5rwAJ$EDMzG0zvM=eqQdl8asDTIgwpVaEb0i(jU3MLmeT$25mtEJx1!g4#o zZOTex(PuuVN+VE0voTJbA3^RX0pTwjYK3Y2-gviSa1(yD*Jjw>DJ9N$J6|I!rg{&AoN`%=fnI1ETtCVhsYoteSysE zDYLl3u%Zw$m1bm+mK<<{hNcYSGba34xFZ3lN!7~d4P zXnujO-B}zkDDJOIy^KQB`uYOX_pBdr=1Mxm=COnj?!O9e$tWB=eu-IT z6&#$*(<0MIAtkKqTc)Sc(WfWM6EiPMruqoP=q(3E{2vG^nD;tPEbmnWvL|i%Ki#y? z@F<9QjV&d*J&mehnIE??doj+4 zi~c|lS)p-pFByF@@NnF^R)fi`wEXsaJTzcPXrY7%&Mw=aw` zR%Yto(=g7-cA^Vvf=X|_5&-rG0S9L^I>L*JCbk2 z7zE@nto8(0uzqYR(z>%MQ|zv_uKK`oG3rC-7P3&cr;cqe61HcbCNNs?UcxlPTtQv` zgvy1yl{1{IQm%3sbJcqI_zY^xvc- zTW5%HUkHB6q5CAGe#N|x*g7UhEbCu{m1tCQ{UZX=nR+|I`+Us$S7w>XM)gW;YHL{b zOgiz~CK?2w)C0>fsk4kOY_tGk$=R}AG-;YN8ND*JwZdjoBI0Zqg;eNKw+3%7y-yrb zz}uEJC&BiKWguL!@p!V4P$h&@rDSA#)*Y{Qd{8_fv{eb$5tkHydE3$BiPpZ#hYF6d z3*%C&!smf2Ow^qZz9Sq~qT9A-(_5=G^Hc=CwRo@yz$^O6i_c~`L;1ahi0E-HI0Mjn z(v>LY#tWbHh~#rfhE>UvnxMua*tYPTWv9)&En8Nt{$cS_FE~_aHSEt1Fe4ytL13K z^q@fs2gK6nuEZ?YCqoMJjANYa*uuFW=AK_MhZd+7gbKA{@~-QclVC530a%%ANC;R(8~@C_`*+R=lo6f zX3Egph#bm3Z^OUWy<>xgzBIIn(uxnL%tGelf|{Lb~-MUz5)H{7l>j^SkOh= zc=~iuV!1W|HyUd@yg8HCR;ozC@~!zizkaJddqLC>n}8t0FXY{Q6KDbt6BYuxFvTlX3dxw%roECdIHIMa~B3JrMJ*MI6*QY{8LZ1etPT7 zQkZ?N{IDJIbW(NF?f9XXe5STbn&c>B2qdIC@)cJ7Xhj4U@m8{Pq3)|u*w2*!0V57| z;-}q}!7II_^EPz{&DbNRar47EDq!j1d{y>oodXInK@r@3LD{Yd%=Hj(IK~TBz8)n6WXG(U$+ezd2wuCjNb+NhVFe^^cch@A_Y52#CSM~{ zR~&@=tX3)o@z5UMFAlXqv{%+WvpeBUpi`|FDkxg@X|ZIq$TA}ETEaGnYUjS9y#Za( zW1#L%T&GZ80VdWHl)Zwxfzv|}0&UeE#;qk&Qad4IanbMJ=e^kAKBkync#jx1R1a=B z)Yy{5VCT~jv}^H|@`N>mhG!oPSsjHvP#>QYU4GNDVlDf=?|zF=(C`;Zr?KSN!99~u-tJKycI0KC9G;$=k+6Qi zHS?@hKKWRnsdS4^H+jQZ#@sx+)dZ*^3>=8Qu!0x#1DUvhgYEf&QL}pLfg`OSWewHu zvK$VvpW>0wMY0~`?4WVV?i+v1(?OBpJvR4YdG0dH@pcOr6^aEH>zrvesZ&P`$(W?r zO)x7zRrP;MVC2S9yf{U&Bx;^&HW}Rj+oz`;)|Nn)N31Hh=(z^DWuJYheXzaS%Kol@ zK^Jn-l57^LZ2mZav{_PUnn*p!9+YNjU{4Od4?{Rha!57QL~HOdQtPTcFRLUMwU(lK~mdEM5s zU3%cSeE0}v{3lJbnWAS33d>F_-+bvZv;=Ct9;!ZBK=L2zgA9k$I7 zX9x_Bpt5RO*5;gw$s$q%gr*w3%hEsv@sVG6^sc zlGg(fAtK6CVP}=5S!u%oD#L~8B}0r>`aV+2fgFZ`?DW0kKSA6}Be~S@pZaUzGrCfz zwuO z7#`DdUF1h>x-h4UAJh6I`S|%%=cN=LVQ$1=p{Wk(Amke?)ncp|=pDE|`mU;*8;-Fq zgeO2>R#_F+oQmRVbO3QTB_H=IC!LArT0<(}RfAN5E_-dc!x4z`Q@kt82O;>ST1$W@iqLQH3?9Y5~YS$$a94m5y-MM>4F;J3ym~ z>=VV|E9TUY$BV+ljD?mm>5r$xs`0$Za~P6hint5wca_SDD)8oBd zgr4kHUVIl!7<238#7`<*bTk%*QBTDw=!>H}xXF_7THRD#Y5 z+8@6h1-uzKF09JjJlu$TBa^MAEgr=F6?|@l=Ysm-s*Wdc-HaeF+oFK7x++`(fm%m` z|1&CBh_J@=V(gP+9m}E8(83Ud!}+VuM3-m{0z%XxklTnZo{O%+DEo|nJ9$sp8UqBr z7FC2?jYv*jbZD@8hE=(Al%A~a+gDj@N|8z>9)OVe0fHUv49E`3HL!auON=!5#3{x6 zg^QP76$19#NTD_RGv&fEnuRl`3yOT<9kK9FqA{H80^KhAuIFSZ!f4yd^(z{lb3xxv{T>biqOGF zFZHmyp=o?06S9_!F1K;n;ykJ}0W@)1qk^A>WJMn1Ka22j@~#Xs^BD8{@}3XCcsc9P zVfn!-J{`$sv)`)V6J&Phi zQ}x{Hgf0zJ&X{*B{Xz!-+=hx2G|DWNUW$zgD-e%Jx+L-EaWcB{_wbf17Z!fy_UMg+ zb^Mk2G=;(LAK*~8#PJ@9Ofw$CdUg#Qsgbg6@q?MqL7yVImQ_}5;Q|<@*i4;f$@cP* zUX>3SjFcT2a|{-Awve02IeoLLa|^oxDO#p)jtQ`R8*{`>38nA{)I(~O5HEQampizo zrKq?F^%M~0y|2XMoc&VDdE|=hRHZOtEsY1Cb%C27&hGgoj5mxPn+I{z!!q_I{3nG! zDkS@K^FF1@f~fC_$GWDS=@9Uqy^r^c6sM`=fYX;CjTo$^1uf3QeiN@w@Y?$$G(>ZK z#}S2&1I5wR8vaE)@VFC}FDt7rkuh8J!xW;7ae-o*C=_FJ3Dx6jweNRqrPDu@9CF0N z-Ywgd$x`$)omV4uLk$FVj6v|M$twofaz0KLf!~8u`Xa1nUtJ^y?ReyoH6e}(mF`Qu zq%${gr+LWDtBADetrb&`-tUMKVQXt}`5nKNuPQzGzM>ZhP=&wu?T86p*y>_qda{&MG z0LOIsKEllP0>G2>W5tVc;Mbc5*P3pccO_RX19>c#F_}^kQl+r#^WT~{>$fJ~hK&yq zMkC!Npa_!EC7{F{N=R;mN`rJu+=PJCBm|TgUDCqF7~KuR28SoUDSXdJ<9;{I}WHX^{1eq3@ZfootB^J~{sCXvSwji(Cb zn_#|IDsjOgo6^=P<-i+#(7l2?$*=BS&t-6&RScM1$MHK3zWOa9GNjGN;!c?Y57a;WS5 zs>M(5YbLLLttmdd{ihJYHqpF^nHlZn_WR-Wjcnr^lh`59#`RrbAU^OPkmYTHuI}~y zGRjCNU9Xee*HYgM0#9XbxA+$??*pm~O zvM~9P2(8DPuOu8*fG!H>=H50(Rl87aJ(#3G5N0ZnRa3?@Iq3Qd_1=7vNSXEGlTq$~ z2uYqn*2^2-M^F72&fyxEFDWCteiI7=Lq|#CshAp#Cok}+7R%+w*PW;wfUmOQf;w~X z?gDvpD2w~>^vUd115vR*P~m(n*gWwotEV=)OWGwXl`L&;(auc^<4Yc zQ*(ag)-=7@kL#Kfnxz|9PNsrXn=lkVGqgI z1~^eV!E`CrDLO-{t(<9%;^=X3JM=lHPMuFT% z%VDB>ihVUf>raJ;wVRp3_EJdpeIVY){{9q4cN#*M)Dpu~d#n`+Old*SkufhvK?k&vazIIVnasV>L_i-Wj;v zHkVD!Y2p&eJ|0b*ZtrGn$eedP3LRCv5ND%J84qtb8Pjw=e?sosB3Rt5tjAdHmYVKHZCt%7v?GpOq|I2 zw)hcBL~3lz*FxBt8JC?F>>JDAKVq}=@eXj?H^OfT9?$y$x#BiEqSnFKF z6rUQK)U&T^*f6qjFlOIiZbvaa{3iA_H#_ds>`@)MIYnpcb83XrH)a3vhY$AgX><_!e%>+b z4KnUI(wc>({WihYDFGaSlK(YK35`a_GY^aC4*&jmwDSPRxL*aD4dBe1owN80;Wl4iGN4JacAxs~qun>bu`Y4d?+i6+q(+Wb+r};8_HH@g@Uo16K{*7i#QKa6400z)8HN@O-@TXvAyvR+()mCGhUgoJ* zY*7AvWL_H$7s`hQ32l?#t{vM7X<6My1a{_8a5J@i!6`qg-evxMt2I4z<@GC%q0ic5 zg)ya759rW=TYY}>y+q=i1ocr^IlZ{;wOOT^Y>#K33VA%iPL4;SiQTiY|P6-m>Rj` zl;-_F5@OC%1?3s7rZQ(m z!a#FDWViY;eet*GHU0#qYCI1xt#Sjs>nJ!Fe_#>o1k=$Uauo5bqboABO&X*4FWT2Mz zhhn0yeSV-sv~NA)y}9}Bz=N#Mv)3+l&xr%D@0$N@hL3KdsiIeNlSW15$Ns($?g=Z# zGVcNGuITqwb55~ErO`g+rHRUAr*e*GHhF#;&9VLaYRv8}+MidJ&tLik+JyU>2?jD7 z(Nsi%RZHDR!^j5voO`Qg8XeXHr8$<2-J(WQ_1t|#r@2|cJU$-Uq0WIm&?!7mw1fR) z^B1+zKA2Agt5^y|rj968Ch9fA;M~6BH`9x1x5kuMV!toSznUXv8z&e!4{2PhH|p9` zT+TAZ(Yg`*^wpel;>qKxIV675Bj-=L4JY9QbG)9M2%8e%W@7x3*9PZqa6bDqwG*KN zFdh9kIH0roc|>Vz6Nb~d#c)0~uuG5?BK%Yp_XhaqTYmJx(h#3E$ZEtyUrrmm)|GEU}V zSyftNhHE*mF0awN~8Fl8|4-9YF(TS=D3#}f^^Z&`54(EAy1%AJfr|E6kxK%83JO= zzGN9qR{k1v<@dWWS_CxIK1XGZQM=8j~FmsfxgN{`FMI zgB#m8X`3Tb z6{qA>C8u~g*^3wDn78$DN9n|#ZcG~=-1XVKlLzjEDRJ3oH_jYP&TMWzh8XJG@N$+9 z?9np4wuGZ_uu42fl>Xr@&z5^TI{WY6e3ubvr+3sVb!N%@z;esNQk$eV6M#pVb^inM zy~g*q!=lH={sCPx7oPymvePICTkzY9!uy`wK{m5hAb+EOFL(7VR$%6?SH@Gf+{adA z)tc*O*)HQi$hgfv;_Es!Rc_ZSvykGRVw()oqgj$@ z4T+?Qa?8(4A5Q{ep`$^ev8qz9j2&L6bVX=yn8EyGf)%RNB_~lqTezjc^r7XQN^|9; z=Nun+o(a3(?B>ddG&PYJ^bYc?@%F%%IoZEPf@|`axO2;$QqJe^X(d-U%_n}R%59J3 zM;KdwOec!HOK4FyCIrir=v;bW9Y^zj>Ke=sb;{x!qxgZiCYSXb=CiK#v-u0#=x_F} zWecf$AD1poMe<$Zi(Ntm6C0ME?S~c}Vkf7I4Gwg6T%eEQei-75m)m^y6IDm%;_aXx z<^)EYmEz7iShwfHM0wtEvzZtxz75aHlTEe#2egq^Q|w~GJ|zWx`QS-1dPbC?gw`s7 z#Cw^K;D`WGYvNagmiku`UpcvSv~!iOHx)%cXlPCS&(4iE#iUg>zU3CXUoAwI7C`n1 z#6KNM<@?u+WLkaT-#Rkkz1~1@pNK>P8`R%R`?yBnucVnOBaT4_kFIn4B3&uU>m=xX zqH~xs5?YiAIx72j0#sKpU7Fg*qNuI|T#qwlT9AT%ESe=a$oCT>?0PfUbz+I-Fms`Q zh**v%#mAYS9O0BC%7+5S+B1zVF_Q~1(}$HQNiF8N`SmBt|Qvw-dY+PGx8#q!<2DS|B<8D(>>P zyyY;5vT3$Bk34?X@q&}{($gwZ6J)=C`NRcFy_I=bKdvhR_=XSVj!<;h;<-yp=6dZa zcG!zDJjx!4W~=&mZG?4(Z>UCN_k@TOP&oG^pc?g_ZZ9b$)BJVj^31nd`#4_mVY)uZ zHdj;SIPE?*fg6mfjZtq$?j8=ohv|taiL;r5|6s;>FHQ57)X%aYc}tC>iK%`M5)$k` zJHBx^6N_~!4P5r0!#R9vbo&u(yFo~vwL;jhy1xcI*;0bkWIUlS9`PG)BDDK3g4!PD zG|oXzGNRA>&#=jpM~C-k`g96i-VG>>d3A&=ZihV!s9uf(ohU7M`nyZC94G!!y?qg} znnnVbC~MW1crEyLEt5Ek_xN#?RZIHcw0M%U7(Kghlc z;;1l+fIR+OLeH9=rkvY_b^cFh;d2JoD!2Ugm2Vanrf__-x5t zeWwgGyZ1m3g4eTeO=+iKL2(u+5< zf#&)^}!F_ORe{3FSjaWveEavOS33-s!8X_cvD6m z#-y5?n!Z8xcc0{GuKk6$zeJna`N#hb(6ue+2~Ls+`JdH1DF~BqH5V}ZwIlP823=Yl zlBoXEbtJW0mNZ~YV*{5xwM<>#)Yv>_igN#5%c^r_dmufDq#Qs diff --git a/assets/swe_bench_lite.svg b/assets/swe_bench_lite.svg index 00f539180..0e67796c9 100644 --- a/assets/swe_bench_lite.svg +++ b/assets/swe_bench_lite.svg @@ -6,7 +6,7 @@ - 2024-05-23T10:03:39.368177 + 2024-05-23T13:12:59.895266 image/svg+xml @@ -41,17 +41,101 @@ z - - + - - + + + + + + + + + + + + + + + - - - + - - - - + + + + - - + + - - - - - - - - - - - - - - - - - - @@ -441,245 +400,140 @@ L 1578 3428 z " transform="scale(0.015625)"/> - - - - - - + + + + + + - + - - - - - - - + + + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + + - + + + + @@ -836,45 +762,7 @@ z - - - - + @@ -883,157 +771,265 @@ z + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + - - - - - - - - - - - - - - + + - - - - + + + + - - - - - - - - - - - - + + + + + + + + - + - - - - - - - - - + + - - - - + + + + - - - - - - - - + + + + + + + + + + + + + + + + + + + + @@ -1043,16 +1039,16 @@ z +" clip-path="url(#p0eec7a4844)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - - + @@ -1089,11 +1085,11 @@ z +" clip-path="url(#p0eec7a4844)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1135,11 +1131,11 @@ z +" clip-path="url(#p0eec7a4844)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1167,11 +1163,11 @@ z +" clip-path="url(#p0eec7a4844)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1186,11 +1182,11 @@ L 690 161.676713 +" clip-path="url(#p0eec7a4844)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1232,11 +1228,11 @@ z +" clip-path="url(#p0eec7a4844)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1408,26 +1404,26 @@ L 690 50.4 +" clip-path="url(#p0eec7a4844)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p0eec7a4844)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p0eec7a4844)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p0eec7a4844)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p0eec7a4844)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#p0eec7a4844)" style="fill: #17965a; opacity: 0.6"/> +" clip-path="url(#p0eec7a4844)" style="fill: #17965a; opacity: 0.6"/> - - + + - - - - + + - + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + - - - + + + - - + + + + + + + + + + + - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + @@ -1745,7 +1743,7 @@ z - +