Identifier
Values
[] => ([],1) => ([],1) => 0
[[]] => ([(0,1)],2) => ([(0,1)],2) => 1
[[],[]] => ([(0,2),(1,2)],3) => ([],1) => 0
[[[]]] => ([(0,2),(2,1)],3) => ([(0,2),(2,1)],3) => 1
[[],[],[]] => ([(0,3),(1,3),(2,3)],4) => ([],1) => 0
[[],[[]]] => ([(0,3),(1,2),(2,3)],4) => ([(0,1)],2) => 1
[[[]],[]] => ([(0,3),(1,2),(2,3)],4) => ([(0,1)],2) => 1
[[[],[]]] => ([(0,3),(1,3),(3,2)],4) => ([],1) => 0
[[[[]]]] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => 1
[[],[],[],[]] => ([(0,4),(1,4),(2,4),(3,4)],5) => ([],1) => 0
[[],[],[[]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,1)],2) => 1
[[],[[]],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,1)],2) => 1
[[],[[],[]]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([],1) => 0
[[],[[[]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => 1
[[[]],[],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,1)],2) => 1
[[[]],[[]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[],[]],[]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([],1) => 0
[[[[]]],[]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => 1
[[[],[],[]]] => ([(0,4),(1,4),(2,4),(4,3)],5) => ([],1) => 0
[[[],[[]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,1)],2) => 1
[[[[]],[]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,1)],2) => 1
[[[[],[]]]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([],1) => 0
[[[[[]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[[],[],[],[],[]] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => ([],1) => 0
[[],[],[],[[]]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,1)],2) => 1
[[],[],[[]],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,1)],2) => 1
[[],[],[[],[]]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([],1) => 0
[[],[],[[[]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,2),(2,1)],3) => 1
[[],[[]],[],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,1)],2) => 1
[[],[[]],[[]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[],[[],[]],[]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([],1) => 0
[[],[[[]]],[]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,2),(2,1)],3) => 1
[[],[[],[],[]]] => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6) => ([],1) => 0
[[],[[],[[]]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,1)],2) => 1
[[],[[[]],[]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,1)],2) => 1
[[],[[[],[]]]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([],1) => 0
[[],[[[[]]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => 1
[[[]],[],[],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,1)],2) => 1
[[[]],[],[[]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[]],[[]],[]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[]],[[],[]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,1)],2) => 1
[[[]],[[[]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[],[]],[],[]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([],1) => 0
[[[[]]],[],[]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,2),(2,1)],3) => 1
[[[],[]],[[]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,1)],2) => 1
[[[[]]],[[]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[],[],[]],[]] => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6) => ([],1) => 0
[[[],[[]]],[]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,1)],2) => 1
[[[[]],[]],[]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,1)],2) => 1
[[[[],[]]],[]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([],1) => 0
[[[[[]]]],[]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => 1
[[[],[],[],[]]] => ([(0,5),(1,5),(2,5),(3,5),(5,4)],6) => ([],1) => 0
[[[],[],[[]]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => ([(0,1)],2) => 1
[[[],[[]],[]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => ([(0,1)],2) => 1
[[[],[[],[]]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([],1) => 0
[[[],[[[]]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,2),(2,1)],3) => 1
[[[[]],[],[]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => ([(0,1)],2) => 1
[[[[]],[[]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[[],[]],[]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([],1) => 0
[[[[[]]],[]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,2),(2,1)],3) => 1
[[[[],[],[]]]] => ([(0,5),(1,5),(2,5),(3,4),(5,3)],6) => ([],1) => 0
[[[[],[[]]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,1)],2) => 1
[[[[[]],[]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,1)],2) => 1
[[[[[],[]]]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([],1) => 0
[[[[[[]]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[],[],[],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([],1) => 0
[[],[],[],[],[[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,1)],2) => 1
[[],[],[],[[]],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,1)],2) => 1
[[],[],[],[[],[]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([],1) => 0
[[],[],[],[[[]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 1
[[],[],[[]],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,1)],2) => 1
[[],[],[[]],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[],[],[[],[]],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([],1) => 0
[[],[],[[[]]],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 1
[[],[],[[],[],[]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => ([],1) => 0
[[],[],[[],[[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,1)],2) => 1
[[],[],[[[]],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,1)],2) => 1
[[],[],[[[],[]]]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => ([],1) => 0
[[],[],[[[[]]]]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => ([(0,3),(2,1),(3,2)],4) => 1
[[],[[]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,1)],2) => 1
[[],[[]],[],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[],[[]],[[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[],[[]],[[],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1)],2) => 1
[[],[[]],[[[]]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[],[[],[]],[],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([],1) => 0
[[],[[[]]],[],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 1
[[],[[],[]],[[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1)],2) => 1
[[],[[[]]],[[]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[],[[],[],[]],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => ([],1) => 0
[[],[[],[[]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,1)],2) => 1
[[],[[[]],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,1)],2) => 1
[[],[[[],[]]],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => ([],1) => 0
[[],[[[[]]]],[]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => ([(0,3),(2,1),(3,2)],4) => 1
[[],[[],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => ([],1) => 0
[[],[[],[],[[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,1)],2) => 1
[[],[[],[[]],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,1)],2) => 1
[[],[[],[[],[]]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([],1) => 0
[[],[[],[[[]]]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 1
[[],[[[]],[],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,1)],2) => 1
[[],[[[]],[[]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[],[[[],[]],[]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([],1) => 0
>>> Load all 429 entries. <<<
[[],[[[[]]],[]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 1
[[],[[[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,4)],7) => ([],1) => 0
[[],[[[],[[]]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,1)],2) => 1
[[],[[[[]],[]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,1)],2) => 1
[[],[[[[],[]]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([],1) => 0
[[],[[[[[]]]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[[[]],[],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,1)],2) => 1
[[[]],[],[],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[]],[],[[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[]],[],[[],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1)],2) => 1
[[[]],[],[[[]]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[]],[[]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[]],[[],[]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1)],2) => 1
[[[]],[[[]]],[]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[]],[[],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(6,5)],7) => ([(0,1)],2) => 1
[[[]],[[],[[]]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[]],[[[]],[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[]],[[[],[]]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,1)],2) => 1
[[[],[]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([],1) => 0
[[[[]]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 1
[[[],[]],[],[[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1)],2) => 1
[[[[]]],[],[[]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[],[]],[[]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,1)],2) => 1
[[[[]]],[[]],[]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[],[]],[[],[]]] => ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7) => ([],1) => 0
[[[],[]],[[[]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,2),(2,1)],3) => 1
[[[[]]],[[],[]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,2),(2,1)],3) => 1
[[[],[],[]],[],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => ([],1) => 0
[[[],[[]]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,1)],2) => 1
[[[[]],[]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,1)],2) => 1
[[[[],[]]],[],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => ([],1) => 0
[[[[[]]]],[],[]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => ([(0,3),(2,1),(3,2)],4) => 1
[[[],[],[]],[[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(6,5)],7) => ([(0,1)],2) => 1
[[[],[[]]],[[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[[]],[]],[[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[[],[]]],[[]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,1)],2) => 1
[[[],[],[],[]],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => ([],1) => 0
[[[],[],[[]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,1)],2) => 1
[[[],[[]],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,1)],2) => 1
[[[],[[],[]]],[]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([],1) => 0
[[[],[[[]]]],[]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 1
[[[[]],[],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,1)],2) => 1
[[[[]],[[]]],[]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[[],[]],[]],[]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([],1) => 0
[[[[[]]],[]],[]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,2),(2,1)],3) => 1
[[[[],[],[]]],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(6,4)],7) => ([],1) => 0
[[[[],[[]]]],[]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,1)],2) => 1
[[[[[]],[]]],[]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,1)],2) => 1
[[[[[],[]]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([],1) => 0
[[[[[[]]]]],[]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 1
[[[],[],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7) => ([],1) => 0
[[[],[],[],[[]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,1)],2) => 1
[[[],[],[[]],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,1)],2) => 1
[[[],[],[[],[]]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => ([],1) => 0
[[[],[],[[[]]]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => ([(0,2),(2,1)],3) => 1
[[[],[[]],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,1)],2) => 1
[[[],[[]],[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[],[[],[]],[]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => ([],1) => 0
[[[],[[[]]],[]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => ([(0,2),(2,1)],3) => 1
[[[],[[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7) => ([],1) => 0
[[[],[[],[[]]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,1)],2) => 1
[[[],[[[]],[]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,1)],2) => 1
[[[],[[[],[]]]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([],1) => 0
[[[],[[[[]]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,3),(2,1),(3,2)],4) => 1
[[[[]],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,1)],2) => 1
[[[[]],[],[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[[]],[[]],[]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[[]],[[],[]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,1)],2) => 1
[[[[]],[[[]]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[[],[]],[],[]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => ([],1) => 0
[[[[[]]],[],[]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => ([(0,2),(2,1)],3) => 1
[[[[],[]],[[]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,1)],2) => 1
[[[[[]]],[[]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[[],[],[]],[]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7) => ([],1) => 0
[[[[],[[]]],[]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,1)],2) => 1
[[[[[]],[]],[]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,1)],2) => 1
[[[[[],[]]],[]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([],1) => 0
[[[[[[]]]],[]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,3),(2,1),(3,2)],4) => 1
[[[[],[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,4)],7) => ([],1) => 0
[[[[],[],[[]]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,1)],2) => 1
[[[[],[[]],[]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,1)],2) => 1
[[[[],[[],[]]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([],1) => 0
[[[[],[[[]]]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,2),(2,1)],3) => 1
[[[[[]],[],[]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,1)],2) => 1
[[[[[]],[[]]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[[[],[]],[]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([],1) => 0
[[[[[[]]],[]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,2),(2,1)],3) => 1
[[[[[],[],[]]]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,3)],7) => ([],1) => 0
[[[[[],[[]]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,1)],2) => 1
[[[[[[]],[]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,1)],2) => 1
[[[[[[],[]]]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([],1) => 0
[[[[[[[]]]]]]] => ([(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) => 1
[[],[],[],[],[],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => ([],1) => 0
[[],[],[],[],[[[]]]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,2),(2,1)],3) => 1
[[],[],[],[[]],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[],[],[],[[[]]],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,2),(2,1)],3) => 1
[[],[],[],[[[[]]]]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,3),(2,1),(3,2)],4) => 1
[[],[],[[]],[],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[],[],[[]],[[]],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[],[],[[]],[[[]]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[],[],[[[]]],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,2),(2,1)],3) => 1
[[],[],[[[]]],[[]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[],[],[[[[]]]],[]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,3),(2,1),(3,2)],4) => 1
[[],[[]],[],[],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[],[[]],[],[[]],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[],[[]],[],[[[]]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[],[[]],[[]],[],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[],[[]],[[[]]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[],[[[]]],[],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,2),(2,1)],3) => 1
[[],[[[]]],[],[[]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[],[[[]]],[[]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[],[[],[]],[[],[]]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => ([],1) => 0
[[],[[],[]],[[[]]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,2),(2,1)],3) => 1
[[],[[[]]],[[],[]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,2),(2,1)],3) => 1
[[],[[[[]]]],[],[]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,3),(2,1),(3,2)],4) => 1
[[],[[[[[[]]]]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[[]],[],[],[],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[]],[],[],[[]],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[]],[],[],[[[]]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[]],[],[[]],[],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[]],[],[[[]]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[]],[[]],[],[],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,1),(0,2),(1,3),(2,3)],4) => 2
[[[]],[[[]]],[],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[[]]],[],[],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,2),(2,1)],3) => 1
[[[[]]],[],[],[[]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[[]]],[],[[]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[],[]],[],[[],[]]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => ([],1) => 0
[[[],[]],[],[[[]]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,2),(2,1)],3) => 1
[[[[]]],[],[[],[]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,2),(2,1)],3) => 1
[[[[]]],[[]],[],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,2),(0,3),(1,5),(2,4),(3,1),(3,4),(4,5)],6) => 2
[[[],[]],[[],[]],[]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => ([],1) => 0
[[[],[]],[[[]]],[]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,2),(2,1)],3) => 1
[[[[]]],[[],[]],[]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,2),(2,1)],3) => 1
[[[],[]],[[[[]]]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(2,1),(3,2)],4) => 1
[[[[[]]]],[],[],[]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,3),(2,1),(3,2)],4) => 1
[[[[[]]]],[[],[]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(2,1),(3,2)],4) => 1
[[[[[[[]]]]]],[]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 1
[[[[[],[],[],[]]]]] => ([(0,7),(1,7),(2,7),(3,7),(4,6),(6,5),(7,4)],8) => ([],1) => 0
[[],[[],[[],[[],[]]]]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([],1) => 0
[[],[[],[[[],[]],[]]]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([],1) => 0
[[],[[[],[]],[[],[]]]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,8),(6,8),(8,7)],9) => ([],1) => 0
[[],[[[],[[],[]]],[]]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([],1) => 0
[[],[[[[],[]],[]],[]]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([],1) => 0
[[],[[[[[[[]]]]]]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[[],[]],[[],[[],[]]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => ([],1) => 0
[[[],[]],[[[],[]],[]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => ([],1) => 0
[[[],[[],[]]],[[],[]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => ([],1) => 0
[[[[],[]],[]],[[],[]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => ([],1) => 0
[[[],[[],[[],[]]]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([],1) => 0
[[[],[[[],[]],[]]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([],1) => 0
[[[[],[]],[[],[]]],[]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,8),(6,8),(8,7)],9) => ([],1) => 0
[[[[],[[],[]]],[]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([],1) => 0
[[[[[],[]],[]],[]],[]] => ([(0,5),(1,5),(2,7),(3,8),(4,6),(5,8),(7,6),(8,7)],9) => ([],1) => 0
[[[[[[[[]]]]]]],[]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 1
[[],[[],[[],[[],[[],[]]]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[],[[],[[],[[[],[]],[]]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[],[[],[[[],[]],[[],[]]]]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => ([],1) => 0
[[],[[],[[[],[[],[]]],[]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[],[[],[[[[],[]],[]],[]]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[],[[[],[]],[[],[[],[]]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([],1) => 0
[[],[[[],[]],[[[],[]],[]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([],1) => 0
[[],[[[],[[],[]]],[[],[]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([],1) => 0
[[],[[[[],[]],[]],[[],[]]]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([],1) => 0
[[],[[[],[[],[[],[]]]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[],[[[],[[[],[]],[]]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[],[[[[],[]],[[],[]]],[]]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => ([],1) => 0
[[],[[[[],[[],[]]],[]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[],[[[[[],[]],[]],[]],[]]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[[],[]],[[],[[],[[],[]]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([],1) => 0
[[[],[]],[[],[[[],[]],[]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([],1) => 0
[[[],[]],[[[],[]],[[],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([],1) => 0
[[[],[]],[[[],[[],[]]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([],1) => 0
[[[],[]],[[[[],[]],[]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([],1) => 0
[[[],[[],[]]],[[],[[],[]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => ([],1) => 0
[[[],[[],[]]],[[[],[]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => ([],1) => 0
[[[[],[]],[]],[[],[[],[]]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => ([],1) => 0
[[[[],[]],[]],[[[],[]],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,8),(7,9),(8,10),(9,10)],11) => ([],1) => 0
[[[],[[],[[],[]]]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([],1) => 0
[[[],[[[],[]],[]]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([],1) => 0
[[[[],[]],[[],[]]],[[],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([],1) => 0
[[[[],[[],[]]],[]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([],1) => 0
[[[[[],[]],[]],[]],[[],[]]] => ([(0,9),(1,8),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,9),(9,10)],11) => ([],1) => 0
[[[],[[],[[],[[],[]]]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[[],[[],[[[],[]],[]]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[[],[[[],[]],[[],[]]]],[]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => ([],1) => 0
[[[],[[[],[[],[]]],[]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[[],[[[[],[]],[]],[]]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[[[],[]],[[],[[],[]]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([],1) => 0
[[[[],[]],[[[],[]],[]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([],1) => 0
[[[[],[[],[]]],[[],[]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([],1) => 0
[[[[[],[]],[]],[[],[]]],[]] => ([(0,8),(1,9),(2,6),(3,6),(4,7),(5,7),(6,10),(7,8),(8,10),(10,9)],11) => ([],1) => 0
[[[[],[[],[[],[]]]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[[[],[[[],[]],[]]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[[[[],[]],[[],[]]],[]],[]] => ([(0,9),(1,8),(2,7),(3,7),(4,6),(5,6),(6,10),(7,10),(8,9),(10,8)],11) => ([],1) => 0
[[[[[],[[],[]]],[]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[[[[[],[]],[]],[]],[]],[]] => ([(0,6),(1,6),(2,8),(3,9),(4,10),(5,7),(6,10),(8,9),(9,7),(10,8)],11) => ([],1) => 0
[[],[[],[[],[[],[[],[[],[]]]]]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[],[[],[[],[[[],[]],[]]]]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[],[[],[[[],[]],[[],[]]]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13) => ([],1) => 0
[[],[[],[[],[[[],[[],[]]],[]]]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[],[[],[[[[],[]],[]],[]]]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[],[[[],[]],[[],[[],[]]]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[],[[],[[[],[]],[[[],[]],[]]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[],[[],[[[],[[],[]]],[[],[]]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[],[[],[[[[],[]],[]],[[],[]]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[],[[],[[[],[[],[[],[]]]],[]]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[],[[[],[[[],[]],[]]],[]]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[],[[[[],[]],[[],[]]],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13) => ([],1) => 0
[[],[[],[[[[],[[],[]]],[]],[]]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[],[[[[[],[]],[]],[]],[]]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[[],[]],[[],[[],[[],[]]]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[],[[[],[]],[[],[[[],[]],[]]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[],[[[],[]],[[[],[]],[[],[]]]]] => ([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(11,12),(12,10)],13) => ([],1) => 0
[[],[[[],[]],[[[],[[],[]]],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[],[[[],[]],[[[[],[]],[]],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[],[[[],[[],[]]],[[],[[],[]]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13) => ([],1) => 0
[[],[[[],[[],[]]],[[[],[]],[]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13) => ([],1) => 0
[[],[[[[],[]],[]],[[],[[],[]]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13) => ([],1) => 0
[[],[[[[],[]],[]],[[[],[]],[]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13) => ([],1) => 0
[[],[[[],[[],[[],[]]]],[[],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[],[[[],[[[],[]],[]]],[[],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[],[[[[],[]],[[],[]]],[[],[]]]] => ([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(11,12),(12,10)],13) => ([],1) => 0
[[],[[[[],[[],[]]],[]],[[],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[],[[[[[],[]],[]],[]],[[],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[],[[[],[[],[[],[[],[]]]]],[]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[[],[[],[[[],[]],[]]]],[]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[[],[[[],[]],[[],[]]]],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13) => ([],1) => 0
[[],[[[],[[[],[[],[]]],[]]],[]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[[],[[[[],[]],[]],[]]],[]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[[[],[]],[[],[[],[]]]],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[],[[[[],[]],[[[],[]],[]]],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[],[[[[],[[],[]]],[[],[]]],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[],[[[[[],[]],[]],[[],[]]],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[],[[[[],[[],[[],[]]]],[]],[]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[[[],[[[],[]],[]]],[]],[]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[[[[],[]],[[],[]]],[]],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13) => ([],1) => 0
[[],[[[[[],[[],[]]],[]],[]],[]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[],[[[[[[],[]],[]],[]],[]],[]]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[],[]],[[],[[],[[],[[],[]]]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[]],[[],[[],[[[],[]],[]]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[]],[[],[[[],[]],[[],[]]]]] => ([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(10,12),(11,10)],13) => ([],1) => 0
[[[],[]],[[],[[[],[[],[]]],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[]],[[],[[[[],[]],[]],[]]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[]],[[[],[]],[[],[[],[]]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13) => ([],1) => 0
[[[],[]],[[[],[]],[[[],[]],[]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13) => ([],1) => 0
[[[],[]],[[[],[[],[]]],[[],[]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13) => ([],1) => 0
[[[],[]],[[[[],[]],[]],[[],[]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13) => ([],1) => 0
[[[],[]],[[[],[[],[[],[]]]],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[]],[[[],[[[],[]],[]]],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[]],[[[[],[]],[[],[]]],[]]] => ([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(10,12),(11,10)],13) => ([],1) => 0
[[[],[]],[[[[],[[],[]]],[]],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[]],[[[[[],[]],[]],[]],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[[],[]]],[[],[[],[[],[]]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[],[[],[]]],[[],[[[],[]],[]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[],[[],[]]],[[[],[]],[[],[]]]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,9),(6,9),(7,11),(8,11),(9,10),(10,12),(11,12)],13) => ([],1) => 0
[[[],[[],[]]],[[[],[[],[]]],[]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[],[[],[]]],[[[[],[]],[]],[]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[[],[]],[]],[[],[[],[[],[]]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[[],[]],[]],[[],[[[],[]],[]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[[],[]],[]],[[[],[]],[[],[]]]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,9),(6,9),(7,11),(8,11),(9,10),(10,12),(11,12)],13) => ([],1) => 0
[[[[],[]],[]],[[[],[[],[]]],[]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[[],[]],[]],[[[[],[]],[]],[]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[],[[],[[],[]]]],[[],[[],[]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[],[[],[[],[]]]],[[[],[]],[]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[],[[[],[]],[]]],[[],[[],[]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[],[[[],[]],[]]],[[[],[]],[]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[[],[]],[[],[]]],[[],[[],[]]]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,9),(6,9),(7,11),(8,11),(9,10),(10,12),(11,12)],13) => ([],1) => 0
[[[[],[]],[[],[]]],[[[],[]],[]]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,9),(6,9),(7,11),(8,11),(9,10),(10,12),(11,12)],13) => ([],1) => 0
[[[[],[[],[]]],[]],[[],[[],[]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[[],[[],[]]],[]],[[[],[]],[]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[[[],[]],[]],[]],[[],[[],[]]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[[[],[]],[]],[]],[[[],[]],[]]] => ([(0,7),(1,7),(2,8),(3,8),(4,9),(5,10),(6,11),(7,10),(8,11),(9,12),(10,12),(11,9)],13) => ([],1) => 0
[[[],[[],[[],[[],[]]]]],[[],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[[],[[[],[]],[]]]],[[],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[[[],[]],[[],[]]]],[[],[]]] => ([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(10,12),(11,10)],13) => ([],1) => 0
[[[],[[[],[[],[]]],[]]],[[],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[[[[],[]],[]],[]]],[[],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[[],[]],[[],[[],[]]]],[[],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13) => ([],1) => 0
[[[[],[]],[[[],[]],[]]],[[],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13) => ([],1) => 0
[[[[],[[],[]]],[[],[]]],[[],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13) => ([],1) => 0
[[[[[],[]],[]],[[],[]]],[[],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,8),(5,9),(6,9),(7,12),(8,11),(9,10),(10,12),(12,11)],13) => ([],1) => 0
[[[[],[[],[[],[]]]],[]],[[],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[[],[[[],[]],[]]],[]],[[],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[[[],[]],[[],[]]],[]],[[],[]]] => ([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(10,12),(11,10)],13) => ([],1) => 0
[[[[[],[[],[]]],[]],[]],[[],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[[[[],[]],[]],[]],[]],[[],[]]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,11),(9,12),(10,9),(11,10)],13) => ([],1) => 0
[[[],[[],[[],[[],[[],[]]]]]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[],[[],[[],[[[],[]],[]]]]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[],[[],[[[],[]],[[],[]]]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13) => ([],1) => 0
[[[],[[],[[[],[[],[]]],[]]]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[],[[],[[[[],[]],[]],[]]]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[],[[[],[]],[[],[[],[]]]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[[],[[[],[]],[[[],[]],[]]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[[],[[[],[[],[]]],[[],[]]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[[],[[[[],[]],[]],[[],[]]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[[],[[[],[[],[[],[]]]],[]]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[],[[[],[[[],[]],[]]],[]]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[],[[[[],[]],[[],[]]],[]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13) => ([],1) => 0
[[[],[[[[],[[],[]]],[]],[]]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[],[[[[[],[]],[]],[]],[]]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[[],[]],[[],[[],[[],[]]]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[[[],[]],[[],[[[],[]],[]]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[[[],[]],[[[],[]],[[],[]]]],[]] => ([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(11,12),(12,10)],13) => ([],1) => 0
[[[[],[]],[[[],[[],[]]],[]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[[[],[]],[[[[],[]],[]],[]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[[[],[[],[]]],[[],[[],[]]]],[]] => ([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13) => ([],1) => 0
[[[[],[[],[]]],[[[],[]],[]]],[]] => ([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13) => ([],1) => 0
[[[[[],[]],[]],[[],[[],[]]]],[]] => ([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13) => ([],1) => 0
[[[[[],[]],[]],[[[],[]],[]]],[]] => ([(0,7),(1,7),(2,8),(3,8),(4,11),(5,10),(6,9),(7,10),(8,11),(10,12),(11,12),(12,9)],13) => ([],1) => 0
[[[[],[[],[[],[]]]],[[],[]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[[[],[[[],[]],[]]],[[],[]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[[[[],[]],[[],[]]],[[],[]]],[]] => ([(0,10),(1,9),(2,9),(3,8),(4,8),(5,7),(6,7),(7,12),(8,11),(9,11),(11,12),(12,10)],13) => ([],1) => 0
[[[[[],[[],[]]],[]],[[],[]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[[[[[],[]],[]],[]],[[],[]]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,11),(9,12),(11,9),(12,10)],13) => ([],1) => 0
[[[[],[[],[[],[[],[]]]]],[]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[[],[[],[[[],[]],[]]]],[]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[[],[[[],[]],[[],[]]]],[]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13) => ([],1) => 0
[[[[],[[[],[[],[]]],[]]],[]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[[],[[[[],[]],[]],[]]],[]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[[[],[]],[[],[[],[]]]],[]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[[[[],[]],[[[],[]],[]]],[]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[[[[],[[],[]]],[[],[]]],[]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[[[[[],[]],[]],[[],[]]],[]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,9),(5,10),(6,11),(7,12),(8,10),(10,12),(11,9),(12,11)],13) => ([],1) => 0
[[[[[],[[],[[],[]]]],[]],[]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[[[],[[[],[]],[]]],[]],[]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[[[[],[]],[[],[]]],[]],[]],[]] => ([(0,8),(1,8),(2,7),(3,7),(4,10),(5,11),(6,9),(7,12),(8,12),(10,9),(11,10),(12,11)],13) => ([],1) => 0
[[[[[[],[[],[]]],[]],[]],[]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
[[[[[[[],[]],[]],[]],[]],[]],[]] => ([(0,7),(1,7),(2,9),(3,10),(4,11),(5,12),(6,8),(7,12),(9,11),(10,9),(11,8),(12,10)],13) => ([],1) => 0
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 atoms of a lattice.
An element of a lattice is an atom if it covers the least element.
Map
antichains of maximal size
Description
The lattice of antichains of maximal size in a poset.
The set of antichains of maximal size 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$.
This is a sublattice of the lattice of all antichains with respect to the same order relation. In particular, it is distributive.
Map
to poset
Description
Return the poset obtained by interpreting the tree as the Hasse diagram of a graph.