AT_wtf19_a Magic
Description
[problemUrl]: https://atcoder.jp/contests/wtf19/tasks/wtf19_a
すぬけ君はマジックショーでの勝負に参加しました。
ショーのマジシャンは、見た目が同じ $ N $ 個の箱を用意していました。 彼はそのうち一つに財宝を入れてからそれらの箱を閉じ、箱の順番を無作為に入れ替えてから $ 1 $ から $ N $ までの番号を振りました。
箱の順番を入れ替えられてしまったので、どの箱に財宝が入っているかはすぬけ君には分からなくなりました。 この勝負は、すぬけ君が財宝の入った箱を開けることができれば彼の勝ちです。 それなら、すべての箱を一斉に開ければ必ず勝てるではないかと思われるかもしれません。 しかし、以下のようにいくつか特殊なルールがあります。
- すぬけ君は、箱を一つずつ開けなければならない。一つの箱を開けてその中身を確認したら、その箱は次の箱を開ける前に閉じなければならない。
- 箱 $ i $ は、最大で $ a_i $ 回しか開けてはならない。
- マジシャンは、何らかの手品を用いて閉じた箱から別の閉じた箱に財宝を移すことがある。 簡略化のため、すぬけ君がいずれかの箱を開けている間に財宝が移されることはないとしてよいが、それ以外のあらゆる機会 (すぬけ君が最初に箱を開ける前、またはすぬけ君がいずれかの箱を閉じてから次の箱を開けるまでの間) に財宝が移される可能性がある。
- マジシャンは、上記の財宝の移動を最大で $ K $ 回行う可能性がある。
すぬけ君は、財宝の初期位置やマジシャンがどのように財宝を移動させるかによらず、必ず勝負に勝つことができるでしょうか?
Input Format
入力は以下の形式で標準入力から与えられる。
> $ N $ $ K $ $ a_1 $ $ a_2 $ $ \cdots $ $ a_N $
Output Format
問題の答えが No であれば、`-1` とのみ出力せよ。
そうでなければ、すぬけ君が取りうる戦略をひとつ以下の形式で出力せよ。
> $ Q $ $ x_1 $ $ x_2 $ $ \cdots $ $ x_Q $
これは、箱 $ x_1,\ x_2,\ \cdots,\ x_Q $ をこの順に開けることを表す。
複数の解が考えられる場合は、そのうちのどれを出力してもよい。
Explanation/Hint
### 制約
- $ 2\ \leq\ N\ \leq\ 50 $
- $ 1\ \leq\ K\ \leq\ 50 $
- $ 1\ \leq\ a_i\ \leq\ 100 $
### Sample Explanation 1
$ 1\ \rightarrow\ 1\ \rightarrow\ 2\ \rightarrow\ 1\ \rightarrow\ 2\ \rightarrow\ 2\ \rightarrow\ 1 $ の順に $ 7 $ 回箱を開ければ、財宝の初期位置やマジシャンがどのように財宝を移動させるかによらず、必ず財宝を見つけることができます。