Identifier
-
Mp00134:
Standard tableaux
—descent word⟶
Binary words
Mp00178: Binary words —to composition⟶ Integer compositions
Mp00094: Integer compositions —to binary word⟶ Binary words
St000288: Binary words ⟶ ℤ
Values
[[1]] => => [1] => 1 => 1
[[1,2]] => 0 => [2] => 10 => 1
[[1],[2]] => 1 => [1,1] => 11 => 2
[[1,2,3]] => 00 => [3] => 100 => 1
[[1,3],[2]] => 10 => [1,2] => 110 => 2
[[1,2],[3]] => 01 => [2,1] => 101 => 2
[[1],[2],[3]] => 11 => [1,1,1] => 111 => 3
[[1,2,3,4]] => 000 => [4] => 1000 => 1
[[1,3,4],[2]] => 100 => [1,3] => 1100 => 2
[[1,2,4],[3]] => 010 => [2,2] => 1010 => 2
[[1,2,3],[4]] => 001 => [3,1] => 1001 => 2
[[1,3],[2,4]] => 101 => [1,2,1] => 1101 => 3
[[1,2],[3,4]] => 010 => [2,2] => 1010 => 2
[[1,4],[2],[3]] => 110 => [1,1,2] => 1110 => 3
[[1,3],[2],[4]] => 101 => [1,2,1] => 1101 => 3
[[1,2],[3],[4]] => 011 => [2,1,1] => 1011 => 3
[[1],[2],[3],[4]] => 111 => [1,1,1,1] => 1111 => 4
[[1,2,3,4,5]] => 0000 => [5] => 10000 => 1
[[1,3,4,5],[2]] => 1000 => [1,4] => 11000 => 2
[[1,2,4,5],[3]] => 0100 => [2,3] => 10100 => 2
[[1,2,3,5],[4]] => 0010 => [3,2] => 10010 => 2
[[1,2,3,4],[5]] => 0001 => [4,1] => 10001 => 2
[[1,3,5],[2,4]] => 1010 => [1,2,2] => 11010 => 3
[[1,2,5],[3,4]] => 0100 => [2,3] => 10100 => 2
[[1,3,4],[2,5]] => 1001 => [1,3,1] => 11001 => 3
[[1,2,4],[3,5]] => 0101 => [2,2,1] => 10101 => 3
[[1,2,3],[4,5]] => 0010 => [3,2] => 10010 => 2
[[1,4,5],[2],[3]] => 1100 => [1,1,3] => 11100 => 3
[[1,3,5],[2],[4]] => 1010 => [1,2,2] => 11010 => 3
[[1,2,5],[3],[4]] => 0110 => [2,1,2] => 10110 => 3
[[1,3,4],[2],[5]] => 1001 => [1,3,1] => 11001 => 3
[[1,2,4],[3],[5]] => 0101 => [2,2,1] => 10101 => 3
[[1,2,3],[4],[5]] => 0011 => [3,1,1] => 10011 => 3
[[1,4],[2,5],[3]] => 1101 => [1,1,2,1] => 11101 => 4
[[1,3],[2,5],[4]] => 1010 => [1,2,2] => 11010 => 3
[[1,2],[3,5],[4]] => 0110 => [2,1,2] => 10110 => 3
[[1,3],[2,4],[5]] => 1011 => [1,2,1,1] => 11011 => 4
[[1,2],[3,4],[5]] => 0101 => [2,2,1] => 10101 => 3
[[1,5],[2],[3],[4]] => 1110 => [1,1,1,2] => 11110 => 4
[[1,4],[2],[3],[5]] => 1101 => [1,1,2,1] => 11101 => 4
[[1,3],[2],[4],[5]] => 1011 => [1,2,1,1] => 11011 => 4
[[1,2],[3],[4],[5]] => 0111 => [2,1,1,1] => 10111 => 4
[[1],[2],[3],[4],[5]] => 1111 => [1,1,1,1,1] => 11111 => 5
[[1,2,3,4,5,6]] => 00000 => [6] => 100000 => 1
[[1,3,4,5,6],[2]] => 10000 => [1,5] => 110000 => 2
[[1,2,4,5,6],[3]] => 01000 => [2,4] => 101000 => 2
[[1,2,3,5,6],[4]] => 00100 => [3,3] => 100100 => 2
[[1,2,3,4,6],[5]] => 00010 => [4,2] => 100010 => 2
[[1,2,3,4,5],[6]] => 00001 => [5,1] => 100001 => 2
[[1,3,5,6],[2,4]] => 10100 => [1,2,3] => 110100 => 3
[[1,2,5,6],[3,4]] => 01000 => [2,4] => 101000 => 2
[[1,3,4,6],[2,5]] => 10010 => [1,3,2] => 110010 => 3
[[1,2,4,6],[3,5]] => 01010 => [2,2,2] => 101010 => 3
[[1,2,3,6],[4,5]] => 00100 => [3,3] => 100100 => 2
[[1,3,4,5],[2,6]] => 10001 => [1,4,1] => 110001 => 3
[[1,2,4,5],[3,6]] => 01001 => [2,3,1] => 101001 => 3
[[1,2,3,5],[4,6]] => 00101 => [3,2,1] => 100101 => 3
[[1,2,3,4],[5,6]] => 00010 => [4,2] => 100010 => 2
[[1,4,5,6],[2],[3]] => 11000 => [1,1,4] => 111000 => 3
[[1,3,5,6],[2],[4]] => 10100 => [1,2,3] => 110100 => 3
[[1,2,5,6],[3],[4]] => 01100 => [2,1,3] => 101100 => 3
[[1,3,4,6],[2],[5]] => 10010 => [1,3,2] => 110010 => 3
[[1,2,4,6],[3],[5]] => 01010 => [2,2,2] => 101010 => 3
[[1,2,3,6],[4],[5]] => 00110 => [3,1,2] => 100110 => 3
[[1,3,4,5],[2],[6]] => 10001 => [1,4,1] => 110001 => 3
[[1,2,4,5],[3],[6]] => 01001 => [2,3,1] => 101001 => 3
[[1,2,3,5],[4],[6]] => 00101 => [3,2,1] => 100101 => 3
[[1,2,3,4],[5],[6]] => 00011 => [4,1,1] => 100011 => 3
[[1,3,5],[2,4,6]] => 10101 => [1,2,2,1] => 110101 => 4
[[1,2,5],[3,4,6]] => 01001 => [2,3,1] => 101001 => 3
[[1,3,4],[2,5,6]] => 10010 => [1,3,2] => 110010 => 3
[[1,2,4],[3,5,6]] => 01010 => [2,2,2] => 101010 => 3
[[1,2,3],[4,5,6]] => 00100 => [3,3] => 100100 => 2
[[1,4,6],[2,5],[3]] => 11010 => [1,1,2,2] => 111010 => 4
[[1,3,6],[2,5],[4]] => 10100 => [1,2,3] => 110100 => 3
[[1,2,6],[3,5],[4]] => 01100 => [2,1,3] => 101100 => 3
[[1,3,6],[2,4],[5]] => 10110 => [1,2,1,2] => 110110 => 4
[[1,2,6],[3,4],[5]] => 01010 => [2,2,2] => 101010 => 3
[[1,4,5],[2,6],[3]] => 11001 => [1,1,3,1] => 111001 => 4
[[1,3,5],[2,6],[4]] => 10101 => [1,2,2,1] => 110101 => 4
[[1,2,5],[3,6],[4]] => 01101 => [2,1,2,1] => 101101 => 4
[[1,3,4],[2,6],[5]] => 10010 => [1,3,2] => 110010 => 3
[[1,2,4],[3,6],[5]] => 01010 => [2,2,2] => 101010 => 3
[[1,2,3],[4,6],[5]] => 00110 => [3,1,2] => 100110 => 3
[[1,3,5],[2,4],[6]] => 10101 => [1,2,2,1] => 110101 => 4
[[1,2,5],[3,4],[6]] => 01001 => [2,3,1] => 101001 => 3
[[1,3,4],[2,5],[6]] => 10011 => [1,3,1,1] => 110011 => 4
[[1,2,4],[3,5],[6]] => 01011 => [2,2,1,1] => 101011 => 4
[[1,2,3],[4,5],[6]] => 00101 => [3,2,1] => 100101 => 3
[[1,5,6],[2],[3],[4]] => 11100 => [1,1,1,3] => 111100 => 4
[[1,4,6],[2],[3],[5]] => 11010 => [1,1,2,2] => 111010 => 4
[[1,3,6],[2],[4],[5]] => 10110 => [1,2,1,2] => 110110 => 4
[[1,2,6],[3],[4],[5]] => 01110 => [2,1,1,2] => 101110 => 4
[[1,4,5],[2],[3],[6]] => 11001 => [1,1,3,1] => 111001 => 4
[[1,3,5],[2],[4],[6]] => 10101 => [1,2,2,1] => 110101 => 4
[[1,2,5],[3],[4],[6]] => 01101 => [2,1,2,1] => 101101 => 4
[[1,3,4],[2],[5],[6]] => 10011 => [1,3,1,1] => 110011 => 4
[[1,2,4],[3],[5],[6]] => 01011 => [2,2,1,1] => 101011 => 4
[[1,2,3],[4],[5],[6]] => 00111 => [3,1,1,1] => 100111 => 4
[[1,4],[2,5],[3,6]] => 11011 => [1,1,2,1,1] => 111011 => 5
[[1,3],[2,5],[4,6]] => 10101 => [1,2,2,1] => 110101 => 4
>>> Load all 1496 entries. <<<[[1,2],[3,5],[4,6]] => 01101 => [2,1,2,1] => 101101 => 4
[[1,3],[2,4],[5,6]] => 10110 => [1,2,1,2] => 110110 => 4
[[1,2],[3,4],[5,6]] => 01010 => [2,2,2] => 101010 => 3
[[1,5],[2,6],[3],[4]] => 11101 => [1,1,1,2,1] => 111101 => 5
[[1,4],[2,6],[3],[5]] => 11010 => [1,1,2,2] => 111010 => 4
[[1,3],[2,6],[4],[5]] => 10110 => [1,2,1,2] => 110110 => 4
[[1,2],[3,6],[4],[5]] => 01110 => [2,1,1,2] => 101110 => 4
[[1,4],[2,5],[3],[6]] => 11011 => [1,1,2,1,1] => 111011 => 5
[[1,3],[2,5],[4],[6]] => 10101 => [1,2,2,1] => 110101 => 4
[[1,2],[3,5],[4],[6]] => 01101 => [2,1,2,1] => 101101 => 4
[[1,3],[2,4],[5],[6]] => 10111 => [1,2,1,1,1] => 110111 => 5
[[1,2],[3,4],[5],[6]] => 01011 => [2,2,1,1] => 101011 => 4
[[1,6],[2],[3],[4],[5]] => 11110 => [1,1,1,1,2] => 111110 => 5
[[1,5],[2],[3],[4],[6]] => 11101 => [1,1,1,2,1] => 111101 => 5
[[1,4],[2],[3],[5],[6]] => 11011 => [1,1,2,1,1] => 111011 => 5
[[1,3],[2],[4],[5],[6]] => 10111 => [1,2,1,1,1] => 110111 => 5
[[1,2],[3],[4],[5],[6]] => 01111 => [2,1,1,1,1] => 101111 => 5
[[1],[2],[3],[4],[5],[6]] => 11111 => [1,1,1,1,1,1] => 111111 => 6
[[1,2,3,4,5,6,7]] => 000000 => [7] => 1000000 => 1
[[1,3,4,5,6,7],[2]] => 100000 => [1,6] => 1100000 => 2
[[1,2,4,5,6,7],[3]] => 010000 => [2,5] => 1010000 => 2
[[1,2,3,5,6,7],[4]] => 001000 => [3,4] => 1001000 => 2
[[1,2,3,4,6,7],[5]] => 000100 => [4,3] => 1000100 => 2
[[1,2,3,4,5,7],[6]] => 000010 => [5,2] => 1000010 => 2
[[1,2,3,4,5,6],[7]] => 000001 => [6,1] => 1000001 => 2
[[1,3,5,6,7],[2,4]] => 101000 => [1,2,4] => 1101000 => 3
[[1,2,5,6,7],[3,4]] => 010000 => [2,5] => 1010000 => 2
[[1,3,4,6,7],[2,5]] => 100100 => [1,3,3] => 1100100 => 3
[[1,2,4,6,7],[3,5]] => 010100 => [2,2,3] => 1010100 => 3
[[1,2,3,6,7],[4,5]] => 001000 => [3,4] => 1001000 => 2
[[1,3,4,5,7],[2,6]] => 100010 => [1,4,2] => 1100010 => 3
[[1,2,4,5,7],[3,6]] => 010010 => [2,3,2] => 1010010 => 3
[[1,2,3,5,7],[4,6]] => 001010 => [3,2,2] => 1001010 => 3
[[1,2,3,4,7],[5,6]] => 000100 => [4,3] => 1000100 => 2
[[1,3,4,5,6],[2,7]] => 100001 => [1,5,1] => 1100001 => 3
[[1,2,4,5,6],[3,7]] => 010001 => [2,4,1] => 1010001 => 3
[[1,2,3,5,6],[4,7]] => 001001 => [3,3,1] => 1001001 => 3
[[1,2,3,4,6],[5,7]] => 000101 => [4,2,1] => 1000101 => 3
[[1,2,3,4,5],[6,7]] => 000010 => [5,2] => 1000010 => 2
[[1,4,5,6,7],[2],[3]] => 110000 => [1,1,5] => 1110000 => 3
[[1,3,5,6,7],[2],[4]] => 101000 => [1,2,4] => 1101000 => 3
[[1,2,5,6,7],[3],[4]] => 011000 => [2,1,4] => 1011000 => 3
[[1,3,4,6,7],[2],[5]] => 100100 => [1,3,3] => 1100100 => 3
[[1,2,4,6,7],[3],[5]] => 010100 => [2,2,3] => 1010100 => 3
[[1,2,3,6,7],[4],[5]] => 001100 => [3,1,3] => 1001100 => 3
[[1,3,4,5,7],[2],[6]] => 100010 => [1,4,2] => 1100010 => 3
[[1,2,4,5,7],[3],[6]] => 010010 => [2,3,2] => 1010010 => 3
[[1,2,3,5,7],[4],[6]] => 001010 => [3,2,2] => 1001010 => 3
[[1,2,3,4,7],[5],[6]] => 000110 => [4,1,2] => 1000110 => 3
[[1,3,4,5,6],[2],[7]] => 100001 => [1,5,1] => 1100001 => 3
[[1,2,4,5,6],[3],[7]] => 010001 => [2,4,1] => 1010001 => 3
[[1,2,3,5,6],[4],[7]] => 001001 => [3,3,1] => 1001001 => 3
[[1,2,3,4,6],[5],[7]] => 000101 => [4,2,1] => 1000101 => 3
[[1,2,3,4,5],[6],[7]] => 000011 => [5,1,1] => 1000011 => 3
[[1,3,5,7],[2,4,6]] => 101010 => [1,2,2,2] => 1101010 => 4
[[1,2,5,7],[3,4,6]] => 010010 => [2,3,2] => 1010010 => 3
[[1,3,4,7],[2,5,6]] => 100100 => [1,3,3] => 1100100 => 3
[[1,2,4,7],[3,5,6]] => 010100 => [2,2,3] => 1010100 => 3
[[1,2,3,7],[4,5,6]] => 001000 => [3,4] => 1001000 => 2
[[1,3,5,6],[2,4,7]] => 101001 => [1,2,3,1] => 1101001 => 4
[[1,2,5,6],[3,4,7]] => 010001 => [2,4,1] => 1010001 => 3
[[1,3,4,6],[2,5,7]] => 100101 => [1,3,2,1] => 1100101 => 4
[[1,2,4,6],[3,5,7]] => 010101 => [2,2,2,1] => 1010101 => 4
[[1,2,3,6],[4,5,7]] => 001001 => [3,3,1] => 1001001 => 3
[[1,3,4,5],[2,6,7]] => 100010 => [1,4,2] => 1100010 => 3
[[1,2,4,5],[3,6,7]] => 010010 => [2,3,2] => 1010010 => 3
[[1,2,3,5],[4,6,7]] => 001010 => [3,2,2] => 1001010 => 3
[[1,2,3,4],[5,6,7]] => 000100 => [4,3] => 1000100 => 2
[[1,4,6,7],[2,5],[3]] => 110100 => [1,1,2,3] => 1110100 => 4
[[1,3,6,7],[2,5],[4]] => 101000 => [1,2,4] => 1101000 => 3
[[1,2,6,7],[3,5],[4]] => 011000 => [2,1,4] => 1011000 => 3
[[1,3,6,7],[2,4],[5]] => 101100 => [1,2,1,3] => 1101100 => 4
[[1,2,6,7],[3,4],[5]] => 010100 => [2,2,3] => 1010100 => 3
[[1,4,5,7],[2,6],[3]] => 110010 => [1,1,3,2] => 1110010 => 4
[[1,3,5,7],[2,6],[4]] => 101010 => [1,2,2,2] => 1101010 => 4
[[1,2,5,7],[3,6],[4]] => 011010 => [2,1,2,2] => 1011010 => 4
[[1,3,4,7],[2,6],[5]] => 100100 => [1,3,3] => 1100100 => 3
[[1,2,4,7],[3,6],[5]] => 010100 => [2,2,3] => 1010100 => 3
[[1,2,3,7],[4,6],[5]] => 001100 => [3,1,3] => 1001100 => 3
[[1,3,5,7],[2,4],[6]] => 101010 => [1,2,2,2] => 1101010 => 4
[[1,2,5,7],[3,4],[6]] => 010010 => [2,3,2] => 1010010 => 3
[[1,3,4,7],[2,5],[6]] => 100110 => [1,3,1,2] => 1100110 => 4
[[1,2,4,7],[3,5],[6]] => 010110 => [2,2,1,2] => 1010110 => 4
[[1,2,3,7],[4,5],[6]] => 001010 => [3,2,2] => 1001010 => 3
[[1,4,5,6],[2,7],[3]] => 110001 => [1,1,4,1] => 1110001 => 4
[[1,3,5,6],[2,7],[4]] => 101001 => [1,2,3,1] => 1101001 => 4
[[1,2,5,6],[3,7],[4]] => 011001 => [2,1,3,1] => 1011001 => 4
[[1,3,4,6],[2,7],[5]] => 100101 => [1,3,2,1] => 1100101 => 4
[[1,2,4,6],[3,7],[5]] => 010101 => [2,2,2,1] => 1010101 => 4
[[1,2,3,6],[4,7],[5]] => 001101 => [3,1,2,1] => 1001101 => 4
[[1,3,4,5],[2,7],[6]] => 100010 => [1,4,2] => 1100010 => 3
[[1,2,4,5],[3,7],[6]] => 010010 => [2,3,2] => 1010010 => 3
[[1,2,3,5],[4,7],[6]] => 001010 => [3,2,2] => 1001010 => 3
[[1,2,3,4],[5,7],[6]] => 000110 => [4,1,2] => 1000110 => 3
[[1,3,5,6],[2,4],[7]] => 101001 => [1,2,3,1] => 1101001 => 4
[[1,2,5,6],[3,4],[7]] => 010001 => [2,4,1] => 1010001 => 3
[[1,3,4,6],[2,5],[7]] => 100101 => [1,3,2,1] => 1100101 => 4
[[1,2,4,6],[3,5],[7]] => 010101 => [2,2,2,1] => 1010101 => 4
[[1,2,3,6],[4,5],[7]] => 001001 => [3,3,1] => 1001001 => 3
[[1,3,4,5],[2,6],[7]] => 100011 => [1,4,1,1] => 1100011 => 4
[[1,2,4,5],[3,6],[7]] => 010011 => [2,3,1,1] => 1010011 => 4
[[1,2,3,5],[4,6],[7]] => 001011 => [3,2,1,1] => 1001011 => 4
[[1,2,3,4],[5,6],[7]] => 000101 => [4,2,1] => 1000101 => 3
[[1,5,6,7],[2],[3],[4]] => 111000 => [1,1,1,4] => 1111000 => 4
[[1,4,6,7],[2],[3],[5]] => 110100 => [1,1,2,3] => 1110100 => 4
[[1,3,6,7],[2],[4],[5]] => 101100 => [1,2,1,3] => 1101100 => 4
[[1,2,6,7],[3],[4],[5]] => 011100 => [2,1,1,3] => 1011100 => 4
[[1,4,5,7],[2],[3],[6]] => 110010 => [1,1,3,2] => 1110010 => 4
[[1,3,5,7],[2],[4],[6]] => 101010 => [1,2,2,2] => 1101010 => 4
[[1,2,5,7],[3],[4],[6]] => 011010 => [2,1,2,2] => 1011010 => 4
[[1,3,4,7],[2],[5],[6]] => 100110 => [1,3,1,2] => 1100110 => 4
[[1,2,4,7],[3],[5],[6]] => 010110 => [2,2,1,2] => 1010110 => 4
[[1,2,3,7],[4],[5],[6]] => 001110 => [3,1,1,2] => 1001110 => 4
[[1,4,5,6],[2],[3],[7]] => 110001 => [1,1,4,1] => 1110001 => 4
[[1,3,5,6],[2],[4],[7]] => 101001 => [1,2,3,1] => 1101001 => 4
[[1,2,5,6],[3],[4],[7]] => 011001 => [2,1,3,1] => 1011001 => 4
[[1,3,4,6],[2],[5],[7]] => 100101 => [1,3,2,1] => 1100101 => 4
[[1,2,4,6],[3],[5],[7]] => 010101 => [2,2,2,1] => 1010101 => 4
[[1,2,3,6],[4],[5],[7]] => 001101 => [3,1,2,1] => 1001101 => 4
[[1,3,4,5],[2],[6],[7]] => 100011 => [1,4,1,1] => 1100011 => 4
[[1,2,4,5],[3],[6],[7]] => 010011 => [2,3,1,1] => 1010011 => 4
[[1,2,3,5],[4],[6],[7]] => 001011 => [3,2,1,1] => 1001011 => 4
[[1,2,3,4],[5],[6],[7]] => 000111 => [4,1,1,1] => 1000111 => 4
[[1,4,6],[2,5,7],[3]] => 110101 => [1,1,2,2,1] => 1110101 => 5
[[1,3,6],[2,5,7],[4]] => 101001 => [1,2,3,1] => 1101001 => 4
[[1,2,6],[3,5,7],[4]] => 011001 => [2,1,3,1] => 1011001 => 4
[[1,3,6],[2,4,7],[5]] => 101101 => [1,2,1,2,1] => 1101101 => 5
[[1,2,6],[3,4,7],[5]] => 010101 => [2,2,2,1] => 1010101 => 4
[[1,4,5],[2,6,7],[3]] => 110010 => [1,1,3,2] => 1110010 => 4
[[1,3,5],[2,6,7],[4]] => 101010 => [1,2,2,2] => 1101010 => 4
[[1,2,5],[3,6,7],[4]] => 011010 => [2,1,2,2] => 1011010 => 4
[[1,3,4],[2,6,7],[5]] => 100100 => [1,3,3] => 1100100 => 3
[[1,2,4],[3,6,7],[5]] => 010100 => [2,2,3] => 1010100 => 3
[[1,2,3],[4,6,7],[5]] => 001100 => [3,1,3] => 1001100 => 3
[[1,3,5],[2,4,7],[6]] => 101010 => [1,2,2,2] => 1101010 => 4
[[1,2,5],[3,4,7],[6]] => 010010 => [2,3,2] => 1010010 => 3
[[1,3,4],[2,5,7],[6]] => 100110 => [1,3,1,2] => 1100110 => 4
[[1,2,4],[3,5,7],[6]] => 010110 => [2,2,1,2] => 1010110 => 4
[[1,2,3],[4,5,7],[6]] => 001010 => [3,2,2] => 1001010 => 3
[[1,3,5],[2,4,6],[7]] => 101011 => [1,2,2,1,1] => 1101011 => 5
[[1,2,5],[3,4,6],[7]] => 010011 => [2,3,1,1] => 1010011 => 4
[[1,3,4],[2,5,6],[7]] => 100101 => [1,3,2,1] => 1100101 => 4
[[1,2,4],[3,5,6],[7]] => 010101 => [2,2,2,1] => 1010101 => 4
[[1,2,3],[4,5,6],[7]] => 001001 => [3,3,1] => 1001001 => 3
[[1,4,7],[2,5],[3,6]] => 110110 => [1,1,2,1,2] => 1110110 => 5
[[1,3,7],[2,5],[4,6]] => 101010 => [1,2,2,2] => 1101010 => 4
[[1,2,7],[3,5],[4,6]] => 011010 => [2,1,2,2] => 1011010 => 4
[[1,3,7],[2,4],[5,6]] => 101100 => [1,2,1,3] => 1101100 => 4
[[1,2,7],[3,4],[5,6]] => 010100 => [2,2,3] => 1010100 => 3
[[1,4,6],[2,5],[3,7]] => 110101 => [1,1,2,2,1] => 1110101 => 5
[[1,3,6],[2,5],[4,7]] => 101001 => [1,2,3,1] => 1101001 => 4
[[1,2,6],[3,5],[4,7]] => 011001 => [2,1,3,1] => 1011001 => 4
[[1,3,6],[2,4],[5,7]] => 101101 => [1,2,1,2,1] => 1101101 => 5
[[1,2,6],[3,4],[5,7]] => 010101 => [2,2,2,1] => 1010101 => 4
[[1,4,5],[2,6],[3,7]] => 110011 => [1,1,3,1,1] => 1110011 => 5
[[1,3,5],[2,6],[4,7]] => 101011 => [1,2,2,1,1] => 1101011 => 5
[[1,2,5],[3,6],[4,7]] => 011011 => [2,1,2,1,1] => 1011011 => 5
[[1,3,4],[2,6],[5,7]] => 100101 => [1,3,2,1] => 1100101 => 4
[[1,2,4],[3,6],[5,7]] => 010101 => [2,2,2,1] => 1010101 => 4
[[1,2,3],[4,6],[5,7]] => 001101 => [3,1,2,1] => 1001101 => 4
[[1,3,5],[2,4],[6,7]] => 101010 => [1,2,2,2] => 1101010 => 4
[[1,2,5],[3,4],[6,7]] => 010010 => [2,3,2] => 1010010 => 3
[[1,3,4],[2,5],[6,7]] => 100110 => [1,3,1,2] => 1100110 => 4
[[1,2,4],[3,5],[6,7]] => 010110 => [2,2,1,2] => 1010110 => 4
[[1,2,3],[4,5],[6,7]] => 001010 => [3,2,2] => 1001010 => 3
[[1,5,7],[2,6],[3],[4]] => 111010 => [1,1,1,2,2] => 1111010 => 5
[[1,4,7],[2,6],[3],[5]] => 110100 => [1,1,2,3] => 1110100 => 4
[[1,3,7],[2,6],[4],[5]] => 101100 => [1,2,1,3] => 1101100 => 4
[[1,2,7],[3,6],[4],[5]] => 011100 => [2,1,1,3] => 1011100 => 4
[[1,4,7],[2,5],[3],[6]] => 110110 => [1,1,2,1,2] => 1110110 => 5
[[1,3,7],[2,5],[4],[6]] => 101010 => [1,2,2,2] => 1101010 => 4
[[1,2,7],[3,5],[4],[6]] => 011010 => [2,1,2,2] => 1011010 => 4
[[1,3,7],[2,4],[5],[6]] => 101110 => [1,2,1,1,2] => 1101110 => 5
[[1,2,7],[3,4],[5],[6]] => 010110 => [2,2,1,2] => 1010110 => 4
[[1,5,6],[2,7],[3],[4]] => 111001 => [1,1,1,3,1] => 1111001 => 5
[[1,4,6],[2,7],[3],[5]] => 110101 => [1,1,2,2,1] => 1110101 => 5
[[1,3,6],[2,7],[4],[5]] => 101101 => [1,2,1,2,1] => 1101101 => 5
[[1,2,6],[3,7],[4],[5]] => 011101 => [2,1,1,2,1] => 1011101 => 5
[[1,4,5],[2,7],[3],[6]] => 110010 => [1,1,3,2] => 1110010 => 4
[[1,3,5],[2,7],[4],[6]] => 101010 => [1,2,2,2] => 1101010 => 4
[[1,2,5],[3,7],[4],[6]] => 011010 => [2,1,2,2] => 1011010 => 4
[[1,3,4],[2,7],[5],[6]] => 100110 => [1,3,1,2] => 1100110 => 4
[[1,2,4],[3,7],[5],[6]] => 010110 => [2,2,1,2] => 1010110 => 4
[[1,2,3],[4,7],[5],[6]] => 001110 => [3,1,1,2] => 1001110 => 4
[[1,4,6],[2,5],[3],[7]] => 110101 => [1,1,2,2,1] => 1110101 => 5
[[1,3,6],[2,5],[4],[7]] => 101001 => [1,2,3,1] => 1101001 => 4
[[1,2,6],[3,5],[4],[7]] => 011001 => [2,1,3,1] => 1011001 => 4
[[1,3,6],[2,4],[5],[7]] => 101101 => [1,2,1,2,1] => 1101101 => 5
[[1,2,6],[3,4],[5],[7]] => 010101 => [2,2,2,1] => 1010101 => 4
[[1,4,5],[2,6],[3],[7]] => 110011 => [1,1,3,1,1] => 1110011 => 5
[[1,3,5],[2,6],[4],[7]] => 101011 => [1,2,2,1,1] => 1101011 => 5
[[1,2,5],[3,6],[4],[7]] => 011011 => [2,1,2,1,1] => 1011011 => 5
[[1,3,4],[2,6],[5],[7]] => 100101 => [1,3,2,1] => 1100101 => 4
[[1,2,4],[3,6],[5],[7]] => 010101 => [2,2,2,1] => 1010101 => 4
[[1,2,3],[4,6],[5],[7]] => 001101 => [3,1,2,1] => 1001101 => 4
[[1,3,5],[2,4],[6],[7]] => 101011 => [1,2,2,1,1] => 1101011 => 5
[[1,2,5],[3,4],[6],[7]] => 010011 => [2,3,1,1] => 1010011 => 4
[[1,3,4],[2,5],[6],[7]] => 100111 => [1,3,1,1,1] => 1100111 => 5
[[1,2,4],[3,5],[6],[7]] => 010111 => [2,2,1,1,1] => 1010111 => 5
[[1,2,3],[4,5],[6],[7]] => 001011 => [3,2,1,1] => 1001011 => 4
[[1,6,7],[2],[3],[4],[5]] => 111100 => [1,1,1,1,3] => 1111100 => 5
[[1,5,7],[2],[3],[4],[6]] => 111010 => [1,1,1,2,2] => 1111010 => 5
[[1,4,7],[2],[3],[5],[6]] => 110110 => [1,1,2,1,2] => 1110110 => 5
[[1,3,7],[2],[4],[5],[6]] => 101110 => [1,2,1,1,2] => 1101110 => 5
[[1,2,7],[3],[4],[5],[6]] => 011110 => [2,1,1,1,2] => 1011110 => 5
[[1,5,6],[2],[3],[4],[7]] => 111001 => [1,1,1,3,1] => 1111001 => 5
[[1,4,6],[2],[3],[5],[7]] => 110101 => [1,1,2,2,1] => 1110101 => 5
[[1,3,6],[2],[4],[5],[7]] => 101101 => [1,2,1,2,1] => 1101101 => 5
[[1,2,6],[3],[4],[5],[7]] => 011101 => [2,1,1,2,1] => 1011101 => 5
[[1,4,5],[2],[3],[6],[7]] => 110011 => [1,1,3,1,1] => 1110011 => 5
[[1,3,5],[2],[4],[6],[7]] => 101011 => [1,2,2,1,1] => 1101011 => 5
[[1,2,5],[3],[4],[6],[7]] => 011011 => [2,1,2,1,1] => 1011011 => 5
[[1,3,4],[2],[5],[6],[7]] => 100111 => [1,3,1,1,1] => 1100111 => 5
[[1,2,4],[3],[5],[6],[7]] => 010111 => [2,2,1,1,1] => 1010111 => 5
[[1,2,3],[4],[5],[6],[7]] => 001111 => [3,1,1,1,1] => 1001111 => 5
[[1,5],[2,6],[3,7],[4]] => 111011 => [1,1,1,2,1,1] => 1111011 => 6
[[1,4],[2,6],[3,7],[5]] => 110101 => [1,1,2,2,1] => 1110101 => 5
[[1,3],[2,6],[4,7],[5]] => 101101 => [1,2,1,2,1] => 1101101 => 5
[[1,2],[3,6],[4,7],[5]] => 011101 => [2,1,1,2,1] => 1011101 => 5
[[1,4],[2,5],[3,7],[6]] => 110110 => [1,1,2,1,2] => 1110110 => 5
[[1,3],[2,5],[4,7],[6]] => 101010 => [1,2,2,2] => 1101010 => 4
[[1,2],[3,5],[4,7],[6]] => 011010 => [2,1,2,2] => 1011010 => 4
[[1,3],[2,4],[5,7],[6]] => 101110 => [1,2,1,1,2] => 1101110 => 5
[[1,2],[3,4],[5,7],[6]] => 010110 => [2,2,1,2] => 1010110 => 4
[[1,4],[2,5],[3,6],[7]] => 110111 => [1,1,2,1,1,1] => 1110111 => 6
[[1,3],[2,5],[4,6],[7]] => 101011 => [1,2,2,1,1] => 1101011 => 5
[[1,2],[3,5],[4,6],[7]] => 011011 => [2,1,2,1,1] => 1011011 => 5
[[1,3],[2,4],[5,6],[7]] => 101101 => [1,2,1,2,1] => 1101101 => 5
[[1,2],[3,4],[5,6],[7]] => 010101 => [2,2,2,1] => 1010101 => 4
[[1,6],[2,7],[3],[4],[5]] => 111101 => [1,1,1,1,2,1] => 1111101 => 6
[[1,5],[2,7],[3],[4],[6]] => 111010 => [1,1,1,2,2] => 1111010 => 5
[[1,4],[2,7],[3],[5],[6]] => 110110 => [1,1,2,1,2] => 1110110 => 5
[[1,3],[2,7],[4],[5],[6]] => 101110 => [1,2,1,1,2] => 1101110 => 5
[[1,2],[3,7],[4],[5],[6]] => 011110 => [2,1,1,1,2] => 1011110 => 5
[[1,5],[2,6],[3],[4],[7]] => 111011 => [1,1,1,2,1,1] => 1111011 => 6
[[1,4],[2,6],[3],[5],[7]] => 110101 => [1,1,2,2,1] => 1110101 => 5
[[1,3],[2,6],[4],[5],[7]] => 101101 => [1,2,1,2,1] => 1101101 => 5
[[1,2],[3,6],[4],[5],[7]] => 011101 => [2,1,1,2,1] => 1011101 => 5
[[1,4],[2,5],[3],[6],[7]] => 110111 => [1,1,2,1,1,1] => 1110111 => 6
[[1,3],[2,5],[4],[6],[7]] => 101011 => [1,2,2,1,1] => 1101011 => 5
[[1,2],[3,5],[4],[6],[7]] => 011011 => [2,1,2,1,1] => 1011011 => 5
[[1,3],[2,4],[5],[6],[7]] => 101111 => [1,2,1,1,1,1] => 1101111 => 6
[[1,2],[3,4],[5],[6],[7]] => 010111 => [2,2,1,1,1] => 1010111 => 5
[[1,7],[2],[3],[4],[5],[6]] => 111110 => [1,1,1,1,1,2] => 1111110 => 6
[[1,6],[2],[3],[4],[5],[7]] => 111101 => [1,1,1,1,2,1] => 1111101 => 6
[[1,5],[2],[3],[4],[6],[7]] => 111011 => [1,1,1,2,1,1] => 1111011 => 6
[[1,4],[2],[3],[5],[6],[7]] => 110111 => [1,1,2,1,1,1] => 1110111 => 6
[[1,3],[2],[4],[5],[6],[7]] => 101111 => [1,2,1,1,1,1] => 1101111 => 6
[[1,2],[3],[4],[5],[6],[7]] => 011111 => [2,1,1,1,1,1] => 1011111 => 6
[[1],[2],[3],[4],[5],[6],[7]] => 111111 => [1,1,1,1,1,1,1] => 1111111 => 7
[[1,2,3,4,5,6,7,8]] => 0000000 => [8] => 10000000 => 1
[[1,3,4,5,6,7,8],[2]] => 1000000 => [1,7] => 11000000 => 2
[[1,2,4,5,6,7,8],[3]] => 0100000 => [2,6] => 10100000 => 2
[[1,2,3,5,6,7,8],[4]] => 0010000 => [3,5] => 10010000 => 2
[[1,2,3,4,6,7,8],[5]] => 0001000 => [4,4] => 10001000 => 2
[[1,2,3,4,5,7,8],[6]] => 0000100 => [5,3] => 10000100 => 2
[[1,2,3,4,5,6,8],[7]] => 0000010 => [6,2] => 10000010 => 2
[[1,2,3,4,5,6,7],[8]] => 0000001 => [7,1] => 10000001 => 2
[[1,3,5,6,7,8],[2,4]] => 1010000 => [1,2,5] => 11010000 => 3
[[1,2,5,6,7,8],[3,4]] => 0100000 => [2,6] => 10100000 => 2
[[1,3,4,6,7,8],[2,5]] => 1001000 => [1,3,4] => 11001000 => 3
[[1,2,4,6,7,8],[3,5]] => 0101000 => [2,2,4] => 10101000 => 3
[[1,2,3,6,7,8],[4,5]] => 0010000 => [3,5] => 10010000 => 2
[[1,3,4,5,7,8],[2,6]] => 1000100 => [1,4,3] => 11000100 => 3
[[1,2,4,5,7,8],[3,6]] => 0100100 => [2,3,3] => 10100100 => 3
[[1,2,3,5,7,8],[4,6]] => 0010100 => [3,2,3] => 10010100 => 3
[[1,2,3,4,7,8],[5,6]] => 0001000 => [4,4] => 10001000 => 2
[[1,3,4,5,6,8],[2,7]] => 1000010 => [1,5,2] => 11000010 => 3
[[1,2,4,5,6,8],[3,7]] => 0100010 => [2,4,2] => 10100010 => 3
[[1,2,3,5,6,8],[4,7]] => 0010010 => [3,3,2] => 10010010 => 3
[[1,2,3,4,6,8],[5,7]] => 0001010 => [4,2,2] => 10001010 => 3
[[1,2,3,4,5,8],[6,7]] => 0000100 => [5,3] => 10000100 => 2
[[1,3,4,5,6,7],[2,8]] => 1000001 => [1,6,1] => 11000001 => 3
[[1,2,4,5,6,7],[3,8]] => 0100001 => [2,5,1] => 10100001 => 3
[[1,2,3,5,6,7],[4,8]] => 0010001 => [3,4,1] => 10010001 => 3
[[1,2,3,4,6,7],[5,8]] => 0001001 => [4,3,1] => 10001001 => 3
[[1,2,3,4,5,7],[6,8]] => 0000101 => [5,2,1] => 10000101 => 3
[[1,2,3,4,5,6],[7,8]] => 0000010 => [6,2] => 10000010 => 2
[[1,4,5,6,7,8],[2],[3]] => 1100000 => [1,1,6] => 11100000 => 3
[[1,3,5,6,7,8],[2],[4]] => 1010000 => [1,2,5] => 11010000 => 3
[[1,2,5,6,7,8],[3],[4]] => 0110000 => [2,1,5] => 10110000 => 3
[[1,3,4,6,7,8],[2],[5]] => 1001000 => [1,3,4] => 11001000 => 3
[[1,2,4,6,7,8],[3],[5]] => 0101000 => [2,2,4] => 10101000 => 3
[[1,2,3,6,7,8],[4],[5]] => 0011000 => [3,1,4] => 10011000 => 3
[[1,3,4,5,7,8],[2],[6]] => 1000100 => [1,4,3] => 11000100 => 3
[[1,2,4,5,7,8],[3],[6]] => 0100100 => [2,3,3] => 10100100 => 3
[[1,2,3,5,7,8],[4],[6]] => 0010100 => [3,2,3] => 10010100 => 3
[[1,2,3,4,7,8],[5],[6]] => 0001100 => [4,1,3] => 10001100 => 3
[[1,3,4,5,6,8],[2],[7]] => 1000010 => [1,5,2] => 11000010 => 3
[[1,2,4,5,6,8],[3],[7]] => 0100010 => [2,4,2] => 10100010 => 3
[[1,2,3,5,6,8],[4],[7]] => 0010010 => [3,3,2] => 10010010 => 3
[[1,2,3,4,6,8],[5],[7]] => 0001010 => [4,2,2] => 10001010 => 3
[[1,2,3,4,5,8],[6],[7]] => 0000110 => [5,1,2] => 10000110 => 3
[[1,3,4,5,6,7],[2],[8]] => 1000001 => [1,6,1] => 11000001 => 3
[[1,2,4,5,6,7],[3],[8]] => 0100001 => [2,5,1] => 10100001 => 3
[[1,2,3,5,6,7],[4],[8]] => 0010001 => [3,4,1] => 10010001 => 3
[[1,2,3,4,6,7],[5],[8]] => 0001001 => [4,3,1] => 10001001 => 3
[[1,2,3,4,5,7],[6],[8]] => 0000101 => [5,2,1] => 10000101 => 3
[[1,2,3,4,5,6],[7],[8]] => 0000011 => [6,1,1] => 10000011 => 3
[[1,3,5,7,8],[2,4,6]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,5,7,8],[3,4,6]] => 0100100 => [2,3,3] => 10100100 => 3
[[1,3,4,7,8],[2,5,6]] => 1001000 => [1,3,4] => 11001000 => 3
[[1,2,4,7,8],[3,5,6]] => 0101000 => [2,2,4] => 10101000 => 3
[[1,2,3,7,8],[4,5,6]] => 0010000 => [3,5] => 10010000 => 2
[[1,3,5,6,8],[2,4,7]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,5,6,8],[3,4,7]] => 0100010 => [2,4,2] => 10100010 => 3
[[1,3,4,6,8],[2,5,7]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,6,8],[3,5,7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,6,8],[4,5,7]] => 0010010 => [3,3,2] => 10010010 => 3
[[1,3,4,5,8],[2,6,7]] => 1000100 => [1,4,3] => 11000100 => 3
[[1,2,4,5,8],[3,6,7]] => 0100100 => [2,3,3] => 10100100 => 3
[[1,2,3,5,8],[4,6,7]] => 0010100 => [3,2,3] => 10010100 => 3
[[1,2,3,4,8],[5,6,7]] => 0001000 => [4,4] => 10001000 => 2
[[1,3,5,6,7],[2,4,8]] => 1010001 => [1,2,4,1] => 11010001 => 4
[[1,2,5,6,7],[3,4,8]] => 0100001 => [2,5,1] => 10100001 => 3
[[1,3,4,6,7],[2,5,8]] => 1001001 => [1,3,3,1] => 11001001 => 4
[[1,2,4,6,7],[3,5,8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,2,3,6,7],[4,5,8]] => 0010001 => [3,4,1] => 10010001 => 3
[[1,3,4,5,7],[2,6,8]] => 1000101 => [1,4,2,1] => 11000101 => 4
[[1,2,4,5,7],[3,6,8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,2,3,5,7],[4,6,8]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,2,3,4,7],[5,6,8]] => 0001001 => [4,3,1] => 10001001 => 3
[[1,3,4,5,6],[2,7,8]] => 1000010 => [1,5,2] => 11000010 => 3
[[1,2,4,5,6],[3,7,8]] => 0100010 => [2,4,2] => 10100010 => 3
[[1,2,3,5,6],[4,7,8]] => 0010010 => [3,3,2] => 10010010 => 3
[[1,2,3,4,6],[5,7,8]] => 0001010 => [4,2,2] => 10001010 => 3
[[1,2,3,4,5],[6,7,8]] => 0000100 => [5,3] => 10000100 => 2
[[1,4,6,7,8],[2,5],[3]] => 1101000 => [1,1,2,4] => 11101000 => 4
[[1,3,6,7,8],[2,5],[4]] => 1010000 => [1,2,5] => 11010000 => 3
[[1,2,6,7,8],[3,5],[4]] => 0110000 => [2,1,5] => 10110000 => 3
[[1,3,6,7,8],[2,4],[5]] => 1011000 => [1,2,1,4] => 11011000 => 4
[[1,2,6,7,8],[3,4],[5]] => 0101000 => [2,2,4] => 10101000 => 3
[[1,4,5,7,8],[2,6],[3]] => 1100100 => [1,1,3,3] => 11100100 => 4
[[1,3,5,7,8],[2,6],[4]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,5,7,8],[3,6],[4]] => 0110100 => [2,1,2,3] => 10110100 => 4
[[1,3,4,7,8],[2,6],[5]] => 1001000 => [1,3,4] => 11001000 => 3
[[1,2,4,7,8],[3,6],[5]] => 0101000 => [2,2,4] => 10101000 => 3
[[1,2,3,7,8],[4,6],[5]] => 0011000 => [3,1,4] => 10011000 => 3
[[1,3,5,7,8],[2,4],[6]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,5,7,8],[3,4],[6]] => 0100100 => [2,3,3] => 10100100 => 3
[[1,3,4,7,8],[2,5],[6]] => 1001100 => [1,3,1,3] => 11001100 => 4
[[1,2,4,7,8],[3,5],[6]] => 0101100 => [2,2,1,3] => 10101100 => 4
[[1,2,3,7,8],[4,5],[6]] => 0010100 => [3,2,3] => 10010100 => 3
[[1,4,5,6,8],[2,7],[3]] => 1100010 => [1,1,4,2] => 11100010 => 4
[[1,3,5,6,8],[2,7],[4]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,5,6,8],[3,7],[4]] => 0110010 => [2,1,3,2] => 10110010 => 4
[[1,3,4,6,8],[2,7],[5]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,6,8],[3,7],[5]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,6,8],[4,7],[5]] => 0011010 => [3,1,2,2] => 10011010 => 4
[[1,3,4,5,8],[2,7],[6]] => 1000100 => [1,4,3] => 11000100 => 3
[[1,2,4,5,8],[3,7],[6]] => 0100100 => [2,3,3] => 10100100 => 3
[[1,2,3,5,8],[4,7],[6]] => 0010100 => [3,2,3] => 10010100 => 3
[[1,2,3,4,8],[5,7],[6]] => 0001100 => [4,1,3] => 10001100 => 3
[[1,3,5,6,8],[2,4],[7]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,5,6,8],[3,4],[7]] => 0100010 => [2,4,2] => 10100010 => 3
[[1,3,4,6,8],[2,5],[7]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,6,8],[3,5],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,6,8],[4,5],[7]] => 0010010 => [3,3,2] => 10010010 => 3
[[1,3,4,5,8],[2,6],[7]] => 1000110 => [1,4,1,2] => 11000110 => 4
[[1,2,4,5,8],[3,6],[7]] => 0100110 => [2,3,1,2] => 10100110 => 4
[[1,2,3,5,8],[4,6],[7]] => 0010110 => [3,2,1,2] => 10010110 => 4
[[1,2,3,4,8],[5,6],[7]] => 0001010 => [4,2,2] => 10001010 => 3
[[1,4,5,6,7],[2,8],[3]] => 1100001 => [1,1,5,1] => 11100001 => 4
[[1,3,5,6,7],[2,8],[4]] => 1010001 => [1,2,4,1] => 11010001 => 4
[[1,2,5,6,7],[3,8],[4]] => 0110001 => [2,1,4,1] => 10110001 => 4
[[1,3,4,6,7],[2,8],[5]] => 1001001 => [1,3,3,1] => 11001001 => 4
[[1,2,4,6,7],[3,8],[5]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,2,3,6,7],[4,8],[5]] => 0011001 => [3,1,3,1] => 10011001 => 4
[[1,3,4,5,7],[2,8],[6]] => 1000101 => [1,4,2,1] => 11000101 => 4
[[1,2,4,5,7],[3,8],[6]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,2,3,5,7],[4,8],[6]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,2,3,4,7],[5,8],[6]] => 0001101 => [4,1,2,1] => 10001101 => 4
[[1,3,4,5,6],[2,8],[7]] => 1000010 => [1,5,2] => 11000010 => 3
[[1,2,4,5,6],[3,8],[7]] => 0100010 => [2,4,2] => 10100010 => 3
[[1,2,3,5,6],[4,8],[7]] => 0010010 => [3,3,2] => 10010010 => 3
[[1,2,3,4,6],[5,8],[7]] => 0001010 => [4,2,2] => 10001010 => 3
[[1,2,3,4,5],[6,8],[7]] => 0000110 => [5,1,2] => 10000110 => 3
[[1,3,5,6,7],[2,4],[8]] => 1010001 => [1,2,4,1] => 11010001 => 4
[[1,2,5,6,7],[3,4],[8]] => 0100001 => [2,5,1] => 10100001 => 3
[[1,3,4,6,7],[2,5],[8]] => 1001001 => [1,3,3,1] => 11001001 => 4
[[1,2,4,6,7],[3,5],[8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,2,3,6,7],[4,5],[8]] => 0010001 => [3,4,1] => 10010001 => 3
[[1,3,4,5,7],[2,6],[8]] => 1000101 => [1,4,2,1] => 11000101 => 4
[[1,2,4,5,7],[3,6],[8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,2,3,5,7],[4,6],[8]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,2,3,4,7],[5,6],[8]] => 0001001 => [4,3,1] => 10001001 => 3
[[1,3,4,5,6],[2,7],[8]] => 1000011 => [1,5,1,1] => 11000011 => 4
[[1,2,4,5,6],[3,7],[8]] => 0100011 => [2,4,1,1] => 10100011 => 4
[[1,2,3,5,6],[4,7],[8]] => 0010011 => [3,3,1,1] => 10010011 => 4
[[1,2,3,4,6],[5,7],[8]] => 0001011 => [4,2,1,1] => 10001011 => 4
[[1,2,3,4,5],[6,7],[8]] => 0000101 => [5,2,1] => 10000101 => 3
[[1,5,6,7,8],[2],[3],[4]] => 1110000 => [1,1,1,5] => 11110000 => 4
[[1,4,6,7,8],[2],[3],[5]] => 1101000 => [1,1,2,4] => 11101000 => 4
[[1,3,6,7,8],[2],[4],[5]] => 1011000 => [1,2,1,4] => 11011000 => 4
[[1,2,6,7,8],[3],[4],[5]] => 0111000 => [2,1,1,4] => 10111000 => 4
[[1,4,5,7,8],[2],[3],[6]] => 1100100 => [1,1,3,3] => 11100100 => 4
[[1,3,5,7,8],[2],[4],[6]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,5,7,8],[3],[4],[6]] => 0110100 => [2,1,2,3] => 10110100 => 4
[[1,3,4,7,8],[2],[5],[6]] => 1001100 => [1,3,1,3] => 11001100 => 4
[[1,2,4,7,8],[3],[5],[6]] => 0101100 => [2,2,1,3] => 10101100 => 4
[[1,2,3,7,8],[4],[5],[6]] => 0011100 => [3,1,1,3] => 10011100 => 4
[[1,4,5,6,8],[2],[3],[7]] => 1100010 => [1,1,4,2] => 11100010 => 4
[[1,3,5,6,8],[2],[4],[7]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,5,6,8],[3],[4],[7]] => 0110010 => [2,1,3,2] => 10110010 => 4
[[1,3,4,6,8],[2],[5],[7]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,6,8],[3],[5],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,6,8],[4],[5],[7]] => 0011010 => [3,1,2,2] => 10011010 => 4
[[1,3,4,5,8],[2],[6],[7]] => 1000110 => [1,4,1,2] => 11000110 => 4
[[1,2,4,5,8],[3],[6],[7]] => 0100110 => [2,3,1,2] => 10100110 => 4
[[1,2,3,5,8],[4],[6],[7]] => 0010110 => [3,2,1,2] => 10010110 => 4
[[1,2,3,4,8],[5],[6],[7]] => 0001110 => [4,1,1,2] => 10001110 => 4
[[1,4,5,6,7],[2],[3],[8]] => 1100001 => [1,1,5,1] => 11100001 => 4
[[1,3,5,6,7],[2],[4],[8]] => 1010001 => [1,2,4,1] => 11010001 => 4
[[1,2,5,6,7],[3],[4],[8]] => 0110001 => [2,1,4,1] => 10110001 => 4
[[1,3,4,6,7],[2],[5],[8]] => 1001001 => [1,3,3,1] => 11001001 => 4
[[1,2,4,6,7],[3],[5],[8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,2,3,6,7],[4],[5],[8]] => 0011001 => [3,1,3,1] => 10011001 => 4
[[1,3,4,5,7],[2],[6],[8]] => 1000101 => [1,4,2,1] => 11000101 => 4
[[1,2,4,5,7],[3],[6],[8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,2,3,5,7],[4],[6],[8]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,2,3,4,7],[5],[6],[8]] => 0001101 => [4,1,2,1] => 10001101 => 4
[[1,3,4,5,6],[2],[7],[8]] => 1000011 => [1,5,1,1] => 11000011 => 4
[[1,2,4,5,6],[3],[7],[8]] => 0100011 => [2,4,1,1] => 10100011 => 4
[[1,2,3,5,6],[4],[7],[8]] => 0010011 => [3,3,1,1] => 10010011 => 4
[[1,2,3,4,6],[5],[7],[8]] => 0001011 => [4,2,1,1] => 10001011 => 4
[[1,2,3,4,5],[6],[7],[8]] => 0000111 => [5,1,1,1] => 10000111 => 4
[[1,3,5,7],[2,4,6,8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5,7],[3,4,6,8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,3,4,7],[2,5,6,8]] => 1001001 => [1,3,3,1] => 11001001 => 4
[[1,2,4,7],[3,5,6,8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,2,3,7],[4,5,6,8]] => 0010001 => [3,4,1] => 10010001 => 3
[[1,3,5,6],[2,4,7,8]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,5,6],[3,4,7,8]] => 0100010 => [2,4,2] => 10100010 => 3
[[1,3,4,6],[2,5,7,8]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,6],[3,5,7,8]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,6],[4,5,7,8]] => 0010010 => [3,3,2] => 10010010 => 3
[[1,3,4,5],[2,6,7,8]] => 1000100 => [1,4,3] => 11000100 => 3
[[1,2,4,5],[3,6,7,8]] => 0100100 => [2,3,3] => 10100100 => 3
[[1,2,3,5],[4,6,7,8]] => 0010100 => [3,2,3] => 10010100 => 3
[[1,2,3,4],[5,6,7,8]] => 0001000 => [4,4] => 10001000 => 2
[[1,4,6,8],[2,5,7],[3]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,6,8],[2,5,7],[4]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,6,8],[3,5,7],[4]] => 0110010 => [2,1,3,2] => 10110010 => 4
[[1,3,6,8],[2,4,7],[5]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,6,8],[3,4,7],[5]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,4,5,8],[2,6,7],[3]] => 1100100 => [1,1,3,3] => 11100100 => 4
[[1,3,5,8],[2,6,7],[4]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,5,8],[3,6,7],[4]] => 0110100 => [2,1,2,3] => 10110100 => 4
[[1,3,4,8],[2,6,7],[5]] => 1001000 => [1,3,4] => 11001000 => 3
[[1,2,4,8],[3,6,7],[5]] => 0101000 => [2,2,4] => 10101000 => 3
[[1,2,3,8],[4,6,7],[5]] => 0011000 => [3,1,4] => 10011000 => 3
[[1,3,5,8],[2,4,7],[6]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,5,8],[3,4,7],[6]] => 0100100 => [2,3,3] => 10100100 => 3
[[1,3,4,8],[2,5,7],[6]] => 1001100 => [1,3,1,3] => 11001100 => 4
[[1,2,4,8],[3,5,7],[6]] => 0101100 => [2,2,1,3] => 10101100 => 4
[[1,2,3,8],[4,5,7],[6]] => 0010100 => [3,2,3] => 10010100 => 3
[[1,3,5,8],[2,4,6],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5,8],[3,4,6],[7]] => 0100110 => [2,3,1,2] => 10100110 => 4
[[1,3,4,8],[2,5,6],[7]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,8],[3,5,6],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,8],[4,5,6],[7]] => 0010010 => [3,3,2] => 10010010 => 3
[[1,4,6,7],[2,5,8],[3]] => 1101001 => [1,1,2,3,1] => 11101001 => 5
[[1,3,6,7],[2,5,8],[4]] => 1010001 => [1,2,4,1] => 11010001 => 4
[[1,2,6,7],[3,5,8],[4]] => 0110001 => [2,1,4,1] => 10110001 => 4
[[1,3,6,7],[2,4,8],[5]] => 1011001 => [1,2,1,3,1] => 11011001 => 5
[[1,2,6,7],[3,4,8],[5]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,4,5,7],[2,6,8],[3]] => 1100101 => [1,1,3,2,1] => 11100101 => 5
[[1,3,5,7],[2,6,8],[4]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5,7],[3,6,8],[4]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,4,7],[2,6,8],[5]] => 1001001 => [1,3,3,1] => 11001001 => 4
[[1,2,4,7],[3,6,8],[5]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,2,3,7],[4,6,8],[5]] => 0011001 => [3,1,3,1] => 10011001 => 4
[[1,3,5,7],[2,4,8],[6]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5,7],[3,4,8],[6]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,3,4,7],[2,5,8],[6]] => 1001101 => [1,3,1,2,1] => 11001101 => 5
[[1,2,4,7],[3,5,8],[6]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,2,3,7],[4,5,8],[6]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,4,5,6],[2,7,8],[3]] => 1100010 => [1,1,4,2] => 11100010 => 4
[[1,3,5,6],[2,7,8],[4]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,5,6],[3,7,8],[4]] => 0110010 => [2,1,3,2] => 10110010 => 4
[[1,3,4,6],[2,7,8],[5]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,6],[3,7,8],[5]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,6],[4,7,8],[5]] => 0011010 => [3,1,2,2] => 10011010 => 4
[[1,3,4,5],[2,7,8],[6]] => 1000100 => [1,4,3] => 11000100 => 3
[[1,2,4,5],[3,7,8],[6]] => 0100100 => [2,3,3] => 10100100 => 3
[[1,2,3,5],[4,7,8],[6]] => 0010100 => [3,2,3] => 10010100 => 3
[[1,2,3,4],[5,7,8],[6]] => 0001100 => [4,1,3] => 10001100 => 3
[[1,3,5,6],[2,4,8],[7]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,5,6],[3,4,8],[7]] => 0100010 => [2,4,2] => 10100010 => 3
[[1,3,4,6],[2,5,8],[7]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,6],[3,5,8],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,6],[4,5,8],[7]] => 0010010 => [3,3,2] => 10010010 => 3
[[1,3,4,5],[2,6,8],[7]] => 1000110 => [1,4,1,2] => 11000110 => 4
[[1,2,4,5],[3,6,8],[7]] => 0100110 => [2,3,1,2] => 10100110 => 4
[[1,2,3,5],[4,6,8],[7]] => 0010110 => [3,2,1,2] => 10010110 => 4
[[1,2,3,4],[5,6,8],[7]] => 0001010 => [4,2,2] => 10001010 => 3
[[1,3,5,7],[2,4,6],[8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5,7],[3,4,6],[8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,3,4,7],[2,5,6],[8]] => 1001001 => [1,3,3,1] => 11001001 => 4
[[1,2,4,7],[3,5,6],[8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,2,3,7],[4,5,6],[8]] => 0010001 => [3,4,1] => 10010001 => 3
[[1,3,5,6],[2,4,7],[8]] => 1010011 => [1,2,3,1,1] => 11010011 => 5
[[1,2,5,6],[3,4,7],[8]] => 0100011 => [2,4,1,1] => 10100011 => 4
[[1,3,4,6],[2,5,7],[8]] => 1001011 => [1,3,2,1,1] => 11001011 => 5
[[1,2,4,6],[3,5,7],[8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,2,3,6],[4,5,7],[8]] => 0010011 => [3,3,1,1] => 10010011 => 4
[[1,3,4,5],[2,6,7],[8]] => 1000101 => [1,4,2,1] => 11000101 => 4
[[1,2,4,5],[3,6,7],[8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,2,3,5],[4,6,7],[8]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,2,3,4],[5,6,7],[8]] => 0001001 => [4,3,1] => 10001001 => 3
[[1,4,7,8],[2,5],[3,6]] => 1101100 => [1,1,2,1,3] => 11101100 => 5
[[1,3,7,8],[2,5],[4,6]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,7,8],[3,5],[4,6]] => 0110100 => [2,1,2,3] => 10110100 => 4
[[1,3,7,8],[2,4],[5,6]] => 1011000 => [1,2,1,4] => 11011000 => 4
[[1,2,7,8],[3,4],[5,6]] => 0101000 => [2,2,4] => 10101000 => 3
[[1,4,6,8],[2,5],[3,7]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,6,8],[2,5],[4,7]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,6,8],[3,5],[4,7]] => 0110010 => [2,1,3,2] => 10110010 => 4
[[1,3,6,8],[2,4],[5,7]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,6,8],[3,4],[5,7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,4,5,8],[2,6],[3,7]] => 1100110 => [1,1,3,1,2] => 11100110 => 5
[[1,3,5,8],[2,6],[4,7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5,8],[3,6],[4,7]] => 0110110 => [2,1,2,1,2] => 10110110 => 5
[[1,3,4,8],[2,6],[5,7]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,8],[3,6],[5,7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,8],[4,6],[5,7]] => 0011010 => [3,1,2,2] => 10011010 => 4
[[1,3,5,8],[2,4],[6,7]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,5,8],[3,4],[6,7]] => 0100100 => [2,3,3] => 10100100 => 3
[[1,3,4,8],[2,5],[6,7]] => 1001100 => [1,3,1,3] => 11001100 => 4
[[1,2,4,8],[3,5],[6,7]] => 0101100 => [2,2,1,3] => 10101100 => 4
[[1,2,3,8],[4,5],[6,7]] => 0010100 => [3,2,3] => 10010100 => 3
[[1,4,6,7],[2,5],[3,8]] => 1101001 => [1,1,2,3,1] => 11101001 => 5
[[1,3,6,7],[2,5],[4,8]] => 1010001 => [1,2,4,1] => 11010001 => 4
[[1,2,6,7],[3,5],[4,8]] => 0110001 => [2,1,4,1] => 10110001 => 4
[[1,3,6,7],[2,4],[5,8]] => 1011001 => [1,2,1,3,1] => 11011001 => 5
[[1,2,6,7],[3,4],[5,8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,4,5,7],[2,6],[3,8]] => 1100101 => [1,1,3,2,1] => 11100101 => 5
[[1,3,5,7],[2,6],[4,8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5,7],[3,6],[4,8]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,4,7],[2,6],[5,8]] => 1001001 => [1,3,3,1] => 11001001 => 4
[[1,2,4,7],[3,6],[5,8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,2,3,7],[4,6],[5,8]] => 0011001 => [3,1,3,1] => 10011001 => 4
[[1,3,5,7],[2,4],[6,8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5,7],[3,4],[6,8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,3,4,7],[2,5],[6,8]] => 1001101 => [1,3,1,2,1] => 11001101 => 5
[[1,2,4,7],[3,5],[6,8]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,2,3,7],[4,5],[6,8]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,4,5,6],[2,7],[3,8]] => 1100011 => [1,1,4,1,1] => 11100011 => 5
[[1,3,5,6],[2,7],[4,8]] => 1010011 => [1,2,3,1,1] => 11010011 => 5
[[1,2,5,6],[3,7],[4,8]] => 0110011 => [2,1,3,1,1] => 10110011 => 5
[[1,3,4,6],[2,7],[5,8]] => 1001011 => [1,3,2,1,1] => 11001011 => 5
[[1,2,4,6],[3,7],[5,8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,2,3,6],[4,7],[5,8]] => 0011011 => [3,1,2,1,1] => 10011011 => 5
[[1,3,4,5],[2,7],[6,8]] => 1000101 => [1,4,2,1] => 11000101 => 4
[[1,2,4,5],[3,7],[6,8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,2,3,5],[4,7],[6,8]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,2,3,4],[5,7],[6,8]] => 0001101 => [4,1,2,1] => 10001101 => 4
[[1,3,5,6],[2,4],[7,8]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,5,6],[3,4],[7,8]] => 0100010 => [2,4,2] => 10100010 => 3
[[1,3,4,6],[2,5],[7,8]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,6],[3,5],[7,8]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,6],[4,5],[7,8]] => 0010010 => [3,3,2] => 10010010 => 3
[[1,3,4,5],[2,6],[7,8]] => 1000110 => [1,4,1,2] => 11000110 => 4
[[1,2,4,5],[3,6],[7,8]] => 0100110 => [2,3,1,2] => 10100110 => 4
[[1,2,3,5],[4,6],[7,8]] => 0010110 => [3,2,1,2] => 10010110 => 4
[[1,2,3,4],[5,6],[7,8]] => 0001010 => [4,2,2] => 10001010 => 3
[[1,5,7,8],[2,6],[3],[4]] => 1110100 => [1,1,1,2,3] => 11110100 => 5
[[1,4,7,8],[2,6],[3],[5]] => 1101000 => [1,1,2,4] => 11101000 => 4
[[1,3,7,8],[2,6],[4],[5]] => 1011000 => [1,2,1,4] => 11011000 => 4
[[1,2,7,8],[3,6],[4],[5]] => 0111000 => [2,1,1,4] => 10111000 => 4
[[1,4,7,8],[2,5],[3],[6]] => 1101100 => [1,1,2,1,3] => 11101100 => 5
[[1,3,7,8],[2,5],[4],[6]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,7,8],[3,5],[4],[6]] => 0110100 => [2,1,2,3] => 10110100 => 4
[[1,3,7,8],[2,4],[5],[6]] => 1011100 => [1,2,1,1,3] => 11011100 => 5
[[1,2,7,8],[3,4],[5],[6]] => 0101100 => [2,2,1,3] => 10101100 => 4
[[1,5,6,8],[2,7],[3],[4]] => 1110010 => [1,1,1,3,2] => 11110010 => 5
[[1,4,6,8],[2,7],[3],[5]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,6,8],[2,7],[4],[5]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,6,8],[3,7],[4],[5]] => 0111010 => [2,1,1,2,2] => 10111010 => 5
[[1,4,5,8],[2,7],[3],[6]] => 1100100 => [1,1,3,3] => 11100100 => 4
[[1,3,5,8],[2,7],[4],[6]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,5,8],[3,7],[4],[6]] => 0110100 => [2,1,2,3] => 10110100 => 4
[[1,3,4,8],[2,7],[5],[6]] => 1001100 => [1,3,1,3] => 11001100 => 4
[[1,2,4,8],[3,7],[5],[6]] => 0101100 => [2,2,1,3] => 10101100 => 4
[[1,2,3,8],[4,7],[5],[6]] => 0011100 => [3,1,1,3] => 10011100 => 4
[[1,4,6,8],[2,5],[3],[7]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,6,8],[2,5],[4],[7]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,6,8],[3,5],[4],[7]] => 0110010 => [2,1,3,2] => 10110010 => 4
[[1,3,6,8],[2,4],[5],[7]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,6,8],[3,4],[5],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,4,5,8],[2,6],[3],[7]] => 1100110 => [1,1,3,1,2] => 11100110 => 5
[[1,3,5,8],[2,6],[4],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5,8],[3,6],[4],[7]] => 0110110 => [2,1,2,1,2] => 10110110 => 5
[[1,3,4,8],[2,6],[5],[7]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,8],[3,6],[5],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,8],[4,6],[5],[7]] => 0011010 => [3,1,2,2] => 10011010 => 4
[[1,3,5,8],[2,4],[6],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5,8],[3,4],[6],[7]] => 0100110 => [2,3,1,2] => 10100110 => 4
[[1,3,4,8],[2,5],[6],[7]] => 1001110 => [1,3,1,1,2] => 11001110 => 5
[[1,2,4,8],[3,5],[6],[7]] => 0101110 => [2,2,1,1,2] => 10101110 => 5
[[1,2,3,8],[4,5],[6],[7]] => 0010110 => [3,2,1,2] => 10010110 => 4
[[1,5,6,7],[2,8],[3],[4]] => 1110001 => [1,1,1,4,1] => 11110001 => 5
[[1,4,6,7],[2,8],[3],[5]] => 1101001 => [1,1,2,3,1] => 11101001 => 5
[[1,3,6,7],[2,8],[4],[5]] => 1011001 => [1,2,1,3,1] => 11011001 => 5
[[1,2,6,7],[3,8],[4],[5]] => 0111001 => [2,1,1,3,1] => 10111001 => 5
[[1,4,5,7],[2,8],[3],[6]] => 1100101 => [1,1,3,2,1] => 11100101 => 5
[[1,3,5,7],[2,8],[4],[6]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5,7],[3,8],[4],[6]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,4,7],[2,8],[5],[6]] => 1001101 => [1,3,1,2,1] => 11001101 => 5
[[1,2,4,7],[3,8],[5],[6]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,2,3,7],[4,8],[5],[6]] => 0011101 => [3,1,1,2,1] => 10011101 => 5
[[1,4,5,6],[2,8],[3],[7]] => 1100010 => [1,1,4,2] => 11100010 => 4
[[1,3,5,6],[2,8],[4],[7]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,5,6],[3,8],[4],[7]] => 0110010 => [2,1,3,2] => 10110010 => 4
[[1,3,4,6],[2,8],[5],[7]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4,6],[3,8],[5],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3,6],[4,8],[5],[7]] => 0011010 => [3,1,2,2] => 10011010 => 4
[[1,3,4,5],[2,8],[6],[7]] => 1000110 => [1,4,1,2] => 11000110 => 4
[[1,2,4,5],[3,8],[6],[7]] => 0100110 => [2,3,1,2] => 10100110 => 4
[[1,2,3,5],[4,8],[6],[7]] => 0010110 => [3,2,1,2] => 10010110 => 4
[[1,2,3,4],[5,8],[6],[7]] => 0001110 => [4,1,1,2] => 10001110 => 4
[[1,4,6,7],[2,5],[3],[8]] => 1101001 => [1,1,2,3,1] => 11101001 => 5
[[1,3,6,7],[2,5],[4],[8]] => 1010001 => [1,2,4,1] => 11010001 => 4
[[1,2,6,7],[3,5],[4],[8]] => 0110001 => [2,1,4,1] => 10110001 => 4
[[1,3,6,7],[2,4],[5],[8]] => 1011001 => [1,2,1,3,1] => 11011001 => 5
[[1,2,6,7],[3,4],[5],[8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,4,5,7],[2,6],[3],[8]] => 1100101 => [1,1,3,2,1] => 11100101 => 5
[[1,3,5,7],[2,6],[4],[8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5,7],[3,6],[4],[8]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,4,7],[2,6],[5],[8]] => 1001001 => [1,3,3,1] => 11001001 => 4
[[1,2,4,7],[3,6],[5],[8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,2,3,7],[4,6],[5],[8]] => 0011001 => [3,1,3,1] => 10011001 => 4
[[1,3,5,7],[2,4],[6],[8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5,7],[3,4],[6],[8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,3,4,7],[2,5],[6],[8]] => 1001101 => [1,3,1,2,1] => 11001101 => 5
[[1,2,4,7],[3,5],[6],[8]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,2,3,7],[4,5],[6],[8]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,4,5,6],[2,7],[3],[8]] => 1100011 => [1,1,4,1,1] => 11100011 => 5
[[1,3,5,6],[2,7],[4],[8]] => 1010011 => [1,2,3,1,1] => 11010011 => 5
[[1,2,5,6],[3,7],[4],[8]] => 0110011 => [2,1,3,1,1] => 10110011 => 5
[[1,3,4,6],[2,7],[5],[8]] => 1001011 => [1,3,2,1,1] => 11001011 => 5
[[1,2,4,6],[3,7],[5],[8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,2,3,6],[4,7],[5],[8]] => 0011011 => [3,1,2,1,1] => 10011011 => 5
[[1,3,4,5],[2,7],[6],[8]] => 1000101 => [1,4,2,1] => 11000101 => 4
[[1,2,4,5],[3,7],[6],[8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,2,3,5],[4,7],[6],[8]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,2,3,4],[5,7],[6],[8]] => 0001101 => [4,1,2,1] => 10001101 => 4
[[1,3,5,6],[2,4],[7],[8]] => 1010011 => [1,2,3,1,1] => 11010011 => 5
[[1,2,5,6],[3,4],[7],[8]] => 0100011 => [2,4,1,1] => 10100011 => 4
[[1,3,4,6],[2,5],[7],[8]] => 1001011 => [1,3,2,1,1] => 11001011 => 5
[[1,2,4,6],[3,5],[7],[8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,2,3,6],[4,5],[7],[8]] => 0010011 => [3,3,1,1] => 10010011 => 4
[[1,3,4,5],[2,6],[7],[8]] => 1000111 => [1,4,1,1,1] => 11000111 => 5
[[1,2,4,5],[3,6],[7],[8]] => 0100111 => [2,3,1,1,1] => 10100111 => 5
[[1,2,3,5],[4,6],[7],[8]] => 0010111 => [3,2,1,1,1] => 10010111 => 5
[[1,2,3,4],[5,6],[7],[8]] => 0001011 => [4,2,1,1] => 10001011 => 4
[[1,6,7,8],[2],[3],[4],[5]] => 1111000 => [1,1,1,1,4] => 11111000 => 5
[[1,5,7,8],[2],[3],[4],[6]] => 1110100 => [1,1,1,2,3] => 11110100 => 5
[[1,4,7,8],[2],[3],[5],[6]] => 1101100 => [1,1,2,1,3] => 11101100 => 5
[[1,3,7,8],[2],[4],[5],[6]] => 1011100 => [1,2,1,1,3] => 11011100 => 5
[[1,2,7,8],[3],[4],[5],[6]] => 0111100 => [2,1,1,1,3] => 10111100 => 5
[[1,5,6,8],[2],[3],[4],[7]] => 1110010 => [1,1,1,3,2] => 11110010 => 5
[[1,4,6,8],[2],[3],[5],[7]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,6,8],[2],[4],[5],[7]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,6,8],[3],[4],[5],[7]] => 0111010 => [2,1,1,2,2] => 10111010 => 5
[[1,4,5,8],[2],[3],[6],[7]] => 1100110 => [1,1,3,1,2] => 11100110 => 5
[[1,3,5,8],[2],[4],[6],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5,8],[3],[4],[6],[7]] => 0110110 => [2,1,2,1,2] => 10110110 => 5
[[1,3,4,8],[2],[5],[6],[7]] => 1001110 => [1,3,1,1,2] => 11001110 => 5
[[1,2,4,8],[3],[5],[6],[7]] => 0101110 => [2,2,1,1,2] => 10101110 => 5
[[1,2,3,8],[4],[5],[6],[7]] => 0011110 => [3,1,1,1,2] => 10011110 => 5
[[1,5,6,7],[2],[3],[4],[8]] => 1110001 => [1,1,1,4,1] => 11110001 => 5
[[1,4,6,7],[2],[3],[5],[8]] => 1101001 => [1,1,2,3,1] => 11101001 => 5
[[1,3,6,7],[2],[4],[5],[8]] => 1011001 => [1,2,1,3,1] => 11011001 => 5
[[1,2,6,7],[3],[4],[5],[8]] => 0111001 => [2,1,1,3,1] => 10111001 => 5
[[1,4,5,7],[2],[3],[6],[8]] => 1100101 => [1,1,3,2,1] => 11100101 => 5
[[1,3,5,7],[2],[4],[6],[8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5,7],[3],[4],[6],[8]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,4,7],[2],[5],[6],[8]] => 1001101 => [1,3,1,2,1] => 11001101 => 5
[[1,2,4,7],[3],[5],[6],[8]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,2,3,7],[4],[5],[6],[8]] => 0011101 => [3,1,1,2,1] => 10011101 => 5
[[1,4,5,6],[2],[3],[7],[8]] => 1100011 => [1,1,4,1,1] => 11100011 => 5
[[1,3,5,6],[2],[4],[7],[8]] => 1010011 => [1,2,3,1,1] => 11010011 => 5
[[1,2,5,6],[3],[4],[7],[8]] => 0110011 => [2,1,3,1,1] => 10110011 => 5
[[1,3,4,6],[2],[5],[7],[8]] => 1001011 => [1,3,2,1,1] => 11001011 => 5
[[1,2,4,6],[3],[5],[7],[8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,2,3,6],[4],[5],[7],[8]] => 0011011 => [3,1,2,1,1] => 10011011 => 5
[[1,3,4,5],[2],[6],[7],[8]] => 1000111 => [1,4,1,1,1] => 11000111 => 5
[[1,2,4,5],[3],[6],[7],[8]] => 0100111 => [2,3,1,1,1] => 10100111 => 5
[[1,2,3,5],[4],[6],[7],[8]] => 0010111 => [3,2,1,1,1] => 10010111 => 5
[[1,2,3,4],[5],[6],[7],[8]] => 0001111 => [4,1,1,1,1] => 10001111 => 5
[[1,4,7],[2,5,8],[3,6]] => 1101101 => [1,1,2,1,2,1] => 11101101 => 6
[[1,3,7],[2,5,8],[4,6]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,7],[3,5,8],[4,6]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,7],[2,4,8],[5,6]] => 1011001 => [1,2,1,3,1] => 11011001 => 5
[[1,2,7],[3,4,8],[5,6]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,4,6],[2,5,8],[3,7]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,6],[2,5,8],[4,7]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,6],[3,5,8],[4,7]] => 0110010 => [2,1,3,2] => 10110010 => 4
[[1,3,6],[2,4,8],[5,7]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,6],[3,4,8],[5,7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,4,5],[2,6,8],[3,7]] => 1100110 => [1,1,3,1,2] => 11100110 => 5
[[1,3,5],[2,6,8],[4,7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5],[3,6,8],[4,7]] => 0110110 => [2,1,2,1,2] => 10110110 => 5
[[1,3,4],[2,6,8],[5,7]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4],[3,6,8],[5,7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3],[4,6,8],[5,7]] => 0011010 => [3,1,2,2] => 10011010 => 4
[[1,3,5],[2,4,8],[6,7]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,5],[3,4,8],[6,7]] => 0100100 => [2,3,3] => 10100100 => 3
[[1,3,4],[2,5,8],[6,7]] => 1001100 => [1,3,1,3] => 11001100 => 4
[[1,2,4],[3,5,8],[6,7]] => 0101100 => [2,2,1,3] => 10101100 => 4
[[1,2,3],[4,5,8],[6,7]] => 0010100 => [3,2,3] => 10010100 => 3
[[1,4,6],[2,5,7],[3,8]] => 1101011 => [1,1,2,2,1,1] => 11101011 => 6
[[1,3,6],[2,5,7],[4,8]] => 1010011 => [1,2,3,1,1] => 11010011 => 5
[[1,2,6],[3,5,7],[4,8]] => 0110011 => [2,1,3,1,1] => 10110011 => 5
[[1,3,6],[2,4,7],[5,8]] => 1011011 => [1,2,1,2,1,1] => 11011011 => 6
[[1,2,6],[3,4,7],[5,8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,4,5],[2,6,7],[3,8]] => 1100101 => [1,1,3,2,1] => 11100101 => 5
[[1,3,5],[2,6,7],[4,8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5],[3,6,7],[4,8]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,4],[2,6,7],[5,8]] => 1001001 => [1,3,3,1] => 11001001 => 4
[[1,2,4],[3,6,7],[5,8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,2,3],[4,6,7],[5,8]] => 0011001 => [3,1,3,1] => 10011001 => 4
[[1,3,5],[2,4,7],[6,8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5],[3,4,7],[6,8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,3,4],[2,5,7],[6,8]] => 1001101 => [1,3,1,2,1] => 11001101 => 5
[[1,2,4],[3,5,7],[6,8]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,2,3],[4,5,7],[6,8]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,3,5],[2,4,6],[7,8]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5],[3,4,6],[7,8]] => 0100110 => [2,3,1,2] => 10100110 => 4
[[1,3,4],[2,5,6],[7,8]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4],[3,5,6],[7,8]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3],[4,5,6],[7,8]] => 0010010 => [3,3,2] => 10010010 => 3
[[1,5,7],[2,6,8],[3],[4]] => 1110101 => [1,1,1,2,2,1] => 11110101 => 6
[[1,4,7],[2,6,8],[3],[5]] => 1101001 => [1,1,2,3,1] => 11101001 => 5
[[1,3,7],[2,6,8],[4],[5]] => 1011001 => [1,2,1,3,1] => 11011001 => 5
[[1,2,7],[3,6,8],[4],[5]] => 0111001 => [2,1,1,3,1] => 10111001 => 5
[[1,4,7],[2,5,8],[3],[6]] => 1101101 => [1,1,2,1,2,1] => 11101101 => 6
[[1,3,7],[2,5,8],[4],[6]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,7],[3,5,8],[4],[6]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,7],[2,4,8],[5],[6]] => 1011101 => [1,2,1,1,2,1] => 11011101 => 6
[[1,2,7],[3,4,8],[5],[6]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,5,6],[2,7,8],[3],[4]] => 1110010 => [1,1,1,3,2] => 11110010 => 5
[[1,4,6],[2,7,8],[3],[5]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,6],[2,7,8],[4],[5]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,6],[3,7,8],[4],[5]] => 0111010 => [2,1,1,2,2] => 10111010 => 5
[[1,4,5],[2,7,8],[3],[6]] => 1100100 => [1,1,3,3] => 11100100 => 4
[[1,3,5],[2,7,8],[4],[6]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,5],[3,7,8],[4],[6]] => 0110100 => [2,1,2,3] => 10110100 => 4
[[1,3,4],[2,7,8],[5],[6]] => 1001100 => [1,3,1,3] => 11001100 => 4
[[1,2,4],[3,7,8],[5],[6]] => 0101100 => [2,2,1,3] => 10101100 => 4
[[1,2,3],[4,7,8],[5],[6]] => 0011100 => [3,1,1,3] => 10011100 => 4
[[1,4,6],[2,5,8],[3],[7]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,6],[2,5,8],[4],[7]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,6],[3,5,8],[4],[7]] => 0110010 => [2,1,3,2] => 10110010 => 4
[[1,3,6],[2,4,8],[5],[7]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,6],[3,4,8],[5],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,4,5],[2,6,8],[3],[7]] => 1100110 => [1,1,3,1,2] => 11100110 => 5
[[1,3,5],[2,6,8],[4],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5],[3,6,8],[4],[7]] => 0110110 => [2,1,2,1,2] => 10110110 => 5
[[1,3,4],[2,6,8],[5],[7]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4],[3,6,8],[5],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3],[4,6,8],[5],[7]] => 0011010 => [3,1,2,2] => 10011010 => 4
[[1,3,5],[2,4,8],[6],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5],[3,4,8],[6],[7]] => 0100110 => [2,3,1,2] => 10100110 => 4
[[1,3,4],[2,5,8],[6],[7]] => 1001110 => [1,3,1,1,2] => 11001110 => 5
[[1,2,4],[3,5,8],[6],[7]] => 0101110 => [2,2,1,1,2] => 10101110 => 5
[[1,2,3],[4,5,8],[6],[7]] => 0010110 => [3,2,1,2] => 10010110 => 4
[[1,4,6],[2,5,7],[3],[8]] => 1101011 => [1,1,2,2,1,1] => 11101011 => 6
[[1,3,6],[2,5,7],[4],[8]] => 1010011 => [1,2,3,1,1] => 11010011 => 5
[[1,2,6],[3,5,7],[4],[8]] => 0110011 => [2,1,3,1,1] => 10110011 => 5
[[1,3,6],[2,4,7],[5],[8]] => 1011011 => [1,2,1,2,1,1] => 11011011 => 6
[[1,2,6],[3,4,7],[5],[8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,4,5],[2,6,7],[3],[8]] => 1100101 => [1,1,3,2,1] => 11100101 => 5
[[1,3,5],[2,6,7],[4],[8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5],[3,6,7],[4],[8]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,4],[2,6,7],[5],[8]] => 1001001 => [1,3,3,1] => 11001001 => 4
[[1,2,4],[3,6,7],[5],[8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,2,3],[4,6,7],[5],[8]] => 0011001 => [3,1,3,1] => 10011001 => 4
[[1,3,5],[2,4,7],[6],[8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5],[3,4,7],[6],[8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,3,4],[2,5,7],[6],[8]] => 1001101 => [1,3,1,2,1] => 11001101 => 5
[[1,2,4],[3,5,7],[6],[8]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,2,3],[4,5,7],[6],[8]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,3,5],[2,4,6],[7],[8]] => 1010111 => [1,2,2,1,1,1] => 11010111 => 6
[[1,2,5],[3,4,6],[7],[8]] => 0100111 => [2,3,1,1,1] => 10100111 => 5
[[1,3,4],[2,5,6],[7],[8]] => 1001011 => [1,3,2,1,1] => 11001011 => 5
[[1,2,4],[3,5,6],[7],[8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,2,3],[4,5,6],[7],[8]] => 0010011 => [3,3,1,1] => 10010011 => 4
[[1,5,8],[2,6],[3,7],[4]] => 1110110 => [1,1,1,2,1,2] => 11110110 => 6
[[1,4,8],[2,6],[3,7],[5]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,8],[2,6],[4,7],[5]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,8],[3,6],[4,7],[5]] => 0111010 => [2,1,1,2,2] => 10111010 => 5
[[1,4,8],[2,5],[3,7],[6]] => 1101100 => [1,1,2,1,3] => 11101100 => 5
[[1,3,8],[2,5],[4,7],[6]] => 1010100 => [1,2,2,3] => 11010100 => 4
[[1,2,8],[3,5],[4,7],[6]] => 0110100 => [2,1,2,3] => 10110100 => 4
[[1,3,8],[2,4],[5,7],[6]] => 1011100 => [1,2,1,1,3] => 11011100 => 5
[[1,2,8],[3,4],[5,7],[6]] => 0101100 => [2,2,1,3] => 10101100 => 4
[[1,4,8],[2,5],[3,6],[7]] => 1101110 => [1,1,2,1,1,2] => 11101110 => 6
[[1,3,8],[2,5],[4,6],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,8],[3,5],[4,6],[7]] => 0110110 => [2,1,2,1,2] => 10110110 => 5
[[1,3,8],[2,4],[5,6],[7]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,8],[3,4],[5,6],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,5,7],[2,6],[3,8],[4]] => 1110101 => [1,1,1,2,2,1] => 11110101 => 6
[[1,4,7],[2,6],[3,8],[5]] => 1101001 => [1,1,2,3,1] => 11101001 => 5
[[1,3,7],[2,6],[4,8],[5]] => 1011001 => [1,2,1,3,1] => 11011001 => 5
[[1,2,7],[3,6],[4,8],[5]] => 0111001 => [2,1,1,3,1] => 10111001 => 5
[[1,4,7],[2,5],[3,8],[6]] => 1101101 => [1,1,2,1,2,1] => 11101101 => 6
[[1,3,7],[2,5],[4,8],[6]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,7],[3,5],[4,8],[6]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,7],[2,4],[5,8],[6]] => 1011101 => [1,2,1,1,2,1] => 11011101 => 6
[[1,2,7],[3,4],[5,8],[6]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,5,6],[2,7],[3,8],[4]] => 1110011 => [1,1,1,3,1,1] => 11110011 => 6
[[1,4,6],[2,7],[3,8],[5]] => 1101011 => [1,1,2,2,1,1] => 11101011 => 6
[[1,3,6],[2,7],[4,8],[5]] => 1011011 => [1,2,1,2,1,1] => 11011011 => 6
[[1,2,6],[3,7],[4,8],[5]] => 0111011 => [2,1,1,2,1,1] => 10111011 => 6
[[1,4,5],[2,7],[3,8],[6]] => 1100101 => [1,1,3,2,1] => 11100101 => 5
[[1,3,5],[2,7],[4,8],[6]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5],[3,7],[4,8],[6]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,4],[2,7],[5,8],[6]] => 1001101 => [1,3,1,2,1] => 11001101 => 5
[[1,2,4],[3,7],[5,8],[6]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,2,3],[4,7],[5,8],[6]] => 0011101 => [3,1,1,2,1] => 10011101 => 5
[[1,4,6],[2,5],[3,8],[7]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,6],[2,5],[4,8],[7]] => 1010010 => [1,2,3,2] => 11010010 => 4
[[1,2,6],[3,5],[4,8],[7]] => 0110010 => [2,1,3,2] => 10110010 => 4
[[1,3,6],[2,4],[5,8],[7]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,6],[3,4],[5,8],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,4,5],[2,6],[3,8],[7]] => 1100110 => [1,1,3,1,2] => 11100110 => 5
[[1,3,5],[2,6],[4,8],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5],[3,6],[4,8],[7]] => 0110110 => [2,1,2,1,2] => 10110110 => 5
[[1,3,4],[2,6],[5,8],[7]] => 1001010 => [1,3,2,2] => 11001010 => 4
[[1,2,4],[3,6],[5,8],[7]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,2,3],[4,6],[5,8],[7]] => 0011010 => [3,1,2,2] => 10011010 => 4
[[1,3,5],[2,4],[6,8],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5],[3,4],[6,8],[7]] => 0100110 => [2,3,1,2] => 10100110 => 4
[[1,3,4],[2,5],[6,8],[7]] => 1001110 => [1,3,1,1,2] => 11001110 => 5
[[1,2,4],[3,5],[6,8],[7]] => 0101110 => [2,2,1,1,2] => 10101110 => 5
[[1,2,3],[4,5],[6,8],[7]] => 0010110 => [3,2,1,2] => 10010110 => 4
[[1,4,7],[2,5],[3,6],[8]] => 1101101 => [1,1,2,1,2,1] => 11101101 => 6
[[1,3,7],[2,5],[4,6],[8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,7],[3,5],[4,6],[8]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,7],[2,4],[5,6],[8]] => 1011001 => [1,2,1,3,1] => 11011001 => 5
[[1,2,7],[3,4],[5,6],[8]] => 0101001 => [2,2,3,1] => 10101001 => 4
[[1,4,6],[2,5],[3,7],[8]] => 1101011 => [1,1,2,2,1,1] => 11101011 => 6
[[1,3,6],[2,5],[4,7],[8]] => 1010011 => [1,2,3,1,1] => 11010011 => 5
[[1,2,6],[3,5],[4,7],[8]] => 0110011 => [2,1,3,1,1] => 10110011 => 5
[[1,3,6],[2,4],[5,7],[8]] => 1011011 => [1,2,1,2,1,1] => 11011011 => 6
[[1,2,6],[3,4],[5,7],[8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,4,5],[2,6],[3,7],[8]] => 1100111 => [1,1,3,1,1,1] => 11100111 => 6
[[1,3,5],[2,6],[4,7],[8]] => 1010111 => [1,2,2,1,1,1] => 11010111 => 6
[[1,2,5],[3,6],[4,7],[8]] => 0110111 => [2,1,2,1,1,1] => 10110111 => 6
[[1,3,4],[2,6],[5,7],[8]] => 1001011 => [1,3,2,1,1] => 11001011 => 5
[[1,2,4],[3,6],[5,7],[8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,2,3],[4,6],[5,7],[8]] => 0011011 => [3,1,2,1,1] => 10011011 => 5
[[1,3,5],[2,4],[6,7],[8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5],[3,4],[6,7],[8]] => 0100101 => [2,3,2,1] => 10100101 => 4
[[1,3,4],[2,5],[6,7],[8]] => 1001101 => [1,3,1,2,1] => 11001101 => 5
[[1,2,4],[3,5],[6,7],[8]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,2,3],[4,5],[6,7],[8]] => 0010101 => [3,2,2,1] => 10010101 => 4
[[1,6,8],[2,7],[3],[4],[5]] => 1111010 => [1,1,1,1,2,2] => 11111010 => 6
[[1,5,8],[2,7],[3],[4],[6]] => 1110100 => [1,1,1,2,3] => 11110100 => 5
[[1,4,8],[2,7],[3],[5],[6]] => 1101100 => [1,1,2,1,3] => 11101100 => 5
[[1,3,8],[2,7],[4],[5],[6]] => 1011100 => [1,2,1,1,3] => 11011100 => 5
[[1,2,8],[3,7],[4],[5],[6]] => 0111100 => [2,1,1,1,3] => 10111100 => 5
[[1,5,8],[2,6],[3],[4],[7]] => 1110110 => [1,1,1,2,1,2] => 11110110 => 6
[[1,4,8],[2,6],[3],[5],[7]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,8],[2,6],[4],[5],[7]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,8],[3,6],[4],[5],[7]] => 0111010 => [2,1,1,2,2] => 10111010 => 5
[[1,4,8],[2,5],[3],[6],[7]] => 1101110 => [1,1,2,1,1,2] => 11101110 => 6
[[1,3,8],[2,5],[4],[6],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,8],[3,5],[4],[6],[7]] => 0110110 => [2,1,2,1,2] => 10110110 => 5
[[1,3,8],[2,4],[5],[6],[7]] => 1011110 => [1,2,1,1,1,2] => 11011110 => 6
[[1,2,8],[3,4],[5],[6],[7]] => 0101110 => [2,2,1,1,2] => 10101110 => 5
[[1,6,7],[2,8],[3],[4],[5]] => 1111001 => [1,1,1,1,3,1] => 11111001 => 6
[[1,5,7],[2,8],[3],[4],[6]] => 1110101 => [1,1,1,2,2,1] => 11110101 => 6
[[1,4,7],[2,8],[3],[5],[6]] => 1101101 => [1,1,2,1,2,1] => 11101101 => 6
[[1,3,7],[2,8],[4],[5],[6]] => 1011101 => [1,2,1,1,2,1] => 11011101 => 6
[[1,2,7],[3,8],[4],[5],[6]] => 0111101 => [2,1,1,1,2,1] => 10111101 => 6
[[1,5,6],[2,8],[3],[4],[7]] => 1110010 => [1,1,1,3,2] => 11110010 => 5
[[1,4,6],[2,8],[3],[5],[7]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3,6],[2,8],[4],[5],[7]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2,6],[3,8],[4],[5],[7]] => 0111010 => [2,1,1,2,2] => 10111010 => 5
[[1,4,5],[2,8],[3],[6],[7]] => 1100110 => [1,1,3,1,2] => 11100110 => 5
[[1,3,5],[2,8],[4],[6],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2,5],[3,8],[4],[6],[7]] => 0110110 => [2,1,2,1,2] => 10110110 => 5
[[1,3,4],[2,8],[5],[6],[7]] => 1001110 => [1,3,1,1,2] => 11001110 => 5
[[1,2,4],[3,8],[5],[6],[7]] => 0101110 => [2,2,1,1,2] => 10101110 => 5
[[1,2,3],[4,8],[5],[6],[7]] => 0011110 => [3,1,1,1,2] => 10011110 => 5
[[1,5,7],[2,6],[3],[4],[8]] => 1110101 => [1,1,1,2,2,1] => 11110101 => 6
[[1,4,7],[2,6],[3],[5],[8]] => 1101001 => [1,1,2,3,1] => 11101001 => 5
[[1,3,7],[2,6],[4],[5],[8]] => 1011001 => [1,2,1,3,1] => 11011001 => 5
[[1,2,7],[3,6],[4],[5],[8]] => 0111001 => [2,1,1,3,1] => 10111001 => 5
[[1,4,7],[2,5],[3],[6],[8]] => 1101101 => [1,1,2,1,2,1] => 11101101 => 6
[[1,3,7],[2,5],[4],[6],[8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,7],[3,5],[4],[6],[8]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,7],[2,4],[5],[6],[8]] => 1011101 => [1,2,1,1,2,1] => 11011101 => 6
[[1,2,7],[3,4],[5],[6],[8]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,5,6],[2,7],[3],[4],[8]] => 1110011 => [1,1,1,3,1,1] => 11110011 => 6
[[1,4,6],[2,7],[3],[5],[8]] => 1101011 => [1,1,2,2,1,1] => 11101011 => 6
[[1,3,6],[2,7],[4],[5],[8]] => 1011011 => [1,2,1,2,1,1] => 11011011 => 6
[[1,2,6],[3,7],[4],[5],[8]] => 0111011 => [2,1,1,2,1,1] => 10111011 => 6
[[1,4,5],[2,7],[3],[6],[8]] => 1100101 => [1,1,3,2,1] => 11100101 => 5
[[1,3,5],[2,7],[4],[6],[8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2,5],[3,7],[4],[6],[8]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3,4],[2,7],[5],[6],[8]] => 1001101 => [1,3,1,2,1] => 11001101 => 5
[[1,2,4],[3,7],[5],[6],[8]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,2,3],[4,7],[5],[6],[8]] => 0011101 => [3,1,1,2,1] => 10011101 => 5
[[1,4,6],[2,5],[3],[7],[8]] => 1101011 => [1,1,2,2,1,1] => 11101011 => 6
[[1,3,6],[2,5],[4],[7],[8]] => 1010011 => [1,2,3,1,1] => 11010011 => 5
[[1,2,6],[3,5],[4],[7],[8]] => 0110011 => [2,1,3,1,1] => 10110011 => 5
[[1,3,6],[2,4],[5],[7],[8]] => 1011011 => [1,2,1,2,1,1] => 11011011 => 6
[[1,2,6],[3,4],[5],[7],[8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,4,5],[2,6],[3],[7],[8]] => 1100111 => [1,1,3,1,1,1] => 11100111 => 6
[[1,3,5],[2,6],[4],[7],[8]] => 1010111 => [1,2,2,1,1,1] => 11010111 => 6
[[1,2,5],[3,6],[4],[7],[8]] => 0110111 => [2,1,2,1,1,1] => 10110111 => 6
[[1,3,4],[2,6],[5],[7],[8]] => 1001011 => [1,3,2,1,1] => 11001011 => 5
[[1,2,4],[3,6],[5],[7],[8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,2,3],[4,6],[5],[7],[8]] => 0011011 => [3,1,2,1,1] => 10011011 => 5
[[1,3,5],[2,4],[6],[7],[8]] => 1010111 => [1,2,2,1,1,1] => 11010111 => 6
[[1,2,5],[3,4],[6],[7],[8]] => 0100111 => [2,3,1,1,1] => 10100111 => 5
[[1,3,4],[2,5],[6],[7],[8]] => 1001111 => [1,3,1,1,1,1] => 11001111 => 6
[[1,2,4],[3,5],[6],[7],[8]] => 0101111 => [2,2,1,1,1,1] => 10101111 => 6
[[1,2,3],[4,5],[6],[7],[8]] => 0010111 => [3,2,1,1,1] => 10010111 => 5
[[1,7,8],[2],[3],[4],[5],[6]] => 1111100 => [1,1,1,1,1,3] => 11111100 => 6
[[1,6,8],[2],[3],[4],[5],[7]] => 1111010 => [1,1,1,1,2,2] => 11111010 => 6
[[1,5,8],[2],[3],[4],[6],[7]] => 1110110 => [1,1,1,2,1,2] => 11110110 => 6
[[1,4,8],[2],[3],[5],[6],[7]] => 1101110 => [1,1,2,1,1,2] => 11101110 => 6
[[1,3,8],[2],[4],[5],[6],[7]] => 1011110 => [1,2,1,1,1,2] => 11011110 => 6
[[1,2,8],[3],[4],[5],[6],[7]] => 0111110 => [2,1,1,1,1,2] => 10111110 => 6
[[1,6,7],[2],[3],[4],[5],[8]] => 1111001 => [1,1,1,1,3,1] => 11111001 => 6
[[1,5,7],[2],[3],[4],[6],[8]] => 1110101 => [1,1,1,2,2,1] => 11110101 => 6
[[1,4,7],[2],[3],[5],[6],[8]] => 1101101 => [1,1,2,1,2,1] => 11101101 => 6
[[1,3,7],[2],[4],[5],[6],[8]] => 1011101 => [1,2,1,1,2,1] => 11011101 => 6
[[1,2,7],[3],[4],[5],[6],[8]] => 0111101 => [2,1,1,1,2,1] => 10111101 => 6
[[1,5,6],[2],[3],[4],[7],[8]] => 1110011 => [1,1,1,3,1,1] => 11110011 => 6
[[1,4,6],[2],[3],[5],[7],[8]] => 1101011 => [1,1,2,2,1,1] => 11101011 => 6
[[1,3,6],[2],[4],[5],[7],[8]] => 1011011 => [1,2,1,2,1,1] => 11011011 => 6
[[1,2,6],[3],[4],[5],[7],[8]] => 0111011 => [2,1,1,2,1,1] => 10111011 => 6
[[1,4,5],[2],[3],[6],[7],[8]] => 1100111 => [1,1,3,1,1,1] => 11100111 => 6
[[1,3,5],[2],[4],[6],[7],[8]] => 1010111 => [1,2,2,1,1,1] => 11010111 => 6
[[1,2,5],[3],[4],[6],[7],[8]] => 0110111 => [2,1,2,1,1,1] => 10110111 => 6
[[1,3,4],[2],[5],[6],[7],[8]] => 1001111 => [1,3,1,1,1,1] => 11001111 => 6
[[1,2,4],[3],[5],[6],[7],[8]] => 0101111 => [2,2,1,1,1,1] => 10101111 => 6
[[1,2,3],[4],[5],[6],[7],[8]] => 0011111 => [3,1,1,1,1,1] => 10011111 => 6
[[1,5],[2,6],[3,7],[4,8]] => 1110111 => [1,1,1,2,1,1,1] => 11110111 => 7
[[1,4],[2,6],[3,7],[5,8]] => 1101011 => [1,1,2,2,1,1] => 11101011 => 6
[[1,3],[2,6],[4,7],[5,8]] => 1011011 => [1,2,1,2,1,1] => 11011011 => 6
[[1,2],[3,6],[4,7],[5,8]] => 0111011 => [2,1,1,2,1,1] => 10111011 => 6
[[1,4],[2,5],[3,7],[6,8]] => 1101101 => [1,1,2,1,2,1] => 11101101 => 6
[[1,3],[2,5],[4,7],[6,8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2],[3,5],[4,7],[6,8]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3],[2,4],[5,7],[6,8]] => 1011101 => [1,2,1,1,2,1] => 11011101 => 6
[[1,2],[3,4],[5,7],[6,8]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,4],[2,5],[3,6],[7,8]] => 1101110 => [1,1,2,1,1,2] => 11101110 => 6
[[1,3],[2,5],[4,6],[7,8]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2],[3,5],[4,6],[7,8]] => 0110110 => [2,1,2,1,2] => 10110110 => 5
[[1,3],[2,4],[5,6],[7,8]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2],[3,4],[5,6],[7,8]] => 0101010 => [2,2,2,2] => 10101010 => 4
[[1,6],[2,7],[3,8],[4],[5]] => 1111011 => [1,1,1,1,2,1,1] => 11111011 => 7
[[1,5],[2,7],[3,8],[4],[6]] => 1110101 => [1,1,1,2,2,1] => 11110101 => 6
[[1,4],[2,7],[3,8],[5],[6]] => 1101101 => [1,1,2,1,2,1] => 11101101 => 6
[[1,3],[2,7],[4,8],[5],[6]] => 1011101 => [1,2,1,1,2,1] => 11011101 => 6
[[1,2],[3,7],[4,8],[5],[6]] => 0111101 => [2,1,1,1,2,1] => 10111101 => 6
[[1,5],[2,6],[3,8],[4],[7]] => 1110110 => [1,1,1,2,1,2] => 11110110 => 6
[[1,4],[2,6],[3,8],[5],[7]] => 1101010 => [1,1,2,2,2] => 11101010 => 5
[[1,3],[2,6],[4,8],[5],[7]] => 1011010 => [1,2,1,2,2] => 11011010 => 5
[[1,2],[3,6],[4,8],[5],[7]] => 0111010 => [2,1,1,2,2] => 10111010 => 5
[[1,4],[2,5],[3,8],[6],[7]] => 1101110 => [1,1,2,1,1,2] => 11101110 => 6
[[1,3],[2,5],[4,8],[6],[7]] => 1010110 => [1,2,2,1,2] => 11010110 => 5
[[1,2],[3,5],[4,8],[6],[7]] => 0110110 => [2,1,2,1,2] => 10110110 => 5
[[1,3],[2,4],[5,8],[6],[7]] => 1011110 => [1,2,1,1,1,2] => 11011110 => 6
[[1,2],[3,4],[5,8],[6],[7]] => 0101110 => [2,2,1,1,2] => 10101110 => 5
[[1,5],[2,6],[3,7],[4],[8]] => 1110111 => [1,1,1,2,1,1,1] => 11110111 => 7
[[1,4],[2,6],[3,7],[5],[8]] => 1101011 => [1,1,2,2,1,1] => 11101011 => 6
[[1,3],[2,6],[4,7],[5],[8]] => 1011011 => [1,2,1,2,1,1] => 11011011 => 6
[[1,2],[3,6],[4,7],[5],[8]] => 0111011 => [2,1,1,2,1,1] => 10111011 => 6
[[1,4],[2,5],[3,7],[6],[8]] => 1101101 => [1,1,2,1,2,1] => 11101101 => 6
[[1,3],[2,5],[4,7],[6],[8]] => 1010101 => [1,2,2,2,1] => 11010101 => 5
[[1,2],[3,5],[4,7],[6],[8]] => 0110101 => [2,1,2,2,1] => 10110101 => 5
[[1,3],[2,4],[5,7],[6],[8]] => 1011101 => [1,2,1,1,2,1] => 11011101 => 6
[[1,2],[3,4],[5,7],[6],[8]] => 0101101 => [2,2,1,2,1] => 10101101 => 5
[[1,4],[2,5],[3,6],[7],[8]] => 1101111 => [1,1,2,1,1,1,1] => 11101111 => 7
[[1,3],[2,5],[4,6],[7],[8]] => 1010111 => [1,2,2,1,1,1] => 11010111 => 6
[[1,2],[3,5],[4,6],[7],[8]] => 0110111 => [2,1,2,1,1,1] => 10110111 => 6
[[1,3],[2,4],[5,6],[7],[8]] => 1011011 => [1,2,1,2,1,1] => 11011011 => 6
[[1,2],[3,4],[5,6],[7],[8]] => 0101011 => [2,2,2,1,1] => 10101011 => 5
[[1,7],[2,8],[3],[4],[5],[6]] => 1111101 => [1,1,1,1,1,2,1] => 11111101 => 7
[[1,6],[2,8],[3],[4],[5],[7]] => 1111010 => [1,1,1,1,2,2] => 11111010 => 6
[[1,5],[2,8],[3],[4],[6],[7]] => 1110110 => [1,1,1,2,1,2] => 11110110 => 6
[[1,4],[2,8],[3],[5],[6],[7]] => 1101110 => [1,1,2,1,1,2] => 11101110 => 6
[[1,3],[2,8],[4],[5],[6],[7]] => 1011110 => [1,2,1,1,1,2] => 11011110 => 6
[[1,2],[3,8],[4],[5],[6],[7]] => 0111110 => [2,1,1,1,1,2] => 10111110 => 6
[[1,6],[2,7],[3],[4],[5],[8]] => 1111011 => [1,1,1,1,2,1,1] => 11111011 => 7
[[1,5],[2,7],[3],[4],[6],[8]] => 1110101 => [1,1,1,2,2,1] => 11110101 => 6
[[1,4],[2,7],[3],[5],[6],[8]] => 1101101 => [1,1,2,1,2,1] => 11101101 => 6
[[1,3],[2,7],[4],[5],[6],[8]] => 1011101 => [1,2,1,1,2,1] => 11011101 => 6
[[1,2],[3,7],[4],[5],[6],[8]] => 0111101 => [2,1,1,1,2,1] => 10111101 => 6
[[1,5],[2,6],[3],[4],[7],[8]] => 1110111 => [1,1,1,2,1,1,1] => 11110111 => 7
[[1,4],[2,6],[3],[5],[7],[8]] => 1101011 => [1,1,2,2,1,1] => 11101011 => 6
[[1,3],[2,6],[4],[5],[7],[8]] => 1011011 => [1,2,1,2,1,1] => 11011011 => 6
[[1,2],[3,6],[4],[5],[7],[8]] => 0111011 => [2,1,1,2,1,1] => 10111011 => 6
[[1,4],[2,5],[3],[6],[7],[8]] => 1101111 => [1,1,2,1,1,1,1] => 11101111 => 7
[[1,3],[2,5],[4],[6],[7],[8]] => 1010111 => [1,2,2,1,1,1] => 11010111 => 6
[[1,2],[3,5],[4],[6],[7],[8]] => 0110111 => [2,1,2,1,1,1] => 10110111 => 6
[[1,3],[2,4],[5],[6],[7],[8]] => 1011111 => [1,2,1,1,1,1,1] => 11011111 => 7
[[1,2],[3,4],[5],[6],[7],[8]] => 0101111 => [2,2,1,1,1,1] => 10101111 => 6
[[1,8],[2],[3],[4],[5],[6],[7]] => 1111110 => [1,1,1,1,1,1,2] => 11111110 => 7
[[1,7],[2],[3],[4],[5],[6],[8]] => 1111101 => [1,1,1,1,1,2,1] => 11111101 => 7
[[1,6],[2],[3],[4],[5],[7],[8]] => 1111011 => [1,1,1,1,2,1,1] => 11111011 => 7
[[1,5],[2],[3],[4],[6],[7],[8]] => 1110111 => [1,1,1,2,1,1,1] => 11110111 => 7
[[1,4],[2],[3],[5],[6],[7],[8]] => 1101111 => [1,1,2,1,1,1,1] => 11101111 => 7
[[1,3],[2],[4],[5],[6],[7],[8]] => 1011111 => [1,2,1,1,1,1,1] => 11011111 => 7
[[1,2],[3],[4],[5],[6],[7],[8]] => 0111111 => [2,1,1,1,1,1,1] => 10111111 => 7
[[1],[2],[3],[4],[5],[6],[7],[8]] => 1111111 => [1,1,1,1,1,1,1,1] => 11111111 => 8
[[1,3,5,7,8],[2,4,6,9,10]] => 101010010 => [1,2,2,3,2] => 1101010010 => 5
[[1,3,5,6,9],[2,4,7,8,10]] => 101001001 => [1,2,3,3,1] => 1101001001 => 5
[[1,3,5,6,8],[2,4,7,9,10]] => 101001010 => [1,2,3,2,2] => 1101001010 => 5
[[1,3,4,7,9],[2,5,6,8,10]] => 100100101 => [1,3,3,2,1] => 1100100101 => 5
[[1,3,4,6,9],[2,5,7,8,10]] => 100101001 => [1,3,2,3,1] => 1100101001 => 5
[[1,3,4,6,8],[2,5,7,9,10]] => 100101010 => [1,3,2,2,2] => 1100101010 => 5
[[1,3,4,5,8],[2,6,7,9,10]] => 100010010 => [1,4,3,2] => 1100010010 => 4
[[1,3,4,5,6],[2,7,8,9,10]] => 100001000 => [1,5,4] => 1100001000 => 3
[[1,2,5,7,9],[3,4,6,8,10]] => 010010101 => [2,3,2,2,1] => 1010010101 => 5
[[1,2,4,7,9],[3,5,6,8,10]] => 010100101 => [2,2,3,2,1] => 1010100101 => 5
[[1,2,4,6,9],[3,5,7,8,10]] => 010101001 => [2,2,2,3,1] => 1010101001 => 5
[[1,2,4,6,8],[3,5,7,9,10]] => 010101010 => [2,2,2,2,2] => 1010101010 => 5
[[1,3,5,7,9,10],[2,4,6,8,11,12]] => 10101010010 => [1,2,2,2,3,2] => 110101010010 => 6
[[1,3,5,7,8,11],[2,4,6,9,10,12]] => 10101001001 => [1,2,2,3,3,1] => 110101001001 => 6
[[1,3,5,7,8,10],[2,4,6,9,11,12]] => 10101001010 => [1,2,2,3,2,2] => 110101001010 => 6
[[1,3,5,6,9,11],[2,4,7,8,10,12]] => 10100100101 => [1,2,3,3,2,1] => 110100100101 => 6
[[1,3,5,6,8,11],[2,4,7,9,10,12]] => 10100101001 => [1,2,3,2,3,1] => 110100101001 => 6
[[1,3,5,6,8,10],[2,4,7,9,11,12]] => 10100101010 => [1,2,3,2,2,2] => 110100101010 => 6
[[1,3,4,7,9,11],[2,5,6,8,10,12]] => 10010010101 => [1,3,3,2,2,1] => 110010010101 => 6
[[1,3,4,6,9,11],[2,5,7,8,10,12]] => 10010100101 => [1,3,2,3,2,1] => 110010100101 => 6
[[1,3,4,6,8,11],[2,5,7,9,10,12]] => 10010101001 => [1,3,2,2,3,1] => 110010101001 => 6
[[1,3,4,6,8,10],[2,5,7,9,11,12]] => 10010101010 => [1,3,2,2,2,2] => 110010101010 => 6
[[1,2,5,7,9,11],[3,4,6,8,10,12]] => 01001010101 => [2,3,2,2,2,1] => 101001010101 => 6
[[1,2,4,7,9,11],[3,5,6,8,10,12]] => 01010010101 => [2,2,3,2,2,1] => 101010010101 => 6
[[1,2,4,6,9,11],[3,5,7,8,10,12]] => 01010100101 => [2,2,2,3,2,1] => 101010100101 => 6
[[1,2,4,6,8,11],[3,5,7,9,10,12]] => 01010101001 => [2,2,2,2,3,1] => 101010101001 => 6
[[1,2,4,6,8,10],[3,5,7,9,11,12]] => 01010101010 => [2,2,2,2,2,2] => 101010101010 => 6
[[1,2,3,4,5,6,7,8,9]] => 00000000 => [9] => 100000000 => 1
[[1,2,3,4,5,6,7],[8,9]] => 00000010 => [7,2] => 100000010 => 2
[[1,2,3,4,5,6],[7,8,9]] => 00000100 => [6,3] => 100000100 => 2
[[1,2,3,4,5],[6,7,8,9]] => 00001000 => [5,4] => 100001000 => 2
[[1,2,3,4,5],[6,7],[8,9]] => 00001010 => [5,2,2] => 100001010 => 3
[[1,2,3,4],[5,6,7,8],[9]] => 00010001 => [4,4,1] => 100010001 => 3
[[1,2,3,4],[5,6,7],[8,9]] => 00010010 => [4,3,2] => 100010010 => 3
[[1,2,3],[4,5,6],[7,8,9]] => 00100100 => [3,3,3] => 100100100 => 3
[[1,2,3],[4,5,6],[7,8],[9]] => 00100101 => [3,3,2,1] => 100100101 => 4
[[1,2,3],[4,5],[6,7],[8,9]] => 00101010 => [3,2,2,2] => 100101010 => 4
[[1,2],[3,4],[5,6],[7,8],[9]] => 01010101 => [2,2,2,2,1] => 101010101 => 5
[[1],[2],[3],[4],[5],[6],[7],[8],[9]] => 11111111 => [1,1,1,1,1,1,1,1,1] => 111111111 => 9
[[1,2,3,4,5,6,7,8,9,10]] => 000000000 => [10] => 1000000000 => 1
[[1,2,3,4,5,6,7,8],[9,10]] => 000000010 => [8,2] => 1000000010 => 2
[[1,2,3,4,5,6,7],[8,9,10]] => 000000100 => [7,3] => 1000000100 => 2
[[1,2,3,4,5,6],[7,8],[9,10]] => 000001010 => [6,2,2] => 1000001010 => 3
[[1,2,3],[4,5],[6,7],[8,9],[10]] => 001010101 => [3,2,2,2,1] => 1001010101 => 5
[[1,2],[3,4],[5,6],[7,8],[9,10]] => 010101010 => [2,2,2,2,2] => 1010101010 => 5
[[1,2,3,4],[5,6,7,8],[9,10,11]] => 0001000100 => [4,4,3] => 10001000100 => 3
[[1,2],[3,4],[5,6],[7,8],[9,10],[11,12]] => 01010101010 => [2,2,2,2,2,2] => 101010101010 => 6
[[1,3,4,5,6,7,8,9],[2]] => 10000000 => [1,8] => 110000000 => 2
[[1,2,5,6,7,8,9],[3,4]] => 01000000 => [2,7] => 101000000 => 2
[[1,4,5,6,7,8,9],[2],[3]] => 11000000 => [1,1,7] => 111000000 => 3
[[1,2,3,7,8,9],[4,5,6]] => 00100000 => [3,6] => 100100000 => 2
[[1,3,6,7,8,9],[2,5],[4]] => 10100000 => [1,2,6] => 110100000 => 3
[[1,5,6,7,8,9],[2],[3],[4]] => 11100000 => [1,1,1,6] => 111100000 => 4
[[1,2,3,4,9],[5,6,7,8]] => 00010000 => [4,5] => 100010000 => 2
[[1,3,4,8,9],[2,6,7],[5]] => 10010000 => [1,3,5] => 110010000 => 3
[[1,2,7,8,9],[3,4],[5,6]] => 01010000 => [2,2,5] => 101010000 => 3
[[1,4,7,8,9],[2,6],[3],[5]] => 11010000 => [1,1,2,5] => 111010000 => 4
[[1,6,7,8,9],[2],[3],[4],[5]] => 11110000 => [1,1,1,1,5] => 111110000 => 5
[[1,3,4,5],[2,7,8,9],[6]] => 10001000 => [1,4,4] => 110001000 => 3
[[1,2,5,9],[3,4,8],[6,7]] => 01001000 => [2,3,4] => 101001000 => 3
[[1,4,5,9],[2,7,8],[3],[6]] => 11001000 => [1,1,3,4] => 111001000 => 4
[[1,3,8,9],[2,5],[4,7],[6]] => 10101000 => [1,2,2,4] => 110101000 => 4
[[1,5,8,9],[2,7],[3],[4],[6]] => 11101000 => [1,1,1,2,4] => 111101000 => 5
[[1,7,8,9],[2],[3],[4],[5],[6]] => 11111000 => [1,1,1,1,1,4] => 111111000 => 6
[[1,3,6],[2,5,9],[4,8],[7]] => 10100100 => [1,2,3,3] => 110100100 => 4
[[1,5,6],[2,8,9],[3],[4],[7]] => 11100100 => [1,1,1,3,3] => 111100100 => 5
[[1,2,9],[3,4],[5,6],[7,8]] => 01010100 => [2,2,2,3] => 101010100 => 4
[[1,4,9],[2,6],[3,8],[5],[7]] => 11010100 => [1,1,2,2,3] => 111010100 => 5
[[1,6,9],[2,8],[3],[4],[5],[7]] => 11110100 => [1,1,1,1,2,3] => 111110100 => 6
[[1,8,9],[2],[3],[4],[5],[6],[7]] => 11111100 => [1,1,1,1,1,1,3] => 111111100 => 7
[[1,3],[2,5],[4,7],[6,9],[8]] => 10101010 => [1,2,2,2,2] => 110101010 => 5
[[1,5],[2,7],[3,9],[4],[6],[8]] => 11101010 => [1,1,1,2,2,2] => 111101010 => 6
[[1,7],[2,9],[3],[4],[5],[6],[8]] => 11111010 => [1,1,1,1,1,2,2] => 111111010 => 7
[[1,9],[2],[3],[4],[5],[6],[7],[8]] => 11111110 => [1,1,1,1,1,1,1,2] => 111111110 => 8
[[1,6,7,8,9,10],[2],[3],[4],[5]] => 111100000 => [1,1,1,1,6] => 1111100000 => 5
[[1,5,8,9,10],[2,7],[3],[4],[6]] => 111010000 => [1,1,1,2,5] => 1111010000 => 5
[[1,5,6,10],[2,8,9],[3],[4],[7]] => 111001000 => [1,1,1,3,4] => 1111001000 => 5
[[1,4,9,10],[2,6],[3,8],[5],[7]] => 110101000 => [1,1,2,2,4] => 1110101000 => 5
[[1,4,7],[2,6,10],[3,9],[5],[8]] => 110100100 => [1,1,2,3,3] => 1110100100 => 5
[[1,3,10],[2,5],[4,7],[6,9],[8]] => 101010100 => [1,2,2,2,3] => 1101010100 => 5
[[1,10],[2],[3],[4],[5],[6],[7],[8],[9]] => 111111110 => [1,1,1,1,1,1,1,1,2] => 1111111110 => 9
[[1,4,9],[2,6,12],[3,8],[5,11],[7],[10]] => 11010100100 => [1,1,2,2,3,3] => 111010100100 => 6
[[1,8],[2,9],[3],[4],[5],[6],[7]] => 11111101 => [1,1,1,1,1,1,2,1] => 111111101 => 8
[[1,7,9],[2,8],[3],[4],[5],[6]] => 11111010 => [1,1,1,1,1,2,2] => 111111010 => 7
[[1,6,8,9],[2,7],[3],[4],[5]] => 11110100 => [1,1,1,1,2,3] => 111110100 => 6
[[1,5,9],[2,6],[3,7],[4,8]] => 11101110 => [1,1,1,2,1,1,2] => 111101110 => 7
[[1,5,7,9],[2,6,8],[3],[4]] => 11101010 => [1,1,1,2,2,2] => 111101010 => 6
[[1,5,7,8,9],[2,6],[3],[4]] => 11101000 => [1,1,1,2,4] => 111101000 => 5
[[1,4,6,8,9],[2,5,7],[3]] => 11010100 => [1,1,2,2,3] => 111010100 => 5
[[1,4,6,7,8,9],[2,5],[3]] => 11010000 => [1,1,2,5] => 111010000 => 4
[[1,3,5,7,9],[2,4,6,8]] => 10101010 => [1,2,2,2,2] => 110101010 => 5
[[1,3,5,7,8,9],[2,4,6]] => 10101000 => [1,2,2,4] => 110101000 => 4
[[1,3,5,6,7,8,9],[2,4]] => 10100000 => [1,2,6] => 110100000 => 3
[[1,9],[2,10],[3],[4],[5],[6],[7],[8]] => 111111101 => [1,1,1,1,1,1,1,2,1] => 1111111101 => 9
[[1,5,7,8,9,10],[2,6],[3],[4]] => 111010000 => [1,1,1,2,5] => 1111010000 => 5
[[1,4,7,8,9,10],[2,5],[3,6]] => 110110000 => [1,1,2,1,5] => 1110110000 => 5
[[1,4,6,8,9,10],[2,5,7],[3]] => 110101000 => [1,1,2,2,4] => 1110101000 => 5
[[1,3,5,7,9,10],[2,4,6,8]] => 101010100 => [1,2,2,2,3] => 1101010100 => 5
[[1,2,4,6,8],[3,5,7,9]] => 01010101 => [2,2,2,2,1] => 101010101 => 5
[[1,2,3,5,7,9],[4,6,8,10]] => 001010101 => [3,2,2,2,1] => 1001010101 => 5
[[1,2,3,4,5,6,7,9],[8]] => 00000010 => [7,2] => 100000010 => 2
[[1,2,3,4,5,6,9],[7,8]] => 00000100 => [6,3] => 100000100 => 2
[[1,2,3,4,5,6,9],[7],[8]] => 00000110 => [6,1,2] => 100000110 => 3
[[1,2,3,4,5,9],[6,7,8]] => 00001000 => [5,4] => 100001000 => 2
[[1,2,3,4,5,9],[6,7],[8]] => 00001010 => [5,2,2] => 100001010 => 3
[[1,2,3,4,5,9],[6],[7],[8]] => 00001110 => [5,1,1,2] => 100001110 => 4
[[1,2,3,4,9],[5,6,7],[8]] => 00010010 => [4,3,2] => 100010010 => 3
[[1,2,3,4,9],[5,6],[7,8]] => 00010100 => [4,2,3] => 100010100 => 3
[[1,2,3,4,9],[5,6],[7],[8]] => 00010110 => [4,2,1,2] => 100010110 => 4
[[1,2,3,4,9],[5],[6],[7],[8]] => 00011110 => [4,1,1,1,2] => 100011110 => 5
[[1,2,3,7],[4,5,6,9],[8]] => 00100010 => [3,4,2] => 100100010 => 3
[[1,2,3,9],[4,5,6],[7,8]] => 00100100 => [3,3,3] => 100100100 => 3
[[1,2,3,9],[4,5,6],[7],[8]] => 00100110 => [3,3,1,2] => 100100110 => 4
[[1,2,3,9],[4,5],[6,7],[8]] => 00101010 => [3,2,2,2] => 100101010 => 4
[[1,2,3,9],[4,5],[6],[7],[8]] => 00101110 => [3,2,1,1,2] => 100101110 => 5
[[1,2,3,9],[4],[5],[6],[7],[8]] => 00111110 => [3,1,1,1,1,2] => 100111110 => 6
[[1,2,5],[3,4,8],[6,7,9]] => 01001001 => [2,3,3,1] => 101001001 => 4
[[1,2,5],[3,4,9],[6,7],[8]] => 01001010 => [2,3,2,2] => 101001010 => 4
[[1,2,5],[3,4,9],[6],[7],[8]] => 01001110 => [2,3,1,1,2] => 101001110 => 5
[[1,2,9],[3,4],[5,6],[7],[8]] => 01010110 => [2,2,2,1,2] => 101010110 => 5
[[1,2,9],[3,4],[5],[6],[7],[8]] => 01011110 => [2,2,1,1,1,2] => 101011110 => 6
[[1,2,9],[3],[4],[5],[6],[7],[8]] => 01111110 => [2,1,1,1,1,1,2] => 101111110 => 7
[[1,3],[2,9],[4],[5],[6],[7],[8]] => 10111110 => [1,2,1,1,1,1,2] => 110111110 => 7
[[1,2,3,4,5,6,7,8,10],[9]] => 000000010 => [8,2] => 1000000010 => 2
[[1,2,3,4,5,6,7,10],[8,9]] => 000000100 => [7,3] => 1000000100 => 2
[[1,2,3,4,5,6,7,10],[8],[9]] => 000000110 => [7,1,2] => 1000000110 => 3
[[1,2,3,4,5,6,10],[7,8],[9]] => 000001010 => [6,2,2] => 1000001010 => 3
[[1,2,3,4,5,6,10],[7],[8],[9]] => 000001110 => [6,1,1,2] => 1000001110 => 4
[[1,2,3,4,5,10],[6,7],[8],[9]] => 000010110 => [5,2,1,2] => 1000010110 => 4
[[1,2,3,4,5,10],[6],[7],[8],[9]] => 000011110 => [5,1,1,1,2] => 1000011110 => 5
[[1,2,3,4,10],[5,6],[7],[8],[9]] => 000101110 => [4,2,1,1,2] => 1000101110 => 5
[[1,2,3,4,10],[5],[6],[7],[8],[9]] => 000111110 => [4,1,1,1,1,2] => 1000111110 => 6
[[1,2,3,10],[4,5,6],[7],[8],[9]] => 001001110 => [3,3,1,1,2] => 1001001110 => 5
[[1,2,3,10],[4,5],[6,7],[8],[9]] => 001010110 => [3,2,2,1,2] => 1001010110 => 5
[[1,2,3,10],[4,5],[6],[7],[8],[9]] => 001011110 => [3,2,1,1,1,2] => 1001011110 => 6
[[1,2,3,10],[4],[5],[6],[7],[8],[9]] => 001111110 => [3,1,1,1,1,1,2] => 1001111110 => 7
[[1,2,5],[3,4,10],[6,7],[8],[9]] => 010010110 => [2,3,2,1,2] => 1010010110 => 5
[[1,2,10],[3,4],[5,6],[7,8],[9]] => 010101010 => [2,2,2,2,2] => 1010101010 => 5
[[1,2,10],[3,4],[5],[6],[7],[8],[9]] => 010111110 => [2,2,1,1,1,1,2] => 1010111110 => 7
[[1,2,10],[3],[4],[5],[6],[7],[8],[9]] => 011111110 => [2,1,1,1,1,1,1,2] => 1011111110 => 8
[[1,3],[2,10],[4],[5],[6],[7],[8],[9]] => 101111110 => [1,2,1,1,1,1,1,2] => 1101111110 => 8
[] => => [1] => 1 => 1
[[1,2,4,5,6,7,8,9],[3]] => 01000000 => [2,7] => 101000000 => 2
[[1,3,4,6,7,8,9],[2,5]] => 10010000 => [1,3,5] => 110010000 => 3
[[1,3,5,6,7,8,9],[2],[4]] => 10100000 => [1,2,6] => 110100000 => 3
[[1,3,5,6,8,9],[2,4,7]] => 10100100 => [1,2,3,3] => 110100100 => 4
[[1,4,6,7,8,9],[2],[3],[5]] => 11010000 => [1,1,2,5] => 111010000 => 4
[[1,2,5,7,9],[3,6,8],[4]] => 01101010 => [2,1,2,2,2] => 101101010 => 5
[[1,4,6,8,9],[2,5],[3,7]] => 11010100 => [1,1,2,2,3] => 111010100 => 5
[[1,5,7,8,9],[2],[3],[4],[6]] => 11101000 => [1,1,1,2,4] => 111101000 => 5
[[1,2,6,9],[3,4],[5,7],[8]] => 01010110 => [2,2,2,1,2] => 101010110 => 5
[[1,4,6,9],[2,7],[3],[5],[8]] => 11010110 => [1,1,2,2,1,2] => 111010110 => 6
[[1,6,8,9],[2],[3],[4],[5],[7]] => 11110100 => [1,1,1,1,2,3] => 111110100 => 6
[[1,7,9],[2],[3],[4],[5],[6],[8]] => 11111010 => [1,1,1,1,1,2,2] => 111111010 => 7
[[1,8],[2],[3],[4],[5],[6],[7],[9]] => 11111101 => [1,1,1,1,1,1,2,1] => 111111101 => 8
[[1,3,5,7,8,10],[2,4,6,9]] => 101010010 => [1,2,2,3,2] => 1101010010 => 5
[[1,2,5,7,9,10],[3,6,8],[4]] => 011010100 => [2,1,2,2,3] => 1011010100 => 5
[[1,4,6,8,9,10],[2,5],[3,7]] => 110101000 => [1,1,2,2,4] => 1110101000 => 5
[[1,3,5,8,9,10],[2,6],[4],[7]] => 101011000 => [1,2,2,1,4] => 1101011000 => 5
[[1,5,7,8,9,10],[2],[3],[4],[6]] => 111010000 => [1,1,1,2,5] => 1111010000 => 5
[[1,2,5,6,9],[3,7,8,10],[4]] => 011001001 => [2,1,3,3,1] => 1011001001 => 5
[[1,3,4,7,10],[2,6,8],[5,9]] => 100100110 => [1,3,3,1,2] => 1100100110 => 5
[[1,2,6,9,10],[3,4],[5,7],[8]] => 010101100 => [2,2,2,1,3] => 1010101100 => 5
[[1,3,4,8],[2,6,9,10],[5,7]] => 100101010 => [1,3,2,2,2] => 1100101010 => 5
[[1,3,6,7],[2,8,9,10],[4],[5]] => 101100100 => [1,2,1,3,3] => 1101100100 => 5
[[1,2,5],[3,7,8],[4,9,10],[6]] => 011010010 => [2,1,2,3,2] => 1011010010 => 5
[[1,9],[2],[3],[4],[5],[6],[7],[8],[10]] => 111111101 => [1,1,1,1,1,1,1,2,1] => 1111111101 => 9
[[1,3,4],[2,6,7],[5,8,9]] => 10010010 => [1,3,3,2] => 110010010 => 4
[[1,3,4],[2,6,7],[5,9],[8]] => 10010010 => [1,3,3,2] => 110010010 => 4
[[1,3,4,5,6],[2,8,9,10],[7]] => 100001000 => [1,5,4] => 1100001000 => 3
[[1,3,4,5],[2,7,8],[6,9,10]] => 100010010 => [1,4,3,2] => 1100010010 => 4
[[1,3,4,5],[2,7,8],[6,10],[9]] => 100010010 => [1,4,3,2] => 1100010010 => 4
[[1,3,4,5],[2,7],[6,9],[8,10]] => 100010101 => [1,4,2,2,1] => 1100010101 => 5
[[1,3,4,5],[2,7],[6,9],[8],[10]] => 100010101 => [1,4,2,2,1] => 1100010101 => 5
[[1,3,4],[2,6,7],[5,9],[8,10]] => 100100101 => [1,3,3,2,1] => 1100100101 => 5
[[1,3,4],[2,6,7],[5,9],[8],[10]] => 100100101 => [1,3,3,2,1] => 1100100101 => 5
[[1,3,4],[2,6],[5,8],[7,10],[9]] => 100101010 => [1,3,2,2,2] => 1100101010 => 5
[[1,2,4,6,8,10],[3,5,7,9]] => 010101010 => [2,2,2,2,2] => 1010101010 => 5
[[1,2,3,4,5,6,8,10],[7,9]] => 000001010 => [6,2,2] => 1000001010 => 3
[[1,2,3,4,5,6,7,9,10],[8]] => 000000100 => [7,3] => 1000000100 => 2
[[1,2,4,6,8,10,12],[3,5,7,9,11]] => 01010101010 => [2,2,2,2,2,2] => 101010101010 => 6
[[1,2,5],[3,4,8],[6,7],[9]] => 01001001 => [2,3,3,1] => 101001001 => 4
[[1,5,6,7,8,9],[2],[3],[4],[10]] => 111000001 => [1,1,1,6,1] => 1111000001 => 5
[[1,4,7,8,9],[2,6],[3],[5],[10]] => 110100001 => [1,1,2,5,1] => 1110100001 => 5
[[1,4,5,9],[2,7,8],[3],[6],[10]] => 110010001 => [1,1,3,4,1] => 1110010001 => 5
[[1,3,8,9],[2,5],[4,7],[6,10]] => 101010001 => [1,2,2,4,1] => 1101010001 => 5
[[1,3,8,9],[2,5],[4,7],[6],[10]] => 101010001 => [1,2,2,4,1] => 1101010001 => 5
[[1,3,6],[2,5,9],[4,8],[7,10]] => 101001001 => [1,2,3,3,1] => 1101001001 => 5
[[1,3,6],[2,5,9],[4,8],[7],[10]] => 101001001 => [1,2,3,3,1] => 1101001001 => 5
[[1,2,9],[3,4],[5,6],[7,8],[10]] => 010101001 => [2,2,2,3,1] => 1010101001 => 5
[[1,2,3,6,7,8,9],[4,5]] => 00100000 => [3,6] => 100100000 => 2
[[1,2,3,4,8,9],[5,6,7]] => 00010000 => [4,5] => 100010000 => 2
[[1,2,4,7,8,9],[3,6],[5]] => 01010000 => [2,2,5] => 101010000 => 3
[[1,2,4,5,9],[3,7,8],[6]] => 01001000 => [2,3,4] => 101001000 => 3
[[1,2,5,6],[3,4,8,9],[7]] => 01000100 => [2,4,3] => 101000100 => 3
[[1,2,3,6],[4,5,9],[7,8]] => 00100100 => [3,3,3] => 100100100 => 3
[[1,2,4,9],[3,6],[5,8],[7]] => 01010100 => [2,2,2,3] => 101010100 => 4
[[1,2,4],[3,6,7],[5,9],[8]] => 01010010 => [2,2,3,2] => 101010010 => 4
[[1,2,5],[3,7],[4,9],[6],[8]] => 01101010 => [2,1,2,2,2] => 101101010 => 5
[[1,2],[3,8],[4],[5],[6],[7],[9]] => 01111101 => [2,1,1,1,1,2,1] => 101111101 => 7
[[1,2,7,8,9,10],[3],[4],[5],[6]] => 011110000 => [2,1,1,1,5] => 1011110000 => 5
[[1,2,6,9,10],[3,8],[4],[5],[7]] => 011101000 => [2,1,1,2,4] => 1011101000 => 5
[[1,2,6,7],[3,9,10],[4],[5],[8]] => 011100100 => [2,1,1,3,3] => 1011100100 => 5
[[1,2,5,10],[3,7],[4,9],[6],[8]] => 011010100 => [2,1,2,2,3] => 1011010100 => 5
[[1,2,5],[3,7,8],[4,10],[6],[9]] => 011010010 => [2,1,2,3,2] => 1011010010 => 5
[[1,2,4],[3,6],[5,8],[7,10],[9]] => 010101010 => [2,2,2,2,2] => 1010101010 => 5
[[1,2],[3,9],[4],[5],[6],[7],[8],[10]] => 011111101 => [2,1,1,1,1,1,2,1] => 1011111101 => 8
[[1,2,3,4,7,8,9],[5,6]] => 00010000 => [4,5] => 100010000 => 2
[[1,2,4,5,8,9],[3,7],[6]] => 01001000 => [2,3,4] => 101001000 => 3
[[1,2,3,4,7,8],[5,6],[9]] => 00010001 => [4,4,1] => 100010001 => 3
[[1,2,4,5],[3,7],[6,9],[8]] => 01001010 => [2,3,2,2] => 101001010 => 4
[[1,2,6,7,10],[3,9],[4],[5],[8]] => 011100100 => [2,1,1,3,3] => 1011100100 => 5
[[1,2,6,7,8,9],[3],[4],[5],[10]] => 011100001 => [2,1,1,5,1] => 1011100001 => 5
[[1,2,5,6],[3,8],[4,10],[7],[9]] => 011001010 => [2,1,3,2,2] => 1011001010 => 5
[[1,2,4,5],[3,7],[6,9],[8],[10]] => 010010101 => [2,3,2,2,1] => 1010010101 => 5
[[1,2],[3,4],[5,6],[7,9],[8]] => 01010110 => [2,2,2,1,2] => 101010110 => 5
[[1,2,3,5,8],[4,7],[6],[9]] => 00101001 => [3,2,3,1] => 100101001 => 4
[[1,3,6,9],[2,5,8],[4,7]] => 10100100 => [1,2,3,3] => 110100100 => 4
[[1,2,3,5,6],[4,8],[7,9]] => 00100101 => [3,3,2,1] => 100100101 => 4
[[1,2,3,4],[5,6,7,9],[8]] => 00010010 => [4,3,2] => 100010010 => 3
[[1,2,4,6,9],[3,5,8],[7]] => 01010100 => [2,2,2,3] => 101010100 => 4
[[1,2,3,4,6,9],[5,8],[7]] => 00010100 => [4,2,3] => 100010100 => 3
[[1,2,3,5,7,9],[4,6,8]] => 00101010 => [3,2,2,2] => 100101010 => 4
[[1,2,3,4,5,7,9],[6,8]] => 00001010 => [5,2,2] => 100001010 => 3
[[1,2,4,6,9],[3,5,8],[7],[10]] => 010101001 => [2,2,2,3,1] => 1010101001 => 5
[[1,2,3,7],[4,5,8,10],[6,9]] => 001010110 => [3,2,2,1,2] => 1001010110 => 5
[[1,3,5,7,10],[2,4,6,9],[8]] => 101010100 => [1,2,2,2,3] => 1101010100 => 5
[[1,2,8],[3,9],[4],[5],[6],[7]] => 01111101 => [2,1,1,1,1,2,1] => 101111101 => 7
[[1,2,4,6,8,9],[3,5,7]] => 01010100 => [2,2,2,3] => 101010100 => 4
[[1,2,4,6,7,8,9],[3,5]] => 01010000 => [2,2,5] => 101010000 => 3
[[1,2,9],[3,10],[4],[5],[6],[7],[8]] => 011111101 => [2,1,1,1,1,1,2,1] => 1011111101 => 8
[[1,2,6,8,9,10],[3,7],[4],[5]] => 011101000 => [2,1,1,2,4] => 1011101000 => 5
[[1,2,5,8,9,10],[3,6],[4,7]] => 011011000 => [2,1,2,1,4] => 1011011000 => 5
[[1,2,3,4],[5,7],[6,8],[9,10]] => 000110110 => [4,1,2,1,2] => 1000110110 => 5
[[1,2,3,5],[4,6],[7,8],[9,10]] => 001011010 => [3,2,1,2,2] => 1001011010 => 5
[[1,2,3,5],[4,7],[6,8],[9,10]] => 001010110 => [3,2,2,1,2] => 1001010110 => 5
[[1,2,3,5],[4,7],[6,9],[8,10]] => 001010101 => [3,2,2,2,1] => 1001010101 => 5
[[1,2,4,6],[3,5],[7,8],[9,10]] => 010101010 => [2,2,2,2,2] => 1010101010 => 5
[[1,2,4,5],[3,6],[7,8],[9,10]] => 010011010 => [2,3,1,2,2] => 1010011010 => 5
[[1,2,4,5],[3,7],[6,8],[9,10]] => 010010110 => [2,3,2,1,2] => 1010010110 => 5
[[1,2,4,5],[3,7],[6,9],[8,10]] => 010010101 => [2,3,2,2,1] => 1010010101 => 5
[[1,2,3,5],[4,7],[6,9],[8,11],[10,12]] => 00101010101 => [3,2,2,2,2,1] => 100101010101 => 6
[[1,2,4,6],[3,5],[7,8],[9,10],[11,12]] => 01010101010 => [2,2,2,2,2,2] => 101010101010 => 6
[[1,2,4,5],[3,7],[6,9],[8,11],[10,12]] => 01001010101 => [2,3,2,2,2,1] => 101001010101 => 6
[[1,3,8],[2,9],[4],[5],[6],[7]] => 10111101 => [1,2,1,1,1,2,1] => 110111101 => 7
[[1,5,9],[2,6],[3],[4],[7],[8]] => 11101110 => [1,1,1,2,1,1,2] => 111101110 => 7
[[1,3,4,9],[2],[5],[6],[7],[8]] => 10011110 => [1,3,1,1,1,2] => 110011110 => 6
[[1,3,4,7,9],[2,8],[5],[6]] => 10011010 => [1,3,1,2,2] => 110011010 => 5
[[1,3,10],[2],[4],[5],[6],[7],[8],[9]] => 101111110 => [1,2,1,1,1,1,1,2] => 1101111110 => 8
[[1,5,7],[2,8,9],[3],[4],[6]] => 11101010 => [1,1,1,2,2,2] => 111101010 => 6
[[1,5,7,9],[2,8],[3],[4],[6]] => 11101010 => [1,1,1,2,2,2] => 111101010 => 6
[[1,4,6,8,9],[2,7],[3],[5]] => 11010100 => [1,1,2,2,3] => 111010100 => 5
[[1,3,6,8,9],[2,5],[4,7]] => 10100100 => [1,2,3,3] => 110100100 => 4
[[1,3,5,7],[2,6,8,9],[4]] => 10101010 => [1,2,2,2,2] => 110101010 => 5
[[1,3,5,7,9],[2,6,8],[4]] => 10101010 => [1,2,2,2,2] => 110101010 => 5
[[1,3,5,7,8,9],[2,6],[4]] => 10101000 => [1,2,2,4] => 110101000 => 4
[[1,4,7,9,10],[2,6],[3,8],[5]] => 110100100 => [1,1,2,3,3] => 1110100100 => 5
[[1,4,6,8,9,10],[2,7],[3],[5]] => 110101000 => [1,1,2,2,4] => 1110101000 => 5
[[1,3,6,9],[2,5,8],[4,7,10]] => 101001001 => [1,2,3,3,1] => 1101001001 => 5
[[1,3,6,8],[2,5,9,10],[4,7]] => 101001010 => [1,2,3,2,2] => 1101001010 => 5
[[1,3,6,8,10],[2,5,9],[4,7]] => 101001010 => [1,2,3,2,2] => 1101001010 => 5
[[1,3,5,7,9,10],[2,6,8],[4]] => 101010100 => [1,2,2,2,3] => 1101010100 => 5
[[1,3,6],[2,4,7],[5,8,9]] => 10110110 => [1,2,1,2,1,2] => 110110110 => 6
[[1,4,6,7,8,9],[2,5],[3],[10]] => 110100001 => [1,1,2,5,1] => 1110100001 => 5
[[1,3,6,7,8,9],[2,4],[5,10]] => 101100001 => [1,2,1,5,1] => 1101100001 => 5
[[1,3,5,7,8,9],[2,4,6],[10]] => 101010001 => [1,2,2,4,1] => 1101010001 => 5
[[1,2,4,6,8,9],[3,5,7,10]] => 010101001 => [2,2,2,3,1] => 1010101001 => 5
[[1,2],[3,9],[4],[5],[6],[7],[8]] => 01111110 => [2,1,1,1,1,1,2] => 101111110 => 7
[[1,2],[3,8],[4,9],[5],[6],[7]] => 01111101 => [2,1,1,1,1,2,1] => 101111101 => 7
[[1,2,5,7],[3,6,8,9],[4]] => 01101010 => [2,1,2,2,2] => 101101010 => 5
[[1,2],[3,10],[4],[5],[6],[7],[8],[9]] => 011111110 => [2,1,1,1,1,1,1,2] => 1011111110 => 8
[[1,2],[3,9],[4,10],[5],[6],[7],[8]] => 011111101 => [2,1,1,1,1,1,2,1] => 1011111101 => 8
[[1,3],[2,8],[4,9],[5],[6],[7]] => 10111101 => [1,2,1,1,1,2,1] => 110111101 => 7
[[1,2,3],[4,9],[5],[6],[7],[8]] => 00111110 => [3,1,1,1,1,2] => 100111110 => 6
[[1,2,3,4],[5,9],[6],[7],[8]] => 00011110 => [4,1,1,1,2] => 100011110 => 5
[[1,2,5],[3,4,9],[6,8],[7]] => 01001100 => [2,3,1,3] => 101001100 => 4
[[1,2,3,5],[4,8,9],[6],[7]] => 00101100 => [3,2,1,3] => 100101100 => 4
[[1,2,3,4,5],[6,9],[7],[8]] => 00001110 => [5,1,1,2] => 100001110 => 4
[[1,2,4,6],[3,5,8,9],[7]] => 01010100 => [2,2,2,3] => 101010100 => 4
[[1,2,3,4,6],[5,8,9],[7]] => 00010100 => [4,2,3] => 100010100 => 3
[[1,2,3,4,5,6],[7,9],[8]] => 00000110 => [6,1,2] => 100000110 => 3
[[1,2,3,5,7],[4,6,8,9]] => 00101010 => [3,2,2,2] => 100101010 => 4
[[1,2,3,4,5,7],[6,8,9]] => 00001010 => [5,2,2] => 100001010 => 3
[[1,2,3],[4,10],[5],[6],[7],[8],[9]] => 001111110 => [3,1,1,1,1,1,2] => 1001111110 => 7
[[1,2,3,4],[5,10],[6],[7],[8],[9]] => 000111110 => [4,1,1,1,1,2] => 1000111110 => 6
[[1,2,3,4,5],[6,10],[7],[8],[9]] => 000011110 => [5,1,1,1,2] => 1000011110 => 5
[[1,3,6],[2,5,9],[4,8,10],[7]] => 101001001 => [1,2,3,3,1] => 1101001001 => 5
[[1,4,5,6,10],[2,8],[3,9],[7]] => 110001010 => [1,1,4,2,2] => 1110001010 => 5
[[1,2,4,6],[3,5,9,10],[7],[8]] => 010101100 => [2,2,2,1,3] => 1010101100 => 5
[[1,2,3,4,5,6],[7,10],[8],[9]] => 000001110 => [6,1,1,2] => 1000001110 => 4
[[1,2,3,4,5,6,7],[8,10],[9]] => 000000110 => [7,1,2] => 1000000110 => 3
[[1,2,3,4,5,6,8],[7,9,10]] => 000001010 => [6,2,2] => 1000001010 => 3
[[1,3],[2,4],[5,9],[6],[7],[8]] => 10111110 => [1,2,1,1,1,1,2] => 110111110 => 7
[[1,3,9],[2,4],[5],[6],[7],[8]] => 10111110 => [1,2,1,1,1,1,2] => 110111110 => 7
[[1,4],[2,5],[3,6],[7,9],[8]] => 11011110 => [1,1,2,1,1,1,2] => 111011110 => 7
[[1,4,9],[2,5],[3,6],[7],[8]] => 11011110 => [1,1,2,1,1,1,2] => 111011110 => 7
[[1,2,4],[3,5,9],[6],[7],[8]] => 01011110 => [2,2,1,1,1,2] => 101011110 => 6
[[1,2,4,9],[3,5],[6],[7],[8]] => 01011110 => [2,2,1,1,1,2] => 101011110 => 6
[[1,2,5],[3,6,9],[4,7],[8]] => 01101110 => [2,1,2,1,1,2] => 101101110 => 6
[[1,2,5,9],[3,6],[4,7],[8]] => 01101110 => [2,1,2,1,1,2] => 101101110 => 6
[[1,2,3,5,9],[4,6],[7],[8]] => 00101110 => [3,2,1,1,2] => 100101110 => 5
[[1,3,6,9],[2,4,7],[5,8]] => 10110110 => [1,2,1,2,1,2] => 110110110 => 6
[[1,2,3,6,9],[4,7],[5,8]] => 00110110 => [3,1,2,1,2] => 100110110 => 5
[[1,2,4,6],[3,5,7,9],[8]] => 01010110 => [2,2,2,1,2] => 101010110 => 5
[[1,2,4,6,9],[3,5,7],[8]] => 01010110 => [2,2,2,1,2] => 101010110 => 5
[[1,2,3,4,6,9],[5,7],[8]] => 00010110 => [4,2,1,2] => 100010110 => 4
[[1,3],[2,4],[5,10],[6],[7],[8],[9]] => 101111110 => [1,2,1,1,1,1,1,2] => 1101111110 => 8
[[1,3,10],[2,4],[5],[6],[7],[8],[9]] => 101111110 => [1,2,1,1,1,1,1,2] => 1101111110 => 8
[[1,4],[2,5],[3,6],[7,10],[8],[9]] => 110111110 => [1,1,2,1,1,1,1,2] => 1110111110 => 8
[[1,4,10],[2,5],[3,6],[7],[8],[9]] => 110111110 => [1,1,2,1,1,1,1,2] => 1110111110 => 8
[[1,2,4],[3,5,10],[6],[7],[8],[9]] => 010111110 => [2,2,1,1,1,1,2] => 1010111110 => 7
[[1,2,4,10],[3,5],[6],[7],[8],[9]] => 010111110 => [2,2,1,1,1,1,2] => 1010111110 => 7
[[1,2,3,5,10],[4,6],[7],[8],[9]] => 001011110 => [3,2,1,1,1,2] => 1001011110 => 6
[[1,2,3,4,6,10],[5,7],[8],[9]] => 000101110 => [4,2,1,1,2] => 1000101110 => 5
[[1,2,3,4,7,10],[5,8],[6,9]] => 000110110 => [4,1,2,1,2] => 1000110110 => 5
[[1,2,3,5,7,10],[4,6,8],[9]] => 001010110 => [3,2,2,1,2] => 1001010110 => 5
[[1,2,3,4,5,7,10],[6,8],[9]] => 000010110 => [5,2,1,2] => 1000010110 => 4
[[1,3,4,5,7,9],[2,8,10],[6]] => 100010101 => [1,4,2,2,1] => 1100010101 => 5
[[1,3,4,6,8,10],[2,5,7,9]] => 100101010 => [1,3,2,2,2] => 1100101010 => 5
[[1,2,3,4,5,7],[6,9],[8]] => 00001010 => [5,2,2] => 100001010 => 3
[[1,2,3,4,6],[5,7,8,9]] => 00010100 => [4,2,3] => 100010100 => 3
[[1,2,3,4,6],[5,7,9],[8]] => 00010110 => [4,2,1,2] => 100010110 => 4
[[1,2,3,5],[4,6,7,9],[8]] => 00101010 => [3,2,2,2] => 100101010 => 4
[[1,2,3,5],[4,7],[6,9],[8]] => 00101010 => [3,2,2,2] => 100101010 => 4
[[1,2,4],[3,5,7],[6,8,9]] => 01011010 => [2,2,1,2,2] => 101011010 => 5
[[1,2,4],[3,5,7],[6,9],[8]] => 01011010 => [2,2,1,2,2] => 101011010 => 5
[[1,2,4],[3,6],[5,8],[7,9]] => 01010101 => [2,2,2,2,1] => 101010101 => 5
[[1,2,4],[3,6],[5,8],[7],[9]] => 01010101 => [2,2,2,2,1] => 101010101 => 5
[[1,2,3,4,5,6,8],[7,10],[9]] => 000001010 => [6,2,2] => 1000001010 => 3
[[1,2,3,4,5,7],[6,8,10],[9]] => 000010110 => [5,2,1,2] => 1000010110 => 4
[[1,2,3,5],[4,6,7,9],[8,10]] => 001010101 => [3,2,2,2,1] => 1001010101 => 5
[[1,2,3,5],[4,6,7,9],[8],[10]] => 001010101 => [3,2,2,2,1] => 1001010101 => 5
[[1,2,3,5],[4,6,8],[7,9,10]] => 001011010 => [3,2,1,2,2] => 1001011010 => 5
[[1,2,3,5],[4,6,8],[7,10],[9]] => 001011010 => [3,2,1,2,2] => 1001011010 => 5
[[1,2,3,5],[4,7],[6,9],[8],[10]] => 001010101 => [3,2,2,2,1] => 1001010101 => 5
[[1,4,5],[2,7,8],[3,10],[6],[9]] => 110010010 => [1,1,3,3,2] => 1110010010 => 5
[[1,3,8],[2,5],[4,7],[6,10],[9]] => 101010010 => [1,2,2,3,2] => 1101010010 => 5
[[1,5,6,7],[2,9,10],[3],[4],[8]] => 111000100 => [1,1,1,4,3] => 1111000100 => 5
[[1,5,6,7],[2,8,9,10],[3],[4]] => 111000100 => [1,1,1,4,3] => 1111000100 => 5
[[1,4,7,8],[2,6,9,10],[3],[5]] => 110100010 => [1,1,2,4,2] => 1110100010 => 5
[[1,4,6,7],[2,8,9,10],[3],[5]] => 110100100 => [1,1,2,3,3] => 1110100100 => 5
[[1,4,5,9],[2,7,8,10],[3],[6]] => 110010001 => [1,1,3,4,1] => 1110010001 => 5
[[1,4,5,8],[2,7,9,10],[3],[6]] => 110010010 => [1,1,3,3,2] => 1110010010 => 5
[[1,4,5,7],[2,8,9,10],[3],[6]] => 110010100 => [1,1,3,2,3] => 1110010100 => 5
[[1,3,7,8],[2,5,9,10],[4],[6]] => 101010010 => [1,2,2,3,2] => 1101010010 => 5
[[1,3,6,9],[2,5,8,10],[4],[7]] => 101001001 => [1,2,3,3,1] => 1101001001 => 5
[[1,3,6,8],[2,5,9,10],[4],[7]] => 101001010 => [1,2,3,2,2] => 1101001010 => 5
[[1,3,7,8],[2,6,9,10],[4],[5]] => 101100010 => [1,2,1,4,2] => 1101100010 => 5
[[1,3,5,9],[2,7,8,10],[4],[6]] => 101010001 => [1,2,2,4,1] => 1101010001 => 5
[[1,3,5,8],[2,7,9,10],[4],[6]] => 101010010 => [1,2,2,3,2] => 1101010010 => 5
[[1,3,5,7],[2,8,9,10],[4],[6]] => 101010100 => [1,2,2,2,3] => 1101010100 => 5
[[1,3,4,9],[2,6,7,10],[5],[8]] => 100100101 => [1,3,3,2,1] => 1100100101 => 5
[[1,3,4,9],[2,6,8,10],[5],[7]] => 100101001 => [1,3,2,3,1] => 1100101001 => 5
[[1,3,4,8],[2,6,9,10],[5],[7]] => 100101010 => [1,3,2,2,2] => 1100101010 => 5
[[1,3,4,9],[2,7,8,10],[5],[6]] => 100110001 => [1,3,1,4,1] => 1100110001 => 5
[[1,3,4,8],[2,7,9,10],[5],[6]] => 100110010 => [1,3,1,3,2] => 1100110010 => 5
[[1,3,4,7],[2,8,9,10],[5],[6]] => 100110100 => [1,3,1,2,3] => 1100110100 => 5
[[1,3,4,5],[2,7,8,10],[6],[9]] => 100010010 => [1,4,3,2] => 1100010010 => 4
[[1,4,6,8,9],[2,7,10,11,12],[3],[5]] => 11010100100 => [1,1,2,2,3,3] => 111010100100 => 6
[[1,4,6,7,9],[2,8,10,11,12],[3],[5]] => 11010010100 => [1,1,2,3,2,3] => 111010010100 => 6
[[1,4,5,7,9],[2,8,10,11,12],[3],[6]] => 11001010100 => [1,1,3,2,2,3] => 111001010100 => 6
[[1,3,7,9,10],[2,5,8,11,12],[4],[6]] => 10101010010 => [1,2,2,2,3,2] => 110101010010 => 6
[[1,3,7,8,11],[2,5,9,10,12],[4],[6]] => 10101001001 => [1,2,2,3,3,1] => 110101001001 => 6
[[1,3,7,8,10],[2,5,9,11,12],[4],[6]] => 10101001010 => [1,2,2,3,2,2] => 110101001010 => 6
[[1,3,6,9,11],[2,5,8,10,12],[4],[7]] => 10100100101 => [1,2,3,3,2,1] => 110100100101 => 6
[[1,3,6,8,11],[2,5,9,10,12],[4],[7]] => 10100101001 => [1,2,3,2,3,1] => 110100101001 => 6
[[1,3,6,8,10],[2,5,9,11,12],[4],[7]] => 10100101010 => [1,2,3,2,2,2] => 110100101010 => 6
[[1,3,5,8,11],[2,7,9,10,12],[4],[6]] => 10101001001 => [1,2,2,3,3,1] => 110101001001 => 6
[[1,3,5,8,10],[2,7,9,11,12],[4],[6]] => 10101001010 => [1,2,2,3,2,2] => 110101001010 => 6
[[1,3,5,7,11],[2,8,9,10,12],[4],[6]] => 10101010001 => [1,2,2,2,4,1] => 110101010001 => 6
[[1,3,5,7,10],[2,8,9,11,12],[4],[6]] => 10101010010 => [1,2,2,2,3,2] => 110101010010 => 6
[[1,3,5,7,9],[2,8,10,11,12],[4],[6]] => 10101010100 => [1,2,2,2,2,3] => 110101010100 => 6
[[1,3,4,9,11],[2,6,7,10,12],[5],[8]] => 10010010101 => [1,3,3,2,2,1] => 110010010101 => 6
[[1,3,4,9,11],[2,6,8,10,12],[5],[7]] => 10010100101 => [1,3,2,3,2,1] => 110010100101 => 6
[[1,3,4,8,11],[2,6,9,10,12],[5],[7]] => 10010101001 => [1,3,2,2,3,1] => 110010101001 => 6
[[1,3,4,8,10],[2,6,9,11,12],[5],[7]] => 10010101010 => [1,3,2,2,2,2] => 110010101010 => 6
[[1,2,3,5,6],[4,7,8,9]] => 00100100 => [3,3,3] => 100100100 => 3
[[1,2,3,6],[4,5,7,8],[9]] => 00100101 => [3,3,2,1] => 100100101 => 4
[[1,5,6,7,8,9],[2,10],[3],[4]] => 111000001 => [1,1,1,6,1] => 1111000001 => 5
[[1,2,3,6,7],[4,8,9],[5],[10]] => 001100101 => [3,1,3,2,1] => 1001100101 => 5
[[1,3,4,7],[2,5,6,8],[9,10]] => 100100110 => [1,3,3,1,2] => 1100100110 => 5
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Generating function
click to show known generating functions
Search the OEIS for these generating functions
Search the Online Encyclopedia of Integer
Sequences for the coefficients of a few of the
first generating functions, in the case at hand:
1,1 1,2,1 1,4,4,1 1,6,12,6,1 1,9,28,28,9,1 1,12,57,92,57,12,1 1,16,105,260,260,105,16,1
$F_{1} = q$
$F_{2} = q + q^{2}$
$F_{3} = q + 2\ q^{2} + q^{3}$
$F_{4} = q + 4\ q^{2} + 4\ q^{3} + q^{4}$
$F_{5} = q + 6\ q^{2} + 12\ q^{3} + 6\ q^{4} + q^{5}$
$F_{6} = q + 9\ q^{2} + 28\ q^{3} + 28\ q^{4} + 9\ q^{5} + q^{6}$
$F_{7} = q + 12\ q^{2} + 57\ q^{3} + 92\ q^{4} + 57\ q^{5} + 12\ q^{6} + q^{7}$
$F_{8} = q + 16\ q^{2} + 105\ q^{3} + 260\ q^{4} + 260\ q^{5} + 105\ q^{6} + 16\ q^{7} + q^{8}$
Description
The number of ones in a binary word.
This is also known as the Hamming weight of the word.
This is also known as the Hamming weight of the word.
Map
to composition
Description
The composition corresponding to a binary word.
Prepending $1$ to a binary word $w$, the $i$-th part of the composition equals $1$ plus the number of zeros after the $i$-th $1$ in $w$.
This map is not surjective, since the empty composition does not have a preimage.
Prepending $1$ to a binary word $w$, the $i$-th part of the composition equals $1$ plus the number of zeros after the $i$-th $1$ in $w$.
This map is not surjective, since the empty composition does not have a preimage.
Map
to binary word
Description
Return the composition as a binary word, treating ones as separators.
Encoding a positive integer $i$ as the word $10\dots 0$ consisting of a one followed by $i-1$ zeros, the binary word of a composition $(i_1,\dots,i_k)$ is the concatenation of of words for $i_1,\dots,i_k$.
The image of this map contains precisely the words which do not begin with a $0$.
Encoding a positive integer $i$ as the word $10\dots 0$ consisting of a one followed by $i-1$ zeros, the binary word of a composition $(i_1,\dots,i_k)$ is the concatenation of of words for $i_1,\dots,i_k$.
The image of this map contains precisely the words which do not begin with a $0$.
Map
descent word
Description
The descent word of a standard Young tableau.
For a standard Young tableau of size $n$ we set $w_i=1$ if $i+1$ is in a lower row than $i$, and $0$ otherwise, for $1\leq i < n$.
For a standard Young tableau of size $n$ we set $w_i=1$ if $i+1$ is in a lower row than $i$, and $0$ otherwise, for $1\leq i < n$.
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!