UVA1415 Gauss Prime

在 $18$ 世纪末，著名数学家高斯发现了一种特殊类型的数字。这些整数都是以 $a+b\sqrt {-k} $ 以下形式出现的。这些整数的和和积可以自然地定义如下： $$(a+b\sqrt {-k})+(c+d\sqrt{-k})=(a+c)+(b+d)\sqrt{-k}$$ $$(a+b\sqrt{-k})\times(c+d\sqrt{-k})=(a\times c-b\times d\times k)+(a\times d+b\times c)\sqrt{-k}$$ 可以证明这些整数的和和积构成了微积分中称为“虚二次域”的结构。 当 $k = 1$ 时，这些是普通的复数。当 $a$ 和 $b$ 都是整数时，这些数字被称为“高斯整数”，这是二次代数中最令人感兴趣的情况。 众所周知，每个整数都可以分解为几个素数的乘积。素数是只能被 $1$ 和自身整除的整数。我们在高斯整数的描述中也有类似的概念。 如果一个高斯整数不能被分解为其他高斯整数的乘积（除了 $0$、$1$、$-1$），我们称其为“高斯素数”或“不可除尽”。 请注意，$0$、$1$ 和 $-1$ 不被视为高斯质数，但 $\sqrt{-k}$ 是。 然而，唯一分解定理不适用于任意的 $k$。例如，在 $k = 5$ 的情况下，$6$ 可以以两种不同的方式分解：$6 = 2 \times 3$，$6 = (1 + \sqrt{-5})\times (1 - \sqrt{-5})$。 由于过去 $200$ 年数学的进步，人们证明只有 $9$ 个整数 $k$ 使得唯一分解定理成立。这些整数是 $$k \in \{1, 2, 3, 7, 11, 19, 43, 67, 163\}$$ 为了不使问题过于复杂，我们假设 $k$ 为 $2$。对于输入的每组数据，判断 $a + b\sqrt{-2}$ 是否为高斯质数。

输入的第一行是一个整数 $n$，接下来是 $n$ 行。每行包含两个整数 $a$ 和 $b$。判断 $a + b\sqrt{-2}$ 是否为高斯质数。

在一行中输出答案 `Yes` 或 `No`。

【样例解释】 $(5,1)$ 不是高斯质数，因为 $(5, 1) = (1, -1) \times (1, 2)$。 - $1 < n < 100$ - $0 \le a \le 10000,0 < b \le 10000$