いち に さん 2

非負整数 $A,B,C$ が与えられる。

長さ $A+B+C$ の数列 $X=(X_1,X_2,\cdots,X_{A+B+C})$ を次のように定める。

相異なる 2 つの添字 $i,j$ を選び、$X_i$ と $X_j$ をともに $$ に置き換える操作を好きな回数行うことができる。

数列のすべての要素を等しくするために必要な操作回数の最小値を求め、その最小値を達成する操作列を 1 つ出力せよ。不可能なら $-1$ を出力せよ。

可能な場合、与えられた制約のもとで、最小操作回数は常に $10^7$ 回以下であることが証明できる。

この問題には部分点がある。詳しくは Scoring セクションを参照せよ。

入力は次の形式で標準入力から与えられる。

$A\ B\ C$

不可能な場合、1 行に $-1$ を出力せよ。

可能な場合、1 行目に最小操作回数 $K$ を出力せよ。続く $K$ 行のうち $t$ 行目に、$t$ 回目の操作で選ぶ 2 つの添字 $i_t,j_t$ を次の形式で出力せよ。

• $A,B,C \ge 0$。
• $1 \le A+B+C \le 500\,000$。

各テストケースの得点は、そのテストケースが属するサブタスクの配点に対する割合として、次のように計算される。

すべての要素を等しくすることが不可能な場合:

• $-1$ を出力した場合、得点は $100\%$ である。
• それ以外の場合、得点は $0\%$ である。

すべての要素を等しくすることが可能な場合:

• $-1$ を出力した場合、得点は $0\%$ である。
• 非負整数を出力して可能であることを正しく判定したが、その値が最小操作回数でない場合、得点は である。