这是问题的简单版本。两个版本的区别在于，这个版本中恰好有一个特殊的索引（$k=1$）。只有你解决了这个问题的所有版本，才能破解。

给定一个长度为$n$的二进制数组$a$，并$k$特殊指标$p_1, p_2, \ldots, p_k$（$1 \le p_i \le n$）。给定所有特殊指标元素的$a_i$值相同（即$a_{p_1} = a_{p_2} = \ldots = a_{p_k}$）。

在一个操作中，你可以选择一个范围$[l, r]$ （$1 \le l \le r \le n$），使该范围至少包含一个特殊索引（$l \le p_i \le r$），并将所有位翻转为$a_j$ $l \le j \le r$。稍微翻转一下，$0$变成$1$，$1$变成$0$。

设$x$表示在应用任何操作前特殊指标处的值。找出使数组中所有元素相等所需的最小运算次数$x$。

输入

每个测试包含多个测试用例。第一行包含测试用例的数量 $t$ （$1 \le t \le 10^4$）。以下是测试用例的描述。

每个测试用例的第一行包含两个整数$n$和$k$（$1 \le n \le 2 \cdot 10^5$;$k=1$）——即数组长度和特殊索引的数量。

第二行包含$n$整数$a_1, a_2, \ldots, a_n$ （$0 \le a_i \le 1$） ——数组的元素。

第三行包含$k$整数$p_1, p_2, \ldots, p_k$（$1 \le p_1 \lt p_2 \lt \ldots \lt p_k \le n$）——特殊指标。可以保证$a_{p_1} = a_{p_2} = \ldots = a_{p_k}$。

保证所有测试用例的总$n$总和不超过$2 \cdot 10^5$。

输出

每个测试用例输出一个整数——这是所需的最小操作次数。

注释

第一个测试用例中，你可以选择范围$[1, 3]$并反转所有比特来得到$[1, 0, 1]$。然后你可以选择范围$[2, 2]$，然后翻转第二个位来获得$[1, 1, 1]$。

对于第二个测试用例，所有比特已经匹配特殊索引处的值。你不需要任何操作。

样例

4
3 1
0 1 0
2
5 1
1 1 1 1 1
1
6 1
0 1 0 1 0 1
3
17 1
0 1 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1
5

2
0
4
10