Identifier
-
Mp00251:
Graphs
—clique sizes⟶
Integer partitions
Mp00095: Integer partitions —to binary word⟶ Binary words
Mp00104: Binary words —reverse⟶ Binary words
St000326: Binary words ⟶ ℤ
Values
([],1) => [1] => 10 => 01 => 2
([],2) => [1,1] => 110 => 011 => 2
([(0,1)],2) => [2] => 100 => 001 => 3
([],3) => [1,1,1] => 1110 => 0111 => 2
([(1,2)],3) => [2,1] => 1010 => 0101 => 2
([(0,2),(1,2)],3) => [2,2] => 1100 => 0011 => 3
([(0,1),(0,2),(1,2)],3) => [3] => 1000 => 0001 => 4
([],4) => [1,1,1,1] => 11110 => 01111 => 2
([(2,3)],4) => [2,1,1] => 10110 => 01101 => 2
([(1,3),(2,3)],4) => [2,2,1] => 11010 => 01011 => 2
([(0,3),(1,3),(2,3)],4) => [2,2,2] => 11100 => 00111 => 3
([(0,3),(1,2)],4) => [2,2] => 1100 => 0011 => 3
([(0,3),(1,2),(2,3)],4) => [2,2,2] => 11100 => 00111 => 3
([(1,2),(1,3),(2,3)],4) => [3,1] => 10010 => 01001 => 2
([(0,3),(1,2),(1,3),(2,3)],4) => [3,2] => 10100 => 00101 => 3
([(0,2),(0,3),(1,2),(1,3)],4) => [2,2,2,2] => 111100 => 001111 => 3
([(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [3,3] => 11000 => 00011 => 4
([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 10000 => 00001 => 5
([],5) => [1,1,1,1,1] => 111110 => 011111 => 2
([(3,4)],5) => [2,1,1,1] => 101110 => 011101 => 2
([(2,4),(3,4)],5) => [2,2,1,1] => 110110 => 011011 => 2
([(1,4),(2,4),(3,4)],5) => [2,2,2,1] => 111010 => 010111 => 2
([(0,4),(1,4),(2,4),(3,4)],5) => [2,2,2,2] => 111100 => 001111 => 3
([(1,4),(2,3)],5) => [2,2,1] => 11010 => 01011 => 2
([(1,4),(2,3),(3,4)],5) => [2,2,2,1] => 111010 => 010111 => 2
([(0,1),(2,4),(3,4)],5) => [2,2,2] => 11100 => 00111 => 3
([(2,3),(2,4),(3,4)],5) => [3,1,1] => 100110 => 011001 => 2
([(0,4),(1,4),(2,3),(3,4)],5) => [2,2,2,2] => 111100 => 001111 => 3
([(1,4),(2,3),(2,4),(3,4)],5) => [3,2,1] => 101010 => 010101 => 2
([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => [3,2,2] => 101100 => 001101 => 3
([(1,3),(1,4),(2,3),(2,4)],5) => [2,2,2,2,1] => 1111010 => 0101111 => 2
([(0,4),(1,2),(1,3),(2,4),(3,4)],5) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [3,3,1] => 110010 => 010011 => 2
([(0,4),(1,3),(2,3),(2,4),(3,4)],5) => [3,2,2] => 101100 => 001101 => 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 => 00111111 => 3
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [3,3,3] => 111000 => 000111 => 4
([(0,4),(1,3),(2,3),(2,4)],5) => [2,2,2,2] => 111100 => 001111 => 3
([(0,1),(2,3),(2,4),(3,4)],5) => [3,2] => 10100 => 00101 => 3
([(0,3),(1,2),(1,4),(2,4),(3,4)],5) => [3,2,2] => 101100 => 001101 => 3
([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5) => [3,3] => 11000 => 00011 => 4
([(0,3),(0,4),(1,2),(1,4),(2,3)],5) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) => [3,2,2,2] => 1011100 => 0011101 => 3
([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5) => [3,3,3] => 111000 => 000111 => 4
([(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 => 010001 => 2
([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [4,2] => 100100 => 001001 => 3
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [4,3] => 101000 => 000101 => 4
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5) => [3,3,2,2] => 1101100 => 0011011 => 3
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5) => [3,3,3,3] => 1111000 => 0001111 => 4
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [4,4] => 110000 => 000011 => 5
([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [5] => 100000 => 000001 => 6
([],6) => [1,1,1,1,1,1] => 1111110 => 0111111 => 2
([(4,5)],6) => [2,1,1,1,1] => 1011110 => 0111101 => 2
([(3,5),(4,5)],6) => [2,2,1,1,1] => 1101110 => 0111011 => 2
([(2,5),(3,5),(4,5)],6) => [2,2,2,1,1] => 1110110 => 0110111 => 2
([(1,5),(2,5),(3,5),(4,5)],6) => [2,2,2,2,1] => 1111010 => 0101111 => 2
([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(2,5),(3,4)],6) => [2,2,1,1] => 110110 => 011011 => 2
([(2,5),(3,4),(4,5)],6) => [2,2,2,1,1] => 1110110 => 0110111 => 2
([(1,2),(3,5),(4,5)],6) => [2,2,2,1] => 111010 => 010111 => 2
([(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 1001110 => 0111001 => 2
([(1,5),(2,5),(3,4),(4,5)],6) => [2,2,2,2,1] => 1111010 => 0101111 => 2
([(0,1),(2,5),(3,5),(4,5)],6) => [2,2,2,2] => 111100 => 001111 => 3
([(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1,1] => 1010110 => 0110101 => 2
([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2,1] => 1011010 => 0101101 => 2
([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1011100 => 0011101 => 3
([(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,1,1] => 11110110 => 01101111 => 2
([(0,5),(1,5),(2,4),(3,4)],6) => [2,2,2,2] => 111100 => 001111 => 3
([(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,1] => 11111010 => 01011111 => 2
([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,1,1] => 1100110 => 0110011 => 2
([(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,1] => 1011010 => 0101101 => 2
([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,1] => 1101010 => 0101011 => 2
([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1011100 => 0011101 => 3
([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0011011 => 3
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2,1] => 111111010 => 010111111 => 2
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,1] => 1110010 => 0100111 => 2
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0011011 => 3
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110100 => 0010111 => 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 => 0001111 => 4
([(0,5),(1,4),(2,3)],6) => [2,2,2] => 11100 => 00111 => 3
([(1,5),(2,4),(3,4),(3,5)],6) => [2,2,2,2,1] => 1111010 => 0101111 => 2
([(0,1),(2,5),(3,4),(4,5)],6) => [2,2,2,2] => 111100 => 001111 => 3
([(1,2),(3,4),(3,5),(4,5)],6) => [3,2,1] => 101010 => 010101 => 2
([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(1,4),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,2,1] => 1011010 => 0101101 => 2
([(0,1),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2] => 101100 => 001101 => 3
([(0,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,2,2] => 1011100 => 0011101 => 3
([(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,3,1] => 110010 => 010011 => 2
([(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 => 01011111 => 2
([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2,1] => 10111010 => 01011101 => 2
([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,2,1] => 1101010 => 0101011 => 2
>>> Load all 1049 entries. <<<([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1011100 => 0011101 => 3
([(0,5),(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0011011 => 3
([(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,1] => 1110010 => 0100111 => 2
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110100 => 0010111 => 3
([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(0,1),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(0,5),(1,5),(2,3),(2,4),(3,4)],6) => [3,2,2] => 101100 => 001101 => 3
([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6) => [3,2,2,2] => 1011100 => 0011101 => 3
([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1011100 => 0011101 => 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 => 0011101 => 3
([(0,3),(0,4),(1,2),(1,5),(2,5),(3,5),(4,5)],6) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0011011 => 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 => 4
([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 1000110 => 0110001 => 2
([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0011011 => 3
([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,1] => 1001010 => 0101001 => 2
([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2] => 1001100 => 0011001 => 3
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(0,3),(0,5),(1,3),(1,5),(2,4),(2,5),(3,4),(4,5)],6) => [3,2,2,2,2,2] => 101111100 => 001111101 => 3
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110100 => 0010111 => 3
([(0,5),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110100 => 0010111 => 3
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2,2] => 11011100 => 00111011 => 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 => 0001111 => 4
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,1] => 1010010 => 0100101 => 2
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2] => 1001100 => 0011001 => 3
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,2] => 1010100 => 0010101 => 3
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,2,2] => 110111100 => 001111011 => 3
([(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 => 0001101 => 4
([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,1] => 11011010 => 01011011 => 2
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,3,3,1] => 11110010 => 01001111 => 2
([(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 => 00101111 => 3
([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(0,5),(1,2),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,1),(0,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2] => 1101100 => 0011011 => 3
([(0,5),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,1),(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(0,4),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,3,2] => 1110100 => 0010111 => 3
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0011011 => 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 => 0001111 => 4
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00110111 => 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 => 00011111 => 4
([(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 => 00101111 => 3
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,1] => 1100010 => 0100011 => 2
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,2] => 1010100 => 0010101 => 3
([(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 => 0010011 => 3
([(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 => 00110111 => 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 => 0001111 => 4
([(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 => 0001101 => 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 => 0001011 => 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 => 001110111 => 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 => 001101111 => 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 => 000111111 => 4
([(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 => 0000111 => 5
([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6) => [3,3] => 11000 => 00011 => 4
([(0,2),(1,4),(1,5),(2,3),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1101100 => 0011011 => 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 => 001001 => 3
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,3] => 111000 => 000111 => 4
([(0,1),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2] => 1001100 => 0011001 => 3
([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3] => 101000 => 000101 => 4
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6) => [3,3,2,2] => 1101100 => 0011011 => 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 => 0010111 => 3
([(0,3),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,2] => 1010100 => 0010101 => 3
([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3] => 1111000 => 0001111 => 4
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2,2] => 10011100 => 00111001 => 3
([(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 => 0001101 => 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 => 0001111 => 4
([(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 => 000011 => 5
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4)],6) => [3,2,2,2,2,2] => 101111100 => 001111101 => 3
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,2] => 11011100 => 00111011 => 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 => 00110111 => 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 => 00011111 => 4
([(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 => 00111011 => 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 => 00101111 => 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 => 00011111 => 4
([(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 => 00011101 => 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 => 0000111 => 5
([(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 => 00110101 => 3
([(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 => 0001101 => 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 => 0001011 => 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 => 0010011 => 3
([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [5,1] => 1000010 => 0100001 => 2
([(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 => 0010001 => 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,3] => 1001000 => 0001001 => 4
([(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 => 0000101 => 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 => 000111111 => 4
([(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 => 3
([(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 => 00101101 => 3
([(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 => 00011011 => 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 => 5
([(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 => 0000011 => 6
([(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 => 0000001 => 7
([],7) => [1,1,1,1,1,1,1] => 11111110 => 01111111 => 2
([(5,6)],7) => [2,1,1,1,1,1] => 10111110 => 01111101 => 2
([(4,6),(5,6)],7) => [2,2,1,1,1,1] => 11011110 => 01111011 => 2
([(3,6),(4,6),(5,6)],7) => [2,2,2,1,1,1] => 11101110 => 01110111 => 2
([(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,1,1] => 11110110 => 01101111 => 2
([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,1] => 11111010 => 01011111 => 2
([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(3,6),(4,5)],7) => [2,2,1,1,1] => 1101110 => 0111011 => 2
([(3,6),(4,5),(5,6)],7) => [2,2,2,1,1,1] => 11101110 => 01110111 => 2
([(2,3),(4,6),(5,6)],7) => [2,2,2,1,1] => 1110110 => 0110111 => 2
([(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 10011110 => 01111001 => 2
([(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,1,1] => 11110110 => 01101111 => 2
([(1,2),(3,6),(4,6),(5,6)],7) => [2,2,2,2,1] => 1111010 => 0101111 => 2
([(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1,1] => 10101110 => 01110101 => 2
([(1,6),(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,1] => 11111010 => 01011111 => 2
([(0,1),(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,1,1] => 10110110 => 01101101 => 2
([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01011101 => 2
([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,1,1,1] => 111101110 => 011101111 => 2
([(1,6),(2,6),(3,5),(4,5)],7) => [2,2,2,2,1] => 1111010 => 0101111 => 2
([(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,1,1] => 111110110 => 011011111 => 2
([(1,6),(2,6),(3,4),(4,5),(5,6)],7) => [2,2,2,2,2,1] => 11111010 => 01011111 => 2
([(0,6),(1,6),(2,6),(3,5),(4,5)],7) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1,1,1] => 11001110 => 01110011 => 2
([(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,1,1] => 10110110 => 01101101 => 2
([(1,6),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,1] => 11111010 => 01011111 => 2
([(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 111111010 => 010111111 => 2
([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,1,1] => 11010110 => 01101011 => 2
([(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01011101 => 2
([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 01011011 => 2
([(0,6),(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,1,1] => 1111110110 => 0110111111 => 2
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,1] => 111111010 => 010111111 => 2
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,1] => 1111111010 => 0101111111 => 2
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,1,1] => 11100110 => 01100111 => 2
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 01011011 => 2
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101010 => 01010111 => 2
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 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 => 00110111 => 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 => 01011111111 => 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 => 01001111 => 2
([(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 => 00110111 => 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 => 00101111 => 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 => 00011111 => 4
([(1,6),(2,5),(3,4)],7) => [2,2,2,1] => 111010 => 010111 => 2
([(2,6),(3,5),(4,5),(4,6)],7) => [2,2,2,2,1,1] => 11110110 => 01101111 => 2
([(1,2),(3,6),(4,5),(5,6)],7) => [2,2,2,2,1] => 1111010 => 0101111 => 2
([(0,3),(1,2),(4,6),(5,6)],7) => [2,2,2,2] => 111100 => 001111 => 3
([(2,3),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1010110 => 0110101 => 2
([(1,6),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,1] => 11111010 => 01011111 => 2
([(0,1),(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,1,1] => 10110110 => 01101101 => 2
([(1,2),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,1] => 1011010 => 0101101 => 2
([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(1,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01011101 => 2
([(0,1),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1011100 => 0011101 => 3
([(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,1,1] => 1100110 => 0110011 => 2
([(0,6),(1,6),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,1] => 1101010 => 0101011 => 2
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 3
([(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [2,2,2,2,2,1,1] => 111110110 => 011011111 => 2
([(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 111111010 => 010111111 => 2
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1,1] => 101110110 => 011011101 => 2
([(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 111111010 => 010111111 => 2
([(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,1,1] => 11010110 => 01101011 => 2
([(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01011101 => 2
([(0,6),(1,6),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 101111010 => 010111101 => 2
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 01011011 => 2
([(0,6),(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,1,1] => 11100110 => 01100111 => 2
([(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 001111101 => 3
([(0,6),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101010 => 01010111 => 2
([(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 => 00110111 => 3
([(1,6),(2,5),(3,4),(3,5),(4,6)],7) => [2,2,2,2,2,1] => 11111010 => 01011111 => 2
([(1,2),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,1] => 11111010 => 01011111 => 2
([(0,6),(1,5),(2,4),(3,4),(5,6)],7) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(1,6),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2,1] => 1011010 => 0101101 => 2
([(1,5),(2,3),(2,4),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 111111010 => 010111111 => 2
([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6)],7) => [3,2,2,2,1] => 10111010 => 01011101 => 2
([(0,6),(1,3),(2,3),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1011100 => 0011101 => 3
([(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01011101 => 2
([(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,1] => 1101010 => 0101011 => 2
([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(0,1),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1011100 => 0011101 => 3
([(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,2,1] => 10111010 => 01011101 => 2
([(0,5),(1,6),(2,3),(2,4),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 101111010 => 010111101 => 2
([(0,5),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 01011011 => 2
([(0,6),(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 3
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,1] => 1101010 => 0101011 => 2
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 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 => 001111101 => 3
([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,1] => 1110010 => 0100111 => 2
([(0,6),(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 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 => 0010111 => 3
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2,2] => 1011100 => 0011101 => 3
([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 10001110 => 01110001 => 2
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 01011011 => 2
([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1,1] => 10010110 => 01101001 => 2
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,1] => 10011010 => 01011001 => 2
([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 10011100 => 00111001 => 3
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,1] => 1111111010 => 0101111111 => 2
([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(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 => 0101111101 => 2
([(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 001111101 => 3
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101010 => 01010111 => 2
([(0,6),(1,5),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101010 => 01010111 => 2
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,1] => 110111010 => 010111011 => 2
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 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 => 001111101 => 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 => 0011111101 => 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 => 00110111 => 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 => 01001111 => 2
([(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 => 00110111 => 3
([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00101111 => 3
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 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 => 001111101 => 3
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0010111 => 3
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 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 => 0011111101 => 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 => 00110111 => 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 => 0010111 => 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 => 0001111 => 4
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => [3,2,2,2,2,2] => 101111100 => 001111101 => 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 => 010111011 => 2
([(0,6),(1,6),(2,3),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,1,1] => 10100110 => 01100101 => 2
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,1] => 10011010 => 01011001 => 2
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 3
([(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 => 00110111 => 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 => 2
([(0,6),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 10011100 => 00111001 => 3
([(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 => 00110101 => 3
([(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 => 0011111101 => 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 => 00111111101 => 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 => 00101111 => 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 => 00101111 => 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 => 001110111 => 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 => 00011111 => 4
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 2
([(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 => 00110101 => 3
([(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 => 00101101 => 3
([(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 => 00011101 => 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 => 0101111111 => 2
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,1,1] => 110110110 => 011011011 => 2
([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,1] => 110111010 => 010111011 => 2
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 001111101 => 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 => 011001111 => 2
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 010101111 => 2
([(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 => 001101111 => 3
([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7) => [2,2,2,2,2,2,1] => 111111010 => 010111111 => 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 => 0101111111 => 2
([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 101111010 => 010111101 => 2
([(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 101111010 => 010111101 => 2
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,1] => 11011010 => 01011011 => 2
([(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2,1] => 101111010 => 010111101 => 2
([(0,4),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,1] => 110111010 => 010111011 => 2
([(0,6),(1,2),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 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 => 001111101 => 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 => 001111101 => 3
([(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101010 => 01010111 => 2
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 01011011 => 2
([(0,6),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 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 => 001111101 => 3
([(0,6),(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 01001111 => 2
([(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 => 00110111 => 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 => 00111011 => 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 => 00101111 => 3
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 3
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(0,4),(1,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,4),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 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 => 001111101 => 3
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 3
([(0,1),(0,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 0010111 => 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 => 0001111 => 4
([(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 => 01011111111 => 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 => 010111011 => 2
([(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 0011111101 => 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 => 010110111 => 2
([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 001110111 => 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 => 010011111 => 2
([(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 => 001101111 => 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 => 001110111 => 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 => 001011111 => 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 => 001111101 => 3
([(0,5),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 0011111101 => 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 => 0011111101 => 3
([(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00110111 => 3
([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00110111 => 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 => 001110111 => 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 => 00101111 => 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 => 00101111 => 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 => 00110111 => 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 => 00011111 => 4
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 010101111 => 2
([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,1,1] => 11000110 => 01100011 => 2
([(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 => 001101111 => 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 => 01010011 => 2
([(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 => 00110101 => 3
([(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 => 3
([(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 => 0011111101 => 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 => 010110111 => 2
([(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 => 00110111 => 3
([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00111011 => 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 => 2
([(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 => 01001111 => 2
([(0,6),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 10011100 => 00111001 => 3
([(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 => 001110111 => 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 => 2
([(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 => 00110101 => 3
([(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 => 00101111 => 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 => 00101101 => 3
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 3
([(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 => 0011111101 => 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 => 00110111 => 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 => 00110111 => 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 => 00101111 => 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 => 00011111 => 4
([(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 => 001101111 => 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 => 000111111 => 4
([(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 => 001011111 => 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 => 01001011 => 2
([(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 => 3
([(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 => 3
([(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 => 00111111101 => 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 => 001101111 => 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 => 00101101 => 3
([(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 => 00101101 => 3
([(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 => 00011111 => 4
([(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 => 00011101 => 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 => 00011011 => 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 => 0100111111 => 2
([(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 => 001110111 => 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 => 001101111 => 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 => 001110111 => 3
([(0,4),(0,5),(1,4),(1,5),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 001011111 => 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 => 001101111 => 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 => 000111111 => 4
([(0,5),(0,6),(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,3] => 1111111000 => 0001111111 => 4
([(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 => 01000111 => 2
([(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 => 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,2] => 11100100 => 00100111 => 3
([(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 => 00011101 => 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 => 00011011 => 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 => 5
([(0,1),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2] => 1111100 => 0011111 => 3
([(0,3),(1,2),(4,5),(4,6),(5,6)],7) => [3,2,2] => 101100 => 001101 => 3
([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(0,1),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1011100 => 0011101 => 3
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 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 => 0011011 => 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 => 4
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [2,2,2,2,2,2] => 11111100 => 00111111 => 3
([(0,6),(1,5),(2,3),(2,4),(3,4),(5,6)],7) => [3,2,2,2] => 1011100 => 0011101 => 3
([(0,6),(1,4),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(0,4),(1,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,1),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(0,6),(1,4),(2,3),(2,5),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,5),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,5),(1,4),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 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 => 001111101 => 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 => 001111101 => 3
([(0,4),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 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 => 001111101 => 3
([(0,4),(1,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0010111 => 3
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 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 => 00111011 => 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 => 00110111 => 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 => 0010111 => 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 => 0001111 => 4
([(1,5),(1,6),(2,3),(2,4),(3,4),(5,6)],7) => [3,3,1] => 110010 => 010011 => 2
([(1,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11011010 => 01011011 => 2
([(0,1),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 3
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,2,1] => 1101010 => 0101011 => 2
([(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 => 0101001 => 2
([(0,6),(1,2),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 3
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,1] => 1110010 => 0100111 => 2
([(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,1] => 10011010 => 01011001 => 2
([(0,1),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2] => 1001100 => 0011001 => 3
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0010111 => 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 => 00111001 => 3
([(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,1] => 1010010 => 0100101 => 2
([(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 => 0010101 => 3
([(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 => 0011111101 => 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 => 00111011 => 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 => 0011111101 => 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 => 00110111 => 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 => 00110111 => 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 => 00110111 => 3
([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 3
([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 0011111101 => 3
([(0,4),(0,6),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00101111 => 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 => 00101111 => 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 => 001110111 => 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 => 00011111 => 4
([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 001111101 => 3
([(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,2,2,1] => 11011010 => 01011011 => 2
([(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00111011 => 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 => 01010111 => 2
([(0,6),(1,2),(1,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 2
([(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 => 01001111 => 2
([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2,1] => 100111010 => 010111001 => 2
([(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 => 00110111 => 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 => 00110101 => 3
([(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 => 00101111 => 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 => 2
([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2,2] => 100111100 => 001111001 => 3
([(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 => 00101101 => 3
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 3
([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00111011 => 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 => 0010111 => 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 => 00111001 => 3
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2] => 1010100 => 0010101 => 3
([(0,6),(1,2),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0010111 => 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 => 4
([(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 => 00110111 => 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 => 00110101 => 3
([(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 => 0001111 => 4
([(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 => 0010101 => 3
([(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 => 0001101 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 3
([(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 => 00110111 => 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 => 001110111 => 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 => 00101101 => 3
([(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 => 00011111 => 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,2] => 10110100 => 00101101 => 3
([(0,1),(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,2] => 101011100 => 001110101 => 3
([(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 => 00011101 => 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 => 01001111 => 2
([(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 => 00101111 => 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 => 0100011 => 2
([(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 => 0010011 => 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)],7) => [3,3,3,3,2,2] => 111101100 => 001101111 => 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 => 0001011 => 4
([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7) => [2,2,2,2,2,2,2] => 111111100 => 001111111 => 3
([(0,3),(1,4),(1,5),(2,4),(2,6),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 101111100 => 001111101 => 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 => 001111101 => 3
([(0,6),(1,2),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 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 => 001111101 => 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 => 001111101 => 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 => 001111101 => 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 => 001111101 => 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 => 0011111101 => 3
([(0,5),(1,2),(1,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00110111 => 3
([(0,1),(0,2),(1,6),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 0011111101 => 3
([(0,5),(1,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00111011 => 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 => 00111011 => 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 => 00110111 => 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 => 001110111 => 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 => 00110111 => 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 => 00101111 => 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 => 00011111 => 4
([(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 => 0101111101 => 2
([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,1] => 110111010 => 010111011 => 2
([(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 => 0011111101 => 3
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 010110111 => 2
([(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 => 001110111 => 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 => 010011111 => 2
([(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 => 001011111 => 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 => 00111111101 => 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 => 001110111 => 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 => 00111111101 => 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 => 001101111 => 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 => 001101111 => 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 => 001011111 => 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 => 000111111 => 4
([(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 => 010111011 => 2
([(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 => 010101111 => 2
([(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 001110111 => 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 => 010011111 => 2
([(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 => 001101111 => 3
([(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 101011100 => 001110101 => 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 => 001011111 => 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 => 010011101 => 2
([(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 => 001011101 => 3
([(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 => 0011111101 => 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 => 00111111101 => 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 => 001110111 => 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 => 001110111 => 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 => 001110111 => 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 => 001101111 => 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 => 001101111 => 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 => 001011111 => 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 => 000111111 => 4
([(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 => 001110111 => 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 => 01010011 => 2
([(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 => 00110101 => 3
([(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 => 2
([(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 => 010110101 => 2
([(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 => 001110111 => 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 => 001011111 => 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 => 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,3,1] => 11010010 => 01001011 => 2
([(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 => 00101101 => 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,2,2,2] => 101011100 => 001110101 => 3
([(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 => 3
([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 3
([(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 => 001101111 => 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 => 00101101 => 3
([(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 => 00011101 => 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 => 001101101 => 3
([(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 => 001011101 => 3
([(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 => 001011111 => 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 => 000111101 => 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 => 000111111 => 4
([(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 => 3
([(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 => 3
([(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 => 00011101 => 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 => 001101101 => 3
([(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 => 00011011 => 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 => 01000111 => 2
([(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 => 00100111 => 3
([(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 => 001111101 => 3
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 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 => 0011111101 => 3
([(0,2),(1,4),(1,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00111011 => 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 => 00101111 => 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 => 00110111 => 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 => 001101111 => 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 => 00011111 => 4
([(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 => 0011111101 => 3
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 0011111101 => 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 => 00111111101 => 3
([(0,3),(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 001110111 => 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 => 001110111 => 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 => 001110111 => 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 => 001101111 => 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 => 001011111 => 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 => 001101111 => 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 => 000111111 => 4
([(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 => 0011111101 => 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 => 00111011 => 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 => 00111011 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00110111 => 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 => 00110111 => 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 => 00110111 => 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 => 00110101 => 3
([(0,1),(0,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2,2] => 100111100 => 001111001 => 3
([(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 => 00101111 => 3
([(0,1),(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,2] => 101011100 => 001110101 => 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 => 00011111 => 4
([(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 => 00101101 => 3
([(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 => 00110101 => 3
([(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 => 00011101 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 3
([(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 => 00110111 => 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 => 0010111 => 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 => 001110111 => 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 => 001110111 => 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 => 00101111 => 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 => 00110111 => 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 => 00110101 => 3
([(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 => 00101111 => 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 => 00101111 => 3
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2,2] => 100111100 => 001111001 => 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 => 001110111 => 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 => 00101111 => 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 => 001101111 => 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 => 00101101 => 3
([(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 => 00101101 => 3
([(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 => 00011111 => 4
([(0,1),(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,2] => 101011100 => 001110101 => 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 => 00011101 => 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 => 00110111 => 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 => 001101111 => 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 => 0001111 => 4
([(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 => 00110101 => 3
([(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 => 0010011 => 3
([(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 => 0001111 => 4
([(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 => 00011111 => 4
([(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 => 3
([(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 => 0001101 => 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 => 0001011 => 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 => 00110111 => 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 => 00110111 => 3
([(0,4),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [4,2,2,2,2] => 100111100 => 001111001 => 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 => 00110101 => 3
([(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 => 00101111 => 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 => 00011111 => 4
([(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 => 00101101 => 3
([(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 => 00011101 => 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 => 001101111 => 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 => 001101101 => 3
([(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 => 000111101 => 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 => 001110111 => 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 => 001011111 => 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 => 000111111 => 4
([(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 => 3
([(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 => 00011101 => 4
([(0,1),(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,2] => 110011100 => 001110011 => 3
([(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 => 00011011 => 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 => 001110111 => 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 => 00011111 => 4
([(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 => 001101101 => 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,2] => 1100100 => 0010011 => 3
([(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 => 00011101 => 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 => 0001011 => 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 => 000111111 => 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),(5,6)],7) => [4,4,4] => 1110000 => 0000111 => 5
([(0,5),(0,6),(1,2),(1,3),(2,3),(4,5),(4,6)],7) => [3,2,2,2,2] => 10111100 => 00111101 => 3
([(0,3),(1,3),(1,4),(2,5),(2,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2] => 1001100 => 0011001 => 3
([(0,6),(1,2),(1,4),(2,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,2,2] => 1101100 => 0011011 => 3
([(0,1),(0,2),(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3] => 111000 => 000111 => 4
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5)],7) => [3,3,2,2,2] => 11011100 => 00111011 => 3
([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 00111001 => 3
([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2] => 1110100 => 0010111 => 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 => 0010111 => 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 => 00111001 => 3
([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2,2] => 100111100 => 001111001 => 3
([(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 => 0001111 => 4
([(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 => 0010101 => 3
([(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 => 0001101 => 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 => 01100001 => 2
([(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 => 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,2,1] => 10001010 => 01010001 => 2
([(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 => 00110001 => 3
([(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 => 00011101 => 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 => 000111111 => 4
([(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 => 3
([(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 => 00011011 => 4
([(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,2,2,2] => 110011100 => 001110011 => 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,3,1] => 10010010 => 01001001 => 2
([(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 => 00110001 => 3
([(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 => 00101001 => 3
([(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 => 00011001 => 4
([(0,5),(0,6),(1,3),(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,3] => 1111111000 => 0001111111 => 4
([(0,1),(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,3] => 1111111000 => 0001111111 => 4
([(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 => 0001111101 => 4
([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3,3] => 1111111000 => 0001111111 => 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 => 00100111 => 3
([(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 => 00011011 => 4
([(0,3),(0,6),(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,3,2,2] => 110101100 => 001101011 => 3
([(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,5),(0,6),(1,3),(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,3,3] => 1111111000 => 0001111111 => 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 => 00100111 => 3
([(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 => 00011011 => 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 => 000111101 => 4
([(0,1),(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,3] => 110111000 => 000111011 => 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 => 5
([(0,3),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 101011100 => 001110101 => 3
([(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 => 00101111 => 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 => 001101111 => 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 => 001101111 => 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 => 001110111 => 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 => 001101111 => 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 => 00101111 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,3,2,2,2] => 101011100 => 001110101 => 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 => 001101111 => 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 => 001110111 => 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 => 001011111 => 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 => 000111111 => 4
([(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 => 001011101 => 3
([(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 => 001101101 => 3
([(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 => 001011111 => 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 => 000111101 => 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 => 010101101 => 2
([(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 => 0100111111 => 2
([(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 => 00101111 => 3
([(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,2,2,1] => 110011010 => 010110011 => 2
([(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 => 001101101 => 3
([(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 => 010011011 => 2
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,2,2,2] => 110011100 => 001110011 => 3
([(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 => 001011011 => 3
([(0,6),(1,2),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 101011100 => 001110101 => 3
([(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 => 001011111 => 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 => 0001111 => 4
([(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 => 3
([(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 => 001101101 => 3
([(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 => 000111111 => 4
([(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 => 3
([(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 => 00011011 => 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 => 001011101 => 3
([(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,2,2] => 110101100 => 001101011 => 3
([(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,6),(5,6)],7) => [4,4,3,3,3] => 110111000 => 000111011 => 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 => 001011011 => 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,4,1] => 10100010 => 01000101 => 2
([(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 => 00101001 => 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),(4,6),(5,6)],7) => [5,4,2] => 10100100 => 00100101 => 3
([(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 => 00011001 => 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,3] => 10101000 => 00010101 => 4
([(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 => 00001101 => 5
([(0,3),(0,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,3,2,2] => 110101100 => 001101011 => 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),(5,6)],7) => [3,3,3,3,3,3,3] => 1111111000 => 0001111111 => 4
([(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 => 001011011 => 3
([(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 => 001011101 => 3
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 110111000 => 000111011 => 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 => 010001111 => 2
([(0,6),(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,2] => 111100100 => 001001111 => 3
([(0,2),(0,6),(1,2),(1,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 3
([(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 => 0011111101 => 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 => 001110111 => 3
([(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 001101111 => 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 => 000111111 => 4
([(0,3),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3,3] => 1111111000 => 0001111111 => 4
([(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 => 00110111 => 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 => 001011111 => 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 => 001011111 => 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 => 001101101 => 3
([(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 => 001011101 => 3
([(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 => 000111101 => 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 => 00111111101 => 3
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7) => [3,3,2,2,2,2] => 110111100 => 001111011 => 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 => 001110111 => 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 => 001101111 => 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 => 00101111 => 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 => 001110111 => 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 => 001101111 => 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 => 001011111 => 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 => 001101101 => 3
([(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 => 001101101 => 3
([(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 => 000111111 => 4
([(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 => 000111101 => 4
([(0,2),(0,4),(1,3),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2,2] => 110101100 => 001101011 => 3
([(0,3),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3,3] => 1111111000 => 0001111111 => 4
([(0,2),(0,6),(1,3),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2,2] => 110101100 => 001101011 => 3
([(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 => 000111101 => 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 => 001011101 => 3
([(0,1),(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,3] => 110111000 => 000111011 => 4
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,3,3,3,3] => 1111111000 => 0001111111 => 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 => 00100111 => 3
([(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 => 00011011 => 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 => 00011111 => 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)],7) => [3,3,3,3,2,2] => 111101100 => 001101111 => 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 => 000111111 => 4
([(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 => 000111101 => 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 => 3
([(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 => 00011011 => 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 => 5
([(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 => 00011111 => 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)],7) => [4,4,2,2,2] => 110011100 => 001110011 => 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 => 001101101 => 3
([(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 => 001101111 => 3
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3,3] => 1111111000 => 0001111111 => 4
([(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 => 001011011 => 3
([(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 => 001011101 => 3
([(0,5),(0,6),(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,3] => 110111000 => 000111011 => 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 => 001011111 => 3
([(0,2),(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,2] => 111001100 => 001100111 => 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 => 000011111 => 5
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 110111000 => 000111011 => 4
([(0,6),(1,2),(1,3),(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,4,2] => 111100100 => 001001111 => 3
([(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 => 01000011 => 2
([(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 => 00100101 => 3
([(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 => 00100011 => 3
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,4,4,2,2] => 111001100 => 001100111 => 3
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 110111000 => 000111011 => 4
([(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 => 00011001 => 4
([(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 => 00010101 => 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,3] => 11001000 => 00010011 => 4
([(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 => 001101111 => 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 => 0001111101 => 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 => 0010111101 => 3
([(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 => 001011011 => 3
([(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 => 0001111101 => 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 => 5
([(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 => 00001101 => 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 => 00001011 => 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 => 000111111 => 4
([(0,1),(0,2),(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,3,3] => 1110111000 => 0001110111 => 4
([(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,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4,4,4] => 1111110000 => 0000111111 => 5
([(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 => 00000111 => 6
([(0,4),(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,3,3,2] => 1110100 => 0010111 => 3
([(0,1),(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3] => 101000 => 000101 => 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 => 0001111 => 4
([(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 => 0010101 => 3
([(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 => 0001101 => 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 => 000011 => 5
([(0,1),(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,2] => 101011100 => 001110101 => 3
([(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 => 00101101 => 3
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 101011100 => 001110101 => 3
([(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 => 00101101 => 3
([(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 => 00011101 => 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 => 3
([(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 => 000111111 => 4
([(0,1),(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,2] => 110011100 => 001110011 => 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 => 00011011 => 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 => 00110111 => 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 => 00101111 => 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 => 00110101 => 3
([(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 => 00101111 => 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 => 00011111 => 4
([(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 => 0001101 => 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 => 00101101 => 3
([(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 => 00011101 => 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 => 0001011 => 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 => 3
([(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 => 0010001 => 3
([(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 => 0001011 => 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 => 00110001 => 3
([(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 => 0001001 => 4
([(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 => 00011101 => 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 => 0001011 => 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 => 00011011 => 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 => 000111101 => 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 => 0000111 => 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)],7) => [4,4,3,2] => 11010100 => 00101011 => 3
([(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 => 00101001 => 3
([(0,1),(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,2] => 100011100 => 001110001 => 3
([(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 => 00011001 => 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)],7) => [4,4,3,3] => 11011000 => 00011011 => 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 => 0000101 => 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 => 001101111 => 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 => 00101101 => 3
([(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 => 001011111 => 3
([(0,1),(0,2),(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 101011100 => 001110101 => 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 => 000111111 => 4
([(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 => 001011101 => 3
([(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 => 000111101 => 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 => 00011011 => 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 => 001101111 => 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 => 001101101 => 3
([(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 => 001011111 => 3
([(0,1),(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,2] => 110011100 => 001110011 => 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 => 00011111 => 4
([(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 => 001011101 => 3
([(0,1),(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,2] => 110101100 => 001101011 => 3
([(0,1),(0,4),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,3,3] => 1111111000 => 0001111111 => 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,6),(5,6)],7) => [4,4,3,3,3] => 110111000 => 000111011 => 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 => 00011101 => 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 => 000111111 => 4
([(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 => 000111101 => 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 => 3
([(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,4),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 110111000 => 000111011 => 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 => 00100101 => 3
([(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,1),(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,2] => 100101100 => 001101001 => 3
([(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 => 00010101 => 4
([(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 => 0001111101 => 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 => 5
([(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 => 001011011 => 3
([(0,1),(0,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,3,3] => 110111000 => 000111011 => 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),(4,6),(5,6)],7) => [5,3,3,3] => 100111000 => 000111001 => 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 => 00001101 => 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 => 00011011 => 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 => 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),(4,5),(4,6),(5,6)],7) => [5,5] => 1100000 => 0000011 => 6
([(0,3),(0,4),(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,2,2] => 111001100 => 001100111 => 3
([(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 => 0001111101 => 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 => 001011011 => 3
([(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 => 000011111 => 5
([(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 => 001101101 => 3
([(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 => 0010111101 => 3
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,4,3,3,3] => 110111000 => 000111011 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => [3,3,3,3,3,3,3] => 1111111000 => 0001111111 => 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 => 000011111 => 5
([(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 => 000011101 => 5
([(0,2),(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3,3,3] => 1110111000 => 0001110111 => 4
([(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,6),(5,6)],7) => [4,4,4,4,4,4] => 1111110000 => 0000111111 => 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 => 00000111 => 6
([(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 => 001010111 => 3
([(0,1),(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,2] => 100110100 => 001011001 => 3
([(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 => 000110101 => 4
([(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 => 00001101 => 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 => 00001011 => 5
([(0,2),(0,6),(1,3),(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) => [5,4,2,2] => 101001100 => 001100101 => 3
([(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 => 00010101 => 4
([(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 => 00010011 => 4
([(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 => 00100011 => 3
([(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 => 01000001 => 2
([(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 => 00100001 => 3
([(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 => 00010001 => 4
([(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 => 00001001 => 5
([(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 => 00000101 => 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)],7) => [5,5,2,2] => 110001100 => 001100011 => 3
([(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 => 001010101 => 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,6),(5,6)],7) => [5,5,3,3] => 110011000 => 000110011 => 4
([(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 => 000101101 => 4
([(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 => 000001111 => 6
([(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 => 00000011 => 7
([(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 => 00000001 => 8
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 2,1,1 4,5,1,1 11,16,5,1,1
$F_{1} = q^{2}$
$F_{2} = q^{2} + q^{3}$
$F_{3} = 2\ q^{2} + q^{3} + q^{4}$
$F_{4} = 4\ q^{2} + 5\ q^{3} + q^{4} + q^{5}$
$F_{5} = 11\ q^{2} + 16\ q^{3} + 5\ q^{4} + q^{5} + q^{6}$
Description
The position of the first one in a binary word after appending a 1 at the end.
Regarding the binary word as a subset of $\{1,\dots,n,n+1\}$ that contains $n+1$, this is the minimal element of the set.
Regarding the binary word as a subset of $\{1,\dots,n,n+1\}$ that contains $n+1$, this is the minimal element of the set.
Map
reverse
Description
Return the reversal of a binary 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
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!