C. 加幂次
每次测试的时间限制：2 秒
每次测试的内存限制：256 兆字节

假设你正在执行以下算法。
开始时，有一个数组 $v_1, v_2, \dots, v_n$ 全部被填充为 $0$。
对该数组多次应用以下操作 —— 在第 $i$ 步（$0$ 索引）你可以：

• 选择一个位置 $pos$（$1 \leq pos \leq n$），并将 $v_{pos}$ 增加 $k^i$；
• 或者不选择任何位置，跳过这一步。

你可以决定算法在每一步的行为以及何时停止。
问题是：在某个步骤之后，你能否使数组 $v$ 等于给定的数组 $a$（即对于每个 $j$，$v_j = a_j$）？

输入
第一行包含一个整数 $T$（$1 \leq T \leq 1000$）——测试用例的数量。
接下来是 $2T$ 行，每个测试用例两行。
每个测试用例的第一行包含两个整数 $n$ 和 $k$（$1 \leq n \leq 30$，$2 \leq k \leq 100$）——数组 $v$ 和 $a$ 的大小以及算法中使用的 $k$ 值。
第二行包含 $n$ 个整数 $a_1, a_2, \dots, a_n$（$0 \leq a_i \leq 10^{16}$）——你希望得到的数组。

输出
对于每个测试用例，如果你能在某步之后得到数组 $a$，则输出 YES（大小写不敏感），否则输出 NO。

示例
输入：

5
4 100
0 0 0 0
1 2
1
3 4
1 4 1
3 2
0 1 3
3 9
0 59049 810

输出：

YES
YES
NO
NO
YES

提示

• 第一个测试用例中，你可以在第 $0$ 步之前停止算法，或者多次不选任何位置然后停止。
• 第二个测试用例中，你可以将 $k^0$ 加到 $v_1$ 上，然后停止。
• 第三个测试用例中，你无法在数组 $v$ 中得到两个 $1$。
• 第五个测试用例中，你可以跳过 $9^0$ 和 $9^1$，然后将 $9^2$ 和 $9^3$ 加到 $v_3$ 上，跳过 $9^4$，最后将 $9^5$ 加到 $v_2$ 上。