Description
小南在网上看到了一个关于耦合数组的概念。就是对于一个有序数组A，如果刚好可以拆分成几个元素个数为K的子数组，每一个子数组都是由连续的K的数字组成，则该数组称为K耦合数组。
例如A= {1, 1, 2, 2, 3, 3, 3, 4, 4, 5, 5, 6} ，K=3，则可拆分成{1, 2, 3}, {1, 2, 3}, {3, 4, 5}, {4, 5, 6}。则数组A是3耦合数组。
老师给了小南一个任务，就是对于给定的数组A和整数K，判断数组A是否为满足条件的K耦合数组，如果是，则输出YES，不是则输出NO。你能帮他完成任务吗？
Input
多样例。每个测试文件包含多组测试数据，输入的第一个是一个整数T，代表测试数据的组数。
接下来是T组测试数据，每组测试数据包含两行，第一行包括两个整数N和K（1≤K≤N≤50000），代表数组A的元素个数和子数组的元素个数。
第二行给出数组A的N个元素，由int类型整数组成。
Output
每组测试样例输出一行，若满足条件则输出YES，否则输出NO。每个结果占一行。
2
12 3
1 1 2 2 3 3 3 4 4 5 5 6
12 4
1 1 2 2 3 3 3 4 4 5 5 6