烦人的幽灵

英文题名：B. Annoying the Ghost
来源：Codeforces 2237B
比赛：Order Capital Round 2 (Codeforces Round 1104, Div. 1 + Div. 2)
时间限制：1.5 seconds
空间限制：256 megabytes

题目描述

给定初始数组 $a$ 和严格递增目标数组 $b$。题目定义了一类合法转化过程，要求在所有合法过程中最小化第二阶段操作次数；若无合法过程则输出 $-1$。

输入格式

第一行输入 $t$。每组输入 $n$、数组 $a$ 和严格递增数组 $b$。所有 $n$ 之和不超过 $2000$。

输出格式

每组输出最小次数或 $-1$。

样例

10
3
1 2 2
1 3 5
3
2 2 1
1 2 3
2
5 1
2 4
6
6 5 4 3 2 1
1 2 3 4 5 6
7
4 7 1 6 2 5 3
1 2 3 4 5 6 7
2
2 1
2 3
4
3 2 2 1
1 2 3 4
4
4 3 2 1
1 3 4 5
5
1 5 4 3 2
2 3 4 5 6
5
10 3 8 6 9
3 6 8 9 10

0
2
-1
15
12
0
4
4
3
5