Problem: An undirected graph is called k-regular, if the degrees of all its vertices are equal k. An edge of a connected graph is called a bridge, if after removing it the graph is being split into two connected components.

Build a connected undirected k-regular graph containing at least one bridge, or else state that such graph doesn't exist.

Input

The single line of the input contains integer k (1 ≤ k ≤ 100) — the required degree of the vertices of the regular graph.

Output

Print "NO" (without quotes), if such graph doesn't exist. 

Otherwise, print "YES" in the first line and the description of any suitable graph in the next lines.

The description of the made graph must start with numbers n and m — the number of vertices and edges respectively. 

Each of the next m lines must contain two integers, a and b (1 ≤ a, b ≤ n, a ≠ b), that mean that there is an edge connecting the vertices a and b. A graph shouldn't contain multiple edges and edges that lead from a vertex to itself. A graph must be connected, the degrees of all vertices of the graph must be equal k. At least one edge of the graph must be a bridge. You can print the edges of the graph in any order. You can print the ends of each edge in any order.

The constructed graph must contain at most 106 vertices and 106 edges (it is guaranteed that if at least one graph that meets the requirements exists, then there also exists the graph with at most 106 vertices and at most 106 edges). 

Examples

Input

1


Output

YES
2 1
1 2

Note

In the sample from the statement there is a suitable graph consisting of two vertices, connected by a single edge.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
long long pw(long long b, long long p) {
  if (!p) return 1;
  long long sq = pw(b, p / 2);
  sq *= sq;
  if (p % 2) sq *= b;
  return sq;
}
long long gcd(long long a, long long b) { return (b == 0 ? a : gcd(b, a % b)); }
long long sd(long long x) { return x < 10 ? x : x % 10 + sd(x / 10); }
long long lcm(long long a, long long b) { return ((a * b) / gcd(a, b)); }
int main() {
  int k, n, m;
  cin >> k;
  if (k % 2 == 0) return cout << "NO", 0;
  n = 2 * (k - 1) + 1;
  n *= 2;
  vector<pair<int, int> > out;
  out.push_back(pair<int, int>(1, 1 + n / 2));
  for (int i = 2; i < k + 1; ++i) out.push_back(pair<int, int>(1, i));
  for (int i = k + 1; i < 2 * k; ++i) {
    for (int j = 2; j < k + 1; ++j) {
      out.push_back(pair<int, int>(i, j));
    }
  }
  for (int i = k + 1; i < 2 * k; i += 2)
    out.push_back(pair<int, int>(i, i + 1));
  for (int i = 2; i < k + 1; ++i)
    out.push_back(pair<int, int>(1 + n / 2, i + n / 2));
  for (int i = k + 1; i < 2 * k; ++i) {
    for (int j = 2; j < k + 1; ++j) {
      out.push_back(pair<int, int>(i + n / 2, j + n / 2));
    }
  }
  for (int i = k + 1; i < 2 * k; i += 2)
    out.push_back(pair<int, int>(i + n / 2, i + 1 + n / 2));
  cout << "YES\n" << n << " " << ((int)((out).size())) << endl;
  for (int i = 0; i < ((int)((out).size())); ++i)
    printf("%d %d\n", out[i].first, out[i].second);
}