配点 : $400$ 点

問題文

$T$ 個のテストケースについて、以下の問題を解いてください。

非負整数 $a,s$ が与えられます。以下の条件を両方とも満たす非負整数の組 $(x,y)$ は存在しますか？

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

$\text{AND}$ とは

非負整数 $n, m$ の bit ごとの論理積 $n\ \text{AND}\ m$ は、以下のように定義されます。

• $n\ \text{AND}\ m$ を二進表記した際の $2^k \, (k \geq 0)$ の位の数は、$n, m$ を二進表記した際の $2^k$ の位の数のうち両方が $1$ であれば $1$、そうでなければ $0$ である。

例えば、$4\ \text{AND}\ 6 = 4$ となります（二進表記すると: $100\ \text{AND}\ 110 = 100$）。

制約

• $1 \leq T \leq 10^5$
• $0 \leq a,s \lt 2^{60}$
• 入力はすべて整数

入力

入力は標準入力から与えられる。入力の $1$ 行目は以下の形式である。

$T$

その後、 $T$ 個のテストケースが続く。各テストケースは以下の形式で与えられる。

$a$ $s$

出力

$T$ 行出力せよ。$i\ (1 \leq i \leq T)$ 行目には、$i$ 番目に与えられるテストケースについて問題文中の条件を両方とも満たす非負整数の組 $(x,y)$ が存在するなら Yes を、存在しないなら No を出力せよ。

2
1 8
4 2

Yes
No

$1$ 番目のテストケースにおいては、$(x,y)=(3,5)$ などが条件を満たします。

$2$ 番目のテストケースにおいては、条件を満たす非負整数の組 $(x,y)$ は存在しません。

4
201408139683277485 381410962404666524
360288799186493714 788806911317182736
18999951915747344 451273909320288229
962424162689761932 1097438793187620758

No
Yes
Yes
No