#include <cstdio>
#include <random>
#include <algorithm>
#define fi first
#define se second
using namespace std;
typedef unsigned long long ull;
mt19937_64 rng(2007329);
int read(){
	char c=getchar();int x=0;
	while(c<48||c>57) c=getchar();
	do x=(x<<1)+(x<<3)+(c^48),c=getchar();
	while(c>=48&&c<=57);
	return x;
}
const int N=10003;
int n;
ull val[N],ca[26],cb[26];
ull f[N],g[N];
int col[N],sz[N];
int hd[N],ver[N<<1],nxt[N<<1],tot;
void add(int u,int v){
	nxt[++tot]=hd[u];hd[u]=tot;ver[tot]=v;
}
void dfs(int u,int fa){
	sz[u]=1;
	f[u]=ca[col[u]];
	for(int i=hd[u];i;i=nxt[i]){
		int v=ver[i];
		if(v==fa) continue;
		dfs(v,u);
		f[u]+=f[v];
		sz[u]+=sz[v];
	}
	f[u]^=cb[col[u]]^val[sz[u]];
}
void calc(int u,int fa){
	ull cur=ca[col[u]]+g[u];
	for(int i=hd[u];i;i=nxt[i]){
		int v=ver[i];
		if(v==fa) continue;
		cur+=f[v];
	}
	for(int i=hd[u];i;i=nxt[i]){
		int v=ver[i];
		if(v==fa) continue;
		g[v]=(cur-f[v])^cb[col[u]]^val[n-sz[v]];
		calc(v,u);
	}
}
int eu[N],ev[N];
bool flag,del[N];
pair<ull,int> stk[N];
int tp;
bool vis[N];
void proc(int u,int fa){
	tp=0;vis[u]=1;eu[u]=0;ev[u]=0;
	if(fa) stk[tp++]=make_pair(g[u],fa);
	for(int i=hd[u];i;i=nxt[i]){
		int v=ver[i];
		if(v==fa) continue;
		stk[tp++]=make_pair(f[v],v);
	}
	sort(stk,stk+tp);
	for(int i=0;i<tp;++i){
		if(i+1==tp||stk[i].fi!=stk[i+1].fi){
			if(eu[u]){
				if(ev[u]){del[u]=1;break;}
				else ev[u]=stk[i].se;
			}
			else eu[u]=stk[i].se;
		}
		else ++i;
	}
	if(!del[u]){
		if(vis[eu[u]]){
			int x=eu[u];
			if(del[x]) del[u]=1;
			else{
				if(u==eu[x]) eu[u]=ev[x];
				if(u==ev[x]) eu[u]=eu[x];
			}
		}
		if(vis[ev[u]]){
			int x=ev[u];
			if(del[x]) del[u]=1;
			else{
				if(u==eu[x]) ev[u]=ev[x];
				if(u==ev[x]) ev[u]=eu[x];
			}
		}
	}
	if(!eu[u]&&!ev[u]&&!del[u]) flag=1;
	int p=0;
	for(int i=hd[u];i;i=nxt[i]){
		int v=ver[i];
		if(v==fa) continue;
		proc(v,u);
	}
}
void solve(int tid){
	n=read();flag=0;
	for(int i=0;i<26;++i) ca[i]=rng(),cb[i]=rng();
	for(int i=1;i<=n;++i) val[i]=rng();
	char c=getchar();
	for(int i=1;i<=n;++i){
		while(c<'A'||c>'Z') c=getchar();
		col[i]=c-'A';c=getchar();
	}
	for(int i=1;i<n;++i){
		int u=read(),v=read();
		add(u,v);add(v,u);
	}
	dfs(1,0);calc(1,0);proc(1,0);
	if(flag) printf("Case #%d: SYMMETRIC\n",tid);
	else printf("Case #%d: NOT SYMMETRIC\n",tid);
	for(int i=1;i<=n;++i) hd[i]=0,del[i]=vis[i]=0;
	while(tot) ver[tot]=nxt[tot]=0,--tot;
}
int main(){
	int tc=read();
	for(int i=1;i<=tc;++i) solve(i);
	return 0;
}