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