#include using namespace std; #define FOR(i,a,b) for (int i=(a);i<(b);i++) #define RFOR(i,a,b) for (int i=(b)-1;i>=(a);i--) #define REP(i,n) for (int i=0;i<(n);i++) #define RREP(i,n) for (int i=(n)-1;i>=0;i--) typedef long long LL; int N; LL A[100001]; int p[100001]; #define BITTYPE int #define BITCNT 2 #define BITSIZE 512345 namespace _BIT{ int i=0; BITTYPE t[2][BITSIZE]; inline BITTYPE* get(){ return t[i++]; } } struct BIT{ using T=BITTYPE; T *t; int n; BIT(int N):t(_BIT::get()),n(N+1){ REP(i,n+1)t[i]=0; } void add(int r,T v){//add v for [1,r] for(;r;r-=r&-r)t[r]+=v; } void add(int l,int r,T v){//add v for [l,r] add(r,v); add(l-1,-v); } T get(int i){//get sum[i] T res=0; for(;i<=n;i+=i&-i)res+=t[i]; return res; } }; LL MOD=1e9+7; void kai(){ A[0]=1; REP(i,100001){ if(i==0)continue; A[i]=A[i-1]*i; A[i]%=MOD; } A[0]=0; } int main(){ kai(); cin>>N; REP(i,N){ cin>>p[i]; } BIT b(N+10); REP(i,N+10){ b.add(i+1,N+9,1); } /*REP(i,10){ cout<<"aa"; cout<