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