Problem: Iahub is playing an uncommon game. Initially, he has n boxes, numbered 1, 2, 3, ..., n. Each box has some number of candies in it, described by a sequence a1, a2, ..., an. The number ak represents the number of candies in box k. 

The goal of the game is to move all candies into exactly two boxes. The rest of n - 2 boxes must contain zero candies. Iahub is allowed to do several (possible zero) moves. At each move he chooses two different boxes i and j, such that ai ≤ aj. Then, Iahub moves from box j to box i exactly ai candies. Obviously, when two boxes have equal number of candies, box number j becomes empty.

Your task is to give him a set of moves such as Iahub to archive the goal of the game. If Iahub can't win the game for the given configuration of boxes, output -1. Please note that in case there exist a solution, you don't need to print the solution using minimal number of moves.

Input

The first line of the input contains integer n (3 ≤ n ≤ 1000). The next line contains n non-negative integers: a1, a2, ..., an — sequence elements. It is guaranteed that sum of all numbers in sequence a is up to 106. 

Output

In case there exists no solution, output -1. Otherwise, in the first line output integer c (0 ≤ c ≤ 106), representing number of moves in your solution. Each of the next c lines should contain two integers i and j (1 ≤ i, j ≤ n, i ≠ j): integers i, j in the kth line mean that at the k-th move you will move candies from the j-th box to the i-th one.

Examples

Input

3
3 6 9


Output

2
2 3
1 3


Input

3
0 1 0


Output

-1

Input

4
0 1 1 0


Output

0

Note

For the first sample, after the first move the boxes will contain 3, 12 and 3 candies. After the second move, the boxes will contain 6, 12 and 0 candies. Now all candies are in exactly 2 boxes.

For the second sample, you can observe that the given configuration is not valid, as all candies are in a single box and they should be in two boxes. Also, any move won't change the configuration, so there exists no solution.

For the third sample, all candies are already in 2 boxes. Hence, no move is needed.

Solution (in CPP):

Solution:
#include <bits/stdc++.h>
using namespace std;
pair<int, int> p[1010];
int main() {
  int n;
  cin >> n;
  for (int i = 1; i <= n; i++) scanf("%d", &p[i].first), p[i].second = i;
  sort(p + 1, p + n + 1);
  vector<pair<int, int> > ans;
  auto f = [&](pair<int, int> &a, pair<int, int> &b, pair<int, int> &c) {
    if (a.first == 0) return;
    if (a.first == b.first) {
      ans.emplace_back(b.second, a.second);
      a.first -= b.first;
      b.first <<= 1;
      return;
    }
    if (b.first == c.first) {
      ans.emplace_back(c.second, b.second);
      b.first -= c.first;
      c.first <<= 1;
      return;
    }
    while (a.first) {
      int d = b.first / a.first;
      while (d) {
        if (d & 1) {
          ans.emplace_back(a.second, b.second);
          b.first -= a.first;
        } else {
          ans.emplace_back(a.second, c.second);
          c.first -= a.first;
        }
        d >>= 1;
        a.first <<= 1;
      }
      if (a > b) swap(a, b);
      if (a > c) swap(a, c);
      if (b > c) swap(b, c);
    }
  };
  for (int i = 1; i <= n - 2; i++) {
    f(p[i], p[i + 1], p[i + 2]);
    sort(p + i, p + n + 1);
  }
  if (p[n - 1].first == 0) return puts("-1");
  cout << ans.size() << endl;
  for (auto res : ans) printf("%d %d\n", res.first, res.second);
  return 0;
}