#!/usr/bin/env pypy3 import array P = 10 ** 9 + 7 # Based on http://hos.ac/slides/20130319_enumeration.pdf def main(): m = int(input()) hs = array.array("L", map(int, input().split())) if hs[0] == 0: print(1) return k = len(hs) s = sum(hs) if s + k - 1 > m: print("NA") return n = m + 1 - s inv = array.array("L", (0 for _ in range(n + 1))) inv[1] = 1 for i in range(2, n + 1): inv[i] = P - (P // i) * inv[P % i] % P fac = array.array("L", (0 for _ in range(n + 1))) facinv = array.array("L", (0 for _ in range(n + 1))) fac[0] = 1 facinv[0] = 1 for i in range(1, n + 1): fac[i] = (fac[i - 1] * i) % P facinv[i] = (facinv[i - 1] * inv[i]) % P if not (0 <= k and k <= n): binom = 0 else: binom = (((fac[n] * facinv[k]) % P) * facinv[n - k]) % P print(binom) if __name__ == '__main__': main()