#include<bits/stdc++.h>
using namespace std;

#define int long long

typedef pair<int,int>pint;
typedef vector<int>vint;
typedef vector<pint>vpint;
#define pb push_back
#define mp make_pair
#define fi first
#define se second
#define all(v) (v).begin(),(v).end()
#define rep(i,n) for(int i=0;i<(n);i++)
#define reps(i,f,n) for(int i=(f);i<(n);i++)
#define each(it,v) for(__typeof((v).begin()) it=(v).begin();it!=(v).end();it++)
template<class T,class U>void chmin(T &t,U f){if(t>f)t=f;}
template<class T,class U>void chmax(T &t,U f){if(t<f)t=f;}

const int mod=1000000007;
int mpow(int n,int m){
    int ret=1;
    while(m){
        if(m&1)ret=ret*n%mod;
        n=n*n%mod;
        m>>=1;
    }
    return ret;
}

inline void add(int &a,int b){
    a+=b;
    if(a>=mod)a-=mod;
}

int fact[2222],inv[2222];
int P[2222][2222];
int N;
int A[1211];
int dp[1211][1211];

int re[1211];

signed main(){
    fact[0]=1;
    for(int i=1;i<2222;i++)fact[i]=fact[i-1]*i%mod;
    inv[2222-1]=mpow(fact[2222-1],mod-2);
    for(int i=2222-2;i>=0;i--)inv[i]=inv[i+1]*(i+1)%mod;

    for(int i=1;i<2222;i++){
        for(int j=1;j<=i;j++){
            P[i][j]=fact[i]*inv[i-j]%mod;
        }
    }

    cin>>N;
    rep(i,N)cin>>A[i];
    reverse(A,A+N);
    for(int i=N-1;i>=0;i--){
        if(i+1!=N&&A[i]>A[i+1])re[i]=re[i+1]+1;
        else re[i]=1;
    }

    for(int i=1;i<=re[0];i++)dp[i][i]=1;
    for(int i=1;i<N;i++){
        for(int j=1;j<=N;j++){
            if(dp[i][j]==0)continue;
            for(int k=j;k+i<=N&&k<=re[i];k++){
                add(dp[i+k][k],dp[i][j]*P[k][j]%mod);
            }
        }
    }

    int ans=0;
    for(int i=1;i<=N;i++)add(ans,dp[N][i]);
    cout<<ans<<endl;
    return 0;
}