Identifier
Values
([],1) => [1] => 1 => 1
([],2) => [1,1] => 11 => 1
([(0,1)],2) => [2] => 0 => 1
([],3) => [1,1,1] => 111 => 1
([(1,2)],3) => [2,1] => 01 => 1
([(0,2),(1,2)],3) => [2,2] => 00 => 1
([(0,1),(0,2),(1,2)],3) => [3] => 1 => 1
([],4) => [1,1,1,1] => 1111 => 1
([(2,3)],4) => [2,1,1] => 011 => 1
([(1,3),(2,3)],4) => [2,2,1] => 001 => 1
([(0,3),(1,3),(2,3)],4) => [2,2,2] => 000 => 1
([(0,3),(1,2)],4) => [2,2] => 00 => 1
([(0,3),(1,2),(2,3)],4) => [2,2,2] => 000 => 1
([(1,2),(1,3),(2,3)],4) => [3,1] => 11 => 1
([(0,3),(1,2),(1,3),(2,3)],4) => [3,2] => 10 => 1
([(0,2),(0,3),(1,2),(1,3)],4) => [2,2,2,2] => 0000 => 1
([(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [3,3] => 11 => 1
([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [4] => 0 => 1
([],5) => [1,1,1,1,1] => 11111 => 1
([(3,4)],5) => [2,1,1,1] => 0111 => 1
([(2,4),(3,4)],5) => [2,2,1,1] => 0011 => 1
([(1,4),(2,4),(3,4)],5) => [2,2,2,1] => 0001 => 1
([(0,4),(1,4),(2,4),(3,4)],5) => [2,2,2,2] => 0000 => 1
([(1,4),(2,3)],5) => [2,2,1] => 001 => 1
([(1,4),(2,3),(3,4)],5) => [2,2,2,1] => 0001 => 1
([(0,1),(2,4),(3,4)],5) => [2,2,2] => 000 => 1
([(2,3),(2,4),(3,4)],5) => [3,1,1] => 111 => 1
([(0,4),(1,4),(2,3),(3,4)],5) => [2,2,2,2] => 0000 => 1
([(1,4),(2,3),(2,4),(3,4)],5) => [3,2,1] => 101 => 2
([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => [3,2,2] => 100 => 1
([(1,3),(1,4),(2,3),(2,4)],5) => [2,2,2,2,1] => 00001 => 1
([(0,4),(1,2),(1,3),(2,4),(3,4)],5) => [2,2,2,2,2] => 00000 => 1
([(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [3,3,1] => 111 => 1
([(0,4),(1,3),(2,3),(2,4),(3,4)],5) => [3,2,2] => 100 => 1
([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [3,3,2] => 110 => 1
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5) => [2,2,2,2,2,2] => 000000 => 1
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [3,3,3] => 111 => 1
([(0,4),(1,3),(2,3),(2,4)],5) => [2,2,2,2] => 0000 => 1
([(0,1),(2,3),(2,4),(3,4)],5) => [3,2] => 10 => 1
([(0,3),(1,2),(1,4),(2,4),(3,4)],5) => [3,2,2] => 100 => 1
([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5) => [3,3] => 11 => 1
([(0,3),(0,4),(1,2),(1,4),(2,3)],5) => [2,2,2,2,2] => 00000 => 1
([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) => [3,2,2,2] => 1000 => 1
([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5) => [3,3,3] => 111 => 1
([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5) => [3,3,2] => 110 => 1
([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [4,1] => 01 => 1
([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [4,2] => 00 => 1
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [4,3] => 01 => 1
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5) => [3,3,2,2] => 1100 => 1
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5) => [3,3,3,3] => 1111 => 1
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [4,4] => 00 => 1
([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [5] => 1 => 1
([],6) => [1,1,1,1,1,1] => 111111 => 1
([(4,5)],6) => [2,1,1,1,1] => 01111 => 1
([(3,5),(4,5)],6) => [2,2,1,1,1] => 00111 => 1
([(2,5),(3,5),(4,5)],6) => [2,2,2,1,1] => 00011 => 1
([(1,5),(2,5),(3,5),(4,5)],6) => [2,2,2,2,1] => 00001 => 1
([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => [2,2,2,2,2] => 00000 => 1
([(2,5),(3,4)],6) => [2,2,1,1] => 0011 => 1
([(2,5),(3,4),(4,5)],6) => [2,2,2,1,1] => 00011 => 1
([(1,2),(3,5),(4,5)],6) => [2,2,2,1] => 0001 => 1
([(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 1111 => 1
([(1,5),(2,5),(3,4),(4,5)],6) => [2,2,2,2,1] => 00001 => 1
([(0,1),(2,5),(3,5),(4,5)],6) => [2,2,2,2] => 0000 => 1
([(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1,1] => 1011 => 2
([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => [2,2,2,2,2] => 00000 => 1
([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2,1] => 1001 => 2
([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1000 => 1
([(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,1,1] => 000011 => 1
([(0,5),(1,5),(2,4),(3,4)],6) => [2,2,2,2] => 0000 => 1
([(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,1] => 000001 => 1
([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => [2,2,2,2,2] => 00000 => 1
([(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,1,1] => 1111 => 1
([(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,1] => 1001 => 2
([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => [2,2,2,2,2] => 00000 => 1
([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 000000 => 1
([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,1] => 1101 => 2
([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1000 => 1
([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1100 => 1
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2,1] => 0000001 => 1
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2] => 000000 => 1
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2,2] => 0000000 => 1
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,1] => 1111 => 1
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1100 => 1
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110 => 1
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3] => 1111 => 1
([(0,5),(1,4),(2,3)],6) => [2,2,2] => 000 => 1
([(1,5),(2,4),(3,4),(3,5)],6) => [2,2,2,2,1] => 00001 => 1
([(0,1),(2,5),(3,4),(4,5)],6) => [2,2,2,2] => 0000 => 1
([(1,2),(3,4),(3,5),(4,5)],6) => [3,2,1] => 101 => 2
([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => [2,2,2,2,2] => 00000 => 1
([(1,4),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,2,1] => 1001 => 2
([(0,1),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2] => 100 => 1
([(0,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,2,2] => 1000 => 1
([(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,3,1] => 111 => 1
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,3,2] => 110 => 1
([(1,4),(1,5),(2,3),(2,5),(3,4)],6) => [2,2,2,2,2,1] => 000001 => 1
([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 000000 => 1
([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2,1] => 10001 => 2
([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 000000 => 1
>>> Load all 1075 entries. <<<
([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,2,1] => 1101 => 2
([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1000 => 1
([(0,5),(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2,2] => 10000 => 1
([(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1100 => 1
([(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,1] => 1111 => 1
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110 => 1
([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => [2,2,2,2,2] => 00000 => 1
([(0,1),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2] => 00000 => 1
([(0,5),(1,5),(2,3),(2,4),(3,4)],6) => [3,2,2] => 100 => 1
([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6) => [2,2,2,2,2,2] => 000000 => 1
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6) => [3,2,2,2] => 1000 => 1
([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,2,2] => 1000 => 1
([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2] => 110 => 1
([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,2,2] => 1000 => 1
([(0,3),(0,4),(1,2),(1,5),(2,5),(3,5),(4,5)],6) => [3,2,2,2,2] => 10000 => 1
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,2,2] => 1100 => 1
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2] => 110 => 1
([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3] => 111 => 1
([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 011 => 1
([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1100 => 1
([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,1] => 001 => 1
([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2] => 000 => 1
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2,2] => 0000000 => 1
([(0,3),(0,5),(1,3),(1,5),(2,4),(2,5),(3,4),(4,5)],6) => [3,2,2,2,2,2] => 100000 => 1
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110 => 1
([(0,5),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,3,2] => 1110 => 1
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2,2] => 11000 => 1
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3] => 1111 => 1
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,2] => 11000 => 1
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,1] => 011 => 1
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2] => 000 => 1
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,2] => 010 => 2
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,2,2] => 110000 => 1
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3] => 011 => 1
([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [2,2,2,2,2,2,2] => 0000000 => 1
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,1] => 11001 => 2
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,2,2,2] => 11000 => 1
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,3,3,1] => 11111 => 1
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,3,3,2] => 11110 => 1
([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6) => [2,2,2,2,2,2] => 000000 => 1
([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6) => [2,2,2,2,2,2,2] => 0000000 => 1
([(0,5),(1,2),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => [3,2,2,2,2] => 10000 => 1
([(0,1),(0,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,2,2,2] => 10000 => 1
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2] => 1100 => 1
([(0,5),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [3,2,2,2,2] => 10000 => 1
([(0,1),(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,2,2,2] => 11000 => 1
([(0,4),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,3,2] => 1110 => 1
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [3,3,2,2] => 1100 => 1
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,3,3,3] => 1111 => 1
([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [3,3,2,2,2] => 11000 => 1
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,2,2] => 110000 => 1
([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2,2] => 11100 => 1
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3,3] => 11111 => 1
([(0,5),(1,2),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3,2] => 11110 => 1
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,1] => 001 => 1
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,2] => 010 => 2
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,2] => 000 => 1
([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2,2] => 11100 => 1
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,3,3] => 1111 => 1
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3] => 011 => 1
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,3] => 001 => 1
([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,2,2,2] => 111000 => 1
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,3,3,2,2] => 111100 => 1
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,4] => 000 => 1
([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6) => [3,3] => 11 => 1
([(0,2),(1,4),(1,5),(2,3),(3,4),(3,5),(4,5)],6) => [3,3,2,2] => 1100 => 1
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6) => [3,3,2] => 110 => 1
([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2] => 00 => 1
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,3] => 111 => 1
([(0,1),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2] => 000 => 1
([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3] => 01 => 1
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6) => [3,3,2,2] => 1100 => 1
([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6) => [3,3,3,2] => 1110 => 1
([(0,3),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,2] => 010 => 2
([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3] => 1111 => 1
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,2,2,2] => 0000 => 1
([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3] => 011 => 1
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,3,3] => 1111 => 1
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4] => 00 => 1
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4)],6) => [3,2,2,2,2,2] => 100000 => 1
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3,2,2,2] => 11000 => 1
([(0,3),(0,4),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,3,3,2,2] => 11100 => 1
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,3,3,3,3] => 11111 => 1
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6) => [3,3,2,2,2] => 11000 => 1
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,3,3,3,2] => 11110 => 1
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,3,3,3,3] => 11111 => 1
([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3,3] => 0111 => 1
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,4] => 000 => 1
([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [4,3,2,2] => 0100 => 2
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3] => 011 => 1
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,3] => 001 => 1
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,2] => 000 => 1
([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [5,1] => 11 => 1
([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [5,2] => 10 => 1
([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [5,3] => 11 => 1
([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [5,4] => 10 => 1
([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [4,4,2,2] => 0000 => 1
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,3,3,2] => 0110 => 2
([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [4,4,3,3] => 0011 => 1
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,4,4,4] => 0000 => 1
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [5,5] => 11 => 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [6] => 0 => 1
([],7) => [1,1,1,1,1,1,1] => 1111111 => 1
([(5,6)],7) => [2,1,1,1,1,1] => 011111 => 1
([(4,6),(5,6)],7) => [2,2,1,1,1,1] => 001111 => 1
([(3,6),(4,6),(5,6)],7) => [2,2,2,1,1,1] => 000111 => 1
([(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,1,1] => 000011 => 1
([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,1] => 000001 => 1
([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(3,6),(4,5)],7) => [2,2,1,1,1] => 00111 => 1
([(3,6),(4,5),(5,6)],7) => [2,2,2,1,1,1] => 000111 => 1
([(2,3),(4,6),(5,6)],7) => [2,2,2,1,1] => 00011 => 1
([(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 11111 => 1
([(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,1,1] => 000011 => 1
([(1,2),(3,6),(4,6),(5,6)],7) => [2,2,2,2,1] => 00001 => 1
([(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1,1] => 10111 => 2
([(1,6),(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,1] => 000001 => 1
([(0,1),(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2] => 00000 => 1
([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,1,1] => 10011 => 2
([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10001 => 2
([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,1,1,1] => 0000111 => 1
([(1,6),(2,6),(3,5),(4,5)],7) => [2,2,2,2,1] => 00001 => 1
([(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,1,1] => 0000011 => 1
([(1,6),(2,6),(3,4),(4,5),(5,6)],7) => [2,2,2,2,2,1] => 000001 => 1
([(0,6),(1,6),(2,6),(3,5),(4,5)],7) => [2,2,2,2,2] => 00000 => 1
([(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1,1,1] => 11111 => 1
([(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,1,1] => 10011 => 2
([(1,6),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,1] => 000001 => 1
([(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 0000001 => 1
([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,1,1] => 11011 => 3
([(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10001 => 2
([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11001 => 2
([(0,6),(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,1,1] => 00000011 => 1
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,1] => 0000001 => 1
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,1] => 00000001 => 1
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,1,1] => 11111 => 1
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11001 => 2
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101 => 2
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,2,1] => 000000001 => 1
([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,1] => 11111 => 1
([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(1,6),(2,5),(3,4)],7) => [2,2,2,1] => 0001 => 1
([(2,6),(3,5),(4,5),(4,6)],7) => [2,2,2,2,1,1] => 000011 => 1
([(1,2),(3,6),(4,5),(5,6)],7) => [2,2,2,2,1] => 00001 => 1
([(0,3),(1,2),(4,6),(5,6)],7) => [2,2,2,2] => 0000 => 1
([(2,3),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1011 => 2
([(1,6),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,1] => 000001 => 1
([(0,1),(2,6),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2] => 00000 => 1
([(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,1,1] => 10011 => 2
([(1,2),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,1] => 1001 => 2
([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(1,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,2,1] => 10001 => 2
([(0,1),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1000 => 1
([(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,1,1] => 1111 => 1
([(0,6),(1,6),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,1] => 1101 => 2
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [2,2,2,2,2,1,1] => 0000011 => 1
([(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 0000001 => 1
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1,1] => 100011 => 2
([(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 0000001 => 1
([(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,1,1] => 11011 => 3
([(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10001 => 2
([(0,6),(1,6),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 100001 => 2
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11001 => 2
([(0,6),(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,1,1] => 11111 => 1
([(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,6),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101 => 2
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(1,6),(2,5),(3,4),(3,5),(4,6)],7) => [2,2,2,2,2,1] => 000001 => 1
([(1,2),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,1] => 000001 => 1
([(0,6),(1,5),(2,4),(3,4),(5,6)],7) => [2,2,2,2,2] => 00000 => 1
([(1,6),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2,1] => 1001 => 2
([(1,5),(2,3),(2,4),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2,1] => 0000001 => 1
([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6)],7) => [3,2,2,2,1] => 10001 => 2
([(0,6),(1,3),(2,3),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1000 => 1
([(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,1] => 10001 => 2
([(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,1] => 1101 => 2
([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(0,1),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1000 => 1
([(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,2,1] => 10001 => 2
([(0,5),(1,6),(2,3),(2,4),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 100001 => 2
([(0,5),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2] => 10000 => 1
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,1] => 11001 => 2
([(0,6),(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,1] => 1101 => 2
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,1] => 1111 => 1
([(0,6),(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110 => 1
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2,2] => 1000 => 1
([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 0111 => 1
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11001 => 2
([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1,1] => 0011 => 1
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,1] => 0001 => 1
([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 0000 => 1
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,1] => 00000001 => 1
([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2,1] => 1000001 => 2
([(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101 => 2
([(0,6),(1,5),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101 => 2
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,1] => 110001 => 2
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,1] => 11111 => 1
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110 => 1
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110 => 1
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111 => 1
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,1] => 110001 => 2
([(0,6),(1,6),(2,3),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,1,1] => 0111 => 1
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,1] => 0001 => 1
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,1] => 0101 => 3
([(0,6),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 0000 => 1
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2,2,2,2] => 10000000 => 1
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2,1] => 1100001 => 2
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,1] => 0111 => 1
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,2,1] => 00000001 => 1
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,1,1] => 110011 => 3
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,1] => 110001 => 2
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,1,1] => 111111 => 1
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,1] => 111101 => 2
([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7) => [2,2,2,2,2,2,1] => 0000001 => 1
([(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2,2,1] => 00000001 => 1
([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 100001 => 2
([(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,1] => 100001 => 2
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,1] => 11001 => 2
([(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2,1] => 100001 => 2
([(0,4),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,1] => 110001 => 2
([(0,6),(1,2),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,6),(1,4),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,6),(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101 => 2
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11001 => 2
([(0,6),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,6),(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,1] => 11111 => 1
([(0,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5)],7) => [2,2,2,2,2,2] => 000000 => 1
([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(0,4),(1,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(0,4),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(0,1),(0,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2] => 1110 => 1
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,3] => 1111 => 1
([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,2,1] => 000000001 => 1
([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2,1] => 110001 => 2
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2,1] => 1100001 => 2
([(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,1] => 111001 => 2
([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,1] => 111111 => 1
([(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(0,5),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,5),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,3),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,5),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,3),(0,6),(1,3),(1,6),(2,4),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,3),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,5),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,1] => 111101 => 2
([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,1,1] => 0011 => 1
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,1] => 0001 => 1
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 0000 => 1
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,1] => 111001 => 2
([(0,5),(1,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,1] => 0101 => 3
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,1] => 11111 => 1
([(0,6),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 0000 => 1
([(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,1] => 0111 => 1
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,6),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,1] => 0011 => 1
([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 0000 => 1
([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 0010 => 2
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6)],7) => [3,2,2,2,2,2,2,2] => 10000000 => 1
([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2,1] => 1110001 => 2
([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2,2,1] => 1111001 => 2
([(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,5),(0,6),(1,3),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,4),(0,5),(1,4),(1,5),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,4),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,5),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,1] => 0001 => 1
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 0010 => 2
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2] => 0000 => 1
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 0001 => 1
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4] => 0000 => 1
([(0,1),(2,5),(3,4),(4,6),(5,6)],7) => [2,2,2,2,2] => 00000 => 1
([(0,3),(1,2),(4,5),(4,6),(5,6)],7) => [3,2,2] => 100 => 1
([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(0,1),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2] => 1000 => 1
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2] => 110 => 1
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,3] => 111 => 1
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => [2,2,2,2,2,2] => 000000 => 1
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [2,2,2,2,2,2] => 000000 => 1
([(0,6),(1,5),(2,3),(2,4),(3,4),(5,6)],7) => [3,2,2,2] => 1000 => 1
([(0,6),(1,4),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(0,4),(1,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,1),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(0,6),(1,4),(2,3),(2,5),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,5),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,5),(1,4),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,4),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(0,1),(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,4),(1,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110 => 1
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(0,1),(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,3),(1,5),(1,6),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110 => 1
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111 => 1
([(1,5),(1,6),(2,3),(2,4),(3,4),(5,6)],7) => [3,3,1] => 111 => 1
([(1,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,2,2,1] => 11001 => 2
([(0,1),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,2,1] => 1101 => 2
([(0,6),(1,2),(1,3),(2,3),(4,5),(4,6),(5,6)],7) => [3,3,2] => 110 => 1
([(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 001 => 1
([(0,6),(1,2),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,1] => 1111 => 1
([(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,1] => 0001 => 1
([(0,1),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2] => 000 => 1
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110 => 1
([(0,6),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 0000 => 1
([(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,1] => 011 => 1
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2] => 010 => 2
([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(0,5),(1,3),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,1),(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,4),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,5),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,3),(1,5),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,4),(0,6),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,4),(1,5),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,2,2,1] => 11001 => 2
([(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2,1] => 11101 => 2
([(0,6),(1,2),(1,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,1] => 0101 => 3
([(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,1] => 11111 => 1
([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2,1] => 00001 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,6),(1,3),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,1] => 0111 => 1
([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2,2] => 00000 => 1
([(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7) => [3,3,2,2] => 1100 => 1
([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,1),(0,6),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2] => 1110 => 1
([(0,5),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 0000 => 1
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2] => 010 => 2
([(0,6),(1,2),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110 => 1
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3] => 111 => 1
([(0,1),(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111 => 1
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2] => 010 => 2
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3] => 011 => 1
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 01000 => 2
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,1] => 11111 => 1
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2] => 11110 => 1
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,1] => 001 => 1
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2] => 000 => 1
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 001 => 1
([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7) => [2,2,2,2,2,2,2] => 0000000 => 1
([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(0,3),(1,4),(1,5),(2,4),(2,6),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,1),(0,3),(1,2),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(0,6),(1,2),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,6),(1,2),(1,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,3),(1,2),(1,5),(2,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,6),(1,2),(1,6),(2,4),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,5),(1,2),(1,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,1),(0,2),(1,6),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,3),(0,6),(1,2),(1,6),(2,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,5),(1,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,5),(1,3),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,1),(0,6),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,4),(0,6),(1,3),(1,6),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,5),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,2,2,2,2,1] => 1000001 => 2
([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,1] => 110001 => 2
([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,1] => 111001 => 2
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,1] => 111111 => 1
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => [3,2,2,2,2,2,2,2] => 10000000 => 1
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,5),(0,6),(1,3),(1,5),(2,3),(2,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5)],7) => [3,2,2,2,2,2,2,2] => 10000000 => 1
([(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [3,3,2,2,2,1] => 110001 => 2
([(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,1] => 111101 => 2
([(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,1] => 111111 => 1
([(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 01000 => 2
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,1] => 01111 => 1
([(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 01110 => 2
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => [3,2,2,2,2,2,2,2] => 10000000 => 1
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,1] => 0001 => 1
([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,1] => 0111 => 1
([(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,2,2,1] => 01001 => 4
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 0000 => 1
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,1] => 0011 => 1
([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 01000 => 2
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 0010 => 2
([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,5),(0,6),(1,2),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 01100 => 2
([(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 01110 => 2
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 01111 => 1
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 0010 => 2
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 0010 => 2
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,5),(0,6),(1,2),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 01100 => 2
([(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,1] => 0001 => 1
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2] => 0000 => 1
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 0001 => 1
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => [2,2,2,2,2,2,2,2] => 00000000 => 1
([(0,3),(0,4),(1,2),(1,5),(2,5),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2] => 100000 => 1
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,2),(1,4),(1,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,1),(0,6),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => [3,2,2,2,2,2,2,2] => 10000000 => 1
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,3),(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,1),(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,4),(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,1),(0,6),(1,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,1),(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,2),(0,3),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,4),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [3,3,2,2,2] => 11000 => 1
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,1),(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,1),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,1),(0,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2,2] => 00000 => 1
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,1),(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 01000 => 2
([(0,3),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,2] => 1110 => 1
([(0,5),(0,6),(1,2),(1,5),(2,3),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,4),(1,3),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,4),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,1),(0,6),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2,2] => 00000 => 1
([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,3),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,4),(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 01000 => 2
([(0,4),(0,6),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,1),(0,5),(1,5),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111 => 1
([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2] => 000 => 1
([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111 => 1
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 0000 => 1
([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3] => 011 => 1
([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 001 => 1
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,4),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [4,2,2,2,2] => 00000 => 1
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [4,2,2,2,2,2] => 000000 => 1
([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 01100 => 2
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 01111 => 1
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 0010 => 2
([(0,4),(0,5),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,1),(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2,2] => 00000 => 1
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [4,3,3,2,2] => 01100 => 2
([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2] => 000 => 1
([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 001 => 1
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4] => 000 => 1
([(0,5),(0,6),(1,2),(1,3),(2,3),(4,5),(4,6)],7) => [3,2,2,2,2] => 10000 => 1
([(0,3),(1,3),(1,4),(2,5),(2,6),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2] => 11000 => 1
([(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2] => 000 => 1
([(0,6),(1,2),(1,4),(2,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,2,2] => 1100 => 1
([(0,1),(0,2),(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3] => 111 => 1
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5)],7) => [3,3,2,2,2] => 11000 => 1
([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,2),(1,2),(1,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2] => 0000 => 1
([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2] => 1110 => 1
([(0,5),(1,3),(1,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,2] => 1110 => 1
([(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,2,2] => 0000 => 1
([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,2,2,2] => 00000 => 1
([(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111 => 1
([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,3,2] => 010 => 2
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,3,3] => 011 => 1
([(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 111 => 1
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 0000 => 1
([(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,2,1] => 101 => 2
([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,2,2] => 100 => 1
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,3,2,2,2,2] => 010000 => 2
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 0010 => 2
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,4,2,2,2] => 00000 => 1
([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,1] => 111 => 1
([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,2,2] => 100 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,2] => 110 => 1
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,4,2,2,2,2] => 000000 => 1
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,3] => 111 => 1
([(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,3),(0,4),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,1),(0,4),(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,2),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2,2] => 011000 => 2
([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2] => 0000 => 1
([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,4,3,2,2] => 00100 => 3
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 0001 => 1
([(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [4,3,3,3,2,2] => 011100 => 2
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2] => 0000 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 0001 => 1
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 01111 => 1
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 00111 => 1
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4] => 0000 => 1
([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,3),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 01000 => 2
([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [4,2,2,2,2,2] => 000000 => 1
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,5),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,3,2,2,2] => 01000 => 2
([(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,3),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2,2] => 010000 => 2
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,5),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,3,3,2] => 01110 => 2
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,3,2,2] => 01100 => 2
([(0,5),(0,6),(1,2),(1,4),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,3,3,3,3] => 01111 => 1
([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,1] => 01101 => 4
([(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,4,2,2,1] => 00001 => 1
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 01100 => 2
([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,3,3,1] => 00111 => 1
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,2,2,2] => 00000 => 1
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,3,3,2] => 00110 => 2
([(0,6),(1,2),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 01000 => 2
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111 => 1
([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,4,2,2] => 0000 => 1
([(0,5),(0,6),(1,2),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 01100 => 2
([(0,5),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,3,2] => 0010 => 2
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7) => [4,3,3,2,2,2] => 011000 => 2
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 01110 => 2
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [4,4,3,2,2] => 00100 => 3
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,3,3,3] => 00111 => 1
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [4,4,3,3,2] => 00110 => 2
([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,1] => 101 => 2
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,2] => 110 => 1
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,2] => 100 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,3] => 111 => 1
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3] => 101 => 2
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [4,3,3,3,2,2] => 011100 => 2
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4] => 100 => 1
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2,2] => 00100 => 3
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,2] => 00110 => 2
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 01110 => 2
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 00111 => 1
([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4,1] => 00001 => 1
([(0,2),(0,6),(1,2),(1,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,4),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,2,2,2,2,2] => 1000000 => 1
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,3),(0,4),(1,2),(1,3),(1,5),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,2,2,2,2,2] => 1100000 => 1
([(0,3),(0,6),(1,2),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,3),(0,6),(1,2),(1,5),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,2,2,2,2] => 1110000 => 1
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,3),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,4),(0,6),(1,2),(1,5),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 01100 => 2
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 01110 => 2
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 01111 => 1
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6)],7) => [3,2,2,2,2,2,2,2] => 10000000 => 1
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7) => [3,3,2,2,2,2] => 110000 => 1
([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,3,2,2,2] => 111000 => 1
([(0,5),(0,6),(1,2),(1,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,1),(0,4),(0,6),(1,2),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,2),(0,3),(1,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 01100 => 2
([(0,3),(0,5),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 01100 => 2
([(0,1),(0,2),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 01111 => 1
([(0,2),(0,4),(1,3),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2,2] => 00100 => 3
([(0,2),(0,6),(1,3),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2,2] => 00100 => 3
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 01111 => 1
([(0,1),(0,2),(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 01110 => 2
([(0,1),(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 00111 => 1
([(0,4),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2] => 0000 => 1
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 0001 => 1
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 01111 => 1
([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 0000 => 1
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4] => 0000 => 1
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,1),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,4,2,2,2] => 00000 => 1
([(0,2),(0,6),(1,2),(1,4),(1,5),(2,3),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2,2] => 010000 => 2
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [4,3,3,2,2] => 01100 => 2
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,1),(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,2,2,2,2] => 000000 => 1
([(0,5),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,2] => 00110 => 2
([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,3,3,3,2] => 01110 => 2
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 00111 => 1
([(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,1),(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2,2,2] => 001000 => 3
([(0,2),(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2,2] => 00000 => 1
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 00111 => 1
([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,1] => 111 => 1
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,2] => 100 => 1
([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,2] => 110 => 1
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,4,4,2,2] => 00000 => 1
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 00111 => 1
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,3] => 111 => 1
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3] => 101 => 2
([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,3] => 111 => 1
([(0,1),(0,2),(0,5),(1,4),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [4,3,2,2,2,2] => 010000 => 2
([(0,1),(0,2),(0,5),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2,2] => 011000 => 2
([(0,4),(0,5),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,3,3,3,2,2] => 011100 => 2
([(0,2),(0,4),(0,5),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,2] => 00110 => 2
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 0001 => 1
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4] => 0000 => 1
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4] => 100 => 1
([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,4] => 110 => 1
([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,5] => 111 => 1
([(0,4),(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,3,3,2] => 1110 => 1
([(0,1),(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3] => 01 => 1
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3] => 1111 => 1
([(0,1),(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,3,2] => 010 => 2
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3] => 011 => 1
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,4] => 00 => 1
([(0,1),(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 01000 => 2
([(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 01000 => 2
([(0,3),(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,4),(0,5),(1,2),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,2),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 0010 => 2
([(0,1),(0,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2,2] => 00000 => 1
([(0,2),(0,6),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,6),(4,5),(5,6)],7) => [3,3,3,2,2] => 11100 => 1
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [4,3,2,2] => 0100 => 2
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2] => 11110 => 1
([(0,3),(0,6),(1,2),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,3] => 011 => 1
([(0,1),(0,2),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2] => 0110 => 2
([(0,3),(0,5),(1,2),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 001 => 1
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,2,2] => 0000 => 1
([(0,1),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,2] => 10 => 1
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 001 => 1
([(0,1),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,2,2] => 100 => 1
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3] => 11 => 1
([(0,1),(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3] => 001 => 1
([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 01111 => 1
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4] => 000 => 1
([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,4,3,2] => 0010 => 2
([(0,1),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,2] => 110 => 1
([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,2,2,2] => 1000 => 1
([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,3] => 111 => 1
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,4,3,3] => 0011 => 1
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4] => 10 => 1
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,3,3,2] => 0110 => 2
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,1),(0,2),(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,2,2,2] => 01000 => 2
([(0,1),(0,4),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 01110 => 2
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,3] => 01111 => 1
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,1),(0,3),(0,4),(1,2),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,2,2] => 111100 => 1
([(0,1),(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,2,2] => 01100 => 2
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,3,3,3,2] => 111110 => 1
([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,4,2,2,2] => 00000 => 1
([(0,1),(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,3,3,3] => 11111 => 1
([(0,1),(0,2),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,3,3,3,2] => 01110 => 2
([(0,1),(0,5),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,3,2,2] => 00100 => 3
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,3,3,3] => 00111 => 1
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [4,3,3,3] => 0111 => 1
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [4,3,3,3,3] => 01111 => 1
([(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,2] => 0010 => 2
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 0001 => 1
([(0,4),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 00111 => 1
([(0,3),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,2] => 100 => 1
([(0,3),(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,3] => 0001 => 1
([(0,1),(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,2,2] => 1100 => 1
([(0,3),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3] => 101 => 2
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,4] => 0000 => 1
([(0,1),(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [4,4,3,3,2] => 00110 => 2
([(0,1),(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,3] => 00111 => 1
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,3,3] => 1111 => 1
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4] => 100 => 1
([(0,1),(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3] => 0011 => 1
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,4,4,4] => 0000 => 1
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5] => 11 => 1
([(0,3),(0,4),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,4,2,2] => 00000 => 1
([(0,1),(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,4,3,3,2] => 00110 => 2
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [4,3,3,2,2] => 01100 => 2
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,4,3,3,3] => 00111 => 1
([(0,1),(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4,4] => 1000 => 1
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,5] => 111 => 1
([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,4,4,3,2] => 00010 => 2
([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,3,3,2] => 1110 => 1
([(0,2),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3,3] => 1011 => 2
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4] => 100 => 1
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,4] => 110 => 1
([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,2,2] => 1000 => 1
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3] => 101 => 2
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,3] => 111 => 1
([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,5,2] => 110 => 1
([(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,1] => 01 => 1
([(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,2] => 00 => 1
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,3] => 01 => 1
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,4] => 00 => 1
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,5] => 01 => 1
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [5,5,2,2] => 1100 => 1
([(0,1),(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,3,2] => 1010 => 3
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [5,5,3,3] => 1111 => 1
([(0,1),(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,4,4,3] => 1001 => 2
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [6,6] => 00 => 1
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [7] => 1 => 1
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
Description
The number of standard Young tableaux whose descent set is the binary word.
A descent in a standard Young tableau is an entry $i$ such that $i+1$ appears in a lower row in English notation.
For example, the tableaux $[[1,2,4],[3]]$ and $[[1,2],[3,4]]$ are those with descent set $\{2\}$, corresponding to the binary word $010$.
Map
odd parts
Description
Return the binary word indicating which parts of the partition are odd.
Map
clique sizes
Description
The integer partition of the sizes of the maximal cliques of a graph.