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

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:
    if denominator == 1:
        print(-1)
    else:
        ans = mod%denominator
        print(ans)