#include #define mod 1000000007 using namespace std; int dsumb(int x,int b){int r=0;while(x){r+=(x%b);x/=b;}return r;} long long power(long long a,long long b){ long long x=1,y=a; while(b>0){ if(b&1ll){ x=(x*y)%mod; } y=(y*y)%mod; b>>=1; } return x%mod; } long long modular_inverse(long long n){ return power(n,mod-2); } long long factorial[524288]; long long invfact[524288]; void cfact(){ long long i; factorial[0]=1; factorial[1]=1; for(i=2;i<524288;i++){ factorial[i]=factorial[i-1]*i; factorial[i]%=mod; } invfact[524287]=modular_inverse(factorial[524287]); for(i=524286;i>=0;i--){ invfact[i]=invfact[i+1]*(i+1); invfact[i]%=mod; } } long long calcnCr(long long n,long long k){ if(k<0 || n dp(to+1); dp[fr]=1; for(int i=0;i ndp(to+1); for(int j=0;j<=to;j++){ if(dp[j]==0){continue;} ndp[j]+=dp[j]*(power(2,j)-1); ndp[j]%=mod; for(int k=j+1;k<=to;k++){ long long ce=calcnCr(to-j,k-j); ce*=power(2,j);ce%=mod; ndp[k]+=dp[j]*ce; ndp[k]%=mod; } } dp.swap(ndp); } return dp[to]; } int main(){ cfact(); ios::sync_with_stdio(false); cin.tie(nullptr); int n; cin >> n; vector a(n); for(int i=0;i> a[i];} int mem=-1; for(int i=0;i