#include <bits/stdc++.h>
using namespace std;

#include <atcoder/dsu>

#include "testlib.h"

int main() {
	registerValidation();
	int n = inf.readInt(3, 3000);
	inf.readSpace();
	int k = inf.readInt(3, n);
	inf.readEoln();
	set<pair<int, int>> st;
	for(int i = 0; i < n; i++) {
		int x = inf.readInt(-1000000000, 1000000000);
		inf.readSpace();
		int y = inf.readInt(-1000000000, 1000000000);
		inf.readSpace();
		int c = inf.readInt(1, 2);
		inf.readEoln();
		st.insert({x, y});
	}
	ensure(st.size() == n);
	inf.readEof();
	return 0;
}