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