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