Identifier
-
Mp00072:
Permutations
—binary search tree: left to right⟶
Binary trees
Mp00017: Binary trees —to 312-avoiding permutation⟶ Permutations
Mp00160: Permutations —graph of inversions⟶ Graphs
St000456: Graphs ⟶ ℤ
Values
[1,2] => [.,[.,.]] => [2,1] => ([(0,1)],2) => 1
[1,2,3] => [.,[.,[.,.]]] => [3,2,1] => ([(0,1),(0,2),(1,2)],3) => 3
[1,3,2] => [.,[[.,.],.]] => [2,3,1] => ([(0,2),(1,2)],3) => 1
[1,2,3,4] => [.,[.,[.,[.,.]]]] => [4,3,2,1] => ([(0,1),(0,2),(0,3),(1,2),(1,3),(2,3)],4) => 6
[1,2,4,3] => [.,[.,[[.,.],.]]] => [3,4,2,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4) => 4
[1,3,2,4] => [.,[[.,.],[.,.]]] => [2,4,3,1] => ([(0,3),(1,2),(1,3),(2,3)],4) => 2
[1,3,4,2] => [.,[[.,.],[.,.]]] => [2,4,3,1] => ([(0,3),(1,2),(1,3),(2,3)],4) => 2
[1,4,2,3] => [.,[[.,[.,.]],.]] => [3,2,4,1] => ([(0,3),(1,2),(1,3),(2,3)],4) => 2
[1,4,3,2] => [.,[[[.,.],.],.]] => [2,3,4,1] => ([(0,3),(1,3),(2,3)],4) => 1
[1,2,3,4,5] => [.,[.,[.,[.,[.,.]]]]] => [5,4,3,2,1] => ([(0,1),(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 10
[1,2,3,5,4] => [.,[.,[.,[[.,.],.]]]] => [4,5,3,2,1] => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 8
[1,2,4,3,5] => [.,[.,[[.,.],[.,.]]]] => [3,5,4,2,1] => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 6
[1,2,4,5,3] => [.,[.,[[.,.],[.,.]]]] => [3,5,4,2,1] => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 6
[1,2,5,3,4] => [.,[.,[[.,[.,.]],.]]] => [4,3,5,2,1] => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 6
[1,2,5,4,3] => [.,[.,[[[.,.],.],.]]] => [3,4,5,2,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 5
[1,3,2,4,5] => [.,[[.,.],[.,[.,.]]]] => [2,5,4,3,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 4
[1,3,2,5,4] => [.,[[.,.],[[.,.],.]]] => [2,4,5,3,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 3
[1,3,4,2,5] => [.,[[.,.],[.,[.,.]]]] => [2,5,4,3,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 4
[1,3,4,5,2] => [.,[[.,.],[.,[.,.]]]] => [2,5,4,3,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 4
[1,3,5,2,4] => [.,[[.,.],[[.,.],.]]] => [2,4,5,3,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 3
[1,3,5,4,2] => [.,[[.,.],[[.,.],.]]] => [2,4,5,3,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 3
[1,4,2,3,5] => [.,[[.,[.,.]],[.,.]]] => [3,2,5,4,1] => ([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5) => 3
[1,4,2,5,3] => [.,[[.,[.,.]],[.,.]]] => [3,2,5,4,1] => ([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5) => 3
[1,4,3,2,5] => [.,[[[.,.],.],[.,.]]] => [2,3,5,4,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => 2
[1,4,3,5,2] => [.,[[[.,.],.],[.,.]]] => [2,3,5,4,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => 2
[1,4,5,2,3] => [.,[[.,[.,.]],[.,.]]] => [3,2,5,4,1] => ([(0,3),(0,4),(1,2),(1,4),(2,4),(3,4)],5) => 3
[1,4,5,3,2] => [.,[[[.,.],.],[.,.]]] => [2,3,5,4,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => 2
[1,5,2,3,4] => [.,[[.,[.,[.,.]]],.]] => [4,3,2,5,1] => ([(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 4
[1,5,2,4,3] => [.,[[.,[[.,.],.]],.]] => [3,4,2,5,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5) => 3
[1,5,3,2,4] => [.,[[[.,.],[.,.]],.]] => [2,4,3,5,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => 2
[1,5,3,4,2] => [.,[[[.,.],[.,.]],.]] => [2,4,3,5,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => 2
[1,5,4,2,3] => [.,[[[.,[.,.]],.],.]] => [3,2,4,5,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5) => 2
[1,5,4,3,2] => [.,[[[[.,.],.],.],.]] => [2,3,4,5,1] => ([(0,4),(1,4),(2,4),(3,4)],5) => 1
[1,2,3,4,5,6] => [.,[.,[.,[.,[.,[.,.]]]]]] => [6,5,4,3,2,1] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 15
[1,2,3,4,6,5] => [.,[.,[.,[.,[[.,.],.]]]]] => [5,6,4,3,2,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) => 13
[1,2,3,5,4,6] => [.,[.,[.,[[.,.],[.,.]]]]] => [4,6,5,3,2,1] => ([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 11
[1,2,3,5,6,4] => [.,[.,[.,[[.,.],[.,.]]]]] => [4,6,5,3,2,1] => ([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 11
[1,2,3,6,4,5] => [.,[.,[.,[[.,[.,.]],.]]]] => [5,4,6,3,2,1] => ([(0,3),(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 11
[1,2,3,6,5,4] => [.,[.,[.,[[[.,.],.],.]]]] => [4,5,6,3,2,1] => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 10
[1,2,4,3,5,6] => [.,[.,[[.,.],[.,[.,.]]]]] => [3,6,5,4,2,1] => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 9
[1,2,4,3,6,5] => [.,[.,[[.,.],[[.,.],.]]]] => [3,5,6,4,2,1] => ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[1,2,4,5,3,6] => [.,[.,[[.,.],[.,[.,.]]]]] => [3,6,5,4,2,1] => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 9
[1,2,4,5,6,3] => [.,[.,[[.,.],[.,[.,.]]]]] => [3,6,5,4,2,1] => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 9
[1,2,4,6,3,5] => [.,[.,[[.,.],[[.,.],.]]]] => [3,5,6,4,2,1] => ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[1,2,4,6,5,3] => [.,[.,[[.,.],[[.,.],.]]]] => [3,5,6,4,2,1] => ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[1,2,5,3,4,6] => [.,[.,[[.,[.,.]],[.,.]]]] => [4,3,6,5,2,1] => ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[1,2,5,3,6,4] => [.,[.,[[.,[.,.]],[.,.]]]] => [4,3,6,5,2,1] => ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[1,2,5,4,3,6] => [.,[.,[[[.,.],.],[.,.]]]] => [3,4,6,5,2,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[1,2,5,4,6,3] => [.,[.,[[[.,.],.],[.,.]]]] => [3,4,6,5,2,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[1,2,5,6,3,4] => [.,[.,[[.,[.,.]],[.,.]]]] => [4,3,6,5,2,1] => ([(0,3),(0,4),(0,5),(1,2),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[1,2,5,6,4,3] => [.,[.,[[[.,.],.],[.,.]]]] => [3,4,6,5,2,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[1,2,6,3,4,5] => [.,[.,[[.,[.,[.,.]]],.]]] => [5,4,3,6,2,1] => ([(0,4),(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 9
[1,2,6,3,5,4] => [.,[.,[[.,[[.,.],.]],.]]] => [4,5,3,6,2,1] => ([(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 8
[1,2,6,4,3,5] => [.,[.,[[[.,.],[.,.]],.]]] => [3,5,4,6,2,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[1,2,6,4,5,3] => [.,[.,[[[.,.],[.,.]],.]]] => [3,5,4,6,2,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[1,2,6,5,3,4] => [.,[.,[[[.,[.,.]],.],.]]] => [4,3,5,6,2,1] => ([(0,4),(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[1,2,6,5,4,3] => [.,[.,[[[[.,.],.],.],.]]] => [3,4,5,6,2,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 6
[1,3,2,4,5,6] => [.,[[.,.],[.,[.,[.,.]]]]] => [2,6,5,4,3,1] => ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[1,3,2,4,6,5] => [.,[[.,.],[.,[[.,.],.]]]] => [2,5,6,4,3,1] => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 6
[1,3,2,5,4,6] => [.,[[.,.],[[.,.],[.,.]]]] => [2,4,6,5,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,2,5,6,4] => [.,[[.,.],[[.,.],[.,.]]]] => [2,4,6,5,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,2,6,4,5] => [.,[[.,.],[[.,[.,.]],.]]] => [2,5,4,6,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,2,6,5,4] => [.,[[.,.],[[[.,.],.],.]]] => [2,4,5,6,3,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,3,4,2,5,6] => [.,[[.,.],[.,[.,[.,.]]]]] => [2,6,5,4,3,1] => ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[1,3,4,2,6,5] => [.,[[.,.],[.,[[.,.],.]]]] => [2,5,6,4,3,1] => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 6
[1,3,4,5,2,6] => [.,[[.,.],[.,[.,[.,.]]]]] => [2,6,5,4,3,1] => ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[1,3,4,5,6,2] => [.,[[.,.],[.,[.,[.,.]]]]] => [2,6,5,4,3,1] => ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[1,3,4,6,2,5] => [.,[[.,.],[.,[[.,.],.]]]] => [2,5,6,4,3,1] => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 6
[1,3,4,6,5,2] => [.,[[.,.],[.,[[.,.],.]]]] => [2,5,6,4,3,1] => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 6
[1,3,5,2,4,6] => [.,[[.,.],[[.,.],[.,.]]]] => [2,4,6,5,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,5,2,6,4] => [.,[[.,.],[[.,.],[.,.]]]] => [2,4,6,5,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,5,4,2,6] => [.,[[.,.],[[.,.],[.,.]]]] => [2,4,6,5,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,5,4,6,2] => [.,[[.,.],[[.,.],[.,.]]]] => [2,4,6,5,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,5,6,2,4] => [.,[[.,.],[[.,.],[.,.]]]] => [2,4,6,5,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,5,6,4,2] => [.,[[.,.],[[.,.],[.,.]]]] => [2,4,6,5,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,6,2,4,5] => [.,[[.,.],[[.,[.,.]],.]]] => [2,5,4,6,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,6,2,5,4] => [.,[[.,.],[[[.,.],.],.]]] => [2,4,5,6,3,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,3,6,4,2,5] => [.,[[.,.],[[.,[.,.]],.]]] => [2,5,4,6,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,6,4,5,2] => [.,[[.,.],[[.,[.,.]],.]]] => [2,5,4,6,3,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,3,6,5,2,4] => [.,[[.,.],[[[.,.],.],.]]] => [2,4,5,6,3,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,3,6,5,4,2] => [.,[[.,.],[[[.,.],.],.]]] => [2,4,5,6,3,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,2,3,5,6] => [.,[[.,[.,.]],[.,[.,.]]]] => [3,2,6,5,4,1] => ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,4,2,3,6,5] => [.,[[.,[.,.]],[[.,.],.]]] => [3,2,5,6,4,1] => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,2,5,3,6] => [.,[[.,[.,.]],[.,[.,.]]]] => [3,2,6,5,4,1] => ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,4,2,5,6,3] => [.,[[.,[.,.]],[.,[.,.]]]] => [3,2,6,5,4,1] => ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,4,2,6,3,5] => [.,[[.,[.,.]],[[.,.],.]]] => [3,2,5,6,4,1] => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,2,6,5,3] => [.,[[.,[.,.]],[[.,.],.]]] => [3,2,5,6,4,1] => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,3,2,5,6] => [.,[[[.,.],.],[.,[.,.]]]] => [2,3,6,5,4,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,3,2,6,5] => [.,[[[.,.],.],[[.,.],.]]] => [2,3,5,6,4,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[1,4,3,5,2,6] => [.,[[[.,.],.],[.,[.,.]]]] => [2,3,6,5,4,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,3,5,6,2] => [.,[[[.,.],.],[.,[.,.]]]] => [2,3,6,5,4,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,3,6,2,5] => [.,[[[.,.],.],[[.,.],.]]] => [2,3,5,6,4,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[1,4,3,6,5,2] => [.,[[[.,.],.],[[.,.],.]]] => [2,3,5,6,4,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[1,4,5,2,3,6] => [.,[[.,[.,.]],[.,[.,.]]]] => [3,2,6,5,4,1] => ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,4,5,2,6,3] => [.,[[.,[.,.]],[.,[.,.]]]] => [3,2,6,5,4,1] => ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,4,5,3,2,6] => [.,[[[.,.],.],[.,[.,.]]]] => [2,3,6,5,4,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,5,3,6,2] => [.,[[[.,.],.],[.,[.,.]]]] => [2,3,6,5,4,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,5,6,2,3] => [.,[[.,[.,.]],[.,[.,.]]]] => [3,2,6,5,4,1] => ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,4,5,6,3,2] => [.,[[[.,.],.],[.,[.,.]]]] => [2,3,6,5,4,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,6,2,3,5] => [.,[[.,[.,.]],[[.,.],.]]] => [3,2,5,6,4,1] => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,6,2,5,3] => [.,[[.,[.,.]],[[.,.],.]]] => [3,2,5,6,4,1] => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
>>> Load all 873 entries. <<<[1,4,6,3,2,5] => [.,[[[.,.],.],[[.,.],.]]] => [2,3,5,6,4,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[1,4,6,3,5,2] => [.,[[[.,.],.],[[.,.],.]]] => [2,3,5,6,4,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[1,4,6,5,2,3] => [.,[[.,[.,.]],[[.,.],.]]] => [3,2,5,6,4,1] => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,4,6,5,3,2] => [.,[[[.,.],.],[[.,.],.]]] => [2,3,5,6,4,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[1,5,2,3,4,6] => [.,[[.,[.,[.,.]]],[.,.]]] => [4,3,2,6,5,1] => ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,5,2,3,6,4] => [.,[[.,[.,[.,.]]],[.,.]]] => [4,3,2,6,5,1] => ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,5,2,4,3,6] => [.,[[.,[[.,.],.]],[.,.]]] => [3,4,2,6,5,1] => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,5,2,4,6,3] => [.,[[.,[[.,.],.]],[.,.]]] => [3,4,2,6,5,1] => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,5,2,6,3,4] => [.,[[.,[.,[.,.]]],[.,.]]] => [4,3,2,6,5,1] => ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,5,2,6,4,3] => [.,[[.,[[.,.],.]],[.,.]]] => [3,4,2,6,5,1] => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,5,3,2,4,6] => [.,[[[.,.],[.,.]],[.,.]]] => [2,4,3,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,3,2,6,4] => [.,[[[.,.],[.,.]],[.,.]]] => [2,4,3,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,3,4,2,6] => [.,[[[.,.],[.,.]],[.,.]]] => [2,4,3,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,3,4,6,2] => [.,[[[.,.],[.,.]],[.,.]]] => [2,4,3,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,3,6,2,4] => [.,[[[.,.],[.,.]],[.,.]]] => [2,4,3,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,3,6,4,2] => [.,[[[.,.],[.,.]],[.,.]]] => [2,4,3,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,4,2,3,6] => [.,[[[.,[.,.]],.],[.,.]]] => [3,2,4,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,4,2,6,3] => [.,[[[.,[.,.]],.],[.,.]]] => [3,2,4,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,4,3,2,6] => [.,[[[[.,.],.],.],[.,.]]] => [2,3,4,6,5,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
[1,5,4,3,6,2] => [.,[[[[.,.],.],.],[.,.]]] => [2,3,4,6,5,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
[1,5,4,6,2,3] => [.,[[[.,[.,.]],.],[.,.]]] => [3,2,4,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,4,6,3,2] => [.,[[[[.,.],.],.],[.,.]]] => [2,3,4,6,5,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
[1,5,6,2,3,4] => [.,[[.,[.,[.,.]]],[.,.]]] => [4,3,2,6,5,1] => ([(0,1),(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,5,6,2,4,3] => [.,[[.,[[.,.],.]],[.,.]]] => [3,4,2,6,5,1] => ([(0,1),(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,5,6,3,2,4] => [.,[[[.,.],[.,.]],[.,.]]] => [2,4,3,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,6,3,4,2] => [.,[[[.,.],[.,.]],[.,.]]] => [2,4,3,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,6,4,2,3] => [.,[[[.,[.,.]],.],[.,.]]] => [3,2,4,6,5,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,5,6,4,3,2] => [.,[[[[.,.],.],.],[.,.]]] => [2,3,4,6,5,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
[1,6,2,3,4,5] => [.,[[.,[.,[.,[.,.]]]],.]] => [5,4,3,2,6,1] => ([(0,5),(1,2),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 7
[1,6,2,3,5,4] => [.,[[.,[.,[[.,.],.]]],.]] => [4,5,3,2,6,1] => ([(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 6
[1,6,2,4,3,5] => [.,[[.,[[.,.],[.,.]]],.]] => [3,5,4,2,6,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,6,2,4,5,3] => [.,[[.,[[.,.],[.,.]]],.]] => [3,5,4,2,6,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,6,2,5,3,4] => [.,[[.,[[.,[.,.]],.]],.]] => [4,3,5,2,6,1] => ([(0,5),(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 5
[1,6,2,5,4,3] => [.,[[.,[[[.,.],.],.]],.]] => [3,4,5,2,6,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,6,3,2,4,5] => [.,[[[.,.],[.,[.,.]]],.]] => [2,5,4,3,6,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,6,3,2,5,4] => [.,[[[.,.],[[.,.],.]],.]] => [2,4,5,3,6,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[1,6,3,4,2,5] => [.,[[[.,.],[.,[.,.]]],.]] => [2,5,4,3,6,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,6,3,4,5,2] => [.,[[[.,.],[.,[.,.]]],.]] => [2,5,4,3,6,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,6,3,5,2,4] => [.,[[[.,.],[[.,.],.]],.]] => [2,4,5,3,6,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[1,6,3,5,4,2] => [.,[[[.,.],[[.,.],.]],.]] => [2,4,5,3,6,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[1,6,4,2,3,5] => [.,[[[.,[.,.]],[.,.]],.]] => [3,2,5,4,6,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,6,4,2,5,3] => [.,[[[.,[.,.]],[.,.]],.]] => [3,2,5,4,6,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,6,4,3,2,5] => [.,[[[[.,.],.],[.,.]],.]] => [2,3,5,4,6,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
[1,6,4,3,5,2] => [.,[[[[.,.],.],[.,.]],.]] => [2,3,5,4,6,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
[1,6,4,5,2,3] => [.,[[[.,[.,.]],[.,.]],.]] => [3,2,5,4,6,1] => ([(0,5),(1,4),(1,5),(2,3),(2,5),(3,5),(4,5)],6) => 3
[1,6,4,5,3,2] => [.,[[[[.,.],.],[.,.]],.]] => [2,3,5,4,6,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
[1,6,5,2,3,4] => [.,[[[.,[.,[.,.]]],.],.]] => [4,3,2,5,6,1] => ([(0,5),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 4
[1,6,5,2,4,3] => [.,[[[.,[[.,.],.]],.],.]] => [3,4,2,5,6,1] => ([(0,5),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => 3
[1,6,5,3,2,4] => [.,[[[[.,.],[.,.]],.],.]] => [2,4,3,5,6,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
[1,6,5,3,4,2] => [.,[[[[.,.],[.,.]],.],.]] => [2,4,3,5,6,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
[1,6,5,4,2,3] => [.,[[[[.,[.,.]],.],.],.]] => [3,2,4,5,6,1] => ([(0,5),(1,5),(2,5),(3,4),(3,5),(4,5)],6) => 2
[1,6,5,4,3,2] => [.,[[[[[.,.],.],.],.],.]] => [2,3,4,5,6,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 1
[1,2,3,4,5,6,7] => [.,[.,[.,[.,[.,[.,[.,.]]]]]]] => [7,6,5,4,3,2,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) => 21
[1,2,3,4,5,7,6] => [.,[.,[.,[.,[.,[[.,.],.]]]]]] => [6,7,5,4,3,2,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) => 19
[1,2,3,4,6,5,7] => [.,[.,[.,[.,[[.,.],[.,.]]]]]] => [5,7,6,4,3,2,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) => 17
[1,2,3,4,6,7,5] => [.,[.,[.,[.,[[.,.],[.,.]]]]]] => [5,7,6,4,3,2,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) => 17
[1,2,3,4,7,5,6] => [.,[.,[.,[.,[[.,[.,.]],.]]]]] => [6,5,7,4,3,2,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) => 17
[1,2,3,4,7,6,5] => [.,[.,[.,[.,[[[.,.],.],.]]]]] => [5,6,7,4,3,2,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) => 16
[1,2,3,5,4,6,7] => [.,[.,[.,[[.,.],[.,[.,.]]]]]] => [4,7,6,5,3,2,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) => 15
[1,2,3,5,4,7,6] => [.,[.,[.,[[.,.],[[.,.],.]]]]] => [4,6,7,5,3,2,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) => 14
[1,2,3,5,6,4,7] => [.,[.,[.,[[.,.],[.,[.,.]]]]]] => [4,7,6,5,3,2,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) => 15
[1,2,3,5,6,7,4] => [.,[.,[.,[[.,.],[.,[.,.]]]]]] => [4,7,6,5,3,2,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) => 15
[1,2,3,5,7,4,6] => [.,[.,[.,[[.,.],[[.,.],.]]]]] => [4,6,7,5,3,2,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) => 14
[1,2,3,5,7,6,4] => [.,[.,[.,[[.,.],[[.,.],.]]]]] => [4,6,7,5,3,2,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) => 14
[1,2,3,6,4,5,7] => [.,[.,[.,[[.,[.,.]],[.,.]]]]] => [5,4,7,6,3,2,1] => ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14
[1,2,3,6,4,7,5] => [.,[.,[.,[[.,[.,.]],[.,.]]]]] => [5,4,7,6,3,2,1] => ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14
[1,2,3,6,5,4,7] => [.,[.,[.,[[[.,.],.],[.,.]]]]] => [4,5,7,6,3,2,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) => 13
[1,2,3,6,5,7,4] => [.,[.,[.,[[[.,.],.],[.,.]]]]] => [4,5,7,6,3,2,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) => 13
[1,2,3,6,7,4,5] => [.,[.,[.,[[.,[.,.]],[.,.]]]]] => [5,4,7,6,3,2,1] => ([(0,3),(0,4),(0,5),(0,6),(1,2),(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 14
[1,2,3,6,7,5,4] => [.,[.,[.,[[[.,.],.],[.,.]]]]] => [4,5,7,6,3,2,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) => 13
[1,2,3,7,4,5,6] => [.,[.,[.,[[.,[.,[.,.]]],.]]]] => [6,5,4,7,3,2,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) => 15
[1,2,3,7,4,6,5] => [.,[.,[.,[[.,[[.,.],.]],.]]]] => [5,6,4,7,3,2,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) => 14
[1,2,3,7,5,4,6] => [.,[.,[.,[[[.,.],[.,.]],.]]]] => [4,6,5,7,3,2,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) => 13
[1,2,3,7,5,6,4] => [.,[.,[.,[[[.,.],[.,.]],.]]]] => [4,6,5,7,3,2,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) => 13
[1,2,3,7,6,4,5] => [.,[.,[.,[[[.,[.,.]],.],.]]]] => [5,4,6,7,3,2,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) => 13
[1,2,3,7,6,5,4] => [.,[.,[.,[[[[.,.],.],.],.]]]] => [4,5,6,7,3,2,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) => 12
[1,2,4,3,5,6,7] => [.,[.,[[.,.],[.,[.,[.,.]]]]]] => [3,7,6,5,4,2,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) => 13
[1,2,4,3,5,7,6] => [.,[.,[[.,.],[.,[[.,.],.]]]]] => [3,6,7,5,4,2,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) => 12
[1,2,4,3,6,5,7] => [.,[.,[[.,.],[[.,.],[.,.]]]]] => [3,5,7,6,4,2,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) => 11
[1,2,4,3,6,7,5] => [.,[.,[[.,.],[[.,.],[.,.]]]]] => [3,5,7,6,4,2,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) => 11
[1,2,4,3,7,5,6] => [.,[.,[[.,.],[[.,[.,.]],.]]]] => [3,6,5,7,4,2,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) => 11
[1,2,4,3,7,6,5] => [.,[.,[[.,.],[[[.,.],.],.]]]] => [3,5,6,7,4,2,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) => 10
[1,2,4,5,3,6,7] => [.,[.,[[.,.],[.,[.,[.,.]]]]]] => [3,7,6,5,4,2,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) => 13
[1,2,4,5,3,7,6] => [.,[.,[[.,.],[.,[[.,.],.]]]]] => [3,6,7,5,4,2,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) => 12
[1,2,4,5,6,3,7] => [.,[.,[[.,.],[.,[.,[.,.]]]]]] => [3,7,6,5,4,2,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) => 13
[1,2,4,5,6,7,3] => [.,[.,[[.,.],[.,[.,[.,.]]]]]] => [3,7,6,5,4,2,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) => 13
[1,2,4,5,7,3,6] => [.,[.,[[.,.],[.,[[.,.],.]]]]] => [3,6,7,5,4,2,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) => 12
[1,2,4,5,7,6,3] => [.,[.,[[.,.],[.,[[.,.],.]]]]] => [3,6,7,5,4,2,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) => 12
[1,2,4,6,3,5,7] => [.,[.,[[.,.],[[.,.],[.,.]]]]] => [3,5,7,6,4,2,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) => 11
[1,2,4,6,3,7,5] => [.,[.,[[.,.],[[.,.],[.,.]]]]] => [3,5,7,6,4,2,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) => 11
[1,2,4,6,5,3,7] => [.,[.,[[.,.],[[.,.],[.,.]]]]] => [3,5,7,6,4,2,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) => 11
[1,2,4,6,5,7,3] => [.,[.,[[.,.],[[.,.],[.,.]]]]] => [3,5,7,6,4,2,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) => 11
[1,2,4,6,7,3,5] => [.,[.,[[.,.],[[.,.],[.,.]]]]] => [3,5,7,6,4,2,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) => 11
[1,2,4,6,7,5,3] => [.,[.,[[.,.],[[.,.],[.,.]]]]] => [3,5,7,6,4,2,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) => 11
[1,2,4,7,3,5,6] => [.,[.,[[.,.],[[.,[.,.]],.]]]] => [3,6,5,7,4,2,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) => 11
[1,2,4,7,3,6,5] => [.,[.,[[.,.],[[[.,.],.],.]]]] => [3,5,6,7,4,2,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) => 10
[1,2,4,7,5,3,6] => [.,[.,[[.,.],[[.,[.,.]],.]]]] => [3,6,5,7,4,2,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) => 11
[1,2,4,7,5,6,3] => [.,[.,[[.,.],[[.,[.,.]],.]]]] => [3,6,5,7,4,2,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) => 11
[1,2,4,7,6,3,5] => [.,[.,[[.,.],[[[.,.],.],.]]]] => [3,5,6,7,4,2,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) => 10
[1,2,4,7,6,5,3] => [.,[.,[[.,.],[[[.,.],.],.]]]] => [3,5,6,7,4,2,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) => 10
[1,2,5,3,4,6,7] => [.,[.,[[.,[.,.]],[.,[.,.]]]]] => [4,3,7,6,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[1,2,5,3,4,7,6] => [.,[.,[[.,[.,.]],[[.,.],.]]]] => [4,3,6,7,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[1,2,5,3,6,4,7] => [.,[.,[[.,[.,.]],[.,[.,.]]]]] => [4,3,7,6,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[1,2,5,3,6,7,4] => [.,[.,[[.,[.,.]],[.,[.,.]]]]] => [4,3,7,6,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[1,2,5,3,7,4,6] => [.,[.,[[.,[.,.]],[[.,.],.]]]] => [4,3,6,7,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[1,2,5,3,7,6,4] => [.,[.,[[.,[.,.]],[[.,.],.]]]] => [4,3,6,7,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[1,2,5,4,3,6,7] => [.,[.,[[[.,.],.],[.,[.,.]]]]] => [3,4,7,6,5,2,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) => 10
[1,2,5,4,3,7,6] => [.,[.,[[[.,.],.],[[.,.],.]]]] => [3,4,6,7,5,2,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) => 9
[1,2,5,4,6,3,7] => [.,[.,[[[.,.],.],[.,[.,.]]]]] => [3,4,7,6,5,2,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) => 10
[1,2,5,4,6,7,3] => [.,[.,[[[.,.],.],[.,[.,.]]]]] => [3,4,7,6,5,2,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) => 10
[1,2,5,4,7,3,6] => [.,[.,[[[.,.],.],[[.,.],.]]]] => [3,4,6,7,5,2,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) => 9
[1,2,5,4,7,6,3] => [.,[.,[[[.,.],.],[[.,.],.]]]] => [3,4,6,7,5,2,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) => 9
[1,2,5,6,3,4,7] => [.,[.,[[.,[.,.]],[.,[.,.]]]]] => [4,3,7,6,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[1,2,5,6,3,7,4] => [.,[.,[[.,[.,.]],[.,[.,.]]]]] => [4,3,7,6,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[1,2,5,6,4,3,7] => [.,[.,[[[.,.],.],[.,[.,.]]]]] => [3,4,7,6,5,2,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) => 10
[1,2,5,6,4,7,3] => [.,[.,[[[.,.],.],[.,[.,.]]]]] => [3,4,7,6,5,2,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) => 10
[1,2,5,6,7,3,4] => [.,[.,[[.,[.,.]],[.,[.,.]]]]] => [4,3,7,6,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[1,2,5,6,7,4,3] => [.,[.,[[[.,.],.],[.,[.,.]]]]] => [3,4,7,6,5,2,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) => 10
[1,2,5,7,3,4,6] => [.,[.,[[.,[.,.]],[[.,.],.]]]] => [4,3,6,7,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[1,2,5,7,3,6,4] => [.,[.,[[.,[.,.]],[[.,.],.]]]] => [4,3,6,7,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[1,2,5,7,4,3,6] => [.,[.,[[[.,.],.],[[.,.],.]]]] => [3,4,6,7,5,2,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) => 9
[1,2,5,7,4,6,3] => [.,[.,[[[.,.],.],[[.,.],.]]]] => [3,4,6,7,5,2,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) => 9
[1,2,5,7,6,3,4] => [.,[.,[[.,[.,.]],[[.,.],.]]]] => [4,3,6,7,5,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[1,2,5,7,6,4,3] => [.,[.,[[[.,.],.],[[.,.],.]]]] => [3,4,6,7,5,2,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) => 9
[1,2,6,3,4,5,7] => [.,[.,[[.,[.,[.,.]]],[.,.]]]] => [5,4,3,7,6,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[1,2,6,3,4,7,5] => [.,[.,[[.,[.,[.,.]]],[.,.]]]] => [5,4,3,7,6,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[1,2,6,3,5,4,7] => [.,[.,[[.,[[.,.],.]],[.,.]]]] => [4,5,3,7,6,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[1,2,6,3,5,7,4] => [.,[.,[[.,[[.,.],.]],[.,.]]]] => [4,5,3,7,6,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[1,2,6,3,7,4,5] => [.,[.,[[.,[.,[.,.]]],[.,.]]]] => [5,4,3,7,6,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[1,2,6,3,7,5,4] => [.,[.,[[.,[[.,.],.]],[.,.]]]] => [4,5,3,7,6,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[1,2,6,4,3,5,7] => [.,[.,[[[.,.],[.,.]],[.,.]]]] => [3,5,4,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,4,3,7,5] => [.,[.,[[[.,.],[.,.]],[.,.]]]] => [3,5,4,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,4,5,3,7] => [.,[.,[[[.,.],[.,.]],[.,.]]]] => [3,5,4,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,4,5,7,3] => [.,[.,[[[.,.],[.,.]],[.,.]]]] => [3,5,4,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,4,7,3,5] => [.,[.,[[[.,.],[.,.]],[.,.]]]] => [3,5,4,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,4,7,5,3] => [.,[.,[[[.,.],[.,.]],[.,.]]]] => [3,5,4,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,5,3,4,7] => [.,[.,[[[.,[.,.]],.],[.,.]]]] => [4,3,5,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,5,3,7,4] => [.,[.,[[[.,[.,.]],.],[.,.]]]] => [4,3,5,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,5,4,3,7] => [.,[.,[[[[.,.],.],.],[.,.]]]] => [3,4,5,7,6,2,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) => 8
[1,2,6,5,4,7,3] => [.,[.,[[[[.,.],.],.],[.,.]]]] => [3,4,5,7,6,2,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) => 8
[1,2,6,5,7,3,4] => [.,[.,[[[.,[.,.]],.],[.,.]]]] => [4,3,5,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,5,7,4,3] => [.,[.,[[[[.,.],.],.],[.,.]]]] => [3,4,5,7,6,2,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) => 8
[1,2,6,7,3,4,5] => [.,[.,[[.,[.,[.,.]]],[.,.]]]] => [5,4,3,7,6,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 11
[1,2,6,7,3,5,4] => [.,[.,[[.,[[.,.],.]],[.,.]]]] => [4,5,3,7,6,2,1] => ([(0,1),(0,5),(0,6),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 10
[1,2,6,7,4,3,5] => [.,[.,[[[.,.],[.,.]],[.,.]]]] => [3,5,4,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,7,4,5,3] => [.,[.,[[[.,.],[.,.]],[.,.]]]] => [3,5,4,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,7,5,3,4] => [.,[.,[[[.,[.,.]],.],[.,.]]]] => [4,3,5,7,6,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,6,7,5,4,3] => [.,[.,[[[[.,.],.],.],[.,.]]]] => [3,4,5,7,6,2,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) => 8
[1,2,7,3,4,5,6] => [.,[.,[[.,[.,[.,[.,.]]]],.]]] => [6,5,4,3,7,2,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) => 13
[1,2,7,3,4,6,5] => [.,[.,[[.,[.,[[.,.],.]]],.]]] => [5,6,4,3,7,2,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) => 12
[1,2,7,3,5,4,6] => [.,[.,[[.,[[.,.],[.,.]]],.]]] => [4,6,5,3,7,2,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) => 11
[1,2,7,3,5,6,4] => [.,[.,[[.,[[.,.],[.,.]]],.]]] => [4,6,5,3,7,2,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) => 11
[1,2,7,3,6,4,5] => [.,[.,[[.,[[.,[.,.]],.]],.]]] => [5,4,6,3,7,2,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) => 11
[1,2,7,3,6,5,4] => [.,[.,[[.,[[[.,.],.],.]],.]]] => [4,5,6,3,7,2,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) => 10
[1,2,7,4,3,5,6] => [.,[.,[[[.,.],[.,[.,.]]],.]]] => [3,6,5,4,7,2,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) => 10
[1,2,7,4,3,6,5] => [.,[.,[[[.,.],[[.,.],.]],.]]] => [3,5,6,4,7,2,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) => 9
[1,2,7,4,5,3,6] => [.,[.,[[[.,.],[.,[.,.]]],.]]] => [3,6,5,4,7,2,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) => 10
[1,2,7,4,5,6,3] => [.,[.,[[[.,.],[.,[.,.]]],.]]] => [3,6,5,4,7,2,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) => 10
[1,2,7,4,6,3,5] => [.,[.,[[[.,.],[[.,.],.]],.]]] => [3,5,6,4,7,2,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) => 9
[1,2,7,4,6,5,3] => [.,[.,[[[.,.],[[.,.],.]],.]]] => [3,5,6,4,7,2,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) => 9
[1,2,7,5,3,4,6] => [.,[.,[[[.,[.,.]],[.,.]],.]]] => [4,3,6,5,7,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,7,5,3,6,4] => [.,[.,[[[.,[.,.]],[.,.]],.]]] => [4,3,6,5,7,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,7,5,4,3,6] => [.,[.,[[[[.,.],.],[.,.]],.]]] => [3,4,6,5,7,2,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) => 8
[1,2,7,5,4,6,3] => [.,[.,[[[[.,.],.],[.,.]],.]]] => [3,4,6,5,7,2,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) => 8
[1,2,7,5,6,3,4] => [.,[.,[[[.,[.,.]],[.,.]],.]]] => [4,3,6,5,7,2,1] => ([(0,5),(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 9
[1,2,7,5,6,4,3] => [.,[.,[[[[.,.],.],[.,.]],.]]] => [3,4,6,5,7,2,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) => 8
[1,2,7,6,3,4,5] => [.,[.,[[[.,[.,[.,.]]],.],.]]] => [5,4,3,6,7,2,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) => 10
[1,2,7,6,3,5,4] => [.,[.,[[[.,[[.,.],.]],.],.]]] => [4,5,3,6,7,2,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) => 9
[1,2,7,6,4,3,5] => [.,[.,[[[[.,.],[.,.]],.],.]]] => [3,5,4,6,7,2,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) => 8
[1,2,7,6,4,5,3] => [.,[.,[[[[.,.],[.,.]],.],.]]] => [3,5,4,6,7,2,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) => 8
[1,2,7,6,5,3,4] => [.,[.,[[[[.,[.,.]],.],.],.]]] => [4,3,5,6,7,2,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) => 8
[1,2,7,6,5,4,3] => [.,[.,[[[[[.,.],.],.],.],.]]] => [3,4,5,6,7,2,1] => ([(0,5),(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,2,4,5,6,7] => [.,[[.,.],[.,[.,[.,[.,.]]]]]] => [2,7,6,5,4,3,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) => 11
[1,3,2,4,5,7,6] => [.,[[.,.],[.,[.,[[.,.],.]]]]] => [2,6,7,5,4,3,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) => 10
[1,3,2,4,6,5,7] => [.,[[.,.],[.,[[.,.],[.,.]]]]] => [2,5,7,6,4,3,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) => 9
[1,3,2,4,6,7,5] => [.,[[.,.],[.,[[.,.],[.,.]]]]] => [2,5,7,6,4,3,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) => 9
[1,3,2,4,7,5,6] => [.,[[.,.],[.,[[.,[.,.]],.]]]] => [2,6,5,7,4,3,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) => 9
[1,3,2,4,7,6,5] => [.,[[.,.],[.,[[[.,.],.],.]]]] => [2,5,6,7,4,3,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) => 8
[1,3,2,5,4,6,7] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,2,5,4,7,6] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,2,5,6,4,7] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,2,5,6,7,4] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,2,5,7,4,6] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,2,5,7,6,4] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,2,6,4,5,7] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,2,6,4,7,5] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,2,6,5,4,7] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,2,6,5,7,4] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,2,6,7,4,5] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,2,6,7,5,4] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,2,7,4,5,6] => [.,[[.,.],[[.,[.,[.,.]]],.]]] => [2,6,5,4,7,3,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) => 8
[1,3,2,7,4,6,5] => [.,[[.,.],[[.,[[.,.],.]],.]]] => [2,5,6,4,7,3,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) => 7
[1,3,2,7,5,4,6] => [.,[[.,.],[[[.,.],[.,.]],.]]] => [2,4,6,5,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,2,7,5,6,4] => [.,[[.,.],[[[.,.],[.,.]],.]]] => [2,4,6,5,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,2,7,6,4,5] => [.,[[.,.],[[[.,[.,.]],.],.]]] => [2,5,4,6,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,2,7,6,5,4] => [.,[[.,.],[[[[.,.],.],.],.]]] => [2,4,5,6,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,3,4,2,5,6,7] => [.,[[.,.],[.,[.,[.,[.,.]]]]]] => [2,7,6,5,4,3,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) => 11
[1,3,4,2,5,7,6] => [.,[[.,.],[.,[.,[[.,.],.]]]]] => [2,6,7,5,4,3,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) => 10
[1,3,4,2,6,5,7] => [.,[[.,.],[.,[[.,.],[.,.]]]]] => [2,5,7,6,4,3,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) => 9
[1,3,4,2,6,7,5] => [.,[[.,.],[.,[[.,.],[.,.]]]]] => [2,5,7,6,4,3,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) => 9
[1,3,4,2,7,5,6] => [.,[[.,.],[.,[[.,[.,.]],.]]]] => [2,6,5,7,4,3,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) => 9
[1,3,4,2,7,6,5] => [.,[[.,.],[.,[[[.,.],.],.]]]] => [2,5,6,7,4,3,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) => 8
[1,3,4,5,2,6,7] => [.,[[.,.],[.,[.,[.,[.,.]]]]]] => [2,7,6,5,4,3,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) => 11
[1,3,4,5,2,7,6] => [.,[[.,.],[.,[.,[[.,.],.]]]]] => [2,6,7,5,4,3,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) => 10
[1,3,4,5,6,2,7] => [.,[[.,.],[.,[.,[.,[.,.]]]]]] => [2,7,6,5,4,3,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) => 11
[1,3,4,5,6,7,2] => [.,[[.,.],[.,[.,[.,[.,.]]]]]] => [2,7,6,5,4,3,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) => 11
[1,3,4,5,7,2,6] => [.,[[.,.],[.,[.,[[.,.],.]]]]] => [2,6,7,5,4,3,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) => 10
[1,3,4,5,7,6,2] => [.,[[.,.],[.,[.,[[.,.],.]]]]] => [2,6,7,5,4,3,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) => 10
[1,3,4,6,2,5,7] => [.,[[.,.],[.,[[.,.],[.,.]]]]] => [2,5,7,6,4,3,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) => 9
[1,3,4,6,2,7,5] => [.,[[.,.],[.,[[.,.],[.,.]]]]] => [2,5,7,6,4,3,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) => 9
[1,3,4,6,5,2,7] => [.,[[.,.],[.,[[.,.],[.,.]]]]] => [2,5,7,6,4,3,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) => 9
[1,3,4,6,5,7,2] => [.,[[.,.],[.,[[.,.],[.,.]]]]] => [2,5,7,6,4,3,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) => 9
[1,3,4,6,7,2,5] => [.,[[.,.],[.,[[.,.],[.,.]]]]] => [2,5,7,6,4,3,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) => 9
[1,3,4,6,7,5,2] => [.,[[.,.],[.,[[.,.],[.,.]]]]] => [2,5,7,6,4,3,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) => 9
[1,3,4,7,2,5,6] => [.,[[.,.],[.,[[.,[.,.]],.]]]] => [2,6,5,7,4,3,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) => 9
[1,3,4,7,2,6,5] => [.,[[.,.],[.,[[[.,.],.],.]]]] => [2,5,6,7,4,3,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) => 8
[1,3,4,7,5,2,6] => [.,[[.,.],[.,[[.,[.,.]],.]]]] => [2,6,5,7,4,3,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) => 9
[1,3,4,7,5,6,2] => [.,[[.,.],[.,[[.,[.,.]],.]]]] => [2,6,5,7,4,3,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) => 9
[1,3,4,7,6,2,5] => [.,[[.,.],[.,[[[.,.],.],.]]]] => [2,5,6,7,4,3,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) => 8
[1,3,4,7,6,5,2] => [.,[[.,.],[.,[[[.,.],.],.]]]] => [2,5,6,7,4,3,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) => 8
[1,3,5,2,4,6,7] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,2,4,7,6] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,5,2,6,4,7] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,2,6,7,4] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,2,7,4,6] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,5,2,7,6,4] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,5,4,2,6,7] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,4,2,7,6] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,5,4,6,2,7] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,4,6,7,2] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,4,7,2,6] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,5,4,7,6,2] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,5,6,2,4,7] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,6,2,7,4] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,6,4,2,7] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,6,4,7,2] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,6,7,2,4] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,6,7,4,2] => [.,[[.,.],[[.,.],[.,[.,.]]]]] => [2,4,7,6,5,3,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) => 8
[1,3,5,7,2,4,6] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,5,7,2,6,4] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,5,7,4,2,6] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,5,7,4,6,2] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,5,7,6,2,4] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,5,7,6,4,2] => [.,[[.,.],[[.,.],[[.,.],.]]]] => [2,4,6,7,5,3,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) => 7
[1,3,6,2,4,5,7] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,2,4,7,5] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,2,5,4,7] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,6,2,5,7,4] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,6,2,7,4,5] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,2,7,5,4] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,6,4,2,5,7] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,4,2,7,5] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,4,5,2,7] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,4,5,7,2] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,4,7,2,5] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,4,7,5,2] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,5,2,4,7] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,6,5,2,7,4] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,6,5,4,2,7] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,6,5,4,7,2] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,6,5,7,2,4] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,6,5,7,4,2] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,6,7,2,4,5] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,7,2,5,4] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,6,7,4,2,5] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,7,4,5,2] => [.,[[.,.],[[.,[.,.]],[.,.]]]] => [2,5,4,7,6,3,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,3,6,7,5,2,4] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,6,7,5,4,2] => [.,[[.,.],[[[.,.],.],[.,.]]]] => [2,4,5,7,6,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,2,4,5,6] => [.,[[.,.],[[.,[.,[.,.]]],.]]] => [2,6,5,4,7,3,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) => 8
[1,3,7,2,4,6,5] => [.,[[.,.],[[.,[[.,.],.]],.]]] => [2,5,6,4,7,3,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) => 7
[1,3,7,2,5,4,6] => [.,[[.,.],[[[.,.],[.,.]],.]]] => [2,4,6,5,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,2,5,6,4] => [.,[[.,.],[[[.,.],[.,.]],.]]] => [2,4,6,5,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,2,6,4,5] => [.,[[.,.],[[[.,[.,.]],.],.]]] => [2,5,4,6,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,2,6,5,4] => [.,[[.,.],[[[[.,.],.],.],.]]] => [2,4,5,6,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,3,7,4,2,5,6] => [.,[[.,.],[[.,[.,[.,.]]],.]]] => [2,6,5,4,7,3,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) => 8
[1,3,7,4,2,6,5] => [.,[[.,.],[[.,[[.,.],.]],.]]] => [2,5,6,4,7,3,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) => 7
[1,3,7,4,5,2,6] => [.,[[.,.],[[.,[.,[.,.]]],.]]] => [2,6,5,4,7,3,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) => 8
[1,3,7,4,5,6,2] => [.,[[.,.],[[.,[.,[.,.]]],.]]] => [2,6,5,4,7,3,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) => 8
[1,3,7,4,6,2,5] => [.,[[.,.],[[.,[[.,.],.]],.]]] => [2,5,6,4,7,3,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) => 7
[1,3,7,4,6,5,2] => [.,[[.,.],[[.,[[.,.],.]],.]]] => [2,5,6,4,7,3,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) => 7
[1,3,7,5,2,4,6] => [.,[[.,.],[[[.,.],[.,.]],.]]] => [2,4,6,5,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,5,2,6,4] => [.,[[.,.],[[[.,.],[.,.]],.]]] => [2,4,6,5,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,5,4,2,6] => [.,[[.,.],[[[.,.],[.,.]],.]]] => [2,4,6,5,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,5,4,6,2] => [.,[[.,.],[[[.,.],[.,.]],.]]] => [2,4,6,5,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,5,6,2,4] => [.,[[.,.],[[[.,.],[.,.]],.]]] => [2,4,6,5,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,5,6,4,2] => [.,[[.,.],[[[.,.],[.,.]],.]]] => [2,4,6,5,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,6,2,4,5] => [.,[[.,.],[[[.,[.,.]],.],.]]] => [2,5,4,6,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,6,2,5,4] => [.,[[.,.],[[[[.,.],.],.],.]]] => [2,4,5,6,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,3,7,6,4,2,5] => [.,[[.,.],[[[.,[.,.]],.],.]]] => [2,5,4,6,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,6,4,5,2] => [.,[[.,.],[[[.,[.,.]],.],.]]] => [2,5,4,6,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,3,7,6,5,2,4] => [.,[[.,.],[[[[.,.],.],.],.]]] => [2,4,5,6,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,3,7,6,5,4,2] => [.,[[.,.],[[[[.,.],.],.],.]]] => [2,4,5,6,7,3,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,2,3,5,6,7] => [.,[[.,[.,.]],[.,[.,[.,.]]]]] => [3,2,7,6,5,4,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,4,2,3,5,7,6] => [.,[[.,[.,.]],[.,[[.,.],.]]]] => [3,2,6,7,5,4,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,4,2,3,6,5,7] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,3,6,7,5] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,3,7,5,6] => [.,[[.,[.,.]],[[.,[.,.]],.]]] => [3,2,6,5,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,3,7,6,5] => [.,[[.,[.,.]],[[[.,.],.],.]]] => [3,2,5,6,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,2,5,3,6,7] => [.,[[.,[.,.]],[.,[.,[.,.]]]]] => [3,2,7,6,5,4,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,4,2,5,3,7,6] => [.,[[.,[.,.]],[.,[[.,.],.]]]] => [3,2,6,7,5,4,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,4,2,5,6,3,7] => [.,[[.,[.,.]],[.,[.,[.,.]]]]] => [3,2,7,6,5,4,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,4,2,5,6,7,3] => [.,[[.,[.,.]],[.,[.,[.,.]]]]] => [3,2,7,6,5,4,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,4,2,5,7,3,6] => [.,[[.,[.,.]],[.,[[.,.],.]]]] => [3,2,6,7,5,4,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,4,2,5,7,6,3] => [.,[[.,[.,.]],[.,[[.,.],.]]]] => [3,2,6,7,5,4,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,4,2,6,3,5,7] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,6,3,7,5] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,6,5,3,7] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,6,5,7,3] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,6,7,3,5] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,6,7,5,3] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,7,3,5,6] => [.,[[.,[.,.]],[[.,[.,.]],.]]] => [3,2,6,5,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,7,3,6,5] => [.,[[.,[.,.]],[[[.,.],.],.]]] => [3,2,5,6,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,2,7,5,3,6] => [.,[[.,[.,.]],[[.,[.,.]],.]]] => [3,2,6,5,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,7,5,6,3] => [.,[[.,[.,.]],[[.,[.,.]],.]]] => [3,2,6,5,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,2,7,6,3,5] => [.,[[.,[.,.]],[[[.,.],.],.]]] => [3,2,5,6,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,2,7,6,5,3] => [.,[[.,[.,.]],[[[.,.],.],.]]] => [3,2,5,6,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,2,5,6,7] => [.,[[[.,.],.],[.,[.,[.,.]]]]] => [2,3,7,6,5,4,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) => 7
[1,4,3,2,5,7,6] => [.,[[[.,.],.],[.,[[.,.],.]]]] => [2,3,6,7,5,4,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,3,2,6,5,7] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,2,6,7,5] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,2,7,5,6] => [.,[[[.,.],.],[[.,[.,.]],.]]] => [2,3,6,5,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,2,7,6,5] => [.,[[[.,.],.],[[[.,.],.],.]]] => [2,3,5,6,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,3,5,2,6,7] => [.,[[[.,.],.],[.,[.,[.,.]]]]] => [2,3,7,6,5,4,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) => 7
[1,4,3,5,2,7,6] => [.,[[[.,.],.],[.,[[.,.],.]]]] => [2,3,6,7,5,4,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,3,5,6,2,7] => [.,[[[.,.],.],[.,[.,[.,.]]]]] => [2,3,7,6,5,4,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) => 7
[1,4,3,5,6,7,2] => [.,[[[.,.],.],[.,[.,[.,.]]]]] => [2,3,7,6,5,4,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) => 7
[1,4,3,5,7,2,6] => [.,[[[.,.],.],[.,[[.,.],.]]]] => [2,3,6,7,5,4,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,3,5,7,6,2] => [.,[[[.,.],.],[.,[[.,.],.]]]] => [2,3,6,7,5,4,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,3,6,2,5,7] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,6,2,7,5] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,6,5,2,7] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,6,5,7,2] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,6,7,2,5] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,6,7,5,2] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,7,2,5,6] => [.,[[[.,.],.],[[.,[.,.]],.]]] => [2,3,6,5,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,7,2,6,5] => [.,[[[.,.],.],[[[.,.],.],.]]] => [2,3,5,6,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,3,7,5,2,6] => [.,[[[.,.],.],[[.,[.,.]],.]]] => [2,3,6,5,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,7,5,6,2] => [.,[[[.,.],.],[[.,[.,.]],.]]] => [2,3,6,5,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,3,7,6,2,5] => [.,[[[.,.],.],[[[.,.],.],.]]] => [2,3,5,6,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,3,7,6,5,2] => [.,[[[.,.],.],[[[.,.],.],.]]] => [2,3,5,6,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,5,2,3,6,7] => [.,[[.,[.,.]],[.,[.,[.,.]]]]] => [3,2,7,6,5,4,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,4,5,2,3,7,6] => [.,[[.,[.,.]],[.,[[.,.],.]]]] => [3,2,6,7,5,4,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,4,5,2,6,3,7] => [.,[[.,[.,.]],[.,[.,[.,.]]]]] => [3,2,7,6,5,4,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,4,5,2,6,7,3] => [.,[[.,[.,.]],[.,[.,[.,.]]]]] => [3,2,7,6,5,4,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,4,5,2,7,3,6] => [.,[[.,[.,.]],[.,[[.,.],.]]]] => [3,2,6,7,5,4,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,4,5,2,7,6,3] => [.,[[.,[.,.]],[.,[[.,.],.]]]] => [3,2,6,7,5,4,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,4,5,3,2,6,7] => [.,[[[.,.],.],[.,[.,[.,.]]]]] => [2,3,7,6,5,4,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) => 7
[1,4,5,3,2,7,6] => [.,[[[.,.],.],[.,[[.,.],.]]]] => [2,3,6,7,5,4,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,5,3,6,2,7] => [.,[[[.,.],.],[.,[.,[.,.]]]]] => [2,3,7,6,5,4,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) => 7
[1,4,5,3,6,7,2] => [.,[[[.,.],.],[.,[.,[.,.]]]]] => [2,3,7,6,5,4,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) => 7
[1,4,5,3,7,2,6] => [.,[[[.,.],.],[.,[[.,.],.]]]] => [2,3,6,7,5,4,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,5,3,7,6,2] => [.,[[[.,.],.],[.,[[.,.],.]]]] => [2,3,6,7,5,4,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,5,6,2,3,7] => [.,[[.,[.,.]],[.,[.,[.,.]]]]] => [3,2,7,6,5,4,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,4,5,6,2,7,3] => [.,[[.,[.,.]],[.,[.,[.,.]]]]] => [3,2,7,6,5,4,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,4,5,6,3,2,7] => [.,[[[.,.],.],[.,[.,[.,.]]]]] => [2,3,7,6,5,4,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) => 7
[1,4,5,6,3,7,2] => [.,[[[.,.],.],[.,[.,[.,.]]]]] => [2,3,7,6,5,4,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) => 7
[1,4,5,6,7,2,3] => [.,[[.,[.,.]],[.,[.,[.,.]]]]] => [3,2,7,6,5,4,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,4,5,6,7,3,2] => [.,[[[.,.],.],[.,[.,[.,.]]]]] => [2,3,7,6,5,4,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) => 7
[1,4,5,7,2,3,6] => [.,[[.,[.,.]],[.,[[.,.],.]]]] => [3,2,6,7,5,4,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,4,5,7,2,6,3] => [.,[[.,[.,.]],[.,[[.,.],.]]]] => [3,2,6,7,5,4,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,4,5,7,3,2,6] => [.,[[[.,.],.],[.,[[.,.],.]]]] => [2,3,6,7,5,4,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,5,7,3,6,2] => [.,[[[.,.],.],[.,[[.,.],.]]]] => [2,3,6,7,5,4,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,5,7,6,2,3] => [.,[[.,[.,.]],[.,[[.,.],.]]]] => [3,2,6,7,5,4,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,4,5,7,6,3,2] => [.,[[[.,.],.],[.,[[.,.],.]]]] => [2,3,6,7,5,4,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,2,3,5,7] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,2,3,7,5] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,2,5,3,7] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,2,5,7,3] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,2,7,3,5] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,2,7,5,3] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,3,2,5,7] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,6,3,2,7,5] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,6,3,5,2,7] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,6,3,5,7,2] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,6,3,7,2,5] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,6,3,7,5,2] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,6,5,2,3,7] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,5,2,7,3] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,5,3,2,7] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,6,5,3,7,2] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,6,5,7,2,3] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,5,7,3,2] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,6,7,2,3,5] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,7,2,5,3] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,7,3,2,5] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,6,7,3,5,2] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,6,7,5,2,3] => [.,[[.,[.,.]],[[.,.],[.,.]]]] => [3,2,5,7,6,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,6,7,5,3,2] => [.,[[[.,.],.],[[.,.],[.,.]]]] => [2,3,5,7,6,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,2,3,5,6] => [.,[[.,[.,.]],[[.,[.,.]],.]]] => [3,2,6,5,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,7,2,3,6,5] => [.,[[.,[.,.]],[[[.,.],.],.]]] => [3,2,5,6,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,2,5,3,6] => [.,[[.,[.,.]],[[.,[.,.]],.]]] => [3,2,6,5,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,7,2,5,6,3] => [.,[[.,[.,.]],[[.,[.,.]],.]]] => [3,2,6,5,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,7,2,6,3,5] => [.,[[.,[.,.]],[[[.,.],.],.]]] => [3,2,5,6,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,2,6,5,3] => [.,[[.,[.,.]],[[[.,.],.],.]]] => [3,2,5,6,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,3,2,5,6] => [.,[[[.,.],.],[[.,[.,.]],.]]] => [2,3,6,5,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,3,2,6,5] => [.,[[[.,.],.],[[[.,.],.],.]]] => [2,3,5,6,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,7,3,5,2,6] => [.,[[[.,.],.],[[.,[.,.]],.]]] => [2,3,6,5,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,3,5,6,2] => [.,[[[.,.],.],[[.,[.,.]],.]]] => [2,3,6,5,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,3,6,2,5] => [.,[[[.,.],.],[[[.,.],.],.]]] => [2,3,5,6,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,7,3,6,5,2] => [.,[[[.,.],.],[[[.,.],.],.]]] => [2,3,5,6,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,7,5,2,3,6] => [.,[[.,[.,.]],[[.,[.,.]],.]]] => [3,2,6,5,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,7,5,2,6,3] => [.,[[.,[.,.]],[[.,[.,.]],.]]] => [3,2,6,5,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,7,5,3,2,6] => [.,[[[.,.],.],[[.,[.,.]],.]]] => [2,3,6,5,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,5,3,6,2] => [.,[[[.,.],.],[[.,[.,.]],.]]] => [2,3,6,5,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,5,6,2,3] => [.,[[.,[.,.]],[[.,[.,.]],.]]] => [3,2,6,5,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,4,7,5,6,3,2] => [.,[[[.,.],.],[[.,[.,.]],.]]] => [2,3,6,5,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,6,2,3,5] => [.,[[.,[.,.]],[[[.,.],.],.]]] => [3,2,5,6,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,6,2,5,3] => [.,[[.,[.,.]],[[[.,.],.],.]]] => [3,2,5,6,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,6,3,2,5] => [.,[[[.,.],.],[[[.,.],.],.]]] => [2,3,5,6,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,7,6,3,5,2] => [.,[[[.,.],.],[[[.,.],.],.]]] => [2,3,5,6,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,4,7,6,5,2,3] => [.,[[.,[.,.]],[[[.,.],.],.]]] => [3,2,5,6,7,4,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,4,7,6,5,3,2] => [.,[[[.,.],.],[[[.,.],.],.]]] => [2,3,5,6,7,4,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,2,3,4,6,7] => [.,[[.,[.,[.,.]]],[.,[.,.]]]] => [4,3,2,7,6,5,1] => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,5,2,3,4,7,6] => [.,[[.,[.,[.,.]]],[[.,.],.]]] => [4,3,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,3,6,4,7] => [.,[[.,[.,[.,.]]],[.,[.,.]]]] => [4,3,2,7,6,5,1] => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,5,2,3,6,7,4] => [.,[[.,[.,[.,.]]],[.,[.,.]]]] => [4,3,2,7,6,5,1] => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,5,2,3,7,4,6] => [.,[[.,[.,[.,.]]],[[.,.],.]]] => [4,3,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,3,7,6,4] => [.,[[.,[.,[.,.]]],[[.,.],.]]] => [4,3,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,4,3,6,7] => [.,[[.,[[.,.],.]],[.,[.,.]]]] => [3,4,2,7,6,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,4,3,7,6] => [.,[[.,[[.,.],.]],[[.,.],.]]] => [3,4,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5
[1,5,2,4,6,3,7] => [.,[[.,[[.,.],.]],[.,[.,.]]]] => [3,4,2,7,6,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,4,6,7,3] => [.,[[.,[[.,.],.]],[.,[.,.]]]] => [3,4,2,7,6,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,4,7,3,6] => [.,[[.,[[.,.],.]],[[.,.],.]]] => [3,4,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5
[1,5,2,4,7,6,3] => [.,[[.,[[.,.],.]],[[.,.],.]]] => [3,4,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5
[1,5,2,6,3,4,7] => [.,[[.,[.,[.,.]]],[.,[.,.]]]] => [4,3,2,7,6,5,1] => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,5,2,6,3,7,4] => [.,[[.,[.,[.,.]]],[.,[.,.]]]] => [4,3,2,7,6,5,1] => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,5,2,6,4,3,7] => [.,[[.,[[.,.],.]],[.,[.,.]]]] => [3,4,2,7,6,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,6,4,7,3] => [.,[[.,[[.,.],.]],[.,[.,.]]]] => [3,4,2,7,6,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,6,7,3,4] => [.,[[.,[.,[.,.]]],[.,[.,.]]]] => [4,3,2,7,6,5,1] => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,5,2,6,7,4,3] => [.,[[.,[[.,.],.]],[.,[.,.]]]] => [3,4,2,7,6,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,7,3,4,6] => [.,[[.,[.,[.,.]]],[[.,.],.]]] => [4,3,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,7,3,6,4] => [.,[[.,[.,[.,.]]],[[.,.],.]]] => [4,3,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,7,4,3,6] => [.,[[.,[[.,.],.]],[[.,.],.]]] => [3,4,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5
[1,5,2,7,4,6,3] => [.,[[.,[[.,.],.]],[[.,.],.]]] => [3,4,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5
[1,5,2,7,6,3,4] => [.,[[.,[.,[.,.]]],[[.,.],.]]] => [4,3,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,2,7,6,4,3] => [.,[[.,[[.,.],.]],[[.,.],.]]] => [3,4,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5
[1,5,3,2,4,6,7] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,2,4,7,6] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,2,6,4,7] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,2,6,7,4] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,2,7,4,6] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,2,7,6,4] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,4,2,6,7] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,4,2,7,6] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,4,6,2,7] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,4,6,7,2] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,4,7,2,6] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,4,7,6,2] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,6,2,4,7] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,6,2,7,4] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,6,4,2,7] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,6,4,7,2] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,6,7,2,4] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,6,7,4,2] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,3,7,2,4,6] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,7,2,6,4] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,7,4,2,6] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,7,4,6,2] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,7,6,2,4] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,3,7,6,4,2] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,2,3,6,7] => [.,[[[.,[.,.]],.],[.,[.,.]]]] => [3,2,4,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,4,2,3,7,6] => [.,[[[.,[.,.]],.],[[.,.],.]]] => [3,2,4,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,2,6,3,7] => [.,[[[.,[.,.]],.],[.,[.,.]]]] => [3,2,4,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,4,2,6,7,3] => [.,[[[.,[.,.]],.],[.,[.,.]]]] => [3,2,4,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,4,2,7,3,6] => [.,[[[.,[.,.]],.],[[.,.],.]]] => [3,2,4,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,2,7,6,3] => [.,[[[.,[.,.]],.],[[.,.],.]]] => [3,2,4,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,3,2,6,7] => [.,[[[[.,.],.],.],[.,[.,.]]]] => [2,3,4,7,6,5,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,3,2,7,6] => [.,[[[[.,.],.],.],[[.,.],.]]] => [2,3,4,6,7,5,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,5,4,3,6,2,7] => [.,[[[[.,.],.],.],[.,[.,.]]]] => [2,3,4,7,6,5,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,3,6,7,2] => [.,[[[[.,.],.],.],[.,[.,.]]]] => [2,3,4,7,6,5,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,3,7,2,6] => [.,[[[[.,.],.],.],[[.,.],.]]] => [2,3,4,6,7,5,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,5,4,3,7,6,2] => [.,[[[[.,.],.],.],[[.,.],.]]] => [2,3,4,6,7,5,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,5,4,6,2,3,7] => [.,[[[.,[.,.]],.],[.,[.,.]]]] => [3,2,4,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,4,6,2,7,3] => [.,[[[.,[.,.]],.],[.,[.,.]]]] => [3,2,4,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,4,6,3,2,7] => [.,[[[[.,.],.],.],[.,[.,.]]]] => [2,3,4,7,6,5,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,6,3,7,2] => [.,[[[[.,.],.],.],[.,[.,.]]]] => [2,3,4,7,6,5,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,6,7,2,3] => [.,[[[.,[.,.]],.],[.,[.,.]]]] => [3,2,4,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,4,6,7,3,2] => [.,[[[[.,.],.],.],[.,[.,.]]]] => [2,3,4,7,6,5,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,7,2,3,6] => [.,[[[.,[.,.]],.],[[.,.],.]]] => [3,2,4,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,7,2,6,3] => [.,[[[.,[.,.]],.],[[.,.],.]]] => [3,2,4,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,7,3,2,6] => [.,[[[[.,.],.],.],[[.,.],.]]] => [2,3,4,6,7,5,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,5,4,7,3,6,2] => [.,[[[[.,.],.],.],[[.,.],.]]] => [2,3,4,6,7,5,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,5,4,7,6,2,3] => [.,[[[.,[.,.]],.],[[.,.],.]]] => [3,2,4,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,4,7,6,3,2] => [.,[[[[.,.],.],.],[[.,.],.]]] => [2,3,4,6,7,5,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,5,6,2,3,4,7] => [.,[[.,[.,[.,.]]],[.,[.,.]]]] => [4,3,2,7,6,5,1] => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,5,6,2,3,7,4] => [.,[[.,[.,[.,.]]],[.,[.,.]]]] => [4,3,2,7,6,5,1] => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,5,6,2,4,3,7] => [.,[[.,[[.,.],.]],[.,[.,.]]]] => [3,4,2,7,6,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,6,2,4,7,3] => [.,[[.,[[.,.],.]],[.,[.,.]]]] => [3,4,2,7,6,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,6,2,7,3,4] => [.,[[.,[.,[.,.]]],[.,[.,.]]]] => [4,3,2,7,6,5,1] => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,5,6,2,7,4,3] => [.,[[.,[[.,.],.]],[.,[.,.]]]] => [3,4,2,7,6,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,6,3,2,4,7] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,3,2,7,4] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,3,4,2,7] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,3,4,7,2] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,3,7,2,4] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,3,7,4,2] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,4,2,3,7] => [.,[[[.,[.,.]],.],[.,[.,.]]]] => [3,2,4,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,4,2,7,3] => [.,[[[.,[.,.]],.],[.,[.,.]]]] => [3,2,4,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,4,3,2,7] => [.,[[[[.,.],.],.],[.,[.,.]]]] => [2,3,4,7,6,5,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,6,4,3,7,2] => [.,[[[[.,.],.],.],[.,[.,.]]]] => [2,3,4,7,6,5,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,6,4,7,2,3] => [.,[[[.,[.,.]],.],[.,[.,.]]]] => [3,2,4,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,4,7,3,2] => [.,[[[[.,.],.],.],[.,[.,.]]]] => [2,3,4,7,6,5,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,6,7,2,3,4] => [.,[[.,[.,[.,.]]],[.,[.,.]]]] => [4,3,2,7,6,5,1] => ([(0,4),(0,5),(0,6),(1,2),(1,3),(1,6),(2,3),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,5,6,7,2,4,3] => [.,[[.,[[.,.],.]],[.,[.,.]]]] => [3,4,2,7,6,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,6,7,3,2,4] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,7,3,4,2] => [.,[[[.,.],[.,.]],[.,[.,.]]]] => [2,4,3,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,7,4,2,3] => [.,[[[.,[.,.]],.],[.,[.,.]]]] => [3,2,4,7,6,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,5,6,7,4,3,2] => [.,[[[[.,.],.],.],[.,[.,.]]]] => [2,3,4,7,6,5,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,2,3,4,6] => [.,[[.,[.,[.,.]]],[[.,.],.]]] => [4,3,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,7,2,3,6,4] => [.,[[.,[.,[.,.]]],[[.,.],.]]] => [4,3,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,7,2,4,3,6] => [.,[[.,[[.,.],.]],[[.,.],.]]] => [3,4,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5
[1,5,7,2,4,6,3] => [.,[[.,[[.,.],.]],[[.,.],.]]] => [3,4,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5
[1,5,7,2,6,3,4] => [.,[[.,[.,[.,.]]],[[.,.],.]]] => [4,3,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,7,2,6,4,3] => [.,[[.,[[.,.],.]],[[.,.],.]]] => [3,4,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5
[1,5,7,3,2,4,6] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,3,2,6,4] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,3,4,2,6] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,3,4,6,2] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,3,6,2,4] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,3,6,4,2] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,4,2,3,6] => [.,[[[.,[.,.]],.],[[.,.],.]]] => [3,2,4,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,4,2,6,3] => [.,[[[.,[.,.]],.],[[.,.],.]]] => [3,2,4,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,4,3,2,6] => [.,[[[[.,.],.],.],[[.,.],.]]] => [2,3,4,6,7,5,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,5,7,4,3,6,2] => [.,[[[[.,.],.],.],[[.,.],.]]] => [2,3,4,6,7,5,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,5,7,4,6,2,3] => [.,[[[.,[.,.]],.],[[.,.],.]]] => [3,2,4,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,4,6,3,2] => [.,[[[[.,.],.],.],[[.,.],.]]] => [2,3,4,6,7,5,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,5,7,6,2,3,4] => [.,[[.,[.,[.,.]]],[[.,.],.]]] => [4,3,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,3),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 6
[1,5,7,6,2,4,3] => [.,[[.,[[.,.],.]],[[.,.],.]]] => [3,4,2,6,7,5,1] => ([(0,5),(0,6),(1,5),(1,6),(2,4),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 5
[1,5,7,6,3,2,4] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,6,3,4,2] => [.,[[[.,.],[.,.]],[[.,.],.]]] => [2,4,3,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,6,4,2,3] => [.,[[[.,[.,.]],.],[[.,.],.]]] => [3,2,4,6,7,5,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,5,7,6,4,3,2] => [.,[[[[.,.],.],.],[[.,.],.]]] => [2,3,4,6,7,5,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,6,2,3,4,5,7] => [.,[[.,[.,[.,[.,.]]]],[.,.]]] => [5,4,3,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,6,2,3,4,7,5] => [.,[[.,[.,[.,[.,.]]]],[.,.]]] => [5,4,3,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,6,2,3,5,4,7] => [.,[[.,[.,[[.,.],.]]],[.,.]]] => [4,5,3,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,6,2,3,5,7,4] => [.,[[.,[.,[[.,.],.]]],[.,.]]] => [4,5,3,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,6,2,3,7,4,5] => [.,[[.,[.,[.,[.,.]]]],[.,.]]] => [5,4,3,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,6,2,3,7,5,4] => [.,[[.,[.,[[.,.],.]]],[.,.]]] => [4,5,3,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,6,2,4,3,5,7] => [.,[[.,[[.,.],[.,.]]],[.,.]]] => [3,5,4,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,4,3,7,5] => [.,[[.,[[.,.],[.,.]]],[.,.]]] => [3,5,4,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,4,5,3,7] => [.,[[.,[[.,.],[.,.]]],[.,.]]] => [3,5,4,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,4,5,7,3] => [.,[[.,[[.,.],[.,.]]],[.,.]]] => [3,5,4,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,4,7,3,5] => [.,[[.,[[.,.],[.,.]]],[.,.]]] => [3,5,4,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,4,7,5,3] => [.,[[.,[[.,.],[.,.]]],[.,.]]] => [3,5,4,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,5,3,4,7] => [.,[[.,[[.,[.,.]],.]],[.,.]]] => [4,3,5,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,5,3,7,4] => [.,[[.,[[.,[.,.]],.]],[.,.]]] => [4,3,5,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,5,4,3,7] => [.,[[.,[[[.,.],.],.]],[.,.]]] => [3,4,5,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,2,5,4,7,3] => [.,[[.,[[[.,.],.],.]],[.,.]]] => [3,4,5,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,2,5,7,3,4] => [.,[[.,[[.,[.,.]],.]],[.,.]]] => [4,3,5,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,5,7,4,3] => [.,[[.,[[[.,.],.],.]],[.,.]]] => [3,4,5,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,2,7,3,4,5] => [.,[[.,[.,[.,[.,.]]]],[.,.]]] => [5,4,3,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,6,2,7,3,5,4] => [.,[[.,[.,[[.,.],.]]],[.,.]]] => [4,5,3,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,6,2,7,4,3,5] => [.,[[.,[[.,.],[.,.]]],[.,.]]] => [3,5,4,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,7,4,5,3] => [.,[[.,[[.,.],[.,.]]],[.,.]]] => [3,5,4,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,7,5,3,4] => [.,[[.,[[.,[.,.]],.]],[.,.]]] => [4,3,5,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,2,7,5,4,3] => [.,[[.,[[[.,.],.],.]],[.,.]]] => [3,4,5,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,2,4,5,7] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,2,4,7,5] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,2,5,4,7] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,2,5,7,4] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,2,7,4,5] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,2,7,5,4] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,4,2,5,7] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,4,2,7,5] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,4,5,2,7] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,4,5,7,2] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,4,7,2,5] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,4,7,5,2] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,5,2,4,7] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,5,2,7,4] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,5,4,2,7] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,5,4,7,2] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,5,7,2,4] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,5,7,4,2] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,7,2,4,5] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,7,2,5,4] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,7,4,2,5] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,7,4,5,2] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,3,7,5,2,4] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,3,7,5,4,2] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,4,2,3,5,7] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,2,3,7,5] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,2,5,3,7] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,2,5,7,3] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,2,7,3,5] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,2,7,5,3] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,3,2,5,7] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,4,3,2,7,5] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,4,3,5,2,7] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,4,3,5,7,2] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,4,3,7,2,5] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,4,3,7,5,2] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,4,5,2,3,7] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,5,2,7,3] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,5,3,2,7] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,4,5,3,7,2] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,4,5,7,2,3] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,5,7,3,2] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,4,7,2,3,5] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,7,2,5,3] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,7,3,2,5] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,4,7,3,5,2] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,4,7,5,2,3] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,4,7,5,3,2] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,2,3,4,7] => [.,[[[.,[.,[.,.]]],.],[.,.]]] => [4,3,2,5,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,5,2,3,7,4] => [.,[[[.,[.,[.,.]]],.],[.,.]]] => [4,3,2,5,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,5,2,4,3,7] => [.,[[[.,[[.,.],.]],.],[.,.]]] => [3,4,2,5,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,5,2,4,7,3] => [.,[[[.,[[.,.],.]],.],[.,.]]] => [3,4,2,5,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,5,2,7,3,4] => [.,[[[.,[.,[.,.]]],.],[.,.]]] => [4,3,2,5,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,5,2,7,4,3] => [.,[[[.,[[.,.],.]],.],[.,.]]] => [3,4,2,5,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,5,3,2,4,7] => [.,[[[[.,.],[.,.]],.],[.,.]]] => [2,4,3,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,3,2,7,4] => [.,[[[[.,.],[.,.]],.],[.,.]]] => [2,4,3,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,3,4,2,7] => [.,[[[[.,.],[.,.]],.],[.,.]]] => [2,4,3,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,3,4,7,2] => [.,[[[[.,.],[.,.]],.],[.,.]]] => [2,4,3,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,3,7,2,4] => [.,[[[[.,.],[.,.]],.],[.,.]]] => [2,4,3,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,3,7,4,2] => [.,[[[[.,.],[.,.]],.],[.,.]]] => [2,4,3,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,4,2,3,7] => [.,[[[[.,[.,.]],.],.],[.,.]]] => [3,2,4,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,4,2,7,3] => [.,[[[[.,[.,.]],.],.],[.,.]]] => [3,2,4,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,4,3,2,7] => [.,[[[[[.,.],.],.],.],[.,.]]] => [2,3,4,5,7,6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,6,5,4,3,7,2] => [.,[[[[[.,.],.],.],.],[.,.]]] => [2,3,4,5,7,6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,6,5,4,7,2,3] => [.,[[[[.,[.,.]],.],.],[.,.]]] => [3,2,4,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,4,7,3,2] => [.,[[[[[.,.],.],.],.],[.,.]]] => [2,3,4,5,7,6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,6,5,7,2,3,4] => [.,[[[.,[.,[.,.]]],.],[.,.]]] => [4,3,2,5,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,5,7,2,4,3] => [.,[[[.,[[.,.],.]],.],[.,.]]] => [3,4,2,5,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,5,7,3,2,4] => [.,[[[[.,.],[.,.]],.],[.,.]]] => [2,4,3,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,7,3,4,2] => [.,[[[[.,.],[.,.]],.],[.,.]]] => [2,4,3,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,7,4,2,3] => [.,[[[[.,[.,.]],.],.],[.,.]]] => [3,2,4,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,5,7,4,3,2] => [.,[[[[[.,.],.],.],.],[.,.]]] => [2,3,4,5,7,6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,6,7,2,3,4,5] => [.,[[.,[.,[.,[.,.]]]],[.,.]]] => [5,4,3,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,3),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 8
[1,6,7,2,3,5,4] => [.,[[.,[.,[[.,.],.]]],[.,.]]] => [4,5,3,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,6,7,2,4,3,5] => [.,[[.,[[.,.],[.,.]]],[.,.]]] => [3,5,4,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,7,2,4,5,3] => [.,[[.,[[.,.],[.,.]]],[.,.]]] => [3,5,4,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,7,2,5,3,4] => [.,[[.,[[.,[.,.]],.]],[.,.]]] => [4,3,5,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,6,7,2,5,4,3] => [.,[[.,[[[.,.],.],.]],[.,.]]] => [3,4,5,2,7,6,1] => ([(0,1),(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,7,3,2,4,5] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,7,3,2,5,4] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,7,3,4,2,5] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,7,3,4,5,2] => [.,[[[.,.],[.,[.,.]]],[.,.]]] => [2,5,4,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,7,3,5,2,4] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,7,3,5,4,2] => [.,[[[.,.],[[.,.],.]],[.,.]]] => [2,4,5,3,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,7,4,2,3,5] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,7,4,2,5,3] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,7,4,3,2,5] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,7,4,3,5,2] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,7,4,5,2,3] => [.,[[[.,[.,.]],[.,.]],[.,.]]] => [3,2,5,4,7,6,1] => ([(0,5),(0,6),(1,4),(1,6),(2,3),(2,6),(3,6),(4,6),(5,6)],7) => 4
[1,6,7,4,5,3,2] => [.,[[[[.,.],.],[.,.]],[.,.]]] => [2,3,5,4,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,7,5,2,3,4] => [.,[[[.,[.,[.,.]]],.],[.,.]]] => [4,3,2,5,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,6,7,5,2,4,3] => [.,[[[.,[[.,.],.]],.],[.,.]]] => [3,4,2,5,7,6,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,6,7,5,3,2,4] => [.,[[[[.,.],[.,.]],.],[.,.]]] => [2,4,3,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,7,5,3,4,2] => [.,[[[[.,.],[.,.]],.],[.,.]]] => [2,4,3,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,7,5,4,2,3] => [.,[[[[.,[.,.]],.],.],[.,.]]] => [3,2,4,5,7,6,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,6,7,5,4,3,2] => [.,[[[[[.,.],.],.],.],[.,.]]] => [2,3,4,5,7,6,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,7,2,3,4,5,6] => [.,[[.,[.,[.,[.,[.,.]]]]],.]] => [6,5,4,3,2,7,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) => 11
[1,7,2,3,4,6,5] => [.,[[.,[.,[.,[[.,.],.]]]],.]] => [5,6,4,3,2,7,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) => 10
[1,7,2,3,5,4,6] => [.,[[.,[.,[[.,.],[.,.]]]],.]] => [4,6,5,3,2,7,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) => 9
[1,7,2,3,5,6,4] => [.,[[.,[.,[[.,.],[.,.]]]],.]] => [4,6,5,3,2,7,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) => 9
[1,7,2,3,6,4,5] => [.,[[.,[.,[[.,[.,.]],.]]],.]] => [5,4,6,3,2,7,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) => 9
[1,7,2,3,6,5,4] => [.,[[.,[.,[[[.,.],.],.]]],.]] => [4,5,6,3,2,7,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) => 8
[1,7,2,4,3,5,6] => [.,[[.,[[.,.],[.,[.,.]]]],.]] => [3,6,5,4,2,7,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) => 8
[1,7,2,4,3,6,5] => [.,[[.,[[.,.],[[.,.],.]]],.]] => [3,5,6,4,2,7,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) => 7
[1,7,2,4,5,3,6] => [.,[[.,[[.,.],[.,[.,.]]]],.]] => [3,6,5,4,2,7,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) => 8
[1,7,2,4,5,6,3] => [.,[[.,[[.,.],[.,[.,.]]]],.]] => [3,6,5,4,2,7,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) => 8
[1,7,2,4,6,3,5] => [.,[[.,[[.,.],[[.,.],.]]],.]] => [3,5,6,4,2,7,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) => 7
[1,7,2,4,6,5,3] => [.,[[.,[[.,.],[[.,.],.]]],.]] => [3,5,6,4,2,7,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) => 7
[1,7,2,5,3,4,6] => [.,[[.,[[.,[.,.]],[.,.]]],.]] => [4,3,6,5,2,7,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,7,2,5,3,6,4] => [.,[[.,[[.,[.,.]],[.,.]]],.]] => [4,3,6,5,2,7,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,7,2,5,4,3,6] => [.,[[.,[[[.,.],.],[.,.]]],.]] => [3,4,6,5,2,7,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,7,2,5,4,6,3] => [.,[[.,[[[.,.],.],[.,.]]],.]] => [3,4,6,5,2,7,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,7,2,5,6,3,4] => [.,[[.,[[.,[.,.]],[.,.]]],.]] => [4,3,6,5,2,7,1] => ([(0,6),(1,4),(1,5),(1,6),(2,3),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 7
[1,7,2,5,6,4,3] => [.,[[.,[[[.,.],.],[.,.]]],.]] => [3,4,6,5,2,7,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,7,2,6,3,4,5] => [.,[[.,[[.,[.,[.,.]]],.]],.]] => [5,4,3,6,2,7,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) => 8
[1,7,2,6,3,5,4] => [.,[[.,[[.,[[.,.],.]],.]],.]] => [4,5,3,6,2,7,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) => 7
[1,7,2,6,4,3,5] => [.,[[.,[[[.,.],[.,.]],.]],.]] => [3,5,4,6,2,7,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,7,2,6,4,5,3] => [.,[[.,[[[.,.],[.,.]],.]],.]] => [3,5,4,6,2,7,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,7,2,6,5,3,4] => [.,[[.,[[[.,[.,.]],.],.]],.]] => [4,3,5,6,2,7,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,7,2,6,5,4,3] => [.,[[.,[[[[.,.],.],.],.]],.]] => [3,4,5,6,2,7,1] => ([(0,6),(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,2,4,5,6] => [.,[[[.,.],[.,[.,[.,.]]]],.]] => [2,6,5,4,3,7,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) => 7
[1,7,3,2,4,6,5] => [.,[[[.,.],[.,[[.,.],.]]],.]] => [2,5,6,4,3,7,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,7,3,2,5,4,6] => [.,[[[.,.],[[.,.],[.,.]]],.]] => [2,4,6,5,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,2,5,6,4] => [.,[[[.,.],[[.,.],[.,.]]],.]] => [2,4,6,5,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,2,6,4,5] => [.,[[[.,.],[[.,[.,.]],.]],.]] => [2,5,4,6,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,2,6,5,4] => [.,[[[.,.],[[[.,.],.],.]],.]] => [2,4,5,6,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,3,4,2,5,6] => [.,[[[.,.],[.,[.,[.,.]]]],.]] => [2,6,5,4,3,7,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) => 7
[1,7,3,4,2,6,5] => [.,[[[.,.],[.,[[.,.],.]]],.]] => [2,5,6,4,3,7,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,7,3,4,5,2,6] => [.,[[[.,.],[.,[.,[.,.]]]],.]] => [2,6,5,4,3,7,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) => 7
[1,7,3,4,5,6,2] => [.,[[[.,.],[.,[.,[.,.]]]],.]] => [2,6,5,4,3,7,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) => 7
[1,7,3,4,6,2,5] => [.,[[[.,.],[.,[[.,.],.]]],.]] => [2,5,6,4,3,7,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,7,3,4,6,5,2] => [.,[[[.,.],[.,[[.,.],.]]],.]] => [2,5,6,4,3,7,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,7,3,5,2,4,6] => [.,[[[.,.],[[.,.],[.,.]]],.]] => [2,4,6,5,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,5,2,6,4] => [.,[[[.,.],[[.,.],[.,.]]],.]] => [2,4,6,5,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,5,4,2,6] => [.,[[[.,.],[[.,.],[.,.]]],.]] => [2,4,6,5,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,5,4,6,2] => [.,[[[.,.],[[.,.],[.,.]]],.]] => [2,4,6,5,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,5,6,2,4] => [.,[[[.,.],[[.,.],[.,.]]],.]] => [2,4,6,5,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,5,6,4,2] => [.,[[[.,.],[[.,.],[.,.]]],.]] => [2,4,6,5,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,6,2,4,5] => [.,[[[.,.],[[.,[.,.]],.]],.]] => [2,5,4,6,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,6,2,5,4] => [.,[[[.,.],[[[.,.],.],.]],.]] => [2,4,5,6,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,3,6,4,2,5] => [.,[[[.,.],[[.,[.,.]],.]],.]] => [2,5,4,6,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,6,4,5,2] => [.,[[[.,.],[[.,[.,.]],.]],.]] => [2,5,4,6,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,3,6,5,2,4] => [.,[[[.,.],[[[.,.],.],.]],.]] => [2,4,5,6,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,3,6,5,4,2] => [.,[[[.,.],[[[.,.],.],.]],.]] => [2,4,5,6,3,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,2,3,5,6] => [.,[[[.,[.,.]],[.,[.,.]]],.]] => [3,2,6,5,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,4,2,3,6,5] => [.,[[[.,[.,.]],[[.,.],.]],.]] => [3,2,5,6,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,2,5,3,6] => [.,[[[.,[.,.]],[.,[.,.]]],.]] => [3,2,6,5,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,4,2,5,6,3] => [.,[[[.,[.,.]],[.,[.,.]]],.]] => [3,2,6,5,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,4,2,6,3,5] => [.,[[[.,[.,.]],[[.,.],.]],.]] => [3,2,5,6,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,2,6,5,3] => [.,[[[.,[.,.]],[[.,.],.]],.]] => [3,2,5,6,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,3,2,5,6] => [.,[[[[.,.],.],[.,[.,.]]],.]] => [2,3,6,5,4,7,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,3,2,6,5] => [.,[[[[.,.],.],[[.,.],.]],.]] => [2,3,5,6,4,7,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,7,4,3,5,2,6] => [.,[[[[.,.],.],[.,[.,.]]],.]] => [2,3,6,5,4,7,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,3,5,6,2] => [.,[[[[.,.],.],[.,[.,.]]],.]] => [2,3,6,5,4,7,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,3,6,2,5] => [.,[[[[.,.],.],[[.,.],.]],.]] => [2,3,5,6,4,7,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,7,4,3,6,5,2] => [.,[[[[.,.],.],[[.,.],.]],.]] => [2,3,5,6,4,7,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,7,4,5,2,3,6] => [.,[[[.,[.,.]],[.,[.,.]]],.]] => [3,2,6,5,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,4,5,2,6,3] => [.,[[[.,[.,.]],[.,[.,.]]],.]] => [3,2,6,5,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,4,5,3,2,6] => [.,[[[[.,.],.],[.,[.,.]]],.]] => [2,3,6,5,4,7,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,5,3,6,2] => [.,[[[[.,.],.],[.,[.,.]]],.]] => [2,3,6,5,4,7,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,5,6,2,3] => [.,[[[.,[.,.]],[.,[.,.]]],.]] => [3,2,6,5,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,4,5,6,3,2] => [.,[[[[.,.],.],[.,[.,.]]],.]] => [2,3,6,5,4,7,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,6,2,3,5] => [.,[[[.,[.,.]],[[.,.],.]],.]] => [3,2,5,6,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,6,2,5,3] => [.,[[[.,[.,.]],[[.,.],.]],.]] => [3,2,5,6,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,6,3,2,5] => [.,[[[[.,.],.],[[.,.],.]],.]] => [2,3,5,6,4,7,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,7,4,6,3,5,2] => [.,[[[[.,.],.],[[.,.],.]],.]] => [2,3,5,6,4,7,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,7,4,6,5,2,3] => [.,[[[.,[.,.]],[[.,.],.]],.]] => [3,2,5,6,4,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,4,6,5,3,2] => [.,[[[[.,.],.],[[.,.],.]],.]] => [2,3,5,6,4,7,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,7,5,2,3,4,6] => [.,[[[.,[.,[.,.]]],[.,.]],.]] => [4,3,2,6,5,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,5,2,3,6,4] => [.,[[[.,[.,[.,.]]],[.,.]],.]] => [4,3,2,6,5,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,5,2,4,3,6] => [.,[[[.,[[.,.],.]],[.,.]],.]] => [3,4,2,6,5,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,5,2,4,6,3] => [.,[[[.,[[.,.],.]],[.,.]],.]] => [3,4,2,6,5,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,5,2,6,3,4] => [.,[[[.,[.,[.,.]]],[.,.]],.]] => [4,3,2,6,5,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,5,2,6,4,3] => [.,[[[.,[[.,.],.]],[.,.]],.]] => [3,4,2,6,5,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,5,3,2,4,6] => [.,[[[[.,.],[.,.]],[.,.]],.]] => [2,4,3,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,3,2,6,4] => [.,[[[[.,.],[.,.]],[.,.]],.]] => [2,4,3,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,3,4,2,6] => [.,[[[[.,.],[.,.]],[.,.]],.]] => [2,4,3,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,3,4,6,2] => [.,[[[[.,.],[.,.]],[.,.]],.]] => [2,4,3,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,3,6,2,4] => [.,[[[[.,.],[.,.]],[.,.]],.]] => [2,4,3,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,3,6,4,2] => [.,[[[[.,.],[.,.]],[.,.]],.]] => [2,4,3,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,4,2,3,6] => [.,[[[[.,[.,.]],.],[.,.]],.]] => [3,2,4,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,4,2,6,3] => [.,[[[[.,[.,.]],.],[.,.]],.]] => [3,2,4,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,4,3,2,6] => [.,[[[[[.,.],.],.],[.,.]],.]] => [2,3,4,6,5,7,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,7,5,4,3,6,2] => [.,[[[[[.,.],.],.],[.,.]],.]] => [2,3,4,6,5,7,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,7,5,4,6,2,3] => [.,[[[[.,[.,.]],.],[.,.]],.]] => [3,2,4,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,4,6,3,2] => [.,[[[[[.,.],.],.],[.,.]],.]] => [2,3,4,6,5,7,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,7,5,6,2,3,4] => [.,[[[.,[.,[.,.]]],[.,.]],.]] => [4,3,2,6,5,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,5,6,2,4,3] => [.,[[[.,[[.,.],.]],[.,.]],.]] => [3,4,2,6,5,7,1] => ([(0,6),(1,2),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,5,6,3,2,4] => [.,[[[[.,.],[.,.]],[.,.]],.]] => [2,4,3,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,6,3,4,2] => [.,[[[[.,.],[.,.]],[.,.]],.]] => [2,4,3,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,6,4,2,3] => [.,[[[[.,[.,.]],.],[.,.]],.]] => [3,2,4,6,5,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,5,6,4,3,2] => [.,[[[[[.,.],.],.],[.,.]],.]] => [2,3,4,6,5,7,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,7,6,2,3,4,5] => [.,[[[.,[.,[.,[.,.]]]],.],.]] => [5,4,3,2,6,7,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) => 7
[1,7,6,2,3,5,4] => [.,[[[.,[.,[[.,.],.]]],.],.]] => [4,5,3,2,6,7,1] => ([(0,6),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 6
[1,7,6,2,4,3,5] => [.,[[[.,[[.,.],[.,.]]],.],.]] => [3,5,4,2,6,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,6,2,4,5,3] => [.,[[[.,[[.,.],[.,.]]],.],.]] => [3,5,4,2,6,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,6,2,5,3,4] => [.,[[[.,[[.,[.,.]],.]],.],.]] => [4,3,5,2,6,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 5
[1,7,6,2,5,4,3] => [.,[[[.,[[[.,.],.],.]],.],.]] => [3,4,5,2,6,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,6,3,2,4,5] => [.,[[[[.,.],[.,[.,.]]],.],.]] => [2,5,4,3,6,7,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,6,3,2,5,4] => [.,[[[[.,.],[[.,.],.]],.],.]] => [2,4,5,3,6,7,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,7,6,3,4,2,5] => [.,[[[[.,.],[.,[.,.]]],.],.]] => [2,5,4,3,6,7,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,6,3,4,5,2] => [.,[[[[.,.],[.,[.,.]]],.],.]] => [2,5,4,3,6,7,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,6,3,5,2,4] => [.,[[[[.,.],[[.,.],.]],.],.]] => [2,4,5,3,6,7,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,7,6,3,5,4,2] => [.,[[[[.,.],[[.,.],.]],.],.]] => [2,4,5,3,6,7,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,7,6,4,2,3,5] => [.,[[[[.,[.,.]],[.,.]],.],.]] => [3,2,5,4,6,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,6,4,2,5,3] => [.,[[[[.,[.,.]],[.,.]],.],.]] => [3,2,5,4,6,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,6,4,3,2,5] => [.,[[[[[.,.],.],[.,.]],.],.]] => [2,3,5,4,6,7,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,7,6,4,3,5,2] => [.,[[[[[.,.],.],[.,.]],.],.]] => [2,3,5,4,6,7,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,7,6,4,5,2,3] => [.,[[[[.,[.,.]],[.,.]],.],.]] => [3,2,5,4,6,7,1] => ([(0,6),(1,6),(2,5),(2,6),(3,4),(3,6),(4,6),(5,6)],7) => 3
[1,7,6,4,5,3,2] => [.,[[[[[.,.],.],[.,.]],.],.]] => [2,3,5,4,6,7,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,7,6,5,2,3,4] => [.,[[[[.,[.,[.,.]]],.],.],.]] => [4,3,2,5,6,7,1] => ([(0,6),(1,6),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 4
[1,7,6,5,2,4,3] => [.,[[[[.,[[.,.],.]],.],.],.]] => [3,4,2,5,6,7,1] => ([(0,6),(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => 3
[1,7,6,5,3,2,4] => [.,[[[[[.,.],[.,.]],.],.],.]] => [2,4,3,5,6,7,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,7,6,5,3,4,2] => [.,[[[[[.,.],[.,.]],.],.],.]] => [2,4,3,5,6,7,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,7,6,5,4,2,3] => [.,[[[[[.,[.,.]],.],.],.],.]] => [3,2,4,5,6,7,1] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => 2
[1,7,6,5,4,3,2] => [.,[[[[[[.,.],.],.],.],.],.]] => [2,3,4,5,6,7,1] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 1
search for individual values
searching the database for the individual values of this statistic
Description
The monochromatic index of a connected graph.
This is the maximal number of colours such that there is a colouring of the edges where any two vertices can be joined by a monochromatic path.
For example, a circle graph other than the triangle can be coloured with at most two colours: one edge blue, all the others red.
This is the maximal number of colours such that there is a colouring of the edges where any two vertices can be joined by a monochromatic path.
For example, a circle graph other than the triangle can be coloured with at most two colours: one edge blue, all the others red.
Map
binary search tree: left to right
Description
Return the shape of the binary search tree of the permutation as a non labelled binary tree.
Map
to 312-avoiding permutation
Description
Return a 312-avoiding permutation corresponding to a binary tree.
The linear extensions of a binary tree form an interval of the weak order called the Sylvester class of the tree. This permutation is the minimal element of this Sylvester class.
The linear extensions of a binary tree form an interval of the weak order called the Sylvester class of the tree. This permutation is the minimal element of this Sylvester class.
Map
graph of inversions
Description
The graph of inversions of a permutation.
For a permutation of $\{1,\dots,n\}$, this is the graph with vertices $\{1,\dots,n\}$, where $(i,j)$ is an edge if and only if it is an inversion of the permutation.
For a permutation of $\{1,\dots,n\}$, this is the graph with vertices $\{1,\dots,n\}$, where $(i,j)$ is an edge if and only if it is an inversion of the permutation.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!