在实现程序自动分析的过程中，常常需要判定一些约束条件是否能被同时满足。

考虑一个约束满足问题的简化版本：假设$x_1$,$x_2$,$x_3$...代表程序中出现的变量，给定$\text{n}$个形如$x_i=x_j$或$x_i≠x_j$的变量相等/不等的约束条件，请判定是否可以分别为每一个变量赋予恰当的值，使得上述所有约束条件同时被满足。例如，一个问题中的约束条件为：$x_1=x_2$,$x_2=x_3$,$x_3=x_4$,$x_4≠x_1$，这些约束条件显然是不可能同时被满足的，因此这个问题应判定为不可被满足。

现在给出一些约束满足问题，请分别对它们进行判定。

输入文件的第$1$行包含$1$个正整数$\text{t}$，表示需要判定的问题个数。注意这些问题之间是相互独立的。

对于每个问题，包含若干行：

第$1$行包含$1$个正整数$\text{n}$，表示该问题中需要被满足的约束条件个数。接下来$\text{n}$行，每行包括$3$个整数$\text{i,j,e}$，描述$1$个相等/不等的约束条件，相邻整数之间用单个空格隔开。若$\text{e=1}$，则该约束条件为$x_i=x_j$；若$\text{e=0}$，则该约束条件为$x_i≠x_j$；

输出文件包括$\text{t}$行。

输出文件的第 $\text{k}$行输出一个字符串“$\text{YES}$” 或者“$\text{NO}$”（不包含引号，字母全部大写），“$\text{YES}$” 表示输入中的第$\text{k}$个问题判定为可以被满足，“$\text{NO}$” 表示不可被满足。

------------------------------------------------------------

#include <cstdio>

#include <algorithm>

using namespace std;

const int N = 1e6 + 5;

int t, n, tot, cnt;

int fa[N << 1], a[N << 1], temp[N << 1];

struct node {

	int x, y;

	bool z;

} ask[N];//存储查询 

inline int get (int x) {

	if (x == fa[x]) return x;

	return fa[x] = get(fa[x]);

}

inline void merge (int x, int y) {

	fa[get(x)] = get(y);

}

inline bool tmp (node g, node h) {

	return g.z > h.z;

}

inline void solve () {

	scanf("%d", &n);

	tot = cnt = 0;

	for (int i = 1; i <= n * 2; i++) fa[i] = i;//数组大小一定要开两倍啊

	for (int i = 1; i <= n; i++) {

		scanf("%d%d%d", &ask[i].x, &ask[i].y, &ask[i].z);

		temp[++tot] = ask[i].x;

		temp[++tot] = ask[i].y;

	}

	sort(temp + 1, temp + tot + 1);

	sort(ask + 1, ask + n + 1, tmp);//对查询排序,保证优先处理相等变量之间的关系

	a[++cnt] = temp[1];

	for (int i = 2; i <= tot; i++) {

		if (temp[i] != temp[i - 1]) a[++cnt] = temp[i];

	}//离散化输入的变量

	for (int i = 1; i <= n; i++) {

		int xx = lower_bound(a + 1, a + cnt + 1, ask[i].x) - a;

		int yy = lower_bound(a + 1, a + cnt + 1, ask[i].y) - a;

		if (ask[i].z) merge(xx, yy);

		else {

			if (get(xx) == get(yy)) {

				printf("NO\n");

				return;

			}//如果前面满足相等关系但是这里又满足不等关系,无解

		}

	}

	printf("YES\n");

}

int main () {

	scanf("%d", &t);

	while (t--) solve();

	return 0;

}