Identifier
Mp00011: Binary trees to graphGraphs
Mp00318: Graphs dual on components Graphs
Images
[.,.] => ([],1) => ([],1)
[.,[.,.]] => ([(0,1)],2) => ([(0,1)],2)
[[.,.],.] => ([(0,1)],2) => ([(0,1)],2)
[.,[.,[.,.]]] => ([(0,2),(1,2)],3) => ([(0,2),(1,2)],3)
[.,[[.,.],.]] => ([(0,2),(1,2)],3) => ([(0,2),(1,2)],3)
[[.,.],[.,.]] => ([(0,2),(1,2)],3) => ([(0,2),(1,2)],3)
[[.,[.,.]],.] => ([(0,2),(1,2)],3) => ([(0,2),(1,2)],3)
[[[.,.],.],.] => ([(0,2),(1,2)],3) => ([(0,2),(1,2)],3)
[.,[.,[.,[.,.]]]] => ([(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,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,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,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,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,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,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[.,[.,[.,[[.,.],.]]]] => ([(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,4),(1,4),(2,3),(3,4)],5)
[.,[.,[[.,[.,.]],.]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[.,[.,[[[.,.],.],.]]] => ([(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,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,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),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[.,[[.,.],.]],.]] => ([(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,4),(1,4),(2,3),(3,4)],5)
[.,[[[.,[.,.]],.],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[.,[[[[.,.],.],.],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[.,.],[.,[[.,.],.]]] => ([(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,4),(1,4),(2,3),(3,4)],5)
[[.,.],[[.,[.,.]],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[.,.],[[[.,.],.],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,.]],[.,[.,.]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,.]],[[.,.],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],.],[.,[.,.]]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,.],.],[[.,.],.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[[.,.],.]],[.,.]] => ([(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,4),(1,4),(2,3),(3,4)],5)
[[[.,[.,.]],.],[.,.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[.,.],.],.],[.,.]] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,[.,[.,.]]]],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[.,[[.,.],.]]],.] => ([(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,4),(1,4),(2,3),(3,4)],5)
[[.,[[.,[.,.]],.]],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[.,[[[.,.],.],.]],.] => ([(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,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,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),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[.,[[.,.],.]],.],.] => ([(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,4),(1,4),(2,3),(3,4)],5)
[[[[.,[.,.]],.],.],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(0,4),(1,3),(2,3),(2,4)],5)
[[[[[.,.],.],.],.],.] => ([(0,4),(1,3),(2,3),(2,4)],5) => ([(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,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,3),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,3),(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,3),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,3),(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,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,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,3),(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,3),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[.,[[.,[.,[.,[.,.]]]],.]] => ([(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,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,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)
>>> Load all 625 entries. <<<
[.,[[[.,[.,[.,.]]],.],.]] => ([(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,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,5)],6)
[[.,.],[.,[.,[.,[.,.]]]]] => ([(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,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,5)],6)
[[.,[.,.]],[.,[.,[.,.]]]] => ([(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,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,5)],6)
[[[.,.],.],[.,[.,[.,.]]]] => ([(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,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[.,.]]],[.,[.,.]]] => ([(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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,5)],6)
[[.,[[.,.],.]],[[.,.],.]] => ([(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,3),(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,3),(3,4),(4,5)],6)
[[[.,[.,.]],.],[.,[.,.]]] => ([(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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,5)],6)
[[[[.,.],.],.],[[.,.],.]] => ([(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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,5)],6)
[[.,[.,[.,[.,[.,.]]]]],.] => ([(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,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,3),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,3),(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,3),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,3),(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,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,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,3),(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,3),(3,4),(4,5)],6) => ([(0,5),(1,5),(2,3),(3,4),(4,5)],6)
[[[.,[.,[.,[.,.]]]],.],.] => ([(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,4),(2,3),(2,4),(3,5)],6) => ([(0,5),(1,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,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,4),(2,3),(2,4),(3,5)],6) => ([(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,4),(2,3),(2,4),(3,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,4),(2,3),(2,4),(3,5)],6) => ([(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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[.,[.,[.,[[.,[.,.]],.]]]]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[.,[.,[[[.,[.,.]],.],.]]]] => ([(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,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,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,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,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,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,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,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,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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[.,[[.,[[.,[.,.]],.]],.]]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[.,[[[[.,[.,.]],.],.],.]]] => ([(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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,.],[.,[.,[[.,.],.]]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,.],[.,[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[.,[[.,.],[.,[[.,[.,.]],.]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,.],[.,[[[.,.],.],.]]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,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,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,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,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,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,.],[[.,[[.,.],.]],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,.],[[[.,.],[.,.]],.]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[.,[[.,.],[[[.,[.,.]],.],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,.],[[[[.,.],.],.],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,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,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,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,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,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,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,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,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,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,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,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,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,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,[.,[[.,.],.]]],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,[[.,.],[.,.]]],[.,.]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[.,[[.,[[.,[.,.]],.]],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,[[[.,.],.],.]],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,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,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,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,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,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[[.,[[.,.],.]],.],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[[[.,.],[.,.]],.],[.,.]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[.,[[[[.,[.,.]],.],.],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[[[[.,.],.],.],.],[.,.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,[.,[.,[.,[.,.]]]]],.]] => ([(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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,[.,[[.,[.,.]],.]]],.]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[.,[[[.,[.,.]],.],.]],.]] => ([(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,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,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,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,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,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,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,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,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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[[.,[[.,[.,.]],.]],.],.]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[.,[[[[[.,[.,.]],.],.],.],.]] => ([(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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,.],[.,[.,[[.,[.,.]],.]]]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,.],[.,[[[.,[.,.]],.],.]]] => ([(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,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,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,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,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,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,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,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,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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,.],[[.,[[.,[.,.]],.]],.]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,.],[[[[.,[.,.]],.],.],.]] => ([(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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[.,.]],[.,[[.,[.,.]],.]]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[.,.]],[[[.,[.,.]],.],.]] => ([(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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,.],.],[.,[[.,[.,.]],.]]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,.],.],[[[.,[.,.]],.],.]] => ([(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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[.,[.,.]]],[[.,[.,.]],.]] => ([(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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[[.,.],.]],[[.,[.,.]],.]] => ([(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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,.],[.,.]],[.,[[.,.],.]]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,.],[.,.]],[[.,.],[.,.]]] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[[[.,.],[.,.]],[[.,[.,.]],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,.],[.,.]],[[[.,.],.],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,[.,.]],.],[.,[.,[.,.]]]] => ([(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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,[.,.]],.],[[.,[.,.]],.]] => ([(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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[.,.],.],.],[[.,[.,.]],.]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[[.,.],[.,.]]],[[.,.],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[[.,[.,.]],.]],[.,[.,.]]] => ([(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,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,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,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,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,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,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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[.,.],[.,.]],.],[[.,.],.]] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[.,[.,.]],.],.],[.,[.,.]]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[.,[[.,[.,.]],.]]],[.,.]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[[[.,[.,.]],.],.]],[.,.]] => ([(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,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,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,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,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,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,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,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,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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,[[.,[.,.]],.]],.],[.,.]] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[[.,[.,.]],.],.],.],[.,.]] => ([(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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[.,[.,[[.,[.,.]],.]]]],.] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[.,[[[.,[.,.]],.],.]]],.] => ([(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,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,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,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,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,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,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,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,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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[[.,[[.,[.,.]],.]],.]],.] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[.,[[[[.,[.,.]],.],.],.]],.] => ([(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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,.],[.,[.,[[.,.],.]]]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,.],[.,[[.,.],[.,.]]]],.] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[[[.,.],[.,[[.,[.,.]],.]]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,.],[.,[[[.,.],.],.]]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,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,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,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,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,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,.],[[.,[[.,.],.]],.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,.],[[[.,.],[.,.]],.]],.] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[[[.,.],[[[.,[.,.]],.],.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,.],[[[[.,.],.],.],.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,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,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,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,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,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,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,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,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,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,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,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,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,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,[.,[[.,.],.]]],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,[[.,.],[.,.]]],[.,.]],.] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[[[.,[[.,[.,.]],.]],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,[[[.,.],.],.]],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,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,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,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,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,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[.,[[.,.],.]],.],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[[.,.],[.,.]],.],[.,.]],.] => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,5),(3,5),(4,5),(4,6)],7)
[[[[[.,[.,.]],.],.],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[[[.,.],.],.],.],[.,.]],.] => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,[.,[.,[.,[.,.]]]]],.],.] => ([(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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,[.,[[.,[.,.]],.]]],.],.] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[.,[[[.,[.,.]],.],.]],.],.] => ([(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,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,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,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,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,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,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,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,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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[.,[[.,[.,.]],.]],.],.],.] => ([(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,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,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,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,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,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,3),(3,5),(4,5),(4,6)],7) => ([(0,6),(1,6),(2,3),(3,5),(4,5),(4,6)],7)
[[[[[[.,[.,.]],.],.],.],.],.] => ([(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,5),(2,3),(2,4),(3,5),(4,6)],7) => ([(0,6),(1,5),(2,3),(2,4),(3,5),(4,6)],7)
Map
to graph
Description
Return the undirected graph obtained from the tree nodes and edges, with leaves being ignored.
Map
dual on components
Description
The dual of the 3-connected planar components of a graph.
Replace each connected component which is 3-connected and planar with its planar dual.