# include <bits/stdc++.h>
using namespace std;
typedef long long ll;
int a[200010],cnt[200010],tag[600010];
pair<int,int> b[200010];
struct Seg
{
	int l,r;
	Seg(int _l=0,int _r=0):l(_l),r(_r){}
};
struct Event
{
	int x,y1,y2,add;
	Event(int _x=0,int _y1=0,int _y2=0,int _a=0):x(_x),y1(_y1),y2(_y2),add(_a){}
	bool operator<(const Event &a)const{return x<a.x;}
}c[1000010];
struct node
{
	int minn,cnt;
	node(int _m=0,int _c=0):minn(_m),cnt(_c){}
	node operator+(const node &a)const
	{
		node ans;ans.minn=min(minn,a.minn);
		if(minn==ans.minn) ans.cnt+=cnt;
		if(a.minn==ans.minn) ans.cnt+=a.cnt;
		return ans;
	}
}val[600010];
typedef vector<Seg> vs;
vs f[200010];
vs operator+(vs a,int b)
{
	for(Seg &i:a) i.l+=b,i.r+=b;
	return a;
}
vs merge(const vs &a,const vs &b)
{
	if(a.empty()) return b;
	static pair<int,int> v[200010];
	vs ans;
	int n=a.size(),m=b.size(),c1=0,c2=0,s=0,l=0;
	for(int i=0;i<n;i++) v[++c1]={a[i].l,0},v[++c1]={a[i].r+1,1};
	c2=c1;
	for(int i=0;i<m;i++) v[++c2]={b[i].l,0},v[++c2]={b[i].r+1,1};
	inplace_merge(v+1,v+c1+1,v+c2+1);
	for(int i=1;i<=c2;i++)
		if(v[i].second)
		{
			s--;
			if(!s) ans.emplace_back(l,v[i].first-1);
		}
		else
		{
			if(!s) l=v[i].first;
			s++;
		}
	return ans;
}
void build(int rt,int l,int r)
{
	val[rt]=node(0,r-l+1);
	if(l==r) return;
	int mid=(l+r)/2;
	build(rt*2,l,mid);build(rt*2+1,mid+1,r);
}
void push(int rt,int t){tag[rt]+=t;val[rt].minn+=t;}
void pushdown(int rt)
{
	if(!tag[rt]) return;
	push(rt*2,tag[rt]);push(rt*2+1,tag[rt]);
	tag[rt]=0;
}
void update(int rt,int l,int r,int x,int y,int z)
{
	if(l>y || r<x) return;
	if(x<=l && r<=y) return push(rt,z);
	pushdown(rt);
	int mid=(l+r)/2;
	update(rt*2,l,mid,x,y,z);update(rt*2+1,mid+1,r,x,y,z);
	val[rt]=val[rt*2]+val[rt*2+1];
}
int main()
{
	int n,tn=0,tot=0,S,c0=0;
	ll ans=0;
	cin>>n>>S;
	for(int i=1;i<=n;i++) scanf("%d",&a[i]),c0+=(!a[i]);
	for(int i=1;i<=n;i++)
		if(a[i]) a[++tn]=a[i]-1;
	n=tn;S-=n;
	for(int i=1;i<=n;i++) cnt[a[i]]++;
	for(int i=1;i<=S;i++)if(cnt[i])
	{
		int t=cnt[i];
		for(int j=1;j<=t;j<<=1) b[++tot]={j*i,j},t-=j;
		if(t) b[++tot]={t*i,t};
	}
	f[0]={Seg(0,cnt[0])};
	for(int i=1;i<=tot;i++)
		for(int j=S;j>=b[i].first;j--)
			if(!f[j-b[i].first].empty())
				f[j]=merge(f[j],f[j-b[i].first]+b[i].second);
	tot=0;
	for(int i=0;i<=S;i++)
		for(Seg j:f[i])
			c[++tot]=Event(i,i+j.l,i+j.r,1),
			c[++tot]=Event(i+c0+1,i+j.l,i+j.r,-1);
	S+=n;
	sort(c+1,c+tot+1);
	build(1,0,S);
	for(int i=1;i<tot;i++)
	{
		update(1,0,S,c[i].y1,c[i].y2,c[i].add);
		node t=val[1];
		ans+=(ll)(c[i+1].x-c[i].x)*(t.minn?S+1:S+1-t.cnt);
	}
	cout<<ans<<endl;
	return 0;
}