# オイラーの小定理とかではない # 問題文よく読むと、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)