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$，这符合条件。