4 2
0 0 1
1 0 1
0 1 1
1 1 1
1 2 3
2 3 4
10