From 2febc663f3e5a8b1e1832b5dea223de57998d4e8 Mon Sep 17 00:00:00 2001 From: Paul Gauthier Date: Sat, 1 Jun 2024 14:48:12 -0700 Subject: [PATCH] copy --- _posts/2024-05-31-both-swe-bench.md | 2 +- assets/swe_bench.jpg | Bin 43762 -> 43943 bytes assets/swe_bench.svg | 68 ++++++++++++++-------------- benchmark/swe_bench.py | 2 +- 4 files changed, 36 insertions(+), 36 deletions(-) diff --git a/_posts/2024-05-31-both-swe-bench.md b/_posts/2024-05-31-both-swe-bench.md index 22b28f020..774b38dad 100644 --- a/_posts/2024-05-31-both-swe-bench.md +++ b/_posts/2024-05-31-both-swe-bench.md @@ -239,7 +239,7 @@ We can see that Opus overrides them with plausible-but-incorrect solutions resulting in 0 resolved problems from that row. -Rows G-K we cover the cases where neither model +Rows G-K cover the cases where neither model produced plausible solutions. Which solution was ultimately selected for each problem depends on [details about which solution the harness considered "most plausible"](https://aider.chat/2024/05/22/swe-bench-lite.html#finding-a-plausible-solution). diff --git a/assets/swe_bench.jpg b/assets/swe_bench.jpg index cf3994d8a3634ebc9eb2756981114ae954ed075b..85b84b8c9ae7ade74173674474c2f99e9710de74 100644 GIT binary patch literal 43943 zcmeFZ1y~$QyDmBe3j_)75G1$+cLqZ6V8K0v;K42EKnR2k79c=ycMCEM8bWY)2=49< zgWZAkueI08`uD#3?ECDqpL6aHPft%xS9e!cSAFun-`6)kZ{`3G<)!7M0SE{PfYiur#F&`GT-4;$T>r~|H{Ss`_wUgot|21O z0Pf)+AmSk0Gy|vr00d-sYi}F;k3WQah)BpNsQ1y(AHXX>9s=$mAR^vFLPSPJLW0-! zh93tY;UMEub4sA#sT!lwIN)>nMWo%QeOlT`@M2((j{BA4J2Z4cB4QHK$Mg)0Ow2sI zeEb4}LXyv-!jLfX;oZP(pvhoT@CA6x#=0{U=OKV$uN9W+s@W|-c&+&=*g~g@imDRQNjs1he zqvMm)vvb&OzYqY3zjf=6p8e7<9C*L(At50mq2Bfj;hr0OL&QNsrshP!l~6@BcEF?I z^1F}!G$O6E5sjAn#U8;c#{qOgI-dE*`?p=Y>)C&uH6n&DX#I6V&lxO~PIZV9P%b6t2D;c1V`Srt0+- zy$9|cQ^amQkE11WV~?cEhMaE@G}Age>MMlK{9tm@ zKxkyAgdyxc-mb_8fTm{LA||4C%>`Rn7Jhkhkj5wIkUhyIBcdaCKFUy$e}S<6Dl3mi z*NbleU+%Rq0k~w^NUcvIe(fk6&tl?G$TD`ncR!@;WdXuwAYgIEmp3;Z3}F1fY-35@ z=Sxc4Y@L-FUO{tV;?hHUBYPk9v8OYtzX7JxH^#lGnt}5AuQi16S;4W;FClq-8pi8w z=RJUz(Dx!b8EH0nEx1Yrr#3rdw3NO{O-BSp^GSxv#BX06P&_37&yle1XviRKFZmq- zzvMno2F3$v+Xr60dSWXnY%;}BG77omoIkr1%)I*ae5i*m&~n8%bjKsn=bo>~#Dk9F zOJw7D$7X}Bd@>SLd+=n(B^p(|4jLmDChb;>by1#C81#UETx6v`54xhJfF$$5FNMW6bji^!OP9+y>B7T z*jPI2#qER7GTS>63F)FjuB;O(_fCVIL(R2n2eSu4gaW!0gQJ*Ua>=d2(TWX?kyWK)VB@^? z-K0eB4@k<1C0HJ8WXl)pe@gCdTzgNval6HEL>iK}=D2SD9j66P`UMTN)Msrm5D_u0 zs9+XJS8@J6kFZWWA;g%K2sQFCiE#KB!{JH37N3~F$X0?vU91A+okW>u)dM1zU5F>% znGZff=z^zkwFuR`0;UcLJLZ!8^DIAsM#I$ORu;DftT+?wri&KvC~?czkRLdJ@x$E3 zJvtv=YrVZfs4FQ&a`HZ%uFdcZXkr^HSa1zX`HqC;)vh65qIS z6_7mh8KJ|fVP9|`=zmnuw4y5toye44lAT8*p}5}Nur3&_+C_Mr<22-a;BuPO0v>}rprux0H&gQ4wqL}h4BnQmolK&UJ@r{He!RS zzzD1ER&xq2Wr=HG5TL+3M|bA(<>=$;fX5f270Sd8pNR7@7RN{~H@uaIx4*Gja3EQe z>FYf&+a{h3aOB>cJSYmLK-rjVg=JS9JhdsF3**sXc*~4W9%53uE1i})ZE!XzJDL%R zV`GZ{k)~9*!}R47&alO*RIETSW9q&CsV#nxxpF9RQG|(SysmDTrt0oTT>C%Flw*ES(4|NG9_sdFvQ?>n zuu5DxTiFLwSzoL925?ST)Ude^Izlb77}8*76w7wW*_vCbp`f~?6XLi+fm`dBXv+H; z*SHi!*Z!oSYowgBv3IJ5IVZ1yUk-s4IhQ&0H-I0K={JCW6XhGg_s=%~Qs6xG0BDUf z=LRq*4+?$z7$0ONdG3E959;)s{SPlIb9>eQofjP}Ni0~KSZJA#exNh6YDk2;IkPbe z_y4PUzh^6)qF!`ew)|(OOEImCfzM`(81vBX@sBcAJ{z0IiPW0Y+FeO`^!ruYONpy{ z#DML!V#yyx1^U(#nUR}g9$`@yJ{?pOkNmtk8d0Rx$gS)foW3dTO6Vlhj2>Gn<5(%P z&D0yGkJITDvliMc1xOh5?hI1DLJ=3{4k2Ig6-EC79OJ*pIFAoofem(c?AjI^zZ)U) z?4b>iGJ4VG%bcB1w66O-#+zHUqCUVr^l?QOP2kd8G(#fJc|S@tejhKe9;UjIbJ`#e z@cvinUnB9~GYcGy@NNK0x|KJ8k`}m_pseM%op)M9`+QP%n3KMssA-cWzOVaj zU|Fa17tts`nA#wmaMlgoOO#peBKgF;e+djfZ+Tg2nUkGA8y;8tqhhpncJDxtnWb#x zQrHFvHm42`>|6?~DLj?9xY^d&@FT8_I^(x-QWQ zdXVn?7tXt`DkT}#tK?u9N00KZPxR_aipeUB;@o`V+$Uo#+dc1UcQE{J@FP7k)+4VP zuMgm8j7)sW%oS4!%~t@W8(b|Su;HtUBmZsFlrCNHrg}i2>R~FT z2MgRh5BO-3cmpumOg6eax}fU10i;(eDaKz^9E4BX}2o4DhzWNnt|k|Vi-_KrbzB3eTy*n2;3kJy3p?@)cPE$ zD=pqsfa_4(pqp0oR`11#>F}fQW^TzWD|y_Ffw@BxEelN?LF45>)%GSwIb!;nct(Ug zQW@N4@I6NKf}aSADo8!PsGUMSypNxNitSEi4tf4_`v1Qj2>carE@3!JxdG6!L9g6P zt^<$1QHEEhJl--1D%vvcvraCR@>-U1y8)Qq06=>;fOqyc0LvSI+x`u}*PHD27}Ypv z_7XVv;Uwi0M0JKbP@&bUu6h-FbpvR+z7P5@)_q&z3tz&{LpOl!oaD<6()-{Xlff_>n%RDm7r(&!3d?FWcdEDd~(5zY#Q#_TKz zzkOI&MvR zQ@bdW?*`IXGk?+PRjhAn)rLOZ(FGKuN+kA%A_7e^1rrsBvHD5 zX>Ij6=LJ{jktgv`!F_qI$^xfhXA9ooppwOXA?eXCogevLx^xh)an96@vgB>Ezvkn| zYbFUo;b+!15Bprcp>?Wy?nVUV$~k=<{l(|mh_hRmR3x9N%cBCOM$}>Tfz-LBX~B_%EqQr$2gB5GnbC|Q;GJIe48b~?tbF*7Y;Dc0-I8PI z@|wB>lYt)W@Urvx$i{2gNP3Lj@4UMje8chiM zL@&T$%ig;Oz^}H?HNL@?qhmSd5jtf-7svL!S>D5z?pQQ{i?~9W#ByLJ;gx}Qt}BY* zoXZA3mU?)R*`vCuF*_G3%o&}co=%#XpBs#8`(+p`FTI+=M6ru(&YYxd@RTB%axSDs zns=QX81+#iYUW(Y(E&fx!Hj_0EgSo|=X&khEaf@XX2R9LWe-5?e+pUokM3KSvH-da zshmAtX@HT96>3FY!Y%cPn91w9u^WJ-#|~UxhaL!&-T)c}@>!InZ7ArYkKe9FKFR2k z^@!SSzjmozR3uUyEGm5cwesM33)E|CoS1k+xyTc@Fhf<%a`Ti@K7E>Bl{c+zKo4ef z8aV$IEPO@pz7y!yUiKBUqYdH18_kva%r#9PLcKHR6KHkSgQWubWj~PvG}>${(;(Hz z;NX$TobzZ>ELF!Bx-7?V@%KI*yy3nqX|h11rvRzNu&}kClbwY6+Kb2chwJ$z^k}P;bpcs%l`Hoi(dEK{edHN=N?O z9k7RrO0uitZADn0Vjzm?QzSgGIX1k&SR6L=v@%$0Sob*CGT!NHM7ck8F9C{h{OXEx zr1{%LoD5E8-$;Cq*N3{T=}~2z(fkCi&XkDoQ5=E~Wn~JCtze>{#S0bQ@NBpsv;iLJ zX+gBY<3I!+K842zyYoP!0p!2gLAndy;1o?e#O4NI6bu(|qE7R`P%1Sqt-aUoqWG#t zvR?aigog(5G|)h~*P?{HtRQNwqk7y`)nVO%jCfkon9t`@U;y{2x3W0%%%>=Q3%8R| zq$|jBD440KPMlBtcohje?6(xQ(>ddgRv)ZXg_kr=`++$V<`USA(qJwj8aY0CAS200eVv@{Z!rRZXv-FBd7h1)@YmD3IVnd&Bpp}ej*NGee< z$>Y?9k#-Q-b*fQozF(BEn9CmUwq_MJy?!D=&yUjA1Ep$$?yYMHLU>B9yqkY8wbX)) z+*2sum&!MGoRubKYM-WT7e9$2&VYDUm7Wx&gef zCW*LIp0C=eYdH1@$h_xFxkMEQ)CE+h=~CgmReN4LYD{wj=tGKvCT*)MLli2dDgG# zKV{GVdRqy=X;@?9 z@Ieua{E(g4qw%Nx7AIPyrn&JJsgF$#kv4iY?3E1_0d5nv4H?!PG?pIq0f*8EE|6+D zdH?>T%mp~bQSfYtmv^Xm_n8}m+5B=Xt7k8fr>_Q=hb=8{==?=j0+2vC<68k%p5+O0 z?cpf#q6L{x|NB+|bJJs|zD{@EfFeaZLjQf{!S#M4W$ybXulPGwbelif9G|zMR`DRL z|Bki{0LY=d!jAJihjD{!(v*-lg%Yt+%Ww|fKJZtQI z+qNi9>Z}HIzi!)<*#-W*vOqZcSLy$kBXPWR1Gx1(O>aF42cif`(PX{|BXj@I62^i@f*gl*Rs_4CLZK#j1E2zG0QmrMRtt?mV@%|(L5SCcf*!nOZi zp#i`4Fi&7ap*aqZFN!ch8R{@;=FZO6jvF_5q-T7?>uFo}H!&%BlmpEA!EV*=&IS?{ zQTY$N#yNEOONxceMZF73(I;}6=)eQdBb$5&Qad`KBHn_C5b)~7*@%t^ZTuA@CVa9mGV58s<%zJ7HQ zC*2+TUWORRhwlIzYPAs zVaZO#W_X3JEN!f%%7w%u%BuFoO?iCMkiG(crh-^G z@#VRjx-o?h4X1hX6Z7X7QO5uX@$&B%d4`5y4Kw_Pxc-XPS9&|VBEM*A@LN2$OL`9< z&XgIK8$hv*;lM@T2~hX&kYk}lc_cZ|;F4hzMt$7kb!#|TOV&z-N`MgEuN|*)0-#@L_CeGX9VI05B zOS4;doibbJ3TKZqIJ0v)<#X_zSs+WT`;LjDRlLEqi=(Fkt60_jLDXZ9{#SRX*=8BaLsaa7PzsFW~!TV^Je}ntAp* zOD64`B(zWI=H0RG$a-Ulp)-ETvrMa z5Y&Q3ik)HzF+p_s^k952H*E)#uy{L#pQvmeR*d2D%gWk{>Q`A%)&zV{+r9*jrCLQj@Ko~q zN@5qfoacx7_M|cKRSje~2hOmsWfXze6QH%q5~~t|J*vyFc+geF4Pd~=aKw<(^ipFT zRzA_y@cs()jNq3Qxo!PdAfoU6HIKLAzENYu(vhl^H}zrTudXKCPwmw>vT+y8`FVc* zq2RyZtZIK_955R_s#=63y{xNDVzhG9e&J|sRoy^3YoKd!vNxe*lUZK}?w`W? zS`ZaOnFO~0(_I?KkS_%GAk|f^B5)sqBl>u9jB>ok`pifw;n^VEYB!BPSaGYacDcxw z*$lTucC7Rv{93j@-5Z4;OV5(@u%fIYvt7Fz!Dc%AUJVt}jDh|-k>;rrq&bE^asq9# zF#o-Ac!|-VuaNxj5Z3=@Docir7H1eeZ?yxCIu^-Y7kvxN9eEaq>wW<8Jj&>cx|q$9 zkpafTEIIAv^a_0vzQZ9@)rXfVINnbEBv$RHam@e|h-G!A6Uh z%q?1wYv7MUb|^-4UqdGLNbHEqz( zz}Fb|vTL%JidT9|}epx%Kw=iAyS;<`cfd^yyw@>GDzr!5A?{BeXW*A>x z;?R~C95@*15*zC}hO=dLQN!r}P)=%ppvvOdzn}K!eIXUm)cQjUGf_uD($)nDJRS?} zv_|TxB@;U%ea&O@P14qsw4YZ6YKfAFeBb3`reqn20VgQF0-?e`zFLieY=*q-+=PO> z-l_V6H;nuZ24?6$8#|g>OD(a)zxw{B5 zFWM58;C!m(vGbEyr{jt21fyTVt9!i#kQx_Se1stjp{v#$@7(p8fOkJP_)xf69r{*j z>3lz%dgm*-er-e~&d&Kb;cezEHYPd3P7AFf9GsC^3Q`Svq1^Mx5&uaq{*geB*_m9$ zw%F*-Jdu9Qx9Vh$N<*Xd@;26;S>{h!C^+8uHWFhL)~GKA=VP_voOdxc2n}g%G#)ET zY0PkNbiWuR`L-q3u#Yw{;)`F~^95fXIHe$WH9H#41gwR@Y4QL2O8KWa`K|YnoHjK| zcR<{VEFWu0c{E)``&KO4sxN!QRGt1@Bv0$M7|{873XIF3Ts`D*{J@zZWo|NcZ5HC0 z(ml{g-Wp1f6z+5$&k4Vj3?uwhHIdBg-A$R#DbrV0@`TFAHb=bDMIE^AHU}r78?iCp zq8;cZ=sx1x(1qoZ-s|qR$H&TyZyCB&HO=2Vw2WbmYQvzk)~8)oux%Y^6P4(-Hcbod z&qy^jeuw=Cyj)mhvwclFErZ0_oHCy8n!ZhPD4G|kSG`X$xuM19A^i#F2cb6q)LY72 zN-}}AVJ-P=lzMavvs<+Tk1iCyR94Jl+9NN&{6~+a{S2u$k3OXFaN?1t?b89ja3E*n(Mc+%jkT@;ot_j$MXXk=@^Yi?dnQK|Il4W- zaX!o~h(1B%x@)*%>}#z>cPTcHd?e#$AVpi2*;yrj-Ket-U(=~juy7B>fXLH)F_ejeDzEHBg_K1-J0hYcsc0J$CKdd5^zslUDfXwRx?Ufw=! z^~_MO*2U@^99fpgkxRK;$>Q}&!V`YJemSqN9Zp>A<5~g}^>0O;8W(Ed*JSy!|BCV3 z-VUmP5^%{XjuBd@zcFNWQll9IXMnKD6nPgVSC9a6%>J!%$GOhIS4!Bp`fDE1-EOru z0o__G#G$3NmYRqmBbx~qg1lz^uMg*|l1DP-)VGn$Ehol%=f`raR*woe)88H_3eBu2 zwC@yotxq^oYL6?S7!_lu9cOZ zEnP}PFQ)p)UB4ExP%g-JaU#VaIQ1zxNg~wbgaY?<_6Z z=sTno>4s~kycjx4vk(a`IMPY*ol!SI?gOf1O#5xCZ6s3;xS)xRIm6^h%Dc(>v1BF~(`*FvvLaSvwS}@fe?J(aA(Wbdn+$u`KUbuT!( zZg)$;F{MY{3qgl*uLj(G0q8P4Vf>zo{FlNVhl~#6=v3ahhAjWpDZQK48Fxqi?2|4t zoPu<%Tk{bRli)Ek0EJ&HtviNCU%z9q_R~90Dolk^X!dbLCG>enGB!hs$2LpCe$nwr zc7zRb;>wJ|W_uCl_f6btLF03u3IyfeGyg<)O3J=$IORz?GeD+e%`dc|lQs6mHCSi2bH_vZ2D|LV1F$yRRf0gbtaTtj!Kq8?xQe-LBZIgerVkPI_{G z$}>Wo0*Am+czU9w zm_Hur;%XvB2B(>Hw27nbYR{1EQ|}}1+6Rb0K z?9RS2U{i>kR9A!!84_CuAG1Jx#UMqg)(?s;ab|)-I3gpTDY*&=(DLYG3b8!U8a@^{ z4p!ur0}rgk5XDQ^n4#xqBAj~n$WiPRS}IP)qa|!w zv{3*uB`h$u!{9$ZASF>KdtxwYMB7g(WjQ|6;SO@m%{!63A0&olC~;c4B|xPQQ$fCs zpW}h&HFWpCN!gfOvkEngy3+H;R4w?(h2E`5YyL57ROIqJCVjSZdGz3gA{Jx8wrQY9t<1@)te9no)H{pt3-CJxywpk4ax4n#!ft>O^oGQ|s2#8(^rzl#k+ez_$6|G$|jM$<;x7WO% z8JRAU^Tw(h!6{_UBT)s3)GP%nI=j&X!Gv6rEODunfiA^S4j8Hjk29=Bg+=Ev3jl|U zM#^O^#E(eXfnp+H8^3!k4 zsV}h?rF{)*Ab}_2+dFt(To^)2A>m5G>TWQXWaVhBp%TwqHl@NqJ*RP zQJt`^ER6rGecr~t;}O#*xIR(cBdk$A>ZRed@U(<5ICK15Ret{ye^ks%p*=1j^WYx4 zxuS_Gm?*IG!RY-(67mf}vaeAzp_4E14z!_oaWfHi`l zkq4sm4=A2qpD=vt@aP;wp#|iAZ=+g#E{zYXU%u*Tjh?rbjdBOdxs@m#rCMTXqH3{9?53uCJ#Z#ja_c&Fv)ADrm z3}rI)bj4CKqsSX9To27nReB}J5&P5<^Y-8**mmKV{$!zz_dDACpCX1w`y@YN%EKz z=|#ST_;+0HcixBVdK0kqfvd0!wS7-`rj0-wU zJA5l2l@E4{DWBc4t!h|3idr(a-JI;$^2|b0Sw;f6+?clEu_!N_vSmbzi$Hm;&OLl9 z7Umbi^FG@9k&CG_4iRJE(5>ZBvtf>{N7p^&QA(Z`%h6sL+<2dsT+mUUy028)itur; zPE2fS4x6db$dYuszsQUTk0S2n{^Wt4%!VHjBU~g8J3%wCm?8709K=T5Nd*?MV66%q zDB9(pdD@2Y?6OOLoOPt=T8?aVjf!3r6xi0FAFa5OG#qqscVRJAb?w5Zce&~oCR=ex zen3v?;gw!9NrgQ*ZXjbn#_y(#VJ6@+^vD=DIZYff7w~%NV)#^7Dr>qWvo}F^RE-%4 zfFdkEx8J@JjNAn`*EoqD-64N6ciIwen!o!^L6-c60}cgc@?|7t>bdJao__RH#Us(- zg{r#T>cC_0TRWxUZL`@DMIOPZZhD=^=9I6V^gXvFUIP^MVg8($wD!1YvLk=P{_b9Z ze?@DE%!*u5^H8Blt#w5iR4-~|a^81*ZFVPU z<%DT(gV)f;m}@K(lJN+`6F`Oo2KGLd^4DyMqM4RCPtS4eIFJ~%Z`oqEt7B;?nXC>ddy?*hUa0-I&5=aq#p7XEd%yC)7&Y&nmW!2$p>YL{`9MF%!ls*g{ESNb3UfW^F;Cy zzji^w*}>$S8J+3H!K}cMc(@kvNQ25Zz0pw@Zq~8t-T;xxUCF(U@c*sO{~ zEYWg%H9d-&Mf`fNp064n<8{9&&%k<6-#{Q-v+^BgZk5Gzy>|O?K|y;Na+_Uo0_V3Y z177BQLC`U%tCMAyYs#CX?6*rg=zJvAP4{vr5KxJGjIG@~-d7s3?UU;!ZE>xsmFY~% z2x`l>kP4$pH0`oBv0|Zcg4ef1fcbj*hF1K#-Tbp~9n7=-CEbJj= zUnqS#C?*;q@ygpbKi;g=t^m!fGVoZ{{=NQqm+kn{UKw+w;06kd(jWYxNZ$$7K}Pot z!1xBhe49|nef8lo_Yn9K)R`g$P)&j-70$BwXu#t{PxKD*a^UHRBNP^u+@7Jc*Ihp9 zc5r~Df%(m0lg$G~kvx2bkh&0jj6^KudckQLX?GG;{MY5=07k%{>IVMdHK5zKk{~W_ zf=k6Q|8zXpC6tw%LcSa42B0{0Y1IsUB0(H!xfsShkn|mOp9cVs(A|PAOW!powdQ_z zz~@IKtjfg4J@?mHt?Awrhaj>rwLdy~)Q`|`6?2)dXMQz*u9uU=l?@MX(DwN(>SwFG z0{VIbh^92Zz&=-7E9^nn;<#u$fGW!egD%+4HG)%){nu4SgH8CW;Dq%b_sXJUr27O| ziqhCB*@loY?y^0`)oVx7Y9s+HHVpbQ{HX`+{w?tYBOBvQdC!Kp-x%K46!Qye1WM}h z0RDWv!fEAZU8Qj57Vo#EvQ75lh1=o!jC9x@NiLy+M-AJL>ppC0_a)UnSU+D4Q9-W% zQ%mw|Tnmf~#Ld3ege~w2JjRyX5mp~PRhdS^z^;>_m2N}AYrGiZ}&gYn*M+;!8nx;uRFEGws%^RVc5T$CR08_5^ljn{G?tn@e^;_&mME&uIs zsNVjXSKj^#8Y5-U^6;zbEMk^J!Q&}PveJFP2zyq2(!6U>$Cs3DdkkYC3=~npg)d?G z6fZ_S*SFGL-RA(EX;?%ee#vpG*;Zs%Af+L*httpDK_VA~e2zpH&5Qz+E9D~mW}n~+ zq_Dh{NWy`xu<1&dd@i}}_-G-szE(lhY=w=vqxjhKOMh2Pvjb!Mi`B17dxAU&K8uD! zHa0~&bXDDMh)>R~^gCL8RI2Htu5mHBFLWHZF`BpJ4<7wEHaJqx^!%4wR6$Vs<{Tt8765Yt+Oo4CiD77B8yt>ft8N4XBVY-mX6y2`mtrMV|X zTqziQ)QS19$IM<8S8+fnWc5iMrtbW%lK${$ z@OMrtTlMF2feP*N;4p3YzfG254ctFXonaM3x4(1<@E;yjcyj~rT(X_cZ@cZV2EiYS z)%>muk4e%Kql3+1Rcss_1oWH8tzk-OrHKFBF z(d*21cG>v)OTEkmwn6=`(Bhv0TM}+>21gO!|LN9$X^}V4Z^FoH6V9+l$9spTta-%U z<)QplE)&2}#5>8HS9}hzF+Su_-C@@K2brkyPcto9lJ=96KzSAeQrUW$P=~3^(sEh6 zPL@b=^LG;8+tPRkRK>~PxLpIahvhOXZRZ?+c$x3@IFr&%RGcVH^b`_~(L5!1CW1!yi8-ZtIFCkww1cc51EYYco%UxxV(vfEJ(>KkoIo|e zxSXNi{n0--&U=YBfX(=fJh+AQ4=s`iY{nGZuUM@Y%4{&zdDZeooJiQWgEp#9WaI`w zh+Vl6j}=bu)8lTx%eA^&XkBZ0BA9n+XCpcrXbPS{qyN-}gGNdyfQ2@vx)4kTjeS1y z<|RMg`cUkXye5%1PriFD;s?GMWn()s!doNq@WRn^Kjba!LPy4B!Qw(qTd4^i53LVv z-axZhFb7~n`Ngl4yDS(zv@A~&+UadlHj9hj0kUO&3SoS(CbUxdy1us7Kxv|P!rC*z zrI}k_CTRH;8nUuOg#U3i?Z?51uIGDKi4(E@!IP{ez4ejz;|@GZ)ecP<^0xJKhgIYX zbT+uxUu;Y$=xhZFzkQ$1&mdgsLGZorjT(nbl9p4Mo zoWtOC=Shhyi^|G?kQ6gNm1v}x3Bm81XD>*4)=v&YX(pc~kxtWFGQ=}@C3q?>1$CUx z`y|w}c}mNg;D>5)z1H4W4{+h-g~FPSa;>cGjz6p`ZauEH z0yDx@Clt7eI+&JM3>wAGlGJ4jnORY4$dD}5!G}*39;sKFXkgU#YwFo7M~A5n%RQ5x zpiiy$;wVGehhTUHM;nGSQmT>azCiSqqdsg!j;6CC;iCh33mxLue63UR$ynGXa=x>; z>!W*@qRA6H8Vc4fZ-a;@y58MCg@-H}pd@flS-M7boGt}We9MyH?NT;hFwl|>e_C4_ zI734y9DH1bL4h9QX^t1GxG2w$(={ei1j+OQE_$Zt@*zAKGh zfN9fw5Btd9Pkc?$ALbTfbDCNB%@WAb^@U@&O_XC*ATG5?H$Fh0r~qP? zYW3bqoSP@xQiKvi0;P$J3#;eXCjy#?Sylt$B)D%)QVlUgs_0)jd7{tz!7Nw2x&b7tP)0=p@sVz&QEYX z{l(>Z@ClTs8=2vMB|jXE?Ks-_58_cPKO|+7Y{Rno1(_7S2JWxShW1_fi-zZ2ER5t7 zVw;d+7I?l&u;%RXSpy7lObqXA;F!M!gd!6)AVqNWq3>_GiQZ&J zf?5NRrMqlL%Hq55N%*KOC8w(WBh4t~dF&4MY3w=ppGOrsraYv3-Cva9Zpb27k_JAI z5|~6|a1;F?zp=^DEEEtJm)<9q^)P~-B-e##>C6Y$^PNh(Q)Hgf)5FN~Hya{DJY=G*hNn$3=Gqo-7uvk8 zsjULf%y8Donb`;V4@Z4ZMawO$2R2V&l{nf|Oxr2eCox2e9p&7=49qr%S1o08_{{6s9{M9>cCI^JAY|7xNRRyS`V(8&04%u@>x^(_UT|#me+0>0RX<)*Oli;7EYpSBRN8 zVEHn}gLbBn&5600#3b}Sds`~tKoA&UPG69(y%7@=pRX$mb!Z<*kb0>a;r391ftI3G za9f-LnV_2;S|~vfaCHnRbajiOGkh9|Csj8uM>m%oM~pvSCy^J-(xc0011z^Ob>`&T z6&xY6ej@l?gdD?%N1xS&N0TV%QrtQ8(Uh)q`LrBKB)%x0UySPs;_)N5qFntBBwL3V z6(zCH09gFwl`%~HH(ijn^}uoD7WpHvy_5cG`Zs_=D*3<)J(Bt#;H>-&)pbp57aEcG z1kXan4r|Go!}E9(CzdZAMYDRpRGx+-cD)hnC!w1R{a!h9zg-j)V5h2Wi0v8Y#ce4% zDSOcU&Dfoui?DsOeer5$Bs@QOo3DpGYlI!Enzs!mn(2gx_wMphc$z`I5|EUgP*|5G zdUPS?{xJodYTseQQJN&)US$?g4avRO(i0)y*D!5})T@2AkCG-9NAfjH<6z|p8ol6b z3`H9iM?KL4iY$W8b;C!=%9zg<`H6N#Vk#FTDmoj3Fq*!ibInR>dC@-Zj;Hl5Uf!Ws zh>OT_>U#AQh|s1qtj}sYlmYiE8&nm4ldirTw{j>A^EWTb>Nn|Hwe<`NkN^7eEB1m3 z|FN8h>>t7^^A9^7UN2krcU1o$dj!Y3s0sU9(RGV6G2aO*t7FxuD-&-;0kEV+Iyn7r zl8&&U?Mwq)Vtok;(7p|_K>tNV8I~FyT<_Qkdv0MY_nJ)DMP zF#hrmkN+d1>54(Eq^2_&SrU)mu|hSqRA*!!kfX`t9b7+(UxUA&EiB73$5L}({eV?V z3+gaI*Ud#Uo04#JWq}w4=hL8+g4e?~*qWGEaVN^<-YKhxUOhiyCJpNb=Ke>UwV2E+ zdTY)6{9}$YB9B%(XJooyJ`mF*&!+jt?Cer!=u7OQonoc!sc@yANBP$eM>u#znVpA8 zC=WU}6y#n@_|ejfy#$g1)|f~nnKS|Z!=$>5h*5iyE&2MhZ_`HZP0NmsiU4pY_?YjX zx+3@GG76)w?%Ep3){M9m@i#x2mY?X9p^rJq<*&9_;9Lsleyf81RbY-Br^n;|;L*Mb zK~O1#(1Cz+@|A_hw1I3C-zG3{A2E_QCsLBl?*A)n&iw2J~ zi%c=p^!+ZXRz9_cct1dX1*BC!>Tq#?R+O(ZuG{^DfUQ{9g{6 z11g36mJo0YBmKFAAPwT~wX0RVgrgY4aNSmH6?Q8ndObDuf`JdUHv&iX65h^5qCBK_ z{rDvhv%=A-B8-K3r4zO>aee+~CDitq#gf)HZ3YMZ-m<4T(&0}h0|*>AHn--FbtRSR z=_x9$u9CW%k_~D3@(C3&62;Lw;N?0tIlr>I16F~1K96EtPFXa8I5PMV^F9AC;V1)d ze1zupD9G}5{dKurUYBPTaT*_2Az>!WtBTIeM8#^t#K`+wkF#}VeRW*4E??AEA=-l3 zs+mLI^Cc}$DZ&SdX0>Tn9VYo*HllUwY$cHqWUiLatQs8dzj1W*Z~@A%A1&7^iXqon z#J}`+c*ZPRMR(HXQ7r}FhwBQntja@?rc)0!<~v(j@+TpjRjvCYhoR!u$B*udTfwd! zOh1Ra_yt6FHg*wVtDO_K?vU9C91Esrdcm|9K_AdghboQ1B`T0_nQavt4>qz=Gz&$- zl|s_o>gGC|YW^e)-~`X6`*K$(kQ`0pc6MrpX1*f`1>;IQaxE0)mK&=$&#v(_pkIKQ z(JSP!zn+p1VZ55{Onv#%LrYHz;MkLCO>0;^JTd#c*70Yh^~WU?B*gUM9|)pyln{@V zStIVOmbw_a3TirNTw-e&mRlYoL-7;wH6hLETUdYe8V{e@=!|1~?bDdgU zrp>#4nzgs`k^Q5!h#hCda@=fO()Sn5A+~Gw?#E(~YWV1e-gY}jX2m`D)C0^k09PwU zxv398zl;&2FK#)!cC^3?KB-2!{*4i|>$~ou0$%WJFa`bbl@Xx<{>yF6q1;rIOZa}^ z@CHz>lD6S2a`L_Vi1Mfr}k%@_XSKz+OUXfSk?zXEP z9u4?is6PY!(dvA<|HaP4Om?4_LLu5$s~1#7Qh#UwlDiupgnz7Un5TnIhg^kvfW94X zYW$7auXVfuERw&4znmyhna4>%$}=aB;dT%B`=_%Z5**n?OHK(fKTQJN!YMw7SK*^| zCcm1qaepyq??l8H(LO)ulGgR2a&bF&=&G%FrmEx?(P7gAjV-_t9c=wG99yWZyKlvOR_-&SyB*8O=4$AK+4YfN;!~8DE@oq50;N*t-UD>jv z0a4hY+QVB);Xk%~%{E~^DR~w{lN({Bx^vv}`V28L(ik2Ot>vpZf-E0c5cWB4u)V4W zD+F}~aJ6z*%ZMa8h1IE`irB`Xj>j&%0hz8xp_6c4Upu9EjhWADSG?uX@RzEFOTDQN zU-%Xd$Z@q{2P{Hl;ea~E_8Cfa8H8qL&_j2sP}_C3Oh^F*@i>{ys@u<#H?w|;+lvBi z>*7Rf{}s3e&eZ<(oh6Dk*I%!gN$>1Bl@sKD&#RyR#dSgW&57hoqJp)+z<_!wd`+|W ze<$bR*262fjq{h+B>#JnP>ktue@i@Qzg-`yjo0wEmwc$Ue)${NSTJ%I+{3fLgqaRz z{`l+l|3%5cUtC%0r6v|(oepV*SV1)hs+e#>1kFVNsi#ZV5QzS2D68$xQG(7^DnFj~ zjFj6FR@r+7W*~6TR}in@%tEBy3&Fhx8I$n>edUQeay>%hrh(hLY=tDu9pk~YA)A$? zD%k0YZ~rLhs#o zgL;m~bC>77zwwRnj(0pi7-47cthM&sYp*rSHLuC+&iQs&MW{NytJ6~u^-k%!X<&p* zi=DF!t^CPcq-fpMZq}w_E!U(idl~;ZNbYK%59XQiIQPXc+fMqXW^bfkf5=vnH`K|N zXS8k6@L zoH*}%s()mr9y#B0O&{o3{@u{0_|?+|?9S8qCt5nk@OSGby8=-6rQ$A}guwpxHi=7b zz1Sj0{|K~foftlJ7f`SnFY?-xWgsyLjarTnf~cLBj*0onK8!4qEJLGDG& zt-xhwzjyQRgZQCr`OLp}P;$Bjtlu z-=l2wxSI>Msc*c5k78#^dfg(;6gjRre4y=auo4C*Xs6{taZ*-?tQ0fC$R?%kIysHy zU}VVs;9wx>Rct`2oDe`u zBgoG4DJygHv#LrFb8F|cvu(0aFEm96rh7MWls3z1_X!@|H_@#htN?CaIvpjv5?6rC@?bD-imNhJON??mopZ zpJ@2M9$_hX^nS79kmmN~0Q^_|LW(E8;7K3&W=6a5trG=^+m~&gnPvI=y{OK(X6{%qzy%zFc6#s@2<92fhcCI(y&?PssdI-H-LFvI}(+-9(zy+Wu{-y$~-acDNlu!#SEDdq3y8x1JI-RQ#ybG`SUJL zCGjsr7LOK`DBoPsI+eWo4~PqZ77F@~tk0OR$={6`#`*^0`Hpbu`#Zwr6v>%>^Rzx%I9{$D5gX$jbiC-mo1OoYjBnKT=u$w zqttLL{e(b&1RHj8@75U3ys-N!8X}&6=EWW4H8l9l*LwkGN`DLELyBgyvOfxBE|p<@ z$W@A6t9<<&cND*ayms(}$TKuKlg4`aK{$?oF@hlS6T&4KqSkM#hq+Tu_OZy+;(U7$ zh{g%egze1HPd)Ho!1^^$cSz>bh~0_t32a;6>70Ik=0WRF^jSAF_5BK^Z_#}~aG$!q zv}TVUoVW-(_v<%vA*cS(-+V|vEV}F;o->($8i^oRzb*Tl;`z_8hVtZ^f7|i?9VQ(1 z|4**#@A`zx<9|nh6#Sh4Y5VDe5s98Pszm=rc)u)`+y!{q`YvJ z-?&_Q)Odz{^C!z#8eaF`Xc5Rk+Qh7(KJxra2_KwW(`GL?;ddUb88(q))%$&vh5B`a z?GFy?4&_}&X{#%1dZ%Jm6vS@_Xr!O1M-UPx`AaGtavGf!bI4oh9&67SRm^H9*L(UA zW6NCU$jq?B`t*aSB-@#3ih2(lP2vcaUKrH)ZlB98*DD+T;bFmf+Ai|}iU=7Kk!AU> z4;(nCN8Ilr)+7%RJBdp{k!Lp@7JlI zfL3wl_|)Ajay^J8uCx2zC21Lsl-Gs&3m@Olyo>P>(B z3oHl-sb`-;0=~m8u=M=4I@Eh}{KiB+jm0URKw=6`X0|K&uZW&BJoP)jz<@yi=InRV ztM)st$~JW;c-k)I1fFF0myrN=)p!3-&T!od-lq{s4sO7EftWtsUvsm6MSOt7L+wsm z%Q(Se+{OOaXY;=MRdRt)Du6Z-7de_Zgd*M2E}UmiIRQqgf0u@Z75{f1cFK&}NMv;7 z{(S)02z0Ma`#gT~uO09ar6-+8CiheZpau4-Q+!JJ>Gd-I@+8$g&A-4MK6mMU59A@3 zQ>*Nw_v!jnPN7+ium93a8?F4GSdv^Uq~@kJEt12AWE$zpA)TwMD;F<2L;b)GWGo!bSIqT|fac0_L;I?4Uf!P!qK9zZ439 zOn{s<0R=1U%-`Uo>|bw0QqIrf0Org*5V%6u{KWpP34CX9`L3$}oyDd41SnX?vM@#dWyWj& zg>>~4_SEm=FZ^yVA$RAWv9A8`YFJ__eVd_aW7a4H)LiH@H|cP`9iQEmR!W*&8c?+w5m_x^w&G2)N z{_%+|cY@ZyZTrqHG5`JLDvt#&V~_cLzcM%tjMMzoE6;!DhN$@wC0AvPLbIjkM*Y^o znWj^qRss4u9{L1Y{@28yztJf!0Z?0jPVsaK0~U78WW(>)p13riVz$obd;<-s9bM{M zx<66-+fLf>xh}LuTFYD4eKoasF5oxMp&|5NAhS{cgEmvj<992W6CfJ;1WZ&`!2^2f zt}Uld`1%nbyJF_8Ge7z8e-aG+W7yU24gN=HsNXI9v;XU!`;i&^{}y8Y4>t-&N?~k! zhOwe;Dom*Q#U=4&4#)kjv)lqrdORgQD7VY$x*to~)NQk96w7(KKnQ*l!}62?uOEySf?0J_v=<@q*>ht(r=9Z z$V*t|8%R>|2zb5w)6TKwZvT0h@y9iw;uFlof?JupNwbmKfnchc{oc|yP()w$bL*&X zP2cFcS;Vn~;vn_0x8EepnPJ*Y@ZQ*uYf$#jd5mwY&g2vjj{)V<>~Jin$4XR8!IPpH zukko})HR?56nGsA(p4(k09HI@Y~!rA6>CLm9?BsZ^9|Ig4uIhOw&n(T54Y%dT7b-s%=gr%DDl2vgeTGMy4@v_ML^Gy ztXo6Fy1DtOIPBkx9BzLDwOAc6`E}YKx<#1rXx)&%^K&TlKW?J?^V7Jf?t7b@IjBe1 zDy1t2-JNY=K7;Go9;LgBUnDGGwLivma!*&&vwyS}`Lp#I*-x!M_Jh2i!_T@@gwJS~ zx_HudywyJzd_eP0ucQ$r^A-NcgPGSqho<3nE&cD~PvyV-&-%B@cQ6ExUaRd9Cx9sN z_>8T1MsiHjmQ1_uY(sf}9jH~_A9wRpSYlC5@BiLegc(gCTwd|L@!o>;O5|}3^)=uD zW*h@qs2JoW@gMvjucjHEvdta=r{#YcdcohP&0bW+KY8r(n#ko;wYu&lfc6n)haNzv z@m_4_@dY@&Ch4}aezyA0r_Dcpp0THzWuQqMIorzzekH1ZPMWvzAwN(Xs5ZaZ+;5;- z>HRGdxRbH~;8(OrbR*Md_}e44sfY#_28Aa5l-SRw{Cz^?VGwE=I`S^k-nGld;t+^lqXwjBPI%$w_x#-YdiBdXHS}_RuKa4$x9a;R^9C@vVNaShh{G z_rRT{LT%jZb3-Dzk1Vae2qXH0@+7z7J$Q8fOCU_tMHt>fs&wzl`cYF7lPH zT*>r3?R)@-R@~z^yS=lacFYp_mmwX!Rs1aVR%h~ePGk1W-SZ6!$nmS&Up3m9mH?BP|y>Z~Z2Pk1= zx|Nns1fg<3`~xm9+H#caR#uOAyCFcRF}u8WTzX|Y^ulkNxcZ z0MGe^)p1wG4E^0g&-=dA2GYNtfx!NJqssXPo@-4{%{y0}4Nj)BdtAnxp7H0|@IRMs zjQ=w8&m=aMKVH7gATc5lCHz*=p_P9|5BUdWB-R_j3zUxs5lZjqZE*}u2BjYp8y@wGMl4y8m;`-;Is{!P^ z%+R@fj_{lpg*kOW%?mx>K&s_$CMas2wv(pHGejo_H+reQbuO4kXGcmF4=u*E3@$4V zF^b^jFraK_s(4dP@m~0dZg&&BwBng~rA*p>$UJ%0d#eNFf_{v!&9l)9f2RI9c0fEc zT?QoagrVqMtLSz<>X@ll=+0xH&_O-zEFzMBFO<+u6o<(3V1OaCwIW`UY~seqEw>>X zDrbRI?cf+c9E#v!9FV2hq#Y6>ujV79CwtrsqY;NVht-#5GZZ6!Jg1`fQ9R9 zqWct@3??bRI4^~^!`D8$quQJy<4bN<%#_NcgZOsCK3i&X#t0iaZj>6MvR)6<@n_|y zk)|!v_YNuZJOYUE=hp^zy(E%c6$bh0blQDdc5l78i)Wc-W1BCtUY6=@4li4*3S$zX zmBCrl#xNb&FN!M;!FNr2uOFP>t977zle@B6AZ}Fh5UMZqCD{pavEWrZ8xtW&bavo0 zNc{_iK1J}vk?8^P#~noekj3D1!|{QGG}r8E8n*nJQBtvu2uk>|ReZ<0Cgj;Dv+(u+ zCw_^^TYd)%Li%HO0Zr6H>6tdT;^P!B2DLC1Uq6y7TgFgZm> zIe5-N0%`>ogdd9sL550bi}bE3KR=Ii6Htp>c4+6hjn+FGjxTk)92~rwMv<6#htPZ9 zplU2^r+YltB8&EyBnq9hjM(^yo{1@0NI;ZnZyY7+6q|2Q>Vy?=nlcS*oBuWZ?`%J* zBJ3&El4FBdRcO+i=;`i zm5Db6CJpb7aojkgaNTh)w4w+TpF-DT ztX@qjcoUw&T?Tdjp(DH(Z>rHw$?L0*v6ZD%J60p;W+XXrCfkWVVbqd z#s>2%?Xnzs-r}VaUcXs5?m*1sZa_C!B;{#tkHZ>>NQH&#SU=ktp!cxP=F>M~^iJZX z_3%CrZ?emZK$|NOrZXt;?K~F+az>x~+-L4>Az7WNqT42@S$fGawZ-apYYu|jtGPzr z@2KcH-U|I{(eO#=tkcteyHOimu=d-g{BXW4{HFPr^3%4DR#-tUEsg+f%ny#7dq}v1 zB;!XF%-%EM?n&n;RelFiO4e8nw4to8^@R~wfD(($TKSb$CMKwp5ocv-?V508x{(@= zTXd|i>#XSg2i1%l{j6Xw&06}A=J>>*=cSnqcPh+7`kvwjhOjw_@1zkmhi(*bt2DWf zUaaWHEhc0{-p0@ms)sE+i!I-tfAVBVasg6f+8Fe2v17oMNI^J9hzldQ%XqU(jkXY_71?{VJ1$Dt_zc*XZ5eg3gu9H9@1Ru6W^73;4AOW#i>$XaO1h-Vh%E4T`Y@p(lUcMiIh zrFFgLjaiqe>FJl>;ld$dyWu!)XfC}e2E|+* zHR=Yo@#kDv8r~6J+Ga#DqRjw-F|h1&vKp?Pt$jjK+G*?R&@X_`7%_;=XCnGFdS0)u z&7=QVx|$Ejx%H@nf>cL^VF+{aptyqh)zY&-8I3X~4KK4i(V{qA!yBBqT9i060URmC zI3nUgiz1*aMtH=jx2ZNRNHoUynR)mrRU?;OFs2s0YLb-#w-%VqZfc~(jXMMDCKPPV z5g1K@y!hdIC&Lu|2Y>6nSu{`1c8$sGjS`d)!4N@`h}AL=1q$Nn)X z?_>G;;h=O`^~z%Pip1g3kaJ2^*+!}!XsLF<4|d$NtsmwoWsepn<}4Dn6dM`4GOq=R zLUKha>S(gJ7_N1if)g(Pz!WO^4{j-nkO^Z7>*Gsh0g&m}hqG)U z=L1@>nb#F*rTO$-rygIchOH4d5$F@NKR4}tL^MccdHz}C>v~q?xZiourXR6KPvV_7R^7oEy(k~X?MHG;~d*5y1KsS9jDAw{x)Zl=u z^AOixTcgHl3OJr%#cupNoOMPC3fZMH_5qOh5$`)~*$WbHl!YAa!gXm7?89JKkLq!;|KH zJ4w;zk)(|hN_~EP*Z2<7ym$OIUOeLsvQkg6D_|l}hv@>!D=2kMLI#fH?bu-Yz?hr> zA>UBDuuQc4_$AgNQajdTvRR~H0?|E*wCpY9UcHt$=*&d=wnlatPaSjrkbRP~%J0&U zb$kAZjhAgNeuH5Vvz8=&8*6bbpA21tyrV{J9){7*o;ic)pm}~3x%q)(n zYR*P4(yX<`rBYD+dT;i_g5)Nw+lH~Qr>9ax0YJLO&qwiJeiB}Q+^8<^p)-T{DV6M0S$`g`#^gQ6pl6 zv@d*g*v*~v@I@{GLmPDh&Xk#Zi@FSXwf*>uV$uP0R@j=XGhz5fs}h}lo;D43e`sBi z6_dtlVWngN*Xfx7u!t$&T2~y=R0%N^! zGpj_)Fc(R>u{(h->`eX_3)eehW7I^Ay_VS02#?qnX4s|Ss3xHYWVcyHwiCx)k zj7`)^v-tj{^fDX-1P8XN&74DG;2}?iDc>w7aTifREQ?>o_70v*HLHb!c@i`V9z*3oT1lP5KJri4sxjW#8>GAr)On;q>-B@JE))SoWPhA+tAt%^cN=#5JHnO>q{ zFSxkNtXSk?Zu(N*vF^fS%Jxv*AMI^)FdA(VSoq|~AAryGjE{4`Y!wTvdAWhAI+5;W zjKN@i{ygE?%o1Fy!83vAz4|F4N5k;DzIymu1F(P?-*g?Suh+3Hx*WrR3UNLDd|$hT z!WDIa!YlKOWjf1N+=~rMJPIOwb{>nIIlq}Cp);crRl3k@!|vPR)W!MHPYs$<5+-V> zx&@D}V!rb1QF!ufqFL1=_HbE}uqPGo6>!z+ zZpaX=ZU?eNA!0`iUL;`#eJ~;Sg^L{h$-T~hUd?%Cv3gvbXV@vIA5DO!34pni#ZjiQ@#fh<1-&BRo^% zstUq^Xj%Fh)qHLmksHfeLSo7zJ>rCN`$4Y379XD)NP2ocOO`cD9!p}W#X4JKF!ZWVG- z#jZpl=60@aD|phOnHV9BA|T);v(_uBc`VrOIa3$F`s{{yK2sV8Q++*{u9`Suv9_T#E*$uy->(VBOf|Cszaev{_4JhmK*pron zyiNBPlNb?cs_ZBjFdDJe(u%!MDw+Cfo!?!(9K~;66fdA2=A~o=u(AM29^4eiAA6q!Sh|PQAQs z@eKqg@JSxC8bY}7g}Hz6I+^MZrNW&?1#Qj1#unlaONV0X{9adyHuFXLeN68bq=t%o zz@*<{=5}I;muywOU1B1}B;6>XEiVtU*!5FOP+mO>f3_ITU48XRv$BR_whWZxXQg`f zA`Fc!)4O|jRRm~2c+N8CcwbM|#gMnd7Kt1LhNSvt6Y(1G<5k)t$)5A(yl%J}WDTNh zGf^69W8Ey!I8;$7nCEt(CEd8scQh+^&sPx#;AZJx{RRr1MG3L?uDGal2v3^`U|rwS zl?8o`lCGAxi;J7FI=&>dB(1U9G6=mi92CPo6Se%nxxRr;5f=uQ9;ZIyY!NR*fKeT` z9@j`RA2l`4Qv}K06(`o~fbAyb+K7-fJRH|8N+jFZ(`Jqm2%9vww)zIT_!ecmV*2!U zva5>K=YY1P*Vi3n9=Uctx{C`G6YGab+RaQhc-7RvliT)U%!WS+M1kt@C`G~di}7|@ z)mK+STrbEiFB80C4e!(+2vl#q3$+}x~4IN{Ru`Y!tA**B>VF34L? zCT;jZ?DIVI@0O^9Xk2?0^NI2~Hgj$Zi$90Q({Z;r=WOz>rF2*g5x%EIRG!h-DFncB z95GohK0Q-9-XS+J(^!@mmDSAbWZWKArae6s*J9wDSW$E+ld8NXVC7axJ$C!dBD*83 zg7eK;v|lny>KZM*-iuo(LGN&m2@MKx^Dw`cCBsGHVnL8cQoTt3C}Xg3S8+NFd71jK z%Pj^Ms}&D{W0EWV1T5=3(IKK=+sDn5csYEwl}!Ql1&QStW?Cf1Qe=}Ni4u%<2+2c=DnUd^UH5jcjdQ7%}P{Y`%fjV2>o;QMrVyD@~CDU z(;>=V7?ZO+SjqV`j&+FPF76fmIRU|c)oCMiTVijeetA}OPCURdEXt-YJif#dI!eo_-g^yc7DT_qsUIm|(|Y;L zO@=eFm@xNT!3&oUY=|%E8jtwCwX@R_sR(xfH{Dh3o`Z%F+ko23`yal0r++|9Zi7gC zZ)=H2p#+CiP`_lCA$P6sup5CN7f&Kfo@!Q=zK^}75<+^p{$O@_HqcH%Rp3cz#Zkh< zP%hKEs=h~W;Tmt3q1e#IP^oHm$yO+NcM(~0ap6kjVvE|Px9+3|PnSDyo6>D!bq>k9 zAOQc<;(pfVcGpk~m<-(V<#xcWl?4UG=`AR6uvWlWJxU{FnR%nvQJ0x3ukDKZfcO1Y z7<)?y+*eMS=|FM`=8&f0o(Bq0YL?jVt!B+y5a)S8mz*nE0Ih2$_@K{K!8+550sLbl zzrZEV1R(^=_Hi@7I3XGExJjmidS!a3g$L;nFNt5I+AFt49Nf1gC{c9|*3*<8v@2@G?{trUi*hTCVE;{`R-|Jt=KQX@LRy7FG8W`U>`0 z86^fDubnn#*LfM5teoeza0m<1{!l$%*M>CS3c6$x+v;z&goAVSz%p?K%$~1SxNGrg ze_q%?DN{*!az=|oRl<_;5W)z^PdMBHtrhE=LkqsNZeFe^05~wih~r99&J`u8!XOvK z3A8H`rzZ^rd-*J#hhwbH0Qv2II!rxAjGb*f;C?{7y;;)JYcFiB9@6o=|#RdC%560)eSVP&#<;QP@{nD6h zWZ^MM7wM zBW}K@z~(WPulUS@7ILXDJxMcS<&N91o54kQrmzQ`zTS_?mo&JY?8!WAT_G>%1&!Io5R?XV-F4lL#J3X(b12(0XrzCZ6ZFRoQ z-Qp#*0bGw&z2?Y3)LUo%&+DIcO%24$`miPLVSPwDuh&<^)Y8z96CHa(>b*pgR)Fs5&wS2Wm@Ym_cRz(-u1i1Zfs$w~+ko!TIM|65ss2e{i z)_pOC2Xr=+g1!p8RDO@pZ8o+R2pt|$!}ae$2Usy*mhYl*NG)si&g)A0dn!U_buWtqRNlSri?A%$iE4A6a zjL^Fum)Y>B({ctJmW;Fm5dr}1$lhvY)@{Y$%@-Z2v#Mpnwt^c&8G=RW3OD6B&KX@6 zYqFiIOhs?KNG590LGnK0c{GwyUaqYRot|%q$_%54%(6AwHSyLjAXp)8KU>omS2u{` z4th2HB3FwkN_JMrS@|7GA%o{_;aKAr)AdOhZ1}3|n|QJ5q~XmpB3rO55THIk*}h?R zjNYhwzfrxiv19wiYkBC4uZ^Uoj=rJOSi??Y-&R~)R=QySMLf@CW-#G9LYWrk9q7Yx z%9ikmg4w2{*L6#BW329I;iZuUV5rc}NEi0(eZYt;Zd%U@uSHiiYuccpWX{k-PuB8C zYLwvYc{Mp-Z*4WpObjvITd9IvMeYtH3)|9Hu6J_Ry|CMuw?sQE700O$e5r2;Bed3R z_HVt&THkD%9yih?1?Z?aJly1i8=fEa(C;{4F_7?C{w)L9cby-V$Ozbt$0M1 zE44%&gpivods^Uwuv0dxQ+t zHpNK!hDq0!~}M0l(hkwryj9W1YPuge`zHFs1g>TTpjPFLDMT;Nw2Blltw( zXW;;d+V)Gbr!!w!2oKf;dde}NYFrB~MP>q zD9J$YzL`|>+{ThowEl2&j)U$b5!O~cEhJ`5x*=TJ@PK#VPFdX4%Gi`{@rpp0 z`&(&*ozLlbdB-7QFp08tUUL`gNy1jc8Eyp3w$Bj}uNS!Mi9D}{ObkgJj9i6PsW^m= znob33arvHOWi8_@tXS1XgPkvj_`!r1IUaXT&59b5t=-Q)+v#B{zbJFg?Q@~%2TAdM^@%%|k4b6IU{nqi2M>=@YXV8==@oB+RY3GMSG%jdHn zek)CX;)o5}@Ea(|wcr4=mDEV}f~6{BfEJ_EVc4k~4`fTD=B z0&L_(uh3c7IvlHgAkZHN4G(|TV>{$bk#2YUI_s7CsWT_BJ>v$tYe6mJ1{l-pwu)+j zgS`)r20ityrygu|m|GcYv(>6|!P~Xms!F~|?;SrIyHu&)s6&z>ufJe;sklL#m72DT@lC2MjX=n3Fe zBl@!Cq1)Q8q2~B873~yEqO7%IhnUL3V&b_=M$|p1=2kw#rjg<4lafv6`%Y)g$;|oB z|2PPeFe==2HkAPv_J(F!FT06PN~_C|bsN+L9x798LC1!+BrIMTtB}hklfS$W2qLt^ zj3R`*b4t4HSC}Y0xToS2EAyE4?&66}==xBwq!&P8++Hu9PVWWDNK&`Y(lwWXC0*Zk zW*6!a#?PR5gl{zW_{vU^t>_+O_m0C?;m`rBuw1rR*)7V7DLUsOYA> zlg={ydJC^>>(FNU4>Qvog5IhNUV4x+LGb!;4>c;fgcP{^KnVyv>b~DaNm!vFHFySP zPdq&{;nV=jH=k&J9SNP%qKjfEli-U&8I9}p?r)@U)v$$#p9`&!grC_J2{a254(ywT zluwc5UEzj%ijrdu>Kin8LMS?_1C-3~&SAQr%-QIDjn_5l1#^#&(BJi#sC`~Fnm&FA zH*B$cJTG?0F&sUz3jsKo^B3F^WmK_XenofQS8L@4L0St^sZ$`gd)fp!kbZHIK-W3@ zBIcAGrFf-yWu4Mi>Q^DGu`!OD6lxlMJTBh81TuAfE8JmaGv1h{F|NjMAV<}6^uh|> zAU5po+#-So^aN{YTJIwv{UtTEioiCJ=-OQ~_0-x==Wr}TlRk7AFI@TtLMNbW7SpL; zXM~P*NZ_~8OL^K=J3o0MLtFEQ!moV|pr4?akEgQ8%PGp4vU!1pA5tz}Vo-!nL#OBk z!dSm=qu~R;ugtW{dj0Av8?Ca?lkrY+YjJ2zR&s4x>F5hreimvs8R`&buRh-A>*BlG zZG>79FJ7g`J!!sJrnXKFN~mS)5qiP?(3b2T5;h}ho$;QVq{TrQFY+#jFVWD)ZE*wi z@(VjCY2)XfGo1|Q`L$=o@FL!5)f^@yx`wf5T04#`UB!{|c*ck|5akPMa;EY_cS|Ga@)+TPYRnK5LwaN|6=o{;A1LNFY-reVx#E>Oz3 zeg`Ys-BXjN-`IrT0TKsPZg|NHJdL5^V}FRT#+p%ZreTuGk(?;&`70TmWKVn3(k|%E zhN4H6XQNF+g?N@*uwJXC>X%}FsL-pAQp?KPY&UBFh@;}Dw-!fX|YppA;{ zzYcD_o#0kHkcSek^Cms_=Zwiu^C`y*5Nk~%mPxPP&{-qVPo`D|w5USvlzN^bJKMe# z>vLb(7)Zr%Vnb6KDuEiF&q59P+cj&Duz7C1dojx*q&FDAMKgDmm=ZxNoE*H1kr$vf zFa72w*2kYIZ`AHl$99SyI&g;m%XqwoO&d#<{nz$`7wzRURWYJd>(|(@(8{jZ8J2Zf zATLAmf!_8IGH2mFY-gI-h^hVF+`nm@|4JME{amKS`K(A8errg|T2Y1L_zIzcv0j?M zvQF2#Rt+@`$+{Fa>{svBIzz$ojxNXa-Gx&y1Oo~9l@pQUp^Vwr?V@iWwZw@@)w09| zV#e_at$5yLKAOl6{ZTsB=!C${7sOYrcI1}XHAPkl&r*WJh#GQonIy$sA5*MJ6-*RU zj2P%wHN2I*c+}qfnnz~RO`zWqGvL*Q=WW1KI@$hq0y}NjT~!}5Wm2>*OrqmTtEf5^ zZP@3D=b!Ad5~2r%uAOsch!^BNyi-j>oJ*N@p?Pf?p0?niw_B_fG)j5AxcylPyP{du zaoAF52+#>!!yF~2kD!&e1gP)ur#UXgcB=37ryQD8B80_l)67MTAj&XTg0ROq^l|1s ziUAONf?ZVt|C`-IwO{TYG$iu87+(_p2D*KXXY~FVb#{wa6kNu!{R}jb##sUrXFvCg zTRvT0UcVMI_Bkqbg@lsDU(#Yn<6Un6HD(BMckjGqoF=djvnKj>EM>i9gcRgHc)sar zc3xV*$b2ngg5`x$pqW-Izf_m=dUCmR4b33NFdN{)Npx2F<|yF2*^#mgz?3;kfCm)BLH5=XUOgqGd(d z50jL|s{e&1@k9H_H=6f)oK?Dn67DxLa`Rj*Sn4z|bL@J2-!2q1Rn0dpp~C4Mj}(Ml zl^!yWxnyPPrn6&yUBPitLi@g;GMJYzpGu6pfPI-5M{_QXNa9Y}8hs%2OOkDlV!`}c ziEt11rzU0_pcbhekpR+fD-bHJgoG1cY$=8~Heu^Go0gV_?Cj~+ZV0$=DbhF^0yV#9 zjmWF}m$+Q7=FF?xT$Fk%)v*19Bn07HPM7g^G6n8rf6hkTLlr;W!?G^}iJQg1YNO0E zaqH>O(|v8tOsnmEZdjK-xaj?tjgqK<8+>ipAV)ob#cTxa5vkYjB7sTfkl=)HhId{@ zYbj1SHHHxqfymi8FD8(gQ9ouSy=ik;Dhmma^D&( zcB!hm#{llCw$V?!rZl@zaPKZ2O$s@Z>}J;n|Z#X2haR+qOg@^c|B z3R)RNrA0?LCU&R$a}LOCSGq#0qKw$ouN2G4V21|l_SnKZSSD4g@IJkEP+9<%m0_Cu zK;ftOfX-&ODDFgKYqI92CL?!f0t~$3XvlVvddAO+HV446)JD+u1;_CBZ4H#?ubX@z z!kw9hlb_=wfa+IAejng3RdB>!1!U|f|zh@h05gF@*Xah*I)FMxuai4Rxl-gS&a-zXh3^szC-&$r<^RF zc(UnpWPYWSVlgtz$YKa`HZ8xEz4$@Z# z*Rx755#}GVp$@q){UEB{-$`~hRaS?p5)!?8MrXPYHYgZZMnLhIz}VGwjtXLJPbCS*;Fp&%7C>M`HEB4SB2{0ihk7F5?4|+y5zg|?3>6|wVCkGAe z>_KL1H?E7=&Zq3={C_B5csgs0wws4E-p7Agr$`)Chj&+!XtAXc(fF{huD(nKR^Csn zEcD<<-#}f?`>2%gui+vxeVKK=cDxTs2_+G)s2C-$YlGcpg?hSW&N`!kg4r-*lFvN6 zS3Q!}_yMP>(W>3+3HG$a zrDfAZ^7S4iX0!}u?sRZ`Z#@VUx`c=k_1huK{#VV*qxcNMXdYnoRC@h4rr`hn=07)| P|5s-Jx66$9+u;8JIJawq literal 43762 zcmeFZ1z1&G*DkyXB?ajY0i}`dM!LH}0jVwBAfZS|3J3^DcWipo-QAti-6^s8H~RRz z&*S@k=ljmNuJfOI;hHSwT63+rW{o+lKI;?WC#?V7KX*+43`E#xaGP*26aZKZ7&r`= zyEXtB008p<`nLBk{KpRrEFAoUhX{yB$SBYP;Ku-17&tgsc(?}-;NhXAJ)zeD@E8v; zpRkBL#8Q5RKw*c?`Ys|Bky5mz8AoOKkc!R7{yh>hE*?Gs;nQc-G_-W=9GqO-JiKBr z#3dx9q-9jq)HO7biIPiYbLYM@IxMiSa9@1)12}!wBogwe%Xf}doCF6J zjlF&rxmj#_2QW8|P~*^Td~EQRIr4aQe(MUH|L{|XoZONE(h4yS&uLc*x=31aSY7V7 zCIuQuvCz`MPzJAkL1-e9YztST2*jdhU|{|P&Wf$*r5-mcR|)R}>RgD`1;xSgR@ z-IySQXBbiSNUvh~JUi_Z#C=Huxc6RmcYwDO1`*i?m*H&&l-hM71+$VC?%kNW`q4_6 z2_eL%OO)gF{H}(jMuG#^{Y|em7&@cYnU>n=!j233Rdn9|72)fe{W7 z@1-39g%uMDU8i`tuXIOI-Fs?`H+D<;3C$L`MKGVgqWY^-PX{*NY{I3aAo3ZaOWXpY(M9;!+vy}V1J#zbypx26+bHsb0V{yWV7nu%ac2=Kve7}e~ z3=!*qKLDVi5x4RPPOIjcF)S0iEGba^Q{|{F!3_rfjrkTZvAa$F1yZK&S7k6 z6F!`vqIpBrL6P{)({L>FnG;@%*rS1?kkXg=FgyN$l?5M;oU|YS&HrVIKIw=vF?FY7 zQG9G2$%&R#7ygYDBEnM-M+9H}M-B}%hjTTXX=diUV3oG*HBMH995{#R>XGz_70_3BR}c?o{YYj$D#Z zybxvA@Jl0RYcW3Kx#vX_;2V~u%Nw4I+fQ<%{Z#%I>#suh-M@Ol`tZ-7bQj({c(r8T zrr(=KM1Wu$G~0cHL>BE-vulxdxzSql*%A|JynKtL32@u|J$WQ@u<2y>t!RRQ#VgLI zN#<#&E+0vRjU-qmsf#j!mz~0~ZSHW|v(m&a(iE~NT~f$RS3XkT;sG6(UX3<&lV>Y~ zvo6ff|yAs-Nyw5}c|{K5%ggBz3X>S#F zjl9U{>i&vL6%}#|OsF`#2zCrL)2toI8V=$0>y;0VqJ7CKwaLA6AWT@HgZGiV-d{Hv z7u<*Vtxo9Wiv_+A-_D5|%hmU9g}eHah&$gRHMZ2u08WZ9bru%hYK$%wk3I5h9<`^& zKw{>SjwnCs=W7$hI^yVvrdM26&S`&qqBA1<3b_X_F(ciq@(z$!es+MqGkV!FYcQNS z`nlC&)vES+_gvdy`fz~z>xqOFkiv{CA4p6B{9c`wDkhgwaCDNWDg_lC!_{Yp^udr{ zVsR!SmEZqc7t&VaPFr4mRS=PKF?!O*AbCPU>>~vlacr{`CaQql{5MB^Pv z;V=5xv+c|tgMvvOZqIgHWtAU`S`~f^V^^nkrNbr;F)lffNKKj7znqntNRPy@dX4>& zqJ*#e^-E@!u$8J5H2)x)6xjb&DSm{mV)W|@KP~(A%R7MH;(qwLIp9Qd_zrO33&D2F z-@F4{G~WS`J+T3U9G+y5OQ9vn_=a%k7DRTKJuHm+@1p>I2ksUlg!3O-7jJ;oS%Hp&cQr$RD);9#V`G1%yM~70oBa8ToZjnv7 z0}R>7-vOF3?f`_}M}qdRK6@m2Pi9VCJ%?cGBS3uJZ6FV*FQL*LiOKg4AX3kD2Y`*b z0dC09KuZSv?^JLi^KG-C;-nzO`%Iv~K!JdZ#)a+!Y-PPpDb=UfzPD=-qhz_*ee{di z??C`hY-M5Swf`V#Vx$)~IxQ#TSX^8!Y2y-cRzwaw&bKajJunvKI_G?>;Bbiwa6Z+1 zvZOIy$g!s)?X*)bDP1mP62A9XxWVL`FC}dl2e)DMBDG6O!5{|E9h@Bqrj9u|r6zN;WpMp^L`zyx zu5lBNs{F($=%uV+T+WO^OO-_A%UBoky7pS*BObE0~^mS*Rb zLPKZVu)a;}Exr7>liQ?{`sYs4%~a!7;$yo-(xkHqovj(`{D9c;4nZz+$Cfm29+DG>90H3jJu@w83Uh6r55G1~e}v88YVF2- z5GKSs;h+>8#hQ)4LzDg~t=?!>VUzQZ$dDW34ZbeSTC!*KY z^~hdYfPsT-fZc&!L$xQ+Gf(+vZx2SQSr*OKoxcfA_MVZ6v-K+;czt%eKVO9|?8$0aCA46;{&S{ttZD$@2B0F& z=V@9H4d9{F7LfawN-)c8Zi72HJB1@&KWkHOJDWzm{r_Hf5Z=_LT9FoHyivL z-U_@P6JTtZ;Pg$0O)sp<5rzY$c`*z!U_5NkaipwN7rv8`0+-8<8b=X|rA|T32aHR9 zb4QT0sJ;$AsWIIiatk#Be{l~FzO^(Z{G_TlfP+$MSt~+V97f#(K${1MD+YX*RP4ye zLO<(=Y(h+Z$i%UgVE(sDI4jAx-m8}2J3tW?bZcDzrz_6L#;mL7U2~u4Y?KTeGArvF zDnl;5*?W3lH-_K9ZC%l?Bhy@kUo--)pq7$1*(Jj0sb(Lx@)_BI7tGlmU>_oMh@QP! z^o1sUTWH}1Zs!g#f8+g)O!59%l4IWWmk5)0fZ9vw9xj-iR!6zCcoXh!a|?ZgVMT)j zz42TRTKk0!b>xK!{)u8ugd;PExUS*Vt>P`rPF*4T^59KSMdR81!W|a73}k_>+f~kr zQ3HKRD{H^?h>A4dkoYrtD=Za7e+LUI%a*fBBgR&t9kxmCEdx#Lk=dToR?1Ea;{5c- zB4_aGcYsSNr^YK(OR`JMJHU!Tw3du>rMx0js8q{^?xr&-V0alkS@dn}oA?+gnviCd zJbFNyaxwbKw9=7=V>TjJaye(&15;3$T)zHTg3q|Rh&u9kTek=-?Z7riOvaP(^b()= zY)fU%vLKucE0|QUs$L4@X9Nbg#FbX)T=Nr~USCh*S$Mm>)S8|jv^G4zH=#`~ zd?Zd>Dozu_Lqdh{}$euf5SL^AuG?tfXQscDk+-Ef6)taW?qjR8?#KR%2U9CoC#On1m8B%X!pxezp zbDNa@3Y%9PT(P5h3=2OEH9HfmfB$0Z;SNo&dnUN$*$COD`KL0 z=Pq$vqI`)J6f071tx_00-dMDw0`?R#WY!!#^XJ>W83;j``RN*e6!h;6_sZ0 z5>@cMjakz3ASQDVel&I?SK%IPF`?tMknTc=^i0;41v4q(qk!ToIe$j14jo6Atf^QH zI+Ax`t|acEt@=k)exaZZ{aW71Kyp*`P2i?PM zi1bFckL$x=gSHv!_<(5O-1_U-k@Ct{^kxrLztX|-C0nkqJ4U*Za(|HOlj%TuBAKQ5 ztUP2a$=}{LsFqhT!24KWtMMEv9mNGa>RlyU8^4pDE?z@TqqL;@g}PmvBfQkDm)`!j zqQ9v%Yqs7{A+8P;p+#d*Ax>JFdh^065P}^}oEAhs#V@MsVX?o4p({c)LMkfZ7rsg_ zDLuq=CZJpp&y&iM&z{|FY68Hz@Kh8Q*j^8cn!EH?29JKc_UI*IrF^v-_^`{+FabVj zs?v?3zPO_56ZnQ#zpIL`RCCQfsB;X}lb&GAa*L=X-ucZcV}blc(WCcev@v#wrg9iD z9a4Lz`FPIpYTi!^GucZIkl)T)1wM4+K~>z68`e<<&D3dPh%iUdGR);wzJYMm=8(w0 z<#TT!A52)6Jb%J8zf^W&)p@vg!)x?4V=S_oCCJXY8hlX&J3`LUh5k#IGJ`y=Rt$CzOd? zHWXaf7VfxU443;l=2Sg^166(QEx3nJX*4JabKYQ>qb!coiz1Icz~d`~lI?Ts+n9%_giE>j=v?HPpYy@q5=uu)znx7y9Sd2gSg zNWpIkbP2I~mBToQmJ3oGX2rP_w20pUqN5X~!_-%od{HqXd^a6*<2~#93m)P0ujqeT zqzZedYyA+;_`UndyVF7!2(G4|^HGkVckQ_w8`QWSE53|Undp*7myV|i*PR!UvwOFl zCunv{1DBIWU$E8h=4t+%;-r95+WH;$oc!^1JRObbtcABCrG6>H zyM^q%%Iw3!GM(#4<6rZ>CDp|P4$9}fB_<4BjGTF(tcSqv0PQ2A5mNc2+cg`HG(Kio z0<-lO0{0dATYH_gF1|8d0P;*u=OlnctrxMJUUbQlo*E=7qq`_B8wD&KL!7s%NFe}q zf0>Qs&&NO%o%jVtgk|;2(UgWH)5jfcHc@@xkL0sECn4yz=5V81f5_0BXIv!~8MBhu z7s2>5Q8LC7HqOXx=uP8RtojDZ^p-Ks8fB;tWPve>GAG>(AAP?bg?IR{Z)SO&+=fqt zFL;++L9v#9=l-AUiJeZtdu(bPDu4~7?*OUw9ta0QQ@6lQFZz8bG?g{!%yv$-1-YJ7 zz`6`zV!M>Yv$1e+Znpxh#eFsj94di3ERwqX_}a-S+k)Q4ioKo78lywk24xaw zvsuPpB-*^n~eIxIp_F--;x}2MK;Oom3`fZKFtnk~) zWfTuny_W30gxluXqi&&uIg0o)AN;Vn9>5$d8^jhY}0Qf%Vm-&=J(B+{Bi|DW@=_l+ueKXJ)KVn z+^;q5G0wt2Y~e%_nEJw`i^TLa@_V8I{qMjK8 zTsZ3E0)2&vUgblriC9JdmTkTw>NkMAu12xNn@9HNv6UKJ7EVAmabDs8)qb6^vprR9 z#L5dR*3_Ot*c`zs0P2WZMn=5% zci(PYlYuxczL{BbJy*<0K{EfB2yzvp=|x8kW8|E?XGYf`MJu*)%UXsrH!@p0z{N|= z<6>8TaiNoadqqy@aYOIAXTHQqNiw~$m-bfjNcqi^Ttmxvw!xfUEPaLpq71vw$3fq) zUu~m#!_vTcrCgH~CGt0#2J|P2%3VJ+QU3Z+psD-YReVwqpx?K3h7lZc&Uq!6jFZ@T zwd1-MVH|b428VEzn?2$-fEuo$8jWYG$yY>^C6i%qwW0GTZxT`$bq5f0-)ixGyw>53_zeo{pDB{l z?NuZ&4kSByuD26&uBlf>#Tb93^Fik)lUc;F)ZjG;siEVFwe`zn>8$OKb$ehKCJf^$ z2sTr%=B$wnWPD?4Qm!vTsWsf7gfF;8I!%^ov@H;OmRp)t={*t4Suqr!47Om7_L*}t8@3|gz!utD2aYAM4{ zb+o`GH>wH~)vrONCpE7dvS!#@|DvZe=b89^pjf&(jcR56o68C%B}W-f8=-e_If$7x zSYFUc(z>6P(j)m2kF;4_trT263gQ=@EaA5#KSn#0*g_5V5m1C5JL$?sJmu-3NvmMy z4gXIx=)QXmdi&ddzXmP*yY*F+y|a#dT|X;CzqjnPpj` zZY%h`33XBC&dH)JVUnl6xCUnLLYoW86ZWf@zqs;$smuPZ+y0N{DI+lgw;!mTtU@lf zG@ulZ#-f;-Wt!Ya{_jHdSIQgRP%JS$Ew3w~R8jB;xOnXCahkK4*2UEQw-UkRwNyWz zA(>2l(I^uZ#PEJMYA^~)HjuuBBEWRKG^Hq|yK*|r(%so(w%)lqk!7ZVbRo$*MBA2U z%2Bt*p7LtapJr&%az6bw^04hiM-UvNd?=($wxmHvx(0gxpRDao=-OWY$J#Ej$uXFb zIGWX;6C=7^3lmLkNFlX+!k&*J`qU1K*;KgGf-;qIGV1#%OWf!PA{eU%jJvL6k;J#Nvk*QHDy)bYP>okMLmr8FfQAEx$~)ku#hRYgx1CqhX( zC;o1-Ic+KiyiIhOB5_=lVrX+P#@_z6d9?_VK=qu9tUJK0;Vt&r{@J>*cVIob=KZ#X z(|mI;sx&4cjjDG5VfO=i-+QB<0#tPCl@0MZi$-6jd?R_7;kt&cY|y;?PbAeJh)r|Y zwGi8IlV?%vHgs;-lKT7?Ij)zN4I5IvVk|omT@zfGh;iwn?Py4kIw^_Vua+zGg|sHv zZ_zsUbiOX*6I8&eRV<5eHz5?W!?al};P`6PURx)ucvO#xtzw3t_ToB}SJ?BM;mlj; zsAmOdiyNExJqdB)VNg_2v|=Z6Cak4?!^>>^TLk0V~>8b)+?Kj`wWh=*)_G3&P^=?((fgP zU!cxD#&yyMjppK~pe2Y*?sM?%Ny?8g;C3n(v&0#PdGioZ!Kc&jsW^cB5%JqO_!UNX z*tX7VNOSE->YFNJj)ka1LqsFJEZ{z+`rBrwb^y6r>i5s_ssoh4o2k(-xM%%}bfQTCVX&s9T6 z%VD;DG0SH%}O~%(i8=E82 zZSE&wRFHmEFrN8f+@4(I{9xezqDpny2z$WTqg)hzf2WV?fdfN|syc+vO3*4_S{sE) z#Zj4O28opVRYxj|-Dz2B_F z>p-_OwFpT)=6wNruJ)4p^|Ew}3bN`k?FIAwkIOj9Cw4d5Tj7>PRzSBb*Y!Ri7k!Sv zE~Yq;H#>%cj*EGUd(|a_O@$1%ptO~C)LK<8Nf}kMPZP+(4PR)Fo%CU%*3e8t7jb3b zg@kspGrTdk^1d{}p{m|#1Cc)K6vqIFZL`8=BQyCk+i_w~?N#xh$Z2L}eO+0S6!}Q} zwQ98Z__vb}KtyW{7y&61AAz!kcOZ^{c_{txHok;~;=OXFn4ieFeDO#2nC2^52 zt}LmpcrUx=FB=!(+*92#zSF#ugpM-~eWYGzFoyU=fGzJflq926>lUv!+R#YQ1Vb^% zYZ})Xiy}fYW^x1=HBweZkXVM{wykUAhS*r4asBKYCZlStHmlHCnPOtoBE7}w?tD&P z>f}dl=O7B1Y;#IJg^2+dw0b^Gp-k;itjeG-EG3KT%5CfnTWaebEoiLRJ&@#)o)j4 zpy$}nzCcK7AS0|Oil5md?7Li0nXia78J9yz&&qpcWkGHS3+t{cV82&d7nl;-fmFpP zN$w8u_>|7qN)t?Ac^MMkOlfP?-Kg2mWyzXf#ZV)k ziPzWU(xfU9B@i_4PwfelMC16T&dqb2XJ#!7#HwhsyH=?oYH?GeA^<|1&v2^OiZWSn zLEhnq`8X;w?0i+H2O2-ttI`GI8^OOT3dKLfV4cfyP2OeJ7|b1j=?BK(_(~|y!C2^n zZMn)z<#z_Tt0>~n9^hj`EkI~i_-`2!#orKOvZZC;6%ac{=YjXB>SWFLdpTS852aUf z@^5Tf^^YlMn~bxfehAKmgBbqU-+Ka%Fe)f7RruY5B?GQqh5uDl=^>>2>F)HS$?->dKEfOJ_qs9WzanWg@mO8= zSILt)TUBnvNv!5)d%=(+z1 z+s;;U3&@poe=BY5bhb98){1uzG_v&FOb(WdbX5sK@fTzJ%f1x+A~eZ$o&G)kKk>== zk9>9hasKh#9Uz}fCtst`dpsPZo*&jGYnzt8u+W@6-R)%GSKI+(l%sWQHw5c3!R3D= z^;X0q4?eiJqQX(jg;w*WNcT&{oRyg`Vg5mDX%kMj2C~)Vx zbP&*-uw^Iyg-aSG%4$XgR$>?$Vm}_7LQu>2nSg?T(Wu;rQMp?tlsGMnd!LsJ@LY6I zk@U#hI>)Q5nb8VN3G7PiPyE*@){-!;V>5y{mKpI?yhrHb(HIVHbReZw!r@1ADqo|SRs zHzuWmK93kl?*1vg`V3@V#AsH*#XQ$a1;BhQ4P(H2%$)&lENjpJ%2qMqDB!n}+oCtn z!1B$KRrCTInPOEW3wGO!QidR;PJ~nf z{)y;{)Yop5oj^AmzU)P!KfKMTJFRZckVEMXZyZ-tvQ8yn_fTs9OgE7oe# z>U`X>!NVZkO+6Q>xT3L{=EEcc$+VOSLqDTeQ4{FZeelzYG00=}F0jeX#*ng7uN?*1 zWK?*3sRWm&nTIWNR&BcSLpUsh(qsseg0q1vX_mOT%pq$?Pqn>1ybO|Odok+x+U}M4 zr#QiDlQORHk5m(W$`#`jwPS_5X+dvhK9$O-!Oscvi3~Wr=Tm~QO1C(7R-JCOOj~d< zi{X6Qio5eQO8xWz)qF;MaOO>c3Qvj8T3k@LRolv8w!w~}$(Ud}ZnBFDbD+$EupC{a z@W49B*vMd^t`60+ZIrGgwfVJRvrk1OH283r!zp;ypjY)39v&YSQGL;>DJe(8#z`QF zW_daspj{MpDqnCd#?X5nge^6pC7Myf5!t|aH%>Y7;}2+sBcy>iKHd2`&iQC*qY@PH zD1nHW&Afh2U0wW`h=M8SDF|CL`Y{o2tahy?@O!PvF=feA6sc}4*RYiy1RJj0(6wuV zAwn$$KRVTQqdoaMA;^2DTj-Rl$oMz@bNB<~Nq-0gqj^{yXFEywH}VD5KRLi(B>-KDz@wKi?Rb@qkzekR;3!b0!9Lr)(3Ys;9 zEz_c+tTG(@V06FpiZ|H)xaOMEVJOU&zW6YNke?9Vd#WrU*vx2;jkvaYTbF+$+j4__ zPh(K~NPX}la-9xSl-Zg%eTVRZg0|02Q`b$tY*Te2N2mmi0TKP|dd#%8^S&NHmvrO1 z5`zAJK``SG4dk>-@nA2OXQ!){;S6)&pwFld=UmIUbKt&mlouB}|9omGIFb}9{zV^4 zS?M-YfG`|dRM`~o#h99qg`!0I9_{9sw%;E&=617oO#w~^*`a5k0EyHqaWVFOA|Jq3 zlBH02W7;UR2FsxQ^Vm}z!4XKXBt4pmPFmh=<}GeG^y+X=YaDJ)UZaJ#c>3P+&2szV zb@4p9q8Y;s%a?WgPi&;@q2M+Vi6xIs$S3wZ}OFomwIZd zSe1T!d%}I9AoSsr;6ViqY*K2Ph5O`3?ZW4;EmA8m>N8ZZzsp)b2yCVl>QZNXwz%s> zJ66ZH-tCZC|0SU(uJ^lm*hn1zxAzM4W@?9fS=lZm8;MR9uEE86I=v-5P&bD&crP5L zsMHzrWmBJChLd88LTb-rDM`6_hKKw!Bn^SDVkVaN*T08P?_zG-u)Jj8p%Z|8ui((s zE)nma`P#~jG{VaK$}3XN{x)^CKQUU22i_K4K*1iE38Yz6mYp=SpbY5CG}gs0W!L#xvz!OM{F33Y68^=Ldj-4TAsEzRpxx|1>MT##RlW0`mCn+V zqLVO5NN(jmsa}S7Y(z%wa;A-uI>361{hNin(qk2g3 zlhyb@$_x0uu5@!WP$pVBWQf>u_bTb=x`)+IjO<$mX>ZNvq!cJU`2qrE9r&A7tG90B9*NQBen~^A@JmcV5@3qW*A}`)a4_B zP-32v&PQ*BKrkDi{IYsrVb&s+_x40FUw=j~10z7~YZGi}8?#Uwk6=sO!%7dlcY6mW zg0F8b{b75||b4@DWzrv5fpOb)w+xdb6 zLb%BOA_xxPHv&x&T; zOQVKaHEt4|S6tG?30MYkaL6;!h_5=wTG&QT_dWr*^2e>=9hxvq5N5g|PfTN*gix}Ix|BivYr z6&9yFNyawYsi$%N6cMv-gH&#aeT&RpR2NOVfFk)qs0G%-ysfEo8jGhuISxwkwPYg1 z!aXMDR8Y{v=p^zOdZ16rQ*KDmpT>B$H~)3Uem;Aa+9HVuS2Wb$+O{dTQ&^;fO-pBf zA(b&U_^l*vwg+kr_HK;x@PGzpi9}fQknMFZb1&Sx5ThCoboA|*Nxb;biLyr%MeIm6 zIL)Qg*eto!q*`wyWib_&l309L)WOdm%6huxFzDp^%8WmiF4}Dv!0+kF1A$MDAF3&} zA~YcO0~}*DBc`VX=JMGjf~yLY%EQA=l(dpx(q+XJ=x(=YgHr3&^q$~x+Rs+F@iPQv zgt@;98vVr)`k=Gj2HfPF2u*qSB#Q&s`tAU)?f`WBgXd(&(8xY)Gw(&Np2cX%#@m>i zJPWALIESPTW5~ja%N?L}F`DQOFm2P5z<)R^I;uz~j=A!j@&Oz*T-1Sri&R9Cgqk=3 zLnii5|XQ=@&7_uOH>T*0HbTT zq#4fkTlia2?i8e-JhysQo4)I)iYbVTWN?d`M54o*7DT1#nXr33zhnKDQnj)UFPeDFxOW zth2MOl@QCYVps3-@T18C467!~XLW%dADP%ln)(EFVp;8yKQl=~&FBxla*%$)fSG{l z;5Uoq8_sr>HhR~_9N{?imHt+zUHox2XHNc7DM3tJ)>Z>8Moq~nct%_o0`>^!Fes{r+|24F>L7^WjJU| zoKW~u-NG1flUiePS}1!hrcyF-);rC(;x;h@e{5ALm9ttg--cQN)7`Xbr*PPJZhM)x zji|FO{R|vZS2`=@FU`8!H?16UK1dQE!-UHR^`O|TT$8v1oa-KEE6brY+>e*?&#@B> z>Kh7@7II#sJQc```B4OfBs5+*G)`C*^`!R4dJO$>zd~9Z8|%G}Lh$p1>p{EoV33t7!@C)DrgK|GtRxO?`eXXgEk*nqfn_Hrdy(~yy2VWj&D0LME3IvT%I)>kY@W%jMT z`-S1X9L#Tl{Ku@{FWI;xNZ;_55qJz;O7aTnw*iG$fA?b1R)SD)ws|8=excwg1kX(rBGW|U%3~ujjqwz1E)BNWO#~-sF&4h~Kqq|tP7am$YC|YmH|cz20!E;Hj78KHQ<_{|=wq(Rix`eb zE=>sn4b@MQB`FBM413jI-r0(O?l8ZCJRb1;*gjMgA=P=j!*5J4xV-}jJy$FS-JPVp zdP>`anSGdCU?L@{liczl3}ja0>?EXexADhI3$F(kwI-cMcO6tO7iK&fQG0R9G3B4c zP++n%*b-wkrMKg9*)YZBO*L6lk7hHyQuTM8dgXJ`L5rGMprgClKt05CdPz}nvJTXa z!A7RiAT~i4>vzH{Bk~~nIEFdgHUJ=?hU4fr-DzteA2s83nosmk>SyDa^U{@mg0F-( zAi%j&pT;+)5WjGxi}+R6}~dVR#qqkg8i_mbV!Wl4(}!pGuRSF_cjQ{D?aja z)X0q}vMYS&JWuGxh&pJw<#N|lwQ#d=BLMP!p$=6Td1c!~ra=F7jJHnF&aK9VpcYd?;ytR0VI?LC2>DW2)s^bV(Qlmz7*9eTunG|BXP-W+-5RT}3reTT1$g1~ZzYk&8wMP0x@@h= z4V5x?S%p?b^AnSHM8PyX9R)32dI*%8=fzBHA3bIP$HHSAK%Uh+;xwxo*`tm+=tk!A zlz9(~Ng8acDU2ZXb1{BY_kzI%Z^ss&mzIF8-rjDZMk8{60WvbN(8lpmlq$I&uBYj{ z#6q?J?YquRm-zY#P~n_K1!rlWjXqU%&8M8HIx3)#BEW1kLRD9{5R_VZZk<3Egnv8 z<_;mTig>!VLAvx~mK^e%Ri{>C)OqRVv)q-^_zkt1+G<}m)JKC? zC1-hH%Z*#Dt8tyG-4~U}y#cN9^7S)w?WXw@)e#csGzA_X28KMFKr*y}?@{PIvEWKkxT#Yl90}jOliYoD$Pm<_pH1Ws?$`Y% z_)tjI1-)eA_seDHk0Tz`SxyD~R1)DTI`@a4N=`SVq#>(Foj_=UYiu+ygENRGkLv!R ze@*`n+jfPj%kUxbIOR64*gYj2FDVd;K)+*-`? zISJOsJxZ83uwsPc4uIGE3NJ#?FKueW+;iA1#1@99xh347qr48@NNobNo9vZVUt-pQ#Tm+ zDw_GtjPXma*OZg&FeTzRkH+W0p#`y;E*QGA9bD230~n9pBVDm!IB;UKFB3$@_vI@R zKwFh%evE6n`kjU#d ztd2X$lBkS~s>@2_?(-0`nHM0lGA$!gtr}N#3gke)s8#JZaTZ8X+}Kb74jVW&3GPyA zF|YheOZ63NloB?9E0BZbwOhXUqwI65f3vQ__JWJCpYqwWvIM=xFv;@j zQQU>2Z*EorGjLQ1c2&5u%>)RkDUY`4QJN1Np8H!-*IJNj$M!v^>JXhKaU=Gwohdm} z_RN~j9IMG}o_tny2aqfeGcvL@{D5&vUzyvvBHq#o6t}OLQ)wnm&#~mKZ%?D0H72QB zlSF2TCi4t7^G%{Fs63W+F;5~NqaLN?#OP_z>wux^R9pi(azLA`SJhBu{$c?tIbd(_iw>DPGo3zfK`uC@4X^Oko$%E;ctGWZauLxAx}uS+`5kU^W=IQ&uGw~zO|OLp*S{x}oOXJT)C?kQ zO*#{*_f-xDTH6$^)wzlcM%RVMp59vaZe9em`pU~2ZCN*wZO!W?&Q_BqmTaltJjpY# zbXVKTVHH@59*c?W@`aUaS7&gOCHYOc1D-o(8K`HynxOJ*bHQ6}SSP zmcLQM*xyA-R#I}t8C;lah;Yi=(Xk19RTB;V9461Wr(|P4+-BTOYI>N0^U|(~n=<|s zBXeuHgC4`!l3|(7xbj%DS3U!$Wd#l%Rsb=JGc>ayt0uvs!YYTRsfL;MGg`7Y!L2#0 zM@NmUv`!CxRyEv(UH_9%{3~4KHZO_Xt;p@;kGg7QrQk0w>2&qVw>6WbP2`9-LcBP# zf6@K`vO1`%^I7^2-});WnB>1@VM8EhUl*Ozze8=(-0VLE<=69qN?b4UlJQ3cm7GV- zRH)>ldsr+gMCPj-7Q`Cr{n2OR;M?Qre!}@}jS)#0u{sLu2R-KlNE^lLwU#u+dIJ+S zOuOvC2?@H!4z|J9RS^WiEaYeiRH&=h$ju|9+}26Q%On~nYUT-Sim&PDd{D53)gB-a zyF9D8qJjH3N)7Ct^|&=%RE@c?Wf6VzT8mNo^t-Lpen-l9c}K&wXZ+@*w1)#5UAYzY zv=&xd|3KeLQe0Qzc@P60cfX71cx0z~%#4TIh_2yN3eMe;z;UnT$5X4Tr`ul9qg%bs z@o!NahuNDSE(fZ4*h=q(o!JKgYz86yvR3PE0sE&}YCn|dfMP~ytnYm+gyem|gT<+a zsULkZTOXNArufMnpiG15hi-ijw5^+hv-n3>10ZPh%D{tP0LhNmaOrg|^Dr{!)MRb+7@ z?|5D#-+tOB7ptPzUG?5o`MNP$xT)#1up$VsmLN4DQSXooZisVUD|s`C)rE?PAg=!b z);&_d@~pq1!Av&TjX~O6RN97(CzP1@K;@yL-phAGj-VRo&}@KisI6mSa`{KWZ7|(Q z1W6Qqd)0$IlBzd;vP=D#`j`{03&xbaY>jMuKA9i!=ZC(XYMz7xFt zGi=p#=swe^ER6em7Xg#mddXZs8uv3QKUQeFb0TlN)97i{V)AXgp!d1OnCjy{|5bwX z@;*1eFPW_@{OJCezHtXIy~jE3kKxc;oUmbB{t*_E3}vpwspHlv=QcepW1&N4{wII+ z*V|boZlGYs@Q?RR^ZD`KlF-7uKZlu2=$d_-2Br~ucnd8ynv;UU?3N^R+Y|MpqEGkE zZK?Y@Q)c(WZuvRM?8~A{F6a;P#SS|V^5;9NN&R;=g|Ra3#Ms8NC5;fDe`ND~Pm zW*7C|J5iH0ko&;Ey61oYYJq_%*Jbd~nXOQ(SGv%TxF70vPw00lf_3(1!z;2CFGy>* z|HFNOtDpEMbaH{L zUHX<`ODvjwgb;B#u^%}jt5Y%@8d0&};u&t*e@QT~z!u{5(^UxeK8EI(la=SM_=7(` zltnvu52-|YpY<#M)Wd!Y@&74xQvXE2V{+1=F#aEa_wSoN_D}6b)nXWG z=g20Ft!BIWRd?C6#yq1L{rfJu=^(qy!8vCgchTX{Jo<8 zoQ?dS5q9ub8}I)A?cZJgmwr=vPFNb-3YZZx`NDTEyX-0X&C1sTw_q zY=Jb1QGDl#BvAiIG+7BBG;~PiLZ3P(%TX6IH0Z`YQ7px5>=!27Y3(3PB7Sdo<8)nW zc4(4PSE-Uze2(e!7kx7RcISiP6650#t3k5%4v#UN$&Y6V9w2)wriJcZNBr^q5!((~ z|KqlTh)=?DPYk5qM1`Q0!%YAAnr(yKdfF$TpJbi;4{Fav;noTBs)3VNdXqRIDH7 z;?#HiMYXEUj8`Y|A%&KiIuGCXW@!}w)@bfj|}CFK#|lhAp*$U%Gq*$#5x zzeXMmXUg$Ne9d{yKFGz5ok1N)nBf0v--bT|s#Ihlyr;6Ds3f99+`K@dr&qC-+1tZ* zJzm}Z)7?Vcn$KN}P?vYA82rP}yqGL$+QJ6phxI5;miorwGJ-QVA~rOWRZ z%KE`{`H_I_F=wK2M&*B}YmiH9U=3wJ$vSN98g)`6nwx1$eR9^xFKmI=ywFz<=xg^4aS6y^T9T z|LaTq>`UEWo4yszv^TlD=`qU5?#1@tkKp4U%_T7YE3^FFei-j>sW7`3{ zGvoH%Rv*-58;$Lz0I=x~9-d&x!&ko>CsX$KoA_afe`B$0kSyuC2xXMql``t*Jfd4CixPc!4{|9n;-?;!lcJHqn zTEmUsEm!h><1gP>%3mKJ@U?yM{pJA@Nd8qk7tVcB_TLrR{*lp18nd8X5nRC*Fg9&m zI#(Vo^&}N%F?n?eRv394ayYQYA20AYRlniji5rJtnvFulF6Bli30mL!>9(I^lE^WH zFGUea?r$AmTx>?M9th`($Z=}C1|h5vxNM2mNhkgor{g=z^!{pG7p35>!q#2t76=Yu zft#LJho7X@WI*RKxK=5-GMfj&|d&G1Wox;-%t?aUE6a z=5hC@6_)~H$PXi0{noU~O;#TJKfb3BP;IW$o)L~-gQn8Ay6tq`uD_fR()-F#}GI{Q!|{a<~0{@ z@vD&Z(o?jj2faqKnnb-2TtwzPc1?NQbou9b6AdPZksGR*DJ1=W;+ekFDSyQ?rQ;0$ z@C#E!E>9XY&p(L$fF=BZGv()Q|9}hqhMNHihXBGA0Qw^9JM=~s{ofz`@Z-Ct@f!$8 z(fS*xUV_c>AY=2oJ@VJyl=CwD^ee>yo4bkwm?X8|@HO9a;j}V;!h`bBMxOkN-0=DL z2Y*ZM{Xl3H3^r|(FWY3nK;~+Xe_*;Ie!v=dq<#yRj2!(H@bf+E_iN(?K~5yV+Wrsp z36R%U`UR{3`u9hNG829Q7-^dM{apLiFkMV~MhqN&00Utd+ioB?_t$oEy&MXpHV zWhVW=cm23D=-(YgbN@l^AW%4qJ)z$#_yJq{juoN*31rng{|;pPpf0gZy=;>Q12}`f z*!e^7ulN4nvpT!(Z)EqJ@{8@LI_E;V?>L$7d75_2l%F^ifWLnFQ|aO79==%y+#+#PgjhRB@%PC7 zKmFD@-Ac17G#7w7K{s@i9IijCx|qZu##^(BHp1|5Y~UKZE1{;lYtt$h5aMJ~;UTiEDeSJ-jX?8HgDu zKHk-QTV%+W60jEcvZ!0MN+as&d;+Bp9vTBtcDVV7s79uRZpc@IS?pqL_3ui4tu%L> z0VTg30m8&3$D|~-l4Gqq&+k2KHs6yEYUOHSf5bmONkoDr)-DZIfndh(a>I8A^i?hk zD8h!=;IdH|w0rYDN4+3-$j{&}pLV;~MP#Y8sM;*{yK82lUA{Zqj{?;_j!5y6Yzy0o zzkw`fC#D{Qm#wU110I|b42df{^m*fehBC7zIL}e^N1cFxTUhirP`?^b#l;)7cIDAs zv0pa-JjsXcM|3#_n)03gMj;U zv-B74{EFW|VsaO|0M@YJUf^%B?dQlD=@`yS5v4Om?|$2JXDF}Y*0c*3 z@0#78{05@UO1K^yIrzluXIFl^g$f6TWfNWvF`RW&(lwiitxEl=NeDf^XF=+{OA(&% z2`J~!4w(aY)MZ}K_fW{kV5JFVUHy)FtB z|I*RBw!h!bPg{kX&=mc{)v^+>*x1$7HsdedBhD59kyY8x-m8FT(6J`BW}X+FQ5G2QjGTXbrazP>GPHAKaF{9RH=k7gId1YzGavoNhk}(Eo**Q)BQ6^rLiC~^ zPkT?~ro0~QV*RgAx!6R7?Pg}~Pow=lNPim>AKa0{Yh#4^_%qvem6h;UdT!-RI_Cnb zw7a^7zYg$!?B+k13V6k|H-6A?B_kE+>{wSvEzX#Mw=e4w0DWwXG<1WBwEiZhhPwFk z-QGyt#rG}pRP?4@MoxFjM`8QCF{ikiI=8=1HHpu6ZC}2VP+8;V7vdK45+FbrpqS;| zkNO6>I7mBJqTeZSv^}|O0-kfsH&Af#Hgs6@8>nDZ^i{|q{_)dV0U$YQ_zg4*s5Z0# zIU}5SU{Xli_y#&#mpD!ouX-$=_jLD^ZG3W`Ka?b`%5X=b9%%H%vG;smM6s*G{$d8%@GI|4e4Uoa}@{a3%*?o^<)K}32qeFS350XKJn5RtNV#|nL- z4RcER)3oDcx3evkcSUwaa+GluYncCzbNOXH-C$`Gr+L#>NjNbx^(ZPkQ}sEB#z)R` zcb}^7-8-}FUN)I-Jk}G${|~brysCP<|C`~yO3bUT&F)`#0~uVFZy;j1^Sk=gm)<2n znJ$3$u<+AXoooNaR%YvIcokj`fV2iofE<__U+63agn3~{=g`j$p^ zwb#uI64{JH9<6zxK`J}kKK5j`)!50xJ5Nv94riu$Iann#QodJuL5xMUX7m90L@sq4 zdH85?^N0x>S6rj0+C3>+*AY-EUg)Vsa z=2ngf1cob=&|ld4S;7yeb(kSW`E6?>^Lt3#<*6ZzUZeUf`waJkHx+1$X%{2geF-iZ zZk9@I2$M%-85P@wt_mHto5GJ*L^e!nU^|C(yhJy$gRNf+*oeF5WpGZy@X0ngCfMkM^4YyG`ffak0rzVcI-Q;if(?T=&7#8u@QaF9li={v$e z5RJp849MWGzIyBKtI~@%^B$9RkXQEyO7@G6>pH9}nJ z;+9=*7NVrx9noBN;|niIUpws#q*okaOo- zJ%rkU=JC=8qC7!bOmlR1H%P_goh_zG-1@uw@*3`VI^kFbt21d<4!Fo{0nP13$}Am5 zYr-1&EwpOG)_nUsP|gl={65>P|!vxPEN9&T=w46Dmw`+lGTVUjoM->`)h^3 znyTHLB+)eEVHo(B(Fkg1Vbv%aUM)n~S!tD#pphP>Uzwp!Ssr@BshCCaZMy;4@M3Az za1km@oaTgES|IkOy229OwN)4hqUYNA=uPVev}35>#Dq{NSa$8R;E69Ih2VL+-ni2j z6?_ZM{F!T1%%=LKAe~^rMJD`L4TXsTj{QWga&2UlWJD9wT|<1m73qQCP@Ag}_E;*) zvFg`hyOKLzZx`gxV>}%39Vou?pgae#o^zBu#|%6@QGdq&h09c}A%;5kRekae6knRt zA{*Ftb5vhIy*ggizdw-TmgdW9tf;zTeCu&~(XuK(;+DyNxNH$`i^nE@y}&R9w1iNs zH$J>x>>|aeO1%@posFqRz({e{M)OP+vrYVNw8di3v4ehu2gb}{H>tgQOjC{{pT9-H zafnrQR_)G`<_^#EWh%cKsf{XIzI&-`0}G?F?@wPF9dzH?tE_a1@ewwzPRC9BS#kKT zrEW@U)N^Lkc?-4qZcP^pr6A3Xn9l_ej`YTgz%95G6ETD9)D08DsIeMO(rKMp*Ce?? zP8L5A`Ol5D`^k4d8W6f|#H5PdnZ@5)R8*3Fs5A6DcdD!n(d_@A?VS*<#{ibGjN52j z&O+Tbw%&%nRv@9}ZKsIM{0^rF3R51ApFSZ|QG7F{3yKo>y2qLN4`w&_D6+kT*gIy~ zyUoc0G^-0D&pVO*I!$F-wA6`+6mB8Z04q87n z+aG$6;XcBSUzy3nvYlp@KcxZ?&AiUCj+!PSkx?mmS54es%AZ?|t{x4!CUO$M%`53{ zM&lo8gGuijx+Dqe*f28@lvyoF1{$O@DcUuQJ48`Ja1bO8{WB&`N% zYwrTB!576{+OUz`%AA}Q=8!GHPeg?`0`Jy5O=D=|`gn$2xu&nTSck0x|BV$y$$!iZf#U*>3pZ zNs+2(`BA4(9a8(;;6#7ZpNs1jn6jWCQ6?&pZD8pl>{MEAk(WA6nd3yned~_uqn(;Q zR`jt{-q;6SAqebe6fYv}@#iFY5&KB;Cuatw4jErJr~;4yy-5`=XzXPx6vBl9@n;)1!GMS8Apo`By4YWc{C zlUTEdUCc7Mh}~yJAIdN4$1_wcIJQ-8NcQI)U=%{9w6?cW{Z5C9EWZsS_7#Ig?K33wpaGZ%w+*%SbBmv~bz zZMvY(gB-i15h@fGt%`n!uA0e_0ky4aF~bTQL7nx|v4Oi*V0Z=!##i{^&C0{csf{Us zAg7ZDS;Qjk6G_F_iDPEQwzmXLjcORLx))sB1t_8@#j}Xu(+g-js;9E_-ttX1ohYum zz5y)g=(l{tZr32G+jY%ypfl#0&cp5OK2DIXLOMdf=P%t~DD2TbXr zI+ARypLUYyn%PwAio35y zvo?ph@DElm8K>FAt`Ie*%x%+{AGt%24ed$NG%mPTGdk=_KR2HWjMYj|AY2Y-i9E%u zY`q*vD{}F57 zU^ir`Ua4?{s=tlGlQS2=y}px+{)O;n@I-xbC><8atQ2J>CarRulCFy&Upa}IBUJtZ z3vtT}Ji>C3cmz7MWcyriw@5v@3trnr@T`xK9TW9h*F*)Y&ZHlq=c7JclI+G#H@$^a zERWj2#Q4`=KQA69VxxO)5;Hzak&gd7vp#We+pzIC&n?^Hw7s{&#(8h^GttSjXkx+s zyqXf30p7wCdKEwiMA=JL`lcQ4(iX^fZ%>5=h#3|9{v`f~zcDdk88dp8aqx~9C(_2O zt7b$j>Vv(MLh!Fk4t+9ewF9UNuXKOCn&FJn5RKT3GA*-r1zi|P>8CgwR`@cz21zBB z0%QEI%;S1LwvS*$nuLAvv*#9B%umNL5ZGxS54MJ=cetk41j?Q)G2ye16o#X1v>T4| z5*D~>>eG$J-PVqUOoU(IepbSmCk1}0ib>|5@g>_;jkks=Z0nIk(ybU+N-)zZ<@P$f zj8}=LLzphYHn*jgBRz!*RMpQRM zS0;{Zl9%|V!Y%R8+=?~ys9{kSFI$TRK~7tv1eB>@g49*A2NbcJ+^(S1J8$R143zL6 zDR5ZNjXDNi8PfLWwf230^qkwn5-je>7l&ST-_(^-5FfmU`;r2!++483A$fmYl48d^ zu_LQ!0zq|f2)^gSOLqADFrJb6eU+#)>G0rRmnAX|wzShlW5XP4xw2v7qw>wgM*WJr z24UujuhLv{^mSVJTbUQS%5EKE*<#U(Xz6IX&xRaKU%Bk)+wbMpuO#V659*MdnqWj{ znaxPYa`ku+BM<((RV>qs+H7=c`;eq1_z6c0!_4(b3y-U})=2Sc;+M%;98tv*A$I-JtHRHY^<_$6GtPRkQQQDFsHQ=zUJ>&&MoFjKjl@VR z!eUuJHxs+8=}4i{u{*Yt3O z4^6*AP-&Lrwe*l9$u+-*DXd3lFZi&nCvs%i?kwyp#LYquBByV)Hz+H{PxjgM$+_E< zW?Bju;zAsQAV-GG4Q0IGk!Kl7txSudbg1z{wtUlP-K`A%kuvNcJ9u$Sf%L*UpZS3+ zUl4PZc9z2Jr~FHFcGbpMlW7|m0r9~VP%VQdD%1LX!)D@^n<*NE1Ehp=bE)_SSYNjF z+ey%xUEM^bGr^CCj&-dH&*HhK_4y7Mx@OZr&ZJrFapjq=A!q8t_lQ+tBM*2#x@{1* z-wHJ$oAYDKPc^NoigUSIWUl8s4l*lT*L^445pSChE_!=oz2Tt`Ci*NuMZ3fK24>a3 z(&kd7D$A#&d6UMuv4u8pk|wN4IWrjYm#WC8@yRUwn~1l8Eh`< znVt$87?h+**-BcNHXGgKw5cd$QwW?$?eB4;6v>|gQPMoEYNSXVL$sW=?ls#wnc5yo z(SEuuWP~6MS|V`kbv#hTydCqrC`?vgTBj*ExpTSG!lL?tztBC0F9J2|I$13|5!AF= z{cq2Byx{?j%G(u?$vTP-kySA(V5r|uldZ9(;xD7)ET_Fcf&4t%)H9uIOwrjiuV$Wz zJC-!(GZGpBBpxg6!O5}aXK7Q5F;w&3CLlA1rRKPgQpc(r| z0mN~qaQ>*TcUhSe!a?XY=~v@>_6$Gcn8Ka01SyeemixWv^RE?|mpg;o$cKC8BU^cW zZY-5DL6%}pH40ua=Zqf2)#3%aeRzMlpK(__%g+wgZguS4?yx}>vwl>|ypm*JO6l|7 zvnbu?r9Ax%Z9Y1>+VRW7#KW`#SL4mGw>HuWB>VC%_l4%>BN+X4>F9UDE@Kx{z~EFX zv&wp+pdo&vMaPgd!~(YVsJlk>u8dCCsEvWg1tAk_{2qtfPF z<=UJIGbxkap7(+b{KBi1tmwk{Xd7_4DhIpy27?)R-_rSKZW~j|F3>ao&}6#1% zh`y==31TbZ-0ZlcRPvgSzVBjQ?!^IUld!CkF&{3*9sY)NOD&#bux6DXd~P|tM*RWm z(^;P2=jOR_>5O#)247pIF_h~zbL#!5PAZ7}>HdII7ZP53cmErR&{Mr~&?(rOy<)pE z=#>sL@g~|?{)w_3P^(w^lQ>D^4ivhnH8d$dTw8W>qYZ?%5h-Q`XvzOU9cJ?#5yf&U zKAuMDKS$;a?ZViHwD2o9NNCW)-30l(4Uheevn>rL;^JZux`EE`pRM5^IrOP~#LTSN z?LBFNRgKiM=WFM*6%h3(nBHhZi+*YxBS|VMwNv+~W*EoZc~IBj%~jEI`KKi>?ZF$v zFgd%q6#IRhos|qb2P3eOy!s-M5a)6im~C(G(PFVsuip4829@mNgbERT-0fU6XOe2T zUTohLq(ong%5iuER3^uYN~|N+?ha0>u??jdPb40os@_N{% zxrhQfXbFANkLxM@r&NZTU9%+UtYuuh()Eu0B@#xf7nY#v4z6*U7%e^(x(zD%>bS)g z0XD1av1ihHr0N3C=xb&p`V#V7zkzf{Zv}c7VoiO9Fg|-6f3-x9_(;S-lFU`F^rja!LHx-c6Bf zyxir?4r(QtQd8l{k@Ylbb9W3fk`?_1`)u&J;sJS;B!hCxH!+LwKWUFzYN`Q@es-v3DD4)grK(hl21~Q$p`uJ6w{o+js zAGlYCzkIU)M(V?XK%N`S`U(tudF*L*u-+s&&C$%||bCxgy*_ ztH{h+Fc5xn_EJCfFo!IrUQ0Dzy)DJ;f?{OcI~{w|S}0{Zw{hp;5s}+^bx}0g)1^?> zO|cJ4x+IHj@Wu?LsEgD?xS;ACkr5v$CS%$Qiy7h}6fL<-gz^a8=-BLXz#My=Ud+CU z6A&J=8T^w@gC-451bd;YrCxbB2=CsFx|qw37%LaOW{cb8chHPYU;nnpUZk8R+M7-S zXH7?A0Fa|=p;q|U ziJYjRX7e`NFp5xOUMm>mTZ*s#!&9Re1ET7Q5{EblVV6Vi_@(Qa5vxJ9#&! zYB$Jd?$!-ftl6v#4=t*kc}-68kJ~0a)39lE_QsKi+#Y;&^C3%9b$yi*hYq7vAnq-n z*1O=Q$9`T`>PIa{WaSp|iB|_&U7ll2JkawqPUMtjjC26JAxNBWVN-~f&S)`&8Q1&} zc>~Qaor!>4%ws89_#homeYlMu4vVoAxMUr@2fL=ot9e+euq4Ut?01FWqP*87m1LA< z%#+8|%Q1Zl8^mg|b8}}4rLWa6R2Uhpj{;T6k zdAfXoDHw%Qz4p7sR2J{cYqk`4(JX&u+teqikMYu)owaS}BM95sIuF^HO^pLolAI;i z^w5vB@(>Cx90?AzZ)M|csqZP>yr~iNi3OA@JZg)-&X%!8ru*`)F2yHjgV5DDi3DD> zZqDE>lmzzLHB-B#8N?H4cKISZ-E3p))FR`CIzrd$GN90$4YQ^|#lp_Bw3oK$?6V+~ zLo?j1`(RxICV?xS;^4$)={%;URM6>?TW2G}fh`i%ai6rYp$W&ifUHI!xSqcj)*g|_ zDIf;69Mk?F z6y+s7Vw?70TPzkXgR!O=upC;8WXZs~>aWjeo;VXzFso-y{FT~c{qbJ2JN=P8T~Utv z>cEJ5d?265Hn#qH8REf)YE6Qfo7uh6Vp_1JZ^{SIoGJ#p<+%FJ_Murm-ObZhZgY;x@@pJ(b61p~(9lhrqi6gK_M=DdmYjRL8eg{T zdh4$7x!$Z9EO}lHYS|I=JbgB17;*rS*3{=#;)6as)OzdiHtrd;f=*mjMYq5s_qa+2 z=5c)zdbfM%dF6}peL7iXga8Orjs&f9eTFIKjIs4pW+l%d4@}LU=!P6j)KX)-bu0F2 z$@S!g$^(5BqG<&^U?y6Y)sSJ%k64P$^ zq|6)QHap=q<8pFVxhm!YSrv!Tl^3xW*VxXV^;({GcMlCxSp}ij9}&@EYGX1OM|+F` zV!?|Yof`WKmp!wG8MZNXNNVS;4zBQ%e%-1M=7}L2Z=q{3lgyLSODebnwj3ILQr&yl z-$3GX6v7-8FRI6Q^ZBkrWt*+3Tsb(hOr!8+ALvNgr2DH{xWt#68xRjz7pD#*Ki0=g z$%SoDIRvm|h&L4Gl@B?+iBL_`7-5WCK@gJw@RTJXQMor&%XA%N7>xX zfAvBGbpEx|Ru?ShJkzN+%sAvUt@0!g;pDe+eQgPnQH@vB#pOTZF*dQI6+3^%rU)LY z4NK{SFV;DBxdnf*p`RA&oD&``1mhFwBlw3AM~9K%$>8V5fLRH=-m&2Lj$jW_ZLV?r&SU%yqAu*7CUP(#5SRA6#!UKu~6 zZ!WyN61(EHHb73VoW8h`SO?^%&^oiMl#28a@d8I}1O}2IAqplG%YHh(=#F@4{yJ50 z{;Bg@j@-Rx+#P4m&%>|HjX#-7yRjj$6FcJ?qg6>}_Jr}C5aqqqR1vg(11pyn0~{dS zs(X64dM1rDv;;x+oFUCD#fz!1F;%Qs&llf7?^!OYzJcIQaH~d!xU zmFmvMv@h}XE@QzRuWkU1G;K-%=?9ZD&V+BEd!D_MmES-WTwzU6C)PSOEul~CpqGsd zy8y+<4{$fm_*a$dYu-;jj0Xiqgl;e4eOe5Mt!sz?5WUInm?{@?@qDIOlm$ybe!+&u&HZ zc=Morxv?AWewNBM2=l(SF5LL`;@#M1$d$_D#y(%sN)+gZi%_wN=l$sUXO$zK3LZ|+ z(JrPdr!(ZznS*HThJ1u)aV>c)XQ+p_i$TOn*e^bHfHNe*d30f?cH1z>AAXB$Wso33>f9!`1HnY^DJ2Xc{V003ZPtTU+IV!<1KV;8Puns*%> z98_gg)HAsCi3Pv8nYPf_;Mm)=5aA7vb8%R&4RoPQUsE|Mjg&gNszJB|SNyWZ;gm*b zfWW+hbEVF%&n{ZmM<|V0zu$P*%LZaSvuA!@7J0MTVfg?H>qMgtO5J9_w+l(R*ouVf z=Tytsa_v1RBoluf6EjIVrgzMSq!W7E)&!?^CY5-x=a9@X+fa9^r6WmG(w25Yz$bBL z`VEw&UM@60c40ta@!=5RPx4R^ibL)M@Vmu1w^;TLNudMIp}Up^kLTd#t0Q#eyGM6EY}pn}Rs>*&f>W1Rv*o1W~K;PO($z zd;YAvmd*8#mz(v_ioN^pD`gd&*W?x?u1#+oou*7$($||W?Q;|4Z>PGSg|iJf(qn%$ zpP>_e8r5oVA{)M7haHxyu7LJYVU8b5tT0vL2D6_K(ppr(1CrO{z+BlANVjw!D_mF= zBO(Aky#-C5lJQ{c87q6Optl?nl}tQKbLlj#srBaIIw$VBm9Ys$@xs=Y{r9p<0hT|; z&G)hM-~S=S=tbqk&BFAhFwc?uCfDm|?b7noudNjuwp=oWoQ`cHPgBYtbLNCF^o2aa zZ1KV5L2ZK*8-~BGRUJiz)|2f$%9?%}b)Ju&3{)M%iBZ!SgOfGLH1D0aGSG!B??)Je z>F8<)R);m&F%=!G$f<8GT8O9bT{|iQCav`y__6NTCg@13aCJ&~sy?(+G|e&xDoq!= zdtIubT#Y92O%ldX$rTL{fl4(?$;WiOp^$k;h4Uv1fG1=;W>g+Nv!!ihTb5PvUJPH7 z__=$+<0hPvNK&lw zk`>IVV>=rpwt0N&zvh0)XaC1)lN*L~pKU$-sA7lFbLqKZOXG~7eEX3JNI(`%cv{g` zK=@|-i@}oh^+UR0`C`fx$r^@15lqg)jO~PpGGh#PD4x~z(WA5YCcbH-ItuFW^`veo zlcs)v*n>^kV~>QA!RwQ8K%3Cw=k>6Vl^H1}?tDk5wND3p>@OAXm0F~d?QBKli`p4J z)ZbQnd8u2xSS8^IELv^kx6b(%*f~a>L?$P36;de~>*9M{r#Ph9oaj~dKq7b90)}B5 zDby{s2Lj_nDjwO2Oo~iJI!m}c4`V)m7CgntE3k|g7HbShH$)u8b$}hjPz&2}M&8wV zS0j=b#e7K6)<(22=8<;9?Wz`)RM5k`ys4I@q^?;{Zr1);)2n_w?MidzoT%&GNJXT< zp&D+_V7u)~%4?H|G|?&pp--RE@n-(;`q`p)y+aPZ;PN~j9)GgOC*$+_;S{ZQvDQ^Q ze8vWlQ^kZyI7OptC{>e^GU_uK;}JY zIUp`FRhq#@W)^5KA~7i0_LKcPmDvm~6?=s{NQQW;w+O8SwY4oh;`B&Z>1$GnHp&YoQ z*-zfz_UWptFNn7)DWw$T>pu3ld_?}%8wnuoB>74TTuY>fIC^s~GiZndZm7iuH?I$< zVixVULu{G$yGq-s;$49HYxYWN1F$+ng7vrgIz@%oMHu#5T#QN^mwf;eAKZH5|RU#UUS&KY}lP<9v07 z`0MtTE)%p&W z&kp&BafDb~EVl*MBw6~_ge!E~ds&S9TL<)4XY`-`R_DP`?@XuUh4s6R>s9X@1#)mg zRVk0|nQNQeVJV=S?I%I&(FQ8S(A}!8^~PTtv)2VjVy8Y9!V;C|_$<(=1SXO{<7 za>9ywxyz?g9vvBrtV#iO*2!5Fz! z%NiM*`KkiWSuj4`GDn68ib-D$r2?TMkV+EBCgU@&5_ow8W1l{NQ0;S2bSwC3fux$5 z1%r7LzTS>itrX*SL$Gywdd>He%j_H`dFK+v+urqMeOLY%Cyw*;MkJnG$xy=Xl@+TL zp5`MLH=@tBEAlEwL7_2{bmble+7`{YC?qW3Gk~YN0Qd&S^op+>4s{dqjgH)Z=q_4@ zL7z~Mk+G?M{OzaDv|Jd| z=j=kq^Zo~J#81~lgVV7=LVeOTX$wCjGNqCSYT(j@XuLbZ^1E}Oibb0{=^D{8wyIP)oCV-? zz9w0aEgMDiv5063U{N9@PFu#(vMqJr1R0ORsuz5ri(C^EZD;4uS+|5*GRAPhVnAwi zzXZp?>M%|?a`+%0hE1=U_WVpTsBN-l3SVttw_mqL;5Cf3p5>~VC=X%~fvz4&3}cG7 zW0pcTU$7Mn@p^cX!OhuIwRB#%eeIIE`F_dQM-YkwTChQi%0aDaX;FQ#w6U<*j@7qF zHpV?6BUwyL5XfZD(rV3VyTSl$V9s9)C?@nn*uIdw(xnS(eq*cF>rA4G$r-?#6h_=y zIVQjXy-Q|95M59c48OL?69WGw6VbZMA7)q7nFB3v%N=*$iH*awKR9Zp6+u%d^n;88PZ8 zqz4=2Ti@I_DPo6iwp!n4#dr^_&SBqky3B>gvR-oSaqv)wwm3XvkFN?MIp)E4I_|ss z*vma?Dqf3saSup^=1j@pWtmfwC}(%x70|G@7qe$`4*|6d-{b2T>AfuX#v_y95D~f6 zax=APvc~wlV1{&Xi&ub>*cHnUX&`e$qkp{5PKAU?c9=`vqj6@nvNl?L~|J>*fC);9~wZx^$ZK$ z!7g-HACMADn!ga&XK6j;Cobcy+<9$G$*e$^aHS$2$QU|8iB>w>g;xsL+MYG-dFH6Q z;J)>*3w`x)3=hw;Hp^1y=L0cAf4TC+Vm2(Ja>0EJs7KWIG zLwVJ-lPCdPa9iNsM|smvLJa%;=|#Bud|l^g_v{gH>%>Qs7$Ga9-oo>CuhsFcl=?Z zyzY|JJ&(xf1fw>4S??g{55%tECx-ZIWQXOtUQG&7Oc(36cXqHD8D1O|cZ7hfJ3Z|JdyR Lbemy)oB00#H^8Pm diff --git a/assets/swe_bench.svg b/assets/swe_bench.svg index ffa620f2d..cb02c77e7 100644 --- a/assets/swe_bench.svg +++ b/assets/swe_bench.svg @@ -6,7 +6,7 @@ - 2024-06-01T11:46:22.003048 + 2024-06-01T14:47:44.878771 image/svg+xml @@ -41,12 +41,12 @@ z - - + @@ -412,7 +412,7 @@ z - + @@ -583,7 +583,7 @@ z - + @@ -699,7 +699,7 @@ z - + @@ -894,7 +894,7 @@ z - + @@ -926,7 +926,7 @@ z - + @@ -1157,7 +1157,7 @@ z - + @@ -1339,16 +1339,16 @@ z +" clip-path="url(#pfeb5048445)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - - + @@ -1394,11 +1394,11 @@ z +" clip-path="url(#pfeb5048445)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1467,11 +1467,11 @@ z +" clip-path="url(#pfeb5048445)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1487,11 +1487,11 @@ L 690 242.500879 +" clip-path="url(#pfeb5048445)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1523,11 +1523,11 @@ z +" clip-path="url(#pfeb5048445)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1557,11 +1557,11 @@ z +" clip-path="url(#pfeb5048445)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1578,11 +1578,11 @@ L 690 144.756199 +" clip-path="url(#pfeb5048445)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1599,11 +1599,11 @@ L 690 112.174638 +" clip-path="url(#pfeb5048445)" style="fill: none; stroke: #b0b0b0; stroke-width: 0.2; stroke-linecap: square"/> - + @@ -1780,7 +1780,7 @@ L 170.425134 307.664 L 170.425134 170.821447 L 104.863636 170.821447 z -" clip-path="url(#p4aa384bc7b)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pfeb5048445)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pfeb5048445)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pfeb5048445)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pfeb5048445)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pfeb5048445)" style="fill: #b3d1e6; opacity: 0.3"/> +" clip-path="url(#pfeb5048445)" style="fill: #1a75c2; opacity: 0.9"/> +" clip-path="url(#pfeb5048445)" style="fill: #1a75c2; opacity: 0.9"/> @@ -2356,7 +2356,7 @@ z - + diff --git a/benchmark/swe_bench.py b/benchmark/swe_bench.py index e0669937f..7e2ac9d81 100644 --- a/benchmark/swe_bench.py +++ b/benchmark/swe_bench.py @@ -54,7 +54,7 @@ def plot_swe_bench(data_file, is_lite): if is_lite: colors = ["#17965A" if "Aider" in model else "#b3d1e6" for model in models] else: - colors = ["#155F91" if "Aider" in model else "#b3d1e6" for model in models] + colors = ["#1A75C2" if "Aider" in model else "#b3d1e6" for model in models] bars = [] for model, pass_rate, color in zip(models, pass_rates, colors):