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