P25242 [AtCoder] Tangent Addition Formula
NOI
题目描述

Problem Statement

You are given a prime number p and non-negative integers a and b.
Determine if there is an infinite sequence of $non-negative integers t = \bigl(t(0), t(1), t(2), \ldots)$ that satisfies all of the following conditions.

  • $0\leq t(x) < p$ for every non-negative integer x.
  • $t(x+y)\bigl(1-t(x)t(y)\bigr)\equiv t(x)+t(y)\pmod{p}$ for all non-negative integers x and y.
  • t(a)=b.

You have T test cases to solve.

Input

The input is given from Standard Input in the following format:
T
$\text{case}_1$
$\vdots$
$\text{case}_T$

Each test case is given in the following format:
p a b

Output

Print T lines. The i-th line should contain Yes if there is a sequence of non-negative integers that satisfies all of the conditions, and No otherwise.

Constraints

  • $1\leq T\leq 2\times 10^5$
  • p is a prime number such that $1\leq p\leq 10^9$.
  • $0\leq a\leq 10^{9}$
  • $0\leq b < p$

Sample Input 1

4
11 1 0
11 1 1
11 1 3
11 1 5

Sample Output 1

Yes
No
No
Yes

  • For $p=11, a=1, b=0, a constant sequence t = (0,0,0,0,\ldots)$ satisfies the conditions.
  • For $p=11, a=1, b=5, a sequence t = (0,5,6,0,5,6,\ldots)$ of period 3 satisfies the conditions.

Sample Input 2

5
5 0 0
5 1 1
5 2 2
5 3 3
5 4 4

Sample Output 2

Yes
No
Yes
Yes
No

Sample Input 3

7
2 3 1
2 5 0
5 0 1
5 0 2
7 1 4
11 12345 5
13 12345 5

Sample Output 3

Yes
Yes
No
Yes
No
No
Yes

输入格式

见题面 Input 部分

输出格式

见题面 Output 部分

样例输入
4 11 1 0 11 1 1 11 1 3 11 1 5
样例输出
Yes No No Yes