D. 乌龟的坚韧：连续取模

• 每次测试的时间限制：2 秒
• 每个测试的内存限制：256 兆字节

给定一个数组 $a_1, a_2, \dots, a_n$，请判断是否可以通过重新排列其元素，得到一个新的序列 $b_1, b_2, \dots, b_n$，使得：

$$b_1 \bmod b_2 \bmod b_3 \bmod \dots \bmod b_n \neq 0 $$

其中 $x \bmod y$ 表示 $x$ 除以 $y$ 的余数。
取模运算按从左到右的顺序进行，即：

$$x \bmod y \bmod z = (x \bmod y) \bmod z$$

例如：

$$2024 \bmod 1000 \bmod 8 = (2024 \bmod 1000) \bmod 8 = 24 \bmod 8 = 0 $$

---

输入

第一行包含一个整数 $t$（$1 \le t \le 10^4$）—— 测试用例的数量。

每个测试用例的第一行包含一个整数 $n$（$2 \le n \le 10^5$）。

每个测试用例的第二行包含 $n$ 个整数 $a_1, a_2, \dots, a_n$（$1 \le a_i \le 10^9$）。

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

---

输出

对于每个测试用例，如果可能通过重新排列使得最终取模结果非零，输出 "YES"，否则输出 "NO"。

你可以以任意大小写输出答案（例如 "yEs"、"yes"、"Yes"、"YES" 均视为肯定回答）。

---

示例

输入：

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

输出：

YES
NO
YES
NO
YES
NO
YES
NO

---

提示

在第一个测试用例中，将数组重排为 $b = [1,2,3,4,5,6]$（即保持不变），计算结果为：

$$1 \bmod 2 \bmod 3 \bmod 4 \bmod 5 \bmod 6 = 1$$

因此可以达到目标。

在第二个测试用例中，数组 $b$ 只能是 $[3,3,3,3,3]$，其结果为：

$$3 \bmod 3 \bmod 3 \bmod 3 \bmod 3 = 0$$

因此不可能达到目标。

在第三个测试用例中，将数组重排为 $b = [3,2,2]$，其结果为：

$$3 \bmod 2 \bmod 2 = 1$$

因此可以达到目标。