Identifier
-
Mp00251:
Graphs
—clique sizes⟶
Integer partitions
Mp00095: Integer partitions —to binary word⟶ Binary words
Mp00105: Binary words —complement⟶ Binary words
St000288: Binary words ⟶ ℤ
Values
([],1) => [1] => 10 => 01 => 1
([],2) => [1,1] => 110 => 001 => 1
([(0,1)],2) => [2] => 100 => 011 => 2
([],3) => [1,1,1] => 1110 => 0001 => 1
([(1,2)],3) => [2,1] => 1010 => 0101 => 2
([(0,2),(1,2)],3) => [2,2] => 1100 => 0011 => 2
([(0,1),(0,2),(1,2)],3) => [3] => 1000 => 0111 => 3
([],4) => [1,1,1,1] => 11110 => 00001 => 1
([(2,3)],4) => [2,1,1] => 10110 => 01001 => 2
([(1,3),(2,3)],4) => [2,2,1] => 11010 => 00101 => 2
([(0,3),(1,3),(2,3)],4) => [2,2,2] => 11100 => 00011 => 2
([(0,3),(1,2)],4) => [2,2] => 1100 => 0011 => 2
([(0,3),(1,2),(2,3)],4) => [2,2,2] => 11100 => 00011 => 2
([(1,2),(1,3),(2,3)],4) => [3,1] => 10010 => 01101 => 3
([(0,3),(1,2),(1,3),(2,3)],4) => [3,2] => 10100 => 01011 => 3
([(0,2),(0,3),(1,2),(1,3)],4) => [2,2,2,2] => 111100 => 000011 => 2
([(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [3,3] => 11000 => 00111 => 3
([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 10000 => 01111 => 4
([],5) => [1,1,1,1,1] => 111110 => 000001 => 1
([(3,4)],5) => [2,1,1,1] => 101110 => 010001 => 2
([(2,4),(3,4)],5) => [2,2,1,1] => 110110 => 001001 => 2
([(1,4),(2,4),(3,4)],5) => [2,2,2,1] => 111010 => 000101 => 2
([(0,4),(1,4),(2,4),(3,4)],5) => [2,2,2,2] => 111100 => 000011 => 2
([(1,4),(2,3)],5) => [2,2,1] => 11010 => 00101 => 2
([(1,4),(2,3),(3,4)],5) => [2,2,2,1] => 111010 => 000101 => 2
([(0,1),(2,4),(3,4)],5) => [2,2,2] => 11100 => 00011 => 2
([(2,3),(2,4),(3,4)],5) => [3,1,1] => 100110 => 011001 => 3
([(0,4),(1,4),(2,3),(3,4)],5) => [2,2,2,2] => 111100 => 000011 => 2
([(1,4),(2,3),(2,4),(3,4)],5) => [3,2,1] => 101010 => 010101 => 3
([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => [3,2,2] => 101100 => 010011 => 3
([(1,3),(1,4),(2,3),(2,4)],5) => [2,2,2,2,1] => 1111010 => 0000101 => 2
([(0,4),(1,2),(1,3),(2,4),(3,4)],5) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [3,3,1] => 110010 => 001101 => 3
([(0,4),(1,3),(2,3),(2,4),(3,4)],5) => [3,2,2] => 101100 => 010011 => 3
([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [3,3,2] => 110100 => 001011 => 3
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [3,3,3] => 111000 => 000111 => 3
([(0,4),(1,3),(2,3),(2,4)],5) => [2,2,2,2] => 111100 => 000011 => 2
([(0,1),(2,3),(2,4),(3,4)],5) => [3,2] => 10100 => 01011 => 3
([(0,3),(1,2),(1,4),(2,4),(3,4)],5) => [3,2,2] => 101100 => 010011 => 3
([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5) => [3,3] => 11000 => 00111 => 3
([(0,3),(0,4),(1,2),(1,4),(2,3)],5) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) => [3,2,2,2] => 1011100 => 0100011 => 3
([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5) => [3,3,3] => 111000 => 000111 => 3
([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5) => [3,3,2] => 110100 => 001011 => 3
([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [4,1] => 100010 => 011101 => 4
([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [4,2] => 100100 => 011011 => 4
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [4,3] => 101000 => 010111 => 4
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [4,4] => 110000 => 001111 => 4
([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [5] => 100000 => 011111 => 5
([],6) => [1,1,1,1,1,1] => 1111110 => 0000001 => 1
([(4,5)],6) => [2,1,1,1,1] => 1011110 => 0100001 => 2
([(3,5),(4,5)],6) => [2,2,1,1,1] => 1101110 => 0010001 => 2
([(2,5),(3,5),(4,5)],6) => [2,2,2,1,1] => 1110110 => 0001001 => 2
([(1,5),(2,5),(3,5),(4,5)],6) => [2,2,2,2,1] => 1111010 => 0000101 => 2
([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(2,5),(3,4)],6) => [2,2,1,1] => 110110 => 001001 => 2
([(2,5),(3,4),(4,5)],6) => [2,2,2,1,1] => 1110110 => 0001001 => 2
([(1,2),(3,5),(4,5)],6) => [2,2,2,1] => 111010 => 000101 => 2
([(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 1001110 => 0110001 => 3
([(1,5),(2,5),(3,4),(4,5)],6) => [2,2,2,2,1] => 1111010 => 0000101 => 2
([(0,1),(2,5),(3,5),(4,5)],6) => [2,2,2,2] => 111100 => 000011 => 2
([(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1,1] => 1010110 => 0101001 => 3
([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2,1] => 1011010 => 0100101 => 3
([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1011100 => 0100011 => 3
([(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,1,1] => 11110110 => 00001001 => 2
([(0,5),(1,5),(2,4),(3,4)],6) => [2,2,2,2] => 111100 => 000011 => 2
([(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,1] => 11111010 => 00000101 => 2
([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,1,1] => 1100110 => 0011001 => 3
([(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,1] => 1011010 => 0100101 => 3
([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,1] => 1101010 => 0010101 => 3
([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1011100 => 0100011 => 3
([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0010011 => 3
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2,1] => 111111010 => 000000101 => 2
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,1] => 1110010 => 0001101 => 3
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,5),(1,4),(2,3)],6) => [2,2,2] => 11100 => 00011 => 2
([(1,5),(2,4),(3,4),(3,5)],6) => [2,2,2,2,1] => 1111010 => 0000101 => 2
([(0,1),(2,5),(3,4),(4,5)],6) => [2,2,2,2] => 111100 => 000011 => 2
([(1,2),(3,4),(3,5),(4,5)],6) => [3,2,1] => 101010 => 010101 => 3
([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(1,4),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,2,1] => 1011010 => 0100101 => 3
([(0,1),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2] => 101100 => 010011 => 3
([(0,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,2,2] => 1011100 => 0100011 => 3
([(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,3,1] => 110010 => 001101 => 3
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,3,2] => 110100 => 001011 => 3
([(1,4),(1,5),(2,3),(2,5),(3,4)],6) => [2,2,2,2,2,1] => 11111010 => 00000101 => 2
([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2,1] => 10111010 => 01000101 => 3
([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,2,1] => 1101010 => 0010101 => 3
>>> Load all 941 entries. <<<([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1011100 => 0100011 => 3
([(0,5),(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0010011 => 3
([(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,1] => 1110010 => 0001101 => 3
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(0,1),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(0,5),(1,5),(2,3),(2,4),(3,4)],6) => [3,2,2] => 101100 => 010011 => 3
([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6) => [3,2,2,2] => 1011100 => 0100011 => 3
([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1011100 => 0100011 => 3
([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2] => 110100 => 001011 => 3
([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,2,2] => 1011100 => 0100011 => 3
([(0,3),(0,4),(1,2),(1,5),(2,5),(3,5),(4,5)],6) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2] => 110100 => 001011 => 3
([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3] => 111000 => 000111 => 3
([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 1000110 => 0111001 => 4
([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0010011 => 3
([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,1] => 1001010 => 0110101 => 4
([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2] => 1001100 => 0110011 => 4
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(0,3),(0,5),(1,3),(1,5),(2,4),(2,5),(3,4),(4,5)],6) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,5),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,1] => 1010010 => 0101101 => 4
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2] => 1001100 => 0110011 => 4
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,2] => 1010100 => 0101011 => 4
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3] => 1011000 => 0100111 => 4
([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,1] => 11011010 => 00100101 => 3
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,3,3,1] => 11110010 => 00001101 => 3
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(0,5),(1,2),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,1),(0,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,5),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,1),(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,4),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,5),(1,2),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,1] => 1100010 => 0011101 => 4
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,2] => 1010100 => 0101011 => 4
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,2] => 1100100 => 0011011 => 4
([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3] => 1011000 => 0100111 => 4
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,3] => 1101000 => 0010111 => 4
([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,4] => 1110000 => 0001111 => 4
([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6) => [3,3] => 11000 => 00111 => 3
([(0,2),(1,4),(1,5),(2,3),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6) => [3,3,2] => 110100 => 001011 => 3
([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2] => 100100 => 011011 => 4
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,3] => 111000 => 000111 => 3
([(0,1),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2] => 1001100 => 0110011 => 4
([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3] => 101000 => 010111 => 4
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,3),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,2] => 1010100 => 0101011 => 4
([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2,2] => 10011100 => 01100011 => 4
([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3] => 1011000 => 0100111 => 4
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4] => 110000 => 001111 => 4
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4)],6) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,3),(0,4),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,4] => 1110000 => 0001111 => 4
([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3] => 1011000 => 0100111 => 4
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,3] => 1101000 => 0010111 => 4
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,2] => 1100100 => 0011011 => 4
([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [5,1] => 1000010 => 0111101 => 5
([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [5,2] => 1000100 => 0111011 => 5
([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [5,3] => 1001000 => 0110111 => 5
([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [5,4] => 1010000 => 0101111 => 5
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [4,4,2,2] => 11001100 => 00110011 => 4
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,4,4] => 11110000 => 00001111 => 4
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [5,5] => 1100000 => 0011111 => 5
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [6] => 1000000 => 0111111 => 6
([],7) => [1,1,1,1,1,1,1] => 11111110 => 00000001 => 1
([(5,6)],7) => [2,1,1,1,1,1] => 10111110 => 01000001 => 2
([(4,6),(5,6)],7) => [2,2,1,1,1,1] => 11011110 => 00100001 => 2
([(3,6),(4,6),(5,6)],7) => [2,2,2,1,1,1] => 11101110 => 00010001 => 2
([(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,1,1] => 11110110 => 00001001 => 2
([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,1] => 11111010 => 00000101 => 2
([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(3,6),(4,5)],7) => [2,2,1,1,1] => 1101110 => 0010001 => 2
([(3,6),(4,5),(5,6)],7) => [2,2,2,1,1,1] => 11101110 => 00010001 => 2
([(2,3),(4,6),(5,6)],7) => [2,2,2,1,1] => 1110110 => 0001001 => 2
([(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 10011110 => 01100001 => 3
([(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,1,1] => 11110110 => 00001001 => 2
([(1,2),(3,6),(4,6),(5,6)],7) => [2,2,2,2,1] => 1111010 => 0000101 => 2
([(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1,1] => 10101110 => 01010001 => 3
([(1,6),(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,1] => 11111010 => 00000101 => 2
([(0,1),(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,1,1] => 10110110 => 01001001 => 3
([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01000101 => 3
([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,1,1,1] => 111101110 => 000010001 => 2
([(1,6),(2,6),(3,5),(4,5)],7) => [2,2,2,2,1] => 1111010 => 0000101 => 2
([(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,1,1] => 111110110 => 000001001 => 2
([(1,6),(2,6),(3,4),(4,5),(5,6)],7) => [2,2,2,2,2,1] => 11111010 => 00000101 => 2
([(0,6),(1,6),(2,6),(3,5),(4,5)],7) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1,1,1] => 11001110 => 00110001 => 3
([(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,1,1] => 10110110 => 01001001 => 3
([(1,6),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,1] => 11111010 => 00000101 => 2
([(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 111111010 => 000000101 => 2
([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,1,1] => 11010110 => 00101001 => 3
([(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01000101 => 3
([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 00100101 => 3
([(0,6),(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,1,1] => 1111110110 => 0000001001 => 2
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,1] => 111111010 => 000000101 => 2
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,1] => 1111111010 => 0000000101 => 2
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,1,1] => 11100110 => 00011001 => 3
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 00100101 => 3
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101010 => 00010101 => 3
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,2,1] => 11111111010 => 00000000101 => 2
([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,1] => 11110010 => 00001101 => 3
([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(1,6),(2,5),(3,4)],7) => [2,2,2,1] => 111010 => 000101 => 2
([(2,6),(3,5),(4,5),(4,6)],7) => [2,2,2,2,1,1] => 11110110 => 00001001 => 2
([(1,2),(3,6),(4,5),(5,6)],7) => [2,2,2,2,1] => 1111010 => 0000101 => 2
([(0,3),(1,2),(4,6),(5,6)],7) => [2,2,2,2] => 111100 => 000011 => 2
([(2,3),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1010110 => 0101001 => 3
([(1,6),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,1] => 11111010 => 00000101 => 2
([(0,1),(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,1,1] => 10110110 => 01001001 => 3
([(1,2),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,1] => 1011010 => 0100101 => 3
([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(1,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01000101 => 3
([(0,1),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1011100 => 0100011 => 3
([(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,1,1] => 1100110 => 0011001 => 3
([(0,6),(1,6),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,1] => 1101010 => 0010101 => 3
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [2,2,2,2,2,1,1] => 111110110 => 000001001 => 2
([(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 111111010 => 000000101 => 2
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1,1] => 101110110 => 010001001 => 3
([(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 111111010 => 000000101 => 2
([(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,1,1] => 11010110 => 00101001 => 3
([(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01000101 => 3
([(0,6),(1,6),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 101111010 => 010000101 => 3
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 00100101 => 3
([(0,6),(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,1,1] => 11100110 => 00011001 => 3
([(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,6),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101010 => 00010101 => 3
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(1,6),(2,5),(3,4),(3,5),(4,6)],7) => [2,2,2,2,2,1] => 11111010 => 00000101 => 2
([(1,2),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,1] => 11111010 => 00000101 => 2
([(0,6),(1,5),(2,4),(3,4),(5,6)],7) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(1,6),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2,1] => 1011010 => 0100101 => 3
([(1,5),(2,3),(2,4),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 111111010 => 000000101 => 2
([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6)],7) => [3,2,2,2,1] => 10111010 => 01000101 => 3
([(0,6),(1,3),(2,3),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1011100 => 0100011 => 3
([(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01000101 => 3
([(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,1] => 1101010 => 0010101 => 3
([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(0,1),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1011100 => 0100011 => 3
([(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01000101 => 3
([(0,5),(1,6),(2,3),(2,4),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 101111010 => 010000101 => 3
([(0,5),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 00100101 => 3
([(0,6),(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,1] => 1101010 => 0010101 => 3
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,1] => 1110010 => 0001101 => 3
([(0,6),(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2,2] => 1011100 => 0100011 => 3
([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 10001110 => 01110001 => 4
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 00100101 => 3
([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1,1] => 10010110 => 01101001 => 4
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,1] => 10011010 => 01100101 => 4
([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 10011100 => 01100011 => 4
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,1] => 1111111010 => 0000000101 => 2
([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2,1] => 1011111010 => 0100000101 => 3
([(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101010 => 00010101 => 3
([(0,6),(1,5),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101010 => 00010101 => 3
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,1] => 110111010 => 001000101 => 3
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,1] => 11110010 => 00001101 => 3
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,1] => 110111010 => 001000101 => 3
([(0,6),(1,6),(2,3),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,1,1] => 10100110 => 01011001 => 4
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,1] => 10011010 => 01100101 => 4
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,1] => 10101010 => 01010101 => 4
([(0,6),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 10011100 => 01100011 => 4
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2,2,2,2] => 10111111100 => 01000000011 => 3
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,1] => 10110010 => 01001101 => 4
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,2,1] => 1111111010 => 0000000101 => 2
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,1,1] => 110110110 => 001001001 => 3
([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,1] => 110111010 => 001000101 => 3
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,1,1] => 111100110 => 000011001 => 3
([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,1] => 111101010 => 000010101 => 3
([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7) => [2,2,2,2,2,2,1] => 111111010 => 000000101 => 2
([(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2,2,1] => 1111111010 => 0000000101 => 2
([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 101111010 => 010000101 => 3
([(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 101111010 => 010000101 => 3
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,1] => 11011010 => 00100101 => 3
([(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2,1] => 101111010 => 010000101 => 3
([(0,4),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,1] => 110111010 => 001000101 => 3
([(0,6),(1,2),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,6),(1,4),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,6),(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101010 => 00010101 => 3
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 00100101 => 3
([(0,6),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,1] => 11110010 => 00001101 => 3
([(0,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(0,4),(1,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,4),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,3] => 1111000 => 0000111 => 3
([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,2,1] => 11111111010 => 00000000101 => 2
([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2,1] => 110111010 => 001000101 => 3
([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,1] => 111011010 => 000100101 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,1] => 111110010 => 000001101 => 3
([(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,5),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,3),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,5),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,3),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,5),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,1] => 111101010 => 000010101 => 3
([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,1,1] => 11000110 => 00111001 => 4
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,1] => 11001010 => 00110101 => 4
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 11001100 => 00110011 => 4
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,1] => 111011010 => 000100101 => 3
([(0,5),(1,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,1] => 10101010 => 01010101 => 4
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,1] => 11110010 => 00001101 => 3
([(0,6),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 10011100 => 01100011 => 4
([(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,1] => 10110010 => 01001101 => 4
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,6),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,1] => 11010010 => 00101101 => 4
([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 11001100 => 00110011 => 4
([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 11010100 => 00101011 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2,2,2,2] => 10111111100 => 01000000011 => 3
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,3,1] => 1111110010 => 0000001101 => 3
([(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,5),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,1] => 11100010 => 00011101 => 4
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 11010100 => 00101011 => 4
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2] => 11100100 => 00011011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 11101000 => 00010111 => 4
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4] => 11110000 => 00001111 => 4
([(0,1),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2] => 1111100 => 0000011 => 2
([(0,3),(1,2),(4,5),(4,6),(5,6)],7) => [3,2,2] => 101100 => 010011 => 3
([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(0,1),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1011100 => 0100011 => 3
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2] => 110100 => 001011 => 3
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,3] => 111000 => 000111 => 3
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [2,2,2,2,2,2] => 11111100 => 00000011 => 2
([(0,6),(1,5),(2,3),(2,4),(3,4),(5,6)],7) => [3,2,2,2] => 1011100 => 0100011 => 3
([(0,6),(1,4),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(0,4),(1,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,1),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(0,6),(1,4),(2,3),(2,5),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,5),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,5),(1,4),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,4),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,1),(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,4),(1,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,1),(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,3),(1,5),(1,6),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111000 => 0000111 => 3
([(1,5),(1,6),(2,3),(2,4),(3,4),(5,6)],7) => [3,3,1] => 110010 => 001101 => 3
([(1,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 00100101 => 3
([(0,1),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,2,1] => 1101010 => 0010101 => 3
([(0,6),(1,2),(1,3),(2,3),(4,5),(4,6),(5,6)],7) => [3,3,2] => 110100 => 001011 => 3
([(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1001010 => 0110101 => 4
([(0,6),(1,2),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,1] => 1110010 => 0001101 => 3
([(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,1] => 10011010 => 01100101 => 4
([(0,1),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2] => 1001100 => 0110011 => 4
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,6),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 10011100 => 01100011 => 4
([(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,1] => 1010010 => 0101101 => 4
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2] => 1010100 => 0101011 => 4
([(0,5),(1,3),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,1),(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,4),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,5),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,3),(1,5),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,4),(1,5),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,2,2,1] => 11011010 => 00100101 => 3
([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101010 => 00010101 => 3
([(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,1] => 10101010 => 01010101 => 4
([(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,1] => 11110010 => 00001101 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,6),(1,3),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,1] => 10110010 => 01001101 => 4
([(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,1),(0,6),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,5),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 10011100 => 01100011 => 4
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2] => 1010100 => 0101011 => 4
([(0,6),(1,2),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3] => 111000 => 000111 => 3
([(0,1),(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2] => 1010100 => 0101011 => 4
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3] => 1011000 => 0100111 => 4
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,1] => 11110010 => 00001101 => 3
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,1] => 1100010 => 0011101 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2] => 1100100 => 0011011 => 4
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 1101000 => 0010111 => 4
([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 000000011 => 2
([(0,3),(1,4),(1,5),(2,4),(2,6),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,1),(0,3),(1,2),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,6),(1,2),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,6),(1,2),(1,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,3),(1,2),(1,5),(2,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,6),(1,2),(1,6),(2,4),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,3),(0,6),(1,2),(1,6),(2,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,5),(1,3),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,1),(0,6),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,4),(0,6),(1,3),(1,6),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,5),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,2,2,2,2,1] => 1011111010 => 0100000101 => 3
([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,1] => 110111010 => 001000101 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,1] => 111011010 => 000100101 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,1] => 111110010 => 000001101 => 3
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2,2,2] => 10111111100 => 01000000011 => 3
([(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5)],7) => [3,2,2,2,2,2,2,2] => 10111111100 => 01000000011 => 3
([(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [3,3,2,2,2,1] => 110111010 => 001000101 => 3
([(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,1] => 111101010 => 000010101 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,1] => 111110010 => 000001101 => 3
([(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,1] => 101110010 => 010001101 => 4
([(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 101110100 => 010001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => [3,2,2,2,2,2,2,2] => 10111111100 => 01000000011 => 3
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,1] => 11001010 => 00110101 => 4
([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,1] => 10110010 => 01001101 => 4
([(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,2,2,1] => 101011010 => 010100101 => 4
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 11001100 => 00110011 => 4
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,1] => 11010010 => 00101101 => 4
([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 11010100 => 00101011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,5),(0,6),(1,2),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 101110100 => 010001011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 101111000 => 010000111 => 4
([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 11010100 => 00101011 => 4
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 11010100 => 00101011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,5),(0,6),(1,2),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,1] => 11100010 => 00011101 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2] => 11100100 => 00011011 => 4
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 11101000 => 00010111 => 4
([(0,3),(0,4),(1,2),(1,5),(2,5),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 010000011 => 3
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,1),(0,6),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2,2,2] => 10111111100 => 01000000011 => 3
([(0,4),(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,1),(0,6),(1,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,2),(0,3),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,4),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,1),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,3),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,5),(0,6),(1,2),(1,5),(2,3),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,4),(1,3),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,4),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,3),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,4),(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,4),(0,6),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,1),(0,5),(1,5),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2] => 1100100 => 0011011 => 4
([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 11001100 => 00110011 => 4
([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3] => 1011000 => 0100111 => 4
([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 1101000 => 0010111 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 101111000 => 010000111 => 4
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 11010100 => 00101011 => 4
([(0,4),(0,5),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2] => 1100100 => 0011011 => 4
([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 1101000 => 0010111 => 4
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4] => 1110000 => 0001111 => 4
([(0,5),(0,6),(1,2),(1,3),(2,3),(4,5),(4,6)],7) => [3,2,2,2,2] => 10111100 => 01000011 => 3
([(0,3),(1,3),(1,4),(2,5),(2,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2] => 1001100 => 0110011 => 4
([(0,6),(1,2),(1,4),(2,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,2,2] => 1101100 => 0010011 => 3
([(0,1),(0,2),(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3] => 111000 => 000111 => 3
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5)],7) => [3,3,2,2,2] => 11011100 => 00100011 => 3
([(0,2),(1,2),(1,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 10011100 => 01100011 => 4
([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,5),(1,3),(1,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,2,2] => 10011100 => 01100011 => 4
([(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,3,2] => 1010100 => 0101011 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,3,3] => 1011000 => 0100111 => 4
([(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 10000110 => 01111001 => 5
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 11001100 => 00110011 => 4
([(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,2,1] => 10001010 => 01110101 => 5
([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,2,2] => 10001100 => 01110011 => 5
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 11010100 => 00101011 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,1] => 10010010 => 01101101 => 5
([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,2,2] => 10001100 => 01110011 => 5
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,2] => 10010100 => 01101011 => 5
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,3] => 10011000 => 01100111 => 5
([(0,3),(0,5),(0,6),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3,3] => 1011111000 => 0100000111 => 4
([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2] => 11100100 => 00011011 => 4
([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 11101000 => 00010111 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2] => 11100100 => 00011011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 11101000 => 00010111 => 4
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 101111000 => 010000111 => 4
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4] => 11110000 => 00001111 => 4
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,5),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,3),(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,5),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,3,3,2] => 101110100 => 010001011 => 4
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,3,3,3] => 101111000 => 010000111 => 4
([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,1] => 101101010 => 010010101 => 4
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,3,3,1] => 1111110010 => 0000001101 => 3
([(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,3,3,1] => 110110010 => 001001101 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,3,3,2] => 110110100 => 001001011 => 4
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,4,2,2] => 11001100 => 00110011 => 4
([(0,5),(0,6),(1,2),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,5),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,3,2] => 11010100 => 00101011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 101110100 => 010001011 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [4,4,3,3,2] => 110110100 => 001001011 => 4
([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,1] => 10100010 => 01011101 => 5
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,2] => 10010100 => 01101011 => 5
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,2] => 10100100 => 01011011 => 5
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,3] => 10011000 => 01100111 => 5
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3] => 10101000 => 01010111 => 5
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4] => 10110000 => 01001111 => 5
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,2] => 110110100 => 001001011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 101110100 => 010001011 => 4
([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4,1] => 111100010 => 000011101 => 4
([(0,4),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,2,2,2,2,2] => 1011111100 => 0100000011 => 3
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,3),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,4),(0,6),(1,2),(1,5),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 101110100 => 010001011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 101111000 => 010000111 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6)],7) => [3,2,2,2,2,2,2,2] => 10111111100 => 01000000011 => 3
([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,3,2,2,2] => 111011100 => 000100011 => 3
([(0,5),(0,6),(1,2),(1,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,1),(0,4),(0,6),(1,2),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,2),(0,3),(1,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,3),(0,5),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,1),(0,2),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 101111000 => 010000111 => 4
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 101111000 => 010000111 => 4
([(0,1),(0,2),(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 101110100 => 010001011 => 4
([(0,4),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2] => 11100100 => 00011011 => 4
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 11101000 => 00010111 => 4
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,3),(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 101111000 => 010000111 => 4
([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 11001100 => 00110011 => 4
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4] => 11110000 => 00001111 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,5),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,2] => 110110100 => 001001011 => 4
([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,3,3,3,2] => 101110100 => 010001011 => 4
([(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4,4] => 111110000 => 000001111 => 4
([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,1] => 11000010 => 00111101 => 5
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,2] => 10100100 => 01011011 => 5
([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,2] => 11000100 => 00111011 => 5
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,3] => 10011000 => 01100111 => 5
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3] => 10101000 => 01010111 => 5
([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,3] => 11001000 => 00110111 => 5
([(0,1),(0,2),(0,5),(1,4),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,3,3,3,3,3] => 1011111000 => 0100000111 => 4
([(0,3),(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [4,3,3,3,3,2] => 1011110100 => 0100001011 => 4
([(0,2),(0,4),(0,5),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,2] => 110110100 => 001001011 => 4
([(0,4),(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3,3] => 1011111000 => 0100000111 => 4
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 11101000 => 00010111 => 4
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4] => 11110000 => 00001111 => 4
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4] => 10110000 => 01001111 => 5
([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,4] => 11010000 => 00101111 => 5
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,5] => 11100000 => 00011111 => 5
([(0,4),(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,3,3,2] => 1110100 => 0001011 => 3
([(0,1),(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3] => 101000 => 010111 => 4
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111000 => 0000111 => 3
([(0,1),(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,3,2] => 1010100 => 0101011 => 4
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3] => 1011000 => 0100111 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,4] => 110000 => 001111 => 4
([(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,3),(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,4),(0,5),(1,2),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,2),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 11010100 => 00101011 => 4
([(0,3),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,2),(0,6),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,6),(4,5),(5,6)],7) => [3,3,3,2,2] => 11101100 => 00010011 => 3
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [4,3,2,2] => 10101100 => 01010011 => 4
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110100 => 00001011 => 3
([(0,3),(0,6),(1,2),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,3] => 1011000 => 0100111 => 4
([(0,1),(0,2),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,3),(0,5),(1,2),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 1101000 => 0010111 => 4
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 11001100 => 00110011 => 4
([(0,1),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,2] => 1000100 => 0111011 => 5
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 1101000 => 0010111 => 4
([(0,1),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,2,2] => 10001100 => 01110011 => 5
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3] => 1001000 => 0110111 => 5
([(0,1),(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 1101000 => 0010111 => 4
([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 101111000 => 010000111 => 4
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4] => 1110000 => 0001111 => 4
([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,4,3,2] => 11010100 => 00101011 => 4
([(0,1),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,2] => 10010100 => 01101011 => 5
([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,3] => 10011000 => 01100111 => 5
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4] => 1010000 => 0101111 => 5
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,3,3,2] => 10110100 => 01001011 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,1),(0,4),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 101110100 => 010001011 => 4
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 101111000 => 010000111 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,1),(0,3),(0,4),(1,2),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111101100 => 000010011 => 3
([(0,1),(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110100 => 000001011 => 3
([(0,1),(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111000 => 00000111 => 3
([(0,1),(0,2),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 101110100 => 010001011 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [4,3,3,3] => 10111000 => 01000111 => 4
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,3,3,3] => 111111000 => 000000111 => 3
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [4,3,3,3,3] => 101111000 => 010000111 => 4
([(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 11010100 => 00101011 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 11101000 => 00010111 => 4
([(0,3),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,2] => 10100100 => 01011011 => 5
([(0,3),(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 11101000 => 00010111 => 4
([(0,3),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3] => 10101000 => 01010111 => 5
([(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3,3] => 1011111000 => 0100000111 => 4
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4] => 11110000 => 00001111 => 4
([(0,1),(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [4,4,3,3,2] => 110110100 => 001001011 => 4
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4] => 10110000 => 01001111 => 5
([(0,1),(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 11011000 => 00100111 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,4,4] => 11110000 => 00001111 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5] => 1100000 => 0011111 => 5
([(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3,3] => 1011111000 => 0100000111 => 4
([(0,1),(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,2] => 110110100 => 001001011 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4,4] => 111110000 => 000001111 => 4
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [4,3,3,2,2] => 101101100 => 010010011 => 4
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,3,3,3,3,2] => 1011110100 => 0100001011 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4,4] => 111110000 => 000001111 => 4
([(0,1),(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4,4] => 101110000 => 010001111 => 5
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,5] => 11100000 => 00011111 => 5
([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,4,4,3,2] => 111010100 => 000101011 => 4
([(0,2),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3,3] => 101011000 => 010100111 => 5
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4] => 10110000 => 01001111 => 5
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,4] => 11010000 => 00101111 => 5
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3] => 10101000 => 01010111 => 5
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,3] => 11001000 => 00110111 => 5
([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,2] => 11000100 => 00111011 => 5
([(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,1] => 10000010 => 01111101 => 6
([(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,2] => 10000100 => 01111011 => 6
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,3] => 10001000 => 01110111 => 6
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,4] => 10010000 => 01101111 => 6
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,5] => 10100000 => 01011111 => 6
([(0,1),(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3,2] => 101010100 => 010101011 => 5
([(0,1),(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4,3] => 101101000 => 010010111 => 5
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,5,5] => 111100000 => 000011111 => 5
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,6] => 11000000 => 00111111 => 6
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [7] => 10000000 => 01111111 => 7
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Generating function
click to show known generating functions
Search the OEIS for these generating functions
Search the Online Encyclopedia of Integer
Sequences for the coefficients of a few of the
first generating functions, in the case at hand:
1,1 1,2,1 1,6,3,1 1,13,15,4,1
$F_{1} = q$
$F_{2} = q + q^{2}$
$F_{3} = q + 2\ q^{2} + q^{3}$
$F_{4} = q + 6\ q^{2} + 3\ q^{3} + q^{4}$
$F_{5} = q + 13\ q^{2} + 15\ q^{3} + 4\ q^{4} + q^{5}$
Description
The number of ones in a binary word.
This is also known as the Hamming weight of the word.
This is also known as the Hamming weight of the word.
Map
to binary word
Description
Return the partition as binary word, by traversing its shape from the first row to the last row, down steps as 1 and left steps as 0.
Map
complement
Description
Send a binary word to the word obtained by interchanging the two letters.
Map
clique sizes
Description
The integer partition of the sizes of the maximal cliques of a graph.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!