#include #define rep(i, n) for (int i = 0; i < (n); i++) #define repr(i, n) for (int i = (n) - 1; i >= 0; i--) using namespace std; const int MOD = 1000000007; struct mint { int n; mint(int n_ = 0) : n(n_) {} }; mint operator-(mint a) { return -a.n + MOD * (a.n != 0); } mint operator+(mint a, mint b) { int x = a.n + b.n; return x - (x >= MOD) * MOD; } mint operator-(mint a, mint b) { int x = a.n - b.n; return x + (x < 0) * MOD; } mint operator*(mint a, mint b) { return (long long)a.n * b.n % MOD; } mint &operator+=(mint &a, mint b) { return a = a + b; } mint &operator-=(mint &a, mint b) { return a = a - b; } mint &operator*=(mint &a, mint b) { return a = a * b; } istream &operator>>(istream &i, mint &a) { return i >> a.n; } ostream &operator<<(ostream &o, mint a) { return o << a.n; } int main() { cin.tie(nullptr); ios::sync_with_stdio(false); int N, K; cin >> N >> K; vector A(N); rep(i, N) cin >> A[i]; sort(A.rbegin(), A.rend()); int cnt = 0; rep(i, N) cnt += A[i] * 2 > K; if (cnt > N/2) { cout << 0 << endl; return 0; } int k = N; mint ans = 1; rep(i, cnt) { while (k > 0 && A[k-1]+A[i] <= K) k--; ans *= max(0, (N-k)-i); } // N-cnt*2 // f(x) = (x-1)*(x-3)*...*1 for (int i = 1; i <= N-cnt*2-1; i += 2) { ans *= i; } cout << ans << '\n'; }