AT_past201912_d 重複検査
Description
[problemUrl]: https://atcoder.jp/contests/past201912-open/tasks/past201912_d
長さ $ N $ の整数列がサーバーに保管されている。つい先ほどまで、この列には $ 1 $ から $ N $ までの整数が $ 1 $ 個ずつ含まれていた。
しかし、たった今発生したトラブルにより、列のいずれか $ 1 $ 個の要素が別の $ 1 $ 以上 $ N $ 以下の整数に書き換えられた可能性がある。あるいは、何の書き換えも発生しなかったかもしれない。
トラブル発生後の整数列 $ A_1,\ \ldots,\ A_N $ が与えられる。これを読み込み、書き換えが発生していたかを判定し、発生していた場合にはどの整数がどの整数に書き換えられたかを報告するプログラムを作成せよ。
Input Format
入力は以下の形式で標準入力から与えられる。
> $ N $ $ A_1 $ $ A_2 $ $ : $ $ A_N $
Output Format
書き換えが発生していなかった場合、`Correct` と出力せよ。
書き換えが発生していた場合、整数 $ x $ が整数 $ y $ に書き換えられたとして、$ y $ と $ x $ をこの順にスペース区切りで出力せよ。
Explanation/Hint
### 注意
この問題に対する言及は、2019年12月29日 05:00 JST まで禁止されています。言及がなされた場合、賠償が請求される可能性があります。
試験後に総合得点や認定級を公表するのは構いませんが、どの問題が解けたかなどの情報は発信しないようにお願いします。
### 制約
- $ 1\ \leqq\ N\ \leqq\ 200,000 $
- $ 1\ \leqq\ A_i\ \leqq\ N $
- $ A_1,\ \ldots,\ A_N $ は問題文中の状況と矛盾しない。
### Sample Explanation 1
元の整数列には $ 1 $ から $ 6 $ までの整数が $ 1 $ 個ずつ含まれていたはずだが、入力された整数列は $ 6 $ を $ 2 $ 個含み、$ 4 $ を $ 1 $ 個も含まない。よって、$ 4 $ が $ 6 $ に書き換えられたと判定できる。
### Sample Explanation 2
元の整数列には $ 1 $ から $ 7 $ までの整数が $ 1 $ 個ずつ含まれていたはずであり、入力された整数列もこれを満たす。よって、書き換えは発生しなかったと判定できる。