# オイラーの小定理とかではない
# 問題文よく読むと、mod 10**9+7を計算式で割る、いつもの逆
# ということは計算式がmodを超えたら答えは常にmod
# 実験するとすぐわかるがaが4以上でmodを超える
# 最後の1WAは問題文の問題だと思う

from math import factorial
mod = 10**9+7

N = int(input())
A = list(map(int, input().split()))
A.sort()

if A[0] == 0:
    print(-1)
    exit()

denominator = 1
ans_flag = False
for i in range(N):
    if A[i]<=3:
        calc = pow(A[i], factorial(A[i]))
        denominator *= calc
        if denominator > mod:
            ans_flag = True
            break
    else:
        ans_flag = True
        break
if ans_flag == True:
    print(mod)
else:
    # あーこれは問題文が悪い
    # 答えが0の場合は-1を出力するのではなく
    # 計算値が0の場合は答えを-1とする、だ
    # 計算値が1で答えが0の場合は0を出力
    ans = mod%denominator
    print(ans)