「游族杯」上海市高校程序设计邀请赛暨华东师范大学第九届 ECNU Coder 程序设计竞赛 (大一组)

H. 核反应控制

单点时限: 4.0 sec

内存限制: 256 MB

著名物理学家 Daffy Duck 提出了核反应控制的关键理论。

该理论的(玄学)表述是:在一个原子堆中有很多原子量不同的原子,如果原子 A 的原子量和原子 B 的原子量之和,恰好等于原子 C 的原子量,那么核反应控制难度将急剧增大。

该理论的(数学)表述是:有集合 $A={a_1,a_2,\ldots,a_n}$,如果存在 $i,j,k(i \neq j, i \neq k, j \neq k)$ 使得 $a_i+a_j=a_k$,则输出 NO;否则输出 YES

输入格式

第一行是数据组数 $T$ $(1 \leq T \leq 20)$。接下来 $2T$ 行:

每两行一组数据,第一行是一个整数 $n$ $(1 \leq n \leq 50~000)$,第二行是用空格隔开的 $n$
个不同的整数 $a_1,a_2,\ldots,a_n$ $(1 \leq a_1,a_2,\ldots,a_n \leq 200~000)$。

输出格式

对于每组数据,输出 Case x: y。其中 x 是从 1 开始的测试数据编号,y 是 YESNO

样例

Input
2
3
1 2 3
4
2 5 9 20
Output
Case 1: NO
Case 2: YES

提示

本题数据已加强,AC 过的代码可能不能通过。但没有进行重测。