4 0
4 1 23
4 2 02 13
4 2 12 13
4 2 12 23
4 2 13 23
4 3 01 02 03
4 3 01 02 23
4 3 01 12 13
4 3 01 12 23
4 3 02 03 12
4 3 02 12 23
4 3 03 12 23
4 3 03 13 23
4 4 01 02 13 23
4 4 02 03 12 13