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