//vanitas vanitatum et omnia #include #define fi first #define se second #define eb emplace_back #define mp make_pair using namespace std; typedef long double ld; typedef long long ll; typedef unsigned long long ull; typedef __int128 i128; template T ceil(T x, U y) {return (x>0?(x+y-1)/y:x/y);} template T floor(T x, U y) {return (x>0?x/y:(x-y+1)/y);} template bool chmax(T &a,const S b) {return (a bool chmin(T &a,const S b) {return (a>b?a=b,1:0);} int popcnt(int x) {return __builtin_popcount(x);} int popcnt(ll x) {return __builtin_popcountll(x);} int topbit(int x) {return (x==0?-1:31-__builtin_clz(x));} int topbit(ll x) {return (x==0?-1:63-__builtin_clzll(x));} int lowbit(int x) {return (x==0?-1:__builtin_ctz(x));} int lowbit(ll x) {return (x==0?-1:__builtin_ctzll(x));} #define int long long #define rep(i,a,b) for(int i=(a);i<=(b);i++) #define per(i,a,b) for(int i=(a);i>=(b);i--) typedef pair pii; typedef vector vi; typedef vector vp; typedef tuple tiii; int read() { int x=0,w=1; char c=getchar(); while(!isdigit(c)) {if(c=='-') w=-1; c=getchar();} while(isdigit(c)) {x=x*10+(c-'0'); c=getchar();} return x*w; } const int N=3005,mod=1e9+7; int f[N][N],n,a[N],b[N],sa[N],sb[N],fac[N],ifac[N],ans; int ksm(int x,int y,int res=1) { for(;y;y>>=1,x=x*x%mod) if(y%2==1) res=res*x%mod; return res; } void pre(int n) { fac[0]=ifac[0]=1; rep(i,1,n) fac[i]=fac[i-1]*i%mod; ifac[n]=ksm(fac[n],mod-2); per(i,n-1,1) ifac[i]=ifac[i+1]*(i+1)%mod; } int C(int x,int y) { if(x<0||y<0||x=0) { int r=fac[i-sa[i-1]-j+k]*ifac[i-sa[i]-j]%mod; f[i][j]=(f[i][j]+f[i-1][j-k]*r%mod*C(b[i],k))%mod; } } rep(x,0,sb[n]) { int r=fac[n-sa[n]-x]*ifac[n-sa[n]-sb[n]]%mod; int res=r*f[n][x]%mod; if(x&1) ans=(ans+mod-res)%mod; else ans=(ans+res)%mod; } printf("%lld\n",ans); return 0; }