Description

给定整数 $n$ 和 $m$，判断是否存在满足下列条件的数列 $a$。本题中数列元素的下标从 $1$ 开始。

• 数列 $a$ 的长度为 $m$，数列 $a$ 的每一项都为正整数。

• $a_1 \oplus a_2 \oplus \cdots \oplus a_m = n$，即数列 $a$ 的所有项异或得到的结果等于 $n$。

• 数列 $a$ 中所有元素的值都相同。

Input Format

本题有多组测试数据。

第一行输入一个正整数 $T$，表示测试数据组数。

对于每组测试数据，输入一行两个整数 $n,m$。

Output Format

对于每组测试数据，输出一行一个字符串。如果存在满足条件的数列 $a$，输出 Yes；否则输出 No。

4
3 3
2 5
0 3
1 4

Yes
Yes
No
No

Hint

「样例解释 #1」

对于第一组测试数据，数列 $a$ 可以是 $[3,3,3]$，此时 $a_1 \oplus a_2 \oplus a_3 = 3 \oplus 3 \oplus 3 = 3$。

对于第二组测试数据，数列 $a$ 可以是 $[2,2,2,2,2]$，此时 $a_1 \oplus a_2 \oplus a_3 \oplus a_4 \oplus a_5 = 2 \oplus 2 \oplus 2 \oplus 2 \oplus 2 = 2$。

对于第三组和第四组测试数据，可以证明不存在满足条件的数列。

「数据范围」

对于所有测试数据，$1 \leq T \leq 10^5$，$0 \leq n \leq 10^9$，$2 \leq m \leq 10^9$。