#line 1 "2024.cpp" // #pragma GCC target("avx2,avx512f,avx512vl,avx512bw,avx512dq,avx512cd,avx512vbmi,avx512vbmi2,avx512vpopcntdq,avx512bitalg,bmi,bmi2,lzcnt,popcnt") // #pragma GCC optimize("Ofast") #line 2 "/home/sigma/comp/library/template.hpp" #include using namespace std; using ll = long long; using uint = unsigned int; using ull = unsigned long long; #define rep(i,n) for(int i=0;i=0;i--) #define per1(i,n) for(int i=int(n);i>0;i--) #define all(c) c.begin(),c.end() #define si(x) int(x.size()) #define pb push_back #define eb emplace_back #define fs first #define sc second template using V = vector; template using VV = vector>; template bool chmax(T& x, U y){ if(x bool chmin(T& x, U y){ if(y void mkuni(V& v){sort(all(v));v.erase(unique(all(v)),v.end());} template int lwb(const V& v, const T& a){return lower_bound(all(v),a) - v.begin();} template V Vec(size_t a) { return V(a); } template auto Vec(size_t a, Ts... ts) { return V(ts...))>(a, Vec(ts...)); } template ostream& operator<<(ostream& o,const pair &p){ return o<<"("< ostream& operator<<(ostream& o,const vector &vc){ o<<"{"; for(const T& v:vc) o< D divFloor(D a, D b){ return a / b - (((a ^ b) < 0 && a % b != 0) ? 1 : 0); } template D divCeil(D a, D b) { return a / b + (((a ^ b) > 0 && a % b != 0) ? 1 : 0); } #line 1 "/home/sigma/comp/library/misc/highbit.hpp" /* x 0 1 2 3 4 5 6 7 8 9 msb(x) -1 0 1 1 2 2 2 2 3 3 最上位bit */ int highbit(int x){ return 31 - countl_zero(x); } int highbit(uint x){ return 31 - countl_zero(x); } int highbit(ll x){ return 63 - countl_zero(x); } int highbit(ull x){ return 63 - countl_zero(x); } /* x 0 1 2 3 4 5 6 7 8 9 lsb(x) 32 0 1 0 2 0 1 0 3 0 最下位bit */ int lowbit(int x){ return countr_zero(x); } int lowbit(uint x){ return countr_zero(x); } int lowbit(ll x){ return countr_zero(x); } int lowbit(ull x){ return countr_zero(x); } #line 7 "2024.cpp" int main(){ cin.tie(0); ios::sync_with_stdio(false); //DON'T USE scanf/printf/puts !! cout << fixed << setprecision(20); int N,X; cin >> N >> X; V A(N); rep(i,N) cin >> A[i]; sort(all(A),[&](int x, int y){return (x&~X) < (y&~X);}); rep(i,N-1){ if(! ((A[i] < (A[i+1]^X)) && ((A[i]^X) < A[i+1])) ){ cout << "No" << endl; return 0; } } cout << "Yes" << endl; }