INPUT：

2 10000
0 0 1
1 1 1

OUTPUT：

2

数据来自AcWing