Problem: It's Petya's birthday party and his friends have presented him a brand new "Electrician-n" construction set, which they are sure he will enjoy as he always does with weird puzzles they give him.

Construction set "Electrician-n" consists of 2n - 1 wires and 2n light bulbs. Each bulb has its own unique index that is an integer from 1 to 2n, while all wires look the same and are indistinguishable. In order to complete this construction set one has to use each of the wires to connect two distinct bulbs. We define a chain in a completed construction set as a sequence of distinct bulbs of length at least two, such that every two consecutive bulbs in this sequence are directly connected by a wire. Completed construction set configuration is said to be correct if a resulting network of bulbs and wires has a tree structure, i.e. any two distinct bulbs are the endpoints of some chain.

Petya was assembling different configurations for several days, and he noticed that sometimes some of the bulbs turn on. After a series of experiments he came up with a conclusion that bulbs indexed 2i and 2i - 1 turn on if the chain connecting them consists of exactly d_i wires. Moreover, the following important condition holds: the value of d_i is never greater than n.

Petya did his best but was not able to find a configuration that makes all bulbs to turn on, so he seeks your assistance. Please, find out a configuration that makes all bulbs shine. It is guaranteed that such configuration always exists.

Input

The first line of the input contains a single integer n (1 ≤ n ≤ 100 000) — the parameter of a construction set that defines the number of bulbs and the number of wires.

Next line contains n integers d_1, d_2, …, d_n (1 ≤ d_i ≤ n), where d_i stands for the number of wires the chain between bulbs 2i and 2i - 1 should consist of.

Output

Print 2n - 1 lines. The i-th of them should contain two distinct integers a_i and b_i (1 ≤ a_i, b_i ≤ 2n, a_i ≠ b_i) — indices of bulbs connected by a wire.

If there are several possible valid answer you can print any of them.

Examples

Input


3
2 2 2


Output


1 6
2 6
3 5
3 6
4 5


Input


4
2 2 2 1


Output


1 6
1 7
2 6
3 5
3 6
4 5
7 8


Input


6
2 2 2 2 2 2


Output


1 3
2 3
3 5
4 5
5 7
6 7
7 12
8 12
9 11
9 12
10 11


Input


2
1 1


Output


1 2
1 4
3 4

Note

<image> Answer for the first sample test.  <image> Answer for the second sample test. 

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
inline 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;
}
const int MAXN = 200006;
vector<pair<int, int> > ans;
int n, m, q, a[MAXN], b[MAXN], c[MAXN], f[MAXN];
int cmp(int i, int j) { return a[i] > a[j]; }
int main() {
  n = read();
  for (int i = (1); i <= (n); ++i) a[i] = read(), b[i] = i;
  sort(b + 1, b + 1 + n, cmp);
  ans.clear();
  for (m = 1; m < n && a[b[m]] == a[b[m + 1]]; ++m)
    ;
  if (m >= a[b[m]]) {
    int tot = a[b[m]];
    for (int i = (2); i <= (tot); ++i) {
      ans.push_back(make_pair(b[i] * 2 - 1, b[i - 1] * 2 - 1));
      ans.push_back(make_pair(b[i] * 2, b[i - 1] * 2));
    }
    ans.push_back(make_pair(b[tot] * 2 - 1, b[1] * 2));
    for (int i = (1); i <= (tot); ++i)
      c[b[i]] = 1, f[i] = b[i] * 2 - 1, f[i + tot] = b[i] * 2;
  } else {
    int tot = a[b[m]];
    for (int i = (2); i <= (tot); ++i) {
      ans.push_back(make_pair(b[i] * 2 - 1, b[i - 1] * 2 - 1));
      if (i <= m) ans.push_back(make_pair(b[i] * 2, b[i - 1] * 2));
    }
    ans.push_back(make_pair(b[tot] * 2 - 1, b[1] * 2));
    for (int i = (1); i <= (tot); ++i) {
      c[b[i]] = 1, f[i] = b[i] * 2 - 1;
      if (i <= m) f[i + tot] = b[i] * 2;
    }
    int r = tot + m;
    for (int i = (m + 1); i <= (tot); ++i) {
      ans.push_back(make_pair(f[i + a[b[i]] - 1], b[i] * 2));
      if (i + a[b[i]] - 1 == r) f[++r] = b[i] * 2;
    }
  }
  for (int i = (1); i <= (n); ++i)
    if (!c[i]) {
      ans.push_back(make_pair(i * 2 - 1, f[1]));
      if (a[i] > 1)
        ans.push_back(make_pair(f[a[i] - 1], i * 2));
      else
        ans.push_back(make_pair(i * 2 - 1, i * 2));
    }
  for (int i = (0); i <= (n * 2 - 2); ++i)
    printf("%d %d\n", ans[i].first, ans[i].second);
  return 0;
}