AT_agc067_c [AGC067C] Divisibility Homomorphism

[problemUrl]: https://atcoder.jp/contests/agc067/tasks/agc067_c 正整数の無限列 $ (a_1,a_2,\cdots) $ が以下の条件をともに満たすとき、またそのときに限りそれを **良い** と呼びます。 - ある有限の定数 $ C $ が存在し、すべての $ 1\ \le\ n $ について $ a_n\ \le\ C\ \cdot\ n $ である。 - すべての正整数の組 $ (n,m) $ に対し、$ a_n\ \mid\ a_m $ と $ n\mid\ m $ とは同値である。ここで、$ x\ \mid\ y $ は $ x $ が $ y $ を割り切ることを表す。 長さ $ N $ の整数列 $ A=(A_1,A_2,\cdots,A_N) $ が与えられます。 $ (A_1,A_2,\cdots,A_N) $ で始まる良い無限列が存在するか判定してください。 解くべきテストケースは $ T $ 個あります。

入力は標準入力から以下の形式で与えられる。 > $ T $ $ case_1 $ $ case_2 $ $ \vdots $ $ case_T $ 各テストケースは以下の形式で与えられる。 > $ N $ $ A_1 $ $ A_2 $ $ \cdots $ $ A_N $

各テストケースについて、$ (A_1,A_2,\cdots,A_N) $ で始まる良い無限数列が存在するなら `Yes`、そうでないなら `No` と出力せよ。 `Yes` または `No` の出力において、各文字は大文字・小文字のいずれでもよい。

### 制約 - $ 1\le\ T\ \le\ 5000 $ - $ 1\ \leq\ N\ \leq\ 5000 $ - $ 1\ \leq\ A_i\ \leq\ 10^{18} $ - ひとつの入力の中のテストケースすべてにわたる $ N $ の総和は $ 5000 $ 以下である。 - すべての入力値は整数である。 ### Sample Explanation 1 $ 1 $ 番目のテストケースについて、$ a_n=n $ とでき、これは条件を満たします。