#include using namespace std; #define rep(i,a,b) for(int i=a;i=m)x-=m; return *this;} mint &operator-=(mint b){if((x-=b.x)<0)x+=m; return *this;} mint &operator*=(mint b){x=(long long)(x)*b.x%m; return *this;} mint pow(long long e) const { mint r = 1,b =*this; while(e){ if(e&1) r*=b; b*=b; e>>=1; } return r; } mint inv(){return pow(m-2);} mint &operator/=(mint b){return *this*=b.pow(m-2);} friend mint operator+(mint a,mint b){return a+=b;} friend mint operator-(mint a,mint b){return a-=b;} friend mint operator/(mint a,mint b){return a/=b;} friend mint operator*(mint a,mint b){return a*=b;} friend bool operator==(mint a,mint b){return a.x==b.x;} friend bool operator!=(mint a,mint b){return a.x!=b.x;} }; namespace po167{ template struct Binomial{ std::vector fact_vec, fact_inv_vec; void extend(int m = -1){ int n = fact_vec.size(); if (m == -1) m = n * 2; if (n >= m) return; fact_vec.resize(m); fact_inv_vec.resize(m); for (int i = n; i < m; i++){ fact_vec[i] = fact_vec[i - 1] * T(i); } fact_inv_vec[m - 1] = T(1) / fact_vec[m - 1]; for (int i = m - 1; i > n; i--){ fact_inv_vec[i - 1] = fact_inv_vec[i] * T(i); } } Binomial(int MAX = 2){ fact_vec.resize(1, T(1)); fact_inv_vec.resize(1, T(1)); extend(MAX + 1); } T fact(int i){ if (i < 0) return 0; while (int(fact_vec.size()) <= i) extend(); return fact_vec[i]; } T invfact(int i){ if (i < 0) return 0; while (int(fact_inv_vec.size()) <= i) extend(); return fact_inv_vec[i]; } T C(int a, int b){ if (a < b || b < 0) return 0; return fact(a) * invfact(b) * invfact(a - b); } T P(int a, int b){ if (a < b || b < 0) return 0; return fact(a) * invfact(a - b); } T inv(int a){ if (a < 0) return inv(-a) * T(-1); if (a == 0) return 1; return fact(a - 1) * invfact(a); } }; } namespace po167{ struct UFtree { using _F=int; int _n; std::vector<_F> wei; std::vector q; int component; UFtree(int n):_n(n),wei(n),component(n),par(n){ for(int i=0;i par; }; } using po167::UFtree; int main(){ int N,K; cin>>N>>K; po167::Binomial table; mint ans=0; vector A(N); rep(i,0,N) cin>>A[i]; sort(A.begin(),A.end()); assert(N<=20); auto f=[&](UFtree &t,int ind) -> int { int res=0; rep(i,0,N){ if(abs(i-ind)<=K) if(t.unite(i,ind)) res++; } return res; }; rep(x,0,(1<