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