AT_abc238_d [ABC238D] AND and SUM

[problemUrl]: https://atcoder.jp/contests/abc238/tasks/abc238_d $ 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 $ 行目は以下の形式である。 > $ T $ その後、 $ T $ 個のテストケースが続く。各テストケースは以下の形式で与えられる。 > $ a $ $ s $

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

### 制約 - $ 1\ \leq\ T\ \leq\ 10^5 $ - $ 0\ \leq\ a,s\ \lt\ 2^{60} $ - 入力はすべて整数 ### Sample Explanation 1 $ 1 $ 番目のテストケースにおいては、$ (x,y)=(3,5) $ などが条件を満たします。 $ 2 $ 番目のテストケースにおいては、条件を満たす非負整数の組 $ (x,y) $ は存在しません。