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