# Judge Test (ACWAWA)
k,x=map(int,input().split())
if k==3:
  print("Yes")
  print(2)
  print(0,3)
if k==5:
  print("Yes")
  print(4)
  print(0,0,0,5)
if k==0:
  print("Yes")
  print(10)
  print(0,0,0,0,0,0,0,0,0,0)