#include #include #include #include #include #include #include #include #include #include #include #include typedef long long ll; using namespace std; #define mod 1000000007 #define INF 1000000000 //(int)1e9 #define LLINF 8000000000000000000 //(ll)2e18 #define PI 3.1415926536 #define SIZE 100000 int main(){ int n,g,d; pair p[1000]; scanf("%d",&n); for(int i=0;i= 3000000){ puts("YES"); for(int i=0;i<6;i++) printf("%d\n",p[n-1].second); }else{ puts("NO"); } return 0; }