#include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include #include using namespace std; #if __has_include() #include using namespace atcoder; #endif #define GET_MACRO(_1, _2, _3, NAME, ...) NAME #define _rep(i, n) _rep2(i, 0, n) #define _rep2(i, a, b) for(int i = (int)(a); i < (int)(b); i++) #define rep(...) GET_MACRO(__VA_ARGS__, _rep2, _rep)(__VA_ARGS__) #define all(x) (x).begin(), (x).end() #define rall(x) (x).rbegin(), (x).rend() using i64 = long long; template bool chmin(T& a, const U& b) { return (b < a) ? (a = b, true) : false; } template bool chmax(T& a, const U& b) { return (b > a) ? (a = b, true) : false; } templateistream& operator>>(istream&i,vector&v){rep(j,v.size())i>>v[j];return i;} templatestring join(vector&v){stringstream s;rep(i,v.size())s<<' '<ostream& operator<<(ostream&o,vector&v){if(v.size())o<string join(vector>&vv){string s="\n";rep(i,vv.size())s+=join(vv[i])+"\n";return s;} templateostream& operator<<(ostream&o,vector>&vv){if(vv.size())o< using pq = priority_queue, greater>; using mint = modint1000000007; int main() { int N, K; cin >> N >> K; vector a(N); cin >> a; int max_ = *max_element(all(a)); vector dp(N + 1, vector(N + 1, vector(N * max_ + 1))); dp[0][0][0] = 1; rep(i, N) { rep(j, N + 1) { rep(k, N * max_ + 1){ if(k + a[i] < max_ * N + 1 and j + 1 < N + 1) dp[i + 1][j + 1][k + a[i]] += dp[i][j][k]; dp[i + 1][j][k] += dp[i][j][k]; } } } mint ans = 0; rep(j, 1, N + 1) { rep(k, j * K, N * max_ + 1) ans += dp[N][j][k]; } cout << ans.val() << endl; return 0; }