************************************************************************
*    www.FindStat.org - The Combinatorial Statistic Finder             *
*                                                                      *
*    Copyright (C) 2013 The FindStatCrew <info@findstat.org>           *
*                                                                      *
*    This information is distributed in the hope that it will be       *
*    useful, but WITHOUT ANY WARRANTY; without even the implied        *
*    warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  *
************************************************************************

------------------------------------------------------------------------
Map identifier: Mp00013

------------------------------------------------------------------------
Map name: to poset

------------------------------------------------------------------------
Domain: Binary trees

------------------------------------------------------------------------
Codomain: Posets

------------------------------------------------------------------------
Description: Return the poset obtained by interpreting the tree as a Hasse diagram.

------------------------------------------------------------------------
References: 

------------------------------------------------------------------------
Code:

def mapping(elt):
    return elt.to_poset(with_leaves=False, root_to_leaf=False)

------------------------------------------------------------------------
Map images:

[.,.]                             => ([],1)
[.,[.,.]]                         => ([(0,1)],2)
[[.,.],.]                         => ([(0,1)],2)
[.,[.,[.,.]]]                     => ([(0,2),(2,1)],3)
[.,[[.,.],.]]                     => ([(0,2),(2,1)],3)
[[.,.],[.,.]]                     => ([(0,2),(1,2)],3)
[[.,[.,.]],.]                     => ([(0,2),(2,1)],3)
[[[.,.],.],.]                     => ([(0,2),(2,1)],3)
[.,[.,[.,[.,.]]]]                 => ([(0,3),(2,1),(3,2)],4)
[.,[.,[[.,.],.]]]                 => ([(0,3),(2,1),(3,2)],4)
[.,[[.,.],[.,.]]]                 => ([(0,3),(1,3),(3,2)],4)
[.,[[.,[.,.]],.]]                 => ([(0,3),(2,1),(3,2)],4)
[.,[[[.,.],.],.]]                 => ([(0,3),(2,1),(3,2)],4)
[[.,.],[.,[.,.]]]                 => ([(0,3),(1,2),(2,3)],4)
[[.,.],[[.,.],.]]                 => ([(0,3),(1,2),(2,3)],4)
[[.,[.,.]],[.,.]]                 => ([(0,3),(1,2),(2,3)],4)
[[[.,.],.],[.,.]]                 => ([(0,3),(1,2),(2,3)],4)
[[.,[.,[.,.]]],.]                 => ([(0,3),(2,1),(3,2)],4)
[[.,[[.,.],.]],.]                 => ([(0,3),(2,1),(3,2)],4)
[[[.,.],[.,.]],.]                 => ([(0,3),(1,3),(3,2)],4)
[[[.,[.,.]],.],.]                 => ([(0,3),(2,1),(3,2)],4)
[[[[.,.],.],.],.]                 => ([(0,3),(2,1),(3,2)],4)
[.,[.,[.,[.,[.,.]]]]]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[.,[[.,.],.]]]]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[.,.],[.,.]]]]             => ([(0,4),(1,4),(2,3),(4,2)],5)
[.,[.,[[.,[.,.]],.]]]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[[[.,.],.],.]]]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,.],[.,[.,.]]]]             => ([(0,4),(1,2),(2,4),(4,3)],5)
[.,[[.,.],[[.,.],.]]]             => ([(0,4),(1,2),(2,4),(4,3)],5)
[.,[[.,[.,.]],[.,.]]]             => ([(0,4),(1,2),(2,4),(4,3)],5)
[.,[[[.,.],.],[.,.]]]             => ([(0,4),(1,2),(2,4),(4,3)],5)
[.,[[.,[.,[.,.]]],.]]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[.,[[.,.],.]],.]]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[.,.],[.,.]],.]]             => ([(0,4),(1,4),(2,3),(4,2)],5)
[.,[[[.,[.,.]],.],.]]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[.,[[[[.,.],.],.],.]]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[[.,.],[.,[.,[.,.]]]]             => ([(0,4),(1,2),(2,3),(3,4)],5)
[[.,.],[.,[[.,.],.]]]             => ([(0,4),(1,2),(2,3),(3,4)],5)
[[.,.],[[.,.],[.,.]]]             => ([(0,4),(1,3),(2,3),(3,4)],5)
[[.,.],[[.,[.,.]],.]]             => ([(0,4),(1,2),(2,3),(3,4)],5)
[[.,.],[[[.,.],.],.]]             => ([(0,4),(1,2),(2,3),(3,4)],5)
[[.,[.,.]],[.,[.,.]]]             => ([(0,3),(1,2),(2,4),(3,4)],5)
[[.,[.,.]],[[.,.],.]]             => ([(0,3),(1,2),(2,4),(3,4)],5)
[[[.,.],.],[.,[.,.]]]             => ([(0,3),(1,2),(2,4),(3,4)],5)
[[[.,.],.],[[.,.],.]]             => ([(0,3),(1,2),(2,4),(3,4)],5)
[[.,[.,[.,.]]],[.,.]]             => ([(0,4),(1,2),(2,3),(3,4)],5)
[[.,[[.,.],.]],[.,.]]             => ([(0,4),(1,2),(2,3),(3,4)],5)
[[[.,.],[.,.]],[.,.]]             => ([(0,4),(1,3),(2,3),(3,4)],5)
[[[.,[.,.]],.],[.,.]]             => ([(0,4),(1,2),(2,3),(3,4)],5)
[[[[.,.],.],.],[.,.]]             => ([(0,4),(1,2),(2,3),(3,4)],5)
[[.,[.,[.,[.,.]]]],.]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[.,[[.,.],.]]],.]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[.,.],[.,.]]],.]             => ([(0,4),(1,4),(2,3),(4,2)],5)
[[.,[[.,[.,.]],.]],.]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[[.,[[[.,.],.],.]],.]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,.],[.,[.,.]]],.]             => ([(0,4),(1,2),(2,4),(4,3)],5)
[[[.,.],[[.,.],.]],.]             => ([(0,4),(1,2),(2,4),(4,3)],5)
[[[.,[.,.]],[.,.]],.]             => ([(0,4),(1,2),(2,4),(4,3)],5)
[[[[.,.],.],[.,.]],.]             => ([(0,4),(1,2),(2,4),(4,3)],5)
[[[.,[.,[.,.]]],.],.]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[[[.,[[.,.],.]],.],.]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[[[[.,.],[.,.]],.],.]             => ([(0,4),(1,4),(2,3),(4,2)],5)
[[[[.,[.,.]],.],.],.]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[[[[[.,.],.],.],.],.]             => ([(0,4),(2,3),(3,1),(4,2)],5)
[.,[.,[.,[.,[.,[.,.]]]]]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[.,[[.,.],.]]]]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[.,.],[.,.]]]]]         => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
[.,[.,[.,[[.,[.,.]],.]]]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[[[.,.],.],.]]]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,.],[.,[.,.]]]]]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[.,[.,[[.,.],[[.,.],.]]]]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[.,[.,[[.,[.,.]],[.,.]]]]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[.,[.,[[[.,.],.],[.,.]]]]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[.,[.,[[.,[.,[.,.]]],.]]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[.,[[.,.],.]],.]]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[.,.],[.,.]],.]]]         => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
[.,[.,[[[.,[.,.]],.],.]]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[[[[.,.],.],.],.]]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,.],[.,[.,[.,.]]]]]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[.,[[.,.],[.,[[.,.],.]]]]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[.,[[.,.],[[.,.],[.,.]]]]         => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
[.,[[.,.],[[.,[.,.]],.]]]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[.,[[.,.],[[[.,.],.],.]]]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[.,[[.,[.,.]],[.,[.,.]]]]         => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
[.,[[.,[.,.]],[[.,.],.]]]         => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
[.,[[[.,.],.],[.,[.,.]]]]         => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
[.,[[[.,.],.],[[.,.],.]]]         => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
[.,[[.,[.,[.,.]]],[.,.]]]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[.,[[.,[[.,.],.]],[.,.]]]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[.,[[[.,.],[.,.]],[.,.]]]         => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
[.,[[[.,[.,.]],.],[.,.]]]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[.,[[[[.,.],.],.],[.,.]]]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[.,[[.,[.,[.,[.,.]]]],.]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[.,[[.,.],.]]],.]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[.,.],[.,.]]],.]]         => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
[.,[[.,[[.,[.,.]],.]],.]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[.,[[[.,.],.],.]],.]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,.],[.,[.,.]]],.]]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[.,[[[.,.],[[.,.],.]],.]]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[.,[[[.,[.,.]],[.,.]],.]]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[.,[[[[.,.],.],[.,.]],.]]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[.,[[[.,[.,[.,.]]],.],.]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[.,[[.,.],.]],.],.]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[.,.],[.,.]],.],.]]         => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
[.,[[[[.,[.,.]],.],.],.]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[[[[[.,.],.],.],.],.]]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,.],[.,[.,[.,[.,.]]]]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,.],[.,[.,[[.,.],.]]]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,.],[.,[[.,.],[.,.]]]]         => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
[[.,.],[.,[[.,[.,.]],.]]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,.],[.,[[[.,.],.],.]]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,.],[[.,.],[.,[.,.]]]]         => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
[[.,.],[[.,.],[[.,.],.]]]         => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
[[.,.],[[.,[.,.]],[.,.]]]         => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
[[.,.],[[[.,.],.],[.,.]]]         => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
[[.,.],[[.,[.,[.,.]]],.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,.],[[.,[[.,.],.]],.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,.],[[[.,.],[.,.]],.]]         => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
[[.,.],[[[.,[.,.]],.],.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,.],[[[[.,.],.],.],.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,[.,.]],[.,[.,[.,.]]]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[.,[.,.]],[.,[[.,.],.]]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[.,[.,.]],[[.,.],[.,.]]]         => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
[[.,[.,.]],[[.,[.,.]],.]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[.,[.,.]],[[[.,.],.],.]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[[.,.],.],[.,[.,[.,.]]]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[[.,.],.],[.,[[.,.],.]]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[[.,.],.],[[.,.],[.,.]]]         => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,.],.],[[.,[.,.]],.]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[[.,.],.],[[[.,.],.],.]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[.,[.,[.,.]]],[.,[.,.]]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[.,[.,[.,.]]],[[.,.],.]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[.,[[.,.],.]],[.,[.,.]]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[.,[[.,.],.]],[[.,.],.]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[[.,.],[.,.]],[.,[.,.]]]         => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,.],[.,.]],[[.,.],.]]         => ([(0,4),(1,4),(2,3),(3,5),(4,5)],6)
[[[.,[.,.]],.],[.,[.,.]]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[[.,[.,.]],.],[[.,.],.]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[[[.,.],.],.],[.,[.,.]]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[[[.,.],.],.],[[.,.],.]]         => ([(0,3),(1,4),(2,5),(3,5),(4,2)],6)
[[.,[.,[.,[.,.]]]],[.,.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,[.,[[.,.],.]]],[.,.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,[[.,.],[.,.]]],[.,.]]         => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
[[.,[[.,[.,.]],.]],[.,.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,[[[.,.],.],.]],[.,.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[[.,.],[.,[.,.]]],[.,.]]         => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
[[[.,.],[[.,.],.]],[.,.]]         => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
[[[.,[.,.]],[.,.]],[.,.]]         => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
[[[[.,.],.],[.,.]],[.,.]]         => ([(0,5),(1,4),(2,3),(3,5),(5,4)],6)
[[[.,[.,[.,.]]],.],[.,.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[[.,[[.,.],.]],.],[.,.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[[[.,.],[.,.]],.],[.,.]]         => ([(0,5),(1,4),(2,4),(3,5),(4,3)],6)
[[[[.,[.,.]],.],.],[.,.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[[[[.,.],.],.],.],[.,.]]         => ([(0,5),(1,4),(2,5),(3,2),(4,3)],6)
[[.,[.,[.,[.,[.,.]]]]],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[.,[[.,.],.]]]],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[.,.],[.,.]]]],.]         => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
[[.,[.,[[.,[.,.]],.]]],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[.,[[[.,.],.],.]]],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,.],[.,[.,.]]]],.]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[[.,[[.,.],[[.,.],.]]],.]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[[.,[[.,[.,.]],[.,.]]],.]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[[.,[[[.,.],.],[.,.]]],.]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[[.,[[.,[.,[.,.]]],.]],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[.,[[.,.],.]],.]],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[.,.],[.,.]],.]],.]         => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
[[.,[[[.,[.,.]],.],.]],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[.,[[[[.,.],.],.],.]],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,.],[.,[.,[.,.]]]],.]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[[[.,.],[.,[[.,.],.]]],.]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[[[.,.],[[.,.],[.,.]]],.]         => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
[[[.,.],[[.,[.,.]],.]],.]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[[[.,.],[[[.,.],.],.]],.]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[[[.,[.,.]],[.,[.,.]]],.]         => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
[[[.,[.,.]],[[.,.],.]],.]         => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
[[[[.,.],.],[.,[.,.]]],.]         => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
[[[[.,.],.],[[.,.],.]],.]         => ([(0,4),(1,3),(3,5),(4,5),(5,2)],6)
[[[.,[.,[.,.]]],[.,.]],.]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[[[.,[[.,.],.]],[.,.]],.]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[[[[.,.],[.,.]],[.,.]],.]         => ([(0,5),(1,4),(2,4),(4,5),(5,3)],6)
[[[[.,[.,.]],.],[.,.]],.]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[[[[[.,.],.],.],[.,.]],.]         => ([(0,5),(1,4),(2,5),(4,2),(5,3)],6)
[[[.,[.,[.,[.,.]]]],.],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[.,[[.,.],.]]],.],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[.,.],[.,.]]],.],.]         => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
[[[.,[[.,[.,.]],.]],.],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[.,[[[.,.],.],.]],.],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,.],[.,[.,.]]],.],.]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[[[[.,.],[[.,.],.]],.],.]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[[[[.,[.,.]],[.,.]],.],.]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[[[[[.,.],.],[.,.]],.],.]         => ([(0,5),(1,3),(3,5),(4,2),(5,4)],6)
[[[[.,[.,[.,.]]],.],.],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[.,[[.,.],.]],.],.],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[.,.],[.,.]],.],.],.]         => ([(0,5),(1,5),(3,2),(4,3),(5,4)],6)
[[[[[.,[.,.]],.],.],.],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[[[[[[.,.],.],.],.],.],.]         => ([(0,5),(2,4),(3,2),(4,1),(5,3)],6)
[.,[.,[.,[.,[.,[.,[.,.]]]]]]]     => ([(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)
[.,[.,[.,[.,[[.,.],[.,.]]]]]]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[.,[.,[.,[[.,.],[.,[.,.]]]]]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[.,[.,[[.,.],[[.,.],.]]]]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[.,[.,[[.,[.,.]],[.,.]]]]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[.,[.,[[[.,.],.],[.,.]]]]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],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)
[.,[.,[.,[[[.,.],[.,.]],.]]]]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[.,[.,[[.,.],[.,[.,[.,.]]]]]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[.,[[.,.],[.,[[.,.],.]]]]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[.,[[.,.],[[.,.],[.,.]]]]]     => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
[.,[.,[[.,.],[[.,[.,.]],.]]]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[.,[[.,.],[[[.,.],.],.]]]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[.,[[.,[.,.]],[.,[.,.]]]]]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[.,[.,[[.,[.,.]],[[.,.],.]]]]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[.,[.,[[[.,.],.],[.,[.,.]]]]]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[.,[.,[[[.,.],.],[[.,.],.]]]]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[.,[.,[[.,[.,[.,.]]],[.,.]]]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[.,[[.,[[.,.],.]],[.,.]]]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[.,[[[.,.],[.,.]],[.,.]]]]     => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
[.,[.,[[[.,[.,.]],.],[.,.]]]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[.,[[[[.,.],.],.],[.,.]]]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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)
[.,[.,[[.,[[.,.],[.,.]]],.]]]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[.,[.,[[[.,.],[.,[.,.]]],.]]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[.,[[[.,.],[[.,.],.]],.]]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[.,[[[.,[.,.]],[.,.]],.]]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[.,[[[[.,.],.],[.,.]],.]]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],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)
[.,[.,[[[[.,.],[.,.]],.],.]]]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[.,[[.,.],[.,[.,[.,[.,.]]]]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[.,.],[.,[.,[[.,.],.]]]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[.,.],[.,[[.,.],[.,.]]]]]     => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
[.,[[.,.],[.,[[.,[.,.]],.]]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[.,.],[.,[[[.,.],.],.]]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[.,.],[[.,.],[.,[.,.]]]]]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[.,[[.,.],[[.,.],[[.,.],.]]]]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[.,[[.,.],[[.,[.,.]],[.,.]]]]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[.,[[.,.],[[[.,.],.],[.,.]]]]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[.,[[.,.],[[.,[.,[.,.]]],.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[.,.],[[.,[[.,.],.]],.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[.,.],[[[.,.],[.,.]],.]]]     => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
[.,[[.,.],[[[.,[.,.]],.],.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[.,.],[[[[.,.],.],.],.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[.,[.,.]],[.,[.,[.,.]]]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[.,[.,.]],[.,[[.,.],.]]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[.,[.,.]],[[.,.],[.,.]]]]     => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)
[.,[[.,[.,.]],[[.,[.,.]],.]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[.,[.,.]],[[[.,.],.],.]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[[.,.],.],[.,[.,[.,.]]]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[[.,.],.],[.,[[.,.],.]]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[[.,.],.],[[.,.],[.,.]]]]     => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)
[.,[[[.,.],.],[[.,[.,.]],.]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[[.,.],.],[[[.,.],.],.]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[.,[.,[.,.]]],[.,[.,.]]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[.,[.,[.,.]]],[[.,.],.]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[.,[[.,.],.]],[.,[.,.]]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[.,[[.,.],.]],[[.,.],.]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[[.,.],[.,.]],[.,[.,.]]]]     => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)
[.,[[[.,.],[.,.]],[[.,.],.]]]     => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)
[.,[[[.,[.,.]],.],[.,[.,.]]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[[.,[.,.]],.],[[.,.],.]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[[[.,.],.],.],[.,[.,.]]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[[[.,.],.],.],[[.,.],.]]]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[.,[[.,[.,[.,[.,.]]]],[.,.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[.,[.,[[.,.],.]]],[.,.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[.,[[.,.],[.,.]]],[.,.]]]     => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
[.,[[.,[[.,[.,.]],.]],[.,.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[.,[[[.,.],.],.]],[.,.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[[.,.],[.,[.,.]]],[.,.]]]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[.,[[[.,.],[[.,.],.]],[.,.]]]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[.,[[[.,[.,.]],[.,.]],[.,.]]]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[.,[[[[.,.],.],[.,.]],[.,.]]]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[.,[[[.,[.,[.,.]]],.],[.,.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[[.,[[.,.],.]],.],[.,.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[[[.,.],[.,.]],.],[.,.]]]     => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
[.,[[[[.,[.,.]],.],.],[.,.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[.,[[[[[.,.],.],.],.],[.,.]]]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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)
[.,[[.,[.,[[.,.],[.,.]]]],.]]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[.,[[.,[[.,.],[.,[.,.]]]],.]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[[.,[[.,.],[[.,.],.]]],.]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[[.,[[.,[.,.]],[.,.]]],.]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[[.,[[[.,.],.],[.,.]]],.]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],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)
[.,[[.,[[[.,.],[.,.]],.]],.]]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[.,[[[.,.],[.,[.,[.,.]]]],.]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[[[.,.],[.,[[.,.],.]]],.]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[[[.,.],[[.,.],[.,.]]],.]]     => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
[.,[[[.,.],[[.,[.,.]],.]],.]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[[[.,.],[[[.,.],.],.]],.]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[[[.,[.,.]],[.,[.,.]]],.]]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[.,[[[.,[.,.]],[[.,.],.]],.]]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[.,[[[[.,.],.],[.,[.,.]]],.]]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[.,[[[[.,.],.],[[.,.],.]],.]]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[.,[[[.,[.,[.,.]]],[.,.]],.]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[[[.,[[.,.],.]],[.,.]],.]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[[[[.,.],[.,.]],[.,.]],.]]     => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
[.,[[[[.,[.,.]],.],[.,.]],.]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[.,[[[[[.,.],.],.],[.,.]],.]]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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)
[.,[[[.,[[.,.],[.,.]]],.],.]]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[.,[[[[.,.],[.,[.,.]]],.],.]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[[[[.,.],[[.,.],.]],.],.]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[[[[.,[.,.]],[.,.]],.],.]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[.,[[[[[.,.],.],[.,.]],.],.]]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],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)
[.,[[[[[.,.],[.,.]],.],.],.]]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[[.,.],[.,[.,[.,[.,[.,.]]]]]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[.,[.,[.,[[.,.],.]]]]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[.,[.,[[.,.],[.,.]]]]]     => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
[[.,.],[.,[.,[[.,[.,.]],.]]]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[.,[.,[[[.,.],.],.]]]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[.,[[.,.],[.,[.,.]]]]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,.],[.,[[.,.],[[.,.],.]]]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,.],[.,[[.,[.,.]],[.,.]]]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,.],[.,[[[.,.],.],[.,.]]]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,.],[.,[[.,[.,[.,.]]],.]]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[.,[[.,[[.,.],.]],.]]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[.,[[[.,.],[.,.]],.]]]     => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
[[.,.],[.,[[[.,[.,.]],.],.]]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[.,[[[[.,.],.],.],.]]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[[.,.],[.,[.,[.,.]]]]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[.,.],[[.,.],[.,[[.,.],.]]]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[.,.],[[.,.],[[.,.],[.,.]]]]     => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
[[.,.],[[.,.],[[.,[.,.]],.]]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[.,.],[[.,.],[[[.,.],.],.]]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[.,.],[[.,[.,.]],[.,[.,.]]]]     => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)
[[.,.],[[.,[.,.]],[[.,.],.]]]     => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)
[[.,.],[[[.,.],.],[.,[.,.]]]]     => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)
[[.,.],[[[.,.],.],[[.,.],.]]]     => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)
[[.,.],[[.,[.,[.,.]]],[.,.]]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[.,.],[[.,[[.,.],.]],[.,.]]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[.,.],[[[.,.],[.,.]],[.,.]]]     => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
[[.,.],[[[.,[.,.]],.],[.,.]]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[.,.],[[[[.,.],.],.],[.,.]]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[.,.],[[.,[.,[.,[.,.]]]],.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[[.,[.,[[.,.],.]]],.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[[.,[[.,.],[.,.]]],.]]     => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
[[.,.],[[.,[[.,[.,.]],.]],.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[[.,[[[.,.],.],.]],.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[[[.,.],[.,[.,.]]],.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,.],[[[.,.],[[.,.],.]],.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,.],[[[.,[.,.]],[.,.]],.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,.],[[[[.,.],.],[.,.]],.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,.],[[[.,[.,[.,.]]],.],.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[[[.,[[.,.],.]],.],.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[[[[.,.],[.,.]],.],.]]     => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
[[.,.],[[[[.,[.,.]],.],.],.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,.],[[[[[.,.],.],.],.],.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,[.,.]],[.,[.,[.,[.,.]]]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,.]],[.,[.,[[.,.],.]]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,.]],[.,[[.,.],[.,.]]]]     => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)
[[.,[.,.]],[.,[[.,[.,.]],.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,.]],[.,[[[.,.],.],.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,.]],[[.,.],[.,[.,.]]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[.,[.,.]],[[.,.],[[.,.],.]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[.,[.,.]],[[.,[.,.]],[.,.]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[.,[.,.]],[[[.,.],.],[.,.]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[.,[.,.]],[[.,[.,[.,.]]],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,.]],[[.,[[.,.],.]],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,.]],[[[.,.],[.,.]],.]]     => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)
[[.,[.,.]],[[[.,[.,.]],.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,.]],[[[[.,.],.],.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,.],.],[.,[.,[.,[.,.]]]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,.],.],[.,[.,[[.,.],.]]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,.],.],[.,[[.,.],[.,.]]]]     => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)
[[[.,.],.],[.,[[.,[.,.]],.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,.],.],[.,[[[.,.],.],.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,.],.],[[.,.],[.,[.,.]]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[.,.],.],[[.,.],[[.,.],.]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[.,.],.],[[.,[.,.]],[.,.]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[.,.],.],[[[.,.],.],[.,.]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[.,.],.],[[.,[.,[.,.]]],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,.],.],[[.,[[.,.],.]],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,.],.],[[[.,.],[.,.]],.]]     => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)
[[[.,.],.],[[[.,[.,.]],.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,.],.],[[[[.,.],.],.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,[.,.]]],[.,[.,[.,.]]]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[.,[.,[.,.]]],[.,[[.,.],.]]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[.,[.,[.,.]]],[[.,.],[.,.]]]     => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)
[[.,[.,[.,.]]],[[.,[.,.]],.]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[.,[.,[.,.]]],[[[.,.],.],.]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[.,[[.,.],.]],[.,[.,[.,.]]]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[.,[[.,.],.]],[.,[[.,.],.]]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[.,[[.,.],.]],[[.,.],[.,.]]]     => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)
[[.,[[.,.],.]],[[.,[.,.]],.]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[.,[[.,.],.]],[[[.,.],.],.]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[[.,.],[.,.]],[.,[.,[.,.]]]]     => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)
[[[.,.],[.,.]],[.,[[.,.],.]]]     => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)
[[[.,.],[.,.]],[[.,.],[.,.]]]     => ([(0,5),(1,5),(2,4),(3,4),(4,6),(5,6)],7)
[[[.,.],[.,.]],[[.,[.,.]],.]]     => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)
[[[.,.],[.,.]],[[[.,.],.],.]]     => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)
[[[.,[.,.]],.],[.,[.,[.,.]]]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[[.,[.,.]],.],[.,[[.,.],.]]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[[.,[.,.]],.],[[.,.],[.,.]]]     => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)
[[[.,[.,.]],.],[[.,[.,.]],.]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[[.,[.,.]],.],[[[.,.],.],.]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[[[.,.],.],.],[.,[.,[.,.]]]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[[[.,.],.],.],[.,[[.,.],.]]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[[[.,.],.],.],[[.,.],[.,.]]]     => ([(0,5),(1,5),(2,3),(3,4),(4,6),(5,6)],7)
[[[[.,.],.],.],[[.,[.,.]],.]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[[[.,.],.],.],[[[.,.],.],.]]     => ([(0,5),(1,4),(2,6),(3,6),(4,2),(5,3)],7)
[[.,[.,[.,[.,.]]]],[.,[.,.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,[.,[.,.]]]],[[.,.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,[[.,.],.]]],[.,[.,.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,[[.,.],.]]],[[.,.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[[.,.],[.,.]]],[.,[.,.]]]     => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)
[[.,[[.,.],[.,.]]],[[.,.],.]]     => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)
[[.,[[.,[.,.]],.]],[.,[.,.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[[.,[.,.]],.]],[[.,.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[[[.,.],.],.]],[.,[.,.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[[[.,.],.],.]],[[.,.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,.],[.,[.,.]]],[.,[.,.]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[.,.],[.,[.,.]]],[[.,.],.]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[.,.],[[.,.],.]],[.,[.,.]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[.,.],[[.,.],.]],[[.,.],.]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[.,[.,.]],[.,.]],[.,[.,.]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[.,[.,.]],[.,.]],[[.,.],.]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[[.,.],.],[.,.]],[.,[.,.]]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[[.,.],.],[.,.]],[[.,.],.]]     => ([(0,5),(1,3),(2,4),(3,6),(4,5),(5,6)],7)
[[[.,[.,[.,.]]],.],[.,[.,.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,[.,[.,.]]],.],[[.,.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,[[.,.],.]],.],[.,[.,.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[.,[[.,.],.]],.],[[.,.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[[.,.],[.,.]],.],[.,[.,.]]]     => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)
[[[[.,.],[.,.]],.],[[.,.],.]]     => ([(0,5),(1,5),(2,3),(3,6),(4,6),(5,4)],7)
[[[[.,[.,.]],.],.],[.,[.,.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[[.,[.,.]],.],.],[[.,.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[[[.,.],.],.],.],[.,[.,.]]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[[[[.,.],.],.],.],[[.,.],.]]     => ([(0,5),(1,3),(2,6),(3,6),(4,2),(5,4)],7)
[[.,[.,[.,[.,[.,.]]]]],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,[.,[.,[[.,.],.]]]],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,[.,[[.,.],[.,.]]]],[.,.]]     => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
[[.,[.,[[.,[.,.]],.]]],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,[.,[[[.,.],.],.]]],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,[[.,.],[.,[.,.]]]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,[[.,.],[[.,.],.]]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,[[.,[.,.]],[.,.]]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,[[[.,.],.],[.,.]]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[.,[[.,[.,[.,.]]],.]],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,[[.,[[.,.],.]],.]],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,[[[.,.],[.,.]],.]],[.,.]]     => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
[[.,[[[.,[.,.]],.],.]],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[.,[[[[.,.],.],.],.]],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[[.,.],[.,[.,[.,.]]]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[[.,.],[.,[[.,.],.]]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[[.,.],[[.,.],[.,.]]],[.,.]]     => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
[[[.,.],[[.,[.,.]],.]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[[.,.],[[[.,.],.],.]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[[.,[.,.]],[.,[.,.]]],[.,.]]     => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)
[[[.,[.,.]],[[.,.],.]],[.,.]]     => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)
[[[[.,.],.],[.,[.,.]]],[.,.]]     => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)
[[[[.,.],.],[[.,.],.]],[.,.]]     => ([(0,5),(1,4),(2,3),(3,6),(4,6),(6,5)],7)
[[[.,[.,[.,.]]],[.,.]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[[.,[[.,.],.]],[.,.]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[[[.,.],[.,.]],[.,.]],[.,.]]     => ([(0,4),(1,4),(2,5),(3,6),(4,6),(6,5)],7)
[[[[.,[.,.]],.],[.,.]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[[[[.,.],.],.],[.,.]],[.,.]]     => ([(0,6),(1,5),(2,3),(3,4),(4,5),(5,6)],7)
[[[.,[.,[.,[.,.]]]],.],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[[.,[.,[[.,.],.]]],.],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[[.,[[.,.],[.,.]]],.],[.,.]]     => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
[[[.,[[.,[.,.]],.]],.],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[[.,[[[.,.],.],.]],.],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[[[.,.],[.,[.,.]]],.],[.,.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[[[.,.],[[.,.],.]],.],[.,.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[[[.,[.,.]],[.,.]],.],[.,.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[[[[.,.],.],[.,.]],.],[.,.]]     => ([(0,6),(1,5),(2,3),(3,6),(4,5),(6,4)],7)
[[[[.,[.,[.,.]]],.],.],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[[[.,[[.,.],.]],.],.],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[[[[.,.],[.,.]],.],.],[.,.]]     => ([(0,6),(1,6),(2,5),(3,4),(4,5),(6,3)],7)
[[[[[.,[.,.]],.],.],.],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],7)
[[[[[[.,.],.],.],.],.],[.,.]]     => ([(0,6),(1,5),(2,6),(3,4),(4,2),(5,3)],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)
[[.,[.,[.,[[.,.],[.,.]]]]],.]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[[.,[.,[[.,.],[.,[.,.]]]]],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[.,[.,[[.,.],[[.,.],.]]]],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[.,[.,[[.,[.,.]],[.,.]]]],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[.,[.,[[[.,.],.],[.,.]]]],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],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)
[[.,[.,[[[.,.],[.,.]],.]]],.]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[[.,[[.,.],[.,[.,[.,.]]]]],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[.,[[.,.],[.,[[.,.],.]]]],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[.,[[.,.],[[.,.],[.,.]]]],.]     => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
[[.,[[.,.],[[.,[.,.]],.]]],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[.,[[.,.],[[[.,.],.],.]]],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[.,[[.,[.,.]],[.,[.,.]]]],.]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[[.,[[.,[.,.]],[[.,.],.]]],.]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[[.,[[[.,.],.],[.,[.,.]]]],.]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[[.,[[[.,.],.],[[.,.],.]]],.]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[[.,[[.,[.,[.,.]]],[.,.]]],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[.,[[.,[[.,.],.]],[.,.]]],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[.,[[[.,.],[.,.]],[.,.]]],.]     => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
[[.,[[[.,[.,.]],.],[.,.]]],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[.,[[[[.,.],.],.],[.,.]]],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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)
[[.,[[.,[[.,.],[.,.]]],.]],.]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[[.,[[[.,.],[.,[.,.]]],.]],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[.,[[[.,.],[[.,.],.]],.]],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[.,[[[.,[.,.]],[.,.]],.]],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[.,[[[[.,.],.],[.,.]],.]],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],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)
[[.,[[[[.,.],[.,.]],.],.]],.]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[[[.,.],[.,[.,[.,[.,.]]]]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[.,.],[.,[.,[[.,.],.]]]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[.,.],[.,[[.,.],[.,.]]]],.]     => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
[[[.,.],[.,[[.,[.,.]],.]]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[.,.],[.,[[[.,.],.],.]]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[.,.],[[.,.],[.,[.,.]]]],.]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[[[.,.],[[.,.],[[.,.],.]]],.]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[[[.,.],[[.,[.,.]],[.,.]]],.]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[[[.,.],[[[.,.],.],[.,.]]],.]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[[[.,.],[[.,[.,[.,.]]],.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[.,.],[[.,[[.,.],.]],.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[.,.],[[[.,.],[.,.]],.]],.]     => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
[[[.,.],[[[.,[.,.]],.],.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[.,.],[[[[.,.],.],.],.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[.,[.,.]],[.,[.,[.,.]]]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[.,[.,.]],[.,[[.,.],.]]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[.,[.,.]],[[.,.],[.,.]]],.]     => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)
[[[.,[.,.]],[[.,[.,.]],.]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[.,[.,.]],[[[.,.],.],.]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[[.,.],.],[.,[.,[.,.]]]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[[.,.],.],[.,[[.,.],.]]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[[.,.],.],[[.,.],[.,.]]],.]     => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)
[[[[.,.],.],[[.,[.,.]],.]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[[.,.],.],[[[.,.],.],.]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[.,[.,[.,.]]],[.,[.,.]]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[.,[.,[.,.]]],[[.,.],.]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[.,[[.,.],.]],[.,[.,.]]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[.,[[.,.],.]],[[.,.],.]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[[.,.],[.,.]],[.,[.,.]]],.]     => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)
[[[[.,.],[.,.]],[[.,.],.]],.]     => ([(0,5),(1,5),(2,3),(3,6),(5,6),(6,4)],7)
[[[[.,[.,.]],.],[.,[.,.]]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[[.,[.,.]],.],[[.,.],.]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[[[.,.],.],.],[.,[.,.]]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[[[.,.],.],.],[[.,.],.]],.]     => ([(0,4),(1,5),(2,6),(4,6),(5,2),(6,3)],7)
[[[.,[.,[.,[.,.]]]],[.,.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[.,[.,[[.,.],.]]],[.,.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[.,[[.,.],[.,.]]],[.,.]],.]     => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
[[[.,[[.,[.,.]],.]],[.,.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[.,[[[.,.],.],.]],[.,.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[[.,.],[.,[.,.]]],[.,.]],.]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[[[[.,.],[[.,.],.]],[.,.]],.]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[[[[.,[.,.]],[.,.]],[.,.]],.]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[[[[[.,.],.],[.,.]],[.,.]],.]     => ([(0,6),(1,5),(2,3),(3,6),(5,4),(6,5)],7)
[[[[.,[.,[.,.]]],.],[.,.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[[.,[[.,.],.]],.],[.,.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[[[.,.],[.,.]],.],[.,.]],.]     => ([(0,6),(1,5),(2,5),(4,6),(5,4),(6,3)],7)
[[[[[.,[.,.]],.],.],[.,.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],7)
[[[[[[.,.],.],.],.],[.,.]],.]     => ([(0,6),(1,5),(2,6),(4,2),(5,4),(6,3)],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)
[[[.,[.,[[.,.],[.,.]]]],.],.]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[[[.,[[.,.],[.,[.,.]]]],.],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[[.,[[.,.],[[.,.],.]]],.],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[[.,[[.,[.,.]],[.,.]]],.],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[[.,[[[.,.],.],[.,.]]],.],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],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)
[[[.,[[[.,.],[.,.]],.]],.],.]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[[[[.,.],[.,[.,[.,.]]]],.],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[[[.,.],[.,[[.,.],.]]],.],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[[[.,.],[[.,.],[.,.]]],.],.]     => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
[[[[.,.],[[.,[.,.]],.]],.],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[[[.,.],[[[.,.],.],.]],.],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[[[.,[.,.]],[.,[.,.]]],.],.]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[[[[.,[.,.]],[[.,.],.]],.],.]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[[[[[.,.],.],[.,[.,.]]],.],.]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[[[[[.,.],.],[[.,.],.]],.],.]     => ([(0,4),(1,3),(3,6),(4,6),(5,2),(6,5)],7)
[[[[.,[.,[.,.]]],[.,.]],.],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[[[.,[[.,.],.]],[.,.]],.],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[[[[.,.],[.,.]],[.,.]],.],.]     => ([(0,6),(1,5),(2,5),(3,4),(5,6),(6,3)],7)
[[[[[.,[.,.]],.],[.,.]],.],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],7)
[[[[[[.,.],.],.],[.,.]],.],.]     => ([(0,6),(1,4),(3,6),(4,3),(5,2),(6,5)],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)
[[[[.,[[.,.],[.,.]]],.],.],.]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[[[[[.,.],[.,[.,.]]],.],.],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[[[[.,.],[[.,.],.]],.],.],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[[[[.,[.,.]],[.,.]],.],.],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],7)
[[[[[[.,.],.],[.,.]],.],.],.]     => ([(0,6),(1,3),(3,6),(4,2),(5,4),(6,5)],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)
[[[[[[.,.],[.,.]],.],.],.],.]     => ([(0,6),(1,6),(3,4),(4,2),(5,3),(6,5)],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)
[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]] => ([(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)
[.,[.,[.,[.,[.,[[.,.],[.,.]]]]]]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[.,[.,[.,[[.,.],[.,[.,.]]]]]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[.,[.,[[.,.],[[.,.],.]]]]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[.,[.,[[.,[.,.]],[.,.]]]]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[.,[.,[[[.,.],.],[.,.]]]]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],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)
[.,[.,[.,[.,[[[.,.],[.,.]],.]]]]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[.,[.,[[.,.],[.,[.,[.,.]]]]]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[.,[[.,.],[.,[[.,.],.]]]]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[.,[[.,.],[[.,.],[.,.]]]]]] => ([(0,7),(1,6),(2,6),(3,5),(5,4),(6,7),(7,3)],8)
[.,[.,[.,[[.,.],[[.,[.,.]],.]]]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[.,[[.,.],[[[.,.],.],.]]]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[.,[[.,[.,.]],[.,[.,.]]]]]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[.,[.,[[.,[.,.]],[[.,.],.]]]]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[.,[.,[[[.,.],.],[.,[.,.]]]]]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[.,[.,[[[.,.],.],[[.,.],.]]]]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[.,[.,[[.,[.,[.,.]]],[.,.]]]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[.,[[.,[[.,.],.]],[.,.]]]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[.,[[[.,.],[.,.]],[.,.]]]]] => ([(0,7),(1,6),(2,6),(3,5),(5,4),(6,7),(7,3)],8)
[.,[.,[.,[[[.,[.,.]],.],[.,.]]]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[.,[[[[.,.],.],.],[.,.]]]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],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)
[.,[.,[.,[[.,[[.,.],[.,.]]],.]]]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[.,[.,[[[.,.],[.,[.,.]]],.]]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[.,[[[.,.],[[.,.],.]],.]]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[.,[[[.,[.,.]],[.,.]],.]]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[.,[[[[.,.],.],[.,.]],.]]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],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)
[.,[.,[.,[[[[.,.],[.,.]],.],.]]]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[.,[[.,.],[.,[.,[.,[.,.]]]]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[.,.],[.,[.,[[.,.],.]]]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[.,.],[.,[[.,.],[.,.]]]]]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(6,4),(7,3)],8)
[.,[.,[[.,.],[.,[[.,[.,.]],.]]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[.,.],[.,[[[.,.],.],.]]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[.,.],[[.,.],[.,[.,.]]]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[.,[[.,.],[[.,.],[[.,.],.]]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[.,[[.,.],[[.,[.,.]],[.,.]]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[.,[[.,.],[[[.,.],.],[.,.]]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[.,[[.,.],[[.,[.,[.,.]]],.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[.,.],[[.,[[.,.],.]],.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[.,.],[[[.,.],[.,.]],.]]]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(6,4),(7,3)],8)
[.,[.,[[.,.],[[[.,[.,.]],.],.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[.,.],[[[[.,.],.],.],.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[.,[.,.]],[.,[.,[.,.]]]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[.,[.,.]],[.,[[.,.],.]]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[.,[.,.]],[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,3),(3,7),(4,5),(6,7),(7,4)],8)
[.,[.,[[.,[.,.]],[[.,[.,.]],.]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[.,[.,.]],[[[.,.],.],.]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[[.,.],.],[.,[.,[.,.]]]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[[.,.],.],[.,[[.,.],.]]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[[.,.],.],[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,3),(3,7),(4,5),(6,7),(7,4)],8)
[.,[.,[[[.,.],.],[[.,[.,.]],.]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[[.,.],.],[[[.,.],.],.]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[.,[.,[.,.]]],[.,[.,.]]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[.,[.,[.,.]]],[[.,.],.]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[.,[[.,.],.]],[.,[.,.]]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[.,[[.,.],.]],[[.,.],.]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[[.,.],[.,.]],[.,[.,.]]]]] => ([(0,6),(1,6),(2,3),(3,7),(4,5),(6,7),(7,4)],8)
[.,[.,[[[.,.],[.,.]],[[.,.],.]]]] => ([(0,6),(1,6),(2,3),(3,7),(4,5),(6,7),(7,4)],8)
[.,[.,[[[.,[.,.]],.],[.,[.,.]]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[[.,[.,.]],.],[[.,.],.]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[[[.,.],.],.],[.,[.,.]]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[[[.,.],.],.],[[.,.],.]]]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[.,[[.,[.,[.,[.,.]]]],[.,.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[.,[.,[[.,.],.]]],[.,.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[.,[[.,.],[.,.]]],[.,.]]]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(6,4),(7,3)],8)
[.,[.,[[.,[[.,[.,.]],.]],[.,.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[.,[[[.,.],.],.]],[.,.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[[.,.],[.,[.,.]]],[.,.]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[.,[[[.,.],[[.,.],.]],[.,.]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[.,[[[.,[.,.]],[.,.]],[.,.]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[.,[[[[.,.],.],[.,.]],[.,.]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[.,[[[.,[.,[.,.]]],.],[.,.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[[.,[[.,.],.]],.],[.,.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[[[.,.],[.,.]],.],[.,.]]]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(6,4),(7,3)],8)
[.,[.,[[[[.,[.,.]],.],.],[.,.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[.,[[[[[.,.],.],.],.],[.,.]]]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],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)
[.,[.,[[.,[.,[[.,.],[.,.]]]],.]]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[.,[[.,[[.,.],[.,[.,.]]]],.]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[[.,[[.,.],[[.,.],.]]],.]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[[.,[[.,[.,.]],[.,.]]],.]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[[.,[[[.,.],.],[.,.]]],.]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],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)
[.,[.,[[.,[[[.,.],[.,.]],.]],.]]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[.,[[[.,.],[.,[.,[.,.]]]],.]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[[[.,.],[.,[[.,.],.]]],.]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[[[.,.],[[.,.],[.,.]]],.]]] => ([(0,7),(1,6),(2,6),(3,5),(5,4),(6,7),(7,3)],8)
[.,[.,[[[.,.],[[.,[.,.]],.]],.]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[[[.,.],[[[.,.],.],.]],.]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[[[.,[.,.]],[.,[.,.]]],.]]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[.,[[[.,[.,.]],[[.,.],.]],.]]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[.,[[[[.,.],.],[.,[.,.]]],.]]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[.,[[[[.,.],.],[[.,.],.]],.]]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[.,[[[.,[.,[.,.]]],[.,.]],.]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[[[.,[[.,.],.]],[.,.]],.]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[[[[.,.],[.,.]],[.,.]],.]]] => ([(0,7),(1,6),(2,6),(3,5),(5,4),(6,7),(7,3)],8)
[.,[.,[[[[.,[.,.]],.],[.,.]],.]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[.,[[[[[.,.],.],.],[.,.]],.]]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],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)
[.,[.,[[[.,[[.,.],[.,.]]],.],.]]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[.,[[[[.,.],[.,[.,.]]],.],.]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[[[[.,.],[[.,.],.]],.],.]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[[[[.,[.,.]],[.,.]],.],.]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[.,[[[[[.,.],.],[.,.]],.],.]]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],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)
[.,[.,[[[[[.,.],[.,.]],.],.],.]]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[[.,.],[.,[.,[.,[.,[.,.]]]]]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[.,[.,[.,[[.,.],.]]]]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[.,[.,[[.,.],[.,.]]]]]] => ([(0,6),(1,6),(2,7),(4,5),(5,7),(6,4),(7,3)],8)
[.,[[.,.],[.,[.,[[.,[.,.]],.]]]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[.,[.,[[[.,.],.],.]]]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[.,[[.,.],[.,[.,.]]]]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,.],[.,[[.,.],[[.,.],.]]]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,.],[.,[[.,[.,.]],[.,.]]]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,.],[.,[[[.,.],.],[.,.]]]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,.],[.,[[.,[.,[.,.]]],.]]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[.,[[.,[[.,.],.]],.]]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[.,[[[.,.],[.,.]],.]]]] => ([(0,6),(1,6),(2,7),(4,5),(5,7),(6,4),(7,3)],8)
[.,[[.,.],[.,[[[.,[.,.]],.],.]]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[.,[[[[.,.],.],.],.]]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[[.,.],[.,[.,[.,.]]]]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[.,.],[[.,.],[.,[[.,.],.]]]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[.,.],[[.,.],[[.,.],[.,.]]]]] => ([(0,6),(1,7),(2,5),(3,5),(5,6),(6,7),(7,4)],8)
[.,[[.,.],[[.,.],[[.,[.,.]],.]]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[.,.],[[.,.],[[[.,.],.],.]]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[.,.],[[.,[.,.]],[.,[.,.]]]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(6,5),(7,6)],8)
[.,[[.,.],[[.,[.,.]],[[.,.],.]]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(6,5),(7,6)],8)
[.,[[.,.],[[[.,.],.],[.,[.,.]]]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(6,5),(7,6)],8)
[.,[[.,.],[[[.,.],.],[[.,.],.]]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(6,5),(7,6)],8)
[.,[[.,.],[[.,[.,[.,.]]],[.,.]]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[.,.],[[.,[[.,.],.]],[.,.]]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[.,.],[[[.,.],[.,.]],[.,.]]]] => ([(0,6),(1,7),(2,5),(3,5),(5,6),(6,7),(7,4)],8)
[.,[[.,.],[[[.,[.,.]],.],[.,.]]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[.,.],[[[[.,.],.],.],[.,.]]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[.,.],[[.,[.,[.,[.,.]]]],.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[[.,[.,[[.,.],.]]],.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[[.,[[.,.],[.,.]]],.]]] => ([(0,6),(1,6),(2,7),(4,5),(5,7),(6,4),(7,3)],8)
[.,[[.,.],[[.,[[.,[.,.]],.]],.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[[.,[[[.,.],.],.]],.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[[[.,.],[.,[.,.]]],.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,.],[[[.,.],[[.,.],.]],.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,.],[[[.,[.,.]],[.,.]],.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,.],[[[[.,.],.],[.,.]],.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,.],[[[.,[.,[.,.]]],.],.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[[[.,[[.,.],.]],.],.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[[[[.,.],[.,.]],.],.]]] => ([(0,6),(1,6),(2,7),(4,5),(5,7),(6,4),(7,3)],8)
[.,[[.,.],[[[[.,[.,.]],.],.],.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,.],[[[[[.,.],.],.],.],.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,[.,.]],[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,.]],[.,[.,[[.,.],.]]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,.]],[.,[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,3),(3,7),(5,7),(6,5),(7,4)],8)
[.,[[.,[.,.]],[.,[[.,[.,.]],.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,.]],[.,[[[.,.],.],.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,.]],[[.,.],[.,[.,.]]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[.,[.,.]],[[.,.],[[.,.],.]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[.,[.,.]],[[.,[.,.]],[.,.]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[.,[.,.]],[[[.,.],.],[.,.]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[.,[.,.]],[[.,[.,[.,.]]],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,.]],[[.,[[.,.],.]],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,.]],[[[.,.],[.,.]],.]]] => ([(0,6),(1,6),(2,3),(3,7),(5,7),(6,5),(7,4)],8)
[.,[[.,[.,.]],[[[.,[.,.]],.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,.]],[[[[.,.],.],.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,.],.],[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,.],.],[.,[.,[[.,.],.]]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,.],.],[.,[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,3),(3,7),(5,7),(6,5),(7,4)],8)
[.,[[[.,.],.],[.,[[.,[.,.]],.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,.],.],[.,[[[.,.],.],.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,.],.],[[.,.],[.,[.,.]]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],.],[[.,.],[[.,.],.]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],.],[[.,[.,.]],[.,.]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],.],[[[.,.],.],[.,.]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],.],[[.,[.,[.,.]]],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,.],.],[[.,[[.,.],.]],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,.],.],[[[.,.],[.,.]],.]]] => ([(0,6),(1,6),(2,3),(3,7),(5,7),(6,5),(7,4)],8)
[.,[[[.,.],.],[[[.,[.,.]],.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,.],.],[[[[.,.],.],.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,[.,.]]],[.,[.,[.,.]]]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[.,[.,[.,.]]],[.,[[.,.],.]]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[.,[.,[.,.]]],[[.,.],[.,.]]]] => ([(0,6),(1,6),(2,4),(4,5),(5,7),(6,7),(7,3)],8)
[.,[[.,[.,[.,.]]],[[.,[.,.]],.]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[.,[.,[.,.]]],[[[.,.],.],.]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[.,[[.,.],.]],[.,[.,[.,.]]]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[.,[[.,.],.]],[.,[[.,.],.]]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[.,[[.,.],.]],[[.,.],[.,.]]]] => ([(0,6),(1,6),(2,4),(4,5),(5,7),(6,7),(7,3)],8)
[.,[[.,[[.,.],.]],[[.,[.,.]],.]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[.,[[.,.],.]],[[[.,.],.],.]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[[.,.],[.,.]],[.,[.,[.,.]]]]] => ([(0,6),(1,6),(2,4),(4,5),(5,7),(6,7),(7,3)],8)
[.,[[[.,.],[.,.]],[.,[[.,.],.]]]] => ([(0,6),(1,6),(2,4),(4,5),(5,7),(6,7),(7,3)],8)
[.,[[[.,.],[.,.]],[[.,.],[.,.]]]] => ([(0,6),(1,6),(2,5),(3,5),(5,7),(6,7),(7,4)],8)
[.,[[[.,.],[.,.]],[[.,[.,.]],.]]] => ([(0,6),(1,6),(2,4),(4,5),(5,7),(6,7),(7,3)],8)
[.,[[[.,.],[.,.]],[[[.,.],.],.]]] => ([(0,6),(1,6),(2,4),(4,5),(5,7),(6,7),(7,3)],8)
[.,[[[.,[.,.]],.],[.,[.,[.,.]]]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[[.,[.,.]],.],[.,[[.,.],.]]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[[.,[.,.]],.],[[.,.],[.,.]]]] => ([(0,6),(1,6),(2,4),(4,5),(5,7),(6,7),(7,3)],8)
[.,[[[.,[.,.]],.],[[.,[.,.]],.]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[[.,[.,.]],.],[[[.,.],.],.]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[[[.,.],.],.],[.,[.,[.,.]]]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[[[.,.],.],.],[.,[[.,.],.]]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[[[.,.],.],.],[[.,.],[.,.]]]] => ([(0,6),(1,6),(2,4),(4,5),(5,7),(6,7),(7,3)],8)
[.,[[[[.,.],.],.],[[.,[.,.]],.]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[[[.,.],.],.],[[[.,.],.],.]]] => ([(0,6),(1,5),(2,7),(3,7),(5,2),(6,3),(7,4)],8)
[.,[[.,[.,[.,[.,.]]]],[.,[.,.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,[.,[.,.]]]],[[.,.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,[[.,.],.]]],[.,[.,.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,[[.,.],.]]],[[.,.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[[.,.],[.,.]]],[.,[.,.]]]] => ([(0,6),(1,6),(2,3),(3,7),(5,7),(6,5),(7,4)],8)
[.,[[.,[[.,.],[.,.]]],[[.,.],.]]] => ([(0,6),(1,6),(2,3),(3,7),(5,7),(6,5),(7,4)],8)
[.,[[.,[[.,[.,.]],.]],[.,[.,.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[[.,[.,.]],.]],[[.,.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[[[.,.],.],.]],[.,[.,.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[[[.,.],.],.]],[[.,.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,.],[.,[.,.]]],[.,[.,.]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],[.,[.,.]]],[[.,.],.]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],[[.,.],.]],[.,[.,.]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],[[.,.],.]],[[.,.],.]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[.,[.,.]],[.,.]],[.,[.,.]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[.,[.,.]],[.,.]],[[.,.],.]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[[.,.],.],[.,.]],[.,[.,.]]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[[.,.],.],[.,.]],[[.,.],.]]] => ([(0,6),(1,3),(2,5),(3,7),(5,6),(6,7),(7,4)],8)
[.,[[[.,[.,[.,.]]],.],[.,[.,.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,[.,[.,.]]],.],[[.,.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,[[.,.],.]],.],[.,[.,.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[.,[[.,.],.]],.],[[.,.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[[.,.],[.,.]],.],[.,[.,.]]]] => ([(0,6),(1,6),(2,3),(3,7),(5,7),(6,5),(7,4)],8)
[.,[[[[.,.],[.,.]],.],[[.,.],.]]] => ([(0,6),(1,6),(2,3),(3,7),(5,7),(6,5),(7,4)],8)
[.,[[[[.,[.,.]],.],.],[.,[.,.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[[.,[.,.]],.],.],[[.,.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[[[.,.],.],.],.],[.,[.,.]]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[[[[.,.],.],.],.],[[.,.],.]]] => ([(0,6),(1,4),(2,7),(4,7),(5,2),(6,5),(7,3)],8)
[.,[[.,[.,[.,[.,[.,.]]]]],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,[.,[.,[[.,.],.]]]],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,[.,[[.,.],[.,.]]]],[.,.]]] => ([(0,6),(1,6),(2,7),(4,5),(5,7),(6,4),(7,3)],8)
[.,[[.,[.,[[.,[.,.]],.]]],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,[.,[[[.,.],.],.]]],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,[[.,.],[.,[.,.]]]],[.,.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,[[.,.],[[.,.],.]]],[.,.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,[[.,[.,.]],[.,.]]],[.,.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,[[[.,.],.],[.,.]]],[.,.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[.,[[.,[.,[.,.]]],.]],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,[[.,[[.,.],.]],.]],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,[[[.,.],[.,.]],.]],[.,.]]] => ([(0,6),(1,6),(2,7),(4,5),(5,7),(6,4),(7,3)],8)
[.,[[.,[[[.,[.,.]],.],.]],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[.,[[[[.,.],.],.],.]],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[[.,.],[.,[.,[.,.]]]],[.,.]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[[.,.],[.,[[.,.],.]]],[.,.]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[[.,.],[[.,.],[.,.]]],[.,.]]] => ([(0,6),(1,7),(2,5),(3,5),(5,6),(6,7),(7,4)],8)
[.,[[[.,.],[[.,[.,.]],.]],[.,.]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[[.,.],[[[.,.],.],.]],[.,.]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[[.,[.,.]],[.,[.,.]]],[.,.]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(6,5),(7,6)],8)
[.,[[[.,[.,.]],[[.,.],.]],[.,.]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(6,5),(7,6)],8)
[.,[[[[.,.],.],[.,[.,.]]],[.,.]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(6,5),(7,6)],8)
[.,[[[[.,.],.],[[.,.],.]],[.,.]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(6,5),(7,6)],8)
[.,[[[.,[.,[.,.]]],[.,.]],[.,.]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[[.,[[.,.],.]],[.,.]],[.,.]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[[[.,.],[.,.]],[.,.]],[.,.]]] => ([(0,6),(1,7),(2,5),(3,5),(5,6),(6,7),(7,4)],8)
[.,[[[[.,[.,.]],.],[.,.]],[.,.]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[[[[.,.],.],.],[.,.]],[.,.]]] => ([(0,7),(1,6),(2,4),(4,5),(5,6),(6,7),(7,3)],8)
[.,[[[.,[.,[.,[.,.]]]],.],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[[.,[.,[[.,.],.]]],.],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[[.,[[.,.],[.,.]]],.],[.,.]]] => ([(0,6),(1,6),(2,7),(4,5),(5,7),(6,4),(7,3)],8)
[.,[[[.,[[.,[.,.]],.]],.],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[[.,[[[.,.],.],.]],.],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[[[.,.],[.,[.,.]]],.],[.,.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[[[.,.],[[.,.],.]],.],[.,.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[[[.,[.,.]],[.,.]],.],[.,.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[[[[.,.],.],[.,.]],.],[.,.]]] => ([(0,6),(1,7),(2,3),(3,7),(5,6),(6,4),(7,5)],8)
[.,[[[[.,[.,[.,.]]],.],.],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[[[.,[[.,.],.]],.],.],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[[[[.,.],[.,.]],.],.],[.,.]]] => ([(0,6),(1,6),(2,7),(4,5),(5,7),(6,4),(7,3)],8)
[.,[[[[[.,[.,.]],.],.],.],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],8)
[.,[[[[[[.,.],.],.],.],.],[.,.]]] => ([(0,7),(1,6),(2,7),(4,5),(5,2),(6,4),(7,3)],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)
[.,[[.,[.,[.,[[.,.],[.,.]]]]],.]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[[.,[.,[[.,.],[.,[.,.]]]]],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[.,[.,[[.,.],[[.,.],.]]]],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[.,[.,[[.,[.,.]],[.,.]]]],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[.,[.,[[[.,.],.],[.,.]]]],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],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)
[.,[[.,[.,[[[.,.],[.,.]],.]]],.]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[[.,[[.,.],[.,[.,[.,.]]]]],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[.,[[.,.],[.,[[.,.],.]]]],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[.,[[.,.],[[.,.],[.,.]]]],.]] => ([(0,7),(1,6),(2,6),(3,5),(5,4),(6,7),(7,3)],8)
[.,[[.,[[.,.],[[.,[.,.]],.]]],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[.,[[.,.],[[[.,.],.],.]]],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[.,[[.,[.,.]],[.,[.,.]]]],.]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[[.,[[.,[.,.]],[[.,.],.]]],.]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[[.,[[[.,.],.],[.,[.,.]]]],.]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[[.,[[[.,.],.],[[.,.],.]]],.]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[[.,[[.,[.,[.,.]]],[.,.]]],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[.,[[.,[[.,.],.]],[.,.]]],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[.,[[[.,.],[.,.]],[.,.]]],.]] => ([(0,7),(1,6),(2,6),(3,5),(5,4),(6,7),(7,3)],8)
[.,[[.,[[[.,[.,.]],.],[.,.]]],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[.,[[[[.,.],.],.],[.,.]]],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],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)
[.,[[.,[[.,[[.,.],[.,.]]],.]],.]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[[.,[[[.,.],[.,[.,.]]],.]],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[.,[[[.,.],[[.,.],.]],.]],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[.,[[[.,[.,.]],[.,.]],.]],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[.,[[[[.,.],.],[.,.]],.]],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],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)
[.,[[.,[[[[.,.],[.,.]],.],.]],.]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[[[.,.],[.,[.,[.,[.,.]]]]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[.,.],[.,[.,[[.,.],.]]]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[.,.],[.,[[.,.],[.,.]]]],.]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(6,4),(7,3)],8)
[.,[[[.,.],[.,[[.,[.,.]],.]]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[.,.],[.,[[[.,.],.],.]]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[.,.],[[.,.],[.,[.,.]]]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[[[.,.],[[.,.],[[.,.],.]]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[[[.,.],[[.,[.,.]],[.,.]]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[[[.,.],[[[.,.],.],[.,.]]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[[[.,.],[[.,[.,[.,.]]],.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[.,.],[[.,[[.,.],.]],.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[.,.],[[[.,.],[.,.]],.]],.]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(6,4),(7,3)],8)
[.,[[[.,.],[[[.,[.,.]],.],.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[.,.],[[[[.,.],.],.],.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[.,[.,.]],[.,[.,[.,.]]]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[.,[.,.]],[.,[[.,.],.]]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[.,[.,.]],[[.,.],[.,.]]],.]] => ([(0,6),(1,6),(2,3),(3,7),(4,5),(6,7),(7,4)],8)
[.,[[[.,[.,.]],[[.,[.,.]],.]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[.,[.,.]],[[[.,.],.],.]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[[.,.],.],[.,[.,[.,.]]]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[[.,.],.],[.,[[.,.],.]]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[[.,.],.],[[.,.],[.,.]]],.]] => ([(0,6),(1,6),(2,3),(3,7),(4,5),(6,7),(7,4)],8)
[.,[[[[.,.],.],[[.,[.,.]],.]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[[.,.],.],[[[.,.],.],.]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[.,[.,[.,.]]],[.,[.,.]]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[.,[.,[.,.]]],[[.,.],.]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[.,[[.,.],.]],[.,[.,.]]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[.,[[.,.],.]],[[.,.],.]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[[.,.],[.,.]],[.,[.,.]]],.]] => ([(0,6),(1,6),(2,3),(3,7),(4,5),(6,7),(7,4)],8)
[.,[[[[.,.],[.,.]],[[.,.],.]],.]] => ([(0,6),(1,6),(2,3),(3,7),(4,5),(6,7),(7,4)],8)
[.,[[[[.,[.,.]],.],[.,[.,.]]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[[.,[.,.]],.],[[.,.],.]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[[[.,.],.],.],[.,[.,.]]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[[[.,.],.],.],[[.,.],.]],.]] => ([(0,6),(1,4),(3,7),(4,7),(5,2),(6,3),(7,5)],8)
[.,[[[.,[.,[.,[.,.]]]],[.,.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[.,[.,[[.,.],.]]],[.,.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[.,[[.,.],[.,.]]],[.,.]],.]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(6,4),(7,3)],8)
[.,[[[.,[[.,[.,.]],.]],[.,.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[.,[[[.,.],.],.]],[.,.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[[.,.],[.,[.,.]]],[.,.]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[[[[.,.],[[.,.],.]],[.,.]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[[[[.,[.,.]],[.,.]],[.,.]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[[[[[.,.],.],[.,.]],[.,.]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(6,4),(7,6)],8)
[.,[[[[.,[.,[.,.]]],.],[.,.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[[.,[[.,.],.]],.],[.,.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[[[.,.],[.,.]],.],[.,.]],.]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(6,4),(7,3)],8)
[.,[[[[[.,[.,.]],.],.],[.,.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],8)
[.,[[[[[[.,.],.],.],.],[.,.]],.]] => ([(0,7),(1,5),(3,7),(4,3),(5,4),(6,2),(7,6)],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)
[.,[[[.,[.,[[.,.],[.,.]]]],.],.]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[[[.,[[.,.],[.,[.,.]]]],.],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[[.,[[.,.],[[.,.],.]]],.],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[[.,[[.,[.,.]],[.,.]]],.],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[[.,[[[.,.],.],[.,.]]],.],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],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)
[.,[[[.,[[[.,.],[.,.]],.]],.],.]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[[[[.,.],[.,[.,[.,.]]]],.],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[[[.,.],[.,[[.,.],.]]],.],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[[[.,.],[[.,.],[.,.]]],.],.]] => ([(0,7),(1,6),(2,6),(3,5),(5,4),(6,7),(7,3)],8)
[.,[[[[.,.],[[.,[.,.]],.]],.],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[[[.,.],[[[.,.],.],.]],.],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[[[.,[.,.]],[.,[.,.]]],.],.]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[[[[.,[.,.]],[[.,.],.]],.],.]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[[[[[.,.],.],[.,[.,.]]],.],.]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[[[[[.,.],.],[[.,.],.]],.],.]] => ([(0,4),(1,3),(3,7),(4,7),(5,2),(6,5),(7,6)],8)
[.,[[[[.,[.,[.,.]]],[.,.]],.],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[[[.,[[.,.],.]],[.,.]],.],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[[[[.,.],[.,.]],[.,.]],.],.]] => ([(0,7),(1,6),(2,6),(3,5),(5,4),(6,7),(7,3)],8)
[.,[[[[[.,[.,.]],.],[.,.]],.],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],8)
[.,[[[[[[.,.],.],.],[.,.]],.],.]] => ([(0,7),(1,5),(3,7),(4,2),(5,3),(6,4),(7,6)],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)
[.,[[[[.,[[.,.],[.,.]]],.],.],.]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[.,[[[[[.,.],[.,[.,.]]],.],.],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[[[[.,.],[[.,.],.]],.],.],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[[[[.,[.,.]],[.,.]],.],.],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],8)
[.,[[[[[[.,.],.],[.,.]],.],.],.]] => ([(0,7),(1,3),(3,7),(4,5),(5,2),(6,4),(7,6)],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)
[.,[[[[[[.,.],[.,.]],.],.],.],.]] => ([(0,7),(1,7),(3,5),(4,3),(5,2),(6,4),(7,6)],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)
[[.,.],[.,[.,[.,[.,[.,[.,.]]]]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[.,[.,[.,[[.,.],.]]]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[.,[.,[[.,.],[.,.]]]]]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(5,4),(6,3)],8)
[[.,.],[.,[.,[.,[[.,[.,.]],.]]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[.,[.,[[[.,.],.],.]]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[.,[[.,.],[.,[.,.]]]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[.,[.,[[.,.],[[.,.],.]]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[.,[.,[[.,[.,.]],[.,.]]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[.,[.,[[[.,.],.],[.,.]]]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[.,[.,[[.,[.,[.,.]]],.]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[.,[[.,[[.,.],.]],.]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[.,[[[.,.],[.,.]],.]]]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(5,4),(6,3)],8)
[[.,.],[.,[.,[[[.,[.,.]],.],.]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[.,[[[[.,.],.],.],.]]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[[.,.],[.,[.,[.,.]]]]]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[.,[[.,.],[.,[[.,.],.]]]]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[.,[[.,.],[[.,.],[.,.]]]]] => ([(0,6),(1,7),(2,5),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[.,[[.,.],[[.,[.,.]],.]]]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[.,[[.,.],[[[.,.],.],.]]]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[.,[[.,[.,.]],[.,[.,.]]]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(5,6),(7,5)],8)
[[.,.],[.,[[.,[.,.]],[[.,.],.]]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(5,6),(7,5)],8)
[[.,.],[.,[[[.,.],.],[.,[.,.]]]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(5,6),(7,5)],8)
[[.,.],[.,[[[.,.],.],[[.,.],.]]]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(5,6),(7,5)],8)
[[.,.],[.,[[.,[.,[.,.]]],[.,.]]]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[.,[[.,[[.,.],.]],[.,.]]]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[.,[[[.,.],[.,.]],[.,.]]]] => ([(0,6),(1,7),(2,5),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[.,[[[.,[.,.]],.],[.,.]]]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[.,[[[[.,.],.],.],[.,.]]]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[.,[[.,[.,[.,[.,.]]]],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[[.,[.,[[.,.],.]]],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[[.,[[.,.],[.,.]]],.]]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(5,4),(6,3)],8)
[[.,.],[.,[[.,[[.,[.,.]],.]],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[[.,[[[.,.],.],.]],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[[[.,.],[.,[.,.]]],.]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[.,[[[.,.],[[.,.],.]],.]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[.,[[[.,[.,.]],[.,.]],.]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[.,[[[[.,.],.],[.,.]],.]]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[.,[[[.,[.,[.,.]]],.],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[[[.,[[.,.],.]],.],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[[[[.,.],[.,.]],.],.]]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(5,4),(6,3)],8)
[[.,.],[.,[[[[.,[.,.]],.],.],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[.,[[[[[.,.],.],.],.],.]]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[.,.],[.,[.,[.,[.,.]]]]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,.],[.,[.,[[.,.],.]]]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,.],[.,[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,7),(3,5),(4,7),(6,4),(7,5)],8)
[[.,.],[[.,.],[.,[[.,[.,.]],.]]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,.],[.,[[[.,.],.],.]]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,.],[[.,.],[.,[.,.]]]]] => ([(0,6),(1,7),(2,5),(3,4),(4,7),(5,6),(7,5)],8)
[[.,.],[[.,.],[[.,.],[[.,.],.]]]] => ([(0,6),(1,7),(2,5),(3,4),(4,7),(5,6),(7,5)],8)
[[.,.],[[.,.],[[.,[.,.]],[.,.]]]] => ([(0,6),(1,7),(2,5),(3,4),(4,7),(5,6),(7,5)],8)
[[.,.],[[.,.],[[[.,.],.],[.,.]]]] => ([(0,6),(1,7),(2,5),(3,4),(4,7),(5,6),(7,5)],8)
[[.,.],[[.,.],[[.,[.,[.,.]]],.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,.],[[.,[[.,.],.]],.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,.],[[[.,.],[.,.]],.]]] => ([(0,6),(1,6),(2,7),(3,5),(4,7),(6,4),(7,5)],8)
[[.,.],[[.,.],[[[.,[.,.]],.],.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,.],[[[[.,.],.],.],.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,[.,.]],[.,[.,[.,.]]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[.,[.,.]],[.,[[.,.],.]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[.,[.,.]],[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,6),(3,4),(4,7),(5,7),(7,6)],8)
[[.,.],[[.,[.,.]],[[.,[.,.]],.]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[.,[.,.]],[[[.,.],.],.]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[[.,.],.],[.,[.,[.,.]]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[[.,.],.],[.,[[.,.],.]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[[.,.],.],[[.,.],[.,.]]]] => ([(0,5),(1,5),(2,6),(3,4),(4,7),(5,7),(7,6)],8)
[[.,.],[[[.,.],.],[[.,[.,.]],.]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[[.,.],.],[[[.,.],.],.]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[.,[.,[.,.]]],[.,[.,.]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[.,[.,[.,.]]],[[.,.],.]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[.,[[.,.],.]],[.,[.,.]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[.,[[.,.],.]],[[.,.],.]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[[.,.],[.,.]],[.,[.,.]]]] => ([(0,5),(1,5),(2,6),(3,4),(4,7),(5,7),(7,6)],8)
[[.,.],[[[.,.],[.,.]],[[.,.],.]]] => ([(0,5),(1,5),(2,6),(3,4),(4,7),(5,7),(7,6)],8)
[[.,.],[[[.,[.,.]],.],[.,[.,.]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[[.,[.,.]],.],[[.,.],.]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[[[.,.],.],.],[.,[.,.]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[[[.,.],.],.],[[.,.],.]]] => ([(0,6),(1,3),(2,4),(3,7),(4,5),(5,7),(7,6)],8)
[[.,.],[[.,[.,[.,[.,.]]]],[.,.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,[.,[[.,.],.]]],[.,.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,[[.,.],[.,.]]],[.,.]]] => ([(0,6),(1,6),(2,7),(3,5),(4,7),(6,4),(7,5)],8)
[[.,.],[[.,[[.,[.,.]],.]],[.,.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,[[[.,.],.],.]],[.,.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[[.,.],[.,[.,.]]],[.,.]]] => ([(0,6),(1,7),(2,5),(3,4),(4,7),(5,6),(7,5)],8)
[[.,.],[[[.,.],[[.,.],.]],[.,.]]] => ([(0,6),(1,7),(2,5),(3,4),(4,7),(5,6),(7,5)],8)
[[.,.],[[[.,[.,.]],[.,.]],[.,.]]] => ([(0,6),(1,7),(2,5),(3,4),(4,7),(5,6),(7,5)],8)
[[.,.],[[[[.,.],.],[.,.]],[.,.]]] => ([(0,6),(1,7),(2,5),(3,4),(4,7),(5,6),(7,5)],8)
[[.,.],[[[.,[.,[.,.]]],.],[.,.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[[.,[[.,.],.]],.],[.,.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[[[.,.],[.,.]],.],[.,.]]] => ([(0,6),(1,6),(2,7),(3,5),(4,7),(6,4),(7,5)],8)
[[.,.],[[[[.,[.,.]],.],.],[.,.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[[[[.,.],.],.],.],[.,.]]] => ([(0,7),(1,3),(2,6),(3,5),(4,7),(5,4),(7,6)],8)
[[.,.],[[.,[.,[.,[.,[.,.]]]]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[.,[.,[.,[[.,.],.]]]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[.,[.,[[.,.],[.,.]]]],.]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(5,4),(6,3)],8)
[[.,.],[[.,[.,[[.,[.,.]],.]]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[.,[.,[[[.,.],.],.]]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[.,[[.,.],[.,[.,.]]]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[[.,[[.,.],[[.,.],.]]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[[.,[[.,[.,.]],[.,.]]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[[.,[[[.,.],.],[.,.]]],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[[.,[[.,[.,[.,.]]],.]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[.,[[.,[[.,.],.]],.]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[.,[[[.,.],[.,.]],.]],.]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(5,4),(6,3)],8)
[[.,.],[[.,[[[.,[.,.]],.],.]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[.,[[[[.,.],.],.],.]],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[[.,.],[.,[.,[.,.]]]],.]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[[[.,.],[.,[[.,.],.]]],.]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[[[.,.],[[.,.],[.,.]]],.]] => ([(0,6),(1,7),(2,5),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[[[.,.],[[.,[.,.]],.]],.]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[[[.,.],[[[.,.],.],.]],.]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[[[.,[.,.]],[.,[.,.]]],.]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(5,6),(7,5)],8)
[[.,.],[[[.,[.,.]],[[.,.],.]],.]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(5,6),(7,5)],8)
[[.,.],[[[[.,.],.],[.,[.,.]]],.]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(5,6),(7,5)],8)
[[.,.],[[[[.,.],.],[[.,.],.]],.]] => ([(0,6),(1,4),(2,3),(3,7),(4,7),(5,6),(7,5)],8)
[[.,.],[[[.,[.,[.,.]]],[.,.]],.]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[[[.,[[.,.],.]],[.,.]],.]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[[[[.,.],[.,.]],[.,.]],.]] => ([(0,6),(1,7),(2,5),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[[[[.,[.,.]],.],[.,.]],.]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[[[[[.,.],.],.],[.,.]],.]] => ([(0,7),(1,6),(2,3),(3,5),(4,7),(5,6),(6,4)],8)
[[.,.],[[[.,[.,[.,[.,.]]]],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[[.,[.,[[.,.],.]]],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[[.,[[.,.],[.,.]]],.],.]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(5,4),(6,3)],8)
[[.,.],[[[.,[[.,[.,.]],.]],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[[.,[[[.,.],.],.]],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[[[.,.],[.,[.,.]]],.],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[[[[.,.],[[.,.],.]],.],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[[[[.,[.,.]],[.,.]],.],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[[[[[.,.],.],[.,.]],.],.]] => ([(0,7),(1,6),(2,3),(3,7),(4,5),(5,6),(7,4)],8)
[[.,.],[[[[.,[.,[.,.]]],.],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[[[.,[[.,.],.]],.],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[[[[.,.],[.,.]],.],.],.]] => ([(0,7),(1,6),(2,6),(3,5),(4,7),(5,4),(6,3)],8)
[[.,.],[[[[[.,[.,.]],.],.],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,.],[[[[[[.,.],.],.],.],.],.]] => ([(0,7),(1,6),(2,7),(3,5),(4,3),(5,2),(6,4)],8)
[[.,[.,.]],[.,[.,[.,[.,[.,.]]]]]] => ([(0,6),(1,3),(2,7),(3,7),(4,5),(5,2),(6,4)],8)
[[.,[.,.]],[.,[.,[.,[[.,.],.]]]]] => ([(0,6),(1,3),(2,7),(3,7),(4,5),(5,2),(6,4)],8)
[[.,[.,.]],[.,[.,[[.,.],[.,.]]]]] => ([(0,6),(1,6),(2,3),(3,7),(4,5),(5,7),(6,4)],8)
[[.,[.,.]],[.,[.,[[.,[.,.]],.]]]] => ([(0,6),(1,3),(2,7),(3,7),(4,5),(5,2),(6,4)],8)
[[.,[.,.]],[.,[.,[[[.,.],.],.]]]] => ([(0,6),(1,3),(2,7),(3,7),(4,5),(5,2),(6,4)],8)
[[.,[.,.]],[.,[[.,.],[.,[.,.]]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,6),(5,7),(6,5)],8)
[[.,[.,.]],[.,[[.,.],[[.,.],.]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,6),(5,7),(6,5)],8)
[[.,[.,.]],[.,[[.,[.,.]],[.,.]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,6),(5,7),(6,5)],8)
[[.,[.,.]],[.,[[[.,.],.],[.,.]]]] => ([(0,6),(1,3),(2,4),(3,7),(4,6),(5,7),(6,5)],8)
[[.,[.,.]],[.,[[.,[.,[.,.]]],.]]] => ([(0,6),(1,3),(2,7),(3,7),(4,5),(5,2),(6,4)],8)
[[.,[.,.]],[.,[[.,[[.,.],.]],.]]] => ([(0,6),(1,3),(2,7),(3,7),(4,5),(5,2),(6,4)],8)
[[.,[.,.]],[.,[[[.,.],[.,.]],.]]] => ([(0,6),(1,6),(2,3),(3,7),(4,5),(5,7),(6,4)],8)
[[.,[.,.]],[.,[[[.,[.,.]],.],.]]] => ([(0,6),(1,3),(2,7),(3,7),(4,5),(5,2),(6,4)],8)
[[.,[.,.]],[.,[[[[.,.],.],.],.]]] => ([(0,6),(1,3),(2,7),(3,7),(4,5),(5,2),(6,4)],8)

-----------------------------------------------------------------------------
Created: Jan 19, 2020 at 07:28 by FindStatCrew

-----------------------------------------------------------------------------
Last Updated: Jan 19, 2020 at 07:28 by Martin Rubey