#include<bits/stdc++.h>
using namespace std;
using ll=long long;
#define all(a) (a).begin(),(a).end()
#ifdef DEBUG
template<class T>
ostream& operator << (ostream &out,vector<T> a){
	out<<'[';
	for(T x:a)out<<x<<',';
	return out<<']';
}
template<class T>
vector<T> ary(T *a,int l,int r){
	return vector<T>{a+l,a+1+r};
}
template<class T>
void debug(T x){
	cerr<<x<<endl;
}
template<class T,class...S>
void debug(T x,S...y){
	cerr<<x<<' ',debug(y...);
}
#else
#define debug(...) void()
#endif
const int N=2e5+10,M=N*2*10;
int n,m,a[N];
vector<int>t[N];
void reduce(vector<int>&t){
	sort(all(t));
	t.erase(unique(all(t)),t.end());
	int len=-1;
	for(int i=0;i<t.size();i++){
		for(;len>0&&t[len-1]+a[1]+1>=t[i];len--);
		t[++len]=t[i];
	}
	t.resize(len+1);
}
struct opts{
	int x,l,r,w;
}o[M];
int k;
void update(int x,int y,int w){
	o[++k]={x-y,y,y+a[1],w};
}
namespace SGT{
	int t[N<<2],siz[N<<2],laz[N<<2];
	void pushup(int rt){
		if(siz[rt]==1)t[rt]=laz[rt]>0;
		else t[rt]=laz[rt]>0?siz[rt]:t[rt<<1]+t[rt<<1|1];
	}
	void build(int l=0,int r=m,int rt=1){
		laz[rt]=t[rt]=0;
		if(l==r)return siz[rt]=1,void();
		int mid=(l+r)>>1;
		build(l,mid,rt<<1);
		build(mid+1,r,rt<<1|1);
		siz[rt]=siz[rt<<1]+siz[rt<<1|1];
	}
	void update(int L,int R,int x,int l=0,int r=m,int rt=1){
		if(L<=l&&r<=R)return laz[rt]+=x,pushup(rt);
		int mid=(l+r)>>1;
		if(L<=mid)update(L,R,x,l,mid,rt<<1);
		if(mid<R)update(L,R,x,mid+1,r,rt<<1|1);
		pushup(rt);
	}
	int query(){
		return t[1];
	}
}
int main(){
	scanf("%d%d",&n,&m);
	for(int i=1,x;i<=n;i++){
		scanf("%d",&x),a[x]++;
	}
	t[0].push_back(0);
	for(int i=2;i<=m;i++){
		if(!a[i])continue;
		int ret=a[i];
		for(int x=1;ret>=x;ret-=x,x<<=1){
			for(int j=m;j>=0;j--){
				for(int v:t[j]){
					t[j+(i-1)*x].push_back(v+x);
				}
			}
			for(int j=(i-1)*x;j<=m;j++)reduce(t[j]);
		}
		if(ret){
			for(int j=m;j>=0;j--){
				for(int v:t[j]){
					t[j+(i-1)*ret].push_back(v+ret);
				}
			}
			for(int j=(i-1)*ret;j<=m;j++)reduce(t[j]);
		}
	}
	for(int i=0;i<=m;i++){
		for(int v:t[i]){
			int x=v,y=i+x;
			// debug(x,y);
			update(x,y,1),update(x+a[0]+1,y,-1);
		}
	}
	SGT::build();
	sort(o+1,o+1+k,[&](opts a,opts b){
		return a.x<b.x;
	});
	ll ans=0;
	for(int i=-m,x=1;i<=n;i++){
		for(;x<=k&&o[x].x<=i;x++){
			// debug(o[x].l,o[x].r);
			SGT::update(o[x].l,o[x].r,o[x].w);
		}
		// debug(i,SGT::query());
		ans+=SGT::query();
	}
	cout<<ans<<endl;
	return 0;
}