AT_agc067_c.[AGC067C] Divisibility Homomorphism

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

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

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

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

$ T $ $ case_1 $ $ case_2 $ $ \vdots $ $ case_T $

其中，每个测试用例都以以下格式给出：

$ N $ $ A_1 $ $ A_2 $ $ \cdots $ $ A_N $

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

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

• $1≤T≤5000$
• $1≤N≤5000$
• $1≤Ai≤10^18$

样例解释

对于第$1$个测试用例，$a_n=n$，这符合条件。