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