AT_agc004_b [AGC004B] Colorful Slimes

[problemUrl]: https://atcoder.jp/contests/agc004/tasks/agc004_b 高橋君は異世界に住んでいます。 この世界には $ N $ 色のスライムがいます。 最初、高橋君はどの色のスライムも飼っていません。 高橋君の目標は、全色のスライムを一緒に飼うことです。 高橋君は次の $ 2 $ 種類の操作を行えます。 - 今飼っていないスライムの色 $ i $ ($ 1\

入力は以下の形式で標準入力から与えられる。 > $ N $ $ x $ $ a_1 $ $ a_2 $ $ ... $ $ a_N $

高橋君が全色のスライムを一緒に飼うためには、最短で合計何秒掛かるかを出力せよ。

### 制約 - $ 2\