Identifier
Mp00047: Ordered trees to posetPosets
Mp00074: Posets to graph Graphs
Images
[] => ([],1) => ([],1)
[[]] => ([(0,1)],2) => ([(0,1)],2)
[[],[]] => ([(0,2),(1,2)],3) => ([(0,2),(1,2)],3)
[[[]]] => ([(0,2),(2,1)],3) => ([(0,2),(1,2)],3)
[[],[],[]] => ([(0,3),(1,3),(2,3)],4) => ([(0,3),(1,3),(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,2),(2,3)],4)
[[[],[]]] => ([(0,3),(1,3),(3,2)],4) => ([(0,3),(1,3),(2,3)],4)
[[[[]]]] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(1,2),(2,3)],4)
[[],[],[],[]] => ([(0,4),(1,4),(2,4),(3,4)],5) => ([(0,4),(1,4),(2,4),(3,4)],5)
[[],[],[[]]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,4),(1,4),(2,3),(3,4)],5)
[[],[[]],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,4),(1,4),(2,3),(3,4)],5)
[[],[[],[]]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([(0,4),(1,4),(2,3),(3,4)],5)
[[],[[[]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[]],[],[]] => ([(0,4),(1,4),(2,3),(3,4)],5) => ([(0,4),(1,4),(2,3),(3,4)],5)
[[[]],[[]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[],[]],[]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([(0,4),(1,4),(2,3),(3,4)],5)
[[[[]]],[]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[],[],[]]] => ([(0,4),(1,4),(2,4),(4,3)],5) => ([(0,4),(1,4),(2,4),(3,4)],5)
[[[],[[]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,4),(1,4),(2,3),(3,4)],5)
[[[[]],[]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,4),(1,4),(2,3),(3,4)],5)
[[[[],[]]]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,4),(1,4),(2,3),(3,4)],5)
[[[[[]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[],[],[],[],[]] => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
[[],[],[],[[]]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
[[],[],[[]],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
[[],[],[[],[]]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
[[],[],[[[]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[[],[[]],[],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,5),(3,4),(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,4),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
[[],[[[]]],[]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[[],[[],[],[]]] => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6) => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
[[],[[],[[]]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[[]],[]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[],[[[],[]]]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[[],[[[[]]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[]],[],[],[]] => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,5),(3,4),(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,4),(2,3),(3,5),(4,5)],6)
[[[]],[[],[]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[[[]],[[[]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[],[]],[],[]] => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
[[[[]]],[],[]] => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[[[],[]],[[]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[[[[]]],[[]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[],[],[]],[]] => ([(0,5),(1,5),(2,5),(3,4),(5,4)],6) => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
[[[],[[]]],[]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[]],[]],[]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[],[]]],[]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[[[[[]]]],[]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,5)],6)
[[[],[],[],[]]] => ([(0,5),(1,5),(2,5),(3,5),(5,4)],6) => ([(0,5),(1,5),(2,5),(3,5),(4,5)],6)
[[[],[],[[]]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
[[[],[[]],[]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
[[[],[[],[]]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
[[[],[[[]]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[[[[]],[],[]]] => ([(0,5),(1,5),(2,3),(3,5),(5,4)],6) => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
[[[[]],[[]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[],[]],[]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(0,5),(1,5),(2,4),(3,4),(4,5)],6)
[[[[[]]],[]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[[[[],[],[]]]] => ([(0,5),(1,5),(2,5),(3,4),(5,3)],6) => ([(0,5),(1,5),(2,5),(3,4),(4,5)],6)
[[[[],[[]]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[]],[]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,5),(1,4),(2,3),(3,5),(4,5)],6)
[[[[[],[]]]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[[[[[[]]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],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,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[],[],[],[],[[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[],[],[],[[]],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[],[],[],[[],[]]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[],[],[],[[[]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[],[],[[]],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[],[],[[]],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[],[],[[],[]],[]] => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[],[],[[[]]],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[],[],[[],[],[]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[],[],[[],[[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[],[],[[[]],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[],[],[[[],[]]]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[[],[],[[[[]]]]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[],[[]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[],[[]],[],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[],[[]],[[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[],[[]],[[],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[],[[]],[[[]]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(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,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[],[[[]]],[],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[],[[],[]],[[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[],[[[]]],[[]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(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),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[],[[],[[]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[],[[[]],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[],[[[],[]]],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[[],[[[[]]]],[]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[],[[],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[],[[],[],[[]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[],[[],[[]],[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[],[[],[[],[]]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[],[[],[[[]]]]] => ([(0,6),(1,5),(2,3),(3,4),(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),(6,5)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[],[[[]],[[]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[],[[[],[]],[]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
>>> Load all 254 entries. <<<
[[],[[[[]]],[]]] => ([(0,6),(1,5),(2,3),(3,4),(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),(6,4)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[],[[[],[[]]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[[[]],[]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[],[[[[],[]]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[],[[[[[]]]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[[]],[],[],[[]]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[]],[],[[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[]],[],[[],[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[]],[],[[[]]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(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,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[]],[[]],[[]]] => ([(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,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[]],[[[]]],[]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(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),(6,5)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[[]],[[],[[]]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[]],[[[]],[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[]],[[[],[]]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[]],[[[[]]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],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,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[[[]]],[],[],[]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[[],[]],[],[[]]] => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[[]]],[],[[]]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(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,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[[]]],[[]],[]] => ([(0,6),(1,3),(2,4),(3,5),(4,6),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[],[]],[[],[]]] => ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[[[],[]],[[[]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[]]],[[],[]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[]]],[[[]]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[],[],[]],[],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(5,6)],7) => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[[],[[]]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[[]],[]],[],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(5,6)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[[],[]]],[],[]] => ([(0,6),(1,6),(2,5),(3,5),(4,6),(5,4)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[[[[[]]]],[],[]] => ([(0,3),(1,6),(2,6),(3,5),(4,6),(5,4)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[],[],[]],[[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,5),(6,5)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[[],[[]]],[[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[]],[]],[[]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[]]],[[]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[[]]]],[[]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[],[],[],[]],[]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,5)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[[],[],[[]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[],[[]],[]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[],[[],[]]],[]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[],[[[]]]],[]] => ([(0,6),(1,5),(2,3),(3,4),(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),(6,5)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[[]],[[]]],[]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[],[]],[]],[]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[[[]]],[]],[]] => ([(0,6),(1,5),(2,3),(3,4),(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),(6,4)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[[[],[[]]]],[]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[]],[]]],[]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[],[]]]],[]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[[[]]]]],[]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[[],[],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,6),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,6),(5,6)],7)
[[[],[],[],[[]]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[[],[],[[]],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[[],[],[[],[]]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[[],[],[[[]]]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[[],[[]],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[[],[[]],[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[],[[],[]],[]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[[],[[[]]],[]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[[],[[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7) => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[[],[[],[[]]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[],[[[]],[]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[],[[[],[]]]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[[[],[[[[]]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[]],[],[],[]]] => ([(0,6),(1,6),(2,6),(3,4),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[[[]],[],[[]]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[[]],[[]],[]]] => ([(0,6),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[[]],[[],[]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[[]],[[[]]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[]],[],[]]] => ([(0,6),(1,6),(2,5),(3,5),(5,6),(6,4)],7) => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[[[[]]],[],[]]] => ([(0,6),(1,6),(2,3),(3,5),(5,6),(6,4)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[[[],[]],[[]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[[[]]],[[]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[],[],[]],[]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,5)],7) => ([(0,6),(1,6),(2,6),(3,5),(4,5),(5,6)],7)
[[[[],[[]]],[]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[[[]],[]],[]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[[[],[]]],[]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[[[[[[]]]],[]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[],[],[],[]]]] => ([(0,6),(1,6),(2,6),(3,6),(4,5),(6,4)],7) => ([(0,6),(1,6),(2,6),(3,6),(4,5),(5,6)],7)
[[[[],[],[[]]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[[],[[]],[]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[[],[[],[]]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[[],[[[]]]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[]],[],[]]]] => ([(0,6),(1,6),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,6),(1,6),(2,5),(3,4),(4,6),(5,6)],7)
[[[[[]],[[]]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,5),(1,4),(2,3),(3,6),(4,6),(5,6)],7)
[[[[[],[]],[]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,6),(1,5),(2,5),(3,4),(4,6),(5,6)],7)
[[[[[[]]],[]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[],[],[]]]]] => ([(0,6),(1,6),(2,6),(3,5),(5,4),(6,3)],7) => ([(0,6),(1,6),(2,6),(3,4),(4,5),(5,6)],7)
[[[[[],[[]]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[[]],[]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,6),(1,4),(2,3),(3,6),(4,5),(5,6)],7)
[[[[[[],[]]]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[[[[]]]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
[[],[],[],[],[],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,7),(4,7),(5,7),(6,7)],8)
[[],[],[],[],[[[]]]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8)
[[],[],[],[[]],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8)
[[],[],[],[[[]]],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8)
[[],[],[],[[[[]]]]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,7),(1,7),(2,7),(3,4),(4,6),(5,6),(5,7)],8)
[[],[],[[]],[],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8)
[[],[],[[]],[[]],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8)
[[],[],[[]],[[[]]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[],[],[[[]]],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8)
[[],[],[[[]]],[[]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[],[],[[[[]]]],[]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,7),(1,7),(2,7),(3,4),(4,6),(5,6),(5,7)],8)
[[],[[]],[],[],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8)
[[],[[]],[],[[]],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8)
[[],[[]],[],[[[]]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[],[[]],[[]],[],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8)
[[],[[]],[[[]]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[],[[]],[[[[]]]]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,6),(1,5),(2,7),(3,4),(3,5),(4,7),(6,7)],8)
[[],[[[]]],[],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8)
[[],[[[]]],[],[[]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[],[[[]]],[[]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[],[[],[]],[[],[]]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => ([(0,6),(1,6),(2,5),(3,5),(4,7),(5,7),(6,7)],8)
[[],[[],[]],[[[]]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,6),(2,6),(3,5),(4,5),(4,7),(6,7)],8)
[[],[[[]]],[[],[]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,6),(2,6),(3,5),(4,5),(4,7),(6,7)],8)
[[],[[[]]],[[[]]]] => ([(0,7),(1,6),(2,5),(3,7),(4,7),(5,3),(6,4)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[],[[[[]]]],[],[]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,7),(1,7),(2,7),(3,4),(4,6),(5,6),(5,7)],8)
[[],[[[[]]]],[[]]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,6),(1,5),(2,7),(3,4),(3,5),(4,7),(6,7)],8)
[[[]],[],[],[],[[]]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8)
[[[]],[],[],[[]],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8)
[[[]],[],[],[[[]]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[[]],[],[[]],[],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8)
[[[]],[],[[[]]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[[]],[],[[[[]]]]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,6),(1,5),(2,7),(3,4),(3,5),(4,7),(6,7)],8)
[[[]],[[]],[],[],[]] => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,6),(4,5),(5,7),(6,7)],8)
[[[]],[[[]]],[],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[[]],[[[[]]]],[]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,6),(1,5),(2,7),(3,4),(3,5),(4,7),(6,7)],8)
[[[[]]],[],[],[],[]] => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8) => ([(0,7),(1,7),(2,7),(3,7),(4,5),(5,6),(6,7)],8)
[[[[]]],[],[],[[]]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[[[]]],[],[[]],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[[],[]],[],[[],[]]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => ([(0,6),(1,6),(2,5),(3,5),(4,7),(5,7),(6,7)],8)
[[[],[]],[],[[[]]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,6),(2,6),(3,5),(4,5),(4,7),(6,7)],8)
[[[[]]],[],[[],[]]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,6),(2,6),(3,5),(4,5),(4,7),(6,7)],8)
[[[[]]],[],[[[]]]] => ([(0,7),(1,6),(2,5),(3,7),(4,7),(5,3),(6,4)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[[]]],[[]],[],[]] => ([(0,7),(1,7),(2,4),(3,5),(4,6),(5,7),(6,7)],8) => ([(0,7),(1,7),(2,5),(3,4),(4,7),(5,6),(6,7)],8)
[[[],[]],[[],[]],[]] => ([(0,7),(1,6),(2,6),(3,5),(4,5),(5,7),(6,7)],8) => ([(0,6),(1,6),(2,5),(3,5),(4,7),(5,7),(6,7)],8)
[[[],[]],[[[]]],[]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,6),(2,6),(3,5),(4,5),(4,7),(6,7)],8)
[[[[]]],[[],[]],[]] => ([(0,7),(1,6),(2,6),(3,4),(4,5),(5,7),(6,7)],8) => ([(0,7),(1,6),(2,6),(3,5),(4,5),(4,7),(6,7)],8)
[[[[]]],[[[]]],[]] => ([(0,7),(1,6),(2,5),(3,7),(4,7),(5,3),(6,4)],8) => ([(0,6),(1,5),(2,7),(3,5),(3,7),(4,6),(4,7)],8)
[[[],[]],[[[[]]]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)
[[[[]]],[[[[]]]]] => ([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8) => ([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8)
[[[[[]]]],[],[],[]] => ([(0,4),(1,7),(2,7),(3,7),(4,6),(5,7),(6,5)],8) => ([(0,7),(1,7),(2,7),(3,4),(4,6),(5,6),(5,7)],8)
[[[[[]]]],[],[[]]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,6),(1,5),(2,7),(3,4),(3,5),(4,7),(6,7)],8)
[[[[[]]]],[[]],[]] => ([(0,7),(1,6),(2,4),(3,7),(4,7),(5,3),(6,5)],8) => ([(0,6),(1,5),(2,7),(3,4),(3,5),(4,7),(6,7)],8)
[[[[[]]]],[[],[]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,6),(1,7),(2,7),(3,4),(3,5),(4,6),(5,7)],8)
[[[[[]]]],[[[]]]] => ([(0,5),(1,6),(2,7),(3,7),(4,3),(5,4),(6,2)],8) => ([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8)
[[[[[[[[]]]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(1,6),(2,3),(2,4),(3,5),(4,6),(5,7)],8)
[[[[[[[[[]]]]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([(0,8),(1,7),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8)],9)
[[[[[[[[[[]]]]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([(0,9),(1,8),(2,3),(2,4),(3,5),(4,6),(5,7),(6,8),(7,9)],10)
Map
to poset
Description
Return the poset obtained by interpreting the tree as the Hasse diagram of a graph.
Map
to graph
Description
Returns the Hasse diagram of the poset as an undirected graph.