*****************************************************************************
* 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: St000412
-----------------------------------------------------------------------------
Collection: Binary trees
-----------------------------------------------------------------------------
Description: The number of binary trees with the same underlying unordered tree.
-----------------------------------------------------------------------------
References:
-----------------------------------------------------------------------------
Code:
@cached_function
def Binary_to_Rooted(n):
return [RootedTree(S) for S in BinaryTrees(n)]
def statistic(tree):
return Binary_to_Rooted(tree.node_number()).count(RootedTree(tree))
-----------------------------------------------------------------------------
Statistic values:
[.,[.,.]] => 2
[[.,.],.] => 2
[.,[.,[.,.]]] => 4
[.,[[.,.],.]] => 4
[[.,.],[.,.]] => 1
[[.,[.,.]],.] => 4
[[[.,.],.],.] => 4
[.,[.,[.,[.,.]]]] => 8
[.,[.,[[.,.],.]]] => 8
[.,[[.,.],[.,.]]] => 2
[.,[[.,[.,.]],.]] => 8
[.,[[[.,.],.],.]] => 8
[[.,.],[.,[.,.]]] => 4
[[.,.],[[.,.],.]] => 4
[[.,[.,.]],[.,.]] => 4
[[[.,.],.],[.,.]] => 4
[[.,[.,[.,.]]],.] => 8
[[.,[[.,.],.]],.] => 8
[[[.,.],[.,.]],.] => 2
[[[.,[.,.]],.],.] => 8
[[[[.,.],.],.],.] => 8
[.,[.,[.,[.,[.,.]]]]] => 16
[.,[.,[.,[[.,.],.]]]] => 16
[.,[.,[[.,.],[.,.]]]] => 4
[.,[.,[[.,[.,.]],.]]] => 16
[.,[.,[[[.,.],.],.]]] => 16
[.,[[.,.],[.,[.,.]]]] => 8
[.,[[.,.],[[.,.],.]]] => 8
[.,[[.,[.,.]],[.,.]]] => 8
[.,[[[.,.],.],[.,.]]] => 8
[.,[[.,[.,[.,.]]],.]] => 16
[.,[[.,[[.,.],.]],.]] => 16
[.,[[[.,.],[.,.]],.]] => 4
[.,[[[.,[.,.]],.],.]] => 16
[.,[[[[.,.],.],.],.]] => 16
[[.,.],[.,[.,[.,.]]]] => 8
[[.,.],[.,[[.,.],.]]] => 8
[[.,.],[[.,.],[.,.]]] => 2
[[.,.],[[.,[.,.]],.]] => 8
[[.,.],[[[.,.],.],.]] => 8
[[.,[.,.]],[.,[.,.]]] => 4
[[.,[.,.]],[[.,.],.]] => 4
[[[.,.],.],[.,[.,.]]] => 4
[[[.,.],.],[[.,.],.]] => 4
[[.,[.,[.,.]]],[.,.]] => 8
[[.,[[.,.],.]],[.,.]] => 8
[[[.,.],[.,.]],[.,.]] => 2
[[[.,[.,.]],.],[.,.]] => 8
[[[[.,.],.],.],[.,.]] => 8
[[.,[.,[.,[.,.]]]],.] => 16
[[.,[.,[[.,.],.]]],.] => 16
[[.,[[.,.],[.,.]]],.] => 4
[[.,[[.,[.,.]],.]],.] => 16
[[.,[[[.,.],.],.]],.] => 16
[[[.,.],[.,[.,.]]],.] => 8
[[[.,.],[[.,.],.]],.] => 8
[[[.,[.,.]],[.,.]],.] => 8
[[[[.,.],.],[.,.]],.] => 8
[[[.,[.,[.,.]]],.],.] => 16
[[[.,[[.,.],.]],.],.] => 16
[[[[.,.],[.,.]],.],.] => 4
[[[[.,[.,.]],.],.],.] => 16
[[[[[.,.],.],.],.],.] => 16
[.,[.,[.,[.,[.,[.,.]]]]]] => 32
[.,[.,[.,[.,[[.,.],.]]]]] => 32
[.,[.,[.,[[.,.],[.,.]]]]] => 8
[.,[.,[.,[[.,[.,.]],.]]]] => 32
[.,[.,[.,[[[.,.],.],.]]]] => 32
[.,[.,[[.,.],[.,[.,.]]]]] => 16
[.,[.,[[.,.],[[.,.],.]]]] => 16
[.,[.,[[.,[.,.]],[.,.]]]] => 16
[.,[.,[[[.,.],.],[.,.]]]] => 16
[.,[.,[[.,[.,[.,.]]],.]]] => 32
[.,[.,[[.,[[.,.],.]],.]]] => 32
[.,[.,[[[.,.],[.,.]],.]]] => 8
[.,[.,[[[.,[.,.]],.],.]]] => 32
[.,[.,[[[[.,.],.],.],.]]] => 32
[.,[[.,.],[.,[.,[.,.]]]]] => 16
[.,[[.,.],[.,[[.,.],.]]]] => 16
[.,[[.,.],[[.,.],[.,.]]]] => 4
[.,[[.,.],[[.,[.,.]],.]]] => 16
[.,[[.,.],[[[.,.],.],.]]] => 16
[.,[[.,[.,.]],[.,[.,.]]]] => 8
[.,[[.,[.,.]],[[.,.],.]]] => 8
[.,[[[.,.],.],[.,[.,.]]]] => 8
[.,[[[.,.],.],[[.,.],.]]] => 8
[.,[[.,[.,[.,.]]],[.,.]]] => 16
[.,[[.,[[.,.],.]],[.,.]]] => 16
[.,[[[.,.],[.,.]],[.,.]]] => 4
[.,[[[.,[.,.]],.],[.,.]]] => 16
[.,[[[[.,.],.],.],[.,.]]] => 16
[.,[[.,[.,[.,[.,.]]]],.]] => 32
[.,[[.,[.,[[.,.],.]]],.]] => 32
[.,[[.,[[.,.],[.,.]]],.]] => 8
[.,[[.,[[.,[.,.]],.]],.]] => 32
[.,[[.,[[[.,.],.],.]],.]] => 32
[.,[[[.,.],[.,[.,.]]],.]] => 16
[.,[[[.,.],[[.,.],.]],.]] => 16
[.,[[[.,[.,.]],[.,.]],.]] => 16
[.,[[[[.,.],.],[.,.]],.]] => 16
[.,[[[.,[.,[.,.]]],.],.]] => 32
[.,[[[.,[[.,.],.]],.],.]] => 32
[.,[[[[.,.],[.,.]],.],.]] => 8
[.,[[[[.,[.,.]],.],.],.]] => 32
[.,[[[[[.,.],.],.],.],.]] => 32
[[.,.],[.,[.,[.,[.,.]]]]] => 16
[[.,.],[.,[.,[[.,.],.]]]] => 16
[[.,.],[.,[[.,.],[.,.]]]] => 4
[[.,.],[.,[[.,[.,.]],.]]] => 16
[[.,.],[.,[[[.,.],.],.]]] => 16
[[.,.],[[.,.],[.,[.,.]]]] => 8
[[.,.],[[.,.],[[.,.],.]]] => 8
[[.,.],[[.,[.,.]],[.,.]]] => 8
[[.,.],[[[.,.],.],[.,.]]] => 8
[[.,.],[[.,[.,[.,.]]],.]] => 16
[[.,.],[[.,[[.,.],.]],.]] => 16
[[.,.],[[[.,.],[.,.]],.]] => 4
[[.,.],[[[.,[.,.]],.],.]] => 16
[[.,.],[[[[.,.],.],.],.]] => 16
[[.,[.,.]],[.,[.,[.,.]]]] => 16
[[.,[.,.]],[.,[[.,.],.]]] => 16
[[.,[.,.]],[[.,.],[.,.]]] => 4
[[.,[.,.]],[[.,[.,.]],.]] => 16
[[.,[.,.]],[[[.,.],.],.]] => 16
[[[.,.],.],[.,[.,[.,.]]]] => 16
[[[.,.],.],[.,[[.,.],.]]] => 16
[[[.,.],.],[[.,.],[.,.]]] => 4
[[[.,.],.],[[.,[.,.]],.]] => 16
[[[.,.],.],[[[.,.],.],.]] => 16
[[.,[.,[.,.]]],[.,[.,.]]] => 16
[[.,[.,[.,.]]],[[.,.],.]] => 16
[[.,[[.,.],.]],[.,[.,.]]] => 16
[[.,[[.,.],.]],[[.,.],.]] => 16
[[[.,.],[.,.]],[.,[.,.]]] => 4
[[[.,.],[.,.]],[[.,.],.]] => 4
[[[.,[.,.]],.],[.,[.,.]]] => 16
[[[.,[.,.]],.],[[.,.],.]] => 16
[[[[.,.],.],.],[.,[.,.]]] => 16
[[[[.,.],.],.],[[.,.],.]] => 16
[[.,[.,[.,[.,.]]]],[.,.]] => 16
[[.,[.,[[.,.],.]]],[.,.]] => 16
[[.,[[.,.],[.,.]]],[.,.]] => 4
[[.,[[.,[.,.]],.]],[.,.]] => 16
[[.,[[[.,.],.],.]],[.,.]] => 16
[[[.,.],[.,[.,.]]],[.,.]] => 8
[[[.,.],[[.,.],.]],[.,.]] => 8
[[[.,[.,.]],[.,.]],[.,.]] => 8
[[[[.,.],.],[.,.]],[.,.]] => 8
[[[.,[.,[.,.]]],.],[.,.]] => 16
[[[.,[[.,.],.]],.],[.,.]] => 16
[[[[.,.],[.,.]],.],[.,.]] => 4
[[[[.,[.,.]],.],.],[.,.]] => 16
[[[[[.,.],.],.],.],[.,.]] => 16
[[.,[.,[.,[.,[.,.]]]]],.] => 32
[[.,[.,[.,[[.,.],.]]]],.] => 32
[[.,[.,[[.,.],[.,.]]]],.] => 8
[[.,[.,[[.,[.,.]],.]]],.] => 32
[[.,[.,[[[.,.],.],.]]],.] => 32
[[.,[[.,.],[.,[.,.]]]],.] => 16
[[.,[[.,.],[[.,.],.]]],.] => 16
[[.,[[.,[.,.]],[.,.]]],.] => 16
[[.,[[[.,.],.],[.,.]]],.] => 16
[[.,[[.,[.,[.,.]]],.]],.] => 32
[[.,[[.,[[.,.],.]],.]],.] => 32
[[.,[[[.,.],[.,.]],.]],.] => 8
[[.,[[[.,[.,.]],.],.]],.] => 32
[[.,[[[[.,.],.],.],.]],.] => 32
[[[.,.],[.,[.,[.,.]]]],.] => 16
[[[.,.],[.,[[.,.],.]]],.] => 16
[[[.,.],[[.,.],[.,.]]],.] => 4
[[[.,.],[[.,[.,.]],.]],.] => 16
[[[.,.],[[[.,.],.],.]],.] => 16
[[[.,[.,.]],[.,[.,.]]],.] => 8
[[[.,[.,.]],[[.,.],.]],.] => 8
[[[[.,.],.],[.,[.,.]]],.] => 8
[[[[.,.],.],[[.,.],.]],.] => 8
[[[.,[.,[.,.]]],[.,.]],.] => 16
[[[.,[[.,.],.]],[.,.]],.] => 16
[[[[.,.],[.,.]],[.,.]],.] => 4
[[[[.,[.,.]],.],[.,.]],.] => 16
[[[[[.,.],.],.],[.,.]],.] => 16
[[[.,[.,[.,[.,.]]]],.],.] => 32
[[[.,[.,[[.,.],.]]],.],.] => 32
[[[.,[[.,.],[.,.]]],.],.] => 8
[[[.,[[.,[.,.]],.]],.],.] => 32
[[[.,[[[.,.],.],.]],.],.] => 32
[[[[.,.],[.,[.,.]]],.],.] => 16
[[[[.,.],[[.,.],.]],.],.] => 16
[[[[.,[.,.]],[.,.]],.],.] => 16
[[[[[.,.],.],[.,.]],.],.] => 16
[[[[.,[.,[.,.]]],.],.],.] => 32
[[[[.,[[.,.],.]],.],.],.] => 32
[[[[[.,.],[.,.]],.],.],.] => 8
[[[[[.,[.,.]],.],.],.],.] => 32
[[[[[[.,.],.],.],.],.],.] => 32
[.,[.,[.,[.,[.,[.,[.,.]]]]]]] => 64
[.,[.,[.,[.,[.,[[.,.],.]]]]]] => 64
[.,[.,[.,[.,[[.,.],[.,.]]]]]] => 16
[.,[.,[.,[.,[[.,[.,.]],.]]]]] => 64
[.,[.,[.,[.,[[[.,.],.],.]]]]] => 64
[.,[.,[.,[[.,.],[.,[.,.]]]]]] => 32
[.,[.,[.,[[.,.],[[.,.],.]]]]] => 32
[.,[.,[.,[[.,[.,.]],[.,.]]]]] => 32
[.,[.,[.,[[[.,.],.],[.,.]]]]] => 32
[.,[.,[.,[[.,[.,[.,.]]],.]]]] => 64
[.,[.,[.,[[.,[[.,.],.]],.]]]] => 64
[.,[.,[.,[[[.,.],[.,.]],.]]]] => 16
[.,[.,[.,[[[.,[.,.]],.],.]]]] => 64
[.,[.,[.,[[[[.,.],.],.],.]]]] => 64
[.,[.,[[.,.],[.,[.,[.,.]]]]]] => 32
[.,[.,[[.,.],[.,[[.,.],.]]]]] => 32
[.,[.,[[.,.],[[.,.],[.,.]]]]] => 8
[.,[.,[[.,.],[[.,[.,.]],.]]]] => 32
[.,[.,[[.,.],[[[.,.],.],.]]]] => 32
[.,[.,[[.,[.,.]],[.,[.,.]]]]] => 16
[.,[.,[[.,[.,.]],[[.,.],.]]]] => 16
[.,[.,[[[.,.],.],[.,[.,.]]]]] => 16
[.,[.,[[[.,.],.],[[.,.],.]]]] => 16
[.,[.,[[.,[.,[.,.]]],[.,.]]]] => 32
[.,[.,[[.,[[.,.],.]],[.,.]]]] => 32
[.,[.,[[[.,.],[.,.]],[.,.]]]] => 8
[.,[.,[[[.,[.,.]],.],[.,.]]]] => 32
[.,[.,[[[[.,.],.],.],[.,.]]]] => 32
[.,[.,[[.,[.,[.,[.,.]]]],.]]] => 64
[.,[.,[[.,[.,[[.,.],.]]],.]]] => 64
[.,[.,[[.,[[.,.],[.,.]]],.]]] => 16
[.,[.,[[.,[[.,[.,.]],.]],.]]] => 64
[.,[.,[[.,[[[.,.],.],.]],.]]] => 64
[.,[.,[[[.,.],[.,[.,.]]],.]]] => 32
[.,[.,[[[.,.],[[.,.],.]],.]]] => 32
[.,[.,[[[.,[.,.]],[.,.]],.]]] => 32
[.,[.,[[[[.,.],.],[.,.]],.]]] => 32
[.,[.,[[[.,[.,[.,.]]],.],.]]] => 64
[.,[.,[[[.,[[.,.],.]],.],.]]] => 64
[.,[.,[[[[.,.],[.,.]],.],.]]] => 16
[.,[.,[[[[.,[.,.]],.],.],.]]] => 64
[.,[.,[[[[[.,.],.],.],.],.]]] => 64
[.,[[.,.],[.,[.,[.,[.,.]]]]]] => 32
[.,[[.,.],[.,[.,[[.,.],.]]]]] => 32
[.,[[.,.],[.,[[.,.],[.,.]]]]] => 8
[.,[[.,.],[.,[[.,[.,.]],.]]]] => 32
[.,[[.,.],[.,[[[.,.],.],.]]]] => 32
[.,[[.,.],[[.,.],[.,[.,.]]]]] => 16
[.,[[.,.],[[.,.],[[.,.],.]]]] => 16
[.,[[.,.],[[.,[.,.]],[.,.]]]] => 16
[.,[[.,.],[[[.,.],.],[.,.]]]] => 16
[.,[[.,.],[[.,[.,[.,.]]],.]]] => 32
[.,[[.,.],[[.,[[.,.],.]],.]]] => 32
[.,[[.,.],[[[.,.],[.,.]],.]]] => 8
[.,[[.,.],[[[.,[.,.]],.],.]]] => 32
[.,[[.,.],[[[[.,.],.],.],.]]] => 32
[.,[[.,[.,.]],[.,[.,[.,.]]]]] => 32
[.,[[.,[.,.]],[.,[[.,.],.]]]] => 32
[.,[[.,[.,.]],[[.,.],[.,.]]]] => 8
[.,[[.,[.,.]],[[.,[.,.]],.]]] => 32
[.,[[.,[.,.]],[[[.,.],.],.]]] => 32
[.,[[[.,.],.],[.,[.,[.,.]]]]] => 32
[.,[[[.,.],.],[.,[[.,.],.]]]] => 32
[.,[[[.,.],.],[[.,.],[.,.]]]] => 8
[.,[[[.,.],.],[[.,[.,.]],.]]] => 32
[.,[[[.,.],.],[[[.,.],.],.]]] => 32
[.,[[.,[.,[.,.]]],[.,[.,.]]]] => 32
[.,[[.,[.,[.,.]]],[[.,.],.]]] => 32
[.,[[.,[[.,.],.]],[.,[.,.]]]] => 32
[.,[[.,[[.,.],.]],[[.,.],.]]] => 32
[.,[[[.,.],[.,.]],[.,[.,.]]]] => 8
[.,[[[.,.],[.,.]],[[.,.],.]]] => 8
[.,[[[.,[.,.]],.],[.,[.,.]]]] => 32
[.,[[[.,[.,.]],.],[[.,.],.]]] => 32
[.,[[[[.,.],.],.],[.,[.,.]]]] => 32
[.,[[[[.,.],.],.],[[.,.],.]]] => 32
[.,[[.,[.,[.,[.,.]]]],[.,.]]] => 32
[.,[[.,[.,[[.,.],.]]],[.,.]]] => 32
[.,[[.,[[.,.],[.,.]]],[.,.]]] => 8
[.,[[.,[[.,[.,.]],.]],[.,.]]] => 32
[.,[[.,[[[.,.],.],.]],[.,.]]] => 32
[.,[[[.,.],[.,[.,.]]],[.,.]]] => 16
[.,[[[.,.],[[.,.],.]],[.,.]]] => 16
[.,[[[.,[.,.]],[.,.]],[.,.]]] => 16
[.,[[[[.,.],.],[.,.]],[.,.]]] => 16
[.,[[[.,[.,[.,.]]],.],[.,.]]] => 32
[.,[[[.,[[.,.],.]],.],[.,.]]] => 32
[.,[[[[.,.],[.,.]],.],[.,.]]] => 8
[.,[[[[.,[.,.]],.],.],[.,.]]] => 32
[.,[[[[[.,.],.],.],.],[.,.]]] => 32
[.,[[.,[.,[.,[.,[.,.]]]]],.]] => 64
[.,[[.,[.,[.,[[.,.],.]]]],.]] => 64
[.,[[.,[.,[[.,.],[.,.]]]],.]] => 16
[.,[[.,[.,[[.,[.,.]],.]]],.]] => 64
[.,[[.,[.,[[[.,.],.],.]]],.]] => 64
[.,[[.,[[.,.],[.,[.,.]]]],.]] => 32
[.,[[.,[[.,.],[[.,.],.]]],.]] => 32
[.,[[.,[[.,[.,.]],[.,.]]],.]] => 32
[.,[[.,[[[.,.],.],[.,.]]],.]] => 32
[.,[[.,[[.,[.,[.,.]]],.]],.]] => 64
[.,[[.,[[.,[[.,.],.]],.]],.]] => 64
[.,[[.,[[[.,.],[.,.]],.]],.]] => 16
[.,[[.,[[[.,[.,.]],.],.]],.]] => 64
[.,[[.,[[[[.,.],.],.],.]],.]] => 64
[.,[[[.,.],[.,[.,[.,.]]]],.]] => 32
[.,[[[.,.],[.,[[.,.],.]]],.]] => 32
[.,[[[.,.],[[.,.],[.,.]]],.]] => 8
[.,[[[.,.],[[.,[.,.]],.]],.]] => 32
[.,[[[.,.],[[[.,.],.],.]],.]] => 32
[.,[[[.,[.,.]],[.,[.,.]]],.]] => 16
[.,[[[.,[.,.]],[[.,.],.]],.]] => 16
[.,[[[[.,.],.],[.,[.,.]]],.]] => 16
[.,[[[[.,.],.],[[.,.],.]],.]] => 16
[.,[[[.,[.,[.,.]]],[.,.]],.]] => 32
[.,[[[.,[[.,.],.]],[.,.]],.]] => 32
[.,[[[[.,.],[.,.]],[.,.]],.]] => 8
[.,[[[[.,[.,.]],.],[.,.]],.]] => 32
[.,[[[[[.,.],.],.],[.,.]],.]] => 32
[.,[[[.,[.,[.,[.,.]]]],.],.]] => 64
[.,[[[.,[.,[[.,.],.]]],.],.]] => 64
[.,[[[.,[[.,.],[.,.]]],.],.]] => 16
[.,[[[.,[[.,[.,.]],.]],.],.]] => 64
[.,[[[.,[[[.,.],.],.]],.],.]] => 64
[.,[[[[.,.],[.,[.,.]]],.],.]] => 32
[.,[[[[.,.],[[.,.],.]],.],.]] => 32
[.,[[[[.,[.,.]],[.,.]],.],.]] => 32
[.,[[[[[.,.],.],[.,.]],.],.]] => 32
[.,[[[[.,[.,[.,.]]],.],.],.]] => 64
[.,[[[[.,[[.,.],.]],.],.],.]] => 64
[.,[[[[[.,.],[.,.]],.],.],.]] => 16
[.,[[[[[.,[.,.]],.],.],.],.]] => 64
[.,[[[[[[.,.],.],.],.],.],.]] => 64
[[.,.],[.,[.,[.,[.,[.,.]]]]]] => 32
[[.,.],[.,[.,[.,[[.,.],.]]]]] => 32
[[.,.],[.,[.,[[.,.],[.,.]]]]] => 8
[[.,.],[.,[.,[[.,[.,.]],.]]]] => 32
[[.,.],[.,[.,[[[.,.],.],.]]]] => 32
[[.,.],[.,[[.,.],[.,[.,.]]]]] => 16
[[.,.],[.,[[.,.],[[.,.],.]]]] => 16
[[.,.],[.,[[.,[.,.]],[.,.]]]] => 16
[[.,.],[.,[[[.,.],.],[.,.]]]] => 16
[[.,.],[.,[[.,[.,[.,.]]],.]]] => 32
[[.,.],[.,[[.,[[.,.],.]],.]]] => 32
[[.,.],[.,[[[.,.],[.,.]],.]]] => 8
[[.,.],[.,[[[.,[.,.]],.],.]]] => 32
[[.,.],[.,[[[[.,.],.],.],.]]] => 32
[[.,.],[[.,.],[.,[.,[.,.]]]]] => 16
[[.,.],[[.,.],[.,[[.,.],.]]]] => 16
[[.,.],[[.,.],[[.,.],[.,.]]]] => 4
[[.,.],[[.,.],[[.,[.,.]],.]]] => 16
[[.,.],[[.,.],[[[.,.],.],.]]] => 16
[[.,.],[[.,[.,.]],[.,[.,.]]]] => 8
[[.,.],[[.,[.,.]],[[.,.],.]]] => 8
[[.,.],[[[.,.],.],[.,[.,.]]]] => 8
[[.,.],[[[.,.],.],[[.,.],.]]] => 8
[[.,.],[[.,[.,[.,.]]],[.,.]]] => 16
[[.,.],[[.,[[.,.],.]],[.,.]]] => 16
[[.,.],[[[.,.],[.,.]],[.,.]]] => 4
[[.,.],[[[.,[.,.]],.],[.,.]]] => 16
[[.,.],[[[[.,.],.],.],[.,.]]] => 16
[[.,.],[[.,[.,[.,[.,.]]]],.]] => 32
[[.,.],[[.,[.,[[.,.],.]]],.]] => 32
[[.,.],[[.,[[.,.],[.,.]]],.]] => 8
[[.,.],[[.,[[.,[.,.]],.]],.]] => 32
[[.,.],[[.,[[[.,.],.],.]],.]] => 32
[[.,.],[[[.,.],[.,[.,.]]],.]] => 16
[[.,.],[[[.,.],[[.,.],.]],.]] => 16
[[.,.],[[[.,[.,.]],[.,.]],.]] => 16
[[.,.],[[[[.,.],.],[.,.]],.]] => 16
[[.,.],[[[.,[.,[.,.]]],.],.]] => 32
[[.,.],[[[.,[[.,.],.]],.],.]] => 32
[[.,.],[[[[.,.],[.,.]],.],.]] => 8
[[.,.],[[[[.,[.,.]],.],.],.]] => 32
[[.,.],[[[[[.,.],.],.],.],.]] => 32
[[.,[.,.]],[.,[.,[.,[.,.]]]]] => 32
[[.,[.,.]],[.,[.,[[.,.],.]]]] => 32
[[.,[.,.]],[.,[[.,.],[.,.]]]] => 8
[[.,[.,.]],[.,[[.,[.,.]],.]]] => 32
[[.,[.,.]],[.,[[[.,.],.],.]]] => 32
[[.,[.,.]],[[.,.],[.,[.,.]]]] => 16
[[.,[.,.]],[[.,.],[[.,.],.]]] => 16
[[.,[.,.]],[[.,[.,.]],[.,.]]] => 16
[[.,[.,.]],[[[.,.],.],[.,.]]] => 16
[[.,[.,.]],[[.,[.,[.,.]]],.]] => 32
[[.,[.,.]],[[.,[[.,.],.]],.]] => 32
[[.,[.,.]],[[[.,.],[.,.]],.]] => 8
[[.,[.,.]],[[[.,[.,.]],.],.]] => 32
[[.,[.,.]],[[[[.,.],.],.],.]] => 32
[[[.,.],.],[.,[.,[.,[.,.]]]]] => 32
[[[.,.],.],[.,[.,[[.,.],.]]]] => 32
[[[.,.],.],[.,[[.,.],[.,.]]]] => 8
[[[.,.],.],[.,[[.,[.,.]],.]]] => 32
[[[.,.],.],[.,[[[.,.],.],.]]] => 32
[[[.,.],.],[[.,.],[.,[.,.]]]] => 16
[[[.,.],.],[[.,.],[[.,.],.]]] => 16
[[[.,.],.],[[.,[.,.]],[.,.]]] => 16
[[[.,.],.],[[[.,.],.],[.,.]]] => 16
[[[.,.],.],[[.,[.,[.,.]]],.]] => 32
[[[.,.],.],[[.,[[.,.],.]],.]] => 32
[[[.,.],.],[[[.,.],[.,.]],.]] => 8
[[[.,.],.],[[[.,[.,.]],.],.]] => 32
[[[.,.],.],[[[[.,.],.],.],.]] => 32
[[.,[.,[.,.]]],[.,[.,[.,.]]]] => 16
[[.,[.,[.,.]]],[.,[[.,.],.]]] => 16
[[.,[.,[.,.]]],[[.,.],[.,.]]] => 8
[[.,[.,[.,.]]],[[.,[.,.]],.]] => 16
[[.,[.,[.,.]]],[[[.,.],.],.]] => 16
[[.,[[.,.],.]],[.,[.,[.,.]]]] => 16
[[.,[[.,.],.]],[.,[[.,.],.]]] => 16
[[.,[[.,.],.]],[[.,.],[.,.]]] => 8
[[.,[[.,.],.]],[[.,[.,.]],.]] => 16
[[.,[[.,.],.]],[[[.,.],.],.]] => 16
[[[.,.],[.,.]],[.,[.,[.,.]]]] => 8
[[[.,.],[.,.]],[.,[[.,.],.]]] => 8
[[[.,.],[.,.]],[[.,.],[.,.]]] => 1
[[[.,.],[.,.]],[[.,[.,.]],.]] => 8
[[[.,.],[.,.]],[[[.,.],.],.]] => 8
[[[.,[.,.]],.],[.,[.,[.,.]]]] => 16
[[[.,[.,.]],.],[.,[[.,.],.]]] => 16
[[[.,[.,.]],.],[[.,.],[.,.]]] => 8
[[[.,[.,.]],.],[[.,[.,.]],.]] => 16
[[[.,[.,.]],.],[[[.,.],.],.]] => 16
[[[[.,.],.],.],[.,[.,[.,.]]]] => 16
[[[[.,.],.],.],[.,[[.,.],.]]] => 16
[[[[.,.],.],.],[[.,.],[.,.]]] => 8
[[[[.,.],.],.],[[.,[.,.]],.]] => 16
[[[[.,.],.],.],[[[.,.],.],.]] => 16
[[.,[.,[.,[.,.]]]],[.,[.,.]]] => 32
[[.,[.,[.,[.,.]]]],[[.,.],.]] => 32
[[.,[.,[[.,.],.]]],[.,[.,.]]] => 32
[[.,[.,[[.,.],.]]],[[.,.],.]] => 32
[[.,[[.,.],[.,.]]],[.,[.,.]]] => 8
[[.,[[.,.],[.,.]]],[[.,.],.]] => 8
[[.,[[.,[.,.]],.]],[.,[.,.]]] => 32
[[.,[[.,[.,.]],.]],[[.,.],.]] => 32
[[.,[[[.,.],.],.]],[.,[.,.]]] => 32
[[.,[[[.,.],.],.]],[[.,.],.]] => 32
[[[.,.],[.,[.,.]]],[.,[.,.]]] => 16
[[[.,.],[.,[.,.]]],[[.,.],.]] => 16
[[[.,.],[[.,.],.]],[.,[.,.]]] => 16
[[[.,.],[[.,.],.]],[[.,.],.]] => 16
[[[.,[.,.]],[.,.]],[.,[.,.]]] => 16
[[[.,[.,.]],[.,.]],[[.,.],.]] => 16
[[[[.,.],.],[.,.]],[.,[.,.]]] => 16
[[[[.,.],.],[.,.]],[[.,.],.]] => 16
[[[.,[.,[.,.]]],.],[.,[.,.]]] => 32
[[[.,[.,[.,.]]],.],[[.,.],.]] => 32
[[[.,[[.,.],.]],.],[.,[.,.]]] => 32
[[[.,[[.,.],.]],.],[[.,.],.]] => 32
[[[[.,.],[.,.]],.],[.,[.,.]]] => 8
[[[[.,.],[.,.]],.],[[.,.],.]] => 8
[[[[.,[.,.]],.],.],[.,[.,.]]] => 32
[[[[.,[.,.]],.],.],[[.,.],.]] => 32
[[[[[.,.],.],.],.],[.,[.,.]]] => 32
[[[[[.,.],.],.],.],[[.,.],.]] => 32
[[.,[.,[.,[.,[.,.]]]]],[.,.]] => 32
[[.,[.,[.,[[.,.],.]]]],[.,.]] => 32
[[.,[.,[[.,.],[.,.]]]],[.,.]] => 8
[[.,[.,[[.,[.,.]],.]]],[.,.]] => 32
[[.,[.,[[[.,.],.],.]]],[.,.]] => 32
[[.,[[.,.],[.,[.,.]]]],[.,.]] => 16
[[.,[[.,.],[[.,.],.]]],[.,.]] => 16
[[.,[[.,[.,.]],[.,.]]],[.,.]] => 16
[[.,[[[.,.],.],[.,.]]],[.,.]] => 16
[[.,[[.,[.,[.,.]]],.]],[.,.]] => 32
[[.,[[.,[[.,.],.]],.]],[.,.]] => 32
[[.,[[[.,.],[.,.]],.]],[.,.]] => 8
[[.,[[[.,[.,.]],.],.]],[.,.]] => 32
[[.,[[[[.,.],.],.],.]],[.,.]] => 32
[[[.,.],[.,[.,[.,.]]]],[.,.]] => 16
[[[.,.],[.,[[.,.],.]]],[.,.]] => 16
[[[.,.],[[.,.],[.,.]]],[.,.]] => 4
[[[.,.],[[.,[.,.]],.]],[.,.]] => 16
[[[.,.],[[[.,.],.],.]],[.,.]] => 16
[[[.,[.,.]],[.,[.,.]]],[.,.]] => 8
[[[.,[.,.]],[[.,.],.]],[.,.]] => 8
[[[[.,.],.],[.,[.,.]]],[.,.]] => 8
[[[[.,.],.],[[.,.],.]],[.,.]] => 8
[[[.,[.,[.,.]]],[.,.]],[.,.]] => 16
[[[.,[[.,.],.]],[.,.]],[.,.]] => 16
[[[[.,.],[.,.]],[.,.]],[.,.]] => 4
[[[[.,[.,.]],.],[.,.]],[.,.]] => 16
[[[[[.,.],.],.],[.,.]],[.,.]] => 16
[[[.,[.,[.,[.,.]]]],.],[.,.]] => 32
[[[.,[.,[[.,.],.]]],.],[.,.]] => 32
[[[.,[[.,.],[.,.]]],.],[.,.]] => 8
[[[.,[[.,[.,.]],.]],.],[.,.]] => 32
[[[.,[[[.,.],.],.]],.],[.,.]] => 32
[[[[.,.],[.,[.,.]]],.],[.,.]] => 16
[[[[.,.],[[.,.],.]],.],[.,.]] => 16
[[[[.,[.,.]],[.,.]],.],[.,.]] => 16
[[[[[.,.],.],[.,.]],.],[.,.]] => 16
[[[[.,[.,[.,.]]],.],.],[.,.]] => 32
[[[[.,[[.,.],.]],.],.],[.,.]] => 32
[[[[[.,.],[.,.]],.],.],[.,.]] => 8
[[[[[.,[.,.]],.],.],.],[.,.]] => 32
[[[[[[.,.],.],.],.],.],[.,.]] => 32
[[.,[.,[.,[.,[.,[.,.]]]]]],.] => 64
[[.,[.,[.,[.,[[.,.],.]]]]],.] => 64
[[.,[.,[.,[[.,.],[.,.]]]]],.] => 16
[[.,[.,[.,[[.,[.,.]],.]]]],.] => 64
[[.,[.,[.,[[[.,.],.],.]]]],.] => 64
[[.,[.,[[.,.],[.,[.,.]]]]],.] => 32
[[.,[.,[[.,.],[[.,.],.]]]],.] => 32
[[.,[.,[[.,[.,.]],[.,.]]]],.] => 32
[[.,[.,[[[.,.],.],[.,.]]]],.] => 32
[[.,[.,[[.,[.,[.,.]]],.]]],.] => 64
[[.,[.,[[.,[[.,.],.]],.]]],.] => 64
[[.,[.,[[[.,.],[.,.]],.]]],.] => 16
[[.,[.,[[[.,[.,.]],.],.]]],.] => 64
[[.,[.,[[[[.,.],.],.],.]]],.] => 64
[[.,[[.,.],[.,[.,[.,.]]]]],.] => 32
[[.,[[.,.],[.,[[.,.],.]]]],.] => 32
[[.,[[.,.],[[.,.],[.,.]]]],.] => 8
[[.,[[.,.],[[.,[.,.]],.]]],.] => 32
[[.,[[.,.],[[[.,.],.],.]]],.] => 32
[[.,[[.,[.,.]],[.,[.,.]]]],.] => 16
[[.,[[.,[.,.]],[[.,.],.]]],.] => 16
[[.,[[[.,.],.],[.,[.,.]]]],.] => 16
[[.,[[[.,.],.],[[.,.],.]]],.] => 16
[[.,[[.,[.,[.,.]]],[.,.]]],.] => 32
[[.,[[.,[[.,.],.]],[.,.]]],.] => 32
[[.,[[[.,.],[.,.]],[.,.]]],.] => 8
[[.,[[[.,[.,.]],.],[.,.]]],.] => 32
[[.,[[[[.,.],.],.],[.,.]]],.] => 32
[[.,[[.,[.,[.,[.,.]]]],.]],.] => 64
[[.,[[.,[.,[[.,.],.]]],.]],.] => 64
[[.,[[.,[[.,.],[.,.]]],.]],.] => 16
[[.,[[.,[[.,[.,.]],.]],.]],.] => 64
[[.,[[.,[[[.,.],.],.]],.]],.] => 64
[[.,[[[.,.],[.,[.,.]]],.]],.] => 32
[[.,[[[.,.],[[.,.],.]],.]],.] => 32
[[.,[[[.,[.,.]],[.,.]],.]],.] => 32
[[.,[[[[.,.],.],[.,.]],.]],.] => 32
[[.,[[[.,[.,[.,.]]],.],.]],.] => 64
[[.,[[[.,[[.,.],.]],.],.]],.] => 64
[[.,[[[[.,.],[.,.]],.],.]],.] => 16
[[.,[[[[.,[.,.]],.],.],.]],.] => 64
[[.,[[[[[.,.],.],.],.],.]],.] => 64
[[[.,.],[.,[.,[.,[.,.]]]]],.] => 32
[[[.,.],[.,[.,[[.,.],.]]]],.] => 32
[[[.,.],[.,[[.,.],[.,.]]]],.] => 8
[[[.,.],[.,[[.,[.,.]],.]]],.] => 32
[[[.,.],[.,[[[.,.],.],.]]],.] => 32
[[[.,.],[[.,.],[.,[.,.]]]],.] => 16
[[[.,.],[[.,.],[[.,.],.]]],.] => 16
[[[.,.],[[.,[.,.]],[.,.]]],.] => 16
[[[.,.],[[[.,.],.],[.,.]]],.] => 16
[[[.,.],[[.,[.,[.,.]]],.]],.] => 32
[[[.,.],[[.,[[.,.],.]],.]],.] => 32
[[[.,.],[[[.,.],[.,.]],.]],.] => 8
[[[.,.],[[[.,[.,.]],.],.]],.] => 32
[[[.,.],[[[[.,.],.],.],.]],.] => 32
[[[.,[.,.]],[.,[.,[.,.]]]],.] => 32
[[[.,[.,.]],[.,[[.,.],.]]],.] => 32
[[[.,[.,.]],[[.,.],[.,.]]],.] => 8
[[[.,[.,.]],[[.,[.,.]],.]],.] => 32
[[[.,[.,.]],[[[.,.],.],.]],.] => 32
[[[[.,.],.],[.,[.,[.,.]]]],.] => 32
[[[[.,.],.],[.,[[.,.],.]]],.] => 32
[[[[.,.],.],[[.,.],[.,.]]],.] => 8
[[[[.,.],.],[[.,[.,.]],.]],.] => 32
[[[[.,.],.],[[[.,.],.],.]],.] => 32
[[[.,[.,[.,.]]],[.,[.,.]]],.] => 32
[[[.,[.,[.,.]]],[[.,.],.]],.] => 32
[[[.,[[.,.],.]],[.,[.,.]]],.] => 32
[[[.,[[.,.],.]],[[.,.],.]],.] => 32
[[[[.,.],[.,.]],[.,[.,.]]],.] => 8
[[[[.,.],[.,.]],[[.,.],.]],.] => 8
[[[[.,[.,.]],.],[.,[.,.]]],.] => 32
[[[[.,[.,.]],.],[[.,.],.]],.] => 32
[[[[[.,.],.],.],[.,[.,.]]],.] => 32
[[[[[.,.],.],.],[[.,.],.]],.] => 32
[[[.,[.,[.,[.,.]]]],[.,.]],.] => 32
[[[.,[.,[[.,.],.]]],[.,.]],.] => 32
[[[.,[[.,.],[.,.]]],[.,.]],.] => 8
[[[.,[[.,[.,.]],.]],[.,.]],.] => 32
[[[.,[[[.,.],.],.]],[.,.]],.] => 32
[[[[.,.],[.,[.,.]]],[.,.]],.] => 16
[[[[.,.],[[.,.],.]],[.,.]],.] => 16
[[[[.,[.,.]],[.,.]],[.,.]],.] => 16
[[[[[.,.],.],[.,.]],[.,.]],.] => 16
[[[[.,[.,[.,.]]],.],[.,.]],.] => 32
[[[[.,[[.,.],.]],.],[.,.]],.] => 32
[[[[[.,.],[.,.]],.],[.,.]],.] => 8
[[[[[.,[.,.]],.],.],[.,.]],.] => 32
[[[[[[.,.],.],.],.],[.,.]],.] => 32
[[[.,[.,[.,[.,[.,.]]]]],.],.] => 64
[[[.,[.,[.,[[.,.],.]]]],.],.] => 64
[[[.,[.,[[.,.],[.,.]]]],.],.] => 16
[[[.,[.,[[.,[.,.]],.]]],.],.] => 64
[[[.,[.,[[[.,.],.],.]]],.],.] => 64
[[[.,[[.,.],[.,[.,.]]]],.],.] => 32
[[[.,[[.,.],[[.,.],.]]],.],.] => 32
[[[.,[[.,[.,.]],[.,.]]],.],.] => 32
[[[.,[[[.,.],.],[.,.]]],.],.] => 32
[[[.,[[.,[.,[.,.]]],.]],.],.] => 64
[[[.,[[.,[[.,.],.]],.]],.],.] => 64
[[[.,[[[.,.],[.,.]],.]],.],.] => 16
[[[.,[[[.,[.,.]],.],.]],.],.] => 64
[[[.,[[[[.,.],.],.],.]],.],.] => 64
[[[[.,.],[.,[.,[.,.]]]],.],.] => 32
[[[[.,.],[.,[[.,.],.]]],.],.] => 32
[[[[.,.],[[.,.],[.,.]]],.],.] => 8
[[[[.,.],[[.,[.,.]],.]],.],.] => 32
[[[[.,.],[[[.,.],.],.]],.],.] => 32
[[[[.,[.,.]],[.,[.,.]]],.],.] => 16
[[[[.,[.,.]],[[.,.],.]],.],.] => 16
[[[[[.,.],.],[.,[.,.]]],.],.] => 16
[[[[[.,.],.],[[.,.],.]],.],.] => 16
[[[[.,[.,[.,.]]],[.,.]],.],.] => 32
[[[[.,[[.,.],.]],[.,.]],.],.] => 32
[[[[[.,.],[.,.]],[.,.]],.],.] => 8
[[[[[.,[.,.]],.],[.,.]],.],.] => 32
[[[[[[.,.],.],.],[.,.]],.],.] => 32
[[[[.,[.,[.,[.,.]]]],.],.],.] => 64
[[[[.,[.,[[.,.],.]]],.],.],.] => 64
[[[[.,[[.,.],[.,.]]],.],.],.] => 16
[[[[.,[[.,[.,.]],.]],.],.],.] => 64
[[[[.,[[[.,.],.],.]],.],.],.] => 64
[[[[[.,.],[.,[.,.]]],.],.],.] => 32
[[[[[.,.],[[.,.],.]],.],.],.] => 32
[[[[[.,[.,.]],[.,.]],.],.],.] => 32
[[[[[[.,.],.],[.,.]],.],.],.] => 32
[[[[[.,[.,[.,.]]],.],.],.],.] => 64
[[[[[.,[[.,.],.]],.],.],.],.] => 64
[[[[[[.,.],[.,.]],.],.],.],.] => 16
[[[[[[.,[.,.]],.],.],.],.],.] => 64
[[[[[[[.,.],.],.],.],.],.],.] => 64
[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]] => 128
[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]] => 128
[.,[.,[.,[.,[.,[[.,.],[.,.]]]]]]] => 32
[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]] => 128
[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]] => 128
[.,[.,[.,[.,[[.,.],[.,[.,.]]]]]]] => 64
[.,[.,[.,[.,[[.,.],[[.,.],.]]]]]] => 64
[.,[.,[.,[.,[[.,[.,.]],[.,.]]]]]] => 64
[.,[.,[.,[.,[[[.,.],.],[.,.]]]]]] => 64
[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]] => 128
[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]] => 128
[.,[.,[.,[.,[[[.,.],[.,.]],.]]]]] => 32
[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]] => 128
[.,[.,[.,[.,[[[[.,.],.],.],.]]]]] => 128
[.,[.,[.,[[.,.],[.,[.,[.,.]]]]]]] => 64
[.,[.,[.,[[.,.],[.,[[.,.],.]]]]]] => 64
[.,[.,[.,[[.,.],[[.,.],[.,.]]]]]] => 16
[.,[.,[.,[[.,.],[[.,[.,.]],.]]]]] => 64
[.,[.,[.,[[.,.],[[[.,.],.],.]]]]] => 64
[.,[.,[.,[[.,[.,.]],[.,[.,.]]]]]] => 32
[.,[.,[.,[[.,[.,.]],[[.,.],.]]]]] => 32
[.,[.,[.,[[[.,.],.],[.,[.,.]]]]]] => 32
[.,[.,[.,[[[.,.],.],[[.,.],.]]]]] => 32
[.,[.,[.,[[.,[.,[.,.]]],[.,.]]]]] => 64
[.,[.,[.,[[.,[[.,.],.]],[.,.]]]]] => 64
[.,[.,[.,[[[.,.],[.,.]],[.,.]]]]] => 16
[.,[.,[.,[[[.,[.,.]],.],[.,.]]]]] => 64
[.,[.,[.,[[[[.,.],.],.],[.,.]]]]] => 64
[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]] => 128
[.,[.,[.,[[.,[.,[[.,.],.]]],.]]]] => 128
[.,[.,[.,[[.,[[.,.],[.,.]]],.]]]] => 32
[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]] => 128
[.,[.,[.,[[.,[[[.,.],.],.]],.]]]] => 128
[.,[.,[.,[[[.,.],[.,[.,.]]],.]]]] => 64
[.,[.,[.,[[[.,.],[[.,.],.]],.]]]] => 64
[.,[.,[.,[[[.,[.,.]],[.,.]],.]]]] => 64
[.,[.,[.,[[[[.,.],.],[.,.]],.]]]] => 64
[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]] => 128
[.,[.,[.,[[[.,[[.,.],.]],.],.]]]] => 128
[.,[.,[.,[[[[.,.],[.,.]],.],.]]]] => 32
[.,[.,[.,[[[[.,[.,.]],.],.],.]]]] => 128
[.,[.,[.,[[[[[.,.],.],.],.],.]]]] => 128
[.,[.,[[.,.],[.,[.,[.,[.,.]]]]]]] => 64
[.,[.,[[.,.],[.,[.,[[.,.],.]]]]]] => 64
[.,[.,[[.,.],[.,[[.,.],[.,.]]]]]] => 16
[.,[.,[[.,.],[.,[[.,[.,.]],.]]]]] => 64
[.,[.,[[.,.],[.,[[[.,.],.],.]]]]] => 64
[.,[.,[[.,.],[[.,.],[.,[.,.]]]]]] => 32
[.,[.,[[.,.],[[.,.],[[.,.],.]]]]] => 32
[.,[.,[[.,.],[[.,[.,.]],[.,.]]]]] => 32
[.,[.,[[.,.],[[[.,.],.],[.,.]]]]] => 32
[.,[.,[[.,.],[[.,[.,[.,.]]],.]]]] => 64
[.,[.,[[.,.],[[.,[[.,.],.]],.]]]] => 64
[.,[.,[[.,.],[[[.,.],[.,.]],.]]]] => 16
[.,[.,[[.,.],[[[.,[.,.]],.],.]]]] => 64
[.,[.,[[.,.],[[[[.,.],.],.],.]]]] => 64
[.,[.,[[.,[.,.]],[.,[.,[.,.]]]]]] => 64
[.,[.,[[.,[.,.]],[.,[[.,.],.]]]]] => 64
[.,[.,[[.,[.,.]],[[.,.],[.,.]]]]] => 16
[.,[.,[[.,[.,.]],[[.,[.,.]],.]]]] => 64
[.,[.,[[.,[.,.]],[[[.,.],.],.]]]] => 64
[.,[.,[[[.,.],.],[.,[.,[.,.]]]]]] => 64
[.,[.,[[[.,.],.],[.,[[.,.],.]]]]] => 64
[.,[.,[[[.,.],.],[[.,.],[.,.]]]]] => 16
[.,[.,[[[.,.],.],[[.,[.,.]],.]]]] => 64
[.,[.,[[[.,.],.],[[[.,.],.],.]]]] => 64
[.,[.,[[.,[.,[.,.]]],[.,[.,.]]]]] => 64
[.,[.,[[.,[.,[.,.]]],[[.,.],.]]]] => 64
[.,[.,[[.,[[.,.],.]],[.,[.,.]]]]] => 64
[.,[.,[[.,[[.,.],.]],[[.,.],.]]]] => 64
[.,[.,[[[.,.],[.,.]],[.,[.,.]]]]] => 16
[.,[.,[[[.,.],[.,.]],[[.,.],.]]]] => 16
[.,[.,[[[.,[.,.]],.],[.,[.,.]]]]] => 64
[.,[.,[[[.,[.,.]],.],[[.,.],.]]]] => 64
[.,[.,[[[[.,.],.],.],[.,[.,.]]]]] => 64
[.,[.,[[[[.,.],.],.],[[.,.],.]]]] => 64
[.,[.,[[.,[.,[.,[.,.]]]],[.,.]]]] => 64
[.,[.,[[.,[.,[[.,.],.]]],[.,.]]]] => 64
[.,[.,[[.,[[.,.],[.,.]]],[.,.]]]] => 16
[.,[.,[[.,[[.,[.,.]],.]],[.,.]]]] => 64
[.,[.,[[.,[[[.,.],.],.]],[.,.]]]] => 64
[.,[.,[[[.,.],[.,[.,.]]],[.,.]]]] => 32
[.,[.,[[[.,.],[[.,.],.]],[.,.]]]] => 32
[.,[.,[[[.,[.,.]],[.,.]],[.,.]]]] => 32
[.,[.,[[[[.,.],.],[.,.]],[.,.]]]] => 32
[.,[.,[[[.,[.,[.,.]]],.],[.,.]]]] => 64
[.,[.,[[[.,[[.,.],.]],.],[.,.]]]] => 64
[.,[.,[[[[.,.],[.,.]],.],[.,.]]]] => 16
[.,[.,[[[[.,[.,.]],.],.],[.,.]]]] => 64
[.,[.,[[[[[.,.],.],.],.],[.,.]]]] => 64
[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]] => 128
[.,[.,[[.,[.,[.,[[.,.],.]]]],.]]] => 128
[.,[.,[[.,[.,[[.,.],[.,.]]]],.]]] => 32
[.,[.,[[.,[.,[[.,[.,.]],.]]],.]]] => 128
[.,[.,[[.,[.,[[[.,.],.],.]]],.]]] => 128
[.,[.,[[.,[[.,.],[.,[.,.]]]],.]]] => 64
[.,[.,[[.,[[.,.],[[.,.],.]]],.]]] => 64
[.,[.,[[.,[[.,[.,.]],[.,.]]],.]]] => 64
[.,[.,[[.,[[[.,.],.],[.,.]]],.]]] => 64
[.,[.,[[.,[[.,[.,[.,.]]],.]],.]]] => 128
[.,[.,[[.,[[.,[[.,.],.]],.]],.]]] => 128
[.,[.,[[.,[[[.,.],[.,.]],.]],.]]] => 32
[.,[.,[[.,[[[.,[.,.]],.],.]],.]]] => 128
[.,[.,[[.,[[[[.,.],.],.],.]],.]]] => 128
[.,[.,[[[.,.],[.,[.,[.,.]]]],.]]] => 64
[.,[.,[[[.,.],[.,[[.,.],.]]],.]]] => 64
[.,[.,[[[.,.],[[.,.],[.,.]]],.]]] => 16
[.,[.,[[[.,.],[[.,[.,.]],.]],.]]] => 64
[.,[.,[[[.,.],[[[.,.],.],.]],.]]] => 64
[.,[.,[[[.,[.,.]],[.,[.,.]]],.]]] => 32
[.,[.,[[[.,[.,.]],[[.,.],.]],.]]] => 32
[.,[.,[[[[.,.],.],[.,[.,.]]],.]]] => 32
[.,[.,[[[[.,.],.],[[.,.],.]],.]]] => 32
[.,[.,[[[.,[.,[.,.]]],[.,.]],.]]] => 64
[.,[.,[[[.,[[.,.],.]],[.,.]],.]]] => 64
[.,[.,[[[[.,.],[.,.]],[.,.]],.]]] => 16
[.,[.,[[[[.,[.,.]],.],[.,.]],.]]] => 64
[.,[.,[[[[[.,.],.],.],[.,.]],.]]] => 64
[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]] => 128
[.,[.,[[[.,[.,[[.,.],.]]],.],.]]] => 128
[.,[.,[[[.,[[.,.],[.,.]]],.],.]]] => 32
[.,[.,[[[.,[[.,[.,.]],.]],.],.]]] => 128
[.,[.,[[[.,[[[.,.],.],.]],.],.]]] => 128
[.,[.,[[[[.,.],[.,[.,.]]],.],.]]] => 64
[.,[.,[[[[.,.],[[.,.],.]],.],.]]] => 64
[.,[.,[[[[.,[.,.]],[.,.]],.],.]]] => 64
[.,[.,[[[[[.,.],.],[.,.]],.],.]]] => 64
[.,[.,[[[[.,[.,[.,.]]],.],.],.]]] => 128
[.,[.,[[[[.,[[.,.],.]],.],.],.]]] => 128
[.,[.,[[[[[.,.],[.,.]],.],.],.]]] => 32
[.,[.,[[[[[.,[.,.]],.],.],.],.]]] => 128
[.,[.,[[[[[[.,.],.],.],.],.],.]]] => 128
[.,[[.,.],[.,[.,[.,[.,[.,.]]]]]]] => 64
[.,[[.,.],[.,[.,[.,[[.,.],.]]]]]] => 64
[.,[[.,.],[.,[.,[[.,.],[.,.]]]]]] => 16
[.,[[.,.],[.,[.,[[.,[.,.]],.]]]]] => 64
[.,[[.,.],[.,[.,[[[.,.],.],.]]]]] => 64
[.,[[.,.],[.,[[.,.],[.,[.,.]]]]]] => 32
[.,[[.,.],[.,[[.,.],[[.,.],.]]]]] => 32
[.,[[.,.],[.,[[.,[.,.]],[.,.]]]]] => 32
[.,[[.,.],[.,[[[.,.],.],[.,.]]]]] => 32
[.,[[.,.],[.,[[.,[.,[.,.]]],.]]]] => 64
[.,[[.,.],[.,[[.,[[.,.],.]],.]]]] => 64
[.,[[.,.],[.,[[[.,.],[.,.]],.]]]] => 16
[.,[[.,.],[.,[[[.,[.,.]],.],.]]]] => 64
[.,[[.,.],[.,[[[[.,.],.],.],.]]]] => 64
[.,[[.,.],[[.,.],[.,[.,[.,.]]]]]] => 32
[.,[[.,.],[[.,.],[.,[[.,.],.]]]]] => 32
[.,[[.,.],[[.,.],[[.,.],[.,.]]]]] => 8
[.,[[.,.],[[.,.],[[.,[.,.]],.]]]] => 32
[.,[[.,.],[[.,.],[[[.,.],.],.]]]] => 32
[.,[[.,.],[[.,[.,.]],[.,[.,.]]]]] => 16
[.,[[.,.],[[.,[.,.]],[[.,.],.]]]] => 16
[.,[[.,.],[[[.,.],.],[.,[.,.]]]]] => 16
[.,[[.,.],[[[.,.],.],[[.,.],.]]]] => 16
[.,[[.,.],[[.,[.,[.,.]]],[.,.]]]] => 32
[.,[[.,.],[[.,[[.,.],.]],[.,.]]]] => 32
[.,[[.,.],[[[.,.],[.,.]],[.,.]]]] => 8
[.,[[.,.],[[[.,[.,.]],.],[.,.]]]] => 32
[.,[[.,.],[[[[.,.],.],.],[.,.]]]] => 32
[.,[[.,.],[[.,[.,[.,[.,.]]]],.]]] => 64
[.,[[.,.],[[.,[.,[[.,.],.]]],.]]] => 64
[.,[[.,.],[[.,[[.,.],[.,.]]],.]]] => 16
[.,[[.,.],[[.,[[.,[.,.]],.]],.]]] => 64
[.,[[.,.],[[.,[[[.,.],.],.]],.]]] => 64
[.,[[.,.],[[[.,.],[.,[.,.]]],.]]] => 32
[.,[[.,.],[[[.,.],[[.,.],.]],.]]] => 32
[.,[[.,.],[[[.,[.,.]],[.,.]],.]]] => 32
[.,[[.,.],[[[[.,.],.],[.,.]],.]]] => 32
[.,[[.,.],[[[.,[.,[.,.]]],.],.]]] => 64
[.,[[.,.],[[[.,[[.,.],.]],.],.]]] => 64
[.,[[.,.],[[[[.,.],[.,.]],.],.]]] => 16
[.,[[.,.],[[[[.,[.,.]],.],.],.]]] => 64
[.,[[.,.],[[[[[.,.],.],.],.],.]]] => 64
[.,[[.,[.,.]],[.,[.,[.,[.,.]]]]]] => 64
[.,[[.,[.,.]],[.,[.,[[.,.],.]]]]] => 64
[.,[[.,[.,.]],[.,[[.,.],[.,.]]]]] => 16
[.,[[.,[.,.]],[.,[[.,[.,.]],.]]]] => 64
[.,[[.,[.,.]],[.,[[[.,.],.],.]]]] => 64
[.,[[.,[.,.]],[[.,.],[.,[.,.]]]]] => 32
[.,[[.,[.,.]],[[.,.],[[.,.],.]]]] => 32
[.,[[.,[.,.]],[[.,[.,.]],[.,.]]]] => 32
[.,[[.,[.,.]],[[[.,.],.],[.,.]]]] => 32
[.,[[.,[.,.]],[[.,[.,[.,.]]],.]]] => 64
[.,[[.,[.,.]],[[.,[[.,.],.]],.]]] => 64
[.,[[.,[.,.]],[[[.,.],[.,.]],.]]] => 16
[.,[[.,[.,.]],[[[.,[.,.]],.],.]]] => 64
[.,[[.,[.,.]],[[[[.,.],.],.],.]]] => 64
[.,[[[.,.],.],[.,[.,[.,[.,.]]]]]] => 64
[.,[[[.,.],.],[.,[.,[[.,.],.]]]]] => 64
[.,[[[.,.],.],[.,[[.,.],[.,.]]]]] => 16
[.,[[[.,.],.],[.,[[.,[.,.]],.]]]] => 64
[.,[[[.,.],.],[.,[[[.,.],.],.]]]] => 64
[.,[[[.,.],.],[[.,.],[.,[.,.]]]]] => 32
[.,[[[.,.],.],[[.,.],[[.,.],.]]]] => 32
[.,[[[.,.],.],[[.,[.,.]],[.,.]]]] => 32
[.,[[[.,.],.],[[[.,.],.],[.,.]]]] => 32
[.,[[[.,.],.],[[.,[.,[.,.]]],.]]] => 64
[.,[[[.,.],.],[[.,[[.,.],.]],.]]] => 64
[.,[[[.,.],.],[[[.,.],[.,.]],.]]] => 16
[.,[[[.,.],.],[[[.,[.,.]],.],.]]] => 64
[.,[[[.,.],.],[[[[.,.],.],.],.]]] => 64
[.,[[.,[.,[.,.]]],[.,[.,[.,.]]]]] => 32
[.,[[.,[.,[.,.]]],[.,[[.,.],.]]]] => 32
[.,[[.,[.,[.,.]]],[[.,.],[.,.]]]] => 16
[.,[[.,[.,[.,.]]],[[.,[.,.]],.]]] => 32
[.,[[.,[.,[.,.]]],[[[.,.],.],.]]] => 32
[.,[[.,[[.,.],.]],[.,[.,[.,.]]]]] => 32
[.,[[.,[[.,.],.]],[.,[[.,.],.]]]] => 32
[.,[[.,[[.,.],.]],[[.,.],[.,.]]]] => 16
[.,[[.,[[.,.],.]],[[.,[.,.]],.]]] => 32
[.,[[.,[[.,.],.]],[[[.,.],.],.]]] => 32
[.,[[[.,.],[.,.]],[.,[.,[.,.]]]]] => 16
[.,[[[.,.],[.,.]],[.,[[.,.],.]]]] => 16
[.,[[[.,.],[.,.]],[[.,.],[.,.]]]] => 2
[.,[[[.,.],[.,.]],[[.,[.,.]],.]]] => 16
[.,[[[.,.],[.,.]],[[[.,.],.],.]]] => 16
[.,[[[.,[.,.]],.],[.,[.,[.,.]]]]] => 32
[.,[[[.,[.,.]],.],[.,[[.,.],.]]]] => 32
[.,[[[.,[.,.]],.],[[.,.],[.,.]]]] => 16
[.,[[[.,[.,.]],.],[[.,[.,.]],.]]] => 32
[.,[[[.,[.,.]],.],[[[.,.],.],.]]] => 32
[.,[[[[.,.],.],.],[.,[.,[.,.]]]]] => 32
[.,[[[[.,.],.],.],[.,[[.,.],.]]]] => 32
[.,[[[[.,.],.],.],[[.,.],[.,.]]]] => 16
[.,[[[[.,.],.],.],[[.,[.,.]],.]]] => 32
[.,[[[[.,.],.],.],[[[.,.],.],.]]] => 32
[.,[[.,[.,[.,[.,.]]]],[.,[.,.]]]] => 64
[.,[[.,[.,[.,[.,.]]]],[[.,.],.]]] => 64
[.,[[.,[.,[[.,.],.]]],[.,[.,.]]]] => 64
[.,[[.,[.,[[.,.],.]]],[[.,.],.]]] => 64
[.,[[.,[[.,.],[.,.]]],[.,[.,.]]]] => 16
[.,[[.,[[.,.],[.,.]]],[[.,.],.]]] => 16
[.,[[.,[[.,[.,.]],.]],[.,[.,.]]]] => 64
[.,[[.,[[.,[.,.]],.]],[[.,.],.]]] => 64
[.,[[.,[[[.,.],.],.]],[.,[.,.]]]] => 64
[.,[[.,[[[.,.],.],.]],[[.,.],.]]] => 64
[.,[[[.,.],[.,[.,.]]],[.,[.,.]]]] => 32
[.,[[[.,.],[.,[.,.]]],[[.,.],.]]] => 32
[.,[[[.,.],[[.,.],.]],[.,[.,.]]]] => 32
[.,[[[.,.],[[.,.],.]],[[.,.],.]]] => 32
[.,[[[.,[.,.]],[.,.]],[.,[.,.]]]] => 32
[.,[[[.,[.,.]],[.,.]],[[.,.],.]]] => 32
[.,[[[[.,.],.],[.,.]],[.,[.,.]]]] => 32
[.,[[[[.,.],.],[.,.]],[[.,.],.]]] => 32
[.,[[[.,[.,[.,.]]],.],[.,[.,.]]]] => 64
[.,[[[.,[.,[.,.]]],.],[[.,.],.]]] => 64
[.,[[[.,[[.,.],.]],.],[.,[.,.]]]] => 64
[.,[[[.,[[.,.],.]],.],[[.,.],.]]] => 64
[.,[[[[.,.],[.,.]],.],[.,[.,.]]]] => 16
[.,[[[[.,.],[.,.]],.],[[.,.],.]]] => 16
[.,[[[[.,[.,.]],.],.],[.,[.,.]]]] => 64
[.,[[[[.,[.,.]],.],.],[[.,.],.]]] => 64
[.,[[[[[.,.],.],.],.],[.,[.,.]]]] => 64
[.,[[[[[.,.],.],.],.],[[.,.],.]]] => 64
[.,[[.,[.,[.,[.,[.,.]]]]],[.,.]]] => 64
[.,[[.,[.,[.,[[.,.],.]]]],[.,.]]] => 64
[.,[[.,[.,[[.,.],[.,.]]]],[.,.]]] => 16
[.,[[.,[.,[[.,[.,.]],.]]],[.,.]]] => 64
[.,[[.,[.,[[[.,.],.],.]]],[.,.]]] => 64
[.,[[.,[[.,.],[.,[.,.]]]],[.,.]]] => 32
[.,[[.,[[.,.],[[.,.],.]]],[.,.]]] => 32
[.,[[.,[[.,[.,.]],[.,.]]],[.,.]]] => 32
[.,[[.,[[[.,.],.],[.,.]]],[.,.]]] => 32
[.,[[.,[[.,[.,[.,.]]],.]],[.,.]]] => 64
[.,[[.,[[.,[[.,.],.]],.]],[.,.]]] => 64
[.,[[.,[[[.,.],[.,.]],.]],[.,.]]] => 16
[.,[[.,[[[.,[.,.]],.],.]],[.,.]]] => 64
[.,[[.,[[[[.,.],.],.],.]],[.,.]]] => 64
[.,[[[.,.],[.,[.,[.,.]]]],[.,.]]] => 32
[.,[[[.,.],[.,[[.,.],.]]],[.,.]]] => 32
[.,[[[.,.],[[.,.],[.,.]]],[.,.]]] => 8
[.,[[[.,.],[[.,[.,.]],.]],[.,.]]] => 32
[.,[[[.,.],[[[.,.],.],.]],[.,.]]] => 32
[.,[[[.,[.,.]],[.,[.,.]]],[.,.]]] => 16
[.,[[[.,[.,.]],[[.,.],.]],[.,.]]] => 16
[.,[[[[.,.],.],[.,[.,.]]],[.,.]]] => 16
[.,[[[[.,.],.],[[.,.],.]],[.,.]]] => 16
[.,[[[.,[.,[.,.]]],[.,.]],[.,.]]] => 32
[.,[[[.,[[.,.],.]],[.,.]],[.,.]]] => 32
[.,[[[[.,.],[.,.]],[.,.]],[.,.]]] => 8
[.,[[[[.,[.,.]],.],[.,.]],[.,.]]] => 32
[.,[[[[[.,.],.],.],[.,.]],[.,.]]] => 32
[.,[[[.,[.,[.,[.,.]]]],.],[.,.]]] => 64
[.,[[[.,[.,[[.,.],.]]],.],[.,.]]] => 64
[.,[[[.,[[.,.],[.,.]]],.],[.,.]]] => 16
[.,[[[.,[[.,[.,.]],.]],.],[.,.]]] => 64
[.,[[[.,[[[.,.],.],.]],.],[.,.]]] => 64
[.,[[[[.,.],[.,[.,.]]],.],[.,.]]] => 32
[.,[[[[.,.],[[.,.],.]],.],[.,.]]] => 32
[.,[[[[.,[.,.]],[.,.]],.],[.,.]]] => 32
[.,[[[[[.,.],.],[.,.]],.],[.,.]]] => 32
[.,[[[[.,[.,[.,.]]],.],.],[.,.]]] => 64
[.,[[[[.,[[.,.],.]],.],.],[.,.]]] => 64
[.,[[[[[.,.],[.,.]],.],.],[.,.]]] => 16
[.,[[[[[.,[.,.]],.],.],.],[.,.]]] => 64
[.,[[[[[[.,.],.],.],.],.],[.,.]]] => 64
[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]] => 128
[.,[[.,[.,[.,[.,[[.,.],.]]]]],.]] => 128
[.,[[.,[.,[.,[[.,.],[.,.]]]]],.]] => 32
[.,[[.,[.,[.,[[.,[.,.]],.]]]],.]] => 128
[.,[[.,[.,[.,[[[.,.],.],.]]]],.]] => 128
[.,[[.,[.,[[.,.],[.,[.,.]]]]],.]] => 64
[.,[[.,[.,[[.,.],[[.,.],.]]]],.]] => 64
[.,[[.,[.,[[.,[.,.]],[.,.]]]],.]] => 64
[.,[[.,[.,[[[.,.],.],[.,.]]]],.]] => 64
[.,[[.,[.,[[.,[.,[.,.]]],.]]],.]] => 128
[.,[[.,[.,[[.,[[.,.],.]],.]]],.]] => 128
[.,[[.,[.,[[[.,.],[.,.]],.]]],.]] => 32
[.,[[.,[.,[[[.,[.,.]],.],.]]],.]] => 128
[.,[[.,[.,[[[[.,.],.],.],.]]],.]] => 128
[.,[[.,[[.,.],[.,[.,[.,.]]]]],.]] => 64
[.,[[.,[[.,.],[.,[[.,.],.]]]],.]] => 64
[.,[[.,[[.,.],[[.,.],[.,.]]]],.]] => 16
[.,[[.,[[.,.],[[.,[.,.]],.]]],.]] => 64
[.,[[.,[[.,.],[[[.,.],.],.]]],.]] => 64
[.,[[.,[[.,[.,.]],[.,[.,.]]]],.]] => 32
[.,[[.,[[.,[.,.]],[[.,.],.]]],.]] => 32
[.,[[.,[[[.,.],.],[.,[.,.]]]],.]] => 32
[.,[[.,[[[.,.],.],[[.,.],.]]],.]] => 32
[.,[[.,[[.,[.,[.,.]]],[.,.]]],.]] => 64
[.,[[.,[[.,[[.,.],.]],[.,.]]],.]] => 64
[.,[[.,[[[.,.],[.,.]],[.,.]]],.]] => 16
[.,[[.,[[[.,[.,.]],.],[.,.]]],.]] => 64
[.,[[.,[[[[.,.],.],.],[.,.]]],.]] => 64
[.,[[.,[[.,[.,[.,[.,.]]]],.]],.]] => 128
[.,[[.,[[.,[.,[[.,.],.]]],.]],.]] => 128
[.,[[.,[[.,[[.,.],[.,.]]],.]],.]] => 32
[.,[[.,[[.,[[.,[.,.]],.]],.]],.]] => 128
[.,[[.,[[.,[[[.,.],.],.]],.]],.]] => 128
[.,[[.,[[[.,.],[.,[.,.]]],.]],.]] => 64
[.,[[.,[[[.,.],[[.,.],.]],.]],.]] => 64
[.,[[.,[[[.,[.,.]],[.,.]],.]],.]] => 64
[.,[[.,[[[[.,.],.],[.,.]],.]],.]] => 64
[.,[[.,[[[.,[.,[.,.]]],.],.]],.]] => 128
[.,[[.,[[[.,[[.,.],.]],.],.]],.]] => 128
[.,[[.,[[[[.,.],[.,.]],.],.]],.]] => 32
[.,[[.,[[[[.,[.,.]],.],.],.]],.]] => 128
[.,[[.,[[[[[.,.],.],.],.],.]],.]] => 128
[.,[[[.,.],[.,[.,[.,[.,.]]]]],.]] => 64
[.,[[[.,.],[.,[.,[[.,.],.]]]],.]] => 64
[.,[[[.,.],[.,[[.,.],[.,.]]]],.]] => 16
[.,[[[.,.],[.,[[.,[.,.]],.]]],.]] => 64
[.,[[[.,.],[.,[[[.,.],.],.]]],.]] => 64
[.,[[[.,.],[[.,.],[.,[.,.]]]],.]] => 32
[.,[[[.,.],[[.,.],[[.,.],.]]],.]] => 32
[.,[[[.,.],[[.,[.,.]],[.,.]]],.]] => 32
[.,[[[.,.],[[[.,.],.],[.,.]]],.]] => 32
[.,[[[.,.],[[.,[.,[.,.]]],.]],.]] => 64
[.,[[[.,.],[[.,[[.,.],.]],.]],.]] => 64
[.,[[[.,.],[[[.,.],[.,.]],.]],.]] => 16
[.,[[[.,.],[[[.,[.,.]],.],.]],.]] => 64
[.,[[[.,.],[[[[.,.],.],.],.]],.]] => 64
[.,[[[.,[.,.]],[.,[.,[.,.]]]],.]] => 64
[.,[[[.,[.,.]],[.,[[.,.],.]]],.]] => 64
[.,[[[.,[.,.]],[[.,.],[.,.]]],.]] => 16
[.,[[[.,[.,.]],[[.,[.,.]],.]],.]] => 64
[.,[[[.,[.,.]],[[[.,.],.],.]],.]] => 64
[.,[[[[.,.],.],[.,[.,[.,.]]]],.]] => 64
[.,[[[[.,.],.],[.,[[.,.],.]]],.]] => 64
[.,[[[[.,.],.],[[.,.],[.,.]]],.]] => 16
[.,[[[[.,.],.],[[.,[.,.]],.]],.]] => 64
[.,[[[[.,.],.],[[[.,.],.],.]],.]] => 64
[.,[[[.,[.,[.,.]]],[.,[.,.]]],.]] => 64
[.,[[[.,[.,[.,.]]],[[.,.],.]],.]] => 64
[.,[[[.,[[.,.],.]],[.,[.,.]]],.]] => 64
[.,[[[.,[[.,.],.]],[[.,.],.]],.]] => 64
[.,[[[[.,.],[.,.]],[.,[.,.]]],.]] => 16
[.,[[[[.,.],[.,.]],[[.,.],.]],.]] => 16
[.,[[[[.,[.,.]],.],[.,[.,.]]],.]] => 64
[.,[[[[.,[.,.]],.],[[.,.],.]],.]] => 64
[.,[[[[[.,.],.],.],[.,[.,.]]],.]] => 64
[.,[[[[[.,.],.],.],[[.,.],.]],.]] => 64
[.,[[[.,[.,[.,[.,.]]]],[.,.]],.]] => 64
[.,[[[.,[.,[[.,.],.]]],[.,.]],.]] => 64
[.,[[[.,[[.,.],[.,.]]],[.,.]],.]] => 16
[.,[[[.,[[.,[.,.]],.]],[.,.]],.]] => 64
[.,[[[.,[[[.,.],.],.]],[.,.]],.]] => 64
[.,[[[[.,.],[.,[.,.]]],[.,.]],.]] => 32
[.,[[[[.,.],[[.,.],.]],[.,.]],.]] => 32
[.,[[[[.,[.,.]],[.,.]],[.,.]],.]] => 32
[.,[[[[[.,.],.],[.,.]],[.,.]],.]] => 32
[.,[[[[.,[.,[.,.]]],.],[.,.]],.]] => 64
[.,[[[[.,[[.,.],.]],.],[.,.]],.]] => 64
[.,[[[[[.,.],[.,.]],.],[.,.]],.]] => 16
[.,[[[[[.,[.,.]],.],.],[.,.]],.]] => 64
[.,[[[[[[.,.],.],.],.],[.,.]],.]] => 64
[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]] => 128
[.,[[[.,[.,[.,[[.,.],.]]]],.],.]] => 128
[.,[[[.,[.,[[.,.],[.,.]]]],.],.]] => 32
[.,[[[.,[.,[[.,[.,.]],.]]],.],.]] => 128
[.,[[[.,[.,[[[.,.],.],.]]],.],.]] => 128
[.,[[[.,[[.,.],[.,[.,.]]]],.],.]] => 64
[.,[[[.,[[.,.],[[.,.],.]]],.],.]] => 64
[.,[[[.,[[.,[.,.]],[.,.]]],.],.]] => 64
[.,[[[.,[[[.,.],.],[.,.]]],.],.]] => 64
[.,[[[.,[[.,[.,[.,.]]],.]],.],.]] => 128
[.,[[[.,[[.,[[.,.],.]],.]],.],.]] => 128
[.,[[[.,[[[.,.],[.,.]],.]],.],.]] => 32
[.,[[[.,[[[.,[.,.]],.],.]],.],.]] => 128
[.,[[[.,[[[[.,.],.],.],.]],.],.]] => 128
[.,[[[[.,.],[.,[.,[.,.]]]],.],.]] => 64
[.,[[[[.,.],[.,[[.,.],.]]],.],.]] => 64
[.,[[[[.,.],[[.,.],[.,.]]],.],.]] => 16
[.,[[[[.,.],[[.,[.,.]],.]],.],.]] => 64
[.,[[[[.,.],[[[.,.],.],.]],.],.]] => 64
[.,[[[[.,[.,.]],[.,[.,.]]],.],.]] => 32
[.,[[[[.,[.,.]],[[.,.],.]],.],.]] => 32
[.,[[[[[.,.],.],[.,[.,.]]],.],.]] => 32
[.,[[[[[.,.],.],[[.,.],.]],.],.]] => 32
[.,[[[[.,[.,[.,.]]],[.,.]],.],.]] => 64
[.,[[[[.,[[.,.],.]],[.,.]],.],.]] => 64
[.,[[[[[.,.],[.,.]],[.,.]],.],.]] => 16
[.,[[[[[.,[.,.]],.],[.,.]],.],.]] => 64
[.,[[[[[[.,.],.],.],[.,.]],.],.]] => 64
[.,[[[[.,[.,[.,[.,.]]]],.],.],.]] => 128
[.,[[[[.,[.,[[.,.],.]]],.],.],.]] => 128
[.,[[[[.,[[.,.],[.,.]]],.],.],.]] => 32
[.,[[[[.,[[.,[.,.]],.]],.],.],.]] => 128
[.,[[[[.,[[[.,.],.],.]],.],.],.]] => 128
[.,[[[[[.,.],[.,[.,.]]],.],.],.]] => 64
[.,[[[[[.,.],[[.,.],.]],.],.],.]] => 64
[.,[[[[[.,[.,.]],[.,.]],.],.],.]] => 64
[.,[[[[[[.,.],.],[.,.]],.],.],.]] => 64
[.,[[[[[.,[.,[.,.]]],.],.],.],.]] => 128
[.,[[[[[.,[[.,.],.]],.],.],.],.]] => 128
[.,[[[[[[.,.],[.,.]],.],.],.],.]] => 32
[.,[[[[[[.,[.,.]],.],.],.],.],.]] => 128
[.,[[[[[[[.,.],.],.],.],.],.],.]] => 128
[[.,.],[.,[.,[.,[.,[.,[.,.]]]]]]] => 64
[[.,.],[.,[.,[.,[.,[[.,.],.]]]]]] => 64
[[.,.],[.,[.,[.,[[.,.],[.,.]]]]]] => 16
[[.,.],[.,[.,[.,[[.,[.,.]],.]]]]] => 64
[[.,.],[.,[.,[.,[[[.,.],.],.]]]]] => 64
[[.,.],[.,[.,[[.,.],[.,[.,.]]]]]] => 32
[[.,.],[.,[.,[[.,.],[[.,.],.]]]]] => 32
[[.,.],[.,[.,[[.,[.,.]],[.,.]]]]] => 32
[[.,.],[.,[.,[[[.,.],.],[.,.]]]]] => 32
[[.,.],[.,[.,[[.,[.,[.,.]]],.]]]] => 64
[[.,.],[.,[.,[[.,[[.,.],.]],.]]]] => 64
[[.,.],[.,[.,[[[.,.],[.,.]],.]]]] => 16
[[.,.],[.,[.,[[[.,[.,.]],.],.]]]] => 64
[[.,.],[.,[.,[[[[.,.],.],.],.]]]] => 64
[[.,.],[.,[[.,.],[.,[.,[.,.]]]]]] => 32
[[.,.],[.,[[.,.],[.,[[.,.],.]]]]] => 32
[[.,.],[.,[[.,.],[[.,.],[.,.]]]]] => 8
[[.,.],[.,[[.,.],[[.,[.,.]],.]]]] => 32
[[.,.],[.,[[.,.],[[[.,.],.],.]]]] => 32
[[.,.],[.,[[.,[.,.]],[.,[.,.]]]]] => 16
[[.,.],[.,[[.,[.,.]],[[.,.],.]]]] => 16
[[.,.],[.,[[[.,.],.],[.,[.,.]]]]] => 16
[[.,.],[.,[[[.,.],.],[[.,.],.]]]] => 16
[[.,.],[.,[[.,[.,[.,.]]],[.,.]]]] => 32
[[.,.],[.,[[.,[[.,.],.]],[.,.]]]] => 32
[[.,.],[.,[[[.,.],[.,.]],[.,.]]]] => 8
[[.,.],[.,[[[.,[.,.]],.],[.,.]]]] => 32
[[.,.],[.,[[[[.,.],.],.],[.,.]]]] => 32
[[.,.],[.,[[.,[.,[.,[.,.]]]],.]]] => 64
[[.,.],[.,[[.,[.,[[.,.],.]]],.]]] => 64
[[.,.],[.,[[.,[[.,.],[.,.]]],.]]] => 16
[[.,.],[.,[[.,[[.,[.,.]],.]],.]]] => 64
[[.,.],[.,[[.,[[[.,.],.],.]],.]]] => 64
[[.,.],[.,[[[.,.],[.,[.,.]]],.]]] => 32
[[.,.],[.,[[[.,.],[[.,.],.]],.]]] => 32
[[.,.],[.,[[[.,[.,.]],[.,.]],.]]] => 32
[[.,.],[.,[[[[.,.],.],[.,.]],.]]] => 32
[[.,.],[.,[[[.,[.,[.,.]]],.],.]]] => 64
[[.,.],[.,[[[.,[[.,.],.]],.],.]]] => 64
[[.,.],[.,[[[[.,.],[.,.]],.],.]]] => 16
[[.,.],[.,[[[[.,[.,.]],.],.],.]]] => 64
[[.,.],[.,[[[[[.,.],.],.],.],.]]] => 64
[[.,.],[[.,.],[.,[.,[.,[.,.]]]]]] => 32
[[.,.],[[.,.],[.,[.,[[.,.],.]]]]] => 32
[[.,.],[[.,.],[.,[[.,.],[.,.]]]]] => 8
[[.,.],[[.,.],[.,[[.,[.,.]],.]]]] => 32
[[.,.],[[.,.],[.,[[[.,.],.],.]]]] => 32
[[.,.],[[.,.],[[.,.],[.,[.,.]]]]] => 16
[[.,.],[[.,.],[[.,.],[[.,.],.]]]] => 16
[[.,.],[[.,.],[[.,[.,.]],[.,.]]]] => 16
[[.,.],[[.,.],[[[.,.],.],[.,.]]]] => 16
[[.,.],[[.,.],[[.,[.,[.,.]]],.]]] => 32
[[.,.],[[.,.],[[.,[[.,.],.]],.]]] => 32
[[.,.],[[.,.],[[[.,.],[.,.]],.]]] => 8
[[.,.],[[.,.],[[[.,[.,.]],.],.]]] => 32
[[.,.],[[.,.],[[[[.,.],.],.],.]]] => 32
[[.,.],[[.,[.,.]],[.,[.,[.,.]]]]] => 32
[[.,.],[[.,[.,.]],[.,[[.,.],.]]]] => 32
[[.,.],[[.,[.,.]],[[.,.],[.,.]]]] => 8
[[.,.],[[.,[.,.]],[[.,[.,.]],.]]] => 32
[[.,.],[[.,[.,.]],[[[.,.],.],.]]] => 32
[[.,.],[[[.,.],.],[.,[.,[.,.]]]]] => 32
[[.,.],[[[.,.],.],[.,[[.,.],.]]]] => 32
[[.,.],[[[.,.],.],[[.,.],[.,.]]]] => 8
[[.,.],[[[.,.],.],[[.,[.,.]],.]]] => 32
[[.,.],[[[.,.],.],[[[.,.],.],.]]] => 32
[[.,.],[[.,[.,[.,.]]],[.,[.,.]]]] => 32
[[.,.],[[.,[.,[.,.]]],[[.,.],.]]] => 32
[[.,.],[[.,[[.,.],.]],[.,[.,.]]]] => 32
[[.,.],[[.,[[.,.],.]],[[.,.],.]]] => 32
[[.,.],[[[.,.],[.,.]],[.,[.,.]]]] => 8
[[.,.],[[[.,.],[.,.]],[[.,.],.]]] => 8
[[.,.],[[[.,[.,.]],.],[.,[.,.]]]] => 32
[[.,.],[[[.,[.,.]],.],[[.,.],.]]] => 32
[[.,.],[[[[.,.],.],.],[.,[.,.]]]] => 32
[[.,.],[[[[.,.],.],.],[[.,.],.]]] => 32
[[.,.],[[.,[.,[.,[.,.]]]],[.,.]]] => 32
[[.,.],[[.,[.,[[.,.],.]]],[.,.]]] => 32
[[.,.],[[.,[[.,.],[.,.]]],[.,.]]] => 8
[[.,.],[[.,[[.,[.,.]],.]],[.,.]]] => 32
[[.,.],[[.,[[[.,.],.],.]],[.,.]]] => 32
[[.,.],[[[.,.],[.,[.,.]]],[.,.]]] => 16
[[.,.],[[[.,.],[[.,.],.]],[.,.]]] => 16
[[.,.],[[[.,[.,.]],[.,.]],[.,.]]] => 16
[[.,.],[[[[.,.],.],[.,.]],[.,.]]] => 16
[[.,.],[[[.,[.,[.,.]]],.],[.,.]]] => 32
[[.,.],[[[.,[[.,.],.]],.],[.,.]]] => 32
[[.,.],[[[[.,.],[.,.]],.],[.,.]]] => 8
[[.,.],[[[[.,[.,.]],.],.],[.,.]]] => 32
[[.,.],[[[[[.,.],.],.],.],[.,.]]] => 32
[[.,.],[[.,[.,[.,[.,[.,.]]]]],.]] => 64
[[.,.],[[.,[.,[.,[[.,.],.]]]],.]] => 64
[[.,.],[[.,[.,[[.,.],[.,.]]]],.]] => 16
[[.,.],[[.,[.,[[.,[.,.]],.]]],.]] => 64
[[.,.],[[.,[.,[[[.,.],.],.]]],.]] => 64
[[.,.],[[.,[[.,.],[.,[.,.]]]],.]] => 32
[[.,.],[[.,[[.,.],[[.,.],.]]],.]] => 32
[[.,.],[[.,[[.,[.,.]],[.,.]]],.]] => 32
[[.,.],[[.,[[[.,.],.],[.,.]]],.]] => 32
[[.,.],[[.,[[.,[.,[.,.]]],.]],.]] => 64
[[.,.],[[.,[[.,[[.,.],.]],.]],.]] => 64
[[.,.],[[.,[[[.,.],[.,.]],.]],.]] => 16
[[.,.],[[.,[[[.,[.,.]],.],.]],.]] => 64
[[.,.],[[.,[[[[.,.],.],.],.]],.]] => 64
[[.,.],[[[.,.],[.,[.,[.,.]]]],.]] => 32
[[.,.],[[[.,.],[.,[[.,.],.]]],.]] => 32
[[.,.],[[[.,.],[[.,.],[.,.]]],.]] => 8
[[.,.],[[[.,.],[[.,[.,.]],.]],.]] => 32
[[.,.],[[[.,.],[[[.,.],.],.]],.]] => 32
[[.,.],[[[.,[.,.]],[.,[.,.]]],.]] => 16
[[.,.],[[[.,[.,.]],[[.,.],.]],.]] => 16
[[.,.],[[[[.,.],.],[.,[.,.]]],.]] => 16
[[.,.],[[[[.,.],.],[[.,.],.]],.]] => 16
[[.,.],[[[.,[.,[.,.]]],[.,.]],.]] => 32
[[.,.],[[[.,[[.,.],.]],[.,.]],.]] => 32
[[.,.],[[[[.,.],[.,.]],[.,.]],.]] => 8
[[.,.],[[[[.,[.,.]],.],[.,.]],.]] => 32
[[.,.],[[[[[.,.],.],.],[.,.]],.]] => 32
[[.,.],[[[.,[.,[.,[.,.]]]],.],.]] => 64
[[.,.],[[[.,[.,[[.,.],.]]],.],.]] => 64
[[.,.],[[[.,[[.,.],[.,.]]],.],.]] => 16
[[.,.],[[[.,[[.,[.,.]],.]],.],.]] => 64
[[.,.],[[[.,[[[.,.],.],.]],.],.]] => 64
[[.,.],[[[[.,.],[.,[.,.]]],.],.]] => 32
[[.,.],[[[[.,.],[[.,.],.]],.],.]] => 32
[[.,.],[[[[.,[.,.]],[.,.]],.],.]] => 32
[[.,.],[[[[[.,.],.],[.,.]],.],.]] => 32
[[.,.],[[[[.,[.,[.,.]]],.],.],.]] => 64
[[.,.],[[[[.,[[.,.],.]],.],.],.]] => 64
[[.,.],[[[[[.,.],[.,.]],.],.],.]] => 16
[[.,.],[[[[[.,[.,.]],.],.],.],.]] => 64
[[.,.],[[[[[[.,.],.],.],.],.],.]] => 64
[[.,[.,.]],[.,[.,[.,[.,[.,.]]]]]] => 64
[[.,[.,.]],[.,[.,[.,[[.,.],.]]]]] => 64
[[.,[.,.]],[.,[.,[[.,.],[.,.]]]]] => 16
[[.,[.,.]],[.,[.,[[.,[.,.]],.]]]] => 64
[[.,[.,.]],[.,[.,[[[.,.],.],.]]]] => 64
[[.,[.,.]],[.,[[.,.],[.,[.,.]]]]] => 32
[[.,[.,.]],[.,[[.,.],[[.,.],.]]]] => 32
[[.,[.,.]],[.,[[.,[.,.]],[.,.]]]] => 32
[[.,[.,.]],[.,[[[.,.],.],[.,.]]]] => 32
[[.,[.,.]],[.,[[.,[.,[.,.]]],.]]] => 64
[[.,[.,.]],[.,[[.,[[.,.],.]],.]]] => 64
[[.,[.,.]],[.,[[[.,.],[.,.]],.]]] => 16
[[.,[.,.]],[.,[[[.,[.,.]],.],.]]] => 64
[[.,[.,.]],[.,[[[[.,.],.],.],.]]] => 64
[[.,[.,.]],[[.,.],[.,[.,[.,.]]]]] => 32
-----------------------------------------------------------------------------
Created: Feb 25, 2016 at 10:48 by Martin Rubey
-----------------------------------------------------------------------------
Last Updated: Feb 25, 2016 at 10:48 by Martin Rubey