给出一个长度为n的非严格递增整数序列，每次操作可以将其中的一个数减少一，问最少多少次操作后能够使得序列中的任何一个数在序列中都至少有k-1个数与之相同。

输入格式

第一行包含整数T，表示共有T组测试数据。

每组测试数据，第一行包含两个整数n和k。

第二行包含n个不超过500000的非负整数，表示完整的整数序列。

输出格式

每组测试数据输出一个整数，表示所需最少操作数。

每个结果占一行。

数据范围

$1 \le T \le 20$,
$2 \le n \le 500000$,
$2 \le k \le n$

输入样例：

2
7 3
2 2 3 4 4 5 5
6 2
0 3 3 4 8 9

输出样例：

3
5

来源

• 《算法竞赛进阶指南》
• acwing 可能含有视频讲解