#include<bits/stdc++.h>
using namespace std;
const int N = 110;
using ll = long long;
ll a[N];
int vis[N][N];
bool solve(){
    int n;cin>>n;
    memset(vis,0,sizeof(vis));
    for (int i=1;i<=n;++i) {
        cin>>a[i];
        for (int j=1;j<=n;++j) vis[j][a[i]%j]++;
    }
    for (int i=1;i<=n;++i){
        for (int j=i+1;j<=n;++j){
            if (a[i]==a[j]) return 0;
        }
    }
    for (int i=2;i<=n;++i){
        int cnt=0;
        for (int j=0;j<i;++j) {
            cnt+=vis[i][j]>=2;
        }
        if (cnt==i) return 0;
    }
    return 1;
}
int main(){
    int t;cin>>t;
    while(t--) {
        bool ed=solve();
        if (ed) puts("Yes");
        else puts("No");
    }
    return 0;
}

大题思路是枚举 $n$ 以内是否存在某个数 $k$ ，使得 原数组能构成模 $k$ 意义下的完全剩余系，且每个数至少出现两遍。

存在即无解，否则有解。

赛时乱写的，感觉很假，但过了 system test 。

求hack/证明