Identifier
Mp00046: Ordered trees —to graph⟶ Graphs
Mp00247: Graphs —de-duplicate⟶ Graphs
Images
[] => ([],1) => ([],1)
[[]] => ([(0,1)],2) => ([(0,1)],2)
[[],[]] => ([(0,2),(1,2)],3) => ([(0,1)],2)
[[[]]] => ([(0,2),(1,2)],3) => ([(0,1)],2)
[[],[],[]] => ([(0,3),(1,3),(2,3)],4) => ([(0,1)],2)
[[],[[]]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(1,2),(2,3)],4)
[[[]],[]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(1,2),(2,3)],4)
[[[],[]]] => ([(0,3),(1,3),(2,3)],4) => ([(0,1)],2)
[[[[]]]] => ([(0,3),(1,2),(2,3)],4) => ([(0,3),(1,2),(2,3)],4)
[[],[],[],[]] => ([(0,4),(1,4),(2,4),(3,4)],5) => ([(0,1)],2)
[[],[],[[]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,3),(1,2),(2,3)],4)
[[],[[]],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,3),(1,2),(2,3)],4)
[[],[[],[]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,3),(1,2),(2,3)],4)
[[],[[[]]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[]],[],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,3),(1,2),(2,3)],4)
[[[]],[[]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[],[]],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,3),(1,2),(2,3)],4)
[[[[]]],[]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[],[],[]]] => ([(0,4),(1,4),(2,4),(3,4)],5) => ([(0,1)],2)
[[[],[[]]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,3),(1,2),(2,3)],4)
[[[[]],[]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,3),(1,2),(2,3)],4)
[[[[],[]]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,3),(1,2),(2,3)],4)
[[[[[]]]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[],[],[],[],[]] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => ([(0,1)],2)
[[],[],[],[[]]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[],[],[[]],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[],[],[[],[]]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[],[],[[[]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[],[[]],[],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[],[[]],[[]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[],[]],[]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[],[[[]]],[]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[],[[],[],[]]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[],[[],[[]]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[[]],[]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[[],[]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[],[[[[]]]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[]],[],[],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[[]],[],[[]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[]],[[]],[]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[]],[[],[]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[]],[[[]]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[],[]],[],[]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[[[]]],[],[]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[],[]],[[]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[]]],[[]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[],[],[]],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[[],[[]]],[]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[]],[]],[]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[],[]]],[]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[[]]]],[]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[],[],[],[]]] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => ([(0,1)],2)
[[[],[],[[]]]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[[],[[]],[]]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[[],[[],[]]]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[[],[[[]]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[]],[],[]]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[[[]],[[]]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[],[]],[]]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[[[[]]],[]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[],[],[]]]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,3),(1,2),(2,3)],4)
[[[[],[[]]]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[]],[]]]] => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[],[]]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[[[]]]]]] => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[],[],[],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(0,1)],2)
[[],[],[],[],[[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[],[],[],[[]],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[],[],[],[[],[]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[],[],[],[[[]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[],[],[[]],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[],[],[[]],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[],[[],[]],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[],[],[[[]]],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[],[],[[],[],[]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[],[],[[],[[]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[],[[[]],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[],[[[],[]]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[],[],[[[[]]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[],[[]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[],[[]],[],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[]],[[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[]],[[],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[]],[[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[],[]],[],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[],[[[]]],[],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[],[[],[]],[[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[[]]],[[]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[],[],[]],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[],[[],[[]]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[[]],[]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[[],[]]],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[],[[[[]]]],[]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[],[[],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[],[[],[],[[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[],[[]],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[],[[],[]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[],[[[]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[[]],[],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[[]],[[]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[],[[[],[]],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
>>> Load all 519 entries. <<<
[[],[[[[]]],[]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[],[[[],[[]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[[[]],[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[[[],[]]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[],[[[[[]]]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[]],[],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[]],[],[],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[]],[],[[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[]],[],[[],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[]],[],[[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[]],[[]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[]],[[]],[[]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[]],[[],[]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[]],[[[]]],[]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[]],[[],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[]],[[],[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[]],[[[]],[]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[]],[[[],[]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[]],[[[[]]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[],[]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[[]]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[],[]],[],[[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[]]],[],[[]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[],[]],[[]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[]]],[[]],[]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[],[]],[[],[]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[],[]],[[[]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[]]],[[],[]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[]]],[[[]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[],[],[]],[],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[],[[]]],[],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[]],[]],[],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[],[]]],[],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[[]]]],[],[]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[],[],[]],[[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[],[[]]],[[]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[]],[]],[[]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[]]],[[]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[[]]]],[[]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[],[],[],[]],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[],[],[[]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[],[[]],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[],[[],[]]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[],[[[]]]],[]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[]],[],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[]],[[]]],[]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[],[]],[]],[]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[]]],[]],[]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[],[]]],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[],[[]]]],[]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[]],[]]],[]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[],[]]]],[]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[[[]]]]],[]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[],[],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(0,1)],2)
[[[],[],[],[[]]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[],[],[[]],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[],[],[[],[]]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[],[],[[[]]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[],[[]],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[],[[]],[[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[],[[],[]],[]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[],[[[]]],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[],[[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[],[[],[[]]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[],[[[]],[]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[],[[[],[]]]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[],[[[[]]]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[]],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[[]],[],[[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[]],[[]],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[]],[[],[]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[]],[[[]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[]],[],[]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[[[]]],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[],[]],[[]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[]]],[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[],[]],[]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[[],[[]]],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[]],[]],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[],[]]],[]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[[[]]]],[]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[],[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,3),(1,2),(2,3)],4)
[[[[],[],[[]]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[],[[]],[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[],[[],[]]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[],[[[]]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[]],[],[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[]],[[]]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[[],[]],[]]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[[]]],[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[],[],[]]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[[],[[]]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[[]],[]]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[[],[]]]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[[[[[]]]]]]] => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[],[],[[[[[]]]]]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[],[[[]]],[[[]]]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[],[[[[[]]]]],[]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[],[[[],[[[]]]]]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[],[[[[[]]],[]]]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[],[[[[[],[]]]]]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[]],[[],[[[]]]]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[]],[[[[]]],[]]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[]],[[[[],[]]]]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[]]],[],[[[]]]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[]]],[[[]]],[]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[],[]],[[[[]]]]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[]]],[[[],[]]]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[],[]]],[[[]]]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[]]]],[[],[]]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[[]]]]],[],[]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[],[[[]]]],[[]]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[]]],[]],[[]]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[],[]]]],[[]]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[],[[[]]]]],[]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[[]]],[]]],[]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[[],[]]]]],[]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[],[[[[[]]]]]]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[]]],[[[]]]]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[[[]]]]],[]]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[[[],[[[]]]]]]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[[[]]],[]]]]] => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[[[[],[]]]]]]] => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[],[],[[],[[],[[]]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[],[[],[[[]],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[],[[],[[[],[]]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[],[[[]],[[],[]]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[],[],[[[],[]],[[]]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[],[],[[[],[[]]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[],[[[[]],[]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[],[[[[],[]]],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[],[[[],[[],[]]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[],[[[[],[]],[]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[]],[[],[[],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[]],[[[],[]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[],[]],[[],[[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[],[]],[[[]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[],[]],[[[],[]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[],[[]]],[[],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[[]],[]],[[],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[[],[]]],[[],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[],[[],[]]],[[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[[],[]],[]],[[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[],[[],[[]]]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[],[[[]],[]]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[],[[[],[]]]],[]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[[]],[[],[]]],[]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[],[[[],[]],[[]]],[]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[],[[[],[[]]],[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[[[]],[]],[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[[[],[]]],[]],[]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[[],[[],[]]]],[]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[[[],[]],[]]],[]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[],[[],[[],[]]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[],[[[],[]],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[[],[]],[[],[]]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[],[[[],[[],[]]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[[[],[]],[]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[],[[[[[[[]]]]]]]] => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9) => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9)
[[[]],[],[[],[[],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[]],[],[[[],[]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[]],[[],[]],[[],[]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[]],[[],[[],[]]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[]],[[[],[]],[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[]],[[[[[[]]]]]]] => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9) => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9)
[[[],[]],[],[[],[[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[]],[],[[[]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[]],[],[[[],[]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[],[]],[[]],[[],[]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[],[]],[[],[]],[[]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[],[]],[[],[[]]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[]],[[[]],[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[]],[[[],[]]],[]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[],[]],[[],[[],[]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[],[]],[[[],[]],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[]]],[[[[[]]]]]] => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9) => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9)
[[[],[[]]],[],[[],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[]],[]],[],[[],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[]]],[],[[],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[],[[]]],[[],[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[]],[]],[[],[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[]]],[[],[]],[]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[]]]],[[[[]]]]] => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9) => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9)
[[[],[[],[]]],[],[[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[]],[]],[],[[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[[],[]]],[[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[]],[]],[[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[[],[]]],[[],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[]],[]],[[],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[[]]]]],[[[]]]] => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9) => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9)
[[[],[[],[[]]]],[],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[[[]],[]]],[],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[[[],[]]]],[],[]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[]],[[],[]]],[],[]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[],[]],[[]]],[],[]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[],[[]]],[]],[],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[]],[]],[]],[],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[],[]]],[]],[],[]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[[],[]]]],[],[]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[],[]],[]]],[],[]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[[[]]]]]],[[]]] => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9) => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9)
[[[],[[],[[],[]]]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[[[],[]],[]]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[]],[[],[]]],[]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[],[[],[]]],[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[],[]],[]],[]],[]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[[[[]]]]]]],[]] => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9) => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9)
[[[],[[],[[],[[]]]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[[],[[[]],[]]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[[],[[[],[]]]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[],[[[]],[[],[]]]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[],[[[],[]],[[]]]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[],[[[],[[]]],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[[[[]],[]],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[],[[[[],[]]],[]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[],[[[],[[],[]]]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[],[[[[],[]],[]]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[]],[[],[[],[]]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[]],[[[],[]],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[]],[[],[[]]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[]],[[[]],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[]],[[[],[]]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[[]]],[[],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[]],[]],[[],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[],[]]],[[],[]]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[[],[]]],[[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[],[]],[]],[[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[[],[[]]]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[[[]],[]]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[[[],[]]]],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[]],[[],[]]],[]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[[],[]],[[]]],[]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[[],[[]]],[]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[[]],[]],[]],[]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[[],[]]],[]],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[],[[],[]]]],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[[],[]],[]]],[]]] => ([(0,6),(1,6),(2,7),(3,7),(4,8),(5,7),(5,8),(6,8)],9) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[[],[[],[]]]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[],[[[],[]],[]]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[],[]],[[],[]]]]] => ([(0,7),(1,7),(2,6),(3,6),(4,5),(5,8),(6,8),(7,8)],9) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[[],[[],[]]],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[[],[]],[]],[]]]] => ([(0,8),(1,6),(2,6),(3,7),(4,5),(5,8),(6,7),(7,8)],9) => ([(0,7),(1,6),(2,4),(3,5),(4,6),(5,7),(6,7)],8)
[[[[[[[[[]]]]]]]]] => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9) => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9)
[[],[[],[[],[[],[[],[]]]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[],[[],[[],[[[],[]],[]]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[],[[],[[[],[]],[[],[]]]]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[],[[],[[[],[[],[]]],[]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[],[[],[[[[],[]],[]],[]]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[],[[[],[]],[[],[[],[]]]]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[],[[[],[]],[[[],[]],[]]]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[],[[[],[[],[]]],[[],[]]]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[],[[[[],[]],[]],[[],[]]]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[],[[[],[[],[[],[]]]],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[],[[[],[[[],[]],[]]],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[],[[[[],[]],[[],[]]],[]]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[],[[[[],[[],[]]],[]],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[],[[[[[],[]],[]],[]],[]]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[[],[]],[[],[[],[[],[]]]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,8),(1,7),(2,6),(3,4),(4,7),(5,6),(5,8),(7,8)],9)
[[[],[]],[[],[[[],[]],[]]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,8),(1,7),(2,6),(3,4),(4,7),(5,6),(5,8),(7,8)],9)
[[[],[]],[[[],[]],[[],[]]]] => ([(0,9),(1,9),(2,8),(3,8),(4,7),(5,7),(6,9),(6,10),(7,10),(8,10)],11) => ([(0,6),(1,5),(2,4),(3,4),(3,7),(5,7),(6,7)],8)
[[[],[]],[[[],[[],[]]],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,8),(1,7),(2,6),(3,4),(4,7),(5,6),(5,8),(7,8)],9)
[[[],[]],[[[[],[]],[]],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,8),(1,7),(2,6),(3,4),(4,7),(5,6),(5,8),(7,8)],9)
[[[],[[],[]]],[[],[[],[]]]] => ([(0,10),(1,9),(2,7),(3,7),(4,8),(5,8),(6,9),(6,10),(7,9),(8,10)],11) => ([(0,8),(1,7),(2,4),(3,5),(4,7),(5,8),(6,7),(6,8)],9)
[[[],[[],[]]],[[[],[]],[]]] => ([(0,10),(1,9),(2,7),(3,7),(4,8),(5,8),(6,9),(6,10),(7,9),(8,10)],11) => ([(0,8),(1,7),(2,4),(3,5),(4,7),(5,8),(6,7),(6,8)],9)
[[[[],[]],[]],[[],[[],[]]]] => ([(0,10),(1,9),(2,7),(3,7),(4,8),(5,8),(6,9),(6,10),(7,9),(8,10)],11) => ([(0,8),(1,7),(2,4),(3,5),(4,7),(5,8),(6,7),(6,8)],9)
[[[[],[]],[]],[[[],[]],[]]] => ([(0,10),(1,9),(2,7),(3,7),(4,8),(5,8),(6,9),(6,10),(7,9),(8,10)],11) => ([(0,8),(1,7),(2,4),(3,5),(4,7),(5,8),(6,7),(6,8)],9)
[[[],[[],[[],[]]]],[[],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,8),(1,7),(2,6),(3,4),(4,7),(5,6),(5,8),(7,8)],9)
[[[],[[[],[]],[]]],[[],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,8),(1,7),(2,6),(3,4),(4,7),(5,6),(5,8),(7,8)],9)
[[[[],[]],[[],[]]],[[],[]]] => ([(0,9),(1,9),(2,8),(3,8),(4,7),(5,7),(6,9),(6,10),(7,10),(8,10)],11) => ([(0,6),(1,5),(2,4),(3,4),(3,7),(5,7),(6,7)],8)
[[[[],[[],[]]],[]],[[],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,8),(1,7),(2,6),(3,4),(4,7),(5,6),(5,8),(7,8)],9)
[[[[[],[]],[]],[]],[[],[]]] => ([(0,10),(1,9),(2,9),(3,7),(4,8),(5,8),(6,9),(6,10),(7,8),(7,10)],11) => ([(0,8),(1,7),(2,6),(3,4),(4,7),(5,6),(5,8),(7,8)],9)
[[[],[[],[[],[[],[]]]]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[[],[[],[[[],[]],[]]]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[[],[[[],[]],[[],[]]]],[]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[[],[[[],[[],[]]],[]]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[[],[[[[],[]],[]],[]]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[[[],[]],[[],[[],[]]]],[]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[[[],[]],[[[],[]],[]]],[]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[[[],[[],[]]],[[],[]]],[]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[[[[],[]],[]],[[],[]]],[]] => ([(0,8),(1,8),(2,9),(3,7),(4,7),(5,6),(6,10),(7,10),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[[[],[[],[[],[]]]],[]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[[[],[[[],[]],[]]],[]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[[[[],[]],[[],[]]],[]],[]] => ([(0,10),(1,8),(2,8),(3,7),(4,7),(5,6),(6,10),(7,9),(8,9),(9,10)],11) => ([(0,7),(1,5),(2,4),(3,6),(4,8),(5,8),(6,7),(7,8)],9)
[[[[[],[[],[]]],[]],[]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[[[[[],[]],[]],[]],[]],[]] => ([(0,10),(1,7),(2,7),(3,8),(4,9),(5,6),(6,10),(7,9),(8,9),(8,10)],11) => ([(0,7),(1,9),(2,8),(3,5),(4,6),(5,8),(6,9),(7,8),(7,9)],10)
[[],[[],[[],[[],[[],[[],[]]]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[],[[],[[],[[[],[]],[]]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[],[[],[[[],[]],[[],[]]]]]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[],[[],[[[],[[],[]]],[]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[],[[],[[[[],[]],[]],[]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[],[[[],[]],[[],[[],[]]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[],[[[],[]],[[[],[]],[]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[],[[[],[[],[]]],[[],[]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[],[[[[],[]],[]],[[],[]]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[],[[[],[[],[[],[]]]],[]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[],[[[],[[[],[]],[]]],[]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[],[[[[],[]],[[],[]]],[]]]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[],[[[[],[[],[]]],[]],[]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[],[[[[[],[]],[]],[]],[]]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[[],[]],[[],[[],[[],[]]]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[[],[]],[[],[[[],[]],[]]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[[],[]],[[[],[]],[[],[]]]]] => ([(0,10),(1,10),(2,9),(3,9),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(11,12)],13) => ([(0,5),(1,4),(2,7),(3,6),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[],[[[],[]],[[[],[[],[]]],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[[],[]],[[[[],[]],[]],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[[],[[],[]]],[[],[[],[]]]]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[[],[[],[]]],[[[],[]],[]]]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[[[],[]],[]],[[],[[],[]]]]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[[[],[]],[]],[[[],[]],[]]]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[[],[[],[[],[]]]],[[],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[[],[[[],[]],[]]],[[],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[[[],[]],[[],[]]],[[],[]]]] => ([(0,10),(1,10),(2,9),(3,9),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(11,12)],13) => ([(0,5),(1,4),(2,7),(3,6),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[],[[[[],[[],[]]],[]],[[],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[[[[],[]],[]],[]],[[],[]]]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[[],[[],[[],[[],[]]]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[[],[[],[[[],[]],[]]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[[],[[[],[]],[[],[]]]],[]]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[[],[[[],[[],[]]],[]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[[],[[[[],[]],[]],[]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[[[],[]],[[],[[],[]]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[[[],[]],[[[],[]],[]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[[[],[[],[]]],[[],[]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[[[[],[]],[]],[[],[]]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[],[[[[],[[],[[],[]]]],[]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[[[],[[[],[]],[]]],[]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[[[[],[]],[[],[]]],[]],[]]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[],[[[[[],[[],[]]],[]],[]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[],[[[[[[],[]],[]],[]],[]],[]]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[],[]],[[],[[],[[],[[],[]]]]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[]],[[],[[],[[[],[]],[]]]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[]],[[],[[[],[]],[[],[]]]]] => ([(0,11),(1,12),(2,12),(3,9),(4,9),(5,8),(6,8),(7,11),(7,12),(8,10),(9,10),(10,11)],13) => ([(0,8),(1,5),(2,4),(3,6),(4,9),(5,9),(6,7),(7,8),(8,9)],10)
[[[],[]],[[],[[[],[[],[]]],[]]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[]],[[],[[[[],[]],[]],[]]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[]],[[[],[]],[[],[[],[]]]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,9),(1,4),(2,5),(3,6),(4,8),(5,9),(6,7),(7,8),(8,9)],10)
[[[],[]],[[[],[]],[[[],[]],[]]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,9),(1,4),(2,5),(3,6),(4,8),(5,9),(6,7),(7,8),(8,9)],10)
[[[],[]],[[[],[[],[]]],[[],[]]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,9),(1,4),(2,5),(3,6),(4,8),(5,9),(6,7),(7,8),(8,9)],10)
[[[],[]],[[[[],[]],[]],[[],[]]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,9),(1,4),(2,5),(3,6),(4,8),(5,9),(6,7),(7,8),(8,9)],10)
[[[],[]],[[[],[[],[[],[]]]],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[]],[[[],[[[],[]],[]]],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[]],[[[[],[]],[[],[]]],[]]] => ([(0,11),(1,12),(2,12),(3,9),(4,9),(5,8),(6,8),(7,11),(7,12),(8,10),(9,10),(10,11)],13) => ([(0,8),(1,5),(2,4),(3,6),(4,9),(5,9),(6,7),(7,8),(8,9)],10)
[[[],[]],[[[[],[[],[]]],[]],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[]],[[[[[],[]],[]],[]],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[[],[]]],[[],[[],[[],[]]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[],[[],[]]],[[],[[[],[]],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[],[[],[]]],[[[],[]],[[],[]]]] => ([(0,11),(1,9),(2,9),(3,8),(4,8),(5,10),(6,10),(7,11),(7,12),(8,12),(9,12),(10,11)],13) => ([(0,8),(1,5),(2,4),(3,6),(4,9),(5,9),(6,8),(7,8),(7,9)],10)
[[[],[[],[]]],[[[],[[],[]]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[],[[],[]]],[[[[],[]],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[[],[]],[]],[[],[[],[[],[]]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[[],[]],[]],[[],[[[],[]],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[[],[]],[]],[[[],[]],[[],[]]]] => ([(0,11),(1,9),(2,9),(3,8),(4,8),(5,10),(6,10),(7,11),(7,12),(8,12),(9,12),(10,11)],13) => ([(0,8),(1,5),(2,4),(3,6),(4,9),(5,9),(6,8),(7,8),(7,9)],10)
[[[[],[]],[]],[[[],[[],[]]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[[],[]],[]],[[[[],[]],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[],[[],[[],[]]]],[[],[[],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[],[[],[[],[]]]],[[[],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[],[[[],[]],[]]],[[],[[],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[],[[[],[]],[]]],[[[],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[[],[]],[[],[]]],[[],[[],[]]]] => ([(0,11),(1,9),(2,9),(3,8),(4,8),(5,10),(6,10),(7,11),(7,12),(8,12),(9,12),(10,11)],13) => ([(0,8),(1,5),(2,4),(3,6),(4,9),(5,9),(6,8),(7,8),(7,9)],10)
[[[[],[]],[[],[]]],[[[],[]],[]]] => ([(0,11),(1,9),(2,9),(3,8),(4,8),(5,10),(6,10),(7,11),(7,12),(8,12),(9,12),(10,11)],13) => ([(0,8),(1,5),(2,4),(3,6),(4,9),(5,9),(6,8),(7,8),(7,9)],10)
[[[[],[[],[]]],[]],[[],[[],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[[],[[],[]]],[]],[[[],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[[[],[]],[]],[]],[[],[[],[]]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[[[],[]],[]],[]],[[[],[]],[]]] => ([(0,12),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,11),(9,10),(10,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,10),(6,8),(6,10),(7,9),(8,9)],11)
[[[],[[],[[],[[],[]]]]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[[],[[[],[]],[]]]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[[[],[]],[[],[]]]],[[],[]]] => ([(0,11),(1,12),(2,12),(3,9),(4,9),(5,8),(6,8),(7,11),(7,12),(8,10),(9,10),(10,11)],13) => ([(0,8),(1,5),(2,4),(3,6),(4,9),(5,9),(6,7),(7,8),(8,9)],10)
[[[],[[[],[[],[]]],[]]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[[[[],[]],[]],[]]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[[],[]],[[],[[],[]]]],[[],[]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,9),(1,4),(2,5),(3,6),(4,8),(5,9),(6,7),(7,8),(8,9)],10)
[[[[],[]],[[[],[]],[]]],[[],[]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,9),(1,4),(2,5),(3,6),(4,8),(5,9),(6,7),(7,8),(8,9)],10)
[[[[],[[],[]]],[[],[]]],[[],[]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,9),(1,4),(2,5),(3,6),(4,8),(5,9),(6,7),(7,8),(8,9)],10)
[[[[[],[]],[]],[[],[]]],[[],[]]] => ([(0,11),(1,11),(2,9),(3,9),(4,10),(5,8),(6,8),(7,11),(7,12),(8,12),(9,10),(10,12)],13) => ([(0,9),(1,4),(2,5),(3,6),(4,8),(5,9),(6,7),(7,8),(8,9)],10)
[[[[],[[],[[],[]]]],[]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[[],[[[],[]],[]]],[]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[[[],[]],[[],[]]],[]],[[],[]]] => ([(0,11),(1,12),(2,12),(3,9),(4,9),(5,8),(6,8),(7,11),(7,12),(8,10),(9,10),(10,11)],13) => ([(0,8),(1,5),(2,4),(3,6),(4,9),(5,9),(6,7),(7,8),(8,9)],10)
[[[[[],[[],[]]],[]],[]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[[[[],[]],[]],[]],[]],[[],[]]] => ([(0,12),(1,11),(2,11),(3,8),(4,8),(5,9),(6,10),(7,11),(7,12),(8,10),(9,10),(9,12)],13) => ([(0,10),(1,8),(2,9),(3,7),(4,5),(5,9),(6,7),(6,10),(8,9),(8,10)],11)
[[[],[[],[[],[[],[[],[]]]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[],[[],[[],[[[],[]],[]]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[],[[],[[[],[]],[[],[]]]]],[]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[],[[],[[[],[[],[]]],[]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[],[[],[[[[],[]],[]],[]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[],[[[],[]],[[],[[],[]]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[],[[[],[]],[[[],[]],[]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[],[[[],[[],[]]],[[],[]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[],[[[[],[]],[]],[[],[]]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[],[[[],[[],[[],[]]]],[]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[],[[[],[[[],[]],[]]],[]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[],[[[[],[]],[[],[]]],[]]],[]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[],[[[[],[[],[]]],[]],[]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[],[[[[[],[]],[]],[]],[]]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[[],[]],[[],[[],[[],[]]]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[[],[]],[[],[[[],[]],[]]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[[],[]],[[[],[]],[[],[]]]],[]] => ([(0,10),(1,10),(2,9),(3,9),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(11,12)],13) => ([(0,5),(1,4),(2,7),(3,6),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[[],[]],[[[],[[],[]]],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[[],[]],[[[[],[]],[]],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[[],[[],[]]],[[],[[],[]]]],[]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[[],[[],[]]],[[[],[]],[]]],[]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[[[],[]],[]],[[],[[],[]]]],[]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[[[],[]],[]],[[[],[]],[]]],[]] => ([(0,8),(1,8),(2,9),(3,9),(4,11),(5,10),(6,7),(7,12),(8,10),(9,11),(10,12),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[[],[[],[[],[]]]],[[],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[[],[[[],[]],[]]],[[],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[[[],[]],[[],[]]],[[],[]]],[]] => ([(0,10),(1,10),(2,9),(3,9),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(11,12)],13) => ([(0,5),(1,4),(2,7),(3,6),(4,9),(5,9),(6,8),(7,8),(8,9)],10)
[[[[[],[[],[]]],[]],[[],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[[[[],[]],[]],[]],[[],[]]],[]] => ([(0,9),(1,9),(2,10),(3,11),(4,8),(5,8),(6,7),(7,12),(8,12),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[[],[[],[[],[[],[]]]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[[],[[],[[[],[]],[]]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[[],[[[],[]],[[],[]]]],[]],[]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[[],[[[],[[],[]]],[]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[[],[[[[],[]],[]],[]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[[[],[]],[[],[[],[]]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[[[],[]],[[[],[]],[]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[[[],[[],[]]],[[],[]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[[[[],[]],[]],[[],[]]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,9),(5,10),(6,7),(7,12),(8,11),(9,10),(10,11),(11,12)],13) => ([(0,9),(1,8),(2,5),(3,6),(4,7),(5,8),(6,9),(7,10),(8,10),(9,10)],11)
[[[[[],[[],[[],[]]]],[]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[[[],[[[],[]],[]]],[]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[[[[],[]],[[],[]]],[]],[]],[]] => ([(0,12),(1,9),(2,9),(3,8),(4,8),(5,10),(6,7),(7,12),(8,11),(9,11),(10,11),(10,12)],13) => ([(0,9),(1,8),(2,6),(3,5),(4,7),(5,10),(6,10),(7,9),(8,9),(8,10)],11)
[[[[[[],[[],[]]],[]],[]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
[[[[[[[],[]],[]],[]],[]],[]],[]] => ([(0,12),(1,8),(2,8),(3,9),(4,10),(5,11),(6,7),(7,12),(8,10),(9,11),(9,12),(10,11)],13) => ([(0,11),(1,10),(2,8),(3,9),(4,6),(5,7),(6,10),(7,11),(8,9),(8,10),(9,11)],12)
Map
to graph
Description
Return the undirected graph obtained from the tree nodes and edges.
Map
de-duplicate
Description
The de-duplicate of a graph.
Let $G = (V, E)$ be a graph. This map yields the graph whose vertex set is the set of (distinct) neighbourhoods $\{N_v | v \in V\}$ of $G$, and has an edge $(N_a, N_b)$ between two vertices if and only if $(a, b)$ is an edge of $G$. This is well-defined, because if $N_a = N_c$ and $N_b = N_d$, then $(a, b)\in E$ if and only if $(c, d)\in E$.
The image of this map is the set of so-called 'mating graphs' or 'point-determining graphs'.
This map preserves the chromatic number.