思路

题目要求我们验证对于任意一对下标 $i$ 和 $j$，等式 $a_i \oplus a_j = i \oplus j$ 是否恒成立。

如果我们直接遍历所有的下标对 $(i, j)$ 来进行检查，时间复杂度将是 $O(n^2)$。考虑到 $n$ 的最大值可以达到 $2 \times 10^6$，$O(n^2)$ 的算法显然会超时，因此我们需要寻找一个更高效的方法。

我们可以对给定的等式进行变形。按位异或运算有一个很好的性质：$x \oplus y = z \Leftrightarrow x \oplus z = y$。我们可以利用这个性质来简化条件。

将等式 $a_i \oplus a_j = i \oplus j$ 的两边同时异或上 $i$ 和 $j$：

题目内容

小红得到了一个长为$n$ 的数组$a_1,a_2，.,a_n$，他想知道是否对于所有的下标$i,j(1≦i,j≦n)$,都满足等式$a_{i} \oplus a_{j}=i \oplus j$成立.

按位异或($\oplus$):两个整数的二进制表示按位进行异或运算。

输入描述

每个测试文件均包含多组测试数据。第一行输入一个整数$T(1≦T≤10^3)$代表数据组数，每组测试数据描述如下:

第一行输入一个整数$n(1 ≦n≦2×10^5)$。

第二行输入$n$个正整数$a_1,a_2,..,a_n(1≦a_i≦10^9)$代表数组的元素。

除此之外，保证单个测试文件的$n$之和不超过$2×10^6$

输出描述

对于每一组测试数据，新启一行。如果符合要求，输出$Yes$,否则输出$No$

样例1

输入

2
5
7 4 5 2 3
1 1 4 5 1 4

输出

Yes
No