K,X=map(int,input().split())
if K==0:
    X+=1
x=X.bit_length()-1
if (K,X)==(0,1):
    print("Yes")
    print(1)
    print(1)
elif X and X==1<<x:
    ans_lst=[K]
    cnt=9
    lst=[]
    if K==0:
        x-=1
    for i in range(20):
        if cnt and K.bit_length()-1!=i:
            ans_lst.append(1<<i)
            cnt-=1
            lst.append(i)
    for bit in range(1<<9):
        if bit.bit_count()<2:
            continue
        if x:
            ans_lst.append(sum(1<<lst[i] for i in range(9) if bit&1<<i))
            x-=1
    print("Yes")
    print(len(ans_lst))
    print(*ans_lst)
elif X==0:
    print("Yes")
    print(1)
    print(K^1)
else:
    print("No")