Your data matches 3 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Matching statistic: St000772
Mapping
Mp00223: Permutations —runsort⟶ Permutations
Mp00175: Permutations —inverse Foata bijection⟶ Permutations
Mp00160: Permutations —graph of inversions⟶ Graphs
St000772: Graphs ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[1] => [1] => [1] => ([],1)
 => 1
[1,3,2] => [1,3,2] => [3,1,2] => ([(0,2),(1,2)],3)
 => 1
[2,1,3] => [1,3,2] => [3,1,2] => ([(0,2),(1,2)],3)
 => 1
[1,2,4,3] => [1,2,4,3] => [4,1,2,3] => ([(0,3),(1,3),(2,3)],4)
 => 2
[1,3,4,2] => [1,3,4,2] => [3,4,1,2] => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 2
[2,1,3,4] => [1,3,4,2] => [3,4,1,2] => ([(0,2),(0,3),(1,2),(1,3)],4)
 => 2
[2,4,3,1] => [1,2,4,3] => [4,1,2,3] => ([(0,3),(1,3),(2,3)],4)
 => 2
[3,1,2,4] => [1,2,4,3] => [4,1,2,3] => ([(0,3),(1,3),(2,3)],4)
 => 2
[3,2,4,1] => [1,2,4,3] => [4,1,2,3] => ([(0,3),(1,3),(2,3)],4)
 => 2
[1,2,3,5,4] => [1,2,3,5,4] => [5,1,2,3,4] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 3
[1,2,4,5,3] => [1,2,4,5,3] => [4,5,1,2,3] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 2
[1,3,2,5,4] => [1,3,2,5,4] => [3,5,1,2,4] => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1
[1,3,4,5,2] => [1,3,4,5,2] => [3,4,5,1,2] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 2
[1,3,5,2,4] => [1,3,5,2,4] => [5,3,1,2,4] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[1,3,5,4,2] => [1,3,5,2,4] => [5,3,1,2,4] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[1,4,5,2,3] => [1,4,5,2,3] => [4,1,5,2,3] => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1
[1,4,5,3,2] => [1,4,5,2,3] => [4,1,5,2,3] => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1
[1,5,2,4,3] => [1,5,2,4,3] => [5,1,4,2,3] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[1,5,3,2,4] => [1,5,2,4,3] => [5,1,4,2,3] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[2,1,3,4,5] => [1,3,4,5,2] => [3,4,5,1,2] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 2
[2,1,3,5,4] => [1,3,5,2,4] => [5,3,1,2,4] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[2,1,4,5,3] => [1,4,5,2,3] => [4,1,5,2,3] => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1
[2,3,1,4,5] => [1,4,5,2,3] => [4,1,5,2,3] => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1
[2,3,5,4,1] => [1,2,3,5,4] => [5,1,2,3,4] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 3
[2,4,1,3,5] => [1,3,5,2,4] => [5,3,1,2,4] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[2,4,1,5,3] => [1,5,2,4,3] => [5,1,4,2,3] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[2,4,3,1,5] => [1,5,2,4,3] => [5,1,4,2,3] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[2,4,5,3,1] => [1,2,4,5,3] => [4,5,1,2,3] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 2
[2,5,4,1,3] => [1,3,2,5,4] => [3,5,1,2,4] => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1
[3,1,2,4,5] => [1,2,4,5,3] => [4,5,1,2,3] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 2
[3,1,4,5,2] => [1,4,5,2,3] => [4,1,5,2,3] => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1
[3,1,5,2,4] => [1,5,2,4,3] => [5,1,4,2,3] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[3,2,1,4,5] => [1,4,5,2,3] => [4,1,5,2,3] => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1
[3,2,4,1,5] => [1,5,2,4,3] => [5,1,4,2,3] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[3,2,4,5,1] => [1,2,4,5,3] => [4,5,1,2,3] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4)],5)
 => 2
[3,5,4,1,2] => [1,2,3,5,4] => [5,1,2,3,4] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 3
[3,5,4,2,1] => [1,2,3,5,4] => [5,1,2,3,4] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 3
[4,1,2,3,5] => [1,2,3,5,4] => [5,1,2,3,4] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 3
[4,1,3,2,5] => [1,3,2,5,4] => [3,5,1,2,4] => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1
[4,1,3,5,2] => [1,3,5,2,4] => [5,3,1,2,4] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[4,2,1,3,5] => [1,3,5,2,4] => [5,3,1,2,4] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => 1
[4,2,3,5,1] => [1,2,3,5,4] => [5,1,2,3,4] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 3
[4,2,5,1,3] => [1,3,2,5,4] => [3,5,1,2,4] => ([(0,4),(1,2),(1,3),(2,4),(3,4)],5)
 => 1
[4,3,5,1,2] => [1,2,3,5,4] => [5,1,2,3,4] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 3
[4,3,5,2,1] => [1,2,3,5,4] => [5,1,2,3,4] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => 3
[1,2,3,4,6,5] => [1,2,3,4,6,5] => [6,1,2,3,4,5] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => 4
[1,2,3,5,6,4] => [1,2,3,5,6,4] => [5,6,1,2,3,4] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => 3
[1,2,4,3,6,5] => [1,2,4,3,6,5] => [4,6,1,2,3,5] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)
 => 1
[1,2,4,5,6,3] => [1,2,4,5,6,3] => [4,5,6,1,2,3] => ([(0,3),(0,4),(0,5),(1,3),(1,4),(1,5),(2,3),(2,4),(2,5)],6)
 => 4
[1,2,4,6,3,5] => [1,2,4,6,3,5] => [6,4,1,2,3,5] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => 1
Description
The multiplicity of the largest distance Laplacian eigenvalue in a connected graph. The distance Laplacian of a graph is the (symmetric) matrix with row and column sums $0$, which has the negative distances between two vertices as its off-diagonal entries. This statistic is the largest multiplicity of an eigenvalue. For example, the cycle on four vertices has distance Laplacian $$ \left(\begin{array}{rrrr} 4 & -1 & -2 & -1 \\ -1 & 4 & -1 & -2 \\ -2 & -1 & 4 & -1 \\ -1 & -2 & -1 & 4 \end{array}\right). $$ Its eigenvalues are $0,4,4,6$, so the statistic is $1$. The path on four vertices has eigenvalues $0, 4.7\dots, 6, 9.2\dots$ and therefore also statistic $1$. The graphs with statistic $n-1$, $n-2$ and $n-3$ have been characterised, see [1].
Matching statistic: St001630
(load all 3 compositions to match this statistic)
Mapping
Mp00071: Permutations —descent composition⟶ Integer compositions
Mp00184: Integer compositions —to threshold graph⟶ Graphs
Mp00266: Graphs —connected vertex partitions⟶ Lattices
St001630: Lattices ⟶ ℤResult quality: 2% ●values known / values provided: 2%●distinct values known / distinct values provided: 20%
Values
[1] => [1] => ([],1)
 => ([],1)
 => ? = 1 + 1
[1,3,2] => [2,1] => ([(0,2),(1,2)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,1,3] => [1,2] => ([(1,2)],3)
 => ([(0,1)],2)
 => ? = 1 + 1
[1,2,4,3] => [3,1] => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 2 + 1
[1,3,4,2] => [3,1] => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 2 + 1
[2,1,3,4] => [1,3] => ([(2,3)],4)
 => ([(0,1)],2)
 => ? = 2 + 1
[2,4,3,1] => [2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
 => ? = 2 + 1
[3,1,2,4] => [1,3] => ([(2,3)],4)
 => ([(0,1)],2)
 => ? = 2 + 1
[3,2,4,1] => [1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 2 + 1
[1,2,3,5,4] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 3 + 1
[1,2,4,5,3] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 2 + 1
[1,3,2,5,4] => [2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
 => ? = 1 + 1
[1,3,4,5,2] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 2 + 1
[1,3,5,2,4] => [3,2] => ([(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 1 + 1
[1,3,5,4,2] => [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
 => ? = 1 + 1
[1,4,5,2,3] => [3,2] => ([(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 1 + 1
[1,4,5,3,2] => [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
 => ? = 1 + 1
[1,5,2,4,3] => [2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
 => ? = 1 + 1
[1,5,3,2,4] => [2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
 => ? = 1 + 1
[2,1,3,4,5] => [1,4] => ([(3,4)],5)
 => ([(0,1)],2)
 => ? = 2 + 1
[2,1,3,5,4] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 1 + 1
[2,1,4,5,3] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 1 + 1
[2,3,1,4,5] => [2,3] => ([(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,3,5,4,1] => [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
 => ? = 3 + 1
[2,4,1,3,5] => [2,3] => ([(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,4,1,5,3] => [2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
 => ? = 1 + 1
[2,4,3,1,5] => [2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
 => ? = 1 + 1
[2,4,5,3,1] => [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
 => ? = 2 + 1
[2,5,4,1,3] => [2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
 => ? = 1 + 1
[3,1,2,4,5] => [1,4] => ([(3,4)],5)
 => ([(0,1)],2)
 => ? = 2 + 1
[3,1,4,5,2] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 1 + 1
[3,1,5,2,4] => [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 1 + 1
[3,2,1,4,5] => [1,1,3] => ([(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[3,2,4,1,5] => [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 1 + 1
[3,2,4,5,1] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 2 + 1
[3,5,4,1,2] => [2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
 => ? = 3 + 1
[3,5,4,2,1] => [2,1,1,1] => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,12),(1,15),(1,28),(1,31),(1,34),(2,11),(2,14),(2,28),(2,30),(2,33),(3,10),(3,13),(3,28),(3,29),(3,32),(4,10),(4,16),(4,19),(4,21),(4,30),(4,31),(5,11),(5,17),(5,20),(5,22),(5,29),(5,31),(6,12),(6,18),(6,23),(6,24),(6,29),(6,30),(7,13),(7,16),(7,20),(7,23),(7,33),(7,34),(8,14),(8,17),(8,19),(8,24),(8,32),(8,34),(9,15),(9,18),(9,21),(9,22),(9,32),(9,33),(10,25),(10,35),(10,45),(11,26),(11,36),(11,45),(12,27),(12,37),(12,45),(13,25),(13,38),(13,44),(14,26),(14,39),(14,44),(15,27),(15,40),(15,44),(16,25),(16,42),(16,43),(17,26),(17,41),(17,43),(18,27),(18,41),(18,42),(19,35),(19,39),(19,43),(20,36),(20,38),(20,43),(21,35),(21,40),(21,42),(22,36),(22,40),(22,41),(23,37),(23,38),(23,42),(24,37),(24,39),(24,41),(25,46),(26,46),(27,46),(28,44),(28,45),(29,38),(29,41),(29,45),(30,39),(30,42),(30,45),(31,40),(31,43),(31,45),(32,35),(32,41),(32,44),(33,36),(33,42),(33,44),(34,37),(34,43),(34,44),(35,46),(36,46),(37,46),(38,46),(39,46),(40,46),(41,46),(42,46),(43,46),(44,46),(45,46)],47)
 => ? = 3 + 1
[4,1,2,3,5] => [1,4] => ([(3,4)],5)
 => ([(0,1)],2)
 => ? = 3 + 1
[4,1,3,2,5] => [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 1 + 1
[4,1,3,5,2] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 1 + 1
[4,2,1,3,5] => [1,1,3] => ([(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[4,2,3,5,1] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 3 + 1
[4,2,5,1,3] => [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 1 + 1
[4,3,5,1,2] => [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 3 + 1
[4,3,5,2,1] => [1,2,1,1] => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(1,26),(1,27),(1,28),(2,9),(2,10),(2,11),(2,29),(2,30),(3,13),(3,17),(3,21),(3,28),(3,30),(4,12),(4,16),(4,21),(4,27),(4,29),(5,15),(5,18),(5,20),(5,27),(5,30),(6,14),(6,19),(6,20),(6,28),(6,29),(7,11),(7,16),(7,17),(7,18),(7,19),(7,26),(8,10),(8,12),(8,13),(8,14),(8,15),(8,26),(9,35),(9,38),(10,31),(10,32),(10,35),(11,33),(11,34),(11,35),(12,22),(12,31),(12,36),(13,22),(13,32),(13,37),(14,23),(14,31),(14,37),(15,23),(15,32),(15,36),(16,24),(16,33),(16,36),(17,24),(17,34),(17,37),(18,25),(18,34),(18,36),(19,25),(19,33),(19,37),(20,23),(20,25),(20,38),(21,22),(21,24),(21,38),(22,39),(23,39),(24,39),(25,39),(26,35),(26,36),(26,37),(27,36),(27,38),(28,37),(28,38),(29,31),(29,33),(29,38),(30,32),(30,34),(30,38),(31,39),(32,39),(33,39),(34,39),(35,39),(36,39),(37,39),(38,39)],40)
 => ? = 3 + 1
[1,2,3,4,6,5] => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 4 + 1
[1,2,3,5,6,4] => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 3 + 1
[1,2,4,3,6,5] => [3,2,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(1,22),(1,23),(1,24),(1,25),(1,26),(1,27),(2,11),(2,15),(2,20),(2,21),(2,23),(2,50),(3,10),(3,14),(3,18),(3,19),(3,22),(3,50),(4,13),(4,17),(4,19),(4,21),(4,25),(4,49),(5,12),(5,16),(5,18),(5,20),(5,24),(5,49),(6,14),(6,15),(6,16),(6,17),(6,27),(6,48),(7,10),(7,11),(7,12),(7,13),(7,26),(7,48),(8,9),(8,48),(8,49),(8,50),(9,59),(9,60),(9,61),(10,28),(10,40),(10,41),(10,63),(11,29),(11,42),(11,43),(11,63),(12,30),(12,40),(12,42),(12,64),(13,31),(13,41),(13,43),(13,64),(14,32),(14,44),(14,45),(14,63),(15,33),(15,46),(15,47),(15,63),(16,34),(16,44),(16,46),(16,64),(17,35),(17,45),(17,47),(17,64),(18,36),(18,40),(18,44),(18,62),(19,37),(19,41),(19,45),(19,62),(20,38),(20,42),(20,46),(20,62),(21,39),(21,43),(21,47),(21,62),(22,28),(22,32),(22,36),(22,37),(22,59),(23,29),(23,33),(23,38),(23,39),(23,59),(24,30),(24,34),(24,36),(24,38),(24,60),(25,31),(25,35),(25,37),(25,39),(25,60),(26,28),(26,29),(26,30),(26,31),(26,61),(27,32),(27,33),(27,34),(27,35),(27,61),(28,51),(28,52),(28,66),(29,53),(29,54),(29,66),(30,51),(30,53),(30,67),(31,52),(31,54),(31,67),(32,55),(32,56),(32,66),(33,57),(33,58),(33,66),(34,55),(34,57),(34,67),(35,56),(35,58),(35,67),(36,51),(36,55),(36,65),(37,52),(37,56),(37,65),(38,53),(38,57),(38,65),(39,54),(39,58),(39,65),(40,51),(40,68),(41,52),(41,68),(42,53),(42,68),(43,54),(43,68),(44,55),(44,68),(45,56),(45,68),(46,57),(46,68),(47,58),(47,68),(48,61),(48,63),(48,64),(49,60),(49,62),(49,64),(50,59),(50,62),(50,63),(51,69),(52,69),(53,69),(54,69),(55,69),(56,69),(57,69),(58,69),(59,65),(59,66),(60,65),(60,67),(61,66),(61,67),(62,65),(62,68),(63,66),(63,68),(64,67),(64,68),(65,69),(66,69),(67,69),(68,69)],70)
 => ? = 1 + 1
[1,2,4,5,6,3] => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 4 + 1
[1,2,4,6,3,5] => [4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 1 + 1
[1,2,4,6,5,3] => [4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,11),(1,15),(1,20),(1,21),(1,23),(1,29),(1,69),(2,10),(2,14),(2,18),(2,19),(2,22),(2,28),(2,69),(3,13),(3,17),(3,19),(3,21),(3,25),(3,31),(3,68),(4,12),(4,16),(4,18),(4,20),(4,24),(4,30),(4,68),(5,14),(5,15),(5,16),(5,17),(5,27),(5,33),(5,67),(6,10),(6,11),(6,12),(6,13),(6,26),(6,32),(6,67),(7,28),(7,29),(7,30),(7,31),(7,32),(7,33),(7,66),(8,22),(8,23),(8,24),(8,25),(8,26),(8,27),(8,66),(9,66),(9,67),(9,68),(9,69),(10,34),(10,46),(10,58),(10,59),(10,87),(11,35),(11,47),(11,60),(11,61),(11,87),(12,36),(12,48),(12,58),(12,60),(12,88),(13,37),(13,49),(13,59),(13,61),(13,88),(14,38),(14,50),(14,62),(14,63),(14,87),(15,39),(15,51),(15,64),(15,65),(15,87),(16,40),(16,52),(16,62),(16,64),(16,88),(17,41),(17,53),(17,63),(17,65),(17,88),(18,42),(18,54),(18,58),(18,62),(18,86),(19,43),(19,55),(19,59),(19,63),(19,86),(20,44),(20,56),(20,60),(20,64),(20,86),(21,45),(21,57),(21,61),(21,65),(21,86),(22,34),(22,38),(22,42),(22,43),(22,89),(23,35),(23,39),(23,44),(23,45),(23,89),(24,36),(24,40),(24,42),(24,44),(24,90),(25,37),(25,41),(25,43),(25,45),(25,90),(26,34),(26,35),(26,36),(26,37),(26,91),(27,38),(27,39),(27,40),(27,41),(27,91),(28,46),(28,50),(28,54),(28,55),(28,89),(29,47),(29,51),(29,56),(29,57),(29,89),(30,48),(30,52),(30,54),(30,56),(30,90),(31,49),(31,53),(31,55),(31,57),(31,90),(32,46),(32,47),(32,48),(32,49),(32,91),(33,50),(33,51),(33,52),(33,53),(33,91),(34,70),(34,71),(34,93),(35,72),(35,73),(35,93),(36,70),(36,72),(36,94),(37,71),(37,73),(37,94),(38,74),(38,75),(38,93),(39,76),(39,77),(39,93),(40,74),(40,76),(40,94),(41,75),(41,77),(41,94),(42,70),(42,74),(42,95),(43,71),(43,75),(43,95),(44,72),(44,76),(44,95),(45,73),(45,77),(45,95),(46,78),(46,79),(46,93),(47,80),(47,81),(47,93),(48,78),(48,80),(48,94),(49,79),(49,81),(49,94),(50,82),(50,83),(50,93),(51,84),(51,85),(51,93),(52,82),(52,84),(52,94),(53,83),(53,85),(53,94),(54,78),(54,82),(54,95),(55,79),(55,83),(55,95),(56,80),(56,84),(56,95),(57,81),(57,85),(57,95),(58,70),(58,78),(58,92),(59,71),(59,79),(59,92),(60,72),(60,80),(60,92),(61,73),(61,81),(61,92),(62,74),(62,82),(62,92),(63,75),(63,83),(63,92),(64,76),(64,84),(64,92),(65,77),(65,85),(65,92),(66,89),(66,90),(66,91),(67,87),(67,88),(67,91),(68,86),(68,88),(68,90),(69,86),(69,87),(69,89),(70,96),(71,96),(72,96),(73,96),(74,96),(75,96),(76,96),(77,96),(78,96),(79,96),(80,96),(81,96),(82,96),(83,96),(84,96),(85,96),(86,92),(86,95),(87,92),(87,93),(88,92),(88,94),(89,93),(89,95),(90,94),(90,95),(91,93),(91,94),(92,96),(93,96),(94,96),(95,96)],97)
 => ? = 1 + 1
[1,2,5,6,3,4] => [4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 1 + 1
[1,2,5,6,4,3] => [4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,11),(1,15),(1,20),(1,21),(1,23),(1,29),(1,69),(2,10),(2,14),(2,18),(2,19),(2,22),(2,28),(2,69),(3,13),(3,17),(3,19),(3,21),(3,25),(3,31),(3,68),(4,12),(4,16),(4,18),(4,20),(4,24),(4,30),(4,68),(5,14),(5,15),(5,16),(5,17),(5,27),(5,33),(5,67),(6,10),(6,11),(6,12),(6,13),(6,26),(6,32),(6,67),(7,28),(7,29),(7,30),(7,31),(7,32),(7,33),(7,66),(8,22),(8,23),(8,24),(8,25),(8,26),(8,27),(8,66),(9,66),(9,67),(9,68),(9,69),(10,34),(10,46),(10,58),(10,59),(10,87),(11,35),(11,47),(11,60),(11,61),(11,87),(12,36),(12,48),(12,58),(12,60),(12,88),(13,37),(13,49),(13,59),(13,61),(13,88),(14,38),(14,50),(14,62),(14,63),(14,87),(15,39),(15,51),(15,64),(15,65),(15,87),(16,40),(16,52),(16,62),(16,64),(16,88),(17,41),(17,53),(17,63),(17,65),(17,88),(18,42),(18,54),(18,58),(18,62),(18,86),(19,43),(19,55),(19,59),(19,63),(19,86),(20,44),(20,56),(20,60),(20,64),(20,86),(21,45),(21,57),(21,61),(21,65),(21,86),(22,34),(22,38),(22,42),(22,43),(22,89),(23,35),(23,39),(23,44),(23,45),(23,89),(24,36),(24,40),(24,42),(24,44),(24,90),(25,37),(25,41),(25,43),(25,45),(25,90),(26,34),(26,35),(26,36),(26,37),(26,91),(27,38),(27,39),(27,40),(27,41),(27,91),(28,46),(28,50),(28,54),(28,55),(28,89),(29,47),(29,51),(29,56),(29,57),(29,89),(30,48),(30,52),(30,54),(30,56),(30,90),(31,49),(31,53),(31,55),(31,57),(31,90),(32,46),(32,47),(32,48),(32,49),(32,91),(33,50),(33,51),(33,52),(33,53),(33,91),(34,70),(34,71),(34,93),(35,72),(35,73),(35,93),(36,70),(36,72),(36,94),(37,71),(37,73),(37,94),(38,74),(38,75),(38,93),(39,76),(39,77),(39,93),(40,74),(40,76),(40,94),(41,75),(41,77),(41,94),(42,70),(42,74),(42,95),(43,71),(43,75),(43,95),(44,72),(44,76),(44,95),(45,73),(45,77),(45,95),(46,78),(46,79),(46,93),(47,80),(47,81),(47,93),(48,78),(48,80),(48,94),(49,79),(49,81),(49,94),(50,82),(50,83),(50,93),(51,84),(51,85),(51,93),(52,82),(52,84),(52,94),(53,83),(53,85),(53,94),(54,78),(54,82),(54,95),(55,79),(55,83),(55,95),(56,80),(56,84),(56,95),(57,81),(57,85),(57,95),(58,70),(58,78),(58,92),(59,71),(59,79),(59,92),(60,72),(60,80),(60,92),(61,73),(61,81),(61,92),(62,74),(62,82),(62,92),(63,75),(63,83),(63,92),(64,76),(64,84),(64,92),(65,77),(65,85),(65,92),(66,89),(66,90),(66,91),(67,87),(67,88),(67,91),(68,86),(68,88),(68,90),(69,86),(69,87),(69,89),(70,96),(71,96),(72,96),(73,96),(74,96),(75,96),(76,96),(77,96),(78,96),(79,96),(80,96),(81,96),(82,96),(83,96),(84,96),(85,96),(86,92),(86,95),(87,92),(87,93),(88,92),(88,94),(89,93),(89,95),(90,94),(90,95),(91,93),(91,94),(92,96),(93,96),(94,96),(95,96)],97)
 => ? = 1 + 1
[1,2,6,3,5,4] => [3,2,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(1,22),(1,23),(1,24),(1,25),(1,26),(1,27),(2,11),(2,15),(2,20),(2,21),(2,23),(2,50),(3,10),(3,14),(3,18),(3,19),(3,22),(3,50),(4,13),(4,17),(4,19),(4,21),(4,25),(4,49),(5,12),(5,16),(5,18),(5,20),(5,24),(5,49),(6,14),(6,15),(6,16),(6,17),(6,27),(6,48),(7,10),(7,11),(7,12),(7,13),(7,26),(7,48),(8,9),(8,48),(8,49),(8,50),(9,59),(9,60),(9,61),(10,28),(10,40),(10,41),(10,63),(11,29),(11,42),(11,43),(11,63),(12,30),(12,40),(12,42),(12,64),(13,31),(13,41),(13,43),(13,64),(14,32),(14,44),(14,45),(14,63),(15,33),(15,46),(15,47),(15,63),(16,34),(16,44),(16,46),(16,64),(17,35),(17,45),(17,47),(17,64),(18,36),(18,40),(18,44),(18,62),(19,37),(19,41),(19,45),(19,62),(20,38),(20,42),(20,46),(20,62),(21,39),(21,43),(21,47),(21,62),(22,28),(22,32),(22,36),(22,37),(22,59),(23,29),(23,33),(23,38),(23,39),(23,59),(24,30),(24,34),(24,36),(24,38),(24,60),(25,31),(25,35),(25,37),(25,39),(25,60),(26,28),(26,29),(26,30),(26,31),(26,61),(27,32),(27,33),(27,34),(27,35),(27,61),(28,51),(28,52),(28,66),(29,53),(29,54),(29,66),(30,51),(30,53),(30,67),(31,52),(31,54),(31,67),(32,55),(32,56),(32,66),(33,57),(33,58),(33,66),(34,55),(34,57),(34,67),(35,56),(35,58),(35,67),(36,51),(36,55),(36,65),(37,52),(37,56),(37,65),(38,53),(38,57),(38,65),(39,54),(39,58),(39,65),(40,51),(40,68),(41,52),(41,68),(42,53),(42,68),(43,54),(43,68),(44,55),(44,68),(45,56),(45,68),(46,57),(46,68),(47,58),(47,68),(48,61),(48,63),(48,64),(49,60),(49,62),(49,64),(50,59),(50,62),(50,63),(51,69),(52,69),(53,69),(54,69),(55,69),(56,69),(57,69),(58,69),(59,65),(59,66),(60,65),(60,67),(61,66),(61,67),(62,65),(62,68),(63,66),(63,68),(64,67),(64,68),(65,69),(66,69),(67,69),(68,69)],70)
 => ? = 1 + 1
[1,2,6,4,3,5] => [3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
 => ? = 1 + 1
[2,3,1,4,5,6] => [2,4] => ([(3,5),(4,5)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,4,1,3,5,6] => [2,4] => ([(3,5),(4,5)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,5,1,3,4,6] => [2,4] => ([(3,5),(4,5)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[3,2,1,4,5,6] => [1,1,4] => ([(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[3,4,1,2,5,6] => [2,4] => ([(3,5),(4,5)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[3,5,1,2,4,6] => [2,4] => ([(3,5),(4,5)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[4,2,1,3,5,6] => [1,1,4] => ([(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[4,3,1,2,5,6] => [1,1,4] => ([(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[5,2,1,3,4,6] => [1,1,4] => ([(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[5,3,1,2,4,6] => [1,1,4] => ([(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[2,3,1,4,5,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,4,1,3,5,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,5,1,3,4,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,6,1,3,4,5,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[3,2,1,4,5,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[3,4,1,2,5,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[3,5,1,2,4,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[3,6,1,2,4,5,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[4,2,1,3,5,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[4,3,1,2,5,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[4,5,1,2,3,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[4,6,1,2,3,5,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[5,2,1,3,4,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[5,3,1,2,4,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[5,4,1,2,3,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[6,2,1,3,4,5,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[6,3,1,2,4,5,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[6,4,1,2,3,5,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
Description
The global dimension of the incidence algebra of the lattice over the rational numbers.
Matching statistic: St001878
(load all 3 compositions to match this statistic)
Mapping
Mp00071: Permutations —descent composition⟶ Integer compositions
Mp00184: Integer compositions —to threshold graph⟶ Graphs
Mp00266: Graphs —connected vertex partitions⟶ Lattices
St001878: Lattices ⟶ ℤResult quality: 2% ●values known / values provided: 2%●distinct values known / distinct values provided: 20%
Values
[1] => [1] => ([],1)
 => ([],1)
 => ? = 1 + 1
[1,3,2] => [2,1] => ([(0,2),(1,2)],3)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,1,3] => [1,2] => ([(1,2)],3)
 => ([(0,1)],2)
 => ? = 1 + 1
[1,2,4,3] => [3,1] => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 2 + 1
[1,3,4,2] => [3,1] => ([(0,3),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 2 + 1
[2,1,3,4] => [1,3] => ([(2,3)],4)
 => ([(0,1)],2)
 => ? = 2 + 1
[2,4,3,1] => [2,1,1] => ([(0,2),(0,3),(1,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
 => ? = 2 + 1
[3,1,2,4] => [1,3] => ([(2,3)],4)
 => ([(0,1)],2)
 => ? = 2 + 1
[3,2,4,1] => [1,2,1] => ([(0,3),(1,2),(1,3),(2,3)],4)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 2 + 1
[1,2,3,5,4] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 3 + 1
[1,2,4,5,3] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 2 + 1
[1,3,2,5,4] => [2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
 => ? = 1 + 1
[1,3,4,5,2] => [4,1] => ([(0,4),(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 2 + 1
[1,3,5,2,4] => [3,2] => ([(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 1 + 1
[1,3,5,4,2] => [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
 => ? = 1 + 1
[1,4,5,2,3] => [3,2] => ([(1,4),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,5),(1,6),(2,4),(2,6),(3,4),(3,5),(4,7),(5,7),(6,7)],8)
 => ? = 1 + 1
[1,4,5,3,2] => [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
 => ? = 1 + 1
[1,5,2,4,3] => [2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
 => ? = 1 + 1
[1,5,3,2,4] => [2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
 => ? = 1 + 1
[2,1,3,4,5] => [1,4] => ([(3,4)],5)
 => ([(0,1)],2)
 => ? = 2 + 1
[2,1,3,5,4] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 1 + 1
[2,1,4,5,3] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 1 + 1
[2,3,1,4,5] => [2,3] => ([(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,3,5,4,1] => [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
 => ? = 3 + 1
[2,4,1,3,5] => [2,3] => ([(2,4),(3,4)],5)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,4,1,5,3] => [2,2,1] => ([(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(1,7),(1,20),(1,21),(2,9),(2,14),(2,15),(2,21),(3,8),(3,12),(3,13),(3,21),(4,11),(4,13),(4,15),(4,20),(5,10),(5,12),(5,14),(5,20),(6,7),(6,8),(6,9),(6,10),(6,11),(7,22),(7,23),(8,16),(8,17),(8,22),(9,18),(9,19),(9,22),(10,16),(10,18),(10,23),(11,17),(11,19),(11,23),(12,16),(12,24),(13,17),(13,24),(14,18),(14,24),(15,19),(15,24),(16,25),(17,25),(18,25),(19,25),(20,23),(20,24),(21,22),(21,24),(22,25),(23,25),(24,25)],26)
 => ? = 1 + 1
[2,4,3,1,5] => [2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
 => ? = 1 + 1
[2,4,5,3,1] => [3,1,1] => ([(0,3),(0,4),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
 => ? = 2 + 1
[2,5,4,1,3] => [2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
 => ? = 1 + 1
[3,1,2,4,5] => [1,4] => ([(3,4)],5)
 => ([(0,1)],2)
 => ? = 2 + 1
[3,1,4,5,2] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 1 + 1
[3,1,5,2,4] => [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 1 + 1
[3,2,1,4,5] => [1,1,3] => ([(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[3,2,4,1,5] => [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 1 + 1
[3,2,4,5,1] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 2 + 1
[3,5,4,1,2] => [2,1,2] => ([(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,10),(1,11),(2,8),(2,9),(2,11),(3,6),(3,7),(3,11),(4,7),(4,9),(4,10),(5,6),(5,8),(5,10),(6,12),(7,12),(8,12),(9,12),(10,12),(11,12)],13)
 => ? = 3 + 1
[3,5,4,2,1] => [2,1,1,1] => ([(0,2),(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,12),(1,15),(1,28),(1,31),(1,34),(2,11),(2,14),(2,28),(2,30),(2,33),(3,10),(3,13),(3,28),(3,29),(3,32),(4,10),(4,16),(4,19),(4,21),(4,30),(4,31),(5,11),(5,17),(5,20),(5,22),(5,29),(5,31),(6,12),(6,18),(6,23),(6,24),(6,29),(6,30),(7,13),(7,16),(7,20),(7,23),(7,33),(7,34),(8,14),(8,17),(8,19),(8,24),(8,32),(8,34),(9,15),(9,18),(9,21),(9,22),(9,32),(9,33),(10,25),(10,35),(10,45),(11,26),(11,36),(11,45),(12,27),(12,37),(12,45),(13,25),(13,38),(13,44),(14,26),(14,39),(14,44),(15,27),(15,40),(15,44),(16,25),(16,42),(16,43),(17,26),(17,41),(17,43),(18,27),(18,41),(18,42),(19,35),(19,39),(19,43),(20,36),(20,38),(20,43),(21,35),(21,40),(21,42),(22,36),(22,40),(22,41),(23,37),(23,38),(23,42),(24,37),(24,39),(24,41),(25,46),(26,46),(27,46),(28,44),(28,45),(29,38),(29,41),(29,45),(30,39),(30,42),(30,45),(31,40),(31,43),(31,45),(32,35),(32,41),(32,44),(33,36),(33,42),(33,44),(34,37),(34,43),(34,44),(35,46),(36,46),(37,46),(38,46),(39,46),(40,46),(41,46),(42,46),(43,46),(44,46),(45,46)],47)
 => ? = 3 + 1
[4,1,2,3,5] => [1,4] => ([(3,4)],5)
 => ([(0,1)],2)
 => ? = 3 + 1
[4,1,3,2,5] => [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 1 + 1
[4,1,3,5,2] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 1 + 1
[4,2,1,3,5] => [1,1,3] => ([(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[4,2,3,5,1] => [1,3,1] => ([(0,4),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,9),(1,12),(1,16),(2,8),(2,11),(2,16),(3,7),(3,10),(3,16),(4,6),(4,10),(4,11),(4,12),(5,6),(5,7),(5,8),(5,9),(6,13),(6,14),(6,15),(7,13),(7,17),(8,14),(8,17),(9,15),(9,17),(10,13),(10,18),(11,14),(11,18),(12,15),(12,18),(13,19),(14,19),(15,19),(16,17),(16,18),(17,19),(18,19)],20)
 => ? = 3 + 1
[4,2,5,1,3] => [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 1 + 1
[4,3,5,1,2] => [1,2,2] => ([(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(1,7),(1,8),(2,6),(2,8),(3,5),(3,8),(4,5),(4,6),(4,7),(5,9),(6,9),(7,9),(8,9)],10)
 => ? = 3 + 1
[4,3,5,2,1] => [1,2,1,1] => ([(0,3),(0,4),(1,2),(1,3),(1,4),(2,3),(2,4),(3,4)],5)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(1,26),(1,27),(1,28),(2,9),(2,10),(2,11),(2,29),(2,30),(3,13),(3,17),(3,21),(3,28),(3,30),(4,12),(4,16),(4,21),(4,27),(4,29),(5,15),(5,18),(5,20),(5,27),(5,30),(6,14),(6,19),(6,20),(6,28),(6,29),(7,11),(7,16),(7,17),(7,18),(7,19),(7,26),(8,10),(8,12),(8,13),(8,14),(8,15),(8,26),(9,35),(9,38),(10,31),(10,32),(10,35),(11,33),(11,34),(11,35),(12,22),(12,31),(12,36),(13,22),(13,32),(13,37),(14,23),(14,31),(14,37),(15,23),(15,32),(15,36),(16,24),(16,33),(16,36),(17,24),(17,34),(17,37),(18,25),(18,34),(18,36),(19,25),(19,33),(19,37),(20,23),(20,25),(20,38),(21,22),(21,24),(21,38),(22,39),(23,39),(24,39),(25,39),(26,35),(26,36),(26,37),(27,36),(27,38),(28,37),(28,38),(29,31),(29,33),(29,38),(30,32),(30,34),(30,38),(31,39),(32,39),(33,39),(34,39),(35,39),(36,39),(37,39),(38,39)],40)
 => ? = 3 + 1
[1,2,3,4,6,5] => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 4 + 1
[1,2,3,5,6,4] => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 3 + 1
[1,2,4,3,6,5] => [3,2,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(1,22),(1,23),(1,24),(1,25),(1,26),(1,27),(2,11),(2,15),(2,20),(2,21),(2,23),(2,50),(3,10),(3,14),(3,18),(3,19),(3,22),(3,50),(4,13),(4,17),(4,19),(4,21),(4,25),(4,49),(5,12),(5,16),(5,18),(5,20),(5,24),(5,49),(6,14),(6,15),(6,16),(6,17),(6,27),(6,48),(7,10),(7,11),(7,12),(7,13),(7,26),(7,48),(8,9),(8,48),(8,49),(8,50),(9,59),(9,60),(9,61),(10,28),(10,40),(10,41),(10,63),(11,29),(11,42),(11,43),(11,63),(12,30),(12,40),(12,42),(12,64),(13,31),(13,41),(13,43),(13,64),(14,32),(14,44),(14,45),(14,63),(15,33),(15,46),(15,47),(15,63),(16,34),(16,44),(16,46),(16,64),(17,35),(17,45),(17,47),(17,64),(18,36),(18,40),(18,44),(18,62),(19,37),(19,41),(19,45),(19,62),(20,38),(20,42),(20,46),(20,62),(21,39),(21,43),(21,47),(21,62),(22,28),(22,32),(22,36),(22,37),(22,59),(23,29),(23,33),(23,38),(23,39),(23,59),(24,30),(24,34),(24,36),(24,38),(24,60),(25,31),(25,35),(25,37),(25,39),(25,60),(26,28),(26,29),(26,30),(26,31),(26,61),(27,32),(27,33),(27,34),(27,35),(27,61),(28,51),(28,52),(28,66),(29,53),(29,54),(29,66),(30,51),(30,53),(30,67),(31,52),(31,54),(31,67),(32,55),(32,56),(32,66),(33,57),(33,58),(33,66),(34,55),(34,57),(34,67),(35,56),(35,58),(35,67),(36,51),(36,55),(36,65),(37,52),(37,56),(37,65),(38,53),(38,57),(38,65),(39,54),(39,58),(39,65),(40,51),(40,68),(41,52),(41,68),(42,53),(42,68),(43,54),(43,68),(44,55),(44,68),(45,56),(45,68),(46,57),(46,68),(47,58),(47,68),(48,61),(48,63),(48,64),(49,60),(49,62),(49,64),(50,59),(50,62),(50,63),(51,69),(52,69),(53,69),(54,69),(55,69),(56,69),(57,69),(58,69),(59,65),(59,66),(60,65),(60,67),(61,66),(61,67),(62,65),(62,68),(63,66),(63,68),(64,67),(64,68),(65,69),(66,69),(67,69),(68,69)],70)
 => ? = 1 + 1
[1,2,4,5,6,3] => [5,1] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(1,12),(1,13),(1,14),(1,15),(2,9),(2,10),(2,11),(2,15),(3,7),(3,8),(3,11),(3,14),(4,6),(4,8),(4,10),(4,13),(5,6),(5,7),(5,9),(5,12),(6,16),(6,19),(6,22),(7,16),(7,17),(7,20),(8,16),(8,18),(8,21),(9,17),(9,19),(9,23),(10,18),(10,19),(10,24),(11,17),(11,18),(11,25),(12,20),(12,22),(12,23),(13,21),(13,22),(13,24),(14,20),(14,21),(14,25),(15,23),(15,24),(15,25),(16,29),(16,30),(17,26),(17,30),(18,27),(18,30),(19,28),(19,30),(20,26),(20,29),(21,27),(21,29),(22,28),(22,29),(23,26),(23,28),(24,27),(24,28),(25,26),(25,27),(26,31),(27,31),(28,31),(29,31),(30,31)],32)
 => ? = 4 + 1
[1,2,4,6,3,5] => [4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 1 + 1
[1,2,4,6,5,3] => [4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,11),(1,15),(1,20),(1,21),(1,23),(1,29),(1,69),(2,10),(2,14),(2,18),(2,19),(2,22),(2,28),(2,69),(3,13),(3,17),(3,19),(3,21),(3,25),(3,31),(3,68),(4,12),(4,16),(4,18),(4,20),(4,24),(4,30),(4,68),(5,14),(5,15),(5,16),(5,17),(5,27),(5,33),(5,67),(6,10),(6,11),(6,12),(6,13),(6,26),(6,32),(6,67),(7,28),(7,29),(7,30),(7,31),(7,32),(7,33),(7,66),(8,22),(8,23),(8,24),(8,25),(8,26),(8,27),(8,66),(9,66),(9,67),(9,68),(9,69),(10,34),(10,46),(10,58),(10,59),(10,87),(11,35),(11,47),(11,60),(11,61),(11,87),(12,36),(12,48),(12,58),(12,60),(12,88),(13,37),(13,49),(13,59),(13,61),(13,88),(14,38),(14,50),(14,62),(14,63),(14,87),(15,39),(15,51),(15,64),(15,65),(15,87),(16,40),(16,52),(16,62),(16,64),(16,88),(17,41),(17,53),(17,63),(17,65),(17,88),(18,42),(18,54),(18,58),(18,62),(18,86),(19,43),(19,55),(19,59),(19,63),(19,86),(20,44),(20,56),(20,60),(20,64),(20,86),(21,45),(21,57),(21,61),(21,65),(21,86),(22,34),(22,38),(22,42),(22,43),(22,89),(23,35),(23,39),(23,44),(23,45),(23,89),(24,36),(24,40),(24,42),(24,44),(24,90),(25,37),(25,41),(25,43),(25,45),(25,90),(26,34),(26,35),(26,36),(26,37),(26,91),(27,38),(27,39),(27,40),(27,41),(27,91),(28,46),(28,50),(28,54),(28,55),(28,89),(29,47),(29,51),(29,56),(29,57),(29,89),(30,48),(30,52),(30,54),(30,56),(30,90),(31,49),(31,53),(31,55),(31,57),(31,90),(32,46),(32,47),(32,48),(32,49),(32,91),(33,50),(33,51),(33,52),(33,53),(33,91),(34,70),(34,71),(34,93),(35,72),(35,73),(35,93),(36,70),(36,72),(36,94),(37,71),(37,73),(37,94),(38,74),(38,75),(38,93),(39,76),(39,77),(39,93),(40,74),(40,76),(40,94),(41,75),(41,77),(41,94),(42,70),(42,74),(42,95),(43,71),(43,75),(43,95),(44,72),(44,76),(44,95),(45,73),(45,77),(45,95),(46,78),(46,79),(46,93),(47,80),(47,81),(47,93),(48,78),(48,80),(48,94),(49,79),(49,81),(49,94),(50,82),(50,83),(50,93),(51,84),(51,85),(51,93),(52,82),(52,84),(52,94),(53,83),(53,85),(53,94),(54,78),(54,82),(54,95),(55,79),(55,83),(55,95),(56,80),(56,84),(56,95),(57,81),(57,85),(57,95),(58,70),(58,78),(58,92),(59,71),(59,79),(59,92),(60,72),(60,80),(60,92),(61,73),(61,81),(61,92),(62,74),(62,82),(62,92),(63,75),(63,83),(63,92),(64,76),(64,84),(64,92),(65,77),(65,85),(65,92),(66,89),(66,90),(66,91),(67,87),(67,88),(67,91),(68,86),(68,88),(68,90),(69,86),(69,87),(69,89),(70,96),(71,96),(72,96),(73,96),(74,96),(75,96),(76,96),(77,96),(78,96),(79,96),(80,96),(81,96),(82,96),(83,96),(84,96),(85,96),(86,92),(86,95),(87,92),(87,93),(88,92),(88,94),(89,93),(89,95),(90,94),(90,95),(91,93),(91,94),(92,96),(93,96),(94,96),(95,96)],97)
 => ? = 1 + 1
[1,2,5,6,3,4] => [4,2] => ([(1,5),(2,5),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(1,8),(1,9),(1,10),(2,6),(2,7),(2,10),(3,5),(3,7),(3,9),(4,5),(4,6),(4,8),(5,11),(5,14),(6,11),(6,12),(7,11),(7,13),(8,12),(8,14),(9,13),(9,14),(10,12),(10,13),(11,15),(12,15),(13,15),(14,15)],16)
 => ? = 1 + 1
[1,2,5,6,4,3] => [4,1,1] => ([(0,4),(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(0,9),(1,11),(1,15),(1,20),(1,21),(1,23),(1,29),(1,69),(2,10),(2,14),(2,18),(2,19),(2,22),(2,28),(2,69),(3,13),(3,17),(3,19),(3,21),(3,25),(3,31),(3,68),(4,12),(4,16),(4,18),(4,20),(4,24),(4,30),(4,68),(5,14),(5,15),(5,16),(5,17),(5,27),(5,33),(5,67),(6,10),(6,11),(6,12),(6,13),(6,26),(6,32),(6,67),(7,28),(7,29),(7,30),(7,31),(7,32),(7,33),(7,66),(8,22),(8,23),(8,24),(8,25),(8,26),(8,27),(8,66),(9,66),(9,67),(9,68),(9,69),(10,34),(10,46),(10,58),(10,59),(10,87),(11,35),(11,47),(11,60),(11,61),(11,87),(12,36),(12,48),(12,58),(12,60),(12,88),(13,37),(13,49),(13,59),(13,61),(13,88),(14,38),(14,50),(14,62),(14,63),(14,87),(15,39),(15,51),(15,64),(15,65),(15,87),(16,40),(16,52),(16,62),(16,64),(16,88),(17,41),(17,53),(17,63),(17,65),(17,88),(18,42),(18,54),(18,58),(18,62),(18,86),(19,43),(19,55),(19,59),(19,63),(19,86),(20,44),(20,56),(20,60),(20,64),(20,86),(21,45),(21,57),(21,61),(21,65),(21,86),(22,34),(22,38),(22,42),(22,43),(22,89),(23,35),(23,39),(23,44),(23,45),(23,89),(24,36),(24,40),(24,42),(24,44),(24,90),(25,37),(25,41),(25,43),(25,45),(25,90),(26,34),(26,35),(26,36),(26,37),(26,91),(27,38),(27,39),(27,40),(27,41),(27,91),(28,46),(28,50),(28,54),(28,55),(28,89),(29,47),(29,51),(29,56),(29,57),(29,89),(30,48),(30,52),(30,54),(30,56),(30,90),(31,49),(31,53),(31,55),(31,57),(31,90),(32,46),(32,47),(32,48),(32,49),(32,91),(33,50),(33,51),(33,52),(33,53),(33,91),(34,70),(34,71),(34,93),(35,72),(35,73),(35,93),(36,70),(36,72),(36,94),(37,71),(37,73),(37,94),(38,74),(38,75),(38,93),(39,76),(39,77),(39,93),(40,74),(40,76),(40,94),(41,75),(41,77),(41,94),(42,70),(42,74),(42,95),(43,71),(43,75),(43,95),(44,72),(44,76),(44,95),(45,73),(45,77),(45,95),(46,78),(46,79),(46,93),(47,80),(47,81),(47,93),(48,78),(48,80),(48,94),(49,79),(49,81),(49,94),(50,82),(50,83),(50,93),(51,84),(51,85),(51,93),(52,82),(52,84),(52,94),(53,83),(53,85),(53,94),(54,78),(54,82),(54,95),(55,79),(55,83),(55,95),(56,80),(56,84),(56,95),(57,81),(57,85),(57,95),(58,70),(58,78),(58,92),(59,71),(59,79),(59,92),(60,72),(60,80),(60,92),(61,73),(61,81),(61,92),(62,74),(62,82),(62,92),(63,75),(63,83),(63,92),(64,76),(64,84),(64,92),(65,77),(65,85),(65,92),(66,89),(66,90),(66,91),(67,87),(67,88),(67,91),(68,86),(68,88),(68,90),(69,86),(69,87),(69,89),(70,96),(71,96),(72,96),(73,96),(74,96),(75,96),(76,96),(77,96),(78,96),(79,96),(80,96),(81,96),(82,96),(83,96),(84,96),(85,96),(86,92),(86,95),(87,92),(87,93),(88,92),(88,94),(89,93),(89,95),(90,94),(90,95),(91,93),(91,94),(92,96),(93,96),(94,96),(95,96)],97)
 => ? = 1 + 1
[1,2,6,3,5,4] => [3,2,1] => ([(0,5),(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(0,8),(1,9),(1,22),(1,23),(1,24),(1,25),(1,26),(1,27),(2,11),(2,15),(2,20),(2,21),(2,23),(2,50),(3,10),(3,14),(3,18),(3,19),(3,22),(3,50),(4,13),(4,17),(4,19),(4,21),(4,25),(4,49),(5,12),(5,16),(5,18),(5,20),(5,24),(5,49),(6,14),(6,15),(6,16),(6,17),(6,27),(6,48),(7,10),(7,11),(7,12),(7,13),(7,26),(7,48),(8,9),(8,48),(8,49),(8,50),(9,59),(9,60),(9,61),(10,28),(10,40),(10,41),(10,63),(11,29),(11,42),(11,43),(11,63),(12,30),(12,40),(12,42),(12,64),(13,31),(13,41),(13,43),(13,64),(14,32),(14,44),(14,45),(14,63),(15,33),(15,46),(15,47),(15,63),(16,34),(16,44),(16,46),(16,64),(17,35),(17,45),(17,47),(17,64),(18,36),(18,40),(18,44),(18,62),(19,37),(19,41),(19,45),(19,62),(20,38),(20,42),(20,46),(20,62),(21,39),(21,43),(21,47),(21,62),(22,28),(22,32),(22,36),(22,37),(22,59),(23,29),(23,33),(23,38),(23,39),(23,59),(24,30),(24,34),(24,36),(24,38),(24,60),(25,31),(25,35),(25,37),(25,39),(25,60),(26,28),(26,29),(26,30),(26,31),(26,61),(27,32),(27,33),(27,34),(27,35),(27,61),(28,51),(28,52),(28,66),(29,53),(29,54),(29,66),(30,51),(30,53),(30,67),(31,52),(31,54),(31,67),(32,55),(32,56),(32,66),(33,57),(33,58),(33,66),(34,55),(34,57),(34,67),(35,56),(35,58),(35,67),(36,51),(36,55),(36,65),(37,52),(37,56),(37,65),(38,53),(38,57),(38,65),(39,54),(39,58),(39,65),(40,51),(40,68),(41,52),(41,68),(42,53),(42,68),(43,54),(43,68),(44,55),(44,68),(45,56),(45,68),(46,57),(46,68),(47,58),(47,68),(48,61),(48,63),(48,64),(49,60),(49,62),(49,64),(50,59),(50,62),(50,63),(51,69),(52,69),(53,69),(54,69),(55,69),(56,69),(57,69),(58,69),(59,65),(59,66),(60,65),(60,67),(61,66),(61,67),(62,65),(62,68),(63,66),(63,68),(64,67),(64,68),(65,69),(66,69),(67,69),(68,69)],70)
 => ? = 1 + 1
[1,2,6,4,3,5] => [3,1,2] => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(0,4),(0,5),(0,6),(0,7),(1,28),(1,29),(1,30),(2,9),(2,13),(2,18),(2,19),(2,30),(3,8),(3,12),(3,16),(3,17),(3,30),(4,11),(4,15),(4,17),(4,19),(4,29),(5,10),(5,14),(5,16),(5,18),(5,29),(6,12),(6,13),(6,14),(6,15),(6,28),(7,8),(7,9),(7,10),(7,11),(7,28),(8,20),(8,21),(8,32),(9,22),(9,23),(9,32),(10,20),(10,22),(10,33),(11,21),(11,23),(11,33),(12,24),(12,25),(12,32),(13,26),(13,27),(13,32),(14,24),(14,26),(14,33),(15,25),(15,27),(15,33),(16,20),(16,24),(16,31),(17,21),(17,25),(17,31),(18,22),(18,26),(18,31),(19,23),(19,27),(19,31),(20,34),(21,34),(22,34),(23,34),(24,34),(25,34),(26,34),(27,34),(28,32),(28,33),(29,31),(29,33),(30,31),(30,32),(31,34),(32,34),(33,34)],35)
 => ? = 1 + 1
[2,3,1,4,5,6] => [2,4] => ([(3,5),(4,5)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,4,1,3,5,6] => [2,4] => ([(3,5),(4,5)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,5,1,3,4,6] => [2,4] => ([(3,5),(4,5)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[3,2,1,4,5,6] => [1,1,4] => ([(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[3,4,1,2,5,6] => [2,4] => ([(3,5),(4,5)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[3,5,1,2,4,6] => [2,4] => ([(3,5),(4,5)],6)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[4,2,1,3,5,6] => [1,1,4] => ([(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[4,3,1,2,5,6] => [1,1,4] => ([(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[5,2,1,3,4,6] => [1,1,4] => ([(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[5,3,1,2,4,6] => [1,1,4] => ([(3,4),(3,5),(4,5)],6)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[2,3,1,4,5,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,4,1,3,5,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,5,1,3,4,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[2,6,1,3,4,5,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[3,2,1,4,5,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[3,4,1,2,5,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[3,5,1,2,4,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[3,6,1,2,4,5,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[4,2,1,3,5,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[4,3,1,2,5,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[4,5,1,2,3,6,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[4,6,1,2,3,5,7] => [2,5] => ([(4,6),(5,6)],7)
 => ([(0,1),(0,2),(1,3),(2,3)],4)
 => 2 = 1 + 1
[5,2,1,3,4,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[5,3,1,2,4,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[5,4,1,2,3,6,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[6,2,1,3,4,5,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[6,3,1,2,4,5,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
[6,4,1,2,3,5,7] => [1,1,5] => ([(4,5),(4,6),(5,6)],7)
 => ([(0,1),(0,2),(0,3),(1,4),(2,4),(3,4)],5)
 => 2 = 1 + 1
Description
The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L.