# Judge Test (Judge-TLE)(WA)
from random import randint
k,x=map(int,input().split())
print("Yes")
print(40)
print(*[randint(0,2**20-1) for i in range(40)])