1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59
 60
 61
 62
 63
 64
 65
 66
 67
 68
 69
 70
 71
 72
 73
 74
 75
 76
 77
 78
 79
 80
 81
 82
 83
 84
 85
 86
 87
 88
 89
 90
 91
 92
 93
 94
 95
 96
 97
 98
 99
100
101
102
#include<bits/stdc++.h>
#define fi first
#define se second
using namespace std;
const int N=1e5;
vector<int> e[N+10];
bool ci[N+10];
bool co[N+10];
bool solve()
{
	int n;
	cin>>n;
	for(int i=1;i<=n;i++)
	{
		e[i].clear();
	}
	for(auto j:{ci,co})
	{
		for(int i=1;i<=n;i++)
		{
			char cc;
			cin>>cc;
			j[i]=(cc=='1');
		}
	}
	for(int i=1;i<n;i++)
	{
		int a,b;
		cin>>a>>b;
		e[a].push_back(b);
		e[b].push_back(a);
	}
	if(n==1)
		return (ci[1]==co[1]);
	vector<int> leaves;
	for(int i=1;i<=n;i++)
	{
		if(e[i].size()==1)
			leaves.push_back(i);
	}
	if(leaves.size()==2)
	{
		int cnti[2]={0,0},cnto[2]={0,0};
		int x=leaves[0],p=-1;
		while(true)
		{
			if(p==-1 || ci[x]!=ci[p])
				cnti[ci[x]]++;
			if(p==-1 || co[x]!=co[p])
				cnto[co[x]]++;
			if(e[x].size()==1 && p!=-1)
				break;
			int v=(e[x][0]==p ? e[x][1]:e[x][0]);
			p=x;
			x=v;
		}
		return (cnti[0]>=cnto[0] && cnti[1]>=cnto[1] 
				&& (cnti[0]+cnti[1]>cnto[0]+cnto[1] || ci[leaves[0]]==co[leaves[0]]));
	}
	bool xd=true;
	for(int i=1;i<=n;i++)
	{
		for(auto v:e[i])
		{
			if(co[v]!=co[e[i][0]])
				xd=false;
		}
	}
	if(xd)
	{
		if(co[1]==co[e[1][0]])
		{
			for(int i=1;i<=n;i++)
			{
				if(ci[i]==co[1])
					return true;
			}
			return false;
		}
		for(int i=1;i<=n;i++)
		{
			if(ci[i]!=co[i])
				return false;
		}
		return true;
	}
	bool xdi[2]={false,false};
	for(int i=1;i<=n;i++)
		xdi[ci[i]]=true;
	return (xdi[0] && xdi[1]);
}
int main()
{
	ios_base::sync_with_stdio(false);
	cin.tie(NULL);
	cout.tie(NULL);
	int q;
	cin>>q;
	while(q--)
		cout<<(solve() ? "TAK":"NIE")<<"\n";
	return 0;
}