V-Sort

给定两个长度为 $N$ 的序列 $A=[A_1,A_2,\cdots,A_N]$、$B=[B_1,B_2,\cdots,B_N]$，以及两个整数 $X,Y$。每个元素都是 $1$ 到 $N$ 之间的整数，元素的值可以重复。

你可以按任意顺序执行以下两种操作任意多次，也可以不执行任何操作。

• 选择满足 $1 \leq i \leq N-X$ 的整数 $i$，交换 $A_{i+X}$ 和 。

判断能否使所有 $i$（$1 \leq i \leq N$）均满足 $A_i=B_i=i$。

输入格式如下：

$T$ $\mathrm{case}_1$ $\mathrm{case}_2$

对于每个测试用例，若能达到目标状态，输出 YES，否则输出 NO。每个答案占一行。

• $1 \leq T \leq 100\,000$.
• $1 \leq N \leq 500\,000$.
• $0\le X$.