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