AtCoder Grand Contest 067
C
Divisibility Homomorphism
AtCoder
⌀ 2829
原题
← BD →
翻译中…

Problem Statement

翻译中…

We call an infinite sequence of positive integers $(a_1,a_2,\cdots)$ good if and only if it satisfies both of the following conditions:

翻译中…
  • There exists a finite constant $C$ such that $a_n \le C \cdot n$ for all $1 \le n$;
  • For all pairs of positive integers $(n,m)$, $a_n \mid a_m$ if and only if $n\mid m$. Here, $x \mid y$ means $x$ divides $y$.
翻译中…

You are given a positive integer sequence $A=(A_1,A_2,\cdots,A_N)$ of length $N$. Check if there exists a good infinite sequence starting with $(A_1,A_2,\cdots,A_N)$.

翻译中…

You have $T$ testcases to solve.

翻译中…

Constraints

翻译中…
  • $1\le T \le 5000$
  • $1 \leq N \leq 5000$
  • $1 \leq A_i \leq 10^{18}$
  • The sum of $N$ across the test cases in a single input is at most $5000$.
  • All input values are integers.
翻译中…

Input

翻译中…

Input is given from Standard Input in the following format:

翻译中…

T
case_1
case_2
\vdots
case_T

翻译中…

Each test case is given in the following format:

翻译中…

N
A_1 A_2 \cdots A_N

翻译中…

Output

翻译中…

For each test case, if there exists a good infinite sequence starting with $(A_1,A_2,\cdots,A_N)$, print Yes, and otherwise print No. In printing Yes or No, you can output each letter in any case (upper or lower).

翻译中…

样例

Input #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
Output #1
Yes
Yes
Yes
No
No
For the $1$-st test case, we can let $a_n=n$ and that satisfies the condition.
题目信息
题号
agc067_c
时间限制
2 s
内存限制
1024 MB

题面与样例版权归 AtCoder 及出题人所有;中文翻译由 AI 生成(CI 管线),如有出入请以原文为准。