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