Your data matches 103 different statistics following compositions of up to 3 maps.
(click to perform a complete search on your data)
Matching statistic: St000142
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00110: Posets —Greene-Kleitman invariant⟶ Integer partitions
Mp00202: Integer partitions —first row removal⟶ Integer partitions
St000142: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[[.,.],[.,.]]
 => ([(0,2),(1,2)],3)
 => [2,1]
 => [1]
 => 0
[.,[[.,.],[.,.]]]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 0
[[.,.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[.,.],[[.,.],.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[.,[.,.]],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[[.,.],.],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[[.,.],[.,.]],.]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 0
[.,[.,[[.,.],[.,.]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,.],[.,[.,.]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,.],[[.,.],.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,[.,.]],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[[.,.],.],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[[.,.],[.,.]],.]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[[.,.],[.,.]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 0
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[.,.]],[.,.]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 0
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[[.,.],[.,.]]],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[.,[.,.]]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[[.,.],.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[.,[.,.]],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],.],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],[.,.]],.],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[.,[.,[.,[[.,.],[.,.]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,.],[.,[.,.]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,.],[[.,.],.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,[.,.]],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[[.,.],.],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[[.,.],[.,.]],.]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[[.,.],[.,.]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => [4,1,1]
 => [1,1]
 => 0
[.,[[.,.],[[.,[.,.]],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[[[.,.],.],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,[.,.]],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[.,[.,.]],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[[.,.],.],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[[.,.],.],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[.,[.,[.,.]]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,[[.,.],.]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
Description
The number of even parts of a partition.
Matching statistic: St001092
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00110: Posets —Greene-Kleitman invariant⟶ Integer partitions
Mp00202: Integer partitions —first row removal⟶ Integer partitions
St001092: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[[.,.],[.,.]]
 => ([(0,2),(1,2)],3)
 => [2,1]
 => [1]
 => 0
[.,[[.,.],[.,.]]]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 0
[[.,.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[.,.],[[.,.],.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[.,[.,.]],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[[.,.],.],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[[.,.],[.,.]],.]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 0
[.,[.,[[.,.],[.,.]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,.],[.,[.,.]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,.],[[.,.],.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,[.,.]],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[[.,.],.],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[[.,.],[.,.]],.]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[[.,.],[.,.]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 0
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[.,.]],[.,.]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 0
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[[.,.],[.,.]]],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[.,[.,.]]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[[.,.],.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[.,[.,.]],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],.],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],[.,.]],.],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[.,[.,[.,[[.,.],[.,.]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,.],[.,[.,.]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,.],[[.,.],.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,[.,.]],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[[.,.],.],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[[.,.],[.,.]],.]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[[.,.],[.,.]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => [4,1,1]
 => [1,1]
 => 0
[.,[[.,.],[[.,[.,.]],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[[[.,.],.],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,[.,.]],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[.,[.,.]],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[[.,.],.],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[[.,.],.],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[.,[.,[.,.]]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,[[.,.],.]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
Description
The number of distinct even parts of a partition. See Section 3.3.1 of [1].
Matching statistic: St001252
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00110: Posets —Greene-Kleitman invariant⟶ Integer partitions
Mp00202: Integer partitions —first row removal⟶ Integer partitions
St001252: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[[.,.],[.,.]]
 => ([(0,2),(1,2)],3)
 => [2,1]
 => [1]
 => 0
[.,[[.,.],[.,.]]]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 0
[[.,.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[.,.],[[.,.],.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[.,[.,.]],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[[.,.],.],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[[.,.],[.,.]],.]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 0
[.,[.,[[.,.],[.,.]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,.],[.,[.,.]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,.],[[.,.],.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,[.,.]],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[[.,.],.],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[[.,.],[.,.]],.]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[[.,.],[.,.]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 0
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[.,.]],[.,.]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 0
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[[.,.],[.,.]]],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[.,[.,.]]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[[.,.],.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[.,[.,.]],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],.],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],[.,.]],.],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[.,[.,[.,[[.,.],[.,.]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,.],[.,[.,.]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,.],[[.,.],.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,[.,.]],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[[.,.],.],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[[.,.],[.,.]],.]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[[.,.],[.,.]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => [4,1,1]
 => [1,1]
 => 0
[.,[[.,.],[[.,[.,.]],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[[[.,.],.],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,[.,.]],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[.,[.,.]],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[[.,.],.],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[[.,.],.],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[.,[.,[.,.]]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,[[.,.],.]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
Description
Half the sum of the even parts of a partition.
Matching statistic: St001587
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00110: Posets —Greene-Kleitman invariant⟶ Integer partitions
Mp00202: Integer partitions —first row removal⟶ Integer partitions
St001587: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[[.,.],[.,.]]
 => ([(0,2),(1,2)],3)
 => [2,1]
 => [1]
 => 0
[.,[[.,.],[.,.]]]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 0
[[.,.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[.,.],[[.,.],.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[.,[.,.]],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[[.,.],.],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[[.,.],[.,.]],.]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 0
[.,[.,[[.,.],[.,.]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,.],[.,[.,.]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,.],[[.,.],.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,[.,.]],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[[.,.],.],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[[.,.],[.,.]],.]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[[.,.],[.,.]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 0
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[.,.]],[.,.]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 0
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[[.,.],[.,.]]],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[.,[.,.]]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[[.,.],.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[.,[.,.]],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],.],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],[.,.]],.],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[.,[.,[.,[[.,.],[.,.]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,.],[.,[.,.]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,.],[[.,.],.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,[.,.]],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[[.,.],.],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[[.,.],[.,.]],.]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[[.,.],[.,.]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => [4,1,1]
 => [1,1]
 => 0
[.,[[.,.],[[.,[.,.]],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[[[.,.],.],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,[.,.]],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[.,[.,.]],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[[.,.],.],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[[.,.],.],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[.,[.,[.,.]]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,[[.,.],.]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
Description
Half of the largest even part of an integer partition. The largest even part is recorded by [[St000995]].
Matching statistic: St001657
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00110: Posets —Greene-Kleitman invariant⟶ Integer partitions
Mp00202: Integer partitions —first row removal⟶ Integer partitions
St001657: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[[.,.],[.,.]]
 => ([(0,2),(1,2)],3)
 => [2,1]
 => [1]
 => 0
[.,[[.,.],[.,.]]]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 0
[[.,.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[.,.],[[.,.],.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[.,[.,.]],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[[.,.],.],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 0
[[[.,.],[.,.]],.]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 0
[.,[.,[[.,.],[.,.]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,.],[.,[.,.]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,.],[[.,.],.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[.,[.,.]],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[[.,.],.],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[.,[[[.,.],[.,.]],.]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[[.,.],[.,.]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 0
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 1
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[.,.]],[.,.]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 0
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 0
[[.,[[.,.],[.,.]]],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[.,[.,.]]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[.,.],[[.,.],.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[.,[.,.]],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],.],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 0
[[[[.,.],[.,.]],.],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 0
[.,[.,[.,[[.,.],[.,.]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,.],[.,[.,.]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,.],[[.,.],.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[.,[.,.]],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[[.,.],.],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[.,[[[.,.],[.,.]],.]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[[.,.],[.,.]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => [4,1,1]
 => [1,1]
 => 0
[.,[[.,.],[[.,[.,.]],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,.],[[[.,.],.],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,[.,.]],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[.,[.,.]],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[[.,.],.],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[[.,.],.],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 1
[.,[[.,[.,[.,.]]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
[.,[[.,[[.,.],.]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 0
Description
The number of twos in an integer partition. The total number of twos in all partitions of $n$ is equal to the total number of singletons [[St001484]] in all partitions of $n-1$, see [1].
Matching statistic: St000755
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00110: Posets —Greene-Kleitman invariant⟶ Integer partitions
Mp00202: Integer partitions —first row removal⟶ Integer partitions
St000755: Integer partitions ⟶ ℤResult quality: 100% ●values known / values provided: 100%●distinct values known / distinct values provided: 100%
Values
[[.,.],[.,.]]
 => ([(0,2),(1,2)],3)
 => [2,1]
 => [1]
 => 1 = 0 + 1
[.,[[.,.],[.,.]]]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 1 = 0 + 1
[[.,.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 1 = 0 + 1
[[.,.],[[.,.],.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 1 = 0 + 1
[[.,[.,.]],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 1 = 0 + 1
[[[.,.],.],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => [3,1]
 => [1]
 => 1 = 0 + 1
[[[.,.],[.,.]],.]
 => ([(0,3),(1,3),(3,2)],4)
 => [3,1]
 => [1]
 => 1 = 0 + 1
[.,[.,[[.,.],[.,.]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[.,[[.,.],[.,[.,.]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[.,[[.,.],[[.,.],.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[.,[[.,[.,.]],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[.,[[[.,.],.],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[.,[[[.,.],[.,.]],.]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[.,.],[[.,.],[.,.]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 1 = 0 + 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 2 = 1 + 1
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 2 = 1 + 1
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 2 = 1 + 1
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => [3,2]
 => [2]
 => 2 = 1 + 1
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[[.,.],[.,.]],[.,.]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => [3,1,1]
 => [1,1]
 => 1 = 0 + 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[.,[[.,.],[.,.]]],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[[.,.],[.,[.,.]]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[[.,.],[[.,.],.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[[.,[.,.]],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[[[.,.],.],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[[[[.,.],[.,.]],.],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => [4,1]
 => [1]
 => 1 = 0 + 1
[.,[.,[.,[[.,.],[.,.]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
[.,[.,[[.,.],[.,[.,.]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
[.,[.,[[.,.],[[.,.],.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
[.,[.,[[.,[.,.]],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
[.,[.,[[[.,.],.],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
[.,[.,[[[.,.],[.,.]],.]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
[.,[[.,.],[[.,.],[.,.]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => [4,1,1]
 => [1,1]
 => 1 = 0 + 1
[.,[[.,.],[[.,[.,.]],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
[.,[[.,.],[[[.,.],.],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
[.,[[.,[.,.]],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 2 = 1 + 1
[.,[[.,[.,.]],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 2 = 1 + 1
[.,[[[.,.],.],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 2 = 1 + 1
[.,[[[.,.],.],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => [4,2]
 => [2]
 => 2 = 1 + 1
[.,[[.,[.,[.,.]]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
[.,[[.,[[.,.],.]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => [5,1]
 => [1]
 => 1 = 0 + 1
Description
The number of real roots of the characteristic polynomial of a linear recurrence associated with an integer partition. Consider the recurrence $$f(n)=\sum_{p\in\lambda} f(n-p).$$ This statistic returns the number of distinct real roots of the associated characteristic polynomial. For example, the partition $(2,1)$ corresponds to the recurrence $f(n)=f(n-1)+f(n-2)$ with associated characteristic polynomial $x^2-x-1$, which has two real roots.
Matching statistic: St001621
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
St001621: Lattices ⟶ ℤResult quality: 84% ●values known / values provided: 84%●distinct values known / distinct values provided: 100%
Values
[[.,.],[.,.]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => 1 = 0 + 1
[.,[[.,.],[.,.]]]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[[.,.],.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,[.,.]],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,.],.],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,.],[.,.]],.]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[.,[.,[[.,.],[.,.]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[.,[.,.]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[[.,.],.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,[.,.]],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[[.,.],.],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[[.,.],[.,.]],.]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[[.,.],[.,.]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[.,.]],[.,.]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,[[.,.],[.,.]]],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[.,[.,.]]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[[.,.],.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,[.,.]],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],.],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],[.,.]],.],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[.,[.,[[.,.],[.,.]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,.],[.,[.,.]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,.],[[.,.],.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,[.,.]],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[[.,.],.],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[[.,.],[.,.]],.]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[[.,.],[.,.]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[[.,[.,.]],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[[[.,.],.],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,[.,.]],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[.,[.,.]],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[[.,.],.],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[[.,.],.],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[.,[.,[.,.]]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,[[.,.],.]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 1
[[.,[.,.]],[.,[.,[.,[.,.]]]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[.,[[.,.],.]]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[[.,[.,.]],.]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[[[.,.],.],.]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[.,[.,[.,.]]],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[.,[[.,.],.]],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[[.,[.,.]],.],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[[[.,.],.],.],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[.,[.,[.,.]]]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[.,[[.,.],.]]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[[.,[.,.]],.]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[[[.,.],.],.]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[.,[.,[.,.]]],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[.,[[.,.],.]],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[[.,[.,.]],.],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[[[.,.],.],.],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,[.,.]]],[.,[.,[.,.]]]]
 => ([(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 + 1
[[.,[.,[.,.]]],[.,[[.,.],.]]]
 => ([(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 + 1
[[.,[.,[.,.]]],[[.,[.,.]],.]]
 => ([(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 + 1
[[.,[.,[.,.]]],[[[.,.],.],.]]
 => ([(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 + 1
[[.,[[.,.],.]],[.,[.,[.,.]]]]
 => ([(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 + 1
[[.,[[.,.],.]],[.,[[.,.],.]]]
 => ([(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 + 1
[[.,[[.,.],.]],[[.,[.,.]],.]]
 => ([(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 + 1
[[.,[[.,.],.]],[[[.,.],.],.]]
 => ([(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 + 1
[[[.,[.,.]],.],[.,[.,[.,.]]]]
 => ([(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 + 1
[[[.,[.,.]],.],[.,[[.,.],.]]]
 => ([(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 + 1
[[[.,[.,.]],.],[[.,[.,.]],.]]
 => ([(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 + 1
[[[.,[.,.]],.],[[[.,.],.],.]]
 => ([(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 + 1
[[[[.,.],.],.],[.,[.,[.,.]]]]
 => ([(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 + 1
[[[[.,.],.],.],[.,[[.,.],.]]]
 => ([(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 + 1
[[[[.,.],.],.],[[.,[.,.]],.]]
 => ([(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 + 1
[[[[.,.],.],.],[[[.,.],.],.]]
 => ([(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 + 1
[[.,[.,[.,[.,.]]]],[.,[.,.]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,[.,[.,.]]]],[[.,.],.]]
 => ([(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)
 => ? = 1 + 1
Description
The number of atoms of a lattice. An element of a lattice is an '''atom''' if it covers the least element.
Matching statistic: St001624
(load all 2 compositions to match this statistic)
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
St001624: Lattices ⟶ ℤResult quality: 84% ●values known / values provided: 84%●distinct values known / distinct values provided: 100%
Values
[[.,.],[.,.]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => 1 = 0 + 1
[.,[[.,.],[.,.]]]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[[.,.],.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,[.,.]],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,.],.],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,.],[.,.]],.]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[.,[.,[[.,.],[.,.]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[.,[.,.]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[[.,.],.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,[.,.]],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[[.,.],.],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[[.,.],[.,.]],.]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[[.,.],[.,.]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[.,.]],[.,.]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,[[.,.],[.,.]]],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[.,[.,.]]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[[.,.],.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,[.,.]],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],.],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],[.,.]],.],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[.,[.,[[.,.],[.,.]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,.],[.,[.,.]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,.],[[.,.],.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,[.,.]],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[[.,.],.],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[[.,.],[.,.]],.]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[[.,.],[.,.]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[[.,[.,.]],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[[[.,.],.],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,[.,.]],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[.,[.,.]],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[[.,.],.],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[[.,.],.],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[.,[.,[.,.]]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,[[.,.],.]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 1
[[.,[.,.]],[.,[.,[.,[.,.]]]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[.,[[.,.],.]]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[[.,[.,.]],.]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[[[.,.],.],.]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[.,[.,[.,.]]],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[.,[[.,.],.]],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[[.,[.,.]],.],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[[[.,.],.],.],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[.,[.,[.,.]]]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[.,[[.,.],.]]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[[.,[.,.]],.]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[[[.,.],.],.]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[.,[.,[.,.]]],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[.,[[.,.],.]],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[[.,[.,.]],.],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[[[.,.],.],.],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,[.,.]]],[.,[.,[.,.]]]]
 => ([(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 + 1
[[.,[.,[.,.]]],[.,[[.,.],.]]]
 => ([(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 + 1
[[.,[.,[.,.]]],[[.,[.,.]],.]]
 => ([(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 + 1
[[.,[.,[.,.]]],[[[.,.],.],.]]
 => ([(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 + 1
[[.,[[.,.],.]],[.,[.,[.,.]]]]
 => ([(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 + 1
[[.,[[.,.],.]],[.,[[.,.],.]]]
 => ([(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 + 1
[[.,[[.,.],.]],[[.,[.,.]],.]]
 => ([(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 + 1
[[.,[[.,.],.]],[[[.,.],.],.]]
 => ([(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 + 1
[[[.,[.,.]],.],[.,[.,[.,.]]]]
 => ([(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 + 1
[[[.,[.,.]],.],[.,[[.,.],.]]]
 => ([(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 + 1
[[[.,[.,.]],.],[[.,[.,.]],.]]
 => ([(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 + 1
[[[.,[.,.]],.],[[[.,.],.],.]]
 => ([(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 + 1
[[[[.,.],.],.],[.,[.,[.,.]]]]
 => ([(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 + 1
[[[[.,.],.],.],[.,[[.,.],.]]]
 => ([(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 + 1
[[[[.,.],.],.],[[.,[.,.]],.]]
 => ([(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 + 1
[[[[.,.],.],.],[[[.,.],.],.]]
 => ([(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 + 1
[[.,[.,[.,[.,.]]]],[.,[.,.]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,[.,[.,.]]]],[[.,.],.]]
 => ([(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)
 => ? = 1 + 1
Description
The breadth of a lattice. The '''breadth''' of a lattice is the least integer $b$ such that any join $x_1\vee x_2\vee\cdots\vee x_n$, with $n > b$, can be expressed as a join over a proper subset of $\{x_1,x_2,\ldots,x_n\}$.
Matching statistic: St001632
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
Mp00193: Lattices —to poset⟶ Posets
St001632: Posets ⟶ ℤResult quality: 84% ●values known / values provided: 84%●distinct values known / distinct values provided: 100%
Values
[[.,.],[.,.]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ([(0,1)],2)
 => 1 = 0 + 1
[.,[[.,.],[.,.]]]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[[.,.],.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,[.,.]],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,.],.],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,.],[.,.]],.]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[.,[.,[[.,.],[.,.]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[.,[.,.]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[[.,.],.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,[.,.]],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[[.,.],.],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[[.,.],[.,.]],.]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[[.,.],[.,.]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 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)
 => 2 = 1 + 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)
 => 2 = 1 + 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)
 => 2 = 1 + 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)
 => 2 = 1 + 1
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[.,.]],[.,.]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,[[.,.],[.,.]]],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[.,[.,.]]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[[.,.],.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,[.,.]],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],.],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],[.,.]],.],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[.,[.,[[.,.],[.,.]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,.],[.,[.,.]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,.],[[.,.],.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,[.,.]],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[[.,.],.],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[[.,.],[.,.]],.]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[[.,.],[.,.]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => ([(0,3),(2,1),(3,2)],4)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[[.,[.,.]],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[[[.,.],.],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,[.,.]],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[.,[.,.]],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[[.,.],.],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[[.,.],.],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[.,[.,[.,.]]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,[[.,.],.]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 1
[[.,[.,.]],[.,[.,[.,[.,.]]]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[.,[[.,.],.]]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[[.,[.,.]],.]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[[[.,.],.],.]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[.,[.,[.,.]]],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[.,[[.,.],.]],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[[.,[.,.]],.],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[[[.,.],.],.],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[.,[.,[.,.]]]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[.,[[.,.],.]]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[[.,[.,.]],.]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[[[.,.],.],.]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[.,[.,[.,.]]],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[.,[[.,.],.]],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[[.,[.,.]],.],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[[[.,.],.],.],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,[.,.]]],[.,[.,[.,.]]]]
 => ([(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)
 => ? = 0 + 1
[[.,[.,[.,.]]],[.,[[.,.],.]]]
 => ([(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)
 => ? = 0 + 1
[[.,[.,[.,.]]],[[.,[.,.]],.]]
 => ([(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)
 => ? = 0 + 1
[[.,[.,[.,.]]],[[[.,.],.],.]]
 => ([(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)
 => ? = 0 + 1
[[.,[[.,.],.]],[.,[.,[.,.]]]]
 => ([(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)
 => ? = 0 + 1
[[.,[[.,.],.]],[.,[[.,.],.]]]
 => ([(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)
 => ? = 0 + 1
[[.,[[.,.],.]],[[.,[.,.]],.]]
 => ([(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)
 => ? = 0 + 1
[[.,[[.,.],.]],[[[.,.],.],.]]
 => ([(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)
 => ? = 0 + 1
[[[.,[.,.]],.],[.,[.,[.,.]]]]
 => ([(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)
 => ? = 0 + 1
[[[.,[.,.]],.],[.,[[.,.],.]]]
 => ([(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)
 => ? = 0 + 1
[[[.,[.,.]],.],[[.,[.,.]],.]]
 => ([(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)
 => ? = 0 + 1
[[[.,[.,.]],.],[[[.,.],.],.]]
 => ([(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)
 => ? = 0 + 1
[[[[.,.],.],.],[.,[.,[.,.]]]]
 => ([(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)
 => ? = 0 + 1
[[[[.,.],.],.],[.,[[.,.],.]]]
 => ([(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)
 => ? = 0 + 1
[[[[.,.],.],.],[[.,[.,.]],.]]
 => ([(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)
 => ? = 0 + 1
[[[[.,.],.],.],[[[.,.],.],.]]
 => ([(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)
 => ? = 0 + 1
[[.,[.,[.,[.,.]]]],[.,[.,.]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,[.,[.,.]]]],[[.,.],.]]
 => ([(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)
 => ? = 1 + 1
Description
The number of indecomposable injective modules $I$ with $dim Ext^1(I,A)=1$ for the incidence algebra A of a poset.
Matching statistic: St001878
Mapping
Mp00013: Binary trees —to poset⟶ Posets
Mp00205: Posets —maximal antichains⟶ Lattices
St001878: Lattices ⟶ ℤResult quality: 84% ●values known / values provided: 84%●distinct values known / distinct values provided: 100%
Values
[[.,.],[.,.]]
 => ([(0,2),(1,2)],3)
 => ([(0,1)],2)
 => ? = 0 + 1
[.,[[.,.],[.,.]]]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[[.,.],.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,[.,.]],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,.],.],[.,.]]
 => ([(0,3),(1,2),(2,3)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,.],[.,.]],.]
 => ([(0,3),(1,3),(3,2)],4)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[.,[.,[[.,.],[.,.]]]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[.,[.,.]]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[[.,.],.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,[.,.]],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[[.,.],.],[.,.]]]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[[.,.],[.,.]],.]]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[.,[.,[.,.]]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[.,[[.,.],.]]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[[.,.],[.,.]]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[.,.],[[.,[.,.]],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,.],[[[.,.],.],.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,[.,.]],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[.,[.,.]],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[[.,.],.],[.,[.,.]]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[[.,.],.],[[.,.],.]]
 => ([(0,3),(1,2),(2,4),(3,4)],5)
 => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5)
 => 2 = 1 + 1
[[.,[.,[.,.]]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,[[.,.],.]],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[.,.]],[.,.]]
 => ([(0,4),(1,3),(2,3),(3,4)],5)
 => ([(0,2),(2,1)],3)
 => 1 = 0 + 1
[[[.,[.,.]],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],.],.],[.,.]]
 => ([(0,4),(1,2),(2,3),(3,4)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[.,[[.,.],[.,.]]],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[.,[.,.]]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,.],[[.,.],.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[.,[.,.]],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],.],[.,.]],.]
 => ([(0,4),(1,2),(2,4),(4,3)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[[[[.,.],[.,.]],.],.]
 => ([(0,4),(1,4),(2,3),(4,2)],5)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[.,[.,[[.,.],[.,.]]]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,.],[.,[.,.]]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,.],[[.,.],.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[.,[.,.]],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[[.,.],.],[.,.]]]]
 => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[.,[[[.,.],[.,.]],.]]]
 => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[.,[.,[.,.]]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[.,[[.,.],.]]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[[.,.],[.,.]]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 1
[.,[[.,.],[[.,[.,.]],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,.],[[[.,.],.],.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,[.,.]],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[.,[.,.]],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[[.,.],.],[.,[.,.]]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[[.,.],.],[[.,.],.]]]
 => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
 => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6)
 => 2 = 1 + 1
[.,[[.,[.,[.,.]]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[.,[[.,.],.]],[.,.]]]
 => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
 => ([(0,4),(2,3),(3,1),(4,2)],5)
 => 1 = 0 + 1
[.,[[[.,.],[.,.]],[.,.]]]
 => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
 => ([(0,3),(2,1),(3,2)],4)
 => 1 = 0 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 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)
 => ? = 1 + 1
[[.,[.,.]],[.,[.,[.,[.,.]]]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[.,[[.,.],.]]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[[.,[.,.]],.]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[.,[[[.,.],.],.]]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[.,[.,[.,.]]],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[.,[[.,.],.]],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[[.,[.,.]],.],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,.]],[[[[.,.],.],.],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[.,[.,[.,.]]]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[.,[[.,.],.]]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[[.,[.,.]],.]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[.,[[[.,.],.],.]]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[.,[.,[.,.]]],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[.,[[.,.],.]],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[[.,[.,.]],.],.]]
 => ([(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)
 => ? = 1 + 1
[[[.,.],.],[[[[.,.],.],.],.]]
 => ([(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)
 => ? = 1 + 1
[[.,[.,[.,.]]],[.,[.,[.,.]]]]
 => ([(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 + 1
[[.,[.,[.,.]]],[.,[[.,.],.]]]
 => ([(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 + 1
[[.,[.,[.,.]]],[[.,[.,.]],.]]
 => ([(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 + 1
[[.,[.,[.,.]]],[[[.,.],.],.]]
 => ([(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 + 1
[[.,[[.,.],.]],[.,[.,[.,.]]]]
 => ([(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 + 1
[[.,[[.,.],.]],[.,[[.,.],.]]]
 => ([(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 + 1
[[.,[[.,.],.]],[[.,[.,.]],.]]
 => ([(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 + 1
[[.,[[.,.],.]],[[[.,.],.],.]]
 => ([(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 + 1
[[[.,[.,.]],.],[.,[.,[.,.]]]]
 => ([(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 + 1
[[[.,[.,.]],.],[.,[[.,.],.]]]
 => ([(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 + 1
[[[.,[.,.]],.],[[.,[.,.]],.]]
 => ([(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 + 1
[[[.,[.,.]],.],[[[.,.],.],.]]
 => ([(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 + 1
[[[[.,.],.],.],[.,[.,[.,.]]]]
 => ([(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 + 1
[[[[.,.],.],.],[.,[[.,.],.]]]
 => ([(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 + 1
[[[[.,.],.],.],[[.,[.,.]],.]]
 => ([(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 + 1
[[[[.,.],.],.],[[[.,.],.],.]]
 => ([(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 + 1
[[.,[.,[.,[.,.]]]],[.,[.,.]]]
 => ([(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)
 => ? = 1 + 1
Description
The projective dimension of the simple modules corresponding to the minimum of L in the incidence algebra of the lattice L.
The following 93 statistics, ordered by result quality, also match your data. Click on any of them to see the details.
St000632The jump number of the poset. St000848The balance constant multiplied with the number of linear extensions of a poset. St000849The number of 1/3-balanced pairs in a poset. St000850The number of 1/2-balanced pairs in a poset. St001397Number of pairs of incomparable elements in a finite poset. St001398Number of subsets of size 3 of elements in a poset that form a "v". St000100The number of linear extensions of a poset. St000298The order dimension or Dushnik-Miller dimension of a poset. St000307The number of rowmotion orbits of a poset. St000633The size of the automorphism group of a poset. St000640The rank of the largest boolean interval in a poset. St000845The maximal number of elements covered by an element in a poset. St000846The maximal number of elements covering an element of a poset. St000910The number of maximal chains of minimal length in a poset. St001105The number of greedy linear extensions of a poset. St001106The number of supergreedy linear extensions of a poset. St001268The size of the largest ordinal summand in the poset. St001399The distinguishing number of a poset. St001779The order of promotion on the set of linear extensions of a poset. St001942The number of loops of the quiver corresponding to the reduced incidence algebra of a poset. St001964The interval resolution global dimension of a poset. St000621The number of standard tableaux of shape equal to the given partition such that the minimal cyclic descent is even. St000205Number of non-integral Gelfand-Tsetlin polytopes with prescribed top row and partition weight. St001442The number of standard Young tableaux whose major index is divisible by the size of a given integer partition. St000206Number of non-integral Gelfand-Tsetlin polytopes with prescribed top row and integer composition weight. St000208Number of integral Gelfand-Tsetlin polytopes with prescribed top row and integer partition weight. St000752The Grundy value for the game 'Couples are forever' on an integer partition. St001110The 3-dynamic chromatic number of a graph. St000256The number of parts from which one can substract 2 and still get an integer partition. St001271The competition number of a graph. St001330The hat guessing number of a graph. St001845The number of join irreducibles minus the rank of a lattice. St001613The binary logarithm of the size of the center of a lattice. St001881The number of factors of a lattice as a Cartesian product of lattices. St001618The cardinality of the Frattini sublattice of a lattice. St001644The dimension of a graph. St001638The book thickness of a graph. St001677The number of non-degenerate subsets of a lattice whose meet is the bottom element. St001681The number of inclusion-wise minimal subsets of a lattice, whose meet is the bottom element. St001435The number of missing boxes in the first row. St001438The number of missing boxes of a skew partition. St001551The number of restricted non-inversions between exceedances where the rightmost exceedance is linked. St001487The number of inner corners of a skew partition. St001490The number of connected components of a skew partition. St001734The lettericity of a graph. St001876The number of 2-regular simple modules in the incidence algebra of the lattice. St000281The size of the preimage of the map 'to poset' from Binary trees to Posets. St000282The size of the preimage of the map 'to poset' from Ordered trees to Posets. St001301The first Betti number of the order complex associated with the poset. St001396Number of triples of incomparable elements in a finite poset. St000908The length of the shortest maximal antichain in a poset. St000914The sum of the values of the Möbius function of a poset. St001532The leading coefficient of the Poincare polynomial of the poset cone. St001634The trace of the Coxeter matrix of the incidence algebra of a poset. St000454The largest eigenvalue of a graph if it is integral. St000455The second largest eigenvalue of a graph if it is integral. St001625The Möbius invariant of a lattice. St000095The number of triangles of a graph. St000274The number of perfect matchings of a graph. St000303The determinant of the product of the incidence matrix and its transpose of a graph divided by $4$. St000315The number of isolated vertices of a graph. St001572The minimal number of edges to remove to make a graph bipartite. St001573The minimal number of edges to remove to make a graph triangle-free. St001690The length of a longest path in a graph such that after removing the paths edges, every vertex of the path has distance two from some other vertex of the path. St001783The number of odd automorphisms of a graph. St001871The number of triconnected components of a graph. St000096The number of spanning trees of a graph. St000261The edge connectivity of a graph. St000262The vertex connectivity of a graph. St000287The number of connected components of a graph. St000310The minimal degree of a vertex of a graph. St000450The number of edges minus the number of vertices plus 2 of a graph. St001518The number of graphs with the same ordinary spectrum as the given graph. St001828The Euler characteristic of a graph. St000822The Hadwiger number of the graph. St000276The size of the preimage of the map 'to graph' from Ordered trees to Graphs. St000379The number of Hamiltonian cycles in a graph. St001307The number of induced stars on four vertices in a graph. St001323The independence gap of a graph. St001325The minimal number of occurrences of the comparability-pattern in a linear ordering of the vertices of the graph. St001347The number of pairs of vertices of a graph having the same neighbourhood. St001367The smallest number which does not occur as degree of a vertex in a graph. St000286The number of connected components of the complement of a graph. St000456The monochromatic index of a connected graph. St001333The cardinality of a minimal edge-isolating set of a graph. St001340The cardinality of a minimal non-edge isolating set of a graph. St001393The induced matching number of a graph. St001496The number of graphs with the same Laplacian spectrum as the given graph. St001592The maximal number of simple paths between any two different vertices of a graph. St001635The trace of the square of the Coxeter matrix of the incidence algebra of a poset. St001261The Castelnuovo-Mumford regularity of a graph. St001339The irredundance number of a graph. St001315The dissociation number of a graph.