#include <bits/stdc++.h>
using namespace std;
#define int long long int
#define double long double
#define print(a) for(auto x : a) cout << x << " "; cout << endl
const int M = 1000000007;
const int N = 3e5+9;
const int INF = 2e9+1;
const int LINF = 2000000000000000001;
inline int power(int a, int b, int mod=M) {
int x = 1;
a %= mod;
while (b) {
if (b & 1) x = (x * a) % mod;
a = (a * a) % mod;
b >>= 1;
}
return x;
}
//_ ***************************** START Below *******************************
vector<int> a;
bool consistency(int n, int t){
vector<vector<bool>> dp(n+1, vector<bool>(t+1, false));
for(int i=0; i<=n; i++) dp[i][0] = true;
for(int i=1; i<=n; i++){
for(int j=1; j<=t; j++){
dp[i][j] = dp[i-1][j];
if(j-a[i-1] >= 0) dp[i][j] = dp[i][j] || dp[i-1][j-a[i-1]];
}
}
return dp[n][t];
}
bool practice(int n, int t){
return 0;
}
void solve() {
int n, t;
cin>> n >> t;
a.resize(n);
for(int i=0; i<n; i++) cin >> a[i];
cout << boolalpha << consistency(n, t) << endl;
}
int32_t main() {
ios_base::sync_with_stdio(0); cin.tie(0); cout.tie(0);
int t = 1;
// cin >> t;
while (t--) {
solve();
}
return 0;
}
I2luY2x1ZGUgPGJpdHMvc3RkYysrLmg+CnVzaW5nIG5hbWVzcGFjZSBzdGQ7CiNkZWZpbmUgaW50ICAgICAgICAgICAgICBsb25nIGxvbmcgaW50CiNkZWZpbmUgZG91YmxlICAgICAgICAgICBsb25nIGRvdWJsZQojZGVmaW5lIHByaW50KGEpICAgICAgICAgZm9yKGF1dG8geCA6IGEpIGNvdXQgPDwgeCA8PCAiICI7IGNvdXQgPDwgZW5kbAoKCmNvbnN0IGludCBNID0gMTAwMDAwMDAwNzsKY29uc3QgaW50IE4gPSAzZTUrOTsKY29uc3QgaW50IElORiA9IDJlOSsxOwpjb25zdCBpbnQgTElORiA9IDIwMDAwMDAwMDAwMDAwMDAwMDE7CgppbmxpbmUgaW50IHBvd2VyKGludCBhLCBpbnQgYiwgaW50IG1vZD1NKSB7CiAgICBpbnQgeCA9IDE7CiAgICBhICU9IG1vZDsKICAgIHdoaWxlIChiKSB7CiAgICAgICAgaWYgKGIgJiAxKSB4ID0gKHggKiBhKSAlIG1vZDsgCiAgICAgICAgYSA9IChhICogYSkgJSBtb2Q7CiAgICAgICAgYiA+Pj0gMTsKICAgIH0KICAgIHJldHVybiB4Owp9CgoKLy9fICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqIFNUQVJUIEJlbG93ICoqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioKCgoKCnZlY3RvcjxpbnQ+IGE7Cgpib29sIGNvbnNpc3RlbmN5KGludCBuLCBpbnQgdCl7CgkKCXZlY3Rvcjx2ZWN0b3I8Ym9vbD4+IGRwKG4rMSwgdmVjdG9yPGJvb2w+KHQrMSwgZmFsc2UpKTsKCQoJZm9yKGludCBpPTA7IGk8PW47IGkrKykgZHBbaV1bMF0gPSB0cnVlOwoJCglmb3IoaW50IGk9MTsgaTw9bjsgaSsrKXsKCQkKCQlmb3IoaW50IGo9MTsgajw9dDsgaisrKXsKCQkJZHBbaV1bal0gPSBkcFtpLTFdW2pdOwoJCQlpZihqLWFbaS0xXSA+PSAwKSBkcFtpXVtqXSA9IGRwW2ldW2pdIHx8IGRwW2ktMV1bai1hW2ktMV1dOwoJCX0KCX0KCQoJcmV0dXJuIGRwW25dW3RdOwp9CgoKCgoKCgoKCgoKCgoKCmJvb2wgcHJhY3RpY2UoaW50IG4sIGludCB0KXsKCgogICAgcmV0dXJuIDA7Cn0KCgoKCgp2b2lkIHNvbHZlKCkgewogICAgCiAgICBpbnQgbiwgdDsKICAgIGNpbj4+IG4gPj4gdDsKICAgIAogICAgYS5yZXNpemUobik7CiAgICBmb3IoaW50IGk9MDsgaTxuOyBpKyspIGNpbiA+PiBhW2ldOwogICAgCiAgICBjb3V0IDw8IGJvb2xhbHBoYSA8PCBjb25zaXN0ZW5jeShuLCB0KSA8PCBlbmRsOwoKCn0KCgoKCgppbnQzMl90IG1haW4oKSB7CiAgICBpb3NfYmFzZTo6c3luY193aXRoX3N0ZGlvKDApOyBjaW4udGllKDApOyBjb3V0LnRpZSgwKTsKCiAgICBpbnQgdCA9IDE7CiAgICAvLyBjaW4gPj4gdDsKICAgIHdoaWxlICh0LS0pIHsKICAgICAgICBzb2x2ZSgpOwogICAgfQoKICAgIHJldHVybiAwOwp9