将 $0$ ~ $2^n-1$ 排成一个排列 $P$ 满足：

1.$P_1=A$

2.$P_{2^n}=B$

3.$P_i$ 与 $P_{i+1}$ 在二进制表示下只相差 $1$ 位。

若无满足条件的 $P$，输出 $NO$

否则第一行输出 $YES$，第二行输出任意一个满足条件的序列