P17532 [JAG 2026 Summer Camp #1] Find Iotas

给定一个正整数 $N$ 和一个非负整数 $X$。 判断是否存在一个长度为 $2N$ 的序列 $A=(A_1,A_2,\ldots,A_{2N})$，满足以下所有条件： - 从 $1$ 到 $N$ 的每个整数在 $A$ 中都恰好出现两次。 - 序列 $(1,2,\ldots,N)$ 作为 $A$ 的子序列恰好出现 $X$ 次。换言之，恰好有 $X$ 种选择下标 $1\le i_1

输入包含多组测试数据，格式如下： ```text T case_1 case_2 ... case_T ``` 每组测试数据的格式如下： ```text N X ``` 第一行包含一个整数 $T$（$1\le T\le 2\times 10^5$），表示测试数据组数。 对于每组测试数据，给定一个正整数 $N$（$1\le N\le 2\times 10^5$）和一个非负整数 $X$（$0\le X\le 10^{18}$）。 所有测试数据的 $N$ 之和不超过 $2\times 10^5$。

对于每组测试数据，若不存在满足条件的序列，在单独一行输出 `No`。 否则，第一行输出 `Yes`，第二行输出 $2N$ 个整数 $A_1,A_2,\ldots,A_{2N}$，表示一个满足条件的序列。 若存在多个合法序列，可以输出其中任意一个。