#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include typedef long long ll; using namespace std; #ifndef LOCAL #define debug(x) ; #else #define debug(x) cerr << __LINE__ << " : " << #x << " = " << (x) << endl; template ostream &operator<<(ostream &out, const pair &p) { out << "{" << p.first << ", " << p.second << "}"; return out; } template ostream &operator<<(ostream &out, const vector &v) { out << '{'; for (const T &item : v) out << item << ", "; out << "\b\b}"; return out; } #endif #define mod 1000000007 //1e9+7(prime number) #define INF 1000000000 //1e9 #define LLINF 2000000000000000000LL //2e18 #define SIZE 200010 int main(){ int N, K, a[SIZE]; scanf("%d%d", &N, &K); for(int i=0;i()); ll ans = 1; int t = 0; int i; for(i=0;i K;i++){ while(a[N-t-1] + a[i] <= K) t++; ans *= t - i; ans %= mod; } N -= i*2; debug(N); for(int i=0;i