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