#include #include #include using namespace std; //namaega184 int main(){ int n;scanf("%d",&n); for(int i=0;i=3000000){ printf("YES\n"); for(int j=0;j<6;j++){ printf("%d\n",i+1); } return 0; } } printf("NO\n"); return 0; }