# 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(5)
  print(5,0,0,5,-1)
if k==0:
  print("Yes")
  print(10)
  print(0,0,0,1,1,1,2,2,2,3)