#include <bits/stdc++.h>
using namespace std;
const int N=16;
int n;
char s[1<<N];
bool o[1<<N];
int f[1<<N];
int pop[1<<N];
void solve(){
	scanf("%d",&n);
	scanf("%s",s);
	for(int i=0;i<(1<<n);i++)
		o[i]=s[i]-'0';
	for(int i=0;i<(1<<n);i++)
		f[i]=o[i];
	for(int p=0;p<n;p++)
		for(int i=0;i<(1<<n);i++)
			if(i&(1<<p))
				f[i]+=f[i^(1<<p)];
	for(int i=0;i<(1<<n);i++)
		if(f[i]&&o[i]==0){
			puts("No");
			return ;
		}
	for(int i=1;i<(1<<n);i++)
		pop[i]=pop[i>>1]+(i&1);
	puts("Yes");
	for(int i=0;i<(1<<n);i++)
		o[i]=f[i]==1;
	int cnt=0;
	for(int i=0;i<(1<<n);i++)
		cnt+=o[i];
	if(cnt>1)
		putchar('(');
	bool a[2]={0,0};
	for(int i=0;i<(1<<n);i++){
		if(o[i]==0)
			continue;
		if(i==0){
			putchar('T');
			continue;
		}
		if(a[0])
			putchar('|');
		a[0]=1,a[1]=0;
		if(pop[i]>1)
			putchar('(');
		for(int p=0;p<n;p++)
			if(i&(1<<p)){
				if(a[1])
					putchar('&');
				a[1]=1;
				putchar(p+'a');
			}
		if(pop[i]>1)
			putchar(')');
	}
	if(cnt>1)
		putchar(')');
	putchar('\n');
}
int main(){
	int T;
	scanf("%d",&T);
	while(T--)
		solve();
	return 0;
}