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