#pragma GCC optimize("Ofast") #pragma GCC target("avx2") char*mmap(); #define rd(v) int v=0;{int _c;while(_c=*rp++-48,_c>=0)v=v*10+_c;} #define wt_rev(v) {long _z=v;do*--wp=_z%10+48;while(_z/=10);} #define rep(v,e) for(int v=0;v=a?v:a) void radix_sort_aux(unsigned*a,unsigned*b,int n){ int c[256]; for(int i=0;i<256;++i){ c[i]=0; } for(int i=0;i>8|a[i]<<24; } } void radix_sort(unsigned*a,int n){ radix_sort_aux(a,a+n,n); radix_sort_aux(a+n,a,n); radix_sort_aux(a,a+n,n); radix_sort_aux(a+n,a,n); } int a[3004*2]; int dp[3004][3001]; main(){ char*rp=mmap(0l,1l<<25,1,2,0,0ll); rd(n); rd(m); ++m; rep(i,n){ rd(ai); a[i]=ai; } radix_sort(a,n); rep(i,n-1){ int a0=a[i]; int a1=a[i+1]; rep(k,m){ dp[i+2][k]=dp[i+1][k]; if(k-(a1-a0)>=0){ chmax(dp[i+2][k],dp[i][k-(a1-a0)]+a1); } } } int res=0; rep(k,m){ chmax(res,dp[n][k]); } char wbuf[64],*wp=wbuf+sizeof wbuf; wt_rev(res); write(1,wp,wbuf+sizeof wbuf-wp); _exit(0); }