#define _USE_MATH_DEFINES #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; typedef long long ll; typedef unsigned long long ull; typedef pair i_i; typedef pair ll_i; typedef pair d_i; typedef pair ll_ll; typedef pair d_d; struct edge { int u, v; ll w; }; ll MOD = 1000000007; ll _MOD = 1000000009; double EPS = 1e-10; int INF = INT_MAX / 3; int main() { int N; cin >> N; vector a(5000); for (int i = 0; i < N; i++) { int A; cin >> A; a[A]++; } vector dp(N + 1); dp[0] = 1; for (int i = 0; i < N; i++) for (int j = N - 1; j >= 0; j--) dp[j + 1] = (dp[j + 1] + (ll)dp[j] * a[i]) % MOD; vector f(N + 1); f[0] = 1; for (int i = 1; i <= N; i++) f[i] = (ll)f[i - 1] * i % MOD; int ans = 0; for (int i = 0; i <= N; i++) { if (i % 2 == 0) ans = (ans + (ll)dp[i] * f[N - i]) % MOD; else ans = (ans - (ll)dp[i] * f[N - i]) % MOD; } cout << (ans + MOD) % MOD << endl; }