#define _USE_MATH_DEFINES #include using namespace std; #define FOR(i,m,n) for(int i=(m);i<(n);++i) #define REP(i,n) FOR(i,0,n) #define ALL(v) (v).begin(),(v).end() using ll = long long; constexpr int INF = 0x3f3f3f3f; constexpr long long LINF = 0x3f3f3f3f3f3f3f3fLL; constexpr double EPS = 1e-8; constexpr int MOD = 1000000007; // constexpr int MOD = 998244353; constexpr int DY4[]{1, 0, -1, 0}, DX4[]{0, -1, 0, 1}; constexpr int DY8[]{1, 1, 0, -1, -1, -1, 0, 1}; constexpr int DX8[]{0, -1, -1, -1, 0, 1, 1, 1}; template inline bool chmax(T& a, U b) { return a < b ? (a = b, true) : false; } template inline bool chmin(T& a, U b) { return a > b ? (a = b, true) : false; } struct IOSetup { IOSetup() { std::cin.tie(nullptr); std::ios_base::sync_with_stdio(false); std::cout << fixed << setprecision(20); } } iosetup; int main() { constexpr int B = 30; int n, x; cin >> n >> x; vector a(n); REP(i, n) cin >> a[i]; const int y = ~x & ((1 << B) - 1); set s; REP(i, n) { if (!s.emplace(a[i] & y).second) { cout << "No\n"; return 0; } } sort(ALL(a), [y](const int l, const int r) -> bool { return (l & y) < (r & y); }); FOR(i, 1, n) { if (a[i - 1] >= (a[i] ^ x) || (a[i - 1] ^ x) >= a[i]) { cout << "No\n"; return 0; } } cout << "Yes\n"; return 0; }