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