#ATagc067c. [AGC067C] Divisibility Homomorphism

[AGC067C] Divisibility Homomorphism

题目描述

我们称一个正整数(a1,a2)(a_1,a_2,…)的无限序列为好,当且仅当它满足以下两个条件:

  • 存在一个有限常数CC,使得对于所有1nanCn1 \leq n,a_n \leq C⋅n
  • 对于所有正整数对(n,m)(n,m)anama_n|a_m当且仅当nmn∣m。这里,xyx∣y表示xx除以yy

你将得到一个长度为N的正整数序列 A=(A1,A2,,AN)A=(A_1,A_2,…,A_N)。检查是否存在一个以(A1,A2,,AN)(A_1,A_2,…,A_N)开头的良好无穷序列。 你要解决TT个样例。

输入格式

输入以以下格式从标准输入中给出:

TT case1case_1 case2case_2 \vdots caseTcase_T

其中,每个测试用例都以以下格式给出:

NN A1A_1 A2A_2 \cdots ANA_N

输出格式

对于每个测试用例,如果存在以(A1,A2,,AN)(A_1,A_2,…,A_N)开头的良好无限序列,请输出Yes,否则输出No

在输出Yes或者No时,你可以忽略大小写。

样例 1

输入

5
5
1 2 3 4 5
5
1 4 9 16 25
5
1 4 6 8 10
5
1 2 4 4 5
5
1 2 3 5 4

输出

Yes
Yes
Yes
No
No

说明/提示

  • 1T50001≤T≤5000
  • 1N50001≤N≤5000
  • 1Ai10181≤Ai≤10^18

样例解释

对于第11个测试用例,an=na_n=n,这符合条件。