- FindStat

Identifier

Mp00059: Permutations —Robinson-Schensted insertion tableau⟶ Standard tableaux
Mp00081: Standard tableaux —reading word permutation⟶ Permutations
Mp00208: Permutations —lattice of intervals⟶ Lattices
St001720: Lattices ⟶ ℤ

Values

[1] => [[1]] => [1] => ([(0,1)],2) => 2

[1,2] => [[1,2]] => [1,2] => ([(0,1),(0,2),(1,3),(2,3)],4) => 2

[2,1] => [[1],[2]] => [2,1] => ([(0,1),(0,2),(1,3),(2,3)],4) => 2

[1,2,3] => [[1,2,3]] => [1,2,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => 2

[1,3,2] => [[1,2],[3]] => [3,1,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) => 2

[2,1,3] => [[1,3],[2]] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) => 2

[2,3,1] => [[1,3],[2]] => [2,1,3] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) => 2

[3,1,2] => [[1,2],[3]] => [3,1,2] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(4,5)],6) => 2

[3,2,1] => [[1],[2],[3]] => [3,2,1] => ([(0,1),(0,2),(0,3),(1,5),(2,4),(3,4),(3,5),(4,6),(5,6)],7) => 2

[1,2,4,3] => [[1,2,3],[4]] => [4,1,2,3] => ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9) => 2

[1,3,2,4] => [[1,2,4],[3]] => [3,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) => 2

[1,3,4,2] => [[1,2,4],[3]] => [3,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) => 2

[1,4,2,3] => [[1,2,3],[4]] => [4,1,2,3] => ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9) => 2

[1,4,3,2] => [[1,2],[3],[4]] => [4,3,1,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9) => 2

[2,1,3,4] => [[1,3,4],[2]] => [2,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9) => 2

[2,1,4,3] => [[1,3],[2,4]] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6) => 2

[2,3,1,4] => [[1,3,4],[2]] => [2,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9) => 2

[2,3,4,1] => [[1,3,4],[2]] => [2,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9) => 2

[2,4,1,3] => [[1,3],[2,4]] => [2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,5),(4,5)],6) => 2

[2,4,3,1] => [[1,3],[2],[4]] => [4,2,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) => 2

[3,1,2,4] => [[1,2,4],[3]] => [3,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) => 2

[3,1,4,2] => [[1,2],[3,4]] => [3,4,1,2] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => 2

[3,2,1,4] => [[1,4],[2],[3]] => [3,2,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9) => 2

[3,2,4,1] => [[1,4],[2],[3]] => [3,2,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9) => 2

[3,4,1,2] => [[1,2],[3,4]] => [3,4,1,2] => ([(0,1),(0,2),(0,3),(0,4),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => 2

[3,4,2,1] => [[1,4],[2],[3]] => [3,2,1,4] => ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9) => 2

[4,1,2,3] => [[1,2,3],[4]] => [4,1,2,3] => ([(0,1),(0,2),(0,3),(0,4),(1,7),(2,6),(3,5),(4,5),(4,6),(5,8),(6,8),(8,7)],9) => 2

[4,1,3,2] => [[1,2],[3],[4]] => [4,3,1,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9) => 2

[4,2,1,3] => [[1,3],[2],[4]] => [4,2,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) => 2

[4,2,3,1] => [[1,3],[2],[4]] => [4,2,1,3] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,5),(3,6),(4,7),(5,7),(7,6)],8) => 2

[4,3,1,2] => [[1,2],[3],[4]] => [4,3,1,2] => ([(0,1),(0,2),(0,3),(0,4),(1,5),(2,6),(3,6),(4,5),(4,7),(5,8),(6,7),(7,8)],9) => 2

[1,3,2,5,4] => [[1,2,4],[3,5]] => [3,5,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[1,3,5,2,4] => [[1,2,4],[3,5]] => [3,5,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[2,1,3,5,4] => [[1,3,4],[2,5]] => [2,5,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[2,1,4,3,5] => [[1,3,5],[2,4]] => [2,4,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 2

[2,1,4,5,3] => [[1,3,5],[2,4]] => [2,4,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 2

[2,1,5,3,4] => [[1,3,4],[2,5]] => [2,5,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[2,1,5,4,3] => [[1,3],[2,4],[5]] => [5,2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 2

[2,3,1,5,4] => [[1,3,4],[2,5]] => [2,5,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[2,3,5,1,4] => [[1,3,4],[2,5]] => [2,5,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[2,4,1,3,5] => [[1,3,5],[2,4]] => [2,4,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 2

[2,4,1,5,3] => [[1,3,5],[2,4]] => [2,4,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 2

[2,4,5,1,3] => [[1,3,5],[2,4]] => [2,4,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 2

[2,5,1,3,4] => [[1,3,4],[2,5]] => [2,5,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[2,5,1,4,3] => [[1,3],[2,4],[5]] => [5,2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 2

[2,5,4,1,3] => [[1,3],[2,4],[5]] => [5,2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 2

[3,1,2,5,4] => [[1,2,4],[3,5]] => [3,5,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[3,1,5,2,4] => [[1,2,4],[3,5]] => [3,5,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[3,2,1,5,4] => [[1,4],[2,5],[3]] => [3,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[3,2,5,1,4] => [[1,4],[2,5],[3]] => [3,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[3,2,5,4,1] => [[1,4],[2,5],[3]] => [3,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[3,5,1,2,4] => [[1,2,4],[3,5]] => [3,5,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[3,5,2,1,4] => [[1,4],[2,5],[3]] => [3,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[3,5,2,4,1] => [[1,4],[2,5],[3]] => [3,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,6),(5,6),(6,7)],8) => 2

[4,2,1,5,3] => [[1,3],[2,5],[4]] => [4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 2

[4,2,5,1,3] => [[1,3],[2,5],[4]] => [4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 2

[4,2,5,3,1] => [[1,3],[2,5],[4]] => [4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 2

[4,5,2,1,3] => [[1,3],[2,5],[4]] => [4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 2

[4,5,2,3,1] => [[1,3],[2,5],[4]] => [4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => 2

[5,2,1,4,3] => [[1,3],[2,4],[5]] => [5,2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 2

[5,2,4,1,3] => [[1,3],[2,4],[5]] => [5,2,4,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,7),(2,7),(3,7),(4,7),(5,6),(7,6)],8) => 2

[1,5,3,2,6,4] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[1,5,3,6,2,4] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[1,5,3,6,4,2] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[1,5,6,3,2,4] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[1,5,6,3,4,2] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[2,1,4,3,6,5] => [[1,3,5],[2,4,6]] => [2,4,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[2,1,4,6,3,5] => [[1,3,5],[2,4,6]] => [2,4,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[2,4,1,3,6,5] => [[1,3,5],[2,4,6]] => [2,4,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[2,4,1,6,3,5] => [[1,3,5],[2,4,6]] => [2,4,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[2,4,3,1,6,5] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[2,4,3,6,1,5] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[2,4,3,6,5,1] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[2,4,6,1,3,5] => [[1,3,5],[2,4,6]] => [2,4,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[2,4,6,3,1,5] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[2,4,6,3,5,1] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[2,5,3,1,6,4] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[2,5,3,6,1,4] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[2,5,3,6,4,1] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[2,5,6,3,1,4] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[2,5,6,3,4,1] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[3,2,1,6,5,4] => [[1,4],[2,5],[3,6]] => [3,6,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[3,2,6,1,5,4] => [[1,4],[2,5],[3,6]] => [3,6,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[3,2,6,5,1,4] => [[1,4],[2,5],[3,6]] => [3,6,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[3,6,2,1,5,4] => [[1,4],[2,5],[3,6]] => [3,6,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[3,6,2,5,1,4] => [[1,4],[2,5],[3,6]] => [3,6,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,2,1,3,6,5] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,2,1,5,3,6] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,2,1,5,6,3] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,2,1,6,3,5] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,2,1,6,5,3] => [[1,3],[2,5],[4,6]] => [4,6,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,2,3,1,6,5] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,2,3,6,1,5] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,2,3,6,5,1] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,2,5,1,3,6] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,2,5,1,6,3] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,2,5,3,1,6] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,2,5,3,6,1] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,2,5,6,1,3] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,2,5,6,3,1] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,2,6,1,3,5] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

>>> Load all 370 entries. <<<

[4,2,6,1,5,3] => [[1,3],[2,5],[4,6]] => [4,6,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,2,6,3,1,5] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,2,6,3,5,1] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,2,6,5,1,3] => [[1,3],[2,5],[4,6]] => [4,6,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,2,6,5,3,1] => [[1,3],[2,5],[4],[6]] => [6,4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,5,2,1,3,6] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,5,2,1,6,3] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,5,2,3,1,6] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,5,2,3,6,1] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,5,2,6,1,3] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,5,2,6,3,1] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,5,6,2,1,3] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,5,6,2,3,1] => [[1,3,6],[2,5],[4]] => [4,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,6,2,1,3,5] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,6,2,1,5,3] => [[1,3],[2,5],[4,6]] => [4,6,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,6,2,3,1,5] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,6,2,3,5,1] => [[1,3,5],[2,6],[4]] => [4,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,6,2,5,1,3] => [[1,3],[2,5],[4,6]] => [4,6,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => 2

[4,6,2,5,3,1] => [[1,3],[2,5],[4],[6]] => [6,4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,6,5,2,1,3] => [[1,3],[2,5],[4],[6]] => [6,4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[4,6,5,2,3,1] => [[1,3],[2,5],[4],[6]] => [6,4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[5,1,3,2,6,4] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,1,3,6,2,4] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,1,3,6,4,2] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,1,6,3,2,4] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,1,6,3,4,2] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,2,1,3,6,4] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,2,1,6,3,4] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,2,3,1,6,4] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,2,3,6,1,4] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,2,3,6,4,1] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,2,6,1,3,4] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,2,6,3,1,4] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,2,6,3,4,1] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,2,6,4,3,1] => [[1,3],[2,6],[4],[5]] => [5,4,2,6,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,3,1,2,6,4] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,3,1,6,2,4] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,3,2,1,6,4] => [[1,4],[2,6],[3],[5]] => [5,3,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,3,2,6,1,4] => [[1,4],[2,6],[3],[5]] => [5,3,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,3,2,6,4,1] => [[1,4],[2,6],[3],[5]] => [5,3,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,3,6,1,2,4] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,3,6,2,1,4] => [[1,4],[2,6],[3],[5]] => [5,3,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,3,6,2,4,1] => [[1,4],[2,6],[3],[5]] => [5,3,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,3,6,4,2,1] => [[1,4],[2,6],[3],[5]] => [5,3,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,4,2,1,6,3] => [[1,3],[2,6],[4],[5]] => [5,4,2,6,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,4,2,6,1,3] => [[1,3],[2,6],[4],[5]] => [5,4,2,6,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,4,2,6,3,1] => [[1,3],[2,6],[4],[5]] => [5,4,2,6,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,4,6,2,1,3] => [[1,3],[2,6],[4],[5]] => [5,4,2,6,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,4,6,2,3,1] => [[1,3],[2,6],[4],[5]] => [5,4,2,6,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,1,3,2,4] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,1,3,4,2] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,2,1,3,4] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,2,3,1,4] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,2,3,4,1] => [[1,3,4],[2,6],[5]] => [5,2,6,1,3,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,2,4,3,1] => [[1,3],[2,6],[4],[5]] => [5,4,2,6,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,3,1,2,4] => [[1,2,4],[3,6],[5]] => [5,3,6,1,2,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,3,2,1,4] => [[1,4],[2,6],[3],[5]] => [5,3,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,3,2,4,1] => [[1,4],[2,6],[3],[5]] => [5,3,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,3,4,2,1] => [[1,4],[2,6],[3],[5]] => [5,3,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,4,2,1,3] => [[1,3],[2,6],[4],[5]] => [5,4,2,6,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[5,6,4,2,3,1] => [[1,3],[2,6],[4],[5]] => [5,4,2,6,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,7),(6,7),(7,8)],9) => 2

[6,4,2,1,5,3] => [[1,3],[2,5],[4],[6]] => [6,4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[6,4,2,5,1,3] => [[1,3],[2,5],[4],[6]] => [6,4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[6,4,2,5,3,1] => [[1,3],[2,5],[4],[6]] => [6,4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[6,4,5,2,1,3] => [[1,3],[2,5],[4],[6]] => [6,4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[6,4,5,2,3,1] => [[1,3],[2,5],[4],[6]] => [6,4,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,8),(2,8),(3,8),(4,8),(5,8),(6,7),(8,7)],9) => 2

[2,1,5,4,3,7,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,1,5,4,7,3,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,1,5,4,7,6,3] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,1,5,7,4,3,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,1,5,7,4,6,3] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,1,6,4,3,7,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,1,6,4,7,3,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,1,6,4,7,5,3] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,1,6,7,4,3,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,1,6,7,4,5,3] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,4,3,1,7,6,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,4,3,7,1,6,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,4,3,7,6,1,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,4,7,3,1,6,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,4,7,3,6,1,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,5,1,4,3,7,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,5,1,4,7,3,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,5,1,4,7,6,3] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,5,1,7,4,3,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,5,1,7,4,6,3] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,5,4,1,3,7,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,5,4,1,7,3,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,5,4,7,1,3,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,5,7,1,4,3,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,5,7,1,4,6,3] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,5,7,4,1,3,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,1,4,3,7,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,1,4,7,3,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,1,4,7,5,3] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,1,7,4,3,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,1,7,4,5,3] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,4,1,3,7,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,4,1,7,3,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,4,3,1,7,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,4,3,7,1,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,4,3,7,5,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,4,7,1,3,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,4,7,3,1,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,4,7,3,5,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,4,7,5,3,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,7,1,4,3,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,7,1,4,5,3] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,7,4,1,3,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,7,4,3,1,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,7,4,3,5,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[2,6,7,4,5,3,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,2,1,5,7,6,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,2,1,7,5,4,6] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,2,1,7,5,6,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,2,5,1,7,6,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,2,5,7,1,6,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,2,5,7,6,1,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,2,7,1,5,4,6] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,2,7,1,5,6,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,2,7,5,1,4,6] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,2,7,5,1,6,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,2,7,5,6,1,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,5,2,1,7,6,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,5,2,7,1,6,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,5,2,7,6,1,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,5,7,2,1,6,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,5,7,2,6,1,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,7,2,1,5,4,6] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,7,2,1,5,6,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,7,2,5,1,4,6] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,7,2,5,1,6,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[3,7,2,5,6,1,4] => [[1,4,6],[2,5],[3,7]] => [3,7,2,5,1,4,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,1,3,7,6,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,1,5,3,7,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,1,5,7,3,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,1,5,7,6,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,1,7,3,6,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,1,7,5,3,6] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,1,7,5,6,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,1,7,6,3,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,3,1,7,6,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,3,7,1,6,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,3,7,6,1,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,5,1,3,7,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,5,1,7,3,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,5,1,7,6,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,5,3,1,7,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,5,3,7,1,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,5,3,7,6,1] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,5,7,1,3,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,5,7,1,6,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,5,7,3,1,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,5,7,3,6,1] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,5,7,6,1,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,7,1,3,6,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,7,1,5,3,6] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,7,1,5,6,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,7,1,6,3,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,7,3,1,6,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,7,3,6,1,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,7,5,1,3,6] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,7,5,1,6,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,7,5,6,1,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,2,7,6,1,3,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,2,1,3,7,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,2,1,7,3,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,2,1,7,6,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,2,3,1,7,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,2,3,7,1,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,2,3,7,6,1] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,2,7,1,3,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,2,7,1,6,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,2,7,3,1,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,2,7,3,6,1] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,2,7,6,1,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,7,2,1,3,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,7,2,1,6,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,7,2,3,1,6] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,7,2,3,6,1] => [[1,3,6],[2,5,7],[4]] => [4,2,5,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,5,7,2,6,1,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,7,2,1,3,6,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,7,2,1,5,3,6] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,7,2,1,5,6,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,7,2,1,6,3,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,7,2,3,1,6,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,7,2,3,6,1,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,7,2,5,1,3,6] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,7,2,5,1,6,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,7,2,5,6,1,3] => [[1,3,6],[2,5],[4,7]] => [4,7,2,5,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[4,7,2,6,1,3,5] => [[1,3,5],[2,6],[4,7]] => [4,7,2,6,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,2,1,4,3,7,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,2,1,4,7,3,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,2,4,1,3,7,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,2,4,1,7,3,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,2,4,7,1,3,6] => [[1,3,6],[2,4,7],[5]] => [5,2,4,7,1,3,6] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,3,2,1,7,6,4] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,3,2,7,1,6,4] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,3,2,7,6,1,4] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,3,2,7,6,4,1] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,3,7,2,1,6,4] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,3,7,2,6,1,4] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,3,7,2,6,4,1] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,3,7,6,2,1,4] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,3,7,6,2,4,1] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,7,3,2,1,6,4] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,7,3,2,6,1,4] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,7,3,2,6,4,1] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,7,3,6,2,1,4] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[5,7,3,6,2,4,1] => [[1,4],[2,6],[3,7],[5]] => [5,3,7,2,6,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,1,4,3,7,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,1,4,7,3,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,4,1,3,7,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,4,1,7,3,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,4,3,1,7,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,4,3,7,1,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,4,3,7,5,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,4,7,1,3,5] => [[1,3,5],[2,4,7],[6]] => [6,2,4,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,4,7,3,1,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,4,7,3,5,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,4,7,5,3,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,7,4,3,1,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,7,4,3,5,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,2,7,4,5,3,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,3,2,1,7,5,4] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,3,2,7,1,5,4] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,3,2,7,5,1,4] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,3,2,7,5,4,1] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,3,7,2,1,5,4] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,3,7,2,5,1,4] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,3,7,2,5,4,1] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,3,7,5,2,1,4] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,3,7,5,2,4,1] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,1,3,7,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,1,7,3,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,1,7,5,3] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,3,1,7,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,3,7,1,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,3,7,5,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,7,1,3,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,7,1,5,3] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,7,3,1,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,7,3,5,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,7,5,1,3] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,2,7,5,3,1] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,7,2,1,3,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,7,2,1,5,3] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,7,2,3,1,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,7,2,3,5,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,7,2,5,1,3] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,7,2,5,3,1] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,7,5,2,1,3] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,4,7,5,2,3,1] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,2,4,3,1,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,2,4,3,5,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,2,4,5,3,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,3,2,1,5,4] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,3,2,5,1,4] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,3,2,5,4,1] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,3,5,2,1,4] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,3,5,2,4,1] => [[1,4],[2,5],[3,7],[6]] => [6,3,7,2,5,1,4] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,4,2,1,3,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,4,2,1,5,3] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,4,2,3,1,5] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,4,2,3,5,1] => [[1,3,5],[2,7],[4],[6]] => [6,4,2,7,1,3,5] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,4,2,5,1,3] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,4,2,5,3,1] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,4,5,2,1,3] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

[6,7,4,5,2,3,1] => [[1,3],[2,5],[4,7],[6]] => [6,4,7,2,5,1,3] => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,8),(2,8),(3,8),(4,8),(5,8),(6,8),(7,8)],9) => 2

search for individual values

searching the database for the individual values of this statistic

/ search for generating function

searching the database for statistics with the same generating function

click to show known generating functions

Description

The minimal length of a chain of small intervals in a lattice.
An interval $[a, b]$ is small if $b$ is a join of elements covering $a$.

Map

lattice of intervals

Description

The lattice of intervals of a permutation.
An interval of a permutation $\pi$ is a possibly empty interval of values that appear in consecutive positions of $\pi$. The lattice of intervals of $\pi$ has as elements the intervals of $\pi$, ordered by set inclusion.

Map

reading word permutation

Description

Return the permutation obtained by reading the entries of the tableau row by row, starting with the bottom-most row in English notation.

Map

Robinson-Schensted insertion tableau

Description

Sends a permutation to its Robinson-Schensted insertion tableau.
The Robinson-Schensted corrspondence is a bijection between permutations of length $n$ and pairs of standard Young tableaux of the same shape and of size $n$, see [1]. These two tableaux are the insertion tableau and the recording tableau.
This map sends a permutation to its corresponding insertion tableau.