#include #include #include #include #include #include #include #include #include #include #include using namespace std; using lli = long long int; using Vint = std::vector; using Vlli = std::vector; using Wint = std::vector; using Wlli = std::vector; using Vbool = std::vector; using Wbool = std::vector; using pii = std::pair; using pll = std::pair; template using Vec = std::vector; constexpr int MOD = 1e9 + 7; constexpr int INFi = 2e9 + 1; constexpr lli INFl = (lli)(9e18) + 1; const vector DXDY = {std::make_pair(1, 0), std::make_pair(-1, 0), std::make_pair(0, 1), std::make_pair(0, -1)}; constexpr char BR = '\n'; #define DEBUG(x) std::cerr << #x << " = " << x << '\n'; #define FOR(i, a, b) for(int (i) = (a); (i) < (b); ++(i)) #define FOReq(i, a, b) for(int (i) = (a); (i) <= (b); ++(i)) #define rFOR(i, a, b) for(int (i) = (b); (i) >= (a); --(i)) #define FORstep(i, a, b, step) for(int (i) = (a); i < (b); i += (step)) #define REP(i, n) FOR(i, 0, n) #define rREP(i, n) rFOR(i, 0, (n-1)) #define vREP(ele, vec) for(auto &(ele) : (vec)) #define vREPcopy(ele, vec) for(auto (ele) : (vec)) #define SORT(A) std::sort((A).begin(), (A).end()) #define RSORT(A) std::sort((A).rbegin(), (A).rend()) // 座標圧縮 (for vector) : ソートしてから使うのが一般的 ; SORT(A) => COORDINATE_COMPRESSION(A) #define COORDINATE_COMPRESSION(A) (A).erase(unique((A).begin(),(A).end()),(A).end()) template inline int argmin(std::vector vec){return min_element(vec.begin(), vec.end()) - vec.begin();} template inline int argmax(std::vector vec){return max_element(vec.begin(), vec.end()) - vec.begin();} template inline void chmax(T &a, T b){if(a < b) a = b;} template inline void chmin(T &a, T b){if(a > b) a = b;} template inline void reverseSORT(Vec &Array){ std::sort(Array.begin(), Array.end(), std::greater()); } inline int BitI(int k){return 1 << k;} inline lli BitL(int k){return 1LL << k;} inline void putsDouble(double d){printf("%.16lf\n", d);} inline int toInt(const string &s){int res = 0; for(char a : s) res = 10 * res + (a - '0'); return res;} inline long long int toLong(const string &s){lli res = 0; for(char a : s) res = 10 * res + (a - '0'); return res;} template inline std::string toString(T n){ if(n == 0) return "0"; std::string res; if(n < 0){n = -n;while(n != 0){res += (char)(n % 10 + '0'); n /= 10;} std::reverse(res.begin(), res.end()); return '-' + res;} while(n != 0){res += (char)(n % 10 + '0'); n /= 10;} std::reverse(res.begin(), res.end()); return res; } // ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ constexpr int twoInv = MOD / 2 + 1; int main(void){ int n, k; scanf("%d%d", &n, &k); const int p = n >> 1; Vint A(n); vREP(ele, A) scanf("%d", &ele); SORT(A); Vint D(p, n - 1); int l = 0; for(int idx = n - 1; idx >= p; idx--){ const int kMinusAidx = k - A[idx]; while(l < idx and A[l] <= kMinusAidx) l++; D[n - 1 - idx] = l; } lli res = 1; REP(i, p){ if(D[i] <= i){res = 0; break;} if(D[i] + i == n - 1){ int ops = p - i; for(int j = ops << 1; j > ops; j--){res *= j; res %= MOD;} REP(j, ops){res *= twoInv; res %= MOD;} break; } res *= D[i] - i; res %= MOD; } printf("%lld\n", res); return 0; }