#include using namespace std; typedef unsigned long long ull; typedef long long ll; typedef pair pii; typedef pair pll; typedef pair pdd; //const ull mod = 1e9 + 7; const ll mod = 1e9 + 7; #define REP(i,n) for(int i=0;i<(int)n;++i) // debug #define dump(x) cerr << #x << " = " << (x) << endl; #define debug(x) cerr << #x << " = " << (x) << " (L" << __LINE__ << ")" << " " << __FILE__ << endl; template ostream& operator << (ostream& os, const pair v){ os << "(" << v.first << ", " << v.second << ")"; return os; } template ostream& operator << (ostream& os, const vector v){ for(int i = 0; i < (int)v.size(); i++){if(i > 0){os << " ";} os << v[i];} return os; } template ostream& operator << (ostream& os, const vector> v){ for(int i = 0; i < (int)v.size(); i++){if(i > 0){os << endl;} os << v[i];} return os; } template bool chmax(T &a, const T &b) { if (a bool chmin(T &a, const T &b) { if (a>b) { a=b; return 1; } return 0; } // conversion number to bit string num2bit(ll num, ll len){ string bit = ""; REP(i, len){ bit += char('0'+(num>>i & 1)); } return bit; } typedef vector arr; typedef vector mat; mat eye(ll n){ mat I(n, arr(n, 0)); REP(i, n) I[i][i] = 1; return I; } mat mul(const mat &A, const mat &B){ mat C(A.size(), arr(B[0].size(), 0)); REP(i, C.size()){ REP(j, C[0].size()){ REP(k, A[0].size()){ C[i][j] += A[i][k]*B[k][j]; C[i][j] %= mod; } } } return C; } mat matpow(const mat &A, ll k){ mat res = eye(A.size()); mat tmp = A; REP(i, 64){ // 64より大きい値にするとバグるので注意.long long が64バイトで表現されていることに依存する.65とかでも一見まともに動くがバグってる. if(k>>i&1) res = mul(res, tmp); tmp = mul(tmp, tmp); } return res; } int main(){ cin.tie(0); ios::sync_with_stdio(false); ll N, W, K; cin >> N >> W >> K; vector A(N); REP(i, N) cin >> A[i]; vector T(2*W+1, 0); T[0] = 1; REP(i, 2*W+1){ REP(j, N){ if(i+A[j]<=2*W){ T[i+A[j]] += T[i]; T[i+A[j]] %= mod; } } } ll X = T[W]; ll Y = T[2*W]; ll Z = (Y - X*X%mod + mod)%mod; mat P(2, arr(2, 0)); P[0][0] = X; P[0][1] = Z; P[1][0] = 1; P[1][1] = 0; mat Q = matpow(P, K); mat R(2, arr(1, 0)); R[0][0] = X; R[1][0] = 1; mat S = mul(Q, R); cout << S[1][0] << endl; return 0; }