P=1e9+7;long v[1<<20],s;n,k,i,t;main(j){for(v[1]=s=scanf("%d",&n);j++<1e6?v[j]=v[P%j]*(P-P/j)%P:~scanf("%d",&t)?n-=t,k+=!!t:0;);for(;k/++i;s=s*(n-i+2)%P*v[i]%P);s=!printf(s?"%ld":"NA",s);}