- FindStat

Identifier

Mp00011: Binary trees —to graph⟶ Graphs
Mp00247: Graphs —de-duplicate⟶ Graphs
St000266: Graphs ⟶ ℤ

Values

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

>>> Load all 789 entries. <<<

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

search for individual values

searching the database for the individual values of this statistic

/ search for generating function

searching the database for statistics with the same generating function

click to show known generating functions

$F_{1} = q$

$F_{2} = 2\ q$

$F_{3} = 5\ q$

$F_{4} = 14\ q$

$F_{5} = 42\ q$

$F_{6} = 132\ q$

$F_{7} = 429\ q$

Description

The number of spanning subgraphs of a graph with the same connected components.
A subgraph or factor of a graph is spanning, if it has the same vertex set [1]. The present statistic additionally requires the subgraph to have the same components. It can be obtained by evaluating the Tutte polynomial at the points

$x=1$ and

$y=2$ , see [2,3].
By mistake, [2] refers to this statistic as the number of spanning subgraphs, which would be

$2^m$ , where

$m$ is the number of edges. Equivalently, this would be the evaluation of the Tutte polynomial at

$x=y=2$ .

Map

de-duplicate

Description

The de-duplicate of a graph.
Let

$G = (V, E)$ be a graph. This map yields the graph whose vertex set is the set of (distinct) neighbourhoods

$\{N_v | v \in V\}$ of

$G$ , and has an edge

$(N_a, N_b)$ between two vertices if and only if

$(a, b)$ is an edge of

$G$ . This is well-defined, because if

$N_a = N_c$ and

$N_b = N_d$ , then

$(a, b)\in E$ if and only if

$(c, d)\in E$ .
The image of this map is the set of so-called 'mating graphs' or 'point-determining graphs'.
This map preserves the chromatic number.

Map

to graph

Description

Return the undirected graph obtained from the tree nodes and edges, with leaves being ignored.