小红的排序（hard）

题号：NC316506
时间限制：C/C++/Rust/Pascal 1秒，其他语言2秒
空间限制：C/C++/Rust/Pascal 256 M，其他语言512 M
64bit IO Format: %lld

题目描述

$\hspace{15pt}$ 本题为问题的困难版本，两题的唯一区别在本题仅保证 $x, y < n$ 。

$\hspace{15pt}$ 给定一个长度为 $n$ 的排列 $p_1, p_2, \dots, p_n$ 与两个正整数 $x$ 和 $y$ ，满足 $x, y < n$ 。你可以进行任意次操作，每次操作可以选择一个下标 $i$ ，并执行以下两种交换之一：

$\hspace{23pt}\bullet$ 交换 $p_i$ 与 $p_{i + x}$ （要求 $i + x \leqq n$ ）；
$\hspace{23pt}\bullet$ 交换 $p_i$ 与 $p_{i + y}$ （要求 $i + y \leqq n$ ）。

$\hspace{15pt}$ 请你判断是否可以通过若干次操作（可以为 $0$ 次）将排列变成升序排列 $[1, 2, \dots, n]$ 。

【名词解释】

$\hspace{15pt}$ 长度为 $n$ 的排列：由 $1,2,\dots,n$ 这 $n$ 个整数、按任意顺序组成的数组（每个整数均恰好出现一次）。例如， $\{2,3,1,5,4\}$ 是一个长度为 $5$ 的排列，而 $\{1,2,2\}$ 和 $\{1,3,4\}$ 都不是排列，因为前者存在重复元素，后者包含了超出范围的数。

$\hspace{15pt}$ 在几乎全部的情况下，PyPy 的运行速度优于 Python，我们建议您选择对应版本的 PyPy 进行提交、而不是 Python。

输入描述:

每个测试文件均包含多组测试数据。第一行输入一个整数  代表数据组数，每组测试数据描述如下：

第一行三个整数  。
第二行包含  个整数 ，表示给定的排列。

除此之外，保证单个测试文件的  之和不超过 。

输出描述:

对于每组测试数据，新起一行。

如果可以排序，输出 ；否则输出 。

示例1

输入

复制

输出

复制

Yes
No