Identifier
-
Mp00013:
Binary trees
—to poset⟶
Posets
St000281: Posets ⟶ ℤ
Values
=>
Cc0010;cc-rep-0
Cc0014;cc-rep
[.,[.,.]]=>([(0,1)],2)=>2
[[.,.],.]=>([(0,1)],2)=>2
[.,[.,[.,.]]]=>([(0,2),(2,1)],3)=>4
[.,[[.,.],.]]=>([(0,2),(2,1)],3)=>4
[[.,.],[.,.]]=>([(0,2),(1,2)],3)=>1
[[.,[.,.]],.]=>([(0,2),(2,1)],3)=>4
[[[.,.],.],.]=>([(0,2),(2,1)],3)=>4
[.,[.,[.,[.,.]]]]=>([(0,3),(2,1),(3,2)],4)=>8
[.,[.,[[.,.],.]]]=>([(0,3),(2,1),(3,2)],4)=>8
[.,[[.,.],[.,.]]]=>([(0,3),(1,3),(3,2)],4)=>2
[.,[[.,[.,.]],.]]=>([(0,3),(2,1),(3,2)],4)=>8
[.,[[[.,.],.],.]]=>([(0,3),(2,1),(3,2)],4)=>8
[[.,.],[.,[.,.]]]=>([(0,3),(1,2),(2,3)],4)=>4
[[.,.],[[.,.],.]]=>([(0,3),(1,2),(2,3)],4)=>4
[[.,[.,.]],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>4
[[[.,.],.],[.,.]]=>([(0,3),(1,2),(2,3)],4)=>4
[[.,[.,[.,.]]],.]=>([(0,3),(2,1),(3,2)],4)=>8
[[.,[[.,.],.]],.]=>([(0,3),(2,1),(3,2)],4)=>8
[[[.,.],[.,.]],.]=>([(0,3),(1,3),(3,2)],4)=>2
[[[.,[.,.]],.],.]=>([(0,3),(2,1),(3,2)],4)=>8
[[[[.,.],.],.],.]=>([(0,3),(2,1),(3,2)],4)=>8
[.,[.,[.,[.,[.,.]]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[.,[.,[.,[[.,.],.]]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[.,[.,[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>4
[.,[.,[[.,[.,.]],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[.,[.,[[[.,.],.],.]]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[.,[[.,.],[.,[.,.]]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8
[.,[[.,.],[[.,.],.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8
[.,[[.,[.,.]],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8
[.,[[[.,.],.],[.,.]]]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8
[.,[[.,[.,[.,.]]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[.,[[.,[[.,.],.]],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[.,[[[.,.],[.,.]],.]]=>([(0,4),(1,4),(2,3),(4,2)],5)=>4
[.,[[[.,[.,.]],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[.,[[[[.,.],.],.],.]]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[[.,.],[.,[.,[.,.]]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8
[[.,.],[.,[[.,.],.]]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8
[[.,.],[[.,.],[.,.]]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>2
[[.,.],[[.,[.,.]],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8
[[.,.],[[[.,.],.],.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8
[[.,[.,.]],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>4
[[.,[.,.]],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>4
[[[.,.],.],[.,[.,.]]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>4
[[[.,.],.],[[.,.],.]]=>([(0,3),(1,2),(2,4),(3,4)],5)=>4
[[.,[.,[.,.]]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8
[[.,[[.,.],.]],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8
[[[.,.],[.,.]],[.,.]]=>([(0,4),(1,3),(2,3),(3,4)],5)=>2
[[[.,[.,.]],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8
[[[[.,.],.],.],[.,.]]=>([(0,4),(1,2),(2,3),(3,4)],5)=>8
[[.,[.,[.,[.,.]]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[[.,[.,[[.,.],.]]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[[.,[[.,.],[.,.]]],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>4
[[.,[[.,[.,.]],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[[.,[[[.,.],.],.]],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[[[.,.],[.,[.,.]]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8
[[[.,.],[[.,.],.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8
[[[.,[.,.]],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8
[[[[.,.],.],[.,.]],.]=>([(0,4),(1,2),(2,4),(4,3)],5)=>8
[[[.,[.,[.,.]]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[[[.,[[.,.],.]],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[[[[.,.],[.,.]],.],.]=>([(0,4),(1,4),(2,3),(4,2)],5)=>4
[[[[.,[.,.]],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[[[[[.,.],.],.],.],.]=>([(0,4),(2,3),(3,1),(4,2)],5)=>16
[.,[.,[.,[.,[.,[.,.]]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[.,[.,[.,[[.,.],.]]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[.,[.,[[.,.],[.,.]]]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8
[.,[.,[.,[[.,[.,.]],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[.,[.,[[[.,.],.],.]]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[.,[[.,.],[.,[.,.]]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[.,[.,[[.,.],[[.,.],.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[.,[.,[[.,[.,.]],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[.,[.,[[[.,.],.],[.,.]]]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[.,[.,[[.,[.,[.,.]]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[.,[[.,[[.,.],.]],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[.,[[[.,.],[.,.]],.]]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8
[.,[.,[[[.,[.,.]],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[.,[[[[.,.],.],.],.]]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[[.,.],[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[.,[[.,.],[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[.,[[.,.],[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>4
[.,[[.,.],[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[.,[[.,.],[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[.,[[.,[.,.]],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8
[.,[[.,[.,.]],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8
[.,[[[.,.],.],[.,[.,.]]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8
[.,[[[.,.],.],[[.,.],.]]]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8
[.,[[.,[.,[.,.]]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[.,[[.,[[.,.],.]],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[.,[[[.,.],[.,.]],[.,.]]]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>4
[.,[[[.,[.,.]],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[.,[[[[.,.],.],.],[.,.]]]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[.,[[.,[.,[.,[.,.]]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[[.,[.,[[.,.],.]]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[[.,[[.,.],[.,.]]],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8
[.,[[.,[[.,[.,.]],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[[.,[[[.,.],.],.]],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[[[.,.],[.,[.,.]]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[.,[[[.,.],[[.,.],.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[.,[[[.,[.,.]],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[.,[[[[.,.],.],[.,.]],.]]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[.,[[[.,[.,[.,.]]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[[[.,[[.,.],.]],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[[[[.,.],[.,.]],.],.]]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8
[.,[[[[.,[.,.]],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[[[[[.,.],.],.],.],.]]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[.,.],[.,[.,[.,[.,.]]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,.],[.,[.,[[.,.],.]]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>4
[[.,.],[.,[[.,[.,.]],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,.],[.,[[[.,.],.],.]]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,.],[[.,.],[.,[.,.]]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8
[[.,.],[[.,.],[[.,.],.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8
[[.,.],[[.,[.,.]],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8
[[.,.],[[[.,.],.],[.,.]]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8
[[.,.],[[.,[.,[.,.]]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,.],[[.,[[.,.],.]],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,.],[[[.,.],[.,.]],.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>4
[[.,.],[[[.,[.,.]],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,.],[[[[.,.],.],.],.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,[.,.]],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[.,[.,.]],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[.,[.,.]],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>4
[[.,[.,.]],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[.,[.,.]],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[[.,.],.],[.,[.,[.,.]]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[[.,.],.],[.,[[.,.],.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[[.,.],.],[[.,.],[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>4
[[[.,.],.],[[.,[.,.]],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[[.,.],.],[[[.,.],.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[.,[.,[.,.]]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[.,[.,[.,.]]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[.,[[.,.],.]],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[.,[[.,.],.]],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[[.,.],[.,.]],[.,[.,.]]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>4
[[[.,.],[.,.]],[[.,.],.]]=>([(0,4),(1,4),(2,3),(3,5),(4,5)],6)=>4
[[[.,[.,.]],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[[.,[.,.]],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[[[.,.],.],.],[.,[.,.]]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[[[.,.],.],.],[[.,.],.]]=>([(0,3),(1,4),(2,5),(3,5),(4,2)],6)=>16
[[.,[.,[.,[.,.]]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,[.,[[.,.],.]]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,[[.,.],[.,.]]],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>4
[[.,[[.,[.,.]],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,[[[.,.],.],.]],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[[.,.],[.,[.,.]]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8
[[[.,.],[[.,.],.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8
[[[.,[.,.]],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8
[[[[.,.],.],[.,.]],[.,.]]=>([(0,5),(1,4),(2,3),(3,5),(5,4)],6)=>8
[[[.,[.,[.,.]]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[[.,[[.,.],.]],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[[[.,.],[.,.]],.],[.,.]]=>([(0,5),(1,4),(2,4),(3,5),(4,3)],6)=>4
[[[[.,[.,.]],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[[[[.,.],.],.],.],[.,.]]=>([(0,5),(1,4),(2,5),(3,2),(4,3)],6)=>16
[[.,[.,[.,[.,[.,.]]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[.,[.,[.,[[.,.],.]]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[.,[.,[[.,.],[.,.]]]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8
[[.,[.,[[.,[.,.]],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[.,[.,[[[.,.],.],.]]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[.,[[.,.],[.,[.,.]]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[[.,[[.,.],[[.,.],.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[[.,[[.,[.,.]],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[[.,[[[.,.],.],[.,.]]],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[[.,[[.,[.,[.,.]]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[.,[[.,[[.,.],.]],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[.,[[[.,.],[.,.]],.]],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8
[[.,[[[.,[.,.]],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[.,[[[[.,.],.],.],.]],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[[.,.],[.,[.,[.,.]]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[[[.,.],[.,[[.,.],.]]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[[[.,.],[[.,.],[.,.]]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>4
[[[.,.],[[.,[.,.]],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[[[.,.],[[[.,.],.],.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[[[.,[.,.]],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8
[[[.,[.,.]],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8
[[[[.,.],.],[.,[.,.]]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8
[[[[.,.],.],[[.,.],.]],.]=>([(0,4),(1,3),(3,5),(4,5),(5,2)],6)=>8
[[[.,[.,[.,.]]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[[[.,[[.,.],.]],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[[[[.,.],[.,.]],[.,.]],.]=>([(0,5),(1,4),(2,4),(4,5),(5,3)],6)=>4
[[[[.,[.,.]],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[[[[[.,.],.],.],[.,.]],.]=>([(0,5),(1,4),(2,5),(4,2),(5,3)],6)=>16
[[[.,[.,[.,[.,.]]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[[.,[.,[[.,.],.]]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[[.,[[.,.],[.,.]]],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8
[[[.,[[.,[.,.]],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[[.,[[[.,.],.],.]],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[[[.,.],[.,[.,.]]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[[[[.,.],[[.,.],.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[[[[.,[.,.]],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[[[[[.,.],.],[.,.]],.],.]=>([(0,5),(1,3),(3,5),(4,2),(5,4)],6)=>16
[[[[.,[.,[.,.]]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[[[.,[[.,.],.]],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[[[[.,.],[.,.]],.],.],.]=>([(0,5),(1,5),(3,2),(4,3),(5,4)],6)=>8
[[[[[.,[.,.]],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[[[[[[.,.],.],.],.],.],.]=>([(0,5),(2,4),(3,2),(4,1),(5,3)],6)=>32
[.,[.,[.,[.,[[.,.],[.,.]]]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[.,[.,[.,[[[.,.],[.,.]],.]]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[.,[.,[[.,.],[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8
[.,[.,[[[.,.],[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8
[.,[.,[[.,[[.,.],[.,.]]],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[.,[.,[[[[.,.],[.,.]],.],.]]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[.,[[.,.],[.,[.,[.,[.,.]]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,.],[.,[.,[[.,.],.]]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,.],[.,[[.,.],[.,.]]]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8
[.,[[.,.],[.,[[.,[.,.]],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,.],[.,[[[.,.],.],.]]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,.],[[.,[.,[.,.]]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,.],[[.,[[.,.],.]],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,.],[[[.,.],[.,.]],.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8
[.,[[.,.],[[[.,[.,.]],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,.],[[[[.,.],.],.],.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,[.,.]],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8
[.,[[[.,.],.],[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8
[.,[[[.,.],[.,.]],[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8
[.,[[[.,.],[.,.]],[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8
[.,[[.,[.,[.,[.,.]]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,[.,[[.,.],.]]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,[[.,.],[.,.]]],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8
[.,[[.,[[.,[.,.]],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,[[[.,.],.],.]],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[[.,[.,[.,.]]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[[.,[[.,.],.]],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[[[.,.],[.,.]],.],[.,.]]]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8
[.,[[[[.,[.,.]],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[[[[.,.],.],.],.],[.,.]]]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[.,[[.,[.,[[.,.],[.,.]]]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[.,[[.,[[[.,.],[.,.]],.]],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[.,[[[.,.],[[.,.],[.,.]]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8
[.,[[[[.,.],[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8
[.,[[[.,[[.,.],[.,.]]],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[.,[[[[[.,.],[.,.]],.],.],.]]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[[.,.],[.,[.,[[.,.],[.,.]]]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8
[[.,.],[.,[[.,.],[.,[.,.]]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,.],[.,[[.,.],[[.,.],.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,.],[.,[[.,[.,.]],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,.],[.,[[[.,.],.],[.,.]]]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,.],[.,[[[.,.],[.,.]],.]]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8
[[.,.],[[.,.],[[.,.],[.,.]]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>4
[[.,.],[[[.,.],[.,.]],[.,.]]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>4
[[.,.],[[.,[[.,.],[.,.]]],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8
[[.,.],[[[.,.],[.,[.,.]]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,.],[[[.,.],[[.,.],.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,.],[[[.,[.,.]],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,.],[[[[.,.],.],[.,.]],.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,.],[[[[.,.],[.,.]],.],.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8
[[.,[.,.]],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8
[[.,[.,.]],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8
[[[.,.],.],[.,[[.,.],[.,.]]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8
[[[.,.],.],[[[.,.],[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8
[[.,[.,[.,.]]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8
[[.,[[.,.],.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8
[[[.,.],[.,.]],[.,[.,[.,.]]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8
[[[.,.],[.,.]],[.,[[.,.],.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8
[[[.,.],[.,.]],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7)=>1
[[[.,.],[.,.]],[[.,[.,.]],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8
[[[.,.],[.,.]],[[[.,.],.],.]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8
[[[.,[.,.]],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8
[[[[.,.],.],.],[[.,.],[.,.]]]=>([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)=>8
[[.,[[.,.],[.,.]]],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8
[[.,[[.,.],[.,.]]],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8
[[[[.,.],[.,.]],.],[.,[.,.]]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8
[[[[.,.],[.,.]],.],[[.,.],.]]=>([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)=>8
[[.,[.,[[.,.],[.,.]]]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8
[[.,[[.,.],[.,[.,.]]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,[[.,.],[[.,.],.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,[[.,[.,.]],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,[[[.,.],.],[.,.]]],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[.,[[[.,.],[.,.]],.]],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8
[[[.,.],[[.,.],[.,.]]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>4
[[[[.,.],[.,.]],[.,.]],[.,.]]=>([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)=>4
[[[.,[[.,.],[.,.]]],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8
[[[[.,.],[.,[.,.]]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[[[.,.],[[.,.],.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[[[.,[.,.]],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[[[[.,.],.],[.,.]],.],[.,.]]=>([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)=>16
[[[[[.,.],[.,.]],.],.],[.,.]]=>([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)=>8
[[.,[.,[.,[[.,.],[.,.]]]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[[.,[.,[[[.,.],[.,.]],.]]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[[.,[[.,.],[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8
[[.,[[[.,.],[.,.]],[.,.]]],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8
[[.,[[.,[[.,.],[.,.]]],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[[.,[[[[.,.],[.,.]],.],.]],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[[[.,.],[.,[.,[.,[.,.]]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,.],[.,[.,[[.,.],.]]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,.],[.,[[.,.],[.,.]]]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8
[[[.,.],[.,[[.,[.,.]],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,.],[.,[[[.,.],.],.]]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,.],[[.,[.,[.,.]]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,.],[[.,[[.,.],.]],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,.],[[[.,.],[.,.]],.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8
[[[.,.],[[[.,[.,.]],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,.],[[[[.,.],.],.],.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,[.,.]],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8
[[[[.,.],.],[[.,.],[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8
[[[[.,.],[.,.]],[.,[.,.]]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8
[[[[.,.],[.,.]],[[.,.],.]],.]=>([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)=>8
[[[.,[.,[.,[.,.]]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,[.,[[.,.],.]]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,[[.,.],[.,.]]],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8
[[[.,[[.,[.,.]],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,[[[.,.],.],.]],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[[.,[.,[.,.]]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[[.,[[.,.],.]],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[[[.,.],[.,.]],.],[.,.]],.]=>([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)=>8
[[[[[.,[.,.]],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[[[[.,.],.],.],.],[.,.]],.]=>([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)=>32
[[[.,[.,[[.,.],[.,.]]]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[[[.,[[[.,.],[.,.]],.]],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[[[[.,.],[[.,.],[.,.]]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8
[[[[[.,.],[.,.]],[.,.]],.],.]=>([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)=>8
[[[[.,[[.,.],[.,.]]],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
[[[[[[.,.],[.,.]],.],.],.],.]=>([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7)=>16
search for individual values
searching the database for the individual values of this statistic
/
search for generating function
searching the database for statistics with the same generating function
Description
The size of the preimage of the map 'to poset' from Binary trees to Posets.
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!