Identifier
Values
[] => ([],1) => 1
[[]] => ([(0,1)],2) => 2
[[],[]] => ([(0,2),(1,2)],3) => 2
[[[]]] => ([(0,2),(2,1)],3) => 3
[[],[],[]] => ([(0,3),(1,3),(2,3)],4) => 2
[[],[[]]] => ([(0,3),(1,2),(2,3)],4) => 3
[[[]],[]] => ([(0,3),(1,2),(2,3)],4) => 3
[[[],[]]] => ([(0,3),(1,3),(3,2)],4) => 3
[[[[]]]] => ([(0,3),(2,1),(3,2)],4) => 4
[[],[],[],[]] => ([(0,4),(1,4),(2,4),(3,4)],5) => 2
[[],[],[[]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => 3
[[],[[]],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => 3
[[],[[],[]]] => ([(0,4),(1,3),(2,3),(3,4)],5) => 3
[[],[[[]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => 4
[[[]],[],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => 3
[[[]],[[]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => 5
[[[],[]],[]] => ([(0,4),(1,3),(2,3),(3,4)],5) => 3
[[[[]]],[]] => ([(0,4),(1,2),(2,3),(3,4)],5) => 4
[[[],[],[]]] => ([(0,4),(1,4),(2,4),(4,3)],5) => 3
[[[],[[]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => 4
[[[[]],[]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => 4
[[[[],[]]]] => ([(0,4),(1,4),(2,3),(4,2)],5) => 4
[[[[[]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => 5
[[],[],[],[],[]] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => 2
[[],[],[],[[]]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => 3
[[],[],[[]],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => 3
[[],[],[[],[]]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => 3
[[],[],[[[]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 4
[[],[[]],[],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => 3
[[],[[]],[[]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 5
[[],[[],[]],[]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => 3
[[],[[[]]],[]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 4
[[],[[],[],[]]] => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6) => 3
[[],[[],[[]]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 4
[[],[[[]],[]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 4
[[],[[[],[]]]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => 4
[[],[[[[]]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[[]],[],[],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => 3
[[[]],[],[[]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 5
[[[]],[[]],[]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => 5
[[[]],[[],[]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => 5
[[[]],[[[]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 7
[[[],[]],[],[]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => 3
[[[[]]],[],[]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => 4
[[[],[]],[[]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => 5
[[[[]]],[[]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => 7
[[[],[],[]],[]] => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6) => 3
[[[],[[]]],[]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 4
[[[[]],[]],[]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => 4
[[[[],[]]],[]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => 4
[[[[[]]]],[]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => 5
[[[],[],[],[]]] => ([(0,5),(1,5),(2,5),(3,5),(5,4)],6) => 3
[[[],[],[[]]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => 4
[[[],[[]],[]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => 4
[[[],[[],[]]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => 4
[[[],[[[]]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 5
[[[[]],[],[]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => 4
[[[[]],[[]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => 6
[[[[],[]],[]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => 4
[[[[[]]],[]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => 5
[[[[],[],[]]]] => ([(0,5),(1,5),(2,5),(3,4),(5,3)],6) => 4
[[[[],[[]]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 5
[[[[[]],[]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => 5
[[[[[],[]]]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => 5
[[[[[[]]]]]] => ([(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) => 2
[[],[],[],[],[[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => 3
[[],[],[],[[]],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => 3
[[],[],[],[[],[]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 3
[[],[],[],[[[]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => 4
[[],[],[[]],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => 3
[[],[],[[]],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[],[],[[],[]],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 3
[[],[],[[[]]],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => 4
[[],[],[[],[],[]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => 3
[[],[],[[],[[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => 4
[[],[],[[[]],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => 4
[[],[],[[[],[]]]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => 4
[[],[],[[[[]]]]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => 5
[[],[[]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => 3
[[],[[]],[],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[],[[]],[[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[],[[]],[[],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[],[[]],[[[]]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => 7
[[],[[],[]],[],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 3
[[],[[[]]],[],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => 4
[[],[[],[]],[[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[],[[[]]],[[]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => 7
[[],[[],[],[]],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => 3
[[],[[],[[]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => 4
[[],[[[]],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => 4
[[],[[[],[]]],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => 4
[[],[[[[]]]],[]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => 5
[[],[[],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => 3
[[],[[],[],[[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => 4
[[],[[],[[]],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => 4
[[],[[],[[],[]]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => 4
[[],[[],[[[]]]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 5
[[],[[[]],[],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => 4
[[],[[[]],[[]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 6
[[],[[[],[]],[]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => 4
>>> Load all 385 entries. <<<
[[],[[[[]]],[]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 5
[[],[[[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,4)],7) => 4
[[],[[[],[[]]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 5
[[],[[[[]],[]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 5
[[],[[[[],[]]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => 5
[[],[[[[[]]]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[[]],[],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => 3
[[[]],[],[],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[[]],[],[[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[[]],[],[[],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[[]],[],[[[]]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => 7
[[[]],[[]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[[]],[[]],[[]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => 9
[[[]],[[],[]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[[]],[[[]]],[]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => 7
[[[]],[[],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(6,5)],7) => 5
[[[]],[[],[[]]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 7
[[[]],[[[]],[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 7
[[[]],[[[],[]]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => 7
[[[]],[[[[]]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 9
[[[],[]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => 3
[[[[]]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => 4
[[[],[]],[],[[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[[[]]],[],[[]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => 7
[[[],[]],[[]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => 5
[[[[]]],[[]],[]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => 7
[[[],[]],[[],[]]] => ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7) => 5
[[[],[]],[[[]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => 7
[[[[]]],[[],[]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => 7
[[[[]]],[[[]]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => 10
[[[],[],[]],[],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => 3
[[[],[[]]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => 4
[[[[]],[]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => 4
[[[[],[]]],[],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => 4
[[[[[]]]],[],[]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => 5
[[[],[],[]],[[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(6,5)],7) => 5
[[[],[[]]],[[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 7
[[[[]],[]],[[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => 7
[[[[],[]]],[[]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => 7
[[[[[]]]],[[]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => 9
[[[],[],[],[]],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => 3
[[[],[],[[]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => 4
[[[],[[]],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => 4
[[[],[[],[]]],[]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => 4
[[[],[[[]]]],[]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 5
[[[[]],[],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => 4
[[[[]],[[]]],[]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 6
[[[[],[]],[]],[]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => 4
[[[[[]]],[]],[]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => 5
[[[[],[],[]]],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,4)],7) => 4
[[[[],[[]]]],[]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 5
[[[[[]],[]]],[]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => 5
[[[[[],[]]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => 5
[[[[[[]]]]],[]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => 6
[[[],[],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7) => 3
[[[],[],[],[[]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => 4
[[[],[],[[]],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => 4
[[[],[],[[],[]]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => 4
[[[],[],[[[]]]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => 5
[[[],[[]],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => 4
[[[],[[]],[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 6
[[[],[[],[]],[]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => 4
[[[],[[[]]],[]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => 5
[[[],[[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7) => 4
[[[],[[],[[]]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 5
[[[],[[[]],[]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 5
[[[],[[[],[]]]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => 5
[[[],[[[[]]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 6
[[[[]],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => 4
[[[[]],[],[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 6
[[[[]],[[]],[]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => 6
[[[[]],[[],[]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => 6
[[[[]],[[[]]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 8
[[[[],[]],[],[]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => 4
[[[[[]]],[],[]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => 5
[[[[],[]],[[]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => 6
[[[[[]]],[[]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => 8
[[[[],[],[]],[]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7) => 4
[[[[],[[]]],[]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 5
[[[[[]],[]],[]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => 5
[[[[[],[]]],[]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => 5
[[[[[[]]]],[]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => 6
[[[[],[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,4)],7) => 4
[[[[],[],[[]]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => 5
[[[[],[[]],[]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => 5
[[[[],[[],[]]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 5
[[[[],[[[]]]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 6
[[[[[]],[],[]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => 5
[[[[[]],[[]]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => 7
[[[[[],[]],[]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => 5
[[[[[[]]],[]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => 6
[[[[[],[],[]]]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,3)],7) => 5
[[[[[],[[]]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 6
[[[[[[]],[]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => 6
[[[[[[],[]]]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => 6
[[[[[[[]]]]]]] => ([(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) => 5
[[],[[],[[[],[]],[]]]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => 5
[[],[[[],[]],[[],[]]]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,8),(6,8),(8,7)],9) => 6
[[],[[[],[[],[]]],[]]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => 5
[[],[[[[],[]],[]],[]]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => 5
[[[],[]],[[],[[],[]]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => 7
[[[],[]],[[[],[]],[]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => 7
[[[],[[],[]]],[[],[]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => 7
[[[[],[]],[]],[[],[]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => 7
[[[],[[],[[],[]]]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => 5
[[[],[[[],[]],[]]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => 5
[[[[],[]],[[],[]]],[]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,8),(6,8),(8,7)],9) => 6
[[[[],[[],[]]],[]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => 5
[[[[[],[]],[]],[]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => 5
[[],[[],[[],[[],[[],[]]]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[],[[],[[],[[[],[]],[]]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[],[[],[[[],[]],[[],[]]]]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => 7
[[],[[],[[[],[[],[]]],[]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[],[[],[[[[],[]],[]],[]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[],[[[],[]],[[],[[],[]]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => 8
[[],[[[],[]],[[[],[]],[]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => 8
[[],[[[],[[],[]]],[[],[]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => 8
[[],[[[[],[]],[]],[[],[]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => 8
[[],[[[],[[],[[],[]]]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[],[[[],[[[],[]],[]]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[],[[[[],[]],[[],[]]],[]]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => 7
[[],[[[[],[[],[]]],[]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[],[[[[[],[]],[]],[]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[[],[]],[[],[[],[[],[]]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => 9
[[[],[]],[[],[[[],[]],[]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => 9
[[[],[]],[[[],[]],[[],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => 11
[[[],[]],[[[],[[],[]]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => 9
[[[],[]],[[[[],[]],[]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => 9
[[[],[[],[]]],[[],[[],[]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => 10
[[[],[[],[]]],[[[],[]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => 10
[[[[],[]],[]],[[],[[],[]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => 10
[[[[],[]],[]],[[[],[]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => 10
[[[],[[],[[],[]]]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => 9
[[[],[[[],[]],[]]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => 9
[[[[],[]],[[],[]]],[[],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => 11
[[[[],[[],[]]],[]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => 9
[[[[[],[]],[]],[]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => 9
[[[],[[],[[],[[],[]]]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[[],[[],[[[],[]],[]]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[[],[[[],[]],[[],[]]]],[]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => 7
[[[],[[[],[[],[]]],[]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[[],[[[[],[]],[]],[]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[[[],[]],[[],[[],[]]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => 8
[[[[],[]],[[[],[]],[]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => 8
[[[[],[[],[]]],[[],[]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => 8
[[[[[],[]],[]],[[],[]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => 8
[[[[],[[],[[],[]]]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[[[],[[[],[]],[]]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[[[[],[]],[[],[]]],[]],[]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => 7
[[[[[],[[],[]]],[]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[[[[[],[]],[]],[]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => 6
[[],[[],[[],[[],[[],[[],[]]]]]]] => ([(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) => 7
[[],[[],[[],[[],[[[],[]],[]]]]]] => ([(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) => 7
[[],[[],[[],[[[],[]],[[],[]]]]]] => ([(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) => 8
[[],[[],[[],[[[],[[],[]]],[]]]]] => ([(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) => 7
[[],[[],[[],[[[[],[]],[]],[]]]]] => ([(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) => 7
[[],[[],[[[],[]],[[],[[],[]]]]]] => ([(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) => 9
[[],[[],[[[],[]],[[[],[]],[]]]]] => ([(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) => 9
[[],[[],[[[],[[],[]]],[[],[]]]]] => ([(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) => 9
[[],[[],[[[[],[]],[]],[[],[]]]]] => ([(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) => 9
[[],[[],[[[],[[],[[],[]]]],[]]]] => ([(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) => 7
[[],[[],[[[],[[[],[]],[]]],[]]]] => ([(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) => 7
[[],[[],[[[[],[]],[[],[]]],[]]]] => ([(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) => 8
[[],[[],[[[[],[[],[]]],[]],[]]]] => ([(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) => 7
[[],[[],[[[[[],[]],[]],[]],[]]]] => ([(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) => 7
[[],[[[],[]],[[],[[],[[],[]]]]]] => ([(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) => 10
[[],[[[],[]],[[],[[[],[]],[]]]]] => ([(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) => 10
[[],[[[],[]],[[[],[]],[[],[]]]]] => ([(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) => 12
[[],[[[],[]],[[[],[[],[]]],[]]]] => ([(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) => 10
[[],[[[],[]],[[[[],[]],[]],[]]]] => ([(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) => 10
[[],[[[],[[],[]]],[[],[[],[]]]]] => ([(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) => 11
[[],[[[],[[],[]]],[[[],[]],[]]]] => ([(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) => 11
[[],[[[[],[]],[]],[[],[[],[]]]]] => ([(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) => 11
[[],[[[[],[]],[]],[[[],[]],[]]]] => ([(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) => 11
[[],[[[],[[],[[],[]]]],[[],[]]]] => ([(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) => 10
[[],[[[],[[[],[]],[]]],[[],[]]]] => ([(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) => 10
[[],[[[[],[]],[[],[]]],[[],[]]]] => ([(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) => 12
[[],[[[[],[[],[]]],[]],[[],[]]]] => ([(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) => 10
[[],[[[[[],[]],[]],[]],[[],[]]]] => ([(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) => 10
[[],[[[],[[],[[],[[],[]]]]],[]]] => ([(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) => 7
[[],[[[],[[],[[[],[]],[]]]],[]]] => ([(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) => 7
[[],[[[],[[[],[]],[[],[]]]],[]]] => ([(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) => 8
[[],[[[],[[[],[[],[]]],[]]],[]]] => ([(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) => 7
[[],[[[],[[[[],[]],[]],[]]],[]]] => ([(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) => 7
[[],[[[[],[]],[[],[[],[]]]],[]]] => ([(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) => 9
[[],[[[[],[]],[[[],[]],[]]],[]]] => ([(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) => 9
[[],[[[[],[[],[]]],[[],[]]],[]]] => ([(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) => 9
[[],[[[[[],[]],[]],[[],[]]],[]]] => ([(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) => 9
[[],[[[[],[[],[[],[]]]],[]],[]]] => ([(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) => 7
[[],[[[[],[[[],[]],[]]],[]],[]]] => ([(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) => 7
[[],[[[[[],[]],[[],[]]],[]],[]]] => ([(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) => 8
[[],[[[[[],[[],[]]],[]],[]],[]]] => ([(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) => 7
[[],[[[[[[],[]],[]],[]],[]],[]]] => ([(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) => 7
[[[],[]],[[],[[],[[],[[],[]]]]]] => ([(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) => 11
[[[],[]],[[],[[],[[[],[]],[]]]]] => ([(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) => 11
[[[],[]],[[],[[[],[]],[[],[]]]]] => ([(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) => 13
[[[],[]],[[],[[[],[[],[]]],[]]]] => ([(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) => 11
[[[],[]],[[],[[[[],[]],[]],[]]]] => ([(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) => 11
[[[],[]],[[[],[]],[[],[[],[]]]]] => ([(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) => 15
[[[],[]],[[[],[]],[[[],[]],[]]]] => ([(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) => 15
[[[],[]],[[[],[[],[]]],[[],[]]]] => ([(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) => 15
[[[],[]],[[[[],[]],[]],[[],[]]]] => ([(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) => 15
[[[],[]],[[[],[[],[[],[]]]],[]]] => ([(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) => 11
[[[],[]],[[[],[[[],[]],[]]],[]]] => ([(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) => 11
[[[],[]],[[[[],[]],[[],[]]],[]]] => ([(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) => 13
[[[],[]],[[[[],[[],[]]],[]],[]]] => ([(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) => 11
[[[],[]],[[[[[],[]],[]],[]],[]]] => ([(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) => 11
[[[],[[],[]]],[[],[[],[[],[]]]]] => ([(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) => 13
[[[],[[],[]]],[[],[[[],[]],[]]]] => ([(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) => 13
[[[],[[],[]]],[[[],[]],[[],[]]]] => ([(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) => 16
[[[],[[],[]]],[[[],[[],[]]],[]]] => ([(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) => 13
[[[],[[],[]]],[[[[],[]],[]],[]]] => ([(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) => 13
[[[[],[]],[]],[[],[[],[[],[]]]]] => ([(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) => 13
[[[[],[]],[]],[[],[[[],[]],[]]]] => ([(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) => 13
[[[[],[]],[]],[[[],[]],[[],[]]]] => ([(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) => 16
[[[[],[]],[]],[[[],[[],[]]],[]]] => ([(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) => 13
[[[[],[]],[]],[[[[],[]],[]],[]]] => ([(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) => 13
[[[],[[],[[],[]]]],[[],[[],[]]]] => ([(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) => 13
[[[],[[],[[],[]]]],[[[],[]],[]]] => ([(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) => 13
[[[],[[[],[]],[]]],[[],[[],[]]]] => ([(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) => 13
[[[],[[[],[]],[]]],[[[],[]],[]]] => ([(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) => 13
[[[[],[]],[[],[]]],[[],[[],[]]]] => ([(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) => 16
[[[[],[]],[[],[]]],[[[],[]],[]]] => ([(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) => 16
[[[[],[[],[]]],[]],[[],[[],[]]]] => ([(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) => 13
[[[[],[[],[]]],[]],[[[],[]],[]]] => ([(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) => 13
[[[[[],[]],[]],[]],[[],[[],[]]]] => ([(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) => 13
[[[[[],[]],[]],[]],[[[],[]],[]]] => ([(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) => 13
[[[],[[],[[],[[],[]]]]],[[],[]]] => ([(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) => 11
[[[],[[],[[[],[]],[]]]],[[],[]]] => ([(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) => 11
[[[],[[[],[]],[[],[]]]],[[],[]]] => ([(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) => 13
[[[],[[[],[[],[]]],[]]],[[],[]]] => ([(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) => 11
[[[],[[[[],[]],[]],[]]],[[],[]]] => ([(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) => 11
[[[[],[]],[[],[[],[]]]],[[],[]]] => ([(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) => 15
[[[[],[]],[[[],[]],[]]],[[],[]]] => ([(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) => 15
[[[[],[[],[]]],[[],[]]],[[],[]]] => ([(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) => 15
[[[[[],[]],[]],[[],[]]],[[],[]]] => ([(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) => 15
[[[[],[[],[[],[]]]],[]],[[],[]]] => ([(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) => 11
[[[[],[[[],[]],[]]],[]],[[],[]]] => ([(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) => 11
[[[[[],[]],[[],[]]],[]],[[],[]]] => ([(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) => 13
[[[[[],[[],[]]],[]],[]],[[],[]]] => ([(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) => 11
[[[[[[],[]],[]],[]],[]],[[],[]]] => ([(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) => 11
[[[],[[],[[],[[],[[],[]]]]]],[]] => ([(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) => 7
[[[],[[],[[],[[[],[]],[]]]]],[]] => ([(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) => 7
[[[],[[],[[[],[]],[[],[]]]]],[]] => ([(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) => 8
[[[],[[],[[[],[[],[]]],[]]]],[]] => ([(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) => 7
[[[],[[],[[[[],[]],[]],[]]]],[]] => ([(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) => 7
[[[],[[[],[]],[[],[[],[]]]]],[]] => ([(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) => 9
[[[],[[[],[]],[[[],[]],[]]]],[]] => ([(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) => 9
[[[],[[[],[[],[]]],[[],[]]]],[]] => ([(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) => 9
[[[],[[[[],[]],[]],[[],[]]]],[]] => ([(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) => 9
[[[],[[[],[[],[[],[]]]],[]]],[]] => ([(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) => 7
[[[],[[[],[[[],[]],[]]],[]]],[]] => ([(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) => 7
[[[],[[[[],[]],[[],[]]],[]]],[]] => ([(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) => 8
[[[],[[[[],[[],[]]],[]],[]]],[]] => ([(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) => 7
[[[],[[[[[],[]],[]],[]],[]]],[]] => ([(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) => 7
[[[[],[]],[[],[[],[[],[]]]]],[]] => ([(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) => 10
[[[[],[]],[[],[[[],[]],[]]]],[]] => ([(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) => 10
[[[[],[]],[[[],[]],[[],[]]]],[]] => ([(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) => 12
[[[[],[]],[[[],[[],[]]],[]]],[]] => ([(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) => 10
[[[[],[]],[[[[],[]],[]],[]]],[]] => ([(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) => 10
[[[[],[[],[]]],[[],[[],[]]]],[]] => ([(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) => 11
[[[[],[[],[]]],[[[],[]],[]]],[]] => ([(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) => 11
[[[[[],[]],[]],[[],[[],[]]]],[]] => ([(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) => 11
[[[[[],[]],[]],[[[],[]],[]]],[]] => ([(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) => 11
[[[[],[[],[[],[]]]],[[],[]]],[]] => ([(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) => 10
[[[[],[[[],[]],[]]],[[],[]]],[]] => ([(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) => 10
[[[[[],[]],[[],[]]],[[],[]]],[]] => ([(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) => 12
[[[[[],[[],[]]],[]],[[],[]]],[]] => ([(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) => 10
[[[[[[],[]],[]],[]],[[],[]]],[]] => ([(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) => 10
[[[[],[[],[[],[[],[]]]]],[]],[]] => ([(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) => 7
[[[[],[[],[[[],[]],[]]]],[]],[]] => ([(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) => 7
[[[[],[[[],[]],[[],[]]]],[]],[]] => ([(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) => 8
[[[[],[[[],[[],[]]],[]]],[]],[]] => ([(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) => 7
[[[[],[[[[],[]],[]],[]]],[]],[]] => ([(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) => 7
[[[[[],[]],[[],[[],[]]]],[]],[]] => ([(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) => 9
[[[[[],[]],[[[],[]],[]]],[]],[]] => ([(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) => 9
[[[[[],[[],[]]],[[],[]]],[]],[]] => ([(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) => 9
[[[[[[],[]],[]],[[],[]]],[]],[]] => ([(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) => 9
[[[[[],[[],[[],[]]]],[]],[]],[]] => ([(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) => 7
[[[[[],[[[],[]],[]]],[]],[]],[]] => ([(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) => 7
[[[[[[],[]],[[],[]]],[]],[]],[]] => ([(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) => 8
[[[[[[],[[],[]]],[]],[]],[]],[]] => ([(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) => 7
[[[[[[[],[]],[]],[]],[]],[]],[]] => ([(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) => 7
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       
Description
The number of maximal antichains in a poset.
Map
to poset
Description
Return the poset obtained by interpreting the tree as the Hasse diagram of a graph.