#include <bits/stdc++.h>
using namespace std;
const int N = 1e6 + 5;
const long long M = (long long)1e9 + 7;
int Int() {
  int x;
  scanf("%d", &x);
  return x;
}
long long Long() {
  long long x;
  scanf("%I64d", &x);
  return x;
}
void Char(char* ch) { scanf("%s", ch); }
template <typename t>
t abs(t a) {
  if (a >= 0) return a;
  return -a;
}
vector<string> split(const string& s, char c) {
  vector<string> v;
  stringstream ss(s);
  string x;
  while (getline(ss, x, c)) v.emplace_back(x);
  return move(v);
}
void err(vector<string>::iterator it) {}
template <typename T, typename... Args>
void err(vector<string>::iterator it, T a, Args... args) {
  cout << it->substr((*it)[0] == ' ', it->length()) << " = " << a << " ";
  err(++it, args...);
}
vector<int> v, nd;
int ans[N];
int main() {
  int n = Int(), k = Int();
  int m = n % 4;
  int d = n / 4;
  if (n == 2 and k == 0) return puts("NO"), 0;
  puts("YES");
  if (d and m == 2 and k == 0) {
    d--;
    m = 6;
  }
  if (m == 6 and k == 0) {
    printf("1 2 3 7 11 12 ");
    ans[7] = ans[11] = ans[12] = 1;
  }
  if (m == 1) {
    printf("%d ", k);
    ans[k] = 1;
  }
  if (m == 2) {
    if (k == 0) {
      printf("1 2 3 7 11 12 ");
      ans[7] = ans[11] = ans[12] = 1;
    } else if (k == 1) {
      printf("0 1 ");
    } else if (k == 2)
      printf("0 2 ");
    else {
      printf("0 %d ", k);
      ans[k] = 1;
    }
  }
  if (m == 3) {
    if (k == 0)
      printf("1 2 3 ");
    else if (k == 1)
      printf("0 2 3 ");
    else if (k == 2)
      printf("0 1 3 ");
    else if (k == 3)
      printf("0 1 2 ");
    else {
      printf("0 1 %d ", 1 ^ k);
      ans[1 ^ k] = 1;
    }
  }
  if (m == 0) {
    if (k == 0)
      printf("0 1 2 3 ");
    else if (k == 1) {
      printf("1 2 4 6 ");
      ans[4] = ans[6] = 1;
    } else if (k == 2) {
      printf("1 2 7 6 ");
      ans[6] = ans[7] = 1;
    } else if (k == 3) {
      printf("2 3 4 6 ");
      ans[4] = ans[6] = 1;
    } else {
      printf("1 2 3 %d ", k);
      ans[k] = 1;
    }
  }
  if (!m) d--;
  int p = 4;
  while (d--) {
    for (int i = 1; i <= 2; i++) {
      while (ans[p] or ans[p + 1]) p += 2;
      printf("%d %d ", p, p + 1);
      p += 2;
    }
  }
  return 0;
}
