#include #include using namespace std; using namespace atcoder; #define REP(i,a,n) for(int i=(a); i<(int)(n); i++) #define rep(i,n) REP(i,0,n) #define FOR(it,c) for(__typeof((c).begin()) it=(c).begin(); it!=(c).end(); ++it) #define ALLOF(c) (c).begin(), (c).end() typedef long long ll; typedef unsigned long long ull; //using mint = modint1000000007; //using mint = modint998244353; struct ST { int a, b; }; bool operator<(const ST& x, const ST& y){ return min(x.a,x.b) < min(y.a,y.b); } int main(){ int N, X; cin >> N >> X; vector v; rep(i,N){ int a; cin >> a; int b = a ^ X; v.push_back((ST){a,b}); } sort(ALLOF(v)); rep(i,N-1){ if(v[i].a < v[i+1].b && v[i].b < v[i+1].a){ ; //ok }else{ cout << "No" << endl; return 0; } } cout << "Yes" << endl; return 0; }