A85656.Alice 的数学构造

给定正整数 $n$ 。设 $a$ 为 $\{1,2,\dots,n\}$ 的一个排列。定义前缀乘积序列

$$b_1\equiv a_1\pmod n,\quad b_i\equiv b_{i-1}\cdot a_i\pmod n\ (2\le i\le n).$$

若 $b$ 恰好是 $\{0,1,\dots,n-1\}$ 的一个排列（每个余数出现且只出现一次），称该 $a$ 为可行。本题仅需判断是否存在可行排列。

• 第一行一个整数 $T$
• 接下来 $T$ 行，每行一个整数 $n$ 。

对每组数据输出一行：存在则输出 YES，否则输出 NO。

数据范围

• $1 \le n,t \le 10^6$