*****************************************************************************
*       www.FindStat.org - The Combinatorial Statistic Finder               *
*                                                                           *
*       Copyright (C) 2019 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.                   *
*****************************************************************************

-----------------------------------------------------------------------------
Statistic identifier: St001554

-----------------------------------------------------------------------------
Collection: Binary trees

-----------------------------------------------------------------------------
Description: The number of distinct nonempty subtrees of a binary tree.

-----------------------------------------------------------------------------
References: [1]   The number of unlabeled binary trees that contain n distinct subtrees, where a subtree means take any node and everything below that node. [[OEIS:A254789]]

-----------------------------------------------------------------------------
Code:
def statistic(B):
    return len(set([T for T in B.subtrees()]))


-----------------------------------------------------------------------------
Statistic values:

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

-----------------------------------------------------------------------------
Created: Jun 05, 2020 at 14:17 by Martin Rubey

-----------------------------------------------------------------------------
Last Updated: Jun 05, 2020 at 14:17 by Martin Rubey