#include using namespace std; #include using namespace atcoder; #define rep(i, n) for(int i=0;i<(n);++i) #define rep1(i, n) for(int i=1;i<=(n);i++) #define ll long long using mint = modint998244353; using P = pair; using lb = long double; using T = tuple; #ifdef LOCAL # include # define dbg(...) debug_print::multi_print(#__VA_ARGS__, __VA_ARGS__) #else # define dbg(...) (static_cast(0)) #endif int main() { int t; cin >> t; rep(_,t){ int n; cin >> n; vector a(n); rep(i,n) cin >> a[i]; vector cnt(3); rep(i,n) cnt[a[i]]++; if(cnt[0]==0 || cnt[2]==0){ cout << "No" << endl; continue; } scc_graph g(n); int j = -1; rep(i,n){ if(a[i]==2) j = i; } a[j]--; g.add_edge(j, (j-1+n)%n); bool ok = true; rep(i,n){ int nj = (j+1)%n; if(a[j]==1) g.add_edge(j, nj); if(a[j]==0) { g.add_edge(nj,j); a[nj]--; } if(a[j]==2){ ok = false; } j = nj; } auto res = g.scc(); cout << (res.size()==n&&ok ? "Yes":"No") << endl; } return 0; }