#include using namespace std; typedef long long ll; typedef pair p_ll; template void debug(T itr1, T itr2) { auto now = itr1; while(now=0; i--) const ll MOD = pow(10,9)+7; const ll LLINF = pow(2,61)-1; const int INF = pow(2,30)-1; vector fac; void c_fac(int x=pow(10,6)+10) { fac.resize(x,true); rep(i,x) fac[i] = i ? (fac[i-1]*i)%MOD : 1; } ll inv(ll a, ll m=MOD) { ll b = m, x = 1, y = 0; while (b!=0) { int d = a/b; a -= b*d; swap(a,b); x -= y*d; swap(x,y); } return (x+m)%m; } ll nck(ll n, ll k) { return fac[n]*inv(fac[k]*fac[n-k]%MOD)%MOD; } ll gcd(ll a, ll b) { if (a> N >> K; ll A[N]; rep(i,N) cin >> A[i]; sort(A,A+N); ll p = upper_bound(A,A+N,K/2) - A; ll ok[N]; rep(i,N) ok[i] = upper_bound(A,A+N,K-A[i]) - A; // cout << p << endl; debug(ok, ok+N); c_fac(); ll result = 1; if (p*2>=N) { for (ll i=N-1; i>=p; i--) result = result * (ok[i]-((N-1)-i)) % MOD; rep(i,(p*2-N)/2) result = result * nck(p*2-N-i*2,2) % MOD; result = result * inv(fac[(p*2-N)/2]) % MOD; } else result = 0; cout << result << endl; return 0; }