K,X = map(int,input().split())

if X==0:
    if K==0:
        print("Yes")
        print(1)
        print(1)
    else:
        print("Yes")
        print(1)
        print(0)
    exit()

if K==0:
    X +=1
if X&(X-1)!=0:
    print("No")
else:
    n = X.bit_length() - 1 #自由度
    bit = bin(K).count("1")
    if bit>=5:
        res = []
        c = 0
        for i in range(20):
            if K>>i & 1:
                if c<=4:
                    res.append(1<<i)
                    c+=1
                else:
                    res[-1]+=1<<i
    else:
        used = [False]*20
        res = []
        for i in range(20):
            if K>>i & 1:
                res.append(1<<i)
                used[i] = True
        for i in range(20):
            if len(res)<5 and not used[i]:
                res.append(1<<i)
    for i in range(n):
        tmp = 0
        for j in range(5):
            if i>>j & 1:
                tmp += res[j]
        res.append(tmp)
    print("Yes")
    print(len(res))
    print(*res)