#include <bits/stdc++.h>
using std::vector;
int main() {
  std::ios_base::sync_with_stdio(false);
  std::cin.tie(nullptr);
  size_t n, x;
  std::cin >> n >> x;
  if (n == 2 && x == 0) {
    std::cout << "NO";
    return 0;
  }
  if (n == 1) {
    std::cout << "YES" << '\n' << x;
    return 0;
  }
  if (n == 2) {
    std::cout << "YES" << '\n' << 0 << ' ' << x;
    return 0;
  }
  std::cout << "YES" << '\n';
  size_t y = 0;
  for (size_t i = 1; i < n - 2; ++i) {
    std::cout << i << ' ';
    y ^= i;
  }
  int64_t pw = 1024 * 128;
  if (x == y) {
    std::cout << pw << ' ' << (2 * pw) << ' ' << (pw ^ (2 * pw));
    return 0;
  }
  std::cout << 0 << ' ' << pw << ' ' << ((pw ^ x) ^ y);
  return 0;
}
