Problem: Seyyed and MoJaK are friends of Sajjad. Sajjad likes a permutation. Seyyed wants to change the permutation in a way that Sajjad won't like it. Seyyed thinks more swaps yield more probability to do that, so he makes MoJaK to perform a swap between every pair of positions (i, j), where i < j, exactly once. MoJaK doesn't like to upset Sajjad.

Given the permutation, determine whether it is possible to swap all pairs of positions so that the permutation stays the same. If it is possible find how to do that. 

Input

The first line contains single integer n (1 ≤ n ≤ 1000) — the size of the permutation.

As the permutation is not important, you can consider ai = i, where the permutation is a1, a2, ..., an.

Output

If it is not possible to swap all pairs of positions so that the permutation stays the same, print "NO",

Otherwise print "YES", then print <image> lines: the i-th of these lines should contain two integers a and b (a < b) — the positions where the i-th swap is performed.

Examples

Input

3


Output

NO


Input

1


Output

YES

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
int n;
int main() {
  scanf("%d", &n);
  int r = n % 4;
  if (r == 2 || r == 3) {
    puts("NO");
    return 0;
  }
  puts("YES");
  int k = n / 4;
  if (!r) {
    for (int i = 0; i < 2 * k; i++)
      for (int j = i + 1; j < 2 * k; j++) {
        printf("%d %d\n", 2 * i + 1, 2 * j + 1);
        printf("%d %d\n", 2 * i + 2, 2 * j + 2);
        printf("%d %d\n", 2 * i + 2, 2 * j + 1);
        printf("%d %d\n", 2 * i + 1, 2 * j + 2);
      }
    for (int i = 0; i < 2 * k; i++) {
      printf("%d %d\n", 2 * i + 1, 2 * i + 2);
    }
  } else {
    for (int i = 0; i < 2 * k; i++)
      for (int j = i + 1; j < 2 * k; j++) {
        printf("%d %d\n", 2 * i + 1, 2 * j + 1);
        printf("%d %d\n", 2 * i + 2, 2 * j + 2);
        printf("%d %d\n", 2 * i + 2, 2 * j + 1);
        printf("%d %d\n", 2 * i + 1, 2 * j + 2);
      }
    for (int i = 0; i < 2 * k; i++) {
      printf("%d %d\n", 2 * i + 1, n);
      printf("%d %d\n", 2 * i + 1, 2 * i + 2);
      printf("%d %d\n", 2 * i + 2, n);
    }
  }
}