20
1 1 2 2 3 3 3 3 4 4 6 6 10 10 10 10 11 11 11 11
1 1 1 2 2 2 3 3 3 4 5 7 10 11 11 11 12 12 12 12
8
3 1 2 4
3 1 2 3
1 5
2 1 7
2 2 5
3 1 11 12
2 7 11
1 19