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