Identifier
Values
[] => ([],1) => ([],1) => 0
[[]] => ([(0,1)],2) => ([(0,1)],2) => 1
[[],[]] => ([(0,2),(1,2)],3) => ([(0,1)],2) => 1
[[[]]] => ([(0,2),(2,1)],3) => ([(0,2),(2,1)],3) => 2
[[],[],[]] => ([(0,3),(1,3),(2,3)],4) => ([(0,1)],2) => 1
[[],[[]]] => ([(0,3),(1,2),(2,3)],4) => ([(0,2),(2,1)],3) => 2
[[[]],[]] => ([(0,3),(1,2),(2,3)],4) => ([(0,2),(2,1)],3) => 2
[[[],[]]] => ([(0,3),(1,3),(3,2)],4) => ([(0,2),(2,1)],3) => 2
[[[[]]]] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[],[],[]] => ([(0,4),(1,4),(2,4),(3,4)],5) => ([(0,1)],2) => 1
[[],[],[[]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => 2
[[],[[]],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => 2
[[],[[],[]]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => 2
[[],[[[]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(2,1),(3,2)],4) => 3
[[[]],[],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => 2
[[[]],[[]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[],[]],[]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => 2
[[[[]]],[]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[],[]]] => ([(0,4),(1,4),(2,4),(4,3)],5) => ([(0,2),(2,1)],3) => 2
[[[],[[]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[]],[]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[],[]]]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[[]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[],[],[],[]] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => ([(0,1)],2) => 1
[[],[],[],[[]]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,2),(2,1)],3) => 2
[[],[],[[]],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,2),(2,1)],3) => 2
[[],[],[[],[]]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,2),(2,1)],3) => 2
[[],[],[[[]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[]],[],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,2),(2,1)],3) => 2
[[],[[]],[[]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[[],[]],[]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,2),(2,1)],3) => 2
[[],[[[]]],[]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[],[],[]]] => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6) => ([(0,2),(2,1)],3) => 2
[[],[[],[[]]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[[]],[]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[[],[]]]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[[[]]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[]],[],[],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,2),(2,1)],3) => 2
[[[]],[],[[]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[[]],[]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[[],[]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[[[]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[],[]],[],[]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,2),(2,1)],3) => 2
[[[[]]],[],[]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[]],[[]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[[]]],[[]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[],[],[]],[]] => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6) => ([(0,2),(2,1)],3) => 2
[[[],[[]]],[]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[]],[]],[]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[],[]]],[]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[[]]]],[]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[],[],[],[]]] => ([(0,5),(1,5),(2,5),(3,5),(5,4)],6) => ([(0,2),(2,1)],3) => 2
[[[],[],[[]]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[[]],[]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[[],[]]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[[[]]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[]],[],[]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[]],[[]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 4
[[[[],[]],[]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[[]]],[]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[],[],[]]]] => ([(0,5),(1,5),(2,5),(3,4),(5,3)],6) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[],[[]]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[]],[]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[],[]]]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[[]]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[],[],[],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(0,1)],2) => 1
[[],[],[],[],[[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[],[],[],[[]],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[],[],[],[[],[]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[],[],[],[[[]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[],[[]],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[],[],[[]],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[],[[],[]],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[],[],[[[]]],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[],[[],[],[]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[],[],[[],[[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[],[[[]],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[],[[[],[]]]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[],[[[[]]]]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[],[[]],[],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[[]],[[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[[]],[[],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[[]],[[[]]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[],[[],[]],[],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[],[[[]]],[],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[],[]],[[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[[[]]],[[]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[],[[],[],[]],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[],[[],[[]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[[]],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[[],[]]],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[[[]]]],[]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => ([(0,2),(2,1)],3) => 2
[[],[[],[],[[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[],[[]],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[],[[],[]]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[],[[[]]]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[[]],[],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[[]],[[]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 4
[[],[[[],[]],[]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
>>> Load all 456 entries. <<<
[[],[[[[]]],[]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,4)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[[],[[]]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[[[]],[]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[[[],[]]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[[[[]]]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[]],[],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[[]],[],[],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[],[[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[],[[],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[],[[[]]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[]],[[]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[[]],[[]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => ([(0,2),(0,3),(0,4),(2,6),(2,7),(3,5),(3,7),(4,5),(4,6),(5,8),(6,8),(7,8),(8,1)],9) => 4
[[[]],[[],[]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[[[]]],[]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[]],[[],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(6,5)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[[],[[]]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[]],[[[]],[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[]],[[[],[]]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[]],[[[[]]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[],[]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[[[]]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[]],[],[[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[[]]],[],[[]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[],[]],[[]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[[]]],[[]],[]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[],[]],[[],[]]] => ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[],[]],[[[]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[]]],[[],[]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[]]],[[[]]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) => 5
[[[],[],[]],[],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 2
[[[],[[]]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[]],[]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[],[]]],[],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[[]]]],[],[]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[],[],[]],[[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(6,5)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[],[[]]],[[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[]],[]],[[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[],[]]],[[]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[[]]]],[[]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[],[],[],[]],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => ([(0,2),(2,1)],3) => 2
[[[],[],[[]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[[]],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[[],[]]],[]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[[[]]]],[]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[]],[],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[]],[[]]],[]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 4
[[[[],[]],[]],[]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[[]]],[]],[]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[],[],[]]],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,4)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[],[[]]]],[]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[]],[]]],[]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[],[]]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[[]]]]],[]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[],[],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7) => ([(0,2),(2,1)],3) => 2
[[[],[],[],[[]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[],[[]],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[],[[],[]]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[],[[[]]]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[],[[]],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[[]],[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 4
[[[],[[],[]],[]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[[[]]],[]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[],[[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[],[[],[[]]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[],[[[]],[]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[],[[[],[]]]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[],[[[[]]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[[]],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[]],[],[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 4
[[[[]],[[]],[]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 4
[[[[]],[[],[]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 4
[[[[]],[[[]]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 5
[[[[],[]],[],[]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[[]]],[],[]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[],[]],[[]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 4
[[[[[]]],[[]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 5
[[[[],[],[]],[]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[],[[]]],[]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[]],[]],[]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[],[]]],[]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[[]]]],[]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[[],[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,4)],7) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[],[],[[]]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[],[[]],[]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[],[[],[]]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[],[[[]]]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[[[]],[],[]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[]],[[]]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 5
[[[[[],[]],[]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[[]]],[]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[[[],[],[]]]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[],[[]]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[[[[]],[]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[[[[],[]]]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[[[[[]]]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[],[],[],[],[],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => ([(0,1)],2) => 1
[[],[],[],[],[[[]]]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[],[],[[]],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[],[],[[[]]],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[],[],[[[[]]]]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[],[[]],[],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[],[[]],[[]],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[],[[]],[[[]]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[],[],[[[]]],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[],[[[]]],[[]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[],[],[[[[]]]],[]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[]],[],[],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[[]],[],[[]],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[[]],[],[[[]]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[],[[]],[[]],[],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[[]],[[[]]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[],[[]],[[[[]]]]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[],[[[]]],[],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,3),(2,1),(3,2)],4) => 3
[[],[[[]]],[],[[]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[],[[[]]],[[]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[],[[],[]],[[],[]]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[],[[],[]],[[[]]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[],[[[]]],[[],[]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[],[[[]]],[[[]]]] => ([(0,7),(1,6),(2,5),(3,7),(4,7),(5,3),(6,4)],8) => ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) => 5
[[],[[[[]]]],[],[]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[[[]]]],[[]]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[],[[[[[[]]]]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[[]],[],[],[],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[],[],[[]],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[],[],[[[]]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[]],[],[[]],[],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[],[[[]]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[]],[],[[[[]]]]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[]],[[]],[],[],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[]],[[[]]],[],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[]],[[[[]]]],[]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[]],[[[[[]]]]]] => ([(0,6),(1,3),(2,7),(3,7),(4,5),(5,2),(6,4)],8) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[[]]],[],[],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,3),(2,1),(3,2)],4) => 3
[[[[]]],[],[],[[]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[]]],[],[[]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[],[]],[],[[],[]]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[],[]],[],[[[]]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[]]],[],[[],[]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[]]],[],[[[]]]] => ([(0,7),(1,6),(2,5),(3,7),(4,7),(5,3),(6,4)],8) => ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) => 5
[[[[]]],[[]],[],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[],[]],[[],[]],[]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 3
[[[],[]],[[[]]],[]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[]]],[[],[]],[]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[]]],[[[]]],[]] => ([(0,7),(1,6),(2,5),(3,7),(4,7),(5,3),(6,4)],8) => ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) => 5
[[[],[]],[[[[]]]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[[]]],[[[[]]]]] => ([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[[[]]]],[],[],[]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[]]]],[],[[]]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[[[]]]],[[]],[]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[[[]]]],[[],[]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[[[]]]],[[[]]]] => ([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[[[[]]]]],[[]]] => ([(0,6),(1,3),(2,7),(3,7),(4,5),(5,2),(6,4)],8) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[[[[[]]]]]],[]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[[[[],[],[],[]]]]] => ([(0,7),(1,7),(2,7),(3,7),(4,6),(6,5),(7,4)],8) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[[[[]]]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 7
[[],[[],[[],[[],[]]]]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[],[[[],[]],[]]]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[[],[]],[[],[]]]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,8),(6,8),(8,7)],9) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 4
[[],[[[],[[],[]]],[]]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[[[],[]],[]],[]]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[],[[[[[[[]]]]]]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 7
[[[]],[[[[[[]]]]]]] => ([(0,7),(1,3),(2,8),(3,8),(4,6),(5,4),(6,2),(7,5)],9) => ([(0,3),(0,7),(1,9),(3,8),(4,6),(4,10),(5,4),(5,12),(6,1),(6,11),(7,5),(7,8),(8,12),(9,2),(10,11),(11,9),(12,10)],13) => 7
[[[],[]],[[],[[],[]]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[],[]],[[[],[]],[]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[]]],[[[[[]]]]]] => ([(0,7),(1,6),(2,8),(3,8),(4,5),(5,3),(6,4),(7,2)],9) => ([(0,6),(0,7),(2,5),(2,15),(3,12),(4,11),(5,4),(5,13),(6,2),(6,14),(7,3),(7,14),(8,1),(9,10),(10,8),(11,8),(12,9),(13,10),(13,11),(14,12),(14,15),(15,9),(15,13)],16) => 7
[[[[[]]]],[[[[]]]]] => ([(0,7),(1,6),(2,8),(3,8),(4,2),(5,3),(6,4),(7,5)],9) => ([(0,6),(0,7),(2,5),(2,16),(3,4),(3,15),(4,9),(5,10),(6,3),(6,14),(7,2),(7,14),(8,1),(9,11),(10,12),(11,8),(12,8),(13,11),(13,12),(14,15),(14,16),(15,9),(15,13),(16,10),(16,13)],17) => 7
[[[],[[],[]]],[[],[]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[],[]],[]],[[],[]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 4
[[[[[[]]]]],[[[]]]] => ([(0,7),(1,6),(2,8),(3,8),(4,5),(5,3),(6,4),(7,2)],9) => ([(0,6),(0,7),(2,5),(2,15),(3,12),(4,11),(5,4),(5,13),(6,2),(6,14),(7,3),(7,14),(8,1),(9,10),(10,8),(11,8),(12,9),(13,10),(13,11),(14,12),(14,15),(15,9),(15,13)],16) => 7
[[[[[[[]]]]]],[[]]] => ([(0,7),(1,3),(2,8),(3,8),(4,6),(5,4),(6,2),(7,5)],9) => ([(0,3),(0,7),(1,9),(3,8),(4,6),(4,10),(5,4),(5,12),(6,1),(6,11),(7,5),(7,8),(8,12),(9,2),(10,11),(11,9),(12,10)],13) => 7
[[[],[[],[[],[]]]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[],[[[],[]],[]]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[],[]],[[],[]]],[]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,8),(6,8),(8,7)],9) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 4
[[[[],[[],[]]],[]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[],[]],[]],[]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([(0,4),(2,3),(3,1),(4,2)],5) => 4
[[[[[[[[]]]]]]],[]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 7
[[[[[[[[[]]]]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 8
[[],[[],[[],[[],[[],[]]]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[],[[],[[],[[[],[]],[]]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[],[[],[[[],[]],[[],[]]]]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 5
[[],[[],[[[],[[],[]]],[]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[],[[],[[[[],[]],[]],[]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[],[[[],[]],[[],[[],[]]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 5
[[],[[[],[]],[[[],[]],[]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 5
[[],[[[],[[],[]]],[[],[]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 5
[[],[[[[],[]],[]],[[],[]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 5
[[],[[[],[[],[[],[]]]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[],[[[],[[[],[]],[]]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[],[[[[],[]],[[],[]]],[]]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 5
[[],[[[[],[[],[]]],[]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[],[[[[[],[]],[]],[]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[],[]],[[],[[],[[],[]]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[],[]],[[],[[[],[]],[]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[],[]],[[[],[]],[[],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([(0,3),(0,4),(0,5),(2,9),(3,7),(3,8),(4,6),(4,8),(5,6),(5,7),(6,10),(7,10),(8,2),(8,10),(9,1),(10,9)],11) => 5
[[[],[]],[[[],[[],[]]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[],[]],[[[[],[]],[]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[],[[],[]]],[[],[[],[]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) => 5
[[[],[[],[]]],[[[],[]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) => 5
[[[[],[]],[]],[[],[[],[]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) => 5
[[[[],[]],[]],[[[],[]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => ([(0,4),(0,5),(2,8),(3,7),(4,3),(4,6),(5,2),(5,6),(6,7),(6,8),(7,9),(8,9),(9,1)],10) => 5
[[[],[[],[[],[]]]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[],[[[],[]],[]]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[[],[]],[[],[]]],[[],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([(0,3),(0,4),(0,5),(2,9),(3,7),(3,8),(4,6),(4,8),(5,6),(5,7),(6,10),(7,10),(8,2),(8,10),(9,1),(10,9)],11) => 5
[[[[],[[],[]]],[]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[[[],[]],[]],[]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 5
[[[],[[],[[],[[],[]]]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[],[[],[[[],[]],[]]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[],[[[],[]],[[],[]]]],[]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 5
[[[],[[[],[[],[]]],[]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[],[[[[],[]],[]],[]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[[],[]],[[],[[],[]]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 5
[[[[],[]],[[[],[]],[]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 5
[[[[],[[],[]]],[[],[]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 5
[[[[[],[]],[]],[[],[]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 5
[[[[],[[],[[],[]]]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[[],[[[],[]],[]]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[[[],[]],[[],[]]],[]],[]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 5
[[[[[],[[],[]]],[]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[[[[[],[]],[]],[]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 5
[[],[[],[[],[[],[[],[[],[]]]]]]] => ([(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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[],[[],[[],[[[],[]],[[],[]]]]]] => ([(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) => ([(0,2),(0,3),(2,7),(3,7),(4,5),(5,1),(6,4),(7,6)],8) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[],[[],[[[],[]],[[],[[],[]]]]]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[],[[],[[[],[]],[[[],[]],[]]]]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[],[[],[[[],[[],[]]],[[],[]]]]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[],[[],[[[[],[]],[]],[[],[]]]]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[],[[],[[[[],[]],[[],[]]],[]]]] => ([(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) => ([(0,2),(0,3),(2,7),(3,7),(4,5),(5,1),(6,4),(7,6)],8) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[],[[[],[]],[[],[[],[[],[]]]]]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[],[[[],[]],[[],[[[],[]],[]]]]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[],[[[],[]],[[[],[]],[[],[]]]]] => ([(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) => ([(0,3),(0,4),(0,5),(2,9),(3,8),(3,10),(4,7),(4,10),(5,7),(5,8),(6,1),(7,11),(8,11),(9,6),(10,2),(10,11),(11,9)],12) => 6
[[],[[[],[]],[[[],[[],[]]],[]]]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[],[[[],[]],[[[[],[]],[]],[]]]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[],[[[],[[],[]]],[[],[[],[]]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,1),(5,3),(5,7),(6,2),(6,7),(7,8),(7,9),(8,10),(9,10),(10,4)],11) => 6
[[],[[[],[[],[]]],[[[],[]],[]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,1),(5,3),(5,7),(6,2),(6,7),(7,8),(7,9),(8,10),(9,10),(10,4)],11) => 6
[[],[[[[],[]],[]],[[],[[],[]]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,1),(5,3),(5,7),(6,2),(6,7),(7,8),(7,9),(8,10),(9,10),(10,4)],11) => 6
[[],[[[[],[]],[]],[[[],[]],[]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,1),(5,3),(5,7),(6,2),(6,7),(7,8),(7,9),(8,10),(9,10),(10,4)],11) => 6
[[],[[[],[[],[[],[]]]],[[],[]]]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[],[[[],[[[],[]],[]]],[[],[]]]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[],[[[[],[]],[[],[]]],[[],[]]]] => ([(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) => ([(0,3),(0,4),(0,5),(2,9),(3,8),(3,10),(4,7),(4,10),(5,7),(5,8),(6,1),(7,11),(8,11),(9,6),(10,2),(10,11),(11,9)],12) => 6
[[],[[[[],[[],[]]],[]],[[],[]]]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[],[[[[[],[]],[]],[]],[[],[]]]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[],[[[],[[[],[]],[[],[]]]],[]]] => ([(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) => ([(0,2),(0,3),(2,7),(3,7),(4,5),(5,1),(6,4),(7,6)],8) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[],[[[[],[]],[[],[[],[]]]],[]]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[],[[[[],[]],[[[],[]],[]]],[]]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[],[[[[],[[],[]]],[[],[]]],[]]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[],[[[[[],[]],[]],[[],[]]],[]]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[],[[[[[],[]],[[],[]]],[]],[]]] => ([(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) => ([(0,2),(0,3),(2,7),(3,7),(4,5),(5,1),(6,4),(7,6)],8) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[[],[]],[[],[[],[[],[[],[]]]]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[],[]],[[],[[],[[[],[]],[]]]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[],[]],[[],[[[],[]],[[],[]]]]] => ([(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) => ([(0,3),(0,4),(0,5),(2,11),(3,7),(3,8),(4,8),(4,9),(5,7),(5,9),(6,2),(6,10),(7,12),(8,12),(9,6),(9,12),(10,11),(11,1),(12,10)],13) => 6
[[[],[]],[[],[[[],[[],[]]],[]]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[],[]],[[],[[[[],[]],[]],[]]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[],[]],[[[],[]],[[],[[],[]]]]] => ([(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) => ([(0,4),(0,5),(0,6),(1,11),(3,10),(3,12),(4,7),(4,8),(5,7),(5,9),(6,3),(6,8),(6,9),(7,14),(8,12),(8,14),(9,10),(9,14),(10,13),(11,2),(12,1),(12,13),(13,11),(14,13)],15) => 6
[[[],[]],[[[],[]],[[[],[]],[]]]] => ([(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) => ([(0,4),(0,5),(0,6),(1,11),(3,10),(3,12),(4,7),(4,8),(5,7),(5,9),(6,3),(6,8),(6,9),(7,14),(8,12),(8,14),(9,10),(9,14),(10,13),(11,2),(12,1),(12,13),(13,11),(14,13)],15) => 6
[[[],[]],[[[],[[],[]]],[[],[]]]] => ([(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) => ([(0,4),(0,5),(0,6),(1,11),(3,10),(3,12),(4,7),(4,8),(5,7),(5,9),(6,3),(6,8),(6,9),(7,14),(8,12),(8,14),(9,10),(9,14),(10,13),(11,2),(12,1),(12,13),(13,11),(14,13)],15) => 6
[[[],[]],[[[[],[]],[]],[[],[]]]] => ([(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) => ([(0,4),(0,5),(0,6),(1,11),(3,10),(3,12),(4,7),(4,8),(5,7),(5,9),(6,3),(6,8),(6,9),(7,14),(8,12),(8,14),(9,10),(9,14),(10,13),(11,2),(12,1),(12,13),(13,11),(14,13)],15) => 6
[[[],[]],[[[],[[],[[],[]]]],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[],[]],[[[],[[[],[]],[]]],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[],[]],[[[[],[]],[[],[]]],[]]] => ([(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) => ([(0,3),(0,4),(0,5),(2,11),(3,7),(3,8),(4,8),(4,9),(5,7),(5,9),(6,2),(6,10),(7,12),(8,12),(9,6),(9,12),(10,11),(11,1),(12,10)],13) => 6
[[[],[]],[[[[],[[],[]]],[]],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[],[]],[[[[[],[]],[]],[]],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[],[[],[]]],[[],[[],[[],[]]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[],[[],[]]],[[],[[[],[]],[]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[],[[],[]]],[[[],[]],[[],[]]]] => ([(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) => ([(0,4),(0,5),(0,6),(2,11),(3,7),(3,8),(4,10),(4,13),(5,10),(5,12),(6,3),(6,12),(6,13),(7,15),(8,15),(9,1),(10,2),(10,14),(11,9),(12,7),(12,14),(13,8),(13,14),(14,11),(14,15),(15,9)],16) => 6
[[[],[[],[]]],[[[],[[],[]]],[]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[],[[],[]]],[[[[],[]],[]],[]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[[],[]],[]],[[],[[],[[],[]]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[[],[]],[]],[[],[[[],[]],[]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[[],[]],[]],[[[],[]],[[],[]]]] => ([(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) => ([(0,4),(0,5),(0,6),(2,11),(3,7),(3,8),(4,10),(4,13),(5,10),(5,12),(6,3),(6,12),(6,13),(7,15),(8,15),(9,1),(10,2),(10,14),(11,9),(12,7),(12,14),(13,8),(13,14),(14,11),(14,15),(15,9)],16) => 6
[[[[],[]],[]],[[[],[[],[]]],[]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[[],[]],[]],[[[[],[]],[]],[]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[],[[],[[],[]]]],[[],[[],[]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[],[[],[[],[]]]],[[[],[]],[]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[],[[[],[]],[]]],[[],[[],[]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[],[[[],[]],[]]],[[[],[]],[]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[[],[]],[[],[]]],[[],[[],[]]]] => ([(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) => ([(0,4),(0,5),(0,6),(2,11),(3,7),(3,8),(4,10),(4,13),(5,10),(5,12),(6,3),(6,12),(6,13),(7,15),(8,15),(9,1),(10,2),(10,14),(11,9),(12,7),(12,14),(13,8),(13,14),(14,11),(14,15),(15,9)],16) => 6
[[[[],[]],[[],[]]],[[[],[]],[]]] => ([(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) => ([(0,4),(0,5),(0,6),(2,11),(3,7),(3,8),(4,10),(4,13),(5,10),(5,12),(6,3),(6,12),(6,13),(7,15),(8,15),(9,1),(10,2),(10,14),(11,9),(12,7),(12,14),(13,8),(13,14),(14,11),(14,15),(15,9)],16) => 6
[[[[],[[],[]]],[]],[[],[[],[]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[[],[[],[]]],[]],[[[],[]],[]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[[[],[]],[]],[]],[[],[[],[]]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[[[],[]],[]],[]],[[[],[]],[]]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,2),(4,10),(5,3),(5,7),(6,4),(6,7),(7,8),(7,10),(8,11),(9,12),(10,9),(10,11),(11,12),(12,1)],13) => 6
[[[],[[],[[],[[],[]]]]],[[],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[],[[],[[[],[]],[]]]],[[],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[],[[[],[]],[[],[]]]],[[],[]]] => ([(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) => ([(0,3),(0,4),(0,5),(2,11),(3,7),(3,8),(4,8),(4,9),(5,7),(5,9),(6,2),(6,10),(7,12),(8,12),(9,6),(9,12),(10,11),(11,1),(12,10)],13) => 6
[[[],[[[],[[],[]]],[]]],[[],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[],[[[[],[]],[]],[]]],[[],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[[],[]],[[],[[],[]]]],[[],[]]] => ([(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) => ([(0,4),(0,5),(0,6),(1,11),(3,10),(3,12),(4,7),(4,8),(5,7),(5,9),(6,3),(6,8),(6,9),(7,14),(8,12),(8,14),(9,10),(9,14),(10,13),(11,2),(12,1),(12,13),(13,11),(14,13)],15) => 6
[[[[],[]],[[[],[]],[]]],[[],[]]] => ([(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) => ([(0,4),(0,5),(0,6),(1,11),(3,10),(3,12),(4,7),(4,8),(5,7),(5,9),(6,3),(6,8),(6,9),(7,14),(8,12),(8,14),(9,10),(9,14),(10,13),(11,2),(12,1),(12,13),(13,11),(14,13)],15) => 6
[[[[],[[],[]]],[[],[]]],[[],[]]] => ([(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) => ([(0,4),(0,5),(0,6),(1,11),(3,10),(3,12),(4,7),(4,8),(5,7),(5,9),(6,3),(6,8),(6,9),(7,14),(8,12),(8,14),(9,10),(9,14),(10,13),(11,2),(12,1),(12,13),(13,11),(14,13)],15) => 6
[[[[[],[]],[]],[[],[]]],[[],[]]] => ([(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) => ([(0,4),(0,5),(0,6),(1,11),(3,10),(3,12),(4,7),(4,8),(5,7),(5,9),(6,3),(6,8),(6,9),(7,14),(8,12),(8,14),(9,10),(9,14),(10,13),(11,2),(12,1),(12,13),(13,11),(14,13)],15) => 6
[[[[],[[],[[],[]]]],[]],[[],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[[],[[[],[]],[]]],[]],[[],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[[[],[]],[[],[]]],[]],[[],[]]] => ([(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) => ([(0,3),(0,4),(0,5),(2,11),(3,7),(3,8),(4,8),(4,9),(5,7),(5,9),(6,2),(6,10),(7,12),(8,12),(9,6),(9,12),(10,11),(11,1),(12,10)],13) => 6
[[[[[],[[],[]]],[]],[]],[[],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],11) => 6
[[[[[[],[]],[]],[]],[]],[[],[]]] => ([(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) => ([(0,3),(0,6),(2,10),(3,7),(4,5),(4,9),(5,2),(5,8),(6,4),(6,7),(7,9),(8,10),(9,8),(10,1)],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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[[],[[],[[[],[]],[[],[]]]]],[]] => ([(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) => ([(0,2),(0,3),(2,7),(3,7),(4,5),(5,1),(6,4),(7,6)],8) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[[],[[[],[]],[[],[[],[]]]]],[]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[[],[[[],[]],[[[],[]],[]]]],[]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[[],[[[],[[],[]]],[[],[]]]],[]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[[],[[[[],[]],[]],[[],[]]]],[]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[[],[[[[],[]],[[],[]]],[]]],[]] => ([(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) => ([(0,2),(0,3),(2,7),(3,7),(4,5),(5,1),(6,4),(7,6)],8) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[[[],[]],[[],[[],[[],[]]]]],[]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[[[],[]],[[],[[[],[]],[]]]],[]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[[[],[]],[[[],[]],[[],[]]]],[]] => ([(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) => ([(0,3),(0,4),(0,5),(2,9),(3,8),(3,10),(4,7),(4,10),(5,7),(5,8),(6,1),(7,11),(8,11),(9,6),(10,2),(10,11),(11,9)],12) => 6
[[[[],[]],[[[],[[],[]]],[]]],[]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[[[],[]],[[[[],[]],[]],[]]],[]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[[[],[[],[]]],[[],[[],[]]]],[]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,1),(5,3),(5,7),(6,2),(6,7),(7,8),(7,9),(8,10),(9,10),(10,4)],11) => 6
[[[[],[[],[]]],[[[],[]],[]]],[]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,1),(5,3),(5,7),(6,2),(6,7),(7,8),(7,9),(8,10),(9,10),(10,4)],11) => 6
[[[[[],[]],[]],[[],[[],[]]]],[]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,1),(5,3),(5,7),(6,2),(6,7),(7,8),(7,9),(8,10),(9,10),(10,4)],11) => 6
[[[[[],[]],[]],[[[],[]],[]]],[]] => ([(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) => ([(0,5),(0,6),(2,9),(3,8),(4,1),(5,3),(5,7),(6,2),(6,7),(7,8),(7,9),(8,10),(9,10),(10,4)],11) => 6
[[[[],[[],[[],[]]]],[[],[]]],[]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[[[],[[[],[]],[]]],[[],[]]],[]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[[[[],[]],[[],[]]],[[],[]]],[]] => ([(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) => ([(0,3),(0,4),(0,5),(2,9),(3,8),(3,10),(4,7),(4,10),(5,7),(5,8),(6,1),(7,11),(8,11),(9,6),(10,2),(10,11),(11,9)],12) => 6
[[[[[],[[],[]]],[]],[[],[]]],[]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 6
[[[[[[],[]],[]],[]],[[],[]]],[]] => ([(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) => ([(0,3),(0,6),(2,8),(3,7),(4,2),(4,9),(5,1),(6,4),(6,7),(7,9),(8,5),(9,8)],10) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[[[],[[[],[]],[[],[]]]],[]],[]] => ([(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) => ([(0,2),(0,3),(2,7),(3,7),(4,5),(5,1),(6,4),(7,6)],8) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[[[[],[]],[[],[[],[]]]],[]],[]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[[[[],[]],[[[],[]],[]]],[]],[]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[[[[],[[],[]]],[[],[]]],[]],[]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 6
[[[[[[],[]],[]],[[],[]]],[]],[]] => ([(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) => ([(0,3),(0,6),(1,8),(3,7),(4,2),(5,4),(6,1),(6,7),(7,8),(8,5)],9) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[[[[[],[]],[[],[]]],[]],[]],[]] => ([(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) => ([(0,2),(0,3),(2,7),(3,7),(4,5),(5,1),(6,4),(7,6)],8) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 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) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 6
[[[[[[[[[]]]]]]]],[]] => ([(0,9),(1,8),(2,9),(3,5),(4,3),(5,7),(6,4),(7,2),(8,6)],10) => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 8
[[],[[[[[[[[]]]]]]]]] => ([(0,9),(1,8),(2,9),(3,5),(4,3),(5,7),(6,4),(7,2),(8,6)],10) => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => 8
[[[[[[[[[[]]]]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => 9
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 join-irreducible elements of a lattice.
An element $j$ of a lattice $L$ is join irreducible if it is not the least element and if $j=x\vee y$, then $j\in\{x,y\}$ for all $x,y\in L$.
Map
maximal antichains
Description
The lattice of maximal antichains in a poset.
An antichain $A$ in a poset is maximal if there is no antichain of larger cardinality which contains all elements of $A$.
The set of maximal antichains can be ordered by setting $A \leq B \Leftrightarrow \mathop{\downarrow} A \subseteq \mathop{\downarrow}B$, where $\mathop{\downarrow}A$ is the order ideal generated by $A$.
Map
to poset
Description
Return the poset obtained by interpreting the tree as the Hasse diagram of a graph.