#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #define X first #define Y second #define pb push_back #define rep(X,Y) for (int (X) = 0;(X) < (Y);++(X)) #define reps(X,S,Y) for (int (X) = S;(X) < (Y);++(X)) #define rrep(X,Y) for (int (X) = (Y)-1;(X) >=0;--(X)) #define repe(X,Y) for ((X) = 0;(X) < (Y);++(X)) #define peat(X,Y) for (;(X) < (Y);++(X)) #define all(X) (X).begin(),(X).end() #define rall(X) (X).rbegin(),(X).rend() #define eb emplace_back #define UNIQUE(X) (X).erase(unique(all(X)),(X).end()) #define Endl endl using namespace std; typedef long long ll; typedef pair pii; typedef pair pll; template using vv=vector>; template ostream& operator<<(ostream &os, const vector &t) { os<<"{"; rep(i,t.size()) {os< ostream& operator<<(ostream &os, const pair &t) { return os<<"("< inline bool MX(T &l,const T &r){return l inline bool MN(T &l,const T &r){return l>r?l=r,1:0;} #define out(args...){vector a_r_g_s=s_p_l_i_t(#args, ','); e_r_r(a_r_g_s.begin(), args); } vector s_p_l_i_t(const string& s, char c) { vector v; stringstream ss(s); string x; while(getline(ss,x,c)) v.emplace_back(x); return move(v);} void e_r_r(vector::iterator it) {} template void e_r_r(vector::iterator it, T a, Args... args){ if(*it==" 1"||*it=="1") cerr< substr((*it)[0] == ' ', it -> length()) << " = " << a << ", "; e_r_r(++it, args...);} const ll MOD=1e9+7; ll dp[1212][1212]; ll modpow(ll r,ll n,ll m=MOD){ ll re=1,d=r%m; if(n<0)(n%=MOD-1)+=MOD-1; for(;n;n/=2){ if(n&1)(re*=d)%=m; (d*=d)%=m; } return re; } vector fact,finv,inv; ll comb(ll n,ll r){ if(n &re,int n){ re.resize(n+1); re[1]=1; for(int i=2;i<=n;++i)re[i]=re[MOD%i]*(MOD-MOD/i)%MOD; } void Facts(vector &re,int n){ re.resize(n+1); re[0]=1; rep(i,n)re[i+1]=re[i]*(i+1)%MOD; } void Factinvs(vector &re,const vector &inv,int n){ re.resize(n+1); re[0]=1; rep(i,n)re[i+1]=re[i]*inv[i+1]%MOD; } public: Doralion(int n){ Modinvs(inv,n); Facts(fact,n); Factinvs(finv,inv,n); } } doralion(21234); int main(){ ios_base::sync_with_stdio(false); cout<>n; vector a(n); rep(i,n) cin>>a[i]; dp[1][1]=1; reps(i,1,n){ if(a[i-1]>a[i]) break; dp[i+1][i+1]=1; } rep(i,n){ ll fact=1; reps(j,i+1,n+1){ if(j!=i+1 && a[j-2]>a[j-1]) break; (fact*=j-i)%=MOD; ll p=fact; reps(len,j-i,i+1){ (dp[j][j-i]+=dp[i][len]*p%MOD)%=MOD; (p*=(len+1ll)*inv[len+1-(j-i)]%MOD)%=MOD; } } // out(i,m,1); // reps(j,1,m){ // (sum+=dp[i][j])%=MOD; // if(j<=m) (dp[i+j][j]+=sum)%=MOD; // } } //rep(i,n+1){rep(j,n+1)cout<