AT_bogosortcontest_div2_b Erase Mountain

Description

長さ $ N $ の正整数列 $ A_1, A_2, \dots, A_N $ が与えられます。 この数列に対して、以下の操作を何回でも( $ 0 $ 回でもよい)行うことができます。 - $ A_{i-1} \leq A_{i} $ かつ $ A_{i} \geq A_{i + 1} $ を満たす $ i \ (2 \leq i \leq N - 1) $ を選び $ A_{i} $ を $ 1 $ 減らす。 $ A $ を単調非減少にするための操作回数の最小値を求めてください。どのように操作をしても単調非減少にできない場合は `-1` を出力してください。 $ T $ 個のテストケースについて答えてください。

Input Format

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

Output Format

各テストケースについて、答えを整数として出力せよ。

Explanation/Hint

### Sample Explanation 1 $ 1 $ 個目のテストケースについて、 - $ 1 $ 回目の操作で $ i = 2 $ を選ぶと、 $ A = (1, 3, 3, 2) $ となります。 - $ 2 $ 回目の操作で $ i = 2 $ を選ぶと、 $ A = (1, 2, 3, 2) $ となります。 - $ 3 $ 回目の操作で $ i = 3 $ を選ぶと、 $ A = (1, 2, 2, 2) $ となり、単調非減少にすることができます。 $ 2 $ 回以下の操作で $ A $ を単調非減少にすることはできないので、 $ 3 $ が答えとなります。 $ 2 $ 個目のテストケースについて、はじめから $ A $ が単調非減少なので $ 0 $ が答えとなります。 ### Constraints - $ 1 \leq T \leq 10^4 $ - $ 3 \leq N \leq 2\times 10^5 $ - $ 1 \leq A_i \leq 10^9 \ (1 \leq i \leq N) $ - すべてのテストケースについての $ N $ の総和は $ 2\times 10^5 $ 以下 - 入力される数値はすべて整数