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;
#pragma comment(linker, "/STACK:102400000,102400000")
long long mul(long long a, long long b) { return (a * b) % (1000000007); }
long long add(long long a, long long b) { return (a + b) % (1000000007); }
long long sub(long long a, long long b) {
  return ((a - b) % (1000000007) + (1000000007)) % (1000000007);
}
void upd(long long &a, long long b) {
  a = (a % (1000000007) + b % (1000000007)) % (1000000007);
}
int read() {
  int x = 0, f = 1;
  char ch = getchar();
  while (!isdigit(ch)) {
    if (ch == '-') f = -1;
    ch = getchar();
  }
  while (isdigit(ch)) {
    x = x * 10 + ch - '0';
    ch = getchar();
  }
  return x * f;
}
vector<pair<int, int> > v;
void print(int i, int j) {
  printf("%d %d\n", i + 1, j + 1);
  printf("%d %d\n", i + 3, j + 1);
  printf("%d %d\n", i + 2, j + 2);
  printf("%d %d\n", i + 3, j + 2);
  printf("%d %d\n", i + 1, j + 3);
  printf("%d %d\n", i + 2, j + 1);
  printf("%d %d\n", i + 0, j + 0);
  printf("%d %d\n", i + 0, j + 3);
  printf("%d %d\n", i + 1, j + 0);
  printf("%d %d\n", i + 2, j + 3);
  printf("%d %d\n", i + 3, j + 0);
  printf("%d %d\n", i + 1, j + 2);
  printf("%d %d\n", i + 0, j + 1);
  printf("%d %d\n", i + 0, j + 2);
  printf("%d %d\n", i + 2, j + 0);
  printf("%d %d\n", i + 3, j + 3);
}
int main() {
  int n = read();
  if (n % 4 > 1)
    puts("NO");
  else {
    puts("YES");
    for (int i = 1; i <= n / 4 * 4; i += 4)
      for (int j = i + 4; j <= n / 4 * 4; j += 4) {
        print(i, j);
      }
    for (int i = 1; i <= n / 4 * 4; i += 4) {
      if (n % 4)
        printf("%d %d\n%d %d\n%d %d\n", i + 2, n, i + 2, i + 3, i + 3, n);
      else
        printf("%d %d\n", i + 2, i + 3);
      printf("%d %d\n", i, i + 2);
      printf("%d %d\n", i + 1, i + 3);
      printf("%d %d\n", i + 1, i + 2);
      printf("%d %d\n", i, i + 3);
      if (n % 4)
        printf("%d %d\n%d %d\n%d %d\n", i, n, i, i + 1, i + 1, n);
      else
        printf("%d %d\n", i, i + 1);
    }
  }
  return 0;
}