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;
void Print() { cout << endl; }
template <typename T1, typename... T>
void Print(const T1 &t1, const T &...t) {
  cout << t1 << " ";
  Print(t...);
}
template <typename T1, typename T2>
ostream &operator<<(ostream &os, const pair<T1, T2> &p) {
  os << "(" << p.first << ", " << p.second << ")";
  return os;
}
long long gcd(long long a, long long b) {
  if (b) {
    long long r = a % b;
    a = b, b = r;
  }
  return a;
}
tuple<long long, long long, long long> extend_gcd(long long a, long long b) {
  if (b == 0)
    return make_tuple(a, 1, 0);
  else {
    long long g, nx, ny;
    std::tie(g, nx, ny) = extend_gcd(b, a % b);
    return make_tuple(g, ny, nx - (a / b) * ny);
  }
}
long long fastpow(long long a, long long e, long long mod) {
  if (e == 0) return 1;
  if (e == 1) return a % mod;
  long long t = fastpow(a, e / 2, mod);
  t = t * t % mod;
  if (e & 1)
    return t * a % mod;
  else
    return t % mod;
}
const double PI = 3.14159265358979323846;
const int MOD = (int)1e9 + 7;
vector<pair<int, int> > construct(int start, int k) {
  vector<int> deg(k + 3);
  vector<pair<int, int> > e;
  for (int i = 1; i < k; i++) {
    e.push_back((make_pair((1), (i + 1))));
    deg[1]++;
    deg[i + 1]++;
  }
  for (int i = 1; i < k; i++) {
    e.push_back((make_pair((i + 1), (k + 1))));
    e.push_back((make_pair((i + 1), (k + 2))));
    deg[i + 1] += 2;
    deg[k + 1]++;
    deg[k + 2]++;
  }
  int d = k - 3, l = 2, r = k;
  while (d > 0) {
    for (int i = 1; i <= d; i++) {
      e.push_back((make_pair((l), (l + i))));
      e.push_back((make_pair((r), (r - i))));
    }
    l += 1;
    r -= 1;
    d -= 2;
  }
  e.push_back((make_pair((k + 1), (k + 2))));
  for (auto &p : e) {
    p.first = p.first + start - 1;
    p.second = p.second + start - 1;
  }
  return e;
}
int main() {
  int k;
  cin >> k;
  if (k % 2 == 0) {
    cout << "NO" << endl;
    return 0;
  } else {
    cout << "YES" << endl;
  }
  if (k == 1) {
    cout << "2 1" << endl;
    cout << "1 2" << endl;
    return 0;
  }
  vector<pair<int, int> > e;
  auto r1 = construct(1, k);
  e.insert(e.end(), r1.begin(), r1.end());
  auto r2 = construct(k + 3, k);
  e.insert(e.end(), r2.begin(), r2.end());
  e.push_back((make_pair((1), (k + 3))));
  cout << 2 * (k + 2) << " " << e.size() << endl;
  for (auto p : e) cout << p.first << " " << p.second << endl;
}