本文版权归ljh2000和博客园共有，欢迎转载，但须保留此声明，并给出原文链接，谢谢合作。

//It is made by ljh2000
#include <iostream>
#include <cstdlib>
#include <cstring>
#include <cstdio>
#include <cmath>
#include <algorithm>
#include <ctime>
#include <vector>
#include <queue>
#include <map>
#include <set>
#include <string>
#include <complex>
using namespace std;
typedef long long LL;
typedef long double LB;
typedef complex<double> C;
const double pi = acos(-1);
const int MAXN = 12;
const int mod = 1000000007;
LL ans;
int n,a[MAXN];
map<LL,bool>use[MAXN];
map<LL,int>f[MAXN];//不能直接把状态设为S，需要考虑当前处理的左端点和右端点!
inline bool cmp(int q,int qq){ return q<qq; }
inline int getint(){
    int w=0,q=0; char c=getchar(); while((c<‘0‘||c>‘9‘) && c!=‘-‘) c=getchar();
    if(c==‘-‘) q=1,c=getchar(); while (c>=‘0‘&&c<=‘9‘) w=w*10+c-‘0‘,c=getchar(); return q?-w:w;
}

inline LL gethash(int *val){
	LL tot=0;
	for(int i=1;i<=n;i++) 
		tot=tot*29+val[i];
	return tot;
}

int dfs(int *val,int l,int r){
	if(l>=r) {
		if(val[l]!=0) return 0;
		if(l==n) return 1;
		int b[MAXN]; for(int i=1;i<=n;i++) b[i]=val[i];
		sort(b+l+1,b+n+1,cmp);//对于后继的一个状态，sort之后不会有影响
		LL S=gethash(b); 
		if(use[l+1][S]) return f[l+1][S];
		f[l+1][S]=dfs(b,l+1,n);
		use[l+1][S]=1;
		return f[l+1][S];
	}

	if(3*(r-l)<val[l]) return 0;
	int tot=0;
	if(val[l]>=3) {
		val[l]-=3;
		tot+=dfs(val,l,r-1); tot%=mod;
		val[l]+=3;
	}

	if(val[l]>=1 && val[r]>=1) {
		val[l]--; val[r]--;
		tot+=dfs(val,l,r-1); tot%=mod;
		val[l]++; val[r]++;
	}

	if(val[r]>=3) {
		val[r]-=3;
		tot+=dfs(val,l,r-1); tot%=mod;
		val[r]+=3;
	}

	return tot;
}

inline void work(){
	n=getint(); for(int i=1;i<=n;i++) a[i]=getint();
	sort(a+1,a+n+1,cmp);
	ans=dfs(a,1,n);
	printf("%lld",ans);
	//cout<<endl<<clock()<<endl;
}

int main()
{
    work();
    return 0;
}