/*
感觉对于一个T而言符合要求的k应该是一段区间
如果这样是对的，那么可以对于每个T求得最少元素个数和最大元素个数
其实也就是例如min:
f[i,j]=min(f[i-1,j],f[i-1,j-a[j]]+1)
g[i,j]=max(g[i-1,j],g[i-1,j-a[j]]+1)
然后这东西怎么优化，感觉有凸性
注意到S与n同级，说明只有O(sqrt n) 个不同的数
那就多重背包
nm不一定，SB
直接维护区间，应该只有O(1)个区间
*/
#include<bits/stdc++.h>
using namespace std;
#define N 1005000
#define int long long 
int S,n,m,q[N],h,t,c[1005050];
#define pr pair<int,int>
#define mk make_pair
int a[N];
pr val[N];
#define vec vector<pr>
vector<pr >f[N];
const int d=200005;
void merge(vec a,int d,vec &b){
    if(!a.size())return ;
    for(auto &to:a)to.first+=d,to.second+=d;
    vec now(a.size()+b.size());
    merge(a.begin(),a.end(),b.begin(),b.end(),now.begin());b.clear();
    int l=now[0].first,r=now[0].second;
    for(auto [L,R]:now){
        if(r>=L-1)r=max(r,R);
        else b.push_back(mk(l,r)),l=L,r=R;
    }
    b.push_back(mk(l,r));
}
void add(int l,int r){
    if(l<=0)for(int i=-d;i<=d+l;++i)merge(f[d+i-l],r,f[d+i]);
    else for(int i=d;i>=l-d;--i)merge(f[d+i-l],r,f[d+i]);
}
int cnt[N];
signed main(){
    ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
    cin>>n>>S;
    for(int i=1;i<=n;++i)cin>>a[i],c[a[i]]++;
    f[d].push_back(mk(0,0));for(int i=0;i<=S;++i)if(c[i]){
        for(int j=1;j<=c[i];c[i]-=j,j<<=1)add(j,i*j);
        if(c[i])add(c[i],c[i]*i);
    }long long res=0;
    for(int i=0;i<=d+d;++i)for(auto [l,r]:f[i]){res+=r-l+1;}
    // for(int i=0;i<=S;++i)cout<<cnt[i]<<" ";cout<<"\n";
    cout<<res<<"\n";
}//fuck