AND and SUM

题目描述

请针对 $T$ 个测试用例，解决以下问题。

给定非负整数 $a, s$。是否存在满足以下两个条件的非负整数对 $(x, y)$？

• $x\ \text{AND}\ y = a$
• $x + y = s$

其中 $\text{AND}$ 表示非负整数 $n, m$ 的按位与运算 $n\ \text{AND}\ m$，定义如下：

• $n\ \text{AND}\ m$ 的二进制表示中，第 $2^k\ (k \geq 0)$ 位为 $1$ 当且仅当 $n$ 和 $m$ 的二进制表示的第 $2^k$ 位都为 $1$，否则为 $0$。

例如，$4\ \text{AND}\ 6 = 4$（二进制为：$100\ \text{AND}\ 110 = 100$）。

输入格式

输入从标准输入读入。第一行包含：

$T$

接下来有 $T$ 个测试用例。每个测试用例为一行，格式如下：

$a$ $s$

输出格式

请输出 $T$ 行。对于第 $i$ 个测试用例，如果存在满足题目条件的非负整数对 $(x, y)$，输出 Yes，否则输出 No。

输入输出样例 #1

输入 #1

2
1 8
4 2

输出 #1

Yes
No

输入输出样例 #2

输入 #2

4
201408139683277485 381410962404666524
360288799186493714 788806911317182736
18999951915747344 451273909320288229
962424162689761932 1097438793187620758

输出 #2

No
Yes
Yes
No

说明/提示

限制条件

• $1 \leq T \leq 10^5$
• $0 \leq a, s < 2^{60}$
• 输入均为整数

样例解释 1

对于第 $1$ 个测试用例，$(x, y) = (3, 5)$ 等满足条件。对于第 $2$ 个测试用例，不存在满足条件的非负整数对 $(x, y)$。