searching the database
Your data matches 25 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
(click to perform a complete search on your data)
Matching statistic: St000912
(load all 2 compositions to match this statistic)
(load all 2 compositions to match this statistic)
Mp00013: Binary trees —to poset⟶ Posets
St000912: Posets ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
St000912: Posets ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[.,.]
=> ([],1)
=> 1
[.,[.,.]]
=> ([(0,1)],2)
=> 2
[[.,.],.]
=> ([(0,1)],2)
=> 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> 2
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> 3
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> 3
[.,[[.,[.,.]],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> 3
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> 3
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> 3
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> 3
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> 3
[[[.,[.,.]],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[.,[.,[.,.]]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[.,[[.,.],.]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> 4
[.,[.,[[.,[.,.]],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[[.,.],.],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> 4
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> 4
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> 4
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> 4
[.,[[.,[.,[.,.]]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,[[.,.],.]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> 4
[.,[[[.,[.,.]],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[[.,.],.],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> 4
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> 4
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> 3
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> 4
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> 4
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> 5
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> 5
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> 5
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> 5
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> 4
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> 4
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> 3
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> 4
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> 4
Description
The number of maximal antichains in a poset.
Matching statistic: St000551
(load all 2 compositions to match this statistic)
(load all 2 compositions to match this statistic)
Values
[.,.]
=> ([],1)
=> ([],1)
=> 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> 2
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,[.,.]],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[.,[.,[.,.]]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[.,[[.,.],.]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,[.,.]],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[[.,.],.],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,[.,.]]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,[[.,.],.]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,[.,.]],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[[.,.],.],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
Description
The number of left modular elements of a lattice.
A pair $(x, y)$ of elements of a lattice $L$ is a modular pair if for every $z\geq y$ we have that $(y\vee x) \wedge z = y \vee (x \wedge z)$. An element $x$ is left-modular if $(x, y)$ is a modular pair for every $y\in L$.
Matching statistic: St001651
Values
[.,.]
=> ([],1)
=> ([],1)
=> ? = 1 - 2
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 0 = 2 - 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> 0 = 2 - 2
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[.,[[.,[.,.]],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[[[.,[.,.]],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[.,[.,[.,[.,[.,.]]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 3 = 5 - 2
[.,[.,[.,[[.,.],.]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 3 = 5 - 2
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[.,[.,[[.,[.,.]],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 3 = 5 - 2
[.,[.,[[[.,.],.],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 3 = 5 - 2
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[.,[[.,[.,[.,.]]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 3 = 5 - 2
[.,[[.,[[.,.],.]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 3 = 5 - 2
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[.,[[[.,[.,.]],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 3 = 5 - 2
[.,[[[[.,.],.],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 3 = 5 - 2
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 3 = 5 - 2
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 3 = 5 - 2
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 3 = 5 - 2
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 3 = 5 - 2
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> 1 = 3 - 2
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 2 = 4 - 2
[[.,[.,[.,[.,.]]]],.]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 3 = 5 - 2
Description
The Frankl number of a lattice.
For a lattice $L$ on at least two elements, this is
$$
\max_x(|L|-2|[x, 1]|),
$$
where we maximize over all join irreducible elements and $[x, 1]$ denotes the interval from $x$ to the top element. Frankl's conjecture asserts that this number is non-negative, and zero if and only if $L$ is a Boolean lattice.
Matching statistic: St001616
(load all 2 compositions to match this statistic)
(load all 2 compositions to match this statistic)
Values
[.,.]
=> ([],1)
=> ([],1)
=> 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> 2
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,[.,.]],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[.,[.,[.,.]]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[.,[[.,.],.]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,[.,.]],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[[.,.],.],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,[.,.]]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,[[.,.],.]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,[.,.]],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[[.,.],.],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,[.,.]]],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[.,[.,.]]],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[.,[.,.]]],[[.,[.,.]],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[.,[.,.]]],[[[.,.],.],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[[.,[.,.]],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[[[.,.],.],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[[.,[.,.]],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[[[.,.],.],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[[.,.],.],.],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[[.,.],.],.],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[[.,.],.],.],[[.,[.,.]],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[[.,.],.],.],[[[.,.],.],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
Description
The number of neutral elements in a lattice.
An element $e$ of the lattice $L$ is neutral if the sublattice generated by $e$, $x$ and $y$ is distributive for all $x, y \in L$.
Matching statistic: St000550
(load all 2 compositions to match this statistic)
(load all 2 compositions to match this statistic)
Values
[.,.]
=> ([],1)
=> ([],1)
=> 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> 2
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,[.,.]],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[.,[.,[.,.]]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[.,[[.,.],.]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,[.,.]],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[[.,.],.],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,[.,.]]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,[[.,.],.]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,[.,.]],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[[.,.],.],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,.]],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,[.,.]]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,[.,.]]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[[.,.],.]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[[.,.],.]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,[.,.]],.],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,[.,.]],.],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[[.,.],.],.],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[[.,.],.],.],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[[.,[.,.]],[.,[.,[.,[.,.]]]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[.,[.,[[.,.],.]]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[.,[[.,[.,.]],.]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[.,[[[.,.],.],.]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[[.,[.,[.,.]]],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[[.,[[.,.],.]],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[[[.,[.,.]],.],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[[[[.,.],.],.],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[.,[.,[.,[.,.]]]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[.,[.,[[.,.],.]]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[.,[[.,[.,.]],.]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[.,[[[.,.],.],.]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[[.,[.,[.,.]]],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[[.,[[.,.],.]],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[[[.,[.,.]],.],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[[[[.,.],.],.],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,[.,.]]],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[.,[.,.]]],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[.,[.,.]]],[[.,[.,.]],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[.,[.,.]]],[[[.,.],.],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[[.,[.,.]],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[[[.,.],.],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[[.,[.,.]],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[[[.,.],.],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[[.,.],.],.],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[[.,.],.],.],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[[.,.],.],.],[[.,[.,.]],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[[.,.],.],.],[[[.,.],.],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[.,[.,[.,.]]]],[.,[.,.]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,[.,[.,.]]]],[[.,.],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
Description
The number of modular elements of a lattice.
A pair $(x, y)$ of elements of a lattice $L$ is a modular pair if for every $z\geq y$ we have that $(y\vee x) \wedge z = y \vee (x \wedge z)$. An element $x$ is left-modular if $(x, y)$ is a modular pair for every $y\in L$, and is modular if both $(x, y)$ and $(y, x)$ are modular pairs for every $y\in L$.
Matching statistic: St001880
(load all 4 compositions to match this statistic)
(load all 4 compositions to match this statistic)
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ? = 2
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,[.,.]],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[.,[.,[.,.]]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[.,[[.,.],.]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,[.,.]],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[[.,.],.],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,[.,.]]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,[[.,.],.]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,[.,.]],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[[.,.],.],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,[.,[.,.]]]],.]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[[.,[.,[[.,.],.]]],.]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[[.,[[.,.],[.,.]]],.]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,[.,.]],.]],.]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,[.,.]],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,[.,.]]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,[.,.]]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[[.,.],.]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[[.,.],.]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,[.,.]],.],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,[.,.]],.],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[[.,.],.],.],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[[.,.],.],.],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[[.,[.,.]],[.,[.,[.,[.,.]]]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[.,[.,[[.,.],.]]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[.,[[.,[.,.]],.]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[.,[[[.,.],.],.]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[[.,[.,[.,.]]],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[[.,[[.,.],.]],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[[[.,[.,.]],.],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,.]],[[[[.,.],.],.],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[.,[.,[.,[.,.]]]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[.,[.,[[.,.],.]]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[.,[[.,[.,.]],.]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[.,[[[.,.],.],.]]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[[.,[.,[.,.]]],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[[.,[[.,.],.]],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[[[.,[.,.]],.],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[[.,.],.],[[[[.,.],.],.],.]]
=> ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9)
=> ? = 9
[[.,[.,[.,.]]],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[.,[.,.]]],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[.,[.,.]]],[[.,[.,.]],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[.,[.,.]]],[[[.,.],.],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[[.,[.,.]],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[.,[[.,.],.]],[[[.,.],.],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[[.,[.,.]],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[.,[.,.]],.],[[[.,.],.],.]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[[.,.],.],.],[.,[.,[.,.]]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
[[[[.,.],.],.],[.,[[.,.],.]]]
=> ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10)
=> ? = 10
Description
The number of 2-Gorenstein indecomposable injective modules in the incidence algebra of the lattice.
Matching statistic: St000189
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,[.,.]],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[.,[.,[.,.]]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[.,[[.,.],.]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,[.,.]],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[[.,.],.],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,[.,.]]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,[[.,.],.]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,[.,.]],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[[.,.],.],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,.]],[.,[.,[.,.]]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,.]],[.,[[.,.],.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,.]],[[.,[.,.]],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,.]],[[[.,.],.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[.,[.,[.,.]]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[.,[[.,.],.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[[.,[.,.]],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[[[.,.],.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,[.,.]]],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,[.,.]]],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[[.,.],.]],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[[.,.],.]],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,[.,.]],.],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,[.,.]],.],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[[.,.],.],.],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[[.,.],.],.],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[.,[.,[[.,.],.]]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[.,[[.,[.,.]],.]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[.,[[[.,.],.],.]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[.,[.,[.,.]]],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[.,[[.,.],.]],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[[.,[.,.]],.],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[[[.,.],.],.],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[.,.]],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[.,[.,.]],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[[.,.],.],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[[.,.],.],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[.,[.,[.,[.,.]]]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[.,[[.,.],.]]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[[.,[.,.]],.]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[[[.,.],.],.]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[.,[.,[.,.]]],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[.,[[.,.],.]],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[[.,[.,.]],.],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[[[.,.],.],.],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[[.,[.,.]],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,[.,.]]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,[.,.]]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[[.,.],.]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[[.,.],.]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,[.,.]],.],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,[.,.]],.],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
Description
The number of elements in the poset.
Matching statistic: St001717
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,[.,.]],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[.,[.,[.,.]]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[.,[[.,.],.]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,[.,.]],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[[.,.],.],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,[.,.]]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,[[.,.],.]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,[.,.]],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[[.,.],.],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,.]],[.,[.,[.,.]]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,.]],[.,[[.,.],.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,.]],[[.,[.,.]],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,.]],[[[.,.],.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[.,[.,[.,.]]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[.,[[.,.],.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[[.,[.,.]],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[[[.,.],.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,[.,.]]],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,[.,.]]],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[[.,.],.]],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[[.,.],.]],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,[.,.]],.],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,[.,.]],.],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[[.,.],.],.],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[[.,.],.],.],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[.,[.,[[.,.],.]]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[.,[[.,[.,.]],.]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[.,[[[.,.],.],.]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[.,[.,[.,.]]],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[.,[[.,.],.]],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[[.,[.,.]],.],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[[[.,.],.],.],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[.,.]],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[.,[.,.]],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[[.,.],.],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[[.,.],.],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[.,[.,[.,[.,.]]]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[.,[[.,.],.]]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[[.,[.,.]],.]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[[[.,.],.],.]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[.,[.,[.,.]]],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[.,[[.,.],.]],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[[.,[.,.]],.],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[[[.,.],.],.],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[[.,[.,.]],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,[.,.]]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,[.,.]]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[[.,.],.]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[[.,.],.]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,[.,.]],.],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,[.,.]],.],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
Description
The largest size of an interval in a poset.
Matching statistic: St001300
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> 0 = 1 - 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 1 = 2 - 1
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[.,[[.,[.,.]],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[[[.,[.,.]],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[.,[.,[.,[.,[.,.]]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 4 = 5 - 1
[.,[.,[.,[[.,.],.]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 4 = 5 - 1
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[.,[.,[[.,[.,.]],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 4 = 5 - 1
[.,[.,[[[.,.],.],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 4 = 5 - 1
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[.,[[.,[.,[.,.]]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 4 = 5 - 1
[.,[[.,[[.,.],.]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 4 = 5 - 1
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[.,[[[.,[.,.]],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 4 = 5 - 1
[.,[[[[.,.],.],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 4 = 5 - 1
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 4 = 5 - 1
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 4 = 5 - 1
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 4 = 5 - 1
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 4 = 5 - 1
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 2 = 3 - 1
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 3 = 4 - 1
[[.,[.,.]],[.,[.,[.,.]]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[.,[.,.]],[.,[[.,.],.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[.,[.,.]],[[.,[.,.]],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[.,[.,.]],[[[.,.],.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[[.,.],.],[.,[.,[.,.]]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[[.,.],.],[.,[[.,.],.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[[.,.],.],[[.,[.,.]],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[[.,.],.],[[[.,.],.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[.,[.,[.,.]]],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[.,[.,[.,.]]],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[.,[[.,.],.]],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[.,[[.,.],.]],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[[.,[.,.]],.],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[[.,[.,.]],.],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[[[.,.],.],.],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[[[[.,.],.],.],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7 - 1
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[.,[.,[.,[[.,.],.]]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[.,[.,[[.,[.,.]],.]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[.,[.,[[[.,.],.],.]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[.,[[.,[.,[.,.]]],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[.,[[.,[[.,.],.]],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[.,[[[.,[.,.]],.],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[.,[[[[.,.],.],.],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[[.,[.,.]],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7 - 1
[.,[.,[[.,[.,.]],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7 - 1
[.,[.,[[[.,.],.],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7 - 1
[.,[.,[[[.,.],.],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7 - 1
[.,[.,[[.,[.,[.,[.,.]]]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[[.,[.,[[.,.],.]]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[[.,[[.,[.,.]],.]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[[.,[[[.,.],.],.]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[[[.,[.,[.,.]]],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[[[.,[[.,.],.]],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[[[[.,[.,.]],.],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[.,[[[[[.,.],.],.],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7 - 1
[.,[[.,[.,.]],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[.,[.,.]],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[.,[.,.]],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[.,[.,.]],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[[.,.],.],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[[.,.],.],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[[.,.],.],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[[.,.],.],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[.,[.,[.,.]]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[.,[.,[.,.]]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[.,[[.,.],.]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[.,[[.,.],.]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[[.,[.,.]],.],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
[.,[[[.,[.,.]],.],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8 - 1
Description
The rank of the boundary operator in degree 1 of the chain complex of the order complex of the poset.
Matching statistic: St000656
Values
[.,.]
=> ([],1)
=> ([],1)
=> ([],1)
=> ? = 1
[.,[.,.]]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,.],.]
=> ([(0,1)],2)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[.,[.,[.,.]]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,.],.]]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[.,.]]
=> ([(0,2),(1,2)],3)
=> ([(0,1)],2)
=> ([(0,1)],2)
=> 2
[[.,[.,.]],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],.]
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[.,[.,[.,.]]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,.],.]]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[.,.]]]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[.,[[.,[.,.]],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],.]]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,.],.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,.]],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,.],.],[.,.]]
=> ([(0,3),(1,2),(2,3)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,[.,[.,.]]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],.]
=> ([(0,3),(1,3),(3,2)],4)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],.]
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[.,[.,[.,.]]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[.,[[.,.],.]]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[.,.],[.,.]]]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[.,[[.,[.,.]],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[.,[[[.,.],.],.]]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,.],[.,[.,.]]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,.],[[.,.],.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,.]],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,.],.],[.,.]]]
=> ([(0,4),(1,2),(2,4),(4,3)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[.,[.,[.,.]]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[.,[[.,.],.]],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[.,.],[.,.]],.]]
=> ([(0,4),(1,4),(2,3),(4,2)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[.,[[[.,[.,.]],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[.,[[[[.,.],.],.],.]]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[[.,.],[.,[.,[.,.]]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[.,[[.,.],.]]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[.,.],[.,.]]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[.,.],[[.,[.,.]],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,.],[[[.,.],.],.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,.]],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,.]],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[.,[.,.]]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[[.,.],.],[[.,.],.]]
=> ([(0,3),(1,2),(2,4),(3,4)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
=> 5
[[.,[.,[.,.]]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[[.,.],.]],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[.,.],[.,.]],[.,.]]
=> ([(0,4),(1,3),(2,3),(3,4)],5)
=> ([(0,2),(2,1)],3)
=> ([(0,2),(2,1)],3)
=> 3
[[[.,[.,.]],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[[[.,.],.],.],[.,.]]
=> ([(0,4),(1,2),(2,3),(3,4)],5)
=> ([(0,3),(2,1),(3,2)],4)
=> ([(0,3),(2,1),(3,2)],4)
=> 4
[[.,[.,[.,[.,.]]]],.]
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> ([(0,4),(2,3),(3,1),(4,2)],5)
=> 5
[[.,[.,.]],[.,[.,[.,.]]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,.]],[.,[[.,.],.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,.]],[[.,[.,.]],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,.]],[[[.,.],.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[.,[.,[.,.]]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[.,[[.,.],.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[[.,[.,.]],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,.],.],[[[.,.],.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,[.,.]]],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[.,[.,.]]],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[[.,.],.]],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[.,[[.,.],.]],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,[.,.]],.],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[.,[.,.]],.],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[[.,.],.],.],[.,[.,.]]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[[[[.,.],.],.],[[.,.],.]]
=> ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7)
=> ? = 7
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[.,[.,[[.,.],.]]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[.,[[.,[.,.]],.]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[.,[[[.,.],.],.]]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[.,[.,[.,.]]],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[.,[[.,.],.]],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[[.,[.,.]],.],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[.,[[[[.,.],.],.],.]]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[.,.]],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[.,[.,.]],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[[.,.],.],[.,[.,.]]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[[.,.],.],[[.,.],.]]]]
=> ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7)
=> ? = 7
[.,[.,[[.,[.,[.,[.,.]]]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[.,[[.,.],.]]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[[.,[.,.]],.]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[.,[[[.,.],.],.]],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[.,[.,[.,.]]],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[.,[[.,.],.]],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[[.,[.,.]],.],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[.,[[[[[.,.],.],.],.],.]]]
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7)
=> ? = 7
[.,[[.,[.,.]],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,.]],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[.,[.,[.,.]]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[.,[[.,.],.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[[.,[.,.]],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,.],.],[[[.,.],.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,[.,.]]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[.,[.,.]]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[[.,.],.]],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[.,[[.,.],.]],[[.,.],.]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
[.,[[[.,[.,.]],.],[.,[.,.]]]]
=> ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8)
=> ? = 8
Description
The number of cuts of a poset.
A cut is a subset $A$ of the poset such that the set of lower bounds of the set of upper bounds of $A$ is exactly $A$.
The following 15 statistics, ordered by result quality, also match your data. Click on any of them to see the details.
St001302The number of minimally dominating sets of vertices of a graph. St001304The number of maximally independent sets of vertices of a graph. St001820The size of the image of the pop stack sorting operator. St001330The hat guessing number of a graph. St001879The number of indecomposable summands of the top of the first syzygy of the dual of the regular module in the incidence algebra of the lattice. St001626The number of maximal proper sublattices of a lattice. St000907The number of maximal antichains of minimal length in a poset. St001984A recursive count of subwords of the form 01, 10 and 11. St000225Difference between largest and smallest parts in a partition. St000319The spin of an integer partition. St000320The dinv adjustment of an integer partition. St001263The index of the maximal parabolic seaweed algebra associated with the composition. St001508The degree of the standard monomial associated to a Dyck path relative to the diagonal boundary. St000442The maximal area to the right of an up step of a Dyck path. St001237The number of simple modules with injective dimension at most one or dominant dimension at least one.
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!