#include <bits/stdc++.h>
using namespace std;

using Int = long long;
const char newl = '\n';

template<typename T1,typename T2> inline void chmin(T1 &a,T2 b){if(a>b) a=b;}
template<typename T1,typename T2> inline void chmax(T1 &a,T2 b){if(a<b) a=b;}
template<typename T> void drop(const T &x){cout<<x<<endl;exit(0);}
template<typename T=Int>
vector<T> read(size_t n){
  vector<T> ts(n);
  for(size_t i=0;i<n;i++) cin>>ts[i];
  return ts;
}
//INSERT ABOVE HERE
signed main(){
  cin.tie(0);
  ios::sync_with_stdio(0);

  const Int MOD = 1e9+7;
  Int n;
  cin>>n;
  auto as=read(n);
  for(Int a:as)
    if(a==0) drop(-1);

  const int MAX = 4;
  Int dp[MAX];
  for(Int i=1;i<MAX;i++){
    Int p=1;
    for(Int j=1;j<=i;j++) p*=j;

    dp[i]=1;
    for(Int k=0;k<p;k++) dp[i]*=i;
    // cout<<i<<':'<<dp[i]<<newl;
  }

  Int res=1;
  for(Int a:as){
    if(a>=MAX){
      res=MOD+1;
      break;
    }
    res*=dp[a];
    if(res>MOD) break;
  }
  cout<<MOD%res<<newl;
  return 0;
}