CF1726B Mainak and Interesting Sequence

### 题目大意 认定一个长度为 $n$ 的序列 $a$ 是有趣的有且仅当满足以下条件： - 对于**任意**一个整数 $a_i$，所有**严格小于**它的数的异或和为 $0$。( 假定所有满足条件的数为 $b_j$，则异或和为 $0$ 表示 $b_1 \; xor \; b_2 \; xor \; \dots \; xor \; b_j = 0$，xor 表示按位异或 ) 请求出满足 $\sum_{i = 1}^n a_i = m$ 的长度为 $n$ 有趣的序列。 若有多种构造方式，则任意输出一种即可。 例如：$[1,3,2,3,1,2,3] , [4,4,4,4] , [25]$ 是有趣的，而 $[1,2,3,4] \; (p_2 = 1 \neq 0), \; [4,1,1,2,4] \; (p_4 = 1 \; xor \; 1 \; xor \; 2 = 2 \neq 0), \; [29,30,30] \; (p_{30} = 29 \neq 0)$不是有趣的。( 其中 $p_i$ 表示题目要求中的异或和 )。

第一行一个整数 $T \; (1 \leqslant T \leqslant 10^5)$ ，表示测试样例组数。 对于每组测试样例，包含一行两个整数 $n \; (1 \leqslant n \leqslant 10^5)$ 和 $m \; (1 \leqslant m \leqslant 10^9)$，含义见题目。 数据保证 $\sum n \leqslant 10^5$。

对于每组测试样例，如果第一行为一个字符串。如果存在满足条件的有趣的序列则输出 Yes ，否则输出 No。 如果你的输出是 Yes，则接下来的一行包含 $n$ 个数，表示你构造的序列，否则不输出这一行。 $Translated \; by \; Zigh$

- In the first test case, $ [3] $ is the only interesting sequence of length $ 1 $ having sum $ 3 $ . - In the third test case, there is no sequence of length $ 2 $ having sum of elements equal to $ 1 $ , so there is no such interesting sequence. - In the fourth test case, $ p_1 = p_2 = p_3 = 0 $ , because bitwise XOR of an empty sequence is $ 0 $ .