From 5b8bbdbe5f9cc62b58da61307d272ef43f65a288 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Wed, 22 May 2024 16:08:51 -0700 Subject: [PATCH] copy --- assets/swe_bench_lite.jpg | Bin 32286 -> 35893 bytes assets/swe_bench_lite.svg | 759 ++++++++++++++++++++++---------------- 2 files changed, 434 insertions(+), 325 deletions(-) diff --git a/assets/swe_bench_lite.jpg b/assets/swe_bench_lite.jpg index ff8b1e36622d2031a7c4b29cbabd7797f3e57fbb..da1492d83b1d6fc3b7d782f8453af6b1fee9fb97 100644 GIT binary patch literal 35893 zcmeFZ1z1&Gw?Dd(77$cG$t@)5%R&0qO4UE(G)tqyTIp&zZ5p$moo=$>r#D&F#K?n#4ARXWz=yU`m z2tq?aK}A7ELq$bJM@PGiiHn7afq_YI?K(Ct2_cx2gpio{7Udo4TjUHB#KbiBXc_J@ zv$3&(sX2M?v+&$uWn($31OXi#9TNldCKlFB7BXTomjCwOX%*-y8p1Z>A|e7g=+adL z#H$FWwIDDEgn$h6_N>D{{tzx9A|a!oqM={L0A47-0bN2sM7)HAh>VPc1ibAGJO?3N zMZQMHEP!$y`V^Ji0+;1QKr9-?gPdwS*{*d;RxL|6^vn1+ZW0hu-KM6YrDJ2~xObnE zOYotPu!yLbxSYI#qLQ+Ts9-gngyaR*Y1&4&b4-1cr zPe}Zjl$?^9o0nfuSX5k6`njgIuD+qMskytSx37O-aAoPti+Z5Ht8EM}r`}YWQ`yWwuPS`KHhC!H!2*BVWUIjrwdxtb} zu9yFF{D%ksYch~2T|b;L7u%g*MiiYZkurL~Xf@6@bARu^9c1%Pi3s9ao@N^=Jy7sE zt5^4S;9|DkDab%OK%QN#5=Zm--N4P+v8BU;G?cgXl9E%8&}WG8IJX;Pum$3>{mN4& zqgT6yU23UMK`&O9PC?EV>K!%C5_0$Mm6~SR@NBVN)#UFHRsUkM5VWJoYsF9MDP-~3 zq`a4p!P$?fq`O5re~gWm3~fz>0MX6G;uQ3}Uo#*{bKk#KlR~9jAbmu{(6Q;7nntip z;s+n%?W!ey(jXzrfc@K|vr4C+S4p)}`7aByEU|N@OG`mCnW(kUaihoAo>{-^D15Og-@6E;;VCh!VyIx4ZIQ@^0^D z7l2Kz@IIQ+Ay=~rmyDp>2x?lDXFRr;O8Zc4h@XYT`}R zTrnMPJnyWr$8sG4;fve;*A0fZxC}!#+BbZ1pQItIcz|ZcUD=c4irY{Q*UVnS$qPc3 z?TWl8m}|SQdA;Sj;^xZDMU%-gp_MgcK9mv*N ziFy)z-5vh9n(sGk+jYm&HWrL`)g=<}1EtQJ+ z?b$mAxTpQGS~7^ZM=)XyQ?o2(z#=+PFzf~E!nyFfc%YQamA2!nmduOj zqYwerae}_t4NngyvR*RfOoYJpIeGI(#gvDCtx_bt!5}nR8k_Uh4lScRx+>s6NiDNJ zoXPJwcZzWAtw^;;LBt^JQE=D^EyFQ3Z&596!F!gdkG-z4ZIEjgY1rYafU)s9UmOtX}1ZQL~FAHB;Qk<81sf zQ|6f6jfHCDVTlc$Eowmf~w)T*?j?llj9;t&C1t( z@RqUFwTfJBErr}YhLkI3JoQmSYbC?MistfzToRd4EU3KPV)rz5XzA-Up^sxi^bW0- zjqy>gbN*ARr1agU>=T&dhJ{&#Quk#tXvu_$NzKt$m-vZ8(oR9wqp$Bn#LM|~<42rR zADTY&!wCqOSc88otuU@pbxD7gsJ*MQdRs*+94EB~T+@>z-JDktjiE6%w7AFRTr0DD zs7m8Ia{JySirfS$xT8O{DbC)%)^1m%7W}lZXO-&u0e*U`o<$GkHh5;=^>U%3O~%)H zEG@P7vXApd9&UINAb7{L^IAl=C-qMGjZF8utqbQA)aAF_>GIuIqTs8jq#MlXG|ebC zOEs3Jygj^zHX|f!=N2o_SkFzmZA6IGH{qM_Ys5*0-wzcHq`zJsqKJribB)^@v}pWl zec?D5eEk$OaQ_q(IAEtv)!#)K^drb z0G)!8)NKygjhEK#r)dBy_ah1W1hN)xg9{rH)G+-G;I?*AC3b z81F0JT8WeKc1&S z*oF#$aR1fORN31EUxLdY>P#%_oPw-RL3AKzTqr;Cw`0IOATMG{fErKkNEUld>;QWs z#Ztn8ld8nlJMkn1b&vAcbHD3np?f!AO`69k)FAco@LQOrbR*0c{IfvX&07=2+mf%q zv?>ZIp`L}*`=1vKNvAqU=Z5J*cN4&)L7U(ik@G^nzxjf{pP@SJzuZplOM1MWGmyNbX)(o3U8#8VP;{6RquU zMK?s|MN`E;S`^Q`2c#vL${E>AU18G#RLx9FH@Y7&&8ED^v8q z8)hAH@+9kOQ210RjNHjAt+t|&pBa&Y^U5pWogpRydi-e01?V%cSC`)ReFi`GbDDSM zp!w(^b~4fLPYWqK>_l9=cy&n~){tMh2A)$tF&%yAHZ12q$$OH9dZ}b(&4=F9Juc`{ zP60YQeWWHYU%i|mj%RzwLi0pW1d{qj)O?QkJgxe0TnTu!O?YfAKQxeb2e-rBi18c{)B-XBMvD7KF3rFky{YE%MM6#7TKfEOrVk>qLc1(!EVCd zD(|B}BvMw6cS;VHxOIp>Mp?yIJcSu@iZjE6L&Y@4DFuCV-m>!}b0OcGgOjffxc3JMa~!=TFW;p_ z8|*#>%?wpeKpGW>J9;P-3$;WxqG##8zKb3^G0u(t>{tAp#u>Ncj8*+YD=ZqNY1vRe zM6kG3C|$9*dg^>1UWY?2tV84!^vRd>S@hN!c!*bVvKj0cxzivhWHtWtp2!F4<89c{ zV%O@xliik_&Mx)6pLgb)PC>k2_#qqc8E@_vYc?g`^IN|vAG5`NRz`yLckPK3X}tW_ zoYoL4?=U?#9_M7vb_VQQr?W#@N)mKiGx@yr&uB8(3_7aJfC~OL>c7jtf3E(1Zu}p? zm!-gyYWODLkrFwR2E#1EWTY#0Ok21JjOWYHMFsBD?5*X2ovfY_Su3|Ru#lKB z?eJ`3Ey{Oa24&~0ou5#gFYMl77-S66>)869+8mZ?VlaxFG?NQLy>A7c|l;wb!EcWKuzfBjW?@GLOAJq zLv6z&GkW)jA}k^n#!J!IMu?PWC7kFDWCc8xrxmbvsuogG7}HmubtY!y-=*awr@V}Q zOjpu8&s>m|Z?vmeIpl@4`az=9M&+{?9?a7gn_y+TPPXd~JL-mQ>g}GH*IWV%T9fyJ zUzrro%y&$AFW)Ni=qJM~XRf>1evSPyiUZGOd^B0Z+oA!wK}4f8n1f3}6SyV$*(Lco zZ>$oP1uYpFGRQpCT0eODnm@edTQfq9vA<9td;6NgG$na_Mu&j~^H#a@j1Jd|NBb(e9tnhY>HjwbXJc##%D2 zX5q~}5l>OnsB+Z7gyRuM(RNOUO$Eui>j=}ebRb#y1&2D=;g_W?^_R*z1PrRD_h{TY z8Ae8(l^cyVI|a$x-g6vxk4+d*)q&`~&TEY`n*g;c7c%>uu&P?d9Y6>Awe3B{Bxdvm zlBuz?eMn*}FtiDF+tfoQonNexb9=ti5nQPkvceC^fz;3S22t1Ftv)LbB3od^4Q4;EN^@C~A5nCR64;Jq3Yt;E=}tF)d|S!xxzUCVPv-s>kOzo!-EDj#j7HHN za=)9V|9%$~_o;#~i1f3kP#}khOmmeRwz+YXfqqw}A{LXZ#}fxalP{+r4#?7n&6-6! z>_m{joyv^yu?b&nse{QUL?K;t$JZd&BMqm{n`JC6_SN4wBzuuKe?)E82j`}F+K*0%1 z=~17S1KY}xT4Prsw_0m1ve^Uq2*RBImVSc@;k|hM2NFfdN(81}9_$nBZCZhZ#3{%h zh>JWw1(7NJgeUaZPC;;p&N1X|Mrmy&@WK!TdzOy=Ii=#hcwbo7kj63>!>+BR2yyO| z1UDX$B?}9}G7E&TC$1zYucSTFhlpFlbetvwxiA>{{lQJOmRq`-b1s^d{V_qJ14%vY z!Mra8>w@ziVPY18jP$0cdil^D3Qe9Q#@e zP78HR>9ONNHK^}GRqRS<@$K}w7}qk_@a)QMyS~yS#qzk)`c6w==ctVeEl3Vv%HF5& zXTb;Co2>dBBwBN`YI=9{*x0jEhg13)P`~nLA?PvAbR>2pv`tK{{)nddFkI!MR*v9h zQ@aLg#NjtF0M=|R7)W1xQW|_bqHWl^F?ze-NBdU5*Hu}=!@A6bO%b$UD*l@dY`R2- zi&dm?Z({P8x@1%}sAezOzeH;ylYrr%5|B0&NJ|Q+4ci^t3+x zM@sq9uBpa((<7S4MlU}*%e+cLxe?a9WU;Nll43$SpoSx~|2asR21PXLq zm-TMB_`d&zdS>7L*=`y>u!tDFOA0Q+h*;~`PMD%(zn?pY3ze1mL;C;GF8lAkC-*}; zMN5XRVef?=cwex)F903~3IT0=cUY2kc3+J9*2oPr z61}MG!#a}#m`l(}gq^(Sb$fXf;z{zBa*P#c66?~?5*v=75pJ-tX;%)4o@+-B3kv$l z{N{DtdAdj8>ohHhg9|*~MfyeztFmLd;R=#d^UkY23rJCqxU81cvo|th$%bycVvnaz z2zd7RXt8gFY+B>dJnh%x$lF~vAwy4}GUPs4z&rsRV(u*QlVJG7W7S!5`Nfrs)Z&{j zlin!gBgqQ{V=o5qn59X$JIz_liCzcc%Mye|OkOK@94M5!CXMvAk(Jn6!Ie_y>dVGV z$Cj#alqfG;obmV9Ska0?WlKUx+{J^L%iYnc>(OE^@9uUEJ(s$wB1p{4_vUEU>w$mB z6Y@sVdVap(lw@_|Ca1ZfrD5wrB&;oo=NpZv8&8oWuW&!F;p@BYJJm+de;uZ;#%99N zMNytbpRI{&YWb)u=tTr(grd(c7YM`w-moI_6*72YxGjVD+ZECcQvIRC_K9Lx@RO}o z4Xi&QVZ;%%qks`mo8Jq#pno_cq)=tROk1#P{c<+s!~u5Qho~3-br`D z-aql*fD0F{eDwcp4c!-ZIqOC8av8k2WMr>FIyQqaHVxL03RsemfXvs=MN5tu>K2Cm zoKp-kgWi9x{FK{e_R-*J;Edd-VV4ek3BE2@={=Fk{^ViRk$snuBQ+IWwV~S~G68{u zhRpAvqw91li%KhLW6SvA3FZauor1%tbf7BG8nIpSLMOY#n=-W$_V?jVCgW;EWG~8y zXY4e&dW|$A8x}h?$BYKJ`o=1U9_BFIt!h|6yJ9)+Ih>#Q)P1dA2d6Nem}wTB*avYL z_1O$H9#%zEYCwAtVXC+$OHS_atId%-=b7k4A*;9!$YADm8G{`ngI%Hk9CCgU?w}+} z{Vd!=jFbRlLtc1d`rz`5r=LnZI21kK*J_iAc2Ih(gcqX42l&(9yD`m&~1URq{c*7S}-T;`Sn37)()o{kE=Mu!ExLzEU;u!XDFs0($< zp`&c}8nkDpOl7vH(0h0qO;=q_jM7O~26cTa>LtZ33)SNzMfQ-Fj0JTm(K3P4;~fya zSM@jaiG=6DPN273ihZ(`vKpo69R;RKaQ#8;`cbQaW#cPF`Cs?f-)zA3;y%{(j7IN8 ze{sqGHjL3iPfV@sxIguASnPFdC70}`WWr{a&GtqPdKG#LIW?!PRz>*wA~P@!7@xXT zpS~dP8-U0A> zh@5OfK4+|eHyhx{C-irU+|)l_H+!FV;i3O3QOChD(qfBA9)K6ID+|ZDSUv_$P zDm|HZZh;Kni{9#mO;8-uz`KB+M#aMqz*8y%_xeM0h5CAN@Q*${dttTRCa&wNwI%6I zQEwMi&zEmm%bB2l;eC-^--Y8H@LuC7=yI}-&qLiipOlH-EciIi2P?C9$f8l)^4qq| ztZqFDsmwQnEF=T-TVx-4fxkdA>^uC+dQlJ5 zmN5TkZI{P;DrY`3H5`OjXRLC=dB~4pVd=}y45cmmaG}aX5px~K&QkCr7?*cq2|##C z<%HP+R7rMl&gp#=b>DVmWnjaupo{<*h(vzx_+8_AVMI+_{CruPb_!P@i{S z(^zNW-zK)+%?$Te?4S7*ayRA_6fnL8FV{W=b%uZJ(_~a_QRrrzxMxuV%n49-^HxuU zVg>FO`UvOxMEs(-5rg&gXw!GKp;vD<-gUoK^2`slWq-buS6rybRf<@2@7Y5cQ{u0t zsC7$N;0~8IQK~l8Vzxb zLNND~_`o3x(04(MHR^RyPE2i84Mvu@Vm!Qh>=+dfOcZI>?vQP+ioQd^C_wq5-y3Kw z_&L4hqqLD2y`c?b={1&MSKq%U z+8yh6AAfmSrDb&0+|^7=#lvx?r-G702&QYOZRLmVBBG7(C zc^5we;*nn>R5`Lr9wkPZCye z{>Ikq7-dUey6f~F3Kc0~1(qCm5$i`dBeTaueQd*p%8T^^7ILG_>(;9n%%78+*wv1N zd*F_M13&4QPAz(W=fg=oT%ld@ty{>v)d#=&yv((&1mWDl!yM6D1E(Mo$doc0^h@Xe=2L6)(K?H=X6F&dbs-5AN62yE zDaaKt&wA4n(!UtrurUX`apHfO!WXkLbt=ta<&~{+=e}Hi>^N^4(4R*pthS$nE1}f+ zU1*1HDw{9kt1dTX7R;iYo6G0~nQrAr>gybDjGfF<#+LJjhteALxAZx+YUa?KtfDv@ zV^9Tw@EGpNC%9p`kQw1J0{*=6lara$J6$haac4RQRHmjrX1>rXeds2EER}P=qs>i# zns@Vxu^Shx=9qZjW7cnG)udxdqrqLLCvm+kXz6YXmY3pH%J})4TIf7cNz@xLSip2c z+RxI+{!pK{{C4g6`I4a&u8s!>|0;pkfuUatPPGtUb>Kehi`8 zJMi`6#qr8%xlT)WDbS#~CNuJPN`Zj)H;R9qA9urMmMTXftqPd_suc-u?|h)dehY*tLAac_XRTkl*m=kM5}HdUj3g^9N|?f_O3H4pq&oR7aM3$Ib*WtzsFc#3`? z@Gm&Q3{JpJ-FqMqY zqlMG1nG)1Vj~v&H?zH4`k*GnX=q1B9Ix9m^dP!8gs=#4*(fEk~=uj0*6EvbIqq>^W z;AhFr~v>B<5@wUx1CqK^n{P1a6-i}$74tAz9 zJQc=2EAlq zg9K+^C@u)l^!6^+-|ofa7$kg~%0y?fAA|hcLsxunsWU<8`ZoVTsuxCi5#hh_-A_GR zbf!Th1KuSAS;nE2#WCnK0DS!Op!eA*DSV@}K3D%Sby(8w8iw!6yDM^gx}F~eGTTeC z@Qf`C1_<>>RC|{~ukqMfv?6leBvMf-#`2jYjdSJPFq}$em%h3*oM6kbyZNfL&`v=v zXNG_|s{HOEebTzd>>eDu=Z>i`l|f+?^V@`E$ZHUsUG_+3T{xZ0c%*_9MxzB`dD!eP zom61W!8)uyB*f_Rw#i7C!a$VvMLo*>nVZKnm+GwK7P*pkD_@&^$$C;40`DKDSGnxq zaqmrQlMMy(qxJiI756hkyg~E%zSPP=wU)-=6NBWDCVUN;9FNw@B);nD>BOmyQYels!7m8@9kh^><5$g`;6$)ux_03fQQ-KQYH(_^*M@!0yQn)OZ6cTXIl zLQk}Q6hQxUHd^xjIFySz!CT?3`K=8(prW5){Vz%D@tNSu*R_Cz8y5vH7f?kI$QJ&f z=$GF-Ib%IQZHgXf>&21~UaOS{Y9i1Qlpp0E&iD+VdpWaLPCfzgZ~VG;3pmBiy#|2_l{PNm+6+(h_lSU zw@CXMXsv1+km0|c>2?DVN}sv92p-o#(+;JNo$mpmSnsf7hUDj>gBM4y#4m_mNroo^ z#J9Jd-ij^Wdybl|1*bR{Hh!>9k^ehWaY6rZM(DZNe|1k4tY)Smy#tX^)A7D`Kq^G6 z0IA4>6;CvmG!KW=v)lb(QUME{P~wo_M_*3H-eF|=IS%C~5qo>d4Avy9kD}WP3efLx zcNYs|D2zksKcF`z-1DFZW&NjW*V6grW|smZQ$j~Qg>WV=k^$fHe+IH0~wJW zJ_G+Y0X5>FqC2h%^3e5>I?68brO-FrR~&VoL^wk-QU2N4xP^GT)m~() z>+cUiQfK1|&4HCd=m2NqH>vvj$@E`;CmA45L&kp)T2!1u`!fmP?}1~g-SDHxR0o(@ zPEqORR$jXg-{{Q!jz=#y(}LZn8BJFtoroB@hVHNv9T40SBQm0ahUo2Has>?AS8_EI z+lW1+b?R zRuLD_)*rJx&YSl2#ntKWOtiWs`&Aq6q;*=PU@68WQOxbz{0Y(d6{s|QR3xg~j`?|s2z4{ht zcA0noDM;GZJ|RMnCH-!71p>*6OYsD;bCia3&2DK#l%_vpZL|@?kxaIF{mnytHUwOJ zM^8_-mX(wO4f-P|`S+Y5^HKp%%r7ksJajQRae&;w81}0?@4cF zYW5qL@!js=jp%B_Rpp}mN`!(Cu4qtA@d+_Hb}xhX!GxyM1WO0BXF3~X=Am{YP!{s$ z3Y84&$lU!sz;dMh@EGps^3DWyuyiN`BxZdpKnqSm3rS1-=ogVhnR(W(p$lx1w;~M{ zwf{Vi5w+h3tXfs8N_*GYpnB&FKz_RefW<#<{GK3)=bQI*V=HR>bLQ$<(@MG!cM|h` znZxtAJH58?DX2rbJ16VKjX>SJo}%m@;G#?H<%%$Nh86Mjj}nLx_dQ?!lf%wSf8Ib& zJJ%#vYOgzx5|KDL5e^NXg0_0LGrya8;9qLQ>U)F9%c-CHEDsJE%(OLd_5-Z;RRV-= zV`tptE9kZYjNh|TJ}6)I$zj*al{0Jjj~f^C4e&`>Qrd@`>-#Gsqy07o=Z5b=2~$<=e!)E|<0(}DBZ z$=ZZ?YxNJakIW#UdM6&WKmEmz0$>J6f>nXx1Tg=%C+9a1Q{uwD%Zl)KvMfooO<^J zz=qc_NkOx49_y5OA(coxK++0cCabR$;%|+KStU}HtC)q;VrXX{jYhp(kt#!{|FEsZ z!L*YCuQ8+y2~i5--@BG4tiq23a=ku)8fBk`AD&Sk`!wlwbAy#-ZP~3xdEuJ79onv_ zM>XBS4ceC9`E2BM8*pX$C&MNlFKCch*;bvTlEQp!_cA?yOo_CT0!Gg+$?x>Wf4`Z_ z4*nSh;HW&_KB3J_2er(aYBI0UTvEO0^!iz@+R#hUe)<%vVm@LxXsl_jMlbnhQWO^C>`xVp>p<8MSZmSM|2}SgWZqGlg&s!rjdt z1wT$LHT$B~x3~L6wmZNlj^pb#!Sm5mBwYQ+cqM+UCDIDWUZ4{M#Pt}g=2xm}=<^Y3 zwN#M`RBvyMk^4+Cuc16*T{beJx%4qQap_Q!@k*q&vHo?AT?uJfz0ssBB2f_GPm|OO*M$zS8ipw;I39y-VrE7kA zr2x!z=8^h6G5&%F>VKGU^Lu?D#ob5%;a_!uwDx0}8BT0W-IzIU)0fj0cM3_4^R60Q zxN{yzWjv2ll!i3Wj{-}t)^C2&$^<|u^}vc@?^E$E>X#orBsKuGk=)hPV&v?E-r2ov;g@k2<*8>5aCDqrwhOgSOUz_^w>&+{4G_Gc&U(oH0RE%o;P(mmLBKY!eO zdh&(%77&drIi@#UoeET*3#1tq&6_Kup<=DBUgdYY%KeC3fb~w#Eoia7(IxrPf@Fnz(+ydX*3};Qbq8deG`N?G;dSFO z!Of?^9s;BuVU##+=pM=e(-g=A0Rb~c z4bG7CxS27n9P3Nr>#|JlirRVE8I6DuP?>`8!&4B~;!4B?Rimq9rK$!%O%+1-e{XjO zf*Q1310q>gp*vc*UY;mop85zPKDEkFZk)OVT?yEKaVy;5c>h_*=*``LU|H$p2JM~9 z%37!x#KT7Usc@hQ!@Rr@0fRUWh_s+-iI2W_dzG-h?wBIIOiir;{V94iU5tKG0mz2* zX5WbB`dCQ9;?;S<3Z;*e;t@_dg#B6U>z^u97fFfpd#Ki0XfSlZdB1NPZ%pSb?pU!)N;M*RCPwpBdC3z8{fDw6*g%WhsXL{%$A` z*Gh}dbUcc`JQ8!38;0{od;syW1fZ>dCKDQk{PJTD{6IB|=dnsP8!s3jgSjr?MtQ}3 z(Tw$AU~bNHe*Pm0iox+SSlLhIdF;{v|6U0FoEM67Wg5o;M6f zeqS8WPS$_1I*|$|Hg>R&R*qNVGc8Bpe6hffU%(=*ZG1J_Ql0@{=osPtdl|atdQatW zwXZJJvw*%#bX+3YL^lxE_g>z8S$X6&D?j=NsmqG`GCiix`sbY#!&%&%?1m_H{0OAA zXb?lzJ(3)5C+u=%#%8c@6kN|JOf)pZ(QU+B)Pi=tMbi!_)=`{~otC;%zjeg%Ri$V0 z(_2tT_h?*WU9mbXC+Dhybu{+l>I|6i3SsW@JqsZDo~I0YN!X|QeLzWWtAeE^YD*Pf z8B2;+6C$_t{TSpexuc0hQX`ntc2XBV=5JRx>f#>5(CBZNpS+alkJ%8*LerQSm(6^g z+{YVms(ib0{q2ICtqITM{q4W;j*?#e{~7=eO@&# zDzN=G-bA`tXn+LZCYaVaJA-Zu5#Z*_T)KFH{09HhCW~~|CVSquMjHN_z^We}J$^#x zmquQY>I(CLQK+&DDgqNh0Z4CwQT%}UZvupc81cHT(9h1epfFq=*)IM+F4Rh&zh=-z z0#qlfvd!;#qtf5n=IMp+ElI~^-{UL`L0Q(0o`JN-HU62y^sV#Ee^mXwQ9LJc8?}#= zXAXR=lwXtWyOY7#A?4(2w?8|i;!y4^v8AbROs%OJe&#sz?)$@U_^oz4oxg458)YO+ zXFQ?#Hr{;Rvs}%4EU^Xe_4l#Oj23d~6aI8Vczxqe%GgwBZ6<$COvz(!7Fq*f&6Yen#~?MvlLJol-!1}&TuWaq z>^E#>dVUj|juBWxFXU_1R;FLh87lU;$f0y!;cu7WoAe-r1xp|ZCi^dQ>(6KI83K{~ z4|x0!cm$B~Z}F*+3kyTL+V7$Vth(vG55ky6!C!%GV23|kS%6RFk2-#@Gi_o*%`n`# z?qoKO-q>JRMg1)KtqBqgQvPYQq&pMUW*gtI94heLaUXt|_nJvtUf;_Lp}wDj;O4DK zze&BqUs0l;jrm=S%g0>E!dl2Gy_-=Atfkq^e_2rf#~YW<(tRR+r^_4kuXfg*^2@)Bos{U$&7QTs;Q$`-3u5|Z)1;)sTEP1^w$n=ii^Hm88em+y z>z^Pn89+a8SI94@O=~;I#>%}T-{Z81jFe~ENTnmhqGt1z;fr9}N<-XD3 zkZJ(y3CI3)68w9c?eRM7m)ob0st(KXbJ%)rVx)_*=nMhHK{5Oal9y!T7F z*v#UN)NKnZUBg74Ypt%UTa>{Ba@6~-zPVh!HN3{QTcYKqy^8a^FleEx$(Z3ae(fh* zZmKNDdo|e46bo<>z=5!Z^yv41=<@^tJ}RB#hJE>WGDt3fYbz?(Mf;d$Q~G!(XbU_g z3+2DcM)WRCf(+@2kN3+XmWh+fqvcGfSi;_Qu{Ak(Ytbpl41O4Y{y-v-*S&?b4)Uc1 zwhL@1PKD$#o`OaI2Bps7T8d;_Hso{|2ojDpawMY5H9{ZosRxdHTWlC3YOlS6oZ`FgQ?-qnTxIO+_dIQDgQNO za$<}gfofL|sNs%H2mb5HbNOQL82l+fRz7{+v_6R^!6s+?64_NKI%BCuTr}(29fiTa z-uKfVXS^~Tou$cidOUsv=cdlzL!>!ECs5}#@+2M$42TcS{L|*w$3F)K`cuLZ;@&oQ4~g*c)Cc7Bg!>=S zjeMIvU5~yf3Nd|2Gy6V8eh`zoifhF;^{=S2DwV&z1?`_K_6nruuJai6@m+l4)kL{- z5a}WEky|nAe4KwDPw>A@9L3LhFLJIR0=)&v4DO{UhCD#4Ccr~IZz9~}+3ldwKSfD> z^qxs$JFB3QYnF=*_<&?<$($SIb=1dE*benu|hZk_prktV+qMcNFBJ4%)2c|B%l=`z!II|NcLv zqD+Xmqu4UDj=hJm>*bwwfky7sh6{s2WM(eL`1camcrJ&s4m>`M3rNJ*fDrs&k}UsN z7tfz3FyQLEMXk_*eHOrUAu}OezENZ+)8E}F+~UWHvBryKN!ZpOX*Z3f!k!ZZz4IfyO@L( zSZ751KdTP&R!0qGA)>SHs^3+3NFCu5CAOPcBbry5-91%MUST{Gk1YA+g9PSAKv4T# z)^S&+i;j`s%1{mQbyX<_^ZZS6eC2np>MuI=`?D!GSRUJp$n@qpfT_VBVYnIev zX**MKL@cjwA^XjPKtpz1bl%-uJ?%USDz2&b3rPaNf}b=*{W_|lHiShiNi!h>w*jH9 zReVmoh~E+wwP^A#!a&yrm(FiJ7h)gN_Kh5*qiJEj4|428O!L_&nA<5ELzvkBi~H9eX1K4mzai<{cq35iC*cL`JHI`Qpg?KmC)VKD-b1cI_Cdk# zvxEr+G>Tionf-la^8$*ZT!fDP94^9Qb{p|}LT70cQL?TLClcv&v~nrFt2M!$X}8r0 z>4294Ml*Z@3+7n8FPDZ3lh5Vhf}9|vFMqJROXPn4^py0n|S)Moo;*E6C)pFUHTQ#=BH)?&B>ed>eSCs8IOTT;fJMkj}y zS0&J%Wk`qtqGM03qu+;AktF+YB73Rox`Me9K8fhHh;8=10p_Q6hBJ(}SETwFT9wSN zlJu2b(Kc;OT5n{p)HW#OxT{JTD4HF^zgal{>`KBO8-mtFZ(Q-5$4tGd@7FLp-a=n} zRy9h+uQ{0{E?cZN!`L7tZFM%gtVw6nP5N!CxX11K-b?ZUNWOh)gHflTSrDsCPZkd* zN=D+?=;+exDvcp^(Z^`g;}0CKYP7N>tc$SeTZ+cMJ9J~Aci-SkGnr1a&-X<+bb1r! z2maFbI`|5U?lWsdo-0-wif`i77HvObI8XbOdp7|5zzKUZhNo}(*hwIFVbi&x z`Oht4x3yUxqEs4YC_4nq6U6bUuZy}EeE4_;7O6G5Z`(fKJfN~3Bw%854H4r3Gx5?% z1Gsl9JV!TH+4!q*rV*h|zumGGC6%|QE)PCpa${o~$Ob_BzoFjmC|E|5ZMyrZfz}aJ zc=KVxDx)8(pG7#RVMBV?c{hwBfOjn2&JO*9{rrcgcR1x5ctw_!;RF?>>+qOE(n>ae z8*{kM4SzD7Xjcw5$E$w9N;SKLcCUdQzKlC7Gy`f5O_4-j>x&UEbvALGVD9Sq-FMaq zrLm0ryETXEKj~)1l;a>wULOK}aMjggQDA{swvU%dvaoA=|4RnmE3u#ut=8IzK(S?` zxxeZ7-x2fo_wW?k56lS7$-~9LD{()3L^`i~y39?&ismuv zvp^h|CnYntto*FxzuI6y>h!K_JKg?}HNJIkScj|O^^bYu(H8kMrMHDg*!*t#8&46UlV%niC9gVc2l z!4Kxyvm9-6f?2$vYMnJ5=AuD#<#m51Z{>wm?sj{GOfY-q{{89VEL8i_HLr>iIpA`^ai1;eXMb22 z*xwGf2^^E>6zF*0H?@5%+(g1`UHVn(uNX0$FBI-S;(lun35DQz<2TX~5392k29g_y_hPQRtP3wc6!BPNViZpw673tc zAkag!ARTIZ`qR09K%wdJ-ZarqlDsWi3G&?n}~i~HcJXjd~IeV<0*;F?9$j1 zv&$T>kHX2vbTns1ofKL~5M?X775h7C;kNEvlVD1M^1MF8g=LycBp3oY{nksSY*LS9 zdcNFIfAi+%YXmT&rJJzQ`l?2SZ}6u`U98B22Q*|d$uF~0Zn<&W%ierPNA3=CMDU(J z)`z7nbr}XOAxrw(QrLgE8A@lKusiFbBZD%Zma1lO_`Im-*+a1*VHK}Q8j>dVS5bFE zhUby{+0-%s5bf?gEuy3z^&)3ax<6%E)y+QdbBje1R~<~>invlQvM_*-_&}ex!|0{b zhLq=PHVog}+!#rHrgF{rOc*GBg7p&GAld~sgmIg=G{bcq<>);A4pzb}uWg*gl$ID7tlcy^|2smuV)mq0Xh3$oMfUX>>$|8G~fz&VE7% z>iwhgLwN9GHKsKC+#Z3DWi?|8qk%`+pX!UB45AkkPhv(~PG^{3FD%p53lg)5GqQ9b z6{;b?yrxZov?J%|;Yz#YsQ4k7>Z`kHm|mXTZX1XF2$h!hG2?PZz<&Qu=&OFB6{iY8 zx$@rdf!kwu&_)R0yP&y>HVMPY6T%u*DaH1&m@vF|l%@}1_vDI>{f)-|=7*K(3gGej ziNoxDJGJKg|BWx7UnLvHN$TpoWdO2;!y6U53Xej>v99IE~x zj)3Vm)IE9@@6BeYVptG2v!6C^`4u>JW0(=|>vd0yJ&zO~Ts?aD5Z_y2@~w!BBb?o; z#x&_jkl$kWgUP)XR|$GEmcWuH6N2^Jieny;`XBi_2S-HAu5()EWFlzyb|Q5>B=@1E z`T$~m%TkM}bJPo@1fRQO^o+yDGCh-;EVyHXv~R}VK@{g-gh;nXW~^K_D7-W^?T~19 zRS-#gK16si{@B=mV2!Fb-lL&Tm20qu8^OdG>9aJsU?+0}Nk#IdgMo5^m^QqI*OLV% z9F~X@21Fd`j;I~b5endEV+XKr&x3@Up1!@r#gYv#Xk7$;@wG>4suD--Ak^zBxki}Z z{GAW}v9o$bY`(Wg9%if23o^Y;Z;caSETXgp(i{GQQdRZh43>Vr=KG0;Q#d?ljf z6++*+@nn+%Q8wRu5>JVXu05bKq^zQRvQ7MASqh}l^IUW|>y4@PBE-hb5PgdxoF$j% z!$v^ISXIZ22BX7RxzeXwMTHf5ehsx7!ul`X;cZQ}BiMXFpCQPc5GyV#?YR{WANW!v zSy}$ZoLhS8;79oKqEh05s&~9zThr;^j>IRb&-LDGbC05hWwSF}XJLcuip_*HdGCp6y>VnAj-kK9v*7EE#kn}ozWS1Rk>|-b=a}Dk-|>!jY{qY5%T7c17CS(%Fst8MkLGuO zdMWdZxc+*Q9_dXhD7eQ)b^BIeVKVotTxC z$1bxD3zBsAt4F-f*S#4`tZ5%qVTqS+9?<>pB7smvaO^ z7~AuLtvph_EtNUC3{#_)fx@fcQ3KLKjr9Ny>pN@}a+z{OXw-in?EPB;il2o|eUIMO z-vL=aY;u0JBgE#4e<(7FbQ07&ny-whh;KxS!_1$lk!jIV)t7xY`ISGHa~%@oiFcbr zxniDDE#Yx>GMc$CnJ;5q^<`3|3`QXWp!)G5kepN4F6|(g4tyYr<_YLins*oYK3Nfo zl&k{nb~3;3$;&Q32(qhpOlvD!gc1vRm%m86+2xX9)=ej7hb7eev+rgd?RQ?7Kr+G8 zw=xck#GjO%HCSH@=|0(>MNQzhyf8HQ)^13atOKCmX#1WHADFv<$mt3!U@pP%81ZiliMX%>-*K1|IZ>N^C_T0=0S}g+n zHW{pb22}Rm6(l)j-OsV^Bmt=9RP=`Dbkw=Hs&;8={`7JoJ4z!c;PIA5GRFqO7cSy^ zEgHu6U&N{9-%{eRxljC6!SKiSp?Z|_$!r20Wd6dFIjv)g5!&1jwj(wW{kIi z%UECa4R|G8*u0d)i&5lsFy6*@_%S~-uL5`|I{2f1Sm*l4YsB>wJqv|6q&;Thj$gps z)uAIWVh7*6s4yX2p_`UBp`WkM;QW4aW!z3%_FLdifVunQP+7q4$-K_ANe!c~0rOp< z0i5Om*!vb4k5X7zQr?a&tvLsI{8&2Cz9=fvZtgQn($$%}P^ZGkMaKP$;yuv3Z)Z)?mb~}QWfoJPOgxV5?dx!+i9Q#k3bicT{!hU#<-q5B>8lXocu?llM)U2tG znX9WcF(59U039$41g%b-DG=CRL}`znEZ#vTI5?*JO&2hPi=qebZ4S+E$)=3cyPo$L zGcp)}Jqi{EKWaR6@gGY7hD#5ly-*5RGm!77KO=+@o!>C#Mr|E=T0LS%=^HS! z0u;a8y47{W$;FrZN`?9ZI z>T~zd=$lr-kJEL<zb|n-*zQ1^!NB%p2#@}%oR?Txi@=^qjStn#?^WJPYt5BfTsKXkkIv@slC)0`t ztQz10&xHC6Q)POThb6%D=kIvQmrTqf4yitR<52_(0hMF`FYVc+vRmyXx> zpqN=|Umx_tXR|8DIHCeyG*@oHVW{jf^F`)-GBGyI9a4?WQIAup`RyZJr;>Jp$#Iy@ zTl{YWbd9IDc`G#Sj48K0QW`!I%mrrMF|&=o*hQ3A0Qpfwo#{PQFaKG-RZ zGzi$JrzLDG8fZxydu8HJe3#0T-2I`GaCkO<7Y(@7|K;vl%z<0Rl0xbT&Ma{G7poC^ zlSH`c3?VGZh2hFoq~!MU`?`IaM-l%|N@uWP+9iK#|KtN2e6Yq^Xd0>VAfaWmKIjhG z&vXn&qm}ksxdZYjLAB^QK~Cyje3d>okKNpbeG`Ld zKWFn$rNu~EauKlJ!6}KKT7^kFY(QD#WLLX6?rHUL|E7=yI_nD9Bg7YD?r&cTni`2% zX+gK}3su^JR(Wb>zuUN}Sik?9;hWG@acc#{KNOsz*YtRhgPvMls5g%z7qU@&bPdl* zSFEetscH8d%donVU+1dTqY#TPnK;iQ7CuR!QTCvWS+i-H;2Oy&u@+?Gzp%#X7I7m* za?Of&>T|fq;<_U`KlT+dRZ`MgC#qWsaFSTe?Pm@+1g#S$^)vYomUBG3j?S zk@kf*!36EfF!{pynUcu^(Np{yySCL+z&KhmNSmhJ1xOV^6x=Z*_R;TbB1v>jY zxc2R+&#=2K{O%>29j3g0h1^MbB0edE#R>ZXqUL1CWs|@T3k;2SDw*UT_W|=Ct)X2T z8c;9nCupmJXw>J|u(_JO7a??@OP}@Hq*X&ygZ-h6r`a0!K^1?NbrHbY;U^4q_Kea$ zbFWFovUXJ0*#i1>Q!Xf`b$O-&*`oej_*Hd%=JOY$+P(vZIy!eM@7lah)@}78A=6KP z!1BN=9h2uO-J@GcKVs?F73Lb^o=n`%8<~UyjHckB}ARU$4u0`BEwb zGJqX}O{DqpII0mT@T>P-g%6PM$I}Vt&6_DPNdr?Mp}mpVTZLrS@|*H{_&ivlsX(8e z=oL8wCSLz#@(oAfP#l8@~*=N=Zirql^2TpAa zb~c67Ef0Ou6X+jySK5Y;|Mju)&j9=5-TjNtjlcXX;H0G|A-psp7CwDM2VZj+L$~B6 zn%bhd$C2m`G}`5fzRv%rVy zyO5!&{ED_~U7%@Ky>qkb$Ixm@gV0vk5a9X6i)pjZ_3%L>xZK+%_j(lTmjGJM9tHKM z=f8B;?VMyMkx}-14GV|d&XL5Co2hM09~-Z7nH)g^Hj^z1e$R1Dk0Kbf>ih1jFf(Gcz@P=X264Rh1`w4`VUXB+;+@0$+% zZMqw9ieh=GvbpYx`Dnx`O%2r1*|Rz<|8doxJJGI5i^7>x86KGq0^5nb75Qe#vU^z1yNo0^4g>M_)Oc69g>Z=M+dKZ zva*LHI4XJ@CGm1sM94>^FiwGN@7yYsP3gue9x@Fr4}sOO!pcov*{n9e}kPh9Sc4cgVqZr~iSw6HX~Za&N9 zv*$UaAK>gVd`|S zi>OY>$m;{H)?_A-iV=dRqn|F!lE8vOc{>KsUNe!e_15{?V&l8y8$;Ci6rZ5`j@Skp znb--t405*Pvjsa@e;Lm!t?0D|(~_SV^qB&b4NR8?{+hE!QOYRT3)9UH0v|FR7D^4- z6hq&#C3K*+{zUcv1A$e<*}=30ph5Ns+m3GVtvZqQcyL!(~lbn6~Vg%<;huA5-- zZ$x;H52mj4+cKC*6Di3wett+9&#P219b?YWH>?_@5=%K$qQ*dfr46%&g1{|>BpaHZ z`{A)Ea}yJPWSVwmC%?RNO#YTU$b;mLBsTFH*sP98F`0BZago*9EqdR{jMq{tq^2X$ z>lV18+V)l$;eE)+yLk3G{~>Pt52l>;7V(p5_um#z5AaH*1QlMcOWil#A=gzkgVp|g zFPPmQub#h}WIjjwd_^!sm=uaidDhr?1)E%RxEeGU8A_QU6NuRE_MQg$ei5pzn?50} zax3fX`YkD;!XQES2f8W9$rLf|*?C8EDIku9V9x$leQFV3CI#e)hwl;zGFvG?V>>I* zw|tXnZOH)4rOFECCQu>B_^mC@(QpDZSibt6tyxT%5eeIBCHod0 z53RrW`et;_ZYN6k=_iV_I_t@(Pvep>EK(DP>};hBD9Z-bSp^}Q@wqRp7G$H2SSwH_!Z&#J4g&OU-f=~Xph*^eSU*xTL$ z=?yl9&4^#!P|b$l_8pNzZ(kZCLMkAREM1`b#2IcNqNv6V?}KFxTOclDBfWgQxVTN} zvck#~yyiuF;+?G~y5vhVdTHFp#Pkm#nbj@^(FI~0wclVqwYQ=nCiVOj`i}iq6gs6# zk-zrnd(D+OBMtCd1inhW)u&Z&!OpM zaokO++bShlp@I3{0@l){;jv6_fmKOueKR%-`^+&74cWp{jhcebOFXVUDGy$c`t6RF z68%O8N-^cp@1=!ES_=FvZw!zB&}}s3lc`P7r|Z#}F>52LB7Tgr)rTknL}g95kt6Ks z36g@D3qY0!R&g`IWnw)fCw(hnLVV?Z0pt@e?~NLFYKf)=lr*Zt8he;1qKZ6G7|YQ^ z=erZG#mz^r!5fe9=1O}HDx#VKeWfrvUpQfI2H}TDvLcQ{$Cpk7h8haMm z$bu47QqXdzha`10Q<_o<>QmMwHg=TAhgJ>Ctzy`tBw$jkP($+#$67_gi?gX+s%Pv5^Mjv0(q^wWEreP9ca`1KT zsS^>7t?F&Wy;lySNn~G%3}nU6oNMP7d+wFcIArs|NVi2`z(P0eB zz2%5nDhric^~H?mT0}};Lqk8);Z1D&UTU`<_b+CUU>?c<>*wTuS?V$ zmpbw%SDNUZRhD`7I`F3XBC)QawY7O%5XY2pncMA26<6h3_7O;y)_Z95tYj75$h zh-YS#B5>%|SYch#OI4K7x{+F7&YSZg*WDYYD6=%dK4G4!i9Dv51CG2v(VKgQt4BQr zA@aZ#cI*8krK>5-{oDG@6cO0-s%>-__vndM`DWFmPs5wQ>{2{o;94(+TQHG_X%A<| zy*-Vn_yskq8UrRfeb}lSe9LBMIA6+s>h<4wPlZ(URn8_bm zcjf72_Pn4R%=MEeIA(C-mX?cKxRWOsv0$3@v){h+UgZA&U`S!^#4f2 z$tYQhx^l=S8D_*%`nOtr*IaSE8(z9^Lme*+2u6|UG2Unf86$CP3vs~SOy3!z1MfC< zqEoUP@uCCDb7*D zVE!6k0*sWUsmBh{y4Di&3IinKeFIFBwI8yr(J3b6zWCJR!f1pQ1~aqQpEH}2{Hu zshaq9AFVldYxziGSR!kTGeVN-6z^q|QPW)H9Gi&RY46jUzxW$}tBui1DQHe>j2C}t zNwJ|82Jh(R;WtVRWgfCxsE9b9`~ocyt^-}!V=H8OG?qBB3>OsRt(Py51!_q`2Ok^L zq;7bA8@aflADvl*IvVT4Fay<{0+GhQ!2v%MBw+Btu7|Sg1Lk#Yp!2EY3AJmAv(^D`+ZAC=r=+ua#*agEaV4 z$XQHH!B+YuVfERWCyu0Q&mBzqV$V4iqMSzo|09NLSY*%EB#|sHhZ#7L>OV@A>wQJ_ zxub?+iG%nYIZ)<^@rHa!@hKU)LHZBSZUu3ET^c3gfA~)1g!TP+i>@7g$J1Ejm645w zFi(hL!*0&R{w-ze(!8US{?aW*gW%DExG9~0VM;lL=Fo>1gj3w~``xQ8m^p(?r!rp4 zZ}~5GDnBmaA9%sEi!-dB3!yQPC%01)ZS6-NIC~EPfXGZcYpHKj_1JFS!JjGOv2M=R z{MVP4lb`yUu{sgf0cTnW1I&Z=_Q%&{=O@=rL|yPW#0JX6HlR!j87qW2HseZh!w@?Y z%*pfyQ)mP1cQ^!Kf(B{RM&qt7d*E62vxhy`p$v+L9z)L^WM8J2vL2GoHO-lB?!&#S z`bdsvj_Kleba%Cue-@)L4;$jQ9Au07P*pXJZeod4I%oWe6pDumP6f3`k#Wx}kmYvH zmf1${gU z<01DwC>xvK2F@=^ep7ks+Q_L;YHgRJ{5HkdyjqvKJXztvW&xSygl`U4yo;x{U1x=` z_DadDWaG2J_lctH67A9_<&d-Zs*8bzg@E;U8dF)UZwor2`II|SCJ0v*+XgF|k2Vs5 zUE+GO@iVQyfJsp=#uEwUg1qx6L|~}qmdNvNmN$>SOJE+CmE@<0r{6{mB^=thDhQ4u zc#@&_c``tn*mBuR8X0={0>fCYsciZ8sAeHfuV(Q`eC9hkc-Mkf|HYpdd>RU2e^a0Z z4G_Uz6=t86oo?^L%T^G^FvdTklE0H{2vg$oxZG+oB0}itv`f7q|4slA2?0a%$%#G+uWx0832= zyt7?F_HM@1$C9rjY4{&gKI=j76_i}muWel}L@5;RGpFIXi*^U4KJQZy7>Nqz_sQE$ zM}=al=P+|>rsFjzpqRq!9UPpjP0_V#_z%Z$Qih)G2fQ6^pnExeRJ5B9bpPe{ z%l7A_?^omwFzNKCa`*or5Pw?_@So>Lc8?h z4rx8AWz>gge0oSLoF#6|?rKMljWd5+iTrgZ$G!1jsC5WoUV2*0m#1j$<36hsw?pfy z-OFh|4ROHjwM+CUo|y&D%^(ZGtkWIxx8`lkG9ygq!(xY!+BdgEmADte zk6GrYryH$0xJtpr6Srk>g;3o#;>0041Mxm2?%?oL6kJr zXofsR1Q|~NCCe{rccFw-wLR2=gTi?79JgX)Iwo8;CQi*-)R!A$r?B!b&U$1Dn}G&UXl7em-}g>QBbOo$*#US1TcK9(==K4bN>LTld+;D zNrtM=b7_2YMDk=BzUAB^=8k#8c)3x|S0dHOcUz2jC9bWt*2m3DXRLN!6XqD=Wonw= zV6WQ3Fb2ZX1xd6HW2d0N81$HsTOH8kh6ZRXf&cS`oZOQsrV#_2G!s?g zwuZ->5P1+;LXltLSXnyaOpJPVUnMDJvOXRWF9D=G;*&JisC eV=2sk^L727-~ZRq^`E`?&tCkGo&o&dzyB}N2Sxe- literal 32286 zcmeFZ1z1(x)<3!lDM1=(q@+c<*`U(W-AGAy3BpEDz%3ylAl)5On?_JNq)WQHJ2!V* z=ywk9dC&d+ai8zG2cGrJxni$5$CzV|ImT~{xh_X8rvX^f;!@%OI5;?fG3+03IRjBs(aQg_$2yj#Ycx*TX zY`Dut00jU5cLUbjZyo;m2M3RUcmoL;1r_Zk>;VWC03Hqj0UiKd9_M#d(lPtD9N9G#q9T-~0z`@VeT=O6GI92WjAA~NcIbWBQW zT6#uiR(4KtNhzePyrQz|b3!2u9{kab1bKhT8@qYEAp5djhT8(nbluCN0E8}SAu8xoGFBJvY^Tq^b#D0mM- zlZ!r~QgbM6;~P5kq7l$=&d~0BBken7{~lpJ|1HX{2>VUfC;%M+4mNlQ*Z?5l=#)Oi z8|^>Ge|YeJOa=<%n@95(lKV=lNfL`?vd2$Y949&Fc#lqA0i55dlK{PIa$Tb2hamwU z22AdTEf<D?fNgh`Y0 z62SH<{Zq&y`uSYulQ9U7-ZnIQW`lfAt^Zs(w~Zy|#805|e84_I9FwBUTL>Q9)yE|Y znpqQ)n=_`;c8+-*$G8*TwxPmuZaaZr|?gLFWPYrqVqcPqb8`I?<-26Zn zjDou*=nqg+i=M+k(5O0N2~Ni=NeEDVTi$O+bWV@p0G zEPxOGFrly9EgG}DAA)N(y2o!GwbQi|SZt6Bx8?_!oAl<&N~!pQbh>F90HuONuDX`L zreJ`;=Bu@BW6@t~{2!3(iK*vm!~aFO*%>3XX3v?VA8DPU>{i z6u2Q+W@b@5iDrY8h~ptlrf@D}JvWw-r7P{{LNK)TVx^qj5bHO1(c3Yr;a;5dAd8A| z^HImpM$)MV)ti{`A-em@CBcK~|K}f-Te#+<gq{b2KVFo&~hW9jKAVf#Q0QZn`~eis2{d6;z~It#g^&a9~?T9S4eP zO%e^x@A&(%QVvjR6u^abEvVSZO-fQcJORIKn>$I}6$~OkqDGqMC=>d8dSR*GKu!_T z5F`H;@rz)eq-laF;p9?w%QQX0m!z7Qt$H=`+stC)RmnwfT~YFD66-@x)U^wmV_1Wq z3uKEY--*|j3nv9&j#ETmFfgBE3Y9l9Ko%o$4K)|RcUs&+2asrt$Q;~H)#?JBP@hXA zamAO0wm5~+6xO`-&cn;3!TLDLH)ZA2!^3vQH2sBFUs!qJQ+#<5QkPx#TL?it;F#40B6mR!XWwkA)Te;+r zvqvqXHDN=RPU%P`dn5u)uy63keYjkcWVf)JBPNwQmOAypHyaKSW#=kd1wAb@3MA0b*BWPxlD>+(J3P7og}K9BE|M-w7+&CoUf$Um@= zR#G*u)kd|Y)y z#ZoK5|6b&CI8sGU6DlT;+nd3>2KV`iM{Bpm(k8KdA3~y&E!A*7**&9D46nFw00Ax1 z9gXIK^x8_R+nlO3Xh`U)y^CD+&eV&5{xc$klXNB3;h&&*g@d7C(~}a2?Hag&_^X&Y zhUH#&RwD1818X$$p9E^7bW&nrB=QFX;U(tOAa!URu1}J`u596mWlV@MJ?nI6O-=A# z2$|6$XX>-znnIs6FZ)0&%d3#jKq*d2Zil+DB0?IOdkMfz#61Q|*9e=Wj(O%hvUwDY z6&gCV3C*agwQSJx%Cky0I@H{_t7#a6mD51c(4Q&aUIIzHsXOs?`H0`MQDOB|i#}-V zF3&WQ@)R;f_fSq-id#sd>!Cy=#gnrB4O-k2g1k;s`+k~zin(KNv@&<+{HkRC#FSipl0{pa1<3a;h%pAIf=Yud_$Ud66eYu$aBCvf5D*AA1;Bu1%a_|r=MfaR zmw;j3OF-DLs}608UyZW)>=$|U-h$FnnTb^EPYxmgmz%3XW(d_EgtwEBhMS)OE&-W3 z&Zk_KE8A`}&M3E%T~oQ<+fL?D9z`6sA7l#xXR71xTV}g5KaL3+2+MpY#Tb-OiICvA zj1XB=6D4;{Y-8Of1s3!e_Cb(S+1tOHx58mD1SKyo@~>x;HR~ym`uOIklEQ7lJpq!P z>?Wg7wmmrI@BDh>Zhtgd{m@L!r$}ZQVf3_VY{6Z zy4}i9PbRhh`v#UcrApBSk}Y=b_BaCuTdkAXAtDc(ejA5t#? zQ^@D^d+NQHfGuAr-YGp?!hat84}1P26#tnDf1xQtYS``DV?5dQD}a;wi}Y~&iedn~ ze|5Cg4YWa5pem=vQ>(_80H;d;Bft|+QRK$=W7saVByL8O4qy3933F5G1al|bLB^hs zw$cThevyrQM04(c-21E2cNn@UFX$0vmZLxV7UUq`3JRk5RUz*aYDf_3C{<$c5t}5o_Gu`A1ql{69X%yq(yA*R0SC!HbyQL6^4Sbnj&8J>fMkOj7TdwU#?*{ca z-`se$n3%0y6n2zIJwmXBR@zn$i@+;9#mE0+%|iXEG#_cj4ee?+qR_QT_9=A` zoz*bV@mT=Y1=(hA*1A336HQA~^yV{rE% z4Re8wb_GYiW*E-+QZR=?9=xsOJL!fmi_NzDU*1l0JHf!4(R3zquJF8G`rGhMk@lrlB zF$hhGG^O)KR+h>|P2N{$OIeGGDtGT3#x5-P;aw>A1>Ap-C+@M}jXcJA!K3n#$A!YG zqBMr&SW8ty-P{*IUdcyR(!zP7aiZC$sN(e1r0T_H8eKeFEp;43n_V}(`oc)IrYyW*I$dEZgKI=GdBL5~}88sG3SbXC!#e`UT-3p_` z!N_2Ghn|Qg0Z?GN)NJ3z^f1Ld%Do}GK?*R2BAoDKZubkoXrgR6HYNRwvb0tMPhI_5AoqlwvXbyeKN!w z@zB$bZ`EQTY$Tn@%JHyQLu~d;wf7MdQJJGl+40w4?x&JObA>R3ir-oEnx{=WST^r0193XW*lvK|?)f=+SPl!~#ze&IUe3C4Pk&rrS%Z5c!c&TtyZ;JeVD#2^$0jxc>>q$w^H z!7r~=y>QTJLyaz6t`1TYL}CP~>A0h|Pb>8)7Z;Qre$juPb!A;jzyNA;*x*-yA{-BT zbgt&0{<#Ow+0qGGwMuE-@uBTe_b$FmHN!dmn*V2? zoK@h?4C~B!lU7bu$hn)$F^Ek|!imqSlbAlGDp(-}+)+Dxr=*(uwXL(OU2g4MS;#Xn zA=G&|=|i$0X(q}VsV9d_9sxBgF*9HZMEk`D4O2)G7eT6TfG-%L|$V4T}+|QwR5msC7~4qT42}r8wJL z$)m%RW#%vZjDCrETC4IjcCVFG-~t`R70VI=;Z_-&();v8=mPEshT)a(0PI88JrwPV zgkZL(sP?GqxtrMWC4fVNt2PtV@=`x!k1Jj_h+$JJ1sM#ZzjbUJNGZMq{Qkx7*YMGh{(ZX) zMZjnrVYW)qmURB4!W1w);Qz+)YrPWwWlICDjVbPm`!utlT>|6=_H(0a)M<+G--&eY zN@}b-g%hIjZjB7*jz8+xmcfzU;Ye1bGIGG-4?M!}?8tJ<6&HBgZ#b0SBJ)NKTPEZ% zl@IX}P~8NulE|Pvd~Io&_mHf!1MOLQ<;ApOByv&LGklw_0nO3$st(Sa=!VX-F`_P1 z!8oU-zRD+ax(^-}v!Ymv%S%y>)E)Ka4n1tFitkjOI^ma1xeqG-{8`iZQy0-G+&KsJ9;KUHZp{K09Ph*O0doSIQSpY49(dZc(wr?P|2>!-K za`ABtRk0thq37+RHk?-!%=Kb#g#x`jnUobOhQp3JO8QGztWZc6BTweuV$Oa>c~9zc z;^&zoOVSXd=6x61Rc1D7og(o}Pu-w~etbSYl@5WIh&P|;r^5;G+PerD3Yi2Io%Sy$ zA^n##lzW2RB{K1Kb}(=B)6!@aNyzbG)J4O2ZeoG^St{CCGT&ipqJ1`v z2+EJA4o#bW-&UAB2+nF=l4QrDKTjLnb2jVhM(wY?| z9P4vqIB%D0LAoHWwug$$GU)f&PCg^Vl_wu&$R}Au-F7K=uw>&r9IGkgeu&`0*SuNd zoO^iao+H6OZjsI4*52GvSVeN z;QlEN<7Q(1Xg6(bsoF5sL&n)rDeBQMZ=iqNJ`oWDxQ02RV5uUarkf2>x}yHkCJ=Yv zLWoJYLo{-9cAz^;%HH;AV#x!enV581v~mSW{Ue)KrY-4Nexq7IFmc=C>l*|K+RSm;>}?&|48 zw~x_BA6{Qbb#&%E)hNWEcEGAg_ndO4I>U(LhJ^4S#v6_iZ4R7HLnSFbnrStmHTmr0 zH)m}3GRw+*#$_2^914_>!X-2yaBeb@jGrlXLmX_g^}cFZaI?Cc<=-<5oTxx=Lw_$2 zl8qoZa7dh1)C9u2?XURADY(z|(-ieBmBQ&4pXhoLrF9w>`1QWAB(?12*q8*a29#< z2w$S3#I?`AY8tFfGn9!9NPb{PEP)2(P?DgMA#Nkdg;`h1ZzYDl|JGsZFlg!gfa0k2 z5`gwczf^C&skY?AbhO7qkwcK45eE^w%iw~9w}v&-1P%7=oA4p;q(->hdOBWy{japZeCh^^o*lp|nwd-q zBBq00D`|?-Z5Oyy3D_PV_+KAzNJfbg|Zai*9Z)q~@zzEWN8x%G15cflD;HjmBTR2B-!xh36-1n*6-J|4W4 zJ{v?erdP)?8mnGjk)SlsCT@r#XiYO6^4PiH!{^hIwFKg#0TYGdPJcHt9(a||V_y;C z{r_cGlJXii2I*rI%o6?rJ%K(b7-V6E3dLURoxjp8Xa}M3&uk}M8M10Q1+d@_IS!Pf zQ!RAjmNo|xn7$zO-F4s|lZPB^4MM4-ShPecFWoxcezOBLEy*rQ7wS+^6f>|<7_6Hc z1Wi%24sltnPVKDLZH3HR5|?LgzgIc-0n_KBcM&hC_8$aEFAC|aXfU%ZvbC6|h47f4 zbxBz5Q_OF!_K%Lcu^-CZ6))p1pr*fH0SE>%j;CZa>2%#5I<@h|nCO4!$E)lJkYfid z3qzt^9mzvx{pzY{nF}@|1UJ%NISbw5Hzr=8&wQfO&=a+xu9cBtWa780ijAy8@JKhg z(1YB(+|Zoh&{LT95+M4z?<>9=2lgJ8(8uK?W+r#A+ReD;S59H8Igz)^qgSYoZmcE zOE+1g*lmH{xL{1)!3DnTfZ5eaOK6J)dHeZyF&=Db-q#Tt&uefuY2Vivu0!an(wa9Y z8<-ukf!xeTlj-nfz>>6~YE%rV!o&S^lpU(bvEqNJub4_?nrms(GQQZCRvooWVzmW3OIHnhufR=)0cwh%7g~lv1bwj!l%*x8kPU9zY zh4N!+{6O4}k<7vh{^fjgabSRxFy@Z@*w$ifquNeE61I(rALb-~$_61JoSYDba{@WB z#WI0qnj}r3${23o`3Mb;b%$xSN_Rzdrg`;c)cAk%%Wa z(!x*t?u56kI)I1)BPrl%dGNs)YK^6EHb$CEnueI;Q(HVgu?15;)6uj@`bsh+-c3nl z&&RPBj}tc&7j(K`Le}C9J+cZQy8Nq>q1tWb{fm%LxbDtJ1u_gRhydO-UFOadIz(@m zgnc+#yx8HhhP_nSV7qxa0ZNr@^|vs)g4Ql(PI?gj2n-aEd3|B+6rS1I(BLD7bn81k z(RRX93|$kK$Tu+jS%F2!zF+vu(sBi~vp%(zIM2AD&`%^*VjKdq4bf_AK{Y`BpUwlp z66yhAoU{f^R%2SC zfqu^q)>`Bk?{yUO>|0Bmsmp-ZTNXG>bUEVlP>~bP!I}2i7CijVcX^lkR1P}_lpMlSi(`(}2x?e6-;?bn6#KB&!w3J6U7BM;I*_6-e*ZyP z9&RJ9&dBIRvj|A8h76m>6^s}ZMpLDS0$Nr~TyGwhj`VNIF6U+|D9qOfHc`K&lx{8)Cg zNcY+2h{?HPe&?><3ZIer7cXQq-JLha^mRt`pJ8y)hoRmP@A_Sv*YqXe8R&iHcYP2|&7gpQ zu*V9r7r{{!!vp-|p-wdCXie~8rXxsJwe6&k&aUq_H9%3Ca3JuR&) z25S>hh7AOY_qDUW;<560bb1PahBfzVNHG2`(({>kzcA-jJJnwdpkO8RU9pT z+RoG6UY7+A?u$9GToGNs{4iHtp&0+DXE32v{De!?WM^l4Ce5q*7SdfubqFTLvg>f- zsJc6MqR_qpUS;H0Vlk%nnSj<7i{T7eXomce{B9DmmHuW(d(fMU-V>!>5!5136_Ame z^+;ktMhx)K?#-dOm*Nqot;MJM{Q{pks1OY3|Ax~nttEV1{#>?vUx>bbKLuRh__G4| zyK=A}U$(>;^P`6cTJ86?GXFVraJLD%e4bN~lEZBLIe4PBN&Cu@{s9S-VoJlB`34Ku z@24X4!4}!SFY_n(R7P4N$j&@sKId-;Kn1DJLD6}uR_5{!UEi9^8mXJ0h+x5gQJI*_ z_(ruJVTr6Z$Y|PKtt%g_MnLG+BNLYL5FEqt*RIE({M+1>81wmY8fy^%M6;^$<$?iEV6{TXb zb_a8AcI~k-NO6F5nkJPP?StZdK^522yYbnr#k!+;Vf3SfY|0@IM2X0oOX*Wu?=_2| zD?A7lBTh5p&dI8WPv-Yb)qsSHub&y6f zd$!RGcK*Sb4C>79JSDk(mb#msQhBTByGV>^j+@=XHS{)yJRn1d~BXv>*(s{zklW!I48u9 z*`l7m)Z7w7pu zgBc-B`)YlN&JL2@?Ke0-6vmb<#4!3Fmi|h&`dN_=(|rZY#5%p^mIO^TGAy-gIfr7j z=T~ai&kAYSI_b`)eo7X|QuLw?ND1YcvH9~_)@8E+v9ot~x?t7UtXS#CotP+v4@(=>gERB0c=$;%g0PszrhYc|%2Lq!8 z5f`;Nk4ZZm@3t25!a4fbp|+5%C2bFdT)avaHGaA`-yublnp#a7CRACV)I~9~u&s zYhC)(Nrr1t4w3#-0JFQ3nsB}2fZD5P_bSsh%^ln}$%NZUET7nBbPL)w<4dC&n@b^F zy#1PlDc*Z7mcI7cc74q+G|I;$loPa^Kq zgf6p1Fbf%uYmhJC3lpb7=oDOc&)HByvh4?~v&D?1tho(7gTZ44Am{y14g8@q8H zJxEP>Up~MPU!XL1-TD3nEUi%aM`iR9u-CtzgjfNCsLVm*!1l`1i3;^I&N|>W`Q)Il z@7h%^mhYN4Cd}hv!Fw-UYH->EGX=k2f!Te3aRI6MH_4b00TrY@2foif{MI$bvZMlL(S@KNEU6#Q{KNSg9#nmmv#_@p zJlR~d?fKLB`q@%Gdeh&x{p*PpmMi~D@2mcL;WqFhWBHEAmBOBJP5PB_v z?^mO9{mA9Cfga_3ITY9&$B##U((W7g*QEYx?&^s@3Mlx4tK!N0Ldj9JCld$q&=2MG>SqhZ{|4WGb!OEp!y0t5 za;gZq1T1B)==f`#Hp5`f70@_E=TO-&4Ax0ZH(E`8)wfWxduwvBAhA(Q{$;w@UCew! zSdSgwh*7p89vtF#uZ-4SY`sn|t$>8}-GJ=jFmOj2Rg)C+yApO=$d0)16EnpRK;9fX zSKs8_F!r02c^hJPCi&K28<}orF5QV&xRlP$3>IZns2sLpS*i+Kl9q8Rp5jy@XnAr} zDTF+fa{F}P67ZxnOh$&OEy?4xW-4&9_@nsbbyfof=t2u6>q<`7C?U_;}I1 zR(5>s!cLBnX*lTietr#wmif4>#!tp)P+8g@pZZ@MK%IMsd8{x;lb4QLY~7b#zDYF` zadoWHi06NqgiO?mSL*NQSj4Q>qkj}%m?NL{rcJp9Xv)JRu!!U)z#5x0|B@{ zkb{KdKDv*?LkPT&Fisk?`J9h-V3NEz>~M5))FtFDiS2+gR{H=cL7LVX~nE z&Gg<6wk%v4bCI;=Z@j+3TN{HO@4$ATX}2a`}1u-X}_Nncz2+n@fNcO3y207 z&k{>7OfYY%d7wF{qzRAFN8g1&K5aZFoRN{@&1inAmzegsXJv@H%$~#6xcrro(qtMv z>EP>skmMQSag}I{mY;jF!eWy#RUmA9VH{YVkS;Q> z8rCHs6eb|+gmtH!LmLwFVuvBXc6kAtZVt1Fa=vEwIiYM$P9ry8C~zNm3Z*!`sn!^E zzll?!jgh%{spG*2Yp@)$yXGCRX;9j0vQ+CCpeAxvpkkpyJH0%vIf@a0gN`s3=p#ATSDNNSlzhJfNAQtBDm|k_UnHSn`D;Tz z&S0*yEHHpVgn>pNBn8a)nzjtK%4UJ4^p|wW93!W84q*K}UrWui*tC{0fT7FO3cs9) ze~lb7S@68cT#0hctB#z!{Vr=0U#ewAM<_ii$XS1~brYcjcnf_sP)4wFjiqzJ35e7^)PaYjRJBPt_Qyd+8iyY3Vk@Ovy{Dg1 zbSt%ixY}}(qyrrw zlPl_d7FxzUj+))3yEdJ;f&2!ctw+r;EV=qysO=X{EdLv*_-XXPk+qzA$UtYHs@=n) z_AuxCS1Q^sxL52O)cemHA^w1MmHs&$1T7a9?QVHl=f8(p+f2xJLf@0*T4ucYaNEqUSr4qfyLs(@)jDPvoOFV zvQlqJX@u#w5fBlT2kM|WzP+F0-}o4cdk+>;^o_gjbxf(>BuN7_uD_tO;N&v3vxa&0 z<~*0Nnz(N~5=@^b8+ZlnnhgDu?+<%pG5j^O--0bU1rPI>NYr32{{{+yIJCKfV5ZTx z(Evv0X6|4s&(JH1;rBRRmkfvlLqG|j%EYo%ZXsI9kW(9xi82+n%n{vyBS_3l~r#a3UU7=YuyoQc{ql9-Ew zybllaNWsfCSGyf5*ER#0Y+kmeQbodWw#Q(01{i?x{S0u;35G1Yn6@b_F^vcols@^^ zP|ojghKusC;xOhb^gZRXsdTjgnukVrko!--m8#AZ$JD-I?aw)O#t{4$ssp{MBg#x^> zVkit(z2*d2=1+dX0IP&=ZRB~X4i>!gJx4f+8OyWQh6+brd^-Q43k(1!q9%Uh6>NI_ zEzf96;G9vrcS4qQF=G-ZFPIYlSXqqJ9WAtf$OHMe1~Yp#i37ij2iLqB0HF&u1OF~- z;}0t$n&&hcI00-={H48Nn-6|irtkv4llrcKkzrb6I+76zf=`D~z}!U-nmQ&SdzJFm3_}3)W5JE8X}@N5V=nF+4?>f2GC^1GOn+ zpwm#(GRr?SxVro-Rpw_{vh}wlifg{Z^1sU_`Tg#kqobiw(?omFGkWmoD0ief@N*8k z{DKGpL->!h^IQt?9cJRD@iJ>8&nGUS%(FK~28m`3MeHE~&EhD$)D=Yezr28}bYJQ} z0E*?`(cvG8)CV@k=nt-0(J(x(GI(;du2R)?-$C)58)ihWRAj#DFAU;Gs22k^hOjX2 zb%4}w>B6{@xu?oT(jJjnFnJ$O{sTz(`a7@3R(|Gw_6}_Hw1}<~Uox`aHbKhO%C0ob zG`^~R<5xBelhSWkQsMY@;%5`sbhv&czVX{6i2DN#_z@<6{pxkmFGC}*YT#Gejjq$f z8NQ`&om3OKhIBX>T#Vo9{L08;YG=Q06LZnh^tTh>1f^npP74!(s#~yqB>$8e4zGP> z4h-|bl1C^MV1e$st}6cKf<;*74}D587uwG~lFBP#7oVWJu+Q6E>6vR2%?mtQ)Ld^* zA`ebOUT3_o*EJLkzuQNcMb-ug^ca392C$D&%QTslr;x}o=Xev#B+D=zX^d5W?YNa$e*$x1>w4~Jo9#^)`^ zit~vlYjlgi&uJ;%)VuQM2jP1ZGZJB-rM$%VFkC(i40xS1p01^dLXBvwLh&{760iZ= z`mgE$mZhtRk#|TuG^slS9S#0@M<;asp2i`=CBRhs5>O8NzL4TYv@LY%;y|4~HB87i zQV0yXdQU`7^N@S+>l-yzJ9>JYJcvFncYM?lvHKUrh=eP)bTRN8Bnll`isaAOr!MNw zRzuc1K!>m|4&+pdk%q357Og8oJ7F!@LQhkFK2e}3LF0kU?16U)C}Ft-jKRhu>(?{6 z?-bj}KXs5dVvjO2mGOj%@->@7rC^Xvv6s;~qcmd~eMlQ{Z%Doq^om`^Bmzw^3|~mx z!kr#I>QJ@(2bF45-^q6YKku%nR5!fl24AAxf-YG9>yIZ@KqlItZ#+;PrC;=Hh;ZQ> z3wZ3sSlHipmplCHxGYWFf-X6huMpCske25jY9D?!q?;1_be!+M^L~b34XX5xF-v08 zyro~}Q0{$by@^U&L~%8&g1?4e<((3dp7x{Y2d%sJk$Jy}T|`)aA1Sj;mzRAetn0b9 z-`Nc;&aeB%%A5^6N8y?FYP`Ci7qX!3uxSnBe{QK_=b1m_y3(%;dAV+n6Bz6IC+`xx z)g1dm8n+NXX)q^r3(>sA>TFm{jI_JLp`hu1rG?Zp#<6cgQP3;Fu}PX+g!ZZEL0&Nc z3DBDPj1KDFb`r9kO`paNq=BKbnm{%vK3T|Ogby#e5Rt#%(5m|>4XQ5SzY&kC;ZwXCiPY$$TdE`J zKhKr(Nbndt?f?wX!7*SGTRSP1fa~V++xEV%62gMbp+)^MAy<5oTUQgihT~L)Pa^Jw zDE{E0{LiODevN(gKMqxUUouZjaQThK$Dx{&%-r+Fwhs~Ir070$uCoiVjaD)K5cI#L zMB?9+_3PLY|Sxv3XB*B=aXP|J@!0 zyEbgcOUOlfw8rqM?XKb@Fuelx9#dsO&!H!qWd{}SLD3`<7N4;uZa_~DiP zol%`^r_?8j1d|&vMcF@+zE2=()af1t2sD_O6F27KVXJJI067|LHRv_$|yl z~s&pRqNN-gr;lTi}Uv}4R_sV>gcL&$yYHo;i$@qTHY?fYyAz9R}q z@qai8Fstq#Hg75sps_c?t(w6@E;b^9a-~3y_%(D3tkkba55L$EKX=u`7zl$dD%&SL z*5k#f*`RR=_!7apEK0ao(0&Q9*jX;!5lb%*U*KP;E&ePW3=Uf@f7y=p+RMAE8 zy9A@DDS`W>F~fiTalJx8<%>km4B0e!S4*;q&!&@n86z^mDm&eZr)o`eax8ZV{8%A) zwlvameIs+cOGE{?8xDzG17O=8Sq|3dhqa%z#gl9`SHPhg@8WrYUIDbWzibTqA0YP} zoTPc=`tRMTd3KZL9Ih0%C(x;21Zx6Ca1K1X!TF}zFT6qPpfsw?{zJ577Aqpa4e`)k zS1u|;+wAnYiyHVdOsiB+{%>gHz!!?cw{D12j6Gan${AAEfN9}`V#27b~`|5On zr{OI+x9ml37qCW79uAFs5{UH~aeAC$@N`kAHuq+ut1E}4mfY(bUrYRsC3m~tPqrtK zf#m^l2RRILH!a@)i`*icWrgm|G2TVjLRIzOu2^|%NwxabDr`)8U`w~O;f^(v`s)|> zd5n$vN4;qWO9KQcEf1fak8NR0)-Z-AeNWN`LJ?r$jtFl;tk*$Xc<#5ji=k z#El&i#Y<$sThGOn=npa9vc5ZX@UGUUx2Dw)jP+uQ5Pj(*oS?b_00Cg|m(w0j%tUrp zmjFZ3yl+))%|&jCx%|#4ZVz$mP{-;db7_xBRpe;vD5O7+wWxrQ8{P()7l97mo7sY# z$^Y>{dg{l3D|S|-^6oTJa>k4rSO&rD+lt;34gpachM zt>+fgC9$7JHzHzWX@_2Cx6MDhjc$BjDliatP>!E?xOCeq=t=(F+^04@kHPIYJXFBg z>@lbW1R!QI!{v86xur0$#dR0bRxabi-3+Sr=CgIwCHpIthVPr@*4=QbJEx_)N?*dz zkdrIi0PO|L7JS_>~-)?r>&&x)7r8*8WK{bLei0yWgL67~|fk0ShW zI1fTZMF>i_u*~1gVY8H`-x+)-=4c6Q-5!VAja0svY00q6?5p9kO`V*SvSxZC<3p&0 zg(iN|M!la~PAr$`>WVSZ6vwXf;8SYoTLLA1M|HD*a>rncqc)^x|KuK>6T6iW9&Nq3 zBpLF`Nk634kcFULM^K)#V3yt>@OfYB1Rf~J{`8`;>Yd%lajt|m;Zp;a4@vK(<|W;c zc<0I?0DbFLb;cskQ>V2GOKyt%qkNk8h=Jt3Z-u0iZdTd8CQ;q7 z?utj=%-^6CHg*(OlL+@>=R2z)I=4*!AW#lIY9u%u&g&gHPN47HX7~B{oT&a@?F&I8 zuCW!K+pb#1xcac%-<7DNP#a|Pb0GhZK*%-g9->1x`dv2WEI;v)7w<8?EDOma)$D0h z_1kh?=yFvoe2ko!EAQWLd>gb7CE$&mEu^uJu%dpaUp{C`5$0?vR=l>h)g$rna8bp= zn`WC1Yq^`%gzoMi5G6CnYFxa7AJS%1ISi8#G~+H)gcKw<(>4`;}?o2KlG zTQSqpdfI)}M|257QilZ{Qjn_RzUi{s8lEWZpnN{r^piPiA^R5z2g(xL=UOUz6K#%M z3kS`J7ARU%LF0zah#xau0PP<9%k31NFlfv)dyk>}H%#9@I*I%i= zoA!}V)C0{>;7qQRsd10)MMA0&we^Zx(NS-ZCQSRb6+jmkZwi>-yJsSq9ONocS+A&r z|M6AU8ijc;t>`VEa$Cp4SCm1Y1#HD0jySd@-CAvj4l9iTT9dk@Rp!m_@pPP-1!V0P+v(A8b7o6#{2=k z;VrgZS#Dl^-Hq~&pfn40cdqq{GtV>&QCDxRe7$RWTu=53)~+O6?nx>@T7v(2lLT#{4K zNYsesMcsM>aE1+yQRQ&9ADoU$FNnoh$eNm3)mv0)J)ZV+^)v{o-_Prj4r`oaT(0*K z3Mhd0AY+w?8PRXbJqF9uahs&~zt_$4#%WG|hQZsI83azWE?~agt81@yAW6fi9H&Z=WU$Sn(o5vWPyn0B% zzRE5Yq_;ahDocdaT$$W&@IF#Ph6psNV+i#K z#8wy+UVMy;=}!Wnqu=_gzT$Tr4{KHTj2++}A|rg7e3XRF0&Ix#SMpUD zf+%Nwu|g>q3wRV7K3K?KCNL~<4UYK(;NzCUp&ykZQ^Yfg4hE2?^&nve7C^M+F+1*s z6FqI+i{}gDg?$S5tt$-upNX}`uK{8nDy5Z$1(w{u5nmnEz4Nrdl6$F9YkyBy*PK}A zHor-lA2$o--czQdKm+?1{gWkBZ#58RLvAw3XFhh!GSB_=a3aFv{w6RTAmx~%Wd^19 zm%?URt{SbdR68q@PIXz>$FDS+{=(h9iaP2s_Ms$fXh&DhSW-SGL~%>eY=~#HAS>a{ zU~iI%QW>`dRD;_2=_SA_c*1|BzvrJmNu%k$Sc&w;BCxf8;_(d5~dPno({Tq)6Gv$UC0{>2~D$9(#ez&5bQk1&|l`9_-KGVf{3=Ke7qq<`9Hb)_Kl5!|8)n$GF8 zQxdAdn>HWbwsA%HO(D4(%*8F}^2`O<#PFT#c6hhaVqB(0@A%wsU_XANJ}_NT(N{{p z#hK0=n-OI>4zO#wO~!w)CUT4aV{N|9gw)JjW`0n~i6w3GA`d!%j&Ql=Ma*Kqe9e&a zYc2sx`pL~vXa3+&!E__`7q3F)AGT0)-A&A)z|j2oAyvC}$k&mQV>EK~&|x3wFTEy$Q5!j) zMH|ILD0CmS*)z8W5etP6se%L&CDIi>i%K&f2z1^RbLHvWCU0LlAs*X?2IZ_czKqg1 zQ;Q99V4-1oP!bsfJAS)@-lo#M0)7^WJw!MnNK(5jk{U(CWQ`s_>-&rkjQt1v6U`F^BO4%>Cq!`25@Z!5@LPp`?dkH_Hi^jbTYL3nIn%jHRei0wqXhYeZ%8n_<-_o7FQ)t~dt1kR`>!`8<^ zvk>U(isvg7M;b?mr(Osa|A52fxMyVlKkZ$2P?KAmrzog2r3gq>0;r)#uK^S(flC#U z7C<_LfDuATq$<)usR{}xy@X~+sDgAs5C{-Rs6n~`q)WTY?6#85XAz8x5!?IEiM*>^62hqHDUrbfA+yw2jj z@Cvs95YUV}d|>DJn2>gBqLEc&NYIfzJ5Xk9G`LtTvjnUjDUyun=xC79&UqUQbiz^Pn1gPgC7_)rMFFq97??85|?Eoai-yw z`lra)U;!<`Et+vvL_XRDGuh5LDn~zB`+n zD0L?Hfl2WXo@on#@^=L4%at5JrP-ril8w6Rl?cUeLx_lb!nKzEw|%AX(>onhR--km z;$EFxaxj^Dc$n}@Tf8xXN=I~~?$b}?-cBKyY+1Iw8qe15#|E)|_2p4hqt?)l?oVBz zccA4xeu=7K3{Rho$%pJii}pdVedUJ_YPT-Dkc!)S^8=y~iT3hrR4F9c@=kQnl)YIz z!~8nuLh!{w30ZMwAT+kv+3&t1&rFozU@CoWKQ#D{WX~VsgFhjJ{;oMiUf7@{Z+S;X z6p!yaYzo)>2NIu;DfpTun?A5aJM@DLFBQG10UUYKoVTB;`EhW&NsE8i?bQGAjDt1x zDz;dNUhq-}mFsfwH85qZQ4STn^~r}#^I?f}b+jf8O_k6(i|u}iJTm15oGCkYf+X@H zChY*(-r>ckt=bm$TQ|+^R6m)ulMHw6 z=VzwvCwMb12}!L%drM2K{VXjYtF^XCr(t^lMS-66-c7a$PAf%+&|#Oil)lFArAiK9S#$>G0J7pXX+T z$1$f+SLIC#(0yiSO;2wlpckwrQUzQ3`U!kteF*vbvv1St;3Y)NOHdCijonk5@@5@) zyf(fkXVi*KS07L3yb>pt80fbLJ<}`|Z4sVx7)MKiF#QoF%PdbYrPcON&1S(YqMyT|B6w>eP7t@xF%X*K%tiC}#VzR@NLG&NfJDc~LY7O0+Gh=Y%zQKr}lH5XW)xvWsIV)rtXJ?Z$}j zVeeZGuXQ~)PB37zJ0jKPCbb#BC!x_l=gbR(ncnm)5mW{9M4fbz3UMUSoWJy!L4Jb&@R;-7LCqWp=us8V2Fb(e3Il`OPPshH8soH+Cts8{-MY{4 zvBybtPFqgwD@tK1IzRczBdMPccNq3ZYaUy5>{g(s?A#96bUb15frKPovq(kz7%HV1 zpX_@YY#s**?-1qSyfHhiLM<3QI zV6{l6|BCr;MHa_bC$v7=3feF{aHKFVnT(?-c)ZKS8m(10wEIzxKFIc32MIi=-#~Ac z)f?tqf%45I1aAi}cbS|jo{P|U^9`|0_cUeHiaDpDLE5M137SU|Ar0#k4L&FAf$F#jiedCo440ij|^s0DhEV|7n%ZV=HNVCfqNEp_8b>o z!=4Txjn8J&>&2p{bFTP}`U( zz$f+>5I=5Q1bZ^LS1BELej3?CHWTt~60HXsQSW;TFwf5y-nlD7#izT}J6;)dGc`U= zO?<#hmdW$%i0|lTT&kA>29g|#L}br`;%%=?DEU3C>7+$vBWeO z*ED=KEWSJgMsQMFn9`w6#OF|KYVy}(u3Vjsz+AMwOM@-o+|#GmXbB0a1;NyC#*D^C=*^%iBef$blqr#)8nm&$GwfGeq6+3{}k8h)Uy;X@FyE)-= z_FHG1QkfFqS>va!$p0Sh{2Te#e}!Au9qY6&@M&#RBn`988lq^WTR)kK?YgMC66-H~ zQ>9hC(`#Iv&QPow2!!0=auH78Sxz{$1{ksRqDuDp$^{HF=vV>C;|(;FE0to3JG7ex z`!S1c2hHJ54c1YY6?3Pd*Dmtk(D-?0?uAcSO!FMHv{d|pO03HB7~lFxkBXz3-mni# zK6oNpXV!oYq+wT{>V>1$du+ICyH&)~ z%6RKHVmZH3ou}VMCo)fpyd_Vf^crF53JU7bus5fyTwI(za!%muP)(zqa7MsA6V9?T zMhw@Uj=V`sVR=Fhy@gq4U#@g3)F$NKvbDY=m_+IkU%bwB_Lfrj3F5;{gLSFo`SIHU zqImau1stuhczx(>;`1d2* znP@fd9iL9)Y|XI~db&_0rAEt;oQZ1T6`d=*!Pmn7f9C^>}$0R!or8TRf6aZ(AK5?3(UUY_$V zX+uL?fHzNp+F|;R1#Z+ZUy=%Uxl0W$;f93Wm)9wdC`WGfMZzfBTx&YU7s&Iq8sd>Q zXvlnlbKa=AaLz&vFbwmSYk&g#z-ZrxE`+4d?3uv>n)VX2{VFq$-Dq`;Pm|wSrC{sJ zGkv@r49C{1J}S)ZSM8w^pbTLAc9X_*fbIM!xl7#>pP!&%l-Bhk&)+n}%8sQ^K5ek6 z-Cq+tBB9k3|F$Ek8l4ZbNc?4n*{BY^n*SOtV(offN&8YA_l2>Uxn{Xj_3NTCGmcye zxmqD=v11|Vm#`v#O=-qi)E~s;LElV?trB6+kns258^Ee124PFMmMl= z2cJf4zktT=58sZb+~VpseZ(?r{o70okCAioRpcmDkT~Aj0$o8|Gz&_EZ`liiG`Ild zP;n@-ADuthLsAYhbw5;}o2S0HB zZuTQ1gJd>vq=G`gW`iVFjZ=3spJDvm=DO;-`$0DYW%-0UGaNlK0@Do}Ua6YaGqNJ3 zb(?rHs7lKNL`|)Azed*3xjCd5oyDv-^muhDfat5p4ZYqf->ZTOU9&3#Gu76<`y_gf zh|?O?4Pk)#JPj3?z6&tvIqq$N&^fh{e2sHoit=BD<~St^KE6)PtzN*{SCW*+ldghy?lwGC- zy0h&v~t5G`auwzPYDJo<6kEiY#7c*`bDrBtL=atDu0Ntl?GKzN{)$1*b;%-Depz5%J)^1kY?st zK)h^|thM`r{5yC~s~%{M<})S>-jLMfMgt6z)PXr;Vk4fzq<^JCjHbic?Aw2(>WpbC zbU17Iw2l8N{)x3?5M54sTFl2^h72~l9k#vK9jjIk@HGO|xBW)?PasNGIY5IsLccP$1aNEXJPcjos$_Xl)+geM}&vK)Si3cC0Sq-&((=Kr?JIsW;l|_9Wxn(|sDlR9r zXR!x(z5CcYIc9ib$$EW-#ih$+f6Mxcd}gse+Nd1Lz^=e_4i`=onYxy!l3-mY63XK| z8~c1%u$drdDW`<~{M#+FwDea|C}Y)=ciAL+Ru#UDw$4Ol)7XM2ai%r_!7h_< zk2f_R1m=vqO{}bh<9G8<(`rUBQI0|ZRU4B7!?VM3@%MMQ zDPfma=g%ccBe8=cRh`iH|F(gOLkfr@8vx>;OppQ8u=v%iQV8NCnH`$5xj zoC{l!wH#aNu%I1w@MxxUSjaI;q1|B6Y{3dbms1M=gY;yXumxEVp`3VOZIEEUU2b(eff zQ4Xi(4F`3c+6n%QAn{RNjMx^fI7_dcQ=AR``bTij3ey{I5!@$ zT`+vrdbrcUrArixWTRN6w(J)g43#}GqI*|DYCmv!pQY8?%x_jAopA1(6OE!QbwfFn zfV`aR4eF@=7_(Y!i5H%I93ZCNFjTDy_97aL;G%smYpQPMnYN%eA#{oYiA^p`yIBBv zwh4DliZUP)*7Uq+JkX(2npw>lMf)q&Dsf}+8AZq%qD`LKotzUUSJu{U3E><&%~
|eHzi9RU2gFOH5 RLSz5Ae*Y)ekM`H`e*qK21Fir7 diff --git a/assets/swe_bench_lite.svg b/assets/swe_bench_lite.svg index 8cf899025..5d5f620e4 100644 --- a/assets/swe_bench_lite.svg +++ b/assets/swe_bench_lite.svg @@ -6,7 +6,7 @@ - 2024-05-22T15:32:35.955951 + 2024-05-22T15:45:26.770357 image/svg+xml @@ -41,17 +41,17 @@ z - - + - + - - - - - - - - - - - + + - - + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + - + + - + - + - + - - - + + - + - + - + - - + - + - + + - + - + - + - @@ -756,7 +963,7 @@ z - + - - - - @@ -864,15 +991,15 @@ z - - + + - + - + - + @@ -884,43 +1011,7 @@ z - - - - + @@ -933,22 +1024,22 @@ z - + +" clip-path="url(#p6db1ba36ab)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + - - + - + @@ -979,17 +1070,17 @@ z - + +" clip-path="url(#p6db1ba36ab)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + - + - + @@ -1025,17 +1116,17 @@ z - + +" clip-path="url(#p6db1ba36ab)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + - + - + @@ -1057,17 +1148,17 @@ z - + +" clip-path="url(#p6db1ba36ab)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + - + - + @@ -1076,17 +1167,17 @@ L 690 138.158892 - + +" clip-path="url(#p6db1ba36ab)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + - + - + @@ -1122,17 +1213,17 @@ z - + +" clip-path="url(#p6db1ba36ab)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + - + - + @@ -1140,7 +1231,7 @@ L 690 75.473969 - + @@ -1260,55 +1351,63 @@ L 690 50.4 +" clip-path="url(#p6db1ba36ab)" style="fill: #b3e6a8; opacity: 0.75"/> - +" clip-path="url(#p6db1ba36ab)" style="fill: #b3e6a8; opacity: 0.75"/> - +" clip-path="url(#p6db1ba36ab)" style="fill: #b3d1e6; opacity: 0.75"/> - +" clip-path="url(#p6db1ba36ab)" style="fill: #b3d1e6; opacity: 0.75"/> - +" clip-path="url(#p6db1ba36ab)" style="fill: #b3d1e6; opacity: 0.75"/> - + + + +" clip-path="url(#p6db1ba36ab)" style="fill: #b3d1e6; opacity: 0.75"/> - + - + - + + + + + + + + + + + - + - + - + @@ -1411,9 +1520,9 @@ z - + - + @@ -1421,9 +1530,9 @@ z - + - + - + - + - + @@ -1606,7 +1715,7 @@ z - +