#include namespace { #pragma GCC diagnostic push #pragma GCC diagnostic ignored "-Wunused-function" #include #pragma GCC diagnostic pop using namespace std; using namespace atcoder; #define rep(i,n) for(int i = 0; i < (int)(n); i++) #define rrep(i,n) for(int i = (int)(n) - 1; i >= 0; i--) #define all(x) begin(x), end(x) #define rall(x) rbegin(x), rend(x) template bool chmax(T& a, const T& b) { if (a < b) { a = b; return true; } else return false; } template bool chmin(T& a, const T& b) { if (b < a) { a = b; return true; } else return false; } using ll = long long; using P = pair; using VI = vector; using VVI = vector; using VL = vector; using VVL = vector; } int main() { ios::sync_with_stdio(false); cin.tie(0); int n, x; cin >> n >> x; VI a(n); rep(i, n) cin >> a[i]; sort(all(a), [&](int a, int b) { return (~x & a) < (~x & b); }); bool ok = true; rep(i, n - 1) { int t = a[i] ^ a[i+1] ^ x; if (t == 0) { ok = false; break; } int k = 31 - __builtin_clz(t); if (a[i] >> k & 1 || x >> k & 1) { ok = false; break; } } cout << (ok ? "Yes\n" : "No\n"); }