#include<bits/stdc++.h>
using namespace std;
typedef pair<int,int> pii;
const int N=1e6+10,inf=1e9;
struct rng{
	vector<pii> v;
	pii operator [](int x){return x==(int)v.size()?
		make_pair(inf,inf):v.front();}
}f[N];
int n,m,S,t[N],a[N];
rng operator +(rng a,int b)
{
	for(pii &k:a.v) k.first+=b,k.second+=b;
	return a;
}
rng operator |(rng a,rng b)
{
	if(a.v.empty()) return b;
	if(b.v.empty()) return a;
	rng c;
	c.v.clear();
	int n=a.v.size(),m=b.v.size(),i=0,j=0;
	while(!(i==n&&j==m))
	{
		pii k=(a[i]<b[j]?a[i++]:b[j++]);
		int flag=1;
		while(flag)
		{
			flag=0;
			while(i<n&&a[i].first-1<=k.second)
				k.second=max(k.second,a[i++].second),flag=1;
			while(j<m&&b[j].first-1<=k.second)
				k.second=max(k.second,b[j++].second),flag=1;
		}
		c.v.push_back(k);
	}
	return c;
}
void work(int x,int y)
{
	if(x>0)
	{
		for(int i=m-x;i>=0;i--)
			f[i+x]=f[i+x]|(f[i]+y);
	}
	else
		for(int i=-x;i<=m;i++)
			f[i+x]=f[i+x]|(f[i]+y);
}
int main()
{
	scanf("%d%d",&n,&S);
	for(int i=1;i<=n;i++) scanf("%d",&a[i]),m+=abs(--a[i]);
	int cnt=0;
	for(int i=1;i<=n;i++)
	{
		if(a[i]==-1) cnt++;
		else t[a[i]]++;
	}
	f[cnt].v.push_back({0,t[0]});
	for(int i=1;i<=S;i++)
	{
		for(int j=0;(1<<j)<t[i];j++)
			t[i]-=1<<j,work(i<<j,1<<j);
		if(t[i]) work(i*t[i],t[i]);
	}
	for(int i=0;(1<<i)<=cnt;i++) work(-1*(1<<i),1<<i),cnt-=(1<<i);
	if(cnt) work(-1*cnt,cnt);
	long long ans=0;
	for(int i=0;i<=m;i++)
		for(auto k:f[i].v) ans+=k.second-k.first+1;
	printf("%lld\n",ans);
}