#include #include using namespace std; using namespace atcoder; typedef int64_t lint; #define rep(i, n) for(int i=0; i; using vvi = vector>; template inline void vin(vector& v) { rep(i, v.size()) cin >> v.at(i); } template inline bool chmax(T& a, T b) { if (a < b) { a = b; return 1; } return 0; } template inline bool chmin(T& a, T b) { if (a > b) { a = b; return 1; } return 0; } template inline void drop(T x) { cout << x << endl; exit(0); } template void vout(vector v) { rep(i, v.size()) { cout << v.at(i) << ' '; } cout << endl; } constexpr lint LINF = LLONG_MAX/2; using pint = pair; using vp = vector; bool func(const pair& lhs, const pair& rhs) { if (min(lhs.first, lhs.second) < min(rhs.first, rhs.second)) return true; return false; } int main() { lint N, X; cin >> N >> X; vi v(N); vin(v); lint a=0, b=0, c=0, x, y, z; vp p(N); rep(i, N) { p[i] = {v[i], (v[i]^X)}; } sort(all(p), func); rep(i, N-1) { tie(x, y) = p[i]; tie(a, b) = p[i+1]; if (x >= b || y >= a) drop("No"); } std::cout << "Yes" << '\n'; }