AT_pakencamp_2025_day1_m Minimum Divisible Sequence

長さ $ N $ の正整数列 $ A=(A_1,A_2,\ldots,A_N) $ が与えられます。 以下を満たす長さ $ N $ の正整数列 $ B=(B_1,B_2,\ldots,B_N) $ を **良い数列** と呼びます。 - $ |B_i-B_{i+1}|\le 1(1\le i

入力は以下の形式で標準入力から与えられる。 > $ T $ $ \text{testcase}_1 $ $ \text{testcase}_2 $ $ \vdots $ $ \text{testcase}_T $ 各テストケースは以下の形式で与えられる。 > $ N $ $ K $ $ A_1 $ $ A_2 $ $ \ldots $ $ A_N $

各テストケースについて、良い数列が存在しない場合 $ -1 $ を出力せよ。 存在する場合、そのうち辞書順最小のものを $ B'=(B'_1,B'_2,\ldots,B'_N) $ として、以下の形式で出力せよ。 > $ B'_1 $ $ B'_2 $ $ \ldots $ $ B'_N $

### Sample Explanation 1 $ 1 $ 番目のテストケースについて、辞書順最小の良い数列は $ (1,1,2,1) $ です。 $ 2 $ 番目のテストケースについて、良い数列は存在しません。 ### Constraints - $ 1\le T,N $ - $ 0\le K