[3,5,1,4,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[3,5,2,1,4,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[3,5,2,4,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[3,5,4,1,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[3,5,4,2,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,1,2,3,5,6] => 00011 => [4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[4,1,2,5,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,1,3,2,5,6] => 00011 => [4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[4,1,3,5,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,1,5,2,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,1,5,3,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,2,1,3,5,6] => 00011 => [4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[4,2,1,5,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,2,3,1,5,6] => 00011 => [4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[4,2,3,5,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,2,5,1,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,2,5,3,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,3,1,2,5,6] => 00011 => [4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[4,3,1,5,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,3,2,1,5,6] => 00011 => [4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[4,3,2,5,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,3,5,1,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,3,5,2,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,5,1,2,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,5,1,3,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,5,2,1,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,5,2,3,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,5,3,1,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[4,5,3,2,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,1,2,3,4,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,1,2,4,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,1,3,2,4,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,1,3,4,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,1,4,2,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,1,4,3,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,2,1,3,4,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,2,1,4,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,2,3,1,4,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,2,3,4,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,2,4,1,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,2,4,3,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,3,1,2,4,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,3,1,4,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,3,2,1,4,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,3,2,4,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,3,4,1,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,3,4,2,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,4,1,2,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,4,1,3,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,4,2,1,3,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,4,2,3,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,4,3,1,2,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[5,4,3,2,1,6] => 00001 => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 4
[1,2,3,4,5,6,7] => 111111 => [1,1,1,1,1,1,1] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,2,3,4,6,5,7] => 111101 => [1,1,1,1,2,1] => ([(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,2,3,5,4,6,7] => 111011 => [1,1,1,2,1,1] => ([(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,3,5,6,4,7] => 111001 => [1,1,1,3,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) => 3
[1,2,3,6,4,5,7] => 111001 => [1,1,1,3,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) => 3
[1,2,3,6,5,4,7] => 111001 => [1,1,1,3,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) => 3
[1,2,4,3,5,6,7] => 110111 => [1,1,2,1,1,1] => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,4,3,6,5,7] => 110101 => [1,1,2,2,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
[1,2,4,5,3,6,7] => 110011 => [1,1,3,1,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
[1,2,4,5,6,3,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,4,6,3,5,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,4,6,5,3,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,5,3,4,6,7] => 110011 => [1,1,3,1,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
[1,2,5,3,6,4,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,5,4,3,6,7] => 110011 => [1,1,3,1,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
[1,2,5,4,6,3,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,5,6,3,4,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,5,6,4,3,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,6,3,4,5,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,6,3,5,4,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,6,4,3,5,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,6,4,5,3,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,6,5,3,4,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,2,6,5,4,3,7] => 110001 => [1,1,4,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,3,2,4,5,6,7] => 101111 => [1,2,1,1,1,1] => ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,2,4,6,5,7] => 101101 => [1,2,1,2,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,3,2,5,4,6,7] => 101011 => [1,2,2,1,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,3,2,5,6,4,7] => 101001 => [1,2,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,3,2,6,4,5,7] => 101001 => [1,2,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,3,2,6,5,4,7] => 101001 => [1,2,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,3,4,2,5,6,7] => 100111 => [1,3,1,1,1] => ([(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,3,4,2,6,5,7] => 100101 => [1,3,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,3,4,5,2,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,3,4,5,6,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,4,6,2,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,4,6,5,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,5,2,4,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,3,5,2,6,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,5,4,2,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,3,5,4,6,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,5,6,2,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,5,6,4,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,6,2,4,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,6,2,5,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,6,4,2,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,6,4,5,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,6,5,2,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,3,6,5,4,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,2,3,5,6,7] => 100111 => [1,3,1,1,1] => ([(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,4,2,3,6,5,7] => 100101 => [1,3,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,4,2,5,3,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,4,2,5,6,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,2,6,3,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,2,6,5,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,3,2,5,6,7] => 100111 => [1,3,1,1,1] => ([(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,4,3,2,6,5,7] => 100101 => [1,3,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,4,3,5,2,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,4,3,5,6,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,3,6,2,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,3,6,5,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,5,2,3,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,4,5,2,6,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,5,3,2,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,4,5,3,6,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,5,6,2,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,5,6,3,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,6,2,3,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,6,2,5,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,6,3,2,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,6,3,5,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,6,5,2,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,6,5,3,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,2,3,4,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,5,2,3,6,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,2,4,3,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,5,2,4,6,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,2,6,3,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,2,6,4,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,2,4,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,5,3,2,6,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,4,2,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,5,3,4,6,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,6,2,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,6,4,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,2,3,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,5,4,2,6,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,3,2,6,7] => 100011 => [1,4,1,1] => ([(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) => 3
[1,5,4,3,6,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,6,2,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,6,3,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,6,2,3,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,6,2,4,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,6,3,2,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,6,3,4,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,6,4,2,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,6,4,3,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,2,3,4,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,2,3,5,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,2,4,3,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,2,4,5,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,2,5,3,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,2,5,4,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,2,4,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,2,5,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,4,2,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,4,5,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,5,2,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,5,4,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,4,2,3,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,4,2,5,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,4,3,2,5,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,4,3,5,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,4,5,2,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,4,5,3,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,5,2,3,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,5,2,4,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,5,3,2,4,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,5,3,4,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,5,4,2,3,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,5,4,3,2,7] => 100001 => [1,5,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,1,3,4,5,6,7] => 011111 => [2,1,1,1,1,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) => 5
[2,1,3,4,6,5,7] => 011101 => [2,1,1,2,1] => ([(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,3,5,4,6,7] => 011011 => [2,1,2,1,1] => ([(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) => 2
[2,1,3,5,6,4,7] => 011001 => [2,1,3,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[2,1,3,6,4,5,7] => 011001 => [2,1,3,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[2,1,3,6,5,4,7] => 011001 => [2,1,3,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[2,1,4,3,5,6,7] => 010111 => [2,2,1,1,1] => ([(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,4,3,6,5,7] => 010101 => [2,2,2,1] => ([(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 1
[2,1,4,5,3,6,7] => 010011 => [2,3,1,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) => 2
[2,1,4,5,6,3,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,4,6,3,5,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,4,6,5,3,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,5,3,4,6,7] => 010011 => [2,3,1,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) => 2
[2,1,5,3,6,4,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,5,4,3,6,7] => 010011 => [2,3,1,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) => 2
[2,1,5,4,6,3,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,5,6,3,4,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,5,6,4,3,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,6,3,4,5,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,6,3,5,4,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,6,4,3,5,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,6,4,5,3,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,6,5,3,4,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,1,6,5,4,3,7] => 010001 => [2,4,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,3,1,4,5,6,7] => 001111 => [3,1,1,1,1] => ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,3,1,4,6,5,7] => 001101 => [3,1,2,1] => ([(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) => 2
[2,3,1,5,4,6,7] => 001011 => [3,2,1,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[2,3,1,5,6,4,7] => 001001 => [3,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[2,3,1,6,4,5,7] => 001001 => [3,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[2,3,1,6,5,4,7] => 001001 => [3,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[2,3,4,1,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,3,4,1,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,3,4,5,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,3,4,5,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,4,6,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,4,6,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,5,1,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,3,5,1,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,5,4,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,3,5,4,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,5,6,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,5,6,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,6,1,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,6,1,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,6,4,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,6,4,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,6,5,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,3,6,5,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,1,3,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,4,1,3,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,4,1,5,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,4,1,5,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,1,6,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,1,6,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,3,1,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,4,3,1,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[2,4,3,5,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,4,3,5,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,3,6,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,3,6,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,5,1,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,4,5,1,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,5,3,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,4,5,3,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,5,6,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,5,6,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,6,1,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,6,1,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,6,3,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,6,3,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,6,5,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,4,6,5,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,1,3,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,5,1,3,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,1,4,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,5,1,4,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,1,6,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,1,6,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,3,1,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,5,3,1,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,3,4,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,5,3,4,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,3,6,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,3,6,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,4,1,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,5,4,1,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,4,3,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[2,5,4,3,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,4,6,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,4,6,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,6,1,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,6,1,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,6,3,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,6,3,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,6,4,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,5,6,4,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,1,3,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,1,3,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,1,4,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,1,4,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,1,5,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,1,5,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,3,1,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,3,1,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,3,4,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,3,4,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,3,5,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,3,5,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,4,1,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,4,1,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,4,3,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,4,3,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,4,5,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,4,5,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,5,1,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,5,1,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,5,3,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,5,3,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,5,4,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[2,6,5,4,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,2,4,5,6,7] => 001111 => [3,1,1,1,1] => ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,1,2,4,6,5,7] => 001101 => [3,1,2,1] => ([(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) => 2
[3,1,2,5,4,6,7] => 001011 => [3,2,1,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[3,1,2,5,6,4,7] => 001001 => [3,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[3,1,2,6,4,5,7] => 001001 => [3,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[3,1,2,6,5,4,7] => 001001 => [3,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[3,1,4,2,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[3,1,4,2,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[3,1,4,5,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,1,4,5,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,4,6,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,4,6,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,5,2,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,1,5,2,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,5,4,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,1,5,4,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,5,6,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,5,6,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,6,2,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,6,2,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,6,4,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,6,4,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,6,5,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,1,6,5,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,1,4,5,6,7] => 001111 => [3,1,1,1,1] => ([(0,3),(0,4),(0,5),(0,6),(1,3),(1,4),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,2,1,4,6,5,7] => 001101 => [3,1,2,1] => ([(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) => 2
[3,2,1,5,4,6,7] => 001011 => [3,2,1,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[3,2,1,5,6,4,7] => 001001 => [3,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[3,2,1,6,4,5,7] => 001001 => [3,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[3,2,1,6,5,4,7] => 001001 => [3,3,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 2
[3,2,4,1,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[3,2,4,1,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[3,2,4,5,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,2,4,5,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,4,6,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,4,6,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,5,1,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,2,5,1,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,5,4,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,2,5,4,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,5,6,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,5,6,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,6,1,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,6,1,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,6,4,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,6,4,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,6,5,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,2,6,5,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,1,2,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[3,4,1,2,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[3,4,1,5,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,4,1,5,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,1,6,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,1,6,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,2,1,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[3,4,2,1,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[3,4,2,5,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,4,2,5,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,2,6,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,2,6,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,5,1,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,4,5,1,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,5,2,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,4,5,2,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,5,6,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,5,6,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,6,1,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,6,1,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,6,2,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,6,2,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,6,5,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,4,6,5,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,1,2,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,5,1,2,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,1,4,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,5,1,4,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,1,6,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,1,6,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,2,1,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,5,2,1,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,2,4,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,5,2,4,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,2,6,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,2,6,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,4,1,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,5,4,1,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,4,2,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[3,5,4,2,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,4,6,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,4,6,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,6,1,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,6,1,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,6,2,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,6,2,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,6,4,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,5,6,4,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,1,2,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,1,2,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,1,4,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,1,4,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,1,5,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,1,5,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,2,1,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,2,1,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,2,4,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,2,4,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,2,5,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,2,5,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,4,1,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,4,1,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,4,2,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,4,2,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,4,5,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,4,5,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,5,1,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,5,1,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,5,2,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,5,2,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,5,4,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[3,6,5,4,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,2,3,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,1,2,3,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,1,2,5,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,1,2,5,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,2,6,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,2,6,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,3,2,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,1,3,2,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,1,3,5,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,1,3,5,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,3,6,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,3,6,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,5,2,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,1,5,2,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,5,3,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,1,5,3,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,5,6,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,5,6,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,6,2,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,6,2,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,6,3,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,6,3,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,6,5,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,1,6,5,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,1,3,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,2,1,3,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,2,1,5,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,2,1,5,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,1,6,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,1,6,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,3,1,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,2,3,1,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,2,3,5,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,2,3,5,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,3,6,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,3,6,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,5,1,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,2,5,1,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,5,3,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,2,5,3,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,5,6,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,5,6,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,6,1,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,6,1,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,6,3,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,6,3,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,6,5,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,2,6,5,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,1,2,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,3,1,2,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,3,1,5,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,3,1,5,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,1,6,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,1,6,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,2,1,5,6,7] => 000111 => [4,1,1,1] => ([(0,4),(0,5),(0,6),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,3,2,1,6,5,7] => 000101 => [4,2,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[4,3,2,5,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,3,2,5,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,2,6,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,2,6,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,5,1,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,3,5,1,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,5,2,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,3,5,2,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,5,6,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,5,6,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,6,1,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,6,1,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,6,2,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,6,2,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,6,5,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,3,6,5,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,1,2,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,5,1,2,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,1,3,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,5,1,3,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,1,6,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,1,6,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,2,1,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,5,2,1,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,2,3,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,5,2,3,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,2,6,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,2,6,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,3,1,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,5,3,1,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,3,2,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[4,5,3,2,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,3,6,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,3,6,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,6,1,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,6,1,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,6,2,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,6,2,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,6,3,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,5,6,3,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,1,2,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,1,2,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,1,3,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,1,3,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,1,5,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,1,5,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,2,1,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,2,1,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,2,3,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,2,3,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,2,5,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,2,5,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,3,1,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,3,1,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,3,2,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,3,2,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,3,5,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,3,5,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,5,1,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,5,1,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,5,2,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,5,2,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,5,3,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[4,6,5,3,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,2,3,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,1,2,3,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,2,4,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,1,2,4,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,2,6,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,2,6,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,3,2,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,1,3,2,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,3,4,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,1,3,4,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,3,6,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,3,6,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,4,2,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,1,4,2,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,4,3,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,1,4,3,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,4,6,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,4,6,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,6,2,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,6,2,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,6,3,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,6,3,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,6,4,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,1,6,4,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,1,3,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,2,1,3,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,1,4,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,2,1,4,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,1,6,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,1,6,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,3,1,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,2,3,1,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,3,4,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,2,3,4,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,3,6,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,3,6,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,4,1,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,2,4,1,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,4,3,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,2,4,3,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,4,6,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,4,6,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,6,1,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,6,1,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,6,3,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,6,3,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,6,4,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,2,6,4,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,1,2,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,3,1,2,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,1,4,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,3,1,4,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,1,6,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,1,6,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,2,1,4,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,3,2,1,6,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,2,4,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,3,2,4,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,2,6,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,2,6,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,4,1,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,3,4,1,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,4,2,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,3,4,2,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,4,6,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,4,6,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,6,1,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,6,1,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,6,2,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,6,2,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,6,4,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,3,6,4,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,1,2,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,4,1,2,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,1,3,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,4,1,3,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,1,6,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,1,6,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,2,1,3,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,4,2,1,6,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,2,3,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,4,2,3,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,2,6,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,2,6,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,3,1,2,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,4,3,1,6,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,3,2,1,6,7] => 000011 => [5,1,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[5,4,3,2,6,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,3,6,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,3,6,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,6,1,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,6,1,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,6,2,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,6,2,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,6,3,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,4,6,3,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,1,2,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,1,2,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,1,3,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,1,3,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,1,4,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,1,4,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,2,1,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,2,1,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,2,3,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,2,3,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,2,4,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,2,4,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,3,1,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,3,1,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,3,2,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,3,2,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,3,4,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,3,4,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,4,1,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,4,1,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,4,2,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,4,2,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,4,3,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[5,6,4,3,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,2,3,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,2,3,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,2,4,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,2,4,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,2,5,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,2,5,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,3,2,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,3,2,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,3,4,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,3,4,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,3,5,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,3,5,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,4,2,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,4,2,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,4,3,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,4,3,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,4,5,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,4,5,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,5,2,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,5,2,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,5,3,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,5,3,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,5,4,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,1,5,4,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,1,3,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,1,3,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,1,4,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,1,4,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,1,5,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,1,5,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,3,1,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,3,1,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,3,4,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,3,4,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,3,5,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,3,5,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,4,1,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,4,1,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,4,3,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,4,3,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,4,5,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,4,5,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,5,1,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,5,1,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,5,3,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,5,3,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,5,4,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,2,5,4,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,1,2,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,1,2,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,1,4,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,1,4,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,1,5,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,1,5,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,2,1,4,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,2,1,5,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,2,4,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,2,4,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,2,5,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,2,5,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,4,1,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,4,1,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,4,2,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,4,2,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,4,5,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,4,5,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,5,1,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,5,1,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,5,2,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,5,2,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,5,4,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,3,5,4,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,1,2,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,1,2,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,1,3,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,1,3,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,1,5,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,1,5,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,2,1,3,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,2,1,5,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,2,3,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,2,3,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,2,5,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,2,5,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,3,1,2,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,3,1,5,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,3,2,1,5,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,3,2,5,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,3,5,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,3,5,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,5,1,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,5,1,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,5,2,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,5,2,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,5,3,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,4,5,3,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,1,2,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,1,2,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,1,3,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,1,3,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,1,4,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,1,4,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,2,1,3,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,2,1,4,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,2,3,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,2,3,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,2,4,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,2,4,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,3,1,2,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,3,1,4,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,3,2,1,4,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,3,2,4,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,3,4,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,3,4,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,4,1,2,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,4,1,3,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,4,2,1,3,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,4,2,3,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,4,3,1,2,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[6,5,4,3,2,1,7] => 000001 => [6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 5
[] => => [1] => ([],1) => 1