#include <bits/stdc++.h>
using namespace std;
using LL = long long;
using Pii = pair<int, int>;
namespace fastIO {
bool IOerror = 0;
inline char nc() {
  static char buf[100000], *p1 = buf + 100000, *pend = buf + 100000;
  if (p1 == pend) {
    p1 = buf;
    pend = buf + fread(buf, 1, 100000, stdin);
    if (pend == p1) {
      IOerror = 1;
      return -1;
    }
  }
  return *p1++;
}
inline bool blank(char ch) {
  return ch == ' ' || ch == '\n' || ch == '\r' || ch == '\t';
}
inline void read(int &x) {
  char ch;
  while (blank(ch = nc()))
    ;
  if (IOerror) return;
  for (x = ch - '0'; (ch = nc()) >= '0' && ch <= '9';
       x = (x << 1) + (x << 3) + ch - '0')
    ;
}
inline void read(long long &x) {
  char ch;
  while (blank(ch = nc()))
    ;
  if (IOerror) return;
  for (x = ch - '0'; (ch = nc()) >= '0' && ch <= '9';
       x = (x << 1) + (x << 3) + ch - '0')
    ;
}
};  // namespace fastIO
int main() {
  int n, x;
  scanf("%d%d", &n, &x);
  if (n == 1)
    printf("YES\n%d\n", x);
  else if (n == 2)
    if (x == 0)
      puts("NO");
    else
      printf("YES\n0 %d\n", x);
  else {
    puts("YES");
    int p = 1 << 17, p2 = 1 << 18, tmp = 0;
    for (int i = 1; i <= n - 3; ++i) printf("%d ", i), tmp ^= i;
    if (tmp == x)
      printf("%d %d %d\n", p, p2, p ^ p2);
    else
      printf("%d %d %d\n", 0, p, tmp ^ p ^ x);
  }
  return 0;
}
