#include int main(void){ int N; scanf("%d",&N); int i; int max=0; int maxId=0; for(i=0;i=30000*100){ printf("YES\n"); for(i=0;i<6;i++){ printf("%d\n",maxId); } } else { printf("NO\n"); } return 0; }