现在是准备第 14 届浙江省大学生程序设计竞赛题目的时候了！SUA 程序设计竞赛出题组的几乎所有成员都在没日没夜地头脑风暴和写代码以赶上截止日期，地板上到处都是喝空的 Marjar Cola 瓶子！
更糟糕的是，其中一名团队成员在截止日期前病倒了。因此，团队负责人 Dai 找到了你这位聪明的学生，来帮助团队检查题目的安排。
现在给你所有题目的难度分值。Dai 向你介绍了安排的规则：
- 题目数量应在 10 到 13 之间（包含 10 和 13）。
- 最简单题目（即难度分值最小的题目）的难度分值应等于 1。
- 至少有两道题目的难度分值等于 1。
- 将题目按难度分值升序排序后，相邻两题的难度分值之差的绝对值应不超过 2。但是，如果相邻两题中的其中一题是最难的题目，则它们之间的难度分值之差没有限制。最难的题目是指难度分值最大的题目。保证最难的题目有且仅有一道。
团队成员给了你许多可能的安排。请检查这些安排是否符合规则。
输入格式
输入包含多组测试数据。第一行是一个整数 $T$ ($1 \le T \le 10^4$)，表示测试数据的组数。接下来是 $T$ 组测试数据。
每组测试数据的第一行包含一个整数 $n$ ($1 \le n \le 100$)，表示题目数量。 下一行包含 $n$ 个整数 $s_1, s_2, \dots, s_n$ ($-1000 \le s_i \le 1000$)，表示每道题的难度分值。
我们温馨提示，本题包含大量输入输出，建议使用较快的 I/O 方法。例如，在 C++ 中可以使用 scanf/printf 代替 cin/cout。
输出格式
对于每组测试数据，如果安排符合规则，输出 “Yes”（不含引号），否则输出 “No”（不含引号）。
样例
输入 1
8 9 1 2 3 4 5 6 7 8 9 10 1 2 3 4 5 6 7 8 9 10 11 999 1 1 2 3 4 5 6 7 8 9 11 999 1 3 5 7 9 11 13 17 19 21 10 15 1 13 17 1 7 9 5 3 11 13 1 1 1 1 1 1 1 1 1 1 1 1 2 10 2 3 4 5 6 7 8 9 10 11 10 15 1 13 3 6 5 4 7 1 14
输出 1
No No Yes No Yes Yes No No
说明
第一个安排只有 9 道题，违反了第一条规则。
第二个和第四个安排中只有一道题的难度分值为 1，违反了第三条规则。
第七个安排中最简单的题目难度分值为 2，违反了第二条规则。
将第八个安排的题目按难度分值升序排序后，我们可以得到序列 $\{1, 1, 3, 4, 5, 6, 7, 13, 14, 15\}$。我们可以很容易地发现 $|13 - 7| = 6 > 2$。由于难度分值为 13 的题目不是最难的题目（该安排中最难的题目是难度分值为 15 的题目），它违反了第四条规则。