#include <cstdlib>
#include <cstdio>
#include <set>
#include <algorithm>
using namespace std;
const int MOD=1000000007;
const int MAXN=555;
const int MAXV=65536;
int N,K,H[16],map[16][16];

class STA
{
public:
	int val;
	set<int> could;
}F[16][MAXN][16];

inline void init()
{
	scanf("%d %d\n",&N,&K);
	int x;
	for(int i=1;i<=N;i++)
	{
		scanf("%d",&x); H[i]=x;
		for(int j=1;j<=x;j++) map[i][j]=1;
	}
}

inline void dp()
{
	int max=0;
	
	set<int> :: iterator iter; int now,nxt;
	for(int k=0;k<=N;k++)
		for(int i=1;i<=15;i++) 
		{
			F[k][0][0].val=1;
			F[k][0][0].could.insert(i);
		}
	for(int i=1;i<=N;i++)
	{
		if(H[i]>max) max=H[i];
		for(int s=0;s<=(1<<max)-1;s++)
		{
			for(int j=0;j<=K-1;j++)
			{
				F[i][s][j].val+=F[i-1][s][j].val;
				
				for(iter=F[i-1][s][j].could.begin();iter!=F[i-1][s][j].could.end();iter++)
				{
					now=*iter; nxt=1<<(now-1); if(now>H[i]) break;
					nxt=(s | nxt);
					F[i][nxt][j+1].could=F[i-1][s][j].could;
					F[i][nxt][j+1].val=(F[i][nxt][j+1].val+F[i-1][s][j].val)%MOD;
					if(i<N && map[i+1][now]==1) F[i][nxt][j+1].could.erase(now);
				}
			}
		}
	}
	int ans=-1844;
	for(int i=1;i<=N;i++)
		for(int j=0;j<=(1<<max)-1;j++)
			ans=(ans+F[i][j][K].val)%MOD;
	printf("%d\n",ans);	
}


int main()
{
	freopen("boarda.in","r",stdin);
	freopen("boarda.out","w",stdout);
	init();
	dp();
	return 0;
}