20 15
1 0 1
3 0 1
5 2 1
6 2 1
8 2 1
9 4 1
11 4 1
12 7 1
12 7 1
12 10 1
13 10 1
15 14 1
17 14 1
18 16 1
19 16 1