- FindStat

Identifier

Mp00013: Binary trees —to poset⟶ Posets
Mp00198: Posets —incomparability graph⟶ Graphs
Mp00157: Graphs —connected complement⟶ Graphs

Images

[.,.] => ([],1) => ([],1) => ([],1)

[.,[.,.]] => ([(0,1)],2) => ([],2) => ([],2)

[[.,.],.] => ([(0,1)],2) => ([],2) => ([],2)

[.,[.,[.,.]]] => ([(0,2),(2,1)],3) => ([],3) => ([],3)

[.,[[.,.],.]] => ([(0,2),(2,1)],3) => ([],3) => ([],3)

[[.,.],[.,.]] => ([(0,2),(1,2)],3) => ([(1,2)],3) => ([(1,2)],3)

[[.,[.,.]],.] => ([(0,2),(2,1)],3) => ([],3) => ([],3)

[[[.,.],.],.] => ([(0,2),(2,1)],3) => ([],3) => ([],3)

[.,[.,[.,[.,.]]]] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([],4)

[.,[.,[[.,.],.]]] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([],4)

[.,[[.,.],[.,.]]] => ([(0,3),(1,3),(3,2)],4) => ([(2,3)],4) => ([(2,3)],4)

[.,[[.,[.,.]],.]] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([],4)

[.,[[[.,.],.],.]] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([],4)

[[.,.],[.,[.,.]]] => ([(0,3),(1,2),(2,3)],4) => ([(1,3),(2,3)],4) => ([(1,3),(2,3)],4)

[[.,.],[[.,.],.]] => ([(0,3),(1,2),(2,3)],4) => ([(1,3),(2,3)],4) => ([(1,3),(2,3)],4)

[[.,[.,.]],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(1,3),(2,3)],4) => ([(1,3),(2,3)],4)

[[[.,.],.],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(1,3),(2,3)],4) => ([(1,3),(2,3)],4)

[[.,[.,[.,.]]],.] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([],4)

[[.,[[.,.],.]],.] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([],4)

[[[.,.],[.,.]],.] => ([(0,3),(1,3),(3,2)],4) => ([(2,3)],4) => ([(2,3)],4)

[[[.,[.,.]],.],.] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([],4)

[[[[.,.],.],.],.] => ([(0,3),(2,1),(3,2)],4) => ([],4) => ([],4)

[.,[.,[.,[.,[.,.]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[.,[.,[.,[[.,.],.]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[.,[.,[[.,.],[.,.]]]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(3,4)],5) => ([(3,4)],5)

[.,[.,[[.,[.,.]],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[.,[.,[[[.,.],.],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[.,[[.,.],[.,[.,.]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(2,4),(3,4)],5)

[.,[[.,.],[[.,.],.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(2,4),(3,4)],5)

[.,[[.,[.,.]],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(2,4),(3,4)],5)

[.,[[[.,.],.],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(2,4),(3,4)],5)

[.,[[.,[.,[.,.]]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[.,[[.,[[.,.],.]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[.,[[[.,.],[.,.]],.]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(3,4)],5) => ([(3,4)],5)

[.,[[[.,[.,.]],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[.,[[[[.,.],.],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(1,4),(2,4),(3,4)],5)

[[.,.],[.,[[.,.],.]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(1,4),(2,4),(3,4)],5)

[[.,.],[[.,.],[.,.]]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([(1,4),(2,3),(2,4),(3,4)],5) => ([(1,4),(2,3),(2,4),(3,4)],5)

[[.,.],[[.,[.,.]],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(1,4),(2,4),(3,4)],5)

[[.,.],[[[.,.],.],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(1,4),(2,4),(3,4)],5)

[[.,[.,.]],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5)

[[.,[.,.]],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5)

[[[.,.],.],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5)

[[[.,.],.],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5) => ([(1,3),(1,4),(2,3),(2,4)],5)

[[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(1,4),(2,4),(3,4)],5)

[[.,[[.,.],.]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(1,4),(2,4),(3,4)],5)

[[[.,.],[.,.]],[.,.]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([(1,4),(2,3),(2,4),(3,4)],5) => ([(1,4),(2,3),(2,4),(3,4)],5)

[[[.,[.,.]],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(1,4),(2,4),(3,4)],5)

[[[[.,.],.],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(1,4),(2,4),(3,4)],5) => ([(1,4),(2,4),(3,4)],5)

[[.,[.,[.,[.,.]]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[[.,[.,[[.,.],.]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[[.,[[.,.],[.,.]]],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(3,4)],5) => ([(3,4)],5)

[[.,[[.,[.,.]],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[[.,[[[.,.],.],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[[[.,.],[.,[.,.]]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(2,4),(3,4)],5)

[[[.,.],[[.,.],.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(2,4),(3,4)],5)

[[[.,[.,.]],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(2,4),(3,4)],5)

[[[[.,.],.],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(2,4),(3,4)],5) => ([(2,4),(3,4)],5)

[[[.,[.,[.,.]]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[[[.,[[.,.],.]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[[[[.,.],[.,.]],.],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(3,4)],5) => ([(3,4)],5)

[[[[.,[.,.]],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[[[[[.,.],.],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([],5) => ([],5)

[.,[.,[.,[.,[.,[.,.]]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[.,[.,[.,[[.,.],.]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[.,[.,[[.,.],[.,.]]]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(4,5)],6)

[.,[.,[.,[[.,[.,.]],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[.,[.,[[[.,.],.],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[.,[[.,.],[.,[.,.]]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[.,[.,[[.,.],[[.,.],.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[.,[.,[[.,[.,.]],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[.,[.,[[[.,.],.],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[.,[.,[[.,[.,[.,.]]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[.,[[.,[[.,.],.]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[.,[[[.,.],[.,.]],.]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(4,5)],6)

[.,[.,[[[.,[.,.]],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[.,[[[[.,.],.],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[[.,.],[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[.,[[.,.],[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[.,[[.,.],[[.,.],[.,.]]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(2,5),(3,4),(3,5),(4,5)],6) => ([(2,5),(3,4),(3,5),(4,5)],6)

[.,[[.,.],[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[.,[[.,.],[[[.,.],.],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[.,[[.,[.,.]],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(2,4),(2,5),(3,4),(3,5)],6)

[.,[[.,[.,.]],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(2,4),(2,5),(3,4),(3,5)],6)

[.,[[[.,.],.],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(2,4),(2,5),(3,4),(3,5)],6)

[.,[[[.,.],.],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(2,4),(2,5),(3,4),(3,5)],6)

[.,[[.,[.,[.,.]]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[.,[[.,[[.,.],.]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[.,[[[.,.],[.,.]],[.,.]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(2,5),(3,4),(3,5),(4,5)],6) => ([(2,5),(3,4),(3,5),(4,5)],6)

[.,[[[.,[.,.]],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[.,[[[[.,.],.],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[.,[[.,[.,[.,[.,.]]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[[.,[.,[[.,.],.]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[[.,[[.,.],[.,.]]],.]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(4,5)],6)

[.,[[.,[[.,[.,.]],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[[.,[[[.,.],.],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[[[.,.],[.,[.,.]]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[.,[[[.,.],[[.,.],.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[.,[[[.,[.,.]],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[.,[[[[.,.],.],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

>>> Load all 882 entries. <<<

[.,[[[.,[.,[.,.]]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[[[.,[[.,.],.]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[[[[.,.],[.,.]],.],.]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(4,5)],6)

[.,[[[[.,[.,.]],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[[[[[.,.],.],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[.,.],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,.],[.,[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,.],[.,[[.,.],[.,.]]]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)

[[.,.],[.,[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,.],[.,[[[.,.],.],.]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,.],[[.,.],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)

[[.,.],[[.,.],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)

[[.,.],[[.,[.,.]],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)

[[.,.],[[[.,.],.],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)

[[.,.],[[.,[.,[.,.]]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,.],[[.,[[.,.],.]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,.],[[[.,.],[.,.]],.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)

[[.,.],[[[.,[.,.]],.],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,.],[[[[.,.],.],.],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,[.,.]],[.,[.,[.,.]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[.,[.,.]],[.,[[.,.],.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[.,[.,.]],[[.,.],[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)

[[.,[.,.]],[[.,[.,.]],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[.,[.,.]],[[[.,.],.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[[.,.],.],[.,[.,[.,.]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[[.,.],.],[.,[[.,.],.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[[.,.],.],[[.,.],[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)

[[[.,.],.],[[.,[.,.]],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[[.,.],.],[[[.,.],.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[.,[.,[.,.]]],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[.,[.,[.,.]]],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[.,[[.,.],.]],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[.,[[.,.],.]],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[[.,.],[.,.]],[.,[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)

[[[.,.],[.,.]],[[.,.],.]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,3),(2,4),(2,5),(3,4),(3,5)],6)

[[[.,[.,.]],.],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[[.,[.,.]],.],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[[[.,.],.],.],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[[[.,.],.],.],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6) => ([(1,4),(1,5),(2,4),(2,5),(3,4),(3,5)],6)

[[.,[.,[.,[.,.]]]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,[.,[[.,.],.]]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,[[.,.],[.,.]]],[.,.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)

[[.,[[.,[.,.]],.]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,[[[.,.],.],.]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[[.,.],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)

[[[.,.],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)

[[[.,[.,.]],[.,.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)

[[[[.,.],.],[.,.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,4),(2,5),(3,4),(3,5),(4,5)],6)

[[[.,[.,[.,.]]],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[[.,[[.,.],.]],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[[[.,.],[.,.]],.],[.,.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,4),(3,5),(4,5)],6)

[[[[.,[.,.]],.],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[[[[.,.],.],.],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(1,5),(2,5),(3,5),(4,5)],6) => ([(1,5),(2,5),(3,5),(4,5)],6)

[[.,[.,[.,[.,[.,.]]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[.,[.,[.,[[.,.],.]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[.,[.,[[.,.],[.,.]]]],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(4,5)],6)

[[.,[.,[[.,[.,.]],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[.,[.,[[[.,.],.],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[.,[[.,.],[.,[.,.]]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[[.,[[.,.],[[.,.],.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[[.,[[.,[.,.]],[.,.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[[.,[[[.,.],.],[.,.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[[.,[[.,[.,[.,.]]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[.,[[.,[[.,.],.]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[.,[[[.,.],[.,.]],.]],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(4,5)],6)

[[.,[[[.,[.,.]],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[.,[[[[.,.],.],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[[.,.],[.,[.,[.,.]]]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[[[.,.],[.,[[.,.],.]]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[[[.,.],[[.,.],[.,.]]],.] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(2,5),(3,4),(3,5),(4,5)],6) => ([(2,5),(3,4),(3,5),(4,5)],6)

[[[.,.],[[.,[.,.]],.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[[[.,.],[[[.,.],.],.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[[[.,[.,.]],[.,[.,.]]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(2,4),(2,5),(3,4),(3,5)],6)

[[[.,[.,.]],[[.,.],.]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(2,4),(2,5),(3,4),(3,5)],6)

[[[[.,.],.],[.,[.,.]]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(2,4),(2,5),(3,4),(3,5)],6)

[[[[.,.],.],[[.,.],.]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(2,4),(2,5),(3,4),(3,5)],6) => ([(2,4),(2,5),(3,4),(3,5)],6)

[[[.,[.,[.,.]]],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[[[.,[[.,.],.]],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[[[[.,.],[.,.]],[.,.]],.] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(2,5),(3,4),(3,5),(4,5)],6) => ([(2,5),(3,4),(3,5),(4,5)],6)

[[[[.,[.,.]],.],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[[[[[.,.],.],.],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(2,5),(3,5),(4,5)],6) => ([(2,5),(3,5),(4,5)],6)

[[[.,[.,[.,[.,.]]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[[.,[.,[[.,.],.]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[[.,[[.,.],[.,.]]],.],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(4,5)],6)

[[[.,[[.,[.,.]],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[[.,[[[.,.],.],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[[[.,.],[.,[.,.]]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[[[[.,.],[[.,.],.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[[[[.,[.,.]],[.,.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[[[[[.,.],.],[.,.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(3,5),(4,5)],6) => ([(3,5),(4,5)],6)

[[[[.,[.,[.,.]]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[[[.,[[.,.],.]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[[[[.,.],[.,.]],.],.],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(4,5)],6) => ([(4,5)],6)

[[[[[.,[.,.]],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[[[[[[.,.],.],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([],6) => ([],6)

[.,[.,[.,[.,[.,[.,[.,.]]]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[.,[.,[.,[[.,.],.]]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[.,[.,[[.,.],[.,.]]]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[.,[.,[.,[.,[[.,[.,.]],.]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[.,[.,[[[.,.],.],.]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[.,[[.,.],[.,[.,.]]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[.,[.,[[.,.],[[.,.],.]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[.,[.,[[.,[.,.]],[.,.]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[.,[.,[[[.,.],.],[.,.]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[.,[.,[[.,[.,[.,.]]],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[.,[[.,[[.,.],.]],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[.,[[[.,.],[.,.]],.]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[.,[.,[.,[[[.,[.,.]],.],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[.,[[[[.,.],.],.],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[[.,.],[.,[.,[.,.]]]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[.,[[.,.],[.,[[.,.],.]]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[.,[[.,.],[[.,.],[.,.]]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(3,6),(4,5),(4,6),(5,6)],7) => ([(3,6),(4,5),(4,6),(5,6)],7)

[.,[.,[[.,.],[[.,[.,.]],.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[.,[[.,.],[[[.,.],.],.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[.,[[.,[.,.]],[.,[.,.]]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[.,[.,[[.,[.,.]],[[.,.],.]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[.,[.,[[[.,.],.],[.,[.,.]]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[.,[.,[[[.,.],.],[[.,.],.]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[.,[.,[[.,[.,[.,.]]],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[.,[[.,[[.,.],.]],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[.,[[[.,.],[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(3,6),(4,5),(4,6),(5,6)],7) => ([(3,6),(4,5),(4,6),(5,6)],7)

[.,[.,[[[.,[.,.]],.],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[.,[[[[.,.],.],.],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[.,[[.,[.,[.,[.,.]]]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[[.,[.,[[.,.],.]]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[[.,[[.,.],[.,.]]],.]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[.,[.,[[.,[[.,[.,.]],.]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[[.,[[[.,.],.],.]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[[[.,.],[.,[.,.]]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[.,[[[.,.],[[.,.],.]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[.,[[[.,[.,.]],[.,.]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[.,[[[[.,.],.],[.,.]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[.,[[[.,[.,[.,.]]],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[[[.,[[.,.],.]],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[[[[.,.],[.,.]],.],.]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[.,[.,[[[[.,[.,.]],.],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[[[[[.,.],.],.],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[.,.],[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,.],[.,[.,[[.,.],.]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,.],[.,[[.,.],[.,.]]]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[.,.],[.,[[.,[.,.]],.]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,.],[.,[[[.,.],.],.]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,.],[[.,.],[.,[.,.]]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[.,.],[[.,.],[[.,.],.]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[.,.],[[.,[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[.,.],[[[.,.],.],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[.,.],[[.,[.,[.,.]]],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,.],[[.,[[.,.],.]],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,.],[[[.,.],[.,.]],.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[.,.],[[[.,[.,.]],.],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,.],[[[[.,.],.],.],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,[.,.]],[.,[.,[.,.]]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[.,[.,.]],[.,[[.,.],.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[.,[.,.]],[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[.,[.,.]],[[.,[.,.]],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[.,[.,.]],[[[.,.],.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[.,.],.],[.,[.,[.,.]]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[.,.],.],[.,[[.,.],.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[.,.],.],[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[.,.],.],[[.,[.,.]],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[.,.],.],[[[.,.],.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[.,[.,[.,.]]],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[.,[.,[.,.]]],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[.,[[.,.],.]],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[.,[[.,.],.]],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[.,.],[.,.]],[.,[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[.,.],[.,.]],[[.,.],.]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[.,[.,.]],.],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[.,[.,.]],.],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[[.,.],.],.],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[[.,.],.],.],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[.,[[.,[.,[.,[.,.]]]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,[.,[[.,.],.]]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,[[.,.],[.,.]]],[.,.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[.,[[.,[.,.]],.]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,[[[.,.],.],.]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[[.,.],[.,[.,.]]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[[.,.],[[.,.],.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[[.,[.,.]],[.,.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[[[.,.],.],[.,.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[[.,[.,[.,.]]],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[[.,[[.,.],.]],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[[[.,.],[.,.]],.],[.,.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[.,[[[[.,[.,.]],.],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[[[[.,.],.],.],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[.,[[.,[.,[.,[.,[.,.]]]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[.,[.,[.,[[.,.],.]]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[.,[.,[[.,.],[.,.]]]],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[.,[[.,[.,[[.,[.,.]],.]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[.,[.,[[[.,.],.],.]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[.,[[.,.],[.,[.,.]]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[[.,[[.,.],[[.,.],.]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[[.,[[.,[.,.]],[.,.]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[[.,[[[.,.],.],[.,.]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[[.,[[.,[.,[.,.]]],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[.,[[.,[[.,.],.]],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[.,[[[.,.],[.,.]],.]],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[.,[[.,[[[.,[.,.]],.],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[.,[[[[.,.],.],.],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[[.,.],[.,[.,[.,.]]]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[[[.,.],[.,[[.,.],.]]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[[[.,.],[[.,.],[.,.]]],.]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(3,6),(4,5),(4,6),(5,6)],7) => ([(3,6),(4,5),(4,6),(5,6)],7)

[.,[[[.,.],[[.,[.,.]],.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[[[.,.],[[[.,.],.],.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[[[.,[.,.]],[.,[.,.]]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[.,[.,.]],[[.,.],.]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[[.,.],.],[.,[.,.]]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[[.,.],.],[[.,.],.]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[.,[[[.,[.,[.,.]]],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[[[.,[[.,.],.]],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[[[[.,.],[.,.]],[.,.]],.]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(3,6),(4,5),(4,6),(5,6)],7) => ([(3,6),(4,5),(4,6),(5,6)],7)

[.,[[[[.,[.,.]],.],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[[[[[.,.],.],.],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[.,[[[.,[.,[.,[.,.]]]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[[.,[.,[[.,.],.]]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[[.,[[.,.],[.,.]]],.],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[.,[[[.,[[.,[.,.]],.]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[[.,[[[.,.],.],.]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[[[.,.],[.,[.,.]]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[[[[.,.],[[.,.],.]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[[[[.,[.,.]],[.,.]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[[[[[.,.],.],[.,.]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[.,[[[[.,[.,[.,.]]],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[[[.,[[.,.],.]],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[[[[.,.],[.,.]],.],.],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[.,[[[[[.,[.,.]],.],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[[[[[[.,.],.],.],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,.],[.,[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[.,[.,[.,[[.,.],.]]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[.,[.,[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[.,[.,[[.,[.,.]],.]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[.,[.,[[[.,.],.],.]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[.,[[.,.],[.,[.,.]]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[.,[[.,.],[[.,.],.]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[.,[[.,[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[.,[[[.,.],.],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[.,[[.,[.,[.,.]]],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[.,[[.,[[.,.],.]],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[.,[[[.,.],[.,.]],.]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[.,[[[.,[.,.]],.],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[.,[[[[.,.],.],.],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[[.,.],[.,[.,[.,.]]]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[.,.],[.,[[.,.],.]]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[.,.],[[.,.],[.,.]]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[.,.],[[.,[.,.]],.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[.,.],[[[.,.],.],.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[.,[.,.]],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)

[[.,.],[[.,[.,.]],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)

[[.,.],[[[.,.],.],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)

[[.,.],[[[.,.],.],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)

[[.,.],[[.,[.,[.,.]]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[.,[[.,.],.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[[.,.],[.,.]],[.,.]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[[.,[.,.]],.],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[[[.,.],.],.],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[.,[.,[.,[.,.]]]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[[.,[.,[[.,.],.]]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[[.,[[.,.],[.,.]]],.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[.,[[.,[.,.]],.]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[[.,[[[.,.],.],.]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[[[.,.],[.,[.,.]]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[[.,.],[[.,.],.]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[[.,[.,.]],[.,.]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[[[.,.],.],[.,.]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[[.,[.,[.,.]]],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[[[.,[[.,.],.]],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[[[[.,.],[.,.]],.],.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[.,.],[[[[.,[.,.]],.],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,.],[[[[[.,.],.],.],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,[.,.]],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[.,[.,[[.,.],.]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[.,[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[.,[[.,[.,.]],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[.,[[[.,.],.],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[[.,.],[.,[.,.]]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[[.,.],[[.,.],.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[[.,[.,.]],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[[[.,.],.],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[[.,[.,[.,.]]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[[.,[[.,.],.]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[[[.,.],[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[[[.,[.,.]],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,.]],[[[[.,.],.],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[.,[.,[[.,.],.]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[.,[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[.,[[.,[.,.]],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[.,[[[.,.],.],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[[.,.],[.,[.,.]]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[[.,.],[[.,.],.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[[.,[.,.]],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[[[.,.],.],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[[.,[.,[.,.]]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[[.,[[.,.],.]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[[[.,.],[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[[[.,[.,.]],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],.],[[[[.,.],.],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,[.,.]]],[.,[.,[.,.]]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[.,[.,[.,.]]],[.,[[.,.],.]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[.,[.,[.,.]]],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,[.,[.,.]]],[[.,[.,.]],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[.,[.,[.,.]]],[[[.,.],.],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[.,[[.,.],.]],[.,[.,[.,.]]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[.,[[.,.],.]],[.,[[.,.],.]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[.,[[.,.],.]],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,[[.,.],.]],[[.,[.,.]],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[.,[[.,.],.]],[[[.,.],.],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[[.,.],[.,.]],[.,[.,[.,.]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[.,.]],[.,[[.,.],.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[.,.]],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7) => ([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,2),(1,5),(1,6),(2,3),(2,4),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[.,.]],[[.,[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[.,.]],[[[.,.],.],.]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,[.,.]],.],[.,[.,[.,.]]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[[.,[.,.]],.],[.,[[.,.],.]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[[.,[.,.]],.],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,[.,.]],.],[[.,[.,.]],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[[.,[.,.]],.],[[[.,.],.],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[[[.,.],.],.],[.,[.,[.,.]]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[[[.,.],.],.],[.,[[.,.],.]]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[[[.,.],.],.],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,2),(1,3),(1,4),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[.,.],.],.],[[.,[.,.]],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[[[.,.],.],.],[[[.,.],.],.]] => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7) => ([(1,4),(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6)],7)

[[.,[.,[.,[.,.]]]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,[.,[.,.]]]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,[[.,.],.]]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,[[.,.],.]]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[[.,.],[.,.]]],[.,[.,.]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[[.,.],[.,.]]],[[.,.],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[[.,[.,.]],.]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[[.,[.,.]],.]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[[[.,.],.],.]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[[[.,.],.],.]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],[.,[.,.]]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],[.,[.,.]]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],[[.,.],.]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,.],[[.,.],.]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[.,.]],[.,.]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[.,.]],[.,.]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,.],.],[.,.]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,.],.],[.,.]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[.,[.,.]]],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[.,[.,.]]],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[[.,.],.]],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[[.,.],.]],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,.],[.,.]],.],[.,[.,.]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,.],[.,.]],.],[[.,.],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,[.,.]],.],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,[.,.]],.],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[[.,.],.],.],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[[.,.],.],.],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(1,5),(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[.,[.,[.,[.,[.,.]]]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,[.,[.,[[.,.],.]]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,[.,[[.,.],[.,.]]]],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[.,[.,[[.,[.,.]],.]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,[.,[[[.,.],.],.]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,[[.,.],[.,[.,.]]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,[[.,.],[[.,.],.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,[[.,[.,.]],[.,.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,[[[.,.],.],[.,.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[.,[[.,[.,[.,.]]],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,[[.,[[.,.],.]],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,[[[.,.],[.,.]],.]],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[.,[[[.,[.,.]],.],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,[[[[.,.],.],.],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[[.,.],[.,[.,[.,.]]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[.,[[.,.],.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[[.,.],[.,.]]],[.,.]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[[.,[.,.]],.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[[[.,.],.],.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,[.,.]],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)

[[[.,[.,.]],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)

[[[[.,.],.],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)

[[[[.,.],.],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,4),(2,5),(2,6),(3,4),(3,5),(3,6),(4,6),(5,6)],7)

[[[.,[.,[.,.]]],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,[[.,.],.]],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[.,.],[.,.]],[.,.]],[.,.]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[.,[.,.]],.],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[[.,.],.],.],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,5),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,[.,[.,[.,.]]]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[[.,[.,[[.,.],.]]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[[.,[[.,.],[.,.]]],.],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,[[.,[.,.]],.]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[[.,[[[.,.],.],.]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[[[.,.],[.,[.,.]]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[.,.],[[.,.],.]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[.,[.,.]],[.,.]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[[.,.],.],[.,.]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[.,[.,[.,.]]],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[[[.,[[.,.],.]],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[[[[.,.],[.,.]],.],.],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[[[[.,[.,.]],.],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[[[[[.,.],.],.],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7) => ([(1,6),(2,6),(3,6),(4,6),(5,6)],7)

[[.,[.,[.,[.,[.,[.,.]]]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[.,[.,[.,[[.,.],.]]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[.,[.,[[.,.],[.,.]]]]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[[.,[.,[.,[[.,[.,.]],.]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[.,[.,[[[.,.],.],.]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[.,[[.,.],[.,[.,.]]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[.,[.,[[.,.],[[.,.],.]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[.,[.,[[.,[.,.]],[.,.]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[.,[.,[[[.,.],.],[.,.]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[.,[.,[[.,[.,[.,.]]],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[.,[[.,[[.,.],.]],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[.,[[[.,.],[.,.]],.]]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[[.,[.,[[[.,[.,.]],.],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[.,[[[[.,.],.],.],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[[.,.],[.,[.,[.,.]]]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[.,[[.,.],[.,[[.,.],.]]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[.,[[.,.],[[.,.],[.,.]]]],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(3,6),(4,5),(4,6),(5,6)],7) => ([(3,6),(4,5),(4,6),(5,6)],7)

[[.,[[.,.],[[.,[.,.]],.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[.,[[.,.],[[[.,.],.],.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[.,[[.,[.,.]],[.,[.,.]]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[[.,[[.,[.,.]],[[.,.],.]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[[.,[[[.,.],.],[.,[.,.]]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[[.,[[[.,.],.],[[.,.],.]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[[.,[[.,[.,[.,.]]],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[.,[[.,[[.,.],.]],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[.,[[[.,.],[.,.]],[.,.]]],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(3,6),(4,5),(4,6),(5,6)],7) => ([(3,6),(4,5),(4,6),(5,6)],7)

[[.,[[[.,[.,.]],.],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[.,[[[[.,.],.],.],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[.,[[.,[.,[.,[.,.]]]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[[.,[.,[[.,.],.]]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[[.,[[.,.],[.,.]]],.]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[[.,[[.,[[.,[.,.]],.]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[[.,[[[.,.],.],.]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[[[.,.],[.,[.,.]]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[.,[[[.,.],[[.,.],.]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[.,[[[.,[.,.]],[.,.]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[.,[[[[.,.],.],[.,.]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[.,[[[.,[.,[.,.]]],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[[[.,[[.,.],.]],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[[[[.,.],[.,.]],.],.]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[[.,[[[[.,[.,.]],.],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[.,[[[[[.,.],.],.],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[.,.],[.,[.,[.,[.,.]]]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,.],[.,[.,[[.,.],.]]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,.],[.,[[.,.],[.,.]]]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[.,[[.,[.,.]],.]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,.],[.,[[[.,.],.],.]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,.],[[.,.],[.,[.,.]]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[[.,.],[[.,.],.]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[[.,[.,.]],[.,.]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[[[.,.],.],[.,.]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[[.,[.,[.,.]]],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,.],[[.,[[.,.],.]],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,.],[[[.,.],[.,.]],.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,.],[[[.,[.,.]],.],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,.],[[[[.,.],.],.],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,[.,.]],[.,[.,[.,.]]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[.,.]],[.,[[.,.],.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[.,.]],[[.,.],[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[.,.]],[[.,[.,.]],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[.,.]],[[[.,.],.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,.],.],[.,[.,[.,.]]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,.],.],[.,[[.,.],.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,.],.],[[.,.],[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,.],.],[[.,[.,.]],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,.],.],[[[.,.],.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[.,[.,.]]],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[.,[.,.]]],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[[.,.],.]],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[[.,.],.]],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,.],[.,.]],[.,[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,.],[.,.]],[[.,.],.]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,4),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,[.,.]],.],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,[.,.]],.],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[[.,.],.],.],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[[[.,.],.],.],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7) => ([(2,5),(2,6),(3,5),(3,6),(4,5),(4,6)],7)

[[[.,[.,[.,[.,.]]]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,[.,[[.,.],.]]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,[[.,.],[.,.]]],[.,.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[[.,[[.,[.,.]],.]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,[[[.,.],.],.]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[[.,.],[.,[.,.]]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[.,.],[[.,.],.]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[.,[.,.]],[.,.]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[[.,.],.],[.,.]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,5),(3,6),(4,5),(4,6),(5,6)],7)

[[[[.,[.,[.,.]]],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[[.,[[.,.],.]],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[[[.,.],[.,.]],.],[.,.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,5),(4,6),(5,6)],7)

[[[[[.,[.,.]],.],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[[[[.,.],.],.],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(2,6),(3,6),(4,6),(5,6)],7) => ([(2,6),(3,6),(4,6),(5,6)],7)

[[[.,[.,[.,[.,[.,.]]]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[.,[.,[.,[[.,.],.]]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[.,[.,[[.,.],[.,.]]]],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[[[.,[.,[[.,[.,.]],.]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[.,[.,[[[.,.],.],.]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[.,[[.,.],[.,[.,.]]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[[.,[[.,.],[[.,.],.]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[[.,[[.,[.,.]],[.,.]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[[.,[[[.,.],.],[.,.]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[[.,[[.,[.,[.,.]]],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[.,[[.,[[.,.],.]],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[.,[[[.,.],[.,.]],.]],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[[[.,[[[.,[.,.]],.],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[.,[[[[.,.],.],.],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[[.,.],[.,[.,[.,.]]]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[[[.,.],[.,[[.,.],.]]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[[[.,.],[[.,.],[.,.]]],.],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(3,6),(4,5),(4,6),(5,6)],7) => ([(3,6),(4,5),(4,6),(5,6)],7)

[[[[.,.],[[.,[.,.]],.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[[[.,.],[[[.,.],.],.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[[[.,[.,.]],[.,[.,.]]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,[.,.]],[[.,.],.]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[[[[[.,.],.],[.,[.,.]]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[[[[[.,.],.],[[.,.],.]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(3,5),(3,6),(4,5),(4,6)],7) => ([(3,5),(3,6),(4,5),(4,6)],7)

[[[[.,[.,[.,.]]],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[[[.,[[.,.],.]],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[[[[.,.],[.,.]],[.,.]],.],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(3,6),(4,5),(4,6),(5,6)],7) => ([(3,6),(4,5),(4,6),(5,6)],7)

[[[[[.,[.,.]],.],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[[[[[.,.],.],.],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(3,6),(4,6),(5,6)],7) => ([(3,6),(4,6),(5,6)],7)

[[[[.,[.,[.,[.,.]]]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[[.,[.,[[.,.],.]]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[[.,[[.,.],[.,.]]],.],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[[[[.,[[.,[.,.]],.]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[[.,[[[.,.],.],.]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[[[.,.],[.,[.,.]]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[[[[.,.],[[.,.],.]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[[[[.,[.,.]],[.,.]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[[[[[.,.],.],[.,.]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(4,6),(5,6)],7) => ([(4,6),(5,6)],7)

[[[[[.,[.,[.,.]]],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[[[.,[[.,.],.]],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[[[[.,.],[.,.]],.],.],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(5,6)],7) => ([(5,6)],7)

[[[[[[.,[.,.]],.],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[[[[[[[.,.],.],.],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([],7) => ([],7)

[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[.,[[[[.,.],.],.],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[[.,[.,[[.,.],.]]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[[.,[[[.,.],.],.]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[[[.,[[.,.],.]],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[[[[.,[.,.]],.],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[[[[[.,.],.],.],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[.,[.,[.,[[.,.],.]]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[.,[.,[[.,[.,.]],.]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[.,[.,[[[.,.],.],.]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[.,[[.,[.,[.,.]]],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[.,[[.,[[.,.],.]],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[.,[[[.,[.,.]],.],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[.,[[[[.,.],.],.],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[[.,[.,[[.,.],.]]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[[.,[[.,[.,.]],.]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[[.,[[[.,.],.],.]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[[[.,[.,[.,.]]],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[[[.,[[.,.],.]],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[[[[.,[.,.]],.],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[[[[[[.,.],.],.],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[.,[.,[.,[[.,.],.]]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[.,[.,[[.,[.,.]],.]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[.,[.,[[[.,.],.],.]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[.,[[.,[.,[.,.]]],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[.,[[.,[[.,.],.]],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[.,[[[.,[.,.]],.],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[.,[[[[.,.],.],.],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[[.,[.,[.,[.,.]]]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[[.,[.,[[.,.],.]]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[[.,[[.,[.,.]],.]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[[.,[[[.,.],.],.]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[[[.,[.,[.,.]]],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[[[.,[[.,.],.]],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[[[[.,[.,.]],.],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[.,[[[[[.,.],.],.],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[.,[.,[.,[[.,.],.]]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[.,[.,[[.,[.,.]],.]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[.,[.,[[[.,.],.],.]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[.,[[.,[.,[.,.]]],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[.,[[.,[[.,.],.]],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[.,[[[.,[.,.]],.],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[.,[[[[.,.],.],.],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[[.,[.,[.,[.,.]]]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[[.,[.,[[.,.],.]]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[[.,[[.,[.,.]],.]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[[.,[[[.,.],.],.]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[[[.,[.,[.,.]]],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[[[.,[[.,.],.]],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[[[[.,[.,.]],.],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[[[[[[[.,.],.],.],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[.,[.,[[.,[.,.]],.]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[.,[.,[[[.,.],.],.]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[.,[[.,[.,[.,.]]],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[.,[[.,[[.,.],.]],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[.,[[[.,[.,.]],.],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[.,[[[[.,.],.],.],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[[.,[.,[.,[.,.]]]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[[.,[.,[[.,.],.]]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[[.,[[.,[.,.]],.]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[[.,[[[.,.],.],.]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[[[.,[.,[.,.]]],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[[[.,[[.,.],.]],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[[[[.,[.,.]],.],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[.,[[[[[.,.],.],.],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[.,[.,[.,[.,[.,.]]]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[.,[.,[.,[[.,.],.]]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[.,[.,[[.,[.,.]],.]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[.,[.,[[[.,.],.],.]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[.,[[.,[.,[.,.]]],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[.,[[.,[[.,.],.]],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[.,[[[.,[.,.]],.],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[.,[[[[.,.],.],.],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[[.,[.,[.,[.,.]]]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[[.,[.,[[.,.],.]]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[[.,[[.,[.,.]],.]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[[.,[[[.,.],.],.]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[[[.,[.,[.,.]]],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[[[.,[[.,.],.]],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[[[[.,[.,.]],.],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[.,[[[[[[.,.],.],.],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[.,[.,[.,[[.,.],.]]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[.,[.,[[.,[.,.]],.]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[.,[.,[[[.,.],.],.]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[.,[[.,[.,[.,.]]],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[.,[[.,[[.,.],.]],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[.,[[[.,[.,.]],.],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[.,[[[[.,.],.],.],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[[.,[.,[.,[.,.]]]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[[.,[.,[[.,.],.]]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[[.,[[.,[.,.]],.]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[[.,[[[.,.],.],.]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[[[.,[.,[.,.]]],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[[[.,[[.,.],.]],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[[[[.,[.,.]],.],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[.,[[[[[.,.],.],.],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[.,[.,[.,[.,[.,.]]]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[.,[.,[.,[[.,.],.]]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[.,[.,[[.,[.,.]],.]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[.,[.,[[[.,.],.],.]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[.,[[.,[.,[.,.]]],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[.,[[.,[[.,.],.]],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[.,[[[.,[.,.]],.],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[.,[[[[.,.],.],.],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[[.,[.,[.,[.,.]]]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[[.,[.,[[.,.],.]]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[[.,[[.,[.,.]],.]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[[.,[[[.,.],.],.]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[[[.,[.,[.,.]]],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[[[.,[[.,.],.]],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[[[[.,[.,.]],.],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[[[[[[[[.,.],.],.],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([],8) => ([],8)

[.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[.,[[[[.,.],.],.],.]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[[[[[.,.],.],.],.],.]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[[[[[[.,.],.],.],.],.],.]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[[[[[[[.,.],.],.],.],.],.],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[[[[[[[.,.],.],.],.],.],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[[[[[.,.],.],.],.],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[.,[.,[.,[[[[.,.],.],.],.]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[.,[.,[[[[[.,.],.],.],.],.]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[.,[[[[[[.,.],.],.],.],.],.]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[[[[[[[.,.],.],.],.],.],.],.]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[[[[[[[[.,.],.],.],.],.],.],.],.]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[[[[[[[[[.,.],.],.],.],.],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[[[[[[[.,.],.],.],.],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[.,[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[.,[[.,[[.,[[.,[[.,.],.]],.]],.]],.]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[[[[[[[.,[.,.]],.],.],.],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[[[[[.,[[.,.],.]],.],.],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[[[[[[[.,[.,.]],.],.],.],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[.,[[.,[[.,[[.,[.,.]],.]],.]],.]],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[.,[.,[.,[.,[.,.]]]]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[[.,[.,[.,[.,.]]]],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[[[.,[.,[.,.]]],.],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[[[[.,[.,.]],.],.],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[[[.,[.,[.,[.,[.,.]]]]],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[[[[.,[.,[.,[.,.]]]],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[[[[[.,[.,[.,.]]],.],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[[[[[[.,[.,.]],.],.],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[[.,[[[.,.],.],.]],.]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[[.,[[[[.,.],.],.],.]],.]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[[.,[[[[[.,.],.],.],.],.]],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[.,[[[[[[.,.],.],.],.],.],.]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[[[[[[[.,.],.],.],.],.],.],.]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[[[.,[[.,.],.]],.],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[.,[[[[.,.],.],.],.]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[.,[[[[[[.,.],.],.],.],.],.]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[[[[.,[[.,.],.]],.],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[.,[[[[[[[[.,.],.],.],.],.],.],.],.]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[[[[[[.,[.,[.,.]]],.],.],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[[[[.,[.,[.,[.,.]]]],.],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[[[.,[.,[.,[.,[.,.]]]]],.],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[[[[[[.,[.,[.,.]]],.],.],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[[[[[[.,[.,[.,[.,.]]]],.],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[[[[[.,[.,[.,[.,[.,.]]]]],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[[[[.,[[[.,.],.],.]],.],.],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[[[[.,[[[[.,.],.],.],.]],.],.],.],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[[.,[.,[[[[.,.],.],.],.]]],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[.,[.,[.,[.,[[[.,.],.],.]]]]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[.,[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[.,[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[.,[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[.,[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[.,[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[[[.,[[.,[.,.]],.]],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[[.,[.,[.,[.,[[.,[.,.]],.]]]]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[[.,[.,[[.,.],.]]],.],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[[[.,[.,[[.,.],.]]],.],.],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[[.,[[.,[[.,.],.]],.]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[[[[[.,[.,.]],.],.],.],.]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[[[[.,[.,.]],.],.],.]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[[[[[.,[.,.]],.],.],.],.]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[[.,[[[[.,[.,.]],.],.],.]],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[[[[[[.,[.,.]],.],.],.],.],.]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[.,[[.,[.,[.,[.,[.,.]]]]],.]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[.,[[.,[.,[.,[.,.]]]],.]],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[.,[[.,[.,[.,.]]],.]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[.,[.,[.,[.,[[[[.,[.,.]],.],.],.]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[[.,[.,[.,[[.,.],.]]]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[[.,[[.,[.,[.,[.,[.,.]]]]],.]],.]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[[[[[[.,[.,.]],.],.],.],.],.]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.]],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[.,[[.,[[[[[[[.,.],.],.],.],.],.],.]],.]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[.,[.,[[[[.,.],.],.],.]]],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[.,[.,[.,[.,[[[.,.],.],.]]]]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[.,[.,[.,[.,[[.,.],.]]]]],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[.,[.,[.,[.,[[.,.],.]]]]],.],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.],.],.] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

[[[.,[[.,[.,[.,[[.,.],.]]]],.]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[.,[.,[[[[[[.,.],.],.],.],.],.]]],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[.,[.,[[[[[.,.],.],.],.],.]]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[[[[[.,[.,[[[.,.],.],.]]],.],.],.],.] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]]] => ([(0,8),(2,3),(3,5),(4,2),(5,7),(6,4),(7,1),(8,6)],9) => ([],9) => ([],9)

[.,[.,[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]]]] => ([(0,9),(2,4),(3,2),(4,6),(5,3),(6,8),(7,5),(8,1),(9,7)],10) => ([],10) => ([],10)

Map

to poset

Description

Return the poset obtained by interpreting the tree as a Hasse diagram.

Map

incomparability graph

Description

The incomparability graph of a poset.

Map

connected complement

Description

The componentwise connected complement of a graph.
For a connected graph $G$, this map returns the complement of $G$ if it is connected, otherwise $G$ itself. If $G$ is not connected, the map is applied to each connected component separately.