AT_arc214_e [ARC214E] Swap K times

長さ $ N $ の整数列 $ A = (A_1, \dots ,A_N), B = (B_1, \dots ,B_N) $ と正整数 $ K $ が与えられます。 コストを $ 1 $ 払うたびに、隣接 swap を**ちょうど $ K $ 回**行うことが出来ます。隣接 swap とは、以下の操作を指します。 - $ 1 $ 以上 $ N-1 $ 以下の整数 $ i $ を $ 1 $ つ選び、 $ A_i $ と $ A_{i+1} $ を入れ替える。 $ A $ を $ B $ に一致させられるかを判定して下さい。可能な場合は、一致させるために必要なコストの最小値を求めて下さい。 $ T $ 個のテストケースが与えられるので、それぞれについて答えを求めて下さい。

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

$ T $ 行出力せよ。 $ i $ 行目には $ i $ 番目のテストケースについて、 $ A $ を $ B $ に一致させられる場合は最小コストを、そうでない場合は `-1` を出力せよ。

### Sample Explanation 1 $ 1 $ つ目のテストケースについて、以下のような操作を行うことで、 $ 2 $ のコストで $ A $ と $ B $ を一致させることが出来ます。 1. コストを $ 1 $ 払い、各隣接 swap における $ i $ を $ 3,1,4,1 $ の順で選ぶことで $ A = (3,1,1,5,4) $ となる。 2. コストを $ 1 $ 払い、各隣接 swap における $ i $ を $ 3,1,2,1 $ の順で選ぶことで $ A = (5,1,3,1,4) $ となる。 $ 2 $ つ目のテストケースについて、コストによらず、 $ A $ と $ B $ を一致させることは出来ません。 ### Constraints - $ 1 \le T \le 10^5 $ - $ 2 \le N \le 3 \times 10^5 $ - $ 1 \le K \le 10^9 $ - $ 1 \le A_i,B_i \le N $ - $ \{A_1,\dots ,A_N\} $ と $ \{B_1,\dots ,B_N\} $ は多重集合として一致する - 全てのテストケースにおける $ N $ の総和は $ 3 \times 10^5 $ 以下 - 入力される値は全て整数