#include using namespace std; #define int long long #define rep(i, n) for(int (i)=0;(i)<(n);(i)++) #define rrep(i, n) for(int (i)=((n)-1);(i)>=0;(i)--) #define itn int #define miele(v) min_element(v.begin(), v.end()) #define maele(v) max_element(v.begin(), v.end()) #define SUM(v) accumulate(v.begin(), v.end(), 0LL) #define lb(a, key) lower_bound(a.begin(),a.end(),key) #define ub(a, key) upper_bound(a.begin(),a.end(),key) #define COUNT(a, key) count(a.begin(), a.end(), key) #define BITCOUNT(x) __builtin_popcount(x) #define pb push_back #define all(x) (x).begin(),(x).end() #define F first #define S second using P = pair; using WeightedGraph = vector>; using UnWeightedGraph = vector>; using Real = long double; using Point = complex; //Point and Vector2d is the same! // p.real() or real(p) -> x軸, p.imag() or imag(p) -> y軸 using Vector2d = complex; const int MOD = 1000000007; const long long INF = 1LL << 60; const double EPS = 1e-15; const double PI = 3.14159265358979323846; template int getIndexOfLowerBound(vector &v, T x) { return lower_bound(v.begin(), v.end(), x) - v.begin(); } template int getIndexOfUpperBound(vector &v, T x) { return upper_bound(v.begin(), v.end(), x) - v.begin(); } template inline bool chmin(T &a, T b) { if (a > b) { a = b; return true; } return false; } template inline bool chmax(T &a, T b) { if (a < b) { a = b; return true; } return false; } #define repi(itr, ds) for (auto itr = ds.begin(); itr != ds.end(); itr++) istream &operator>>(istream &is, Point &p) { Real a, b; is >> a >> b; p = Point(a, b); return is; } template istream &operator>>(istream &is, pair &p_var) { is >> p_var.first >> p_var.second; return is; } template istream &operator>>(istream &is, vector &vec) { for (T &x : vec) is >> x; return is; } template ostream &operator<<(ostream &os, pair &pair_var) { os << pair_var.first << ' ' << pair_var.second; return os; } template ostream &operator<<(ostream &os, vector &vec) { for (int i = 0; i < vec.size(); i++) os << vec[i] << ' '; return os; } template ostream &operator<<(ostream &os, vector> &vec) { for (int i = 0; i < vec.size(); i++) os << vec[i] << '\n'; return os; } template ostream &operator<<(ostream &os, vector> &df) { for (auto &vec : df) os << vec; return os; } template ostream &operator<<(ostream &os, map &map_var) { repi(itr, map_var) { os << *itr << ' '; itr++; itr--; } return os; } template ostream &operator<<(ostream &os, set &set_var) { repi(itr, set_var) { os << *itr << ' '; itr++; itr--; } return os; } void print() { cout << endl; } template void print(Head &&head, Tail &&... tail) { cout << head; if (sizeof...(tail) != 0) cout << " "; print(forward(tail)...); } template struct Fp { long long val; constexpr Fp(long long v = 0) noexcept : val(v % MOD) { if (val < 0) val += MOD; } constexpr Fp operator - () const noexcept { return val ? MOD - val : 0; } template constexpr Fp operator + (const T& r) const noexcept { return Fp(*this) += (Fp)r; } template constexpr Fp operator - (const T& r) const noexcept { return Fp(*this) -= (Fp)r; } template constexpr Fp operator * (const T& r) const noexcept { return Fp(*this) *= (Fp)r; } template constexpr Fp operator / (const T& r) const noexcept { return Fp(*this) /= (Fp)r; } constexpr Fp& operator += (const Fp& r) noexcept { val += r.val; if (val >= MOD) val -= MOD; return *this; } constexpr Fp& operator -= (const Fp& r) noexcept { val -= r.val; if (val < 0) val += MOD; return *this; } constexpr Fp& operator *= (const Fp& r) noexcept { val = val * r.val % MOD; return *this; } constexpr Fp& operator /= (const Fp& r) noexcept { long long a = r.val, b = MOD, u = 1, v = 0; while (b) { long long t = a / b; a -= t * b; swap(a, b); u -= t * v; swap(u, v); } val = val * u % MOD; if (val < 0) val += MOD; return *this; } constexpr bool operator == (const Fp& r) const noexcept { return this->val == r.val; } constexpr bool operator != (const Fp& r) const noexcept { return this->val != r.val; } friend constexpr ostream& operator << (ostream &os, const Fp& x) noexcept { return os << x.val; } }; Fp modpow(const Fp &a, long long n) noexcept { if (n == 0) return 1; auto t = modpow(a, n / 2); t = t * t; if (n & 1) t = t * a; return t; } using mint = Fp<1000000007>; template< typename T > struct ruiseki{ vector s; int sz; ruiseki(vector &a){ sz = a.size()+1; s.resize(sz); for(int i=1;i sz-1) a = sz-1; if(b > sz-1) b = sz-1; return s[b] - s[a]; } }; const int MAX = 510000; long long fac[MAX], finv[MAX], inv[MAX]; void COMinit() { fac[0] = fac[1] = 1; finv[0] = finv[1] = 1; inv[1] = 1; for (int i = 2; i < MAX; i++){ fac[i] = fac[i - 1] * i % MOD; inv[i] = MOD - inv[MOD%i] * (MOD / i) % MOD; finv[i] = finv[i - 1] * inv[i] % MOD; } } long long COM(int n, int k){ if (n < k) return 0; if (n < 0 || k < 0) return 0; return fac[n] * (finv[k] * finv[n - k] % MOD) % MOD; } mint nHk(int n, int k){ return (mint)COM(n+k-1, k); } signed main(void) { cin.tie(0); ios::sync_with_stdio(false); COMinit(); int n, mp, mq, l; cin>>n>>mp>>mq>>l; vector s(n); cin>>s; vector>> dp(n+1, vector>(n + 10, vector(mq+100))); dp[0][0][0] = 1; for (int i = 1; i <= n; ++i) { for (int j = 0; j < i; ++j) { ruiseki r(dp[i-1][j]); dp[i][j][0] += dp[i-1][j][0]; for (int k = 1; k <= mq; ++k) { // 使わない dp[i][j][k] += dp[i-1][j][k]; // 使う dp[i][j+1][k] += r.get(k - s[i-1], k); } } } mint ans = 0; for (int i = 0; i <= mq; ++i) { for (int j = 0; j <= n; ++j) { if (0 <= j * l - i && j * l - i <= mp) { ans += dp[n][j][i] * nHk(n, mp - (j * l - i)); } } } print(ans); }