Input
1
Output
YES
2 1
1 2