- FindStat

Identifier

Mp00047: Ordered trees —to poset⟶ Posets
St000907: Posets ⟶ ℤ

Values

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

>>> Load all 385 entries. <<<

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

[[[],[]],[[],[]]] => ([(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) => 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

search for individual values

searching the database for the individual values of this statistic

/ search for generating function

searching the database for statistics with the same generating function

click to show known generating functions

$F_{1} = q$

$F_{2} = q^{2}$

$F_{3} = q + q^{3}$

$F_{4} = 3\ q + q^{2} + q^{4}$

$F_{5} = 9\ q + 3\ q^{2} + q^{3} + q^{5}$

$F_{6} = 28\ q + 9\ q^{2} + 3\ q^{3} + q^{4} + q^{6}$

$F_{7} = 90\ q + 28\ q^{2} + 9\ q^{3} + 3\ q^{4} + q^{5} + q^{7}$

Description

The number of maximal antichains of minimal length in a poset.

Map

to poset

Description

Return the poset obtained by interpreting the tree as the Hasse diagram of a graph.