n,g,i=0;main(d){for(scanf("%d",&n);i=30000*(6*d+100))break;}if(i-n){printf("YES\n");for(n=6;n;n--)printf("%d\n",i+1);}else printf("NO\n");}