Identifier
Values
[.,.] => ([],1) => ([],1) => 2
[.,[.,.]] => ([(0,1)],2) => ([(0,1)],2) => 3
[[.,.],.] => ([(0,1)],2) => ([(0,1)],2) => 3
[.,[.,[.,.]]] => ([(0,2),(2,1)],3) => ([(0,2),(2,1)],3) => 4
[.,[[.,.],.]] => ([(0,2),(2,1)],3) => ([(0,2),(2,1)],3) => 4
[[.,.],[.,.]] => ([(0,2),(1,2)],3) => ([(0,1)],2) => 3
[[.,[.,.]],.] => ([(0,2),(2,1)],3) => ([(0,2),(2,1)],3) => 4
[[[.,.],.],.] => ([(0,2),(2,1)],3) => ([(0,2),(2,1)],3) => 4
[.,[.,[.,[.,.]]]] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[.,[[.,.],.]]] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[[.,.],[.,.]]] => ([(0,3),(1,3),(3,2)],4) => ([(0,2),(2,1)],3) => 4
[.,[[.,[.,.]],.]] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[[[.,.],.],.]] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[.,[.,.]]] => ([(0,3),(1,2),(2,3)],4) => ([(0,2),(2,1)],3) => 4
[[.,.],[[.,.],.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,2),(2,1)],3) => 4
[[.,[.,.]],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,2),(2,1)],3) => 4
[[[.,.],.],[.,.]] => ([(0,3),(1,2),(2,3)],4) => ([(0,2),(2,1)],3) => 4
[[.,[.,[.,.]]],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,[[.,.],.]],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => 5
[[[.,.],[.,.]],.] => ([(0,3),(1,3),(3,2)],4) => ([(0,2),(2,1)],3) => 4
[[[.,[.,.]],.],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => 5
[[[[.,.],.],.],.] => ([(0,3),(2,1),(3,2)],4) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[.,[.,[.,[.,.]]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[.,[[.,.],.]]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[[.,.],[.,.]]]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[.,[[.,[.,.]],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[[[.,.],.],.]]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,.],[.,[.,.]]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[[.,.],[[.,.],.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[[.,[.,.]],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[[[.,.],.],[.,.]]] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[[.,[.,[.,.]]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,[[.,.],.]],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[.,.],[.,.]],.]] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[[[.,[.,.]],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[[.,.],.],.],.]] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[.,[.,[.,.]]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[.,[[.,.],.]]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[[.,.],[.,.]]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => 4
[[.,.],[[.,[.,.]],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[[[.,.],.],.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,[.,.]],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 7
[[.,[.,.]],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 7
[[[.,.],.],[.,[.,.]]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 7
[[[.,.],.],[[.,.],.]] => ([(0,3),(1,2),(2,4),(3,4)],5) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 7
[[.,[.,[.,.]]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,[[.,.],.]],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[[.,.],[.,.]],[.,.]] => ([(0,4),(1,3),(2,3),(3,4)],5) => ([(0,2),(2,1)],3) => 4
[[[.,[.,.]],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[[[.,.],.],.],[.,.]] => ([(0,4),(1,2),(2,3),(3,4)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,[.,[.,[.,.]]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[.,[[.,.],.]]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[.,.],[.,.]]],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,[[.,[.,.]],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[[.,.],.],.]],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[.,[.,.]]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[[.,.],[[.,.],.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[[.,[.,.]],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[[[.,.],.],[.,.]],.] => ([(0,4),(1,2),(2,4),(4,3)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[[.,[.,[.,.]]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,[[.,.],.]],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,.],[.,.]],.],.] => ([(0,4),(1,4),(2,3),(4,2)],5) => ([(0,3),(2,1),(3,2)],4) => 5
[[[[.,[.,.]],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[[.,.],.],.],.],.] => ([(0,4),(2,3),(3,1),(4,2)],5) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[.,[.,[.,[.,.]]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[.,[.,[[.,.],.]]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[.,[[.,.],[.,.]]]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[.,[[.,[.,.]],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[.,[[[.,.],.],.]]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[.,.],[.,[.,.]]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[[.,.],[[.,.],.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[[.,[.,.]],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[[[.,.],.],[.,.]]]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[[.,[.,[.,.]]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[.,[[.,.],.]],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[[.,.],[.,.]],.]]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[[[.,[.,.]],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[[[.,.],.],.],.]]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,.],[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,.],[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,.],[[.,.],[.,.]]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[[.,.],[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,.],[[[.,.],.],.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,[.,.]],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[.,[[.,[.,.]],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[.,[[[.,.],.],[.,[.,.]]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[.,[[[.,.],.],[[.,.],.]]] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[.,[[.,[.,[.,.]]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,[[.,.],.]],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[.,.],[.,.]],[.,.]]] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[.,[[[.,[.,.]],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[[.,.],.],.],[.,.]]] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,[.,[.,[.,.]]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[.,[[.,.],.]]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[[.,.],[.,.]]],.]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,[[.,[.,.]],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[[[.,.],.],.]],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[.,.],[.,[.,.]]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[.,.],[[.,.],.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[.,[.,.]],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[[.,.],.],[.,.]],.]] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
>>> Load all 846 entries. <<<[.,[[[.,[.,[.,.]]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[.,[[.,.],.]],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[[.,.],[.,.]],.],.]] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[[.,[.,.]],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[[[.,.],.],.],.],.]] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[.,[.,[[.,.],.]]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[.,[[.,.],[.,.]]]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[.,[[.,[.,.]],.]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[.,[[[.,.],.],.]]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[.,.],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[[.,.],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[[.,[.,.]],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[[[.,.],.],[.,.]]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[[.,[.,[.,.]]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[.,[[.,.],.]],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[[.,.],[.,.]],.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[[[.,[.,.]],.],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[[[.,.],.],.],.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[.,.]],[.,[.,[.,.]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,.]],[.,[[.,.],.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,.]],[[.,.],[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 7
[[.,[.,.]],[[.,[.,.]],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,.]],[[[.,.],.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],.],[.,[.,[.,.]]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],.],[.,[[.,.],.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],.],[[.,.],[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 7
[[[.,.],.],[[.,[.,.]],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],.],[[[.,.],.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,[.,.]]],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,[.,.]]],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[[.,.],.]],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[[.,.],.]],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],[.,.]],[.,[.,.]]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 7
[[[.,.],[.,.]],[[.,.],.]] => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 7
[[[.,[.,.]],.],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,[.,.]],.],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[[.,.],.],.],[.,[.,.]]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[[.,.],.],.],[[.,.],.]] => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,[.,[.,.]]]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[.,[[.,.],.]]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[.,.],[.,.]]],[.,.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,[[.,[.,.]],.]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[[.,.],.],.]],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[[.,.],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[[.,[.,.]],[.,.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[[[.,.],.],[.,.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[[.,[.,[.,.]]],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,[[.,.],.]],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,.],[.,.]],.],[.,.]] => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[[[.,[.,.]],.],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[[.,.],.],.],.],[.,.]] => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[.,[.,[.,[.,.]]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[.,[[.,.],.]]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[[.,.],[.,.]]]],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[.,[[.,[.,.]],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[[[.,.],.],.]]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[.,.],[.,[.,.]]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[.,.],[[.,.],.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[.,[.,.]],[.,.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[[.,.],.],[.,.]]],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[.,[.,[.,.]]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[.,[[.,.],.]],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[[.,.],[.,.]],.]],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[[.,[.,.]],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[[[.,.],.],.],.]],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,.],[.,[.,[.,.]]]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[.,[[.,.],.]]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[[.,.],[.,.]]],.] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[[.,.],[[.,[.,.]],.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[[[.,.],.],.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,[.,.]],[.,[.,.]]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[.,[.,.]],[[.,.],.]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[[.,.],.],[.,[.,.]]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[[.,.],.],[[.,.],.]],.] => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[.,[.,[.,.]]],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,[[.,.],.]],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,.],[.,.]],[.,.]],.] => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6) => ([(0,3),(2,1),(3,2)],4) => 5
[[[[.,[.,.]],.],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[[.,.],.],.],[.,.]],.] => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,[.,[.,[.,.]]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[.,[[.,.],.]]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[[.,.],[.,.]]],.],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,[[.,[.,.]],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[[[.,.],.],.]],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,.],[.,[.,.]]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,.],[[.,.],.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,[.,.]],[.,.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[[.,.],.],[.,.]],.],.] => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,[.,[.,.]]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,[[.,.],.]],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[.,.],[.,.]],.],.],.] => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[[.,[.,.]],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[[.,.],.],.],.],.],.] => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[.,[.,[.,[.,[.,.]]]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[.,[.,[.,[[.,.],.]]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[.,[.,[[.,.],[.,.]]]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[.,[.,[[.,[.,.]],.]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[.,[.,[[[.,.],.],.]]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[.,[[.,.],[.,[.,.]]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[.,[[.,.],[[.,.],.]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[.,[[.,[.,.]],[.,.]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[.,[[[.,.],.],[.,.]]]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[.,[[.,[.,[.,.]]],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[.,[[.,[[.,.],.]],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[.,[[[.,.],[.,.]],.]]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[.,[[[.,[.,.]],.],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[.,[[[[.,.],.],.],.]]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[[.,.],[.,[.,[.,.]]]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[.,.],[.,[[.,.],.]]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[.,.],[[.,.],[.,.]]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[[.,.],[[.,[.,.]],.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[.,.],[[[.,.],.],.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[.,[.,.]],[.,[.,.]]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[.,[.,[[.,[.,.]],[[.,.],.]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[.,[.,[[[.,.],.],[.,[.,.]]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[.,[.,[[[.,.],.],[[.,.],.]]]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[.,[.,[[.,[.,[.,.]]],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[.,[[.,.],.]],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[[.,.],[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[.,[[[.,[.,.]],.],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[[[.,.],.],.],[.,.]]]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[.,[.,[.,[.,.]]]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[[.,[.,[[.,.],.]]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[[.,[[.,.],[.,.]]],.]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[.,[[.,[.,.]],.]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[[.,[[[.,.],.],.]],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[[[.,.],[.,[.,.]]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[[.,.],[[.,.],.]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[[.,[.,.]],[.,.]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[[[.,.],.],[.,.]],.]]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[[.,[.,[.,.]]],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[[[.,[[.,.],.]],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[[[[.,.],[.,.]],.],.]]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[.,[[[[.,[.,.]],.],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[[[[[.,.],.],.],.],.]]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[.,.],[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,.],[.,[.,[[.,.],.]]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,.],[.,[[.,.],[.,.]]]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,.],[.,[[.,[.,.]],.]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,.],[.,[[[.,.],.],.]]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,.],[[.,.],[.,[.,.]]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,.],[[.,.],[[.,.],.]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,.],[[.,[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,.],[[[.,.],.],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,.],[[.,[.,[.,.]]],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,.],[[.,[[.,.],.]],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,.],[[[.,.],[.,.]],.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,.],[[[.,[.,.]],.],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,.],[[[[.,.],.],.],.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[.,.]],[.,[.,[.,.]]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[.,[.,.]],[.,[[.,.],.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[.,[.,.]],[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[.,[[.,[.,.]],[[.,[.,.]],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[.,[.,.]],[[[.,.],.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[[.,.],.],[.,[.,[.,.]]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[[.,.],.],[.,[[.,.],.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[[.,.],.],[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[.,[[[.,.],.],[[.,[.,.]],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[[.,.],.],[[[.,.],.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[.,[.,[.,.]]],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[.,[.,[.,.]]],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[.,[[.,.],.]],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[.,[[.,.],.]],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[[.,.],[.,.]],[.,[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[.,[[[.,.],[.,.]],[[.,.],.]]] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[.,[[[.,[.,.]],.],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[[.,[.,.]],.],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[[[.,.],.],.],[.,[.,.]]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[[[.,.],.],.],[[.,.],.]]] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[.,[[.,[.,[.,[.,.]]]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[.,[[.,.],.]]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[[.,.],[.,.]]],[.,.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[.,[[.,[.,.]],.]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[[[.,.],.],.]],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[.,.],[.,[.,.]]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[.,.],[[.,.],.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[.,[.,.]],[.,.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[[.,.],.],[.,.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[.,[.,[.,.]]],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[.,[[.,.],.]],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[[.,.],[.,.]],.],[.,.]]] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[[.,[.,.]],.],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[[[.,.],.],.],.],[.,.]]] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[.,[.,[.,[.,.]]]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[.,[.,[.,[[.,.],.]]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[.,[.,[[.,.],[.,.]]]],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[.,[[.,[.,.]],.]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[.,[.,[[[.,.],.],.]]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[.,[[.,.],[.,[.,.]]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[[.,.],[[.,.],.]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[[.,[.,.]],[.,.]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[[[.,.],.],[.,.]]],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[[.,[.,[.,.]]],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[.,[[.,[[.,.],.]],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[.,[[[.,.],[.,.]],.]],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[.,[[[.,[.,.]],.],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[.,[[[[.,.],.],.],.]],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[[.,.],[.,[.,[.,.]]]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[.,.],[.,[[.,.],.]]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[.,.],[[.,.],[.,.]]],.]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[.,.],[[.,[.,.]],.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[.,.],[[[.,.],.],.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[.,[.,.]],[.,[.,.]]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[.,[[[.,[.,.]],[[.,.],.]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[.,[[[[.,.],.],[.,[.,.]]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[.,[[[[.,.],.],[[.,.],.]],.]] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[.,[[[.,[.,[.,.]]],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[.,[[.,.],.]],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[[.,.],[.,.]],[.,.]],.]] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[.,[[[[.,[.,.]],.],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[[[.,.],.],.],[.,.]],.]] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[.,[.,[.,[.,.]]]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[[.,[.,[[.,.],.]]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[[.,[[.,.],[.,.]]],.],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[.,[[.,[.,.]],.]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[[.,[[[.,.],.],.]],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[[[.,.],[.,[.,.]]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[[.,.],[[.,.],.]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[[.,[.,.]],[.,.]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[[[.,.],.],[.,.]],.],.]] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[[.,[.,[.,.]]],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[[[.,[[.,.],.]],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[[[[.,.],[.,.]],.],.],.]] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[.,[[[[[.,[.,.]],.],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[[[[[[.,.],.],.],.],.],.]] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[.,[.,[.,[[.,.],.]]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[.,[.,[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[.,[.,[[.,[.,.]],.]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[.,[.,[[[.,.],.],.]]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[.,[[.,.],[.,[.,.]]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[.,[[.,.],[[.,.],.]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[.,[[.,[.,.]],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[.,[[[.,.],.],[.,.]]]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[.,[[.,[.,[.,.]]],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[.,[[.,[[.,.],.]],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[.,[[[.,.],[.,.]],.]]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[.,[[[.,[.,.]],.],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[.,[[[[.,.],.],.],.]]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[[.,.],[.,[.,[.,.]]]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[.,.],[.,[[.,.],.]]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[.,.],[[.,.],[.,.]]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[[.,.],[[.,[.,.]],.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[.,.],[[[.,.],.],.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[.,[.,.]],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[.,.],[[.,[.,.]],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[.,.],[[[.,.],.],[.,[.,.]]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[.,.],[[[.,.],.],[[.,.],.]]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[.,.],[[.,[.,[.,.]]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[.,[[.,.],.]],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[[.,.],[.,.]],[.,.]]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 5
[[.,.],[[[.,[.,.]],.],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[[[.,.],.],.],[.,.]]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[.,[.,[.,[.,.]]]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[[.,[.,[[.,.],.]]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[[.,[[.,.],[.,.]]],.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[.,[[.,[.,.]],.]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[[.,[[[.,.],.],.]],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[[[.,.],[.,[.,.]]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[[.,.],[[.,.],.]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[[.,[.,.]],[.,.]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[[[.,.],.],[.,.]],.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[[.,[.,[.,.]]],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[[[.,[[.,.],.]],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[[[[.,.],[.,.]],.],.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,.],[[[[.,[.,.]],.],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,.],[[[[[.,.],.],.],.],.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,.]],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,.]],[.,[.,[[.,.],.]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,.]],[.,[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,.]],[.,[[.,[.,.]],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,.]],[.,[[[.,.],.],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,.]],[[.,.],[.,[.,.]]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,.]],[[.,.],[[.,.],.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,.]],[[.,[.,.]],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,.]],[[[.,.],.],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,.]],[[.,[.,[.,.]]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,.]],[[.,[[.,.],.]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,.]],[[[.,.],[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,.]],[[[.,[.,.]],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,.]],[[[[.,.],.],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],.],[.,[.,[.,[.,.]]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],.],[.,[.,[[.,.],.]]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],.],[.,[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],.],[.,[[.,[.,.]],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],.],[.,[[[.,.],.],.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],.],[[.,.],[.,[.,.]]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],.],[[.,.],[[.,.],.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],.],[[.,[.,.]],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],.],[[[.,.],.],[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],.],[[.,[.,[.,.]]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],.],[[.,[[.,.],.]],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],.],[[[.,.],[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],.],[[[.,[.,.]],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],.],[[[[.,.],.],.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,[.,.]]],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[[.,.],.]],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],[.,.]],[.,[.,[.,.]]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],[.,.]],[.,[[.,.],.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],[.,.]],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7) => ([(0,2),(0,3),(2,4),(3,4),(4,1)],5) => 7
[[[.,.],[.,.]],[[.,[.,.]],.]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],[.,.]],[[[.,.],.],.]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,[.,.]],.],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[[.,.],.],.],[[.,.],[.,.]]] => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[.,[.,[.,.]]]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,[.,[.,.]]]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,[[.,.],.]]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,[[.,.],.]]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[[.,.],[.,.]]],[.,[.,.]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[[.,.],[.,.]]],[[.,.],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,[[.,[.,.]],.]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[[.,[.,.]],.]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[[[.,.],.],.]],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[[[.,.],.],.]],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],[.,[.,.]]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],[.,[.,.]]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],[[.,.],.]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,.],[[.,.],.]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,[.,.]],[.,.]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,[.,.]],[.,.]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[[.,.],.],[.,.]],[.,[.,.]]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[[.,.],.],[.,.]],[[.,.],.]] => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[.,[.,[.,.]]],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,[.,[.,.]]],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,[[.,.],.]],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,[[.,.],.]],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[[.,.],[.,.]],.],[.,[.,.]]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[[.,.],[.,.]],.],[[.,.],.]] => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[[[.,[.,.]],.],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[[.,[.,.]],.],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[[[.,.],.],.],.],[.,[.,.]]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[[[.,.],.],.],.],[[.,.],.]] => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,[.,[.,[.,.]]]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[.,[[.,.],.]]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[[.,.],[.,.]]]],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[.,[[.,[.,.]],.]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[[[.,.],.],.]]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[.,.],[.,[.,.]]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[.,.],[[.,.],.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[.,[.,.]],[.,.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[[.,.],.],[.,.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[.,[.,[.,.]]],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[.,[[.,.],.]],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[[.,.],[.,.]],.]],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[[.,[.,.]],.],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[[[.,.],.],.],.]],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,.],[.,[.,[.,.]]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[.,[[.,.],.]]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[[.,.],[.,.]]],[.,.]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 5
[[[.,.],[[.,[.,.]],.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[[[.,.],.],.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,[.,.]],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[.,[.,.]],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[[.,.],.],[.,[.,.]]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[[.,.],.],[[.,.],.]],[.,.]] => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[.,[.,[.,.]]],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,[[.,.],.]],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,.],[.,.]],[.,.]],[.,.]] => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7) => ([(0,3),(2,1),(3,2)],4) => 5
[[[[.,[.,.]],.],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[[.,.],.],.],[.,.]],[.,.]] => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,[.,[.,[.,.]]]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[.,[[.,.],.]]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[[.,.],[.,.]]],.],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,[[.,[.,.]],.]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[[[.,.],.],.]],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,.],[.,[.,.]]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,.],[[.,.],.]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,[.,.]],[.,.]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[[.,.],.],[.,.]],.],[.,.]] => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,[.,[.,.]]],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,[[.,.],.]],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[.,.],[.,.]],.],.],[.,.]] => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[[.,[.,.]],.],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[[.,.],.],.],.],.],[.,.]] => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[.,[.,[.,[.,.]]]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[.,[.,[[.,.],.]]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[.,[[.,.],[.,.]]]]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[.,[[.,[.,.]],.]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[.,[[[.,.],.],.]]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[[.,.],[.,[.,.]]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[[.,.],[[.,.],.]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[[.,[.,.]],[.,.]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[[[.,.],.],[.,.]]]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[[.,[.,[.,.]]],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[[.,[[.,.],.]],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[[[.,.],[.,.]],.]]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[.,[[[.,[.,.]],.],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[[[[.,.],.],.],.]]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[.,.],[.,[.,[.,.]]]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[.,.],[.,[[.,.],.]]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[.,.],[[.,.],[.,.]]]],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[.,.],[[.,[.,.]],.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[.,.],[[[.,.],.],.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[.,[.,.]],[.,[.,.]]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[[.,[[.,[.,.]],[[.,.],.]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[[.,[[[.,.],.],[.,[.,.]]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[[.,[[[.,.],.],[[.,.],.]]],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[[.,[[.,[.,[.,.]]],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[.,[[.,.],.]],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[[.,.],[.,.]],[.,.]]],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[.,[[[.,[.,.]],.],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[[[.,.],.],.],[.,.]]],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[.,[.,[.,[.,.]]]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[.,[.,[[.,.],.]]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[.,[[.,.],[.,.]]],.]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[.,[[.,[.,.]],.]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[.,[[[.,.],.],.]],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[[.,.],[.,[.,.]]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[[.,.],[[.,.],.]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[[.,[.,.]],[.,.]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[[[.,.],.],[.,.]],.]],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[[.,[.,[.,.]]],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[[.,[[.,.],.]],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[[[.,.],[.,.]],.],.]],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[.,[[[[.,[.,.]],.],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[[[[.,.],.],.],.],.]],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,.],[.,[.,[.,[.,.]]]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,.],[.,[.,[[.,.],.]]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,.],[.,[[.,.],[.,.]]]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[.,[[.,[.,.]],.]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,.],[.,[[[.,.],.],.]]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,.],[[.,.],[.,[.,.]]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[[.,.],[[.,.],.]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[[.,[.,.]],[.,.]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[[[.,.],.],[.,.]]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[[.,[.,[.,.]]],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,.],[[.,[[.,.],.]],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,.],[[[.,.],[.,.]],.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,.],[[[.,[.,.]],.],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,.],[[[[.,.],.],.],.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[.,.]],[.,[.,[.,.]]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[.,[.,.]],[.,[[.,.],.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[.,[.,.]],[[.,.],[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[.,[.,.]],[[.,[.,.]],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[.,[.,.]],[[[.,.],.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[[.,.],.],[.,[.,[.,.]]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[[.,.],.],[.,[[.,.],.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[[.,.],.],[[.,.],[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[[.,.],.],[[.,[.,.]],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[[.,.],.],[[[.,.],.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[.,[.,[.,.]]],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[.,[.,[.,.]]],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[.,[[.,.],.]],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[.,[[.,.],.]],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[[.,.],[.,.]],[.,[.,.]]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[[.,.],[.,.]],[[.,.],.]],.] => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7) => ([(0,2),(0,3),(2,5),(3,5),(4,1),(5,4)],6) => 9
[[[[.,[.,.]],.],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[[.,[.,.]],.],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[[[.,.],.],.],[.,[.,.]]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[[[.,.],.],.],[[.,.],.]],.] => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7) => ([(0,3),(0,5),(1,7),(3,6),(4,2),(5,1),(5,6),(6,7),(7,4)],8) => 20
[[[.,[.,[.,[.,.]]]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[.,[[.,.],.]]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[[.,.],[.,.]]],[.,.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[.,[[.,[.,.]],.]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[[[.,.],.],.]],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,.],[.,[.,.]]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,.],[[.,.],.]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,[.,.]],[.,.]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[[.,.],.],[.,.]],[.,.]],.] => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,[.,[.,.]]],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,[[.,.],.]],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[.,.],[.,.]],.],[.,.]],.] => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[[.,[.,.]],.],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[[.,.],.],.],.],[.,.]],.] => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[.,[.,[.,[.,.]]]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[.,[.,[[.,.],.]]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[.,[[.,.],[.,.]]]],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[.,[[.,[.,.]],.]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[.,[[[.,.],.],.]]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[[.,.],[.,[.,.]]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[[.,.],[[.,.],.]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[[.,[.,.]],[.,.]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[[[.,.],.],[.,.]]],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[[.,[.,[.,.]]],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[[.,[[.,.],.]],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[[[.,.],[.,.]],.]],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[.,[[[.,[.,.]],.],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[[[[.,.],.],.],.]],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[.,.],[.,[.,[.,.]]]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,.],[.,[[.,.],.]]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,.],[[.,.],[.,.]]],.],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[.,.],[[.,[.,.]],.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,.],[[[.,.],.],.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,[.,.]],[.,[.,.]]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[[[[.,[.,.]],[[.,.],.]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[[[[[.,.],.],[.,[.,.]]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[[[[[.,.],.],[[.,.],.]],.],.] => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7) => ([(0,2),(0,3),(2,6),(3,6),(4,1),(5,4),(6,5)],7) => 11
[[[[.,[.,[.,.]]],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,[[.,.],.]],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[.,.],[.,.]],[.,.]],.],.] => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7) => ([(0,4),(2,3),(3,1),(4,2)],5) => 6
[[[[[.,[.,.]],.],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[[.,.],.],.],[.,.]],.],.] => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,[.,[.,[.,.]]]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[.,[.,[[.,.],.]]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[.,[[.,.],[.,.]]],.],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[.,[[.,[.,.]],.]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[.,[[[.,.],.],.]],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[[.,.],[.,[.,.]]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[.,.],[[.,.],.]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[.,[.,.]],[.,.]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[[.,.],.],[.,.]],.],.],.] => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[.,[.,[.,.]]],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[[.,[[.,.],.]],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[[[.,.],[.,.]],.],.],.],.] => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],7) => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6) => 7
[[[[[[.,[.,.]],.],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[[[[.,.],.],.],.],.],.],.] => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[.,[[[[.,.],.],.],.]]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[[.,[.,[[.,.],.]]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[[.,[[[.,.],.],.]],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[[[.,[[.,.],.]],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[[[[.,[.,.]],.],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[.,[[[[[.,.],.],.],.],.]]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[.,[.,[.,[[.,.],.]]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[.,[.,[[.,[.,.]],.]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[.,[.,[[[.,.],.],.]]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[.,[[.,[.,[.,.]]],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[.,[[.,[[.,.],.]],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[.,[[[.,[.,.]],.],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[.,[[[[.,.],.],.],.]],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[[.,[.,[[.,.],.]]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[[.,[[.,[.,.]],.]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[[.,[[[.,.],.],.]],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[[[.,[.,[.,.]]],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[[[.,[[.,.],.]],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[[[[.,[.,.]],.],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[.,[[[[[[.,.],.],.],.],.],.]]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[.,[.,[.,[[.,.],.]]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[.,[.,[[.,[.,.]],.]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[.,[.,[[[.,.],.],.]]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[.,[[.,[.,[.,.]]],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[.,[[.,[[.,.],.]],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[.,[[[.,[.,.]],.],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[.,[[[[.,.],.],.],.]]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[[.,[.,[.,[.,.]]]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[[.,[.,[[.,.],.]]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[[.,[[.,[.,.]],.]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[[.,[[[.,.],.],.]],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[[[.,[.,[.,.]]],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[[[.,[[.,.],.]],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[[[[.,[.,.]],.],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[.,[[[[[.,.],.],.],.],.]],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[.,[.,[.,[[.,.],.]]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[.,[.,[[.,[.,.]],.]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[.,[.,[[[.,.],.],.]]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[.,[[.,[.,[.,.]]],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[.,[[.,[[.,.],.]],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[.,[[[.,[.,.]],.],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[.,[[[[.,.],.],.],.]],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[[.,[.,[.,[.,.]]]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[[.,[.,[[.,.],.]]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[[.,[[.,[.,.]],.]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[[.,[[[.,.],.],.]],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[[[.,[.,[.,.]]],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[[[.,[[.,.],.]],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[[[[.,[.,.]],.],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[.,[[[[[[[.,.],.],.],.],.],.],.]] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[.,[.,[.,[.,[.,[.,.]]]]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[.,[.,[.,[[.,.],.]]]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[.,[.,[[.,[.,.]],.]]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[.,[.,[[[.,.],.],.]]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[.,[[.,[.,[.,.]]],.]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[.,[[.,[[.,.],.]],.]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[.,[[[.,[.,.]],.],.]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[.,[[[[.,.],.],.],.]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[[.,[.,[.,[.,.]]]],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[[.,[.,[[.,.],.]]],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[[.,[[.,[.,.]],.]],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[[.,[[[.,.],.],.]],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[[[.,[.,[.,.]]],.],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[[[.,[[.,.],.]],.],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[[[[.,[.,.]],.],.],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[.,[[[[[.,.],.],.],.],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[.,[.,[.,[.,[.,.]]]]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[.,[.,[.,[[.,.],.]]]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[.,[.,[[.,[.,.]],.]]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[.,[.,[[[.,.],.],.]]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[.,[[.,[.,[.,.]]],.]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[.,[[.,[[.,.],.]],.]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[.,[[[.,[.,.]],.],.]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[.,[[[[.,.],.],.],.]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[[.,[.,[.,[.,.]]]],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[[.,[.,[[.,.],.]]],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[[.,[[.,[.,.]],.]],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[[.,[[[.,.],.],.]],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[[[.,[.,[.,.]]],.],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[[[.,[[.,.],.]],.],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[[[[.,[.,.]],.],.],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,.],[[[[[[.,.],.],.],.],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,.],[.,.]],[.,[.,[.,[.,.]]]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],[.,.]],[.,[.,[[.,.],.]]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],[.,.]],[.,[[.,[.,.]],.]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],[.,.]],[.,[[[.,.],.],.]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],[.,.]],[[.,[.,[.,.]]],.]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],[.,.]],[[.,[[.,.],.]],.]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],[.,.]],[[[.,[.,.]],.],.]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,.],[.,.]],[[[[.,.],.],.],.]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,[.,[.,.]]]],[[.,.],[.,.]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,[[.,.],.]]],[[.,.],[.,.]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[[.,[.,.]],.]],[[.,.],[.,.]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[[[.,.],.],.]],[[.,.],[.,.]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,[.,[.,.]]],.],[[.,.],[.,.]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[.,[[.,.],.]],.],[[.,.],[.,.]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[[.,[.,.]],.],.],[[.,.],[.,.]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[[[[.,.],.],.],.],[[.,.],[.,.]]] => ([(0,3),(1,6),(2,6),(3,5),(4,7),(5,4),(6,7)],8) => ([(0,3),(0,5),(2,8),(3,6),(4,2),(4,7),(5,4),(5,6),(6,7),(7,8),(8,1)],9) => 40
[[.,[.,[.,[.,[.,[.,.]]]]]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[.,[.,[[.,.],.]]]]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[.,[[.,[.,.]],.]]]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[.,[[[.,.],.],.]]]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[[.,[.,[.,.]]],.]]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[[.,[[.,.],.]],.]]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[[[.,[.,.]],.],.]]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[[[[.,.],.],.],.]]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[.,[.,[.,[.,.]]]],.]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[.,[.,[[.,.],.]]],.]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[.,[[.,[.,.]],.]],.]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[.,[[[.,.],.],.]],.]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[[.,[.,[.,.]]],.],.]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[[.,[[.,.],.]],.],.]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[[[.,[.,.]],.],.],.]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[[[[[.,.],.],.],.],.]],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[.,[.,[.,[.,.]]]]],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[.,[.,[[.,.],.]]]],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[.,[[.,[.,.]],.]]],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[.,[[[.,.],.],.]]],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[[.,[.,[.,.]]],.]],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[[.,[[.,.],.]],.]],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[[[.,[.,.]],.],.]],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[.,[[[[.,.],.],.],.]],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[.,[.,[.,[.,.]]]],.],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[.,[.,[[.,.],.]]],.],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[.,[[.,[.,.]],.]],.],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[.,[[[.,.],.],.]],.],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[[.,[.,[.,.]]],.],.],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[[.,[[.,.],.]],.],.],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[[[.,[.,.]],.],.],.],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[[[[[[.,.],.],.],.],.],.],[.,.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8) => ([(0,6),(2,3),(3,5),(4,2),(5,1),(6,4)],7) => 8
[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[.,[.,[.,[[.,.],.]]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[.,[.,[[.,[.,.]],.]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[.,[.,[[[.,.],.],.]]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[.,[[.,[.,[.,.]]],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[.,[[.,[[.,.],.]],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[.,[[[.,[.,.]],.],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[.,[[[[.,.],.],.],.]]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[[.,[.,[.,[.,.]]]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[[.,[.,[[.,.],.]]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[[.,[[.,[.,.]],.]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[[.,[[[.,.],.],.]],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[[[.,[.,[.,.]]],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[[[.,[[.,.],.]],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[[[[.,[.,.]],.],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[[[[[.,.],.],.],.],.]]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[.,[.,[.,[.,[.,.]]]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[.,[.,[.,[[.,.],.]]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[.,[.,[[.,[.,.]],.]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[.,[.,[[[.,.],.],.]]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[.,[[.,[.,[.,.]]],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[.,[[.,[[.,.],.]],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[.,[[[.,[.,.]],.],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[.,[[[[.,.],.],.],.]],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[[.,[.,[.,[.,.]]]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[[.,[.,[[.,.],.]]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[[.,[[.,[.,.]],.]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[[.,[[[.,.],.],.]],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[[[.,[.,[.,.]]],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[[[.,[[.,.],.]],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[[[[.,[.,.]],.],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[[[[[.,.],.],.],.],.],.]],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[.,[.,[.,[.,[.,.]]]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[.,[.,[.,[[.,.],.]]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[.,[.,[[.,[.,.]],.]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[.,[.,[[[.,.],.],.]]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[.,[[.,[.,[.,.]]],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[.,[[.,[[.,.],.]],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[.,[[[.,[.,.]],.],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[.,[[[[.,.],.],.],.]]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[[.,[.,[.,[.,.]]]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[[.,[.,[[.,.],.]]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[[.,[[.,[.,.]],.]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[[.,[[[.,.],.],.]],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[[[.,[.,[.,.]]],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[[[.,[[.,.],.]],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[[[[.,[.,.]],.],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[[[[[.,.],.],.],.],.]],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[.,[.,[.,[.,[.,.]]]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[.,[.,[.,[[.,.],.]]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[.,[.,[[.,[.,.]],.]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[.,[.,[[[.,.],.],.]]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[.,[[.,[.,[.,.]]],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[.,[[.,[[.,.],.]],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[.,[[[.,[.,.]],.],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[.,[[[[.,.],.],.],.]],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[.,[.,[.,[.,.]]]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[.,[.,[[.,.],.]]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[.,[[.,[.,.]],.]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[.,[[[.,.],.],.]],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[[.,[.,[.,.]]],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[[.,[[.,.],.]],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[[[.,[.,.]],.],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[[[[.,.],.],.],.],.],.],.],.] => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[[[[[[[.,.],.],.],.],.],.],.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[[[[.,.],.],.],.],.],.],.],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[[[.,[.,.]],.],.],.],.],.],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[[.,[[.,.],.]],.],.],.],.],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[[[[[[.,[.,.]],.],.],.],.],.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[.,[.,[.,[.,[.,[.,[.,.]]]]]]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[.,[.,[.,[.,[.,[[.,.],.]]]]]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[.,[.,[.,[.,[[.,[.,.]],.]]]]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[.,[.,[.,[.,[.,.]]]]]]],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[.,[.,[.,[[.,.],.]]]]]],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[.,[[[[.,.],.],.],.]],.],.],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[.,.],[.,.]],[.,.]],[[.,.],[.,.]]] => ([(0,7),(1,5),(2,5),(3,6),(4,6),(5,8),(6,7),(7,8)],9) => ([(0,3),(0,4),(2,6),(3,5),(4,2),(4,5),(5,6),(6,1)],7) => 15
[[.,.],[.,[.,[.,[.,[[[.,.],.],.]]]]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[.,[.,[.,[[[[.,.],.],.],.]]]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[.,[.,[[[[[.,.],.],.],.],.]]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[.,[[[[[[.,.],.],.],.],.],.]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[[[[.,[.,[.,[.,.]]]],.],.],.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[.,[.,[.,[.,[.,.]]]]]],.],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[[[.,[.,[.,[.,.]]]],.],.],.],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[[.,[.,[.,[.,[.,[.,.]]]]]],.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[[[.,[.,[.,[.,[.,.]]]]],.],.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[[[[[.,.],.],.],.],.],.]],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[[.,[[[[[.,.],.],.],.],.]],.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[.,[[[[[.,.],.],.],.],.]]],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[[.,[[[[[.,.],.],.],.],.]],.],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[.,[.,[.,[[[.,[.,.]],.],.]]]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[.,[.,[[[[.,[.,.]],.],.],.]]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,.],[.,[[[[[.,[.,.]],.],.],.],.]]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
[[.,[[.,[.,[.,[.,[.,.]]]]],.]],[.,.]] => ([(0,8),(1,7),(2,8),(3,4),(4,6),(5,3),(6,2),(7,5)],9) => ([(0,7),(2,4),(3,2),(4,6),(5,3),(6,1),(7,5)],8) => 9
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
Generating function
click to show known generating functions
Search the OEIS for these generating functions
Search the Online Encyclopedia of Integer
Sequences for the coefficients of a few of the
first generating functions, in the case at hand:
1,4 6,8 2,20,16,4 16,56,36,0,8,0,0,0,0,0,16
$F_{1} = q^{2}$
$F_{2} = 2\ q^{3}$
$F_{3} = q^{3} + 4\ q^{4}$
$F_{4} = 6\ q^{4} + 8\ q^{5}$
$F_{5} = 2\ q^{4} + 20\ q^{5} + 16\ q^{6} + 4\ q^{7}$
$F_{6} = 16\ q^{5} + 56\ q^{6} + 36\ q^{7} + 8\ q^{9} + 16\ q^{15}$
Description
The number of non-isomorphic subposets of a lattice which are lattices.
Map
maximal antichains
Description
The lattice of maximal antichains in a poset.
An antichain $A$ in a poset is maximal if there is no antichain of larger cardinality which contains all elements of $A$.
The set of maximal antichains can be ordered by setting $A \leq B \Leftrightarrow \mathop{\downarrow} A \subseteq \mathop{\downarrow}B$, where $\mathop{\downarrow}A$ is the order ideal generated by $A$.
An antichain $A$ in a poset is maximal if there is no antichain of larger cardinality which contains all elements of $A$.
The set of maximal antichains can be ordered by setting $A \leq B \Leftrightarrow \mathop{\downarrow} A \subseteq \mathop{\downarrow}B$, where $\mathop{\downarrow}A$ is the order ideal generated by $A$.
Map
to poset
Description
Return the poset obtained by interpreting the tree as a Hasse diagram.
searching the database
Sorry, this statistic was not found in the database
or
add this statistic to the database – it's very simple and we need your support!