#include #include #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 int ui; const ll mod = 1000000007; const ll INF = (ll)1000000007 * 1000000007; typedef pair P; #define stop char nyaa;cin>>nyaa; #define rep(i,n) for(int i=0;i=0;i--) #define Rep(i,sta,n) for(int i=sta;i=1;i--) #define Rep1(i,sta,n) for(int i=sta;i<=n;i++) typedef long double ld; typedef complex Point; const ld eps = 1e-2; const ld pi = acos(-1.0); int n; ll k; ll a[1 << 18]; int main() { cin >> n >> k; rep(i, n) { cin >> a[i]; } sort(a, a + n); ll ans = 1; for (int i = n - 1; i >= n / 2; i--) { int id = upper_bound(a, a + n, k - a[i]) - a; id = min(id, i); ll num = max(0, id - (n - 1 - i)); ans = ans * num%mod; } cout << ans << endl; //stop return 0; }