# Wrier解 (まず解説読んでね)

# 入力
k, x=map(int,input().split())

# 正直面倒くさいのでここは場合分け
if x == 0:
  print("Yes")
  print(1)
  if k == 0:
    print(1)
  else:
    print(0)
  exit()
if x == 1:
  print("Yes")
  print(1)
  print(k)
  exit()

# 後で場合分けすればいいので X を統一
if k == 0:
  x += 1

# l = log_{2} X 
l = x.bit_length() - 1

# X = 2 ^ p でないならNo
if 2 ** l != x:
  exit(print("No"))

# 0 は面倒なので使いません
ans = []
used = []
for i in range(20):
  
  # K は後で使いたいので今は加えません
  if 2 ** i == k:
    continue

  # 点数取り切った終わり！
  if l == 0:
    break

  # まず (2^i, 2^i) を数列に加えて 1点
  ans += [2 ** i] * 2
  l -= 1

  # (2^i, 2^i) を加えたので、既に加えた 2^j 全部見て (2^i + 2^j, 2^i + 2^j) を加えていく
  for j in used:

    # もう2点はいらない
    if l < 2:
      break
  
    # K は後で使いたいので今は加えません
    if 2 ** i + 2 ** j == k:
      continue
    
    # ドーンして2点 
    ans += [2 ** i + 2 ** j] * 2
    l -= 2
  
  # 既に使ったよ～
  used.append(i)

# このままだと K = 0 のときの数列のまま
if k != 0:
  ans.append(k)

# 出力
print("Yes")
print(len(ans))
print(*ans)