#include #pragma GCC optimize("Ofast") using namespace std; using std::cout; using std::cin; using std::endl; using ll=long long; using ld=long double; ll ILL=2167167167167167167; const int INF=2100000000; const int mod=998244353; #define rep(i,a,b) for (ll i=a;i using _pq = priority_queue, greater>; template ll LB(vector &v,T a){return lower_bound(v.begin(),v.end(),a)-v.begin();} template ll UB(vector &v,T a){return upper_bound(v.begin(),v.end(),a)-v.begin();} template bool chmin(T &a,const T &b){if(a>b){a=b;return 1;}else return 0;} template bool chmax(T &a,const T &b){if(a void So(vector &v) {sort(v.begin(),v.end());} template void Sore(vector &v) {sort(v.begin(),v.end(),[](T x,T y){return x>y;});} void yneos(bool a){if(a) cout<<"Yes\n"; else cout<<"No\n";} template void vec_out(vector &p){for(int i=0;i<(int)(p.size());i++){if(i) cout<<" ";cout< T vec_min(vector &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmin(ans,x);return ans;} template T vec_max(vector &a){assert(!a.empty());T ans=a[0];for(auto &x:a) chmax(ans,x);return ans;} template T vec_sum(vector &a){assert(!a.empty());T ans=a[0]-a[0];for(auto &x:a) ans+=x;return ans;} void solve(); // oddloop int main() { ios::sync_with_stdio(false); cin.tie(nullptr); int t=1; cin>>t; rep(i,0,t) solve(); } void solve(){ int N; cin>>N; string S; cin>>S; vector p(N); rep(i,0,N){ if(S[i]=='0') p[i]=-1; if(S[i]=='1') p[i]=1; } rep(i,0,N*2){ if(p[(i+2)%N]==0&&p[(i+1)%N]==0){ p[(i+1)%N]=-1*p[i%N]; } } rep(i,0,N*2){ if(p[i%N]==0){ rep(k,0,3){ int tmp=0; rep(j,0,3){ tmp+=(p[(i+N+k-j)%N]); } if(tmp==2) p[i%N]=-1; if(tmp==-2) p[i%N]=1; if(abs(tmp)==2) break; } } } rep(i,0,N){ int tmp=0; rep(k,0,3) tmp+=p[(i+k)%N]; if(abs(tmp)==3){ cout<<"No\n"; return; } } cout<<"Yes\n"; }