Processing math: 100%

Identifier
Values
([],1) => [1] => 1 => 1
([],2) => [2] => 10 => 1
([(0,1)],2) => [1,1] => 11 => 2
([],3) => [3] => 100 => 1
([(1,2)],3) => [2,1] => 101 => 2
([(0,2),(1,2)],3) => [2,1] => 101 => 2
([(0,1),(0,2),(1,2)],3) => [1,1,1] => 111 => 3
([],4) => [4] => 1000 => 1
([(2,3)],4) => [3,1] => 1001 => 2
([(1,3),(2,3)],4) => [3,1] => 1001 => 2
([(0,3),(1,3),(2,3)],4) => [3,1] => 1001 => 2
([(0,3),(1,2)],4) => [2,2] => 1010 => 2
([(0,3),(1,2),(2,3)],4) => [2,2] => 1010 => 2
([(1,2),(1,3),(2,3)],4) => [2,1,1] => 1011 => 3
([(0,3),(1,2),(1,3),(2,3)],4) => [2,1,1] => 1011 => 3
([(0,2),(0,3),(1,2),(1,3)],4) => [2,2] => 1010 => 2
([(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [2,1,1] => 1011 => 3
([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => [1,1,1,1] => 1111 => 4
([],5) => [5] => 10000 => 1
([(3,4)],5) => [4,1] => 10001 => 2
([(2,4),(3,4)],5) => [4,1] => 10001 => 2
([(1,4),(2,4),(3,4)],5) => [4,1] => 10001 => 2
([(0,4),(1,4),(2,4),(3,4)],5) => [4,1] => 10001 => 2
([(1,4),(2,3)],5) => [3,2] => 10010 => 2
([(1,4),(2,3),(3,4)],5) => [3,2] => 10010 => 2
([(0,1),(2,4),(3,4)],5) => [3,2] => 10010 => 2
([(2,3),(2,4),(3,4)],5) => [3,1,1] => 10011 => 3
([(0,4),(1,4),(2,3),(3,4)],5) => [3,2] => 10010 => 2
([(1,4),(2,3),(2,4),(3,4)],5) => [3,1,1] => 10011 => 3
([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => [3,1,1] => 10011 => 3
([(1,3),(1,4),(2,3),(2,4)],5) => [3,2] => 10010 => 2
([(0,4),(1,2),(1,3),(2,4),(3,4)],5) => [3,2] => 10010 => 2
([(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [3,1,1] => 10011 => 3
([(0,4),(1,3),(2,3),(2,4),(3,4)],5) => [3,1,1] => 10011 => 3
([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [3,1,1] => 10011 => 3
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5) => [3,2] => 10010 => 2
([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [3,1,1] => 10011 => 3
([(0,4),(1,3),(2,3),(2,4)],5) => [3,2] => 10010 => 2
([(0,1),(2,3),(2,4),(3,4)],5) => [2,2,1] => 10101 => 3
([(0,3),(1,2),(1,4),(2,4),(3,4)],5) => [2,2,1] => 10101 => 3
([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5) => [2,2,1] => 10101 => 3
([(0,3),(0,4),(1,2),(1,4),(2,3)],5) => [2,2,1] => 10101 => 3
([(0,1),(0,4),(1,3),(2,3),(2,4),(3,4)],5) => [2,2,1] => 10101 => 3
([(0,3),(0,4),(1,2),(1,4),(2,3),(2,4),(3,4)],5) => [2,2,1] => 10101 => 3
([(0,4),(1,2),(1,3),(2,3),(2,4),(3,4)],5) => [2,2,1] => 10101 => 3
([(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [2,1,1,1] => 10111 => 4
([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [2,1,1,1] => 10111 => 4
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [2,1,1,1] => 10111 => 4
([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4)],5) => [2,2,1] => 10101 => 3
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,4),(3,4)],5) => [2,2,1] => 10101 => 3
([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [2,1,1,1] => 10111 => 4
([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => [1,1,1,1,1] => 11111 => 5
([],6) => [6] => 100000 => 1
([(4,5)],6) => [5,1] => 100001 => 2
([(3,5),(4,5)],6) => [5,1] => 100001 => 2
([(2,5),(3,5),(4,5)],6) => [5,1] => 100001 => 2
([(1,5),(2,5),(3,5),(4,5)],6) => [5,1] => 100001 => 2
([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => [5,1] => 100001 => 2
([(2,5),(3,4)],6) => [4,2] => 100010 => 2
([(2,5),(3,4),(4,5)],6) => [4,2] => 100010 => 2
([(1,2),(3,5),(4,5)],6) => [4,2] => 100010 => 2
([(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(1,5),(2,5),(3,4),(4,5)],6) => [4,2] => 100010 => 2
([(0,1),(2,5),(3,5),(4,5)],6) => [4,2] => 100010 => 2
([(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => [4,2] => 100010 => 2
([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(2,4),(2,5),(3,4),(3,5)],6) => [4,2] => 100010 => 2
([(0,5),(1,5),(2,4),(3,4)],6) => [4,2] => 100010 => 2
([(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [4,2] => 100010 => 2
([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => [4,2] => 100010 => 2
([(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => [4,2] => 100010 => 2
([(0,5),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [4,2] => 100010 => 2
([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(0,5),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [4,2] => 100010 => 2
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [4,2] => 100010 => 2
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [4,2] => 100010 => 2
([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [4,2] => 100010 => 2
([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [4,1,1] => 100011 => 3
([(0,5),(1,4),(2,3)],6) => [3,3] => 100100 => 2
([(1,5),(2,4),(3,4),(3,5)],6) => [4,2] => 100010 => 2
([(0,1),(2,5),(3,4),(4,5)],6) => [3,3] => 100100 => 2
([(1,2),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => [3,3] => 100100 => 2
([(1,4),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,1),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(1,4),(1,5),(2,3),(2,5),(3,4)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [3,3] => 100100 => 2
([(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,2),(1,4),(2,3),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
>>> Load all 1252 entries. <<<
([(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => [3,3] => 100100 => 2
([(0,1),(2,4),(2,5),(3,4),(3,5)],6) => [3,3] => 100100 => 2
([(0,5),(1,5),(2,3),(2,4),(3,4)],6) => [3,2,1] => 100101 => 3
([(0,4),(1,2),(1,3),(2,5),(3,5),(4,5)],6) => [3,3] => 100100 => 2
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(1,2),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,1),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(1,4),(2,3),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,3),(0,4),(1,2),(1,5),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(1,2),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [3,2,1] => 100101 => 3
([(0,3),(0,5),(1,3),(1,5),(2,4),(2,5),(3,4),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,1),(0,5),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,2,1] => 100101 => 3
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,5),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [3,3] => 100100 => 2
([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(0,5),(1,2),(1,3),(2,5),(3,4)],6) => [3,3] => 100100 => 2
([(0,3),(0,5),(1,2),(1,5),(2,4),(3,4),(4,5)],6) => [3,3] => 100100 => 2
([(0,5),(1,2),(1,4),(2,3),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,1),(0,2),(1,5),(2,4),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5)],6) => [3,2,1] => 100101 => 3
([(0,1),(0,5),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,3] => 100100 => 2
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(0,5),(1,2),(1,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,5),(1,2),(1,3),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,5),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,4),(0,5),(1,2),(1,4),(2,3),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [3,1,2] => 100110 => 3
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6) => [3,3] => 100100 => 2
([(0,1),(0,2),(0,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [3,2,1] => 100101 => 3
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [3,1,1,1] => 100111 => 4
([(0,4),(0,5),(1,2),(1,3),(2,3),(4,5)],6) => [2,2,2] => 101010 => 3
([(0,2),(1,4),(1,5),(2,3),(3,4),(3,5),(4,5)],6) => [3,2,1] => 100101 => 3
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(4,5)],6) => [2,2,2] => 101010 => 3
([(0,1),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,1),(0,5),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [2,2,2] => 101010 => 3
([(0,1),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,5),(3,4),(4,5)],6) => [2,2,2] => 101010 => 3
([(0,4),(0,5),(1,2),(1,3),(1,4),(2,3),(2,5),(3,5),(4,5)],6) => [2,2,2] => 101010 => 3
([(0,3),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,2] => 101010 => 3
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,3),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2] => 101010 => 3
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4)],6) => [3,2,1] => 100101 => 3
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2] => 101010 => 3
([(0,3),(0,4),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [2,2,2] => 101010 => 3
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4)],6) => [2,2,2] => 101010 => 3
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,2] => 101010 => 3
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [2,2,2] => 101010 => 3
([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,2),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,4),(0,5),(1,2),(1,3),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,1,1,1,1] => 101111 => 5
([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,1,1,1,1] => 101111 => 5
([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,1,1,1,1] => 101111 => 5
([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,1,1,1,1] => 101111 => 5
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2] => 101010 => 3
([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,1,1] => 101011 => 4
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(4,5)],6) => [2,2,1,1] => 101011 => 4
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => [2,2,2] => 101010 => 3
([(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) => [2,2,1,1] => 101011 => 4
([(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [2,1,1,1,1] => 101111 => 5
([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => [1,1,1,1,1,1] => 111111 => 6
([],7) => [7] => 1000000 => 1
([(5,6)],7) => [6,1] => 1000001 => 2
([(4,6),(5,6)],7) => [6,1] => 1000001 => 2
([(3,6),(4,6),(5,6)],7) => [6,1] => 1000001 => 2
([(2,6),(3,6),(4,6),(5,6)],7) => [6,1] => 1000001 => 2
([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => [6,1] => 1000001 => 2
([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => [6,1] => 1000001 => 2
([(3,6),(4,5)],7) => [5,2] => 1000010 => 2
([(3,6),(4,5),(5,6)],7) => [5,2] => 1000010 => 2
([(2,3),(4,6),(5,6)],7) => [5,2] => 1000010 => 2
([(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(2,6),(3,6),(4,5),(5,6)],7) => [5,2] => 1000010 => 2
([(1,2),(3,6),(4,6),(5,6)],7) => [5,2] => 1000010 => 2
([(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(1,6),(2,6),(3,6),(4,5),(5,6)],7) => [5,2] => 1000010 => 2
([(0,1),(2,6),(3,6),(4,6),(5,6)],7) => [5,2] => 1000010 => 2
([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => [5,2] => 1000010 => 2
([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(3,5),(3,6),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(1,6),(2,6),(3,5),(4,5)],7) => [5,2] => 1000010 => 2
([(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [5,2] => 1000010 => 2
([(1,6),(2,6),(3,4),(4,5),(5,6)],7) => [5,2] => 1000010 => 2
([(0,6),(1,6),(2,6),(3,5),(4,5)],7) => [5,2] => 1000010 => 2
([(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(1,6),(2,6),(3,5),(4,5),(5,6)],7) => [5,2] => 1000010 => 2
([(1,6),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [5,2] => 1000010 => 2
([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => [5,2] => 1000010 => 2
([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => [5,2] => 1000010 => 2
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,6),(1,6),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,6),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [5,1,1] => 1000011 => 3
([(1,6),(2,5),(3,4)],7) => [4,3] => 1000100 => 2
([(2,6),(3,5),(4,5),(4,6)],7) => [5,2] => 1000010 => 2
([(1,2),(3,6),(4,5),(5,6)],7) => [4,3] => 1000100 => 2
([(0,3),(1,2),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(2,3),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,5),(3,4),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(0,1),(2,6),(3,6),(4,5),(5,6)],7) => [4,3] => 1000100 => 2
([(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,2),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(1,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => [4,3] => 1000100 => 2
([(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,5),(3,4),(3,5),(4,6)],7) => [4,3] => 1000100 => 2
([(1,2),(3,5),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(0,6),(1,5),(2,4),(3,4),(5,6)],7) => [4,3] => 1000100 => 2
([(1,6),(2,6),(3,4),(3,5),(4,5)],7) => [4,2,1] => 1000101 => 3
([(1,5),(2,3),(2,4),(3,6),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => [4,3] => 1000100 => 2
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,3),(2,3),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(0,1),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,6),(2,3),(2,4),(3,6),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5)],7) => [4,2,1] => 1000101 => 3
([(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5)],7) => [4,3] => 1000100 => 2
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6)],7) => [4,3] => 1000100 => 2
([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,3),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,3),(2,4),(3,6),(4,5)],7) => [4,3] => 1000100 => 2
([(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => [4,3] => 1000100 => 2
([(0,6),(1,2),(1,3),(2,5),(3,4),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => [4,3] => 1000100 => 2
([(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,2),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,2),(1,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,2),(1,6),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5)],7) => [4,3] => 1000100 => 2
([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,3),(2,4),(3,5),(4,5),(5,6)],7) => [4,3] => 1000100 => 2
([(0,4),(1,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(0,5),(1,2),(1,3),(2,6),(3,6),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(0,4),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,2),(1,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(0,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(0,6),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [4,3] => 1000100 => 2
([(0,5),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,3),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(0,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,3),(0,6),(1,3),(1,6),(2,4),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,3),(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,1,2] => 1000110 => 3
([(0,6),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,1,2] => 1000110 => 3
([(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5)],7) => [4,2,1] => 1000101 => 3
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(0,6),(1,4),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [4,1,2] => 1000110 => 3
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(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,1,1,1] => 1000111 => 4
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => [4,3] => 1000100 => 2
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => [4,3] => 1000100 => 2
([(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,3),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(0,5),(1,4),(1,5),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [4,3] => 1000100 => 2
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [4,2,1] => 1000101 => 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,1,1,1] => 1000111 => 4
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,5),(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 4
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [4,1,1,1] => 1000111 => 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,1,1,1] => 1000111 => 4
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => [4,3] => 1000100 => 2
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(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)],7) => [4,2,1] => 1000101 => 3
([(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,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(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,1,1,1] => 1000111 => 4
([(0,1),(2,5),(3,4),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(0,3),(1,2),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(0,1),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => [4,3] => 1000100 => 2
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,5),(2,3),(2,4),(3,4),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,4),(2,3),(2,6),(3,5),(4,5),(5,6)],7) => [4,3] => 1000100 => 2
([(0,4),(1,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,2),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,4),(2,3),(2,5),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,4),(2,3),(3,6),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,5),(1,4),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(1,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,6),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(1,5),(1,6),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(1,5),(1,6),(2,3),(2,4),(3,4),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [4,2,1] => 1000101 => 3
([(0,1),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,2),(1,3),(2,3),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,2),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,3),(1,6),(2,4),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(1,5),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,6),(1,2),(1,6),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,6),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(1,5),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,2),(1,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,3),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,2),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,2),(1,5),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,6),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,2),(1,5),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,6),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,2),(1,4),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => [4,3] => 1000100 => 2
([(0,3),(1,4),(1,5),(2,4),(2,6),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,3),(1,2),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,2),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,2),(1,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(1,2),(1,5),(2,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [4,2,1] => 1000101 => 3
([(0,6),(1,2),(1,6),(2,4),(3,4),(3,5),(4,5),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,2),(1,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,2),(1,6),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,6),(1,2),(1,6),(2,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,3),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,6),(1,3),(1,6),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [4,2,1] => 1000101 => 3
([(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,6),(4,5),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,3),(1,5),(2,3),(2,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(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,1] => 1001001 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [3,2,2] => 1001010 => 3
([(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,5),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,2),(1,4),(2,3),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,5),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 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) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 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)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(1,4),(1,5),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => [4,3] => 1000100 => 2
([(0,3),(0,4),(1,2),(1,5),(2,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,2),(1,4),(1,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,6),(2,3),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,6),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => [4,3] => 1000100 => 2
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,5),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(1,2),(1,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,5),(2,3),(2,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,2),(0,3),(1,4),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,6),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,2),(1,5),(2,3),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(1,3),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,6),(1,5),(2,3),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,5),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(1,4),(1,6),(2,3),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,6),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,5),(1,5),(2,3),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,2),(1,5),(1,6),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(1,2),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,3),(2,3),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(1,3),(1,4),(2,5),(2,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,2),(1,4),(2,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,2),(1,2),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5)],7) => [4,2,1] => 1000101 => 3
([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,2),(1,2),(1,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,4),(1,4),(2,5),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,3),(1,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(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) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,1,1] => 1001011 => 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) => [3,1,1,1,1] => 1001111 => 5
([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 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) => [3,1,1,1,1] => 1001111 => 5
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,1,1] => 1001011 => 4
([(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) => [3,1,1,1,1] => 1001111 => 5
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5),(5,6)],7) => [3,3,1] => 1001001 => 3
([(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,1] => 1001001 => 3
([(0,4),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(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,1] => 1001001 => 3
([(0,5),(0,6),(1,3),(1,4),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,2),(1,3),(1,5),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(4,5)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,4),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,6),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,3),(0,4),(1,2),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(0,5),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,5),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(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,2,2] => 1001010 => 3
([(0,3),(0,4),(0,6),(1,3),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(0,5),(0,6),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(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,1] => 1001001 => 3
([(0,3),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,6),(1,3),(1,5),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,5),(1,3),(1,6),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(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,2,2] => 1001010 => 3
([(0,3),(0,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,5),(2,4),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 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) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,2),(1,5),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 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,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 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,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 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) => [3,1,1,1,1] => 1001111 => 5
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 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,5),(4,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(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)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 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) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 4
([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,4),(1,6),(2,4),(2,5),(3,4),(3,5),(3,6)],7) => [4,3] => 1000100 => 2
([(0,2),(0,6),(1,2),(1,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,5),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,5),(1,2),(1,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(5,6)],7) => [3,3,1] => 1001001 => 3
([(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,1] => 1001001 => 3
([(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,1] => 1001001 => 3
([(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,1] => 1001001 => 3
([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(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,1] => 1001001 => 3
([(0,2),(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,5),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,2),(1,5),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,6),(1,2),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,6),(3,5),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,6),(3,4),(3,5),(4,5)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,4),(0,5),(1,3),(1,5),(2,3),(2,4),(2,6),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,2),(1,3),(1,5),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,2),(1,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,4),(0,6),(1,2),(1,6),(2,3),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,2),(0,3),(1,4),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,5),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,2),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,4),(0,6),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,5),(0,6),(1,2),(1,5),(1,6),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 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) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,2),(0,5),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,2),(0,6),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,2),(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(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,2,2] => 1001010 => 3
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,5),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 4
([(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 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) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,6),(1,2),(1,3),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(0,6),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 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) => [3,1,1,1,1] => 1001111 => 5
([(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) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(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,2,2] => 1001010 => 3
([(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,4),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,2),(0,4),(0,5),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,2,1] => 1001101 => 4
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,2,1] => 1001101 => 4
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(0,3),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(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)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,1,1] => 1001011 => 4
([(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,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(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) => [3,1,1,1,1] => 1001111 => 5
([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => [3,3,1] => 1001001 => 3
([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,6),(4,6),(5,6)],7) => [3,3,1] => 1001001 => 3
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => [3,2,2] => 1001010 => 3
([(0,2),(0,3),(0,4),(0,6),(1,2),(1,3),(1,4),(1,5),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(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) => [3,2,1,1] => 1001011 => 4
([(0,1),(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,1,1,1,1] => 1001111 => 5
([(0,4),(0,5),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,2),(1,2),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,5),(1,5),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,6),(1,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,4),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,6),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,4),(0,5),(1,2),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,2),(1,4),(1,5),(1,6),(2,3),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,3),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(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) => [3,2,1,1] => 1001011 => 4
([(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) => [3,2,1,1] => 1001011 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(3,5),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,4),(0,5),(1,2),(1,3),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,6),(1,2),(1,5),(2,4),(2,5),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,2),(0,6),(1,2),(1,6),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,5),(1,2),(1,4),(1,6),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,1,1] => 1001011 => 4
([(0,1),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,1),(0,3),(0,6),(1,3),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(1,2),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(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) => [2,2,1,1,1] => 1010111 => 5
([(0,1),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,6),(3,5),(3,6),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,2),(0,6),(1,3),(1,4),(1,5),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,2),(0,6),(1,2),(1,5),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,4),(0,6),(1,3),(1,4),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,4),(0,5),(1,2),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,3),(0,4),(1,2),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,3),(0,5),(1,2),(1,4),(2,4),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,2),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,1),(0,6),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,1] => 1010101 => 4
([(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) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,2),(0,6),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(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) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,4),(0,6),(1,3),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,4),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,3),(0,6),(1,2),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,6),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(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) => [2,2,1,1,1] => 1010111 => 5
([(0,2),(0,3),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,4),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(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) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,5),(0,6),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(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) => [2,2,1,1,1] => 1010111 => 5
([(0,1),(0,2),(0,3),(0,4),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(3,5),(3,6),(4,5),(4,6)],7) => [3,2,2] => 1001010 => 3
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(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) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,4),(0,6),(1,3),(1,5),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => [3,2,2] => 1001010 => 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,5)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,5),(0,6),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(4,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,3),(0,4),(0,6),(1,2),(1,4),(1,5),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(2,4),(2,5),(2,6),(3,4),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(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) => [2,2,2,1] => 1010101 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,5),(0,6),(1,2),(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) => [2,2,2,1] => 1010101 => 4
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,1),(0,4),(0,5),(0,6),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,2),(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,2),(0,3),(0,6),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(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) => [2,2,1,1,1] => 1010111 => 5
([(0,3),(0,4),(0,6),(1,2),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,2),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,2),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,5),(0,6),(1,2),(1,3),(1,4),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,6),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,1,1,1,1,1] => 1011111 => 6
([(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,1,1,1,1,1] => 1011111 => 6
([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,1,1,1,1,1] => 1011111 => 6
([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,1,1,1,1,1] => 1011111 => 6
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,1,1,1,1,1] => 1011111 => 6
([(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)],7) => [2,2,2,1] => 1010101 => 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)],7) => [2,2,1,1,1] => 1010111 => 5
([(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) => [2,2,1,1,1] => 1010111 => 5
([(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) => [2,2,1,1,1] => 1010111 => 5
([(0,1),(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => [2,2,2,1] => 1010101 => 4
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,2,1,1,1] => 1010111 => 5
([(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [2,1,1,1,1,1] => 1011111 => 6
([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => [1,1,1,1,1,1,1] => 1111111 => 7
search for individual values
searching the database for the individual values of this statistic
/ search for generating function
searching the database for statistics with the same generating function
click to show known generating functions       
Description
The number of ones in a binary word.
This is also known as the Hamming weight of the word.
Map
to binary word
Description
Return the composition as a binary word, treating ones as separators.
Encoding a positive integer i as the word 100 consisting of a one followed by i1 zeros, the binary word of a composition (i1,,ik) is the concatenation of of words for i1,,ik.
The image of this map contains precisely the words which do not begin with a 0.
Map
chromatic difference sequence
Description
The chromatic difference sequence of a graph.
Let G be a simple graph with chromatic number κ. Let αm be the maximum number of vertices in a m-colorable subgraph of G. Set δm=αmαm1. The sequence δ1,δ2,δκ is the chromatic difference sequence of G.
All entries of the chromatic difference sequence are positive: αm>αm1 for m<κ, because we can assign any uncolored vertex of a partial coloring with m1 colors the color m. Therefore, the chromatic difference sequence is a composition of the number of vertices of G into κ parts.