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