*****************************************************************************
* 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: St000569
-----------------------------------------------------------------------------
Collection: Binary trees
-----------------------------------------------------------------------------
Description: The sum of the heights of the vertices of a binary tree.
The height of a vertex is the number of edges to a leaf, see [3].
-----------------------------------------------------------------------------
References: [1] [[wikipedia:Tree (data_structure)]]
[2] The depth or height of a binary tree. [[St000050]]
[3] The sum of the depths of the vertices (or total internal path length) of a binary tree. [[St000398]]
[4] The external path length of a binary tree. [[St000399]]
[5] The path length of an ordered tree. [[St000400]]
-----------------------------------------------------------------------------
Code:
def height(T):
if not T:
return 0
else:
return 1 + max(height(T[0]),height(T[1]))
def statistic(T):
if not T:
return 0
else:
return height(T) + statistic(T[0]) + statistic(T[1])
-----------------------------------------------------------------------------
Statistic values:
[.,[.,.]] => 3
[[.,.],.] => 3
[.,[.,[.,.]]] => 6
[.,[[.,.],.]] => 6
[[.,.],[.,.]] => 4
[[.,[.,.]],.] => 6
[[[.,.],.],.] => 6
[.,[.,[.,[.,.]]]] => 10
[.,[.,[[.,.],.]]] => 10
[.,[[.,.],[.,.]]] => 7
[.,[[.,[.,.]],.]] => 10
[.,[[[.,.],.],.]] => 10
[[.,.],[.,[.,.]]] => 7
[[.,.],[[.,.],.]] => 7
[[.,[.,.]],[.,.]] => 7
[[[.,.],.],[.,.]] => 7
[[.,[.,[.,.]]],.] => 10
[[.,[[.,.],.]],.] => 10
[[[.,.],[.,.]],.] => 7
[[[.,[.,.]],.],.] => 10
[[[[.,.],.],.],.] => 10
[.,[.,[.,[.,[.,.]]]]] => 15
[.,[.,[.,[[.,.],.]]]] => 15
[.,[.,[[.,.],[.,.]]]] => 11
[.,[.,[[.,[.,.]],.]]] => 15
[.,[.,[[[.,.],.],.]]] => 15
[.,[[.,.],[.,[.,.]]]] => 11
[.,[[.,.],[[.,.],.]]] => 11
[.,[[.,[.,.]],[.,.]]] => 11
[.,[[[.,.],.],[.,.]]] => 11
[.,[[.,[.,[.,.]]],.]] => 15
[.,[[.,[[.,.],.]],.]] => 15
[.,[[[.,.],[.,.]],.]] => 11
[.,[[[.,[.,.]],.],.]] => 15
[.,[[[[.,.],.],.],.]] => 15
[[.,.],[.,[.,[.,.]]]] => 11
[[.,.],[.,[[.,.],.]]] => 11
[[.,.],[[.,.],[.,.]]] => 8
[[.,.],[[.,[.,.]],.]] => 11
[[.,.],[[[.,.],.],.]] => 11
[[.,[.,.]],[.,[.,.]]] => 9
[[.,[.,.]],[[.,.],.]] => 9
[[[.,.],.],[.,[.,.]]] => 9
[[[.,.],.],[[.,.],.]] => 9
[[.,[.,[.,.]]],[.,.]] => 11
[[.,[[.,.],.]],[.,.]] => 11
[[[.,.],[.,.]],[.,.]] => 8
[[[.,[.,.]],.],[.,.]] => 11
[[[[.,.],.],.],[.,.]] => 11
[[.,[.,[.,[.,.]]]],.] => 15
[[.,[.,[[.,.],.]]],.] => 15
[[.,[[.,.],[.,.]]],.] => 11
[[.,[[.,[.,.]],.]],.] => 15
[[.,[[[.,.],.],.]],.] => 15
[[[.,.],[.,[.,.]]],.] => 11
[[[.,.],[[.,.],.]],.] => 11
[[[.,[.,.]],[.,.]],.] => 11
[[[[.,.],.],[.,.]],.] => 11
[[[.,[.,[.,.]]],.],.] => 15
[[[.,[[.,.],.]],.],.] => 15
[[[[.,.],[.,.]],.],.] => 11
[[[[.,[.,.]],.],.],.] => 15
[[[[[.,.],.],.],.],.] => 15
[.,[.,[.,[.,[.,[.,.]]]]]] => 21
[.,[.,[.,[.,[[.,.],.]]]]] => 21
[.,[.,[.,[[.,.],[.,.]]]]] => 16
[.,[.,[.,[[.,[.,.]],.]]]] => 21
[.,[.,[.,[[[.,.],.],.]]]] => 21
[.,[.,[[.,.],[.,[.,.]]]]] => 16
[.,[.,[[.,.],[[.,.],.]]]] => 16
[.,[.,[[.,[.,.]],[.,.]]]] => 16
[.,[.,[[[.,.],.],[.,.]]]] => 16
[.,[.,[[.,[.,[.,.]]],.]]] => 21
[.,[.,[[.,[[.,.],.]],.]]] => 21
[.,[.,[[[.,.],[.,.]],.]]] => 16
[.,[.,[[[.,[.,.]],.],.]]] => 21
[.,[.,[[[[.,.],.],.],.]]] => 21
[.,[[.,.],[.,[.,[.,.]]]]] => 16
[.,[[.,.],[.,[[.,.],.]]]] => 16
[.,[[.,.],[[.,.],[.,.]]]] => 12
[.,[[.,.],[[.,[.,.]],.]]] => 16
[.,[[.,.],[[[.,.],.],.]]] => 16
[.,[[.,[.,.]],[.,[.,.]]]] => 13
[.,[[.,[.,.]],[[.,.],.]]] => 13
[.,[[[.,.],.],[.,[.,.]]]] => 13
[.,[[[.,.],.],[[.,.],.]]] => 13
[.,[[.,[.,[.,.]]],[.,.]]] => 16
[.,[[.,[[.,.],.]],[.,.]]] => 16
[.,[[[.,.],[.,.]],[.,.]]] => 12
[.,[[[.,[.,.]],.],[.,.]]] => 16
[.,[[[[.,.],.],.],[.,.]]] => 16
[.,[[.,[.,[.,[.,.]]]],.]] => 21
[.,[[.,[.,[[.,.],.]]],.]] => 21
[.,[[.,[[.,.],[.,.]]],.]] => 16
[.,[[.,[[.,[.,.]],.]],.]] => 21
[.,[[.,[[[.,.],.],.]],.]] => 21
[.,[[[.,.],[.,[.,.]]],.]] => 16
[.,[[[.,.],[[.,.],.]],.]] => 16
[.,[[[.,[.,.]],[.,.]],.]] => 16
[.,[[[[.,.],.],[.,.]],.]] => 16
[.,[[[.,[.,[.,.]]],.],.]] => 21
[.,[[[.,[[.,.],.]],.],.]] => 21
[.,[[[[.,.],[.,.]],.],.]] => 16
[.,[[[[.,[.,.]],.],.],.]] => 21
[.,[[[[[.,.],.],.],.],.]] => 21
[[.,.],[.,[.,[.,[.,.]]]]] => 16
[[.,.],[.,[.,[[.,.],.]]]] => 16
[[.,.],[.,[[.,.],[.,.]]]] => 12
[[.,.],[.,[[.,[.,.]],.]]] => 16
[[.,.],[.,[[[.,.],.],.]]] => 16
[[.,.],[[.,.],[.,[.,.]]]] => 12
[[.,.],[[.,.],[[.,.],.]]] => 12
[[.,.],[[.,[.,.]],[.,.]]] => 12
[[.,.],[[[.,.],.],[.,.]]] => 12
[[.,.],[[.,[.,[.,.]]],.]] => 16
[[.,.],[[.,[[.,.],.]],.]] => 16
[[.,.],[[[.,.],[.,.]],.]] => 12
[[.,.],[[[.,[.,.]],.],.]] => 16
[[.,.],[[[[.,.],.],.],.]] => 16
[[.,[.,.]],[.,[.,[.,.]]]] => 13
[[.,[.,.]],[.,[[.,.],.]]] => 13
[[.,[.,.]],[[.,.],[.,.]]] => 10
[[.,[.,.]],[[.,[.,.]],.]] => 13
[[.,[.,.]],[[[.,.],.],.]] => 13
[[[.,.],.],[.,[.,[.,.]]]] => 13
[[[.,.],.],[.,[[.,.],.]]] => 13
[[[.,.],.],[[.,.],[.,.]]] => 10
[[[.,.],.],[[.,[.,.]],.]] => 13
[[[.,.],.],[[[.,.],.],.]] => 13
[[.,[.,[.,.]]],[.,[.,.]]] => 13
[[.,[.,[.,.]]],[[.,.],.]] => 13
[[.,[[.,.],.]],[.,[.,.]]] => 13
[[.,[[.,.],.]],[[.,.],.]] => 13
[[[.,.],[.,.]],[.,[.,.]]] => 10
[[[.,.],[.,.]],[[.,.],.]] => 10
[[[.,[.,.]],.],[.,[.,.]]] => 13
[[[.,[.,.]],.],[[.,.],.]] => 13
[[[[.,.],.],.],[.,[.,.]]] => 13
[[[[.,.],.],.],[[.,.],.]] => 13
[[.,[.,[.,[.,.]]]],[.,.]] => 16
[[.,[.,[[.,.],.]]],[.,.]] => 16
[[.,[[.,.],[.,.]]],[.,.]] => 12
[[.,[[.,[.,.]],.]],[.,.]] => 16
[[.,[[[.,.],.],.]],[.,.]] => 16
[[[.,.],[.,[.,.]]],[.,.]] => 12
[[[.,.],[[.,.],.]],[.,.]] => 12
[[[.,[.,.]],[.,.]],[.,.]] => 12
[[[[.,.],.],[.,.]],[.,.]] => 12
[[[.,[.,[.,.]]],.],[.,.]] => 16
[[[.,[[.,.],.]],.],[.,.]] => 16
[[[[.,.],[.,.]],.],[.,.]] => 12
[[[[.,[.,.]],.],.],[.,.]] => 16
[[[[[.,.],.],.],.],[.,.]] => 16
[[.,[.,[.,[.,[.,.]]]]],.] => 21
[[.,[.,[.,[[.,.],.]]]],.] => 21
[[.,[.,[[.,.],[.,.]]]],.] => 16
[[.,[.,[[.,[.,.]],.]]],.] => 21
[[.,[.,[[[.,.],.],.]]],.] => 21
[[.,[[.,.],[.,[.,.]]]],.] => 16
[[.,[[.,.],[[.,.],.]]],.] => 16
[[.,[[.,[.,.]],[.,.]]],.] => 16
[[.,[[[.,.],.],[.,.]]],.] => 16
[[.,[[.,[.,[.,.]]],.]],.] => 21
[[.,[[.,[[.,.],.]],.]],.] => 21
[[.,[[[.,.],[.,.]],.]],.] => 16
[[.,[[[.,[.,.]],.],.]],.] => 21
[[.,[[[[.,.],.],.],.]],.] => 21
[[[.,.],[.,[.,[.,.]]]],.] => 16
[[[.,.],[.,[[.,.],.]]],.] => 16
[[[.,.],[[.,.],[.,.]]],.] => 12
[[[.,.],[[.,[.,.]],.]],.] => 16
[[[.,.],[[[.,.],.],.]],.] => 16
[[[.,[.,.]],[.,[.,.]]],.] => 13
[[[.,[.,.]],[[.,.],.]],.] => 13
[[[[.,.],.],[.,[.,.]]],.] => 13
[[[[.,.],.],[[.,.],.]],.] => 13
[[[.,[.,[.,.]]],[.,.]],.] => 16
[[[.,[[.,.],.]],[.,.]],.] => 16
[[[[.,.],[.,.]],[.,.]],.] => 12
[[[[.,[.,.]],.],[.,.]],.] => 16
[[[[[.,.],.],.],[.,.]],.] => 16
[[[.,[.,[.,[.,.]]]],.],.] => 21
[[[.,[.,[[.,.],.]]],.],.] => 21
[[[.,[[.,.],[.,.]]],.],.] => 16
[[[.,[[.,[.,.]],.]],.],.] => 21
[[[.,[[[.,.],.],.]],.],.] => 21
[[[[.,.],[.,[.,.]]],.],.] => 16
[[[[.,.],[[.,.],.]],.],.] => 16
[[[[.,[.,.]],[.,.]],.],.] => 16
[[[[[.,.],.],[.,.]],.],.] => 16
[[[[.,[.,[.,.]]],.],.],.] => 21
[[[[.,[[.,.],.]],.],.],.] => 21
[[[[[.,.],[.,.]],.],.],.] => 16
[[[[[.,[.,.]],.],.],.],.] => 21
[[[[[[.,.],.],.],.],.],.] => 21
[.,[.,[.,[.,[.,[.,[.,.]]]]]]] => 28
[.,[.,[.,[.,[.,[[.,.],.]]]]]] => 28
[.,[.,[.,[.,[[.,.],[.,.]]]]]] => 22
[.,[.,[.,[.,[[.,[.,.]],.]]]]] => 28
[.,[.,[.,[.,[[[.,.],.],.]]]]] => 28
[.,[.,[.,[[.,.],[.,[.,.]]]]]] => 22
[.,[.,[.,[[.,.],[[.,.],.]]]]] => 22
[.,[.,[.,[[.,[.,.]],[.,.]]]]] => 22
[.,[.,[.,[[[.,.],.],[.,.]]]]] => 22
[.,[.,[.,[[.,[.,[.,.]]],.]]]] => 28
[.,[.,[.,[[.,[[.,.],.]],.]]]] => 28
[.,[.,[.,[[[.,.],[.,.]],.]]]] => 22
[.,[.,[.,[[[.,[.,.]],.],.]]]] => 28
[.,[.,[.,[[[[.,.],.],.],.]]]] => 28
[.,[.,[[.,.],[.,[.,[.,.]]]]]] => 22
[.,[.,[[.,.],[.,[[.,.],.]]]]] => 22
[.,[.,[[.,.],[[.,.],[.,.]]]]] => 17
[.,[.,[[.,.],[[.,[.,.]],.]]]] => 22
[.,[.,[[.,.],[[[.,.],.],.]]]] => 22
[.,[.,[[.,[.,.]],[.,[.,.]]]]] => 18
[.,[.,[[.,[.,.]],[[.,.],.]]]] => 18
[.,[.,[[[.,.],.],[.,[.,.]]]]] => 18
[.,[.,[[[.,.],.],[[.,.],.]]]] => 18
[.,[.,[[.,[.,[.,.]]],[.,.]]]] => 22
[.,[.,[[.,[[.,.],.]],[.,.]]]] => 22
[.,[.,[[[.,.],[.,.]],[.,.]]]] => 17
[.,[.,[[[.,[.,.]],.],[.,.]]]] => 22
[.,[.,[[[[.,.],.],.],[.,.]]]] => 22
[.,[.,[[.,[.,[.,[.,.]]]],.]]] => 28
[.,[.,[[.,[.,[[.,.],.]]],.]]] => 28
[.,[.,[[.,[[.,.],[.,.]]],.]]] => 22
[.,[.,[[.,[[.,[.,.]],.]],.]]] => 28
[.,[.,[[.,[[[.,.],.],.]],.]]] => 28
[.,[.,[[[.,.],[.,[.,.]]],.]]] => 22
[.,[.,[[[.,.],[[.,.],.]],.]]] => 22
[.,[.,[[[.,[.,.]],[.,.]],.]]] => 22
[.,[.,[[[[.,.],.],[.,.]],.]]] => 22
[.,[.,[[[.,[.,[.,.]]],.],.]]] => 28
[.,[.,[[[.,[[.,.],.]],.],.]]] => 28
[.,[.,[[[[.,.],[.,.]],.],.]]] => 22
[.,[.,[[[[.,[.,.]],.],.],.]]] => 28
[.,[.,[[[[[.,.],.],.],.],.]]] => 28
[.,[[.,.],[.,[.,[.,[.,.]]]]]] => 22
[.,[[.,.],[.,[.,[[.,.],.]]]]] => 22
[.,[[.,.],[.,[[.,.],[.,.]]]]] => 17
[.,[[.,.],[.,[[.,[.,.]],.]]]] => 22
[.,[[.,.],[.,[[[.,.],.],.]]]] => 22
[.,[[.,.],[[.,.],[.,[.,.]]]]] => 17
[.,[[.,.],[[.,.],[[.,.],.]]]] => 17
[.,[[.,.],[[.,[.,.]],[.,.]]]] => 17
[.,[[.,.],[[[.,.],.],[.,.]]]] => 17
[.,[[.,.],[[.,[.,[.,.]]],.]]] => 22
[.,[[.,.],[[.,[[.,.],.]],.]]] => 22
[.,[[.,.],[[[.,.],[.,.]],.]]] => 17
[.,[[.,.],[[[.,[.,.]],.],.]]] => 22
[.,[[.,.],[[[[.,.],.],.],.]]] => 22
[.,[[.,[.,.]],[.,[.,[.,.]]]]] => 18
[.,[[.,[.,.]],[.,[[.,.],.]]]] => 18
[.,[[.,[.,.]],[[.,.],[.,.]]]] => 14
[.,[[.,[.,.]],[[.,[.,.]],.]]] => 18
[.,[[.,[.,.]],[[[.,.],.],.]]] => 18
[.,[[[.,.],.],[.,[.,[.,.]]]]] => 18
[.,[[[.,.],.],[.,[[.,.],.]]]] => 18
[.,[[[.,.],.],[[.,.],[.,.]]]] => 14
[.,[[[.,.],.],[[.,[.,.]],.]]] => 18
[.,[[[.,.],.],[[[.,.],.],.]]] => 18
[.,[[.,[.,[.,.]]],[.,[.,.]]]] => 18
[.,[[.,[.,[.,.]]],[[.,.],.]]] => 18
[.,[[.,[[.,.],.]],[.,[.,.]]]] => 18
[.,[[.,[[.,.],.]],[[.,.],.]]] => 18
[.,[[[.,.],[.,.]],[.,[.,.]]]] => 14
[.,[[[.,.],[.,.]],[[.,.],.]]] => 14
[.,[[[.,[.,.]],.],[.,[.,.]]]] => 18
[.,[[[.,[.,.]],.],[[.,.],.]]] => 18
[.,[[[[.,.],.],.],[.,[.,.]]]] => 18
[.,[[[[.,.],.],.],[[.,.],.]]] => 18
[.,[[.,[.,[.,[.,.]]]],[.,.]]] => 22
[.,[[.,[.,[[.,.],.]]],[.,.]]] => 22
[.,[[.,[[.,.],[.,.]]],[.,.]]] => 17
[.,[[.,[[.,[.,.]],.]],[.,.]]] => 22
[.,[[.,[[[.,.],.],.]],[.,.]]] => 22
[.,[[[.,.],[.,[.,.]]],[.,.]]] => 17
[.,[[[.,.],[[.,.],.]],[.,.]]] => 17
[.,[[[.,[.,.]],[.,.]],[.,.]]] => 17
[.,[[[[.,.],.],[.,.]],[.,.]]] => 17
[.,[[[.,[.,[.,.]]],.],[.,.]]] => 22
[.,[[[.,[[.,.],.]],.],[.,.]]] => 22
[.,[[[[.,.],[.,.]],.],[.,.]]] => 17
[.,[[[[.,[.,.]],.],.],[.,.]]] => 22
[.,[[[[[.,.],.],.],.],[.,.]]] => 22
[.,[[.,[.,[.,[.,[.,.]]]]],.]] => 28
[.,[[.,[.,[.,[[.,.],.]]]],.]] => 28
[.,[[.,[.,[[.,.],[.,.]]]],.]] => 22
[.,[[.,[.,[[.,[.,.]],.]]],.]] => 28
[.,[[.,[.,[[[.,.],.],.]]],.]] => 28
[.,[[.,[[.,.],[.,[.,.]]]],.]] => 22
[.,[[.,[[.,.],[[.,.],.]]],.]] => 22
[.,[[.,[[.,[.,.]],[.,.]]],.]] => 22
[.,[[.,[[[.,.],.],[.,.]]],.]] => 22
[.,[[.,[[.,[.,[.,.]]],.]],.]] => 28
[.,[[.,[[.,[[.,.],.]],.]],.]] => 28
[.,[[.,[[[.,.],[.,.]],.]],.]] => 22
[.,[[.,[[[.,[.,.]],.],.]],.]] => 28
[.,[[.,[[[[.,.],.],.],.]],.]] => 28
[.,[[[.,.],[.,[.,[.,.]]]],.]] => 22
[.,[[[.,.],[.,[[.,.],.]]],.]] => 22
[.,[[[.,.],[[.,.],[.,.]]],.]] => 17
[.,[[[.,.],[[.,[.,.]],.]],.]] => 22
[.,[[[.,.],[[[.,.],.],.]],.]] => 22
[.,[[[.,[.,.]],[.,[.,.]]],.]] => 18
[.,[[[.,[.,.]],[[.,.],.]],.]] => 18
[.,[[[[.,.],.],[.,[.,.]]],.]] => 18
[.,[[[[.,.],.],[[.,.],.]],.]] => 18
[.,[[[.,[.,[.,.]]],[.,.]],.]] => 22
[.,[[[.,[[.,.],.]],[.,.]],.]] => 22
[.,[[[[.,.],[.,.]],[.,.]],.]] => 17
[.,[[[[.,[.,.]],.],[.,.]],.]] => 22
[.,[[[[[.,.],.],.],[.,.]],.]] => 22
[.,[[[.,[.,[.,[.,.]]]],.],.]] => 28
[.,[[[.,[.,[[.,.],.]]],.],.]] => 28
[.,[[[.,[[.,.],[.,.]]],.],.]] => 22
[.,[[[.,[[.,[.,.]],.]],.],.]] => 28
[.,[[[.,[[[.,.],.],.]],.],.]] => 28
[.,[[[[.,.],[.,[.,.]]],.],.]] => 22
[.,[[[[.,.],[[.,.],.]],.],.]] => 22
[.,[[[[.,[.,.]],[.,.]],.],.]] => 22
[.,[[[[[.,.],.],[.,.]],.],.]] => 22
[.,[[[[.,[.,[.,.]]],.],.],.]] => 28
[.,[[[[.,[[.,.],.]],.],.],.]] => 28
[.,[[[[[.,.],[.,.]],.],.],.]] => 22
[.,[[[[[.,[.,.]],.],.],.],.]] => 28
[.,[[[[[[.,.],.],.],.],.],.]] => 28
[[.,.],[.,[.,[.,[.,[.,.]]]]]] => 22
[[.,.],[.,[.,[.,[[.,.],.]]]]] => 22
[[.,.],[.,[.,[[.,.],[.,.]]]]] => 17
[[.,.],[.,[.,[[.,[.,.]],.]]]] => 22
[[.,.],[.,[.,[[[.,.],.],.]]]] => 22
[[.,.],[.,[[.,.],[.,[.,.]]]]] => 17
[[.,.],[.,[[.,.],[[.,.],.]]]] => 17
[[.,.],[.,[[.,[.,.]],[.,.]]]] => 17
[[.,.],[.,[[[.,.],.],[.,.]]]] => 17
[[.,.],[.,[[.,[.,[.,.]]],.]]] => 22
[[.,.],[.,[[.,[[.,.],.]],.]]] => 22
[[.,.],[.,[[[.,.],[.,.]],.]]] => 17
[[.,.],[.,[[[.,[.,.]],.],.]]] => 22
[[.,.],[.,[[[[.,.],.],.],.]]] => 22
[[.,.],[[.,.],[.,[.,[.,.]]]]] => 17
[[.,.],[[.,.],[.,[[.,.],.]]]] => 17
[[.,.],[[.,.],[[.,.],[.,.]]]] => 13
[[.,.],[[.,.],[[.,[.,.]],.]]] => 17
[[.,.],[[.,.],[[[.,.],.],.]]] => 17
[[.,.],[[.,[.,.]],[.,[.,.]]]] => 14
[[.,.],[[.,[.,.]],[[.,.],.]]] => 14
[[.,.],[[[.,.],.],[.,[.,.]]]] => 14
[[.,.],[[[.,.],.],[[.,.],.]]] => 14
[[.,.],[[.,[.,[.,.]]],[.,.]]] => 17
[[.,.],[[.,[[.,.],.]],[.,.]]] => 17
[[.,.],[[[.,.],[.,.]],[.,.]]] => 13
[[.,.],[[[.,[.,.]],.],[.,.]]] => 17
[[.,.],[[[[.,.],.],.],[.,.]]] => 17
[[.,.],[[.,[.,[.,[.,.]]]],.]] => 22
[[.,.],[[.,[.,[[.,.],.]]],.]] => 22
[[.,.],[[.,[[.,.],[.,.]]],.]] => 17
[[.,.],[[.,[[.,[.,.]],.]],.]] => 22
[[.,.],[[.,[[[.,.],.],.]],.]] => 22
[[.,.],[[[.,.],[.,[.,.]]],.]] => 17
[[.,.],[[[.,.],[[.,.],.]],.]] => 17
[[.,.],[[[.,[.,.]],[.,.]],.]] => 17
[[.,.],[[[[.,.],.],[.,.]],.]] => 17
[[.,.],[[[.,[.,[.,.]]],.],.]] => 22
[[.,.],[[[.,[[.,.],.]],.],.]] => 22
[[.,.],[[[[.,.],[.,.]],.],.]] => 17
[[.,.],[[[[.,[.,.]],.],.],.]] => 22
[[.,.],[[[[[.,.],.],.],.],.]] => 22
[[.,[.,.]],[.,[.,[.,[.,.]]]]] => 18
[[.,[.,.]],[.,[.,[[.,.],.]]]] => 18
[[.,[.,.]],[.,[[.,.],[.,.]]]] => 14
[[.,[.,.]],[.,[[.,[.,.]],.]]] => 18
[[.,[.,.]],[.,[[[.,.],.],.]]] => 18
[[.,[.,.]],[[.,.],[.,[.,.]]]] => 14
[[.,[.,.]],[[.,.],[[.,.],.]]] => 14
[[.,[.,.]],[[.,[.,.]],[.,.]]] => 14
[[.,[.,.]],[[[.,.],.],[.,.]]] => 14
[[.,[.,.]],[[.,[.,[.,.]]],.]] => 18
[[.,[.,.]],[[.,[[.,.],.]],.]] => 18
[[.,[.,.]],[[[.,.],[.,.]],.]] => 14
[[.,[.,.]],[[[.,[.,.]],.],.]] => 18
[[.,[.,.]],[[[[.,.],.],.],.]] => 18
[[[.,.],.],[.,[.,[.,[.,.]]]]] => 18
[[[.,.],.],[.,[.,[[.,.],.]]]] => 18
[[[.,.],.],[.,[[.,.],[.,.]]]] => 14
[[[.,.],.],[.,[[.,[.,.]],.]]] => 18
[[[.,.],.],[.,[[[.,.],.],.]]] => 18
[[[.,.],.],[[.,.],[.,[.,.]]]] => 14
[[[.,.],.],[[.,.],[[.,.],.]]] => 14
[[[.,.],.],[[.,[.,.]],[.,.]]] => 14
[[[.,.],.],[[[.,.],.],[.,.]]] => 14
[[[.,.],.],[[.,[.,[.,.]]],.]] => 18
[[[.,.],.],[[.,[[.,.],.]],.]] => 18
[[[.,.],.],[[[.,.],[.,.]],.]] => 14
[[[.,.],.],[[[.,[.,.]],.],.]] => 18
[[[.,.],.],[[[[.,.],.],.],.]] => 18
[[.,[.,[.,.]]],[.,[.,[.,.]]]] => 16
[[.,[.,[.,.]]],[.,[[.,.],.]]] => 16
[[.,[.,[.,.]]],[[.,.],[.,.]]] => 14
[[.,[.,[.,.]]],[[.,[.,.]],.]] => 16
[[.,[.,[.,.]]],[[[.,.],.],.]] => 16
[[.,[[.,.],.]],[.,[.,[.,.]]]] => 16
[[.,[[.,.],.]],[.,[[.,.],.]]] => 16
[[.,[[.,.],.]],[[.,.],[.,.]]] => 14
[[.,[[.,.],.]],[[.,[.,.]],.]] => 16
[[.,[[.,.],.]],[[[.,.],.],.]] => 16
[[[.,.],[.,.]],[.,[.,[.,.]]]] => 14
[[[.,.],[.,.]],[.,[[.,.],.]]] => 14
[[[.,.],[.,.]],[[.,.],[.,.]]] => 11
[[[.,.],[.,.]],[[.,[.,.]],.]] => 14
[[[.,.],[.,.]],[[[.,.],.],.]] => 14
[[[.,[.,.]],.],[.,[.,[.,.]]]] => 16
[[[.,[.,.]],.],[.,[[.,.],.]]] => 16
[[[.,[.,.]],.],[[.,.],[.,.]]] => 14
[[[.,[.,.]],.],[[.,[.,.]],.]] => 16
[[[.,[.,.]],.],[[[.,.],.],.]] => 16
[[[[.,.],.],.],[.,[.,[.,.]]]] => 16
[[[[.,.],.],.],[.,[[.,.],.]]] => 16
[[[[.,.],.],.],[[.,.],[.,.]]] => 14
[[[[.,.],.],.],[[.,[.,.]],.]] => 16
[[[[.,.],.],.],[[[.,.],.],.]] => 16
[[.,[.,[.,[.,.]]]],[.,[.,.]]] => 18
[[.,[.,[.,[.,.]]]],[[.,.],.]] => 18
[[.,[.,[[.,.],.]]],[.,[.,.]]] => 18
[[.,[.,[[.,.],.]]],[[.,.],.]] => 18
[[.,[[.,.],[.,.]]],[.,[.,.]]] => 14
[[.,[[.,.],[.,.]]],[[.,.],.]] => 14
[[.,[[.,[.,.]],.]],[.,[.,.]]] => 18
[[.,[[.,[.,.]],.]],[[.,.],.]] => 18
[[.,[[[.,.],.],.]],[.,[.,.]]] => 18
[[.,[[[.,.],.],.]],[[.,.],.]] => 18
[[[.,.],[.,[.,.]]],[.,[.,.]]] => 14
[[[.,.],[.,[.,.]]],[[.,.],.]] => 14
[[[.,.],[[.,.],.]],[.,[.,.]]] => 14
[[[.,.],[[.,.],.]],[[.,.],.]] => 14
[[[.,[.,.]],[.,.]],[.,[.,.]]] => 14
[[[.,[.,.]],[.,.]],[[.,.],.]] => 14
[[[[.,.],.],[.,.]],[.,[.,.]]] => 14
[[[[.,.],.],[.,.]],[[.,.],.]] => 14
[[[.,[.,[.,.]]],.],[.,[.,.]]] => 18
[[[.,[.,[.,.]]],.],[[.,.],.]] => 18
[[[.,[[.,.],.]],.],[.,[.,.]]] => 18
[[[.,[[.,.],.]],.],[[.,.],.]] => 18
[[[[.,.],[.,.]],.],[.,[.,.]]] => 14
[[[[.,.],[.,.]],.],[[.,.],.]] => 14
[[[[.,[.,.]],.],.],[.,[.,.]]] => 18
[[[[.,[.,.]],.],.],[[.,.],.]] => 18
[[[[[.,.],.],.],.],[.,[.,.]]] => 18
[[[[[.,.],.],.],.],[[.,.],.]] => 18
[[.,[.,[.,[.,[.,.]]]]],[.,.]] => 22
[[.,[.,[.,[[.,.],.]]]],[.,.]] => 22
[[.,[.,[[.,.],[.,.]]]],[.,.]] => 17
[[.,[.,[[.,[.,.]],.]]],[.,.]] => 22
[[.,[.,[[[.,.],.],.]]],[.,.]] => 22
[[.,[[.,.],[.,[.,.]]]],[.,.]] => 17
[[.,[[.,.],[[.,.],.]]],[.,.]] => 17
[[.,[[.,[.,.]],[.,.]]],[.,.]] => 17
[[.,[[[.,.],.],[.,.]]],[.,.]] => 17
[[.,[[.,[.,[.,.]]],.]],[.,.]] => 22
[[.,[[.,[[.,.],.]],.]],[.,.]] => 22
[[.,[[[.,.],[.,.]],.]],[.,.]] => 17
[[.,[[[.,[.,.]],.],.]],[.,.]] => 22
[[.,[[[[.,.],.],.],.]],[.,.]] => 22
[[[.,.],[.,[.,[.,.]]]],[.,.]] => 17
[[[.,.],[.,[[.,.],.]]],[.,.]] => 17
[[[.,.],[[.,.],[.,.]]],[.,.]] => 13
[[[.,.],[[.,[.,.]],.]],[.,.]] => 17
[[[.,.],[[[.,.],.],.]],[.,.]] => 17
[[[.,[.,.]],[.,[.,.]]],[.,.]] => 14
[[[.,[.,.]],[[.,.],.]],[.,.]] => 14
[[[[.,.],.],[.,[.,.]]],[.,.]] => 14
[[[[.,.],.],[[.,.],.]],[.,.]] => 14
[[[.,[.,[.,.]]],[.,.]],[.,.]] => 17
[[[.,[[.,.],.]],[.,.]],[.,.]] => 17
[[[[.,.],[.,.]],[.,.]],[.,.]] => 13
[[[[.,[.,.]],.],[.,.]],[.,.]] => 17
[[[[[.,.],.],.],[.,.]],[.,.]] => 17
[[[.,[.,[.,[.,.]]]],.],[.,.]] => 22
[[[.,[.,[[.,.],.]]],.],[.,.]] => 22
[[[.,[[.,.],[.,.]]],.],[.,.]] => 17
[[[.,[[.,[.,.]],.]],.],[.,.]] => 22
[[[.,[[[.,.],.],.]],.],[.,.]] => 22
[[[[.,.],[.,[.,.]]],.],[.,.]] => 17
[[[[.,.],[[.,.],.]],.],[.,.]] => 17
[[[[.,[.,.]],[.,.]],.],[.,.]] => 17
[[[[[.,.],.],[.,.]],.],[.,.]] => 17
[[[[.,[.,[.,.]]],.],.],[.,.]] => 22
[[[[.,[[.,.],.]],.],.],[.,.]] => 22
[[[[[.,.],[.,.]],.],.],[.,.]] => 17
[[[[[.,[.,.]],.],.],.],[.,.]] => 22
[[[[[[.,.],.],.],.],.],[.,.]] => 22
[[.,[.,[.,[.,[.,[.,.]]]]]],.] => 28
[[.,[.,[.,[.,[[.,.],.]]]]],.] => 28
[[.,[.,[.,[[.,.],[.,.]]]]],.] => 22
[[.,[.,[.,[[.,[.,.]],.]]]],.] => 28
[[.,[.,[.,[[[.,.],.],.]]]],.] => 28
[[.,[.,[[.,.],[.,[.,.]]]]],.] => 22
[[.,[.,[[.,.],[[.,.],.]]]],.] => 22
[[.,[.,[[.,[.,.]],[.,.]]]],.] => 22
[[.,[.,[[[.,.],.],[.,.]]]],.] => 22
[[.,[.,[[.,[.,[.,.]]],.]]],.] => 28
[[.,[.,[[.,[[.,.],.]],.]]],.] => 28
[[.,[.,[[[.,.],[.,.]],.]]],.] => 22
[[.,[.,[[[.,[.,.]],.],.]]],.] => 28
[[.,[.,[[[[.,.],.],.],.]]],.] => 28
[[.,[[.,.],[.,[.,[.,.]]]]],.] => 22
[[.,[[.,.],[.,[[.,.],.]]]],.] => 22
[[.,[[.,.],[[.,.],[.,.]]]],.] => 17
[[.,[[.,.],[[.,[.,.]],.]]],.] => 22
[[.,[[.,.],[[[.,.],.],.]]],.] => 22
[[.,[[.,[.,.]],[.,[.,.]]]],.] => 18
[[.,[[.,[.,.]],[[.,.],.]]],.] => 18
[[.,[[[.,.],.],[.,[.,.]]]],.] => 18
[[.,[[[.,.],.],[[.,.],.]]],.] => 18
[[.,[[.,[.,[.,.]]],[.,.]]],.] => 22
[[.,[[.,[[.,.],.]],[.,.]]],.] => 22
[[.,[[[.,.],[.,.]],[.,.]]],.] => 17
[[.,[[[.,[.,.]],.],[.,.]]],.] => 22
[[.,[[[[.,.],.],.],[.,.]]],.] => 22
[[.,[[.,[.,[.,[.,.]]]],.]],.] => 28
[[.,[[.,[.,[[.,.],.]]],.]],.] => 28
[[.,[[.,[[.,.],[.,.]]],.]],.] => 22
[[.,[[.,[[.,[.,.]],.]],.]],.] => 28
[[.,[[.,[[[.,.],.],.]],.]],.] => 28
[[.,[[[.,.],[.,[.,.]]],.]],.] => 22
[[.,[[[.,.],[[.,.],.]],.]],.] => 22
[[.,[[[.,[.,.]],[.,.]],.]],.] => 22
[[.,[[[[.,.],.],[.,.]],.]],.] => 22
[[.,[[[.,[.,[.,.]]],.],.]],.] => 28
[[.,[[[.,[[.,.],.]],.],.]],.] => 28
[[.,[[[[.,.],[.,.]],.],.]],.] => 22
[[.,[[[[.,[.,.]],.],.],.]],.] => 28
[[.,[[[[[.,.],.],.],.],.]],.] => 28
[[[.,.],[.,[.,[.,[.,.]]]]],.] => 22
[[[.,.],[.,[.,[[.,.],.]]]],.] => 22
[[[.,.],[.,[[.,.],[.,.]]]],.] => 17
[[[.,.],[.,[[.,[.,.]],.]]],.] => 22
[[[.,.],[.,[[[.,.],.],.]]],.] => 22
[[[.,.],[[.,.],[.,[.,.]]]],.] => 17
[[[.,.],[[.,.],[[.,.],.]]],.] => 17
[[[.,.],[[.,[.,.]],[.,.]]],.] => 17
[[[.,.],[[[.,.],.],[.,.]]],.] => 17
[[[.,.],[[.,[.,[.,.]]],.]],.] => 22
[[[.,.],[[.,[[.,.],.]],.]],.] => 22
[[[.,.],[[[.,.],[.,.]],.]],.] => 17
[[[.,.],[[[.,[.,.]],.],.]],.] => 22
[[[.,.],[[[[.,.],.],.],.]],.] => 22
[[[.,[.,.]],[.,[.,[.,.]]]],.] => 18
[[[.,[.,.]],[.,[[.,.],.]]],.] => 18
[[[.,[.,.]],[[.,.],[.,.]]],.] => 14
[[[.,[.,.]],[[.,[.,.]],.]],.] => 18
[[[.,[.,.]],[[[.,.],.],.]],.] => 18
[[[[.,.],.],[.,[.,[.,.]]]],.] => 18
[[[[.,.],.],[.,[[.,.],.]]],.] => 18
[[[[.,.],.],[[.,.],[.,.]]],.] => 14
[[[[.,.],.],[[.,[.,.]],.]],.] => 18
[[[[.,.],.],[[[.,.],.],.]],.] => 18
[[[.,[.,[.,.]]],[.,[.,.]]],.] => 18
[[[.,[.,[.,.]]],[[.,.],.]],.] => 18
[[[.,[[.,.],.]],[.,[.,.]]],.] => 18
[[[.,[[.,.],.]],[[.,.],.]],.] => 18
[[[[.,.],[.,.]],[.,[.,.]]],.] => 14
[[[[.,.],[.,.]],[[.,.],.]],.] => 14
[[[[.,[.,.]],.],[.,[.,.]]],.] => 18
[[[[.,[.,.]],.],[[.,.],.]],.] => 18
[[[[[.,.],.],.],[.,[.,.]]],.] => 18
[[[[[.,.],.],.],[[.,.],.]],.] => 18
[[[.,[.,[.,[.,.]]]],[.,.]],.] => 22
[[[.,[.,[[.,.],.]]],[.,.]],.] => 22
[[[.,[[.,.],[.,.]]],[.,.]],.] => 17
[[[.,[[.,[.,.]],.]],[.,.]],.] => 22
[[[.,[[[.,.],.],.]],[.,.]],.] => 22
[[[[.,.],[.,[.,.]]],[.,.]],.] => 17
[[[[.,.],[[.,.],.]],[.,.]],.] => 17
[[[[.,[.,.]],[.,.]],[.,.]],.] => 17
[[[[[.,.],.],[.,.]],[.,.]],.] => 17
[[[[.,[.,[.,.]]],.],[.,.]],.] => 22
[[[[.,[[.,.],.]],.],[.,.]],.] => 22
[[[[[.,.],[.,.]],.],[.,.]],.] => 17
[[[[[.,[.,.]],.],.],[.,.]],.] => 22
[[[[[[.,.],.],.],.],[.,.]],.] => 22
[[[.,[.,[.,[.,[.,.]]]]],.],.] => 28
[[[.,[.,[.,[[.,.],.]]]],.],.] => 28
[[[.,[.,[[.,.],[.,.]]]],.],.] => 22
[[[.,[.,[[.,[.,.]],.]]],.],.] => 28
[[[.,[.,[[[.,.],.],.]]],.],.] => 28
[[[.,[[.,.],[.,[.,.]]]],.],.] => 22
[[[.,[[.,.],[[.,.],.]]],.],.] => 22
[[[.,[[.,[.,.]],[.,.]]],.],.] => 22
[[[.,[[[.,.],.],[.,.]]],.],.] => 22
[[[.,[[.,[.,[.,.]]],.]],.],.] => 28
[[[.,[[.,[[.,.],.]],.]],.],.] => 28
[[[.,[[[.,.],[.,.]],.]],.],.] => 22
[[[.,[[[.,[.,.]],.],.]],.],.] => 28
[[[.,[[[[.,.],.],.],.]],.],.] => 28
[[[[.,.],[.,[.,[.,.]]]],.],.] => 22
[[[[.,.],[.,[[.,.],.]]],.],.] => 22
[[[[.,.],[[.,.],[.,.]]],.],.] => 17
[[[[.,.],[[.,[.,.]],.]],.],.] => 22
[[[[.,.],[[[.,.],.],.]],.],.] => 22
[[[[.,[.,.]],[.,[.,.]]],.],.] => 18
[[[[.,[.,.]],[[.,.],.]],.],.] => 18
[[[[[.,.],.],[.,[.,.]]],.],.] => 18
[[[[[.,.],.],[[.,.],.]],.],.] => 18
[[[[.,[.,[.,.]]],[.,.]],.],.] => 22
[[[[.,[[.,.],.]],[.,.]],.],.] => 22
[[[[[.,.],[.,.]],[.,.]],.],.] => 17
[[[[[.,[.,.]],.],[.,.]],.],.] => 22
[[[[[[.,.],.],.],[.,.]],.],.] => 22
[[[[.,[.,[.,[.,.]]]],.],.],.] => 28
[[[[.,[.,[[.,.],.]]],.],.],.] => 28
[[[[.,[[.,.],[.,.]]],.],.],.] => 22
[[[[.,[[.,[.,.]],.]],.],.],.] => 28
[[[[.,[[[.,.],.],.]],.],.],.] => 28
[[[[[.,.],[.,[.,.]]],.],.],.] => 22
[[[[[.,.],[[.,.],.]],.],.],.] => 22
[[[[[.,[.,.]],[.,.]],.],.],.] => 22
[[[[[[.,.],.],[.,.]],.],.],.] => 22
[[[[[.,[.,[.,.]]],.],.],.],.] => 28
[[[[[.,[[.,.],.]],.],.],.],.] => 28
[[[[[[.,.],[.,.]],.],.],.],.] => 22
[[[[[[.,[.,.]],.],.],.],.],.] => 28
[[[[[[[.,.],.],.],.],.],.],.] => 28
[.,[.,[.,[.,[.,[.,[.,[.,.]]]]]]]] => 36
[.,[.,[.,[.,[.,[.,[[.,.],.]]]]]]] => 36
[.,[.,[.,[.,[.,[[.,.],[.,.]]]]]]] => 29
[.,[.,[.,[.,[.,[[.,[.,.]],.]]]]]] => 36
[.,[.,[.,[.,[.,[[[.,.],.],.]]]]]] => 36
[.,[.,[.,[.,[[.,.],[.,[.,.]]]]]]] => 29
[.,[.,[.,[.,[[.,.],[[.,.],.]]]]]] => 29
[.,[.,[.,[.,[[.,[.,.]],[.,.]]]]]] => 29
[.,[.,[.,[.,[[[.,.],.],[.,.]]]]]] => 29
[.,[.,[.,[.,[[.,[.,[.,.]]],.]]]]] => 36
[.,[.,[.,[.,[[.,[[.,.],.]],.]]]]] => 36
[.,[.,[.,[.,[[[.,.],[.,.]],.]]]]] => 29
[.,[.,[.,[.,[[[.,[.,.]],.],.]]]]] => 36
[.,[.,[.,[.,[[[[.,.],.],.],.]]]]] => 36
[.,[.,[.,[[.,.],[.,[.,[.,.]]]]]]] => 29
[.,[.,[.,[[.,.],[.,[[.,.],.]]]]]] => 29
[.,[.,[.,[[.,.],[[.,.],[.,.]]]]]] => 23
[.,[.,[.,[[.,.],[[.,[.,.]],.]]]]] => 29
[.,[.,[.,[[.,.],[[[.,.],.],.]]]]] => 29
[.,[.,[.,[[.,[.,.]],[.,[.,.]]]]]] => 24
[.,[.,[.,[[.,[.,.]],[[.,.],.]]]]] => 24
[.,[.,[.,[[[.,.],.],[.,[.,.]]]]]] => 24
[.,[.,[.,[[[.,.],.],[[.,.],.]]]]] => 24
[.,[.,[.,[[.,[.,[.,.]]],[.,.]]]]] => 29
[.,[.,[.,[[.,[[.,.],.]],[.,.]]]]] => 29
[.,[.,[.,[[[.,.],[.,.]],[.,.]]]]] => 23
[.,[.,[.,[[[.,[.,.]],.],[.,.]]]]] => 29
[.,[.,[.,[[[[.,.],.],.],[.,.]]]]] => 29
[.,[.,[.,[[.,[.,[.,[.,.]]]],.]]]] => 36
[.,[.,[.,[[.,[.,[[.,.],.]]],.]]]] => 36
[.,[.,[.,[[.,[[.,.],[.,.]]],.]]]] => 29
[.,[.,[.,[[.,[[.,[.,.]],.]],.]]]] => 36
[.,[.,[.,[[.,[[[.,.],.],.]],.]]]] => 36
[.,[.,[.,[[[.,.],[.,[.,.]]],.]]]] => 29
[.,[.,[.,[[[.,.],[[.,.],.]],.]]]] => 29
[.,[.,[.,[[[.,[.,.]],[.,.]],.]]]] => 29
[.,[.,[.,[[[[.,.],.],[.,.]],.]]]] => 29
[.,[.,[.,[[[.,[.,[.,.]]],.],.]]]] => 36
[.,[.,[.,[[[.,[[.,.],.]],.],.]]]] => 36
[.,[.,[.,[[[[.,.],[.,.]],.],.]]]] => 29
[.,[.,[.,[[[[.,[.,.]],.],.],.]]]] => 36
[.,[.,[.,[[[[[.,.],.],.],.],.]]]] => 36
[.,[.,[[.,.],[.,[.,[.,[.,.]]]]]]] => 29
[.,[.,[[.,.],[.,[.,[[.,.],.]]]]]] => 29
[.,[.,[[.,.],[.,[[.,.],[.,.]]]]]] => 23
[.,[.,[[.,.],[.,[[.,[.,.]],.]]]]] => 29
[.,[.,[[.,.],[.,[[[.,.],.],.]]]]] => 29
[.,[.,[[.,.],[[.,.],[.,[.,.]]]]]] => 23
[.,[.,[[.,.],[[.,.],[[.,.],.]]]]] => 23
[.,[.,[[.,.],[[.,[.,.]],[.,.]]]]] => 23
[.,[.,[[.,.],[[[.,.],.],[.,.]]]]] => 23
[.,[.,[[.,.],[[.,[.,[.,.]]],.]]]] => 29
[.,[.,[[.,.],[[.,[[.,.],.]],.]]]] => 29
[.,[.,[[.,.],[[[.,.],[.,.]],.]]]] => 23
[.,[.,[[.,.],[[[.,[.,.]],.],.]]]] => 29
[.,[.,[[.,.],[[[[.,.],.],.],.]]]] => 29
[.,[.,[[.,[.,.]],[.,[.,[.,.]]]]]] => 24
[.,[.,[[.,[.,.]],[.,[[.,.],.]]]]] => 24
[.,[.,[[.,[.,.]],[[.,.],[.,.]]]]] => 19
[.,[.,[[.,[.,.]],[[.,[.,.]],.]]]] => 24
[.,[.,[[.,[.,.]],[[[.,.],.],.]]]] => 24
[.,[.,[[[.,.],.],[.,[.,[.,.]]]]]] => 24
[.,[.,[[[.,.],.],[.,[[.,.],.]]]]] => 24
[.,[.,[[[.,.],.],[[.,.],[.,.]]]]] => 19
[.,[.,[[[.,.],.],[[.,[.,.]],.]]]] => 24
[.,[.,[[[.,.],.],[[[.,.],.],.]]]] => 24
[.,[.,[[.,[.,[.,.]]],[.,[.,.]]]]] => 24
[.,[.,[[.,[.,[.,.]]],[[.,.],.]]]] => 24
[.,[.,[[.,[[.,.],.]],[.,[.,.]]]]] => 24
[.,[.,[[.,[[.,.],.]],[[.,.],.]]]] => 24
[.,[.,[[[.,.],[.,.]],[.,[.,.]]]]] => 19
[.,[.,[[[.,.],[.,.]],[[.,.],.]]]] => 19
[.,[.,[[[.,[.,.]],.],[.,[.,.]]]]] => 24
[.,[.,[[[.,[.,.]],.],[[.,.],.]]]] => 24
[.,[.,[[[[.,.],.],.],[.,[.,.]]]]] => 24
[.,[.,[[[[.,.],.],.],[[.,.],.]]]] => 24
[.,[.,[[.,[.,[.,[.,.]]]],[.,.]]]] => 29
[.,[.,[[.,[.,[[.,.],.]]],[.,.]]]] => 29
[.,[.,[[.,[[.,.],[.,.]]],[.,.]]]] => 23
[.,[.,[[.,[[.,[.,.]],.]],[.,.]]]] => 29
[.,[.,[[.,[[[.,.],.],.]],[.,.]]]] => 29
[.,[.,[[[.,.],[.,[.,.]]],[.,.]]]] => 23
[.,[.,[[[.,.],[[.,.],.]],[.,.]]]] => 23
[.,[.,[[[.,[.,.]],[.,.]],[.,.]]]] => 23
[.,[.,[[[[.,.],.],[.,.]],[.,.]]]] => 23
[.,[.,[[[.,[.,[.,.]]],.],[.,.]]]] => 29
[.,[.,[[[.,[[.,.],.]],.],[.,.]]]] => 29
[.,[.,[[[[.,.],[.,.]],.],[.,.]]]] => 23
[.,[.,[[[[.,[.,.]],.],.],[.,.]]]] => 29
[.,[.,[[[[[.,.],.],.],.],[.,.]]]] => 29
[.,[.,[[.,[.,[.,[.,[.,.]]]]],.]]] => 36
[.,[.,[[.,[.,[.,[[.,.],.]]]],.]]] => 36
[.,[.,[[.,[.,[[.,.],[.,.]]]],.]]] => 29
[.,[.,[[.,[.,[[.,[.,.]],.]]],.]]] => 36
[.,[.,[[.,[.,[[[.,.],.],.]]],.]]] => 36
[.,[.,[[.,[[.,.],[.,[.,.]]]],.]]] => 29
[.,[.,[[.,[[.,.],[[.,.],.]]],.]]] => 29
[.,[.,[[.,[[.,[.,.]],[.,.]]],.]]] => 29
[.,[.,[[.,[[[.,.],.],[.,.]]],.]]] => 29
[.,[.,[[.,[[.,[.,[.,.]]],.]],.]]] => 36
[.,[.,[[.,[[.,[[.,.],.]],.]],.]]] => 36
[.,[.,[[.,[[[.,.],[.,.]],.]],.]]] => 29
[.,[.,[[.,[[[.,[.,.]],.],.]],.]]] => 36
[.,[.,[[.,[[[[.,.],.],.],.]],.]]] => 36
[.,[.,[[[.,.],[.,[.,[.,.]]]],.]]] => 29
[.,[.,[[[.,.],[.,[[.,.],.]]],.]]] => 29
[.,[.,[[[.,.],[[.,.],[.,.]]],.]]] => 23
[.,[.,[[[.,.],[[.,[.,.]],.]],.]]] => 29
[.,[.,[[[.,.],[[[.,.],.],.]],.]]] => 29
[.,[.,[[[.,[.,.]],[.,[.,.]]],.]]] => 24
[.,[.,[[[.,[.,.]],[[.,.],.]],.]]] => 24
[.,[.,[[[[.,.],.],[.,[.,.]]],.]]] => 24
[.,[.,[[[[.,.],.],[[.,.],.]],.]]] => 24
[.,[.,[[[.,[.,[.,.]]],[.,.]],.]]] => 29
[.,[.,[[[.,[[.,.],.]],[.,.]],.]]] => 29
[.,[.,[[[[.,.],[.,.]],[.,.]],.]]] => 23
[.,[.,[[[[.,[.,.]],.],[.,.]],.]]] => 29
[.,[.,[[[[[.,.],.],.],[.,.]],.]]] => 29
[.,[.,[[[.,[.,[.,[.,.]]]],.],.]]] => 36
[.,[.,[[[.,[.,[[.,.],.]]],.],.]]] => 36
[.,[.,[[[.,[[.,.],[.,.]]],.],.]]] => 29
[.,[.,[[[.,[[.,[.,.]],.]],.],.]]] => 36
[.,[.,[[[.,[[[.,.],.],.]],.],.]]] => 36
[.,[.,[[[[.,.],[.,[.,.]]],.],.]]] => 29
[.,[.,[[[[.,.],[[.,.],.]],.],.]]] => 29
[.,[.,[[[[.,[.,.]],[.,.]],.],.]]] => 29
[.,[.,[[[[[.,.],.],[.,.]],.],.]]] => 29
[.,[.,[[[[.,[.,[.,.]]],.],.],.]]] => 36
[.,[.,[[[[.,[[.,.],.]],.],.],.]]] => 36
[.,[.,[[[[[.,.],[.,.]],.],.],.]]] => 29
[.,[.,[[[[[.,[.,.]],.],.],.],.]]] => 36
[.,[.,[[[[[[.,.],.],.],.],.],.]]] => 36
[.,[[.,.],[.,[.,[.,[.,[.,.]]]]]]] => 29
[.,[[.,.],[.,[.,[.,[[.,.],.]]]]]] => 29
[.,[[.,.],[.,[.,[[.,.],[.,.]]]]]] => 23
[.,[[.,.],[.,[.,[[.,[.,.]],.]]]]] => 29
[.,[[.,.],[.,[.,[[[.,.],.],.]]]]] => 29
[.,[[.,.],[.,[[.,.],[.,[.,.]]]]]] => 23
[.,[[.,.],[.,[[.,.],[[.,.],.]]]]] => 23
[.,[[.,.],[.,[[.,[.,.]],[.,.]]]]] => 23
[.,[[.,.],[.,[[[.,.],.],[.,.]]]]] => 23
[.,[[.,.],[.,[[.,[.,[.,.]]],.]]]] => 29
[.,[[.,.],[.,[[.,[[.,.],.]],.]]]] => 29
[.,[[.,.],[.,[[[.,.],[.,.]],.]]]] => 23
[.,[[.,.],[.,[[[.,[.,.]],.],.]]]] => 29
[.,[[.,.],[.,[[[[.,.],.],.],.]]]] => 29
[.,[[.,.],[[.,.],[.,[.,[.,.]]]]]] => 23
[.,[[.,.],[[.,.],[.,[[.,.],.]]]]] => 23
[.,[[.,.],[[.,.],[[.,.],[.,.]]]]] => 18
[.,[[.,.],[[.,.],[[.,[.,.]],.]]]] => 23
[.,[[.,.],[[.,.],[[[.,.],.],.]]]] => 23
[.,[[.,.],[[.,[.,.]],[.,[.,.]]]]] => 19
[.,[[.,.],[[.,[.,.]],[[.,.],.]]]] => 19
[.,[[.,.],[[[.,.],.],[.,[.,.]]]]] => 19
[.,[[.,.],[[[.,.],.],[[.,.],.]]]] => 19
[.,[[.,.],[[.,[.,[.,.]]],[.,.]]]] => 23
[.,[[.,.],[[.,[[.,.],.]],[.,.]]]] => 23
[.,[[.,.],[[[.,.],[.,.]],[.,.]]]] => 18
[.,[[.,.],[[[.,[.,.]],.],[.,.]]]] => 23
[.,[[.,.],[[[[.,.],.],.],[.,.]]]] => 23
[.,[[.,.],[[.,[.,[.,[.,.]]]],.]]] => 29
[.,[[.,.],[[.,[.,[[.,.],.]]],.]]] => 29
[.,[[.,.],[[.,[[.,.],[.,.]]],.]]] => 23
[.,[[.,.],[[.,[[.,[.,.]],.]],.]]] => 29
[.,[[.,.],[[.,[[[.,.],.],.]],.]]] => 29
[.,[[.,.],[[[.,.],[.,[.,.]]],.]]] => 23
[.,[[.,.],[[[.,.],[[.,.],.]],.]]] => 23
[.,[[.,.],[[[.,[.,.]],[.,.]],.]]] => 23
[.,[[.,.],[[[[.,.],.],[.,.]],.]]] => 23
[.,[[.,.],[[[.,[.,[.,.]]],.],.]]] => 29
[.,[[.,.],[[[.,[[.,.],.]],.],.]]] => 29
[.,[[.,.],[[[[.,.],[.,.]],.],.]]] => 23
[.,[[.,.],[[[[.,[.,.]],.],.],.]]] => 29
[.,[[.,.],[[[[[.,.],.],.],.],.]]] => 29
[.,[[.,[.,.]],[.,[.,[.,[.,.]]]]]] => 24
[.,[[.,[.,.]],[.,[.,[[.,.],.]]]]] => 24
[.,[[.,[.,.]],[.,[[.,.],[.,.]]]]] => 19
[.,[[.,[.,.]],[.,[[.,[.,.]],.]]]] => 24
[.,[[.,[.,.]],[.,[[[.,.],.],.]]]] => 24
[.,[[.,[.,.]],[[.,.],[.,[.,.]]]]] => 19
[.,[[.,[.,.]],[[.,.],[[.,.],.]]]] => 19
[.,[[.,[.,.]],[[.,[.,.]],[.,.]]]] => 19
[.,[[.,[.,.]],[[[.,.],.],[.,.]]]] => 19
[.,[[.,[.,.]],[[.,[.,[.,.]]],.]]] => 24
[.,[[.,[.,.]],[[.,[[.,.],.]],.]]] => 24
[.,[[.,[.,.]],[[[.,.],[.,.]],.]]] => 19
[.,[[.,[.,.]],[[[.,[.,.]],.],.]]] => 24
[.,[[.,[.,.]],[[[[.,.],.],.],.]]] => 24
[.,[[[.,.],.],[.,[.,[.,[.,.]]]]]] => 24
[.,[[[.,.],.],[.,[.,[[.,.],.]]]]] => 24
[.,[[[.,.],.],[.,[[.,.],[.,.]]]]] => 19
[.,[[[.,.],.],[.,[[.,[.,.]],.]]]] => 24
[.,[[[.,.],.],[.,[[[.,.],.],.]]]] => 24
[.,[[[.,.],.],[[.,.],[.,[.,.]]]]] => 19
[.,[[[.,.],.],[[.,.],[[.,.],.]]]] => 19
[.,[[[.,.],.],[[.,[.,.]],[.,.]]]] => 19
[.,[[[.,.],.],[[[.,.],.],[.,.]]]] => 19
[.,[[[.,.],.],[[.,[.,[.,.]]],.]]] => 24
[.,[[[.,.],.],[[.,[[.,.],.]],.]]] => 24
[.,[[[.,.],.],[[[.,.],[.,.]],.]]] => 19
[.,[[[.,.],.],[[[.,[.,.]],.],.]]] => 24
[.,[[[.,.],.],[[[[.,.],.],.],.]]] => 24
[.,[[.,[.,[.,.]]],[.,[.,[.,.]]]]] => 21
[.,[[.,[.,[.,.]]],[.,[[.,.],.]]]] => 21
[.,[[.,[.,[.,.]]],[[.,.],[.,.]]]] => 19
[.,[[.,[.,[.,.]]],[[.,[.,.]],.]]] => 21
[.,[[.,[.,[.,.]]],[[[.,.],.],.]]] => 21
[.,[[.,[[.,.],.]],[.,[.,[.,.]]]]] => 21
[.,[[.,[[.,.],.]],[.,[[.,.],.]]]] => 21
[.,[[.,[[.,.],.]],[[.,.],[.,.]]]] => 19
[.,[[.,[[.,.],.]],[[.,[.,.]],.]]] => 21
[.,[[.,[[.,.],.]],[[[.,.],.],.]]] => 21
[.,[[[.,.],[.,.]],[.,[.,[.,.]]]]] => 19
[.,[[[.,.],[.,.]],[.,[[.,.],.]]]] => 19
[.,[[[.,.],[.,.]],[[.,.],[.,.]]]] => 15
[.,[[[.,.],[.,.]],[[.,[.,.]],.]]] => 19
[.,[[[.,.],[.,.]],[[[.,.],.],.]]] => 19
[.,[[[.,[.,.]],.],[.,[.,[.,.]]]]] => 21
[.,[[[.,[.,.]],.],[.,[[.,.],.]]]] => 21
[.,[[[.,[.,.]],.],[[.,.],[.,.]]]] => 19
[.,[[[.,[.,.]],.],[[.,[.,.]],.]]] => 21
[.,[[[.,[.,.]],.],[[[.,.],.],.]]] => 21
[.,[[[[.,.],.],.],[.,[.,[.,.]]]]] => 21
[.,[[[[.,.],.],.],[.,[[.,.],.]]]] => 21
[.,[[[[.,.],.],.],[[.,.],[.,.]]]] => 19
[.,[[[[.,.],.],.],[[.,[.,.]],.]]] => 21
[.,[[[[.,.],.],.],[[[.,.],.],.]]] => 21
[.,[[.,[.,[.,[.,.]]]],[.,[.,.]]]] => 24
[.,[[.,[.,[.,[.,.]]]],[[.,.],.]]] => 24
[.,[[.,[.,[[.,.],.]]],[.,[.,.]]]] => 24
[.,[[.,[.,[[.,.],.]]],[[.,.],.]]] => 24
[.,[[.,[[.,.],[.,.]]],[.,[.,.]]]] => 19
[.,[[.,[[.,.],[.,.]]],[[.,.],.]]] => 19
[.,[[.,[[.,[.,.]],.]],[.,[.,.]]]] => 24
[.,[[.,[[.,[.,.]],.]],[[.,.],.]]] => 24
[.,[[.,[[[.,.],.],.]],[.,[.,.]]]] => 24
[.,[[.,[[[.,.],.],.]],[[.,.],.]]] => 24
[.,[[[.,.],[.,[.,.]]],[.,[.,.]]]] => 19
[.,[[[.,.],[.,[.,.]]],[[.,.],.]]] => 19
[.,[[[.,.],[[.,.],.]],[.,[.,.]]]] => 19
[.,[[[.,.],[[.,.],.]],[[.,.],.]]] => 19
[.,[[[.,[.,.]],[.,.]],[.,[.,.]]]] => 19
[.,[[[.,[.,.]],[.,.]],[[.,.],.]]] => 19
[.,[[[[.,.],.],[.,.]],[.,[.,.]]]] => 19
[.,[[[[.,.],.],[.,.]],[[.,.],.]]] => 19
[.,[[[.,[.,[.,.]]],.],[.,[.,.]]]] => 24
[.,[[[.,[.,[.,.]]],.],[[.,.],.]]] => 24
[.,[[[.,[[.,.],.]],.],[.,[.,.]]]] => 24
[.,[[[.,[[.,.],.]],.],[[.,.],.]]] => 24
[.,[[[[.,.],[.,.]],.],[.,[.,.]]]] => 19
[.,[[[[.,.],[.,.]],.],[[.,.],.]]] => 19
[.,[[[[.,[.,.]],.],.],[.,[.,.]]]] => 24
[.,[[[[.,[.,.]],.],.],[[.,.],.]]] => 24
[.,[[[[[.,.],.],.],.],[.,[.,.]]]] => 24
[.,[[[[[.,.],.],.],.],[[.,.],.]]] => 24
[.,[[.,[.,[.,[.,[.,.]]]]],[.,.]]] => 29
[.,[[.,[.,[.,[[.,.],.]]]],[.,.]]] => 29
[.,[[.,[.,[[.,.],[.,.]]]],[.,.]]] => 23
[.,[[.,[.,[[.,[.,.]],.]]],[.,.]]] => 29
[.,[[.,[.,[[[.,.],.],.]]],[.,.]]] => 29
[.,[[.,[[.,.],[.,[.,.]]]],[.,.]]] => 23
[.,[[.,[[.,.],[[.,.],.]]],[.,.]]] => 23
[.,[[.,[[.,[.,.]],[.,.]]],[.,.]]] => 23
[.,[[.,[[[.,.],.],[.,.]]],[.,.]]] => 23
[.,[[.,[[.,[.,[.,.]]],.]],[.,.]]] => 29
[.,[[.,[[.,[[.,.],.]],.]],[.,.]]] => 29
[.,[[.,[[[.,.],[.,.]],.]],[.,.]]] => 23
[.,[[.,[[[.,[.,.]],.],.]],[.,.]]] => 29
[.,[[.,[[[[.,.],.],.],.]],[.,.]]] => 29
[.,[[[.,.],[.,[.,[.,.]]]],[.,.]]] => 23
[.,[[[.,.],[.,[[.,.],.]]],[.,.]]] => 23
[.,[[[.,.],[[.,.],[.,.]]],[.,.]]] => 18
[.,[[[.,.],[[.,[.,.]],.]],[.,.]]] => 23
[.,[[[.,.],[[[.,.],.],.]],[.,.]]] => 23
[.,[[[.,[.,.]],[.,[.,.]]],[.,.]]] => 19
[.,[[[.,[.,.]],[[.,.],.]],[.,.]]] => 19
[.,[[[[.,.],.],[.,[.,.]]],[.,.]]] => 19
[.,[[[[.,.],.],[[.,.],.]],[.,.]]] => 19
[.,[[[.,[.,[.,.]]],[.,.]],[.,.]]] => 23
[.,[[[.,[[.,.],.]],[.,.]],[.,.]]] => 23
[.,[[[[.,.],[.,.]],[.,.]],[.,.]]] => 18
[.,[[[[.,[.,.]],.],[.,.]],[.,.]]] => 23
[.,[[[[[.,.],.],.],[.,.]],[.,.]]] => 23
[.,[[[.,[.,[.,[.,.]]]],.],[.,.]]] => 29
[.,[[[.,[.,[[.,.],.]]],.],[.,.]]] => 29
[.,[[[.,[[.,.],[.,.]]],.],[.,.]]] => 23
[.,[[[.,[[.,[.,.]],.]],.],[.,.]]] => 29
[.,[[[.,[[[.,.],.],.]],.],[.,.]]] => 29
[.,[[[[.,.],[.,[.,.]]],.],[.,.]]] => 23
[.,[[[[.,.],[[.,.],.]],.],[.,.]]] => 23
[.,[[[[.,[.,.]],[.,.]],.],[.,.]]] => 23
[.,[[[[[.,.],.],[.,.]],.],[.,.]]] => 23
[.,[[[[.,[.,[.,.]]],.],.],[.,.]]] => 29
[.,[[[[.,[[.,.],.]],.],.],[.,.]]] => 29
[.,[[[[[.,.],[.,.]],.],.],[.,.]]] => 23
[.,[[[[[.,[.,.]],.],.],.],[.,.]]] => 29
[.,[[[[[[.,.],.],.],.],.],[.,.]]] => 29
[.,[[.,[.,[.,[.,[.,[.,.]]]]]],.]] => 36
[.,[[.,[.,[.,[.,[[.,.],.]]]]],.]] => 36
[.,[[.,[.,[.,[[.,.],[.,.]]]]],.]] => 29
[.,[[.,[.,[.,[[.,[.,.]],.]]]],.]] => 36
[.,[[.,[.,[.,[[[.,.],.],.]]]],.]] => 36
[.,[[.,[.,[[.,.],[.,[.,.]]]]],.]] => 29
[.,[[.,[.,[[.,.],[[.,.],.]]]],.]] => 29
[.,[[.,[.,[[.,[.,.]],[.,.]]]],.]] => 29
[.,[[.,[.,[[[.,.],.],[.,.]]]],.]] => 29
[.,[[.,[.,[[.,[.,[.,.]]],.]]],.]] => 36
[.,[[.,[.,[[.,[[.,.],.]],.]]],.]] => 36
[.,[[.,[.,[[[.,.],[.,.]],.]]],.]] => 29
[.,[[.,[.,[[[.,[.,.]],.],.]]],.]] => 36
[.,[[.,[.,[[[[.,.],.],.],.]]],.]] => 36
[.,[[.,[[.,.],[.,[.,[.,.]]]]],.]] => 29
[.,[[.,[[.,.],[.,[[.,.],.]]]],.]] => 29
[.,[[.,[[.,.],[[.,.],[.,.]]]],.]] => 23
[.,[[.,[[.,.],[[.,[.,.]],.]]],.]] => 29
[.,[[.,[[.,.],[[[.,.],.],.]]],.]] => 29
[.,[[.,[[.,[.,.]],[.,[.,.]]]],.]] => 24
[.,[[.,[[.,[.,.]],[[.,.],.]]],.]] => 24
[.,[[.,[[[.,.],.],[.,[.,.]]]],.]] => 24
[.,[[.,[[[.,.],.],[[.,.],.]]],.]] => 24
[.,[[.,[[.,[.,[.,.]]],[.,.]]],.]] => 29
[.,[[.,[[.,[[.,.],.]],[.,.]]],.]] => 29
[.,[[.,[[[.,.],[.,.]],[.,.]]],.]] => 23
[.,[[.,[[[.,[.,.]],.],[.,.]]],.]] => 29
[.,[[.,[[[[.,.],.],.],[.,.]]],.]] => 29
[.,[[.,[[.,[.,[.,[.,.]]]],.]],.]] => 36
[.,[[.,[[.,[.,[[.,.],.]]],.]],.]] => 36
[.,[[.,[[.,[[.,.],[.,.]]],.]],.]] => 29
[.,[[.,[[.,[[.,[.,.]],.]],.]],.]] => 36
[.,[[.,[[.,[[[.,.],.],.]],.]],.]] => 36
[.,[[.,[[[.,.],[.,[.,.]]],.]],.]] => 29
[.,[[.,[[[.,.],[[.,.],.]],.]],.]] => 29
[.,[[.,[[[.,[.,.]],[.,.]],.]],.]] => 29
[.,[[.,[[[[.,.],.],[.,.]],.]],.]] => 29
[.,[[.,[[[.,[.,[.,.]]],.],.]],.]] => 36
[.,[[.,[[[.,[[.,.],.]],.],.]],.]] => 36
[.,[[.,[[[[.,.],[.,.]],.],.]],.]] => 29
[.,[[.,[[[[.,[.,.]],.],.],.]],.]] => 36
[.,[[.,[[[[[.,.],.],.],.],.]],.]] => 36
[.,[[[.,.],[.,[.,[.,[.,.]]]]],.]] => 29
[.,[[[.,.],[.,[.,[[.,.],.]]]],.]] => 29
[.,[[[.,.],[.,[[.,.],[.,.]]]],.]] => 23
[.,[[[.,.],[.,[[.,[.,.]],.]]],.]] => 29
[.,[[[.,.],[.,[[[.,.],.],.]]],.]] => 29
[.,[[[.,.],[[.,.],[.,[.,.]]]],.]] => 23
[.,[[[.,.],[[.,.],[[.,.],.]]],.]] => 23
[.,[[[.,.],[[.,[.,.]],[.,.]]],.]] => 23
[.,[[[.,.],[[[.,.],.],[.,.]]],.]] => 23
[.,[[[.,.],[[.,[.,[.,.]]],.]],.]] => 29
[.,[[[.,.],[[.,[[.,.],.]],.]],.]] => 29
[.,[[[.,.],[[[.,.],[.,.]],.]],.]] => 23
[.,[[[.,.],[[[.,[.,.]],.],.]],.]] => 29
[.,[[[.,.],[[[[.,.],.],.],.]],.]] => 29
[.,[[[.,[.,.]],[.,[.,[.,.]]]],.]] => 24
[.,[[[.,[.,.]],[.,[[.,.],.]]],.]] => 24
[.,[[[.,[.,.]],[[.,.],[.,.]]],.]] => 19
[.,[[[.,[.,.]],[[.,[.,.]],.]],.]] => 24
[.,[[[.,[.,.]],[[[.,.],.],.]],.]] => 24
[.,[[[[.,.],.],[.,[.,[.,.]]]],.]] => 24
[.,[[[[.,.],.],[.,[[.,.],.]]],.]] => 24
[.,[[[[.,.],.],[[.,.],[.,.]]],.]] => 19
[.,[[[[.,.],.],[[.,[.,.]],.]],.]] => 24
[.,[[[[.,.],.],[[[.,.],.],.]],.]] => 24
[.,[[[.,[.,[.,.]]],[.,[.,.]]],.]] => 24
[.,[[[.,[.,[.,.]]],[[.,.],.]],.]] => 24
[.,[[[.,[[.,.],.]],[.,[.,.]]],.]] => 24
[.,[[[.,[[.,.],.]],[[.,.],.]],.]] => 24
[.,[[[[.,.],[.,.]],[.,[.,.]]],.]] => 19
[.,[[[[.,.],[.,.]],[[.,.],.]],.]] => 19
[.,[[[[.,[.,.]],.],[.,[.,.]]],.]] => 24
[.,[[[[.,[.,.]],.],[[.,.],.]],.]] => 24
[.,[[[[[.,.],.],.],[.,[.,.]]],.]] => 24
[.,[[[[[.,.],.],.],[[.,.],.]],.]] => 24
[.,[[[.,[.,[.,[.,.]]]],[.,.]],.]] => 29
[.,[[[.,[.,[[.,.],.]]],[.,.]],.]] => 29
[.,[[[.,[[.,.],[.,.]]],[.,.]],.]] => 23
[.,[[[.,[[.,[.,.]],.]],[.,.]],.]] => 29
[.,[[[.,[[[.,.],.],.]],[.,.]],.]] => 29
[.,[[[[.,.],[.,[.,.]]],[.,.]],.]] => 23
[.,[[[[.,.],[[.,.],.]],[.,.]],.]] => 23
[.,[[[[.,[.,.]],[.,.]],[.,.]],.]] => 23
[.,[[[[[.,.],.],[.,.]],[.,.]],.]] => 23
[.,[[[[.,[.,[.,.]]],.],[.,.]],.]] => 29
[.,[[[[.,[[.,.],.]],.],[.,.]],.]] => 29
[.,[[[[[.,.],[.,.]],.],[.,.]],.]] => 23
[.,[[[[[.,[.,.]],.],.],[.,.]],.]] => 29
[.,[[[[[[.,.],.],.],.],[.,.]],.]] => 29
[.,[[[.,[.,[.,[.,[.,.]]]]],.],.]] => 36
[.,[[[.,[.,[.,[[.,.],.]]]],.],.]] => 36
[.,[[[.,[.,[[.,.],[.,.]]]],.],.]] => 29
[.,[[[.,[.,[[.,[.,.]],.]]],.],.]] => 36
[.,[[[.,[.,[[[.,.],.],.]]],.],.]] => 36
[.,[[[.,[[.,.],[.,[.,.]]]],.],.]] => 29
[.,[[[.,[[.,.],[[.,.],.]]],.],.]] => 29
[.,[[[.,[[.,[.,.]],[.,.]]],.],.]] => 29
[.,[[[.,[[[.,.],.],[.,.]]],.],.]] => 29
[.,[[[.,[[.,[.,[.,.]]],.]],.],.]] => 36
[.,[[[.,[[.,[[.,.],.]],.]],.],.]] => 36
[.,[[[.,[[[.,.],[.,.]],.]],.],.]] => 29
[.,[[[.,[[[.,[.,.]],.],.]],.],.]] => 36
[.,[[[.,[[[[.,.],.],.],.]],.],.]] => 36
[.,[[[[.,.],[.,[.,[.,.]]]],.],.]] => 29
[.,[[[[.,.],[.,[[.,.],.]]],.],.]] => 29
[.,[[[[.,.],[[.,.],[.,.]]],.],.]] => 23
[.,[[[[.,.],[[.,[.,.]],.]],.],.]] => 29
[.,[[[[.,.],[[[.,.],.],.]],.],.]] => 29
[.,[[[[.,[.,.]],[.,[.,.]]],.],.]] => 24
[.,[[[[.,[.,.]],[[.,.],.]],.],.]] => 24
[.,[[[[[.,.],.],[.,[.,.]]],.],.]] => 24
[.,[[[[[.,.],.],[[.,.],.]],.],.]] => 24
[.,[[[[.,[.,[.,.]]],[.,.]],.],.]] => 29
[.,[[[[.,[[.,.],.]],[.,.]],.],.]] => 29
[.,[[[[[.,.],[.,.]],[.,.]],.],.]] => 23
[.,[[[[[.,[.,.]],.],[.,.]],.],.]] => 29
[.,[[[[[[.,.],.],.],[.,.]],.],.]] => 29
[.,[[[[.,[.,[.,[.,.]]]],.],.],.]] => 36
[.,[[[[.,[.,[[.,.],.]]],.],.],.]] => 36
[.,[[[[.,[[.,.],[.,.]]],.],.],.]] => 29
[.,[[[[.,[[.,[.,.]],.]],.],.],.]] => 36
[.,[[[[.,[[[.,.],.],.]],.],.],.]] => 36
[.,[[[[[.,.],[.,[.,.]]],.],.],.]] => 29
[.,[[[[[.,.],[[.,.],.]],.],.],.]] => 29
[.,[[[[[.,[.,.]],[.,.]],.],.],.]] => 29
[.,[[[[[[.,.],.],[.,.]],.],.],.]] => 29
[.,[[[[[.,[.,[.,.]]],.],.],.],.]] => 36
[.,[[[[[.,[[.,.],.]],.],.],.],.]] => 36
[.,[[[[[[.,.],[.,.]],.],.],.],.]] => 29
[.,[[[[[[.,[.,.]],.],.],.],.],.]] => 36
[.,[[[[[[[.,.],.],.],.],.],.],.]] => 36
[[.,.],[.,[.,[.,[.,[.,[.,.]]]]]]] => 29
[[.,.],[.,[.,[.,[.,[[.,.],.]]]]]] => 29
[[.,.],[.,[.,[.,[[.,.],[.,.]]]]]] => 23
[[.,.],[.,[.,[.,[[.,[.,.]],.]]]]] => 29
[[.,.],[.,[.,[.,[[[.,.],.],.]]]]] => 29
[[.,.],[.,[.,[[.,.],[.,[.,.]]]]]] => 23
[[.,.],[.,[.,[[.,.],[[.,.],.]]]]] => 23
[[.,.],[.,[.,[[.,[.,.]],[.,.]]]]] => 23
[[.,.],[.,[.,[[[.,.],.],[.,.]]]]] => 23
[[.,.],[.,[.,[[.,[.,[.,.]]],.]]]] => 29
[[.,.],[.,[.,[[.,[[.,.],.]],.]]]] => 29
[[.,.],[.,[.,[[[.,.],[.,.]],.]]]] => 23
[[.,.],[.,[.,[[[.,[.,.]],.],.]]]] => 29
[[.,.],[.,[.,[[[[.,.],.],.],.]]]] => 29
[[.,.],[.,[[.,.],[.,[.,[.,.]]]]]] => 23
[[.,.],[.,[[.,.],[.,[[.,.],.]]]]] => 23
[[.,.],[.,[[.,.],[[.,.],[.,.]]]]] => 18
[[.,.],[.,[[.,.],[[.,[.,.]],.]]]] => 23
[[.,.],[.,[[.,.],[[[.,.],.],.]]]] => 23
[[.,.],[.,[[.,[.,.]],[.,[.,.]]]]] => 19
[[.,.],[.,[[.,[.,.]],[[.,.],.]]]] => 19
[[.,.],[.,[[[.,.],.],[.,[.,.]]]]] => 19
[[.,.],[.,[[[.,.],.],[[.,.],.]]]] => 19
[[.,.],[.,[[.,[.,[.,.]]],[.,.]]]] => 23
[[.,.],[.,[[.,[[.,.],.]],[.,.]]]] => 23
[[.,.],[.,[[[.,.],[.,.]],[.,.]]]] => 18
[[.,.],[.,[[[.,[.,.]],.],[.,.]]]] => 23
[[.,.],[.,[[[[.,.],.],.],[.,.]]]] => 23
[[.,.],[.,[[.,[.,[.,[.,.]]]],.]]] => 29
[[.,.],[.,[[.,[.,[[.,.],.]]],.]]] => 29
[[.,.],[.,[[.,[[.,.],[.,.]]],.]]] => 23
[[.,.],[.,[[.,[[.,[.,.]],.]],.]]] => 29
[[.,.],[.,[[.,[[[.,.],.],.]],.]]] => 29
[[.,.],[.,[[[.,.],[.,[.,.]]],.]]] => 23
[[.,.],[.,[[[.,.],[[.,.],.]],.]]] => 23
[[.,.],[.,[[[.,[.,.]],[.,.]],.]]] => 23
[[.,.],[.,[[[[.,.],.],[.,.]],.]]] => 23
[[.,.],[.,[[[.,[.,[.,.]]],.],.]]] => 29
[[.,.],[.,[[[.,[[.,.],.]],.],.]]] => 29
[[.,.],[.,[[[[.,.],[.,.]],.],.]]] => 23
[[.,.],[.,[[[[.,[.,.]],.],.],.]]] => 29
[[.,.],[.,[[[[[.,.],.],.],.],.]]] => 29
[[.,.],[[.,.],[.,[.,[.,[.,.]]]]]] => 23
[[.,.],[[.,.],[.,[.,[[.,.],.]]]]] => 23
[[.,.],[[.,.],[.,[[.,.],[.,.]]]]] => 18
[[.,.],[[.,.],[.,[[.,[.,.]],.]]]] => 23
[[.,.],[[.,.],[.,[[[.,.],.],.]]]] => 23
[[.,.],[[.,.],[[.,.],[.,[.,.]]]]] => 18
[[.,.],[[.,.],[[.,.],[[.,.],.]]]] => 18
[[.,.],[[.,.],[[.,[.,.]],[.,.]]]] => 18
[[.,.],[[.,.],[[[.,.],.],[.,.]]]] => 18
[[.,.],[[.,.],[[.,[.,[.,.]]],.]]] => 23
[[.,.],[[.,.],[[.,[[.,.],.]],.]]] => 23
[[.,.],[[.,.],[[[.,.],[.,.]],.]]] => 18
[[.,.],[[.,.],[[[.,[.,.]],.],.]]] => 23
[[.,.],[[.,.],[[[[.,.],.],.],.]]] => 23
[[.,.],[[.,[.,.]],[.,[.,[.,.]]]]] => 19
[[.,.],[[.,[.,.]],[.,[[.,.],.]]]] => 19
[[.,.],[[.,[.,.]],[[.,.],[.,.]]]] => 15
[[.,.],[[.,[.,.]],[[.,[.,.]],.]]] => 19
[[.,.],[[.,[.,.]],[[[.,.],.],.]]] => 19
[[.,.],[[[.,.],.],[.,[.,[.,.]]]]] => 19
[[.,.],[[[.,.],.],[.,[[.,.],.]]]] => 19
[[.,.],[[[.,.],.],[[.,.],[.,.]]]] => 15
[[.,.],[[[.,.],.],[[.,[.,.]],.]]] => 19
[[.,.],[[[.,.],.],[[[.,.],.],.]]] => 19
[[.,.],[[.,[.,[.,.]]],[.,[.,.]]]] => 19
[[.,.],[[.,[.,[.,.]]],[[.,.],.]]] => 19
[[.,.],[[.,[[.,.],.]],[.,[.,.]]]] => 19
[[.,.],[[.,[[.,.],.]],[[.,.],.]]] => 19
[[.,.],[[[.,.],[.,.]],[.,[.,.]]]] => 15
[[.,.],[[[.,.],[.,.]],[[.,.],.]]] => 15
[[.,.],[[[.,[.,.]],.],[.,[.,.]]]] => 19
[[.,.],[[[.,[.,.]],.],[[.,.],.]]] => 19
[[.,.],[[[[.,.],.],.],[.,[.,.]]]] => 19
[[.,.],[[[[.,.],.],.],[[.,.],.]]] => 19
[[.,.],[[.,[.,[.,[.,.]]]],[.,.]]] => 23
[[.,.],[[.,[.,[[.,.],.]]],[.,.]]] => 23
[[.,.],[[.,[[.,.],[.,.]]],[.,.]]] => 18
[[.,.],[[.,[[.,[.,.]],.]],[.,.]]] => 23
[[.,.],[[.,[[[.,.],.],.]],[.,.]]] => 23
[[.,.],[[[.,.],[.,[.,.]]],[.,.]]] => 18
[[.,.],[[[.,.],[[.,.],.]],[.,.]]] => 18
[[.,.],[[[.,[.,.]],[.,.]],[.,.]]] => 18
[[.,.],[[[[.,.],.],[.,.]],[.,.]]] => 18
[[.,.],[[[.,[.,[.,.]]],.],[.,.]]] => 23
[[.,.],[[[.,[[.,.],.]],.],[.,.]]] => 23
[[.,.],[[[[.,.],[.,.]],.],[.,.]]] => 18
[[.,.],[[[[.,[.,.]],.],.],[.,.]]] => 23
[[.,.],[[[[[.,.],.],.],.],[.,.]]] => 23
[[.,.],[[.,[.,[.,[.,[.,.]]]]],.]] => 29
[[.,.],[[.,[.,[.,[[.,.],.]]]],.]] => 29
[[.,.],[[.,[.,[[.,.],[.,.]]]],.]] => 23
[[.,.],[[.,[.,[[.,[.,.]],.]]],.]] => 29
[[.,.],[[.,[.,[[[.,.],.],.]]],.]] => 29
[[.,.],[[.,[[.,.],[.,[.,.]]]],.]] => 23
[[.,.],[[.,[[.,.],[[.,.],.]]],.]] => 23
[[.,.],[[.,[[.,[.,.]],[.,.]]],.]] => 23
[[.,.],[[.,[[[.,.],.],[.,.]]],.]] => 23
[[.,.],[[.,[[.,[.,[.,.]]],.]],.]] => 29
[[.,.],[[.,[[.,[[.,.],.]],.]],.]] => 29
[[.,.],[[.,[[[.,.],[.,.]],.]],.]] => 23
[[.,.],[[.,[[[.,[.,.]],.],.]],.]] => 29
[[.,.],[[.,[[[[.,.],.],.],.]],.]] => 29
[[.,.],[[[.,.],[.,[.,[.,.]]]],.]] => 23
[[.,.],[[[.,.],[.,[[.,.],.]]],.]] => 23
[[.,.],[[[.,.],[[.,.],[.,.]]],.]] => 18
[[.,.],[[[.,.],[[.,[.,.]],.]],.]] => 23
[[.,.],[[[.,.],[[[.,.],.],.]],.]] => 23
[[.,.],[[[.,[.,.]],[.,[.,.]]],.]] => 19
[[.,.],[[[.,[.,.]],[[.,.],.]],.]] => 19
[[.,.],[[[[.,.],.],[.,[.,.]]],.]] => 19
[[.,.],[[[[.,.],.],[[.,.],.]],.]] => 19
[[.,.],[[[.,[.,[.,.]]],[.,.]],.]] => 23
[[.,.],[[[.,[[.,.],.]],[.,.]],.]] => 23
[[.,.],[[[[.,.],[.,.]],[.,.]],.]] => 18
[[.,.],[[[[.,[.,.]],.],[.,.]],.]] => 23
[[.,.],[[[[[.,.],.],.],[.,.]],.]] => 23
[[.,.],[[[.,[.,[.,[.,.]]]],.],.]] => 29
[[.,.],[[[.,[.,[[.,.],.]]],.],.]] => 29
[[.,.],[[[.,[[.,.],[.,.]]],.],.]] => 23
[[.,.],[[[.,[[.,[.,.]],.]],.],.]] => 29
[[.,.],[[[.,[[[.,.],.],.]],.],.]] => 29
[[.,.],[[[[.,.],[.,[.,.]]],.],.]] => 23
[[.,.],[[[[.,.],[[.,.],.]],.],.]] => 23
[[.,.],[[[[.,[.,.]],[.,.]],.],.]] => 23
[[.,.],[[[[[.,.],.],[.,.]],.],.]] => 23
[[.,.],[[[[.,[.,[.,.]]],.],.],.]] => 29
[[.,.],[[[[.,[[.,.],.]],.],.],.]] => 29
[[.,.],[[[[[.,.],[.,.]],.],.],.]] => 23
[[.,.],[[[[[.,[.,.]],.],.],.],.]] => 29
[[.,.],[[[[[[.,.],.],.],.],.],.]] => 29
[[.,[.,.]],[.,[.,[.,[.,[.,.]]]]]] => 24
[[.,[.,.]],[.,[.,[.,[[.,.],.]]]]] => 24
[[.,[.,.]],[.,[.,[[.,.],[.,.]]]]] => 19
[[.,[.,.]],[.,[.,[[.,[.,.]],.]]]] => 24
[[.,[.,.]],[.,[.,[[[.,.],.],.]]]] => 24
[[.,[.,.]],[.,[[.,.],[.,[.,.]]]]] => 19
[[.,[.,.]],[.,[[.,.],[[.,.],.]]]] => 19
[[.,[.,.]],[.,[[.,[.,.]],[.,.]]]] => 19
[[.,[.,.]],[.,[[[.,.],.],[.,.]]]] => 19
[[.,[.,.]],[.,[[.,[.,[.,.]]],.]]] => 24
[[.,[.,.]],[.,[[.,[[.,.],.]],.]]] => 24
[[.,[.,.]],[.,[[[.,.],[.,.]],.]]] => 19
[[.,[.,.]],[.,[[[.,[.,.]],.],.]]] => 24
[[.,[.,.]],[.,[[[[.,.],.],.],.]]] => 24
[[.,[.,.]],[[.,.],[.,[.,[.,.]]]]] => 19
-----------------------------------------------------------------------------
Created: Aug 09, 2016 at 11:27 by Christian Stump
-----------------------------------------------------------------------------
Last Updated: Aug 10, 2016 at 11:38 by Christian Stump