#include <bits/stdc++.h>
#define X first
#define Y second
#define PB push_back
#define x first
#define y second
#define pb push_back
#define all(a) begin(a),end(a)

using namespace std;

typedef long long ll;
typedef vector<int> vi;
using pii=pair<int,int>;

const int N = 1e5 + 500;
const int INF = 0x3f3f3f3f;
const int MOD = 998244353;
const char en='\n';
const ll LLINF=1ll<<60;

string f(string s,int off)
{
	if (s.size()==2)
	{
		if (s=="00") return "F";
		if (s=="01") return string(1,'a'+off);
		if (s=="11") return "T";
		assert(0);
	}
	int cl=s.size();
	string re=string(1,'a'+off);
	if (s.substr(cl/2)==s.substr(0,cl/2)) return f(s.substr(cl/2),off-1);
	if (s.substr(cl/2)==string(cl/2,'0')) return "F";
	if (s.substr(0,cl/2)==string(cl/2,'1')) return "T";
	if (s.substr(cl/2)!=string(cl/2,'1')) re="("+re+"&"+f(s.substr(cl/2),off-1)+")";
	if (s.substr(0,cl/2)!=string(cl/2,'0')) re="("+re+"|"+f(s.substr(0,cl/2),off-1)+")";
	return re;
}

int t,n;

int main() {
	ios_base::sync_with_stdio(0);
	cin.tie(0);
	cin>>t;
	while (t--)
	{
		cin>>n;
		string s;
		cin>>s;
		bool ok=1;
		for (int b=0;b<n;++b) for (int i=0;i<(1<<n);++i) if ((i>>b)&1)
		{
			if (s[i^(1<<b)]=='1' && s[i]=='0') ok=0;
		}
		//cout<<n<<' '<<s<<endl;
		if (!ok)
		{
			cout<<"No\n";
			//cout<<flush;
			continue;
		}
		cout<<"Yes\n";
		//cout<<flush;
		cout<<f(s,n-1)<<en;
	}
}