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