#P1799B. Equalize by Divide

    ID: 190 Type: RemoteJudge 1000ms 256MiB Tried: 0 Accepted: 0 Difficulty: 4 Uploaded By: Tags>brute forceconstructive algorithmsgreedymath*1200

Equalize by Divide

Description

You are given an array a1,a2,,ana_1, a_2, \ldots, a_n of positive integers.

You can make this operation multiple (possibly zero) times:

  • Choose two indices ii, jj (1i,jn1 \leq i, j \leq n, iji \neq j).
  • Assign ai:=aiaja_i := \lceil \frac{a_i}{a_j} \rceil. Here x\lceil x \rceil denotes xx rounded up to the smallest integer x\geq x.

Is it possible to make all array elements equal by some sequence of operations (possibly empty)? If yes, print any way to do it in at most 30n30n operations.

It can be proven, that under the problem constraints, if some way exists to make all elements equal, there exists a way with at most 30n30n operations.

The first line contains a single integer tt (1t10001 \leq t \leq 1000) — the number of test cases. Descriptions of test cases follow.

The first line of each test case description contains a single integer nn (1n1001 \leq n \leq 100).

The second line of each test case description contains nn integers a1,a2,,ana_1, a_2, \ldots, a_n (1ai1091 \leq a_i \leq 10^9).

It is guaranteed, that the sum of nn for all test cases does not exceed 10001000.

For each test case print a single integer qq (1q30n-1 \leq q \leq 30n). If q=1q=-1, there is no solution, otherwise qq is equal to the number of operations.

If q0q \geq 0, on the next qq lines print two integers ii, jj (1i,jn1 \leq i, j \leq n, iji \neq j) — descriptions of operations.

If there are multiple solutions, you can print any.

Input

The first line contains a single integer tt (1t10001 \leq t \leq 1000) — the number of test cases. Descriptions of test cases follow.

The first line of each test case description contains a single integer nn (1n1001 \leq n \leq 100).

The second line of each test case description contains nn integers a1,a2,,ana_1, a_2, \ldots, a_n (1ai1091 \leq a_i \leq 10^9).

It is guaranteed, that the sum of nn for all test cases does not exceed 10001000.

Output

For each test case print a single integer qq (1q30n-1 \leq q \leq 30n). If q=1q=-1, there is no solution, otherwise qq is equal to the number of operations.

If q0q \geq 0, on the next qq lines print two integers ii, jj (1i,jn1 \leq i, j \leq n, iji \neq j) — descriptions of operations.

If there are multiple solutions, you can print any.

Sample Input 1

10
1
100
3
1 1 1
2
2 1
2
5 5
3
4 3 2
4
3 3 4 4
2
2 100
5
5 3 6 7 8
6
3 3 80 3 8 3
4
19 40 19 55

Sample Output 1

0
0
-1
0
2
1 3
2 1
4
3 1
4 2
1 3
2 4
6
2 1
2 1
2 1
2 1
2 1
2 1
8
5 2
4 2
3 2
1 3
1 3
2 1
4 1
5 1
4
5 1
3 1
3 1
3 1
9
4 2
2 1
1 2
1 2
3 2
3 2
1 4
2 4
3 4

Note

In the first and second, fourth test cases all numbers are equal, so it is possible to do nothing.

In the third test case, it is impossible to make all numbers equal.

In the fifth test case: [4,3,2][2,3,2][2,2,2][\color{red}{4}, 3, \color{blue}{2}] \to [\color{blue}{2}, \color{red}{3}, 2] \to [2, 2, 2].

In the sixth test case: [3,3,4,4][3,3,2,4][3,3,2,2][2,3,2,2][2,2,2,2][\color{blue}{3}, 3, \color{red}{4}, 4] \to [3, \color{blue}{3}, 2, \color{red}{4}] \to [\color{red}{3}, 3, \color{blue}{2}, 2] \to [2, \color{red}{3}, 2, \color{blue}{2}] \to [2, 2, 2, 2].

Here the red numbers are ii indices (that will be assigned), blue numbers are jj indices.