k, x = map(int, input().split())
if x == 0:
    print('Yes')
    print(1)
    print(k - 1 if k >= 1 else k + 1)
    exit()
if k == 0:
    x += 1
if (x & -x) != x:
    print('No')
    exit()
print('Yes')
n = 0
while 2 ** n < x:
    n += 1
if k == 0:
    a = [2 ** i for i in range(9)]
    a += list(range(1, n + 1))
    print(len(a))
    print(*a)
    exit()
if n <= 0:
    print(1)
    print(k)
    exit()
a = []
for i in range(9):
    if (1 << i) != (k & -k):
        a.append(1 << i)
    else:
        a.append(k)
if k not in a:
    a.append(k)
b = []
for i in range(1, n + 1):
    c = 0
    for j in range(len(a)):
        if i & (1 << j):
            c ^= a[j]
    b.append(c)
a += b
print(len(a))
print(*a)