Background

上次讲完题后，有同学提出了这样的要求，行吧，满足你，真就是签到的模板题!

Description

费马小定理指出，对于任何素数p和任何整数a>1，都满足以下公式：

也就是说，如果a的p次幂除以p，余数是a。 但存在一些（但不是很多）非素数值p，如果存在整数a>1使得a^p (mod p) = a ，则称p是以a为基的伪素数。

给出2<p≤1000000000和1<a<p，确定p是不是以a为基的伪素数。

Format

Input

T组输入(T<100000)
每组给出两个数字，分别表示p，a。

Output

若p是以a为基的伪素数，则输出yes，否则，输出no。

Samples

6
3 2
10 3
341 2
341 3
1105 2
1105 3

no
no
yes
no
yes
yes

Limitation

1s, 1024KiB for each test case.